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 (10491 MiB free)
memory of node 1: 16384 MiB (6368 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306450-1534073180/watcher-4306450-1534073180 -o /tmp/evaluation-result-4306450-1534073180/solver-4306450-1534073180 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1534063097-29628 --watchdog 2580 BTD 3 2520 HOME/instance-4306450-1534073180.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=31076, runsolver pid=31073
Current StackSize limit: 8192 KiB
[startup+0.10016 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 31077
/proc/meminfo: memFree=17258996/32770624 swapFree=67108796/67108860
[pid=31076] ppid=31073 vsize=37764 memory=7244 CPUtime=0.1 cores=1,3,5,7
/proc/31076/stat : 31076 (BTD) R 31073 31076 29596 0 -1 4202496 1989 0 0 0 10 0 0 0 20 0 1 0 224881221 38670336 1811 33554432000 4194304 36388936 140725374851952 140725374851952 4212725 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 56164352 140725374854333 140725374854411 140725374854411 140725374857169 0
/proc/31076/statm: 9441 1811 438 7861 0 1545 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 37764 KiB
Current children cumulated memory: 7244 KiB
[startup+0.209723 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 31077
/proc/meminfo: memFree=17258252/32770624 swapFree=67108796/67108860
[pid=31076] ppid=31073 vsize=38284 memory=7764 CPUtime=0.21 cores=1,3,5,7
/proc/31076/stat : 31076 (BTD) R 31073 31076 29596 0 -1 4202496 2117 0 0 0 21 0 0 0 20 0 1 0 224881221 39202816 1941 33554432000 4194304 36388936 140725374851952 140725374851952 4212725 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 56164352 140725374854333 140725374854411 140725374854411 140725374857169 0
/proc/31076/statm: 9571 1941 438 7861 0 1675 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 38284 KiB
Current children cumulated memory: 7764 KiB
[startup+0.308941 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 31077
/proc/meminfo: memFree=17257880/32770624 swapFree=67108796/67108860
[pid=31076] ppid=31073 vsize=38936 memory=8568 CPUtime=0.31 cores=1,3,5,7
/proc/31076/stat : 31076 (BTD) R 31073 31076 29596 0 -1 4202496 2289 0 0 0 31 0 0 0 20 0 1 0 224881221 39870464 2142 33554432000 4194304 36388936 140725374851952 140725374851952 4212725 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 56164352 140725374854333 140725374854411 140725374854411 140725374857169 0
/proc/31076/statm: 9734 2142 444 7861 0 1838 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 38936 KiB
Current children cumulated memory: 8568 KiB
[startup+0.700357 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 31077
/proc/meminfo: memFree=17237420/32770624 swapFree=67108796/67108860
[pid=31076] ppid=31073 vsize=60812 memory=30476 CPUtime=0.69 cores=1,3,5,7
/proc/31076/stat : 31076 (BTD) R 31073 31076 29596 0 -1 4202496 7753 0 0 0 68 1 0 0 20 0 1 0 224881221 62271488 7619 33554432000 4194304 36388936 140725374851952 140725374849896 8047831 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 56164352 140725374854333 140725374854411 140725374854411 140725374857169 0
/proc/31076/statm: 15203 7619 498 7861 0 7307 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 60812 KiB
Current children cumulated memory: 30476 KiB
[startup+1.50028 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 31077
/proc/meminfo: memFree=17235568/32770624 swapFree=67108796/67108860
[pid=31076] ppid=31073 vsize=60952 memory=30476 CPUtime=1.49 cores=1,3,5,7
/proc/31076/stat : 31076 (BTD) R 31073 31076 29596 0 -1 4202496 7783 0 0 0 147 2 0 0 20 0 1 0 224881221 62414848 7619 33554432000 4194304 36388936 140725374851952 140725374849896 8047831 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 56164352 140725374854333 140725374854411 140725374854411 140725374857169 0
/proc/31076/statm: 15238 7619 498 7861 0 7342 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 60952 KiB
Current children cumulated memory: 30476 KiB
[startup+3.10911 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 31077
/proc/meminfo: memFree=17235572/32770624 swapFree=67108796/67108860
[pid=31076] ppid=31073 vsize=61092 memory=30724 CPUtime=3.1 cores=1,3,5,7
/proc/31076/stat : 31076 (BTD) R 31073 31076 29596 0 -1 4202496 8965 0 0 0 308 2 0 0 20 0 1 0 224881221 62558208 7681 33554432000 4194304 36388936 140725374851952 140725374849896 8047831 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 56164352 140725374854333 140725374854411 140725374854411 140725374857169 0
/proc/31076/statm: 15273 7681 499 7861 0 7377 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 61092 KiB
Current children cumulated memory: 30724 KiB
[startup+6.30028 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 31077
/proc/meminfo: memFree=17234860/32770624 swapFree=67108796/67108860
[pid=31076] ppid=31073 vsize=61492 memory=30992 CPUtime=6.29 cores=1,3,5,7
/proc/31076/stat : 31076 (BTD) R 31073 31076 29596 0 -1 4202496 10243 0 0 0 625 4 0 0 20 0 1 0 224881221 62967808 7748 33554432000 4194304 36388936 140725374851952 140725374850792 8047831 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 56164352 140725374854333 140725374854411 140725374854411 140725374857169 0
/proc/31076/statm: 15373 7748 499 7861 0 7477 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 61492 KiB
Current children cumulated memory: 30992 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 31077
/proc/meminfo: memFree=17234236/32770624 swapFree=67108796/67108860
[pid=31076] ppid=31073 vsize=61904 memory=31528 CPUtime=12.69 cores=1,3,5,7
/proc/31076/stat : 31076 (BTD) R 31073 31076 29596 0 -1 4202496 11608 0 0 0 1261 8 0 0 20 0 1 0 224881221 63389696 7882 33554432000 4194304 36388936 140725374851952 140725374850792 8047831 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 56164352 140725374854333 140725374854411 140725374854411 140725374857169 0
/proc/31076/statm: 15476 7882 499 7861 0 7580 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 61904 KiB
Current children cumulated memory: 31528 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 31077
/proc/meminfo: memFree=17233368/32770624 swapFree=67108796/67108860
[pid=31076] ppid=31073 vsize=62748 memory=32360 CPUtime=25.49 cores=1,3,5,7
/proc/31076/stat : 31076 (BTD) R 31073 31076 29596 0 -1 4202496 14572 0 0 0 2533 16 0 0 20 0 1 0 224881221 64253952 8090 33554432000 4194304 36388936 140725374851952 140725374850792 8047831 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 56164352 140725374854333 140725374854411 140725374854411 140725374857169 0
/proc/31076/statm: 15687 8090 499 7861 0 7791 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 62748 KiB
Current children cumulated memory: 32360 KiB
[startup+51.1091 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 31077
/proc/meminfo: memFree=17232296/32770624 swapFree=67108796/67108860
[pid=31076] ppid=31073 vsize=63632 memory=33440 CPUtime=51.09 cores=1,3,5,7
/proc/31076/stat : 31076 (BTD) R 31073 31076 29596 0 -1 4202496 15701 0 0 0 5074 35 0 0 20 0 1 0 224881221 65159168 8360 33554432000 4194304 36388936 140725374851952 140725374850792 8047831 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 56164352 140725374854333 140725374854411 140725374854411 140725374857169 0
/proc/31076/statm: 15908 8360 499 7861 0 8012 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 63632 KiB
Current children cumulated memory: 33440 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 31079
/proc/meminfo: memFree=17231116/32770624 swapFree=67108796/67108860
[pid=31076] ppid=31073 vsize=64512 memory=34248 CPUtime=102.28 cores=1,3,5,7
/proc/31076/stat : 31076 (BTD) R 31073 31076 29596 0 -1 4202496 16519 0 0 0 10135 93 0 0 20 0 1 0 224881221 66060288 8562 33554432000 4194304 36388936 140725374851952 140725374850792 8047831 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 56164352 140725374854333 140725374854411 140725374854411 140725374857169 0
/proc/31076/statm: 16128 8562 499 7861 0 8232 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 64512 KiB
Current children cumulated memory: 34248 KiB
[startup+162.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/187 31080
/proc/meminfo: memFree=17230868/32770624 swapFree=67108796/67108860
[pid=31076] ppid=31073 vsize=64948 memory=34868 CPUtime=162.29 cores=1,3,5,7
/proc/31076/stat : 31076 (BTD) R 31073 31076 29596 0 -1 4202496 17358 0 0 0 16064 165 0 0 20 0 1 0 224881221 66506752 8717 33554432000 4194304 36388936 140725374851952 140725374850792 4517224 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 56164352 140725374854333 140725374854411 140725374854411 140725374857169 0
/proc/31076/statm: 16237 8717 499 7861 0 8341 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 64948 KiB
Current children cumulated memory: 34868 KiB
[startup+222.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/188 31089
/proc/meminfo: memFree=17229548/32770624 swapFree=67108796/67108860
[pid=31076] ppid=31073 vsize=65240 memory=35172 CPUtime=222.28 cores=1,3,5,7
/proc/31076/stat : 31076 (BTD) R 31073 31076 29596 0 -1 4202496 17744 0 0 0 21984 244 0 0 20 0 1 0 224881221 66805760 8793 33554432000 4194304 36388936 140725374851952 140725374850792 4247354 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 56164352 140725374854333 140725374854411 140725374854411 140725374857169 0
/proc/31076/statm: 16310 8793 499 7861 0 8414 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 65240 KiB
Current children cumulated memory: 35172 KiB
[startup+282.3 s]
/proc/loadavg: 2.06 2.05 2.05 3/188 31090
/proc/meminfo: memFree=17230304/32770624 swapFree=67108796/67108860
[pid=31076] ppid=31073 vsize=65532 memory=35448 CPUtime=282.28 cores=1,3,5,7
/proc/31076/stat : 31076 (BTD) R 31073 31076 29596 0 -1 4202496 18188 0 0 0 27916 312 0 0 20 0 1 0 224881221 67104768 8862 33554432000 4194304 36388936 140725374851952 140725374850792 8047831 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 56164352 140725374854333 140725374854411 140725374854411 140725374857169 0
/proc/31076/statm: 16383 8862 499 7861 0 8487 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 65532 KiB
Current children cumulated memory: 35448 KiB
[startup+342.3 s]
/proc/loadavg: 2.06 2.05 2.05 3/188 31091
/proc/meminfo: memFree=17230516/32770624 swapFree=67108796/67108860
[pid=31076] ppid=31073 vsize=65664 memory=35536 CPUtime=342.27 cores=1,3,5,7
/proc/31076/stat : 31076 (BTD) R 31073 31076 29596 0 -1 4202496 18612 0 0 0 33839 388 0 0 20 0 1 0 224881221 67239936 8884 33554432000 4194304 36388936 140725374851952 140725374850792 8047831 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 56164352 140725374854333 140725374854411 140725374854411 140725374857169 0
/proc/31076/statm: 16416 8884 499 7861 0 8520 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 65664 KiB
Current children cumulated memory: 35536 KiB
[startup+402.3 s]
/proc/loadavg: 2.05 2.06 2.05 3/188 31092
/proc/meminfo: memFree=17230268/32770624 swapFree=67108796/67108860
[pid=31076] ppid=31073 vsize=65808 memory=35756 CPUtime=402.28 cores=1,3,5,7
/proc/31076/stat : 31076 (BTD) R 31073 31076 29596 0 -1 4202496 19061 0 0 0 39755 473 0 0 20 0 1 0 224881221 67387392 8939 33554432000 4194304 36388936 140725374851952 140725374850792 8047831 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 56164352 140725374854333 140725374854411 140725374854411 140725374857169 0
/proc/31076/statm: 16452 8939 499 7861 0 8556 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 65808 KiB
Current children cumulated memory: 35756 KiB
[startup+462.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/188 31093
/proc/meminfo: memFree=17229896/32770624 swapFree=67108796/67108860
[pid=31076] ppid=31073 vsize=65956 memory=35900 CPUtime=462.27 cores=1,3,5,7
/proc/31076/stat : 31076 (BTD) R 31073 31076 29596 0 -1 4202496 19596 0 0 0 45688 539 0 0 20 0 1 0 224881221 67538944 8975 33554432000 4194304 36388936 140725374851952 140725374850792 4247354 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 56164352 140725374854333 140725374854411 140725374854411 140725374857169 0
/proc/31076/statm: 16489 8975 499 7861 0 8593 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 65956 KiB
Current children cumulated memory: 35900 KiB
################
# More data... #
################
/proc/31076/statm: 16744 9230 499 7861 0 8848 0
Current children cumulated CPU time: 1722.24 s
Current children cumulated vsize: 66976 KiB
Current children cumulated memory: 36920 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 31192
/proc/meminfo: memFree=16796296/32770624 swapFree=67108796/67108860
[pid=31076] ppid=31073 vsize=66976 memory=36920 CPUtime=1782.25 cores=1,3,5,7
/proc/31076/stat : 31076 (BTD) R 31073 31076 29596 0 -1 4202496 24745 0 0 0 176140 2085 0 0 20 0 1 0 224881221 68583424 9230 33554432000 4194304 36388936 140725374851952 140725374850792 8047831 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 56164352 140725374854333 140725374854411 140725374854411 140725374857169 0
/proc/31076/statm: 16744 9230 499 7861 0 8848 0
Current children cumulated CPU time: 1782.25 s
Current children cumulated vsize: 66976 KiB
Current children cumulated memory: 36920 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 31193
/proc/meminfo: memFree=16795664/32770624 swapFree=67108796/67108860
[pid=31076] ppid=31073 vsize=66976 memory=36920 CPUtime=1842.24 cores=1,3,5,7
/proc/31076/stat : 31076 (BTD) R 31073 31076 29596 0 -1 4202496 24971 0 0 0 182066 2158 0 0 20 0 1 0 224881221 68583424 9230 33554432000 4194304 36388936 140725374851952 140725374850792 8047831 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 56164352 140725374854333 140725374854411 140725374854411 140725374857169 0
/proc/31076/statm: 16744 9230 499 7861 0 8848 0
Current children cumulated CPU time: 1842.24 s
Current children cumulated vsize: 66976 KiB
Current children cumulated memory: 36920 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 31195
/proc/meminfo: memFree=16794992/32770624 swapFree=67108796/67108860
[pid=31076] ppid=31073 vsize=66976 memory=36996 CPUtime=1902.24 cores=1,3,5,7
/proc/31076/stat : 31076 (BTD) R 31073 31076 29596 0 -1 4202496 25261 0 0 0 187992 2232 0 0 20 0 1 0 224881221 68583424 9249 33554432000 4194304 36388936 140725374851952 140725374850792 8047831 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 56164352 140725374854333 140725374854411 140725374854411 140725374857169 0
/proc/31076/statm: 16744 9249 499 7861 0 8848 0
Current children cumulated CPU time: 1902.24 s
Current children cumulated vsize: 66976 KiB
Current children cumulated memory: 36996 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 31196
/proc/meminfo: memFree=16794912/32770624 swapFree=67108796/67108860
[pid=31076] ppid=31073 vsize=66976 memory=36996 CPUtime=1962.24 cores=1,3,5,7
/proc/31076/stat : 31076 (BTD) R 31073 31076 29596 0 -1 4202496 25506 0 0 0 193930 2294 0 0 20 0 1 0 224881221 68583424 9249 33554432000 4194304 36388936 140725374851952 140725374850792 8047831 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 56164352 140725374854333 140725374854411 140725374854411 140725374857169 0
/proc/31076/statm: 16744 9249 499 7861 0 8848 0
Current children cumulated CPU time: 1962.24 s
Current children cumulated vsize: 66976 KiB
Current children cumulated memory: 36996 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 31205
/proc/meminfo: memFree=16793520/32770624 swapFree=67108796/67108860
[pid=31076] ppid=31073 vsize=66976 memory=36996 CPUtime=2022.24 cores=1,3,5,7
/proc/31076/stat : 31076 (BTD) R 31073 31076 29596 0 -1 4202496 25751 0 0 0 199866 2358 0 0 20 0 1 0 224881221 68583424 9249 33554432000 4194304 36388936 140725374851952 140725374850792 8047831 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 56164352 140725374854333 140725374854411 140725374854411 140725374857169 0
/proc/31076/statm: 16744 9249 499 7861 0 8848 0
Current children cumulated CPU time: 2022.24 s
Current children cumulated vsize: 66976 KiB
Current children cumulated memory: 36996 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 31228
/proc/meminfo: memFree=16791884/32770624 swapFree=67108796/67108860
[pid=31076] ppid=31073 vsize=67120 memory=37068 CPUtime=2082.24 cores=1,3,5,7
/proc/31076/stat : 31076 (BTD) R 31073 31076 29596 0 -1 4202496 26031 0 0 0 205792 2432 0 0 20 0 1 0 224881221 68730880 9267 33554432000 4194304 36388936 140725374851952 140725374850792 4247354 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 56164352 140725374854333 140725374854411 140725374854411 140725374857169 0
/proc/31076/statm: 16780 9267 499 7861 0 8884 0
Current children cumulated CPU time: 2082.24 s
Current children cumulated vsize: 67120 KiB
Current children cumulated memory: 37068 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 31229
/proc/meminfo: memFree=16792640/32770624 swapFree=67108796/67108860
[pid=31076] ppid=31073 vsize=67120 memory=37068 CPUtime=2142.23 cores=1,3,5,7
/proc/31076/stat : 31076 (BTD) R 31073 31076 29596 0 -1 4202496 26293 0 0 0 211724 2499 0 0 20 0 1 0 224881221 68730880 9267 33554432000 4194304 36388936 140725374851952 140725374850792 8047831 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 56164352 140725374854333 140725374854411 140725374854411 140725374857169 0
/proc/31076/statm: 16780 9267 499 7861 0 8884 0
Current children cumulated CPU time: 2142.23 s
Current children cumulated vsize: 67120 KiB
Current children cumulated memory: 37068 KiB
[startup+2202.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/188 31230
/proc/meminfo: memFree=16792788/32770624 swapFree=67108796/67108860
[pid=31076] ppid=31073 vsize=67120 memory=37068 CPUtime=2202.24 cores=1,3,5,7
/proc/31076/stat : 31076 (BTD) R 31073 31076 29596 0 -1 4202496 26555 0 0 0 217650 2574 0 0 20 0 1 0 224881221 68730880 9267 33554432000 4194304 36388936 140725374851952 140725374850792 8047831 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 56164352 140725374854333 140725374854411 140725374854411 140725374857169 0
/proc/31076/statm: 16780 9267 499 7861 0 8884 0
Current children cumulated CPU time: 2202.24 s
Current children cumulated vsize: 67120 KiB
Current children cumulated memory: 37068 KiB
[startup+2262.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/188 31231
/proc/meminfo: memFree=16792024/32770624 swapFree=67108796/67108860
[pid=31076] ppid=31073 vsize=67120 memory=37068 CPUtime=2262.23 cores=1,3,5,7
/proc/31076/stat : 31076 (BTD) R 31073 31076 29596 0 -1 4202496 26858 0 0 0 223561 2662 0 0 20 0 1 0 224881221 68730880 9267 33554432000 4194304 36388936 140725374851952 140725374850792 8047831 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 56164352 140725374854333 140725374854411 140725374854411 140725374857169 0
/proc/31076/statm: 16780 9267 499 7861 0 8884 0
Current children cumulated CPU time: 2262.23 s
Current children cumulated vsize: 67120 KiB
Current children cumulated memory: 37068 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 31232
/proc/meminfo: memFree=16792000/32770624 swapFree=67108796/67108860
[pid=31076] ppid=31073 vsize=67120 memory=37140 CPUtime=2322.23 cores=1,3,5,7
/proc/31076/stat : 31076 (BTD) R 31073 31076 29596 0 -1 4202496 27137 0 0 0 229492 2731 0 0 20 0 1 0 224881221 68730880 9285 33554432000 4194304 36388936 140725374851952 140725374850792 6663856 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 56164352 140725374854333 140725374854411 140725374854411 140725374857169 0
/proc/31076/statm: 16780 9285 499 7861 0 8884 0
Current children cumulated CPU time: 2322.23 s
Current children cumulated vsize: 67120 KiB
Current children cumulated memory: 37140 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 31233
/proc/meminfo: memFree=16791812/32770624 swapFree=67108796/67108860
[pid=31076] ppid=31073 vsize=67120 memory=37140 CPUtime=2382.23 cores=1,3,5,7
/proc/31076/stat : 31076 (BTD) R 31073 31076 29596 0 -1 4202496 27416 0 0 0 235410 2813 0 0 20 0 1 0 224881221 68730880 9285 33554432000 4194304 36388936 140725374851952 140725374850792 8047831 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 56164352 140725374854333 140725374854411 140725374854411 140725374857169 0
/proc/31076/statm: 16780 9285 499 7861 0 8884 0
Current children cumulated CPU time: 2382.23 s
Current children cumulated vsize: 67120 KiB
Current children cumulated memory: 37140 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 31234
/proc/meminfo: memFree=16791800/32770624 swapFree=67108796/67108860
[pid=31076] ppid=31073 vsize=67120 memory=37140 CPUtime=2442.23 cores=1,3,5,7
/proc/31076/stat : 31076 (BTD) R 31073 31076 29596 0 -1 4202496 27695 0 0 0 241341 2882 0 0 20 0 1 0 224881221 68730880 9285 33554432000 4194304 36388936 140725374851952 140725374850792 8047831 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 56164352 140725374854333 140725374854411 140725374854411 140725374857169 0
/proc/31076/statm: 16780 9285 499 7861 0 8884 0
Current children cumulated CPU time: 2442.23 s
Current children cumulated vsize: 67120 KiB
Current children cumulated memory: 37140 KiB
[startup+2502.3 s]
/proc/loadavg: 2.16 2.05 2.06 3/187 31235
/proc/meminfo: memFree=16791872/32770624 swapFree=67108796/67108860
[pid=31076] ppid=31073 vsize=67264 memory=37196 CPUtime=2502.23 cores=1,3,5,7
/proc/31076/stat : 31076 (BTD) R 31073 31076 29596 0 -1 4202496 28029 0 0 0 247271 2952 0 0 20 0 1 0 224881221 68878336 9299 33554432000 4194304 36388936 140725374851952 140725374850792 8047831 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 56164352 140725374854333 140725374854411 140725374854411 140725374857169 0
/proc/31076/statm: 16816 9299 499 7861 0 8920 0
Current children cumulated CPU time: 2502.23 s
Current children cumulated vsize: 67264 KiB
Current children cumulated memory: 37196 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.40 2.11 2.08 3/187 31235
/proc/meminfo: memFree=16791996/32770624 swapFree=67108796/67108860
[pid=31076] ppid=31073 vsize=67264 memory=37196 CPUtime=2519.94 cores=1,3,5,7
/proc/31076/stat : 31076 (BTD) R 31073 31076 29596 0 -1 4202496 28312 0 0 0 249020 2974 0 0 20 0 1 0 224881221 68878336 9299 33554432000 4194304 36388936 140725374851952 140725374850792 4247348 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 56164352 140725374854333 140725374854411 140725374854411 140725374857169 0
/proc/31076/statm: 16816 9299 499 7861 0 8920 0
Current children cumulated CPU time: 2519.94 s
Current children cumulated vsize: 67264 KiB
Current children cumulated memory: 37196 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 31076 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2490.2 s, system=29.7474 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.95
CPU user time (s): 2490.2
CPU system time (s): 29.7474
CPU usage (%): 99.9976
Max. virtual memory (cumulated for all children) (KiB): 67264
Max. memory (cumulated for all children) (KiB): 37196
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2490.2
system time used= 29.7474
maximum resident set size= 37196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28312
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= 9
involuntary context switches= 744
# summary of solver processes directly reported to runsolver:
# pid: 31076
# total CPU time (s): 2519.95
# total CPU user time (s): 2490.2
# total CPU system time (s): 29.7474
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.90891 second user time and 16.5136 second system time
The end