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: 63837 MiB (45599 MiB free)
memory of node 1: 64465 MiB (38478 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4541866-1753202597/watcher-4541866-1753202597 -o /tmp/evaluation-result-4541866-1753202597/solver-4541866-1753202597 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1753198970-178397 --watchdog 3760 HOME/Exact_proof --ls=360 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=/tmp/proof-4541866-1753202597 --seed=359947374 HOME/instance-4541866-1753202597.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=178779, runsolver pid=178776
Current StackSize limit: 8192 KiB
[startup+0.100103 s]*
/proc/loadavg: 4.44 4.30 4.24 5/240 178780
/proc/meminfo: memFree=90361096/131382116 swapFree=33005528/33010684
[pid=178779] ppid=178776 vsize=35312 memory=12504 CPUtime=0.1 cores=5,7
/proc/178779/stat : 178779 (Exact_proof) R 178776 178779 178377 0 -1 4194304 2570 0 0 0 10 0 0 0 20 0 1 0 235939066 36159488 3126 18446744073709551615 4198400 9115581 140729044076800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 42569728 140729044084973 140729044085221 140729044085221 140729044090825 0
/proc/178779/statm: 8828 3126 1024 1201 0 7306 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 35312 KiB
Current children cumulated memory: 12504 KiB
[startup+0.213465 s]*
/proc/loadavg: 4.44 4.30 4.24 4/241 178784
/proc/meminfo: memFree=94768800/131382116 swapFree=33005528/33010684
[pid=178779] ppid=178776 vsize=35312 memory=12504 CPUtime=0.21 cores=5,7
/proc/178779/stat : 178779 (Exact_proof) R 178776 178779 178377 0 -1 4194304 2570 0 0 0 21 0 0 0 20 0 1 0 235939066 36159488 3126 18446744073709551615 4198400 9115581 140729044076800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 42569728 140729044084973 140729044085221 140729044085221 140729044090825 0
/proc/178779/statm: 8828 3126 1024 1201 0 7306 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 35312 KiB
Current children cumulated memory: 12504 KiB
[startup+0.313427 s]*
/proc/loadavg: 4.44 4.30 4.24 5/240 178785
/proc/meminfo: memFree=97732452/131382116 swapFree=33005528/33010684
[pid=178779] ppid=178776 vsize=35312 memory=12504 CPUtime=0.31 cores=5,7
/proc/178779/stat : 178779 (Exact_proof) R 178776 178779 178377 0 -1 4194304 2570 0 0 0 31 0 0 0 20 0 1 0 235939066 36159488 3126 18446744073709551615 4198400 9115581 140729044076800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 42569728 140729044084973 140729044085221 140729044085221 140729044090825 0
/proc/178779/statm: 8828 3126 1024 1201 0 7306 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 35312 KiB
Current children cumulated memory: 12504 KiB
[startup+0.700292 s]
/proc/loadavg: 4.44 4.30 4.24 6/245 178799
/proc/meminfo: memFree=103769800/131382116 swapFree=33005528/33010684
[pid=178779] ppid=178776 vsize=35312 memory=12504 CPUtime=0.68 cores=5,7
/proc/178779/stat : 178779 (Exact_proof) R 178776 178779 178377 0 -1 4194304 2570 0 0 0 68 0 0 0 20 0 1 0 235939066 36159488 3126 18446744073709551615 4198400 9115581 140729044076800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 42569728 140729044084973 140729044085221 140729044085221 140729044090825 0
/proc/178779/statm: 8828 3126 1024 1201 0 7306 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 35312 KiB
Current children cumulated memory: 12504 KiB
[startup+1.50032 s]
/proc/loadavg: 4.44 4.30 4.24 4/251 178823
/proc/meminfo: memFree=111596188/131382116 swapFree=33005528/33010684
[pid=178779] ppid=178776 vsize=35312 memory=12504 CPUtime=1.48 cores=5,7
/proc/178779/stat : 178779 (Exact_proof) R 178776 178779 178377 0 -1 4194304 2570 0 0 0 147 1 0 0 20 0 1 0 235939066 36159488 3126 18446744073709551615 4198400 9115581 140729044076800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 42569728 140729044084973 140729044085221 140729044085221 140729044090825 0
/proc/178779/statm: 8828 3126 1024 1201 0 7306 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 35312 KiB
Current children cumulated memory: 12504 KiB
[startup+3.11278 s]
/proc/loadavg: 4.41 4.30 4.24 5/255 178837
/proc/meminfo: memFree=111552564/131382116 swapFree=33005528/33010684
[pid=178779] ppid=178776 vsize=35312 memory=12504 CPUtime=3.09 cores=5,7
/proc/178779/stat : 178779 (Exact_proof) R 178776 178779 178377 0 -1 4194304 2570 0 0 0 308 1 0 0 20 0 1 0 235939066 36159488 3126 18446744073709551615 4198400 9115581 140729044076800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 42569728 140729044084973 140729044085221 140729044085221 140729044090825 0
/proc/178779/statm: 8828 3126 1024 1201 0 7306 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 35312 KiB
Current children cumulated memory: 12504 KiB
[startup+6.30023 s]
/proc/loadavg: 4.41 4.30 4.24 5/255 178837
/proc/meminfo: memFree=111552880/131382116 swapFree=33005528/33010684
[pid=178779] ppid=178776 vsize=35312 memory=12504 CPUtime=6.27 cores=5,7
/proc/178779/stat : 178779 (Exact_proof) R 178776 178779 178377 0 -1 4194304 2570 0 0 0 626 1 0 0 20 0 1 0 235939066 36159488 3126 18446744073709551615 4198400 9115581 140729044076800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 42569728 140729044084973 140729044085221 140729044085221 140729044090825 0
/proc/178779/statm: 8828 3126 1024 1201 0 7306 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 35312 KiB
Current children cumulated memory: 12504 KiB
[startup+12.7002 s]
/proc/loadavg: 4.34 4.29 4.24 5/254 178837
/proc/meminfo: memFree=111553132/131382116 swapFree=33005528/33010684
[pid=178779] ppid=178776 vsize=35312 memory=12504 CPUtime=12.66 cores=5,7
/proc/178779/stat : 178779 (Exact_proof) R 178776 178779 178377 0 -1 4194304 2570 0 0 0 1265 1 0 0 20 0 1 0 235939066 36159488 3126 18446744073709551615 4198400 9115581 140729044076800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 42569728 140729044084973 140729044085221 140729044085221 140729044090825 0
/proc/178779/statm: 8828 3126 1024 1201 0 7306 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 35312 KiB
Current children cumulated memory: 12504 KiB
[startup+25.5003 s]
/proc/loadavg: 4.29 4.28 4.23 5/254 178837
/proc/meminfo: memFree=111553132/131382116 swapFree=33005528/33010684
[pid=178779] ppid=178776 vsize=35312 memory=12504 CPUtime=25.43 cores=5,7
/proc/178779/stat : 178779 (Exact_proof) R 178776 178779 178377 0 -1 4194304 2570 0 0 0 2542 1 0 0 20 0 1 0 235939066 36159488 3126 18446744073709551615 4198400 9115581 140729044076800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 42569728 140729044084973 140729044085221 140729044085221 140729044090825 0
/proc/178779/statm: 8828 3126 1024 1201 0 7306 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 35312 KiB
Current children cumulated memory: 12504 KiB
[startup+51.1126 s]
/proc/loadavg: 4.19 4.25 4.23 5/254 178838
/proc/meminfo: memFree=111549036/131382116 swapFree=33005528/33010684
[pid=178779] ppid=178776 vsize=35312 memory=12632 CPUtime=50.99 cores=5,7
/proc/178779/stat : 178779 (Exact_proof) R 178776 178779 178377 0 -1 4194304 2570 0 0 0 5098 1 0 0 20 0 1 0 235939066 36159488 3158 18446744073709551615 4198400 9115581 140729044076800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 42569728 140729044084973 140729044085221 140729044085221 140729044090825 0
/proc/178779/statm: 8828 3158 1024 1201 0 7306 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 35312 KiB
Current children cumulated memory: 12632 KiB
[startup+102.3 s]
/proc/loadavg: 4.27 4.26 4.23 5/254 178840
/proc/meminfo: memFree=111547208/131382116 swapFree=33005528/33010684
[pid=178779] ppid=178776 vsize=35312 memory=12632 CPUtime=102.08 cores=5,7
/proc/178779/stat : 178779 (Exact_proof) R 178776 178779 178377 0 -1 4194304 2570 0 0 0 10207 1 0 0 20 0 1 0 235939066 36159488 3158 18446744073709551615 4198400 9115581 140729044076800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 42569728 140729044084973 140729044085221 140729044085221 140729044090825 0
/proc/178779/statm: 8828 3158 1024 1201 0 7306 0
Current children cumulated CPU time: 102.08 s
Current children cumulated vsize: 35312 KiB
Current children cumulated memory: 12632 KiB
[startup+162.3 s]
/proc/loadavg: 4.76 4.41 4.28 5/254 178842
/proc/meminfo: memFree=111530516/131382116 swapFree=33005528/33010684
[pid=178779] ppid=178776 vsize=35312 memory=12632 CPUtime=161.96 cores=5,7
/proc/178779/stat : 178779 (Exact_proof) R 178776 178779 178377 0 -1 4194304 2570 0 0 0 16195 1 0 0 20 0 1 0 235939066 36159488 3158 18446744073709551615 4198400 9115581 140729044076800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 42569728 140729044084973 140729044085221 140729044085221 140729044090825 0
/proc/178779/statm: 8828 3158 1024 1201 0 7306 0
Current children cumulated CPU time: 161.96 s
Current children cumulated vsize: 35312 KiB
Current children cumulated memory: 12632 KiB
[startup+222.3 s]
/proc/loadavg: 4.33 4.35 4.27 5/254 178845
/proc/meminfo: memFree=111525100/131382116 swapFree=33005528/33010684
[pid=178779] ppid=178776 vsize=35312 memory=12632 CPUtime=221.85 cores=5,7
/proc/178779/stat : 178779 (Exact_proof) R 178776 178779 178377 0 -1 4194304 2570 0 0 0 22184 1 0 0 20 0 1 0 235939066 36159488 3158 18446744073709551615 4198400 9115581 140729044076800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 42569728 140729044084973 140729044085221 140729044085221 140729044090825 0
/proc/178779/statm: 8828 3158 1024 1201 0 7306 0
Current children cumulated CPU time: 221.85 s
Current children cumulated vsize: 35312 KiB
Current children cumulated memory: 12632 KiB
[startup+282.3 s]
/proc/loadavg: 4.18 4.30 4.26 5/251 178847
/proc/meminfo: memFree=111525856/131382116 swapFree=33005528/33010684
[pid=178779] ppid=178776 vsize=35312 memory=12632 CPUtime=281.73 cores=5,7
/proc/178779/stat : 178779 (Exact_proof) R 178776 178779 178377 0 -1 4194304 2570 0 0 0 28172 1 0 0 20 0 1 0 235939066 36159488 3158 18446744073709551615 4198400 9115581 140729044076800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 42569728 140729044084973 140729044085221 140729044085221 140729044090825 0
/proc/178779/statm: 8828 3158 1024 1201 0 7306 0
Current children cumulated CPU time: 281.73 s
Current children cumulated vsize: 35312 KiB
Current children cumulated memory: 12632 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.26 4.24 5/251 178849
/proc/meminfo: memFree=111527372/131382116 swapFree=33005528/33010684
[pid=178779] ppid=178776 vsize=35312 memory=12632 CPUtime=341.61 cores=5,7
/proc/178779/stat : 178779 (Exact_proof) R 178776 178779 178377 0 -1 4194304 2570 0 0 0 34160 1 0 0 20 0 1 0 235939066 36159488 3158 18446744073709551615 4198400 9115581 140729044076800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 42569728 140729044084973 140729044085221 140729044085221 140729044090825 0
/proc/178779/statm: 8828 3158 1024 1201 0 7306 0
Current children cumulated CPU time: 341.61 s
Current children cumulated vsize: 35312 KiB
Current children cumulated memory: 12632 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.24 4.24 5/251 178899
/proc/meminfo: memFree=106132872/131382116 swapFree=33005528/33010684
[pid=178779] ppid=178776 vsize=100520 memory=83140 CPUtime=401.43 cores=5,7
/proc/178779/stat : 178779 (Exact_proof) R 178776 178779 178377 0 -1 4194304 17976 0 0 0 40109 34 0 0 20 0 1 0 235939066 102932480 20785 18446744073709551615 4198400 9115581 140729044076800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 42569728 140729044084973 140729044085221 140729044085221 140729044090825 0
/proc/178779/statm: 25130 20785 1280 1201 0 23608 0
Current children cumulated CPU time: 401.43 s
Current children cumulated vsize: 100520 KiB
Current children cumulated memory: 83140 KiB
[startup+462.3 s]
/proc/loadavg: 4.21 4.25 4.24 5/251 178901
/proc/meminfo: memFree=104856704/131382116 swapFree=33005528/33010684
[pid=178779] ppid=178776 vsize=135532 memory=115652 CPUtime=461.24 cores=5,7
/proc/178779/stat : 178779 (Exact_proof) R 178776 178779 178377 0 -1 4194304 26113 0 0 0 46044 80 0 0 20 0 1 0 235939066 138784768 28913 18446744073709551615 4198400 9115581 140729044076800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 42569728 140729044084973 140729044085221 140729044085221 140729044090825 0
/proc/178779/statm: 33883 28913 1280 1201 0 32361 0
################
# More data... #
################
Current children cumulated memory: 474488 KiB
[startup+2922.3 s]
/proc/loadavg: 4.23 4.37 4.32 5/250 179072
/proc/meminfo: memFree=53319484/131382116 swapFree=33005528/33010684
[pid=178779] ppid=178776 vsize=540252 memory=481528 CPUtime=2912.34 cores=5,7
/proc/178779/stat : 178779 (Exact_proof) R 178776 178779 178377 0 -1 4194304 116112 0 0 0 289313 1921 0 0 20 0 1 0 235939066 553218048 120382 18446744073709551615 4198400 9115581 140729044076800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 42569728 140729044084973 140729044085221 140729044085221 140729044090825 0
/proc/178779/statm: 135063 120382 1280 1201 0 133541 0
Current children cumulated CPU time: 2912.34 s
Current children cumulated vsize: 540252 KiB
Current children cumulated memory: 481528 KiB
[startup+2982.3 s]
/proc/loadavg: 4.26 4.35 4.31 5/252 179076
/proc/meminfo: memFree=51485084/131382116 swapFree=33005528/33010684
[pid=178779] ppid=178776 vsize=542092 memory=484216 CPUtime=2972.18 cores=5,7
/proc/178779/stat : 178779 (Exact_proof) R 178776 178779 178377 0 -1 4194304 116541 0 0 0 295257 1961 0 0 20 0 1 0 235939066 555102208 121054 18446744073709551615 4198400 9115581 140729044076800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 42569728 140729044084973 140729044085221 140729044085221 140729044090825 0
/proc/178779/statm: 135523 121054 1280 1201 0 134001 0
Current children cumulated CPU time: 2972.18 s
Current children cumulated vsize: 542092 KiB
Current children cumulated memory: 484216 KiB
[startup+3042.3 s]
/proc/loadavg: 4.32 4.34 4.31 5/253 179085
/proc/meminfo: memFree=49749712/131382116 swapFree=33005528/33010684
[pid=178779] ppid=178776 vsize=545740 memory=490616 CPUtime=3032 cores=5,7
/proc/178779/stat : 178779 (Exact_proof) R 178776 178779 178377 0 -1 4194304 117489 0 0 0 301200 2000 0 0 20 0 1 0 235939066 558837760 122654 18446744073709551615 4198400 9115581 140729044076800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 42569728 140729044084973 140729044085221 140729044085221 140729044090825 0
/proc/178779/statm: 136435 122654 1280 1201 0 134913 0
Current children cumulated CPU time: 3032 s
Current children cumulated vsize: 545740 KiB
Current children cumulated memory: 490616 KiB
[startup+3102.3 s]
/proc/loadavg: 4.16 4.29 4.30 5/253 179087
/proc/meminfo: memFree=48193384/131382116 swapFree=33005528/33010684
[pid=178779] ppid=178776 vsize=550808 memory=503800 CPUtime=3091.83 cores=5,7
/proc/178779/stat : 178779 (Exact_proof) R 178776 178779 178377 0 -1 4194304 118657 0 0 0 307144 2039 0 0 20 0 1 0 235939066 564027392 125950 18446744073709551615 4198400 9115581 140729044076800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 42569728 140729044084973 140729044085221 140729044085221 140729044090825 0
/proc/178779/statm: 137702 125950 1280 1201 0 136180 0
Current children cumulated CPU time: 3091.83 s
Current children cumulated vsize: 550808 KiB
Current children cumulated memory: 503800 KiB
[startup+3162.3 s]
/proc/loadavg: 4.26 4.30 4.30 5/257 179110
/proc/meminfo: memFree=57325532/131382116 swapFree=33005528/33010684
[pid=178779] ppid=178776 vsize=592816 memory=540864 CPUtime=3151.68 cores=5,7
/proc/178779/stat : 178779 (Exact_proof) R 178776 178779 178377 0 -1 4194304 120645 0 0 0 313088 2080 0 0 20 0 1 0 235939066 607043584 135216 18446744073709551615 4198400 9115581 140729044076800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 42569728 140729044084973 140729044085221 140729044085221 140729044090825 0
/proc/178779/statm: 148204 135216 1280 1201 0 146682 0
Current children cumulated CPU time: 3151.68 s
Current children cumulated vsize: 592816 KiB
Current children cumulated memory: 540864 KiB
[startup+3222.3 s]
/proc/loadavg: 4.20 4.27 4.29 5/257 179112
/proc/meminfo: memFree=56188004/131382116 swapFree=33005528/33010684
[pid=178779] ppid=178776 vsize=596420 memory=557888 CPUtime=3211.52 cores=5,7
/proc/178779/stat : 178779 (Exact_proof) R 178776 178779 178377 0 -1 4194304 121456 0 0 0 319030 2122 0 0 20 0 1 0 235939066 610734080 139472 18446744073709551615 4198400 9115581 140729044076800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 42569728 140729044084973 140729044085221 140729044085221 140729044090825 0
/proc/178779/statm: 149105 139472 1280 1201 0 147583 0
Current children cumulated CPU time: 3211.52 s
Current children cumulated vsize: 596420 KiB
Current children cumulated memory: 557888 KiB
[startup+3282.3 s]
/proc/loadavg: 4.21 4.27 4.28 5/257 179115
/proc/meminfo: memFree=55119824/131382116 swapFree=33005528/33010684
[pid=178779] ppid=178776 vsize=599876 memory=577984 CPUtime=3271.38 cores=5,7
/proc/178779/stat : 178779 (Exact_proof) R 178776 178779 178377 0 -1 4194304 122278 0 0 0 324976 2162 0 0 20 0 1 0 235939066 614273024 144496 18446744073709551615 4198400 9115581 140729044076800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 42569728 140729044084973 140729044085221 140729044085221 140729044090825 0
/proc/178779/statm: 149969 144496 1280 1201 0 148447 0
Current children cumulated CPU time: 3271.38 s
Current children cumulated vsize: 599876 KiB
Current children cumulated memory: 577984 KiB
[startup+3342.3 s]
/proc/loadavg: 4.17 4.25 4.27 5/255 179118
/proc/meminfo: memFree=54202692/131382116 swapFree=33005528/33010684
[pid=178779] ppid=178776 vsize=609656 memory=590016 CPUtime=3331.22 cores=5,7
/proc/178779/stat : 178779 (Exact_proof) R 178776 178779 178377 0 -1 4194304 124319 0 0 0 330919 2203 0 0 20 0 1 0 235939066 624287744 147504 18446744073709551615 4198400 9115581 140729044076800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 42569728 140729044084973 140729044085221 140729044085221 140729044090825 0
/proc/178779/statm: 152414 147504 1280 1201 0 150892 0
Current children cumulated CPU time: 3331.22 s
Current children cumulated vsize: 609656 KiB
Current children cumulated memory: 590016 KiB
[startup+3402.3 s]
/proc/loadavg: 4.66 4.36 4.31 5/255 179120
/proc/meminfo: memFree=53323932/131382116 swapFree=33005528/33010684
[pid=178779] ppid=178776 vsize=615080 memory=594624 CPUtime=3391.06 cores=5,7
/proc/178779/stat : 178779 (Exact_proof) R 178776 178779 178377 0 -1 4194304 125489 0 0 0 336864 2242 0 0 20 0 1 0 235939066 629841920 148656 18446744073709551615 4198400 9115581 140729044076800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 42569728 140729044084973 140729044085221 140729044085221 140729044090825 0
/proc/178779/statm: 153770 148656 1280 1201 0 152248 0
Current children cumulated CPU time: 3391.06 s
Current children cumulated vsize: 615080 KiB
Current children cumulated memory: 594624 KiB
[startup+3462.3 s]
/proc/loadavg: 4.55 4.40 4.32 5/251 179122
/proc/meminfo: memFree=52464880/131382116 swapFree=33005528/33010684
[pid=178779] ppid=178776 vsize=619208 memory=598464 CPUtime=3450.9 cores=5,7
/proc/178779/stat : 178779 (Exact_proof) R 178776 178779 178377 0 -1 4194304 126699 0 0 0 342808 2282 0 0 20 0 1 0 235939066 634068992 149616 18446744073709551615 4198400 9115581 140729044076800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 42569728 140729044084973 140729044085221 140729044085221 140729044090825 0
/proc/178779/statm: 154802 149616 1280 1201 0 153280 0
Current children cumulated CPU time: 3450.9 s
Current children cumulated vsize: 619208 KiB
Current children cumulated memory: 598464 KiB
[startup+3522.3 s]
/proc/loadavg: 4.23 4.33 4.31 5/251 179124
/proc/meminfo: memFree=50933988/131382116 swapFree=33005528/33010684
[pid=178779] ppid=178776 vsize=623700 memory=601920 CPUtime=3510.73 cores=5,7
/proc/178779/stat : 178779 (Exact_proof) R 178776 178779 178377 0 -1 4194304 127562 0 0 0 348748 2325 0 0 20 0 1 0 235939066 638668800 150480 18446744073709551615 4198400 9115581 140729044076800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 42569728 140729044084973 140729044085221 140729044085221 140729044090825 0
/proc/178779/statm: 155925 150480 1280 1201 0 154403 0
Current children cumulated CPU time: 3510.73 s
Current children cumulated vsize: 623700 KiB
Current children cumulated memory: 601920 KiB
[startup+3582.3 s]
/proc/loadavg: 4.28 4.33 4.31 5/250 179126
/proc/meminfo: memFree=49219524/131382116 swapFree=33005528/33010684
[pid=178779] ppid=178776 vsize=625216 memory=603456 CPUtime=3570.56 cores=5,7
/proc/178779/stat : 178779 (Exact_proof) R 178776 178779 178377 0 -1 4194304 128197 0 0 0 354688 2368 0 0 20 0 1 0 235939066 640221184 150864 18446744073709551615 4198400 9115581 140729044076800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 42569728 140729044084973 140729044085221 140729044085221 140729044090825 0
/proc/178779/statm: 156304 150864 1280 1201 0 154782 0
Current children cumulated CPU time: 3570.56 s
Current children cumulated vsize: 625216 KiB
Current children cumulated memory: 603456 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.9 s]
/proc/loadavg: 4.30 4.34 4.31 4/244 179169
/proc/meminfo: memFree=58069816/131382116 swapFree=33005528/33010684
[pid=178779] ppid=178776 vsize=627844 memory=605760 CPUtime=3600.08 cores=5,7
/proc/178779/stat : 178779 (Exact_proof) R 178776 178779 178377 0 -1 4194304 128814 0 0 0 357617 2391 0 0 20 0 1 0 235939066 642912256 151440 18446744073709551615 4198400 9115581 140729044076800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 42569728 140729044084973 140729044085221 140729044085221 140729044090825 0
/proc/178779/statm: 156961 151440 1280 1201 0 155439 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 627844 KiB
Current children cumulated memory: 605760 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.91 s]
# the end of solver process 178779 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3576.18 s, system=23.9142 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.9 s]
/proc/loadavg: 4.30 4.34 4.31 4/244 179169
/proc/meminfo: memFree=58069816/131382116 swapFree=33005528/33010684
[pid=178779] ppid=178776 vsize=627844 memory=605760 CPUtime=3600.08 cores=5,7
/proc/178779/stat : 178779 (Exact_proof) R 178776 178779 178377 0 -1 4194304 128814 0 0 0 357617 2391 0 0 20 0 1 0 235939066 642912256 151440 18446744073709551615 4198400 9115581 140729044076800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 42569728 140729044084973 140729044085221 140729044085221 140729044090825 0
/proc/178779/statm: 156961 151440 1280 1201 0 155439 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 627844 KiB
Current children cumulated memory: 605760 KiB
Child status: 0
Real time (s): 3611.91
CPU time (s): 3600.09
CPU user time (s): 3576.18
CPU system time (s): 23.9142
CPU usage (%): 99.6729
Max. virtual memory (cumulated for all children) (KiB): 627844
Max. memory (cumulated for all children) (KiB): 605760
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3576.18
system time used= 23.9142
maximum resident set size= 605760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 128815
page faults= 0
swaps= 0
block input operations= 0
block output operations= 36346600
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 114
involuntary context switches= 4601
# summary of solver processes directly reported to runsolver:
# pid: 178779
# total CPU time (s): 3600.09
# total CPU user time (s): 3576.18
# total CPU system time (s): 23.9142
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.5288 second user time and 33.9553 second system time
The end
Begin job on nodeC010 at 2025-07-22 18:43:17
IDJOB=4541866
IDBENCH=163529
IDSOLVER=3325
FILE ID=nodeC010/4541866-1753202597
RUNJOBID= nodeC010-1753198970-178397
SLURM_JOB_ID= 9687743
Free space on /tmp= 367668 MiB
SOLVER NAME= Exact_proof 2025-06-02
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/equalities/array_comm/arraycomm_teq_tvars/normalized-32arraycomm_teq_tvars_greater.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-4541866-1753202597/watcher-4541866-1753202597 -o /tmp/evaluation-result-4541866-1753202597/solver-4541866-1753202597 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1753198970-178397 --watchdog 3760 HOME/Exact_proof --ls=360 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=/tmp/proof-4541866-1753202597 --seed=359947374 HOME/instance-4541866-1753202597.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b6349d7dce380ae2e08847675885e6d3
RANDOM SEED=359947374
nodeC010 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.221
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.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 2393.973
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.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 2394.108
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.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.148
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.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 2394.302
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.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 2594.154
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.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
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.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.147
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.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 83217728 kB
MemAvailable: 129806596 kB
Buffers: 228 kB
Cached: 47326896 kB
SwapCached: 4300 kB
Active: 904832 kB
Inactive: 46490724 kB
Active(anon): 41228 kB
Inactive(anon): 48712 kB
Active(file): 863604 kB
Inactive(file): 46442012 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33005528 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 17928 kB
Writeback: 0 kB
AnonPages: 66832 kB
Mapped: 104284 kB
Shmem: 21832 kB
KReclaimable: 245756 kB
Slab: 337404 kB
SReclaimable: 245756 kB
SUnreclaim: 91648 kB
KernelStack: 3904 kB
PageTables: 2888 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 349136 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149336 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 8192 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: 205640 kB
DirectMap2M: 12279808 kB
DirectMap1G: 123731968 kB
Free space on /tmp at the end= 392120 MiB
End job on nodeC010 at 2025-07-22 19:43:29