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 (51252 MiB free)
memory of node 1: 64507 MiB (51609 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4488426-1752683041/watcher-4488426-1752683041 -o /tmp/evaluation-result-4488426-1752683041/solver-4488426-1752683041 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1752683041-131025 --watchdog 3760 HOME/Exact_proof --ls=360 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=/tmp/proof-4488426-1752683041 --seed=370144408 HOME/instance-4488426-1752683041.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
Current StackSize limit: 8192 KiB
solver pid=131068, runsolver pid=131065
[startup+0.100074 s]*
/proc/loadavg: 0.12 0.10 0.09 4/246 131069
/proc/meminfo: memFree=105242132/131382120 swapFree=33010416/33010684
[pid=131068] ppid=131065 vsize=92976 memory=69352 CPUtime=0.09 cores=4,6
/proc/131068/stat : 131068 (Exact_proof) R 131065 131068 131014 0 -1 4194304 8191 0 0 0 6 3 0 0 20 0 1 0 183983476 95207424 17338 18446744073709551615 4198400 9115581 140729402397792 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 24711168 140729402403053 140729402403301 140729402403301 140729402408905 0
/proc/131068/statm: 23244 17338 992 1201 0 21722 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 92976 KiB
Current children cumulated memory: 69352 KiB
[startup+0.213439 s]*
/proc/loadavg: 0.12 0.10 0.09 5/246 131069
/proc/meminfo: memFree=105233312/131382120 swapFree=33010416/33010684
[pid=131068] ppid=131065 vsize=104556 memory=80720 CPUtime=0.22 cores=4,6
/proc/131068/stat : 131068 (Exact_proof) R 131065 131068 131014 0 -1 4194304 10836 0 0 0 17 5 0 0 20 0 1 0 183983476 107065344 20180 18446744073709551615 4198400 9115581 140729402397792 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 24711168 140729402403053 140729402403301 140729402403301 140729402408905 0
/proc/131068/statm: 26139 20180 992 1201 0 24617 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 104556 KiB
Current children cumulated memory: 80720 KiB
[startup+0.313358 s]*
/proc/loadavg: 0.12 0.10 0.09 5/246 131069
/proc/meminfo: memFree=105221404/131382120 swapFree=33010416/33010684
[pid=131068] ppid=131065 vsize=119908 memory=93652 CPUtime=0.31 cores=4,6
/proc/131068/stat : 131068 (Exact_proof) R 131065 131068 131014 0 -1 4194304 13302 0 0 0 25 6 0 0 20 0 1 0 183983476 122785792 23413 18446744073709551615 4198400 9115581 140729402397792 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 24711168 140729402403053 140729402403301 140729402403301 140729402408905 0
/proc/131068/statm: 29977 23413 992 1201 0 28455 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 119908 KiB
Current children cumulated memory: 93652 KiB
[startup+0.700321 s]
/proc/loadavg: 0.12 0.10 0.09 4/246 131069
/proc/meminfo: memFree=105189144/131382120 swapFree=33010416/33010684
[pid=131068] ppid=131065 vsize=215748 memory=144504 CPUtime=0.69 cores=4,6
/proc/131068/stat : 131068 (Exact_proof) R 131065 131068 131014 0 -1 4194304 20392 0 0 0 60 9 0 0 20 0 1 0 183983476 220925952 36094 18446744073709551615 4198400 9115581 140729402397792 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 24711168 140729402403053 140729402403301 140729402403301 140729402408905 0
/proc/131068/statm: 53937 36094 992 1201 0 52415 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 215748 KiB
Current children cumulated memory: 144504 KiB
[startup+1.50034 s]
/proc/loadavg: 0.12 0.10 0.09 4/246 131069
/proc/meminfo: memFree=105104528/131382120 swapFree=33010416/33010684
[pid=131068] ppid=131065 vsize=266928 memory=230276 CPUtime=1.48 cores=4,6
/proc/131068/stat : 131068 (Exact_proof) R 131065 131068 131014 0 -1 4194304 33669 0 0 0 134 14 0 0 20 0 1 0 183983476 273334272 57569 18446744073709551615 4198400 9115581 140729402397792 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 24711168 140729402403053 140729402403301 140729402403301 140729402408905 0
/proc/131068/statm: 66765 57569 1024 1201 0 65243 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 266928 KiB
Current children cumulated memory: 230276 KiB
[startup+3.11271 s]
/proc/loadavg: 0.12 0.10 0.09 4/246 131069
/proc/meminfo: memFree=104959464/131382120 swapFree=33010416/33010684
[pid=131068] ppid=131065 vsize=325816 memory=285952 CPUtime=3.09 cores=4,6
/proc/131068/stat : 131068 (Exact_proof) R 131065 131068 131014 0 -1 4194304 42470 0 0 0 289 20 0 0 20 0 1 0 183983476 333635584 71488 18446744073709551615 4198400 9115581 140729402397792 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 24711168 140729402403053 140729402403301 140729402403301 140729402408905 0
/proc/131068/statm: 81454 71488 1024 1201 0 79932 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 325816 KiB
Current children cumulated memory: 285952 KiB
[startup+6.30033 s]
/proc/loadavg: 0.35 0.14 0.11 4/246 131069
/proc/meminfo: memFree=104717596/131382120 swapFree=33010416/33010684
[pid=131068] ppid=131065 vsize=325816 memory=285952 CPUtime=6.27 cores=4,6
/proc/131068/stat : 131068 (Exact_proof) R 131065 131068 131014 0 -1 4194304 42492 0 0 0 597 30 0 0 20 0 1 0 183983476 333635584 71488 18446744073709551615 4198400 9115581 140729402397792 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 24711168 140729402403053 140729402403301 140729402403301 140729402408905 0
/proc/131068/statm: 81454 71488 1024 1201 0 79932 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 325816 KiB
Current children cumulated memory: 285952 KiB
[startup+12.7003 s]
/proc/loadavg: 0.57 0.19 0.12 4/246 131069
/proc/meminfo: memFree=104233964/131382120 swapFree=33010416/33010684
[pid=131068] ppid=131065 vsize=325816 memory=285952 CPUtime=12.66 cores=4,6
/proc/131068/stat : 131068 (Exact_proof) R 131065 131068 131014 0 -1 4194304 42492 0 0 0 1216 50 0 0 20 0 1 0 183983476 333635584 71488 18446744073709551615 4198400 9115581 140729402397792 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 24711168 140729402403053 140729402403301 140729402403301 140729402408905 0
/proc/131068/statm: 81454 71488 1024 1201 0 79932 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 325816 KiB
Current children cumulated memory: 285952 KiB
[startup+25.5003 s]
/proc/loadavg: 1.11 0.33 0.17 4/246 131070
/proc/meminfo: memFree=103177580/131382120 swapFree=33010416/33010684
[pid=131068] ppid=131065 vsize=325816 memory=285952 CPUtime=25.43 cores=4,6
/proc/131068/stat : 131068 (Exact_proof) R 131065 131068 131014 0 -1 4194304 42503 0 0 0 2454 89 0 0 20 0 1 0 183983476 333635584 71488 18446744073709551615 4198400 9115581 140729402397792 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 24711168 140729402403053 140729402403301 140729402403301 140729402408905 0
/proc/131068/statm: 81454 71488 1024 1201 0 79932 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 325816 KiB
Current children cumulated memory: 285952 KiB
[startup+51.1125 s]
/proc/loadavg: 2.09 0.63 0.27 4/246 131070
/proc/meminfo: memFree=101089004/131382120 swapFree=33010416/33010684
[pid=131068] ppid=131065 vsize=325816 memory=285952 CPUtime=50.99 cores=4,6
/proc/131068/stat : 131068 (Exact_proof) R 131065 131068 131014 0 -1 4194304 42525 0 0 0 4930 169 0 0 20 0 1 0 183983476 333635584 71488 18446744073709551615 4198400 9115581 140729402397792 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 24711168 140729402403053 140729402403301 140729402403301 140729402408905 0
/proc/131068/statm: 81454 71488 1024 1201 0 79932 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 325816 KiB
Current children cumulated memory: 285952 KiB
[startup+102.3 s]
/proc/loadavg: 3.01 1.10 0.45 4/246 131072
/proc/meminfo: memFree=96985136/131382120 swapFree=33010416/33010684
[pid=131068] ppid=131065 vsize=325816 memory=285952 CPUtime=102.08 cores=4,6
/proc/131068/stat : 131068 (Exact_proof) R 131065 131068 131014 0 -1 4194304 42547 0 0 0 9879 329 0 0 20 0 1 0 183983476 333635584 71488 18446744073709551615 4198400 9115581 140729402397792 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 24711168 140729402403053 140729402403301 140729402403301 140729402408905 0
/proc/131068/statm: 81454 71488 1024 1201 0 79932 0
Current children cumulated CPU time: 102.08 s
Current children cumulated vsize: 325816 KiB
Current children cumulated memory: 285952 KiB
[startup+162.3 s]
/proc/loadavg: 3.43 1.57 0.66 4/250 131078
/proc/meminfo: memFree=92119808/131382120 swapFree=33010416/33010684
[pid=131068] ppid=131065 vsize=325816 memory=285952 CPUtime=161.91 cores=4,6
/proc/131068/stat : 131068 (Exact_proof) R 131065 131068 131014 0 -1 4194304 42568 0 0 0 15675 516 0 0 20 0 1 0 183983476 333635584 71488 18446744073709551615 4198400 9115581 140729402397792 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 24711168 140729402403053 140729402403301 140729402403301 140729402408905 0
/proc/131068/statm: 81454 71488 1024 1201 0 79932 0
Current children cumulated CPU time: 161.91 s
Current children cumulated vsize: 325816 KiB
Current children cumulated memory: 285952 KiB
[startup+222.3 s]
/proc/loadavg: 3.58 1.96 0.85 4/249 131080
/proc/meminfo: memFree=87271060/131382120 swapFree=33010416/33010684
[pid=131068] ppid=131065 vsize=325816 memory=285952 CPUtime=221.79 cores=4,6
/proc/131068/stat : 131068 (Exact_proof) R 131065 131068 131014 0 -1 4194304 42594 0 0 0 21475 704 0 0 20 0 1 0 183983476 333635584 71488 18446744073709551615 4198400 9115581 140729402397792 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 24711168 140729402403053 140729402403301 140729402403301 140729402408905 0
/proc/131068/statm: 81454 71488 1024 1201 0 79932 0
Current children cumulated CPU time: 221.79 s
Current children cumulated vsize: 325816 KiB
Current children cumulated memory: 285952 KiB
[startup+282.3 s]
/proc/loadavg: 3.53 2.24 1.02 4/250 131083
/proc/meminfo: memFree=82439216/131382120 swapFree=33010416/33010684
[pid=131068] ppid=131065 vsize=325816 memory=288128 CPUtime=281.66 cores=4,6
/proc/131068/stat : 131068 (Exact_proof) R 131065 131068 131014 0 -1 4194304 42635 0 0 0 27276 890 0 0 20 0 1 0 183983476 333635584 72032 18446744073709551615 4198400 9115581 140729402397792 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 24711168 140729402403053 140729402403301 140729402403301 140729402408905 0
/proc/131068/statm: 81454 72032 1024 1201 0 79932 0
Current children cumulated CPU time: 281.66 s
Current children cumulated vsize: 325816 KiB
Current children cumulated memory: 288128 KiB
[startup+342.3 s]
/proc/loadavg: 3.67 2.52 1.19 4/248 131085
/proc/meminfo: memFree=77583944/131382120 swapFree=33010416/33010684
[pid=131068] ppid=131065 vsize=325816 memory=288128 CPUtime=341.54 cores=4,6
/proc/131068/stat : 131068 (Exact_proof) R 131065 131068 131014 0 -1 4194304 42636 0 0 0 33075 1079 0 0 20 0 1 0 183983476 333635584 72032 18446744073709551615 4198400 9115581 140729402397792 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 24711168 140729402403053 140729402403301 140729402403301 140729402408905 0
/proc/131068/statm: 81454 72032 1024 1201 0 79932 0
Current children cumulated CPU time: 341.54 s
Current children cumulated vsize: 325816 KiB
Current children cumulated memory: 288128 KiB
[startup+402.3 s]
/proc/loadavg: 3.63 2.71 1.34 4/248 131087
/proc/meminfo: memFree=69450336/131382120 swapFree=33010416/33010684
[pid=131068] ppid=131065 vsize=325816 memory=288128 CPUtime=401.43 cores=4,6
/proc/131068/stat : 131068 (Exact_proof) R 131065 131068 131014 0 -1 4194304 42674 0 0 0 38871 1272 0 0 20 0 1 0 183983476 333635584 72032 18446744073709551615 4198400 9115581 140729402397792 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 24711168 140729402403053 140729402403301 140729402403301 140729402408905 0
/proc/131068/statm: 81454 72032 1024 1201 0 79932 0
Current children cumulated CPU time: 401.43 s
Current children cumulated vsize: 325816 KiB
Current children cumulated memory: 288128 KiB
[startup+462.3 s]
/proc/loadavg: 3.74 2.91 1.50 4/248 131090
/proc/meminfo: memFree=61891092/131382120 swapFree=33010416/33010684
[pid=131068] ppid=131065 vsize=325816 memory=288128 CPUtime=461.32 cores=4,6
/proc/131068/stat : 131068 (Exact_proof) R 131065 131068 131014 0 -1 4194304 42674 0 0 0 44665 1467 0 0 20 0 1 0 183983476 333635584 72032 18446744073709551615 4198400 9115581 140729402397792 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 24711168 140729402403053 140729402403301 140729402403301 140729402408905 0
/proc/131068/statm: 81454 72032 1024 1201 0 79932 0
Current children cumulated CPU time: 461.32 s
################
# More data... #
################
Current children cumulated memory: 288128 KiB
[startup+2982.3 s]
/proc/loadavg: 4.30 4.22 4.02 4/251 131233
/proc/meminfo: memFree=1401816/131382120 swapFree=33010416/33010684
[pid=131068] ppid=131065 vsize=325816 memory=288128 CPUtime=2974.71 cores=4,6
/proc/131068/stat : 131068 (Exact_proof) R 131065 131068 131014 0 -1 4194304 43320 0 0 0 287386 10085 0 0 20 0 1 0 183983476 333635584 72032 18446744073709551615 4198400 9115581 140729402397792 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 24711168 140729402403053 140729402403301 140729402403301 140729402408905 0
/proc/131068/statm: 81454 72032 1024 1201 0 79932 0
Current children cumulated CPU time: 2974.71 s
Current children cumulated vsize: 325816 KiB
Current children cumulated memory: 288128 KiB
[startup+3042.3 s]
/proc/loadavg: 4.66 4.35 4.08 4/252 131242
/proc/meminfo: memFree=1351616/131382120 swapFree=33010416/33010684
[pid=131068] ppid=131065 vsize=325816 memory=288128 CPUtime=3034.53 cores=4,6
/proc/131068/stat : 131068 (Exact_proof) R 131065 131068 131014 0 -1 4194304 43358 0 0 0 293163 10290 0 0 20 0 1 0 183983476 333635584 72032 18446744073709551615 4198400 9115581 140729402397792 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 24711168 140729402403053 140729402403301 140729402403301 140729402408905 0
/proc/131068/statm: 81454 72032 1024 1201 0 79932 0
Current children cumulated CPU time: 3034.53 s
Current children cumulated vsize: 325816 KiB
Current children cumulated memory: 288128 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.24 4.05 4/252 131244
/proc/meminfo: memFree=1382780/131382120 swapFree=33010416/33010684
[pid=131068] ppid=131065 vsize=325816 memory=288128 CPUtime=3094.35 cores=4,6
/proc/131068/stat : 131068 (Exact_proof) R 131065 131068 131014 0 -1 4194304 43358 0 0 0 298937 10498 0 0 20 0 1 0 183983476 333635584 72032 18446744073709551615 4198400 9115581 140729402397792 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 24711168 140729402403053 140729402403301 140729402403301 140729402408905 0
/proc/131068/statm: 81454 72032 1024 1201 0 79932 0
Current children cumulated CPU time: 3094.35 s
Current children cumulated vsize: 325816 KiB
Current children cumulated memory: 288128 KiB
[startup+3162.3 s]
/proc/loadavg: 4.03 4.19 4.05 4/251 131247
/proc/meminfo: memFree=1343488/131382120 swapFree=33010416/33010684
[pid=131068] ppid=131065 vsize=325816 memory=288128 CPUtime=3154.17 cores=4,6
/proc/131068/stat : 131068 (Exact_proof) R 131065 131068 131014 0 -1 4194304 43358 0 0 0 304723 10694 0 0 20 0 1 0 183983476 333635584 72032 18446744073709551615 4198400 9115581 140729402397792 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 24711168 140729402403053 140729402403301 140729402403301 140729402408905 0
/proc/131068/statm: 81454 72032 1024 1201 0 79932 0
Current children cumulated CPU time: 3154.17 s
Current children cumulated vsize: 325816 KiB
Current children cumulated memory: 288128 KiB
[startup+3222.3 s]
/proc/loadavg: 4.31 4.23 4.07 4/250 131249
/proc/meminfo: memFree=1565712/131382120 swapFree=33010416/33010684
[pid=131068] ppid=131065 vsize=268468 memory=255996 CPUtime=3214 cores=4,6
/proc/131068/stat : 131068 (Exact_proof) R 131065 131068 131014 0 -1 4194304 43455 0 0 0 310539 10861 0 0 20 0 1 0 183983476 274911232 63999 18446744073709551615 4198400 9115581 140729402397792 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 24711168 140729402403053 140729402403301 140729402403301 140729402408905 0
/proc/131068/statm: 67117 63999 1024 1201 0 65595 0
Current children cumulated CPU time: 3214 s
Current children cumulated vsize: 268468 KiB
Current children cumulated memory: 255996 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.19 4.07 4/249 131251
/proc/meminfo: memFree=1544324/131382120 swapFree=33010416/33010684
[pid=131068] ppid=131065 vsize=268468 memory=255996 CPUtime=3273.87 cores=4,6
/proc/131068/stat : 131068 (Exact_proof) R 131065 131068 131014 0 -1 4194304 43459 0 0 0 316526 10861 0 0 20 0 1 0 183983476 274911232 63999 18446744073709551615 4198400 9115581 140729402397792 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 24711168 140729402403053 140729402403301 140729402403301 140729402408905 0
/proc/131068/statm: 67117 63999 1024 1201 0 65595 0
Current children cumulated CPU time: 3273.87 s
Current children cumulated vsize: 268468 KiB
Current children cumulated memory: 255996 KiB
[startup+3342.3 s]
/proc/loadavg: 3.55 4.02 4.01 4/248 131253
/proc/meminfo: memFree=1320136/131382120 swapFree=33010416/33010684
[pid=131068] ppid=131065 vsize=268468 memory=255996 CPUtime=3333.75 cores=4,6
/proc/131068/stat : 131068 (Exact_proof) R 131065 131068 131014 0 -1 4194304 43459 0 0 0 322514 10861 0 0 20 0 1 0 183983476 274911232 63999 18446744073709551615 4198400 9115581 140729402397792 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 24711168 140729402403053 140729402403301 140729402403301 140729402408905 0
/proc/131068/statm: 67117 63999 1024 1201 0 65595 0
Current children cumulated CPU time: 3333.75 s
Current children cumulated vsize: 268468 KiB
Current children cumulated memory: 255996 KiB
[startup+3402.3 s]
/proc/loadavg: 3.85 4.01 4.01 4/250 131257
/proc/meminfo: memFree=1551484/131382120 swapFree=33010416/33010684
[pid=131068] ppid=131065 vsize=268468 memory=255996 CPUtime=3393.62 cores=4,6
/proc/131068/stat : 131068 (Exact_proof) R 131065 131068 131014 0 -1 4194304 43459 0 0 0 328501 10861 0 0 20 0 1 0 183983476 274911232 63999 18446744073709551615 4198400 9115581 140729402397792 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 24711168 140729402403053 140729402403301 140729402403301 140729402408905 0
/proc/131068/statm: 67117 63999 1024 1201 0 65595 0
Current children cumulated CPU time: 3393.62 s
Current children cumulated vsize: 268468 KiB
Current children cumulated memory: 255996 KiB
[startup+3462.3 s]
/proc/loadavg: 3.73 3.95 3.99 4/249 131259
/proc/meminfo: memFree=1503904/131382120 swapFree=33010416/33010684
[pid=131068] ppid=131065 vsize=268468 memory=255996 CPUtime=3453.49 cores=4,6
/proc/131068/stat : 131068 (Exact_proof) R 131065 131068 131014 0 -1 4194304 43459 0 0 0 334488 10861 0 0 20 0 1 0 183983476 274911232 63999 18446744073709551615 4198400 9115581 140729402397792 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 24711168 140729402403053 140729402403301 140729402403301 140729402408905 0
/proc/131068/statm: 67117 63999 1024 1201 0 65595 0
Current children cumulated CPU time: 3453.49 s
Current children cumulated vsize: 268468 KiB
Current children cumulated memory: 255996 KiB
[startup+3522.3 s]
/proc/loadavg: 3.50 3.84 3.94 4/250 131262
/proc/meminfo: memFree=1450056/131382120 swapFree=33010416/33010684
[pid=131068] ppid=131065 vsize=268468 memory=255996 CPUtime=3513.37 cores=4,6
/proc/131068/stat : 131068 (Exact_proof) R 131065 131068 131014 0 -1 4194304 43463 0 0 0 340476 10861 0 0 20 0 1 0 183983476 274911232 63999 18446744073709551615 4198400 9115581 140729402397792 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 24711168 140729402403053 140729402403301 140729402403301 140729402408905 0
/proc/131068/statm: 67117 63999 1024 1201 0 65595 0
Current children cumulated CPU time: 3513.37 s
Current children cumulated vsize: 268468 KiB
Current children cumulated memory: 255996 KiB
[startup+3582.3 s]
/proc/loadavg: 3.41 3.76 3.91 4/249 131263
/proc/meminfo: memFree=1469568/131382120 swapFree=33010416/33010684
[pid=131068] ppid=131065 vsize=447016 memory=432248 CPUtime=3572.92 cores=4,6
/proc/131068/stat : 131068 (Exact_proof) R 131065 131068 131014 0 -1 4194304 53828 0 1 0 346425 10867 0 0 20 0 1 0 183983476 457744384 108062 18446744073709551615 4198400 9115581 140729402397792 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 24711168 140729402403053 140729402403301 140729402403301 140729402408905 0
/proc/131068/statm: 111754 108062 1184 1201 0 110232 0
Current children cumulated CPU time: 3572.92 s
Current children cumulated vsize: 447016 KiB
Current children cumulated memory: 432248 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.5 s]
/proc/loadavg: 3.40 3.72 3.89 4/250 131272
/proc/meminfo: memFree=1527500/131382120 swapFree=33010416/33010684
[pid=131068] ppid=131065 vsize=1001664 memory=922852 CPUtime=3600.06 cores=4,6
/proc/131068/stat : 131068 (Exact_proof) R 131065 131068 131014 0 -1 4194304 72061 0 1 0 349052 10954 0 0 20 0 1 0 183983476 1025703936 230713 18446744073709551615 4198400 9115581 140729402397792 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 24711168 140729402403053 140729402403301 140729402403301 140729402408905 0
/proc/131068/statm: 250416 230713 1248 1201 0 248894 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 1001664 KiB
Current children cumulated memory: 922852 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.73 s]
# the end of solver process 131068 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3490.71 s, system=109.552 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.6 s]
/proc/loadavg: 3.40 3.72 3.89 4/250 131272
/proc/meminfo: memFree=1527500/131382120 swapFree=33010416/33010684
[pid=131068] ppid=131065 vsize=1001664 memory=922852 CPUtime=3600.16 cores=4,6
/proc/131068/stat : 131068 (Exact_proof) R 131065 131068 131014 0 -1 4194304 72061 0 1 0 349062 10954 0 0 20 0 1 0 183983476 1025703936 230713 18446744073709551615 4198400 9115581 140729402397792 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 24711168 140729402403053 140729402403301 140729402403301 140729402408905 0
/proc/131068/statm: 250416 230713 1248 1201 0 248894 0
Current children cumulated CPU time: 3600.16 s
Current children cumulated vsize: 1001664 KiB
Current children cumulated memory: 922852 KiB
[startup+3609.7 s]
/proc/loadavg: 3.40 3.72 3.89 4/250 131272
/proc/meminfo: memFree=1527500/131382120 swapFree=33010416/33010684
[pid=131068] ppid=131065 vsize=821884 memory=776064 CPUtime=3600.21 cores=4,6
/proc/131068/stat : 131068 (Exact_proof) R 131065 131068 131014 0 -1 4194304 72065 0 2 0 349067 10954 0 0 20 0 1 0 183983476 841609216 194016 18446744073709551615 4198400 9115581 140729402397792 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 24711168 140729402403053 140729402403301 140729402403301 140729402408905 0
/proc/131068/statm: 205471 194016 1280 1201 0 203949 0
Current children cumulated CPU time: 3600.21 s
Current children cumulated vsize: 821884 KiB
Current children cumulated memory: 776064 KiB
Child status: 0
Real time (s): 3609.73
CPU time (s): 3600.26
CPU user time (s): 3490.71
CPU system time (s): 109.552
CPU usage (%): 99.7375
Max. virtual memory (cumulated for all children) (KiB): 1026252
Max. memory (cumulated for all children) (KiB): 966292
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3490.71
system time used= 109.552
maximum resident set size= 980632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72073
page faults= 2
swaps= 0
block input operations= 6560
block output operations= 522504736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 21552
# summary of solver processes directly reported to runsolver:
# pid: 131068
# total CPU time (s): 3600.26
# total CPU user time (s): 3490.71
# total CPU system time (s): 109.552
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.351 second user time and 36.9354 second system time
The end
Begin job on nodeC006 at 2025-07-16 18:24:01
IDJOB=4488426
IDBENCH=147466
IDSOLVER=3325
FILE ID=nodeC006/4488426-1752683041
RUNJOBID= nodeC006-1752683041-131025
SLURM_JOB_ID= 9686934
Free space on /tmp= 432456 MiB
SOLVER NAME= Exact_proof 2025-06-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/factor/normalized-factor-sizeN=440-sizeP=221-sizeQ=440-726468498.opb
COMMAND LINE= HOME/Exact_proof --ls=360 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=CERTNAME --seed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4488426-1752683041/watcher-4488426-1752683041 -o /tmp/evaluation-result-4488426-1752683041/solver-4488426-1752683041 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1752683041-131025 --watchdog 3760 HOME/Exact_proof --ls=360 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=/tmp/proof-4488426-1752683041 --seed=370144408 HOME/instance-4488426-1752683041.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b5fa98c77b2f02bc89c0dd9881e13d7c
RANDOM SEED=370144408
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.746
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 : 1197.140
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.198
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.138
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 : 1197.136
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 : 3700.000
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.254
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.145
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: 105340096 kB
MemAvailable: 129720972 kB
Buffers: 2128 kB
Cached: 25061420 kB
SwapCached: 12 kB
Active: 850576 kB
Inactive: 24343580 kB
Active(anon): 145952 kB
Inactive(anon): 10796 kB
Active(file): 704624 kB
Inactive(file): 24332784 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 43448 kB
Writeback: 0 kB
AnonPages: 132504 kB
Mapped: 115084 kB
Shmem: 26140 kB
KReclaimable: 369900 kB
Slab: 463072 kB
SReclaimable: 369900 kB
SUnreclaim: 93172 kB
KernelStack: 3832 kB
PageTables: 3080 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 506104 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149288 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 20480 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= 14864 MiB
End job on nodeC006 at 2025-07-16 19:24:11