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 (5576 MiB free)
memory of node 1: 16384 MiB (9949 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305966-1534087869/watcher-4305966-1534087869 -o /tmp/evaluation-result-4305966-1534087869/solver-4305966-1534087869 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1534062754-29404 --watchdog 2580 macht 2520 HOME/instance-4305966-1534087869.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=1705, runsolver pid=1702
Current StackSize limit: 8192 KiB
[startup+0.100153 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 1706
/proc/meminfo: memFree=15897824/32770624 swapFree=67108792/67108860
[pid=1705] ppid=1702 vsize=32288 memory=2208 CPUtime=0.1 cores=1,3,5,7
/proc/1705/stat : 1705 (macht) R 1702 1705 29372 0 -1 4202496 738 0 0 0 9 1 0 0 20 0 1 0 226350207 33062912 552 33554432000 4194304 36388816 140723947784512 140723947784512 8047687 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 42721280 140723947791547 140723947791625 140723947791625 140723947794383 0
/proc/1705/statm: 8072 552 444 7860 0 177 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 32288 KiB
Current children cumulated memory: 2208 KiB
[startup+0.209204 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 1706
/proc/meminfo: memFree=15897824/32770624 swapFree=67108792/67108860
[pid=1705] ppid=1702 vsize=32420 memory=2208 CPUtime=0.21 cores=1,3,5,7
/proc/1705/stat : 1705 (macht) R 1702 1705 29372 0 -1 4202496 741 0 0 0 19 2 0 0 20 0 1 0 226350207 33198080 552 33554432000 4194304 36388816 140723947784512 140723947784512 8047687 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 42721280 140723947791547 140723947791625 140723947791625 140723947794383 0
/proc/1705/statm: 8105 552 444 7860 0 210 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 32420 KiB
Current children cumulated memory: 2208 KiB
[startup+0.30878 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 1706
/proc/meminfo: memFree=15897560/32770624 swapFree=67108792/67108860
[pid=1705] ppid=1702 vsize=32420 memory=2208 CPUtime=0.3 cores=1,3,5,7
/proc/1705/stat : 1705 (macht) R 1702 1705 29372 0 -1 4202496 745 0 0 0 27 3 0 0 20 0 1 0 226350207 33198080 552 33554432000 4194304 36388816 140723947784512 140723947784512 8047687 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 42721280 140723947791547 140723947791625 140723947791625 140723947794383 0
/proc/1705/statm: 8105 552 444 7860 0 210 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 32420 KiB
Current children cumulated memory: 2208 KiB
[startup+0.700273 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 1706
/proc/meminfo: memFree=15897560/32770624 swapFree=67108792/67108860
[pid=1705] ppid=1702 vsize=32420 memory=2472 CPUtime=0.7 cores=1,3,5,7
/proc/1705/stat : 1705 (macht) R 1702 1705 29372 0 -1 4202496 750 0 0 0 62 8 0 0 20 0 1 0 226350207 33198080 618 33554432000 4194304 36388816 140723947784512 140723947783224 8047687 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 42721280 140723947791547 140723947791625 140723947791625 140723947794383 0
/proc/1705/statm: 8105 618 483 7860 0 210 0
Current children cumulated CPU time: 0.7 s
Current children cumulated vsize: 32420 KiB
Current children cumulated memory: 2472 KiB
[startup+1.50027 s]
/proc/loadavg: 1.92 2.00 2.04 3/188 1706
/proc/meminfo: memFree=15897360/32770624 swapFree=67108792/67108860
[pid=1705] ppid=1702 vsize=32420 memory=2472 CPUtime=1.49 cores=1,3,5,7
/proc/1705/stat : 1705 (macht) R 1702 1705 29372 0 -1 4202496 755 0 0 0 131 18 0 0 20 0 1 0 226350207 33198080 618 33554432000 4194304 36388816 140723947784512 140723947783224 8047687 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 42721280 140723947791547 140723947791625 140723947791625 140723947794383 0
/proc/1705/statm: 8105 618 483 7860 0 210 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 32420 KiB
Current children cumulated memory: 2472 KiB
[startup+3.10892 s]
/proc/loadavg: 1.92 2.00 2.04 3/188 1706
/proc/meminfo: memFree=15897816/32770624 swapFree=67108792/67108860
[pid=1705] ppid=1702 vsize=32420 memory=2524 CPUtime=3.09 cores=1,3,5,7
/proc/1705/stat : 1705 (macht) R 1702 1705 29372 0 -1 4202496 880 0 0 0 273 36 0 0 20 0 1 0 226350207 33198080 631 33554432000 4194304 36388816 140723947784512 140723947783224 8047687 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 42721280 140723947791547 140723947791625 140723947791625 140723947794383 0
/proc/1705/statm: 8105 631 483 7860 0 210 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 32420 KiB
Current children cumulated memory: 2524 KiB
[startup+6.30026 s]
/proc/loadavg: 1.93 2.00 2.04 3/188 1706
/proc/meminfo: memFree=15897816/32770624 swapFree=67108792/67108860
[pid=1705] ppid=1702 vsize=32420 memory=2552 CPUtime=6.29 cores=1,3,5,7
/proc/1705/stat : 1705 (macht) R 1702 1705 29372 0 -1 4202496 1014 0 0 0 553 76 0 0 20 0 1 0 226350207 33198080 638 33554432000 4194304 36388816 140723947784512 140723947783224 8047687 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 42721280 140723947791547 140723947791625 140723947791625 140723947794383 0
/proc/1705/statm: 8105 638 484 7860 0 210 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 32420 KiB
Current children cumulated memory: 2552 KiB
[startup+12.7003 s]
/proc/loadavg: 1.93 2.00 2.04 3/188 1706
/proc/meminfo: memFree=15897816/32770624 swapFree=67108792/67108860
[pid=1705] ppid=1702 vsize=32552 memory=2572 CPUtime=12.68 cores=1,3,5,7
/proc/1705/stat : 1705 (macht) R 1702 1705 29372 0 -1 4202496 1153 0 0 0 1079 189 0 0 20 0 1 0 226350207 33333248 643 33554432000 4194304 36388816 140723947784512 140723947783224 8047687 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 42721280 140723947791547 140723947791625 140723947791625 140723947794383 0
/proc/1705/statm: 8138 643 484 7860 0 243 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 32552 KiB
Current children cumulated memory: 2572 KiB
[startup+25.5003 s]
/proc/loadavg: 1.95 2.00 2.04 3/188 1706
/proc/meminfo: memFree=15897816/32770624 swapFree=67108792/67108860
[pid=1705] ppid=1702 vsize=32552 memory=2624 CPUtime=25.49 cores=1,3,5,7
/proc/1705/stat : 1705 (macht) R 1702 1705 29372 0 -1 4202496 1409 0 0 0 2100 449 0 0 20 0 1 0 226350207 33333248 656 33554432000 4194304 36388816 140723947784512 140723947783224 8047687 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 42721280 140723947791547 140723947791625 140723947791625 140723947794383 0
/proc/1705/statm: 8138 656 484 7860 0 243 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 32552 KiB
Current children cumulated memory: 2624 KiB
[startup+51.1089 s]
/proc/loadavg: 1.97 2.00 2.04 3/188 1706
/proc/meminfo: memFree=15897816/32770624 swapFree=67108792/67108860
[pid=1705] ppid=1702 vsize=32552 memory=2652 CPUtime=51.1 cores=1,3,5,7
/proc/1705/stat : 1705 (macht) R 1702 1705 29372 0 -1 4202496 1550 0 0 0 4128 982 0 0 20 0 1 0 226350207 33333248 663 33554432000 4194304 36388816 140723947784512 140723947783224 8047687 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 42721280 140723947791547 140723947791625 140723947791625 140723947794383 0
/proc/1705/statm: 8138 663 484 7860 0 243 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 32552 KiB
Current children cumulated memory: 2652 KiB
[startup+102.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/188 1707
/proc/meminfo: memFree=15897444/32770624 swapFree=67108792/67108860
[pid=1705] ppid=1702 vsize=32552 memory=2672 CPUtime=102.28 cores=1,3,5,7
/proc/1705/stat : 1705 (macht) R 1702 1705 29372 0 -1 4202496 1691 0 0 0 8192 2036 0 0 20 0 1 0 226350207 33333248 668 33554432000 4194304 36388816 140723947784512 140723947783224 8047687 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 42721280 140723947791547 140723947791625 140723947791625 140723947794383 0
/proc/1705/statm: 8138 668 484 7860 0 243 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 32552 KiB
Current children cumulated memory: 2672 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/188 1708
/proc/meminfo: memFree=15897716/32770624 swapFree=67108792/67108860
[pid=1705] ppid=1702 vsize=32552 memory=2696 CPUtime=162.28 cores=1,3,5,7
/proc/1705/stat : 1705 (macht) R 1702 1705 29372 0 -1 4202496 1842 0 0 0 12952 3276 0 0 20 0 1 0 226350207 33333248 674 33554432000 4194304 36388816 140723947784512 140723947783224 8047687 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 42721280 140723947791547 140723947791625 140723947791625 140723947794383 0
/proc/1705/statm: 8138 674 484 7860 0 243 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 32552 KiB
Current children cumulated memory: 2696 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 1709
/proc/meminfo: memFree=15897580/32770624 swapFree=67108792/67108860
[pid=1705] ppid=1702 vsize=32684 memory=2716 CPUtime=222.28 cores=1,3,5,7
/proc/1705/stat : 1705 (macht) R 1702 1705 29372 0 -1 4202496 1987 0 0 0 17714 4514 0 0 20 0 1 0 226350207 33468416 679 33554432000 4194304 36388816 140723947784512 140723947783224 8047687 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 42721280 140723947791547 140723947791625 140723947791625 140723947794383 0
/proc/1705/statm: 8171 679 484 7860 0 276 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 32684 KiB
Current children cumulated memory: 2716 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 1710
/proc/meminfo: memFree=15897596/32770624 swapFree=67108792/67108860
[pid=1705] ppid=1702 vsize=32684 memory=2728 CPUtime=282.28 cores=1,3,5,7
/proc/1705/stat : 1705 (macht) R 1702 1705 29372 0 -1 4202496 2131 0 0 0 22462 5766 0 0 20 0 1 0 226350207 33468416 682 33554432000 4194304 36388816 140723947784512 140723947783224 8047687 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 42721280 140723947791547 140723947791625 140723947791625 140723947794383 0
/proc/1705/statm: 8171 682 484 7860 0 276 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 32684 KiB
Current children cumulated memory: 2728 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/186 1711
/proc/meminfo: memFree=15898476/32770624 swapFree=67108792/67108860
[pid=1705] ppid=1702 vsize=32684 memory=2744 CPUtime=342.28 cores=1,3,5,7
/proc/1705/stat : 1705 (macht) R 1702 1705 29372 0 -1 4202496 2294 0 0 0 27227 7001 0 0 20 0 1 0 226350207 33468416 686 33554432000 4194304 36388816 140723947784512 140723947783224 8047687 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 42721280 140723947791547 140723947791625 140723947791625 140723947794383 0
/proc/1705/statm: 8171 686 484 7860 0 276 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 32684 KiB
Current children cumulated memory: 2744 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 1713
/proc/meminfo: memFree=15897104/32770624 swapFree=67108792/67108860
[pid=1705] ppid=1702 vsize=32684 memory=2748 CPUtime=402.28 cores=1,3,5,7
/proc/1705/stat : 1705 (macht) R 1702 1705 29372 0 -1 4202496 2444 0 0 0 31992 8236 0 0 20 0 1 0 226350207 33468416 687 33554432000 4194304 36388816 140723947784512 140723947783224 8047687 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 42721280 140723947791547 140723947791625 140723947791625 140723947794383 0
/proc/1705/statm: 8171 687 484 7860 0 276 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 32684 KiB
Current children cumulated memory: 2748 KiB
[startup+462.3 s]
/proc/loadavg: 2.07 2.01 2.05 3/187 1714
/proc/meminfo: memFree=15896732/32770624 swapFree=67108792/67108860
[pid=1705] ppid=1702 vsize=32684 memory=2760 CPUtime=462.28 cores=1,3,5,7
/proc/1705/stat : 1705 (macht) R 1702 1705 29372 0 -1 4202496 2594 0 0 0 36759 9469 0 0 20 0 1 0 226350207 33468416 690 33554432000 4194304 36388816 140723947784512 140723947783224 8047687 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 42721280 140723947791547 140723947791625 140723947791625 140723947794383 0
/proc/1705/statm: 8171 690 484 7860 0 276 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 32684 KiB
Current children cumulated memory: 2760 KiB
################
# More data... #
################
/proc/1705/statm: 8171 706 484 7860 0 276 0
Current children cumulated CPU time: 1722.24 s
Current children cumulated vsize: 32684 KiB
Current children cumulated memory: 2824 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1884
/proc/meminfo: memFree=15897304/32770624 swapFree=67108792/67108860
[pid=1705] ppid=1702 vsize=32684 memory=2824 CPUtime=1782.24 cores=1,3,5,7
/proc/1705/stat : 1705 (macht) R 1702 1705 29372 0 -1 4202496 5766 0 0 0 140707 37517 0 0 20 0 1 0 226350207 33468416 706 33554432000 4194304 36388816 140723947784512 140723947783224 8047687 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 42721280 140723947791547 140723947791625 140723947791625 140723947794383 0
/proc/1705/statm: 8171 706 484 7860 0 276 0
Current children cumulated CPU time: 1782.24 s
Current children cumulated vsize: 32684 KiB
Current children cumulated memory: 2824 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 1908
/proc/meminfo: memFree=15896864/32770624 swapFree=67108792/67108860
[pid=1705] ppid=1702 vsize=32684 memory=2828 CPUtime=1842.24 cores=1,3,5,7
/proc/1705/stat : 1705 (macht) R 1702 1705 29372 0 -1 4202496 5899 0 0 0 145421 38803 0 0 20 0 1 0 226350207 33468416 707 33554432000 4194304 36388816 140723947784512 140723947783224 8047687 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 42721280 140723947791547 140723947791625 140723947791625 140723947794383 0
/proc/1705/statm: 8171 707 484 7860 0 276 0
Current children cumulated CPU time: 1842.24 s
Current children cumulated vsize: 32684 KiB
Current children cumulated memory: 2828 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 1909
/proc/meminfo: memFree=15897112/32770624 swapFree=67108792/67108860
[pid=1705] ppid=1702 vsize=32684 memory=2828 CPUtime=1902.24 cores=1,3,5,7
/proc/1705/stat : 1705 (macht) R 1702 1705 29372 0 -1 4202496 6030 0 0 0 150126 40098 0 0 20 0 1 0 226350207 33468416 707 33554432000 4194304 36388816 140723947784512 140723947783224 8047687 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 42721280 140723947791547 140723947791625 140723947791625 140723947794383 0
/proc/1705/statm: 8171 707 484 7860 0 276 0
Current children cumulated CPU time: 1902.24 s
Current children cumulated vsize: 32684 KiB
Current children cumulated memory: 2828 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 1910
/proc/meminfo: memFree=15897236/32770624 swapFree=67108792/67108860
[pid=1705] ppid=1702 vsize=32684 memory=2828 CPUtime=1962.24 cores=1,3,5,7
/proc/1705/stat : 1705 (macht) R 1702 1705 29372 0 -1 4202496 6166 0 0 0 154848 41376 0 0 20 0 1 0 226350207 33468416 707 33554432000 4194304 36388816 140723947784512 140723947783224 8047687 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 42721280 140723947791547 140723947791625 140723947791625 140723947794383 0
/proc/1705/statm: 8171 707 484 7860 0 276 0
Current children cumulated CPU time: 1962.24 s
Current children cumulated vsize: 32684 KiB
Current children cumulated memory: 2828 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 1911
/proc/meminfo: memFree=15897164/32770624 swapFree=67108792/67108860
[pid=1705] ppid=1702 vsize=32684 memory=2832 CPUtime=2022.23 cores=1,3,5,7
/proc/1705/stat : 1705 (macht) R 1702 1705 29372 0 -1 4202496 6299 0 0 0 159568 42655 0 0 20 0 1 0 226350207 33468416 708 33554432000 4194304 36388816 140723947784512 140723947783224 8047687 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 42721280 140723947791547 140723947791625 140723947791625 140723947794383 0
/proc/1705/statm: 8171 708 484 7860 0 276 0
Current children cumulated CPU time: 2022.23 s
Current children cumulated vsize: 32684 KiB
Current children cumulated memory: 2832 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 1912
/proc/meminfo: memFree=15897504/32770624 swapFree=67108792/67108860
[pid=1705] ppid=1702 vsize=32684 memory=2832 CPUtime=2082.24 cores=1,3,5,7
/proc/1705/stat : 1705 (macht) R 1702 1705 29372 0 -1 4202496 6428 0 0 0 164271 43953 0 0 20 0 1 0 226350207 33468416 708 33554432000 4194304 36388816 140723947784512 140723947783224 8047687 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 42721280 140723947791547 140723947791625 140723947791625 140723947794383 0
/proc/1705/statm: 8171 708 484 7860 0 276 0
Current children cumulated CPU time: 2082.24 s
Current children cumulated vsize: 32684 KiB
Current children cumulated memory: 2832 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1913
/proc/meminfo: memFree=15897396/32770624 swapFree=67108792/67108860
[pid=1705] ppid=1702 vsize=32684 memory=2832 CPUtime=2142.23 cores=1,3,5,7
/proc/1705/stat : 1705 (macht) R 1702 1705 29372 0 -1 4202496 6564 0 0 0 168979 45244 0 0 20 0 1 0 226350207 33468416 708 33554432000 4194304 36388816 140723947784512 140723947783224 8047687 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 42721280 140723947791547 140723947791625 140723947791625 140723947794383 0
/proc/1705/statm: 8171 708 484 7860 0 276 0
Current children cumulated CPU time: 2142.23 s
Current children cumulated vsize: 32684 KiB
Current children cumulated memory: 2832 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1914
/proc/meminfo: memFree=15897396/32770624 swapFree=67108792/67108860
[pid=1705] ppid=1702 vsize=32684 memory=2836 CPUtime=2202.23 cores=1,3,5,7
/proc/1705/stat : 1705 (macht) R 1702 1705 29372 0 -1 4202496 6690 0 0 0 173690 46533 0 0 20 0 1 0 226350207 33468416 709 33554432000 4194304 36388816 140723947784512 140723947783224 8047687 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 42721280 140723947791547 140723947791625 140723947791625 140723947794383 0
/proc/1705/statm: 8171 709 484 7860 0 276 0
Current children cumulated CPU time: 2202.23 s
Current children cumulated vsize: 32684 KiB
Current children cumulated memory: 2836 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1915
/proc/meminfo: memFree=15897148/32770624 swapFree=67108792/67108860
[pid=1705] ppid=1702 vsize=32684 memory=2836 CPUtime=2262.23 cores=1,3,5,7
/proc/1705/stat : 1705 (macht) R 1702 1705 29372 0 -1 4202496 6822 0 0 0 178389 47834 0 0 20 0 1 0 226350207 33468416 709 33554432000 4194304 36388816 140723947784512 140723947783224 8047687 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 42721280 140723947791547 140723947791625 140723947791625 140723947794383 0
/proc/1705/statm: 8171 709 484 7860 0 276 0
Current children cumulated CPU time: 2262.23 s
Current children cumulated vsize: 32684 KiB
Current children cumulated memory: 2836 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1916
/proc/meminfo: memFree=15897140/32770624 swapFree=67108792/67108860
[pid=1705] ppid=1702 vsize=32684 memory=2836 CPUtime=2322.23 cores=1,3,5,7
/proc/1705/stat : 1705 (macht) R 1702 1705 29372 0 -1 4202496 6955 0 0 0 183091 49132 0 0 20 0 1 0 226350207 33468416 709 33554432000 4194304 36388816 140723947784512 140723947783224 8047687 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 42721280 140723947791547 140723947791625 140723947791625 140723947794383 0
/proc/1705/statm: 8171 709 484 7860 0 276 0
Current children cumulated CPU time: 2322.23 s
Current children cumulated vsize: 32684 KiB
Current children cumulated memory: 2836 KiB
[startup+2382.3 s]
/proc/loadavg: 2.52 2.16 2.09 3/187 1925
/proc/meminfo: memFree=15897056/32770624 swapFree=67108792/67108860
[pid=1705] ppid=1702 vsize=32684 memory=2840 CPUtime=2382.22 cores=1,3,5,7
/proc/1705/stat : 1705 (macht) R 1702 1705 29372 0 -1 4202496 7092 0 0 0 187798 50424 0 0 20 0 1 0 226350207 33468416 710 33554432000 4194304 36388816 140723947784512 140723947783224 8047687 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 42721280 140723947791547 140723947791625 140723947791625 140723947794383 0
/proc/1705/statm: 8171 710 484 7860 0 276 0
Current children cumulated CPU time: 2382.22 s
Current children cumulated vsize: 32684 KiB
Current children cumulated memory: 2840 KiB
[startup+2442.3 s]
/proc/loadavg: 2.19 2.13 2.09 3/187 1926
/proc/meminfo: memFree=15896808/32770624 swapFree=67108792/67108860
[pid=1705] ppid=1702 vsize=32684 memory=2840 CPUtime=2442.23 cores=1,3,5,7
/proc/1705/stat : 1705 (macht) R 1702 1705 29372 0 -1 4202496 7224 0 0 0 192508 51715 0 0 20 0 1 0 226350207 33468416 710 33554432000 4194304 36388816 140723947784512 140723947783224 8047687 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 42721280 140723947791547 140723947791625 140723947791625 140723947794383 0
/proc/1705/statm: 8171 710 484 7860 0 276 0
Current children cumulated CPU time: 2442.23 s
Current children cumulated vsize: 32684 KiB
Current children cumulated memory: 2840 KiB
[startup+2502.3 s]
/proc/loadavg: 2.07 2.11 2.08 3/187 1927
/proc/meminfo: memFree=15896924/32770624 swapFree=67108792/67108860
[pid=1705] ppid=1702 vsize=32684 memory=2840 CPUtime=2502.22 cores=1,3,5,7
/proc/1705/stat : 1705 (macht) R 1702 1705 29372 0 -1 4202496 7353 0 0 0 197206 53016 0 0 20 0 1 0 226350207 33468416 710 33554432000 4194304 36388816 140723947784512 140723947783224 8047687 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 42721280 140723947791547 140723947791625 140723947791625 140723947794383 0
/proc/1705/statm: 8171 710 484 7860 0 276 0
Current children cumulated CPU time: 2502.22 s
Current children cumulated vsize: 32684 KiB
Current children cumulated memory: 2840 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.05 2.10 2.08 3/187 1928
/proc/meminfo: memFree=15896924/32770624 swapFree=67108792/67108860
[pid=1705] ppid=1702 vsize=32684 memory=2840 CPUtime=2519.92 cores=1,3,5,7
/proc/1705/stat : 1705 (macht) R 1702 1705 29372 0 -1 4202496 7466 0 0 0 198592 53400 0 0 20 0 1 0 226350207 33468416 710 33554432000 4194304 36388816 140723947784512 140723947783224 8047687 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 42721280 140723947791547 140723947791625 140723947791625 140723947794383 0
/proc/1705/statm: 8171 710 484 7860 0 276 0
Current children cumulated CPU time: 2519.92 s
Current children cumulated vsize: 32684 KiB
Current children cumulated memory: 2840 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 1705 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1985.93 s, system=534.008 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): 1985.93
CPU system time (s): 534.008
CPU usage (%): 99.9973
Max. virtual memory (cumulated for all children) (KiB): 32684
Max. memory (cumulated for all children) (KiB): 2840
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1985.93
system time used= 534.008
maximum resident set size= 2840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7466
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= 632
# summary of solver processes directly reported to runsolver:
# pid: 1705
# total CPU time (s): 2519.94
# total CPU user time (s): 1985.93
# total CPU system time (s): 534.008
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.84374 second user time and 15.5111 second system time
The end