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 (62336 MiB free)
memory of node 1: 64465 MiB (63777 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4509910-1751193826/watcher-4509910-1751193826 -o /tmp/evaluation-result-4509910-1751193826/solver-4509910-1751193826 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751193826-31850 --watchdog 3760 SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4509910-1751193826.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=31899, runsolver pid=31890
Current StackSize limit: 8192 KiB
[startup+0.100063 s]*
/proc/loadavg: 0.57 0.97 1.48 1/267 31908
/proc/meminfo: memFree=129134788/131249992 swapFree=33010684/33010684
[pid=31899] ppid=31890 vsize=27740 memory=1152 CPUtime=0 cores=4,6
/proc/31899/stat : 31899 (SynLSCD) D 31890 31899 31839 0 -1 4194304 116 0 4 0 0 0 0 0 20 0 1 0 35061434 28405760 288 18446744073709551615 94226118725632 94226121159785 140732712567968 0 0 0 0 0 0 1 0 0 17 4 0 0 0 0 0 94226121641208 94226121674240 94226134568960 140732712573286 140732712573419 140732712573419 140732712579021 0
/proc/31899/statm: 6935 288 288 595 0 1117 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 27740 KiB
Current children cumulated memory: 1152 KiB
[startup+0.204462 s]*
/proc/loadavg: 0.57 0.97 1.48 1/267 31908
/proc/meminfo: memFree=129128016/131249992 swapFree=33010684/33010684
[pid=31899] ppid=31890 vsize=63796 memory=1664 CPUtime=0 cores=4,6
/proc/31899/stat : 31899 (SynLSCD) D 31890 31899 31839 0 -1 4194304 156 0 12 0 0 0 0 0 20 0 1 0 35061434 65327104 416 18446744073709551615 94226118725632 94226121159785 140732712567968 0 0 0 0 0 0 1 0 0 17 4 0 0 0 0 0 94226121641208 94226121674240 94226134568960 140732712573286 140732712573419 140732712573419 140732712579021 0
/proc/31899/statm: 15949 416 384 595 0 1172 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 63796 KiB
Current children cumulated memory: 1664 KiB
[startup+0.304784 s]*
/proc/loadavg: 0.57 0.97 1.48 4/267 31908
/proc/meminfo: memFree=129118188/131249992 swapFree=33010684/33010684
[pid=31899] ppid=31890 vsize=85436 memory=12748 CPUtime=0.01 cores=4,6
/proc/31899/stat : 31899 (SynLSCD) R 31890 31899 31839 0 -1 4194304 1088 0 29 0 1 0 0 0 20 0 1 0 35061434 87486464 3187 18446744073709551615 94226118725632 94226121159785 140732712567968 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94226121641208 94226121674240 94226134568960 140732712573286 140732712573419 140732712573419 140732712579021 0
/proc/31899/statm: 21359 3187 2464 595 0 6026 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 85436 KiB
Current children cumulated memory: 12748 KiB
[startup+0.700102 s]
/proc/loadavg: 0.57 0.97 1.48 5/263 31916
/proc/meminfo: memFree=129114612/131249992 swapFree=33010684/33010684
[pid=31899] ppid=31890 vsize=87432 memory=14796 CPUtime=0.4 cores=4,6
/proc/31899/stat : 31899 (SynLSCD) R 31890 31899 31839 0 -1 4194304 1560 0 29 0 37 3 0 0 20 0 1 0 35061434 89530368 3699 18446744073709551615 94226118725632 94226121159785 140732712567968 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94226121641208 94226121674240 94226134568960 140732712573286 140732712573419 140732712573419 140732712579021 0
/proc/31899/statm: 21858 3699 2496 595 0 6525 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 87432 KiB
Current children cumulated memory: 14796 KiB
[startup+1.5001 s]
/proc/loadavg: 0.84 1.02 1.50 4/263 31916
/proc/meminfo: memFree=129114724/131249992 swapFree=33010684/33010684
[pid=31899] ppid=31890 vsize=87432 memory=14796 CPUtime=1.2 cores=4,6
/proc/31899/stat : 31899 (SynLSCD) R 31890 31899 31839 0 -1 4194304 1560 0 29 0 109 11 0 0 20 0 1 0 35061434 89530368 3699 18446744073709551615 94226118725632 94226121159785 140732712567968 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94226121641208 94226121674240 94226134568960 140732712573286 140732712573419 140732712573419 140732712579021 0
/proc/31899/statm: 21858 3699 2496 595 0 6525 0
Current children cumulated CPU time: 1.2 s
Current children cumulated vsize: 87432 KiB
Current children cumulated memory: 14796 KiB
[startup+3.10424 s]
/proc/loadavg: 0.84 1.02 1.50 5/267 31953
/proc/meminfo: memFree=129106328/131249992 swapFree=33010684/33010684
[pid=31899] ppid=31890 vsize=87432 memory=14796 CPUtime=2.79 cores=4,6
/proc/31899/stat : 31899 (SynLSCD) R 31890 31899 31839 0 -1 4194304 1560 0 29 0 251 28 0 0 20 0 1 0 35061434 89530368 3699 18446744073709551615 94226118725632 94226121159785 140732712567968 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94226121641208 94226121674240 94226134568960 140732712573286 140732712573419 140732712573419 140732712579021 0
/proc/31899/statm: 21858 3699 2496 595 0 6525 0
Current children cumulated CPU time: 2.79 s
Current children cumulated vsize: 87432 KiB
Current children cumulated memory: 14796 KiB
[startup+6.30009 s]
/proc/loadavg: 1.10 1.07 1.51 5/267 31953
/proc/meminfo: memFree=129100004/131249992 swapFree=33010684/33010684
[pid=31899] ppid=31890 vsize=87432 memory=14796 CPUtime=5.98 cores=4,6
/proc/31899/stat : 31899 (SynLSCD) R 31890 31899 31839 0 -1 4194304 1560 0 29 0 539 59 0 0 20 0 1 0 35061434 89530368 3699 18446744073709551615 94226118725632 94226121159785 140732712567968 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94226121641208 94226121674240 94226134568960 140732712573286 140732712573419 140732712573419 140732712579021 0
/proc/31899/statm: 21858 3699 2496 595 0 6525 0
Current children cumulated CPU time: 5.98 s
Current children cumulated vsize: 87432 KiB
Current children cumulated memory: 14796 KiB
[startup+12.7001 s]
/proc/loadavg: 1.33 1.12 1.52 5/267 31953
/proc/meminfo: memFree=129094460/131249992 swapFree=33010684/33010684
[pid=31899] ppid=31890 vsize=87432 memory=14796 CPUtime=12.36 cores=4,6
/proc/31899/stat : 31899 (SynLSCD) R 31890 31899 31839 0 -1 4194304 1560 0 29 0 1111 125 0 0 20 0 1 0 35061434 89530368 3699 18446744073709551615 94226118725632 94226121159785 140732712567968 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94226121641208 94226121674240 94226134568960 140732712573286 140732712573419 140732712573419 140732712579021 0
/proc/31899/statm: 21858 3699 2496 595 0 6525 0
Current children cumulated CPU time: 12.36 s
Current children cumulated vsize: 87432 KiB
Current children cumulated memory: 14796 KiB
[startup+25.5001 s]
/proc/loadavg: 1.82 1.23 1.56 5/267 31953
/proc/meminfo: memFree=129077520/131249992 swapFree=33010684/33010684
[pid=31899] ppid=31890 vsize=90624 memory=24952 CPUtime=25.13 cores=4,6
/proc/31899/stat : 31899 (SynLSCD) R 31890 31899 31839 0 -1 4194304 2646 0 29 0 2368 145 0 0 20 0 1 0 35061434 92798976 6238 18446744073709551615 94226118725632 94226121159785 140732712567968 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94226121641208 94226121674240 94226134568960 140732712573286 140732712573419 140732712573419 140732712579021 0
/proc/31899/statm: 22656 6238 2528 595 0 7323 0
Current children cumulated CPU time: 25.13 s
Current children cumulated vsize: 90624 KiB
Current children cumulated memory: 24952 KiB
[startup+51.1046 s]
/proc/loadavg: 2.68 1.50 1.63 5/268 31955
/proc/meminfo: memFree=129065104/131249992 swapFree=33010684/33010684
[pid=31899] ppid=31890 vsize=91472 memory=27932 CPUtime=50.67 cores=4,6
/proc/31899/stat : 31899 (SynLSCD) R 31890 31899 31839 0 -1 4194304 3086 0 29 0 4774 293 0 0 20 0 1 0 35061434 93667328 6983 18446744073709551615 94226118725632 94226121159785 140732712567968 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94226121641208 94226121674240 94226134568960 140732712573286 140732712573419 140732712573419 140732712579021 0
/proc/31899/statm: 22868 6983 2528 595 0 7535 0
Current children cumulated CPU time: 50.67 s
Current children cumulated vsize: 91472 KiB
Current children cumulated memory: 27932 KiB
[startup+102.3 s]
/proc/loadavg: 3.47 1.90 1.77 5/268 31961
/proc/meminfo: memFree=129062248/131249992 swapFree=33010684/33010684
[pid=31899] ppid=31890 vsize=92324 memory=28800 CPUtime=101.75 cores=4,6
/proc/31899/stat : 31899 (SynLSCD) R 31890 31899 31839 0 -1 4194304 4194 0 29 0 9579 596 0 0 20 0 1 0 35061434 94539776 7200 18446744073709551615 94226118725632 94226121159785 140732712567968 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94226121641208 94226121674240 94226134568960 140732712573286 140732712573419 140732712573419 140732712579021 0
/proc/31899/statm: 23081 7200 2528 595 0 7748 0
Current children cumulated CPU time: 101.75 s
Current children cumulated vsize: 92324 KiB
Current children cumulated memory: 28800 KiB
[startup+162.3 s]
/proc/loadavg: 3.92 2.32 1.92 5/267 31967
/proc/meminfo: memFree=129058876/131249992 swapFree=33010684/33010684
[pid=31899] ppid=31890 vsize=93660 memory=30108 CPUtime=161.62 cores=4,6
/proc/31899/stat : 31899 (SynLSCD) R 31890 31899 31839 0 -1 4194304 4844 0 29 0 15279 883 0 0 20 0 1 0 35061434 95907840 7527 18446744073709551615 94226118725632 94226121159785 140732712567968 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94226121641208 94226121674240 94226134568960 140732712573286 140732712573419 140732712573419 140732712579021 0
/proc/31899/statm: 23415 7527 2528 595 0 8082 0
Current children cumulated CPU time: 161.62 s
Current children cumulated vsize: 93660 KiB
Current children cumulated memory: 30108 KiB
[startup+222.3 s]
/proc/loadavg: 4.03 2.64 2.06 5/266 31969
/proc/meminfo: memFree=129055084/131249992 swapFree=33010684/33010684
[pid=31899] ppid=31890 vsize=94712 memory=31120 CPUtime=221.47 cores=4,6
/proc/31899/stat : 31899 (SynLSCD) R 31890 31899 31839 0 -1 4194304 6086 0 29 0 21063 1084 0 0 20 0 1 0 35061434 96985088 7780 18446744073709551615 94226118725632 94226121159785 140732712567968 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94226121641208 94226121674240 94226134568960 140732712573286 140732712573419 140732712573419 140732712579021 0
/proc/31899/statm: 23678 7780 2528 595 0 8345 0
Current children cumulated CPU time: 221.47 s
Current children cumulated vsize: 94712 KiB
Current children cumulated memory: 31120 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 2.92 2.19 5/266 31971
/proc/meminfo: memFree=129050944/131249992 swapFree=33010684/33010684
[pid=31899] ppid=31890 vsize=95136 memory=31408 CPUtime=281.33 cores=4,6
/proc/31899/stat : 31899 (SynLSCD) R 31890 31899 31839 0 -1 4194304 6768 0 29 0 26753 1380 0 0 20 0 1 0 35061434 97419264 7852 18446744073709551615 94226118725632 94226121159785 140732712567968 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94226121641208 94226121674240 94226134568960 140732712573286 140732712573419 140732712573419 140732712579021 0
/proc/31899/statm: 23784 7852 2528 595 0 8451 0
Current children cumulated CPU time: 281.33 s
Current children cumulated vsize: 95136 KiB
Current children cumulated memory: 31408 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 3.14 2.31 5/265 31973
/proc/meminfo: memFree=129048340/131249992 swapFree=33010684/33010684
[pid=31899] ppid=31890 vsize=95496 memory=31824 CPUtime=341.19 cores=4,6
/proc/31899/stat : 31899 (SynLSCD) R 31890 31899 31839 0 -1 4194304 7783 0 29 0 32440 1679 0 0 20 0 1 0 35061434 97787904 7956 18446744073709551615 94226118725632 94226121159785 140732712567968 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94226121641208 94226121674240 94226134568960 140732712573286 140732712573419 140732712573419 140732712579021 0
/proc/31899/statm: 23874 7956 2528 595 0 8541 0
Current children cumulated CPU time: 341.19 s
Current children cumulated vsize: 95496 KiB
Current children cumulated memory: 31824 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 3.33 2.43 5/262 31975
/proc/meminfo: memFree=129047244/131249992 swapFree=33010684/33010684
[pid=31899] ppid=31890 vsize=95720 memory=32120 CPUtime=401.05 cores=4,6
/proc/31899/stat : 31899 (SynLSCD) R 31890 31899 31839 0 -1 4194304 8318 0 29 0 38116 1989 0 0 20 0 1 0 35061434 98017280 8030 18446744073709551615 94226118725632 94226121159785 140732712567968 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94226121641208 94226121674240 94226134568960 140732712573286 140732712573419 140732712573419 140732712579021 0
/proc/31899/statm: 23930 8030 2528 595 0 8597 0
Current children cumulated CPU time: 401.05 s
Current children cumulated vsize: 95720 KiB
Current children cumulated memory: 32120 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 3.48 2.54 5/262 31976
/proc/meminfo: memFree=129044544/131249992 swapFree=33010684/33010684
[pid=31899] ppid=31890 vsize=96488 memory=32944 CPUtime=460.91 cores=4,6
/proc/31899/stat : 31899 (SynLSCD) R 31890 31899 31839 0 -1 4194304 9557 0 29 0 43928 2163 0 0 20 0 1 0 35061434 98803712 8236 18446744073709551615 94226118725632 94226121159785 140732712567968 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94226121641208 94226121674240 94226134568960 140732712573286 140732712573419 140732712573419 140732712579021 0
/proc/31899/statm: 24122 8236 2528 595 0 8789 0
Current children cumulated CPU time: 460.91 s
################
# More data... #
################
[startup+3102.3 s]
/proc/loadavg: 4.13 4.12 4.03 5/264 32115
/proc/meminfo: memFree=129042548/131249992 swapFree=33010684/33010684
[pid=31899] ppid=31890 vsize=102656 memory=41256 CPUtime=3094.01 cores=4,6
/proc/31899/stat : 31899 (SynLSCD) R 31890 31899 31839 0 -1 4194304 70434 0 29 0 297127 12274 0 0 20 0 1 0 35061434 105119744 10314 18446744073709551615 94226118725632 94226121159785 140732712567968 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94226121641208 94226121674240 94226134568960 140732712573286 140732712573419 140732712573419 140732712579021 0
/proc/31899/statm: 25664 10314 2528 595 0 10331 0
Current children cumulated CPU time: 3094.01 s
Current children cumulated vsize: 102656 KiB
Current children cumulated memory: 41256 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.11 4.03 5/264 32122
/proc/meminfo: memFree=129042572/131249992 swapFree=33010684/33010684
[pid=31899] ppid=31890 vsize=102720 memory=41320 CPUtime=3153.83 cores=4,6
/proc/31899/stat : 31899 (SynLSCD) R 31890 31899 31839 0 -1 4194304 73140 0 29 0 302883 12500 0 0 20 0 1 0 35061434 105185280 10330 18446744073709551615 94226118725632 94226121159785 140732712567968 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94226121641208 94226121674240 94226134568960 140732712573286 140732712573419 140732712573419 140732712579021 0
/proc/31899/statm: 25680 10330 2528 595 0 10347 0
Current children cumulated CPU time: 3153.83 s
Current children cumulated vsize: 102720 KiB
Current children cumulated memory: 41320 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.12 4.04 5/264 32124
/proc/meminfo: memFree=129042448/131249992 swapFree=33010684/33010684
[pid=31899] ppid=31890 vsize=102752 memory=41352 CPUtime=3213.65 cores=4,6
/proc/31899/stat : 31899 (SynLSCD) R 31890 31899 31839 0 -1 4194304 75612 0 29 0 308569 12796 0 0 20 0 1 0 35061434 105218048 10338 18446744073709551615 94226118725632 94226121159785 140732712567968 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94226121641208 94226121674240 94226134568960 140732712573286 140732712573419 140732712573419 140732712579021 0
/proc/31899/statm: 25688 10338 2528 595 0 10355 0
Current children cumulated CPU time: 3213.65 s
Current children cumulated vsize: 102752 KiB
Current children cumulated memory: 41352 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.04 5/264 32126
/proc/meminfo: memFree=129041916/131249992 swapFree=33010684/33010684
[pid=31899] ppid=31890 vsize=102864 memory=41512 CPUtime=3273.46 cores=4,6
/proc/31899/stat : 31899 (SynLSCD) R 31890 31899 31839 0 -1 4194304 78625 0 29 0 314505 12841 0 0 20 0 1 0 35061434 105332736 10378 18446744073709551615 94226118725632 94226121159785 140732712567968 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94226121641208 94226121674240 94226134568960 140732712573286 140732712573419 140732712573419 140732712579021 0
/proc/31899/statm: 25716 10378 2528 595 0 10383 0
Current children cumulated CPU time: 3273.46 s
Current children cumulated vsize: 102864 KiB
Current children cumulated memory: 41512 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.12 4.04 5/263 32128
/proc/meminfo: memFree=129041880/131249992 swapFree=33010684/33010684
[pid=31899] ppid=31890 vsize=103104 memory=41796 CPUtime=3333.27 cores=4,6
/proc/31899/stat : 31899 (SynLSCD) R 31890 31899 31839 0 -1 4194304 81573 0 29 0 320443 12884 0 0 20 0 1 0 35061434 105578496 10449 18446744073709551615 94226118725632 94226121159785 140732712567968 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94226121641208 94226121674240 94226134568960 140732712573286 140732712573419 140732712573419 140732712579021 0
/proc/31899/statm: 25776 10449 2528 595 0 10443 0
Current children cumulated CPU time: 3333.27 s
Current children cumulated vsize: 103104 KiB
Current children cumulated memory: 41796 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.13 4.05 5/264 32131
/proc/meminfo: memFree=129042304/131249992 swapFree=33010684/33010684
[pid=31899] ppid=31890 vsize=103136 memory=41736 CPUtime=3393.08 cores=4,6
/proc/31899/stat : 31899 (SynLSCD) R 31890 31899 31839 0 -1 4194304 83069 0 29 0 326118 13190 0 0 20 0 1 0 35061434 105611264 10434 18446744073709551615 94226118725632 94226121159785 140732712567968 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94226121641208 94226121674240 94226134568960 140732712573286 140732712573419 140732712573419 140732712579021 0
/proc/31899/statm: 25784 10434 2528 595 0 10451 0
Current children cumulated CPU time: 3393.08 s
Current children cumulated vsize: 103136 KiB
Current children cumulated memory: 41736 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.12 4.05 5/263 32133
/proc/meminfo: memFree=129041492/131249992 swapFree=33010684/33010684
[pid=31899] ppid=31890 vsize=103200 memory=41800 CPUtime=3452.91 cores=4,6
/proc/31899/stat : 31899 (SynLSCD) R 31890 31899 31839 0 -1 4194304 85374 0 29 0 331796 13495 0 0 20 0 1 0 35061434 105676800 10450 18446744073709551615 94226118725632 94226121159785 140732712567968 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94226121641208 94226121674240 94226134568960 140732712573286 140732712573419 140732712573419 140732712579021 0
/proc/31899/statm: 25800 10450 2528 595 0 10467 0
Current children cumulated CPU time: 3452.91 s
Current children cumulated vsize: 103200 KiB
Current children cumulated memory: 41800 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.12 4.05 5/264 32136
/proc/meminfo: memFree=129041168/131249992 swapFree=33010684/33010684
[pid=31899] ppid=31890 vsize=103584 memory=42088 CPUtime=3512.72 cores=4,6
/proc/31899/stat : 31899 (SynLSCD) R 31890 31899 31839 0 -1 4194304 86215 0 29 0 337590 13682 0 0 20 0 1 0 35061434 106070016 10522 18446744073709551615 94226118725632 94226121159785 140732712567968 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94226121641208 94226121674240 94226134568960 140732712573286 140732712573419 140732712573419 140732712579021 0
/proc/31899/statm: 25896 10522 2528 595 0 10563 0
Current children cumulated CPU time: 3512.72 s
Current children cumulated vsize: 103584 KiB
Current children cumulated memory: 42088 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.11 4.05 5/264 32138
/proc/meminfo: memFree=129041120/131249992 swapFree=33010684/33010684
[pid=31899] ppid=31890 vsize=103296 memory=41896 CPUtime=3572.54 cores=4,6
/proc/31899/stat : 31899 (SynLSCD) R 31890 31899 31839 0 -1 4194304 86794 0 29 0 343280 13974 0 0 20 0 1 0 35061434 105775104 10474 18446744073709551615 94226118725632 94226121159785 140732712567968 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94226121641208 94226121674240 94226134568960 140732712573286 140732712573419 140732712573419 140732712579021 0
/proc/31899/statm: 25824 10474 2528 595 0 10491 0
Current children cumulated CPU time: 3572.54 s
Current children cumulated vsize: 103296 KiB
Current children cumulated memory: 41896 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.9 s]
/proc/loadavg: 4.13 4.12 4.06 5/260 32148
/proc/meminfo: memFree=129037892/131249992 swapFree=33010684/33010684
[pid=31899] ppid=31890 vsize=103296 memory=41896 CPUtime=3600.07 cores=4,6
/proc/31899/stat : 31899 (SynLSCD) R 31890 31899 31839 0 -1 4194304 88461 0 29 0 345992 14015 0 0 20 0 1 0 35061434 105775104 10474 18446744073709551615 94226118725632 94226121159785 140732712567968 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94226121641208 94226121674240 94226134568960 140732712573286 140732712573419 140732712573419 140732712579021 0
/proc/31899/statm: 25824 10474 2528 595 0 10491 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 103296 KiB
Current children cumulated memory: 41896 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+3611.9 s]
# the end of solver process 31899 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3461.66 s, system=140.417 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.2 s]
/proc/loadavg: 4.13 4.12 4.06 4/260 32238
/proc/meminfo: memFree=129043344/131249992 swapFree=33010684/33010684
[pid=31899] ppid=31890 vsize=103296 memory=41896 CPUtime=3601.36 cores=4,6
/proc/31899/stat : 31899 (SynLSCD) R 31890 31899 31839 0 -1 4194304 88461 0 29 0 346104 14032 0 0 20 0 1 0 35061434 105775104 10474 18446744073709551615 94226118725632 94226121159785 140732712567968 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94226121641208 94226121674240 94226134568960 140732712573286 140732712573419 140732712573419 140732712579021 0
/proc/31899/statm: 25824 10474 2528 595 0 10491 0
Current children cumulated CPU time: 3601.36 s
Current children cumulated vsize: 103296 KiB
Current children cumulated memory: 41896 KiB
[startup+3611.6 s]
/proc/loadavg: 4.13 4.12 4.06 4/260 32238
/proc/meminfo: memFree=129043344/131249992 swapFree=33010684/33010684
[pid=31899] ppid=31890 vsize=103296 memory=41896 CPUtime=3601.77 cores=4,6
/proc/31899/stat : 31899 (SynLSCD) R 31890 31899 31839 0 -1 4194304 88461 0 29 0 346139 14038 0 0 20 0 1 0 35061434 105775104 10474 18446744073709551615 94226118725632 94226121159785 140732712567968 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94226121641208 94226121674240 94226134568960 140732712573286 140732712573419 140732712573419 140732712579021 0
/proc/31899/statm: 25824 10474 2528 595 0 10491 0
Current children cumulated CPU time: 3601.77 s
Current children cumulated vsize: 103296 KiB
Current children cumulated memory: 41896 KiB
[startup+3611.8 s]
/proc/loadavg: 4.13 4.12 4.06 4/260 32238
/proc/meminfo: memFree=129043344/131249992 swapFree=33010684/33010684
[pid=31899] ppid=31890 vsize=103296 memory=41896 CPUtime=3601.97 cores=4,6
/proc/31899/stat : 31899 (SynLSCD) R 31890 31899 31839 0 -1 4194304 88461 0 29 0 346157 14040 0 0 20 0 1 0 35061434 105775104 10474 18446744073709551615 94226118725632 94226121159785 140732712567968 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94226121641208 94226121674240 94226134568960 140732712573286 140732712573419 140732712573419 140732712579021 0
/proc/31899/statm: 25824 10474 2528 595 0 10491 0
Current children cumulated CPU time: 3601.97 s
Current children cumulated vsize: 103296 KiB
Current children cumulated memory: 41896 KiB
[startup+3611.9 s]
/proc/loadavg: 4.13 4.12 4.06 4/260 32238
/proc/meminfo: memFree=129043344/131249992 swapFree=33010684/33010684
[pid=31899] ppid=31890 vsize=103296 memory=41896 CPUtime=3602.06 cores=4,6
/proc/31899/stat : 31899 (SynLSCD) R 31890 31899 31839 0 -1 4194304 88461 0 29 0 346165 14041 0 0 20 0 1 0 35061434 105775104 10474 18446744073709551615 94226118725632 94226121159785 140732712567968 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94226121641208 94226121674240 94226134568960 140732712573286 140732712573419 140732712573419 140732712579021 0
/proc/31899/statm: 25824 10474 2528 595 0 10491 0
Current children cumulated CPU time: 3602.06 s
Current children cumulated vsize: 103296 KiB
Current children cumulated memory: 41896 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3611.9
CPU time (s): 3602.07
CPU user time (s): 3461.66
CPU system time (s): 140.417
CPU usage (%): 99.728
Max. virtual memory (cumulated for all children) (KiB): 103584
Max. memory (cumulated for all children) (KiB): 42088
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3461.66
system time used= 140.417
maximum resident set size= 42344
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88461
page faults= 29
swaps= 0
block input operations= 7944
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 395
involuntary context switches= 20382
# summary of solver processes directly reported to runsolver:
# pid: 31899
# total CPU time (s): 3602.07
# total CPU user time (s): 3461.66
# total CPU system time (s): 140.417
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.68049 second user time and 10.873 second system time
The end
Begin job on nodeC025 at 2025-06-29 12:43:47
IDJOB=4509910
IDBENCH=159173
IDSOLVER=3369
FILE ID=nodeC025/4509910-1751193826
RUNJOBID= nodeC025-1751193826-31850
SLURM_JOB_ID= 9587592
Free space on /tmp= 433064 MiB
SOLVER NAME= SynLSCD 2025-06-01
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-pmg-14-UNSAT.shuffled-as.sat05-3942.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-4509910-1751193826/watcher-4509910-1751193826 -o /tmp/evaluation-result-4509910-1751193826/solver-4509910-1751193826 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751193826-31850 --watchdog 3760 SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4509910-1751193826.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= e5c6ae9ee6fd03a9aee6a0d19e002873
RANDOM SEED=1569391300
nodeC025 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 : 3601.334
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.67
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 : 3598.857
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.67
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 : 3599.846
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.67
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.862
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.67
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.839
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.67
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 : 3599.834
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.67
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 : 3602.572
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.67
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.871
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.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249992 kB
MemFree: 129141784 kB
MemAvailable: 129819904 kB
Buffers: 3280 kB
Cached: 1479452 kB
SwapCached: 0 kB
Active: 327928 kB
Inactive: 1221572 kB
Active(anon): 84632 kB
Inactive(anon): 0 kB
Active(file): 243296 kB
Inactive(file): 1221572 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 13672 kB
Writeback: 0 kB
AnonPages: 69620 kB
Mapped: 102652 kB
Shmem: 18084 kB
KReclaimable: 104980 kB
Slab: 192740 kB
SReclaimable: 104980 kB
SUnreclaim: 87760 kB
KernelStack: 4128 kB
PageTables: 2948 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 329328 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150408 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 14336 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 207572 kB
DirectMap2M: 9000960 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433048 MiB
End job on nodeC025 at 2025-06-29 13:43:59