runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (50296 MiB free)
memory of node 1: 64507 MiB (38533 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4507108-1751182751/watcher-4507108-1751182751 -o /tmp/evaluation-result-4507108-1751182751/solver-4507108-1751182751 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751179126-20347 --watchdog 3760 HOME/Exact_proof --ls=360 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4507108-1751182751 --seed=1576129855 HOME/instance-4507108-1751182751.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=20664, runsolver pid=20661
[startup+0.100059 s]*
/proc/loadavg: 4.07 4.23 4.17 3/262 20665
/proc/meminfo: memFree=90961904/131250000 swapFree=33010684/33010684
[pid=20664] ppid=20661 vsize=27576 memory=3584 CPUtime=0 cores=0,2
/proc/20664/stat : 20664 (Exact_proof) D 20661 20664 20337 0 -1 4194304 151 0 0 0 0 0 0 0 20 0 1 0 33954972 28237824 896 18446744073709551615 4198400 9115581 140723964226800 0 0 0 0 0 8404994 1 0 0 17 2 0 0 0 0 0 10325008 10415428 23748608 140723964233928 140723964234215 140723964234215 140723964239817 0
/proc/20664/statm: 6894 896 864 1201 0 5372 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 27576 KiB
Current children cumulated memory: 3584 KiB
[startup+0.20545 s]*
/proc/loadavg: 4.07 4.23 4.17 3/262 20665
/proc/meminfo: memFree=90961904/131250000 swapFree=33010684/33010684
[pid=20664] ppid=20661 vsize=27576 memory=3584 CPUtime=0 cores=0,2
/proc/20664/stat : 20664 (Exact_proof) D 20661 20664 20337 0 -1 4194304 151 0 0 0 0 0 0 0 20 0 1 0 33954972 28237824 896 18446744073709551615 4198400 9115581 140723964226800 0 0 0 0 0 8404994 1 0 0 17 2 0 0 0 0 0 10325008 10415428 23748608 140723964233928 140723964234215 140723964234215 140723964239817 0
/proc/20664/statm: 6894 896 864 1201 0 5372 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 27576 KiB
Current children cumulated memory: 3584 KiB
[startup+0.304588 s]*
/proc/loadavg: 4.07 4.23 4.17 3/262 20665
/proc/meminfo: memFree=90961904/131250000 swapFree=33010684/33010684
[pid=20664] ppid=20661 vsize=27576 memory=3584 CPUtime=0 cores=0,2
/proc/20664/stat : 20664 (Exact_proof) D 20661 20664 20337 0 -1 4194304 151 0 0 0 0 0 0 0 20 0 1 0 33954972 28237824 896 18446744073709551615 4198400 9115581 140723964226800 0 0 0 0 0 8404994 1 0 0 17 2 0 0 0 0 0 10325008 10415428 23748608 140723964233928 140723964234215 140723964234215 140723964239817 0
/proc/20664/statm: 6894 896 864 1201 0 5372 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 27576 KiB
Current children cumulated memory: 3584 KiB
[startup+0.700169 s]
/proc/loadavg: 4.07 4.23 4.17 3/262 20665
/proc/meminfo: memFree=90953840/131250000 swapFree=33010684/33010684
[pid=20664] ppid=20661 vsize=27576 memory=3584 CPUtime=0 cores=0,2
/proc/20664/stat : 20664 (Exact_proof) D 20661 20664 20337 0 -1 4194304 151 0 0 0 0 0 0 0 20 0 1 0 33954972 28237824 896 18446744073709551615 4198400 9115581 140723964226800 0 0 0 0 0 8404994 1 0 0 17 2 0 0 0 0 0 10325008 10415428 23748608 140723964233928 140723964234215 140723964234215 140723964239817 0
/proc/20664/statm: 6894 896 864 1201 0 5372 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 27576 KiB
Current children cumulated memory: 3584 KiB
[startup+1.50011 s]
/proc/loadavg: 4.07 4.23 4.17 5/262 20665
/proc/meminfo: memFree=95545600/131250000 swapFree=33010684/33010684
[pid=20664] ppid=20661 vsize=58876 memory=37064 CPUtime=0.73 cores=0,2
/proc/20664/stat : 20664 (Exact_proof) R 20661 20664 20337 0 -1 4194304 8641 0 0 0 73 0 0 0 20 0 1 0 33954972 60289024 9266 18446744073709551615 4198400 9115581 140723964226800 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10325008 10415428 23748608 140723964233928 140723964234215 140723964234215 140723964239817 0
/proc/20664/statm: 14719 9266 1024 1201 0 13197 0
Current children cumulated CPU time: 0.73 s
Current children cumulated vsize: 58876 KiB
Current children cumulated memory: 37064 KiB
[startup+3.10528 s]
/proc/loadavg: 4.07 4.23 4.17 5/267 20684
/proc/meminfo: memFree=104874924/131250000 swapFree=33010684/33010684
[pid=20664] ppid=20661 vsize=58876 memory=37064 CPUtime=2.34 cores=0,2
/proc/20664/stat : 20664 (Exact_proof) R 20661 20664 20337 0 -1 4194304 8641 0 0 0 233 1 0 0 20 0 1 0 33954972 60289024 9266 18446744073709551615 4198400 9115581 140723964226800 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10325008 10415428 23748608 140723964233928 140723964234215 140723964234215 140723964239817 0
/proc/20664/statm: 14719 9266 1024 1201 0 13197 0
Current children cumulated CPU time: 2.34 s
Current children cumulated vsize: 58876 KiB
Current children cumulated memory: 37064 KiB
heavy processes:
[startup+6.3001 s]
/proc/loadavg: 4.07 4.22 4.16 5/267 20684
/proc/meminfo: memFree=104859304/131250000 swapFree=33010684/33010684
[pid=20664] ppid=20661 vsize=58876 memory=37064 CPUtime=5.53 cores=0,2
/proc/20664/stat : 20664 (Exact_proof) R 20661 20664 20337 0 -1 4194304 8641 0 0 0 552 1 0 0 20 0 1 0 33954972 60289024 9266 18446744073709551615 4198400 9115581 140723964226800 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10325008 10415428 23748608 140723964233928 140723964234215 140723964234215 140723964239817 0
/proc/20664/statm: 14719 9266 1024 1201 0 13197 0
Current children cumulated CPU time: 5.53 s
Current children cumulated vsize: 58876 KiB
Current children cumulated memory: 37064 KiB
[startup+12.7002 s]
/proc/loadavg: 4.06 4.22 4.16 4/264 20712
/proc/meminfo: memFree=105523092/131250000 swapFree=33010684/33010684
[pid=20664] ppid=20661 vsize=58876 memory=37064 CPUtime=11.9 cores=0,2
/proc/20664/stat : 20664 (Exact_proof) R 20661 20664 20337 0 -1 4194304 8641 0 0 0 1189 1 0 0 20 0 1 0 33954972 60289024 9266 18446744073709551615 4198400 9115581 140723964226800 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10325008 10415428 23748608 140723964233928 140723964234215 140723964234215 140723964239817 0
/proc/20664/statm: 14719 9266 1024 1201 0 13197 0
Current children cumulated CPU time: 11.9 s
Current children cumulated vsize: 58876 KiB
Current children cumulated memory: 37064 KiB
[startup+25.5001 s]
/proc/loadavg: 4.12 4.22 4.17 5/269 20731
/proc/meminfo: memFree=117454276/131250000 swapFree=33010684/33010684
[pid=20664] ppid=20661 vsize=58876 memory=37064 CPUtime=24.67 cores=0,2
/proc/20664/stat : 20664 (Exact_proof) R 20661 20664 20337 0 -1 4194304 8641 0 0 0 2466 1 0 0 20 0 1 0 33954972 60289024 9266 18446744073709551615 4198400 9115581 140723964226800 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10325008 10415428 23748608 140723964233928 140723964234215 140723964234215 140723964239817 0
/proc/20664/statm: 14719 9266 1024 1201 0 13197 0
Current children cumulated CPU time: 24.67 s
Current children cumulated vsize: 58876 KiB
Current children cumulated memory: 37064 KiB
[startup+51.1047 s]
/proc/loadavg: 4.08 4.20 4.16 5/269 20731
/proc/meminfo: memFree=117414832/131250000 swapFree=33010684/33010684
[pid=20664] ppid=20661 vsize=58876 memory=37064 CPUtime=50.22 cores=0,2
/proc/20664/stat : 20664 (Exact_proof) R 20661 20664 20337 0 -1 4194304 8641 0 0 0 5021 1 0 0 20 0 1 0 33954972 60289024 9266 18446744073709551615 4198400 9115581 140723964226800 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10325008 10415428 23748608 140723964233928 140723964234215 140723964234215 140723964239817 0
/proc/20664/statm: 14719 9266 1024 1201 0 13197 0
Current children cumulated CPU time: 50.22 s
Current children cumulated vsize: 58876 KiB
Current children cumulated memory: 37064 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.19 4.16 5/269 20778
/proc/meminfo: memFree=129624700/131250000 swapFree=33010684/33010684
[pid=20664] ppid=20661 vsize=58876 memory=37064 CPUtime=101.31 cores=0,2
/proc/20664/stat : 20664 (Exact_proof) R 20661 20664 20337 0 -1 4194304 8643 0 0 0 10130 1 0 0 20 0 1 0 33954972 60289024 9266 18446744073709551615 4198400 9115581 140723964226800 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10325008 10415428 23748608 140723964233928 140723964234215 140723964234215 140723964239817 0
/proc/20664/statm: 14719 9266 1024 1201 0 13197 0
Current children cumulated CPU time: 101.31 s
Current children cumulated vsize: 58876 KiB
Current children cumulated memory: 37064 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.18 4.16 5/269 20785
/proc/meminfo: memFree=129611176/131250000 swapFree=33010684/33010684
[pid=20664] ppid=20661 vsize=58876 memory=37576 CPUtime=161.2 cores=0,2
/proc/20664/stat : 20664 (Exact_proof) R 20661 20664 20337 0 -1 4194304 8647 0 0 0 16119 1 0 0 20 0 1 0 33954972 60289024 9394 18446744073709551615 4198400 9115581 140723964226800 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10325008 10415428 23748608 140723964233928 140723964234215 140723964234215 140723964239817 0
/proc/20664/statm: 14719 9394 1024 1201 0 13197 0
Current children cumulated CPU time: 161.2 s
Current children cumulated vsize: 58876 KiB
Current children cumulated memory: 37576 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 4.14 4.15 5/269 20787
/proc/meminfo: memFree=129602444/131250000 swapFree=33010684/33010684
[pid=20664] ppid=20661 vsize=58876 memory=37576 CPUtime=221.08 cores=0,2
/proc/20664/stat : 20664 (Exact_proof) R 20661 20664 20337 0 -1 4194304 8648 0 0 0 22107 1 0 0 20 0 1 0 33954972 60289024 9394 18446744073709551615 4198400 9115581 140723964226800 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10325008 10415428 23748608 140723964233928 140723964234215 140723964234215 140723964239817 0
/proc/20664/statm: 14719 9394 1024 1201 0 13197 0
Current children cumulated CPU time: 221.08 s
Current children cumulated vsize: 58876 KiB
Current children cumulated memory: 37576 KiB
[startup+282.3 s]
/proc/loadavg: 4.15 4.16 4.15 5/267 20791
/proc/meminfo: memFree=129588804/131250000 swapFree=33010684/33010684
[pid=20664] ppid=20661 vsize=58876 memory=37576 CPUtime=280.96 cores=0,2
/proc/20664/stat : 20664 (Exact_proof) R 20661 20664 20337 0 -1 4194304 8650 0 0 0 28095 1 0 0 20 0 1 0 33954972 60289024 9394 18446744073709551615 4198400 9115581 140723964226800 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10325008 10415428 23748608 140723964233928 140723964234215 140723964234215 140723964239817 0
/proc/20664/statm: 14719 9394 1024 1201 0 13197 0
Current children cumulated CPU time: 280.96 s
Current children cumulated vsize: 58876 KiB
Current children cumulated memory: 37576 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.14 4.15 5/265 20793
/proc/meminfo: memFree=129615004/131250000 swapFree=33010684/33010684
[pid=20664] ppid=20661 vsize=58876 memory=37576 CPUtime=340.84 cores=0,2
/proc/20664/stat : 20664 (Exact_proof) R 20661 20664 20337 0 -1 4194304 8650 0 0 0 34083 1 0 0 20 0 1 0 33954972 60289024 9394 18446744073709551615 4198400 9115581 140723964226800 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10325008 10415428 23748608 140723964233928 140723964234215 140723964234215 140723964239817 0
/proc/20664/statm: 14719 9394 1024 1201 0 13197 0
Current children cumulated CPU time: 340.84 s
Current children cumulated vsize: 58876 KiB
Current children cumulated memory: 37576 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.13 4.14 5/268 20799
/proc/meminfo: memFree=128737180/131250000 swapFree=33010684/33010684
[pid=20664] ppid=20661 vsize=175144 memory=153432 CPUtime=400.4 cores=0,2
/proc/20664/stat : 20664 (Exact_proof) R 20661 20664 20337 0 -1 4194304 29354 0 0 0 40016 24 0 0 20 0 1 0 33954972 179347456 38358 18446744073709551615 4198400 9115581 140723964226800 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10325008 10415428 23748608 140723964233928 140723964234215 140723964234215 140723964239817 0
/proc/20664/statm: 43786 38358 1248 1201 0 42264 0
Current children cumulated CPU time: 400.4 s
Current children cumulated vsize: 175144 KiB
Current children cumulated memory: 153432 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.14 4.14 5/267 20801
/proc/meminfo: memFree=127595804/131250000 swapFree=33010684/33010684
[pid=20664] ppid=20661 vsize=197424 memory=179108 CPUtime=460.22 cores=0,2
/proc/20664/stat : 20664 (Exact_proof) R 20661 20664 20337 0 -1 4194304 34753 0 0 0 45970 52 0 0 20 0 1 0 33954972 202162176 44777 18446744073709551615 4198400 9115581 140723964226800 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10325008 10415428 23748608 140723964233928 140723964234215 140723964234215 140723964239817 0
################
# More data... #
################
Current children cumulated memory: 690988 KiB
[startup+2862.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/268 20928
/proc/meminfo: memFree=91147476/131250000 swapFree=33010684/33010684
[pid=20664] ppid=20661 vsize=822492 memory=692396 CPUtime=2828.66 cores=0,2
/proc/20664/stat : 20664 (Exact_proof) R 20661 20664 20337 0 -1 4194304 81858 0 0 0 281923 943 0 0 20 0 1 0 33954972 842231808 173099 18446744073709551615 4198400 9115581 140723964226800 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10325008 10415428 23748608 140723964233928 140723964234215 140723964234215 140723964239817 0
/proc/20664/statm: 205623 173099 1280 1201 0 204101 0
Current children cumulated CPU time: 2828.66 s
Current children cumulated vsize: 822492 KiB
Current children cumulated memory: 692396 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/267 20932
/proc/meminfo: memFree=90475996/131250000 swapFree=33010684/33010684
[pid=20664] ppid=20661 vsize=822932 memory=692396 CPUtime=2888.33 cores=0,2
/proc/20664/stat : 20664 (Exact_proof) R 20661 20664 20337 0 -1 4194304 81921 0 0 0 287864 969 0 0 20 0 1 0 33954972 842682368 173099 18446744073709551615 4198400 9115581 140723964226800 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10325008 10415428 23748608 140723964233928 140723964234215 140723964234215 140723964239817 0
/proc/20664/statm: 205733 173099 1280 1201 0 204211 0
Current children cumulated CPU time: 2888.33 s
Current children cumulated vsize: 822932 KiB
Current children cumulated memory: 692396 KiB
[startup+2982.3 s]
/proc/loadavg: 4.34 4.19 4.12 5/267 20934
/proc/meminfo: memFree=89676808/131250000 swapFree=33010684/33010684
[pid=20664] ppid=20661 vsize=824856 memory=694700 CPUtime=2947.8 cores=0,2
/proc/20664/stat : 20664 (Exact_proof) R 20661 20664 20337 0 -1 4194304 82693 0 0 0 293795 985 0 0 20 0 1 0 33954972 844652544 173675 18446744073709551615 4198400 9115581 140723964226800 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10325008 10415428 23748608 140723964233928 140723964234215 140723964234215 140723964239817 0
/proc/20664/statm: 206214 173675 1280 1201 0 204692 0
Current children cumulated CPU time: 2947.8 s
Current children cumulated vsize: 824856 KiB
Current children cumulated memory: 694700 KiB
[startup+3042.3 s]
/proc/loadavg: 4.16 4.17 4.11 5/267 20936
/proc/meminfo: memFree=88799664/131250000 swapFree=33010684/33010684
[pid=20664] ppid=20661 vsize=827464 memory=697260 CPUtime=3007.24 cores=0,2
/proc/20664/stat : 20664 (Exact_proof) R 20661 20664 20337 0 -1 4194304 83512 0 0 0 299722 1002 0 0 20 0 1 0 33954972 847323136 174315 18446744073709551615 4198400 9115581 140723964226800 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10325008 10415428 23748608 140723964233928 140723964234215 140723964234215 140723964239817 0
/proc/20664/statm: 206866 174315 1280 1201 0 205344 0
Current children cumulated CPU time: 3007.24 s
Current children cumulated vsize: 827464 KiB
Current children cumulated memory: 697260 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.15 4.11 5/266 20939
/proc/meminfo: memFree=88131832/131250000 swapFree=33010684/33010684
[pid=20664] ppid=20661 vsize=830068 memory=699948 CPUtime=3066.91 cores=0,2
/proc/20664/stat : 20664 (Exact_proof) R 20661 20664 20337 0 -1 4194304 84300 0 0 0 305664 1027 0 0 20 0 1 0 33954972 849989632 174987 18446744073709551615 4198400 9115581 140723964226800 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10325008 10415428 23748608 140723964233928 140723964234215 140723964234215 140723964239817 0
/proc/20664/statm: 207517 174987 1280 1201 0 205995 0
Current children cumulated CPU time: 3066.91 s
Current children cumulated vsize: 830068 KiB
Current children cumulated memory: 699948 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.15 4.11 5/267 20946
/proc/meminfo: memFree=87321300/131250000 swapFree=33010684/33010684
[pid=20664] ppid=20661 vsize=832820 memory=702636 CPUtime=3126.55 cores=0,2
/proc/20664/stat : 20664 (Exact_proof) R 20661 20664 20337 0 -1 4194304 85034 0 0 0 311611 1044 0 0 20 0 1 0 33954972 852807680 175659 18446744073709551615 4198400 9115581 140723964226800 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10325008 10415428 23748608 140723964233928 140723964234215 140723964234215 140723964239817 0
/proc/20664/statm: 208205 175659 1280 1201 0 206683 0
Current children cumulated CPU time: 3126.55 s
Current children cumulated vsize: 832820 KiB
Current children cumulated memory: 702636 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/266 20948
/proc/meminfo: memFree=86609448/131250000 swapFree=33010684/33010684
[pid=20664] ppid=20661 vsize=833228 memory=703148 CPUtime=3186.23 cores=0,2
/proc/20664/stat : 20664 (Exact_proof) R 20661 20664 20337 0 -1 4194304 85310 0 0 0 317555 1068 0 0 20 0 1 0 33954972 853225472 175787 18446744073709551615 4198400 9115581 140723964226800 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10325008 10415428 23748608 140723964233928 140723964234215 140723964234215 140723964239817 0
/proc/20664/statm: 208307 175787 1280 1201 0 206785 0
Current children cumulated CPU time: 3186.23 s
Current children cumulated vsize: 833228 KiB
Current children cumulated memory: 703148 KiB
[startup+3282.3 s]
/proc/loadavg: 4.04 4.11 4.09 5/267 20953
/proc/meminfo: memFree=85726688/131250000 swapFree=33010684/33010684
[pid=20664] ppid=20661 vsize=835096 memory=704940 CPUtime=3245.82 cores=0,2
/proc/20664/stat : 20664 (Exact_proof) R 20661 20664 20337 0 -1 4194304 85948 0 0 0 323494 1088 0 0 20 0 1 0 33954972 855138304 176235 18446744073709551615 4198400 9115581 140723964226800 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10325008 10415428 23748608 140723964233928 140723964234215 140723964234215 140723964239817 0
/proc/20664/statm: 208774 176235 1280 1201 0 207252 0
Current children cumulated CPU time: 3245.82 s
Current children cumulated vsize: 835096 KiB
Current children cumulated memory: 704940 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/268 20956
/proc/meminfo: memFree=84877904/131250000 swapFree=33010684/33010684
[pid=20664] ppid=20661 vsize=835796 memory=705708 CPUtime=3305.57 cores=0,2
/proc/20664/stat : 20664 (Exact_proof) R 20661 20664 20337 0 -1 4194304 86197 0 0 0 329445 1112 0 0 20 0 1 0 33954972 855855104 176427 18446744073709551615 4198400 9115581 140723964226800 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10325008 10415428 23748608 140723964233928 140723964234215 140723964234215 140723964239817 0
/proc/20664/statm: 208949 176427 1280 1201 0 207427 0
Current children cumulated CPU time: 3305.57 s
Current children cumulated vsize: 835796 KiB
Current children cumulated memory: 705708 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/268 20958
/proc/meminfo: memFree=84166740/131250000 swapFree=33010684/33010684
[pid=20664] ppid=20661 vsize=836792 memory=706604 CPUtime=3362.39 cores=0,2
/proc/20664/stat : 20664 (Exact_proof) D 20661 20664 20337 0 -1 4194304 86580 0 0 0 335110 1129 0 0 20 0 1 0 33954972 856875008 176651 18446744073709551615 4198400 9115581 140723964226800 0 0 0 0 0 8404994 1 0 0 17 0 0 0 0 0 0 10325008 10415428 23748608 140723964233928 140723964234215 140723964234215 140723964239817 0
/proc/20664/statm: 209198 176651 1280 1201 0 207676 0
Current children cumulated CPU time: 3362.39 s
Current children cumulated vsize: 836792 KiB
Current children cumulated memory: 706604 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/268 20960
/proc/meminfo: memFree=83389628/131250000 swapFree=33010684/33010684
[pid=20664] ppid=20661 vsize=837708 memory=707628 CPUtime=3422.1 cores=0,2
/proc/20664/stat : 20664 (Exact_proof) R 20661 20664 20337 0 -1 4194304 86993 0 0 0 341064 1146 0 0 20 0 1 0 33954972 857812992 176907 18446744073709551615 4198400 9115581 140723964226800 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10325008 10415428 23748608 140723964233928 140723964234215 140723964234215 140723964239817 0
/proc/20664/statm: 209427 176907 1280 1201 0 207905 0
Current children cumulated CPU time: 3422.1 s
Current children cumulated vsize: 837708 KiB
Current children cumulated memory: 707628 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/268 20962
/proc/meminfo: memFree=82624736/131250000 swapFree=33010684/33010684
[pid=20664] ppid=20661 vsize=839192 memory=709036 CPUtime=3481.76 cores=0,2
/proc/20664/stat : 20664 (Exact_proof) R 20661 20664 20337 0 -1 4194304 87547 0 0 0 347004 1172 0 0 20 0 1 0 33954972 859332608 177259 18446744073709551615 4198400 9115581 140723964226800 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10325008 10415428 23748608 140723964233928 140723964234215 140723964234215 140723964239817 0
/proc/20664/statm: 209798 177259 1280 1201 0 208276 0
Current children cumulated CPU time: 3481.76 s
Current children cumulated vsize: 839192 KiB
Current children cumulated memory: 709036 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/269 20965
/proc/meminfo: memFree=81782568/131250000 swapFree=33010684/33010684
[pid=20664] ppid=20661 vsize=842564 memory=712440 CPUtime=3541.49 cores=0,2
/proc/20664/stat : 20664 (Exact_proof) R 20661 20664 20337 0 -1 4194304 88007 0 0 0 352950 1199 0 0 20 0 1 0 33954972 862785536 178110 18446744073709551615 4198400 9115581 140723964226800 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10325008 10415428 23748608 140723964233928 140723964234215 140723964234215 140723964239817 0
/proc/20664/statm: 210641 178110 1280 1201 0 209119 0
Current children cumulated CPU time: 3541.49 s
Current children cumulated vsize: 842564 KiB
Current children cumulated memory: 712440 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3641.2 s]
/proc/loadavg: 4.14 4.11 4.09 5/268 20967
/proc/meminfo: memFree=81090608/131250000 swapFree=33010684/33010684
[pid=20664] ppid=20661 vsize=842884 memory=712696 CPUtime=3600.08 cores=0,2
/proc/20664/stat : 20664 (Exact_proof) R 20661 20664 20337 0 -1 4194304 88143 0 0 0 358795 1213 0 0 20 0 1 0 33954972 863113216 178174 18446744073709551615 4198400 9115581 140723964226800 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10325008 10415428 23748608 140723964233928 140723964234215 140723964234215 140723964239817 0
/proc/20664/statm: 210721 178174 1280 1201 0 209199 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 842884 KiB
Current children cumulated memory: 712696 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3641.29 s]
# the end of solver process 20664 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.97 s, system=12.1506 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3641.29
CPU time (s): 3600.12
CPU user time (s): 3587.97
CPU system time (s): 12.1506
CPU usage (%): 98.8694
Max. virtual memory (cumulated for all children) (KiB): 1011280
Max. memory (cumulated for all children) (KiB): 712696
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.97
system time used= 12.1506
maximum resident set size= 791900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88146
page faults= 0
swaps= 0
block input operations= 0
block output operations= 23554560
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1357
involuntary context switches= 8699
# summary of solver processes directly reported to runsolver:
# pid: 20664
# total CPU time (s): 3600.12
# total CPU user time (s): 3587.97
# total CPU system time (s): 12.1506
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.35105 second user time and 14.5536 second system time
The end
Begin job on nodeC027 at 2025-06-29 09:39:11
IDJOB=4507108
IDBENCH=158326
IDSOLVER=3325
FILE ID=nodeC027/4507108-1751182751
RUNJOBID= nodeC027-1751179126-20347
SLURM_JOB_ID= 9587542
Free space on /tmp= 433004 MiB
SOLVER NAME= Exact_proof 2025-06-02
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K196.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-4507108-1751182751/watcher-4507108-1751182751 -o /tmp/evaluation-result-4507108-1751182751/solver-4507108-1751182751 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751179126-20347 --watchdog 3760 HOME/Exact_proof --ls=360 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4507108-1751182751 --seed=1576129855 HOME/instance-4507108-1751182751.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8df9702f370312ff59707c84e3b82f3b
RANDOM SEED=1576129855
nodeC027 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.264
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.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.478
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.29
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.639
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.29
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 : 3700.000
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.29
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.650
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.29
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.641
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.29
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 : 3440.208
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.29
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 : 3598.239
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.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 90961552 kB
MemAvailable: 128530852 kB
Buffers: 3280 kB
Cached: 38335876 kB
SwapCached: 0 kB
Active: 1530340 kB
Inactive: 38081988 kB
Active(anon): 1291252 kB
Inactive(anon): 0 kB
Active(file): 239088 kB
Inactive(file): 38081988 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 141312 kB
Writeback: 0 kB
AnonPages: 1272568 kB
Mapped: 113336 kB
Shmem: 18068 kB
KReclaimable: 174528 kB
Slab: 265616 kB
SReclaimable: 174528 kB
SUnreclaim: 91088 kB
KernelStack: 4288 kB
PageTables: 5356 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 1726204 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150584 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1173504 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: 203476 kB
DirectMap2M: 9005056 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433028 MiB
End job on nodeC027 at 2025-06-29 10:39:52