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 (14525 MiB free)
memory of node 1: 16384 MiB (15624 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4265057-1502614384/watcher-4265057-1502614384 -o /tmp/evaluation-result-4265057-1502614384/solver-4265057-1502614384 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502596296-23160 --watchdog 2560 miniBTD 2400 HOME/instance-4265057-1502614384.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=28064, runsolver pid=28061
[startup+0.100157 s]*
/proc/loadavg: 2.00 2.05 2.06 3/181 28065
/proc/meminfo: memFree=30873780/32770624 swapFree=67108860/67108860
[pid=28064] ppid=28061 vsize=26256 memory=2784 CPUtime=0.01 cores=1,3,5,7
/proc/28064/stat : 28064 (miniBTD) R 28061 28064 17093 0 -1 4202496 864 0 0 0 1 0 0 0 20 0 1 0 63631704 26886144 696 18446744073709551615 4194304 4832229 140734144827248 140734144824200 4216616 0 0 1 0 0 0 0 17 1 0 0 8 0 0 6932488 6936608 29388800 140734144831959 140734144832039 140734144832039 140734144835533 0
/proc/28064/statm: 6564 696 517 156 0 206 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 26256 KiB
Current children cumulated memory: 2784 KiB
[startup+0.208973 s]*
/proc/loadavg: 2.00 2.05 2.06 3/181 28065
/proc/meminfo: memFree=30872668/32770624 swapFree=67108860/67108860
[pid=28064] ppid=28061 vsize=27168 memory=3768 CPUtime=0.12 cores=1,3,5,7
/proc/28064/stat : 28064 (miniBTD) R 28061 28064 17093 0 -1 4202496 1318 0 0 0 12 0 0 0 20 0 1 0 63631704 27820032 942 18446744073709551615 4194304 4832229 140734144827248 140734144824200 4215776 0 0 1 0 0 0 0 17 1 0 0 8 0 0 6932488 6936608 29388800 140734144831959 140734144832039 140734144832039 140734144835533 0
/proc/28064/statm: 6792 942 517 156 0 434 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 27168 KiB
Current children cumulated memory: 3768 KiB
[startup+0.30887 s]*
/proc/loadavg: 2.00 2.05 2.06 3/181 28065
/proc/meminfo: memFree=30871924/32770624 swapFree=67108860/67108860
[pid=28064] ppid=28061 vsize=27996 memory=4596 CPUtime=0.22 cores=1,3,5,7
/proc/28064/stat : 28064 (miniBTD) R 28061 28064 17093 0 -1 4202496 2048 0 0 0 22 0 0 0 20 0 1 0 63631704 28667904 1149 18446744073709551615 4194304 4832229 140734144827248 140734144824200 140453184664556 0 0 1 0 0 0 0 17 1 0 0 8 0 0 6932488 6936608 29388800 140734144831959 140734144832039 140734144832039 140734144835533 0
/proc/28064/statm: 6999 1149 517 156 0 641 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 27996 KiB
Current children cumulated memory: 4596 KiB
[startup+0.700275 s]
/proc/loadavg: 2.00 2.05 2.06 3/181 28065
/proc/meminfo: memFree=30870064/32770624 swapFree=67108860/67108860
[pid=28064] ppid=28061 vsize=31296 memory=7896 CPUtime=0.6 cores=1,3,5,7
/proc/28064/stat : 28064 (miniBTD) R 28061 28064 17093 0 -1 4202496 4574 0 0 0 60 0 0 0 20 0 1 0 63631704 32047104 1974 18446744073709551615 4194304 4832229 140734144827248 140734144823800 4215782 0 0 1 0 0 0 0 17 1 0 0 8 0 0 6932488 6936608 29388800 140734144831959 140734144832039 140734144832039 140734144835533 0
/proc/28064/statm: 7824 1974 517 156 0 1466 0
Current children cumulated CPU time: 0.6 s
Current children cumulated vsize: 31296 KiB
Current children cumulated memory: 7896 KiB
[startup+1.50028 s]
/proc/loadavg: 2.00 2.05 2.06 3/181 28065
/proc/meminfo: memFree=30865876/32770624 swapFree=67108860/67108860
[pid=28064] ppid=28061 vsize=38260 memory=14860 CPUtime=1.4 cores=1,3,5,7
/proc/28064/stat : 28064 (miniBTD) R 28061 28064 17093 0 -1 4202496 9073 0 0 0 138 2 0 0 20 0 1 0 63631704 39178240 3715 18446744073709551615 4194304 4832229 140734144827248 140734144823800 140453184664556 0 0 1 0 0 0 0 17 1 0 0 8 0 0 6932488 6936608 29388800 140734144831959 140734144832039 140734144832039 140734144835533 0
/proc/28064/statm: 9565 3715 517 156 0 3207 0
Current children cumulated CPU time: 1.4 s
Current children cumulated vsize: 38260 KiB
Current children cumulated memory: 14860 KiB
[startup+3.10916 s]
/proc/loadavg: 2.00 2.05 2.06 3/181 28065
/proc/meminfo: memFree=30841464/32770624 swapFree=67108860/67108860
[pid=28064] ppid=28061 vsize=59424 memory=35928 CPUtime=3.01 cores=1,3,5,7
/proc/28064/stat : 28064 (miniBTD) R 28061 28064 17093 0 -1 4202496 17478 0 0 0 298 3 0 0 20 0 1 0 63631704 60850176 8982 18446744073709551615 4194304 4832229 140734144827248 140734144823800 140453184203749 0 0 1 0 0 0 0 17 1 0 0 8 0 0 6932488 6936608 29388800 140734144831959 140734144832039 140734144832039 140734144835533 0
/proc/28064/statm: 14856 8982 517 156 0 8498 0
Current children cumulated CPU time: 3.01 s
Current children cumulated vsize: 59424 KiB
Current children cumulated memory: 35928 KiB
[startup+6.30027 s]
/proc/loadavg: 2.00 2.05 2.06 3/181 28065
/proc/meminfo: memFree=30808396/32770624 swapFree=67108860/67108860
[pid=28064] ppid=28061 vsize=94292 memory=70828 CPUtime=6.2 cores=1,3,5,7
/proc/28064/stat : 28064 (miniBTD) R 28061 28064 17093 0 -1 4202496 32676 0 0 0 615 5 0 0 20 0 1 0 63631704 96555008 17707 18446744073709551615 4194304 4832229 140734144827248 140734144823800 4216957 0 0 1 0 0 0 0 17 1 0 0 8 0 0 6932488 6936608 29388800 140734144831959 140734144832039 140734144832039 140734144835533 0
/proc/28064/statm: 23573 17707 517 156 0 17215 0
Current children cumulated CPU time: 6.2 s
Current children cumulated vsize: 94292 KiB
Current children cumulated memory: 70828 KiB
[startup+12.7004 s]
/proc/loadavg: 2.00 2.05 2.06 3/181 28065
/proc/meminfo: memFree=30225472/32770624 swapFree=67108860/67108860
[pid=28064] ppid=28061 vsize=821148 memory=797172 CPUtime=12.6 cores=1,3,5,7
/proc/28064/stat : 28064 (miniBTD) R 28061 28064 17093 0 -1 4202496 229122 0 0 0 1229 31 0 0 20 0 1 0 63631704 840855552 199293 18446744073709551615 4194304 4832229 140734144827248 140734144822280 4228128 0 0 1 0 0 0 0 17 1 0 0 8 0 0 6932488 6936608 29388800 140734144831959 140734144832039 140734144832039 140734144835533 0
/proc/28064/statm: 205287 199293 551 156 0 198929 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 821148 KiB
Current children cumulated memory: 797172 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.05 2.06 3/181 28066
/proc/meminfo: memFree=28209604/32770624 swapFree=67108860/67108860
[pid=28064] ppid=28061 vsize=2686132 memory=2662816 CPUtime=25.4 cores=1,3,5,7
/proc/28064/stat : 28064 (miniBTD) R 28061 28064 17093 0 -1 4202496 703394 0 0 0 2453 87 0 0 20 0 1 0 63631704 2750599168 665704 18446744073709551615 4194304 4832229 140734144827248 140734144824472 4320698 0 0 1 0 0 0 0 17 1 0 0 8 0 0 6932488 6936608 29388800 140734144831959 140734144832039 140734144832039 140734144835533 0
/proc/28064/statm: 671533 665704 576 156 0 665175 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 2686132 KiB
Current children cumulated memory: 2662816 KiB
[startup+51.1087 s]
/proc/loadavg: 2.00 2.04 2.05 3/181 28066
/proc/meminfo: memFree=28178496/32770624 swapFree=67108860/67108860
[pid=28064] ppid=28061 vsize=2716096 memory=2692784 CPUtime=51 cores=1,3,5,7
/proc/28064/stat : 28064 (miniBTD) R 28061 28064 17093 0 -1 4202496 713557 0 0 0 5012 88 0 0 20 0 1 0 63631704 2781282304 673196 18446744073709551615 4194304 4832229 140734144827248 140734144824472 4321380 0 0 1 0 0 0 0 17 1 0 0 8 0 0 6932488 6936608 29388800 140734144831959 140734144832039 140734144832039 140734144835533 0
/proc/28064/statm: 679024 673196 576 156 0 672666 0
Current children cumulated CPU time: 51 s
Current children cumulated vsize: 2716096 KiB
Current children cumulated memory: 2692784 KiB
[startup+102.3 s]
/proc/loadavg: 2.05 2.05 2.05 3/184 28082
/proc/meminfo: memFree=28173660/32770624 swapFree=67108860/67108860
[pid=28064] ppid=28061 vsize=2716096 memory=2692784 CPUtime=102.19 cores=1,3,5,7
/proc/28064/stat : 28064 (miniBTD) R 28061 28064 17093 0 -1 4202496 713589 0 0 0 10130 89 0 0 20 0 1 0 63631704 2781282304 673196 18446744073709551615 4194304 4832229 140734144827248 140734144824472 4320712 0 0 1 0 0 0 0 17 1 0 0 8 0 0 6932488 6936608 29388800 140734144831959 140734144832039 140734144832039 140734144835533 0
/proc/28064/statm: 679024 673196 576 156 0 672666 0
Current children cumulated CPU time: 102.19 s
Current children cumulated vsize: 2716096 KiB
Current children cumulated memory: 2692784 KiB
[startup+162.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/184 28084
/proc/meminfo: memFree=28173572/32770624 swapFree=67108860/67108860
[pid=28064] ppid=28061 vsize=2716096 memory=2692920 CPUtime=162.19 cores=1,3,5,7
/proc/28064/stat : 28064 (miniBTD) R 28061 28064 17093 0 -1 4202496 713690 0 0 0 16128 91 0 0 20 0 1 0 63631704 2781282304 673230 18446744073709551615 4194304 4832229 140734144827248 140734144824472 4321380 0 0 1 0 0 0 0 17 1 0 0 8 0 0 6932488 6936608 29388800 140734144831959 140734144832039 140734144832039 140734144835533 0
/proc/28064/statm: 679024 673230 576 156 0 672666 0
Current children cumulated CPU time: 162.19 s
Current children cumulated vsize: 2716096 KiB
Current children cumulated memory: 2692920 KiB
[startup+222.3 s]
/proc/loadavg: 2.05 2.05 2.05 3/181 28086
/proc/meminfo: memFree=28177948/32770624 swapFree=67108860/67108860
[pid=28064] ppid=28061 vsize=2716228 memory=2692932 CPUtime=222.18 cores=1,3,5,7
/proc/28064/stat : 28064 (miniBTD) R 28061 28064 17093 0 -1 4202496 713772 0 0 0 22126 92 0 0 20 0 1 0 63631704 2781417472 673233 18446744073709551615 4194304 4832229 140734144827248 140734144824472 4320853 0 0 1 0 0 0 0 17 1 0 0 8 0 0 6932488 6936608 29388800 140734144831959 140734144832039 140734144832039 140734144835533 0
/proc/28064/statm: 679057 673233 576 156 0 672699 0
Current children cumulated CPU time: 222.18 s
Current children cumulated vsize: 2716228 KiB
Current children cumulated memory: 2692932 KiB
[startup+282.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/181 28088
/proc/meminfo: memFree=28177676/32770624 swapFree=67108860/67108860
[pid=28064] ppid=28061 vsize=2716228 memory=2692952 CPUtime=282.18 cores=1,3,5,7
/proc/28064/stat : 28064 (miniBTD) R 28061 28064 17093 0 -1 4202496 713853 0 0 0 28125 93 0 0 20 0 1 0 63631704 2781417472 673238 18446744073709551615 4194304 4832229 140734144827248 140734144824472 4320644 0 0 1 0 0 0 0 17 1 0 0 8 0 0 6932488 6936608 29388800 140734144831959 140734144832039 140734144832039 140734144835533 0
/proc/28064/statm: 679057 673238 576 156 0 672699 0
Current children cumulated CPU time: 282.18 s
Current children cumulated vsize: 2716228 KiB
Current children cumulated memory: 2692952 KiB
[startup+342.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 28090
/proc/meminfo: memFree=28177812/32770624 swapFree=67108860/67108860
[pid=28064] ppid=28061 vsize=2716492 memory=2693320 CPUtime=342.17 cores=1,3,5,7
/proc/28064/stat : 28064 (miniBTD) R 28061 28064 17093 0 -1 4202496 714055 0 0 0 34123 94 0 0 20 0 1 0 63631704 2781687808 673330 18446744073709551615 4194304 4832229 140734144827248 140734144824472 4320743 0 0 1 0 0 0 0 17 1 0 0 8 0 0 6932488 6936608 29388800 140734144831959 140734144832039 140734144832039 140734144835533 0
/proc/28064/statm: 679123 673330 576 156 0 672765 0
Current children cumulated CPU time: 342.17 s
Current children cumulated vsize: 2716492 KiB
Current children cumulated memory: 2693320 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/181 28092
/proc/meminfo: memFree=28177300/32770624 swapFree=67108860/67108860
[pid=28064] ppid=28061 vsize=2716624 memory=2693340 CPUtime=402.17 cores=1,3,5,7
/proc/28064/stat : 28064 (miniBTD) R 28061 28064 17093 0 -1 4202496 714139 0 0 0 40122 95 0 0 20 0 1 0 63631704 2781822976 673335 18446744073709551615 4194304 4832229 140734144827248 140734144824472 4320845 0 0 1 0 0 0 0 17 1 0 0 8 0 0 6932488 6936608 29388800 140734144831959 140734144832039 140734144832039 140734144835533 0
/proc/28064/statm: 679156 673335 576 156 0 672798 0
Current children cumulated CPU time: 402.17 s
Current children cumulated vsize: 2716624 KiB
Current children cumulated memory: 2693340 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 28094
/proc/meminfo: memFree=28177676/32770624 swapFree=67108860/67108860
[pid=28064] ppid=28061 vsize=2716624 memory=2693356 CPUtime=462.17 cores=1,3,5,7
/proc/28064/stat : 28064 (miniBTD) R 28061 28064 17093 0 -1 4202496 714213 0 0 0 46121 96 0 0 20 0 1 0 63631704 2781822976 673339 18446744073709551615 4194304 4832229 140734144827248 140734144824472 4320821 0 0 1 0 0 0 0 17 1 0 0 8 0 0 6932488 6936608 29388800 140734144831959 140734144832039 140734144832039 140734144835533 0
/proc/28064/statm: 679156 673339 576 156 0 672798 0
Current children cumulated CPU time: 462.17 s
Current children cumulated vsize: 2716624 KiB
Current children cumulated memory: 2693356 KiB
################
# More data... #
################
/proc/28064/statm: 679486 673687 576 156 0 673128 0
Current children cumulated CPU time: 1662.12 s
Current children cumulated vsize: 2717944 KiB
Current children cumulated memory: 2694748 KiB
[startup+1722.3 s]
/proc/loadavg: 1.03 1.51 1.83 2/174 28237
/proc/meminfo: memFree=28895208/32770624 swapFree=67108860/67108860
[pid=28064] ppid=28061 vsize=2718604 memory=2695316 CPUtime=1722.12 cores=1,3,5,7
/proc/28064/stat : 28064 (miniBTD) R 28061 28064 17093 0 -1 4202496 716889 0 0 0 172108 104 0 0 20 0 1 0 63631704 2783850496 673829 18446744073709551615 4194304 4832229 140734144827248 140734144824472 4320845 0 0 1 0 0 0 0 17 1 0 0 8 0 0 6932488 6936608 29388800 140734144831959 140734144832039 140734144832039 140734144835533 0
/proc/28064/statm: 679651 673829 576 156 0 673293 0
Current children cumulated CPU time: 1722.12 s
Current children cumulated vsize: 2718604 KiB
Current children cumulated memory: 2695316 KiB
[startup+1782.3 s]
/proc/loadavg: 1.01 1.41 1.78 2/174 28239
/proc/meminfo: memFree=28895584/32770624 swapFree=67108860/67108860
[pid=28064] ppid=28061 vsize=2718604 memory=2695356 CPUtime=1782.12 cores=1,3,5,7
/proc/28064/stat : 28064 (miniBTD) R 28061 28064 17093 0 -1 4202496 716986 0 0 0 178108 104 0 0 20 0 1 0 63631704 2783850496 673839 18446744073709551615 4194304 4832229 140734144827248 140734144824472 4320712 0 0 1 0 0 0 0 17 1 0 0 8 0 0 6932488 6936608 29388800 140734144831959 140734144832039 140734144832039 140734144835533 0
/proc/28064/statm: 679651 673839 576 156 0 673293 0
Current children cumulated CPU time: 1782.12 s
Current children cumulated vsize: 2718604 KiB
Current children cumulated memory: 2695356 KiB
[startup+1842.3 s]
/proc/loadavg: 1.00 1.34 1.73 2/174 28241
/proc/meminfo: memFree=28896032/32770624 swapFree=67108860/67108860
[pid=28064] ppid=28061 vsize=2718604 memory=2695368 CPUtime=1842.12 cores=1,3,5,7
/proc/28064/stat : 28064 (miniBTD) R 28061 28064 17093 0 -1 4202496 717081 0 0 0 184108 104 0 0 20 0 1 0 63631704 2783850496 673842 18446744073709551615 4194304 4832229 140734144827248 140734144824472 4320767 0 0 1 0 0 0 0 17 1 0 0 8 0 0 6932488 6936608 29388800 140734144831959 140734144832039 140734144832039 140734144835533 0
/proc/28064/statm: 679651 673842 576 156 0 673293 0
Current children cumulated CPU time: 1842.12 s
Current children cumulated vsize: 2718604 KiB
Current children cumulated memory: 2695368 KiB
[startup+1902.3 s]
/proc/loadavg: 1.00 1.28 1.69 2/177 28257
/proc/meminfo: memFree=28891772/32770624 swapFree=67108860/67108860
[pid=28064] ppid=28061 vsize=2718604 memory=2695380 CPUtime=1902.11 cores=1,3,5,7
/proc/28064/stat : 28064 (miniBTD) R 28061 28064 17093 0 -1 4202496 717213 0 0 0 190107 104 0 0 20 0 1 0 63631704 2783850496 673845 18446744073709551615 4194304 4832229 140734144827248 140734144824472 4321228 0 0 1 0 0 0 0 17 1 0 0 8 0 0 6932488 6936608 29388800 140734144831959 140734144832039 140734144832039 140734144835533 0
/proc/28064/statm: 679651 673845 576 156 0 673293 0
Current children cumulated CPU time: 1902.11 s
Current children cumulated vsize: 2718604 KiB
Current children cumulated memory: 2695380 KiB
[startup+1962.3 s]
/proc/loadavg: 1.00 1.23 1.64 2/177 28259
/proc/meminfo: memFree=28892128/32770624 swapFree=67108860/67108860
[pid=28064] ppid=28061 vsize=2718604 memory=2695416 CPUtime=1962.11 cores=1,3,5,7
/proc/28064/stat : 28064 (miniBTD) R 28061 28064 17093 0 -1 4202496 717298 0 0 0 196107 104 0 0 20 0 1 0 63631704 2783850496 673854 18446744073709551615 4194304 4832229 140734144827248 140734144824472 4320715 0 0 1 0 0 0 0 17 1 0 0 8 0 0 6932488 6936608 29388800 140734144831959 140734144832039 140734144832039 140734144835533 0
/proc/28064/statm: 679651 673854 576 156 0 673293 0
Current children cumulated CPU time: 1962.11 s
Current children cumulated vsize: 2718604 KiB
Current children cumulated memory: 2695416 KiB
[startup+2022.3 s]
/proc/loadavg: 1.00 1.18 1.60 2/174 28261
/proc/meminfo: memFree=28895552/32770624 swapFree=67108860/67108860
[pid=28064] ppid=28061 vsize=2718604 memory=2695432 CPUtime=2022.11 cores=1,3,5,7
/proc/28064/stat : 28064 (miniBTD) R 28061 28064 17093 0 -1 4202496 717392 0 0 0 202107 104 0 0 20 0 1 0 63631704 2783850496 673858 18446744073709551615 4194304 4832229 140734144827248 140734144824472 4320640 0 0 1 0 0 0 0 17 1 0 0 8 0 0 6932488 6936608 29388800 140734144831959 140734144832039 140734144832039 140734144835533 0
/proc/28064/statm: 679651 673858 576 156 0 673293 0
Current children cumulated CPU time: 2022.11 s
Current children cumulated vsize: 2718604 KiB
Current children cumulated memory: 2695432 KiB
[startup+2082.3 s]
/proc/loadavg: 1.00 1.15 1.57 2/174 28263
/proc/meminfo: memFree=28895800/32770624 swapFree=67108860/67108860
[pid=28064] ppid=28061 vsize=2718736 memory=2695456 CPUtime=2082.11 cores=1,3,5,7
/proc/28064/stat : 28064 (miniBTD) R 28061 28064 17093 0 -1 4202496 717481 0 0 0 208107 104 0 0 20 0 1 0 63631704 2783985664 673864 18446744073709551615 4194304 4832229 140734144827248 140734144824472 4321228 0 0 1 0 0 0 0 17 1 0 0 8 0 0 6932488 6936608 29388800 140734144831959 140734144832039 140734144832039 140734144835533 0
/proc/28064/statm: 679684 673864 576 156 0 673326 0
Current children cumulated CPU time: 2082.11 s
Current children cumulated vsize: 2718736 KiB
Current children cumulated memory: 2695456 KiB
[startup+2142.3 s]
/proc/loadavg: 1.00 1.12 1.53 2/174 28265
/proc/meminfo: memFree=28895344/32770624 swapFree=67108860/67108860
[pid=28064] ppid=28061 vsize=2719264 memory=2696040 CPUtime=2142.1 cores=1,3,5,7
/proc/28064/stat : 28064 (miniBTD) R 28061 28064 17093 0 -1 4202496 717722 0 0 0 214106 104 0 0 20 0 1 0 63631704 2784526336 674010 18446744073709551615 4194304 4832229 140734144827248 140734144824472 4320767 0 0 1 0 0 0 0 17 1 0 0 8 0 0 6932488 6936608 29388800 140734144831959 140734144832039 140734144832039 140734144835533 0
/proc/28064/statm: 679816 674010 576 156 0 673458 0
Current children cumulated CPU time: 2142.1 s
Current children cumulated vsize: 2719264 KiB
Current children cumulated memory: 2696040 KiB
[startup+2202.3 s]
/proc/loadavg: 1.00 1.10 1.50 2/174 28267
/proc/meminfo: memFree=28895592/32770624 swapFree=67108860/67108860
[pid=28064] ppid=28061 vsize=2719264 memory=2696064 CPUtime=2202.1 cores=1,3,5,7
/proc/28064/stat : 28064 (miniBTD) R 28061 28064 17093 0 -1 4202496 717817 0 0 0 220106 104 0 0 20 0 1 0 63631704 2784526336 674016 18446744073709551615 4194304 4832229 140734144827248 140734144824472 4320832 0 0 1 0 0 0 0 17 1 0 0 8 0 0 6932488 6936608 29388800 140734144831959 140734144832039 140734144832039 140734144835533 0
/proc/28064/statm: 679816 674016 576 156 0 673458 0
Current children cumulated CPU time: 2202.1 s
Current children cumulated vsize: 2719264 KiB
Current children cumulated memory: 2696064 KiB
[startup+2262.3 s]
/proc/loadavg: 1.00 1.08 1.47 2/174 28269
/proc/meminfo: memFree=28895852/32770624 swapFree=67108860/67108860
[pid=28064] ppid=28061 vsize=2719264 memory=2696072 CPUtime=2262.1 cores=1,3,5,7
/proc/28064/stat : 28064 (miniBTD) R 28061 28064 17093 0 -1 4202496 717911 0 0 0 226106 104 0 0 20 0 1 0 63631704 2784526336 674018 18446744073709551615 4194304 4832229 140734144827248 140734144824472 4320715 0 0 1 0 0 0 0 17 1 0 0 8 0 0 6932488 6936608 29388800 140734144831959 140734144832039 140734144832039 140734144835533 0
/proc/28064/statm: 679816 674018 576 156 0 673458 0
Current children cumulated CPU time: 2262.1 s
Current children cumulated vsize: 2719264 KiB
Current children cumulated memory: 2696072 KiB
[startup+2322.3 s]
/proc/loadavg: 1.00 1.07 1.44 2/174 28271
/proc/meminfo: memFree=28896224/32770624 swapFree=67108860/67108860
[pid=28064] ppid=28061 vsize=2719396 memory=2696108 CPUtime=2322.1 cores=1,3,5,7
/proc/28064/stat : 28064 (miniBTD) R 28061 28064 17093 0 -1 4202496 718041 0 0 0 232106 104 0 0 20 0 1 0 63631704 2784661504 674027 18446744073709551615 4194304 4832229 140734144827248 140734144824472 4320644 0 0 1 0 0 0 0 17 1 0 0 8 0 0 6932488 6936608 29388800 140734144831959 140734144832039 140734144832039 140734144835533 0
/proc/28064/statm: 679849 674027 576 156 0 673491 0
Current children cumulated CPU time: 2322.1 s
Current children cumulated vsize: 2719396 KiB
Current children cumulated memory: 2696108 KiB
[startup+2382.3 s]
/proc/loadavg: 1.00 1.06 1.41 2/174 28273
/proc/meminfo: memFree=28895864/32770624 swapFree=67108860/67108860
[pid=28064] ppid=28061 vsize=2719660 memory=2696256 CPUtime=2382.09 cores=1,3,5,7
/proc/28064/stat : 28064 (miniBTD) R 28061 28064 17093 0 -1 4202496 718202 0 0 0 238105 104 0 0 20 0 1 0 63631704 2784931840 674064 18446744073709551615 4194304 4832229 140734144827248 140734144824472 4320728 0 0 1 0 0 0 0 17 1 0 0 8 0 0 6932488 6936608 29388800 140734144831959 140734144832039 140734144832039 140734144835533 0
/proc/28064/statm: 679915 674064 576 156 0 673557 0
Current children cumulated CPU time: 2382.09 s
Current children cumulated vsize: 2719660 KiB
Current children cumulated memory: 2696256 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.3 s]
/proc/loadavg: 1.00 1.05 1.40 2/174 28273
/proc/meminfo: memFree=28895880/32770624 swapFree=67108860/67108860
[pid=28064] ppid=28061 vsize=2719660 memory=2696408 CPUtime=2400.09 cores=1,3,5,7
/proc/28064/stat : 28064 (miniBTD) R 28061 28064 17093 0 -1 4202496 718234 0 0 0 239905 104 0 0 20 0 1 0 63631704 2784931840 674102 18446744073709551615 4194304 4832229 140734144827248 140734144824472 4320715 0 0 1 0 0 0 0 17 1 0 0 8 0 0 6932488 6936608 29388800 140734144831959 140734144832039 140734144832039 140734144835533 0
/proc/28064/statm: 679915 674102 576 156 0 673557 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 2719660 KiB
Current children cumulated memory: 2696408 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.31 s]
# the end of solver process 28064 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.06 s, system=1.05796 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.3 s]
/proc/loadavg: 1.00 1.05 1.40 2/174 28273
/proc/meminfo: memFree=28895880/32770624 swapFree=67108860/67108860
[pid=28064] ppid=28061 vsize=2719660 memory=2696408 CPUtime=2400.09 cores=1,3,5,7
/proc/28064/stat : 28064 (miniBTD) R 28061 28064 17093 0 -1 4202496 718234 0 0 0 239905 104 0 0 20 0 1 0 63631704 2784931840 674102 18446744073709551615 4194304 4832229 140734144827248 140734144824472 4320715 0 0 1 0 0 0 0 17 1 0 0 8 0 0 6932488 6936608 29388800 140734144831959 140734144832039 140734144832039 140734144835533 0
/proc/28064/statm: 679915 674102 576 156 0 673557 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 2719660 KiB
Current children cumulated memory: 2696408 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2400.31
CPU time (s): 2400.12
CPU user time (s): 2399.06
CPU system time (s): 1.05796
CPU usage (%): 99.992
Max. virtual memory (cumulated for all children) (KiB): 2719660
Max. memory (cumulated for all children) (KiB): 2696408
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.06
system time used= 1.05796
maximum resident set size= 2696416
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 718234
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= 19
involuntary context switches= 1094
# summary of solver processes directly reported to runsolver:
# pid: 28064
# total CPU time (s): 2400.12
# total CPU user time (s): 2399.06
# total CPU system time (s): 1.05796
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.69408 second user time and 14.931 second system time
The end