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-3500767-1307998066/watcher-3500767-1307998066 -o /var/tmp/evaluation-result-3500767-1307998066/solver-3500767-1307998066 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500767-1307998066.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: 1.84 2.27 2.99 3/179 14040
/proc/meminfo: memFree=12828340/32951124 swapFree=67056684/67111528
[pid=14040] ppid=14038 vsize=8796 CPUtime=0 cores=1,3,5,7
/proc/14040/stat : 14040 (pwbo1.1) R 14038 14040 12151 0 -1 4202496 648 0 0 0 0 0 0 0 22 0 1 0 911407414 9007104 600 33554432000 4194304 5714118 140736004589824 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14040/statm: 2199 600 164 372 0 511 0
[startup+0.0907019 s]
/proc/loadavg: 1.84 2.27 2.99 3/179 14040
/proc/meminfo: memFree=12828340/32951124 swapFree=67056684/67111528
[pid=14040] ppid=14038 vsize=20424 CPUtime=0.08 cores=1,3,5,7
/proc/14040/stat : 14040 (pwbo1.1) R 14038 14040 12151 0 -1 4202496 3831 0 0 0 8 0 0 0 22 0 1 0 911407414 20914176 3783 33554432000 4194304 5714118 140736004589824 18446744073709551615 4228496 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14040/statm: 5106 3783 416 372 0 3418 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 20424
[startup+0.100697 s]
/proc/loadavg: 1.84 2.27 2.99 3/179 14040
/proc/meminfo: memFree=12828340/32951124 swapFree=67056684/67111528
[pid=14040] ppid=14038 vsize=21876 CPUtime=0.09 cores=1,3,5,7
/proc/14040/stat : 14040 (pwbo1.1) R 14038 14040 12151 0 -1 4202496 4226 0 0 0 9 0 0 0 22 0 1 0 911407414 22401024 4178 33554432000 4194304 5714118 140736004589824 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14040/statm: 5469 4182 445 372 0 3781 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21876
[startup+0.300663 s]
/proc/loadavg: 1.84 2.27 2.99 3/179 14040
/proc/meminfo: memFree=12828340/32951124 swapFree=67056684/67111528
[pid=14040] ppid=14038 vsize=49764 CPUtime=0.29 cores=1,3,5,7
/proc/14040/stat : 14040 (pwbo1.1) R 14038 14040 12151 0 -1 4202496 11785 0 0 0 28 1 0 0 23 0 1 0 911407414 50958336 11737 33554432000 4194304 5714118 140736004589824 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14040/statm: 12441 11742 1041 372 0 10753 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 49764
[startup+0.700588 s]
/proc/loadavg: 1.84 2.27 2.99 3/179 14040
/proc/meminfo: memFree=12828340/32951124 swapFree=67056684/67111528
[pid=14040] ppid=14038 vsize=197236 CPUtime=0.95 cores=1,3,5,7
/proc/14040/stat : 14040 (pwbo1.1) S 14038 14040 12151 0 -1 4202496 28898 0 0 0 90 5 0 0 24 0 3 0 911407414 201969664 27473 33554432000 4194304 5714118 140736004589824 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/14040/statm: 49309 27473 178 372 0 48934 0
Current children cumulated CPU time (s) 0.95
Current children cumulated vsize (KiB) 197236
[startup+1.50045 s]
/proc/loadavg: 2.01 2.29 2.99 5/182 14043
/proc/meminfo: memFree=12693688/32951124 swapFree=67056684/67111528
[pid=14040] ppid=14038 vsize=197236 CPUtime=2.55 cores=1,3,5,7
/proc/14040/stat : 14040 (pwbo1.1) S 14038 14040 12151 0 -1 4202496 28920 0 0 0 250 5 0 0 24 0 3 0 911407414 201969664 27495 33554432000 4194304 5714118 140736004589824 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/14040/statm: 49309 27495 178 372 0 48934 0
[pid=14040/tid=14042] ppid=14038 vsize=197236 CPUtime=1.05 cores=1,3,5,7
/proc/14040/task/14042/stat : 14042 (pwbo1.1) R 14038 14040 12151 0 -1 4202560 11481 0 0 0 103 2 0 0 25 0 3 0 911407458 201969664 27495 33554432000 4194304 5714118 140736004589824 18446744073709551615 4200720 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=14040/tid=14043] ppid=14038 vsize=197236 CPUtime=1.05 cores=1,3,5,7
/proc/14040/task/14043/stat : 14043 (pwbo1.1) R 14038 14040 12151 0 -1 4202560 239 0 0 0 105 0 0 0 25 0 3 0 911407458 201969664 27495 33554432000 4194304 5714118 140736004589824 18446744073709551615 4323024 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.55
Current children cumulated vsize (KiB) 197236
[startup+3.10114 s]
/proc/loadavg: 2.01 2.29 2.99 5/182 14043
/proc/meminfo: memFree=12680048/32951124 swapFree=67056684/67111528
[pid=14040] ppid=14038 vsize=197236 CPUtime=5.75 cores=1,3,5,7
/proc/14040/stat : 14040 (pwbo1.1) S 14038 14040 12151 0 -1 4202496 28952 0 0 0 570 5 0 0 24 0 3 0 911407414 201969664 27527 33554432000 4194304 5714118 140736004589824 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/14040/statm: 49309 27527 178 372 0 48934 0
[pid=14040/tid=14042] ppid=14038 vsize=197236 CPUtime=2.65 cores=1,3,5,7
/proc/14040/task/14042/stat : 14042 (pwbo1.1) R 14038 14040 12151 0 -1 4202560 11481 0 0 0 263 2 0 0 25 0 3 0 911407458 201969664 27527 33554432000 4194304 5714118 140736004589824 18446744073709551615 4200608 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=14040/tid=14043] ppid=14038 vsize=197236 CPUtime=2.65 cores=1,3,5,7
/proc/14040/task/14043/stat : 14043 (pwbo1.1) R 14038 14040 12151 0 -1 4202560 271 0 0 0 265 0 0 0 25 0 3 0 911407458 201969664 27527 33554432000 4194304 5714118 140736004589824 18446744073709551615 4322999 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.75
Current children cumulated vsize (KiB) 197236
[startup+6.30056 s]
/proc/loadavg: 2.01 2.29 2.99 5/182 14043
/proc/meminfo: memFree=12666932/32951124 swapFree=67056684/67111528
[pid=14040] ppid=14038 vsize=197236 CPUtime=12.15 cores=1,3,5,7
/proc/14040/stat : 14040 (pwbo1.1) S 14038 14040 12151 0 -1 4202496 29590 0 0 0 1209 6 0 0 24 0 3 0 911407414 201969664 28165 33554432000 4194304 5714118 140736004589824 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/14040/statm: 49309 28165 179 372 0 48934 0
[pid=14040/tid=14042] ppid=14038 vsize=197236 CPUtime=5.85 cores=1,3,5,7
/proc/14040/task/14042/stat : 14042 (pwbo1.1) R 14038 14040 12151 0 -1 4202560 11482 0 0 0 583 2 0 0 25 0 3 0 911407458 201969664 28165 33554432000 4194304 5714118 140736004589824 18446744073709551615 4323028 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=14040/tid=14043] ppid=14038 vsize=197236 CPUtime=5.85 cores=1,3,5,7
/proc/14040/task/14043/stat : 14043 (pwbo1.1) R 14038 14040 12151 0 -1 4202560 908 0 0 0 585 0 0 0 25 0 3 0 911407458 201969664 28165 33554432000 4194304 5714118 140736004589824 18446744073709551615 4200608 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.15
Current children cumulated vsize (KiB) 197236
[startup+12.7004 s]
/proc/loadavg: 2.32 2.35 3.01 5/182 14044
/proc/meminfo: memFree=12618568/32951124 swapFree=67056684/67111528
[pid=14040] ppid=14038 vsize=262868 CPUtime=24.95 cores=1,3,5,7
/proc/14040/stat : 14040 (pwbo1.1) S 14038 14040 12151 0 -1 4202496 36095 0 0 0 2487 8 0 0 24 0 3 0 911407414 269176832 34607 33554432000 4194304 5714118 140736004589824 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/14040/statm: 65717 34607 179 372 0 65342 0
[pid=14040/tid=14042] ppid=14038 vsize=262868 CPUtime=12.25 cores=1,3,5,7
/proc/14040/task/14042/stat : 14042 (pwbo1.1) R 14038 14040 12151 0 -1 4202560 17788 0 0 0 1221 4 0 0 25 0 3 0 911407458 269176832 34607 33554432000 4194304 5714118 140736004589824 18446744073709551615 4200634 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=14040/tid=14043] ppid=14038 vsize=262868 CPUtime=12.24 cores=1,3,5,7
/proc/14040/task/14043/stat : 14043 (pwbo1.1) R 14038 14040 12151 0 -1 4202560 1107 0 0 0 1224 0 0 0 25 0 3 0 911407458 269176832 34607 33554432000 4194304 5714118 140736004589824 18446744073709551615 4200621 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 24.95
Current children cumulated vsize (KiB) 262868
[startup+25.501 s]
/proc/loadavg: 2.58 2.40 3.02 5/182 14044
/proc/meminfo: memFree=12585320/32951124 swapFree=67056684/67111528
[pid=14040] ppid=14038 vsize=262868 CPUtime=50.55 cores=1,3,5,7
/proc/14040/stat : 14040 (pwbo1.1) S 14038 14040 12151 0 -1 4202496 37844 0 0 0 5045 10 0 0 24 0 3 0 911407414 269176832 36356 33554432000 4194304 5714118 140736004589824 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/14040/statm: 65717 36356 179 372 0 65342 0
[pid=14040/tid=14042] ppid=14038 vsize=262868 CPUtime=25.05 cores=1,3,5,7
/proc/14040/task/14042/stat : 14042 (pwbo1.1) R 14038 14040 12151 0 -1 4202560 17788 0 0 0 2500 5 0 0 25 0 3 0 911407458 269176832 36356 33554432000 4194304 5714118 140736004589824 18446744073709551615 4323028 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=14040/tid=14043] ppid=14038 vsize=262868 CPUtime=25.04 cores=1,3,5,7
/proc/14040/task/14043/stat : 14043 (pwbo1.1) R 14038 14040 12151 0 -1 4202560 2856 0 0 0 2503 1 0 0 25 0 3 0 911407458 269176832 36356 33554432000 4194304 5714118 140736004589824 18446744073709551615 4322981 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.55
Current children cumulated vsize (KiB) 262868
[startup+51.1004 s]
/proc/loadavg: 3.06 2.53 3.04 5/182 14045
/proc/meminfo: memFree=12563840/32951124 swapFree=67056684/67111528
[pid=14040] ppid=14038 vsize=262868 CPUtime=101.75 cores=1,3,5,7
/proc/14040/stat : 14040 (pwbo1.1) S 14038 14040 12151 0 -1 4202496 39362 0 0 0 10162 13 0 0 24 0 3 0 911407414 269176832 37874 33554432000 4194304 5714118 140736004589824 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/14040/statm: 65717 37875 179 372 0 65342 0
[pid=14040/tid=14042] ppid=14038 vsize=262868 CPUtime=50.65 cores=1,3,5,7
/proc/14040/task/14042/stat : 14042 (pwbo1.1) R 14038 14040 12151 0 -1 4202560 17788 0 0 0 5059 6 0 0 25 0 3 0 911407458 269176832 37875 33554432000 4194304 5714118 140736004589824 18446744073709551615 4323017 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=14040/tid=14043] ppid=14038 vsize=262868 CPUtime=50.64 cores=1,3,5,7
/proc/14040/task/14043/stat : 14043 (pwbo1.1) R 14038 14040 12151 0 -1 4202560 4375 0 0 0 5060 4 0 0 25 0 3 0 911407458 269176832 37875 33554432000 4194304 5714118 140736004589824 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.75
Current children cumulated vsize (KiB) 262868
[startup+102.306 s]
/proc/loadavg: 3.62 2.78 3.09 5/182 14046
/proc/meminfo: memFree=12492392/32951124 swapFree=67056684/67111528
[pid=14040] ppid=14038 vsize=262868 CPUtime=204.16 cores=1,3,5,7
/proc/14040/stat : 14040 (pwbo1.1) S 14038 14040 12151 0 -1 4202496 42635 0 0 0 20394 22 0 0 24 0 3 0 911407414 269176832 41147 33554432000 4194304 5714118 140736004589824 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/14040/statm: 65717 41147 179 372 0 65342 0
[pid=14040/tid=14042] ppid=14038 vsize=262868 CPUtime=101.85 cores=1,3,5,7
/proc/14040/task/14042/stat : 14042 (pwbo1.1) R 14038 14040 12151 0 -1 4202560 17789 0 0 0 10175 10 0 0 25 0 3 0 911407458 269176832 41147 33554432000 4194304 5714118 140736004589824 18446744073709551615 4323017 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=14040/tid=14043] ppid=14038 vsize=262868 CPUtime=101.86 cores=1,3,5,7
/proc/14040/task/14043/stat : 14043 (pwbo1.1) R 14038 14040 12151 0 -1 4202560 7646 0 0 0 10177 9 0 0 25 0 3 0 911407458 269176832 41147 33554432000 4194304 5714118 140736004589824 18446744073709551615 4323028 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.16
Current children cumulated vsize (KiB) 262868
[startup+162.301 s]
/proc/loadavg: 3.86 3.00 3.15 5/182 14048
/proc/meminfo: memFree=12384356/32951124 swapFree=67056684/67111528
[pid=14040] ppid=14038 vsize=262868 CPUtime=324.16 cores=1,3,5,7
/proc/14040/stat : 14040 (pwbo1.1) S 14038 14040 12151 0 -1 4202496 55114 0 0 0 32381 35 0 0 24 0 3 0 911407414 269176832 53626 33554432000 4194304 5714118 140736004589824 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/14040/statm: 65717 53626 179 372 0 65342 0
[pid=14040/tid=14042] ppid=14038 vsize=262868 CPUtime=161.86 cores=1,3,5,7
/proc/14040/task/14042/stat : 14042 (pwbo1.1) R 14038 14040 12151 0 -1 4202560 27709 0 0 0 16166 20 0 0 25 0 3 0 911407458 269176832 53626 33554432000 4194304 5714118 140736004589824 18446744073709551615 4322999 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=14040/tid=14043] ppid=14038 vsize=262868 CPUtime=161.85 cores=1,3,5,7
/proc/14040/task/14043/stat : 14043 (pwbo1.1) R 14038 14040 12151 0 -1 4202560 10205 0 0 0 16173 12 0 0 25 0 3 0 911407458 269176832 53626 33554432000 4194304 5714118 140736004589824 18446744073709551615 4322968 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 324.16
Current children cumulated vsize (KiB) 262868
[startup+222.301 s]
/proc/loadavg: 3.95 3.18 3.20 5/182 14049
/proc/meminfo: memFree=12320944/32951124 swapFree=67056684/67111528
[pid=14040] ppid=14038 vsize=262868 CPUtime=444.16 cores=1,3,5,7
/proc/14040/stat : 14040 (pwbo1.1) S 14038 14040 12151 0 -1 4202496 59786 0 0 0 44371 45 0 0 24 0 3 0 911407414 269176832 58298 33554432000 4194304 5714118 140736004589824 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/14040/statm: 65717 58298 179 372 0 65342 0
[pid=14040/tid=14042] ppid=14038 vsize=262868 CPUtime=221.85 cores=1,3,5,7
/proc/14040/task/14042/stat : 14042 (pwbo1.1) R 14038 14040 12151 0 -1 4202560 30341 0 0 0 22159 26 0 0 25 0 3 0 911407458 269176832 58298 33554432000 4194304 5714118 140736004589824 18446744073709551615 4322666 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=14040/tid=14043] ppid=14038 vsize=262868 CPUtime=221.85 cores=1,3,5,7
/proc/14040/task/14043/stat : 14043 (pwbo1.1) R 14038 14040 12151 0 -1 4202560 12245 0 0 0 22170 15 0 0 25 0 3 0 911407458 269176832 58298 33554432000 4194304 5714118 140736004589824 18446744073709551615 4323002 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 444.16
Current children cumulated vsize (KiB) 262868
[startup+282.301 s]
/proc/loadavg: 3.98 3.32 3.24 5/182 14051
/proc/meminfo: memFree=12240548/32951124 swapFree=67056684/67111528
[pid=14040] ppid=14038 vsize=328404 CPUtime=564.17 cores=1,3,5,7
/proc/14040/stat : 14040 (pwbo1.1) S 14038 14040 12151 0 -1 4202496 69322 0 0 0 56361 56 0 0 24 0 3 0 911407414 336285696 67834 33554432000 4194304 5714118 140736004589824 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/14040/statm: 82101 67834 179 372 0 81726 0
[pid=14040/tid=14042] ppid=14038 vsize=328404 CPUtime=281.86 cores=1,3,5,7
/proc/14040/task/14042/stat : 14042 (pwbo1.1) R 14038 14040 12151 0 -1 4202560 38653 0 0 0 28150 36 0 0 25 0 3 0 911407458 336285696 67834 33554432000 4194304 5714118 140736004589824 18446744073709551615 4200720 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=14040/tid=14043] ppid=14038 vsize=328404 CPUtime=281.86 cores=1,3,5,7
/proc/14040/task/14043/stat : 14043 (pwbo1.1) R 14038 14040 12151 0 -1 4202560 13469 0 0 0 28169 17 0 0 25 0 3 0 911407458 336285696 67834 33554432000 4194304 5714118 140736004589824 18446744073709551615 4200288 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 564.17
Current children cumulated vsize (KiB) 328404
[startup+342.301 s]
/proc/loadavg: 4.05 3.46 3.29 5/182 14052
/proc/meminfo: memFree=12204800/32951124 swapFree=67056684/67111528
[pid=14040] ppid=14038 vsize=328404 CPUtime=684.17 cores=1,3,5,7
/proc/14040/stat : 14040 (pwbo1.1) S 14038 14040 12151 0 -1 4202496 69971 0 0 0 68351 66 0 0 24 0 3 0 911407414 336285696 68483 33554432000 4194304 5714118 140736004589824 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/14040/statm: 82101 68483 180 372 0 81726 0
[pid=14040/tid=14042] ppid=14038 vsize=328404 CPUtime=341.86 cores=1,3,5,7
/proc/14040/task/14042/stat : 14042 (pwbo1.1) R 14038 14040 12151 0 -1 4202560 39302 0 0 0 34142 44 0 0 25 0 3 0 911407458 336285696 68483 33554432000 4194304 5714118 140736004589824 18446744073709551615 4323024 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=14040/tid=14043] ppid=14038 vsize=328404 CPUtime=341.86 cores=1,3,5,7
/proc/14040/task/14043/stat : 14043 (pwbo1.1) R 14038 14040 12151 0 -1 4202560 13469 0 0 0 34168 18 0 0 25 0 3 0 911407458 336285696 68483 33554432000 4194304 5714118 140736004589824 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 684.17
Current children cumulated vsize (KiB) 328404
[startup+402.301 s]
/proc/loadavg: 4.02 3.55 3.34 5/182 14054
/proc/meminfo: memFree=12179324/32951124 swapFree=67056684/67111528
[pid=14040] ppid=14038 vsize=328404 CPUtime=804.17 cores=1,3,5,7
/proc/14040/stat : 14040 (pwbo1.1) S 14038 14040 12151 0 -1 4202496 69973 0 0 0 80346 71 0 0 24 0 3 0 911407414 336285696 68485 33554432000 4194304 5714118 140736004589824 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/14040/statm: 82101 68485 180 372 0 81726 0
[pid=14040/tid=14042] ppid=14038 vsize=328404 CPUtime=401.86 cores=1,3,5,7
/proc/14040/task/14042/stat : 14042 (pwbo1.1) R 14038 14040 12151 0 -1 4202560 39304 0 0 0 40137 49 0 0 25 0 3 0 911407458 336285696 68485 33554432000 4194304 5714118 140736004589824 18446744073709551615 4311863 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=14040/tid=14043] ppid=14038 vsize=328404 CPUtime=401.86 cores=1,3,5,7
/proc/14040/task/14043/stat : 14043 (pwbo1.1) R 14038 14040 12151 0 -1 4202560 13469 0 0 0 40167 19 0 0 25 0 3 0 911407458 336285696 68485 33554432000 4194304 5714118 140736004589824 18446744073709551615 4322981 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 804.17
Current children cumulated vsize (KiB) 328404
[startup+462.301 s]
/proc/loadavg: 4.00 3.63 3.37 5/182 14056
/proc/meminfo: memFree=12165032/32951124 swapFree=67056684/67111528
[pid=14040] ppid=14038 vsize=328620 CPUtime=924.18 cores=1,3,5,7
/proc/14040/stat : 14040 (pwbo1.1) S 14038 14040 12151 0 -1 4202496 72338 0 0 0 92341 77 0 0 24 0 3 0 911407414 336506880 70850 33554432000 4194304 5714118 140736004589824 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/14040/statm: 82155 70850 180 372 0 81780 0
[pid=14040/tid=14042] ppid=14038 vsize=328620 CPUtime=461.87 cores=1,3,5,7
/proc/14040/task/14042/stat : 14042 (pwbo1.1) R 14038 14040 12151 0 -1 4202560 41190 0 0 0 46134 53 0 0 25 0 3 0 911407458 336506880 70850 33554432000 4194304 5714118 140736004589824 18446744073709551615 4323015 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=14040/tid=14043] ppid=14038 vsize=328620 CPUtime=461.86 cores=1,3,5,7
/proc/14040/task/14043/stat : 14043 (pwbo1.1) R 14038 14040 12151 0 -1 4202560 13948 0 0 0 46165 21 0 0 25 0 3 0 911407458 336506880 70850 33554432000 4194304 5714118 140736004589824 18446744073709551615 4323024 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 924.18
Current children cumulated vsize (KiB) 328620
[startup+522.301 s]
/proc/loadavg: 4.00 3.70 3.41 5/182 14057
/proc/meminfo: memFree=12149880/32951124 swapFree=67056684/67111528
[pid=14040] ppid=14038 vsize=328620 CPUtime=1044.18 cores=1,3,5,7
/proc/14040/stat : 14040 (pwbo1.1) S 14038 14040 12151 0 -1 4202496 76100 0 0 0 104334 84 0 0 24 0 3 0 911407414 336506880 74612 33554432000 4194304 5714118 140736004589824 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/14040/statm: 82155 74612 180 372 0 81780 0
[pid=14040/tid=14042] ppid=14038 vsize=328620 CPUtime=521.86 cores=1,3,5,7
/proc/14040/task/14042/stat : 14042 (pwbo1.1) R 14038 14040 12151 0 -1 4202560 44188 0 0 0 52128 58 0 0 25 0 3 0 911407458 336506880 74612 33554432000 4194304 5714118 140736004589824 18446744073709551615 4323015 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=14040/tid=14043] ppid=14038 vsize=328620 CPUtime=521.86 cores=1,3,5,7
/proc/14040/task/14043/stat : 14043 (pwbo1.1) R 14038 14040 12151 0 -1 4202560 14712 0 0 0 52163 23 0 0 25 0 3 0 911407458 336506880 74612 33554432000 4194304 5714118 140736004589824 18446744073709551615 4323002 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1044.18
Current children cumulated vsize (KiB) 328620
[startup+582.301 s]
/proc/loadavg: 4.00 3.75 3.45 5/182 14059
/proc/meminfo: memFree=12105216/32951124 swapFree=67056684/67111528
[pid=14040] ppid=14038 vsize=394156 CPUtime=1164.18 cores=1,3,5,7
/proc/14040/stat : 14040 (pwbo1.1) S 14038 14040 12151 0 -1 4202496 83760 0 0 0 116323 95 0 0 24 0 3 0 911407414 403615744 82272 33554432000 4194304 5714118 140736004589824 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/14040/statm: 98539 82272 180 372 0 98164 0
[pid=14040/tid=14042] ppid=14038 vsize=394156 CPUtime=581.87 cores=1,3,5,7
/proc/14040/task/14042/stat : 14042 (pwbo1.1) R 14038 14040 12151 0 -1 4202560 49089 0 0 0 58121 66 0 0 25 0 3 0 911407458 403615744 82272 33554432000 4194304 5714118 140736004589824 18446744073709551615 4323002 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=14040/tid=14043] ppid=14038 vsize=394156 CPUtime=581.87 cores=1,3,5,7
/proc/14040/task/14043/stat : 14043 (pwbo1.1) R 14038 14040 12151 0 -1 4202560 17471 0 0 0 58161 26 0 0 25 0 3 0 911407458 403615744 82272 33554432000 4194304 5714118 140736004589824 18446744073709551615 4323028 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1164.18
Current children cumulated vsize (KiB) 394156
[startup+642.301 s]
/proc/loadavg: 4.00 3.79 3.48 5/182 14060
/proc/meminfo: memFree=12083256/32951124 swapFree=67056684/67111528
[pid=14040] ppid=14038 vsize=459908 CPUtime=1284.2 cores=1,3,5,7
/proc/14040/stat : 14040 (pwbo1.1) S 14038 14040 12151 0 -1 4202496 88629 0 0 0 128318 102 0 0 24 0 3 0 911407414 470945792 87141 33554432000 4194304 5714118 140736004589824 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/14040/statm: 114977 87141 180 372 0 114602 0
[pid=14040/tid=14042] ppid=14038 vsize=459908 CPUtime=641.87 cores=1,3,5,7
/proc/14040/task/14042/stat : 14042 (pwbo1.1) R 14038 14040 12151 0 -1 4202560 52154 0 0 0 64116 71 0 0 25 0 3 0 911407458 470945792 87141 33554432000 4194304 5714118 140736004589824 18446744073709551615 4310821 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=14040/tid=14043] ppid=14038 vsize=459908 CPUtime=641.87 cores=1,3,5,7
/proc/14040/task/14043/stat : 14043 (pwbo1.1) R 14038 14040 12151 0 -1 4202560 19275 0 0 0 64160 27 0 0 25 0 3 0 911407458 470945792 87141 33554432000 4194304 5714118 140736004589824 18446744073709551615 4309483 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1284.2
Current children cumulated vsize (KiB) 459908
[startup+702.301 s]
/proc/loadavg: 4.00 3.83 3.51 5/182 14062
/proc/meminfo: memFree=12078772/32951124 swapFree=67056684/67111528
[pid=14040] ppid=14038 vsize=459908 CPUtime=1404.19 cores=1,3,5,7
/proc/14040/stat : 14040 (pwbo1.1) S 14038 14040 12151 0 -1 4202496 89157 0 0 0 140312 107 0 0 24 0 3 0 911407414 470945792 87669 33554432000 4194304 5714118 140736004589824 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/14040/statm: 114977 87669 180 372 0 114602 0
[pid=14040/tid=14042] ppid=14038 vsize=459908 CPUtime=701.87 cores=1,3,5,7
/proc/14040/task/14042/stat : 14042 (pwbo1.1) R 14038 14040 12151 0 -1 4202560 52156 0 0 0 70113 74 0 0 25 0 3 0 911407458 470945792 87669 33554432000 4194304 5714118 140736004589824 18446744073709551615 4200720 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=14040/tid=14043] ppid=14038 vsize=459908 CPUtime=701.87 cores=1,3,5,7
/proc/14040/task/14043/stat : 14043 (pwbo1.1) R 14038 14040 12151 0 -1 4202560 19801 0 0 0 70158 29 0 0 25 0 3 0 911407458 470945792 87669 33554432000 4194304 5714118 140736004589824 18446744073709551615 4200288 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1404.19
Current children cumulated vsize (KiB) 459908
[startup+762.306 s]
/proc/loadavg: 4.00 3.86 3.54 5/182 14064
/proc/meminfo: memFree=12068320/32951124 swapFree=67056684/67111528
[pid=14040] ppid=14038 vsize=459908 CPUtime=1524.2 cores=1,3,5,7
/proc/14040/stat : 14040 (pwbo1.1) S 14038 14040 12151 0 -1 4202496 89173 0 0 0 152308 112 0 0 24 0 3 0 911407414 470945792 87685 33554432000 4194304 5714118 140736004589824 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/14040/statm: 114977 87685 180 372 0 114602 0
[pid=14040/tid=14042] ppid=14038 vsize=459908 CPUtime=761.88 cores=1,3,5,7
/proc/14040/task/14042/stat : 14042 (pwbo1.1) R 14038 14040 12151 0 -1 4202560 52171 0 0 0 76109 79 0 0 25 0 3 0 911407458 470945792 87685 33554432000 4194304 5714118 140736004589824 18446744073709551615 4200618 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=14040/tid=14043] ppid=14038 vsize=459908 CPUtime=761.87 cores=1,3,5,7
/proc/14040/task/14043/stat : 14043 (pwbo1.1) R 14038 14040 12151 0 -1 4202560 19802 0 0 0 76157 30 0 0 25 0 3 0 911407458 470945792 87685 33554432000 4194304 5714118 140736004589824 18446744073709551615 4323028 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1524.2
Current children cumulated vsize (KiB) 459908
[startup+822.301 s]
/proc/loadavg: 4.00 3.88 3.56 5/182 14074
/proc/meminfo: memFree=12029360/32951124 swapFree=67056684/67111528
[pid=14040] ppid=14038 vsize=459908 CPUtime=1644.2 cores=1,3,5,7
/proc/14040/stat : 14040 (pwbo1.1) S 14038 14040 12151 0 -1 4202496 89173 0 0 0 164304 116 0 0 24 0 3 0 911407414 470945792 87685 33554432000 4194304 5714118 140736004589824 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/14040/statm: 114977 87685 180 372 0 114602 0
[pid=14040/tid=14042] ppid=14038 vsize=459908 CPUtime=821.88 cores=1,3,5,7
/proc/14040/task/14042/stat : 14042 (pwbo1.1) R 14038 14040 12151 0 -1 4202560 52171 0 0 0 82106 82 0 0 25 0 3 0 911407458 470945792 87685 33554432000 4194304 5714118 140736004589824 18446744073709551615 4322999 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=14040/tid=14043] ppid=14038 vsize=459908 CPUtime=821.87 cores=1,3,5,7
/proc/14040/task/14043/stat : 14043 (pwbo1.1) R 14038 14040 12151 0 -1 4202560 19802 0 0 0 82156 31 0 0 25 0 3 0 911407458 470945792 87685 33554432000 4194304 5714118 140736004589824 18446744073709551615 4323020 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1644.2
Current children cumulated vsize (KiB) 459908
[startup+882.301 s]
/proc/loadavg: 4.00 3.90 3.58 6/182 14076
/proc/meminfo: memFree=11992268/32951124 swapFree=67056684/67111528
[pid=14040] ppid=14038 vsize=459908 CPUtime=1764.2 cores=1,3,5,7
/proc/14040/stat : 14040 (pwbo1.1) S 14038 14040 12151 0 -1 4202496 89174 0 0 0 176298 122 0 0 24 0 3 0 911407414 470945792 87686 33554432000 4194304 5714118 140736004589824 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/14040/statm: 114977 87686 180 372 0 114602 0
[pid=14040/tid=14042] ppid=14038 vsize=459908 CPUtime=881.88 cores=1,3,5,7
/proc/14040/task/14042/stat : 14042 (pwbo1.1) R 14038 14040 12151 0 -1 4202560 52172 0 0 0 88101 87 0 0 25 0 3 0 911407458 470945792 87686 33554432000 4194304 5714118 140736004589824 18446744073709551615 4200288 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=14040/tid=14043] ppid=14038 vsize=459908 CPUtime=881.87 cores=1,3,5,7
/proc/14040/task/14043/stat : 14043 (pwbo1.1) R 14038 14040 12151 0 -1 4202560 19802 0 0 0 88155 32 0 0 25 0 3 0 911407458 470945792 87686 33554432000 4194304 5714118 140736004589824 18446744073709551615 4322981 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1764.2
Current children cumulated vsize (KiB) 459908
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.201 s]
/proc/loadavg: 4.07 3.92 3.60 3/178 14077
/proc/meminfo: memFree=12483452/32951124 swapFree=67056684/67111528
[pid=14040] ppid=14038 vsize=459908 CPUtime=1800.02 cores=1,3,5,7
/proc/14040/stat : 14040 (pwbo1.1) S 14038 14040 12151 0 -1 4202496 89174 0 0 0 179878 124 0 0 24 0 3 0 911407414 470945792 87686 33554432000 4194304 5714118 140736004589824 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/14040/statm: 114977 87686 180 372 0 114602 0
[pid=14040/tid=14042] ppid=14038 vsize=459908 CPUtime=899.78 cores=1,3,5,7
/proc/14040/task/14042/stat : 14042 (pwbo1.1) R 14038 14040 12151 0 -1 4202560 52172 0 0 0 89890 88 0 0 25 0 3 0 911407458 470945792 87686 33554432000 4194304 5714118 140736004589824 18446744073709551615 4323017 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=14040/tid=14043] ppid=14038 vsize=459908 CPUtime=899.78 cores=1,3,5,7
/proc/14040/task/14043/stat : 14043 (pwbo1.1) R 14038 14040 12151 0 -1 4202560 19802 0 0 0 89946 32 0 0 25 0 3 0 911407458 470945792 87686 33554432000 4194304 5714118 140736004589824 18446744073709551615 4322666 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 459908
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.228
CPU time (s): 1800.05
CPU user time (s): 1798.79
CPU system time (s): 1.25681
CPU usage (%): 199.955
Max. virtual memory (cumulated for all children) (KiB): 459908
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.79
system time used= 1.25681
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89178
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= 90
involuntary context switches= 3024
runsolver used 1.3008 second user time and 2.85257 second system time
The end