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-3737469-1339248662/watcher-3737469-1339248662 -o /tmp/evaluation-result-3737469-1339248662/solver-3737469-1339248662 -C 1800 -W 1900 -M 15500 run HOME/instance-3737469-1339248662.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: 6.85 7.06 5.64 3/184 11700
/proc/meminfo: memFree=29529340/32873648 swapFree=7376/7376
[pid=11700] ppid=11698 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11700/stat : 11700 (run) S 11698 11700 10692 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390993482 9367552 270 33554432000 4194304 5064252 140735528284144 140735528283056 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11700/statm: 2287 270 229 213 0 72 0
[startup+0.0178579 s]
/proc/loadavg: 6.85 7.06 5.64 3/184 11700
/proc/meminfo: memFree=29529340/32873648 swapFree=7376/7376
[pid=11700] ppid=11698 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11700/stat : 11700 (run) S 11698 11700 10692 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390993482 9367552 270 33554432000 4194304 5064252 140735528284144 140735528283056 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11700/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100208 s]
/proc/loadavg: 6.85 7.06 5.64 3/184 11700
/proc/meminfo: memFree=29529340/32873648 swapFree=7376/7376
[pid=11700] ppid=11698 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11700/stat : 11700 (run) S 11698 11700 10692 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390993482 9367552 270 33554432000 4194304 5064252 140735528284144 140735528283056 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11700/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300198 s]
/proc/loadavg: 6.85 7.06 5.64 3/184 11700
/proc/meminfo: memFree=29529340/32873648 swapFree=7376/7376
[pid=11700] ppid=11698 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11700/stat : 11700 (run) S 11698 11700 10692 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390993482 9367552 270 33554432000 4194304 5064252 140735528284144 140735528283056 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11700/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700179 s]
/proc/loadavg: 6.85 7.06 5.64 3/184 11700
/proc/meminfo: memFree=29529340/32873648 swapFree=7376/7376
[pid=11700] ppid=11698 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11700/stat : 11700 (run) S 11698 11700 10692 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390993482 9367552 270 33554432000 4194304 5064252 140735528284144 140735528283056 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11700/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50021 s]
/proc/loadavg: 6.85 7.06 5.64 6/186 11702
/proc/meminfo: memFree=29517320/32873648 swapFree=7376/7376
[pid=11700] ppid=11698 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11700/stat : 11700 (run) S 11698 11700 10692 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390993482 9367552 270 33554432000 4194304 5064252 140735528284144 140735528283056 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11700/statm: 2287 270 229 213 0 72 0
[pid=11701] ppid=11700 vsize=31408 CPUtime=1.48 cores=1,3,5,7
/proc/11701/stat : 11701 (pb_cplex) R 11700 11700 10692 0 -1 4202496 4734 0 0 0 148 0 0 0 20 0 1 0 390993482 32161792 3857 33554432000 134512640 146736320 4294240736 4294235328 136018919 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/11701/statm: 7852 3857 795 2985 0 4786 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 40556
[startup+3.10022 s]
/proc/loadavg: 7.02 7.10 5.66 9/186 11702
/proc/meminfo: memFree=29516676/32873648 swapFree=7376/7376
[pid=11700] ppid=11698 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11700/stat : 11700 (run) S 11698 11700 10692 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390993482 9367552 270 33554432000 4194304 5064252 140735528284144 140735528283056 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11700/statm: 2287 270 229 213 0 72 0
[pid=11701] ppid=11700 vsize=39948 CPUtime=3.09 cores=1,3,5,7
/proc/11701/stat : 11701 (pb_cplex) R 11700 11700 10692 0 -1 4202496 7034 0 0 0 308 1 0 0 20 0 1 0 390993482 40906752 5337 33554432000 134512640 146736320 4294240736 4294234936 136015716 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/11701/statm: 9987 5337 887 2985 0 6921 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 49096
[startup+6.30022 s]
/proc/loadavg: 7.02 7.10 5.66 10/186 11702
/proc/meminfo: memFree=29497884/32873648 swapFree=7376/7376
[pid=11700] ppid=11698 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11700/stat : 11700 (run) S 11698 11700 10692 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390993482 9367552 270 33554432000 4194304 5064252 140735528284144 140735528283056 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11700/statm: 2287 270 229 213 0 72 0
[pid=11701] ppid=11700 vsize=43064 CPUtime=6.29 cores=1,3,5,7
/proc/11701/stat : 11701 (pb_cplex) R 11700 11700 10692 0 -1 4202496 11528 0 0 0 627 2 0 0 20 0 1 0 390993482 44097536 6767 33554432000 134512640 146736320 4294240736 4294235216 136403117 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/11701/statm: 10766 6767 896 2985 0 7700 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 52212
[startup+12.7002 s]
/proc/loadavg: 7.18 7.13 5.68 9/185 11702
/proc/meminfo: memFree=29498924/32873648 swapFree=7376/7376
[pid=11700] ppid=11698 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11700/stat : 11700 (run) S 11698 11700 10692 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390993482 9367552 270 33554432000 4194304 5064252 140735528284144 140735528283056 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11700/statm: 2287 270 229 213 0 72 0
[pid=11701] ppid=11700 vsize=34880 CPUtime=12.68 cores=1,3,5,7
/proc/11701/stat : 11701 (pb_cplex) R 11700 11700 10692 0 -1 4202496 12081 0 0 0 1266 2 0 0 20 0 1 0 390993482 35717120 5183 33554432000 134512640 146736320 4294240736 4294234824 136000412 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/11701/statm: 8720 5183 905 2985 0 5654 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 44028
[startup+25.5004 s]
/proc/loadavg: 6.84 7.06 5.68 10/193 11731
/proc/meminfo: memFree=29456104/32873648 swapFree=7376/7376
[pid=11700] ppid=11698 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11700/stat : 11700 (run) S 11698 11700 10692 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390993482 9367552 270 33554432000 4194304 5064252 140735528284144 140735528283056 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11700/statm: 2287 270 229 213 0 72 0
[pid=11701] ppid=11700 vsize=154720 CPUtime=27.95 cores=1,3,5,7
/proc/11701/stat : 11701 (pb_cplex) R 11700 11700 10692 0 -1 4202496 35934 0 0 0 2776 19 0 0 20 0 8 0 390993482 158433280 14255 33554432000 134512640 146736320 4294240736 4294233560 136007021 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11701/statm: 38680 14255 965 2985 0 35614 0
[pid=11701/tid=11725] ppid=11700 vsize=154720 CPUtime=0 cores=1,3,5,7
/proc/11701/task/11725/stat : 11725 (pb_cplex) S 11700 11700 10692 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 8 0 390995310 158433280 14255 33554432000 134512640 146736320 4294240736 4060081808 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11701/tid=11726] ppid=11700 vsize=154720 CPUtime=0 cores=1,3,5,7
/proc/11701/task/11726/stat : 11726 (pb_cplex) S 11700 11700 10692 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 8 0 390995310 158433280 14255 33554432000 134512640 146736320 4294240736 4121947792 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11701/tid=11727] ppid=11700 vsize=154720 CPUtime=0 cores=1,3,5,7
/proc/11701/task/11727/stat : 11727 (pb_cplex) S 11700 11700 10692 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 8 0 390995310 158433280 14255 33554432000 134512640 146736320 4294240736 4132433552 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11701/tid=11728] ppid=11700 vsize=154720 CPUtime=0 cores=1,3,5,7
/proc/11701/task/11728/stat : 11728 (pb_cplex) S 11700 11700 10692 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 8 0 390995310 158433280 14255 33554432000 134512640 146736320 4294240736 4111048336 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11701/tid=11729] ppid=11700 vsize=154720 CPUtime=0 cores=1,3,5,7
/proc/11701/task/11729/stat : 11729 (pb_cplex) S 11700 11700 10692 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 8 0 390995310 158433280 14255 33554432000 134512640 146736320 4294240736 4099903120 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11701/tid=11730] ppid=11700 vsize=154720 CPUtime=0 cores=1,3,5,7
/proc/11701/task/11730/stat : 11730 (pb_cplex) S 11700 11700 10692 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 8 0 390995310 158433280 14255 33554432000 134512640 146736320 4294240736 4089417360 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11701/tid=11731] ppid=11700 vsize=154720 CPUtime=0 cores=1,3,5,7
/proc/11701/task/11731/stat : 11731 (pb_cplex) S 11700 11700 10692 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 8 0 390995310 158433280 14255 33554432000 134512640 146736320 4294240736 4049596048 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 27.95
Current children cumulated vsize (KiB) 163868
[startup+51.1004 s]
/proc/loadavg: 6.76 7.03 5.71 8/193 11738
/proc/meminfo: memFree=29447944/32873648 swapFree=7376/7376
[pid=11700] ppid=11698 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11700/stat : 11700 (run) S 11698 11700 10692 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390993482 9367552 270 33554432000 4194304 5064252 140735528284144 140735528283056 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11700/statm: 2287 270 229 213 0 72 0
[pid=11701] ppid=11700 vsize=154448 CPUtime=53.54 cores=1,3,5,7
/proc/11701/stat : 11701 (pb_cplex) R 11700 11700 10692 0 -1 4202496 36247 0 0 0 5335 19 0 0 20 0 8 0 390993482 158154752 14254 33554432000 134512640 146736320 4294240736 4294234000 136403112 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11701/statm: 38612 14254 970 2985 0 35546 0
[pid=11701/tid=11725] ppid=11700 vsize=154448 CPUtime=0 cores=1,3,5,7
/proc/11701/task/11725/stat : 11725 (pb_cplex) S 11700 11700 10692 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 8 0 390995310 158154752 14254 33554432000 134512640 146736320 4294240736 4060081808 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11701/tid=11726] ppid=11700 vsize=154448 CPUtime=0 cores=1,3,5,7
/proc/11701/task/11726/stat : 11726 (pb_cplex) S 11700 11700 10692 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 8 0 390995310 158154752 14254 33554432000 134512640 146736320 4294240736 4121947792 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11701/tid=11727] ppid=11700 vsize=154448 CPUtime=0 cores=1,3,5,7
/proc/11701/task/11727/stat : 11727 (pb_cplex) S 11700 11700 10692 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 8 0 390995310 158154752 14254 33554432000 134512640 146736320 4294240736 4132433552 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11701/tid=11728] ppid=11700 vsize=154448 CPUtime=0 cores=1,3,5,7
/proc/11701/task/11728/stat : 11728 (pb_cplex) S 11700 11700 10692 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 8 0 390995310 158154752 14254 33554432000 134512640 146736320 4294240736 4111048336 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11701/tid=11729] ppid=11700 vsize=154448 CPUtime=0 cores=1,3,5,7
/proc/11701/task/11729/stat : 11729 (pb_cplex) S 11700 11700 10692 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 8 0 390995310 158154752 14254 33554432000 134512640 146736320 4294240736 4099903120 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11701/tid=11730] ppid=11700 vsize=154448 CPUtime=0 cores=1,3,5,7
/proc/11701/task/11730/stat : 11730 (pb_cplex) S 11700 11700 10692 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 8 0 390995310 158154752 14254 33554432000 134512640 146736320 4294240736 4089417360 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11701/tid=11731] ppid=11700 vsize=154448 CPUtime=0 cores=1,3,5,7
/proc/11701/task/11731/stat : 11731 (pb_cplex) S 11700 11700 10692 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 8 0 390995310 158154752 14254 33554432000 134512640 146736320 4294240736 4049596048 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 53.54
Current children cumulated vsize (KiB) 163596
[startup+102.307 s]
/proc/loadavg: 10.59 8.01 6.11 11/193 11745
/proc/meminfo: memFree=29378880/32873648 swapFree=7376/7376
[pid=11700] ppid=11698 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11700/stat : 11700 (run) S 11698 11700 10692 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390993482 9367552 270 33554432000 4194304 5064252 140735528284144 140735528283056 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11700/statm: 2287 270 229 213 0 72 0
[pid=11701] ppid=11700 vsize=207660 CPUtime=223.95 cores=1,3,5,7
/proc/11701/stat : 11701 (pb_cplex) R 11700 11700 10692 0 -1 4202496 86574 0 0 0 22355 40 0 0 20 0 8 0 390993482 212643840 27102 33554432000 134512640 146736320 4294240736 4294233224 135525914 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11701/statm: 51915 27102 970 2985 0 48849 0
[pid=11701/tid=11725] ppid=11700 vsize=207660 CPUtime=21.3 cores=1,3,5,7
/proc/11701/task/11725/stat : 11725 (pb_cplex) R 11700 11700 10692 0 -1 4202560 7588 0 0 0 2127 3 0 0 20 0 8 0 390995310 212643840 27102 33554432000 134512640 146736320 4294240736 4060078536 135999699 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=11701/tid=11726] ppid=11700 vsize=207660 CPUtime=26.71 cores=1,3,5,7
/proc/11701/task/11726/stat : 11726 (pb_cplex) R 11700 11700 10692 0 -1 4202560 24343 0 0 0 2665 6 0 0 20 0 8 0 390995310 212643840 27102 33554432000 134512640 146736320 4294240736 4121943068 135855174 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=11701/tid=11727] ppid=11700 vsize=207660 CPUtime=16.23 cores=1,3,5,7
/proc/11701/task/11727/stat : 11727 (pb_cplex) R 11700 11700 10692 0 -1 4202560 4719 0 0 0 1622 1 0 0 20 0 8 0 390995310 212643840 27102 33554432000 134512640 146736320 4294240736 4132430416 136403117 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=11701/tid=11728] ppid=11700 vsize=207660 CPUtime=13.96 cores=1,3,5,7
/proc/11701/task/11728/stat : 11728 (pb_cplex) R 11700 11700 10692 0 -1 4202560 2614 0 0 0 1395 1 0 0 20 0 8 0 390995310 212643840 27102 33554432000 134512640 146736320 4294240736 4111044816 136008178 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=11701/tid=11729] ppid=11700 vsize=207660 CPUtime=18.59 cores=1,3,5,7
/proc/11701/task/11729/stat : 11729 (pb_cplex) R 11700 11700 10692 0 -1 4202560 3152 0 0 0 1858 1 0 0 20 0 8 0 390995310 212643840 27102 33554432000 134512640 146736320 4294240736 4099899448 136475822 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=11701/tid=11730] ppid=11700 vsize=207660 CPUtime=20.14 cores=1,3,5,7
/proc/11701/task/11730/stat : 11730 (pb_cplex) R 11700 11700 10692 0 -1 4202560 4289 0 0 0 2013 1 0 0 20 0 8 0 390995310 212643840 27102 33554432000 134512640 146736320 4294240736 4089413700 136385184 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=11701/tid=11731] ppid=11700 vsize=207660 CPUtime=19.05 cores=1,3,5,7
/proc/11701/task/11731/stat : 11731 (pb_cplex) R 11700 11700 10692 0 -1 4202560 2385 0 0 0 1904 1 0 0 20 0 8 0 390995310 212643840 27102 33554432000 134512640 146736320 4294240736 4049592388 136385177 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 223.95
Current children cumulated vsize (KiB) 216808
############
# WARNING:
# current cumulated CPU time (388.44 s) is less than in the last sample (389.17 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (0.730042 s) to the 'lost time'.
[startup+149.3 s]
/proc/loadavg: 11.21 8.55 6.39 3/193 11745
/proc/meminfo: memFree=29372532/32873648 swapFree=7376/7376
################
# More data... #
################
[pid=11701/tid=11772] ppid=11700 vsize=290572 CPUtime=42.39 cores=1,3,5,7
/proc/11701/task/11772/stat : 11772 (pb_cplex) S 11700 11700 10692 0 -1 4202560 13385 0 0 0 4234 5 0 0 20 0 8 0 391014193 297545728 47512 33554432000 134512640 146736320 4294240736 4008681104 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11701/tid=11773] ppid=11700 vsize=290572 CPUtime=38.13 cores=1,3,5,7
/proc/11701/task/11773/stat : 11773 (pb_cplex) S 11700 11700 10692 0 -1 4202560 14312 0 0 0 3809 4 0 0 20 0 8 0 391014193 297545728 47512 33554432000 134512640 146736320 4294240736 3998195344 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11701/tid=11774] ppid=11700 vsize=290572 CPUtime=43.43 cores=1,3,5,7
/proc/11701/task/11774/stat : 11774 (pb_cplex) S 11700 11700 10692 0 -1 4202560 15220 0 0 0 4338 5 0 0 20 0 8 0 391014193 297545728 47512 33554432000 134512640 146736320 4294240736 3987709584 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 984.26
Current children cumulated vsize (KiB) 299720
[startup+462.3 s]
/proc/loadavg: 13.56 10.42 7.66 12/193 11775
/proc/meminfo: memFree=29231952/32873648 swapFree=7376/7376
[pid=11700] ppid=11698 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11700/stat : 11700 (run) S 11698 11700 10692 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390993482 9367552 270 33554432000 4194304 5064252 140735528284144 140735528283056 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11700/statm: 2287 270 229 213 0 72 0
[pid=11701] ppid=11700 vsize=308612 CPUtime=1213.63 cores=1,3,5,7
/proc/11701/stat : 11701 (pb_cplex) R 11700 11700 10692 0 -1 4202496 394631 0 0 0 121210 153 0 0 20 0 8 0 390993482 316018688 50249 33554432000 134512640 146736320 4294240736 4294233500 135855165 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11701/statm: 77153 50249 981 2985 0 74087 0
[pid=11701/tid=11768] ppid=11700 vsize=308612 CPUtime=96.51 cores=1,3,5,7
/proc/11701/task/11768/stat : 11768 (pb_cplex) R 11700 11700 10692 0 -1 4202560 32929 0 0 0 9640 11 0 0 20 0 8 0 391014193 316018688 50249 33554432000 134512640 146736320 4294240736 4129120464 136008450 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=11701/tid=11769] ppid=11700 vsize=308612 CPUtime=106.51 cores=1,3,5,7
/proc/11701/task/11769/stat : 11769 (pb_cplex) R 11700 11700 10692 0 -1 4202560 25105 0 0 0 10643 8 0 0 20 0 8 0 391014193 316018688 50249 33554432000 134512640 146736320 4294240736 4139605020 135855127 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=11701/tid=11770] ppid=11700 vsize=308612 CPUtime=89.87 cores=1,3,5,7
/proc/11701/task/11770/stat : 11770 (pb_cplex) R 11700 11700 10692 0 -1 4202560 17550 0 0 0 8980 7 0 0 20 0 8 0 391014193 316018688 50249 33554432000 134512640 146736320 4294240736 4150090744 136475773 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=11701/tid=11771] ppid=11700 vsize=308612 CPUtime=74.15 cores=1,3,5,7
/proc/11701/task/11771/stat : 11771 (pb_cplex) R 11700 11700 10692 0 -1 4202560 18475 0 0 0 7407 8 0 0 20 0 8 0 391014193 316018688 50249 33554432000 134512640 146736320 4294240736 4111044700 135855170 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=11701/tid=11772] ppid=11700 vsize=308612 CPUtime=70.36 cores=1,3,5,7
/proc/11701/task/11772/stat : 11772 (pb_cplex) R 11700 11700 10692 0 -1 4202560 30399 0 0 0 7026 10 0 0 20 0 8 0 391014193 316018688 50249 33554432000 134512640 146736320 4294240736 4008677432 136475827 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=11701/tid=11773] ppid=11700 vsize=308612 CPUtime=65.63 cores=1,3,5,7
/proc/11701/task/11773/stat : 11773 (pb_cplex) R 11700 11700 10692 0 -1 4202560 17105 0 0 0 6558 5 0 0 20 0 8 0 391014193 316018688 50249 33554432000 134512640 146736320 4294240736 3998192072 136001929 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=11701/tid=11774] ppid=11700 vsize=308612 CPUtime=71.62 cores=1,3,5,7
/proc/11701/task/11774/stat : 11774 (pb_cplex) R 11700 11700 10692 0 -1 4202560 31496 0 0 0 7154 8 0 0 20 0 8 0 391014193 316018688 50249 33554432000 134512640 146736320 4294240736 3987705748 136017526 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1213.63
Current children cumulated vsize (KiB) 317760
[startup+522.3 s]
/proc/loadavg: 11.80 10.54 7.87 3/186 11825
/proc/meminfo: memFree=29339928/32873648 swapFree=7376/7376
[pid=11700] ppid=11698 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11700/stat : 11700 (run) S 11698 11700 10692 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390993482 9367552 270 33554432000 4194304 5064252 140735528284144 140735528283056 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11700/statm: 2287 270 229 213 0 72 0
[pid=11701] ppid=11700 vsize=308100 CPUtime=1441.1 cores=1,3,5,7
/proc/11701/stat : 11701 (pb_cplex) R 11700 11700 10692 0 -1 4202496 438988 0 0 0 143941 169 0 0 20 0 8 0 390993482 315494400 50285 33554432000 134512640 146736320 4294240736 4294233864 136001974 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11701/statm: 77025 50285 981 2985 0 73959 0
[pid=11701/tid=11768] ppid=11700 vsize=308100 CPUtime=119.19 cores=1,3,5,7
/proc/11701/task/11768/stat : 11768 (pb_cplex) S 11700 11700 10692 0 -1 4202560 47613 0 0 0 11904 15 0 0 20 0 8 0 391014193 315494400 50285 33554432000 134512640 146736320 4294240736 4129123984 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11701/tid=11769] ppid=11700 vsize=308100 CPUtime=138.39 cores=1,3,5,7
/proc/11701/task/11769/stat : 11769 (pb_cplex) S 11700 11700 10692 0 -1 4202560 30612 0 0 0 13828 11 0 0 20 0 8 0 391014193 315494400 50285 33554432000 134512640 146736320 4294240736 4139609744 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11701/tid=11770] ppid=11700 vsize=308100 CPUtime=118.95 cores=1,3,5,7
/proc/11701/task/11770/stat : 11770 (pb_cplex) S 11700 11700 10692 0 -1 4202560 17554 0 0 0 11887 8 0 0 20 0 8 0 391014193 315494400 50285 33554432000 134512640 146736320 4294240736 4150095504 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11701/tid=11771] ppid=11700 vsize=308100 CPUtime=105.94 cores=1,3,5,7
/proc/11701/task/11771/stat : 11771 (pb_cplex) S 11700 11700 10692 0 -1 4202560 20347 0 0 0 10584 10 0 0 20 0 8 0 391014193 315494400 50285 33554432000 134512640 146736320 4294240736 4111048336 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11701/tid=11772] ppid=11700 vsize=308100 CPUtime=96.14 cores=1,3,5,7
/proc/11701/task/11772/stat : 11772 (pb_cplex) S 11700 11700 10692 0 -1 4202560 36362 0 0 0 9603 11 0 0 20 0 8 0 391014193 315494400 50285 33554432000 134512640 146736320 4294240736 4008681104 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11701/tid=11773] ppid=11700 vsize=308100 CPUtime=91.98 cores=1,3,5,7
/proc/11701/task/11773/stat : 11773 (pb_cplex) S 11700 11700 10692 0 -1 4202560 19775 0 0 0 9189 9 0 0 20 0 8 0 391014193 315494400 50285 33554432000 134512640 146736320 4294240736 3998195344 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11701/tid=11774] ppid=11700 vsize=308100 CPUtime=95.84 cores=1,3,5,7
/proc/11701/task/11774/stat : 11774 (pb_cplex) S 11700 11700 10692 0 -1 4202560 43052 0 0 0 9572 12 0 0 20 0 8 0 391014193 315494400 50285 33554432000 134512640 146736320 4294240736 3987709584 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1441.1
Current children cumulated vsize (KiB) 317248
[startup+582.3 s]
/proc/loadavg: 8.49 9.83 7.79 3/187 11828
/proc/meminfo: memFree=29324076/32873648 swapFree=7376/7376
[pid=11700] ppid=11698 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11700/stat : 11700 (run) S 11698 11700 10692 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390993482 9367552 270 33554432000 4194304 5064252 140735528284144 140735528283056 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11700/statm: 2287 270 229 213 0 72 0
[pid=11701] ppid=11700 vsize=308352 CPUtime=1622.78 cores=1,3,5,7
/proc/11701/stat : 11701 (pb_cplex) R 11700 11700 10692 0 -1 4202496 456902 0 0 0 162097 181 0 0 20 0 8 0 390993482 315752448 50358 33554432000 134512640 146736320 4294240736 4294233616 136008061 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11701/statm: 77088 50358 981 2985 0 74022 0
[pid=11701/tid=11768] ppid=11700 vsize=308352 CPUtime=136.64 cores=1,3,5,7
/proc/11701/task/11768/stat : 11768 (pb_cplex) S 11700 11700 10692 0 -1 4202560 53789 0 0 0 13646 18 0 0 20 0 8 0 391014193 315752448 50358 33554432000 134512640 146736320 4294240736 4129123984 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11701/tid=11769] ppid=11700 vsize=308352 CPUtime=165.39 cores=1,3,5,7
/proc/11701/task/11769/stat : 11769 (pb_cplex) S 11700 11700 10692 0 -1 4202560 31715 0 0 0 16527 12 0 0 20 0 8 0 391014193 315752448 50358 33554432000 134512640 146736320 4294240736 4139609744 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11701/tid=11770] ppid=11700 vsize=308352 CPUtime=139.21 cores=1,3,5,7
/proc/11701/task/11770/stat : 11770 (pb_cplex) S 11700 11700 10692 0 -1 4202560 17554 0 0 0 13912 9 0 0 20 0 8 0 391014193 315752448 50358 33554432000 134512640 146736320 4294240736 4150095504 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11701/tid=11771] ppid=11700 vsize=308352 CPUtime=124.83 cores=1,3,5,7
/proc/11701/task/11771/stat : 11771 (pb_cplex) S 11700 11700 10692 0 -1 4202560 20347 0 0 0 12472 11 0 0 20 0 8 0 391014193 315752448 50358 33554432000 134512640 146736320 4294240736 4111048336 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11701/tid=11772] ppid=11700 vsize=308352 CPUtime=115.2 cores=1,3,5,7
/proc/11701/task/11772/stat : 11772 (pb_cplex) S 11700 11700 10692 0 -1 4202560 40721 0 0 0 11507 13 0 0 20 0 8 0 391014193 315752448 50358 33554432000 134512640 146736320 4294240736 4008681104 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11701/tid=11773] ppid=11700 vsize=308352 CPUtime=110.9 cores=1,3,5,7
/proc/11701/task/11773/stat : 11773 (pb_cplex) S 11700 11700 10692 0 -1 4202560 19829 0 0 0 11080 10 0 0 20 0 8 0 391014193 315752448 50358 33554432000 134512640 146736320 4294240736 3998195344 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11701/tid=11774] ppid=11700 vsize=308352 CPUtime=114.05 cores=1,3,5,7
/proc/11701/task/11774/stat : 11774 (pb_cplex) S 11700 11700 10692 0 -1 4202560 48278 0 0 0 11391 14 0 0 20 0 8 0 391014193 315752448 50358 33554432000 134512640 146736320 4294240736 3987709584 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1622.78
Current children cumulated vsize (KiB) 317500
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+635.9 s]
/proc/loadavg: 7.70 9.38 7.76 10/186 11829
/proc/meminfo: memFree=29329996/32873648 swapFree=7376/7376
[pid=11700] ppid=11698 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11700/stat : 11700 (run) S 11698 11700 10692 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390993482 9367552 270 33554432000 4194304 5064252 140735528284144 140735528283056 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11700/statm: 2287 270 229 213 0 72 0
[pid=11701] ppid=11700 vsize=311256 CPUtime=1799.35 cores=1,3,5,7
/proc/11701/stat : 11701 (pb_cplex) R 11700 11700 10692 0 -1 4202496 599498 0 0 0 179716 219 0 0 20 0 8 0 390993482 318726144 51486 33554432000 134512640 146736320 4294240736 4294233280 136400560 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11701/statm: 77814 51486 981 2985 0 74748 0
[pid=11701/tid=11768] ppid=11700 vsize=311256 CPUtime=166.44 cores=1,3,5,7
/proc/11701/task/11768/stat : 11768 (pb_cplex) R 11700 11700 10692 0 -1 4202560 79150 0 0 0 16620 24 0 0 20 0 8 0 391014193 318726144 51486 33554432000 134512640 146736320 4294240736 4129120712 136000487 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=11701/tid=11769] ppid=11700 vsize=311256 CPUtime=183.89 cores=1,3,5,7
/proc/11701/task/11769/stat : 11769 (pb_cplex) R 11700 11700 10692 0 -1 4202560 41467 0 0 0 18374 15 0 0 20 0 8 0 391014193 318726144 51486 33554432000 134512640 146736320 4294240736 4139606224 136008226 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=11701/tid=11770] ppid=11700 vsize=311256 CPUtime=157.82 cores=1,3,5,7
/proc/11701/task/11770/stat : 11770 (pb_cplex) R 11700 11700 10692 0 -1 4202560 35307 0 0 0 15768 14 0 0 20 0 8 0 391014193 318726144 51486 33554432000 134512640 146736320 4294240736 4150091984 136008455 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=11701/tid=11771] ppid=11700 vsize=311256 CPUtime=142.86 cores=1,3,5,7
/proc/11701/task/11771/stat : 11771 (pb_cplex) R 11700 11700 10692 0 -1 4202560 36668 0 0 0 14270 16 0 0 20 0 8 0 391014193 318726144 51486 33554432000 134512640 146736320 4294240736 4111044884 136003486 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=11701/tid=11772] ppid=11700 vsize=311256 CPUtime=137.03 cores=1,3,5,7
/proc/11701/task/11772/stat : 11772 (pb_cplex) R 11700 11700 10692 0 -1 4202560 51992 0 0 0 13685 18 0 0 20 0 8 0 391014193 318726144 51486 33554432000 134512640 146736320 4294240736 4008677424 136384846 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=11701/tid=11773] ppid=11700 vsize=311256 CPUtime=131.8 cores=1,3,5,7
/proc/11701/task/11773/stat : 11773 (pb_cplex) R 11700 11700 10692 0 -1 4202560 33325 0 0 0 13164 16 0 0 20 0 8 0 391014193 318726144 51486 33554432000 134512640 146736320 4294240736 3998192704 137059757 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=11701/tid=11774] ppid=11700 vsize=311256 CPUtime=132.34 cores=1,3,5,7
/proc/11701/task/11774/stat : 11774 (pb_cplex) R 11700 11700 10692 0 -1 4202560 91521 0 0 0 13208 26 0 0 20 0 8 0 391014193 318726144 51486 33554432000 134512640 146736320 4294240736 3987705924 136385170 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.35
Current children cumulated vsize (KiB) 320404
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+635.9 s]
/proc/loadavg: 7.70 9.38 7.76 10/186 11829
/proc/meminfo: memFree=29329996/32873648 swapFree=7376/7376
[pid=11700] ppid=11698 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11700/stat : 11700 (run) S 11698 11700 10692 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390993482 9367552 270 33554432000 4194304 5064252 140735528284144 140735528283056 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11700/statm: 2287 270 229 213 0 72 0
[pid=11701] ppid=11700 vsize=311256 CPUtime=1799.35 cores=1,3,5,7
/proc/11701/stat : 11701 (pb_cplex) R 11700 11700 10692 0 -1 4202496 599498 0 0 0 179716 219 0 0 20 0 8 0 390993482 318726144 51486 33554432000 134512640 146736320 4294240736 4294233280 136400560 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11701/statm: 77814 51486 981 2985 0 74748 0
[pid=11701/tid=11768] ppid=11700 vsize=311256 CPUtime=166.44 cores=1,3,5,7
/proc/11701/task/11768/stat : 11768 (pb_cplex) R 11700 11700 10692 0 -1 4202560 79150 0 0 0 16620 24 0 0 20 0 8 0 391014193 318726144 51486 33554432000 134512640 146736320 4294240736 4129120712 136000487 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=11701/tid=11769] ppid=11700 vsize=311256 CPUtime=183.89 cores=1,3,5,7
/proc/11701/task/11769/stat : 11769 (pb_cplex) R 11700 11700 10692 0 -1 4202560 41467 0 0 0 18374 15 0 0 20 0 8 0 391014193 318726144 51486 33554432000 134512640 146736320 4294240736 4139606224 136008226 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=11701/tid=11770] ppid=11700 vsize=311256 CPUtime=157.82 cores=1,3,5,7
/proc/11701/task/11770/stat : 11770 (pb_cplex) R 11700 11700 10692 0 -1 4202560 35307 0 0 0 15768 14 0 0 20 0 8 0 391014193 318726144 51486 33554432000 134512640 146736320 4294240736 4150091984 136008455 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=11701/tid=11771] ppid=11700 vsize=311256 CPUtime=142.86 cores=1,3,5,7
/proc/11701/task/11771/stat : 11771 (pb_cplex) R 11700 11700 10692 0 -1 4202560 36668 0 0 0 14270 16 0 0 20 0 8 0 391014193 318726144 51486 33554432000 134512640 146736320 4294240736 4111044884 136003486 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=11701/tid=11772] ppid=11700 vsize=311256 CPUtime=137.03 cores=1,3,5,7
/proc/11701/task/11772/stat : 11772 (pb_cplex) R 11700 11700 10692 0 -1 4202560 51992 0 0 0 13685 18 0 0 20 0 8 0 391014193 318726144 51486 33554432000 134512640 146736320 4294240736 4008677424 136384846 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=11701/tid=11773] ppid=11700 vsize=311256 CPUtime=131.8 cores=1,3,5,7
/proc/11701/task/11773/stat : 11773 (pb_cplex) R 11700 11700 10692 0 -1 4202560 33325 0 0 0 13164 16 0 0 20 0 8 0 391014193 318726144 51486 33554432000 134512640 146736320 4294240736 3998192704 137059757 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=11701/tid=11774] ppid=11700 vsize=311256 CPUtime=132.34 cores=1,3,5,7
/proc/11701/task/11774/stat : 11774 (pb_cplex) R 11700 11700 10692 0 -1 4202560 91521 0 0 0 13208 26 0 0 20 0 8 0 391014193 318726144 51486 33554432000 134512640 146736320 4294240736 3987705924 136385170 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.35
Current children cumulated vsize (KiB) 320404
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 11700 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=0
# CPU time returned by wait4() is 0
# while last known CPU time is 1799.35
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 0.730042
# lost CPU user time (s): 0.77002
# lost CPU system time (s): -0.04
Real time (s): 635.917
CPU time (s): 1800.08
CPU user time (s): 1797.93
CPU system time (s): 2.15
CPU usage (%): 283.069
Max. virtual memory (cumulated for all children) (KiB): 344276
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0
maximum resident set size= 1080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 355
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= 2
involuntary context switches= 2
runsolver used 1.64375 second user time and 4.18336 second system time
The end