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-3705237-1338100507/watcher-3705237-1338100507 -o /tmp/evaluation-result-3705237-1338100507/solver-3705237-1338100507 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705237-1338100507.opb
running on 4 cores: 0,2,4,6
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 2.00 2.00 3/177 23058
/proc/meminfo: memFree=29085496/32873844 swapFree=6856/6856
[pid=23058] ppid=23056 vsize=83584 CPUtime=0 cores=0,2,4,6
/proc/23058/stat : 23058 (wbo1.7) S 23056 23058 21940 0 -1 4202496 770 0 0 0 0 0 0 0 20 0 2 0 276175605 85590016 713 33554432000 4194304 5963574 140735932269696 140735932269216 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23058/statm: 20896 713 190 432 0 20461 0
[pid=23058/tid=23059] ppid=23056 vsize=83584 CPUtime=0 cores=0,2,4,6
/proc/23058/task/23059/stat : 23059 (wbo1.7) R 23056 23058 21940 0 -1 4202560 60 0 0 0 0 0 0 0 20 0 2 0 276175606 85590016 713 33554432000 4194304 5963574 140735932269696 140736266758600 4387216 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[startup+0.0593719 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23058
/proc/meminfo: memFree=29085496/32873844 swapFree=6856/6856
[pid=23058] ppid=23056 vsize=83584 CPUtime=0.05 cores=0,2,4,6
/proc/23058/stat : 23058 (wbo1.7) S 23056 23058 21940 0 -1 4202496 988 0 0 0 5 0 0 0 20 0 2 0 276175605 85590016 931 33554432000 4194304 5963574 140735932269696 140735932269216 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23058/statm: 20896 931 192 432 0 20461 0
[pid=23058/tid=23059] ppid=23056 vsize=83584 CPUtime=0.04 cores=0,2,4,6
/proc/23058/task/23059/stat : 23059 (wbo1.7) R 23056 23058 21940 0 -1 4202560 278 0 0 0 4 0 0 0 20 0 2 0 276175606 85590016 931 33554432000 4194304 5963574 140735932269696 140736266758600 5135572 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 83584
[startup+0.100284 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23058
/proc/meminfo: memFree=29085496/32873844 swapFree=6856/6856
[pid=23058] ppid=23056 vsize=83584 CPUtime=0.09 cores=0,2,4,6
/proc/23058/stat : 23058 (wbo1.7) S 23056 23058 21940 0 -1 4202496 1094 0 0 0 9 0 0 0 20 0 2 0 276175605 85590016 1037 33554432000 4194304 5963574 140735932269696 140735932269216 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23058/statm: 20896 1037 192 432 0 20461 0
[pid=23058/tid=23059] ppid=23056 vsize=83584 CPUtime=0.08 cores=0,2,4,6
/proc/23058/task/23059/stat : 23059 (wbo1.7) R 23056 23058 21940 0 -1 4202560 384 0 0 0 8 0 0 0 20 0 2 0 276175606 85590016 1037 33554432000 4194304 5963574 140735932269696 140736266758600 4388305 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 83584
[startup+0.300255 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23058
/proc/meminfo: memFree=29085496/32873844 swapFree=6856/6856
[pid=23058] ppid=23056 vsize=83584 CPUtime=0.29 cores=0,2,4,6
/proc/23058/stat : 23058 (wbo1.7) S 23056 23058 21940 0 -1 4202496 1545 0 0 0 29 0 0 0 20 0 2 0 276175605 85590016 1488 33554432000 4194304 5963574 140735932269696 140735932269216 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23058/statm: 20896 1488 192 432 0 20461 0
[pid=23058/tid=23059] ppid=23056 vsize=83584 CPUtime=0.28 cores=0,2,4,6
/proc/23058/task/23059/stat : 23059 (wbo1.7) R 23056 23058 21940 0 -1 4202560 835 0 0 0 28 0 0 0 20 0 2 0 276175606 85590016 1488 33554432000 4194304 5963574 140735932269696 140736266758600 4399651 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 83584
[startup+0.700257 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23058
/proc/meminfo: memFree=29085496/32873844 swapFree=6856/6856
[pid=23058] ppid=23056 vsize=83584 CPUtime=0.69 cores=0,2,4,6
/proc/23058/stat : 23058 (wbo1.7) S 23056 23058 21940 0 -1 4202496 2010 0 0 0 69 0 0 0 20 0 2 0 276175605 85590016 1953 33554432000 4194304 5963574 140735932269696 140735932269216 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23058/statm: 20896 1953 192 432 0 20461 0
[pid=23058/tid=23059] ppid=23056 vsize=83584 CPUtime=0.68 cores=0,2,4,6
/proc/23058/task/23059/stat : 23059 (wbo1.7) R 23056 23058 21940 0 -1 4202560 1300 0 0 0 68 0 0 0 20 0 2 0 276175606 85590016 1953 33554432000 4194304 5963574 140735932269696 139944556570952 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 83584
[startup+1.50025 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23060
/proc/meminfo: memFree=29078520/32873844 swapFree=6856/6856
[pid=23058] ppid=23056 vsize=83584 CPUtime=1.49 cores=0,2,4,6
/proc/23058/stat : 23058 (wbo1.7) S 23056 23058 21940 0 -1 4202496 2512 0 0 0 149 0 0 0 20 0 2 0 276175605 85590016 2455 33554432000 4194304 5963574 140735932269696 140735932269216 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23058/statm: 20896 2455 192 432 0 20461 0
[pid=23058/tid=23059] ppid=23056 vsize=83584 CPUtime=1.48 cores=0,2,4,6
/proc/23058/task/23059/stat : 23059 (wbo1.7) R 23056 23058 21940 0 -1 4202560 1802 0 0 0 148 0 0 0 20 0 2 0 276175606 85590016 2455 33554432000 4194304 5963574 140735932269696 139944556570952 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 83584
[startup+3.10026 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23060
/proc/meminfo: memFree=29075048/32873844 swapFree=6856/6856
[pid=23058] ppid=23056 vsize=83728 CPUtime=3.09 cores=0,2,4,6
/proc/23058/stat : 23058 (wbo1.7) S 23056 23058 21940 0 -1 4202496 3320 0 0 0 309 0 0 0 20 0 2 0 276175605 85737472 3263 33554432000 4194304 5963574 140735932269696 140735932269216 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23058/statm: 20932 3263 192 432 0 20497 0
[pid=23058/tid=23059] ppid=23056 vsize=83728 CPUtime=3.08 cores=0,2,4,6
/proc/23058/task/23059/stat : 23059 (wbo1.7) R 23056 23058 21940 0 -1 4202560 2610 0 0 0 308 0 0 0 20 0 2 0 276175606 85737472 3263 33554432000 4194304 5963574 140735932269696 139944556570424 4399623 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 83728
[startup+6.30026 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23060
/proc/meminfo: memFree=29068352/32873844 swapFree=6856/6856
[pid=23058] ppid=23056 vsize=83800 CPUtime=6.29 cores=0,2,4,6
/proc/23058/stat : 23058 (wbo1.7) S 23056 23058 21940 0 -1 4202496 5219 0 0 0 628 1 0 0 20 0 2 0 276175605 85811200 5162 33554432000 4194304 5963574 140735932269696 140735932269216 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23058/statm: 20950 5162 192 432 0 20515 0
[pid=23058/tid=23059] ppid=23056 vsize=83800 CPUtime=6.28 cores=0,2,4,6
/proc/23058/task/23059/stat : 23059 (wbo1.7) R 23056 23058 21940 0 -1 4202560 4509 0 0 0 627 1 0 0 20 0 2 0 276175606 85811200 5162 33554432000 4194304 5963574 140735932269696 139944556570616 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 83800
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23060
/proc/meminfo: memFree=29053140/32873844 swapFree=6856/6856
[pid=23058] ppid=23056 vsize=84556 CPUtime=12.69 cores=0,2,4,6
/proc/23058/stat : 23058 (wbo1.7) S 23056 23058 21940 0 -1 4202496 8274 0 0 0 1267 2 0 0 20 0 2 0 276175605 86585344 8217 33554432000 4194304 5963574 140735932269696 140735932269216 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23058/statm: 21139 8217 192 432 0 20704 0
[pid=23058/tid=23059] ppid=23056 vsize=84556 CPUtime=12.69 cores=0,2,4,6
/proc/23058/task/23059/stat : 23059 (wbo1.7) R 23056 23058 21940 0 -1 4202560 7564 0 0 0 1266 3 0 0 20 0 2 0 276175606 86585344 8217 33554432000 4194304 5963574 140735932269696 139944556570424 4399592 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 84556
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23060
/proc/meminfo: memFree=29038384/32873844 swapFree=6856/6856
[pid=23058] ppid=23056 vsize=87308 CPUtime=25.49 cores=0,2,4,6
/proc/23058/stat : 23058 (wbo1.7) S 23056 23058 21940 0 -1 4202496 11942 0 0 0 2546 3 0 0 20 0 2 0 276175605 89403392 11885 33554432000 4194304 5963574 140735932269696 140735932269216 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23058/statm: 21827 11885 192 432 0 21392 0
[pid=23058/tid=23059] ppid=23056 vsize=87308 CPUtime=25.49 cores=0,2,4,6
/proc/23058/task/23059/stat : 23059 (wbo1.7) R 23056 23058 21940 0 -1 4202560 11232 0 0 0 2545 4 0 0 20 0 2 0 276175606 89403392 11885 33554432000 4194304 5963574 140735932269696 139944556570424 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 87308
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23060
/proc/meminfo: memFree=29006888/32873844 swapFree=6856/6856
[pid=23058] ppid=23056 vsize=157764 CPUtime=51.08 cores=0,2,4,6
/proc/23058/stat : 23058 (wbo1.7) S 23056 23058 21940 0 -1 4202496 19922 0 0 0 5102 6 0 0 20 0 2 0 276175605 161550336 19860 33554432000 4194304 5963574 140735932269696 140735932269216 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23058/statm: 39441 19860 192 432 0 39006 0
[pid=23058/tid=23059] ppid=23056 vsize=157764 CPUtime=51.08 cores=0,2,4,6
/proc/23058/task/23059/stat : 23059 (wbo1.7) R 23056 23058 21940 0 -1 4202560 19212 0 0 0 5101 7 0 0 20 0 2 0 276175606 161550336 19860 33554432000 4194304 5963574 140735932269696 139944556570424 4399522 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 157764
Solver just ended. Dumping a history of the last processes samples
[startup+76.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23099
/proc/meminfo: memFree=29154864/32873844 swapFree=6856/6856
[pid=23058] ppid=23056 vsize=160212 CPUtime=76.67 cores=0,2,4,6
/proc/23058/stat : 23058 (wbo1.7) S 23056 23058 21940 0 -1 4202496 25766 0 0 0 7659 8 0 0 20 0 2 0 276175605 164057088 25741 33554432000 4194304 5963574 140735932269696 140735932269216 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23058/statm: 40053 25741 192 432 0 39618 0
[pid=23058/tid=23059] ppid=23056 vsize=160212 CPUtime=76.68 cores=0,2,4,6
/proc/23058/task/23059/stat : 23059 (wbo1.7) R 23056 23058 21940 0 -1 4202560 25056 0 0 0 7658 10 0 0 20 0 2 0 276175606 164057088 25741 33554432000 4194304 5963574 140735932269696 139944556570424 4387845 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 76.67
Current children cumulated vsize (KiB) 160212
[startup+83.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23099
/proc/meminfo: memFree=29121748/32873844 swapFree=6856/6856
[pid=23058] ppid=23056 vsize=160932 CPUtime=83.07 cores=0,2,4,6
/proc/23058/stat : 23058 (wbo1.7) S 23056 23058 21940 0 -1 4202496 27488 0 0 0 8298 9 0 0 20 0 2 0 276175605 164794368 27483 33554432000 4194304 5963574 140735932269696 140735932269216 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23058/statm: 40233 27483 192 432 0 39798 0
[pid=23058/tid=23059] ppid=23056 vsize=160932 CPUtime=83.07 cores=0,2,4,6
/proc/23058/task/23059/stat : 23059 (wbo1.7) R 23056 23058 21940 0 -1 4202560 26778 0 0 0 8296 11 0 0 20 0 2 0 276175606 164794368 27483 33554432000 4194304 5963574 140735932269696 139944556570664 4388512 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 83.07
Current children cumulated vsize (KiB) 160932
[startup+89.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23099
/proc/meminfo: memFree=29094840/32873844 swapFree=6856/6856
[pid=23058] ppid=23056 vsize=161808 CPUtime=89.46 cores=0,2,4,6
/proc/23058/stat : 23058 (wbo1.7) S 23056 23058 21940 0 -1 4202496 31034 0 0 0 8936 10 0 0 20 0 2 0 276175605 165691392 31029 33554432000 4194304 5963574 140735932269696 140735932269216 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23058/statm: 40452 31029 192 432 0 40017 0
[pid=23058/tid=23059] ppid=23056 vsize=161808 CPUtime=89.47 cores=0,2,4,6
/proc/23058/task/23059/stat : 23059 (wbo1.7) R 23056 23058 21940 0 -1 4202560 30324 0 0 0 8935 12 0 0 20 0 2 0 276175606 165691392 31029 33554432000 4194304 5963574 140735932269696 139944556570616 4399623 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 89.46
Current children cumulated vsize (KiB) 161808
[startup+92.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23099
/proc/meminfo: memFree=29080316/32873844 swapFree=6856/6856
[pid=23058] ppid=23056 vsize=162240 CPUtime=92.66 cores=0,2,4,6
/proc/23058/stat : 23058 (wbo1.7) S 23056 23058 21940 0 -1 4202496 31648 0 0 0 9255 11 0 0 20 0 2 0 276175605 166133760 31664 33554432000 4194304 5963574 140735932269696 140735932269216 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23058/statm: 40560 31664 192 432 0 40125 0
[pid=23058/tid=23059] ppid=23056 vsize=162240 CPUtime=92.67 cores=0,2,4,6
/proc/23058/task/23059/stat : 23059 (wbo1.7) R 23056 23058 21940 0 -1 4202560 30938 0 0 0 9255 12 0 0 20 0 2 0 276175606 166133760 31664 33554432000 4194304 5963574 140735932269696 139944556570424 4388683 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 92.66
Current children cumulated vsize (KiB) 162240
[startup+94.3003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23099
/proc/meminfo: memFree=29077340/32873844 swapFree=6856/6856
[pid=23058] ppid=23056 vsize=162240 CPUtime=94.26 cores=0,2,4,6
/proc/23058/stat : 23058 (wbo1.7) S 23056 23058 21940 0 -1 4202496 31650 0 0 0 9415 11 0 0 20 0 2 0 276175605 166133760 31666 33554432000 4194304 5963574 140735932269696 140735932269216 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23058/statm: 40560 31666 192 432 0 40125 0
[pid=23058/tid=23059] ppid=23056 vsize=162240 CPUtime=94.27 cores=0,2,4,6
/proc/23058/task/23059/stat : 23059 (wbo1.7) R 23056 23058 21940 0 -1 4202560 30940 0 0 0 9415 12 0 0 20 0 2 0 276175606 166133760 31666 33554432000 4194304 5963574 140735932269696 139944556570424 4480345 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 94.26
Current children cumulated vsize (KiB) 162240
[startup+95.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23099
/proc/meminfo: memFree=29073992/32873844 swapFree=6856/6856
[pid=23058] ppid=23056 vsize=162240 CPUtime=95.06 cores=0,2,4,6
/proc/23058/stat : 23058 (wbo1.7) S 23056 23058 21940 0 -1 4202496 31650 0 0 0 9495 11 0 0 20 0 2 0 276175605 166133760 31666 33554432000 4194304 5963574 140735932269696 140735932269216 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23058/statm: 40560 31666 192 432 0 40125 0
[pid=23058/tid=23059] ppid=23056 vsize=162240 CPUtime=95.07 cores=0,2,4,6
/proc/23058/task/23059/stat : 23059 (wbo1.7) R 23056 23058 21940 0 -1 4202560 30940 0 0 0 9495 12 0 0 20 0 2 0 276175606 166133760 31666 33554432000 4194304 5963574 140735932269696 139944556570424 4398212 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 95.06
Current children cumulated vsize (KiB) 162240
[startup+95.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23099
/proc/meminfo: memFree=29073992/32873844 swapFree=6856/6856
[pid=23058] ppid=23056 vsize=162240 CPUtime=95.46 cores=0,2,4,6
/proc/23058/stat : 23058 (wbo1.7) S 23056 23058 21940 0 -1 4202496 31650 0 0 0 9535 11 0 0 20 0 2 0 276175605 166133760 31666 33554432000 4194304 5963574 140735932269696 140735932269216 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23058/statm: 40560 31666 192 432 0 40125 0
[pid=23058/tid=23059] ppid=23056 vsize=162240 CPUtime=95.47 cores=0,2,4,6
/proc/23058/task/23059/stat : 23059 (wbo1.7) R 23056 23058 21940 0 -1 4202560 30940 0 0 0 9535 12 0 0 20 0 2 0 276175606 166133760 31666 33554432000 4194304 5963574 140735932269696 139944556570424 4598615 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 95.46
Current children cumulated vsize (KiB) 162240
[startup+95.6003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 23099
/proc/meminfo: memFree=29070520/32873844 swapFree=6856/6856
[pid=23058] ppid=23056 vsize=162240 CPUtime=95.57 cores=0,2,4,6
/proc/23058/stat : 23058 (wbo1.7) S 23056 23058 21940 0 -1 4202496 31650 0 0 0 9546 11 0 0 20 0 2 0 276175605 166133760 31666 33554432000 4194304 5963574 140735932269696 140735932269216 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23058/statm: 40560 31666 192 432 0 40125 0
[pid=23058/tid=23059] ppid=23056 vsize=162240 CPUtime=95.57 cores=0,2,4,6
/proc/23058/task/23059/stat : 23059 (wbo1.7) R 23056 23058 21940 0 -1 4202560 30940 0 0 0 9545 12 0 0 20 0 2 0 276175606 166133760 31666 33554432000 4194304 5963574 140735932269696 139944556570424 5121566 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 95.57
Current children cumulated vsize (KiB) 162240
Child status: 255
Real time (s): 95.6864
CPU time (s): 95.6735
CPU user time (s): 95.5275
CPU system time (s): 0.145977
CPU usage (%): 99.9865
Max. virtual memory (cumulated for all children) (KiB): 162240
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 95.5275
system time used= 0.145977
maximum resident set size= 126664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31651
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= 23
involuntary context switches= 140
runsolver used 0.32595 second user time and 0.757884 second system time
The end