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-3500231-1307992368/watcher-3500231-1307992368 -o /var/tmp/evaluation-result-3500231-1307992368/solver-3500231-1307992368 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500231-1307992368.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 4.00 3.99 3.84 2/173 12112
/proc/meminfo: memFree=8312504/32950940 swapFree=67053420/67111528
[pid=12112] ppid=12110 vsize=2576 CPUtime=0 cores=0,2,4,6
/proc/12112/stat : 12112 (pwbo1.1) R 12110 12112 11319 0 -1 4202496 407 0 0 0 0 0 0 0 25 0 1 0 989467597 2637824 359 33554432000 4194304 5714118 140736083363952 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12112/statm: 644 359 165 372 0 253 0
[startup+0.0710309 s]
/proc/loadavg: 4.00 3.99 3.84 2/173 12112
/proc/meminfo: memFree=8312504/32950940 swapFree=67053420/67111528
[pid=12112] ppid=12110 vsize=156932 CPUtime=0.13 cores=0,2,4,6
/proc/12112/stat : 12112 (pwbo1.1) S 12110 12112 11319 0 -1 4202496 9761 0 0 0 8 5 0 0 25 0 3 0 989467597 160698368 9530 33554432000 4194304 5714118 140736083363952 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/12112/statm: 39233 9530 178 372 0 38858 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 156932
[startup+0.131711 s]
/proc/loadavg: 4.00 3.99 3.84 2/173 12112
/proc/meminfo: memFree=8312504/32950940 swapFree=67053420/67111528
[pid=12112] ppid=12110 vsize=159080 CPUtime=0.24 cores=0,2,4,6
/proc/12112/stat : 12112 (pwbo1.1) S 12110 12112 11319 0 -1 4202496 12563 0 0 0 17 7 0 0 25 0 3 0 989467597 162897920 12332 33554432000 4194304 5714118 140736083363952 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/12112/statm: 39770 12332 178 372 0 39395 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 159080
[startup+0.300683 s]
/proc/loadavg: 4.00 3.99 3.84 2/173 12112
/proc/meminfo: memFree=8312504/32950940 swapFree=67053420/67111528
[pid=12112] ppid=12110 vsize=159080 CPUtime=0.59 cores=0,2,4,6
/proc/12112/stat : 12112 (pwbo1.1) S 12110 12112 11319 0 -1 4202496 12828 0 0 0 51 8 0 0 25 0 3 0 989467597 162897920 12581 33554432000 4194304 5714118 140736083363952 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/12112/statm: 39770 12581 179 372 0 39395 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 159080
[startup+0.700607 s]
/proc/loadavg: 4.00 3.99 3.84 2/173 12112
/proc/meminfo: memFree=8312504/32950940 swapFree=67053420/67111528
[pid=12112] ppid=12110 vsize=159080 CPUtime=1.39 cores=0,2,4,6
/proc/12112/stat : 12112 (pwbo1.1) S 12110 12112 11319 0 -1 4202496 13455 0 0 0 129 10 0 0 25 0 3 0 989467597 162897920 13208 33554432000 4194304 5714118 140736083363952 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/12112/statm: 39770 13208 179 372 0 39395 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 159080
[startup+1.50042 s]
/proc/loadavg: 4.00 3.99 3.84 5/182 12126
/proc/meminfo: memFree=8122720/32950940 swapFree=67053420/67111528
[pid=12112] ppid=12110 vsize=159356 CPUtime=2.98 cores=0,2,4,6
/proc/12112/stat : 12112 (pwbo1.1) S 12110 12112 11319 0 -1 4202496 14692 0 0 0 286 12 0 0 25 0 3 0 989467597 163180544 14445 33554432000 4194304 5714118 140736083363952 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/12112/statm: 39839 14445 179 372 0 39464 0
[pid=12112/tid=12114] ppid=12110 vsize=159356 CPUtime=1.49 cores=0,2,4,6
/proc/12112/task/12114/stat : 12114 (pwbo1.1) R 12110 12112 11319 0 -1 4202560 1797 0 0 0 146 3 0 0 25 0 3 0 989467597 163180544 14445 33554432000 4194304 5714118 140736083363952 18446744073709551615 4319361 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=12112/tid=12115] ppid=12110 vsize=159356 CPUtime=1.47 cores=0,2,4,6
/proc/12112/task/12115/stat : 12115 (pwbo1.1) R 12110 12112 11319 0 -1 4202560 12391 0 0 0 139 8 0 0 25 0 3 0 989467597 163180544 14445 33554432000 4194304 5714118 140736083363952 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 159356
[startup+3.10119 s]
/proc/loadavg: 4.00 3.99 3.84 5/182 12126
/proc/meminfo: memFree=8105188/32950940 swapFree=67053420/67111528
[pid=12112] ppid=12110 vsize=159348 CPUtime=6.18 cores=0,2,4,6
/proc/12112/stat : 12112 (pwbo1.1) S 12110 12112 11319 0 -1 4202496 15760 0 0 0 603 15 0 0 25 0 3 0 989467597 163172352 15487 33554432000 4194304 5714118 140736083363952 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/12112/statm: 39837 15487 179 372 0 39462 0
[pid=12112/tid=12114] ppid=12110 vsize=159348 CPUtime=3.09 cores=0,2,4,6
/proc/12112/task/12114/stat : 12114 (pwbo1.1) R 12110 12112 11319 0 -1 4202560 2376 0 0 0 304 5 0 0 25 0 3 0 989467597 163172352 15487 33554432000 4194304 5714118 140736083363952 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=12112/tid=12115] ppid=12110 vsize=159348 CPUtime=3.07 cores=0,2,4,6
/proc/12112/task/12115/stat : 12115 (pwbo1.1) R 12110 12112 11319 0 -1 4202560 12880 0 0 0 298 9 0 0 18 0 3 0 989467597 163172352 15487 33554432000 4194304 5714118 140736083363952 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 159348
[startup+6.30063 s]
/proc/loadavg: 4.00 3.99 3.84 5/182 12126
/proc/meminfo: memFree=8079176/32950940 swapFree=67053420/67111528
[pid=12112] ppid=12110 vsize=160024 CPUtime=12.56 cores=0,2,4,6
/proc/12112/stat : 12112 (pwbo1.1) S 12110 12112 11319 0 -1 4202496 20167 0 0 0 1234 22 0 0 25 0 3 0 989467597 163864576 19894 33554432000 4194304 5714118 140736083363952 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/12112/statm: 40006 19894 180 372 0 39631 0
[pid=12112/tid=12114] ppid=12110 vsize=160024 CPUtime=6.29 cores=0,2,4,6
/proc/12112/task/12114/stat : 12114 (pwbo1.1) R 12110 12112 11319 0 -1 4202560 3989 0 0 0 621 8 0 0 25 0 3 0 989467597 163864576 19894 33554432000 4194304 5714118 140736083363952 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=12112/tid=12115] ppid=12110 vsize=160024 CPUtime=6.26 cores=0,2,4,6
/proc/12112/task/12115/stat : 12115 (pwbo1.1) R 12110 12112 11319 0 -1 4202560 15674 0 0 0 613 13 0 0 19 0 3 0 989467597 163864576 19894 33554432000 4194304 5714118 140736083363952 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 160024
[startup+12.7005 s]
/proc/loadavg: 4.00 3.99 3.84 5/182 12126
/proc/meminfo: memFree=8042048/32950940 swapFree=67053420/67111528
[pid=12112] ppid=12110 vsize=161116 CPUtime=25.35 cores=0,2,4,6
/proc/12112/stat : 12112 (pwbo1.1) S 12110 12112 11319 0 -1 4202496 25921 0 0 0 2500 35 0 0 25 0 3 0 989467597 164982784 25648 33554432000 4194304 5714118 140736083363952 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/12112/statm: 40279 25648 180 372 0 39904 0
[pid=12112/tid=12114] ppid=12110 vsize=161116 CPUtime=12.69 cores=0,2,4,6
/proc/12112/task/12114/stat : 12114 (pwbo1.1) R 12110 12112 11319 0 -1 4202560 6988 0 0 0 1254 15 0 0 25 0 3 0 989467597 164982784 25648 33554432000 4194304 5714118 140736083363952 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=12112/tid=12115] ppid=12110 vsize=161116 CPUtime=12.65 cores=0,2,4,6
/proc/12112/task/12115/stat : 12115 (pwbo1.1) R 12110 12112 11319 0 -1 4202560 18429 0 0 0 1245 20 0 0 25 0 3 0 989467597 164982784 25648 33554432000 4194304 5714118 140736083363952 18446744073709551615 4322639 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 161116
[startup+25.5002 s]
/proc/loadavg: 4.00 3.99 3.84 5/182 12127
/proc/meminfo: memFree=7988312/32950940 swapFree=67053420/67111528
[pid=12112] ppid=12110 vsize=227936 CPUtime=50.95 cores=0,2,4,6
/proc/12112/stat : 12112 (pwbo1.1) S 12110 12112 11319 0 -1 4202496 34571 0 0 0 5033 62 0 0 25 0 3 0 989467597 233406464 34298 33554432000 4194304 5714118 140736083363952 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/12112/statm: 56984 34298 180 372 0 56609 0
[pid=12112/tid=12114] ppid=12110 vsize=227936 CPUtime=25.49 cores=0,2,4,6
/proc/12112/task/12114/stat : 12114 (pwbo1.1) R 12110 12112 11319 0 -1 4202560 10224 0 0 0 2525 24 0 0 25 0 3 0 989467597 233406464 34298 33554432000 4194304 5714118 140736083363952 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=12112/tid=12115] ppid=12110 vsize=227936 CPUtime=25.45 cores=0,2,4,6
/proc/12112/task/12115/stat : 12115 (pwbo1.1) R 12110 12112 11319 0 -1 4202560 23843 0 0 0 2507 38 0 0 25 0 3 0 989467597 233406464 34298 33554432000 4194304 5714118 140736083363952 18446744073709551615 4311632 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 227936
[startup+51.1008 s]
/proc/loadavg: 4.00 3.99 3.84 5/182 12127
/proc/meminfo: memFree=7927732/32950940 swapFree=67053420/67111528
[pid=12112] ppid=12110 vsize=228424 CPUtime=102.16 cores=0,2,4,6
/proc/12112/stat : 12112 (pwbo1.1) S 12110 12112 11319 0 -1 4202496 40807 0 0 0 10132 84 0 0 25 0 3 0 989467597 233906176 40534 33554432000 4194304 5714118 140736083363952 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/12112/statm: 57106 40534 180 372 0 56731 0
[pid=12112/tid=12114] ppid=12110 vsize=228424 CPUtime=51.09 cores=0,2,4,6
/proc/12112/task/12114/stat : 12114 (pwbo1.1) R 12110 12112 11319 0 -1 4202560 15395 0 0 0 5074 35 0 0 25 0 3 0 989467597 233906176 40534 33554432000 4194304 5714118 140736083363952 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=12112/tid=12115] ppid=12110 vsize=228424 CPUtime=51.05 cores=0,2,4,6
/proc/12112/task/12115/stat : 12115 (pwbo1.1) R 12110 12112 11319 0 -1 4202560 24908 0 0 0 5057 48 0 0 25 0 3 0 989467597 233906176 40534 33554432000 4194304 5714118 140736083363952 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 228424
[startup+102.307 s]
/proc/loadavg: 4.00 3.99 3.85 5/182 12129
/proc/meminfo: memFree=7844844/32950940 swapFree=67053420/67111528
[pid=12112] ppid=12110 vsize=294516 CPUtime=204.56 cores=0,2,4,6
/proc/12112/stat : 12112 (pwbo1.1) S 12110 12112 11319 0 -1 4202496 47389 0 0 0 20332 124 0 0 25 0 3 0 989467597 301584384 47060 33554432000 4194304 5714118 140736083363952 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/12112/statm: 73629 47060 180 372 0 73254 0
[pid=12112/tid=12114] ppid=12110 vsize=294516 CPUtime=102.29 cores=0,2,4,6
/proc/12112/task/12114/stat : 12114 (pwbo1.1) R 12110 12112 11319 0 -1 4202560 21798 0 0 0 10166 63 0 0 25 0 3 0 989467597 301584384 47060 33554432000 4194304 5714118 140736083363952 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=12112/tid=12115] ppid=12110 vsize=294516 CPUtime=102.26 cores=0,2,4,6
/proc/12112/task/12115/stat : 12115 (pwbo1.1) R 12110 12112 11319 0 -1 4202560 25087 0 0 0 10165 61 0 0 25 0 3 0 989467597 301584384 47060 33554432000 4194304 5714118 140736083363952 18446744073709551615 4319134 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 204.56
Current children cumulated vsize (KiB) 294516
[startup+162.3 s]
/proc/loadavg: 4.00 3.99 3.85 5/182 12130
/proc/meminfo: memFree=7780072/32950940 swapFree=67053420/67111528
[pid=12112] ppid=12110 vsize=295768 CPUtime=324.56 cores=0,2,4,6
/proc/12112/stat : 12112 (pwbo1.1) S 12110 12112 11319 0 -1 4202496 50759 0 0 0 32296 160 0 0 25 0 3 0 989467597 302866432 50430 33554432000 4194304 5714118 140736083363952 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/12112/statm: 73942 50430 180 372 0 73567 0
[pid=12112/tid=12114] ppid=12110 vsize=295768 CPUtime=162.29 cores=0,2,4,6
/proc/12112/task/12114/stat : 12114 (pwbo1.1) R 12110 12112 11319 0 -1 4202560 23195 0 0 0 16140 89 0 0 25 0 3 0 989467597 302866432 50430 33554432000 4194304 5714118 140736083363952 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=12112/tid=12115] ppid=12110 vsize=295768 CPUtime=162.26 cores=0,2,4,6
/proc/12112/task/12115/stat : 12115 (pwbo1.1) R 12110 12112 11319 0 -1 4202560 27060 0 0 0 16155 71 0 0 22 0 3 0 989467597 302866432 50430 33554432000 4194304 5714118 140736083363952 18446744073709551615 4319134 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 324.56
Current children cumulated vsize (KiB) 295768
[startup+222.301 s]
/proc/loadavg: 4.00 3.99 3.86 5/182 12132
/proc/meminfo: memFree=7671272/32950940 swapFree=67053420/67111528
[pid=12112] ppid=12110 vsize=362996 CPUtime=444.56 cores=0,2,4,6
/proc/12112/stat : 12112 (pwbo1.1) S 12110 12112 11319 0 -1 4202496 66346 0 0 0 44246 210 0 0 25 0 3 0 989467597 371707904 66017 33554432000 4194304 5714118 140736083363952 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/12112/statm: 90749 66017 180 372 0 90374 0
[pid=12112/tid=12114] ppid=12110 vsize=362996 CPUtime=222.29 cores=0,2,4,6
/proc/12112/task/12114/stat : 12114 (pwbo1.1) R 12110 12112 11319 0 -1 4202560 33272 0 0 0 22109 120 0 0 25 0 3 0 989467597 371707904 66017 33554432000 4194304 5714118 140736083363952 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=12112/tid=12115] ppid=12110 vsize=362996 CPUtime=222.25 cores=0,2,4,6
/proc/12112/task/12115/stat : 12115 (pwbo1.1) R 12110 12112 11319 0 -1 4202560 32570 0 0 0 22136 89 0 0 25 0 3 0 989467597 371707904 66017 33554432000 4194304 5714118 140736083363952 18446744073709551615 4319134 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 444.56
Current children cumulated vsize (KiB) 362996
[startup+282.3 s]
/proc/loadavg: 4.03 4.00 3.87 5/182 12134
/proc/meminfo: memFree=7569268/32950940 swapFree=67053420/67111528
[pid=12112] ppid=12110 vsize=364396 CPUtime=564.56 cores=0,2,4,6
/proc/12112/stat : 12112 (pwbo1.1) S 12110 12112 11319 0 -1 4202496 80605 0 0 0 56201 255 0 0 25 0 3 0 989467597 373141504 80276 33554432000 4194304 5714118 140736083363952 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/12112/statm: 91099 80276 180 372 0 90724 0
[pid=12112/tid=12114] ppid=12110 vsize=364396 CPUtime=282.29 cores=0,2,4,6
/proc/12112/task/12114/stat : 12114 (pwbo1.1) R 12110 12112 11319 0 -1 4202560 43195 0 0 0 28082 147 0 0 25 0 3 0 989467597 373141504 80276 33554432000 4194304 5714118 140736083363952 18446744073709551615 4319347 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=12112/tid=12115] ppid=12110 vsize=364396 CPUtime=282.26 cores=0,2,4,6
/proc/12112/task/12115/stat : 12115 (pwbo1.1) R 12110 12112 11319 0 -1 4202560 36906 0 0 0 28118 108 0 0 25 0 3 0 989467597 373141504 80276 33554432000 4194304 5714118 140736083363952 18446744073709551615 4322702 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 564.56
Current children cumulated vsize (KiB) 364396
[startup+342.301 s]
/proc/loadavg: 4.01 4.00 3.88 5/182 12135
/proc/meminfo: memFree=7459332/32950940 swapFree=67053420/67111528
[pid=12112] ppid=12110 vsize=496700 CPUtime=684.57 cores=0,2,4,6
/proc/12112/stat : 12112 (pwbo1.1) S 12110 12112 11319 0 -1 4202496 97545 0 0 0 68156 301 0 0 25 0 3 0 989467597 508620800 97202 33554432000 4194304 5714118 140736083363952 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/12112/statm: 124175 97202 180 372 0 123800 0
[pid=12112/tid=12114] ppid=12110 vsize=496700 CPUtime=342.3 cores=0,2,4,6
/proc/12112/task/12114/stat : 12114 (pwbo1.1) R 12110 12112 11319 0 -1 4202560 55644 0 0 0 34052 178 0 0 25 0 3 0 989467597 508620800 97202 33554432000 4194304 5714118 140736083363952 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=12112/tid=12115] ppid=12110 vsize=496700 CPUtime=342.26 cores=0,2,4,6
/proc/12112/task/12115/stat : 12115 (pwbo1.1) R 12110 12112 11319 0 -1 4202560 41397 0 0 0 34103 123 0 0 25 0 3 0 989467597 508620800 97202 33554432000 4194304 5714118 140736083363952 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 684.57
Current children cumulated vsize (KiB) 496700
[startup+402.3 s]
/proc/loadavg: 4.07 4.02 3.89 5/182 12137
/proc/meminfo: memFree=7377556/32950940 swapFree=67053420/67111528
[pid=12112] ppid=12110 vsize=497188 CPUtime=804.57 cores=0,2,4,6
/proc/12112/stat : 12112 (pwbo1.1) S 12110 12112 11319 0 -1 4202496 107201 0 0 0 80117 340 0 0 25 0 3 0 989467597 509120512 106858 33554432000 4194304 5714118 140736083363952 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/12112/statm: 124297 106858 180 372 0 123922 0
[pid=12112/tid=12114] ppid=12110 vsize=497188 CPUtime=402.29 cores=0,2,4,6
/proc/12112/task/12114/stat : 12114 (pwbo1.1) R 12110 12112 11319 0 -1 4202560 61491 0 0 0 40027 202 0 0 25 0 3 0 989467597 509120512 106858 33554432000 4194304 5714118 140736083363952 18446744073709551615 4319830 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=12112/tid=12115] ppid=12110 vsize=497188 CPUtime=402.26 cores=0,2,4,6
/proc/12112/task/12115/stat : 12115 (pwbo1.1) R 12110 12112 11319 0 -1 4202560 45206 0 0 0 40089 137 0 0 25 0 3 0 989467597 509120512 106858 33554432000 4194304 5714118 140736083363952 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 804.57
Current children cumulated vsize (KiB) 497188
[startup+462.301 s]
/proc/loadavg: 4.02 4.01 3.89 5/182 12138
/proc/meminfo: memFree=7278792/32950940 swapFree=67053420/67111528
[pid=12112] ppid=12110 vsize=564132 CPUtime=924.57 cores=0,2,4,6
/proc/12112/stat : 12112 (pwbo1.1) S 12110 12112 11319 0 -1 4202496 118921 0 0 0 92075 382 0 0 25 0 3 0 989467597 577671168 118578 33554432000 4194304 5714118 140736083363952 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/12112/statm: 141033 118578 180 372 0 140658 0
[pid=12112/tid=12114] ppid=12110 vsize=564132 CPUtime=462.3 cores=0,2,4,6
/proc/12112/task/12114/stat : 12114 (pwbo1.1) R 12110 12112 11319 0 -1 4202560 69226 0 0 0 46002 228 0 0 25 0 3 0 989467597 577671168 118578 33554432000 4194304 5714118 140736083363952 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=12112/tid=12115] ppid=12110 vsize=564132 CPUtime=462.25 cores=0,2,4,6
/proc/12112/task/12115/stat : 12115 (pwbo1.1) R 12110 12112 11319 0 -1 4202560 49191 0 0 0 46072 153 0 0 20 0 3 0 989467597 577671168 118578 33554432000 4194304 5714118 140736083363952 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 924.57
Current children cumulated vsize (KiB) 564132
[startup+522.3 s]
/proc/loadavg: 4.01 4.00 3.90 5/182 12140
/proc/meminfo: memFree=7182348/32950940 swapFree=67053420/67111528
[pid=12112] ppid=12110 vsize=566332 CPUtime=1044.58 cores=0,2,4,6
/proc/12112/stat : 12112 (pwbo1.1) S 12110 12112 11319 0 -1 4202496 130214 0 0 0 104033 425 0 0 25 0 3 0 989467597 579923968 129871 33554432000 4194304 5714118 140736083363952 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/12112/statm: 141583 129871 180 372 0 141208 0
[pid=12112/tid=12114] ppid=12110 vsize=566332 CPUtime=522.3 cores=0,2,4,6
/proc/12112/task/12114/stat : 12114 (pwbo1.1) R 12110 12112 11319 0 -1 4202560 75226 0 0 0 51982 248 0 0 25 0 3 0 989467597 579923968 129871 33554432000 4194304 5714118 140736083363952 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=12112/tid=12115] ppid=12110 vsize=566332 CPUtime=522.26 cores=0,2,4,6
/proc/12112/task/12115/stat : 12115 (pwbo1.1) R 12110 12112 11319 0 -1 4202560 54484 0 0 0 52050 176 0 0 25 0 3 0 989467597 579923968 129871 33554432000 4194304 5714118 140736083363952 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1044.58
Current children cumulated vsize (KiB) 566332
[startup+582.301 s]
/proc/loadavg: 4.00 4.00 3.91 5/182 12142
/proc/meminfo: memFree=7113380/32950940 swapFree=67053420/67111528
[pid=12112] ppid=12110 vsize=698144 CPUtime=1164.58 cores=0,2,4,6
/proc/12112/stat : 12112 (pwbo1.1) S 12110 12112 11319 0 -1 4202496 142282 0 0 0 115991 467 0 0 25 0 3 0 989467597 714899456 141938 33554432000 4194304 5714118 140736083363952 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/12112/statm: 174536 141938 180 372 0 174161 0
[pid=12112/tid=12114] ppid=12110 vsize=698144 CPUtime=582.3 cores=0,2,4,6
/proc/12112/task/12114/stat : 12114 (pwbo1.1) R 12110 12112 11319 0 -1 4202560 81339 0 0 0 57960 270 0 0 25 0 3 0 989467597 714899456 141938 33554432000 4194304 5714118 140736083363952 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=12112/tid=12115] ppid=12110 vsize=698144 CPUtime=582.26 cores=0,2,4,6
/proc/12112/task/12115/stat : 12115 (pwbo1.1) R 12110 12112 11319 0 -1 4202560 60439 0 0 0 58029 197 0 0 25 0 3 0 989467597 714899456 141938 33554432000 4194304 5714118 140736083363952 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1164.58
Current children cumulated vsize (KiB) 698144
[startup+642.301 s]
/proc/loadavg: 4.00 4.00 3.91 5/182 12143
/proc/meminfo: memFree=7021208/32950940 swapFree=67053420/67111528
[pid=12112] ppid=12110 vsize=698712 CPUtime=1284.59 cores=0,2,4,6
/proc/12112/stat : 12112 (pwbo1.1) S 12110 12112 11319 0 -1 4202496 155984 0 0 0 127942 517 0 0 25 0 3 0 989467597 715481088 155640 33554432000 4194304 5714118 140736083363952 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/12112/statm: 174678 155640 180 372 0 174303 0
[pid=12112/tid=12114] ppid=12110 vsize=698712 CPUtime=642.31 cores=0,2,4,6
/proc/12112/task/12114/stat : 12114 (pwbo1.1) R 12110 12112 11319 0 -1 4202560 89444 0 0 0 63932 299 0 0 25 0 3 0 989467597 715481088 155640 33554432000 4194304 5714118 140736083363952 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=12112/tid=12115] ppid=12110 vsize=698712 CPUtime=642.27 cores=0,2,4,6
/proc/12112/task/12115/stat : 12115 (pwbo1.1) R 12110 12112 11319 0 -1 4202560 66036 0 0 0 64009 218 0 0 25 0 3 0 989467597 715481088 155640 33554432000 4194304 5714118 140736083363952 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1284.59
Current children cumulated vsize (KiB) 698712
[startup+702.301 s]
/proc/loadavg: 4.00 4.00 3.91 5/182 12145
/proc/meminfo: memFree=6923320/32950940 swapFree=67053420/67111528
[pid=12112] ppid=12110 vsize=765428 CPUtime=1404.58 cores=0,2,4,6
/proc/12112/stat : 12112 (pwbo1.1) S 12110 12112 11319 0 -1 4202496 169202 0 0 0 139896 562 0 0 25 0 3 0 989467597 783798272 168858 33554432000 4194304 5714118 140736083363952 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/12112/statm: 191357 168858 180 372 0 190982 0
[pid=12112/tid=12114] ppid=12110 vsize=765428 CPUtime=702.3 cores=0,2,4,6
/proc/12112/task/12114/stat : 12114 (pwbo1.1) R 12110 12112 11319 0 -1 4202560 98291 0 0 0 69903 327 0 0 25 0 3 0 989467597 783798272 168858 33554432000 4194304 5714118 140736083363952 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=12112/tid=12115] ppid=12110 vsize=765428 CPUtime=702.27 cores=0,2,4,6
/proc/12112/task/12115/stat : 12115 (pwbo1.1) R 12110 12112 11319 0 -1 4202560 70407 0 0 0 69992 235 0 0 25 0 3 0 989467597 783798272 168858 33554432000 4194304 5714118 140736083363952 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1404.58
Current children cumulated vsize (KiB) 765428
[startup+762.306 s]
/proc/loadavg: 4.00 4.00 3.91 5/182 12146
/proc/meminfo: memFree=6812916/32950940 swapFree=67053420/67111528
[pid=12112] ppid=12110 vsize=835736 CPUtime=1524.59 cores=0,2,4,6
/proc/12112/stat : 12112 (pwbo1.1) S 12110 12112 11319 0 -1 4202496 182972 0 0 0 151859 600 0 0 25 0 3 0 989467597 855793664 182628 33554432000 4194304 5714118 140736083363952 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/12112/statm: 208934 182628 180 372 0 208559 0
[pid=12112/tid=12114] ppid=12110 vsize=835736 CPUtime=762.3 cores=0,2,4,6
/proc/12112/task/12114/stat : 12114 (pwbo1.1) R 12110 12112 11319 0 -1 4202560 106649 0 0 0 75883 347 0 0 25 0 3 0 989467597 855793664 182628 33554432000 4194304 5714118 140736083363952 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=12112/tid=12115] ppid=12110 vsize=835736 CPUtime=762.27 cores=0,2,4,6
/proc/12112/task/12115/stat : 12115 (pwbo1.1) R 12110 12112 11319 0 -1 4202560 75819 0 0 0 75975 252 0 0 19 0 3 0 989467597 855793664 182628 33554432000 4194304 5714118 140736083363952 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1524.59
Current children cumulated vsize (KiB) 835736
[startup+822.301 s]
/proc/loadavg: 4.04 4.01 3.91 5/182 12148
/proc/meminfo: memFree=6729424/32950940 swapFree=67053420/67111528
[pid=12112] ppid=12110 vsize=837608 CPUtime=1644.59 cores=0,2,4,6
/proc/12112/stat : 12112 (pwbo1.1) S 12110 12112 11319 0 -1 4202496 193550 0 0 0 163823 636 0 0 25 0 3 0 989467597 857710592 193206 33554432000 4194304 5714118 140736083363952 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/12112/statm: 209402 193206 180 372 0 209027 0
[pid=12112/tid=12114] ppid=12110 vsize=837608 CPUtime=822.3 cores=0,2,4,6
/proc/12112/task/12114/stat : 12114 (pwbo1.1) R 12110 12112 11319 0 -1 4202560 112770 0 0 0 81865 365 0 0 25 0 3 0 989467597 857710592 193206 33554432000 4194304 5714118 140736083363952 18446744073709551615 4319221 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=12112/tid=12115] ppid=12110 vsize=837608 CPUtime=822.27 cores=0,2,4,6
/proc/12112/task/12115/stat : 12115 (pwbo1.1) R 12110 12112 11319 0 -1 4202560 80276 0 0 0 81957 270 0 0 25 0 3 0 989467597 857710592 193206 33554432000 4194304 5714118 140736083363952 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1644.59
Current children cumulated vsize (KiB) 837608
[startup+882.301 s]
/proc/loadavg: 4.01 4.01 3.91 5/182 12150
/proc/meminfo: memFree=6669364/32950940 swapFree=67053420/67111528
[pid=12112] ppid=12110 vsize=903144 CPUtime=1764.59 cores=0,2,4,6
/proc/12112/stat : 12112 (pwbo1.1) S 12110 12112 11319 0 -1 4202496 200757 0 0 0 175790 669 0 0 25 0 3 0 989467597 924819456 200413 33554432000 4194304 5714118 140736083363952 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/12112/statm: 225786 200413 180 372 0 225411 0
[pid=12112/tid=12114] ppid=12110 vsize=903144 CPUtime=882.31 cores=0,2,4,6
/proc/12112/task/12114/stat : 12114 (pwbo1.1) R 12110 12112 11319 0 -1 4202560 117238 0 0 0 87844 387 0 0 25 0 3 0 989467597 924819456 200413 33554432000 4194304 5714118 140736083363952 18446744073709551615 4319723 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=12112/tid=12115] ppid=12110 vsize=903144 CPUtime=882.27 cores=0,2,4,6
/proc/12112/task/12115/stat : 12115 (pwbo1.1) R 12110 12112 11319 0 -1 4202560 83015 0 0 0 87945 282 0 0 25 0 3 0 989467597 924819456 200413 33554432000 4194304 5714118 140736083363952 18446744073709551615 4319807 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1764.59
Current children cumulated vsize (KiB) 903144
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.101 s]
/proc/loadavg: 4.01 4.01 3.91 5/182 12150
/proc/meminfo: memFree=6649260/32950940 swapFree=67053420/67111528
[pid=12112] ppid=12110 vsize=903144 CPUtime=1800.2 cores=0,2,4,6
/proc/12112/stat : 12112 (pwbo1.1) S 12110 12112 11319 0 -1 4202496 203602 0 0 0 179341 679 0 0 25 0 3 0 989467597 924819456 203258 33554432000 4194304 5714118 140736083363952 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/12112/statm: 225786 203258 180 372 0 225411 0
[pid=12112/tid=12114] ppid=12110 vsize=903144 CPUtime=900.11 cores=0,2,4,6
/proc/12112/task/12114/stat : 12114 (pwbo1.1) R 12110 12112 11319 0 -1 4202560 119200 0 0 0 89617 394 0 0 25 0 3 0 989467597 924819456 203258 33554432000 4194304 5714118 140736083363952 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=12112/tid=12115] ppid=12110 vsize=903144 CPUtime=900.08 cores=0,2,4,6
/proc/12112/task/12115/stat : 12115 (pwbo1.1) R 12110 12112 11319 0 -1 4202560 83898 0 0 0 89723 285 0 0 19 0 3 0 989467597 924819456 203258 33554432000 4194304 5714118 140736083363952 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 903144
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+900.101 s]
/proc/loadavg: 4.01 4.01 3.91 5/182 12150
/proc/meminfo: memFree=6649260/32950940 swapFree=67053420/67111528
[pid=12112] ppid=12110 vsize=903144 CPUtime=1800.2 cores=0,2,4,6
/proc/12112/stat : 12112 (pwbo1.1) S 12110 12112 11319 0 -1 4202496 203602 0 0 0 179341 679 0 0 25 0 3 0 989467597 924819456 203258 33554432000 4194304 5714118 140736083363952 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/12112/statm: 225786 203258 180 372 0 225411 0
[pid=12112/tid=12114] ppid=12110 vsize=903144 CPUtime=900.11 cores=0,2,4,6
/proc/12112/task/12114/stat : 12114 (pwbo1.1) R 12110 12112 11319 0 -1 4202560 119200 0 0 0 89617 394 0 0 25 0 3 0 989467597 924819456 203258 33554432000 4194304 5714118 140736083363952 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=12112/tid=12115] ppid=12110 vsize=903144 CPUtime=900.08 cores=0,2,4,6
/proc/12112/task/12115/stat : 12115 (pwbo1.1) R 12110 12112 11319 0 -1 4202560 83898 0 0 0 89723 285 0 0 19 0 3 0 989467597 924819456 203258 33554432000 4194304 5714118 140736083363952 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 903144
Child status: 0
Real time (s): 900.145
CPU time (s): 1800.26
CPU user time (s): 1793.42
CPU system time (s): 6.83096
CPU usage (%): 199.996
Max. virtual memory (cumulated for all children) (KiB): 903144
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.42
system time used= 6.83096
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 203609
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= 308
involuntary context switches= 1928
runsolver used 1.26281 second user time and 2.93555 second system time
The end