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 (15415 MiB free)
memory of node 1: 16384 MiB (15644 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4264807-1502597133/watcher-4264807-1502597133 -o /tmp/evaluation-result-4264807-1502597133/solver-4264807-1502597133 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node115-1502596274-28680 --watchdog 2560 miniBTD 2400 HOME/instance-4264807-1502597133.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=28772, runsolver pid=28769
[startup+0.100092 s]*
/proc/loadavg: 1.00 1.23 1.65 3/189 28773
/proc/meminfo: memFree=31804276/32770624 swapFree=67108860/67108860
[pid=28772] ppid=28769 vsize=26400 memory=2984 CPUtime=0.1 cores=0,2,4,6
/proc/28772/stat : 28772 (miniBTD) R 28769 28772 23976 0 -1 4202496 964 0 0 0 10 0 0 0 20 0 1 0 92801100 27033600 746 33554432000 4194304 4832229 140726713546448 140726713543400 4338997 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 6932488 6936608 21446656 140726713550029 140726713550109 140726713550109 140726713552845 0
/proc/28772/statm: 6600 746 556 156 0 242 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 26400 KiB
Current children cumulated memory: 2984 KiB
[startup+0.209328 s]*
/proc/loadavg: 1.00 1.23 1.65 3/189 28773
/proc/meminfo: memFree=31804276/32770624 swapFree=67108860/67108860
[pid=28772] ppid=28769 vsize=26532 memory=2984 CPUtime=0.21 cores=0,2,4,6
/proc/28772/stat : 28772 (miniBTD) R 28769 28772 23976 0 -1 4202496 966 0 0 0 21 0 0 0 20 0 1 0 92801100 27168768 746 33554432000 4194304 4832229 140726713546448 140726713543400 139841434607996 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 6932488 6936608 21446656 140726713550029 140726713550109 140726713550109 140726713552845 0
/proc/28772/statm: 6633 746 556 156 0 275 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 26532 KiB
Current children cumulated memory: 2984 KiB
[startup+0.309213 s]*
/proc/loadavg: 1.00 1.23 1.65 3/189 28773
/proc/meminfo: memFree=31804276/32770624 swapFree=67108860/67108860
[pid=28772] ppid=28769 vsize=26532 memory=2984 CPUtime=0.31 cores=0,2,4,6
/proc/28772/stat : 28772 (miniBTD) R 28769 28772 23976 0 -1 4202496 968 0 0 0 31 0 0 0 20 0 1 0 92801100 27168768 746 33554432000 4194304 4832229 140726713546448 140726713543400 139841434607996 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 6932488 6936608 21446656 140726713550029 140726713550109 140726713550109 140726713552845 0
/proc/28772/statm: 6633 746 556 156 0 275 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 26532 KiB
Current children cumulated memory: 2984 KiB
[startup+0.70033 s]
/proc/loadavg: 1.00 1.23 1.65 3/189 28773
/proc/meminfo: memFree=31804276/32770624 swapFree=67108860/67108860
[pid=28772] ppid=28769 vsize=26532 memory=2984 CPUtime=0.69 cores=0,2,4,6
/proc/28772/stat : 28772 (miniBTD) R 28769 28772 23976 0 -1 4202496 971 0 0 0 69 0 0 0 20 0 1 0 92801100 27168768 746 33554432000 4194304 4832229 140726713546448 140726713544168 139841434607996 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 6932488 6936608 21446656 140726713550029 140726713550109 140726713550109 140726713552845 0
/proc/28772/statm: 6633 746 556 156 0 275 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 26532 KiB
Current children cumulated memory: 2984 KiB
[startup+1.50033 s]
/proc/loadavg: 1.00 1.23 1.65 3/189 28773
/proc/meminfo: memFree=31804028/32770624 swapFree=67108860/67108860
[pid=28772] ppid=28769 vsize=26532 memory=3248 CPUtime=1.49 cores=0,2,4,6
/proc/28772/stat : 28772 (miniBTD) R 28769 28772 23976 0 -1 4202496 976 0 0 0 149 0 0 0 20 0 1 0 92801100 27168768 812 33554432000 4194304 4832229 140726713546448 140726713544168 139841434607996 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 6932488 6936608 21446656 140726713550029 140726713550109 140726713550109 140726713552845 0
/proc/28772/statm: 6633 812 571 156 0 275 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 26532 KiB
Current children cumulated memory: 3248 KiB
[startup+3.10907 s]
/proc/loadavg: 1.00 1.23 1.65 3/189 28773
/proc/meminfo: memFree=31803532/32770624 swapFree=67108860/67108860
[pid=28772] ppid=28769 vsize=26532 memory=3272 CPUtime=3.09 cores=0,2,4,6
/proc/28772/stat : 28772 (miniBTD) R 28769 28772 23976 0 -1 4202496 1110 0 0 0 308 1 0 0 20 0 1 0 92801100 27168768 818 33554432000 4194304 4832229 140726713546448 140726713544168 139841434607996 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 6932488 6936608 21446656 140726713550029 140726713550109 140726713550109 140726713552845 0
/proc/28772/statm: 6633 818 571 156 0 275 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 26532 KiB
Current children cumulated memory: 3272 KiB
[startup+6.30032 s]
/proc/loadavg: 1.08 1.25 1.65 3/189 28773
/proc/meminfo: memFree=31803896/32770624 swapFree=67108860/67108860
[pid=28772] ppid=28769 vsize=26532 memory=3296 CPUtime=6.29 cores=0,2,4,6
/proc/28772/stat : 28772 (miniBTD) R 28769 28772 23976 0 -1 4202496 1252 0 0 0 625 4 0 0 20 0 1 0 92801100 27168768 824 33554432000 4194304 4832229 140726713546448 140726713544168 139841434607996 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 6932488 6936608 21446656 140726713550029 140726713550109 140726713550109 140726713552845 0
/proc/28772/statm: 6633 824 571 156 0 275 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 26532 KiB
Current children cumulated memory: 3296 KiB
[startup+12.7003 s]
/proc/loadavg: 1.16 1.26 1.65 3/189 28773
/proc/meminfo: memFree=31804020/32770624 swapFree=67108860/67108860
[pid=28772] ppid=28769 vsize=26532 memory=3320 CPUtime=12.69 cores=0,2,4,6
/proc/28772/stat : 28772 (miniBTD) R 28769 28772 23976 0 -1 4202496 1399 0 0 0 1260 9 0 0 20 0 1 0 92801100 27168768 830 33554432000 4194304 4832229 140726713546448 140726713544168 139841434607996 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 6932488 6936608 21446656 140726713550029 140726713550109 140726713550109 140726713552845 0
/proc/28772/statm: 6633 830 571 156 0 275 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 26532 KiB
Current children cumulated memory: 3320 KiB
[startup+25.5003 s]
/proc/loadavg: 1.34 1.29 1.66 3/189 28773
/proc/meminfo: memFree=31804028/32770624 swapFree=67108860/67108860
[pid=28772] ppid=28769 vsize=26664 memory=3368 CPUtime=25.49 cores=0,2,4,6
/proc/28772/stat : 28772 (miniBTD) R 28769 28772 23976 0 -1 4202496 1704 0 0 0 2530 19 0 0 20 0 1 0 92801100 27303936 842 33554432000 4194304 4832229 140726713546448 140726713544168 139841434607996 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 6932488 6936608 21446656 140726713550029 140726713550109 140726713550109 140726713552845 0
/proc/28772/statm: 6666 842 571 156 0 308 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 26664 KiB
Current children cumulated memory: 3368 KiB
[startup+51.109 s]
/proc/loadavg: 1.57 1.35 1.67 3/189 28773
/proc/meminfo: memFree=31804160/32770624 swapFree=67108860/67108860
[pid=28772] ppid=28769 vsize=26664 memory=3392 CPUtime=51.1 cores=0,2,4,6
/proc/28772/stat : 28772 (miniBTD) R 28769 28772 23976 0 -1 4202496 1872 0 0 0 5071 39 0 0 20 0 1 0 92801100 27303936 848 33554432000 4194304 4832229 140726713546448 140726713544168 139841434607996 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 6932488 6936608 21446656 140726713550029 140726713550109 140726713550109 140726713552845 0
/proc/28772/statm: 6666 848 571 156 0 308 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 26664 KiB
Current children cumulated memory: 3392 KiB
[startup+102.3 s]
/proc/loadavg: 1.81 1.45 1.69 3/189 28774
/proc/meminfo: memFree=31803300/32770624 swapFree=67108860/67108860
[pid=28772] ppid=28769 vsize=26664 memory=3408 CPUtime=102.28 cores=0,2,4,6
/proc/28772/stat : 28772 (miniBTD) R 28769 28772 23976 0 -1 4202496 2044 0 0 0 10152 76 0 0 20 0 1 0 92801100 27303936 852 33554432000 4194304 4832229 140726713546448 140726713544168 139841434607996 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 6932488 6936608 21446656 140726713550029 140726713550109 140726713550109 140726713552845 0
/proc/28772/statm: 6666 852 571 156 0 308 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 26664 KiB
Current children cumulated memory: 3408 KiB
[startup+162.3 s]
/proc/loadavg: 1.93 1.55 1.70 3/189 28775
/proc/meminfo: memFree=31803052/32770624 swapFree=67108860/67108860
[pid=28772] ppid=28769 vsize=26664 memory=3432 CPUtime=162.28 cores=0,2,4,6
/proc/28772/stat : 28772 (miniBTD) R 28769 28772 23976 0 -1 4202496 2212 0 0 0 16107 121 0 0 20 0 1 0 92801100 27303936 858 33554432000 4194304 4832229 140726713546448 140726713544168 139841434607996 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 6932488 6936608 21446656 140726713550029 140726713550109 140726713550109 140726713552845 0
/proc/28772/statm: 6666 858 571 156 0 308 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 26664 KiB
Current children cumulated memory: 3432 KiB
[startup+222.3 s]
/proc/loadavg: 1.97 1.63 1.72 3/189 28776
/proc/meminfo: memFree=31802788/32770624 swapFree=67108860/67108860
[pid=28772] ppid=28769 vsize=26664 memory=3452 CPUtime=222.27 cores=0,2,4,6
/proc/28772/stat : 28772 (miniBTD) R 28769 28772 23976 0 -1 4202496 2392 0 0 0 22058 169 0 0 20 0 1 0 92801100 27303936 863 33554432000 4194304 4832229 140726713546448 140726713544168 139841434607996 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 6932488 6936608 21446656 140726713550029 140726713550109 140726713550109 140726713552845 0
/proc/28772/statm: 6666 863 571 156 0 308 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 26664 KiB
Current children cumulated memory: 3452 KiB
[startup+282.3 s]
/proc/loadavg: 1.99 1.70 1.74 3/188 28778
/proc/meminfo: memFree=31803036/32770624 swapFree=67108860/67108860
[pid=28772] ppid=28769 vsize=26796 memory=3472 CPUtime=282.28 cores=0,2,4,6
/proc/28772/stat : 28772 (miniBTD) R 28769 28772 23976 0 -1 4202496 2567 0 0 0 28012 216 0 0 20 0 1 0 92801100 27439104 868 33554432000 4194304 4832229 140726713546448 140726713544168 139841434607996 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 6932488 6936608 21446656 140726713550029 140726713550109 140726713550109 140726713552845 0
/proc/28772/statm: 6699 868 571 156 0 341 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 26796 KiB
Current children cumulated memory: 3472 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.75 1.76 3/187 28779
/proc/meminfo: memFree=31803168/32770624 swapFree=67108860/67108860
[pid=28772] ppid=28769 vsize=26796 memory=3484 CPUtime=342.27 cores=0,2,4,6
/proc/28772/stat : 28772 (miniBTD) R 28769 28772 23976 0 -1 4202496 2744 0 0 0 33963 264 0 0 20 0 1 0 92801100 27439104 871 33554432000 4194304 4832229 140726713546448 140726713544168 139841434607996 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 6932488 6936608 21446656 140726713550029 140726713550109 140726713550109 140726713552845 0
/proc/28772/statm: 6699 871 571 156 0 341 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 26796 KiB
Current children cumulated memory: 3484 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.80 1.77 3/187 28780
/proc/meminfo: memFree=31803328/32770624 swapFree=67108860/67108860
[pid=28772] ppid=28769 vsize=26796 memory=3492 CPUtime=402.27 cores=0,2,4,6
/proc/28772/stat : 28772 (miniBTD) R 28769 28772 23976 0 -1 4202496 2922 0 0 0 39916 311 0 0 20 0 1 0 92801100 27439104 873 33554432000 4194304 4832229 140726713546448 140726713544168 139841434607996 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 6932488 6936608 21446656 140726713550029 140726713550109 140726713550109 140726713552845 0
/proc/28772/statm: 6699 873 571 156 0 341 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 26796 KiB
Current children cumulated memory: 3492 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.84 1.79 3/187 28782
/proc/meminfo: memFree=31803312/32770624 swapFree=67108860/67108860
[pid=28772] ppid=28769 vsize=26796 memory=3500 CPUtime=462.27 cores=0,2,4,6
/proc/28772/stat : 28772 (miniBTD) R 28769 28772 23976 0 -1 4202496 3097 0 0 0 45870 357 0 0 20 0 1 0 92801100 27439104 875 33554432000 4194304 4832229 140726713546448 140726713544168 139841434607996 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 6932488 6936608 21446656 140726713550029 140726713550109 140726713550109 140726713552845 0
/proc/28772/statm: 6699 875 571 156 0 341 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 26796 KiB
Current children cumulated memory: 3500 KiB
################
# More data... #
################
Current children cumulated memory: 3576 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/188 28852
/proc/meminfo: memFree=31801852/32770624 swapFree=67108860/67108860
[pid=28772] ppid=28769 vsize=26796 memory=3576 CPUtime=1962.18 cores=0,2,4,6
/proc/28772/stat : 28772 (miniBTD) R 28769 28772 23976 0 -1 4202496 7541 0 0 0 194662 1556 0 0 20 0 1 0 92801100 27439104 894 33554432000 4194304 4832229 140726713546448 140726713544168 139841434607996 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 6932488 6936608 21446656 140726713550029 140726713550109 140726713550109 140726713552845 0
/proc/28772/statm: 6699 894 571 156 0 341 0
Current children cumulated CPU time: 1962.18 s
Current children cumulated vsize: 26796 KiB
Current children cumulated memory: 3576 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/188 28853
/proc/meminfo: memFree=31801720/32770624 swapFree=67108860/67108860
[pid=28772] ppid=28769 vsize=26796 memory=3584 CPUtime=2022.18 cores=0,2,4,6
/proc/28772/stat : 28772 (miniBTD) R 28769 28772 23976 0 -1 4202496 7709 0 0 0 200613 1605 0 0 20 0 1 0 92801100 27439104 896 33554432000 4194304 4832229 140726713546448 140726713544168 139841434607996 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 6932488 6936608 21446656 140726713550029 140726713550109 140726713550109 140726713552845 0
/proc/28772/statm: 6699 896 571 156 0 341 0
Current children cumulated CPU time: 2022.18 s
Current children cumulated vsize: 26796 KiB
Current children cumulated memory: 3584 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/187 28855
/proc/meminfo: memFree=31801876/32770624 swapFree=67108860/67108860
[pid=28772] ppid=28769 vsize=26796 memory=3584 CPUtime=2082.18 cores=0,2,4,6
/proc/28772/stat : 28772 (miniBTD) R 28769 28772 23976 0 -1 4202496 7869 0 0 0 206563 1655 0 0 20 0 1 0 92801100 27439104 896 33554432000 4194304 4832229 140726713546448 140726713544168 139841434607996 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 6932488 6936608 21446656 140726713550029 140726713550109 140726713550109 140726713552845 0
/proc/28772/statm: 6699 896 571 156 0 341 0
Current children cumulated CPU time: 2082.18 s
Current children cumulated vsize: 26796 KiB
Current children cumulated memory: 3584 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/187 28856
/proc/meminfo: memFree=31801724/32770624 swapFree=67108860/67108860
[pid=28772] ppid=28769 vsize=26796 memory=3584 CPUtime=2142.17 cores=0,2,4,6
/proc/28772/stat : 28772 (miniBTD) R 28769 28772 23976 0 -1 4202496 8029 0 0 0 212513 1704 0 0 20 0 1 0 92801100 27439104 896 33554432000 4194304 4832229 140726713546448 140726713544168 139841434607996 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 6932488 6936608 21446656 140726713550029 140726713550109 140726713550109 140726713552845 0
/proc/28772/statm: 6699 896 571 156 0 341 0
Current children cumulated CPU time: 2142.17 s
Current children cumulated vsize: 26796 KiB
Current children cumulated memory: 3584 KiB
[startup+2202.3 s]
/proc/loadavg: 2.16 2.02 1.97 3/187 28857
/proc/meminfo: memFree=31801600/32770624 swapFree=67108860/67108860
[pid=28772] ppid=28769 vsize=26796 memory=3588 CPUtime=2202.17 cores=0,2,4,6
/proc/28772/stat : 28772 (miniBTD) R 28769 28772 23976 0 -1 4202496 8223 0 0 0 218463 1754 0 0 20 0 1 0 92801100 27439104 897 33554432000 4194304 4832229 140726713546448 140726713544168 139841434607996 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 6932488 6936608 21446656 140726713550029 140726713550109 140726713550109 140726713552845 0
/proc/28772/statm: 6699 897 571 156 0 341 0
Current children cumulated CPU time: 2202.17 s
Current children cumulated vsize: 26796 KiB
Current children cumulated memory: 3588 KiB
[startup+2262.3 s]
/proc/loadavg: 2.35 2.12 2.00 3/187 28859
/proc/meminfo: memFree=31801740/32770624 swapFree=67108860/67108860
[pid=28772] ppid=28769 vsize=26796 memory=3588 CPUtime=2262.16 cores=0,2,4,6
/proc/28772/stat : 28772 (miniBTD) R 28769 28772 23976 0 -1 4202496 8383 0 0 0 224417 1799 0 0 20 0 1 0 92801100 27439104 897 33554432000 4194304 4832229 140726713546448 140726713544168 139841434607996 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 6932488 6936608 21446656 140726713550029 140726713550109 140726713550109 140726713552845 0
/proc/28772/statm: 6699 897 571 156 0 341 0
Current children cumulated CPU time: 2262.16 s
Current children cumulated vsize: 26796 KiB
Current children cumulated memory: 3588 KiB
[startup+2322.3 s]
/proc/loadavg: 2.13 2.10 2.00 3/187 28860
/proc/meminfo: memFree=31801748/32770624 swapFree=67108860/67108860
[pid=28772] ppid=28769 vsize=26796 memory=3588 CPUtime=2322.16 cores=0,2,4,6
/proc/28772/stat : 28772 (miniBTD) R 28769 28772 23976 0 -1 4202496 8543 0 0 0 230369 1847 0 0 20 0 1 0 92801100 27439104 897 33554432000 4194304 4832229 140726713546448 140726713544168 139841434607996 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 6932488 6936608 21446656 140726713550029 140726713550109 140726713550109 140726713552845 0
/proc/28772/statm: 6699 897 571 156 0 341 0
Current children cumulated CPU time: 2322.16 s
Current children cumulated vsize: 26796 KiB
Current children cumulated memory: 3588 KiB
[startup+2382.3 s]
/proc/loadavg: 2.05 2.08 2.00 3/187 28868
/proc/meminfo: memFree=31801212/32770624 swapFree=67108860/67108860
[pid=28772] ppid=28769 vsize=26796 memory=3588 CPUtime=2382.15 cores=0,2,4,6
/proc/28772/stat : 28772 (miniBTD) R 28769 28772 23976 0 -1 4202496 8730 0 0 0 236321 1894 0 0 20 0 1 0 92801100 27439104 897 33554432000 4194304 4832229 140726713546448 140726713544168 139841434607996 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 6932488 6936608 21446656 140726713550029 140726713550109 140726713550109 140726713552845 0
/proc/28772/statm: 6699 897 571 156 0 341 0
Current children cumulated CPU time: 2382.15 s
Current children cumulated vsize: 26796 KiB
Current children cumulated memory: 3588 KiB
[startup+2400.14 s]
# the end of solver process 28772 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2380.9 s, system=19.105 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2393.6 s]
/proc/loadavg: 2.04 2.08 2.00 3/187 28868
/proc/meminfo: memFree=31801212/32770624 swapFree=67108860/67108860
[pid=28772] ppid=28769 vsize=26796 memory=3588 CPUtime=2393.46 cores=0,2,4,6
/proc/28772/stat : 28772 (miniBTD) R 28769 28772 23976 0 -1 4202496 8730 0 0 0 237442 1904 0 0 20 0 1 0 92801100 27439104 897 33554432000 4194304 4832229 140726713546448 140726713544168 139841434607996 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 6932488 6936608 21446656 140726713550029 140726713550109 140726713550109 140726713552845 0
/proc/28772/statm: 6699 897 571 156 0 341 0
Current children cumulated CPU time: 2393.46 s
Current children cumulated vsize: 26796 KiB
Current children cumulated memory: 3588 KiB
[startup+2396.8 s]
/proc/loadavg: 2.04 2.07 2.00 3/187 28868
/proc/meminfo: memFree=31801212/32770624 swapFree=67108860/67108860
[pid=28772] ppid=28769 vsize=26796 memory=3592 CPUtime=2396.66 cores=0,2,4,6
/proc/28772/stat : 28772 (miniBTD) R 28769 28772 23976 0 -1 4202496 8888 0 0 0 237759 1907 0 0 20 0 1 0 92801100 27439104 898 33554432000 4194304 4832229 140726713546448 140726713544168 139841434607996 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 6932488 6936608 21446656 140726713550029 140726713550109 140726713550109 140726713552845 0
/proc/28772/statm: 6699 898 571 156 0 341 0
Current children cumulated CPU time: 2396.66 s
Current children cumulated vsize: 26796 KiB
Current children cumulated memory: 3592 KiB
[startup+2398.4 s]
/proc/loadavg: 2.04 2.07 2.00 3/187 28868
/proc/meminfo: memFree=31801212/32770624 swapFree=67108860/67108860
[pid=28772] ppid=28769 vsize=26796 memory=3592 CPUtime=2398.25 cores=0,2,4,6
/proc/28772/stat : 28772 (miniBTD) R 28769 28772 23976 0 -1 4202496 8889 0 0 0 237917 1908 0 0 20 0 1 0 92801100 27439104 898 33554432000 4194304 4832229 140726713546448 140726713544168 139841434607996 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 6932488 6936608 21446656 140726713550029 140726713550109 140726713550109 140726713552845 0
/proc/28772/statm: 6699 898 571 156 0 341 0
Current children cumulated CPU time: 2398.25 s
Current children cumulated vsize: 26796 KiB
Current children cumulated memory: 3592 KiB
[startup+2399.2 s]
/proc/loadavg: 2.04 2.07 2.00 3/187 28868
/proc/meminfo: memFree=31801212/32770624 swapFree=67108860/67108860
[pid=28772] ppid=28769 vsize=26796 memory=3592 CPUtime=2399.06 cores=0,2,4,6
/proc/28772/stat : 28772 (miniBTD) R 28769 28772 23976 0 -1 4202496 8889 0 0 0 237997 1909 0 0 20 0 1 0 92801100 27439104 898 33554432000 4194304 4832229 140726713546448 140726713544168 139841434607996 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 6932488 6936608 21446656 140726713550029 140726713550109 140726713550109 140726713552845 0
/proc/28772/statm: 6699 898 571 156 0 341 0
Current children cumulated CPU time: 2399.06 s
Current children cumulated vsize: 26796 KiB
Current children cumulated memory: 3592 KiB
[startup+2399.6 s]
/proc/loadavg: 2.04 2.07 2.00 3/187 28868
/proc/meminfo: memFree=31801212/32770624 swapFree=67108860/67108860
[pid=28772] ppid=28769 vsize=26796 memory=3592 CPUtime=2399.46 cores=0,2,4,6
/proc/28772/stat : 28772 (miniBTD) R 28769 28772 23976 0 -1 4202496 8889 0 0 0 238036 1910 0 0 20 0 1 0 92801100 27439104 898 33554432000 4194304 4832229 140726713546448 140726713544168 139841434607996 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 6932488 6936608 21446656 140726713550029 140726713550109 140726713550109 140726713552845 0
/proc/28772/statm: 6699 898 571 156 0 341 0
Current children cumulated CPU time: 2399.46 s
Current children cumulated vsize: 26796 KiB
Current children cumulated memory: 3592 KiB
[startup+2400 s]*
/proc/loadavg: 2.04 2.07 2.00 3/181 28919
/proc/meminfo: memFree=31802260/32770624 swapFree=67108860/67108860
[pid=28772] ppid=28769 vsize=26796 memory=3592 CPUtime=2399.87 cores=0,2,4,6
/proc/28772/stat : 28772 (miniBTD) R 28769 28772 23976 0 -1 4202496 8889 0 0 0 238077 1910 0 0 20 0 1 0 92801100 27439104 898 33554432000 4194304 4832229 140726713546448 140726713544168 4340851 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 6932488 6936608 21446656 140726713550029 140726713550109 140726713550109 140726713552845 0
/proc/28772/statm: 6699 898 571 156 0 341 0
Current children cumulated CPU time: 2399.87 s
Current children cumulated vsize: 26796 KiB
Current children cumulated memory: 3592 KiB
[startup+2400.11 s]
/proc/loadavg: 2.04 2.07 2.00 3/181 28919
/proc/meminfo: memFree=31802260/32770624 swapFree=67108860/67108860
[pid=28772] ppid=28769 vsize=26796 memory=3592 CPUtime=2399.97 cores=0,2,4,6
/proc/28772/stat : 28772 (miniBTD) R 28769 28772 23976 0 -1 4202496 8889 0 0 0 238087 1910 0 0 20 0 1 0 92801100 27439104 898 33554432000 4194304 4832229 140726713546448 140726713544168 139841434607996 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 6932488 6936608 21446656 140726713550029 140726713550109 140726713550109 140726713552845 0
/proc/28772/statm: 6699 898 571 156 0 341 0
Current children cumulated CPU time: 2399.97 s
Current children cumulated vsize: 26796 KiB
Current children cumulated memory: 3592 KiB
Child status: 0
Real time (s): 2400.14
CPU time (s): 2400.01
CPU user time (s): 2380.9
CPU system time (s): 19.105
CPU usage (%): 99.9945
Max. virtual memory (cumulated for all children) (KiB): 26796
Max. memory (cumulated for all children) (KiB): 3592
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2380.9
system time used= 19.105
maximum resident set size= 3664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9029
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= 6
involuntary context switches= 3011
# summary of solver processes directly reported to runsolver:
# pid: 28772
# total CPU time (s): 2400.01
# total CPU user time (s): 2380.9
# total CPU system time (s): 19.105
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.93601 second user time and 14.9498 second system time
The end