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 (62942 MiB free)
memory of node 1: 64507 MiB (64001 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4481833-1751320330/watcher-4481833-1751320330 -o /tmp/evaluation-result-4481833-1751320330/solver-4481833-1751320330 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751312274-40245 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=828270568 --ls=360 HOME/instance-4481833-1751320330.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=41241, runsolver pid=41238
[startup+0.100058 s]*
/proc/loadavg: 4.12 4.11 4.09 5/262 41242
/proc/meminfo: memFree=129991108/131250000 swapFree=33010416/33010684
[pid=41241] ppid=41238 vsize=33584 memory=9984 CPUtime=0.1 cores=1,3
/proc/41241/stat : 41241 (Exact) R 41238 41241 40233 0 -1 4194304 1779 0 0 0 10 0 0 0 20 0 1 0 47712875 34390016 2496 18446744073709551615 4198400 9112445 140720705033920 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 19369984 140720705042747 140720705042925 140720705042925 140720705048527 0
/proc/41241/statm: 8396 2496 1024 1200 0 6876 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 33584 KiB
Current children cumulated memory: 9984 KiB
[startup+0.2053 s]*
/proc/loadavg: 4.12 4.11 4.09 5/262 41242
/proc/meminfo: memFree=129991108/131250000 swapFree=33010416/33010684
[pid=41241] ppid=41238 vsize=33584 memory=9984 CPUtime=0.2 cores=1,3
/proc/41241/stat : 41241 (Exact) R 41238 41241 40233 0 -1 4194304 1779 0 0 0 20 0 0 0 20 0 1 0 47712875 34390016 2496 18446744073709551615 4198400 9112445 140720705033920 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 19369984 140720705042747 140720705042925 140720705042925 140720705048527 0
/proc/41241/statm: 8396 2496 1024 1200 0 6876 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 33584 KiB
Current children cumulated memory: 9984 KiB
[startup+0.304729 s]*
/proc/loadavg: 4.12 4.11 4.09 5/262 41242
/proc/meminfo: memFree=129991108/131250000 swapFree=33010416/33010684
[pid=41241] ppid=41238 vsize=33584 memory=9984 CPUtime=0.3 cores=1,3
/proc/41241/stat : 41241 (Exact) R 41238 41241 40233 0 -1 4194304 1779 0 0 0 30 0 0 0 20 0 1 0 47712875 34390016 2496 18446744073709551615 4198400 9112445 140720705033920 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 19369984 140720705042747 140720705042925 140720705042925 140720705048527 0
/proc/41241/statm: 8396 2496 1024 1200 0 6876 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 33584 KiB
Current children cumulated memory: 9984 KiB
[startup+0.700101 s]
/proc/loadavg: 4.12 4.11 4.09 5/262 41242
/proc/meminfo: memFree=129991108/131250000 swapFree=33010416/33010684
[pid=41241] ppid=41238 vsize=33584 memory=9984 CPUtime=0.69 cores=1,3
/proc/41241/stat : 41241 (Exact) R 41238 41241 40233 0 -1 4194304 1779 0 0 0 69 0 0 0 20 0 1 0 47712875 34390016 2496 18446744073709551615 4198400 9112445 140720705033920 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 19369984 140720705042747 140720705042925 140720705042925 140720705048527 0
/proc/41241/statm: 8396 2496 1024 1200 0 6876 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 33584 KiB
Current children cumulated memory: 9984 KiB
[startup+1.5001 s]
/proc/loadavg: 4.12 4.11 4.09 5/262 41242
/proc/meminfo: memFree=129991108/131250000 swapFree=33010416/33010684
[pid=41241] ppid=41238 vsize=33584 memory=9984 CPUtime=1.49 cores=1,3
/proc/41241/stat : 41241 (Exact) R 41238 41241 40233 0 -1 4194304 1779 0 0 0 149 0 0 0 20 0 1 0 47712875 34390016 2496 18446744073709551615 4198400 9112445 140720705033920 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 19369984 140720705042747 140720705042925 140720705042925 140720705048527 0
/proc/41241/statm: 8396 2496 1024 1200 0 6876 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 33584 KiB
Current children cumulated memory: 9984 KiB
[startup+3.10472 s]
/proc/loadavg: 4.11 4.11 4.09 5/262 41242
/proc/meminfo: memFree=129991456/131250000 swapFree=33010416/33010684
[pid=41241] ppid=41238 vsize=33584 memory=9984 CPUtime=3.09 cores=1,3
/proc/41241/stat : 41241 (Exact) R 41238 41241 40233 0 -1 4194304 1779 0 0 0 309 0 0 0 20 0 1 0 47712875 34390016 2496 18446744073709551615 4198400 9112445 140720705033920 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 19369984 140720705042747 140720705042925 140720705042925 140720705048527 0
/proc/41241/statm: 8396 2496 1024 1200 0 6876 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 33584 KiB
Current children cumulated memory: 9984 KiB
[startup+6.30011 s]
/proc/loadavg: 4.11 4.11 4.09 5/262 41242
/proc/meminfo: memFree=129991916/131250000 swapFree=33010416/33010684
[pid=41241] ppid=41238 vsize=33584 memory=9984 CPUtime=6.28 cores=1,3
/proc/41241/stat : 41241 (Exact) R 41238 41241 40233 0 -1 4194304 1779 0 0 0 628 0 0 0 20 0 1 0 47712875 34390016 2496 18446744073709551615 4198400 9112445 140720705033920 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 19369984 140720705042747 140720705042925 140720705042925 140720705048527 0
/proc/41241/statm: 8396 2496 1024 1200 0 6876 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 33584 KiB
Current children cumulated memory: 9984 KiB
[startup+12.7001 s]
/proc/loadavg: 4.09 4.10 4.09 5/262 41242
/proc/meminfo: memFree=129991916/131250000 swapFree=33010416/33010684
[pid=41241] ppid=41238 vsize=33584 memory=9984 CPUtime=12.66 cores=1,3
/proc/41241/stat : 41241 (Exact) R 41238 41241 40233 0 -1 4194304 1779 0 0 0 1266 0 0 0 20 0 1 0 47712875 34390016 2496 18446744073709551615 4198400 9112445 140720705033920 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 19369984 140720705042747 140720705042925 140720705042925 140720705048527 0
/proc/41241/statm: 8396 2496 1024 1200 0 6876 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 33584 KiB
Current children cumulated memory: 9984 KiB
[startup+25.5001 s]
/proc/loadavg: 4.15 4.12 4.09 5/262 41242
/proc/meminfo: memFree=129963464/131250000 swapFree=33010416/33010684
[pid=41241] ppid=41238 vsize=33584 memory=9984 CPUtime=25.43 cores=1,3
/proc/41241/stat : 41241 (Exact) R 41238 41241 40233 0 -1 4194304 1779 0 0 0 2543 0 0 0 20 0 1 0 47712875 34390016 2496 18446744073709551615 4198400 9112445 140720705033920 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 19369984 140720705042747 140720705042925 140720705042925 140720705048527 0
/proc/41241/statm: 8396 2496 1024 1200 0 6876 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 33584 KiB
Current children cumulated memory: 9984 KiB
[startup+51.105 s]
/proc/loadavg: 4.10 4.11 4.09 5/262 41243
/proc/meminfo: memFree=129964940/131250000 swapFree=33010416/33010684
[pid=41241] ppid=41238 vsize=33584 memory=9984 CPUtime=50.98 cores=1,3
/proc/41241/stat : 41241 (Exact) R 41238 41241 40233 0 -1 4194304 1779 0 0 0 5098 0 0 0 20 0 1 0 47712875 34390016 2496 18446744073709551615 4198400 9112445 140720705033920 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 19369984 140720705042747 140720705042925 140720705042925 140720705048527 0
/proc/41241/statm: 8396 2496 1024 1200 0 6876 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 33584 KiB
Current children cumulated memory: 9984 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/263 41252
/proc/meminfo: memFree=129982196/131250000 swapFree=33010416/33010684
[pid=41241] ppid=41238 vsize=33584 memory=9984 CPUtime=102.04 cores=1,3
/proc/41241/stat : 41241 (Exact) R 41238 41241 40233 0 -1 4194304 1779 0 0 0 10204 0 0 0 20 0 1 0 47712875 34390016 2496 18446744073709551615 4198400 9112445 140720705033920 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 19369984 140720705042747 140720705042925 140720705042925 140720705048527 0
/proc/41241/statm: 8396 2496 1024 1200 0 6876 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 33584 KiB
Current children cumulated memory: 9984 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 41253
/proc/meminfo: memFree=129974724/131250000 swapFree=33010416/33010684
[pid=41241] ppid=41238 vsize=33584 memory=11136 CPUtime=161.9 cores=1,3
/proc/41241/stat : 41241 (Exact) R 41238 41241 40233 0 -1 4194304 1785 0 0 0 16190 0 0 0 20 0 1 0 47712875 34390016 2784 18446744073709551615 4198400 9112445 140720705033920 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 19369984 140720705042747 140720705042925 140720705042925 140720705048527 0
/proc/41241/statm: 8396 2784 1024 1200 0 6876 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 33584 KiB
Current children cumulated memory: 11136 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/263 41255
/proc/meminfo: memFree=129960644/131250000 swapFree=33010416/33010684
[pid=41241] ppid=41238 vsize=33584 memory=11136 CPUtime=221.78 cores=1,3
/proc/41241/stat : 41241 (Exact) R 41238 41241 40233 0 -1 4194304 1791 0 0 0 22178 0 0 0 20 0 1 0 47712875 34390016 2784 18446744073709551615 4198400 9112445 140720705033920 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 19369984 140720705042747 140720705042925 140720705042925 140720705048527 0
/proc/41241/statm: 8396 2784 1024 1200 0 6876 0
Current children cumulated CPU time: 221.78 s
Current children cumulated vsize: 33584 KiB
Current children cumulated memory: 11136 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/263 41257
/proc/meminfo: memFree=129837596/131250000 swapFree=33010416/33010684
[pid=41241] ppid=41238 vsize=33584 memory=11136 CPUtime=281.67 cores=1,3
/proc/41241/stat : 41241 (Exact) R 41238 41241 40233 0 -1 4194304 1794 0 0 0 28167 0 0 0 20 0 1 0 47712875 34390016 2784 18446744073709551615 4198400 9112445 140720705033920 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 19369984 140720705042747 140720705042925 140720705042925 140720705048527 0
/proc/41241/statm: 8396 2784 1024 1200 0 6876 0
Current children cumulated CPU time: 281.67 s
Current children cumulated vsize: 33584 KiB
Current children cumulated memory: 11136 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/263 41259
/proc/meminfo: memFree=129813664/131250000 swapFree=33010416/33010684
[pid=41241] ppid=41238 vsize=33584 memory=11136 CPUtime=341.55 cores=1,3
/proc/41241/stat : 41241 (Exact) R 41238 41241 40233 0 -1 4194304 1797 0 0 0 34155 0 0 0 20 0 1 0 47712875 34390016 2784 18446744073709551615 4198400 9112445 140720705033920 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 19369984 140720705042747 140720705042925 140720705042925 140720705048527 0
/proc/41241/statm: 8396 2784 1024 1200 0 6876 0
Current children cumulated CPU time: 341.55 s
Current children cumulated vsize: 33584 KiB
Current children cumulated memory: 11136 KiB
[startup+402.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/262 41261
/proc/meminfo: memFree=129783800/131250000 swapFree=33010416/33010684
[pid=41241] ppid=41238 vsize=55688 memory=39812 CPUtime=401.41 cores=1,3
/proc/41241/stat : 41241 (Exact) R 41238 41241 40233 0 -1 4194304 7670 0 0 0 40115 26 0 0 20 0 1 0 47712875 57024512 9953 18446744073709551615 4198400 9112445 140720705033920 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 19369984 140720705042747 140720705042925 140720705042925 140720705048527 0
/proc/41241/statm: 13922 9953 1248 1200 0 12402 0
Current children cumulated CPU time: 401.41 s
Current children cumulated vsize: 55688 KiB
Current children cumulated memory: 39812 KiB
[startup+462.3 s]
/proc/loadavg: 4.33 4.19 4.12 5/262 41263
/proc/meminfo: memFree=129771184/131250000 swapFree=33010416/33010684
[pid=41241] ppid=41238 vsize=61200 memory=45188 CPUtime=461.26 cores=1,3
/proc/41241/stat : 41241 (Exact) R 41238 41241 40233 0 -1 4194304 9019 0 0 0 46073 53 0 0 20 0 1 0 47712875 62668800 11297 18446744073709551615 4198400 9112445 140720705033920 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 19369984 140720705042747 140720705042925 140720705042925 140720705048527 0
/proc/41241/statm: 15300 11297 1248 1200 0 13780 0
################
# More data... #
################
Current children cumulated memory: 104408 KiB
[startup+2922.3 s]
/proc/loadavg: 3.21 3.73 3.95 4/257 41431
/proc/meminfo: memFree=129646056/131250000 swapFree=33010416/33010684
[pid=41241] ppid=41238 vsize=116540 memory=104408 CPUtime=2915.38 cores=1,3
/proc/41241/stat : 41241 (Exact) R 41238 41241 40233 0 -1 4194304 22743 0 0 0 290350 1188 0 0 20 0 1 0 47712875 119336960 26102 18446744073709551615 4198400 9112445 140720705033920 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 19369984 140720705042747 140720705042925 140720705042925 140720705048527 0
/proc/41241/statm: 29135 26102 1280 1200 0 27615 0
Current children cumulated CPU time: 2915.38 s
Current children cumulated vsize: 116540 KiB
Current children cumulated memory: 104408 KiB
[startup+2982.3 s]
/proc/loadavg: 3.08 3.59 3.88 4/257 41433
/proc/meminfo: memFree=129637744/131250000 swapFree=33010416/33010684
[pid=41241] ppid=41238 vsize=116540 memory=104408 CPUtime=2975.26 cores=1,3
/proc/41241/stat : 41241 (Exact) R 41238 41241 40233 0 -1 4194304 22744 0 0 0 296260 1266 0 0 20 0 1 0 47712875 119336960 26102 18446744073709551615 4198400 9112445 140720705033920 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 19369984 140720705042747 140720705042925 140720705042925 140720705048527 0
/proc/41241/statm: 29135 26102 1280 1200 0 27615 0
Current children cumulated CPU time: 2975.26 s
Current children cumulated vsize: 116540 KiB
Current children cumulated memory: 104408 KiB
[startup+3042.3 s]
/proc/loadavg: 3.13 3.51 3.84 4/257 41435
/proc/meminfo: memFree=129629776/131250000 swapFree=33010416/33010684
[pid=41241] ppid=41238 vsize=117504 memory=105304 CPUtime=3035.13 cores=1,3
/proc/41241/stat : 41241 (Exact) R 41238 41241 40233 0 -1 4194304 22989 0 0 0 302204 1309 0 0 20 0 1 0 47712875 120324096 26326 18446744073709551615 4198400 9112445 140720705033920 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 19369984 140720705042747 140720705042925 140720705042925 140720705048527 0
/proc/41241/statm: 29376 26326 1280 1200 0 27856 0
Current children cumulated CPU time: 3035.13 s
Current children cumulated vsize: 117504 KiB
Current children cumulated memory: 105304 KiB
[startup+3102.3 s]
/proc/loadavg: 3.10 3.43 3.79 4/256 41443
/proc/meminfo: memFree=129637724/131250000 swapFree=33010416/33010684
[pid=41241] ppid=41238 vsize=119712 memory=107608 CPUtime=3095 cores=1,3
/proc/41241/stat : 41241 (Exact) R 41238 41241 40233 0 -1 4194304 23544 0 0 0 308191 1309 0 0 20 0 1 0 47712875 122585088 26902 18446744073709551615 4198400 9112445 140720705033920 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 19369984 140720705042747 140720705042925 140720705042925 140720705048527 0
/proc/41241/statm: 29928 26902 1280 1200 0 28408 0
Current children cumulated CPU time: 3095 s
Current children cumulated vsize: 119712 KiB
Current children cumulated memory: 107608 KiB
[startup+3162.3 s]
/proc/loadavg: 2.79 3.30 3.72 3/250 41475
/proc/meminfo: memFree=129707848/131250000 swapFree=33010416/33010684
[pid=41241] ppid=41238 vsize=121656 memory=109400 CPUtime=3154.87 cores=1,3
/proc/41241/stat : 41241 (Exact) R 41238 41241 40233 0 -1 4194304 24008 0 0 0 314178 1309 0 0 20 0 1 0 47712875 124575744 27350 18446744073709551615 4198400 9112445 140720705033920 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 19369984 140720705042747 140720705042925 140720705042925 140720705048527 0
/proc/41241/statm: 30414 27350 1280 1200 0 28894 0
Current children cumulated CPU time: 3154.87 s
Current children cumulated vsize: 121656 KiB
Current children cumulated memory: 109400 KiB
[startup+3222.3 s]
/proc/loadavg: 2.35 3.08 3.62 3/250 41477
/proc/meminfo: memFree=129699172/131250000 swapFree=33010416/33010684
[pid=41241] ppid=41238 vsize=123240 memory=111064 CPUtime=3214.74 cores=1,3
/proc/41241/stat : 41241 (Exact) R 41238 41241 40233 0 -1 4194304 24411 0 0 0 320165 1309 0 0 20 0 1 0 47712875 126197760 27766 18446744073709551615 4198400 9112445 140720705033920 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 19369984 140720705042747 140720705042925 140720705042925 140720705048527 0
/proc/41241/statm: 30810 27766 1280 1200 0 29290 0
Current children cumulated CPU time: 3214.74 s
Current children cumulated vsize: 123240 KiB
Current children cumulated memory: 111064 KiB
[startup+3282.3 s]
/proc/loadavg: 2.17 2.89 3.52 3/250 41479
/proc/meminfo: memFree=129704520/131250000 swapFree=33010416/33010684
[pid=41241] ppid=41238 vsize=123984 memory=111704 CPUtime=3274.63 cores=1,3
/proc/41241/stat : 41241 (Exact) R 41238 41241 40233 0 -1 4194304 24585 0 0 0 326153 1310 0 0 20 0 1 0 47712875 126959616 27926 18446744073709551615 4198400 9112445 140720705033920 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 19369984 140720705042747 140720705042925 140720705042925 140720705048527 0
/proc/41241/statm: 30996 27926 1280 1200 0 29476 0
Current children cumulated CPU time: 3274.63 s
Current children cumulated vsize: 123984 KiB
Current children cumulated memory: 111704 KiB
[startup+3342.3 s]
/proc/loadavg: 2.17 2.76 3.43 3/250 41481
/proc/meminfo: memFree=129696148/131250000 swapFree=33010416/33010684
[pid=41241] ppid=41238 vsize=124216 memory=111960 CPUtime=3334.5 cores=1,3
/proc/41241/stat : 41241 (Exact) R 41238 41241 40233 0 -1 4194304 24695 0 0 0 332140 1310 0 0 20 0 1 0 47712875 127197184 27990 18446744073709551615 4198400 9112445 140720705033920 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 19369984 140720705042747 140720705042925 140720705042925 140720705048527 0
/proc/41241/statm: 31054 27990 1280 1200 0 29534 0
Current children cumulated CPU time: 3334.5 s
Current children cumulated vsize: 124216 KiB
Current children cumulated memory: 111960 KiB
[startup+3402.3 s]
/proc/loadavg: 2.12 2.64 3.34 3/250 41483
/proc/meminfo: memFree=129711580/131250000 swapFree=33010416/33010684
[pid=41241] ppid=41238 vsize=124216 memory=111960 CPUtime=3394.34 cores=1,3
/proc/41241/stat : 41241 (Exact) R 41238 41241 40233 0 -1 4194304 24695 0 0 0 338047 1387 0 0 20 0 1 0 47712875 127197184 27990 18446744073709551615 4198400 9112445 140720705033920 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 19369984 140720705042747 140720705042925 140720705042925 140720705048527 0
/proc/41241/statm: 31054 27990 1280 1200 0 29534 0
Current children cumulated CPU time: 3394.34 s
Current children cumulated vsize: 124216 KiB
Current children cumulated memory: 111960 KiB
[startup+3462.3 s]
/proc/loadavg: 2.16 2.55 3.27 3/251 41486
/proc/meminfo: memFree=129695140/131250000 swapFree=33010416/33010684
[pid=41241] ppid=41238 vsize=124216 memory=112088 CPUtime=3454.18 cores=1,3
/proc/41241/stat : 41241 (Exact) R 41238 41241 40233 0 -1 4194304 24695 0 0 0 343955 1463 0 0 20 0 1 0 47712875 127197184 28022 18446744073709551615 4198400 9112445 140720705033920 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 19369984 140720705042747 140720705042925 140720705042925 140720705048527 0
/proc/41241/statm: 31054 28022 1280 1200 0 29534 0
Current children cumulated CPU time: 3454.18 s
Current children cumulated vsize: 124216 KiB
Current children cumulated memory: 112088 KiB
[startup+3522.3 s]
/proc/loadavg: 1.73 2.37 3.16 2/245 41519
/proc/meminfo: memFree=130016176/131250000 swapFree=33010416/33010684
[pid=41241] ppid=41238 vsize=124536 memory=112344 CPUtime=3514.04 cores=1,3
/proc/41241/stat : 41241 (Exact) R 41238 41241 40233 0 -1 4194304 24767 0 0 0 349904 1500 0 0 20 0 1 0 47712875 127524864 28086 18446744073709551615 4198400 9112445 140720705033920 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 19369984 140720705042747 140720705042925 140720705042925 140720705048527 0
/proc/41241/statm: 31134 28086 1280 1200 0 29614 0
Current children cumulated CPU time: 3514.04 s
Current children cumulated vsize: 124536 KiB
Current children cumulated memory: 112344 KiB
[startup+3582.3 s]
/proc/loadavg: 1.31 2.13 3.02 2/245 41521
/proc/meminfo: memFree=130025344/131250000 swapFree=33010416/33010684
[pid=41241] ppid=41238 vsize=125168 memory=113112 CPUtime=3573.92 cores=1,3
/proc/41241/stat : 41241 (Exact) R 41238 41241 40233 0 -1 4194304 24953 0 0 0 355892 1500 0 0 20 0 1 0 47712875 128172032 28278 18446744073709551615 4198400 9112445 140720705033920 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 19369984 140720705042747 140720705042925 140720705042925 140720705048527 0
/proc/41241/statm: 31292 28278 1280 1200 0 29772 0
Current children cumulated CPU time: 3573.92 s
Current children cumulated vsize: 125168 KiB
Current children cumulated memory: 113112 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.5 s]
/proc/loadavg: 1.25 2.04 2.96 2/245 41522
/proc/meminfo: memFree=130025596/131250000 swapFree=33010416/33010684
[pid=41241] ppid=41238 vsize=125384 memory=113240 CPUtime=3600.06 cores=1,3
/proc/41241/stat : 41241 (Exact) R 41238 41241 40233 0 -1 4194304 24983 0 0 0 358506 1500 0 0 20 0 1 0 47712875 128393216 28310 18446744073709551615 4198400 9112445 140720705033920 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 19369984 140720705042747 140720705042925 140720705042925 140720705048527 0
/proc/41241/statm: 31346 28310 1280 1200 0 29826 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 125384 KiB
Current children cumulated memory: 113240 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.5 s]
# the end of solver process 41241 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.07 s, system=15.0062 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3608.5 s]
/proc/loadavg: 1.25 2.04 2.96 2/245 41522
/proc/meminfo: memFree=130025596/131250000 swapFree=33010416/33010684
[pid=41241] ppid=41238 vsize=125384 memory=113240 CPUtime=3600.06 cores=1,3
/proc/41241/stat : 41241 (Exact) R 41238 41241 40233 0 -1 4194304 24983 0 0 0 358506 1500 0 0 20 0 1 0 47712875 128393216 28310 18446744073709551615 4198400 9112445 140720705033920 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 19369984 140720705042747 140720705042925 140720705042925 140720705048527 0
/proc/41241/statm: 31346 28310 1280 1200 0 29826 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 125384 KiB
Current children cumulated memory: 113240 KiB
Child status: 0
Real time (s): 3608.5
CPU time (s): 3600.08
CPU user time (s): 3585.07
CPU system time (s): 15.0062
CPU usage (%): 99.7665
Max. virtual memory (cumulated for all children) (KiB): 125384
Max. memory (cumulated for all children) (KiB): 113240
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.07
system time used= 15.0062
maximum resident set size= 113240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24984
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 33
involuntary context switches= 2273
# summary of solver processes directly reported to runsolver:
# pid: 41241
# total CPU time (s): 3600.08
# total CPU user time (s): 3585.07
# total CPU system time (s): 15.0062
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.9866 second user time and 13.1885 second system time
The end
Begin job on nodeC027 at 2025-06-30 23:52:10
IDJOB=4481833
IDBENCH=147028
IDSOLVER=3317
FILE ID=nodeC027/4481833-1751320330
RUNJOBID= nodeC027-1751312274-40245
SLURM_JOB_ID= 9594309
Free space on /tmp= 433040 MiB
SOLVER NAME= Exact 2025-06-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-f1000.opb
COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED --ls=360 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4481833-1751320330/watcher-4481833-1751320330 -o /tmp/evaluation-result-4481833-1751320330/solver-4481833-1751320330 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751312274-40245 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=828270568 --ls=360 HOME/instance-4481833-1751320330.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f9f2b1fc4917344504b6167976088a05
RANDOM SEED=828270568
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.899
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.399
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.831
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 : 3599.537
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.634
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.637
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 : 3640.399
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 : 3627.244
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: 129991300 kB
MemAvailable: 129641296 kB
Buffers: 2488 kB
Cached: 447336 kB
SwapCached: 12 kB
Active: 500244 kB
Inactive: 147696 kB
Active(anon): 213380 kB
Inactive(anon): 2792 kB
Active(file): 286864 kB
Inactive(file): 144904 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7136 kB
Writeback: 0 kB
AnonPages: 201272 kB
Mapped: 117652 kB
Shmem: 18056 kB
KReclaimable: 103184 kB
Slab: 190676 kB
SReclaimable: 103184 kB
SUnreclaim: 87492 kB
KernelStack: 4240 kB
PageTables: 3304 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 579928 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150504 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 45056 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= 433056 MiB
End job on nodeC027 at 2025-07-01 00:52:19