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-4253402-1500936312/watcher-4253402-1500936312 -o /tmp/evaluation-result-4253402-1500936312/solver-4253402-1500936312 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node102-1500914928-3983 --watchdog 2560 miniBTD 2400 HOME/instance-4253402-1500936312.xml
pid=9247
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 9250
/proc/meminfo: memFree=31998932/32770624 swapFree=5872/189728
[pid=9250] ppid=9247 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/9250/stat : 9250 (miniBTD) R 9247 9250 3951 0 -1 4202496 766 0 0 0 0 0 0 0 20 0 1 0 3170293 26492928 535 33554432000 4194304 4832315 140720335549952 140720335546952 140365088963557 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932504 6936608 26722304 140720335553778 140720335553858 140720335553858 140720335556557 0
/proc/9250/statm: 6468 535 457 156 0 110 0
[startup+0.100108 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 9250
/proc/meminfo: memFree=31998932/32770624 swapFree=5872/189728
[pid=9250] ppid=9247 vsize=30396 CPUtime=0.09 cores=1,3,5,7
/proc/9250/stat : 9250 (miniBTD) R 9247 9250 3951 0 -1 4202496 3786 0 0 0 9 0 0 0 20 0 1 0 3170293 31125504 1704 33554432000 4194304 4832315 140720335549952 140720335546952 140365088959294 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932504 6936608 26722304 140720335553778 140720335553858 140720335553858 140720335556557 0
/proc/9250/statm: 7599 1704 512 156 0 1241 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30396
[startup+0.200254 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 9250
/proc/meminfo: memFree=31998932/32770624 swapFree=5872/189728
[pid=9250] ppid=9247 vsize=31284 CPUtime=0.19 cores=1,3,5,7
/proc/9250/stat : 9250 (miniBTD) R 9247 9250 3951 0 -1 4202496 8175 0 0 0 18 1 0 0 20 0 1 0 3170293 32034816 1952 33554432000 4194304 4832315 140720335549952 140720335546952 4274733 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932504 6936608 26722304 140720335553778 140720335553858 140720335553858 140720335556557 0
/proc/9250/statm: 7821 1952 542 156 0 1463 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 31284
[startup+0.300205 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 9250
/proc/meminfo: memFree=31998932/32770624 swapFree=5872/189728
[pid=9250] ppid=9247 vsize=31548 CPUtime=0.29 cores=1,3,5,7
/proc/9250/stat : 9250 (miniBTD) R 9247 9250 3951 0 -1 4202496 8250 0 0 0 28 1 0 0 20 0 1 0 3170293 32305152 2018 33554432000 4194304 4832315 140720335549952 140720335546952 140365089887792 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932504 6936608 26722304 140720335553778 140720335553858 140720335553858 140720335556557 0
/proc/9250/statm: 7887 2018 542 156 0 1529 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 31548
[startup+0.700175 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 9250
/proc/meminfo: memFree=31998932/32770624 swapFree=5872/189728
[pid=9250] ppid=9247 vsize=32604 CPUtime=0.69 cores=1,3,5,7
/proc/9250/stat : 9250 (miniBTD) R 9247 9250 3951 0 -1 4202496 8523 0 0 0 68 1 0 0 20 0 1 0 3170293 33386496 2282 33554432000 4194304 4832315 140720335549952 140720335546952 4210080 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932504 6936608 26722304 140720335553778 140720335553858 140720335553858 140720335556557 0
/proc/9250/statm: 8151 2282 542 156 0 1793 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 32604
[startup+1.50017 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 9251
/proc/meminfo: memFree=31990200/32770624 swapFree=5872/189728
[pid=9250] ppid=9247 vsize=35992 CPUtime=1.49 cores=1,3,5,7
/proc/9250/stat : 9250 (miniBTD) R 9247 9250 3951 0 -1 4202496 9361 0 0 0 148 1 0 0 20 0 1 0 3170293 36855808 3157 33554432000 4194304 4832315 140720335549952 140720335544872 4211392 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932504 6936608 26722304 140720335553778 140720335553858 140720335553858 140720335556557 0
/proc/9250/statm: 8998 3157 545 156 0 2640 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 35992
[startup+3.10025 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 9251
/proc/meminfo: memFree=31985736/32770624 swapFree=5872/189728
[pid=9250] ppid=9247 vsize=77360 CPUtime=3.09 cores=1,3,5,7
/proc/9250/stat : 9250 (miniBTD) R 9247 9250 3951 0 -1 4202496 22932 0 0 0 307 2 0 0 20 0 1 0 3170293 79216640 13505 33554432000 4194304 4832315 140720335549952 140720335544872 4447068 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932504 6936608 26722304 140720335553778 140720335553858 140720335553858 140720335556557 0
/proc/9250/statm: 19340 13505 574 156 0 12982 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 77360
[startup+6.30021 s]
/proc/loadavg: 1.93 2.00 2.04 3/182 9251
/proc/meminfo: memFree=31944080/32770624 swapFree=5872/189776
[pid=9250] ppid=9247 vsize=80484 CPUtime=6.29 cores=1,3,5,7
/proc/9250/stat : 9250 (miniBTD) R 9247 9250 3951 0 -1 4202496 27140 0 0 0 626 3 0 0 20 0 1 0 3170293 82415616 14235 33554432000 4194304 4832315 140720335549952 140720335547672 4323166 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932504 6936608 26722304 140720335553778 140720335553858 140720335553858 140720335556557 0
/proc/9250/statm: 20121 14235 586 156 0 13763 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 80484
[startup+12.7002 s]
/proc/loadavg: 1.94 2.00 2.04 3/182 9251
/proc/meminfo: memFree=31944336/32770624 swapFree=5872/189776
[pid=9250] ppid=9247 vsize=80632 CPUtime=12.69 cores=1,3,5,7
/proc/9250/stat : 9250 (miniBTD) R 9247 9250 3951 0 -1 4202496 30718 0 0 0 1266 3 0 0 20 0 1 0 3170293 82567168 14283 33554432000 4194304 4832315 140720335549952 140720335547672 4362039 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932504 6936608 26722304 140720335553778 140720335553858 140720335553858 140720335556557 0
/proc/9250/statm: 20158 14283 586 156 0 13800 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 80632
[startup+25.5003 s]
/proc/loadavg: 1.95 2.00 2.04 3/182 9251
/proc/meminfo: memFree=31943908/32770624 swapFree=5872/189792
[pid=9250] ppid=9247 vsize=80912 CPUtime=25.48 cores=1,3,5,7
/proc/9250/stat : 9250 (miniBTD) R 9247 9250 3951 0 -1 4202496 32136 0 0 0 2543 5 0 0 20 0 1 0 3170293 82853888 14341 33554432000 4194304 4832315 140720335549952 140720335547672 4322166 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932504 6936608 26722304 140720335553778 140720335553858 140720335553858 140720335556557 0
/proc/9250/statm: 20228 14341 586 156 0 13870 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 80912
[startup+51.1002 s]
/proc/loadavg: 1.97 2.00 2.04 3/182 9251
/proc/meminfo: memFree=31943256/32770624 swapFree=5872/189804
[pid=9250] ppid=9247 vsize=81604 CPUtime=51.09 cores=1,3,5,7
/proc/9250/stat : 9250 (miniBTD) R 9247 9250 3951 0 -1 4202496 32639 0 0 0 5101 8 0 0 20 0 1 0 3170293 83562496 14541 33554432000 4194304 4832315 140720335549952 140720335547672 4322194 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932504 6936608 26722304 140720335553778 140720335553858 140720335553858 140720335556557 0
/proc/9250/statm: 20401 14541 586 156 0 14043 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 81604
[startup+102.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/182 9252
/proc/meminfo: memFree=31942764/32770624 swapFree=5872/189836
[pid=9250] ppid=9247 vsize=83052 CPUtime=102.3 cores=1,3,5,7
/proc/9250/stat : 9250 (miniBTD) R 9247 9250 3951 0 -1 4202496 33376 0 0 0 10217 13 0 0 20 0 1 0 3170293 85045248 14882 33554432000 4194304 4832315 140720335549952 140720335547672 140365089227132 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932504 6936608 26722304 140720335553778 140720335553858 140720335553858 140720335556557 0
/proc/9250/statm: 20763 14882 586 156 0 14405 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 83052
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/182 9253
/proc/meminfo: memFree=31941964/32770624 swapFree=5872/189872
[pid=9250] ppid=9247 vsize=83468 CPUtime=162.29 cores=1,3,5,7
/proc/9250/stat : 9250 (miniBTD) R 9247 9250 3951 0 -1 4202496 33778 0 0 0 16213 16 0 0 20 0 1 0 3170293 85471232 15050 33554432000 4194304 4832315 140720335549952 140720335547672 4323747 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932504 6936608 26722304 140720335553778 140720335553858 140720335553858 140720335556557 0
/proc/9250/statm: 20867 15050 586 156 0 14509 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 83468
[startup+222.306 s]
/proc/loadavg: 2.00 2.00 2.04 3/182 9254
/proc/meminfo: memFree=31941868/32770624 swapFree=5872/189892
[pid=9250] ppid=9247 vsize=83744 CPUtime=222.3 cores=1,3,5,7
/proc/9250/stat : 9250 (miniBTD) R 9247 9250 3951 0 -1 4202496 33997 0 0 0 22212 18 0 0 20 0 1 0 3170293 85753856 15114 33554432000 4194304 4832315 140720335549952 140720335547672 4322254 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932504 6936608 26722304 140720335553778 140720335553858 140720335553858 140720335556557 0
/proc/9250/statm: 20936 15114 586 156 0 14578 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 83744
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/182 9255
/proc/meminfo: memFree=31941996/32770624 swapFree=5872/189920
[pid=9250] ppid=9247 vsize=83880 CPUtime=282.31 cores=1,3,5,7
/proc/9250/stat : 9250 (miniBTD) R 9247 9250 3951 0 -1 4202496 34046 0 0 0 28210 21 0 0 20 0 1 0 3170293 85893120 15143 33554432000 4194304 4832315 140720335549952 140720335547672 140365089227132 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932504 6936608 26722304 140720335553778 140720335553858 140720335553858 140720335556557 0
/proc/9250/statm: 20970 15143 586 156 0 14612 0
Current children cumulated CPU time (s) 282.31
Current children cumulated vsize (KiB) 83880
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/182 9263
/proc/meminfo: memFree=31941720/32770624 swapFree=5872/189960
[pid=9250] ppid=9247 vsize=84164 CPUtime=342.31 cores=1,3,5,7
/proc/9250/stat : 9250 (miniBTD) R 9247 9250 3951 0 -1 4202496 34342 0 0 0 34207 24 0 0 20 0 1 0 3170293 86183936 15247 33554432000 4194304 4832315 140720335549952 140720335547672 140365089227132 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932504 6936608 26722304 140720335553778 140720335553858 140720335553858 140720335556557 0
/proc/9250/statm: 21041 15247 586 156 0 14683 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 84164
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/182 9264
/proc/meminfo: memFree=31941552/32770624 swapFree=5872/190000
[pid=9250] ppid=9247 vsize=84452 CPUtime=402.31 cores=1,3,5,7
/proc/9250/stat : 9250 (miniBTD) R 9247 9250 3951 0 -1 4202496 34395 0 0 0 40205 26 0 0 20 0 1 0 3170293 86478848 15247 33554432000 4194304 4832315 140720335549952 140720335547672 4323742 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932504 6936608 26722304 140720335553778 140720335553858 140720335553858 140720335556557 0
/proc/9250/statm: 21113 15247 586 156 0 14755 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 84452
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/182 9265
/proc/meminfo: memFree=31941628/32770624 swapFree=5872/190036
[pid=9250] ppid=9247 vsize=84452 CPUtime=462.32 cores=1,3,5,7
/proc/9250/stat : 9250 (miniBTD) R 9247 9250 3951 0 -1 4202496 34468 0 0 0 46205 27 0 0 20 0 1 0 3170293 86478848 15300 33554432000 4194304 4832315 140720335549952 140720335547672 4322254 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932504 6936608 26722304 140720335553778 140720335553858 140720335553858 140720335556557 0
/proc/9250/statm: 21113 15300 586 156 0 14755 0
Current children cumulated CPU time (s) 462.32
Current children cumulated vsize (KiB) 84452
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/182 9266
/proc/meminfo: memFree=31941520/32770624 swapFree=5872/190064
[pid=9250] ppid=9247 vsize=84596 CPUtime=522.32 cores=1,3,5,7
/proc/9250/stat : 9250 (miniBTD) R 9247 9250 3951 0 -1 4202496 34550 0 0 0 52203 29 0 0 20 0 1 0 3170293 86626304 15342 33554432000 4194304 4832315 140720335549952 140720335547672 4322250 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932504 6936608 26722304 140720335553778 140720335553858 140720335553858 140720335556557 0
/proc/9250/statm: 21149 15342 586 156 0 14791 0
Current children cumulated CPU time (s) 522.32
Current children cumulated vsize (KiB) 84596
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/182 9267
/proc/meminfo: memFree=31941496/32770624 swapFree=5872/190092
[pid=9250] ppid=9247 vsize=84596 CPUtime=582.33 cores=1,3,5,7
/proc/9250/stat : 9250 (miniBTD) R 9247 9250 3951 0 -1 4202496 34633 0 0 0 58203 30 0 0 20 0 1 0 3170293 86626304 15355 33554432000 4194304 4832315 140720335549952 140720335547672 4322170 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932504 6936608 26722304 140720335553778 140720335553858 140720335553858 140720335556557 0
/proc/9250/statm: 21149 15355 586 156 0 14791 0
Current children cumulated CPU time (s) 582.33
Current children cumulated vsize (KiB) 84596
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.05 2.03 2.05 3/183 9347
/proc/meminfo: memFree=31938700/32770624 swapFree=5872/190576
[pid=9250] ppid=9247 vsize=86080 CPUtime=1542.41 cores=1,3,5,7
/proc/9250/stat : 9250 (miniBTD) R 9247 9250 3951 0 -1 4202496 36525 0 0 0 154163 78 0 0 20 0 1 0 3170293 88145920 15735 33554432000 4194304 4832315 140720335549952 140720335547672 140365089227132 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932504 6936608 26722304 140720335553778 140720335553858 140720335553858 140720335556557 0
/proc/9250/statm: 21520 15735 586 156 0 15162 0
Current children cumulated CPU time (s) 1542.41
Current children cumulated vsize (KiB) 86080
[startup+1602.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/183 9348
/proc/meminfo: memFree=31938596/32770624 swapFree=5872/190604
[pid=9250] ppid=9247 vsize=86080 CPUtime=1602.41 cores=1,3,5,7
/proc/9250/stat : 9250 (miniBTD) R 9247 9250 3951 0 -1 4202496 36525 0 0 0 160160 81 0 0 20 0 1 0 3170293 88145920 15735 33554432000 4194304 4832315 140720335549952 140720335547672 4322246 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932504 6936608 26722304 140720335553778 140720335553858 140720335553858 140720335556557 0
/proc/9250/statm: 21520 15735 586 156 0 15162 0
Current children cumulated CPU time (s) 1602.41
Current children cumulated vsize (KiB) 86080
[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/183 9349
/proc/meminfo: memFree=31938468/32770624 swapFree=5872/190640
[pid=9250] ppid=9247 vsize=86216 CPUtime=1662.41 cores=1,3,5,7
/proc/9250/stat : 9250 (miniBTD) R 9247 9250 3951 0 -1 4202496 36589 0 0 0 166159 82 0 0 20 0 1 0 3170293 88285184 15761 33554432000 4194304 4832315 140720335549952 140720335547672 4322194 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932504 6936608 26722304 140720335553778 140720335553858 140720335553858 140720335556557 0
/proc/9250/statm: 21554 15761 586 156 0 15196 0
Current children cumulated CPU time (s) 1662.41
Current children cumulated vsize (KiB) 86216
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/183 9350
/proc/meminfo: memFree=31938220/32770624 swapFree=5872/190672
[pid=9250] ppid=9247 vsize=86216 CPUtime=1722.42 cores=1,3,5,7
/proc/9250/stat : 9250 (miniBTD) R 9247 9250 3951 0 -1 4202496 36589 0 0 0 172158 84 0 0 20 0 1 0 3170293 88285184 15761 33554432000 4194304 4832315 140720335549952 140720335547672 4323747 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932504 6936608 26722304 140720335553778 140720335553858 140720335553858 140720335556557 0
/proc/9250/statm: 21554 15761 586 156 0 15196 0
Current children cumulated CPU time (s) 1722.42
Current children cumulated vsize (KiB) 86216
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 9351
/proc/meminfo: memFree=31938196/32770624 swapFree=5872/190700
[pid=9250] ppid=9247 vsize=86216 CPUtime=1782.43 cores=1,3,5,7
/proc/9250/stat : 9250 (miniBTD) R 9247 9250 3951 0 -1 4202496 36618 0 0 0 178157 86 0 0 20 0 1 0 3170293 88285184 15761 33554432000 4194304 4832315 140720335549952 140720335547672 4323259 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932504 6936608 26722304 140720335553778 140720335553858 140720335553858 140720335556557 0
/proc/9250/statm: 21554 15761 586 156 0 15196 0
Current children cumulated CPU time (s) 1782.43
Current children cumulated vsize (KiB) 86216
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9352
/proc/meminfo: memFree=31937872/32770624 swapFree=5872/190728
[pid=9250] ppid=9247 vsize=86216 CPUtime=1842.43 cores=1,3,5,7
/proc/9250/stat : 9250 (miniBTD) R 9247 9250 3951 0 -1 4202496 36643 0 0 0 184156 87 0 0 20 0 1 0 3170293 88285184 15761 33554432000 4194304 4832315 140720335549952 140720335547672 4322144 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932504 6936608 26722304 140720335553778 140720335553858 140720335553858 140720335556557 0
/proc/9250/statm: 21554 15761 586 156 0 15196 0
Current children cumulated CPU time (s) 1842.43
Current children cumulated vsize (KiB) 86216
[startup+1902.3 s]
/proc/loadavg: 1.40 1.84 1.99 2/175 9398
/proc/meminfo: memFree=31968476/32770624 swapFree=5872/190264
[pid=9250] ppid=9247 vsize=86348 CPUtime=1902.43 cores=1,3,5,7
/proc/9250/stat : 9250 (miniBTD) R 9247 9250 3951 0 -1 4202496 36722 0 0 0 190152 91 0 0 20 0 1 0 3170293 88420352 15781 33554432000 4194304 4832315 140720335549952 140720335547672 4322194 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932504 6936608 26722304 140720335553778 140720335553858 140720335553858 140720335556557 0
/proc/9250/statm: 21587 15781 586 156 0 15229 0
Current children cumulated CPU time (s) 1902.43
Current children cumulated vsize (KiB) 86348
[startup+1962.3 s]
/proc/loadavg: 1.15 1.69 1.92 2/175 9399
/proc/meminfo: memFree=31968820/32770624 swapFree=5872/190292
[pid=9250] ppid=9247 vsize=86348 CPUtime=1962.44 cores=1,3,5,7
/proc/9250/stat : 9250 (miniBTD) R 9247 9250 3951 0 -1 4202496 36744 0 0 0 196147 97 0 0 20 0 1 0 3170293 88420352 15781 33554432000 4194304 4832315 140720335549952 140720335547672 140365089227132 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932504 6936608 26722304 140720335553778 140720335553858 140720335553858 140720335556557 0
/proc/9250/statm: 21587 15781 586 156 0 15229 0
Current children cumulated CPU time (s) 1962.44
Current children cumulated vsize (KiB) 86348
[startup+2022.3 s]
/proc/loadavg: 1.05 1.56 1.87 2/175 9400
/proc/meminfo: memFree=31969228/32770624 swapFree=5872/190312
[pid=9250] ppid=9247 vsize=86348 CPUtime=2022.45 cores=1,3,5,7
/proc/9250/stat : 9250 (miniBTD) R 9247 9250 3951 0 -1 4202496 36794 0 0 0 202144 101 0 0 20 0 1 0 3170293 88420352 15803 33554432000 4194304 4832315 140720335549952 140720335547672 4322254 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932504 6936608 26722304 140720335553778 140720335553858 140720335553858 140720335556557 0
/proc/9250/statm: 21587 15803 586 156 0 15229 0
Current children cumulated CPU time (s) 2022.45
Current children cumulated vsize (KiB) 86348
[startup+2082.3 s]
/proc/loadavg: 1.02 1.46 1.81 2/175 9401
/proc/meminfo: memFree=31969876/32770624 swapFree=5872/190328
[pid=9250] ppid=9247 vsize=86348 CPUtime=2082.46 cores=1,3,5,7
/proc/9250/stat : 9250 (miniBTD) R 9247 9250 3951 0 -1 4202496 36794 0 0 0 208143 103 0 0 20 0 1 0 3170293 88420352 15803 33554432000 4194304 4832315 140720335549952 140720335547672 4322258 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932504 6936608 26722304 140720335553778 140720335553858 140720335553858 140720335556557 0
/proc/9250/statm: 21587 15803 586 156 0 15229 0
Current children cumulated CPU time (s) 2082.46
Current children cumulated vsize (KiB) 86348
[startup+2142.3 s]
/proc/loadavg: 1.01 1.38 1.76 2/175 9409
/proc/meminfo: memFree=31969524/32770624 swapFree=5872/190356
[pid=9250] ppid=9247 vsize=86348 CPUtime=2142.45 cores=1,3,5,7
/proc/9250/stat : 9250 (miniBTD) R 9247 9250 3951 0 -1 4202496 36842 0 0 0 214142 103 0 0 20 0 1 0 3170293 88420352 15803 33554432000 4194304 4832315 140720335549952 140720335547672 4322194 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932504 6936608 26722304 140720335553778 140720335553858 140720335553858 140720335556557 0
/proc/9250/statm: 21587 15803 586 156 0 15229 0
Current children cumulated CPU time (s) 2142.45
Current children cumulated vsize (KiB) 86348
[startup+2202.31 s]
/proc/loadavg: 1.00 1.31 1.71 2/175 9410
/proc/meminfo: memFree=31969636/32770624 swapFree=5872/190380
[pid=9250] ppid=9247 vsize=86488 CPUtime=2202.47 cores=1,3,5,7
/proc/9250/stat : 9250 (miniBTD) R 9247 9250 3951 0 -1 4202496 36861 0 0 0 220141 106 0 0 20 0 1 0 3170293 88563712 15806 33554432000 4194304 4832315 140720335549952 140720335547672 4322194 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932504 6936608 26722304 140720335553778 140720335553858 140720335553858 140720335556557 0
/proc/9250/statm: 21622 15806 586 156 0 15264 0
Current children cumulated CPU time (s) 2202.47
Current children cumulated vsize (KiB) 86488
[startup+2262.3 s]
/proc/loadavg: 1.00 1.25 1.67 2/175 9411
/proc/meminfo: memFree=31969700/32770624 swapFree=5872/190400
[pid=9250] ppid=9247 vsize=86624 CPUtime=2262.46 cores=1,3,5,7
/proc/9250/stat : 9250 (miniBTD) R 9247 9250 3951 0 -1 4202496 36954 0 0 0 226133 113 0 0 20 0 1 0 3170293 88702976 15837 33554432000 4194304 4832315 140720335549952 140720335547672 4322246 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932504 6936608 26722304 140720335553778 140720335553858 140720335553858 140720335556557 0
/proc/9250/statm: 21656 15837 586 156 0 15298 0
Current children cumulated CPU time (s) 2262.46
Current children cumulated vsize (KiB) 86624
[startup+2322.3 s]
/proc/loadavg: 1.00 1.21 1.63 2/175 9412
/proc/meminfo: memFree=31969560/32770624 swapFree=5872/190424
[pid=9250] ppid=9247 vsize=86624 CPUtime=2322.47 cores=1,3,5,7
/proc/9250/stat : 9250 (miniBTD) R 9247 9250 3951 0 -1 4202496 36984 0 0 0 232128 119 0 0 20 0 1 0 3170293 88702976 15854 33554432000 4194304 4832315 140720335549952 140720335547672 140365089227132 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932504 6936608 26722304 140720335553778 140720335553858 140720335553858 140720335556557 0
/proc/9250/statm: 21656 15854 586 156 0 15298 0
Current children cumulated CPU time (s) 2322.47
Current children cumulated vsize (KiB) 86624
[startup+2382.3 s]
/proc/loadavg: 1.00 1.17 1.59 2/175 9413
/proc/meminfo: memFree=31969436/32770624 swapFree=5872/190444
[pid=9250] ppid=9247 vsize=86764 CPUtime=2382.48 cores=1,3,5,7
/proc/9250/stat : 9250 (miniBTD) R 9247 9250 3951 0 -1 4202496 37085 0 0 0 238123 125 0 0 20 0 1 0 3170293 88846336 15878 33554432000 4194304 4832315 140720335549952 140720335547672 140365089227132 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932504 6936608 26722304 140720335553778 140720335553858 140720335553858 140720335556557 0
/proc/9250/statm: 21691 15878 586 156 0 15333 0
Current children cumulated CPU time (s) 2382.48
Current children cumulated vsize (KiB) 86764
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2399.9 s]
/proc/loadavg: 1.00 1.16 1.58 2/175 9415
/proc/meminfo: memFree=31969564/32770624 swapFree=5872/190464
[pid=9250] ppid=9247 vsize=76728 CPUtime=2400.07 cores=1,3,5,7
/proc/9250/stat : 9250 (miniBTD) R 9247 9250 3951 0 -1 4202496 37235 0 0 0 239881 126 0 0 20 0 1 0 3170293 78569472 13413 33554432000 4194304 4832315 140720335549952 140720335547672 4441740 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932504 6936608 26722304 140720335553778 140720335553858 140720335553858 140720335556557 0
/proc/9250/statm: 19182 13413 598 156 0 12824 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 76728
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 9250 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2399.9 s]
/proc/loadavg: 1.00 1.16 1.58 2/175 9415
/proc/meminfo: memFree=31969564/32770624 swapFree=5872/190464
[pid=9250] ppid=9247 vsize=76728 CPUtime=2400.07 cores=1,3,5,7
/proc/9250/stat : 9250 (miniBTD) R 9247 9250 3951 0 -1 4202496 37235 0 0 0 239881 126 0 0 20 0 1 0 3170293 78569472 13413 33554432000 4194304 4832315 140720335549952 140720335547672 4441740 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932504 6936608 26722304 140720335553778 140720335553858 140720335553858 140720335556557 0
/proc/9250/statm: 19182 13413 598 156 0 12824 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 76728
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2399.9
CPU time (s): 2400.09
CPU user time (s): 2398.82
CPU system time (s): 1.2671
CPU usage (%): 100.008
Max. virtual memory (cumulated for all children) (KiB): 86764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.82
system time used= 1.2671
maximum resident set size= 63560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37235
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= 19
involuntary context switches= 713
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.13223 second user time and 8.9569 second system time
The end