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-3500573-1307996683/watcher-3500573-1307996683 -o /tmp/evaluation-result-3500573-1307996683/solver-3500573-1307996683 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500573-1307996683.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.80 3.65 3.80 2/177 26006
/proc/meminfo: memFree=16279412/32951124 swapFree=67053176/67111528
[pid=26006] ppid=26004 vsize=5192 CPUtime=0 cores=1,3,5,7
/proc/26006/stat : 26006 (pwbo1.1) R 26004 26006 24477 0 -1 4202496 554 0 0 0 0 0 0 0 19 0 1 0 911265988 5316608 506 33554432000 4194304 5714118 140734565426704 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/26006/statm: 1298 506 167 372 0 415 0
[startup+0.0799119 s]
/proc/loadavg: 2.80 3.65 3.80 2/177 26006
/proc/meminfo: memFree=16279412/32951124 swapFree=67053176/67111528
[pid=26006] ppid=26004 vsize=10644 CPUtime=0.07 cores=1,3,5,7
/proc/26006/stat : 26006 (pwbo1.1) R 26004 26006 24477 0 -1 4202496 2169 0 0 0 7 0 0 0 19 0 1 0 911265988 10899456 2055 33554432000 4194304 5714118 140734565426704 18446744073709551615 4228496 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/26006/statm: 2661 2055 431 372 0 1778 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10644
[startup+0.100908 s]
/proc/loadavg: 2.80 3.65 3.80 2/177 26006
/proc/meminfo: memFree=16279412/32951124 swapFree=67053176/67111528
[pid=26006] ppid=26004 vsize=12152 CPUtime=0.09 cores=1,3,5,7
/proc/26006/stat : 26006 (pwbo1.1) R 26004 26006 24477 0 -1 4202496 2606 0 0 0 9 0 0 0 19 0 1 0 911265988 12443648 2492 33554432000 4194304 5714118 140734565426704 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/26006/statm: 3038 2492 506 372 0 2155 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12152
[startup+0.300841 s]
/proc/loadavg: 2.80 3.65 3.80 2/177 26006
/proc/meminfo: memFree=16279412/32951124 swapFree=67053176/67111528
[pid=26006] ppid=26004 vsize=165248 CPUtime=0.45 cores=1,3,5,7
/proc/26006/stat : 26006 (pwbo1.1) S 26004 26006 24477 0 -1 4202496 15891 0 0 0 42 3 0 0 20 0 3 0 911265988 169213952 14807 33554432000 4194304 5714118 140734565426704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/26006/statm: 41312 14808 179 372 0 40937 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 165248
[startup+0.700767 s]
/proc/loadavg: 2.80 3.65 3.80 2/177 26006
/proc/meminfo: memFree=16279412/32951124 swapFree=67053176/67111528
[pid=26006] ppid=26004 vsize=165248 CPUtime=1.25 cores=1,3,5,7
/proc/26006/stat : 26006 (pwbo1.1) S 26004 26006 24477 0 -1 4202496 16946 0 0 0 121 4 0 0 20 0 3 0 911265988 169213952 14780 33554432000 4194304 5714118 140734565426704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/26006/statm: 41312 14780 179 372 0 40937 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 165248
[startup+1.50066 s]
/proc/loadavg: 2.89 3.65 3.80 5/182 26011
/proc/meminfo: memFree=16170896/32951124 swapFree=67053176/67111528
[pid=26006] ppid=26004 vsize=165248 CPUtime=2.84 cores=1,3,5,7
/proc/26006/stat : 26006 (pwbo1.1) S 26004 26006 24477 0 -1 4202496 19617 0 0 0 272 12 0 0 20 0 3 0 911265988 169213952 15961 33554432000 4194304 5714118 140734565426704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/26006/statm: 41312 15961 179 372 0 40937 0
[pid=26006/tid=26010] ppid=26004 vsize=165248 CPUtime=1.34 cores=1,3,5,7
/proc/26006/task/26010/stat : 26010 (pwbo1.1) R 26004 26006 24477 0 -1 4202560 5752 0 0 0 134 0 0 0 19 0 3 0 911266003 169213952 15961 33554432000 4194304 5714118 140734565426704 18446744073709551615 4336955 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=26006/tid=26011] ppid=26004 vsize=165248 CPUtime=1.35 cores=1,3,5,7
/proc/26006/task/26011/stat : 26011 (pwbo1.1) R 26004 26006 24477 0 -1 4202560 10281 0 0 0 124 11 0 0 25 0 3 0 911266003 169213952 15961 33554432000 4194304 5714118 140734565426704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.84
Current children cumulated vsize (KiB) 165248
[startup+3.10037 s]
/proc/loadavg: 2.89 3.65 3.80 5/182 26011
/proc/meminfo: memFree=16143140/32951124 swapFree=67053176/67111528
[pid=26006] ppid=26004 vsize=165248 CPUtime=6.04 cores=1,3,5,7
/proc/26006/stat : 26006 (pwbo1.1) S 26004 26006 24477 0 -1 4202496 25768 0 0 0 576 28 0 0 20 0 3 0 911265988 169213952 20041 33554432000 4194304 5714118 140734565426704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/26006/statm: 41312 20041 180 372 0 40937 0
[pid=26006/tid=26010] ppid=26004 vsize=165248 CPUtime=2.95 cores=1,3,5,7
/proc/26006/task/26010/stat : 26010 (pwbo1.1) R 26004 26006 24477 0 -1 4202560 8256 0 0 0 293 2 0 0 25 0 3 0 911266003 169213952 20041 33554432000 4194304 5714118 140734565426704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=26006/tid=26011] ppid=26004 vsize=165248 CPUtime=2.94 cores=1,3,5,7
/proc/26006/task/26011/stat : 26011 (pwbo1.1) R 26004 26006 24477 0 -1 4202560 13928 0 0 0 268 26 0 0 25 0 3 0 911266003 169213952 20041 33554432000 4194304 5714118 140734565426704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.04
Current children cumulated vsize (KiB) 165248
[startup+6.30079 s]
/proc/loadavg: 2.98 3.66 3.80 5/182 26011
/proc/meminfo: memFree=16057456/32951124 swapFree=67053176/67111528
[pid=26006] ppid=26004 vsize=165248 CPUtime=12.44 cores=1,3,5,7
/proc/26006/stat : 26006 (pwbo1.1) S 26004 26006 24477 0 -1 4202496 30484 0 0 0 1194 50 0 0 20 0 3 0 911265988 169213952 24757 33554432000 4194304 5714118 140734565426704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/26006/statm: 41312 24757 180 372 0 40937 0
[pid=26006/tid=26010] ppid=26004 vsize=165248 CPUtime=6.14 cores=1,3,5,7
/proc/26006/task/26010/stat : 26010 (pwbo1.1) R 26004 26006 24477 0 -1 4202560 9432 0 0 0 606 8 0 0 25 0 3 0 911266003 169213952 24757 33554432000 4194304 5714118 140734565426704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=26006/tid=26011] ppid=26004 vsize=165248 CPUtime=6.15 cores=1,3,5,7
/proc/26006/task/26011/stat : 26011 (pwbo1.1) R 26004 26006 24477 0 -1 4202560 17468 0 0 0 574 41 0 0 25 0 3 0 911266003 169213952 24757 33554432000 4194304 5714118 140734565426704 18446744073709551615 4300077 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.44
Current children cumulated vsize (KiB) 165248
[startup+12.7006 s]
/proc/loadavg: 3.06 3.66 3.80 5/182 26012
/proc/meminfo: memFree=16016092/32951124 swapFree=67053176/67111528
[pid=26006] ppid=26004 vsize=165672 CPUtime=25.24 cores=1,3,5,7
/proc/26006/stat : 26006 (pwbo1.1) S 26004 26006 24477 0 -1 4202496 36559 0 0 0 2459 65 0 0 20 0 3 0 911265988 169648128 30832 33554432000 4194304 5714118 140734565426704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/26006/statm: 41418 30832 181 372 0 41043 0
[pid=26006/tid=26010] ppid=26004 vsize=165672 CPUtime=12.54 cores=1,3,5,7
/proc/26006/task/26010/stat : 26010 (pwbo1.1) R 26004 26006 24477 0 -1 4202560 13411 0 0 0 1238 16 0 0 25 0 3 0 911266003 169648128 30832 33554432000 4194304 5714118 140734565426704 18446744073709551615 4322672 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=26006/tid=26011] ppid=26004 vsize=165672 CPUtime=12.54 cores=1,3,5,7
/proc/26006/task/26011/stat : 26011 (pwbo1.1) R 26004 26006 24477 0 -1 4202560 19564 0 0 0 1206 48 0 0 25 0 3 0 911266003 169648128 30832 33554432000 4194304 5714118 140734565426704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 165672
[startup+25.5003 s]
/proc/loadavg: 3.21 3.68 3.81 5/182 26012
/proc/meminfo: memFree=15966116/32951124 swapFree=67053176/67111528
[pid=26006] ppid=26004 vsize=231800 CPUtime=50.84 cores=1,3,5,7
/proc/26006/stat : 26006 (pwbo1.1) S 26004 26006 24477 0 -1 4202496 43324 0 0 0 4996 88 0 0 20 0 3 0 911265988 237363200 37593 33554432000 4194304 5714118 140734565426704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/26006/statm: 57950 37593 181 372 0 57575 0
[pid=26006/tid=26010] ppid=26004 vsize=231800 CPUtime=25.34 cores=1,3,5,7
/proc/26006/task/26010/stat : 26010 (pwbo1.1) R 26004 26006 24477 0 -1 4202560 16636 0 0 0 2510 24 0 0 25 0 3 0 911266003 237363200 37593 33554432000 4194304 5714118 140734565426704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=26006/tid=26011] ppid=26004 vsize=231800 CPUtime=25.35 cores=1,3,5,7
/proc/26006/task/26011/stat : 26011 (pwbo1.1) R 26004 26006 24477 0 -1 4202560 23104 0 0 0 2472 63 0 0 25 0 3 0 911266003 237363200 37593 33554432000 4194304 5714118 140734565426704 18446744073709551615 4319807 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.84
Current children cumulated vsize (KiB) 231800
[startup+51.1007 s]
/proc/loadavg: 3.52 3.71 3.81 5/182 26013
/proc/meminfo: memFree=15893092/32951124 swapFree=67053176/67111528
[pid=26006] ppid=26004 vsize=301684 CPUtime=102.04 cores=1,3,5,7
/proc/26006/stat : 26006 (pwbo1.1) S 26004 26006 24477 0 -1 4202496 54352 0 0 0 10089 115 0 0 20 0 3 0 911265988 308924416 48617 33554432000 4194304 5714118 140734565426704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/26006/statm: 75421 48617 181 372 0 75046 0
[pid=26006/tid=26010] ppid=26004 vsize=301684 CPUtime=50.94 cores=1,3,5,7
/proc/26006/task/26010/stat : 26010 (pwbo1.1) R 26004 26006 24477 0 -1 4202560 23075 0 0 0 5053 41 0 0 25 0 3 0 911266003 308924416 48617 33554432000 4194304 5714118 140734565426704 18446744073709551615 4300160 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=26006/tid=26011] ppid=26004 vsize=301684 CPUtime=50.95 cores=1,3,5,7
/proc/26006/task/26011/stat : 26011 (pwbo1.1) R 26004 26006 24477 0 -1 4202560 27693 0 0 0 5021 74 0 0 25 0 3 0 911266003 308924416 48617 33554432000 4194304 5714118 140734565426704 18446744073709551615 4299735 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 102.04
Current children cumulated vsize (KiB) 301684
[startup+102.306 s]
/proc/loadavg: 3.79 3.75 3.82 5/182 26014
/proc/meminfo: memFree=15832172/32951124 swapFree=67053176/67111528
[pid=26006] ppid=26004 vsize=302480 CPUtime=204.45 cores=1,3,5,7
/proc/26006/stat : 26006 (pwbo1.1) S 26004 26006 24477 0 -1 4202496 59813 0 0 0 20273 172 0 0 20 0 3 0 911265988 309739520 53863 33554432000 4194304 5714118 140734565426704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/26006/statm: 75620 53863 181 372 0 75245 0
[pid=26006/tid=26010] ppid=26004 vsize=302480 CPUtime=102.15 cores=1,3,5,7
/proc/26006/task/26010/stat : 26010 (pwbo1.1) R 26004 26006 24477 0 -1 4202560 26806 0 0 0 10135 80 0 0 25 0 3 0 911266003 309739520 53863 33554432000 4194304 5714118 140734565426704 18446744073709551615 4319134 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=26006/tid=26011] ppid=26004 vsize=302480 CPUtime=102.16 cores=1,3,5,7
/proc/26006/task/26011/stat : 26011 (pwbo1.1) R 26004 26006 24477 0 -1 4202560 29423 0 0 0 10124 92 0 0 25 0 3 0 911266003 309739520 53863 33554432000 4194304 5714118 140734565426704 18446744073709551615 4319327 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 204.45
Current children cumulated vsize (KiB) 302480
[startup+162.301 s]
/proc/loadavg: 3.81 3.76 3.82 5/182 26056
/proc/meminfo: memFree=15897808/32951124 swapFree=67053176/67111528
[pid=26006] ppid=26004 vsize=303120 CPUtime=324.45 cores=1,3,5,7
/proc/26006/stat : 26006 (pwbo1.1) S 26004 26006 24477 0 -1 4202496 61981 0 0 0 32203 242 0 0 20 0 3 0 911265988 310394880 55611 33554432000 4194304 5714118 140734565426704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/26006/statm: 75780 55611 181 372 0 75405 0
[pid=26006/tid=26010] ppid=26004 vsize=303120 CPUtime=162.15 cores=1,3,5,7
/proc/26006/task/26010/stat : 26010 (pwbo1.1) R 26004 26006 24477 0 -1 4202560 26935 0 0 0 16096 119 0 0 25 0 3 0 911266003 310394880 55611 33554432000 4194304 5714118 140734565426704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=26006/tid=26011] ppid=26004 vsize=303120 CPUtime=162.15 cores=1,3,5,7
/proc/26006/task/26011/stat : 26011 (pwbo1.1) R 26004 26006 24477 0 -1 4202560 31462 0 0 0 16092 123 0 0 25 0 3 0 911266003 310394880 55611 33554432000 4194304 5714118 140734565426704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 324.45
Current children cumulated vsize (KiB) 303120
[startup+222.301 s]
/proc/loadavg: 3.93 3.80 3.82 5/182 26057
/proc/meminfo: memFree=15819692/32951124 swapFree=67053176/67111528
[pid=26006] ppid=26004 vsize=308580 CPUtime=444.45 cores=1,3,5,7
/proc/26006/stat : 26006 (pwbo1.1) S 26004 26006 24477 0 -1 4202496 73692 0 0 0 44162 283 0 0 20 0 3 0 911265988 315985920 67320 33554432000 4194304 5714118 140734565426704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/26006/statm: 77145 67320 181 372 0 76770 0
[pid=26006/tid=26010] ppid=26004 vsize=308580 CPUtime=222.15 cores=1,3,5,7
/proc/26006/task/26010/stat : 26010 (pwbo1.1) R 26004 26006 24477 0 -1 4202560 31738 0 0 0 22071 144 0 0 25 0 3 0 911266003 315985920 67320 33554432000 4194304 5714118 140734565426704 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=26006/tid=26011] ppid=26004 vsize=308580 CPUtime=222.15 cores=1,3,5,7
/proc/26006/task/26011/stat : 26011 (pwbo1.1) R 26004 26006 24477 0 -1 4202560 38370 0 0 0 22076 139 0 0 25 0 3 0 911266003 315985920 67320 33554432000 4194304 5714118 140734565426704 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 444.45
Current children cumulated vsize (KiB) 308580
[startup+282.301 s]
/proc/loadavg: 3.97 3.83 3.83 5/182 26059
/proc/meminfo: memFree=15728004/32951124 swapFree=67053176/67111528
[pid=26006] ppid=26004 vsize=445356 CPUtime=564.45 cores=1,3,5,7
/proc/26006/stat : 26006 (pwbo1.1) S 26004 26006 24477 0 -1 4202496 86229 0 0 0 56119 326 0 0 20 0 3 0 911265988 456044544 79853 33554432000 4194304 5714118 140734565426704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/26006/statm: 111339 79853 181 372 0 110964 0
[pid=26006/tid=26010] ppid=26004 vsize=445356 CPUtime=282.15 cores=1,3,5,7
/proc/26006/task/26010/stat : 26010 (pwbo1.1) R 26004 26006 24477 0 -1 4202560 39160 0 0 0 28040 175 0 0 25 0 3 0 911266003 456044544 79853 33554432000 4194304 5714118 140734565426704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=26006/tid=26011] ppid=26004 vsize=445356 CPUtime=282.15 cores=1,3,5,7
/proc/26006/task/26011/stat : 26011 (pwbo1.1) R 26004 26006 24477 0 -1 4202560 43485 0 0 0 28064 151 0 0 25 0 3 0 911266003 456044544 79853 33554432000 4194304 5714118 140734565426704 18446744073709551615 4319266 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 564.45
Current children cumulated vsize (KiB) 445356
[startup+342.301 s]
/proc/loadavg: 3.99 3.86 3.84 5/182 26060
/proc/meminfo: memFree=15647112/32951124 swapFree=67053176/67111528
[pid=26006] ppid=26004 vsize=447556 CPUtime=684.46 cores=1,3,5,7
/proc/26006/stat : 26006 (pwbo1.1) S 26004 26006 24477 0 -1 4202496 95032 0 0 0 68075 371 0 0 20 0 3 0 911265988 458297344 88653 33554432000 4194304 5714118 140734565426704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/26006/statm: 111889 88653 181 372 0 111514 0
[pid=26006/tid=26010] ppid=26004 vsize=447556 CPUtime=342.15 cores=1,3,5,7
/proc/26006/task/26010/stat : 26010 (pwbo1.1) R 26004 26006 24477 0 -1 4202560 43922 0 0 0 34007 208 0 0 25 0 3 0 911266003 458297344 88653 33554432000 4194304 5714118 140734565426704 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=26006/tid=26011] ppid=26004 vsize=447556 CPUtime=342.16 cores=1,3,5,7
/proc/26006/task/26011/stat : 26011 (pwbo1.1) R 26004 26006 24477 0 -1 4202560 47526 0 0 0 34053 163 0 0 25 0 3 0 911266003 458297344 88653 33554432000 4194304 5714118 140734565426704 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 684.46
Current children cumulated vsize (KiB) 447556
[startup+402.301 s]
/proc/loadavg: 3.99 3.89 3.84 5/182 26062
/proc/meminfo: memFree=15577876/32951124 swapFree=67053176/67111528
[pid=26006] ppid=26004 vsize=450884 CPUtime=804.46 cores=1,3,5,7
/proc/26006/stat : 26006 (pwbo1.1) S 26004 26006 24477 0 -1 4202496 103765 0 0 0 80035 411 0 0 20 0 3 0 911265988 461705216 97382 33554432000 4194304 5714118 140734565426704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/26006/statm: 112721 97382 181 372 0 112346 0
[pid=26006/tid=26010] ppid=26004 vsize=450884 CPUtime=402.15 cores=1,3,5,7
/proc/26006/task/26010/stat : 26010 (pwbo1.1) R 26004 26006 24477 0 -1 4202560 49198 0 0 0 39976 239 0 0 25 0 3 0 911266003 461705216 97382 33554432000 4194304 5714118 140734565426704 18446744073709551615 4319807 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=26006/tid=26011] ppid=26004 vsize=450884 CPUtime=402.15 cores=1,3,5,7
/proc/26006/task/26011/stat : 26011 (pwbo1.1) R 26004 26006 24477 0 -1 4202560 50983 0 0 0 40044 171 0 0 25 0 3 0 911266003 461705216 97382 33554432000 4194304 5714118 140734565426704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 804.46
Current children cumulated vsize (KiB) 450884
[startup+462.3 s]
/proc/loadavg: 3.31 3.74 3.79 3/175 26088
/proc/meminfo: memFree=15831588/32951124 swapFree=67053176/67111528
[pid=26006] ppid=26004 vsize=518956 CPUtime=924.46 cores=1,3,5,7
/proc/26006/stat : 26006 (pwbo1.1) S 26004 26006 24477 0 -1 4202496 120871 0 0 0 91977 469 0 0 20 0 3 0 911265988 531410944 114207 33554432000 4194304 5714118 140734565426704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/26006/statm: 129739 114207 181 372 0 129364 0
[pid=26006/tid=26010] ppid=26004 vsize=518956 CPUtime=462.16 cores=1,3,5,7
/proc/26006/task/26010/stat : 26010 (pwbo1.1) R 26004 26006 24477 0 -1 4202560 63300 0 0 0 45928 288 0 0 25 0 3 0 911266003 531410944 114207 33554432000 4194304 5714118 140734565426704 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=26006/tid=26011] ppid=26004 vsize=518956 CPUtime=462.16 cores=1,3,5,7
/proc/26006/task/26011/stat : 26011 (pwbo1.1) R 26004 26006 24477 0 -1 4202560 53987 0 0 0 46035 181 0 0 25 0 3 0 911266003 531410944 114207 33554432000 4194304 5714118 140734565426704 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 924.46
Current children cumulated vsize (KiB) 518956
[startup+522.3 s]
/proc/loadavg: 3.57 3.72 3.78 5/182 26145
/proc/meminfo: memFree=15558044/32951124 swapFree=67053176/67111528
[pid=26006] ppid=26004 vsize=521116 CPUtime=1044.46 cores=1,3,5,7
/proc/26006/stat : 26006 (pwbo1.1) S 26004 26006 24477 0 -1 4202496 123856 0 0 0 103933 513 0 0 20 0 3 0 911265988 533622784 117192 33554432000 4194304 5714118 140734565426704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/26006/statm: 130279 117192 181 372 0 129904 0
[pid=26006/tid=26010] ppid=26004 vsize=521116 CPUtime=522.16 cores=1,3,5,7
/proc/26006/task/26010/stat : 26010 (pwbo1.1) R 26004 26006 24477 0 -1 4202560 63377 0 0 0 51894 322 0 0 25 0 3 0 911266003 533622784 117192 33554432000 4194304 5714118 140734565426704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=26006/tid=26011] ppid=26004 vsize=521116 CPUtime=522.16 cores=1,3,5,7
/proc/26006/task/26011/stat : 26011 (pwbo1.1) R 26004 26006 24477 0 -1 4202560 56895 0 0 0 52025 191 0 0 25 0 3 0 911266003 533622784 117192 33554432000 4194304 5714118 140734565426704 18446744073709551615 4319301 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1044.46
Current children cumulated vsize (KiB) 521116
[startup+582.301 s]
/proc/loadavg: 3.84 3.76 3.79 5/182 26147
/proc/meminfo: memFree=15507644/32951124 swapFree=67053176/67111528
[pid=26006] ppid=26004 vsize=524896 CPUtime=1164.47 cores=1,3,5,7
/proc/26006/stat : 26006 (pwbo1.1) S 26004 26006 24477 0 -1 4202496 126683 0 0 0 115902 545 0 0 20 0 3 0 911265988 537493504 120019 33554432000 4194304 5714118 140734565426704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/26006/statm: 131224 120019 181 372 0 130849 0
[pid=26006/tid=26010] ppid=26004 vsize=524896 CPUtime=582.16 cores=1,3,5,7
/proc/26006/task/26010/stat : 26010 (pwbo1.1) R 26004 26006 24477 0 -1 4202560 63472 0 0 0 57872 344 0 0 25 0 3 0 911266003 537493504 120019 33554432000 4194304 5714118 140734565426704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=26006/tid=26011] ppid=26004 vsize=524896 CPUtime=582.16 cores=1,3,5,7
/proc/26006/task/26011/stat : 26011 (pwbo1.1) R 26004 26006 24477 0 -1 4202560 59627 0 0 0 58015 201 0 0 25 0 3 0 911266003 537493504 120019 33554432000 4194304 5714118 140734565426704 18446744073709551615 4300239 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1164.47
Current children cumulated vsize (KiB) 524896
[startup+642.301 s]
/proc/loadavg: 3.94 3.80 3.80 5/182 26148
/proc/meminfo: memFree=15480900/32951124 swapFree=67053176/67111528
[pid=26006] ppid=26004 vsize=524896 CPUtime=1284.48 cores=1,3,5,7
/proc/26006/stat : 26006 (pwbo1.1) S 26004 26006 24477 0 -1 4202496 126796 0 0 0 127860 588 0 0 20 0 3 0 911265988 537493504 120002 33554432000 4194304 5714118 140734565426704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/26006/statm: 131224 120002 181 372 0 130849 0
[pid=26006/tid=26010] ppid=26004 vsize=524896 CPUtime=642.17 cores=1,3,5,7
/proc/26006/task/26010/stat : 26010 (pwbo1.1) R 26004 26006 24477 0 -1 4202560 63570 0 0 0 63846 371 0 0 25 0 3 0 911266003 537493504 120002 33554432000 4194304 5714118 140734565426704 18446744073709551615 4319218 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=26006/tid=26011] ppid=26004 vsize=524896 CPUtime=642.17 cores=1,3,5,7
/proc/26006/task/26011/stat : 26011 (pwbo1.1) R 26004 26006 24477 0 -1 4202560 59642 0 0 0 64000 217 0 0 25 0 3 0 911266003 537493504 120002 33554432000 4194304 5714118 140734565426704 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1284.48
Current children cumulated vsize (KiB) 524896
[startup+702.301 s]
/proc/loadavg: 3.98 3.84 3.81 5/182 26150
/proc/meminfo: memFree=15478380/32951124 swapFree=67053176/67111528
[pid=26006] ppid=26004 vsize=524896 CPUtime=1404.47 cores=1,3,5,7
/proc/26006/stat : 26006 (pwbo1.1) S 26004 26006 24477 0 -1 4202496 127076 0 0 0 139824 623 0 0 20 0 3 0 911265988 537493504 120282 33554432000 4194304 5714118 140734565426704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/26006/statm: 131224 120282 181 372 0 130849 0
[pid=26006/tid=26010] ppid=26004 vsize=524896 CPUtime=702.16 cores=1,3,5,7
/proc/26006/task/26010/stat : 26010 (pwbo1.1) R 26004 26006 24477 0 -1 4202560 63822 0 0 0 69819 397 0 0 25 0 3 0 911266003 537493504 120282 33554432000 4194304 5714118 140734565426704 18446744073709551615 4319807 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=26006/tid=26011] ppid=26004 vsize=524896 CPUtime=702.17 cores=1,3,5,7
/proc/26006/task/26011/stat : 26011 (pwbo1.1) R 26004 26006 24477 0 -1 4202560 59670 0 0 0 69991 226 0 0 25 0 3 0 911266003 537493504 120282 33554432000 4194304 5714118 140734565426704 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1404.47
Current children cumulated vsize (KiB) 524896
[startup+762.307 s]
/proc/loadavg: 3.99 3.86 3.82 5/182 26152
/proc/meminfo: memFree=15463824/32951124 swapFree=67053176/67111528
[pid=26006] ppid=26004 vsize=524896 CPUtime=1524.49 cores=1,3,5,7
/proc/26006/stat : 26006 (pwbo1.1) S 26004 26006 24477 0 -1 4202496 127292 0 0 0 151797 652 0 0 20 0 3 0 911265988 537493504 120498 33554432000 4194304 5714118 140734565426704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/26006/statm: 131224 120498 181 372 0 130849 0
[pid=26006/tid=26010] ppid=26004 vsize=524896 CPUtime=762.17 cores=1,3,5,7
/proc/26006/task/26010/stat : 26010 (pwbo1.1) R 26004 26006 24477 0 -1 4202560 63996 0 0 0 75798 419 0 0 25 0 3 0 911266003 537493504 120498 33554432000 4194304 5714118 140734565426704 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=26006/tid=26011] ppid=26004 vsize=524896 CPUtime=762.17 cores=1,3,5,7
/proc/26006/task/26011/stat : 26011 (pwbo1.1) R 26004 26006 24477 0 -1 4202560 59712 0 0 0 75984 233 0 0 25 0 3 0 911266003 537493504 120498 33554432000 4194304 5714118 140734565426704 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1524.49
Current children cumulated vsize (KiB) 524896
[startup+822.301 s]
/proc/loadavg: 3.99 3.89 3.83 5/182 26153
/proc/meminfo: memFree=15429528/32951124 swapFree=67053176/67111528
[pid=26006] ppid=26004 vsize=524896 CPUtime=1644.49 cores=1,3,5,7
/proc/26006/stat : 26006 (pwbo1.1) S 26004 26006 24477 0 -1 4202496 127422 0 0 0 163767 682 0 0 20 0 3 0 911265988 537493504 120628 33554432000 4194304 5714118 140734565426704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/26006/statm: 131224 120628 181 372 0 130849 0
[pid=26006/tid=26010] ppid=26004 vsize=524896 CPUtime=822.17 cores=1,3,5,7
/proc/26006/task/26010/stat : 26010 (pwbo1.1) R 26004 26006 24477 0 -1 4202560 64126 0 0 0 81774 443 0 0 25 0 3 0 911266003 537493504 120628 33554432000 4194304 5714118 140734565426704 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=26006/tid=26011] ppid=26004 vsize=524896 CPUtime=822.16 cores=1,3,5,7
/proc/26006/task/26011/stat : 26011 (pwbo1.1) R 26004 26006 24477 0 -1 4202560 59712 0 0 0 81978 238 0 0 25 0 3 0 911266003 537493504 120628 33554432000 4194304 5714118 140734565426704 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1644.49
Current children cumulated vsize (KiB) 524896
[startup+882.3 s]
/proc/loadavg: 3.99 3.90 3.83 5/182 26155
/proc/meminfo: memFree=15391036/32951124 swapFree=67053176/67111528
[pid=26006] ppid=26004 vsize=525104 CPUtime=1764.48 cores=1,3,5,7
/proc/26006/stat : 26006 (pwbo1.1) S 26004 26006 24477 0 -1 4202496 130954 0 0 0 175735 713 0 0 20 0 3 0 911265988 537706496 124159 33554432000 4194304 5714118 140734565426704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/26006/statm: 131276 124159 181 372 0 130901 0
[pid=26006/tid=26010] ppid=26004 vsize=525104 CPUtime=882.16 cores=1,3,5,7
/proc/26006/task/26010/stat : 26010 (pwbo1.1) R 26004 26006 24477 0 -1 4202560 67513 0 0 0 87750 466 0 0 25 0 3 0 911266003 537706496 124159 33554432000 4194304 5714118 140734565426704 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=26006/tid=26011] ppid=26004 vsize=525104 CPUtime=882.16 cores=1,3,5,7
/proc/26006/task/26011/stat : 26011 (pwbo1.1) R 26004 26006 24477 0 -1 4202560 59857 0 0 0 87970 246 0 0 25 0 3 0 911266003 537706496 124159 33554432000 4194304 5714118 140734565426704 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1764.48
Current children cumulated vsize (KiB) 525104
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.101 s]
/proc/loadavg: 3.99 3.91 3.84 5/182 26155
/proc/meminfo: memFree=15381968/32951124 swapFree=67053176/67111528
[pid=26006] ppid=26004 vsize=526904 CPUtime=1800.1 cores=1,3,5,7
/proc/26006/stat : 26006 (pwbo1.1) S 26004 26006 24477 0 -1 4202496 131781 0 0 0 179289 721 0 0 20 0 3 0 911265988 539549696 124982 33554432000 4194304 5714118 140734565426704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/26006/statm: 131726 124982 181 372 0 131351 0
[pid=26006/tid=26010] ppid=26004 vsize=526904 CPUtime=899.98 cores=1,3,5,7
/proc/26006/task/26010/stat : 26010 (pwbo1.1) R 26004 26006 24477 0 -1 4202560 67910 0 0 0 89526 472 0 0 25 0 3 0 911266003 539549696 124982 33554432000 4194304 5714118 140734565426704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=26006/tid=26011] ppid=26004 vsize=526904 CPUtime=899.97 cores=1,3,5,7
/proc/26006/task/26011/stat : 26011 (pwbo1.1) R 26004 26006 24477 0 -1 4202560 60287 0 0 0 89749 248 0 0 25 0 3 0 911266003 539549696 124982 33554432000 4194304 5714118 140734565426704 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 526904
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: 3.99 3.91 3.84 5/182 26155
/proc/meminfo: memFree=15381968/32951124 swapFree=67053176/67111528
[pid=26006] ppid=26004 vsize=526904 CPUtime=1800.1 cores=1,3,5,7
/proc/26006/stat : 26006 (pwbo1.1) S 26004 26006 24477 0 -1 4202496 131781 0 0 0 179289 721 0 0 20 0 3 0 911265988 539549696 124982 33554432000 4194304 5714118 140734565426704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/26006/statm: 131726 124982 181 372 0 131351 0
[pid=26006/tid=26010] ppid=26004 vsize=526904 CPUtime=899.98 cores=1,3,5,7
/proc/26006/task/26010/stat : 26010 (pwbo1.1) R 26004 26006 24477 0 -1 4202560 67910 0 0 0 89526 472 0 0 25 0 3 0 911266003 539549696 124982 33554432000 4194304 5714118 140734565426704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=26006/tid=26011] ppid=26004 vsize=526904 CPUtime=899.97 cores=1,3,5,7
/proc/26006/task/26011/stat : 26011 (pwbo1.1) R 26004 26006 24477 0 -1 4202560 60287 0 0 0 89749 248 0 0 25 0 3 0 911266003 539549696 124982 33554432000 4194304 5714118 140734565426704 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 526904
Child status: 0
Real time (s): 900.136
CPU time (s): 1800.14
CPU user time (s): 1792.91
CPU system time (s): 7.2359
CPU usage (%): 199.986
Max. virtual memory (cumulated for all children) (KiB): 526904
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.91
system time used= 7.2359
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 131788
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= 1006
involuntary context switches= 2974
runsolver used 1.59276 second user time and 3.2935 second system time
The end