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 (13007 MiB free)
memory of node 1: 16384 MiB (15009 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4264938-1502605478/watcher-4264938-1502605478 -o /tmp/evaluation-result-4264938-1502605478/solver-4264938-1502605478 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1502602219-31126 --watchdog 2560 miniBTD 2400 HOME/instance-4264938-1502605478.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=31382, runsolver pid=31375
Current StackSize limit: 8192 KiB
[startup+0.100199 s]*
/proc/loadavg: 1.84 1.98 1.95 3/200 31404
/proc/meminfo: memFree=28670112/32770624 swapFree=67108860/67108860
[pid=31382] ppid=31375 vsize=27024 memory=3592 CPUtime=0.1 cores=0,2,4,6
/proc/31382/stat : 31382 (miniBTD) R 31375 31382 31095 0 -1 4202496 1260 0 0 0 10 0 0 0 20 0 1 0 93635739 27672576 898 33554432000 4194304 4832229 140729421101168 140729421098120 140559029320677 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932488 6936608 30285824 140729421104333 140729421104413 140729421104413 140729421107149 0
/proc/31382/statm: 6756 898 514 156 0 398 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27024 KiB
Current children cumulated memory: 3592 KiB
[startup+0.209487 s]*
/proc/loadavg: 1.84 1.98 1.95 3/200 31404
/proc/meminfo: memFree=28660504/32770624 swapFree=67108860/67108860
[pid=31382] ppid=31375 vsize=27900 memory=4472 CPUtime=0.21 cores=0,2,4,6
/proc/31382/stat : 31382 (miniBTD) R 31375 31382 31095 0 -1 4202496 1852 0 0 0 21 0 0 0 20 0 1 0 93635739 28569600 1118 33554432000 4194304 4832229 140729421101168 140729421098120 4216622 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932488 6936608 30285824 140729421104333 140729421104413 140729421104413 140729421107149 0
/proc/31382/statm: 6975 1118 514 156 0 617 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27900 KiB
Current children cumulated memory: 4472 KiB
[startup+0.309178 s]*
/proc/loadavg: 1.84 1.98 1.95 7/200 31404
/proc/meminfo: memFree=28652260/32770624 swapFree=67108860/67108860
[pid=31382] ppid=31375 vsize=28664 memory=5248 CPUtime=0.31 cores=0,2,4,6
/proc/31382/stat : 31382 (miniBTD) R 31375 31382 31095 0 -1 4202496 2588 0 0 0 31 0 0 0 20 0 1 0 93635739 29351936 1312 33554432000 4194304 4832229 140729421101168 140729421097720 140559029781484 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932488 6936608 30285824 140729421104333 140729421104413 140729421104413 140729421107149 0
/proc/31382/statm: 7166 1312 514 156 0 808 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 28664 KiB
Current children cumulated memory: 5248 KiB
[startup+0.700315 s]
/proc/loadavg: 1.84 1.98 1.95 6/200 31404
/proc/meminfo: memFree=28597268/32770624 swapFree=67108860/67108860
[pid=31382] ppid=31375 vsize=32044 memory=8628 CPUtime=0.69 cores=0,2,4,6
/proc/31382/stat : 31382 (miniBTD) R 31375 31382 31095 0 -1 4202496 4606 0 0 0 69 0 0 0 20 0 1 0 93635739 32813056 2157 33554432000 4194304 4832229 140729421101168 140729421097720 4216957 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932488 6936608 30285824 140729421104333 140729421104413 140729421104413 140729421107149 0
/proc/31382/statm: 8011 2157 514 156 0 1653 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 32044 KiB
Current children cumulated memory: 8628 KiB
[startup+1.50035 s]
/proc/loadavg: 1.84 1.98 1.95 3/187 31439
/proc/meminfo: memFree=28679296/32770624 swapFree=67108860/67108860
[pid=31382] ppid=31375 vsize=39100 memory=15620 CPUtime=1.49 cores=0,2,4,6
/proc/31382/stat : 31382 (miniBTD) R 31375 31382 31095 0 -1 4202496 8167 0 0 0 148 1 0 0 20 0 1 0 93635739 40038400 3905 33554432000 4194304 4832229 140729421101168 140729421097720 4217600 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932488 6936608 30285824 140729421104333 140729421104413 140729421104413 140729421107149 0
/proc/31382/statm: 9775 3905 514 156 0 3417 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 39100 KiB
Current children cumulated memory: 15620 KiB
[startup+3.10928 s]
/proc/loadavg: 1.84 1.98 1.95 3/187 31439
/proc/meminfo: memFree=28655596/32770624 swapFree=67108860/67108860
[pid=31382] ppid=31375 vsize=53436 memory=29808 CPUtime=3.1 cores=0,2,4,6
/proc/31382/stat : 31382 (miniBTD) R 31375 31382 31095 0 -1 4202496 17076 0 0 0 307 3 0 0 20 0 1 0 93635739 54718464 7452 33554432000 4194304 4832229 140729421101168 140729421097720 140559029320677 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932488 6936608 30285824 140729421104333 140729421104413 140729421104413 140729421107149 0
/proc/31382/statm: 13359 7452 514 156 0 7001 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 53436 KiB
Current children cumulated memory: 29808 KiB
[startup+6.30033 s]
/proc/loadavg: 1.78 1.97 1.95 3/187 31439
/proc/meminfo: memFree=28619948/32770624 swapFree=67108860/67108860
[pid=31382] ppid=31375 vsize=81564 memory=58148 CPUtime=6.29 cores=0,2,4,6
/proc/31382/stat : 31382 (miniBTD) R 31375 31382 31095 0 -1 4202496 37207 0 0 0 623 6 0 0 20 0 1 0 93635739 83521536 14537 33554432000 4194304 4832229 140729421101168 140729421097720 4217600 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932488 6936608 30285824 140729421104333 140729421104413 140729421104413 140729421107149 0
/proc/31382/statm: 20391 14537 514 156 0 14033 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 81564 KiB
Current children cumulated memory: 58148 KiB
[startup+12.7003 s]
/proc/loadavg: 1.79 1.97 1.95 3/187 31439
/proc/meminfo: memFree=28548648/32770624 swapFree=67108860/67108860
[pid=31382] ppid=31375 vsize=138400 memory=114956 CPUtime=12.69 cores=0,2,4,6
/proc/31382/stat : 31382 (miniBTD) R 31375 31382 31095 0 -1 4202496 73334 0 0 0 1256 13 0 0 20 0 1 0 93635739 141721600 28739 33554432000 4194304 4832229 140729421101168 140729421097720 4217278 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932488 6936608 30285824 140729421104333 140729421104413 140729421104413 140729421107149 0
/proc/31382/statm: 34600 28739 514 156 0 28242 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 138400 KiB
Current children cumulated memory: 114956 KiB
[startup+25.5003 s]
/proc/loadavg: 1.84 1.97 1.95 3/187 31439
/proc/meminfo: memFree=27647748/32770624 swapFree=67108860/67108860
[pid=31382] ppid=31375 vsize=993756 memory=970464 CPUtime=25.5 cores=0,2,4,6
/proc/31382/stat : 31382 (miniBTD) R 31375 31382 31095 0 -1 4202496 305570 0 0 0 2508 42 0 0 20 0 1 0 93635739 1017606144 242616 33554432000 4194304 4832229 140729421101168 140729421098344 4282682 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932488 6936608 30285824 140729421104333 140729421104413 140729421104413 140729421107149 0
/proc/31382/statm: 248439 242616 584 156 0 242081 0
Current children cumulated CPU time: 25.5 s
Current children cumulated vsize: 993756 KiB
Current children cumulated memory: 970464 KiB
[startup+51.1091 s]
/proc/loadavg: 1.89 1.97 1.95 3/187 31439
/proc/meminfo: memFree=27549316/32770624 swapFree=67108860/67108860
[pid=31382] ppid=31375 vsize=1011972 memory=988628 CPUtime=51.09 cores=0,2,4,6
/proc/31382/stat : 31382 (miniBTD) R 31375 31382 31095 0 -1 4202496 311733 0 0 0 5067 42 0 0 20 0 1 0 93635739 1036259328 247157 33554432000 4194304 4832229 140729421101168 140729421098344 4278673 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932488 6936608 30285824 140729421104333 140729421104413 140729421104413 140729421107149 0
/proc/31382/statm: 252993 247157 584 156 0 246635 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 1011972 KiB
Current children cumulated memory: 988628 KiB
[startup+102.3 s]
/proc/loadavg: 1.95 1.97 1.95 3/187 31440
/proc/meminfo: memFree=27359196/32770624 swapFree=67108860/67108860
[pid=31382] ppid=31375 vsize=1048404 memory=1025108 CPUtime=102.29 cores=0,2,4,6
/proc/31382/stat : 31382 (miniBTD) R 31375 31382 31095 0 -1 4202496 323526 0 0 0 10185 44 0 0 20 0 1 0 93635739 1073565696 256277 33554432000 4194304 4832229 140729421101168 140729421098344 140559029320677 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932488 6936608 30285824 140729421104333 140729421104413 140729421104413 140729421107149 0
/proc/31382/statm: 262101 256277 584 156 0 255743 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 1048404 KiB
Current children cumulated memory: 1025108 KiB
[startup+162.3 s]
/proc/loadavg: 1.98 1.98 1.95 3/187 31441
/proc/meminfo: memFree=23053624/32770624 swapFree=67108860/67108860
[pid=31382] ppid=31375 vsize=1091568 memory=1068240 CPUtime=162.28 cores=0,2,4,6
/proc/31382/stat : 31382 (miniBTD) R 31375 31382 31095 0 -1 4202496 335813 0 0 0 16183 45 0 0 20 0 1 0 93635739 1117765632 267060 33554432000 4194304 4832229 140729421101168 140729421098344 4278496 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932488 6936608 30285824 140729421104333 140729421104413 140729421104413 140729421107149 0
/proc/31382/statm: 272892 267060 584 156 0 266534 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 1091568 KiB
Current children cumulated memory: 1068240 KiB
[startup+222.3 s]
/proc/loadavg: 1.99 1.99 1.95 3/187 31442
/proc/meminfo: memFree=22991992/32770624 swapFree=67108860/67108860
[pid=31382] ppid=31375 vsize=1134336 memory=1110916 CPUtime=222.29 cores=0,2,4,6
/proc/31382/stat : 31382 (miniBTD) R 31375 31382 31095 0 -1 4202496 346716 0 0 0 22182 47 0 0 20 0 1 0 93635739 1161560064 277729 33554432000 4194304 4832229 140729421101168 140729421098344 4278673 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932488 6936608 30285824 140729421104333 140729421104413 140729421104413 140729421107149 0
/proc/31382/statm: 283584 277729 584 156 0 277226 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 1134336 KiB
Current children cumulated memory: 1110916 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/187 31443
/proc/meminfo: memFree=22930044/32770624 swapFree=67108860/67108860
[pid=31382] ppid=31375 vsize=1176972 memory=1153784 CPUtime=282.28 cores=0,2,4,6
/proc/31382/stat : 31382 (miniBTD) R 31375 31382 31095 0 -1 4202496 357570 0 0 0 28180 48 0 0 20 0 1 0 93635739 1205219328 288446 33554432000 4194304 4832229 140729421101168 140729421098344 4278968 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932488 6936608 30285824 140729421104333 140729421104413 140729421104413 140729421107149 0
/proc/31382/statm: 294243 288446 584 156 0 287885 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 1176972 KiB
Current children cumulated memory: 1153784 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/187 31444
/proc/meminfo: memFree=22867948/32770624 swapFree=67108860/67108860
[pid=31382] ppid=31375 vsize=1219608 memory=1196168 CPUtime=342.28 cores=0,2,4,6
/proc/31382/stat : 31382 (miniBTD) R 31375 31382 31095 0 -1 4202496 368322 0 0 0 34179 49 0 0 20 0 1 0 93635739 1248878592 299042 33554432000 4194304 4832229 140729421101168 140729421098344 4264043 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932488 6936608 30285824 140729421104333 140729421104413 140729421104413 140729421107149 0
/proc/31382/statm: 304902 299042 584 156 0 298544 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 1219608 KiB
Current children cumulated memory: 1196168 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/187 31445
/proc/meminfo: memFree=22805072/32770624 swapFree=67108860/67108860
[pid=31382] ppid=31375 vsize=1262244 memory=1238944 CPUtime=402.29 cores=0,2,4,6
/proc/31382/stat : 31382 (miniBTD) R 31375 31382 31095 0 -1 4202496 379097 0 0 0 40178 51 0 0 20 0 1 0 93635739 1292537856 309736 33554432000 4194304 4832229 140729421101168 140729421098344 4281184 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932488 6936608 30285824 140729421104333 140729421104413 140729421104413 140729421107149 0
/proc/31382/statm: 315561 309736 584 156 0 309203 0
Current children cumulated CPU time: 402.29 s
Current children cumulated vsize: 1262244 KiB
Current children cumulated memory: 1238944 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/186 31446
/proc/meminfo: memFree=22744860/32770624 swapFree=67108860/67108860
[pid=31382] ppid=31375 vsize=1304748 memory=1281592 CPUtime=462.29 cores=0,2,4,6
/proc/31382/stat : 31382 (miniBTD) R 31375 31382 31095 0 -1 4202496 389908 0 0 0 46177 52 0 0 20 0 1 0 93635739 1336061952 320398 33554432000 4194304 4832229 140729421101168 140729421098344 4278673 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932488 6936608 30285824 140729421104333 140729421104413 140729421104413 140729421107149 0
/proc/31382/statm: 326187 320398 584 156 0 319829 0
Current children cumulated CPU time: 462.29 s
Current children cumulated vsize: 1304748 KiB
Current children cumulated memory: 1281592 KiB
################
# More data... #
################
/proc/31382/statm: 528873 523058 584 156 0 522515 0
Current children cumulated CPU time: 1602.31 s
Current children cumulated vsize: 2115492 KiB
Current children cumulated memory: 2092232 KiB
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 31484
/proc/meminfo: memFree=21506684/32770624 swapFree=67108860/67108860
[pid=31382] ppid=31375 vsize=2158260 memory=2134996 CPUtime=1662.32 cores=0,2,4,6
/proc/31382/stat : 31382 (miniBTD) R 31375 31382 31095 0 -1 4202496 608375 0 0 0 166152 80 0 0 20 0 1 0 93635739 2210058240 533749 33554432000 4194304 4832229 140729421101168 140729421098344 4264063 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932488 6936608 30285824 140729421104333 140729421104413 140729421104413 140729421107149 0
/proc/31382/statm: 539565 533749 584 156 0 533207 0
Current children cumulated CPU time: 1662.32 s
Current children cumulated vsize: 2158260 KiB
Current children cumulated memory: 2134996 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 31485
/proc/meminfo: memFree=21444960/32770624 swapFree=67108860/67108860
[pid=31382] ppid=31375 vsize=2200896 memory=2177452 CPUtime=1722.32 cores=0,2,4,6
/proc/31382/stat : 31382 (miniBTD) R 31375 31382 31095 0 -1 4202496 619318 0 0 0 172150 82 0 0 20 0 1 0 93635739 2253717504 544363 33554432000 4194304 4832229 140729421101168 140729421098344 4278673 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932488 6936608 30285824 140729421104333 140729421104413 140729421104413 140729421107149 0
/proc/31382/statm: 550224 544363 584 156 0 543866 0
Current children cumulated CPU time: 1722.32 s
Current children cumulated vsize: 2200896 KiB
Current children cumulated memory: 2177452 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 31493
/proc/meminfo: memFree=21382624/32770624 swapFree=67108860/67108860
[pid=31382] ppid=31375 vsize=2243532 memory=2220216 CPUtime=1782.32 cores=0,2,4,6
/proc/31382/stat : 31382 (miniBTD) R 31375 31382 31095 0 -1 4202496 630302 0 0 0 178149 83 0 0 20 0 1 0 93635739 2297376768 555054 33554432000 4194304 4832229 140729421101168 140729421098344 4278968 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932488 6936608 30285824 140729421104333 140729421104413 140729421104413 140729421107149 0
/proc/31382/statm: 560883 555054 584 156 0 554525 0
Current children cumulated CPU time: 1782.32 s
Current children cumulated vsize: 2243532 KiB
Current children cumulated memory: 2220216 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 31494
/proc/meminfo: memFree=21321520/32770624 swapFree=67108860/67108860
[pid=31382] ppid=31375 vsize=2286168 memory=2262916 CPUtime=1842.32 cores=0,2,4,6
/proc/31382/stat : 31382 (miniBTD) R 31375 31382 31095 0 -1 4202496 641235 0 0 0 184148 84 0 0 20 0 1 0 93635739 2341036032 565729 33554432000 4194304 4832229 140729421101168 140729421098344 4282682 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932488 6936608 30285824 140729421104333 140729421104413 140729421104413 140729421107149 0
/proc/31382/statm: 571542 565729 584 156 0 565184 0
Current children cumulated CPU time: 1842.32 s
Current children cumulated vsize: 2286168 KiB
Current children cumulated memory: 2262916 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 31495
/proc/meminfo: memFree=21259984/32770624 swapFree=67108860/67108860
[pid=31382] ppid=31375 vsize=2328672 memory=2305380 CPUtime=1902.32 cores=0,2,4,6
/proc/31382/stat : 31382 (miniBTD) R 31375 31382 31095 0 -1 4202496 652358 0 0 0 190147 85 0 0 20 0 1 0 93635739 2384560128 576345 33554432000 4194304 4832229 140729421101168 140729421098344 4281351 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932488 6936608 30285824 140729421104333 140729421104413 140729421104413 140729421107149 0
/proc/31382/statm: 582168 576345 584 156 0 575810 0
Current children cumulated CPU time: 1902.32 s
Current children cumulated vsize: 2328672 KiB
Current children cumulated memory: 2305380 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 31496
/proc/meminfo: memFree=21197888/32770624 swapFree=67108860/67108860
[pid=31382] ppid=31375 vsize=2371440 memory=2348156 CPUtime=1962.33 cores=0,2,4,6
/proc/31382/stat : 31382 (miniBTD) R 31375 31382 31095 0 -1 4202496 663360 0 0 0 196146 87 0 0 20 0 1 0 93635739 2428354560 587039 33554432000 4194304 4832229 140729421101168 140729421098344 4282698 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932488 6936608 30285824 140729421104333 140729421104413 140729421104413 140729421107149 0
/proc/31382/statm: 592860 587039 584 156 0 586502 0
Current children cumulated CPU time: 1962.33 s
Current children cumulated vsize: 2371440 KiB
Current children cumulated memory: 2348156 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 31497
/proc/meminfo: memFree=21136536/32770624 swapFree=67108860/67108860
[pid=31382] ppid=31375 vsize=2414076 memory=2390704 CPUtime=2022.33 cores=0,2,4,6
/proc/31382/stat : 31382 (miniBTD) R 31375 31382 31095 0 -1 4202496 674348 0 0 0 202145 88 0 0 20 0 1 0 93635739 2472013824 597676 33554432000 4194304 4832229 140729421101168 140729421098344 4281010 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932488 6936608 30285824 140729421104333 140729421104413 140729421104413 140729421107149 0
/proc/31382/statm: 603519 597676 584 156 0 597161 0
Current children cumulated CPU time: 2022.33 s
Current children cumulated vsize: 2414076 KiB
Current children cumulated memory: 2390704 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 31498
/proc/meminfo: memFree=21074440/32770624 swapFree=67108860/67108860
[pid=31382] ppid=31375 vsize=2456712 memory=2433360 CPUtime=2082.34 cores=0,2,4,6
/proc/31382/stat : 31382 (miniBTD) R 31375 31382 31095 0 -1 4202496 685282 0 0 0 208144 90 0 0 20 0 1 0 93635739 2515673088 608340 33554432000 4194304 4832229 140729421101168 140729421098344 4281010 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932488 6936608 30285824 140729421104333 140729421104413 140729421104413 140729421107149 0
/proc/31382/statm: 614178 608340 584 156 0 607820 0
Current children cumulated CPU time: 2082.34 s
Current children cumulated vsize: 2456712 KiB
Current children cumulated memory: 2433360 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 31499
/proc/meminfo: memFree=21012840/32770624 swapFree=67108860/67108860
[pid=31382] ppid=31375 vsize=2499216 memory=2475904 CPUtime=2142.33 cores=0,2,4,6
/proc/31382/stat : 31382 (miniBTD) R 31375 31382 31095 0 -1 4202496 696317 0 0 0 214142 91 0 0 20 0 1 0 93635739 2559197184 618976 33554432000 4194304 4832229 140729421101168 140729421098344 4282682 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932488 6936608 30285824 140729421104333 140729421104413 140729421104413 140729421107149 0
/proc/31382/statm: 624804 618976 584 156 0 618446 0
Current children cumulated CPU time: 2142.33 s
Current children cumulated vsize: 2499216 KiB
Current children cumulated memory: 2475904 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 31500
/proc/meminfo: memFree=20951236/32770624 swapFree=67108860/67108860
[pid=31382] ppid=31375 vsize=2541984 memory=2518696 CPUtime=2202.34 cores=0,2,4,6
/proc/31382/stat : 31382 (miniBTD) R 31375 31382 31095 0 -1 4202496 707335 0 0 0 220140 94 0 0 20 0 1 0 93635739 2602991616 629674 33554432000 4194304 4832229 140729421101168 140729421098344 4281154 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932488 6936608 30285824 140729421104333 140729421104413 140729421104413 140729421107149 0
/proc/31382/statm: 635496 629674 584 156 0 629138 0
Current children cumulated CPU time: 2202.34 s
Current children cumulated vsize: 2541984 KiB
Current children cumulated memory: 2518696 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 31501
/proc/meminfo: memFree=20889636/32770624 swapFree=67108860/67108860
[pid=31382] ppid=31375 vsize=2584620 memory=2561288 CPUtime=2262.34 cores=0,2,4,6
/proc/31382/stat : 31382 (miniBTD) R 31375 31382 31095 0 -1 4202496 718306 0 0 0 226139 95 0 0 20 0 1 0 93635739 2646650880 640322 33554432000 4194304 4832229 140729421101168 140729421098344 4281196 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932488 6936608 30285824 140729421104333 140729421104413 140729421104413 140729421107149 0
/proc/31382/statm: 646155 640322 584 156 0 639797 0
Current children cumulated CPU time: 2262.34 s
Current children cumulated vsize: 2584620 KiB
Current children cumulated memory: 2561288 KiB
[startup+2322.3 s]
/proc/loadavg: 2.12 2.04 2.05 3/187 31502
/proc/meminfo: memFree=20827100/32770624 swapFree=67108860/67108860
[pid=31382] ppid=31375 vsize=2627256 memory=2603888 CPUtime=2322.34 cores=0,2,4,6
/proc/31382/stat : 31382 (miniBTD) R 31375 31382 31095 0 -1 4202496 729389 0 0 0 232137 97 0 0 20 0 1 0 93635739 2690310144 650972 33554432000 4194304 4832229 140729421101168 140729421098344 4278790 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932488 6936608 30285824 140729421104333 140729421104413 140729421104413 140729421107149 0
/proc/31382/statm: 656814 650972 584 156 0 650456 0
Current children cumulated CPU time: 2322.34 s
Current children cumulated vsize: 2627256 KiB
Current children cumulated memory: 2603888 KiB
[startup+2382.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/187 31510
/proc/meminfo: memFree=20764756/32770624 swapFree=67108860/67108860
[pid=31382] ppid=31375 vsize=2669892 memory=2646672 CPUtime=2382.35 cores=0,2,4,6
/proc/31382/stat : 31382 (miniBTD) R 31375 31382 31095 0 -1 4202496 740433 0 0 0 238136 99 0 0 20 0 1 0 93635739 2733969408 661668 33554432000 4194304 4832229 140729421101168 140729421098344 4278609 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932488 6936608 30285824 140729421104333 140729421104413 140729421104413 140729421107149 0
/proc/31382/statm: 667473 661668 584 156 0 661115 0
Current children cumulated CPU time: 2382.35 s
Current children cumulated vsize: 2669892 KiB
Current children cumulated memory: 2646672 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400 s]*
/proc/loadavg: 2.03 2.04 2.05 3/187 31510
/proc/meminfo: memFree=20747132/32770624 swapFree=67108860/67108860
[pid=31382] ppid=31375 vsize=2682432 memory=2659148 CPUtime=2400.06 cores=0,2,4,6
/proc/31382/stat : 31382 (miniBTD) R 31375 31382 31095 0 -1 4202496 743752 0 0 0 239906 100 0 0 20 0 1 0 93635739 2746810368 664787 33554432000 4194304 4832229 140729421101168 140729421098344 4278673 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932488 6936608 30285824 140729421104333 140729421104413 140729421104413 140729421107149 0
/proc/31382/statm: 670608 664787 584 156 0 664250 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 2682432 KiB
Current children cumulated memory: 2659148 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.07 s]
# the end of solver process 31382 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.07 s, system=1.06204 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.07
CPU time (s): 2400.13
CPU user time (s): 2399.07
CPU system time (s): 1.06204
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 2682432
Max. memory (cumulated for all children) (KiB): 2659148
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.07
system time used= 1.06204
maximum resident set size= 2659228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 743752
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= 134
involuntary context switches= 3025
# summary of solver processes directly reported to runsolver:
# pid: 31382
# total CPU time (s): 2400.13
# total CPU user time (s): 2399.07
# total CPU system time (s): 1.06204
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.35664 second user time and 14.633 second system time
The end