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-4252842-1501991057/watcher-4252842-1501991057 -o /tmp/evaluation-result-4252842-1501991057/solver-4252842-1501991057 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1501978194-17166 --watchdog 2560 miniBTD 2400 HOME/instance-4252842-1501991057.xml
pid=19188
running on 4 cores: 0,2,4,6
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.04 2.04 2.05 3/188 19191
/proc/meminfo: memFree=28888020/32770624 swapFree=0/383636
[pid=19191] ppid=19188 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/19191/stat : 19191 (runsolver) D 19188 19191 15278 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 46611644 24240128 108 18446744073709551615 4194304 4338465 140722593284144 140722593281784 140341467787991 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 33554432 140722593292496 140722593292873 140722593292873 140722593296330 0
/proc/19191/statm: 5918 108 54 36 0 2156 0
[startup+0.100108 s]
/proc/loadavg: 2.04 2.04 2.05 3/188 19191
/proc/meminfo: memFree=28888020/32770624 swapFree=0/383636
[pid=19191] ppid=19188 vsize=26096 CPUtime=0.01 cores=0,2,4,6
/proc/19191/stat : 19191 (miniBTD) R 19188 19191 15278 0 -1 4202496 822 0 0 0 1 0 0 0 20 0 1 0 46611644 26722304 647 18446744073709551615 4194304 4832315 140721661175984 140721661172984 4215830 0 0 1 0 0 0 0 17 0 0 0 8 0 0 6932504 6936608 16482304 140721661178364 140721661178444 140721661178444 140721661181901 0
/proc/19191/statm: 6524 647 515 156 0 166 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 26096
[startup+0.200217 s]
/proc/loadavg: 2.04 2.04 2.05 3/188 19191
/proc/meminfo: memFree=28888020/32770624 swapFree=0/383636
[pid=19191] ppid=19188 vsize=27072 CPUtime=0.11 cores=0,2,4,6
/proc/19191/stat : 19191 (miniBTD) R 19188 19191 15278 0 -1 4202496 1260 0 0 0 11 0 0 0 20 0 1 0 46611644 27721728 901 18446744073709551615 4194304 4832315 140721661175984 140721661172984 4217326 0 0 1 0 0 0 0 17 0 0 0 8 0 0 6932504 6936608 16482304 140721661178364 140721661178444 140721661178444 140721661181901 0
/proc/19191/statm: 6768 901 515 156 0 410 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 27072
[startup+0.300204 s]
/proc/loadavg: 2.04 2.04 2.05 3/188 19191
/proc/meminfo: memFree=28888020/32770624 swapFree=0/383636
[pid=19191] ppid=19188 vsize=27896 CPUtime=0.2 cores=0,2,4,6
/proc/19191/stat : 19191 (miniBTD) R 19188 19191 15278 0 -1 4202496 1800 0 0 0 20 0 0 0 20 0 1 0 46611644 28565504 1112 18446744073709551615 4194304 4832315 140721661175984 140721661172536 4216677 0 0 1 0 0 0 0 17 0 0 0 8 0 0 6932504 6936608 16482304 140721661178364 140721661178444 140721661178444 140721661181901 0
/proc/19191/statm: 6974 1112 515 156 0 616 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 27896
[startup+0.700177 s]
/proc/loadavg: 2.04 2.04 2.05 3/188 19191
/proc/meminfo: memFree=28888020/32770624 swapFree=0/383636
[pid=19191] ppid=19188 vsize=31340 CPUtime=0.6 cores=0,2,4,6
/proc/19191/stat : 19191 (miniBTD) R 19188 19191 15278 0 -1 4202496 4588 0 0 0 60 0 0 0 20 0 1 0 46611644 32092160 1982 18446744073709551615 4194304 4832315 140721661175984 140721661172536 4217005 0 0 1 0 0 0 0 17 0 0 0 8 0 0 6932504 6936608 16482304 140721661178364 140721661178444 140721661178444 140721661181901 0
/proc/19191/statm: 7835 1982 515 156 0 1477 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 31340
[startup+1.50028 s]
/proc/loadavg: 2.04 2.04 2.05 3/189 19192
/proc/meminfo: memFree=28878644/32770624 swapFree=0/383672
[pid=19191] ppid=19188 vsize=38180 CPUtime=1.4 cores=0,2,4,6
/proc/19191/stat : 19191 (miniBTD) R 19188 19191 15278 0 -1 4202496 9006 0 0 0 139 1 0 0 20 0 1 0 46611644 39096320 3692 18446744073709551615 4194304 4832315 140721661175984 140721661172536 140153411875820 0 0 1 0 0 0 0 17 2 0 0 8 0 0 6932504 6936608 16482304 140721661178364 140721661178444 140721661178444 140721661181901 0
/proc/19191/statm: 9545 3692 515 156 0 3187 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 38180
[startup+3.10028 s]
/proc/loadavg: 2.04 2.04 2.05 3/189 19192
/proc/meminfo: memFree=28866616/32770624 swapFree=0/383672
[pid=19191] ppid=19188 vsize=59512 CPUtime=3.01 cores=0,2,4,6
/proc/19191/stat : 19191 (miniBTD) R 19188 19191 15278 0 -1 4202496 17488 0 0 0 299 2 0 0 20 0 1 0 46611644 60940288 9004 18446744073709551615 4194304 4832315 140721661175984 140721661172536 140153411415013 0 0 1 0 0 0 0 17 2 0 0 8 0 0 6932504 6936608 16482304 140721661178364 140721661178444 140721661178444 140721661181901 0
/proc/19191/statm: 14878 9004 515 156 0 8520 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 59512
[startup+6.30028 s]
/proc/loadavg: 2.04 2.04 2.05 3/189 19192
/proc/meminfo: memFree=28825864/32770624 swapFree=0/383672
[pid=19191] ppid=19188 vsize=95064 CPUtime=6.2 cores=0,2,4,6
/proc/19191/stat : 19191 (miniBTD) R 19188 19191 15278 0 -1 4202496 33416 0 0 0 617 3 0 0 20 0 1 0 46611644 97345536 17908 18446744073709551615 4194304 4832315 140721661175984 140721661172536 140153411415013 0 0 1 0 0 0 0 17 2 0 0 8 0 0 6932504 6936608 16482304 140721661178364 140721661178444 140721661178444 140721661181901 0
/proc/19191/statm: 23766 17908 515 156 0 17408 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 95064
[startup+12.7003 s]
/proc/loadavg: 2.03 2.04 2.05 3/189 19193
/proc/meminfo: memFree=28189620/32770624 swapFree=0/383676
[pid=19191] ppid=19188 vsize=845672 CPUtime=12.6 cores=0,2,4,6
/proc/19191/stat : 19191 (miniBTD) R 19188 19191 15278 0 -1 4202496 235216 0 0 0 1232 28 0 0 20 0 1 0 46611644 865968128 205420 18446744073709551615 4194304 4832315 140721661175984 140721661171016 4228176 0 0 1 0 0 0 0 17 2 0 0 8 0 0 6932504 6936608 16482304 140721661178364 140721661178444 140721661178444 140721661181901 0
/proc/19191/statm: 211418 205420 551 156 0 205060 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 845672
[startup+25.5003 s]
/proc/loadavg: 2.03 2.04 2.05 3/189 19193
/proc/meminfo: memFree=26222036/32770624 swapFree=0/383696
[pid=19191] ppid=19188 vsize=2686132 CPUtime=25.4 cores=0,2,4,6
/proc/19191/stat : 19191 (miniBTD) R 19188 19191 15278 0 -1 4202496 702962 0 0 0 2460 80 0 0 20 0 1 0 46611644 2750599168 665726 18446744073709551615 4194304 4832315 140721661175984 140721661173208 4320869 0 0 1 0 0 0 0 17 2 0 0 8 0 0 6932504 6936608 16482304 140721661178364 140721661178444 140721661178444 140721661181901 0
/proc/19191/statm: 671533 665726 576 156 0 665175 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 2686132
[startup+51.1003 s]
/proc/loadavg: 2.02 2.03 2.05 3/188 19254
/proc/meminfo: memFree=26813488/32770624 swapFree=0/383764
[pid=19191] ppid=19188 vsize=2716888 CPUtime=51 cores=0,2,4,6
/proc/19191/stat : 19191 (miniBTD) R 19188 19191 15278 0 -1 4202496 713658 0 0 0 5019 81 0 0 20 0 1 0 46611644 2782093312 673375 18446744073709551615 4194304 4832315 140721661175984 140721661173208 4320765 0 0 1 0 0 0 0 17 2 0 0 8 0 0 6932504 6936608 16482304 140721661178364 140721661178444 140721661178444 140721661181901 0
/proc/19191/statm: 679222 673375 576 156 0 672864 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 2716888
[startup+102.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/185 19256
/proc/meminfo: memFree=26194680/32770624 swapFree=0/383768
[pid=19191] ppid=19188 vsize=2716888 CPUtime=102.2 cores=0,2,4,6
/proc/19191/stat : 19191 (miniBTD) R 19188 19191 15278 0 -1 4202496 713701 0 0 0 10139 81 0 0 20 0 1 0 46611644 2782093312 673402 18446744073709551615 4194304 4832315 140721661175984 140721661173208 4321258 0 0 1 0 0 0 0 17 2 0 0 8 0 0 6932504 6936608 16482304 140721661178364 140721661178444 140721661178444 140721661181901 0
/proc/19191/statm: 679222 673402 576 156 0 672864 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 2716888
[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/185 19258
/proc/meminfo: memFree=26195100/32770624 swapFree=0/383792
[pid=19191] ppid=19188 vsize=2716888 CPUtime=162.2 cores=0,2,4,6
/proc/19191/stat : 19191 (miniBTD) R 19188 19191 15278 0 -1 4202496 713800 0 0 0 16138 82 0 0 20 0 1 0 46611644 2782093312 673405 18446744073709551615 4194304 4832315 140721661175984 140721661173208 4320763 0 0 1 0 0 0 0 17 2 0 0 8 0 0 6932504 6936608 16482304 140721661178364 140721661178444 140721661178444 140721661181901 0
/proc/19191/statm: 679222 673405 576 156 0 672864 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 2716888
[startup+222.306 s]
/proc/loadavg: 2.06 2.03 2.05 3/185 19260
/proc/meminfo: memFree=26195012/32770624 swapFree=0/383804
[pid=19191] ppid=19188 vsize=2716888 CPUtime=222.21 cores=0,2,4,6
/proc/19191/stat : 19191 (miniBTD) R 19188 19191 15278 0 -1 4202496 713877 0 0 0 22138 83 0 0 20 0 1 0 46611644 2782093312 673407 18446744073709551615 4194304 4832315 140721661175984 140721661173208 4320760 0 0 1 0 0 0 0 17 2 0 0 8 0 0 6932504 6936608 16482304 140721661178364 140721661178444 140721661178444 140721661181901 0
/proc/19191/statm: 679222 673407 576 156 0 672864 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 2716888
[startup+282.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/185 19263
/proc/meminfo: memFree=26194668/32770624 swapFree=0/383828
[pid=19191] ppid=19188 vsize=2716888 CPUtime=282.2 cores=0,2,4,6
/proc/19191/stat : 19191 (miniBTD) R 19188 19191 15278 0 -1 4202496 713953 0 0 0 28136 84 0 0 20 0 1 0 46611644 2782093312 673410 18446744073709551615 4194304 4832315 140721661175984 140721661173208 4320776 0 0 1 0 0 0 0 17 2 0 0 8 0 0 6932504 6936608 16482304 140721661178364 140721661178444 140721661178444 140721661181901 0
/proc/19191/statm: 679222 673410 576 156 0 672864 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 2716888
[startup+342.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/185 19265
/proc/meminfo: memFree=26194696/32770624 swapFree=0/383860
[pid=19191] ppid=19188 vsize=2716888 CPUtime=342.21 cores=0,2,4,6
/proc/19191/stat : 19191 (miniBTD) R 19188 19191 15278 0 -1 4202496 714019 0 0 0 34136 85 0 0 20 0 1 0 46611644 2782093312 673414 18446744073709551615 4194304 4832315 140721661175984 140721661173208 4321276 0 0 1 0 0 0 0 17 2 0 0 8 0 0 6932504 6936608 16482304 140721661178364 140721661178444 140721661178444 140721661181901 0
/proc/19191/statm: 679222 673414 576 156 0 672864 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 2716888
[startup+402.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/185 19267
/proc/meminfo: memFree=26194316/32770624 swapFree=0/383884
[pid=19191] ppid=19188 vsize=2716888 CPUtime=402.2 cores=0,2,4,6
/proc/19191/stat : 19191 (miniBTD) R 19188 19191 15278 0 -1 4202496 714082 0 0 0 40135 85 0 0 20 0 1 0 46611644 2782093312 673417 18446744073709551615 4194304 4832315 140721661175984 140721661173208 4320869 0 0 1 0 0 0 0 17 2 0 0 8 0 0 6932504 6936608 16482304 140721661178364 140721661178444 140721661178444 140721661181901 0
/proc/19191/statm: 679222 673417 576 156 0 672864 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 2716888
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/185 19269
/proc/meminfo: memFree=26194932/32770624 swapFree=0/383920
[pid=19191] ppid=19188 vsize=2716888 CPUtime=462.21 cores=0,2,4,6
/proc/19191/stat : 19191 (miniBTD) R 19188 19191 15278 0 -1 4202496 714161 0 0 0 46135 86 0 0 20 0 1 0 46611644 2782093312 673423 18446744073709551615 4194304 4832315 140721661175984 140721661173208 4320893 0 0 1 0 0 0 0 17 2 0 0 8 0 0 6932504 6936608 16482304 140721661178364 140721661178444 140721661178444 140721661181901 0
/proc/19191/statm: 679222 673423 576 156 0 672864 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 2716888
[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/186 19272
/proc/meminfo: memFree=26194568/32770624 swapFree=0/383944
[pid=19191] ppid=19188 vsize=2716888 CPUtime=522.21 cores=0,2,4,6
/proc/19191/stat : 19191 (miniBTD) R 19188 19191 15278 0 -1 4202496 714213 0 0 0 52134 87 0 0 20 0 1 0 46611644 2782093312 673423 18446744073709551615 4194304 4832315 140721661175984 140721661173208 4321276 0 0 1 0 0 0 0 17 2 0 0 8 0 0 6932504 6936608 16482304 140721661178364 140721661178444 140721661178444 140721661181901 0
/proc/19191/statm: 679222 673423 576 156 0 672864 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 2716888
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 19274
/proc/meminfo: memFree=26194984/32770624 swapFree=0/383968
[pid=19191] ppid=19188 vsize=2716888 CPUtime=582.21 cores=0,2,4,6
/proc/19191/stat : 19191 (miniBTD) R 19188 19191 15278 0 -1 4202496 714289 0 0 0 58134 87 0 0 20 0 1 0 46611644 2782093312 673431 18446744073709551615 4194304 4832315 140721661175984 140721661173208 4321428 0 0 1 0 0 0 0 17 2 0 0 8 0 0 6932504 6936608 16482304 140721661178364 140721661178444 140721661178444 140721661181901 0
/proc/19191/statm: 679222 673431 576 156 0 672864 0
Current children cumulated CPU time (s) 582.21
Current children cumulated vsize (KiB) 2716888
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 19341
/proc/meminfo: memFree=26191132/32770624 swapFree=0/384356
[pid=19191] ppid=19188 vsize=2717548 CPUtime=1542.25 cores=0,2,4,6
/proc/19191/stat : 19191 (miniBTD) R 19188 19191 15278 0 -1 4202496 715741 0 0 0 154135 90 0 0 20 0 1 0 46611644 2782769152 673582 18446744073709551615 4194304 4832315 140721661175984 140721661173208 4320760 0 0 1 0 0 0 0 17 2 0 0 8 0 0 6932504 6936608 16482304 140721661178364 140721661178444 140721661178444 140721661181901 0
/proc/19191/statm: 679387 673582 576 156 0 673029 0
Current children cumulated CPU time (s) 1542.25
Current children cumulated vsize (KiB) 2717548
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 19343
/proc/meminfo: memFree=26191036/32770624 swapFree=0/384372
[pid=19191] ppid=19188 vsize=2717548 CPUtime=1602.25 cores=0,2,4,6
/proc/19191/stat : 19191 (miniBTD) R 19188 19191 15278 0 -1 4202496 715806 0 0 0 160135 90 0 0 20 0 1 0 46611644 2782769152 673586 18446744073709551615 4194304 4832315 140721661175984 140721661173208 4320880 0 0 1 0 0 0 0 17 2 0 0 8 0 0 6932504 6936608 16482304 140721661178364 140721661178444 140721661178444 140721661181901 0
/proc/19191/statm: 679387 673586 576 156 0 673029 0
Current children cumulated CPU time (s) 1602.25
Current children cumulated vsize (KiB) 2717548
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 19345
/proc/meminfo: memFree=26191172/32770624 swapFree=0/384384
[pid=19191] ppid=19188 vsize=2717548 CPUtime=1662.25 cores=0,2,4,6
/proc/19191/stat : 19191 (miniBTD) R 19188 19191 15278 0 -1 4202496 715878 0 0 0 166135 90 0 0 20 0 1 0 46611644 2782769152 673589 18446744073709551615 4194304 4832315 140721661175984 140721661173208 4320893 0 0 1 0 0 0 0 17 2 0 0 8 0 0 6932504 6936608 16482304 140721661178364 140721661178444 140721661178444 140721661181901 0
/proc/19191/statm: 679387 673589 576 156 0 673029 0
Current children cumulated CPU time (s) 1662.25
Current children cumulated vsize (KiB) 2717548
[startup+1722.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/186 19348
/proc/meminfo: memFree=26190708/32770624 swapFree=0/384396
[pid=19191] ppid=19188 vsize=2717548 CPUtime=1722.25 cores=0,2,4,6
/proc/19191/stat : 19191 (miniBTD) R 19188 19191 15278 0 -1 4202496 715960 0 0 0 172135 90 0 0 20 0 1 0 46611644 2782769152 673592 18446744073709551615 4194304 4832315 140721661175984 140721661173208 4321428 0 0 1 0 0 0 0 17 2 0 0 8 0 0 6932504 6936608 16482304 140721661178364 140721661178444 140721661178444 140721661181901 0
/proc/19191/statm: 679387 673592 576 156 0 673029 0
Current children cumulated CPU time (s) 1722.25
Current children cumulated vsize (KiB) 2717548
[startup+1782.3 s]
/proc/loadavg: 2.11 2.04 2.05 3/186 19350
/proc/meminfo: memFree=26191448/32770624 swapFree=0/384420
[pid=19191] ppid=19188 vsize=2717548 CPUtime=1782.26 cores=0,2,4,6
/proc/19191/stat : 19191 (miniBTD) R 19188 19191 15278 0 -1 4202496 716051 0 0 0 178136 90 0 0 20 0 1 0 46611644 2782769152 673594 18446744073709551615 4194304 4832315 140721661175984 140721661173208 4321428 0 0 1 0 0 0 0 17 2 0 0 8 0 0 6932504 6936608 16482304 140721661178364 140721661178444 140721661178444 140721661181901 0
/proc/19191/statm: 679387 673594 576 156 0 673029 0
Current children cumulated CPU time (s) 1782.26
Current children cumulated vsize (KiB) 2717548
[startup+1842.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/187 19366
/proc/meminfo: memFree=26187588/32770624 swapFree=0/384472
[pid=19191] ppid=19188 vsize=2717680 CPUtime=1842.26 cores=0,2,4,6
/proc/19191/stat : 19191 (miniBTD) R 19188 19191 15278 0 -1 4202496 716134 0 0 0 184136 90 0 0 20 0 1 0 46611644 2782904320 673597 18446744073709551615 4194304 4832315 140721661175984 140721661173208 4320776 0 0 1 0 0 0 0 17 2 0 0 8 0 0 6932504 6936608 16482304 140721661178364 140721661178444 140721661178444 140721661181901 0
/proc/19191/statm: 679420 673597 576 156 0 673062 0
Current children cumulated CPU time (s) 1842.26
Current children cumulated vsize (KiB) 2717680
[startup+1902.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/189 19394
/proc/meminfo: memFree=26186796/32770624 swapFree=0/384520
[pid=19191] ppid=19188 vsize=2717680 CPUtime=1902.26 cores=0,2,4,6
/proc/19191/stat : 19191 (miniBTD) R 19188 19191 15278 0 -1 4202496 716218 0 0 0 190136 90 0 0 20 0 1 0 46611644 2782904320 673603 18446744073709551615 4194304 4832315 140721661175984 140721661173208 4321428 0 0 1 0 0 0 0 17 2 0 0 8 0 0 6932504 6936608 16482304 140721661178364 140721661178444 140721661178444 140721661181901 0
/proc/19191/statm: 679420 673603 576 156 0 673062 0
Current children cumulated CPU time (s) 1902.26
Current children cumulated vsize (KiB) 2717680
[startup+1962.3 s]
/proc/loadavg: 2.13 2.06 2.05 3/186 19396
/proc/meminfo: memFree=26190052/32770624 swapFree=0/384552
[pid=19191] ppid=19188 vsize=2717680 CPUtime=1962.26 cores=0,2,4,6
/proc/19191/stat : 19191 (miniBTD) R 19188 19191 15278 0 -1 4202496 716315 0 0 0 196136 90 0 0 20 0 1 0 46611644 2782904320 673605 18446744073709551615 4194304 4832315 140721661175984 140721661173208 4320718 0 0 1 0 0 0 0 17 2 0 0 8 0 0 6932504 6936608 16482304 140721661178364 140721661178444 140721661178444 140721661181901 0
/proc/19191/statm: 679420 673605 576 156 0 673062 0
Current children cumulated CPU time (s) 1962.26
Current children cumulated vsize (KiB) 2717680
[startup+2022.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/187 19399
/proc/meminfo: memFree=26190196/32770624 swapFree=0/384580
[pid=19191] ppid=19188 vsize=2717680 CPUtime=2022.27 cores=0,2,4,6
/proc/19191/stat : 19191 (miniBTD) R 19188 19191 15278 0 -1 4202496 716399 0 0 0 202137 90 0 0 20 0 1 0 46611644 2782904320 673612 18446744073709551615 4194304 4832315 140721661175984 140721661173208 4321424 0 0 1 0 0 0 0 17 2 0 0 8 0 0 6932504 6936608 16482304 140721661178364 140721661178444 140721661178444 140721661181901 0
/proc/19191/statm: 679420 673612 576 156 0 673062 0
Current children cumulated CPU time (s) 2022.27
Current children cumulated vsize (KiB) 2717680
[startup+2082.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/187 19401
/proc/meminfo: memFree=26190508/32770624 swapFree=0/384612
[pid=19191] ppid=19188 vsize=2717680 CPUtime=2082.27 cores=0,2,4,6
/proc/19191/stat : 19191 (miniBTD) R 19188 19191 15278 0 -1 4202496 716486 0 0 0 208137 90 0 0 20 0 1 0 46611644 2782904320 673617 18446744073709551615 4194304 4832315 140721661175984 140721661173208 4321428 0 0 1 0 0 0 0 17 2 0 0 8 0 0 6932504 6936608 16482304 140721661178364 140721661178444 140721661178444 140721661181901 0
/proc/19191/statm: 679420 673617 576 156 0 673062 0
Current children cumulated CPU time (s) 2082.27
Current children cumulated vsize (KiB) 2717680
[startup+2142.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 19403
/proc/meminfo: memFree=26190536/32770624 swapFree=0/384632
[pid=19191] ppid=19188 vsize=2717680 CPUtime=2142.27 cores=0,2,4,6
/proc/19191/stat : 19191 (miniBTD) R 19188 19191 15278 0 -1 4202496 716587 0 0 0 214137 90 0 0 20 0 1 0 46611644 2782904320 673622 18446744073709551615 4194304 4832315 140721661175984 140721661173208 4321276 0 0 1 0 0 0 0 17 2 0 0 8 0 0 6932504 6936608 16482304 140721661178364 140721661178444 140721661178444 140721661181901 0
/proc/19191/statm: 679420 673622 576 156 0 673062 0
Current children cumulated CPU time (s) 2142.27
Current children cumulated vsize (KiB) 2717680
[startup+2202.31 s]
/proc/loadavg: 2.00 2.03 2.05 3/185 19405
/proc/meminfo: memFree=26190184/32770624 swapFree=0/384652
[pid=19191] ppid=19188 vsize=2718076 CPUtime=2202.28 cores=0,2,4,6
/proc/19191/stat : 19191 (miniBTD) R 19188 19191 15278 0 -1 4202496 716799 0 0 0 220138 90 0 0 20 0 1 0 46611644 2783309824 673726 18446744073709551615 4194304 4832315 140721661175984 140721661173208 4320815 0 0 1 0 0 0 0 17 2 0 0 8 0 0 6932504 6936608 16482304 140721661178364 140721661178444 140721661178444 140721661181901 0
/proc/19191/statm: 679519 673726 576 156 0 673161 0
Current children cumulated CPU time (s) 2202.28
Current children cumulated vsize (KiB) 2718076
[startup+2262.3 s]
/proc/loadavg: 2.10 2.05 2.05 3/185 19407
/proc/meminfo: memFree=26189584/32770624 swapFree=0/384664
[pid=19191] ppid=19188 vsize=2718208 CPUtime=2262.27 cores=0,2,4,6
/proc/19191/stat : 19191 (miniBTD) R 19188 19191 15278 0 -1 4202496 716910 0 0 0 226137 90 0 0 20 0 1 0 46611644 2783444992 673730 18446744073709551615 4194304 4832315 140721661175984 140721661173208 4320692 0 0 1 0 0 0 0 17 2 0 0 8 0 0 6932504 6936608 16482304 140721661178364 140721661178444 140721661178444 140721661181901 0
/proc/19191/statm: 679552 673730 576 156 0 673194 0
Current children cumulated CPU time (s) 2262.27
Current children cumulated vsize (KiB) 2718208
[startup+2322.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/185 19410
/proc/meminfo: memFree=26190116/32770624 swapFree=0/384696
[pid=19191] ppid=19188 vsize=2718208 CPUtime=2322.29 cores=0,2,4,6
/proc/19191/stat : 19191 (miniBTD) R 19188 19191 15278 0 -1 4202496 717003 0 0 0 232138 91 0 0 20 0 1 0 46611644 2783444992 673734 18446744073709551615 4194304 4832315 140721661175984 140721661173208 4320760 0 0 1 0 0 0 0 17 2 0 0 8 0 0 6932504 6936608 16482304 140721661178364 140721661178444 140721661178444 140721661181901 0
/proc/19191/statm: 679552 673734 576 156 0 673194 0
Current children cumulated CPU time (s) 2322.29
Current children cumulated vsize (KiB) 2718208
[startup+2382.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/185 19412
/proc/meminfo: memFree=26189612/32770624 swapFree=0/384724
[pid=19191] ppid=19188 vsize=2718208 CPUtime=2382.29 cores=0,2,4,6
/proc/19191/stat : 19191 (miniBTD) R 19188 19191 15278 0 -1 4202496 717095 0 0 0 238138 91 0 0 20 0 1 0 46611644 2783444992 673736 18446744073709551615 4194304 4832315 140721661175984 140721661173208 4320880 0 0 1 0 0 0 0 17 2 0 0 8 0 0 6932504 6936608 16482304 140721661178364 140721661178444 140721661178444 140721661181901 0
/proc/19191/statm: 679552 673736 576 156 0 673194 0
Current children cumulated CPU time (s) 2382.29
Current children cumulated vsize (KiB) 2718208
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.1 s]
/proc/loadavg: 2.01 2.03 2.05 3/188 19427
/proc/meminfo: memFree=26186080/32770624 swapFree=0/384752
[pid=19191] ppid=19188 vsize=2718208 CPUtime=2400.09 cores=0,2,4,6
/proc/19191/stat : 19191 (miniBTD) R 19188 19191 15278 0 -1 4202496 717121 0 0 0 239918 91 0 0 20 0 1 0 46611644 2783444992 673736 18446744073709551615 4194304 4832315 140721661175984 140721661173208 4320891 0 0 1 0 0 0 0 17 2 0 0 8 0 0 6932504 6936608 16482304 140721661178364 140721661178444 140721661178444 140721661181901 0
/proc/19191/statm: 679552 673736 576 156 0 673194 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 2718208
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 19191 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.1 s]
/proc/loadavg: 2.01 2.03 2.05 3/188 19427
/proc/meminfo: memFree=26186080/32770624 swapFree=0/384752
[pid=19191] ppid=19188 vsize=2718208 CPUtime=2400.09 cores=0,2,4,6
/proc/19191/stat : 19191 (miniBTD) R 19188 19191 15278 0 -1 4202496 717121 0 0 0 239918 91 0 0 20 0 1 0 46611644 2783444992 673736 18446744073709551615 4194304 4832315 140721661175984 140721661173208 4320891 0 0 1 0 0 0 0 17 2 0 0 8 0 0 6932504 6936608 16482304 140721661178364 140721661178444 140721661178444 140721661181901 0
/proc/19191/statm: 679552 673736 576 156 0 673194 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 2718208
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2400.11
CPU time (s): 2400.1
CPU user time (s): 2399.18
CPU system time (s): 0.919032
CPU usage (%): 99.9997
Max. virtual memory (cumulated for all children) (KiB): 2718208
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.18
system time used= 0.919032
maximum resident set size= 2694952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 717121
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= 14
involuntary context switches= 977
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.81581 second user time and 8.56144 second system time
The end