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-3500461-1307995780/watcher-3500461-1307995780 -o /tmp/evaluation-result-3500461-1307995780/solver-3500461-1307995780 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500461-1307995780.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.42 3.80 3.85 3/179 25900
/proc/meminfo: memFree=16219528/32951124 swapFree=67053176/67111528
[pid=25900] ppid=25898 vsize=134808 CPUtime=0 cores=1,3,5,7
/proc/25900/stat : 25900 (pwbo1.1) S 25898 25900 24477 0 -1 4202496 407 0 0 0 0 0 0 0 24 0 3 0 911175727 138043392 357 33554432000 4194304 5714118 140734224530880 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/25900/statm: 33702 357 179 372 0 33327 0
[pid=25900/tid=25901] ppid=25898 vsize=134808 CPUtime=0 cores=1,3,5,7
/proc/25900/task/25901/stat : 25901 (pwbo1.1) R 25898 25900 24477 0 -1 4202560 49 0 0 0 0 0 0 0 25 0 3 0 911175727 138043392 357 33554432000 4194304 5714118 140734224530880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25900/tid=25902] ppid=25898 vsize=134808 CPUtime=0 cores=1,3,5,7
/proc/25900/task/25902/stat : 25902 (pwbo1.1) R 25898 25900 24477 0 -1 4202560 21 0 0 0 0 0 0 0 25 0 3 0 911175727 138043392 357 33554432000 4194304 5714118 140734224530880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[startup+0.0675511 s]
/proc/loadavg: 3.42 3.80 3.85 3/179 25900
/proc/meminfo: memFree=16219528/32951124 swapFree=67053176/67111528
[pid=25900] ppid=25898 vsize=134808 CPUtime=0.12 cores=1,3,5,7
/proc/25900/stat : 25900 (pwbo1.1) S 25898 25900 24477 0 -1 4202496 720 0 0 0 12 0 0 0 24 0 3 0 911175727 138043392 670 33554432000 4194304 5714118 140734224530880 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/25900/statm: 33702 670 179 372 0 33327 0
[pid=25900/tid=25901] ppid=25898 vsize=134808 CPUtime=0.06 cores=1,3,5,7
/proc/25900/task/25901/stat : 25901 (pwbo1.1) R 25898 25900 24477 0 -1 4202560 242 0 0 0 6 0 0 0 25 0 3 0 911175727 138043392 670 33554432000 4194304 5714118 140734224530880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25900/tid=25902] ppid=25898 vsize=134808 CPUtime=0.05 cores=1,3,5,7
/proc/25900/task/25902/stat : 25902 (pwbo1.1) R 25898 25900 24477 0 -1 4202560 141 0 0 0 5 0 0 0 25 0 3 0 911175727 138043392 670 33554432000 4194304 5714118 140734224530880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 134808
[startup+0.100545 s]
/proc/loadavg: 3.42 3.80 3.85 3/179 25900
/proc/meminfo: memFree=16219528/32951124 swapFree=67053176/67111528
[pid=25900] ppid=25898 vsize=134808 CPUtime=0.19 cores=1,3,5,7
/proc/25900/stat : 25900 (pwbo1.1) S 25898 25900 24477 0 -1 4202496 860 0 0 0 18 1 0 0 24 0 3 0 911175727 138043392 810 33554432000 4194304 5714118 140734224530880 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/25900/statm: 33702 811 179 372 0 33327 0
[pid=25900/tid=25901] ppid=25898 vsize=134808 CPUtime=0.09 cores=1,3,5,7
/proc/25900/task/25901/stat : 25901 (pwbo1.1) R 25898 25900 24477 0 -1 4202560 331 0 0 0 9 0 0 0 25 0 3 0 911175727 138043392 811 33554432000 4194304 5714118 140734224530880 18446744073709551615 4970308 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25900/tid=25902] ppid=25898 vsize=134808 CPUtime=0.08 cores=1,3,5,7
/proc/25900/task/25902/stat : 25902 (pwbo1.1) R 25898 25900 24477 0 -1 4202560 193 0 0 0 8 0 0 0 25 0 3 0 911175727 138043392 811 33554432000 4194304 5714118 140734224530880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 134808
[startup+0.300512 s]
/proc/loadavg: 3.42 3.80 3.85 3/179 25900
/proc/meminfo: memFree=16219528/32951124 swapFree=67053176/67111528
[pid=25900] ppid=25898 vsize=134808 CPUtime=0.59 cores=1,3,5,7
/proc/25900/stat : 25900 (pwbo1.1) S 25898 25900 24477 0 -1 4202496 1575 0 0 0 57 2 0 0 24 0 3 0 911175727 138043392 1525 33554432000 4194304 5714118 140734224530880 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/25900/statm: 33702 1525 179 372 0 33327 0
[pid=25900/tid=25901] ppid=25898 vsize=134808 CPUtime=0.28 cores=1,3,5,7
/proc/25900/task/25901/stat : 25901 (pwbo1.1) R 25898 25900 24477 0 -1 4202560 756 0 0 0 28 0 0 0 25 0 3 0 911175727 138043392 1525 33554432000 4194304 5714118 140734224530880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25900/tid=25902] ppid=25898 vsize=134808 CPUtime=0.29 cores=1,3,5,7
/proc/25900/task/25902/stat : 25902 (pwbo1.1) R 25898 25900 24477 0 -1 4202560 482 0 0 0 28 1 0 0 25 0 3 0 911175727 138043392 1525 33554432000 4194304 5714118 140734224530880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 134808
[startup+0.700436 s]
/proc/loadavg: 3.42 3.80 3.85 3/179 25900
/proc/meminfo: memFree=16219528/32951124 swapFree=67053176/67111528
[pid=25900] ppid=25898 vsize=134952 CPUtime=1.39 cores=1,3,5,7
/proc/25900/stat : 25900 (pwbo1.1) S 25898 25900 24477 0 -1 4202496 2333 0 0 0 135 4 0 0 24 0 3 0 911175727 138190848 2283 33554432000 4194304 5714118 140734224530880 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/25900/statm: 33738 2283 179 372 0 33363 0
[pid=25900/tid=25901] ppid=25898 vsize=134952 CPUtime=0.69 cores=1,3,5,7
/proc/25900/task/25901/stat : 25901 (pwbo1.1) R 25898 25900 24477 0 -1 4202560 1370 0 0 0 67 2 0 0 25 0 3 0 911175727 138190848 2283 33554432000 4194304 5714118 140734224530880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25900/tid=25902] ppid=25898 vsize=134952 CPUtime=0.68 cores=1,3,5,7
/proc/25900/task/25902/stat : 25902 (pwbo1.1) R 25898 25900 24477 0 -1 4202560 626 0 0 0 67 1 0 0 25 0 3 0 911175727 138190848 2283 33554432000 4194304 5714118 140734224530880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 134952
[startup+1.50029 s]
/proc/loadavg: 3.42 3.80 3.85 5/182 25903
/proc/meminfo: memFree=16209000/32951124 swapFree=67053176/67111528
[pid=25900] ppid=25898 vsize=135096 CPUtime=2.98 cores=1,3,5,7
/proc/25900/stat : 25900 (pwbo1.1) S 25898 25900 24477 0 -1 4202496 2991 0 0 0 291 7 0 0 24 0 3 0 911175727 138338304 2941 33554432000 4194304 5714118 140734224530880 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/25900/statm: 33774 2941 179 372 0 33399 0
[pid=25900/tid=25901] ppid=25898 vsize=135096 CPUtime=1.49 cores=1,3,5,7
/proc/25900/task/25901/stat : 25901 (pwbo1.1) R 25898 25900 24477 0 -1 4202560 1733 0 0 0 146 3 0 0 25 0 3 0 911175727 138338304 2941 33554432000 4194304 5714118 140734224530880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25900/tid=25902] ppid=25898 vsize=135096 CPUtime=1.48 cores=1,3,5,7
/proc/25900/task/25902/stat : 25902 (pwbo1.1) R 25898 25900 24477 0 -1 4202560 921 0 0 0 145 3 0 0 25 0 3 0 911175727 138338304 2941 33554432000 4194304 5714118 140734224530880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 135096
[startup+3.10101 s]
/proc/loadavg: 3.42 3.80 3.85 5/182 25903
/proc/meminfo: memFree=16204164/32951124 swapFree=67053176/67111528
[pid=25900] ppid=25898 vsize=135096 CPUtime=6.19 cores=1,3,5,7
/proc/25900/stat : 25900 (pwbo1.1) S 25898 25900 24477 0 -1 4202496 3920 0 0 0 607 12 0 0 24 0 3 0 911175727 138338304 3870 33554432000 4194304 5714118 140734224530880 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/25900/statm: 33774 3870 180 372 0 33399 0
[pid=25900/tid=25901] ppid=25898 vsize=135096 CPUtime=3.09 cores=1,3,5,7
/proc/25900/task/25901/stat : 25901 (pwbo1.1) R 25898 25900 24477 0 -1 4202560 2347 0 0 0 303 6 0 0 25 0 3 0 911175727 138338304 3870 33554432000 4194304 5714118 140734224530880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25900/tid=25902] ppid=25898 vsize=135096 CPUtime=3.09 cores=1,3,5,7
/proc/25900/task/25902/stat : 25902 (pwbo1.1) R 25898 25900 24477 0 -1 4202560 1236 0 0 0 304 5 0 0 25 0 3 0 911175727 138338304 3870 33554432000 4194304 5714118 140734224530880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 135096
[startup+6.30043 s]
/proc/loadavg: 3.46 3.80 3.85 5/182 25903
/proc/meminfo: memFree=16195848/32951124 swapFree=67053176/67111528
[pid=25900] ppid=25898 vsize=135240 CPUtime=12.59 cores=1,3,5,7
/proc/25900/stat : 25900 (pwbo1.1) S 25898 25900 24477 0 -1 4202496 5276 0 0 0 1238 21 0 0 24 0 3 0 911175727 138485760 5226 33554432000 4194304 5714118 140734224530880 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/25900/statm: 33810 5226 180 372 0 33435 0
[pid=25900/tid=25901] ppid=25898 vsize=135240 CPUtime=6.29 cores=1,3,5,7
/proc/25900/task/25901/stat : 25901 (pwbo1.1) R 25898 25900 24477 0 -1 4202560 3549 0 0 0 619 10 0 0 25 0 3 0 911175727 138485760 5226 33554432000 4194304 5714118 140734224530880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25900/tid=25902] ppid=25898 vsize=135240 CPUtime=6.28 cores=1,3,5,7
/proc/25900/task/25902/stat : 25902 (pwbo1.1) R 25898 25900 24477 0 -1 4202560 1390 0 0 0 618 10 0 0 25 0 3 0 911175727 138485760 5226 33554432000 4194304 5714118 140734224530880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 135240
[startup+12.7003 s]
/proc/loadavg: 3.51 3.80 3.85 5/182 25904
/proc/meminfo: memFree=16181988/32951124 swapFree=67053176/67111528
[pid=25900] ppid=25898 vsize=135240 CPUtime=25.39 cores=1,3,5,7
/proc/25900/stat : 25900 (pwbo1.1) S 25898 25900 24477 0 -1 4202496 7527 0 0 0 2499 40 0 0 24 0 3 0 911175727 138485760 7477 33554432000 4194304 5714118 140734224530880 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/25900/statm: 33810 7477 180 372 0 33435 0
[pid=25900/tid=25901] ppid=25898 vsize=135240 CPUtime=12.68 cores=1,3,5,7
/proc/25900/task/25901/stat : 25901 (pwbo1.1) R 25898 25900 24477 0 -1 4202560 5593 0 0 0 1251 17 0 0 25 0 3 0 911175727 138485760 7477 33554432000 4194304 5714118 140734224530880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25900/tid=25902] ppid=25898 vsize=135240 CPUtime=12.69 cores=1,3,5,7
/proc/25900/task/25902/stat : 25902 (pwbo1.1) R 25898 25900 24477 0 -1 4202560 1597 0 0 0 1247 22 0 0 25 0 3 0 911175727 138485760 7477 33554432000 4194304 5714118 140734224530880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 135240
[startup+25.5009 s]
/proc/loadavg: 3.62 3.81 3.85 5/182 25904
/proc/meminfo: memFree=16155932/32951124 swapFree=67053176/67111528
[pid=25900] ppid=25898 vsize=135240 CPUtime=50.99 cores=1,3,5,7
/proc/25900/stat : 25900 (pwbo1.1) S 25898 25900 24477 0 -1 4202496 10918 0 0 0 5029 70 0 0 24 0 3 0 911175727 138485760 10868 33554432000 4194304 5714118 140734224530880 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/25900/statm: 33810 10868 180 372 0 33435 0
[pid=25900/tid=25901] ppid=25898 vsize=135240 CPUtime=25.49 cores=1,3,5,7
/proc/25900/task/25901/stat : 25901 (pwbo1.1) R 25898 25900 24477 0 -1 4202560 8526 0 0 0 2517 32 0 0 25 0 3 0 911175727 138485760 10868 33554432000 4194304 5714118 140734224530880 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25900/tid=25902] ppid=25898 vsize=135240 CPUtime=25.49 cores=1,3,5,7
/proc/25900/task/25902/stat : 25902 (pwbo1.1) R 25898 25900 24477 0 -1 4202560 2055 0 0 0 2511 38 0 0 25 0 3 0 911175727 138485760 10868 33554432000 4194304 5714118 140734224530880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 135240
[startup+51.1003 s]
/proc/loadavg: 3.81 3.84 3.86 5/182 25905
/proc/meminfo: memFree=16110824/32951124 swapFree=67053176/67111528
[pid=25900] ppid=25898 vsize=135456 CPUtime=102.19 cores=1,3,5,7
/proc/25900/stat : 25900 (pwbo1.1) S 25898 25900 24477 0 -1 4202496 17652 0 0 0 10088 131 0 0 24 0 3 0 911175727 138706944 17602 33554432000 4194304 5714118 140734224530880 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/25900/statm: 33864 17602 180 372 0 33489 0
[pid=25900/tid=25901] ppid=25898 vsize=135456 CPUtime=51.09 cores=1,3,5,7
/proc/25900/task/25901/stat : 25901 (pwbo1.1) R 25898 25900 24477 0 -1 4202560 14576 0 0 0 5048 61 0 0 25 0 3 0 911175727 138706944 17602 33554432000 4194304 5714118 140734224530880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25900/tid=25902] ppid=25898 vsize=135456 CPUtime=51.09 cores=1,3,5,7
/proc/25900/task/25902/stat : 25902 (pwbo1.1) R 25898 25900 24477 0 -1 4202560 2739 0 0 0 5039 70 0 0 25 0 3 0 911175727 138706944 17602 33554432000 4194304 5714118 140734224530880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 135456
[startup+102.307 s]
/proc/loadavg: 3.92 3.86 3.87 5/182 25906
/proc/meminfo: memFree=16033008/32951124 swapFree=67053176/67111528
[pid=25900] ppid=25898 vsize=201712 CPUtime=204.6 cores=1,3,5,7
/proc/25900/stat : 25900 (pwbo1.1) S 25898 25900 24477 0 -1 4202496 28088 0 0 0 20223 237 0 0 24 0 3 0 911175727 206553088 28001 33554432000 4194304 5714118 140734224530880 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/25900/statm: 50428 28001 180 372 0 50053 0
[pid=25900/tid=25901] ppid=25898 vsize=201712 CPUtime=102.3 cores=1,3,5,7
/proc/25900/task/25901/stat : 25901 (pwbo1.1) R 25898 25900 24477 0 -1 4202560 24289 0 0 0 10117 113 0 0 25 0 3 0 911175727 206553088 28001 33554432000 4194304 5714118 140734224530880 18446744073709551615 4319293 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25900/tid=25902] ppid=25898 vsize=201712 CPUtime=102.3 cores=1,3,5,7
/proc/25900/task/25902/stat : 25902 (pwbo1.1) R 25898 25900 24477 0 -1 4202560 3462 0 0 0 10106 124 0 0 25 0 3 0 911175727 206553088 28001 33554432000 4194304 5714118 140734224530880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 204.6
Current children cumulated vsize (KiB) 201712
[startup+162.3 s]
/proc/loadavg: 3.97 3.89 3.87 5/182 25908
/proc/meminfo: memFree=15951976/32951124 swapFree=67053176/67111528
[pid=25900] ppid=25898 vsize=268112 CPUtime=324.6 cores=1,3,5,7
/proc/25900/stat : 25900 (pwbo1.1) S 25898 25900 24477 0 -1 4202496 39903 0 0 0 32105 355 0 0 24 0 3 0 911175727 274546688 39567 33554432000 4194304 5714118 140734224530880 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/25900/statm: 67028 39567 180 372 0 66653 0
[pid=25900/tid=25901] ppid=25898 vsize=268112 CPUtime=162.3 cores=1,3,5,7
/proc/25900/task/25901/stat : 25901 (pwbo1.1) R 25898 25900 24477 0 -1 4202560 35510 0 0 0 16063 167 0 0 25 0 3 0 911175727 274546688 39567 33554432000 4194304 5714118 140734224530880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25900/tid=25902] ppid=25898 vsize=268112 CPUtime=162.29 cores=1,3,5,7
/proc/25900/task/25902/stat : 25902 (pwbo1.1) R 25898 25900 24477 0 -1 4202560 4056 0 0 0 16042 187 0 0 25 0 3 0 911175727 274546688 39567 33554432000 4194304 5714118 140734224530880 18446744073709551615 4299724 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 324.6
Current children cumulated vsize (KiB) 268112
[startup+222.3 s]
/proc/loadavg: 3.99 3.90 3.88 5/182 25909
/proc/meminfo: memFree=15872312/32951124 swapFree=67053176/67111528
[pid=25900] ppid=25898 vsize=269480 CPUtime=444.6 cores=1,3,5,7
/proc/25900/stat : 25900 (pwbo1.1) S 25898 25900 24477 0 -1 4202496 50210 0 0 0 43983 477 0 0 24 0 3 0 911175727 275947520 49874 33554432000 4194304 5714118 140734224530880 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/25900/statm: 67370 49874 180 372 0 66995 0
[pid=25900/tid=25901] ppid=25898 vsize=269480 CPUtime=222.29 cores=1,3,5,7
/proc/25900/task/25901/stat : 25901 (pwbo1.1) R 25898 25900 24477 0 -1 4202560 45810 0 0 0 22008 221 0 0 25 0 3 0 911175727 275947520 49874 33554432000 4194304 5714118 140734224530880 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25900/tid=25902] ppid=25898 vsize=269480 CPUtime=222.29 cores=1,3,5,7
/proc/25900/task/25902/stat : 25902 (pwbo1.1) R 25898 25900 24477 0 -1 4202560 4063 0 0 0 21974 255 0 0 25 0 3 0 911175727 275947520 49874 33554432000 4194304 5714118 140734224530880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 444.6
Current children cumulated vsize (KiB) 269480
[startup+282.3 s]
/proc/loadavg: 3.99 3.92 3.88 5/182 25911
/proc/meminfo: memFree=15797348/32951124 swapFree=67053176/67111528
[pid=25900] ppid=25898 vsize=335376 CPUtime=564.6 cores=1,3,5,7
/proc/25900/stat : 25900 (pwbo1.1) S 25898 25900 24477 0 -1 4202496 60482 0 0 0 55856 604 0 0 24 0 3 0 911175727 343425024 59817 33554432000 4194304 5714118 140734224530880 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/25900/statm: 83844 59817 180 372 0 83469 0
[pid=25900/tid=25901] ppid=25898 vsize=335376 CPUtime=282.3 cores=1,3,5,7
/proc/25900/task/25901/stat : 25901 (pwbo1.1) R 25898 25900 24477 0 -1 4202560 55697 0 0 0 27954 276 0 0 25 0 3 0 911175727 343425024 59817 33554432000 4194304 5714118 140734224530880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25900/tid=25902] ppid=25898 vsize=335376 CPUtime=282.3 cores=1,3,5,7
/proc/25900/task/25902/stat : 25902 (pwbo1.1) R 25898 25900 24477 0 -1 4202560 4448 0 0 0 27902 328 0 0 25 0 3 0 911175727 343425024 59817 33554432000 4194304 5714118 140734224530880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 564.6
Current children cumulated vsize (KiB) 335376
[startup+342.301 s]
/proc/loadavg: 3.99 3.93 3.89 5/182 25912
/proc/meminfo: memFree=15724764/32951124 swapFree=67053176/67111528
[pid=25900] ppid=25898 vsize=336040 CPUtime=684.61 cores=1,3,5,7
/proc/25900/stat : 25900 (pwbo1.1) S 25898 25900 24477 0 -1 4202496 70150 0 0 0 67740 721 0 0 24 0 3 0 911175727 344104960 69476 33554432000 4194304 5714118 140734224530880 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/25900/statm: 84010 69476 180 372 0 83635 0
[pid=25900/tid=25901] ppid=25898 vsize=336040 CPUtime=342.3 cores=1,3,5,7
/proc/25900/task/25901/stat : 25901 (pwbo1.1) R 25898 25900 24477 0 -1 4202560 65349 0 0 0 33904 326 0 0 25 0 3 0 911175727 344104960 69476 33554432000 4194304 5714118 140734224530880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25900/tid=25902] ppid=25898 vsize=336040 CPUtime=342.29 cores=1,3,5,7
/proc/25900/task/25902/stat : 25902 (pwbo1.1) R 25898 25900 24477 0 -1 4202560 4464 0 0 0 33835 394 0 0 25 0 3 0 911175727 344104960 69476 33554432000 4194304 5714118 140734224530880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 684.61
Current children cumulated vsize (KiB) 336040
[startup+402.301 s]
/proc/loadavg: 4.03 3.95 3.90 5/182 25914
/proc/meminfo: memFree=15656500/32951124 swapFree=67053176/67111528
[pid=25900] ppid=25898 vsize=401864 CPUtime=804.61 cores=1,3,5,7
/proc/25900/stat : 25900 (pwbo1.1) S 25898 25900 24477 0 -1 4202496 79846 0 0 0 79622 839 0 0 24 0 3 0 911175727 411508736 78958 33554432000 4194304 5714118 140734224530880 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/25900/statm: 100466 78958 180 372 0 100091 0
[pid=25900/tid=25901] ppid=25898 vsize=401864 CPUtime=402.3 cores=1,3,5,7
/proc/25900/task/25901/stat : 25901 (pwbo1.1) R 25898 25900 24477 0 -1 4202560 74432 0 0 0 39852 378 0 0 25 0 3 0 911175727 411508736 78958 33554432000 4194304 5714118 140734224530880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25900/tid=25902] ppid=25898 vsize=401864 CPUtime=402.3 cores=1,3,5,7
/proc/25900/task/25902/stat : 25902 (pwbo1.1) R 25898 25900 24477 0 -1 4202560 5077 0 0 0 39770 460 0 0 25 0 3 0 911175727 411508736 78958 33554432000 4194304 5714118 140734224530880 18446744073709551615 4300160 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 804.61
Current children cumulated vsize (KiB) 401864
[startup+462.301 s]
/proc/loadavg: 4.01 3.96 3.91 5/182 25916
/proc/meminfo: memFree=15588248/32951124 swapFree=67053176/67111528
[pid=25900] ppid=25898 vsize=468120 CPUtime=924.61 cores=1,3,5,7
/proc/25900/stat : 25900 (pwbo1.1) S 25898 25900 24477 0 -1 4202496 90101 0 0 0 91516 945 0 0 24 0 3 0 911175727 479354880 88557 33554432000 4194304 5714118 140734224530880 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/25900/statm: 117030 88557 180 372 0 116655 0
[pid=25900/tid=25901] ppid=25898 vsize=468120 CPUtime=462.31 cores=1,3,5,7
/proc/25900/task/25901/stat : 25901 (pwbo1.1) R 25898 25900 24477 0 -1 4202560 83681 0 0 0 45806 425 0 0 25 0 3 0 911175727 479354880 88557 33554432000 4194304 5714118 140734224530880 18446744073709551615 4299735 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25900/tid=25902] ppid=25898 vsize=468120 CPUtime=462.3 cores=1,3,5,7
/proc/25900/task/25902/stat : 25902 (pwbo1.1) R 25898 25900 24477 0 -1 4202560 6083 0 0 0 45710 520 0 0 25 0 3 0 911175727 479354880 88557 33554432000 4194304 5714118 140734224530880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 924.61
Current children cumulated vsize (KiB) 468120
[startup+522.301 s]
/proc/loadavg: 4.00 3.97 3.91 5/182 25917
/proc/meminfo: memFree=15522092/32951124 swapFree=67053176/67111528
[pid=25900] ppid=25898 vsize=468424 CPUtime=1044.61 cores=1,3,5,7
/proc/25900/stat : 25900 (pwbo1.1) S 25898 25900 24477 0 -1 4202496 100087 0 0 0 103414 1047 0 0 24 0 3 0 911175727 479666176 97901 33554432000 4194304 5714118 140734224530880 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/25900/statm: 117106 97901 180 372 0 116731 0
[pid=25900/tid=25901] ppid=25898 vsize=468424 CPUtime=522.31 cores=1,3,5,7
/proc/25900/task/25901/stat : 25901 (pwbo1.1) R 25898 25900 24477 0 -1 4202560 92688 0 0 0 51757 474 0 0 25 0 3 0 911175727 479666176 97901 33554432000 4194304 5714118 140734224530880 18446744073709551615 4319321 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25900/tid=25902] ppid=25898 vsize=468424 CPUtime=522.3 cores=1,3,5,7
/proc/25900/task/25902/stat : 25902 (pwbo1.1) R 25898 25900 24477 0 -1 4202560 7062 0 0 0 51657 573 0 0 25 0 3 0 911175727 479666176 97901 33554432000 4194304 5714118 140734224530880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1044.61
Current children cumulated vsize (KiB) 468424
[startup+582.301 s]
/proc/loadavg: 4.00 3.97 3.91 5/182 25919
/proc/meminfo: memFree=15450852/32951124 swapFree=67053176/67111528
[pid=25900] ppid=25898 vsize=534608 CPUtime=1164.62 cores=1,3,5,7
/proc/25900/stat : 25900 (pwbo1.1) S 25898 25900 24477 0 -1 4202496 109018 0 0 0 115319 1143 0 0 24 0 3 0 911175727 547438592 106662 33554432000 4194304 5714118 140734224530880 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/25900/statm: 133652 106662 180 372 0 133277 0
[pid=25900/tid=25901] ppid=25898 vsize=534608 CPUtime=582.3 cores=1,3,5,7
/proc/25900/task/25901/stat : 25901 (pwbo1.1) R 25898 25900 24477 0 -1 4202560 101008 0 0 0 57711 519 0 0 25 0 3 0 911175727 547438592 106662 33554432000 4194304 5714118 140734224530880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25900/tid=25902] ppid=25898 vsize=534608 CPUtime=582.3 cores=1,3,5,7
/proc/25900/task/25902/stat : 25902 (pwbo1.1) R 25898 25900 24477 0 -1 4202560 7673 0 0 0 57607 623 0 0 25 0 3 0 911175727 547438592 106662 33554432000 4194304 5714118 140734224530880 18446744073709551615 4346824 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1164.62
Current children cumulated vsize (KiB) 534608
[startup+642.3 s]
/proc/loadavg: 4.04 3.99 3.91 5/182 25920
/proc/meminfo: memFree=15385824/32951124 swapFree=67053176/67111528
[pid=25900] ppid=25898 vsize=534752 CPUtime=1284.63 cores=1,3,5,7
/proc/25900/stat : 25900 (pwbo1.1) S 25898 25900 24477 0 -1 4202496 117156 0 0 0 127212 1251 0 0 24 0 3 0 911175727 547586048 114743 33554432000 4194304 5714118 140734224530880 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/25900/statm: 133688 114743 180 372 0 133313 0
[pid=25900/tid=25901] ppid=25898 vsize=534752 CPUtime=642.31 cores=1,3,5,7
/proc/25900/task/25901/stat : 25901 (pwbo1.1) R 25898 25900 24477 0 -1 4202560 109144 0 0 0 63658 573 0 0 25 0 3 0 911175727 547586048 114743 33554432000 4194304 5714118 140734224530880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25900/tid=25902] ppid=25898 vsize=534752 CPUtime=642.31 cores=1,3,5,7
/proc/25900/task/25902/stat : 25902 (pwbo1.1) R 25898 25900 24477 0 -1 4202560 7675 0 0 0 63553 678 0 0 25 0 3 0 911175727 547586048 114743 33554432000 4194304 5714118 140734224530880 18446744073709551615 4319206 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1284.63
Current children cumulated vsize (KiB) 534752
[startup+702.3 s]
/proc/loadavg: 4.01 3.99 3.91 5/182 25922
/proc/meminfo: memFree=15324148/32951124 swapFree=67053176/67111528
[pid=25900] ppid=25898 vsize=600720 CPUtime=1404.62 cores=1,3,5,7
/proc/25900/stat : 25900 (pwbo1.1) S 25898 25900 24477 0 -1 4202496 125367 0 0 0 139106 1356 0 0 24 0 3 0 911175727 615137280 122901 33554432000 4194304 5714118 140734224530880 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/25900/statm: 150180 122901 180 372 0 149805 0
[pid=25900/tid=25901] ppid=25898 vsize=600720 CPUtime=702.31 cores=1,3,5,7
/proc/25900/task/25901/stat : 25901 (pwbo1.1) R 25898 25900 24477 0 -1 4202560 117230 0 0 0 69610 621 0 0 25 0 3 0 911175727 615137280 122901 33554432000 4194304 5714118 140734224530880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25900/tid=25902] ppid=25898 vsize=600720 CPUtime=702.31 cores=1,3,5,7
/proc/25900/task/25902/stat : 25902 (pwbo1.1) R 25898 25900 24477 0 -1 4202560 7800 0 0 0 69496 735 0 0 25 0 3 0 911175727 615137280 122901 33554432000 4194304 5714118 140734224530880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1404.62
Current children cumulated vsize (KiB) 600720
[startup+762.307 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 25924
/proc/meminfo: memFree=15259728/32951124 swapFree=67053176/67111528
[pid=25900] ppid=25898 vsize=601080 CPUtime=1524.64 cores=1,3,5,7
/proc/25900/stat : 25900 (pwbo1.1) S 25898 25900 24477 0 -1 4202496 133750 0 0 0 150980 1484 0 0 24 0 3 0 911175727 615505920 131284 33554432000 4194304 5714118 140734224530880 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/25900/statm: 150270 131284 180 372 0 149895 0
[pid=25900/tid=25901] ppid=25898 vsize=601080 CPUtime=762.32 cores=1,3,5,7
/proc/25900/task/25901/stat : 25901 (pwbo1.1) R 25898 25900 24477 0 -1 4202560 125613 0 0 0 75558 674 0 0 25 0 3 0 911175727 615505920 131284 33554432000 4194304 5714118 140734224530880 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25900/tid=25902] ppid=25898 vsize=601080 CPUtime=762.31 cores=1,3,5,7
/proc/25900/task/25902/stat : 25902 (pwbo1.1) R 25898 25900 24477 0 -1 4202560 7800 0 0 0 75422 809 0 0 25 0 3 0 911175727 615505920 131284 33554432000 4194304 5714118 140734224530880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1524.64
Current children cumulated vsize (KiB) 601080
[startup+822.301 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 25925
/proc/meminfo: memFree=15193092/32951124 swapFree=67053176/67111528
[pid=25900] ppid=25898 vsize=666904 CPUtime=1644.63 cores=1,3,5,7
/proc/25900/stat : 25900 (pwbo1.1) S 25898 25900 24477 0 -1 4202496 142462 0 0 0 162863 1600 0 0 24 0 3 0 911175727 682909696 139996 33554432000 4194304 5714118 140734224530880 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/25900/statm: 166726 139997 180 372 0 166351 0
[pid=25900/tid=25901] ppid=25898 vsize=666904 CPUtime=822.31 cores=1,3,5,7
/proc/25900/task/25901/stat : 25901 (pwbo1.1) R 25898 25900 24477 0 -1 4202560 134325 0 0 0 81508 723 0 0 25 0 3 0 911175727 682909696 139997 33554432000 4194304 5714118 140734224530880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25900/tid=25902] ppid=25898 vsize=666904 CPUtime=822.31 cores=1,3,5,7
/proc/25900/task/25902/stat : 25902 (pwbo1.1) R 25898 25900 24477 0 -1 4202560 7801 0 0 0 81355 876 0 0 25 0 3 0 911175727 682909696 139997 33554432000 4194304 5714118 140734224530880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1644.63
Current children cumulated vsize (KiB) 666904
[startup+882.301 s]
/proc/loadavg: 3.11 3.77 3.84 3/174 25952
/proc/meminfo: memFree=15699192/32951124 swapFree=67053176/67111528
[pid=25900] ppid=25898 vsize=667192 CPUtime=1764.64 cores=1,3,5,7
/proc/25900/stat : 25900 (pwbo1.1) S 25898 25900 24477 0 -1 4202496 150565 0 0 0 174698 1766 0 0 24 0 3 0 911175727 683204608 148099 33554432000 4194304 5714118 140734224530880 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/25900/statm: 166798 148099 180 372 0 166423 0
[pid=25900/tid=25901] ppid=25898 vsize=667192 CPUtime=882.32 cores=1,3,5,7
/proc/25900/task/25901/stat : 25901 (pwbo1.1) R 25898 25900 24477 0 -1 4202560 142425 0 0 0 87441 791 0 0 25 0 3 0 911175727 683204608 148099 33554432000 4194304 5714118 140734224530880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25900/tid=25902] ppid=25898 vsize=667192 CPUtime=882.31 cores=1,3,5,7
/proc/25900/task/25902/stat : 25902 (pwbo1.1) R 25898 25900 24477 0 -1 4202560 7803 0 0 0 87257 974 0 0 25 0 3 0 911175727 683204608 148099 33554432000 4194304 5714118 140734224530880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1764.64
Current children cumulated vsize (KiB) 667192
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.001 s]
/proc/loadavg: 2.80 3.65 3.80 3/174 25952
/proc/meminfo: memFree=15690992/32951124 swapFree=67053176/67111528
[pid=25900] ppid=25898 vsize=667192 CPUtime=1800.05 cores=1,3,5,7
/proc/25900/stat : 25900 (pwbo1.1) S 25898 25900 24477 0 -1 4202496 152602 0 0 0 178180 1825 0 0 24 0 3 0 911175727 683204608 150136 33554432000 4194304 5714118 140734224530880 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/25900/statm: 166798 150136 180 372 0 166423 0
[pid=25900/tid=25901] ppid=25898 vsize=667192 CPUtime=900.02 cores=1,3,5,7
/proc/25900/task/25901/stat : 25901 (pwbo1.1) R 25898 25900 24477 0 -1 4202560 144462 0 0 0 89184 818 0 0 25 0 3 0 911175727 683204608 150136 33554432000 4194304 5714118 140734224530880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25900/tid=25902] ppid=25898 vsize=667192 CPUtime=900.01 cores=1,3,5,7
/proc/25900/task/25902/stat : 25902 (pwbo1.1) R 25898 25900 24477 0 -1 4202560 7803 0 0 0 88996 1005 0 0 25 0 3 0 911175727 683204608 150136 33554432000 4194304 5714118 140734224530880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 667192
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.039
CPU time (s): 1800.1
CPU user time (s): 1781.82
CPU system time (s): 18.2772
CPU usage (%): 200.002
Max. virtual memory (cumulated for all children) (KiB): 667192
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1781.82
system time used= 18.2772
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 152608
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= 35
involuntary context switches= 4083
runsolver used 1.54476 second user time and 3.21851 second system time
The end