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 (10806 MiB free)
memory of node 1: 16384 MiB (7019 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305977-1534074120/watcher-4305977-1534074120 -o /tmp/evaluation-result-4305977-1534074120/solver-4305977-1534074120 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1534061174-3821 --watchdog 2580 macht 2520 HOME/instance-4305977-1534074120.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=6567, runsolver pid=6564
[startup+0.10076 s]*
/proc/loadavg: 2.01 2.03 2.06 3/192 6568
/proc/meminfo: memFree=18250720/32770624 swapFree=67108688/67108860
[pid=6567] ppid=6564 vsize=35140 memory=4972 CPUtime=0.1 cores=0,2,4,6
/proc/6567/stat : 6567 (macht) R 6564 6567 3790 0 -1 4202496 1430 0 0 0 10 0 0 0 20 0 1 0 224975234 35983360 1243 33554432000 4194304 36388816 140729388194320 140729388178440 8047687 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 55373824 140729388201147 140729388201225 140729388201225 140729388203983 0
/proc/6567/statm: 8785 1243 477 7860 0 890 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 35140 KiB
Current children cumulated memory: 4972 KiB
[startup+0.20967 s]*
/proc/loadavg: 2.01 2.03 2.06 3/192 6568
/proc/meminfo: memFree=18250720/32770624 swapFree=67108688/67108860
[pid=6567] ppid=6564 vsize=35140 memory=5236 CPUtime=0.2 cores=0,2,4,6
/proc/6567/stat : 6567 (macht) R 6564 6567 3790 0 -1 4202496 1442 0 0 0 20 0 0 0 20 0 1 0 224975234 35983360 1309 33554432000 4194304 36388816 140729388194320 140729388178440 8047687 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 55373824 140729388201147 140729388201225 140729388201225 140729388203983 0
/proc/6567/statm: 8785 1309 488 7860 0 890 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 35140 KiB
Current children cumulated memory: 5236 KiB
[startup+0.309222 s]*
/proc/loadavg: 2.01 2.03 2.06 3/192 6568
/proc/meminfo: memFree=18250720/32770624 swapFree=67108688/67108860
[pid=6567] ppid=6564 vsize=35140 memory=5236 CPUtime=0.31 cores=0,2,4,6
/proc/6567/stat : 6567 (macht) R 6564 6567 3790 0 -1 4202496 1452 0 0 0 30 1 0 0 20 0 1 0 224975234 35983360 1309 33554432000 4194304 36388816 140729388194320 140729388178440 4251171 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 55373824 140729388201147 140729388201225 140729388201225 140729388203983 0
/proc/6567/statm: 8785 1309 488 7860 0 890 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 35140 KiB
Current children cumulated memory: 5236 KiB
[startup+0.700335 s]
/proc/loadavg: 2.01 2.03 2.06 3/192 6568
/proc/meminfo: memFree=18250704/32770624 swapFree=67108688/67108860
[pid=6567] ppid=6564 vsize=35276 memory=5236 CPUtime=0.69 cores=0,2,4,6
/proc/6567/stat : 6567 (macht) R 6564 6567 3790 0 -1 4202496 1483 0 0 0 68 1 0 0 20 0 1 0 224975234 36122624 1309 33554432000 4194304 36388816 140729388194320 140729388178440 8047687 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 55373824 140729388201147 140729388201225 140729388201225 140729388203983 0
/proc/6567/statm: 8819 1309 488 7860 0 924 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 35276 KiB
Current children cumulated memory: 5236 KiB
[startup+1.50033 s]
/proc/loadavg: 2.01 2.03 2.06 3/192 6568
/proc/meminfo: memFree=18250704/32770624 swapFree=67108688/67108860
[pid=6567] ppid=6564 vsize=35412 memory=5500 CPUtime=1.49 cores=0,2,4,6
/proc/6567/stat : 6567 (macht) R 6564 6567 3790 0 -1 4202496 1523 0 0 0 146 3 0 0 20 0 1 0 224975234 36261888 1375 33554432000 4194304 36388816 140729388194320 140729388178440 8047687 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 55373824 140729388201147 140729388201225 140729388201225 140729388203983 0
/proc/6567/statm: 8853 1375 488 7860 0 958 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 35412 KiB
Current children cumulated memory: 5500 KiB
[startup+3.10919 s]
/proc/loadavg: 2.00 2.03 2.05 3/192 6568
/proc/meminfo: memFree=18250704/32770624 swapFree=67108688/67108860
[pid=6567] ppid=6564 vsize=35680 memory=5748 CPUtime=3.09 cores=0,2,4,6
/proc/6567/stat : 6567 (macht) R 6564 6567 3790 0 -1 4202496 2110 0 0 0 303 6 0 0 20 0 1 0 224975234 36536320 1437 33554432000 4194304 36388816 140729388194320 140729388178440 8047687 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 55373824 140729388201147 140729388201225 140729388201225 140729388203983 0
/proc/6567/statm: 8920 1437 488 7860 0 1025 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 35680 KiB
Current children cumulated memory: 5748 KiB
[startup+6.30032 s]
/proc/loadavg: 2.00 2.03 2.05 3/192 6568
/proc/meminfo: memFree=18250296/32770624 swapFree=67108688/67108860
[pid=6567] ppid=6564 vsize=35948 memory=6008 CPUtime=6.29 cores=0,2,4,6
/proc/6567/stat : 6567 (macht) R 6564 6567 3790 0 -1 4202496 2780 0 0 0 616 13 0 0 20 0 1 0 224975234 36810752 1502 33554432000 4194304 36388816 140729388194320 140729388178440 8047687 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 55373824 140729388201147 140729388201225 140729388201225 140729388203983 0
/proc/6567/statm: 8987 1502 488 7860 0 1092 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 35948 KiB
Current children cumulated memory: 6008 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.03 2.05 3/191 6568
/proc/meminfo: memFree=18250560/32770624 swapFree=67108688/67108860
[pid=6567] ppid=6564 vsize=36212 memory=6288 CPUtime=12.68 cores=0,2,4,6
/proc/6567/stat : 6567 (macht) R 6564 6567 3790 0 -1 4202496 3503 0 0 0 1240 28 0 0 20 0 1 0 224975234 37081088 1572 33554432000 4194304 36388816 140729388194320 140729388178440 8047687 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 55373824 140729388201147 140729388201225 140729388201225 140729388203983 0
/proc/6567/statm: 9053 1572 488 7860 0 1158 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 36212 KiB
Current children cumulated memory: 6288 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.03 2.05 3/191 6568
/proc/meminfo: memFree=18250780/32770624 swapFree=67108688/67108860
[pid=6567] ppid=6564 vsize=36476 memory=6532 CPUtime=25.49 cores=0,2,4,6
/proc/6567/stat : 6567 (macht) R 6564 6567 3790 0 -1 4202496 4840 0 0 0 2501 48 0 0 20 0 1 0 224975234 37351424 1633 33554432000 4194304 36388816 140729388194320 140729388178440 8047687 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 55373824 140729388201147 140729388201225 140729388201225 140729388203983 0
/proc/6567/statm: 9119 1633 488 7860 0 1224 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 36476 KiB
Current children cumulated memory: 6532 KiB
[startup+51.1092 s]
/proc/loadavg: 2.00 2.03 2.05 3/191 6568
/proc/meminfo: memFree=18249600/32770624 swapFree=67108688/67108860
[pid=6567] ppid=6564 vsize=36608 memory=6700 CPUtime=51.1 cores=0,2,4,6
/proc/6567/stat : 6567 (macht) R 6564 6567 3790 0 -1 4202496 5304 0 0 0 5010 100 0 0 20 0 1 0 224975234 37486592 1675 33554432000 4194304 36388816 140729388194320 140729388178440 8047687 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 55373824 140729388201147 140729388201225 140729388201225 140729388203983 0
/proc/6567/statm: 9152 1675 488 7860 0 1257 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 36608 KiB
Current children cumulated memory: 6700 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/191 6569
/proc/meminfo: memFree=18249672/32770624 swapFree=67108688/67108860
[pid=6567] ppid=6564 vsize=37004 memory=6908 CPUtime=102.29 cores=0,2,4,6
/proc/6567/stat : 6567 (macht) R 6564 6567 3790 0 -1 4202496 5789 0 0 0 9993 236 0 0 20 0 1 0 224975234 37892096 1727 33554432000 4194304 36388816 140729388194320 140729388178440 8047687 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 55373824 140729388201147 140729388201225 140729388201225 140729388203983 0
/proc/6567/statm: 9251 1727 488 7860 0 1356 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 37004 KiB
Current children cumulated memory: 6908 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/191 6570
/proc/meminfo: memFree=18249604/32770624 swapFree=67108688/67108860
[pid=6567] ppid=6564 vsize=37136 memory=7164 CPUtime=162.28 cores=0,2,4,6
/proc/6567/stat : 6567 (macht) R 6564 6567 3790 0 -1 4202496 6277 0 0 0 15811 417 0 0 20 0 1 0 224975234 38027264 1791 33554432000 4194304 36388816 140729388194320 140729388178440 8047687 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 55373824 140729388201147 140729388201225 140729388201225 140729388203983 0
/proc/6567/statm: 9284 1791 488 7860 0 1389 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 37136 KiB
Current children cumulated memory: 7164 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 6572
/proc/meminfo: memFree=18248568/32770624 swapFree=67108688/67108860
[pid=6567] ppid=6564 vsize=37272 memory=7360 CPUtime=222.27 cores=0,2,4,6
/proc/6567/stat : 6567 (macht) R 6564 6567 3790 0 -1 4202496 6718 0 0 0 21600 627 0 0 20 0 1 0 224975234 38166528 1840 33554432000 4194304 36388816 140729388194320 140729388178440 8047687 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 55373824 140729388201147 140729388201225 140729388201225 140729388203983 0
/proc/6567/statm: 9318 1840 488 7860 0 1423 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 37272 KiB
Current children cumulated memory: 7360 KiB
[startup+282.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/191 6573
/proc/meminfo: memFree=18248720/32770624 swapFree=67108688/67108860
[pid=6567] ppid=6564 vsize=37404 memory=7484 CPUtime=282.28 cores=0,2,4,6
/proc/6567/stat : 6567 (macht) R 6564 6567 3790 0 -1 4202496 6981 0 0 0 27365 863 0 0 20 0 1 0 224975234 38301696 1871 33554432000 4194304 36388816 140729388194320 140729388178440 8047687 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 55373824 140729388201147 140729388201225 140729388201225 140729388203983 0
/proc/6567/statm: 9351 1871 488 7860 0 1456 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 37404 KiB
Current children cumulated memory: 7484 KiB
[startup+342.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/191 6574
/proc/meminfo: memFree=18248864/32770624 swapFree=67108688/67108860
[pid=6567] ppid=6564 vsize=37404 memory=7524 CPUtime=342.28 cores=0,2,4,6
/proc/6567/stat : 6567 (macht) R 6564 6567 3790 0 -1 4202496 7248 0 0 0 33116 1112 0 0 20 0 1 0 224975234 38301696 1881 33554432000 4194304 36388816 140729388194320 140729388178440 8047687 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 55373824 140729388201147 140729388201225 140729388201225 140729388203983 0
/proc/6567/statm: 9351 1881 488 7860 0 1456 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 37404 KiB
Current children cumulated memory: 7524 KiB
[startup+402.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/191 6575
/proc/meminfo: memFree=18249004/32770624 swapFree=67108688/67108860
[pid=6567] ppid=6564 vsize=37536 memory=7576 CPUtime=402.27 cores=0,2,4,6
/proc/6567/stat : 6567 (macht) R 6564 6567 3790 0 -1 4202496 7548 0 0 0 38858 1369 0 0 20 0 1 0 224975234 38436864 1894 33554432000 4194304 36388816 140729388194320 140729388178440 8047687 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 55373824 140729388201147 140729388201225 140729388201225 140729388203983 0
/proc/6567/statm: 9384 1894 488 7860 0 1489 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 37536 KiB
Current children cumulated memory: 7576 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 6576
/proc/meminfo: memFree=18248668/32770624 swapFree=67108688/67108860
[pid=6567] ppid=6564 vsize=37536 memory=7644 CPUtime=462.26 cores=0,2,4,6
/proc/6567/stat : 6567 (macht) R 6564 6567 3790 0 -1 4202496 7847 0 0 0 44603 1623 0 0 20 0 1 0 224975234 38436864 1911 33554432000 4194304 36388816 140729388194320 140729388178440 8047687 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 55373824 140729388201147 140729388201225 140729388201225 140729388203983 0
/proc/6567/statm: 9384 1911 488 7860 0 1489 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 37536 KiB
Current children cumulated memory: 7644 KiB
################
# More data... #
################
/proc/6567/statm: 9517 2035 488 7860 0 1622 0
Current children cumulated CPU time: 1722.21 s
Current children cumulated vsize: 38068 KiB
Current children cumulated memory: 8140 KiB
[startup+1782.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/192 6648
/proc/meminfo: memFree=18248272/32770624 swapFree=67108688/67108860
[pid=6567] ppid=6564 vsize=38068 memory=8168 CPUtime=1782.21 cores=0,2,4,6
/proc/6567/stat : 6567 (macht) R 6564 6567 3790 0 -1 4202496 15357 0 0 0 170985 7236 0 0 20 0 1 0 224975234 38981632 2042 33554432000 4194304 36388816 140729388194320 140729388178440 8047687 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 55373824 140729388201147 140729388201225 140729388201225 140729388203983 0
/proc/6567/statm: 9517 2042 488 7860 0 1622 0
Current children cumulated CPU time: 1782.21 s
Current children cumulated vsize: 38068 KiB
Current children cumulated memory: 8168 KiB
[startup+1842.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/192 6649
/proc/meminfo: memFree=18248316/32770624 swapFree=67108688/67108860
[pid=6567] ppid=6564 vsize=38068 memory=8168 CPUtime=1842.21 cores=0,2,4,6
/proc/6567/stat : 6567 (macht) R 6564 6567 3790 0 -1 4202496 15608 0 0 0 176733 7488 0 0 20 0 1 0 224975234 38981632 2042 33554432000 4194304 36388816 140729388194320 140729388178440 8047687 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 55373824 140729388201147 140729388201225 140729388201225 140729388203983 0
/proc/6567/statm: 9517 2042 488 7860 0 1622 0
Current children cumulated CPU time: 1842.21 s
Current children cumulated vsize: 38068 KiB
Current children cumulated memory: 8168 KiB
[startup+1902.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/192 6650
/proc/meminfo: memFree=18248244/32770624 swapFree=67108688/67108860
[pid=6567] ppid=6564 vsize=38068 memory=8204 CPUtime=1902.21 cores=0,2,4,6
/proc/6567/stat : 6567 (macht) R 6564 6567 3790 0 -1 4202496 15971 0 0 0 182485 7736 0 0 20 0 1 0 224975234 38981632 2051 33554432000 4194304 36388816 140729388194320 140729388178440 8047687 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 55373824 140729388201147 140729388201225 140729388201225 140729388203983 0
/proc/6567/statm: 9517 2051 488 7860 0 1622 0
Current children cumulated CPU time: 1902.21 s
Current children cumulated vsize: 38068 KiB
Current children cumulated memory: 8204 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 6651
/proc/meminfo: memFree=18248144/32770624 swapFree=67108688/67108860
[pid=6567] ppid=6564 vsize=38068 memory=8204 CPUtime=1962.21 cores=0,2,4,6
/proc/6567/stat : 6567 (macht) R 6564 6567 3790 0 -1 4202496 16355 0 0 0 188234 7987 0 0 20 0 1 0 224975234 38981632 2051 33554432000 4194304 36388816 140729388194320 140729388178440 8047687 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 55373824 140729388201147 140729388201225 140729388201225 140729388203983 0
/proc/6567/statm: 9517 2051 488 7860 0 1622 0
Current children cumulated CPU time: 1962.21 s
Current children cumulated vsize: 38068 KiB
Current children cumulated memory: 8204 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 6652
/proc/meminfo: memFree=18247852/32770624 swapFree=67108688/67108860
[pid=6567] ppid=6564 vsize=38068 memory=8204 CPUtime=2022.2 cores=0,2,4,6
/proc/6567/stat : 6567 (macht) R 6564 6567 3790 0 -1 4202496 16797 0 0 0 193989 8231 0 0 20 0 1 0 224975234 38981632 2051 33554432000 4194304 36388816 140729388194320 140729388178440 8047687 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 55373824 140729388201147 140729388201225 140729388201225 140729388203983 0
/proc/6567/statm: 9517 2051 488 7860 0 1622 0
Current children cumulated CPU time: 2022.2 s
Current children cumulated vsize: 38068 KiB
Current children cumulated memory: 8204 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 6653
/proc/meminfo: memFree=18249392/32770624 swapFree=67108688/67108860
[pid=6567] ppid=6564 vsize=38068 memory=8204 CPUtime=2082.2 cores=0,2,4,6
/proc/6567/stat : 6567 (macht) R 6564 6567 3790 0 -1 4202496 17076 0 0 0 199729 8491 0 0 20 0 1 0 224975234 38981632 2051 33554432000 4194304 36388816 140729388194320 140729388178440 8047687 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 55373824 140729388201147 140729388201225 140729388201225 140729388203983 0
/proc/6567/statm: 9517 2051 488 7860 0 1622 0
Current children cumulated CPU time: 2082.2 s
Current children cumulated vsize: 38068 KiB
Current children cumulated memory: 8204 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 6655
/proc/meminfo: memFree=18248816/32770624 swapFree=67108688/67108860
[pid=6567] ppid=6564 vsize=38068 memory=8240 CPUtime=2142.2 cores=0,2,4,6
/proc/6567/stat : 6567 (macht) R 6564 6567 3790 0 -1 4202496 17367 0 0 0 205474 8746 0 0 20 0 1 0 224975234 38981632 2060 33554432000 4194304 36388816 140729388194320 140729388178440 8047687 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 55373824 140729388201147 140729388201225 140729388201225 140729388203983 0
/proc/6567/statm: 9517 2060 488 7860 0 1622 0
Current children cumulated CPU time: 2142.2 s
Current children cumulated vsize: 38068 KiB
Current children cumulated memory: 8240 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 6656
/proc/meminfo: memFree=18248876/32770624 swapFree=67108688/67108860
[pid=6567] ppid=6564 vsize=38068 memory=8240 CPUtime=2202.19 cores=0,2,4,6
/proc/6567/stat : 6567 (macht) R 6564 6567 3790 0 -1 4202496 17630 0 0 0 211221 8998 0 0 20 0 1 0 224975234 38981632 2060 33554432000 4194304 36388816 140729388194320 140729388178440 8047687 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 55373824 140729388201147 140729388201225 140729388201225 140729388203983 0
/proc/6567/statm: 9517 2060 488 7860 0 1622 0
Current children cumulated CPU time: 2202.19 s
Current children cumulated vsize: 38068 KiB
Current children cumulated memory: 8240 KiB
[startup+2262.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/190 6657
/proc/meminfo: memFree=18248564/32770624 swapFree=67108688/67108860
[pid=6567] ppid=6564 vsize=38200 memory=8240 CPUtime=2262.19 cores=0,2,4,6
/proc/6567/stat : 6567 (macht) R 6564 6567 3790 0 -1 4202496 17908 0 0 0 216968 9251 0 0 20 0 1 0 224975234 39116800 2060 33554432000 4194304 36388816 140729388194320 140729388178440 8047687 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 55373824 140729388201147 140729388201225 140729388201225 140729388203983 0
/proc/6567/statm: 9550 2060 488 7860 0 1655 0
Current children cumulated CPU time: 2262.19 s
Current children cumulated vsize: 38200 KiB
Current children cumulated memory: 8240 KiB
[startup+2322.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/191 6666
/proc/meminfo: memFree=18247852/32770624 swapFree=67108688/67108860
[pid=6567] ppid=6564 vsize=38200 memory=8268 CPUtime=2322.19 cores=0,2,4,6
/proc/6567/stat : 6567 (macht) R 6564 6567 3790 0 -1 4202496 18197 0 0 0 222724 9495 0 0 20 0 1 0 224975234 39116800 2067 33554432000 4194304 36388816 140729388194320 140729388178440 8047687 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 55373824 140729388201147 140729388201225 140729388201225 140729388203983 0
/proc/6567/statm: 9550 2067 488 7860 0 1655 0
Current children cumulated CPU time: 2322.19 s
Current children cumulated vsize: 38200 KiB
Current children cumulated memory: 8268 KiB
[startup+2382.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/191 6667
/proc/meminfo: memFree=18248400/32770624 swapFree=67108688/67108860
[pid=6567] ppid=6564 vsize=38200 memory=8268 CPUtime=2382.19 cores=0,2,4,6
/proc/6567/stat : 6567 (macht) R 6564 6567 3790 0 -1 4202496 18461 0 0 0 228474 9745 0 0 20 0 1 0 224975234 39116800 2067 33554432000 4194304 36388816 140729388194320 140729388178440 8047687 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 55373824 140729388201147 140729388201225 140729388201225 140729388203983 0
/proc/6567/statm: 9550 2067 488 7860 0 1655 0
Current children cumulated CPU time: 2382.19 s
Current children cumulated vsize: 38200 KiB
Current children cumulated memory: 8268 KiB
[startup+2442.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/191 6728
/proc/meminfo: memFree=18247996/32770624 swapFree=67108688/67108860
[pid=6567] ppid=6564 vsize=38200 memory=8268 CPUtime=2442.18 cores=0,2,4,6
/proc/6567/stat : 6567 (macht) R 6564 6567 3790 0 -1 4202496 18742 0 0 0 234225 9993 0 0 20 0 1 0 224975234 39116800 2067 33554432000 4194304 36388816 140729388194320 140729388178440 8047687 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 55373824 140729388201147 140729388201225 140729388201225 140729388203983 0
/proc/6567/statm: 9550 2067 488 7860 0 1655 0
Current children cumulated CPU time: 2442.18 s
Current children cumulated vsize: 38200 KiB
Current children cumulated memory: 8268 KiB
[startup+2502.3 s]
/proc/loadavg: 2.49 2.16 2.09 3/191 6729
/proc/meminfo: memFree=18247376/32770624 swapFree=67108688/67108860
[pid=6567] ppid=6564 vsize=38200 memory=8268 CPUtime=2502.18 cores=0,2,4,6
/proc/6567/stat : 6567 (macht) R 6564 6567 3790 0 -1 4202496 19024 0 0 0 239975 10243 0 0 20 0 1 0 224975234 39116800 2067 33554432000 4194304 36388816 140729388194320 140729388178440 8047687 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 55373824 140729388201147 140729388201225 140729388201225 140729388203983 0
/proc/6567/statm: 9550 2067 488 7860 0 1655 0
Current children cumulated CPU time: 2502.18 s
Current children cumulated vsize: 38200 KiB
Current children cumulated memory: 8268 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.35 2.15 2.09 3/191 6730
/proc/meminfo: memFree=18247324/32770624 swapFree=67108688/67108860
[pid=6567] ppid=6564 vsize=38200 memory=8308 CPUtime=2519.88 cores=0,2,4,6
/proc/6567/stat : 6567 (macht) R 6564 6567 3790 0 -1 4202496 19286 0 0 0 241674 10314 0 0 20 0 1 0 224975234 39116800 2077 33554432000 4194304 36388816 140729388194320 140729388178440 8047687 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 55373824 140729388201147 140729388201225 140729388201225 140729388203983 0
/proc/6567/statm: 9550 2077 488 7860 0 1655 0
Current children cumulated CPU time: 2519.88 s
Current children cumulated vsize: 38200 KiB
Current children cumulated memory: 8308 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 6567 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2416.75 s, system=103.147 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.9
CPU user time (s): 2416.75
CPU system time (s): 103.147
CPU usage (%): 99.9956
Max. virtual memory (cumulated for all children) (KiB): 38200
Max. memory (cumulated for all children) (KiB): 8308
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2416.75
system time used= 103.147
maximum resident set size= 8308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19286
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= 4
involuntary context switches= 3156
# summary of solver processes directly reported to runsolver:
# pid: 6567
# total CPU time (s): 2519.9
# total CPU user time (s): 2416.75
# total CPU system time (s): 103.147
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.67185 second user time and 16.8379 second system time
The end