runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4086472-1465252304/watcher-4086472-1465252304 -o /tmp/evaluation-result-4086472-1465252304/solver-4086472-1465252304 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node133-1465223432-16632 --watchdog 1960 open-wbo HOME/instance-4086472-1465252304.opb
pid=22711
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: 1.92 1.98 1.99 3/178 22714
/proc/meminfo: memFree=31991976/32872528 swapFree=8144/8144
[pid=22714] ppid=22711 vsize=4720 CPUtime=0 cores=1,3,5,7
/proc/22714/stat : 22714 (open-wbo) R 22711 22714 16615 0 -1 4202496 915 0 0 0 0 0 0 0 20 0 1 0 107162450 4833280 790 33554432000 4194304 6059633 140734171557600 140736944311912 5043379 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/22714/statm: 1180 790 696 456 0 154 0
[startup+0.100162 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 22714
/proc/meminfo: memFree=31991976/32872528 swapFree=8144/8144
[pid=22714] ppid=22711 vsize=6808 CPUtime=0.09 cores=1,3,5,7
/proc/22714/stat : 22714 (open-wbo) R 22711 22714 16615 0 -1 4202496 1384 0 0 0 9 0 0 0 20 0 1 0 107162450 6971392 1259 33554432000 4194304 6059633 140734171557600 140736944311912 5043379 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/22714/statm: 1702 1259 696 456 0 676 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6808
[startup+0.200284 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 22714
/proc/meminfo: memFree=31991976/32872528 swapFree=8144/8144
[pid=22714] ppid=22711 vsize=9196 CPUtime=0.19 cores=1,3,5,7
/proc/22714/stat : 22714 (open-wbo) R 22711 22714 16615 0 -1 4202496 1900 0 0 0 19 0 0 0 20 0 1 0 107162450 9416704 1775 33554432000 4194304 6059633 140734171557600 140734171555400 5043379 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/22714/statm: 2299 1775 696 456 0 1273 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 9196
[startup+0.300259 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 22714
/proc/meminfo: memFree=31991976/32872528 swapFree=8144/8144
[pid=22714] ppid=22711 vsize=17008 CPUtime=0.28 cores=1,3,5,7
/proc/22714/stat : 22714 (open-wbo) R 22711 22714 16615 0 -1 4202496 3399 0 0 0 28 0 0 0 20 0 1 0 107162450 17416192 3207 33554432000 4194304 6059633 140734171557600 140734171555400 4277811 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/22714/statm: 4252 3207 182 456 0 3788 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 17008
[startup+0.700237 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 22714
/proc/meminfo: memFree=31991976/32872528 swapFree=8144/8144
[pid=22714] ppid=22711 vsize=17648 CPUtime=0.69 cores=1,3,5,7
/proc/22714/stat : 22714 (open-wbo) R 22711 22714 16615 0 -1 4202496 3701 0 0 0 68 1 0 0 20 0 1 0 107162450 18071552 3503 33554432000 4194304 6059633 140734171557600 140734171555400 5268791 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/22714/statm: 4412 3503 185 456 0 3948 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17648
[startup+1.50024 s]
/proc/loadavg: 1.92 1.98 1.99 3/179 22715
/proc/meminfo: memFree=31977568/32872528 swapFree=8144/8144
[pid=22714] ppid=22711 vsize=18472 CPUtime=1.49 cores=1,3,5,7
/proc/22714/stat : 22714 (open-wbo) R 22711 22714 16615 0 -1 4202496 4944 0 0 0 148 1 0 0 20 0 1 0 107162450 18915328 3837 33554432000 4194304 6059633 140734171557600 140734171555976 4277781 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/22714/statm: 4618 3837 187 456 0 4154 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18472
[startup+3.10024 s]
/proc/loadavg: 1.92 1.98 1.99 3/179 22715
/proc/meminfo: memFree=31975644/32872528 swapFree=8144/8144
[pid=22714] ppid=22711 vsize=19356 CPUtime=3.09 cores=1,3,5,7
/proc/22714/stat : 22714 (open-wbo) R 22711 22714 16615 0 -1 4202496 5938 0 0 0 308 1 0 0 20 0 1 0 107162450 19820544 4305 33554432000 4194304 6059633 140734171557600 140734171556696 4278520 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/22714/statm: 4839 4305 187 456 0 4375 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19356
[startup+6.30023 s]
/proc/loadavg: 1.93 1.98 1.99 3/179 22715
/proc/meminfo: memFree=31969412/32872528 swapFree=8144/8144
[pid=22714] ppid=22711 vsize=30884 CPUtime=6.29 cores=1,3,5,7
/proc/22714/stat : 22714 (open-wbo) R 22711 22714 16615 0 -1 4202496 6923 0 0 0 627 2 0 0 20 0 1 0 107162450 31625216 6531 33554432000 4194304 6059633 140734171557600 140734171556088 4278373 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/22714/statm: 7721 6531 187 456 0 7257 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 30884
[startup+12.7002 s]
/proc/loadavg: 1.93 1.98 1.99 3/179 22715
/proc/meminfo: memFree=31962420/32872528 swapFree=8144/8144
[pid=22714] ppid=22711 vsize=30884 CPUtime=12.69 cores=1,3,5,7
/proc/22714/stat : 22714 (open-wbo) R 22711 22714 16615 0 -1 4202496 7099 0 0 0 1267 2 0 0 20 0 1 0 107162450 31625216 7215 33554432000 4194304 6059633 140734171557600 140734171556696 4277900 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/22714/statm: 7721 7215 187 456 0 7257 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 30884
[startup+25.5004 s]
/proc/loadavg: 1.95 1.98 1.99 3/179 22715
/proc/meminfo: memFree=31958472/32872528 swapFree=8144/8144
[pid=22714] ppid=22711 vsize=35304 CPUtime=25.49 cores=1,3,5,7
/proc/22714/stat : 22714 (open-wbo) R 22711 22714 16615 0 -1 4202496 7774 0 0 0 2547 2 0 0 20 0 1 0 107162450 36151296 8305 33554432000 4194304 6059633 140734171557600 140734171556696 4261780 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/22714/statm: 8826 8305 187 456 0 8362 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 35304
[startup+51.1004 s]
/proc/loadavg: 1.96 1.98 1.99 3/179 22715
/proc/meminfo: memFree=31937008/32872528 swapFree=8144/8144
[pid=22714] ppid=22711 vsize=63140 CPUtime=51.08 cores=1,3,5,7
/proc/22714/stat : 22714 (open-wbo) R 22711 22714 16615 0 -1 4202496 9214 0 0 0 5106 2 0 0 20 0 1 0 107162450 64655360 11672 33554432000 4194304 6059633 140734171557600 140734171556696 4246322 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/22714/statm: 15785 11672 187 456 0 15321 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 63140
[startup+102.3 s]
/proc/loadavg: 1.98 1.98 1.99 3/179 22716
/proc/meminfo: memFree=31912840/32872528 swapFree=8144/8144
[pid=22714] ppid=22711 vsize=63140 CPUtime=102.28 cores=1,3,5,7
/proc/22714/stat : 22714 (open-wbo) R 22711 22714 16615 0 -1 4202496 9231 0 0 0 10225 3 0 0 20 0 1 0 107162450 64655360 15269 33554432000 4194304 6059633 140734171557600 140734171556696 4277864 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/22714/statm: 15785 15269 187 456 0 15321 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 63140
[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 22717
/proc/meminfo: memFree=31892104/32872528 swapFree=8144/8144
[pid=22714] ppid=22711 vsize=81996 CPUtime=162.26 cores=1,3,5,7
/proc/22714/stat : 22714 (open-wbo) R 22711 22714 16615 0 -1 4202496 10374 0 0 0 16222 4 0 0 20 0 1 0 107162450 83963904 19978 33554432000 4194304 6059633 140734171557600 140734171556088 4277847 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/22714/statm: 20499 19978 188 456 0 20035 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 81996
[startup+222.307 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 22718
/proc/meminfo: memFree=31868652/32872528 swapFree=8144/8144
[pid=22714] ppid=22711 vsize=81996 CPUtime=222.26 cores=1,3,5,7
/proc/22714/stat : 22714 (open-wbo) R 22711 22714 16615 0 -1 4202496 10378 0 0 0 22222 4 0 0 20 0 1 0 107162450 83963904 20025 33554432000 4194304 6059633 140734171557600 140734171556696 4278360 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/22714/statm: 20499 20025 188 456 0 20035 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 81996
[startup+282.3 s]
/proc/loadavg: 2.07 2.00 2.00 3/179 22719
/proc/meminfo: memFree=31868216/32872528 swapFree=8144/8144
[pid=22714] ppid=22711 vsize=82368 CPUtime=282.24 cores=1,3,5,7
/proc/22714/stat : 22714 (open-wbo) R 22711 22714 16615 0 -1 4202496 10378 0 0 0 28220 4 0 0 20 0 1 0 107162450 84344832 20025 33554432000 4194304 6059633 140734171557600 140734171556696 4278352 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/22714/statm: 20592 20025 188 456 0 20128 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 82368
[startup+342.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/179 22721
/proc/meminfo: memFree=31819252/32872528 swapFree=8144/8144
[pid=22714] ppid=22711 vsize=115076 CPUtime=342.22 cores=1,3,5,7
/proc/22714/stat : 22714 (open-wbo) R 22711 22714 16615 0 -1 4202496 11299 0 0 0 34218 4 0 0 20 0 1 0 107162450 117837824 23980 33554432000 4194304 6059633 140734171557600 140734171556088 4277570 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/22714/statm: 28769 23980 188 456 0 28305 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 115076
[startup+402.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 22722
/proc/meminfo: memFree=31851584/32872528 swapFree=8144/8144
[pid=22714] ppid=22711 vsize=115076 CPUtime=402.22 cores=1,3,5,7
/proc/22714/stat : 22714 (open-wbo) R 22711 22714 16615 0 -1 4202496 11444 0 0 0 40216 6 0 0 20 0 1 0 107162450 117837824 23983 33554432000 4194304 6059633 140734171557600 140734171556424 4277921 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/22714/statm: 28769 23983 188 456 0 28305 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 115076
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22723
/proc/meminfo: memFree=31818688/32872528 swapFree=8144/8144
[pid=22714] ppid=22711 vsize=164396 CPUtime=462.21 cores=1,3,5,7
/proc/22714/stat : 22714 (open-wbo) R 22711 22714 16615 0 -1 4202496 11657 0 0 0 46214 7 0 0 20 0 1 0 107162450 168341504 32230 33554432000 4194304 6059633 140734171557600 140734171556136 4278031 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/22714/statm: 41099 32230 188 456 0 40635 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 164396
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 22727
/proc/meminfo: memFree=31851856/32872528 swapFree=8144/8144
[pid=22714] ppid=22711 vsize=115076 CPUtime=522.2 cores=1,3,5,7
/proc/22714/stat : 22714 (open-wbo) R 22711 22714 16615 0 -1 4202496 11803 0 0 0 52212 8 0 0 20 0 1 0 107162450 117837824 23984 33554432000 4194304 6059633 140734171557600 140734171556424 4277900 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/22714/statm: 28769 23984 188 456 0 28305 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 115076
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22728
/proc/meminfo: memFree=31812452/32872528 swapFree=8144/8144
[pid=22714] ppid=22711 vsize=115076 CPUtime=582.19 cores=1,3,5,7
/proc/22714/stat : 22714 (open-wbo) R 22711 22714 16615 0 -1 4202496 11949 0 0 0 58209 10 0 0 20 0 1 0 107162450 117837824 23984 33554432000 4194304 6059633 140734171557600 140734171556424 4277549 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/22714/statm: 28769 23984 188 456 0 28305 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 115076
################
# More data... #
################
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22736
/proc/meminfo: memFree=31760160/32872528 swapFree=8144/8144
[pid=22714] ppid=22711 vsize=164396 CPUtime=942.14 cores=1,3,5,7
/proc/22714/stat : 22714 (open-wbo) R 22711 22714 16615 0 -1 4202496 12856 0 0 0 94197 17 0 0 20 0 1 0 107162450 168341504 32746 33554432000 4194304 6059633 140734171557600 140734171556136 4278338 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/22714/statm: 41099 32746 188 456 0 40635 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 164396
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22737
/proc/meminfo: memFree=31835560/32872528 swapFree=8144/8144
[pid=22714] ppid=22711 vsize=115076 CPUtime=1002.13 cores=1,3,5,7
/proc/22714/stat : 22714 (open-wbo) R 22711 22714 16615 0 -1 4202496 13130 0 0 0 100195 18 0 0 20 0 1 0 107162450 117837824 23987 33554432000 4194304 6059633 140734171557600 140734171556424 4277549 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/22714/statm: 28769 23987 188 456 0 28305 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 115076
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22738
/proc/meminfo: memFree=31759716/32872528 swapFree=8144/8144
[pid=22714] ppid=22711 vsize=164396 CPUtime=1062.12 cores=1,3,5,7
/proc/22714/stat : 22714 (open-wbo) R 22711 22714 16615 0 -1 4202496 13283 0 0 0 106192 20 0 0 20 0 1 0 107162450 168341504 34282 33554432000 4194304 6059633 140734171557600 140734171556136 4277832 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/22714/statm: 41099 34282 188 456 0 40635 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 164396
[startup+1122.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/180 22742
/proc/meminfo: memFree=31786000/32872528 swapFree=8144/8144
[pid=22714] ppid=22711 vsize=115076 CPUtime=1122.11 cores=1,3,5,7
/proc/22714/stat : 22714 (open-wbo) R 22711 22714 16615 0 -1 4202496 14002 0 0 0 112190 21 0 0 20 0 1 0 107162450 117837824 23987 33554432000 4194304 6059633 140734171557600 140734171556424 4255169 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/22714/statm: 28769 23987 188 456 0 28305 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 115076
[startup+1182.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 22743
/proc/meminfo: memFree=31794540/32872528 swapFree=8144/8144
[pid=22714] ppid=22711 vsize=164396 CPUtime=1182.1 cores=1,3,5,7
/proc/22714/stat : 22714 (open-wbo) R 22711 22714 16615 0 -1 4202496 14749 0 0 0 118186 24 0 0 20 0 1 0 107162450 168341504 34794 33554432000 4194304 6059633 140734171557600 140734171556136 4278425 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/22714/statm: 41099 34794 188 456 0 40635 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 164396
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22745
/proc/meminfo: memFree=31742812/32872528 swapFree=8144/8144
[pid=22714] ppid=22711 vsize=195216 CPUtime=1242.1 cores=1,3,5,7
/proc/22714/stat : 22714 (open-wbo) R 22711 22714 16615 0 -1 4202496 16021 0 0 0 124183 27 0 0 20 0 1 0 107162450 199901184 38445 33554432000 4194304 6059633 140734171557600 140734171556392 4277900 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/22714/statm: 48804 38445 188 456 0 48340 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 195216
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22746
/proc/meminfo: memFree=31791816/32872528 swapFree=8144/8144
[pid=22714] ppid=22711 vsize=115076 CPUtime=1302.08 cores=1,3,5,7
/proc/22714/stat : 22714 (open-wbo) R 22711 22714 16615 0 -1 4202496 16704 0 0 0 130179 29 0 0 20 0 1 0 107162450 117837824 23990 33554432000 4194304 6059633 140734171557600 140734171556424 4277900 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/22714/statm: 28769 23990 188 456 0 28305 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 115076
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22747
/proc/meminfo: memFree=31748900/32872528 swapFree=8144/8144
[pid=22714] ppid=22711 vsize=164396 CPUtime=1362.07 cores=1,3,5,7
/proc/22714/stat : 22714 (open-wbo) R 22711 22714 16615 0 -1 4202496 17447 0 0 0 136176 31 0 0 20 0 1 0 107162450 168341504 32237 33554432000 4194304 6059633 140734171557600 140734171556136 4277847 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/22714/statm: 41099 32237 188 456 0 40635 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 164396
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22748
/proc/meminfo: memFree=31740236/32872528 swapFree=8144/8144
[pid=22714] ppid=22711 vsize=164396 CPUtime=1422.07 cores=1,3,5,7
/proc/22714/stat : 22714 (open-wbo) R 22711 22714 16615 0 -1 4202496 18124 0 0 0 142174 33 0 0 20 0 1 0 107162450 168341504 35309 33554432000 4194304 6059633 140734171557600 140734171556136 4278373 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/22714/statm: 41099 35309 188 456 0 40635 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 164396
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22749
/proc/meminfo: memFree=31721524/32872528 swapFree=8144/8144
[pid=22714] ppid=22711 vsize=195216 CPUtime=1482.05 cores=1,3,5,7
/proc/22714/stat : 22714 (open-wbo) R 22711 22714 16615 0 -1 4202496 19397 0 0 0 148169 36 0 0 20 0 1 0 107162450 199901184 37936 33554432000 4194304 6059633 140734171557600 140734171556392 4277900 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/22714/statm: 48804 37936 188 456 0 48340 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 195216
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22751
/proc/meminfo: memFree=31834964/32872528 swapFree=8144/8144
[pid=22714] ppid=22711 vsize=115076 CPUtime=1542.05 cores=1,3,5,7
/proc/22714/stat : 22714 (open-wbo) R 22711 22714 16615 0 -1 4202496 20073 0 0 0 154167 38 0 0 20 0 1 0 107162450 117837824 23990 33554432000 4194304 6059633 140734171557600 140734171556424 4261780 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/22714/statm: 28769 23990 188 456 0 28305 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 115076
[startup+1602.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 22752
/proc/meminfo: memFree=31775148/32872528 swapFree=8144/8144
[pid=22714] ppid=22711 vsize=115076 CPUtime=1602.04 cores=1,3,5,7
/proc/22714/stat : 22714 (open-wbo) R 22711 22714 16615 0 -1 4202496 20750 0 0 0 160164 40 0 0 20 0 1 0 107162450 117837824 23990 33554432000 4194304 6059633 140734171557600 140734171556424 4277832 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/22714/statm: 28769 23990 188 456 0 28305 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 115076
[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 22753
/proc/meminfo: memFree=31746500/32872528 swapFree=8144/8144
[pid=22714] ppid=22711 vsize=164396 CPUtime=1662.03 cores=1,3,5,7
/proc/22714/stat : 22714 (open-wbo) R 22711 22714 16615 0 -1 4202496 21493 0 0 0 166160 43 0 0 20 0 1 0 107162450 168341504 31725 33554432000 4194304 6059633 140734171557600 140734171556136 4261780 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/22714/statm: 41099 31725 188 456 0 40635 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 164396
[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/180 22803
/proc/meminfo: memFree=31878364/32872528 swapFree=8144/8144
[pid=22714] ppid=22711 vsize=164396 CPUtime=1722.01 cores=1,3,5,7
/proc/22714/stat : 22714 (open-wbo) R 22711 22714 16615 0 -1 4202496 22177 0 0 0 172156 45 0 0 20 0 1 0 107162450 168341504 32749 33554432000 4194304 6059633 140734171557600 140734171556136 4277847 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/22714/statm: 41099 32749 188 456 0 40635 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 164396
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 22827
/proc/meminfo: memFree=31862188/32872528 swapFree=8144/8144
[pid=22714] ppid=22711 vsize=164396 CPUtime=1782.01 cores=1,3,5,7
/proc/22714/stat : 22714 (open-wbo) R 22711 22714 16615 0 -1 4202496 22859 0 0 0 178153 48 0 0 20 0 1 0 107162450 168341504 33261 33554432000 4194304 6059633 140734171557600 140734171556136 4277900 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/22714/statm: 41099 33261 188 456 0 40635 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 164396
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 22827
/proc/meminfo: memFree=31846120/32872528 swapFree=8144/8144
[pid=22714] ppid=22711 vsize=195216 CPUtime=1800 cores=1,3,5,7
/proc/22714/stat : 22714 (open-wbo) R 22711 22714 16615 0 -1 4202496 23456 0 0 0 179951 49 0 0 20 0 1 0 107162450 199901184 36912 33554432000 4194304 6059633 140734171557600 140734171556392 4277847 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/22714/statm: 48804 36912 188 456 0 48340 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 195216
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 22714 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 22827
/proc/meminfo: memFree=31846120/32872528 swapFree=8144/8144
[pid=22714] ppid=22711 vsize=195216 CPUtime=1800 cores=1,3,5,7
/proc/22714/stat : 22714 (open-wbo) R 22711 22714 16615 0 -1 4202496 23456 0 0 0 179951 49 0 0 20 0 1 0 107162450 199901184 36912 33554432000 4194304 6059633 140734171557600 140734171556392 4277847 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/22714/statm: 48804 36912 188 456 0 48340 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 195216
Child status: 40
Real time (s): 1800.3
CPU time (s): 1800.02
CPU user time (s): 1799.52
CPU system time (s): 0.497924
CPU usage (%): 99.9841
Max. virtual memory (cumulated for all children) (KiB): 195216
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.52
system time used= 0.497924
maximum resident set size= 159936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23459
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= 20
involuntary context switches= 2006
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.56531 second user time and 6.93994 second system time
The end