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 (5585 MiB free)
memory of node 1: 16384 MiB (9936 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305983-1534073225/watcher-4305983-1534073225 -o /tmp/evaluation-result-4305983-1534073225/solver-4305983-1534073225 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1534062754-29403 --watchdog 2580 macht 2520 HOME/instance-4305983-1534073225.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
solver pid=30801, runsolver pid=30798
Current StackSize limit: 8192 KiB
[startup+0.100258 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 30802
/proc/meminfo: memFree=15888756/32770624 swapFree=67108792/67108860
[pid=30801] ppid=30798 vsize=37412 memory=6844 CPUtime=0.1 cores=0,2,4,6
/proc/30801/stat : 30801 (macht) R 30798 30801 29372 0 -1 4202496 1901 0 0 0 10 0 0 0 20 0 1 0 224885751 38309888 1711 33554432000 4194304 36388816 140733819524368 140733819517992 4212581 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 39436288 140733819528379 140733819528457 140733819528457 140733819531215 0
/proc/30801/statm: 9353 1711 442 7860 0 1458 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 37412 KiB
Current children cumulated memory: 6844 KiB
[startup+0.209468 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 30802
/proc/meminfo: memFree=15888296/32770624 swapFree=67108792/67108860
[pid=30801] ppid=30798 vsize=37940 memory=7372 CPUtime=0.21 cores=0,2,4,6
/proc/30801/stat : 30801 (macht) R 30798 30801 29372 0 -1 4202496 2009 0 0 0 21 0 0 0 20 0 1 0 224885751 38850560 1843 33554432000 4194304 36388816 140733819524368 140733819518392 7657110 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 39436288 140733819528379 140733819528457 140733819528457 140733819531215 0
/proc/30801/statm: 9485 1843 442 7860 0 1590 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 37940 KiB
Current children cumulated memory: 7372 KiB
[startup+0.30875 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 30802
/proc/meminfo: memFree=15887692/32770624 swapFree=67108792/67108860
[pid=30801] ppid=30798 vsize=38468 memory=7900 CPUtime=0.31 cores=0,2,4,6
/proc/30801/stat : 30801 (macht) R 30798 30801 29372 0 -1 4202496 2143 0 0 0 31 0 0 0 20 0 1 0 224885751 39391232 1975 33554432000 4194304 36388816 140733819524368 140733819518056 4212581 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 39436288 140733819528379 140733819528457 140733819528457 140733819531215 0
/proc/30801/statm: 9617 1975 442 7860 0 1722 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 38468 KiB
Current children cumulated memory: 7900 KiB
[startup+0.700229 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30802
/proc/meminfo: memFree=15886204/32770624 swapFree=67108792/67108860
[pid=30801] ppid=30798 vsize=40712 memory=10276 CPUtime=0.69 cores=0,2,4,6
/proc/30801/stat : 30801 (macht) R 30798 30801 29372 0 -1 4202496 2710 0 0 0 69 0 0 0 20 0 1 0 224885751 41689088 2569 33554432000 4194304 36388816 140733819524368 140733819518056 4212581 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 39436288 140733819528379 140733819528457 140733819528457 140733819531215 0
/proc/30801/statm: 10178 2569 444 7860 0 2283 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 40712 KiB
Current children cumulated memory: 10276 KiB
[startup+1.50024 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30802
/proc/meminfo: memFree=15883352/32770624 swapFree=67108792/67108860
[pid=30801] ppid=30798 vsize=44804 memory=14236 CPUtime=1.49 cores=0,2,4,6
/proc/30801/stat : 30801 (macht) R 30798 30801 29372 0 -1 4202496 3725 0 0 0 149 0 0 0 20 0 1 0 224885751 45879296 3559 33554432000 4194304 36388816 140733819524368 140733819518232 7934231 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 39436288 140733819528379 140733819528457 140733819528457 140733819531215 0
/proc/30801/statm: 11201 3559 444 7860 0 3306 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 44804 KiB
Current children cumulated memory: 14236 KiB
[startup+3.10935 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30802
/proc/meminfo: memFree=15877276/32770624 swapFree=67108792/67108860
[pid=30801] ppid=30798 vsize=48804 memory=18516 CPUtime=3.09 cores=0,2,4,6
/proc/30801/stat : 30801 (macht) R 30798 30801 29372 0 -1 4202496 7531 0 0 0 309 0 0 0 20 0 1 0 224885751 49975296 4629 33554432000 4194304 36388816 140733819524368 140733819488520 4661685 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 39436288 140733819528379 140733819528457 140733819528457 140733819531215 0
/proc/30801/statm: 12201 4629 486 7860 0 4306 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 48804 KiB
Current children cumulated memory: 18516 KiB
[startup+6.30026 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30802
/proc/meminfo: memFree=15875268/32770624 swapFree=67108792/67108860
[pid=30801] ppid=30798 vsize=49356 memory=19012 CPUtime=6.29 cores=0,2,4,6
/proc/30801/stat : 30801 (macht) R 30798 30801 29372 0 -1 4202496 10634 0 0 0 625 4 0 0 20 0 1 0 224885751 50540544 4753 33554432000 4194304 36388816 140733819524368 140733819488520 4661680 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 39436288 140733819528379 140733819528457 140733819528457 140733819531215 0
/proc/30801/statm: 12339 4753 488 7860 0 4444 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 49356 KiB
Current children cumulated memory: 19012 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30802
/proc/meminfo: memFree=15875268/32770624 swapFree=67108792/67108860
[pid=30801] ppid=30798 vsize=49760 memory=19376 CPUtime=12.69 cores=0,2,4,6
/proc/30801/stat : 30801 (macht) R 30798 30801 29372 0 -1 4202496 13753 0 0 0 1264 5 0 0 20 0 1 0 224885751 50954240 4844 33554432000 4194304 36388816 140733819524368 140733819488520 4661650 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 39436288 140733819528379 140733819528457 140733819528457 140733819531215 0
/proc/30801/statm: 12440 4844 488 7860 0 4545 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 49760 KiB
Current children cumulated memory: 19376 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30802
/proc/meminfo: memFree=15874896/32770624 swapFree=67108792/67108860
[pid=30801] ppid=30798 vsize=50172 memory=19852 CPUtime=25.48 cores=0,2,4,6
/proc/30801/stat : 30801 (macht) R 30798 30801 29372 0 -1 4202496 19965 0 0 0 2541 7 0 0 20 0 1 0 224885751 51376128 4963 33554432000 4194304 36388816 140733819524368 140733819488520 4661600 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 39436288 140733819528379 140733819528457 140733819528457 140733819531215 0
/proc/30801/statm: 12543 4963 488 7860 0 4648 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 50172 KiB
Current children cumulated memory: 19852 KiB
[startup+51.1094 s]
/proc/loadavg: 2.07 2.03 2.05 3/187 30802
/proc/meminfo: memFree=15873204/32770624 swapFree=67108792/67108860
[pid=30801] ppid=30798 vsize=50868 memory=20584 CPUtime=51.08 cores=0,2,4,6
/proc/30801/stat : 30801 (macht) R 30798 30801 29372 0 -1 4202496 20493 0 0 0 5095 13 0 0 20 0 1 0 224885751 52088832 5146 33554432000 4194304 36388816 140733819524368 140733819488520 4635027 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 39436288 140733819528379 140733819528457 140733819528457 140733819531215 0
/proc/30801/statm: 12717 5146 488 7860 0 4822 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 50868 KiB
Current children cumulated memory: 20584 KiB
[startup+102.3 s]
/proc/loadavg: 2.19 2.06 2.06 3/187 30804
/proc/meminfo: memFree=15871992/32770624 swapFree=67108792/67108860
[pid=30801] ppid=30798 vsize=51552 memory=21288 CPUtime=102.27 cores=0,2,4,6
/proc/30801/stat : 30801 (macht) R 30798 30801 29372 0 -1 4202496 21039 0 0 0 10204 23 0 0 20 0 1 0 224885751 52789248 5322 33554432000 4194304 36388816 140733819524368 140733819488520 8047687 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 39436288 140733819528379 140733819528457 140733819528457 140733819531215 0
/proc/30801/statm: 12888 5322 488 7860 0 4993 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 51552 KiB
Current children cumulated memory: 21288 KiB
[startup+162.3 s]
/proc/loadavg: 2.15 2.06 2.06 3/187 30805
/proc/meminfo: memFree=15872164/32770624 swapFree=67108792/67108860
[pid=30801] ppid=30798 vsize=52232 memory=22088 CPUtime=162.26 cores=0,2,4,6
/proc/30801/stat : 30801 (macht) R 30798 30801 29372 0 -1 4202496 21379 0 0 0 16188 38 0 0 20 0 1 0 224885751 53485568 5522 33554432000 4194304 36388816 140733819524368 140733819488520 6663735 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 39436288 140733819528379 140733819528457 140733819528457 140733819531215 0
/proc/30801/statm: 13058 5522 489 7860 0 5163 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 52232 KiB
Current children cumulated memory: 22088 KiB
[startup+222.3 s]
/proc/loadavg: 2.05 2.05 2.05 3/188 30814
/proc/meminfo: memFree=15871304/32770624 swapFree=67108792/67108860
[pid=30801] ppid=30798 vsize=52524 memory=22300 CPUtime=222.25 cores=0,2,4,6
/proc/30801/stat : 30801 (macht) R 30798 30801 29372 0 -1 4202496 21689 0 0 0 22175 50 0 0 20 0 1 0 224885751 53784576 5575 33554432000 4194304 36388816 140733819524368 140733819488520 4661732 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 39436288 140733819528379 140733819528457 140733819528457 140733819531215 0
/proc/30801/statm: 13131 5575 489 7860 0 5236 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 52524 KiB
Current children cumulated memory: 22300 KiB
[startup+282.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/188 30815
/proc/meminfo: memFree=15871724/32770624 swapFree=67108792/67108860
[pid=30801] ppid=30798 vsize=52656 memory=22476 CPUtime=282.25 cores=0,2,4,6
/proc/30801/stat : 30801 (macht) R 30798 30801 29372 0 -1 4202496 21907 0 0 0 28168 57 0 0 20 0 1 0 224885751 53919744 5619 33554432000 4194304 36388816 140733819524368 140733819488520 6663767 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 39436288 140733819528379 140733819528457 140733819528457 140733819531215 0
/proc/30801/statm: 13164 5619 489 7860 0 5269 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 52656 KiB
Current children cumulated memory: 22476 KiB
[startup+342.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/188 30816
/proc/meminfo: memFree=15871476/32770624 swapFree=67108792/67108860
[pid=30801] ppid=30798 vsize=52808 memory=22696 CPUtime=342.25 cores=0,2,4,6
/proc/30801/stat : 30801 (macht) R 30798 30801 29372 0 -1 4202496 22247 0 0 0 34154 71 0 0 20 0 1 0 224885751 54075392 5674 33554432000 4194304 36388816 140733819524368 140733819488520 6663735 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 39436288 140733819528379 140733819528457 140733819528457 140733819531215 0
/proc/30801/statm: 13202 5674 489 7860 0 5307 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 52808 KiB
Current children cumulated memory: 22696 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 30817
/proc/meminfo: memFree=15871352/32770624 swapFree=67108792/67108860
[pid=30801] ppid=30798 vsize=53092 memory=22916 CPUtime=402.24 cores=0,2,4,6
/proc/30801/stat : 30801 (macht) R 30798 30801 29372 0 -1 4202496 22587 0 0 0 40140 84 0 0 20 0 1 0 224885751 54366208 5729 33554432000 4194304 36388816 140733819524368 140733819488520 4635027 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 39436288 140733819528379 140733819528457 140733819528457 140733819531215 0
/proc/30801/statm: 13273 5729 489 7860 0 5378 0
Current children cumulated CPU time: 402.24 s
Current children cumulated vsize: 53092 KiB
Current children cumulated memory: 22916 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 30818
/proc/meminfo: memFree=15871576/32770624 swapFree=67108792/67108860
[pid=30801] ppid=30798 vsize=53092 memory=23040 CPUtime=462.24 cores=0,2,4,6
/proc/30801/stat : 30801 (macht) R 30798 30801 29372 0 -1 4202496 22846 0 0 0 46131 93 0 0 20 0 1 0 224885751 54366208 5760 33554432000 4194304 36388816 140733819524368 140733819488520 4246985 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 39436288 140733819528379 140733819528457 140733819528457 140733819531215 0
/proc/30801/statm: 13273 5760 489 7860 0 5378 0
Current children cumulated CPU time: 462.24 s
Current children cumulated vsize: 53092 KiB
Current children cumulated memory: 23040 KiB
################
# More data... #
################
/proc/30801/statm: 13442 5920 489 7860 0 5547 0
Current children cumulated CPU time: 1722.12 s
Current children cumulated vsize: 53768 KiB
Current children cumulated memory: 23680 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30978
/proc/meminfo: memFree=15887304/32770624 swapFree=67108792/67108860
[pid=30801] ppid=30798 vsize=53768 memory=23680 CPUtime=1782.12 cores=0,2,4,6
/proc/30801/stat : 30801 (macht) R 30798 30801 29372 0 -1 4202496 26346 0 0 0 177905 307 0 0 20 0 1 0 224885751 55058432 5920 33554432000 4194304 36388816 140733819524368 140733819488520 4661685 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 39436288 140733819528379 140733819528457 140733819528457 140733819531215 0
/proc/30801/statm: 13442 5920 489 7860 0 5547 0
Current children cumulated CPU time: 1782.12 s
Current children cumulated vsize: 53768 KiB
Current children cumulated memory: 23680 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30979
/proc/meminfo: memFree=15887212/32770624 swapFree=67108792/67108860
[pid=30801] ppid=30798 vsize=53768 memory=23700 CPUtime=1842.12 cores=0,2,4,6
/proc/30801/stat : 30801 (macht) R 30798 30801 29372 0 -1 4202496 26523 0 0 0 183891 321 0 0 20 0 1 0 224885751 55058432 5925 33554432000 4194304 36388816 140733819524368 140733819488520 6663735 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 39436288 140733819528379 140733819528457 140733819528457 140733819531215 0
/proc/30801/statm: 13442 5925 489 7860 0 5547 0
Current children cumulated CPU time: 1842.12 s
Current children cumulated vsize: 53768 KiB
Current children cumulated memory: 23700 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30981
/proc/meminfo: memFree=15887092/32770624 swapFree=67108792/67108860
[pid=30801] ppid=30798 vsize=53768 memory=23700 CPUtime=1902.11 cores=0,2,4,6
/proc/30801/stat : 30801 (macht) R 30798 30801 29372 0 -1 4202496 26650 0 0 0 189876 335 0 0 20 0 1 0 224885751 55058432 5925 33554432000 4194304 36388816 140733819524368 140733819488520 4661685 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 39436288 140733819528379 140733819528457 140733819528457 140733819531215 0
/proc/30801/statm: 13442 5925 489 7860 0 5547 0
Current children cumulated CPU time: 1902.11 s
Current children cumulated vsize: 53768 KiB
Current children cumulated memory: 23700 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30982
/proc/meminfo: memFree=15887104/32770624 swapFree=67108792/67108860
[pid=30801] ppid=30798 vsize=53768 memory=23700 CPUtime=1962.11 cores=0,2,4,6
/proc/30801/stat : 30801 (macht) R 30798 30801 29372 0 -1 4202496 26769 0 0 0 195863 348 0 0 20 0 1 0 224885751 55058432 5925 33554432000 4194304 36388816 140733819524368 140733819488520 4661680 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 39436288 140733819528379 140733819528457 140733819528457 140733819531215 0
/proc/30801/statm: 13442 5925 489 7860 0 5547 0
Current children cumulated CPU time: 1962.11 s
Current children cumulated vsize: 53768 KiB
Current children cumulated memory: 23700 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 30991
/proc/meminfo: memFree=15886724/32770624 swapFree=67108792/67108860
[pid=30801] ppid=30798 vsize=53768 memory=23732 CPUtime=2022.1 cores=0,2,4,6
/proc/30801/stat : 30801 (macht) R 30798 30801 29372 0 -1 4202496 26966 0 0 0 201852 358 0 0 20 0 1 0 224885751 55058432 5933 33554432000 4194304 36388816 140733819524368 140733819488520 4251144 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 39436288 140733819528379 140733819528457 140733819528457 140733819531215 0
/proc/30801/statm: 13442 5933 489 7860 0 5547 0
Current children cumulated CPU time: 2022.1 s
Current children cumulated vsize: 53768 KiB
Current children cumulated memory: 23732 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 31015
/proc/meminfo: memFree=15885308/32770624 swapFree=67108792/67108860
[pid=30801] ppid=30798 vsize=53768 memory=23732 CPUtime=2082.09 cores=0,2,4,6
/proc/30801/stat : 30801 (macht) R 30798 30801 29372 0 -1 4202496 27098 0 0 0 207838 371 0 0 20 0 1 0 224885751 55058432 5933 33554432000 4194304 36388816 140733819524368 140733819488520 4635019 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 39436288 140733819528379 140733819528457 140733819528457 140733819531215 0
/proc/30801/statm: 13442 5933 489 7860 0 5547 0
Current children cumulated CPU time: 2082.09 s
Current children cumulated vsize: 53768 KiB
Current children cumulated memory: 23732 KiB
[startup+2142.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/189 31016
/proc/meminfo: memFree=15885928/32770624 swapFree=67108792/67108860
[pid=30801] ppid=30798 vsize=53768 memory=23732 CPUtime=2142.09 cores=0,2,4,6
/proc/30801/stat : 30801 (macht) R 30798 30801 29372 0 -1 4202496 27232 0 0 0 213828 381 0 0 20 0 1 0 224885751 55058432 5933 33554432000 4194304 36388816 140733819524368 140733819488520 4661680 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 39436288 140733819528379 140733819528457 140733819528457 140733819531215 0
/proc/30801/statm: 13442 5933 489 7860 0 5547 0
Current children cumulated CPU time: 2142.09 s
Current children cumulated vsize: 53768 KiB
Current children cumulated memory: 23732 KiB
[startup+2202.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/189 31017
/proc/meminfo: memFree=15885804/32770624 swapFree=67108792/67108860
[pid=30801] ppid=30798 vsize=53904 memory=23756 CPUtime=2202.09 cores=0,2,4,6
/proc/30801/stat : 30801 (macht) R 30798 30801 29372 0 -1 4202496 27411 0 0 0 219813 396 0 0 20 0 1 0 224885751 55197696 5939 33554432000 4194304 36388816 140733819524368 140733819488520 4661781 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 39436288 140733819528379 140733819528457 140733819528457 140733819531215 0
/proc/30801/statm: 13476 5939 489 7860 0 5581 0
Current children cumulated CPU time: 2202.09 s
Current children cumulated vsize: 53904 KiB
Current children cumulated memory: 23756 KiB
[startup+2262.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/189 31018
/proc/meminfo: memFree=15886080/32770624 swapFree=67108792/67108860
[pid=30801] ppid=30798 vsize=53904 memory=23756 CPUtime=2262.08 cores=0,2,4,6
/proc/30801/stat : 30801 (macht) R 30798 30801 29372 0 -1 4202496 27546 0 0 0 225799 409 0 0 20 0 1 0 224885751 55197696 5939 33554432000 4194304 36388816 140733819524368 140733819488520 4661680 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 39436288 140733819528379 140733819528457 140733819528457 140733819531215 0
/proc/30801/statm: 13476 5939 489 7860 0 5581 0
Current children cumulated CPU time: 2262.08 s
Current children cumulated vsize: 53904 KiB
Current children cumulated memory: 23756 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 31019
/proc/meminfo: memFree=15885972/32770624 swapFree=67108792/67108860
[pid=30801] ppid=30798 vsize=53904 memory=23776 CPUtime=2322.08 cores=0,2,4,6
/proc/30801/stat : 30801 (macht) R 30798 30801 29372 0 -1 4202496 27733 0 0 0 231787 421 0 0 20 0 1 0 224885751 55197696 5944 33554432000 4194304 36388816 140733819524368 140733819488520 4661621 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 39436288 140733819528379 140733819528457 140733819528457 140733819531215 0
/proc/30801/statm: 13476 5944 489 7860 0 5581 0
Current children cumulated CPU time: 2322.08 s
Current children cumulated vsize: 53904 KiB
Current children cumulated memory: 23776 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 31020
/proc/meminfo: memFree=15885856/32770624 swapFree=67108792/67108860
[pid=30801] ppid=30798 vsize=53904 memory=23776 CPUtime=2382.07 cores=0,2,4,6
/proc/30801/stat : 30801 (macht) R 30798 30801 29372 0 -1 4202496 27874 0 0 0 237776 431 0 0 20 0 1 0 224885751 55197696 5944 33554432000 4194304 36388816 140733819524368 140733819488520 4635027 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 39436288 140733819528379 140733819528457 140733819528457 140733819531215 0
/proc/30801/statm: 13476 5944 489 7860 0 5581 0
Current children cumulated CPU time: 2382.07 s
Current children cumulated vsize: 53904 KiB
Current children cumulated memory: 23776 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 31021
/proc/meminfo: memFree=15885872/32770624 swapFree=67108792/67108860
[pid=30801] ppid=30798 vsize=53904 memory=23776 CPUtime=2442.07 cores=0,2,4,6
/proc/30801/stat : 30801 (macht) R 30798 30801 29372 0 -1 4202496 28017 0 0 0 243765 442 0 0 20 0 1 0 224885751 55197696 5944 33554432000 4194304 36388816 140733819524368 140733819488520 8047687 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 39436288 140733819528379 140733819528457 140733819528457 140733819531215 0
/proc/30801/statm: 13476 5944 489 7860 0 5581 0
Current children cumulated CPU time: 2442.07 s
Current children cumulated vsize: 53904 KiB
Current children cumulated memory: 23776 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 31022
/proc/meminfo: memFree=15885972/32770624 swapFree=67108792/67108860
[pid=30801] ppid=30798 vsize=53904 memory=23776 CPUtime=2502.06 cores=0,2,4,6
/proc/30801/stat : 30801 (macht) R 30798 30801 29372 0 -1 4202496 28158 0 0 0 249753 453 0 0 20 0 1 0 224885751 55197696 5944 33554432000 4194304 36388816 140733819524368 140733819488520 4635019 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 39436288 140733819528379 140733819528457 140733819528457 140733819531215 0
/proc/30801/statm: 13476 5944 489 7860 0 5581 0
Current children cumulated CPU time: 2502.06 s
Current children cumulated vsize: 53904 KiB
Current children cumulated memory: 23776 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 31023
/proc/meminfo: memFree=15885476/32770624 swapFree=67108792/67108860
[pid=30801] ppid=30798 vsize=53904 memory=23776 CPUtime=2519.77 cores=0,2,4,6
/proc/30801/stat : 30801 (macht) R 30798 30801 29372 0 -1 4202496 28295 0 0 0 251521 456 0 0 20 0 1 0 224885751 55197696 5944 33554432000 4194304 36388816 140733819524368 140733819488520 6663773 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 39436288 140733819528379 140733819528457 140733819528457 140733819531215 0
/proc/30801/statm: 13476 5944 489 7860 0 5581 0
Current children cumulated CPU time: 2519.77 s
Current children cumulated vsize: 53904 KiB
Current children cumulated memory: 23776 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 30801 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.21 s, system=4.56661 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.78
CPU user time (s): 2515.21
CPU system time (s): 4.56661
CPU usage (%): 99.9908
Max. virtual memory (cumulated for all children) (KiB): 53904
Max. memory (cumulated for all children) (KiB): 23776
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.21
system time used= 4.56661
maximum resident set size= 23776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28295
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= 12
involuntary context switches= 3168
# summary of solver processes directly reported to runsolver:
# pid: 30801
# total CPU time (s): 2519.78
# total CPU user time (s): 2515.21
# total CPU system time (s): 4.56661
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.022 second user time and 17.8689 second system time
The end