runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (54829 MiB free)
memory of node 1: 64465 MiB (57144 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4543264-1753206429/watcher-4543264-1753206429 -o /tmp/evaluation-result-4543264-1753206429/solver-4543264-1753206429 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1753198970-158771 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1134795999 --ls=0 --inp-dombreaklim=0 HOME/instance-4543264-1753206429.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=160408, runsolver pid=160405
[startup+0.100073 s]*
/proc/loadavg: 4.08 4.09 4.09 5/251 160409
/proc/meminfo: memFree=114659988/131382120 swapFree=33010416/33010684
[pid=160408] ppid=160405 vsize=31896 memory=9088 CPUtime=0.1 cores=0,2
/proc/160408/stat : 160408 (Exact) R 160405 160408 158752 0 -1 4194304 1323 0 0 0 9 1 0 0 20 0 1 0 236321754 32661504 2272 18446744073709551615 4198400 9112445 140730225039840 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 40468480 140730225043750 140730225043947 140730225043947 140730225049551 0
/proc/160408/statm: 7974 2272 1184 1200 0 6454 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 31896 KiB
Current children cumulated memory: 9088 KiB
[startup+0.213734 s]*
/proc/loadavg: 4.08 4.09 4.09 5/251 160409
/proc/meminfo: memFree=114659988/131382120 swapFree=33010416/33010684
[pid=160408] ppid=160405 vsize=31952 memory=9188 CPUtime=0.22 cores=0,2
/proc/160408/stat : 160408 (Exact) R 160405 160408 158752 0 -1 4194304 1506 0 0 0 20 2 0 0 20 0 1 0 236321754 32718848 2297 18446744073709551615 4198400 9112445 140730225039840 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 40468480 140730225043750 140730225043947 140730225043947 140730225049551 0
/proc/160408/statm: 7988 2297 1184 1200 0 6468 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 31952 KiB
Current children cumulated memory: 9188 KiB
[startup+0.313669 s]*
/proc/loadavg: 4.08 4.09 4.09 5/251 160409
/proc/meminfo: memFree=114659988/131382120 swapFree=33010416/33010684
[pid=160408] ppid=160405 vsize=34804 memory=13028 CPUtime=0.32 cores=0,2
/proc/160408/stat : 160408 (Exact) R 160405 160408 158752 0 -1 4194304 2510 0 0 0 30 2 0 0 20 0 1 0 236321754 35639296 3257 18446744073709551615 4198400 9112445 140730225039840 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 40468480 140730225043750 140730225043947 140730225043947 140730225049551 0
/proc/160408/statm: 8701 3257 1216 1200 0 7181 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 34804 KiB
Current children cumulated memory: 13028 KiB
[startup+0.700327 s]
/proc/loadavg: 4.08 4.09 4.09 5/251 160409
/proc/meminfo: memFree=114655956/131382120 swapFree=33010416/33010684
[pid=160408] ppid=160405 vsize=40824 memory=22504 CPUtime=0.68 cores=0,2
/proc/160408/stat : 160408 (Exact) R 160405 160408 158752 0 -1 4194304 3863 0 0 0 66 2 0 0 20 0 1 0 236321754 41803776 5626 18446744073709551615 4198400 9112445 140730225039840 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 40468480 140730225043750 140730225043947 140730225043947 140730225049551 0
/proc/160408/statm: 10206 5626 1216 1200 0 8686 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 40824 KiB
Current children cumulated memory: 22504 KiB
[startup+1.50032 s]
/proc/loadavg: 4.08 4.09 4.09 5/251 160409
/proc/meminfo: memFree=114643860/131382120 swapFree=33010416/33010684
[pid=160408] ppid=160405 vsize=49820 memory=34504 CPUtime=1.49 cores=0,2
/proc/160408/stat : 160408 (Exact) R 160405 160408 158752 0 -1 4194304 5817 0 0 0 145 4 0 0 20 0 1 0 236321754 51015680 8626 18446744073709551615 4198400 9112445 140730225039840 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 40468480 140730225043750 140730225043947 140730225043947 140730225049551 0
/proc/160408/statm: 12455 8626 1248 1200 0 10935 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 49820 KiB
Current children cumulated memory: 34504 KiB
[startup+3.11333 s]
/proc/loadavg: 4.08 4.09 4.09 5/251 160409
/proc/meminfo: memFree=114635868/131382120 swapFree=33010416/33010684
[pid=160408] ppid=160405 vsize=60236 memory=49188 CPUtime=3.09 cores=0,2
/proc/160408/stat : 160408 (Exact) R 160405 160408 158752 0 -1 4194304 7933 0 0 0 304 5 0 0 20 0 1 0 236321754 61681664 12297 18446744073709551615 4198400 9112445 140730225039840 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 40468480 140730225043750 140730225043947 140730225043947 140730225049551 0
/proc/160408/statm: 15059 12297 1248 1200 0 13539 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 60236 KiB
Current children cumulated memory: 49188 KiB
[startup+6.30031 s]
/proc/loadavg: 4.08 4.09 4.09 5/251 160409
/proc/meminfo: memFree=114602600/131382120 swapFree=33010416/33010684
[pid=160408] ppid=160405 vsize=87072 memory=69456 CPUtime=6.27 cores=0,2
/proc/160408/stat : 160408 (Exact) R 160405 160408 158752 0 -1 4194304 11704 0 0 0 619 8 0 0 20 0 1 0 236321754 89161728 17364 18446744073709551615 4198400 9112445 140730225039840 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 40468480 140730225043750 140730225043947 140730225043947 140730225049551 0
/proc/160408/statm: 21768 17364 1248 1200 0 20248 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 87072 KiB
Current children cumulated memory: 69456 KiB
[startup+12.7003 s]
/proc/loadavg: 4.07 4.09 4.09 5/251 160409
/proc/meminfo: memFree=114579600/131382120 swapFree=33010416/33010684
[pid=160408] ppid=160405 vsize=99828 memory=80464 CPUtime=12.65 cores=0,2
/proc/160408/stat : 160408 (Exact) R 160405 160408 158752 0 -1 4194304 14466 0 0 0 1250 15 0 0 20 0 1 0 236321754 102223872 20116 18446744073709551615 4198400 9112445 140730225039840 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 40468480 140730225043750 140730225043947 140730225043947 140730225049551 0
/proc/160408/statm: 24957 20116 1248 1200 0 23437 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 99828 KiB
Current children cumulated memory: 80464 KiB
[startup+25.5004 s]
/proc/loadavg: 4.06 4.09 4.09 5/251 160409
/proc/meminfo: memFree=114563472/131382120 swapFree=33010416/33010684
[pid=160408] ppid=160405 vsize=113188 memory=92368 CPUtime=25.41 cores=0,2
/proc/160408/stat : 160408 (Exact) R 160405 160408 158752 0 -1 4194304 17467 0 0 0 2515 26 0 0 20 0 1 0 236321754 115904512 23092 18446744073709551615 4198400 9112445 140730225039840 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 40468480 140730225043750 140730225043947 140730225043947 140730225049551 0
/proc/160408/statm: 28297 23092 1248 1200 0 26777 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 113188 KiB
Current children cumulated memory: 92368 KiB
[startup+51.1135 s]
/proc/loadavg: 4.18 4.11 4.10 5/252 160411
/proc/meminfo: memFree=114514344/131382120 swapFree=33010416/33010684
[pid=160408] ppid=160405 vsize=132520 memory=109008 CPUtime=50.96 cores=0,2
/proc/160408/stat : 160408 (Exact) R 160405 160408 158752 0 -1 4194304 21638 0 0 0 5047 49 0 0 20 0 1 0 236321754 135700480 27252 18446744073709551615 4198400 9112445 140730225039840 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 40468480 140730225043750 140730225043947 140730225043947 140730225049551 0
/proc/160408/statm: 33130 27252 1248 1200 0 31610 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 132520 KiB
Current children cumulated memory: 109008 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/251 160413
/proc/meminfo: memFree=114450108/131382120 swapFree=33010416/33010684
[pid=160408] ppid=160405 vsize=156756 memory=129616 CPUtime=102 cores=0,2
/proc/160408/stat : 160408 (Exact) R 160405 160408 158752 0 -1 4194304 26794 0 0 0 10104 96 0 0 20 0 1 0 236321754 160518144 32404 18446744073709551615 4198400 9112445 140730225039840 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 40468480 140730225043750 140730225043947 140730225043947 140730225049551 0
/proc/160408/statm: 39189 32404 1248 1200 0 37669 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 156756 KiB
Current children cumulated memory: 129616 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/251 160416
/proc/meminfo: memFree=114344640/131382120 swapFree=33010416/33010684
[pid=160408] ppid=160405 vsize=172740 memory=143952 CPUtime=161.83 cores=0,2
/proc/160408/stat : 160408 (Exact) R 160405 160408 158752 0 -1 4194304 30406 0 0 0 16034 149 0 0 20 0 1 0 236321754 176885760 35988 18446744073709551615 4198400 9112445 140730225039840 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 40468480 140730225043750 140730225043947 140730225043947 140730225049551 0
/proc/160408/statm: 43185 35988 1248 1200 0 41665 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 172740 KiB
Current children cumulated memory: 143952 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/251 160418
/proc/meminfo: memFree=114245748/131382120 swapFree=33010416/33010684
[pid=160408] ppid=160405 vsize=188152 memory=157520 CPUtime=221.66 cores=0,2
/proc/160408/stat : 160408 (Exact) R 160405 160408 158752 0 -1 4194304 33798 0 0 0 21965 201 0 0 20 0 1 0 236321754 192667648 39380 18446744073709551615 4198400 9112445 140730225039840 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 40468480 140730225043750 140730225043947 140730225043947 140730225049551 0
/proc/160408/statm: 47038 39380 1248 1200 0 45518 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 188152 KiB
Current children cumulated memory: 157520 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/251 160419
/proc/meminfo: memFree=114091608/131382120 swapFree=33010416/33010684
[pid=160408] ppid=160405 vsize=199096 memory=167376 CPUtime=281.48 cores=0,2
/proc/160408/stat : 160408 (Exact) R 160405 160408 158752 0 -1 4194304 36270 0 0 0 27892 256 0 0 20 0 1 0 236321754 203874304 41844 18446744073709551615 4198400 9112445 140730225039840 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 40468480 140730225043750 140730225043947 140730225043947 140730225049551 0
/proc/160408/statm: 49774 41844 1248 1200 0 48254 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 199096 KiB
Current children cumulated memory: 167376 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/251 160421
/proc/meminfo: memFree=113957584/131382120 swapFree=33010416/33010684
[pid=160408] ppid=160405 vsize=207164 memory=175056 CPUtime=341.27 cores=0,2
/proc/160408/stat : 160408 (Exact) R 160405 160408 158752 0 -1 4194304 38215 0 0 0 33823 304 0 0 20 0 1 0 236321754 212135936 43764 18446744073709551615 4198400 9112445 140730225039840 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 40468480 140730225043750 140730225043947 140730225043947 140730225049551 0
/proc/160408/statm: 51791 43764 1248 1200 0 50271 0
Current children cumulated CPU time: 341.27 s
Current children cumulated vsize: 207164 KiB
Current children cumulated memory: 175056 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/250 160423
/proc/meminfo: memFree=113868048/131382120 swapFree=33010416/33010684
[pid=160408] ppid=160405 vsize=213788 memory=181584 CPUtime=401.06 cores=0,2
/proc/160408/stat : 160408 (Exact) R 160405 160408 158752 0 -1 4194304 39854 0 0 0 39751 355 0 0 20 0 1 0 236321754 218918912 45396 18446744073709551615 4198400 9112445 140730225039840 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 40468480 140730225043750 140730225043947 140730225043947 140730225049551 0
/proc/160408/statm: 53447 45396 1248 1200 0 51927 0
Current children cumulated CPU time: 401.06 s
Current children cumulated vsize: 213788 KiB
Current children cumulated memory: 181584 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/250 160425
/proc/meminfo: memFree=113773704/131382120 swapFree=33010416/33010684
[pid=160408] ppid=160405 vsize=220892 memory=188624 CPUtime=460.86 cores=0,2
/proc/160408/stat : 160408 (Exact) R 160405 160408 158752 0 -1 4194304 41606 0 0 0 45678 408 0 0 20 0 1 0 236321754 226193408 47156 18446744073709551615 4198400 9112445 140730225039840 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 40468480 140730225043750 140730225043947 140730225043947 140730225049551 0
/proc/160408/statm: 55223 47156 1248 1200 0 53703 0
################
# More data... #
################
Current children cumulated memory: 311368 KiB
[startup+2922.3 s]
/proc/loadavg: 4.06 4.14 4.17 5/250 161227
/proc/meminfo: memFree=124407844/131382120 swapFree=33010416/33010684
[pid=160408] ppid=160405 vsize=335548 memory=312776 CPUtime=2912.74 cores=0,2
/proc/160408/stat : 160408 (Exact) R 160405 160408 158752 0 -1 4194304 68051 0 0 0 288825 2449 0 0 20 0 1 0 236321754 343601152 78194 18446744073709551615 4198400 9112445 140730225039840 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 40468480 140730225043750 140730225043947 140730225043947 140730225049551 0
/proc/160408/statm: 83887 78194 1280 1200 0 82367 0
Current children cumulated CPU time: 2912.74 s
Current children cumulated vsize: 335548 KiB
Current children cumulated memory: 312776 KiB
[startup+2982.3 s]
/proc/loadavg: 4.13 4.14 4.17 5/251 161236
/proc/meminfo: memFree=124379460/131382120 swapFree=33010416/33010684
[pid=160408] ppid=160405 vsize=336508 memory=313672 CPUtime=2972.53 cores=0,2
/proc/160408/stat : 160408 (Exact) R 160405 160408 158752 0 -1 4194304 68279 0 0 0 294748 2505 0 0 20 0 1 0 236321754 344584192 78418 18446744073709551615 4198400 9112445 140730225039840 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 40468480 140730225043750 140730225043947 140730225043947 140730225049551 0
/proc/160408/statm: 84127 78418 1280 1200 0 82607 0
Current children cumulated CPU time: 2972.53 s
Current children cumulated vsize: 336508 KiB
Current children cumulated memory: 313672 KiB
[startup+3042.3 s]
/proc/loadavg: 4.10 4.13 4.16 5/250 161238
/proc/meminfo: memFree=124392260/131382120 swapFree=33010416/33010684
[pid=160408] ppid=160405 vsize=337468 memory=314568 CPUtime=3032.33 cores=0,2
/proc/160408/stat : 160408 (Exact) R 160405 160408 158752 0 -1 4194304 68515 0 0 0 300678 2555 0 0 20 0 1 0 236321754 345567232 78642 18446744073709551615 4198400 9112445 140730225039840 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 40468480 140730225043750 140730225043947 140730225043947 140730225049551 0
/proc/160408/statm: 84367 78642 1280 1200 0 82847 0
Current children cumulated CPU time: 3032.33 s
Current children cumulated vsize: 337468 KiB
Current children cumulated memory: 314568 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.12 4.16 5/250 161240
/proc/meminfo: memFree=124376584/131382120 swapFree=33010416/33010684
[pid=160408] ppid=160405 vsize=338620 memory=315720 CPUtime=3092.13 cores=0,2
/proc/160408/stat : 160408 (Exact) R 160405 160408 158752 0 -1 4194304 68788 0 0 0 306608 2605 0 0 20 0 1 0 236321754 346746880 78930 18446744073709551615 4198400 9112445 140730225039840 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 40468480 140730225043750 140730225043947 140730225043947 140730225049551 0
/proc/160408/statm: 84655 78930 1280 1200 0 83135 0
Current children cumulated CPU time: 3092.13 s
Current children cumulated vsize: 338620 KiB
Current children cumulated memory: 315720 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.11 4.15 5/250 161242
/proc/meminfo: memFree=124341448/131382120 swapFree=33010416/33010684
[pid=160408] ppid=160405 vsize=339968 memory=317000 CPUtime=3151.92 cores=0,2
/proc/160408/stat : 160408 (Exact) R 160405 160408 158752 0 -1 4194304 69208 0 0 0 312535 2657 0 0 20 0 1 0 236321754 348127232 79250 18446744073709551615 4198400 9112445 140730225039840 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 40468480 140730225043750 140730225043947 140730225043947 140730225049551 0
/proc/160408/statm: 84992 79250 1280 1200 0 83472 0
Current children cumulated CPU time: 3151.92 s
Current children cumulated vsize: 339968 KiB
Current children cumulated memory: 317000 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.11 4.15 5/251 161245
/proc/meminfo: memFree=124333336/131382120 swapFree=33010416/33010684
[pid=160408] ppid=160405 vsize=340544 memory=317512 CPUtime=3211.72 cores=0,2
/proc/160408/stat : 160408 (Exact) R 160405 160408 158752 0 -1 4194304 69344 0 0 0 318465 2707 0 0 20 0 1 0 236321754 348717056 79378 18446744073709551615 4198400 9112445 140730225039840 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 40468480 140730225043750 140730225043947 140730225043947 140730225049551 0
/proc/160408/statm: 85136 79378 1280 1200 0 83616 0
Current children cumulated CPU time: 3211.72 s
Current children cumulated vsize: 340544 KiB
Current children cumulated memory: 317512 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.10 4.14 5/251 161247
/proc/meminfo: memFree=124299780/131382120 swapFree=33010416/33010684
[pid=160408] ppid=160405 vsize=342768 memory=319176 CPUtime=3271.53 cores=0,2
/proc/160408/stat : 160408 (Exact) R 160405 160408 158752 0 -1 4194304 69774 0 0 0 324398 2755 0 0 20 0 1 0 236321754 350994432 79794 18446744073709551615 4198400 9112445 140730225039840 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 40468480 140730225043750 140730225043947 140730225043947 140730225049551 0
/proc/160408/statm: 85692 79794 1280 1200 0 84172 0
Current children cumulated CPU time: 3271.53 s
Current children cumulated vsize: 342768 KiB
Current children cumulated memory: 319176 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.09 4.13 5/250 161249
/proc/meminfo: memFree=124327388/131382120 swapFree=33010416/33010684
[pid=160408] ppid=160405 vsize=344768 memory=320968 CPUtime=3331.32 cores=0,2
/proc/160408/stat : 160408 (Exact) R 160405 160408 158752 0 -1 4194304 70240 0 0 0 330331 2801 0 0 20 0 1 0 236321754 353042432 80242 18446744073709551615 4198400 9112445 140730225039840 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 40468480 140730225043750 140730225043947 140730225043947 140730225049551 0
/proc/160408/statm: 86192 80242 1280 1200 0 84672 0
Current children cumulated CPU time: 3331.32 s
Current children cumulated vsize: 344768 KiB
Current children cumulated memory: 320968 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.09 4.13 5/250 161251
/proc/meminfo: memFree=124310844/131382120 swapFree=33010416/33010684
[pid=160408] ppid=160405 vsize=344960 memory=321224 CPUtime=3391.12 cores=0,2
/proc/160408/stat : 160408 (Exact) R 160405 160408 158752 0 -1 4194304 70300 0 0 0 336256 2856 0 0 20 0 1 0 236321754 353239040 80306 18446744073709551615 4198400 9112445 140730225039840 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 40468480 140730225043750 140730225043947 140730225043947 140730225049551 0
/proc/160408/statm: 86240 80306 1280 1200 0 84720 0
Current children cumulated CPU time: 3391.12 s
Current children cumulated vsize: 344960 KiB
Current children cumulated memory: 321224 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.10 4.13 5/250 161253
/proc/meminfo: memFree=124309496/131382120 swapFree=33010416/33010684
[pid=160408] ppid=160405 vsize=346112 memory=322248 CPUtime=3450.92 cores=0,2
/proc/160408/stat : 160408 (Exact) R 160405 160408 158752 0 -1 4194304 70565 0 0 0 342183 2909 0 0 20 0 1 0 236321754 354418688 80562 18446744073709551615 4198400 9112445 140730225039840 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 40468480 140730225043750 140730225043947 140730225043947 140730225049551 0
/proc/160408/statm: 86528 80562 1280 1200 0 85008 0
Current children cumulated CPU time: 3450.92 s
Current children cumulated vsize: 346112 KiB
Current children cumulated memory: 322248 KiB
[startup+3522.3 s]
/proc/loadavg: 4.04 4.08 4.12 5/249 161256
/proc/meminfo: memFree=124301136/131382120 swapFree=33010416/33010684
[pid=160408] ppid=160405 vsize=346880 memory=322888 CPUtime=3510.73 cores=0,2
/proc/160408/stat : 160408 (Exact) R 160405 160408 158752 0 -1 4194304 70735 0 0 0 348111 2962 0 0 20 0 1 0 236321754 355205120 80722 18446744073709551615 4198400 9112445 140730225039840 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 40468480 140730225043750 140730225043947 140730225043947 140730225049551 0
/proc/160408/statm: 86720 80722 1280 1200 0 85200 0
Current children cumulated CPU time: 3510.73 s
Current children cumulated vsize: 346880 KiB
Current children cumulated memory: 322888 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.09 4.12 5/250 161265
/proc/meminfo: memFree=124297104/131382120 swapFree=33010416/33010684
[pid=160408] ppid=160405 vsize=347648 memory=323656 CPUtime=3570.54 cores=0,2
/proc/160408/stat : 160408 (Exact) R 160405 160408 158752 0 -1 4194304 71040 0 0 0 354040 3014 0 0 20 0 1 0 236321754 355991552 80914 18446744073709551615 4198400 9112445 140730225039840 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 40468480 140730225043750 140730225043947 140730225043947 140730225049551 0
/proc/160408/statm: 86912 80914 1280 1200 0 85392 0
Current children cumulated CPU time: 3570.54 s
Current children cumulated vsize: 347648 KiB
Current children cumulated memory: 323656 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.9 s]
/proc/loadavg: 4.07 4.08 4.11 5/250 161266
/proc/meminfo: memFree=124274864/131382120 swapFree=33010416/33010684
[pid=160408] ppid=160405 vsize=347840 memory=323912 CPUtime=3600.04 cores=0,2
/proc/160408/stat : 160408 (Exact) R 160405 160408 158752 0 -1 4194304 71088 0 0 0 356966 3038 0 0 20 0 1 0 236321754 356188160 80978 18446744073709551615 4198400 9112445 140730225039840 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 40468480 140730225043750 140730225043947 140730225043947 140730225049551 0
/proc/160408/statm: 86960 80978 1280 1200 0 85440 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 347840 KiB
Current children cumulated memory: 323912 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.91 s]
# the end of solver process 160408 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3569.67 s, system=30.3867 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.9 s]
/proc/loadavg: 4.07 4.08 4.11 5/250 161266
/proc/meminfo: memFree=124274864/131382120 swapFree=33010416/33010684
[pid=160408] ppid=160405 vsize=347840 memory=323912 CPUtime=3600.04 cores=0,2
/proc/160408/stat : 160408 (Exact) R 160405 160408 158752 0 -1 4194304 71088 0 0 0 356966 3038 0 0 20 0 1 0 236321754 356188160 80978 18446744073709551615 4198400 9112445 140730225039840 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 40468480 140730225043750 140730225043947 140730225043947 140730225049551 0
/proc/160408/statm: 86960 80978 1280 1200 0 85440 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 347840 KiB
Current children cumulated memory: 323912 KiB
Child status: 0
Real time (s): 3611.91
CPU time (s): 3600.06
CPU user time (s): 3569.67
CPU system time (s): 30.3867
CPU usage (%): 99.6719
Max. virtual memory (cumulated for all children) (KiB): 347840
Max. memory (cumulated for all children) (KiB): 323912
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3569.67
system time used= 30.3867
maximum resident set size= 323912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71089
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= 78
involuntary context switches= 8426
# summary of solver processes directly reported to runsolver:
# pid: 160408
# total CPU time (s): 3600.06
# total CPU user time (s): 3569.67
# total CPU system time (s): 30.3867
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.9647 second user time and 37.286 second system time
The end
Begin job on nodeC002 at 2025-07-22 19:47:09
IDJOB=4543264
IDBENCH=172509
IDSOLVER=3318
FILE ID=nodeC002/4543264-1753206429
RUNJOBID= nodeC002-1753198970-158771
SLURM_JOB_ID= 9687735
Free space on /tmp= 432176 MiB
SOLVER NAME= Exact_no_db_no_ls 2025-06-19
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/larger/domset_large_fixedcols/normalized-domset-hexgrid-fixedcols_07_140.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-4543264-1753206429/watcher-4543264-1753206429 -o /tmp/evaluation-result-4543264-1753206429/solver-4543264-1753206429 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1753198970-158771 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1134795999 --ls=0 --inp-dombreaklim=0 HOME/instance-4543264-1753206429.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 0942a69f21bd48da4c21a008e6f37b2a
RANDOM SEED=1134795999
nodeC002 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.220
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.184
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.425
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.914
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.915
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1198.093
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.997
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 114661956 kB
MemAvailable: 116066024 kB
Buffers: 2128 kB
Cached: 2156616 kB
SwapCached: 28 kB
Active: 14977868 kB
Inactive: 1047800 kB
Active(anon): 13886748 kB
Inactive(anon): 6300 kB
Active(file): 1091120 kB
Inactive(file): 1041500 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7432 kB
Writeback: 0 kB
AnonPages: 13864776 kB
Mapped: 124264 kB
Shmem: 26124 kB
KReclaimable: 222152 kB
Slab: 313412 kB
SReclaimable: 222152 kB
SUnreclaim: 91260 kB
KernelStack: 4048 kB
PageTables: 30288 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 14788428 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149400 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 8802304 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: 181064 kB
DirectMap2M: 8110080 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432252 MiB
End job on nodeC002 at 2025-07-22 20:47:22