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-4252848-1501988655/watcher-4252848-1501988655 -o /tmp/evaluation-result-4252848-1501988655/solver-4252848-1501988655 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1501978194-17166 --watchdog 2560 miniBTD 2400 HOME/instance-4252848-1501988655.xml
pid=18891
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.06 2.04 2.05 3/187 18894
/proc/meminfo: memFree=28887696/32770624 swapFree=0/382512
[pid=18894] ppid=18891 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/18894/stat : 18894 (runsolver) D 18891 18894 15278 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 46371516 24240128 108 18446744073709551615 4194304 4338465 140731146416000 140731146413640 140675808846551 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 26689536 140731146424528 140731146424905 140731146424905 140731146428362 0
/proc/18894/statm: 5918 108 54 36 0 2156 0
[startup+0.10083 s]
/proc/loadavg: 2.06 2.04 2.05 3/187 18894
/proc/meminfo: memFree=28887696/32770624 swapFree=0/382512
[pid=18894] ppid=18891 vsize=26180 CPUtime=0.01 cores=0,2,4,6
/proc/18894/stat : 18894 (miniBTD) R 18891 18894 15278 0 -1 4202496 834 0 0 0 1 0 0 0 20 0 1 0 46371516 26808320 673 18446744073709551615 4194304 4832315 140723043981344 140723043977896 4216677 0 0 1 0 0 0 0 17 6 0 0 8 0 0 6932504 6936608 16482304 140723043983868 140723043983948 140723043983948 140723043987405 0
/proc/18894/statm: 6545 673 515 156 0 187 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 26180
[startup+0.200295 s]
/proc/loadavg: 2.06 2.04 2.05 3/187 18894
/proc/meminfo: memFree=28887696/32770624 swapFree=0/382512
[pid=18894] ppid=18891 vsize=27072 CPUtime=0.11 cores=0,2,4,6
/proc/18894/stat : 18894 (miniBTD) R 18891 18894 15278 0 -1 4202496 1268 0 0 0 11 0 0 0 20 0 1 0 46371516 27721728 901 18446744073709551615 4194304 4832315 140723043981344 140723043977896 4216670 0 0 1 0 0 0 0 17 2 0 0 8 0 0 6932504 6936608 16482304 140723043983868 140723043983948 140723043983948 140723043987405 0
/proc/18894/statm: 6768 901 515 156 0 410 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 27072
[startup+0.30032 s]
/proc/loadavg: 2.06 2.04 2.05 3/187 18894
/proc/meminfo: memFree=28887696/32770624 swapFree=0/382512
[pid=18894] ppid=18891 vsize=27896 CPUtime=0.21 cores=0,2,4,6
/proc/18894/stat : 18894 (miniBTD) R 18891 18894 15278 0 -1 4202496 1800 0 0 0 21 0 0 0 20 0 1 0 46371516 28565504 1112 18446744073709551615 4194304 4832315 140723043981344 140723043977896 4216670 0 0 1 0 0 0 0 17 2 0 0 8 0 0 6932504 6936608 16482304 140723043983868 140723043983948 140723043983948 140723043987405 0
/proc/18894/statm: 6974 1112 515 156 0 616 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 27896
[startup+0.700278 s]
/proc/loadavg: 2.06 2.04 2.05 3/187 18894
/proc/meminfo: memFree=28887696/32770624 swapFree=0/382512
[pid=18894] ppid=18891 vsize=31340 CPUtime=0.6 cores=0,2,4,6
/proc/18894/stat : 18894 (miniBTD) R 18891 18894 15278 0 -1 4202496 4588 0 0 0 60 0 0 0 20 0 1 0 46371516 32092160 1982 18446744073709551615 4194304 4832315 140723043981344 140723043977896 4216664 0 0 1 0 0 0 0 17 2 0 0 8 0 0 6932504 6936608 16482304 140723043983868 140723043983948 140723043983948 140723043987405 0
/proc/18894/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.06 2.04 2.05 3/188 18895
/proc/meminfo: memFree=28878816/32770624 swapFree=0/382520
[pid=18894] ppid=18891 vsize=38368 CPUtime=1.4 cores=0,2,4,6
/proc/18894/stat : 18894 (miniBTD) R 18891 18894 15278 0 -1 4202496 9090 0 0 0 139 1 0 0 20 0 1 0 46371516 39288832 3720 18446744073709551615 4194304 4832315 140723043981344 140723043977896 4217001 0 0 1 0 0 0 0 17 2 0 0 8 0 0 6932504 6936608 16482304 140723043983868 140723043983948 140723043983948 140723043987405 0
/proc/18894/statm: 9592 3720 515 156 0 3234 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 38368
[startup+3.10028 s]
/proc/loadavg: 2.06 2.04 2.05 3/188 18895
/proc/meminfo: memFree=28865684/32770624 swapFree=0/382520
[pid=18894] ppid=18891 vsize=59636 CPUtime=3 cores=0,2,4,6
/proc/18894/stat : 18894 (miniBTD) R 18891 18894 15278 0 -1 4202496 17499 0 0 0 297 3 0 0 20 0 1 0 46371516 61067264 9033 18446744073709551615 4194304 4832315 140723043981344 140723043977896 4217320 0 0 1 0 0 0 0 17 2 0 0 8 0 0 6932504 6936608 16482304 140723043983868 140723043983948 140723043983948 140723043987405 0
/proc/18894/statm: 14909 9033 515 156 0 8551 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 59636
[startup+6.30028 s]
/proc/loadavg: 2.05 2.04 2.05 3/188 18895
/proc/meminfo: memFree=28824512/32770624 swapFree=0/382520
[pid=18894] ppid=18891 vsize=95064 CPUtime=6.21 cores=0,2,4,6
/proc/18894/stat : 18894 (miniBTD) R 18891 18894 15278 0 -1 4202496 33402 0 0 0 615 6 0 0 20 0 1 0 46371516 97345536 17908 18446744073709551615 4194304 4832315 140723043981344 140723043977896 140513737309157 0 0 1 0 0 0 0 17 2 0 0 8 0 0 6932504 6936608 16482304 140723043983868 140723043983948 140723043983948 140723043987405 0
/proc/18894/statm: 23766 17908 515 156 0 17408 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 95064
[startup+12.7003 s]
/proc/loadavg: 2.05 2.04 2.05 3/188 18896
/proc/meminfo: memFree=28188200/32770624 swapFree=0/382536
[pid=18894] ppid=18891 vsize=845672 CPUtime=12.61 cores=0,2,4,6
/proc/18894/stat : 18894 (miniBTD) R 18891 18894 15278 0 -1 4202496 235264 0 0 0 1230 31 0 0 20 0 1 0 46371516 865968128 205420 18446744073709551615 4194304 4832315 140723043981344 140723043977896 4228176 0 0 1 0 0 0 0 17 2 0 0 8 0 0 6932504 6936608 16482304 140723043983868 140723043983948 140723043983948 140723043987405 0
/proc/18894/statm: 211418 205420 551 156 0 205060 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 845672
[startup+25.5003 s]
/proc/loadavg: 2.04 2.04 2.05 3/188 18896
/proc/meminfo: memFree=26220944/32770624 swapFree=0/382540
[pid=18894] ppid=18891 vsize=2686132 CPUtime=25.4 cores=0,2,4,6
/proc/18894/stat : 18894 (miniBTD) R 18891 18894 15278 0 -1 4202496 703008 0 0 0 2455 85 0 0 20 0 1 0 46371516 2750599168 665726 18446744073709551615 4194304 4832315 140723043981344 140723043978568 4321392 0 0 1 0 0 0 0 17 2 0 0 8 0 0 6932504 6936608 16482304 140723043983868 140723043983948 140723043983948 140723043987405 0
/proc/18894/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: 1.96 2.02 2.04 3/188 18957
/proc/meminfo: memFree=26829628/32770624 swapFree=0/382608
[pid=18894] ppid=18891 vsize=2716888 CPUtime=51 cores=0,2,4,6
/proc/18894/stat : 18894 (miniBTD) R 18891 18894 15278 0 -1 4202496 713733 0 0 0 5014 86 0 0 20 0 1 0 46371516 2782093312 673423 18446744073709551615 4194304 4832315 140723043981344 140723043978568 4320718 0 0 1 0 0 0 0 17 2 0 0 8 0 0 6932504 6936608 16482304 140723043983868 140723043983948 140723043983948 140723043987405 0
/proc/18894/statm: 679222 673423 576 156 0 672864 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 2716888
[startup+102.3 s]
/proc/loadavg: 1.98 2.01 2.04 3/186 18960
/proc/meminfo: memFree=26195808/32770624 swapFree=0/382640
[pid=18894] ppid=18891 vsize=2716888 CPUtime=102.21 cores=0,2,4,6
/proc/18894/stat : 18894 (miniBTD) R 18891 18894 15278 0 -1 4202496 713773 0 0 0 10134 87 0 0 20 0 1 0 46371516 2782093312 673423 18446744073709551615 4194304 4832315 140723043981344 140723043978568 4320763 0 0 1 0 0 0 0 17 2 0 0 8 0 0 6932504 6936608 16482304 140723043983868 140723043983948 140723043983948 140723043987405 0
/proc/18894/statm: 679222 673423 576 156 0 672864 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 2716888
[startup+162.3 s]
/proc/loadavg: 2.13 2.05 2.05 3/185 18962
/proc/meminfo: memFree=26195836/32770624 swapFree=0/382636
[pid=18894] ppid=18891 vsize=2716888 CPUtime=162.21 cores=0,2,4,6
/proc/18894/stat : 18894 (miniBTD) R 18891 18894 15278 0 -1 4202496 713869 0 0 0 16133 88 0 0 20 0 1 0 46371516 2782093312 673430 18446744073709551615 4194304 4832315 140723043981344 140723043978568 4320880 0 0 1 0 0 0 0 17 2 0 0 8 0 0 6932504 6936608 16482304 140723043983868 140723043983948 140723043983948 140723043987405 0
/proc/18894/statm: 679222 673430 576 156 0 672864 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 2716888
[startup+222.306 s]
/proc/loadavg: 2.05 2.04 2.05 3/185 18964
/proc/meminfo: memFree=26195748/32770624 swapFree=0/382656
[pid=18894] ppid=18891 vsize=2717020 CPUtime=222.22 cores=0,2,4,6
/proc/18894/stat : 18894 (miniBTD) R 18891 18894 15278 0 -1 4202496 713947 0 0 0 22133 89 0 0 20 0 1 0 46371516 2782228480 673434 18446744073709551615 4194304 4832315 140723043981344 140723043978568 4320746 0 0 1 0 0 0 0 17 2 0 0 8 0 0 6932504 6936608 16482304 140723043983868 140723043983948 140723043983948 140723043987405 0
/proc/18894/statm: 679255 673434 576 156 0 672897 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 2717020
[startup+282.3 s]
/proc/loadavg: 2.10 2.06 2.05 3/185 18966
/proc/meminfo: memFree=26196524/32770624 swapFree=0/382680
[pid=18894] ppid=18891 vsize=2717020 CPUtime=282.21 cores=0,2,4,6
/proc/18894/stat : 18894 (miniBTD) R 18891 18894 15278 0 -1 4202496 714023 0 0 0 28131 90 0 0 20 0 1 0 46371516 2782228480 673438 18446744073709551615 4194304 4832315 140723043981344 140723043978568 4321428 0 0 1 0 0 0 0 17 2 0 0 8 0 0 6932504 6936608 16482304 140723043983868 140723043983948 140723043983948 140723043987405 0
/proc/18894/statm: 679255 673438 576 156 0 672897 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 2717020
[startup+342.3 s]
/proc/loadavg: 2.04 2.05 2.05 3/186 18970
/proc/meminfo: memFree=26195544/32770624 swapFree=0/382704
[pid=18894] ppid=18891 vsize=2717020 CPUtime=342.2 cores=0,2,4,6
/proc/18894/stat : 18894 (miniBTD) R 18891 18894 15278 0 -1 4202496 714092 0 0 0 34130 90 0 0 20 0 1 0 46371516 2782228480 673445 18446744073709551615 4194304 4832315 140723043981344 140723043978568 4321424 0 0 1 0 0 0 0 17 2 0 0 8 0 0 6932504 6936608 16482304 140723043983868 140723043983948 140723043983948 140723043987405 0
/proc/18894/statm: 679255 673445 576 156 0 672897 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 2717020
[startup+402.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/185 18972
/proc/meminfo: memFree=26195432/32770624 swapFree=0/382728
[pid=18894] ppid=18891 vsize=2717416 CPUtime=402.21 cores=0,2,4,6
/proc/18894/stat : 18894 (miniBTD) R 18891 18894 15278 0 -1 4202496 714309 0 0 0 40130 91 0 0 20 0 1 0 46371516 2782633984 673533 18446744073709551615 4194304 4832315 140723043981344 140723043978568 4320891 0 0 1 0 0 0 0 17 2 0 0 8 0 0 6932504 6936608 16482304 140723043983868 140723043983948 140723043983948 140723043987405 0
/proc/18894/statm: 679354 673533 576 156 0 672996 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 2717416
[startup+462.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/185 18974
/proc/meminfo: memFree=26194980/32770624 swapFree=0/382748
[pid=18894] ppid=18891 vsize=2717416 CPUtime=462.21 cores=0,2,4,6
/proc/18894/stat : 18894 (miniBTD) R 18891 18894 15278 0 -1 4202496 714376 0 0 0 46130 91 0 0 20 0 1 0 46371516 2782633984 673540 18446744073709551615 4194304 4832315 140723043981344 140723043978568 4320763 0 0 1 0 0 0 0 17 2 0 0 8 0 0 6932504 6936608 16482304 140723043983868 140723043983948 140723043983948 140723043987405 0
/proc/18894/statm: 679354 673540 576 156 0 672996 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 2717416
[startup+522.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/185 18977
/proc/meminfo: memFree=26195016/32770624 swapFree=0/382760
[pid=18894] ppid=18891 vsize=2717416 CPUtime=522.21 cores=0,2,4,6
/proc/18894/stat : 18894 (miniBTD) R 18891 18894 15278 0 -1 4202496 714458 0 0 0 52129 92 0 0 20 0 1 0 46371516 2782633984 673547 18446744073709551615 4194304 4832315 140723043981344 140723043978568 4320692 0 0 1 0 0 0 0 17 2 0 0 8 0 0 6932504 6936608 16482304 140723043983868 140723043983948 140723043983948 140723043987405 0
/proc/18894/statm: 679354 673547 576 156 0 672996 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 2717416
[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/186 18980
/proc/meminfo: memFree=26194588/32770624 swapFree=0/382788
[pid=18894] ppid=18891 vsize=2717416 CPUtime=582.22 cores=0,2,4,6
/proc/18894/stat : 18894 (miniBTD) R 18891 18894 15278 0 -1 4202496 714516 0 0 0 58129 93 0 0 20 0 1 0 46371516 2782633984 673547 18446744073709551615 4194304 4832315 140723043981344 140723043978568 4320763 0 0 1 0 0 0 0 17 2 0 0 8 0 0 6932504 6936608 16482304 140723043983868 140723043983948 140723043983948 140723043987405 0
/proc/18894/statm: 679354 673547 576 156 0 672996 0
Current children cumulated CPU time (s) 582.22
Current children cumulated vsize (KiB) 2717416
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 19067
/proc/meminfo: memFree=26193148/32770624 swapFree=0/383264
[pid=18894] ppid=18891 vsize=2718472 CPUtime=1542.25 cores=0,2,4,6
/proc/18894/stat : 18894 (miniBTD) R 18891 18894 15278 0 -1 4202496 716322 0 0 0 154127 98 0 0 20 0 1 0 46371516 2783715328 673797 18446744073709551615 4194304 4832315 140723043981344 140723043978568 4320733 0 0 1 0 0 0 0 17 2 0 0 8 0 0 6932504 6936608 16482304 140723043983868 140723043983948 140723043983948 140723043987405 0
/proc/18894/statm: 679618 673797 576 156 0 673260 0
Current children cumulated CPU time (s) 1542.25
Current children cumulated vsize (KiB) 2718472
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 19071
/proc/meminfo: memFree=26192324/32770624 swapFree=0/383288
[pid=18894] ppid=18891 vsize=2718736 CPUtime=1602.26 cores=0,2,4,6
/proc/18894/stat : 18894 (miniBTD) R 18891 18894 15278 0 -1 4202496 716528 0 0 0 160127 99 0 0 20 0 1 0 46371516 2783985664 673883 18446744073709551615 4194304 4832315 140723043981344 140723043978568 4320763 0 0 1 0 0 0 0 17 2 0 0 8 0 0 6932504 6936608 16482304 140723043983868 140723043983948 140723043983948 140723043987405 0
/proc/18894/statm: 679684 673883 576 156 0 673326 0
Current children cumulated CPU time (s) 1602.26
Current children cumulated vsize (KiB) 2718736
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 19074
/proc/meminfo: memFree=26191732/32770624 swapFree=0/383296
[pid=18894] ppid=18891 vsize=2718736 CPUtime=1662.26 cores=0,2,4,6
/proc/18894/stat : 18894 (miniBTD) R 18891 18894 15278 0 -1 4202496 716613 0 0 0 166127 99 0 0 20 0 1 0 46371516 2783985664 673887 18446744073709551615 4194304 4832315 140723043981344 140723043978568 4320718 0 0 1 0 0 0 0 17 2 0 0 8 0 0 6932504 6936608 16482304 140723043983868 140723043983948 140723043983948 140723043987405 0
/proc/18894/statm: 679684 673887 576 156 0 673326 0
Current children cumulated CPU time (s) 1662.26
Current children cumulated vsize (KiB) 2718736
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 19076
/proc/meminfo: memFree=26192004/32770624 swapFree=0/383320
[pid=18894] ppid=18891 vsize=2718736 CPUtime=1722.26 cores=0,2,4,6
/proc/18894/stat : 18894 (miniBTD) R 18891 18894 15278 0 -1 4202496 716710 0 0 0 172127 99 0 0 20 0 1 0 46371516 2783985664 673893 18446744073709551615 4194304 4832315 140723043981344 140723043978568 4320869 0 0 1 0 0 0 0 17 2 0 0 8 0 0 6932504 6936608 16482304 140723043983868 140723043983948 140723043983948 140723043987405 0
/proc/18894/statm: 679684 673893 576 156 0 673326 0
Current children cumulated CPU time (s) 1722.26
Current children cumulated vsize (KiB) 2718736
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 19078
/proc/meminfo: memFree=26191852/32770624 swapFree=0/383332
[pid=18894] ppid=18891 vsize=2718868 CPUtime=1782.27 cores=0,2,4,6
/proc/18894/stat : 18894 (miniBTD) R 18891 18894 15278 0 -1 4202496 716796 0 0 0 178128 99 0 0 20 0 1 0 46371516 2784120832 673895 18446744073709551615 4194304 4832315 140723043981344 140723043978568 4320718 0 0 1 0 0 0 0 17 2 0 0 8 0 0 6932504 6936608 16482304 140723043983868 140723043983948 140723043983948 140723043987405 0
/proc/18894/statm: 679717 673895 576 156 0 673359 0
Current children cumulated CPU time (s) 1782.27
Current children cumulated vsize (KiB) 2718868
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 19094
/proc/meminfo: memFree=26187536/32770624 swapFree=0/383376
[pid=18894] ppid=18891 vsize=2718868 CPUtime=1842.27 cores=0,2,4,6
/proc/18894/stat : 18894 (miniBTD) R 18891 18894 15278 0 -1 4202496 716921 0 0 0 184128 99 0 0 20 0 1 0 46371516 2784120832 673898 18446744073709551615 4194304 4832315 140723043981344 140723043978568 4320746 0 0 1 0 0 0 0 17 2 0 0 8 0 0 6932504 6936608 16482304 140723043983868 140723043983948 140723043983948 140723043987405 0
/proc/18894/statm: 679717 673898 576 156 0 673359 0
Current children cumulated CPU time (s) 1842.27
Current children cumulated vsize (KiB) 2718868
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 19096
/proc/meminfo: memFree=26190776/32770624 swapFree=0/383392
[pid=18894] ppid=18891 vsize=2718868 CPUtime=1902.27 cores=0,2,4,6
/proc/18894/stat : 18894 (miniBTD) R 18891 18894 15278 0 -1 4202496 716995 0 0 0 190128 99 0 0 20 0 1 0 46371516 2784120832 673903 18446744073709551615 4194304 4832315 140723043981344 140723043978568 4320688 0 0 1 0 0 0 0 17 2 0 0 8 0 0 6932504 6936608 16482304 140723043983868 140723043983948 140723043983948 140723043987405 0
/proc/18894/statm: 679717 673903 576 156 0 673359 0
Current children cumulated CPU time (s) 1902.27
Current children cumulated vsize (KiB) 2718868
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 19098
/proc/meminfo: memFree=26191696/32770624 swapFree=0/383408
[pid=18894] ppid=18891 vsize=2718868 CPUtime=1962.27 cores=0,2,4,6
/proc/18894/stat : 18894 (miniBTD) R 18891 18894 15278 0 -1 4202496 717074 0 0 0 196128 99 0 0 20 0 1 0 46371516 2784120832 673909 18446744073709551615 4194304 4832315 140723043981344 140723043978568 4320763 0 0 1 0 0 0 0 17 2 0 0 8 0 0 6932504 6936608 16482304 140723043983868 140723043983948 140723043983948 140723043987405 0
/proc/18894/statm: 679717 673909 576 156 0 673359 0
Current children cumulated CPU time (s) 1962.27
Current children cumulated vsize (KiB) 2718868
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 19100
/proc/meminfo: memFree=26190864/32770624 swapFree=0/383428
[pid=18894] ppid=18891 vsize=2719396 CPUtime=2022.27 cores=0,2,4,6
/proc/18894/stat : 18894 (miniBTD) R 18891 18894 15278 0 -1 4202496 717311 0 0 0 202128 99 0 0 20 0 1 0 46371516 2784661504 674055 18446744073709551615 4194304 4832315 140723043981344 140723043978568 4320733 0 0 1 0 0 0 0 17 2 0 0 8 0 0 6932504 6936608 16482304 140723043983868 140723043983948 140723043983948 140723043987405 0
/proc/18894/statm: 679849 674055 576 156 0 673491 0
Current children cumulated CPU time (s) 2022.27
Current children cumulated vsize (KiB) 2719396
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 19103
/proc/meminfo: memFree=26191132/32770624 swapFree=0/383456
[pid=18894] ppid=18891 vsize=2719528 CPUtime=2082.28 cores=0,2,4,6
/proc/18894/stat : 18894 (miniBTD) R 18891 18894 15278 0 -1 4202496 717395 0 0 0 208129 99 0 0 20 0 1 0 46371516 2784796672 674060 18446744073709551615 4194304 4832315 140723043981344 140723043978568 4320791 0 0 1 0 0 0 0 17 2 0 0 8 0 0 6932504 6936608 16482304 140723043983868 140723043983948 140723043983948 140723043987405 0
/proc/18894/statm: 679882 674060 576 156 0 673524 0
Current children cumulated CPU time (s) 2082.28
Current children cumulated vsize (KiB) 2719528
[startup+2142.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/186 19107
/proc/meminfo: memFree=26190808/32770624 swapFree=0/383492
[pid=18894] ppid=18891 vsize=2719528 CPUtime=2142.28 cores=0,2,4,6
/proc/18894/stat : 18894 (miniBTD) R 18891 18894 15278 0 -1 4202496 717494 0 0 0 214129 99 0 0 20 0 1 0 46371516 2784796672 674065 18446744073709551615 4194304 4832315 140723043981344 140723043978568 4320763 0 0 1 0 0 0 0 17 2 0 0 8 0 0 6932504 6936608 16482304 140723043983868 140723043983948 140723043983948 140723043987405 0
/proc/18894/statm: 679882 674065 576 156 0 673524 0
Current children cumulated CPU time (s) 2142.28
Current children cumulated vsize (KiB) 2719528
[startup+2202.31 s]
/proc/loadavg: 2.03 2.03 2.05 3/186 19109
/proc/meminfo: memFree=26191096/32770624 swapFree=0/383520
[pid=18894] ppid=18891 vsize=2719528 CPUtime=2202.29 cores=0,2,4,6
/proc/18894/stat : 18894 (miniBTD) R 18891 18894 15278 0 -1 4202496 717616 0 0 0 220130 99 0 0 20 0 1 0 46371516 2784796672 674068 18446744073709551615 4194304 4832315 140723043981344 140723043978568 4321428 0 0 1 0 0 0 0 17 2 0 0 8 0 0 6932504 6936608 16482304 140723043983868 140723043983948 140723043983948 140723043987405 0
/proc/18894/statm: 679882 674068 576 156 0 673524 0
Current children cumulated CPU time (s) 2202.29
Current children cumulated vsize (KiB) 2719528
[startup+2262.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/186 19111
/proc/meminfo: memFree=26190748/32770624 swapFree=0/383548
[pid=18894] ppid=18891 vsize=2719528 CPUtime=2262.28 cores=0,2,4,6
/proc/18894/stat : 18894 (miniBTD) R 18891 18894 15278 0 -1 4202496 717697 0 0 0 226129 99 0 0 20 0 1 0 46371516 2784796672 674077 18446744073709551615 4194304 4832315 140723043981344 140723043978568 4320765 0 0 1 0 0 0 0 17 2 0 0 8 0 0 6932504 6936608 16482304 140723043983868 140723043983948 140723043983948 140723043987405 0
/proc/18894/statm: 679882 674077 576 156 0 673524 0
Current children cumulated CPU time (s) 2262.28
Current children cumulated vsize (KiB) 2719528
[startup+2322.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/186 19114
/proc/meminfo: memFree=26191040/32770624 swapFree=0/383588
[pid=18894] ppid=18891 vsize=2719528 CPUtime=2322.29 cores=0,2,4,6
/proc/18894/stat : 18894 (miniBTD) R 18891 18894 15278 0 -1 4202496 717769 0 0 0 232130 99 0 0 20 0 1 0 46371516 2784796672 674082 18446744073709551615 4194304 4832315 140723043981344 140723043978568 4321408 0 0 1 0 0 0 0 17 2 0 0 8 0 0 6932504 6936608 16482304 140723043983868 140723043983948 140723043983948 140723043987405 0
/proc/18894/statm: 679882 674082 576 156 0 673524 0
Current children cumulated CPU time (s) 2322.29
Current children cumulated vsize (KiB) 2719528
[startup+2382.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/186 19117
/proc/meminfo: memFree=26189960/32770624 swapFree=0/383616
[pid=18894] ppid=18891 vsize=2719660 CPUtime=2382.29 cores=0,2,4,6
/proc/18894/stat : 18894 (miniBTD) R 18891 18894 15278 0 -1 4202496 717847 0 0 0 238130 99 0 0 20 0 1 0 46371516 2784931840 674090 18446744073709551615 4194304 4832315 140723043981344 140723043978568 4321276 0 0 1 0 0 0 0 17 2 0 0 8 0 0 6932504 6936608 16482304 140723043983868 140723043983948 140723043983948 140723043987405 0
/proc/18894/statm: 679915 674090 576 156 0 673557 0
Current children cumulated CPU time (s) 2382.29
Current children cumulated vsize (KiB) 2719660
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.1 s]
/proc/loadavg: 2.04 2.04 2.05 3/189 19131
/proc/meminfo: memFree=26186528/32770624 swapFree=0/383636
[pid=18894] ppid=18891 vsize=2719660 CPUtime=2400.09 cores=0,2,4,6
/proc/18894/stat : 18894 (miniBTD) R 18891 18894 15278 0 -1 4202496 717880 0 0 0 239910 99 0 0 20 0 1 0 46371516 2784931840 674090 18446744073709551615 4194304 4832315 140723043981344 140723043978568 4320688 0 0 1 0 0 0 0 17 2 0 0 8 0 0 6932504 6936608 16482304 140723043983868 140723043983948 140723043983948 140723043987405 0
/proc/18894/statm: 679915 674090 576 156 0 673557 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 2719660
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 18894 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.1 s]
/proc/loadavg: 2.04 2.04 2.05 3/189 19131
/proc/meminfo: memFree=26186528/32770624 swapFree=0/383636
[pid=18894] ppid=18891 vsize=2719660 CPUtime=2400.09 cores=0,2,4,6
/proc/18894/stat : 18894 (miniBTD) R 18891 18894 15278 0 -1 4202496 717880 0 0 0 239910 99 0 0 20 0 1 0 46371516 2784931840 674090 18446744073709551615 4194304 4832315 140723043981344 140723043978568 4320688 0 0 1 0 0 0 0 17 2 0 0 8 0 0 6932504 6936608 16482304 140723043983868 140723043983948 140723043983948 140723043987405 0
/proc/18894/statm: 679915 674090 576 156 0 673557 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 2719660
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2400.11
CPU time (s): 2400.1
CPU user time (s): 2399.1
CPU system time (s): 1.00003
CPU usage (%): 99.9998
Max. virtual memory (cumulated for all children) (KiB): 2719660
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.1
system time used= 1.00004
maximum resident set size= 2696392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 717880
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= 1088
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.11961 second user time and 8.16507 second system time
The end