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 (13001 MiB free)
memory of node 1: 16384 MiB (12372 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4265062-1502615206/watcher-4265062-1502615206 -o /tmp/evaluation-result-4265062-1502615206/solver-4265062-1502615206 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1502602219-31126 --watchdog 2560 miniBTD 2400 HOME/instance-4265062-1502615206.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
Current StackSize limit: 8192 KiB
solver pid=1045, runsolver pid=1042
[startup+0.100199 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 1046
/proc/meminfo: memFree=25982424/32770624 swapFree=67108860/67108860
[pid=1045] ppid=1042 vsize=26980 memory=3544 CPUtime=0.1 cores=0,2,4,6
/proc/1045/stat : 1045 (miniBTD) R 1042 1045 31095 0 -1 4202496 1250 0 0 0 10 0 0 0 20 0 1 0 94608511 27627520 886 33554432000 4194304 4832229 140729142755184 140729142752136 140631582702565 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932488 6936608 16830464 140729142760653 140729142760733 140729142760733 140729142763469 0
/proc/1045/statm: 6745 886 517 156 0 387 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 26980 KiB
Current children cumulated memory: 3544 KiB
[startup+0.209403 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 1046
/proc/meminfo: memFree=25981308/32770624 swapFree=67108860/67108860
[pid=1045] ppid=1042 vsize=27896 memory=4460 CPUtime=0.21 cores=0,2,4,6
/proc/1045/stat : 1045 (miniBTD) R 1042 1045 31095 0 -1 4202496 1807 0 0 0 21 0 0 0 20 0 1 0 94608511 28565504 1115 33554432000 4194304 4832229 140729142755184 140729142752136 4216950 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932488 6936608 16830464 140729142760653 140729142760733 140729142760733 140729142763469 0
/proc/1045/statm: 6974 1115 517 156 0 616 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27896 KiB
Current children cumulated memory: 4460 KiB
[startup+0.309164 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 1046
/proc/meminfo: memFree=25980828/32770624 swapFree=67108860/67108860
[pid=1045] ppid=1042 vsize=28672 memory=5272 CPUtime=0.31 cores=0,2,4,6
/proc/1045/stat : 1045 (miniBTD) R 1042 1045 31095 0 -1 4202496 2312 0 0 0 31 0 0 0 20 0 1 0 94608511 29360128 1318 33554432000 4194304 4832229 140729142755184 140729142752136 4216950 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932488 6936608 16830464 140729142760653 140729142760733 140729142760733 140729142763469 0
/proc/1045/statm: 7168 1318 517 156 0 810 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 28672 KiB
Current children cumulated memory: 5272 KiB
[startup+0.700337 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 1046
/proc/meminfo: memFree=25978844/32770624 swapFree=67108860/67108860
[pid=1045] ppid=1042 vsize=32048 memory=8648 CPUtime=0.69 cores=0,2,4,6
/proc/1045/stat : 1045 (miniBTD) R 1042 1045 31095 0 -1 4202496 5469 0 0 0 69 0 0 0 20 0 1 0 94608511 32817152 2162 33554432000 4194304 4832229 140729142755184 140729142751736 140631583163372 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932488 6936608 16830464 140729142760653 140729142760733 140729142760733 140729142763469 0
/proc/1045/statm: 8049 2162 517 156 0 1691 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 32048 KiB
Current children cumulated memory: 8648 KiB
[startup+1.50034 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 1046
/proc/meminfo: memFree=25974672/32770624 swapFree=67108860/67108860
[pid=1045] ppid=1042 vsize=39156 memory=15672 CPUtime=1.49 cores=0,2,4,6
/proc/1045/stat : 1045 (miniBTD) R 1042 1045 31095 0 -1 4202496 9323 0 0 0 148 1 0 0 20 0 1 0 94608511 40095744 3918 33554432000 4194304 4832229 140729142755184 140729142751736 140631582702565 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932488 6936608 16830464 140729142760653 140729142760733 140729142760733 140729142763469 0
/proc/1045/statm: 9789 3918 517 156 0 3431 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 39156 KiB
Current children cumulated memory: 15672 KiB
[startup+3.10926 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 1046
/proc/meminfo: memFree=25949980/32770624 swapFree=67108860/67108860
[pid=1045] ppid=1042 vsize=60476 memory=37076 CPUtime=3.09 cores=0,2,4,6
/proc/1045/stat : 1045 (miniBTD) R 1042 1045 31095 0 -1 4202496 17832 0 0 0 307 2 0 0 20 0 1 0 94608511 61927424 9269 33554432000 4194304 4832229 140729142755184 140729142751736 4216616 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932488 6936608 16830464 140729142760653 140729142760733 140729142760733 140729142763469 0
/proc/1045/statm: 15119 9269 517 156 0 8761 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 60476 KiB
Current children cumulated memory: 37076 KiB
[startup+6.30033 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 1046
/proc/meminfo: memFree=25915676/32770624 swapFree=67108860/67108860
[pid=1045] ppid=1042 vsize=95872 memory=72472 CPUtime=6.29 cores=0,2,4,6
/proc/1045/stat : 1045 (miniBTD) R 1042 1045 31095 0 -1 4202496 33835 0 0 0 624 5 0 0 20 0 1 0 94608511 98172928 18118 33554432000 4194304 4832229 140729142755184 140729142751736 4215776 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932488 6936608 16830464 140729142760653 140729142760733 140729142760733 140729142763469 0
/proc/1045/statm: 23968 18118 517 156 0 17610 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 95872 KiB
Current children cumulated memory: 72472 KiB
[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 1046
/proc/meminfo: memFree=25285460/32770624 swapFree=67108860/67108860
[pid=1045] ppid=1042 vsize=845672 memory=821684 CPUtime=12.69 cores=0,2,4,6
/proc/1045/stat : 1045 (miniBTD) R 1042 1045 31095 0 -1 4202496 235207 0 0 0 1240 29 0 0 20 0 1 0 94608511 865968128 205421 33554432000 4194304 4832229 140729142755184 140729142750216 4228128 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932488 6936608 16830464 140729142760653 140729142760733 140729142760733 140729142763469 0
/proc/1045/statm: 211418 205421 551 156 0 205060 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 845672 KiB
Current children cumulated memory: 821684 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 1046
/proc/meminfo: memFree=23318968/32770624 swapFree=67108860/67108860
[pid=1045] ppid=1042 vsize=2686264 memory=2662908 CPUtime=25.49 cores=0,2,4,6
/proc/1045/stat : 1045 (miniBTD) R 1042 1045 31095 0 -1 4202496 702969 0 0 0 2466 83 0 0 20 0 1 0 94608511 2750734336 665727 33554432000 4194304 4832229 140729142755184 140729142752408 4320640 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932488 6936608 16830464 140729142760653 140729142760733 140729142760733 140729142763469 0
/proc/1045/statm: 671566 665727 576 156 0 665208 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2686264 KiB
Current children cumulated memory: 2662908 KiB
[startup+51.109 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 1046
/proc/meminfo: memFree=23287420/32770624 swapFree=67108860/67108860
[pid=1045] ppid=1042 vsize=2716888 memory=2693604 CPUtime=51.09 cores=0,2,4,6
/proc/1045/stat : 1045 (miniBTD) R 1042 1045 31095 0 -1 4202496 713686 0 0 0 5026 83 0 0 20 0 1 0 94608511 2782093312 673401 33554432000 4194304 4832229 140729142755184 140729142752408 4320832 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932488 6936608 16830464 140729142760653 140729142760733 140729142760733 140729142763469 0
/proc/1045/statm: 679222 673401 576 156 0 672864 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2716888 KiB
Current children cumulated memory: 2693604 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 1047
/proc/meminfo: memFree=23287296/32770624 swapFree=67108860/67108860
[pid=1045] ppid=1042 vsize=2716888 memory=2693612 CPUtime=102.29 cores=0,2,4,6
/proc/1045/stat : 1045 (miniBTD) R 1042 1045 31095 0 -1 4202496 713765 0 0 0 10145 84 0 0 20 0 1 0 94608511 2782093312 673403 33554432000 4194304 4832229 140729142755184 140729142752408 4320698 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932488 6936608 16830464 140729142760653 140729142760733 140729142760733 140729142763469 0
/proc/1045/statm: 679222 673403 576 156 0 672864 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2716888 KiB
Current children cumulated memory: 2693612 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1049
/proc/meminfo: memFree=23287452/32770624 swapFree=67108860/67108860
[pid=1045] ppid=1042 vsize=2716888 memory=2693628 CPUtime=162.3 cores=0,2,4,6
/proc/1045/stat : 1045 (miniBTD) R 1042 1045 31095 0 -1 4202496 714063 0 0 0 16145 85 0 0 20 0 1 0 94608511 2782093312 673407 33554432000 4194304 4832229 140729142755184 140729142752408 4321210 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932488 6936608 16830464 140729142760653 140729142760733 140729142760733 140729142763469 0
/proc/1045/statm: 679222 673407 576 156 0 672864 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 2716888 KiB
Current children cumulated memory: 2693628 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1050
/proc/meminfo: memFree=23287708/32770624 swapFree=67108860/67108860
[pid=1045] ppid=1042 vsize=2716888 memory=2693640 CPUtime=222.29 cores=0,2,4,6
/proc/1045/stat : 1045 (miniBTD) R 1042 1045 31095 0 -1 4202496 714302 0 0 0 22143 86 0 0 20 0 1 0 94608511 2782093312 673410 33554432000 4194304 4832229 140729142755184 140729142752408 4320843 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932488 6936608 16830464 140729142760653 140729142760733 140729142760733 140729142763469 0
/proc/1045/statm: 679222 673410 576 156 0 672864 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 2716888 KiB
Current children cumulated memory: 2693640 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1051
/proc/meminfo: memFree=23287612/32770624 swapFree=67108860/67108860
[pid=1045] ppid=1042 vsize=2716888 memory=2693656 CPUtime=282.29 cores=0,2,4,6
/proc/1045/stat : 1045 (miniBTD) R 1042 1045 31095 0 -1 4202496 714592 0 0 0 28142 87 0 0 20 0 1 0 94608511 2782093312 673414 33554432000 4194304 4832229 140729142755184 140729142752408 4321380 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932488 6936608 16830464 140729142760653 140729142760733 140729142760733 140729142763469 0
/proc/1045/statm: 679222 673414 576 156 0 672864 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 2716888 KiB
Current children cumulated memory: 2693656 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1053
/proc/meminfo: memFree=23287516/32770624 swapFree=67108860/67108860
[pid=1045] ppid=1042 vsize=2716888 memory=2693672 CPUtime=342.29 cores=0,2,4,6
/proc/1045/stat : 1045 (miniBTD) R 1042 1045 31095 0 -1 4202496 714893 0 0 0 34141 88 0 0 20 0 1 0 94608511 2782093312 673418 33554432000 4194304 4832229 140729142755184 140729142752408 4320832 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932488 6936608 16830464 140729142760653 140729142760733 140729142760733 140729142763469 0
/proc/1045/statm: 679222 673418 576 156 0 672864 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 2716888 KiB
Current children cumulated memory: 2693672 KiB
[startup+402.3 s]
/proc/loadavg: 2.29 2.08 2.07 3/187 1054
/proc/meminfo: memFree=23287784/32770624 swapFree=67108860/67108860
[pid=1045] ppid=1042 vsize=2716888 memory=2693680 CPUtime=402.29 cores=0,2,4,6
/proc/1045/stat : 1045 (miniBTD) R 1042 1045 31095 0 -1 4202496 715131 0 0 0 40140 89 0 0 20 0 1 0 94608511 2782093312 673420 33554432000 4194304 4832229 140729142755184 140729142752408 4320835 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932488 6936608 16830464 140729142760653 140729142760733 140729142760733 140729142763469 0
/proc/1045/statm: 679222 673420 576 156 0 672864 0
Current children cumulated CPU time: 402.29 s
Current children cumulated vsize: 2716888 KiB
Current children cumulated memory: 2693680 KiB
[startup+462.3 s]
/proc/loadavg: 2.34 2.15 2.09 3/188 1064
/proc/meminfo: memFree=23286492/32770624 swapFree=67108860/67108860
[pid=1045] ppid=1042 vsize=2716888 memory=2693696 CPUtime=462.29 cores=0,2,4,6
/proc/1045/stat : 1045 (miniBTD) R 1042 1045 31095 0 -1 4202496 715424 0 0 0 46139 90 0 0 20 0 1 0 94608511 2782093312 673424 33554432000 4194304 4832229 140729142755184 140729142752408 4320644 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932488 6936608 16830464 140729142760653 140729142760733 140729142760733 140729142763469 0
/proc/1045/statm: 679222 673424 576 156 0 672864 0
Current children cumulated CPU time: 462.29 s
Current children cumulated vsize: 2716888 KiB
Current children cumulated memory: 2693696 KiB
################
# More data... #
################
/proc/1045/statm: 679387 673586 576 156 0 673029 0
Current children cumulated CPU time: 1602.3 s
Current children cumulated vsize: 2717548 KiB
Current children cumulated memory: 2694344 KiB
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 1127
/proc/meminfo: memFree=23283700/32770624 swapFree=67108860/67108860
[pid=1045] ppid=1042 vsize=2717548 memory=2694360 CPUtime=1662.3 cores=0,2,4,6
/proc/1045/stat : 1045 (miniBTD) R 1042 1045 31095 0 -1 4202496 720816 0 0 0 166118 112 0 0 20 0 1 0 94608511 2782769152 673590 33554432000 4194304 4832229 140729142755184 140729142752408 4321210 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932488 6936608 16830464 140729142760653 140729142760733 140729142760733 140729142763469 0
/proc/1045/statm: 679387 673590 576 156 0 673029 0
Current children cumulated CPU time: 1662.3 s
Current children cumulated vsize: 2717548 KiB
Current children cumulated memory: 2694360 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 1128
/proc/meminfo: memFree=23283968/32770624 swapFree=67108860/67108860
[pid=1045] ppid=1042 vsize=2717548 memory=2694372 CPUtime=1722.3 cores=0,2,4,6
/proc/1045/stat : 1045 (miniBTD) R 1042 1045 31095 0 -1 4202496 720893 0 0 0 172117 113 0 0 20 0 1 0 94608511 2782769152 673593 33554432000 4194304 4832229 140729142755184 140729142752408 4321228 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932488 6936608 16830464 140729142760653 140729142760733 140729142760733 140729142763469 0
/proc/1045/statm: 679387 673593 576 156 0 673029 0
Current children cumulated CPU time: 1722.3 s
Current children cumulated vsize: 2717548 KiB
Current children cumulated memory: 2694372 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 1129
/proc/meminfo: memFree=23284120/32770624 swapFree=67108860/67108860
[pid=1045] ppid=1042 vsize=2717548 memory=2694384 CPUtime=1782.31 cores=0,2,4,6
/proc/1045/stat : 1045 (miniBTD) R 1042 1045 31095 0 -1 4202496 720958 0 0 0 178117 114 0 0 20 0 1 0 94608511 2782769152 673596 33554432000 4194304 4832229 140729142755184 140729142752408 4320845 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932488 6936608 16830464 140729142760653 140729142760733 140729142760733 140729142763469 0
/proc/1045/statm: 679387 673596 576 156 0 673029 0
Current children cumulated CPU time: 1782.31 s
Current children cumulated vsize: 2717548 KiB
Current children cumulated memory: 2694384 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 1130
/proc/meminfo: memFree=23284380/32770624 swapFree=67108860/67108860
[pid=1045] ppid=1042 vsize=2717680 memory=2694396 CPUtime=1842.31 cores=0,2,4,6
/proc/1045/stat : 1045 (miniBTD) R 1042 1045 31095 0 -1 4202496 721039 0 0 0 184116 115 0 0 20 0 1 0 94608511 2782904320 673599 33554432000 4194304 4832229 140729142755184 140729142752408 4320832 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932488 6936608 16830464 140729142760653 140729142760733 140729142760733 140729142763469 0
/proc/1045/statm: 679420 673599 576 156 0 673062 0
Current children cumulated CPU time: 1842.31 s
Current children cumulated vsize: 2717680 KiB
Current children cumulated memory: 2694396 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 1133
/proc/meminfo: memFree=23284888/32770624 swapFree=67108860/67108860
[pid=1045] ppid=1042 vsize=2717680 memory=2694408 CPUtime=1902.31 cores=0,2,4,6
/proc/1045/stat : 1045 (miniBTD) R 1042 1045 31095 0 -1 4202496 721117 0 0 0 190115 116 0 0 20 0 1 0 94608511 2782904320 673602 33554432000 4194304 4832229 140729142755184 140729142752408 4321228 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932488 6936608 16830464 140729142760653 140729142760733 140729142760733 140729142763469 0
/proc/1045/statm: 679420 673602 576 156 0 673062 0
Current children cumulated CPU time: 1902.31 s
Current children cumulated vsize: 2717680 KiB
Current children cumulated memory: 2694408 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 1141
/proc/meminfo: memFree=23284676/32770624 swapFree=67108860/67108860
[pid=1045] ppid=1042 vsize=2717680 memory=2694432 CPUtime=1962.31 cores=0,2,4,6
/proc/1045/stat : 1045 (miniBTD) R 1042 1045 31095 0 -1 4202496 721224 0 0 0 196114 117 0 0 20 0 1 0 94608511 2782904320 673608 33554432000 4194304 4832229 140729142755184 140729142752408 4321344 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932488 6936608 16830464 140729142760653 140729142760733 140729142760733 140729142763469 0
/proc/1045/statm: 679420 673608 576 156 0 673062 0
Current children cumulated CPU time: 1962.31 s
Current children cumulated vsize: 2717680 KiB
Current children cumulated memory: 2694432 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1142
/proc/meminfo: memFree=23284724/32770624 swapFree=67108860/67108860
[pid=1045] ppid=1042 vsize=2717680 memory=2694444 CPUtime=2022.31 cores=0,2,4,6
/proc/1045/stat : 1045 (miniBTD) R 1042 1045 31095 0 -1 4202496 721303 0 0 0 202113 118 0 0 20 0 1 0 94608511 2782904320 673611 33554432000 4194304 4832229 140729142755184 140729142752408 4320712 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932488 6936608 16830464 140729142760653 140729142760733 140729142760733 140729142763469 0
/proc/1045/statm: 679420 673611 576 156 0 673062 0
Current children cumulated CPU time: 2022.31 s
Current children cumulated vsize: 2717680 KiB
Current children cumulated memory: 2694444 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1143
/proc/meminfo: memFree=23284628/32770624 swapFree=67108860/67108860
[pid=1045] ppid=1042 vsize=2717680 memory=2694476 CPUtime=2082.31 cores=0,2,4,6
/proc/1045/stat : 1045 (miniBTD) R 1042 1045 31095 0 -1 4202496 721411 0 0 0 208112 119 0 0 20 0 1 0 94608511 2782904320 673619 33554432000 4194304 4832229 140729142755184 140729142752408 4321380 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932488 6936608 16830464 140729142760653 140729142760733 140729142760733 140729142763469 0
/proc/1045/statm: 679420 673619 576 156 0 673062 0
Current children cumulated CPU time: 2082.31 s
Current children cumulated vsize: 2717680 KiB
Current children cumulated memory: 2694476 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1145
/proc/meminfo: memFree=23284364/32770624 swapFree=67108860/67108860
[pid=1045] ppid=1042 vsize=2717680 memory=2694500 CPUtime=2142.31 cores=0,2,4,6
/proc/1045/stat : 1045 (miniBTD) R 1042 1045 31095 0 -1 4202496 721509 0 0 0 214111 120 0 0 20 0 1 0 94608511 2782904320 673625 33554432000 4194304 4832229 140729142755184 140729142752408 4321228 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932488 6936608 16830464 140729142760653 140729142760733 140729142760733 140729142763469 0
/proc/1045/statm: 679420 673625 576 156 0 673062 0
Current children cumulated CPU time: 2142.31 s
Current children cumulated vsize: 2717680 KiB
Current children cumulated memory: 2694500 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1146
/proc/meminfo: memFree=23284160/32770624 swapFree=67108860/67108860
[pid=1045] ppid=1042 vsize=2718076 memory=2694908 CPUtime=2202.32 cores=0,2,4,6
/proc/1045/stat : 1045 (miniBTD) R 1042 1045 31095 0 -1 4202496 721750 0 0 0 220111 121 0 0 20 0 1 0 94608511 2783309824 673727 33554432000 4194304 4832229 140729142755184 140729142752408 4320767 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932488 6936608 16830464 140729142760653 140729142760733 140729142760733 140729142763469 0
/proc/1045/statm: 679519 673727 576 156 0 673161 0
Current children cumulated CPU time: 2202.32 s
Current children cumulated vsize: 2718076 KiB
Current children cumulated memory: 2694908 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1154
/proc/meminfo: memFree=23283076/32770624 swapFree=67108860/67108860
[pid=1045] ppid=1042 vsize=2718208 memory=2694920 CPUtime=2262.31 cores=0,2,4,6
/proc/1045/stat : 1045 (miniBTD) R 1042 1045 31095 0 -1 4202496 721859 0 0 0 226110 121 0 0 20 0 1 0 94608511 2783444992 673730 33554432000 4194304 4832229 140729142755184 140729142752408 4320853 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932488 6936608 16830464 140729142760653 140729142760733 140729142760733 140729142763469 0
/proc/1045/statm: 679552 673730 576 156 0 673194 0
Current children cumulated CPU time: 2262.31 s
Current children cumulated vsize: 2718208 KiB
Current children cumulated memory: 2694920 KiB
[startup+2322.3 s]
/proc/loadavg: 1.51 1.89 2.00 2/180 1201
/proc/meminfo: memFree=25989976/32770624 swapFree=67108860/67108860
[pid=1045] ppid=1042 vsize=2718208 memory=2694936 CPUtime=2322.31 cores=0,2,4,6
/proc/1045/stat : 1045 (miniBTD) R 1042 1045 31095 0 -1 4202496 721973 0 0 0 232109 122 0 0 20 0 1 0 94608511 2783444992 673734 33554432000 4194304 4832229 140729142755184 140729142752408 4320743 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932488 6936608 16830464 140729142760653 140729142760733 140729142760733 140729142763469 0
/proc/1045/statm: 679552 673734 576 156 0 673194 0
Current children cumulated CPU time: 2322.31 s
Current children cumulated vsize: 2718208 KiB
Current children cumulated memory: 2694936 KiB
[startup+2382.3 s]
/proc/loadavg: 1.19 1.73 1.94 2/180 1202
/proc/meminfo: memFree=25990376/32770624 swapFree=67108860/67108860
[pid=1045] ppid=1042 vsize=2718208 memory=2694944 CPUtime=2382.32 cores=0,2,4,6
/proc/1045/stat : 1045 (miniBTD) R 1042 1045 31095 0 -1 4202496 722061 0 0 0 238109 123 0 0 20 0 1 0 94608511 2783444992 673736 33554432000 4194304 4832229 140729142755184 140729142752408 4320644 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932488 6936608 16830464 140729142760653 140729142760733 140729142760733 140729142763469 0
/proc/1045/statm: 679552 673736 576 156 0 673194 0
Current children cumulated CPU time: 2382.32 s
Current children cumulated vsize: 2718208 KiB
Current children cumulated memory: 2694944 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400 s]*
/proc/loadavg: 1.14 1.68 1.92 2/180 1202
/proc/meminfo: memFree=25990344/32770624 swapFree=67108860/67108860
[pid=1045] ppid=1042 vsize=2718208 memory=2694952 CPUtime=2400.03 cores=0,2,4,6
/proc/1045/stat : 1045 (miniBTD) R 1042 1045 31095 0 -1 4202496 722089 0 0 0 239880 123 0 0 20 0 1 0 94608511 2783444992 673738 33554432000 4194304 4832229 140729142755184 140729142752408 4320767 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932488 6936608 16830464 140729142760653 140729142760733 140729142760733 140729142763469 0
/proc/1045/statm: 679552 673738 576 156 0 673194 0
Current children cumulated CPU time: 2400.03 s
Current children cumulated vsize: 2718208 KiB
Current children cumulated memory: 2694952 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.09 s]
# the end of solver process 1045 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2398.8 s, system=1.31202 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.09
CPU time (s): 2400.12
CPU user time (s): 2398.8
CPU system time (s): 1.31202
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 2718208
Max. memory (cumulated for all children) (KiB): 2694952
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.8
system time used= 1.31202
maximum resident set size= 2694956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 722089
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= 14
involuntary context switches= 3026
# summary of solver processes directly reported to runsolver:
# pid: 1045
# total CPU time (s): 2400.12
# total CPU user time (s): 2398.8
# total CPU system time (s): 1.31202
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.31916 second user time and 15.6529 second system time
The end