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-4118678-1467226144/watcher-4118678-1467226144 -o /tmp/evaluation-result-4118678-1467226144/solver-4118678-1467226144 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1467209130-5020 --watchdog 1960 open-wbo HOME/instance-4118678-1467226144.opb
pid=6929
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.13 2.21 2.18 4/176 6932
/proc/meminfo: memFree=26684576/32872528 swapFree=1268996/1432516
[pid=6932] ppid=6929 vsize=2548 CPUtime=0 cores=1,3,5,7
/proc/6932/stat : 6932 (open-wbo) R 6929 6932 5003 0 -1 4202496 389 0 0 0 0 0 0 0 20 0 1 0 3569489 2609152 265 33554432000 4194304 6059633 140734751230816 140734751229432 5043379 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/6932/statm: 637 267 154 456 0 153 0
[startup+0.100114 s]
/proc/loadavg: 2.13 2.21 2.18 4/176 6932
/proc/meminfo: memFree=26684576/32872528 swapFree=1268996/1432516
[pid=6932] ppid=6929 vsize=11632 CPUtime=0.09 cores=1,3,5,7
/proc/6932/stat : 6932 (open-wbo) R 6929 6932 5003 0 -1 4202496 1649 0 0 0 9 0 0 0 20 0 1 0 3569489 11911168 1479 33554432000 4194304 6059633 140734751230816 140734751229432 4261792 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/6932/statm: 2908 1479 188 456 0 2444 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11632
[startup+0.200364 s]
/proc/loadavg: 2.13 2.21 2.18 4/176 6932
/proc/meminfo: memFree=26684576/32872528 swapFree=1268996/1432516
[pid=6932] ppid=6929 vsize=8036 CPUtime=0.19 cores=1,3,5,7
/proc/6932/stat : 6932 (open-wbo) R 6929 6932 5003 0 -1 4202496 1888 0 0 0 19 0 0 0 20 0 1 0 3569489 8228864 1554 33554432000 4194304 6059633 140734751230816 140734751229432 4280227 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/6932/statm: 2009 1554 191 456 0 1545 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 8036
[startup+0.300357 s]
/proc/loadavg: 2.13 2.21 2.18 4/176 6932
/proc/meminfo: memFree=26684576/32872528 swapFree=1268996/1432516
[pid=6932] ppid=6929 vsize=8556 CPUtime=0.29 cores=1,3,5,7
/proc/6932/stat : 6932 (open-wbo) R 6929 6932 5003 0 -1 4202496 1962 0 0 0 29 0 0 0 20 0 1 0 3569489 8761344 1627 33554432000 4194304 6059633 140734751230816 140734751229432 4280118 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/6932/statm: 2139 1627 191 456 0 1675 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8556
[startup+0.700187 s]
/proc/loadavg: 2.13 2.21 2.18 4/176 6932
/proc/meminfo: memFree=26684576/32872528 swapFree=1268996/1432516
[pid=6932] ppid=6929 vsize=10532 CPUtime=0.69 cores=1,3,5,7
/proc/6932/stat : 6932 (open-wbo) R 6929 6932 5003 0 -1 4202496 2577 0 0 0 69 0 0 0 20 0 1 0 3569489 10784768 2031 33554432000 4194304 6059633 140734751230816 140734751229432 4278031 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/6932/statm: 2633 2031 191 456 0 2169 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10532
[startup+1.50019 s]
/proc/loadavg: 2.13 2.21 2.18 4/177 6933
/proc/meminfo: memFree=26676596/32872528 swapFree=1268996/1432516
[pid=6932] ppid=6929 vsize=11548 CPUtime=1.49 cores=1,3,5,7
/proc/6932/stat : 6932 (open-wbo) R 6929 6932 5003 0 -1 4202496 2972 0 0 0 149 0 0 0 20 0 1 0 3569489 11825152 2398 33554432000 4194304 6059633 140734751230816 140734751229000 4277832 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/6932/statm: 2887 2398 191 456 0 2423 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11548
[startup+3.10018 s]
/proc/loadavg: 2.13 2.21 2.18 4/177 6933
/proc/meminfo: memFree=26675604/32872528 swapFree=1268996/1432516
[pid=6932] ppid=6929 vsize=12576 CPUtime=3.09 cores=1,3,5,7
/proc/6932/stat : 6932 (open-wbo) R 6929 6932 5003 0 -1 4202496 3300 0 0 0 309 0 0 0 20 0 1 0 3569489 12877824 2698 33554432000 4194304 6059633 140734751230816 140734751229000 4277900 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/6932/statm: 3144 2698 192 456 0 2680 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12576
[startup+6.30024 s]
/proc/loadavg: 2.20 2.23 2.18 3/177 6933
/proc/meminfo: memFree=26671116/32872528 swapFree=1268996/1432516
[pid=6932] ppid=6929 vsize=16264 CPUtime=6.29 cores=1,3,5,7
/proc/6932/stat : 6932 (open-wbo) R 6929 6932 5003 0 -1 4202496 3632 0 0 0 628 1 0 0 20 0 1 0 3569489 16654336 3526 33554432000 4194304 6059633 140734751230816 140734751228968 4278389 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/6932/statm: 4066 3526 192 456 0 3602 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16264
[startup+12.7002 s]
/proc/loadavg: 2.18 2.22 2.18 3/177 6933
/proc/meminfo: memFree=26668240/32872528 swapFree=1268996/1432516
[pid=6932] ppid=6929 vsize=18940 CPUtime=12.68 cores=1,3,5,7
/proc/6932/stat : 6932 (open-wbo) R 6929 6932 5003 0 -1 4202496 4435 0 0 0 1267 1 0 0 20 0 1 0 3569489 19394560 4274 33554432000 4194304 6059633 140734751230816 140734751229000 4277847 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/6932/statm: 4735 4274 192 456 0 4271 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 18940
[startup+25.5003 s]
/proc/loadavg: 2.14 2.21 2.18 3/177 6934
/proc/meminfo: memFree=26664856/32872528 swapFree=1268996/1432516
[pid=6932] ppid=6929 vsize=21620 CPUtime=25.48 cores=1,3,5,7
/proc/6932/stat : 6932 (open-wbo) R 6929 6932 5003 0 -1 4202496 5180 0 0 0 2547 1 0 0 20 0 1 0 3569489 22138880 4967 33554432000 4194304 6059633 140734751230816 140734751229576 4255133 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/6932/statm: 5405 4967 192 456 0 4941 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 21620
[startup+51.1003 s]
/proc/loadavg: 2.38 2.26 2.19 4/177 6934
/proc/meminfo: memFree=26654916/32872528 swapFree=1268996/1432516
[pid=6932] ppid=6929 vsize=31196 CPUtime=51.08 cores=1,3,5,7
/proc/6932/stat : 6932 (open-wbo) R 6929 6932 5003 0 -1 4202496 6140 0 0 0 5106 2 0 0 20 0 1 0 3569489 31944704 7112 33554432000 4194304 6059633 140734751230816 140734751228968 4277832 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/6932/statm: 7799 7112 192 456 0 7335 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 31196
[startup+102.3 s]
/proc/loadavg: 2.29 2.26 2.19 3/178 6938
/proc/meminfo: memFree=26640384/32872528 swapFree=1268996/1432516
[pid=6932] ppid=6929 vsize=45452 CPUtime=102.27 cores=1,3,5,7
/proc/6932/stat : 6932 (open-wbo) R 6929 6932 5003 0 -1 4202496 6920 0 0 0 10225 2 0 0 20 0 1 0 3569489 46542848 10939 33554432000 4194304 6059633 140734751230816 140734751229000 4277524 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/6932/statm: 11363 10939 192 456 0 10899 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 45452
[startup+162.3 s]
/proc/loadavg: 2.32 2.26 2.19 4/177 6939
/proc/meminfo: memFree=26626504/32872528 swapFree=1268996/1432516
[pid=6932] ppid=6929 vsize=61496 CPUtime=162.26 cores=1,3,5,7
/proc/6932/stat : 6932 (open-wbo) R 6929 6932 5003 0 -1 4202496 7346 0 0 0 16223 3 0 0 20 0 1 0 3569489 62971904 14344 33554432000 4194304 6059633 140734751230816 140734751229576 4277882 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/6932/statm: 15374 14344 193 456 0 14910 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 61496
[startup+222.308 s]
/proc/loadavg: 2.20 2.24 2.19 3/177 6940
/proc/meminfo: memFree=26623844/32872528 swapFree=1268996/1432516
[pid=6932] ppid=6929 vsize=61496 CPUtime=222.26 cores=1,3,5,7
/proc/6932/stat : 6932 (open-wbo) R 6929 6932 5003 0 -1 4202496 7483 0 0 0 22223 3 0 0 20 0 1 0 3569489 62971904 14990 33554432000 4194304 6059633 140734751230816 140734751229576 4277879 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/6932/statm: 15374 14990 193 456 0 14910 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 61496
[startup+282.3 s]
/proc/loadavg: 2.37 2.27 2.20 3/176 6941
/proc/meminfo: memFree=26608640/32872528 swapFree=1268996/1432516
[pid=6932] ppid=6929 vsize=85720 CPUtime=282.24 cores=1,3,5,7
/proc/6932/stat : 6932 (open-wbo) R 6929 6932 5003 0 -1 4202496 8314 0 0 0 28221 3 0 0 20 0 1 0 3569489 87777280 18942 33554432000 4194304 6059633 140734751230816 140734751228968 4278354 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/6932/statm: 21430 18942 193 456 0 20966 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 85720
[startup+342.3 s]
/proc/loadavg: 2.19 2.23 2.18 4/177 6944
/proc/meminfo: memFree=26605720/32872528 swapFree=1268996/1432516
[pid=6932] ppid=6929 vsize=85908 CPUtime=342.23 cores=1,3,5,7
/proc/6932/stat : 6932 (open-wbo) R 6929 6932 5003 0 -1 4202496 8316 0 0 0 34220 3 0 0 20 0 1 0 3569489 87969792 19455 33554432000 4194304 6059633 140734751230816 140734751228968 4277874 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/6932/statm: 21477 19455 193 456 0 21013 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 85908
[startup+402.3 s]
/proc/loadavg: 2.11 2.20 2.18 4/177 6945
/proc/meminfo: memFree=26605740/32872528 swapFree=1268996/1432516
[pid=6932] ppid=6929 vsize=85908 CPUtime=402.23 cores=1,3,5,7
/proc/6932/stat : 6932 (open-wbo) R 6929 6932 5003 0 -1 4202496 8316 0 0 0 40219 4 0 0 20 0 1 0 3569489 87969792 19455 33554432000 4194304 6059633 140734751230816 140734751229576 4277900 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/6932/statm: 21477 19455 193 456 0 21013 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 85908
[startup+462.3 s]
/proc/loadavg: 2.07 2.18 2.17 3/177 6946
/proc/meminfo: memFree=26605616/32872528 swapFree=1268996/1432516
[pid=6932] ppid=6929 vsize=85908 CPUtime=462.22 cores=1,3,5,7
/proc/6932/stat : 6932 (open-wbo) R 6929 6932 5003 0 -1 4202496 8316 0 0 0 46218 4 0 0 20 0 1 0 3569489 87969792 19455 33554432000 4194304 6059633 140734751230816 140734751229576 4278382 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/6932/statm: 21477 19455 193 456 0 21013 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 85908
[startup+522.3 s]
/proc/loadavg: 2.23 2.20 2.18 4/177 6947
/proc/meminfo: memFree=26603572/32872528 swapFree=1268996/1432516
[pid=6932] ppid=6929 vsize=85908 CPUtime=522.21 cores=1,3,5,7
/proc/6932/stat : 6932 (open-wbo) R 6929 6932 5003 0 -1 4202496 8317 0 0 0 52217 4 0 0 20 0 1 0 3569489 87969792 19967 33554432000 4194304 6059633 140734751230816 140734751229576 4277900 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/6932/statm: 21477 19967 193 456 0 21013 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 85908
[startup+582.3 s]
/proc/loadavg: 2.20 2.21 2.18 3/177 6994
/proc/meminfo: memFree=26692244/32872528 swapFree=1268996/1432516
[pid=6932] ppid=6929 vsize=85908 CPUtime=582.2 cores=1,3,5,7
/proc/6932/stat : 6932 (open-wbo) R 6929 6932 5003 0 -1 4202496 8318 0 0 0 58216 4 0 0 20 0 1 0 3569489 87969792 20479 33554432000 4194304 6059633 140734751230816 140734751229576 4278292 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/6932/statm: 21477 20479 193 456 0 21013 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 85908
################
# More data... #
################
[startup+942.3 s]
/proc/loadavg: 2.30 2.21 2.18 3/177 7027
/proc/meminfo: memFree=26632176/32872528 swapFree=1268996/1432516
[pid=6932] ppid=6929 vsize=97212 CPUtime=942.15 cores=1,3,5,7
/proc/6932/stat : 6932 (open-wbo) R 6929 6932 5003 0 -1 4202496 9616 0 0 0 94207 8 0 0 20 0 1 0 3569489 99545088 23919 33554432000 4194304 6059633 140734751230816 140734751229304 4278523 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/6932/statm: 24303 23919 193 456 0 23839 0
Current children cumulated CPU time (s) 942.15
Current children cumulated vsize (KiB) 97212
[startup+1002.3 s]
/proc/loadavg: 2.22 2.20 2.18 4/177 7028
/proc/meminfo: memFree=26594808/32872528 swapFree=1268996/1432516
[pid=6932] ppid=6929 vsize=146532 CPUtime=1002.13 cores=1,3,5,7
/proc/6932/stat : 6932 (open-wbo) R 6929 6932 5003 0 -1 4202496 9767 0 0 0 100204 9 0 0 20 0 1 0 3569489 150048768 32680 33554432000 4194304 6059633 140734751230816 140734751229016 4278360 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/6932/statm: 36633 32680 193 456 0 36169 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 146532
[startup+1062.3 s]
/proc/loadavg: 2.13 2.17 2.17 3/177 7029
/proc/meminfo: memFree=26629048/32872528 swapFree=1268996/1432516
[pid=6932] ppid=6929 vsize=97212 CPUtime=1062.13 cores=1,3,5,7
/proc/6932/stat : 6932 (open-wbo) R 6929 6932 5003 0 -1 4202496 9844 0 0 0 106203 10 0 0 20 0 1 0 3569489 99545088 23922 33554432000 4194304 6059633 140734751230816 140734751229304 4277900 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/6932/statm: 24303 23922 193 456 0 23839 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 97212
[startup+1122.3 s]
/proc/loadavg: 2.23 2.19 2.18 3/177 7030
/proc/meminfo: memFree=26629352/32872528 swapFree=1268996/1432516
[pid=6932] ppid=6929 vsize=97212 CPUtime=1122.11 cores=1,3,5,7
/proc/6932/stat : 6932 (open-wbo) R 6929 6932 5003 0 -1 4202496 9917 0 0 0 112201 10 0 0 20 0 1 0 3569489 99545088 23922 33554432000 4194304 6059633 140734751230816 140734751229304 4278354 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/6932/statm: 24303 23922 193 456 0 23839 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 97212
[startup+1182.3 s]
/proc/loadavg: 2.24 2.20 2.18 3/177 7031
/proc/meminfo: memFree=26610328/32872528 swapFree=1268996/1432516
[pid=6932] ppid=6929 vsize=97212 CPUtime=1182.11 cores=1,3,5,7
/proc/6932/stat : 6932 (open-wbo) R 6929 6932 5003 0 -1 4202496 9991 0 0 0 118200 11 0 0 20 0 1 0 3569489 99545088 23922 33554432000 4194304 6059633 140734751230816 140734751229304 4277968 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/6932/statm: 24303 23922 193 456 0 23839 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 97212
[startup+1242.3 s]
/proc/loadavg: 2.14 2.17 2.18 3/177 7033
/proc/meminfo: memFree=26610260/32872528 swapFree=1268996/1432516
[pid=6932] ppid=6929 vsize=97212 CPUtime=1242.1 cores=1,3,5,7
/proc/6932/stat : 6932 (open-wbo) R 6929 6932 5003 0 -1 4202496 10065 0 0 0 124198 12 0 0 20 0 1 0 3569489 99545088 23922 33554432000 4194304 6059633 140734751230816 140734751229304 4278418 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/6932/statm: 24303 23922 193 456 0 23839 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 97212
[startup+1302.3 s]
/proc/loadavg: 2.10 2.15 2.17 3/178 7037
/proc/meminfo: memFree=26544052/32872528 swapFree=1268996/1432516
[pid=6932] ppid=6929 vsize=146532 CPUtime=1302.09 cores=1,3,5,7
/proc/6932/stat : 6932 (open-wbo) R 6929 6932 5003 0 -1 4202496 10213 0 0 0 130196 13 0 0 20 0 1 0 3569489 150048768 32171 33554432000 4194304 6059633 140734751230816 140734751229016 4278373 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/6932/statm: 36633 32171 193 456 0 36169 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 146532
[startup+1362.3 s]
/proc/loadavg: 2.23 2.18 2.18 3/177 7038
/proc/meminfo: memFree=26542324/32872528 swapFree=1268996/1432516
[pid=6932] ppid=6929 vsize=146532 CPUtime=1362.08 cores=1,3,5,7
/proc/6932/stat : 6932 (open-wbo) R 6929 6932 5003 0 -1 4202496 10291 0 0 0 136194 14 0 0 20 0 1 0 3569489 150048768 33195 33554432000 4194304 6059633 140734751230816 140734751229016 4261566 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/6932/statm: 36633 33195 193 456 0 36169 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 146532
[startup+1422.3 s]
/proc/loadavg: 2.14 2.16 2.17 3/177 7039
/proc/meminfo: memFree=26571512/32872528 swapFree=1268996/1432516
[pid=6932] ppid=6929 vsize=146532 CPUtime=1422.07 cores=1,3,5,7
/proc/6932/stat : 6932 (open-wbo) R 6929 6932 5003 0 -1 4202496 10368 0 0 0 142193 14 0 0 20 0 1 0 3569489 150048768 33707 33554432000 4194304 6059633 140734751230816 140734751229016 4278479 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/6932/statm: 36633 33707 193 456 0 36169 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 146532
[startup+1482.3 s]
/proc/loadavg: 2.14 2.16 2.17 3/177 7040
/proc/meminfo: memFree=26571208/32872528 swapFree=1268996/1432516
[pid=6932] ppid=6929 vsize=97212 CPUtime=1482.06 cores=1,3,5,7
/proc/6932/stat : 6932 (open-wbo) R 6929 6932 5003 0 -1 4202496 10445 0 0 0 148191 15 0 0 20 0 1 0 3569489 99545088 23922 33554432000 4194304 6059633 140734751230816 140734751229304 4277900 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/6932/statm: 24303 23922 193 456 0 23839 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 97212
[startup+1542.31 s]
/proc/loadavg: 2.29 2.20 2.18 3/177 7041
/proc/meminfo: memFree=26610612/32872528 swapFree=1268996/1432516
[pid=6932] ppid=6929 vsize=97212 CPUtime=1542.06 cores=1,3,5,7
/proc/6932/stat : 6932 (open-wbo) R 6929 6932 5003 0 -1 4202496 10522 0 0 0 154190 16 0 0 20 0 1 0 3569489 99545088 23922 33554432000 4194304 6059633 140734751230816 140734751229304 4277549 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/6932/statm: 24303 23922 193 456 0 23839 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 97212
[startup+1602.3 s]
/proc/loadavg: 2.29 2.22 2.19 3/177 7043
/proc/meminfo: memFree=26573128/32872528 swapFree=1268996/1432516
[pid=6932] ppid=6929 vsize=97212 CPUtime=1602.04 cores=1,3,5,7
/proc/6932/stat : 6932 (open-wbo) R 6929 6932 5003 0 -1 4202496 10600 0 0 0 160188 16 0 0 20 0 1 0 3569489 99545088 23922 33554432000 4194304 6059633 140734751230816 140734751229304 4278389 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/6932/statm: 24303 23922 193 456 0 23839 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 97212
[startup+1662.3 s]
/proc/loadavg: 2.15 2.19 2.18 4/177 7044
/proc/meminfo: memFree=26610480/32872528 swapFree=1268996/1432516
[pid=6932] ppid=6929 vsize=97212 CPUtime=1662.03 cores=1,3,5,7
/proc/6932/stat : 6932 (open-wbo) R 6929 6932 5003 0 -1 4202496 10678 0 0 0 166186 17 0 0 20 0 1 0 3569489 99545088 23922 33554432000 4194304 6059633 140734751230816 140734751229304 4277549 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/6932/statm: 24303 23922 193 456 0 23839 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 97212
[startup+1722.3 s]
/proc/loadavg: 2.16 2.19 2.18 3/177 7045
/proc/meminfo: memFree=26610356/32872528 swapFree=1268996/1432516
[pid=6932] ppid=6929 vsize=97212 CPUtime=1722.02 cores=1,3,5,7
/proc/6932/stat : 6932 (open-wbo) R 6929 6932 5003 0 -1 4202496 10756 0 0 0 172184 18 0 0 20 0 1 0 3569489 99545088 23922 33554432000 4194304 6059633 140734751230816 140734751229304 4277900 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/6932/statm: 24303 23922 193 456 0 23839 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 97212
[startup+1782.3 s]
/proc/loadavg: 2.23 2.20 2.18 3/177 7046
/proc/meminfo: memFree=26553204/32872528 swapFree=1268996/1432516
[pid=6932] ppid=6929 vsize=116132 CPUtime=1782.02 cores=1,3,5,7
/proc/6932/stat : 6932 (open-wbo) R 6929 6932 5003 0 -1 4202496 10986 0 0 0 178183 19 0 0 20 0 1 0 3569489 118919168 28672 33554432000 4194304 6059633 140734751230816 140734751229304 4277781 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/6932/statm: 29033 28672 193 456 0 28569 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 116132
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.16 2.18 2.18 3/177 7046
/proc/meminfo: memFree=26545760/32872528 swapFree=1268996/1432516
[pid=6932] ppid=6929 vsize=116132 CPUtime=1800.01 cores=1,3,5,7
/proc/6932/stat : 6932 (open-wbo) R 6929 6932 5003 0 -1 4202496 10986 0 0 0 179982 19 0 0 20 0 1 0 3569489 118919168 28672 33554432000 4194304 6059633 140734751230816 140734751229304 4278443 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/6932/statm: 29033 28672 193 456 0 28569 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 116132
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 6932 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1800.3 s]
/proc/loadavg: 2.16 2.18 2.18 3/177 7046
/proc/meminfo: memFree=26545760/32872528 swapFree=1268996/1432516
[pid=6932] ppid=6929 vsize=116132 CPUtime=1800.01 cores=1,3,5,7
/proc/6932/stat : 6932 (open-wbo) R 6929 6932 5003 0 -1 4202496 10986 0 0 0 179982 19 0 0 20 0 1 0 3569489 118919168 28672 33554432000 4194304 6059633 140734751230816 140734751229304 4278443 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/6932/statm: 29033 28672 193 456 0 28569 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 116132
Child status: 40
Real time (s): 1800.3
CPU time (s): 1800.02
CPU user time (s): 1799.83
CPU system time (s): 0.19297
CPU usage (%): 99.9845
Max. virtual memory (cumulated for all children) (KiB): 165452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.83
system time used= 0.19297
maximum resident set size= 159972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10989
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= 13
involuntary context switches= 1973
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.47032 second user time and 6.99094 second system time
The end