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-3714208-1338185751/watcher-3714208-1338185751 -o /tmp/evaluation-result-3714208-1338185751/solver-3714208-1338185751 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-I.sh HOME/instance-3714208-1338185751.wbo 401891656 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.00 1.97 1.98 3/177 19907
/proc/meminfo: memFree=29908100/32873844 swapFree=7112/7112
[pid=19907] ppid=19905 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19907/stat : 19907 (npSolver-wbo-I.) S 19905 19907 14387 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284703692 9367552 275 33554432000 4194304 5064252 140737200041600 140737200040512 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19907/statm: 2287 275 233 213 0 72 0
[startup+0.0665171 s]
/proc/loadavg: 2.00 1.97 1.98 3/177 19907
/proc/meminfo: memFree=29908100/32873844 swapFree=7112/7112
[pid=19907] ppid=19905 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19907/stat : 19907 (npSolver-wbo-I.) S 19905 19907 14387 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284703692 9367552 275 33554432000 4194304 5064252 140737200041600 140737200040512 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19907/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100297 s]
/proc/loadavg: 2.00 1.97 1.98 3/177 19907
/proc/meminfo: memFree=29908100/32873844 swapFree=7112/7112
[pid=19907] ppid=19905 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19907/stat : 19907 (npSolver-wbo-I.) S 19905 19907 14387 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284703692 9367552 275 33554432000 4194304 5064252 140737200041600 140737200040512 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19907/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300252 s]
/proc/loadavg: 2.00 1.97 1.98 3/177 19907
/proc/meminfo: memFree=29908100/32873844 swapFree=7112/7112
[pid=19907] ppid=19905 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19907/stat : 19907 (npSolver-wbo-I.) S 19905 19907 14387 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284703692 9367552 275 33554432000 4194304 5064252 140737200041600 140737200040512 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19907/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70029 s]
/proc/loadavg: 2.00 1.97 1.98 3/177 19907
/proc/meminfo: memFree=29908100/32873844 swapFree=7112/7112
[pid=19907] ppid=19905 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19907/stat : 19907 (npSolver-wbo-I.) S 19905 19907 14387 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284703692 9367552 275 33554432000 4194304 5064252 140737200041600 140737200040512 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19907/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50037 s]
/proc/loadavg: 2.00 1.97 1.98 3/181 19921
/proc/meminfo: memFree=29877804/32873844 swapFree=7112/7112
[pid=19907] ppid=19905 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19907/stat : 19907 (npSolver-wbo-I.) S 19905 19907 14387 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284703692 9367552 275 33554432000 4194304 5064252 140737200041600 140737200040512 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19907/statm: 2287 275 233 213 0 72 0
[pid=19908] ppid=19907 vsize=11852 CPUtime=0.24 cores=1,3,5,7
/proc/19908/stat : 19908 (npSolver-wbo) S 19907 19907 14387 0 -1 4202496 2921 6419 0 0 11 2 10 1 20 0 1 0 284703692 12136448 1925 33554432000 4194304 5990268 140737441845760 140737441837200 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19908/statm: 2963 1925 166 439 0 2520 0
[pid=19920] ppid=19908 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19920/stat : 19920 (satsolver.sh) S 19908 19907 14387 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284703719 9367552 267 33554432000 4194304 5064252 140737258841872 140737258840784 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/19920/statm: 2287 267 226 213 0 72 0
[pid=19921] ppid=19920 vsize=20304 CPUtime=1.23 cores=1,3,5,7
/proc/19921/stat : 19921 (glucose) R 19920 19907 14387 0 -1 4202496 4708 0 0 0 122 1 0 0 20 0 1 0 284703719 20791296 4331 33554432000 4194304 5208918 140733289995296 140733289993144 4228997 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/19921/statm: 5076 4331 104 248 0 4825 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 50452
[startup+3.10043 s]
/proc/loadavg: 2.00 1.97 1.98 3/181 19921
/proc/meminfo: memFree=29873524/32873844 swapFree=7112/7112
[pid=19907] ppid=19905 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19907/stat : 19907 (npSolver-wbo-I.) S 19905 19907 14387 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284703692 9367552 275 33554432000 4194304 5064252 140737200041600 140737200040512 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19907/statm: 2287 275 233 213 0 72 0
[pid=19908] ppid=19907 vsize=11852 CPUtime=0.24 cores=1,3,5,7
/proc/19908/stat : 19908 (npSolver-wbo) S 19907 19907 14387 0 -1 4202496 2921 6419 0 0 11 2 10 1 20 0 1 0 284703692 12136448 1925 33554432000 4194304 5990268 140737441845760 140737441837200 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19908/statm: 2963 1925 166 439 0 2520 0
[pid=19920] ppid=19908 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19920/stat : 19920 (satsolver.sh) S 19908 19907 14387 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284703719 9367552 267 33554432000 4194304 5064252 140737258841872 140737258840784 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/19920/statm: 2287 267 226 213 0 72 0
[pid=19921] ppid=19920 vsize=20580 CPUtime=2.83 cores=1,3,5,7
/proc/19921/stat : 19921 (glucose) R 19920 19907 14387 0 -1 4202496 4894 0 0 0 282 1 0 0 20 0 1 0 284703719 21073920 4510 33554432000 4194304 5208918 140733289995296 140733289992968 4211744 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/19921/statm: 5145 4510 104 248 0 4894 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 50728
[startup+6.30042 s]
/proc/loadavg: 2.00 1.97 1.98 3/181 19921
/proc/meminfo: memFree=29878068/32873844 swapFree=7112/7112
[pid=19907] ppid=19905 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19907/stat : 19907 (npSolver-wbo-I.) S 19905 19907 14387 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284703692 9367552 275 33554432000 4194304 5064252 140737200041600 140737200040512 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19907/statm: 2287 275 233 213 0 72 0
[pid=19908] ppid=19907 vsize=11852 CPUtime=0.24 cores=1,3,5,7
/proc/19908/stat : 19908 (npSolver-wbo) S 19907 19907 14387 0 -1 4202496 2921 6419 0 0 11 2 10 1 20 0 1 0 284703692 12136448 1925 33554432000 4194304 5990268 140737441845760 140737441837200 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19908/statm: 2963 1925 166 439 0 2520 0
[pid=19920] ppid=19908 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19920/stat : 19920 (satsolver.sh) S 19908 19907 14387 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284703719 9367552 267 33554432000 4194304 5064252 140737258841872 140737258840784 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/19920/statm: 2287 267 226 213 0 72 0
[pid=19921] ppid=19920 vsize=23568 CPUtime=6.03 cores=1,3,5,7
/proc/19921/stat : 19921 (glucose) R 19920 19907 14387 0 -1 4202496 5240 0 0 0 602 1 0 0 20 0 1 0 284703719 24133632 4851 33554432000 4194304 5208918 140733289995296 140733289993048 4211744 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/19921/statm: 5892 4851 104 248 0 5641 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 53716
[startup+12.7003 s]
/proc/loadavg: 2.00 1.97 1.98 3/181 19982
/proc/meminfo: memFree=29532420/32873844 swapFree=7112/7112
[pid=19907] ppid=19905 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19907/stat : 19907 (npSolver-wbo-I.) S 19905 19907 14387 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284703692 9367552 275 33554432000 4194304 5064252 140737200041600 140737200040512 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19907/statm: 2287 275 233 213 0 72 0
[pid=19908] ppid=19907 vsize=11436 CPUtime=12.24 cores=1,3,5,7
/proc/19908/stat : 19908 (npSolver-wbo) S 19907 19907 14387 0 -1 4202496 8461 50423 0 0 31 6 1158 29 20 0 1 0 284703692 11710464 2314 33554432000 4194304 5990268 140737441845760 140737441837200 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19908/statm: 2859 2314 166 439 0 2416 0
Current children cumulated CPU time (s) 12.24
Current children cumulated vsize (KiB) 20584
[startup+25.5003 s]
/proc/loadavg: 2.00 1.97 1.98 3/179 20039
/proc/meminfo: memFree=29679448/32873844 swapFree=7112/7112
[pid=19907] ppid=19905 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19907/stat : 19907 (npSolver-wbo-I.) S 19905 19907 14387 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284703692 9367552 275 33554432000 4194304 5064252 140737200041600 140737200040512 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19907/statm: 2287 275 233 213 0 72 0
[pid=19908] ppid=19907 vsize=11436 CPUtime=19.97 cores=1,3,5,7
/proc/19908/stat : 19908 (npSolver-wbo) S 19907 19907 14387 0 -1 4202496 9233 81772 0 0 32 6 1922 37 20 0 1 0 284703692 11710464 2314 33554432000 4194304 5990268 140737441845760 140737441837200 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19908/statm: 2859 2314 166 439 0 2416 0
[pid=20030] ppid=19908 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20030/stat : 20030 (satsolver.sh) S 19908 19907 14387 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284705755 9367552 267 33554432000 4194304 5064252 140734964951104 140734964950016 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/20030/statm: 2287 267 226 213 0 72 0
[pid=20031] ppid=20030 vsize=11912 CPUtime=4.86 cores=1,3,5,7
/proc/20031/stat : 20031 (glucose) R 20030 19907 14387 0 -1 4202496 2859 0 0 0 486 0 0 0 20 0 1 0 284705755 12197888 2318 33554432000 4194304 5208918 140733542026400 140733542024344 4229538 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20031/statm: 2978 2318 103 248 0 2727 0
Current children cumulated CPU time (s) 24.83
Current children cumulated vsize (KiB) 41644
Solver just ended. Dumping a history of the last processes samples
[startup+27.1004 s]
/proc/loadavg: 2.00 1.97 1.98 3/181 20041
/proc/meminfo: memFree=29530868/32873844 swapFree=7112/7112
[pid=19907] ppid=19905 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19907/stat : 19907 (npSolver-wbo-I.) S 19905 19907 14387 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284703692 9367552 275 33554432000 4194304 5064252 140737200041600 140737200040512 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19907/statm: 2287 275 233 213 0 72 0
[pid=19908] ppid=19907 vsize=11436 CPUtime=19.97 cores=1,3,5,7
/proc/19908/stat : 19908 (npSolver-wbo) S 19907 19907 14387 0 -1 4202496 9233 81772 0 0 32 6 1922 37 20 0 1 0 284703692 11710464 2314 33554432000 4194304 5990268 140737441845760 140737441837200 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19908/statm: 2859 2314 166 439 0 2416 0
[pid=20030] ppid=19908 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20030/stat : 20030 (satsolver.sh) S 19908 19907 14387 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284705755 9367552 267 33554432000 4194304 5064252 140734964951104 140734964950016 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/20030/statm: 2287 267 226 213 0 72 0
[pid=20031] ppid=20030 vsize=11912 CPUtime=6.46 cores=1,3,5,7
/proc/20031/stat : 20031 (glucose) R 20030 19907 14387 0 -1 4202496 2886 0 0 0 646 0 0 0 20 0 1 0 284705755 12197888 2345 33554432000 4194304 5208918 140733542026400 140733542024344 4211632 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20031/statm: 2978 2345 103 248 0 2727 0
Current children cumulated CPU time (s) 26.43
Current children cumulated vsize (KiB) 41644
[startup+28.7004 s]
/proc/loadavg: 2.08 1.99 1.98 3/181 20041
/proc/meminfo: memFree=29528760/32873844 swapFree=7112/7112
[pid=19907] ppid=19905 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19907/stat : 19907 (npSolver-wbo-I.) S 19905 19907 14387 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284703692 9367552 275 33554432000 4194304 5064252 140737200041600 140737200040512 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19907/statm: 2287 275 233 213 0 72 0
[pid=19908] ppid=19907 vsize=11436 CPUtime=19.97 cores=1,3,5,7
/proc/19908/stat : 19908 (npSolver-wbo) S 19907 19907 14387 0 -1 4202496 9233 81772 0 0 32 6 1922 37 20 0 1 0 284703692 11710464 2314 33554432000 4194304 5990268 140737441845760 140737441837200 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19908/statm: 2859 2314 166 439 0 2416 0
[pid=20030] ppid=19908 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20030/stat : 20030 (satsolver.sh) S 19908 19907 14387 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284705755 9367552 267 33554432000 4194304 5064252 140734964951104 140734964950016 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/20030/statm: 2287 267 226 213 0 72 0
[pid=20031] ppid=20030 vsize=11912 CPUtime=8.06 cores=1,3,5,7
/proc/20031/stat : 20031 (glucose) R 20030 19907 14387 0 -1 4202496 2933 0 0 0 806 0 0 0 20 0 1 0 284705755 12197888 2390 33554432000 4194304 5208918 140733542026400 140733542024344 4215351 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20031/statm: 2978 2390 103 248 0 2727 0
Current children cumulated CPU time (s) 28.03
Current children cumulated vsize (KiB) 41644
[startup+29.1004 s]
/proc/loadavg: 2.08 1.99 1.98 3/181 20041
/proc/meminfo: memFree=29528760/32873844 swapFree=7112/7112
[pid=19907] ppid=19905 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19907/stat : 19907 (npSolver-wbo-I.) S 19905 19907 14387 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284703692 9367552 275 33554432000 4194304 5064252 140737200041600 140737200040512 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19907/statm: 2287 275 233 213 0 72 0
[pid=19908] ppid=19907 vsize=11436 CPUtime=19.97 cores=1,3,5,7
/proc/19908/stat : 19908 (npSolver-wbo) S 19907 19907 14387 0 -1 4202496 9233 81772 0 0 32 6 1922 37 20 0 1 0 284703692 11710464 2314 33554432000 4194304 5990268 140737441845760 140737441837200 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19908/statm: 2859 2314 166 439 0 2416 0
[pid=20030] ppid=19908 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20030/stat : 20030 (satsolver.sh) S 19908 19907 14387 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284705755 9367552 267 33554432000 4194304 5064252 140734964951104 140734964950016 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/20030/statm: 2287 267 226 213 0 72 0
[pid=20031] ppid=20030 vsize=13272 CPUtime=8.46 cores=1,3,5,7
/proc/20031/stat : 20031 (glucose) R 20030 19907 14387 0 -1 4202496 3324 0 0 0 846 0 0 0 20 0 1 0 284705755 13590528 2760 33554432000 4194304 5208918 140733542026400 140733542022776 4211623 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20031/statm: 3318 2760 103 248 0 3067 0
Current children cumulated CPU time (s) 28.43
Current children cumulated vsize (KiB) 43004
[startup+29.3003 s]
/proc/loadavg: 2.08 1.99 1.98 3/181 20041
/proc/meminfo: memFree=29528760/32873844 swapFree=7112/7112
[pid=19907] ppid=19905 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19907/stat : 19907 (npSolver-wbo-I.) S 19905 19907 14387 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284703692 9367552 275 33554432000 4194304 5064252 140737200041600 140737200040512 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19907/statm: 2287 275 233 213 0 72 0
[pid=19908] ppid=19907 vsize=11436 CPUtime=19.97 cores=1,3,5,7
/proc/19908/stat : 19908 (npSolver-wbo) S 19907 19907 14387 0 -1 4202496 9233 81772 0 0 32 6 1922 37 20 0 1 0 284703692 11710464 2314 33554432000 4194304 5990268 140737441845760 140737441837200 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19908/statm: 2859 2314 166 439 0 2416 0
[pid=20030] ppid=19908 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20030/stat : 20030 (satsolver.sh) S 19908 19907 14387 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284705755 9367552 267 33554432000 4194304 5064252 140734964951104 140734964950016 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/20030/statm: 2287 267 226 213 0 72 0
[pid=20031] ppid=20030 vsize=13272 CPUtime=8.66 cores=1,3,5,7
/proc/20031/stat : 20031 (glucose) R 20030 19907 14387 0 -1 4202496 3324 0 0 0 866 0 0 0 20 0 1 0 284705755 13590528 2760 33554432000 4194304 5208918 140733542026400 140733542022776 4211156 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20031/statm: 3318 2760 103 248 0 3067 0
Current children cumulated CPU time (s) 28.63
Current children cumulated vsize (KiB) 43004
Child status: 0
Real time (s): 29.3637
CPU time (s): 28.7316
CPU user time (s): 28.2717
CPU system time (s): 0.45993
CPU usage (%): 97.8474
Max. virtual memory (cumulated for all children) (KiB): 123140
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 28.2717
system time used= 0.45993
maximum resident set size= 76516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98222
page faults= 0
swaps= 0
block input operations= 0
block output operations= 50672
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 899
involuntary context switches= 159
runsolver used 0.041993 second user time and 0.19497 second system time
The end