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 (15187 MiB free)
memory of node 1: 16384 MiB (15124 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4386744-1568280922/watcher-4386744-1568280922 -o /tmp/evaluation-result-4386744-1568280922/solver-4386744-1568280922 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1568280858-19911 --watchdog 2580 BTD 2520 HOME/instance-4386744-1568280922.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=20004, runsolver pid=20001
[startup+0.100212 s]*
/proc/loadavg: 0.50 0.13 0.08 3/206 20005
/proc/meminfo: memFree=31033604/32770624 swapFree=66965244/67108860
[pid=20004] ppid=20001 vsize=40108 memory=8460 CPUtime=0.1 cores=0,2,4,6
/proc/20004/stat : 20004 (BTD) R 20001 20004 19880 0 -1 4202496 2829 0 0 0 10 0 0 0 20 0 1 0 404341831 41070592 2115 33554432000 4194304 36700936 140733425622416 140733425622416 6924718 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 46739456 140733425624104 140733425624180 140733425624180 140733425627089 0
/proc/20004/statm: 10027 2115 436 7937 0 2055 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40108 KiB
Current children cumulated memory: 8460 KiB
[startup+0.210182 s]*
/proc/loadavg: 0.50 0.13 0.08 3/206 20005
/proc/meminfo: memFree=31031744/32770624 swapFree=66965244/67108860
[pid=20004] ppid=20001 vsize=41692 memory=10044 CPUtime=0.21 cores=0,2,4,6
/proc/20004/stat : 20004 (BTD) R 20001 20004 19880 0 -1 4202496 3206 0 0 0 21 0 0 0 20 0 1 0 404341831 42692608 2511 33554432000 4194304 36700936 140733425622416 140733425622416 6924718 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 46739456 140733425624104 140733425624180 140733425624180 140733425627089 0
/proc/20004/statm: 10423 2511 436 7937 0 2451 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 41692 KiB
Current children cumulated memory: 10044 KiB
[startup+0.310197 s]*
/proc/loadavg: 0.62 0.16 0.09 3/206 20005
/proc/meminfo: memFree=31031372/32770624 swapFree=66965244/67108860
[pid=20004] ppid=20001 vsize=41692 memory=10044 CPUtime=0.31 cores=0,2,4,6
/proc/20004/stat : 20004 (BTD) R 20001 20004 19880 0 -1 4202496 3247 0 0 0 31 0 0 0 20 0 1 0 404341831 42692608 2511 33554432000 4194304 36700936 140733425622416 140733425622416 6924718 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 46739456 140733425624104 140733425624180 140733425624180 140733425627089 0
/proc/20004/statm: 10423 2511 436 7937 0 2451 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 41692 KiB
Current children cumulated memory: 10044 KiB
[startup+0.700415 s]
/proc/loadavg: 0.62 0.16 0.09 3/206 20005
/proc/meminfo: memFree=31030356/32770624 swapFree=66965244/67108860
[pid=20004] ppid=20001 vsize=44104 memory=12420 CPUtime=0.69 cores=0,2,4,6
/proc/20004/stat : 20004 (BTD) R 20001 20004 19880 0 -1 4202496 3806 0 0 0 69 0 0 0 20 0 1 0 404341831 45162496 3105 33554432000 4194304 36700936 140733425622416 140733425619672 6924718 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 46739456 140733425624104 140733425624180 140733425624180 140733425627089 0
/proc/20004/statm: 11026 3105 436 7937 0 3054 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 44104 KiB
Current children cumulated memory: 12420 KiB
[startup+1.50043 s]
/proc/loadavg: 0.62 0.16 0.09 3/206 20005
/proc/meminfo: memFree=31027380/32770624 swapFree=66965244/67108860
[pid=20004] ppid=20001 vsize=49644 memory=17964 CPUtime=1.49 cores=0,2,4,6
/proc/20004/stat : 20004 (BTD) R 20001 20004 19880 0 -1 4202496 5204 0 0 0 149 0 0 0 20 0 1 0 404341831 50835456 4491 33554432000 4194304 36700936 140733425622416 140733425619672 6924718 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 46739456 140733425624104 140733425624180 140733425624180 140733425627089 0
/proc/20004/statm: 12411 4491 436 7937 0 4439 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 49644 KiB
Current children cumulated memory: 17964 KiB
[startup+3.10997 s]
/proc/loadavg: 0.62 0.16 0.09 3/206 20005
/proc/meminfo: memFree=31015972/32770624 swapFree=66965244/67108860
[pid=20004] ppid=20001 vsize=56264 memory=25376 CPUtime=3.1 cores=0,2,4,6
/proc/20004/stat : 20004 (BTD) R 20001 20004 19880 0 -1 4202496 12144 0 0 0 309 1 0 0 20 0 1 0 404341831 57614336 6344 33554432000 4194304 36700936 140733425622416 140733425619672 8340231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 46739456 140733425624104 140733425624180 140733425624180 140733425627089 0
/proc/20004/statm: 14066 6344 488 7937 0 6094 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 56264 KiB
Current children cumulated memory: 25376 KiB
[startup+6.30038 s]
/proc/loadavg: 0.73 0.19 0.10 3/206 20005
/proc/meminfo: memFree=31014928/32770624 swapFree=66965244/67108860
[pid=20004] ppid=20001 vsize=57180 memory=26256 CPUtime=6.29 cores=0,2,4,6
/proc/20004/stat : 20004 (BTD) R 20001 20004 19880 0 -1 4202496 17773 0 0 0 625 4 0 0 20 0 1 0 404341831 58552320 6564 33554432000 4194304 36700936 140733425622416 140733425621464 8340231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 46739456 140733425624104 140733425624180 140733425624180 140733425627089 0
/proc/20004/statm: 14295 6564 488 7937 0 6323 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 57180 KiB
Current children cumulated memory: 26256 KiB
[startup+12.7004 s]
/proc/loadavg: 0.83 0.22 0.11 3/205 20005
/proc/meminfo: memFree=31014680/32770624 swapFree=66965244/67108860
[pid=20004] ppid=20001 vsize=57436 memory=26688 CPUtime=12.69 cores=0,2,4,6
/proc/20004/stat : 20004 (BTD) R 20001 20004 19880 0 -1 4202496 22937 0 0 0 1259 10 0 0 20 0 1 0 404341831 58814464 6672 33554432000 4194304 36700936 140733425622416 140733425621464 8340231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 46739456 140733425624104 140733425624180 140733425624180 140733425627089 0
/proc/20004/statm: 14359 6672 488 7937 0 6387 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 57436 KiB
Current children cumulated memory: 26688 KiB
[startup+25.5004 s]
/proc/loadavg: 1.01 0.28 0.13 3/204 20005
/proc/meminfo: memFree=31013572/32770624 swapFree=66965244/67108860
[pid=20004] ppid=20001 vsize=58460 memory=27280 CPUtime=25.49 cores=0,2,4,6
/proc/20004/stat : 20004 (BTD) R 20001 20004 19880 0 -1 4202496 33488 0 0 0 2529 20 0 0 20 0 1 0 404341831 59863040 6820 33554432000 4194304 36700936 140733425622416 140733425621464 8340231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 46739456 140733425624104 140733425624180 140733425624180 140733425627089 0
/proc/20004/statm: 14615 6820 488 7937 0 6643 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 58460 KiB
Current children cumulated memory: 27280 KiB
[startup+51.1099 s]
/proc/loadavg: 1.54 0.48 0.20 3/205 20009
/proc/meminfo: memFree=31012296/32770624 swapFree=66965244/67108860
[pid=20004] ppid=20001 vsize=58460 memory=27396 CPUtime=51.1 cores=0,2,4,6
/proc/20004/stat : 20004 (BTD) R 20001 20004 19880 0 -1 4202496 38462 0 0 0 5067 43 0 0 20 0 1 0 404341831 59863040 6849 33554432000 4194304 36700936 140733425622416 140733425621464 8340231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 46739456 140733425624104 140733425624180 140733425624180 140733425627089 0
/proc/20004/statm: 14615 6849 488 7937 0 6643 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 58460 KiB
Current children cumulated memory: 27396 KiB
[startup+102.3 s]
/proc/loadavg: 1.95 0.74 0.31 3/205 20077
/proc/meminfo: memFree=30982072/32770624 swapFree=66965244/67108860
[pid=20004] ppid=20001 vsize=58972 memory=27624 CPUtime=102.28 cores=0,2,4,6
/proc/20004/stat : 20004 (BTD) R 20001 20004 19880 0 -1 4202496 44676 0 0 0 10143 85 0 0 20 0 1 0 404341831 60387328 6906 33554432000 4194304 36700936 140733425622416 140733425621464 8340231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 46739456 140733425624104 140733425624180 140733425624180 140733425627089 0
/proc/20004/statm: 14743 6906 488 7937 0 6771 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 58972 KiB
Current children cumulated memory: 27624 KiB
[startup+162.3 s]
/proc/loadavg: 1.98 0.97 0.41 3/205 20081
/proc/meminfo: memFree=30980756/32770624 swapFree=66965244/67108860
[pid=20004] ppid=20001 vsize=59484 memory=28128 CPUtime=162.28 cores=0,2,4,6
/proc/20004/stat : 20004 (BTD) R 20001 20004 19880 0 -1 4202496 45438 0 0 0 16095 133 0 0 20 0 1 0 404341831 60911616 7032 33554432000 4194304 36700936 140733425622416 140733425621464 8340231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 46739456 140733425624104 140733425624180 140733425624180 140733425627089 0
/proc/20004/statm: 14871 7032 488 7937 0 6899 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 59484 KiB
Current children cumulated memory: 28128 KiB
[startup+222.3 s]
/proc/loadavg: 1.92 1.14 0.51 3/203 20085
/proc/meminfo: memFree=30981804/32770624 swapFree=66965244/67108860
[pid=20004] ppid=20001 vsize=59740 memory=28280 CPUtime=222.28 cores=0,2,4,6
/proc/20004/stat : 20004 (BTD) R 20001 20004 19880 0 -1 4202496 46062 0 0 0 22049 179 0 0 20 0 1 0 404341831 61173760 7070 33554432000 4194304 36700936 140733425622416 140733425621464 8340231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 46739456 140733425624104 140733425624180 140733425624180 140733425627089 0
/proc/20004/statm: 14935 7070 488 7937 0 6963 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 59740 KiB
Current children cumulated memory: 28280 KiB
[startup+282.3 s]
/proc/loadavg: 2.08 1.33 0.61 3/203 20091
/proc/meminfo: memFree=30981868/32770624 swapFree=66965244/67108860
[pid=20004] ppid=20001 vsize=59740 memory=28300 CPUtime=282.28 cores=0,2,4,6
/proc/20004/stat : 20004 (BTD) R 20001 20004 19880 0 -1 4202496 46747 0 0 0 27999 229 0 0 20 0 1 0 404341831 61173760 7075 33554432000 4194304 36700936 140733425622416 140733425621464 8340231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 46739456 140733425624104 140733425624180 140733425624180 140733425627089 0
/proc/20004/statm: 14935 7075 488 7937 0 6963 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 59740 KiB
Current children cumulated memory: 28300 KiB
[startup+342.3 s]
/proc/loadavg: 2.25 1.50 0.71 3/203 20103
/proc/meminfo: memFree=30981336/32770624 swapFree=66965244/67108860
[pid=20004] ppid=20001 vsize=59740 memory=28400 CPUtime=342.27 cores=0,2,4,6
/proc/20004/stat : 20004 (BTD) R 20001 20004 19880 0 -1 4202496 47460 0 0 0 33948 279 0 0 20 0 1 0 404341831 61173760 7100 33554432000 4194304 36700936 140733425622416 140733425621464 8340231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 46739456 140733425624104 140733425624180 140733425624180 140733425627089 0
/proc/20004/statm: 14935 7100 488 7937 0 6963 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 59740 KiB
Current children cumulated memory: 28400 KiB
[startup+373.761 s]
# the end of solver process 20004 was just reported to runsolver
# cumulated CPU time of all completed processes: user=370.695 s, system=3.04891 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+358.4 s]
/proc/loadavg: 2.42 1.57 0.75 3/203 20103
/proc/meminfo: memFree=30981700/32770624 swapFree=66965244/67108860
[pid=20004] ppid=20001 vsize=59996 memory=28520 CPUtime=358.37 cores=0,2,4,6
/proc/20004/stat : 20004 (BTD) R 20001 20004 19880 0 -1 4202496 47935 0 0 0 35545 292 0 0 20 0 1 0 404341831 61435904 7130 33554432000 4194304 36700936 140733425622416 140733425621464 8340231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 46739456 140733425624104 140733425624180 140733425624180 140733425627089 0
/proc/20004/statm: 14999 7130 488 7937 0 7027 0
Current children cumulated CPU time: 358.37 s
Current children cumulated vsize: 59996 KiB
Current children cumulated memory: 28520 KiB
[startup+364.8 s]
/proc/loadavg: 2.46 1.60 0.76 3/204 20105
/proc/meminfo: memFree=30981188/32770624 swapFree=66965244/67108860
[pid=20004] ppid=20001 vsize=59996 memory=28520 CPUtime=364.77 cores=0,2,4,6
/proc/20004/stat : 20004 (BTD) R 20001 20004 19880 0 -1 4202496 48068 0 0 0 36179 298 0 0 20 0 1 0 404341831 61435904 7130 33554432000 4194304 36700936 140733425622416 140733425621464 8340231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 46739456 140733425624104 140733425624180 140733425624180 140733425627089 0
/proc/20004/statm: 14999 7130 488 7937 0 7027 0
Current children cumulated CPU time: 364.77 s
Current children cumulated vsize: 59996 KiB
Current children cumulated memory: 28520 KiB
[startup+368 s]*
/proc/loadavg: 2.51 1.62 0.78 3/203 20105
/proc/meminfo: memFree=30981188/32770624 swapFree=66965244/67108860
[pid=20004] ppid=20001 vsize=59996 memory=28528 CPUtime=367.99 cores=0,2,4,6
/proc/20004/stat : 20004 (BTD) R 20001 20004 19880 0 -1 4202496 48076 0 0 0 36498 301 0 0 20 0 1 0 404341831 61435904 7132 33554432000 4194304 36700936 140733425622416 140733425621464 8340231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 46739456 140733425624104 140733425624180 140733425624180 140733425627089 0
/proc/20004/statm: 14999 7132 488 7937 0 7027 0
Current children cumulated CPU time: 367.99 s
Current children cumulated vsize: 59996 KiB
Current children cumulated memory: 28528 KiB
[startup+371.2 s]
/proc/loadavg: 2.54 1.64 0.79 3/203 20105
/proc/meminfo: memFree=30981576/32770624 swapFree=66965244/67108860
[pid=20004] ppid=20001 vsize=59996 memory=28528 CPUtime=371.17 cores=0,2,4,6
/proc/20004/stat : 20004 (BTD) R 20001 20004 19880 0 -1 4202496 48078 0 0 0 36815 302 0 0 20 0 1 0 404341831 61435904 7132 33554432000 4194304 36700936 140733425622416 140733425621464 8340231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 46739456 140733425624104 140733425624180 140733425624180 140733425627089 0
/proc/20004/statm: 14999 7132 488 7937 0 7027 0
Current children cumulated CPU time: 371.17 s
Current children cumulated vsize: 59996 KiB
Current children cumulated memory: 28528 KiB
[startup+372.8 s]
/proc/loadavg: 2.54 1.64 0.79 3/203 20105
/proc/meminfo: memFree=30981700/32770624 swapFree=66965244/67108860
[pid=20004] ppid=20001 vsize=59996 memory=28528 CPUtime=372.78 cores=0,2,4,6
/proc/20004/stat : 20004 (BTD) R 20001 20004 19880 0 -1 4202496 48082 0 0 0 36974 304 0 0 20 0 1 0 404341831 61435904 7132 33554432000 4194304 36700936 140733425622416 140733425621464 8340231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 46739456 140733425624104 140733425624180 140733425624180 140733425627089 0
/proc/20004/statm: 14999 7132 488 7937 0 7027 0
Current children cumulated CPU time: 372.78 s
Current children cumulated vsize: 59996 KiB
Current children cumulated memory: 28528 KiB
[startup+373.2 s]
/proc/loadavg: 2.54 1.64 0.79 3/203 20105
/proc/meminfo: memFree=30981700/32770624 swapFree=66965244/67108860
[pid=20004] ppid=20001 vsize=59996 memory=28528 CPUtime=373.18 cores=0,2,4,6
/proc/20004/stat : 20004 (BTD) R 20001 20004 19880 0 -1 4202496 48082 0 0 0 37014 304 0 0 20 0 1 0 404341831 61435904 7132 33554432000 4194304 36700936 140733425622416 140733425621464 8340231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 46739456 140733425624104 140733425624180 140733425624180 140733425627089 0
/proc/20004/statm: 14999 7132 488 7937 0 7027 0
Current children cumulated CPU time: 373.18 s
Current children cumulated vsize: 59996 KiB
Current children cumulated memory: 28528 KiB
[startup+373.6 s]
/proc/loadavg: 2.54 1.64 0.79 3/203 20105
/proc/meminfo: memFree=30981700/32770624 swapFree=66965244/67108860
[pid=20004] ppid=20001 vsize=59996 memory=28528 CPUtime=373.57 cores=0,2,4,6
/proc/20004/stat : 20004 (BTD) R 20001 20004 19880 0 -1 4202496 48082 0 0 0 37053 304 0 0 20 0 1 0 404341831 61435904 7132 33554432000 4194304 36700936 140733425622416 140733425621464 8340231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 46739456 140733425624104 140733425624180 140733425624180 140733425627089 0
/proc/20004/statm: 14999 7132 488 7937 0 7027 0
Current children cumulated CPU time: 373.57 s
Current children cumulated vsize: 59996 KiB
Current children cumulated memory: 28528 KiB
[startup+373.7 s]
/proc/loadavg: 2.54 1.64 0.79 3/203 20105
/proc/meminfo: memFree=30981700/32770624 swapFree=66965244/67108860
[pid=20004] ppid=20001 vsize=59996 memory=28528 CPUtime=373.67 cores=0,2,4,6
/proc/20004/stat : 20004 (BTD) R 20001 20004 19880 0 -1 4202496 48082 0 0 0 37063 304 0 0 20 0 1 0 404341831 61435904 7132 33554432000 4194304 36700936 140733425622416 140733425621464 8340231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 46739456 140733425624104 140733425624180 140733425624180 140733425627089 0
/proc/20004/statm: 14999 7132 488 7937 0 7027 0
Current children cumulated CPU time: 373.67 s
Current children cumulated vsize: 59996 KiB
Current children cumulated memory: 28528 KiB
Child status: 0
Real time (s): 373.761
CPU time (s): 373.744
CPU user time (s): 370.695
CPU system time (s): 3.04891
CPU usage (%): 99.9952
Max. virtual memory (cumulated for all children) (KiB): 59996
Max. memory (cumulated for all children) (KiB): 28528
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 370.695
system time used= 3.04892
maximum resident set size= 28528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48139
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= 13
involuntary context switches= 140
# summary of solver processes directly reported to runsolver:
# pid: 20004
# total CPU time (s): 373.744
# total CPU user time (s): 370.695
# total CPU system time (s): 3.04891
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.48089 second user time and 2.7158 second system time
The end