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 /var/tmp/evaluation-result-3500214-1307992304/watcher-3500214-1307992304 -o /var/tmp/evaluation-result-3500214-1307992304/solver-3500214-1307992304 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500214-1307992304.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: 4.03 3.92 3.25 3/179 31572
/proc/meminfo: memFree=4319644/32951124 swapFree=67052292/67111528
[pid=31572] ppid=31570 vsize=2740 CPUtime=0 cores=1,3,5,7
/proc/31572/stat : 31572 (pwbo1.1) R 31570 31572 30934 0 -1 4202496 443 0 0 0 0 0 0 0 25 0 1 0 910831321 2805760 396 33554432000 4194304 5714118 140736943296560 18446744073709551615 4228496 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31572/statm: 685 396 166 372 0 285 0
[startup+0.0358591 s]
/proc/loadavg: 4.03 3.92 3.25 3/179 31572
/proc/meminfo: memFree=4319644/32951124 swapFree=67052292/67111528
[pid=31572] ppid=31570 vsize=160584 CPUtime=0.05 cores=1,3,5,7
/proc/31572/stat : 31572 (pwbo1.1) S 31570 31572 30934 0 -1 4202496 6662 0 0 0 4 1 0 0 25 0 3 0 910831321 164438016 6507 33554432000 4194304 5714118 140736943296560 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31572/statm: 40146 6530 178 372 0 39771 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 160584
[startup+0.100844 s]
/proc/loadavg: 4.03 3.92 3.25 3/179 31572
/proc/meminfo: memFree=4319644/32951124 swapFree=67052292/67111528
[pid=31572] ppid=31570 vsize=201416 CPUtime=0.18 cores=1,3,5,7
/proc/31572/stat : 31572 (pwbo1.1) S 31570 31572 30934 0 -1 4202496 17834 0 0 0 14 4 0 0 25 0 3 0 910831321 206249984 17510 33554432000 4194304 5714118 140736943296560 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31572/statm: 50354 17516 178 372 0 49979 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 201416
[startup+0.300811 s]
/proc/loadavg: 4.03 3.92 3.25 3/179 31572
/proc/meminfo: memFree=4319644/32951124 swapFree=67052292/67111528
[pid=31572] ppid=31570 vsize=279012 CPUtime=0.58 cores=1,3,5,7
/proc/31572/stat : 31572 (pwbo1.1) S 31570 31572 30934 0 -1 4202496 37689 0 0 0 53 5 0 0 25 0 3 0 910831321 285708288 37335 33554432000 4194304 5714118 140736943296560 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31572/statm: 69753 37341 178 372 0 69378 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 279012
[startup+0.700742 s]
/proc/loadavg: 4.03 3.92 3.25 3/179 31572
/proc/meminfo: memFree=4319644/32951124 swapFree=67052292/67111528
[pid=31572] ppid=31570 vsize=282548 CPUtime=1.38 cores=1,3,5,7
/proc/31572/stat : 31572 (pwbo1.1) S 31570 31572 30934 0 -1 4202496 39875 0 0 0 131 7 0 0 25 0 3 0 910831321 289329152 39148 33554432000 4194304 5714118 140736943296560 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31572/statm: 70637 39148 179 372 0 70262 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 282548
[startup+1.5006 s]
/proc/loadavg: 4.03 3.92 3.25 5/182 31575
/proc/meminfo: memFree=4162928/32951124 swapFree=67052292/67111528
[pid=31572] ppid=31570 vsize=282548 CPUtime=2.98 cores=1,3,5,7
/proc/31572/stat : 31572 (pwbo1.1) S 31570 31572 30934 0 -1 4202496 40668 0 0 0 284 14 0 0 25 0 3 0 910831321 289329152 39933 33554432000 4194304 5714118 140736943296560 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31572/statm: 70637 39933 179 372 0 70262 0
[pid=31572/tid=31574] ppid=31570 vsize=282548 CPUtime=1.48 cores=1,3,5,7
/proc/31572/task/31574/stat : 31574 (pwbo1.1) R 31570 31572 30934 0 -1 4202560 2431 0 0 0 139 9 0 0 19 0 3 0 910831322 289329152 39933 33554432000 4194304 5714118 140736943296560 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=31572/tid=31575] ppid=31570 vsize=282548 CPUtime=1.48 cores=1,3,5,7
/proc/31572/task/31575/stat : 31575 (pwbo1.1) R 31570 31572 30934 0 -1 4202560 37642 0 0 0 143 5 0 0 19 0 3 0 910831322 289329152 39933 33554432000 4194304 5714118 140736943296560 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 282548
[startup+3.10032 s]
/proc/loadavg: 4.03 3.92 3.25 5/182 31575
/proc/meminfo: memFree=4157596/32951124 swapFree=67052292/67111528
[pid=31572] ppid=31570 vsize=282740 CPUtime=6.18 cores=1,3,5,7
/proc/31572/stat : 31572 (pwbo1.1) S 31570 31572 30934 0 -1 4202496 42040 0 0 0 597 21 0 0 25 0 3 0 910831321 289525760 41274 33554432000 4194304 5714118 140736943296560 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31572/statm: 70685 41274 179 372 0 70310 0
[pid=31572/tid=31574] ppid=31570 vsize=282740 CPUtime=3.08 cores=1,3,5,7
/proc/31572/task/31574/stat : 31574 (pwbo1.1) R 31570 31572 30934 0 -1 4202560 3664 0 0 0 293 15 0 0 23 0 3 0 910831322 289525760 41274 33554432000 4194304 5714118 140736943296560 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=31572/tid=31575] ppid=31570 vsize=282740 CPUtime=3.07 cores=1,3,5,7
/proc/31572/task/31575/stat : 31575 (pwbo1.1) R 31570 31572 30934 0 -1 4202560 37781 0 0 0 302 5 0 0 23 0 3 0 910831322 289525760 41277 33554432000 4194304 5714118 140736943296560 18446744073709551615 4298120 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 282740
[startup+6.30075 s]
/proc/loadavg: 4.02 3.92 3.25 5/182 31575
/proc/meminfo: memFree=4147416/32951124 swapFree=67052292/67111528
[pid=31572] ppid=31570 vsize=282740 CPUtime=12.58 cores=1,3,5,7
/proc/31572/stat : 31572 (pwbo1.1) S 31570 31572 30934 0 -1 4202496 44017 0 0 0 1227 31 0 0 25 0 3 0 910831321 289525760 43251 33554432000 4194304 5714118 140736943296560 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31572/statm: 70685 43251 180 372 0 70310 0
[pid=31572/tid=31574] ppid=31570 vsize=282740 CPUtime=6.29 cores=1,3,5,7
/proc/31572/task/31574/stat : 31574 (pwbo1.1) R 31570 31572 30934 0 -1 4202560 4912 0 0 0 606 23 0 0 25 0 3 0 910831322 289525760 43251 33554432000 4194304 5714118 140736943296560 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=31572/tid=31575] ppid=31570 vsize=282740 CPUtime=6.27 cores=1,3,5,7
/proc/31572/task/31575/stat : 31575 (pwbo1.1) R 31570 31572 30934 0 -1 4202560 38510 0 0 0 620 7 0 0 25 0 3 0 910831322 289525760 43251 33554432000 4194304 5714118 140736943296560 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 282740
[startup+12.7006 s]
/proc/loadavg: 4.02 3.92 3.25 5/182 31575
/proc/meminfo: memFree=4111424/32951124 swapFree=67052292/67111528
[pid=31572] ppid=31570 vsize=282680 CPUtime=25.38 cores=1,3,5,7
/proc/31572/stat : 31572 (pwbo1.1) S 31570 31572 30934 0 -1 4202496 47503 0 0 0 2488 50 0 0 25 0 3 0 910831321 289464320 46599 33554432000 4194304 5714118 140736943296560 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31572/statm: 70670 46599 180 372 0 70295 0
[pid=31572/tid=31574] ppid=31570 vsize=282680 CPUtime=12.68 cores=1,3,5,7
/proc/31572/task/31574/stat : 31574 (pwbo1.1) R 31570 31572 30934 0 -1 4202560 6893 0 0 0 1229 39 0 0 25 0 3 0 910831322 289464320 46599 33554432000 4194304 5714118 140736943296560 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=31572/tid=31575] ppid=31570 vsize=282680 CPUtime=12.68 cores=1,3,5,7
/proc/31572/task/31575/stat : 31575 (pwbo1.1) R 31570 31572 30934 0 -1 4202560 40015 0 0 0 1257 11 0 0 25 0 3 0 910831322 289464320 46599 33554432000 4194304 5714118 140736943296560 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 282680
[startup+25.5004 s]
/proc/loadavg: 4.08 3.94 3.27 5/182 31575
/proc/meminfo: memFree=4060364/32951124 swapFree=67052292/67111528
[pid=31572] ppid=31570 vsize=283044 CPUtime=50.97 cores=1,3,5,7
/proc/31572/stat : 31572 (pwbo1.1) S 31570 31572 30934 0 -1 4202496 50393 0 0 0 5008 89 0 0 25 0 3 0 910831321 289837056 49460 33554432000 4194304 5714118 140736943296560 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31572/statm: 70761 49460 180 372 0 70386 0
[pid=31572/tid=31574] ppid=31570 vsize=283044 CPUtime=25.48 cores=1,3,5,7
/proc/31572/task/31574/stat : 31574 (pwbo1.1) R 31570 31572 30934 0 -1 4202560 9168 0 0 0 2480 68 0 0 25 0 3 0 910831322 289837056 49460 33554432000 4194304 5714118 140736943296560 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=31572/tid=31575] ppid=31570 vsize=283044 CPUtime=25.48 cores=1,3,5,7
/proc/31572/task/31575/stat : 31575 (pwbo1.1) R 31570 31572 30934 0 -1 4202560 40630 0 0 0 2527 21 0 0 25 0 3 0 910831322 289837056 49460 33554432000 4194304 5714118 140736943296560 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 283044
[startup+51.1008 s]
/proc/loadavg: 4.06 3.95 3.29 5/182 31576
/proc/meminfo: memFree=3950604/32951124 swapFree=67052292/67111528
[pid=31572] ppid=31570 vsize=283772 CPUtime=102.18 cores=1,3,5,7
/proc/31572/stat : 31572 (pwbo1.1) S 31570 31572 30934 0 -1 4202496 56666 0 0 0 10056 162 0 0 25 0 3 0 910831321 290582528 55733 33554432000 4194304 5714118 140736943296560 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31572/statm: 70943 55733 180 372 0 70568 0
[pid=31572/tid=31574] ppid=31570 vsize=283772 CPUtime=51.08 cores=1,3,5,7
/proc/31572/task/31574/stat : 31574 (pwbo1.1) R 31570 31572 30934 0 -1 4202560 13552 0 0 0 4996 112 0 0 25 0 3 0 910831322 290582528 55733 33554432000 4194304 5714118 140736943296560 18446744073709551615 4319266 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=31572/tid=31575] ppid=31570 vsize=283772 CPUtime=51.08 cores=1,3,5,7
/proc/31572/task/31575/stat : 31575 (pwbo1.1) R 31570 31572 30934 0 -1 4202560 42519 0 0 0 5059 49 0 0 25 0 3 0 910831322 290582528 55733 33554432000 4194304 5714118 140736943296560 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 283772
[startup+102.307 s]
/proc/loadavg: 4.02 3.95 3.32 5/182 31577
/proc/meminfo: memFree=3735160/32951124 swapFree=67052292/67111528
[pid=31572] ppid=31570 vsize=417300 CPUtime=204.58 cores=1,3,5,7
/proc/31572/stat : 31572 (pwbo1.1) S 31570 31572 30934 0 -1 4202496 85160 0 0 0 20198 260 0 0 25 0 3 0 910831321 427315200 84227 33554432000 4194304 5714118 140736943296560 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31572/statm: 104325 84227 180 372 0 103950 0
[pid=31572/tid=31574] ppid=31570 vsize=417300 CPUtime=102.28 cores=1,3,5,7
/proc/31572/task/31574/stat : 31574 (pwbo1.1) R 31570 31572 30934 0 -1 4202560 26624 0 0 0 10043 185 0 0 25 0 3 0 910831322 427315200 84227 33554432000 4194304 5714118 140736943296560 18446744073709551615 4319366 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=31572/tid=31575] ppid=31570 vsize=417300 CPUtime=102.28 cores=1,3,5,7
/proc/31572/task/31575/stat : 31575 (pwbo1.1) R 31570 31572 30934 0 -1 4202560 57941 0 0 0 10154 74 0 0 25 0 3 0 910831322 427315200 84227 33554432000 4194304 5714118 140736943296560 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 204.58
Current children cumulated vsize (KiB) 417300
[startup+162.301 s]
/proc/loadavg: 4.01 3.96 3.36 5/182 31659
/proc/meminfo: memFree=3970644/32951124 swapFree=67052292/67111528
[pid=31572] ppid=31570 vsize=484072 CPUtime=324.57 cores=1,3,5,7
/proc/31572/stat : 31572 (pwbo1.1) S 31570 31572 30934 0 -1 4202496 97672 0 0 0 32127 330 0 0 25 0 3 0 910831321 495689728 96739 33554432000 4194304 5714118 140736943296560 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31572/statm: 121018 96739 180 372 0 120643 0
[pid=31572/tid=31574] ppid=31570 vsize=484072 CPUtime=162.27 cores=1,3,5,7
/proc/31572/task/31574/stat : 31574 (pwbo1.1) R 31570 31572 30934 0 -1 4202560 36376 0 0 0 15989 238 0 0 25 0 3 0 910831322 495689728 96739 33554432000 4194304 5714118 140736943296560 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=31572/tid=31575] ppid=31570 vsize=484072 CPUtime=162.27 cores=1,3,5,7
/proc/31572/task/31575/stat : 31575 (pwbo1.1) R 31570 31572 30934 0 -1 4202560 60701 0 0 0 16136 91 0 0 25 0 3 0 910831322 495689728 96739 33554432000 4194304 5714118 140736943296560 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 324.57
Current children cumulated vsize (KiB) 484072
[startup+222.301 s]
/proc/loadavg: 4.00 3.96 3.40 5/182 31661
/proc/meminfo: memFree=3851816/32951124 swapFree=67052292/67111528
[pid=31572] ppid=31570 vsize=485428 CPUtime=444.57 cores=1,3,5,7
/proc/31572/stat : 31572 (pwbo1.1) S 31570 31572 30934 0 -1 4202496 116559 0 0 0 44048 409 0 0 25 0 3 0 910831321 497078272 115626 33554432000 4194304 5714118 140736943296560 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31572/statm: 121357 115626 180 372 0 120982 0
[pid=31572/tid=31574] ppid=31570 vsize=485428 CPUtime=222.28 cores=1,3,5,7
/proc/31572/task/31574/stat : 31574 (pwbo1.1) R 31570 31572 30934 0 -1 4202560 48003 0 0 0 21926 302 0 0 25 0 3 0 910831322 497078272 115626 33554432000 4194304 5714118 140736943296560 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=31572/tid=31575] ppid=31570 vsize=485428 CPUtime=222.28 cores=1,3,5,7
/proc/31572/task/31575/stat : 31575 (pwbo1.1) R 31570 31572 30934 0 -1 4202560 67961 0 0 0 22121 107 0 0 25 0 3 0 910831322 497078272 115626 33554432000 4194304 5714118 140736943296560 18446744073709551615 4311203 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 444.57
Current children cumulated vsize (KiB) 485428
[startup+282.301 s]
/proc/loadavg: 4.00 3.97 3.43 5/182 31662
/proc/meminfo: memFree=3761380/32951124 swapFree=67052292/67111528
[pid=31572] ppid=31570 vsize=617968 CPUtime=564.57 cores=1,3,5,7
/proc/31572/stat : 31572 (pwbo1.1) S 31570 31572 30934 0 -1 4202496 135277 0 0 0 55987 470 0 0 25 0 3 0 910831321 632799232 134344 33554432000 4194304 5714118 140736943296560 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31572/statm: 154492 134344 180 372 0 154117 0
[pid=31572/tid=31574] ppid=31570 vsize=617968 CPUtime=282.27 cores=1,3,5,7
/proc/31572/task/31574/stat : 31574 (pwbo1.1) R 31570 31572 30934 0 -1 4202560 55343 0 0 0 27883 344 0 0 25 0 3 0 910831322 632799232 134344 33554432000 4194304 5714118 140736943296560 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=31572/tid=31575] ppid=31570 vsize=617968 CPUtime=282.28 cores=1,3,5,7
/proc/31572/task/31575/stat : 31575 (pwbo1.1) R 31570 31572 30934 0 -1 4202560 79339 0 0 0 28103 125 0 0 25 0 3 0 910831322 632799232 134344 33554432000 4194304 5714118 140736943296560 18446744073709551615 4319134 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 564.57
Current children cumulated vsize (KiB) 617968
[startup+342.3 s]
/proc/loadavg: 4.00 3.97 3.47 5/182 31664
/proc/meminfo: memFree=3673052/32951124 swapFree=67052292/67111528
[pid=31572] ppid=31570 vsize=685304 CPUtime=684.57 cores=1,3,5,7
/proc/31572/stat : 31572 (pwbo1.1) S 31570 31572 30934 0 -1 4202496 156670 0 0 0 67908 549 0 0 25 0 3 0 910831321 701751296 155737 33554432000 4194304 5714118 140736943296560 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31572/statm: 171326 155737 180 372 0 170951 0
[pid=31572/tid=31574] ppid=31570 vsize=685304 CPUtime=342.28 cores=1,3,5,7
/proc/31572/task/31574/stat : 31574 (pwbo1.1) R 31570 31572 30934 0 -1 4202560 61409 0 0 0 33840 388 0 0 25 0 3 0 910831322 701751296 155737 33554432000 4194304 5714118 140736943296560 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=31572/tid=31575] ppid=31570 vsize=685304 CPUtime=342.28 cores=1,3,5,7
/proc/31572/task/31575/stat : 31575 (pwbo1.1) R 31570 31572 30934 0 -1 4202560 94666 0 0 0 34067 161 0 0 25 0 3 0 910831322 701751296 155737 33554432000 4194304 5714118 140736943296560 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 684.57
Current children cumulated vsize (KiB) 685304
[startup+402.301 s]
/proc/loadavg: 4.00 3.97 3.50 5/182 31665
/proc/meminfo: memFree=3584736/32951124 swapFree=67052292/67111528
[pid=31572] ppid=31570 vsize=817448 CPUtime=804.58 cores=1,3,5,7
/proc/31572/stat : 31572 (pwbo1.1) S 31570 31572 30934 0 -1 4202496 176418 0 0 0 79805 653 0 0 25 0 3 0 910831321 837066752 175484 33554432000 4194304 5714118 140736943296560 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31572/statm: 204362 175484 180 372 0 203987 0
[pid=31572/tid=31574] ppid=31570 vsize=817448 CPUtime=402.28 cores=1,3,5,7
/proc/31572/task/31574/stat : 31574 (pwbo1.1) R 31570 31572 30934 0 -1 4202560 73298 0 0 0 39764 464 0 0 25 0 3 0 910831322 837066752 175484 33554432000 4194304 5714118 140736943296560 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=31572/tid=31575] ppid=31570 vsize=817448 CPUtime=402.28 cores=1,3,5,7
/proc/31572/task/31575/stat : 31575 (pwbo1.1) R 31570 31572 30934 0 -1 4202560 102525 0 0 0 40040 188 0 0 25 0 3 0 910831322 837066752 175484 33554432000 4194304 5714118 140736943296560 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 804.58
Current children cumulated vsize (KiB) 817448
[startup+462.301 s]
/proc/loadavg: 4.05 3.99 3.53 5/182 31667
/proc/meminfo: memFree=3524520/32951124 swapFree=67052292/67111528
[pid=31572] ppid=31570 vsize=817588 CPUtime=924.57 cores=1,3,5,7
/proc/31572/stat : 31572 (pwbo1.1) S 31570 31572 30934 0 -1 4202496 189796 0 0 0 91708 749 0 0 25 0 3 0 910831321 837210112 188862 33554432000 4194304 5714118 140736943296560 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31572/statm: 204397 188862 180 372 0 204022 0
[pid=31572/tid=31574] ppid=31570 vsize=817588 CPUtime=462.27 cores=1,3,5,7
/proc/31572/task/31574/stat : 31574 (pwbo1.1) R 31570 31572 30934 0 -1 4202560 80397 0 0 0 45695 532 0 0 25 0 3 0 910831322 837210112 188862 33554432000 4194304 5714118 140736943296560 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=31572/tid=31575] ppid=31570 vsize=817588 CPUtime=462.28 cores=1,3,5,7
/proc/31572/task/31575/stat : 31575 (pwbo1.1) R 31570 31572 30934 0 -1 4202560 108804 0 0 0 46012 216 0 0 25 0 3 0 910831322 837210112 188862 33554432000 4194304 5714118 140736943296560 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 924.57
Current children cumulated vsize (KiB) 817588
[startup+522.3 s]
/proc/loadavg: 4.02 3.99 3.56 5/182 31669
/proc/meminfo: memFree=3338468/32951124 swapFree=67052292/67111528
[pid=31572] ppid=31570 vsize=953592 CPUtime=1044.56 cores=1,3,5,7
/proc/31572/stat : 31572 (pwbo1.1) S 31570 31572 30934 0 -1 4202496 225464 0 0 0 103605 851 0 0 25 0 3 0 910831321 976478208 224530 33554432000 4194304 5714118 140736943296560 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31572/statm: 238398 224530 180 372 0 238023 0
[pid=31572/tid=31574] ppid=31570 vsize=953592 CPUtime=522.27 cores=1,3,5,7
/proc/31572/task/31574/stat : 31574 (pwbo1.1) R 31570 31572 30934 0 -1 4202560 89597 0 0 0 51631 596 0 0 25 0 3 0 910831322 976478208 224530 33554432000 4194304 5714118 140736943296560 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=31572/tid=31575] ppid=31570 vsize=953592 CPUtime=522.27 cores=1,3,5,7
/proc/31572/task/31575/stat : 31575 (pwbo1.1) R 31570 31572 30934 0 -1 4202560 135272 0 0 0 51972 255 0 0 25 0 3 0 910831322 976478208 224530 33554432000 4194304 5714118 140736943296560 18446744073709551615 4319134 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1044.56
Current children cumulated vsize (KiB) 953592
[startup+582.301 s]
/proc/loadavg: 4.00 3.99 3.58 5/182 31670
/proc/meminfo: memFree=3245276/32951124 swapFree=67052292/67111528
[pid=31572] ppid=31570 vsize=1020588 CPUtime=1164.57 cores=1,3,5,7
/proc/31572/stat : 31572 (pwbo1.1) S 31570 31572 30934 0 -1 4202496 241759 0 0 0 115514 943 0 0 25 0 3 0 910831321 1045082112 240790 33554432000 4194304 5714118 140736943296560 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31572/statm: 255147 240790 180 372 0 254772 0
[pid=31572/tid=31574] ppid=31570 vsize=1020588 CPUtime=582.27 cores=1,3,5,7
/proc/31572/task/31574/stat : 31574 (pwbo1.1) R 31570 31572 30934 0 -1 4202560 96325 0 0 0 57568 659 0 0 25 0 3 0 910831322 1045082112 240790 33554432000 4194304 5714118 140736943296560 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=31572/tid=31575] ppid=31570 vsize=1020588 CPUtime=582.27 cores=1,3,5,7
/proc/31572/task/31575/stat : 31575 (pwbo1.1) R 31570 31572 30934 0 -1 4202560 144839 0 0 0 57944 283 0 0 25 0 3 0 910831322 1045082112 240790 33554432000 4194304 5714118 140736943296560 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1164.57
Current children cumulated vsize (KiB) 1020588
[startup+642.301 s]
/proc/loadavg: 4.00 3.99 3.60 5/182 31672
/proc/meminfo: memFree=3128040/32951124 swapFree=67052292/67111528
[pid=31572] ppid=31570 vsize=1154224 CPUtime=1284.57 cores=1,3,5,7
/proc/31572/stat : 31572 (pwbo1.1) S 31570 31572 30934 0 -1 4202496 265017 0 0 0 127417 1040 0 0 25 0 3 0 910831321 1181925376 264048 33554432000 4194304 5714118 140736943296560 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31572/statm: 288556 264048 180 372 0 288181 0
[pid=31572/tid=31574] ppid=31570 vsize=1154224 CPUtime=642.28 cores=1,3,5,7
/proc/31572/task/31574/stat : 31574 (pwbo1.1) R 31570 31572 30934 0 -1 4202560 105900 0 0 0 63501 727 0 0 25 0 3 0 910831322 1181925376 264048 33554432000 4194304 5714118 140736943296560 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=31572/tid=31575] ppid=31570 vsize=1154224 CPUtime=642.28 cores=1,3,5,7
/proc/31572/task/31575/stat : 31575 (pwbo1.1) R 31570 31572 30934 0 -1 4202560 158522 0 0 0 63915 313 0 0 25 0 3 0 910831322 1181925376 264048 33554432000 4194304 5714118 140736943296560 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1284.57
Current children cumulated vsize (KiB) 1154224
[startup+702.301 s]
/proc/loadavg: 4.00 3.99 3.63 5/182 31673
/proc/meminfo: memFree=3013628/32951124 swapFree=67052292/67111528
[pid=31572] ppid=31570 vsize=1220436 CPUtime=1404.56 cores=1,3,5,7
/proc/31572/stat : 31572 (pwbo1.1) S 31570 31572 30934 0 -1 4202496 285528 0 0 0 139315 1141 0 0 25 0 3 0 910831321 1249726464 284559 33554432000 4194304 5714118 140736943296560 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31572/statm: 305109 284559 180 372 0 304734 0
[pid=31572/tid=31574] ppid=31570 vsize=1220436 CPUtime=702.27 cores=1,3,5,7
/proc/31572/task/31574/stat : 31574 (pwbo1.1) R 31570 31572 30934 0 -1 4202560 115208 0 0 0 69432 795 0 0 25 0 3 0 910831322 1249726464 284559 33554432000 4194304 5714118 140736943296560 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=31572/tid=31575] ppid=31570 vsize=1220436 CPUtime=702.27 cores=1,3,5,7
/proc/31572/task/31575/stat : 31575 (pwbo1.1) R 31570 31572 30934 0 -1 4202560 169725 0 0 0 69882 345 0 0 25 0 3 0 910831322 1249726464 284559 33554432000 4194304 5714118 140736943296560 18446744073709551615 4319266 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1404.56
Current children cumulated vsize (KiB) 1220436
[startup+762.307 s]
/proc/loadavg: 4.00 3.99 3.65 5/182 31675
/proc/meminfo: memFree=2937684/32951124 swapFree=67052292/67111528
[pid=31572] ppid=31570 vsize=1286836 CPUtime=1524.58 cores=1,3,5,7
/proc/31572/stat : 31572 (pwbo1.1) S 31570 31572 30934 0 -1 4202496 297329 0 0 0 151243 1215 0 0 25 0 3 0 910831321 1317720064 296358 33554432000 4194304 5714118 140736943296560 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31572/statm: 321709 296358 180 372 0 321334 0
[pid=31572/tid=31574] ppid=31570 vsize=1286836 CPUtime=762.28 cores=1,3,5,7
/proc/31572/task/31574/stat : 31574 (pwbo1.1) R 31570 31572 30934 0 -1 4202560 119768 0 0 0 75385 843 0 0 25 0 3 0 910831322 1317720064 296358 33554432000 4194304 5714118 140736943296560 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=31572/tid=31575] ppid=31570 vsize=1286836 CPUtime=762.28 cores=1,3,5,7
/proc/31572/task/31575/stat : 31575 (pwbo1.1) R 31570 31572 30934 0 -1 4202560 176966 0 0 0 75857 371 0 0 25 0 3 0 910831322 1317720064 296358 33554432000 4194304 5714118 140736943296560 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1524.58
Current children cumulated vsize (KiB) 1286836
[startup+822.3 s]
/proc/loadavg: 4.00 3.99 3.67 5/182 31677
/proc/meminfo: memFree=2895336/32951124 swapFree=67052292/67111528
[pid=31572] ppid=31570 vsize=1288100 CPUtime=1644.56 cores=1,3,5,7
/proc/31572/stat : 31572 (pwbo1.1) S 31570 31572 30934 0 -1 4202496 313357 0 0 0 163154 1302 0 0 25 0 3 0 910831321 1319014400 312240 33554432000 4194304 5714118 140736943296560 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31572/statm: 322025 312240 180 372 0 321650 0
[pid=31572/tid=31574] ppid=31570 vsize=1288100 CPUtime=822.27 cores=1,3,5,7
/proc/31572/task/31574/stat : 31574 (pwbo1.1) R 31570 31572 30934 0 -1 4202560 127434 0 0 0 81323 904 0 0 25 0 3 0 910831322 1319014400 312240 33554432000 4194304 5714118 140736943296560 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=31572/tid=31575] ppid=31570 vsize=1288100 CPUtime=822.28 cores=1,3,5,7
/proc/31572/task/31575/stat : 31575 (pwbo1.1) R 31570 31572 30934 0 -1 4202560 185328 0 0 0 81830 398 0 0 25 0 3 0 910831322 1319014400 312240 33554432000 4194304 5714118 140736943296560 18446744073709551615 4311675 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1644.56
Current children cumulated vsize (KiB) 1288100
[startup+882.301 s]
/proc/loadavg: 4.00 3.99 3.68 5/182 31678
/proc/meminfo: memFree=2835492/32951124 swapFree=67052292/67111528
[pid=31572] ppid=31570 vsize=1353388 CPUtime=1764.57 cores=1,3,5,7
/proc/31572/stat : 31572 (pwbo1.1) S 31570 31572 30934 0 -1 4202496 325358 0 0 0 175026 1431 0 0 25 0 3 0 910831321 1385869312 324151 33554432000 4194304 5714118 140736943296560 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31572/statm: 338347 324151 180 372 0 337972 0
[pid=31572/tid=31574] ppid=31570 vsize=1353388 CPUtime=882.27 cores=1,3,5,7
/proc/31572/task/31574/stat : 31574 (pwbo1.1) R 31570 31572 30934 0 -1 4202560 130125 0 0 0 87224 1003 0 0 25 0 3 0 910831322 1385869312 324151 33554432000 4194304 5714118 140736943296560 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=31572/tid=31575] ppid=31570 vsize=1353388 CPUtime=882.28 cores=1,3,5,7
/proc/31572/task/31575/stat : 31575 (pwbo1.1) R 31570 31572 30934 0 -1 4202560 194638 0 0 0 87800 428 0 0 25 0 3 0 910831322 1385869312 324151 33554432000 4194304 5714118 140736943296560 18446744073709551615 4319293 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1764.57
Current children cumulated vsize (KiB) 1353388
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.101 s]
/proc/loadavg: 4.00 3.99 3.69 5/182 31679
/proc/meminfo: memFree=2813404/32951124 swapFree=67052292/67111528
[pid=31572] ppid=31570 vsize=1353388 CPUtime=1800.18 cores=1,3,5,7
/proc/31572/stat : 31572 (pwbo1.1) S 31570 31572 30934 0 -1 4202496 328044 0 0 0 178558 1460 0 0 25 0 3 0 910831321 1385869312 326837 33554432000 4194304 5714118 140736943296560 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31572/statm: 338347 326837 180 372 0 337972 0
[pid=31572/tid=31574] ppid=31570 vsize=1353388 CPUtime=900.08 cores=1,3,5,7
/proc/31572/task/31574/stat : 31574 (pwbo1.1) R 31570 31572 30934 0 -1 4202560 130189 0 0 0 88988 1020 0 0 25 0 3 0 910831322 1385869312 326837 33554432000 4194304 5714118 140736943296560 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=31572/tid=31575] ppid=31570 vsize=1353388 CPUtime=900.08 cores=1,3,5,7
/proc/31572/task/31575/stat : 31575 (pwbo1.1) R 31570 31572 30934 0 -1 4202560 197260 0 0 0 89569 439 0 0 25 0 3 0 910831322 1385869312 326837 33554432000 4194304 5714118 140736943296560 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 1353388
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+900.101 s]
/proc/loadavg: 4.00 3.99 3.69 5/182 31679
/proc/meminfo: memFree=2813404/32951124 swapFree=67052292/67111528
[pid=31572] ppid=31570 vsize=1353388 CPUtime=1800.18 cores=1,3,5,7
/proc/31572/stat : 31572 (pwbo1.1) S 31570 31572 30934 0 -1 4202496 328044 0 0 0 178558 1460 0 0 25 0 3 0 910831321 1385869312 326837 33554432000 4194304 5714118 140736943296560 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31572/statm: 338347 326837 180 372 0 337972 0
[pid=31572/tid=31574] ppid=31570 vsize=1353388 CPUtime=900.08 cores=1,3,5,7
/proc/31572/task/31574/stat : 31574 (pwbo1.1) R 31570 31572 30934 0 -1 4202560 130189 0 0 0 88988 1020 0 0 25 0 3 0 910831322 1385869312 326837 33554432000 4194304 5714118 140736943296560 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=31572/tid=31575] ppid=31570 vsize=1353388 CPUtime=900.08 cores=1,3,5,7
/proc/31572/task/31575/stat : 31575 (pwbo1.1) R 31570 31572 30934 0 -1 4202560 197260 0 0 0 89569 439 0 0 25 0 3 0 910831322 1385869312 326837 33554432000 4194304 5714118 140736943296560 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 1353388
Child status: 0
Real time (s): 900.162
CPU time (s): 1800.25
CPU user time (s): 1785.6
CPU system time (s): 14.6498
CPU usage (%): 199.992
Max. virtual memory (cumulated for all children) (KiB): 1353872
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1785.6
system time used= 14.6498
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 328050
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= 833
involuntary context switches= 10487
runsolver used 1.51277 second user time and 3.41448 second system time
The end