runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3702591-1338123739/watcher-3702591-1338123739 -o /tmp/evaluation-result-3702591-1338123739/solver-3702591-1338123739 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3702591-1338123739.opb 520430909 HOME HOME
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.42 2.41 2.14 1/178 9382
/proc/meminfo: memFree=13255640/32873648 swapFree=6852/6852
[pid=9382] ppid=9380 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9382/stat : 9382 (npSolver-pbo-It) S 9380 9382 9266 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278501598 9367552 275 33554432000 4194304 5064252 140735312859808 140735312858720 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9382/statm: 2287 275 233 213 0 72 0
[startup+0.013352 s]
/proc/loadavg: 3.42 2.41 2.14 1/178 9382
/proc/meminfo: memFree=13255640/32873648 swapFree=6852/6852
[pid=9382] ppid=9380 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9382/stat : 9382 (npSolver-pbo-It) S 9380 9382 9266 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278501598 9367552 275 33554432000 4194304 5064252 140735312859808 140735312858720 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9382/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100245 s]
/proc/loadavg: 3.42 2.41 2.14 1/178 9382
/proc/meminfo: memFree=13255640/32873648 swapFree=6852/6852
[pid=9382] ppid=9380 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9382/stat : 9382 (npSolver-pbo-It) S 9380 9382 9266 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278501598 9367552 275 33554432000 4194304 5064252 140735312859808 140735312858720 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9382/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300238 s]
/proc/loadavg: 3.42 2.41 2.14 1/178 9382
/proc/meminfo: memFree=13255640/32873648 swapFree=6852/6852
[pid=9382] ppid=9380 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9382/stat : 9382 (npSolver-pbo-It) S 9380 9382 9266 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278501598 9367552 275 33554432000 4194304 5064252 140735312859808 140735312858720 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9382/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700274 s]
/proc/loadavg: 3.42 2.41 2.14 1/178 9382
/proc/meminfo: memFree=13255640/32873648 swapFree=6852/6852
[pid=9382] ppid=9380 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9382/stat : 9382 (npSolver-pbo-It) S 9380 9382 9266 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278501598 9367552 275 33554432000 4194304 5064252 140735312859808 140735312858720 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9382/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50027 s]
/proc/loadavg: 3.55 2.45 2.15 2/180 9384
/proc/meminfo: memFree=13237704/32873648 swapFree=6852/6852
[pid=9382] ppid=9380 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9382/stat : 9382 (npSolver-pbo-It) S 9380 9382 9266 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278501598 9367552 275 33554432000 4194304 5064252 140735312859808 140735312858720 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9382/statm: 2287 275 233 213 0 72 0
[pid=9383] ppid=9382 vsize=37820 CPUtime=1.49 cores=1,3,5,7
/proc/9383/stat : 9383 (npSolver-pbo) R 9382 9382 9266 0 -1 4202496 3636 0 0 0 148 1 0 0 20 0 1 0 278501598 38727680 7156 33554432000 4194304 5992684 140735949280336 140735949276840 4606742 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9383/statm: 9455 7156 148 440 0 9011 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 46968
[startup+3.10027 s]
/proc/loadavg: 3.55 2.45 2.15 2/180 9384
/proc/meminfo: memFree=13217100/32873648 swapFree=6852/6852
[pid=9382] ppid=9380 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9382/stat : 9382 (npSolver-pbo-It) S 9380 9382 9266 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278501598 9367552 275 33554432000 4194304 5064252 140735312859808 140735312858720 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9382/statm: 2287 275 233 213 0 72 0
[pid=9383] ppid=9382 vsize=70588 CPUtime=3.09 cores=1,3,5,7
/proc/9383/stat : 9383 (npSolver-pbo) R 9382 9382 9266 0 -1 4202496 4258 0 0 0 306 3 0 0 20 0 1 0 278501598 72282112 13894 33554432000 4194304 5992684 140735949280336 140735949276456 5179600 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9383/statm: 17647 13894 148 440 0 17203 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 79736
[startup+6.30027 s]
/proc/loadavg: 3.55 2.45 2.15 2/180 9384
/proc/meminfo: memFree=13165732/32873648 swapFree=6852/6852
[pid=9382] ppid=9380 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9382/stat : 9382 (npSolver-pbo-It) S 9380 9382 9266 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278501598 9367552 275 33554432000 4194304 5064252 140735312859808 140735312858720 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9382/statm: 2287 275 233 213 0 72 0
[pid=9383] ppid=9382 vsize=136124 CPUtime=6.28 cores=1,3,5,7
/proc/9383/stat : 9383 (npSolver-pbo) R 9382 9382 9266 0 -1 4202496 4878 0 0 0 624 4 0 0 20 0 1 0 278501598 139390976 22658 33554432000 4194304 5992684 140735949280336 140735949276456 5077000 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9383/statm: 34031 22658 148 440 0 33587 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 145272
[startup+12.7003 s]
/proc/loadavg: 3.69 2.52 2.18 2/180 9384
/proc/meminfo: memFree=12826072/32873648 swapFree=6852/6852
[pid=9382] ppid=9380 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9382/stat : 9382 (npSolver-pbo-It) S 9380 9382 9266 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278501598 9367552 275 33554432000 4194304 5064252 140735312859808 140735312858720 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9382/statm: 2287 275 233 213 0 72 0
[pid=9383] ppid=9382 vsize=708152 CPUtime=12.69 cores=1,3,5,7
/proc/9383/stat : 9383 (npSolver-pbo) R 9382 9382 9266 0 -1 4202496 50434 0 0 0 1248 21 0 0 20 0 1 0 278501598 725147648 121618 33554432000 4194304 5992684 140735949280336 140735949271928 5044375 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9383/statm: 177038 121618 165 440 0 176594 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 717300
[startup+25.5003 s]
/proc/loadavg: 3.82 2.58 2.20 2/180 9384
/proc/meminfo: memFree=11609168/32873648 swapFree=6852/6852
[pid=9382] ppid=9380 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9382/stat : 9382 (npSolver-pbo-It) S 9380 9382 9266 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278501598 9367552 275 33554432000 4194304 5064252 140735312859808 140735312858720 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9382/statm: 2287 275 233 213 0 72 0
[pid=9383] ppid=9382 vsize=1708120 CPUtime=25.48 cores=1,3,5,7
/proc/9383/stat : 9383 (npSolver-pbo) R 9382 9382 9266 0 -1 4202496 170482 0 0 0 2495 53 0 0 20 0 1 0 278501598 1749114880 405441 33554432000 4194304 5992684 140735949280336 140735949268408 4956952 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9383/statm: 427030 405441 165 440 0 426586 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1717268
[startup+51.1004 s]
/proc/loadavg: 4.03 2.73 2.26 2/180 9384
/proc/meminfo: memFree=6165632/32873648 swapFree=6852/6852
[pid=9382] ppid=9380 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9382/stat : 9382 (npSolver-pbo-It) S 9380 9382 9266 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278501598 9367552 275 33554432000 4194304 5064252 140735312859808 140735312858720 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9382/statm: 2287 275 233 213 0 72 0
[pid=9383] ppid=9382 vsize=5753228 CPUtime=51.08 cores=1,3,5,7
/proc/9383/stat : 9383 (npSolver-pbo) R 9382 9382 9266 0 -1 4202496 398540 0 0 0 4961 147 0 0 20 0 1 0 278501598 5891305472 965646 33554432000 4194304 5992684 140735949280336 140735949268408 4955462 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9383/statm: 1438307 965646 165 440 0 1437863 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 5762376
[startup+102.306 s]
/proc/loadavg: 4.54 3.09 2.41 1/180 9384
/proc/meminfo: memFree=413440/32873648 swapFree=6852/6852
[pid=9382] ppid=9380 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9382/stat : 9382 (npSolver-pbo-It) S 9380 9382 9266 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278501598 9367552 275 33554432000 4194304 5064252 140735312859808 140735312858720 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9382/statm: 2287 275 233 213 0 72 0
[pid=9383] ppid=9382 vsize=15409008 CPUtime=86.61 cores=1,3,5,7
/proc/9383/stat : 9383 (npSolver-pbo) D 9382 9382 9266 0 -1 12591104 727353 0 0 0 8369 292 0 0 20 0 1 0 278501598 15778824192 1944962 33554432000 4194304 5992684 140735949280336 140735949275240 5045366 0 0 4096 0 18446744071579943789 0 0 17 5 0 0 1393 0 0
/proc/9383/statm: 3852252 1944962 165 440 0 3851808 0
Current children cumulated CPU time (s) 86.61
Current children cumulated vsize (KiB) 15418156
[startup+162.3 s]
/proc/loadavg: 4.86 3.45 2.57 2/180 9384
/proc/meminfo: memFree=478188/32873648 swapFree=6852/6852
[pid=9382] ppid=9380 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9382/stat : 9382 (npSolver-pbo-It) S 9380 9382 9266 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278501598 9367552 275 33554432000 4194304 5064252 140735312859808 140735312858720 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9382/statm: 2287 275 233 213 0 72 0
[pid=9383] ppid=9382 vsize=15409008 CPUtime=96.32 cores=1,3,5,7
/proc/9383/stat : 9383 (npSolver-pbo) D 9382 9382 9266 0 -1 12591104 789012 0 0 0 8411 1221 0 0 20 0 1 0 278501598 15778824192 2380162 33554432000 4194304 5992684 140735949280336 140735949275240 5045366 0 0 4096 0 18446744071580543392 0 0 17 5 0 0 6004 0 0
/proc/9383/statm: 3852252 2380162 165 440 0 3851808 0
Current children cumulated CPU time (s) 96.32
Current children cumulated vsize (KiB) 15418156
heavy processes:
%CPU=13 pid=9343 uid=0 cmd=
[startup+222.3 s]
/proc/loadavg: 4.79 3.70 2.71 1/180 9385
/proc/meminfo: memFree=202932/32873648 swapFree=6852/6852
[pid=9382] ppid=9380 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9382/stat : 9382 (npSolver-pbo-It) S 9380 9382 9266 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278501598 9367552 275 33554432000 4194304 5064252 140735312859808 140735312858720 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9382/statm: 2287 275 233 213 0 72 0
[pid=9383] ppid=9382 vsize=15642600 CPUtime=110.13 cores=1,3,5,7
/proc/9383/stat : 9383 (npSolver-pbo) D 9382 9382 9266 0 -1 4202496 857519 0 0 0 8705 2308 0 0 20 0 1 0 278501598 16018022400 2888636 33554432000 4194304 5992684 140735949280336 140735949276192 5182699 0 0 4096 0 18446744071581216301 0 0 17 1 0 0 10505 0 0
/proc/9383/statm: 3910650 2888636 166 440 0 3910206 0
Current children cumulated CPU time (s) 110.13
Current children cumulated vsize (KiB) 15651748
heavy processes:
%CPU=10 pid=9343 uid=0 cmd=/usr/libexec/abrt-hook-ccpp /var/spool/abrt 9312 6 506 18446744073709551615
[startup+282.3 s]
/proc/loadavg: 4.83 3.90 2.84 2/180 9404
/proc/meminfo: memFree=14524196/32873648 swapFree=6852/6852
[pid=9382] ppid=9380 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9382/stat : 9382 (npSolver-pbo-It) S 9380 9382 9266 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278501598 9367552 275 33554432000 4194304 5064252 140735312859808 140735312858720 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9382/statm: 2287 275 233 213 0 72 0
[pid=9383] ppid=9382 vsize=11340740 CPUtime=112.21 cores=1,3,5,7
/proc/9383/stat : 9383 (npSolver-pbo) S 9382 9382 9266 0 -1 4202496 857527 0 0 0 8706 2515 0 0 20 0 1 0 278501598 11612917760 1813177 33554432000 4194304 5992684 140735949280336 140735949274784 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 14534 0 0
/proc/9383/statm: 2835185 1813177 172 440 0 2834741 0
[pid=9386] ppid=9383 vsize=9148 CPUtime=0.03 cores=1,3,5,7
/proc/9386/stat : 9386 (cp2_pre.sh) S 9383 9382 9266 0 -1 4202496 605 0 4 0 0 3 0 0 20 0 1 0 278528046 9367552 276 33554432000 4194304 5064252 140735883841792 140735883840496 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 266 0 0
/proc/9386/statm: 2287 276 234 213 0 72 0
[pid=9390] ppid=9386 vsize=1944556 CPUtime=15.05 cores=1,3,5,7
/proc/9390/stat : 9390 (coprocessor) R 9386 9382 9266 0 -1 4202496 22578 0 0 0 1439 66 0 0 20 0 1 0 278528321 1991225344 469969 33554432000 4194304 6586260 140736801553024 140736801549784 5732400 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/9390/statm: 486139 469969 137 584 0 485551 0
Current children cumulated CPU time (s) 127.29
Current children cumulated vsize (KiB) 13303592
heavy processes:
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+298.2 s]
/proc/loadavg: 4.72 3.92 2.86 2/178 9411
/proc/meminfo: memFree=12894656/32873648 swapFree=6852/6852
[pid=9382] ppid=9380 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9382/stat : 9382 (npSolver-pbo-It) S 9380 9382 9266 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278501598 9367552 275 33554432000 4194304 5064252 140735312859808 140735312858720 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9382/statm: 2287 275 233 213 0 72 0
[pid=9383] ppid=9382 vsize=11340740 CPUtime=112.21 cores=1,3,5,7
/proc/9383/stat : 9383 (npSolver-pbo) S 9382 9382 9266 0 -1 4202496 857527 0 0 0 8706 2515 0 0 20 0 1 0 278501598 11612917760 1813177 33554432000 4194304 5992684 140735949280336 140735949274784 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 14534 0 0
/proc/9383/statm: 2835185 1813177 172 440 0 2834741 0
[pid=9386] ppid=9383 vsize=9148 CPUtime=0.03 cores=1,3,5,7
/proc/9386/stat : 9386 (cp2_pre.sh) S 9383 9382 9266 0 -1 4202496 605 0 4 0 0 3 0 0 20 0 1 0 278528046 9367552 276 33554432000 4194304 5064252 140735883841792 140735883840496 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 266 0 0
/proc/9386/statm: 2287 276 234 213 0 72 0
[pid=9390] ppid=9386 vsize=4594792 CPUtime=30.97 cores=1,3,5,7
/proc/9390/stat : 9390 (coprocessor) R 9386 9382 9266 0 -1 4202496 26463 0 0 0 2961 136 0 0 20 0 1 0 278528321 4705067008 938194 33554432000 4194304 6586260 140736801553024 140736801549784 5550307 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/9390/statm: 1148698 938194 137 584 0 1148110 0
Current children cumulated CPU time (s) 143.21
Current children cumulated vsize (KiB) 15953828
heavy processes:
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+298.2 s]
/proc/loadavg: 4.72 3.92 2.86 2/178 9411
/proc/meminfo: memFree=12894656/32873648 swapFree=6852/6852
[pid=9382] ppid=9380 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9382/stat : 9382 (npSolver-pbo-It) S 9380 9382 9266 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278501598 9367552 275 33554432000 4194304 5064252 140735312859808 140735312858720 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9382/statm: 2287 275 233 213 0 72 0
[pid=9383] ppid=9382 vsize=11340740 CPUtime=112.21 cores=1,3,5,7
/proc/9383/stat : 9383 (npSolver-pbo) S 9382 9382 9266 0 -1 4202496 857527 0 0 0 8706 2515 0 0 20 0 1 0 278501598 11612917760 1813177 33554432000 4194304 5992684 140735949280336 140735949274784 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 14534 0 0
/proc/9383/statm: 2835185 1813177 172 440 0 2834741 0
[pid=9386] ppid=9383 vsize=9148 CPUtime=0.03 cores=1,3,5,7
/proc/9386/stat : 9386 (cp2_pre.sh) S 9383 9382 9266 0 -1 4202496 605 0 4 0 0 3 0 0 20 0 1 0 278528046 9367552 276 33554432000 4194304 5064252 140735883841792 140735883840496 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 266 0 0
/proc/9386/statm: 2287 276 234 213 0 72 0
[pid=9390] ppid=9386 vsize=4594792 CPUtime=30.97 cores=1,3,5,7
/proc/9390/stat : 9390 (coprocessor) R 9386 9382 9266 0 -1 4202496 26463 0 0 0 2961 136 0 0 20 0 1 0 278528321 4705067008 938194 33554432000 4194304 6586260 140736801553024 140736801549784 5550307 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/9390/statm: 1148698 938194 137 584 0 1148110 0
Current children cumulated CPU time (s) 143.21
Current children cumulated vsize (KiB) 15953828
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 9382 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=999
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=999
# CPU time returned by wait4() is 0.001998
# while last known CPU time is 143.21
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 298.226
CPU time (s): 143.21
CPU user time (s): 116.67
CPU system time (s): 26.54
CPU usage (%): 48.0206
Max. virtual memory (cumulated for all children) (KiB): 15953828
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000999
system time used= 0.000999
maximum resident set size= 1100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 359
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= 4
involuntary context switches= 1
runsolver used 0.622905 second user time and 1.72374 second system time
The end