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 (4977 MiB free)
memory of node 1: 16384 MiB (4671 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295299-1532565218/watcher-4295299-1532565218 -o /tmp/evaluation-result-4295299-1532565218/solver-4295299-1532565218 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532560877-24865 --watchdog 2580 macht 2520 HOME/instance-4295299-1532565218.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=26582, runsolver pid=26579
[startup+0.100165 s]*
/proc/loadavg: 2.02 2.03 2.05 3/188 26583
/proc/meminfo: memFree=9855084/32770624 swapFree=67108860/67108860
[pid=26582] ppid=26579 vsize=59512 memory=29284 CPUtime=0.1 cores=1,3,5,7
/proc/26582/stat : 26582 (macht) R 26579 26582 24833 0 -1 4202496 7483 0 0 0 9 1 0 0 20 0 1 0 74084986 60940288 7321 33554432000 4194304 36388820 140723218257392 140723218257392 7657094 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38489992 38625312 42168320 140723218265275 140723218265353 140723218265353 140723218268111 0
/proc/26582/statm: 14911 7321 442 7860 0 7016 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 59512 KiB
Current children cumulated memory: 29284 KiB
[startup+0.209654 s]*
/proc/loadavg: 2.02 2.03 2.05 3/188 26583
/proc/meminfo: memFree=9825744/32770624 swapFree=67108860/67108860
[pid=26582] ppid=26579 vsize=88420 memory=58060 CPUtime=0.2 cores=1,3,5,7
/proc/26582/stat : 26582 (macht) R 26579 26582 24833 0 -1 4202496 14703 0 0 0 19 1 0 0 20 0 1 0 74084986 90542080 14515 33554432000 4194304 36388820 140723218257392 140723218257392 7655980 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38489992 38625312 42168320 140723218265275 140723218265353 140723218265353 140723218268111 0
/proc/26582/statm: 22105 14515 442 7860 0 14210 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 88420 KiB
Current children cumulated memory: 58060 KiB
[startup+0.30965 s]*
/proc/loadavg: 2.02 2.03 2.05 3/188 26583
/proc/meminfo: memFree=9799332/32770624 swapFree=67108860/67108860
[pid=26582] ppid=26579 vsize=114820 memory=84460 CPUtime=0.3 cores=1,3,5,7
/proc/26582/stat : 26582 (macht) R 26579 26582 24833 0 -1 4202496 21285 0 0 0 28 2 0 0 20 0 1 0 74084986 117575680 21115 33554432000 4194304 36388820 140723218257392 140723218257392 7657094 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38489992 38625312 42168320 140723218265275 140723218265353 140723218265353 140723218268111 0
/proc/26582/statm: 28705 21115 442 7860 0 20810 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 114820 KiB
Current children cumulated memory: 84460 KiB
[startup+0.70038 s]
/proc/loadavg: 2.02 2.03 2.05 3/188 26583
/proc/meminfo: memFree=9747252/32770624 swapFree=67108860/67108860
[pid=26582] ppid=26579 vsize=213820 memory=183460 CPUtime=0.69 cores=1,3,5,7
/proc/26582/stat : 26582 (macht) R 26579 26582 24833 0 -1 4202496 46044 0 0 0 63 6 0 0 20 0 1 0 74084986 218951680 45865 33554432000 4194304 36388820 140723218257392 140723218257392 7657094 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38489992 38625312 42168320 140723218265275 140723218265353 140723218265353 140723218268111 0
/proc/26582/statm: 53455 45865 442 7860 0 45560 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 213820 KiB
Current children cumulated memory: 183460 KiB
[startup+1.50038 s]
/proc/loadavg: 2.02 2.03 2.05 3/188 26583
/proc/meminfo: memFree=9628956/32770624 swapFree=67108860/67108860
[pid=26582] ppid=26579 vsize=299056 memory=268468 CPUtime=1.49 cores=1,3,5,7
/proc/26582/stat : 26582 (macht) R 26579 26582 24833 0 -1 4202496 67377 0 0 0 140 9 0 0 20 0 1 0 74084986 306233344 67117 33554432000 4194304 36388820 140723218257392 140723218251800 4627292 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38489992 38625312 42168320 140723218265275 140723218265353 140723218265353 140723218268111 0
/proc/26582/statm: 74764 67117 474 7860 0 66869 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 299056 KiB
Current children cumulated memory: 268468 KiB
[startup+3.10961 s]
/proc/loadavg: 2.02 2.03 2.05 3/188 26583
/proc/meminfo: memFree=9605148/32770624 swapFree=67108860/67108860
[pid=26582] ppid=26579 vsize=309964 memory=276700 CPUtime=3.1 cores=1,3,5,7
/proc/26582/stat : 26582 (macht) R 26579 26582 24833 0 -1 4202496 133221 0 0 0 298 12 0 0 20 0 1 0 74084986 317403136 69175 33554432000 4194304 36388820 140723218257392 140723218255592 4384704 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38489992 38625312 42168320 140723218265275 140723218265353 140723218265353 140723218268111 0
/proc/26582/statm: 77491 69175 476 7860 0 69596 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 309964 KiB
Current children cumulated memory: 276700 KiB
[startup+6.30038 s]
/proc/loadavg: 2.02 2.03 2.05 3/188 26583
/proc/meminfo: memFree=9585160/32770624 swapFree=67108860/67108860
[pid=26582] ppid=26579 vsize=310604 memory=277148 CPUtime=6.28 cores=1,3,5,7
/proc/26582/stat : 26582 (macht) R 26579 26582 24833 0 -1 4202496 196026 0 0 0 614 14 0 0 20 0 1 0 74084986 318058496 69287 33554432000 4194304 36388820 140723218257392 140723218255592 8047671 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38489992 38625312 42168320 140723218265275 140723218265353 140723218265353 140723218268111 0
/proc/26582/statm: 77651 69287 476 7860 0 69756 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 310604 KiB
Current children cumulated memory: 277148 KiB
[startup+12.7004 s]
/proc/loadavg: 2.02 2.03 2.05 3/188 26583
/proc/meminfo: memFree=9602428/32770624 swapFree=67108860/67108860
[pid=26582] ppid=26579 vsize=311884 memory=278084 CPUtime=12.69 cores=1,3,5,7
/proc/26582/stat : 26582 (macht) R 26579 26582 24833 0 -1 4202496 261848 0 0 0 1251 18 0 0 20 0 1 0 74084986 319369216 69521 33554432000 4194304 36388820 140723218257392 140723218255592 4458075 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 42168320 140723218265275 140723218265353 140723218265353 140723218268111 0
/proc/26582/statm: 77971 69521 485 7860 0 70076 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 311884 KiB
Current children cumulated memory: 278084 KiB
[startup+25.5004 s]
/proc/loadavg: 1.95 2.02 2.04 3/188 26583
/proc/meminfo: memFree=9602604/32770624 swapFree=67108860/67108860
[pid=26582] ppid=26579 vsize=312044 memory=278144 CPUtime=25.48 cores=1,3,5,7
/proc/26582/stat : 26582 (macht) R 26579 26582 24833 0 -1 4202496 325402 0 0 0 2525 23 0 0 20 0 1 0 74084986 319533056 69536 33554432000 4194304 36388820 140723218257392 140723218255592 4458075 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 42168320 140723218265275 140723218265353 140723218265353 140723218268111 0
/proc/26582/statm: 78011 69536 485 7860 0 70116 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 312044 KiB
Current children cumulated memory: 278144 KiB
[startup+51.1003 s]
/proc/loadavg: 1.96 2.01 2.04 3/188 26583
/proc/meminfo: memFree=9602324/32770624 swapFree=67108860/67108860
[pid=26582] ppid=26579 vsize=312204 memory=278368 CPUtime=51.08 cores=1,3,5,7
/proc/26582/stat : 26582 (macht) R 26579 26582 24833 0 -1 4202496 387557 0 0 0 5080 28 0 0 20 0 1 0 74084986 319696896 69592 33554432000 4194304 36388820 140723218257392 140723218255592 4458075 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 42168320 140723218265275 140723218265353 140723218265353 140723218268111 0
/proc/26582/statm: 78051 69592 485 7860 0 70156 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 312204 KiB
Current children cumulated memory: 278368 KiB
[startup+102.31 s]
/proc/loadavg: 1.98 2.01 2.04 3/187 26584
/proc/meminfo: memFree=9601828/32770624 swapFree=67108860/67108860
[pid=26582] ppid=26579 vsize=312684 memory=278728 CPUtime=102.27 cores=1,3,5,7
/proc/26582/stat : 26582 (macht) R 26579 26582 24833 0 -1 4202496 472861 0 0 0 10191 36 0 0 20 0 1 0 74084986 320188416 69682 33554432000 4194304 36388820 140723218257392 140723218255592 4460308 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 42168320 140723218265275 140723218265353 140723218265353 140723218268111 0
/proc/26582/statm: 78171 69682 485 7860 0 70276 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 312684 KiB
Current children cumulated memory: 278728 KiB
[startup+162.31 s]
/proc/loadavg: 1.99 2.01 2.04 3/187 26585
/proc/meminfo: memFree=9601372/32770624 swapFree=67108860/67108860
[pid=26582] ppid=26579 vsize=312684 memory=278752 CPUtime=162.27 cores=1,3,5,7
/proc/26582/stat : 26582 (macht) R 26579 26582 24833 0 -1 4202496 486815 0 0 0 16184 43 0 0 20 0 1 0 74084986 320188416 69688 33554432000 4194304 36388820 140723218257392 140723218255592 4460736 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 42168320 140723218265275 140723218265353 140723218265353 140723218268111 0
/proc/26582/statm: 78171 69688 485 7860 0 70276 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 312684 KiB
Current children cumulated memory: 278752 KiB
[startup+222.31 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 26586
/proc/meminfo: memFree=9600540/32770624 swapFree=67108860/67108860
[pid=26582] ppid=26579 vsize=312684 memory=280160 CPUtime=222.26 cores=1,3,5,7
/proc/26582/stat : 26582 (macht) R 26579 26582 24833 0 -1 4202496 489236 0 0 0 22178 48 0 0 20 0 1 0 74084986 320188416 70040 33554432000 4194304 36388820 140723218257392 140723218255592 8047671 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 42168320 140723218265275 140723218265353 140723218265353 140723218268111 0
/proc/26582/statm: 78171 70040 485 7860 0 70276 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 312684 KiB
Current children cumulated memory: 280160 KiB
[startup+282.31 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 26587
/proc/meminfo: memFree=9600168/32770624 swapFree=67108860/67108860
[pid=26582] ppid=26579 vsize=313164 memory=280476 CPUtime=282.26 cores=1,3,5,7
/proc/26582/stat : 26582 (macht) R 26579 26582 24833 0 -1 4202496 491077 0 0 0 28173 53 0 0 20 0 1 0 74084986 320679936 70119 33554432000 4194304 36388820 140723218257392 140723218255592 4458079 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 42168320 140723218265275 140723218265353 140723218265353 140723218268111 0
/proc/26582/statm: 78291 70119 485 7860 0 70396 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 313164 KiB
Current children cumulated memory: 280476 KiB
[startup+342.31 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 26588
/proc/meminfo: memFree=9599944/32770624 swapFree=67108860/67108860
[pid=26582] ppid=26579 vsize=313324 memory=280640 CPUtime=342.26 cores=1,3,5,7
/proc/26582/stat : 26582 (macht) R 26579 26582 24833 0 -1 4202496 492922 0 0 0 34169 57 0 0 20 0 1 0 74084986 320843776 70160 33554432000 4194304 36388820 140723218257392 140723218255592 4458075 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 42168320 140723218265275 140723218265353 140723218265353 140723218268111 0
/proc/26582/statm: 78331 70160 485 7860 0 70436 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 313324 KiB
Current children cumulated memory: 280640 KiB
[startup+402.31 s]
/proc/loadavg: 2.00 2.01 2.04 3/188 26597
/proc/meminfo: memFree=9598256/32770624 swapFree=67108860/67108860
[pid=26582] ppid=26579 vsize=314444 memory=281812 CPUtime=402.26 cores=1,3,5,7
/proc/26582/stat : 26582 (macht) R 26579 26582 24833 0 -1 4202496 495333 0 0 0 40164 62 0 0 20 0 1 0 74084986 321990656 70453 33554432000 4194304 36388820 140723218257392 140723218255592 4458075 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 42168320 140723218265275 140723218265353 140723218265353 140723218268111 0
/proc/26582/statm: 78611 70453 485 7860 0 70716 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 314444 KiB
Current children cumulated memory: 281812 KiB
[startup+462.31 s]
/proc/loadavg: 2.00 2.01 2.04 3/188 26598
/proc/meminfo: memFree=9595776/32770624 swapFree=67108860/67108860
[pid=26582] ppid=26579 vsize=314764 memory=284108 CPUtime=462.27 cores=1,3,5,7
/proc/26582/stat : 26582 (macht) R 26579 26582 24833 0 -1 4202496 496855 0 0 0 46160 67 0 0 20 0 1 0 74084986 322318336 71027 33554432000 4194304 36388820 140723218257392 140723218255592 8047671 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 42168320 140723218265275 140723218265353 140723218265353 140723218268111 0
/proc/26582/statm: 78691 71027 485 7860 0 70796 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 314764 KiB
Current children cumulated memory: 284108 KiB
################
# More data... #
################
/proc/26582/statm: 78939 71347 486 7860 0 71044 0
Current children cumulated CPU time: 1722.28 s
Current children cumulated vsize: 315756 KiB
Current children cumulated memory: 285388 KiB
[startup+1782.31 s]
/proc/loadavg: 2.00 2.04 2.05 3/188 26742
/proc/meminfo: memFree=9606332/32770624 swapFree=67108860/67108860
[pid=26582] ppid=26579 vsize=315756 memory=285412 CPUtime=1782.28 cores=1,3,5,7
/proc/26582/stat : 26582 (macht) R 26579 26582 24833 0 -1 4202496 513764 0 0 0 178061 167 0 0 20 0 1 0 74084986 323334144 71353 33554432000 4194304 36388820 140723218257392 140723218255592 4356408 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 42168320 140723218265275 140723218265353 140723218265353 140723218268111 0
/proc/26582/statm: 78939 71353 486 7860 0 71044 0
Current children cumulated CPU time: 1782.28 s
Current children cumulated vsize: 315756 KiB
Current children cumulated memory: 285412 KiB
[startup+1842.31 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 26743
/proc/meminfo: memFree=9606052/32770624 swapFree=67108860/67108860
[pid=26582] ppid=26579 vsize=316076 memory=285592 CPUtime=1842.28 cores=1,3,5,7
/proc/26582/stat : 26582 (macht) R 26579 26582 24833 0 -1 4202496 514477 0 0 0 184056 172 0 0 20 0 1 0 74084986 323661824 71398 33554432000 4194304 36388820 140723218257392 140723218255592 4356192 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 42168320 140723218265275 140723218265353 140723218265353 140723218268111 0
/proc/26582/statm: 79019 71398 486 7860 0 71124 0
Current children cumulated CPU time: 1842.28 s
Current children cumulated vsize: 316076 KiB
Current children cumulated memory: 285592 KiB
[startup+1902.31 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 26744
/proc/meminfo: memFree=9606452/32770624 swapFree=67108860/67108860
[pid=26582] ppid=26579 vsize=316076 memory=285592 CPUtime=1902.28 cores=1,3,5,7
/proc/26582/stat : 26582 (macht) R 26579 26582 24833 0 -1 4202496 515052 0 0 0 190052 176 0 0 20 0 1 0 74084986 323661824 71398 33554432000 4194304 36388820 140723218257392 140723218255592 4458075 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 42168320 140723218265275 140723218265353 140723218265353 140723218268111 0
/proc/26582/statm: 79019 71398 486 7860 0 71124 0
Current children cumulated CPU time: 1902.28 s
Current children cumulated vsize: 316076 KiB
Current children cumulated memory: 285592 KiB
[startup+1962.31 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 26745
/proc/meminfo: memFree=9606444/32770624 swapFree=67108860/67108860
[pid=26582] ppid=26579 vsize=316076 memory=285592 CPUtime=1962.29 cores=1,3,5,7
/proc/26582/stat : 26582 (macht) R 26579 26582 24833 0 -1 4202496 515621 0 0 0 196048 181 0 0 20 0 1 0 74084986 323661824 71398 33554432000 4194304 36388820 140723218257392 140723218255592 8047671 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 42168320 140723218265275 140723218265353 140723218265353 140723218268111 0
/proc/26582/statm: 79019 71398 486 7860 0 71124 0
Current children cumulated CPU time: 1962.29 s
Current children cumulated vsize: 316076 KiB
Current children cumulated memory: 285592 KiB
[startup+2022.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 26746
/proc/meminfo: memFree=9606304/32770624 swapFree=67108860/67108860
[pid=26582] ppid=26579 vsize=316076 memory=285592 CPUtime=2022.28 cores=1,3,5,7
/proc/26582/stat : 26582 (macht) R 26579 26582 24833 0 -1 4202496 516319 0 0 0 202042 186 0 0 20 0 1 0 74084986 323661824 71398 33554432000 4194304 36388820 140723218257392 140723218255592 4458064 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 42168320 140723218265275 140723218265353 140723218265353 140723218268111 0
/proc/26582/statm: 79019 71398 486 7860 0 71124 0
Current children cumulated CPU time: 2022.28 s
Current children cumulated vsize: 316076 KiB
Current children cumulated memory: 285592 KiB
[startup+2082.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 26747
/proc/meminfo: memFree=9606280/32770624 swapFree=67108860/67108860
[pid=26582] ppid=26579 vsize=316076 memory=285592 CPUtime=2082.29 cores=1,3,5,7
/proc/26582/stat : 26582 (macht) R 26579 26582 24833 0 -1 4202496 516900 0 0 0 208036 193 0 0 20 0 1 0 74084986 323661824 71398 33554432000 4194304 36388820 140723218257392 140723218255592 4458075 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 42168320 140723218265275 140723218265353 140723218265353 140723218268111 0
/proc/26582/statm: 79019 71398 486 7860 0 71124 0
Current children cumulated CPU time: 2082.29 s
Current children cumulated vsize: 316076 KiB
Current children cumulated memory: 285592 KiB
[startup+2142.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 26748
/proc/meminfo: memFree=9605992/32770624 swapFree=67108860/67108860
[pid=26582] ppid=26579 vsize=316076 memory=285592 CPUtime=2142.28 cores=1,3,5,7
/proc/26582/stat : 26582 (macht) R 26579 26582 24833 0 -1 4202496 517470 0 0 0 214029 199 0 0 20 0 1 0 74084986 323661824 71398 33554432000 4194304 36388820 140723218257392 140723218255592 4458075 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 42168320 140723218265275 140723218265353 140723218265353 140723218268111 0
/proc/26582/statm: 79019 71398 486 7860 0 71124 0
Current children cumulated CPU time: 2142.28 s
Current children cumulated vsize: 316076 KiB
Current children cumulated memory: 285592 KiB
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 26754
/proc/meminfo: memFree=9605912/32770624 swapFree=67108860/67108860
[pid=26582] ppid=26579 vsize=316076 memory=285592 CPUtime=2202.29 cores=1,3,5,7
/proc/26582/stat : 26582 (macht) R 26579 26582 24833 0 -1 4202496 518170 0 0 0 220025 204 0 0 20 0 1 0 74084986 323661824 71398 33554432000 4194304 36388820 140723218257392 140723218255592 8047671 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 42168320 140723218265275 140723218265353 140723218265353 140723218268111 0
/proc/26582/statm: 79019 71398 486 7860 0 71124 0
Current children cumulated CPU time: 2202.29 s
Current children cumulated vsize: 316076 KiB
Current children cumulated memory: 285592 KiB
[startup+2262.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 26755
/proc/meminfo: memFree=9606152/32770624 swapFree=67108860/67108860
[pid=26582] ppid=26579 vsize=316076 memory=285592 CPUtime=2262.29 cores=1,3,5,7
/proc/26582/stat : 26582 (macht) R 26579 26582 24833 0 -1 4202496 518738 0 0 0 226020 209 0 0 20 0 1 0 74084986 323661824 71398 33554432000 4194304 36388820 140723218257392 140723218255592 8047671 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 42168320 140723218265275 140723218265353 140723218265353 140723218268111 0
/proc/26582/statm: 79019 71398 486 7860 0 71124 0
Current children cumulated CPU time: 2262.29 s
Current children cumulated vsize: 316076 KiB
Current children cumulated memory: 285592 KiB
[startup+2322.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 26756
/proc/meminfo: memFree=9606292/32770624 swapFree=67108860/67108860
[pid=26582] ppid=26579 vsize=316076 memory=285592 CPUtime=2322.29 cores=1,3,5,7
/proc/26582/stat : 26582 (macht) R 26579 26582 24833 0 -1 4202496 519303 0 0 0 232016 213 0 0 20 0 1 0 74084986 323661824 71398 33554432000 4194304 36388820 140723218257392 140723218255592 4458052 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 42168320 140723218265275 140723218265353 140723218265353 140723218268111 0
/proc/26582/statm: 79019 71398 486 7860 0 71124 0
Current children cumulated CPU time: 2322.29 s
Current children cumulated vsize: 316076 KiB
Current children cumulated memory: 285592 KiB
[startup+2382.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 26757
/proc/meminfo: memFree=9606408/32770624 swapFree=67108860/67108860
[pid=26582] ppid=26579 vsize=316076 memory=285592 CPUtime=2382.29 cores=1,3,5,7
/proc/26582/stat : 26582 (macht) R 26579 26582 24833 0 -1 4202496 519859 0 0 0 238011 218 0 0 20 0 1 0 74084986 323661824 71398 33554432000 4194304 36388820 140723218257392 140723218255592 4458075 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 42168320 140723218265275 140723218265353 140723218265353 140723218268111 0
/proc/26582/statm: 79019 71398 486 7860 0 71124 0
Current children cumulated CPU time: 2382.29 s
Current children cumulated vsize: 316076 KiB
Current children cumulated memory: 285592 KiB
[startup+2442.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 26758
/proc/meminfo: memFree=9606332/32770624 swapFree=67108860/67108860
[pid=26582] ppid=26579 vsize=316076 memory=285592 CPUtime=2442.29 cores=1,3,5,7
/proc/26582/stat : 26582 (macht) R 26579 26582 24833 0 -1 4202496 520557 0 0 0 244007 222 0 0 20 0 1 0 74084986 323661824 71398 33554432000 4194304 36388820 140723218257392 140723218255592 8047671 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 42168320 140723218265275 140723218265353 140723218265353 140723218268111 0
/proc/26582/statm: 79019 71398 486 7860 0 71124 0
Current children cumulated CPU time: 2442.29 s
Current children cumulated vsize: 316076 KiB
Current children cumulated memory: 285592 KiB
[startup+2502.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 26759
/proc/meminfo: memFree=9606208/32770624 swapFree=67108860/67108860
[pid=26582] ppid=26579 vsize=316076 memory=285616 CPUtime=2502.29 cores=1,3,5,7
/proc/26582/stat : 26582 (macht) R 26579 26582 24833 0 -1 4202496 521145 0 0 0 250003 226 0 0 20 0 1 0 74084986 323661824 71404 33554432000 4194304 36388820 140723218257392 140723218255592 4458075 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 42168320 140723218265275 140723218265353 140723218265353 140723218268111 0
/proc/26582/statm: 79019 71404 486 7860 0 71124 0
Current children cumulated CPU time: 2502.29 s
Current children cumulated vsize: 316076 KiB
Current children cumulated memory: 285616 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 26759
/proc/meminfo: memFree=9606200/32770624 swapFree=67108860/67108860
[pid=26582] ppid=26579 vsize=316076 memory=285616 CPUtime=2519.98 cores=1,3,5,7
/proc/26582/stat : 26582 (macht) R 26579 26582 24833 0 -1 4202496 521217 0 0 0 251771 227 0 0 20 0 1 0 74084986 323661824 71404 33554432000 4194304 36388820 140723218257392 140723218255592 4458082 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 42168320 140723218265275 140723218265353 140723218265353 140723218268111 0
/proc/26582/statm: 79019 71404 486 7860 0 71124 0
Current children cumulated CPU time: 2519.98 s
Current children cumulated vsize: 316076 KiB
Current children cumulated memory: 285616 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520 s]
# the end of solver process 26582 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.71 s, system=2.27803 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
CPU time (s): 2519.99
CPU user time (s): 2517.71
CPU system time (s): 2.27803
CPU usage (%): 99.9996
Max. virtual memory (cumulated for all children) (KiB): 316076
Max. memory (cumulated for all children) (KiB): 285616
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.71
system time used= 2.27803
maximum resident set size= 285616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 521217
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= 88
involuntary context switches= 778
# summary of solver processes directly reported to runsolver:
# pid: 26582
# total CPU time (s): 2519.99
# total CPU user time (s): 2517.71
# total CPU system time (s): 2.27803
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.1557 second user time and 18.6557 second system time
The end