0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
17.83/18.04 c #variables 2000400 #constraints 4940611
888.11/891.85 c bounds - >= -100 @ 13.7015
888.11/891.85 c bounds 1035727013 >= -100 @ 32.2935
888.11/891.85 c bounds 1035673763 >= -100 @ 34.03
888.11/891.85 c bounds 1035539405 >= -100 @ 78.82
888.11/891.85 c bounds 999434123 >= -100 @ 81.1059
888.11/891.85 c bounds 999234429 >= -100 @ 82.2471
888.11/891.85 c bounds 999224811 >= -100 @ 84.8548
888.11/891.85 c bounds 999095161 >= -100 @ 87.4045
888.11/891.85 c bounds 999039355 >= -100 @ 102.089
888.11/891.85 c bounds 999024159 >= -100 @ 106.526
888.11/891.85 c bounds 996021327 >= -100 @ 117.449
888.11/891.85 c bounds 995837847 >= -100 @ 130.171
888.11/891.85 c bounds 868341979 >= -100 @ 166.674
888.11/891.85 c bounds 868319210 >= -100 @ 186.52
888.11/891.85 c bounds 868161806 >= -100 @ 207.436
888.11/891.85 c bounds 868159301 >= -100 @ 249.091
888.11/891.85 c bounds 868028100 >= -100 @ 281.076
888.11/891.85 c bounds 868020173 >= -100 @ 290.495
888.11/891.85 c bounds 867981733 >= -100 @ 299.824
888.11/891.85 c bounds 867933055 >= -100 @ 312.367
888.11/891.85 c bounds 867843260 >= -100 @ 317.393
888.11/891.85 c bounds 867839237 >= -100 @ 326.352
888.11/891.85 c bounds 867823837 >= -100 @ 335.016
888.11/891.85 c bounds 867816487 >= -100 @ 345.816
888.11/891.85 c bounds 818024745 >= -100 @ 347.496
888.11/891.85 c bounds 817829831 >= -100 @ 350.208
888.11/891.85 c bounds 817824941 >= -100 @ 369.424
888.11/891.85 c bounds 815553521 >= -100 @ 372.023
888.11/891.85 c bounds 815357531 >= -100 @ 386.748
888.11/891.85 c bounds 815279653 >= -100 @ 389.59
888.11/891.85 c bounds 815220517 >= -100 @ 392.67
888.11/891.85 c bounds 815217397 >= -100 @ 430.788
888.11/891.85 c bounds 815102725 >= -100 @ 435.009
888.11/891.85 c bounds 814816835 >= -100 @ 437.397
888.11/891.85 c bounds 814757852 >= -100 @ 439.903
888.11/891.85 c bounds 814750838 >= -100 @ 441.342
888.11/891.85 c bounds 814616040 >= -100 @ 457.651
888.11/891.85 c bounds 814539470 >= -100 @ 474.454
888.11/891.85 c bounds 814519982 >= -100 @ 478.784
888.11/891.85 c bounds 814501610 >= -100 @ 483.263
888.11/891.85 c bounds 814379973 >= -100 @ 507.994
888.11/891.85 c bounds 814371050 >= -100 @ 512.879
888.11/891.85 c bounds 814160392 >= -100 @ 521.271
888.11/891.85 c bounds 814153042 >= -100 @ 526.595
888.11/891.85 c bounds 808626902 >= -100 @ 553.876
888.11/891.85 c bounds 808610977 >= -100 @ 556.556
888.11/891.85 c bounds 808603328 >= -100 @ 559.373
888.11/891.85 c bounds 808594971 >= -100 @ 560.778
888.11/891.85 c bounds 808565397 >= -100 @ 567.272
888.11/891.85 c #Conflicts: 1000 | #Constraints: 4941658
888.11/891.85 c bounds 808561303 >= -100 @ 579.465
888.11/891.85 c bounds 808554465 >= -100 @ 596.918
888.11/891.85 c bounds 808487569 >= -100 @ 600.016
888.11/891.85 c bounds 807031143 >= -100 @ 628.688
888.11/891.85 c bounds 807026085 >= -100 @ 640.163
888.11/891.85 c bounds 807010552 >= -100 @ 676.121
888.11/891.85 c bounds 806999205 >= -100 @ 681.196
888.11/891.85 c bounds 806995461 >= -100 @ 736.843
888.11/891.85 c bounds 795268589 >= -100 @ 803.762
888.11/891.85 c #Conflicts: 2000 | #Constraints: 4942667
888.11/891.85 EMALLC01 malloc: Out of memory - cannot allocate 360063072 bytes
888.11/891.87 c Disabling crashed LP
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: 63931 MiB (48575 MiB free)
memory of node 1: 64510 MiB (46712 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457131-1721824438/watcher-4457131-1721824438 -o /tmp/evaluation-result-4457131-1721824438/solver-4457131-1721824438 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721817188-176033 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457131-1721824438 --lp-cut-gomory=0 HOME/instance-4457131-1721824438.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
Current StackSize limit: 8192 KiB
solver pid=181504, runsolver pid=181501
[startup+0.100083 s]*
/proc/loadavg: 4.12 4.14 4.11 5/263 181505
/proc/meminfo: memFree=97571728/131524600 swapFree=131054736/131071996
[pid=181504] ppid=181501 vsize=37376 memory=2620 CPUtime=0 cores=0,2
/proc/181504/stat : 181504 (roundingsat) D 181501 181504 176023 0 -1 1077936128 216 0 0 0 0 0 0 0 20 0 1 0 18968159 38273024 655 134679101440 4194304 8254037 140721148237936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22691840 140721148244828 140721148245090 140721148245090 140721148252105 0
/proc/181504/statm: 9344 655 599 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2620 KiB
[startup+0.205949 s]*
/proc/loadavg: 4.12 4.14 4.11 5/263 181505
/proc/meminfo: memFree=97480012/131524600 swapFree=131054736/131071996
[pid=181504] ppid=181501 vsize=182812 memory=107904 CPUtime=0.09 cores=0,2
/proc/181504/stat : 181504 (roundingsat) R 181501 181504 176023 0 -1 4194304 6536 0 0 0 6 3 0 0 20 0 1 0 18968159 187199488 26976 134679101440 4194304 8254037 140721148237936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22691840 140721148244828 140721148245090 140721148245090 140721148252105 0
/proc/181504/statm: 45703 26976 1319 992 0 37561 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 182812 KiB
Current children cumulated memory: 107904 KiB
[startup+0.305923 s]*
/proc/loadavg: 4.12 4.14 4.11 5/263 181505
/proc/meminfo: memFree=97346500/131524600 swapFree=131054736/131071996
[pid=181504] ppid=181501 vsize=294784 memory=240152 CPUtime=0.19 cores=0,2
/proc/181504/stat : 181504 (roundingsat) R 181501 181504 176023 0 -1 4194304 7982 0 0 0 12 7 0 0 20 0 1 0 18968159 301858816 60038 134679101440 4194304 8254037 140721148237936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22691840 140721148244828 140721148245090 140721148245090 140721148252105 0
/proc/181504/statm: 73696 60038 1319 992 0 65554 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 294784 KiB
Current children cumulated memory: 240152 KiB
[startup+0.700235 s]
/proc/loadavg: 4.12 4.14 4.11 5/263 181505
/proc/meminfo: memFree=97132388/131524600 swapFree=131054736/131071996
[pid=181504] ppid=181501 vsize=552240 memory=356992 CPUtime=0.58 cores=0,2
/proc/181504/stat : 181504 (roundingsat) R 181501 181504 176023 0 -1 4194304 11715 0 0 0 44 14 0 0 20 0 1 0 18968159 565493760 89248 134679101440 4194304 8254037 140721148237936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22691840 140721148244828 140721148245090 140721148245090 140721148252105 0
/proc/181504/statm: 138060 89248 1367 992 0 129918 0
Current children cumulated CPU time: 0.58 s
Current children cumulated vsize: 552240 KiB
Current children cumulated memory: 356992 KiB
[startup+1.50022 s]
/proc/loadavg: 4.12 4.14 4.11 5/263 181507
/proc/meminfo: memFree=97165576/131524600 swapFree=131054736/131071996
[pid=181504] ppid=181501 vsize=606068 memory=409916 CPUtime=1.37 cores=0,2
/proc/181504/stat : 181504 (roundingsat) R 181501 181504 176023 0 -1 4194304 21881 0 0 0 106 31 0 0 20 0 1 0 18968159 620613632 102479 134679101440 4194304 8254037 140721148237936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22691840 140721148244828 140721148245090 140721148245090 140721148252105 0
/proc/181504/statm: 151517 102479 1383 992 0 143375 0
Current children cumulated CPU time: 1.37 s
Current children cumulated vsize: 606068 KiB
Current children cumulated memory: 409916 KiB
[startup+3.10577 s]
/proc/loadavg: 4.11 4.14 4.11 5/263 181507
/proc/meminfo: memFree=97018496/131524600 swapFree=131054736/131071996
[pid=181504] ppid=181501 vsize=667212 memory=466644 CPUtime=2.98 cores=0,2
/proc/181504/stat : 181504 (roundingsat) R 181501 181504 176023 0 -1 4194304 29954 0 0 0 221 77 0 0 20 0 1 0 18968159 683225088 116661 134679101440 4194304 8254037 140721148237936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22691840 140721148244828 140721148245090 140721148245090 140721148252105 0
/proc/181504/statm: 166803 116661 1383 992 0 158661 0
Current children cumulated CPU time: 2.98 s
Current children cumulated vsize: 667212 KiB
Current children cumulated memory: 466644 KiB
[startup+6.30021 s]
/proc/loadavg: 4.11 4.14 4.11 5/263 181507
/proc/meminfo: memFree=96848796/131524600 swapFree=131054736/131071996
[pid=181504] ppid=181501 vsize=790676 memory=551520 CPUtime=6.16 cores=0,2
/proc/181504/stat : 181504 (roundingsat) R 181501 181504 176023 0 -1 4194304 35926 0 0 0 447 169 0 0 20 0 1 0 18968159 809652224 137880 134679101440 4194304 8254037 140721148237936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22691840 140721148244828 140721148245090 140721148245090 140721148252105 0
/proc/181504/statm: 197669 137880 1383 992 0 189527 0
Current children cumulated CPU time: 6.16 s
Current children cumulated vsize: 790676 KiB
Current children cumulated memory: 551520 KiB
[startup+12.7002 s]
/proc/loadavg: 4.16 4.15 4.12 5/263 181509
/proc/meminfo: memFree=93526292/131524600 swapFree=131054736/131071996
[pid=181504] ppid=181501 vsize=1078820 memory=748520 CPUtime=12.54 cores=0,2
/proc/181504/stat : 181504 (roundingsat) R 181501 181504 176023 0 -1 4194304 46965 0 0 0 931 323 0 0 20 0 1 0 18968159 1104711680 187130 134679101440 4194304 8254037 140721148237936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22691840 140721148244828 140721148245090 140721148245090 140721148252105 0
/proc/181504/statm: 269705 187130 1383 992 0 261563 0
Current children cumulated CPU time: 12.54 s
Current children cumulated vsize: 1078820 KiB
Current children cumulated memory: 748520 KiB
[startup+25.5002 s]
/proc/loadavg: 4.14 4.14 4.11 5/263 181511
/proc/meminfo: memFree=91087676/131524600 swapFree=131054736/131071996
[pid=181504] ppid=181501 vsize=3768860 memory=3442144 CPUtime=25.29 cores=0,2
/proc/181504/stat : 181504 (roundingsat) R 181501 181504 176023 0 -1 4194304 320032 0 0 0 2039 490 0 0 20 0 1 0 18968159 3859312640 860536 134679101440 4194304 8254037 140721148237936 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22691840 140721148244828 140721148245090 140721148245090 140721148252105 0
/proc/181504/statm: 942215 860536 1776 992 0 934073 0
Current children cumulated CPU time: 25.29 s
Current children cumulated vsize: 3768860 KiB
Current children cumulated memory: 3442144 KiB
[startup+51.1059 s]
/proc/loadavg: 4.15 4.15 4.12 5/263 181561
/proc/meminfo: memFree=89198760/131524600 swapFree=131054736/131071996
[pid=181504] ppid=181501 vsize=4607416 memory=4201252 CPUtime=50.78 cores=0,2
/proc/181504/stat : 181504 (roundingsat) R 181501 181504 176023 0 -1 4194304 355645 0 0 0 4444 634 0 0 20 0 1 0 18968159 4717993984 1050313 134679101440 4194304 8254037 140721148237936 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22691840 140721148244828 140721148245090 140721148245090 140721148252105 0
/proc/181504/statm: 1151854 1050313 1808 992 0 1143712 0
Current children cumulated CPU time: 50.78 s
Current children cumulated vsize: 4607416 KiB
Current children cumulated memory: 4201252 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.14 4.11 5/258 181570
/proc/meminfo: memFree=85120536/131524600 swapFree=131054736/131071996
[pid=181504] ppid=181501 vsize=6349804 memory=5774192 CPUtime=101.78 cores=0,2
/proc/181504/stat : 181504 (roundingsat) R 181501 181504 176023 0 -1 4194304 520389 0 0 0 9475 703 0 0 20 0 1 0 18968159 6502199296 1443548 134679101440 4194304 8254037 140721148237936 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22691840 140721148244828 140721148245090 140721148245090 140721148252105 0
/proc/181504/statm: 1587451 1443548 1870 992 0 1579309 0
Current children cumulated CPU time: 101.78 s
Current children cumulated vsize: 6349804 KiB
Current children cumulated memory: 5774192 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.12 4.10 5/258 181581
/proc/meminfo: memFree=80659364/131524600 swapFree=131054736/131071996
[pid=181504] ppid=181501 vsize=8508348 memory=7756612 CPUtime=161.54 cores=0,2
/proc/181504/stat : 181504 (roundingsat) R 181501 181504 176023 0 -1 4194304 758658 0 0 0 15365 789 0 0 20 0 1 0 18968159 8712548352 1939153 134679101440 4194304 8254037 140721148237936 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22691840 140721148244828 140721148245090 140721148245090 140721148252105 0
/proc/181504/statm: 2127087 1939153 1870 992 0 2118945 0
Current children cumulated CPU time: 161.54 s
Current children cumulated vsize: 8508348 KiB
Current children cumulated memory: 7756612 KiB
[startup+222.3 s]
/proc/loadavg: 4.21 4.15 4.11 5/259 181593
/proc/meminfo: memFree=73572436/131524600 swapFree=131054736/131071996
[pid=181504] ppid=181501 vsize=12134608 memory=10752040 CPUtime=221.31 cores=0,2
/proc/181504/stat : 181504 (roundingsat) R 181501 181504 176023 0 -1 4194304 1244912 0 0 0 21226 905 0 0 20 0 1 0 18968159 12425838592 2688010 134679101440 4194304 8254037 140721148237936 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22691840 140721148244828 140721148245090 140721148245090 140721148252105 0
/proc/181504/statm: 3033652 2688010 1870 992 0 3025510 0
Current children cumulated CPU time: 221.31 s
Current children cumulated vsize: 12134608 KiB
Current children cumulated memory: 10752040 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.12 4.10 5/259 181603
/proc/meminfo: memFree=70551328/131524600 swapFree=131054736/131071996
[pid=181504] ppid=181501 vsize=12198852 memory=11610908 CPUtime=281.08 cores=0,2
/proc/181504/stat : 181504 (roundingsat) R 181501 181504 176023 0 -1 4194304 1258355 0 0 0 27167 941 0 0 20 0 1 0 18968159 12491624448 2902727 134679101440 4194304 8254037 140721148237936 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22691840 140721148244828 140721148245090 140721148245090 140721148252105 0
/proc/181504/statm: 3049713 2902727 1870 992 0 3041571 0
Current children cumulated CPU time: 281.08 s
Current children cumulated vsize: 12198852 KiB
Current children cumulated memory: 11610908 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/258 181614
/proc/meminfo: memFree=61318228/131524600 swapFree=131054736/131071996
[pid=181504] ppid=181501 vsize=17676916 memory=15408736 CPUtime=340.84 cores=0,2
/proc/181504/stat : 181504 (roundingsat) R 181501 181504 176023 0 -1 4194304 2067677 0 0 0 32976 1108 0 0 20 0 1 0 18968159 18101161984 3852184 134679101440 4194304 8254037 140721148237936 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22691840 140721148244828 140721148245090 140721148245090 140721148252105 0
/proc/181504/statm: 4419229 3852184 1870 992 0 4411087 0
Current children cumulated CPU time: 340.84 s
Current children cumulated vsize: 17676916 KiB
Current children cumulated memory: 15408736 KiB
[startup+402.3 s]
/proc/loadavg: 4.16 4.13 4.10 5/260 181628
/proc/meminfo: memFree=57604144/131524600 swapFree=131054736/131071996
[pid=181504] ppid=181501 vsize=18883456 memory=17429640 CPUtime=400.6 cores=0,2
/proc/181504/stat : 181504 (roundingsat) R 181501 181504 176023 0 -1 4194304 2574789 0 0 0 38801 1259 0 0 20 0 1 0 18968159 19336658944 4357410 134679101440 4194304 8254037 140721148237936 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22691840 140721148244828 140721148245090 140721148245090 140721148252105 0
/proc/181504/statm: 4720864 4357410 1870 992 0 4712722 0
Current children cumulated CPU time: 400.6 s
Current children cumulated vsize: 18883456 KiB
Current children cumulated memory: 17429640 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/260 181640
/proc/meminfo: memFree=55118916/131524600 swapFree=131054736/131071996
[pid=181504] ppid=181501 vsize=18883456 memory=18219164 CPUtime=460.34 cores=0,2
/proc/181504/stat : 181504 (roundingsat) R 181501 181504 176023 0 -1 4194304 2773959 0 0 0 44694 1340 0 0 20 0 1 0 18968159 19336658944 4554791 134679101440 4194304 8254037 140721148237936 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22691840 140721148244828 140721148245090 140721148245090 140721148252105 0
/proc/181504/statm: 4720864 4554791 1870 992 0 4712722 0
Current children cumulated CPU time: 460.34 s
Current children cumulated vsize: 18883456 KiB
Current children cumulated memory: 18219164 KiB
[startup+522.3 s]
/proc/loadavg: 4.16 4.13 4.10 5/259 181651
/proc/meminfo: memFree=52777288/131524600 swapFree=131054736/131071996
[pid=181504] ppid=181501 vsize=22840780 memory=19108604 CPUtime=520.1 cores=0,2
/proc/181504/stat : 181504 (roundingsat) R 181501 181504 176023 0 -1 4194304 2998445 0 0 0 50609 1401 0 0 20 0 1 0 18968159 23388958720 4777151 134679101440 4194304 8254037 140721148237936 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22691840 140721148244828 140721148245090 140721148245090 140721148252105 0
/proc/181504/statm: 5710195 4777151 1870 992 0 5702053 0
Current children cumulated CPU time: 520.1 s
Current children cumulated vsize: 22840780 KiB
Current children cumulated memory: 19108604 KiB
[startup+582.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/259 181662
/proc/meminfo: memFree=49945944/131524600 swapFree=131054736/131071996
[pid=181504] ppid=181501 vsize=22847380 memory=19593312 CPUtime=579.87 cores=0,2
/proc/181504/stat : 181504 (roundingsat) R 181501 181504 176023 0 -1 4194304 3121552 0 0 0 56520 1467 0 0 20 0 1 0 18968159 23395717120 4898328 134679101440 4194304 8254037 140721148237936 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22691840 140721148244828 140721148245090 140721148245090 140721148252105 0
/proc/181504/statm: 5711845 4898328 1870 992 0 5703703 0
Current children cumulated CPU time: 579.87 s
Current children cumulated vsize: 22847380 KiB
Current children cumulated memory: 19593312 KiB
[startup+642.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/264 181678
/proc/meminfo: memFree=48292592/131524600 swapFree=131054736/131071996
[pid=181504] ppid=181501 vsize=23223900 memory=20348040 CPUtime=639.61 cores=0,2
/proc/181504/stat : 181504 (roundingsat) R 181501 181504 176023 0 -1 4194304 3344324 0 0 0 62421 1540 0 0 20 0 1 0 18968159 23781273600 5087010 134679101440 4194304 8254037 140721148237936 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22691840 140721148244828 140721148245090 140721148245090 140721148252105 0
/proc/181504/statm: 5805975 5087010 1870 992 0 5797833 0
Current children cumulated CPU time: 639.61 s
Current children cumulated vsize: 23223900 KiB
Current children cumulated memory: 20348040 KiB
[startup+702.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/262 181688
/proc/meminfo: memFree=40617864/131524600 swapFree=131054736/131071996
[pid=181504] ppid=181501 vsize=30552340 memory=26781288 CPUtime=699.38 cores=0,2
/proc/181504/stat : 181504 (roundingsat) R 181501 181504 176023 0 -1 4194304 5009799 0 0 0 68134 1804 0 0 20 0 1 0 18968159 31285596160 6695322 134679101440 4194304 8254037 140721148237936 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22691840 140721148244828 140721148245090 140721148245090 140721148252105 0
/proc/181504/statm: 7638085 6695322 1870 992 0 7629943 0
Current children cumulated CPU time: 699.38 s
Current children cumulated vsize: 30552340 KiB
Current children cumulated memory: 26781288 KiB
[startup+762.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/262 181700
/proc/meminfo: memFree=37017200/131524600 swapFree=131054736/131071996
[pid=181504] ppid=181501 vsize=31413640 memory=28486924 CPUtime=759.14 cores=0,2
/proc/181504/stat : 181504 (roundingsat) R 181501 181504 176023 0 -1 4194304 5438385 0 0 0 74011 1903 0 0 20 0 1 0 18968159 32167567360 7121731 134679101440 4194304 8254037 140721148237936 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22691840 140721148244828 140721148245090 140721148245090 140721148252105 0
/proc/181504/statm: 7853410 7121731 1870 992 0 7845268 0
Current children cumulated CPU time: 759.14 s
Current children cumulated vsize: 31413640 KiB
Current children cumulated memory: 28486924 KiB
[startup+822.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/262 181710
/proc/meminfo: memFree=31267164/131524600 swapFree=131054736/131071996
[pid=181504] ppid=181501 vsize=31413640 memory=29359644 CPUtime=818.92 cores=0,2
/proc/181504/stat : 181504 (roundingsat) R 181501 181504 176023 0 -1 4194304 5658438 0 0 0 79924 1968 0 0 20 0 1 0 18968159 32167567360 7339911 134679101440 4194304 8254037 140721148237936 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22691840 140721148244828 140721148245090 140721148245090 140721148252105 0
/proc/181504/statm: 7853410 7339911 1870 992 0 7845268 0
Current children cumulated CPU time: 818.92 s
Current children cumulated vsize: 31413640 KiB
Current children cumulated memory: 29359644 KiB
[startup+882.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/264 181723
/proc/meminfo: memFree=26420576/131524600 swapFree=131054736/131071996
[pid=181504] ppid=181501 vsize=31426376 memory=29475032 CPUtime=878.67 cores=0,2
/proc/181504/stat : 181504 (roundingsat) R 181501 181504 176023 0 -1 4194304 5707418 0 0 0 85123 2744 0 0 20 0 1 0 18968159 32180609024 7368758 134679101440 4194304 8254037 140721148237936 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22691840 140721148244828 140721148245090 140721148245090 140721148252105 0
/proc/181504/statm: 7856594 7368758 1870 992 0 7848452 0
Current children cumulated CPU time: 878.67 s
Current children cumulated vsize: 31426376 KiB
Current children cumulated memory: 29475032 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+891.8 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 181724
/proc/meminfo: memFree=25643252/131524600 swapFree=131054736/131071996
[pid=181504] ppid=181501 vsize=31776972 memory=29782396 CPUtime=888.11 cores=0,2
/proc/181504/stat : 181504 (roundingsat) R 181501 181504 176023 0 -1 4194304 5785463 0 0 0 85906 2905 0 0 20 0 1 0 18968159 32539619328 7445599 134679101440 4194304 8254037 140721148237936 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22691840 140721148244828 140721148245090 140721148245090 140721148252105 0
/proc/181504/statm: 7944243 7445599 1870 992 0 7936101 0
Current children cumulated CPU time: 888.11 s
Current children cumulated vsize: 31776972 KiB
Current children cumulated memory: 29782396 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+894.628 s]
# the end of solver process 181504 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=861.013 s, system=29.9249 s
Solver just ended.
Dumping a history of the last processes samples
[startup+892.8 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 181724
/proc/meminfo: memFree=26892180/131524600 swapFree=131054736/131071996
[pid=181504] ppid=181501 vsize=30103128 memory=28158684 CPUtime=889.12 cores=0,2
/proc/181504/stat : 181504 (roundingsat) R 181501 181504 176023 0 -1 4194304 5798329 0 0 0 86002 2910 0 0 20 0 1 0 18968159 30825603072 7039671 134679101440 4194304 8254037 140721148237936 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22691840 140721148244828 140721148245090 140721148245090 140721148252105 0
/proc/181504/statm: 7525782 7039671 1981 992 0 7517640 0
Current children cumulated CPU time: 889.12 s
Current children cumulated vsize: 30103128 KiB
Current children cumulated memory: 28158684 KiB
[startup+893.6 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 181724
/proc/meminfo: memFree=26823664/131524600 swapFree=131054736/131071996
[pid=181504] ppid=181501 vsize=30103128 memory=28158684 CPUtime=889.92 cores=0,2
/proc/181504/stat : 181504 (roundingsat) R 181501 181504 176023 0 -1 4194304 5798722 0 0 0 86081 2911 0 0 20 0 1 0 18968159 30825603072 7039671 134679101440 4194304 8254037 140721148237936 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22691840 140721148244828 140721148245090 140721148245090 140721148252105 0
/proc/181504/statm: 7525782 7039671 1981 992 0 7517640 0
Current children cumulated CPU time: 889.92 s
Current children cumulated vsize: 30103128 KiB
Current children cumulated memory: 28158684 KiB
[startup+893.8 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 181724
/proc/meminfo: memFree=26823664/131524600 swapFree=131054736/131071996
[pid=181504] ppid=181501 vsize=30103128 memory=28158684 CPUtime=890.12 cores=0,2
/proc/181504/stat : 181504 (roundingsat) R 181501 181504 176023 0 -1 4194304 5799968 0 0 0 86101 2911 0 0 20 0 1 0 18968159 30825603072 7039671 134679101440 4194304 8254037 140721148237936 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22691840 140721148244828 140721148245090 140721148245090 140721148252105 0
/proc/181504/statm: 7525782 7039671 1981 992 0 7517640 0
Current children cumulated CPU time: 890.12 s
Current children cumulated vsize: 30103128 KiB
Current children cumulated memory: 28158684 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 894.628
CPU time (s): 890.938
CPU user time (s): 861.013
CPU system time (s): 29.9249
CPU usage (%): 99.5875
Max. virtual memory (cumulated for all children) (KiB): 31776972
Max. memory (cumulated for all children) (KiB): 29782396
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 861.013
system time used= 29.9249
maximum resident set size= 29832028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5799997
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5858720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 6263
# summary of solver processes directly reported to runsolver:
# pid: 181504
# total CPU time (s): 890.938
# total CPU user time (s): 861.013
# total CPU system time (s): 29.9249
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.41678 second user time and 4.5556 second system time
The end
Begin job on nodeC034 at 2024-07-24 14:34:00
IDJOB=4457131
IDBENCH=155753
IDSOLVER=3085
FILE ID=nodeC034/4457131-1721824438
RUNJOBID= nodeC034-1721817188-176033
SLURM_JOB_ID= 7816899
Free space on /tmp= 889576 MiB
SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Large/normalized-minisat100_16_6_2_mh.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-4457131-1721824438/watcher-4457131-1721824438 -o /tmp/evaluation-result-4457131-1721824438/solver-4457131-1721824438 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721817188-176033 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457131-1721824438 --lp-cut-gomory=0 HOME/instance-4457131-1721824438.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b903151821b4588cc22205dcfedeb810
RANDOM SEED=534980053
nodeC034.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 : 0xb00002a
cpu MHz : 3600.972
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.92
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 : 0xb00002a
cpu MHz : 3676.337
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7006.84
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 : 0xb00002a
cpu MHz : 3600.315
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.92
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 : 0xb00002a
cpu MHz : 3600.157
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7006.84
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 : 0xb00002a
cpu MHz : 3671.854
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.92
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 : 0xb00002a
cpu MHz : 3675.957
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7006.84
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 : 0xb00002a
cpu MHz : 3600.664
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.92
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 : 0xb00002a
cpu MHz : 3599.321
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7006.84
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 97575888 kB
MemAvailable: 126954828 kB
Buffers: 246152 kB
Cached: 29891808 kB
SwapCached: 96 kB
Active: 1789040 kB
Inactive: 31440988 kB
Active(anon): 1936 kB
Inactive(anon): 3132492 kB
Active(file): 1787104 kB
Inactive(file): 28308496 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131054736 kB
Dirty: 426968 kB
Writeback: 0 kB
AnonPages: 3084628 kB
Mapped: 101080 kB
Shmem: 42580 kB
KReclaimable: 245972 kB
Slab: 361092 kB
SReclaimable: 245972 kB
SUnreclaim: 115120 kB
KernelStack: 4256 kB
PageTables: 15720 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 3939180 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 14048 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2502656 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: 355028 kB
DirectMap2M: 47652864 kB
DirectMap1G: 88080384 kB
Free space on /tmp at the end= 889624 MiB
End job on nodeC034 at 2024-07-24 14:48:54