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 (14988 MiB free)
memory of node 1: 16384 MiB (15505 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4265338-1502764358/watcher-4265338-1502764358 -o /tmp/evaluation-result-4265338-1502764358/solver-4265338-1502764358 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502653304-21655 --watchdog 2580 BTD 2520 HOME/instance-4265338-1502764358.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
Current StackSize limit: 8192 KiB
solver pid=21997, runsolver pid=21994
[startup+0.10013 s]*
/proc/loadavg: 2.00 2.01 2.05 2/181 21998
/proc/meminfo: memFree=31225936/32770624 swapFree=67108860/67108860
[pid=21997] ppid=21994 vsize=31232 memory=1600 CPUtime=0 cores=1,3,5,7
/proc/21997/stat : 21997 (BTD) R 21994 21997 17093 0 -1 4202496 551 0 0 0 0 0 0 0 20 0 1 0 78629098 31981568 400 18446744073709551615 4194304 35031035 140721287664176 140721287664176 7408826 0 0 1 0 0 0 0 17 3 0 0 10 0 0 37130264 37226188 51912704 140721287668191 140721287668267 140721287668267 140721287671761 0
/proc/21997/statm: 7808 400 226 7529 0 255 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 31232 KiB
Current children cumulated memory: 1600 KiB
[startup+0.209145 s]*
/proc/loadavg: 2.00 2.01 2.05 3/181 21998
/proc/meminfo: memFree=31221556/32770624 swapFree=67108860/67108860
[pid=21997] ppid=21994 vsize=35384 memory=5736 CPUtime=0.1 cores=1,3,5,7
/proc/21997/stat : 21997 (BTD) R 21994 21997 17093 0 -1 4202496 4277 0 0 0 10 0 0 0 20 0 1 0 78629098 36233216 1434 18446744073709551615 4194304 35031035 140721287664176 140721287664176 4632139 0 0 1 0 0 0 0 17 3 0 0 10 0 0 37130264 37226188 51912704 140721287668191 140721287668267 140721287668267 140721287671761 0
/proc/21997/statm: 8846 1434 232 7529 0 1293 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 35384 KiB
Current children cumulated memory: 5736 KiB
[startup+0.309051 s]*
/proc/loadavg: 2.00 2.01 2.05 3/181 21998
/proc/meminfo: memFree=31220440/32770624 swapFree=67108860/67108860
[pid=21997] ppid=21994 vsize=36464 memory=7040 CPUtime=0.21 cores=1,3,5,7
/proc/21997/stat : 21997 (BTD) R 21994 21997 17093 0 -1 4202496 13711 0 0 0 19 2 0 0 20 0 1 0 78629098 37339136 1760 18446744073709551615 4194304 35031035 140721287664176 140721287664176 7408826 0 0 1 0 0 0 0 17 3 0 0 10 0 0 37130264 37226188 51912704 140721287668191 140721287668267 140721287668267 140721287671761 0
/proc/21997/statm: 9116 1760 269 7529 0 1563 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 36464 KiB
Current children cumulated memory: 7040 KiB
[startup+0.700276 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 21998
/proc/meminfo: memFree=31219696/32770624 swapFree=67108860/67108860
[pid=21997] ppid=21994 vsize=37520 memory=7832 CPUtime=0.59 cores=1,3,5,7
/proc/21997/stat : 21997 (BTD) R 21994 21997 17093 0 -1 4202496 13972 0 0 0 57 2 0 0 20 0 1 0 78629098 38420480 1958 18446744073709551615 4194304 35031035 140721287664176 140721287664176 4254068 0 0 1 0 0 0 0 17 3 0 0 10 0 0 37130264 37226188 51912704 140721287668191 140721287668267 140721287668267 140721287671761 0
/proc/21997/statm: 9380 1958 269 7529 0 1827 0
Current children cumulated CPU time: 0.59 s
Current children cumulated vsize: 37520 KiB
Current children cumulated memory: 7832 KiB
[startup+1.50028 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 21998
/proc/meminfo: memFree=31218424/32770624 swapFree=67108860/67108860
[pid=21997] ppid=21994 vsize=41016 memory=11600 CPUtime=1.39 cores=1,3,5,7
/proc/21997/stat : 21997 (BTD) R 21994 21997 17093 0 -1 4202496 14848 0 0 0 137 2 0 0 20 0 1 0 78629098 42000384 2900 18446744073709551615 4194304 35031035 140721287664176 140721287656536 7993641 0 0 1 0 0 0 0 17 3 0 0 10 0 0 37130264 37226188 51912704 140721287668191 140721287668267 140721287668267 140721287671761 0
/proc/21997/statm: 10254 2900 274 7529 0 2701 0
Current children cumulated CPU time: 1.39 s
Current children cumulated vsize: 41016 KiB
Current children cumulated memory: 11600 KiB
[startup+3.10908 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 21998
/proc/meminfo: memFree=31209136/32770624 swapFree=67108860/67108860
[pid=21997] ppid=21994 vsize=47928 memory=18600 CPUtime=2.99 cores=1,3,5,7
/proc/21997/stat : 21997 (BTD) R 21994 21997 17093 0 -1 4202496 19099 0 0 0 297 2 0 0 20 0 1 0 78629098 49078272 4650 18446744073709551615 4194304 35031035 140721287664176 140721287656536 7545056 0 0 1 0 0 0 0 17 3 0 0 10 0 0 37130264 37226188 51912704 140721287668191 140721287668267 140721287668267 140721287671761 0
/proc/21997/statm: 11982 4650 274 7529 0 4429 0
Current children cumulated CPU time: 2.99 s
Current children cumulated vsize: 47928 KiB
Current children cumulated memory: 18600 KiB
[startup+6.30031 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 21998
/proc/meminfo: memFree=31159048/32770624 swapFree=67108860/67108860
[pid=21997] ppid=21994 vsize=97628 memory=68076 CPUtime=6.18 cores=1,3,5,7
/proc/21997/stat : 21997 (BTD) R 21994 21997 17093 0 -1 4202496 47129 0 0 0 613 5 0 0 20 0 1 0 78629098 99971072 17019 18446744073709551615 4194304 35031035 140721287664176 140721287663176 7760122 0 0 1 0 0 0 0 17 3 0 0 10 0 0 37130264 37226188 51912704 140721287668191 140721287668267 140721287668267 140721287671761 0
/proc/21997/statm: 24407 17019 314 7529 0 16854 0
Current children cumulated CPU time: 6.18 s
Current children cumulated vsize: 97628 KiB
Current children cumulated memory: 68076 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 21998
/proc/meminfo: memFree=31159052/32770624 swapFree=67108860/67108860
[pid=21997] ppid=21994 vsize=97776 memory=68132 CPUtime=12.59 cores=1,3,5,7
/proc/21997/stat : 21997 (BTD) R 21994 21997 17093 0 -1 4202496 51940 0 0 0 1253 6 0 0 20 0 1 0 78629098 100122624 17033 18446744073709551615 4194304 35031035 140721287664176 140721287663176 7760122 0 0 1 0 0 0 0 17 3 0 0 10 0 0 37130264 37226188 51912704 140721287668191 140721287668267 140721287668267 140721287671761 0
/proc/21997/statm: 24444 17033 314 7529 0 16891 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 97776 KiB
Current children cumulated memory: 68132 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 21998
/proc/meminfo: memFree=31158680/32770624 swapFree=67108860/67108860
[pid=21997] ppid=21994 vsize=97908 memory=68392 CPUtime=25.39 cores=1,3,5,7
/proc/21997/stat : 21997 (BTD) R 21994 21997 17093 0 -1 4202496 61601 0 0 0 2531 8 0 0 20 0 1 0 78629098 100257792 17098 18446744073709551615 4194304 35031035 140721287664176 140721287663176 4397336 0 0 1 0 0 0 0 17 3 0 0 10 0 0 37130264 37226188 51912704 140721287668191 140721287668267 140721287668267 140721287671761 0
/proc/21997/statm: 24477 17098 314 7529 0 16924 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 97908 KiB
Current children cumulated memory: 68392 KiB
[startup+51.1092 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 21999
/proc/meminfo: memFree=31157792/32770624 swapFree=67108860/67108860
[pid=21997] ppid=21994 vsize=98336 memory=68752 CPUtime=50.98 cores=1,3,5,7
/proc/21997/stat : 21997 (BTD) R 21994 21997 17093 0 -1 4202496 65868 0 0 0 5089 9 0 0 20 0 1 0 78629098 100696064 17188 18446744073709551615 4194304 35031035 140721287664176 140721287663176 4397402 0 0 1 0 0 0 0 17 3 0 0 10 0 0 37130264 37226188 51912704 140721287668191 140721287668267 140721287668267 140721287671761 0
/proc/21997/statm: 24584 17188 314 7529 0 17031 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 98336 KiB
Current children cumulated memory: 68752 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 22016
/proc/meminfo: memFree=31153536/32770624 swapFree=67108860/67108860
[pid=21997] ppid=21994 vsize=99332 memory=69920 CPUtime=102.17 cores=1,3,5,7
/proc/21997/stat : 21997 (BTD) R 21994 21997 17093 0 -1 4202496 66554 0 0 0 10204 13 0 0 20 0 1 0 78629098 101715968 17480 18446744073709551615 4194304 35031035 140721287664176 140721287663176 7760122 0 0 1 0 0 0 0 17 3 0 0 10 0 0 37130264 37226188 51912704 140721287668191 140721287668267 140721287668267 140721287671761 0
/proc/21997/statm: 24833 17480 314 7529 0 17280 0
Current children cumulated CPU time: 102.17 s
Current children cumulated vsize: 99332 KiB
Current children cumulated memory: 69920 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 22018
/proc/meminfo: memFree=31152560/32770624 swapFree=67108860/67108860
[pid=21997] ppid=21994 vsize=100464 memory=71144 CPUtime=162.17 cores=1,3,5,7
/proc/21997/stat : 21997 (BTD) R 21994 21997 17093 0 -1 4202496 66903 0 0 0 16200 17 0 0 20 0 1 0 78629098 102875136 17786 18446744073709551615 4194304 35031035 140721287664176 140721287663176 4397336 0 0 1 0 0 0 0 17 3 0 0 10 0 0 37130264 37226188 51912704 140721287668191 140721287668267 140721287668267 140721287671761 0
/proc/21997/statm: 25116 17786 314 7529 0 17563 0
Current children cumulated CPU time: 162.17 s
Current children cumulated vsize: 100464 KiB
Current children cumulated memory: 71144 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 22020
/proc/meminfo: memFree=31154628/32770624 swapFree=67108860/67108860
[pid=21997] ppid=21994 vsize=100876 memory=71496 CPUtime=222.17 cores=1,3,5,7
/proc/21997/stat : 21997 (BTD) R 21994 21997 17093 0 -1 4202496 67191 0 0 0 22195 22 0 0 20 0 1 0 78629098 103297024 17874 18446744073709551615 4194304 35031035 140721287664176 140721287663176 4397336 0 0 1 0 0 0 0 17 3 0 0 10 0 0 37130264 37226188 51912704 140721287668191 140721287668267 140721287668267 140721287671761 0
/proc/21997/statm: 25219 17874 314 7529 0 17666 0
Current children cumulated CPU time: 222.17 s
Current children cumulated vsize: 100876 KiB
Current children cumulated memory: 71496 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 22022
/proc/meminfo: memFree=31154132/32770624 swapFree=67108860/67108860
[pid=21997] ppid=21994 vsize=101556 memory=72288 CPUtime=282.17 cores=1,3,5,7
/proc/21997/stat : 21997 (BTD) R 21994 21997 17093 0 -1 4202496 67573 0 0 0 28189 28 0 0 20 0 1 0 78629098 103993344 18072 18446744073709551615 4194304 35031035 140721287664176 140721287663176 4397341 0 0 1 0 0 0 0 17 3 0 0 10 0 0 37130264 37226188 51912704 140721287668191 140721287668267 140721287668267 140721287671761 0
/proc/21997/statm: 25389 18072 314 7529 0 17836 0
Current children cumulated CPU time: 282.17 s
Current children cumulated vsize: 101556 KiB
Current children cumulated memory: 72288 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 22024
/proc/meminfo: memFree=31153768/32770624 swapFree=67108860/67108860
[pid=21997] ppid=21994 vsize=101968 memory=72704 CPUtime=342.16 cores=1,3,5,7
/proc/21997/stat : 21997 (BTD) R 21994 21997 17093 0 -1 4202496 67749 0 0 0 34184 32 0 0 20 0 1 0 78629098 104415232 18176 18446744073709551615 4194304 35031035 140721287664176 140721287663176 4399192 0 0 1 0 0 0 0 17 3 0 0 10 0 0 37130264 37226188 51912704 140721287668191 140721287668267 140721287668267 140721287671761 0
/proc/21997/statm: 25492 18176 314 7529 0 17939 0
Current children cumulated CPU time: 342.16 s
Current children cumulated vsize: 101968 KiB
Current children cumulated memory: 72704 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 22027
/proc/meminfo: memFree=31153540/32770624 swapFree=67108860/67108860
[pid=21997] ppid=21994 vsize=101968 memory=72816 CPUtime=402.15 cores=1,3,5,7
/proc/21997/stat : 21997 (BTD) R 21994 21997 17093 0 -1 4202496 67882 0 0 0 40181 34 0 0 20 0 1 0 78629098 104415232 18204 18446744073709551615 4194304 35031035 140721287664176 140721287663176 4397402 0 0 1 0 0 0 0 17 3 0 0 10 0 0 37130264 37226188 51912704 140721287668191 140721287668267 140721287668267 140721287671761 0
/proc/21997/statm: 25492 18204 314 7529 0 17939 0
Current children cumulated CPU time: 402.15 s
Current children cumulated vsize: 101968 KiB
Current children cumulated memory: 72816 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 22029
/proc/meminfo: memFree=31153172/32770624 swapFree=67108860/67108860
[pid=21997] ppid=21994 vsize=102520 memory=73248 CPUtime=462.16 cores=1,3,5,7
/proc/21997/stat : 21997 (BTD) R 21994 21997 17093 0 -1 4202496 68203 0 0 0 46176 40 0 0 20 0 1 0 78629098 104980480 18312 18446744073709551615 4194304 35031035 140721287664176 140721287663176 4397336 0 0 1 0 0 0 0 17 3 0 0 10 0 0 37130264 37226188 51912704 140721287668191 140721287668267 140721287668267 140721287671761 0
/proc/21997/statm: 25630 18312 314 7529 0 18077 0
Current children cumulated CPU time: 462.16 s
Current children cumulated vsize: 102520 KiB
Current children cumulated memory: 73248 KiB
################
# More data... #
################
/proc/21997/statm: 26146 18831 314 7529 0 18593 0
Current children cumulated CPU time: 1722.1 s
Current children cumulated vsize: 104584 KiB
Current children cumulated memory: 75324 KiB
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 22224
/proc/meminfo: memFree=31160736/32770624 swapFree=67108860/67108860
[pid=21997] ppid=21994 vsize=104584 memory=75324 CPUtime=1782.11 cores=1,3,5,7
/proc/21997/stat : 21997 (BTD) R 21994 21997 17093 0 -1 4202496 70894 0 0 0 178087 124 0 0 20 0 1 0 78629098 107094016 18831 18446744073709551615 4194304 35031035 140721287664176 140721287663176 4397336 0 0 1 0 0 0 0 17 3 0 0 10 0 0 37130264 37226188 51912704 140721287668191 140721287668267 140721287668267 140721287671761 0
/proc/21997/statm: 26146 18831 314 7529 0 18593 0
Current children cumulated CPU time: 1782.11 s
Current children cumulated vsize: 104584 KiB
Current children cumulated memory: 75324 KiB
[startup+1842.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/181 22226
/proc/meminfo: memFree=31159372/32770624 swapFree=67108860/67108860
[pid=21997] ppid=21994 vsize=104736 memory=75532 CPUtime=1842.11 cores=1,3,5,7
/proc/21997/stat : 21997 (BTD) R 21994 21997 17093 0 -1 4202496 71160 0 0 0 184080 131 0 0 20 0 1 0 78629098 107249664 18883 18446744073709551615 4194304 35031035 140721287664176 140721287663176 4397292 0 0 1 0 0 0 0 17 3 0 0 10 0 0 37130264 37226188 51912704 140721287668191 140721287668267 140721287668267 140721287671761 0
/proc/21997/statm: 26184 18883 314 7529 0 18631 0
Current children cumulated CPU time: 1842.11 s
Current children cumulated vsize: 104736 KiB
Current children cumulated memory: 75532 KiB
[startup+1902.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/184 22242
/proc/meminfo: memFree=31155736/32770624 swapFree=67108860/67108860
[pid=21997] ppid=21994 vsize=104876 memory=75620 CPUtime=1902.11 cores=1,3,5,7
/proc/21997/stat : 21997 (BTD) R 21994 21997 17093 0 -1 4202496 71298 0 0 0 190072 139 0 0 20 0 1 0 78629098 107393024 18905 18446744073709551615 4194304 35031035 140721287664176 140721287663176 4397341 0 0 1 0 0 0 0 17 3 0 0 10 0 0 37130264 37226188 51912704 140721287668191 140721287668267 140721287668267 140721287671761 0
/proc/21997/statm: 26219 18905 314 7529 0 18666 0
Current children cumulated CPU time: 1902.11 s
Current children cumulated vsize: 104876 KiB
Current children cumulated memory: 75620 KiB
[startup+1962.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/184 22244
/proc/meminfo: memFree=31154828/32770624 swapFree=67108860/67108860
[pid=21997] ppid=21994 vsize=104876 memory=75620 CPUtime=1962.1 cores=1,3,5,7
/proc/21997/stat : 21997 (BTD) R 21994 21997 17093 0 -1 4202496 71419 0 0 0 196067 143 0 0 20 0 1 0 78629098 107393024 18905 18446744073709551615 4194304 35031035 140721287664176 140721287663176 4398851 0 0 1 0 0 0 0 17 3 0 0 10 0 0 37130264 37226188 51912704 140721287668191 140721287668267 140721287668267 140721287671761 0
/proc/21997/statm: 26219 18905 314 7529 0 18666 0
Current children cumulated CPU time: 1962.1 s
Current children cumulated vsize: 104876 KiB
Current children cumulated memory: 75620 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 22246
/proc/meminfo: memFree=31158596/32770624 swapFree=67108860/67108860
[pid=21997] ppid=21994 vsize=104876 memory=75664 CPUtime=2022.09 cores=1,3,5,7
/proc/21997/stat : 21997 (BTD) R 21994 21997 17093 0 -1 4202496 71625 0 0 0 202061 148 0 0 20 0 1 0 78629098 107393024 18916 18446744073709551615 4194304 35031035 140721287664176 140721287663176 7760122 0 0 1 0 0 0 0 17 3 0 0 10 0 0 37130264 37226188 51912704 140721287668191 140721287668267 140721287668267 140721287671761 0
/proc/21997/statm: 26219 18916 314 7529 0 18666 0
Current children cumulated CPU time: 2022.09 s
Current children cumulated vsize: 104876 KiB
Current children cumulated memory: 75664 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 22248
/proc/meminfo: memFree=31157992/32770624 swapFree=67108860/67108860
[pid=21997] ppid=21994 vsize=104876 memory=75688 CPUtime=2082.09 cores=1,3,5,7
/proc/21997/stat : 21997 (BTD) R 21994 21997 17093 0 -1 4202496 71656 0 0 0 208053 156 0 0 20 0 1 0 78629098 107393024 18922 18446744073709551615 4194304 35031035 140721287664176 140721287663176 4398716 0 0 1 0 0 0 0 17 3 0 0 10 0 0 37130264 37226188 51912704 140721287668191 140721287668267 140721287668267 140721287671761 0
/proc/21997/statm: 26219 18922 314 7529 0 18666 0
Current children cumulated CPU time: 2082.09 s
Current children cumulated vsize: 104876 KiB
Current children cumulated memory: 75688 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 22250
/proc/meminfo: memFree=31157744/32770624 swapFree=67108860/67108860
[pid=21997] ppid=21994 vsize=105164 memory=75912 CPUtime=2142.09 cores=1,3,5,7
/proc/21997/stat : 21997 (BTD) R 21994 21997 17093 0 -1 4202496 71942 0 0 0 214048 161 0 0 20 0 1 0 78629098 107687936 18978 18446744073709551615 4194304 35031035 140721287664176 140721287663176 4397341 0 0 1 0 0 0 0 17 3 0 0 10 0 0 37130264 37226188 51912704 140721287668191 140721287668267 140721287668267 140721287671761 0
/proc/21997/statm: 26291 18978 314 7529 0 18738 0
Current children cumulated CPU time: 2142.09 s
Current children cumulated vsize: 105164 KiB
Current children cumulated memory: 75912 KiB
[startup+2202.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/181 22253
/proc/meminfo: memFree=31156688/32770624 swapFree=67108860/67108860
[pid=21997] ppid=21994 vsize=105164 memory=75912 CPUtime=2202.09 cores=1,3,5,7
/proc/21997/stat : 21997 (BTD) R 21994 21997 17093 0 -1 4202496 71985 0 0 0 220044 165 0 0 20 0 1 0 78629098 107687936 18978 18446744073709551615 4194304 35031035 140721287664176 140721287663176 4398716 0 0 1 0 0 0 0 17 3 0 0 10 0 0 37130264 37226188 51912704 140721287668191 140721287668267 140721287668267 140721287671761 0
/proc/21997/statm: 26291 18978 314 7529 0 18738 0
Current children cumulated CPU time: 2202.09 s
Current children cumulated vsize: 105164 KiB
Current children cumulated memory: 75912 KiB
[startup+2262.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 22255
/proc/meminfo: memFree=31156936/32770624 swapFree=67108860/67108860
[pid=21997] ppid=21994 vsize=105164 memory=75912 CPUtime=2262.09 cores=1,3,5,7
/proc/21997/stat : 21997 (BTD) R 21994 21997 17093 0 -1 4202496 72016 0 0 0 226041 168 0 0 20 0 1 0 78629098 107687936 18978 18446744073709551615 4194304 35031035 140721287664176 140721287663176 4398680 0 0 1 0 0 0 0 17 3 0 0 10 0 0 37130264 37226188 51912704 140721287668191 140721287668267 140721287668267 140721287671761 0
/proc/21997/statm: 26291 18978 314 7529 0 18738 0
Current children cumulated CPU time: 2262.09 s
Current children cumulated vsize: 105164 KiB
Current children cumulated memory: 75912 KiB
[startup+2322.3 s]
/proc/loadavg: 2.12 2.05 2.05 3/181 22257
/proc/meminfo: memFree=31156812/32770624 swapFree=67108860/67108860
[pid=21997] ppid=21994 vsize=105164 memory=75912 CPUtime=2322.09 cores=1,3,5,7
/proc/21997/stat : 21997 (BTD) R 21994 21997 17093 0 -1 4202496 72057 0 0 0 232039 170 0 0 20 0 1 0 78629098 107687936 18978 18446744073709551615 4194304 35031035 140721287664176 140721287663176 7760122 0 0 1 0 0 0 0 17 3 0 0 10 0 0 37130264 37226188 51912704 140721287668191 140721287668267 140721287668267 140721287671761 0
/proc/21997/statm: 26291 18978 314 7529 0 18738 0
Current children cumulated CPU time: 2322.09 s
Current children cumulated vsize: 105164 KiB
Current children cumulated memory: 75912 KiB
[startup+2382.3 s]
/proc/loadavg: 2.11 2.06 2.05 3/181 22260
/proc/meminfo: memFree=31155820/32770624 swapFree=67108860/67108860
[pid=21997] ppid=21994 vsize=105164 memory=75952 CPUtime=2382.09 cores=1,3,5,7
/proc/21997/stat : 21997 (BTD) R 21994 21997 17093 0 -1 4202496 72128 0 0 0 238034 175 0 0 20 0 1 0 78629098 107687936 18988 18446744073709551615 4194304 35031035 140721287664176 140721287663176 4397341 0 0 1 0 0 0 0 17 3 0 0 10 0 0 37130264 37226188 51912704 140721287668191 140721287668267 140721287668267 140721287671761 0
/proc/21997/statm: 26291 18988 314 7529 0 18738 0
Current children cumulated CPU time: 2382.09 s
Current children cumulated vsize: 105164 KiB
Current children cumulated memory: 75952 KiB
[startup+2442.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/181 22262
/proc/meminfo: memFree=31156440/32770624 swapFree=67108860/67108860
[pid=21997] ppid=21994 vsize=105164 memory=75952 CPUtime=2442.08 cores=1,3,5,7
/proc/21997/stat : 21997 (BTD) R 21994 21997 17093 0 -1 4202496 72161 0 0 0 244027 181 0 0 20 0 1 0 78629098 107687936 18988 18446744073709551615 4194304 35031035 140721287664176 140721287663176 7760122 0 0 1 0 0 0 0 17 3 0 0 10 0 0 37130264 37226188 51912704 140721287668191 140721287668267 140721287668267 140721287671761 0
/proc/21997/statm: 26291 18988 314 7529 0 18738 0
Current children cumulated CPU time: 2442.08 s
Current children cumulated vsize: 105164 KiB
Current children cumulated memory: 75952 KiB
[startup+2502.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/184 22278
/proc/meminfo: memFree=31152560/32770624 swapFree=67108860/67108860
[pid=21997] ppid=21994 vsize=105164 memory=76000 CPUtime=2502.08 cores=1,3,5,7
/proc/21997/stat : 21997 (BTD) R 21994 21997 17093 0 -1 4202496 72195 0 0 0 250023 185 0 0 20 0 1 0 78629098 107687936 19000 18446744073709551615 4194304 35031035 140721287664176 140721287663176 4399152 0 0 1 0 0 0 0 17 3 0 0 10 0 0 37130264 37226188 51912704 140721287668191 140721287668267 140721287668267 140721287671761 0
/proc/21997/statm: 26291 19000 314 7529 0 18738 0
Current children cumulated CPU time: 2502.08 s
Current children cumulated vsize: 105164 KiB
Current children cumulated memory: 76000 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.01 2.04 2.05 3/184 22278
/proc/meminfo: memFree=31152684/32770624 swapFree=67108860/67108860
[pid=21997] ppid=21994 vsize=105164 memory=76000 CPUtime=2519.78 cores=1,3,5,7
/proc/21997/stat : 21997 (BTD) R 21994 21997 17093 0 -1 4202496 72226 0 0 0 251793 185 0 0 20 0 1 0 78629098 107687936 19000 18446744073709551615 4194304 35031035 140721287664176 140721287663176 4397264 0 0 1 0 0 0 0 17 3 0 0 10 0 0 37130264 37226188 51912704 140721287668191 140721287668267 140721287668267 140721287671761 0
/proc/21997/statm: 26291 19000 314 7529 0 18738 0
Current children cumulated CPU time: 2519.78 s
Current children cumulated vsize: 105164 KiB
Current children cumulated memory: 76000 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 21997 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.94 s, system=1.85993 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.8
CPU user time (s): 2517.94
CPU system time (s): 1.85993
CPU usage (%): 99.9916
Max. virtual memory (cumulated for all children) (KiB): 105164
Max. memory (cumulated for all children) (KiB): 76000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.94
system time used= 1.85993
maximum resident set size= 76000
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72226
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= 17
involuntary context switches= 766
# summary of solver processes directly reported to runsolver:
# pid: 21997
# total CPU time (s): 2519.8
# total CPU user time (s): 2517.94
# total CPU system time (s): 1.85993
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.6775 second user time and 16.5693 second system time
The end