runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3500447-1307995577/watcher-3500447-1307995577 -o /tmp/evaluation-result-3500447-1307995577/solver-3500447-1307995577 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500447-1307995577.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.47 3.84 3.88 3/180 1780
/proc/meminfo: memFree=11111448/32951124 swapFree=67063272/67111528
[pid=1780] ppid=1778 vsize=134924 CPUtime=0 cores=0,2,4,6
/proc/1780/stat : 1780 (pwbo1.1) S 1778 1780 768 0 -1 4202496 448 0 0 0 0 0 0 0 23 0 3 0 911155911 138162176 396 33554432000 4194304 5714118 140735629481216 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/1780/statm: 33731 396 178 372 0 33356 0
[pid=1780/tid=1781] ppid=1778 vsize=134924 CPUtime=0 cores=0,2,4,6
/proc/1780/task/1781/stat : 1781 (pwbo1.1) R 1778 1780 768 0 -1 4202560 62 0 0 0 0 0 0 0 24 0 3 0 911155911 138162176 406 33554432000 4194304 5714118 140735629481216 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=1780/tid=1782] ppid=1778 vsize=134924 CPUtime=0 cores=0,2,4,6
/proc/1780/task/1782/stat : 1782 (pwbo1.1) R 1778 1780 768 0 -1 4202560 28 0 0 0 0 0 0 0 25 0 3 0 911155911 138162176 406 33554432000 4194304 5714118 140735629481216 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[startup+0.028859 s]
/proc/loadavg: 3.47 3.84 3.88 3/180 1780
/proc/meminfo: memFree=11111448/32951124 swapFree=67063272/67111528
[pid=1780] ppid=1778 vsize=134924 CPUtime=0.04 cores=0,2,4,6
/proc/1780/stat : 1780 (pwbo1.1) S 1778 1780 768 0 -1 4202496 565 0 0 0 4 0 0 0 23 0 3 0 911155911 138162176 513 33554432000 4194304 5714118 140735629481216 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/1780/statm: 33731 513 179 372 0 33356 0
[pid=1780/tid=1781] ppid=1778 vsize=134924 CPUtime=0.02 cores=0,2,4,6
/proc/1780/task/1781/stat : 1781 (pwbo1.1) R 1778 1780 768 0 -1 4202560 113 0 0 0 2 0 0 0 25 0 3 0 911155911 138162176 513 33554432000 4194304 5714118 140735629481216 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=1780/tid=1782] ppid=1778 vsize=134924 CPUtime=0.02 cores=0,2,4,6
/proc/1780/task/1782/stat : 1782 (pwbo1.1) R 1778 1780 768 0 -1 4202560 84 0 0 0 2 0 0 0 25 0 3 0 911155911 138162176 513 33554432000 4194304 5714118 140735629481216 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 134924
[startup+0.100844 s]
/proc/loadavg: 3.47 3.84 3.88 3/180 1780
/proc/meminfo: memFree=11111448/32951124 swapFree=67063272/67111528
[pid=1780] ppid=1778 vsize=134924 CPUtime=0.18 cores=0,2,4,6
/proc/1780/stat : 1780 (pwbo1.1) S 1778 1780 768 0 -1 4202496 859 0 0 0 18 0 0 0 23 0 3 0 911155911 138162176 807 33554432000 4194304 5714118 140735629481216 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/1780/statm: 33731 807 179 372 0 33356 0
[pid=1780/tid=1781] ppid=1778 vsize=134924 CPUtime=0.09 cores=0,2,4,6
/proc/1780/task/1781/stat : 1781 (pwbo1.1) R 1778 1780 768 0 -1 4202560 268 0 0 0 9 0 0 0 25 0 3 0 911155911 138162176 807 33554432000 4194304 5714118 140735629481216 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=1780/tid=1782] ppid=1778 vsize=134924 CPUtime=0.08 cores=0,2,4,6
/proc/1780/task/1782/stat : 1782 (pwbo1.1) R 1778 1780 768 0 -1 4202560 223 0 0 0 8 0 0 0 25 0 3 0 911155911 138162176 807 33554432000 4194304 5714118 140735629481216 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 134924
[startup+0.300787 s]
/proc/loadavg: 3.47 3.84 3.88 3/180 1780
/proc/meminfo: memFree=11111448/32951124 swapFree=67063272/67111528
[pid=1780] ppid=1778 vsize=134924 CPUtime=0.59 cores=0,2,4,6
/proc/1780/stat : 1780 (pwbo1.1) S 1778 1780 768 0 -1 4202496 1542 0 0 0 57 2 0 0 23 0 3 0 911155911 138162176 1490 33554432000 4194304 5714118 140735629481216 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/1780/statm: 33731 1490 179 372 0 33356 0
[pid=1780/tid=1781] ppid=1778 vsize=134924 CPUtime=0.28 cores=0,2,4,6
/proc/1780/task/1781/stat : 1781 (pwbo1.1) R 1778 1780 768 0 -1 4202560 660 0 0 0 28 0 0 0 25 0 3 0 911155911 138162176 1490 33554432000 4194304 5714118 140735629481216 18446744073709551615 4319374 0 0 4096 16387 0 0 0 -1 6 0 0 0
[pid=1780/tid=1782] ppid=1778 vsize=134924 CPUtime=0.29 cores=0,2,4,6
/proc/1780/task/1782/stat : 1782 (pwbo1.1) R 1778 1780 768 0 -1 4202560 514 0 0 0 28 1 0 0 25 0 3 0 911155911 138162176 1490 33554432000 4194304 5714118 140735629481216 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 134924
[startup+0.700741 s]
/proc/loadavg: 3.47 3.84 3.88 3/180 1780
/proc/meminfo: memFree=11111448/32951124 swapFree=67063272/67111528
[pid=1780] ppid=1778 vsize=134924 CPUtime=1.39 cores=0,2,4,6
/proc/1780/stat : 1780 (pwbo1.1) S 1778 1780 768 0 -1 4202496 2634 0 0 0 133 6 0 0 23 0 3 0 911155911 138162176 2582 33554432000 4194304 5714118 140735629481216 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/1780/statm: 33731 2582 179 372 0 33356 0
[pid=1780/tid=1781] ppid=1778 vsize=134924 CPUtime=0.69 cores=0,2,4,6
/proc/1780/task/1781/stat : 1781 (pwbo1.1) R 1778 1780 768 0 -1 4202560 1295 0 0 0 67 2 0 0 18 0 3 0 911155911 138162176 2582 33554432000 4194304 5714118 140735629481216 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=1780/tid=1782] ppid=1778 vsize=134924 CPUtime=0.68 cores=0,2,4,6
/proc/1780/task/1782/stat : 1782 (pwbo1.1) R 1778 1780 768 0 -1 4202560 971 0 0 0 65 3 0 0 25 0 3 0 911155911 138162176 2582 33554432000 4194304 5714118 140735629481216 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 134924
[startup+1.50062 s]
/proc/loadavg: 3.47 3.84 3.88 5/183 1783
/proc/meminfo: memFree=11100032/32951124 swapFree=67063272/67111528
[pid=1780] ppid=1778 vsize=135068 CPUtime=2.98 cores=0,2,4,6
/proc/1780/stat : 1780 (pwbo1.1) S 1778 1780 768 0 -1 4202496 3166 0 0 0 291 7 0 0 23 0 3 0 911155911 138309632 3114 33554432000 4194304 5714118 140735629481216 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/1780/statm: 33767 3114 179 372 0 33392 0
[pid=1780/tid=1781] ppid=1778 vsize=135068 CPUtime=1.49 cores=0,2,4,6
/proc/1780/task/1781/stat : 1781 (pwbo1.1) R 1778 1780 768 0 -1 4202560 1772 0 0 0 146 3 0 0 19 0 3 0 911155911 138309632 3114 33554432000 4194304 5714118 140735629481216 18446744073709551615 4319745 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=1780/tid=1782] ppid=1778 vsize=135068 CPUtime=1.48 cores=0,2,4,6
/proc/1780/task/1782/stat : 1782 (pwbo1.1) R 1778 1780 768 0 -1 4202560 1026 0 0 0 144 4 0 0 25 0 3 0 911155911 138309632 3114 33554432000 4194304 5714118 140735629481216 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 135068
[startup+3.10034 s]
/proc/loadavg: 3.47 3.84 3.88 5/183 1783
/proc/meminfo: memFree=11095692/32951124 swapFree=67063272/67111528
[pid=1780] ppid=1778 vsize=135068 CPUtime=6.19 cores=0,2,4,6
/proc/1780/stat : 1780 (pwbo1.1) S 1778 1780 768 0 -1 4202496 4056 0 0 0 608 11 0 0 23 0 3 0 911155911 138309632 4004 33554432000 4194304 5714118 140735629481216 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/1780/statm: 33767 4004 179 372 0 33392 0
[pid=1780/tid=1781] ppid=1778 vsize=135068 CPUtime=3.09 cores=0,2,4,6
/proc/1780/task/1781/stat : 1781 (pwbo1.1) R 1778 1780 768 0 -1 4202560 2517 0 0 0 304 5 0 0 22 0 3 0 911155911 138309632 4004 33554432000 4194304 5714118 140735629481216 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=1780/tid=1782] ppid=1778 vsize=135068 CPUtime=3.08 cores=0,2,4,6
/proc/1780/task/1782/stat : 1782 (pwbo1.1) R 1778 1780 768 0 -1 4202560 1171 0 0 0 303 5 0 0 25 0 3 0 911155911 138309632 4004 33554432000 4194304 5714118 140735629481216 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 135068
[startup+6.30074 s]
/proc/loadavg: 3.51 3.84 3.88 5/183 1783
/proc/meminfo: memFree=11084884/32951124 swapFree=67063272/67111528
[pid=1780] ppid=1778 vsize=135212 CPUtime=12.59 cores=0,2,4,6
/proc/1780/stat : 1780 (pwbo1.1) S 1778 1780 768 0 -1 4202496 5535 0 0 0 1243 16 0 0 23 0 3 0 911155911 138457088 5483 33554432000 4194304 5714118 140735629481216 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/1780/statm: 33803 5483 180 372 0 33428 0
[pid=1780/tid=1781] ppid=1778 vsize=135212 CPUtime=6.29 cores=0,2,4,6
/proc/1780/task/1781/stat : 1781 (pwbo1.1) R 1778 1780 768 0 -1 4202560 3498 0 0 0 622 7 0 0 25 0 3 0 911155911 138457088 5483 33554432000 4194304 5714118 140735629481216 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=1780/tid=1782] ppid=1778 vsize=135212 CPUtime=6.29 cores=0,2,4,6
/proc/1780/task/1782/stat : 1782 (pwbo1.1) R 1778 1780 768 0 -1 4202560 1669 0 0 0 620 9 0 0 19 0 3 0 911155911 138457088 5483 33554432000 4194304 5714118 140735629481216 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 135212
[startup+12.7006 s]
/proc/loadavg: 3.55 3.84 3.88 5/183 1783
/proc/meminfo: memFree=11066000/32951124 swapFree=67063272/67111528
[pid=1780] ppid=1778 vsize=135356 CPUtime=25.39 cores=0,2,4,6
/proc/1780/stat : 1780 (pwbo1.1) S 1778 1780 768 0 -1 4202496 7507 0 0 0 2513 26 0 0 23 0 3 0 911155911 138604544 7455 33554432000 4194304 5714118 140735629481216 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/1780/statm: 33839 7455 180 372 0 33464 0
[pid=1780/tid=1781] ppid=1778 vsize=135356 CPUtime=12.69 cores=0,2,4,6
/proc/1780/task/1781/stat : 1781 (pwbo1.1) R 1778 1780 768 0 -1 4202560 5036 0 0 0 1258 11 0 0 25 0 3 0 911155911 138604544 7455 33554432000 4194304 5714118 140735629481216 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=1780/tid=1782] ppid=1778 vsize=135356 CPUtime=12.68 cores=0,2,4,6
/proc/1780/task/1782/stat : 1782 (pwbo1.1) R 1778 1780 768 0 -1 4202560 2103 0 0 0 1254 14 0 0 25 0 3 0 911155911 138604544 7455 33554432000 4194304 5714118 140735629481216 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 135356
[startup+25.5003 s]
/proc/loadavg: 3.65 3.85 3.89 5/183 1783
/proc/meminfo: memFree=11035236/32951124 swapFree=67063272/67111528
[pid=1780] ppid=1778 vsize=135356 CPUtime=50.98 cores=0,2,4,6
/proc/1780/stat : 1780 (pwbo1.1) S 1778 1780 768 0 -1 4202496 10726 0 0 0 5054 44 0 0 23 0 3 0 911155911 138604544 10674 33554432000 4194304 5714118 140735629481216 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/1780/statm: 33839 10674 180 372 0 33464 0
[pid=1780/tid=1781] ppid=1778 vsize=135356 CPUtime=25.49 cores=0,2,4,6
/proc/1780/task/1781/stat : 1781 (pwbo1.1) R 1778 1780 768 0 -1 4202560 7764 0 0 0 2530 19 0 0 25 0 3 0 911155911 138604544 10674 33554432000 4194304 5714118 140735629481216 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=1780/tid=1782] ppid=1778 vsize=135356 CPUtime=25.48 cores=0,2,4,6
/proc/1780/task/1782/stat : 1782 (pwbo1.1) R 1778 1780 768 0 -1 4202560 2594 0 0 0 2523 25 0 0 25 0 3 0 911155911 138604544 10674 33554432000 4194304 5714118 140735629481216 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 135356
[startup+51.1008 s]
/proc/loadavg: 3.77 3.86 3.89 5/183 1784
/proc/meminfo: memFree=10983616/32951124 swapFree=67063272/67111528
[pid=1780] ppid=1778 vsize=135572 CPUtime=102.18 cores=0,2,4,6
/proc/1780/stat : 1780 (pwbo1.1) S 1778 1780 768 0 -1 4202496 16411 0 0 0 10141 77 0 0 23 0 3 0 911155911 138825728 16359 33554432000 4194304 5714118 140735629481216 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/1780/statm: 33893 16359 180 372 0 33518 0
[pid=1780/tid=1781] ppid=1778 vsize=135572 CPUtime=51.08 cores=0,2,4,6
/proc/1780/task/1781/stat : 1781 (pwbo1.1) R 1778 1780 768 0 -1 4202560 13131 0 0 0 5075 33 0 0 25 0 3 0 911155911 138825728 16359 33554432000 4194304 5714118 140735629481216 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=1780/tid=1782] ppid=1778 vsize=135572 CPUtime=51.09 cores=0,2,4,6
/proc/1780/task/1782/stat : 1782 (pwbo1.1) R 1778 1780 768 0 -1 4202560 2912 0 0 0 5066 43 0 0 25 0 3 0 911155911 138825728 16359 33554432000 4194304 5714118 140735629481216 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 135572
[startup+102.307 s]
/proc/loadavg: 3.90 3.88 3.89 5/183 1786
/proc/meminfo: memFree=10883900/32951124 swapFree=67063272/67111528
[pid=1780] ppid=1778 vsize=201252 CPUtime=204.6 cores=0,2,4,6
/proc/1780/stat : 1780 (pwbo1.1) S 1778 1780 768 0 -1 4202496 26205 0 0 0 20322 138 0 0 23 0 3 0 911155911 206082048 26041 33554432000 4194304 5714118 140735629481216 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/1780/statm: 50313 26041 180 372 0 49938 0
[pid=1780/tid=1781] ppid=1778 vsize=201252 CPUtime=102.29 cores=0,2,4,6
/proc/1780/task/1781/stat : 1781 (pwbo1.1) R 1778 1780 768 0 -1 4202560 21903 0 0 0 10167 62 0 0 25 0 3 0 911155911 206082048 26041 33554432000 4194304 5714118 140735629481216 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=1780/tid=1782] ppid=1778 vsize=201252 CPUtime=102.29 cores=0,2,4,6
/proc/1780/task/1782/stat : 1782 (pwbo1.1) R 1778 1780 768 0 -1 4202560 3934 0 0 0 10154 75 0 0 25 0 3 0 911155911 206082048 26041 33554432000 4194304 5714118 140735629481216 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 204.6
Current children cumulated vsize (KiB) 201252
[startup+162.301 s]
/proc/loadavg: 3.99 3.91 3.90 5/183 1787
/proc/meminfo: memFree=10777204/32951124 swapFree=67063272/67111528
[pid=1780] ppid=1778 vsize=201684 CPUtime=324.59 cores=0,2,4,6
/proc/1780/stat : 1780 (pwbo1.1) S 1778 1780 768 0 -1 4202496 36418 0 0 0 32251 208 0 0 23 0 3 0 911155911 206524416 36234 33554432000 4194304 5714118 140735629481216 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/1780/statm: 50421 36234 180 372 0 50046 0
[pid=1780/tid=1781] ppid=1778 vsize=201684 CPUtime=162.29 cores=0,2,4,6
/proc/1780/task/1781/stat : 1781 (pwbo1.1) R 1778 1780 768 0 -1 4202560 31686 0 0 0 16135 94 0 0 25 0 3 0 911155911 206524416 36234 33554432000 4194304 5714118 140735629481216 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=1780/tid=1782] ppid=1778 vsize=201684 CPUtime=162.29 cores=0,2,4,6
/proc/1780/task/1782/stat : 1782 (pwbo1.1) R 1778 1780 768 0 -1 4202560 4364 0 0 0 16116 113 0 0 25 0 3 0 911155911 206524416 36234 33554432000 4194304 5714118 140735629481216 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 324.59
Current children cumulated vsize (KiB) 201684
[startup+222.3 s]
/proc/loadavg: 3.99 3.93 3.91 5/183 1789
/proc/meminfo: memFree=10673008/32951124 swapFree=67063272/67111528
[pid=1780] ppid=1778 vsize=267796 CPUtime=444.6 cores=0,2,4,6
/proc/1780/stat : 1780 (pwbo1.1) S 1778 1780 768 0 -1 4202496 46268 0 0 0 44181 279 0 0 23 0 3 0 911155911 274223104 46084 33554432000 4194304 5714118 140735629481216 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/1780/statm: 66949 46085 180 372 0 66574 0
[pid=1780/tid=1781] ppid=1778 vsize=267796 CPUtime=222.29 cores=0,2,4,6
/proc/1780/task/1781/stat : 1781 (pwbo1.1) R 1778 1780 768 0 -1 4202560 41467 0 0 0 22101 128 0 0 25 0 3 0 911155911 274223104 46085 33554432000 4194304 5714118 140735629481216 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=1780/tid=1782] ppid=1778 vsize=267796 CPUtime=222.29 cores=0,2,4,6
/proc/1780/task/1782/stat : 1782 (pwbo1.1) R 1778 1780 768 0 -1 4202560 4434 0 0 0 22079 150 0 0 25 0 3 0 911155911 274223104 46085 33554432000 4194304 5714118 140735629481216 18446744073709551615 4319249 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 444.6
Current children cumulated vsize (KiB) 267796
[startup+282.301 s]
/proc/loadavg: 3.99 3.94 3.91 5/183 1790
/proc/meminfo: memFree=10574896/32951124 swapFree=67063272/67111528
[pid=1780] ppid=1778 vsize=334052 CPUtime=564.59 cores=0,2,4,6
/proc/1780/stat : 1780 (pwbo1.1) S 1778 1780 768 0 -1 4202496 55620 0 0 0 56115 344 0 0 23 0 3 0 911155911 342069248 55279 33554432000 4194304 5714118 140735629481216 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/1780/statm: 83513 55279 180 372 0 83138 0
[pid=1780/tid=1781] ppid=1778 vsize=334052 CPUtime=282.29 cores=0,2,4,6
/proc/1780/task/1781/stat : 1781 (pwbo1.1) R 1778 1780 768 0 -1 4202560 50045 0 0 0 28071 158 0 0 25 0 3 0 911155911 342069248 55279 33554432000 4194304 5714118 140735629481216 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=1780/tid=1782] ppid=1778 vsize=334052 CPUtime=282.29 cores=0,2,4,6
/proc/1780/task/1782/stat : 1782 (pwbo1.1) R 1778 1780 768 0 -1 4202560 5207 0 0 0 28043 186 0 0 25 0 3 0 911155911 342069248 55279 33554432000 4194304 5714118 140735629481216 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 564.59
Current children cumulated vsize (KiB) 334052
[startup+342.301 s]
/proc/loadavg: 3.99 3.95 3.91 5/183 1792
/proc/meminfo: memFree=10482596/32951124 swapFree=67063272/67111528
[pid=1780] ppid=1778 vsize=334052 CPUtime=684.6 cores=0,2,4,6
/proc/1780/stat : 1780 (pwbo1.1) S 1778 1780 768 0 -1 4202496 64538 0 0 0 68050 410 0 0 23 0 3 0 911155911 342069248 64136 33554432000 4194304 5714118 140735629481216 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/1780/statm: 83513 64136 180 372 0 83138 0
[pid=1780/tid=1781] ppid=1778 vsize=334052 CPUtime=342.29 cores=0,2,4,6
/proc/1780/task/1781/stat : 1781 (pwbo1.1) R 1778 1780 768 0 -1 4202560 58407 0 0 0 34043 186 0 0 25 0 3 0 911155911 342069248 64136 33554432000 4194304 5714118 140735629481216 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=1780/tid=1782] ppid=1778 vsize=334052 CPUtime=342.29 cores=0,2,4,6
/proc/1780/task/1782/stat : 1782 (pwbo1.1) R 1778 1780 768 0 -1 4202560 5763 0 0 0 34006 223 0 0 25 0 3 0 911155911 342069248 64136 33554432000 4194304 5714118 140735629481216 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 684.6
Current children cumulated vsize (KiB) 334052
[startup+402.3 s]
/proc/loadavg: 4.06 3.97 3.91 5/183 1794
/proc/meminfo: memFree=10391060/32951124 swapFree=67063272/67111528
[pid=1780] ppid=1778 vsize=400324 CPUtime=804.61 cores=0,2,4,6
/proc/1780/stat : 1780 (pwbo1.1) S 1778 1780 768 0 -1 4202496 72705 0 0 0 79990 471 0 0 23 0 3 0 911155911 409931776 72247 33554432000 4194304 5714118 140735629481216 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/1780/statm: 100081 72247 180 372 0 99706 0
[pid=1780/tid=1781] ppid=1778 vsize=400324 CPUtime=402.3 cores=0,2,4,6
/proc/1780/task/1781/stat : 1781 (pwbo1.1) R 1778 1780 768 0 -1 4202560 66410 0 0 0 40014 216 0 0 25 0 3 0 911155911 409931776 72247 33554432000 4194304 5714118 140735629481216 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=1780/tid=1782] ppid=1778 vsize=400324 CPUtime=402.29 cores=0,2,4,6
/proc/1780/task/1782/stat : 1782 (pwbo1.1) R 1778 1780 768 0 -1 4202560 5927 0 0 0 39975 254 0 0 25 0 3 0 911155911 409931776 72247 33554432000 4194304 5714118 140735629481216 18446744073709551615 4300239 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 804.61
Current children cumulated vsize (KiB) 400324
[startup+462.301 s]
/proc/loadavg: 4.08 3.99 3.92 5/183 1795
/proc/meminfo: memFree=10307320/32951124 swapFree=67063272/67111528
[pid=1780] ppid=1778 vsize=400916 CPUtime=924.61 cores=0,2,4,6
/proc/1780/stat : 1780 (pwbo1.1) S 1778 1780 768 0 -1 4202496 81274 0 0 0 91927 534 0 0 23 0 3 0 911155911 410537984 80542 33554432000 4194304 5714118 140735629481216 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/1780/statm: 100229 80542 180 372 0 99854 0
[pid=1780/tid=1781] ppid=1778 vsize=400916 CPUtime=462.3 cores=0,2,4,6
/proc/1780/task/1781/stat : 1781 (pwbo1.1) R 1778 1780 768 0 -1 4202560 74327 0 0 0 45984 246 0 0 25 0 3 0 911155911 410537984 80542 33554432000 4194304 5714118 140735629481216 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=1780/tid=1782] ppid=1778 vsize=400916 CPUtime=462.3 cores=0,2,4,6
/proc/1780/task/1782/stat : 1782 (pwbo1.1) R 1778 1780 768 0 -1 4202560 6579 0 0 0 45942 288 0 0 25 0 3 0 911155911 410537984 80542 33554432000 4194304 5714118 140735629481216 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 924.61
Current children cumulated vsize (KiB) 400916
[startup+522.301 s]
/proc/loadavg: 4.06 4.00 3.93 5/183 1797
/proc/meminfo: memFree=10228308/32951124 swapFree=67063272/67111528
[pid=1780] ppid=1778 vsize=401204 CPUtime=1044.61 cores=0,2,4,6
/proc/1780/stat : 1780 (pwbo1.1) S 1778 1780 768 0 -1 4202496 88988 0 0 0 103869 592 0 0 23 0 3 0 911155911 410832896 88125 33554432000 4194304 5714118 140735629481216 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/1780/statm: 100301 88125 180 372 0 99926 0
[pid=1780/tid=1781] ppid=1778 vsize=401204 CPUtime=522.3 cores=0,2,4,6
/proc/1780/task/1781/stat : 1781 (pwbo1.1) R 1778 1780 768 0 -1 4202560 81655 0 0 0 51956 274 0 0 25 0 3 0 911155911 410832896 88125 33554432000 4194304 5714118 140735629481216 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=1780/tid=1782] ppid=1778 vsize=401204 CPUtime=522.3 cores=0,2,4,6
/proc/1780/task/1782/stat : 1782 (pwbo1.1) R 1778 1780 768 0 -1 4202560 6965 0 0 0 51912 318 0 0 25 0 3 0 911155911 410832896 88125 33554432000 4194304 5714118 140735629481216 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1044.61
Current children cumulated vsize (KiB) 401204
[startup+582.3 s]
/proc/loadavg: 4.10 4.03 3.94 5/183 1798
/proc/meminfo: memFree=10146916/32951124 swapFree=67063272/67111528
[pid=1780] ppid=1778 vsize=466884 CPUtime=1164.61 cores=0,2,4,6
/proc/1780/stat : 1780 (pwbo1.1) S 1778 1780 768 0 -1 4202496 96200 0 0 0 115807 654 0 0 23 0 3 0 911155911 478089216 95337 33554432000 4194304 5714118 140735629481216 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/1780/statm: 116721 95337 180 372 0 116346 0
[pid=1780/tid=1781] ppid=1778 vsize=466884 CPUtime=582.3 cores=0,2,4,6
/proc/1780/task/1781/stat : 1781 (pwbo1.1) R 1778 1780 768 0 -1 4202560 88646 0 0 0 57927 303 0 0 25 0 3 0 911155911 478089216 95337 33554432000 4194304 5714118 140735629481216 18446744073709551615 4319380 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=1780/tid=1782] ppid=1778 vsize=466884 CPUtime=582.3 cores=0,2,4,6
/proc/1780/task/1782/stat : 1782 (pwbo1.1) R 1778 1780 768 0 -1 4202560 7186 0 0 0 57879 351 0 0 25 0 3 0 911155911 478089216 95337 33554432000 4194304 5714118 140735629481216 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1164.61
Current children cumulated vsize (KiB) 466884
[startup+642.301 s]
/proc/loadavg: 4.09 4.04 3.94 5/183 1800
/proc/meminfo: memFree=10063936/32951124 swapFree=67063272/67111528
[pid=1780] ppid=1778 vsize=467532 CPUtime=1284.62 cores=0,2,4,6
/proc/1780/stat : 1780 (pwbo1.1) S 1778 1780 768 0 -1 4202496 104046 0 0 0 127746 716 0 0 23 0 3 0 911155911 478752768 103004 33554432000 4194304 5714118 140735629481216 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/1780/statm: 116883 103004 180 372 0 116508 0
[pid=1780/tid=1781] ppid=1778 vsize=467532 CPUtime=642.31 cores=0,2,4,6
/proc/1780/task/1781/stat : 1781 (pwbo1.1) R 1778 1780 768 0 -1 4202560 95863 0 0 0 63900 331 0 0 25 0 3 0 911155911 478752768 103004 33554432000 4194304 5714118 140735629481216 18446744073709551615 4200720 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=1780/tid=1782] ppid=1778 vsize=467532 CPUtime=642.31 cores=0,2,4,6
/proc/1780/task/1782/stat : 1782 (pwbo1.1) R 1778 1780 768 0 -1 4202560 7815 0 0 0 63847 384 0 0 25 0 3 0 911155911 478752768 103004 33554432000 4194304 5714118 140735629481216 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1284.62
Current children cumulated vsize (KiB) 467532
[startup+702.301 s]
/proc/loadavg: 4.03 4.03 3.94 5/183 1802
/proc/meminfo: memFree=9986516/32951124 swapFree=67063272/67111528
[pid=1780] ppid=1778 vsize=533212 CPUtime=1404.62 cores=0,2,4,6
/proc/1780/stat : 1780 (pwbo1.1) S 1778 1780 768 0 -1 4202496 111560 0 0 0 139685 777 0 0 23 0 3 0 911155911 546009088 110518 33554432000 4194304 5714118 140735629481216 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/1780/statm: 133303 110518 180 372 0 132928 0
[pid=1780/tid=1781] ppid=1778 vsize=533212 CPUtime=702.31 cores=0,2,4,6
/proc/1780/task/1781/stat : 1781 (pwbo1.1) R 1778 1780 768 0 -1 4202560 103377 0 0 0 69870 361 0 0 25 0 3 0 911155911 546009088 110518 33554432000 4194304 5714118 140735629481216 18446744073709551615 4319289 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=1780/tid=1782] ppid=1778 vsize=533212 CPUtime=702.31 cores=0,2,4,6
/proc/1780/task/1782/stat : 1782 (pwbo1.1) R 1778 1780 768 0 -1 4202560 7815 0 0 0 69815 416 0 0 25 0 3 0 911155911 546009088 110518 33554432000 4194304 5714118 140735629481216 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1404.62
Current children cumulated vsize (KiB) 533212
[startup+762.306 s]
/proc/loadavg: 4.01 4.02 3.94 5/183 1803
/proc/meminfo: memFree=9909852/32951124 swapFree=67063272/67111528
[pid=1780] ppid=1778 vsize=533860 CPUtime=1524.64 cores=0,2,4,6
/proc/1780/stat : 1780 (pwbo1.1) S 1778 1780 768 0 -1 4202496 118631 0 0 0 151629 835 0 0 23 0 3 0 911155911 546672640 117546 33554432000 4194304 5714118 140735629481216 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/1780/statm: 133465 117546 180 372 0 133090 0
[pid=1780/tid=1781] ppid=1778 vsize=533860 CPUtime=762.31 cores=0,2,4,6
/proc/1780/task/1781/stat : 1781 (pwbo1.1) R 1778 1780 768 0 -1 4202560 110321 0 0 0 75843 388 0 0 25 0 3 0 911155911 546672640 117546 33554432000 4194304 5714118 140735629481216 18446744073709551615 4323024 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=1780/tid=1782] ppid=1778 vsize=533860 CPUtime=762.31 cores=0,2,4,6
/proc/1780/task/1782/stat : 1782 (pwbo1.1) R 1778 1780 768 0 -1 4202560 7942 0 0 0 75785 446 0 0 25 0 3 0 911155911 546672640 117546 33554432000 4194304 5714118 140735629481216 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1524.64
Current children cumulated vsize (KiB) 533860
[startup+822.301 s]
/proc/loadavg: 4.00 4.01 3.94 5/183 1805
/proc/meminfo: memFree=9831940/32951124 swapFree=67063272/67111528
[pid=1780] ppid=1778 vsize=599756 CPUtime=1644.63 cores=0,2,4,6
/proc/1780/stat : 1780 (pwbo1.1) S 1778 1780 768 0 -1 4202496 126343 0 0 0 163568 895 0 0 23 0 3 0 911155911 614150144 125178 33554432000 4194304 5714118 140735629481216 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/1780/statm: 149939 125178 180 372 0 149564 0
[pid=1780/tid=1781] ppid=1778 vsize=599756 CPUtime=822.3 cores=0,2,4,6
/proc/1780/task/1781/stat : 1781 (pwbo1.1) R 1778 1780 768 0 -1 4202560 117873 0 0 0 81810 420 0 0 25 0 3 0 911155911 614150144 125178 33554432000 4194304 5714118 140735629481216 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=1780/tid=1782] ppid=1778 vsize=599756 CPUtime=822.31 cores=0,2,4,6
/proc/1780/task/1782/stat : 1782 (pwbo1.1) R 1778 1780 768 0 -1 4202560 8102 0 0 0 81757 474 0 0 25 0 3 0 911155911 614150144 125178 33554432000 4194304 5714118 140735629481216 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1644.63
Current children cumulated vsize (KiB) 599756
[startup+882.301 s]
/proc/loadavg: 3.92 3.98 3.93 5/183 1847
/proc/meminfo: memFree=10497264/32951124 swapFree=67063272/67111528
[pid=1780] ppid=1778 vsize=599900 CPUtime=1764.63 cores=0,2,4,6
/proc/1780/stat : 1780 (pwbo1.1) S 1778 1780 768 0 -1 4202496 133929 0 0 0 175510 953 0 0 23 0 3 0 911155911 614297600 132676 33554432000 4194304 5714118 140735629481216 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/1780/statm: 149975 132676 180 372 0 149600 0
[pid=1780/tid=1781] ppid=1778 vsize=599900 CPUtime=882.3 cores=0,2,4,6
/proc/1780/task/1781/stat : 1781 (pwbo1.1) R 1778 1780 768 0 -1 4202560 125371 0 0 0 87783 447 0 0 25 0 3 0 911155911 614297600 132676 33554432000 4194304 5714118 140735629481216 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=1780/tid=1782] ppid=1778 vsize=599900 CPUtime=882.3 cores=0,2,4,6
/proc/1780/task/1782/stat : 1782 (pwbo1.1) R 1778 1780 768 0 -1 4202560 8190 0 0 0 87725 505 0 0 25 0 3 0 911155911 614297600 132676 33554432000 4194304 5714118 140735629481216 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1764.63
Current children cumulated vsize (KiB) 599900
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.001 s]
/proc/loadavg: 3.94 3.98 3.93 6/183 1848
/proc/meminfo: memFree=10456440/32951124 swapFree=67063272/67111528
[pid=1780] ppid=1778 vsize=599900 CPUtime=1800.03 cores=0,2,4,6
/proc/1780/stat : 1780 (pwbo1.1) S 1778 1780 768 0 -1 4202496 135863 0 0 0 179032 971 0 0 23 0 3 0 911155911 614297600 134610 33554432000 4194304 5714118 140735629481216 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/1780/statm: 149975 134610 180 372 0 149600 0
[pid=1780/tid=1781] ppid=1778 vsize=599900 CPUtime=900.02 cores=0,2,4,6
/proc/1780/task/1781/stat : 1781 (pwbo1.1) R 1778 1780 768 0 -1 4202560 127305 0 0 0 89547 455 0 0 25 0 3 0 911155911 614297600 134610 33554432000 4194304 5714118 140735629481216 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=1780/tid=1782] ppid=1778 vsize=599900 CPUtime=900.01 cores=0,2,4,6
/proc/1780/task/1782/stat : 1782 (pwbo1.1) R 1778 1780 768 0 -1 4202560 8190 0 0 0 89485 516 0 0 25 0 3 0 911155911 614297600 134610 33554432000 4194304 5714118 140735629481216 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 599900
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.035
CPU time (s): 1800.08
CPU user time (s): 1790.34
CPU system time (s): 9.74152
CPU usage (%): 200.001
Max. virtual memory (cumulated for all children) (KiB): 599900
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.34
system time used= 9.74152
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 135868
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= 38
involuntary context switches= 3187
runsolver used 1.69374 second user time and 3.22351 second system time
The end