runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3460768-1307107067/watcher-3460768-1307107067 -o /tmp/evaluation-result-3460768-1307107067/solver-3460768-1307107067 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460768-1307107067.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.00 2.02 2.00 3/550 22665
/proc/meminfo: memFree=19996584/32951124 swapFree=53733252/67111528
[pid=22665] ppid=22663 vsize=9432 CPUtime=0.01 cores=1,3,5,7
/proc/22665/stat : 22665 (wbo1.6) R 22663 22665 21496 0 -1 4202496 695 0 0 0 1 0 0 0 25 0 1 0 822307090 9658368 649 33554432000 4194304 5714214 140736011293872 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22665/statm: 2358 649 222 372 0 481 0
[startup+0.114189 s]
/proc/loadavg: 2.00 2.02 2.00 3/550 22665
/proc/meminfo: memFree=19996584/32951124 swapFree=53733252/67111528
[pid=22665] ppid=22663 vsize=18540 CPUtime=0.1 cores=1,3,5,7
/proc/22665/stat : 22665 (wbo1.6) R 22663 22665 21496 0 -1 4202496 3280 0 0 0 10 0 0 0 25 0 1 0 822307090 18984960 3234 33554432000 4194304 5714214 140736011293872 18446744073709551615 5013195 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22665/statm: 4635 3238 555 372 0 2758 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 18540
[startup+0.201158 s]
/proc/loadavg: 2.00 2.02 2.00 3/550 22665
/proc/meminfo: memFree=19996584/32951124 swapFree=53733252/67111528
[pid=22665] ppid=22663 vsize=27068 CPUtime=0.19 cores=1,3,5,7
/proc/22665/stat : 22665 (wbo1.6) R 22663 22665 21496 0 -1 4202496 5723 0 0 0 19 0 0 0 25 0 1 0 822307090 27717632 5677 33554432000 4194304 5714214 140736011293872 18446744073709551615 5013195 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22665/statm: 6767 5677 865 372 0 4890 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 27068
[startup+0.301152 s]
/proc/loadavg: 2.00 2.02 2.00 3/550 22665
/proc/meminfo: memFree=19996584/32951124 swapFree=53733252/67111528
[pid=22665] ppid=22663 vsize=35180 CPUtime=0.28 cores=1,3,5,7
/proc/22665/stat : 22665 (wbo1.6) R 22663 22665 21496 0 -1 4202496 8089 0 0 0 28 0 0 0 25 0 1 0 822307090 36024320 8043 33554432000 4194304 5714214 140736011293872 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22665/statm: 8795 8044 1203 372 0 6918 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 35180
[startup+0.701071 s]
/proc/loadavg: 2.00 2.02 2.00 3/550 22665
/proc/meminfo: memFree=19996584/32951124 swapFree=53733252/67111528
[pid=22665] ppid=22663 vsize=82508 CPUtime=0.69 cores=1,3,5,7
/proc/22665/stat : 22665 (wbo1.6) R 22663 22665 21496 0 -1 4202496 22072 0 0 0 66 3 0 0 25 0 1 0 822307090 84488192 20281 33554432000 4194304 5714214 140736011293872 18446744073709551615 4200621 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22665/statm: 20627 20281 179 372 0 20252 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 82508
[startup+1.50093 s]
/proc/loadavg: 2.00 2.02 2.00 3/551 22666
/proc/meminfo: memFree=19913168/32951124 swapFree=53733252/67111528
[pid=22665] ppid=22663 vsize=82508 CPUtime=1.49 cores=1,3,5,7
/proc/22665/stat : 22665 (wbo1.6) R 22663 22665 21496 0 -1 4202496 22072 0 0 0 146 3 0 0 25 0 1 0 822307090 84488192 20281 33554432000 4194304 5714214 140736011293872 18446744073709551615 4322720 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22665/statm: 20627 20281 179 372 0 20252 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 82508
[startup+3.10063 s]
/proc/loadavg: 2.00 2.02 2.00 3/551 22666
/proc/meminfo: memFree=19909696/32951124 swapFree=53733252/67111528
[pid=22665] ppid=22663 vsize=82508 CPUtime=3.09 cores=1,3,5,7
/proc/22665/stat : 22665 (wbo1.6) R 22663 22665 21496 0 -1 4202496 22073 0 0 0 306 3 0 0 25 0 1 0 822307090 84488192 20282 33554432000 4194304 5714214 140736011293872 18446744073709551615 4200608 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22665/statm: 20627 20282 180 372 0 20252 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 82508
[startup+6.30105 s]
/proc/loadavg: 2.00 2.02 2.00 3/551 22666
/proc/meminfo: memFree=19909696/32951124 swapFree=53733252/67111528
[pid=22665] ppid=22663 vsize=82508 CPUtime=6.29 cores=1,3,5,7
/proc/22665/stat : 22665 (wbo1.6) R 22663 22665 21496 0 -1 4202496 22073 0 0 0 625 4 0 0 25 0 1 0 822307090 84488192 20282 33554432000 4194304 5714214 140736011293872 18446744073709551615 4323082 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22665/statm: 20627 20282 180 372 0 20252 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 82508
[startup+12.7009 s]
/proc/loadavg: 2.00 2.02 2.00 3/551 22667
/proc/meminfo: memFree=19904032/32951124 swapFree=53733252/67111528
[pid=22665] ppid=22663 vsize=82508 CPUtime=12.69 cores=1,3,5,7
/proc/22665/stat : 22665 (wbo1.6) R 22663 22665 21496 0 -1 4202496 22073 0 0 0 1265 4 0 0 25 0 1 0 822307090 84488192 20282 33554432000 4194304 5714214 140736011293872 18446744073709551615 4322729 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22665/statm: 20627 20282 180 372 0 20252 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 82508
[startup+25.5006 s]
/proc/loadavg: 2.00 2.02 2.00 3/551 22667
/proc/meminfo: memFree=19892380/32951124 swapFree=53733252/67111528
[pid=22665] ppid=22663 vsize=82508 CPUtime=25.49 cores=1,3,5,7
/proc/22665/stat : 22665 (wbo1.6) R 22663 22665 21496 0 -1 4202496 22073 0 0 0 2544 5 0 0 25 0 1 0 822307090 84488192 20282 33554432000 4194304 5714214 140736011293872 18446744073709551615 4323072 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22665/statm: 20627 20282 180 372 0 20252 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 82508
[startup+51.1009 s]
/proc/loadavg: 2.00 2.02 2.00 3/551 22668
/proc/meminfo: memFree=19873096/32951124 swapFree=53733252/67111528
[pid=22665] ppid=22663 vsize=82508 CPUtime=51.07 cores=1,3,5,7
/proc/22665/stat : 22665 (wbo1.6) R 22663 22665 21496 0 -1 4202496 22073 0 0 0 5100 7 0 0 25 0 1 0 822307090 84488192 20282 33554432000 4194304 5714214 140736011293872 18446744073709551615 4322714 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/22665/statm: 20627 20282 180 372 0 20252 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 82508
[startup+102.301 s]
/proc/loadavg: 2.21 2.06 2.01 3/551 22669
/proc/meminfo: memFree=19834652/32951124 swapFree=53733252/67111528
[pid=22665] ppid=22663 vsize=82508 CPUtime=102.29 cores=1,3,5,7
/proc/22665/stat : 22665 (wbo1.6) R 22663 22665 21496 0 -1 4202496 22073 0 0 0 10218 11 0 0 25 0 1 0 822307090 84488192 20282 33554432000 4194304 5714214 140736011293872 18446744073709551615 4200618 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/22665/statm: 20627 20282 180 372 0 20252 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 82508
[startup+162.301 s]
/proc/loadavg: 2.19 2.08 2.02 3/551 22671
/proc/meminfo: memFree=19787768/32951124 swapFree=53733252/67111528
[pid=22665] ppid=22663 vsize=82508 CPUtime=162.27 cores=1,3,5,7
/proc/22665/stat : 22665 (wbo1.6) R 22663 22665 21496 0 -1 4202496 22073 0 0 0 16210 17 0 0 25 0 1 0 822307090 84488192 20282 33554432000 4194304 5714214 140736011293872 18446744073709551615 4305266 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/22665/statm: 20627 20282 180 372 0 20252 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 82508
[startup+222.321 s]
/proc/loadavg: 2.07 2.06 2.01 3/551 22672
/proc/meminfo: memFree=19740856/32951124 swapFree=53733252/67111528
[pid=22665] ppid=22663 vsize=82508 CPUtime=222.29 cores=1,3,5,7
/proc/22665/stat : 22665 (wbo1.6) R 22663 22665 21496 0 -1 4202496 22077 0 0 0 22208 21 0 0 25 0 1 0 822307090 84488192 20286 33554432000 4194304 5714214 140736011293872 18446744073709551615 4200778 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/22665/statm: 20627 20286 180 372 0 20252 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 82508
[startup+282.301 s]
/proc/loadavg: 2.02 2.05 2.01 3/551 22674
/proc/meminfo: memFree=19695712/32951124 swapFree=53733252/67111528
[pid=22665] ppid=22663 vsize=82508 CPUtime=282.28 cores=1,3,5,7
/proc/22665/stat : 22665 (wbo1.6) R 22663 22665 21496 0 -1 4202496 22077 0 0 0 28202 26 0 0 25 0 1 0 822307090 84488192 20286 33554432000 4194304 5714214 140736011293872 18446744073709551615 4200618 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/22665/statm: 20627 20286 180 372 0 20252 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 82508
[startup+342.301 s]
/proc/loadavg: 2.01 2.04 2.00 3/551 22675
/proc/meminfo: memFree=19652160/32951124 swapFree=53733252/67111528
[pid=22665] ppid=22663 vsize=82508 CPUtime=342.27 cores=1,3,5,7
/proc/22665/stat : 22665 (wbo1.6) R 22663 22665 21496 0 -1 4202496 22077 0 0 0 34197 30 0 0 25 0 1 0 822307090 84488192 20286 33554432000 4194304 5714214 140736011293872 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/22665/statm: 20627 20286 180 372 0 20252 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 82508
[startup+402.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/551 22677
/proc/meminfo: memFree=19610720/32951124 swapFree=53733252/67111528
[pid=22665] ppid=22663 vsize=82508 CPUtime=402.27 cores=1,3,5,7
/proc/22665/stat : 22665 (wbo1.6) R 22663 22665 21496 0 -1 4202496 22078 0 0 0 40192 35 0 0 25 0 1 0 822307090 84488192 20287 33554432000 4194304 5714214 140736011293872 18446744073709551615 4322714 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/22665/statm: 20627 20287 180 372 0 20252 0
Current children cumulated CPU time (s) 402.27
Current children cumulated vsize (KiB) 82508
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/551 22679
/proc/meminfo: memFree=19564212/32951124 swapFree=53733252/67111528
[pid=22665] ppid=22663 vsize=82508 CPUtime=462.28 cores=1,3,5,7
/proc/22665/stat : 22665 (wbo1.6) R 22663 22665 21496 0 -1 4202496 22078 0 0 0 46188 40 0 0 25 0 1 0 822307090 84488192 20287 33554432000 4194304 5714214 140736011293872 18446744073709551615 4319878 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/22665/statm: 20627 20287 180 372 0 20252 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 82508
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/551 22680
/proc/meminfo: memFree=19517068/32951124 swapFree=53733252/67111528
[pid=22665] ppid=22663 vsize=82508 CPUtime=522.28 cores=1,3,5,7
/proc/22665/stat : 22665 (wbo1.6) R 22663 22665 21496 0 -1 4202496 22078 0 0 0 52183 45 0 0 25 0 1 0 822307090 84488192 20287 33554432000 4194304 5714214 140736011293872 18446744073709551615 4322714 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/22665/statm: 20627 20287 180 372 0 20252 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 82508
[startup+582.3 s]
/proc/loadavg: 1.95 2.00 1.99 3/551 22710
/proc/meminfo: memFree=20938772/32951124 swapFree=53733252/67111528
[pid=22665] ppid=22663 vsize=82508 CPUtime=582.28 cores=1,3,5,7
/proc/22665/stat : 22665 (wbo1.6) R 22663 22665 21496 0 -1 4202496 22078 0 0 0 58179 49 0 0 25 0 1 0 822307090 84488192 20287 33554432000 4194304 5714214 140736011293872 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/22665/statm: 20627 20287 180 372 0 20252 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 82508
[startup+642.3 s]
################
# More data... #
################
[startup+882.321 s]
/proc/loadavg: 2.02 2.05 2.01 3/551 22826
/proc/meminfo: memFree=20913140/32951124 swapFree=53733252/67111528
[pid=22665] ppid=22663 vsize=88776 CPUtime=882.31 cores=1,3,5,7
/proc/22665/stat : 22665 (wbo1.6) R 22663 22665 21496 0 -1 4202496 23628 0 0 0 88158 73 0 0 25 0 1 0 822307090 90906624 21837 33554432000 4194304 5714214 140736011293872 18446744073709551615 4200778 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/22665/statm: 22194 21837 180 372 0 21819 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 88776
[startup+942.301 s]
/proc/loadavg: 2.00 2.04 2.00 3/551 22827
/proc/meminfo: memFree=20870720/32951124 swapFree=53733252/67111528
[pid=22665] ppid=22663 vsize=92180 CPUtime=942.3 cores=1,3,5,7
/proc/22665/stat : 22665 (wbo1.6) R 22663 22665 21496 0 -1 4202496 24491 0 0 0 94152 78 0 0 25 0 1 0 822307090 94392320 22700 33554432000 4194304 5714214 140736011293872 18446744073709551615 4323050 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/22665/statm: 23045 22700 180 372 0 22670 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 92180
[startup+1002.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/551 22829
/proc/meminfo: memFree=20834856/32951124 swapFree=53733252/67111528
[pid=22665] ppid=22663 vsize=94408 CPUtime=1002.3 cores=1,3,5,7
/proc/22665/stat : 22665 (wbo1.6) R 22663 22665 21496 0 -1 4202496 24995 0 0 0 100147 83 0 0 25 0 1 0 822307090 96673792 23204 33554432000 4194304 5714214 140736011293872 18446744073709551615 4200634 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/22665/statm: 23602 23204 180 372 0 23227 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 94408
[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/551 22831
/proc/meminfo: memFree=20807188/32951124 swapFree=53733252/67111528
[pid=22665] ppid=22663 vsize=97580 CPUtime=1062.3 cores=1,3,5,7
/proc/22665/stat : 22665 (wbo1.6) R 22663 22665 21496 0 -1 4202496 25791 0 0 0 106143 87 0 0 25 0 1 0 822307090 99921920 24000 33554432000 4194304 5714214 140736011293872 18446744073709551615 4305272 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/22665/statm: 24395 24000 180 372 0 24020 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 97580
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/551 22832
/proc/meminfo: memFree=20775428/32951124 swapFree=53733252/67111528
[pid=22665] ppid=22663 vsize=97844 CPUtime=1122.3 cores=1,3,5,7
/proc/22665/stat : 22665 (wbo1.6) R 22663 22665 21496 0 -1 4202496 25862 0 0 0 112139 91 0 0 25 0 1 0 822307090 100192256 24071 33554432000 4194304 5714214 140736011293872 18446744073709551615 4200288 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/22665/statm: 24461 24071 180 372 0 24086 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 97844
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/551 22834
/proc/meminfo: memFree=20723072/32951124 swapFree=53733252/67111528
[pid=22665] ppid=22663 vsize=100968 CPUtime=1182.3 cores=1,3,5,7
/proc/22665/stat : 22665 (wbo1.6) R 22663 22665 21496 0 -1 4202496 26637 0 0 0 118136 94 0 0 25 0 1 0 822307090 103391232 24846 33554432000 4194304 5714214 140736011293872 18446744073709551615 4200288 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/22665/statm: 25242 24846 180 372 0 24867 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 100968
[startup+1242.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/551 22835
/proc/meminfo: memFree=20678912/32951124 swapFree=53733252/67111528
[pid=22665] ppid=22663 vsize=104136 CPUtime=1242.3 cores=1,3,5,7
/proc/22665/stat : 22665 (wbo1.6) R 22663 22665 21496 0 -1 4202496 27407 0 0 0 124132 98 0 0 25 0 1 0 822307090 106635264 25616 33554432000 4194304 5714214 140736011293872 18446744073709551615 4322714 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/22665/statm: 26034 25616 180 372 0 25659 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 104136
[startup+1302.3 s]
/proc/loadavg: 2.12 2.07 2.02 3/551 22837
/proc/meminfo: memFree=20677904/32951124 swapFree=53733252/67111528
[pid=22665] ppid=22663 vsize=104880 CPUtime=1302.3 cores=1,3,5,7
/proc/22665/stat : 22665 (wbo1.6) R 22663 22665 21496 0 -1 4202496 27602 0 0 0 130128 102 0 0 25 0 1 0 822307090 107397120 25811 33554432000 4194304 5714214 140736011293872 18446744073709551615 4310639 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/22665/statm: 26220 25811 180 372 0 25845 0
Current children cumulated CPU time (s) 1302.3
Current children cumulated vsize (KiB) 104880
[startup+1362.3 s]
/proc/loadavg: 2.08 2.07 2.02 3/551 22839
/proc/meminfo: memFree=20676160/32951124 swapFree=53733252/67111528
[pid=22665] ppid=22663 vsize=107552 CPUtime=1362.31 cores=1,3,5,7
/proc/22665/stat : 22665 (wbo1.6) R 22663 22665 21496 0 -1 4202496 28270 0 0 0 136124 107 0 0 25 0 1 0 822307090 110133248 26479 33554432000 4194304 5714214 140736011293872 18446744073709551615 4200634 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/22665/statm: 26888 26479 180 372 0 26513 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 107552
[startup+1422.3 s]
/proc/loadavg: 2.03 2.05 2.01 3/551 22840
/proc/meminfo: memFree=20674280/32951124 swapFree=53733252/67111528
[pid=22665] ppid=22663 vsize=109564 CPUtime=1422.32 cores=1,3,5,7
/proc/22665/stat : 22665 (wbo1.6) R 22663 22665 21496 0 -1 4202496 28759 0 0 0 142122 110 0 0 25 0 1 0 822307090 112193536 26968 33554432000 4194304 5714214 140736011293872 18446744073709551615 4323016 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/22665/statm: 27391 26968 180 372 0 27016 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 109564
[startup+1482.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/551 22842
/proc/meminfo: memFree=20671032/32951124 swapFree=53733252/67111528
[pid=22665] ppid=22663 vsize=112124 CPUtime=1482.31 cores=1,3,5,7
/proc/22665/stat : 22665 (wbo1.6) R 22663 22665 21496 0 -1 4202496 29401 0 0 0 148116 115 0 0 25 0 1 0 822307090 114814976 27610 33554432000 4194304 5714214 140736011293872 18446744073709551615 4322704 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/22665/statm: 28031 27610 180 372 0 27656 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 112124
[startup+1542.32 s]
/proc/loadavg: 2.00 2.03 2.00 3/551 22843
/proc/meminfo: memFree=20648200/32951124 swapFree=53733252/67111528
[pid=22665] ppid=22663 vsize=114120 CPUtime=1542.33 cores=1,3,5,7
/proc/22665/stat : 22665 (wbo1.6) R 22663 22665 21496 0 -1 4202496 29894 0 0 0 154114 119 0 0 25 0 1 0 822307090 116858880 28103 33554432000 4194304 5714214 140736011293872 18446744073709551615 4323082 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/22665/statm: 28530 28103 180 372 0 28155 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 114120
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/551 22845
/proc/meminfo: memFree=20596360/32951124 swapFree=53733252/67111528
[pid=22665] ppid=22663 vsize=115216 CPUtime=1602.31 cores=1,3,5,7
/proc/22665/stat : 22665 (wbo1.6) R 22663 22665 21496 0 -1 4202496 30136 0 0 0 160108 123 0 0 25 0 1 0 822307090 117981184 28345 33554432000 4194304 5714214 140736011293872 18446744073709551615 4323047 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/22665/statm: 28804 28345 180 372 0 28429 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 115216
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/551 22847
/proc/meminfo: memFree=20531384/32951124 swapFree=53733252/67111528
[pid=22665] ppid=22663 vsize=118348 CPUtime=1662.31 cores=1,3,5,7
/proc/22665/stat : 22665 (wbo1.6) R 22663 22665 21496 0 -1 4202496 30907 0 0 0 166105 126 0 0 25 0 1 0 822307090 121188352 29116 33554432000 4194304 5714214 140736011293872 18446744073709551615 4322714 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/22665/statm: 29587 29116 180 372 0 29212 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 118348
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/551 22848
/proc/meminfo: memFree=20485724/32951124 swapFree=53733252/67111528
[pid=22665] ppid=22663 vsize=118500 CPUtime=1722.32 cores=1,3,5,7
/proc/22665/stat : 22665 (wbo1.6) R 22663 22665 21496 0 -1 4202496 30932 0 0 0 172102 130 0 0 25 0 1 0 822307090 121344000 29141 33554432000 4194304 5714214 140736011293872 18446744073709551615 4322714 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/22665/statm: 29625 29141 180 372 0 29250 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 118500
[startup+1782.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/551 22850
/proc/meminfo: memFree=20447760/32951124 swapFree=53733252/67111528
[pid=22665] ppid=22663 vsize=122672 CPUtime=1782.32 cores=1,3,5,7
/proc/22665/stat : 22665 (wbo1.6) R 22663 22665 21496 0 -1 4202496 31976 0 0 0 178097 135 0 0 25 0 1 0 822307090 125616128 30185 33554432000 4194304 5714214 140736011293872 18446744073709551615 4323023 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/22665/statm: 30668 30185 180 372 0 30293 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 122672
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.04 2.02 2.00 3/551 22850
/proc/meminfo: memFree=20438704/32951124 swapFree=53733252/67111528
[pid=22665] ppid=22663 vsize=122672 CPUtime=1800.04 cores=1,3,5,7
/proc/22665/stat : 22665 (wbo1.6) R 22663 22665 21496 0 -1 4202496 31976 0 0 0 179867 137 0 0 25 0 1 0 822307090 125616128 30185 33554432000 4194304 5714214 140736011293872 18446744073709551615 4323076 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/22665/statm: 30668 30185 180 372 0 30293 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 122672
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800 s]
/proc/loadavg: 2.04 2.02 2.00 3/551 22850
/proc/meminfo: memFree=20438704/32951124 swapFree=53733252/67111528
[pid=22665] ppid=22663 vsize=122672 CPUtime=1800.04 cores=1,3,5,7
/proc/22665/stat : 22665 (wbo1.6) R 22663 22665 21496 0 -1 4202496 31976 0 0 0 179867 137 0 0 25 0 1 0 822307090 125616128 30185 33554432000 4194304 5714214 140736011293872 18446744073709551615 4323076 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/22665/statm: 30668 30185 180 372 0 30293 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 122672
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.03
CPU time (s): 1800.05
CPU user time (s): 1798.67
CPU system time (s): 1.37979
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 122672
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.67
system time used= 1.37979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31976
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= 5
involuntary context switches= 2362
runsolver used 9.75952 second user time and 22.9975 second system time
The end