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-4252851-1501993458/watcher-4252851-1501993458 -o /tmp/evaluation-result-4252851-1501993458/solver-4252851-1501993458 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1501978194-17166 --watchdog 2560 miniBTD 2400 HOME/instance-4252851-1501993458.xml
pid=19484
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.01 2.03 2.05 3/187 19487
/proc/meminfo: memFree=28884584/32770624 swapFree=0/384800
[pid=19487] ppid=19484 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/19487/stat : 19487 (runsolver) D 19484 19487 15278 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 46851773 24240128 107 18446744073709551615 4194304 4338465 140729324475280 140729324472920 140628211352279 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 38158336 140729324482768 140729324483145 140729324483145 140729324486602 0
/proc/19487/statm: 5918 107 54 36 0 2156 0
[startup+0.100152 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 19487
/proc/meminfo: memFree=28884584/32770624 swapFree=0/384800
[pid=19487] ppid=19484 vsize=26256 CPUtime=0.01 cores=0,2,4,6
/proc/19487/stat : 19487 (miniBTD) R 19484 19487 15278 0 -1 4202496 856 0 0 0 1 0 0 0 20 0 1 0 46851773 26886144 693 18446744073709551615 4194304 4832315 140721482164960 140721482161960 4216998 0 0 1 0 0 0 0 17 0 0 0 7 0 0 6932504 6936608 30588928 140721482166780 140721482166860 140721482166860 140721482170317 0
/proc/19487/statm: 6564 693 515 156 0 206 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 26256
[startup+0.200288 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 19487
/proc/meminfo: memFree=28884584/32770624 swapFree=0/384800
[pid=19487] ppid=19484 vsize=27100 CPUtime=0.11 cores=0,2,4,6
/proc/19487/stat : 19487 (miniBTD) R 19484 19487 15278 0 -1 4202496 1269 0 0 0 11 0 0 0 20 0 1 0 46851773 27750400 916 18446744073709551615 4194304 4832315 140721482164960 140721482161960 4217654 0 0 1 0 0 0 0 17 0 0 0 7 0 0 6932504 6936608 30588928 140721482166780 140721482166860 140721482166860 140721482170317 0
/proc/19487/statm: 6775 916 515 156 0 417 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 27100
[startup+0.30027 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 19487
/proc/meminfo: memFree=28884584/32770624 swapFree=0/384800
[pid=19487] ppid=19484 vsize=27908 CPUtime=0.21 cores=0,2,4,6
/proc/19487/stat : 19487 (miniBTD) R 19484 19487 15278 0 -1 4202496 1805 0 0 0 21 0 0 0 20 0 1 0 46851773 28577792 1124 18446744073709551615 4194304 4832315 140721482164960 140721482161960 4221653 0 0 1 0 0 0 0 17 0 0 0 7 0 0 6932504 6936608 30588928 140721482166780 140721482166860 140721482166860 140721482170317 0
/proc/19487/statm: 6977 1124 515 156 0 619 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 27908
[startup+0.700237 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 19487
/proc/meminfo: memFree=28884584/32770624 swapFree=0/384800
[pid=19487] ppid=19484 vsize=31340 CPUtime=0.61 cores=0,2,4,6
/proc/19487/stat : 19487 (miniBTD) R 19484 19487 15278 0 -1 4202496 4588 0 0 0 61 0 0 0 20 0 1 0 46851773 32092160 1982 18446744073709551615 4194304 4832315 140721482164960 140721482161960 4216677 0 0 1 0 0 0 0 17 0 0 0 7 0 0 6932504 6936608 30588928 140721482166780 140721482166860 140721482166860 140721482170317 0
/proc/19487/statm: 7835 1982 515 156 0 1477 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 31340
[startup+1.50017 s]
/proc/loadavg: 2.01 2.03 2.05 3/188 19488
/proc/meminfo: memFree=28875672/32770624 swapFree=0/384812
[pid=19487] ppid=19484 vsize=38180 CPUtime=1.41 cores=0,2,4,6
/proc/19487/stat : 19487 (miniBTD) R 19484 19487 15278 0 -1 4202496 8988 0 0 0 140 1 0 0 20 0 1 0 46851773 39096320 3692 18446744073709551615 4194304 4832315 140721482164960 140721482161512 4215837 0 0 1 0 0 0 0 17 0 0 0 7 0 0 6932504 6936608 30588928 140721482166780 140721482166860 140721482166860 140721482170317 0
/proc/19487/statm: 9545 3692 515 156 0 3187 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 38180
[startup+3.10028 s]
/proc/loadavg: 2.01 2.03 2.05 3/188 19488
/proc/meminfo: memFree=28862732/32770624 swapFree=0/384788
[pid=19487] ppid=19484 vsize=59272 CPUtime=3.01 cores=0,2,4,6
/proc/19487/stat : 19487 (miniBTD) R 19484 19487 15278 0 -1 4202496 17380 0 0 0 299 2 0 0 20 0 1 0 46851773 60694528 8965 18446744073709551615 4194304 4832315 140721482164960 140721482161512 4217326 0 0 1 0 0 0 0 17 2 0 0 7 0 0 6932504 6936608 30588928 140721482166780 140721482166860 140721482166860 140721482170317 0
/proc/19487/statm: 14818 8965 515 156 0 8460 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 59272
[startup+6.30028 s]
/proc/loadavg: 2.01 2.03 2.05 3/188 19488
/proc/meminfo: memFree=28821968/32770624 swapFree=0/384796
[pid=19487] ppid=19484 vsize=94788 CPUtime=6.21 cores=0,2,4,6
/proc/19487/stat : 19487 (miniBTD) R 19484 19487 15278 0 -1 4202496 33419 0 0 0 616 5 0 0 20 0 1 0 46851773 97062912 17818 18446744073709551615 4194304 4832315 140721482164960 140721482161512 4216677 0 0 1 0 0 0 0 17 2 0 0 7 0 0 6932504 6936608 30588928 140721482166780 140721482166860 140721482166860 140721482170317 0
/proc/19487/statm: 23697 17818 515 156 0 17339 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 94788
[startup+12.7003 s]
/proc/loadavg: 1.93 2.02 2.04 3/188 19488
/proc/meminfo: memFree=28185744/32770624 swapFree=0/384796
[pid=19487] ppid=19484 vsize=821148 CPUtime=12.61 cores=0,2,4,6
/proc/19487/stat : 19487 (miniBTD) R 19484 19487 15278 0 -1 4202496 229207 0 0 0 1231 30 0 0 20 0 1 0 46851773 840855552 199292 18446744073709551615 4194304 4832315 140721482164960 140721482159992 4228176 0 0 1 0 0 0 0 17 2 0 0 7 0 0 6932504 6936608 30588928 140721482166780 140721482166860 140721482166860 140721482170317 0
/proc/19487/statm: 205287 199292 551 156 0 198929 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 821148
[startup+25.5003 s]
/proc/loadavg: 1.94 2.02 2.04 3/188 19489
/proc/meminfo: memFree=26218204/32770624 swapFree=0/384808
[pid=19487] ppid=19484 vsize=2686132 CPUtime=25.41 cores=0,2,4,6
/proc/19487/stat : 19487 (miniBTD) R 19484 19487 15278 0 -1 4202496 703024 0 0 0 2455 86 0 0 20 0 1 0 46851773 2750599168 665706 18446744073709551615 4194304 4832315 140721482164960 140721482162184 4320718 0 0 1 0 0 0 0 17 2 0 0 7 0 0 6932504 6936608 30588928 140721482166780 140721482166860 140721482166860 140721482170317 0
/proc/19487/statm: 671533 665706 576 156 0 665175 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 2686132
[startup+51.1003 s]
/proc/loadavg: 1.74 1.97 2.02 2/181 19535
/proc/meminfo: memFree=28894688/32770624 swapFree=0/384824
[pid=19487] ppid=19484 vsize=2716888 CPUtime=51.01 cores=0,2,4,6
/proc/19487/stat : 19487 (miniBTD) R 19484 19487 15278 0 -1 4202496 713766 0 0 0 5013 88 0 0 20 0 1 0 46851773 2782093312 673375 18446744073709551615 4194304 4832315 140721482164960 140721482162184 4320760 0 0 1 0 0 0 0 17 2 0 0 7 0 0 6932504 6936608 30588928 140721482166780 140721482166860 140721482166860 140721482170317 0
/proc/19487/statm: 679222 673375 576 156 0 672864 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 2716888
[startup+102.3 s]
/proc/loadavg: 1.30 1.80 1.96 2/178 19537
/proc/meminfo: memFree=28899864/32770624 swapFree=0/384840
[pid=19487] ppid=19484 vsize=2716888 CPUtime=102.21 cores=0,2,4,6
/proc/19487/stat : 19487 (miniBTD) R 19484 19487 15278 0 -1 4202496 713809 0 0 0 10133 88 0 0 20 0 1 0 46851773 2782093312 673402 18446744073709551615 4194304 4832315 140721482164960 140721482162184 4321276 0 0 1 0 0 0 0 17 2 0 0 7 0 0 6932504 6936608 30588928 140721482166780 140721482166860 140721482166860 140721482170317 0
/proc/19487/statm: 679222 673402 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: 1.11 1.66 1.91 2/179 19540
/proc/meminfo: memFree=28900756/32770624 swapFree=0/384856
[pid=19487] ppid=19484 vsize=2716888 CPUtime=162.21 cores=0,2,4,6
/proc/19487/stat : 19487 (miniBTD) R 19484 19487 15278 0 -1 4202496 713908 0 0 0 16132 89 0 0 20 0 1 0 46851773 2782093312 673405 18446744073709551615 4194304 4832315 140721482164960 140721482162184 4320869 0 0 1 0 0 0 0 17 2 0 0 7 0 0 6932504 6936608 30588928 140721482166780 140721482166860 140721482166860 140721482170317 0
/proc/19487/statm: 679222 673405 576 156 0 672864 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 2716888
[startup+222.305 s]
/proc/loadavg: 1.04 1.54 1.85 2/178 19542
/proc/meminfo: memFree=28900928/32770624 swapFree=0/384868
[pid=19487] ppid=19484 vsize=2716888 CPUtime=222.22 cores=0,2,4,6
/proc/19487/stat : 19487 (miniBTD) R 19484 19487 15278 0 -1 4202496 713985 0 0 0 22132 90 0 0 20 0 1 0 46851773 2782093312 673407 18446744073709551615 4194304 4832315 140721482164960 140721482162184 4320901 0 0 1 0 0 0 0 17 2 0 0 7 0 0 6932504 6936608 30588928 140721482166780 140721482166860 140721482166860 140721482170317 0
/proc/19487/statm: 679222 673407 576 156 0 672864 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 2716888
[startup+282.3 s]
/proc/loadavg: 1.01 1.44 1.80 2/178 19544
/proc/meminfo: memFree=28900708/32770624 swapFree=0/384888
[pid=19487] ppid=19484 vsize=2716888 CPUtime=282.21 cores=0,2,4,6
/proc/19487/stat : 19487 (miniBTD) R 19484 19487 15278 0 -1 4202496 714061 0 0 0 28130 91 0 0 20 0 1 0 46851773 2782093312 673411 18446744073709551615 4194304 4832315 140721482164960 140721482162184 4320692 0 0 1 0 0 0 0 17 2 0 0 7 0 0 6932504 6936608 30588928 140721482166780 140721482166860 140721482166860 140721482170317 0
/proc/19487/statm: 679222 673411 576 156 0 672864 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 2716888
[startup+342.3 s]
/proc/loadavg: 1.01 1.36 1.75 2/178 19546
/proc/meminfo: memFree=28900612/32770624 swapFree=0/384900
[pid=19487] ppid=19484 vsize=2716888 CPUtime=342.21 cores=0,2,4,6
/proc/19487/stat : 19487 (miniBTD) R 19484 19487 15278 0 -1 4202496 714126 0 0 0 34129 92 0 0 20 0 1 0 46851773 2782093312 673414 18446744073709551615 4194304 4832315 140721482164960 140721482162184 4321408 0 0 1 0 0 0 0 17 2 0 0 7 0 0 6932504 6936608 30588928 140721482166780 140721482166860 140721482166860 140721482170317 0
/proc/19487/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: 1.00 1.29 1.70 2/179 19549
/proc/meminfo: memFree=28900712/32770624 swapFree=0/384908
[pid=19487] ppid=19484 vsize=2716888 CPUtime=402.21 cores=0,2,4,6
/proc/19487/stat : 19487 (miniBTD) R 19484 19487 15278 0 -1 4202496 714190 0 0 0 40129 92 0 0 20 0 1 0 46851773 2782093312 673417 18446744073709551615 4194304 4832315 140721482164960 140721482162184 4320760 0 0 1 0 0 0 0 17 2 0 0 7 0 0 6932504 6936608 30588928 140721482166780 140721482166860 140721482166860 140721482170317 0
/proc/19487/statm: 679222 673417 576 156 0 672864 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 2716888
[startup+462.3 s]
/proc/loadavg: 1.00 1.24 1.66 2/178 19551
/proc/meminfo: memFree=28900384/32770624 swapFree=0/384928
[pid=19487] ppid=19484 vsize=2716888 CPUtime=462.22 cores=0,2,4,6
/proc/19487/stat : 19487 (miniBTD) R 19484 19487 15278 0 -1 4202496 714269 0 0 0 46129 93 0 0 20 0 1 0 46851773 2782093312 673423 18446744073709551615 4194304 4832315 140721482164960 140721482162184 4321424 0 0 1 0 0 0 0 17 2 0 0 7 0 0 6932504 6936608 30588928 140721482166780 140721482166860 140721482166860 140721482170317 0
/proc/19487/statm: 679222 673423 576 156 0 672864 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 2716888
[startup+522.3 s]
/proc/loadavg: 1.00 1.20 1.61 2/178 19553
/proc/meminfo: memFree=28900660/32770624 swapFree=0/384948
[pid=19487] ppid=19484 vsize=2716888 CPUtime=522.22 cores=0,2,4,6
/proc/19487/stat : 19487 (miniBTD) R 19484 19487 15278 0 -1 4202496 714321 0 0 0 52128 94 0 0 20 0 1 0 46851773 2782093312 673423 18446744073709551615 4194304 4832315 140721482164960 140721482162184 4321276 0 0 1 0 0 0 0 17 2 0 0 7 0 0 6932504 6936608 30588928 140721482166780 140721482166860 140721482166860 140721482170317 0
/proc/19487/statm: 679222 673423 576 156 0 672864 0
Current children cumulated CPU time (s) 522.22
Current children cumulated vsize (KiB) 2716888
[startup+582.3 s]
/proc/loadavg: 1.00 1.16 1.58 2/181 19569
/proc/meminfo: memFree=28894944/32770624 swapFree=0/384968
[pid=19487] ppid=19484 vsize=2716888 CPUtime=582.22 cores=0,2,4,6
/proc/19487/stat : 19487 (miniBTD) R 19484 19487 15278 0 -1 4202496 714397 0 0 0 58128 94 0 0 20 0 1 0 46851773 2782093312 673431 18446744073709551615 4194304 4832315 140721482164960 140721482162184 4320763 0 0 1 0 0 0 0 17 2 0 0 7 0 0 6932504 6936608 30588928 140721482166780 140721482166860 140721482166860 140721482170317 0
/proc/19487/statm: 679222 673431 576 156 0 672864 0
Current children cumulated CPU time (s) 582.22
Current children cumulated vsize (KiB) 2716888
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 1.00 1.02 1.22 2/179 19643
/proc/meminfo: memFree=28900836/32770624 swapFree=0/385332
[pid=19487] ppid=19484 vsize=2717548 CPUtime=1542.27 cores=0,2,4,6
/proc/19487/stat : 19487 (miniBTD) R 19484 19487 15278 0 -1 4202496 715809 0 0 0 154129 98 0 0 20 0 1 0 46851773 2782769152 673581 18446744073709551615 4194304 4832315 140721482164960 140721482162184 4321424 0 0 1 0 0 0 0 17 2 0 0 7 0 0 6932504 6936608 30588928 140721482166780 140721482166860 140721482166860 140721482170317 0
/proc/19487/statm: 679387 673581 576 156 0 673029 0
Current children cumulated CPU time (s) 1542.27
Current children cumulated vsize (KiB) 2717548
[startup+1602.3 s]
/proc/loadavg: 1.00 1.02 1.20 2/179 19645
/proc/meminfo: memFree=28900268/32770624 swapFree=0/385352
[pid=19487] ppid=19484 vsize=2717548 CPUtime=1602.26 cores=0,2,4,6
/proc/19487/stat : 19487 (miniBTD) R 19484 19487 15278 0 -1 4202496 715868 0 0 0 160128 98 0 0 20 0 1 0 46851773 2782769152 673585 18446744073709551615 4194304 4832315 140721482164960 140721482162184 4320746 0 0 1 0 0 0 0 17 2 0 0 7 0 0 6932504 6936608 30588928 140721482166780 140721482166860 140721482166860 140721482170317 0
/proc/19487/statm: 679387 673585 576 156 0 673029 0
Current children cumulated CPU time (s) 1602.26
Current children cumulated vsize (KiB) 2717548
[startup+1662.3 s]
/proc/loadavg: 1.00 1.01 1.19 2/179 19647
/proc/meminfo: memFree=28900556/32770624 swapFree=0/385372
[pid=19487] ppid=19484 vsize=2717548 CPUtime=1662.27 cores=0,2,4,6
/proc/19487/stat : 19487 (miniBTD) R 19484 19487 15278 0 -1 4202496 715936 0 0 0 166129 98 0 0 20 0 1 0 46851773 2782769152 673589 18446744073709551615 4194304 4832315 140721482164960 140721482162184 4321424 0 0 1 0 0 0 0 17 2 0 0 7 0 0 6932504 6936608 30588928 140721482166780 140721482166860 140721482166860 140721482170317 0
/proc/19487/statm: 679387 673589 576 156 0 673029 0
Current children cumulated CPU time (s) 1662.27
Current children cumulated vsize (KiB) 2717548
[startup+1722.3 s]
/proc/loadavg: 1.00 1.01 1.18 2/178 19649
/proc/meminfo: memFree=28898568/32770624 swapFree=0/385392
[pid=19487] ppid=19484 vsize=2717548 CPUtime=1722.27 cores=0,2,4,6
/proc/19487/stat : 19487 (miniBTD) R 19484 19487 15278 0 -1 4202496 716014 0 0 0 172129 98 0 0 20 0 1 0 46851773 2782769152 673591 18446744073709551615 4194304 4832315 140721482164960 140721482162184 4320904 0 0 1 0 0 0 0 17 2 0 0 7 0 0 6932504 6936608 30588928 140721482166780 140721482166860 140721482166860 140721482170317 0
/proc/19487/statm: 679387 673591 576 156 0 673029 0
Current children cumulated CPU time (s) 1722.27
Current children cumulated vsize (KiB) 2717548
[startup+1782.3 s]
/proc/loadavg: 1.00 1.01 1.17 2/180 19665
/proc/meminfo: memFree=28894684/32770624 swapFree=0/385436
[pid=19487] ppid=19484 vsize=2717548 CPUtime=1782.27 cores=0,2,4,6
/proc/19487/stat : 19487 (miniBTD) R 19484 19487 15278 0 -1 4202496 716101 0 0 0 178129 98 0 0 20 0 1 0 46851773 2782769152 673594 18446744073709551615 4194304 4832315 140721482164960 140721482162184 4321408 0 0 1 0 0 0 0 17 2 0 0 7 0 0 6932504 6936608 30588928 140721482166780 140721482166860 140721482166860 140721482170317 0
/proc/19487/statm: 679387 673594 576 156 0 673029 0
Current children cumulated CPU time (s) 1782.27
Current children cumulated vsize (KiB) 2717548
[startup+1842.3 s]
/proc/loadavg: 1.00 1.01 1.16 2/180 19667
/proc/meminfo: memFree=28895392/32770624 swapFree=0/385472
[pid=19487] ppid=19484 vsize=2717680 CPUtime=1842.27 cores=0,2,4,6
/proc/19487/stat : 19487 (miniBTD) R 19484 19487 15278 0 -1 4202496 716181 0 0 0 184129 98 0 0 20 0 1 0 46851773 2782904320 673600 18446744073709551615 4194304 4832315 140721482164960 140721482162184 4320904 0 0 1 0 0 0 0 17 2 0 0 7 0 0 6932504 6936608 30588928 140721482166780 140721482166860 140721482166860 140721482170317 0
/proc/19487/statm: 679420 673600 576 156 0 673062 0
Current children cumulated CPU time (s) 1842.27
Current children cumulated vsize (KiB) 2717680
[startup+1902.3 s]
/proc/loadavg: 1.00 1.01 1.15 2/177 19669
/proc/meminfo: memFree=28898192/32770624 swapFree=0/385492
[pid=19487] ppid=19484 vsize=2717680 CPUtime=1902.27 cores=0,2,4,6
/proc/19487/stat : 19487 (miniBTD) R 19484 19487 15278 0 -1 4202496 716262 0 0 0 190129 98 0 0 20 0 1 0 46851773 2782904320 673603 18446744073709551615 4194304 4832315 140721482164960 140721482162184 4321428 0 0 1 0 0 0 0 17 2 0 0 7 0 0 6932504 6936608 30588928 140721482166780 140721482166860 140721482166860 140721482170317 0
/proc/19487/statm: 679420 673603 576 156 0 673062 0
Current children cumulated CPU time (s) 1902.27
Current children cumulated vsize (KiB) 2717680
[startup+1962.3 s]
/proc/loadavg: 1.00 1.01 1.14 2/179 19673
/proc/meminfo: memFree=28898424/32770624 swapFree=0/385512
[pid=19487] ppid=19484 vsize=2717680 CPUtime=1962.28 cores=0,2,4,6
/proc/19487/stat : 19487 (miniBTD) R 19484 19487 15278 0 -1 4202496 716354 0 0 0 196130 98 0 0 20 0 1 0 46851773 2782904320 673606 18446744073709551615 4194304 4832315 140721482164960 140721482162184 4321408 0 0 1 0 0 0 0 17 2 0 0 7 0 0 6932504 6936608 30588928 140721482166780 140721482166860 140721482166860 140721482170317 0
/proc/19487/statm: 679420 673606 576 156 0 673062 0
Current children cumulated CPU time (s) 1962.28
Current children cumulated vsize (KiB) 2717680
[startup+2022.3 s]
/proc/loadavg: 1.00 1.01 1.13 2/179 19675
/proc/meminfo: memFree=28898552/32770624 swapFree=0/385532
[pid=19487] ppid=19484 vsize=2717680 CPUtime=2022.28 cores=0,2,4,6
/proc/19487/stat : 19487 (miniBTD) R 19484 19487 15278 0 -1 4202496 716436 0 0 0 202130 98 0 0 20 0 1 0 46851773 2782904320 673609 18446744073709551615 4194304 4832315 140721482164960 140721482162184 4320692 0 0 1 0 0 0 0 17 2 0 0 7 0 0 6932504 6936608 30588928 140721482166780 140721482166860 140721482166860 140721482170317 0
/proc/19487/statm: 679420 673609 576 156 0 673062 0
Current children cumulated CPU time (s) 2022.28
Current children cumulated vsize (KiB) 2717680
[startup+2082.3 s]
/proc/loadavg: 1.00 1.01 1.12 2/179 19677
/proc/meminfo: memFree=28898432/32770624 swapFree=0/385548
[pid=19487] ppid=19484 vsize=2717680 CPUtime=2082.29 cores=0,2,4,6
/proc/19487/stat : 19487 (miniBTD) R 19484 19487 15278 0 -1 4202496 716519 0 0 0 208131 98 0 0 20 0 1 0 46851773 2782904320 673617 18446744073709551615 4194304 4832315 140721482164960 140721482162184 4320688 0 0 1 0 0 0 0 17 2 0 0 7 0 0 6932504 6936608 30588928 140721482166780 140721482166860 140721482166860 140721482170317 0
/proc/19487/statm: 679420 673617 576 156 0 673062 0
Current children cumulated CPU time (s) 2082.29
Current children cumulated vsize (KiB) 2717680
[startup+2142.3 s]
/proc/loadavg: 1.04 1.03 1.12 2/178 19679
/proc/meminfo: memFree=28899700/32770624 swapFree=0/385568
[pid=19487] ppid=19484 vsize=2717680 CPUtime=2142.28 cores=0,2,4,6
/proc/19487/stat : 19487 (miniBTD) R 19484 19487 15278 0 -1 4202496 716616 0 0 0 214130 98 0 0 20 0 1 0 46851773 2782904320 673624 18446744073709551615 4194304 4832315 140721482164960 140721482162184 4320746 0 0 1 0 0 0 0 17 2 0 0 7 0 0 6932504 6936608 30588928 140721482166780 140721482166860 140721482166860 140721482170317 0
/proc/19487/statm: 679420 673624 576 156 0 673062 0
Current children cumulated CPU time (s) 2142.28
Current children cumulated vsize (KiB) 2717680
[startup+2202.31 s]
/proc/loadavg: 1.02 1.02 1.12 2/179 19682
/proc/meminfo: memFree=28898316/32770624 swapFree=0/385580
[pid=19487] ppid=19484 vsize=2718076 CPUtime=2202.29 cores=0,2,4,6
/proc/19487/stat : 19487 (miniBTD) R 19484 19487 15278 0 -1 4202496 716823 0 0 0 220131 98 0 0 20 0 1 0 46851773 2783309824 673722 18446744073709551615 4194304 4832315 140721482164960 140721482162184 4320688 0 0 1 0 0 0 0 17 2 0 0 7 0 0 6932504 6936608 30588928 140721482166780 140721482166860 140721482166860 140721482170317 0
/proc/19487/statm: 679519 673722 576 156 0 673161 0
Current children cumulated CPU time (s) 2202.29
Current children cumulated vsize (KiB) 2718076
[startup+2262.3 s]
/proc/loadavg: 1.01 1.02 1.11 2/177 19684
/proc/meminfo: memFree=28898448/32770624 swapFree=0/385592
[pid=19487] ppid=19484 vsize=2718208 CPUtime=2262.29 cores=0,2,4,6
/proc/19487/stat : 19487 (miniBTD) R 19484 19487 15278 0 -1 4202496 716930 0 0 0 226131 98 0 0 20 0 1 0 46851773 2783444992 673730 18446744073709551615 4194304 4832315 140721482164960 140721482162184 4320765 0 0 1 0 0 0 0 17 2 0 0 7 0 0 6932504 6936608 30588928 140721482166780 140721482166860 140721482166860 140721482170317 0
/proc/19487/statm: 679552 673730 576 156 0 673194 0
Current children cumulated CPU time (s) 2262.29
Current children cumulated vsize (KiB) 2718208
[startup+2322.3 s]
/proc/loadavg: 1.00 1.01 1.11 2/177 19686
/proc/meminfo: memFree=28898300/32770624 swapFree=0/385600
[pid=19487] ppid=19484 vsize=2718208 CPUtime=2322.29 cores=0,2,4,6
/proc/19487/stat : 19487 (miniBTD) R 19484 19487 15278 0 -1 4202496 717021 0 0 0 232131 98 0 0 20 0 1 0 46851773 2783444992 673733 18446744073709551615 4194304 4832315 140721482164960 140721482162184 4320765 0 0 1 0 0 0 0 17 2 0 0 7 0 0 6932504 6936608 30588928 140721482166780 140721482166860 140721482166860 140721482170317 0
/proc/19487/statm: 679552 673733 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: 1.00 1.01 1.10 2/177 19688
/proc/meminfo: memFree=28898300/32770624 swapFree=0/385604
[pid=19487] ppid=19484 vsize=2718208 CPUtime=2382.29 cores=0,2,4,6
/proc/19487/stat : 19487 (miniBTD) R 19484 19487 15278 0 -1 4202496 717108 0 0 0 238131 98 0 0 20 0 1 0 46851773 2783444992 673737 18446744073709551615 4194304 4832315 140721482164960 140721482162184 4320776 0 0 1 0 0 0 0 17 2 0 0 7 0 0 6932504 6936608 30588928 140721482166780 140721482166860 140721482166860 140721482170317 0
/proc/19487/statm: 679552 673737 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: 1.00 1.01 1.10 2/181 19703
/proc/meminfo: memFree=28893080/32770624 swapFree=0/385608
[pid=19487] ppid=19484 vsize=2718208 CPUtime=2400.09 cores=0,2,4,6
/proc/19487/stat : 19487 (miniBTD) R 19484 19487 15278 0 -1 4202496 717134 0 0 0 239911 98 0 0 20 0 1 0 46851773 2783444992 673737 18446744073709551615 4194304 4832315 140721482164960 140721482162184 4320815 0 0 1 0 0 0 0 17 2 0 0 7 0 0 6932504 6936608 30588928 140721482166780 140721482166860 140721482166860 140721482170317 0
/proc/19487/statm: 679552 673737 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 19487 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.1 s]
/proc/loadavg: 1.00 1.01 1.10 2/181 19703
/proc/meminfo: memFree=28893080/32770624 swapFree=0/385608
[pid=19487] ppid=19484 vsize=2718208 CPUtime=2400.09 cores=0,2,4,6
/proc/19487/stat : 19487 (miniBTD) R 19484 19487 15278 0 -1 4202496 717134 0 0 0 239911 98 0 0 20 0 1 0 46851773 2783444992 673737 18446744073709551615 4194304 4832315 140721482164960 140721482162184 4320815 0 0 1 0 0 0 0 17 2 0 0 7 0 0 6932504 6936608 30588928 140721482166780 140721482166860 140721482166860 140721482170317 0
/proc/19487/statm: 679552 673737 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.11
CPU user time (s): 2399.12
CPU system time (s): 0.991035
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 2718208
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.12
system time used= 0.991035
maximum resident set size= 2694952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 717134
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= 15
involuntary context switches= 979
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.72872 second user time and 7.93506 second system time
The end