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-3500572-1307996682/watcher-3500572-1307996682 -o /tmp/evaluation-result-3500572-1307996682/solver-3500572-1307996682 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500572-1307996682.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: 4.00 3.98 3.91 3/177 14276
/proc/meminfo: memFree=32180980/32951124 swapFree=67050540/67111528
[pid=14276] ppid=14274 vsize=5220 CPUtime=0 cores=1,3,5,7
/proc/14276/stat : 14276 (pwbo1.1) R 14274 14276 13000 0 -1 4202496 563 0 0 0 0 0 0 0 25 0 1 0 911270606 5345280 515 33554432000 4194304 5714118 140737160841840 18446744073709551615 5014028 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14276/statm: 1305 515 167 372 0 414 0
[startup+0.0661309 s]
/proc/loadavg: 4.00 3.98 3.91 3/177 14276
/proc/meminfo: memFree=32180980/32951124 swapFree=67050540/67111528
[pid=14276] ppid=14274 vsize=9620 CPUtime=0.06 cores=1,3,5,7
/proc/14276/stat : 14276 (pwbo1.1) R 14274 14276 13000 0 -1 4202496 1821 0 0 0 6 0 0 0 25 0 1 0 911270606 9850880 1773 33554432000 4194304 5714118 140737160841840 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14276/statm: 2405 1774 382 372 0 1514 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9620
[startup+0.101114 s]
/proc/loadavg: 4.00 3.98 3.91 3/177 14276
/proc/meminfo: memFree=32180980/32951124 swapFree=67050540/67111528
[pid=14276] ppid=14274 vsize=12308 CPUtime=0.09 cores=1,3,5,7
/proc/14276/stat : 14276 (pwbo1.1) R 14274 14276 13000 0 -1 4202496 2619 0 0 0 9 0 0 0 25 0 1 0 911270606 12603392 2505 33554432000 4194304 5714118 140737160841840 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14276/statm: 3077 2506 507 372 0 2186 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12308
[startup+0.301073 s]
/proc/loadavg: 4.00 3.98 3.91 3/177 14276
/proc/meminfo: memFree=32180980/32951124 swapFree=67050540/67111528
[pid=14276] ppid=14274 vsize=160516 CPUtime=0.44 cores=1,3,5,7
/proc/14276/stat : 14276 (pwbo1.1) S 14274 14276 13000 0 -1 4202496 14029 0 0 0 42 2 0 0 25 0 3 0 911270606 164368384 12828 33554432000 4194304 5714118 140737160841840 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/14276/statm: 40129 12828 179 372 0 39754 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 160516
[startup+0.701 s]
/proc/loadavg: 4.00 3.98 3.91 3/177 14276
/proc/meminfo: memFree=32180980/32951124 swapFree=67050540/67111528
[pid=14276] ppid=14274 vsize=160516 CPUtime=1.24 cores=1,3,5,7
/proc/14276/stat : 14276 (pwbo1.1) S 14274 14276 13000 0 -1 4202496 15247 0 0 0 121 3 0 0 25 0 3 0 911270606 164368384 13023 33554432000 4194304 5714118 140737160841840 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/14276/statm: 40129 13023 180 372 0 39754 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 160516
[startup+1.50085 s]
/proc/loadavg: 4.00 3.98 3.91 5/182 14281
/proc/meminfo: memFree=32081740/32951124 swapFree=67050540/67111528
[pid=14276] ppid=14274 vsize=160516 CPUtime=2.84 cores=1,3,5,7
/proc/14276/stat : 14276 (pwbo1.1) S 14274 14276 13000 0 -1 4202496 17132 0 0 0 280 4 0 0 25 0 3 0 911270606 164368384 14247 33554432000 4194304 5714118 140737160841840 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/14276/statm: 40129 14247 180 372 0 39754 0
[pid=14276/tid=14280] ppid=14274 vsize=160516 CPUtime=1.34 cores=1,3,5,7
/proc/14276/task/14280/stat : 14280 (pwbo1.1) R 14274 14276 13000 0 -1 4202560 4785 0 0 0 134 0 0 0 19 0 3 0 911270620 164368384 14247 33554432000 4194304 5714118 140737160841840 18446744073709551615 4956266 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=14276/tid=14281] ppid=14274 vsize=160516 CPUtime=1.34 cores=1,3,5,7
/proc/14276/task/14281/stat : 14281 (pwbo1.1) R 14274 14276 13000 0 -1 4202560 8715 0 0 0 131 3 0 0 25 0 3 0 911270620 164368384 14247 33554432000 4194304 5714118 140737160841840 18446744073709551615 4299735 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.84
Current children cumulated vsize (KiB) 160516
[startup+3.10055 s]
/proc/loadavg: 4.00 3.98 3.91 5/182 14281
/proc/meminfo: memFree=32066488/32951124 swapFree=67050540/67111528
[pid=14276] ppid=14274 vsize=160516 CPUtime=6.04 cores=1,3,5,7
/proc/14276/stat : 14276 (pwbo1.1) S 14274 14276 13000 0 -1 4202496 20146 0 0 0 592 12 0 0 25 0 3 0 911270606 164368384 16225 33554432000 4194304 5714118 140737160841840 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/14276/statm: 40129 16225 180 372 0 39754 0
[pid=14276/tid=14280] ppid=14274 vsize=160516 CPUtime=2.94 cores=1,3,5,7
/proc/14276/task/14280/stat : 14280 (pwbo1.1) R 14274 14276 13000 0 -1 4202560 6393 0 0 0 291 3 0 0 24 0 3 0 911270620 164368384 16225 33554432000 4194304 5714118 140737160841840 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=14276/tid=14281] ppid=14274 vsize=160516 CPUtime=2.95 cores=1,3,5,7
/proc/14276/task/14281/stat : 14281 (pwbo1.1) R 14274 14276 13000 0 -1 4202560 10121 0 0 0 287 8 0 0 25 0 3 0 911270620 164368384 16225 33554432000 4194304 5714118 140737160841840 18446744073709551615 4299735 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.04
Current children cumulated vsize (KiB) 160516
[startup+6.30094 s]
/proc/loadavg: 4.00 3.98 3.91 5/182 14281
/proc/meminfo: memFree=32024912/32951124 swapFree=67050540/67111528
[pid=14276] ppid=14274 vsize=160516 CPUtime=12.44 cores=1,3,5,7
/proc/14276/stat : 14276 (pwbo1.1) S 14274 14276 13000 0 -1 4202496 25115 0 0 0 1212 32 0 0 25 0 3 0 911270606 164368384 21194 33554432000 4194304 5714118 140737160841840 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/14276/statm: 40129 21194 180 372 0 39754 0
[pid=14276/tid=14280] ppid=14274 vsize=160516 CPUtime=6.14 cores=1,3,5,7
/proc/14276/task/14280/stat : 14280 (pwbo1.1) R 14274 14276 13000 0 -1 4202560 7461 0 0 0 605 9 0 0 25 0 3 0 911270620 164368384 21194 33554432000 4194304 5714118 140737160841840 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=14276/tid=14281] ppid=14274 vsize=160516 CPUtime=6.14 cores=1,3,5,7
/proc/14276/task/14281/stat : 14281 (pwbo1.1) R 14274 14276 13000 0 -1 4202560 14022 0 0 0 592 22 0 0 25 0 3 0 911270620 164368384 21194 33554432000 4194304 5714118 140737160841840 18446744073709551615 4199232 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.44
Current children cumulated vsize (KiB) 160516
[startup+12.7007 s]
/proc/loadavg: 4.00 3.98 3.91 5/182 14281
/proc/meminfo: memFree=31967576/32951124 swapFree=67050540/67111528
[pid=14276] ppid=14274 vsize=160960 CPUtime=25.24 cores=1,3,5,7
/proc/14276/stat : 14276 (pwbo1.1) S 14274 14276 13000 0 -1 4202496 32966 0 0 0 2470 54 0 0 25 0 3 0 911270606 164823040 29045 33554432000 4194304 5714118 140737160841840 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/14276/statm: 40240 29045 181 372 0 39865 0
[pid=14276/tid=14280] ppid=14274 vsize=160960 CPUtime=12.54 cores=1,3,5,7
/proc/14276/task/14280/stat : 14280 (pwbo1.1) R 14274 14276 13000 0 -1 4202560 11035 0 0 0 1237 17 0 0 25 0 3 0 911270620 164823040 29045 33554432000 4194304 5714118 140737160841840 18446744073709551615 4319293 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=14276/tid=14281] ppid=14274 vsize=160960 CPUtime=12.54 cores=1,3,5,7
/proc/14276/task/14281/stat : 14281 (pwbo1.1) R 14274 14276 13000 0 -1 4202560 18299 0 0 0 1218 36 0 0 25 0 3 0 911270620 164823040 29045 33554432000 4194304 5714118 140737160841840 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 160960
[startup+25.5003 s]
/proc/loadavg: 4.00 3.98 3.91 5/182 14281
/proc/meminfo: memFree=31897248/32951124 swapFree=67050540/67111528
[pid=14276] ppid=14274 vsize=228748 CPUtime=50.84 cores=1,3,5,7
/proc/14276/stat : 14276 (pwbo1.1) S 14274 14276 13000 0 -1 4202496 40718 0 0 0 5010 74 0 0 25 0 3 0 911270606 234237952 36797 33554432000 4194304 5714118 140737160841840 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/14276/statm: 57187 36797 181 372 0 56812 0
[pid=14276/tid=14280] ppid=14274 vsize=228748 CPUtime=25.34 cores=1,3,5,7
/proc/14276/task/14280/stat : 14280 (pwbo1.1) R 14274 14276 13000 0 -1 4202560 15602 0 0 0 2505 29 0 0 25 0 3 0 911270620 234237952 36797 33554432000 4194304 5714118 140737160841840 18446744073709551615 4319816 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=14276/tid=14281] ppid=14274 vsize=228748 CPUtime=25.35 cores=1,3,5,7
/proc/14276/task/14281/stat : 14281 (pwbo1.1) R 14274 14276 13000 0 -1 4202560 21484 0 0 0 2491 44 0 0 25 0 3 0 911270620 234237952 36797 33554432000 4194304 5714118 140737160841840 18446744073709551615 4319134 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.84
Current children cumulated vsize (KiB) 228748
[startup+51.1005 s]
/proc/loadavg: 4.00 3.98 3.91 5/182 14282
/proc/meminfo: memFree=31852412/32951124 swapFree=67050540/67111528
[pid=14276] ppid=14274 vsize=231512 CPUtime=102.04 cores=1,3,5,7
/proc/14276/stat : 14276 (pwbo1.1) S 14274 14276 13000 0 -1 4202496 43506 0 0 0 10106 98 0 0 25 0 3 0 911270606 237068288 39585 33554432000 4194304 5714118 140737160841840 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/14276/statm: 57878 39585 181 372 0 57503 0
[pid=14276/tid=14280] ppid=14274 vsize=231512 CPUtime=50.95 cores=1,3,5,7
/proc/14276/task/14280/stat : 14280 (pwbo1.1) R 14274 14276 13000 0 -1 4202560 16625 0 0 0 5047 48 0 0 25 0 3 0 911270620 237068288 39585 33554432000 4194304 5714118 140737160841840 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=14276/tid=14281] ppid=14274 vsize=231512 CPUtime=50.94 cores=1,3,5,7
/proc/14276/task/14281/stat : 14281 (pwbo1.1) R 14274 14276 13000 0 -1 4202560 23249 0 0 0 5045 49 0 0 25 0 3 0 911270620 237068288 39585 33554432000 4194304 5714118 140737160841840 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 102.04
Current children cumulated vsize (KiB) 231512
[startup+102.307 s]
/proc/loadavg: 4.00 3.98 3.91 5/182 14283
/proc/meminfo: memFree=31771020/32951124 swapFree=67050540/67111528
[pid=14276] ppid=14274 vsize=300652 CPUtime=204.46 cores=1,3,5,7
/proc/14276/stat : 14276 (pwbo1.1) S 14274 14276 13000 0 -1 4202496 55431 0 0 0 20295 151 0 0 25 0 3 0 911270606 307867648 51415 33554432000 4194304 5714118 140737160841840 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/14276/statm: 75163 51415 181 372 0 74788 0
[pid=14276/tid=14280] ppid=14274 vsize=300652 CPUtime=102.15 cores=1,3,5,7
/proc/14276/task/14280/stat : 14280 (pwbo1.1) R 14274 14276 13000 0 -1 4202560 26156 0 0 0 10131 84 0 0 25 0 3 0 911270620 307867648 51415 33554432000 4194304 5714118 140737160841840 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=14276/tid=14281] ppid=14274 vsize=300652 CPUtime=102.15 cores=1,3,5,7
/proc/14276/task/14281/stat : 14281 (pwbo1.1) R 14274 14276 13000 0 -1 4202560 25643 0 0 0 10149 66 0 0 25 0 3 0 911270620 307867648 51415 33554432000 4194304 5714118 140737160841840 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.46
Current children cumulated vsize (KiB) 300652
[startup+162.3 s]
/proc/loadavg: 4.00 3.98 3.91 5/182 14285
/proc/meminfo: memFree=31710104/32951124 swapFree=67050540/67111528
[pid=14276] ppid=14274 vsize=302928 CPUtime=324.45 cores=1,3,5,7
/proc/14276/stat : 14276 (pwbo1.1) S 14274 14276 13000 0 -1 4202496 64232 0 0 0 32238 207 0 0 25 0 3 0 911270606 310198272 59487 33554432000 4194304 5714118 140737160841840 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/14276/statm: 75732 59487 181 372 0 75357 0
[pid=14276/tid=14280] ppid=14274 vsize=302928 CPUtime=162.14 cores=1,3,5,7
/proc/14276/task/14280/stat : 14280 (pwbo1.1) R 14274 14276 13000 0 -1 4202560 33462 0 0 0 16091 123 0 0 25 0 3 0 911270620 310198272 59487 33554432000 4194304 5714118 140737160841840 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=14276/tid=14281] ppid=14274 vsize=302928 CPUtime=162.14 cores=1,3,5,7
/proc/14276/task/14281/stat : 14281 (pwbo1.1) R 14274 14276 13000 0 -1 4202560 27138 0 0 0 16132 82 0 0 25 0 3 0 911270620 310198272 59487 33554432000 4194304 5714118 140737160841840 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 324.45
Current children cumulated vsize (KiB) 302928
[startup+222.301 s]
/proc/loadavg: 4.00 3.98 3.91 5/182 14287
/proc/meminfo: memFree=31627728/32951124 swapFree=67050540/67111528
[pid=14276] ppid=14274 vsize=373316 CPUtime=444.45 cores=1,3,5,7
/proc/14276/stat : 14276 (pwbo1.1) S 14274 14276 13000 0 -1 4202496 74726 0 0 0 44190 255 0 0 25 0 3 0 911270606 382275584 69980 33554432000 4194304 5714118 140737160841840 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/14276/statm: 93329 69980 181 372 0 92954 0
[pid=14276/tid=14280] ppid=14274 vsize=373316 CPUtime=222.15 cores=1,3,5,7
/proc/14276/task/14280/stat : 14280 (pwbo1.1) R 14274 14276 13000 0 -1 4202560 39842 0 0 0 22063 152 0 0 25 0 3 0 911270620 382275584 69980 33554432000 4194304 5714118 140737160841840 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=14276/tid=14281] ppid=14274 vsize=373316 CPUtime=222.15 cores=1,3,5,7
/proc/14276/task/14281/stat : 14281 (pwbo1.1) R 14274 14276 13000 0 -1 4202560 31252 0 0 0 22113 102 0 0 25 0 3 0 911270620 382275584 69980 33554432000 4194304 5714118 140737160841840 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 444.45
Current children cumulated vsize (KiB) 373316
[startup+282.301 s]
/proc/loadavg: 4.00 3.98 3.91 5/182 14288
/proc/meminfo: memFree=31573500/32951124 swapFree=67050540/67111528
[pid=14276] ppid=14274 vsize=374420 CPUtime=564.46 cores=1,3,5,7
/proc/14276/stat : 14276 (pwbo1.1) S 14274 14276 13000 0 -1 4202496 82639 0 0 0 56144 302 0 0 25 0 3 0 911270606 383406080 77336 33554432000 4194304 5714118 140737160841840 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/14276/statm: 93605 77336 181 372 0 93230 0
[pid=14276/tid=14280] ppid=14274 vsize=374420 CPUtime=282.15 cores=1,3,5,7
/proc/14276/task/14280/stat : 14280 (pwbo1.1) R 14274 14276 13000 0 -1 4202560 46728 0 0 0 28031 184 0 0 25 0 3 0 911270620 383406080 77336 33554432000 4194304 5714118 140737160841840 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=14276/tid=14281] ppid=14274 vsize=374420 CPUtime=282.16 cores=1,3,5,7
/proc/14276/task/14281/stat : 14281 (pwbo1.1) R 14274 14276 13000 0 -1 4202560 32279 0 0 0 28099 117 0 0 25 0 3 0 911270620 383406080 77336 33554432000 4194304 5714118 140737160841840 18446744073709551615 4319212 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 564.46
Current children cumulated vsize (KiB) 374420
[startup+342.3 s]
/proc/loadavg: 4.00 3.98 3.91 5/182 14290
/proc/meminfo: memFree=31510852/32951124 swapFree=67050540/67111528
[pid=14276] ppid=14274 vsize=443588 CPUtime=684.46 cores=1,3,5,7
/proc/14276/stat : 14276 (pwbo1.1) S 14274 14276 13000 0 -1 4202496 92679 0 0 0 68097 349 0 0 25 0 3 0 911270606 454234112 87374 33554432000 4194304 5714118 140737160841840 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/14276/statm: 110897 87374 181 372 0 110522 0
[pid=14276/tid=14280] ppid=14274 vsize=443588 CPUtime=342.15 cores=1,3,5,7
/proc/14276/task/14280/stat : 14280 (pwbo1.1) R 14274 14276 13000 0 -1 4202560 53423 0 0 0 33995 220 0 0 25 0 3 0 911270620 454234112 87374 33554432000 4194304 5714118 140737160841840 18446744073709551615 4319407 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=14276/tid=14281] ppid=14274 vsize=443588 CPUtime=342.15 cores=1,3,5,7
/proc/14276/task/14281/stat : 14281 (pwbo1.1) R 14274 14276 13000 0 -1 4202560 35624 0 0 0 34087 128 0 0 25 0 3 0 911270620 454234112 87374 33554432000 4194304 5714118 140737160841840 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 684.46
Current children cumulated vsize (KiB) 443588
[startup+402.301 s]
/proc/loadavg: 4.00 3.98 3.91 5/182 14291
/proc/meminfo: memFree=31459588/32951124 swapFree=67050540/67111528
[pid=14276] ppid=14274 vsize=446048 CPUtime=804.47 cores=1,3,5,7
/proc/14276/stat : 14276 (pwbo1.1) S 14274 14276 13000 0 -1 4202496 99952 0 0 0 80060 387 0 0 25 0 3 0 911270606 456753152 94489 33554432000 4194304 5714118 140737160841840 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/14276/statm: 111512 94489 181 372 0 111137 0
[pid=14276/tid=14280] ppid=14274 vsize=446048 CPUtime=402.16 cores=1,3,5,7
/proc/14276/task/14280/stat : 14280 (pwbo1.1) R 14274 14276 13000 0 -1 4202560 58219 0 0 0 39970 246 0 0 25 0 3 0 911270620 456753152 94489 33554432000 4194304 5714118 140737160841840 18446744073709551615 4319221 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=14276/tid=14281] ppid=14274 vsize=446048 CPUtime=402.16 cores=1,3,5,7
/proc/14276/task/14281/stat : 14281 (pwbo1.1) R 14274 14276 13000 0 -1 4202560 38101 0 0 0 40076 140 0 0 25 0 3 0 911270620 456753152 94490 33554432000 4194304 5714118 140737160841840 18446744073709551615 4319689 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 804.47
Current children cumulated vsize (KiB) 446048
[startup+462.301 s]
/proc/loadavg: 4.00 3.98 3.91 5/182 14293
/proc/meminfo: memFree=31416012/32951124 swapFree=67050540/67111528
[pid=14276] ppid=14274 vsize=446048 CPUtime=924.47 cores=1,3,5,7
/proc/14276/stat : 14276 (pwbo1.1) S 14274 14276 13000 0 -1 4202496 103636 0 0 0 92013 434 0 0 25 0 3 0 911270606 456753152 98166 33554432000 4194304 5714118 140737160841840 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/14276/statm: 111512 98166 181 372 0 111137 0
[pid=14276/tid=14280] ppid=14274 vsize=446048 CPUtime=462.15 cores=1,3,5,7
/proc/14276/task/14280/stat : 14280 (pwbo1.1) R 14274 14276 13000 0 -1 4202560 61903 0 0 0 45938 277 0 0 25 0 3 0 911270620 456753152 98166 33554432000 4194304 5714118 140737160841840 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=14276/tid=14281] ppid=14274 vsize=446048 CPUtime=462.16 cores=1,3,5,7
/proc/14276/task/14281/stat : 14281 (pwbo1.1) R 14274 14276 13000 0 -1 4202560 38101 0 0 0 46060 156 0 0 25 0 3 0 911270620 456753152 98166 33554432000 4194304 5714118 140737160841840 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 924.47
Current children cumulated vsize (KiB) 446048
[startup+522.3 s]
/proc/loadavg: 4.00 3.98 3.91 5/182 14295
/proc/meminfo: memFree=31371328/32951124 swapFree=67050540/67111528
[pid=14276] ppid=14274 vsize=512304 CPUtime=1044.47 cores=1,3,5,7
/proc/14276/stat : 14276 (pwbo1.1) S 14274 14276 13000 0 -1 4202496 109873 0 0 0 103957 490 0 0 25 0 3 0 911270606 524599296 104402 33554432000 4194304 5714118 140737160841840 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/14276/statm: 128076 104402 181 372 0 127701 0
[pid=14276/tid=14280] ppid=14274 vsize=512304 CPUtime=522.16 cores=1,3,5,7
/proc/14276/task/14280/stat : 14280 (pwbo1.1) R 14274 14276 13000 0 -1 4202560 67999 0 0 0 51900 316 0 0 25 0 3 0 911270620 524599296 104402 33554432000 4194304 5714118 140737160841840 18446744073709551615 4319720 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=14276/tid=14281] ppid=14274 vsize=512304 CPUtime=522.16 cores=1,3,5,7
/proc/14276/task/14281/stat : 14281 (pwbo1.1) R 14274 14276 13000 0 -1 4202560 38242 0 0 0 52043 173 0 0 25 0 3 0 911270620 524599296 104402 33554432000 4194304 5714118 140737160841840 18446744073709551615 4319307 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1044.47
Current children cumulated vsize (KiB) 512304
[startup+582.301 s]
/proc/loadavg: 4.00 3.98 3.91 5/182 14296
/proc/meminfo: memFree=31315860/32951124 swapFree=67050540/67111528
[pid=14276] ppid=14274 vsize=512304 CPUtime=1164.48 cores=1,3,5,7
/proc/14276/stat : 14276 (pwbo1.1) S 14274 14276 13000 0 -1 4202496 116129 0 0 0 115898 550 0 0 25 0 3 0 911270606 524599296 110658 33554432000 4194304 5714118 140737160841840 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/14276/statm: 128076 110658 181 372 0 127701 0
[pid=14276/tid=14280] ppid=14274 vsize=512304 CPUtime=582.16 cores=1,3,5,7
/proc/14276/task/14280/stat : 14280 (pwbo1.1) R 14274 14276 13000 0 -1 4202560 74255 0 0 0 57864 352 0 0 25 0 3 0 911270620 524599296 110658 33554432000 4194304 5714118 140737160841840 18446744073709551615 4319748 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=14276/tid=14281] ppid=14274 vsize=512304 CPUtime=582.17 cores=1,3,5,7
/proc/14276/task/14281/stat : 14281 (pwbo1.1) R 14274 14276 13000 0 -1 4202560 38242 0 0 0 58020 197 0 0 25 0 3 0 911270620 524599296 110658 33554432000 4194304 5714118 140737160841840 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1164.48
Current children cumulated vsize (KiB) 512304
[startup+642.301 s]
/proc/loadavg: 4.04 3.99 3.92 5/182 14298
/proc/meminfo: memFree=31280592/32951124 swapFree=67050540/67111528
[pid=14276] ppid=14274 vsize=512784 CPUtime=1284.49 cores=1,3,5,7
/proc/14276/stat : 14276 (pwbo1.1) S 14274 14276 13000 0 -1 4202496 121456 0 0 0 127853 596 0 0 25 0 3 0 911270606 525090816 112423 33554432000 4194304 5714118 140737160841840 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/14276/statm: 128196 112423 181 372 0 127821 0
[pid=14276/tid=14280] ppid=14274 vsize=512784 CPUtime=642.17 cores=1,3,5,7
/proc/14276/task/14280/stat : 14280 (pwbo1.1) R 14274 14276 13000 0 -1 4202560 78980 0 0 0 63832 385 0 0 25 0 3 0 911270620 525090816 112424 33554432000 4194304 5714118 140737160841840 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=14276/tid=14281] ppid=14274 vsize=512784 CPUtime=642.18 cores=1,3,5,7
/proc/14276/task/14281/stat : 14281 (pwbo1.1) R 14274 14276 13000 0 -1 4202560 38845 0 0 0 64007 211 0 0 25 0 3 0 911270620 525090816 112424 33554432000 4194304 5714118 140737160841840 18446744073709551615 4319321 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1284.49
Current children cumulated vsize (KiB) 512784
[startup+702.301 s]
/proc/loadavg: 4.02 3.99 3.92 5/182 14299
/proc/meminfo: memFree=31200692/32951124 swapFree=67050540/67111528
[pid=14276] ppid=14274 vsize=579884 CPUtime=1404.49 cores=1,3,5,7
/proc/14276/stat : 14276 (pwbo1.1) S 14274 14276 13000 0 -1 4202496 131056 0 0 0 139816 633 0 0 25 0 3 0 911270606 593801216 122023 33554432000 4194304 5714118 140737160841840 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/14276/statm: 144971 122023 181 372 0 144596 0
[pid=14276/tid=14280] ppid=14274 vsize=579884 CPUtime=702.17 cores=1,3,5,7
/proc/14276/task/14280/stat : 14280 (pwbo1.1) R 14274 14276 13000 0 -1 4202560 84725 0 0 0 69806 411 0 0 25 0 3 0 911270620 593801216 122023 33554432000 4194304 5714118 140737160841840 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=14276/tid=14281] ppid=14274 vsize=579884 CPUtime=702.17 cores=1,3,5,7
/proc/14276/task/14281/stat : 14281 (pwbo1.1) R 14274 14276 13000 0 -1 4202560 42699 0 0 0 69996 221 0 0 25 0 3 0 911270620 593801216 122023 33554432000 4194304 5714118 140737160841840 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1404.49
Current children cumulated vsize (KiB) 579884
[startup+762.307 s]
/proc/loadavg: 4.00 3.99 3.92 5/182 14301
/proc/meminfo: memFree=31141628/32951124 swapFree=67050540/67111528
[pid=14276] ppid=14274 vsize=582232 CPUtime=1524.51 cores=1,3,5,7
/proc/14276/stat : 14276 (pwbo1.1) S 14274 14276 13000 0 -1 4202496 142198 0 0 0 151781 670 0 0 25 0 3 0 911270606 596205568 133163 33554432000 4194304 5714118 140737160841840 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/14276/statm: 145558 133163 181 372 0 145183 0
[pid=14276/tid=14280] ppid=14274 vsize=582232 CPUtime=762.18 cores=1,3,5,7
/proc/14276/task/14280/stat : 14280 (pwbo1.1) R 14274 14276 13000 0 -1 4202560 92069 0 0 0 75782 436 0 0 25 0 3 0 911270620 596205568 133163 33554432000 4194304 5714118 140737160841840 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=14276/tid=14281] ppid=14274 vsize=582232 CPUtime=762.18 cores=1,3,5,7
/proc/14276/task/14281/stat : 14281 (pwbo1.1) R 14274 14276 13000 0 -1 4202560 46497 0 0 0 75985 233 0 0 25 0 3 0 911270620 596205568 133163 33554432000 4194304 5714118 140737160841840 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1524.51
Current children cumulated vsize (KiB) 582232
[startup+822.3 s]
/proc/loadavg: 4.08 4.01 3.93 5/182 14303
/proc/meminfo: memFree=31094460/32951124 swapFree=67050540/67111528
[pid=14276] ppid=14274 vsize=650380 CPUtime=1644.49 cores=1,3,5,7
/proc/14276/stat : 14276 (pwbo1.1) S 14274 14276 13000 0 -1 4202496 148967 0 0 0 163731 718 0 0 25 0 3 0 911270606 665989120 139931 33554432000 4194304 5714118 140737160841840 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/14276/statm: 162595 139931 181 372 0 162220 0
[pid=14276/tid=14280] ppid=14274 vsize=650380 CPUtime=822.16 cores=1,3,5,7
/proc/14276/task/14280/stat : 14280 (pwbo1.1) R 14274 14276 13000 0 -1 4202560 95564 0 0 0 81744 472 0 0 25 0 3 0 911270620 665989120 139931 33554432000 4194304 5714118 140737160841840 18446744073709551615 4319361 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=14276/tid=14281] ppid=14274 vsize=650380 CPUtime=822.17 cores=1,3,5,7
/proc/14276/task/14281/stat : 14281 (pwbo1.1) R 14274 14276 13000 0 -1 4202560 49771 0 0 0 81972 245 0 0 25 0 3 0 911270620 665989120 139931 33554432000 4194304 5714118 140737160841840 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1644.49
Current children cumulated vsize (KiB) 650380
[startup+882.301 s]
/proc/loadavg: 4.02 4.00 3.93 5/182 14304
/proc/meminfo: memFree=31049400/32951124 swapFree=67050540/67111528
[pid=14276] ppid=14274 vsize=651580 CPUtime=1764.5 cores=1,3,5,7
/proc/14276/stat : 14276 (pwbo1.1) S 14274 14276 13000 0 -1 4202496 152687 0 0 0 175693 757 0 0 25 0 3 0 911270606 667217920 143339 33554432000 4194304 5714118 140737160841840 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/14276/statm: 162895 143339 181 372 0 162520 0
[pid=14276/tid=14280] ppid=14274 vsize=651580 CPUtime=882.18 cores=1,3,5,7
/proc/14276/task/14280/stat : 14280 (pwbo1.1) R 14274 14276 13000 0 -1 4202560 98134 0 0 0 87716 502 0 0 25 0 3 0 911270620 667217920 143339 33554432000 4194304 5714118 140737160841840 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=14276/tid=14281] ppid=14274 vsize=651580 CPUtime=882.18 cores=1,3,5,7
/proc/14276/task/14281/stat : 14281 (pwbo1.1) R 14274 14276 13000 0 -1 4202560 50921 0 0 0 87963 255 0 0 25 0 3 0 911270620 667217920 143339 33554432000 4194304 5714118 140737160841840 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1764.5
Current children cumulated vsize (KiB) 651580
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.101 s]
/proc/loadavg: 4.02 4.00 3.93 3/178 14306
/proc/meminfo: memFree=31604312/32951124 swapFree=67050540/67111528
[pid=14276] ppid=14274 vsize=717116 CPUtime=1800.11 cores=1,3,5,7
/proc/14276/stat : 14276 (pwbo1.1) S 14274 14276 13000 0 -1 4202496 155292 0 0 0 179241 770 0 0 25 0 3 0 911270606 734326784 145942 33554432000 4194304 5714118 140737160841840 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/14276/statm: 179279 145942 181 372 0 178904 0
[pid=14276/tid=14280] ppid=14274 vsize=717116 CPUtime=899.98 cores=1,3,5,7
/proc/14276/task/14280/stat : 14280 (pwbo1.1) R 14274 14276 13000 0 -1 4202560 100734 0 0 0 89488 510 0 0 25 0 3 0 911270620 734326784 145942 33554432000 4194304 5714118 140737160841840 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=14276/tid=14281] ppid=14274 vsize=717116 CPUtime=899.98 cores=1,3,5,7
/proc/14276/task/14281/stat : 14281 (pwbo1.1) R 14274 14276 13000 0 -1 4202560 50926 0 0 0 89739 259 0 0 25 0 3 0 911270620 734326784 145942 33554432000 4194304 5714118 140737160841840 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 717116
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.02 4.00 3.93 3/178 14306
/proc/meminfo: memFree=31604312/32951124 swapFree=67050540/67111528
[pid=14276] ppid=14274 vsize=717116 CPUtime=1800.11 cores=1,3,5,7
/proc/14276/stat : 14276 (pwbo1.1) S 14274 14276 13000 0 -1 4202496 155292 0 0 0 179241 770 0 0 25 0 3 0 911270606 734326784 145942 33554432000 4194304 5714118 140737160841840 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/14276/statm: 179279 145942 181 372 0 178904 0
[pid=14276/tid=14280] ppid=14274 vsize=717116 CPUtime=899.98 cores=1,3,5,7
/proc/14276/task/14280/stat : 14280 (pwbo1.1) R 14274 14276 13000 0 -1 4202560 100734 0 0 0 89488 510 0 0 25 0 3 0 911270620 734326784 145942 33554432000 4194304 5714118 140737160841840 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=14276/tid=14281] ppid=14274 vsize=717116 CPUtime=899.98 cores=1,3,5,7
/proc/14276/task/14281/stat : 14281 (pwbo1.1) R 14274 14276 13000 0 -1 4202560 50926 0 0 0 89739 259 0 0 25 0 3 0 911270620 734326784 145942 33554432000 4194304 5714118 140737160841840 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 717116
Child status: 0
Real time (s): 900.134
CPU time (s): 1800.16
CPU user time (s): 1792.43
CPU system time (s): 7.72683
CPU usage (%): 199.987
Max. virtual memory (cumulated for all children) (KiB): 717116
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.43
system time used= 7.72682
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 155299
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= 1047
involuntary context switches= 10665
runsolver used 1.53477 second user time and 3.38648 second system time
The end