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-3500446-1307995577/watcher-3500446-1307995577 -o /var/tmp/evaluation-result-3500446-1307995577/solver-3500446-1307995577 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500446-1307995577.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.40 3.87 3.88 1/172 25571
/proc/meminfo: memFree=15141676/32951124 swapFree=67057920/67111528
[pid=25571] ppid=25569 vsize=11804 CPUtime=0 cores=1,3,5,7
/proc/25571/stat : 25571 (runsolver) S 25569 25571 24381 0 -1 4202560 41 0 0 0 0 0 0 0 23 0 1 0 891973070 12087296 50 33554432000 4194304 5436572 140734143497968 18446744073709551615 4883175 0 2147483391 4096 24578 18446744071699968823 0 0 17 5 0 0 0
/proc/25571/statm: 2951 50 31 304 0 2643 0
[startup+0.00880698 s]
/proc/loadavg: 3.40 3.87 3.88 1/172 25571
/proc/meminfo: memFree=15141676/32951124 swapFree=67057920/67111528
[pid=25571] ppid=25569 vsize=11804 CPUtime=0 cores=1,3,5,7
/proc/25571/stat : 25571 (runsolver) S 25569 25571 24381 0 -1 4202560 41 0 0 0 0 0 0 0 23 0 1 0 891973070 12087296 50 33554432000 4194304 5436572 140734143497968 18446744073709551615 4883175 0 2147483391 4096 24578 18446744071699968823 0 0 17 5 0 0 0
/proc/25571/statm: 2951 50 31 304 0 2643 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11804
[startup+0.100786 s]
/proc/loadavg: 3.40 3.87 3.88 1/172 25571
/proc/meminfo: memFree=15141676/32951124 swapFree=67057920/67111528
[pid=25571] ppid=25569 vsize=11804 CPUtime=0 cores=1,3,5,7
/proc/25571/stat : 25571 (runsolver) S 25569 25571 24381 0 -1 4202560 41 0 0 0 0 0 0 0 23 0 1 0 891973070 12087296 50 33554432000 4194304 5436572 140734143497968 18446744073709551615 4883175 0 2147483391 4096 24578 18446744071699968823 0 0 17 5 0 0 0
/proc/25571/statm: 2951 50 31 304 0 2643 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11804
[startup+0.300712 s]
/proc/loadavg: 3.40 3.87 3.88 1/172 25571
/proc/meminfo: memFree=15141676/32951124 swapFree=67057920/67111528
[pid=25571] ppid=25569 vsize=134788 CPUtime=0.18 cores=1,3,5,7
/proc/25571/stat : 25571 (pwbo1.1) S 25569 25571 24381 0 -1 4202496 766 0 0 0 17 1 0 0 22 0 3 0 891973070 138022912 716 33554432000 4194304 5714118 140733558649728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0
/proc/25571/statm: 33697 716 181 372 0 33322 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 134788
[startup+0.700641 s]
/proc/loadavg: 3.40 3.87 3.88 1/172 25571
/proc/meminfo: memFree=15141676/32951124 swapFree=67057920/67111528
[pid=25571] ppid=25569 vsize=135076 CPUtime=0.98 cores=1,3,5,7
/proc/25571/stat : 25571 (pwbo1.1) S 25569 25571 24381 0 -1 4202496 1800 0 0 0 94 4 0 0 22 0 3 0 891973070 138317824 1750 33554432000 4194304 5714118 140733558649728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0
/proc/25571/statm: 33769 1750 181 372 0 33394 0
Current children cumulated CPU time (s) 0.98
Current children cumulated vsize (KiB) 135076
[startup+1.50053 s]
/proc/loadavg: 3.40 3.87 3.88 5/182 25590
/proc/meminfo: memFree=15124384/32951124 swapFree=67057920/67111528
[pid=25571] ppid=25569 vsize=135076 CPUtime=2.57 cores=1,3,5,7
/proc/25571/stat : 25571 (pwbo1.1) S 25569 25571 24381 0 -1 4202496 2512 0 0 0 250 7 0 0 22 0 3 0 891973070 138317824 2462 33554432000 4194304 5714118 140733558649728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0
/proc/25571/statm: 33769 2462 181 372 0 33394 0
[pid=25571/tid=25573] ppid=25569 vsize=135076 CPUtime=1.28 cores=1,3,5,7
/proc/25571/task/25573/stat : 25573 (pwbo1.1) R 25569 25571 24381 0 -1 4202560 1436 0 0 0 125 3 0 0 25 0 3 0 891973091 138317824 2462 33554432000 4194304 5714118 140733558649728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25571/tid=25574] ppid=25569 vsize=135076 CPUtime=1.29 cores=1,3,5,7
/proc/25571/task/25574/stat : 25574 (pwbo1.1) R 25569 25571 24381 0 -1 4202560 742 0 0 0 125 4 0 0 25 0 3 0 891973091 138317824 2462 33554432000 4194304 5714118 140733558649728 18446744073709551615 4300239 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.57
Current children cumulated vsize (KiB) 135076
[startup+3.10025 s]
/proc/loadavg: 3.40 3.87 3.88 5/182 25590
/proc/meminfo: memFree=15116696/32951124 swapFree=67057920/67111528
[pid=25571] ppid=25569 vsize=135076 CPUtime=5.78 cores=1,3,5,7
/proc/25571/stat : 25571 (pwbo1.1) S 25569 25571 24381 0 -1 4202496 3504 0 0 0 561 17 0 0 22 0 3 0 891973070 138317824 3454 33554432000 4194304 5714118 140733558649728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0
/proc/25571/statm: 33769 3454 182 372 0 33394 0
[pid=25571/tid=25573] ppid=25569 vsize=135076 CPUtime=2.89 cores=1,3,5,7
/proc/25571/task/25573/stat : 25573 (pwbo1.1) R 25569 25571 24381 0 -1 4202560 2260 0 0 0 280 9 0 0 25 0 3 0 891973091 138317824 3454 33554432000 4194304 5714118 140733558649728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25571/tid=25574] ppid=25569 vsize=135076 CPUtime=2.88 cores=1,3,5,7
/proc/25571/task/25574/stat : 25574 (pwbo1.1) R 25569 25571 24381 0 -1 4202560 910 0 0 0 280 8 0 0 25 0 3 0 891973091 138317824 3454 33554432000 4194304 5714118 140733558649728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.78
Current children cumulated vsize (KiB) 135076
[startup+6.30069 s]
/proc/loadavg: 3.44 3.87 3.88 5/182 25590
/proc/meminfo: memFree=15100288/32951124 swapFree=67057920/67111528
[pid=25571] ppid=25569 vsize=135364 CPUtime=12.18 cores=1,3,5,7
/proc/25571/stat : 25571 (pwbo1.1) S 25569 25571 24381 0 -1 4202496 5217 0 0 0 1183 35 0 0 22 0 3 0 891973070 138612736 5167 33554432000 4194304 5714118 140733558649728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0
/proc/25571/statm: 33841 5167 182 372 0 33466 0
[pid=25571/tid=25573] ppid=25569 vsize=135364 CPUtime=6.09 cores=1,3,5,7
/proc/25571/task/25573/stat : 25573 (pwbo1.1) R 25569 25571 24381 0 -1 4202560 3746 0 0 0 591 18 0 0 25 0 3 0 891973091 138612736 5167 33554432000 4194304 5714118 140733558649728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25571/tid=25574] ppid=25569 vsize=135364 CPUtime=6.09 cores=1,3,5,7
/proc/25571/task/25574/stat : 25574 (pwbo1.1) R 25569 25571 24381 0 -1 4202560 1137 0 0 0 592 17 0 0 25 0 3 0 891973091 138612736 5167 33554432000 4194304 5714118 140733558649728 18446744073709551615 4300239 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.18
Current children cumulated vsize (KiB) 135364
[startup+12.7006 s]
/proc/loadavg: 3.49 3.87 3.88 5/182 25590
/proc/meminfo: memFree=15075996/32951124 swapFree=67057920/67111528
[pid=25571] ppid=25569 vsize=136516 CPUtime=24.98 cores=1,3,5,7
/proc/25571/stat : 25571 (pwbo1.1) S 25569 25571 24381 0 -1 4202496 8306 0 0 0 2430 68 0 0 22 0 3 0 891973070 139792384 8256 33554432000 4194304 5714118 140733558649728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0
/proc/25571/statm: 34129 8256 182 372 0 33754 0
[pid=25571/tid=25573] ppid=25569 vsize=136516 CPUtime=12.49 cores=1,3,5,7
/proc/25571/task/25573/stat : 25573 (pwbo1.1) R 25569 25571 24381 0 -1 4202560 6453 0 0 0 1213 36 0 0 25 0 3 0 891973091 139792384 8256 33554432000 4194304 5714118 140733558649728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25571/tid=25574] ppid=25569 vsize=136516 CPUtime=12.48 cores=1,3,5,7
/proc/25571/task/25574/stat : 25574 (pwbo1.1) R 25569 25571 24381 0 -1 4202560 1519 0 0 0 1217 31 0 0 25 0 3 0 891973091 139792384 8256 33554432000 4194304 5714118 140733558649728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 24.98
Current children cumulated vsize (KiB) 136516
[startup+25.5003 s]
/proc/loadavg: 3.60 3.88 3.88 5/182 25590
/proc/meminfo: memFree=15034340/32951124 swapFree=67057920/67111528
[pid=25571] ppid=25569 vsize=138028 CPUtime=50.58 cores=1,3,5,7
/proc/25571/stat : 25571 (pwbo1.1) S 25569 25571 24381 0 -1 4202496 13438 0 0 0 4924 134 0 0 22 0 3 0 891973070 141340672 13384 33554432000 4194304 5714118 140733558649728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0
/proc/25571/statm: 34507 13384 182 372 0 34132 0
[pid=25571/tid=25573] ppid=25569 vsize=138028 CPUtime=25.28 cores=1,3,5,7
/proc/25571/task/25573/stat : 25573 (pwbo1.1) R 25569 25571 24381 0 -1 4202560 11280 0 0 0 2458 70 0 0 25 0 3 0 891973091 141340672 13384 33554432000 4194304 5714118 140733558649728 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25571/tid=25574] ppid=25569 vsize=138028 CPUtime=25.28 cores=1,3,5,7
/proc/25571/task/25574/stat : 25574 (pwbo1.1) R 25569 25571 24381 0 -1 4202560 1824 0 0 0 2465 63 0 0 25 0 3 0 891973091 141340672 13384 33554432000 4194304 5714118 140733558649728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.58
Current children cumulated vsize (KiB) 138028
[startup+51.1008 s]
/proc/loadavg: 3.74 3.89 3.88 5/182 25591
/proc/meminfo: memFree=14965328/32951124 swapFree=67057920/67111528
[pid=25571] ppid=25569 vsize=205868 CPUtime=101.78 cores=1,3,5,7
/proc/25571/stat : 25571 (pwbo1.1) S 25569 25571 24381 0 -1 4202496 22202 0 0 0 9928 250 0 0 22 0 3 0 891973070 210808832 22144 33554432000 4194304 5714118 140733558649728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0
/proc/25571/statm: 51467 22144 182 372 0 51092 0
[pid=25571/tid=25573] ppid=25569 vsize=205868 CPUtime=50.89 cores=1,3,5,7
/proc/25571/task/25573/stat : 25573 (pwbo1.1) R 25569 25571 24381 0 -1 4202560 19540 0 0 0 4964 125 0 0 25 0 3 0 891973091 210808832 22144 33554432000 4194304 5714118 140733558649728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25571/tid=25574] ppid=25569 vsize=205868 CPUtime=50.89 cores=1,3,5,7
/proc/25571/task/25574/stat : 25574 (pwbo1.1) R 25569 25571 24381 0 -1 4202560 2328 0 0 0 4964 125 0 0 25 0 3 0 891973091 210808832 22144 33554432000 4194304 5714118 140733558649728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.78
Current children cumulated vsize (KiB) 205868
[startup+102.307 s]
/proc/loadavg: 3.88 3.90 3.89 5/182 25592
/proc/meminfo: memFree=14844548/32951124 swapFree=67057920/67111528
[pid=25571] ppid=25569 vsize=275292 CPUtime=204.2 cores=1,3,5,7
/proc/25571/stat : 25571 (pwbo1.1) S 25569 25571 24381 0 -1 4202496 36968 0 0 0 19961 459 0 0 22 0 3 0 891973070 281899008 36910 33554432000 4194304 5714118 140733558649728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0
/proc/25571/statm: 68823 36910 182 372 0 68448 0
[pid=25571/tid=25573] ppid=25569 vsize=275292 CPUtime=102.1 cores=1,3,5,7
/proc/25571/task/25573/stat : 25573 (pwbo1.1) R 25569 25571 24381 0 -1 4202560 33858 0 0 0 9982 228 0 0 25 0 3 0 891973091 281899008 36910 33554432000 4194304 5714118 140733558649728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25571/tid=25574] ppid=25569 vsize=275292 CPUtime=102.09 cores=1,3,5,7
/proc/25571/task/25574/stat : 25574 (pwbo1.1) R 25569 25571 24381 0 -1 4202560 2776 0 0 0 9978 231 0 0 25 0 3 0 891973091 281899008 36910 33554432000 4194304 5714118 140733558649728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 204.2
Current children cumulated vsize (KiB) 275292
[startup+162.301 s]
/proc/loadavg: 3.95 3.92 3.89 5/182 25594
/proc/meminfo: memFree=14719040/32951124 swapFree=67057920/67111528
[pid=25571] ppid=25569 vsize=277452 CPUtime=324.19 cores=1,3,5,7
/proc/25571/stat : 25571 (pwbo1.1) S 25569 25571 24381 0 -1 4202496 52755 0 0 0 31741 678 0 0 22 0 3 0 891973070 284110848 52697 33554432000 4194304 5714118 140733558649728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0
/proc/25571/statm: 69363 52697 182 372 0 68988 0
[pid=25571/tid=25573] ppid=25569 vsize=277452 CPUtime=162.09 cores=1,3,5,7
/proc/25571/task/25573/stat : 25573 (pwbo1.1) R 25569 25571 24381 0 -1 4202560 49334 0 0 0 15867 342 0 0 25 0 3 0 891973091 284110848 52697 33554432000 4194304 5714118 140733558649728 18446744073709551615 4299904 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25571/tid=25574] ppid=25569 vsize=277452 CPUtime=162.09 cores=1,3,5,7
/proc/25571/task/25574/stat : 25574 (pwbo1.1) R 25569 25571 24381 0 -1 4202560 3087 0 0 0 15873 336 0 0 25 0 3 0 891973091 284110848 52697 33554432000 4194304 5714118 140733558649728 18446744073709551615 4300224 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 324.19
Current children cumulated vsize (KiB) 277452
[startup+222.3 s]
/proc/loadavg: 4.05 3.94 3.90 5/182 25596
/proc/meminfo: memFree=14593040/32951124 swapFree=67057920/67111528
[pid=25571] ppid=25569 vsize=346980 CPUtime=444.19 cores=1,3,5,7
/proc/25571/stat : 25571 (pwbo1.1) S 25569 25571 24381 0 -1 4202496 68600 0 0 0 43513 906 0 0 22 0 3 0 891973070 355307520 68542 33554432000 4194304 5714118 140733558649728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0
/proc/25571/statm: 86745 68542 182 372 0 86370 0
[pid=25571/tid=25573] ppid=25569 vsize=346980 CPUtime=222.08 cores=1,3,5,7
/proc/25571/task/25573/stat : 25573 (pwbo1.1) R 25569 25571 24381 0 -1 4202560 64723 0 0 0 21755 453 0 0 25 0 3 0 891973091 355307520 68542 33554432000 4194304 5714118 140733558649728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25571/tid=25574] ppid=25569 vsize=346980 CPUtime=222.09 cores=1,3,5,7
/proc/25571/task/25574/stat : 25574 (pwbo1.1) R 25569 25571 24381 0 -1 4202560 3543 0 0 0 21757 452 0 0 25 0 3 0 891973091 355307520 68542 33554432000 4194304 5714118 140733558649728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 444.19
Current children cumulated vsize (KiB) 346980
[startup+282.301 s]
/proc/loadavg: 4.02 3.95 3.91 5/182 25597
/proc/meminfo: memFree=14479072/32951124 swapFree=67057920/67111528
[pid=25571] ppid=25569 vsize=414460 CPUtime=564.19 cores=1,3,5,7
/proc/25571/stat : 25571 (pwbo1.1) S 25569 25571 24381 0 -1 4202496 83871 0 0 0 55287 1132 0 0 22 0 3 0 891973070 424407040 83813 33554432000 4194304 5714118 140733558649728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0
/proc/25571/statm: 103615 83813 182 372 0 103240 0
[pid=25571/tid=25573] ppid=25569 vsize=414460 CPUtime=282.09 cores=1,3,5,7
/proc/25571/task/25573/stat : 25573 (pwbo1.1) R 25569 25571 24381 0 -1 4202560 79780 0 0 0 27637 572 0 0 25 0 3 0 891973091 424407040 83813 33554432000 4194304 5714118 140733558649728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25571/tid=25574] ppid=25569 vsize=414460 CPUtime=282.09 cores=1,3,5,7
/proc/25571/task/25574/stat : 25574 (pwbo1.1) R 25569 25571 24381 0 -1 4202560 3757 0 0 0 27650 559 0 0 25 0 3 0 891973091 424407040 83813 33554432000 4194304 5714118 140733558649728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 564.19
Current children cumulated vsize (KiB) 414460
[startup+342.301 s]
/proc/loadavg: 4.00 3.96 3.91 5/182 25599
/proc/meminfo: memFree=14366084/32951124 swapFree=67057920/67111528
[pid=25571] ppid=25569 vsize=481148 CPUtime=684.2 cores=1,3,5,7
/proc/25571/stat : 25571 (pwbo1.1) S 25569 25571 24381 0 -1 4202496 98307 0 0 0 67064 1356 0 0 22 0 3 0 891973070 492695552 98249 33554432000 4194304 5714118 140733558649728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0
/proc/25571/statm: 120287 98249 182 372 0 119912 0
[pid=25571/tid=25573] ppid=25569 vsize=481148 CPUtime=342.1 cores=1,3,5,7
/proc/25571/task/25573/stat : 25573 (pwbo1.1) R 25569 25571 24381 0 -1 4202560 94098 0 0 0 33522 688 0 0 25 0 3 0 891973091 492695552 98249 33554432000 4194304 5714118 140733558649728 18446744073709551615 4299920 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25571/tid=25574] ppid=25569 vsize=481148 CPUtime=342.1 cores=1,3,5,7
/proc/25571/task/25574/stat : 25574 (pwbo1.1) R 25569 25571 24381 0 -1 4202560 3875 0 0 0 33542 668 0 0 25 0 3 0 891973091 492695552 98249 33554432000 4194304 5714118 140733558649728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 684.2
Current children cumulated vsize (KiB) 481148
[startup+402.3 s]
/proc/loadavg: 4.00 3.96 3.91 5/182 25600
/proc/meminfo: memFree=14261160/32951124 swapFree=67057920/67111528
[pid=25571] ppid=25569 vsize=547980 CPUtime=804.2 cores=1,3,5,7
/proc/25571/stat : 25571 (pwbo1.1) S 25569 25571 24381 0 -1 4202496 113106 0 0 0 78829 1591 0 0 22 0 3 0 891973070 561131520 113048 33554432000 4194304 5714118 140733558649728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0
/proc/25571/statm: 136995 113048 182 372 0 136620 0
[pid=25571/tid=25573] ppid=25569 vsize=547980 CPUtime=402.09 cores=1,3,5,7
/proc/25571/task/25573/stat : 25573 (pwbo1.1) R 25569 25571 24381 0 -1 4202560 108771 0 0 0 39399 810 0 0 25 0 3 0 891973091 561131520 113048 33554432000 4194304 5714118 140733558649728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25571/tid=25574] ppid=25569 vsize=547980 CPUtime=402.1 cores=1,3,5,7
/proc/25571/task/25574/stat : 25574 (pwbo1.1) R 25569 25571 24381 0 -1 4202560 4001 0 0 0 39430 780 0 0 25 0 3 0 891973091 561131520 113048 33554432000 4194304 5714118 140733558649728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 804.2
Current children cumulated vsize (KiB) 547980
[startup+462.301 s]
/proc/loadavg: 4.00 3.97 3.91 5/182 25602
/proc/meminfo: memFree=14154252/32951124 swapFree=67057920/67111528
[pid=25571] ppid=25569 vsize=614956 CPUtime=924.21 cores=1,3,5,7
/proc/25571/stat : 25571 (pwbo1.1) S 25569 25571 24381 0 -1 4202496 127014 0 0 0 90614 1807 0 0 22 0 3 0 891973070 629714944 126956 33554432000 4194304 5714118 140733558649728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0
/proc/25571/statm: 153739 126956 182 372 0 153364 0
[pid=25571/tid=25573] ppid=25569 vsize=614956 CPUtime=462.1 cores=1,3,5,7
/proc/25571/task/25573/stat : 25573 (pwbo1.1) R 25569 25571 24381 0 -1 4202560 122377 0 0 0 45285 925 0 0 25 0 3 0 891973091 629714944 126956 33554432000 4194304 5714118 140733558649728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25571/tid=25574] ppid=25569 vsize=614956 CPUtime=462.09 cores=1,3,5,7
/proc/25571/task/25574/stat : 25574 (pwbo1.1) R 25569 25571 24381 0 -1 4202560 4303 0 0 0 45328 881 0 0 25 0 3 0 891973091 629714944 126956 33554432000 4194304 5714118 140733558649728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 924.21
Current children cumulated vsize (KiB) 614956
[startup+522.301 s]
/proc/loadavg: 4.00 3.97 3.91 5/182 25604
/proc/meminfo: memFree=14054904/32951124 swapFree=67057920/67111528
[pid=25571] ppid=25569 vsize=682004 CPUtime=1044.21 cores=1,3,5,7
/proc/25571/stat : 25571 (pwbo1.1) S 25569 25571 24381 0 -1 4202496 139888 0 0 0 102417 2004 0 0 22 0 3 0 891973070 698372096 139830 33554432000 4194304 5714118 140733558649728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0
/proc/25571/statm: 170501 139830 182 372 0 170126 0
[pid=25571/tid=25573] ppid=25569 vsize=682004 CPUtime=522.1 cores=1,3,5,7
/proc/25571/task/25573/stat : 25573 (pwbo1.1) R 25569 25571 24381 0 -1 4202560 135045 0 0 0 51178 1032 0 0 25 0 3 0 891973091 698372096 139830 33554432000 4194304 5714118 140733558649728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25571/tid=25574] ppid=25569 vsize=682004 CPUtime=522.1 cores=1,3,5,7
/proc/25571/task/25574/stat : 25574 (pwbo1.1) R 25569 25571 24381 0 -1 4202560 4509 0 0 0 51239 971 0 0 25 0 3 0 891973091 698372096 139830 33554432000 4194304 5714118 140733558649728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1044.21
Current children cumulated vsize (KiB) 682004
[startup+582.301 s]
/proc/loadavg: 4.04 3.99 3.91 5/182 25605
/proc/meminfo: memFree=13953456/32951124 swapFree=67057920/67111528
[pid=25571] ppid=25569 vsize=682436 CPUtime=1164.21 cores=1,3,5,7
/proc/25571/stat : 25571 (pwbo1.1) S 25569 25571 24381 0 -1 4202496 152003 0 0 0 114226 2195 0 0 22 0 3 0 891973070 698814464 151945 33554432000 4194304 5714118 140733558649728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0
/proc/25571/statm: 170609 151945 182 372 0 170234 0
[pid=25571/tid=25573] ppid=25569 vsize=682436 CPUtime=582.1 cores=1,3,5,7
/proc/25571/task/25573/stat : 25573 (pwbo1.1) R 25569 25571 24381 0 -1 4202560 147109 0 0 0 57076 1134 0 0 25 0 3 0 891973091 698814464 151945 33554432000 4194304 5714118 140733558649728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25571/tid=25574] ppid=25569 vsize=682436 CPUtime=582.1 cores=1,3,5,7
/proc/25571/task/25574/stat : 25574 (pwbo1.1) R 25569 25571 24381 0 -1 4202560 4560 0 0 0 57149 1061 0 0 25 0 3 0 891973091 698814464 151945 33554432000 4194304 5714118 140733558649728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1164.21
Current children cumulated vsize (KiB) 682436
[startup+642.301 s]
/proc/loadavg: 4.01 3.99 3.91 5/182 25607
/proc/meminfo: memFree=13859564/32951124 swapFree=67057920/67111528
[pid=25571] ppid=25569 vsize=748760 CPUtime=1284.22 cores=1,3,5,7
/proc/25571/stat : 25571 (pwbo1.1) S 25569 25571 24381 0 -1 4202496 164030 0 0 0 126036 2386 0 0 22 0 3 0 891973070 766730240 163972 33554432000 4194304 5714118 140733558649728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0
/proc/25571/statm: 187190 163972 182 372 0 186815 0
[pid=25571/tid=25573] ppid=25569 vsize=748760 CPUtime=642.11 cores=1,3,5,7
/proc/25571/task/25573/stat : 25573 (pwbo1.1) R 25569 25571 24381 0 -1 4202560 159041 0 0 0 62975 1236 0 0 25 0 3 0 891973091 766730240 163972 33554432000 4194304 5714118 140733558649728 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25571/tid=25574] ppid=25569 vsize=748760 CPUtime=642.1 cores=1,3,5,7
/proc/25571/task/25574/stat : 25574 (pwbo1.1) R 25569 25571 24381 0 -1 4202560 4655 0 0 0 63061 1149 0 0 25 0 3 0 891973091 766730240 163972 33554432000 4194304 5714118 140733558649728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1284.22
Current children cumulated vsize (KiB) 748760
[startup+702.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 25608
/proc/meminfo: memFree=13766300/32951124 swapFree=67057920/67111528
[pid=25571] ppid=25569 vsize=814992 CPUtime=1404.21 cores=1,3,5,7
/proc/25571/stat : 25571 (pwbo1.1) S 25569 25571 24381 0 -1 4202496 176044 0 0 0 137843 2578 0 0 22 0 3 0 891973070 834551808 175986 33554432000 4194304 5714118 140733558649728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0
/proc/25571/statm: 203748 175986 182 372 0 203373 0
[pid=25571/tid=25573] ppid=25569 vsize=814992 CPUtime=702.1 cores=1,3,5,7
/proc/25571/task/25573/stat : 25573 (pwbo1.1) R 25569 25571 24381 0 -1 4202560 171011 0 0 0 68871 1339 0 0 25 0 3 0 891973091 834551808 175986 33554432000 4194304 5714118 140733558649728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25571/tid=25574] ppid=25569 vsize=814992 CPUtime=702.1 cores=1,3,5,7
/proc/25571/task/25574/stat : 25574 (pwbo1.1) R 25569 25571 24381 0 -1 4202560 4699 0 0 0 68971 1239 0 0 25 0 3 0 891973091 834551808 175986 33554432000 4194304 5714118 140733558649728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1404.21
Current children cumulated vsize (KiB) 814992
[startup+762.307 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 25610
/proc/meminfo: memFree=13673396/32951124 swapFree=67057920/67111528
[pid=25571] ppid=25569 vsize=815656 CPUtime=1524.23 cores=1,3,5,7
/proc/25571/stat : 25571 (pwbo1.1) S 25569 25571 24381 0 -1 4202496 187757 0 0 0 149659 2764 0 0 22 0 3 0 891973070 835231744 187699 33554432000 4194304 5714118 140733558649728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0
/proc/25571/statm: 203914 187699 182 372 0 203539 0
[pid=25571/tid=25573] ppid=25569 vsize=815656 CPUtime=762.11 cores=1,3,5,7
/proc/25571/task/25573/stat : 25573 (pwbo1.1) R 25569 25571 24381 0 -1 4202560 182593 0 0 0 74774 1437 0 0 25 0 3 0 891973091 835231744 187699 33554432000 4194304 5714118 140733558649728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25571/tid=25574] ppid=25569 vsize=815656 CPUtime=762.11 cores=1,3,5,7
/proc/25571/task/25574/stat : 25574 (pwbo1.1) R 25569 25571 24381 0 -1 4202560 4830 0 0 0 74885 1326 0 0 25 0 3 0 891973091 835231744 187699 33554432000 4194304 5714118 140733558649728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1524.23
Current children cumulated vsize (KiB) 815656
[startup+822.301 s]
/proc/loadavg: 4.03 4.00 3.92 5/182 25612
/proc/meminfo: memFree=13580872/32951124 swapFree=67057920/67111528
[pid=25571] ppid=25569 vsize=881568 CPUtime=1644.22 cores=1,3,5,7
/proc/25571/stat : 25571 (pwbo1.1) S 25569 25571 24381 0 -1 4202496 199253 0 0 0 161464 2958 0 0 22 0 3 0 891973070 902725632 199195 33554432000 4194304 5714118 140733558649728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0
/proc/25571/statm: 220392 199195 182 372 0 220017 0
[pid=25571/tid=25573] ppid=25569 vsize=881568 CPUtime=822.1 cores=1,3,5,7
/proc/25571/task/25573/stat : 25573 (pwbo1.1) R 25569 25571 24381 0 -1 4202560 193953 0 0 0 80666 1544 0 0 25 0 3 0 891973091 902725632 199195 33554432000 4194304 5714118 140733558649728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25571/tid=25574] ppid=25569 vsize=881568 CPUtime=822.11 cores=1,3,5,7
/proc/25571/task/25574/stat : 25574 (pwbo1.1) R 25569 25571 24381 0 -1 4202560 4966 0 0 0 80797 1414 0 0 25 0 3 0 891973091 902725632 199195 33554432000 4194304 5714118 140733558649728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1644.22
Current children cumulated vsize (KiB) 881568
[startup+882.3 s]
/proc/loadavg: 4.01 4.00 3.92 5/182 25613
/proc/meminfo: memFree=13485384/32951124 swapFree=67057920/67111528
[pid=25571] ppid=25569 vsize=947552 CPUtime=1764.22 cores=1,3,5,7
/proc/25571/stat : 25571 (pwbo1.1) S 25569 25571 24381 0 -1 4202496 212111 0 0 0 173264 3158 0 0 22 0 3 0 891973070 970293248 212053 33554432000 4194304 5714118 140733558649728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0
/proc/25571/statm: 236888 212053 182 372 0 236513 0
[pid=25571/tid=25573] ppid=25569 vsize=947552 CPUtime=882.1 cores=1,3,5,7
/proc/25571/task/25573/stat : 25573 (pwbo1.1) R 25569 25571 24381 0 -1 4202560 206781 0 0 0 86561 1649 0 0 25 0 3 0 891973091 970293248 212053 33554432000 4194304 5714118 140733558649728 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25571/tid=25574] ppid=25569 vsize=947552 CPUtime=882.1 cores=1,3,5,7
/proc/25571/task/25574/stat : 25574 (pwbo1.1) R 25569 25571 24381 0 -1 4202560 4996 0 0 0 86702 1508 0 0 25 0 3 0 891973091 970293248 212053 33554432000 4194304 5714118 140733558649728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1764.22
Current children cumulated vsize (KiB) 947552
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.201 s]
/proc/loadavg: 4.01 4.00 3.92 5/182 25614
/proc/meminfo: memFree=13460332/32951124 swapFree=67057920/67111528
[pid=25571] ppid=25569 vsize=947840 CPUtime=1800.04 cores=1,3,5,7
/proc/25571/stat : 25571 (pwbo1.1) S 25569 25571 24381 0 -1 4202496 215467 0 0 0 176781 3223 0 0 22 0 3 0 891973070 970588160 215409 33554432000 4194304 5714118 140733558649728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0
/proc/25571/statm: 236960 215409 182 372 0 236585 0
[pid=25571/tid=25573] ppid=25569 vsize=947840 CPUtime=900.01 cores=1,3,5,7
/proc/25571/task/25573/stat : 25573 (pwbo1.1) R 25569 25571 24381 0 -1 4202560 210103 0 0 0 88321 1680 0 0 25 0 3 0 891973091 970588160 215409 33554432000 4194304 5714118 140733558649728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25571/tid=25574] ppid=25569 vsize=947840 CPUtime=900.01 cores=1,3,5,7
/proc/25571/task/25574/stat : 25574 (pwbo1.1) R 25569 25571 24381 0 -1 4202560 5030 0 0 0 88459 1542 0 0 25 0 3 0 891973091 970588160 215409 33554432000 4194304 5714118 140733558649728 18446744073709551615 4299904 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 947840
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.253
CPU time (s): 1800.1
CPU user time (s): 1767.82
CPU system time (s): 32.2731
CPU usage (%): 199.955
Max. virtual memory (cumulated for all children) (KiB): 947840
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1767.82
system time used= 32.2731
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 215473
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= 36
involuntary context switches= 12975
runsolver used 1.45878 second user time and 3.37149 second system time
The end