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 (10804 MiB free)
memory of node 1: 16384 MiB (7008 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305970-1534090125/watcher-4305970-1534090125 -o /tmp/evaluation-result-4305970-1534090125/solver-4305970-1534090125 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1534061174-3821 --watchdog 2580 macht 2520 HOME/instance-4305970-1534090125.xml
running on 4 cores: 0,2,4,6
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=8662, runsolver pid=8659
[startup+0.100931 s]*
/proc/loadavg: 2.01 2.03 2.05 3/190 8663
/proc/meminfo: memFree=18239124/32770624 swapFree=67108688/67108860
[pid=8662] ppid=8659 vsize=33716 memory=3644 CPUtime=0.09 cores=0,2,4,6
/proc/8662/stat : 8662 (macht) R 8659 8662 3790 0 -1 4202496 1066 0 0 0 9 0 0 0 20 0 1 0 226575680 34525184 911 33554432000 4194304 36388816 140725501596144 140725501594344 8047687 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 54108160 140725501600955 140725501601033 140725501601033 140725501603791 0
/proc/8662/statm: 8429 911 479 7860 0 534 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 33716 KiB
Current children cumulated memory: 3644 KiB
[startup+0.209455 s]*
/proc/loadavg: 2.01 2.03 2.05 3/190 8663
/proc/meminfo: memFree=18239124/32770624 swapFree=67108688/67108860
[pid=8662] ppid=8659 vsize=33716 memory=3644 CPUtime=0.2 cores=0,2,4,6
/proc/8662/stat : 8662 (macht) R 8659 8662 3790 0 -1 4202496 1076 0 0 0 20 0 0 0 20 0 1 0 226575680 34525184 911 33554432000 4194304 36388816 140725501596144 140725501594344 4661737 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 54108160 140725501600955 140725501601033 140725501601033 140725501603791 0
/proc/8662/statm: 8429 911 479 7860 0 534 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 33716 KiB
Current children cumulated memory: 3644 KiB
[startup+0.308885 s]*
/proc/loadavg: 2.01 2.03 2.05 3/190 8663
/proc/meminfo: memFree=18238752/32770624 swapFree=67108688/67108860
[pid=8662] ppid=8659 vsize=33716 memory=3644 CPUtime=0.3 cores=0,2,4,6
/proc/8662/stat : 8662 (macht) R 8659 8662 3790 0 -1 4202496 1085 0 0 0 29 1 0 0 20 0 1 0 226575680 34525184 911 33554432000 4194304 36388816 140725501596144 140725501594344 8047687 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 54108160 140725501600955 140725501601033 140725501601033 140725501603791 0
/proc/8662/statm: 8429 911 479 7860 0 534 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 33716 KiB
Current children cumulated memory: 3644 KiB
[startup+0.70023 s]
/proc/loadavg: 2.01 2.03 2.05 3/190 8663
/proc/meminfo: memFree=18238752/32770624 swapFree=67108688/67108860
[pid=8662] ppid=8659 vsize=33848 memory=3644 CPUtime=0.68 cores=0,2,4,6
/proc/8662/stat : 8662 (macht) R 8659 8662 3790 0 -1 4202496 1101 0 0 0 65 3 0 0 20 0 1 0 226575680 34660352 911 33554432000 4194304 36388816 140725501596144 140725501594344 8047687 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 54108160 140725501600955 140725501601033 140725501601033 140725501603791 0
/proc/8662/statm: 8462 911 479 7860 0 567 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 33848 KiB
Current children cumulated memory: 3644 KiB
[startup+1.50024 s]
/proc/loadavg: 2.01 2.03 2.05 3/190 8663
/proc/meminfo: memFree=18238336/32770624 swapFree=67108688/67108860
[pid=8662] ppid=8659 vsize=33848 memory=3908 CPUtime=1.49 cores=0,2,4,6
/proc/8662/stat : 8662 (macht) R 8659 8662 3790 0 -1 4202496 1119 0 0 0 138 11 0 0 20 0 1 0 226575680 34660352 977 33554432000 4194304 36388816 140725501596144 140725501594344 4635019 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 54108160 140725501600955 140725501601033 140725501601033 140725501603791 0
/proc/8662/statm: 8462 977 485 7860 0 567 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 33848 KiB
Current children cumulated memory: 3908 KiB
[startup+3.10898 s]
/proc/loadavg: 2.01 2.03 2.05 3/190 8663
/proc/meminfo: memFree=18238336/32770624 swapFree=67108688/67108860
[pid=8662] ppid=8659 vsize=33980 memory=3996 CPUtime=3.09 cores=0,2,4,6
/proc/8662/stat : 8662 (macht) R 8659 8662 3790 0 -1 4202496 1551 0 0 0 288 21 0 0 20 0 1 0 226575680 34795520 999 33554432000 4194304 36388816 140725501596144 140725501594344 8047687 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 54108160 140725501600955 140725501601033 140725501601033 140725501603791 0
/proc/8662/statm: 8495 999 485 7860 0 600 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 33980 KiB
Current children cumulated memory: 3996 KiB
[startup+6.30022 s]
/proc/loadavg: 2.01 2.03 2.05 3/190 8663
/proc/meminfo: memFree=18237308/32770624 swapFree=67108688/67108860
[pid=8662] ppid=8659 vsize=33980 memory=4060 CPUtime=6.28 cores=0,2,4,6
/proc/8662/stat : 8662 (macht) R 8659 8662 3790 0 -1 4202496 1999 0 0 0 592 36 0 0 20 0 1 0 226575680 34795520 1015 33554432000 4194304 36388816 140725501596144 140725501594344 6663773 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 54108160 140725501600955 140725501601033 140725501601033 140725501603791 0
/proc/8662/statm: 8495 1015 485 7860 0 600 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 33980 KiB
Current children cumulated memory: 4060 KiB
[startup+12.7002 s]
/proc/loadavg: 2.01 2.03 2.05 3/190 8663
/proc/meminfo: memFree=18237308/32770624 swapFree=67108688/67108860
[pid=8662] ppid=8659 vsize=33980 memory=4080 CPUtime=12.68 cores=0,2,4,6
/proc/8662/stat : 8662 (macht) R 8659 8662 3790 0 -1 4202496 2423 0 0 0 1215 53 0 0 20 0 1 0 226575680 34795520 1020 33554432000 4194304 36388816 140725501596144 140725501594344 8047687 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 54108160 140725501600955 140725501601033 140725501601033 140725501603791 0
/proc/8662/statm: 8495 1020 485 7860 0 600 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 33980 KiB
Current children cumulated memory: 4080 KiB
[startup+25.5002 s]
/proc/loadavg: 2.00 2.02 2.05 3/190 8663
/proc/meminfo: memFree=18237308/32770624 swapFree=67108688/67108860
[pid=8662] ppid=8659 vsize=34112 memory=4132 CPUtime=25.49 cores=0,2,4,6
/proc/8662/stat : 8662 (macht) R 8659 8662 3790 0 -1 4202496 3266 0 0 0 2465 84 0 0 20 0 1 0 226575680 34930688 1033 33554432000 4194304 36388816 140725501596144 140725501594344 8047687 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 54108160 140725501600955 140725501601033 140725501601033 140725501603791 0
/proc/8662/statm: 8528 1033 485 7860 0 633 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 34112 KiB
Current children cumulated memory: 4132 KiB
[startup+51.109 s]
/proc/loadavg: 2.00 2.02 2.05 3/190 8663
/proc/meminfo: memFree=18238184/32770624 swapFree=67108688/67108860
[pid=8662] ppid=8659 vsize=34112 memory=4160 CPUtime=51.1 cores=0,2,4,6
/proc/8662/stat : 8662 (macht) R 8659 8662 3790 0 -1 4202496 3698 0 0 0 4972 138 0 0 20 0 1 0 226575680 34930688 1040 33554432000 4194304 36388816 140725501596144 140725501594344 8047687 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 54108160 140725501600955 140725501601033 140725501601033 140725501603791 0
/proc/8662/statm: 8528 1040 485 7860 0 633 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 34112 KiB
Current children cumulated memory: 4160 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/192 8673
/proc/meminfo: memFree=18238252/32770624 swapFree=67108688/67108860
[pid=8662] ppid=8659 vsize=34112 memory=4184 CPUtime=102.28 cores=0,2,4,6
/proc/8662/stat : 8662 (macht) R 8659 8662 3790 0 -1 4202496 4129 0 0 0 10002 226 0 0 20 0 1 0 226575680 34930688 1046 33554432000 4194304 36388816 140725501596144 140725501594344 4558404 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 54108160 140725501600955 140725501601033 140725501601033 140725501603791 0
/proc/8662/statm: 8528 1046 485 7860 0 633 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 34112 KiB
Current children cumulated memory: 4184 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 8674
/proc/meminfo: memFree=18238508/32770624 swapFree=67108688/67108860
[pid=8662] ppid=8659 vsize=34244 memory=4220 CPUtime=162.28 cores=0,2,4,6
/proc/8662/stat : 8662 (macht) R 8659 8662 3790 0 -1 4202496 4595 0 0 0 15623 605 0 0 20 0 1 0 226575680 35065856 1055 33554432000 4194304 36388816 140725501596144 140725501594344 8047687 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 54108160 140725501600955 140725501601033 140725501601033 140725501603791 0
/proc/8662/statm: 8561 1055 485 7860 0 666 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 34244 KiB
Current children cumulated memory: 4220 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 8675
/proc/meminfo: memFree=18238260/32770624 swapFree=67108688/67108860
[pid=8662] ppid=8659 vsize=34244 memory=4312 CPUtime=222.28 cores=0,2,4,6
/proc/8662/stat : 8662 (macht) R 8659 8662 3790 0 -1 4202496 5043 0 0 0 21177 1051 0 0 20 0 1 0 226575680 35065856 1078 33554432000 4194304 36388816 140725501596144 140725501594344 8047687 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 54108160 140725501600955 140725501601033 140725501601033 140725501603791 0
/proc/8662/statm: 8561 1078 485 7860 0 666 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 34244 KiB
Current children cumulated memory: 4312 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 8676
/proc/meminfo: memFree=18238260/32770624 swapFree=67108688/67108860
[pid=8662] ppid=8659 vsize=34244 memory=4356 CPUtime=282.28 cores=0,2,4,6
/proc/8662/stat : 8662 (macht) R 8659 8662 3790 0 -1 4202496 5497 0 0 0 26735 1493 0 0 20 0 1 0 226575680 35065856 1089 33554432000 4194304 36388816 140725501596144 140725501594344 8047687 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 54108160 140725501600955 140725501601033 140725501601033 140725501603791 0
/proc/8662/statm: 8561 1089 485 7860 0 666 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 34244 KiB
Current children cumulated memory: 4356 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 8677
/proc/meminfo: memFree=18237676/32770624 swapFree=67108688/67108860
[pid=8662] ppid=8659 vsize=34376 memory=4412 CPUtime=342.28 cores=0,2,4,6
/proc/8662/stat : 8662 (macht) R 8659 8662 3790 0 -1 4202496 5957 0 0 0 32284 1944 0 0 20 0 1 0 226575680 35201024 1103 33554432000 4194304 36388816 140725501596144 140725501594344 8047687 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 54108160 140725501600955 140725501601033 140725501601033 140725501603791 0
/proc/8662/statm: 8594 1103 485 7860 0 699 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 34376 KiB
Current children cumulated memory: 4412 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 8678
/proc/meminfo: memFree=18238272/32770624 swapFree=67108688/67108860
[pid=8662] ppid=8659 vsize=34376 memory=4444 CPUtime=402.28 cores=0,2,4,6
/proc/8662/stat : 8662 (macht) R 8659 8662 3790 0 -1 4202496 6046 0 0 0 37811 2417 0 0 20 0 1 0 226575680 35201024 1111 33554432000 4194304 36388816 140725501596144 140725501594344 8047687 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 54108160 140725501600955 140725501601033 140725501601033 140725501603791 0
/proc/8662/statm: 8594 1111 485 7860 0 699 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 34376 KiB
Current children cumulated memory: 4444 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 8679
/proc/meminfo: memFree=18238248/32770624 swapFree=67108688/67108860
[pid=8662] ppid=8659 vsize=34376 memory=4472 CPUtime=462.28 cores=0,2,4,6
/proc/8662/stat : 8662 (macht) R 8659 8662 3790 0 -1 4202496 6131 0 0 0 43343 2885 0 0 20 0 1 0 226575680 35201024 1118 33554432000 4194304 36388816 140725501596144 140725501594344 8047687 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 54108160 140725501600955 140725501601033 140725501601033 140725501603791 0
/proc/8662/statm: 8594 1118 485 7860 0 699 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 34376 KiB
Current children cumulated memory: 4472 KiB
################
# More data... #
################
/proc/8662/statm: 8627 1166 485 7860 0 732 0
Current children cumulated CPU time: 1722.27 s
Current children cumulated vsize: 34508 KiB
Current children cumulated memory: 4664 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 8911
/proc/meminfo: memFree=18113140/32770624 swapFree=67108688/67108860
[pid=8662] ppid=8659 vsize=34508 memory=4680 CPUtime=1782.26 cores=0,2,4,6
/proc/8662/stat : 8662 (macht) R 8659 8662 3790 0 -1 4202496 8030 0 0 0 165214 13012 0 0 20 0 1 0 226575680 35336192 1170 33554432000 4194304 36388816 140725501596144 140725501594344 8047687 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 54108160 140725501600955 140725501601033 140725501601033 140725501603791 0
/proc/8662/statm: 8627 1170 485 7860 0 732 0
Current children cumulated CPU time: 1782.26 s
Current children cumulated vsize: 34508 KiB
Current children cumulated memory: 4680 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 8912
/proc/meminfo: memFree=18113092/32770624 swapFree=67108688/67108860
[pid=8662] ppid=8659 vsize=34508 memory=4680 CPUtime=1842.26 cores=0,2,4,6
/proc/8662/stat : 8662 (macht) R 8659 8662 3790 0 -1 4202496 8100 0 0 0 170783 13443 0 0 20 0 1 0 226575680 35336192 1170 33554432000 4194304 36388816 140725501596144 140725501594344 8047687 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 54108160 140725501600955 140725501601033 140725501601033 140725501603791 0
/proc/8662/statm: 8627 1170 485 7860 0 732 0
Current children cumulated CPU time: 1842.26 s
Current children cumulated vsize: 34508 KiB
Current children cumulated memory: 4680 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/193 8922
/proc/meminfo: memFree=18111916/32770624 swapFree=67108688/67108860
[pid=8662] ppid=8659 vsize=34640 memory=4696 CPUtime=1902.26 cores=0,2,4,6
/proc/8662/stat : 8662 (macht) R 8659 8662 3790 0 -1 4202496 8210 0 0 0 176351 13875 0 0 20 0 1 0 226575680 35471360 1174 33554432000 4194304 36388816 140725501596144 140725501594344 8047687 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 54108160 140725501600955 140725501601033 140725501601033 140725501603791 0
/proc/8662/statm: 8660 1174 485 7860 0 765 0
Current children cumulated CPU time: 1902.26 s
Current children cumulated vsize: 34640 KiB
Current children cumulated memory: 4696 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 8923
/proc/meminfo: memFree=18112256/32770624 swapFree=67108688/67108860
[pid=8662] ppid=8659 vsize=34640 memory=4696 CPUtime=1962.26 cores=0,2,4,6
/proc/8662/stat : 8662 (macht) R 8659 8662 3790 0 -1 4202496 8283 0 0 0 181923 14303 0 0 20 0 1 0 226575680 35471360 1174 33554432000 4194304 36388816 140725501596144 140725501594344 8047687 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 54108160 140725501600955 140725501601033 140725501601033 140725501603791 0
/proc/8662/statm: 8660 1174 485 7860 0 765 0
Current children cumulated CPU time: 1962.26 s
Current children cumulated vsize: 34640 KiB
Current children cumulated memory: 4696 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 8924
/proc/meminfo: memFree=18112008/32770624 swapFree=67108688/67108860
[pid=8662] ppid=8659 vsize=34640 memory=4696 CPUtime=2022.26 cores=0,2,4,6
/proc/8662/stat : 8662 (macht) R 8659 8662 3790 0 -1 4202496 8354 0 0 0 187487 14739 0 0 20 0 1 0 226575680 35471360 1174 33554432000 4194304 36388816 140725501596144 140725501594344 8047687 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 54108160 140725501600955 140725501601033 140725501601033 140725501603791 0
/proc/8662/statm: 8660 1174 485 7860 0 765 0
Current children cumulated CPU time: 2022.26 s
Current children cumulated vsize: 34640 KiB
Current children cumulated memory: 4696 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 8925
/proc/meminfo: memFree=18112004/32770624 swapFree=67108688/67108860
[pid=8662] ppid=8659 vsize=34640 memory=4708 CPUtime=2082.25 cores=0,2,4,6
/proc/8662/stat : 8662 (macht) R 8659 8662 3790 0 -1 4202496 8436 0 0 0 193053 15172 0 0 20 0 1 0 226575680 35471360 1177 33554432000 4194304 36388816 140725501596144 140725501594344 8047687 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 54108160 140725501600955 140725501601033 140725501601033 140725501603791 0
/proc/8662/statm: 8660 1177 485 7860 0 765 0
Current children cumulated CPU time: 2082.25 s
Current children cumulated vsize: 34640 KiB
Current children cumulated memory: 4708 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/193 8927
/proc/meminfo: memFree=18112376/32770624 swapFree=67108688/67108860
[pid=8662] ppid=8659 vsize=34640 memory=4708 CPUtime=2142.25 cores=0,2,4,6
/proc/8662/stat : 8662 (macht) R 8659 8662 3790 0 -1 4202496 8513 0 0 0 198630 15595 0 0 20 0 1 0 226575680 35471360 1177 33554432000 4194304 36388816 140725501596144 140725501594344 8047687 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 54108160 140725501600955 140725501601033 140725501601033 140725501603791 0
/proc/8662/statm: 8660 1177 485 7860 0 765 0
Current children cumulated CPU time: 2142.25 s
Current children cumulated vsize: 34640 KiB
Current children cumulated memory: 4708 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 8928
/proc/meminfo: memFree=18112112/32770624 swapFree=67108688/67108860
[pid=8662] ppid=8659 vsize=34640 memory=4708 CPUtime=2202.26 cores=0,2,4,6
/proc/8662/stat : 8662 (macht) R 8659 8662 3790 0 -1 4202496 8586 0 0 0 204198 16028 0 0 20 0 1 0 226575680 35471360 1177 33554432000 4194304 36388816 140725501596144 140725501594344 8047687 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 54108160 140725501600955 140725501601033 140725501601033 140725501603791 0
/proc/8662/statm: 8660 1177 485 7860 0 765 0
Current children cumulated CPU time: 2202.26 s
Current children cumulated vsize: 34640 KiB
Current children cumulated memory: 4708 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 8929
/proc/meminfo: memFree=18112476/32770624 swapFree=67108688/67108860
[pid=8662] ppid=8659 vsize=34640 memory=4708 CPUtime=2262.26 cores=0,2,4,6
/proc/8662/stat : 8662 (macht) R 8659 8662 3790 0 -1 4202496 8673 0 0 0 209776 16450 0 0 20 0 1 0 226575680 35471360 1177 33554432000 4194304 36388816 140725501596144 140725501594344 8047687 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 54108160 140725501600955 140725501601033 140725501601033 140725501603791 0
/proc/8662/statm: 8660 1177 485 7860 0 765 0
Current children cumulated CPU time: 2262.26 s
Current children cumulated vsize: 34640 KiB
Current children cumulated memory: 4708 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 8930
/proc/meminfo: memFree=18112740/32770624 swapFree=67108688/67108860
[pid=8662] ppid=8659 vsize=34640 memory=4720 CPUtime=2322.25 cores=0,2,4,6
/proc/8662/stat : 8662 (macht) R 8659 8662 3790 0 -1 4202496 8746 0 0 0 215348 16877 0 0 20 0 1 0 226575680 35471360 1180 33554432000 4194304 36388816 140725501596144 140725501594344 8047687 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 54108160 140725501600955 140725501601033 140725501601033 140725501603791 0
/proc/8662/statm: 8660 1180 485 7860 0 765 0
Current children cumulated CPU time: 2322.25 s
Current children cumulated vsize: 34640 KiB
Current children cumulated memory: 4720 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 8931
/proc/meminfo: memFree=18112708/32770624 swapFree=67108688/67108860
[pid=8662] ppid=8659 vsize=34640 memory=4720 CPUtime=2382.25 cores=0,2,4,6
/proc/8662/stat : 8662 (macht) R 8659 8662 3790 0 -1 4202496 8817 0 0 0 220914 17311 0 0 20 0 1 0 226575680 35471360 1180 33554432000 4194304 36388816 140725501596144 140725501594344 8047687 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 54108160 140725501600955 140725501601033 140725501601033 140725501603791 0
/proc/8662/statm: 8660 1180 485 7860 0 765 0
Current children cumulated CPU time: 2382.25 s
Current children cumulated vsize: 34640 KiB
Current children cumulated memory: 4720 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 8932
/proc/meminfo: memFree=18112624/32770624 swapFree=67108688/67108860
[pid=8662] ppid=8659 vsize=34640 memory=4720 CPUtime=2442.25 cores=0,2,4,6
/proc/8662/stat : 8662 (macht) R 8659 8662 3790 0 -1 4202496 8905 0 0 0 226480 17745 0 0 20 0 1 0 226575680 35471360 1180 33554432000 4194304 36388816 140725501596144 140725501594344 8047687 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 54108160 140725501600955 140725501601033 140725501601033 140725501603791 0
/proc/8662/statm: 8660 1180 485 7860 0 765 0
Current children cumulated CPU time: 2442.25 s
Current children cumulated vsize: 34640 KiB
Current children cumulated memory: 4720 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 8940
/proc/meminfo: memFree=18112292/32770624 swapFree=67108688/67108860
[pid=8662] ppid=8659 vsize=34640 memory=4728 CPUtime=2502.25 cores=0,2,4,6
/proc/8662/stat : 8662 (macht) R 8659 8662 3790 0 -1 4202496 8976 0 0 0 232049 18176 0 0 20 0 1 0 226575680 35471360 1182 33554432000 4194304 36388816 140725501596144 140725501594344 8047687 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 54108160 140725501600955 140725501601033 140725501601033 140725501603791 0
/proc/8662/statm: 8660 1182 485 7860 0 765 0
Current children cumulated CPU time: 2502.25 s
Current children cumulated vsize: 34640 KiB
Current children cumulated memory: 4728 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/190 8940
/proc/meminfo: memFree=18112312/32770624 swapFree=67108688/67108860
[pid=8662] ppid=8659 vsize=34640 memory=4728 CPUtime=2519.96 cores=0,2,4,6
/proc/8662/stat : 8662 (macht) R 8659 8662 3790 0 -1 4202496 9047 0 0 0 233696 18300 0 0 20 0 1 0 226575680 35471360 1182 33554432000 4194304 36388816 140725501596144 140725501594344 8047687 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 54108160 140725501600955 140725501601033 140725501601033 140725501603791 0
/proc/8662/statm: 8660 1182 485 7860 0 765 0
Current children cumulated CPU time: 2519.96 s
Current children cumulated vsize: 34640 KiB
Current children cumulated memory: 4728 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 8662 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2336.97 s, system=183.004 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.97
CPU user time (s): 2336.97
CPU system time (s): 183.004
CPU usage (%): 99.9985
Max. virtual memory (cumulated for all children) (KiB): 34640
Max. memory (cumulated for all children) (KiB): 4728
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2336.97
system time used= 183.004
maximum resident set size= 4728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9047
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= 3
involuntary context switches= 897
# summary of solver processes directly reported to runsolver:
# pid: 8662
# total CPU time (s): 2519.97
# total CPU user time (s): 2336.97
# total CPU system time (s): 183.004
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.27126 second user time and 16.7827 second system time
The end