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-3500597-1307996945/watcher-3500597-1307996945 -o /tmp/evaluation-result-3500597-1307996945/solver-3500597-1307996945 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500597-1307996945.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: 3.32 3.86 3.90 4/174 12869
/proc/meminfo: memFree=28495832/32951132 swapFree=67061148/67111528
[pid=12869] ppid=12867 vsize=3180 CPUtime=0 cores=1,3,5,7
/proc/12869/stat : 12869 (pwbo1.1) R 12867 12869 10842 0 -1 4202496 528 0 0 0 0 0 0 0 23 0 1 0 911294133 3256320 480 33554432000 4194304 5714118 140734366089920 18446744073709551615 4232544 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12869/statm: 795 481 167 372 0 369 0
[startup+0.036615 s]
/proc/loadavg: 3.32 3.86 3.90 4/174 12869
/proc/meminfo: memFree=28495832/32951132 swapFree=67061148/67111528
[pid=12869] ppid=12867 vsize=137956 CPUtime=0.04 cores=1,3,5,7
/proc/12869/stat : 12869 (pwbo1.1) S 12867 12869 10842 0 -1 4202496 1788 0 0 0 4 0 0 0 23 0 3 0 911294133 141266944 1689 33554432000 4194304 5714118 140734366089920 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/12869/statm: 34489 1689 181 372 0 34114 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 137956
[startup+0.100603 s]
/proc/loadavg: 3.32 3.86 3.90 4/174 12869
/proc/meminfo: memFree=28495832/32951132 swapFree=67061148/67111528
[pid=12869] ppid=12867 vsize=137956 CPUtime=0.17 cores=1,3,5,7
/proc/12869/stat : 12869 (pwbo1.1) S 12867 12869 10842 0 -1 4202496 2014 0 0 0 17 0 0 0 23 0 3 0 911294133 141266944 1915 33554432000 4194304 5714118 140734366089920 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/12869/statm: 34489 1916 181 372 0 34114 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 137956
[startup+0.300573 s]
/proc/loadavg: 3.32 3.86 3.90 4/174 12869
/proc/meminfo: memFree=28495832/32951132 swapFree=67061148/67111528
[pid=12869] ppid=12867 vsize=137956 CPUtime=0.56 cores=1,3,5,7
/proc/12869/stat : 12869 (pwbo1.1) S 12867 12869 10842 0 -1 4202496 2570 0 0 0 55 1 0 0 23 0 3 0 911294133 141266944 2471 33554432000 4194304 5714118 140734366089920 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/12869/statm: 34489 2471 181 372 0 34114 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 137956
[startup+0.700504 s]
/proc/loadavg: 3.32 3.86 3.90 4/174 12869
/proc/meminfo: memFree=28495832/32951132 swapFree=67061148/67111528
[pid=12869] ppid=12867 vsize=137956 CPUtime=1.37 cores=1,3,5,7
/proc/12869/stat : 12869 (pwbo1.1) S 12867 12869 10842 0 -1 4202496 3479 0 0 0 134 3 0 0 23 0 3 0 911294133 141266944 3380 33554432000 4194304 5714118 140734366089920 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/12869/statm: 34489 3380 181 372 0 34114 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 137956
[startup+1.50037 s]
/proc/loadavg: 3.32 3.86 3.90 5/177 12872
/proc/meminfo: memFree=28478596/32951132 swapFree=67061148/67111528
[pid=12869] ppid=12867 vsize=138244 CPUtime=2.97 cores=1,3,5,7
/proc/12869/stat : 12869 (pwbo1.1) S 12867 12869 10842 0 -1 4202496 5502 0 0 0 290 7 0 0 23 0 3 0 911294133 141561856 5403 33554432000 4194304 5714118 140734366089920 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/12869/statm: 34561 5403 181 372 0 34186 0
[pid=12869/tid=12871] ppid=12867 vsize=138244 CPUtime=1.47 cores=1,3,5,7
/proc/12869/task/12871/stat : 12871 (pwbo1.1) R 12867 12869 10842 0 -1 4202560 2531 0 0 0 144 3 0 0 20 0 3 0 911294135 141561856 5403 33554432000 4194304 5714118 140734366089920 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=12869/tid=12872] ppid=12867 vsize=138244 CPUtime=1.47 cores=1,3,5,7
/proc/12869/task/12872/stat : 12872 (pwbo1.1) R 12867 12869 10842 0 -1 4202560 1813 0 0 0 144 3 0 0 25 0 3 0 911294135 141561856 5403 33554432000 4194304 5714118 140734366089920 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 138244
[startup+3.1011 s]
/proc/loadavg: 3.38 3.86 3.90 5/177 12872
/proc/meminfo: memFree=28470660/32951132 swapFree=67061148/67111528
[pid=12869] ppid=12867 vsize=138244 CPUtime=6.17 cores=1,3,5,7
/proc/12869/stat : 12869 (pwbo1.1) S 12867 12869 10842 0 -1 4202496 7219 0 0 0 605 12 0 0 23 0 3 0 911294133 141561856 7120 33554432000 4194304 5714118 140734366089920 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/12869/statm: 34561 7120 181 372 0 34186 0
[pid=12869/tid=12871] ppid=12867 vsize=138244 CPUtime=3.08 cores=1,3,5,7
/proc/12869/task/12871/stat : 12871 (pwbo1.1) R 12867 12869 10842 0 -1 4202560 3551 0 0 0 302 6 0 0 25 0 3 0 911294135 141561856 7120 33554432000 4194304 5714118 140734366089920 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=12869/tid=12872] ppid=12867 vsize=138244 CPUtime=3.07 cores=1,3,5,7
/proc/12869/task/12872/stat : 12872 (pwbo1.1) R 12867 12869 10842 0 -1 4202560 2510 0 0 0 301 6 0 0 25 0 3 0 911294135 141561856 7120 33554432000 4194304 5714118 140734366089920 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 138244
[startup+6.30056 s]
/proc/loadavg: 3.38 3.86 3.90 5/177 12872
/proc/meminfo: memFree=28458628/32951132 swapFree=67061148/67111528
[pid=12869] ppid=12867 vsize=138664 CPUtime=12.57 cores=1,3,5,7
/proc/12869/stat : 12869 (pwbo1.1) S 12867 12869 10842 0 -1 4202496 8205 0 0 0 1238 19 0 0 23 0 3 0 911294133 141991936 8106 33554432000 4194304 5714118 140734366089920 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/12869/statm: 34666 8106 182 372 0 34291 0
[pid=12869/tid=12871] ppid=12867 vsize=138664 CPUtime=6.27 cores=1,3,5,7
/proc/12869/task/12871/stat : 12871 (pwbo1.1) R 12867 12869 10842 0 -1 4202560 4331 0 0 0 618 9 0 0 25 0 3 0 911294135 141991936 8106 33554432000 4194304 5714118 140734366089920 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=12869/tid=12872] ppid=12867 vsize=138664 CPUtime=6.27 cores=1,3,5,7
/proc/12869/task/12872/stat : 12872 (pwbo1.1) R 12867 12869 10842 0 -1 4202560 2716 0 0 0 618 9 0 0 25 0 3 0 911294135 141991936 8106 33554432000 4194304 5714118 140734366089920 18446744073709551615 4319325 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 138664
[startup+12.7005 s]
/proc/loadavg: 3.55 3.88 3.91 5/177 12872
/proc/meminfo: memFree=28439296/32951132 swapFree=67061148/67111528
[pid=12869] ppid=12867 vsize=138936 CPUtime=25.37 cores=1,3,5,7
/proc/12869/stat : 12869 (pwbo1.1) S 12867 12869 10842 0 -1 4202496 12982 0 0 0 2491 46 0 0 23 0 3 0 911294133 142270464 12883 33554432000 4194304 5714118 140734366089920 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/12869/statm: 34734 12883 182 372 0 34359 0
[pid=12869/tid=12871] ppid=12867 vsize=138936 CPUtime=12.68 cores=1,3,5,7
/proc/12869/task/12871/stat : 12871 (pwbo1.1) R 12867 12869 10842 0 -1 4202560 7191 0 0 0 1245 23 0 0 25 0 3 0 911294135 142270464 12883 33554432000 4194304 5714118 140734366089920 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=12869/tid=12872] ppid=12867 vsize=138936 CPUtime=12.67 cores=1,3,5,7
/proc/12869/task/12872/stat : 12872 (pwbo1.1) R 12867 12869 10842 0 -1 4202560 4633 0 0 0 1245 22 0 0 25 0 3 0 911294135 142270464 12883 33554432000 4194304 5714118 140734366089920 18446744073709551615 4300144 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 138936
[startup+25.5003 s]
/proc/loadavg: 3.62 3.88 3.91 5/177 12872
/proc/meminfo: memFree=28399616/32951132 swapFree=67061148/67111528
[pid=12869] ppid=12867 vsize=139768 CPUtime=50.97 cores=1,3,5,7
/proc/12869/stat : 12869 (pwbo1.1) S 12867 12869 10842 0 -1 4202496 20052 0 0 0 5021 76 0 0 23 0 3 0 911294133 143122432 19953 33554432000 4194304 5714118 140734366089920 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/12869/statm: 34942 19953 182 372 0 34567 0
[pid=12869/tid=12871] ppid=12867 vsize=139768 CPUtime=25.48 cores=1,3,5,7
/proc/12869/task/12871/stat : 12871 (pwbo1.1) R 12867 12869 10842 0 -1 4202560 11464 0 0 0 2509 39 0 0 25 0 3 0 911294135 143122432 19953 33554432000 4194304 5714118 140734366089920 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=12869/tid=12872] ppid=12867 vsize=139768 CPUtime=25.47 cores=1,3,5,7
/proc/12869/task/12872/stat : 12872 (pwbo1.1) R 12867 12869 10842 0 -1 4202560 7430 0 0 0 2510 37 0 0 20 0 3 0 911294135 143122432 19953 33554432000 4194304 5714118 140734366089920 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 139768
[startup+51.101 s]
/proc/loadavg: 3.75 3.89 3.91 5/177 12874
/proc/meminfo: memFree=28376108/32951132 swapFree=67061148/67111528
[pid=12869] ppid=12867 vsize=140768 CPUtime=102.18 cores=1,3,5,7
/proc/12869/stat : 12869 (pwbo1.1) S 12867 12869 10842 0 -1 4202496 24570 0 0 0 10087 131 0 0 23 0 3 0 911294133 144146432 24471 33554432000 4194304 5714118 140734366089920 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/12869/statm: 35192 24471 182 372 0 34817 0
[pid=12869/tid=12871] ppid=12867 vsize=140768 CPUtime=51.08 cores=1,3,5,7
/proc/12869/task/12871/stat : 12871 (pwbo1.1) R 12867 12869 10842 0 -1 4202560 15378 0 0 0 5041 67 0 0 25 0 3 0 911294135 144146432 24471 33554432000 4194304 5714118 140734366089920 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=12869/tid=12872] ppid=12867 vsize=140768 CPUtime=51.07 cores=1,3,5,7
/proc/12869/task/12872/stat : 12872 (pwbo1.1) R 12867 12869 10842 0 -1 4202560 8034 0 0 0 5044 63 0 0 25 0 3 0 911294135 144146432 24471 33554432000 4194304 5714118 140734366089920 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 140768
[startup+102.306 s]
/proc/loadavg: 3.90 3.91 3.91 5/177 12874
/proc/meminfo: memFree=28297984/32951132 swapFree=67061148/67111528
[pid=12869] ppid=12867 vsize=207780 CPUtime=204.58 cores=1,3,5,7
/proc/12869/stat : 12869 (pwbo1.1) S 12867 12869 10842 0 -1 4202496 34380 0 0 0 20264 194 0 0 23 0 3 0 911294133 212766720 34281 33554432000 4194304 5714118 140734366089920 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/12869/statm: 51945 34281 182 372 0 51570 0
[pid=12869/tid=12871] ppid=12867 vsize=207780 CPUtime=102.28 cores=1,3,5,7
/proc/12869/task/12871/stat : 12871 (pwbo1.1) R 12867 12869 10842 0 -1 4202560 21915 0 0 0 10130 98 0 0 25 0 3 0 911294135 212766720 34281 33554432000 4194304 5714118 140734366089920 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=12869/tid=12872] ppid=12867 vsize=207780 CPUtime=102.27 cores=1,3,5,7
/proc/12869/task/12872/stat : 12872 (pwbo1.1) R 12867 12869 10842 0 -1 4202560 11307 0 0 0 10132 95 0 0 25 0 3 0 911294135 212766720 34281 33554432000 4194304 5714118 140734366089920 18446744073709551615 4319374 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.58
Current children cumulated vsize (KiB) 207780
[startup+162.3 s]
/proc/loadavg: 3.96 3.92 3.91 5/177 12876
/proc/meminfo: memFree=28248500/32951132 swapFree=67061148/67111528
[pid=12869] ppid=12867 vsize=209540 CPUtime=324.58 cores=1,3,5,7
/proc/12869/stat : 12869 (pwbo1.1) S 12867 12869 10842 0 -1 4202496 39649 0 0 0 32150 308 0 0 23 0 3 0 911294133 214568960 39502 33554432000 4194304 5714118 140734366089920 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/12869/statm: 52385 39502 182 372 0 52010 0
[pid=12869/tid=12871] ppid=12867 vsize=209540 CPUtime=162.28 cores=1,3,5,7
/proc/12869/task/12871/stat : 12871 (pwbo1.1) R 12867 12869 10842 0 -1 4202560 26622 0 0 0 16073 155 0 0 25 0 3 0 911294135 214568960 39502 33554432000 4194304 5714118 140734366089920 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=12869/tid=12872] ppid=12867 vsize=209540 CPUtime=162.27 cores=1,3,5,7
/proc/12869/task/12872/stat : 12872 (pwbo1.1) R 12867 12869 10842 0 -1 4202560 11869 0 0 0 16075 152 0 0 25 0 3 0 911294135 214568960 39502 33554432000 4194304 5714118 140734366089920 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 324.58
Current children cumulated vsize (KiB) 209540
[startup+222.301 s]
/proc/loadavg: 4.02 3.94 3.91 5/177 12878
/proc/meminfo: memFree=28194304/32951132 swapFree=67061148/67111528
[pid=12869] ppid=12867 vsize=276368 CPUtime=444.57 cores=1,3,5,7
/proc/12869/stat : 12869 (pwbo1.1) S 12867 12869 10842 0 -1 4202496 48445 0 0 0 44079 378 0 0 23 0 3 0 911294133 283000832 48298 33554432000 4194304 5714118 140734366089920 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/12869/statm: 69092 48298 182 372 0 68717 0
[pid=12869/tid=12871] ppid=12867 vsize=276368 CPUtime=222.28 cores=1,3,5,7
/proc/12869/task/12871/stat : 12871 (pwbo1.1) R 12867 12869 10842 0 -1 4202560 34234 0 0 0 22037 191 0 0 25 0 3 0 911294135 283000832 48298 33554432000 4194304 5714118 140734366089920 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=12869/tid=12872] ppid=12867 vsize=276368 CPUtime=222.28 cores=1,3,5,7
/proc/12869/task/12872/stat : 12872 (pwbo1.1) R 12867 12869 10842 0 -1 4202560 13053 0 0 0 22041 187 0 0 25 0 3 0 911294135 283000832 48298 33554432000 4194304 5714118 140734366089920 18446744073709551615 4319374 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 444.57
Current children cumulated vsize (KiB) 276368
[startup+282.301 s]
/proc/loadavg: 4.01 3.95 3.91 5/177 12880
/proc/meminfo: memFree=28135640/32951132 swapFree=67061148/67111528
[pid=12869] ppid=12867 vsize=277388 CPUtime=564.58 cores=1,3,5,7
/proc/12869/stat : 12869 (pwbo1.1) S 12867 12869 10842 0 -1 4202496 54870 0 0 0 55973 485 0 0 23 0 3 0 911294133 284045312 54723 33554432000 4194304 5714118 140734366089920 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/12869/statm: 69347 54723 182 372 0 68972 0
[pid=12869/tid=12871] ppid=12867 vsize=277388 CPUtime=282.28 cores=1,3,5,7
/proc/12869/task/12871/stat : 12871 (pwbo1.1) R 12867 12869 10842 0 -1 4202560 39625 0 0 0 27988 240 0 0 25 0 3 0 911294135 284045312 54723 33554432000 4194304 5714118 140734366089920 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=12869/tid=12872] ppid=12867 vsize=277388 CPUtime=282.27 cores=1,3,5,7
/proc/12869/task/12872/stat : 12872 (pwbo1.1) R 12867 12869 10842 0 -1 4202560 14087 0 0 0 27983 244 0 0 25 0 3 0 911294135 284045312 54723 33554432000 4194304 5714118 140734366089920 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 564.58
Current children cumulated vsize (KiB) 277388
[startup+342.301 s]
/proc/loadavg: 4.00 3.96 3.91 5/177 12882
/proc/meminfo: memFree=28082684/32951132 swapFree=67061148/67111528
[pid=12869] ppid=12867 vsize=278040 CPUtime=684.58 cores=1,3,5,7
/proc/12869/stat : 12869 (pwbo1.1) S 12867 12869 10842 0 -1 4202496 62828 0 0 0 67818 640 0 0 23 0 3 0 911294133 284712960 62681 33554432000 4194304 5714118 140734366089920 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/12869/statm: 69510 62681 182 372 0 69135 0
[pid=12869/tid=12871] ppid=12867 vsize=278040 CPUtime=342.27 cores=1,3,5,7
/proc/12869/task/12871/stat : 12871 (pwbo1.1) R 12867 12869 10842 0 -1 4202560 46116 0 0 0 33905 322 0 0 25 0 3 0 911294135 284712960 62681 33554432000 4194304 5714118 140734366089920 18446744073709551615 4319386 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=12869/tid=12872] ppid=12867 vsize=278040 CPUtime=342.28 cores=1,3,5,7
/proc/12869/task/12872/stat : 12872 (pwbo1.1) R 12867 12869 10842 0 -1 4202560 15554 0 0 0 33911 317 0 0 25 0 3 0 911294135 284712960 62681 33554432000 4194304 5714118 140734366089920 18446744073709551615 4319398 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 684.58
Current children cumulated vsize (KiB) 278040
[startup+402.301 s]
/proc/loadavg: 4.00 3.96 3.91 5/177 12882
/proc/meminfo: memFree=28030348/32951132 swapFree=67061148/67111528
[pid=12869] ppid=12867 vsize=344884 CPUtime=804.58 cores=1,3,5,7
/proc/12869/stat : 12869 (pwbo1.1) S 12867 12869 10842 0 -1 4202496 70712 0 0 0 79750 708 0 0 23 0 3 0 911294133 353161216 70173 33554432000 4194304 5714118 140734366089920 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/12869/statm: 86221 70173 182 372 0 85846 0
[pid=12869/tid=12871] ppid=12867 vsize=344884 CPUtime=402.28 cores=1,3,5,7
/proc/12869/task/12871/stat : 12871 (pwbo1.1) R 12867 12869 10842 0 -1 4202560 51837 0 0 0 39873 355 0 0 25 0 3 0 911294135 353161216 70173 33554432000 4194304 5714118 140734366089920 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=12869/tid=12872] ppid=12867 vsize=344884 CPUtime=402.28 cores=1,3,5,7
/proc/12869/task/12872/stat : 12872 (pwbo1.1) R 12867 12869 10842 0 -1 4202560 17717 0 0 0 39876 352 0 0 25 0 3 0 911294135 353161216 70173 33554432000 4194304 5714118 140734366089920 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 804.58
Current children cumulated vsize (KiB) 344884
[startup+462.301 s]
/proc/loadavg: 4.00 3.97 3.91 5/177 12884
/proc/meminfo: memFree=27993020/32951132 swapFree=67061148/67111528
[pid=12869] ppid=12867 vsize=346320 CPUtime=924.59 cores=1,3,5,7
/proc/12869/stat : 12869 (pwbo1.1) S 12867 12869 10842 0 -1 4202496 74737 0 0 0 91665 794 0 0 23 0 3 0 911294133 354631680 74189 33554432000 4194304 5714118 140734366089920 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/12869/statm: 86580 74189 182 372 0 86205 0
[pid=12869/tid=12871] ppid=12867 vsize=346320 CPUtime=462.28 cores=1,3,5,7
/proc/12869/task/12871/stat : 12871 (pwbo1.1) R 12867 12869 10842 0 -1 4202560 55628 0 0 0 45828 400 0 0 25 0 3 0 911294135 354631680 74189 33554432000 4194304 5714118 140734366089920 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=12869/tid=12872] ppid=12867 vsize=346320 CPUtime=462.28 cores=1,3,5,7
/proc/12869/task/12872/stat : 12872 (pwbo1.1) R 12867 12869 10842 0 -1 4202560 17951 0 0 0 45835 393 0 0 25 0 3 0 911294135 354631680 74189 33554432000 4194304 5714118 140734366089920 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 924.59
Current children cumulated vsize (KiB) 346320
[startup+522.301 s]
/proc/loadavg: 4.00 3.97 3.91 5/177 12886
/proc/meminfo: memFree=27962260/32951132 swapFree=67061148/67111528
[pid=12869] ppid=12867 vsize=346904 CPUtime=1044.58 cores=1,3,5,7
/proc/12869/stat : 12869 (pwbo1.1) S 12867 12869 10842 0 -1 4202496 78694 0 0 0 103607 851 0 0 23 0 3 0 911294133 355229696 77799 33554432000 4194304 5714118 140734366089920 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/12869/statm: 86726 77799 182 372 0 86351 0
[pid=12869/tid=12871] ppid=12867 vsize=346904 CPUtime=522.28 cores=1,3,5,7
/proc/12869/task/12871/stat : 12871 (pwbo1.1) R 12867 12869 10842 0 -1 4202560 59505 0 0 0 51796 432 0 0 25 0 3 0 911294135 355229696 77799 33554432000 4194304 5714118 140734366089920 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=12869/tid=12872] ppid=12867 vsize=346904 CPUtime=522.28 cores=1,3,5,7
/proc/12869/task/12872/stat : 12872 (pwbo1.1) R 12867 12869 10842 0 -1 4202560 18031 0 0 0 51809 419 0 0 25 0 3 0 911294135 355229696 77799 33554432000 4194304 5714118 140734366089920 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1044.58
Current children cumulated vsize (KiB) 346904
[startup+582.301 s]
/proc/loadavg: 4.00 3.97 3.91 5/177 12888
/proc/meminfo: memFree=27937332/32951132 swapFree=67061148/67111528
[pid=12869] ppid=12867 vsize=347760 CPUtime=1164.58 cores=1,3,5,7
/proc/12869/stat : 12869 (pwbo1.1) S 12867 12869 10842 0 -1 4202496 81342 0 0 0 115543 915 0 0 23 0 3 0 911294133 356106240 80447 33554432000 4194304 5714118 140734366089920 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/12869/statm: 86940 80447 182 372 0 86565 0
[pid=12869/tid=12871] ppid=12867 vsize=347760 CPUtime=582.28 cores=1,3,5,7
/proc/12869/task/12871/stat : 12871 (pwbo1.1) R 12867 12869 10842 0 -1 4202560 62072 0 0 0 57766 462 0 0 25 0 3 0 911294135 356106240 80447 33554432000 4194304 5714118 140734366089920 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=12869/tid=12872] ppid=12867 vsize=347760 CPUtime=582.28 cores=1,3,5,7
/proc/12869/task/12872/stat : 12872 (pwbo1.1) R 12867 12869 10842 0 -1 4202560 18112 0 0 0 57775 453 0 0 25 0 3 0 911294135 356106240 80448 33554432000 4194304 5714118 140734366089920 18446744073709551615 4319336 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1164.58
Current children cumulated vsize (KiB) 347760
[startup+642.3 s]
/proc/loadavg: 4.00 3.97 3.91 5/177 12890
/proc/meminfo: memFree=27900496/32951132 swapFree=67061148/67111528
[pid=12869] ppid=12867 vsize=414224 CPUtime=1284.6 cores=1,3,5,7
/proc/12869/stat : 12869 (pwbo1.1) S 12867 12869 10842 0 -1 4202496 88305 0 0 0 127486 974 0 0 23 0 3 0 911294133 424165376 87410 33554432000 4194304 5714118 140734366089920 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/12869/statm: 103556 87410 182 372 0 103181 0
[pid=12869/tid=12871] ppid=12867 vsize=414224 CPUtime=642.29 cores=1,3,5,7
/proc/12869/task/12871/stat : 12871 (pwbo1.1) R 12867 12869 10842 0 -1 4202560 68940 0 0 0 63733 496 0 0 25 0 3 0 911294135 424165376 87410 33554432000 4194304 5714118 140734366089920 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=12869/tid=12872] ppid=12867 vsize=414224 CPUtime=642.29 cores=1,3,5,7
/proc/12869/task/12872/stat : 12872 (pwbo1.1) R 12867 12869 10842 0 -1 4202560 18207 0 0 0 63751 478 0 0 25 0 3 0 911294135 424165376 87410 33554432000 4194304 5714118 140734366089920 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1284.6
Current children cumulated vsize (KiB) 414224
[startup+702.3 s]
/proc/loadavg: 4.00 3.97 3.91 5/177 12890
/proc/meminfo: memFree=27869124/32951132 swapFree=67061148/67111528
[pid=12869] ppid=12867 vsize=414508 CPUtime=1404.59 cores=1,3,5,7
/proc/12869/stat : 12869 (pwbo1.1) S 12867 12869 10842 0 -1 4202496 90763 0 0 0 139427 1032 0 0 23 0 3 0 911294133 424456192 89868 33554432000 4194304 5714118 140734366089920 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/12869/statm: 103627 89868 182 372 0 103252 0
[pid=12869/tid=12871] ppid=12867 vsize=414508 CPUtime=702.28 cores=1,3,5,7
/proc/12869/task/12871/stat : 12871 (pwbo1.1) R 12867 12869 10842 0 -1 4202560 71343 0 0 0 69706 522 0 0 25 0 3 0 911294135 424456192 89868 33554432000 4194304 5714118 140734366089920 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=12869/tid=12872] ppid=12867 vsize=414508 CPUtime=702.28 cores=1,3,5,7
/proc/12869/task/12872/stat : 12872 (pwbo1.1) R 12867 12869 10842 0 -1 4202560 18262 0 0 0 69719 509 0 0 25 0 3 0 911294135 424456192 89868 33554432000 4194304 5714118 140734366089920 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1404.59
Current children cumulated vsize (KiB) 414508
[startup+762.306 s]
/proc/loadavg: 4.00 3.97 3.91 5/177 12892
/proc/meminfo: memFree=27797200/32951132 swapFree=67061148/67111528
[pid=12869] ppid=12867 vsize=480352 CPUtime=1524.6 cores=1,3,5,7
/proc/12869/stat : 12869 (pwbo1.1) S 12867 12869 10842 0 -1 4202496 104128 0 0 0 151342 1118 0 0 23 0 3 0 911294133 491880448 103233 33554432000 4194304 5714118 140734366089920 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/12869/statm: 120088 103233 182 372 0 119713 0
[pid=12869/tid=12871] ppid=12867 vsize=480352 CPUtime=762.29 cores=1,3,5,7
/proc/12869/task/12871/stat : 12871 (pwbo1.1) R 12867 12869 10842 0 -1 4202560 80858 0 0 0 75663 566 0 0 25 0 3 0 911294135 491880448 103233 33554432000 4194304 5714118 140734366089920 18446744073709551615 4319249 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=12869/tid=12872] ppid=12867 vsize=480352 CPUtime=762.29 cores=1,3,5,7
/proc/12869/task/12872/stat : 12872 (pwbo1.1) R 12867 12869 10842 0 -1 4202560 22112 0 0 0 75677 552 0 0 25 0 3 0 911294135 491880448 103233 33554432000 4194304 5714118 140734366089920 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1524.6
Current children cumulated vsize (KiB) 480352
[startup+822.301 s]
/proc/loadavg: 3.93 3.94 3.91 5/177 12935
/proc/meminfo: memFree=27657212/32951132 swapFree=67061148/67111528
[pid=12869] ppid=12867 vsize=547056 CPUtime=1644.6 cores=1,3,5,7
/proc/12869/stat : 12869 (pwbo1.1) S 12867 12869 10842 0 -1 4202496 108238 0 0 0 163287 1173 0 0 23 0 3 0 911294133 560185344 106616 33554432000 4194304 5714118 140734366089920 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/12869/statm: 136764 106616 182 372 0 136389 0
[pid=12869/tid=12871] ppid=12867 vsize=547056 CPUtime=822.29 cores=1,3,5,7
/proc/12869/task/12871/stat : 12871 (pwbo1.1) R 12867 12869 10842 0 -1 4202560 83965 0 0 0 81633 596 0 0 25 0 3 0 911294135 560185344 106616 33554432000 4194304 5714118 140734366089920 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=12869/tid=12872] ppid=12867 vsize=547056 CPUtime=822.29 cores=1,3,5,7
/proc/12869/task/12872/stat : 12872 (pwbo1.1) R 12867 12869 10842 0 -1 4202560 23115 0 0 0 81652 577 0 0 25 0 3 0 911294135 560185344 106616 33554432000 4194304 5714118 140734366089920 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1644.6
Current children cumulated vsize (KiB) 547056
[startup+882.301 s]
/proc/loadavg: 3.97 3.95 3.91 5/177 12937
/proc/meminfo: memFree=27017236/32951132 swapFree=67061148/67111528
[pid=12869] ppid=12867 vsize=549372 CPUtime=1764.6 cores=1,3,5,7
/proc/12869/stat : 12869 (pwbo1.1) S 12867 12869 10842 0 -1 4202496 112298 0 0 0 175236 1224 0 0 23 0 3 0 911294133 562556928 110676 33554432000 4194304 5714118 140734366089920 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/12869/statm: 137343 110676 182 372 0 136968 0
[pid=12869/tid=12871] ppid=12867 vsize=549372 CPUtime=882.29 cores=1,3,5,7
/proc/12869/task/12871/stat : 12871 (pwbo1.1) R 12867 12869 10842 0 -1 4202560 86667 0 0 0 87607 622 0 0 25 0 3 0 911294135 562556928 110676 33554432000 4194304 5714118 140734366089920 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=12869/tid=12872] ppid=12867 vsize=549372 CPUtime=882.29 cores=1,3,5,7
/proc/12869/task/12872/stat : 12872 (pwbo1.1) R 12867 12869 10842 0 -1 4202560 24473 0 0 0 87627 602 0 0 25 0 3 0 911294135 562556928 110676 33554432000 4194304 5714118 140734366089920 18446744073709551615 4319212 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1764.6
Current children cumulated vsize (KiB) 549372
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.001 s]
/proc/loadavg: 4.05 3.97 3.91 5/177 12937
/proc/meminfo: memFree=26876620/32951132 swapFree=67061148/67111528
[pid=12869] ppid=12867 vsize=549660 CPUtime=1800.01 cores=1,3,5,7
/proc/12869/stat : 12869 (pwbo1.1) S 12867 12869 10842 0 -1 4202496 113745 0 0 0 178762 1239 0 0 23 0 3 0 911294133 562851840 112123 33554432000 4194304 5714118 140734366089920 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/12869/statm: 137415 112123 182 372 0 137040 0
[pid=12869/tid=12871] ppid=12867 vsize=549660 CPUtime=900 cores=1,3,5,7
/proc/12869/task/12871/stat : 12871 (pwbo1.1) R 12867 12869 10842 0 -1 4202560 88065 0 0 0 89370 630 0 0 25 0 3 0 911294135 562851840 112123 33554432000 4194304 5714118 140734366089920 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=12869/tid=12872] ppid=12867 vsize=549660 CPUtime=899.99 cores=1,3,5,7
/proc/12869/task/12872/stat : 12872 (pwbo1.1) R 12867 12869 10842 0 -1 4202560 24522 0 0 0 89390 609 0 0 25 0 3 0 911294135 562851840 112123 33554432000 4194304 5714118 140734366089920 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 549660
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 900.03
CPU time (s): 1800.05
CPU user time (s): 1787.63
CPU system time (s): 12.4141
CPU usage (%): 199.999
Max. virtual memory (cumulated for all children) (KiB): 549660
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1787.63
system time used= 12.4141
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 113749
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= 214
involuntary context switches= 2323
runsolver used 1.18282 second user time and 2.93555 second system time
The end