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 (15153 MiB free)
memory of node 1: 16384 MiB (15470 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4265059-1502614947/watcher-4265059-1502614947 -o /tmp/evaluation-result-4265059-1502614947/solver-4265059-1502614947 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502597474-15729 --watchdog 2560 miniBTD 2400 HOME/instance-4265059-1502614947.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=19361, runsolver pid=19358
[startup+0.100107 s]*
/proc/loadavg: 2.00 2.01 2.05 3/186 19362
/proc/meminfo: memFree=31358404/32770624 swapFree=67108860/67108860
[pid=19361] ppid=19358 vsize=26324 memory=2864 CPUtime=0.02 cores=1,3,5,7
/proc/19361/stat : 19361 (miniBTD) R 19358 19361 8289 0 -1 4202496 890 0 0 0 2 0 0 0 20 0 1 0 109309838 26955776 716 18446744073709551615 4194304 4832229 140730551388256 140730551385208 140567615015909 0 0 1 0 0 0 0 17 1 0 0 8 0 0 6932488 6936608 9957376 140730551390679 140730551390759 140730551390759 140730551394253 0
/proc/19361/statm: 6581 716 517 156 0 223 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 26324 KiB
Current children cumulated memory: 2864 KiB
[startup+0.20951 s]*
/proc/loadavg: 2.00 2.01 2.05 3/186 19362
/proc/meminfo: memFree=31357288/32770624 swapFree=67108860/67108860
[pid=19361] ppid=19358 vsize=27220 memory=3816 CPUtime=0.13 cores=1,3,5,7
/proc/19361/stat : 19361 (miniBTD) R 19358 19361 8289 0 -1 4202496 1351 0 0 0 13 0 0 0 20 0 1 0 109309838 27873280 954 18446744073709551615 4194304 4832229 140730551388256 140730551385208 4216944 0 0 1 0 0 0 0 17 1 0 0 8 0 0 6932488 6936608 9957376 140730551390679 140730551390759 140730551390759 140730551394253 0
/proc/19361/statm: 6805 954 517 156 0 447 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 27220 KiB
Current children cumulated memory: 3816 KiB
[startup+0.309095 s]*
/proc/loadavg: 2.00 2.01 2.05 3/186 19362
/proc/meminfo: memFree=31356544/32770624 swapFree=67108860/67108860
[pid=19361] ppid=19358 vsize=28036 memory=4632 CPUtime=0.23 cores=1,3,5,7
/proc/19361/stat : 19361 (miniBTD) R 19358 19361 8289 0 -1 4202496 2087 0 0 0 23 0 0 0 20 0 1 0 109309838 28708864 1158 18446744073709551615 4194304 4832229 140730551388256 140730551385208 4216358 0 0 1 0 0 0 0 17 1 0 0 8 0 0 6932488 6936608 9957376 140730551390679 140730551390759 140730551390759 140730551394253 0
/proc/19361/statm: 7009 1158 517 156 0 651 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 28036 KiB
Current children cumulated memory: 4632 KiB
[startup+0.700227 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 19362
/proc/meminfo: memFree=31354684/32770624 swapFree=67108860/67108860
[pid=19361] ppid=19358 vsize=31364 memory=7960 CPUtime=0.61 cores=1,3,5,7
/proc/19361/stat : 19361 (miniBTD) R 19358 19361 8289 0 -1 4202496 4602 0 0 0 61 0 0 0 20 0 1 0 109309838 32116736 1990 18446744073709551615 4194304 4832229 140730551388256 140730551384808 140567615476716 0 0 1 0 0 0 0 17 1 0 0 8 0 0 6932488 6936608 9957376 140730551390679 140730551390759 140730551390759 140730551394253 0
/proc/19361/statm: 7841 1990 517 156 0 1483 0
Current children cumulated CPU time: 0.61 s
Current children cumulated vsize: 31364 KiB
Current children cumulated memory: 7960 KiB
[startup+1.50023 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 19362
/proc/meminfo: memFree=31350572/32770624 swapFree=67108860/67108860
[pid=19361] ppid=19358 vsize=38452 memory=14980 CPUtime=1.41 cores=1,3,5,7
/proc/19361/stat : 19361 (miniBTD) R 19358 19361 8289 0 -1 4202496 9125 0 0 0 140 1 0 0 20 0 1 0 109309838 39374848 3745 18446744073709551615 4194304 4832229 140730551388256 140730551384808 140567615015909 0 0 1 0 0 0 0 17 1 0 0 8 0 0 6932488 6936608 9957376 140730551390679 140730551390759 140730551390759 140730551394253 0
/proc/19361/statm: 9613 3745 517 156 0 3255 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 38452 KiB
Current children cumulated memory: 14980 KiB
[startup+3.10952 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 19362
/proc/meminfo: memFree=31325896/32770624 swapFree=67108860/67108860
[pid=19361] ppid=19358 vsize=59704 memory=36272 CPUtime=3.02 cores=1,3,5,7
/proc/19361/stat : 19361 (miniBTD) R 19358 19361 8289 0 -1 4202496 17522 0 0 0 299 3 0 0 20 0 1 0 109309838 61136896 9068 18446744073709551615 4194304 4832229 140730551388256 140730551384808 4216950 0 0 1 0 0 0 0 17 1 0 0 8 0 0 6932488 6936608 9957376 140730551390679 140730551390759 140730551390759 140730551394253 0
/proc/19361/statm: 14926 9068 517 156 0 8568 0
Current children cumulated CPU time: 3.02 s
Current children cumulated vsize: 59704 KiB
Current children cumulated memory: 36272 KiB
[startup+6.30022 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 19362
/proc/meminfo: memFree=31291528/32770624 swapFree=67108860/67108860
[pid=19361] ppid=19358 vsize=94580 memory=71176 CPUtime=6.21 cores=1,3,5,7
/proc/19361/stat : 19361 (miniBTD) R 19358 19361 8289 0 -1 4202496 32779 0 0 0 615 6 0 0 20 0 1 0 109309838 96849920 17794 18446744073709551615 4194304 4832229 140730551388256 140730551384808 4217606 0 0 1 0 0 0 0 17 1 0 0 8 0 0 6932488 6936608 9957376 140730551390679 140730551390759 140730551390759 140730551394253 0
/proc/19361/statm: 23645 17794 517 156 0 17287 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 94580 KiB
Current children cumulated memory: 71176 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 19362
/proc/meminfo: memFree=30684480/32770624 swapFree=67108860/67108860
[pid=19361] ppid=19358 vsize=821148 memory=797260 CPUtime=12.6 cores=1,3,5,7
/proc/19361/stat : 19361 (miniBTD) R 19358 19361 8289 0 -1 4202496 228095 0 0 0 1230 30 0 0 20 0 1 0 109309838 840855552 199315 18446744073709551615 4194304 4832229 140730551388256 140730551383288 4228136 0 0 1 0 0 0 0 17 1 0 0 8 0 0 6932488 6936608 9957376 140730551390679 140730551390759 140730551390759 140730551394253 0
/proc/19361/statm: 205287 199315 551 156 0 198929 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 821148 KiB
Current children cumulated memory: 797260 KiB
[startup+25.5002 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 19363
/proc/meminfo: memFree=28693256/32770624 swapFree=67108860/67108860
[pid=19361] ppid=19358 vsize=2686132 memory=2662836 CPUtime=25.41 cores=1,3,5,7
/proc/19361/stat : 19361 (miniBTD) R 19358 19361 8289 0 -1 4202496 701161 0 0 0 2455 86 0 0 20 0 1 0 109309838 2750599168 665709 18446744073709551615 4194304 4832229 140730551388256 140730551385480 4320712 0 0 1 0 0 0 0 17 1 0 0 8 0 0 6932488 6936608 9957376 140730551390679 140730551390759 140730551390759 140730551394253 0
/proc/19361/statm: 671533 665709 576 156 0 665175 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 2686132 KiB
Current children cumulated memory: 2662836 KiB
[startup+51.1092 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 19363
/proc/meminfo: memFree=28661960/32770624 swapFree=67108860/67108860
[pid=19361] ppid=19358 vsize=2716888 memory=2693600 CPUtime=51.01 cores=1,3,5,7
/proc/19361/stat : 19361 (miniBTD) R 19358 19361 8289 0 -1 4202496 709729 0 0 0 5014 87 0 0 20 0 1 0 109309838 2782093312 673400 18446744073709551615 4194304 4832229 140730551388256 140730551385480 4320717 0 0 1 0 0 0 0 17 1 0 0 8 0 0 6932488 6936608 9957376 140730551390679 140730551390759 140730551390759 140730551394253 0
/proc/19361/statm: 679222 673400 576 156 0 672864 0
Current children cumulated CPU time: 51.01 s
Current children cumulated vsize: 2716888 KiB
Current children cumulated memory: 2693600 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 19379
/proc/meminfo: memFree=28655784/32770624 swapFree=67108860/67108860
[pid=19361] ppid=19358 vsize=2716888 memory=2693600 CPUtime=102.19 cores=1,3,5,7
/proc/19361/stat : 19361 (miniBTD) R 19358 19361 8289 0 -1 4202496 709761 0 0 0 10132 87 0 0 20 0 1 0 109309838 2782093312 673400 18446744073709551615 4194304 4832229 140730551388256 140730551385480 4321210 0 0 1 0 0 0 0 17 1 0 0 8 0 0 6932488 6936608 9957376 140730551390679 140730551390759 140730551390759 140730551394253 0
/proc/19361/statm: 679222 673400 576 156 0 672864 0
Current children cumulated CPU time: 102.19 s
Current children cumulated vsize: 2716888 KiB
Current children cumulated memory: 2693600 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 19381
/proc/meminfo: memFree=28656000/32770624 swapFree=67108860/67108860
[pid=19361] ppid=19358 vsize=2716888 memory=2693624 CPUtime=162.19 cores=1,3,5,7
/proc/19361/stat : 19361 (miniBTD) R 19358 19361 8289 0 -1 4202496 709859 0 0 0 16130 89 0 0 20 0 1 0 109309838 2782093312 673406 18446744073709551615 4194304 4832229 140730551388256 140730551385480 4321380 0 0 1 0 0 0 0 17 1 0 0 8 0 0 6932488 6936608 9957376 140730551390679 140730551390759 140730551390759 140730551394253 0
/proc/19361/statm: 679222 673406 576 156 0 672864 0
Current children cumulated CPU time: 162.19 s
Current children cumulated vsize: 2716888 KiB
Current children cumulated memory: 2693624 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 19384
/proc/meminfo: memFree=28659056/32770624 swapFree=67108860/67108860
[pid=19361] ppid=19358 vsize=2716888 memory=2693636 CPUtime=222.18 cores=1,3,5,7
/proc/19361/stat : 19361 (miniBTD) R 19358 19361 8289 0 -1 4202496 709936 0 0 0 22128 90 0 0 20 0 1 0 109309838 2782093312 673409 18446744073709551615 4194304 4832229 140730551388256 140730551385480 4320644 0 0 1 0 0 0 0 17 1 0 0 8 0 0 6932488 6936608 9957376 140730551390679 140730551390759 140730551390759 140730551394253 0
/proc/19361/statm: 679222 673409 576 156 0 672864 0
Current children cumulated CPU time: 222.18 s
Current children cumulated vsize: 2716888 KiB
Current children cumulated memory: 2693636 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 19386
/proc/meminfo: memFree=28659392/32770624 swapFree=67108860/67108860
[pid=19361] ppid=19358 vsize=2716888 memory=2693648 CPUtime=282.18 cores=1,3,5,7
/proc/19361/stat : 19361 (miniBTD) R 19358 19361 8289 0 -1 4202496 710000 0 0 0 28126 92 0 0 20 0 1 0 109309838 2782093312 673412 18446744073709551615 4194304 4832229 140730551388256 140730551385480 4320853 0 0 1 0 0 0 0 17 1 0 0 8 0 0 6932488 6936608 9957376 140730551390679 140730551390759 140730551390759 140730551394253 0
/proc/19361/statm: 679222 673412 576 156 0 672864 0
Current children cumulated CPU time: 282.18 s
Current children cumulated vsize: 2716888 KiB
Current children cumulated memory: 2693648 KiB
[startup+342.3 s]
/proc/loadavg: 1.61 1.92 2.01 2/179 19435
/proc/meminfo: memFree=28699940/32770624 swapFree=67108860/67108860
[pid=19361] ppid=19358 vsize=2716888 memory=2693664 CPUtime=342.17 cores=1,3,5,7
/proc/19361/stat : 19361 (miniBTD) R 19358 19361 8289 0 -1 4202496 710065 0 0 0 34125 92 0 0 20 0 1 0 109309838 2782093312 673416 18446744073709551615 4194304 4832229 140730551388256 140730551385480 4321380 0 0 1 0 0 0 0 17 1 0 0 8 0 0 6932488 6936608 9957376 140730551390679 140730551390759 140730551390759 140730551394253 0
/proc/19361/statm: 679222 673416 576 156 0 672864 0
Current children cumulated CPU time: 342.17 s
Current children cumulated vsize: 2716888 KiB
Current children cumulated memory: 2693664 KiB
[startup+402.3 s]
/proc/loadavg: 1.19 1.74 1.94 2/179 19438
/proc/meminfo: memFree=28699972/32770624 swapFree=67108860/67108860
[pid=19361] ppid=19358 vsize=2716888 memory=2693680 CPUtime=402.18 cores=1,3,5,7
/proc/19361/stat : 19361 (miniBTD) R 19358 19361 8289 0 -1 4202496 710141 0 0 0 40125 93 0 0 20 0 1 0 109309838 2782093312 673420 18446744073709551615 4194304 4832229 140730551388256 140730551385480 4320845 0 0 1 0 0 0 0 17 5 0 0 8 0 0 6932488 6936608 9957376 140730551390679 140730551390759 140730551390759 140730551394253 0
/proc/19361/statm: 679222 673420 576 156 0 672864 0
Current children cumulated CPU time: 402.18 s
Current children cumulated vsize: 2716888 KiB
Current children cumulated memory: 2693680 KiB
[startup+462.3 s]
/proc/loadavg: 1.07 1.60 1.89 2/179 19440
/proc/meminfo: memFree=28699752/32770624 swapFree=67108860/67108860
[pid=19361] ppid=19358 vsize=2716888 memory=2693692 CPUtime=462.18 cores=1,3,5,7
/proc/19361/stat : 19361 (miniBTD) R 19358 19361 8289 0 -1 4202496 710210 0 0 0 46124 94 0 0 20 0 1 0 109309838 2782093312 673423 18446744073709551615 4194304 4832229 140730551388256 140730551385480 4321380 0 0 1 0 0 0 0 17 5 0 0 8 0 0 6932488 6936608 9957376 140730551390679 140730551390759 140730551390759 140730551394253 0
/proc/19361/statm: 679222 673423 576 156 0 672864 0
Current children cumulated CPU time: 462.18 s
Current children cumulated vsize: 2716888 KiB
Current children cumulated memory: 2693692 KiB
################
# More data... #
################
/proc/19361/statm: 679387 673582 576 156 0 673029 0
Current children cumulated CPU time: 1602.29 s
Current children cumulated vsize: 2717548 KiB
Current children cumulated memory: 2694328 KiB
[startup+1662.3 s]
/proc/loadavg: 1.04 1.04 1.26 2/179 19540
/proc/meminfo: memFree=28700520/32770624 swapFree=67108860/67108860
[pid=19361] ppid=19358 vsize=2717548 memory=2694356 CPUtime=1662.3 cores=1,3,5,7
/proc/19361/stat : 19361 (miniBTD) R 19358 19361 8289 0 -1 4202496 711914 0 0 0 166132 98 0 0 20 0 1 0 109309838 2782769152 673589 18446744073709551615 4194304 4832229 140730551388256 140730551385480 4320715 0 0 1 0 0 0 0 17 5 0 0 8 0 0 6932488 6936608 9957376 140730551390679 140730551390759 140730551390759 140730551394253 0
/proc/19361/statm: 679387 673589 576 156 0 673029 0
Current children cumulated CPU time: 1662.3 s
Current children cumulated vsize: 2717548 KiB
Current children cumulated memory: 2694356 KiB
[startup+1722.3 s]
/proc/loadavg: 1.07 1.05 1.25 2/179 19543
/proc/meminfo: memFree=28701020/32770624 swapFree=67108860/67108860
[pid=19361] ppid=19358 vsize=2717548 memory=2694368 CPUtime=1722.3 cores=1,3,5,7
/proc/19361/stat : 19361 (miniBTD) R 19358 19361 8289 0 -1 4202496 711989 0 0 0 172132 98 0 0 20 0 1 0 109309838 2782769152 673592 18446744073709551615 4194304 4832229 140730551388256 140730551385480 4320853 0 0 1 0 0 0 0 17 5 0 0 8 0 0 6932488 6936608 9957376 140730551390679 140730551390759 140730551390759 140730551394253 0
/proc/19361/statm: 679387 673592 576 156 0 673029 0
Current children cumulated CPU time: 1722.3 s
Current children cumulated vsize: 2717548 KiB
Current children cumulated memory: 2694368 KiB
[startup+1782.3 s]
/proc/loadavg: 1.03 1.04 1.23 2/179 19545
/proc/meminfo: memFree=28700648/32770624 swapFree=67108860/67108860
[pid=19361] ppid=19358 vsize=2717680 memory=2694380 CPUtime=1782.31 cores=1,3,5,7
/proc/19361/stat : 19361 (miniBTD) R 19358 19361 8289 0 -1 4202496 712070 0 0 0 178133 98 0 0 20 0 1 0 109309838 2782904320 673595 18446744073709551615 4194304 4832229 140730551388256 140730551385480 4321228 0 0 1 0 0 0 0 17 5 0 0 8 0 0 6932488 6936608 9957376 140730551390679 140730551390759 140730551390759 140730551394253 0
/proc/19361/statm: 679420 673595 576 156 0 673062 0
Current children cumulated CPU time: 1782.31 s
Current children cumulated vsize: 2717680 KiB
Current children cumulated memory: 2694380 KiB
[startup+1842.3 s]
/proc/loadavg: 1.04 1.04 1.22 2/179 19547
/proc/meminfo: memFree=28700944/32770624 swapFree=67108860/67108860
[pid=19361] ppid=19358 vsize=2717680 memory=2694392 CPUtime=1842.31 cores=1,3,5,7
/proc/19361/stat : 19361 (miniBTD) R 19358 19361 8289 0 -1 4202496 712158 0 0 0 184133 98 0 0 20 0 1 0 109309838 2782904320 673598 18446744073709551615 4194304 4832229 140730551388256 140730551385480 4320712 0 0 1 0 0 0 0 17 5 0 0 8 0 0 6932488 6936608 9957376 140730551390679 140730551390759 140730551390759 140730551394253 0
/proc/19361/statm: 679420 673598 576 156 0 673062 0
Current children cumulated CPU time: 1842.31 s
Current children cumulated vsize: 2717680 KiB
Current children cumulated memory: 2694392 KiB
[startup+1902.3 s]
/proc/loadavg: 1.02 1.04 1.21 2/179 19549
/proc/meminfo: memFree=28701068/32770624 swapFree=67108860/67108860
[pid=19361] ppid=19358 vsize=2717680 memory=2694416 CPUtime=1902.32 cores=1,3,5,7
/proc/19361/stat : 19361 (miniBTD) R 19358 19361 8289 0 -1 4202496 712238 0 0 0 190134 98 0 0 20 0 1 0 109309838 2782904320 673604 18446744073709551615 4194304 4832229 140730551388256 140730551385480 4321228 0 0 1 0 0 0 0 17 5 0 0 8 0 0 6932488 6936608 9957376 140730551390679 140730551390759 140730551390759 140730551394253 0
/proc/19361/statm: 679420 673604 576 156 0 673062 0
Current children cumulated CPU time: 1902.32 s
Current children cumulated vsize: 2717680 KiB
Current children cumulated memory: 2694416 KiB
[startup+1962.3 s]
/proc/loadavg: 1.01 1.03 1.20 2/183 19566
/proc/meminfo: memFree=28696628/32770624 swapFree=67108860/67108860
[pid=19361] ppid=19358 vsize=2717680 memory=2694428 CPUtime=1962.32 cores=1,3,5,7
/proc/19361/stat : 19361 (miniBTD) R 19358 19361 8289 0 -1 4202496 712320 0 0 0 196134 98 0 0 20 0 1 0 109309838 2782904320 673607 18446744073709551615 4194304 4832229 140730551388256 140730551385480 4320644 0 0 1 0 0 0 0 17 5 0 0 8 0 0 6932488 6936608 9957376 140730551390679 140730551390759 140730551390759 140730551394253 0
/proc/19361/statm: 679420 673607 576 156 0 673062 0
Current children cumulated CPU time: 1962.32 s
Current children cumulated vsize: 2717680 KiB
Current children cumulated memory: 2694428 KiB
[startup+2022.3 s]
/proc/loadavg: 1.00 1.03 1.18 2/179 19568
/proc/meminfo: memFree=28699048/32770624 swapFree=67108860/67108860
[pid=19361] ppid=19358 vsize=2717680 memory=2694440 CPUtime=2022.33 cores=1,3,5,7
/proc/19361/stat : 19361 (miniBTD) R 19358 19361 8289 0 -1 4202496 712413 0 0 0 202135 98 0 0 20 0 1 0 109309838 2782904320 673610 18446744073709551615 4194304 4832229 140730551388256 140730551385480 4321380 0 0 1 0 0 0 0 17 5 0 0 8 0 0 6932488 6936608 9957376 140730551390679 140730551390759 140730551390759 140730551394253 0
/proc/19361/statm: 679420 673610 576 156 0 673062 0
Current children cumulated CPU time: 2022.33 s
Current children cumulated vsize: 2717680 KiB
Current children cumulated memory: 2694440 KiB
[startup+2082.3 s]
/proc/loadavg: 1.00 1.02 1.17 2/180 19572
/proc/meminfo: memFree=28699508/32770624 swapFree=67108860/67108860
[pid=19361] ppid=19358 vsize=2717680 memory=2694456 CPUtime=2082.33 cores=1,3,5,7
/proc/19361/stat : 19361 (miniBTD) R 19358 19361 8289 0 -1 4202496 712495 0 0 0 208135 98 0 0 20 0 1 0 109309838 2782904320 673614 18446744073709551615 4194304 4832229 140730551388256 140730551385480 4320640 0 0 1 0 0 0 0 17 5 0 0 8 0 0 6932488 6936608 9957376 140730551390679 140730551390759 140730551390759 140730551394253 0
/proc/19361/statm: 679420 673614 576 156 0 673062 0
Current children cumulated CPU time: 2082.33 s
Current children cumulated vsize: 2717680 KiB
Current children cumulated memory: 2694456 KiB
[startup+2142.3 s]
/proc/loadavg: 1.00 1.02 1.16 2/180 19574
/proc/meminfo: memFree=28699460/32770624 swapFree=67108860/67108860
[pid=19361] ppid=19358 vsize=2717680 memory=2694504 CPUtime=2142.34 cores=1,3,5,7
/proc/19361/stat : 19361 (miniBTD) R 19358 19361 8289 0 -1 4202496 712583 0 0 0 214136 98 0 0 20 0 1 0 109309838 2782904320 673626 18446744073709551615 4194304 4832229 140730551388256 140730551385480 4320731 0 0 1 0 0 0 0 17 5 0 0 8 0 0 6932488 6936608 9957376 140730551390679 140730551390759 140730551390759 140730551394253 0
/proc/19361/statm: 679420 673626 576 156 0 673062 0
Current children cumulated CPU time: 2142.34 s
Current children cumulated vsize: 2717680 KiB
Current children cumulated memory: 2694504 KiB
[startup+2202.3 s]
/proc/loadavg: 1.00 1.01 1.15 2/180 19576
/proc/meminfo: memFree=28699484/32770624 swapFree=67108860/67108860
[pid=19361] ppid=19358 vsize=2718076 memory=2694896 CPUtime=2202.35 cores=1,3,5,7
/proc/19361/stat : 19361 (miniBTD) R 19358 19361 8289 0 -1 4202496 712802 0 0 0 220137 98 0 0 20 0 1 0 109309838 2783309824 673724 18446744073709551615 4194304 4832229 140730551388256 140730551385480 4320712 0 0 1 0 0 0 0 17 5 0 0 8 0 0 6932488 6936608 9957376 140730551390679 140730551390759 140730551390759 140730551394253 0
/proc/19361/statm: 679519 673724 576 156 0 673161 0
Current children cumulated CPU time: 2202.35 s
Current children cumulated vsize: 2718076 KiB
Current children cumulated memory: 2694896 KiB
[startup+2262.3 s]
/proc/loadavg: 1.00 1.01 1.14 2/179 19579
/proc/meminfo: memFree=28700076/32770624 swapFree=67108860/67108860
[pid=19361] ppid=19358 vsize=2718208 memory=2694924 CPUtime=2262.35 cores=1,3,5,7
/proc/19361/stat : 19361 (miniBTD) R 19358 19361 8289 0 -1 4202496 712897 0 0 0 226137 98 0 0 20 0 1 0 109309838 2783444992 673731 18446744073709551615 4194304 4832229 140730551388256 140730551385480 4320762 0 0 1 0 0 0 0 17 5 0 0 8 0 0 6932488 6936608 9957376 140730551390679 140730551390759 140730551390759 140730551394253 0
/proc/19361/statm: 679552 673731 576 156 0 673194 0
Current children cumulated CPU time: 2262.35 s
Current children cumulated vsize: 2718208 KiB
Current children cumulated memory: 2694924 KiB
[startup+2322.3 s]
/proc/loadavg: 1.00 1.01 1.13 2/179 19581
/proc/meminfo: memFree=28700324/32770624 swapFree=67108860/67108860
[pid=19361] ppid=19358 vsize=2718208 memory=2694932 CPUtime=2322.36 cores=1,3,5,7
/proc/19361/stat : 19361 (miniBTD) R 19358 19361 8289 0 -1 4202496 712998 0 0 0 232138 98 0 0 20 0 1 0 109309838 2783444992 673733 18446744073709551615 4194304 4832229 140730551388256 140730551385480 4320762 0 0 1 0 0 0 0 17 5 0 0 8 0 0 6932488 6936608 9957376 140730551390679 140730551390759 140730551390759 140730551394253 0
/proc/19361/statm: 679552 673733 576 156 0 673194 0
Current children cumulated CPU time: 2322.36 s
Current children cumulated vsize: 2718208 KiB
Current children cumulated memory: 2694932 KiB
[startup+2382.3 s]
/proc/loadavg: 1.00 1.01 1.13 2/178 19584
/proc/meminfo: memFree=28700092/32770624 swapFree=67108860/67108860
[pid=19361] ppid=19358 vsize=2718208 memory=2694940 CPUtime=2382.36 cores=1,3,5,7
/proc/19361/stat : 19361 (miniBTD) R 19358 19361 8289 0 -1 4202496 713085 0 0 0 238138 98 0 0 20 0 1 0 109309838 2783444992 673735 18446744073709551615 4194304 4832229 140730551388256 140730551385480 4320670 0 0 1 0 0 0 0 17 5 0 0 8 0 0 6932488 6936608 9957376 140730551390679 140730551390759 140730551390759 140730551394253 0
/proc/19361/statm: 679552 673735 576 156 0 673194 0
Current children cumulated CPU time: 2382.36 s
Current children cumulated vsize: 2718208 KiB
Current children cumulated memory: 2694940 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400 s]*
/proc/loadavg: 1.00 1.01 1.12 2/178 19585
/proc/meminfo: memFree=28700092/32770624 swapFree=67108860/67108860
[pid=19361] ppid=19358 vsize=2718208 memory=2694944 CPUtime=2400.07 cores=1,3,5,7
/proc/19361/stat : 19361 (miniBTD) R 19358 19361 8289 0 -1 4202496 713122 0 0 0 239909 98 0 0 20 0 1 0 109309838 2783444992 673736 18446744073709551615 4194304 4832229 140730551388256 140730551385480 4320821 0 0 1 0 0 0 0 17 5 0 0 8 0 0 6932488 6936608 9957376 140730551390679 140730551390759 140730551390759 140730551394253 0
/proc/19361/statm: 679552 673736 576 156 0 673194 0
Current children cumulated CPU time: 2400.07 s
Current children cumulated vsize: 2718208 KiB
Current children cumulated memory: 2694944 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.02 s]
# the end of solver process 19361 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.1 s, system=0.996069 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2400.02
CPU time (s): 2400.09
CPU user time (s): 2399.1
CPU system time (s): 0.996069
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 2718208
Max. memory (cumulated for all children) (KiB): 2694944
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.1
system time used= 0.996069
maximum resident set size= 2694948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 713122
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= 22
involuntary context switches= 1116
# summary of solver processes directly reported to runsolver:
# pid: 19361
# total CPU time (s): 2400.09
# total CPU user time (s): 2399.1
# total CPU system time (s): 0.996069
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.23081 second user time and 15.1454 second system time
The end