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 (62204 MiB free)
memory of node 1: 64465 MiB (63328 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4541665-1753198971/watcher-4541665-1753198971 -o /tmp/evaluation-result-4541665-1753198971/solver-4541665-1753198971 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1753198970-158774 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=40992140 --ls=0 --inp-dombreaklim=0 HOME/instance-4541665-1753198971.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
solver pid=158830, runsolver pid=158823
Current StackSize limit: 8192 KiB
[startup+0.100072 s]*
/proc/loadavg: 0.10 0.09 0.09 6/255 158831
/proc/meminfo: memFree=128537960/131382120 swapFree=33010416/33010684
[pid=158830] ppid=158823 vsize=36000 memory=12636 CPUtime=0.1 cores=5,7
/proc/158830/stat : 158830 (Exact) R 158823 158830 158752 0 -1 4194304 2491 0 0 0 10 0 0 0 20 0 1 0 235576050 36864000 3159 18446744073709551615 4198400 9112445 140724113004128 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 10316848 10407236 20307968 140724113008936 140724113009131 140724113009131 140724113014735 0
/proc/158830/statm: 9000 3159 1024 1200 0 7480 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 36000 KiB
Current children cumulated memory: 12636 KiB
[startup+0.223005 s]*
/proc/loadavg: 0.10 0.09 0.09 5/255 158831
/proc/meminfo: memFree=128533676/131382120 swapFree=33010416/33010684
[pid=158830] ppid=158823 vsize=41380 memory=18852 CPUtime=0.2 cores=5,7
/proc/158830/stat : 158830 (Exact) R 158823 158830 158752 0 -1 4194304 4076 0 0 0 19 1 0 0 20 0 1 0 235576050 42373120 4713 18446744073709551615 4198400 9112445 140724113004128 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 10316848 10407236 20307968 140724113008936 140724113009131 140724113009131 140724113014735 0
/proc/158830/statm: 10345 4713 1280 1200 0 8825 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 41380 KiB
Current children cumulated memory: 18852 KiB
[startup+0.317236 s]*
/proc/loadavg: 0.10 0.09 0.09 5/255 158831
/proc/meminfo: memFree=128532668/131382120 swapFree=33010416/33010684
[pid=158830] ppid=158823 vsize=41516 memory=18980 CPUtime=0.28 cores=5,7
/proc/158830/stat : 158830 (Exact) R 158823 158830 158752 0 -1 4194304 4125 0 0 0 27 1 0 0 20 0 1 0 235576050 42512384 4745 18446744073709551615 4198400 9112445 140724113004128 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 10316848 10407236 20307968 140724113008936 140724113009131 140724113009131 140724113014735 0
/proc/158830/statm: 10379 4745 1280 1200 0 8859 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 41516 KiB
Current children cumulated memory: 18980 KiB
[startup+0.700213 s]
/proc/loadavg: 0.10 0.09 0.09 7/255 158831
/proc/meminfo: memFree=128532668/131382120 swapFree=33010416/33010684
[pid=158830] ppid=158823 vsize=42420 memory=19876 CPUtime=0.63 cores=5,7
/proc/158830/stat : 158830 (Exact) R 158823 158830 158752 0 -1 4194304 4354 0 0 0 61 2 0 0 20 0 1 0 235576050 43438080 4969 18446744073709551615 4198400 9112445 140724113004128 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 20307968 140724113008936 140724113009131 140724113009131 140724113014735 0
/proc/158830/statm: 10605 4969 1280 1200 0 9085 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 42420 KiB
Current children cumulated memory: 19876 KiB
[startup+1.50026 s]
/proc/loadavg: 0.41 0.15 0.11 6/255 158831
/proc/meminfo: memFree=128527564/131382120 swapFree=33010416/33010684
[pid=158830] ppid=158823 vsize=43380 memory=21668 CPUtime=1.42 cores=5,7
/proc/158830/stat : 158830 (Exact) R 158823 158830 158752 0 -1 4194304 4803 0 0 0 140 2 0 0 20 0 1 0 235576050 44421120 5417 18446744073709551615 4198400 9112445 140724113004128 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 20307968 140724113008936 140724113009131 140724113009131 140724113014735 0
/proc/158830/statm: 10845 5417 1280 1200 0 9325 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 43380 KiB
Current children cumulated memory: 21668 KiB
[startup+3.11237 s]
/proc/loadavg: 0.41 0.15 0.11 6/255 158831
/proc/meminfo: memFree=128516080/131382120 swapFree=33010416/33010684
[pid=158830] ppid=158823 vsize=46244 memory=26376 CPUtime=3.03 cores=5,7
/proc/158830/stat : 158830 (Exact) R 158823 158830 158752 0 -1 4194304 5484 0 0 0 301 2 0 0 20 0 1 0 235576050 47353856 6594 18446744073709551615 4198400 9112445 140724113004128 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 20307968 140724113008936 140724113009131 140724113009131 140724113014735 0
/proc/158830/statm: 11561 6594 1280 1200 0 10041 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 46244 KiB
Current children cumulated memory: 26376 KiB
[startup+6.30026 s]
/proc/loadavg: 0.70 0.22 0.13 6/255 158831
/proc/meminfo: memFree=128510344/131382120 swapFree=33010416/33010684
[pid=158830] ppid=158823 vsize=47644 memory=32288 CPUtime=6.21 cores=5,7
/proc/158830/stat : 158830 (Exact) R 158823 158830 158752 0 -1 4194304 5931 0 0 0 617 4 0 0 20 0 1 0 235576050 48787456 8072 18446744073709551615 4198400 9112445 140724113004128 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 20307968 140724113008936 140724113009131 140724113009131 140724113014735 0
/proc/158830/statm: 11911 8072 1280 1200 0 10391 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 47644 KiB
Current children cumulated memory: 32288 KiB
[startup+12.7003 s]
/proc/loadavg: 0.97 0.28 0.15 6/255 158831
/proc/meminfo: memFree=128498248/131382120 swapFree=33010416/33010684
[pid=158830] ppid=158823 vsize=53936 memory=40232 CPUtime=12.59 cores=5,7
/proc/158830/stat : 158830 (Exact) R 158823 158830 158752 0 -1 4194304 7422 0 0 0 1253 6 0 0 20 0 1 0 235576050 55230464 10058 18446744073709551615 4198400 9112445 140724113004128 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 20307968 140724113008936 140724113009131 140724113009131 140724113014735 0
/proc/158830/statm: 13484 10058 1280 1200 0 11964 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 53936 KiB
Current children cumulated memory: 40232 KiB
[startup+25.5003 s]
/proc/loadavg: 1.51 0.42 0.20 6/255 158831
/proc/meminfo: memFree=128478292/131382120 swapFree=33010416/33010684
[pid=158830] ppid=158823 vsize=55360 memory=41640 CPUtime=25.36 cores=5,7
/proc/158830/stat : 158830 (Exact) R 158823 158830 158752 0 -1 4194304 7764 0 0 0 2524 12 0 0 20 0 1 0 235576050 56688640 10410 18446744073709551615 4198400 9112445 140724113004128 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 20307968 140724113008936 140724113009131 140724113009131 140724113014735 0
/proc/158830/statm: 13840 10410 1280 1200 0 12320 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 55360 KiB
Current children cumulated memory: 41640 KiB
[startup+51.1124 s]
/proc/loadavg: 2.49 0.76 0.32 6/255 158831
/proc/meminfo: memFree=128413164/131382120 swapFree=33010416/33010684
[pid=158830] ppid=158823 vsize=59000 memory=49260 CPUtime=50.91 cores=5,7
/proc/158830/stat : 158830 (Exact) R 158823 158830 158752 0 -1 4194304 8651 0 0 0 5073 18 0 0 20 0 1 0 235576050 60416000 12315 18446744073709551615 4198400 9112445 140724113004128 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 20307968 140724113008936 140724113009131 140724113009131 140724113014735 0
/proc/158830/statm: 14750 12315 1280 1200 0 13230 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 59000 KiB
Current children cumulated memory: 49260 KiB
[startup+102.3 s]
/proc/loadavg: 3.43 1.28 0.52 6/255 158833
/proc/meminfo: memFree=128298552/131382120 swapFree=33010416/33010684
[pid=158830] ppid=158823 vsize=80220 memory=65776 CPUtime=101.95 cores=5,7
/proc/158830/stat : 158830 (Exact) R 158823 158830 158752 0 -1 4194304 11494 0 0 0 10163 32 0 0 20 0 1 0 235576050 82145280 16444 18446744073709551615 4198400 9112445 140724113004128 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 20307968 140724113008936 140724113009131 140724113009131 140724113014735 0
/proc/158830/statm: 20055 16444 1280 1200 0 18535 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 80220 KiB
Current children cumulated memory: 65776 KiB
[startup+162.3 s]
/proc/loadavg: 3.85 1.79 0.75 6/255 158835
/proc/meminfo: memFree=128233464/131382120 swapFree=33010416/33010684
[pid=158830] ppid=158823 vsize=121764 memory=99944 CPUtime=161.8 cores=5,7
/proc/158830/stat : 158830 (Exact) R 158823 158830 158752 0 -1 4194304 16361 0 0 0 16133 47 0 0 20 0 1 0 235576050 124686336 24986 18446744073709551615 4198400 9112445 140724113004128 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 20307968 140724113008936 140724113009131 140724113009131 140724113014735 0
/proc/158830/statm: 30441 24986 1280 1200 0 28921 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 121764 KiB
Current children cumulated memory: 99944 KiB
[startup+222.3 s]
/proc/loadavg: 4.00 2.21 0.96 6/253 158837
/proc/meminfo: memFree=128199128/131382120 swapFree=33010416/33010684
[pid=158830] ppid=158823 vsize=122264 memory=100584 CPUtime=221.64 cores=5,7
/proc/158830/stat : 158830 (Exact) R 158823 158830 158752 0 -1 4194304 16524 0 0 0 22097 67 0 0 20 0 1 0 235576050 125198336 25146 18446744073709551615 4198400 9112445 140724113004128 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 20307968 140724113008936 140724113009131 140724113009131 140724113014735 0
/proc/158830/statm: 30566 25146 1280 1200 0 29046 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 122264 KiB
Current children cumulated memory: 100584 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 2.57 1.16 6/252 158839
/proc/meminfo: memFree=128167192/131382120 swapFree=33010416/33010684
[pid=158830] ppid=158823 vsize=127752 memory=111092 CPUtime=281.45 cores=5,7
/proc/158830/stat : 158830 (Exact) R 158823 158830 158752 0 -1 4194304 17886 0 0 0 28065 80 0 0 20 0 1 0 235576050 130818048 27773 18446744073709551615 4198400 9112445 140724113004128 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 20307968 140724113008936 140724113009131 140724113009131 140724113014735 0
/proc/158830/statm: 31938 27773 1312 1200 0 30418 0
Current children cumulated CPU time: 281.45 s
Current children cumulated vsize: 127752 KiB
Current children cumulated memory: 111092 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 2.85 1.35 6/249 158841
/proc/meminfo: memFree=128172532/131382120 swapFree=33010416/33010684
[pid=158830] ppid=158823 vsize=132752 memory=115956 CPUtime=341.3 cores=5,7
/proc/158830/stat : 158830 (Exact) R 158823 158830 158752 0 -1 4194304 19127 0 0 0 34039 91 0 0 20 0 1 0 235576050 135938048 28989 18446744073709551615 4198400 9112445 140724113004128 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 20307968 140724113008936 140724113009131 140724113009131 140724113014735 0
/proc/158830/statm: 33188 28989 1312 1200 0 31668 0
Current children cumulated CPU time: 341.3 s
Current children cumulated vsize: 132752 KiB
Current children cumulated memory: 115956 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 3.08 1.52 6/250 158844
/proc/meminfo: memFree=128146248/131382120 swapFree=33010416/33010684
[pid=158830] ppid=158823 vsize=134064 memory=117236 CPUtime=401.14 cores=5,7
/proc/158830/stat : 158830 (Exact) R 158823 158830 158752 0 -1 4194304 19477 0 0 0 40012 102 0 0 20 0 1 0 235576050 137281536 29309 18446744073709551615 4198400 9112445 140724113004128 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 20307968 140724113008936 140724113009131 140724113009131 140724113014735 0
/proc/158830/statm: 33516 29309 1312 1200 0 31996 0
Current children cumulated CPU time: 401.14 s
Current children cumulated vsize: 134064 KiB
Current children cumulated memory: 117236 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 3.28 1.69 6/250 158846
/proc/meminfo: memFree=128172092/131382120 swapFree=33010416/33010684
[pid=158830] ppid=158823 vsize=135672 memory=119028 CPUtime=460.99 cores=5,7
/proc/158830/stat : 158830 (Exact) R 158823 158830 158752 0 -1 4194304 19901 0 0 0 45984 115 0 0 20 0 1 0 235576050 138928128 29757 18446744073709551615 4198400 9112445 140724113004128 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 20307968 140724113008936 140724113009131 140724113009131 140724113014735 0
/proc/158830/statm: 33918 29757 1312 1200 0 32398 0
################
# More data... #
################
Current children cumulated memory: 515340 KiB
[startup+2922.3 s]
/proc/loadavg: 4.06 4.10 4.01 6/250 158969
/proc/meminfo: memFree=127273104/131382120 swapFree=33010416/33010684
[pid=158830] ppid=158823 vsize=632864 memory=528140 CPUtime=2914.18 cores=5,7
/proc/158830/stat : 158830 (Exact) R 158823 158830 158752 0 -1 4194304 78055 0 0 0 290910 508 0 0 20 0 1 0 235576050 648052736 132035 18446744073709551615 4198400 9112445 140724113004128 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 20307968 140724113008936 140724113009131 140724113009131 140724113014735 0
/proc/158830/statm: 158216 132035 1312 1200 0 156696 0
Current children cumulated CPU time: 2914.18 s
Current children cumulated vsize: 632864 KiB
Current children cumulated memory: 528140 KiB
[startup+2982.3 s]
/proc/loadavg: 4.06 4.10 4.01 6/250 158971
/proc/meminfo: memFree=127267704/131382120 swapFree=33010416/33010684
[pid=158830] ppid=158823 vsize=632864 memory=528140 CPUtime=2974.03 cores=5,7
/proc/158830/stat : 158830 (Exact) R 158823 158830 158752 0 -1 4194304 78055 0 0 0 296880 523 0 0 20 0 1 0 235576050 648052736 132035 18446744073709551615 4198400 9112445 140724113004128 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 20307968 140724113008936 140724113009131 140724113009131 140724113014735 0
/proc/158830/statm: 158216 132035 1312 1200 0 156696 0
Current children cumulated CPU time: 2974.03 s
Current children cumulated vsize: 632864 KiB
Current children cumulated memory: 528140 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.11 4.02 6/251 158980
/proc/meminfo: memFree=127260672/131382120 swapFree=33010416/33010684
[pid=158830] ppid=158823 vsize=633016 memory=528268 CPUtime=3033.87 cores=5,7
/proc/158830/stat : 158830 (Exact) R 158823 158830 158752 0 -1 4194304 78221 0 0 0 302844 543 0 0 20 0 1 0 235576050 648208384 132067 18446744073709551615 4198400 9112445 140724113004128 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 20307968 140724113008936 140724113009131 140724113009131 140724113014735 0
/proc/158830/statm: 158254 132067 1312 1200 0 156734 0
Current children cumulated CPU time: 3033.87 s
Current children cumulated vsize: 633016 KiB
Current children cumulated memory: 528268 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.10 4.02 6/251 158982
/proc/meminfo: memFree=127262040/131382120 swapFree=33010416/33010684
[pid=158830] ppid=158823 vsize=633016 memory=528268 CPUtime=3093.72 cores=5,7
/proc/158830/stat : 158830 (Exact) R 158823 158830 158752 0 -1 4194304 78268 0 0 0 308814 558 0 0 20 0 1 0 235576050 648208384 132067 18446744073709551615 4198400 9112445 140724113004128 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 20307968 140724113008936 140724113009131 140724113009131 140724113014735 0
/proc/158830/statm: 158254 132067 1312 1200 0 156734 0
Current children cumulated CPU time: 3093.72 s
Current children cumulated vsize: 633016 KiB
Current children cumulated memory: 528268 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.10 4.02 6/251 158984
/proc/meminfo: memFree=127264616/131382120 swapFree=33010416/33010684
[pid=158830] ppid=158823 vsize=633016 memory=528268 CPUtime=3153.56 cores=5,7
/proc/158830/stat : 158830 (Exact) R 158823 158830 158752 0 -1 4194304 78398 0 0 0 314782 574 0 0 20 0 1 0 235576050 648208384 132067 18446744073709551615 4198400 9112445 140724113004128 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 20307968 140724113008936 140724113009131 140724113009131 140724113014735 0
/proc/158830/statm: 158254 132067 1312 1200 0 156734 0
Current children cumulated CPU time: 3153.56 s
Current children cumulated vsize: 633016 KiB
Current children cumulated memory: 528268 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.09 4.02 6/250 158986
/proc/meminfo: memFree=127263412/131382120 swapFree=33010416/33010684
[pid=158830] ppid=158823 vsize=633016 memory=528268 CPUtime=3213.4 cores=5,7
/proc/158830/stat : 158830 (Exact) R 158823 158830 158752 0 -1 4194304 78451 0 0 0 320756 584 0 0 20 0 1 0 235576050 648208384 132067 18446744073709551615 4198400 9112445 140724113004128 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 20307968 140724113008936 140724113009131 140724113009131 140724113014735 0
/proc/158830/statm: 158254 132067 1312 1200 0 156734 0
Current children cumulated CPU time: 3213.4 s
Current children cumulated vsize: 633016 KiB
Current children cumulated memory: 528268 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.10 4.02 6/250 158988
/proc/meminfo: memFree=127286740/131382120 swapFree=33010416/33010684
[pid=158830] ppid=158823 vsize=633016 memory=528268 CPUtime=3273.25 cores=5,7
/proc/158830/stat : 158830 (Exact) R 158823 158830 158752 0 -1 4194304 78586 0 0 0 326733 592 0 0 20 0 1 0 235576050 648208384 132067 18446744073709551615 4198400 9112445 140724113004128 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 20307968 140724113008936 140724113009131 140724113009131 140724113014735 0
/proc/158830/statm: 158254 132067 1312 1200 0 156734 0
Current children cumulated CPU time: 3273.25 s
Current children cumulated vsize: 633016 KiB
Current children cumulated memory: 528268 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.10 4.02 6/249 158990
/proc/meminfo: memFree=127287360/131382120 swapFree=33010416/33010684
[pid=158830] ppid=158823 vsize=633016 memory=528268 CPUtime=3333.08 cores=5,7
/proc/158830/stat : 158830 (Exact) R 158823 158830 158752 0 -1 4194304 78653 0 0 0 332709 599 0 0 20 0 1 0 235576050 648208384 132067 18446744073709551615 4198400 9112445 140724113004128 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 20307968 140724113008936 140724113009131 140724113009131 140724113014735 0
/proc/158830/statm: 158254 132067 1312 1200 0 156734 0
Current children cumulated CPU time: 3333.08 s
Current children cumulated vsize: 633016 KiB
Current children cumulated memory: 528268 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.09 4.02 6/249 158992
/proc/meminfo: memFree=127272412/131382120 swapFree=33010416/33010684
[pid=158830] ppid=158823 vsize=633016 memory=528268 CPUtime=3392.93 cores=5,7
/proc/158830/stat : 158830 (Exact) R 158823 158830 158752 0 -1 4194304 78784 0 0 0 338685 608 0 0 20 0 1 0 235576050 648208384 132067 18446744073709551615 4198400 9112445 140724113004128 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 20307968 140724113008936 140724113009131 140724113009131 140724113014735 0
/proc/158830/statm: 158254 132067 1312 1200 0 156734 0
Current children cumulated CPU time: 3392.93 s
Current children cumulated vsize: 633016 KiB
Current children cumulated memory: 528268 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.10 4.03 6/249 158994
/proc/meminfo: memFree=127268932/131382120 swapFree=33010416/33010684
[pid=158830] ppid=158823 vsize=633016 memory=528268 CPUtime=3452.74 cores=5,7
/proc/158830/stat : 158830 (Exact) R 158823 158830 158752 0 -1 4194304 78851 0 0 0 344658 616 0 0 20 0 1 0 235576050 648208384 132067 18446744073709551615 4198400 9112445 140724113004128 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 20307968 140724113008936 140724113009131 140724113009131 140724113014735 0
/proc/158830/statm: 158254 132067 1312 1200 0 156734 0
Current children cumulated CPU time: 3452.74 s
Current children cumulated vsize: 633016 KiB
Current children cumulated memory: 528268 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.10 4.03 6/249 158996
/proc/meminfo: memFree=127260780/131382120 swapFree=33010416/33010684
[pid=158830] ppid=158823 vsize=633016 memory=528268 CPUtime=3512.54 cores=5,7
/proc/158830/stat : 158830 (Exact) R 158823 158830 158752 0 -1 4194304 78859 0 0 0 350627 627 0 0 20 0 1 0 235576050 648208384 132067 18446744073709551615 4198400 9112445 140724113004128 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 20307968 140724113008936 140724113009131 140724113009131 140724113014735 0
/proc/158830/statm: 158254 132067 1312 1200 0 156734 0
Current children cumulated CPU time: 3512.54 s
Current children cumulated vsize: 633016 KiB
Current children cumulated memory: 528268 KiB
[startup+3582.3 s]
/proc/loadavg: 4.04 4.08 4.02 6/249 158998
/proc/meminfo: memFree=127249076/131382120 swapFree=33010416/33010684
[pid=158830] ppid=158823 vsize=633016 memory=528268 CPUtime=3572.35 cores=5,7
/proc/158830/stat : 158830 (Exact) R 158823 158830 158752 0 -1 4194304 79032 0 0 0 356593 642 0 0 20 0 1 0 235576050 648208384 132067 18446744073709551615 4198400 9112445 140724113004128 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 20307968 140724113008936 140724113009131 140724113009131 140724113014735 0
/proc/158830/statm: 158254 132067 1312 1200 0 156734 0
Current children cumulated CPU time: 3572.35 s
Current children cumulated vsize: 633016 KiB
Current children cumulated memory: 528268 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.11 s]
/proc/loadavg: 4.08 4.09 4.02 4/242 159022
/proc/meminfo: memFree=127754480/131382120 swapFree=33010416/33010684
[pid=158830] ppid=158823 vsize=633016 memory=528268 CPUtime=3600.08 cores=5,7
/proc/158830/stat : 158830 (Exact) R 158823 158830 158752 0 -1 4194304 79032 0 0 0 359357 651 0 0 20 0 1 0 235576050 648208384 132067 18446744073709551615 4198400 9112445 140724113004128 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 20307968 140724113008936 140724113009131 140724113009131 140724113014735 0
/proc/158830/statm: 158254 132067 1312 1200 0 156734 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 633016 KiB
Current children cumulated memory: 528268 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.12 s]
# the end of solver process 158830 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3593.58 s, system=6.51564 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.11 s]
/proc/loadavg: 4.08 4.09 4.02 4/242 159022
/proc/meminfo: memFree=127754480/131382120 swapFree=33010416/33010684
[pid=158830] ppid=158823 vsize=633016 memory=528268 CPUtime=3600.08 cores=5,7
/proc/158830/stat : 158830 (Exact) R 158823 158830 158752 0 -1 4194304 79032 0 0 0 359357 651 0 0 20 0 1 0 235576050 648208384 132067 18446744073709551615 4198400 9112445 140724113004128 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 20307968 140724113008936 140724113009131 140724113009131 140724113014735 0
/proc/158830/statm: 158254 132067 1312 1200 0 156734 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 633016 KiB
Current children cumulated memory: 528268 KiB
Child status: 0
Real time (s): 3610.12
CPU time (s): 3600.09
CPU user time (s): 3593.58
CPU system time (s): 6.51564
CPU usage (%): 99.7223
Max. virtual memory (cumulated for all children) (KiB): 715412
Max. memory (cumulated for all children) (KiB): 528268
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.58
system time used= 6.51563
maximum resident set size= 564404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79033
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= 144
involuntary context switches= 2954
# summary of solver processes directly reported to runsolver:
# pid: 158830
# total CPU time (s): 3600.09
# total CPU user time (s): 3593.58
# total CPU system time (s): 6.51564
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.4417 second user time and 33.9082 second system time
The end
Begin job on nodeC002 at 2025-07-22 17:42:52
IDJOB=4541665
IDBENCH=163331
IDSOLVER=3318
FILE ID=nodeC002/4541665-1753198971
RUNJOBID= nodeC002-1753198970-158774
SLURM_JOB_ID= 9687735
Free space on /tmp= 432308 MiB
SOLVER NAME= Exact_no_db_no_ls 2025-06-19
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/equalities/array_diag/normalized-26array_diag_greater.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-4541665-1753198971/watcher-4541665-1753198971 -o /tmp/evaluation-result-4541665-1753198971/solver-4541665-1753198971 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1753198970-158774 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=40992140 --ls=0 --inp-dombreaklim=0 HOME/instance-4541665-1753198971.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= dba81c8b2aded5f1a3d2b088b53137dc
RANDOM SEED=40992140
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.230
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 : 1197.159
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.290
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 : 1197.576
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 : 1197.298
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 : 1197.227
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 : 1197.705
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.406
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: 128562624 kB
MemAvailable: 129825672 kB
Buffers: 2128 kB
Cached: 2015744 kB
SwapCached: 28 kB
Active: 1188584 kB
Inactive: 906940 kB
Active(anon): 97476 kB
Inactive(anon): 6300 kB
Active(file): 1091108 kB
Inactive(file): 900640 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 30328 kB
Writeback: 4 kB
AnonPages: 80768 kB
Mapped: 112992 kB
Shmem: 26124 kB
KReclaimable: 221852 kB
Slab: 312892 kB
SReclaimable: 221852 kB
SUnreclaim: 91040 kB
KernelStack: 3968 kB
PageTables: 2996 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 402076 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149368 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 8192 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= 432296 MiB
End job on nodeC002 at 2025-07-22 18:43:03