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-3500464-1307995816/watcher-3500464-1307995816 -o /tmp/evaluation-result-3500464-1307995816/solver-3500464-1307995816 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500464-1307995816.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.86 3.74 3.84 4/174 11918
/proc/meminfo: memFree=28756016/32951132 swapFree=67061148/67111528
[pid=11918] ppid=11916 vsize=134752 CPUtime=0 cores=1,3,5,7
/proc/11918/stat : 11918 (pwbo1.1) S 11916 11918 10842 0 -1 4202496 372 0 0 0 0 0 0 0 24 0 3 0 911181253 137986048 323 33554432000 4194304 5714118 140733705274032 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/11918/statm: 33688 323 181 372 0 33313 0
[pid=11918/tid=11919] ppid=11916 vsize=134752 CPUtime=0 cores=1,3,5,7
/proc/11918/task/11919/stat : 11919 (pwbo1.1) R 11916 11918 10842 0 -1 4202560 36 0 0 0 0 0 0 0 25 0 3 0 911181253 137986048 324 33554432000 4194304 5714118 140733705274032 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=11918/tid=11920] ppid=11916 vsize=134752 CPUtime=0 cores=1,3,5,7
/proc/11918/task/11920/stat : 11920 (pwbo1.1) R 11916 11918 10842 0 -1 4202560 13 0 0 0 0 0 0 0 25 0 3 0 911181253 137986048 324 33554432000 4194304 5714118 140733705274032 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[startup+0.0347741 s]
/proc/loadavg: 2.86 3.74 3.84 4/174 11918
/proc/meminfo: memFree=28756016/32951132 swapFree=67061148/67111528
[pid=11918] ppid=11916 vsize=134752 CPUtime=0.05 cores=1,3,5,7
/proc/11918/stat : 11918 (pwbo1.1) S 11916 11918 10842 0 -1 4202496 532 0 0 0 5 0 0 0 24 0 3 0 911181253 137986048 483 33554432000 4194304 5714118 140733705274032 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/11918/statm: 33688 483 181 372 0 33313 0
[pid=11918/tid=11919] ppid=11916 vsize=134752 CPUtime=0.03 cores=1,3,5,7
/proc/11918/task/11919/stat : 11919 (pwbo1.1) R 11916 11918 10842 0 -1 4202560 133 0 0 0 3 0 0 0 25 0 3 0 911181253 137986048 483 33554432000 4194304 5714118 140733705274032 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=11918/tid=11920] ppid=11916 vsize=134752 CPUtime=0.02 cores=1,3,5,7
/proc/11918/task/11920/stat : 11920 (pwbo1.1) R 11916 11918 10842 0 -1 4202560 75 0 0 0 2 0 0 0 25 0 3 0 911181253 137986048 483 33554432000 4194304 5714118 140733705274032 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 134752
[startup+0.100763 s]
/proc/loadavg: 2.86 3.74 3.84 4/174 11918
/proc/meminfo: memFree=28756016/32951132 swapFree=67061148/67111528
[pid=11918] ppid=11916 vsize=134752 CPUtime=0.19 cores=1,3,5,7
/proc/11918/stat : 11918 (pwbo1.1) S 11916 11918 10842 0 -1 4202496 799 0 0 0 18 1 0 0 24 0 3 0 911181253 137986048 750 33554432000 4194304 5714118 140733705274032 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/11918/statm: 33688 750 181 372 0 33313 0
[pid=11918/tid=11919] ppid=11916 vsize=134752 CPUtime=0.09 cores=1,3,5,7
/proc/11918/task/11919/stat : 11919 (pwbo1.1) R 11916 11918 10842 0 -1 4202560 296 0 0 0 9 0 0 0 25 0 3 0 911181253 137986048 750 33554432000 4194304 5714118 140733705274032 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=11918/tid=11920] ppid=11916 vsize=134752 CPUtime=0.08 cores=1,3,5,7
/proc/11918/task/11920/stat : 11920 (pwbo1.1) R 11916 11918 10842 0 -1 4202560 179 0 0 0 8 0 0 0 25 0 3 0 911181253 137986048 750 33554432000 4194304 5714118 140733705274032 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 134752
[startup+0.30073 s]
/proc/loadavg: 2.86 3.74 3.84 4/174 11918
/proc/meminfo: memFree=28756016/32951132 swapFree=67061148/67111528
[pid=11918] ppid=11916 vsize=134752 CPUtime=0.59 cores=1,3,5,7
/proc/11918/stat : 11918 (pwbo1.1) S 11916 11918 10842 0 -1 4202496 1363 0 0 0 56 3 0 0 24 0 3 0 911181253 137986048 1314 33554432000 4194304 5714118 140733705274032 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/11918/statm: 33688 1314 181 372 0 33313 0
[pid=11918/tid=11919] ppid=11916 vsize=134752 CPUtime=0.29 cores=1,3,5,7
/proc/11918/task/11919/stat : 11919 (pwbo1.1) R 11916 11918 10842 0 -1 4202560 646 0 0 0 28 1 0 0 25 0 3 0 911181253 137986048 1314 33554432000 4194304 5714118 140733705274032 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=11918/tid=11920] ppid=11916 vsize=134752 CPUtime=0.29 cores=1,3,5,7
/proc/11918/task/11920/stat : 11920 (pwbo1.1) R 11916 11918 10842 0 -1 4202560 393 0 0 0 28 1 0 0 25 0 3 0 911181253 137986048 1314 33554432000 4194304 5714118 140733705274032 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 134752
[startup+0.700665 s]
/proc/loadavg: 2.86 3.74 3.84 4/174 11918
/proc/meminfo: memFree=28756016/32951132 swapFree=67061148/67111528
[pid=11918] ppid=11916 vsize=135040 CPUtime=1.38 cores=1,3,5,7
/proc/11918/stat : 11918 (pwbo1.1) S 11916 11918 10842 0 -1 4202496 1850 0 0 0 134 4 0 0 24 0 3 0 911181253 138280960 1801 33554432000 4194304 5714118 140733705274032 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/11918/statm: 33760 1801 181 372 0 33385 0
[pid=11918/tid=11919] ppid=11916 vsize=135040 CPUtime=0.69 cores=1,3,5,7
/proc/11918/task/11919/stat : 11919 (pwbo1.1) R 11916 11918 10842 0 -1 4202560 981 0 0 0 67 2 0 0 25 0 3 0 911181253 138280960 1801 33554432000 4194304 5714118 140733705274032 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=11918/tid=11920] ppid=11916 vsize=135040 CPUtime=0.69 cores=1,3,5,7
/proc/11918/task/11920/stat : 11920 (pwbo1.1) R 11916 11918 10842 0 -1 4202560 545 0 0 0 67 2 0 0 25 0 3 0 911181253 138280960 1801 33554432000 4194304 5714118 140733705274032 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 135040
[startup+1.50053 s]
/proc/loadavg: 2.95 3.74 3.84 5/177 11921
/proc/meminfo: memFree=28740896/32951132 swapFree=67061148/67111528
[pid=11918] ppid=11916 vsize=135040 CPUtime=2.99 cores=1,3,5,7
/proc/11918/stat : 11918 (pwbo1.1) S 11916 11918 10842 0 -1 4202496 2455 0 0 0 290 9 0 0 24 0 3 0 911181253 138280960 2406 33554432000 4194304 5714118 140733705274032 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/11918/statm: 33760 2406 181 372 0 33385 0
[pid=11918/tid=11919] ppid=11916 vsize=135040 CPUtime=1.49 cores=1,3,5,7
/proc/11918/task/11919/stat : 11919 (pwbo1.1) R 11916 11918 10842 0 -1 4202560 1441 0 0 0 145 4 0 0 25 0 3 0 911181253 138280960 2406 33554432000 4194304 5714118 140733705274032 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=11918/tid=11920] ppid=11916 vsize=135040 CPUtime=1.49 cores=1,3,5,7
/proc/11918/task/11920/stat : 11920 (pwbo1.1) R 11916 11918 10842 0 -1 4202560 690 0 0 0 145 4 0 0 25 0 3 0 911181253 138280960 2406 33554432000 4194304 5714118 140733705274032 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 135040
[startup+3.10026 s]
/proc/loadavg: 2.95 3.74 3.84 5/177 11921
/proc/meminfo: memFree=28734200/32951132 swapFree=67061148/67111528
[pid=11918] ppid=11916 vsize=135112 CPUtime=6.19 cores=1,3,5,7
/proc/11918/stat : 11918 (pwbo1.1) S 11916 11918 10842 0 -1 4202496 3524 0 0 0 603 16 0 0 24 0 3 0 911181253 138354688 3475 33554432000 4194304 5714118 140733705274032 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/11918/statm: 33778 3475 182 372 0 33403 0
[pid=11918/tid=11919] ppid=11916 vsize=135112 CPUtime=3.09 cores=1,3,5,7
/proc/11918/task/11919/stat : 11919 (pwbo1.1) R 11916 11918 10842 0 -1 4202560 2333 0 0 0 301 8 0 0 25 0 3 0 911181253 138354688 3475 33554432000 4194304 5714118 140733705274032 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=11918/tid=11920] ppid=11916 vsize=135112 CPUtime=3.09 cores=1,3,5,7
/proc/11918/task/11920/stat : 11920 (pwbo1.1) R 11916 11918 10842 0 -1 4202560 867 0 0 0 302 7 0 0 25 0 3 0 911181253 138354688 3475 33554432000 4194304 5714118 140733705274032 18446744073709551615 4299724 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 135112
[startup+6.30074 s]
/proc/loadavg: 3.12 3.76 3.84 5/177 11921
/proc/meminfo: memFree=28718700/32951132 swapFree=67061148/67111528
[pid=11918] ppid=11916 vsize=135184 CPUtime=12.59 cores=1,3,5,7
/proc/11918/stat : 11918 (pwbo1.1) S 11916 11918 10842 0 -1 4202496 5109 0 0 0 1231 28 0 0 24 0 3 0 911181253 138428416 5060 33554432000 4194304 5714118 140733705274032 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/11918/statm: 33796 5060 182 372 0 33421 0
[pid=11918/tid=11919] ppid=11916 vsize=135184 CPUtime=6.29 cores=1,3,5,7
/proc/11918/task/11919/stat : 11919 (pwbo1.1) R 11916 11918 10842 0 -1 4202560 3770 0 0 0 615 14 0 0 25 0 3 0 911181253 138428416 5060 33554432000 4194304 5714118 140733705274032 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=11918/tid=11920] ppid=11916 vsize=135184 CPUtime=6.29 cores=1,3,5,7
/proc/11918/task/11920/stat : 11920 (pwbo1.1) R 11916 11918 10842 0 -1 4202560 1015 0 0 0 615 14 0 0 25 0 3 0 911181253 138428416 5060 33554432000 4194304 5714118 140733705274032 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 135184
[startup+12.7006 s]
/proc/loadavg: 3.19 3.77 3.84 5/177 11921
/proc/meminfo: memFree=28698028/32951132 swapFree=67061148/67111528
[pid=11918] ppid=11916 vsize=135904 CPUtime=25.39 cores=1,3,5,7
/proc/11918/stat : 11918 (pwbo1.1) S 11916 11918 10842 0 -1 4202496 7954 0 0 0 2486 53 0 0 24 0 3 0 911181253 139165696 7905 33554432000 4194304 5714118 140733705274032 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/11918/statm: 33976 7905 182 372 0 33601 0
[pid=11918/tid=11919] ppid=11916 vsize=135904 CPUtime=12.69 cores=1,3,5,7
/proc/11918/task/11919/stat : 11919 (pwbo1.1) R 11916 11918 10842 0 -1 4202560 6374 0 0 0 1242 27 0 0 25 0 3 0 911181253 139165696 7905 33554432000 4194304 5714118 140733705274032 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=11918/tid=11920] ppid=11916 vsize=135904 CPUtime=12.68 cores=1,3,5,7
/proc/11918/task/11920/stat : 11920 (pwbo1.1) R 11916 11918 10842 0 -1 4202560 1256 0 0 0 1243 25 0 0 25 0 3 0 911181253 139165696 7905 33554432000 4194304 5714118 140733705274032 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 135904
[startup+25.5005 s]
/proc/loadavg: 3.37 3.78 3.84 5/177 11921
/proc/meminfo: memFree=28663192/32951132 swapFree=67061148/67111528
[pid=11918] ppid=11916 vsize=137560 CPUtime=50.99 cores=1,3,5,7
/proc/11918/stat : 11918 (pwbo1.1) S 11916 11918 10842 0 -1 4202496 12679 0 0 0 5004 95 0 0 24 0 3 0 911181253 140861440 12630 33554432000 4194304 5714118 140733705274032 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/11918/statm: 34390 12630 182 372 0 34015 0
[pid=11918/tid=11919] ppid=11916 vsize=137560 CPUtime=25.49 cores=1,3,5,7
/proc/11918/task/11919/stat : 11919 (pwbo1.1) R 11916 11918 10842 0 -1 4202560 10835 0 0 0 2503 46 0 0 25 0 3 0 911181253 140861440 12630 33554432000 4194304 5714118 140733705274032 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=11918/tid=11920] ppid=11916 vsize=137560 CPUtime=25.49 cores=1,3,5,7
/proc/11918/task/11920/stat : 11920 (pwbo1.1) R 11916 11918 10842 0 -1 4202560 1520 0 0 0 2501 48 0 0 25 0 3 0 911181253 140861440 12630 33554432000 4194304 5714118 140733705274032 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 137560
[startup+51.1012 s]
/proc/loadavg: 3.58 3.80 3.85 5/177 11923
/proc/meminfo: memFree=28602908/32951132 swapFree=67061148/67111528
[pid=11918] ppid=11916 vsize=205544 CPUtime=102.18 cores=1,3,5,7
/proc/11918/stat : 11918 (pwbo1.1) S 11916 11918 10842 0 -1 4202496 21399 0 0 0 10042 176 0 0 24 0 3 0 911181253 210477056 21350 33554432000 4194304 5714118 140733705274032 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/11918/statm: 51386 21350 182 372 0 51011 0
[pid=11918/tid=11919] ppid=11916 vsize=205544 CPUtime=51.09 cores=1,3,5,7
/proc/11918/task/11919/stat : 11919 (pwbo1.1) R 11916 11918 10842 0 -1 4202560 19196 0 0 0 5022 87 0 0 25 0 3 0 911181253 210477056 21350 33554432000 4194304 5714118 140733705274032 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=11918/tid=11920] ppid=11916 vsize=205544 CPUtime=51.09 cores=1,3,5,7
/proc/11918/task/11920/stat : 11920 (pwbo1.1) R 11916 11918 10842 0 -1 4202560 1879 0 0 0 5020 89 0 0 25 0 3 0 911181253 210477056 21350 33554432000 4194304 5714118 140733705274032 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 205544
[startup+102.307 s]
/proc/loadavg: 3.82 3.83 3.85 5/177 11923
/proc/meminfo: memFree=28498372/32951132 swapFree=67061148/67111528
[pid=11918] ppid=11916 vsize=207776 CPUtime=204.6 cores=1,3,5,7
/proc/11918/stat : 11918 (pwbo1.1) S 11916 11918 10842 0 -1 4202496 35945 0 0 0 20138 322 0 0 24 0 3 0 911181253 212762624 35892 33554432000 4194304 5714118 140733705274032 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/11918/statm: 51944 35892 182 372 0 51569 0
[pid=11918/tid=11919] ppid=11916 vsize=207776 CPUtime=102.29 cores=1,3,5,7
/proc/11918/task/11919/stat : 11919 (pwbo1.1) R 11916 11918 10842 0 -1 4202560 33411 0 0 0 10066 163 0 0 25 0 3 0 911181253 212762624 35892 33554432000 4194304 5714118 140733705274032 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=11918/tid=11920] ppid=11916 vsize=207776 CPUtime=102.29 cores=1,3,5,7
/proc/11918/task/11920/stat : 11920 (pwbo1.1) R 11916 11918 10842 0 -1 4202560 2210 0 0 0 10071 158 0 0 25 0 3 0 911181253 212762624 35892 33554432000 4194304 5714118 140733705274032 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 204.6
Current children cumulated vsize (KiB) 207776
[startup+162.3 s]
/proc/loadavg: 3.93 3.85 3.86 5/177 11925
/proc/meminfo: memFree=28391104/32951132 swapFree=67061148/67111528
[pid=11918] ppid=11916 vsize=275256 CPUtime=324.58 cores=1,3,5,7
/proc/11918/stat : 11918 (pwbo1.1) S 11916 11918 10842 0 -1 4202496 51011 0 0 0 31987 471 0 0 24 0 3 0 911181253 281862144 50958 33554432000 4194304 5714118 140733705274032 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/11918/statm: 68814 50958 182 372 0 68439 0
[pid=11918/tid=11919] ppid=11916 vsize=275256 CPUtime=162.28 cores=1,3,5,7
/proc/11918/task/11919/stat : 11919 (pwbo1.1) R 11916 11918 10842 0 -1 4202560 48234 0 0 0 15984 244 0 0 25 0 3 0 911181253 281862144 50958 33554432000 4194304 5714118 140733705274032 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=11918/tid=11920] ppid=11916 vsize=275256 CPUtime=162.29 cores=1,3,5,7
/proc/11918/task/11920/stat : 11920 (pwbo1.1) R 11916 11918 10842 0 -1 4202560 2453 0 0 0 16003 226 0 0 25 0 3 0 911181253 281862144 50958 33554432000 4194304 5714118 140733705274032 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 324.58
Current children cumulated vsize (KiB) 275256
[startup+222.3 s]
/proc/loadavg: 3.97 3.88 3.86 5/177 11927
/proc/meminfo: memFree=28291404/32951132 swapFree=67061148/67111528
[pid=11918] ppid=11916 vsize=342876 CPUtime=444.59 cores=1,3,5,7
/proc/11918/stat : 11918 (pwbo1.1) S 11916 11918 10842 0 -1 4202496 65221 0 0 0 43824 635 0 0 24 0 3 0 911181253 351105024 65168 33554432000 4194304 5714118 140733705274032 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/11918/statm: 85719 65168 182 372 0 85344 0
[pid=11918/tid=11919] ppid=11916 vsize=342876 CPUtime=222.28 cores=1,3,5,7
/proc/11918/task/11919/stat : 11919 (pwbo1.1) R 11916 11918 10842 0 -1 4202560 62210 0 0 0 21900 328 0 0 25 0 3 0 911181253 351105024 65168 33554432000 4194304 5714118 140733705274032 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=11918/tid=11920] ppid=11916 vsize=342876 CPUtime=222.29 cores=1,3,5,7
/proc/11918/task/11920/stat : 11920 (pwbo1.1) R 11916 11918 10842 0 -1 4202560 2687 0 0 0 21923 306 0 0 25 0 3 0 911181253 351105024 65168 33554432000 4194304 5714118 140733705274032 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 444.59
Current children cumulated vsize (KiB) 342876
[startup+282.3 s]
/proc/loadavg: 3.99 3.90 3.87 5/177 11929
/proc/meminfo: memFree=28219848/32951132 swapFree=67061148/67111528
[pid=11918] ppid=11916 vsize=410572 CPUtime=564.59 cores=1,3,5,7
/proc/11918/stat : 11918 (pwbo1.1) S 11916 11918 10842 0 -1 4202496 78951 0 0 0 55685 774 0 0 24 0 3 0 911181253 420425728 78898 33554432000 4194304 5714118 140733705274032 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/11918/statm: 102643 78898 182 372 0 102268 0
[pid=11918/tid=11919] ppid=11916 vsize=410572 CPUtime=282.29 cores=1,3,5,7
/proc/11918/task/11919/stat : 11919 (pwbo1.1) R 11916 11918 10842 0 -1 4202560 75699 0 0 0 27826 403 0 0 25 0 3 0 911181253 420425728 78898 33554432000 4194304 5714118 140733705274032 18446744073709551615 4300239 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=11918/tid=11920] ppid=11916 vsize=410572 CPUtime=282.29 cores=1,3,5,7
/proc/11918/task/11920/stat : 11920 (pwbo1.1) R 11916 11918 10842 0 -1 4202560 2928 0 0 0 27858 371 0 0 25 0 3 0 911181253 420425728 78898 33554432000 4194304 5714118 140733705274032 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 564.59
Current children cumulated vsize (KiB) 410572
[startup+342.301 s]
/proc/loadavg: 3.99 3.91 3.87 4/172 11948
/proc/meminfo: memFree=28387632/32951132 swapFree=67061148/67111528
[pid=11918] ppid=11916 vsize=476792 CPUtime=684.59 cores=1,3,5,7
/proc/11918/stat : 11918 (pwbo1.1) S 11916 11918 10842 0 -1 4202496 92438 0 0 0 67544 915 0 0 24 0 3 0 911181253 488235008 92385 33554432000 4194304 5714118 140733705274032 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/11918/statm: 119198 92385 182 372 0 118823 0
[pid=11918/tid=11919] ppid=11916 vsize=476792 CPUtime=342.29 cores=1,3,5,7
/proc/11918/task/11919/stat : 11919 (pwbo1.1) R 11916 11918 10842 0 -1 4202560 89027 0 0 0 33750 479 0 0 25 0 3 0 911181253 488235008 92385 33554432000 4194304 5714118 140733705274032 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=11918/tid=11920] ppid=11916 vsize=476792 CPUtime=342.29 cores=1,3,5,7
/proc/11918/task/11920/stat : 11920 (pwbo1.1) R 11916 11918 10842 0 -1 4202560 3087 0 0 0 33794 435 0 0 25 0 3 0 911181253 488235008 92385 33554432000 4194304 5714118 140733705274032 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 684.59
Current children cumulated vsize (KiB) 476792
[startup+402.301 s]
/proc/loadavg: 4.35 4.04 3.92 4/175 12049
/proc/meminfo: memFree=28206800/32951132 swapFree=67061148/67111528
[pid=11918] ppid=11916 vsize=543372 CPUtime=804.6 cores=1,3,5,7
/proc/11918/stat : 11918 (pwbo1.1) S 11916 11918 10842 0 -1 4202496 104767 0 0 0 79389 1071 0 0 24 0 3 0 911181253 556412928 104709 33554432000 4194304 5714118 140733705274032 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/11918/statm: 135843 104709 182 372 0 135468 0
[pid=11918/tid=11919] ppid=11916 vsize=543372 CPUtime=402.29 cores=1,3,5,7
/proc/11918/task/11919/stat : 11919 (pwbo1.1) R 11916 11918 10842 0 -1 4202560 101194 0 0 0 39661 568 0 0 25 0 3 0 911181253 556412928 104709 33554432000 4194304 5714118 140733705274032 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=11918/tid=11920] ppid=11916 vsize=543372 CPUtime=402.3 cores=1,3,5,7
/proc/11918/task/11920/stat : 11920 (pwbo1.1) R 11916 11918 10842 0 -1 4202560 3249 0 0 0 39728 502 0 0 25 0 3 0 911181253 556412928 104709 33554432000 4194304 5714118 140733705274032 18446744073709551615 4299720 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 804.6
Current children cumulated vsize (KiB) 543372
[startup+462.301 s]
/proc/loadavg: 4.18 4.06 3.93 5/177 12173
/proc/meminfo: memFree=28057120/32951132 swapFree=67061148/67111528
[pid=11918] ppid=11916 vsize=544236 CPUtime=924.6 cores=1,3,5,7
/proc/11918/stat : 11918 (pwbo1.1) S 11916 11918 10842 0 -1 4202496 116213 0 0 0 91236 1224 0 0 24 0 3 0 911181253 557297664 116155 33554432000 4194304 5714118 140733705274032 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/11918/statm: 136059 116155 182 372 0 135684 0
[pid=11918/tid=11919] ppid=11916 vsize=544236 CPUtime=462.29 cores=1,3,5,7
/proc/11918/task/11919/stat : 11919 (pwbo1.1) R 11916 11918 10842 0 -1 4202560 112559 0 0 0 45584 645 0 0 25 0 3 0 911181253 557297664 116155 33554432000 4194304 5714118 140733705274032 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=11918/tid=11920] ppid=11916 vsize=544236 CPUtime=462.29 cores=1,3,5,7
/proc/11918/task/11920/stat : 11920 (pwbo1.1) R 11916 11918 10842 0 -1 4202560 3330 0 0 0 45651 578 0 0 25 0 3 0 911181253 557297664 116155 33554432000 4194304 5714118 140733705274032 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 924.6
Current children cumulated vsize (KiB) 544236
[startup+522.301 s]
/proc/loadavg: 4.06 4.05 3.93 5/177 12215
/proc/meminfo: memFree=28091248/32951132 swapFree=67061148/67111528
[pid=11918] ppid=11916 vsize=610312 CPUtime=1044.6 cores=1,3,5,7
/proc/11918/stat : 11918 (pwbo1.1) S 11916 11918 10842 0 -1 4202496 128049 0 0 0 103076 1384 0 0 24 0 3 0 911181253 624959488 127991 33554432000 4194304 5714118 140733705274032 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/11918/statm: 152578 127991 182 372 0 152203 0
[pid=11918/tid=11919] ppid=11916 vsize=610312 CPUtime=522.3 cores=1,3,5,7
/proc/11918/task/11919/stat : 11919 (pwbo1.1) R 11916 11918 10842 0 -1 4202560 124299 0 0 0 51497 733 0 0 25 0 3 0 911181253 624959488 127991 33554432000 4194304 5714118 140733705274032 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=11918/tid=11920] ppid=11916 vsize=610312 CPUtime=522.3 cores=1,3,5,7
/proc/11918/task/11920/stat : 11920 (pwbo1.1) R 11916 11918 10842 0 -1 4202560 3426 0 0 0 51579 651 0 0 25 0 3 0 911181253 624959488 127991 33554432000 4194304 5714118 140733705274032 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1044.6
Current children cumulated vsize (KiB) 610312
[startup+582.301 s]
/proc/loadavg: 4.12 4.08 3.95 5/177 12377
/proc/meminfo: memFree=27962288/32951132 swapFree=67061148/67111528
[pid=11918] ppid=11916 vsize=676960 CPUtime=1164.6 cores=1,3,5,7
/proc/11918/stat : 11918 (pwbo1.1) S 11916 11918 10842 0 -1 4202496 139359 0 0 0 114924 1536 0 0 24 0 3 0 911181253 693207040 139301 33554432000 4194304 5714118 140733705274032 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/11918/statm: 169240 139301 182 372 0 168865 0
[pid=11918/tid=11919] ppid=11916 vsize=676960 CPUtime=582.3 cores=1,3,5,7
/proc/11918/task/11919/stat : 11919 (pwbo1.1) R 11916 11918 10842 0 -1 4202560 135451 0 0 0 57420 810 0 0 25 0 3 0 911181253 693207040 139301 33554432000 4194304 5714118 140733705274032 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=11918/tid=11920] ppid=11916 vsize=676960 CPUtime=582.3 cores=1,3,5,7
/proc/11918/task/11920/stat : 11920 (pwbo1.1) R 11916 11918 10842 0 -1 4202560 3584 0 0 0 57504 726 0 0 25 0 3 0 911181253 693207040 139301 33554432000 4194304 5714118 140733705274032 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1164.6
Current children cumulated vsize (KiB) 676960
[startup+642.301 s]
/proc/loadavg: 3.97 4.04 3.94 5/177 12537
/proc/meminfo: memFree=28046740/32951132 swapFree=67061148/67111528
[pid=11918] ppid=11916 vsize=677500 CPUtime=1284.61 cores=1,3,5,7
/proc/11918/stat : 11918 (pwbo1.1) S 11916 11918 10842 0 -1 4202496 150188 0 0 0 126779 1682 0 0 24 0 3 0 911181253 693760000 150130 33554432000 4194304 5714118 140733705274032 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/11918/statm: 169375 150130 182 372 0 169000 0
[pid=11918/tid=11919] ppid=11916 vsize=677500 CPUtime=642.3 cores=1,3,5,7
/proc/11918/task/11919/stat : 11919 (pwbo1.1) R 11916 11918 10842 0 -1 4202560 146191 0 0 0 63344 886 0 0 25 0 3 0 911181253 693760000 150130 33554432000 4194304 5714118 140733705274032 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=11918/tid=11920] ppid=11916 vsize=677500 CPUtime=642.3 cores=1,3,5,7
/proc/11918/task/11920/stat : 11920 (pwbo1.1) R 11916 11918 10842 0 -1 4202560 3673 0 0 0 63435 795 0 0 25 0 3 0 911181253 693760000 150130 33554432000 4194304 5714118 140733705274032 18446744073709551615 4299904 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1284.61
Current children cumulated vsize (KiB) 677500
[startup+702.3 s]
/proc/loadavg: 3.99 4.03 3.94 5/177 12539
/proc/meminfo: memFree=27921728/32951132 swapFree=67061148/67111528
[pid=11918] ppid=11916 vsize=743468 CPUtime=1404.6 cores=1,3,5,7
/proc/11918/stat : 11918 (pwbo1.1) S 11916 11918 10842 0 -1 4202496 161619 0 0 0 138642 1818 0 0 24 0 3 0 911181253 761311232 161561 33554432000 4194304 5714118 140733705274032 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/11918/statm: 185867 161561 182 372 0 185492 0
[pid=11918/tid=11919] ppid=11916 vsize=743468 CPUtime=702.29 cores=1,3,5,7
/proc/11918/task/11919/stat : 11919 (pwbo1.1) R 11916 11918 10842 0 -1 4202560 157493 0 0 0 69271 958 0 0 25 0 3 0 911181253 761311232 161561 33554432000 4194304 5714118 140733705274032 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=11918/tid=11920] ppid=11916 vsize=743468 CPUtime=702.3 cores=1,3,5,7
/proc/11918/task/11920/stat : 11920 (pwbo1.1) R 11916 11918 10842 0 -1 4202560 3802 0 0 0 69370 860 0 0 25 0 3 0 911181253 761311232 161561 33554432000 4194304 5714118 140733705274032 18446744073709551615 4319192 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1404.6
Current children cumulated vsize (KiB) 743468
[startup+762.306 s]
/proc/loadavg: 3.91 4.01 3.94 4/175 12699
/proc/meminfo: memFree=28004944/32951132 swapFree=67061148/67111528
[pid=11918] ppid=11916 vsize=809864 CPUtime=1524.62 cores=1,3,5,7
/proc/11918/stat : 11918 (pwbo1.1) S 11916 11918 10842 0 -1 4202496 172820 0 0 0 150510 1952 0 0 24 0 3 0 911181253 829300736 172762 33554432000 4194304 5714118 140733705274032 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/11918/statm: 202466 172762 182 372 0 202091 0
[pid=11918/tid=11919] ppid=11916 vsize=809864 CPUtime=762.3 cores=1,3,5,7
/proc/11918/task/11919/stat : 11919 (pwbo1.1) R 11916 11918 10842 0 -1 4202560 168581 0 0 0 75204 1026 0 0 25 0 3 0 911181253 829300736 172762 33554432000 4194304 5714118 140733705274032 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=11918/tid=11920] ppid=11916 vsize=809864 CPUtime=762.31 cores=1,3,5,7
/proc/11918/task/11920/stat : 11920 (pwbo1.1) R 11916 11918 10842 0 -1 4202560 3915 0 0 0 75306 925 0 0 25 0 3 0 911181253 829300736 172762 33554432000 4194304 5714118 140733705274032 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1524.62
Current children cumulated vsize (KiB) 809864
[startup+822.3 s]
/proc/loadavg: 4.03 4.03 3.95 5/177 12703
/proc/meminfo: memFree=27737848/32951132 swapFree=67061148/67111528
[pid=11918] ppid=11916 vsize=810400 CPUtime=1644.6 cores=1,3,5,7
/proc/11918/stat : 11918 (pwbo1.1) S 11916 11918 10842 0 -1 4202496 183252 0 0 0 162352 2108 0 0 24 0 3 0 911181253 829849600 183194 33554432000 4194304 5714118 140733705274032 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/11918/statm: 202600 183194 182 372 0 202225 0
[pid=11918/tid=11919] ppid=11916 vsize=810400 CPUtime=822.3 cores=1,3,5,7
/proc/11918/task/11919/stat : 11919 (pwbo1.1) R 11916 11918 10842 0 -1 4202560 178988 0 0 0 81124 1106 0 0 25 0 3 0 911181253 829849600 183194 33554432000 4194304 5714118 140733705274032 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=11918/tid=11920] ppid=11916 vsize=810400 CPUtime=822.3 cores=1,3,5,7
/proc/11918/task/11920/stat : 11920 (pwbo1.1) R 11916 11918 10842 0 -1 4202560 3940 0 0 0 81228 1002 0 0 25 0 3 0 911181253 829849600 183194 33554432000 4194304 5714118 140733705274032 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1644.6
Current children cumulated vsize (KiB) 810400
[startup+882.301 s]
/proc/loadavg: 4.01 4.02 3.95 5/177 12705
/proc/meminfo: memFree=27561644/32951132 swapFree=67061148/67111528
[pid=11918] ppid=11916 vsize=876256 CPUtime=1764.62 cores=1,3,5,7
/proc/11918/stat : 11918 (pwbo1.1) S 11916 11918 10842 0 -1 4202496 194548 0 0 0 174196 2266 0 0 24 0 3 0 911181253 897286144 194490 33554432000 4194304 5714118 140733705274032 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/11918/statm: 219064 194490 182 372 0 218689 0
[pid=11918/tid=11919] ppid=11916 vsize=876256 CPUtime=882.3 cores=1,3,5,7
/proc/11918/task/11919/stat : 11919 (pwbo1.1) R 11916 11918 10842 0 -1 4202560 190203 0 0 0 87041 1189 0 0 25 0 3 0 911181253 897286144 194490 33554432000 4194304 5714118 140733705274032 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=11918/tid=11920] ppid=11916 vsize=876256 CPUtime=882.3 cores=1,3,5,7
/proc/11918/task/11920/stat : 11920 (pwbo1.1) R 11916 11918 10842 0 -1 4202560 4021 0 0 0 87154 1076 0 0 25 0 3 0 911181253 897286144 194490 33554432000 4194304 5714118 140733705274032 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1764.62
Current children cumulated vsize (KiB) 876256
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.001 s]
/proc/loadavg: 4.01 4.02 3.95 5/177 12705
/proc/meminfo: memFree=27528408/32951132 swapFree=67061148/67111528
[pid=11918] ppid=11916 vsize=876416 CPUtime=1800.02 cores=1,3,5,7
/proc/11918/stat : 11918 (pwbo1.1) S 11916 11918 10842 0 -1 4202496 197676 0 0 0 177694 2308 0 0 24 0 3 0 911181253 897449984 197618 33554432000 4194304 5714118 140733705274032 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/11918/statm: 219104 197618 182 372 0 218729 0
[pid=11918/tid=11919] ppid=11916 vsize=876416 CPUtime=900.01 cores=1,3,5,7
/proc/11918/task/11919/stat : 11919 (pwbo1.1) R 11916 11918 10842 0 -1 4202560 193321 0 0 0 88789 1212 0 0 25 0 3 0 911181253 897449984 197618 33554432000 4194304 5714118 140733705274032 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=11918/tid=11920] ppid=11916 vsize=876416 CPUtime=900.01 cores=1,3,5,7
/proc/11918/task/11920/stat : 11920 (pwbo1.1) R 11916 11918 10842 0 -1 4202560 4031 0 0 0 88905 1096 0 0 25 0 3 0 911181253 897449984 197618 33554432000 4194304 5714118 140733705274032 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 876416
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.043
CPU time (s): 1800.08
CPU user time (s): 1776.96
CPU system time (s): 23.1155
CPU usage (%): 199.999
Max. virtual memory (cumulated for all children) (KiB): 876416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1776.96
system time used= 23.1155
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 197681
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= 26
involuntary context switches= 2134
runsolver used 1.18682 second user time and 2.97555 second system time
The end