1.49/1.56 c Filename:instance-4450676-1721415818.opb, Cutoff_time:3600, memory_limit_gb:500000
1.49/1.56 c Use Presolve
1.49/1.56 c Parse finsih
1.49/1.56 c Start Presolve
1.49/1.56 c After Reduce Vars: 3151 Clauses: 7290 Top clause weight: 1 Hard Clauses: 7290
3599.98/3609.21 c Use LS-small
3599.98/3609.21 s UNKNOWN
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: 63931 MiB (61192 MiB free)
memory of node 1: 64510 MiB (61020 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450676-1721415818/watcher-4450676-1721415818 -o /tmp/evaluation-result-4450676-1721415818/solver-4450676-1721415818 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721412226-1039469 --watchdog 3760 ./LS-MabSP -f HOME/instance-4450676-1721415818.opb -t 3600 -s 314848540
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1041409, runsolver pid=1041406
Current StackSize limit: 8192 KiB
[startup+0.100084 s]*
/proc/loadavg: 4.08 4.09 4.05 5/255 1041410
/proc/meminfo: memFree=125136468/131524600 swapFree=131071996/131071996
[pid=1041409] ppid=1041406 vsize=27328 memory=14056 CPUtime=0.1 cores=4,6
/proc/1041409/stat : 1041409 (LS-MabSP) R 1041406 1041409 1039458 0 -1 4194304 2502 0 0 0 10 0 0 0 20 0 1 0 193749220 27983872 3514 134679101440 4194304 15467897 140733679241008 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 35962880 140733679244318 140733679244420 140733679244420 140733679251437 0
/proc/1041409/statm: 6832 3514 1105 2753 0 3485 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27328 KiB
Current children cumulated memory: 14056 KiB
[startup+0.205451 s]*
/proc/loadavg: 4.08 4.09 4.05 5/255 1041410
/proc/meminfo: memFree=125136316/131524600 swapFree=131071996/131071996
[pid=1041409] ppid=1041406 vsize=27328 memory=14056 CPUtime=0.2 cores=4,6
/proc/1041409/stat : 1041409 (LS-MabSP) R 1041406 1041409 1039458 0 -1 4194304 2502 0 0 0 20 0 0 0 20 0 1 0 193749220 27983872 3514 134679101440 4194304 15467897 140733679241008 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 35962880 140733679244318 140733679244420 140733679244420 140733679251437 0
/proc/1041409/statm: 6832 3514 1105 2753 0 3485 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 27328 KiB
Current children cumulated memory: 14056 KiB
[startup+0.304572 s]*
/proc/loadavg: 4.07 4.08 4.05 5/255 1041410
/proc/meminfo: memFree=125136176/131524600 swapFree=131071996/131071996
[pid=1041409] ppid=1041406 vsize=27328 memory=14056 CPUtime=0.3 cores=4,6
/proc/1041409/stat : 1041409 (LS-MabSP) R 1041406 1041409 1039458 0 -1 4194304 2502 0 0 0 30 0 0 0 20 0 1 0 193749220 27983872 3514 134679101440 4194304 15467897 140733679241008 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 35962880 140733679244318 140733679244420 140733679244420 140733679251437 0
/proc/1041409/statm: 6832 3514 1105 2753 0 3485 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 27328 KiB
Current children cumulated memory: 14056 KiB
[startup+0.700141 s]
/proc/loadavg: 4.07 4.08 4.05 5/255 1041410
/proc/meminfo: memFree=125135924/131524600 swapFree=131071996/131071996
[pid=1041409] ppid=1041406 vsize=27328 memory=14056 CPUtime=0.69 cores=4,6
/proc/1041409/stat : 1041409 (LS-MabSP) R 1041406 1041409 1039458 0 -1 4194304 2502 0 0 0 69 0 0 0 20 0 1 0 193749220 27983872 3514 134679101440 4194304 15467897 140733679241008 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 35962880 140733679244318 140733679244420 140733679244420 140733679251437 0
/proc/1041409/statm: 6832 3514 1105 2753 0 3485 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 27328 KiB
Current children cumulated memory: 14056 KiB
[startup+1.50022 s]
/proc/loadavg: 4.07 4.08 4.05 5/255 1041410
/proc/meminfo: memFree=125135912/131524600 swapFree=131071996/131071996
[pid=1041409] ppid=1041406 vsize=77336 memory=68980 CPUtime=1.49 cores=4,6
/proc/1041409/stat : 1041409 (LS-MabSP) R 1041406 1041409 1039458 0 -1 4194304 14679 0 0 0 147 2 0 0 20 0 1 0 193749220 79192064 17245 134679101440 4194304 15467897 140733679241008 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 35962880 140733679244318 140733679244420 140733679244420 140733679251437 0
/proc/1041409/statm: 19334 17245 2833 2753 0 15987 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 77336 KiB
Current children cumulated memory: 68980 KiB
[startup+3.10498 s]
/proc/loadavg: 4.07 4.08 4.05 6/253 1041525
/proc/meminfo: memFree=126794724/131524600 swapFree=131071996/131071996
[pid=1041409] ppid=1041406 vsize=104740 memory=94604 CPUtime=3.09 cores=4,6
/proc/1041409/stat : 1041409 (LS-MabSP) R 1041406 1041409 1039458 0 -1 4194304 22022 0 0 0 306 3 0 0 20 0 1 0 193749220 107253760 23651 134679101440 4194304 15467897 140733679241008 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 35962880 140733679244318 140733679244420 140733679244420 140733679251437 0
/proc/1041409/statm: 26185 23651 2849 2753 0 22838 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 104740 KiB
Current children cumulated memory: 94604 KiB
[startup+6.3002 s]
/proc/loadavg: 4.07 4.08 4.05 5/257 1041552
/proc/meminfo: memFree=126558416/131524600 swapFree=131071996/131071996
[pid=1041409] ppid=1041406 vsize=104740 memory=94960 CPUtime=6.27 cores=4,6
/proc/1041409/stat : 1041409 (LS-MabSP) R 1041406 1041409 1039458 0 -1 4194304 22121 0 0 0 624 3 0 0 20 0 1 0 193749220 107253760 23740 134679101440 4194304 15467897 140733679241008 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 35962880 140733679244318 140733679244420 140733679244420 140733679251437 0
/proc/1041409/statm: 26185 23740 2849 2753 0 22838 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 104740 KiB
Current children cumulated memory: 94960 KiB
[startup+12.7002 s]
/proc/loadavg: 4.06 4.08 4.05 5/257 1041552
/proc/meminfo: memFree=126555692/131524600 swapFree=131071996/131071996
[pid=1041409] ppid=1041406 vsize=104740 memory=95740 CPUtime=12.65 cores=4,6
/proc/1041409/stat : 1041409 (LS-MabSP) R 1041406 1041409 1039458 0 -1 4194304 22300 0 0 0 1262 3 0 0 20 0 1 0 193749220 107253760 23935 134679101440 4194304 15467897 140733679241008 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 35962880 140733679244318 140733679244420 140733679244420 140733679251437 0
/proc/1041409/statm: 26185 23935 2849 2753 0 22838 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 104740 KiB
Current children cumulated memory: 95740 KiB
[startup+25.5002 s]
/proc/loadavg: 4.05 4.08 4.05 5/257 1041556
/proc/meminfo: memFree=126471032/131524600 swapFree=131071996/131071996
[pid=1041409] ppid=1041406 vsize=127692 memory=120400 CPUtime=25.42 cores=4,6
/proc/1041409/stat : 1041409 (LS-MabSP) R 1041406 1041409 1039458 0 -1 4194304 31491 0 0 0 2537 5 0 0 20 0 1 0 193749220 130756608 30100 134679101440 4194304 15467897 140733679241008 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 35962880 140733679244318 140733679244420 140733679244420 140733679251437 0
/proc/1041409/statm: 31923 30100 2849 2753 0 28576 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 127692 KiB
Current children cumulated memory: 120400 KiB
[startup+51.1055 s]
/proc/loadavg: 4.10 4.09 4.05 5/257 1041559
/proc/meminfo: memFree=126447336/131524600 swapFree=131071996/131071996
[pid=1041409] ppid=1041406 vsize=128008 memory=121848 CPUtime=50.96 cores=4,6
/proc/1041409/stat : 1041409 (LS-MabSP) R 1041406 1041409 1039458 0 -1 4194304 32539 0 0 0 5091 5 0 0 20 0 1 0 193749220 131080192 30462 134679101440 4194304 15467897 140733679241008 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 35962880 140733679244318 140733679244420 140733679244420 140733679251437 0
/proc/1041409/statm: 32002 30462 2849 2753 0 28655 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 128008 KiB
Current children cumulated memory: 121848 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.10 4.06 5/256 1041568
/proc/meminfo: memFree=126445552/131524600 swapFree=131071996/131071996
[pid=1041409] ppid=1041406 vsize=127960 memory=121800 CPUtime=102.03 cores=4,6
/proc/1041409/stat : 1041409 (LS-MabSP) R 1041406 1041409 1039458 0 -1 4194304 33509 0 0 0 10198 5 0 0 20 0 1 0 193749220 131031040 30450 134679101440 4194304 15467897 140733679241008 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 35962880 140733679244318 140733679244420 140733679244420 140733679251437 0
/proc/1041409/statm: 31990 30450 2849 2753 0 28643 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 127960 KiB
Current children cumulated memory: 121800 KiB
[startup+162.3 s]
/proc/loadavg: 4.18 4.11 4.07 5/256 1041578
/proc/meminfo: memFree=126402248/131524600 swapFree=131071996/131071996
[pid=1041409] ppid=1041406 vsize=151104 memory=141704 CPUtime=161.9 cores=4,6
/proc/1041409/stat : 1041409 (LS-MabSP) R 1041406 1041409 1039458 0 -1 4194304 48187 0 0 0 16183 7 0 0 20 0 1 0 193749220 154730496 35426 134679101440 4194304 15467897 140733679241008 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 35962880 140733679244318 140733679244420 140733679244420 140733679251437 0
/proc/1041409/statm: 37776 35426 2849 2753 0 34429 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 151104 KiB
Current children cumulated memory: 141704 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.10 4.07 5/256 1041589
/proc/meminfo: memFree=126324132/131524600 swapFree=131071996/131071996
[pid=1041409] ppid=1041406 vsize=171532 memory=161808 CPUtime=221.76 cores=4,6
/proc/1041409/stat : 1041409 (LS-MabSP) R 1041406 1041409 1039458 0 -1 4194304 54605 0 0 0 22168 8 0 0 20 0 1 0 193749220 175648768 40452 134679101440 4194304 15467897 140733679241008 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 35962880 140733679244318 140733679244420 140733679244420 140733679251437 0
/proc/1041409/statm: 42883 40452 2849 2753 0 39536 0
Current children cumulated CPU time: 221.76 s
Current children cumulated vsize: 171532 KiB
Current children cumulated memory: 161808 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.10 4.07 5/256 1041599
/proc/meminfo: memFree=126197324/131524600 swapFree=131071996/131071996
[pid=1041409] ppid=1041406 vsize=192808 memory=184416 CPUtime=281.61 cores=4,6
/proc/1041409/stat : 1041409 (LS-MabSP) R 1041406 1041409 1039458 0 -1 4194304 70301 0 0 0 28151 10 0 0 20 0 1 0 193749220 197435392 46104 134679101440 4194304 15467897 140733679241008 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 35962880 140733679244318 140733679244420 140733679244420 140733679251437 0
/proc/1041409/statm: 48202 46104 2849 2753 0 44855 0
Current children cumulated CPU time: 281.61 s
Current children cumulated vsize: 192808 KiB
Current children cumulated memory: 184416 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 4.09 4.07 5/254 1041609
/proc/meminfo: memFree=126142596/131524600 swapFree=131071996/131071996
[pid=1041409] ppid=1041406 vsize=212216 memory=203472 CPUtime=341.46 cores=4,6
/proc/1041409/stat : 1041409 (LS-MabSP) R 1041406 1041409 1039458 0 -1 4194304 75153 0 0 0 34135 11 0 0 20 0 1 0 193749220 217309184 50868 134679101440 4194304 15467897 140733679241008 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 35962880 140733679244318 140733679244420 140733679244420 140733679251437 0
/proc/1041409/statm: 53054 50868 2849 2753 0 49707 0
Current children cumulated CPU time: 341.46 s
Current children cumulated vsize: 212216 KiB
Current children cumulated memory: 203472 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.10 4.07 5/256 1041623
/proc/meminfo: memFree=126071212/131524600 swapFree=131071996/131071996
[pid=1041409] ppid=1041406 vsize=242836 memory=232776 CPUtime=401.31 cores=4,6
/proc/1041409/stat : 1041409 (LS-MabSP) R 1041406 1041409 1039458 0 -1 4194304 82505 0 0 0 40118 13 0 0 20 0 1 0 193749220 248664064 58194 134679101440 4194304 15467897 140733679241008 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 35962880 140733679244318 140733679244420 140733679244420 140733679251437 0
/proc/1041409/statm: 60709 58194 2849 2753 0 57362 0
Current children cumulated CPU time: 401.31 s
Current children cumulated vsize: 242836 KiB
Current children cumulated memory: 232776 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.10 4.07 5/256 1041634
/proc/meminfo: memFree=126017388/131524600 swapFree=131071996/131071996
[pid=1041409] ppid=1041406 vsize=243420 memory=234328 CPUtime=461.16 cores=4,6
/proc/1041409/stat : 1041409 (LS-MabSP) R 1041406 1041409 1039458 0 -1 4194304 82934 0 0 0 46103 13 0 0 20 0 1 0 193749220 249262080 58582 134679101440 4194304 15467897 140733679241008 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 35962880 140733679244318 140733679244420 140733679244420 140733679251437 0
/proc/1041409/statm: 60855 58582 2849 2753 0 57508 0
################
# More data... #
################
/proc/loadavg: 4.12 4.15 4.10 5/256 1043114
/proc/meminfo: memFree=125758560/131524600 swapFree=131071996/131071996
[pid=1041409] ppid=1041406 vsize=273076 memory=268040 CPUtime=3154.08 cores=4,6
/proc/1041409/stat : 1041409 (LS-MabSP) R 1041406 1041409 1039458 0 -1 4194304 97780 0 0 0 303463 11945 0 0 20 0 1 0 193749220 279629824 67010 134679101440 4194304 15467897 140733679241008 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 35962880 140733679244318 140733679244420 140733679244420 140733679251437 0
/proc/1041409/statm: 68269 67010 3195 2753 0 64922 0
Current children cumulated CPU time: 3154.08 s
Current children cumulated vsize: 273076 KiB
Current children cumulated memory: 268040 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/256 1043126
/proc/meminfo: memFree=125758492/131524600 swapFree=131071996/131071996
[pid=1041409] ppid=1041406 vsize=273076 memory=268040 CPUtime=3213.95 cores=4,6
/proc/1041409/stat : 1041409 (LS-MabSP) R 1041406 1041409 1039458 0 -1 4194304 97786 0 0 0 308913 12482 0 0 20 0 1 0 193749220 279629824 67010 134679101440 4194304 15467897 140733679241008 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 35962880 140733679244318 140733679244420 140733679244420 140733679251437 0
/proc/1041409/statm: 68269 67010 3195 2753 0 64922 0
Current children cumulated CPU time: 3213.95 s
Current children cumulated vsize: 273076 KiB
Current children cumulated memory: 268040 KiB
[startup+3282.3 s]
/proc/loadavg: 4.06 4.12 4.09 5/258 1043306
/proc/meminfo: memFree=125757732/131524600 swapFree=131071996/131071996
[pid=1041409] ppid=1041406 vsize=273076 memory=268040 CPUtime=3273.81 cores=4,6
/proc/1041409/stat : 1041409 (LS-MabSP) R 1041406 1041409 1039458 0 -1 4194304 97792 0 0 0 314372 13009 0 0 20 0 1 0 193749220 279629824 67010 134679101440 4194304 15467897 140733679241008 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 35962880 140733679244318 140733679244420 140733679244420 140733679251437 0
/proc/1041409/statm: 68269 67010 3195 2753 0 64922 0
Current children cumulated CPU time: 3273.81 s
Current children cumulated vsize: 273076 KiB
Current children cumulated memory: 268040 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/258 1043316
/proc/meminfo: memFree=125757832/131524600 swapFree=131071996/131071996
[pid=1041409] ppid=1041406 vsize=273076 memory=268040 CPUtime=3333.67 cores=4,6
/proc/1041409/stat : 1041409 (LS-MabSP) R 1041406 1041409 1039458 0 -1 4194304 97798 0 0 0 319839 13528 0 0 20 0 1 0 193749220 279629824 67010 134679101440 4194304 15467897 140733679241008 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 35962880 140733679244318 140733679244420 140733679244420 140733679251437 0
/proc/1041409/statm: 68269 67010 3195 2753 0 64922 0
Current children cumulated CPU time: 3333.67 s
Current children cumulated vsize: 273076 KiB
Current children cumulated memory: 268040 KiB
[startup+3402.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/259 1043329
/proc/meminfo: memFree=125757360/131524600 swapFree=131071996/131071996
[pid=1041409] ppid=1041406 vsize=273076 memory=268040 CPUtime=3393.54 cores=4,6
/proc/1041409/stat : 1041409 (LS-MabSP) R 1041406 1041409 1039458 0 -1 4194304 97804 0 0 0 325306 14048 0 0 20 0 1 0 193749220 279629824 67010 134679101440 4194304 15467897 140733679241008 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 35962880 140733679244318 140733679244420 140733679244420 140733679251437 0
/proc/1041409/statm: 68269 67010 3195 2753 0 64922 0
Current children cumulated CPU time: 3393.54 s
Current children cumulated vsize: 273076 KiB
Current children cumulated memory: 268040 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/257 1043351
/proc/meminfo: memFree=125757092/131524600 swapFree=131071996/131071996
[pid=1041409] ppid=1041406 vsize=273076 memory=268040 CPUtime=3453.41 cores=4,6
/proc/1041409/stat : 1041409 (LS-MabSP) R 1041406 1041409 1039458 0 -1 4194304 97810 0 0 0 330756 14585 0 0 20 0 1 0 193749220 279629824 67010 134679101440 4194304 15467897 140733679241008 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 35962880 140733679244318 140733679244420 140733679244420 140733679251437 0
/proc/1041409/statm: 68269 67010 3195 2753 0 64922 0
Current children cumulated CPU time: 3453.41 s
Current children cumulated vsize: 273076 KiB
Current children cumulated memory: 268040 KiB
[startup+3522.3 s]
/proc/loadavg: 4.04 4.10 4.08 5/257 1043361
/proc/meminfo: memFree=125756772/131524600 swapFree=131071996/131071996
[pid=1041409] ppid=1041406 vsize=273076 memory=268040 CPUtime=3513.28 cores=4,6
/proc/1041409/stat : 1041409 (LS-MabSP) R 1041406 1041409 1039458 0 -1 4194304 97816 0 0 0 336220 15108 0 0 20 0 1 0 193749220 279629824 67010 134679101440 4194304 15467897 140733679241008 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 35962880 140733679244318 140733679244420 140733679244420 140733679251437 0
/proc/1041409/statm: 68269 67010 3195 2753 0 64922 0
Current children cumulated CPU time: 3513.28 s
Current children cumulated vsize: 273076 KiB
Current children cumulated memory: 268040 KiB
[startup+3582.3 s]
/proc/loadavg: 4.43 4.19 4.12 5/255 1043372
/proc/meminfo: memFree=125756620/131524600 swapFree=131071996/131071996
[pid=1041409] ppid=1041406 vsize=273076 memory=268040 CPUtime=3573.14 cores=4,6
/proc/1041409/stat : 1041409 (LS-MabSP) R 1041406 1041409 1039458 0 -1 4194304 97822 0 0 0 341688 15626 0 0 20 0 1 0 193749220 279629824 67010 134679101440 4194304 15467897 140733679241008 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 35962880 140733679244318 140733679244420 140733679244420 140733679251437 0
/proc/1041409/statm: 68269 67010 3195 2753 0 64922 0
Current children cumulated CPU time: 3573.14 s
Current children cumulated vsize: 273076 KiB
Current children cumulated memory: 268040 KiB
[startup+3609.21 s]
# the end of solver process 1041409 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3441.4 s, system=158.608 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.43 4.19 4.12 5/255 1043373
/proc/meminfo: memFree=125756540/131524600 swapFree=131071996/131071996
[pid=1041409] ppid=1041406 vsize=273076 memory=268040 CPUtime=3574.85 cores=4,6
/proc/1041409/stat : 1041409 (LS-MabSP) R 1041406 1041409 1039458 0 -1 4194304 97822 0 0 0 341845 15640 0 0 20 0 1 0 193749220 279629824 67010 134679101440 4194304 15467897 140733679241008 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 35962880 140733679244318 140733679244420 140733679244420 140733679251437 0
/proc/1041409/statm: 68269 67010 3195 2753 0 64922 0
Current children cumulated CPU time: 3574.85 s
Current children cumulated vsize: 273076 KiB
Current children cumulated memory: 268040 KiB
[startup+3596.8 s]
/proc/loadavg: 4.33 4.18 4.11 5/255 1043375
/proc/meminfo: memFree=125756432/131524600 swapFree=131071996/131071996
[pid=1041409] ppid=1041406 vsize=273076 memory=268040 CPUtime=3587.62 cores=4,6
/proc/1041409/stat : 1041409 (LS-MabSP) R 1041406 1041409 1039458 0 -1 4194304 97822 0 0 0 343007 15755 0 0 20 0 1 0 193749220 279629824 67010 134679101440 4194304 15467897 140733679241008 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 35962880 140733679244318 140733679244420 140733679244420 140733679251437 0
/proc/1041409/statm: 68269 67010 3195 2753 0 64922 0
Current children cumulated CPU time: 3587.62 s
Current children cumulated vsize: 273076 KiB
Current children cumulated memory: 268040 KiB
[startup+3603.2 s]
/proc/loadavg: 4.31 4.17 4.11 5/255 1043376
/proc/meminfo: memFree=125756392/131524600 swapFree=131071996/131071996
[pid=1041409] ppid=1041406 vsize=273076 memory=268040 CPUtime=3593.99 cores=4,6
/proc/1041409/stat : 1041409 (LS-MabSP) R 1041406 1041409 1039458 0 -1 4194304 97825 0 0 0 343593 15806 0 0 20 0 1 0 193749220 279629824 67010 134679101440 4194304 15467897 140733679241008 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 35962880 140733679244318 140733679244420 140733679244420 140733679251437 0
/proc/1041409/statm: 68269 67010 3195 2753 0 64922 0
Current children cumulated CPU time: 3593.99 s
Current children cumulated vsize: 273076 KiB
Current children cumulated memory: 268040 KiB
[startup+3606.4 s]
/proc/loadavg: 4.28 4.17 4.11 5/255 1043376
/proc/meminfo: memFree=125756412/131524600 swapFree=131071996/131071996
[pid=1041409] ppid=1041406 vsize=273076 memory=268040 CPUtime=3597.19 cores=4,6
/proc/1041409/stat : 1041409 (LS-MabSP) R 1041406 1041409 1039458 0 -1 4194304 97825 0 0 0 343883 15836 0 0 20 0 1 0 193749220 279629824 67010 134679101440 4194304 15467897 140733679241008 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 35962880 140733679244318 140733679244420 140733679244420 140733679251437 0
/proc/1041409/statm: 68269 67010 3195 2753 0 64922 0
Current children cumulated CPU time: 3597.19 s
Current children cumulated vsize: 273076 KiB
Current children cumulated memory: 268040 KiB
[startup+3608 s]*
/proc/loadavg: 4.28 4.17 4.11 5/255 1043377
/proc/meminfo: memFree=125756300/131524600 swapFree=131071996/131071996
[pid=1041409] ppid=1041406 vsize=273076 memory=268040 CPUtime=3598.8 cores=4,6
/proc/1041409/stat : 1041409 (LS-MabSP) R 1041406 1041409 1039458 0 -1 4194304 97825 0 0 0 344030 15850 0 0 20 0 1 0 193749220 279629824 67010 134679101440 4194304 15467897 140733679241008 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 35962880 140733679244318 140733679244420 140733679244420 140733679251437 0
/proc/1041409/statm: 68269 67010 3195 2753 0 64922 0
Current children cumulated CPU time: 3598.8 s
Current children cumulated vsize: 273076 KiB
Current children cumulated memory: 268040 KiB
[startup+3608.8 s]
/proc/loadavg: 4.28 4.17 4.11 5/255 1043377
/proc/meminfo: memFree=125756300/131524600 swapFree=131071996/131071996
[pid=1041409] ppid=1041406 vsize=273076 memory=268040 CPUtime=3599.59 cores=4,6
/proc/1041409/stat : 1041409 (LS-MabSP) R 1041406 1041409 1039458 0 -1 4194304 97825 0 0 0 344102 15857 0 0 20 0 1 0 193749220 279629824 67010 134679101440 4194304 15467897 140733679241008 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 35962880 140733679244318 140733679244420 140733679244420 140733679251437 0
/proc/1041409/statm: 68269 67010 3195 2753 0 64922 0
Current children cumulated CPU time: 3599.59 s
Current children cumulated vsize: 273076 KiB
Current children cumulated memory: 268040 KiB
[startup+3609.2 s]
/proc/loadavg: 4.28 4.17 4.11 5/255 1043377
/proc/meminfo: memFree=125756292/131524600 swapFree=131071996/131071996
[pid=1041409] ppid=1041406 vsize=273076 memory=268040 CPUtime=3599.98 cores=4,6
/proc/1041409/stat : 1041409 (LS-MabSP) R 1041406 1041409 1039458 0 -1 4194304 97825 0 0 0 344138 15860 0 0 20 0 1 0 193749220 279629824 67010 134679101440 4194304 15467897 140733679241008 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 35962880 140733679244318 140733679244420 140733679244420 140733679251437 0
/proc/1041409/statm: 68269 67010 3195 2753 0 64922 0
Current children cumulated CPU time: 3599.98 s
Current children cumulated vsize: 273076 KiB
Current children cumulated memory: 268040 KiB
Child status: 0
Real time (s): 3609.21
CPU time (s): 3600.01
CPU user time (s): 3441.4
CPU system time (s): 158.608
CPU usage (%): 99.7449
Max. virtual memory (cumulated for all children) (KiB): 273076
Max. memory (cumulated for all children) (KiB): 268040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3441.4
system time used= 158.608
maximum resident set size= 268040
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97842
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= 44
involuntary context switches= 1112
# summary of solver processes directly reported to runsolver:
# pid: 1041409
# total CPU time (s): 3600.01
# total CPU user time (s): 3441.4
# total CPU system time (s): 158.608
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.61158 second user time and 14.1937 second system time
The end
Begin job on nodeC029 at 2024-07-19 21:03:51
IDJOB=4450676
IDBENCH=162218
IDSOLVER=3047
FILE ID=nodeC029/4450676-1721415818
RUNJOBID= nodeC029-1721412226-1039469
SLURM_JOB_ID= 7545485
Free space on /tmp= 890016 MiB
SOLVER NAME= LS-MabSP 2024-07-10
BENCH NAME= PB24/normalized-PB16/DEC-LIN/nossum/normalized-sha1-size80-round21-3.opb
COMMAND LINE= ./LS-MabSP -f BENCHNAME -t TIMEOUT -s RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450676-1721415818/watcher-4450676-1721415818 -o /tmp/evaluation-result-4450676-1721415818/solver-4450676-1721415818 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721412226-1039469 --watchdog 3760 ./LS-MabSP -f HOME/instance-4450676-1721415818.opb -t 3600 -s 314848540
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 864bfa231da9fb907b495a126824f2c7
RANDOM SEED=314848540
nodeC029.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3655.722
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3686.003
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.98
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.163
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.722
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.98
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3663.435
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3686.070
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.98
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3639.743
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.449
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.98
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 125146760 kB
MemAvailable: 127939328 kB
Buffers: 522852 kB
Cached: 3085384 kB
SwapCached: 0 kB
Active: 1022772 kB
Inactive: 4671500 kB
Active(anon): 1456 kB
Inactive(anon): 2130484 kB
Active(file): 1021316 kB
Inactive(file): 2541016 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 16604 kB
Writeback: 0 kB
AnonPages: 2084108 kB
Mapped: 140452 kB
Shmem: 45912 kB
KReclaimable: 139764 kB
Slab: 257276 kB
SReclaimable: 139764 kB
SUnreclaim: 117512 kB
KernelStack: 4080 kB
PageTables: 13388 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 2611508 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 70848 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1949696 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 281300 kB
DirectMap2M: 36192256 kB
DirectMap1G: 99614720 kB
Free space on /tmp at the end= 890004 MiB
End job on nodeC029 at 2024-07-19 22:04:01