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/randa223c3.cudf.impossible.log.runsolver ./apt-pbo-trendy-1.0.5 /home/misc2010/data/2010/impossible//randa223c3.cudf /home/misc2010/tmp/201007051419/apt-pbo-trendy-1.0.5/randa223c3.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: 1.13 1.10 1.04 1/95 14159 /proc/meminfo: memFree=1182144/2097152 swapFree=2055620/2097144 [pid=14159] ppid=14158 vsize=2380 CPUtime=0 /proc/14159/stat : 14159 (sh) R 14158 14159 13759 34823 13904 4202496 367 308 0 0 0 0 0 0 18 0 1 0 417890785 2437120 264 1283457024 134512640 135191968 4292388352 18446744073709551615 134892603 0 0 4 65536 0 0 0 17 1 0 0 0 /proc/14159/statm: 595 264 226 166 0 27 0 [startup+0.180736 s] /proc/loadavg: 1.13 1.10 1.04 1/95 14159 /proc/meminfo: memFree=1182144/2097152 swapFree=2055620/2097144 [pid=14159] ppid=14158 vsize=2380 CPUtime=0 /proc/14159/stat : 14159 (sh) S 14158 14159 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 18 0 1 0 417890785 2437120 264 1283457024 134512640 135191968 4292388352 18446744073709551615 4158794382 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/14159/statm: 595 264 226 166 0 27 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2380 [startup+0.216289 s] /proc/loadavg: 1.13 1.10 1.04 1/95 14159 /proc/meminfo: memFree=1182144/2097152 swapFree=2055620/2097144 [pid=14159] ppid=14158 vsize=2380 CPUtime=0 /proc/14159/stat : 14159 (sh) S 14158 14159 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 18 0 1 0 417890785 2437120 264 1283457024 134512640 135191968 4292388352 18446744073709551615 4158794382 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/14159/statm: 595 264 226 166 0 27 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2380 [startup+0.304276 s] /proc/loadavg: 1.13 1.10 1.04 1/95 14159 /proc/meminfo: memFree=1182144/2097152 swapFree=2055620/2097144 [pid=14159] ppid=14158 vsize=2380 CPUtime=0 /proc/14159/stat : 14159 (sh) S 14158 14159 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 18 0 1 0 417890785 2437120 264 1283457024 134512640 135191968 4292388352 18446744073709551615 4158794382 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/14159/statm: 595 264 226 166 0 27 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2380 [startup+0.704298 s] /proc/loadavg: 1.13 1.10 1.04 1/95 14159 /proc/meminfo: memFree=1182144/2097152 swapFree=2055620/2097144 [pid=14159] ppid=14158 vsize=2380 CPUtime=0 /proc/14159/stat : 14159 (sh) S 14158 14159 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 18 0 1 0 417890785 2437120 264 1283457024 134512640 135191968 4292388352 18446744073709551615 4158794382 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/14159/statm: 595 264 226 166 0 27 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2380 [startup+1.50434 s] /proc/loadavg: 1.04 1.08 1.03 2/97 14165 /proc/meminfo: memFree=1170480/2097152 swapFree=2055620/2097144 [pid=14159] ppid=14158 vsize=2380 CPUtime=0 /proc/14159/stat : 14159 (sh) S 14158 14159 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 18 0 1 0 417890785 2437120 264 1283457024 134512640 135191968 4292388352 18446744073709551615 4158794382 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/14159/statm: 595 264 226 166 0 27 0 [pid=14161] ppid=14159 vsize=17084 CPUtime=1.44 /proc/14161/stat : 14161 (apt-pbo) R 14159 14159 13759 34823 13904 4202496 4084 715 0 0 142 2 0 0 25 0 1 0 417890785 17494016 3640 1283457024 134512640 135758360 4294483776 18446744073709551615 4159562974 0 0 128 0 0 0 0 17 0 0 0 0 /proc/14161/statm: 4271 3640 628 305 0 3044 0 Current children cumulated CPU time (s) 1.44 Current children cumulated vsize (KiB) 19464 [startup+3.10443 s] /proc/loadavg: 1.04 1.08 1.03 2/97 14165 /proc/meminfo: memFree=1160312/2097152 swapFree=2055620/2097144 [pid=14159] ppid=14158 vsize=2380 CPUtime=0 /proc/14159/stat : 14159 (sh) S 14158 14159 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 18 0 1 0 417890785 2437120 264 1283457024 134512640 135191968 4292388352 18446744073709551615 4158794382 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/14159/statm: 595 264 226 166 0 27 0 [pid=14161] ppid=14159 vsize=27648 CPUtime=3.04 /proc/14161/stat : 14161 (apt-pbo) R 14159 14159 13759 34823 13904 4202496 6737 715 0 0 298 6 0 0 25 0 1 0 417890785 28311552 6286 1283457024 134512640 135758360 4294483776 18446744073709551615 4158656869 0 0 128 0 0 0 0 17 0 0 0 0 /proc/14161/statm: 6912 6286 628 305 0 5685 0 Current children cumulated CPU time (s) 3.04 Current children cumulated vsize (KiB) 30028 [startup+6.30455 s] /proc/loadavg: 1.04 1.08 1.03 2/96 14165 /proc/meminfo: memFree=1130568/2097152 swapFree=2055620/2097144 [pid=14159] ppid=14158 vsize=2380 CPUtime=0 /proc/14159/stat : 14159 (sh) S 14158 14159 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 18 0 1 0 417890785 2437120 264 1283457024 134512640 135191968 4292388352 18446744073709551615 4158794382 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/14159/statm: 595 264 226 166 0 27 0 [pid=14161] ppid=14159 vsize=48808 CPUtime=6.23 /proc/14161/stat : 14161 (apt-pbo) R 14159 14159 13759 34823 13904 4202496 12017 715 0 0 612 11 0 0 25 0 1 0 417890785 49979392 11564 1283457024 134512640 135758360 4294483776 18446744073709551615 4158656869 0 0 128 0 0 0 0 17 0 0 0 0 /proc/14161/statm: 12202 11564 628 305 0 10975 0 Current children cumulated CPU time (s) 6.23 Current children cumulated vsize (KiB) 51188 [startup+12.7048 s] /proc/loadavg: 1.04 1.08 1.03 2/98 14173 /proc/meminfo: memFree=1042560/2097152 swapFree=2055620/2097144 [pid=14159] ppid=14158 vsize=2380 CPUtime=0 /proc/14159/stat : 14159 (sh) S 14158 14159 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 18 0 1 0 417890785 2437120 264 1283457024 134512640 135191968 4292388352 18446744073709551615 4158794382 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/14159/statm: 595 264 226 166 0 27 0 [pid=14161] ppid=14159 vsize=82216 CPUtime=11.22 /proc/14161/stat : 14161 (apt-pbo) S 14159 14159 13759 34823 13904 4202496 20919 715 0 0 1098 24 0 0 20 0 1 0 417890785 84189184 19922 1283457024 134512640 135758360 4294483776 18446744073709551615 4159563086 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/14161/statm: 20554 19922 628 305 0 19327 0 [pid=14166] ppid=14161 vsize=2380 CPUtime=0 /proc/14166/stat : 14166 (apt-get.sh) S 14161 14159 13759 34823 13904 4202496 387 614 0 0 0 0 0 0 19 0 1 0 417891912 2437120 260 1283457024 134512640 135191968 4294463440 18446744073709551615 4158798478 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/14166/statm: 595 260 223 166 0 27 0 [pid=14169] ppid=14166 vsize=52608 CPUtime=1.34 /proc/14169/stat : 14169 (apt-get) R 14166 14159 13759 34823 13904 4202496 5220 1616 283 0 78 2 48 6 21 0 1 0 417891916 53870592 5365 1283457024 134512640 134646397 4294725648 18446744073709551615 4159669160 0 0 4096 134217728 0 0 0 17 1 0 0 0 /proc/14169/statm: 13152 5365 5311 33 0 68 0 Current children cumulated CPU time (s) 12.56 Current children cumulated vsize (KiB) 139584 [startup+25.5054 s] /proc/loadavg: 1.03 1.07 1.03 1/98 14179 /proc/meminfo: memFree=944184/2097152 swapFree=2055620/2097144 [pid=14159] ppid=14158 vsize=2380 CPUtime=0 /proc/14159/stat : 14159 (sh) S 14158 14159 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 18 0 1 0 417890785 2437120 264 1283457024 134512640 135191968 4292388352 18446744073709551615 4158794382 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/14159/statm: 595 264 226 166 0 27 0 [pid=14161] ppid=14159 vsize=128164 CPUtime=25.05 /proc/14161/stat : 14161 (apt-pbo) S 14159 14159 13759 34823 13904 4202496 32436 26647 0 588 1132 39 1250 84 18 0 1 0 417890785 131239936 30938 1283457024 134512640 135758360 4294483776 18446744073709551615 4159563086 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/14161/statm: 32041 30938 10363 305 0 20611 0 Current children cumulated CPU time (s) 25.05 Current children cumulated vsize (KiB) 130544 [startup+51.1133 s] /proc/loadavg: 1.02 1.07 1.03 2/97 14182 /proc/meminfo: memFree=922084/2097152 swapFree=2055620/2097144 [pid=14159] ppid=14158 vsize=2380 CPUtime=0 /proc/14159/stat : 14159 (sh) S 14158 14159 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 18 0 1 0 417890785 2437120 264 1283457024 134512640 135191968 4292388352 18446744073709551615 4158794382 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/14159/statm: 595 264 226 166 0 27 0 [pid=14161] ppid=14159 vsize=134788 CPUtime=28.6 /proc/14161/stat : 14161 (apt-pbo) R 14159 14159 13759 34823 13904 4202496 34357 26647 0 588 1486 40 1250 84 25 0 1 0 417890785 138022912 32581 1283457024 134512640 135758360 4294483776 18446744073709551615 135510101 0 0 128 0 0 0 0 17 0 0 0 0 /proc/14161/statm: 33697 32581 10367 305 0 22267 0 [pid=14180] ppid=14161 vsize=0 CPUtime=22.19 /proc/14180/stat : 14180 (wbo) Z 14161 14159 13759 34823 13904 4202508 63572 0 0 0 2180 39 0 0 18 0 1 0 417893319 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 1 0 0 0 /proc/14180/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 50.79 Current children cumulated vsize (KiB) 137168 [startup+102.305 s] /proc/loadavg: 1.09 1.08 1.03 2/97 14190 /proc/meminfo: memFree=730000/2097152 swapFree=2055620/2097144 [pid=14159] ppid=14158 vsize=2380 CPUtime=0 /proc/14159/stat : 14159 (sh) S 14158 14159 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 18 0 1 0 417890785 2437120 264 1283457024 134512640 135191968 4292388352 18446744073709551615 4158794382 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/14159/statm: 595 264 226 166 0 27 0 [pid=14161] ppid=14159 vsize=134788 CPUtime=63.08 /proc/14161/stat : 14161 (apt-pbo) S 14159 14159 13759 34823 13904 4202496 36342 102537 0 588 1642 45 4425 196 18 0 1 0 417890785 138022912 32602 1283457024 134512640 135758360 4294483776 18446744073709551615 4159563086 0 0 128 0 18446744071564457842 0 0 17 1 0 0 0 /proc/14161/statm: 33697 32602 10367 305 0 22267 0 [pid=14188] ppid=14161 vsize=179068 CPUtime=38.6 /proc/14188/stat : 14188 (wbo) R 14161 14159 13759 34823 13904 4202496 106631 0 0 0 3823 37 0 0 25 0 1 0 417897144 183365632 44105 1283457024 134512640 135709839 4286656624 18446744073709551615 134517175 0 0 0 3 0 0 0 17 1 0 0 0 /proc/14188/statm: 44767 44105 132 293 0 44472 0 Current children cumulated CPU time (s) 101.68 Current children cumulated vsize (KiB) 316236 [startup+162.306 s] /proc/loadavg: 1.08 1.08 1.03 2/98 14675 /proc/meminfo: memFree=482868/2097152 swapFree=2055620/2097144 [pid=14159] ppid=14158 vsize=2380 CPUtime=0 /proc/14159/stat : 14159 (sh) S 14158 14159 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 18 0 1 0 417890785 2437120 264 1283457024 134512640 135191968 4292388352 18446744073709551615 4158794382 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/14159/statm: 595 264 226 166 0 27 0 [pid=14161] ppid=14159 vsize=134788 CPUtime=63.13 /proc/14161/stat : 14161 (apt-pbo) S 14159 14159 13759 34823 13904 4202496 36342 102537 0 588 1646 46 4425 196 18 0 1 0 417890785 138022912 32602 1283457024 134512640 135758360 4294483776 18446744073709551615 4159563086 0 0 128 0 18446744071564457842 0 0 17 1 0 0 0 /proc/14161/statm: 33697 32602 10367 305 0 22267 0 [pid=14188] ppid=14161 vsize=429580 CPUtime=98.2 /proc/14188/stat : 14188 (wbo) R 14161 14159 13759 34823 13904 4202496 264019 0 0 0 9705 115 0 0 25 0 1 0 417897144 439889920 106562 1283457024 134512640 135709839 4286656624 18446744073709551615 135162139 0 0 0 3 0 0 0 17 1 0 0 0 /proc/14188/statm: 107395 106562 132 293 0 107100 0 Current children cumulated CPU time (s) 161.33 Current children cumulated vsize (KiB) 566748 [startup+222.309 s] /proc/loadavg: 1.18 1.10 1.04 2/99 14683 /proc/meminfo: memFree=914496/2097152 swapFree=2055620/2097144 [pid=14159] ppid=14158 vsize=2380 CPUtime=0 /proc/14159/stat : 14159 (sh) S 14158 14159 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 18 0 1 0 417890785 2437120 264 1283457024 134512640 135191968 4292388352 18446744073709551615 4158794382 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/14159/statm: 595 264 226 166 0 27 0 [pid=14161] ppid=14159 vsize=135052 CPUtime=63.57 /proc/14161/stat : 14161 (apt-pbo) S 14159 14159 13759 34823 13904 4202496 37628 102537 0 588 1686 50 4425 196 18 0 1 0 417890785 138293248 32640 1283457024 134512640 135758360 4294483776 18446744073709551615 4159563086 0 0 128 0 18446744071564457842 0 0 17 1 0 0 0 /proc/14161/statm: 33763 32640 10368 305 0 22333 0 [pid=14188] ppid=14161 vsize=0 CPUtime=146.77 /proc/14188/stat : 14188 (wbo) Z 14161 14159 13759 34823 13904 4202508 509465 0 0 0 14457 220 0 0 25 0 1 0 417897144 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 1 0 0 0 /proc/14188/statm: 0 0 0 0 0 0 0 [pid=14679] ppid=14161 vsize=2440 CPUtime=0.01 /proc/14679/stat : 14679 (apt-get.sh) S 14161 14159 13759 34823 13904 4202496 431 618 0 0 0 1 0 0 18 0 1 0 417911915 2498560 276 1283457024 134512640 135191968 4293139264 18446744073709551615 4159113870 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/14679/statm: 610 276 223 166 0 42 0 [pid=14682] ppid=14679 vsize=48456 CPUtime=10.8 /proc/14682/stat : 14682 (apt-get) R 14679 14159 13759 34823 13904 4202496 11256 0 0 0 1046 34 0 0 18 0 1 0 417911919 49618944 11067 1283457024 134512640 134646397 4292842240 18446744073709551615 4157677566 0 0 4096 134217728 0 0 0 17 0 0 0 0 /proc/14682/statm: 12114 11067 10073 33 0 1035 0 Current children cumulated CPU time (s) 221.15 Current children cumulated vsize (KiB) 188328 [startup+282.308 s] /proc/loadavg: 1.06 1.08 1.03 2/97 14688 /proc/meminfo: memFree=631924/2097152 swapFree=2055620/2097144 [pid=14159] ppid=14158 vsize=2380 CPUtime=0 /proc/14159/stat : 14159 (sh) S 14158 14159 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 18 0 1 0 417890785 2437120 264 1283457024 134512640 135191968 4292388352 18446744073709551615 4158794382 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/14159/statm: 595 264 226 166 0 27 0 [pid=14161] ppid=14159 vsize=135052 CPUtime=221.38 /proc/14161/stat : 14161 (apt-pbo) S 14159 14159 13759 34823 13904 4202496 40063 624322 0 588 1687 53 19930 468 18 0 1 0 417890785 138293248 32640 1283457024 134512640 135758360 4294483776 18446744073709551615 4159563086 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/14161/statm: 33763 32640 10368 305 0 22333 0 [pid=14684] ppid=14161 vsize=264748 CPUtime=59.61 /proc/14684/stat : 14684 (wbo) R 14161 14159 13759 34823 13904 4202496 161952 0 0 0 5881 80 0 0 22 0 1 0 417913042 271101952 65562 1283457024 134512640 135709839 4290423808 18446744073709551615 134529856 0 0 0 3 0 0 0 17 1 0 0 0 /proc/14684/statm: 66187 65562 132 293 0 65892 0 Current children cumulated CPU time (s) 280.99 Current children cumulated vsize (KiB) 402180 Maximum CPU time exceeded: sending signal-name then SIGKILL [startup+291.404 s] /proc/loadavg: 1.05 1.07 1.03 2/97 14689 /proc/meminfo: memFree=591740/2097152 swapFree=2055620/2097144 [pid=14159] ppid=14158 vsize=2380 CPUtime=0 /proc/14159/stat : 14159 (sh) S 14158 14159 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 18 0 1 0 417890785 2437120 264 1283457024 134512640 135191968 4292388352 18446744073709551615 4158794382 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/14159/statm: 595 264 226 166 0 27 0 [pid=14161] ppid=14159 vsize=135052 CPUtime=221.39 /proc/14161/stat : 14161 (apt-pbo) S 14159 14159 13759 34823 13904 4202496 40063 624322 0 588 1687 54 19930 468 18 0 1 0 417890785 138293248 32640 1283457024 134512640 135758360 4294483776 18446744073709551615 4159563086 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/14161/statm: 33763 32640 10368 305 0 22333 0 [pid=14684] ppid=14161 vsize=302816 CPUtime=68.7 /proc/14684/stat : 14684 (wbo) R 14161 14159 13759 34823 13904 4202496 185720 0 0 0 6776 94 0 0 19 0 1 0 417913042 310083584 75045 1283457024 134512640 135709839 4290423808 18446744073709551615 134570352 0 0 0 3 0 0 0 17 1 0 0 0 /proc/14684/statm: 75704 75045 132 293 0 75409 0 Current children cumulated CPU time (s) 290.09 Current children cumulated vsize (KiB) 440248 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.404 s] /proc/loadavg: 1.05 1.07 1.03 2/97 14689 /proc/meminfo: memFree=591740/2097152 swapFree=2055620/2097144 [pid=14159] ppid=14158 vsize=2380 CPUtime=0 /proc/14159/stat : 14159 (sh) S 14158 14159 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 18 0 1 0 417890785 2437120 264 1283457024 134512640 135191968 4292388352 18446744073709551615 4158794382 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/14159/statm: 595 264 226 166 0 27 0 [pid=14161] ppid=14159 vsize=135052 CPUtime=221.39 /proc/14161/stat : 14161 (apt-pbo) S 14159 14159 13759 34823 13904 4202496 40063 624322 0 588 1687 54 19930 468 18 0 1 0 417890785 138293248 32640 1283457024 134512640 135758360 4294483776 18446744073709551615 4159563086 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/14161/statm: 33763 32640 10368 305 0 22333 0 [pid=14684] ppid=14161 vsize=302816 CPUtime=68.7 /proc/14684/stat : 14684 (wbo) R 14161 14159 13759 34823 13904 4202496 185720 0 0 0 6776 94 0 0 19 0 1 0 417913042 310083584 75045 1283457024 134512640 135709839 4290423808 18446744073709551615 134570352 0 0 0 3 0 0 0 17 1 0 0 0 /proc/14684/statm: 75704 75045 132 293 0 75409 0 Current children cumulated CPU time (s) 290.09 Current children cumulated vsize (KiB) 440248 Child status: 138 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 14159 and gives # childrusage.ru_utime.tv_sec=216 # childrusage.ru_utime.tv_usec=181510 # childrusage.ru_stime.tv_sec=5 # childrusage.ru_stime.tv_usec=236327 # CPU time returned by wait4() is 221.418 # while last known CPU time is 290.09 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 291.44 CPU time (s): 290.09 CPU user time (s): 283.93 CPU system time (s): 6.16 CPU usage (%): 99.5367 Max. virtual memory (cumulated for all children) (KiB): 795976 getrusage(RUSAGE_CHILDREN,...) data: user time used= 216.182 system time used= 5.23633 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 665093 page faults= 588 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 97903 involuntary context switches= 24373 runsolver used 0.032002 second user time and 0.080005 second system time The end