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: 63665 MiB (62044 MiB free)
memory of node 1: 64507 MiB (56551 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4519217-1751550191/watcher-4519217-1751550191 -o /tmp/evaluation-result-4519217-1751550191/solver-4519217-1751550191 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751550189-85842 --watchdog 3760 ./ExactPR-S --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4519217-1751550191.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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=85943, runsolver pid=85940
[startup+0.100058 s]*
/proc/loadavg: 0.83 2.36 2.83 5/266 85944
/proc/meminfo: memFree=121442060/131249996 swapFree=33010684/33010684
[pid=85943] ppid=85940 vsize=54156 memory=13704 CPUtime=0.08 cores=5,7
/proc/85943/stat : 85943 (ExactPR-S) R 85940 85943 85806 0 -1 4194304 1990 0 0 0 8 0 0 0 20 0 1 0 70697010 55455744 3426 18446744073709551615 94851565977600 94851575277637 140730099768736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94851577063744 94851577102824 94851606609920 140730099775873 140730099776010 140730099776010 140730099781612 0
/proc/85943/statm: 13539 3426 1856 2271 0 8177 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 54156 KiB
Current children cumulated memory: 13704 KiB
[startup+0.204416 s]*
/proc/loadavg: 0.83 2.36 2.83 5/266 85944
/proc/meminfo: memFree=121442060/131249996 swapFree=33010684/33010684
[pid=85943] ppid=85940 vsize=55540 memory=15112 CPUtime=0.19 cores=5,7
/proc/85943/stat : 85943 (ExactPR-S) R 85940 85943 85806 0 -1 4194304 2320 0 0 0 16 3 0 0 20 0 1 0 70697010 56872960 3778 18446744073709551615 94851565977600 94851575277637 140730099768736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94851577063744 94851577102824 94851606609920 140730099775873 140730099776010 140730099776010 140730099781612 0
/proc/85943/statm: 13885 3778 1888 2271 0 8523 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 55540 KiB
Current children cumulated memory: 15112 KiB
[startup+0.304348 s]*
/proc/loadavg: 0.83 2.36 2.83 5/266 85944
/proc/meminfo: memFree=121442060/131249996 swapFree=33010684/33010684
[pid=85943] ppid=85940 vsize=55540 memory=15112 CPUtime=0.29 cores=5,7
/proc/85943/stat : 85943 (ExactPR-S) R 85940 85943 85806 0 -1 4194304 2320 0 0 0 24 5 0 0 20 0 1 0 70697010 56872960 3778 18446744073709551615 94851565977600 94851575277637 140730099768736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94851577063744 94851577102824 94851606609920 140730099775873 140730099776010 140730099776010 140730099781612 0
/proc/85943/statm: 13885 3778 1888 2271 0 8523 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 55540 KiB
Current children cumulated memory: 15112 KiB
[startup+0.700097 s]
/proc/loadavg: 0.83 2.36 2.83 5/266 85944
/proc/meminfo: memFree=121442060/131249996 swapFree=33010684/33010684
[pid=85943] ppid=85940 vsize=55540 memory=15112 CPUtime=0.68 cores=5,7
/proc/85943/stat : 85943 (ExactPR-S) R 85940 85943 85806 0 -1 4194304 2320 0 0 0 53 15 0 0 20 0 1 0 70697010 56872960 3778 18446744073709551615 94851565977600 94851575277637 140730099768736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94851577063744 94851577102824 94851606609920 140730099775873 140730099776010 140730099776010 140730099781612 0
/proc/85943/statm: 13885 3778 1888 2271 0 8523 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 55540 KiB
Current children cumulated memory: 15112 KiB
[startup+1.50009 s]
/proc/loadavg: 0.83 2.36 2.83 5/266 85944
/proc/meminfo: memFree=121438004/131249996 swapFree=33010684/33010684
[pid=85943] ppid=85940 vsize=55540 memory=15112 CPUtime=1.48 cores=5,7
/proc/85943/stat : 85943 (ExactPR-S) R 85940 85943 85806 0 -1 4194304 2320 0 0 0 113 35 0 0 20 0 1 0 70697010 56872960 3778 18446744073709551615 94851565977600 94851575277637 140730099768736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94851577063744 94851577102824 94851606609920 140730099775873 140730099776010 140730099776010 140730099781612 0
/proc/85943/statm: 13885 3778 1888 2271 0 8523 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 55540 KiB
Current children cumulated memory: 15112 KiB
[startup+3.1044 s]
/proc/loadavg: 1.08 2.39 2.83 5/266 85944
/proc/meminfo: memFree=121438280/131249996 swapFree=33010684/33010684
[pid=85943] ppid=85940 vsize=55540 memory=15112 CPUtime=3.08 cores=5,7
/proc/85943/stat : 85943 (ExactPR-S) R 85940 85943 85806 0 -1 4194304 2320 0 0 0 228 80 0 0 20 0 1 0 70697010 56872960 3778 18446744073709551615 94851565977600 94851575277637 140730099768736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94851577063744 94851577102824 94851606609920 140730099775873 140730099776010 140730099776010 140730099781612 0
/proc/85943/statm: 13885 3778 1888 2271 0 8523 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 55540 KiB
Current children cumulated memory: 15112 KiB
[startup+6.30009 s]
/proc/loadavg: 1.08 2.39 2.83 5/266 85944
/proc/meminfo: memFree=121414020/131249996 swapFree=33010684/33010684
[pid=85943] ppid=85940 vsize=55540 memory=15112 CPUtime=6.27 cores=5,7
/proc/85943/stat : 85943 (ExactPR-S) R 85940 85943 85806 0 -1 4194304 2320 0 0 0 465 162 0 0 20 0 1 0 70697010 56872960 3778 18446744073709551615 94851565977600 94851575277637 140730099768736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94851577063744 94851577102824 94851606609920 140730099775873 140730099776010 140730099776010 140730099781612 0
/proc/85943/statm: 13885 3778 1888 2271 0 8523 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 55540 KiB
Current children cumulated memory: 15112 KiB
[startup+12.7001 s]
/proc/loadavg: 1.61 2.46 2.85 5/266 85944
/proc/meminfo: memFree=121348808/131249996 swapFree=33010684/33010684
[pid=85943] ppid=85940 vsize=55540 memory=15112 CPUtime=12.65 cores=5,7
/proc/85943/stat : 85943 (ExactPR-S) R 85940 85943 85806 0 -1 4194304 2320 0 0 0 935 330 0 0 20 0 1 0 70697010 56872960 3778 18446744073709551615 94851565977600 94851575277637 140730099768736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94851577063744 94851577102824 94851606609920 140730099775873 140730099776010 140730099776010 140730099781612 0
/proc/85943/statm: 13885 3778 1888 2271 0 8523 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 55540 KiB
Current children cumulated memory: 15112 KiB
[startup+25.5001 s]
/proc/loadavg: 1.98 2.51 2.86 5/266 85944
/proc/meminfo: memFree=121345188/131249996 swapFree=33010684/33010684
[pid=85943] ppid=85940 vsize=55540 memory=15112 CPUtime=25.43 cores=5,7
/proc/85943/stat : 85943 (ExactPR-S) R 85940 85943 85806 0 -1 4194304 2320 0 0 0 1849 694 0 0 20 0 1 0 70697010 56872960 3778 18446744073709551615 94851565977600 94851575277637 140730099768736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94851577063744 94851577102824 94851606609920 140730099775873 140730099776010 140730099776010 140730099781612 0
/proc/85943/statm: 13885 3778 1888 2271 0 8523 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 55540 KiB
Current children cumulated memory: 15112 KiB
[startup+51.1042 s]
/proc/loadavg: 2.67 2.63 2.90 5/266 85945
/proc/meminfo: memFree=121317216/131249996 swapFree=33010684/33010684
[pid=85943] ppid=85940 vsize=55540 memory=15112 CPUtime=50.98 cores=5,7
/proc/85943/stat : 85943 (ExactPR-S) R 85940 85943 85806 0 -1 4194304 2320 0 0 0 3702 1396 0 0 20 0 1 0 70697010 56872960 3778 18446744073709551615 94851565977600 94851575277637 140730099768736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94851577063744 94851577102824 94851606609920 140730099775873 140730099776010 140730099776010 140730099781612 0
/proc/85943/statm: 13885 3778 1888 2271 0 8523 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 55540 KiB
Current children cumulated memory: 15112 KiB
[startup+102.3 s]
/proc/loadavg: 3.59 2.90 2.97 6/266 85946
/proc/meminfo: memFree=121206168/131249996 swapFree=33010684/33010684
[pid=85943] ppid=85940 vsize=69692 memory=44652 CPUtime=102.06 cores=5,7
/proc/85943/stat : 85943 (ExactPR-S) R 85940 85943 85806 0 -1 4194304 8419 0 0 0 8539 1667 0 0 20 0 1 0 70697010 71364608 11163 18446744073709551615 94851565977600 94851575277637 140730099768736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94851577063744 94851577102824 94851606609920 140730099775873 140730099776010 140730099776010 140730099781612 0
/proc/85943/statm: 17423 11163 2048 2271 0 12061 0
Current children cumulated CPU time: 102.06 s
Current children cumulated vsize: 69692 KiB
Current children cumulated memory: 44652 KiB
[startup+162.3 s]
/proc/loadavg: 3.91 3.12 3.04 5/266 85948
/proc/meminfo: memFree=121107096/131249996 swapFree=33010684/33010684
[pid=85943] ppid=85940 vsize=91296 memory=57688 CPUtime=161.92 cores=5,7
/proc/85943/stat : 85943 (ExactPR-S) R 85940 85943 85806 0 -1 4194304 12390 0 0 0 14483 1709 0 0 20 0 1 0 70697010 93487104 14422 18446744073709551615 94851565977600 94851575277637 140730099768736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94851577063744 94851577102824 94851606609920 140730099775873 140730099776010 140730099776010 140730099781612 0
/proc/85943/statm: 22824 14422 2048 2271 0 17462 0
Current children cumulated CPU time: 161.92 s
Current children cumulated vsize: 91296 KiB
Current children cumulated memory: 57688 KiB
[startup+222.3 s]
/proc/loadavg: 4.01 3.29 3.11 5/267 85952
/proc/meminfo: memFree=120991044/131249996 swapFree=33010684/33010684
[pid=85943] ppid=85940 vsize=95292 memory=63748 CPUtime=221.77 cores=5,7
/proc/85943/stat : 85943 (ExactPR-S) R 85940 85943 85806 0 -1 4194304 13408 0 0 0 20434 1743 0 0 20 0 1 0 70697010 97579008 15937 18446744073709551615 94851565977600 94851575277637 140730099768736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94851577063744 94851577102824 94851606609920 140730099775873 140730099776010 140730099776010 140730099781612 0
/proc/85943/statm: 23823 15937 2048 2271 0 18461 0
Current children cumulated CPU time: 221.77 s
Current children cumulated vsize: 95292 KiB
Current children cumulated memory: 63748 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 3.46 3.18 5/266 85954
/proc/meminfo: memFree=120989104/131249996 swapFree=33010684/33010684
[pid=85943] ppid=85940 vsize=98280 memory=70736 CPUtime=281.62 cores=5,7
/proc/85943/stat : 85943 (ExactPR-S) R 85940 85943 85806 0 -1 4194304 14143 0 0 0 26389 1773 0 0 20 0 1 0 70697010 100638720 17684 18446744073709551615 94851565977600 94851575277637 140730099768736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94851577063744 94851577102824 94851606609920 140730099775873 140730099776010 140730099776010 140730099781612 0
/proc/85943/statm: 24570 17684 2048 2271 0 19208 0
Current children cumulated CPU time: 281.62 s
Current children cumulated vsize: 98280 KiB
Current children cumulated memory: 70736 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 3.59 3.25 5/265 85956
/proc/meminfo: memFree=120972116/131249996 swapFree=33010684/33010684
[pid=85943] ppid=85940 vsize=99640 memory=72144 CPUtime=341.49 cores=5,7
/proc/85943/stat : 85943 (ExactPR-S) R 85940 85943 85806 0 -1 4194304 14503 0 0 0 32338 1811 0 0 20 0 1 0 70697010 102031360 18036 18446744073709551615 94851565977600 94851575277637 140730099768736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94851577063744 94851577102824 94851606609920 140730099775873 140730099776010 140730099776010 140730099781612 0
/proc/85943/statm: 24910 18036 2048 2271 0 19548 0
Current children cumulated CPU time: 341.49 s
Current children cumulated vsize: 99640 KiB
Current children cumulated memory: 72144 KiB
[startup+402.3 s]
/proc/loadavg: 4.17 3.70 3.31 5/265 85961
/proc/meminfo: memFree=120954020/131249996 swapFree=33010684/33010684
[pid=85943] ppid=85940 vsize=101436 memory=75996 CPUtime=401.33 cores=5,7
/proc/85943/stat : 85943 (ExactPR-S) R 85940 85943 85806 0 -1 4194304 14956 0 0 0 38287 1846 0 0 20 0 1 0 70697010 103870464 18999 18446744073709551615 94851565977600 94851575277637 140730099768736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94851577063744 94851577102824 94851606609920 140730099775873 140730099776010 140730099776010 140730099781612 0
/proc/85943/statm: 25359 18999 2048 2271 0 19997 0
Current children cumulated CPU time: 401.33 s
Current children cumulated vsize: 101436 KiB
Current children cumulated memory: 75996 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 3.77 3.36 5/265 85963
/proc/meminfo: memFree=120927848/131249996 swapFree=33010684/33010684
[pid=85943] ppid=85940 vsize=102880 memory=79836 CPUtime=461.15 cores=5,7
/proc/85943/stat : 85943 (ExactPR-S) R 85940 85943 85806 0 -1 4194304 15386 0 0 0 44236 1879 0 0 20 0 1 0 70697010 105349120 19959 18446744073709551615 94851565977600 94851575277637 140730099768736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94851577063744 94851577102824 94851606609920 140730099775873 140730099776010 140730099776010 140730099781612 0
/proc/85943/statm: 25720 19959 2048 2271 0 20358 0
Current children cumulated CPU time: 461.15 s
################
# More data... #
################
Current children cumulated memory: 105712 KiB
[startup+2922.3 s]
/proc/loadavg: 4.11 4.10 4.03 5/264 86101
/proc/meminfo: memFree=120735632/131249996 swapFree=33010684/33010684
[pid=85943] ppid=85940 vsize=126884 memory=105968 CPUtime=2915.25 cores=5,7
/proc/85943/stat : 85943 (ExactPR-S) R 85940 85943 85806 0 -1 4194304 21487 0 0 0 288231 3294 0 0 20 0 1 0 70697010 129929216 26492 18446744073709551615 94851565977600 94851575277637 140730099768736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94851577063744 94851577102824 94851606609920 140730099775873 140730099776010 140730099776010 140730099781612 0
/proc/85943/statm: 31721 26492 2048 2271 0 26359 0
Current children cumulated CPU time: 2915.25 s
Current children cumulated vsize: 126884 KiB
Current children cumulated memory: 105968 KiB
[startup+2982.3 s]
/proc/loadavg: 4.08 4.09 4.03 5/264 86103
/proc/meminfo: memFree=120739448/131249996 swapFree=33010684/33010684
[pid=85943] ppid=85940 vsize=127104 memory=106096 CPUtime=2975.11 cores=5,7
/proc/85943/stat : 85943 (ExactPR-S) R 85940 85943 85806 0 -1 4194304 21522 0 0 0 294184 3327 0 0 20 0 1 0 70697010 130154496 26524 18446744073709551615 94851565977600 94851575277637 140730099768736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94851577063744 94851577102824 94851606609920 140730099775873 140730099776010 140730099776010 140730099781612 0
/proc/85943/statm: 31776 26524 2048 2271 0 26414 0
Current children cumulated CPU time: 2975.11 s
Current children cumulated vsize: 127104 KiB
Current children cumulated memory: 106096 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.10 4.03 5/264 86105
/proc/meminfo: memFree=120723172/131249996 swapFree=33010684/33010684
[pid=85943] ppid=85940 vsize=127428 memory=106480 CPUtime=3034.98 cores=5,7
/proc/85943/stat : 85943 (ExactPR-S) R 85940 85943 85806 0 -1 4194304 21620 0 0 0 300150 3348 0 0 20 0 1 0 70697010 130486272 26620 18446744073709551615 94851565977600 94851575277637 140730099768736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94851577063744 94851577102824 94851606609920 140730099775873 140730099776010 140730099776010 140730099781612 0
/proc/85943/statm: 31857 26620 2048 2271 0 26495 0
Current children cumulated CPU time: 3034.98 s
Current children cumulated vsize: 127428 KiB
Current children cumulated memory: 106480 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.10 4.03 5/264 86107
/proc/meminfo: memFree=120708404/131249996 swapFree=33010684/33010684
[pid=85943] ppid=85940 vsize=150416 memory=110520 CPUtime=3094.83 cores=5,7
/proc/85943/stat : 85943 (ExactPR-S) R 85940 85943 85806 0 -1 4194304 22008 0 0 0 306092 3391 0 0 20 0 1 0 70697010 154025984 27630 18446744073709551615 94851565977600 94851575277637 140730099768736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94851577063744 94851577102824 94851606609920 140730099775873 140730099776010 140730099776010 140730099781612 0
/proc/85943/statm: 37604 27630 2048 2271 0 32242 0
Current children cumulated CPU time: 3094.83 s
Current children cumulated vsize: 150416 KiB
Current children cumulated memory: 110520 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.11 4.04 5/264 86110
/proc/meminfo: memFree=120709240/131249996 swapFree=33010684/33010684
[pid=85943] ppid=85940 vsize=150416 memory=110520 CPUtime=3154.7 cores=5,7
/proc/85943/stat : 85943 (ExactPR-S) R 85940 85943 85806 0 -1 4194304 22008 0 0 0 312048 3422 0 0 20 0 1 0 70697010 154025984 27630 18446744073709551615 94851565977600 94851575277637 140730099768736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94851577063744 94851577102824 94851606609920 140730099775873 140730099776010 140730099776010 140730099781612 0
/proc/85943/statm: 37604 27630 2048 2271 0 32242 0
Current children cumulated CPU time: 3154.7 s
Current children cumulated vsize: 150416 KiB
Current children cumulated memory: 110520 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.10 4.04 5/263 86112
/proc/meminfo: memFree=120700748/131249996 swapFree=33010684/33010684
[pid=85943] ppid=85940 vsize=150572 memory=110520 CPUtime=3214.56 cores=5,7
/proc/85943/stat : 85943 (ExactPR-S) R 85940 85943 85806 0 -1 4194304 22018 0 0 0 317997 3459 0 0 20 0 1 0 70697010 154185728 27630 18446744073709551615 94851565977600 94851575277637 140730099768736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94851577063744 94851577102824 94851606609920 140730099775873 140730099776010 140730099776010 140730099781612 0
/proc/85943/statm: 37643 27630 2048 2271 0 32281 0
Current children cumulated CPU time: 3214.56 s
Current children cumulated vsize: 150572 KiB
Current children cumulated memory: 110520 KiB
[startup+3282.3 s]
/proc/loadavg: 4.16 4.11 4.04 5/264 86115
/proc/meminfo: memFree=120700236/131249996 swapFree=33010684/33010684
[pid=85943] ppid=85940 vsize=150572 memory=110520 CPUtime=3274.42 cores=5,7
/proc/85943/stat : 85943 (ExactPR-S) R 85940 85943 85806 0 -1 4194304 22023 0 0 0 323948 3494 0 0 20 0 1 0 70697010 154185728 27630 18446744073709551615 94851565977600 94851575277637 140730099768736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94851577063744 94851577102824 94851606609920 140730099775873 140730099776010 140730099776010 140730099781612 0
/proc/85943/statm: 37643 27630 2048 2271 0 32281 0
Current children cumulated CPU time: 3274.42 s
Current children cumulated vsize: 150572 KiB
Current children cumulated memory: 110520 KiB
[startup+3342.3 s]
/proc/loadavg: 4.21 4.12 4.05 5/264 86117
/proc/meminfo: memFree=120684832/131249996 swapFree=33010684/33010684
[pid=85943] ppid=85940 vsize=150704 memory=110648 CPUtime=3334.28 cores=5,7
/proc/85943/stat : 85943 (ExactPR-S) R 85940 85943 85806 0 -1 4194304 22055 0 0 0 329902 3526 0 0 20 0 1 0 70697010 154320896 27662 18446744073709551615 94851565977600 94851575277637 140730099768736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94851577063744 94851577102824 94851606609920 140730099775873 140730099776010 140730099776010 140730099781612 0
/proc/85943/statm: 37676 27662 2048 2271 0 32314 0
Current children cumulated CPU time: 3334.28 s
Current children cumulated vsize: 150704 KiB
Current children cumulated memory: 110648 KiB
[startup+3402.3 s]
/proc/loadavg: 4.32 4.19 4.08 5/264 86121
/proc/meminfo: memFree=120692132/131249996 swapFree=33010684/33010684
[pid=85943] ppid=85940 vsize=150704 memory=110776 CPUtime=3394.14 cores=5,7
/proc/85943/stat : 85943 (ExactPR-S) R 85940 85943 85806 0 -1 4194304 22060 0 0 0 335854 3560 0 0 20 0 1 0 70697010 154320896 27694 18446744073709551615 94851565977600 94851575277637 140730099768736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94851577063744 94851577102824 94851606609920 140730099775873 140730099776010 140730099776010 140730099781612 0
/proc/85943/statm: 37676 27694 2048 2271 0 32314 0
Current children cumulated CPU time: 3394.14 s
Current children cumulated vsize: 150704 KiB
Current children cumulated memory: 110776 KiB
[startup+3462.3 s]
/proc/loadavg: 4.23 4.18 4.08 5/265 86125
/proc/meminfo: memFree=120691372/131249996 swapFree=33010684/33010684
[pid=85943] ppid=85940 vsize=150704 memory=110776 CPUtime=3454.01 cores=5,7
/proc/85943/stat : 85943 (ExactPR-S) R 85940 85943 85806 0 -1 4194304 22073 0 0 0 341808 3593 0 0 20 0 1 0 70697010 154320896 27694 18446744073709551615 94851565977600 94851575277637 140730099768736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94851577063744 94851577102824 94851606609920 140730099775873 140730099776010 140730099776010 140730099781612 0
/proc/85943/statm: 37676 27694 2048 2271 0 32314 0
Current children cumulated CPU time: 3454.01 s
Current children cumulated vsize: 150704 KiB
Current children cumulated memory: 110776 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.16 4.08 5/266 86132
/proc/meminfo: memFree=120682300/131249996 swapFree=33010684/33010684
[pid=85943] ppid=85940 vsize=150704 memory=110776 CPUtime=3513.87 cores=5,7
/proc/85943/stat : 85943 (ExactPR-S) R 85940 85943 85806 0 -1 4194304 22089 0 0 0 347761 3626 0 0 20 0 1 0 70697010 154320896 27694 18446744073709551615 94851565977600 94851575277637 140730099768736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94851577063744 94851577102824 94851606609920 140730099775873 140730099776010 140730099776010 140730099781612 0
/proc/85943/statm: 37676 27694 2048 2271 0 32314 0
Current children cumulated CPU time: 3513.87 s
Current children cumulated vsize: 150704 KiB
Current children cumulated memory: 110776 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.14 4.08 5/265 86134
/proc/meminfo: memFree=120692020/131249996 swapFree=33010684/33010684
[pid=85943] ppid=85940 vsize=150848 memory=110904 CPUtime=3573.73 cores=5,7
/proc/85943/stat : 85943 (ExactPR-S) R 85940 85943 85806 0 -1 4194304 22131 0 0 0 353715 3658 0 0 20 0 1 0 70697010 154468352 27726 18446744073709551615 94851565977600 94851575277637 140730099768736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94851577063744 94851577102824 94851606609920 140730099775873 140730099776010 140730099776010 140730099781612 0
/proc/85943/statm: 37712 27726 2048 2271 0 32350 0
Current children cumulated CPU time: 3573.73 s
Current children cumulated vsize: 150848 KiB
Current children cumulated memory: 110904 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.7 s]
/proc/loadavg: 4.11 4.15 4.09 3/255 86152
/proc/meminfo: memFree=121394484/131249996 swapFree=33010684/33010684
[pid=85943] ppid=85940 vsize=150848 memory=110904 CPUtime=3600.06 cores=5,7
/proc/85943/stat : 85943 (ExactPR-S) R 85940 85943 85806 0 -1 4194304 22131 0 0 0 356331 3675 0 0 20 0 1 0 70697010 154468352 27726 18446744073709551615 94851565977600 94851575277637 140730099768736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94851577063744 94851577102824 94851606609920 140730099775873 140730099776010 140730099776010 140730099781612 0
/proc/85943/statm: 37712 27726 2048 2271 0 32350 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 150848 KiB
Current children cumulated memory: 110904 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.7 s]
# the end of solver process 85943 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3563.32 s, system=36.7583 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3608.7 s]
/proc/loadavg: 4.11 4.15 4.09 3/255 86152
/proc/meminfo: memFree=121394484/131249996 swapFree=33010684/33010684
[pid=85943] ppid=85940 vsize=150848 memory=110904 CPUtime=3600.06 cores=5,7
/proc/85943/stat : 85943 (ExactPR-S) R 85940 85943 85806 0 -1 4194304 22131 0 0 0 356331 3675 0 0 20 0 1 0 70697010 154468352 27726 18446744073709551615 94851565977600 94851575277637 140730099768736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94851577063744 94851577102824 94851606609920 140730099775873 140730099776010 140730099776010 140730099781612 0
/proc/85943/statm: 37712 27726 2048 2271 0 32350 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 150848 KiB
Current children cumulated memory: 110904 KiB
Child status: 10
Real time (s): 3608.7
CPU time (s): 3600.08
CPU user time (s): 3563.32
CPU system time (s): 36.7583
CPU usage (%): 99.761
Max. virtual memory (cumulated for all children) (KiB): 180272
Max. memory (cumulated for all children) (KiB): 136232
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3563.32
system time used= 36.7583
maximum resident set size= 138280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22140
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= 137
involuntary context switches= 2257
# summary of solver processes directly reported to runsolver:
# pid: 85943
# total CPU time (s): 3600.08
# total CPU user time (s): 3563.32
# total CPU system time (s): 36.7583
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.96947 second user time and 15.6942 second system time
The end
Begin job on nodeC024 at 2025-07-03 15:43:11
IDJOB=4519217
IDBENCH=177196
IDSOLVER=3326
FILE ID=nodeC024/4519217-1751550191
RUNJOBID= nodeC024-1751550189-85842
SLURM_JOB_ID= 9598728
Free space on /tmp= 432324 MiB
SOLVER NAME= ExactPR-S 2025-06-01
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_16.opb
COMMAND LINE= ./ExactPR-S --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4519217-1751550191/watcher-4519217-1751550191 -o /tmp/evaluation-result-4519217-1751550191/solver-4519217-1751550191 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751550189-85842 --watchdog 3760 ./ExactPR-S --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4519217-1751550191.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7fa2358c675fac141ded392b1a236afa
RANDOM SEED=758225606
nodeC024 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.712
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.36
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.700
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.36
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.301
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.36
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 : 3599.618
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.36
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 : 3599.675
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.36
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 : 3601.022
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.36
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 : 3492.151
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.36
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.705
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.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 121441996 kB
MemAvailable: 129628440 kB
Buffers: 2144 kB
Cached: 8954020 kB
SwapCached: 0 kB
Active: 714424 kB
Inactive: 8420336 kB
Active(anon): 194588 kB
Inactive(anon): 2084 kB
Active(file): 519836 kB
Inactive(file): 8418252 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 49752 kB
Writeback: 0 kB
AnonPages: 179784 kB
Mapped: 115192 kB
Shmem: 18064 kB
KReclaimable: 174792 kB
Slab: 267036 kB
SReclaimable: 174792 kB
SUnreclaim: 92244 kB
KernelStack: 4304 kB
PageTables: 3516 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 597392 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150504 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 28672 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: 195284 kB
DirectMap2M: 6916096 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 432324 MiB
End job on nodeC024 at 2025-07-03 16:43:20