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 (9540 MiB free)
memory of node 1: 16384 MiB (10116 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301105-1532851476/watcher-4301105-1532851476 -o /tmp/evaluation-result-4301105-1532851476/solver-4301105-1532851476 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532846840-3945 --watchdog 2580 miniBTD 3 2520 HOME/instance-4301105-1532851476.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
solver pid=4714, runsolver pid=4711
Current StackSize limit: 8192 KiB
[startup+0.100159 s]*
/proc/loadavg: 2.00 2.00 1.99 3/188 4715
/proc/meminfo: memFree=20125400/32770624 swapFree=67108860/67108860
[pid=4714] ppid=4711 vsize=29712 memory=6376 CPUtime=0.1 cores=1,3,5,7
/proc/4714/stat : 4714 (miniBTD) R 4711 4714 3913 0 -1 4202496 1772 0 0 0 10 0 0 0 20 0 1 0 102710828 30425088 1594 33554432000 4194304 5224696 140735062041568 140735062040584 4568755 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7325440 7329888 19456000 140735062045877 140735062045959 140735062045959 140735062048717 0
/proc/4714/statm: 7428 1594 659 252 0 974 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 29712 KiB
Current children cumulated memory: 6376 KiB
[startup+0.209732 s]*
/proc/loadavg: 2.00 2.00 1.99 3/188 4715
/proc/meminfo: memFree=20125400/32770624 swapFree=67108860/67108860
[pid=4714] ppid=4711 vsize=29712 memory=6376 CPUtime=0.21 cores=1,3,5,7
/proc/4714/stat : 4714 (miniBTD) R 4711 4714 3913 0 -1 4202496 1776 0 0 0 21 0 0 0 20 0 1 0 102710828 30425088 1594 33554432000 4194304 5224696 140735062041568 140735062040584 4630925 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7325440 7329888 19456000 140735062045877 140735062045959 140735062045959 140735062048717 0
/proc/4714/statm: 7428 1594 659 252 0 974 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 29712 KiB
Current children cumulated memory: 6376 KiB
[startup+0.309081 s]*
/proc/loadavg: 2.00 2.00 1.99 3/188 4715
/proc/meminfo: memFree=20125400/32770624 swapFree=67108860/67108860
[pid=4714] ppid=4711 vsize=29712 memory=6376 CPUtime=0.31 cores=1,3,5,7
/proc/4714/stat : 4714 (miniBTD) R 4711 4714 3913 0 -1 4202496 1776 0 0 0 31 0 0 0 20 0 1 0 102710828 30425088 1594 33554432000 4194304 5224696 140735062041568 140735062040584 139774312329596 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7325440 7329888 19456000 140735062045877 140735062045959 140735062045959 140735062048717 0
/proc/4714/statm: 7428 1594 659 252 0 974 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 29712 KiB
Current children cumulated memory: 6376 KiB
[startup+0.70027 s]
/proc/loadavg: 2.00 2.00 1.99 3/188 4715
/proc/meminfo: memFree=20125284/32770624 swapFree=67108860/67108860
[pid=4714] ppid=4711 vsize=29712 memory=6376 CPUtime=0.69 cores=1,3,5,7
/proc/4714/stat : 4714 (miniBTD) R 4711 4714 3913 0 -1 4202496 1779 0 0 0 69 0 0 0 20 0 1 0 102710828 30425088 1594 33554432000 4194304 5224696 140735062041568 140735062040584 4630919 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7325440 7329888 19456000 140735062045877 140735062045959 140735062045959 140735062048717 0
/proc/4714/statm: 7428 1594 659 252 0 974 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 29712 KiB
Current children cumulated memory: 6376 KiB
[startup+1.50027 s]
/proc/loadavg: 2.00 2.00 1.99 3/188 4715
/proc/meminfo: memFree=20125284/32770624 swapFree=67108860/67108860
[pid=4714] ppid=4711 vsize=29712 memory=6376 CPUtime=1.49 cores=1,3,5,7
/proc/4714/stat : 4714 (miniBTD) R 4711 4714 3913 0 -1 4202496 1781 0 0 0 149 0 0 0 20 0 1 0 102710828 30425088 1594 33554432000 4194304 5224696 140735062041568 140735062040584 139774312329596 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7325440 7329888 19456000 140735062045877 140735062045959 140735062045959 140735062048717 0
/proc/4714/statm: 7428 1594 659 252 0 974 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 29712 KiB
Current children cumulated memory: 6376 KiB
[startup+3.10912 s]
/proc/loadavg: 2.00 2.00 1.99 3/188 4715
/proc/meminfo: memFree=20125284/32770624 swapFree=67108860/67108860
[pid=4714] ppid=4711 vsize=29712 memory=6488 CPUtime=3.09 cores=1,3,5,7
/proc/4714/stat : 4714 (miniBTD) R 4711 4714 3913 0 -1 4202496 2128 0 0 0 309 0 0 0 20 0 1 0 102710828 30425088 1622 33554432000 4194304 5224696 140735062041568 140735062040584 139774312329596 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7325440 7329888 19456000 140735062045877 140735062045959 140735062045959 140735062048717 0
/proc/4714/statm: 7428 1622 665 252 0 974 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 29712 KiB
Current children cumulated memory: 6488 KiB
[startup+6.30026 s]
/proc/loadavg: 2.00 2.00 1.99 3/188 4715
/proc/meminfo: memFree=20125420/32770624 swapFree=67108860/67108860
[pid=4714] ppid=4711 vsize=29712 memory=6496 CPUtime=6.29 cores=1,3,5,7
/proc/4714/stat : 4714 (miniBTD) R 4711 4714 3913 0 -1 4202496 2478 0 0 0 628 1 0 0 20 0 1 0 102710828 30425088 1624 33554432000 4194304 5224696 140735062041568 140735062040584 4630901 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7325440 7329888 19456000 140735062045877 140735062045959 140735062045959 140735062048717 0
/proc/4714/statm: 7428 1624 665 252 0 974 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 29712 KiB
Current children cumulated memory: 6496 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.99 3/188 4715
/proc/meminfo: memFree=20125544/32770624 swapFree=67108860/67108860
[pid=4714] ppid=4711 vsize=29844 memory=6504 CPUtime=12.69 cores=1,3,5,7
/proc/4714/stat : 4714 (miniBTD) R 4711 4714 3913 0 -1 4202496 2832 0 0 0 1267 2 0 0 20 0 1 0 102710828 30560256 1626 33554432000 4194304 5224696 140735062041568 140735062040584 139774312329596 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7325440 7329888 19456000 140735062045877 140735062045959 140735062045959 140735062048717 0
/proc/4714/statm: 7461 1626 665 252 0 1007 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 29844 KiB
Current children cumulated memory: 6504 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.99 3/188 4715
/proc/meminfo: memFree=20125736/32770624 swapFree=67108860/67108860
[pid=4714] ppid=4711 vsize=29844 memory=6524 CPUtime=25.49 cores=1,3,5,7
/proc/4714/stat : 4714 (miniBTD) R 4711 4714 3913 0 -1 4202496 3541 0 0 0 2545 4 0 0 20 0 1 0 102710828 30560256 1631 33554432000 4194304 5224696 140735062041568 140735062040584 139774312329596 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7325440 7329888 19456000 140735062045877 140735062045959 140735062045959 140735062048717 0
/proc/4714/statm: 7461 1631 665 252 0 1007 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 29844 KiB
Current children cumulated memory: 6524 KiB
[startup+51.1091 s]
/proc/loadavg: 2.00 2.00 1.99 3/188 4715
/proc/meminfo: memFree=20125488/32770624 swapFree=67108860/67108860
[pid=4714] ppid=4711 vsize=29844 memory=6536 CPUtime=51.1 cores=1,3,5,7
/proc/4714/stat : 4714 (miniBTD) R 4711 4714 3913 0 -1 4202496 3900 0 0 0 5102 8 0 0 20 0 1 0 102710828 30560256 1634 33554432000 4194304 5224696 140735062041568 140735062040584 139774312329596 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7325440 7329888 19456000 140735062045877 140735062045959 140735062045959 140735062048717 0
/proc/4714/statm: 7461 1634 665 252 0 1007 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 29844 KiB
Current children cumulated memory: 6536 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/187 4716
/proc/meminfo: memFree=20125156/32770624 swapFree=67108860/67108860
[pid=4714] ppid=4711 vsize=29844 memory=6548 CPUtime=102.3 cores=1,3,5,7
/proc/4714/stat : 4714 (miniBTD) R 4711 4714 3913 0 -1 4202496 4263 0 0 0 10214 16 0 0 20 0 1 0 102710828 30560256 1637 33554432000 4194304 5224696 140735062041568 140735062040584 139774312329596 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7325440 7329888 19456000 140735062045877 140735062045959 140735062045959 140735062048717 0
/proc/4714/statm: 7461 1637 665 252 0 1007 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 29844 KiB
Current children cumulated memory: 6548 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/187 4717
/proc/meminfo: memFree=20125536/32770624 swapFree=67108860/67108860
[pid=4714] ppid=4711 vsize=29844 memory=6560 CPUtime=162.29 cores=1,3,5,7
/proc/4714/stat : 4714 (miniBTD) R 4711 4714 3913 0 -1 4202496 4627 0 0 0 16204 25 0 0 20 0 1 0 102710828 30560256 1640 33554432000 4194304 5224696 140735062041568 140735062040584 139774312329596 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7325440 7329888 19456000 140735062045877 140735062045959 140735062045959 140735062048717 0
/proc/4714/statm: 7461 1640 665 252 0 1007 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 29844 KiB
Current children cumulated memory: 6560 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/187 4718
/proc/meminfo: memFree=20125536/32770624 swapFree=67108860/67108860
[pid=4714] ppid=4711 vsize=29844 memory=6568 CPUtime=222.29 cores=1,3,5,7
/proc/4714/stat : 4714 (miniBTD) R 4711 4714 3913 0 -1 4202496 4992 0 0 0 22194 35 0 0 20 0 1 0 102710828 30560256 1642 33554432000 4194304 5224696 140735062041568 140735062040584 4630919 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7325440 7329888 19456000 140735062045877 140735062045959 140735062045959 140735062048717 0
/proc/4714/statm: 7461 1642 665 252 0 1007 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 29844 KiB
Current children cumulated memory: 6568 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/187 4719
/proc/meminfo: memFree=20125660/32770624 swapFree=67108860/67108860
[pid=4714] ppid=4711 vsize=29844 memory=6572 CPUtime=282.29 cores=1,3,5,7
/proc/4714/stat : 4714 (miniBTD) R 4711 4714 3913 0 -1 4202496 5358 0 0 0 28187 42 0 0 20 0 1 0 102710828 30560256 1643 33554432000 4194304 5224696 140735062041568 140735062040584 4630919 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7325440 7329888 19456000 140735062045877 140735062045959 140735062045959 140735062048717 0
/proc/4714/statm: 7461 1643 665 252 0 1007 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 29844 KiB
Current children cumulated memory: 6572 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/187 4727
/proc/meminfo: memFree=20124056/32770624 swapFree=67108860/67108860
[pid=4714] ppid=4711 vsize=29844 memory=6576 CPUtime=342.3 cores=1,3,5,7
/proc/4714/stat : 4714 (miniBTD) R 4711 4714 3913 0 -1 4202496 5725 0 0 0 34178 52 0 0 20 0 1 0 102710828 30560256 1644 33554432000 4194304 5224696 140735062041568 140735062040584 4630919 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7325440 7329888 19456000 140735062045877 140735062045959 140735062045959 140735062048717 0
/proc/4714/statm: 7461 1644 665 252 0 1007 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 29844 KiB
Current children cumulated memory: 6576 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/187 4728
/proc/meminfo: memFree=20124552/32770624 swapFree=67108860/67108860
[pid=4714] ppid=4711 vsize=29844 memory=6580 CPUtime=402.3 cores=1,3,5,7
/proc/4714/stat : 4714 (miniBTD) R 4711 4714 3913 0 -1 4202496 6093 0 0 0 40167 63 0 0 20 0 1 0 102710828 30560256 1645 33554432000 4194304 5224696 140735062041568 140735062040584 4630919 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7325440 7329888 19456000 140735062045877 140735062045959 140735062045959 140735062048717 0
/proc/4714/statm: 7461 1645 665 252 0 1007 0
Current children cumulated CPU time: 402.3 s
Current children cumulated vsize: 29844 KiB
Current children cumulated memory: 6580 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/187 4729
/proc/meminfo: memFree=20124620/32770624 swapFree=67108860/67108860
[pid=4714] ppid=4711 vsize=29844 memory=6580 CPUtime=462.3 cores=1,3,5,7
/proc/4714/stat : 4714 (miniBTD) R 4711 4714 3913 0 -1 4202496 6462 0 0 0 46158 72 0 0 20 0 1 0 102710828 30560256 1645 33554432000 4194304 5224696 140735062041568 140735062040584 4630941 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7325440 7329888 19456000 140735062045877 140735062045959 140735062045959 140735062048717 0
/proc/4714/statm: 7461 1645 665 252 0 1007 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 29844 KiB
Current children cumulated memory: 6580 KiB
################
# More data... #
################
Current children cumulated memory: 6612 KiB
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/187 4814
/proc/meminfo: memFree=20126068/32770624 swapFree=67108860/67108860
[pid=4714] ppid=4711 vsize=29844 memory=6612 CPUtime=1362.32 cores=1,3,5,7
/proc/4714/stat : 4714 (miniBTD) R 4711 4714 3913 0 -1 4202496 12053 0 0 0 136032 200 0 0 20 0 1 0 102710828 30560256 1653 33554432000 4194304 5224696 140735062041568 140735062040584 139774312329596 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7325440 7329888 19456000 140735062045877 140735062045959 140735062045959 140735062048717 0
/proc/4714/statm: 7461 1653 665 252 0 1007 0
Current children cumulated CPU time: 1362.32 s
Current children cumulated vsize: 29844 KiB
Current children cumulated memory: 6612 KiB
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/187 4816
/proc/meminfo: memFree=20126324/32770624 swapFree=67108860/67108860
[pid=4714] ppid=4711 vsize=29844 memory=6612 CPUtime=1422.33 cores=1,3,5,7
/proc/4714/stat : 4714 (miniBTD) R 4711 4714 3913 0 -1 4202496 12427 0 0 0 142023 210 0 0 20 0 1 0 102710828 30560256 1653 33554432000 4194304 5224696 140735062041568 140735062040584 139774312329596 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7325440 7329888 19456000 140735062045877 140735062045959 140735062045959 140735062048717 0
/proc/4714/statm: 7461 1653 665 252 0 1007 0
Current children cumulated CPU time: 1422.33 s
Current children cumulated vsize: 29844 KiB
Current children cumulated memory: 6612 KiB
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/187 4817
/proc/meminfo: memFree=20125952/32770624 swapFree=67108860/67108860
[pid=4714] ppid=4711 vsize=29844 memory=6612 CPUtime=1482.33 cores=1,3,5,7
/proc/4714/stat : 4714 (miniBTD) R 4711 4714 3913 0 -1 4202496 12801 0 0 0 148014 219 0 0 20 0 1 0 102710828 30560256 1653 33554432000 4194304 5224696 140735062041568 140735062040584 4554272 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7325440 7329888 19456000 140735062045877 140735062045959 140735062045959 140735062048717 0
/proc/4714/statm: 7461 1653 665 252 0 1007 0
Current children cumulated CPU time: 1482.33 s
Current children cumulated vsize: 29844 KiB
Current children cumulated memory: 6612 KiB
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/187 4825
/proc/meminfo: memFree=20125988/32770624 swapFree=67108860/67108860
[pid=4714] ppid=4711 vsize=29844 memory=6616 CPUtime=1542.33 cores=1,3,5,7
/proc/4714/stat : 4714 (miniBTD) R 4711 4714 3913 0 -1 4202496 13178 0 0 0 154005 228 0 0 20 0 1 0 102710828 30560256 1654 33554432000 4194304 5224696 140735062041568 140735062040584 139774312329596 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7325440 7329888 19456000 140735062045877 140735062045959 140735062045959 140735062048717 0
/proc/4714/statm: 7461 1654 665 252 0 1007 0
Current children cumulated CPU time: 1542.33 s
Current children cumulated vsize: 29844 KiB
Current children cumulated memory: 6616 KiB
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/187 4826
/proc/meminfo: memFree=20125716/32770624 swapFree=67108860/67108860
[pid=4714] ppid=4711 vsize=29844 memory=6616 CPUtime=1602.33 cores=1,3,5,7
/proc/4714/stat : 4714 (miniBTD) R 4711 4714 3913 0 -1 4202496 13553 0 0 0 159998 235 0 0 20 0 1 0 102710828 30560256 1654 33554432000 4194304 5224696 140735062041568 140735062040584 139774312329596 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7325440 7329888 19456000 140735062045877 140735062045959 140735062045959 140735062048717 0
/proc/4714/statm: 7461 1654 665 252 0 1007 0
Current children cumulated CPU time: 1602.33 s
Current children cumulated vsize: 29844 KiB
Current children cumulated memory: 6616 KiB
[startup+1662.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/187 4827
/proc/meminfo: memFree=20125272/32770624 swapFree=67108860/67108860
[pid=4714] ppid=4711 vsize=29844 memory=6616 CPUtime=1662.33 cores=1,3,5,7
/proc/4714/stat : 4714 (miniBTD) R 4711 4714 3913 0 -1 4202496 13929 0 0 0 165988 245 0 0 20 0 1 0 102710828 30560256 1654 33554432000 4194304 5224696 140735062041568 140735062040584 139774312329596 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7325440 7329888 19456000 140735062045877 140735062045959 140735062045959 140735062048717 0
/proc/4714/statm: 7461 1654 665 252 0 1007 0
Current children cumulated CPU time: 1662.33 s
Current children cumulated vsize: 29844 KiB
Current children cumulated memory: 6616 KiB
[startup+1722.3 s]
/proc/loadavg: 2.06 2.04 2.01 3/187 4828
/proc/meminfo: memFree=20125156/32770624 swapFree=67108860/67108860
[pid=4714] ppid=4711 vsize=29844 memory=6616 CPUtime=1722.33 cores=1,3,5,7
/proc/4714/stat : 4714 (miniBTD) R 4711 4714 3913 0 -1 4202496 14304 0 0 0 171978 255 0 0 20 0 1 0 102710828 30560256 1654 33554432000 4194304 5224696 140735062041568 140735062040584 139774312329596 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7325440 7329888 19456000 140735062045877 140735062045959 140735062045959 140735062048717 0
/proc/4714/statm: 7461 1654 665 252 0 1007 0
Current children cumulated CPU time: 1722.33 s
Current children cumulated vsize: 29844 KiB
Current children cumulated memory: 6616 KiB
[startup+1782.3 s]
/proc/loadavg: 2.06 2.04 2.01 3/187 4829
/proc/meminfo: memFree=20125296/32770624 swapFree=67108860/67108860
[pid=4714] ppid=4711 vsize=29844 memory=6616 CPUtime=1782.34 cores=1,3,5,7
/proc/4714/stat : 4714 (miniBTD) R 4711 4714 3913 0 -1 4202496 14679 0 0 0 177970 264 0 0 20 0 1 0 102710828 30560256 1654 33554432000 4194304 5224696 140735062041568 140735062040584 139774312329596 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7325440 7329888 19456000 140735062045877 140735062045959 140735062045959 140735062048717 0
/proc/4714/statm: 7461 1654 665 252 0 1007 0
Current children cumulated CPU time: 1782.34 s
Current children cumulated vsize: 29844 KiB
Current children cumulated memory: 6616 KiB
[startup+1807.2 s]
# the end of solver process 4714 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1804.57 s, system=2.68707 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1792 s]*
/proc/loadavg: 2.13 2.06 2.02 3/187 4829
/proc/meminfo: memFree=20125296/32770624 swapFree=67108860/67108860
[pid=4714] ppid=4711 vsize=29844 memory=6616 CPUtime=1792.05 cores=1,3,5,7
/proc/4714/stat : 4714 (miniBTD) R 4711 4714 3913 0 -1 4202496 14679 0 0 0 178939 266 0 0 20 0 1 0 102710828 30560256 1654 33554432000 4194304 5224696 140735062041568 140735062040584 4630919 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7325440 7329888 19456000 140735062045877 140735062045959 140735062045959 140735062048717 0
/proc/4714/statm: 7461 1654 665 252 0 1007 0
Current children cumulated CPU time: 1792.05 s
Current children cumulated vsize: 29844 KiB
Current children cumulated memory: 6616 KiB
[startup+1798.4 s]
/proc/loadavg: 2.11 2.06 2.02 3/187 4829
/proc/meminfo: memFree=20125296/32770624 swapFree=67108860/67108860
[pid=4714] ppid=4711 vsize=29844 memory=6616 CPUtime=1798.44 cores=1,3,5,7
/proc/4714/stat : 4714 (miniBTD) R 4711 4714 3913 0 -1 4202496 15054 0 0 0 179577 267 0 0 20 0 1 0 102710828 30560256 1654 33554432000 4194304 5224696 140735062041568 140735062040584 139774312329596 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7325440 7329888 19456000 140735062045877 140735062045959 140735062045959 140735062048717 0
/proc/4714/statm: 7461 1654 665 252 0 1007 0
Current children cumulated CPU time: 1798.44 s
Current children cumulated vsize: 29844 KiB
Current children cumulated memory: 6616 KiB
[startup+1801.6 s]
/proc/loadavg: 2.11 2.06 2.02 3/187 4829
/proc/meminfo: memFree=20125296/32770624 swapFree=67108860/67108860
[pid=4714] ppid=4711 vsize=29844 memory=6616 CPUtime=1801.64 cores=1,3,5,7
/proc/4714/stat : 4714 (miniBTD) R 4711 4714 3913 0 -1 4202496 15054 0 0 0 179897 267 0 0 20 0 1 0 102710828 30560256 1654 33554432000 4194304 5224696 140735062041568 140735062040584 139774312329596 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7325440 7329888 19456000 140735062045877 140735062045959 140735062045959 140735062048717 0
/proc/4714/statm: 7461 1654 665 252 0 1007 0
Current children cumulated CPU time: 1801.64 s
Current children cumulated vsize: 29844 KiB
Current children cumulated memory: 6616 KiB
[startup+1804.8 s]
/proc/loadavg: 2.10 2.06 2.02 3/187 4829
/proc/meminfo: memFree=20125296/32770624 swapFree=67108860/67108860
[pid=4714] ppid=4711 vsize=29844 memory=6616 CPUtime=1804.84 cores=1,3,5,7
/proc/4714/stat : 4714 (miniBTD) R 4711 4714 3913 0 -1 4202496 15054 0 0 0 180216 268 0 0 20 0 1 0 102710828 30560256 1654 33554432000 4194304 5224696 140735062041568 140735062040584 4630919 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7325440 7329888 19456000 140735062045877 140735062045959 140735062045959 140735062048717 0
/proc/4714/statm: 7461 1654 665 252 0 1007 0
Current children cumulated CPU time: 1804.84 s
Current children cumulated vsize: 29844 KiB
Current children cumulated memory: 6616 KiB
[startup+1806.4 s]
/proc/loadavg: 2.10 2.06 2.02 3/187 4829
/proc/meminfo: memFree=20125296/32770624 swapFree=67108860/67108860
[pid=4714] ppid=4711 vsize=29844 memory=6616 CPUtime=1806.44 cores=1,3,5,7
/proc/4714/stat : 4714 (miniBTD) R 4711 4714 3913 0 -1 4202496 15054 0 0 0 180376 268 0 0 20 0 1 0 102710828 30560256 1654 33554432000 4194304 5224696 140735062041568 140735062040584 139774312329596 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7325440 7329888 19456000 140735062045877 140735062045959 140735062045959 140735062048717 0
/proc/4714/statm: 7461 1654 665 252 0 1007 0
Current children cumulated CPU time: 1806.44 s
Current children cumulated vsize: 29844 KiB
Current children cumulated memory: 6616 KiB
[startup+1806.8 s]
/proc/loadavg: 2.10 2.06 2.02 3/187 4829
/proc/meminfo: memFree=20125296/32770624 swapFree=67108860/67108860
[pid=4714] ppid=4711 vsize=29844 memory=6616 CPUtime=1806.84 cores=1,3,5,7
/proc/4714/stat : 4714 (miniBTD) R 4711 4714 3913 0 -1 4202496 15054 0 0 0 180416 268 0 0 20 0 1 0 102710828 30560256 1654 33554432000 4194304 5224696 140735062041568 140735062040584 4630919 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7325440 7329888 19456000 140735062045877 140735062045959 140735062045959 140735062048717 0
/proc/4714/statm: 7461 1654 665 252 0 1007 0
Current children cumulated CPU time: 1806.84 s
Current children cumulated vsize: 29844 KiB
Current children cumulated memory: 6616 KiB
[startup+1807.2 s]
/proc/loadavg: 2.10 2.06 2.02 3/187 4829
/proc/meminfo: memFree=20125296/32770624 swapFree=67108860/67108860
[pid=4714] ppid=4711 vsize=29844 memory=6616 CPUtime=1807.24 cores=1,3,5,7
/proc/4714/stat : 4714 (miniBTD) R 4711 4714 3913 0 -1 4202496 15054 0 0 0 180456 268 0 0 20 0 1 0 102710828 30560256 1654 33554432000 4194304 5224696 140735062041568 140735062040584 139774312329596 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7325440 7329888 19456000 140735062045877 140735062045959 140735062045959 140735062048717 0
/proc/4714/statm: 7461 1654 665 252 0 1007 0
Current children cumulated CPU time: 1807.24 s
Current children cumulated vsize: 29844 KiB
Current children cumulated memory: 6616 KiB
Child status: 0
Real time (s): 1807.2
CPU time (s): 1807.25
CPU user time (s): 1804.57
CPU system time (s): 2.68707
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 29844
Max. memory (cumulated for all children) (KiB): 6616
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1804.57
system time used= 2.68707
maximum resident set size= 6636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15122
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= 7
involuntary context switches= 517
# summary of solver processes directly reported to runsolver:
# pid: 4714
# total CPU time (s): 1807.25
# total CPU user time (s): 1804.57
# total CPU system time (s): 2.68707
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.85092 second user time and 12.0699 second system time
The end