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-3500587-1307996837/watcher-3500587-1307996837 -o /var/tmp/evaluation-result-3500587-1307996837/solver-3500587-1307996837 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500587-1307996837.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: 3.91 3.98 3.93 3/179 31660
/proc/meminfo: memFree=3716576/32951124 swapFree=67054520/67111528
[pid=31660] ppid=31658 vsize=5188 CPUtime=0 cores=0,2,4,6
/proc/31660/stat : 31660 (pwbo1.1) R 31658 31660 30373 0 -1 4202496 557 0 0 0 0 0 0 0 18 0 1 0 911282259 5312512 509 33554432000 4194304 5714118 140733716723808 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/31660/statm: 1297 515 167 372 0 415 0
[startup+0.0136601 s]
/proc/loadavg: 3.91 3.98 3.93 3/179 31660
/proc/meminfo: memFree=3716576/32951124 swapFree=67054520/67111528
[pid=31660] ppid=31658 vsize=5820 CPUtime=0.01 cores=0,2,4,6
/proc/31660/stat : 31660 (pwbo1.1) R 31658 31660 30373 0 -1 4202496 741 0 0 0 1 0 0 0 18 0 1 0 911282259 5959680 693 33554432000 4194304 5714118 140733716723808 18446744073709551615 4990090 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/31660/statm: 1455 693 195 372 0 573 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 5820
[startup+0.10064 s]
/proc/loadavg: 3.91 3.98 3.93 3/179 31660
/proc/meminfo: memFree=3716576/32951124 swapFree=67054520/67111528
[pid=31660] ppid=31658 vsize=12140 CPUtime=0.09 cores=0,2,4,6
/proc/31660/stat : 31660 (pwbo1.1) R 31658 31660 30373 0 -1 4202496 2605 0 0 0 9 0 0 0 18 0 1 0 911282259 12431360 2491 33554432000 4194304 5714118 140733716723808 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/31660/statm: 3035 2491 506 372 0 2153 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12140
[startup+0.300611 s]
/proc/loadavg: 3.91 3.98 3.93 3/179 31660
/proc/meminfo: memFree=3716576/32951124 swapFree=67054520/67111528
[pid=31660] ppid=31658 vsize=164316 CPUtime=0.41 cores=0,2,4,6
/proc/31660/stat : 31660 (pwbo1.1) S 31658 31660 30373 0 -1 4202496 15819 0 0 0 34 7 0 0 18 0 3 0 911282259 168259584 14736 33554432000 4194304 5714118 140733716723808 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/31660/statm: 41079 14736 179 372 0 40704 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 164316
[startup+0.70057 s]
/proc/loadavg: 3.91 3.98 3.93 3/179 31660
/proc/meminfo: memFree=3716576/32951124 swapFree=67054520/67111528
[pid=31660] ppid=31658 vsize=164316 CPUtime=1.22 cores=0,2,4,6
/proc/31660/stat : 31660 (pwbo1.1) S 31658 31660 30373 0 -1 4202496 16858 0 0 0 114 8 0 0 18 0 3 0 911282259 168259584 14785 33554432000 4194304 5714118 140733716723808 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/31660/statm: 41079 14785 179 372 0 40704 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 164316
[startup+1.50044 s]
/proc/loadavg: 3.91 3.98 3.93 5/182 31663
/proc/meminfo: memFree=3657800/32951124 swapFree=67054520/67111528
[pid=31660] ppid=31658 vsize=164316 CPUtime=2.81 cores=0,2,4,6
/proc/31660/stat : 31660 (pwbo1.1) S 31658 31660 30373 0 -1 4202496 19167 0 0 0 271 10 0 0 18 0 3 0 911282259 168259584 15727 33554432000 4194304 5714118 140733716723808 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/31660/statm: 41079 15727 179 372 0 40704 0
[pid=31660/tid=31662] ppid=31658 vsize=164316 CPUtime=1.33 cores=0,2,4,6
/proc/31660/task/31662/stat : 31662 (pwbo1.1) R 31658 31660 30373 0 -1 4202560 5365 0 0 0 131 2 0 0 18 0 3 0 911282274 168259584 15727 33554432000 4194304 5714118 140733716723808 18446744073709551615 4973054 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=31660/tid=31663] ppid=31658 vsize=164316 CPUtime=1.33 cores=0,2,4,6
/proc/31660/task/31663/stat : 31663 (pwbo1.1) R 31658 31660 30373 0 -1 4202560 10221 0 0 0 125 8 0 0 19 0 3 0 911282274 168259584 15727 33554432000 4194304 5714118 140733716723808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.81
Current children cumulated vsize (KiB) 164316
[startup+3.10117 s]
/proc/loadavg: 3.91 3.98 3.93 5/182 31663
/proc/meminfo: memFree=3650236/32951124 swapFree=67054520/67111528
[pid=31660] ppid=31658 vsize=164316 CPUtime=6.01 cores=0,2,4,6
/proc/31660/stat : 31660 (pwbo1.1) S 31658 31660 30373 0 -1 4202496 23619 0 0 0 581 20 0 0 18 0 3 0 911282259 168259584 18481 33554432000 4194304 5714118 140733716723808 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/31660/statm: 41079 18481 180 372 0 40704 0
[pid=31660/tid=31662] ppid=31658 vsize=164316 CPUtime=2.93 cores=0,2,4,6
/proc/31660/task/31662/stat : 31662 (pwbo1.1) R 31658 31660 30373 0 -1 4202560 7935 0 0 0 289 4 0 0 20 0 3 0 911282274 168259584 18481 33554432000 4194304 5714118 140733716723808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=31660/tid=31663] ppid=31658 vsize=164316 CPUtime=2.93 cores=0,2,4,6
/proc/31660/task/31663/stat : 31663 (pwbo1.1) R 31658 31660 30373 0 -1 4202560 12103 0 0 0 277 16 0 0 25 0 3 0 911282274 168259584 18481 33554432000 4194304 5714118 140733716723808 18446744073709551615 4964882 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 6.01
Current children cumulated vsize (KiB) 164316
[startup+6.3006 s]
/proc/loadavg: 3.92 3.98 3.93 5/182 31663
/proc/meminfo: memFree=3630536/32951124 swapFree=67054520/67111528
[pid=31660] ppid=31658 vsize=164316 CPUtime=12.41 cores=0,2,4,6
/proc/31660/stat : 31660 (pwbo1.1) S 31658 31660 30373 0 -1 4202496 28934 0 0 0 1202 39 0 0 18 0 3 0 911282259 168259584 23699 33554432000 4194304 5714118 140733716723808 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/31660/statm: 41079 23699 180 372 0 40704 0
[pid=31660/tid=31662] ppid=31658 vsize=164316 CPUtime=6.12 cores=0,2,4,6
/proc/31660/task/31662/stat : 31662 (pwbo1.1) R 31658 31660 30373 0 -1 4202560 9028 0 0 0 603 9 0 0 18 0 3 0 911282274 168259584 23699 33554432000 4194304 5714118 140733716723808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=31660/tid=31663] ppid=31658 vsize=164316 CPUtime=6.13 cores=0,2,4,6
/proc/31660/task/31663/stat : 31663 (pwbo1.1) R 31658 31660 30373 0 -1 4202560 16325 0 0 0 584 29 0 0 25 0 3 0 911282274 168259584 23699 33554432000 4194304 5714118 140733716723808 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.41
Current children cumulated vsize (KiB) 164316
[startup+12.7005 s]
/proc/loadavg: 3.93 3.98 3.93 5/182 31663
/proc/meminfo: memFree=3597964/32951124 swapFree=67054520/67111528
[pid=31660] ppid=31658 vsize=164720 CPUtime=25.2 cores=0,2,4,6
/proc/31660/stat : 31660 (pwbo1.1) S 31658 31660 30373 0 -1 4202496 35074 0 0 0 2462 58 0 0 18 0 3 0 911282259 168673280 29839 33554432000 4194304 5714118 140733716723808 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/31660/statm: 41180 29839 181 372 0 40805 0
[pid=31660/tid=31662] ppid=31658 vsize=164720 CPUtime=12.52 cores=0,2,4,6
/proc/31660/task/31662/stat : 31662 (pwbo1.1) R 31658 31660 30373 0 -1 4202560 12131 0 0 0 1234 18 0 0 25 0 3 0 911282274 168673280 29839 33554432000 4194304 5714118 140733716723808 18446744073709551615 4319807 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=31660/tid=31663] ppid=31658 vsize=164720 CPUtime=12.53 cores=0,2,4,6
/proc/31660/task/31663/stat : 31663 (pwbo1.1) R 31658 31660 30373 0 -1 4202560 19362 0 0 0 1214 39 0 0 25 0 3 0 911282274 168673280 29839 33554432000 4194304 5714118 140733716723808 18446744073709551615 4199424 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.2
Current children cumulated vsize (KiB) 164720
[startup+25.5004 s]
/proc/loadavg: 3.94 3.98 3.93 5/182 31664
/proc/meminfo: memFree=3575232/32951124 swapFree=67054520/67111528
[pid=31660] ppid=31658 vsize=230532 CPUtime=50.81 cores=0,2,4,6
/proc/31660/stat : 31660 (pwbo1.1) S 31658 31660 30373 0 -1 4202496 40710 0 0 0 5001 80 0 0 18 0 3 0 911282259 236064768 35406 33554432000 4194304 5714118 140733716723808 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/31660/statm: 57633 35406 181 372 0 57258 0
[pid=31660/tid=31662] ppid=31658 vsize=230532 CPUtime=25.32 cores=0,2,4,6
/proc/31660/task/31662/stat : 31662 (pwbo1.1) R 31658 31660 30373 0 -1 4202560 15657 0 0 0 2503 29 0 0 25 0 3 0 911282274 236064768 35406 33554432000 4194304 5714118 140733716723808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=31660/tid=31663] ppid=31658 vsize=230532 CPUtime=25.33 cores=0,2,4,6
/proc/31660/task/31663/stat : 31663 (pwbo1.1) R 31658 31660 30373 0 -1 4202560 21472 0 0 0 2484 49 0 0 25 0 3 0 911282274 236064768 35406 33554432000 4194304 5714118 140733716723808 18446744073709551615 4199411 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.81
Current children cumulated vsize (KiB) 230532
[startup+51.1011 s]
/proc/loadavg: 3.39 3.85 3.88 3/175 31689
/proc/meminfo: memFree=3667564/32951124 swapFree=67054520/67111528
[pid=31660] ppid=31658 vsize=297640 CPUtime=102.01 cores=0,2,4,6
/proc/31660/stat : 31660 (pwbo1.1) S 31658 31660 30373 0 -1 4202496 49097 0 0 0 10086 115 0 0 18 0 3 0 911282259 304783360 43771 33554432000 4194304 5714118 140733716723808 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/31660/statm: 74410 43771 181 372 0 74035 0
[pid=31660/tid=31662] ppid=31658 vsize=297640 CPUtime=50.92 cores=0,2,4,6
/proc/31660/task/31662/stat : 31662 (pwbo1.1) R 31658 31660 30373 0 -1 4202560 21119 0 0 0 5035 57 0 0 19 0 3 0 911282274 304783360 43771 33554432000 4194304 5714118 140733716723808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=31660/tid=31663] ppid=31658 vsize=297640 CPUtime=50.93 cores=0,2,4,6
/proc/31660/task/31663/stat : 31663 (pwbo1.1) R 31658 31660 30373 0 -1 4202560 24397 0 0 0 5037 56 0 0 25 0 3 0 911282274 304783360 43771 33554432000 4194304 5714118 140733716723808 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 102.01
Current children cumulated vsize (KiB) 297640
[startup+102.307 s]
/proc/loadavg: 3.58 3.82 3.87 5/182 31707
/proc/meminfo: memFree=3449252/32951124 swapFree=67054520/67111528
[pid=31660] ppid=31658 vsize=301524 CPUtime=204.42 cores=0,2,4,6
/proc/31660/stat : 31660 (pwbo1.1) S 31658 31660 30373 0 -1 4202496 60679 0 0 0 20277 165 0 0 18 0 3 0 911282259 308760576 55330 33554432000 4194304 5714118 140733716723808 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/31660/statm: 75381 55330 181 372 0 75006 0
[pid=31660/tid=31662] ppid=31658 vsize=301524 CPUtime=102.13 cores=0,2,4,6
/proc/31660/task/31662/stat : 31662 (pwbo1.1) R 31658 31660 30373 0 -1 4202560 29223 0 0 0 10117 96 0 0 25 0 3 0 911282274 308760576 55330 33554432000 4194304 5714118 140733716723808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=31660/tid=31663] ppid=31658 vsize=301524 CPUtime=102.13 cores=0,2,4,6
/proc/31660/task/31663/stat : 31663 (pwbo1.1) R 31658 31660 30373 0 -1 4202560 27875 0 0 0 10145 68 0 0 25 0 3 0 911282274 308760576 55330 33554432000 4194304 5714118 140733716723808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.42
Current children cumulated vsize (KiB) 301524
[startup+162.3 s]
/proc/loadavg: 3.84 3.85 3.87 5/182 31708
/proc/meminfo: memFree=3388316/32951124 swapFree=67054520/67111528
[pid=31660] ppid=31658 vsize=368032 CPUtime=324.41 cores=0,2,4,6
/proc/31660/stat : 31660 (pwbo1.1) S 31658 31660 30373 0 -1 4202496 69458 0 0 0 32228 213 0 0 18 0 3 0 911282259 376864768 64106 33554432000 4194304 5714118 140733716723808 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/31660/statm: 92008 64106 181 372 0 91633 0
[pid=31660/tid=31662] ppid=31658 vsize=368032 CPUtime=162.12 cores=0,2,4,6
/proc/31660/task/31662/stat : 31662 (pwbo1.1) R 31658 31660 30373 0 -1 4202560 37810 0 0 0 16080 132 0 0 25 0 3 0 911282274 376864768 64106 33554432000 4194304 5714118 140733716723808 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=31660/tid=31663] ppid=31658 vsize=368032 CPUtime=162.13 cores=0,2,4,6
/proc/31660/task/31663/stat : 31663 (pwbo1.1) R 31658 31660 30373 0 -1 4202560 28067 0 0 0 16134 79 0 0 25 0 3 0 911282274 376864768 64106 33554432000 4194304 5714118 140733716723808 18446744073709551615 4319134 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 324.41
Current children cumulated vsize (KiB) 368032
[startup+222.3 s]
/proc/loadavg: 3.94 3.87 3.88 4/177 31717
/proc/meminfo: memFree=3528664/32951124 swapFree=67054520/67111528
[pid=31660] ppid=31658 vsize=372936 CPUtime=444.41 cores=0,2,4,6
/proc/31660/stat : 31660 (pwbo1.1) S 31658 31660 30373 0 -1 4202496 82219 0 0 0 44183 258 0 0 18 0 3 0 911282259 381886464 76863 33554432000 4194304 5714118 140733716723808 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/31660/statm: 93234 76863 181 372 0 92859 0
[pid=31660/tid=31662] ppid=31658 vsize=372936 CPUtime=222.13 cores=0,2,4,6
/proc/31660/task/31662/stat : 31662 (pwbo1.1) R 31658 31660 30373 0 -1 4202560 44458 0 0 0 22047 166 0 0 25 0 3 0 911282274 381886464 76863 33554432000 4194304 5714118 140733716723808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=31660/tid=31663] ppid=31658 vsize=372936 CPUtime=222.13 cores=0,2,4,6
/proc/31660/task/31663/stat : 31663 (pwbo1.1) R 31658 31660 30373 0 -1 4202560 34180 0 0 0 22122 91 0 0 25 0 3 0 911282274 381886464 76864 33554432000 4194304 5714118 140733716723808 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 444.41
Current children cumulated vsize (KiB) 372936
[startup+282.3 s]
/proc/loadavg: 3.01 3.62 3.79 3/175 31975
/proc/meminfo: memFree=3509168/32951124 swapFree=67054520/67111528
[pid=31660] ppid=31658 vsize=376152 CPUtime=564.41 cores=0,2,4,6
/proc/31660/stat : 31660 (pwbo1.1) S 31658 31660 30373 0 -1 4202496 88203 0 0 0 56156 285 0 0 18 0 3 0 911282259 385179648 82592 33554432000 4194304 5714118 140733716723808 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/31660/statm: 94038 82592 181 372 0 93663 0
[pid=31660/tid=31662] ppid=31658 vsize=376152 CPUtime=282.13 cores=0,2,4,6
/proc/31660/task/31662/stat : 31662 (pwbo1.1) R 31658 31660 30373 0 -1 4202560 45068 0 0 0 28030 183 0 0 25 0 3 0 911282274 385179648 82592 33554432000 4194304 5714118 140733716723808 18446744073709551615 4319347 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=31660/tid=31663] ppid=31658 vsize=376152 CPUtime=282.13 cores=0,2,4,6
/proc/31660/task/31663/stat : 31663 (pwbo1.1) R 31658 31660 30373 0 -1 4202560 39554 0 0 0 28112 101 0 0 25 0 3 0 911282274 385179648 82592 33554432000 4194304 5714118 140733716723808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 564.41
Current children cumulated vsize (KiB) 376152
[startup+342.3 s]
/proc/loadavg: 2.78 3.42 3.71 5/182 32153
/proc/meminfo: memFree=3262204/32951124 swapFree=67054520/67111528
[pid=31660] ppid=31658 vsize=445792 CPUtime=684.41 cores=0,2,4,6
/proc/31660/stat : 31660 (pwbo1.1) S 31658 31660 30373 0 -1 4202496 93056 0 0 0 68132 309 0 0 18 0 3 0 911282259 456491008 87445 33554432000 4194304 5714118 140733716723808 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/31660/statm: 111448 87445 181 372 0 111073 0
[pid=31660/tid=31662] ppid=31658 vsize=445792 CPUtime=342.13 cores=0,2,4,6
/proc/31660/task/31662/stat : 31662 (pwbo1.1) R 31658 31660 30373 0 -1 4202560 45268 0 0 0 34016 197 0 0 25 0 3 0 911282274 456491008 87445 33554432000 4194304 5714118 140733716723808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=31660/tid=31663] ppid=31658 vsize=445792 CPUtime=342.14 cores=0,2,4,6
/proc/31660/task/31663/stat : 31663 (pwbo1.1) R 31658 31660 30373 0 -1 4202560 44207 0 0 0 34102 112 0 0 25 0 3 0 911282274 456491008 87445 33554432000 4194304 5714118 140733716723808 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 684.41
Current children cumulated vsize (KiB) 445792
[startup+402.3 s]
/proc/loadavg: 3.55 3.52 3.72 5/182 32155
/proc/meminfo: memFree=3167408/32951124 swapFree=67054520/67111528
[pid=31660] ppid=31658 vsize=450164 CPUtime=804.42 cores=0,2,4,6
/proc/31660/stat : 31660 (pwbo1.1) S 31658 31660 30373 0 -1 4202496 97138 0 0 0 80112 330 0 0 18 0 3 0 911282259 460967936 91527 33554432000 4194304 5714118 140733716723808 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/31660/statm: 112541 91527 181 372 0 112166 0
[pid=31660/tid=31662] ppid=31658 vsize=450164 CPUtime=402.13 cores=0,2,4,6
/proc/31660/task/31662/stat : 31662 (pwbo1.1) R 31658 31660 30373 0 -1 4202560 45352 0 0 0 40003 210 0 0 25 0 3 0 911282274 460967936 91527 33554432000 4194304 5714118 140733716723808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=31660/tid=31663] ppid=31658 vsize=450164 CPUtime=402.14 cores=0,2,4,6
/proc/31660/task/31663/stat : 31663 (pwbo1.1) R 31658 31660 30373 0 -1 4202560 48205 0 0 0 40095 119 0 0 25 0 3 0 911282274 460967936 91527 33554432000 4194304 5714118 140733716723808 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 804.42
Current children cumulated vsize (KiB) 450164
[startup+462.301 s]
/proc/loadavg: 3.91 3.62 3.74 5/182 32156
/proc/meminfo: memFree=3107356/32951124 swapFree=67054520/67111528
[pid=31660] ppid=31658 vsize=452764 CPUtime=924.42 cores=0,2,4,6
/proc/31660/stat : 31660 (pwbo1.1) S 31658 31660 30373 0 -1 4202496 101913 0 0 0 92091 351 0 0 18 0 3 0 911282259 463630336 96301 33554432000 4194304 5714118 140733716723808 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/31660/statm: 113191 96301 181 372 0 112816 0
[pid=31660/tid=31662] ppid=31658 vsize=452764 CPUtime=462.13 cores=0,2,4,6
/proc/31660/task/31662/stat : 31662 (pwbo1.1) R 31658 31660 30373 0 -1 4202560 47012 0 0 0 45990 223 0 0 25 0 3 0 911282274 463630336 96301 33554432000 4194304 5714118 140733716723808 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=31660/tid=31663] ppid=31658 vsize=452764 CPUtime=462.13 cores=0,2,4,6
/proc/31660/task/31663/stat : 31663 (pwbo1.1) R 31658 31660 30373 0 -1 4202560 51320 0 0 0 46086 127 0 0 25 0 3 0 911282274 463630336 96301 33554432000 4194304 5714118 140733716723808 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 924.42
Current children cumulated vsize (KiB) 452764
[startup+522.301 s]
/proc/loadavg: 3.96 3.69 3.75 5/182 32158
/proc/meminfo: memFree=3039348/32951124 swapFree=67054520/67111528
[pid=31660] ppid=31658 vsize=452764 CPUtime=1044.42 cores=0,2,4,6
/proc/31660/stat : 31660 (pwbo1.1) S 31658 31660 30373 0 -1 4202496 108147 0 0 0 104063 379 0 0 18 0 3 0 911282259 463630336 102529 33554432000 4194304 5714118 140733716723808 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/31660/statm: 113191 102529 181 372 0 112816 0
[pid=31660/tid=31662] ppid=31658 vsize=452764 CPUtime=522.13 cores=0,2,4,6
/proc/31660/task/31662/stat : 31662 (pwbo1.1) R 31658 31660 30373 0 -1 4202560 50175 0 0 0 51971 242 0 0 25 0 3 0 911282274 463630336 102529 33554432000 4194304 5714118 140733716723808 18446744073709551615 4319347 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=31660/tid=31663] ppid=31658 vsize=452764 CPUtime=522.13 cores=0,2,4,6
/proc/31660/task/31663/stat : 31663 (pwbo1.1) R 31658 31660 30373 0 -1 4202560 54391 0 0 0 52077 136 0 0 25 0 3 0 911282274 463630336 102529 33554432000 4194304 5714118 140733716723808 18446744073709551615 4319720 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1044.42
Current children cumulated vsize (KiB) 452764
[startup+582.301 s]
/proc/loadavg: 4.02 3.76 3.77 5/182 32159
/proc/meminfo: memFree=2960800/32951124 swapFree=67054520/67111528
[pid=31660] ppid=31658 vsize=519444 CPUtime=1164.42 cores=0,2,4,6
/proc/31660/stat : 31660 (pwbo1.1) S 31658 31660 30373 0 -1 4202496 114649 0 0 0 116036 406 0 0 18 0 3 0 911282259 531910656 109028 33554432000 4194304 5714118 140733716723808 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/31660/statm: 129861 109028 181 372 0 129486 0
[pid=31660/tid=31662] ppid=31658 vsize=519444 CPUtime=582.13 cores=0,2,4,6
/proc/31660/task/31662/stat : 31662 (pwbo1.1) R 31658 31660 30373 0 -1 4202560 54135 0 0 0 57951 262 0 0 25 0 3 0 911282274 531910656 109028 33554432000 4194304 5714118 140733716723808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=31660/tid=31663] ppid=31658 vsize=519444 CPUtime=582.14 cores=0,2,4,6
/proc/31660/task/31663/stat : 31663 (pwbo1.1) R 31658 31660 30373 0 -1 4202560 56933 0 0 0 58071 143 0 0 25 0 3 0 911282274 531910656 109028 33554432000 4194304 5714118 140733716723808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1164.42
Current children cumulated vsize (KiB) 519444
[startup+642.301 s]
/proc/loadavg: 4.00 3.80 3.78 5/182 32161
/proc/meminfo: memFree=2858192/32951124 swapFree=67054520/67111528
[pid=31660] ppid=31658 vsize=526880 CPUtime=1284.43 cores=0,2,4,6
/proc/31660/stat : 31660 (pwbo1.1) S 31658 31660 30373 0 -1 4202496 125100 0 0 0 128004 439 0 0 18 0 3 0 911282259 539525120 119478 33554432000 4194304 5714118 140733716723808 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/31660/statm: 131720 119478 181 372 0 131345 0
[pid=31660/tid=31662] ppid=31658 vsize=526880 CPUtime=642.14 cores=0,2,4,6
/proc/31660/task/31662/stat : 31662 (pwbo1.1) R 31658 31660 30373 0 -1 4202560 61321 0 0 0 63924 290 0 0 25 0 3 0 911282274 539525120 119478 33554432000 4194304 5714118 140733716723808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=31660/tid=31663] ppid=31658 vsize=526880 CPUtime=642.15 cores=0,2,4,6
/proc/31660/task/31663/stat : 31663 (pwbo1.1) R 31658 31660 30373 0 -1 4202560 60198 0 0 0 64066 149 0 0 25 0 3 0 911282274 539525120 119478 33554432000 4194304 5714118 140733716723808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1284.43
Current children cumulated vsize (KiB) 526880
[startup+702.301 s]
/proc/loadavg: 4.00 3.83 3.79 5/182 32163
/proc/meminfo: memFree=2824028/32951124 swapFree=67054520/67111528
[pid=31660] ppid=31658 vsize=595432 CPUtime=1404.43 cores=0,2,4,6
/proc/31660/stat : 31660 (pwbo1.1) S 31658 31660 30373 0 -1 4202496 127143 0 0 0 139991 452 0 0 18 0 3 0 911282259 609722368 121499 33554432000 4194304 5714118 140733716723808 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/31660/statm: 148858 121499 181 372 0 148483 0
[pid=31660/tid=31662] ppid=31658 vsize=595432 CPUtime=702.13 cores=0,2,4,6
/proc/31660/task/31662/stat : 31662 (pwbo1.1) R 31658 31660 30373 0 -1 4202560 61829 0 0 0 69916 297 0 0 25 0 3 0 911282274 609722368 121499 33554432000 4194304 5714118 140733716723808 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=31660/tid=31663] ppid=31658 vsize=595432 CPUtime=702.14 cores=0,2,4,6
/proc/31660/task/31663/stat : 31663 (pwbo1.1) R 31658 31660 30373 0 -1 4202560 61733 0 0 0 70060 154 0 0 25 0 3 0 911282274 609722368 121499 33554432000 4194304 5714118 140733716723808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1404.43
Current children cumulated vsize (KiB) 595432
[startup+762.307 s]
/proc/loadavg: 4.00 3.86 3.81 5/182 32164
/proc/meminfo: memFree=2781308/32951124 swapFree=67054520/67111528
[pid=31660] ppid=31658 vsize=595432 CPUtime=1524.44 cores=0,2,4,6
/proc/31660/stat : 31660 (pwbo1.1) S 31658 31660 30373 0 -1 4202496 131374 0 0 0 151959 485 0 0 18 0 3 0 911282259 609722368 125730 33554432000 4194304 5714118 140733716723808 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/31660/statm: 148858 125730 181 372 0 148483 0
[pid=31660/tid=31662] ppid=31658 vsize=595432 CPUtime=762.13 cores=0,2,4,6
/proc/31660/task/31662/stat : 31662 (pwbo1.1) R 31658 31660 30373 0 -1 4202560 66053 0 0 0 75891 322 0 0 25 0 3 0 911282274 609722368 125730 33554432000 4194304 5714118 140733716723808 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=31660/tid=31663] ppid=31658 vsize=595432 CPUtime=762.15 cores=0,2,4,6
/proc/31660/task/31663/stat : 31663 (pwbo1.1) R 31658 31660 30373 0 -1 4202560 61740 0 0 0 76053 162 0 0 25 0 3 0 911282274 609722368 125730 33554432000 4194304 5714118 140733716723808 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1524.44
Current children cumulated vsize (KiB) 595432
[startup+822.301 s]
/proc/loadavg: 4.00 3.88 3.82 5/182 32166
/proc/meminfo: memFree=2738344/32951124 swapFree=67054520/67111528
[pid=31660] ppid=31658 vsize=660968 CPUtime=1644.43 cores=0,2,4,6
/proc/31660/stat : 31660 (pwbo1.1) S 31658 31660 30373 0 -1 4202496 136184 0 0 0 163930 513 0 0 18 0 3 0 911282259 676831232 130539 33554432000 4194304 5714118 140733716723808 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/31660/statm: 165242 130539 181 372 0 164867 0
[pid=31660/tid=31662] ppid=31658 vsize=660968 CPUtime=822.13 cores=0,2,4,6
/proc/31660/task/31662/stat : 31662 (pwbo1.1) R 31658 31660 30373 0 -1 4202560 70858 0 0 0 81869 344 0 0 25 0 3 0 911282274 676831232 130539 33554432000 4194304 5714118 140733716723808 18446744073709551615 4319347 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=31660/tid=31663] ppid=31658 vsize=660968 CPUtime=822.14 cores=0,2,4,6
/proc/31660/task/31663/stat : 31663 (pwbo1.1) R 31658 31660 30373 0 -1 4202560 61745 0 0 0 82047 167 0 0 25 0 3 0 911282274 676831232 130539 33554432000 4194304 5714118 140733716723808 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1644.43
Current children cumulated vsize (KiB) 660968
[startup+882.301 s]
/proc/loadavg: 4.00 3.90 3.82 5/182 32167
/proc/meminfo: memFree=2706668/32951124 swapFree=67054520/67111528
[pid=31660] ppid=31658 vsize=662168 CPUtime=1764.43 cores=0,2,4,6
/proc/31660/stat : 31660 (pwbo1.1) S 31658 31660 30373 0 -1 4202496 139108 0 0 0 175904 539 0 0 18 0 3 0 911282259 678060032 133463 33554432000 4194304 5714118 140733716723808 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/31660/statm: 165542 133463 181 372 0 165167 0
[pid=31660/tid=31662] ppid=31658 vsize=662168 CPUtime=882.13 cores=0,2,4,6
/proc/31660/task/31662/stat : 31662 (pwbo1.1) R 31658 31660 30373 0 -1 4202560 73410 0 0 0 87849 364 0 0 25 0 3 0 911282274 678060032 133463 33554432000 4194304 5714118 140733716723808 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=31660/tid=31663] ppid=31658 vsize=662168 CPUtime=882.14 cores=0,2,4,6
/proc/31660/task/31663/stat : 31663 (pwbo1.1) R 31658 31660 30373 0 -1 4202560 62117 0 0 0 88041 173 0 0 25 0 3 0 911282274 678060032 133463 33554432000 4194304 5714118 140733716723808 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1764.43
Current children cumulated vsize (KiB) 662168
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.101 s]
/proc/loadavg: 4.00 3.91 3.83 5/182 32168
/proc/meminfo: memFree=2694988/32951124 swapFree=67054520/67111528
[pid=31660] ppid=31658 vsize=662168 CPUtime=1800.04 cores=0,2,4,6
/proc/31660/stat : 31660 (pwbo1.1) S 31658 31660 30373 0 -1 4202496 140474 0 0 0 179452 552 0 0 18 0 3 0 911282259 678060032 134829 33554432000 4194304 5714118 140733716723808 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/31660/statm: 165542 134829 181 372 0 165167 0
[pid=31660/tid=31662] ppid=31658 vsize=662168 CPUtime=899.94 cores=0,2,4,6
/proc/31660/task/31662/stat : 31662 (pwbo1.1) R 31658 31660 30373 0 -1 4202560 74765 0 0 0 89619 375 0 0 25 0 3 0 911282274 678060032 134829 33554432000 4194304 5714118 140733716723808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=31660/tid=31663] ppid=31658 vsize=662168 CPUtime=899.95 cores=0,2,4,6
/proc/31660/task/31663/stat : 31663 (pwbo1.1) R 31658 31660 30373 0 -1 4202560 62128 0 0 0 89819 176 0 0 25 0 3 0 911282274 678060032 134829 33554432000 4194304 5714118 140733716723808 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 662168
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+900.101 s]
/proc/loadavg: 4.00 3.91 3.83 5/182 32168
/proc/meminfo: memFree=2694988/32951124 swapFree=67054520/67111528
[pid=31660] ppid=31658 vsize=662168 CPUtime=1800.04 cores=0,2,4,6
/proc/31660/stat : 31660 (pwbo1.1) S 31658 31660 30373 0 -1 4202496 140474 0 0 0 179452 552 0 0 18 0 3 0 911282259 678060032 134829 33554432000 4194304 5714118 140733716723808 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/31660/statm: 165542 134829 181 372 0 165167 0
[pid=31660/tid=31662] ppid=31658 vsize=662168 CPUtime=899.94 cores=0,2,4,6
/proc/31660/task/31662/stat : 31662 (pwbo1.1) R 31658 31660 30373 0 -1 4202560 74765 0 0 0 89619 375 0 0 25 0 3 0 911282274 678060032 134829 33554432000 4194304 5714118 140733716723808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=31660/tid=31663] ppid=31658 vsize=662168 CPUtime=899.95 cores=0,2,4,6
/proc/31660/task/31663/stat : 31663 (pwbo1.1) R 31658 31660 30373 0 -1 4202560 62128 0 0 0 89819 176 0 0 25 0 3 0 911282274 678060032 134829 33554432000 4194304 5714118 140733716723808 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 662168
Child status: 0
Real time (s): 900.135
CPU time (s): 1800.08
CPU user time (s): 1794.54
CPU system time (s): 5.54616
CPU usage (%): 199.979
Max. virtual memory (cumulated for all children) (KiB): 662168
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.54
system time used= 5.54616
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 140481
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= 937
involuntary context switches= 2676
runsolver used 1.56576 second user time and 3.07253 second system time
The end