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 (4771 MiB free)
memory of node 1: 16384 MiB (10761 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294682-1532518627/watcher-4294682-1532518627 -o /tmp/evaluation-result-4294682-1532518627/solver-4294682-1532518627 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532504985-26102 --watchdog 2580 macht 2520 HOME/instance-4294682-1532518627.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=29145, runsolver pid=29142
Current StackSize limit: 8192 KiB
[startup+0.100156 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 29146
/proc/meminfo: memFree=15903616/32770624 swapFree=67108860/67108860
[pid=29145] ppid=29142 vsize=32956 memory=3008 CPUtime=0.1 cores=1,3,5,7
/proc/29145/stat : 29145 (macht) R 29142 29145 26070 0 -1 4202496 889 0 0 0 10 0 0 0 20 0 1 0 69425942 33746944 752 33554432000 4194304 36388820 140730118244928 140730118244928 8047671 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 65523712 140730118251707 140730118251785 140730118251785 140730118254543 0
/proc/29145/statm: 8239 752 481 7860 0 344 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 32956 KiB
Current children cumulated memory: 3008 KiB
[startup+0.209315 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 29146
/proc/meminfo: memFree=15903616/32770624 swapFree=67108860/67108860
[pid=29145] ppid=29142 vsize=32956 memory=3008 CPUtime=0.21 cores=1,3,5,7
/proc/29145/stat : 29145 (macht) R 29142 29145 26070 0 -1 4202496 897 0 0 0 20 1 0 0 20 0 1 0 69425942 33746944 752 33554432000 4194304 36388820 140730118244928 140730118244928 8047671 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 65523712 140730118251707 140730118251785 140730118251785 140730118254543 0
/proc/29145/statm: 8239 752 481 7860 0 344 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 32956 KiB
Current children cumulated memory: 3008 KiB
[startup+0.308873 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 29146
/proc/meminfo: memFree=15903676/32770624 swapFree=67108860/67108860
[pid=29145] ppid=29142 vsize=32956 memory=3008 CPUtime=0.31 cores=1,3,5,7
/proc/29145/stat : 29145 (macht) R 29142 29145 26070 0 -1 4202496 903 0 0 0 29 2 0 0 20 0 1 0 69425942 33746944 752 33554432000 4194304 36388820 140730118244928 140730118241528 8047671 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 65523712 140730118251707 140730118251785 140730118251785 140730118254543 0
/proc/29145/statm: 8239 752 481 7860 0 344 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 32956 KiB
Current children cumulated memory: 3008 KiB
[startup+0.700275 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29146
/proc/meminfo: memFree=15903504/32770624 swapFree=67108860/67108860
[pid=29145] ppid=29142 vsize=33088 memory=3008 CPUtime=0.69 cores=1,3,5,7
/proc/29145/stat : 29145 (macht) R 29142 29145 26070 0 -1 4202496 918 0 0 0 62 7 0 0 20 0 1 0 69425942 33882112 752 33554432000 4194304 36388820 140730118244928 140730118241528 8047671 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 65523712 140730118251707 140730118251785 140730118251785 140730118254543 0
/proc/29145/statm: 8272 752 481 7860 0 377 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 33088 KiB
Current children cumulated memory: 3008 KiB
[startup+1.50028 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29146
/proc/meminfo: memFree=15903504/32770624 swapFree=67108860/67108860
[pid=29145] ppid=29142 vsize=33220 memory=3008 CPUtime=1.49 cores=1,3,5,7
/proc/29145/stat : 29145 (macht) R 29142 29145 26070 0 -1 4202496 945 0 0 0 131 18 0 0 20 0 1 0 69425942 34017280 752 33554432000 4194304 36388820 140730118244928 140730118241528 8047671 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 65523712 140730118251707 140730118251785 140730118251785 140730118254543 0
/proc/29145/statm: 8305 752 481 7860 0 410 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 33220 KiB
Current children cumulated memory: 3008 KiB
[startup+3.10895 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29146
/proc/meminfo: memFree=15903132/32770624 swapFree=67108860/67108860
[pid=29145] ppid=29142 vsize=33352 memory=3344 CPUtime=3.1 cores=1,3,5,7
/proc/29145/stat : 29145 (macht) R 29142 29145 26070 0 -1 4202496 1255 0 0 0 260 50 0 0 20 0 1 0 69425942 34152448 836 33554432000 4194304 36388820 140730118244928 140730118241528 8047671 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 65523712 140730118251707 140730118251785 140730118251785 140730118254543 0
/proc/29145/statm: 8338 836 481 7860 0 443 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 33352 KiB
Current children cumulated memory: 3344 KiB
[startup+6.30027 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29146
/proc/meminfo: memFree=15902832/32770624 swapFree=67108860/67108860
[pid=29145] ppid=29142 vsize=33352 memory=3444 CPUtime=6.29 cores=1,3,5,7
/proc/29145/stat : 29145 (macht) R 29142 29145 26070 0 -1 4202496 1563 0 0 0 532 97 0 0 20 0 1 0 69425942 34152448 861 33554432000 4194304 36388820 140730118244928 140730118241528 4460720 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 65523712 140730118251707 140730118251785 140730118251785 140730118254543 0
/proc/29145/statm: 8338 861 481 7860 0 443 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 33352 KiB
Current children cumulated memory: 3444 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29146
/proc/meminfo: memFree=15902708/32770624 swapFree=67108860/67108860
[pid=29145] ppid=29142 vsize=33484 memory=3528 CPUtime=12.69 cores=1,3,5,7
/proc/29145/stat : 29145 (macht) R 29142 29145 26070 0 -1 4202496 1891 0 0 0 1074 195 0 0 20 0 1 0 69425942 34287616 882 33554432000 4194304 36388820 140730118244928 140730118241528 8047671 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 65523712 140730118251707 140730118251785 140730118251785 140730118254543 0
/proc/29145/statm: 8371 882 481 7860 0 476 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 33484 KiB
Current children cumulated memory: 3528 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29146
/proc/meminfo: memFree=15902584/32770624 swapFree=67108860/67108860
[pid=29145] ppid=29142 vsize=33616 memory=3688 CPUtime=25.49 cores=1,3,5,7
/proc/29145/stat : 29145 (macht) R 29142 29145 26070 0 -1 4202496 2568 0 0 0 2102 447 0 0 20 0 1 0 69425942 34422784 922 33554432000 4194304 36388820 140730118244928 140730118241528 8047671 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 65523712 140730118251707 140730118251785 140730118251785 140730118254543 0
/proc/29145/statm: 8404 922 481 7860 0 509 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 33616 KiB
Current children cumulated memory: 3688 KiB
[startup+51.109 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29146
/proc/meminfo: memFree=15902460/32770624 swapFree=67108860/67108860
[pid=29145] ppid=29142 vsize=33748 memory=3792 CPUtime=51.09 cores=1,3,5,7
/proc/29145/stat : 29145 (macht) R 29142 29145 26070 0 -1 4202496 2985 0 0 0 4050 1059 0 0 20 0 1 0 69425942 34557952 948 33554432000 4194304 36388820 140730118244928 140730118241528 8047671 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 65523712 140730118251707 140730118251785 140730118251785 140730118254543 0
/proc/29145/statm: 8437 948 481 7860 0 542 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 33748 KiB
Current children cumulated memory: 3792 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29147
/proc/meminfo: memFree=15902460/32770624 swapFree=67108860/67108860
[pid=29145] ppid=29142 vsize=33880 memory=3868 CPUtime=102.28 cores=1,3,5,7
/proc/29145/stat : 29145 (macht) R 29142 29145 26070 0 -1 4202496 3346 0 0 0 7971 2257 0 0 20 0 1 0 69425942 34693120 967 33554432000 4194304 36388820 140730118244928 140730118241528 8047671 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 65523712 140730118251707 140730118251785 140730118251785 140730118254543 0
/proc/29145/statm: 8470 967 481 7860 0 575 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 33880 KiB
Current children cumulated memory: 3868 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29148
/proc/meminfo: memFree=15902476/32770624 swapFree=67108860/67108860
[pid=29145] ppid=29142 vsize=33880 memory=3948 CPUtime=162.28 cores=1,3,5,7
/proc/29145/stat : 29145 (macht) R 29142 29145 26070 0 -1 4202496 3712 0 0 0 12572 3656 0 0 20 0 1 0 69425942 34693120 987 33554432000 4194304 36388820 140730118244928 140730118241528 8047671 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 65523712 140730118251707 140730118251785 140730118251785 140730118254543 0
/proc/29145/statm: 8470 987 481 7860 0 575 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 33880 KiB
Current children cumulated memory: 3948 KiB
[startup+222.3 s]
/proc/loadavg: 1.93 2.00 2.04 3/188 29218
/proc/meminfo: memFree=15900604/32770624 swapFree=67108860/67108860
[pid=29145] ppid=29142 vsize=34012 memory=4008 CPUtime=222.28 cores=1,3,5,7
/proc/29145/stat : 29145 (macht) R 29142 29145 26070 0 -1 4202496 4086 0 0 0 17195 5033 0 0 20 0 1 0 69425942 34828288 1002 33554432000 4194304 36388820 140730118244928 140730118241528 8047671 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 65523712 140730118251707 140730118251785 140730118251785 140730118254543 0
/proc/29145/statm: 8503 1002 481 7860 0 608 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 34012 KiB
Current children cumulated memory: 4008 KiB
[startup+282.3 s]
/proc/loadavg: 1.98 2.00 2.04 3/188 29219
/proc/meminfo: memFree=15900416/32770624 swapFree=67108860/67108860
[pid=29145] ppid=29142 vsize=34012 memory=4056 CPUtime=282.28 cores=1,3,5,7
/proc/29145/stat : 29145 (macht) R 29142 29145 26070 0 -1 4202496 4479 0 0 0 21905 6323 0 0 20 0 1 0 69425942 34828288 1014 33554432000 4194304 36388820 140730118244928 140730118241528 8047671 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 65523712 140730118251707 140730118251785 140730118251785 140730118254543 0
/proc/29145/statm: 8503 1014 481 7860 0 608 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 34012 KiB
Current children cumulated memory: 4056 KiB
[startup+342.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/188 29220
/proc/meminfo: memFree=15900400/32770624 swapFree=67108860/67108860
[pid=29145] ppid=29142 vsize=34012 memory=4080 CPUtime=342.28 cores=1,3,5,7
/proc/29145/stat : 29145 (macht) R 29142 29145 26070 0 -1 4202496 4819 0 0 0 26615 7613 0 0 20 0 1 0 69425942 34828288 1020 33554432000 4194304 36388820 140730118244928 140730118241528 8047671 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 65523712 140730118251707 140730118251785 140730118251785 140730118254543 0
/proc/29145/statm: 8503 1020 481 7860 0 608 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 34012 KiB
Current children cumulated memory: 4080 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 29221
/proc/meminfo: memFree=15900252/32770624 swapFree=67108860/67108860
[pid=29145] ppid=29142 vsize=34012 memory=4112 CPUtime=402.28 cores=1,3,5,7
/proc/29145/stat : 29145 (macht) R 29142 29145 26070 0 -1 4202496 5169 0 0 0 31322 8906 0 0 20 0 1 0 69425942 34828288 1028 33554432000 4194304 36388820 140730118244928 140730118241528 8047671 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 65523712 140730118251707 140730118251785 140730118251785 140730118254543 0
/proc/29145/statm: 8503 1028 481 7860 0 608 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 34012 KiB
Current children cumulated memory: 4112 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 29222
/proc/meminfo: memFree=15900128/32770624 swapFree=67108860/67108860
[pid=29145] ppid=29142 vsize=34012 memory=4144 CPUtime=462.28 cores=1,3,5,7
/proc/29145/stat : 29145 (macht) R 29142 29145 26070 0 -1 4202496 5522 0 0 0 36035 10193 0 0 20 0 1 0 69425942 34828288 1036 33554432000 4194304 36388820 140730118244928 140730118241528 8047671 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 65523712 140730118251707 140730118251785 140730118251785 140730118254543 0
/proc/29145/statm: 8503 1036 481 7860 0 608 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 34012 KiB
Current children cumulated memory: 4144 KiB
################
# More data... #
################
/proc/29145/statm: 8569 1089 481 7860 0 674 0
Current children cumulated CPU time: 1722.24 s
Current children cumulated vsize: 34276 KiB
Current children cumulated memory: 4356 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29285
/proc/meminfo: memFree=15899308/32770624 swapFree=67108860/67108860
[pid=29145] ppid=29142 vsize=34276 memory=4356 CPUtime=1782.24 cores=1,3,5,7
/proc/29145/stat : 29145 (macht) R 29142 29145 26070 0 -1 4202496 13148 0 0 0 139674 38550 0 0 20 0 1 0 69425942 35098624 1089 33554432000 4194304 36388820 140730118244928 140730118241528 8047671 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 65523712 140730118251707 140730118251785 140730118251785 140730118254543 0
/proc/29145/statm: 8569 1089 481 7860 0 674 0
Current children cumulated CPU time: 1782.24 s
Current children cumulated vsize: 34276 KiB
Current children cumulated memory: 4356 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29286
/proc/meminfo: memFree=15899344/32770624 swapFree=67108860/67108860
[pid=29145] ppid=29142 vsize=34276 memory=4356 CPUtime=1842.24 cores=1,3,5,7
/proc/29145/stat : 29145 (macht) R 29142 29145 26070 0 -1 4202496 13479 0 0 0 144386 39838 0 0 20 0 1 0 69425942 35098624 1089 33554432000 4194304 36388820 140730118244928 140730118241528 8047671 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 65523712 140730118251707 140730118251785 140730118251785 140730118254543 0
/proc/29145/statm: 8569 1089 481 7860 0 674 0
Current children cumulated CPU time: 1842.24 s
Current children cumulated vsize: 34276 KiB
Current children cumulated memory: 4356 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29287
/proc/meminfo: memFree=15899332/32770624 swapFree=67108860/67108860
[pid=29145] ppid=29142 vsize=34276 memory=4364 CPUtime=1902.24 cores=1,3,5,7
/proc/29145/stat : 29145 (macht) R 29142 29145 26070 0 -1 4202496 13834 0 0 0 149098 41126 0 0 20 0 1 0 69425942 35098624 1091 33554432000 4194304 36388820 140730118244928 140730118241528 8047671 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 65523712 140730118251707 140730118251785 140730118251785 140730118254543 0
/proc/29145/statm: 8569 1091 481 7860 0 674 0
Current children cumulated CPU time: 1902.24 s
Current children cumulated vsize: 34276 KiB
Current children cumulated memory: 4364 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29288
/proc/meminfo: memFree=15899472/32770624 swapFree=67108860/67108860
[pid=29145] ppid=29142 vsize=34276 memory=4372 CPUtime=1962.23 cores=1,3,5,7
/proc/29145/stat : 29145 (macht) R 29142 29145 26070 0 -1 4202496 14151 0 0 0 153798 42425 0 0 20 0 1 0 69425942 35098624 1093 33554432000 4194304 36388820 140730118244928 140730118241528 8047671 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 65523712 140730118251707 140730118251785 140730118251785 140730118254543 0
/proc/29145/statm: 8569 1093 481 7860 0 674 0
Current children cumulated CPU time: 1962.23 s
Current children cumulated vsize: 34276 KiB
Current children cumulated memory: 4372 KiB
[startup+2022.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/188 29297
/proc/meminfo: memFree=15898840/32770624 swapFree=67108860/67108860
[pid=29145] ppid=29142 vsize=34276 memory=4372 CPUtime=2022.23 cores=1,3,5,7
/proc/29145/stat : 29145 (macht) R 29142 29145 26070 0 -1 4202496 14461 0 0 0 158502 43721 0 0 20 0 1 0 69425942 35098624 1093 33554432000 4194304 36388820 140730118244928 140730118241528 8047671 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 65523712 140730118251707 140730118251785 140730118251785 140730118254543 0
/proc/29145/statm: 8569 1093 481 7860 0 674 0
Current children cumulated CPU time: 2022.23 s
Current children cumulated vsize: 34276 KiB
Current children cumulated memory: 4372 KiB
[startup+2082.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/188 29298
/proc/meminfo: memFree=15898832/32770624 swapFree=67108860/67108860
[pid=29145] ppid=29142 vsize=34276 memory=4380 CPUtime=2082.23 cores=1,3,5,7
/proc/29145/stat : 29145 (macht) R 29142 29145 26070 0 -1 4202496 14879 0 0 0 163210 45013 0 0 20 0 1 0 69425942 35098624 1095 33554432000 4194304 36388820 140730118244928 140730118241528 8047671 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 65523712 140730118251707 140730118251785 140730118251785 140730118254543 0
/proc/29145/statm: 8569 1095 481 7860 0 674 0
Current children cumulated CPU time: 2082.23 s
Current children cumulated vsize: 34276 KiB
Current children cumulated memory: 4380 KiB
[startup+2142.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/188 29299
/proc/meminfo: memFree=15898708/32770624 swapFree=67108860/67108860
[pid=29145] ppid=29142 vsize=34276 memory=4388 CPUtime=2142.23 cores=1,3,5,7
/proc/29145/stat : 29145 (macht) R 29142 29145 26070 0 -1 4202496 15200 0 0 0 167929 46294 0 0 20 0 1 0 69425942 35098624 1097 33554432000 4194304 36388820 140730118244928 140730118241528 8047671 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 65523712 140730118251707 140730118251785 140730118251785 140730118254543 0
/proc/29145/statm: 8569 1097 481 7860 0 674 0
Current children cumulated CPU time: 2142.23 s
Current children cumulated vsize: 34276 KiB
Current children cumulated memory: 4388 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 29300
/proc/meminfo: memFree=15898492/32770624 swapFree=67108860/67108860
[pid=29145] ppid=29142 vsize=34276 memory=4388 CPUtime=2202.22 cores=1,3,5,7
/proc/29145/stat : 29145 (macht) R 29142 29145 26070 0 -1 4202496 15533 0 0 0 172651 47571 0 0 20 0 1 0 69425942 35098624 1097 33554432000 4194304 36388820 140730118244928 140730118241528 8047671 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 65523712 140730118251707 140730118251785 140730118251785 140730118254543 0
/proc/29145/statm: 8569 1097 481 7860 0 674 0
Current children cumulated CPU time: 2202.22 s
Current children cumulated vsize: 34276 KiB
Current children cumulated memory: 4388 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29301
/proc/meminfo: memFree=15899640/32770624 swapFree=67108860/67108860
[pid=29145] ppid=29142 vsize=34276 memory=4388 CPUtime=2262.23 cores=1,3,5,7
/proc/29145/stat : 29145 (macht) R 29142 29145 26070 0 -1 4202496 15853 0 0 0 177359 48864 0 0 20 0 1 0 69425942 35098624 1097 33554432000 4194304 36388820 140730118244928 140730118241528 8047671 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 65523712 140730118251707 140730118251785 140730118251785 140730118254543 0
/proc/29145/statm: 8569 1097 481 7860 0 674 0
Current children cumulated CPU time: 2262.23 s
Current children cumulated vsize: 34276 KiB
Current children cumulated memory: 4388 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29303
/proc/meminfo: memFree=15898748/32770624 swapFree=67108860/67108860
[pid=29145] ppid=29142 vsize=34276 memory=4388 CPUtime=2322.22 cores=1,3,5,7
/proc/29145/stat : 29145 (macht) R 29142 29145 26070 0 -1 4202496 16231 0 0 0 182063 50159 0 0 20 0 1 0 69425942 35098624 1097 33554432000 4194304 36388820 140730118244928 140730118241528 8047671 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 65523712 140730118251707 140730118251785 140730118251785 140730118254543 0
/proc/29145/statm: 8569 1097 481 7860 0 674 0
Current children cumulated CPU time: 2322.22 s
Current children cumulated vsize: 34276 KiB
Current children cumulated memory: 4388 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29304
/proc/meminfo: memFree=15898352/32770624 swapFree=67108860/67108860
[pid=29145] ppid=29142 vsize=34276 memory=4396 CPUtime=2382.22 cores=1,3,5,7
/proc/29145/stat : 29145 (macht) R 29142 29145 26070 0 -1 4202496 16535 0 0 0 186774 51448 0 0 20 0 1 0 69425942 35098624 1099 33554432000 4194304 36388820 140730118244928 140730118241528 8047671 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 65523712 140730118251707 140730118251785 140730118251785 140730118254543 0
/proc/29145/statm: 8569 1099 481 7860 0 674 0
Current children cumulated CPU time: 2382.22 s
Current children cumulated vsize: 34276 KiB
Current children cumulated memory: 4396 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29305
/proc/meminfo: memFree=15898608/32770624 swapFree=67108860/67108860
[pid=29145] ppid=29142 vsize=34276 memory=4396 CPUtime=2442.22 cores=1,3,5,7
/proc/29145/stat : 29145 (macht) R 29142 29145 26070 0 -1 4202496 16850 0 0 0 191486 52736 0 0 20 0 1 0 69425942 35098624 1099 33554432000 4194304 36388820 140730118244928 140730118241528 8047671 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 65523712 140730118251707 140730118251785 140730118251785 140730118254543 0
/proc/29145/statm: 8569 1099 481 7860 0 674 0
Current children cumulated CPU time: 2442.22 s
Current children cumulated vsize: 34276 KiB
Current children cumulated memory: 4396 KiB
[startup+2502.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/187 29306
/proc/meminfo: memFree=15898484/32770624 swapFree=67108860/67108860
[pid=29145] ppid=29142 vsize=34276 memory=4396 CPUtime=2502.22 cores=1,3,5,7
/proc/29145/stat : 29145 (macht) R 29142 29145 26070 0 -1 4202496 17212 0 0 0 196211 54011 0 0 20 0 1 0 69425942 35098624 1099 33554432000 4194304 36388820 140730118244928 140730118241528 8047671 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 65523712 140730118251707 140730118251785 140730118251785 140730118254543 0
/proc/29145/statm: 8569 1099 481 7860 0 674 0
Current children cumulated CPU time: 2502.22 s
Current children cumulated vsize: 34276 KiB
Current children cumulated memory: 4396 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.05 2.03 2.05 3/187 29306
/proc/meminfo: memFree=15898484/32770624 swapFree=67108860/67108860
[pid=29145] ppid=29142 vsize=34276 memory=4416 CPUtime=2519.93 cores=1,3,5,7
/proc/29145/stat : 29145 (macht) R 29142 29145 26070 0 -1 4202496 17547 0 0 0 197605 54388 0 0 20 0 1 0 69425942 35098624 1104 33554432000 4194304 36388820 140730118244928 140730118241528 8047671 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 65523712 140730118251707 140730118251785 140730118251785 140730118254543 0
/proc/29145/statm: 8569 1104 481 7860 0 674 0
Current children cumulated CPU time: 2519.93 s
Current children cumulated vsize: 34276 KiB
Current children cumulated memory: 4416 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 29145 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1976.05 s, system=543.885 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.94
CPU user time (s): 1976.05
CPU system time (s): 543.885
CPU usage (%): 99.9971
Max. virtual memory (cumulated for all children) (KiB): 34276
Max. memory (cumulated for all children) (KiB): 4416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1976.05
system time used= 543.885
maximum resident set size= 4416
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17547
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= 2
involuntary context switches= 770
# summary of solver processes directly reported to runsolver:
# pid: 29145
# total CPU time (s): 2519.94
# total CPU user time (s): 1976.05
# total CPU system time (s): 543.885
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.6667 second user time and 13.2333 second system time
The end