0.00/0.07 c RoundingSat 2
0.00/0.07 c branch
0.00/0.07 c commit
0.00/0.07 c [STEP] parsing instance
2.71/2.87 c [STEP] solving
2.71/2.87 c #variables 399113 #constraints 400980
2.71/2.88 c SMALL=int, LARGE=long long
2.81/2.90 c bounds - >= -174643715 @ 2.29835
2.81/2.90 c stratification level: 256
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: 63794 MiB (55579 MiB free)
memory of node 1: 64507 MiB (63833 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4505948-1751489461/watcher-4505948-1751489461 -o /tmp/evaluation-result-4505948-1751489461/solver-4505948-1751489461 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751489461-68487 --watchdog 3760 pb-oll-rs HOME/instance-4505948-1751489461.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=68530, runsolver pid=68524
[startup+0.10007 s]*
/proc/loadavg: 1.28 1.28 1.79 5/253 68543
/proc/meminfo: memFree=122177412/131382120 swapFree=33010416/33010684
[pid=68530] ppid=68524 vsize=57860 memory=42032 CPUtime=0.02 cores=5,7
/proc/68530/stat : 68530 (pb-oll-rs) R 68524 68530 68474 0 -1 4194304 2485 0 3 0 1 1 0 0 20 0 1 0 64625507 59248640 10508 18446744073709551615 4218880 5211445 140733690839264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 35233792 140733690845596 140733690845673 140733690845673 140733690851275 0
/proc/68530/statm: 14465 10508 1056 243 0 10714 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 57860 KiB
Current children cumulated memory: 42032 KiB
[startup+0.210034 s]*
/proc/loadavg: 1.28 1.28 1.79 5/253 68543
/proc/meminfo: memFree=121899504/131382120 swapFree=33010416/33010684
[pid=68530] ppid=68524 vsize=109408 memory=92140 CPUtime=0.14 cores=5,7
/proc/68530/stat : 68530 (pb-oll-rs) R 68524 68530 68474 0 -1 4194304 12728 0 3 0 8 6 0 0 20 0 1 0 64625507 112033792 23035 18446744073709551615 4218880 5211445 140733690839264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 35233792 140733690845596 140733690845673 140733690845673 140733690851275 0
/proc/68530/statm: 27352 23035 1056 243 0 23601 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 109408 KiB
Current children cumulated memory: 92140 KiB
[startup+0.314049 s]*
/proc/loadavg: 1.28 1.28 1.79 5/253 68543
/proc/meminfo: memFree=121801392/131382120 swapFree=33010416/33010684
[pid=68530] ppid=68524 vsize=146272 memory=113796 CPUtime=0.24 cores=5,7
/proc/68530/stat : 68530 (pb-oll-rs) R 68524 68530 68474 0 -1 4194304 15598 0 3 0 16 8 0 0 20 0 1 0 64625507 149782528 28449 18446744073709551615 4218880 5211445 140733690839264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 35233792 140733690845596 140733690845673 140733690845673 140733690851275 0
/proc/68530/statm: 36568 28449 1056 243 0 32817 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 146272 KiB
Current children cumulated memory: 113796 KiB
[startup+0.700244 s]
/proc/loadavg: 1.28 1.28 1.79 5/253 68543
/proc/meminfo: memFree=121801392/131382120 swapFree=33010416/33010684
[pid=68530] ppid=68524 vsize=110152 memory=94380 CPUtime=0.61 cores=5,7
/proc/68530/stat : 68530 (pb-oll-rs) R 68524 68530 68474 0 -1 4194304 16044 0 3 0 48 13 0 0 20 0 1 0 64625507 112795648 23595 18446744073709551615 4218880 5211445 140733690839264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 35233792 140733690845596 140733690845673 140733690845673 140733690851275 0
/proc/68530/statm: 27538 23595 1088 243 0 23787 0
Current children cumulated CPU time: 0.61 s
Current children cumulated vsize: 110152 KiB
Current children cumulated memory: 94380 KiB
[startup+1.50028 s]
/proc/loadavg: 1.28 1.28 1.79 5/253 68543
/proc/meminfo: memFree=121800812/131382120 swapFree=33010416/33010684
[pid=68530] ppid=68524 vsize=128620 memory=112164 CPUtime=1.41 cores=5,7
/proc/68530/stat : 68530 (pb-oll-rs) R 68524 68530 68474 0 -1 4194304 20081 0 3 0 114 27 0 0 20 0 1 0 64625507 131706880 28041 18446744073709551615 4218880 5211445 140733690839264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 35233792 140733690845596 140733690845673 140733690845673 140733690851275 0
/proc/68530/statm: 32155 28041 1088 243 0 28404 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 128620 KiB
Current children cumulated memory: 112164 KiB
[startup+3.11318 s]
/proc/loadavg: 1.28 1.28 1.79 5/253 68543
/proc/meminfo: memFree=121458648/131382120 swapFree=33010416/33010684
[pid=68530] ppid=68524 vsize=214468 memory=198372 CPUtime=3.02 cores=5,7
/proc/68530/stat : 68530 (pb-oll-rs) R 68524 68530 68474 0 -1 4194304 32313 0 3 0 251 51 0 0 20 0 1 0 64625507 219615232 49593 18446744073709551615 4218880 5211445 140733690839264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 35233792 140733690845596 140733690845673 140733690845673 140733690851275 0
/proc/68530/statm: 53617 49593 1248 243 0 49866 0
Current children cumulated CPU time: 3.02 s
Current children cumulated vsize: 214468 KiB
Current children cumulated memory: 198372 KiB
[startup+6.30032 s]
/proc/loadavg: 1.50 1.32 1.81 5/254 68545
/proc/meminfo: memFree=120604324/131382120 swapFree=33010416/33010684
[pid=68530] ppid=68524 vsize=639468 memory=623332 CPUtime=6.2 cores=5,7
/proc/68530/stat : 68530 (pb-oll-rs) R 68524 68530 68474 0 -1 4194304 138567 0 3 0 549 71 0 0 20 0 1 0 64625507 654815232 155833 18446744073709551615 4218880 5211445 140733690839264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 35233792 140733690845596 140733690845673 140733690845673 140733690851275 0
/proc/68530/statm: 159867 155833 1248 243 0 156116 0
Current children cumulated CPU time: 6.2 s
Current children cumulated vsize: 639468 KiB
Current children cumulated memory: 623332 KiB
[startup+12.7003 s]
/proc/loadavg: 1.70 1.37 1.82 5/254 68545
/proc/meminfo: memFree=119257888/131382120 swapFree=33010416/33010684
[pid=68530] ppid=68524 vsize=1322372 memory=1306212 CPUtime=12.58 cores=5,7
/proc/68530/stat : 68530 (pb-oll-rs) R 68524 68530 68474 0 -1 4194304 309316 0 3 0 1157 101 0 0 20 0 1 0 64625507 1354108928 326553 18446744073709551615 4218880 5211445 140733690839264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 35233792 140733690845596 140733690845673 140733690845673 140733690851275 0
/proc/68530/statm: 330593 326553 1248 243 0 326842 0
Current children cumulated CPU time: 12.58 s
Current children cumulated vsize: 1322372 KiB
Current children cumulated memory: 1306212 KiB
[startup+25.5003 s]
/proc/loadavg: 2.21 1.50 1.85 5/254 68545
/proc/meminfo: memFree=116842256/131382120 swapFree=33010416/33010684
[pid=68530] ppid=68524 vsize=2424692 memory=2408548 CPUtime=25.35 cores=5,7
/proc/68530/stat : 68530 (pb-oll-rs) R 68524 68530 68474 0 -1 4194304 584897 0 3 0 2384 151 0 0 20 0 1 0 64625507 2482884608 602137 18446744073709551615 4218880 5211445 140733690839264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 35233792 140733690845596 140733690845673 140733690845673 140733690851275 0
/proc/68530/statm: 606173 602137 1248 243 0 602422 0
Current children cumulated CPU time: 25.35 s
Current children cumulated vsize: 2424692 KiB
Current children cumulated memory: 2408548 KiB
[startup+51.1133 s]
/proc/loadavg: 2.82 1.70 1.91 5/254 68545
/proc/meminfo: memFree=113237184/131382120 swapFree=33010416/33010684
[pid=68530] ppid=68524 vsize=4187208 memory=4171104 CPUtime=50.9 cores=5,7
/proc/68530/stat : 68530 (pb-oll-rs) R 68524 68530 68474 0 -1 4194304 1022983 0 3 0 4861 229 0 0 20 0 1 0 64625507 4287700992 1042776 18446744073709551615 4218880 5211445 140733690839264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 35233792 140733690845596 140733690845673 140733690845673 140733690851275 0
/proc/68530/statm: 1046802 1042776 1248 243 0 1043051 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 4187208 KiB
Current children cumulated memory: 4171104 KiB
[startup+102.3 s]
/proc/loadavg: 3.54 2.07 2.03 5/254 68548
/proc/meminfo: memFree=109227536/131382120 swapFree=33010416/33010684
[pid=68530] ppid=68524 vsize=5928456 memory=5912324 CPUtime=101.97 cores=5,7
/proc/68530/stat : 68530 (pb-oll-rs) R 68524 68530 68474 0 -1 4194304 1432732 0 3 0 9886 311 0 0 20 0 1 0 64625507 6070738944 1478081 18446744073709551615 4218880 5211445 140733690839264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 35233792 140733690845596 140733690845673 140733690845673 140733690851275 0
/proc/68530/statm: 1482114 1478081 1248 243 0 1478363 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 5928456 KiB
Current children cumulated memory: 5912324 KiB
[startup+162.3 s]
/proc/loadavg: 3.98 2.47 2.17 5/254 68550
/proc/meminfo: memFree=103687804/131382120 swapFree=33010416/33010684
[pid=68530] ppid=68524 vsize=8485004 memory=8426776 CPUtime=161.83 cores=5,7
/proc/68530/stat : 68530 (pb-oll-rs) R 68524 68530 68474 0 -1 4194304 2045184 0 3 0 15754 429 0 0 20 0 1 0 64625507 8688644096 2106694 18446744073709551615 4218880 5211445 140733690839264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 35233792 140733690845596 140733690845673 140733690845673 140733690851275 0
/proc/68530/statm: 2121251 2106694 1344 243 0 2117500 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 8485004 KiB
Current children cumulated memory: 8426776 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 2.77 2.29 5/254 68552
/proc/meminfo: memFree=103166740/131382120 swapFree=33010416/33010684
[pid=68530] ppid=68524 vsize=8566140 memory=8522596 CPUtime=221.69 cores=5,7
/proc/68530/stat : 68530 (pb-oll-rs) R 68524 68530 68474 0 -1 4194304 2063075 0 3 0 21728 441 0 0 20 0 1 0 64625507 8771727360 2130649 18446744073709551615 4218880 5211445 140733690839264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 35233792 140733690845596 140733690845673 140733690845673 140733690851275 0
/proc/68530/statm: 2141535 2130649 1344 243 0 2137784 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 8566140 KiB
Current children cumulated memory: 8522596 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 3.01 2.41 5/254 68556
/proc/meminfo: memFree=102616696/131382120 swapFree=33010416/33010684
[pid=68530] ppid=68524 vsize=8705056 memory=8653688 CPUtime=281.56 cores=5,7
/proc/68530/stat : 68530 (pb-oll-rs) R 68524 68530 68474 0 -1 4194304 2085223 0 3 0 27704 452 0 0 20 0 1 0 64625507 8913977344 2163422 18446744073709551615 4218880 5211445 140733690839264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 35233792 140733690845596 140733690845673 140733690845673 140733690851275 0
/proc/68530/statm: 2176264 2163422 1344 243 0 2172513 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 8705056 KiB
Current children cumulated memory: 8653688 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 3.21 2.52 5/250 68558
/proc/meminfo: memFree=101880392/131382120 swapFree=33010416/33010684
[pid=68530] ppid=68524 vsize=8714592 memory=8671384 CPUtime=341.42 cores=5,7
/proc/68530/stat : 68530 (pb-oll-rs) R 68524 68530 68474 0 -1 4194304 2087223 0 3 0 33681 461 0 0 20 0 1 0 64625507 8923742208 2167846 18446744073709551615 4218880 5211445 140733690839264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 35233792 140733690845596 140733690845673 140733690845673 140733690851275 0
/proc/68530/statm: 2178648 2167846 1344 243 0 2174897 0
Current children cumulated CPU time: 341.42 s
Current children cumulated vsize: 8714592 KiB
Current children cumulated memory: 8671384 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 3.37 2.62 5/250 68560
/proc/meminfo: memFree=101012012/131382120 swapFree=33010416/33010684
[pid=68530] ppid=68524 vsize=8981476 memory=8934736 CPUtime=401.27 cores=5,7
/proc/68530/stat : 68530 (pb-oll-rs) R 68524 68530 68474 0 -1 4194304 2133302 0 3 0 39652 475 0 0 20 0 1 0 64625507 9197031424 2233684 18446744073709551615 4218880 5211445 140733690839264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 35233792 140733690845596 140733690845673 140733690845673 140733690851275 0
/proc/68530/statm: 2245369 2233684 1344 243 0 2241618 0
Current children cumulated CPU time: 401.27 s
Current children cumulated vsize: 8981476 KiB
Current children cumulated memory: 8934736 KiB
[startup+462.3 s]
/proc/loadavg: 4.07 3.50 2.71 5/250 68562
/proc/meminfo: memFree=99462948/131382120 swapFree=33010416/33010684
[pid=68530] ppid=68524 vsize=9477436 memory=9347416 CPUtime=461.12 cores=5,7
/proc/68530/stat : 68530 (pb-oll-rs) R 68524 68530 68474 0 -1 4194304 2222328 0 3 0 45615 497 0 0 20 0 1 0 64625507 9704894464 2336854 18446744073709551615 4218880 5211445 140733690839264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 35233792 140733690845596 140733690845673 140733690845673 140733690851275 0
/proc/68530/statm: 2369359 2336854 1344 243 0 2365608 0
################
# More data... #
################
[startup+3102.3 s]
/proc/loadavg: 4.11 4.11 4.03 5/250 68716
/proc/meminfo: memFree=69305712/131382120 swapFree=33010416/33010684
[pid=68530] ppid=68524 vsize=23755584 memory=21056896 CPUtime=3094.34 cores=5,7
/proc/68530/stat : 68530 (pb-oll-rs) R 68524 68530 68474 0 -1 4194304 4032480 0 3 0 307958 1476 0 0 20 0 1 0 64625507 24325718016 5264224 18446744073709551615 4218880 5211445 140733690839264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 35233792 140733690845596 140733690845673 140733690845673 140733690851275 0
/proc/68530/statm: 5938896 5264224 1344 243 0 5935145 0
Current children cumulated CPU time: 3094.34 s
Current children cumulated vsize: 23755584 KiB
Current children cumulated memory: 21056896 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.10 4.03 5/251 68719
/proc/meminfo: memFree=68602824/131382120 swapFree=33010416/33010684
[pid=68530] ppid=68524 vsize=23755584 memory=21219156 CPUtime=3154.17 cores=5,7
/proc/68530/stat : 68530 (pb-oll-rs) R 68524 68530 68474 0 -1 4194304 4047620 0 3 0 313934 1483 0 0 20 0 1 0 64625507 24325718016 5304789 18446744073709551615 4218880 5211445 140733690839264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 35233792 140733690845596 140733690845673 140733690845673 140733690851275 0
/proc/68530/statm: 5938896 5304789 1344 243 0 5935145 0
Current children cumulated CPU time: 3154.17 s
Current children cumulated vsize: 23755584 KiB
Current children cumulated memory: 21219156 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.11 4.04 5/251 68721
/proc/meminfo: memFree=67478692/131382120 swapFree=33010416/33010684
[pid=68530] ppid=68524 vsize=23755584 memory=21506716 CPUtime=3214.02 cores=5,7
/proc/68530/stat : 68530 (pb-oll-rs) R 68524 68530 68474 0 -1 4194304 4072395 0 3 0 319905 1497 0 0 20 0 1 0 64625507 24325718016 5376679 18446744073709551615 4218880 5211445 140733690839264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 35233792 140733690845596 140733690845673 140733690845673 140733690851275 0
/proc/68530/statm: 5938896 5376679 1344 243 0 5935145 0
Current children cumulated CPU time: 3214.02 s
Current children cumulated vsize: 23755584 KiB
Current children cumulated memory: 21506716 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.04 5/251 68726
/proc/meminfo: memFree=66713040/131382120 swapFree=33010416/33010684
[pid=68530] ppid=68524 vsize=23755584 memory=21781444 CPUtime=3273.86 cores=5,7
/proc/68530/stat : 68530 (pb-oll-rs) R 68524 68530 68474 0 -1 4194304 4096190 0 3 0 325877 1509 0 0 20 0 1 0 64625507 24325718016 5445361 18446744073709551615 4218880 5211445 140733690839264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 35233792 140733690845596 140733690845673 140733690845673 140733690851275 0
/proc/68530/statm: 5938896 5445361 1344 243 0 5935145 0
Current children cumulated CPU time: 3273.86 s
Current children cumulated vsize: 23755584 KiB
Current children cumulated memory: 21781444 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.10 4.04 5/251 68728
/proc/meminfo: memFree=66117124/131382120 swapFree=33010416/33010684
[pid=68530] ppid=68524 vsize=23856272 memory=22152552 CPUtime=3333.7 cores=5,7
/proc/68530/stat : 68530 (pb-oll-rs) R 68524 68530 68474 0 -1 4194304 4137724 0 3 0 331843 1527 0 0 20 0 1 0 64625507 24428822528 5538138 18446744073709551615 4218880 5211445 140733690839264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 35233792 140733690845596 140733690845673 140733690845673 140733690851275 0
/proc/68530/statm: 5964068 5538138 1344 243 0 5960317 0
Current children cumulated CPU time: 3333.7 s
Current children cumulated vsize: 23856272 KiB
Current children cumulated memory: 22152552 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.10 4.04 5/250 68730
/proc/meminfo: memFree=65222392/131382120 swapFree=33010416/33010684
[pid=68530] ppid=68524 vsize=23856272 memory=22375264 CPUtime=3393.54 cores=5,7
/proc/68530/stat : 68530 (pb-oll-rs) R 68524 68530 68474 0 -1 4194304 4157833 0 3 0 337811 1543 0 0 20 0 1 0 64625507 24428822528 5593816 18446744073709551615 4218880 5211445 140733690839264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 35233792 140733690845596 140733690845673 140733690845673 140733690851275 0
/proc/68530/statm: 5964068 5593816 1344 243 0 5960317 0
Current children cumulated CPU time: 3393.54 s
Current children cumulated vsize: 23856272 KiB
Current children cumulated memory: 22375264 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.09 4.04 5/249 68732
/proc/meminfo: memFree=63573808/131382120 swapFree=33010416/33010684
[pid=68530] ppid=68524 vsize=24084280 memory=22930656 CPUtime=3453.39 cores=5,7
/proc/68530/stat : 68530 (pb-oll-rs) R 68524 68530 68474 0 -1 4194304 4227635 0 3 0 343710 1629 0 0 20 0 1 0 64625507 24662302720 5732664 18446744073709551615 4218880 5211445 140733690839264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 35233792 140733690845596 140733690845673 140733690845673 140733690851275 0
/proc/68530/statm: 6021070 5732664 1344 243 0 6017319 0
Current children cumulated CPU time: 3453.39 s
Current children cumulated vsize: 24084280 KiB
Current children cumulated memory: 22930656 KiB
[startup+3522.3 s]
/proc/loadavg: 4.06 4.08 4.04 5/249 68734
/proc/meminfo: memFree=62781568/131382120 swapFree=33010416/33010684
[pid=68530] ppid=68524 vsize=24084280 memory=23079580 CPUtime=3513.22 cores=5,7
/proc/68530/stat : 68530 (pb-oll-rs) R 68524 68530 68474 0 -1 4194304 4239602 0 3 0 349685 1637 0 0 20 0 1 0 64625507 24662302720 5769895 18446744073709551615 4218880 5211445 140733690839264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 35233792 140733690845596 140733690845673 140733690845673 140733690851275 0
/proc/68530/statm: 6021070 5769895 1344 243 0 6017319 0
Current children cumulated CPU time: 3513.22 s
Current children cumulated vsize: 24084280 KiB
Current children cumulated memory: 23079580 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.08 4.04 5/249 68737
/proc/meminfo: memFree=62249424/131382120 swapFree=33010416/33010684
[pid=68530] ppid=68524 vsize=24084280 memory=23115976 CPUtime=3573.06 cores=5,7
/proc/68530/stat : 68530 (pb-oll-rs) R 68524 68530 68474 0 -1 4194304 4244316 0 3 0 355664 1642 0 0 20 0 1 0 64625507 24662302720 5778994 18446744073709551615 4218880 5211445 140733690839264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 35233792 140733690845596 140733690845673 140733690845673 140733690851275 0
/proc/68530/statm: 6021070 5778994 1344 243 0 6017319 0
Current children cumulated CPU time: 3573.06 s
Current children cumulated vsize: 24084280 KiB
Current children cumulated memory: 23115976 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.4 s]
/proc/loadavg: 4.11 4.09 4.04 5/250 68743
/proc/meminfo: memFree=62018928/131382120 swapFree=33010416/33010684
[pid=68530] ppid=68524 vsize=24084280 memory=23132620 CPUtime=3600.08 cores=5,7
/proc/68530/stat : 68530 (pb-oll-rs) R 68524 68530 68474 0 -1 4194304 4246458 0 3 0 358362 1646 0 0 20 0 1 0 64625507 24662302720 5783155 18446744073709551615 4218880 5211445 140733690839264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 35233792 140733690845596 140733690845673 140733690845673 140733690851275 0
/proc/68530/statm: 6021070 5783155 1344 243 0 6017319 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 24084280 KiB
Current children cumulated memory: 23132620 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+3611.89 s]
# the end of solver process 68530 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3585.61 s, system=16.9652 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3609.6 s]
/proc/loadavg: 4.11 4.09 4.04 5/250 68743
/proc/meminfo: memFree=62018928/131382120 swapFree=33010416/33010684
[pid=68530] ppid=68524 vsize=24084280 memory=23132876 CPUtime=3600.29 cores=5,7
/proc/68530/stat : 68530 (pb-oll-rs) R 68524 68530 68474 0 -1 4194304 4250728 0 3 0 358382 1647 0 0 20 0 1 0 64625507 24662302720 5783219 18446744073709551615 4218880 5211445 140733690839264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 35233792 140733690845596 140733690845673 140733690845673 140733690851275 0
/proc/68530/statm: 6021070 5783219 1408 243 0 6017319 0
Current children cumulated CPU time: 3600.29 s
Current children cumulated vsize: 24084280 KiB
Current children cumulated memory: 23132876 KiB
[startup+3610.4 s]
/proc/loadavg: 4.10 4.09 4.04 5/250 68743
/proc/meminfo: memFree=62007892/131382120 swapFree=33010416/33010684
[pid=68530] ppid=68524 vsize=24084280 memory=23132876 CPUtime=3601.08 cores=5,7
/proc/68530/stat : 68530 (pb-oll-rs) R 68524 68530 68474 0 -1 4194304 4253849 0 3 0 358461 1647 0 0 20 0 1 0 64625507 24662302720 5783219 18446744073709551615 4218880 5211445 140733690839264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 35233792 140733690845596 140733690845673 140733690845673 140733690851275 0
/proc/68530/statm: 6021070 5783219 1408 243 0 6017319 0
Current children cumulated CPU time: 3601.08 s
Current children cumulated vsize: 24084280 KiB
Current children cumulated memory: 23132876 KiB
[startup+3611.2 s]
/proc/loadavg: 4.10 4.09 4.04 4/246 68751
/proc/meminfo: memFree=64919148/131382120 swapFree=33010416/33010684
[pid=68530] ppid=68524 vsize=24084280 memory=23132876 CPUtime=3601.88 cores=5,7
/proc/68530/stat : 68530 (pb-oll-rs) R 68524 68530 68474 0 -1 4194304 4255175 0 3 0 358541 1647 0 0 20 0 1 0 64625507 24662302720 5783219 18446744073709551615 4218880 5211445 140733690839264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 35233792 140733690845596 140733690845673 140733690845673 140733690851275 0
/proc/68530/statm: 6021070 5783219 1408 243 0 6017319 0
Current children cumulated CPU time: 3601.88 s
Current children cumulated vsize: 24084280 KiB
Current children cumulated memory: 23132876 KiB
[startup+3611.4 s]
/proc/loadavg: 4.10 4.09 4.04 4/246 68751
/proc/meminfo: memFree=64919148/131382120 swapFree=33010416/33010684
[pid=68530] ppid=68524 vsize=24084280 memory=23132876 CPUtime=3602.08 cores=5,7
/proc/68530/stat : 68530 (pb-oll-rs) R 68524 68530 68474 0 -1 4194304 4255626 0 3 0 358561 1647 0 0 20 0 1 0 64625507 24662302720 5783219 18446744073709551615 4218880 5211445 140733690839264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 35233792 140733690845596 140733690845673 140733690845673 140733690851275 0
/proc/68530/statm: 6021070 5783219 1408 243 0 6017319 0
Current children cumulated CPU time: 3602.08 s
Current children cumulated vsize: 24084280 KiB
Current children cumulated memory: 23132876 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3611.89
CPU time (s): 3602.58
CPU user time (s): 3585.61
CPU system time (s): 16.9652
CPU usage (%): 99.7421
Max. virtual memory (cumulated for all children) (KiB): 24084280
Max. memory (cumulated for all children) (KiB): 23132876
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.61
system time used= 16.9652
maximum resident set size= 23132876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4255630
page faults= 3
swaps= 0
block input operations= 48
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 182
involuntary context switches= 2713
# summary of solver processes directly reported to runsolver:
# pid: 68530
# total CPU time (s): 3602.58
# total CPU user time (s): 3585.61
# total CPU system time (s): 16.9652
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.2756 second user time and 35.5541 second system time
The end
Begin job on nodeC006 at 2025-07-02 22:51:01
IDJOB=4505948
IDBENCH=157385
IDSOLVER=3345
FILE ID=nodeC006/4505948-1751489461
RUNJOBID= nodeC006-1751489461-68487
SLURM_JOB_ID= 9598551
Free space on /tmp= 432216 MiB
SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB12/OPT-LIN/sroussel/NG/normalized-NG.dot_luby_20null50mast_rapportOE2.0_TMAX120_K192_cod1.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4505948-1751489461/watcher-4505948-1751489461 -o /tmp/evaluation-result-4505948-1751489461/solver-4505948-1751489461 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751489461-68487 --watchdog 3760 pb-oll-rs HOME/instance-4505948-1751489461.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c802f246252f1c3f359f42604d33488d
RANDOM SEED=679736515
nodeC006 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/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 : 1995.281
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 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
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 : 1796.022
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 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
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.282
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 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
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.148
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 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
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 : 1795.487
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 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
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 : 1208.295
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 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
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.148
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 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
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 : 1795.709
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 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 122272496 kB
MemAvailable: 129913380 kB
Buffers: 2128 kB
Cached: 8411472 kB
SwapCached: 12 kB
Active: 479720 kB
Inactive: 7999720 kB
Active(anon): 72808 kB
Inactive(anon): 11092 kB
Active(file): 406912 kB
Inactive(file): 7988628 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 127372 kB
Writeback: 0 kB
AnonPages: 69012 kB
Mapped: 103540 kB
Shmem: 17948 kB
KReclaimable: 169560 kB
Slab: 256424 kB
SReclaimable: 169560 kB
SUnreclaim: 86864 kB
KernelStack: 3904 kB
PageTables: 2932 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 330544 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149304 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 14336 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 191304 kB
DirectMap2M: 10196992 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 432208 MiB
End job on nodeC006 at 2025-07-02 23:51:13