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: 64059 MiB (60813 MiB free)
memory of node 1: 64510 MiB (57442 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457223-1721833630/watcher-4457223-1721833630 -o /tmp/evaluation-result-4457223-1721833630/solver-4457223-1721833630 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721833630-188593 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457223-1721833630 --lp-cut-gomory=0 HOME/instance-4457223-1721833630.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
solver pid=188655, runsolver pid=188652
Current StackSize limit: 8192 KiB
[startup+0.100101 s]*
/proc/loadavg: 1.07 1.09 1.34 6/246 188656
/proc/meminfo: memFree=121058800/131655788 swapFree=131070448/131071996
[pid=188655] ppid=188652 vsize=50464 memory=17896 CPUtime=0.1 cores=0,2
/proc/188655/stat : 188655 (roundingsat) R 188652 188655 188583 0 -1 4194304 4436 0 0 0 9 1 0 0 20 0 1 0 19352731 51675136 4474 134679101440 4194304 8254037 140733887111184 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30838784 140733887120220 140733887120482 140733887120482 140733887127497 0
/proc/188655/statm: 12616 4474 1366 992 0 4474 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 50464 KiB
Current children cumulated memory: 17896 KiB
[startup+0.214365 s]*
/proc/loadavg: 1.07 1.09 1.34 6/246 188656
/proc/meminfo: memFree=121019972/131655788 swapFree=131070448/131071996
[pid=188655] ppid=188652 vsize=63264 memory=30980 CPUtime=0.22 cores=0,2
/proc/188655/stat : 188655 (roundingsat) R 188652 188655 188583 0 -1 4194304 7455 0 0 0 20 2 0 0 20 0 1 0 19352731 64782336 7745 134679101440 4194304 8254037 140733887111184 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30838784 140733887120220 140733887120482 140733887120482 140733887127497 0
/proc/188655/statm: 15816 7745 1366 992 0 7674 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 63264 KiB
Current children cumulated memory: 30980 KiB
[startup+0.313402 s]*
/proc/loadavg: 1.07 1.09 1.34 6/246 188656
/proc/meminfo: memFree=120988252/131655788 swapFree=131070448/131071996
[pid=188655] ppid=188652 vsize=92976 memory=51784 CPUtime=0.31 cores=0,2
/proc/188655/stat : 188655 (roundingsat) R 188652 188655 188583 0 -1 4194304 10629 0 0 0 28 3 0 0 20 0 1 0 19352731 95207424 12946 134679101440 4194304 8254037 140733887111184 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30838784 140733887120220 140733887120482 140733887120482 140733887127497 0
/proc/188655/statm: 23244 12946 1366 992 0 15102 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 92976 KiB
Current children cumulated memory: 51784 KiB
[startup+0.700283 s]
/proc/loadavg: 1.07 1.09 1.34 5/246 188656
/proc/meminfo: memFree=120963220/131655788 swapFree=131070448/131071996
[pid=188655] ppid=188652 vsize=88876 memory=55344 CPUtime=0.68 cores=0,2
/proc/188655/stat : 188655 (roundingsat) R 188652 188655 188583 0 -1 4194304 11012 0 0 0 64 4 0 0 20 0 1 0 19352731 91009024 13836 134679101440 4194304 8254037 140733887111184 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30838784 140733887120220 140733887120482 140733887120482 140733887127497 0
/proc/188655/statm: 22219 13836 1366 992 0 14077 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 88876 KiB
Current children cumulated memory: 55344 KiB
[startup+1.50031 s]
/proc/loadavg: 1.07 1.09 1.34 5/246 188656
/proc/meminfo: memFree=120897000/131655788 swapFree=131070448/131071996
[pid=188655] ppid=188652 vsize=208020 memory=173612 CPUtime=1.48 cores=0,2
/proc/188655/stat : 188655 (roundingsat) R 188652 188655 188583 0 -1 4194304 31539 0 0 0 136 12 0 0 20 0 1 0 19352731 213012480 43403 134679101440 4194304 8254037 140733887111184 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30838784 140733887120220 140733887120482 140733887120482 140733887127497 0
/proc/188655/statm: 52005 43403 1780 992 0 43863 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 208020 KiB
Current children cumulated memory: 173612 KiB
[startup+3.11166 s]
/proc/loadavg: 1.38 1.15 1.36 5/246 188703
/proc/meminfo: memFree=120615724/131655788 swapFree=131070448/131071996
[pid=188655] ppid=188652 vsize=210580 memory=176716 CPUtime=3.09 cores=0,2
/proc/188655/stat : 188655 (roundingsat) R 188652 188655 188583 0 -1 4194304 32281 0 0 0 296 13 0 0 20 0 1 0 19352731 215633920 44179 134679101440 4194304 8254037 140733887111184 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30838784 140733887120220 140733887120482 140733887120482 140733887127497 0
/proc/188655/statm: 52645 44179 1780 992 0 44503 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 210580 KiB
Current children cumulated memory: 176716 KiB
[startup+6.3003 s]
/proc/loadavg: 1.38 1.15 1.36 5/246 188703
/proc/meminfo: memFree=120375088/131655788 swapFree=131070448/131071996
[pid=188655] ppid=188652 vsize=231736 memory=197624 CPUtime=6.27 cores=0,2
/proc/188655/stat : 188655 (roundingsat) R 188652 188655 188583 0 -1 4194304 35521 0 0 0 575 52 0 0 20 0 1 0 19352731 237297664 49406 134679101440 4194304 8254037 140733887111184 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30838784 140733887120220 140733887120482 140733887120482 140733887127497 0
/proc/188655/statm: 57934 49406 1811 992 0 49792 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 231736 KiB
Current children cumulated memory: 197624 KiB
[startup+12.7003 s]
/proc/loadavg: 1.79 1.25 1.39 5/246 188705
/proc/meminfo: memFree=119969504/131655788 swapFree=131070448/131071996
[pid=188655] ppid=188652 vsize=304252 memory=259756 CPUtime=12.65 cores=0,2
/proc/188655/stat : 188655 (roundingsat) R 188652 188655 188583 0 -1 4194304 39784 0 0 0 1159 106 0 0 20 0 1 0 19352731 311554048 64939 134679101440 4194304 8254037 140733887111184 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30838784 140733887120220 140733887120482 140733887120482 140733887127497 0
/proc/188655/statm: 76063 64939 1890 992 0 67921 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 304252 KiB
Current children cumulated memory: 259756 KiB
[startup+25.5003 s]
/proc/loadavg: 2.13 1.34 1.42 5/246 188706
/proc/meminfo: memFree=119061652/131655788 swapFree=131070448/131071996
[pid=188655] ppid=188652 vsize=456536 memory=408132 CPUtime=25.4 cores=0,2
/proc/188655/stat : 188655 (roundingsat) R 188652 188655 188583 0 -1 4194304 63577 0 0 0 2383 157 0 0 20 0 1 0 19352731 467492864 102033 134679101440 4194304 8254037 140733887111184 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30838784 140733887120220 140733887120482 140733887120482 140733887127497 0
/proc/188655/statm: 114134 102033 1906 992 0 105992 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 456536 KiB
Current children cumulated memory: 408132 KiB
[startup+51.1128 s]
/proc/loadavg: 2.85 1.57 1.49 5/248 188713
/proc/meminfo: memFree=117250528/131655788 swapFree=131070448/131071996
[pid=188655] ppid=188652 vsize=983832 memory=741820 CPUtime=50.95 cores=0,2
/proc/188655/stat : 188655 (roundingsat) R 188652 188655 188583 0 -1 4194304 86826 0 0 0 4879 216 0 0 20 0 1 0 19352731 1007443968 185455 134679101440 4194304 8254037 140733887111184 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30838784 140733887120220 140733887120482 140733887120482 140733887127497 0
/proc/188655/statm: 245958 185455 1906 992 0 237816 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 983832 KiB
Current children cumulated memory: 741820 KiB
[startup+102.3 s]
/proc/loadavg: 3.66 2.01 1.65 5/250 188725
/proc/meminfo: memFree=114660964/131655788 swapFree=131070448/131071996
[pid=188655] ppid=188652 vsize=1465268 memory=1129684 CPUtime=101.97 cores=0,2
/proc/188655/stat : 188655 (roundingsat) R 188652 188655 188583 0 -1 4194304 120588 0 0 0 9862 335 0 0 20 0 1 0 19352731 1500434432 282421 134679101440 4194304 8254037 140733887111184 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30838784 140733887120220 140733887120482 140733887120482 140733887127497 0
/proc/188655/statm: 366317 282421 1906 992 0 358175 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 1465268 KiB
Current children cumulated memory: 1129684 KiB
[startup+162.3 s]
/proc/loadavg: 4.04 2.42 1.82 5/250 188736
/proc/meminfo: memFree=110781812/131655788 swapFree=131070448/131071996
[pid=188655] ppid=188652 vsize=2270120 memory=1967672 CPUtime=161.78 cores=0,2
/proc/188655/stat : 188655 (roundingsat) R 188652 188655 188583 0 -1 4194304 177454 0 0 0 15752 426 0 0 20 0 1 0 19352731 2324602880 491918 134679101440 4194304 8254037 140733887111184 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30838784 140733887120220 140733887120482 140733887120482 140733887127497 0
/proc/188655/statm: 567530 491918 1906 992 0 559388 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 2270120 KiB
Current children cumulated memory: 1967672 KiB
[startup+222.3 s]
/proc/loadavg: 4.25 2.77 1.98 5/251 188751
/proc/meminfo: memFree=107511184/131655788 swapFree=131070448/131071996
[pid=188655] ppid=188652 vsize=3649696 memory=2740292 CPUtime=221.59 cores=0,2
/proc/188655/stat : 188655 (roundingsat) R 188652 188655 188583 0 -1 4194304 265311 0 0 0 21629 530 0 0 20 0 1 0 19352731 3737288704 685073 134679101440 4194304 8254037 140733887111184 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30838784 140733887120220 140733887120482 140733887120482 140733887127497 0
/proc/188655/statm: 912424 685073 1906 992 0 904282 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 3649696 KiB
Current children cumulated memory: 2740292 KiB
[startup+282.3 s]
/proc/loadavg: 4.18 3.03 2.12 6/250 188762
/proc/meminfo: memFree=105339408/131655788 swapFree=131070448/131071996
[pid=188655] ppid=188652 vsize=3651604 memory=2908524 CPUtime=281.37 cores=0,2
/proc/188655/stat : 188655 (roundingsat) R 188652 188655 188583 0 -1 4194304 269742 0 0 0 27558 579 0 0 20 0 1 0 19352731 3739242496 727131 134679101440 4194304 8254037 140733887111184 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30838784 140733887120220 140733887120482 140733887120482 140733887127497 0
/proc/188655/statm: 912901 727131 1906 992 0 904759 0
Current children cumulated CPU time: 281.37 s
Current children cumulated vsize: 3651604 KiB
Current children cumulated memory: 2908524 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 3.23 2.24 5/249 188773
/proc/meminfo: memFree=103654252/131655788 swapFree=131070448/131071996
[pid=188655] ppid=188652 vsize=3651604 memory=2908824 CPUtime=341.14 cores=0,2
/proc/188655/stat : 188655 (roundingsat) R 188652 188655 188583 0 -1 4194304 269835 0 0 0 33517 597 0 0 20 0 1 0 19352731 3739242496 727206 134679101440 4194304 8254037 140733887111184 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30838784 140733887120220 140733887120482 140733887120482 140733887127497 0
/proc/188655/statm: 912901 727206 1906 992 0 904759 0
Current children cumulated CPU time: 341.14 s
Current children cumulated vsize: 3651604 KiB
Current children cumulated memory: 2908824 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 3.40 2.37 5/249 188785
/proc/meminfo: memFree=102140360/131655788 swapFree=131070448/131071996
[pid=188655] ppid=188652 vsize=3671456 memory=2928288 CPUtime=400.92 cores=0,2
/proc/188655/stat : 188655 (roundingsat) R 188652 188655 188583 0 -1 4194304 274819 0 0 0 39470 622 0 0 20 0 1 0 19352731 3759570944 732072 134679101440 4194304 8254037 140733887111184 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30838784 140733887120220 140733887120482 140733887120482 140733887127497 0
/proc/188655/statm: 917864 732072 1906 992 0 909722 0
Current children cumulated CPU time: 400.92 s
Current children cumulated vsize: 3671456 KiB
Current children cumulated memory: 2928288 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 3.53 2.48 5/249 188795
/proc/meminfo: memFree=100498396/131655788 swapFree=131070448/131071996
[pid=188655] ppid=188652 vsize=3756472 memory=3014588 CPUtime=460.69 cores=0,2
/proc/188655/stat : 188655 (roundingsat) R 188652 188655 188583 0 -1 4194304 296632 0 0 0 45326 743 0 0 20 0 1 0 19352731 3846627328 753647 134679101440 4194304 8254037 140733887111184 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30838784 140733887120220 140733887120482 140733887120482 140733887127497 0
/proc/188655/statm: 939118 753647 1906 992 0 930976 0
################
# More data... #
################
/proc/meminfo: memFree=11414720/131655788 swapFree=131070448/131071996
[pid=188655] ppid=188652 vsize=7778084 memory=7172228 CPUtime=2911.52 cores=0,2
/proc/188655/stat : 188655 (roundingsat) R 188652 188655 188583 0 -1 4194304 1251623 0 0 0 285273 5879 0 0 20 0 1 0 19352731 7964758016 1793057 134679101440 4194304 8254037 140733887111184 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30838784 140733887120220 140733887120482 140733887120482 140733887127497 0
/proc/188655/statm: 1944521 1793057 1986 992 0 1936379 0
Current children cumulated CPU time: 2911.52 s
Current children cumulated vsize: 7778084 KiB
Current children cumulated memory: 7172228 KiB
[startup+2982.3 s]
/proc/loadavg: 4.67 4.42 4.22 5/248 190274
/proc/meminfo: memFree=9733848/131655788 swapFree=131070448/131071996
[pid=188655] ppid=188652 vsize=7954024 memory=7345136 CPUtime=2971.33 cores=0,2
/proc/188655/stat : 188655 (roundingsat) R 188652 188655 188583 0 -1 4194304 1295491 0 0 0 290887 6246 0 0 20 0 1 0 19352731 8144920576 1836284 134679101440 4194304 8254037 140733887111184 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30838784 140733887120220 140733887120482 140733887120482 140733887127497 0
/proc/188655/statm: 1988506 1836284 1986 992 0 1980364 0
Current children cumulated CPU time: 2971.33 s
Current children cumulated vsize: 7954024 KiB
Current children cumulated memory: 7345136 KiB
[startup+3042.3 s]
/proc/loadavg: 4.29 4.36 4.21 5/248 190286
/proc/meminfo: memFree=7763496/131655788 swapFree=131070448/131071996
[pid=188655] ppid=188652 vsize=7980604 memory=7370560 CPUtime=3031.15 cores=0,2
/proc/188655/stat : 188655 (roundingsat) R 188652 188655 188583 0 -1 4194304 1302336 0 0 0 296706 6409 0 0 20 0 1 0 19352731 8172138496 1842640 134679101440 4194304 8254037 140733887111184 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30838784 140733887120220 140733887120482 140733887120482 140733887127497 0
/proc/188655/statm: 1995151 1842640 1986 992 0 1987009 0
Current children cumulated CPU time: 3031.15 s
Current children cumulated vsize: 7980604 KiB
Current children cumulated memory: 7370560 KiB
[startup+3102.3 s]
/proc/loadavg: 4.45 4.39 4.23 5/250 190466
/proc/meminfo: memFree=5715648/131655788 swapFree=131070448/131071996
[pid=188655] ppid=188652 vsize=7980604 memory=7370560 CPUtime=3090.95 cores=0,2
/proc/188655/stat : 188655 (roundingsat) R 188652 188655 188583 0 -1 4194304 1302897 0 0 0 302667 6428 0 0 20 0 1 0 19352731 8172138496 1842640 134679101440 4194304 8254037 140733887111184 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30838784 140733887120220 140733887120482 140733887120482 140733887127497 0
/proc/188655/statm: 1995151 1842640 1986 992 0 1987009 0
Current children cumulated CPU time: 3090.95 s
Current children cumulated vsize: 7980604 KiB
Current children cumulated memory: 7370560 KiB
[startup+3162.3 s]
/proc/loadavg: 4.23 4.33 4.21 5/250 190476
/proc/meminfo: memFree=3699228/131655788 swapFree=131070448/131071996
[pid=188655] ppid=188652 vsize=7999900 memory=7389840 CPUtime=3150.77 cores=0,2
/proc/188655/stat : 188655 (roundingsat) R 188652 188655 188583 0 -1 4194304 1308335 0 0 0 308628 6449 0 0 20 0 1 0 19352731 8191897600 1847460 134679101440 4194304 8254037 140733887111184 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30838784 140733887120220 140733887120482 140733887120482 140733887127497 0
/proc/188655/statm: 1999975 1847460 1986 992 0 1991833 0
Current children cumulated CPU time: 3150.77 s
Current children cumulated vsize: 7999900 KiB
Current children cumulated memory: 7389840 KiB
[startup+3222.3 s]
/proc/loadavg: 4.20 4.30 4.21 6/254 190492
/proc/meminfo: memFree=1383920/131655788 swapFree=131070448/131071996
[pid=188655] ppid=188652 vsize=8027840 memory=7418044 CPUtime=3210.58 cores=0,2
/proc/188655/stat : 188655 (roundingsat) R 188652 188655 188583 0 -1 4194304 1316455 0 0 0 314563 6495 0 0 20 0 1 0 19352731 8220508160 1854511 134679101440 4194304 8254037 140733887111184 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30838784 140733887120220 140733887120482 140733887120482 140733887127497 0
/proc/188655/statm: 2006960 1854511 1986 992 0 1998818 0
Current children cumulated CPU time: 3210.58 s
Current children cumulated vsize: 8027840 KiB
Current children cumulated memory: 7418044 KiB
[startup+3282.3 s]
/proc/loadavg: 4.24 4.29 4.21 5/254 190516
/proc/meminfo: memFree=507108/131655788 swapFree=131060916/131071996
[pid=188655] ppid=188652 vsize=9609700 memory=7820404 CPUtime=3270.39 cores=0,2
/proc/188655/stat : 188655 (roundingsat) R 188652 188655 188583 0 -1 4194304 1418256 0 0 0 320479 6560 0 0 20 0 1 0 19352731 9840332800 1955101 134679101440 4194304 8254037 140733887111184 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30838784 140733887120220 140733887120482 140733887120482 140733887127497 0
/proc/188655/statm: 2402425 1955101 1986 992 0 2394283 0
Current children cumulated CPU time: 3270.39 s
Current children cumulated vsize: 9609700 KiB
Current children cumulated memory: 7820404 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.25 4.20 5/257 190530
/proc/meminfo: memFree=543708/131655788 swapFree=131057308/131071996
[pid=188655] ppid=188652 vsize=9659800 memory=8137108 CPUtime=3330.2 cores=0,2
/proc/188655/stat : 188655 (roundingsat) R 188652 188655 188583 0 -1 4194304 1569195 0 0 0 326415 6605 0 0 20 0 1 0 19352731 9891635200 2034277 134679101440 4194304 8254037 140733887111184 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30838784 140733887120220 140733887120482 140733887120482 140733887127497 0
/proc/188655/statm: 2414950 2034277 1986 992 0 2406808 0
Current children cumulated CPU time: 3330.2 s
Current children cumulated vsize: 9659800 KiB
Current children cumulated memory: 8137108 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.23 4.19 5/256 190540
/proc/meminfo: memFree=530856/131655788 swapFree=131057308/131071996
[pid=188655] ppid=188652 vsize=9663988 memory=8141680 CPUtime=3390.01 cores=0,2
/proc/188655/stat : 188655 (roundingsat) R 188652 188655 188583 0 -1 4194304 1575933 0 0 0 332332 6669 0 0 20 0 1 0 19352731 9895923712 2035420 134679101440 4194304 8254037 140733887111184 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30838784 140733887120220 140733887120482 140733887120482 140733887127497 0
/proc/188655/statm: 2415997 2035420 1986 992 0 2407855 0
Current children cumulated CPU time: 3390.01 s
Current children cumulated vsize: 9663988 KiB
Current children cumulated memory: 8141680 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.20 4.18 5/256 190551
/proc/meminfo: memFree=594988/131655788 swapFree=131057052/131071996
[pid=188655] ppid=188652 vsize=9679148 memory=8156896 CPUtime=3449.82 cores=0,2
/proc/188655/stat : 188655 (roundingsat) R 188652 188655 188583 0 -1 4194304 1584610 0 0 0 338269 6713 0 0 20 0 1 0 19352731 9911447552 2039224 134679101440 4194304 8254037 140733887111184 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30838784 140733887120220 140733887120482 140733887120482 140733887127497 0
/proc/188655/statm: 2419787 2039224 1986 992 0 2411645 0
Current children cumulated CPU time: 3449.82 s
Current children cumulated vsize: 9679148 KiB
Current children cumulated memory: 8156896 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.21 4.18 5/256 190563
/proc/meminfo: memFree=577624/131655788 swapFree=131057052/131071996
[pid=188655] ppid=188652 vsize=9695272 memory=8173384 CPUtime=3509.62 cores=0,2
/proc/188655/stat : 188655 (roundingsat) R 188652 188655 188583 0 -1 4194304 1598817 0 0 0 344113 6849 0 0 20 0 1 0 19352731 9927958528 2043346 134679101440 4194304 8254037 140733887111184 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30838784 140733887120220 140733887120482 140733887120482 140733887127497 0
/proc/188655/statm: 2423818 2043346 1986 992 0 2415676 0
Current children cumulated CPU time: 3509.62 s
Current children cumulated vsize: 9695272 KiB
Current children cumulated memory: 8173384 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.19 4.18 5/256 190574
/proc/meminfo: memFree=626520/131655788 swapFree=131057052/131071996
[pid=188655] ppid=188652 vsize=9699636 memory=8177648 CPUtime=3569.42 cores=0,2
/proc/188655/stat : 188655 (roundingsat) R 188652 188655 188583 0 -1 4194304 1604191 0 0 0 349864 7078 0 0 20 0 1 0 19352731 9932427264 2044412 134679101440 4194304 8254037 140733887111184 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30838784 140733887120220 140733887120482 140733887120482 140733887127497 0
/proc/188655/statm: 2424909 2044412 1986 992 0 2416767 0
Current children cumulated CPU time: 3569.42 s
Current children cumulated vsize: 9699636 KiB
Current children cumulated memory: 8177648 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3613 s]
/proc/loadavg: 4.46 4.25 4.20 4/249 190607
/proc/meminfo: memFree=21165608/131655788 swapFree=131057052/131071996
[pid=188655] ppid=188652 vsize=9699636 memory=8177748 CPUtime=3600.03 cores=0,2
/proc/188655/stat : 188655 (roundingsat) R 188652 188655 188583 0 -1 4194304 1605367 0 0 0 352888 7115 0 0 20 0 1 0 19352731 9932427264 2044437 134679101440 4194304 8254037 140733887111184 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30838784 140733887120220 140733887120482 140733887120482 140733887127497 0
/proc/188655/statm: 2424909 2044437 1986 992 0 2416767 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 9699636 KiB
Current children cumulated memory: 8177748 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3613.47 s]
# the end of solver process 188655 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3528.97 s, system=71.414 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3613.3 s]*
/proc/loadavg: 4.58 4.28 4.21 3/246 190673
/proc/meminfo: memFree=41735124/131655788 swapFree=131057052/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+3613.41 s]
/proc/loadavg: 4.58 4.28 4.21 3/246 190673
/proc/meminfo: memFree=41735124/131655788 swapFree=131057052/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): 3613.47
CPU time (s): 3600.38
CPU user time (s): 3528.97
CPU system time (s): 71.414
CPU usage (%): 99.6378
Max. virtual memory (cumulated for all children) (KiB): 9699636
Max. memory (cumulated for all children) (KiB): 8177748
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3528.97
system time used= 71.414
maximum resident set size= 8177748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1606656
page faults= 1
swaps= 0
block input operations= 3840
block output operations= 53631752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 719
involuntary context switches= 25274
# summary of solver processes directly reported to runsolver:
# pid: 188655
# total CPU time (s): 3600.38
# total CPU user time (s): 3528.97
# total CPU system time (s): 71.414
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.0032 second user time and 38.0973 second system time
The end
Begin job on nodeC012 at 2024-07-24 17:07:10
IDJOB=4457223
IDBENCH=158606
IDSOLVER=3085
FILE ID=nodeC012/4457223-1721833630
RUNJOBID= nodeC012-1721833630-188593
SLURM_JOB_ID= 7891540
Free space on /tmp= 723744 MiB
SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw128/normalized-hw128-vm98p-opt.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-4457223-1721833630/watcher-4457223-1721833630 -o /tmp/evaluation-result-4457223-1721833630/solver-4457223-1721833630 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721833630-188593 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457223-1721833630 --lp-cut-gomory=0 HOME/instance-4457223-1721833630.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a7d39c8a0eed618aa14a4423c4fae159
RANDOM SEED=333024794
nodeC012.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 : 1197.185
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.47
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 : 1197.420
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.32
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.167
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.47
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.166
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.32
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 : 1197.198
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.47
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 : 1197.166
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.32
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.167
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.47
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.381
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.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 121100084 kB
MemAvailable: 129875900 kB
Buffers: 277088 kB
Cached: 9279800 kB
SwapCached: 72 kB
Active: 2559428 kB
Inactive: 7347180 kB
Active(anon): 1388 kB
Inactive(anon): 401404 kB
Active(file): 2558040 kB
Inactive(file): 6945776 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131070448 kB
Dirty: 40348 kB
Writeback: 0 kB
AnonPages: 346532 kB
Mapped: 120848 kB
Shmem: 53368 kB
KReclaimable: 224064 kB
Slab: 336716 kB
SReclaimable: 224064 kB
SUnreclaim: 112652 kB
KernelStack: 3844 kB
PageTables: 10260 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 808428 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 15136 kB
HardwareCorrupted: 0 kB
AnonHugePages: 204800 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: 402248 kB
DirectMap2M: 55076864 kB
DirectMap1G: 80740352 kB
Free space on /tmp at the end= 723740 MiB
End job on nodeC012 at 2024-07-24 18:07:24