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 (5833 MiB free)
memory of node 1: 16384 MiB (10187 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4386714-1568280913/watcher-4386714-1568280913 -o /tmp/evaluation-result-4386714-1568280913/solver-4386714-1568280913 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node123-1568280874-3685 --watchdog 2580 BTD 2520 HOME/instance-4386714-1568280913.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=3716, runsolver pid=3709
[startup+0.100167 s]*
/proc/loadavg: 0.16 0.05 0.06 3/199 3717
/proc/meminfo: memFree=16404624/32770624 swapFree=66999904/67108860
[pid=3716] ppid=3709 vsize=33976 memory=456 CPUtime=0 cores=0,2,4,6
/proc/3716/stat : 3716 (runsolver) D 3709 3716 3654 0 -1 4202560 122 0 0 0 0 0 0 0 20 0 1 0 404356751 34791424 114 33554432000 4194304 4346622 140729144340128 140729144336232 140368335219191 0 0 4096 24578 18446744071580996127 0 0 17 6 0 0 0 0 0 6446216 6449568 24322048 140729144345337 140729144345709 140729144345709 140729144348618 0
/proc/3716/statm: 8494 114 52 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 456 KiB
[startup+0.209675 s]*
/proc/loadavg: 0.16 0.05 0.06 4/199 3717
/proc/meminfo: memFree=16396944/32770624 swapFree=66999904/67108860
[pid=3716] ppid=3709 vsize=35712 memory=5312 CPUtime=0.05 cores=0,2,4,6
/proc/3716/stat : 3716 (BTD) R 3709 3716 3654 0 -1 4202496 1466 0 0 0 5 0 0 0 20 0 1 0 404356751 36569088 1328 33554432000 4194304 36700936 140721764059168 140721764053416 7949654 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38800048 38936640 69644288 140721764062248 140721764062324 140721764062324 140721764065233 0
/proc/3716/statm: 8928 1328 455 7937 0 956 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 35712 KiB
Current children cumulated memory: 5312 KiB
[startup+0.309636 s]*
/proc/loadavg: 0.16 0.05 0.06 4/199 3717
/proc/meminfo: memFree=16392012/32770624 swapFree=66999904/67108860
[pid=3716] ppid=3709 vsize=38204 memory=7688 CPUtime=0.15 cores=0,2,4,6
/proc/3716/stat : 3716 (BTD) R 3709 3716 3654 0 -1 4202496 2097 0 0 0 15 0 0 0 20 0 1 0 404356751 39120896 1922 33554432000 4194304 36700936 140721764059168 140721764053416 7949654 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38800048 38936640 69644288 140721764062248 140721764062324 140721764062324 140721764065233 0
/proc/3716/statm: 9551 1922 455 7937 0 1579 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 38204 KiB
Current children cumulated memory: 7688 KiB
[startup+0.700281 s]
/proc/loadavg: 0.16 0.05 0.06 4/199 3717
/proc/meminfo: memFree=16385504/32770624 swapFree=66999904/67108860
[pid=3716] ppid=3709 vsize=43908 memory=13260 CPUtime=0.54 cores=0,2,4,6
/proc/3716/stat : 3716 (BTD) R 3709 3716 3654 0 -1 4202496 3469 0 0 0 52 2 0 0 20 0 1 0 404356751 44961792 3315 33554432000 4194304 36700936 140721764059168 140721764053224 7949654 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38800048 38936640 69644288 140721764062248 140721764062324 140721764062324 140721764065233 0
/proc/3716/statm: 10977 3315 457 7937 0 3005 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 43908 KiB
Current children cumulated memory: 13260 KiB
[startup+1.50026 s]
/proc/loadavg: 0.16 0.05 0.06 5/199 3717
/proc/meminfo: memFree=16320312/32770624 swapFree=66999904/67108860
[pid=3716] ppid=3709 vsize=51228 memory=19832 CPUtime=1.33 cores=0,2,4,6
/proc/3716/stat : 3716 (BTD) R 3709 3716 3654 0 -1 4202496 5277 0 0 0 131 2 0 0 20 0 1 0 404356751 52457472 4958 33554432000 4194304 36700936 140721764059168 140721764053160 4225524 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38800048 38936640 69644288 140721764062248 140721764062324 140721764062324 140721764065233 0
/proc/3716/statm: 12807 4958 457 7937 0 4835 0
Current children cumulated CPU time: 1.33 s
Current children cumulated vsize: 51228 KiB
Current children cumulated memory: 19832 KiB
[startup+3.10936 s]
/proc/loadavg: 0.31 0.08 0.07 5/199 3717
/proc/meminfo: memFree=16249168/32770624 swapFree=66999904/67108860
[pid=3716] ppid=3709 vsize=156084 memory=84604 CPUtime=2.94 cores=0,2,4,6
/proc/3716/stat : 3716 (BTD) R 3709 3716 3654 0 -1 4202496 31382 0 0 0 290 4 0 0 20 0 1 0 404356751 159830016 21151 33554432000 4194304 36700936 140721764059168 140721764057560 4468774 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38800048 38936640 69644288 140721764062248 140721764062324 140721764062324 140721764065233 0
/proc/3716/statm: 39021 21151 523 7937 0 31049 0
Current children cumulated CPU time: 2.94 s
Current children cumulated vsize: 156084 KiB
Current children cumulated memory: 84604 KiB
[startup+6.30028 s]
/proc/loadavg: 0.31 0.08 0.07 5/199 3717
/proc/meminfo: memFree=16249492/32770624 swapFree=66999904/67108860
[pid=3716] ppid=3709 vsize=156084 memory=84724 CPUtime=6.13 cores=0,2,4,6
/proc/3716/stat : 3716 (BTD) R 3709 3716 3654 0 -1 4202496 37581 0 0 0 609 4 0 0 20 0 1 0 404356751 159830016 21181 33554432000 4194304 36700936 140721764059168 140721764058216 4468774 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38800048 38936640 69644288 140721764062248 140721764062324 140721764062324 140721764065233 0
/proc/3716/statm: 39021 21181 534 7937 0 31049 0
Current children cumulated CPU time: 6.13 s
Current children cumulated vsize: 156084 KiB
Current children cumulated memory: 84724 KiB
[startup+12.7003 s]
/proc/loadavg: 0.57 0.14 0.09 5/199 3717
/proc/meminfo: memFree=16249836/32770624 swapFree=66999904/67108860
[pid=3716] ppid=3709 vsize=156084 memory=84736 CPUtime=12.54 cores=0,2,4,6
/proc/3716/stat : 3716 (BTD) R 3709 3716 3654 0 -1 4202496 43992 0 0 0 1249 5 0 0 20 0 1 0 404356751 159830016 21184 33554432000 4194304 36700936 140721764059168 140721764058216 4468774 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38800048 38936640 69644288 140721764062248 140721764062324 140721764062324 140721764065233 0
/proc/3716/statm: 39021 21184 534 7937 0 31049 0
Current children cumulated CPU time: 12.54 s
Current children cumulated vsize: 156084 KiB
Current children cumulated memory: 84736 KiB
[startup+25.5003 s]
/proc/loadavg: 0.79 0.20 0.11 5/200 3719
/proc/meminfo: memFree=16249396/32770624 swapFree=66999904/67108860
[pid=3716] ppid=3709 vsize=156084 memory=84744 CPUtime=25.33 cores=0,2,4,6
/proc/3716/stat : 3716 (BTD) R 3709 3716 3654 0 -1 4202496 56761 0 0 0 2528 5 0 0 20 0 1 0 404356751 159830016 21186 33554432000 4194304 36700936 140721764059168 140721764058216 4468774 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38800048 38936640 69644288 140721764062248 140721764062324 140721764062324 140721764065233 0
/proc/3716/statm: 39021 21186 534 7937 0 31049 0
Current children cumulated CPU time: 25.33 s
Current children cumulated vsize: 156084 KiB
Current children cumulated memory: 84744 KiB
[startup+51.1093 s]
/proc/loadavg: 1.20 0.35 0.16 5/199 3719
/proc/meminfo: memFree=16248624/32770624 swapFree=66999904/67108860
[pid=3716] ppid=3709 vsize=156084 memory=84824 CPUtime=50.94 cores=0,2,4,6
/proc/3716/stat : 3716 (BTD) R 3709 3716 3654 0 -1 4202496 63347 0 0 0 5087 7 0 0 20 0 1 0 404356751 159830016 21206 33554432000 4194304 36700936 140721764059168 140721764058216 4468772 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38800048 38936640 69644288 140721764062248 140721764062324 140721764062324 140721764065233 0
/proc/3716/statm: 39021 21206 534 7937 0 31049 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 156084 KiB
Current children cumulated memory: 84824 KiB
[startup+102.3 s]
/proc/loadavg: 1.68 0.63 0.26 5/199 3723
/proc/meminfo: memFree=16245052/32770624 swapFree=66999904/67108860
[pid=3716] ppid=3709 vsize=156084 memory=84832 CPUtime=102.11 cores=0,2,4,6
/proc/3716/stat : 3716 (BTD) R 3709 3716 3654 0 -1 4202496 70726 0 0 0 10202 9 0 0 20 0 1 0 404356751 159830016 21208 33554432000 4194304 36700936 140721764059168 140721764058216 4468772 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38800048 38936640 69644288 140721764062248 140721764062324 140721764062324 140721764065233 0
/proc/3716/statm: 39021 21208 534 7937 0 31049 0
Current children cumulated CPU time: 102.11 s
Current children cumulated vsize: 156084 KiB
Current children cumulated memory: 84832 KiB
[startup+162.3 s]
/proc/loadavg: 1.88 0.88 0.37 4/199 3729
/proc/meminfo: memFree=16204568/32770624 swapFree=66999904/67108860
[pid=3716] ppid=3709 vsize=156216 memory=124988 CPUtime=162.1 cores=0,2,4,6
/proc/3716/stat : 3716 (BTD) R 3709 3716 3654 0 -1 4202496 72400 0 0 0 16199 11 0 0 20 0 1 0 404356751 159965184 31247 33554432000 4194304 36700936 140721764059168 140721764058216 4468779 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38800048 38936640 69644288 140721764062248 140721764062324 140721764062324 140721764065233 0
/proc/3716/statm: 39054 31247 534 7937 0 31082 0
Current children cumulated CPU time: 162.1 s
Current children cumulated vsize: 156216 KiB
Current children cumulated memory: 124988 KiB
[startup+222.3 s]
/proc/loadavg: 1.96 1.08 0.47 4/199 3733
/proc/meminfo: memFree=16204604/32770624 swapFree=66999904/67108860
[pid=3716] ppid=3709 vsize=156216 memory=125276 CPUtime=222.09 cores=0,2,4,6
/proc/3716/stat : 3716 (BTD) R 3709 3716 3654 0 -1 4202496 73089 0 0 0 22196 13 0 0 20 0 1 0 404356751 159965184 31319 33554432000 4194304 36700936 140721764059168 140721764058216 4468772 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38800048 38936640 69644288 140721764062248 140721764062324 140721764062324 140721764065233 0
/proc/3716/statm: 39054 31319 534 7937 0 31082 0
Current children cumulated CPU time: 222.09 s
Current children cumulated vsize: 156216 KiB
Current children cumulated memory: 125276 KiB
[startup+282.3 s]
/proc/loadavg: 1.98 1.25 0.57 5/199 3737
/proc/meminfo: memFree=16205060/32770624 swapFree=66999904/67108860
[pid=3716] ppid=3709 vsize=156348 memory=125340 CPUtime=282.08 cores=0,2,4,6
/proc/3716/stat : 3716 (BTD) R 3709 3716 3654 0 -1 4202496 73756 0 0 0 28193 15 0 0 20 0 1 0 404356751 160100352 31335 33554432000 4194304 36700936 140721764059168 140721764058216 4468774 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38800048 38936640 69644288 140721764062248 140721764062324 140721764062324 140721764065233 0
/proc/3716/statm: 39087 31335 534 7937 0 31115 0
Current children cumulated CPU time: 282.08 s
Current children cumulated vsize: 156348 KiB
Current children cumulated memory: 125340 KiB
[startup+342.3 s]
/proc/loadavg: 1.99 1.39 0.66 4/199 3750
/proc/meminfo: memFree=16202464/32770624 swapFree=66999904/67108860
[pid=3716] ppid=3709 vsize=156808 memory=125616 CPUtime=342.08 cores=0,2,4,6
/proc/3716/stat : 3716 (BTD) R 3709 3716 3654 0 -1 4202496 74580 0 0 0 34190 18 0 0 20 0 1 0 404356751 160571392 31404 33554432000 4194304 36700936 140721764059168 140721764058216 4468794 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38800048 38936640 69644288 140721764062248 140721764062324 140721764062324 140721764065233 0
/proc/3716/statm: 39202 31404 534 7937 0 31230 0
Current children cumulated CPU time: 342.08 s
Current children cumulated vsize: 156808 KiB
Current children cumulated memory: 125616 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.50 0.74 4/199 3754
/proc/meminfo: memFree=16202260/32770624 swapFree=66999904/67108860
[pid=3716] ppid=3709 vsize=156940 memory=126404 CPUtime=402.06 cores=0,2,4,6
/proc/3716/stat : 3716 (BTD) R 3709 3716 3654 0 -1 4202496 75328 0 0 0 40186 20 0 0 20 0 1 0 404356751 160706560 31601 33554432000 4194304 36700936 140721764059168 140721764058216 4468774 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38800048 38936640 69644288 140721764062248 140721764062324 140721764062324 140721764065233 0
/proc/3716/statm: 39235 31601 534 7937 0 31263 0
Current children cumulated CPU time: 402.06 s
Current children cumulated vsize: 156940 KiB
Current children cumulated memory: 126404 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.59 0.82 4/199 3758
/proc/meminfo: memFree=16202740/32770624 swapFree=66999904/67108860
[pid=3716] ppid=3709 vsize=157072 memory=126500 CPUtime=462.05 cores=0,2,4,6
/proc/3716/stat : 3716 (BTD) R 3709 3716 3654 0 -1 4202496 75926 0 0 0 46182 23 0 0 20 0 1 0 404356751 160841728 31625 33554432000 4194304 36700936 140721764059168 140721764058216 4468774 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38800048 38936640 69644288 140721764062248 140721764062324 140721764062324 140721764065233 0
/proc/3716/statm: 39268 31625 534 7937 0 31296 0
Current children cumulated CPU time: 462.05 s
Current children cumulated vsize: 157072 KiB
Current children cumulated memory: 126500 KiB
################
# More data... #
################
/proc/3716/statm: 39926 32270 535 7937 0 31954 0
Current children cumulated CPU time: 1721.92 s
Current children cumulated vsize: 159704 KiB
Current children cumulated memory: 129080 KiB
[startup+1782.3 s]
/proc/loadavg: 2.08 2.01 1.72 4/200 3901
/proc/meminfo: memFree=16198652/32770624 swapFree=66999904/67108860
[pid=3716] ppid=3709 vsize=159704 memory=129120 CPUtime=1781.92 cores=0,2,4,6
/proc/3716/stat : 3716 (BTD) R 3709 3716 3654 0 -1 4202496 93174 0 0 0 178024 168 0 0 20 0 1 0 404356751 163536896 32280 33554432000 4194304 36700936 140721764059168 140721764058216 6947479 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 69644288 140721764062248 140721764062324 140721764062324 140721764065233 0
/proc/3716/statm: 39926 32280 535 7937 0 31954 0
Current children cumulated CPU time: 1781.92 s
Current children cumulated vsize: 159704 KiB
Current children cumulated memory: 129120 KiB
[startup+1842.3 s]
/proc/loadavg: 2.07 2.03 1.75 4/200 3905
/proc/meminfo: memFree=16198364/32770624 swapFree=66999904/67108860
[pid=3716] ppid=3709 vsize=159704 memory=129120 CPUtime=1841.92 cores=0,2,4,6
/proc/3716/stat : 3716 (BTD) R 3709 3716 3654 0 -1 4202496 93830 0 0 0 184012 180 0 0 20 0 1 0 404356751 163536896 32280 33554432000 4194304 36700936 140721764059168 140721764058216 8340231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 69644288 140721764062248 140721764062324 140721764062324 140721764065233 0
/proc/3716/statm: 39926 32280 535 7937 0 31954 0
Current children cumulated CPU time: 1841.92 s
Current children cumulated vsize: 159704 KiB
Current children cumulated memory: 129120 KiB
[startup+1902.3 s]
/proc/loadavg: 2.03 2.02 1.77 4/199 3909
/proc/meminfo: memFree=16197968/32770624 swapFree=66999904/67108860
[pid=3716] ppid=3709 vsize=159704 memory=129136 CPUtime=1901.91 cores=0,2,4,6
/proc/3716/stat : 3716 (BTD) R 3709 3716 3654 0 -1 4202496 94447 0 0 0 189998 193 0 0 20 0 1 0 404356751 163536896 32284 33554432000 4194304 36700936 140721764059168 140721764058216 4468772 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38800048 38936640 69644288 140721764062248 140721764062324 140721764062324 140721764065233 0
/proc/3716/statm: 39926 32284 535 7937 0 31954 0
Current children cumulated CPU time: 1901.91 s
Current children cumulated vsize: 159704 KiB
Current children cumulated memory: 129136 KiB
[startup+1962.3 s]
/proc/loadavg: 2.01 2.02 1.78 4/199 3915
/proc/meminfo: memFree=16198304/32770624 swapFree=66999904/67108860
[pid=3716] ppid=3709 vsize=159704 memory=129140 CPUtime=1961.9 cores=0,2,4,6
/proc/3716/stat : 3716 (BTD) R 3709 3716 3654 0 -1 4202496 95044 0 0 0 195984 206 0 0 20 0 1 0 404356751 163536896 32285 33554432000 4194304 36700936 140721764059168 140721764058216 6947479 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38800048 38936640 69644288 140721764062248 140721764062324 140721764062324 140721764065233 0
/proc/3716/statm: 39926 32285 535 7937 0 31954 0
Current children cumulated CPU time: 1961.9 s
Current children cumulated vsize: 159704 KiB
Current children cumulated memory: 129140 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.79 4/199 3919
/proc/meminfo: memFree=16198424/32770624 swapFree=66999904/67108860
[pid=3716] ppid=3709 vsize=159836 memory=129228 CPUtime=2021.89 cores=0,2,4,6
/proc/3716/stat : 3716 (BTD) R 3709 3716 3654 0 -1 4202496 95817 0 0 0 201971 218 0 0 20 0 1 0 404356751 163672064 32307 33554432000 4194304 36700936 140721764059168 140721764058216 4468774 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38800048 38936640 69644288 140721764062248 140721764062324 140721764062324 140721764065233 0
/proc/3716/statm: 39959 32307 535 7937 0 31987 0
Current children cumulated CPU time: 2021.89 s
Current children cumulated vsize: 159836 KiB
Current children cumulated memory: 129228 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 1.80 4/199 3923
/proc/meminfo: memFree=16198392/32770624 swapFree=66999904/67108860
[pid=3716] ppid=3709 vsize=159836 memory=129228 CPUtime=2081.88 cores=0,2,4,6
/proc/3716/stat : 3716 (BTD) R 3709 3716 3654 0 -1 4202496 96382 0 0 0 207962 226 0 0 20 0 1 0 404356751 163672064 32307 33554432000 4194304 36700936 140721764059168 140721764058216 8340231 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38800048 38936640 69644288 140721764062248 140721764062324 140721764062324 140721764065233 0
/proc/3716/statm: 39959 32307 535 7937 0 31987 0
Current children cumulated CPU time: 2081.88 s
Current children cumulated vsize: 159836 KiB
Current children cumulated memory: 129228 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 1.81 4/199 3936
/proc/meminfo: memFree=16198364/32770624 swapFree=66999904/67108860
[pid=3716] ppid=3709 vsize=159836 memory=129228 CPUtime=2141.87 cores=0,2,4,6
/proc/3716/stat : 3716 (BTD) R 3709 3716 3654 0 -1 4202496 96947 0 0 0 213949 238 0 0 20 0 1 0 404356751 163672064 32307 33554432000 4194304 36700936 140721764059168 140721764058216 4764049 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38800048 38936640 69644288 140721764062248 140721764062324 140721764062324 140721764065233 0
/proc/3716/statm: 39959 32307 535 7937 0 31987 0
Current children cumulated CPU time: 2141.87 s
Current children cumulated vsize: 159836 KiB
Current children cumulated memory: 129228 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 1.83 4/199 3940
/proc/meminfo: memFree=16198364/32770624 swapFree=66999904/67108860
[pid=3716] ppid=3709 vsize=159836 memory=129228 CPUtime=2201.86 cores=0,2,4,6
/proc/3716/stat : 3716 (BTD) R 3709 3716 3654 0 -1 4202496 97517 0 0 0 219937 249 0 0 20 0 1 0 404356751 163672064 32307 33554432000 4194304 36700936 140721764059168 140721764058216 4468768 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38800048 38936640 69644288 140721764062248 140721764062324 140721764062324 140721764065233 0
/proc/3716/statm: 39959 32307 535 7937 0 31987 0
Current children cumulated CPU time: 2201.86 s
Current children cumulated vsize: 159836 KiB
Current children cumulated memory: 129228 KiB
[startup+2262.3 s]
/proc/loadavg: 1.87 1.98 1.83 4/199 3944
/proc/meminfo: memFree=16198544/32770624 swapFree=66999904/67108860
[pid=3716] ppid=3709 vsize=159836 memory=129228 CPUtime=2261.85 cores=0,2,4,6
/proc/3716/stat : 3716 (BTD) R 3709 3716 3654 0 -1 4202496 98097 0 0 0 225923 262 0 0 20 0 1 0 404356751 163672064 32307 33554432000 4194304 36700936 140721764059168 140721764058216 6947479 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 69644288 140721764062248 140721764062324 140721764062324 140721764065233 0
/proc/3716/statm: 39959 32307 535 7937 0 31987 0
Current children cumulated CPU time: 2261.85 s
Current children cumulated vsize: 159836 KiB
Current children cumulated memory: 129228 KiB
[startup+2322.3 s]
/proc/loadavg: 1.95 1.99 1.84 4/199 3950
/proc/meminfo: memFree=16197944/32770624 swapFree=66999904/67108860
[pid=3716] ppid=3709 vsize=159836 memory=129228 CPUtime=2321.85 cores=0,2,4,6
/proc/3716/stat : 3716 (BTD) R 3709 3716 3654 0 -1 4202496 98689 0 0 0 231911 274 0 0 20 0 1 0 404356751 163672064 32307 33554432000 4194304 36700936 140721764059168 140721764058216 6947479 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 69644288 140721764062248 140721764062324 140721764062324 140721764065233 0
/proc/3716/statm: 39959 32307 535 7937 0 31987 0
Current children cumulated CPU time: 2321.85 s
Current children cumulated vsize: 159836 KiB
Current children cumulated memory: 129228 KiB
[startup+2382.3 s]
/proc/loadavg: 1.98 1.99 1.85 4/199 3954
/proc/meminfo: memFree=16198388/32770624 swapFree=66999904/67108860
[pid=3716] ppid=3709 vsize=159836 memory=129228 CPUtime=2381.84 cores=0,2,4,6
/proc/3716/stat : 3716 (BTD) R 3709 3716 3654 0 -1 4202496 99255 0 0 0 237900 284 0 0 20 0 1 0 404356751 163672064 32307 33554432000 4194304 36700936 140721764059168 140721764058216 8340231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 69644288 140721764062248 140721764062324 140721764062324 140721764065233 0
/proc/3716/statm: 39959 32307 535 7937 0 31987 0
Current children cumulated CPU time: 2381.84 s
Current children cumulated vsize: 159836 KiB
Current children cumulated memory: 129228 KiB
[startup+2442.3 s]
/proc/loadavg: 1.99 1.99 1.86 4/199 3958
/proc/meminfo: memFree=16197892/32770624 swapFree=66999904/67108860
[pid=3716] ppid=3709 vsize=159836 memory=129228 CPUtime=2441.84 cores=0,2,4,6
/proc/3716/stat : 3716 (BTD) R 3709 3716 3654 0 -1 4202496 99827 0 0 0 243889 295 0 0 20 0 1 0 404356751 163672064 32307 33554432000 4194304 36700936 140721764059168 140721764058216 8340231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 69644288 140721764062248 140721764062324 140721764062324 140721764065233 0
/proc/3716/statm: 39959 32307 535 7937 0 31987 0
Current children cumulated CPU time: 2441.84 s
Current children cumulated vsize: 159836 KiB
Current children cumulated memory: 129228 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 1.99 1.87 4/199 3964
/proc/meminfo: memFree=16197808/32770624 swapFree=66999904/67108860
[pid=3716] ppid=3709 vsize=159836 memory=129228 CPUtime=2501.85 cores=0,2,4,6
/proc/3716/stat : 3716 (BTD) R 3709 3716 3654 0 -1 4202496 100391 0 0 0 249878 307 0 0 20 0 1 0 404356751 163672064 32307 33554432000 4194304 36700936 140721764059168 140721764058216 8340231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 69644288 140721764062248 140721764062324 140721764062324 140721764065233 0
/proc/3716/statm: 39959 32307 535 7937 0 31987 0
Current children cumulated CPU time: 2501.85 s
Current children cumulated vsize: 159836 KiB
Current children cumulated memory: 129228 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 1.99 1.87 4/199 3965
/proc/meminfo: memFree=16198216/32770624 swapFree=66999904/67108860
[pid=3716] ppid=3709 vsize=159836 memory=129228 CPUtime=2519.56 cores=0,2,4,6
/proc/3716/stat : 3716 (BTD) R 3709 3716 3654 0 -1 4202496 100926 0 0 0 251645 311 0 0 20 0 1 0 404356751 163672064 32307 33554432000 4194304 36700936 140721764059168 140721764058216 8340231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 69644288 140721764062248 140721764062324 140721764062324 140721764065233 0
/proc/3716/statm: 39959 32307 535 7937 0 31987 0
Current children cumulated CPU time: 2519.56 s
Current children cumulated vsize: 159836 KiB
Current children cumulated memory: 129228 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 3716 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.46 s, system=3.11166 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): 2520.01
CPU time (s): 2519.57
CPU user time (s): 2516.46
CPU system time (s): 3.11166
CPU usage (%): 99.9824
Max. virtual memory (cumulated for all children) (KiB): 159836
Max. memory (cumulated for all children) (KiB): 129228
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.46
system time used= 3.11166
maximum resident set size= 129228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100926
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= 20
involuntary context switches= 3003
# summary of solver processes directly reported to runsolver:
# pid: 3716
# total CPU time (s): 2519.57
# total CPU user time (s): 2516.46
# total CPU system time (s): 3.11166
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.0279 second user time and 17.8537 second system time
The end