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-3702651-1338130513/watcher-3702651-1338130513 -o /tmp/evaluation-result-3702651-1338130513/solver-3702651-1338130513 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3702651-1338130513.opb 1001463673 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: 2.54 2.20 2.07 3/179 32323
/proc/meminfo: memFree=31051072/32873648 swapFree=7116/7116
[pid=32323] ppid=32321 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32323/stat : 32323 (npSolver-pbo-It) S 32321 32323 31461 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279176806 9367552 274 33554432000 4194304 5064252 140736364204304 140736364203216 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32323/statm: 2287 274 233 213 0 72 0
[startup+0.031423 s]
/proc/loadavg: 2.54 2.20 2.07 3/179 32323
/proc/meminfo: memFree=31051072/32873648 swapFree=7116/7116
[pid=32323] ppid=32321 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32323/stat : 32323 (npSolver-pbo-It) S 32321 32323 31461 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279176806 9367552 274 33554432000 4194304 5064252 140736364204304 140736364203216 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32323/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100219 s]
/proc/loadavg: 2.54 2.20 2.07 3/179 32323
/proc/meminfo: memFree=31051072/32873648 swapFree=7116/7116
[pid=32323] ppid=32321 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32323/stat : 32323 (npSolver-pbo-It) S 32321 32323 31461 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279176806 9367552 274 33554432000 4194304 5064252 140736364204304 140736364203216 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32323/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300241 s]
/proc/loadavg: 2.54 2.20 2.07 3/179 32323
/proc/meminfo: memFree=31051072/32873648 swapFree=7116/7116
[pid=32323] ppid=32321 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32323/stat : 32323 (npSolver-pbo-It) S 32321 32323 31461 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279176806 9367552 274 33554432000 4194304 5064252 140736364204304 140736364203216 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32323/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70024 s]
/proc/loadavg: 2.54 2.20 2.07 3/179 32323
/proc/meminfo: memFree=31051072/32873648 swapFree=7116/7116
[pid=32323] ppid=32321 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32323/stat : 32323 (npSolver-pbo-It) S 32321 32323 31461 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279176806 9367552 274 33554432000 4194304 5064252 140736364204304 140736364203216 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32323/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50017 s]
/proc/loadavg: 2.50 2.19 2.07 3/181 32325
/proc/meminfo: memFree=31037464/32873648 swapFree=7116/7116
[pid=32323] ppid=32321 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32323/stat : 32323 (npSolver-pbo-It) S 32321 32323 31461 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279176806 9367552 274 33554432000 4194304 5064252 140736364204304 140736364203216 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32323/statm: 2287 274 233 213 0 72 0
[pid=32324] ppid=32323 vsize=27016 CPUtime=1.49 cores=1,3,5,7
/proc/32324/stat : 32324 (npSolver-pbo) R 32323 32323 31461 0 -1 4202496 4678 0 0 0 148 1 0 0 20 0 1 0 279176806 27664384 5965 33554432000 4194304 5992684 140735327267872 140735327263608 5179600 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32324/statm: 6754 5965 148 440 0 6310 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 36164
[startup+3.10022 s]
/proc/loadavg: 2.50 2.19 2.07 3/181 32325
/proc/meminfo: memFree=31007180/32873648 swapFree=7116/7116
[pid=32323] ppid=32321 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32323/stat : 32323 (npSolver-pbo-It) S 32321 32323 31461 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279176806 9367552 274 33554432000 4194304 5064252 140736364204304 140736364203216 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32323/statm: 2287 274 233 213 0 72 0
[pid=32324] ppid=32323 vsize=186904 CPUtime=3.09 cores=1,3,5,7
/proc/32324/stat : 32324 (npSolver-pbo) R 32323 32323 31461 0 -1 4202496 17903 0 0 0 303 6 0 0 20 0 1 0 279176806 191389696 34210 33554432000 4194304 5992684 140735327267872 140735327263288 4965949 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32324/statm: 46726 34210 165 440 0 46282 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 196052
[startup+6.30023 s]
/proc/loadavg: 2.46 2.19 2.07 3/181 32325
/proc/meminfo: memFree=30696040/32873648 swapFree=7116/7116
[pid=32323] ppid=32321 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32323/stat : 32323 (npSolver-pbo-It) S 32321 32323 31461 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279176806 9367552 274 33554432000 4194304 5064252 140736364204304 140736364203216 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32323/statm: 2287 274 233 213 0 72 0
[pid=32324] ppid=32323 vsize=449420 CPUtime=6.28 cores=1,3,5,7
/proc/32324/stat : 32324 (npSolver-pbo) R 32323 32323 31461 0 -1 4202496 51442 0 0 0 612 16 0 0 20 0 1 0 279176806 460206080 111120 33554432000 4194304 5992684 140735327267872 140735327259528 4955159 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32324/statm: 112355 111120 165 440 0 111911 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 458568
[startup+12.7002 s]
/proc/loadavg: 2.42 2.19 2.07 3/183 32327
/proc/meminfo: memFree=29445584/32873648 swapFree=7116/7116
[pid=32323] ppid=32321 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32323/stat : 32323 (npSolver-pbo-It) S 32321 32323 31461 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279176806 9367552 274 33554432000 4194304 5064252 140736364204304 140736364203216 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32323/statm: 2287 274 233 213 0 72 0
[pid=32324] ppid=32323 vsize=765828 CPUtime=8.21 cores=1,3,5,7
/proc/32324/stat : 32324 (npSolver-pbo) S 32323 32323 31461 0 -1 4202496 66201 0 0 0 735 86 0 0 20 0 1 0 279176806 784207872 140043 33554432000 4194304 5992684 140735327267872 140735327262320 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32324/statm: 191457 140043 172 440 0 191013 0
[pid=32326] ppid=32324 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32326/stat : 32326 (cp2_pre.sh) S 32324 32323 31461 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 279177629 9367552 277 33554432000 4194304 5064252 140734354483744 140734354482448 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32326/statm: 2287 277 234 213 0 72 0
[pid=32327] ppid=32326 vsize=1056792 CPUtime=4.34 cores=1,3,5,7
/proc/32327/stat : 32327 (coprocessor) R 32326 32323 31461 0 -1 4202496 21761 0 0 0 408 26 0 0 20 0 1 0 279177630 1082155008 203687 33554432000 4194304 6586260 140736518211280 140736518207032 5732496 0 0 4096 8404994 0 0 0 17 5 0 0 11 0 0
/proc/32327/statm: 264198 203687 158 584 0 263610 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 1840916
[startup+25.5002 s]
/proc/loadavg: 2.55 2.22 2.08 3/183 32327
/proc/meminfo: memFree=29085272/32873648 swapFree=7116/7116
[pid=32323] ppid=32321 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32323/stat : 32323 (npSolver-pbo-It) S 32321 32323 31461 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279176806 9367552 274 33554432000 4194304 5064252 140736364204304 140736364203216 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32323/statm: 2287 274 233 213 0 72 0
[pid=32324] ppid=32323 vsize=765828 CPUtime=8.21 cores=1,3,5,7
/proc/32324/stat : 32324 (npSolver-pbo) S 32323 32323 31461 0 -1 4202496 66201 0 0 0 735 86 0 0 20 0 1 0 279176806 784207872 140043 33554432000 4194304 5992684 140735327267872 140735327262320 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32324/statm: 191457 140043 172 440 0 191013 0
[pid=32326] ppid=32324 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32326/stat : 32326 (cp2_pre.sh) S 32324 32323 31461 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 279177629 9367552 277 33554432000 4194304 5064252 140734354483744 140734354482448 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32326/statm: 2287 277 234 213 0 72 0
[pid=32327] ppid=32326 vsize=1056792 CPUtime=15.53 cores=1,3,5,7
/proc/32327/stat : 32327 (coprocessor) R 32326 32323 31461 0 -1 4202496 21761 0 0 0 1472 81 0 0 20 0 1 0 279177630 1082155008 203687 33554432000 4194304 6586260 140736518211280 140736518207032 5732496 0 0 4096 8404994 0 0 0 17 5 0 0 171 0 0
/proc/32327/statm: 264198 203687 158 584 0 263610 0
Current children cumulated CPU time (s) 23.74
Current children cumulated vsize (KiB) 1840916
[startup+51.1003 s]
/proc/loadavg: 2.79 2.30 2.11 2/183 32330
/proc/meminfo: memFree=27489656/32873648 swapFree=7116/7116
[pid=32323] ppid=32321 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32323/stat : 32323 (npSolver-pbo-It) S 32321 32323 31461 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279176806 9367552 274 33554432000 4194304 5064252 140736364204304 140736364203216 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32323/statm: 2287 274 233 213 0 72 0
[pid=32324] ppid=32323 vsize=864680 CPUtime=27.44 cores=1,3,5,7
/proc/32324/stat : 32324 (npSolver-pbo) S 32323 32323 31461 0 -1 4204032 72000 22665 0 0 868 148 1631 97 20 0 1 0 279176806 885432320 164797 33554432000 4194304 5992684 140735327267872 140735327262408 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/32324/statm: 216170 164797 192 440 0 215726 0
[pid=32329] ppid=32324 vsize=1497820 CPUtime=6.11 cores=1,3,5,7
/proc/32329/stat : 32329 (glucosInc) S 32324 32323 31461 0 -1 4202496 183907 0 0 0 568 43 0 0 20 0 1 0 279179530 1533767680 333070 33554432000 4194304 5654031 140737018694944 140737018693256 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/32329/statm: 374455 333070 147 357 0 374095 0
Current children cumulated CPU time (s) 33.55
Current children cumulated vsize (KiB) 2371648
heavy processes:
%CPU=15 pid=32330 uid=0 cmd=
Solver just ended. Dumping a history of the last processes samples
[startup+57.5002 s]
/proc/loadavg: 2.97 2.35 2.13 2/183 32330
/proc/meminfo: memFree=27488900/32873648 swapFree=7116/7116
[pid=32323] ppid=32321 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32323/stat : 32323 (npSolver-pbo-It) S 32321 32323 31461 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279176806 9367552 274 33554432000 4194304 5064252 140736364204304 140736364203216 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32323/statm: 2287 274 233 213 0 72 0
[pid=32324] ppid=32323 vsize=864680 CPUtime=27.44 cores=1,3,5,7
/proc/32324/stat : 32324 (npSolver-pbo) S 32323 32323 31461 0 -1 4204032 72000 22665 0 0 868 148 1631 97 20 0 1 0 279176806 885432320 164797 33554432000 4194304 5992684 140735327267872 140735327262408 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/32324/statm: 216170 164797 192 440 0 215726 0
[pid=32329] ppid=32324 vsize=1497820 CPUtime=6.11 cores=1,3,5,7
/proc/32329/stat : 32329 (glucosInc) S 32324 32323 31461 0 -1 4202496 183907 0 0 0 568 43 0 0 20 0 1 0 279179530 1533767680 333070 33554432000 4194304 5654031 140737018694944 140737018693256 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/32329/statm: 374455 333070 147 357 0 374095 0
Current children cumulated CPU time (s) 33.55
Current children cumulated vsize (KiB) 2371648
[startup+59.1002 s]
/proc/loadavg: 2.97 2.35 2.13 2/182 32330
/proc/meminfo: memFree=27489024/32873648 swapFree=7116/7116
[pid=32323] ppid=32321 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32323/stat : 32323 (npSolver-pbo-It) S 32321 32323 31461 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279176806 9367552 274 33554432000 4194304 5064252 140736364204304 140736364203216 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32323/statm: 2287 274 233 213 0 72 0
[pid=32324] ppid=32323 vsize=864680 CPUtime=27.44 cores=1,3,5,7
/proc/32324/stat : 32324 (npSolver-pbo) S 32323 32323 31461 0 -1 4204032 72000 22665 0 0 868 148 1631 97 20 0 1 0 279176806 885432320 164797 33554432000 4194304 5992684 140735327267872 140735327262408 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/32324/statm: 216170 164797 192 440 0 215726 0
[pid=32329] ppid=32324 vsize=1497820 CPUtime=6.11 cores=1,3,5,7
/proc/32329/stat : 32329 (glucosInc) S 32324 32323 31461 0 -1 4202496 183907 0 0 0 568 43 0 0 20 0 1 0 279179530 1533767680 333070 33554432000 4194304 5654031 140737018694944 140737018693256 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/32329/statm: 374455 333070 147 357 0 374095 0
Current children cumulated CPU time (s) 33.55
Current children cumulated vsize (KiB) 2371648
[startup+59.9003 s]
/proc/loadavg: 2.97 2.35 2.13 2/183 32331
/proc/meminfo: memFree=27489156/32873648 swapFree=7116/7116
[pid=32323] ppid=32321 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32323/stat : 32323 (npSolver-pbo-It) S 32321 32323 31461 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279176806 9367552 274 33554432000 4194304 5064252 140736364204304 140736364203216 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32323/statm: 2287 274 233 213 0 72 0
[pid=32324] ppid=32323 vsize=864680 CPUtime=27.44 cores=1,3,5,7
/proc/32324/stat : 32324 (npSolver-pbo) S 32323 32323 31461 0 -1 4204032 72000 22665 0 0 868 148 1631 97 20 0 1 0 279176806 885432320 164797 33554432000 4194304 5992684 140735327267872 140735327262408 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/32324/statm: 216170 164797 192 440 0 215726 0
[pid=32329] ppid=32324 vsize=1497820 CPUtime=6.11 cores=1,3,5,7
/proc/32329/stat : 32329 (glucosInc) S 32324 32323 31461 0 -1 4202496 183907 0 0 0 568 43 0 0 20 0 1 0 279179530 1533767680 333070 33554432000 4194304 5654031 140737018694944 140737018693256 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/32329/statm: 374455 333070 147 357 0 374095 0
Current children cumulated CPU time (s) 33.55
Current children cumulated vsize (KiB) 2371648
[startup+60.7002 s]
/proc/loadavg: 3.13 2.39 2.14 2/183 32331
/proc/meminfo: memFree=27489888/32873648 swapFree=7116/7116
[pid=32323] ppid=32321 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32323/stat : 32323 (npSolver-pbo-It) S 32321 32323 31461 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279176806 9367552 274 33554432000 4194304 5064252 140736364204304 140736364203216 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32323/statm: 2287 274 233 213 0 72 0
[pid=32324] ppid=32323 vsize=864680 CPUtime=27.44 cores=1,3,5,7
/proc/32324/stat : 32324 (npSolver-pbo) S 32323 32323 31461 0 -1 4204032 72000 22665 0 0 868 148 1631 97 20 0 1 0 279176806 885432320 164797 33554432000 4194304 5992684 140735327267872 140735327262408 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/32324/statm: 216170 164797 192 440 0 215726 0
[pid=32329] ppid=32324 vsize=1497820 CPUtime=6.11 cores=1,3,5,7
/proc/32329/stat : 32329 (glucosInc) S 32324 32323 31461 0 -1 4202496 183907 0 0 0 568 43 0 0 20 0 1 0 279179530 1533767680 333070 33554432000 4194304 5654031 140737018694944 140737018693256 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/32329/statm: 374455 333070 147 357 0 374095 0
Current children cumulated CPU time (s) 33.55
Current children cumulated vsize (KiB) 2371648
[startup+60.9002 s]
/proc/loadavg: 3.13 2.39 2.14 2/183 32331
/proc/meminfo: memFree=27489888/32873648 swapFree=7116/7116
[pid=32323] ppid=32321 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32323/stat : 32323 (npSolver-pbo-It) S 32321 32323 31461 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279176806 9367552 274 33554432000 4194304 5064252 140736364204304 140736364203216 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32323/statm: 2287 274 233 213 0 72 0
[pid=32324] ppid=32323 vsize=864680 CPUtime=27.44 cores=1,3,5,7
/proc/32324/stat : 32324 (npSolver-pbo) S 32323 32323 31461 0 -1 4204032 72000 22665 0 0 868 148 1631 97 20 0 1 0 279176806 885432320 164797 33554432000 4194304 5992684 140735327267872 140735327262408 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/32324/statm: 216170 164797 192 440 0 215726 0
[pid=32329] ppid=32324 vsize=1497820 CPUtime=6.11 cores=1,3,5,7
/proc/32329/stat : 32329 (glucosInc) S 32324 32323 31461 0 -1 4202496 183907 0 0 0 568 43 0 0 20 0 1 0 279179530 1533767680 333070 33554432000 4194304 5654031 140737018694944 140737018693256 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/32329/statm: 374455 333070 147 357 0 374095 0
Current children cumulated CPU time (s) 33.55
Current children cumulated vsize (KiB) 2371648
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 32323 and gives
# childrusage.ru_utime.tv_sec=24
# childrusage.ru_utime.tv_usec=993200
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=481622
# CPU time returned by wait4() is 27.4748
# while last known CPU time is 33.55
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 60.9909
CPU time (s): 33.55
CPU user time (s): 30.67
CPU system time (s): 2.88
CPU usage (%): 55.0082
Max. virtual memory (cumulated for all children) (KiB): 2403352
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 24.9932
system time used= 2.48162
maximum resident set size= 879072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 95039
page faults= 0
swaps= 0
block input operations= 32
block output operations= 1261168
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 205706
involuntary context switches= 40
runsolver used 0.101984 second user time and 0.301954 second system time
The end