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-4118667-1467241510/watcher-4118667-1467241510 -o /tmp/evaluation-result-4118667-1467241510/solver-4118667-1467241510 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1467234304-8011 --watchdog 1960 open-wbo-lsu HOME/instance-4118667-1467241510.opb
pid=8825
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.20 2.25 2.20 3/176 8828
/proc/meminfo: memFree=25821808/32872528 swapFree=1390956/1568784
[pid=8828] ppid=8825 vsize=2532 CPUtime=0 cores=1,3,5,7
/proc/8828/stat : 8828 (open-wbo-lsu) R 8825 8828 5511 0 -1 4202496 377 0 0 0 0 0 0 0 20 0 1 0 5100600 2592768 253 33554432000 4194304 6058637 140734039137440 140733977220872 5042435 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8828/statm: 633 254 151 456 0 153 0
[startup+0.100128 s]
/proc/loadavg: 2.20 2.25 2.20 3/176 8828
/proc/meminfo: memFree=25821808/32872528 swapFree=1390956/1568784
[pid=8828] ppid=8825 vsize=26736 CPUtime=0.09 cores=1,3,5,7
/proc/8828/stat : 8828 (open-wbo-lsu) R 8825 8828 5511 0 -1 4202496 4978 0 0 0 9 0 0 0 20 0 1 0 5100600 27377664 5719 33554432000 4194304 6058637 140734039137440 140733977220872 4239645 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8828/statm: 6684 5719 170 456 0 6220 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26736
[startup+0.200398 s]
/proc/loadavg: 2.20 2.25 2.20 3/176 8828
/proc/meminfo: memFree=25821808/32872528 swapFree=1390956/1568784
[pid=8828] ppid=8825 vsize=44696 CPUtime=0.19 cores=1,3,5,7
/proc/8828/stat : 8828 (open-wbo-lsu) R 8825 8828 5511 0 -1 4202496 7836 0 0 0 18 1 0 0 20 0 1 0 5100600 45768704 9599 33554432000 4194304 6058637 140734039137440 140733977220872 5042435 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8828/statm: 11174 9599 182 456 0 10710 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 44696
[startup+0.300385 s]
/proc/loadavg: 2.20 2.25 2.20 3/176 8828
/proc/meminfo: memFree=25821808/32872528 swapFree=1390956/1568784
[pid=8828] ppid=8825 vsize=45360 CPUtime=0.29 cores=1,3,5,7
/proc/8828/stat : 8828 (open-wbo-lsu) R 8825 8828 5511 0 -1 4202496 8006 0 0 0 28 1 0 0 20 0 1 0 5100600 46448640 9769 33554432000 4194304 6058637 140734039137440 140733977220872 4277708 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8828/statm: 11340 9769 182 456 0 10876 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 45360
[startup+0.700269 s]
/proc/loadavg: 2.20 2.25 2.20 3/176 8828
/proc/meminfo: memFree=25821808/32872528 swapFree=1390956/1568784
[pid=8828] ppid=8825 vsize=45600 CPUtime=0.69 cores=1,3,5,7
/proc/8828/stat : 8828 (open-wbo-lsu) R 8825 8828 5511 0 -1 4202496 8055 0 0 0 68 1 0 0 20 0 1 0 5100600 46694400 9818 33554432000 4194304 6058637 140734039137440 140734039136264 4277663 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8828/statm: 11400 9818 182 456 0 10936 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 45600
[startup+1.50032 s]
/proc/loadavg: 2.20 2.25 2.20 3/177 8829
/proc/meminfo: memFree=25783320/32872528 swapFree=1390956/1568784
[pid=8828] ppid=8825 vsize=45840 CPUtime=1.49 cores=1,3,5,7
/proc/8828/stat : 8828 (open-wbo-lsu) R 8825 8828 5511 0 -1 4202496 8116 0 0 0 148 1 0 0 20 0 1 0 5100600 46940160 9879 33554432000 4194304 6058637 140734039137440 140734039136264 4277672 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8828/statm: 11460 9879 183 456 0 10996 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 45840
[startup+3.10033 s]
/proc/loadavg: 2.20 2.25 2.20 3/177 8829
/proc/meminfo: memFree=25782452/32872528 swapFree=1390956/1568784
[pid=8828] ppid=8825 vsize=46212 CPUtime=3.09 cores=1,3,5,7
/proc/8828/stat : 8828 (open-wbo-lsu) R 8825 8828 5511 0 -1 4202496 8732 0 0 0 307 2 0 0 20 0 1 0 5100600 47321088 9523 33554432000 4194304 6058637 140734039137440 140734039136776 4277378 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8828/statm: 11553 9523 184 456 0 11089 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 46212
[startup+6.30033 s]
/proc/loadavg: 2.18 2.25 2.20 4/177 8829
/proc/meminfo: memFree=25779488/32872528 swapFree=1390956/1568784
[pid=8828] ppid=8825 vsize=46860 CPUtime=6.29 cores=1,3,5,7
/proc/8828/stat : 8828 (open-wbo-lsu) R 8825 8828 5511 0 -1 4202496 8897 0 0 0 627 2 0 0 20 0 1 0 5100600 47984640 10199 33554432000 4194304 6058637 140734039137440 140734039136168 4277672 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8828/statm: 11715 10199 184 456 0 11251 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 46860
[startup+12.7003 s]
/proc/loadavg: 2.25 2.26 2.20 3/177 8829
/proc/meminfo: memFree=25777880/32872528 swapFree=1390956/1568784
[pid=8828] ppid=8825 vsize=47788 CPUtime=12.69 cores=1,3,5,7
/proc/8828/stat : 8828 (open-wbo-lsu) R 8825 8828 5511 0 -1 4202496 9169 0 0 0 1267 2 0 0 20 0 1 0 5100600 48934912 11044 33554432000 4194304 6058637 140734039137440 140734039136056 4246088 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8828/statm: 11947 11044 184 456 0 11483 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 47788
[startup+25.5004 s]
/proc/loadavg: 2.26 2.26 2.20 3/177 8829
/proc/meminfo: memFree=25741940/32872528 swapFree=1390956/1568784
[pid=8828] ppid=8825 vsize=85352 CPUtime=25.49 cores=1,3,5,7
/proc/8828/stat : 8828 (open-wbo-lsu) R 8825 8828 5511 0 -1 4202496 10449 0 0 0 2545 4 0 0 20 0 1 0 5100600 87400448 20117 33554432000 4194304 6058637 140734039137440 140734039136200 4277712 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8828/statm: 21338 20117 184 456 0 20874 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 85352
[startup+51.1004 s]
/proc/loadavg: 2.23 2.26 2.20 4/177 8829
/proc/meminfo: memFree=25727224/32872528 swapFree=1390956/1568784
[pid=8828] ppid=8825 vsize=97024 CPUtime=51.08 cores=1,3,5,7
/proc/8828/stat : 8828 (open-wbo-lsu) R 8825 8828 5511 0 -1 4202496 11167 0 0 0 5104 4 0 0 20 0 1 0 5100600 99352576 23339 33554432000 4194304 6058637 140734039137440 140734039136200 4246382 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8828/statm: 24256 23339 184 456 0 23792 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 97024
[startup+102.3 s]
/proc/loadavg: 2.36 2.29 2.21 3/177 8830
/proc/meminfo: memFree=25724836/32872528 swapFree=1390956/1568784
[pid=8828] ppid=8825 vsize=97024 CPUtime=102.28 cores=1,3,5,7
/proc/8828/stat : 8828 (open-wbo-lsu) R 8825 8828 5511 0 -1 4202496 11167 0 0 0 10224 4 0 0 20 0 1 0 5100600 99352576 23339 33554432000 4194304 6058637 140734039137440 140734039136200 4277378 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8828/statm: 24256 23339 184 456 0 23792 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 97024
[startup+162.3 s]
/proc/loadavg: 2.24 2.27 2.21 3/177 8831
/proc/meminfo: memFree=25720064/32872528 swapFree=1390956/1568784
[pid=8828] ppid=8825 vsize=97024 CPUtime=162.26 cores=1,3,5,7
/proc/8828/stat : 8828 (open-wbo-lsu) R 8825 8828 5511 0 -1 4202496 11167 0 0 0 16222 4 0 0 20 0 1 0 5100600 99352576 23339 33554432000 4194304 6058637 140734039137440 140734039136200 4278233 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8828/statm: 24256 23339 184 456 0 23792 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 97024
[startup+222.307 s]
/proc/loadavg: 2.17 2.24 2.20 3/177 8832
/proc/meminfo: memFree=25717032/32872528 swapFree=1390956/1568784
[pid=8828] ppid=8825 vsize=97024 CPUtime=222.26 cores=1,3,5,7
/proc/8828/stat : 8828 (open-wbo-lsu) R 8825 8828 5511 0 -1 4202496 12046 0 0 0 22221 5 0 0 20 0 1 0 5100600 99352576 23339 33554432000 4194304 6058637 140734039137440 140734039136504 4277640 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8828/statm: 24256 23339 184 456 0 23792 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 97024
[startup+282.3 s]
/proc/loadavg: 2.36 2.27 2.21 4/177 8834
/proc/meminfo: memFree=25713044/32872528 swapFree=1390956/1568784
[pid=8828] ppid=8825 vsize=97024 CPUtime=282.25 cores=1,3,5,7
/proc/8828/stat : 8828 (open-wbo-lsu) R 8825 8828 5511 0 -1 4202496 13807 0 0 0 28218 7 0 0 20 0 1 0 5100600 99352576 23339 33554432000 4194304 6058637 140734039137440 140734039136504 4277682 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8828/statm: 24256 23339 184 456 0 23792 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 97024
[startup+342.3 s]
/proc/loadavg: 2.25 2.25 2.20 3/178 8838
/proc/meminfo: memFree=25710992/32872528 swapFree=1390956/1568784
[pid=8828] ppid=8825 vsize=97024 CPUtime=342.24 cores=1,3,5,7
/proc/8828/stat : 8828 (open-wbo-lsu) R 8825 8828 5511 0 -1 4202496 15574 0 0 0 34215 9 0 0 20 0 1 0 5100600 99352576 23339 33554432000 4194304 6058637 140734039137440 140734039136504 4278328 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8828/statm: 24256 23339 184 456 0 23792 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 97024
[startup+402.3 s]
/proc/loadavg: 2.22 2.25 2.20 3/177 8839
/proc/meminfo: memFree=25674568/32872528 swapFree=1390956/1568784
[pid=8828] ppid=8825 vsize=146344 CPUtime=402.22 cores=1,3,5,7
/proc/8828/stat : 8828 (open-wbo-lsu) R 8825 8828 5511 0 -1 4202496 17342 0 0 0 40211 11 0 0 20 0 1 0 5100600 149856256 31444 33554432000 4194304 6058637 140734039137440 140734039136216 4277670 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8828/statm: 36586 31444 184 456 0 36122 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 146344
[startup+462.3 s]
/proc/loadavg: 2.28 2.26 2.20 3/177 8840
/proc/meminfo: memFree=25669472/32872528 swapFree=1390956/1568784
[pid=8828] ppid=8825 vsize=146344 CPUtime=462.22 cores=1,3,5,7
/proc/8828/stat : 8828 (open-wbo-lsu) R 8825 8828 5511 0 -1 4202496 18674 0 0 0 46208 14 0 0 20 0 1 0 5100600 149856256 32468 33554432000 4194304 6058637 140734039137440 140734039136216 4261600 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8828/statm: 36586 32468 184 456 0 36122 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 146344
[startup+522.3 s]
/proc/loadavg: 2.23 2.24 2.20 3/177 8887
/proc/meminfo: memFree=28617096/32872528 swapFree=1390956/1568784
[pid=8828] ppid=8825 vsize=108780 CPUtime=522.21 cores=1,3,5,7
/proc/8828/stat : 8828 (open-wbo-lsu) R 8825 8828 5511 0 -1 4202496 19995 0 0 0 52205 16 0 0 20 0 1 0 5100600 111390720 26320 33554432000 4194304 6058637 140734039137440 140734039136504 4277672 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8828/statm: 27195 26320 184 456 0 26731 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 108780
[startup+582.3 s]
/proc/loadavg: 2.13 2.21 2.18 3/177 8889
/proc/meminfo: memFree=28553264/32872528 swapFree=1390956/1568784
[pid=8828] ppid=8825 vsize=108780 CPUtime=582.19 cores=1,3,5,7
/proc/8828/stat : 8828 (open-wbo-lsu) R 8825 8828 5511 0 -1 4202496 21334 0 0 0 58202 17 0 0 20 0 1 0 5100600 111390720 26322 33554432000 4194304 6058637 140734039137440 140734039136504 4277589 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8828/statm: 27195 26322 184 456 0 26731 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 108780
################
# More data... #
################
[startup+942.3 s]
/proc/loadavg: 2.23 2.22 2.18 3/178 8899
/proc/meminfo: memFree=28507152/32872528 swapFree=1390956/1568784
[pid=8828] ppid=8825 vsize=158100 CPUtime=942.14 cores=1,3,5,7
/proc/8828/stat : 8828 (open-wbo-lsu) R 8825 8828 5511 0 -1 4202496 30227 0 0 0 94181 33 0 0 20 0 1 0 5100600 161894400 36233 33554432000 4194304 6058637 140734039137440 140734039136216 4277708 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8828/statm: 39525 36233 184 456 0 39061 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 158100
[startup+1002.3 s]
/proc/loadavg: 2.28 2.24 2.19 4/177 8900
/proc/meminfo: memFree=28544716/32872528 swapFree=1390956/1568784
[pid=8828] ppid=8825 vsize=158100 CPUtime=1002.13 cores=1,3,5,7
/proc/8828/stat : 8828 (open-wbo-lsu) R 8825 8828 5511 0 -1 4202496 32307 0 0 0 100176 37 0 0 20 0 1 0 5100600 161894400 35209 33554432000 4194304 6058637 140734039137440 140734039136216 4254554 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8828/statm: 39525 35209 184 456 0 39061 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 158100
[startup+1062.3 s]
/proc/loadavg: 2.23 2.22 2.18 4/177 8901
/proc/meminfo: memFree=28539104/32872528 swapFree=1390956/1568784
[pid=8828] ppid=8825 vsize=108780 CPUtime=1062.13 cores=1,3,5,7
/proc/8828/stat : 8828 (open-wbo-lsu) R 8825 8828 5511 0 -1 4202496 33967 0 0 0 106173 40 0 0 20 0 1 0 5100600 111390720 26592 33554432000 4194304 6058637 140734039137440 140734039136504 4278181 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8828/statm: 27195 26592 184 456 0 26731 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 108780
[startup+1122.3 s]
/proc/loadavg: 2.22 2.22 2.18 3/177 8902
/proc/meminfo: memFree=28473840/32872528 swapFree=1390956/1568784
[pid=8828] ppid=8825 vsize=188920 CPUtime=1122.12 cores=1,3,5,7
/proc/8828/stat : 8828 (open-wbo-lsu) R 8825 8828 5511 0 -1 4202496 36054 0 0 0 112169 43 0 0 20 0 1 0 5100600 193454080 40908 33554432000 4194304 6058637 140734039137440 140734039136472 4277708 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8828/statm: 47230 40908 184 456 0 46766 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 188920
[startup+1182.3 s]
/proc/loadavg: 2.38 2.27 2.20 4/177 8904
/proc/meminfo: memFree=28498944/32872528 swapFree=1390956/1568784
[pid=8828] ppid=8825 vsize=158100 CPUtime=1182.1 cores=1,3,5,7
/proc/8828/stat : 8828 (open-wbo-lsu) R 8825 8828 5511 0 -1 4202496 37545 0 0 0 118165 45 0 0 20 0 1 0 5100600 161894400 38793 33554432000 4194304 6058637 140734039137440 140734039136216 4278410 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8828/statm: 39525 38793 184 456 0 39061 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 158100
[startup+1242.3 s]
/proc/loadavg: 2.34 2.28 2.20 4/177 8905
/proc/meminfo: memFree=28504696/32872528 swapFree=1390956/1568784
[pid=8828] ppid=8825 vsize=158100 CPUtime=1242.1 cores=1,3,5,7
/proc/8828/stat : 8828 (open-wbo-lsu) R 8825 8828 5511 0 -1 4202496 39624 0 0 0 124161 49 0 0 20 0 1 0 5100600 161894400 34697 33554432000 4194304 6058637 140734039137440 140734039136216 4278233 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8828/statm: 39525 34697 184 456 0 39061 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 158100
[startup+1302.3 s]
/proc/loadavg: 2.29 2.27 2.20 3/177 8906
/proc/meminfo: memFree=28479492/32872528 swapFree=1390956/1568784
[pid=8828] ppid=8825 vsize=188920 CPUtime=1302.09 cores=1,3,5,7
/proc/8828/stat : 8828 (open-wbo-lsu) R 8825 8828 5511 0 -1 4202496 41269 0 0 0 130157 52 0 0 20 0 1 0 5100600 193454080 40908 33554432000 4194304 6058637 140734039137440 140734039136472 4277708 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8828/statm: 47230 40908 184 456 0 46766 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 188920
[startup+1362.3 s]
/proc/loadavg: 2.27 2.27 2.20 4/177 8907
/proc/meminfo: memFree=28492020/32872528 swapFree=1390956/1568784
[pid=8828] ppid=8825 vsize=158100 CPUtime=1362.08 cores=1,3,5,7
/proc/8828/stat : 8828 (open-wbo-lsu) R 8825 8828 5511 0 -1 4202496 42756 0 0 0 136153 55 0 0 20 0 1 0 5100600 161894400 36233 33554432000 4194304 6058637 140734039137440 140734039136216 4277357 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8828/statm: 39525 36233 184 456 0 39061 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 158100
[startup+1422.3 s]
/proc/loadavg: 2.34 2.28 2.20 3/177 8908
/proc/meminfo: memFree=28473336/32872528 swapFree=1390956/1568784
[pid=8828] ppid=8825 vsize=188920 CPUtime=1422.08 cores=1,3,5,7
/proc/8828/stat : 8828 (open-wbo-lsu) R 8825 8828 5511 0 -1 4202496 44393 0 0 0 142150 58 0 0 20 0 1 0 5100600 193454080 40908 33554432000 4194304 6058637 140734039137440 140734039136472 4277708 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8828/statm: 47230 40908 184 456 0 46766 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 188920
[startup+1482.3 s]
/proc/loadavg: 2.25 2.26 2.20 3/177 8910
/proc/meminfo: memFree=28494436/32872528 swapFree=1390956/1568784
[pid=8828] ppid=8825 vsize=158100 CPUtime=1482.06 cores=1,3,5,7
/proc/8828/stat : 8828 (open-wbo-lsu) R 8825 8828 5511 0 -1 4202496 45887 0 0 0 148146 60 0 0 20 0 1 0 5100600 161894400 36233 33554432000 4194304 6058637 140734039137440 140734039136216 4254558 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8828/statm: 39525 36233 184 456 0 39061 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 158100
[startup+1542.31 s]
/proc/loadavg: 2.21 2.24 2.19 4/178 8914
/proc/meminfo: memFree=28479684/32872528 swapFree=1390956/1568784
[pid=8828] ppid=8825 vsize=188920 CPUtime=1542.06 cores=1,3,5,7
/proc/8828/stat : 8828 (open-wbo-lsu) R 8825 8828 5511 0 -1 4202496 47530 0 0 0 154143 63 0 0 20 0 1 0 5100600 193454080 40908 33554432000 4194304 6058637 140734039137440 140734039136472 4277357 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8828/statm: 47230 40908 184 456 0 46766 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 188920
[startup+1602.3 s]
/proc/loadavg: 2.22 2.24 2.19 3/177 8915
/proc/meminfo: memFree=28479732/32872528 swapFree=1390956/1568784
[pid=8828] ppid=8825 vsize=188920 CPUtime=1602.04 cores=1,3,5,7
/proc/8828/stat : 8828 (open-wbo-lsu) R 8825 8828 5511 0 -1 4202496 48578 0 0 0 160139 65 0 0 20 0 1 0 5100600 193454080 42956 33554432000 4194304 6058637 140734039137440 140734039136472 4254832 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8828/statm: 47230 42956 184 456 0 46766 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 188920
[startup+1662.3 s]
/proc/loadavg: 2.18 2.22 2.18 3/177 8916
/proc/meminfo: memFree=28485928/32872528 swapFree=1390956/1568784
[pid=8828] ppid=8825 vsize=158100 CPUtime=1662.03 cores=1,3,5,7
/proc/8828/stat : 8828 (open-wbo-lsu) R 8825 8828 5511 0 -1 4202496 50074 0 0 0 166135 68 0 0 20 0 1 0 5100600 161894400 35721 33554432000 4194304 6058637 140734039137440 140734039136216 4278162 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8828/statm: 39525 35721 184 456 0 39061 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 158100
[startup+1722.3 s]
/proc/loadavg: 2.25 2.22 2.18 4/177 8917
/proc/meminfo: memFree=28485528/32872528 swapFree=1390956/1568784
[pid=8828] ppid=8825 vsize=158100 CPUtime=1722.03 cores=1,3,5,7
/proc/8828/stat : 8828 (open-wbo-lsu) R 8825 8828 5511 0 -1 4202496 51126 0 0 0 172133 70 0 0 20 0 1 0 5100600 161894400 38793 33554432000 4194304 6058637 140734039137440 140734039136216 4277357 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8828/statm: 39525 38793 184 456 0 39061 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 158100
[startup+1782.3 s]
/proc/loadavg: 2.24 2.23 2.18 3/177 8919
/proc/meminfo: memFree=28453732/32872528 swapFree=1390956/1568784
[pid=8828] ppid=8825 vsize=188920 CPUtime=1782.01 cores=1,3,5,7
/proc/8828/stat : 8828 (open-wbo-lsu) R 8825 8828 5511 0 -1 4202496 52768 0 0 0 178129 72 0 0 20 0 1 0 5100600 193454080 41420 33554432000 4194304 6058637 140734039137440 140734039136472 4254977 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8828/statm: 47230 41420 184 456 0 46766 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 188920
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.24 2.23 2.18 3/177 8919
/proc/meminfo: memFree=28498008/32872528 swapFree=1390956/1568784
[pid=8828] ppid=8825 vsize=158100 CPUtime=1800.01 cores=1,3,5,7
/proc/8828/stat : 8828 (open-wbo-lsu) R 8825 8828 5511 0 -1 4202496 53212 0 0 0 179928 73 0 0 20 0 1 0 5100600 161894400 34697 33554432000 4194304 6058637 140734039137440 140734039136216 4277655 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8828/statm: 39525 34697 184 456 0 39061 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 158100
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 8828 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1800.3 s]
/proc/loadavg: 2.24 2.23 2.18 3/177 8919
/proc/meminfo: memFree=28498008/32872528 swapFree=1390956/1568784
[pid=8828] ppid=8825 vsize=158100 CPUtime=1800.01 cores=1,3,5,7
/proc/8828/stat : 8828 (open-wbo-lsu) R 8825 8828 5511 0 -1 4202496 53212 0 0 0 179928 73 0 0 20 0 1 0 5100600 161894400 34697 33554432000 4194304 6058637 140734039137440 140734039136216 4277655 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/8828/statm: 39525 34697 184 456 0 39061 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 158100
Child status: 40
Real time (s): 1800.3
CPU time (s): 1800.02
CPU user time (s): 1799.29
CPU system time (s): 0.736887
CPU usage (%): 99.9845
Max. virtual memory (cumulated for all children) (KiB): 188920
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.29
system time used= 0.736887
maximum resident set size= 175920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53214
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.6053 second user time and 6.85596 second system time
The end