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-3700833-1338105730/watcher-3700833-1338105730 -o /tmp/evaluation-result-3700833-1338105730/solver-3700833-1338105730 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3700833-1338105730.opb 1600630139 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: 4.37 2.91 2.33 3/178 30992
/proc/meminfo: memFree=27997164/32873852 swapFree=6848/6848
[pid=30992] ppid=30990 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30992/stat : 30992 (npSolver-pbo.sh) S 30990 30992 23596 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276699100 9367552 275 33554432000 4194304 5064252 140736747029616 140736747028528 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30992/statm: 2287 275 233 213 0 72 0
[startup+0.050893 s]
/proc/loadavg: 4.37 2.91 2.33 3/178 30992
/proc/meminfo: memFree=27997164/32873852 swapFree=6848/6848
[pid=30992] ppid=30990 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30992/stat : 30992 (npSolver-pbo.sh) S 30990 30992 23596 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276699100 9367552 275 33554432000 4194304 5064252 140736747029616 140736747028528 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30992/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100285 s]
/proc/loadavg: 4.37 2.91 2.33 3/178 30992
/proc/meminfo: memFree=27997164/32873852 swapFree=6848/6848
[pid=30992] ppid=30990 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30992/stat : 30992 (npSolver-pbo.sh) S 30990 30992 23596 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276699100 9367552 275 33554432000 4194304 5064252 140736747029616 140736747028528 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30992/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300244 s]
/proc/loadavg: 4.37 2.91 2.33 3/178 30992
/proc/meminfo: memFree=27997164/32873852 swapFree=6848/6848
[pid=30992] ppid=30990 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30992/stat : 30992 (npSolver-pbo.sh) S 30990 30992 23596 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276699100 9367552 275 33554432000 4194304 5064252 140736747029616 140736747028528 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30992/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700245 s]
/proc/loadavg: 4.37 2.91 2.33 3/178 30992
/proc/meminfo: memFree=27997164/32873852 swapFree=6848/6848
[pid=30992] ppid=30990 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30992/stat : 30992 (npSolver-pbo.sh) S 30990 30992 23596 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276699100 9367552 275 33554432000 4194304 5064252 140736747029616 140736747028528 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30992/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50029 s]
/proc/loadavg: 4.37 2.91 2.33 3/180 30994
/proc/meminfo: memFree=27969176/32873852 swapFree=6848/6848
[pid=30992] ppid=30990 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30992/stat : 30992 (npSolver-pbo.sh) S 30990 30992 23596 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276699100 9367552 275 33554432000 4194304 5064252 140736747029616 140736747028528 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30992/statm: 2287 275 233 213 0 72 0
[pid=30993] ppid=30992 vsize=40204 CPUtime=1.49 cores=1,3,5,7
/proc/30993/stat : 30993 (npSolver-pbo) R 30992 30992 23596 0 -1 4202496 10236 0 0 0 147 2 0 0 20 0 1 0 276699100 41168896 9395 33554432000 4194304 5992684 140734854883296 140734854879064 5179600 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30993/statm: 10051 9395 143 440 0 9607 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 49352
[startup+3.10033 s]
/proc/loadavg: 4.37 2.91 2.33 3/180 30994
/proc/meminfo: memFree=27944388/32873852 swapFree=6848/6848
[pid=30992] ppid=30990 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30992/stat : 30992 (npSolver-pbo.sh) S 30990 30992 23596 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276699100 9367552 275 33554432000 4194304 5064252 140736747029616 140736747028528 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30992/statm: 2287 275 233 213 0 72 0
[pid=30993] ppid=30992 vsize=147496 CPUtime=3.09 cores=1,3,5,7
/proc/30993/stat : 30993 (npSolver-pbo) R 30992 30992 23596 0 -1 4202496 30527 0 0 0 303 6 0 0 20 0 1 0 276699100 151035904 34442 33554432000 4194304 5992684 140734854883296 140734854876264 4523497 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30993/statm: 36874 34442 157 440 0 36430 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 156644
[startup+6.30029 s]
/proc/loadavg: 4.18 2.89 2.32 3/180 30994
/proc/meminfo: memFree=27749644/32873852 swapFree=6848/6848
[pid=30992] ppid=30990 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30992/stat : 30992 (npSolver-pbo.sh) S 30990 30992 23596 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276699100 9367552 275 33554432000 4194304 5064252 140736747029616 140736747028528 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30992/statm: 2287 275 233 213 0 72 0
[pid=30993] ppid=30992 vsize=376872 CPUtime=6.29 cores=1,3,5,7
/proc/30993/stat : 30993 (npSolver-pbo) R 30992 30992 23596 0 -1 4202496 32243 0 0 0 616 13 0 0 20 0 1 0 276699100 385916928 70794 33554432000 4194304 5992684 140734854883296 140734854876584 4951778 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30993/statm: 94218 70794 157 440 0 93774 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 386020
[startup+12.7004 s]
/proc/loadavg: 4.01 2.88 2.32 3/182 30996
/proc/meminfo: memFree=27298844/32873852 swapFree=6848/6848
[pid=30992] ppid=30990 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30992/stat : 30992 (npSolver-pbo.sh) S 30990 30992 23596 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276699100 9367552 275 33554432000 4194304 5064252 140736747029616 140736747028528 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30992/statm: 2287 275 233 213 0 72 0
[pid=30993] ppid=30992 vsize=639016 CPUtime=9.22 cores=1,3,5,7
/proc/30993/stat : 30993 (npSolver-pbo) S 30992 30992 23596 0 -1 4202496 33991 0 0 0 837 85 0 0 20 0 1 0 276699100 654352384 94865 33554432000 4194304 5992684 140734854883296 140734854877328 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 1 0 0
/proc/30993/statm: 159754 94865 164 440 0 159310 0
[pid=30995] ppid=30993 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30995/stat : 30995 (cp2_pre.sh) S 30993 30992 23596 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 276700025 9367552 276 33554432000 4194304 5064252 140736053709920 140736053708624 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30995/statm: 2287 276 234 213 0 72 0
[pid=30996] ppid=30995 vsize=114764 CPUtime=3.43 cores=1,3,5,7
/proc/30996/stat : 30996 (coprocessor) R 30995 30992 23596 0 -1 4202496 10847 0 0 0 339 4 0 0 20 0 1 0 276700026 117518336 26453 33554432000 4194304 6586260 140734344916528 140734344913416 5732400 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0
/proc/30996/statm: 28691 26453 138 584 0 28103 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 772076
[startup+25.5003 s]
/proc/loadavg: 3.64 2.85 2.32 3/182 30996
/proc/meminfo: memFree=26955024/32873852 swapFree=6848/6848
[pid=30992] ppid=30990 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30992/stat : 30992 (npSolver-pbo.sh) S 30990 30992 23596 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276699100 9367552 275 33554432000 4194304 5064252 140736747029616 140736747028528 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30992/statm: 2287 275 233 213 0 72 0
[pid=30993] ppid=30992 vsize=639016 CPUtime=9.22 cores=1,3,5,7
/proc/30993/stat : 30993 (npSolver-pbo) S 30992 30992 23596 0 -1 4202496 33991 0 0 0 837 85 0 0 20 0 1 0 276699100 654352384 94865 33554432000 4194304 5992684 140734854883296 140734854877328 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 1 0 0
/proc/30993/statm: 159754 94865 164 440 0 159310 0
[pid=30995] ppid=30993 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30995/stat : 30995 (cp2_pre.sh) S 30993 30992 23596 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 276700025 9367552 276 33554432000 4194304 5064252 140736053709920 140736053708624 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30995/statm: 2287 276 234 213 0 72 0
[pid=30996] ppid=30995 vsize=425700 CPUtime=16.23 cores=1,3,5,7
/proc/30996/stat : 30996 (coprocessor) R 30995 30992 23596 0 -1 4202496 18255 0 0 0 1594 29 0 0 20 0 1 0 276700026 435916800 99017 33554432000 4194304 6586260 140734344916528 140734344913288 4367992 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0
/proc/30996/statm: 106425 99017 138 584 0 105837 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 1083012
[startup+51.1005 s]
/proc/loadavg: 3.08 2.78 2.31 3/182 30999
/proc/meminfo: memFree=26678512/32873852 swapFree=6848/6848
[pid=30992] ppid=30990 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30992/stat : 30992 (npSolver-pbo.sh) S 30990 30992 23596 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276699100 9367552 275 33554432000 4194304 5064252 140736747029616 140736747028528 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30992/statm: 2287 275 233 213 0 72 0
[pid=30993] ppid=30992 vsize=639016 CPUtime=47.13 cores=1,3,5,7
/proc/30993/stat : 30993 (npSolver-pbo) S 30992 30992 23596 0 -1 4202496 33999 25361 0 0 837 85 3680 111 20 0 1 0 276699100 654352384 94865 33554432000 4194304 5992684 140734854883296 140734854878416 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 1 0 0
/proc/30993/statm: 159754 94865 164 440 0 159310 0
[pid=30998] ppid=30993 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30998/stat : 30998 (satsolver.sh) S 30993 30992 23596 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 276703834 9367552 266 33554432000 4194304 5064252 140733721430896 140733721429808 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30998/statm: 2287 266 226 213 0 72 0
[pid=30999] ppid=30998 vsize=937740 CPUtime=3.74 cores=1,3,5,7
/proc/30999/stat : 30999 (glucose) R 30998 30992 23596 0 -1 4202496 114039 0 0 0 334 40 0 0 20 0 1 0 276703835 960245760 199873 33554432000 4194304 5208918 140733711286496 140733710235896 4465602 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/30999/statm: 234435 199873 69 248 0 234184 0
Current children cumulated CPU time (s) 50.87
Current children cumulated vsize (KiB) 1595052
[startup+102.307 s]
/proc/loadavg: 2.54 2.67 2.30 3/179 31004
/proc/meminfo: memFree=25652788/32873852 swapFree=6848/6848
[pid=30992] ppid=30990 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30992/stat : 30992 (npSolver-pbo.sh) S 30990 30992 23596 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276699100 9367552 275 33554432000 4194304 5064252 140736747029616 140736747028528 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30992/statm: 2287 275 233 213 0 72 0
[pid=30993] ppid=30992 vsize=3070688 CPUtime=101.97 cores=1,3,5,7
/proc/30993/stat : 30993 (npSolver-pbo) R 30992 30992 23596 0 -1 4202496 119922 169920 0 0 2950 2116 4905 226 20 0 1 0 276699100 3144384512 458104 33554432000 4194304 5992684 140734854883296 140734854876888 4523482 0 0 4096 0 0 0 0 17 5 0 0 15 0 0
/proc/30993/statm: 767672 458104 180 440 0 767228 0
Current children cumulated CPU time (s) 101.97
Current children cumulated vsize (KiB) 3079836
[startup+162.3 s]
/proc/loadavg: 2.64 2.65 2.31 3/181 31007
/proc/meminfo: memFree=16232248/32873852 swapFree=6848/6848
[pid=30992] ppid=30990 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30992/stat : 30992 (npSolver-pbo.sh) S 30990 30992 23596 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276699100 9367552 275 33554432000 4194304 5064252 140736747029616 140736747028528 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30992/statm: 2287 275 233 213 0 72 0
[pid=30993] ppid=30992 vsize=9099700 CPUtime=148.73 cores=1,3,5,7
/proc/30993/stat : 30993 (npSolver-pbo) S 30992 30992 23596 0 -1 4202496 128440 169920 0 0 6866 2876 4905 226 20 0 1 0 276699100 9318092800 1164110 33554432000 4194304 5992684 140734854883296 140734854875616 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 221 0 0
/proc/30993/statm: 2274925 1164110 181 440 0 2274481 0
[pid=31006] ppid=30993 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31006/stat : 31006 (satsolver.sh) S 30993 30992 23596 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 276714213 9367552 267 33554432000 4194304 5064252 140734125802640 140734125801552 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31006/statm: 2287 267 226 213 0 72 0
[pid=31007] ppid=31006 vsize=2727368 CPUtime=11.14 cores=1,3,5,7
/proc/31007/stat : 31007 (glucose) R 31006 30992 23596 0 -1 4202496 251457 0 0 0 1012 102 0 0 20 0 1 0 276714214 2792824832 574083 33554432000 4194304 5208918 140734991260592 140734990209992 4465602 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31007/statm: 681842 574083 69 248 0 681591 0
Current children cumulated CPU time (s) 159.87
Current children cumulated vsize (KiB) 11845364
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+178.1 s]
/proc/loadavg: 2.74 2.67 2.32 3/181 31007
/proc/meminfo: memFree=12872336/32873852 swapFree=6848/6848
[pid=30992] ppid=30990 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30992/stat : 30992 (npSolver-pbo.sh) S 30990 30992 23596 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276699100 9367552 275 33554432000 4194304 5064252 140736747029616 140736747028528 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30992/statm: 2287 275 233 213 0 72 0
[pid=30993] ppid=30992 vsize=9099700 CPUtime=148.73 cores=1,3,5,7
/proc/30993/stat : 30993 (npSolver-pbo) S 30992 30992 23596 0 -1 4202496 128440 169920 0 0 6866 2876 4905 226 20 0 1 0 276699100 9318092800 1164110 33554432000 4194304 5992684 140734854883296 140734854875616 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 221 0 0
/proc/30993/statm: 2274925 1164110 181 440 0 2274481 0
[pid=31006] ppid=30993 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31006/stat : 31006 (satsolver.sh) S 30993 30992 23596 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 276714213 9367552 267 33554432000 4194304 5064252 140734125802640 140734125801552 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31006/statm: 2287 267 226 213 0 72 0
[pid=31007] ppid=31006 vsize=6759796 CPUtime=26.95 cores=1,3,5,7
/proc/31007/stat : 31007 (glucose) R 31006 30992 23596 0 -1 4202496 506744 0 0 0 2465 230 0 0 20 0 1 0 276714214 6922031104 1366100 33554432000 4194304 5208918 140734991260592 140734990209992 4465602 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31007/statm: 1689949 1366101 69 248 0 1689698 0
Current children cumulated CPU time (s) 175.68
Current children cumulated vsize (KiB) 15877792
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+178.1 s]
/proc/loadavg: 2.74 2.67 2.32 3/181 31007
/proc/meminfo: memFree=12872336/32873852 swapFree=6848/6848
[pid=30992] ppid=30990 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30992/stat : 30992 (npSolver-pbo.sh) S 30990 30992 23596 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276699100 9367552 275 33554432000 4194304 5064252 140736747029616 140736747028528 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30992/statm: 2287 275 233 213 0 72 0
[pid=30993] ppid=30992 vsize=9099700 CPUtime=148.73 cores=1,3,5,7
/proc/30993/stat : 30993 (npSolver-pbo) S 30992 30992 23596 0 -1 4202496 128440 169920 0 0 6866 2876 4905 226 20 0 1 0 276699100 9318092800 1164110 33554432000 4194304 5992684 140734854883296 140734854875616 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 221 0 0
/proc/30993/statm: 2274925 1164110 181 440 0 2274481 0
[pid=31006] ppid=30993 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31006/stat : 31006 (satsolver.sh) S 30993 30992 23596 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 276714213 9367552 267 33554432000 4194304 5064252 140734125802640 140734125801552 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31006/statm: 2287 267 226 213 0 72 0
[pid=31007] ppid=31006 vsize=6759796 CPUtime=26.95 cores=1,3,5,7
/proc/31007/stat : 31007 (glucose) R 31006 30992 23596 0 -1 4202496 506744 0 0 0 2465 230 0 0 20 0 1 0 276714214 6922031104 1366100 33554432000 4194304 5208918 140734991260592 140734990209992 4465602 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31007/statm: 1689949 1366101 69 248 0 1689698 0
Current children cumulated CPU time (s) 175.68
Current children cumulated vsize (KiB) 15877792
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 30992 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=999
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 175.68
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 178.132
CPU time (s): 175.68
CPU user time (s): 142.36
CPU system time (s): 33.32
CPU usage (%): 98.6236
Max. virtual memory (cumulated for all children) (KiB): 15877792
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
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.372943 second user time and 1.07584 second system time
The end