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 (11507 MiB free)
memory of node 1: 16384 MiB (15057 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4300855-1532849868/watcher-4300855-1532849868 -o /tmp/evaluation-result-4300855-1532849868/solver-4300855-1532849868 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1532844739-15066 --watchdog 2580 miniBTD 12 2520 HOME/instance-4300855-1532849868.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=15707, runsolver pid=15704
[startup+0.100111 s]*
/proc/loadavg: 1.93 1.98 1.97 3/190 15708
/proc/meminfo: memFree=27179144/32770624 swapFree=67108860/67108860
[pid=15707] ppid=15704 vsize=50268 memory=25708 CPUtime=0.09 cores=1,3,5,7
/proc/15707/stat : 15707 (miniBTD) R 15704 15707 15034 0 -1 4202496 7017 0 0 0 9 0 0 0 20 0 1 0 102549976 51474432 6427 33554432000 4194304 5224696 140731044610112 140731044607112 139964241177573 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7325440 7329888 29372416 140731044611252 140731044611335 140731044611335 140731044614093 0
/proc/15707/statm: 12567 6427 573 252 0 6113 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 50268 KiB
Current children cumulated memory: 25708 KiB
[startup+0.209923 s]*
/proc/loadavg: 1.93 1.98 1.97 3/190 15708
/proc/meminfo: memFree=27178028/32770624 swapFree=67108860/67108860
[pid=15707] ppid=15704 vsize=51200 memory=26500 CPUtime=0.2 cores=1,3,5,7
/proc/15707/stat : 15707 (miniBTD) R 15704 15707 15034 0 -1 4202496 7261 0 0 0 20 0 0 0 20 0 1 0 102549976 52428800 6625 33554432000 4194304 5224696 140731044610112 140731044607112 139964242103744 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7325440 7329888 29372416 140731044611252 140731044611335 140731044611335 140731044614093 0
/proc/15707/statm: 12800 6625 592 252 0 6346 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 51200 KiB
Current children cumulated memory: 26500 KiB
[startup+0.30924 s]*
/proc/loadavg: 1.93 1.98 1.97 3/190 15708
/proc/meminfo: memFree=27178028/32770624 swapFree=67108860/67108860
[pid=15707] ppid=15704 vsize=51332 memory=26764 CPUtime=0.3 cores=1,3,5,7
/proc/15707/stat : 15707 (miniBTD) R 15704 15707 15034 0 -1 4202496 7318 0 0 0 30 0 0 0 20 0 1 0 102549976 52563968 6691 33554432000 4194304 5224696 140731044610112 140731044607112 139964242010676 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7325440 7329888 29372416 140731044611252 140731044611335 140731044611335 140731044614093 0
/proc/15707/statm: 12833 6691 592 252 0 6379 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 51332 KiB
Current children cumulated memory: 26764 KiB
[startup+0.700225 s]
/proc/loadavg: 1.93 1.98 1.97 3/190 15708
/proc/meminfo: memFree=27177656/32770624 swapFree=67108860/67108860
[pid=15707] ppid=15704 vsize=51992 memory=27292 CPUtime=0.68 cores=1,3,5,7
/proc/15707/stat : 15707 (miniBTD) R 15704 15707 15034 0 -1 4202496 7467 0 0 0 68 0 0 0 20 0 1 0 102549976 53239808 6823 33554432000 4194304 5224696 140731044610112 140731044604168 4224512 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7325440 7329888 29372416 140731044611252 140731044611335 140731044611335 140731044614093 0
/proc/15707/statm: 12998 6823 592 252 0 6544 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 51992 KiB
Current children cumulated memory: 27292 KiB
[startup+1.50023 s]
/proc/loadavg: 1.93 1.98 1.97 3/190 15708
/proc/meminfo: memFree=27176708/32770624 swapFree=67108860/67108860
[pid=15707] ppid=15704 vsize=52784 memory=28084 CPUtime=1.48 cores=1,3,5,7
/proc/15707/stat : 15707 (miniBTD) R 15704 15707 15034 0 -1 4202496 7659 0 0 0 148 0 0 0 20 0 1 0 102549976 54050816 7021 33554432000 4194304 5224696 140731044610112 140731044603832 4224326 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7325440 7329888 29372416 140731044611252 140731044611335 140731044611335 140731044614093 0
/proc/15707/statm: 13196 7021 592 252 0 6742 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 52784 KiB
Current children cumulated memory: 28084 KiB
[startup+3.10942 s]
/proc/loadavg: 1.93 1.98 1.97 3/190 15708
/proc/meminfo: memFree=27175228/32770624 swapFree=67108860/67108860
[pid=15707] ppid=15704 vsize=53840 memory=29312 CPUtime=3.09 cores=1,3,5,7
/proc/15707/stat : 15707 (miniBTD) R 15704 15707 15034 0 -1 4202496 11153 0 0 0 309 0 0 0 20 0 1 0 102549976 55132160 7328 33554432000 4194304 5224696 140731044610112 140731044603832 4224536 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7325440 7329888 29372416 140731044611252 140731044611335 140731044611335 140731044614093 0
/proc/15707/statm: 13460 7328 592 252 0 7006 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 53840 KiB
Current children cumulated memory: 29312 KiB
[startup+6.30022 s]
/proc/loadavg: 2.02 2.00 1.98 3/190 15708
/proc/meminfo: memFree=27172632/32770624 swapFree=67108860/67108860
[pid=15707] ppid=15704 vsize=55556 memory=31048 CPUtime=6.29 cores=1,3,5,7
/proc/15707/stat : 15707 (miniBTD) R 15704 15707 15034 0 -1 4202496 17005 0 0 0 628 1 0 0 20 0 1 0 102549976 56889344 7762 33554432000 4194304 5224696 140731044610112 140731044604360 139964242101811 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7325440 7329888 29372416 140731044611252 140731044611335 140731044611335 140731044614093 0
/proc/15707/statm: 13889 7762 592 252 0 7435 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 55556 KiB
Current children cumulated memory: 31048 KiB
[startup+12.7002 s]
/proc/loadavg: 2.02 2.00 1.98 3/190 15708
/proc/meminfo: memFree=27165812/32770624 swapFree=67108860/67108860
[pid=15707] ppid=15704 vsize=63080 memory=38484 CPUtime=12.69 cores=1,3,5,7
/proc/15707/stat : 15707 (miniBTD) R 15704 15707 15034 0 -1 4202496 22886 0 0 0 1267 2 0 0 20 0 1 0 102549976 64593920 9621 33554432000 4194304 5224696 140731044610112 140731044603832 4224472 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7325440 7329888 29372416 140731044611252 140731044611335 140731044611335 140731044614093 0
/proc/15707/statm: 15770 9621 592 252 0 9316 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 63080 KiB
Current children cumulated memory: 38484 KiB
[startup+25.5002 s]
/proc/loadavg: 2.01 2.00 1.98 3/190 15708
/proc/meminfo: memFree=27155876/32770624 swapFree=67108860/67108860
[pid=15707] ppid=15704 vsize=72188 memory=47888 CPUtime=25.48 cores=1,3,5,7
/proc/15707/stat : 15707 (miniBTD) R 15704 15707 15034 0 -1 4202496 29473 0 0 0 2546 2 0 0 20 0 1 0 102549976 73920512 11972 33554432000 4194304 5224696 140731044610112 140731044604136 4224512 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7325440 7329888 29372416 140731044611252 140731044611335 140731044611335 140731044614093 0
/proc/15707/statm: 18047 11972 595 252 0 11593 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 72188 KiB
Current children cumulated memory: 47888 KiB
[startup+51.1099 s]
/proc/loadavg: 2.01 2.00 1.98 3/190 15708
/proc/meminfo: memFree=26538524/32770624 swapFree=67108860/67108860
[pid=15707] ppid=15704 vsize=740004 memory=715676 CPUtime=51.09 cores=1,3,5,7
/proc/15707/stat : 15707 (miniBTD) R 15704 15707 15034 0 -1 4202496 197957 0 0 0 5086 23 0 0 20 0 1 0 102549976 757764096 178919 33554432000 4194304 5224696 140731044610112 140731044608840 139964241177573 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7325440 7329888 29372416 140731044611252 140731044611335 140731044611335 140731044614093 0
/proc/15707/statm: 185001 178919 627 252 0 178547 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 740004 KiB
Current children cumulated memory: 715676 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/190 15709
/proc/meminfo: memFree=26258892/32770624 swapFree=67108860/67108860
[pid=15707] ppid=15704 vsize=968460 memory=942904 CPUtime=102.27 cores=1,3,5,7
/proc/15707/stat : 15707 (miniBTD) R 15704 15707 15034 0 -1 4202496 257051 0 0 0 10194 33 0 0 20 0 1 0 102549976 991703040 235726 33554432000 4194304 5224696 140731044610112 140731044609128 4634320 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7325440 7329888 29372416 140731044611252 140731044611335 140731044611335 140731044614093 0
/proc/15707/statm: 242115 235726 650 252 0 235661 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 968460 KiB
Current children cumulated memory: 942904 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/192 15719
/proc/meminfo: memFree=26255896/32770624 swapFree=67108860/67108860
[pid=15707] ppid=15704 vsize=970804 memory=945416 CPUtime=162.27 cores=1,3,5,7
/proc/15707/stat : 15707 (miniBTD) R 15704 15707 15034 0 -1 4202496 258534 0 0 0 16190 37 0 0 20 0 1 0 102549976 994103296 236354 33554432000 4194304 5224696 140731044610112 140731044609128 4634320 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7325440 7329888 29372416 140731044611252 140731044611335 140731044611335 140731044614093 0
/proc/15707/statm: 242701 236354 661 252 0 236247 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 970804 KiB
Current children cumulated memory: 945416 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/192 15720
/proc/meminfo: memFree=26255760/32770624 swapFree=67108860/67108860
[pid=15707] ppid=15704 vsize=970804 memory=945476 CPUtime=222.27 cores=1,3,5,7
/proc/15707/stat : 15707 (miniBTD) R 15704 15707 15034 0 -1 4202496 259798 0 0 0 22186 41 0 0 20 0 1 0 102549976 994103296 236369 33554432000 4194304 5224696 140731044610112 140731044609128 4634382 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7325440 7329888 29372416 140731044611252 140731044611335 140731044611335 140731044614093 0
/proc/15707/statm: 242701 236369 661 252 0 236247 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 970804 KiB
Current children cumulated memory: 945476 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/192 15721
/proc/meminfo: memFree=26255752/32770624 swapFree=67108860/67108860
[pid=15707] ppid=15704 vsize=970984 memory=945608 CPUtime=282.28 cores=1,3,5,7
/proc/15707/stat : 15707 (miniBTD) R 15704 15707 15034 0 -1 4202496 261850 0 0 0 28182 46 0 0 20 0 1 0 102549976 994287616 236402 33554432000 4194304 5224696 140731044610112 140731044609128 4634320 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7325440 7329888 29372416 140731044611252 140731044611335 140731044611335 140731044614093 0
/proc/15707/statm: 242746 236402 662 252 0 236292 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 970984 KiB
Current children cumulated memory: 945608 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/192 15722
/proc/meminfo: memFree=26254648/32770624 swapFree=67108860/67108860
[pid=15707] ppid=15704 vsize=971724 memory=946308 CPUtime=342.28 cores=1,3,5,7
/proc/15707/stat : 15707 (miniBTD) R 15704 15707 15034 0 -1 4202496 263380 0 0 0 34179 49 0 0 20 0 1 0 102549976 995045376 236577 33554432000 4194304 5224696 140731044610112 140731044609128 4634421 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7325440 7329888 29372416 140731044611252 140731044611335 140731044611335 140731044614093 0
/proc/15707/statm: 242931 236577 662 252 0 236477 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 971724 KiB
Current children cumulated memory: 946308 KiB
[startup+402.3 s]
/proc/loadavg: 2.06 2.02 1.98 3/192 15723
/proc/meminfo: memFree=26253916/32770624 swapFree=67108860/67108860
[pid=15707] ppid=15704 vsize=972308 memory=946952 CPUtime=402.28 cores=1,3,5,7
/proc/15707/stat : 15707 (miniBTD) R 15704 15707 15034 0 -1 4202496 264862 0 0 0 40174 54 0 0 20 0 1 0 102549976 995643392 236738 33554432000 4194304 5224696 140731044610112 140731044609128 4634325 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7325440 7329888 29372416 140731044611252 140731044611335 140731044611335 140731044614093 0
/proc/15707/statm: 243077 236738 662 252 0 236623 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 972308 KiB
Current children cumulated memory: 946952 KiB
[startup+462.3 s]
/proc/loadavg: 2.02 2.01 1.98 3/190 15724
/proc/meminfo: memFree=26253588/32770624 swapFree=67108860/67108860
[pid=15707] ppid=15704 vsize=972484 memory=947188 CPUtime=462.29 cores=1,3,5,7
/proc/15707/stat : 15707 (miniBTD) R 15704 15707 15034 0 -1 4202496 266233 0 0 0 46171 58 0 0 20 0 1 0 102549976 995823616 236797 33554432000 4194304 5224696 140731044610112 140731044609128 4634320 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7325440 7329888 29372416 140731044611252 140731044611335 140731044611335 140731044614093 0
/proc/15707/statm: 243121 236797 662 252 0 236667 0
Current children cumulated CPU time: 462.29 s
Current children cumulated vsize: 972484 KiB
Current children cumulated memory: 947188 KiB
################
# More data... #
################
/proc/15707/statm: 245294 239270 662 252 0 238840 0
Current children cumulated CPU time: 1722.32 s
Current children cumulated vsize: 981176 KiB
Current children cumulated memory: 957080 KiB
[startup+1782.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/191 15811
/proc/meminfo: memFree=26243304/32770624 swapFree=67108860/67108860
[pid=15707] ppid=15704 vsize=981624 memory=957548 CPUtime=1782.32 cores=1,3,5,7
/proc/15707/stat : 15707 (miniBTD) R 15704 15707 15034 0 -1 4202496 294842 0 0 0 178086 146 0 0 20 0 1 0 102549976 1005182976 239387 33554432000 4194304 5224696 140731044610112 140731044609128 4634320 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7325440 7329888 29372416 140731044611252 140731044611335 140731044611335 140731044614093 0
/proc/15707/statm: 245406 239387 662 252 0 238952 0
Current children cumulated CPU time: 1782.32 s
Current children cumulated vsize: 981624 KiB
Current children cumulated memory: 957548 KiB
[startup+1842.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/191 15813
/proc/meminfo: memFree=26242752/32770624 swapFree=67108860/67108860
[pid=15707] ppid=15704 vsize=982240 memory=958148 CPUtime=1842.32 cores=1,3,5,7
/proc/15707/stat : 15707 (miniBTD) R 15704 15707 15034 0 -1 4202496 295788 0 0 0 184082 150 0 0 20 0 1 0 102549976 1005813760 239537 33554432000 4194304 5224696 140731044610112 140731044609128 4634320 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7325440 7329888 29372416 140731044611252 140731044611335 140731044611335 140731044614093 0
/proc/15707/statm: 245560 239537 662 252 0 239106 0
Current children cumulated CPU time: 1842.32 s
Current children cumulated vsize: 982240 KiB
Current children cumulated memory: 958148 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/191 15814
/proc/meminfo: memFree=26242524/32770624 swapFree=67108860/67108860
[pid=15707] ppid=15704 vsize=982240 memory=958160 CPUtime=1902.31 cores=1,3,5,7
/proc/15707/stat : 15707 (miniBTD) R 15704 15707 15034 0 -1 4202496 296567 0 0 0 190079 152 0 0 20 0 1 0 102549976 1005813760 239540 33554432000 4194304 5224696 140731044610112 140731044609128 4634389 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7325440 7329888 29372416 140731044611252 140731044611335 140731044611335 140731044614093 0
/proc/15707/statm: 245560 239540 662 252 0 239106 0
Current children cumulated CPU time: 1902.31 s
Current children cumulated vsize: 982240 KiB
Current children cumulated memory: 958160 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 15823
/proc/meminfo: memFree=26242016/32770624 swapFree=67108860/67108860
[pid=15707] ppid=15704 vsize=982404 memory=958516 CPUtime=1962.32 cores=1,3,5,7
/proc/15707/stat : 15707 (miniBTD) R 15704 15707 15034 0 -1 4202496 297486 0 0 0 196076 156 0 0 20 0 1 0 102549976 1005981696 239629 33554432000 4194304 5224696 140731044610112 140731044609128 4436750 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7325440 7329888 29372416 140731044611252 140731044611335 140731044611335 140731044614093 0
/proc/15707/statm: 245601 239629 662 252 0 239147 0
Current children cumulated CPU time: 1962.32 s
Current children cumulated vsize: 982404 KiB
Current children cumulated memory: 958516 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 15824
/proc/meminfo: memFree=26241892/32770624 swapFree=67108860/67108860
[pid=15707] ppid=15704 vsize=982572 memory=958672 CPUtime=2022.32 cores=1,3,5,7
/proc/15707/stat : 15707 (miniBTD) R 15704 15707 15034 0 -1 4202496 298243 0 0 0 202072 160 0 0 20 0 1 0 102549976 1006153728 239668 33554432000 4194304 5224696 140731044610112 140731044609128 4634320 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7325440 7329888 29372416 140731044611252 140731044611335 140731044611335 140731044614093 0
/proc/15707/statm: 245643 239668 662 252 0 239189 0
Current children cumulated CPU time: 2022.32 s
Current children cumulated vsize: 982572 KiB
Current children cumulated memory: 958672 KiB
[startup+2082.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/192 15825
/proc/meminfo: memFree=26241860/32770624 swapFree=67108860/67108860
[pid=15707] ppid=15704 vsize=982572 memory=958672 CPUtime=2082.32 cores=1,3,5,7
/proc/15707/stat : 15707 (miniBTD) R 15704 15707 15034 0 -1 4202496 298933 0 0 0 208069 163 0 0 20 0 1 0 102549976 1006153728 239668 33554432000 4194304 5224696 140731044610112 140731044609128 4634320 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7325440 7329888 29372416 140731044611252 140731044611335 140731044611335 140731044614093 0
/proc/15707/statm: 245643 239668 662 252 0 239189 0
Current children cumulated CPU time: 2082.32 s
Current children cumulated vsize: 982572 KiB
Current children cumulated memory: 958672 KiB
[startup+2142.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/191 15826
/proc/meminfo: memFree=26241632/32770624 swapFree=67108860/67108860
[pid=15707] ppid=15704 vsize=983092 memory=959124 CPUtime=2142.33 cores=1,3,5,7
/proc/15707/stat : 15707 (miniBTD) R 15704 15707 15034 0 -1 4202496 299795 0 0 0 214066 167 0 0 20 0 1 0 102549976 1006686208 239781 33554432000 4194304 5224696 140731044610112 140731044609128 4634320 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7325440 7329888 29372416 140731044611252 140731044611335 140731044611335 140731044614093 0
/proc/15707/statm: 245773 239781 662 252 0 239319 0
Current children cumulated CPU time: 2142.33 s
Current children cumulated vsize: 983092 KiB
Current children cumulated memory: 959124 KiB
[startup+2202.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/191 15827
/proc/meminfo: memFree=26240748/32770624 swapFree=67108860/67108860
[pid=15707] ppid=15704 vsize=983628 memory=959632 CPUtime=2202.33 cores=1,3,5,7
/proc/15707/stat : 15707 (miniBTD) R 15704 15707 15034 0 -1 4202496 300738 0 0 0 220062 171 0 0 20 0 1 0 102549976 1007235072 239908 33554432000 4194304 5224696 140731044610112 140731044609128 4634320 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7325440 7329888 29372416 140731044611252 140731044611335 140731044611335 140731044614093 0
/proc/15707/statm: 245907 239908 662 252 0 239453 0
Current children cumulated CPU time: 2202.33 s
Current children cumulated vsize: 983628 KiB
Current children cumulated memory: 959632 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 15828
/proc/meminfo: memFree=26240140/32770624 swapFree=67108860/67108860
[pid=15707] ppid=15704 vsize=983628 memory=959656 CPUtime=2262.33 cores=1,3,5,7
/proc/15707/stat : 15707 (miniBTD) R 15704 15707 15034 0 -1 4202496 301503 0 0 0 226059 174 0 0 20 0 1 0 102549976 1007235072 239914 33554432000 4194304 5224696 140731044610112 140731044609128 4634320 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7325440 7329888 29372416 140731044611252 140731044611335 140731044611335 140731044614093 0
/proc/15707/statm: 245907 239914 662 252 0 239453 0
Current children cumulated CPU time: 2262.33 s
Current children cumulated vsize: 983628 KiB
Current children cumulated memory: 959656 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 15829
/proc/meminfo: memFree=26239900/32770624 swapFree=67108860/67108860
[pid=15707] ppid=15704 vsize=983984 memory=960116 CPUtime=2322.33 cores=1,3,5,7
/proc/15707/stat : 15707 (miniBTD) R 15704 15707 15034 0 -1 4202496 302481 0 0 0 232055 178 0 0 20 0 1 0 102549976 1007599616 240029 33554432000 4194304 5224696 140731044610112 140731044609128 4634320 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7325440 7329888 29372416 140731044611252 140731044611335 140731044611335 140731044614093 0
/proc/15707/statm: 245996 240029 662 252 0 239542 0
Current children cumulated CPU time: 2322.33 s
Current children cumulated vsize: 983984 KiB
Current children cumulated memory: 960116 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 15831
/proc/meminfo: memFree=26240128/32770624 swapFree=67108860/67108860
[pid=15707] ppid=15704 vsize=983984 memory=960116 CPUtime=2382.33 cores=1,3,5,7
/proc/15707/stat : 15707 (miniBTD) R 15704 15707 15034 0 -1 4202496 303274 0 0 0 238051 182 0 0 20 0 1 0 102549976 1007599616 240029 33554432000 4194304 5224696 140731044610112 140731044609128 4634320 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7325440 7329888 29372416 140731044611252 140731044611335 140731044611335 140731044614093 0
/proc/15707/statm: 245996 240029 662 252 0 239542 0
Current children cumulated CPU time: 2382.33 s
Current children cumulated vsize: 983984 KiB
Current children cumulated memory: 960116 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 15896
/proc/meminfo: memFree=26247088/32770624 swapFree=67108860/67108860
[pid=15707] ppid=15704 vsize=984184 memory=960288 CPUtime=2442.33 cores=1,3,5,7
/proc/15707/stat : 15707 (miniBTD) R 15704 15707 15034 0 -1 4202496 304127 0 0 0 244048 185 0 0 20 0 1 0 102549976 1007804416 240072 33554432000 4194304 5224696 140731044610112 140731044609128 4634382 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7325440 7329888 29372416 140731044611252 140731044611335 140731044611335 140731044614093 0
/proc/15707/statm: 246046 240072 662 252 0 239592 0
Current children cumulated CPU time: 2442.33 s
Current children cumulated vsize: 984184 KiB
Current children cumulated memory: 960288 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 15897
/proc/meminfo: memFree=26246252/32770624 swapFree=67108860/67108860
[pid=15707] ppid=15704 vsize=984352 memory=960448 CPUtime=2502.34 cores=1,3,5,7
/proc/15707/stat : 15707 (miniBTD) R 15704 15707 15034 0 -1 4202496 305026 0 0 0 250045 189 0 0 20 0 1 0 102549976 1007976448 240112 33554432000 4194304 5224696 140731044610112 140731044609128 4634389 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7325440 7329888 29372416 140731044611252 140731044611335 140731044611335 140731044614093 0
/proc/15707/statm: 246088 240112 662 252 0 239634 0
Current children cumulated CPU time: 2502.34 s
Current children cumulated vsize: 984352 KiB
Current children cumulated memory: 960448 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/192 15897
/proc/meminfo: memFree=26246380/32770624 swapFree=67108860/67108860
[pid=15707] ppid=15704 vsize=984352 memory=960448 CPUtime=2520.04 cores=1,3,5,7
/proc/15707/stat : 15707 (miniBTD) R 15704 15707 15034 0 -1 4202496 305064 0 0 0 251815 189 0 0 20 0 1 0 102549976 1007976448 240112 33554432000 4194304 5224696 140731044610112 140731044609128 139964241441148 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7325440 7329888 29372416 140731044611252 140731044611335 140731044611335 140731044614093 0
/proc/15707/statm: 246088 240112 662 252 0 239634 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 984352 KiB
Current children cumulated memory: 960448 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 15707 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.15 s, system=1.90305 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): 2520.01
CPU time (s): 2520.05
CPU user time (s): 2518.15
CPU system time (s): 1.90305
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 984352
Max. memory (cumulated for all children) (KiB): 960448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.15
system time used= 1.90305
maximum resident set size= 960448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 305064
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= 36
involuntary context switches= 867
# summary of solver processes directly reported to runsolver:
# pid: 15707
# total CPU time (s): 2520.05
# total CPU user time (s): 2518.15
# total CPU system time (s): 1.90305
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.23724 second user time and 22.1859 second system time
The end