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 (15043 MiB free)
memory of node 1: 16384 MiB (14361 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4265152-1502782325/watcher-4265152-1502782325 -o /tmp/evaluation-result-4265152-1502782325/solver-4265152-1502782325 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502653304-21654 --watchdog 2580 BTD 2520 HOME/instance-4265152-1502782325.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=27068, runsolver pid=27065
[startup+0.100154 s]*
/proc/loadavg: 2.02 2.00 2.03 3/181 27069
/proc/meminfo: memFree=30107568/32770624 swapFree=67108860/67108860
[pid=27068] ppid=27065 vsize=34936 memory=5296 CPUtime=0.03 cores=0,2,4,6
/proc/27068/stat : 27068 (BTD) R 27065 27068 17093 0 -1 4202496 1482 0 0 0 3 0 0 0 20 0 1 0 80425720 35774464 1324 18446744073709551615 4194304 35031035 140727504745984 140727504745984 7408826 0 0 1 0 0 0 0 17 0 0 0 7 0 0 37130264 37226188 64204800 140727504753119 140727504753195 140727504753195 140727504756689 0
/proc/27068/statm: 8734 1324 227 7529 0 1181 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 34936 KiB
Current children cumulated memory: 5296 KiB
[startup+0.209451 s]*
/proc/loadavg: 2.02 2.00 2.03 3/181 27069
/proc/meminfo: memFree=30104008/32770624 swapFree=67108860/67108860
[pid=27068] ppid=27065 vsize=37712 memory=8220 CPUtime=0.14 cores=0,2,4,6
/proc/27068/stat : 27068 (BTD) R 27065 27068 17093 0 -1 4202496 2923 0 0 0 14 0 0 0 20 0 1 0 80425720 38617088 2055 18446744073709551615 4194304 35031035 140727504745984 140727504745984 7993641 0 0 1 0 0 0 0 17 0 0 0 7 0 0 37130264 37226188 64204800 140727504753119 140727504753195 140727504753195 140727504756689 0
/proc/27068/statm: 9428 2055 230 7529 0 1875 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 37712 KiB
Current children cumulated memory: 8220 KiB
[startup+0.308972 s]*
/proc/loadavg: 2.02 2.00 2.03 3/181 27069
/proc/meminfo: memFree=30103636/32770624 swapFree=67108860/67108860
[pid=27068] ppid=27065 vsize=37936 memory=8444 CPUtime=0.23 cores=0,2,4,6
/proc/27068/stat : 27068 (BTD) R 27065 27068 17093 0 -1 4202496 9696 0 0 0 22 1 0 0 20 0 1 0 80425720 38846464 2111 18446744073709551615 4194304 35031035 140727504745984 140727504745984 7993641 0 0 1 0 0 0 0 17 0 0 0 7 0 0 37130264 37226188 64204800 140727504753119 140727504753195 140727504753195 140727504756689 0
/proc/27068/statm: 9484 2111 230 7529 0 1931 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 37936 KiB
Current children cumulated memory: 8444 KiB
[startup+0.700229 s]
/proc/loadavg: 2.02 2.00 2.03 4/181 27069
/proc/meminfo: memFree=30102776/32770624 swapFree=67108860/67108860
[pid=27068] ppid=27065 vsize=39524 memory=9968 CPUtime=0.62 cores=0,2,4,6
/proc/27068/stat : 27068 (BTD) R 27065 27068 17093 0 -1 4202496 39666 0 0 0 58 4 0 0 20 0 1 0 80425720 40472576 2492 18446744073709551615 4194304 35031035 140727504745984 140727504741944 4208995 0 0 1 0 0 0 0 17 0 0 0 7 0 0 37130264 37226188 64204800 140727504753119 140727504753195 140727504753195 140727504756689 0
/proc/27068/statm: 9881 2492 231 7529 0 2328 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 39524 KiB
Current children cumulated memory: 9968 KiB
[startup+1.50023 s]
/proc/loadavg: 2.02 2.00 2.03 3/181 27069
/proc/meminfo: memFree=30100640/32770624 swapFree=67108860/67108860
[pid=27068] ppid=27065 vsize=42496 memory=12880 CPUtime=1.42 cores=0,2,4,6
/proc/27068/stat : 27068 (BTD) R 27065 27068 17093 0 -1 4202496 75481 0 0 0 134 8 0 0 20 0 1 0 80425720 43515904 3220 18446744073709551615 4194304 35031035 140727504745984 140727504741944 4208990 0 0 1 0 0 0 0 17 0 0 0 7 0 0 37130264 37226188 64204800 140727504753119 140727504753195 140727504753195 140727504756689 0
/proc/27068/statm: 10657 3220 232 7529 0 3104 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 42496 KiB
Current children cumulated memory: 12880 KiB
[startup+3.10899 s]
/proc/loadavg: 2.02 2.00 2.03 3/181 27069
/proc/meminfo: memFree=30093748/32770624 swapFree=67108860/67108860
[pid=27068] ppid=27065 vsize=47988 memory=18356 CPUtime=3.02 cores=0,2,4,6
/proc/27068/stat : 27068 (BTD) R 27065 27068 17093 0 -1 4202496 195621 0 0 0 278 24 0 0 20 0 1 0 80425720 49139712 4589 18446744073709551615 4194304 35031035 140727504745984 140727504741944 4208390 0 0 1 0 0 0 0 17 0 0 0 7 0 0 37130264 37226188 64204800 140727504753119 140727504753195 140727504753195 140727504756689 0
/proc/27068/statm: 11997 4611 232 7529 0 4444 0
Current children cumulated CPU time: 3.02 s
Current children cumulated vsize: 47988 KiB
Current children cumulated memory: 18356 KiB
[startup+6.30022 s]
/proc/loadavg: 2.09 2.02 2.03 3/181 27069
/proc/meminfo: memFree=30083232/32770624 swapFree=67108860/67108860
[pid=27068] ppid=27065 vsize=59828 memory=30016 CPUtime=6.21 cores=0,2,4,6
/proc/27068/stat : 27068 (BTD) R 27065 27068 17093 0 -1 4202496 418162 0 0 0 564 57 0 0 20 0 1 0 80425720 61263872 7504 18446744073709551615 4194304 35031035 140727504745984 140727504741752 4209280 0 0 1 0 0 0 0 17 0 0 0 7 0 0 37130264 37226188 64204800 140727504753119 140727504753195 140727504753195 140727504756689 0
/proc/27068/statm: 14957 7504 232 7529 0 7404 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 59828 KiB
Current children cumulated memory: 30016 KiB
[startup+12.7002 s]
/proc/loadavg: 2.09 2.02 2.03 3/181 27069
/proc/meminfo: memFree=30062128/32770624 swapFree=67108860/67108860
[pid=27068] ppid=27065 vsize=81676 memory=52052 CPUtime=12.61 cores=0,2,4,6
/proc/27068/stat : 27068 (BTD) R 27065 27068 17093 0 -1 4202496 920070 0 0 0 1145 116 0 0 20 0 1 0 80425720 83636224 13013 18446744073709551615 4194304 35031035 140727504745984 140727504741752 4208990 0 0 1 0 0 0 0 17 0 0 0 7 0 0 37130264 37226188 64204800 140727504753119 140727504753195 140727504753195 140727504756689 0
/proc/27068/statm: 20453 13013 232 7529 0 12900 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 81676 KiB
Current children cumulated memory: 52052 KiB
[startup+25.5002 s]
/proc/loadavg: 2.07 2.02 2.03 3/181 27069
/proc/meminfo: memFree=30016552/32770624 swapFree=67108860/67108860
[pid=27068] ppid=27065 vsize=127164 memory=97620 CPUtime=25.41 cores=0,2,4,6
/proc/27068/stat : 27068 (BTD) R 27065 27068 17093 0 -1 4202496 1896738 0 0 0 2306 235 0 0 20 0 1 0 80425720 130215936 24405 18446744073709551615 4194304 35031035 140727504745984 140727504741944 4208979 0 0 1 0 0 0 0 17 0 0 0 7 0 0 37130264 37226188 64204800 140727504753119 140727504753195 140727504753195 140727504756689 0
/proc/27068/statm: 31791 24405 232 7529 0 24238 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 127164 KiB
Current children cumulated memory: 97620 KiB
[startup+51.1091 s]
/proc/loadavg: 2.04 2.01 2.03 3/181 27069
/proc/meminfo: memFree=29924776/32770624 swapFree=67108860/67108860
[pid=27068] ppid=27065 vsize=217488 memory=187944 CPUtime=51.01 cores=0,2,4,6
/proc/27068/stat : 27068 (BTD) R 27065 27068 17093 0 -1 4202496 3779936 0 0 0 4640 461 0 0 20 0 1 0 80425720 222707712 46986 18446744073709551615 4194304 35031035 140727504745984 140727504741800 4208680 0 0 1 0 0 0 0 17 2 0 0 7 0 0 37130264 37226188 64204800 140727504753119 140727504753195 140727504753195 140727504756689 0
/proc/27068/statm: 54372 46986 232 7529 0 46819 0
Current children cumulated CPU time: 51.01 s
Current children cumulated vsize: 217488 KiB
Current children cumulated memory: 187944 KiB
[startup+102.3 s]
/proc/loadavg: 2.02 2.01 2.03 3/181 27071
/proc/meminfo: memFree=29743488/32770624 swapFree=67108860/67108860
[pid=27068] ppid=27065 vsize=398296 memory=368812 CPUtime=102.2 cores=0,2,4,6
/proc/27068/stat : 27068 (BTD) R 27065 27068 17093 0 -1 4202496 7440170 0 0 0 9324 896 0 0 20 0 1 0 80425720 407855104 92203 18446744073709551615 4194304 35031035 140727504745984 140727504741944 4209280 0 0 1 0 0 0 0 17 2 0 0 7 0 0 37130264 37226188 64204800 140727504753119 140727504753195 140727504753195 140727504756689 0
/proc/27068/statm: 99609 92203 232 7529 0 92056 0
Current children cumulated CPU time: 102.2 s
Current children cumulated vsize: 398296 KiB
Current children cumulated memory: 368812 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.01 2.03 3/185 27088
/proc/meminfo: memFree=29523268/32770624 swapFree=67108860/67108860
[pid=27068] ppid=27065 vsize=611392 memory=581908 CPUtime=162.19 cores=0,2,4,6
/proc/27068/stat : 27068 (BTD) R 27065 27068 17093 0 -1 4202496 11624533 0 0 0 14838 1381 0 0 20 0 1 0 80425720 626065408 145477 18446744073709551615 4194304 35031035 140727504745984 140727504741800 7993641 0 0 1 0 0 0 0 17 2 0 0 7 0 0 37130264 37226188 64204800 140727504753119 140727504753195 140727504753195 140727504756689 0
/proc/27068/statm: 152886 145477 232 7529 0 145333 0
Current children cumulated CPU time: 162.19 s
Current children cumulated vsize: 611392 KiB
Current children cumulated memory: 581908 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/185 27090
/proc/meminfo: memFree=29309512/32770624 swapFree=67108860/67108860
[pid=27068] ppid=27065 vsize=825608 memory=796124 CPUtime=222.19 cores=0,2,4,6
/proc/27068/stat : 27068 (BTD) R 27065 27068 17093 0 -1 4202496 15653706 0 0 0 20360 1859 0 0 20 0 1 0 80425720 845422592 199031 18446744073709551615 4194304 35031035 140727504745984 140727504741752 4209287 0 0 1 0 0 0 0 17 2 0 0 7 0 0 37130264 37226188 64204800 140727504753119 140727504753195 140727504753195 140727504756689 0
/proc/27068/statm: 206447 199031 232 7529 0 198894 0
Current children cumulated CPU time: 222.19 s
Current children cumulated vsize: 825608 KiB
Current children cumulated memory: 796124 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/182 27092
/proc/meminfo: memFree=29099500/32770624 swapFree=67108860/67108860
[pid=27068] ppid=27065 vsize=1038900 memory=1009212 CPUtime=282.18 cores=0,2,4,6
/proc/27068/stat : 27068 (BTD) R 27065 27068 17093 0 -1 4202496 19817178 0 0 0 25871 2347 0 0 20 0 1 0 80425720 1063833600 252286 18446744073709551615 4194304 35031035 140727504745984 140727504741800 4207320 0 0 1 0 0 0 0 17 2 0 0 7 0 0 37130264 37226188 64204800 140727504753119 140727504753195 140727504753195 140727504756689 0
/proc/27068/statm: 259725 252303 232 7529 0 252172 0
Current children cumulated CPU time: 282.18 s
Current children cumulated vsize: 1038900 KiB
Current children cumulated memory: 1009212 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/182 27094
/proc/meminfo: memFree=28885468/32770624 swapFree=67108860/67108860
[pid=27068] ppid=27065 vsize=1252992 memory=1223508 CPUtime=342.18 cores=0,2,4,6
/proc/27068/stat : 27068 (BTD) R 27065 27068 17093 0 -1 4202496 23772781 0 0 0 31414 2804 0 0 20 0 1 0 80425720 1283063808 305877 18446744073709551615 4194304 35031035 140727504745984 140727504741752 4208979 0 0 1 0 0 0 0 17 2 0 0 7 0 0 37130264 37226188 64204800 140727504753119 140727504753195 140727504753195 140727504756689 0
/proc/27068/statm: 313248 305877 232 7529 0 305695 0
Current children cumulated CPU time: 342.18 s
Current children cumulated vsize: 1252992 KiB
Current children cumulated memory: 1223508 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/182 27096
/proc/meminfo: memFree=28670824/32770624 swapFree=67108860/67108860
[pid=27068] ppid=27065 vsize=1467364 memory=1437788 CPUtime=402.17 cores=0,2,4,6
/proc/27068/stat : 27068 (BTD) R 27065 27068 17093 0 -1 4202496 27732277 0 0 0 36948 3269 0 0 20 0 1 0 80425720 1502580736 359447 18446744073709551615 4194304 35031035 140727504745984 140727504741752 4208386 0 0 1 0 0 0 0 17 2 0 0 7 0 0 37130264 37226188 64204800 140727504753119 140727504753195 140727504753195 140727504756689 0
/proc/27068/statm: 366841 359447 232 7529 0 359288 0
Current children cumulated CPU time: 402.17 s
Current children cumulated vsize: 1467364 KiB
Current children cumulated memory: 1437788 KiB
[startup+462.3 s]
/proc/loadavg: 2.05 2.03 2.04 3/181 27099
/proc/meminfo: memFree=28456228/32770624 swapFree=67108860/67108860
[pid=27068] ppid=27065 vsize=1680612 memory=1650976 CPUtime=462.17 cores=0,2,4,6
/proc/27068/stat : 27068 (BTD) R 27065 27068 17093 0 -1 4202496 31732872 0 0 0 42487 3730 0 0 20 0 1 0 80425720 1720946688 412744 18446744073709551615 4194304 35031035 140727504745984 140727504741800 4207309 0 0 1 0 0 0 0 17 2 0 0 7 0 0 37130264 37226188 64204800 140727504753119 140727504753195 140727504753195 140727504756689 0
/proc/27068/statm: 420153 412744 232 7529 0 412600 0
Current children cumulated CPU time: 462.17 s
Current children cumulated vsize: 1680612 KiB
Current children cumulated memory: 1650976 KiB
################
# More data... #
################
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 27236
/proc/meminfo: memFree=22033984/32770624 swapFree=67108860/67108860
[pid=27068] ppid=27065 vsize=6789952 memory=6760172 CPUtime=1841.77 cores=0,2,4,6
/proc/27068/stat : 27068 (BTD) R 27065 27068 17093 0 -1 4202496 81372515 0 0 0 174348 9829 0 0 20 0 1 0 80425720 6952910848 1690043 18446744073709551615 4194304 35031035 140727504745984 140727504741944 4208395 0 0 1 0 0 0 0 17 2 0 0 7 0 0 37130264 37226188 64204800 140727504753119 140727504753195 140727504753195 140727504756689 0
/proc/27068/statm: 1697488 1690043 232 7529 0 1689935 0
Current children cumulated CPU time: 1841.77 s
Current children cumulated vsize: 6789952 KiB
Current children cumulated memory: 6760172 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 27238
/proc/meminfo: memFree=21591436/32770624 swapFree=67108860/67108860
[pid=27068] ppid=27065 vsize=7016320 memory=6986740 CPUtime=1901.73 cores=0,2,4,6
/proc/27068/stat : 27068 (BTD) R 27065 27068 17093 0 -1 4202496 82322279 0 0 0 180195 9978 0 0 20 0 1 0 80425720 7184711680 1746685 18446744073709551615 4194304 35031035 140727504745984 140727504741800 4208979 0 0 1 0 0 0 0 17 2 0 0 7 0 0 37130264 37226188 64204800 140727504753119 140727504753195 140727504753195 140727504756689 0
/proc/27068/statm: 1754080 1746685 232 7529 0 1746527 0
Current children cumulated CPU time: 1901.73 s
Current children cumulated vsize: 7016320 KiB
Current children cumulated memory: 6986740 KiB
[startup+1962.3 s]
/proc/loadavg: 2.40 2.11 2.08 3/184 27254
/proc/meminfo: memFree=21140184/32770624 swapFree=67108860/67108860
[pid=27068] ppid=27065 vsize=7242932 memory=7213448 CPUtime=1961.7 cores=0,2,4,6
/proc/27068/stat : 27068 (BTD) R 27065 27068 17093 0 -1 4202496 83291747 0 0 0 186043 10127 0 0 20 0 1 0 80425720 7416762368 1803362 18446744073709551615 4194304 35031035 140727504745984 140727504741800 4207325 0 0 1 0 0 0 0 17 2 0 0 7 0 0 37130264 37226188 64204800 140727504753119 140727504753195 140727504753195 140727504756689 0
/proc/27068/statm: 1810733 1803362 232 7529 0 1803180 0
Current children cumulated CPU time: 1961.7 s
Current children cumulated vsize: 7242932 KiB
Current children cumulated memory: 7213448 KiB
[startup+2022.3 s]
/proc/loadavg: 2.29 2.15 2.09 3/184 27256
/proc/meminfo: memFree=20691708/32770624 swapFree=67108860/67108860
[pid=27068] ppid=27065 vsize=7470772 memory=7440992 CPUtime=2021.69 cores=0,2,4,6
/proc/27068/stat : 27068 (BTD) R 27065 27068 17093 0 -1 4202496 84212913 0 0 0 191903 10266 0 0 20 0 1 0 80425720 7650070528 1860248 18446744073709551615 4194304 35031035 140727504745984 140727504741800 4208986 0 0 1 0 0 0 0 17 2 0 0 7 0 0 37130264 37226188 64204800 140727504753119 140727504753195 140727504753195 140727504756689 0
/proc/27068/statm: 1867693 1860248 232 7529 0 1860140 0
Current children cumulated CPU time: 2021.69 s
Current children cumulated vsize: 7470772 KiB
Current children cumulated memory: 7440992 KiB
[startup+2082.3 s]
/proc/loadavg: 2.11 2.12 2.08 3/181 27258
/proc/meminfo: memFree=20248224/32770624 swapFree=67108860/67108860
[pid=27068] ppid=27065 vsize=7697264 memory=7667560 CPUtime=2081.66 cores=0,2,4,6
/proc/27068/stat : 27068 (BTD) R 27065 27068 17093 0 -1 4202496 85191313 0 0 0 197756 10410 0 0 20 0 1 0 80425720 7881998336 1916890 18446744073709551615 4194304 35031035 140727504745984 140727504741800 4207316 0 0 1 0 0 0 0 17 2 0 0 7 0 0 37130264 37226188 64204800 140727504753119 140727504753195 140727504753195 140727504756689 0
/proc/27068/statm: 1924316 1916890 232 7529 0 1916763 0
Current children cumulated CPU time: 2081.66 s
Current children cumulated vsize: 7697264 KiB
Current children cumulated memory: 7667560 KiB
[startup+2142.3 s]
/proc/loadavg: 2.04 2.10 2.08 3/181 27260
/proc/meminfo: memFree=19800816/32770624 swapFree=67108860/67108860
[pid=27068] ppid=27065 vsize=7923752 memory=7894052 CPUtime=2141.65 cores=0,2,4,6
/proc/27068/stat : 27068 (BTD) R 27065 27068 17093 0 -1 4202496 86144774 0 0 0 203613 10552 0 0 20 0 1 0 80425720 8113922048 1973513 18446744073709551615 4194304 35031035 140727504745984 140727504741704 4208680 0 0 1 0 0 0 0 17 2 0 0 7 0 0 37130264 37226188 64204800 140727504753119 140727504753195 140727504753195 140727504756689 0
/proc/27068/statm: 1980938 1973513 232 7529 0 1973385 0
Current children cumulated CPU time: 2141.65 s
Current children cumulated vsize: 7923752 KiB
Current children cumulated memory: 7894052 KiB
[startup+2202.3 s]
/proc/loadavg: 2.01 2.08 2.07 3/180 27262
/proc/meminfo: memFree=19352912/32770624 swapFree=67108860/67108860
[pid=27068] ppid=27065 vsize=8151592 memory=8121812 CPUtime=2201.63 cores=0,2,4,6
/proc/27068/stat : 27068 (BTD) R 27065 27068 17093 0 -1 4202496 86957362 0 0 0 209493 10670 0 0 20 0 1 0 80425720 8347230208 2030453 18446744073709551615 4194304 35031035 140727504745984 140727504741704 4209287 0 0 1 0 0 0 0 17 2 0 0 7 0 0 37130264 37226188 64204800 140727504753119 140727504753195 140727504753195 140727504756689 0
/proc/27068/statm: 2037898 2030453 232 7529 0 2030345 0
Current children cumulated CPU time: 2201.63 s
Current children cumulated vsize: 8151592 KiB
Current children cumulated memory: 8121812 KiB
[startup+2262.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/181 27266
/proc/meminfo: memFree=18901588/32770624 swapFree=67108860/67108860
[pid=27068] ppid=27065 vsize=8379432 memory=8349652 CPUtime=2261.62 cores=0,2,4,6
/proc/27068/stat : 27068 (BTD) R 27065 27068 17093 0 -1 4202496 87749808 0 0 0 215378 10784 0 0 20 0 1 0 80425720 8580538368 2087413 18446744073709551615 4194304 35031035 140727504745984 140727504741704 4208986 0 0 1 0 0 0 0 17 2 0 0 7 0 0 37130264 37226188 64204800 140727504753119 140727504753195 140727504753195 140727504756689 0
/proc/27068/statm: 2094858 2087413 232 7529 0 2087305 0
Current children cumulated CPU time: 2261.62 s
Current children cumulated vsize: 8379432 KiB
Current children cumulated memory: 8349652 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/181 27268
/proc/meminfo: memFree=18450184/32770624 swapFree=67108860/67108860
[pid=27068] ppid=27065 vsize=8607272 memory=8577568 CPUtime=2321.61 cores=0,2,4,6
/proc/27068/stat : 27068 (BTD) R 27065 27068 17093 0 -1 4202496 88543532 0 0 0 221257 10904 0 0 20 0 1 0 80425720 8813846528 2144392 18446744073709551615 4194304 35031035 140727504745984 140727504741704 4208680 0 0 1 0 0 0 0 17 2 0 0 7 0 0 37130264 37226188 64204800 140727504753119 140727504753195 140727504753195 140727504756689 0
/proc/27068/statm: 2151818 2144392 232 7529 0 2144265 0
Current children cumulated CPU time: 2321.61 s
Current children cumulated vsize: 8607272 KiB
Current children cumulated memory: 8577568 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.04 2.06 3/181 27270
/proc/meminfo: memFree=17998600/32770624 swapFree=67108860/67108860
[pid=27068] ppid=27065 vsize=8835108 memory=8805408 CPUtime=2381.59 cores=0,2,4,6
/proc/27068/stat : 27068 (BTD) R 27065 27068 17093 0 -1 4202496 89352730 0 0 0 227141 11018 0 0 20 0 1 0 80425720 9047150592 2201352 18446744073709551615 4194304 35031035 140727504745984 140727504741704 4208379 0 0 1 0 0 0 0 17 2 0 0 7 0 0 37130264 37226188 64204800 140727504753119 140727504753195 140727504753195 140727504756689 0
/proc/27068/statm: 2208777 2201352 232 7529 0 2201224 0
Current children cumulated CPU time: 2381.59 s
Current children cumulated vsize: 8835108 KiB
Current children cumulated memory: 8805408 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/181 27273
/proc/meminfo: memFree=17543300/32770624 swapFree=67108860/67108860
[pid=27068] ppid=27065 vsize=9062948 memory=9033464 CPUtime=2441.57 cores=0,2,4,6
/proc/27068/stat : 27068 (BTD) R 27065 27068 17093 0 -1 4202496 90117460 0 0 0 233035 11122 0 0 20 0 1 0 80425720 9280458752 2258366 18446744073709551615 4194304 35031035 140727504745984 140727504741704 7993641 0 0 1 0 0 0 0 17 2 0 0 7 0 0 37130264 37226188 64204800 140727504753119 140727504753195 140727504753195 140727504756689 0
/proc/27068/statm: 2265737 2258366 232 7529 0 2258184 0
Current children cumulated CPU time: 2441.57 s
Current children cumulated vsize: 9062948 KiB
Current children cumulated memory: 9033464 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/181 27275
/proc/meminfo: memFree=16030460/32770624 swapFree=67108860/67108860
[pid=27068] ppid=27065 vsize=9292028 memory=9262388 CPUtime=2501.57 cores=0,2,4,6
/proc/27068/stat : 27068 (BTD) R 27065 27068 17093 0 -1 4202496 90840675 0 0 0 238935 11222 0 0 20 0 1 0 80425720 9515036672 2315597 18446744073709551615 4194304 35031035 140727504745984 140727504741704 4208673 0 0 1 0 0 0 0 17 2 0 0 7 0 0 37130264 37226188 64204800 140727504753119 140727504753195 140727504753195 140727504756689 0
/proc/27068/statm: 2323007 2315597 232 7529 0 2315454 0
Current children cumulated CPU time: 2501.57 s
Current children cumulated vsize: 9292028 KiB
Current children cumulated memory: 9262388 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.03 2.05 3/181 27276
/proc/meminfo: memFree=15961608/32770624 swapFree=67108860/67108860
[pid=27068] ppid=27065 vsize=9359544 memory=9329984 CPUtime=2519.27 cores=0,2,4,6
/proc/27068/stat : 27068 (BTD) R 27065 27068 17093 0 -1 4202496 91065814 0 0 0 240674 11253 0 0 20 0 1 0 80425720 9584173056 2332496 18446744073709551615 4194304 35031035 140727504745984 140727504741704 4208986 0 0 1 0 0 0 0 17 2 0 0 7 0 0 37130264 37226188 64204800 140727504753119 140727504753195 140727504753195 140727504756689 0
/proc/27068/statm: 2339886 2332496 232 7529 0 2332333 0
Current children cumulated CPU time: 2519.27 s
Current children cumulated vsize: 9359544 KiB
Current children cumulated memory: 9329984 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.37 s]
# the end of solver process 27068 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2406.74 s, system=112.897 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2520.21 s]
/proc/loadavg: 2.00 2.03 2.05 3/181 27276
/proc/meminfo: memFree=20808744/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+2520.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/181 27276
/proc/meminfo: memFree=20808744/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2520.37
CPU time (s): 2519.64
CPU user time (s): 2406.74
CPU system time (s): 112.897
CPU usage (%): 99.9709
Max. virtual memory (cumulated for all children) (KiB): 9359544
Max. memory (cumulated for all children) (KiB): 9329984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2406.74
system time used= 112.897
maximum resident set size= 9330040
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91065814
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= 755
involuntary context switches= 3173
# summary of solver processes directly reported to runsolver:
# pid: 27068
# total CPU time (s): 2519.64
# total CPU user time (s): 2406.74
# total CPU system time (s): 112.897
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.69521 second user time and 17.4805 second system time
The end