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 (61757 MiB free)
memory of node 1: 64465 MiB (61730 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4509580-1751523244/watcher-4509580-1751523244 -o /tmp/evaluation-result-4509580-1751523244/solver-4509580-1751523244 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751523241-73981 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=624728329 --ls=0 --inp-dombreaklim=0 HOME/instance-4509580-1751523244.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=74082, runsolver pid=74079
[startup+0.100069 s]*
/proc/loadavg: 2.89 3.83 4.04 5/250 74083
/proc/meminfo: memFree=126439248/131382116 swapFree=33009904/33010684
[pid=74082] ppid=74079 vsize=49144 memory=25452 CPUtime=0.1 cores=1,3
/proc/74082/stat : 74082 (Exact) R 74079 74082 73969 0 -1 4194304 5940 0 0 0 8 2 0 0 20 0 1 0 68003860 50323456 6363 18446744073709551615 4198400 9112445 140727969048272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 35643392 140727969057065 140727969057261 140727969057261 140727969062863 0
/proc/74082/statm: 12286 6363 1024 1200 0 10766 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 49144 KiB
Current children cumulated memory: 25452 KiB
[startup+0.213134 s]*
/proc/loadavg: 2.89 3.83 4.04 5/250 74083
/proc/meminfo: memFree=126439272/131382116 swapFree=33009904/33010684
[pid=74082] ppid=74079 vsize=57244 memory=34260 CPUtime=0.21 cores=1,3
/proc/74082/stat : 74082 (Exact) R 74079 74082 73969 0 -1 4194304 8345 0 0 0 19 2 0 0 20 0 1 0 68003860 58617856 8565 18446744073709551615 4198400 9112445 140727969048272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 35643392 140727969057065 140727969057261 140727969057261 140727969062863 0
/proc/74082/statm: 14311 8565 1184 1200 0 12791 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 57244 KiB
Current children cumulated memory: 34260 KiB
[startup+0.31314 s]*
/proc/loadavg: 2.89 3.83 4.04 5/250 74083
/proc/meminfo: memFree=126430784/131382116 swapFree=33009904/33010684
[pid=74082] ppid=74079 vsize=60432 memory=37332 CPUtime=0.31 cores=1,3
/proc/74082/stat : 74082 (Exact) R 74079 74082 73969 0 -1 4194304 9123 0 0 0 28 3 0 0 20 0 1 0 68003860 61882368 9333 18446744073709551615 4198400 9112445 140727969048272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 35643392 140727969057065 140727969057261 140727969057261 140727969062863 0
/proc/74082/statm: 15108 9333 1184 1200 0 13588 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 60432 KiB
Current children cumulated memory: 37332 KiB
[startup+0.700312 s]
/proc/loadavg: 2.89 3.83 4.04 5/250 74083
/proc/meminfo: memFree=126427760/131382116 swapFree=33009904/33010684
[pid=74082] ppid=74079 vsize=61500 memory=38868 CPUtime=0.69 cores=1,3
/proc/74082/stat : 74082 (Exact) R 74079 74082 73969 0 -1 4194304 9468 0 0 0 65 4 0 0 20 0 1 0 68003860 62976000 9717 18446744073709551615 4198400 9112445 140727969048272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 35643392 140727969057065 140727969057261 140727969057261 140727969062863 0
/proc/74082/statm: 15375 9717 1216 1200 0 13855 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 61500 KiB
Current children cumulated memory: 38868 KiB
[startup+1.5003 s]
/proc/loadavg: 2.89 3.83 4.04 5/250 74084
/proc/meminfo: memFree=126371368/131382116 swapFree=33009904/33010684
[pid=74082] ppid=74079 vsize=70876 memory=55304 CPUtime=1.48 cores=1,3
/proc/74082/stat : 74082 (Exact) R 74079 74082 73969 0 -1 4194304 12067 0 0 0 144 4 0 0 20 0 1 0 68003860 72577024 13826 18446744073709551615 4198400 9112445 140727969048272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 35643392 140727969057065 140727969057261 140727969057261 140727969062863 0
/proc/74082/statm: 17719 13826 1216 1200 0 16199 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 70876 KiB
Current children cumulated memory: 55304 KiB
[startup+3.11276 s]
/proc/loadavg: 2.98 3.83 4.04 5/251 74085
/proc/meminfo: memFree=126218052/131382116 swapFree=33009904/33010684
[pid=74082] ppid=74079 vsize=98512 memory=83608 CPUtime=3.09 cores=1,3
/proc/74082/stat : 74082 (Exact) R 74079 74082 73969 0 -1 4194304 16258 0 0 0 303 6 0 0 20 0 1 0 68003860 100876288 20902 18446744073709551615 4198400 9112445 140727969048272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 35643392 140727969057065 140727969057261 140727969057261 140727969062863 0
/proc/74082/statm: 24628 20902 1248 1200 0 23108 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 98512 KiB
Current children cumulated memory: 83608 KiB
[startup+6.30029 s]
/proc/loadavg: 2.98 3.83 4.04 5/251 74085
/proc/meminfo: memFree=125965560/131382116 swapFree=33009904/33010684
[pid=74082] ppid=74079 vsize=163688 memory=147192 CPUtime=6.27 cores=1,3
/proc/74082/stat : 74082 (Exact) R 74079 74082 73969 0 -1 4194304 26959 0 0 0 617 10 0 0 20 0 1 0 68003860 167616512 36798 18446744073709551615 4198400 9112445 140727969048272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 35643392 140727969057065 140727969057261 140727969057261 140727969062863 0
/proc/74082/statm: 40922 36798 1248 1200 0 39402 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 163688 KiB
Current children cumulated memory: 147192 KiB
[startup+12.7003 s]
/proc/loadavg: 3.06 3.84 4.04 5/251 74085
/proc/meminfo: memFree=125603720/131382116 swapFree=33009904/33010684
[pid=74082] ppid=74079 vsize=248740 memory=232556 CPUtime=12.64 cores=1,3
/proc/74082/stat : 74082 (Exact) R 74079 74082 73969 0 -1 4194304 37518 0 0 0 1250 14 0 0 20 0 1 0 68003860 254709760 58139 18446744073709551615 4198400 9112445 140727969048272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 35643392 140727969057065 140727969057261 140727969057261 140727969062863 0
/proc/74082/statm: 62185 58139 1248 1200 0 60665 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 248740 KiB
Current children cumulated memory: 232556 KiB
[startup+25.5003 s]
/proc/loadavg: 3.34 3.86 4.05 5/251 74085
/proc/meminfo: memFree=125176832/131382116 swapFree=33009904/33010684
[pid=74082] ppid=74079 vsize=431236 memory=358656 CPUtime=25.4 cores=1,3
/proc/74082/stat : 74082 (Exact) R 74079 74082 73969 0 -1 4194304 62000 0 0 0 2517 23 0 0 20 0 1 0 68003860 441585664 89664 18446744073709551615 4198400 9112445 140727969048272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 35643392 140727969057065 140727969057261 140727969057261 140727969062863 0
/proc/74082/statm: 107809 89664 1248 1200 0 106289 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 431236 KiB
Current children cumulated memory: 358656 KiB
[startup+51.1129 s]
/proc/loadavg: 3.57 3.87 4.05 5/251 74085
/proc/meminfo: memFree=124799104/131382116 swapFree=33009904/33010684
[pid=74082] ppid=74079 vsize=619880 memory=483128 CPUtime=50.94 cores=1,3
/proc/74082/stat : 74082 (Exact) R 74079 74082 73969 0 -1 4194304 76468 0 0 0 5059 35 0 0 20 0 1 0 68003860 634757120 120782 18446744073709551615 4198400 9112445 140727969048272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 35643392 140727969057065 140727969057261 140727969057261 140727969062863 0
/proc/74082/statm: 154970 120782 1248 1200 0 153450 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 619880 KiB
Current children cumulated memory: 483128 KiB
[startup+102.3 s]
/proc/loadavg: 3.86 3.91 4.05 5/252 74092
/proc/meminfo: memFree=124385740/131382116 swapFree=33009904/33010684
[pid=74082] ppid=74079 vsize=709212 memory=583720 CPUtime=101.96 cores=1,3
/proc/74082/stat : 74082 (Exact) R 74079 74082 73969 0 -1 4194304 96229 0 0 0 10150 46 0 0 20 0 1 0 68003860 726233088 145930 18446744073709551615 4198400 9112445 140727969048272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 35643392 140727969057065 140727969057261 140727969057261 140727969062863 0
/proc/74082/statm: 177303 145930 1248 1200 0 175783 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 709212 KiB
Current children cumulated memory: 583720 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 3.96 4.05 5/252 74094
/proc/meminfo: memFree=124084696/131382116 swapFree=33009904/33010684
[pid=74082] ppid=74079 vsize=821540 memory=709360 CPUtime=161.77 cores=1,3
/proc/74082/stat : 74082 (Exact) R 74079 74082 73969 0 -1 4194304 119009 0 0 0 16116 61 0 0 20 0 1 0 68003860 841256960 177340 18446744073709551615 4198400 9112445 140727969048272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 35643392 140727969057065 140727969057261 140727969057261 140727969062863 0
/proc/74082/statm: 205385 177340 1248 1200 0 203865 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 821540 KiB
Current children cumulated memory: 709360 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 3.99 4.05 5/253 74097
/proc/meminfo: memFree=123837112/131382116 swapFree=33009904/33010684
[pid=74082] ppid=74079 vsize=886888 memory=785636 CPUtime=221.58 cores=1,3
/proc/74082/stat : 74082 (Exact) R 74079 74082 73969 0 -1 4194304 134154 0 0 0 22085 73 0 0 20 0 1 0 68003860 908173312 196409 18446744073709551615 4198400 9112445 140727969048272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 35643392 140727969057065 140727969057261 140727969057261 140727969062863 0
/proc/74082/statm: 221722 196409 1248 1200 0 220202 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 886888 KiB
Current children cumulated memory: 785636 KiB
[startup+282.3 s]
/proc/loadavg: 4.21 4.04 4.06 5/253 74099
/proc/meminfo: memFree=123671372/131382116 swapFree=33009904/33010684
[pid=74082] ppid=74079 vsize=973100 memory=860716 CPUtime=281.38 cores=1,3
/proc/74082/stat : 74082 (Exact) R 74079 74082 73969 0 -1 4194304 151882 0 0 0 28054 84 0 0 20 0 1 0 68003860 996454400 215179 18446744073709551615 4198400 9112445 140727969048272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 35643392 140727969057065 140727969057261 140727969057261 140727969062863 0
/proc/74082/statm: 243275 215179 1248 1200 0 241755 0
Current children cumulated CPU time: 281.38 s
Current children cumulated vsize: 973100 KiB
Current children cumulated memory: 860716 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.03 4.06 5/253 74102
/proc/meminfo: memFree=123563436/131382116 swapFree=33009904/33010684
[pid=74082] ppid=74079 vsize=1008272 memory=901924 CPUtime=341.16 cores=1,3
/proc/74082/stat : 74082 (Exact) R 74079 74082 73969 0 -1 4194304 158753 0 0 0 34025 91 0 0 20 0 1 0 68003860 1032470528 225481 18446744073709551615 4198400 9112445 140727969048272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 35643392 140727969057065 140727969057261 140727969057261 140727969062863 0
/proc/74082/statm: 252068 225481 1248 1200 0 250548 0
Current children cumulated CPU time: 341.16 s
Current children cumulated vsize: 1008272 KiB
Current children cumulated memory: 901924 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 4.03 4.06 5/251 74104
/proc/meminfo: memFree=123379472/131382116 swapFree=33009904/33010684
[pid=74082] ppid=74079 vsize=1232256 memory=939056 CPUtime=400.92 cores=1,3
/proc/74082/stat : 74082 (Exact) R 74079 74082 73969 0 -1 4194304 162284 0 0 0 39986 106 0 0 20 0 1 0 68003860 1261830144 234764 18446744073709551615 4198400 9112445 140727969048272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 35643392 140727969057065 140727969057261 140727969057261 140727969062863 0
/proc/74082/statm: 308064 234764 1248 1200 0 306544 0
Current children cumulated CPU time: 400.92 s
Current children cumulated vsize: 1232256 KiB
Current children cumulated memory: 939056 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.06 4.06 5/251 74106
/proc/meminfo: memFree=123190656/131382116 swapFree=33009904/33010684
[pid=74082] ppid=74079 vsize=1327952 memory=1017008 CPUtime=460.67 cores=1,3
/proc/74082/stat : 74082 (Exact) R 74079 74082 73969 0 -1 4194304 181880 0 0 0 45949 118 0 0 20 0 1 0 68003860 1359822848 254252 18446744073709551615 4198400 9112445 140727969048272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 35643392 140727969057065 140727969057261 140727969057261 140727969062863 0
/proc/74082/statm: 331988 254252 1280 1200 0 330468 0
################
# More data... #
################
Current children cumulated memory: 1723028 KiB
[startup+2862.3 s]
/proc/loadavg: 4.46 4.28 4.20 5/252 74230
/proc/meminfo: memFree=120947636/131382116 swapFree=33009904/33010684
[pid=74082] ppid=74079 vsize=1763840 memory=1729812 CPUtime=2852.09 cores=1,3
/proc/74082/stat : 74082 (Exact) R 74079 74082 73969 0 -1 4194304 292076 0 0 0 284816 393 0 0 20 0 1 0 68003860 1806172160 432453 18446744073709551615 4198400 9112445 140727969048272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 35643392 140727969057065 140727969057261 140727969057261 140727969062863 0
/proc/74082/statm: 440960 432453 1280 1200 0 439440 0
Current children cumulated CPU time: 2852.09 s
Current children cumulated vsize: 1763840 KiB
Current children cumulated memory: 1729812 KiB
[startup+2922.3 s]
/proc/loadavg: 4.23 4.24 4.19 5/252 74232
/proc/meminfo: memFree=120903432/131382116 swapFree=33009904/33010684
[pid=74082] ppid=74079 vsize=1791476 memory=1745940 CPUtime=2911.9 cores=1,3
/proc/74082/stat : 74082 (Exact) R 74079 74082 73969 0 -1 4194304 296629 0 0 0 290784 406 0 0 20 0 1 0 68003860 1834471424 436485 18446744073709551615 4198400 9112445 140727969048272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 35643392 140727969057065 140727969057261 140727969057261 140727969062863 0
/proc/74082/statm: 447869 436485 1280 1200 0 446349 0
Current children cumulated CPU time: 2911.9 s
Current children cumulated vsize: 1791476 KiB
Current children cumulated memory: 1745940 KiB
[startup+2982.3 s]
/proc/loadavg: 4.08 4.20 4.17 5/253 74236
/proc/meminfo: memFree=120884244/131382116 swapFree=33009904/33010684
[pid=74082] ppid=74079 vsize=1791476 memory=1745940 CPUtime=2971.71 cores=1,3
/proc/74082/stat : 74082 (Exact) R 74079 74082 73969 0 -1 4194304 297114 0 0 0 296754 417 0 0 20 0 1 0 68003860 1834471424 436485 18446744073709551615 4198400 9112445 140727969048272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 35643392 140727969057065 140727969057261 140727969057261 140727969062863 0
/proc/74082/statm: 447869 436485 1280 1200 0 446349 0
Current children cumulated CPU time: 2971.71 s
Current children cumulated vsize: 1791476 KiB
Current children cumulated memory: 1745940 KiB
[startup+3042.3 s]
/proc/loadavg: 4.13 4.19 4.17 5/253 74240
/proc/meminfo: memFree=120827320/131382116 swapFree=33009904/33010684
[pid=74082] ppid=74079 vsize=1791668 memory=1746068 CPUtime=3031.53 cores=1,3
/proc/74082/stat : 74082 (Exact) R 74079 74082 73969 0 -1 4194304 297750 0 0 0 302727 426 0 0 20 0 1 0 68003860 1834668032 436517 18446744073709551615 4198400 9112445 140727969048272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 35643392 140727969057065 140727969057261 140727969057261 140727969062863 0
/proc/74082/statm: 447917 436517 1280 1200 0 446397 0
Current children cumulated CPU time: 3031.53 s
Current children cumulated vsize: 1791668 KiB
Current children cumulated memory: 1746068 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.17 4.17 5/253 74247
/proc/meminfo: memFree=120824908/131382116 swapFree=33009904/33010684
[pid=74082] ppid=74079 vsize=1792052 memory=1746452 CPUtime=3091.35 cores=1,3
/proc/74082/stat : 74082 (Exact) R 74079 74082 73969 0 -1 4194304 298511 0 0 0 308701 434 0 0 20 0 1 0 68003860 1835061248 436613 18446744073709551615 4198400 9112445 140727969048272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 35643392 140727969057065 140727969057261 140727969057261 140727969062863 0
/proc/74082/statm: 448013 436613 1280 1200 0 446493 0
Current children cumulated CPU time: 3091.35 s
Current children cumulated vsize: 1792052 KiB
Current children cumulated memory: 1746452 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.17 4.17 5/253 74249
/proc/meminfo: memFree=120817764/131382116 swapFree=33009904/33010684
[pid=74082] ppid=74079 vsize=1792188 memory=1746580 CPUtime=3151.16 cores=1,3
/proc/74082/stat : 74082 (Exact) R 74079 74082 73969 0 -1 4194304 299192 0 0 0 314677 439 0 0 20 0 1 0 68003860 1835200512 436645 18446744073709551615 4198400 9112445 140727969048272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 35643392 140727969057065 140727969057261 140727969057261 140727969062863 0
/proc/74082/statm: 448047 436645 1280 1200 0 446527 0
Current children cumulated CPU time: 3151.16 s
Current children cumulated vsize: 1792188 KiB
Current children cumulated memory: 1746580 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.15 4.16 5/252 74251
/proc/meminfo: memFree=120774044/131382116 swapFree=33009904/33010684
[pid=74082] ppid=74079 vsize=1792356 memory=1746708 CPUtime=3210.98 cores=1,3
/proc/74082/stat : 74082 (Exact) R 74079 74082 73969 0 -1 4194304 299600 0 0 0 320656 442 0 0 20 0 1 0 68003860 1835372544 436677 18446744073709551615 4198400 9112445 140727969048272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 35643392 140727969057065 140727969057261 140727969057261 140727969062863 0
/proc/74082/statm: 448089 436677 1280 1200 0 446569 0
Current children cumulated CPU time: 3210.98 s
Current children cumulated vsize: 1792356 KiB
Current children cumulated memory: 1746708 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.13 4.16 5/250 74253
/proc/meminfo: memFree=120747292/131382116 swapFree=33009904/33010684
[pid=74082] ppid=74079 vsize=1794564 memory=1748116 CPUtime=3270.8 cores=1,3
/proc/74082/stat : 74082 (Exact) R 74079 74082 73969 0 -1 4194304 300451 0 0 0 326637 443 0 0 20 0 1 0 68003860 1837633536 437029 18446744073709551615 4198400 9112445 140727969048272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 35643392 140727969057065 140727969057261 140727969057261 140727969062863 0
/proc/74082/statm: 448641 437029 1280 1200 0 447121 0
Current children cumulated CPU time: 3270.8 s
Current children cumulated vsize: 1794564 KiB
Current children cumulated memory: 1748116 KiB
[startup+3342.3 s]
/proc/loadavg: 4.19 4.16 4.16 5/250 74255
/proc/meminfo: memFree=120705364/131382116 swapFree=33009904/33010684
[pid=74082] ppid=74079 vsize=1796104 memory=1749396 CPUtime=3330.62 cores=1,3
/proc/74082/stat : 74082 (Exact) R 74079 74082 73969 0 -1 4194304 301465 0 0 0 332615 447 0 0 20 0 1 0 68003860 1839210496 437349 18446744073709551615 4198400 9112445 140727969048272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 35643392 140727969057065 140727969057261 140727969057261 140727969062863 0
/proc/74082/statm: 449026 437349 1280 1200 0 447506 0
Current children cumulated CPU time: 3330.62 s
Current children cumulated vsize: 1796104 KiB
Current children cumulated memory: 1749396 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.12 4.15 5/250 74258
/proc/meminfo: memFree=120706648/131382116 swapFree=33009904/33010684
[pid=74082] ppid=74079 vsize=1798192 memory=1751444 CPUtime=3390.44 cores=1,3
/proc/74082/stat : 74082 (Exact) R 74079 74082 73969 0 -1 4194304 302615 0 0 0 338588 456 0 0 20 0 1 0 68003860 1841348608 437861 18446744073709551615 4198400 9112445 140727969048272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 35643392 140727969057065 140727969057261 140727969057261 140727969062863 0
/proc/74082/statm: 449548 437861 1280 1200 0 448028 0
Current children cumulated CPU time: 3390.44 s
Current children cumulated vsize: 1798192 KiB
Current children cumulated memory: 1751444 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.13 4.15 5/250 74260
/proc/meminfo: memFree=120687412/131382116 swapFree=33009904/33010684
[pid=74082] ppid=74079 vsize=1800736 memory=1753236 CPUtime=3450.25 cores=1,3
/proc/74082/stat : 74082 (Exact) R 74079 74082 73969 0 -1 4194304 303561 0 0 0 344561 464 0 0 20 0 1 0 68003860 1843953664 438309 18446744073709551615 4198400 9112445 140727969048272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 35643392 140727969057065 140727969057261 140727969057261 140727969062863 0
/proc/74082/statm: 450184 438309 1280 1200 0 448664 0
Current children cumulated CPU time: 3450.25 s
Current children cumulated vsize: 1800736 KiB
Current children cumulated memory: 1753236 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.12 4.14 5/250 74262
/proc/meminfo: memFree=120646432/131382116 swapFree=33009904/33010684
[pid=74082] ppid=74079 vsize=1806752 memory=1757460 CPUtime=3510.06 cores=1,3
/proc/74082/stat : 74082 (Exact) R 74079 74082 73969 0 -1 4194304 305078 0 0 0 350534 472 0 0 20 0 1 0 68003860 1850114048 439365 18446744073709551615 4198400 9112445 140727969048272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 35643392 140727969057065 140727969057261 140727969057261 140727969062863 0
/proc/74082/statm: 451688 439365 1280 1200 0 450168 0
Current children cumulated CPU time: 3510.06 s
Current children cumulated vsize: 1806752 KiB
Current children cumulated memory: 1757460 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.11 4.14 5/250 74264
/proc/meminfo: memFree=120626256/131382116 swapFree=33009904/33010684
[pid=74082] ppid=74079 vsize=1808312 memory=1758868 CPUtime=3569.88 cores=1,3
/proc/74082/stat : 74082 (Exact) R 74079 74082 73969 0 -1 4194304 306025 0 0 0 356508 480 0 0 20 0 1 0 68003860 1851711488 439717 18446744073709551615 4198400 9112445 140727969048272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 35643392 140727969057065 140727969057261 140727969057261 140727969062863 0
/proc/74082/statm: 452078 439717 1280 1200 0 450558 0
Current children cumulated CPU time: 3569.88 s
Current children cumulated vsize: 1808312 KiB
Current children cumulated memory: 1758868 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.6 s]
/proc/loadavg: 4.05 4.10 4.13 6/251 74403
/proc/meminfo: memFree=124928360/131382116 swapFree=33009904/33010684
[pid=74082] ppid=74079 vsize=1810448 memory=1760404 CPUtime=3600.06 cores=1,3
/proc/74082/stat : 74082 (Exact) R 74079 74082 73969 0 -1 4194304 306693 0 0 0 359519 487 0 0 20 0 1 0 68003860 1853898752 440101 18446744073709551615 4198400 9112445 140727969048272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 35643392 140727969057065 140727969057261 140727969057261 140727969062863 0
/proc/74082/statm: 452612 440101 1280 1200 0 451092 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 1810448 KiB
Current children cumulated memory: 1760404 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.62 s]
# the end of solver process 74082 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3595.21 s, system=4.88354 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3612.62
CPU time (s): 3600.09
CPU user time (s): 3595.21
CPU system time (s): 4.88354
CPU usage (%): 99.6532
Max. virtual memory (cumulated for all children) (KiB): 1810448
Max. memory (cumulated for all children) (KiB): 1760404
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.21
system time used= 4.88354
maximum resident set size= 1760404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 306694
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= 140
involuntary context switches= 20498
# summary of solver processes directly reported to runsolver:
# pid: 74082
# total CPU time (s): 3600.09
# total CPU user time (s): 3595.21
# total CPU system time (s): 4.88354
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.9807 second user time and 33.6343 second system time
The end
Begin job on nodeC010 at 2025-07-03 08:14:05
IDJOB=4509580
IDBENCH=158625
IDSOLVER=3318
FILE ID=nodeC010/4509580-1751523244
RUNJOBID= nodeC010-1751523241-73981
SLURM_JOB_ID= 9598649
Free space on /tmp= 429980 MiB
SOLVER NAME= Exact_no_db_no_ls 2025-06-19
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw32/normalized-hw32-vm99p-opt.opb.negationfix.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-4509580-1751523244/watcher-4509580-1751523244 -o /tmp/evaluation-result-4509580-1751523244/solver-4509580-1751523244 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751523241-73981 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=624728329 --ls=0 --inp-dombreaklim=0 HOME/instance-4509580-1751523244.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 3f10ffbf957f8216a1934b9362956d36
RANDOM SEED=624728329
nodeC010 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 : 3491.676
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.36
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.820
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.36
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.271
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.36
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.146
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.36
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.799
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.36
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.765
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.36
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 : 3700.000
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.36
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 : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt 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.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 126451848 kB
MemAvailable: 129666284 kB
Buffers: 2128 kB
Cached: 4014060 kB
SwapCached: 24 kB
Active: 901892 kB
Inactive: 3428124 kB
Active(anon): 325428 kB
Inactive(anon): 6336 kB
Active(file): 576464 kB
Inactive(file): 3421788 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009904 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 31164 kB
Writeback: 0 kB
AnonPages: 314844 kB
Mapped: 119860 kB
Shmem: 17936 kB
KReclaimable: 111620 kB
Slab: 195784 kB
SReclaimable: 111620 kB
SUnreclaim: 84164 kB
KernelStack: 4032 kB
PageTables: 3488 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 706784 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149336 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 71680 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: 205640 kB
DirectMap2M: 12279808 kB
DirectMap1G: 123731968 kB
Free space on /tmp at the end= 429972 MiB
End job on nodeC010 at 2025-07-03 09:14:17