runsolver version 3.4.2 (svn: 4680) 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: 64096 MiB (59170 MiB free)
memory of node 1: 64473 MiB (60752 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457307-1721836298/watcher-4457307-1721836298 -o /tmp/evaluation-result-4457307-1721836298/solver-4457307-1721836298 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721831555-179668 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457307-1721836298 --lp-cut-gomory=0 HOME/instance-4457307-1721836298.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=182197, runsolver pid=182194
[startup+0.1001 s]*
/proc/loadavg: 4.05 4.09 4.13 5/247 182198
/proc/meminfo: memFree=122770028/131655788 swapFree=131056320/131071996
[pid=182197] ppid=182194 vsize=64268 memory=35264 CPUtime=0.1 cores=5,7
/proc/182197/stat : 182197 (roundingsat) R 182194 182197 179655 0 -1 4194304 7925 0 0 0 9 1 0 0 20 0 1 0 19619068 65810432 8816 134679101440 4194304 8254037 140726311363776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17145856 140726311367516 140726311367778 140726311367778 140726311374793 0
/proc/182197/statm: 16067 8816 1366 992 0 7925 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 64268 KiB
Current children cumulated memory: 35264 KiB
[startup+0.213044 s]*
/proc/loadavg: 4.05 4.09 4.13 5/247 182198
/proc/meminfo: memFree=122743424/131655788 swapFree=131056320/131071996
[pid=182197] ppid=182194 vsize=94736 memory=63132 CPUtime=0.22 cores=5,7
/proc/182197/stat : 182197 (roundingsat) R 182194 182197 179655 0 -1 4194304 12301 0 0 0 19 3 0 0 20 0 1 0 19619068 97009664 15717 134679101440 4194304 8254037 140726311363776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17145856 140726311367516 140726311367778 140726311367778 140726311374793 0
/proc/182197/statm: 23684 15717 1366 992 0 15542 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 94736 KiB
Current children cumulated memory: 63132 KiB
[startup+0.313037 s]*
/proc/loadavg: 4.05 4.09 4.13 5/247 182198
/proc/meminfo: memFree=122700404/131655788 swapFree=131056320/131071996
[pid=182197] ppid=182194 vsize=141324 memory=103384 CPUtime=0.31 cores=5,7
/proc/182197/stat : 182197 (roundingsat) R 182194 182197 179655 0 -1 4194304 15306 0 0 0 27 4 0 0 20 0 1 0 19619068 144715776 25846 134679101440 4194304 8254037 140726311363776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17145856 140726311367516 140726311367778 140726311367778 140726311374793 0
/proc/182197/statm: 35331 25846 1366 992 0 27189 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 141324 KiB
Current children cumulated memory: 103384 KiB
[startup+0.700285 s]
/proc/loadavg: 4.05 4.09 4.13 6/247 182198
/proc/meminfo: memFree=122626480/131655788 swapFree=131056320/131071996
[pid=182197] ppid=182194 vsize=247620 memory=194560 CPUtime=0.69 cores=5,7
/proc/182197/stat : 182197 (roundingsat) R 182194 182197 179655 0 -1 4194304 22227 0 0 0 61 8 0 0 20 0 1 0 19619068 253562880 48640 134679101440 4194304 8254037 140726311363776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17145856 140726311367516 140726311367778 140726311367778 140726311374793 0
/proc/182197/statm: 61905 48640 1366 992 0 53763 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 247620 KiB
Current children cumulated memory: 194560 KiB
[startup+1.50031 s]
/proc/loadavg: 4.05 4.09 4.13 5/247 182198
/proc/meminfo: memFree=122562796/131655788 swapFree=131056320/131071996
[pid=182197] ppid=182194 vsize=259220 memory=200408 CPUtime=1.49 cores=5,7
/proc/182197/stat : 182197 (roundingsat) R 182194 182197 179655 0 -1 4194304 23225 0 0 0 137 12 0 0 20 0 1 0 19619068 265441280 50102 134679101440 4194304 8254037 140726311363776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17145856 140726311367516 140726311367778 140726311367778 140726311374793 0
/proc/182197/statm: 64805 50102 1366 992 0 56663 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 259220 KiB
Current children cumulated memory: 200408 KiB
[startup+3.11298 s]
/proc/loadavg: 4.05 4.09 4.13 5/247 182198
/proc/meminfo: memFree=122078216/131655788 swapFree=131056320/131071996
[pid=182197] ppid=182194 vsize=726308 memory=650748 CPUtime=3.1 cores=5,7
/proc/182197/stat : 182197 (roundingsat) R 182194 182197 179655 0 -1 4194304 67852 0 0 0 279 31 0 0 20 0 1 0 19619068 743739392 162687 134679101440 4194304 8254037 140726311363776 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17145856 140726311367516 140726311367778 140726311367778 140726311374793 0
/proc/182197/statm: 181577 162687 1717 992 0 173435 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 726308 KiB
Current children cumulated memory: 650748 KiB
[startup+6.3003 s]
/proc/loadavg: 4.04 4.09 4.13 5/247 182199
/proc/meminfo: memFree=122042728/131655788 swapFree=131056320/131071996
[pid=182197] ppid=182194 vsize=765204 memory=682604 CPUtime=6.28 cores=5,7
/proc/182197/stat : 182197 (roundingsat) R 182194 182197 179655 0 -1 4194304 70222 0 0 0 524 104 0 0 20 0 1 0 19619068 783568896 170651 134679101440 4194304 8254037 140726311363776 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17145856 140726311367516 140726311367778 140726311367778 140726311374793 0
/proc/182197/statm: 191301 170651 1749 992 0 183159 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 765204 KiB
Current children cumulated memory: 682604 KiB
[startup+12.7003 s]
/proc/loadavg: 4.04 4.09 4.13 5/247 182199
/proc/meminfo: memFree=121891480/131655788 swapFree=131056320/131071996
[pid=182197] ppid=182194 vsize=814992 memory=742960 CPUtime=12.66 cores=5,7
/proc/182197/stat : 182197 (roundingsat) R 182194 182197 179655 0 -1 4194304 71558 0 0 0 1041 225 0 0 20 0 1 0 19619068 834551808 185740 134679101440 4194304 8254037 140726311363776 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17145856 140726311367516 140726311367778 140726311367778 140726311374793 0
/proc/182197/statm: 203748 185740 1749 992 0 195606 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 814992 KiB
Current children cumulated memory: 742960 KiB
[startup+25.5004 s]
/proc/loadavg: 4.17 4.12 4.13 5/247 182201
/proc/meminfo: memFree=121686040/131655788 swapFree=131056320/131071996
[pid=182197] ppid=182194 vsize=951588 memory=854796 CPUtime=25.43 cores=5,7
/proc/182197/stat : 182197 (roundingsat) R 182194 182197 179655 0 -1 4194304 74166 0 0 0 2201 342 0 0 20 0 1 0 19619068 974426112 213699 134679101440 4194304 8254037 140726311363776 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17145856 140726311367516 140726311367778 140726311367778 140726311374793 0
/proc/182197/statm: 237897 213699 1764 992 0 229755 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 951588 KiB
Current children cumulated memory: 854796 KiB
[startup+51.1137 s]
/proc/loadavg: 4.11 4.11 4.13 5/247 182206
/proc/meminfo: memFree=121608536/131655788 swapFree=131056320/131071996
[pid=182197] ppid=182194 vsize=951588 memory=855380 CPUtime=50.97 cores=5,7
/proc/182197/stat : 182197 (roundingsat) R 182194 182197 179655 0 -1 4194304 74460 0 0 0 4751 346 0 0 20 0 1 0 19619068 974426112 213845 134679101440 4194304 8254037 140726311363776 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17145856 140726311367516 140726311367778 140726311367778 140726311374793 0
/proc/182197/statm: 237897 213845 1764 992 0 229755 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 951588 KiB
Current children cumulated memory: 855380 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.10 4.13 5/247 182215
/proc/meminfo: memFree=121460528/131655788 swapFree=131056320/131071996
[pid=182197] ppid=182194 vsize=951588 memory=855556 CPUtime=102.05 cores=5,7
/proc/182197/stat : 182197 (roundingsat) R 182194 182197 179655 0 -1 4194304 74685 0 0 0 9858 347 0 0 20 0 1 0 19619068 974426112 213889 134679101440 4194304 8254037 140726311363776 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17145856 140726311367516 140726311367778 140726311367778 140726311374793 0
/proc/182197/statm: 237897 213889 1764 992 0 229755 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 951588 KiB
Current children cumulated memory: 855556 KiB
[startup+162.3 s]
/proc/loadavg: 4.32 4.16 4.14 5/250 182320
/proc/meminfo: memFree=119894404/131655788 swapFree=131056320/131071996
[pid=182197] ppid=182194 vsize=1074452 memory=1006696 CPUtime=161.89 cores=5,7
/proc/182197/stat : 182197 (roundingsat) R 182194 182197 179655 0 -1 4194304 103011 0 0 0 15661 528 0 0 20 0 1 0 19619068 1100238848 251674 134679101440 4194304 8254037 140726311363776 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17145856 140726311367516 140726311367778 140726311367778 140726311374793 0
/proc/182197/statm: 268613 251674 1827 992 0 260471 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 1074452 KiB
Current children cumulated memory: 1006696 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.13 4.13 5/253 182715
/proc/meminfo: memFree=118432744/131655788 swapFree=131056320/131071996
[pid=182197] ppid=182194 vsize=1460788 memory=1327296 CPUtime=221.73 cores=5,7
/proc/182197/stat : 182197 (roundingsat) R 182194 182197 179655 0 -1 4194304 113237 0 0 0 21607 566 0 0 20 0 1 0 19619068 1495846912 331824 134679101440 4194304 8254037 140726311363776 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17145856 140726311367516 140726311367778 140726311367778 140726311374793 0
/proc/182197/statm: 365197 331824 1859 992 0 357055 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 1460788 KiB
Current children cumulated memory: 1327296 KiB
[startup+282.3 s]
/proc/loadavg: 4.15 4.13 4.13 5/251 182773
/proc/meminfo: memFree=116581268/131655788 swapFree=131056320/131071996
[pid=182197] ppid=182194 vsize=1889020 memory=1618100 CPUtime=281.58 cores=5,7
/proc/182197/stat : 182197 (roundingsat) R 182194 182197 179655 0 -1 4194304 134005 0 0 0 27559 599 0 0 20 0 1 0 19619068 1934356480 404525 134679101440 4194304 8254037 140726311363776 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17145856 140726311367516 140726311367778 140726311367778 140726311374793 0
/proc/182197/statm: 472255 404525 1859 992 0 464113 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 1889020 KiB
Current children cumulated memory: 1618100 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.12 4.12 5/252 182784
/proc/meminfo: memFree=115366880/131655788 swapFree=131056320/131071996
[pid=182197] ppid=182194 vsize=2523172 memory=1995276 CPUtime=341.45 cores=5,7
/proc/182197/stat : 182197 (roundingsat) R 182194 182197 179655 0 -1 4194304 151485 0 0 0 33482 663 0 0 20 0 1 0 19619068 2583728128 498819 134679101440 4194304 8254037 140726311363776 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17145856 140726311367516 140726311367778 140726311367778 140726311374793 0
/proc/182197/statm: 630793 498819 1859 992 0 622651 0
Current children cumulated CPU time: 341.45 s
Current children cumulated vsize: 2523172 KiB
Current children cumulated memory: 1995276 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.11 4.12 5/254 182964
/proc/meminfo: memFree=114439320/131655788 swapFree=131056320/131071996
[pid=182197] ppid=182194 vsize=2628852 memory=2454560 CPUtime=401.31 cores=5,7
/proc/182197/stat : 182197 (roundingsat) R 182194 182197 179655 0 -1 4194304 176033 0 0 0 39418 713 0 0 20 0 1 0 19619068 2691944448 613640 134679101440 4194304 8254037 140726311363776 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17145856 140726311367516 140726311367778 140726311367778 140726311374793 0
/proc/182197/statm: 657213 613640 1859 992 0 649071 0
Current children cumulated CPU time: 401.31 s
Current children cumulated vsize: 2628852 KiB
Current children cumulated memory: 2454560 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.12 4.12 5/251 182975
/proc/meminfo: memFree=113611048/131655788 swapFree=131056320/131071996
[pid=182197] ppid=182194 vsize=2628852 memory=2456728 CPUtime=461.19 cores=5,7
/proc/182197/stat : 182197 (roundingsat) R 182194 182197 179655 0 -1 4194304 176231 0 0 0 45405 714 0 0 20 0 1 0 19619068 2691944448 614182 134679101440 4194304 8254037 140726311363776 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17145856 140726311367516 140726311367778 140726311367778 140726311374793 0
/proc/182197/statm: 657213 614182 1859 992 0 649071 0
################
# More data... #
################
/proc/182197/statm: 3904939 3314502 1859 992 0 3896797 0
Current children cumulated CPU time: 2915.78 s
Current children cumulated vsize: 15619756 KiB
Current children cumulated memory: 13258008 KiB
[startup+2982.3 s]
/proc/loadavg: 4.09 4.17 4.19 5/246 184157
/proc/meminfo: memFree=90598012/131655788 swapFree=131056320/131071996
[pid=182197] ppid=182194 vsize=15619756 memory=13258008 CPUtime=2975.65 cores=5,7
/proc/182197/stat : 182197 (roundingsat) R 182194 182197 179655 0 -1 4194304 1105963 0 0 0 293222 4343 0 0 20 0 1 0 19619068 15994630144 3314502 134679101440 4194304 8254037 140726311363776 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17145856 140726311367516 140726311367778 140726311367778 140726311374793 0
/proc/182197/statm: 3904939 3314502 1859 992 0 3896797 0
Current children cumulated CPU time: 2975.65 s
Current children cumulated vsize: 15619756 KiB
Current children cumulated memory: 13258008 KiB
[startup+3042.3 s]
/proc/loadavg: 4.06 4.15 4.18 5/246 184168
/proc/meminfo: memFree=90382156/131655788 swapFree=131056320/131071996
[pid=182197] ppid=182194 vsize=15619756 memory=13258008 CPUtime=3035.51 cores=5,7
/proc/182197/stat : 182197 (roundingsat) R 182194 182197 179655 0 -1 4194304 1107577 0 0 0 299154 4397 0 0 20 0 1 0 19619068 15994630144 3314502 134679101440 4194304 8254037 140726311363776 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17145856 140726311367516 140726311367778 140726311367778 140726311374793 0
/proc/182197/statm: 3904939 3314502 1859 992 0 3896797 0
Current children cumulated CPU time: 3035.51 s
Current children cumulated vsize: 15619756 KiB
Current children cumulated memory: 13258008 KiB
[startup+3102.3 s]
/proc/loadavg: 4.07 4.14 4.17 5/246 184179
/proc/meminfo: memFree=90018736/131655788 swapFree=131056320/131071996
[pid=182197] ppid=182194 vsize=15619756 memory=13258008 CPUtime=3095.37 cores=5,7
/proc/182197/stat : 182197 (roundingsat) R 182194 182197 179655 0 -1 4194304 1109057 0 0 0 305062 4475 0 0 20 0 1 0 19619068 15994630144 3314502 134679101440 4194304 8254037 140726311363776 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17145856 140726311367516 140726311367778 140726311367778 140726311374793 0
/proc/182197/statm: 3904939 3314502 1859 992 0 3896797 0
Current children cumulated CPU time: 3095.37 s
Current children cumulated vsize: 15619756 KiB
Current children cumulated memory: 13258008 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.14 4.17 5/246 184190
/proc/meminfo: memFree=89718748/131655788 swapFree=131056320/131071996
[pid=182197] ppid=182194 vsize=15619908 memory=13258160 CPUtime=3155.24 cores=5,7
/proc/182197/stat : 182197 (roundingsat) R 182194 182197 179655 0 -1 4194304 1112272 0 0 0 310945 4579 0 0 20 0 1 0 19619068 15994785792 3314540 134679101440 4194304 8254037 140726311363776 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17145856 140726311367516 140726311367778 140726311367778 140726311374793 0
/proc/182197/statm: 3904977 3314540 1859 992 0 3896835 0
Current children cumulated CPU time: 3155.24 s
Current children cumulated vsize: 15619908 KiB
Current children cumulated memory: 13258160 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.13 4.17 5/244 184200
/proc/meminfo: memFree=89456044/131655788 swapFree=131056320/131071996
[pid=182197] ppid=182194 vsize=15619908 memory=13258160 CPUtime=3215.1 cores=5,7
/proc/182197/stat : 182197 (roundingsat) R 182194 182197 179655 0 -1 4194304 1114744 0 0 0 316899 4611 0 0 20 0 1 0 19619068 15994785792 3314540 134679101440 4194304 8254037 140726311363776 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17145856 140726311367516 140726311367778 140726311367778 140726311374793 0
/proc/182197/statm: 3904977 3314540 1859 992 0 3896835 0
Current children cumulated CPU time: 3215.1 s
Current children cumulated vsize: 15619908 KiB
Current children cumulated memory: 13258160 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.12 4.16 5/244 184210
/proc/meminfo: memFree=89208740/131655788 swapFree=131056320/131071996
[pid=182197] ppid=182194 vsize=15619908 memory=13258160 CPUtime=3274.96 cores=5,7
/proc/182197/stat : 182197 (roundingsat) R 182194 182197 179655 0 -1 4194304 1117803 0 0 0 322866 4630 0 0 20 0 1 0 19619068 15994785792 3314540 134679101440 4194304 8254037 140726311363776 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17145856 140726311367516 140726311367778 140726311367778 140726311374793 0
/proc/182197/statm: 3904977 3314540 1859 992 0 3896835 0
Current children cumulated CPU time: 3274.96 s
Current children cumulated vsize: 15619908 KiB
Current children cumulated memory: 13258160 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.12 4.16 5/244 184220
/proc/meminfo: memFree=88805256/131655788 swapFree=131056320/131071996
[pid=182197] ppid=182194 vsize=15619908 memory=13258160 CPUtime=3334.83 cores=5,7
/proc/182197/stat : 182197 (roundingsat) R 182194 182197 179655 0 -1 4194304 1119871 0 0 0 328798 4685 0 0 20 0 1 0 19619068 15994785792 3314540 134679101440 4194304 8254037 140726311363776 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17145856 140726311367516 140726311367778 140726311367778 140726311374793 0
/proc/182197/statm: 3904977 3314540 1859 992 0 3896835 0
Current children cumulated CPU time: 3334.83 s
Current children cumulated vsize: 15619908 KiB
Current children cumulated memory: 13258160 KiB
[startup+3402.3 s]
/proc/loadavg: 4.18 4.13 4.16 5/244 184232
/proc/meminfo: memFree=88279240/131655788 swapFree=131056320/131071996
[pid=182197] ppid=182194 vsize=15619908 memory=13258160 CPUtime=3394.69 cores=5,7
/proc/182197/stat : 182197 (roundingsat) R 182194 182197 179655 0 -1 4194304 1121572 0 0 0 334742 4727 0 0 20 0 1 0 19619068 15994785792 3314540 134679101440 4194304 8254037 140726311363776 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17145856 140726311367516 140726311367778 140726311367778 140726311374793 0
/proc/182197/statm: 3904977 3314540 1859 992 0 3896835 0
Current children cumulated CPU time: 3394.69 s
Current children cumulated vsize: 15619908 KiB
Current children cumulated memory: 13258160 KiB
[startup+3462.3 s]
/proc/loadavg: 4.89 4.34 4.23 5/245 184244
/proc/meminfo: memFree=87652396/131655788 swapFree=131056320/131071996
[pid=182197] ppid=182194 vsize=15619908 memory=13258160 CPUtime=3454.56 cores=5,7
/proc/182197/stat : 182197 (roundingsat) R 182194 182197 179655 0 -1 4194304 1123192 0 0 0 340669 4787 0 0 20 0 1 0 19619068 15994785792 3314540 134679101440 4194304 8254037 140726311363776 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17145856 140726311367516 140726311367778 140726311367778 140726311374793 0
/proc/182197/statm: 3904977 3314540 1859 992 0 3896835 0
Current children cumulated CPU time: 3454.56 s
Current children cumulated vsize: 15619908 KiB
Current children cumulated memory: 13258160 KiB
[startup+3522.3 s]
/proc/loadavg: 4.38 4.29 4.22 5/246 184258
/proc/meminfo: memFree=86668804/131655788 swapFree=131056320/131071996
[pid=182197] ppid=182194 vsize=15619908 memory=13258160 CPUtime=3514.43 cores=5,7
/proc/182197/stat : 182197 (roundingsat) R 182194 182197 179655 0 -1 4194304 1124815 0 0 0 346604 4839 0 0 20 0 1 0 19619068 15994785792 3314540 134679101440 4194304 8254037 140726311363776 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17145856 140726311367516 140726311367778 140726311367778 140726311374793 0
/proc/182197/statm: 3904977 3314540 1859 992 0 3896835 0
Current children cumulated CPU time: 3514.43 s
Current children cumulated vsize: 15619908 KiB
Current children cumulated memory: 13258160 KiB
[startup+3582.3 s]
/proc/loadavg: 4.18 4.25 4.21 5/246 184268
/proc/meminfo: memFree=85714660/131655788 swapFree=131056320/131071996
[pid=182197] ppid=182194 vsize=15619908 memory=13258160 CPUtime=3574.29 cores=5,7
/proc/182197/stat : 182197 (roundingsat) R 182194 182197 179655 0 -1 4194304 1126361 0 0 0 352569 4860 0 0 20 0 1 0 19619068 15994785792 3314540 134679101440 4194304 8254037 140726311363776 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17145856 140726311367516 140726311367778 140726311367778 140726311374793 0
/proc/182197/statm: 3904977 3314540 1859 992 0 3896835 0
Current children cumulated CPU time: 3574.29 s
Current children cumulated vsize: 15619908 KiB
Current children cumulated memory: 13258160 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.11 s]
/proc/loadavg: 4.18 4.25 4.21 5/246 184275
/proc/meminfo: memFree=85448888/131655788 swapFree=131056320/131071996
[pid=182197] ppid=182194 vsize=15619908 memory=13258160 CPUtime=3600.04 cores=5,7
/proc/182197/stat : 182197 (roundingsat) R 182194 182197 179655 0 -1 4194304 1126987 0 0 0 355137 4867 0 0 20 0 1 0 19619068 15994785792 3314540 134679101440 4194304 8254037 140726311363776 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17145856 140726311367516 140726311367778 140726311367778 140726311374793 0
/proc/182197/statm: 3904977 3314540 1859 992 0 3896835 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 15619908 KiB
Current children cumulated memory: 13258160 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.68 s]
# the end of solver process 182197 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3551.68 s, system=48.8983 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3608.4 s]
/proc/loadavg: 4.18 4.25 4.21 5/246 184275
/proc/meminfo: memFree=85448888/131655788 swapFree=131056320/131071996
[pid=182197] ppid=182194 vsize=15416552 memory=13056652 CPUtime=3600.29 cores=5,7
/proc/182197/stat : 182197 (roundingsat) R 182194 182197 179655 0 -1 4194304 1128165 0 0 0 355162 4867 0 0 20 0 1 0 19619068 15786549248 3264163 134679101440 4194304 8254037 140726311363776 0 0 0 0 0 25182210 0 0 0 17 5 0 0 2 0 0 9037040 9046032 17145856 140726311367516 140726311367778 140726311367778 140726311374793 0
/proc/182197/statm: 3854138 3264163 1953 992 0 3845996 0
Current children cumulated CPU time: 3600.29 s
Current children cumulated vsize: 15416552 KiB
Current children cumulated memory: 13056652 KiB
[startup+3608.6 s]*
/proc/loadavg: 4.18 4.25 4.21 5/246 184275
/proc/meminfo: memFree=92866588/131655788 swapFree=131056320/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 3608.68
CPU time (s): 3600.58
CPU user time (s): 3551.68
CPU system time (s): 48.8983
CPU usage (%): 99.7756
Max. virtual memory (cumulated for all children) (KiB): 15619908
Max. memory (cumulated for all children) (KiB): 13258160
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3551.68
system time used= 48.8983
maximum resident set size= 13258536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1128500
page faults= 0
swaps= 0
block input operations= 0
block output operations= 24819976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1111
involuntary context switches= 4177
# summary of solver processes directly reported to runsolver:
# pid: 182197
# total CPU time (s): 3600.58
# total CPU user time (s): 3551.68
# total CPU system time (s): 48.8983
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.9422 second user time and 35.081 second system time
The end
Begin job on nodeC006 at 2024-07-24 17:51:38
IDJOB=4457307
IDBENCH=160481
IDSOLVER=3085
FILE ID=nodeC006/4457307-1721836298
RUNJOBID= nodeC006-1721831555-179668
SLURM_JOB_ID= 7891518
Free space on /tmp= 723732 MiB
SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw256/normalized-hw256-vm100p-dec.opb.negationfix.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457307-1721836298/watcher-4457307-1721836298 -o /tmp/evaluation-result-4457307-1721836298/solver-4457307-1721836298 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721831555-179668 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457307-1721836298 --lp-cut-gomory=0 HOME/instance-4457307-1721836298.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7aedd7c3672972b6263e08c161e73d18
RANDOM SEED=886108385
nodeC006.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3610.208
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.06
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3655.146
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.40
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.163
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.06
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.115
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.40
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3663.615
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.06
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.531
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.40
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.137
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.06
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.139
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.40
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 122800496 kB
MemAvailable: 129499104 kB
Buffers: 269736 kB
Cached: 7034300 kB
SwapCached: 240 kB
Active: 1938988 kB
Inactive: 5988300 kB
Active(anon): 1736 kB
Inactive(anon): 666900 kB
Active(file): 1937252 kB
Inactive(file): 5321400 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131056320 kB
Dirty: 103740 kB
Writeback: 0 kB
AnonPages: 623160 kB
Mapped: 98540 kB
Shmem: 45244 kB
KReclaimable: 501864 kB
Slab: 613660 kB
SReclaimable: 501864 kB
SUnreclaim: 111796 kB
KernelStack: 3984 kB
PageTables: 10776 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 966608 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 16576 kB
HardwareCorrupted: 0 kB
AnonHugePages: 233472 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 420680 kB
DirectMap2M: 57155584 kB
DirectMap1G: 78643200 kB
Free space on /tmp at the end= 723592 MiB
End job on nodeC006 at 2024-07-24 18:51:47