runsolver Copyright (C) 2010 Olivier ROUSSEL This is runsolver version 3.2.9a (svn: 651) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201007051419/apt-pbo-trendy-1.0.5/rand3dec28.cudf.impossible.log.runsolver ./apt-pbo-trendy-1.0.5 /home/misc2010/data/2010/impossible//rand3dec28.cudf /home/misc2010/tmp/201007051419/apt-pbo-trendy-1.0.5/rand3dec28.cudf.impossible.result Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 0.88 1.01 1.03 2/94 30006 /proc/meminfo: memFree=1200520/2097152 swapFree=2055676/2097144 [pid=30006] ppid=30005 vsize=2880 CPUtime=0 /proc/30006/stat : 30006 (runsolver) R 30005 30006 13759 34823 13904 4202560 74 0 0 0 0 0 0 0 25 0 1 0 415710537 2949120 94 1283457024 134512640 134586868 4291128320 18446744073709551615 4157891866 0 2147483391 0 24578 0 0 0 17 0 0 0 0 /proc/30006/statm: 720 94 63 19 0 52 0 [startup+0.184749 s] /proc/loadavg: 0.88 1.01 1.03 2/94 30006 /proc/meminfo: memFree=1200520/2097152 swapFree=2055676/2097144 [pid=30006] ppid=30005 vsize=2380 CPUtime=0 /proc/30006/stat : 30006 (sh) S 30005 30006 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 25 0 1 0 415710537 2437120 264 1283457024 134512640 135191968 4290044880 18446744073709551615 4158818958 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30006/statm: 595 264 226 166 0 27 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2380 [startup+0.204768 s] /proc/loadavg: 0.88 1.01 1.03 2/94 30006 /proc/meminfo: memFree=1200520/2097152 swapFree=2055676/2097144 [pid=30006] ppid=30005 vsize=2380 CPUtime=0 /proc/30006/stat : 30006 (sh) S 30005 30006 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 25 0 1 0 415710537 2437120 264 1283457024 134512640 135191968 4290044880 18446744073709551615 4158818958 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30006/statm: 595 264 226 166 0 27 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2380 [startup+0.304789 s] /proc/loadavg: 0.88 1.01 1.03 2/94 30006 /proc/meminfo: memFree=1200520/2097152 swapFree=2055676/2097144 [pid=30006] ppid=30005 vsize=2380 CPUtime=0 /proc/30006/stat : 30006 (sh) S 30005 30006 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 25 0 1 0 415710537 2437120 264 1283457024 134512640 135191968 4290044880 18446744073709551615 4158818958 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30006/statm: 595 264 226 166 0 27 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2380 [startup+0.704915 s] /proc/loadavg: 0.88 1.01 1.03 2/94 30006 /proc/meminfo: memFree=1200520/2097152 swapFree=2055676/2097144 [pid=30006] ppid=30005 vsize=2380 CPUtime=0 /proc/30006/stat : 30006 (sh) S 30005 30006 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 25 0 1 0 415710537 2437120 264 1283457024 134512640 135191968 4290044880 18446744073709551615 4158818958 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30006/statm: 595 264 226 166 0 27 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2380 [startup+1.50513 s] /proc/loadavg: 0.88 1.01 1.03 2/96 30011 /proc/meminfo: memFree=1188988/2097152 swapFree=2055676/2097144 [pid=30006] ppid=30005 vsize=2380 CPUtime=0 /proc/30006/stat : 30006 (sh) S 30005 30006 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 25 0 1 0 415710537 2437120 264 1283457024 134512640 135191968 4290044880 18446744073709551615 4158818958 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30006/statm: 595 264 226 166 0 27 0 [pid=30009] ppid=30006 vsize=17084 CPUtime=1.44 /proc/30009/stat : 30009 (apt-pbo) R 30006 30006 13759 34823 13904 4202496 4091 717 0 0 143 1 0 0 25 0 1 0 415710538 17494016 3644 1283457024 134512640 135758360 4290732960 18446744073709551615 134873556 0 0 128 0 0 0 0 17 0 0 0 0 /proc/30009/statm: 4271 3644 628 305 0 3044 0 Current children cumulated CPU time (s) 1.44 Current children cumulated vsize (KiB) 19464 [startup+3.1054 s] /proc/loadavg: 0.89 1.01 1.03 2/96 30011 /proc/meminfo: memFree=1178572/2097152 swapFree=2055676/2097144 [pid=30006] ppid=30005 vsize=2380 CPUtime=0 /proc/30006/stat : 30006 (sh) S 30005 30006 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 25 0 1 0 415710537 2437120 264 1283457024 134512640 135191968 4290044880 18446744073709551615 4158818958 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30006/statm: 595 264 226 166 0 27 0 [pid=30009] ppid=30006 vsize=27780 CPUtime=3.04 /proc/30009/stat : 30009 (apt-pbo) R 30006 30006 13759 34823 13904 4202496 6752 717 0 0 302 2 0 0 25 0 1 0 415710538 28446720 6298 1283457024 134512640 135758360 4290732960 18446744073709551615 134845981 0 0 128 0 0 0 0 17 0 0 0 0 /proc/30009/statm: 6945 6298 628 305 0 5718 0 Current children cumulated CPU time (s) 3.04 Current children cumulated vsize (KiB) 30160 [startup+6.30608 s] /proc/loadavg: 0.89 1.01 1.03 2/96 30012 /proc/meminfo: memFree=1148812/2097152 swapFree=2055676/2097144 [pid=30006] ppid=30005 vsize=2380 CPUtime=0 /proc/30006/stat : 30006 (sh) S 30005 30006 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 25 0 1 0 415710537 2437120 264 1283457024 134512640 135191968 4290044880 18446744073709551615 4158818958 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30006/statm: 595 264 226 166 0 27 0 [pid=30009] ppid=30006 vsize=48940 CPUtime=6.24 /proc/30009/stat : 30009 (apt-pbo) R 30006 30006 13759 34823 13904 4202496 12045 717 0 0 616 8 0 0 25 0 1 0 415710538 50114560 11589 1283457024 134512640 135758360 4290732960 18446744073709551615 135510542 0 0 128 0 0 0 0 17 0 0 0 0 /proc/30009/statm: 12235 11589 628 305 0 11008 0 Current children cumulated CPU time (s) 6.24 Current children cumulated vsize (KiB) 51320 [startup+12.7073 s] /proc/loadavg: 0.91 1.01 1.03 2/98 30020 /proc/meminfo: memFree=1061040/2097152 swapFree=2055676/2097144 [pid=30006] ppid=30005 vsize=2380 CPUtime=0 /proc/30006/stat : 30006 (sh) S 30005 30006 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 25 0 1 0 415710537 2437120 264 1283457024 134512640 135191968 4290044880 18446744073709551615 4158818958 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30006/statm: 595 264 226 166 0 27 0 [pid=30009] ppid=30006 vsize=82216 CPUtime=11.19 /proc/30009/stat : 30009 (apt-pbo) S 30006 30006 13759 34823 13904 4202496 20923 717 0 0 1101 18 0 0 18 0 1 0 415710538 84189184 19922 1283457024 134512640 135758360 4290732960 18446744073709551615 4159583566 0 0 128 0 18446744071564457842 0 0 17 1 0 0 0 /proc/30009/statm: 20554 19922 628 305 0 19327 0 [pid=30013] ppid=30009 vsize=2380 CPUtime=0.02 /proc/30013/stat : 30013 (apt-get.sh) S 30009 30006 13759 34823 13904 4202496 390 613 0 0 0 2 0 0 25 0 1 0 415711664 2437120 261 1283457024 134512640 135191968 4293387968 18446744073709551615 4159044238 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30013/statm: 595 261 223 166 0 27 0 [pid=30016] ppid=30013 vsize=52604 CPUtime=1.37 /proc/30016/stat : 30016 (apt-get) R 30013 30006 13759 34823 13904 4202496 5062 1622 273 0 76 6 50 5 17 0 1 0 415711669 53866496 5197 1283457024 134512640 134646397 4288029104 18446744073709551615 4159728967 0 0 4096 134217728 0 0 0 17 0 0 0 0 /proc/30016/statm: 13151 5197 5144 33 0 67 0 Current children cumulated CPU time (s) 12.58 Current children cumulated vsize (KiB) 139580 [startup+25.5077 s] /proc/loadavg: 0.92 1.00 1.03 6/108 30055 /proc/meminfo: memFree=962400/2097152 swapFree=2055676/2097144 [pid=30006] ppid=30005 vsize=2380 CPUtime=0 /proc/30006/stat : 30006 (sh) S 30005 30006 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 25 0 1 0 415710537 2437120 264 1283457024 134512640 135191968 4290044880 18446744073709551615 4158818958 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30006/statm: 595 264 226 166 0 27 0 [pid=30009] ppid=30006 vsize=126112 CPUtime=14.65 /proc/30009/stat : 30009 (apt-pbo) S 30006 30006 13759 34823 13904 4202496 31806 14382 0 588 1142 24 262 37 18 0 1 0 415710538 129138688 30421 1283457024 134512640 135758360 4290732960 18446744073709551615 4159583566 0 0 128 0 18446744071564457842 0 0 17 1 0 0 0 /proc/30009/statm: 31528 30421 10360 305 0 20098 0 [pid=30022] ppid=30009 vsize=2388 CPUtime=0.01 /proc/30022/stat : 30022 (apt-get.sh) S 30009 30006 13759 34823 13904 4202496 395 617 0 0 0 1 0 0 18 0 1 0 415712008 2445312 262 1283457024 134512640 135191968 4287522896 18446744073709551615 4158659214 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/30022/statm: 597 262 223 166 0 29 0 [pid=30025] ppid=30022 vsize=48448 CPUtime=10.54 /proc/30025/stat : 30025 (apt-get) R 30022 30006 13759 34823 13904 4202496 11254 0 0 0 1016 38 0 0 25 0 1 0 415712011 49610752 11067 1283457024 134512640 134646397 4290022064 18446744073709551615 4157992958 0 0 4096 134217728 0 0 0 17 1 0 0 0 /proc/30025/statm: 12112 11067 10073 33 0 1033 0 Current children cumulated CPU time (s) 25.2 Current children cumulated vsize (KiB) 179328 [startup+51.1069 s] /proc/loadavg: 1.00 1.02 1.03 2/98 30514 /proc/meminfo: memFree=834496/2097152 swapFree=2055676/2097144 [pid=30006] ppid=30005 vsize=2380 CPUtime=0 /proc/30006/stat : 30006 (sh) S 30005 30006 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 25 0 1 0 415710537 2437120 264 1283457024 134512640 135191968 4290044880 18446744073709551615 4158818958 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30006/statm: 595 264 226 166 0 27 0 [pid=30009] ppid=30006 vsize=128164 CPUtime=25.64 /proc/30009/stat : 30009 (apt-pbo) S 30006 30006 13759 34823 13904 4202496 32432 26661 0 588 1142 28 1292 102 18 0 1 0 415710538 131239936 30937 1283457024 134512640 135758360 4290732960 18446744073709551615 4159583566 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/30009/statm: 32041 30937 10363 305 0 20611 0 [pid=30184] ppid=30009 vsize=116356 CPUtime=24.72 /proc/30184/stat : 30184 (wbo) R 30009 30006 13759 34823 13904 4202496 67185 0 0 0 2430 42 0 0 19 0 1 0 415713153 119148544 28369 1283457024 134512640 135709839 4292996720 18446744073709551615 135182831 0 0 0 3 0 0 0 17 1 0 0 0 /proc/30184/statm: 29089 28369 132 293 0 28794 0 Current children cumulated CPU time (s) 50.36 Current children cumulated vsize (KiB) 246900 [startup+102.31 s] /proc/loadavg: 1.04 1.03 1.03 2/97 30517 /proc/meminfo: memFree=939168/2097152 swapFree=2055676/2097144 [pid=30006] ppid=30005 vsize=2380 CPUtime=0 /proc/30006/stat : 30006 (sh) S 30005 30006 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 25 0 1 0 415710537 2437120 264 1283457024 134512640 135191968 4290044880 18446744073709551615 4158818958 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30006/statm: 595 264 226 166 0 27 0 [pid=30009] ppid=30006 vsize=134844 CPUtime=28.57 /proc/30009/stat : 30009 (apt-pbo) R 30006 30006 13759 34823 13904 4202496 34431 26661 0 588 1433 30 1292 102 24 0 1 0 415710538 138080256 32617 1283457024 134512640 135758360 4290732960 18446744073709551615 134893330 0 0 128 0 0 0 0 17 0 0 0 0 /proc/30009/statm: 33711 32617 10367 305 0 22281 0 [pid=30184] ppid=30009 vsize=0 CPUtime=72.96 /proc/30184/stat : 30184 (wbo) Z 30009 30006 13759 34823 13904 4202508 221651 0 0 0 7138 158 0 0 23 0 1 0 415713153 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 1 0 0 0 /proc/30184/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 101.53 Current children cumulated vsize (KiB) 137224 [startup+162.308 s] /proc/loadavg: 1.12 1.05 1.04 2/98 30530 /proc/meminfo: memFree=807216/2097152 swapFree=2055676/2097144 [pid=30006] ppid=30005 vsize=2380 CPUtime=0 /proc/30006/stat : 30006 (sh) S 30005 30006 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 25 0 1 0 415710537 2437120 264 1283457024 134512640 135191968 4290044880 18446744073709551615 4158818958 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30006/statm: 595 264 226 166 0 27 0 [pid=30009] ppid=30006 vsize=170668 CPUtime=145.61 /proc/30009/stat : 30009 (apt-pbo) S 30006 30006 13759 34823 13904 4202496 45206 260647 0 588 4716 40 9475 330 18 0 1 0 415710538 174764032 41529 1283457024 134512640 135758360 4290732960 18446744073709551615 4159583566 0 0 128 0 18446744071564457842 0 0 17 1 0 0 0 /proc/30009/statm: 42667 41529 10367 305 0 31237 0 [pid=30529] ppid=30009 vsize=84884 CPUtime=15.31 /proc/30529/stat : 30529 (wbo) R 30009 30006 13759 34823 13904 4202496 47677 0 0 0 1517 14 0 0 25 0 1 0 415725215 86921216 20562 1283457024 134512640 135709839 4290198480 18446744073709551615 135171442 0 0 0 3 0 0 0 17 1 0 0 0 /proc/30529/statm: 21221 20562 132 293 0 20926 0 Current children cumulated CPU time (s) 160.92 Current children cumulated vsize (KiB) 257932 [startup+222.306 s] /proc/loadavg: 1.04 1.04 1.03 2/97 30534 /proc/meminfo: memFree=563688/2097152 swapFree=2055676/2097144 [pid=30006] ppid=30005 vsize=2380 CPUtime=0 /proc/30006/stat : 30006 (sh) S 30005 30006 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 25 0 1 0 415710537 2437120 264 1283457024 134512640 135191968 4290044880 18446744073709551615 4158818958 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30006/statm: 595 264 226 166 0 27 0 [pid=30009] ppid=30006 vsize=170668 CPUtime=145.63 /proc/30009/stat : 30009 (apt-pbo) S 30006 30006 13759 34823 13904 4202496 45206 260647 0 588 4716 42 9475 330 18 0 1 0 415710538 174764032 41529 1283457024 134512640 135758360 4290732960 18446744073709551615 4159583566 0 0 128 0 18446744071564457842 0 0 17 1 0 0 0 /proc/30009/statm: 42667 41529 10367 305 0 31237 0 [pid=30529] ppid=30009 vsize=327448 CPUtime=75.16 /proc/30529/stat : 30529 (wbo) R 30009 30006 13759 34823 13904 4202496 199525 0 0 0 7440 76 0 0 25 0 1 0 415725215 335306752 80974 1283457024 134512640 135709839 4290198480 18446744073709551615 135162139 0 0 0 3 0 0 0 17 1 0 0 0 /proc/30529/statm: 81862 80974 132 293 0 81567 0 Current children cumulated CPU time (s) 220.79 Current children cumulated vsize (KiB) 500496 [startup+282.305 s] /proc/loadavg: 1.01 1.03 1.03 2/97 30538 /proc/meminfo: memFree=313952/2097152 swapFree=2055676/2097144 [pid=30006] ppid=30005 vsize=2380 CPUtime=0 /proc/30006/stat : 30006 (sh) S 30005 30006 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 25 0 1 0 415710537 2437120 264 1283457024 134512640 135191968 4290044880 18446744073709551615 4158818958 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30006/statm: 595 264 226 166 0 27 0 [pid=30009] ppid=30006 vsize=170668 CPUtime=145.67 /proc/30009/stat : 30009 (apt-pbo) S 30006 30006 13759 34823 13904 4202496 45206 260647 0 588 4717 45 9475 330 18 0 1 0 415710538 174764032 41529 1283457024 134512640 135758360 4290732960 18446744073709551615 4159583566 0 0 128 0 18446744071564457842 0 0 17 1 0 0 0 /proc/30009/statm: 42667 41529 10367 305 0 31237 0 [pid=30529] ppid=30009 vsize=578400 CPUtime=135.12 /proc/30529/stat : 30529 (wbo) R 30009 30006 13759 34823 13904 4202496 500640 0 0 0 13292 220 0 0 25 0 1 0 415725215 592281600 143855 1283457024 134512640 135709839 4290198480 18446744073709551615 134605451 0 0 0 3 0 0 0 17 1 0 0 0 /proc/30529/statm: 144600 143855 132 293 0 144305 0 Current children cumulated CPU time (s) 280.79 Current children cumulated vsize (KiB) 751448 Maximum CPU time exceeded: sending signal-name then SIGKILL [startup+291.605 s] /proc/loadavg: 1.01 1.03 1.02 2/97 30539 /proc/meminfo: memFree=271792/2097152 swapFree=2055676/2097144 [pid=30006] ppid=30005 vsize=2380 CPUtime=0 /proc/30006/stat : 30006 (sh) S 30005 30006 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 25 0 1 0 415710537 2437120 264 1283457024 134512640 135191968 4290044880 18446744073709551615 4158818958 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30006/statm: 595 264 226 166 0 27 0 [pid=30009] ppid=30006 vsize=170668 CPUtime=145.68 /proc/30009/stat : 30009 (apt-pbo) S 30006 30006 13759 34823 13904 4202496 45206 260647 0 588 4717 46 9475 330 18 0 1 0 415710538 174764032 41529 1283457024 134512640 135758360 4290732960 18446744073709551615 4159583566 0 0 128 0 18446744071564457842 0 0 17 1 0 0 0 /proc/30009/statm: 42667 41529 10367 305 0 31237 0 [pid=30529] ppid=30009 vsize=617292 CPUtime=144.39 /proc/30529/stat : 30529 (wbo) R 30009 30006 13759 34823 13904 4202496 548495 0 0 0 14201 238 0 0 25 0 1 0 415725215 632107008 153552 1283457024 134512640 135709839 4290198480 18446744073709551615 134605451 0 0 0 3 0 0 0 17 1 0 0 0 /proc/30529/statm: 154323 153552 132 293 0 154028 0 Current children cumulated CPU time (s) 290.07 Current children cumulated vsize (KiB) 790340 Sending User defined signal 1 to process tree (bottom up) Sleeping 10 seconds Solver just ended. Dumping a history of the last processes samples [startup+291.605 s] /proc/loadavg: 1.01 1.03 1.02 2/97 30539 /proc/meminfo: memFree=271792/2097152 swapFree=2055676/2097144 [pid=30006] ppid=30005 vsize=2380 CPUtime=0 /proc/30006/stat : 30006 (sh) S 30005 30006 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 25 0 1 0 415710537 2437120 264 1283457024 134512640 135191968 4290044880 18446744073709551615 4158818958 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30006/statm: 595 264 226 166 0 27 0 [pid=30009] ppid=30006 vsize=170668 CPUtime=145.68 /proc/30009/stat : 30009 (apt-pbo) S 30006 30006 13759 34823 13904 4202496 45206 260647 0 588 4717 46 9475 330 18 0 1 0 415710538 174764032 41529 1283457024 134512640 135758360 4290732960 18446744073709551615 4159583566 0 0 128 0 18446744071564457842 0 0 17 1 0 0 0 /proc/30009/statm: 42667 41529 10367 305 0 31237 0 [pid=30529] ppid=30009 vsize=617292 CPUtime=144.39 /proc/30529/stat : 30529 (wbo) R 30009 30006 13759 34823 13904 4202496 548495 0 0 0 14201 238 0 0 25 0 1 0 415725215 632107008 153552 1283457024 134512640 135709839 4290198480 18446744073709551615 134605451 0 0 0 3 0 0 0 17 1 0 0 0 /proc/30529/statm: 154323 153552 132 293 0 154028 0 Current children cumulated CPU time (s) 290.07 Current children cumulated vsize (KiB) 790340 Child ended because it received signal 10 (SIGUSR1) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 30006 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=0 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=0 # CPU time returned by wait4() is 0 # while last known CPU time is 290.07 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 291.634 CPU time (s): 290.07 CPU user time (s): 283.93 CPU system time (s): 6.14 CPU usage (%): 99.4637 Max. virtual memory (cumulated for all children) (KiB): 790640 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0 system time used= 0 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 697 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 14 involuntary context switches= 2 runsolver used 0.016001 second user time and 0.040002 second system time The end