runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (8580 MiB free)
memory of node 1: 16384 MiB (11670 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391905-1568318881/watcher-4391905-1568318881 -o /tmp/evaluation-result-4391905-1568318881/solver-4391905-1568318881 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1568310656-7023 --watchdog 2560 miniBTD 2400 HOME/instance-4391905-1568318881.xml
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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=9421, runsolver pid=9418
[startup+0.100718 s]*
/proc/loadavg: 2.00 2.02 1.99 3/199 9422
/proc/meminfo: memFree=20731220/32770624 swapFree=66939728/67108860
[pid=9421] ppid=9418 vsize=33076 memory=9184 CPUtime=0.1 cores=1,3,5,7
/proc/9421/stat : 9421 (miniBTD) R 9418 9421 6991 0 -1 4202496 2519 0 0 0 10 0 0 0 20 0 1 0 408154910 33869824 2296 33554432000 4194304 5326806 140732441073648 140732441067992 4236164 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7427920 7432256 12931072 140732441080864 140732441080944 140732441080944 140732441083853 0
/proc/9421/statm: 8269 2296 597 277 0 1790 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 33076 KiB
Current children cumulated memory: 9184 KiB
[startup+0.209455 s]*
/proc/loadavg: 2.00 2.02 1.99 3/199 9422
/proc/meminfo: memFree=20731220/32770624 swapFree=66939728/67108860
[pid=9421] ppid=9418 vsize=33472 memory=9448 CPUtime=0.21 cores=1,3,5,7
/proc/9421/stat : 9421 (miniBTD) R 9418 9421 6991 0 -1 4202496 2586 0 0 0 21 0 0 0 20 0 1 0 408154910 34275328 2362 33554432000 4194304 5326806 140732441073648 140732441067992 4236360 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7427920 7432256 12931072 140732441080864 140732441080944 140732441080944 140732441083853 0
/proc/9421/statm: 8368 2362 597 277 0 1889 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 33472 KiB
Current children cumulated memory: 9448 KiB
[startup+0.308835 s]*
/proc/loadavg: 2.00 2.02 1.99 3/199 9422
/proc/meminfo: memFree=20730848/32770624 swapFree=66939728/67108860
[pid=9421] ppid=9418 vsize=33604 memory=9712 CPUtime=0.31 cores=1,3,5,7
/proc/9421/stat : 9421 (miniBTD) R 9418 9421 6991 0 -1 4202496 2634 0 0 0 31 0 0 0 20 0 1 0 408154910 34410496 2428 33554432000 4194304 5326806 140732441073648 140732441067992 139915164243267 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7427920 7432256 12931072 140732441080864 140732441080944 140732441080944 140732441083853 0
/proc/9421/statm: 8401 2428 597 277 0 1922 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 33604 KiB
Current children cumulated memory: 9712 KiB
[startup+0.700278 s]
/proc/loadavg: 2.00 2.02 1.99 3/199 9422
/proc/meminfo: memFree=20730848/32770624 swapFree=66939728/67108860
[pid=9421] ppid=9418 vsize=34396 memory=10504 CPUtime=0.69 cores=1,3,5,7
/proc/9421/stat : 9421 (miniBTD) R 9418 9421 6991 0 -1 4202496 2849 0 0 0 69 0 0 0 20 0 1 0 408154910 35221504 2626 33554432000 4194304 5326806 140732441073648 140732441068056 139915164245407 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7427920 7432256 12931072 140732441080864 140732441080944 140732441080944 140732441083853 0
/proc/9421/statm: 8599 2626 597 277 0 2120 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 34396 KiB
Current children cumulated memory: 10504 KiB
[startup+1.50028 s]
/proc/loadavg: 2.00 2.02 1.99 3/199 9422
/proc/meminfo: memFree=20729152/32770624 swapFree=66939728/67108860
[pid=9421] ppid=9418 vsize=37420 memory=13656 CPUtime=1.49 cores=1,3,5,7
/proc/9421/stat : 9421 (miniBTD) R 9418 9421 6991 0 -1 4202496 3600 0 0 0 149 0 0 0 20 0 1 0 408154910 38318080 3414 33554432000 4194304 5326806 140732441073648 140732441068056 139915164152401 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7427920 7432256 12931072 140732441080864 140732441080944 140732441080944 140732441083853 0
/proc/9421/statm: 9355 3414 601 277 0 2876 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 37420 KiB
Current children cumulated memory: 13656 KiB
[startup+3.10941 s]
/proc/loadavg: 2.00 2.02 1.99 3/199 9422
/proc/meminfo: memFree=20722192/32770624 swapFree=66939728/67108860
[pid=9421] ppid=9418 vsize=42584 memory=18668 CPUtime=3.09 cores=1,3,5,7
/proc/9421/stat : 9421 (miniBTD) R 9418 9421 6991 0 -1 4202496 7470 0 0 0 309 0 0 0 20 0 1 0 408154910 43606016 4667 33554432000 4194304 5326806 140732441073648 140732441067768 4236364 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7427920 7432256 12931072 140732441080864 140732441080944 140732441080944 140732441083853 0
/proc/9421/statm: 10646 4667 601 277 0 4167 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 42584 KiB
Current children cumulated memory: 18668 KiB
[startup+6.30033 s]
/proc/loadavg: 2.00 2.02 1.99 3/199 9422
/proc/meminfo: memFree=20671820/32770624 swapFree=66939728/67108860
[pid=9421] ppid=9418 vsize=93040 memory=68928 CPUtime=6.29 cores=1,3,5,7
/proc/9421/stat : 9421 (miniBTD) R 9418 9421 6991 0 -1 4202496 24775 0 0 0 627 2 0 0 20 0 1 0 408154910 95272960 17232 33554432000 4194304 5326806 140732441073648 140732441067768 139915163582844 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7427920 7432256 12931072 140732441080864 140732441080944 140732441080944 140732441083853 0
/proc/9421/statm: 23260 17232 654 277 0 16781 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 93040 KiB
Current children cumulated memory: 68928 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.02 1.99 3/199 9422
/proc/meminfo: memFree=20671860/32770624 swapFree=66939728/67108860
[pid=9421] ppid=9418 vsize=93040 memory=68936 CPUtime=12.69 cores=1,3,5,7
/proc/9421/stat : 9421 (miniBTD) R 9418 9421 6991 0 -1 4202496 28909 0 0 0 1265 4 0 0 20 0 1 0 408154910 95272960 17234 33554432000 4194304 5326806 140732441073648 140732441072856 139915163582844 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7427920 7432256 12931072 140732441080864 140732441080944 140732441080944 140732441083853 0
/proc/9421/statm: 23260 17234 655 277 0 16781 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 93040 KiB
Current children cumulated memory: 68936 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 1.99 3/199 9424
/proc/meminfo: memFree=20671244/32770624 swapFree=66939728/67108860
[pid=9421] ppid=9418 vsize=93428 memory=69216 CPUtime=25.49 cores=1,3,5,7
/proc/9421/stat : 9421 (miniBTD) R 9418 9421 6991 0 -1 4202496 37195 0 0 0 2542 7 0 0 20 0 1 0 408154910 95670272 17304 33554432000 4194304 5326806 140732441073648 140732441072856 139915163582844 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7427920 7432256 12931072 140732441080864 140732441080944 140732441080944 140732441083853 0
/proc/9421/statm: 23357 17304 655 277 0 16878 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 93428 KiB
Current children cumulated memory: 69216 KiB
[startup+51.1094 s]
/proc/loadavg: 2.00 2.01 1.99 3/199 9425
/proc/meminfo: memFree=20670032/32770624 swapFree=66939728/67108860
[pid=9421] ppid=9418 vsize=93560 memory=69468 CPUtime=51.09 cores=1,3,5,7
/proc/9421/stat : 9421 (miniBTD) R 9418 9421 6991 0 -1 4202496 40458 0 0 0 5095 14 0 0 20 0 1 0 408154910 95805440 17367 33554432000 4194304 5326806 140732441073648 140732441072856 139915163582844 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7427920 7432256 12931072 140732441080864 140732441080944 140732441080944 140732441083853 0
/proc/9421/statm: 23390 17367 655 277 0 16911 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 93560 KiB
Current children cumulated memory: 69468 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/199 9429
/proc/meminfo: memFree=20668968/32770624 swapFree=66939728/67108860
[pid=9421] ppid=9418 vsize=94368 memory=70600 CPUtime=102.28 cores=1,3,5,7
/proc/9421/stat : 9421 (miniBTD) R 9418 9421 6991 0 -1 4202496 41289 0 0 0 10203 25 0 0 20 0 1 0 408154910 96632832 17650 33554432000 4194304 5326806 140732441073648 140732441072856 139915163582844 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7427920 7432256 12931072 140732441080864 140732441080944 140732441080944 140732441083853 0
/proc/9421/statm: 23592 17650 655 277 0 17113 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 94368 KiB
Current children cumulated memory: 70600 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/199 9435
/proc/meminfo: memFree=20668668/32770624 swapFree=66939728/67108860
[pid=9421] ppid=9418 vsize=94672 memory=70776 CPUtime=162.29 cores=1,3,5,7
/proc/9421/stat : 9421 (miniBTD) R 9418 9421 6991 0 -1 4202496 41930 0 0 0 16192 37 0 0 20 0 1 0 408154910 96944128 17694 33554432000 4194304 5326806 140732441073648 140732441072856 139915163582844 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7427920 7432256 12931072 140732441080864 140732441080944 140732441080944 140732441083853 0
/proc/9421/statm: 23668 17694 657 277 0 17189 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 94672 KiB
Current children cumulated memory: 70776 KiB
[startup+222.3 s]
/proc/loadavg: 2.53 2.15 2.04 3/200 9447
/proc/meminfo: memFree=20667760/32770624 swapFree=66939728/67108860
[pid=9421] ppid=9418 vsize=94804 memory=70988 CPUtime=222.29 cores=1,3,5,7
/proc/9421/stat : 9421 (miniBTD) R 9418 9421 6991 0 -1 4202496 42578 0 0 0 22180 49 0 0 20 0 1 0 408154910 97079296 17747 33554432000 4194304 5326806 140732441073648 140732441072856 139915163582844 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7427920 7432256 12931072 140732441080864 140732441080944 140732441080944 140732441083853 0
/proc/9421/statm: 23701 17747 657 277 0 17222 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 94804 KiB
Current children cumulated memory: 70988 KiB
[startup+282.3 s]
/proc/loadavg: 2.19 2.12 2.04 3/200 9451
/proc/meminfo: memFree=20667924/32770624 swapFree=66939728/67108860
[pid=9421] ppid=9418 vsize=94804 memory=71204 CPUtime=282.29 cores=1,3,5,7
/proc/9421/stat : 9421 (miniBTD) R 9418 9421 6991 0 -1 4202496 42579 0 0 0 28163 66 0 0 20 0 1 0 408154910 97079296 17801 33554432000 4194304 5326806 140732441073648 140732441072856 139915172766243 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7427920 7432256 12931072 140732441080864 140732441080944 140732441080944 140732441083853 0
/proc/9421/statm: 23701 17801 657 277 0 17222 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 94804 KiB
Current children cumulated memory: 71204 KiB
[startup+342.3 s]
/proc/loadavg: 2.07 2.10 2.04 3/200 9457
/proc/meminfo: memFree=20667072/32770624 swapFree=66939728/67108860
[pid=9421] ppid=9418 vsize=95068 memory=71544 CPUtime=342.3 cores=1,3,5,7
/proc/9421/stat : 9421 (miniBTD) R 9418 9421 6991 0 -1 4202496 42937 0 0 0 34153 77 0 0 20 0 1 0 408154910 97349632 17886 33554432000 4194304 5326806 140732441073648 140732441072856 139915163582844 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7427920 7432256 12931072 140732441080864 140732441080944 140732441080944 140732441083853 0
/proc/9421/statm: 23767 17886 657 277 0 17288 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 95068 KiB
Current children cumulated memory: 71544 KiB
[startup+402.3 s]
/proc/loadavg: 2.07 2.10 2.05 3/200 9461
/proc/meminfo: memFree=20666968/32770624 swapFree=66939728/67108860
[pid=9421] ppid=9418 vsize=95200 memory=71672 CPUtime=402.3 cores=1,3,5,7
/proc/9421/stat : 9421 (miniBTD) R 9418 9421 6991 0 -1 4202496 43024 0 0 0 40143 87 0 0 20 0 1 0 408154910 97484800 17918 33554432000 4194304 5326806 140732441073648 140732441072856 139915163582844 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7427920 7432256 12931072 140732441080864 140732441080944 140732441080944 140732441083853 0
/proc/9421/statm: 23800 17918 657 277 0 17321 0
Current children cumulated CPU time: 402.3 s
Current children cumulated vsize: 95200 KiB
Current children cumulated memory: 71672 KiB
[startup+462.3 s]
/proc/loadavg: 2.02 2.08 2.05 3/200 9465
/proc/meminfo: memFree=20667516/32770624 swapFree=66939728/67108860
[pid=9421] ppid=9418 vsize=95200 memory=71716 CPUtime=462.31 cores=1,3,5,7
/proc/9421/stat : 9421 (miniBTD) R 9418 9421 6991 0 -1 4202496 43341 0 0 0 46132 99 0 0 20 0 1 0 408154910 97484800 17929 33554432000 4194304 5326806 140732441073648 140732441072856 139915163582844 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7427920 7432256 12931072 140732441080864 140732441080944 140732441080944 140732441083853 0
/proc/9421/statm: 23800 17929 657 277 0 17321 0
Current children cumulated CPU time: 462.31 s
Current children cumulated vsize: 95200 KiB
Current children cumulated memory: 71716 KiB
################
# More data... #
################
/proc/9421/statm: 23937 18038 657 277 0 17458 0
Current children cumulated CPU time: 1662.37 s
Current children cumulated vsize: 95748 KiB
Current children cumulated memory: 72152 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 9578
/proc/meminfo: memFree=20665212/32770624 swapFree=66939728/67108860
[pid=9421] ppid=9418 vsize=95748 memory=72152 CPUtime=1722.37 cores=1,3,5,7
/proc/9421/stat : 9421 (miniBTD) R 9418 9421 6991 0 -1 4202496 47112 0 0 0 171887 350 0 0 20 0 1 0 408154910 98045952 18038 33554432000 4194304 5326806 140732441073648 140732441072856 4432694 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7427920 7432256 12931072 140732441080864 140732441080944 140732441080944 140732441083853 0
/proc/9421/statm: 23937 18038 657 277 0 17458 0
Current children cumulated CPU time: 1722.37 s
Current children cumulated vsize: 95748 KiB
Current children cumulated memory: 72152 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 9584
/proc/meminfo: memFree=20664872/32770624 swapFree=66939728/67108860
[pid=9421] ppid=9418 vsize=95748 memory=72152 CPUtime=1782.38 cores=1,3,5,7
/proc/9421/stat : 9421 (miniBTD) R 9418 9421 6991 0 -1 4202496 47470 0 0 0 177877 361 0 0 20 0 1 0 408154910 98045952 18038 33554432000 4194304 5326806 140732441073648 140732441072856 139915163582844 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7427920 7432256 12931072 140732441080864 140732441080944 140732441080944 140732441083853 0
/proc/9421/statm: 23937 18038 657 277 0 17458 0
Current children cumulated CPU time: 1782.38 s
Current children cumulated vsize: 95748 KiB
Current children cumulated memory: 72152 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 9588
/proc/meminfo: memFree=20666408/32770624 swapFree=66939728/67108860
[pid=9421] ppid=9418 vsize=95748 memory=72152 CPUtime=1842.39 cores=1,3,5,7
/proc/9421/stat : 9421 (miniBTD) R 9418 9421 6991 0 -1 4202496 47542 0 0 0 183866 373 0 0 20 0 1 0 408154910 98045952 18038 33554432000 4194304 5326806 140732441073648 140732441072856 139915163582844 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7427920 7432256 12931072 140732441080864 140732441080944 140732441080944 140732441083853 0
/proc/9421/statm: 23937 18038 657 277 0 17458 0
Current children cumulated CPU time: 1842.39 s
Current children cumulated vsize: 95748 KiB
Current children cumulated memory: 72152 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 9593
/proc/meminfo: memFree=20666104/32770624 swapFree=66939728/67108860
[pid=9421] ppid=9418 vsize=95748 memory=72200 CPUtime=1902.39 cores=1,3,5,7
/proc/9421/stat : 9421 (miniBTD) R 9418 9421 6991 0 -1 4202496 47906 0 0 0 189856 383 0 0 20 0 1 0 408154910 98045952 18050 33554432000 4194304 5326806 140732441073648 140732441072856 139915163582844 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7427920 7432256 12931072 140732441080864 140732441080944 140732441080944 140732441083853 0
/proc/9421/statm: 23937 18050 657 277 0 17458 0
Current children cumulated CPU time: 1902.39 s
Current children cumulated vsize: 95748 KiB
Current children cumulated memory: 72200 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 9599
/proc/meminfo: memFree=20665948/32770624 swapFree=66939728/67108860
[pid=9421] ppid=9418 vsize=95748 memory=72200 CPUtime=1962.39 cores=1,3,5,7
/proc/9421/stat : 9421 (miniBTD) R 9418 9421 6991 0 -1 4202496 47906 0 0 0 195848 391 0 0 20 0 1 0 408154910 98045952 18050 33554432000 4194304 5326806 140732441073648 140732441072856 139915163582844 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7427920 7432256 12931072 140732441080864 140732441080944 140732441080944 140732441083853 0
/proc/9421/statm: 23937 18050 657 277 0 17458 0
Current children cumulated CPU time: 1962.39 s
Current children cumulated vsize: 95748 KiB
Current children cumulated memory: 72200 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 9611
/proc/meminfo: memFree=20665640/32770624 swapFree=66939728/67108860
[pid=9421] ppid=9418 vsize=95748 memory=72200 CPUtime=2022.39 cores=1,3,5,7
/proc/9421/stat : 9421 (miniBTD) R 9418 9421 6991 0 -1 4202496 48270 0 0 0 201839 400 0 0 20 0 1 0 408154910 98045952 18050 33554432000 4194304 5326806 140732441073648 140732441072856 139915163582844 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7427920 7432256 12931072 140732441080864 140732441080944 140732441080944 140732441083853 0
/proc/9421/statm: 23937 18050 657 277 0 17458 0
Current children cumulated CPU time: 2022.39 s
Current children cumulated vsize: 95748 KiB
Current children cumulated memory: 72200 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 9615
/proc/meminfo: memFree=20666360/32770624 swapFree=66939728/67108860
[pid=9421] ppid=9418 vsize=95748 memory=72200 CPUtime=2082.4 cores=1,3,5,7
/proc/9421/stat : 9421 (miniBTD) R 9418 9421 6991 0 -1 4202496 48270 0 0 0 207831 409 0 0 20 0 1 0 408154910 98045952 18050 33554432000 4194304 5326806 140732441073648 140732441072856 139915163582844 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7427920 7432256 12931072 140732441080864 140732441080944 140732441080944 140732441083853 0
/proc/9421/statm: 23937 18050 657 277 0 17458 0
Current children cumulated CPU time: 2082.4 s
Current children cumulated vsize: 95748 KiB
Current children cumulated memory: 72200 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 9621
/proc/meminfo: memFree=20666120/32770624 swapFree=66939728/67108860
[pid=9421] ppid=9418 vsize=95748 memory=72200 CPUtime=2142.41 cores=1,3,5,7
/proc/9421/stat : 9421 (miniBTD) R 9418 9421 6991 0 -1 4202496 48634 0 0 0 213824 417 0 0 20 0 1 0 408154910 98045952 18050 33554432000 4194304 5326806 140732441073648 140732441072856 139915163582844 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7427920 7432256 12931072 140732441080864 140732441080944 140732441080944 140732441083853 0
/proc/9421/statm: 23937 18050 657 277 0 17458 0
Current children cumulated CPU time: 2142.41 s
Current children cumulated vsize: 95748 KiB
Current children cumulated memory: 72200 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 9625
/proc/meminfo: memFree=20666372/32770624 swapFree=66939728/67108860
[pid=9421] ppid=9418 vsize=95748 memory=72200 CPUtime=2202.4 cores=1,3,5,7
/proc/9421/stat : 9421 (miniBTD) R 9418 9421 6991 0 -1 4202496 48634 0 0 0 219817 423 0 0 20 0 1 0 408154910 98045952 18050 33554432000 4194304 5326806 140732441073648 140732441072856 139915163582844 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7427920 7432256 12931072 140732441080864 140732441080944 140732441080944 140732441083853 0
/proc/9421/statm: 23937 18050 657 277 0 17458 0
Current children cumulated CPU time: 2202.4 s
Current children cumulated vsize: 95748 KiB
Current children cumulated memory: 72200 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 9689
/proc/meminfo: memFree=20711388/32770624 swapFree=66939728/67108860
[pid=9421] ppid=9418 vsize=95748 memory=72200 CPUtime=2262.41 cores=1,3,5,7
/proc/9421/stat : 9421 (miniBTD) R 9418 9421 6991 0 -1 4202496 48997 0 0 0 225809 432 0 0 20 0 1 0 408154910 98045952 18050 33554432000 4194304 5326806 140732441073648 140732441072856 139915163582844 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7427920 7432256 12931072 140732441080864 140732441080944 140732441080944 140732441083853 0
/proc/9421/statm: 23937 18050 657 277 0 17458 0
Current children cumulated CPU time: 2262.41 s
Current children cumulated vsize: 95748 KiB
Current children cumulated memory: 72200 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 9695
/proc/meminfo: memFree=20711312/32770624 swapFree=66939728/67108860
[pid=9421] ppid=9418 vsize=95748 memory=72200 CPUtime=2322.41 cores=1,3,5,7
/proc/9421/stat : 9421 (miniBTD) R 9418 9421 6991 0 -1 4202496 48998 0 0 0 231800 441 0 0 20 0 1 0 408154910 98045952 18050 33554432000 4194304 5326806 140732441073648 140732441072856 139915163582844 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7427920 7432256 12931072 140732441080864 140732441080944 140732441080944 140732441083853 0
/proc/9421/statm: 23937 18050 657 277 0 17458 0
Current children cumulated CPU time: 2322.41 s
Current children cumulated vsize: 95748 KiB
Current children cumulated memory: 72200 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 9699
/proc/meminfo: memFree=20711184/32770624 swapFree=66939728/67108860
[pid=9421] ppid=9418 vsize=95748 memory=72200 CPUtime=2382.42 cores=1,3,5,7
/proc/9421/stat : 9421 (miniBTD) R 9418 9421 6991 0 -1 4202496 49361 0 0 0 237791 451 0 0 20 0 1 0 408154910 98045952 18050 33554432000 4194304 5326806 140732441073648 140732441072856 139915163582844 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7427920 7432256 12931072 140732441080864 140732441080944 140732441080944 140732441083853 0
/proc/9421/statm: 23937 18050 657 277 0 17458 0
Current children cumulated CPU time: 2382.42 s
Current children cumulated vsize: 95748 KiB
Current children cumulated memory: 72200 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2399.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 9701
/proc/meminfo: memFree=20710876/32770624 swapFree=66939728/67108860
[pid=9421] ppid=9418 vsize=95748 memory=72200 CPUtime=2400.02 cores=1,3,5,7
/proc/9421/stat : 9421 (miniBTD) R 9418 9421 6991 0 -1 4202496 49361 0 0 0 239549 453 0 0 20 0 1 0 408154910 98045952 18050 33554432000 4194304 5326806 140732441073648 140732441072856 139915163582844 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7427920 7432256 12931072 140732441080864 140732441080944 140732441080944 140732441083853 0
/proc/9421/statm: 23937 18050 657 277 0 17458 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 95748 KiB
Current children cumulated memory: 72200 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2399.9 s]
# the end of solver process 9421 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2395.49 s, system=4.53526 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2399.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 9701
/proc/meminfo: memFree=20710876/32770624 swapFree=66939728/67108860
[pid=9421] ppid=9418 vsize=95748 memory=72200 CPUtime=2400.02 cores=1,3,5,7
/proc/9421/stat : 9421 (miniBTD) R 9418 9421 6991 0 -1 4202496 49361 0 0 0 239549 453 0 0 20 0 1 0 408154910 98045952 18050 33554432000 4194304 5326806 140732441073648 140732441072856 139915163582844 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7427920 7432256 12931072 140732441080864 140732441080944 140732441080944 140732441083853 0
/proc/9421/statm: 23937 18050 657 277 0 17458 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 95748 KiB
Current children cumulated memory: 72200 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2399.9
CPU time (s): 2400.03
CPU user time (s): 2395.49
CPU system time (s): 4.53526
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 95748
Max. memory (cumulated for all children) (KiB): 72200
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.49
system time used= 4.53526
maximum resident set size= 72200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49361
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= 18
involuntary context switches= 640
# summary of solver processes directly reported to runsolver:
# pid: 9421
# total CPU time (s): 2400.03
# total CPU user time (s): 2395.49
# total CPU system time (s): 4.53526
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.7606 second user time and 16.5143 second system time
The end