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 (62546 MiB free)
memory of node 1: 64507 MiB (63744 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4517509-1751529086/watcher-4517509-1751529086 -o /tmp/evaluation-result-4517509-1751529086/solver-4517509-1751529086 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751528342-75430 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=982554607 --ls=360 --inp-dombreaklim=0 HOME/instance-4517509-1751529086.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=75836, runsolver pid=75833
[startup+0.100062 s]*
/proc/loadavg: 4.08 4.06 4.02 5/265 75837
/proc/meminfo: memFree=129300144/131249996 swapFree=33010416/33010684
[pid=75836] ppid=75833 vsize=48032 memory=26384 CPUtime=0.09 cores=4,6
/proc/75836/stat : 75836 (Exact) R 75833 75836 75419 0 -1 4194304 5391 0 0 0 8 1 0 0 20 0 1 0 68586390 49184768 6596 18446744073709551615 4198400 9112445 140732647814624 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 10316848 10407236 32538624 140732647823655 140732647823853 140732647823853 140732647829455 0
/proc/75836/statm: 12008 6596 1024 1200 0 10488 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 48032 KiB
Current children cumulated memory: 26384 KiB
[startup+0.205515 s]*
/proc/loadavg: 4.08 4.06 4.02 5/265 75837
/proc/meminfo: memFree=129298380/131249996 swapFree=33010416/33010684
[pid=75836] ppid=75833 vsize=53492 memory=30608 CPUtime=0.19 cores=4,6
/proc/75836/stat : 75836 (Exact) R 75833 75836 75419 0 -1 4194304 6459 0 0 0 18 1 0 0 20 0 1 0 68586390 54775808 7652 18446744073709551615 4198400 9112445 140732647814624 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 32538624 140732647823655 140732647823853 140732647823853 140732647829455 0
/proc/75836/statm: 13373 7652 1024 1200 0 11853 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 53492 KiB
Current children cumulated memory: 30608 KiB
[startup+0.305532 s]*
/proc/loadavg: 4.08 4.06 4.02 5/265 75837
/proc/meminfo: memFree=129298380/131249996 swapFree=33010416/33010684
[pid=75836] ppid=75833 vsize=53492 memory=30608 CPUtime=0.29 cores=4,6
/proc/75836/stat : 75836 (Exact) R 75833 75836 75419 0 -1 4194304 6459 0 0 0 28 1 0 0 20 0 1 0 68586390 54775808 7652 18446744073709551615 4198400 9112445 140732647814624 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 32538624 140732647823655 140732647823853 140732647823853 140732647829455 0
/proc/75836/statm: 13373 7652 1024 1200 0 11853 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 53492 KiB
Current children cumulated memory: 30608 KiB
[startup+0.700174 s]
/proc/loadavg: 4.08 4.06 4.02 5/265 75837
/proc/meminfo: memFree=129298380/131249996 swapFree=33010416/33010684
[pid=75836] ppid=75833 vsize=53492 memory=30608 CPUtime=0.68 cores=4,6
/proc/75836/stat : 75836 (Exact) R 75833 75836 75419 0 -1 4194304 6459 0 0 0 67 1 0 0 20 0 1 0 68586390 54775808 7652 18446744073709551615 4198400 9112445 140732647814624 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 32538624 140732647823655 140732647823853 140732647823853 140732647829455 0
/proc/75836/statm: 13373 7652 1024 1200 0 11853 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 53492 KiB
Current children cumulated memory: 30608 KiB
[startup+1.50017 s]
/proc/loadavg: 4.08 4.06 4.02 5/265 75837
/proc/meminfo: memFree=129298708/131249996 swapFree=33010416/33010684
[pid=75836] ppid=75833 vsize=53492 memory=30608 CPUtime=1.47 cores=4,6
/proc/75836/stat : 75836 (Exact) R 75833 75836 75419 0 -1 4194304 6459 0 0 0 146 1 0 0 20 0 1 0 68586390 54775808 7652 18446744073709551615 4198400 9112445 140732647814624 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 32538624 140732647823655 140732647823853 140732647823853 140732647829455 0
/proc/75836/statm: 13373 7652 1024 1200 0 11853 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 53492 KiB
Current children cumulated memory: 30608 KiB
[startup+3.10543 s]
/proc/loadavg: 4.08 4.06 4.02 5/265 75837
/proc/meminfo: memFree=129298968/131249996 swapFree=33010416/33010684
[pid=75836] ppid=75833 vsize=53492 memory=30608 CPUtime=3.07 cores=4,6
/proc/75836/stat : 75836 (Exact) R 75833 75836 75419 0 -1 4194304 6461 0 0 0 306 1 0 0 20 0 1 0 68586390 54775808 7652 18446744073709551615 4198400 9112445 140732647814624 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 32538624 140732647823655 140732647823853 140732647823853 140732647829455 0
/proc/75836/statm: 13373 7652 1024 1200 0 11853 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 53492 KiB
Current children cumulated memory: 30608 KiB
[startup+6.30016 s]
/proc/loadavg: 4.08 4.06 4.02 5/265 75837
/proc/meminfo: memFree=129299412/131249996 swapFree=33010416/33010684
[pid=75836] ppid=75833 vsize=53492 memory=30608 CPUtime=6.26 cores=4,6
/proc/75836/stat : 75836 (Exact) R 75833 75836 75419 0 -1 4194304 6463 0 0 0 625 1 0 0 20 0 1 0 68586390 54775808 7652 18446744073709551615 4198400 9112445 140732647814624 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 32538624 140732647823655 140732647823853 140732647823853 140732647829455 0
/proc/75836/statm: 13373 7652 1024 1200 0 11853 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 53492 KiB
Current children cumulated memory: 30608 KiB
[startup+12.7002 s]
/proc/loadavg: 4.15 4.08 4.02 5/265 75837
/proc/meminfo: memFree=129299412/131249996 swapFree=33010416/33010684
[pid=75836] ppid=75833 vsize=53492 memory=30608 CPUtime=12.63 cores=4,6
/proc/75836/stat : 75836 (Exact) R 75833 75836 75419 0 -1 4194304 6465 0 0 0 1262 1 0 0 20 0 1 0 68586390 54775808 7652 18446744073709551615 4198400 9112445 140732647814624 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 32538624 140732647823655 140732647823853 140732647823853 140732647829455 0
/proc/75836/statm: 13373 7652 1024 1200 0 11853 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 53492 KiB
Current children cumulated memory: 30608 KiB
[startup+25.5002 s]
/proc/loadavg: 4.12 4.07 4.02 5/265 75838
/proc/meminfo: memFree=129299412/131249996 swapFree=33010416/33010684
[pid=75836] ppid=75833 vsize=53492 memory=30608 CPUtime=25.39 cores=4,6
/proc/75836/stat : 75836 (Exact) R 75833 75836 75419 0 -1 4194304 6467 0 0 0 2538 1 0 0 20 0 1 0 68586390 54775808 7652 18446744073709551615 4198400 9112445 140732647814624 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 32538624 140732647823655 140732647823853 140732647823853 140732647829455 0
/proc/75836/statm: 13373 7652 1024 1200 0 11853 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 53492 KiB
Current children cumulated memory: 30608 KiB
[startup+51.1055 s]
/proc/loadavg: 4.08 4.07 4.02 5/265 75838
/proc/meminfo: memFree=129299160/131249996 swapFree=33010416/33010684
[pid=75836] ppid=75833 vsize=53492 memory=30608 CPUtime=50.9 cores=4,6
/proc/75836/stat : 75836 (Exact) R 75833 75836 75419 0 -1 4194304 6469 0 0 0 5089 1 0 0 20 0 1 0 68586390 54775808 7652 18446744073709551615 4198400 9112445 140732647814624 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 32538624 140732647823655 140732647823853 140732647823853 140732647829455 0
/proc/75836/statm: 13373 7652 1024 1200 0 11853 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 53492 KiB
Current children cumulated memory: 30608 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.08 4.02 5/265 75885
/proc/meminfo: memFree=129276344/131249996 swapFree=33010416/33010684
[pid=75836] ppid=75833 vsize=53492 memory=30608 CPUtime=101.9 cores=4,6
/proc/75836/stat : 75836 (Exact) R 75833 75836 75419 0 -1 4194304 6473 0 0 0 10189 1 0 0 20 0 1 0 68586390 54775808 7652 18446744073709551615 4198400 9112445 140732647814624 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 32538624 140732647823655 140732647823853 140732647823853 140732647829455 0
/proc/75836/statm: 13373 7652 1024 1200 0 11853 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 53492 KiB
Current children cumulated memory: 30608 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.08 4.02 5/264 75887
/proc/meminfo: memFree=129287240/131249996 swapFree=33010416/33010684
[pid=75836] ppid=75833 vsize=53492 memory=31632 CPUtime=161.7 cores=4,6
/proc/75836/stat : 75836 (Exact) R 75833 75836 75419 0 -1 4194304 6491 0 0 0 16169 1 0 0 20 0 1 0 68586390 54775808 7908 18446744073709551615 4198400 9112445 140732647814624 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 32538624 140732647823655 140732647823853 140732647823853 140732647829455 0
/proc/75836/statm: 13373 7908 1024 1200 0 11853 0
Current children cumulated CPU time: 161.7 s
Current children cumulated vsize: 53492 KiB
Current children cumulated memory: 31632 KiB
[startup+222.3 s]
/proc/loadavg: 4.30 4.16 4.05 5/264 75889
/proc/meminfo: memFree=129297780/131249996 swapFree=33010416/33010684
[pid=75836] ppid=75833 vsize=53492 memory=31632 CPUtime=221.54 cores=4,6
/proc/75836/stat : 75836 (Exact) R 75833 75836 75419 0 -1 4194304 6501 0 0 0 22153 1 0 0 20 0 1 0 68586390 54775808 7908 18446744073709551615 4198400 9112445 140732647814624 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 32538624 140732647823655 140732647823853 140732647823853 140732647829455 0
/proc/75836/statm: 13373 7908 1024 1200 0 11853 0
Current children cumulated CPU time: 221.54 s
Current children cumulated vsize: 53492 KiB
Current children cumulated memory: 31632 KiB
[startup+282.3 s]
/proc/loadavg: 4.21 4.16 4.06 5/262 75893
/proc/meminfo: memFree=129296456/131249996 swapFree=33010416/33010684
[pid=75836] ppid=75833 vsize=53492 memory=31632 CPUtime=281.38 cores=4,6
/proc/75836/stat : 75836 (Exact) R 75833 75836 75419 0 -1 4194304 6511 0 0 0 28137 1 0 0 20 0 1 0 68586390 54775808 7908 18446744073709551615 4198400 9112445 140732647814624 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 32538624 140732647823655 140732647823853 140732647823853 140732647829455 0
/proc/75836/statm: 13373 7908 1024 1200 0 11853 0
Current children cumulated CPU time: 281.38 s
Current children cumulated vsize: 53492 KiB
Current children cumulated memory: 31632 KiB
[startup+342.3 s]
/proc/loadavg: 4.19 4.16 4.07 5/263 75900
/proc/meminfo: memFree=129247004/131249996 swapFree=33010416/33010684
[pid=75836] ppid=75833 vsize=53492 memory=31632 CPUtime=341.21 cores=4,6
/proc/75836/stat : 75836 (Exact) R 75833 75836 75419 0 -1 4194304 6511 0 0 0 34120 1 0 0 20 0 1 0 68586390 54775808 7908 18446744073709551615 4198400 9112445 140732647814624 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 32538624 140732647823655 140732647823853 140732647823853 140732647829455 0
/proc/75836/statm: 13373 7908 1024 1200 0 11853 0
Current children cumulated CPU time: 341.21 s
Current children cumulated vsize: 53492 KiB
Current children cumulated memory: 31632 KiB
[startup+402.3 s]
/proc/loadavg: 4.18 4.16 4.07 5/263 75902
/proc/meminfo: memFree=129175912/131249996 swapFree=33010416/33010684
[pid=75836] ppid=75833 vsize=95816 memory=80932 CPUtime=401.07 cores=4,6
/proc/75836/stat : 75836 (Exact) R 75833 75836 75419 0 -1 4194304 15981 0 0 0 40102 5 0 0 20 0 1 0 68586390 98115584 20233 18446744073709551615 4198400 9112445 140732647814624 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 32538624 140732647823655 140732647823853 140732647823853 140732647829455 0
/proc/75836/statm: 23954 20233 1248 1200 0 22434 0
Current children cumulated CPU time: 401.07 s
Current children cumulated vsize: 95816 KiB
Current children cumulated memory: 80932 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.14 4.07 5/263 75904
/proc/meminfo: memFree=129116308/131249996 swapFree=33010416/33010684
[pid=75836] ppid=75833 vsize=104696 memory=91876 CPUtime=460.93 cores=4,6
/proc/75836/stat : 75836 (Exact) R 75833 75836 75419 0 -1 4194304 18208 0 0 0 46085 8 0 0 20 0 1 0 68586390 107208704 22969 18446744073709551615 4198400 9112445 140732647814624 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 32538624 140732647823655 140732647823853 140732647823853 140732647829455 0
/proc/75836/statm: 26174 22969 1248 1200 0 24654 0
################
# More data... #
################
Current children cumulated memory: 147400 KiB
[startup+2922.3 s]
/proc/loadavg: 4.05 4.10 4.09 5/263 76079
/proc/meminfo: memFree=128923812/131249996 swapFree=33010416/33010684
[pid=75836] ppid=75833 vsize=158672 memory=147912 CPUtime=2914.85 cores=4,6
/proc/75836/stat : 75836 (Exact) R 75833 75836 75419 0 -1 4194304 31939 0 0 0 291330 155 0 0 20 0 1 0 68586390 162480128 36978 18446744073709551615 4198400 9112445 140732647814624 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 32538624 140732647823655 140732647823853 140732647823853 140732647829455 0
/proc/75836/statm: 39668 36978 1248 1200 0 38148 0
Current children cumulated CPU time: 2914.85 s
Current children cumulated vsize: 158672 KiB
Current children cumulated memory: 147912 KiB
[startup+2982.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/263 76081
/proc/meminfo: memFree=128917816/131249996 swapFree=33010416/33010684
[pid=75836] ppid=75833 vsize=158672 memory=148040 CPUtime=2974.71 cores=4,6
/proc/75836/stat : 75836 (Exact) R 75833 75836 75419 0 -1 4194304 31970 0 0 0 297311 160 0 0 20 0 1 0 68586390 162480128 37010 18446744073709551615 4198400 9112445 140732647814624 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 32538624 140732647823655 140732647823853 140732647823853 140732647829455 0
/proc/75836/statm: 39668 37010 1248 1200 0 38148 0
Current children cumulated CPU time: 2974.71 s
Current children cumulated vsize: 158672 KiB
Current children cumulated memory: 148040 KiB
[startup+3042.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/262 76083
/proc/meminfo: memFree=128919412/131249996 swapFree=33010416/33010684
[pid=75836] ppid=75833 vsize=158904 memory=148168 CPUtime=3034.56 cores=4,6
/proc/75836/stat : 75836 (Exact) R 75833 75836 75419 0 -1 4194304 32025 0 0 0 303292 164 0 0 20 0 1 0 68586390 162717696 37042 18446744073709551615 4198400 9112445 140732647814624 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 32538624 140732647823655 140732647823853 140732647823853 140732647829455 0
/proc/75836/statm: 39726 37042 1248 1200 0 38206 0
Current children cumulated CPU time: 3034.56 s
Current children cumulated vsize: 158904 KiB
Current children cumulated memory: 148168 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/263 76086
/proc/meminfo: memFree=128919860/131249996 swapFree=33010416/33010684
[pid=75836] ppid=75833 vsize=159344 memory=148552 CPUtime=3094.42 cores=4,6
/proc/75836/stat : 75836 (Exact) R 75833 75836 75419 0 -1 4194304 32112 0 0 0 309274 168 0 0 20 0 1 0 68586390 163168256 37138 18446744073709551615 4198400 9112445 140732647814624 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 32538624 140732647823655 140732647823853 140732647823853 140732647829455 0
/proc/75836/statm: 39836 37138 1248 1200 0 38316 0
Current children cumulated CPU time: 3094.42 s
Current children cumulated vsize: 159344 KiB
Current children cumulated memory: 148552 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/263 76088
/proc/meminfo: memFree=128916852/131249996 swapFree=33010416/33010684
[pid=75836] ppid=75833 vsize=160512 memory=149832 CPUtime=3154.28 cores=4,6
/proc/75836/stat : 75836 (Exact) R 75833 75836 75419 0 -1 4194304 32437 0 0 0 315256 172 0 0 20 0 1 0 68586390 164364288 37458 18446744073709551615 4198400 9112445 140732647814624 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 32538624 140732647823655 140732647823853 140732647823853 140732647829455 0
/proc/75836/statm: 40128 37458 1248 1200 0 38608 0
Current children cumulated CPU time: 3154.28 s
Current children cumulated vsize: 160512 KiB
Current children cumulated memory: 149832 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 76091
/proc/meminfo: memFree=128914764/131249996 swapFree=33010416/33010684
[pid=75836] ppid=75833 vsize=161072 memory=150216 CPUtime=3214.14 cores=4,6
/proc/75836/stat : 75836 (Exact) R 75833 75836 75419 0 -1 4194304 32551 0 0 0 321238 176 0 0 20 0 1 0 68586390 164937728 37554 18446744073709551615 4198400 9112445 140732647814624 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 32538624 140732647823655 140732647823853 140732647823853 140732647829455 0
/proc/75836/statm: 40268 37554 1248 1200 0 38748 0
Current children cumulated CPU time: 3214.14 s
Current children cumulated vsize: 161072 KiB
Current children cumulated memory: 150216 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/264 76095
/proc/meminfo: memFree=128890424/131249996 swapFree=33010416/33010684
[pid=75836] ppid=75833 vsize=161328 memory=150472 CPUtime=3273.99 cores=4,6
/proc/75836/stat : 75836 (Exact) R 75833 75836 75419 0 -1 4194304 32616 0 0 0 327220 179 0 0 20 0 1 0 68586390 165199872 37618 18446744073709551615 4198400 9112445 140732647814624 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 32538624 140732647823655 140732647823853 140732647823853 140732647829455 0
/proc/75836/statm: 40332 37618 1248 1200 0 38812 0
Current children cumulated CPU time: 3273.99 s
Current children cumulated vsize: 161328 KiB
Current children cumulated memory: 150472 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/264 76101
/proc/meminfo: memFree=128893168/131249996 swapFree=33010416/33010684
[pid=75836] ppid=75833 vsize=161964 memory=151112 CPUtime=3333.86 cores=4,6
/proc/75836/stat : 75836 (Exact) R 75833 75836 75419 0 -1 4194304 32775 0 0 0 333202 184 0 0 20 0 1 0 68586390 165851136 37778 18446744073709551615 4198400 9112445 140732647814624 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 32538624 140732647823655 140732647823853 140732647823853 140732647829455 0
/proc/75836/statm: 40491 37778 1248 1200 0 38971 0
Current children cumulated CPU time: 3333.86 s
Current children cumulated vsize: 161964 KiB
Current children cumulated memory: 151112 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 76103
/proc/meminfo: memFree=128889720/131249996 swapFree=33010416/33010684
[pid=75836] ppid=75833 vsize=162156 memory=151368 CPUtime=3393.71 cores=4,6
/proc/75836/stat : 75836 (Exact) R 75833 75836 75419 0 -1 4194304 32828 0 0 0 339185 186 0 0 20 0 1 0 68586390 166047744 37842 18446744073709551615 4198400 9112445 140732647814624 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 32538624 140732647823655 140732647823853 140732647823853 140732647829455 0
/proc/75836/statm: 40539 37842 1248 1200 0 39019 0
Current children cumulated CPU time: 3393.71 s
Current children cumulated vsize: 162156 KiB
Current children cumulated memory: 151368 KiB
[startup+3462.3 s]
/proc/loadavg: 4.35 4.15 4.11 5/263 76105
/proc/meminfo: memFree=128886736/131249996 swapFree=33010416/33010684
[pid=75836] ppid=75833 vsize=163152 memory=152392 CPUtime=3453.57 cores=4,6
/proc/75836/stat : 75836 (Exact) R 75833 75836 75419 0 -1 4194304 33077 0 0 0 345167 190 0 0 20 0 1 0 68586390 167067648 38098 18446744073709551615 4198400 9112445 140732647814624 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 32538624 140732647823655 140732647823853 140732647823853 140732647829455 0
/proc/75836/statm: 40788 38098 1248 1200 0 39268 0
Current children cumulated CPU time: 3453.57 s
Current children cumulated vsize: 163152 KiB
Current children cumulated memory: 152392 KiB
[startup+3522.3 s]
/proc/loadavg: 4.25 4.17 4.11 5/263 76107
/proc/meminfo: memFree=128887608/131249996 swapFree=33010416/33010684
[pid=75836] ppid=75833 vsize=163380 memory=152648 CPUtime=3513.43 cores=4,6
/proc/75836/stat : 75836 (Exact) R 75833 75836 75419 0 -1 4194304 33165 0 0 0 351149 194 0 0 20 0 1 0 68586390 167301120 38162 18446744073709551615 4198400 9112445 140732647814624 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 32538624 140732647823655 140732647823853 140732647823853 140732647829455 0
/proc/75836/statm: 40845 38162 1248 1200 0 39325 0
Current children cumulated CPU time: 3513.43 s
Current children cumulated vsize: 163380 KiB
Current children cumulated memory: 152648 KiB
[startup+3582.3 s]
/proc/loadavg: 4.20 4.16 4.11 5/263 76110
/proc/meminfo: memFree=128888280/131249996 swapFree=33010416/33010684
[pid=75836] ppid=75833 vsize=163984 memory=153288 CPUtime=3573.29 cores=4,6
/proc/75836/stat : 75836 (Exact) R 75833 75836 75419 0 -1 4194304 33322 0 0 0 357131 198 0 0 20 0 1 0 68586390 167919616 38322 18446744073709551615 4198400 9112445 140732647814624 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 32538624 140732647823655 140732647823853 140732647823853 140732647829455 0
/proc/75836/statm: 40996 38322 1248 1200 0 39476 0
Current children cumulated CPU time: 3573.29 s
Current children cumulated vsize: 163984 KiB
Current children cumulated memory: 153288 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.11 s]
/proc/loadavg: 4.13 4.15 4.11 5/265 76202
/proc/meminfo: memFree=129165712/131249996 swapFree=33010416/33010684
[pid=75836] ppid=75833 vsize=164636 memory=153800 CPUtime=3600.02 cores=4,6
/proc/75836/stat : 75836 (Exact) R 75833 75836 75419 0 -1 4194304 33456 0 0 0 359803 199 0 0 20 0 1 0 68586390 168587264 38450 18446744073709551615 4198400 9112445 140732647814624 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 32538624 140732647823655 140732647823853 140732647823853 140732647829455 0
/proc/75836/statm: 41159 38450 1248 1200 0 39639 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 164636 KiB
Current children cumulated memory: 153800 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.11 s]
# the end of solver process 75836 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3598.04 s, system=1.99716 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.11 s]
/proc/loadavg: 4.13 4.15 4.11 5/265 76202
/proc/meminfo: memFree=129165712/131249996 swapFree=33010416/33010684
[pid=75836] ppid=75833 vsize=164636 memory=153800 CPUtime=3600.02 cores=4,6
/proc/75836/stat : 75836 (Exact) R 75833 75836 75419 0 -1 4194304 33456 0 0 0 359803 199 0 0 20 0 1 0 68586390 168587264 38450 18446744073709551615 4198400 9112445 140732647814624 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 32538624 140732647823655 140732647823853 140732647823853 140732647829455 0
/proc/75836/statm: 41159 38450 1248 1200 0 39639 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 164636 KiB
Current children cumulated memory: 153800 KiB
Child status: 10
Real time (s): 3609.11
CPU time (s): 3600.03
CPU user time (s): 3598.04
CPU system time (s): 1.99716
CPU usage (%): 99.7485
Max. virtual memory (cumulated for all children) (KiB): 164636
Max. memory (cumulated for all children) (KiB): 153800
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.04
system time used= 1.99716
maximum resident set size= 153928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33463
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= 47
involuntary context switches= 2248
# summary of solver processes directly reported to runsolver:
# pid: 75836
# total CPU time (s): 3600.03
# total CPU user time (s): 3598.04
# total CPU system time (s): 1.99716
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.3555 second user time and 14.0079 second system time
The end
Begin job on nodeC022 at 2025-07-03 09:51:26
IDJOB=4517509
IDBENCH=176113
IDSOLVER=3319
FILE ID=nodeC022/4517509-1751529086
RUNJOBID= nodeC022-1751528342-75430
SLURM_JOB_ID= 9598665
Free space on /tmp= 432364 MiB
SOLVER NAME= Exact_no_dombreaking 2025-06-16
BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=18-t=2.opb
COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED --ls=360 --inp-dombreaklim=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4517509-1751529086/watcher-4517509-1751529086 -o /tmp/evaluation-result-4517509-1751529086/solver-4517509-1751529086 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751528342-75430 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=982554607 --ls=360 --inp-dombreaklim=0 HOME/instance-4517509-1751529086.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 5da417552da80e99ebaacbb86c541f7c
RANDOM SEED=982554607
nodeC022 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.711
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.44
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.434
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.44
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.047
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.44
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 : 3606.430
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.44
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.708
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.44
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.953
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.44
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 : 3596.973
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.44
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 : 3556.562
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.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 129321824 kB
MemAvailable: 129643648 kB
Buffers: 2128 kB
Cached: 1105744 kB
SwapCached: 32 kB
Active: 671972 kB
Inactive: 563392 kB
Active(anon): 141344 kB
Inactive(anon): 4176 kB
Active(file): 530628 kB
Inactive(file): 559216 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 8760 kB
Writeback: 0 kB
AnonPages: 130564 kB
Mapped: 116240 kB
Shmem: 18028 kB
KReclaimable: 142036 kB
Slab: 231824 kB
SReclaimable: 142036 kB
SUnreclaim: 89788 kB
KernelStack: 4288 kB
PageTables: 3228 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 527452 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150536 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 34816 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: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432360 MiB
End job on nodeC022 at 2025-07-03 10:51:36