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 (15380 MiB free)
memory of node 1: 16384 MiB (15536 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4386750-1568280925/watcher-4386750-1568280925 -o /tmp/evaluation-result-4386750-1568280925/solver-4386750-1568280925 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1568280868-5553 --watchdog 2580 BTD 2520 HOME/instance-4386750-1568280925.xml
running on 4 cores: 0,2,4,6
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=5644, runsolver pid=5641
[startup+0.100202 s]*
/proc/loadavg: 0.68 0.16 0.09 3/199 5645
/proc/meminfo: memFree=31655048/32770624 swapFree=66992500/67108860
[pid=5644] ppid=5641 vsize=37132 memory=6400 CPUtime=0.09 cores=0,2,4,6
/proc/5644/stat : 5644 (BTD) R 5641 5644 5522 0 -1 4202496 1825 0 0 0 9 0 0 0 20 0 1 0 404343988 38023168 1600 33554432000 4194304 36700936 140727552572176 140727552572176 7949654 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 69017600 140727552578600 140727552578676 140727552578676 140727552581585 0
/proc/5644/statm: 9283 1600 450 7937 0 1311 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 37132 KiB
Current children cumulated memory: 6400 KiB
[startup+0.210028 s]*
/proc/loadavg: 0.68 0.16 0.09 3/199 5645
/proc/meminfo: memFree=31648600/32770624 swapFree=66992500/67108860
[pid=5644] ppid=5641 vsize=43732 memory=13000 CPUtime=0.2 cores=0,2,4,6
/proc/5644/stat : 5644 (BTD) R 5641 5644 5522 0 -1 4202496 3481 0 0 0 20 0 0 0 20 0 1 0 404343988 44781568 3250 33554432000 4194304 36700936 140727552572176 140727552572176 7949654 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 69017600 140727552578600 140727552578676 140727552578676 140727552581585 0
/proc/5644/statm: 10933 3250 450 7937 0 2961 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 43732 KiB
Current children cumulated memory: 13000 KiB
[startup+0.309687 s]*
/proc/loadavg: 0.68 0.16 0.09 3/199 5645
/proc/meminfo: memFree=31642896/32770624 swapFree=66992500/67108860
[pid=5644] ppid=5641 vsize=49408 memory=18808 CPUtime=0.3 cores=0,2,4,6
/proc/5644/stat : 5644 (BTD) R 5641 5644 5522 0 -1 4202496 4913 0 0 0 29 1 0 0 20 0 1 0 404343988 50593792 4702 33554432000 4194304 36700936 140727552572176 140727552565624 7705006 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 69017600 140727552578600 140727552578676 140727552578676 140727552581585 0
/proc/5644/statm: 12352 4702 450 7937 0 4380 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 49408 KiB
Current children cumulated memory: 18808 KiB
[startup+0.700365 s]
/proc/loadavg: 0.68 0.16 0.09 3/199 5645
/proc/meminfo: memFree=31631736/32770624 swapFree=66992500/67108860
[pid=5644] ppid=5641 vsize=69868 memory=39400 CPUtime=0.69 cores=0,2,4,6
/proc/5644/stat : 5644 (BTD) R 5641 5644 5522 0 -1 4202496 10035 0 0 0 67 2 0 0 20 0 1 0 404343988 71544832 9850 33554432000 4194304 36700936 140727552572176 140727552565624 7949654 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 69017600 140727552578600 140727552578676 140727552578676 140727552581585 0
/proc/5644/statm: 17467 9850 450 7937 0 9495 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 69868 KiB
Current children cumulated memory: 39400 KiB
[startup+1.50037 s]
/proc/loadavg: 0.68 0.16 0.09 3/199 5645
/proc/meminfo: memFree=31606688/32770624 swapFree=66992500/67108860
[pid=5644] ppid=5641 vsize=107488 memory=76888 CPUtime=1.48 cores=0,2,4,6
/proc/5644/stat : 5644 (BTD) R 5641 5644 5522 0 -1 4202496 19429 0 0 0 144 4 0 0 20 0 1 0 404343988 110067712 19222 33554432000 4194304 36700936 140727552572176 140727552565096 7949654 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 69017600 140727552578600 140727552578676 140727552578676 140727552581585 0
/proc/5644/statm: 26872 19222 450 7937 0 18900 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 107488 KiB
Current children cumulated memory: 76888 KiB
[startup+3.1099 s]
/proc/loadavg: 0.68 0.16 0.09 3/199 5645
/proc/meminfo: memFree=31521648/32770624 swapFree=66992500/67108860
[pid=5644] ppid=5641 vsize=169316 memory=139260 CPUtime=3.09 cores=0,2,4,6
/proc/5644/stat : 5644 (BTD) R 5641 5644 5522 0 -1 4202496 61268 0 0 0 301 8 0 0 20 0 1 0 404343988 173379584 34815 33554432000 4194304 36700936 140727552572176 140727552565096 4468772 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 69017600 140727552578600 140727552578676 140727552578676 140727552581585 0
/proc/5644/statm: 42329 34815 521 7937 0 34357 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 169316 KiB
Current children cumulated memory: 139260 KiB
[startup+6.30042 s]
/proc/loadavg: 0.79 0.19 0.10 3/200 5648
/proc/meminfo: memFree=31520420/32770624 swapFree=66992500/67108860
[pid=5644] ppid=5641 vsize=169932 memory=139596 CPUtime=6.29 cores=0,2,4,6
/proc/5644/stat : 5644 (BTD) R 5641 5644 5522 0 -1 4202496 96279 0 0 0 619 10 0 0 20 0 1 0 404343988 174010368 34899 33554432000 4194304 36700936 140727552572176 140727552571224 4468779 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 69017600 140727552578600 140727552578676 140727552578676 140727552581585 0
/proc/5644/statm: 42483 34899 536 7937 0 34511 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 169932 KiB
Current children cumulated memory: 139596 KiB
[startup+12.7004 s]
/proc/loadavg: 0.88 0.22 0.11 3/200 5648
/proc/meminfo: memFree=31520668/32770624 swapFree=66992500/67108860
[pid=5644] ppid=5641 vsize=169932 memory=139596 CPUtime=12.69 cores=0,2,4,6
/proc/5644/stat : 5644 (BTD) R 5641 5644 5522 0 -1 4202496 126903 0 0 0 1258 11 0 0 20 0 1 0 404343988 174010368 34899 33554432000 4194304 36700936 140727552572176 140727552571224 4468783 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 69017600 140727552578600 140727552578676 140727552578676 140727552581585 0
/proc/5644/statm: 42483 34899 536 7937 0 34511 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 169932 KiB
Current children cumulated memory: 139596 KiB
[startup+25.5004 s]
/proc/loadavg: 1.06 0.29 0.14 3/199 5710
/proc/meminfo: memFree=31041044/32770624 swapFree=66992500/67108860
[pid=5644] ppid=5641 vsize=169932 memory=139596 CPUtime=25.49 cores=0,2,4,6
/proc/5644/stat : 5644 (BTD) R 5641 5644 5522 0 -1 4202496 185513 0 0 0 2535 14 0 0 20 0 1 0 404343988 174010368 34899 33554432000 4194304 36700936 140727552572176 140727552571224 8340231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 69017600 140727552578600 140727552578676 140727552578676 140727552581585 0
/proc/5644/statm: 42483 34899 536 7937 0 34511 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 169932 KiB
Current children cumulated memory: 139596 KiB
[startup+51.1099 s]
/proc/loadavg: 1.38 0.43 0.19 3/200 5712
/proc/meminfo: memFree=30714300/32770624 swapFree=66992500/67108860
[pid=5644] ppid=5641 vsize=169932 memory=139596 CPUtime=51.1 cores=0,2,4,6
/proc/5644/stat : 5644 (BTD) R 5641 5644 5522 0 -1 4202496 218786 0 0 0 5092 18 0 0 20 0 1 0 404343988 174010368 34899 33554432000 4194304 36700936 140727552572176 140727552571224 4463630 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 69017600 140727552578600 140727552578676 140727552578676 140727552581585 0
/proc/5644/statm: 42483 34899 536 7937 0 34511 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 169932 KiB
Current children cumulated memory: 139596 KiB
[startup+102.3 s]
/proc/loadavg: 1.73 0.67 0.28 3/199 5716
/proc/meminfo: memFree=30443692/32770624 swapFree=66992500/67108860
[pid=5644] ppid=5641 vsize=169932 memory=139612 CPUtime=102.27 cores=0,2,4,6
/proc/5644/stat : 5644 (BTD) R 5641 5644 5522 0 -1 4202496 243568 0 0 0 10204 23 0 0 20 0 1 0 404343988 174010368 34903 33554432000 4194304 36700936 140727552572176 140727552571224 8340231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 69017600 140727552578600 140727552578676 140727552578676 140727552581585 0
/proc/5644/statm: 42483 34903 536 7937 0 34511 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 169932 KiB
Current children cumulated memory: 139612 KiB
[startup+162.3 s]
/proc/loadavg: 1.90 0.91 0.39 3/199 5720
/proc/meminfo: memFree=30216252/32770624 swapFree=66992500/67108860
[pid=5644] ppid=5641 vsize=169932 memory=139740 CPUtime=162.26 cores=0,2,4,6
/proc/5644/stat : 5644 (BTD) R 5641 5644 5522 0 -1 4202496 252460 0 0 0 16196 30 0 0 20 0 1 0 404343988 174010368 34935 33554432000 4194304 36700936 140727552572176 140727552571224 4313455 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 69017600 140727552578600 140727552578676 140727552578676 140727552581585 0
/proc/5644/statm: 42483 34935 536 7937 0 34511 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 169932 KiB
Current children cumulated memory: 139740 KiB
[startup+222.3 s]
/proc/loadavg: 1.96 1.11 0.49 3/199 5724
/proc/meminfo: memFree=30027776/32770624 swapFree=66992500/67108860
[pid=5644] ppid=5641 vsize=169932 memory=139740 CPUtime=222.27 cores=0,2,4,6
/proc/5644/stat : 5644 (BTD) R 5641 5644 5522 0 -1 4202496 252610 0 0 0 22191 36 0 0 20 0 1 0 404343988 174010368 34935 33554432000 4194304 36700936 140727552572176 140727552571224 8340231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 69017600 140727552578600 140727552578676 140727552578676 140727552581585 0
/proc/5644/statm: 42483 34935 536 7937 0 34511 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 169932 KiB
Current children cumulated memory: 139740 KiB
[startup+282.3 s]
/proc/loadavg: 1.99 1.27 0.59 3/199 5730
/proc/meminfo: memFree=29862604/32770624 swapFree=66992500/67108860
[pid=5644] ppid=5641 vsize=169932 memory=139740 CPUtime=282.27 cores=0,2,4,6
/proc/5644/stat : 5644 (BTD) R 5641 5644 5522 0 -1 4202496 252614 0 0 0 28186 41 0 0 20 0 1 0 404343988 174010368 34935 33554432000 4194304 36700936 140727552572176 140727552571224 8340231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 69017600 140727552578600 140727552578676 140727552578676 140727552581585 0
/proc/5644/statm: 42483 34935 536 7937 0 34511 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 169932 KiB
Current children cumulated memory: 139740 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.41 0.67 3/200 5742
/proc/meminfo: memFree=29712732/32770624 swapFree=66992524/67108860
[pid=5644] ppid=5641 vsize=169932 memory=139764 CPUtime=342.27 cores=0,2,4,6
/proc/5644/stat : 5644 (BTD) R 5641 5644 5522 0 -1 4202496 252767 0 0 0 34181 46 0 0 20 0 1 0 404343988 174010368 34941 33554432000 4194304 36700936 140727552572176 140727552571224 8340231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 69017600 140727552578600 140727552578676 140727552578676 140727552581585 0
/proc/5644/statm: 42483 34941 537 7937 0 34511 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 169932 KiB
Current children cumulated memory: 139764 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.51 0.76 3/200 5746
/proc/meminfo: memFree=29574492/32770624 swapFree=66992524/67108860
[pid=5644] ppid=5641 vsize=169932 memory=139764 CPUtime=402.28 cores=0,2,4,6
/proc/5644/stat : 5644 (BTD) R 5641 5644 5522 0 -1 4202496 252769 0 0 0 40177 51 0 0 20 0 1 0 404343988 174010368 34941 33554432000 4194304 36700936 140727552572176 140727552571224 4468774 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 69017600 140727552578600 140727552578676 140727552578676 140727552581585 0
/proc/5644/statm: 42483 34941 537 7937 0 34511 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 169932 KiB
Current children cumulated memory: 139764 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.60 0.83 3/200 5752
/proc/meminfo: memFree=29444548/32770624 swapFree=66992524/67108860
[pid=5644] ppid=5641 vsize=169932 memory=139764 CPUtime=462.29 cores=0,2,4,6
/proc/5644/stat : 5644 (BTD) R 5641 5644 5522 0 -1 4202496 252926 0 0 0 46173 56 0 0 20 0 1 0 404343988 174010368 34941 33554432000 4194304 36700936 140727552572176 140727552571224 4313030 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 69017600 140727552578600 140727552578676 140727552578676 140727552581585 0
/proc/5644/statm: 42483 34941 537 7937 0 34511 0
Current children cumulated CPU time: 462.29 s
Current children cumulated vsize: 169932 KiB
Current children cumulated memory: 139764 KiB
################
# More data... #
################
/proc/5644/statm: 42483 34951 537 7937 0 34511 0
Current children cumulated CPU time: 1722.41 s
Current children cumulated vsize: 169932 KiB
Current children cumulated memory: 139804 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.73 3/200 5894
/proc/meminfo: memFree=27371352/32770624 swapFree=66992560/67108860
[pid=5644] ppid=5641 vsize=169932 memory=139804 CPUtime=1782.42 cores=0,2,4,6
/proc/5644/stat : 5644 (BTD) R 5641 5644 5522 0 -1 4202496 254673 0 0 0 178048 194 0 0 20 0 1 0 404343988 174010368 34951 33554432000 4194304 36700936 140727552572176 140727552571224 8340231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 69017600 140727552578600 140727552578676 140727552578676 140727552581585 0
/proc/5644/statm: 42483 34951 537 7937 0 34511 0
Current children cumulated CPU time: 1782.42 s
Current children cumulated vsize: 169932 KiB
Current children cumulated memory: 139804 KiB
[startup+1842.3 s]
/proc/loadavg: 2.52 2.14 1.80 3/199 5898
/proc/meminfo: memFree=27294756/32770624 swapFree=66992560/67108860
[pid=5644] ppid=5641 vsize=169932 memory=139804 CPUtime=1842.43 cores=0,2,4,6
/proc/5644/stat : 5644 (BTD) R 5641 5644 5522 0 -1 4202496 254682 0 0 0 184040 203 0 0 20 0 1 0 404343988 174010368 34951 33554432000 4194304 36700936 140727552572176 140727552571224 8340231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 69017600 140727552578600 140727552578676 140727552578676 140727552581585 0
/proc/5644/statm: 42483 34951 537 7937 0 34511 0
Current children cumulated CPU time: 1842.43 s
Current children cumulated vsize: 169932 KiB
Current children cumulated memory: 139804 KiB
[startup+1902.3 s]
/proc/loadavg: 2.19 2.11 1.81 3/199 5904
/proc/meminfo: memFree=27216644/32770624 swapFree=66992560/67108860
[pid=5644] ppid=5641 vsize=169932 memory=139812 CPUtime=1902.44 cores=0,2,4,6
/proc/5644/stat : 5644 (BTD) R 5641 5644 5522 0 -1 4202496 254842 0 0 0 190034 210 0 0 20 0 1 0 404343988 174010368 34953 33554432000 4194304 36700936 140727552572176 140727552571224 4463683 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 69017600 140727552578600 140727552578676 140727552578676 140727552581585 0
/proc/5644/statm: 42483 34953 537 7937 0 34511 0
Current children cumulated CPU time: 1902.44 s
Current children cumulated vsize: 169932 KiB
Current children cumulated memory: 139812 KiB
[startup+1962.3 s]
/proc/loadavg: 2.07 2.09 1.82 3/199 5908
/proc/meminfo: memFree=27141420/32770624 swapFree=66992560/67108860
[pid=5644] ppid=5641 vsize=169932 memory=139812 CPUtime=1962.44 cores=0,2,4,6
/proc/5644/stat : 5644 (BTD) R 5641 5644 5522 0 -1 4202496 254847 0 0 0 196025 219 0 0 20 0 1 0 404343988 174010368 34953 33554432000 4194304 36700936 140727552572176 140727552571224 8340231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 69017600 140727552578600 140727552578676 140727552578676 140727552581585 0
/proc/5644/statm: 42483 34953 537 7937 0 34511 0
Current children cumulated CPU time: 1962.44 s
Current children cumulated vsize: 169932 KiB
Current children cumulated memory: 139812 KiB
[startup+2022.3 s]
/proc/loadavg: 2.03 2.08 1.83 3/199 5912
/proc/meminfo: memFree=27066408/32770624 swapFree=66992560/67108860
[pid=5644] ppid=5641 vsize=169932 memory=139812 CPUtime=2022.45 cores=0,2,4,6
/proc/5644/stat : 5644 (BTD) R 5641 5644 5522 0 -1 4202496 255009 0 0 0 202017 228 0 0 20 0 1 0 404343988 174010368 34953 33554432000 4194304 36700936 140727552572176 140727552571224 4468772 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 69017600 140727552578600 140727552578676 140727552578676 140727552581585 0
/proc/5644/statm: 42483 34953 537 7937 0 34511 0
Current children cumulated CPU time: 2022.45 s
Current children cumulated vsize: 169932 KiB
Current children cumulated memory: 139812 KiB
[startup+2082.3 s]
/proc/loadavg: 2.01 2.06 1.85 3/199 5918
/proc/meminfo: memFree=26991736/32770624 swapFree=66992560/67108860
[pid=5644] ppid=5641 vsize=169932 memory=139812 CPUtime=2082.45 cores=0,2,4,6
/proc/5644/stat : 5644 (BTD) R 5641 5644 5522 0 -1 4202496 255010 0 0 0 208008 237 0 0 20 0 1 0 404343988 174010368 34953 33554432000 4194304 36700936 140727552572176 140727552571224 8340231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 69017600 140727552578600 140727552578676 140727552578676 140727552581585 0
/proc/5644/statm: 42483 34953 537 7937 0 34511 0
Current children cumulated CPU time: 2082.45 s
Current children cumulated vsize: 169932 KiB
Current children cumulated memory: 139812 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.05 1.86 3/199 5929
/proc/meminfo: memFree=26916928/32770624 swapFree=66992568/67108860
[pid=5644] ppid=5641 vsize=169932 memory=139812 CPUtime=2142.47 cores=0,2,4,6
/proc/5644/stat : 5644 (BTD) R 5641 5644 5522 0 -1 4202496 255167 0 0 0 214003 244 0 0 20 0 1 0 404343988 174010368 34953 33554432000 4194304 36700936 140727552572176 140727552571224 8340231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 69017600 140727552578600 140727552578676 140727552578676 140727552581585 0
/proc/5644/statm: 42483 34953 537 7937 0 34511 0
Current children cumulated CPU time: 2142.47 s
Current children cumulated vsize: 169932 KiB
Current children cumulated memory: 139812 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.04 1.87 3/199 5933
/proc/meminfo: memFree=26844320/32770624 swapFree=66992568/67108860
[pid=5644] ppid=5641 vsize=169932 memory=139812 CPUtime=2202.47 cores=0,2,4,6
/proc/5644/stat : 5644 (BTD) R 5641 5644 5522 0 -1 4202496 255172 0 0 0 219996 251 0 0 20 0 1 0 404343988 174010368 34953 33554432000 4194304 36700936 140727552572176 140727552571224 4468797 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 69017600 140727552578600 140727552578676 140727552578676 140727552581585 0
/proc/5644/statm: 42483 34953 537 7937 0 34511 0
Current children cumulated CPU time: 2202.47 s
Current children cumulated vsize: 169932 KiB
Current children cumulated memory: 139812 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.04 1.87 3/199 5939
/proc/meminfo: memFree=26770632/32770624 swapFree=66992568/67108860
[pid=5644] ppid=5641 vsize=169932 memory=139812 CPUtime=2262.47 cores=0,2,4,6
/proc/5644/stat : 5644 (BTD) R 5641 5644 5522 0 -1 4202496 255324 0 0 0 225990 257 0 0 20 0 1 0 404343988 174010368 34953 33554432000 4194304 36700936 140727552572176 140727552571224 4312948 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 69017600 140727552578600 140727552578676 140727552578676 140727552581585 0
/proc/5644/statm: 42483 34953 537 7937 0 34511 0
Current children cumulated CPU time: 2262.47 s
Current children cumulated vsize: 169932 KiB
Current children cumulated memory: 139812 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.03 1.88 3/199 5943
/proc/meminfo: memFree=26699012/32770624 swapFree=66992568/67108860
[pid=5644] ppid=5641 vsize=169932 memory=139812 CPUtime=2322.48 cores=0,2,4,6
/proc/5644/stat : 5644 (BTD) R 5641 5644 5522 0 -1 4202496 255332 0 0 0 231982 266 0 0 20 0 1 0 404343988 174010368 34953 33554432000 4194304 36700936 140727552572176 140727552571224 8340231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 69017600 140727552578600 140727552578676 140727552578676 140727552581585 0
/proc/5644/statm: 42483 34953 537 7937 0 34511 0
Current children cumulated CPU time: 2322.48 s
Current children cumulated vsize: 169932 KiB
Current children cumulated memory: 139812 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.02 1.88 3/199 5947
/proc/meminfo: memFree=26627880/32770624 swapFree=66992568/67108860
[pid=5644] ppid=5641 vsize=169932 memory=139812 CPUtime=2382.49 cores=0,2,4,6
/proc/5644/stat : 5644 (BTD) R 5641 5644 5522 0 -1 4202496 255487 0 0 0 237976 273 0 0 20 0 1 0 404343988 174010368 34953 33554432000 4194304 36700936 140727552572176 140727552571224 4313360 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 69017600 140727552578600 140727552578676 140727552578676 140727552581585 0
/proc/5644/statm: 42483 34953 537 7937 0 34511 0
Current children cumulated CPU time: 2382.49 s
Current children cumulated vsize: 169932 KiB
Current children cumulated memory: 139812 KiB
[startup+2442.3 s]
/proc/loadavg: 2.03 2.04 1.90 3/199 5953
/proc/meminfo: memFree=26557316/32770624 swapFree=66992568/67108860
[pid=5644] ppid=5641 vsize=169932 memory=139812 CPUtime=2442.5 cores=0,2,4,6
/proc/5644/stat : 5644 (BTD) R 5641 5644 5522 0 -1 4202496 255498 0 0 0 243969 281 0 0 20 0 1 0 404343988 174010368 34953 33554432000 4194304 36700936 140727552572176 140727552571224 4387397 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 69017600 140727552578600 140727552578676 140727552578676 140727552581585 0
/proc/5644/statm: 42483 34953 537 7937 0 34511 0
Current children cumulated CPU time: 2442.5 s
Current children cumulated vsize: 169932 KiB
Current children cumulated memory: 139812 KiB
[startup+2502.3 s]
/proc/loadavg: 2.01 2.03 1.90 3/199 5957
/proc/meminfo: memFree=26485068/32770624 swapFree=66992568/67108860
[pid=5644] ppid=5641 vsize=169932 memory=139816 CPUtime=2502.5 cores=0,2,4,6
/proc/5644/stat : 5644 (BTD) R 5641 5644 5522 0 -1 4202496 255658 0 0 0 249963 287 0 0 20 0 1 0 404343988 174010368 34954 33554432000 4194304 36700936 140727552572176 140727552571224 4313353 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 69017600 140727552578600 140727552578676 140727552578676 140727552581585 0
/proc/5644/statm: 42483 34954 537 7937 0 34511 0
Current children cumulated CPU time: 2502.5 s
Current children cumulated vsize: 169932 KiB
Current children cumulated memory: 139816 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2519.8 s]
/proc/loadavg: 2.01 2.03 1.90 3/199 5957
/proc/meminfo: memFree=26465556/32770624 swapFree=66992568/67108860
[pid=5644] ppid=5641 vsize=169932 memory=139816 CPUtime=2520 cores=0,2,4,6
/proc/5644/stat : 5644 (BTD) R 5641 5644 5522 0 -1 4202496 255661 0 0 0 251711 289 0 0 20 0 1 0 404343988 174010368 34954 33554432000 4194304 36700936 140727552572176 140727552571224 4313156 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 69017600 140727552578600 140727552578676 140727552578676 140727552581585 0
/proc/5644/statm: 42483 34954 537 7937 0 34511 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 169932 KiB
Current children cumulated memory: 139816 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2519.8 s]
# the end of solver process 5644 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.12 s, system=2.89729 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): 2519.8
CPU time (s): 2520.01
CPU user time (s): 2517.12
CPU system time (s): 2.89729
CPU usage (%): 100.008
Max. virtual memory (cumulated for all children) (KiB): 169932
Max. memory (cumulated for all children) (KiB): 139816
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.12
system time used= 2.89729
maximum resident set size= 139820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 255661
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= 56
involuntary context switches= 668
# summary of solver processes directly reported to runsolver:
# pid: 5644
# total CPU time (s): 2520.01
# total CPU user time (s): 2517.12
# total CPU system time (s): 2.89729
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.92666 second user time and 20.0581 second system time
The end