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 (62368 MiB free)
memory of node 1: 64507 MiB (62781 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4545864-1753259878/watcher-4545864-1753259878 -o /tmp/evaluation-result-4545864-1753259878/solver-4545864-1753259878 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1753259701-157760 --watchdog 3760 ./SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4545864-1753259878.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
solver pid=158318, runsolver pid=158315
Current StackSize limit: 8192 KiB
[startup+0.100096 s]*
/proc/loadavg: 3.92 1.91 0.80 5/252 158319
/proc/meminfo: memFree=128149992/131382120 swapFree=33010416/33010684
[pid=158318] ppid=158315 vsize=83836 memory=11264 CPUtime=0.08 cores=0,2
/proc/158318/stat : 158318 (SynLSCD) R 158315 158318 157743 0 -1 4194304 606 0 0 0 7 1 0 0 20 0 1 0 241667172 85848064 2816 18446744073709551615 94217018294272 94217020728873 140732522084224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94217021209848 94217021242880 94217031933952 140732522092931 140732522093066 140732522093066 140732522098670 0
/proc/158318/statm: 20959 2816 2496 595 0 5626 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 83836 KiB
Current children cumulated memory: 11264 KiB
[startup+0.213073 s]*
/proc/loadavg: 3.92 1.91 0.80 5/252 158319
/proc/meminfo: memFree=128149992/131382120 swapFree=33010416/33010684
[pid=158318] ppid=158315 vsize=83836 memory=11264 CPUtime=0.2 cores=0,2
/proc/158318/stat : 158318 (SynLSCD) R 158315 158318 157743 0 -1 4194304 606 0 0 0 16 4 0 0 20 0 1 0 241667172 85848064 2816 18446744073709551615 94217018294272 94217020728873 140732522084224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94217021209848 94217021242880 94217031933952 140732522092931 140732522093066 140732522093066 140732522098670 0
/proc/158318/statm: 20959 2816 2496 595 0 5626 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 83836 KiB
Current children cumulated memory: 11264 KiB
[startup+0.313005 s]*
/proc/loadavg: 3.92 1.91 0.80 5/252 158319
/proc/meminfo: memFree=128149992/131382120 swapFree=33010416/33010684
[pid=158318] ppid=158315 vsize=83836 memory=11264 CPUtime=0.3 cores=0,2
/proc/158318/stat : 158318 (SynLSCD) R 158315 158318 157743 0 -1 4194304 606 0 0 0 24 6 0 0 20 0 1 0 241667172 85848064 2816 18446744073709551615 94217018294272 94217020728873 140732522084224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94217021209848 94217021242880 94217031933952 140732522092931 140732522093066 140732522093066 140732522098670 0
/proc/158318/statm: 20959 2816 2496 595 0 5626 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 83836 KiB
Current children cumulated memory: 11264 KiB
[startup+0.700286 s]
/proc/loadavg: 3.92 1.91 0.80 5/252 158319
/proc/meminfo: memFree=128149992/131382120 swapFree=33010416/33010684
[pid=158318] ppid=158315 vsize=83836 memory=11264 CPUtime=0.67 cores=0,2
/proc/158318/stat : 158318 (SynLSCD) R 158315 158318 157743 0 -1 4194304 606 0 0 0 53 14 0 0 20 0 1 0 241667172 85848064 2816 18446744073709551615 94217018294272 94217020728873 140732522084224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94217021209848 94217021242880 94217031933952 140732522092931 140732522093066 140732522093066 140732522098670 0
/proc/158318/statm: 20959 2816 2496 595 0 5626 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 83836 KiB
Current children cumulated memory: 11264 KiB
[startup+1.50021 s]
/proc/loadavg: 3.92 1.91 0.80 5/252 158319
/proc/meminfo: memFree=128149992/131382120 swapFree=33010416/33010684
[pid=158318] ppid=158315 vsize=83836 memory=11264 CPUtime=1.47 cores=0,2
/proc/158318/stat : 158318 (SynLSCD) R 158315 158318 157743 0 -1 4194304 606 0 0 0 113 34 0 0 20 0 1 0 241667172 85848064 2816 18446744073709551615 94217018294272 94217020728873 140732522084224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94217021209848 94217021242880 94217031933952 140732522092931 140732522093066 140732522093066 140732522098670 0
/proc/158318/statm: 20959 2816 2496 595 0 5626 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 83836 KiB
Current children cumulated memory: 11264 KiB
[startup+3.1128 s]
/proc/loadavg: 3.93 1.95 0.82 5/252 158319
/proc/meminfo: memFree=128150496/131382120 swapFree=33010416/33010684
[pid=158318] ppid=158315 vsize=83836 memory=11264 CPUtime=3.08 cores=0,2
/proc/158318/stat : 158318 (SynLSCD) R 158315 158318 157743 0 -1 4194304 606 0 0 0 236 72 0 0 20 0 1 0 241667172 85848064 2816 18446744073709551615 94217018294272 94217020728873 140732522084224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94217021209848 94217021242880 94217031933952 140732522092931 140732522093066 140732522093066 140732522098670 0
/proc/158318/statm: 20959 2816 2496 595 0 5626 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 83836 KiB
Current children cumulated memory: 11264 KiB
[startup+6.30022 s]
/proc/loadavg: 3.93 1.95 0.82 5/252 158319
/proc/meminfo: memFree=128134764/131382120 swapFree=33010416/33010684
[pid=158318] ppid=158315 vsize=83836 memory=11264 CPUtime=6.26 cores=0,2
/proc/158318/stat : 158318 (SynLSCD) R 158315 158318 157743 0 -1 4194304 606 0 0 0 483 143 0 0 20 0 1 0 241667172 85848064 2816 18446744073709551615 94217018294272 94217020728873 140732522084224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94217021209848 94217021242880 94217031933952 140732522092931 140732522093066 140732522093066 140732522098670 0
/proc/158318/statm: 20959 2816 2496 595 0 5626 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 83836 KiB
Current children cumulated memory: 11264 KiB
[startup+12.7002 s]
/proc/loadavg: 3.94 2.01 0.85 5/252 158319
/proc/meminfo: memFree=128136024/131382120 swapFree=33010416/33010684
[pid=158318] ppid=158315 vsize=85748 memory=16368 CPUtime=12.64 cores=0,2
/proc/158318/stat : 158318 (SynLSCD) R 158315 158318 157743 0 -1 4194304 1775 0 0 0 1107 157 0 0 20 0 1 0 241667172 87805952 4092 18446744073709551615 94217018294272 94217020728873 140732522084224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94217021209848 94217021242880 94217031933952 140732522092931 140732522093066 140732522093066 140732522098670 0
/proc/158318/statm: 21437 4092 2528 595 0 6104 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 85748 KiB
Current children cumulated memory: 16368 KiB
[startup+25.5003 s]
/proc/loadavg: 4.02 2.10 0.89 5/252 158319
/proc/meminfo: memFree=128128464/131382120 swapFree=33010416/33010684
[pid=158318] ppid=158315 vsize=86164 memory=16712 CPUtime=25.4 cores=0,2
/proc/158318/stat : 158318 (SynLSCD) R 158315 158318 157743 0 -1 4194304 2470 0 0 0 2243 297 0 0 20 0 1 0 241667172 88231936 4178 18446744073709551615 94217018294272 94217020728873 140732522084224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94217021209848 94217021242880 94217031933952 140732522092931 140732522093066 140732522093066 140732522098670 0
/proc/158318/statm: 21541 4178 2528 595 0 6208 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 86164 KiB
Current children cumulated memory: 16712 KiB
[startup+51.1128 s]
/proc/loadavg: 4.02 2.25 0.98 5/253 158321
/proc/meminfo: memFree=128124432/131382120 swapFree=33010416/33010684
[pid=158318] ppid=158315 vsize=86836 memory=17464 CPUtime=50.94 cores=0,2
/proc/158318/stat : 158318 (SynLSCD) R 158315 158318 157743 0 -1 4194304 3878 0 0 0 4627 467 0 0 20 0 1 0 241667172 88920064 4366 18446744073709551615 94217018294272 94217020728873 140732522084224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94217021209848 94217021242880 94217031933952 140732522092931 140732522093066 140732522093066 140732522098670 0
/proc/158318/statm: 21709 4366 2528 595 0 6376 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 86836 KiB
Current children cumulated memory: 17464 KiB
[startup+102.3 s]
/proc/loadavg: 4.05 2.56 1.16 5/253 158322
/proc/meminfo: memFree=128029804/131382120 swapFree=33010416/33010684
[pid=158318] ppid=158315 vsize=87412 memory=17988 CPUtime=101.98 cores=0,2
/proc/158318/stat : 158318 (SynLSCD) R 158315 158318 157743 0 -1 4194304 6436 0 0 0 9399 799 0 0 20 0 1 0 241667172 89509888 4497 18446744073709551615 94217018294272 94217020728873 140732522084224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94217021209848 94217021242880 94217031933952 140732522092931 140732522093066 140732522093066 140732522098670 0
/proc/158318/statm: 21853 4497 2528 595 0 6520 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 87412 KiB
Current children cumulated memory: 17988 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 2.86 1.35 5/251 158324
/proc/meminfo: memFree=127939344/131382120 swapFree=33010416/33010684
[pid=158318] ppid=158315 vsize=87956 memory=18520 CPUtime=161.8 cores=0,2
/proc/158318/stat : 158318 (SynLSCD) R 158315 158318 157743 0 -1 4194304 9741 0 0 0 15028 1152 0 0 20 0 1 0 241667172 90066944 4630 18446744073709551615 94217018294272 94217020728873 140732522084224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94217021209848 94217021242880 94217031933952 140732522092931 140732522093066 140732522093066 140732522098670 0
/proc/158318/statm: 21989 4630 2528 595 0 6656 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 87956 KiB
Current children cumulated memory: 18520 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 3.10 1.53 5/250 158326
/proc/meminfo: memFree=127958552/131382120 swapFree=33010416/33010684
[pid=158318] ppid=158315 vsize=88564 memory=19096 CPUtime=221.63 cores=0,2
/proc/158318/stat : 158318 (SynLSCD) R 158315 158318 157743 0 -1 4194304 12529 0 0 0 20643 1520 0 0 20 0 1 0 241667172 90689536 4774 18446744073709551615 94217018294272 94217020728873 140732522084224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94217021209848 94217021242880 94217031933952 140732522092931 140732522093066 140732522093066 140732522098670 0
/proc/158318/statm: 22141 4774 2528 595 0 6808 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 88564 KiB
Current children cumulated memory: 19096 KiB
[startup+282.3 s]
/proc/loadavg: 4.38 3.34 1.71 5/251 158329
/proc/meminfo: memFree=127968564/131382120 swapFree=33010416/33010684
[pid=158318] ppid=158315 vsize=88692 memory=19224 CPUtime=281.46 cores=0,2
/proc/158318/stat : 158318 (SynLSCD) R 158315 158318 157743 0 -1 4194304 15974 0 0 0 26270 1876 0 0 20 0 1 0 241667172 90820608 4806 18446744073709551615 94217018294272 94217020728873 140732522084224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94217021209848 94217021242880 94217031933952 140732522092931 140732522093066 140732522093066 140732522098670 0
/proc/158318/statm: 22173 4806 2528 595 0 6840 0
Current children cumulated CPU time: 281.46 s
Current children cumulated vsize: 88692 KiB
Current children cumulated memory: 19224 KiB
[startup+342.3 s]
/proc/loadavg: 4.68 3.63 1.92 5/251 158331
/proc/meminfo: memFree=127953972/131382120 swapFree=33010416/33010684
[pid=158318] ppid=158315 vsize=88884 memory=19416 CPUtime=341.28 cores=0,2
/proc/158318/stat : 158318 (SynLSCD) R 158315 158318 157743 0 -1 4194304 19480 0 0 0 31896 2232 0 0 20 0 1 0 241667172 91017216 4854 18446744073709551615 94217018294272 94217020728873 140732522084224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94217021209848 94217021242880 94217031933952 140732522092931 140732522093066 140732522093066 140732522098670 0
/proc/158318/statm: 22221 4854 2528 595 0 6888 0
Current children cumulated CPU time: 341.28 s
Current children cumulated vsize: 88884 KiB
Current children cumulated memory: 19416 KiB
[startup+402.3 s]
/proc/loadavg: 4.90 3.87 2.11 5/250 158333
/proc/meminfo: memFree=127938616/131382120 swapFree=33010416/33010684
[pid=158318] ppid=158315 vsize=89140 memory=19672 CPUtime=401.09 cores=0,2
/proc/158318/stat : 158318 (SynLSCD) R 158315 158318 157743 0 -1 4194304 22784 0 0 0 37522 2587 0 0 20 0 1 0 241667172 91279360 4918 18446744073709551615 94217018294272 94217020728873 140732522084224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94217021209848 94217021242880 94217031933952 140732522092931 140732522093066 140732522093066 140732522098670 0
/proc/158318/statm: 22285 4918 2528 595 0 6952 0
Current children cumulated CPU time: 401.09 s
Current children cumulated vsize: 89140 KiB
Current children cumulated memory: 19672 KiB
[startup+462.3 s]
/proc/loadavg: 4.58 3.98 2.26 5/250 158335
/proc/meminfo: memFree=127911220/131382120 swapFree=33010416/33010684
[pid=158318] ppid=158315 vsize=89268 memory=19800 CPUtime=460.92 cores=0,2
/proc/158318/stat : 158318 (SynLSCD) R 158315 158318 157743 0 -1 4194304 25862 0 0 0 43155 2937 0 0 20 0 1 0 241667172 91410432 4950 18446744073709551615 94217018294272 94217020728873 140732522084224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94217021209848 94217021242880 94217031933952 140732522092931 140732522093066 140732522093066 140732522098670 0
/proc/158318/statm: 22317 4950 2528 595 0 6984 0
Current children cumulated CPU time: 460.92 s
################
# More data... #
################
Current children cumulated memory: 23804 KiB
[startup+2922.3 s]
/proc/loadavg: 4.11 4.11 4.02 5/250 158483
/proc/meminfo: memFree=127482992/131382120 swapFree=33010416/33010684
[pid=158318] ppid=158315 vsize=91224 memory=23804 CPUtime=2912.16 cores=0,2
/proc/158318/stat : 158318 (SynLSCD) R 158315 158318 157743 0 -1 4194304 142900 0 0 0 276830 14386 0 0 20 0 1 0 241667172 93413376 5951 18446744073709551615 94217018294272 94217020728873 140732522084224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94217021209848 94217021242880 94217031933952 140732522092931 140732522093066 140732522093066 140732522098670 0
/proc/158318/statm: 22806 5951 2528 595 0 7473 0
Current children cumulated CPU time: 2912.16 s
Current children cumulated vsize: 91224 KiB
Current children cumulated memory: 23804 KiB
[startup+2982.3 s]
/proc/loadavg: 4.09 4.11 4.02 5/250 158485
/proc/meminfo: memFree=127480660/131382120 swapFree=33010416/33010684
[pid=158318] ppid=158315 vsize=91224 memory=23804 CPUtime=2971.95 cores=0,2
/proc/158318/stat : 158318 (SynLSCD) R 158315 158318 157743 0 -1 4194304 145430 0 0 0 282478 14717 0 0 20 0 1 0 241667172 93413376 5951 18446744073709551615 94217018294272 94217020728873 140732522084224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94217021209848 94217021242880 94217031933952 140732522092931 140732522093066 140732522093066 140732522098670 0
/proc/158318/statm: 22806 5951 2528 595 0 7473 0
Current children cumulated CPU time: 2971.95 s
Current children cumulated vsize: 91224 KiB
Current children cumulated memory: 23804 KiB
[startup+3042.3 s]
/proc/loadavg: 4.10 4.10 4.02 5/251 158488
/proc/meminfo: memFree=127480668/131382120 swapFree=33010416/33010684
[pid=158318] ppid=158315 vsize=91224 memory=23804 CPUtime=3031.73 cores=0,2
/proc/158318/stat : 158318 (SynLSCD) R 158315 158318 157743 0 -1 4194304 148015 0 0 0 288111 15062 0 0 20 0 1 0 241667172 93413376 5951 18446744073709551615 94217018294272 94217020728873 140732522084224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94217021209848 94217021242880 94217031933952 140732522092931 140732522093066 140732522093066 140732522098670 0
/proc/158318/statm: 22806 5951 2528 595 0 7473 0
Current children cumulated CPU time: 3031.73 s
Current children cumulated vsize: 91224 KiB
Current children cumulated memory: 23804 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.09 4.02 5/251 158490
/proc/meminfo: memFree=127480668/131382120 swapFree=33010416/33010684
[pid=158318] ppid=158315 vsize=91224 memory=23804 CPUtime=3091.51 cores=0,2
/proc/158318/stat : 158318 (SynLSCD) R 158315 158318 157743 0 -1 4194304 150547 0 0 0 293734 15417 0 0 20 0 1 0 241667172 93413376 5951 18446744073709551615 94217018294272 94217020728873 140732522084224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94217021209848 94217021242880 94217031933952 140732522092931 140732522093066 140732522093066 140732522098670 0
/proc/158318/statm: 22806 5951 2528 595 0 7473 0
Current children cumulated CPU time: 3091.51 s
Current children cumulated vsize: 91224 KiB
Current children cumulated memory: 23804 KiB
[startup+3162.3 s]
/proc/loadavg: 4.07 4.09 4.02 5/251 158492
/proc/meminfo: memFree=127472628/131382120 swapFree=33010416/33010684
[pid=158318] ppid=158315 vsize=91288 memory=23868 CPUtime=3151.29 cores=0,2
/proc/158318/stat : 158318 (SynLSCD) R 158315 158318 157743 0 -1 4194304 153207 0 0 0 299482 15647 0 0 20 0 1 0 241667172 93478912 5967 18446744073709551615 94217018294272 94217020728873 140732522084224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94217021209848 94217021242880 94217031933952 140732522092931 140732522093066 140732522093066 140732522098670 0
/proc/158318/statm: 22822 5967 2528 595 0 7489 0
Current children cumulated CPU time: 3151.29 s
Current children cumulated vsize: 91288 KiB
Current children cumulated memory: 23868 KiB
[startup+3222.3 s]
/proc/loadavg: 4.45 4.18 4.05 5/250 158494
/proc/meminfo: memFree=127472644/131382120 swapFree=33010416/33010684
[pid=158318] ppid=158315 vsize=91288 memory=23868 CPUtime=3211.07 cores=0,2
/proc/158318/stat : 158318 (SynLSCD) R 158315 158318 157743 0 -1 4194304 155965 0 0 0 305237 15870 0 0 20 0 1 0 241667172 93478912 5967 18446744073709551615 94217018294272 94217020728873 140732522084224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94217021209848 94217021242880 94217031933952 140732522092931 140732522093066 140732522093066 140732522098670 0
/proc/158318/statm: 22822 5967 2528 595 0 7489 0
Current children cumulated CPU time: 3211.07 s
Current children cumulated vsize: 91288 KiB
Current children cumulated memory: 23868 KiB
[startup+3282.3 s]
/proc/loadavg: 4.50 4.27 4.09 5/250 158496
/proc/meminfo: memFree=127452400/131382120 swapFree=33010416/33010684
[pid=158318] ppid=158315 vsize=91352 memory=23932 CPUtime=3270.85 cores=0,2
/proc/158318/stat : 158318 (SynLSCD) R 158315 158318 157743 0 -1 4194304 158584 0 0 0 310867 16218 0 0 20 0 1 0 241667172 93544448 5983 18446744073709551615 94217018294272 94217020728873 140732522084224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94217021209848 94217021242880 94217031933952 140732522092931 140732522093066 140732522093066 140732522098670 0
/proc/158318/statm: 22838 5983 2528 595 0 7505 0
Current children cumulated CPU time: 3270.85 s
Current children cumulated vsize: 91352 KiB
Current children cumulated memory: 23932 KiB
[startup+3342.3 s]
/proc/loadavg: 4.29 4.25 4.09 5/250 158498
/proc/meminfo: memFree=127452148/131382120 swapFree=33010416/33010684
[pid=158318] ppid=158315 vsize=91352 memory=23932 CPUtime=3330.63 cores=0,2
/proc/158318/stat : 158318 (SynLSCD) R 158315 158318 157743 0 -1 4194304 161302 0 0 0 316614 16449 0 0 20 0 1 0 241667172 93544448 5983 18446744073709551615 94217018294272 94217020728873 140732522084224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94217021209848 94217021242880 94217031933952 140732522092931 140732522093066 140732522093066 140732522098670 0
/proc/158318/statm: 22838 5983 2528 595 0 7505 0
Current children cumulated CPU time: 3330.63 s
Current children cumulated vsize: 91352 KiB
Current children cumulated memory: 23932 KiB
[startup+3402.3 s]
/proc/loadavg: 4.21 4.23 4.09 6/249 158500
/proc/meminfo: memFree=127452156/131382120 swapFree=33010416/33010684
[pid=158318] ppid=158315 vsize=91352 memory=23932 CPUtime=3390.41 cores=0,2
/proc/158318/stat : 158318 (SynLSCD) R 158315 158318 157743 0 -1 4194304 163800 0 0 0 322243 16798 0 0 20 0 1 0 241667172 93544448 5983 18446744073709551615 94217018294272 94217020728873 140732522084224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94217021209848 94217021242880 94217031933952 140732522092931 140732522093066 140732522093066 140732522098670 0
/proc/158318/statm: 22838 5983 2528 595 0 7505 0
Current children cumulated CPU time: 3390.41 s
Current children cumulated vsize: 91352 KiB
Current children cumulated memory: 23932 KiB
[startup+3462.3 s]
/proc/loadavg: 4.20 4.22 4.10 5/249 158592
/proc/meminfo: memFree=128426088/131382120 swapFree=33010416/33010684
[pid=158318] ppid=158315 vsize=91352 memory=23932 CPUtime=3450.19 cores=0,2
/proc/158318/stat : 158318 (SynLSCD) R 158315 158318 157743 0 -1 4194304 166241 0 0 0 327868 17151 0 0 20 0 1 0 241667172 93544448 5983 18446744073709551615 94217018294272 94217020728873 140732522084224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94217021209848 94217021242880 94217031933952 140732522092931 140732522093066 140732522093066 140732522098670 0
/proc/158318/statm: 22838 5983 2528 595 0 7505 0
Current children cumulated CPU time: 3450.19 s
Current children cumulated vsize: 91352 KiB
Current children cumulated memory: 23932 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.19 4.09 5/247 158610
/proc/meminfo: memFree=128894476/131382120 swapFree=33010416/33010684
[pid=158318] ppid=158315 vsize=91416 memory=23996 CPUtime=3509.95 cores=0,2
/proc/158318/stat : 158318 (SynLSCD) R 158315 158318 157743 0 -1 4194304 168981 0 0 0 333602 17393 0 0 20 0 1 0 241667172 93609984 5999 18446744073709551615 94217018294272 94217020728873 140732522084224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94217021209848 94217021242880 94217031933952 140732522092931 140732522093066 140732522093066 140732522098670 0
/proc/158318/statm: 22854 5999 2528 595 0 7521 0
Current children cumulated CPU time: 3509.95 s
Current children cumulated vsize: 91416 KiB
Current children cumulated memory: 23996 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.17 4.09 5/251 158648
/proc/meminfo: memFree=128804944/131382120 swapFree=33010416/33010684
[pid=158318] ppid=158315 vsize=91416 memory=23996 CPUtime=3569.75 cores=0,2
/proc/158318/stat : 158318 (SynLSCD) R 158315 158318 157743 0 -1 4194304 171540 0 0 0 339210 17765 0 0 20 0 1 0 241667172 93609984 5999 18446744073709551615 94217018294272 94217020728873 140732522084224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94217021209848 94217021242880 94217031933952 140732522092931 140732522093066 140732522093066 140732522098670 0
/proc/158318/statm: 22854 5999 2528 595 0 7521 0
Current children cumulated CPU time: 3569.75 s
Current children cumulated vsize: 91416 KiB
Current children cumulated memory: 23996 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.7 s]
/proc/loadavg: 4.12 4.17 4.09 5/251 158650
/proc/meminfo: memFree=128791476/131382120 swapFree=33010416/33010684
[pid=158318] ppid=158315 vsize=91416 memory=23996 CPUtime=3600.05 cores=0,2
/proc/158318/stat : 158318 (SynLSCD) R 158315 158318 157743 0 -1 4194304 172791 0 0 0 342093 17912 0 0 20 0 1 0 241667172 93609984 5999 18446744073709551615 94217018294272 94217020728873 140732522084224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94217021209848 94217021242880 94217031933952 140732522092931 140732522093066 140732522093066 140732522098670 0
/proc/158318/statm: 22854 5999 2528 595 0 7521 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 91416 KiB
Current children cumulated memory: 23996 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.7 s]
# the end of solver process 158318 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3420.93 s, system=179.129 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612.7 s]
/proc/loadavg: 4.12 4.17 4.09 5/251 158650
/proc/meminfo: memFree=128791476/131382120 swapFree=33010416/33010684
[pid=158318] ppid=158315 vsize=91416 memory=23996 CPUtime=3600.05 cores=0,2
/proc/158318/stat : 158318 (SynLSCD) R 158315 158318 157743 0 -1 4194304 172791 0 0 0 342093 17912 0 0 20 0 1 0 241667172 93609984 5999 18446744073709551615 94217018294272 94217020728873 140732522084224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94217021209848 94217021242880 94217031933952 140732522092931 140732522093066 140732522093066 140732522098670 0
/proc/158318/statm: 22854 5999 2528 595 0 7521 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 91416 KiB
Current children cumulated memory: 23996 KiB
Child status: 0
Real time (s): 3612.7
CPU time (s): 3600.06
CPU user time (s): 3420.93
CPU system time (s): 179.129
CPU usage (%): 99.6501
Max. virtual memory (cumulated for all children) (KiB): 91608
Max. memory (cumulated for all children) (KiB): 24060
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3420.93
system time used= 179.129
maximum resident set size= 24252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 172821
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= 9032
# summary of solver processes directly reported to runsolver:
# pid: 158318
# total CPU time (s): 3600.06
# total CPU user time (s): 3420.93
# total CPU system time (s): 179.129
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.4292 second user time and 33.6051 second system time
The end
Begin job on nodeC006 at 2025-07-23 10:37:58
IDJOB=4545864
IDBENCH=158790
IDSOLVER=3421
FILE ID=nodeC006/4545864-1753259878
RUNJOBID= nodeC006-1753259701-157760
SLURM_JOB_ID= 9689161
Free space on /tmp= 432768 MiB
SOLVER NAME= SynLSCD 2025-07-23
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n30-d4-i1.cnf.gz-plain.pb.metafix.opb
COMMAND LINE= ./SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4545864-1753259878/watcher-4545864-1753259878 -o /tmp/evaluation-result-4545864-1753259878/solver-4545864-1753259878 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1753259701-157760 --watchdog 3760 ./SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4545864-1753259878.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 70456d73d2f29031b06a5b292ce0fc7b
RANDOM SEED=651885292
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 : 1197.148
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 : 3661.005
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.467
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.453
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 : 3591.886
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 : 3491.615
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.450
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 : 1197.273
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: 128153632 kB
MemAvailable: 128875444 kB
Buffers: 2128 kB
Cached: 1398472 kB
SwapCached: 12 kB
Active: 1909060 kB
Inactive: 420928 kB
Active(anon): 944736 kB
Inactive(anon): 10792 kB
Active(file): 964324 kB
Inactive(file): 410136 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 3652 kB
Writeback: 28 kB
AnonPages: 931292 kB
Mapped: 120284 kB
Shmem: 26140 kB
KReclaimable: 373572 kB
Slab: 467696 kB
SReclaimable: 373572 kB
SUnreclaim: 94124 kB
KernelStack: 4064 kB
PageTables: 5084 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 1366836 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149368 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 522240 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= 432768 MiB
End job on nodeC006 at 2025-07-23 11:38:11