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-3704661-1338079817/watcher-3704661-1338079817 -o /tmp/evaluation-result-3704661-1338079817/solver-3704661-1338079817 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3704661-1338079817.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: 2.06 2.05 2.00 3/178 14315
/proc/meminfo: memFree=31121396/32873648 swapFree=7112/7112
[pid=14315] ppid=14313 vsize=3228 CPUtime=0 cores=1,3,5,7
/proc/14315/stat : 14315 (wbo1.7) R 14313 14315 12452 0 -1 4202496 313 0 0 0 0 0 0 0 20 0 1 0 274107645 3305472 265 33554432000 4194304 5963574 140735308060000 140735388793032 5135642 0 0 4096 16387 0 0 0 17 1 0 0 0 0 0
/proc/14315/statm: 807 265 169 432 0 351 0
[startup+0.02428 s]
/proc/loadavg: 2.06 2.05 2.00 3/178 14315
/proc/meminfo: memFree=31121396/32873648 swapFree=7112/7112
[pid=14315] ppid=14313 vsize=83836 CPUtime=0.02 cores=1,3,5,7
/proc/14315/stat : 14315 (wbo1.7) S 14313 14315 12452 0 -1 4202496 946 0 0 0 2 0 0 0 20 0 2 0 274107645 85848064 877 33554432000 4194304 5963574 140735308060000 140735308059520 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/14315/statm: 20959 877 185 432 0 20524 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 83836
[startup+0.100216 s]
/proc/loadavg: 2.06 2.05 2.00 3/178 14315
/proc/meminfo: memFree=31121396/32873648 swapFree=7112/7112
[pid=14315] ppid=14313 vsize=83836 CPUtime=0.09 cores=1,3,5,7
/proc/14315/stat : 14315 (wbo1.7) S 14313 14315 12452 0 -1 4202496 1155 0 0 0 9 0 0 0 20 0 2 0 274107645 85848064 1086 33554432000 4194304 5963574 140735308060000 140735308059520 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/14315/statm: 20959 1086 185 432 0 20524 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 83836
[startup+0.300178 s]
/proc/loadavg: 2.06 2.05 2.00 3/178 14315
/proc/meminfo: memFree=31121396/32873648 swapFree=7112/7112
[pid=14315] ppid=14313 vsize=83836 CPUtime=0.29 cores=1,3,5,7
/proc/14315/stat : 14315 (wbo1.7) S 14313 14315 12452 0 -1 4202496 1535 0 0 0 29 0 0 0 20 0 2 0 274107645 85848064 1466 33554432000 4194304 5963574 140735308060000 140735308059520 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/14315/statm: 20959 1467 185 432 0 20524 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 83836
[startup+0.70018 s]
/proc/loadavg: 2.06 2.05 2.00 3/178 14315
/proc/meminfo: memFree=31121396/32873648 swapFree=7112/7112
[pid=14315] ppid=14313 vsize=83980 CPUtime=0.69 cores=1,3,5,7
/proc/14315/stat : 14315 (wbo1.7) S 14313 14315 12452 0 -1 4202496 1870 0 0 0 69 0 0 0 20 0 2 0 274107645 85995520 1801 33554432000 4194304 5963574 140735308060000 140735308059520 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/14315/statm: 20995 1801 185 432 0 20560 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 83980
[startup+1.50021 s]
/proc/loadavg: 2.06 2.05 2.00 3/180 14317
/proc/meminfo: memFree=31113188/32873648 swapFree=7112/7112
[pid=14315] ppid=14313 vsize=83980 CPUtime=1.49 cores=1,3,5,7
/proc/14315/stat : 14315 (wbo1.7) S 14313 14315 12452 0 -1 4202496 2508 0 0 0 149 0 0 0 20 0 2 0 274107645 85995520 2439 33554432000 4194304 5963574 140735308060000 140735308059520 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/14315/statm: 20995 2439 185 432 0 20560 0
[pid=14315/tid=14317] ppid=14313 vsize=83980 CPUtime=1.48 cores=1,3,5,7
/proc/14315/task/14317/stat : 14317 (wbo1.7) R 14313 14315 12452 0 -1 4202560 1719 0 0 0 148 0 0 0 20 0 2 0 274107646 85995520 2439 33554432000 4194304 5963574 140735308060000 140425611368248 5135572 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) 83980
[startup+3.10021 s]
/proc/loadavg: 2.06 2.05 2.00 3/180 14317
/proc/meminfo: memFree=31108840/32873648 swapFree=7112/7112
[pid=14315] ppid=14313 vsize=84052 CPUtime=3.09 cores=1,3,5,7
/proc/14315/stat : 14315 (wbo1.7) S 14313 14315 12452 0 -1 4202496 3480 0 0 0 309 0 0 0 20 0 2 0 274107645 86069248 3411 33554432000 4194304 5963574 140735308060000 140735308059520 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/14315/statm: 21013 3411 185 432 0 20578 0
[pid=14315/tid=14317] ppid=14313 vsize=84052 CPUtime=3.08 cores=1,3,5,7
/proc/14315/task/14317/stat : 14317 (wbo1.7) R 14313 14315 12452 0 -1 4202560 2691 0 0 0 308 0 0 0 20 0 2 0 274107646 86069248 3411 33554432000 4194304 5963574 140735308060000 140425611368488 4399968 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) 84052
[startup+6.30021 s]
/proc/loadavg: 2.06 2.05 2.00 3/180 14317
/proc/meminfo: memFree=31099856/32873648 swapFree=7112/7112
[pid=14315] ppid=14313 vsize=84160 CPUtime=6.29 cores=1,3,5,7
/proc/14315/stat : 14315 (wbo1.7) S 14313 14315 12452 0 -1 4202496 4801 0 0 0 628 1 0 0 20 0 2 0 274107645 86179840 4730 33554432000 4194304 5963574 140735308060000 140735308059520 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/14315/statm: 21040 4730 185 432 0 20605 0
[pid=14315/tid=14317] ppid=14313 vsize=84160 CPUtime=6.27 cores=1,3,5,7
/proc/14315/task/14317/stat : 14317 (wbo1.7) R 14313 14315 12452 0 -1 4202560 4012 0 0 0 627 0 0 0 20 0 2 0 274107646 86179840 4730 33554432000 4194304 5963574 140735308060000 140425611368248 4400323 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) 84160
[startup+12.7002 s]
/proc/loadavg: 2.05 2.05 2.00 3/180 14317
/proc/meminfo: memFree=31087900/32873648 swapFree=7112/7112
[pid=14315] ppid=14313 vsize=84320 CPUtime=12.68 cores=1,3,5,7
/proc/14315/stat : 14315 (wbo1.7) S 14313 14315 12452 0 -1 4202496 6552 0 0 0 1267 1 0 0 20 0 2 0 274107645 86343680 6481 33554432000 4194304 5963574 140735308060000 140735308059520 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/14315/statm: 21080 6481 185 432 0 20645 0
[pid=14315/tid=14317] ppid=14313 vsize=84320 CPUtime=12.67 cores=1,3,5,7
/proc/14315/task/14317/stat : 14317 (wbo1.7) R 14313 14315 12452 0 -1 4202560 5763 0 0 0 1265 2 0 0 20 0 2 0 274107646 86343680 6481 33554432000 4194304 5963574 140735308060000 140425611368248 4400164 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 84320
[startup+25.5002 s]
/proc/loadavg: 2.04 2.05 2.00 3/180 14317
/proc/meminfo: memFree=31066408/32873648 swapFree=7112/7112
[pid=14315] ppid=14313 vsize=84848 CPUtime=25.48 cores=1,3,5,7
/proc/14315/stat : 14315 (wbo1.7) S 14313 14315 12452 0 -1 4202496 10378 0 0 0 2545 3 0 0 20 0 2 0 274107645 86884352 10583 33554432000 4194304 5963574 140735308060000 140735308059520 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/14315/statm: 21212 10583 185 432 0 20777 0
[pid=14315/tid=14317] ppid=14313 vsize=84848 CPUtime=25.47 cores=1,3,5,7
/proc/14315/task/14317/stat : 14317 (wbo1.7) R 14313 14315 12452 0 -1 4202560 9589 0 0 0 2543 4 0 0 20 0 2 0 274107646 86884352 10583 33554432000 4194304 5963574 140735308060000 140425611368488 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 84848
[startup+51.1003 s]
/proc/loadavg: 2.09 2.06 2.00 3/179 14317
/proc/meminfo: memFree=31034108/32873648 swapFree=7112/7112
[pid=14315] ppid=14313 vsize=85928 CPUtime=51.07 cores=1,3,5,7
/proc/14315/stat : 14315 (wbo1.7) S 14313 14315 12452 0 -1 4202496 15030 0 0 0 5103 4 0 0 20 0 2 0 274107645 87990272 15235 33554432000 4194304 5963574 140735308060000 140735308059520 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/14315/statm: 21482 15235 185 432 0 21047 0
[pid=14315/tid=14317] ppid=14313 vsize=85928 CPUtime=51.07 cores=1,3,5,7
/proc/14315/task/14317/stat : 14317 (wbo1.7) R 14313 14315 12452 0 -1 4202560 14241 0 0 0 5102 5 0 0 20 0 2 0 274107646 87990272 15235 33554432000 4194304 5963574 140735308060000 140425611368488 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 85928
[startup+102.307 s]
/proc/loadavg: 2.03 2.05 2.00 3/179 14318
/proc/meminfo: memFree=30985340/32873648 swapFree=7112/7112
[pid=14315] ppid=14313 vsize=154272 CPUtime=102.27 cores=1,3,5,7
/proc/14315/stat : 14315 (wbo1.7) S 14313 14315 12452 0 -1 4202496 22135 0 0 0 10218 9 0 0 20 0 2 0 274107645 157974528 22340 33554432000 4194304 5963574 140735308060000 140735308059520 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/14315/statm: 38568 22340 185 432 0 38133 0
[pid=14315/tid=14317] ppid=14313 vsize=154272 CPUtime=102.27 cores=1,3,5,7
/proc/14315/task/14317/stat : 14317 (wbo1.7) R 14313 14315 12452 0 -1 4202560 21346 0 0 0 10216 11 0 0 20 0 2 0 274107646 157974528 22340 33554432000 4194304 5963574 140735308060000 140425611368488 4399448 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 154272
[startup+162.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/179 14318
/proc/meminfo: memFree=30917400/32873648 swapFree=7112/7112
[pid=14315] ppid=14313 vsize=156792 CPUtime=162.23 cores=1,3,5,7
/proc/14315/stat : 14315 (wbo1.7) S 14313 14315 12452 0 -1 4202496 30718 0 0 0 16209 14 0 0 20 0 2 0 274107645 160555008 31013 33554432000 4194304 5963574 140735308060000 140735308059520 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/14315/statm: 39198 31013 185 432 0 38763 0
[pid=14315/tid=14317] ppid=14313 vsize=156792 CPUtime=162.24 cores=1,3,5,7
/proc/14315/task/14317/stat : 14317 (wbo1.7) R 14313 14315 12452 0 -1 4202560 29929 0 0 0 16207 17 0 0 20 0 2 0 274107646 160555008 31013 33554432000 4194304 5963574 140735308060000 140425611368248 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 156792
Solver just ended. Dumping a history of the last processes samples
[startup+179.1 s]
/proc/loadavg: 2.01 2.03 2.00 3/179 14318
/proc/meminfo: memFree=30904720/32873648 swapFree=7112/7112
[pid=14315] ppid=14313 vsize=157152 CPUtime=179.02 cores=1,3,5,7
/proc/14315/stat : 14315 (wbo1.7) S 14313 14315 12452 0 -1 4202496 32835 0 0 0 17886 16 0 0 20 0 2 0 274107645 160923648 33157 33554432000 4194304 5963574 140735308060000 140735308059520 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/14315/statm: 39288 33157 185 432 0 38853 0
[pid=14315/tid=14317] ppid=14313 vsize=157152 CPUtime=179.03 cores=1,3,5,7
/proc/14315/task/14317/stat : 14317 (wbo1.7) R 14313 14315 12452 0 -1 4202560 32046 0 0 0 17884 19 0 0 20 0 2 0 274107646 160923648 33157 33554432000 4194304 5963574 140735308060000 140425611368248 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 179.02
Current children cumulated vsize (KiB) 157152
[startup+185.5 s]
/proc/loadavg: 2.01 2.03 2.00 3/179 14318
/proc/meminfo: memFree=30903976/32873648 swapFree=7112/7112
[pid=14315] ppid=14313 vsize=157296 CPUtime=185.42 cores=1,3,5,7
/proc/14315/stat : 14315 (wbo1.7) S 14313 14315 12452 0 -1 4202496 33259 0 0 0 18526 16 0 0 20 0 2 0 274107645 161071104 33581 33554432000 4194304 5963574 140735308060000 140735308059520 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/14315/statm: 39324 33581 185 432 0 38889 0
[pid=14315/tid=14317] ppid=14313 vsize=157296 CPUtime=185.43 cores=1,3,5,7
/proc/14315/task/14317/stat : 14317 (wbo1.7) R 14313 14315 12452 0 -1 4202560 32470 0 0 0 18524 19 0 0 20 0 2 0 274107646 161071104 33581 33554432000 4194304 5963574 140735308060000 140425611368488 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 185.42
Current children cumulated vsize (KiB) 157296
[startup+191.9 s]
/proc/loadavg: 2.01 2.03 2.00 3/179 14318
/proc/meminfo: memFree=30894420/32873648 swapFree=7112/7112
[pid=14315] ppid=14313 vsize=157440 CPUtime=191.82 cores=1,3,5,7
/proc/14315/stat : 14315 (wbo1.7) S 14313 14315 12452 0 -1 4202496 34621 0 0 0 19165 17 0 0 20 0 2 0 274107645 161218560 34942 33554432000 4194304 5963574 140735308060000 140735308059520 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/14315/statm: 39360 34942 185 432 0 38925 0
[pid=14315/tid=14317] ppid=14313 vsize=157440 CPUtime=191.82 cores=1,3,5,7
/proc/14315/task/14317/stat : 14317 (wbo1.7) R 14313 14315 12452 0 -1 4202560 33832 0 0 0 19162 20 0 0 20 0 2 0 274107646 161218560 34942 33554432000 4194304 5963574 140735308060000 140425611368488 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 191.82
Current children cumulated vsize (KiB) 157440
[startup+195.1 s]
/proc/loadavg: 2.00 2.03 2.00 3/179 14318
/proc/meminfo: memFree=30889708/32873648 swapFree=7112/7112
[pid=14315] ppid=14313 vsize=223264 CPUtime=195.01 cores=1,3,5,7
/proc/14315/stat : 14315 (wbo1.7) S 14313 14315 12452 0 -1 4202496 35264 0 0 0 19484 17 0 0 20 0 2 0 274107645 228622336 35585 33554432000 4194304 5963574 140735308060000 140735308059520 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/14315/statm: 55816 35585 185 432 0 55381 0
[pid=14315/tid=14317] ppid=14313 vsize=223264 CPUtime=195.02 cores=1,3,5,7
/proc/14315/task/14317/stat : 14317 (wbo1.7) R 14313 14315 12452 0 -1 4202560 34475 0 0 0 19482 20 0 0 20 0 2 0 274107646 228622336 35585 33554432000 4194304 5963574 140735308060000 140425611368440 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 195.01
Current children cumulated vsize (KiB) 223264
[startup+196.7 s]
/proc/loadavg: 2.00 2.03 2.00 3/179 14318
/proc/meminfo: memFree=30888344/32873648 swapFree=7112/7112
[pid=14315] ppid=14313 vsize=223336 CPUtime=196.62 cores=1,3,5,7
/proc/14315/stat : 14315 (wbo1.7) S 14313 14315 12452 0 -1 4202496 35527 0 0 0 19644 18 0 0 20 0 2 0 274107645 228696064 36353 33554432000 4194304 5963574 140735308060000 140735308059520 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/14315/statm: 55834 36353 185 432 0 55399 0
[pid=14315/tid=14317] ppid=14313 vsize=223336 CPUtime=196.62 cores=1,3,5,7
/proc/14315/task/14317/stat : 14317 (wbo1.7) R 14313 14315 12452 0 -1 4202560 34738 0 0 0 19642 20 0 0 20 0 2 0 274107646 228696064 36353 33554432000 4194304 5963574 140735308060000 140425611368488 4400032 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 196.62
Current children cumulated vsize (KiB) 223336
[startup+197.5 s]
/proc/loadavg: 2.00 2.03 2.00 3/179 14318
/proc/meminfo: memFree=30884920/32873648 swapFree=7112/7112
[pid=14315] ppid=14313 vsize=223480 CPUtime=197.42 cores=1,3,5,7
/proc/14315/stat : 14315 (wbo1.7) S 14313 14315 12452 0 -1 4202496 35673 0 0 0 19724 18 0 0 20 0 2 0 274107645 228843520 36499 33554432000 4194304 5963574 140735308060000 140735308059520 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/14315/statm: 55870 36499 185 432 0 55435 0
[pid=14315/tid=14317] ppid=14313 vsize=223480 CPUtime=197.42 cores=1,3,5,7
/proc/14315/task/14317/stat : 14317 (wbo1.7) R 14313 14315 12452 0 -1 4202560 34884 0 0 0 19721 21 0 0 20 0 2 0 274107646 228843520 36499 33554432000 4194304 5963574 140735308060000 140425611368248 4399958 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 197.42
Current children cumulated vsize (KiB) 223480
[startup+197.7 s]
/proc/loadavg: 2.00 2.03 2.00 3/179 14318
/proc/meminfo: memFree=30884920/32873648 swapFree=7112/7112
[pid=14315] ppid=14313 vsize=223480 CPUtime=197.61 cores=1,3,5,7
/proc/14315/stat : 14315 (wbo1.7) S 14313 14315 12452 0 -1 4202496 35709 0 0 0 19743 18 0 0 20 0 2 0 274107645 228843520 36535 33554432000 4194304 5963574 140735308060000 140735308059520 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/14315/statm: 55870 36535 185 432 0 55435 0
[pid=14315/tid=14317] ppid=14313 vsize=223480 CPUtime=197.62 cores=1,3,5,7
/proc/14315/task/14317/stat : 14317 (wbo1.7) R 14313 14315 12452 0 -1 4202560 34920 0 0 0 19740 22 0 0 20 0 2 0 274107646 228843520 36535 33554432000 4194304 5963574 140735308060000 140425611368248 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 197.61
Current children cumulated vsize (KiB) 223480
[startup+197.8 s]
/proc/loadavg: 2.00 2.03 2.00 3/179 14318
/proc/meminfo: memFree=30884920/32873648 swapFree=7112/7112
[pid=14315] ppid=14313 vsize=223480 CPUtime=197.71 cores=1,3,5,7
/proc/14315/stat : 14315 (wbo1.7) S 14313 14315 12452 0 -1 4202496 35724 0 0 0 19753 18 0 0 20 0 2 0 274107645 228843520 36550 33554432000 4194304 5963574 140735308060000 140735308059520 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/14315/statm: 55870 36550 185 432 0 55435 0
[pid=14315/tid=14317] ppid=14313 vsize=223480 CPUtime=197.72 cores=1,3,5,7
/proc/14315/task/14317/stat : 14317 (wbo1.7) R 14313 14315 12452 0 -1 4202560 34935 0 0 0 19750 22 0 0 20 0 2 0 274107646 228843520 36550 33554432000 4194304 5963574 140735308060000 140425611368248 4399488 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 197.71
Current children cumulated vsize (KiB) 223480
Child status: 255
Real time (s): 197.81
CPU time (s): 197.76
CPU user time (s): 197.526
CPU system time (s): 0.233964
CPU usage (%): 99.9749
Max. virtual memory (cumulated for all children) (KiB): 223480
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 197.526
system time used= 0.233964
maximum resident set size= 146216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35728
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= 56
involuntary context switches= 209
runsolver used 0.444932 second user time and 1.2838 second system time
The end