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 (4978 MiB free)
memory of node 1: 16384 MiB (4655 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4296134-1532605846/watcher-4296134-1532605846 -o /tmp/evaluation-result-4296134-1532605846/solver-4296134-1532605846 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532595686-29544 --watchdog 2580 macht 2520 HOME/instance-4296134-1532605846.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=32039, runsolver pid=32036
Current StackSize limit: 8192 KiB
[startup+0.10082 s]*
/proc/loadavg: 2.00 2.06 2.02 3/188 32040
/proc/meminfo: memFree=9856636/32770624 swapFree=67108860/67108860
[pid=32039] ppid=32036 vsize=40232 memory=10012 CPUtime=0.1 cores=1,3,5,7
/proc/32039/stat : 32039 (macht) R 32036 32039 29512 0 -1 4202496 2655 0 0 0 10 0 0 0 20 0 1 0 78147826 41197568 2503 33554432000 4194304 36388820 140734966383776 140734966380952 6634142 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38489992 38625312 54489088 140734966391995 140734966392073 140734966392073 140734966394831 0
/proc/32039/statm: 10058 2503 437 7860 0 2163 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40232 KiB
Current children cumulated memory: 10012 KiB
[startup+0.209797 s]*
/proc/loadavg: 2.00 2.06 2.02 3/188 32040
/proc/meminfo: memFree=9852196/32770624 swapFree=67108860/67108860
[pid=32039] ppid=32036 vsize=44960 memory=14500 CPUtime=0.2 cores=1,3,5,7
/proc/32039/stat : 32039 (macht) R 32036 32039 29512 0 -1 4202496 3782 0 0 0 20 0 0 0 20 0 1 0 78147826 46039040 3625 33554432000 4194304 36388820 140734966383776 140734966380952 4356255 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38489992 38625312 54489088 140734966391995 140734966392073 140734966392073 140734966394831 0
/proc/32039/statm: 11240 3625 484 7860 0 3345 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 44960 KiB
Current children cumulated memory: 14500 KiB
[startup+0.309676 s]*
/proc/loadavg: 2.00 2.06 2.02 3/188 32040
/proc/meminfo: memFree=9852196/32770624 swapFree=67108860/67108860
[pid=32039] ppid=32036 vsize=44960 memory=14500 CPUtime=0.3 cores=1,3,5,7
/proc/32039/stat : 32039 (macht) R 32036 32039 29512 0 -1 4202496 3798 0 0 0 30 0 0 0 20 0 1 0 78147826 46039040 3625 33554432000 4194304 36388820 140734966383776 140734966380952 4356255 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38489992 38625312 54489088 140734966391995 140734966392073 140734966392073 140734966394831 0
/proc/32039/statm: 11240 3625 484 7860 0 3345 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 44960 KiB
Current children cumulated memory: 14500 KiB
[startup+0.700304 s]
/proc/loadavg: 2.00 2.06 2.02 3/188 32040
/proc/meminfo: memFree=9851592/32770624 swapFree=67108860/67108860
[pid=32039] ppid=32036 vsize=45112 memory=14500 CPUtime=0.68 cores=1,3,5,7
/proc/32039/stat : 32039 (macht) R 32036 32039 29512 0 -1 4202496 3816 0 0 0 68 0 0 0 20 0 1 0 78147826 46194688 3625 33554432000 4194304 36388820 140734966383776 140734966378520 4356512 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38489992 38625312 54489088 140734966391995 140734966392073 140734966392073 140734966394831 0
/proc/32039/statm: 11278 3625 484 7860 0 3383 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 45112 KiB
Current children cumulated memory: 14500 KiB
[startup+1.50028 s]
/proc/loadavg: 2.00 2.06 2.02 3/188 32040
/proc/meminfo: memFree=9851592/32770624 swapFree=67108860/67108860
[pid=32039] ppid=32036 vsize=45112 memory=14764 CPUtime=1.48 cores=1,3,5,7
/proc/32039/stat : 32039 (macht) R 32036 32039 29512 0 -1 4202496 3833 0 0 0 148 0 0 0 20 0 1 0 78147826 46194688 3691 33554432000 4194304 36388820 140734966383776 140734966378520 4356493 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38489992 38625312 54489088 140734966391995 140734966392073 140734966392073 140734966394831 0
/proc/32039/statm: 11278 3691 487 7860 0 3383 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 45112 KiB
Current children cumulated memory: 14764 KiB
[startup+3.10914 s]
/proc/loadavg: 2.00 2.06 2.02 3/188 32040
/proc/meminfo: memFree=9851176/32770624 swapFree=67108860/67108860
[pid=32039] ppid=32036 vsize=45112 memory=14856 CPUtime=3.09 cores=1,3,5,7
/proc/32039/stat : 32039 (macht) R 32036 32039 29512 0 -1 4202496 5732 0 0 0 309 0 0 0 20 0 1 0 78147826 46194688 3714 33554432000 4194304 36388820 140734966383776 140734966378520 6663696 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38489992 38625312 54489088 140734966391995 140734966392073 140734966392073 140734966394831 0
/proc/32039/statm: 11278 3714 487 7860 0 3383 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 45112 KiB
Current children cumulated memory: 14856 KiB
[startup+6.30025 s]
/proc/loadavg: 2.00 2.06 2.02 3/188 32040
/proc/meminfo: memFree=9850904/32770624 swapFree=67108860/67108860
[pid=32039] ppid=32036 vsize=45244 memory=14944 CPUtime=6.28 cores=1,3,5,7
/proc/32039/stat : 32039 (macht) R 32036 32039 29512 0 -1 4202496 5827 0 0 0 628 0 0 0 20 0 1 0 78147826 46329856 3736 33554432000 4194304 36388820 140734966383776 140734966378520 4356472 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38489992 38625312 54489088 140734966391995 140734966392073 140734966392073 140734966394831 0
/proc/32039/statm: 11311 3736 487 7860 0 3416 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 45244 KiB
Current children cumulated memory: 14944 KiB
[startup+12.7002 s]
/proc/loadavg: 2.08 2.07 2.02 3/188 32040
/proc/meminfo: memFree=9850532/32770624 swapFree=67108860/67108860
[pid=32039] ppid=32036 vsize=45640 memory=15404 CPUtime=12.68 cores=1,3,5,7
/proc/32039/stat : 32039 (macht) R 32036 32039 29512 0 -1 4202496 6065 0 0 0 1268 0 0 0 20 0 1 0 78147826 46735360 3851 33554432000 4194304 36388820 140734966383776 140734966378520 4356512 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38489992 38625312 54489088 140734966391995 140734966392073 140734966392073 140734966394831 0
/proc/32039/statm: 11410 3851 497 7860 0 3515 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 45640 KiB
Current children cumulated memory: 15404 KiB
[startup+25.5002 s]
/proc/loadavg: 2.37 2.13 2.05 3/188 32040
/proc/meminfo: memFree=9850532/32770624 swapFree=67108860/67108860
[pid=32039] ppid=32036 vsize=45640 memory=15476 CPUtime=25.48 cores=1,3,5,7
/proc/32039/stat : 32039 (macht) R 32036 32039 29512 0 -1 4202496 6418 0 0 0 2548 0 0 0 20 0 1 0 78147826 46735360 3869 33554432000 4194304 36388820 140734966383776 140734966378520 4356479 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38489992 38625312 54489088 140734966391995 140734966392073 140734966392073 140734966394831 0
/proc/32039/statm: 11410 3869 498 7860 0 3515 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 45640 KiB
Current children cumulated memory: 15476 KiB
[startup+51.1095 s]
/proc/loadavg: 2.30 2.14 2.05 3/188 32040
/proc/meminfo: memFree=9850664/32770624 swapFree=67108860/67108860
[pid=32039] ppid=32036 vsize=45904 memory=15640 CPUtime=51.08 cores=1,3,5,7
/proc/32039/stat : 32039 (macht) R 32036 32039 29512 0 -1 4202496 6827 0 0 0 5108 0 0 0 20 0 1 0 78147826 47005696 3910 33554432000 4194304 36388820 140734966383776 140734966378520 4356489 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38489992 38625312 54489088 140734966391995 140734966392073 140734966392073 140734966394831 0
/proc/32039/statm: 11476 3910 498 7860 0 3581 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 45904 KiB
Current children cumulated memory: 15640 KiB
[startup+102.3 s]
/proc/loadavg: 2.13 2.12 2.05 3/188 32041
/proc/meminfo: memFree=9850836/32770624 swapFree=67108860/67108860
[pid=32039] ppid=32036 vsize=45904 memory=15720 CPUtime=102.26 cores=1,3,5,7
/proc/32039/stat : 32039 (macht) R 32036 32039 29512 0 -1 4202496 7130 0 0 0 10226 0 0 0 20 0 1 0 78147826 47005696 3930 33554432000 4194304 36388820 140734966383776 140734966378520 4356472 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38489992 38625312 54489088 140734966391995 140734966392073 140734966392073 140734966394831 0
/proc/32039/statm: 11476 3930 498 7860 0 3581 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 45904 KiB
Current children cumulated memory: 15720 KiB
[startup+162.3 s]
/proc/loadavg: 2.05 2.10 2.05 3/188 32042
/proc/meminfo: memFree=9851132/32770624 swapFree=67108860/67108860
[pid=32039] ppid=32036 vsize=46036 memory=15780 CPUtime=162.25 cores=1,3,5,7
/proc/32039/stat : 32039 (macht) R 32036 32039 29512 0 -1 4202496 7460 0 0 0 16225 0 0 0 20 0 1 0 78147826 47140864 3945 33554432000 4194304 36388820 140734966383776 140734966378520 4356498 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38489992 38625312 54489088 140734966391995 140734966392073 140734966392073 140734966394831 0
/proc/32039/statm: 11509 3945 498 7860 0 3614 0
Current children cumulated CPU time: 162.25 s
Current children cumulated vsize: 46036 KiB
Current children cumulated memory: 15780 KiB
[startup+222.3 s]
/proc/loadavg: 2.02 2.08 2.05 3/188 32043
/proc/meminfo: memFree=9851120/32770624 swapFree=67108860/67108860
[pid=32039] ppid=32036 vsize=46168 memory=15904 CPUtime=222.25 cores=1,3,5,7
/proc/32039/stat : 32039 (macht) R 32036 32039 29512 0 -1 4202496 7840 0 0 0 22224 1 0 0 20 0 1 0 78147826 47276032 3976 33554432000 4194304 36388820 140734966383776 140734966378520 4356531 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38489992 38625312 54489088 140734966391995 140734966392073 140734966392073 140734966394831 0
/proc/32039/statm: 11542 3976 498 7860 0 3647 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 46168 KiB
Current children cumulated memory: 15904 KiB
[startup+282.3 s]
/proc/loadavg: 2.01 2.06 2.05 3/187 32045
/proc/meminfo: memFree=9851024/32770624 swapFree=67108860/67108860
[pid=32039] ppid=32036 vsize=46168 memory=16012 CPUtime=282.24 cores=1,3,5,7
/proc/32039/stat : 32039 (macht) R 32036 32039 29512 0 -1 4202496 8198 0 0 0 28223 1 0 0 20 0 1 0 78147826 47276032 4003 33554432000 4194304 36388820 140734966383776 140734966378520 4356472 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38489992 38625312 54489088 140734966391995 140734966392073 140734966392073 140734966394831 0
/proc/32039/statm: 11542 4003 498 7860 0 3647 0
Current children cumulated CPU time: 282.24 s
Current children cumulated vsize: 46168 KiB
Current children cumulated memory: 16012 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.05 2.05 3/187 32046
/proc/meminfo: memFree=9851048/32770624 swapFree=67108860/67108860
[pid=32039] ppid=32036 vsize=46300 memory=16060 CPUtime=342.23 cores=1,3,5,7
/proc/32039/stat : 32039 (macht) R 32036 32039 29512 0 -1 4202496 8563 0 0 0 34222 1 0 0 20 0 1 0 78147826 47411200 4015 33554432000 4194304 36388820 140734966383776 140734966378520 6663715 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38489992 38625312 54489088 140734966391995 140734966392073 140734966392073 140734966394831 0
/proc/32039/statm: 11575 4015 498 7860 0 3680 0
Current children cumulated CPU time: 342.23 s
Current children cumulated vsize: 46300 KiB
Current children cumulated memory: 16060 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 32047
/proc/meminfo: memFree=9851164/32770624 swapFree=67108860/67108860
[pid=32039] ppid=32036 vsize=46300 memory=16092 CPUtime=402.21 cores=1,3,5,7
/proc/32039/stat : 32039 (macht) R 32036 32039 29512 0 -1 4202496 8941 0 0 0 40220 1 0 0 20 0 1 0 78147826 47411200 4023 33554432000 4194304 36388820 140734966383776 140734966378520 4356472 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38489992 38625312 54489088 140734966391995 140734966392073 140734966392073 140734966394831 0
/proc/32039/statm: 11575 4023 498 7860 0 3680 0
Current children cumulated CPU time: 402.21 s
Current children cumulated vsize: 46300 KiB
Current children cumulated memory: 16092 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 32049
/proc/meminfo: memFree=9851384/32770624 swapFree=67108860/67108860
[pid=32039] ppid=32036 vsize=46300 memory=16132 CPUtime=462.2 cores=1,3,5,7
/proc/32039/stat : 32039 (macht) R 32036 32039 29512 0 -1 4202496 9328 0 0 0 46219 1 0 0 20 0 1 0 78147826 47411200 4033 33554432000 4194304 36388820 140734966383776 140734966378520 4356472 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38489992 38625312 54489088 140734966391995 140734966392073 140734966392073 140734966394831 0
/proc/32039/statm: 11575 4033 498 7860 0 3680 0
Current children cumulated CPU time: 462.2 s
Current children cumulated vsize: 46300 KiB
Current children cumulated memory: 16132 KiB
################
# More data... #
################
/proc/32039/statm: 11641 4083 498 7860 0 3746 0
Current children cumulated CPU time: 1722.03 s
Current children cumulated vsize: 46564 KiB
Current children cumulated memory: 16332 KiB
[startup+1782.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/188 32177
/proc/meminfo: memFree=9853596/32770624 swapFree=67108860/67108860
[pid=32039] ppid=32036 vsize=46564 memory=16340 CPUtime=1782.03 cores=1,3,5,7
/proc/32039/stat : 32039 (macht) R 32036 32039 29512 0 -1 4202496 17275 0 0 0 178197 6 0 0 20 0 1 0 78147826 47681536 4085 33554432000 4194304 36388820 140734966383776 140734966378520 4356472 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 54489088 140734966391995 140734966392073 140734966392073 140734966394831 0
/proc/32039/statm: 11641 4085 498 7860 0 3746 0
Current children cumulated CPU time: 1782.03 s
Current children cumulated vsize: 46564 KiB
Current children cumulated memory: 16340 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 32178
/proc/meminfo: memFree=9853704/32770624 swapFree=67108860/67108860
[pid=32039] ppid=32036 vsize=46564 memory=16340 CPUtime=1842.03 cores=1,3,5,7
/proc/32039/stat : 32039 (macht) R 32036 32039 29512 0 -1 4202496 17580 0 0 0 184197 6 0 0 20 0 1 0 78147826 47681536 4085 33554432000 4194304 36388820 140734966383776 140734966378520 4356472 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 54489088 140734966391995 140734966392073 140734966392073 140734966394831 0
/proc/32039/statm: 11641 4085 498 7860 0 3746 0
Current children cumulated CPU time: 1842.03 s
Current children cumulated vsize: 46564 KiB
Current children cumulated memory: 16340 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 32179
/proc/meminfo: memFree=9854308/32770624 swapFree=67108860/67108860
[pid=32039] ppid=32036 vsize=46564 memory=16344 CPUtime=1902.04 cores=1,3,5,7
/proc/32039/stat : 32039 (macht) R 32036 32039 29512 0 -1 4202496 17976 0 0 0 190197 7 0 0 20 0 1 0 78147826 47681536 4086 33554432000 4194304 36388820 140734966383776 140734966378520 6663744 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 54489088 140734966391995 140734966392073 140734966392073 140734966394831 0
/proc/32039/statm: 11641 4086 498 7860 0 3746 0
Current children cumulated CPU time: 1902.04 s
Current children cumulated vsize: 46564 KiB
Current children cumulated memory: 16344 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 32180
/proc/meminfo: memFree=9854596/32770624 swapFree=67108860/67108860
[pid=32039] ppid=32036 vsize=46564 memory=16356 CPUtime=1962.04 cores=1,3,5,7
/proc/32039/stat : 32039 (macht) R 32036 32039 29512 0 -1 4202496 18378 0 0 0 196197 7 0 0 20 0 1 0 78147826 47681536 4089 33554432000 4194304 36388820 140734966383776 140734966378520 4356472 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 54489088 140734966391995 140734966392073 140734966392073 140734966394831 0
/proc/32039/statm: 11641 4089 498 7860 0 3746 0
Current children cumulated CPU time: 1962.04 s
Current children cumulated vsize: 46564 KiB
Current children cumulated memory: 16356 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 32181
/proc/meminfo: memFree=9854424/32770624 swapFree=67108860/67108860
[pid=32039] ppid=32036 vsize=46564 memory=16356 CPUtime=2022.04 cores=1,3,5,7
/proc/32039/stat : 32039 (macht) R 32036 32039 29512 0 -1 4202496 18707 0 0 0 202197 7 0 0 20 0 1 0 78147826 47681536 4089 33554432000 4194304 36388820 140734966383776 140734966378520 4356498 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 54489088 140734966391995 140734966392073 140734966392073 140734966394831 0
/proc/32039/statm: 11641 4089 498 7860 0 3746 0
Current children cumulated CPU time: 2022.04 s
Current children cumulated vsize: 46564 KiB
Current children cumulated memory: 16356 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 32183
/proc/meminfo: memFree=9854332/32770624 swapFree=67108860/67108860
[pid=32039] ppid=32036 vsize=46564 memory=16356 CPUtime=2082.05 cores=1,3,5,7
/proc/32039/stat : 32039 (macht) R 32036 32039 29512 0 -1 4202496 18714 0 0 0 208197 8 0 0 20 0 1 0 78147826 47681536 4089 33554432000 4194304 36388820 140734966383776 140734966378520 4356472 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 54489088 140734966391995 140734966392073 140734966392073 140734966394831 0
/proc/32039/statm: 11641 4089 498 7860 0 3746 0
Current children cumulated CPU time: 2082.05 s
Current children cumulated vsize: 46564 KiB
Current children cumulated memory: 16356 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 32184
/proc/meminfo: memFree=9854768/32770624 swapFree=67108860/67108860
[pid=32039] ppid=32036 vsize=46564 memory=16368 CPUtime=2142.05 cores=1,3,5,7
/proc/32039/stat : 32039 (macht) R 32036 32039 29512 0 -1 4202496 19141 0 0 0 214197 8 0 0 20 0 1 0 78147826 47681536 4092 33554432000 4194304 36388820 140734966383776 140734966378520 4356489 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 54489088 140734966391995 140734966392073 140734966392073 140734966394831 0
/proc/32039/statm: 11641 4092 498 7860 0 3746 0
Current children cumulated CPU time: 2142.05 s
Current children cumulated vsize: 46564 KiB
Current children cumulated memory: 16368 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 32185
/proc/meminfo: memFree=9854832/32770624 swapFree=67108860/67108860
[pid=32039] ppid=32036 vsize=46564 memory=16368 CPUtime=2202.05 cores=1,3,5,7
/proc/32039/stat : 32039 (macht) R 32036 32039 29512 0 -1 4202496 19444 0 0 0 220197 8 0 0 20 0 1 0 78147826 47681536 4092 33554432000 4194304 36388820 140734966383776 140734966378520 4356472 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 54489088 140734966391995 140734966392073 140734966392073 140734966394831 0
/proc/32039/statm: 11641 4092 498 7860 0 3746 0
Current children cumulated CPU time: 2202.05 s
Current children cumulated vsize: 46564 KiB
Current children cumulated memory: 16368 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 32187
/proc/meminfo: memFree=9854160/32770624 swapFree=67108860/67108860
[pid=32039] ppid=32036 vsize=46564 memory=16368 CPUtime=2262.04 cores=1,3,5,7
/proc/32039/stat : 32039 (macht) R 32036 32039 29512 0 -1 4202496 19740 0 0 0 226196 8 0 0 20 0 1 0 78147826 47681536 4092 33554432000 4194304 36388820 140734966383776 140734966378520 4356489 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 54489088 140734966391995 140734966392073 140734966392073 140734966394831 0
/proc/32039/statm: 11641 4092 498 7860 0 3746 0
Current children cumulated CPU time: 2262.04 s
Current children cumulated vsize: 46564 KiB
Current children cumulated memory: 16368 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 32188
/proc/meminfo: memFree=9854244/32770624 swapFree=67108860/67108860
[pid=32039] ppid=32036 vsize=46564 memory=16372 CPUtime=2322.05 cores=1,3,5,7
/proc/32039/stat : 32039 (macht) R 32036 32039 29512 0 -1 4202496 20125 0 0 0 232196 9 0 0 20 0 1 0 78147826 47681536 4093 33554432000 4194304 36388820 140734966383776 140734966378520 4356531 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 54489088 140734966391995 140734966392073 140734966392073 140734966394831 0
/proc/32039/statm: 11641 4093 498 7860 0 3746 0
Current children cumulated CPU time: 2322.05 s
Current children cumulated vsize: 46564 KiB
Current children cumulated memory: 16372 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 32197
/proc/meminfo: memFree=9853644/32770624 swapFree=67108860/67108860
[pid=32039] ppid=32036 vsize=46564 memory=16372 CPUtime=2382.05 cores=1,3,5,7
/proc/32039/stat : 32039 (macht) R 32036 32039 29512 0 -1 4202496 20466 0 0 0 238196 9 0 0 20 0 1 0 78147826 47681536 4093 33554432000 4194304 36388820 140734966383776 140734966378520 4356520 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 54489088 140734966391995 140734966392073 140734966392073 140734966394831 0
/proc/32039/statm: 11641 4093 498 7860 0 3746 0
Current children cumulated CPU time: 2382.05 s
Current children cumulated vsize: 46564 KiB
Current children cumulated memory: 16372 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 32198
/proc/meminfo: memFree=9854132/32770624 swapFree=67108860/67108860
[pid=32039] ppid=32036 vsize=46564 memory=16380 CPUtime=2442.05 cores=1,3,5,7
/proc/32039/stat : 32039 (macht) R 32036 32039 29512 0 -1 4202496 20742 0 0 0 244196 9 0 0 20 0 1 0 78147826 47681536 4095 33554432000 4194304 36388820 140734966383776 140734966378520 4356472 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 54489088 140734966391995 140734966392073 140734966392073 140734966394831 0
/proc/32039/statm: 11641 4095 498 7860 0 3746 0
Current children cumulated CPU time: 2442.05 s
Current children cumulated vsize: 46564 KiB
Current children cumulated memory: 16380 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 32199
/proc/meminfo: memFree=9853788/32770624 swapFree=67108860/67108860
[pid=32039] ppid=32036 vsize=46564 memory=16380 CPUtime=2502.05 cores=1,3,5,7
/proc/32039/stat : 32039 (macht) R 32036 32039 29512 0 -1 4202496 21040 0 0 0 250196 9 0 0 20 0 1 0 78147826 47681536 4095 33554432000 4194304 36388820 140734966383776 140734966378520 4356472 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 54489088 140734966391995 140734966392073 140734966392073 140734966394831 0
/proc/32039/statm: 11641 4095 498 7860 0 3746 0
Current children cumulated CPU time: 2502.05 s
Current children cumulated vsize: 46564 KiB
Current children cumulated memory: 16380 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.00 2.04 3/188 32199
/proc/meminfo: memFree=9854276/32770624 swapFree=67108860/67108860
[pid=32039] ppid=32036 vsize=46564 memory=16380 CPUtime=2519.76 cores=1,3,5,7
/proc/32039/stat : 32039 (macht) R 32036 32039 29512 0 -1 4202496 21269 0 0 0 251967 9 0 0 20 0 1 0 78147826 47681536 4095 33554432000 4194304 36388820 140734966383776 140734966378520 4356489 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 54489088 140734966391995 140734966392073 140734966392073 140734966394831 0
/proc/32039/statm: 11641 4095 498 7860 0 3746 0
Current children cumulated CPU time: 2519.76 s
Current children cumulated vsize: 46564 KiB
Current children cumulated memory: 16380 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 32039 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.68 s, system=0.096991 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.77
CPU user time (s): 2519.68
CPU system time (s): 0.096991
CPU usage (%): 99.9906
Max. virtual memory (cumulated for all children) (KiB): 46564
Max. memory (cumulated for all children) (KiB): 16380
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.68
system time used= 0.096991
maximum resident set size= 16380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21269
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= 7
involuntary context switches= 1546
# summary of solver processes directly reported to runsolver:
# pid: 32039
# total CPU time (s): 2519.77
# total CPU user time (s): 2519.68
# total CPU system time (s): 0.096991
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.11446 second user time and 16.0075 second system time
The end