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-3500078-1307990360/watcher-3500078-1307990360 -o /tmp/evaluation-result-3500078-1307990360/solver-3500078-1307990360 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500078-1307990360.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: 3.85 3.88 3.10 3/179 25041
/proc/meminfo: memFree=16039316/32951124 swapFree=67053176/67111528
[pid=25041] ppid=25039 vsize=135424 CPUtime=0 cores=1,3,5,7
/proc/25041/stat : 25041 (pwbo1.1) S 25039 25041 24477 0 -1 4202496 616 0 0 0 0 0 0 0 25 0 3 0 910633761 138674176 557 33554432000 4194304 5714118 140736351926880 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/25041/statm: 33856 557 176 372 0 33481 0
[pid=25041/tid=25042] ppid=25039 vsize=135424 CPUtime=0 cores=1,3,5,7
/proc/25041/task/25042/stat : 25042 (pwbo1.1) R 25039 25041 24477 0 -1 4202560 83 0 0 0 0 0 0 0 25 0 3 0 910633762 138674176 557 33554432000 4194304 5714118 140736351926880 18446744073709551615 4970308 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25041/tid=25043] ppid=25039 vsize=135424 CPUtime=0 cores=1,3,5,7
/proc/25041/task/25043/stat : 25043 (pwbo1.1) R 25039 25041 24477 0 -1 4202560 32 0 0 0 0 0 0 0 25 0 3 0 910633762 138674176 557 33554432000 4194304 5714118 140736351926880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[startup+0.0103981 s]
/proc/loadavg: 3.85 3.88 3.10 3/179 25041
/proc/meminfo: memFree=16039316/32951124 swapFree=67053176/67111528
[pid=25041] ppid=25039 vsize=140412 CPUtime=0.01 cores=1,3,5,7
/proc/25041/stat : 25041 (pwbo1.1) S 25039 25041 24477 0 -1 4202496 1696 0 0 0 1 0 0 0 25 0 3 0 910633761 143781888 1633 33554432000 4194304 5714118 140736351926880 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/25041/statm: 35103 1642 177 372 0 34728 0
[pid=25041/tid=25042] ppid=25039 vsize=140412 CPUtime=0 cores=1,3,5,7
/proc/25041/task/25042/stat : 25042 (pwbo1.1) R 25039 25041 24477 0 -1 4202560 183 0 0 0 0 0 0 0 18 0 3 0 910633762 143781888 1646 33554432000 4194304 5714118 140736351926880 18446744073709551615 4967586 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25041/tid=25043] ppid=25039 vsize=140412 CPUtime=0 cores=1,3,5,7
/proc/25041/task/25043/stat : 25043 (pwbo1.1) R 25039 25041 24477 0 -1 4202560 1034 0 0 0 0 0 0 0 25 0 3 0 910633762 143781888 1655 33554432000 4194304 5714118 140736351926880 18446744073709551615 4315361 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 140412
[startup+0.100411 s]
/proc/loadavg: 3.85 3.88 3.10 3/179 25041
/proc/meminfo: memFree=16039316/32951124 swapFree=67053176/67111528
[pid=25041] ppid=25039 vsize=155012 CPUtime=0.18 cores=1,3,5,7
/proc/25041/stat : 25041 (pwbo1.1) S 25039 25041 24477 0 -1 4202496 9986 0 0 0 16 2 0 0 25 0 3 0 910633761 158732288 9853 33554432000 4194304 5714118 140736351926880 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/25041/statm: 38753 9854 178 372 0 38378 0
[pid=25041/tid=25042] ppid=25039 vsize=155012 CPUtime=0.08 cores=1,3,5,7
/proc/25041/task/25042/stat : 25042 (pwbo1.1) R 25039 25041 24477 0 -1 4202560 880 0 0 0 8 0 0 0 18 0 3 0 910633762 158732288 9854 33554432000 4194304 5714118 140736351926880 18446744073709551615 4301728 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25041/tid=25043] ppid=25039 vsize=155012 CPUtime=0.08 cores=1,3,5,7
/proc/25041/task/25043/stat : 25043 (pwbo1.1) R 25039 25041 24477 0 -1 4202560 8606 0 0 0 7 1 0 0 18 0 3 0 910633762 158732288 9854 33554432000 4194304 5714118 140736351926880 18446744073709551615 4320046 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 155012
[startup+0.300373 s]
/proc/loadavg: 3.85 3.88 3.10 3/179 25041
/proc/meminfo: memFree=16039316/32951124 swapFree=67053176/67111528
[pid=25041] ppid=25039 vsize=155012 CPUtime=0.58 cores=1,3,5,7
/proc/25041/stat : 25041 (pwbo1.1) S 25039 25041 24477 0 -1 4202496 10347 0 0 0 53 5 0 0 25 0 3 0 910633761 158732288 10214 33554432000 4194304 5714118 140736351926880 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/25041/statm: 38753 10214 179 372 0 38378 0
[pid=25041/tid=25042] ppid=25039 vsize=155012 CPUtime=0.29 cores=1,3,5,7
/proc/25041/task/25042/stat : 25042 (pwbo1.1) R 25039 25041 24477 0 -1 4202560 1228 0 0 0 26 3 0 0 18 0 3 0 910633762 158732288 10214 33554432000 4194304 5714118 140736351926880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25041/tid=25043] ppid=25039 vsize=155012 CPUtime=0.28 cores=1,3,5,7
/proc/25041/task/25043/stat : 25043 (pwbo1.1) R 25039 25041 24477 0 -1 4202560 8618 0 0 0 27 1 0 0 18 0 3 0 910633762 158732288 10214 33554432000 4194304 5714118 140736351926880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 155012
[startup+0.700301 s]
/proc/loadavg: 3.85 3.88 3.10 3/179 25041
/proc/meminfo: memFree=16039316/32951124 swapFree=67053176/67111528
[pid=25041] ppid=25039 vsize=155152 CPUtime=1.38 cores=1,3,5,7
/proc/25041/stat : 25041 (pwbo1.1) S 25039 25041 24477 0 -1 4202496 11036 0 0 0 131 7 0 0 25 0 3 0 910633761 158875648 10903 33554432000 4194304 5714118 140736351926880 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/25041/statm: 38788 10903 179 372 0 38413 0
[pid=25041/tid=25042] ppid=25039 vsize=155152 CPUtime=0.69 cores=1,3,5,7
/proc/25041/task/25042/stat : 25042 (pwbo1.1) R 25039 25041 24477 0 -1 4202560 1857 0 0 0 64 5 0 0 18 0 3 0 910633762 158875648 10903 33554432000 4194304 5714118 140736351926880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25041/tid=25043] ppid=25039 vsize=155152 CPUtime=0.67 cores=1,3,5,7
/proc/25041/task/25043/stat : 25043 (pwbo1.1) R 25039 25041 24477 0 -1 4202560 8678 0 0 0 66 1 0 0 18 0 3 0 910633762 158875648 10903 33554432000 4194304 5714118 140736351926880 18446744073709551615 4319816 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 155152
[startup+1.50116 s]
/proc/loadavg: 3.85 3.88 3.10 5/182 25044
/proc/meminfo: memFree=15994304/32951124 swapFree=67053176/67111528
[pid=25041] ppid=25039 vsize=155296 CPUtime=2.98 cores=1,3,5,7
/proc/25041/stat : 25041 (pwbo1.1) S 25039 25041 24477 0 -1 4202496 11739 0 0 0 289 9 0 0 25 0 3 0 910633761 159023104 11606 33554432000 4194304 5714118 140736351926880 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/25041/statm: 38824 11606 179 372 0 38449 0
[pid=25041/tid=25042] ppid=25039 vsize=155296 CPUtime=1.48 cores=1,3,5,7
/proc/25041/task/25042/stat : 25042 (pwbo1.1) R 25039 25041 24477 0 -1 4202560 2437 0 0 0 142 6 0 0 20 0 3 0 910633762 159023104 11606 33554432000 4194304 5714118 140736351926880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25041/tid=25043] ppid=25039 vsize=155296 CPUtime=1.48 cores=1,3,5,7
/proc/25041/task/25043/stat : 25043 (pwbo1.1) R 25039 25041 24477 0 -1 4202560 8801 0 0 0 146 2 0 0 20 0 3 0 910633762 159023104 11606 33554432000 4194304 5714118 140736351926880 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 155296
[startup+3.10087 s]
/proc/loadavg: 3.85 3.88 3.10 5/182 25044
/proc/meminfo: memFree=15990172/32951124 swapFree=67053176/67111528
[pid=25041] ppid=25039 vsize=155152 CPUtime=6.18 cores=1,3,5,7
/proc/25041/stat : 25041 (pwbo1.1) S 25039 25041 24477 0 -1 4202496 12480 0 0 0 602 16 0 0 25 0 3 0 910633761 158875648 12318 33554432000 4194304 5714118 140736351926880 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/25041/statm: 38788 12318 179 372 0 38413 0
[pid=25041/tid=25042] ppid=25039 vsize=155152 CPUtime=3.08 cores=1,3,5,7
/proc/25041/task/25042/stat : 25042 (pwbo1.1) R 25039 25041 24477 0 -1 4202560 3034 0 0 0 296 12 0 0 25 0 3 0 910633762 158875648 12318 33554432000 4194304 5714118 140736351926880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25041/tid=25043] ppid=25039 vsize=155152 CPUtime=3.08 cores=1,3,5,7
/proc/25041/task/25043/stat : 25043 (pwbo1.1) R 25039 25041 24477 0 -1 4202560 8945 0 0 0 305 3 0 0 25 0 3 0 910633762 158875648 12318 33554432000 4194304 5714118 140736351926880 18446744073709551615 4319249 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 155152
[startup+6.30029 s]
/proc/loadavg: 3.86 3.88 3.11 5/182 25044
/proc/meminfo: memFree=15980772/32951124 swapFree=67053176/67111528
[pid=25041] ppid=25039 vsize=155152 CPUtime=12.57 cores=1,3,5,7
/proc/25041/stat : 25041 (pwbo1.1) S 25039 25041 24477 0 -1 4202496 16153 0 0 0 1228 29 0 0 25 0 3 0 910633761 158875648 15991 33554432000 4194304 5714118 140736351926880 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/25041/statm: 38788 15991 180 372 0 38413 0
[pid=25041/tid=25042] ppid=25039 vsize=155152 CPUtime=6.28 cores=1,3,5,7
/proc/25041/task/25042/stat : 25042 (pwbo1.1) R 25039 25041 24477 0 -1 4202560 4858 0 0 0 605 23 0 0 25 0 3 0 910633762 158875648 15991 33554432000 4194304 5714118 140736351926880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25041/tid=25043] ppid=25039 vsize=155152 CPUtime=6.28 cores=1,3,5,7
/proc/25041/task/25043/stat : 25043 (pwbo1.1) R 25039 25041 24477 0 -1 4202560 10794 0 0 0 622 6 0 0 25 0 3 0 910633762 158875648 15991 33554432000 4194304 5714118 140736351926880 18446744073709551615 4319293 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 155152
[startup+12.7011 s]
/proc/loadavg: 3.87 3.88 3.11 5/182 25044
/proc/meminfo: memFree=15960704/32951124 swapFree=67053176/67111528
[pid=25041] ppid=25039 vsize=155368 CPUtime=25.37 cores=1,3,5,7
/proc/25041/stat : 25041 (pwbo1.1) S 25039 25041 24477 0 -1 4202496 19385 0 0 0 2490 47 0 0 25 0 3 0 910633761 159096832 19223 33554432000 4194304 5714118 140736351926880 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/25041/statm: 38842 19223 180 372 0 38467 0
[pid=25041/tid=25042] ppid=25039 vsize=155368 CPUtime=12.68 cores=1,3,5,7
/proc/25041/task/25042/stat : 25042 (pwbo1.1) R 25039 25041 24477 0 -1 4202560 7858 0 0 0 1232 36 0 0 25 0 3 0 910633762 159096832 19223 33554432000 4194304 5714118 140736351926880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25041/tid=25043] ppid=25039 vsize=155368 CPUtime=12.68 cores=1,3,5,7
/proc/25041/task/25043/stat : 25043 (pwbo1.1) R 25039 25041 24477 0 -1 4202560 11026 0 0 0 1258 10 0 0 25 0 3 0 910633762 159096832 19223 33554432000 4194304 5714118 140736351926880 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 155368
[startup+25.5008 s]
/proc/loadavg: 3.90 3.89 3.12 5/182 25044
/proc/meminfo: memFree=15915820/32951124 swapFree=67053176/67111528
[pid=25041] ppid=25039 vsize=155692 CPUtime=50.97 cores=1,3,5,7
/proc/25041/stat : 25041 (pwbo1.1) S 25039 25041 24477 0 -1 4202496 30349 0 0 0 5024 73 0 0 25 0 3 0 910633761 159428608 30187 33554432000 4194304 5714118 140736351926880 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/25041/statm: 38923 30187 180 372 0 38548 0
[pid=25041/tid=25042] ppid=25039 vsize=155692 CPUtime=25.48 cores=1,3,5,7
/proc/25041/task/25042/stat : 25042 (pwbo1.1) R 25039 25041 24477 0 -1 4202560 11759 0 0 0 2494 54 0 0 25 0 3 0 910633762 159428608 30187 33554432000 4194304 5714118 140736351926880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25041/tid=25043] ppid=25039 vsize=155692 CPUtime=25.48 cores=1,3,5,7
/proc/25041/task/25043/stat : 25043 (pwbo1.1) R 25039 25041 24477 0 -1 4202560 18089 0 0 0 2529 19 0 0 25 0 3 0 910633762 159428608 30187 33554432000 4194304 5714118 140736351926880 18446744073709551615 4322666 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 155692
[startup+51.1012 s]
/proc/loadavg: 3.93 3.89 3.15 5/182 25045
/proc/meminfo: memFree=15801296/32951124 swapFree=67053176/67111528
[pid=25041] ppid=25039 vsize=353384 CPUtime=102.18 cores=1,3,5,7
/proc/25041/stat : 25041 (pwbo1.1) S 25039 25041 24477 0 -1 4202496 58720 0 0 0 10087 131 0 0 25 0 3 0 910633761 361865216 58558 33554432000 4194304 5714118 140736351926880 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/25041/statm: 88346 58558 180 372 0 87971 0
[pid=25041/tid=25042] ppid=25039 vsize=353384 CPUtime=51.09 cores=1,3,5,7
/proc/25041/task/25042/stat : 25042 (pwbo1.1) R 25039 25041 24477 0 -1 4202560 19367 0 0 0 5019 90 0 0 25 0 3 0 910633762 361865216 58558 33554432000 4194304 5714118 140736351926880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25041/tid=25043] ppid=25039 vsize=353384 CPUtime=51.08 cores=1,3,5,7
/proc/25041/task/25043/stat : 25043 (pwbo1.1) R 25039 25041 24477 0 -1 4202560 38852 0 0 0 5067 41 0 0 25 0 3 0 910633762 361865216 58558 33554432000 4194304 5714118 140736351926880 18446744073709551615 4319336 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 353384
[startup+102.307 s]
/proc/loadavg: 3.97 3.91 3.19 5/182 25046
/proc/meminfo: memFree=15728580/32951124 swapFree=67053176/67111528
[pid=25041] ppid=25039 vsize=354464 CPUtime=204.59 cores=1,3,5,7
/proc/25041/stat : 25041 (pwbo1.1) S 25039 25041 24477 0 -1 4202496 73908 0 0 0 20220 239 0 0 25 0 3 0 910633761 362971136 73686 33554432000 4194304 5714118 140736351926880 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/25041/statm: 88616 73686 180 372 0 88241 0
[pid=25041/tid=25042] ppid=25039 vsize=354464 CPUtime=102.29 cores=1,3,5,7
/proc/25041/task/25042/stat : 25042 (pwbo1.1) R 25039 25041 24477 0 -1 4202560 26408 0 0 0 10052 177 0 0 25 0 3 0 910633762 362971136 73686 33554432000 4194304 5714118 140736351926880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25041/tid=25043] ppid=25039 vsize=354464 CPUtime=102.29 cores=1,3,5,7
/proc/25041/task/25043/stat : 25043 (pwbo1.1) R 25039 25041 24477 0 -1 4202560 46999 0 0 0 10167 62 0 0 25 0 3 0 910633762 362971136 73686 33554432000 4194304 5714118 140736351926880 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 204.59
Current children cumulated vsize (KiB) 354464
[startup+162.301 s]
/proc/loadavg: 3.99 3.92 3.24 5/182 25048
/proc/meminfo: memFree=15690816/32951124 swapFree=67053176/67111528
[pid=25041] ppid=25039 vsize=421024 CPUtime=324.58 cores=1,3,5,7
/proc/25041/stat : 25041 (pwbo1.1) S 25039 25041 24477 0 -1 4202496 83017 0 0 0 32109 349 0 0 25 0 3 0 910633761 431128576 82795 33554432000 4194304 5714118 140736351926880 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/25041/statm: 105256 82795 180 372 0 104881 0
[pid=25041/tid=25042] ppid=25039 vsize=421024 CPUtime=162.28 cores=1,3,5,7
/proc/25041/task/25042/stat : 25042 (pwbo1.1) R 25039 25041 24477 0 -1 4202560 28420 0 0 0 15972 256 0 0 25 0 3 0 910633762 431128576 82795 33554432000 4194304 5714118 140736351926880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25041/tid=25043] ppid=25039 vsize=421024 CPUtime=162.28 cores=1,3,5,7
/proc/25041/task/25043/stat : 25043 (pwbo1.1) R 25039 25041 24477 0 -1 4202560 54096 0 0 0 16135 93 0 0 25 0 3 0 910633762 431128576 82795 33554432000 4194304 5714118 140736351926880 18446744073709551615 4319321 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 324.58
Current children cumulated vsize (KiB) 421024
[startup+222.3 s]
/proc/loadavg: 3.99 3.93 3.28 5/182 25050
/proc/meminfo: memFree=15602228/32951124 swapFree=67053176/67111528
[pid=25041] ppid=25039 vsize=486560 CPUtime=444.58 cores=1,3,5,7
/proc/25041/stat : 25041 (pwbo1.1) S 25039 25041 24477 0 -1 4202496 96903 0 0 0 44022 436 0 0 25 0 3 0 910633761 498237440 96681 33554432000 4194304 5714118 140736351926880 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/25041/statm: 121640 96681 180 372 0 121265 0
[pid=25041/tid=25042] ppid=25039 vsize=486560 CPUtime=222.29 cores=1,3,5,7
/proc/25041/task/25042/stat : 25042 (pwbo1.1) R 25039 25041 24477 0 -1 4202560 36253 0 0 0 21915 314 0 0 25 0 3 0 910633762 498237440 96681 33554432000 4194304 5714118 140736351926880 18446744073709551615 4319710 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25041/tid=25043] ppid=25039 vsize=486560 CPUtime=222.28 cores=1,3,5,7
/proc/25041/task/25043/stat : 25043 (pwbo1.1) R 25039 25041 24477 0 -1 4202560 60149 0 0 0 22107 121 0 0 25 0 3 0 910633762 498237440 96681 33554432000 4194304 5714118 140736351926880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 444.58
Current children cumulated vsize (KiB) 486560
[startup+282.3 s]
/proc/loadavg: 3.99 3.94 3.32 5/182 25051
/proc/meminfo: memFree=15509920/32951124 swapFree=67053176/67111528
[pid=25041] ppid=25039 vsize=487776 CPUtime=564.58 cores=1,3,5,7
/proc/25041/stat : 25041 (pwbo1.1) S 25039 25041 24477 0 -1 4202496 112440 0 0 0 55937 521 0 0 25 0 3 0 910633761 499482624 112218 33554432000 4194304 5714118 140736351926880 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/25041/statm: 121944 112218 180 372 0 121569 0
[pid=25041/tid=25042] ppid=25039 vsize=487776 CPUtime=282.28 cores=1,3,5,7
/proc/25041/task/25042/stat : 25042 (pwbo1.1) R 25039 25041 24477 0 -1 4202560 46351 0 0 0 27848 380 0 0 25 0 3 0 910633762 499482624 112218 33554432000 4194304 5714118 140736351926880 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25041/tid=25043] ppid=25039 vsize=487776 CPUtime=282.28 cores=1,3,5,7
/proc/25041/task/25043/stat : 25043 (pwbo1.1) R 25039 25041 24477 0 -1 4202560 65588 0 0 0 28088 140 0 0 25 0 3 0 910633762 499482624 112218 33554432000 4194304 5714118 140736351926880 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 564.58
Current children cumulated vsize (KiB) 487776
[startup+342.301 s]
/proc/loadavg: 3.99 3.95 3.36 5/182 25053
/proc/meminfo: memFree=15451336/32951124 swapFree=67053176/67111528
[pid=25041] ppid=25039 vsize=553312 CPUtime=684.59 cores=1,3,5,7
/proc/25041/stat : 25041 (pwbo1.1) S 25039 25041 24477 0 -1 4202496 125001 0 0 0 67880 579 0 0 25 0 3 0 910633761 566591488 124779 33554432000 4194304 5714118 140736351926880 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/25041/statm: 138328 124779 180 372 0 137953 0
[pid=25041/tid=25042] ppid=25039 vsize=553312 CPUtime=342.28 cores=1,3,5,7
/proc/25041/task/25042/stat : 25042 (pwbo1.1) R 25039 25041 24477 0 -1 4202560 54479 0 0 0 33801 427 0 0 25 0 3 0 910633762 566591488 124779 33554432000 4194304 5714118 140736351926880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25041/tid=25043] ppid=25039 vsize=553312 CPUtime=342.29 cores=1,3,5,7
/proc/25041/task/25043/stat : 25043 (pwbo1.1) R 25039 25041 24477 0 -1 4202560 70021 0 0 0 34078 151 0 0 25 0 3 0 910633762 566591488 124779 33554432000 4194304 5714118 140736351926880 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 684.59
Current children cumulated vsize (KiB) 553312
[startup+402.301 s]
/proc/loadavg: 3.99 3.95 3.40 5/182 25054
/proc/meminfo: memFree=15401164/32951124 swapFree=67053176/67111528
[pid=25041] ppid=25039 vsize=618848 CPUtime=804.59 cores=1,3,5,7
/proc/25041/stat : 25041 (pwbo1.1) S 25039 25041 24477 0 -1 4202496 137443 0 0 0 79831 628 0 0 25 0 3 0 910633761 633700352 137221 33554432000 4194304 5714118 140736351926880 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/25041/statm: 154712 137221 180 372 0 154337 0
[pid=25041/tid=25042] ppid=25039 vsize=618848 CPUtime=402.29 cores=1,3,5,7
/proc/25041/task/25042/stat : 25042 (pwbo1.1) R 25039 25041 24477 0 -1 4202560 62922 0 0 0 39763 466 0 0 25 0 3 0 910633762 633700352 137221 33554432000 4194304 5714118 140736351926880 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25041/tid=25043] ppid=25039 vsize=618848 CPUtime=402.28 cores=1,3,5,7
/proc/25041/task/25043/stat : 25043 (pwbo1.1) R 25039 25041 24477 0 -1 4202560 74020 0 0 0 40067 161 0 0 25 0 3 0 910633762 633700352 137221 33554432000 4194304 5714118 140736351926880 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 804.59
Current children cumulated vsize (KiB) 618848
[startup+462.301 s]
/proc/loadavg: 3.99 3.96 3.43 5/182 25056
/proc/meminfo: memFree=15353104/32951124 swapFree=67053176/67111528
[pid=25041] ppid=25039 vsize=684384 CPUtime=924.59 cores=1,3,5,7
/proc/25041/stat : 25041 (pwbo1.1) S 25039 25041 24477 0 -1 4202496 148572 0 0 0 91780 679 0 0 25 0 3 0 910633761 700809216 148350 33554432000 4194304 5714118 140736351926880 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/25041/statm: 171096 148350 180 372 0 170721 0
[pid=25041/tid=25042] ppid=25039 vsize=684384 CPUtime=462.29 cores=1,3,5,7
/proc/25041/task/25042/stat : 25042 (pwbo1.1) R 25039 25041 24477 0 -1 4202560 70434 0 0 0 45723 506 0 0 25 0 3 0 910633762 700809216 148350 33554432000 4194304 5714118 140736351926880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25041/tid=25043] ppid=25039 vsize=684384 CPUtime=462.29 cores=1,3,5,7
/proc/25041/task/25043/stat : 25043 (pwbo1.1) R 25039 25041 24477 0 -1 4202560 77637 0 0 0 46056 173 0 0 25 0 3 0 910633762 700809216 148350 33554432000 4194304 5714118 140736351926880 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 924.59
Current children cumulated vsize (KiB) 684384
[startup+522.301 s]
/proc/loadavg: 3.99 3.97 3.47 5/182 25058
/proc/meminfo: memFree=15318576/32951124 swapFree=67053176/67111528
[pid=25041] ppid=25039 vsize=684868 CPUtime=1044.59 cores=1,3,5,7
/proc/25041/stat : 25041 (pwbo1.1) S 25039 25041 24477 0 -1 4202496 156378 0 0 0 103714 745 0 0 25 0 3 0 910633761 701304832 156156 33554432000 4194304 5714118 140736351926880 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/25041/statm: 171217 156156 180 372 0 170842 0
[pid=25041/tid=25042] ppid=25039 vsize=684868 CPUtime=522.29 cores=1,3,5,7
/proc/25041/task/25042/stat : 25042 (pwbo1.1) R 25039 25041 24477 0 -1 4202560 77784 0 0 0 51676 553 0 0 25 0 3 0 910633762 701304832 156156 33554432000 4194304 5714118 140736351926880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25041/tid=25043] ppid=25039 vsize=684868 CPUtime=522.29 cores=1,3,5,7
/proc/25041/task/25043/stat : 25043 (pwbo1.1) R 25039 25041 24477 0 -1 4202560 78093 0 0 0 52037 192 0 0 25 0 3 0 910633762 701304832 156156 33554432000 4194304 5714118 140736351926880 18446744073709551615 4319336 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1044.59
Current children cumulated vsize (KiB) 684868
[startup+582.3 s]
/proc/loadavg: 3.99 3.97 3.50 5/182 25059
/proc/meminfo: memFree=15276712/32951124 swapFree=67053176/67111528
[pid=25041] ppid=25039 vsize=750404 CPUtime=1164.6 cores=1,3,5,7
/proc/25041/stat : 25041 (pwbo1.1) S 25039 25041 24477 0 -1 4202496 165804 0 0 0 115656 804 0 0 25 0 3 0 910633761 768413696 165582 33554432000 4194304 5714118 140736351926880 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/25041/statm: 187601 165582 180 372 0 187226 0
[pid=25041/tid=25042] ppid=25039 vsize=750404 CPUtime=582.29 cores=1,3,5,7
/proc/25041/task/25042/stat : 25042 (pwbo1.1) R 25039 25041 24477 0 -1 4202560 87204 0 0 0 57626 603 0 0 25 0 3 0 910633762 768413696 165582 33554432000 4194304 5714118 140736351926880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25041/tid=25043] ppid=25039 vsize=750404 CPUtime=582.29 cores=1,3,5,7
/proc/25041/task/25043/stat : 25043 (pwbo1.1) R 25039 25041 24477 0 -1 4202560 78099 0 0 0 58029 200 0 0 25 0 3 0 910633762 768413696 165582 33554432000 4194304 5714118 140736351926880 18446744073709551615 4319284 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1164.6
Current children cumulated vsize (KiB) 750404
[startup+642.3 s]
/proc/loadavg: 3.99 3.97 3.53 5/182 25061
/proc/meminfo: memFree=15219844/32951124 swapFree=67053176/67111528
[pid=25041] ppid=25039 vsize=750404 CPUtime=1284.61 cores=1,3,5,7
/proc/25041/stat : 25041 (pwbo1.1) S 25039 25041 24477 0 -1 4202496 174255 0 0 0 127613 848 0 0 25 0 3 0 910633761 768413696 174033 33554432000 4194304 5714118 140736351926880 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/25041/statm: 187601 174033 180 372 0 187226 0
[pid=25041/tid=25042] ppid=25039 vsize=750404 CPUtime=642.3 cores=1,3,5,7
/proc/25041/task/25042/stat : 25042 (pwbo1.1) R 25039 25041 24477 0 -1 4202560 95640 0 0 0 63587 643 0 0 25 0 3 0 910633762 768413696 174033 33554432000 4194304 5714118 140736351926880 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25041/tid=25043] ppid=25039 vsize=750404 CPUtime=642.3 cores=1,3,5,7
/proc/25041/task/25043/stat : 25043 (pwbo1.1) R 25039 25041 24477 0 -1 4202560 78114 0 0 0 64025 205 0 0 25 0 3 0 910633762 768413696 174033 33554432000 4194304 5714118 140736351926880 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1284.61
Current children cumulated vsize (KiB) 750404
[startup+702.301 s]
/proc/loadavg: 3.99 3.97 3.55 5/182 25062
/proc/meminfo: memFree=15175372/32951124 swapFree=67053176/67111528
[pid=25041] ppid=25039 vsize=815940 CPUtime=1404.6 cores=1,3,5,7
/proc/25041/stat : 25041 (pwbo1.1) S 25039 25041 24477 0 -1 4202496 180438 0 0 0 139571 889 0 0 25 0 3 0 910633761 835522560 180216 33554432000 4194304 5714118 140736351926880 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/25041/statm: 203985 180216 180 372 0 203610 0
[pid=25041/tid=25042] ppid=25039 vsize=815940 CPUtime=702.29 cores=1,3,5,7
/proc/25041/task/25042/stat : 25042 (pwbo1.1) R 25039 25041 24477 0 -1 4202560 101817 0 0 0 69552 677 0 0 25 0 3 0 910633762 835522560 180216 33554432000 4194304 5714118 140736351926880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25041/tid=25043] ppid=25039 vsize=815940 CPUtime=702.29 cores=1,3,5,7
/proc/25041/task/25043/stat : 25043 (pwbo1.1) R 25039 25041 24477 0 -1 4202560 78120 0 0 0 70018 211 0 0 25 0 3 0 910633762 835522560 180216 33554432000 4194304 5714118 140736351926880 18446744073709551615 4319398 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1404.6
Current children cumulated vsize (KiB) 815940
[startup+762.307 s]
/proc/loadavg: 3.94 3.96 3.57 6/182 25105
/proc/meminfo: memFree=15094776/32951124 swapFree=67053176/67111528
[pid=25041] ppid=25039 vsize=815940 CPUtime=1524.61 cores=1,3,5,7
/proc/25041/stat : 25041 (pwbo1.1) S 25039 25041 24477 0 -1 4202496 187767 0 0 0 151528 933 0 0 25 0 3 0 910633761 835522560 187545 33554432000 4194304 5714118 140736351926880 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/25041/statm: 203985 187545 180 372 0 203610 0
[pid=25041/tid=25042] ppid=25039 vsize=815940 CPUtime=762.31 cores=1,3,5,7
/proc/25041/task/25042/stat : 25042 (pwbo1.1) R 25039 25041 24477 0 -1 4202560 106994 0 0 0 75520 711 0 0 25 0 3 0 910633762 835522560 187545 33554432000 4194304 5714118 140736351926880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25041/tid=25043] ppid=25039 vsize=815940 CPUtime=762.3 cores=1,3,5,7
/proc/25041/task/25043/stat : 25043 (pwbo1.1) R 25039 25041 24477 0 -1 4202560 80272 0 0 0 76008 222 0 0 25 0 3 0 910633762 835522560 187545 33554432000 4194304 5714118 140736351926880 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1524.61
Current children cumulated vsize (KiB) 815940
[startup+822.301 s]
/proc/loadavg: 4.05 3.98 3.60 5/182 25107
/proc/meminfo: memFree=14615600/32951124 swapFree=67053176/67111528
[pid=25041] ppid=25039 vsize=947012 CPUtime=1644.61 cores=1,3,5,7
/proc/25041/stat : 25041 (pwbo1.1) S 25039 25041 24477 0 -1 4202496 202458 0 0 0 163480 981 0 0 25 0 3 0 910633761 969740288 202235 33554432000 4194304 5714118 140736351926880 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/25041/statm: 236753 202235 180 372 0 236378 0
[pid=25041/tid=25042] ppid=25039 vsize=947012 CPUtime=822.3 cores=1,3,5,7
/proc/25041/task/25042/stat : 25042 (pwbo1.1) R 25039 25041 24477 0 -1 4202560 114524 0 0 0 81486 744 0 0 25 0 3 0 910633762 969740288 202235 33554432000 4194304 5714118 140736351926880 18446744073709551615 4319361 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25041/tid=25043] ppid=25039 vsize=947012 CPUtime=822.3 cores=1,3,5,7
/proc/25041/task/25043/stat : 25043 (pwbo1.1) R 25039 25041 24477 0 -1 4202560 87433 0 0 0 81994 236 0 0 25 0 3 0 910633762 969740288 202235 33554432000 4194304 5714118 140736351926880 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1644.61
Current children cumulated vsize (KiB) 947012
[startup+882.301 s]
/proc/loadavg: 4.02 3.98 3.62 5/182 25108
/proc/meminfo: memFree=13947156/32951124 swapFree=67053176/67111528
[pid=25041] ppid=25039 vsize=947012 CPUtime=1764.61 cores=1,3,5,7
/proc/25041/stat : 25041 (pwbo1.1) S 25039 25041 24477 0 -1 4202496 214547 0 0 0 175446 1015 0 0 25 0 3 0 910633761 969740288 214324 33554432000 4194304 5714118 140736351926880 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/25041/statm: 236753 214324 180 372 0 236378 0
[pid=25041/tid=25042] ppid=25039 vsize=947012 CPUtime=882.3 cores=1,3,5,7
/proc/25041/task/25042/stat : 25042 (pwbo1.1) R 25039 25041 24477 0 -1 4202560 120782 0 0 0 87464 766 0 0 25 0 3 0 910633762 969740288 214324 33554432000 4194304 5714118 140736351926880 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25041/tid=25043] ppid=25039 vsize=947012 CPUtime=882.29 cores=1,3,5,7
/proc/25041/task/25043/stat : 25043 (pwbo1.1) R 25039 25041 24477 0 -1 4202560 93264 0 0 0 87981 248 0 0 25 0 3 0 910633762 969740288 214324 33554432000 4194304 5714118 140736351926880 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1764.61
Current children cumulated vsize (KiB) 947012
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.001 s]
/proc/loadavg: 4.01 3.98 3.63 5/182 25109
/proc/meminfo: memFree=13767688/32951124 swapFree=67053176/67111528
[pid=25041] ppid=25039 vsize=947012 CPUtime=1800.02 cores=1,3,5,7
/proc/25041/stat : 25041 (pwbo1.1) S 25039 25041 24477 0 -1 4202496 216917 0 0 0 178976 1026 0 0 25 0 3 0 910633761 969740288 216694 33554432000 4194304 5714118 140736351926880 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/25041/statm: 236753 216694 180 372 0 236378 0
[pid=25041/tid=25042] ppid=25039 vsize=947012 CPUtime=900 cores=1,3,5,7
/proc/25041/task/25042/stat : 25042 (pwbo1.1) R 25039 25041 24477 0 -1 4202560 121496 0 0 0 89227 773 0 0 25 0 3 0 910633762 969740288 216694 33554432000 4194304 5714118 140736351926880 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25041/tid=25043] ppid=25039 vsize=947012 CPUtime=900 cores=1,3,5,7
/proc/25041/task/25043/stat : 25043 (pwbo1.1) R 25039 25041 24477 0 -1 4202560 94920 0 0 0 89748 252 0 0 25 0 3 0 910633762 969740288 216694 33554432000 4194304 5714118 140736351926880 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 947012
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.05
CPU time (s): 1800.08
CPU user time (s): 1789.78
CPU system time (s): 10.3044
CPU usage (%): 199.998
Max. virtual memory (cumulated for all children) (KiB): 947012
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.78
system time used= 10.3044
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 216923
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= 468
involuntary context switches= 2345
runsolver used 1.49477 second user time and 3.42648 second system time
The end