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 (8643 MiB free)
memory of node 1: 16384 MiB (11601 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391943-1568321099/watcher-4391943-1568321099 -o /tmp/evaluation-result-4391943-1568321099/solver-4391943-1568321099 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1568310656-7022 --watchdog 2560 miniBTD 2400 HOME/instance-4391943-1568321099.xml
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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=9686, runsolver pid=9683
Current StackSize limit: 8192 KiB
[startup+0.100198 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 9687
/proc/meminfo: memFree=20727496/32770624 swapFree=66939728/67108860
[pid=9686] ppid=9683 vsize=30724 memory=6868 CPUtime=0.1 cores=0,2,4,6
/proc/9686/stat : 9686 (miniBTD) R 9683 9686 6991 0 -1 4202496 1901 0 0 0 10 0 0 0 20 0 1 0 408376782 31461376 1717 33554432000 4194304 5326806 140737347263184 140737347259832 140259689786341 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7427920 7432256 26189824 140737347265568 140737347265648 140737347265648 140737347268557 0
/proc/9686/statm: 7681 1717 596 277 0 1202 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 30724 KiB
Current children cumulated memory: 6868 KiB
[startup+0.209832 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 9687
/proc/meminfo: memFree=20726884/32770624 swapFree=66939728/67108860
[pid=9686] ppid=9683 vsize=31384 memory=7660 CPUtime=0.21 cores=0,2,4,6
/proc/9686/stat : 9686 (miniBTD) R 9683 9686 6991 0 -1 4202496 2086 0 0 0 21 0 0 0 20 0 1 0 408376782 32137216 1915 33554432000 4194304 5326806 140737347263184 140737347259832 140259689786341 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7427920 7432256 26189824 140737347265568 140737347265648 140737347265648 140737347268557 0
/proc/9686/statm: 7846 1915 596 277 0 1367 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 31384 KiB
Current children cumulated memory: 7660 KiB
[startup+0.3092 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 9687
/proc/meminfo: memFree=20726140/32770624 swapFree=66939728/67108860
[pid=9686] ppid=9683 vsize=32044 memory=8188 CPUtime=0.3 cores=0,2,4,6
/proc/9686/stat : 9686 (miniBTD) R 9683 9686 6991 0 -1 4202496 2221 0 0 0 30 0 0 0 20 0 1 0 408376782 32813056 2047 33554432000 4194304 5326806 140737347263184 140737347257576 140259689786341 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7427920 7432256 26189824 140737347265568 140737347265648 140737347265648 140737347268557 0
/proc/9686/statm: 8011 2047 596 277 0 1532 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 32044 KiB
Current children cumulated memory: 8188 KiB
[startup+0.700422 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 9687
/proc/meminfo: memFree=20722420/32770624 swapFree=66939728/67108860
[pid=9686] ppid=9683 vsize=43860 memory=19764 CPUtime=0.69 cores=0,2,4,6
/proc/9686/stat : 9686 (miniBTD) R 9683 9686 6991 0 -1 4202496 5127 0 0 0 68 1 0 0 20 0 1 0 408376782 44912640 4941 33554432000 4194304 5326806 140737347263184 140737347257576 4432714 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7427920 7432256 26189824 140737347265568 140737347265648 140737347265648 140737347268557 0
/proc/9686/statm: 10965 4941 644 277 0 4486 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 43860 KiB
Current children cumulated memory: 19764 KiB
[startup+1.50037 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 9687
/proc/meminfo: memFree=20714068/32770624 swapFree=66939728/67108860
[pid=9686] ppid=9683 vsize=44136 memory=19764 CPUtime=1.49 cores=0,2,4,6
/proc/9686/stat : 9686 (miniBTD) R 9683 9686 6991 0 -1 4202496 5189 0 0 0 148 1 0 0 20 0 1 0 408376782 45195264 4941 33554432000 4194304 5326806 140737347263184 140737347262392 140259690049916 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7427920 7432256 26189824 140737347265568 140737347265648 140737347265648 140737347268557 0
/proc/9686/statm: 11034 4941 644 277 0 4555 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 44136 KiB
Current children cumulated memory: 19764 KiB
[startup+3.10968 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 9687
/proc/meminfo: memFree=20713900/32770624 swapFree=66939728/67108860
[pid=9686] ppid=9683 vsize=44392 memory=20264 CPUtime=3.1 cores=0,2,4,6
/proc/9686/stat : 9686 (miniBTD) R 9683 9686 6991 0 -1 4202496 7405 0 0 0 308 2 0 0 20 0 1 0 408376782 45457408 5066 33554432000 4194304 5326806 140737347263184 140737347262392 140259699233312 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7427920 7432256 26189824 140737347265568 140737347265648 140737347265648 140737347268557 0
/proc/9686/statm: 11098 5066 655 277 0 4619 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 44392 KiB
Current children cumulated memory: 20264 KiB
[startup+6.30035 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 9689
/proc/meminfo: memFree=20712624/32770624 swapFree=66939728/67108860
[pid=9686] ppid=9683 vsize=44392 memory=20372 CPUtime=6.29 cores=0,2,4,6
/proc/9686/stat : 9686 (miniBTD) R 9683 9686 6991 0 -1 4202496 9590 0 0 0 627 2 0 0 20 0 1 0 408376782 45457408 5093 33554432000 4194304 5326806 140737347263184 140737347262392 4277948 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7427920 7432256 26189824 140737347265568 140737347265648 140737347265648 140737347268557 0
/proc/9686/statm: 11098 5093 655 277 0 4619 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 44392 KiB
Current children cumulated memory: 20372 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 9689
/proc/meminfo: memFree=20712792/32770624 swapFree=66939728/67108860
[pid=9686] ppid=9683 vsize=44524 memory=20380 CPUtime=12.69 cores=0,2,4,6
/proc/9686/stat : 9686 (miniBTD) R 9683 9686 6991 0 -1 4202496 11808 0 0 0 1265 4 0 0 20 0 1 0 408376782 45592576 5095 33554432000 4194304 5326806 140737347263184 140737347262392 140259690049916 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7427920 7432256 26189824 140737347265568 140737347265648 140737347265648 140737347268557 0
/proc/9686/statm: 11131 5095 655 277 0 4652 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 44524 KiB
Current children cumulated memory: 20380 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 9689
/proc/meminfo: memFree=20712792/32770624 swapFree=66939728/67108860
[pid=9686] ppid=9683 vsize=44524 memory=20456 CPUtime=25.49 cores=0,2,4,6
/proc/9686/stat : 9686 (miniBTD) R 9683 9686 6991 0 -1 4202496 16135 0 0 0 2542 7 0 0 20 0 1 0 408376782 45592576 5114 33554432000 4194304 5326806 140737347263184 140737347262392 140259690049916 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7427920 7432256 26189824 140737347265568 140737347265648 140737347265648 140737347268557 0
/proc/9686/statm: 11131 5114 655 277 0 4652 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 44524 KiB
Current children cumulated memory: 20456 KiB
[startup+51.1096 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 9692
/proc/meminfo: memFree=20711776/32770624 swapFree=66939728/67108860
[pid=9686] ppid=9683 vsize=44524 memory=20940 CPUtime=51.1 cores=0,2,4,6
/proc/9686/stat : 9686 (miniBTD) R 9683 9686 6991 0 -1 4202496 18436 0 0 0 5097 13 0 0 20 0 1 0 408376782 45592576 5235 33554432000 4194304 5326806 140737347263184 140737347262392 140259690049916 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7427920 7432256 26189824 140737347265568 140737347265648 140737347265648 140737347268557 0
/proc/9686/statm: 11131 5235 655 277 0 4652 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 44524 KiB
Current children cumulated memory: 20940 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 9695
/proc/meminfo: memFree=20711312/32770624 swapFree=66939728/67108860
[pid=9686] ppid=9683 vsize=44656 memory=20960 CPUtime=102.28 cores=0,2,4,6
/proc/9686/stat : 9686 (miniBTD) R 9683 9686 6991 0 -1 4202496 18835 0 0 0 10204 24 0 0 20 0 1 0 408376782 45727744 5240 33554432000 4194304 5326806 140737347263184 140737347262392 4432632 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7427920 7432256 26189824 140737347265568 140737347265648 140737347265648 140737347268557 0
/proc/9686/statm: 11164 5240 655 277 0 4685 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 44656 KiB
Current children cumulated memory: 20960 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 9699
/proc/meminfo: memFree=20711184/32770624 swapFree=66939728/67108860
[pid=9686] ppid=9683 vsize=44656 memory=21020 CPUtime=162.28 cores=0,2,4,6
/proc/9686/stat : 9686 (miniBTD) R 9683 9686 6991 0 -1 4202496 19229 0 0 0 16186 42 0 0 20 0 1 0 408376782 45727744 5255 33554432000 4194304 5326806 140737347263184 140737347262392 140259699233287 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7427920 7432256 26189824 140737347265568 140737347265648 140737347265648 140737347268557 0
/proc/9686/statm: 11164 5255 655 277 0 4685 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 44656 KiB
Current children cumulated memory: 21020 KiB
[startup+222.3 s]
/proc/loadavg: 1.90 1.98 2.03 3/199 10142
/proc/meminfo: memFree=20723348/32770624 swapFree=66939728/67108860
[pid=9686] ppid=9683 vsize=44656 memory=21028 CPUtime=222.28 cores=0,2,4,6
/proc/9686/stat : 9686 (miniBTD) R 9683 9686 6991 0 -1 4202496 19585 0 0 0 22176 52 0 0 20 0 1 0 408376782 45727744 5257 33554432000 4194304 5326806 140737347263184 140737347262392 140259690049916 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7427920 7432256 26189824 140737347265568 140737347265648 140737347265648 140737347268557 0
/proc/9686/statm: 11164 5257 655 277 0 4685 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 44656 KiB
Current children cumulated memory: 21028 KiB
[startup+282.3 s]
/proc/loadavg: 1.96 1.99 2.03 3/199 10148
/proc/meminfo: memFree=20723092/32770624 swapFree=66939728/67108860
[pid=9686] ppid=9683 vsize=44788 memory=21120 CPUtime=282.28 cores=0,2,4,6
/proc/9686/stat : 9686 (miniBTD) R 9683 9686 6991 0 -1 4202496 20004 0 0 0 28163 65 0 0 20 0 1 0 408376782 45862912 5280 33554432000 4194304 5326806 140737347263184 140737347262392 140259690049916 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7427920 7432256 26189824 140737347265568 140737347265648 140737347265648 140737347268557 0
/proc/9686/statm: 11197 5280 655 277 0 4718 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 44788 KiB
Current children cumulated memory: 21120 KiB
[startup+342.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/199 10152
/proc/meminfo: memFree=20723220/32770624 swapFree=66939728/67108860
[pid=9686] ppid=9683 vsize=44788 memory=21120 CPUtime=342.29 cores=0,2,4,6
/proc/9686/stat : 9686 (miniBTD) R 9683 9686 6991 0 -1 4202496 20378 0 0 0 34146 83 0 0 20 0 1 0 408376782 45862912 5280 33554432000 4194304 5326806 140737347263184 140737347262392 140259690049916 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7427920 7432256 26189824 140737347265568 140737347265648 140737347265648 140737347268557 0
/proc/9686/statm: 11197 5280 655 277 0 4718 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 44788 KiB
Current children cumulated memory: 21120 KiB
[startup+402.3 s]
/proc/loadavg: 2.06 2.01 2.05 3/200 10164
/proc/meminfo: memFree=20723288/32770624 swapFree=66939728/67108860
[pid=9686] ppid=9683 vsize=44788 memory=21144 CPUtime=402.28 cores=0,2,4,6
/proc/9686/stat : 9686 (miniBTD) R 9683 9686 6991 0 -1 4202496 20795 0 0 0 40135 93 0 0 20 0 1 0 408376782 45862912 5286 33554432000 4194304 5326806 140737347263184 140737347262392 4277963 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7427920 7432256 26189824 140737347265568 140737347265648 140737347265648 140737347268557 0
/proc/9686/statm: 11197 5286 655 277 0 4718 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 44788 KiB
Current children cumulated memory: 21144 KiB
[startup+462.3 s]
/proc/loadavg: 2.02 2.01 2.05 3/200 10170
/proc/meminfo: memFree=20722520/32770624 swapFree=66939728/67108860
[pid=9686] ppid=9683 vsize=44788 memory=21144 CPUtime=462.29 cores=0,2,4,6
/proc/9686/stat : 9686 (miniBTD) R 9683 9686 6991 0 -1 4202496 21171 0 0 0 46125 104 0 0 20 0 1 0 408376782 45862912 5286 33554432000 4194304 5326806 140737347263184 140737347262392 140259699233287 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7427920 7432256 26189824 140737347265568 140737347265648 140737347265648 140737347268557 0
/proc/9686/statm: 11197 5286 655 277 0 4718 0
Current children cumulated CPU time: 462.29 s
Current children cumulated vsize: 44788 KiB
Current children cumulated memory: 21144 KiB
################
# More data... #
################
/proc/9686/statm: 11230 5322 660 277 0 4751 0
Current children cumulated CPU time: 1662.28 s
Current children cumulated vsize: 44920 KiB
Current children cumulated memory: 21288 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/199 10308
/proc/meminfo: memFree=20721908/32770624 swapFree=66939732/67108860
[pid=9686] ppid=9683 vsize=44920 memory=21288 CPUtime=1722.28 cores=0,2,4,6
/proc/9686/stat : 9686 (miniBTD) R 9683 9686 6991 0 -1 4202496 29274 0 0 0 171805 423 0 0 20 0 1 0 408376782 45998080 5322 33554432000 4194304 5326806 140737347263184 140737347262392 4211344 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7427920 7432256 26189824 140737347265568 140737347265648 140737347265648 140737347268557 0
/proc/9686/statm: 11230 5322 660 277 0 4751 0
Current children cumulated CPU time: 1722.28 s
Current children cumulated vsize: 44920 KiB
Current children cumulated memory: 21288 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/199 10312
/proc/meminfo: memFree=20721932/32770624 swapFree=66939732/67108860
[pid=9686] ppid=9683 vsize=44920 memory=21288 CPUtime=1782.28 cores=0,2,4,6
/proc/9686/stat : 9686 (miniBTD) R 9683 9686 6991 0 -1 4202496 29658 0 0 0 177787 441 0 0 20 0 1 0 408376782 45998080 5322 33554432000 4194304 5326806 140737347263184 140737347262392 140259690049916 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7427920 7432256 26189824 140737347265568 140737347265648 140737347265648 140737347268557 0
/proc/9686/statm: 11230 5322 660 277 0 4751 0
Current children cumulated CPU time: 1782.28 s
Current children cumulated vsize: 44920 KiB
Current children cumulated memory: 21288 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/199 10316
/proc/meminfo: memFree=20722232/32770624 swapFree=66939732/67108860
[pid=9686] ppid=9683 vsize=44920 memory=21288 CPUtime=1842.28 cores=0,2,4,6
/proc/9686/stat : 9686 (miniBTD) R 9683 9686 6991 0 -1 4202496 30076 0 0 0 183768 460 0 0 20 0 1 0 408376782 45998080 5322 33554432000 4194304 5326806 140737347263184 140737347262392 140259690049916 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7427920 7432256 26189824 140737347265568 140737347265648 140737347265648 140737347268557 0
/proc/9686/statm: 11230 5322 660 277 0 4751 0
Current children cumulated CPU time: 1842.28 s
Current children cumulated vsize: 44920 KiB
Current children cumulated memory: 21288 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 10322
/proc/meminfo: memFree=20722540/32770624 swapFree=66939732/67108860
[pid=9686] ppid=9683 vsize=44920 memory=21288 CPUtime=1902.28 cores=0,2,4,6
/proc/9686/stat : 9686 (miniBTD) R 9683 9686 6991 0 -1 4202496 30485 0 0 0 189741 487 0 0 20 0 1 0 408376782 45998080 5322 33554432000 4194304 5326806 140737347263184 140737347262392 140259690049916 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7427920 7432256 26189824 140737347265568 140737347265648 140737347265648 140737347268557 0
/proc/9686/statm: 11230 5322 660 277 0 4751 0
Current children cumulated CPU time: 1902.28 s
Current children cumulated vsize: 44920 KiB
Current children cumulated memory: 21288 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 10326
/proc/meminfo: memFree=20722532/32770624 swapFree=66939732/67108860
[pid=9686] ppid=9683 vsize=44920 memory=21288 CPUtime=1962.28 cores=0,2,4,6
/proc/9686/stat : 9686 (miniBTD) R 9683 9686 6991 0 -1 4202496 30880 0 0 0 195708 520 0 0 20 0 1 0 408376782 45998080 5322 33554432000 4194304 5326806 140737347263184 140737347262392 4277971 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7427920 7432256 26189824 140737347265568 140737347265648 140737347265648 140737347268557 0
/proc/9686/statm: 11230 5322 660 277 0 4751 0
Current children cumulated CPU time: 1962.28 s
Current children cumulated vsize: 44920 KiB
Current children cumulated memory: 21288 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 10330
/proc/meminfo: memFree=20722720/32770624 swapFree=66939732/67108860
[pid=9686] ppid=9683 vsize=44920 memory=21288 CPUtime=2022.28 cores=0,2,4,6
/proc/9686/stat : 9686 (miniBTD) R 9683 9686 6991 0 -1 4202496 31275 0 0 0 201675 553 0 0 20 0 1 0 408376782 45998080 5322 33554432000 4194304 5326806 140737347263184 140737347262392 140259699233287 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7427920 7432256 26189824 140737347265568 140737347265648 140737347265648 140737347268557 0
/proc/9686/statm: 11230 5322 660 277 0 4751 0
Current children cumulated CPU time: 2022.28 s
Current children cumulated vsize: 44920 KiB
Current children cumulated memory: 21288 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 10336
/proc/meminfo: memFree=20722148/32770624 swapFree=66939732/67108860
[pid=9686] ppid=9683 vsize=44920 memory=21288 CPUtime=2082.28 cores=0,2,4,6
/proc/9686/stat : 9686 (miniBTD) R 9683 9686 6991 0 -1 4202496 31671 0 0 0 207647 581 0 0 20 0 1 0 408376782 45998080 5322 33554432000 4194304 5326806 140737347263184 140737347262392 140259690049916 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7427920 7432256 26189824 140737347265568 140737347265648 140737347265648 140737347268557 0
/proc/9686/statm: 11230 5322 660 277 0 4751 0
Current children cumulated CPU time: 2082.28 s
Current children cumulated vsize: 44920 KiB
Current children cumulated memory: 21288 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 10340
/proc/meminfo: memFree=20722168/32770624 swapFree=66939732/67108860
[pid=9686] ppid=9683 vsize=44920 memory=21288 CPUtime=2142.28 cores=0,2,4,6
/proc/9686/stat : 9686 (miniBTD) R 9683 9686 6991 0 -1 4202496 32107 0 0 0 213632 596 0 0 20 0 1 0 408376782 45998080 5322 33554432000 4194304 5326806 140737347263184 140737347262392 140259699233287 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7427920 7432256 26189824 140737347265568 140737347265648 140737347265648 140737347268557 0
/proc/9686/statm: 11230 5322 660 277 0 4751 0
Current children cumulated CPU time: 2142.28 s
Current children cumulated vsize: 44920 KiB
Current children cumulated memory: 21288 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 10352
/proc/meminfo: memFree=20721928/32770624 swapFree=66939732/67108860
[pid=9686] ppid=9683 vsize=44920 memory=21296 CPUtime=2202.28 cores=0,2,4,6
/proc/9686/stat : 9686 (miniBTD) R 9683 9686 6991 0 -1 4202496 32502 0 0 0 219616 612 0 0 20 0 1 0 408376782 45998080 5324 33554432000 4194304 5326806 140737347263184 140737347262392 4277963 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7427920 7432256 26189824 140737347265568 140737347265648 140737347265648 140737347268557 0
/proc/9686/statm: 11230 5324 660 277 0 4751 0
Current children cumulated CPU time: 2202.28 s
Current children cumulated vsize: 44920 KiB
Current children cumulated memory: 21296 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 10358
/proc/meminfo: memFree=20721808/32770624 swapFree=66939732/67108860
[pid=9686] ppid=9683 vsize=44920 memory=21300 CPUtime=2262.28 cores=0,2,4,6
/proc/9686/stat : 9686 (miniBTD) R 9683 9686 6991 0 -1 4202496 32893 0 0 0 225605 623 0 0 20 0 1 0 408376782 45998080 5325 33554432000 4194304 5326806 140737347263184 140737347262392 140259690049916 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7427920 7432256 26189824 140737347265568 140737347265648 140737347265648 140737347268557 0
/proc/9686/statm: 11230 5325 660 277 0 4751 0
Current children cumulated CPU time: 2262.28 s
Current children cumulated vsize: 44920 KiB
Current children cumulated memory: 21300 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 10362
/proc/meminfo: memFree=20721532/32770624 swapFree=66939732/67108860
[pid=9686] ppid=9683 vsize=44920 memory=21300 CPUtime=2322.28 cores=0,2,4,6
/proc/9686/stat : 9686 (miniBTD) R 9683 9686 6991 0 -1 4202496 33281 0 0 0 231589 639 0 0 20 0 1 0 408376782 45998080 5325 33554432000 4194304 5326806 140737347263184 140737347262392 140259690049916 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7427920 7432256 26189824 140737347265568 140737347265648 140737347265648 140737347268557 0
/proc/9686/statm: 11230 5325 660 277 0 4751 0
Current children cumulated CPU time: 2322.28 s
Current children cumulated vsize: 44920 KiB
Current children cumulated memory: 21300 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 10366
/proc/meminfo: memFree=20722092/32770624 swapFree=66939732/67108860
[pid=9686] ppid=9683 vsize=44920 memory=21300 CPUtime=2382.28 cores=0,2,4,6
/proc/9686/stat : 9686 (miniBTD) R 9683 9686 6991 0 -1 4202496 33669 0 0 0 237571 657 0 0 20 0 1 0 408376782 45998080 5325 33554432000 4194304 5326806 140737347263184 140737347262392 4542080 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7427920 7432256 26189824 140737347265568 140737347265648 140737347265648 140737347268557 0
/proc/9686/statm: 11230 5325 660 277 0 4751 0
Current children cumulated CPU time: 2382.28 s
Current children cumulated vsize: 44920 KiB
Current children cumulated memory: 21300 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.11 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 10369
/proc/meminfo: memFree=20721972/32770624 swapFree=66939732/67108860
[pid=9686] ppid=9683 vsize=44920 memory=21300 CPUtime=2400.09 cores=0,2,4,6
/proc/9686/stat : 9686 (miniBTD) R 9683 9686 6991 0 -1 4202496 34039 0 0 0 239346 663 0 0 20 0 1 0 408376782 45998080 5325 33554432000 4194304 5326806 140737347263184 140737347262392 4432703 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7427920 7432256 26189824 140737347265568 140737347265648 140737347265648 140737347268557 0
/proc/9686/statm: 11230 5325 660 277 0 4751 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 44920 KiB
Current children cumulated memory: 21300 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.11 s]
# the end of solver process 9686 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2393.47 s, system=6.63399 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.11 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 10369
/proc/meminfo: memFree=20721972/32770624 swapFree=66939732/67108860
[pid=9686] ppid=9683 vsize=44920 memory=21300 CPUtime=2400.09 cores=0,2,4,6
/proc/9686/stat : 9686 (miniBTD) R 9683 9686 6991 0 -1 4202496 34039 0 0 0 239346 663 0 0 20 0 1 0 408376782 45998080 5325 33554432000 4194304 5326806 140737347263184 140737347262392 4432703 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7427920 7432256 26189824 140737347265568 140737347265648 140737347265648 140737347268557 0
/proc/9686/statm: 11230 5325 660 277 0 4751 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 44920 KiB
Current children cumulated memory: 21300 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2400.11
CPU time (s): 2400.1
CPU user time (s): 2393.47
CPU system time (s): 6.63399
CPU usage (%): 99.9996
Max. virtual memory (cumulated for all children) (KiB): 44920
Max. memory (cumulated for all children) (KiB): 21300
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2393.47
system time used= 6.63399
maximum resident set size= 21300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34039
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= 3001
# summary of solver processes directly reported to runsolver:
# pid: 9686
# total CPU time (s): 2400.1
# total CPU user time (s): 2393.47
# total CPU system time (s): 6.63399
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.08988 second user time and 18.3554 second system time
The end