runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (50189 MiB free)
memory of node 1: 64465 MiB (60734 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4517830-1751526933/watcher-4517830-1751526933 -o /tmp/evaluation-result-4517830-1751526933/solver-4517830-1751526933 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751519701-73724 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=46259296 --ls=0 --inp-dombreaklim=0 HOME/instance-4517830-1751526933.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=74832, runsolver pid=74829
[startup+0.100062 s]*
/proc/loadavg: 4.08 4.13 4.11 5/264 74833
/proc/meminfo: memFree=113580904/131249996 swapFree=33004236/33010684
[pid=74832] ppid=74829 vsize=47584 memory=24620 CPUtime=0.09 cores=0,2
/proc/74832/stat : 74832 (Exact) R 74829 74832 73714 0 -1 4194304 5960 0 0 0 8 1 0 0 20 0 1 0 68371186 48726016 6155 18446744073709551615 4198400 9112445 140734837211072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 21610496 140734837217578 140734837217773 140734837217773 140734837223375 0
/proc/74832/statm: 11896 6155 1184 1200 0 10376 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 47584 KiB
Current children cumulated memory: 24620 KiB
[startup+0.205479 s]*
/proc/loadavg: 4.08 4.13 4.11 5/264 74833
/proc/meminfo: memFree=113580904/131249996 swapFree=33004236/33010684
[pid=74832] ppid=74829 vsize=47584 memory=25260 CPUtime=0.2 cores=0,2
/proc/74832/stat : 74832 (Exact) R 74829 74832 73714 0 -1 4194304 6068 0 0 0 19 1 0 0 20 0 1 0 68371186 48726016 6315 18446744073709551615 4198400 9112445 140734837211072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 21610496 140734837217578 140734837217773 140734837217773 140734837223375 0
/proc/74832/statm: 11896 6315 1248 1200 0 10376 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 47584 KiB
Current children cumulated memory: 25260 KiB
[startup+0.305122 s]*
/proc/loadavg: 4.08 4.13 4.11 5/264 74833
/proc/meminfo: memFree=113580904/131249996 swapFree=33004236/33010684
[pid=74832] ppid=74829 vsize=47584 memory=25772 CPUtime=0.3 cores=0,2
/proc/74832/stat : 74832 (Exact) R 74829 74832 73714 0 -1 4194304 6212 0 0 0 29 1 0 0 20 0 1 0 68371186 48726016 6443 18446744073709551615 4198400 9112445 140734837211072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 21610496 140734837217578 140734837217773 140734837217773 140734837223375 0
/proc/74832/statm: 11896 6443 1248 1200 0 10376 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 47584 KiB
Current children cumulated memory: 25772 KiB
[startup+0.700102 s]
/proc/loadavg: 4.08 4.13 4.11 5/264 74833
/proc/meminfo: memFree=113580904/131249996 swapFree=33004236/33010684
[pid=74832] ppid=74829 vsize=48988 memory=29388 CPUtime=0.68 cores=0,2
/proc/74832/stat : 74832 (Exact) R 74829 74832 73714 0 -1 4194304 6598 0 0 0 67 1 0 0 20 0 1 0 68371186 50163712 7347 18446744073709551615 4198400 9112445 140734837211072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 21610496 140734837217578 140734837217773 140734837217773 140734837223375 0
/proc/74832/statm: 12247 7347 1248 1200 0 10727 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 48988 KiB
Current children cumulated memory: 29388 KiB
[startup+1.50011 s]
/proc/loadavg: 4.08 4.13 4.11 5/264 74833
/proc/meminfo: memFree=113581156/131249996 swapFree=33004236/33010684
[pid=74832] ppid=74829 vsize=50108 memory=30540 CPUtime=1.48 cores=0,2
/proc/74832/stat : 74832 (Exact) R 74829 74832 73714 0 -1 4194304 6885 0 0 0 147 1 0 0 20 0 1 0 68371186 51310592 7635 18446744073709551615 4198400 9112445 140734837211072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 21610496 140734837217578 140734837217773 140734837217773 140734837223375 0
/proc/74832/statm: 12527 7635 1248 1200 0 11007 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 50108 KiB
Current children cumulated memory: 30540 KiB
[startup+3.10523 s]
/proc/loadavg: 4.08 4.13 4.11 5/264 74833
/proc/meminfo: memFree=113580668/131249996 swapFree=33004236/33010684
[pid=74832] ppid=74829 vsize=51404 memory=31820 CPUtime=3.08 cores=0,2
/proc/74832/stat : 74832 (Exact) R 74829 74832 73714 0 -1 4194304 7192 0 0 0 307 1 0 0 20 0 1 0 68371186 52637696 7955 18446744073709551615 4198400 9112445 140734837211072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 21610496 140734837217578 140734837217773 140734837217773 140734837223375 0
/proc/74832/statm: 12851 7955 1248 1200 0 11331 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 51404 KiB
Current children cumulated memory: 31820 KiB
[startup+6.30012 s]
/proc/loadavg: 4.07 4.13 4.11 5/262 74856
/proc/meminfo: memFree=113766248/131249996 swapFree=33004236/33010684
[pid=74832] ppid=74829 vsize=53412 memory=33868 CPUtime=6.26 cores=0,2
/proc/74832/stat : 74832 (Exact) R 74829 74832 73714 0 -1 4194304 7713 0 0 0 625 1 0 0 20 0 1 0 68371186 54693888 8467 18446744073709551615 4198400 9112445 140734837211072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 21610496 140734837217578 140734837217773 140734837217773 140734837223375 0
/proc/74832/statm: 13353 8467 1248 1200 0 11833 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 53412 KiB
Current children cumulated memory: 33868 KiB
[startup+12.7001 s]
/proc/loadavg: 4.15 4.14 4.11 5/264 74878
/proc/meminfo: memFree=113072008/131249996 swapFree=33004236/33010684
[pid=74832] ppid=74829 vsize=55624 memory=38264 CPUtime=12.65 cores=0,2
/proc/74832/stat : 74832 (Exact) R 74829 74832 73714 0 -1 4194304 8295 0 0 0 1263 2 0 0 20 0 1 0 68371186 56958976 9566 18446744073709551615 4198400 9112445 140734837211072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 21610496 140734837217578 140734837217773 140734837217773 140734837223375 0
/proc/74832/statm: 13906 9566 1248 1200 0 12386 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 55624 KiB
Current children cumulated memory: 38264 KiB
[startup+25.5001 s]
/proc/loadavg: 4.05 4.12 4.10 5/264 75104
/proc/meminfo: memFree=113163972/131249996 swapFree=33004236/33010684
[pid=74832] ppid=74829 vsize=59032 memory=41592 CPUtime=25.42 cores=0,2
/proc/74832/stat : 74832 (Exact) R 74829 74832 73714 0 -1 4194304 9150 0 0 0 2537 5 0 0 20 0 1 0 68371186 60448768 10398 18446744073709551615 4198400 9112445 140734837211072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 21610496 140734837217578 140734837217773 140734837217773 140734837223375 0
/proc/74832/statm: 14758 10398 1248 1200 0 13238 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 59032 KiB
Current children cumulated memory: 41592 KiB
[startup+51.1052 s]
/proc/loadavg: 4.03 4.11 4.10 5/264 75104
/proc/meminfo: memFree=112992420/131249996 swapFree=33004236/33010684
[pid=74832] ppid=74829 vsize=64188 memory=46712 CPUtime=50.95 cores=0,2
/proc/74832/stat : 74832 (Exact) R 74829 74832 73714 0 -1 4194304 10417 0 0 0 5086 9 0 0 20 0 1 0 68371186 65728512 11678 18446744073709551615 4198400 9112445 140734837211072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 21610496 140734837217578 140734837217773 140734837217773 140734837223375 0
/proc/74832/statm: 16047 11678 1248 1200 0 14527 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 64188 KiB
Current children cumulated memory: 46712 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/264 75196
/proc/meminfo: memFree=112958336/131249996 swapFree=33004236/33010684
[pid=74832] ppid=74829 vsize=69184 memory=51704 CPUtime=102.01 cores=0,2
/proc/74832/stat : 74832 (Exact) R 74829 74832 73714 0 -1 4194304 11671 0 0 0 10184 17 0 0 20 0 1 0 68371186 70844416 12926 18446744073709551615 4198400 9112445 140734837211072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 21610496 140734837217578 140734837217773 140734837217773 140734837223375 0
/proc/74832/statm: 17296 12926 1248 1200 0 15776 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 69184 KiB
Current children cumulated memory: 51704 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 75333
/proc/meminfo: memFree=112947352/131249996 swapFree=33004236/33010684
[pid=74832] ppid=74829 vsize=74072 memory=56568 CPUtime=161.84 cores=0,2
/proc/74832/stat : 74832 (Exact) R 74829 74832 73714 0 -1 4194304 12925 0 0 0 16157 27 0 0 20 0 1 0 68371186 75849728 14142 18446744073709551615 4198400 9112445 140734837211072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 21610496 140734837217578 140734837217773 140734837217773 140734837223375 0
/proc/74832/statm: 18518 14142 1248 1200 0 16998 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 74072 KiB
Current children cumulated memory: 56568 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/264 75335
/proc/meminfo: memFree=112798644/131249996 swapFree=33004236/33010684
[pid=74832] ppid=74829 vsize=77292 memory=59896 CPUtime=221.67 cores=0,2
/proc/74832/stat : 74832 (Exact) R 74829 74832 73714 0 -1 4194304 13757 0 0 0 22130 37 0 0 20 0 1 0 68371186 79147008 14974 18446744073709551615 4198400 9112445 140734837211072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 21610496 140734837217578 140734837217773 140734837217773 140734837223375 0
/proc/74832/statm: 19323 14974 1248 1200 0 17803 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 77292 KiB
Current children cumulated memory: 59896 KiB
[startup+282.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/264 75337
/proc/meminfo: memFree=112726932/131249996 swapFree=33004236/33010684
[pid=74832] ppid=74829 vsize=79392 memory=61944 CPUtime=281.48 cores=0,2
/proc/74832/stat : 74832 (Exact) R 74829 74832 73714 0 -1 4194304 14276 0 0 0 28101 47 0 0 20 0 1 0 68371186 81297408 15486 18446744073709551615 4198400 9112445 140734837211072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 21610496 140734837217578 140734837217773 140734837217773 140734837223375 0
/proc/74832/statm: 19848 15486 1248 1200 0 18328 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 79392 KiB
Current children cumulated memory: 61944 KiB
[startup+342.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/264 75339
/proc/meminfo: memFree=112688884/131249996 swapFree=33004236/33010684
[pid=74832] ppid=74829 vsize=81456 memory=63992 CPUtime=341.29 cores=0,2
/proc/74832/stat : 74832 (Exact) R 74829 74832 73714 0 -1 4194304 14794 0 0 0 34074 55 0 0 20 0 1 0 68371186 83410944 15998 18446744073709551615 4198400 9112445 140734837211072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 21610496 140734837217578 140734837217773 140734837217773 140734837223375 0
/proc/74832/statm: 20364 15998 1248 1200 0 18844 0
Current children cumulated CPU time: 341.29 s
Current children cumulated vsize: 81456 KiB
Current children cumulated memory: 63992 KiB
[startup+402.3 s]
/proc/loadavg: 4.41 4.16 4.11 5/263 75341
/proc/meminfo: memFree=112594788/131249996 swapFree=33004236/33010684
[pid=74832] ppid=74829 vsize=82704 memory=65144 CPUtime=401.11 cores=0,2
/proc/74832/stat : 74832 (Exact) R 74829 74832 73714 0 -1 4194304 15106 0 0 0 40046 65 0 0 20 0 1 0 68371186 84688896 16286 18446744073709551615 4198400 9112445 140734837211072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 21610496 140734837217578 140734837217773 140734837217773 140734837223375 0
/proc/74832/statm: 20676 16286 1248 1200 0 19156 0
Current children cumulated CPU time: 401.11 s
Current children cumulated vsize: 82704 KiB
Current children cumulated memory: 65144 KiB
[startup+462.3 s]
/proc/loadavg: 4.27 4.17 4.12 5/263 75348
/proc/meminfo: memFree=112566956/131249996 swapFree=33004236/33010684
[pid=74832] ppid=74829 vsize=83232 memory=67820 CPUtime=460.93 cores=0,2
/proc/74832/stat : 74832 (Exact) R 74829 74832 73714 0 -1 4194304 15256 0 0 0 46020 73 0 0 20 0 1 0 68371186 85229568 16955 18446744073709551615 4198400 9112445 140734837211072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 21610496 140734837217578 140734837217773 140734837217773 140734837223375 0
/proc/74832/statm: 20808 16955 1248 1200 0 19288 0
################
# More data... #
################
/proc/loadavg: 4.09 4.13 4.10 5/264 75357
/proc/meminfo: memFree=112307296/131249996 swapFree=33004236/33010684
[pid=74832] ppid=74829 vsize=86784 memory=71276 CPUtime=640.37 cores=0,2
/proc/74832/stat : 74832 (Exact) R 74829 74832 73714 0 -1 4194304 16149 0 0 0 63940 97 0 0 20 0 1 0 68371186 88866816 17819 18446744073709551615 4198400 9112445 140734837211072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 21610496 140734837217578 140734837217773 140734837217773 140734837223375 0
/proc/74832/statm: 21696 17819 1248 1200 0 20176 0
Current children cumulated CPU time: 640.37 s
Current children cumulated vsize: 86784 KiB
Current children cumulated memory: 71276 KiB
[startup+702.3 s]
/proc/loadavg: 4.07 4.12 4.10 5/265 75360
/proc/meminfo: memFree=112327704/131249996 swapFree=33004236/33010684
[pid=74832] ppid=74829 vsize=87792 memory=72428 CPUtime=700.18 cores=0,2
/proc/74832/stat : 74832 (Exact) R 74829 74832 73714 0 -1 4194304 16416 0 0 0 69913 105 0 0 20 0 1 0 68371186 89899008 18107 18446744073709551615 4198400 9112445 140734837211072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 21610496 140734837217578 140734837217773 140734837217773 140734837223375 0
/proc/74832/statm: 21948 18107 1248 1200 0 20428 0
Current children cumulated CPU time: 700.18 s
Current children cumulated vsize: 87792 KiB
Current children cumulated memory: 72428 KiB
[startup+762.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/264 75362
/proc/meminfo: memFree=112313772/131249996 swapFree=33004236/33010684
[pid=74832] ppid=74829 vsize=88804 memory=73324 CPUtime=760 cores=0,2
/proc/74832/stat : 74832 (Exact) R 74829 74832 73714 0 -1 4194304 16670 0 0 0 75887 113 0 0 20 0 1 0 68371186 90935296 18331 18446744073709551615 4198400 9112445 140734837211072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 21610496 140734837217578 140734837217773 140734837217773 140734837223375 0
/proc/74832/statm: 22201 18331 1248 1200 0 20681 0
Current children cumulated CPU time: 760 s
Current children cumulated vsize: 88804 KiB
Current children cumulated memory: 73324 KiB
[startup+822.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/263 75364
/proc/meminfo: memFree=112302668/131249996 swapFree=33004236/33010684
[pid=74832] ppid=74829 vsize=89824 memory=74348 CPUtime=819.82 cores=0,2
/proc/74832/stat : 74832 (Exact) R 74829 74832 73714 0 -1 4194304 16925 0 0 0 81862 120 0 0 20 0 1 0 68371186 91979776 18587 18446744073709551615 4198400 9112445 140734837211072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 21610496 140734837217578 140734837217773 140734837217773 140734837223375 0
/proc/74832/statm: 22456 18587 1248 1200 0 20936 0
Current children cumulated CPU time: 819.82 s
Current children cumulated vsize: 89824 KiB
Current children cumulated memory: 74348 KiB
[startup+882.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 75366
/proc/meminfo: memFree=112286332/131249996 swapFree=33004236/33010684
[pid=74832] ppid=74829 vsize=90448 memory=74988 CPUtime=879.64 cores=0,2
/proc/74832/stat : 74832 (Exact) R 74829 74832 73714 0 -1 4194304 17083 0 0 0 87834 130 0 0 20 0 1 0 68371186 92618752 18747 18446744073709551615 4198400 9112445 140734837211072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 21610496 140734837217578 140734837217773 140734837217773 140734837223375 0
/proc/74832/statm: 22612 18747 1248 1200 0 21092 0
Current children cumulated CPU time: 879.64 s
Current children cumulated vsize: 90448 KiB
Current children cumulated memory: 74988 KiB
[startup+942.3 s]
/proc/loadavg: 4.04 4.09 4.09 5/263 75368
/proc/meminfo: memFree=112268092/131249996 swapFree=33004236/33010684
[pid=74832] ppid=74829 vsize=92004 memory=76524 CPUtime=939.45 cores=0,2
/proc/74832/stat : 74832 (Exact) R 74829 74832 73714 0 -1 4194304 17472 0 0 0 93808 137 0 0 20 0 1 0 68371186 94212096 19131 18446744073709551615 4198400 9112445 140734837211072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 21610496 140734837217578 140734837217773 140734837217773 140734837223375 0
/proc/74832/statm: 23001 19131 1248 1200 0 21481 0
Current children cumulated CPU time: 939.45 s
Current children cumulated vsize: 92004 KiB
Current children cumulated memory: 76524 KiB
[startup+1002.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 75370
/proc/meminfo: memFree=112253852/131249996 swapFree=33004236/33010684
[pid=74832] ppid=74829 vsize=92368 memory=76908 CPUtime=999.27 cores=0,2
/proc/74832/stat : 74832 (Exact) R 74829 74832 73714 0 -1 4194304 17566 0 0 0 99780 147 0 0 20 0 1 0 68371186 94584832 19227 18446744073709551615 4198400 9112445 140734837211072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 21610496 140734837217578 140734837217773 140734837217773 140734837223375 0
/proc/74832/statm: 23092 19227 1248 1200 0 21572 0
Current children cumulated CPU time: 999.27 s
Current children cumulated vsize: 92368 KiB
Current children cumulated memory: 76908 KiB
[startup+1062.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/264 75378
/proc/meminfo: memFree=112249760/131249996 swapFree=33004236/33010684
[pid=74832] ppid=74829 vsize=92504 memory=77036 CPUtime=1059.1 cores=0,2
/proc/74832/stat : 74832 (Exact) R 74829 74832 73714 0 -1 4194304 17600 0 0 0 105756 154 0 0 20 0 1 0 68371186 94724096 19259 18446744073709551615 4198400 9112445 140734837211072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 21610496 140734837217578 140734837217773 140734837217773 140734837223375 0
/proc/74832/statm: 23126 19259 1248 1200 0 21606 0
Current children cumulated CPU time: 1059.1 s
Current children cumulated vsize: 92504 KiB
Current children cumulated memory: 77036 KiB
[startup+1122.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 75380
/proc/meminfo: memFree=112178636/131249996 swapFree=33004236/33010684
[pid=74832] ppid=74829 vsize=94292 memory=78828 CPUtime=1118.91 cores=0,2
/proc/74832/stat : 74832 (Exact) R 74829 74832 73714 0 -1 4194304 18046 0 0 0 111729 162 0 0 20 0 1 0 68371186 96555008 19707 18446744073709551615 4198400 9112445 140734837211072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 21610496 140734837217578 140734837217773 140734837217773 140734837223375 0
/proc/74832/statm: 23573 19707 1248 1200 0 22053 0
Current children cumulated CPU time: 1118.91 s
Current children cumulated vsize: 94292 KiB
Current children cumulated memory: 78828 KiB
[startup+1182.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 75384
/proc/meminfo: memFree=112178220/131249996 swapFree=33004236/33010684
[pid=74832] ppid=74829 vsize=94292 memory=78828 CPUtime=1178.74 cores=0,2
/proc/74832/stat : 74832 (Exact) R 74829 74832 73714 0 -1 4194304 18046 0 0 0 117704 170 0 0 20 0 1 0 68371186 96555008 19707 18446744073709551615 4198400 9112445 140734837211072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 21610496 140734837217578 140734837217773 140734837217773 140734837223375 0
/proc/74832/statm: 23573 19707 1248 1200 0 22053 0
Current children cumulated CPU time: 1178.74 s
Current children cumulated vsize: 94292 KiB
Current children cumulated memory: 78828 KiB
[startup+1188.42 s]
# the end of solver process 74832 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=1183.14 s, system=1.70999 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1184 s]*
/proc/loadavg: 4.09 4.09 4.09 5/264 75384
/proc/meminfo: memFree=112178472/131249996 swapFree=33004236/33010684
[pid=74832] ppid=74829 vsize=94292 memory=78828 CPUtime=1180.43 cores=0,2
/proc/74832/stat : 74832 (Exact) R 74829 74832 73714 0 -1 4194304 18046 0 0 0 117873 170 0 0 20 0 1 0 68371186 96555008 19707 18446744073709551615 4198400 9112445 140734837211072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 21610496 140734837217578 140734837217773 140734837217773 140734837223375 0
/proc/74832/statm: 23573 19707 1248 1200 0 22053 0
Current children cumulated CPU time: 1180.43 s
Current children cumulated vsize: 94292 KiB
Current children cumulated memory: 78828 KiB
[startup+1185.6 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 75384
/proc/meminfo: memFree=112178472/131249996 swapFree=33004236/33010684
[pid=74832] ppid=74829 vsize=94292 memory=78828 CPUtime=1182.02 cores=0,2
/proc/74832/stat : 74832 (Exact) R 74829 74832 73714 0 -1 4194304 18046 0 0 0 118032 170 0 0 20 0 1 0 68371186 96555008 19707 18446744073709551615 4198400 9112445 140734837211072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 21610496 140734837217578 140734837217773 140734837217773 140734837223375 0
/proc/74832/statm: 23573 19707 1248 1200 0 22053 0
Current children cumulated CPU time: 1182.02 s
Current children cumulated vsize: 94292 KiB
Current children cumulated memory: 78828 KiB
[startup+1187.2 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 75384
/proc/meminfo: memFree=112178472/131249996 swapFree=33004236/33010684
[pid=74832] ppid=74829 vsize=94292 memory=78828 CPUtime=1183.62 cores=0,2
/proc/74832/stat : 74832 (Exact) R 74829 74832 73714 0 -1 4194304 18046 0 0 0 118192 170 0 0 20 0 1 0 68371186 96555008 19707 18446744073709551615 4198400 9112445 140734837211072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 21610496 140734837217578 140734837217773 140734837217773 140734837223375 0
/proc/74832/statm: 23573 19707 1248 1200 0 22053 0
Current children cumulated CPU time: 1183.62 s
Current children cumulated vsize: 94292 KiB
Current children cumulated memory: 78828 KiB
[startup+1188 s]*
/proc/loadavg: 4.08 4.09 4.09 5/264 75384
/proc/meminfo: memFree=112178472/131249996 swapFree=33004236/33010684
[pid=74832] ppid=74829 vsize=94292 memory=78828 CPUtime=1184.42 cores=0,2
/proc/74832/stat : 74832 (Exact) R 74829 74832 73714 0 -1 4194304 18046 0 0 0 118272 170 0 0 20 0 1 0 68371186 96555008 19707 18446744073709551615 4198400 9112445 140734837211072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 21610496 140734837217578 140734837217773 140734837217773 140734837223375 0
/proc/74832/statm: 23573 19707 1248 1200 0 22053 0
Current children cumulated CPU time: 1184.42 s
Current children cumulated vsize: 94292 KiB
Current children cumulated memory: 78828 KiB
[startup+1188.4 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 75384
/proc/meminfo: memFree=112178472/131249996 swapFree=33004236/33010684
[pid=74832] ppid=74829 vsize=94292 memory=78828 CPUtime=1184.81 cores=0,2
/proc/74832/stat : 74832 (Exact) R 74829 74832 73714 0 -1 4194304 18046 0 0 0 118311 170 0 0 20 0 1 0 68371186 96555008 19707 18446744073709551615 4198400 9112445 140734837211072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 21610496 140734837217578 140734837217773 140734837217773 140734837223375 0
/proc/74832/statm: 23573 19707 1248 1200 0 22053 0
Current children cumulated CPU time: 1184.81 s
Current children cumulated vsize: 94292 KiB
Current children cumulated memory: 78828 KiB
Child status: 30
Real time (s): 1188.42
CPU time (s): 1184.85
CPU user time (s): 1183.14
CPU system time (s): 1.70999
CPU usage (%): 99.6991
Max. virtual memory (cumulated for all children) (KiB): 94292
Max. memory (cumulated for all children) (KiB): 78828
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1183.14
system time used= 1.70999
maximum resident set size= 78956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18051
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= 19
involuntary context switches= 2650
# summary of solver processes directly reported to runsolver:
# pid: 74832
# total CPU time (s): 1184.85
# total CPU user time (s): 1183.14
# total CPU system time (s): 1.70999
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.85626 second user time and 5.2014 second system time
The end
Begin job on nodeC023 at 2025-07-03 09:15:33
IDJOB=4517830
IDBENCH=176189
IDSOLVER=3318
FILE ID=nodeC023/4517830-1751526933
RUNJOBID= nodeC023-1751519701-73724
SLURM_JOB_ID= 9598640
Free space on /tmp= 431844 MiB
SOLVER NAME= Exact_no_db_no_ls 2025-06-19
BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=14-t=2.opb
COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED --ls=0 --inp-dombreaklim=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4517830-1751526933/watcher-4517830-1751526933 -o /tmp/evaluation-result-4517830-1751526933/solver-4517830-1751526933 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751519701-73724 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=46259296 --ls=0 --inp-dombreaklim=0 HOME/instance-4517830-1751526933.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 0eb4af5d9d6a7991e65a6bdba739f56a
RANDOM SEED=46259296
nodeC023 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.876
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.78
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.894
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.78
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 : 3538.339
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.78
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 : 3672.692
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.78
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.905
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.78
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.918
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.78
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 : 3600.732
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.78
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 : 3700.000
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.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 113587004 kB
MemAvailable: 129343724 kB
Buffers: 16 kB
Cached: 16501184 kB
SwapCached: 596 kB
Active: 640928 kB
Inactive: 16296208 kB
Active(anon): 428880 kB
Inactive(anon): 20456 kB
Active(file): 212048 kB
Inactive(file): 16275752 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33004236 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7652 kB
Writeback: 0 kB
AnonPages: 438500 kB
Mapped: 114732 kB
Shmem: 13400 kB
KReclaimable: 216320 kB
Slab: 306584 kB
SReclaimable: 216320 kB
SUnreclaim: 90264 kB
KernelStack: 4272 kB
PageTables: 3840 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 816580 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150552 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 348160 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: 197332 kB
DirectMap2M: 9011200 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 431840 MiB
End job on nodeC023 at 2025-07-03 09:35:22