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 (15371 MiB free)
memory of node 1: 16384 MiB (15622 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4264810-1502597129/watcher-4264810-1502597129 -o /tmp/evaluation-result-4264810-1502597129/solver-4264810-1502597129 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node113-1502596271-29773 --watchdog 2560 miniBTD 2400 HOME/instance-4264810-1502597129.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=29804, runsolver pid=29797
Current StackSize limit: 8192 KiB
[startup+0.100198 s]*
/proc/loadavg: 4.55 4.73 3.59 4/190 29805
/proc/meminfo: memFree=31735592/32770624 swapFree=67108860/67108860
[pid=29804] ppid=29797 vsize=28488 memory=5100 CPUtime=0.1 cores=0,2,4,6
/proc/29804/stat : 29804 (miniBTD) R 29797 29804 24815 0 -1 4202496 1460 0 1 0 10 0 0 0 20 0 1 0 92800591 29171712 1275 33554432000 4194304 4832229 140730810127184 140730810124136 4338991 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932488 6936608 10510336 140730810135757 140730810135837 140730810135837 140730810138573 0
/proc/29804/statm: 7122 1275 567 156 0 764 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28488 KiB
Current children cumulated memory: 5100 KiB
[startup+0.209705 s]*
/proc/loadavg: 4.55 4.73 3.59 3/190 29805
/proc/meminfo: memFree=31733304/32770624 swapFree=67108860/67108860
[pid=29804] ppid=29797 vsize=28488 memory=5100 CPUtime=0.2 cores=0,2,4,6
/proc/29804/stat : 29804 (miniBTD) R 29797 29804 24815 0 -1 4202496 1461 0 1 0 20 0 0 0 20 0 1 0 92800591 29171712 1275 33554432000 4194304 4832229 140730810127184 140730810124136 4340762 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932488 6936608 10510336 140730810135757 140730810135837 140730810135837 140730810138573 0
/proc/29804/statm: 7122 1275 567 156 0 764 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 28488 KiB
Current children cumulated memory: 5100 KiB
[startup+0.309128 s]*
/proc/loadavg: 4.55 4.73 3.59 3/190 29805
/proc/meminfo: memFree=31733304/32770624 swapFree=67108860/67108860
[pid=29804] ppid=29797 vsize=28488 memory=5100 CPUtime=0.3 cores=0,2,4,6
/proc/29804/stat : 29804 (miniBTD) R 29797 29804 24815 0 -1 4202496 1463 0 1 0 30 0 0 0 20 0 1 0 92800591 29171712 1275 33554432000 4194304 4832229 140730810127184 140730810124136 140260612579708 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932488 6936608 10510336 140730810135757 140730810135837 140730810135837 140730810138573 0
/proc/29804/statm: 7122 1275 567 156 0 764 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 28488 KiB
Current children cumulated memory: 5100 KiB
[startup+0.700261 s]
/proc/loadavg: 4.55 4.73 3.59 4/190 29805
/proc/meminfo: memFree=31733304/32770624 swapFree=67108860/67108860
[pid=29804] ppid=29797 vsize=28488 memory=5100 CPUtime=0.68 cores=0,2,4,6
/proc/29804/stat : 29804 (miniBTD) R 29797 29804 24815 0 -1 4202496 1465 0 1 0 68 0 0 0 20 0 1 0 92800591 29171712 1275 33554432000 4194304 4832229 140730810127184 140730810124136 140260621763414 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932488 6936608 10510336 140730810135757 140730810135837 140730810135837 140730810138573 0
/proc/29804/statm: 7122 1275 567 156 0 764 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 28488 KiB
Current children cumulated memory: 5100 KiB
[startup+1.50033 s]
/proc/loadavg: 4.55 4.73 3.59 4/190 29805
/proc/meminfo: memFree=31733216/32770624 swapFree=67108860/67108860
[pid=29804] ppid=29797 vsize=28620 memory=5100 CPUtime=1.48 cores=0,2,4,6
/proc/29804/stat : 29804 (miniBTD) R 29797 29804 24815 0 -1 4202496 1472 0 1 0 148 0 0 0 20 0 1 0 92800591 29306880 1275 33554432000 4194304 4832229 140730810127184 140730810124904 140260612326288 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932488 6936608 10510336 140730810135757 140730810135837 140730810135837 140730810138573 0
/proc/29804/statm: 7155 1275 567 156 0 797 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 28620 KiB
Current children cumulated memory: 5100 KiB
[startup+3.10958 s]
/proc/loadavg: 4.55 4.73 3.59 4/190 29805
/proc/meminfo: memFree=31728844/32770624 swapFree=67108860/67108860
[pid=29804] ppid=29797 vsize=28620 memory=5292 CPUtime=3.09 cores=0,2,4,6
/proc/29804/stat : 29804 (miniBTD) R 29797 29804 24815 0 -1 4202496 1837 0 1 0 309 0 0 0 20 0 1 0 92800591 29306880 1323 33554432000 4194304 4832229 140730810127184 140730810124904 4339616 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932488 6936608 10510336 140730810135757 140730810135837 140730810135837 140730810138573 0
/proc/29804/statm: 7155 1323 572 156 0 797 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 28620 KiB
Current children cumulated memory: 5292 KiB
[startup+6.30032 s]
/proc/loadavg: 4.35 4.68 3.58 4/190 29805
/proc/meminfo: memFree=31737848/32770624 swapFree=67108860/67108860
[pid=29804] ppid=29797 vsize=28752 memory=5356 CPUtime=6.28 cores=0,2,4,6
/proc/29804/stat : 29804 (miniBTD) R 29797 29804 24815 0 -1 4202496 2242 0 1 0 627 1 0 0 20 0 1 0 92800591 29442048 1339 33554432000 4194304 4832229 140730810127184 140730810124904 4338736 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932488 6936608 10510336 140730810135757 140730810135837 140730810135837 140730810138573 0
/proc/29804/statm: 7188 1339 572 156 0 830 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 28752 KiB
Current children cumulated memory: 5356 KiB
[startup+12.7003 s]
/proc/loadavg: 4.16 4.64 3.57 4/190 29805
/proc/meminfo: memFree=31738368/32770624 swapFree=67108860/67108860
[pid=29804] ppid=29797 vsize=28884 memory=5424 CPUtime=12.69 cores=0,2,4,6
/proc/29804/stat : 29804 (miniBTD) R 29797 29804 24815 0 -1 4202496 2672 0 1 0 1266 3 0 0 20 0 1 0 92800591 29577216 1356 33554432000 4194304 4832229 140730810127184 140730810124904 140260612579708 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932488 6936608 10510336 140730810135757 140730810135837 140730810135837 140730810138573 0
/proc/29804/statm: 7221 1356 572 156 0 863 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 28884 KiB
Current children cumulated memory: 5424 KiB
[startup+25.5003 s]
/proc/loadavg: 3.68 4.51 3.54 4/190 29805
/proc/meminfo: memFree=31738700/32770624 swapFree=67108860/67108860
[pid=29804] ppid=29797 vsize=29016 memory=5648 CPUtime=25.48 cores=0,2,4,6
/proc/29804/stat : 29804 (miniBTD) R 29797 29804 24815 0 -1 4202496 3523 0 1 0 2541 7 0 0 20 0 1 0 92800591 29712384 1412 33554432000 4194304 4832229 140730810127184 140730810124904 4339384 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932488 6936608 10510336 140730810135757 140730810135837 140730810135837 140730810138573 0
/proc/29804/statm: 7254 1412 572 156 0 896 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 29016 KiB
Current children cumulated memory: 5648 KiB
[startup+51.1092 s]
/proc/loadavg: 3.11 4.31 3.50 4/190 29805
/proc/meminfo: memFree=31738776/32770624 swapFree=67108860/67108860
[pid=29804] ppid=29797 vsize=29148 memory=5760 CPUtime=51.09 cores=0,2,4,6
/proc/29804/stat : 29804 (miniBTD) R 29797 29804 24815 0 -1 4202496 4012 0 1 0 5094 15 0 0 20 0 1 0 92800591 29847552 1440 33554432000 4194304 4832229 140730810127184 140730810124904 140260621763665 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932488 6936608 10510336 140730810135757 140730810135837 140730810135837 140730810138573 0
/proc/29804/statm: 7287 1440 572 156 0 929 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 29148 KiB
Current children cumulated memory: 5760 KiB
[startup+102.3 s]
/proc/loadavg: 2.48 3.95 3.42 4/190 29806
/proc/meminfo: memFree=31738600/32770624 swapFree=67108860/67108860
[pid=29804] ppid=29797 vsize=29148 memory=5828 CPUtime=102.27 cores=0,2,4,6
/proc/29804/stat : 29804 (miniBTD) R 29797 29804 24815 0 -1 4202496 4535 0 1 0 10197 30 0 0 20 0 1 0 92800591 29847552 1457 33554432000 4194304 4832229 140730810127184 140730810124904 140260612579708 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932488 6936608 10510336 140730810135757 140730810135837 140730810135837 140730810138573 0
/proc/29804/statm: 7287 1457 572 156 0 929 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 29148 KiB
Current children cumulated memory: 5828 KiB
[startup+162.3 s]
/proc/loadavg: 2.18 3.60 3.34 4/190 29807
/proc/meminfo: memFree=31738664/32770624 swapFree=67108860/67108860
[pid=29804] ppid=29797 vsize=29280 memory=5916 CPUtime=162.27 cores=0,2,4,6
/proc/29804/stat : 29804 (miniBTD) R 29797 29804 24815 0 -1 4202496 5030 0 1 0 16177 50 0 0 20 0 1 0 92800591 29982720 1479 33554432000 4194304 4832229 140730810127184 140730810124904 140260612579708 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932488 6936608 10510336 140730810135757 140730810135837 140730810135837 140730810138573 0
/proc/29804/statm: 7320 1479 572 156 0 962 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 29280 KiB
Current children cumulated memory: 5916 KiB
[startup+222.3 s]
/proc/loadavg: 2.06 3.31 3.25 4/189 29808
/proc/meminfo: memFree=31738680/32770624 swapFree=67108860/67108860
[pid=29804] ppid=29797 vsize=29412 memory=6000 CPUtime=222.27 cores=0,2,4,6
/proc/29804/stat : 29804 (miniBTD) R 29797 29804 24815 0 -1 4202496 5546 0 1 0 22161 66 0 0 20 0 1 0 92800591 30117888 1500 33554432000 4194304 4832229 140730810127184 140730810124904 4339583 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932488 6936608 10510336 140730810135757 140730810135837 140730810135837 140730810138573 0
/proc/29804/statm: 7353 1500 572 156 0 995 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 29412 KiB
Current children cumulated memory: 6000 KiB
[startup+282.3 s]
/proc/loadavg: 2.07 3.08 3.18 4/188 29810
/proc/meminfo: memFree=31738828/32770624 swapFree=67108860/67108860
[pid=29804] ppid=29797 vsize=29412 memory=6028 CPUtime=282.27 cores=0,2,4,6
/proc/29804/stat : 29804 (miniBTD) R 29797 29804 24815 0 -1 4202496 6033 0 1 0 28142 85 0 0 20 0 1 0 92800591 30117888 1507 33554432000 4194304 4832229 140730810127184 140730810124904 4339953 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932488 6936608 10510336 140730810135757 140730810135837 140730810135837 140730810138573 0
/proc/29804/statm: 7353 1507 572 156 0 995 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 29412 KiB
Current children cumulated memory: 6028 KiB
[startup+342.3 s]
/proc/loadavg: 2.03 2.89 3.11 4/187 29811
/proc/meminfo: memFree=31738620/32770624 swapFree=67108860/67108860
[pid=29804] ppid=29797 vsize=29412 memory=6080 CPUtime=342.27 cores=0,2,4,6
/proc/29804/stat : 29804 (miniBTD) R 29797 29804 24815 0 -1 4202496 6531 0 1 0 34123 104 0 0 20 0 1 0 92800591 30117888 1520 33554432000 4194304 4832229 140730810127184 140730810124904 4340610 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932488 6936608 10510336 140730810135757 140730810135837 140730810135837 140730810138573 0
/proc/29804/statm: 7353 1520 572 156 0 995 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 29412 KiB
Current children cumulated memory: 6080 KiB
[startup+402.3 s]
/proc/loadavg: 2.01 2.72 3.04 4/187 29812
/proc/meminfo: memFree=31738460/32770624 swapFree=67108860/67108860
[pid=29804] ppid=29797 vsize=29412 memory=6124 CPUtime=402.26 cores=0,2,4,6
/proc/29804/stat : 29804 (miniBTD) R 29797 29804 24815 0 -1 4202496 6994 0 1 0 40102 124 0 0 20 0 1 0 92800591 30117888 1531 33554432000 4194304 4832229 140730810127184 140730810124904 140260612579708 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932488 6936608 10510336 140730810135757 140730810135837 140730810135837 140730810138573 0
/proc/29804/statm: 7353 1531 572 156 0 995 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 29412 KiB
Current children cumulated memory: 6124 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.59 2.97 4/187 29814
/proc/meminfo: memFree=31738316/32770624 swapFree=67108860/67108860
[pid=29804] ppid=29797 vsize=29544 memory=6144 CPUtime=462.26 cores=0,2,4,6
/proc/29804/stat : 29804 (miniBTD) R 29797 29804 24815 0 -1 4202496 7493 0 1 0 46082 144 0 0 20 0 1 0 92800591 30253056 1536 33554432000 4194304 4832229 140730810127184 140730810124904 140260621763434 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932488 6936608 10510336 140730810135757 140730810135837 140730810135837 140730810138573 0
/proc/29804/statm: 7386 1536 572 156 0 1028 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 29544 KiB
Current children cumulated memory: 6144 KiB
################
# More data... #
################
Current children cumulated memory: 6456 KiB
[startup+1962.3 s]
/proc/loadavg: 2.06 2.16 2.28 4/188 29884
/proc/meminfo: memFree=31737244/32770624 swapFree=67108860/67108860
[pid=29804] ppid=29797 vsize=29808 memory=6456 CPUtime=1962.18 cores=0,2,4,6
/proc/29804/stat : 29804 (miniBTD) R 29797 29804 24815 0 -1 4202496 18840 0 1 0 195567 651 0 0 20 0 1 0 92800591 30523392 1614 33554432000 4194304 4832229 140730810127184 140730810124904 140260612579708 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932488 6936608 10510336 140730810135757 140730810135837 140730810135837 140730810138573 0
/proc/29804/statm: 7452 1614 572 156 0 1094 0
Current children cumulated CPU time: 1962.18 s
Current children cumulated vsize: 29808 KiB
Current children cumulated memory: 6456 KiB
[startup+2022.3 s]
/proc/loadavg: 2.02 2.13 2.26 4/188 29885
/proc/meminfo: memFree=31737056/32770624 swapFree=67108860/67108860
[pid=29804] ppid=29797 vsize=29808 memory=6476 CPUtime=2022.19 cores=0,2,4,6
/proc/29804/stat : 29804 (miniBTD) R 29797 29804 24815 0 -1 4202496 19342 0 1 0 201546 673 0 0 20 0 1 0 92800591 30523392 1619 33554432000 4194304 4832229 140730810127184 140730810124904 4338997 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932488 6936608 10510336 140730810135757 140730810135837 140730810135837 140730810138573 0
/proc/29804/statm: 7452 1619 572 156 0 1094 0
Current children cumulated CPU time: 2022.19 s
Current children cumulated vsize: 29808 KiB
Current children cumulated memory: 6476 KiB
[startup+2082.3 s]
/proc/loadavg: 2.01 2.11 2.24 4/187 29887
/proc/meminfo: memFree=31737244/32770624 swapFree=67108860/67108860
[pid=29804] ppid=29797 vsize=29808 memory=6476 CPUtime=2082.18 cores=0,2,4,6
/proc/29804/stat : 29804 (miniBTD) R 29797 29804 24815 0 -1 4202496 19781 0 1 0 207524 694 0 0 20 0 1 0 92800591 30523392 1619 33554432000 4194304 4832229 140730810127184 140730810124904 140260612579708 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932488 6936608 10510336 140730810135757 140730810135837 140730810135837 140730810138573 0
/proc/29804/statm: 7452 1619 572 156 0 1094 0
Current children cumulated CPU time: 2082.18 s
Current children cumulated vsize: 29808 KiB
Current children cumulated memory: 6476 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.09 2.23 4/187 29888
/proc/meminfo: memFree=31737368/32770624 swapFree=67108860/67108860
[pid=29804] ppid=29797 vsize=29808 memory=6476 CPUtime=2142.18 cores=0,2,4,6
/proc/29804/stat : 29804 (miniBTD) R 29797 29804 24815 0 -1 4202496 20204 0 1 0 213504 714 0 0 20 0 1 0 92800591 30523392 1619 33554432000 4194304 4832229 140730810127184 140730810124904 140260612579708 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932488 6936608 10510336 140730810135757 140730810135837 140730810135837 140730810138573 0
/proc/29804/statm: 7452 1619 572 156 0 1094 0
Current children cumulated CPU time: 2142.18 s
Current children cumulated vsize: 29808 KiB
Current children cumulated memory: 6476 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.07 2.22 4/187 29889
/proc/meminfo: memFree=31737616/32770624 swapFree=67108860/67108860
[pid=29804] ppid=29797 vsize=29808 memory=6476 CPUtime=2202.17 cores=0,2,4,6
/proc/29804/stat : 29804 (miniBTD) R 29797 29804 24815 0 -1 4202496 20627 0 1 0 219485 732 0 0 20 0 1 0 92800591 30523392 1619 33554432000 4194304 4832229 140730810127184 140730810124904 4339020 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932488 6936608 10510336 140730810135757 140730810135837 140730810135837 140730810138573 0
/proc/29804/statm: 7452 1619 572 156 0 1094 0
Current children cumulated CPU time: 2202.17 s
Current children cumulated vsize: 29808 KiB
Current children cumulated memory: 6476 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.06 2.20 4/187 29891
/proc/meminfo: memFree=31737212/32770624 swapFree=67108860/67108860
[pid=29804] ppid=29797 vsize=29808 memory=6496 CPUtime=2262.17 cores=0,2,4,6
/proc/29804/stat : 29804 (miniBTD) R 29797 29804 24815 0 -1 4202496 21120 0 1 0 225467 750 0 0 20 0 1 0 92800591 30523392 1624 33554432000 4194304 4832229 140730810127184 140730810124904 4339897 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932488 6936608 10510336 140730810135757 140730810135837 140730810135837 140730810138573 0
/proc/29804/statm: 7452 1624 572 156 0 1094 0
Current children cumulated CPU time: 2262.17 s
Current children cumulated vsize: 29808 KiB
Current children cumulated memory: 6496 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.05 2.19 4/187 29892
/proc/meminfo: memFree=31737460/32770624 swapFree=67108860/67108860
[pid=29804] ppid=29797 vsize=29808 memory=6496 CPUtime=2322.17 cores=0,2,4,6
/proc/29804/stat : 29804 (miniBTD) R 29797 29804 24815 0 -1 4202496 21546 0 1 0 231444 773 0 0 20 0 1 0 92800591 30523392 1624 33554432000 4194304 4832229 140730810127184 140730810124904 4339494 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932488 6936608 10510336 140730810135757 140730810135837 140730810135837 140730810138573 0
/proc/29804/statm: 7452 1624 572 156 0 1094 0
Current children cumulated CPU time: 2322.17 s
Current children cumulated vsize: 29808 KiB
Current children cumulated memory: 6496 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.04 2.18 4/189 29902
/proc/meminfo: memFree=31737048/32770624 swapFree=67108860/67108860
[pid=29804] ppid=29797 vsize=29808 memory=6496 CPUtime=2382.16 cores=0,2,4,6
/proc/29804/stat : 29804 (miniBTD) R 29797 29804 24815 0 -1 4202496 21968 0 1 0 237421 795 0 0 20 0 1 0 92800591 30523392 1624 33554432000 4194304 4832229 140730810127184 140730810124904 140260612579708 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932488 6936608 10510336 140730810135757 140730810135837 140730810135837 140730810138573 0
/proc/29804/statm: 7452 1624 572 156 0 1094 0
Current children cumulated CPU time: 2382.16 s
Current children cumulated vsize: 29808 KiB
Current children cumulated memory: 6496 KiB
[startup+2400.13 s]
# the end of solver process 29804 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2391.98 s, system=8.0236 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2393.6 s]
/proc/loadavg: 2.00 2.04 2.18 4/189 29902
/proc/meminfo: memFree=31737048/32770624 swapFree=67108860/67108860
[pid=29804] ppid=29797 vsize=29808 memory=6496 CPUtime=2393.47 cores=0,2,4,6
/proc/29804/stat : 29804 (miniBTD) R 29797 29804 24815 0 -1 4202496 21968 0 1 0 238548 799 0 0 20 0 1 0 92800591 30523392 1624 33554432000 4194304 4832229 140730810127184 140730810124904 140260612579708 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932488 6936608 10510336 140730810135757 140730810135837 140730810135837 140730810138573 0
/proc/29804/statm: 7452 1624 572 156 0 1094 0
Current children cumulated CPU time: 2393.47 s
Current children cumulated vsize: 29808 KiB
Current children cumulated memory: 6496 KiB
[startup+2396.8 s]
/proc/loadavg: 2.00 2.04 2.18 4/189 29902
/proc/meminfo: memFree=31737048/32770624 swapFree=67108860/67108860
[pid=29804] ppid=29797 vsize=29808 memory=6496 CPUtime=2396.67 cores=0,2,4,6
/proc/29804/stat : 29804 (miniBTD) R 29797 29804 24815 0 -1 4202496 22386 0 1 0 238866 801 0 0 20 0 1 0 92800591 30523392 1624 33554432000 4194304 4832229 140730810127184 140730810124904 4340736 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932488 6936608 10510336 140730810135757 140730810135837 140730810135837 140730810138573 0
/proc/29804/statm: 7452 1624 572 156 0 1094 0
Current children cumulated CPU time: 2396.67 s
Current children cumulated vsize: 29808 KiB
Current children cumulated memory: 6496 KiB
[startup+2398.4 s]
/proc/loadavg: 2.00 2.04 2.18 4/189 29902
/proc/meminfo: memFree=31737048/32770624 swapFree=67108860/67108860
[pid=29804] ppid=29797 vsize=29808 memory=6496 CPUtime=2398.26 cores=0,2,4,6
/proc/29804/stat : 29804 (miniBTD) R 29797 29804 24815 0 -1 4202496 22390 0 1 0 239025 801 0 0 20 0 1 0 92800591 30523392 1624 33554432000 4194304 4832229 140730810127184 140730810124904 4340751 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932488 6936608 10510336 140730810135757 140730810135837 140730810135837 140730810138573 0
/proc/29804/statm: 7452 1624 572 156 0 1094 0
Current children cumulated CPU time: 2398.26 s
Current children cumulated vsize: 29808 KiB
Current children cumulated memory: 6496 KiB
[startup+2399.2 s]
/proc/loadavg: 2.00 2.04 2.18 4/189 29902
/proc/meminfo: memFree=31737048/32770624 swapFree=67108860/67108860
[pid=29804] ppid=29797 vsize=29808 memory=6496 CPUtime=2399.06 cores=0,2,4,6
/proc/29804/stat : 29804 (miniBTD) R 29797 29804 24815 0 -1 4202496 22390 0 1 0 239105 801 0 0 20 0 1 0 92800591 30523392 1624 33554432000 4194304 4832229 140730810127184 140730810124904 4339703 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932488 6936608 10510336 140730810135757 140730810135837 140730810135837 140730810138573 0
/proc/29804/statm: 7452 1624 572 156 0 1094 0
Current children cumulated CPU time: 2399.06 s
Current children cumulated vsize: 29808 KiB
Current children cumulated memory: 6496 KiB
[startup+2399.6 s]
/proc/loadavg: 2.00 2.04 2.18 4/189 29902
/proc/meminfo: memFree=31737048/32770624 swapFree=67108860/67108860
[pid=29804] ppid=29797 vsize=29808 memory=6496 CPUtime=2399.47 cores=0,2,4,6
/proc/29804/stat : 29804 (miniBTD) R 29797 29804 24815 0 -1 4202496 22390 0 1 0 239145 802 0 0 20 0 1 0 92800591 30523392 1624 33554432000 4194304 4832229 140730810127184 140730810124904 140260612579708 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932488 6936608 10510336 140730810135757 140730810135837 140730810135837 140730810138573 0
/proc/29804/statm: 7452 1624 572 156 0 1094 0
Current children cumulated CPU time: 2399.47 s
Current children cumulated vsize: 29808 KiB
Current children cumulated memory: 6496 KiB
[startup+2400 s]*
/proc/loadavg: 2.00 2.04 2.18 4/189 29902
/proc/meminfo: memFree=31737048/32770624 swapFree=67108860/67108860
[pid=29804] ppid=29797 vsize=29808 memory=6496 CPUtime=2399.88 cores=0,2,4,6
/proc/29804/stat : 29804 (miniBTD) R 29797 29804 24815 0 -1 4202496 22390 0 1 0 239186 802 0 0 20 0 1 0 92800591 30523392 1624 33554432000 4194304 4832229 140730810127184 140730810124904 140260612579708 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932488 6936608 10510336 140730810135757 140730810135837 140730810135837 140730810138573 0
/proc/29804/statm: 7452 1624 572 156 0 1094 0
Current children cumulated CPU time: 2399.88 s
Current children cumulated vsize: 29808 KiB
Current children cumulated memory: 6496 KiB
[startup+2400.11 s]
/proc/loadavg: 2.00 2.04 2.18 4/189 29902
/proc/meminfo: memFree=31737048/32770624 swapFree=67108860/67108860
[pid=29804] ppid=29797 vsize=29808 memory=6496 CPUtime=2399.98 cores=0,2,4,6
/proc/29804/stat : 29804 (miniBTD) R 29797 29804 24815 0 -1 4202496 22390 0 1 0 239196 802 0 0 20 0 1 0 92800591 30523392 1624 33554432000 4194304 4832229 140730810127184 140730810124904 4338736 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932488 6936608 10510336 140730810135757 140730810135837 140730810135837 140730810138573 0
/proc/29804/statm: 7452 1624 572 156 0 1094 0
Current children cumulated CPU time: 2399.98 s
Current children cumulated vsize: 29808 KiB
Current children cumulated memory: 6496 KiB
Child status: 0
Real time (s): 2400.13
CPU time (s): 2400.01
CPU user time (s): 2391.98
CPU system time (s): 8.0236
CPU usage (%): 99.9948
Max. virtual memory (cumulated for all children) (KiB): 29808
Max. memory (cumulated for all children) (KiB): 6496
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2391.98
system time used= 8.0236
maximum resident set size= 6544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22946
page faults= 1
swaps= 0
block input operations= 680
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10
involuntary context switches= 754
# summary of solver processes directly reported to runsolver:
# pid: 29804
# total CPU time (s): 2400.01
# total CPU user time (s): 2391.98
# total CPU system time (s): 8.0236
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.10392 second user time and 14.9944 second system time
The end