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: 63708 MiB (62313 MiB free)
memory of node 1: 64465 MiB (62857 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4542445-1753206206/watcher-4542445-1753206206 -o /tmp/evaluation-result-4542445-1753206206/solver-4542445-1753206206 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1753198970-188856 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=788495262 --ls=0 --inp-dombreaklim=0 HOME/instance-4542445-1753206206.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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=189528, runsolver pid=189525
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 4.27 4.20 4.13 3/258 189538
/proc/meminfo: memFree=127933312/131250000 swapFree=33010160/33010684
[pid=189528] ppid=189525 vsize=332336 memory=274320 CPUtime=0.09 cores=4,6
/proc/189528/stat : 189528 (Exact) R 189525 189528 188838 0 -1 4194304 6419 0 0 0 4 5 0 0 20 0 1 0 236298159 340312064 68580 18446744073709551615 4198400 9112445 140721791318304 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 15355904 140721791326503 140721791326699 140721791326699 140721791332303 0
/proc/189528/statm: 83084 68580 960 1200 0 81564 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 332336 KiB
Current children cumulated memory: 274320 KiB
[startup+0.206323 s]*
/proc/loadavg: 4.27 4.20 4.13 4/258 189549
/proc/meminfo: memFree=127670128/131250000 swapFree=33010160/33010684
[pid=189528] ppid=189525 vsize=700096 memory=542112 CPUtime=0.2 cores=4,6
/proc/189528/stat : 189528 (Exact) R 189525 189528 188838 0 -1 4194304 7929 0 0 0 10 10 0 0 20 0 1 0 236298159 716898304 135528 18446744073709551615 4198400 9112445 140721791318304 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 15355904 140721791326503 140721791326699 140721791326699 140721791332303 0
/proc/189528/statm: 175024 135528 992 1200 0 173504 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 700096 KiB
Current children cumulated memory: 542112 KiB
[startup+0.306085 s]*
/proc/loadavg: 4.27 4.20 4.13 3/260 189557
/proc/meminfo: memFree=127330064/131250000 swapFree=33010160/33010684
[pid=189528] ppid=189525 vsize=896936 memory=873456 CPUtime=0.3 cores=4,6
/proc/189528/stat : 189528 (Exact) R 189525 189528 188838 0 -1 4194304 9015 0 0 0 13 17 0 0 20 0 1 0 236298159 918462464 218364 18446744073709551615 4198400 9112445 140721791318304 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 15355904 140721791326503 140721791326699 140721791326699 140721791332303 0
/proc/189528/statm: 224234 218364 992 1200 0 222714 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 896936 KiB
Current children cumulated memory: 873456 KiB
[startup+0.700177 s]
/proc/loadavg: 4.27 4.20 4.13 4/256 189586
/proc/meminfo: memFree=127155800/131250000 swapFree=33010160/33010684
[pid=189528] ppid=189525 vsize=1172524 memory=1136912 CPUtime=0.68 cores=4,6
/proc/189528/stat : 189528 (Exact) R 189525 189528 188838 0 -1 4194304 49139 0 0 0 42 26 0 0 20 0 1 0 236298159 1200664576 284228 18446744073709551615 4198400 9112445 140721791318304 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 15355904 140721791326503 140721791326699 140721791326699 140721791332303 0
/proc/189528/statm: 293131 284228 1024 1200 0 291611 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 1172524 KiB
Current children cumulated memory: 1136912 KiB
[startup+1.50019 s]
/proc/loadavg: 4.25 4.20 4.13 4/259 189623
/proc/meminfo: memFree=127200700/131250000 swapFree=33010160/33010684
[pid=189528] ppid=189525 vsize=1540312 memory=1513592 CPUtime=1.49 cores=4,6
/proc/189528/stat : 189528 (Exact) R 189525 189528 188838 0 -1 4194304 116477 0 0 0 110 39 0 0 20 0 1 0 236298159 1577279488 378398 18446744073709551615 4198400 9112445 140721791318304 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 15355904 140721791326503 140721791326699 140721791326699 140721791332303 0
/proc/189528/statm: 385078 378398 1024 1200 0 383558 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 1540312 KiB
Current children cumulated memory: 1513592 KiB
[startup+3.10553 s]
/proc/loadavg: 4.25 4.20 4.13 5/264 189664
/proc/meminfo: memFree=122923928/131250000 swapFree=33010160/33010684
[pid=189528] ppid=189525 vsize=2462648 memory=2280804 CPUtime=3.09 cores=4,6
/proc/189528/stat : 189528 (Exact) R 189525 189528 188838 0 -1 4194304 250800 0 0 0 242 67 0 0 20 0 1 0 236298159 2521751552 570169 18446744073709551615 4198400 9112445 140721791318304 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 15355904 140721791326503 140721791326699 140721791326699 140721791332303 0
/proc/189528/statm: 615662 570201 1024 1200 0 614142 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2462648 KiB
Current children cumulated memory: 2280804 KiB
[startup+6.30017 s]
/proc/loadavg: 4.23 4.20 4.13 5/264 189665
/proc/meminfo: memFree=120471728/131250000 swapFree=33010160/33010684
[pid=189528] ppid=189525 vsize=3825540 memory=3785796 CPUtime=6.28 cores=4,6
/proc/189528/stat : 189528 (Exact) R 189525 189528 188838 0 -1 4194304 448138 0 0 0 512 116 0 0 20 0 1 0 236298159 3917352960 946449 18446744073709551615 4198400 9112445 140721791318304 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 15355904 140721791326503 140721791326699 140721791326699 140721791332303 0
/proc/189528/statm: 956385 946449 1184 1200 0 954865 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 3825540 KiB
Current children cumulated memory: 3785796 KiB
[startup+12.7002 s]
/proc/loadavg: 4.29 4.21 4.13 5/264 189665
/proc/meminfo: memFree=117013032/131250000 swapFree=33010160/33010684
[pid=189528] ppid=189525 vsize=4501776 memory=4383252 CPUtime=12.65 cores=4,6
/proc/189528/stat : 189528 (Exact) R 189525 189528 188838 0 -1 4194304 489687 0 0 0 1116 149 0 0 20 0 1 0 236298159 4609818624 1095813 18446744073709551615 4198400 9112445 140721791318304 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 15355904 140721791326503 140721791326699 140721791326699 140721791332303 0
/proc/189528/statm: 1125444 1095813 1248 1200 0 1123924 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 4501776 KiB
Current children cumulated memory: 4383252 KiB
[startup+25.5002 s]
/proc/loadavg: 4.33 4.22 4.14 5/265 189666
/proc/meminfo: memFree=116843280/131250000 swapFree=33010160/33010684
[pid=189528] ppid=189525 vsize=4538324 memory=4419736 CPUtime=25.42 cores=4,6
/proc/189528/stat : 189528 (Exact) R 189525 189528 188838 0 -1 4194304 491325 0 0 0 2391 151 0 0 20 0 1 0 236298159 4647243776 1104934 18446744073709551615 4198400 9112445 140721791318304 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 15355904 140721791326503 140721791326699 140721791326699 140721791332303 0
/proc/189528/statm: 1134581 1104934 1248 1200 0 1133061 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 4538324 KiB
Current children cumulated memory: 4419736 KiB
[startup+51.1055 s]
/proc/loadavg: 4.26 4.21 4.14 5/265 189711
/proc/meminfo: memFree=117323420/131250000 swapFree=33010160/33010684
[pid=189528] ppid=189525 vsize=4538324 memory=4421844 CPUtime=50.96 cores=4,6
/proc/189528/stat : 189528 (Exact) R 189525 189528 188838 0 -1 4194304 492109 0 0 0 4943 153 0 0 20 0 1 0 236298159 4647243776 1105461 18446744073709551615 4198400 9112445 140721791318304 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 15355904 140721791326503 140721791326699 140721791326699 140721791332303 0
/proc/189528/statm: 1134581 1105461 1248 1200 0 1133061 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 4538324 KiB
Current children cumulated memory: 4421844 KiB
[startup+102.3 s]
/proc/loadavg: 4.19 4.19 4.13 5/265 189803
/proc/meminfo: memFree=118283996/131250000 swapFree=33010160/33010684
[pid=189528] ppid=189525 vsize=4560972 memory=4444404 CPUtime=102.04 cores=4,6
/proc/189528/stat : 189528 (Exact) R 189525 189528 188838 0 -1 4194304 494870 0 0 0 10048 156 0 0 20 0 1 0 236298159 4670435328 1111101 18446744073709551615 4198400 9112445 140721791318304 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 15355904 140721791326503 140721791326699 140721791326699 140721791332303 0
/proc/189528/statm: 1140243 1111101 1248 1200 0 1138723 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 4560972 KiB
Current children cumulated memory: 4444404 KiB
[startup+162.3 s]
/proc/loadavg: 4.40 4.25 4.16 5/265 189805
/proc/meminfo: memFree=118247404/131250000 swapFree=33010160/33010684
[pid=189528] ppid=189525 vsize=4560972 memory=4450548 CPUtime=161.91 cores=4,6
/proc/189528/stat : 189528 (Exact) R 189525 189528 188838 0 -1 4194304 495538 0 0 0 16033 158 0 0 20 0 1 0 236298159 4670435328 1112637 18446744073709551615 4198400 9112445 140721791318304 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 15355904 140721791326503 140721791326699 140721791326699 140721791332303 0
/proc/189528/statm: 1140243 1112637 1248 1200 0 1138723 0
Current children cumulated CPU time: 161.91 s
Current children cumulated vsize: 4560972 KiB
Current children cumulated memory: 4450548 KiB
[startup+222.3 s]
/proc/loadavg: 4.19 4.22 4.15 5/265 189807
/proc/meminfo: memFree=118178896/131250000 swapFree=33010160/33010684
[pid=189528] ppid=189525 vsize=4597860 memory=4491508 CPUtime=221.76 cores=4,6
/proc/189528/stat : 189528 (Exact) R 189525 189528 188838 0 -1 4194304 505874 0 0 0 22016 160 0 0 20 0 1 0 236298159 4708208640 1122877 18446744073709551615 4198400 9112445 140721791318304 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 15355904 140721791326503 140721791326699 140721791326699 140721791332303 0
/proc/189528/statm: 1149465 1122877 1248 1200 0 1147945 0
Current children cumulated CPU time: 221.76 s
Current children cumulated vsize: 4597860 KiB
Current children cumulated memory: 4491508 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 4.20 4.15 5/266 190889
/proc/meminfo: memFree=117661848/131250000 swapFree=33010160/33010684
[pid=189528] ppid=189525 vsize=4677288 memory=4571064 CPUtime=281.49 cores=4,6
/proc/189528/stat : 189528 (Exact) R 189525 189528 188838 0 -1 4194304 526288 0 0 0 27971 178 0 0 20 0 1 0 236298159 4789542912 1142766 18446744073709551615 4198400 9112445 140721791318304 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 15355904 140721791326503 140721791326699 140721791326699 140721791332303 0
/proc/189528/statm: 1169322 1142766 1248 1200 0 1167802 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 4677288 KiB
Current children cumulated memory: 4571064 KiB
[startup+342.3 s]
/proc/loadavg: 4.17 4.20 4.15 5/266 191026
/proc/meminfo: memFree=117175552/131250000 swapFree=33010160/33010684
[pid=189528] ppid=189525 vsize=4727164 memory=4622892 CPUtime=341.35 cores=4,6
/proc/189528/stat : 189528 (Exact) R 189525 189528 188838 0 -1 4194304 539248 0 0 0 33953 182 0 0 20 0 1 0 236298159 4840615936 1155723 18446744073709551615 4198400 9112445 140721791318304 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 15355904 140721791326503 140721791326699 140721791326699 140721791332303 0
/proc/189528/statm: 1181791 1155723 1248 1200 0 1180271 0
Current children cumulated CPU time: 341.35 s
Current children cumulated vsize: 4727164 KiB
Current children cumulated memory: 4622892 KiB
[startup+402.3 s]
/proc/loadavg: 4.50 4.27 4.18 5/266 191028
/proc/meminfo: memFree=116644084/131250000 swapFree=33010160/33010684
[pid=189528] ppid=189525 vsize=4775524 memory=4675320 CPUtime=401.21 cores=4,6
/proc/189528/stat : 189528 (Exact) R 189525 189528 188838 0 -1 4194304 552515 0 0 0 39934 187 0 0 20 0 1 0 236298159 4890136576 1168830 18446744073709551615 4198400 9112445 140721791318304 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 15355904 140721791326503 140721791326699 140721791326699 140721791332303 0
/proc/189528/statm: 1193881 1168830 1248 1200 0 1192361 0
Current children cumulated CPU time: 401.21 s
Current children cumulated vsize: 4775524 KiB
Current children cumulated memory: 4675320 KiB
[startup+462.3 s]
/proc/loadavg: 4.28 4.25 4.18 5/266 191031
/proc/meminfo: memFree=116448756/131250000 swapFree=33010160/33010684
[pid=189528] ppid=189525 vsize=4827440 memory=4731212 CPUtime=461.07 cores=4,6
/proc/189528/stat : 189528 (Exact) R 189525 189528 188838 0 -1 4194304 565963 0 0 0 45917 190 0 0 20 0 1 0 236298159 4943298560 1182803 18446744073709551615 4198400 9112445 140721791318304 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 15355904 140721791326503 140721791326699 140721791326699 140721791332303 0
################
# More data... #
################
Current children cumulated memory: 4731212 KiB
[startup+522.3 s]
/proc/loadavg: 4.15 4.22 4.17 5/266 191033
/proc/meminfo: memFree=116304008/131250000 swapFree=33010160/33010684
[pid=189528] ppid=189525 vsize=4889628 memory=4793460 CPUtime=520.93 cores=4,6
/proc/189528/stat : 189528 (Exact) R 189525 189528 188838 0 -1 4194304 576810 0 0 0 51900 193 0 0 20 0 1 0 236298159 5006979072 1198365 18446744073709551615 4198400 9112445 140721791318304 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 15355904 140721791326503 140721791326699 140721791326699 140721791332303 0
/proc/189528/statm: 1222407 1198365 1248 1200 0 1220887 0
Current children cumulated CPU time: 520.93 s
Current children cumulated vsize: 4889628 KiB
Current children cumulated memory: 4793460 KiB
[startup+582.3 s]
/proc/loadavg: 4.16 4.21 4.17 5/265 191035
/proc/meminfo: memFree=116126304/131250000 swapFree=33010160/33010684
[pid=189528] ppid=189525 vsize=4934556 memory=4838388 CPUtime=580.78 cores=4,6
/proc/189528/stat : 189528 (Exact) R 189525 189528 188838 0 -1 4194304 589290 0 0 0 57881 197 0 0 20 0 1 0 236298159 5052985344 1209597 18446744073709551615 4198400 9112445 140721791318304 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 15355904 140721791326503 140721791326699 140721791326699 140721791332303 0
/proc/189528/statm: 1233639 1209597 1248 1200 0 1232119 0
Current children cumulated CPU time: 580.78 s
Current children cumulated vsize: 4934556 KiB
Current children cumulated memory: 4838388 KiB
[startup+642.3 s]
/proc/loadavg: 4.12 4.18 4.17 5/265 191083
/proc/meminfo: memFree=116310952/131250000 swapFree=33010160/33010684
[pid=189528] ppid=189525 vsize=5026536 memory=4921040 CPUtime=640.64 cores=4,6
/proc/189528/stat : 189528 (Exact) R 189525 189528 188838 0 -1 4194304 604144 0 0 0 63861 203 0 0 20 0 1 0 236298159 5147172864 1230260 18446744073709551615 4198400 9112445 140721791318304 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 15355904 140721791326503 140721791326699 140721791326699 140721791332303 0
/proc/189528/statm: 1256634 1230260 1248 1200 0 1255114 0
Current children cumulated CPU time: 640.64 s
Current children cumulated vsize: 5026536 KiB
Current children cumulated memory: 4921040 KiB
[startup+702.3 s]
/proc/loadavg: 4.09 4.16 4.16 5/264 191135
/proc/meminfo: memFree=116199808/131250000 swapFree=33010160/33010684
[pid=189528] ppid=189525 vsize=5096328 memory=4981296 CPUtime=700.49 cores=4,6
/proc/189528/stat : 189528 (Exact) R 189525 189528 188838 0 -1 4194304 618109 0 0 0 69840 209 0 0 20 0 1 0 236298159 5218639872 1245324 18446744073709551615 4198400 9112445 140721791318304 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 15355904 140721791326503 140721791326699 140721791326699 140721791332303 0
/proc/189528/statm: 1274082 1245324 1248 1200 0 1272562 0
Current children cumulated CPU time: 700.49 s
Current children cumulated vsize: 5096328 KiB
Current children cumulated memory: 4981296 KiB
[startup+762.3 s]
/proc/loadavg: 4.13 4.16 4.16 5/264 191137
/proc/meminfo: memFree=116078320/131250000 swapFree=33010160/33010684
[pid=189528] ppid=189525 vsize=5111868 memory=5007184 CPUtime=760.35 cores=4,6
/proc/189528/stat : 189528 (Exact) R 189525 189528 188838 0 -1 4194304 624508 0 0 0 75825 210 0 0 20 0 1 0 236298159 5234552832 1251796 18446744073709551615 4198400 9112445 140721791318304 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 15355904 140721791326503 140721791326699 140721791326699 140721791332303 0
/proc/189528/statm: 1277967 1251796 1248 1200 0 1276447 0
Current children cumulated CPU time: 760.35 s
Current children cumulated vsize: 5111868 KiB
Current children cumulated memory: 5007184 KiB
[startup+822.3 s]
/proc/loadavg: 4.09 4.14 4.16 5/264 191410
/proc/meminfo: memFree=116233312/131250000 swapFree=33010160/33010684
[pid=189528] ppid=189525 vsize=5161816 memory=5056976 CPUtime=820.2 cores=4,6
/proc/189528/stat : 189528 (Exact) R 189525 189528 188838 0 -1 4194304 637646 0 0 0 81805 215 0 0 20 0 1 0 236298159 5285699584 1264244 18446744073709551615 4198400 9112445 140721791318304 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 15355904 140721791326503 140721791326699 140721791326699 140721791332303 0
/proc/189528/statm: 1290454 1264244 1248 1200 0 1288934 0
Current children cumulated CPU time: 820.2 s
Current children cumulated vsize: 5161816 KiB
Current children cumulated memory: 5056976 KiB
[startup+882.3 s]
/proc/loadavg: 4.15 4.15 4.16 5/264 191412
/proc/meminfo: memFree=116111644/131250000 swapFree=33010160/33010684
[pid=189528] ppid=189525 vsize=5204384 memory=5099600 CPUtime=880.06 cores=4,6
/proc/189528/stat : 189528 (Exact) R 189525 189528 188838 0 -1 4194304 649429 0 0 0 87788 218 0 0 20 0 1 0 236298159 5329289216 1274900 18446744073709551615 4198400 9112445 140721791318304 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 15355904 140721791326503 140721791326699 140721791326699 140721791332303 0
/proc/189528/statm: 1301096 1274900 1248 1200 0 1299576 0
Current children cumulated CPU time: 880.06 s
Current children cumulated vsize: 5204384 KiB
Current children cumulated memory: 5099600 KiB
[startup+911.139 s]
# the end of solver process 189528 was just reported to runsolver
# Child status: 20
# cumulated CPU time of all completed processes: user=906.567 s, system=2.27289 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+896 s]*
/proc/loadavg: 4.13 4.14 4.15 5/264 191412
/proc/meminfo: memFree=116082704/131250000 swapFree=33010160/33010684
[pid=189528] ppid=189525 vsize=5213756 memory=5109072 CPUtime=893.74 cores=4,6
/proc/189528/stat : 189528 (Exact) R 189525 189528 188838 0 -1 4194304 652023 0 0 0 89155 219 0 0 20 0 1 0 236298159 5338886144 1277268 18446744073709551615 4198400 9112445 140721791318304 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 15355904 140721791326503 140721791326699 140721791326699 140721791332303 0
/proc/189528/statm: 1303439 1277268 1248 1200 0 1301919 0
Current children cumulated CPU time: 893.74 s
Current children cumulated vsize: 5213756 KiB
Current children cumulated memory: 5109072 KiB
[startup+902.4 s]
/proc/loadavg: 4.11 4.14 4.15 5/264 191412
/proc/meminfo: memFree=116068604/131250000 swapFree=33010160/33010684
[pid=189528] ppid=189525 vsize=5223828 memory=5119100 CPUtime=900.11 cores=4,6
/proc/189528/stat : 189528 (Exact) R 189525 189528 188838 0 -1 4194304 654401 0 0 0 89792 219 0 0 20 0 1 0 236298159 5349199872 1279775 18446744073709551615 4198400 9112445 140721791318304 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 15355904 140721791326503 140721791326699 140721791326699 140721791332303 0
/proc/189528/statm: 1305957 1279775 1248 1200 0 1304437 0
Current children cumulated CPU time: 900.11 s
Current children cumulated vsize: 5223828 KiB
Current children cumulated memory: 5119100 KiB
[startup+905.6 s]
/proc/loadavg: 4.11 4.14 4.15 5/264 191412
/proc/meminfo: memFree=116048252/131250000 swapFree=33010160/33010684
[pid=189528] ppid=189525 vsize=5225676 memory=5120892 CPUtime=903.31 cores=4,6
/proc/189528/stat : 189528 (Exact) R 189525 189528 188838 0 -1 4194304 655089 0 0 0 90111 220 0 0 20 0 1 0 236298159 5351092224 1280223 18446744073709551615 4198400 9112445 140721791318304 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 15355904 140721791326503 140721791326699 140721791326699 140721791332303 0
/proc/189528/statm: 1306419 1280223 1248 1200 0 1304899 0
Current children cumulated CPU time: 903.31 s
Current children cumulated vsize: 5225676 KiB
Current children cumulated memory: 5120892 KiB
[startup+908.8 s]
/proc/loadavg: 4.10 4.14 4.15 5/264 191412
/proc/meminfo: memFree=116048252/131250000 swapFree=33010160/33010684
[pid=189528] ppid=189525 vsize=5226600 memory=5121916 CPUtime=906.5 cores=4,6
/proc/189528/stat : 189528 (Exact) R 189525 189528 188838 0 -1 4194304 655417 0 0 0 90430 220 0 0 20 0 1 0 236298159 5352038400 1280479 18446744073709551615 4198400 9112445 140721791318304 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 15355904 140721791326503 140721791326699 140721791326699 140721791332303 0
/proc/189528/statm: 1306650 1280479 1248 1200 0 1305130 0
Current children cumulated CPU time: 906.5 s
Current children cumulated vsize: 5226600 KiB
Current children cumulated memory: 5121916 KiB
[startup+910.4 s]
/proc/loadavg: 4.10 4.14 4.15 5/264 191412
/proc/meminfo: memFree=116069420/131250000 swapFree=33010160/33010684
[pid=189528] ppid=189525 vsize=4482996 memory=4243556 CPUtime=908.09 cores=4,6
/proc/189528/stat : 189528 (Exact) R 189525 189528 188838 0 -1 4194304 658371 0 0 0 90588 221 0 0 20 0 1 0 236298159 4590587904 1060889 18446744073709551615 4198400 9112445 140721791318304 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 15355904 140721791326503 140721791326699 140721791326699 140721791332303 0
/proc/189528/statm: 1120749 1060889 1280 1200 0 1119229 0
Current children cumulated CPU time: 908.09 s
Current children cumulated vsize: 4482996 KiB
Current children cumulated memory: 4243556 KiB
[startup+910.8 s]
/proc/loadavg: 4.10 4.14 4.15 5/264 191412
/proc/meminfo: memFree=116069420/131250000 swapFree=33010160/33010684
[pid=189528] ppid=189525 vsize=3892768 memory=3817168 CPUtime=908.49 cores=4,6
/proc/189528/stat : 189528 (Exact) R 189525 189528 188838 0 -1 4194304 658379 0 0 0 90628 221 0 0 20 0 1 0 236298159 3986194432 954292 18446744073709551615 4198400 9112445 140721791318304 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 15355904 140721791326503 140721791326699 140721791326699 140721791332303 0
/proc/189528/statm: 973192 954292 1280 1200 0 971672 0
Current children cumulated CPU time: 908.49 s
Current children cumulated vsize: 3892768 KiB
Current children cumulated memory: 3817168 KiB
[startup+911 s]*
/proc/loadavg: 4.10 4.14 4.15 5/264 191412
/proc/meminfo: memFree=117344432/131250000 swapFree=33010160/33010684
[pid=189528] ppid=189525 vsize=3892768 memory=3817168 CPUtime=908.69 cores=4,6
/proc/189528/stat : 189528 (Exact) R 189525 189528 188838 0 -1 4194304 658379 0 0 0 90648 221 0 0 20 0 1 0 236298159 3986194432 954292 18446744073709551615 4198400 9112445 140721791318304 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 15355904 140721791326503 140721791326699 140721791326699 140721791332303 0
/proc/189528/statm: 973192 954292 1280 1200 0 971672 0
Current children cumulated CPU time: 908.69 s
Current children cumulated vsize: 3892768 KiB
Current children cumulated memory: 3817168 KiB
[startup+911.106 s]*
/proc/loadavg: 4.10 4.14 4.15 5/264 191412
/proc/meminfo: memFree=119838408/131250000 swapFree=33010160/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 20
Real time (s): 911.139
CPU time (s): 908.84
CPU user time (s): 906.567
CPU system time (s): 2.27289
CPU usage (%): 99.7476
Max. virtual memory (cumulated for all children) (KiB): 5257464
Max. memory (cumulated for all children) (KiB): 5152832
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 906.567
system time used= 2.27289
maximum resident set size= 5152832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 658407
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 43
involuntary context switches= 1252
# summary of solver processes directly reported to runsolver:
# pid: 189528
# total CPU time (s): 908.84
# total CPU user time (s): 906.567
# total CPU system time (s): 2.27289
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.80624 second user time and 4.03594 second system time
The end
Begin job on nodeC016 at 2025-07-22 19:43:26
IDJOB=4542445
IDBENCH=163928
IDSOLVER=3318
FILE ID=nodeC016/4542445-1753206206
RUNJOBID= nodeC016-1753198970-188856
SLURM_JOB_ID= 9687749
Free space on /tmp= 432960 MiB
SOLVER NAME= Exact_no_db_no_ls 2025-06-19
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/dec/normalized-composed_pebbling_php_pyramid_height44_pigeons43_holes42.opb
COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED --ls=0 --inp-dombreaklim=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4542445-1753206206/watcher-4542445-1753206206 -o /tmp/evaluation-result-4542445-1753206206/solver-4542445-1753206206 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1753198970-188856 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=788495262 --ls=0 --inp-dombreaklim=0 HOME/instance-4542445-1753206206.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 67ed6d0a845cd2604ef9c9dd089eeee0
RANDOM SEED=788495262
nodeC016 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 : 0xb00002a
cpu MHz : 3599.715
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 pti ibrs ibpb stibp 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 : 6999.48
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 : 3599.755
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 pti ibrs ibpb stibp 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 : 6999.48
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 : 3619.492
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 pti ibrs ibpb stibp 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 : 6999.48
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 : 3598.619
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 pti ibrs ibpb stibp 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 : 6999.48
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 : 3685.297
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 pti ibrs ibpb stibp 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 : 6999.48
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 : 3685.429
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 pti ibrs ibpb stibp 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 : 6999.48
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 : 3599.739
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 pti ibrs ibpb stibp 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 : 6999.48
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 : 3600.202
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 pti ibrs ibpb stibp 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 : 6999.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 127555004 kB
MemAvailable: 128424716 kB
Buffers: 2144 kB
Cached: 1585624 kB
SwapCached: 24 kB
Active: 2488232 kB
Inactive: 348724 kB
Active(anon): 1273320 kB
Inactive(anon): 2108 kB
Active(file): 1214912 kB
Inactive(file): 346616 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 52864 kB
Writeback: 0 kB
AnonPages: 1251572 kB
Mapped: 118992 kB
Shmem: 26240 kB
KReclaimable: 294848 kB
Slab: 394040 kB
SReclaimable: 294848 kB
SUnreclaim: 99192 kB
KernelStack: 4304 kB
PageTables: 5740 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 1687644 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150536 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1130496 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: 201428 kB
DirectMap2M: 7958528 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432900 MiB
End job on nodeC016 at 2025-07-22 19:58:37