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-3705757-1338087533/watcher-3705757-1338087533 -o /tmp/evaluation-result-3705757-1338087533/solver-3705757-1338087533 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705757-1338087533.opb
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: 1.98 1.54 1.65 3/177 17986
/proc/meminfo: memFree=27190724/32873844 swapFree=6088/6088
[pid=17986] ppid=17984 vsize=83992 CPUtime=0 cores=1,3,5,7
/proc/17986/stat : 17986 (wbo1.7) S 17984 17986 16852 0 -1 4202496 958 0 0 0 0 0 0 0 20 0 2 0 274881878 86007808 901 33554432000 4194304 5963574 140734815712128 140734815711648 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17986/statm: 20998 901 194 432 0 20563 0
[pid=17986/tid=17987] ppid=17984 vsize=83992 CPUtime=0 cores=1,3,5,7
/proc/17986/task/17987/stat : 17987 (wbo1.7) R 17984 17986 16852 0 -1 4202560 160 0 0 0 0 0 0 0 20 0 2 0 274881878 86007808 902 33554432000 4194304 5963574 140734815712128 140736441251944 5135642 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[startup+0.0495991 s]
/proc/loadavg: 1.98 1.54 1.65 3/177 17986
/proc/meminfo: memFree=27190724/32873844 swapFree=6088/6088
[pid=17986] ppid=17984 vsize=83992 CPUtime=0.04 cores=1,3,5,7
/proc/17986/stat : 17986 (wbo1.7) S 17984 17986 16852 0 -1 4202496 1121 0 0 0 4 0 0 0 20 0 2 0 274881878 86007808 1064 33554432000 4194304 5963574 140734815712128 140734815711648 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17986/statm: 20998 1064 197 432 0 20563 0
[pid=17986/tid=17987] ppid=17984 vsize=83992 CPUtime=0.03 cores=1,3,5,7
/proc/17986/task/17987/stat : 17987 (wbo1.7) R 17984 17986 16852 0 -1 4202560 323 0 0 0 3 0 0 0 20 0 2 0 274881878 86007808 1064 33554432000 4194304 5963574 140734815712128 140736441251944 4403263 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 83992
[startup+0.100288 s]
/proc/loadavg: 1.98 1.54 1.65 3/177 17986
/proc/meminfo: memFree=27190724/32873844 swapFree=6088/6088
[pid=17986] ppid=17984 vsize=83992 CPUtime=0.09 cores=1,3,5,7
/proc/17986/stat : 17986 (wbo1.7) S 17984 17986 16852 0 -1 4202496 1257 0 0 0 9 0 0 0 20 0 2 0 274881878 86007808 1200 33554432000 4194304 5963574 140734815712128 140734815711648 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17986/statm: 20998 1200 197 432 0 20563 0
[pid=17986/tid=17987] ppid=17984 vsize=83992 CPUtime=0.08 cores=1,3,5,7
/proc/17986/task/17987/stat : 17987 (wbo1.7) R 17984 17986 16852 0 -1 4202560 459 0 0 0 8 0 0 0 20 0 2 0 274881878 86007808 1200 33554432000 4194304 5963574 140734815712128 140736441251944 4222384 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 83992
[startup+0.30025 s]
/proc/loadavg: 1.98 1.54 1.65 3/177 17986
/proc/meminfo: memFree=27190724/32873844 swapFree=6088/6088
[pid=17986] ppid=17984 vsize=83992 CPUtime=0.29 cores=1,3,5,7
/proc/17986/stat : 17986 (wbo1.7) S 17984 17986 16852 0 -1 4202496 1644 0 0 0 29 0 0 0 20 0 2 0 274881878 86007808 1587 33554432000 4194304 5963574 140734815712128 140734815711648 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17986/statm: 20998 1587 197 432 0 20563 0
[pid=17986/tid=17987] ppid=17984 vsize=83992 CPUtime=0.28 cores=1,3,5,7
/proc/17986/task/17987/stat : 17987 (wbo1.7) R 17984 17986 16852 0 -1 4202560 846 0 0 0 28 0 0 0 20 0 2 0 274881878 86007808 1587 33554432000 4194304 5963574 140734815712128 140736441251944 4222464 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 83992
[startup+0.70025 s]
/proc/loadavg: 1.98 1.54 1.65 3/177 17986
/proc/meminfo: memFree=27190724/32873844 swapFree=6088/6088
[pid=17986] ppid=17984 vsize=83992 CPUtime=0.69 cores=1,3,5,7
/proc/17986/stat : 17986 (wbo1.7) S 17984 17986 16852 0 -1 4202496 2331 0 0 0 69 0 0 0 20 0 2 0 274881878 86007808 2274 33554432000 4194304 5963574 140734815712128 140734815711648 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17986/statm: 20998 2274 197 432 0 20563 0
[pid=17986/tid=17987] ppid=17984 vsize=83992 CPUtime=0.68 cores=1,3,5,7
/proc/17986/task/17987/stat : 17987 (wbo1.7) R 17984 17986 16852 0 -1 4202560 1533 0 0 0 68 0 0 0 20 0 2 0 274881878 86007808 2274 33554432000 4194304 5963574 140734815712128 140736441251944 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 83992
[startup+1.50025 s]
/proc/loadavg: 1.98 1.55 1.65 3/179 17988
/proc/meminfo: memFree=27181416/32873844 swapFree=6088/6088
[pid=17986] ppid=17984 vsize=84136 CPUtime=1.49 cores=1,3,5,7
/proc/17986/stat : 17986 (wbo1.7) S 17984 17986 16852 0 -1 4202496 3105 0 0 0 149 0 0 0 20 0 2 0 274881878 86155264 3048 33554432000 4194304 5963574 140734815712128 140734815711648 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17986/statm: 21034 3048 197 432 0 20599 0
[pid=17986/tid=17987] ppid=17984 vsize=84136 CPUtime=1.48 cores=1,3,5,7
/proc/17986/task/17987/stat : 17987 (wbo1.7) R 17984 17986 16852 0 -1 4202560 2307 0 0 0 148 0 0 0 20 0 2 0 274881878 86155264 3048 33554432000 4194304 5963574 140734815712128 140651361101624 4399993 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 84136
[startup+3.10028 s]
/proc/loadavg: 1.98 1.55 1.65 3/179 17988
/proc/meminfo: memFree=27176804/32873844 swapFree=6088/6088
[pid=17986] ppid=17984 vsize=84208 CPUtime=3.09 cores=1,3,5,7
/proc/17986/stat : 17986 (wbo1.7) S 17984 17986 16852 0 -1 4202496 4427 0 0 0 308 1 0 0 20 0 2 0 274881878 86228992 4370 33554432000 4194304 5963574 140734815712128 140734815711648 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17986/statm: 21052 4370 197 432 0 20617 0
[pid=17986/tid=17987] ppid=17984 vsize=84208 CPUtime=3.08 cores=1,3,5,7
/proc/17986/task/17987/stat : 17987 (wbo1.7) R 17984 17986 16852 0 -1 4202560 3629 0 0 0 307 1 0 0 20 0 2 0 274881878 86228992 4370 33554432000 4194304 5963574 140734815712128 140651361101624 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 84208
[startup+6.30026 s]
/proc/loadavg: 1.98 1.55 1.65 3/179 17988
/proc/meminfo: memFree=27162172/32873844 swapFree=6088/6088
[pid=17986] ppid=17984 vsize=84476 CPUtime=6.29 cores=1,3,5,7
/proc/17986/stat : 17986 (wbo1.7) S 17984 17986 16852 0 -1 4202496 6942 0 0 0 627 2 0 0 20 0 2 0 274881878 86503424 6885 33554432000 4194304 5963574 140734815712128 140734815711648 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17986/statm: 21119 6885 197 432 0 20684 0
[pid=17986/tid=17987] ppid=17984 vsize=84476 CPUtime=6.28 cores=1,3,5,7
/proc/17986/task/17987/stat : 17987 (wbo1.7) R 17984 17986 16852 0 -1 4202560 6144 0 0 0 626 2 0 0 20 0 2 0 274881878 86503424 6885 33554432000 4194304 5963574 140734815712128 140651361101624 5135572 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 84476
[startup+12.7003 s]
/proc/loadavg: 1.98 1.56 1.65 3/179 17988
/proc/meminfo: memFree=27136040/32873844 swapFree=6088/6088
[pid=17986] ppid=17984 vsize=84620 CPUtime=12.69 cores=1,3,5,7
/proc/17986/stat : 17986 (wbo1.7) S 17984 17986 16852 0 -1 4202496 9772 0 0 0 1267 2 0 0 20 0 2 0 274881878 86650880 9715 33554432000 4194304 5963574 140734815712128 140734815711648 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17986/statm: 21155 9715 197 432 0 20720 0
[pid=17986/tid=17987] ppid=17984 vsize=84620 CPUtime=12.69 cores=1,3,5,7
/proc/17986/task/17987/stat : 17987 (wbo1.7) R 17984 17986 16852 0 -1 4202560 8974 0 0 0 1266 3 0 0 20 0 2 0 274881878 86650880 9715 33554432000 4194304 5963574 140734815712128 140651361101816 4381238 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 84620
[startup+25.5003 s]
/proc/loadavg: 1.98 1.57 1.65 3/179 17988
/proc/meminfo: memFree=27107188/32873844 swapFree=6088/6088
[pid=17986] ppid=17984 vsize=85004 CPUtime=25.49 cores=1,3,5,7
/proc/17986/stat : 17986 (wbo1.7) S 17984 17986 16852 0 -1 4202496 13661 0 0 0 2546 3 0 0 20 0 2 0 274881878 87044096 13604 33554432000 4194304 5963574 140734815712128 140734815711648 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17986/statm: 21251 13604 197 432 0 20816 0
[pid=17986/tid=17987] ppid=17984 vsize=85004 CPUtime=25.49 cores=1,3,5,7
/proc/17986/task/17987/stat : 17987 (wbo1.7) R 17984 17986 16852 0 -1 4202560 12863 0 0 0 2545 4 0 0 20 0 2 0 274881878 87044096 13604 33554432000 4194304 5963574 140734815712128 140651361101336 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 85004
[startup+51.1003 s]
/proc/loadavg: 1.99 1.61 1.66 3/178 17988
/proc/meminfo: memFree=27065128/32873844 swapFree=6088/6088
[pid=17986] ppid=17984 vsize=151548 CPUtime=51.08 cores=1,3,5,7
/proc/17986/stat : 17986 (wbo1.7) S 17984 17986 16852 0 -1 4202496 19064 0 0 0 5102 6 0 0 20 0 2 0 274881878 155185152 19007 33554432000 4194304 5963574 140734815712128 140734815711648 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17986/statm: 37887 19007 197 432 0 37452 0
[pid=17986/tid=17987] ppid=17984 vsize=151548 CPUtime=51.08 cores=1,3,5,7
/proc/17986/task/17987/stat : 17987 (wbo1.7) R 17984 17986 16852 0 -1 4202560 18266 0 0 0 5101 7 0 0 20 0 2 0 274881878 155185152 19007 33554432000 4194304 5963574 140734815712128 140651361101624 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 151548
[startup+102.307 s]
/proc/loadavg: 2.03 1.69 1.68 3/180 17992
/proc/meminfo: memFree=26963424/32873844 swapFree=6088/6088
[pid=17986] ppid=17984 vsize=153996 CPUtime=102.25 cores=1,3,5,7
/proc/17986/stat : 17986 (wbo1.7) S 17984 17986 16852 0 -1 4202496 32221 0 0 0 10212 13 0 0 20 0 2 0 274881878 157691904 32339 33554432000 4194304 5963574 140734815712128 140734815711648 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17986/statm: 38499 32339 197 432 0 38064 0
[pid=17986/tid=17987] ppid=17984 vsize=153996 CPUtime=102.26 cores=1,3,5,7
/proc/17986/task/17987/stat : 17987 (wbo1.7) R 17984 17986 16852 0 -1 4202560 31423 0 0 0 10211 15 0 0 20 0 2 0 274881878 157691904 32339 33554432000 4194304 5963574 140734815712128 140651361101624 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 153996
Solver just ended. Dumping a history of the last processes samples
[startup+115.1 s]
/proc/loadavg: 2.03 1.70 1.69 3/180 17992
/proc/meminfo: memFree=26952364/32873844 swapFree=6088/6088
[pid=17986] ppid=17984 vsize=155112 CPUtime=115.03 cores=1,3,5,7
/proc/17986/stat : 17986 (wbo1.7) S 17984 17986 16852 0 -1 4202496 33821 0 0 0 11489 14 0 0 20 0 2 0 274881878 158834688 34726 33554432000 4194304 5963574 140734815712128 140734815711648 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17986/statm: 38778 34726 197 432 0 38343 0
[pid=17986/tid=17987] ppid=17984 vsize=155112 CPUtime=115.04 cores=1,3,5,7
/proc/17986/task/17987/stat : 17987 (wbo1.7) R 17984 17986 16852 0 -1 4202560 33023 0 0 0 11488 16 0 0 20 0 2 0 274881878 158834688 34726 33554432000 4194304 5963574 140734815712128 140651361101816 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 115.03
Current children cumulated vsize (KiB) 155112
[startup+121.5 s]
/proc/loadavg: 2.02 1.70 1.69 3/180 17992
/proc/meminfo: memFree=26944056/32873844 swapFree=6088/6088
[pid=17986] ppid=17984 vsize=220648 CPUtime=121.43 cores=1,3,5,7
/proc/17986/stat : 17986 (wbo1.7) S 17984 17986 16852 0 -1 4202496 34455 0 0 0 12128 15 0 0 20 0 2 0 274881878 225943552 35360 33554432000 4194304 5963574 140734815712128 140734815711648 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17986/statm: 55162 35360 197 432 0 54727 0
[pid=17986/tid=17987] ppid=17984 vsize=220648 CPUtime=121.44 cores=1,3,5,7
/proc/17986/task/17987/stat : 17987 (wbo1.7) R 17984 17986 16852 0 -1 4202560 33657 0 0 0 12127 17 0 0 20 0 2 0 274881878 225943552 35360 33554432000 4194304 5963574 140734815712128 140651361101624 4402906 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 121.43
Current children cumulated vsize (KiB) 220648
[startup+124.7 s]
/proc/loadavg: 2.02 1.70 1.69 3/180 17992
/proc/meminfo: memFree=26939096/32873844 swapFree=6088/6088
[pid=17986] ppid=17984 vsize=221224 CPUtime=124.63 cores=1,3,5,7
/proc/17986/stat : 17986 (wbo1.7) S 17984 17986 16852 0 -1 4202496 34615 0 0 0 12448 15 0 0 20 0 2 0 274881878 226533376 35520 33554432000 4194304 5963574 140734815712128 140734815711648 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17986/statm: 55306 35520 197 432 0 54871 0
[pid=17986/tid=17987] ppid=17984 vsize=221224 CPUtime=124.64 cores=1,3,5,7
/proc/17986/task/17987/stat : 17987 (wbo1.7) R 17984 17986 16852 0 -1 4202560 33817 0 0 0 12447 17 0 0 20 0 2 0 274881878 226533376 35520 33554432000 4194304 5963574 140734815712128 140651361101624 4399605 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 124.63
Current children cumulated vsize (KiB) 221224
[startup+126.3 s]
/proc/loadavg: 2.02 1.70 1.69 3/180 17992
/proc/meminfo: memFree=26937608/32873844 swapFree=6088/6088
[pid=17986] ppid=17984 vsize=221584 CPUtime=126.23 cores=1,3,5,7
/proc/17986/stat : 17986 (wbo1.7) S 17984 17986 16852 0 -1 4202496 34692 0 0 0 12608 15 0 0 20 0 2 0 274881878 226902016 35597 33554432000 4194304 5963574 140734815712128 140734815711648 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17986/statm: 55396 35597 197 432 0 54961 0
[pid=17986/tid=17987] ppid=17984 vsize=221584 CPUtime=126.24 cores=1,3,5,7
/proc/17986/task/17987/stat : 17987 (wbo1.7) R 17984 17986 16852 0 -1 4202560 33894 0 0 0 12607 17 0 0 20 0 2 0 274881878 226902016 35597 33554432000 4194304 5963574 140734815712128 140651361101624 4222464 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 126.23
Current children cumulated vsize (KiB) 221584
[startup+127.1 s]
/proc/loadavg: 2.02 1.71 1.69 3/180 17992
/proc/meminfo: memFree=26936740/32873844 swapFree=6088/6088
[pid=17986] ppid=17984 vsize=221584 CPUtime=127.03 cores=1,3,5,7
/proc/17986/stat : 17986 (wbo1.7) S 17984 17986 16852 0 -1 4202496 34694 0 0 0 12688 15 0 0 20 0 2 0 274881878 226902016 35599 33554432000 4194304 5963574 140734815712128 140734815711648 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17986/statm: 55396 35599 197 432 0 54961 0
[pid=17986/tid=17987] ppid=17984 vsize=221584 CPUtime=127.04 cores=1,3,5,7
/proc/17986/task/17987/stat : 17987 (wbo1.7) R 17984 17986 16852 0 -1 4202560 33896 0 0 0 12687 17 0 0 20 0 2 0 274881878 226902016 35599 33554432000 4194304 5963574 140734815712128 140651361101624 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 127.03
Current children cumulated vsize (KiB) 221584
[startup+127.9 s]
/proc/loadavg: 2.02 1.71 1.69 3/180 17992
/proc/meminfo: memFree=26935500/32873844 swapFree=6088/6088
[pid=17986] ppid=17984 vsize=221584 CPUtime=127.83 cores=1,3,5,7
/proc/17986/stat : 17986 (wbo1.7) S 17984 17986 16852 0 -1 4202496 34695 0 0 0 12768 15 0 0 20 0 2 0 274881878 226902016 35600 33554432000 4194304 5963574 140734815712128 140734815711648 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17986/statm: 55396 35600 197 432 0 54961 0
[pid=17986/tid=17987] ppid=17984 vsize=221584 CPUtime=127.84 cores=1,3,5,7
/proc/17986/task/17987/stat : 17987 (wbo1.7) R 17984 17986 16852 0 -1 4202560 33897 0 0 0 12767 17 0 0 20 0 2 0 274881878 226902016 35600 33554432000 4194304 5963574 140734815712128 140651361101624 4482124 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 127.83
Current children cumulated vsize (KiB) 221584
[startup+128.1 s]
/proc/loadavg: 2.02 1.71 1.69 3/180 17992
/proc/meminfo: memFree=26935500/32873844 swapFree=6088/6088
[pid=17986] ppid=17984 vsize=221584 CPUtime=128.03 cores=1,3,5,7
/proc/17986/stat : 17986 (wbo1.7) S 17984 17986 16852 0 -1 4202496 34695 0 0 0 12788 15 0 0 20 0 2 0 274881878 226902016 35600 33554432000 4194304 5963574 140734815712128 140734815711648 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17986/statm: 55396 35600 197 432 0 54961 0
[pid=17986/tid=17987] ppid=17984 vsize=221584 CPUtime=128.04 cores=1,3,5,7
/proc/17986/task/17987/stat : 17987 (wbo1.7) R 17984 17986 16852 0 -1 4202560 33897 0 0 0 12787 17 0 0 20 0 2 0 274881878 226902016 35600 33554432000 4194304 5963574 140734815712128 140651361102360 5121391 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 128.03
Current children cumulated vsize (KiB) 221584
Child status: 255
Real time (s): 128.174
CPU time (s): 128.129
CPU user time (s): 127.944
CPU system time (s): 0.184971
CPU usage (%): 99.9646
Max. virtual memory (cumulated for all children) (KiB): 221584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 127.944
system time used= 0.184971
maximum resident set size= 142400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34696
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= 47
involuntary context switches= 149
runsolver used 0.270958 second user time and 0.694894 second system time
The end