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-4086421-1465241498/watcher-4086421-1465241498 -o /tmp/evaluation-result-4086421-1465241498/solver-4086421-1465241498 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node133-1465223432-16632 --watchdog 1960 open-wbo HOME/instance-4086421-1465241498.opb
pid=20799
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.05 2.02 2.00 3/178 20802
/proc/meminfo: memFree=32016272/32872528 swapFree=8144/8144
[pid=20802] ppid=20799 vsize=2716 CPUtime=0 cores=1,3,5,7
/proc/20802/stat : 20802 (open-wbo) R 20799 20802 16615 0 -1 4202496 405 0 0 0 0 0 0 0 20 0 1 0 106081808 2781184 280 33554432000 4194304 6059633 140736704154752 140736704153368 5131227 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20802/statm: 679 280 162 456 0 187 0
[startup+0.100161 s]
/proc/loadavg: 2.05 2.02 2.00 3/178 20802
/proc/meminfo: memFree=32016272/32872528 swapFree=8144/8144
[pid=20802] ppid=20799 vsize=9484 CPUtime=0.09 cores=1,3,5,7
/proc/20802/stat : 20802 (open-wbo) R 20799 20802 16615 0 -1 4202496 1097 0 0 0 9 0 0 0 20 0 1 0 106081808 9711616 938 33554432000 4194304 6059633 140736704154752 140736704153368 5043132 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20802/statm: 2371 938 163 456 0 1907 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9484
[startup+0.200295 s]
/proc/loadavg: 2.05 2.02 2.00 3/178 20802
/proc/meminfo: memFree=32016272/32872528 swapFree=8144/8144
[pid=20802] ppid=20799 vsize=11072 CPUtime=0.19 cores=1,3,5,7
/proc/20802/stat : 20802 (open-wbo) R 20799 20802 16615 0 -1 4202496 1525 0 0 0 19 0 0 0 20 0 1 0 106081808 11337728 1873 33554432000 4194304 6059633 140736704154752 140736704153368 4254760 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20802/statm: 2768 1873 180 456 0 2304 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 11072
[startup+0.300282 s]
/proc/loadavg: 2.05 2.02 2.00 3/178 20802
/proc/meminfo: memFree=32016272/32872528 swapFree=8144/8144
[pid=20802] ppid=20799 vsize=11204 CPUtime=0.29 cores=1,3,5,7
/proc/20802/stat : 20802 (open-wbo) R 20799 20802 16615 0 -1 4202496 1568 0 0 0 29 0 0 0 20 0 1 0 106081808 11472896 1916 33554432000 4194304 6059633 140736704154752 140736704153368 4277549 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20802/statm: 2801 1916 182 456 0 2337 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11204
[startup+0.700231 s]
/proc/loadavg: 2.05 2.02 2.00 3/178 20802
/proc/meminfo: memFree=32016272/32872528 swapFree=8144/8144
[pid=20802] ppid=20799 vsize=8144 CPUtime=0.69 cores=1,3,5,7
/proc/20802/stat : 20802 (open-wbo) R 20799 20802 16615 0 -1 4202496 1828 0 0 0 69 0 0 0 20 0 1 0 106081808 8339456 1570 33554432000 4194304 6059633 140736704154752 140736704153576 4277847 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20802/statm: 2036 1570 184 456 0 1572 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8144
[startup+1.50023 s]
/proc/loadavg: 2.05 2.02 2.00 3/179 20803
/proc/meminfo: memFree=32010296/32872528 swapFree=8144/8144
[pid=20802] ppid=20799 vsize=8536 CPUtime=1.49 cores=1,3,5,7
/proc/20802/stat : 20802 (open-wbo) R 20799 20802 16615 0 -1 4202496 2327 0 0 0 149 0 0 0 20 0 1 0 106081808 8740864 1740 33554432000 4194304 6059633 140736704154752 140736704153576 4277549 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20802/statm: 2134 1740 184 456 0 1670 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8536
[startup+3.10024 s]
/proc/loadavg: 2.05 2.02 2.00 3/179 20803
/proc/meminfo: memFree=32007196/32872528 swapFree=8144/8144
[pid=20802] ppid=20799 vsize=11264 CPUtime=3.08 cores=1,3,5,7
/proc/20802/stat : 20802 (open-wbo) R 20799 20802 16615 0 -1 4202496 3044 0 0 0 308 0 0 0 20 0 1 0 106081808 11534336 2420 33554432000 4194304 6059633 140736704154752 140736704153848 4278352 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20802/statm: 2816 2420 184 456 0 2352 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 11264
[startup+6.30024 s]
/proc/loadavg: 2.05 2.02 2.00 3/179 20803
/proc/meminfo: memFree=32003304/32872528 swapFree=8144/8144
[pid=20802] ppid=20799 vsize=15776 CPUtime=6.28 cores=1,3,5,7
/proc/20802/stat : 20802 (open-wbo) R 20799 20802 16615 0 -1 4202496 3345 0 0 0 628 0 0 0 20 0 1 0 106081808 16154624 3201 33554432000 4194304 6059633 140736704154752 140736704153848 4277570 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20802/statm: 3944 3201 184 456 0 3480 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 15776
[startup+12.7002 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 20803
/proc/meminfo: memFree=32000048/32872528 swapFree=8144/8144
[pid=20802] ppid=20799 vsize=15776 CPUtime=12.69 cores=1,3,5,7
/proc/20802/stat : 20802 (open-wbo) R 20799 20802 16615 0 -1 4202496 3559 0 0 0 1268 1 0 0 20 0 1 0 106081808 16154624 3409 33554432000 4194304 6059633 140736704154752 140736704153848 4277570 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20802/statm: 3944 3409 185 456 0 3480 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15776
[startup+25.5003 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 20804
/proc/meminfo: memFree=31994464/32872528 swapFree=8144/8144
[pid=20802] ppid=20799 vsize=21288 CPUtime=25.49 cores=1,3,5,7
/proc/20802/stat : 20802 (open-wbo) R 20799 20802 16615 0 -1 4202496 4638 0 0 0 2548 1 0 0 20 0 1 0 106081808 21798912 4929 33554432000 4194304 6059633 140736704154752 140736704153272 4277697 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20802/statm: 5322 4929 185 456 0 4858 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 21288
[startup+51.1004 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 20804
/proc/meminfo: memFree=31981924/32872528 swapFree=8144/8144
[pid=20802] ppid=20799 vsize=30956 CPUtime=51.08 cores=1,3,5,7
/proc/20802/stat : 20802 (open-wbo) R 20799 20802 16615 0 -1 4202496 5810 0 0 0 5106 2 0 0 20 0 1 0 106081808 31698944 6795 33554432000 4194304 6059633 140736704154752 140736704153848 4278436 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20802/statm: 7739 6795 185 456 0 7275 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 30956
[startup+102.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 20805
/proc/meminfo: memFree=31968184/32872528 swapFree=8144/8144
[pid=20802] ppid=20799 vsize=49632 CPUtime=102.28 cores=1,3,5,7
/proc/20802/stat : 20802 (open-wbo) R 20799 20802 16615 0 -1 4202496 6098 0 0 0 10225 3 0 0 20 0 1 0 106081808 50823168 10100 33554432000 4194304 6059633 140736704154752 140736704153848 4246382 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20802/statm: 12408 10100 185 456 0 11944 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 49632
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 20806
/proc/meminfo: memFree=31948188/32872528 swapFree=8144/8144
[pid=20802] ppid=20799 vsize=49632 CPUtime=162.26 cores=1,3,5,7
/proc/20802/stat : 20802 (open-wbo) R 20799 20802 16615 0 -1 4202496 6218 0 0 0 16223 3 0 0 20 0 1 0 106081808 50823168 11518 33554432000 4194304 6059633 140736704154752 140736704153848 4277914 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20802/statm: 12408 11518 185 456 0 11944 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 49632
[startup+222.308 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20807
/proc/meminfo: memFree=31943776/32872528 swapFree=8144/8144
[pid=20802] ppid=20799 vsize=49632 CPUtime=222.26 cores=1,3,5,7
/proc/20802/stat : 20802 (open-wbo) R 20799 20802 16615 0 -1 4202496 6222 0 0 0 22223 3 0 0 20 0 1 0 106081808 50823168 12033 33554432000 4194304 6059633 140736704154752 140736704153848 4261818 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20802/statm: 12408 12033 185 456 0 11944 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 49632
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20808
/proc/meminfo: memFree=31930616/32872528 swapFree=8144/8144
[pid=20802] ppid=20799 vsize=88892 CPUtime=282.24 cores=1,3,5,7
/proc/20802/stat : 20802 (open-wbo) R 20799 20802 16615 0 -1 4202496 7545 0 0 0 28221 3 0 0 20 0 1 0 106081808 91025408 14984 33554432000 4194304 6059633 140736704154752 140736704153240 4277900 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20802/statm: 22223 14984 185 456 0 21759 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 88892
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20810
/proc/meminfo: memFree=31928032/32872528 swapFree=8144/8144
[pid=20802] ppid=20799 vsize=88892 CPUtime=342.23 cores=1,3,5,7
/proc/20802/stat : 20802 (open-wbo) R 20799 20802 16615 0 -1 4202496 7556 0 0 0 34219 4 0 0 20 0 1 0 106081808 91025408 15505 33554432000 4194304 6059633 140736704154752 140736704153240 4277832 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20802/statm: 22223 15505 185 456 0 21759 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 88892
[startup+402.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 20811
/proc/meminfo: memFree=31922040/32872528 swapFree=8144/8144
[pid=20802] ppid=20799 vsize=88892 CPUtime=402.22 cores=1,3,5,7
/proc/20802/stat : 20802 (open-wbo) R 20799 20802 16615 0 -1 4202496 7558 0 0 0 40218 4 0 0 20 0 1 0 106081808 91025408 16529 33554432000 4194304 6059633 140736704154752 140736704153240 4277900 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20802/statm: 22223 16529 185 456 0 21759 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 88892
[startup+462.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 20812
/proc/meminfo: memFree=31919860/32872528 swapFree=8144/8144
[pid=20802] ppid=20799 vsize=88892 CPUtime=462.21 cores=1,3,5,7
/proc/20802/stat : 20802 (open-wbo) R 20799 20802 16615 0 -1 4202496 7559 0 0 0 46217 4 0 0 20 0 1 0 106081808 91025408 17041 33554432000 4194304 6059633 140736704154752 140736704153240 4277874 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20802/statm: 22223 17041 185 456 0 21759 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 88892
[startup+522.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/180 20816
/proc/meminfo: memFree=31917992/32872528 swapFree=8144/8144
[pid=20802] ppid=20799 vsize=88892 CPUtime=522.2 cores=1,3,5,7
/proc/20802/stat : 20802 (open-wbo) R 20799 20802 16615 0 -1 4202496 7562 0 0 0 52216 4 0 0 20 0 1 0 106081808 91025408 17044 33554432000 4194304 6059633 140736704154752 140736704153848 4278447 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20802/statm: 22223 17044 185 456 0 21759 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 88892
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20817
/proc/meminfo: memFree=31898316/32872528 swapFree=8144/8144
[pid=20802] ppid=20799 vsize=88892 CPUtime=582.19 cores=1,3,5,7
/proc/20802/stat : 20802 (open-wbo) R 20799 20802 16615 0 -1 4202496 7774 0 0 0 58215 4 0 0 20 0 1 0 106081808 91025408 21339 33554432000 4194304 6059633 140736704154752 140736704153848 4278373 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20802/statm: 22223 21339 185 456 0 21759 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 88892
################
# More data... #
################
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20824
/proc/meminfo: memFree=31843588/32872528 swapFree=8144/8144
[pid=20802] ppid=20799 vsize=107220 CPUtime=942.14 cores=1,3,5,7
/proc/20802/stat : 20802 (open-wbo) R 20799 20802 16615 0 -1 4202496 8832 0 0 0 94208 6 0 0 20 0 1 0 106081808 109793280 26433 33554432000 4194304 6059633 140736704154752 140736704153272 4278520 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20802/statm: 26805 26433 185 456 0 26341 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 107220
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20826
/proc/meminfo: memFree=31877520/32872528 swapFree=8144/8144
[pid=20802] ppid=20799 vsize=107220 CPUtime=1002.13 cores=1,3,5,7
/proc/20802/stat : 20802 (open-wbo) R 20799 20802 16615 0 -1 4202496 8832 0 0 0 100207 6 0 0 20 0 1 0 106081808 109793280 26433 33554432000 4194304 6059633 140736704154752 140736704153848 4278447 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20802/statm: 26805 26433 185 456 0 26341 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 107220
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20827
/proc/meminfo: memFree=31877268/32872528 swapFree=8144/8144
[pid=20802] ppid=20799 vsize=107220 CPUtime=1062.12 cores=1,3,5,7
/proc/20802/stat : 20802 (open-wbo) R 20799 20802 16615 0 -1 4202496 8832 0 0 0 106206 6 0 0 20 0 1 0 106081808 109793280 26433 33554432000 4194304 6059633 140736704154752 140736704153848 4255350 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20802/statm: 26805 26433 185 456 0 26341 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 107220
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 20831
/proc/meminfo: memFree=31841744/32872528 swapFree=8144/8144
[pid=20802] ppid=20799 vsize=107220 CPUtime=1122.11 cores=1,3,5,7
/proc/20802/stat : 20802 (open-wbo) R 20799 20802 16615 0 -1 4202496 8832 0 0 0 112205 6 0 0 20 0 1 0 106081808 109793280 26433 33554432000 4194304 6059633 140736704154752 140736704153848 4277864 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20802/statm: 26805 26433 185 456 0 26341 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 107220
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20832
/proc/meminfo: memFree=31876932/32872528 swapFree=8144/8144
[pid=20802] ppid=20799 vsize=107220 CPUtime=1182.1 cores=1,3,5,7
/proc/20802/stat : 20802 (open-wbo) R 20799 20802 16615 0 -1 4202496 8832 0 0 0 118204 6 0 0 20 0 1 0 106081808 109793280 26433 33554432000 4194304 6059633 140736704154752 140736704153848 4278447 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20802/statm: 26805 26433 185 456 0 26341 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 107220
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20833
/proc/meminfo: memFree=31876804/32872528 swapFree=8144/8144
[pid=20802] ppid=20799 vsize=107220 CPUtime=1242.1 cores=1,3,5,7
/proc/20802/stat : 20802 (open-wbo) R 20799 20802 16615 0 -1 4202496 8832 0 0 0 124203 7 0 0 20 0 1 0 106081808 109793280 26433 33554432000 4194304 6059633 140736704154752 140736704153848 4278447 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20802/statm: 26805 26433 185 456 0 26341 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 107220
[startup+1302.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 20835
/proc/meminfo: memFree=31876796/32872528 swapFree=8144/8144
[pid=20802] ppid=20799 vsize=107220 CPUtime=1302.09 cores=1,3,5,7
/proc/20802/stat : 20802 (open-wbo) R 20799 20802 16615 0 -1 4202496 8832 0 0 0 130202 7 0 0 20 0 1 0 106081808 109793280 26433 33554432000 4194304 6059633 140736704154752 140736704153848 4277900 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20802/statm: 26805 26433 185 456 0 26341 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 107220
[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 20836
/proc/meminfo: memFree=31842784/32872528 swapFree=8144/8144
[pid=20802] ppid=20799 vsize=107220 CPUtime=1362.07 cores=1,3,5,7
/proc/20802/stat : 20802 (open-wbo) R 20799 20802 16615 0 -1 4202496 8832 0 0 0 136200 7 0 0 20 0 1 0 106081808 109793280 26433 33554432000 4194304 6059633 140736704154752 140736704153848 4278382 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20802/statm: 26805 26433 185 456 0 26341 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 107220
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20837
/proc/meminfo: memFree=31840608/32872528 swapFree=8144/8144
[pid=20802] ppid=20799 vsize=107220 CPUtime=1422.07 cores=1,3,5,7
/proc/20802/stat : 20802 (open-wbo) R 20799 20802 16615 0 -1 4202496 8832 0 0 0 142200 7 0 0 20 0 1 0 106081808 109793280 26433 33554432000 4194304 6059633 140736704154752 140736704153848 4278354 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20802/statm: 26805 26433 185 456 0 26341 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 107220
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20838
/proc/meminfo: memFree=31836508/32872528 swapFree=8144/8144
[pid=20802] ppid=20799 vsize=107220 CPUtime=1482.05 cores=1,3,5,7
/proc/20802/stat : 20802 (open-wbo) R 20799 20802 16615 0 -1 4202496 8832 0 0 0 148198 7 0 0 20 0 1 0 106081808 109793280 26433 33554432000 4194304 6059633 140736704154752 140736704153848 4277900 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20802/statm: 26805 26433 185 456 0 26341 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 107220
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20839
/proc/meminfo: memFree=31831664/32872528 swapFree=8144/8144
[pid=20802] ppid=20799 vsize=107220 CPUtime=1542.05 cores=1,3,5,7
/proc/20802/stat : 20802 (open-wbo) R 20799 20802 16615 0 -1 4202496 8832 0 0 0 154198 7 0 0 20 0 1 0 106081808 109793280 26433 33554432000 4194304 6059633 140736704154752 140736704153848 4277945 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20802/statm: 26805 26433 185 456 0 26341 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 107220
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20841
/proc/meminfo: memFree=31829240/32872528 swapFree=8144/8144
[pid=20802] ppid=20799 vsize=107220 CPUtime=1602.03 cores=1,3,5,7
/proc/20802/stat : 20802 (open-wbo) R 20799 20802 16615 0 -1 4202496 8832 0 0 0 160196 7 0 0 20 0 1 0 106081808 109793280 26433 33554432000 4194304 6059633 140736704154752 140736704153848 4278402 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20802/statm: 26805 26433 185 456 0 26341 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 107220
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20888
/proc/meminfo: memFree=31938504/32872528 swapFree=8144/8144
[pid=20802] ppid=20799 vsize=107220 CPUtime=1662.03 cores=1,3,5,7
/proc/20802/stat : 20802 (open-wbo) R 20799 20802 16615 0 -1 4202496 8832 0 0 0 166195 8 0 0 20 0 1 0 106081808 109793280 26433 33554432000 4194304 6059633 140736704154752 140736704153848 4277570 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20802/statm: 26805 26433 185 456 0 26341 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 107220
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 20892
/proc/meminfo: memFree=31919256/32872528 swapFree=8144/8144
[pid=20802] ppid=20799 vsize=107220 CPUtime=1722.02 cores=1,3,5,7
/proc/20802/stat : 20802 (open-wbo) R 20799 20802 16615 0 -1 4202496 8832 0 0 0 172194 8 0 0 20 0 1 0 106081808 109793280 26433 33554432000 4194304 6059633 140736704154752 140736704153848 4277855 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20802/statm: 26805 26433 185 456 0 26341 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 107220
[startup+1782.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/180 20916
/proc/meminfo: memFree=31900544/32872528 swapFree=8144/8144
[pid=20802] ppid=20799 vsize=108656 CPUtime=1782.01 cores=1,3,5,7
/proc/20802/stat : 20802 (open-wbo) R 20799 20802 16615 0 -1 4202496 9199 0 0 0 178192 9 0 0 20 0 1 0 106081808 111263744 26792 33554432000 4194304 6059633 140736704154752 140736704153272 4278520 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20802/statm: 27164 26792 185 456 0 26700 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 108656
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/180 20916
/proc/meminfo: memFree=31901656/32872528 swapFree=8144/8144
[pid=20802] ppid=20799 vsize=108656 CPUtime=1800.01 cores=1,3,5,7
/proc/20802/stat : 20802 (open-wbo) R 20799 20802 16615 0 -1 4202496 9199 0 0 0 179992 9 0 0 20 0 1 0 106081808 111263744 26792 33554432000 4194304 6059633 140736704154752 140736704153272 4278288 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20802/statm: 27164 26792 185 456 0 26700 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 108656
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 20802 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1800.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/180 20916
/proc/meminfo: memFree=31901656/32872528 swapFree=8144/8144
[pid=20802] ppid=20799 vsize=108656 CPUtime=1800.01 cores=1,3,5,7
/proc/20802/stat : 20802 (open-wbo) R 20799 20802 16615 0 -1 4202496 9199 0 0 0 179992 9 0 0 20 0 1 0 106081808 111263744 26792 33554432000 4194304 6059633 140736704154752 140736704153272 4278288 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20802/statm: 27164 26792 185 456 0 26700 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 108656
Child status: 40
Real time (s): 1800.3
CPU time (s): 1800.02
CPU user time (s): 1799.92
CPU system time (s): 0.097985
CPU usage (%): 99.9844
Max. virtual memory (cumulated for all children) (KiB): 108656
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.92
system time used= 0.097985
maximum resident set size= 107180
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9202
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= 12
involuntary context switches= 1980
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.45532 second user time and 7.00394 second system time
The end