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 (60818 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-4457222-1721833630/watcher-4457222-1721833630 -o /tmp/evaluation-result-4457222-1721833630/solver-4457222-1721833630 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721833630-188594 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457222-1721833630 --lp-cut-gomory=0 HOME/instance-4457222-1721833630.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=188649, runsolver pid=188643
[startup+0.100711 s]*
/proc/loadavg: 1.07 1.09 1.34 5/246 188656
/proc/meminfo: memFree=121077136/131655788 swapFree=131070448/131071996
[pid=188649] ppid=188643 vsize=50640 memory=19452 CPUtime=0.1 cores=4,6
/proc/188649/stat : 188649 (roundingsat) R 188643 188649 188583 0 -1 4194304 4292 0 0 0 8 2 0 0 20 0 1 0 19352727 51855360 4863 134679101440 4194304 8254037 140731751727312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38187008 140731751736156 140731751736418 140731751736418 140731751743433 0
/proc/188649/statm: 12660 4863 1351 992 0 4518 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 50640 KiB
Current children cumulated memory: 19452 KiB
[startup+0.214038 s]*
/proc/loadavg: 1.07 1.09 1.34 5/246 188656
/proc/meminfo: memFree=121023356/131655788 swapFree=131070448/131071996
[pid=188649] ppid=188643 vsize=63564 memory=31836 CPUtime=0.21 cores=4,6
/proc/188649/stat : 188649 (roundingsat) R 188643 188649 188583 0 -1 4194304 6656 0 0 0 19 2 0 0 20 0 1 0 19352727 65089536 7959 134679101440 4194304 8254037 140731751727312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38187008 140731751736156 140731751736418 140731751736418 140731751743433 0
/proc/188649/statm: 15891 7959 1351 992 0 7749 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 63564 KiB
Current children cumulated memory: 31836 KiB
[startup+0.314452 s]*
/proc/loadavg: 1.07 1.09 1.34 5/246 188656
/proc/meminfo: memFree=121001908/131655788 swapFree=131070448/131071996
[pid=188649] ppid=188643 vsize=73984 memory=44292 CPUtime=0.31 cores=4,6
/proc/188649/stat : 188649 (roundingsat) R 188643 188649 188583 0 -1 4194304 8765 0 0 0 28 3 0 0 20 0 1 0 19352727 75759616 11073 134679101440 4194304 8254037 140731751727312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38187008 140731751736156 140731751736418 140731751736418 140731751743433 0
/proc/188649/statm: 18496 11073 1351 992 0 10354 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 73984 KiB
Current children cumulated memory: 44292 KiB
[startup+0.700273 s]
/proc/loadavg: 1.07 1.09 1.34 5/246 188656
/proc/meminfo: memFree=120966264/131655788 swapFree=131070448/131071996
[pid=188649] ppid=188643 vsize=89420 memory=54592 CPUtime=0.68 cores=4,6
/proc/188649/stat : 188649 (roundingsat) R 188643 188649 188583 0 -1 4194304 9809 0 0 0 62 6 0 0 20 0 1 0 19352727 91566080 13648 134679101440 4194304 8254037 140731751727312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38187008 140731751736156 140731751736418 140731751736418 140731751743433 0
/proc/188649/statm: 22355 13648 1351 992 0 14213 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 89420 KiB
Current children cumulated memory: 54592 KiB
[startup+1.50035 s]
/proc/loadavg: 1.07 1.09 1.34 5/246 188656
/proc/meminfo: memFree=120928388/131655788 swapFree=131070448/131071996
[pid=188649] ppid=188643 vsize=211408 memory=176872 CPUtime=1.47 cores=4,6
/proc/188649/stat : 188649 (roundingsat) R 188643 188649 188583 0 -1 4194304 30008 0 0 0 133 14 0 0 20 0 1 0 19352727 216481792 44218 134679101440 4194304 8254037 140731751727312 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38187008 140731751736156 140731751736418 140731751736418 140731751743433 0
/proc/188649/statm: 52852 44218 1761 992 0 44710 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 211408 KiB
Current children cumulated memory: 176872 KiB
[startup+3.11296 s]
/proc/loadavg: 1.38 1.15 1.36 5/246 188703
/proc/meminfo: memFree=120618444/131655788 swapFree=131070448/131071996
[pid=188649] ppid=188643 vsize=228220 memory=191236 CPUtime=3.08 cores=4,6
/proc/188649/stat : 188649 (roundingsat) R 188643 188649 188583 0 -1 4194304 33614 0 0 0 264 44 0 0 20 0 1 0 19352727 233697280 47809 134679101440 4194304 8254037 140731751727312 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38187008 140731751736156 140731751736418 140731751736418 140731751743433 0
/proc/188649/statm: 57055 47809 1793 992 0 48913 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 228220 KiB
Current children cumulated memory: 191236 KiB
[startup+6.3003 s]
/proc/loadavg: 1.38 1.15 1.36 5/246 188703
/proc/meminfo: memFree=120379292/131655788 swapFree=131070448/131071996
[pid=188649] ppid=188643 vsize=266044 memory=228848 CPUtime=6.26 cores=4,6
/proc/188649/stat : 188649 (roundingsat) R 188643 188649 188583 0 -1 4194304 35860 0 0 0 542 84 0 0 20 0 1 0 19352727 272429056 57212 134679101440 4194304 8254037 140731751727312 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38187008 140731751736156 140731751736418 140731751736418 140731751743433 0
/proc/188649/statm: 66511 57212 1793 992 0 58369 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 266044 KiB
Current children cumulated memory: 228848 KiB
[startup+12.7003 s]
/proc/loadavg: 1.79 1.25 1.39 5/246 188705
/proc/meminfo: memFree=119970840/131655788 swapFree=131070448/131071996
[pid=188649] ppid=188643 vsize=303100 memory=269664 CPUtime=12.65 cores=4,6
/proc/188649/stat : 188649 (roundingsat) R 188643 188649 188583 0 -1 4194304 38433 0 0 0 1160 105 0 0 20 0 1 0 19352727 310374400 67416 134679101440 4194304 8254037 140731751727312 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38187008 140731751736156 140731751736418 140731751736418 140731751743433 0
/proc/188649/statm: 75775 67416 1793 992 0 67633 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 303100 KiB
Current children cumulated memory: 269664 KiB
[startup+25.5003 s]
/proc/loadavg: 2.13 1.34 1.42 5/246 188706
/proc/meminfo: memFree=119067004/131655788 swapFree=131070448/131071996
[pid=188649] ppid=188643 vsize=410320 memory=328032 CPUtime=25.43 cores=4,6
/proc/188649/stat : 188649 (roundingsat) R 188643 188649 188583 0 -1 4194304 50607 0 0 0 2412 131 0 0 20 0 1 0 19352727 420167680 82008 134679101440 4194304 8254037 140731751727312 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38187008 140731751736156 140731751736418 140731751736418 140731751743433 0
/proc/188649/statm: 102580 82008 1887 992 0 94438 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 410320 KiB
Current children cumulated memory: 328032 KiB
[startup+51.1129 s]
/proc/loadavg: 2.85 1.57 1.49 5/248 188713
/proc/meminfo: memFree=117251536/131655788 swapFree=131070448/131071996
[pid=188649] ppid=188643 vsize=586400 memory=498004 CPUtime=50.97 cores=4,6
/proc/188649/stat : 188649 (roundingsat) R 188643 188649 188583 0 -1 4194304 70881 0 0 0 4835 262 0 0 20 0 1 0 19352727 600473600 124501 134679101440 4194304 8254037 140731751727312 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38187008 140731751736156 140731751736418 140731751736418 140731751743433 0
/proc/188649/statm: 146600 124501 1887 992 0 138458 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 586400 KiB
Current children cumulated memory: 498004 KiB
[startup+102.3 s]
/proc/loadavg: 3.66 2.01 1.65 5/250 188725
/proc/meminfo: memFree=114661300/131655788 swapFree=131070448/131071996
[pid=188649] ppid=188643 vsize=726288 memory=673600 CPUtime=102.03 cores=4,6
/proc/188649/stat : 188649 (roundingsat) R 188643 188649 188583 0 -1 4194304 106165 0 0 0 9657 546 0 0 20 0 1 0 19352727 743718912 168400 134679101440 4194304 8254037 140731751727312 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38187008 140731751736156 140731751736418 140731751736418 140731751743433 0
/proc/188649/statm: 181572 168400 1887 992 0 173430 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 726288 KiB
Current children cumulated memory: 673600 KiB
[startup+162.3 s]
/proc/loadavg: 4.04 2.42 1.82 5/250 188736
/proc/meminfo: memFree=110783156/131655788 swapFree=131070448/131071996
[pid=188649] ppid=188643 vsize=1644308 memory=1340776 CPUtime=161.89 cores=4,6
/proc/188649/stat : 188649 (roundingsat) R 188643 188649 188583 0 -1 4194304 161140 0 0 0 15418 771 0 0 20 0 1 0 19352727 1683771392 335194 134679101440 4194304 8254037 140731751727312 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38187008 140731751736156 140731751736418 140731751736418 140731751743433 0
/proc/188649/statm: 411077 335194 1887 992 0 402935 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 1644308 KiB
Current children cumulated memory: 1340776 KiB
[startup+222.3 s]
/proc/loadavg: 4.25 2.77 1.98 5/251 188751
/proc/meminfo: memFree=107512192/131655788 swapFree=131070448/131071996
[pid=188649] ppid=188643 vsize=2456992 memory=2019248 CPUtime=221.75 cores=4,6
/proc/188649/stat : 188649 (roundingsat) R 188643 188649 188583 0 -1 4194304 220162 0 0 0 21275 900 0 0 20 0 1 0 19352727 2515959808 504812 134679101440 4194304 8254037 140731751727312 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38187008 140731751736156 140731751736418 140731751736418 140731751743433 0
/proc/188649/statm: 614248 504812 1887 992 0 606106 0
Current children cumulated CPU time: 221.75 s
Current children cumulated vsize: 2456992 KiB
Current children cumulated memory: 2019248 KiB
[startup+282.3 s]
/proc/loadavg: 4.18 3.03 2.12 7/250 188762
/proc/meminfo: memFree=105337728/131655788 swapFree=131070448/131071996
[pid=188649] ppid=188643 vsize=2548264 memory=2146776 CPUtime=281.6 cores=4,6
/proc/188649/stat : 188649 (roundingsat) R 188643 188649 188583 0 -1 4194304 241858 0 0 0 27207 953 0 0 20 0 1 0 19352727 2609422336 536694 134679101440 4194304 8254037 140731751727312 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38187008 140731751736156 140731751736418 140731751736418 140731751743433 0
/proc/188649/statm: 637066 536694 1887 992 0 628924 0
Current children cumulated CPU time: 281.6 s
Current children cumulated vsize: 2548264 KiB
Current children cumulated memory: 2146776 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 3.23 2.24 5/249 188773
/proc/meminfo: memFree=103655268/131655788 swapFree=131070448/131071996
[pid=188649] ppid=188643 vsize=2600176 memory=2197836 CPUtime=341.46 cores=4,6
/proc/188649/stat : 188649 (roundingsat) R 188643 188649 188583 0 -1 4194304 254675 0 0 0 33145 1001 0 0 20 0 1 0 19352727 2662580224 549459 134679101440 4194304 8254037 140731751727312 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38187008 140731751736156 140731751736418 140731751736418 140731751743433 0
/proc/188649/statm: 650044 549459 1887 992 0 641902 0
Current children cumulated CPU time: 341.46 s
Current children cumulated vsize: 2600176 KiB
Current children cumulated memory: 2197836 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 3.40 2.37 5/249 188785
/proc/meminfo: memFree=102142040/131655788 swapFree=131070448/131071996
[pid=188649] ppid=188643 vsize=2677964 memory=2275360 CPUtime=401.3 cores=4,6
/proc/188649/stat : 188649 (roundingsat) R 188643 188649 188583 0 -1 4194304 274094 0 0 0 38859 1271 0 0 20 0 1 0 19352727 2742235136 568840 134679101440 4194304 8254037 140731751727312 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38187008 140731751736156 140731751736418 140731751736418 140731751743433 0
/proc/188649/statm: 669491 568840 1887 992 0 661349 0
Current children cumulated CPU time: 401.3 s
Current children cumulated vsize: 2677964 KiB
Current children cumulated memory: 2275360 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 3.53 2.48 5/249 188795
/proc/meminfo: memFree=100499068/131655788 swapFree=131070448/131071996
[pid=188649] ppid=188643 vsize=2805148 memory=2402324 CPUtime=461.16 cores=4,6
/proc/188649/stat : 188649 (roundingsat) R 188643 188649 188583 0 -1 4194304 306446 0 0 0 44795 1321 0 0 20 0 1 0 19352727 2872471552 600581 134679101440 4194304 8254037 140731751727312 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38187008 140731751736156 140731751736418 140731751736418 140731751743433 0
/proc/188649/statm: 701287 600581 1887 992 0 693145 0
################
# More data... #
################
/proc/188649/statm: 2193799 1967178 1887 992 0 2185657 0
Current children cumulated CPU time: 2915.17 s
Current children cumulated vsize: 8775196 KiB
Current children cumulated memory: 7868712 KiB
[startup+2982.3 s]
/proc/loadavg: 4.73 4.43 4.22 5/248 190274
/proc/meminfo: memFree=9737196/131655788 swapFree=131070448/131071996
[pid=188649] ppid=188643 vsize=8775196 memory=7868736 CPUtime=2975.03 cores=4,6
/proc/188649/stat : 188649 (roundingsat) R 188643 188649 188583 0 -1 4194304 1152047 0 0 0 291504 5999 0 0 20 0 1 0 19352727 8985800704 1967184 134679101440 4194304 8254037 140731751727312 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38187008 140731751736156 140731751736418 140731751736418 140731751743433 0
/proc/188649/statm: 2193799 1967184 1887 992 0 2185657 0
Current children cumulated CPU time: 2975.03 s
Current children cumulated vsize: 8775196 KiB
Current children cumulated memory: 7868736 KiB
[startup+3042.3 s]
/proc/loadavg: 4.32 4.37 4.21 5/248 190286
/proc/meminfo: memFree=7767180/131655788 swapFree=131070448/131071996
[pid=188649] ppid=188643 vsize=8775196 memory=7868888 CPUtime=3034.88 cores=4,6
/proc/188649/stat : 188649 (roundingsat) R 188643 188649 188583 0 -1 4194304 1153680 0 0 0 297109 6379 0 0 20 0 1 0 19352727 8985800704 1967222 134679101440 4194304 8254037 140731751727312 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38187008 140731751736156 140731751736418 140731751736418 140731751743433 0
/proc/188649/statm: 2193799 1967222 1887 992 0 2185657 0
Current children cumulated CPU time: 3034.88 s
Current children cumulated vsize: 8775196 KiB
Current children cumulated memory: 7868888 KiB
[startup+3102.3 s]
/proc/loadavg: 4.40 4.38 4.22 5/250 190466
/proc/meminfo: memFree=5722364/131655788 swapFree=131070448/131071996
[pid=188649] ppid=188643 vsize=8920508 memory=8001028 CPUtime=3094.74 cores=4,6
/proc/188649/stat : 188649 (roundingsat) R 188643 188649 188583 0 -1 4194304 1188426 0 0 0 302936 6538 0 0 20 0 1 0 19352727 9134600192 2000257 134679101440 4194304 8254037 140731751727312 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38187008 140731751736156 140731751736418 140731751736418 140731751743433 0
/proc/188649/statm: 2230127 2000257 1887 992 0 2221985 0
Current children cumulated CPU time: 3094.74 s
Current children cumulated vsize: 8920508 KiB
Current children cumulated memory: 8001028 KiB
[startup+3162.3 s]
/proc/loadavg: 4.25 4.34 4.22 5/250 190476
/proc/meminfo: memFree=3703504/131655788 swapFree=131070448/131071996
[pid=188649] ppid=188643 vsize=8975068 memory=8054524 CPUtime=3154.6 cores=4,6
/proc/188649/stat : 188649 (roundingsat) R 188643 188649 188583 0 -1 4194304 1203134 0 0 0 308808 6652 0 0 20 0 1 0 19352727 9190469632 2013631 134679101440 4194304 8254037 140731751727312 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38187008 140731751736156 140731751736418 140731751736418 140731751743433 0
/proc/188649/statm: 2243767 2013631 1887 992 0 2235625 0
Current children cumulated CPU time: 3154.6 s
Current children cumulated vsize: 8975068 KiB
Current children cumulated memory: 8054524 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.29 4.20 5/254 190492
/proc/meminfo: memFree=1390560/131655788 swapFree=131070448/131071996
[pid=188649] ppid=188643 vsize=8975068 memory=8054524 CPUtime=3214.46 cores=4,6
/proc/188649/stat : 188649 (roundingsat) R 188643 188649 188583 0 -1 4194304 1204644 0 0 0 314749 6697 0 0 20 0 1 0 19352727 9190469632 2013631 134679101440 4194304 8254037 140731751727312 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38187008 140731751736156 140731751736418 140731751736418 140731751743433 0
/proc/188649/statm: 2243767 2013631 1887 992 0 2235625 0
Current children cumulated CPU time: 3214.46 s
Current children cumulated vsize: 8975068 KiB
Current children cumulated memory: 8054524 KiB
[startup+3282.3 s]
/proc/loadavg: 4.26 4.29 4.21 5/254 190516
/proc/meminfo: memFree=514836/131655788 swapFree=131060916/131071996
[pid=188649] ppid=188643 vsize=8975068 memory=8054524 CPUtime=3274.32 cores=4,6
/proc/188649/stat : 188649 (roundingsat) R 188643 188649 188583 0 -1 4194304 1206302 0 0 0 320654 6778 0 0 20 0 1 0 19352727 9190469632 2013631 134679101440 4194304 8254037 140731751727312 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38187008 140731751736156 140731751736418 140731751736418 140731751743433 0
/proc/188649/statm: 2243767 2013631 1887 992 0 2235625 0
Current children cumulated CPU time: 3274.32 s
Current children cumulated vsize: 8975068 KiB
Current children cumulated memory: 8054524 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.25 4.20 5/257 190530
/proc/meminfo: memFree=547716/131655788 swapFree=131057308/131071996
[pid=188649] ppid=188643 vsize=8975068 memory=8054532 CPUtime=3334.18 cores=4,6
/proc/188649/stat : 188649 (roundingsat) R 188643 188649 188583 0 -1 4194304 1208046 0 0 0 326591 6827 0 0 20 0 1 0 19352727 9190469632 2013633 134679101440 4194304 8254037 140731751727312 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38187008 140731751736156 140731751736418 140731751736418 140731751743433 0
/proc/188649/statm: 2243767 2013633 1887 992 0 2235625 0
Current children cumulated CPU time: 3334.18 s
Current children cumulated vsize: 8975068 KiB
Current children cumulated memory: 8054532 KiB
[startup+3402.3 s]
/proc/loadavg: 4.18 4.24 4.19 5/256 190540
/proc/meminfo: memFree=538572/131655788 swapFree=131057308/131071996
[pid=188649] ppid=188643 vsize=8975068 memory=8054560 CPUtime=3394.05 cores=4,6
/proc/188649/stat : 188649 (roundingsat) R 188643 188649 188583 0 -1 4194304 1209718 0 0 0 332549 6856 0 0 20 0 1 0 19352727 9190469632 2013640 134679101440 4194304 8254037 140731751727312 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38187008 140731751736156 140731751736418 140731751736418 140731751743433 0
/proc/188649/statm: 2243767 2013640 1887 992 0 2235625 0
Current children cumulated CPU time: 3394.05 s
Current children cumulated vsize: 8975068 KiB
Current children cumulated memory: 8054560 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.21 4.18 5/256 190551
/proc/meminfo: memFree=602044/131655788 swapFree=131057052/131071996
[pid=188649] ppid=188643 vsize=8975068 memory=8054592 CPUtime=3453.91 cores=4,6
/proc/188649/stat : 188649 (roundingsat) R 188643 188649 188583 0 -1 4194304 1211924 0 0 0 338517 6874 0 0 20 0 1 0 19352727 9190469632 2013648 134679101440 4194304 8254037 140731751727312 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38187008 140731751736156 140731751736418 140731751736418 140731751743433 0
/proc/188649/statm: 2243767 2013648 1887 992 0 2235625 0
Current children cumulated CPU time: 3453.91 s
Current children cumulated vsize: 8975068 KiB
Current children cumulated memory: 8054592 KiB
[startup+3522.3 s]
/proc/loadavg: 4.18 4.21 4.18 5/256 190563
/proc/meminfo: memFree=581992/131655788 swapFree=131057052/131071996
[pid=188649] ppid=188643 vsize=8976080 memory=8055656 CPUtime=3513.77 cores=4,6
/proc/188649/stat : 188649 (roundingsat) R 188643 188649 188583 0 -1 4194304 1214081 0 0 0 344484 6893 0 0 20 0 1 0 19352727 9191505920 2013914 134679101440 4194304 8254037 140731751727312 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38187008 140731751736156 140731751736418 140731751736418 140731751743433 0
/proc/188649/statm: 2244020 2013914 1887 992 0 2235878 0
Current children cumulated CPU time: 3513.77 s
Current children cumulated vsize: 8976080 KiB
Current children cumulated memory: 8055656 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.19 4.18 5/256 190574
/proc/meminfo: memFree=631556/131655788 swapFree=131057052/131071996
[pid=188649] ppid=188643 vsize=8995936 memory=8075636 CPUtime=3573.63 cores=4,6
/proc/188649/stat : 188649 (roundingsat) R 188643 188649 188583 0 -1 4194304 1221255 0 0 0 350417 6946 0 0 20 0 1 0 19352727 9211838464 2018909 134679101440 4194304 8254037 140731751727312 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38187008 140731751736156 140731751736418 140731751736418 140731751743433 0
/proc/188649/statm: 2248984 2018909 1887 992 0 2240842 0
Current children cumulated CPU time: 3573.63 s
Current children cumulated vsize: 8995936 KiB
Current children cumulated memory: 8075636 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.8 s]
/proc/loadavg: 4.46 4.25 4.20 5/256 190581
/proc/meminfo: memFree=539720/131655788 swapFree=131057052/131071996
[pid=188649] ppid=188643 vsize=8995936 memory=8075636 CPUtime=3600.07 cores=4,6
/proc/188649/stat : 188649 (roundingsat) R 188643 188649 188583 0 -1 4194304 1221782 0 0 0 353034 6973 0 0 20 0 1 0 19352727 9211838464 2018909 134679101440 4194304 8254037 140731751727312 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38187008 140731751736156 140731751736418 140731751736418 140731751743433 0
/proc/188649/statm: 2248984 2018909 1887 992 0 2240842 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 8995936 KiB
Current children cumulated memory: 8075636 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.15 s]
# the end of solver process 188649 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3530.43 s, system=69.9 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609 s]*
/proc/loadavg: 4.46 4.25 4.20 5/256 190581
/proc/meminfo: memFree=781732/131655788 swapFree=131057052/131071996
[pid=188649] ppid=188643 vsize=8781732 memory=7410296 CPUtime=3600.18 cores=4,6
/proc/188649/stat : 188649 (roundingsat) R 188643 188649 188583 0 -1 4194304 1221977 0 1 0 353042 6976 0 0 20 0 1 0 19352727 8992493568 1852574 134679101440 4194304 8254037 140731751727312 0 0 0 0 0 25182210 0 0 0 17 4 0 0 11 0 0 9037040 9046032 38187008 140731751736156 140731751736418 140731751736418 140731751743433 0
/proc/188649/statm: 2195433 1852574 2001 992 0 2187291 0
Current children cumulated CPU time: 3600.18 s
Current children cumulated vsize: 8781732 KiB
Current children cumulated memory: 7410296 KiB
[startup+3609.11 s]*
/proc/loadavg: 4.46 4.25 4.20 5/256 190581
/proc/meminfo: memFree=6128680/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): 3609.15
CPU time (s): 3600.33
CPU user time (s): 3530.43
CPU system time (s): 69.9
CPU usage (%): 99.7557
Max. virtual memory (cumulated for all children) (KiB): 8995936
Max. memory (cumulated for all children) (KiB): 8075636
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3530.43
system time used= 69.9
maximum resident set size= 8075636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1221995
page faults= 1
swaps= 0
block input operations= 4232
block output operations= 51929856
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2768
involuntary context switches= 4753
# summary of solver processes directly reported to runsolver:
# pid: 188649
# total CPU time (s): 3600.33
# total CPU user time (s): 3530.43
# total CPU system time (s): 69.9
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.9361 second user time and 37.3062 second system time
The end
Begin job on nodeC012 at 2024-07-24 17:07:10
IDJOB=4457222
IDBENCH=158605
IDSOLVER=3085
FILE ID=nodeC012/4457222-1721833630
RUNJOBID= nodeC012-1721833630-188594
SLURM_JOB_ID= 7891540
Free space on /tmp= 723748 MiB
SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw128/normalized-hw128-vm99p-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-4457222-1721833630/watcher-4457222-1721833630 -o /tmp/evaluation-result-4457222-1721833630/solver-4457222-1721833630 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721833630-188594 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457222-1721833630 --lp-cut-gomory=0 HOME/instance-4457222-1721833630.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 56678f8f787569ff6bace689e56ab709
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.191
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.170
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.169
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.167
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.181
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.179
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: 121109964 kB
MemAvailable: 129882212 kB
Buffers: 277088 kB
Cached: 9276236 kB
SwapCached: 72 kB
Active: 2559104 kB
Inactive: 7338256 kB
Active(anon): 1388 kB
Inactive(anon): 395724 kB
Active(file): 2557716 kB
Inactive(file): 6942532 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131070448 kB
Dirty: 36784 kB
Writeback: 0 kB
AnonPages: 341136 kB
Mapped: 120848 kB
Shmem: 53368 kB
KReclaimable: 224064 kB
Slab: 336716 kB
SReclaimable: 224064 kB
SUnreclaim: 112652 kB
KernelStack: 3760 kB
PageTables: 9772 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= 723736 MiB
End job on nodeC012 at 2024-07-24 18:07:19