0.00/0.05 c Filename:instance-4448556-1721368525.opb, Cutoff_time:3600, memory_limit_gb:500000
0.00/0.05 c Use Presolve
0.00/0.05 c Parse finsih
0.00/0.05 c Start Presolve
0.00/0.05 c After Reduce Vars: 900 Clauses: 900 Top clause weight: 1 Hard Clauses: 900
3599.96/3612.53 c Use LS-small
3599.96/3612.53 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: 63968 MiB (62399 MiB free)
memory of node 1: 64473 MiB (62401 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4448556-1721368525/watcher-4448556-1721368525 -o /tmp/evaluation-result-4448556-1721368525/solver-4448556-1721368525 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721361319-1034919 --watchdog 3760 ./LS-MabSP -f HOME/instance-4448556-1721368525.opb -t 3600 -s 67481427
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1039035, runsolver pid=1039032
[startup+0.10098 s]*
/proc/loadavg: 4.15 4.15 4.10 5/257 1039036
/proc/meminfo: memFree=127776732/131524600 swapFree=131071996/131071996
[pid=1039035] ppid=1039032 vsize=34640 memory=27776 CPUtime=0.09 cores=0,2
/proc/1039035/stat : 1039035 (LS-MabSP) R 1039032 1039035 1034909 0 -1 4194304 4263 0 0 0 9 0 0 0 20 0 1 0 189020590 35471360 6944 134679101440 4194304 15467897 140723661220864 0 0 0 0 0 17410 0 0 0 17 2 0 0 0 0 0 17807032 17896208 42770432 140723661222943 140723661223044 140723661223044 140723661230061 0
/proc/1039035/statm: 8660 6944 2849 2753 0 5313 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 34640 KiB
Current children cumulated memory: 27776 KiB
[startup+0.205982 s]*
/proc/loadavg: 4.15 4.15 4.10 5/257 1039036
/proc/meminfo: memFree=127767324/131524600 swapFree=131071996/131071996
[pid=1039035] ppid=1039032 vsize=43848 memory=35672 CPUtime=0.19 cores=0,2
/proc/1039035/stat : 1039035 (LS-MabSP) R 1039032 1039035 1034909 0 -1 4194304 6268 0 0 0 18 1 0 0 20 0 1 0 189020590 44900352 8918 134679101440 4194304 15467897 140723661220864 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 42770432 140723661222943 140723661223044 140723661223044 140723661230061 0
/proc/1039035/statm: 10962 8918 2849 2753 0 7615 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 43848 KiB
Current children cumulated memory: 35672 KiB
[startup+0.30564 s]*
/proc/loadavg: 4.15 4.15 4.10 5/257 1039036
/proc/meminfo: memFree=127765924/131524600 swapFree=131071996/131071996
[pid=1039035] ppid=1039032 vsize=43848 memory=36464 CPUtime=0.29 cores=0,2
/proc/1039035/stat : 1039035 (LS-MabSP) R 1039032 1039035 1034909 0 -1 4194304 6445 0 0 0 28 1 0 0 20 0 1 0 189020590 44900352 9116 134679101440 4194304 15467897 140723661220864 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 42770432 140723661222943 140723661223044 140723661223044 140723661230061 0
/proc/1039035/statm: 10962 9116 2849 2753 0 7615 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 43848 KiB
Current children cumulated memory: 36464 KiB
[startup+0.700146 s]
/proc/loadavg: 4.15 4.15 4.10 5/257 1039036
/proc/meminfo: memFree=127761344/131524600 swapFree=131071996/131071996
[pid=1039035] ppid=1039032 vsize=45600 memory=38488 CPUtime=0.68 cores=0,2
/proc/1039035/stat : 1039035 (LS-MabSP) R 1039032 1039035 1034909 0 -1 4194304 7189 0 0 0 67 1 0 0 20 0 1 0 189020590 46694400 9622 134679101440 4194304 15467897 140723661220864 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 42770432 140723661222943 140723661223044 140723661223044 140723661230061 0
/proc/1039035/statm: 11400 9622 2849 2753 0 8053 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 45600 KiB
Current children cumulated memory: 38488 KiB
[startup+1.50019 s]
/proc/loadavg: 4.15 4.15 4.10 5/251 1039072
/proc/meminfo: memFree=128483932/131524600 swapFree=131071996/131071996
[pid=1039035] ppid=1039032 vsize=47716 memory=40600 CPUtime=1.47 cores=0,2
/proc/1039035/stat : 1039035 (LS-MabSP) R 1039032 1039035 1034909 0 -1 4194304 7742 0 0 0 146 1 0 0 20 0 1 0 189020590 48861184 10150 134679101440 4194304 15467897 140723661220864 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 42770432 140723661222943 140723661223044 140723661223044 140723661230061 0
/proc/1039035/statm: 11929 10150 2849 2753 0 8582 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 47716 KiB
Current children cumulated memory: 40600 KiB
[startup+3.10543 s]
/proc/loadavg: 4.14 4.14 4.10 5/257 1039082
/proc/meminfo: memFree=128432872/131524600 swapFree=131071996/131071996
[pid=1039035] ppid=1039032 vsize=55760 memory=48824 CPUtime=3.07 cores=0,2
/proc/1039035/stat : 1039035 (LS-MabSP) R 1039032 1039035 1034909 0 -1 4194304 10573 0 0 0 305 2 0 0 20 0 1 0 189020590 57098240 12206 134679101440 4194304 15467897 140723661220864 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 42770432 140723661222943 140723661223044 140723661223044 140723661230061 0
/proc/1039035/statm: 13940 12206 2849 2753 0 10593 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 55760 KiB
Current children cumulated memory: 48824 KiB
[startup+6.30017 s]
/proc/loadavg: 4.14 4.14 4.10 5/257 1039084
/proc/meminfo: memFree=128401336/131524600 swapFree=131071996/131071996
[pid=1039035] ppid=1039032 vsize=63496 memory=56472 CPUtime=6.25 cores=0,2
/proc/1039035/stat : 1039035 (LS-MabSP) R 1039032 1039035 1034909 0 -1 4194304 15412 0 0 0 623 2 0 0 20 0 1 0 189020590 65019904 14118 134679101440 4194304 15467897 140723661220864 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 42770432 140723661222943 140723661223044 140723661223044 140723661230061 0
/proc/1039035/statm: 15874 14118 2849 2753 0 12527 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 63496 KiB
Current children cumulated memory: 56472 KiB
[startup+12.7002 s]
/proc/loadavg: 4.13 4.14 4.10 5/257 1039084
/proc/meminfo: memFree=128342848/131524600 swapFree=131071996/131071996
[pid=1039035] ppid=1039032 vsize=98948 memory=92152 CPUtime=12.63 cores=0,2
/proc/1039035/stat : 1039035 (LS-MabSP) R 1039032 1039035 1034909 0 -1 4194304 29421 0 0 0 1258 5 0 0 20 0 1 0 189020590 101322752 23038 134679101440 4194304 15467897 140723661220864 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 42770432 140723661222943 140723661223044 140723661223044 140723661230061 0
/proc/1039035/statm: 24737 23038 2849 2753 0 21390 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 98948 KiB
Current children cumulated memory: 92152 KiB
[startup+25.5002 s]
/proc/loadavg: 4.17 4.15 4.10 5/257 1039085
/proc/meminfo: memFree=128335412/131524600 swapFree=131071996/131071996
[pid=1039035] ppid=1039032 vsize=97324 memory=90696 CPUtime=25.38 cores=0,2
/proc/1039035/stat : 1039035 (LS-MabSP) R 1039032 1039035 1034909 0 -1 4194304 41315 0 0 0 2531 7 0 0 20 0 1 0 189020590 99659776 22674 134679101440 4194304 15467897 140723661220864 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 42770432 140723661222943 140723661223044 140723661223044 140723661230061 0
/proc/1039035/statm: 24331 22674 2849 2753 0 20984 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 97324 KiB
Current children cumulated memory: 90696 KiB
[startup+51.1047 s]
/proc/loadavg: 4.18 4.15 4.11 5/257 1039090
/proc/meminfo: memFree=128298328/131524600 swapFree=131071996/131071996
[pid=1039035] ppid=1039032 vsize=99476 memory=93320 CPUtime=50.86 cores=0,2
/proc/1039035/stat : 1039035 (LS-MabSP) R 1039032 1039035 1034909 0 -1 4194304 41984 0 0 0 5079 7 0 0 20 0 1 0 189020590 101863424 23330 134679101440 4194304 15467897 140723661220864 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 42770432 140723661222943 140723661223044 140723661223044 140723661230061 0
/proc/1039035/statm: 24869 23330 2849 2753 0 21522 0
Current children cumulated CPU time: 50.86 s
Current children cumulated vsize: 99476 KiB
Current children cumulated memory: 93320 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/257 1039099
/proc/meminfo: memFree=128165396/131524600 swapFree=131071996/131071996
[pid=1039035] ppid=1039032 vsize=170836 memory=162584 CPUtime=101.8 cores=0,2
/proc/1039035/stat : 1039035 (LS-MabSP) R 1039032 1039035 1034909 0 -1 4194304 59610 0 0 0 10170 10 0 0 20 0 1 0 189020590 174936064 40646 134679101440 4194304 15467897 140723661220864 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 42770432 140723661222943 140723661223044 140723661223044 140723661230061 0
/proc/1039035/statm: 42709 40646 2849 2753 0 39362 0
Current children cumulated CPU time: 101.8 s
Current children cumulated vsize: 170836 KiB
Current children cumulated memory: 162584 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/259 1039280
/proc/meminfo: memFree=128053648/131524600 swapFree=131071996/131071996
[pid=1039035] ppid=1039032 vsize=226204 memory=220232 CPUtime=161.5 cores=0,2
/proc/1039035/stat : 1039035 (LS-MabSP) R 1039032 1039035 1034909 0 -1 4194304 74113 0 0 0 16138 12 0 0 20 0 1 0 189020590 231632896 55058 134679101440 4194304 15467897 140723661220864 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 42770432 140723661222943 140723661223044 140723661223044 140723661230061 0
/proc/1039035/statm: 56551 55058 2849 2753 0 53204 0
Current children cumulated CPU time: 161.5 s
Current children cumulated vsize: 226204 KiB
Current children cumulated memory: 220232 KiB
[startup+222.3 s]
/proc/loadavg: 4.44 4.23 4.13 5/259 1039292
/proc/meminfo: memFree=127935352/131524600 swapFree=131071996/131071996
[pid=1039035] ppid=1039032 vsize=296956 memory=288196 CPUtime=221.2 cores=0,2
/proc/1039035/stat : 1039035 (LS-MabSP) R 1039032 1039035 1034909 0 -1 4194304 91093 0 0 0 22105 15 0 0 20 0 1 0 189020590 304082944 72049 134679101440 4194304 15467897 140723661220864 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 42770432 140723661222943 140723661223044 140723661223044 140723661230061 0
/proc/1039035/statm: 74239 72049 2849 2753 0 70892 0
Current children cumulated CPU time: 221.2 s
Current children cumulated vsize: 296956 KiB
Current children cumulated memory: 288196 KiB
[startup+282.3 s]
/proc/loadavg: 4.21 4.20 4.12 5/260 1039305
/proc/meminfo: memFree=127825448/131524600 swapFree=131071996/131071996
[pid=1039035] ppid=1039032 vsize=359204 memory=351576 CPUtime=280.9 cores=0,2
/proc/1039035/stat : 1039035 (LS-MabSP) R 1039032 1039035 1034909 0 -1 4194304 106955 0 0 0 28072 18 0 0 20 0 1 0 189020590 367824896 87894 134679101440 4194304 15467897 140723661220864 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 42770432 140723661222943 140723661223044 140723661223044 140723661230061 0
/proc/1039035/statm: 89801 87894 2849 2753 0 86454 0
Current children cumulated CPU time: 280.9 s
Current children cumulated vsize: 359204 KiB
Current children cumulated memory: 351576 KiB
[startup+342.3 s]
/proc/loadavg: 4.23 4.21 4.13 5/258 1039327
/proc/meminfo: memFree=127731724/131524600 swapFree=131071996/131071996
[pid=1039035] ppid=1039032 vsize=417604 memory=409416 CPUtime=340.61 cores=0,2
/proc/1039035/stat : 1039035 (LS-MabSP) R 1039032 1039035 1034909 0 -1 4194304 121907 0 0 0 34040 21 0 0 20 0 1 0 189020590 427626496 102354 134679101440 4194304 15467897 140723661220864 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 42770432 140723661222943 140723661223044 140723661223044 140723661230061 0
/proc/1039035/statm: 104401 102354 2849 2753 0 101054 0
Current children cumulated CPU time: 340.61 s
Current children cumulated vsize: 417604 KiB
Current children cumulated memory: 409416 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.18 4.12 5/259 1039339
/proc/meminfo: memFree=127644224/131524600 swapFree=131071996/131071996
[pid=1039035] ppid=1039032 vsize=467772 memory=459980 CPUtime=400.3 cores=0,2
/proc/1039035/stat : 1039035 (LS-MabSP) R 1039032 1039035 1034909 0 -1 4194304 136626 0 0 0 40006 24 0 0 20 0 1 0 189020590 478998528 114995 134679101440 4194304 15467897 140723661220864 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 42770432 140723661222943 140723661223044 140723661223044 140723661230061 0
/proc/1039035/statm: 116943 114995 2849 2753 0 113596 0
Current children cumulated CPU time: 400.3 s
Current children cumulated vsize: 467772 KiB
Current children cumulated memory: 459980 KiB
[startup+462.3 s]
/proc/loadavg: 4.16 4.18 4.12 5/259 1039349
/proc/meminfo: memFree=127563636/131524600 swapFree=131071996/131071996
[pid=1039035] ppid=1039032 vsize=521844 memory=506904 CPUtime=459.99 cores=0,2
/proc/1039035/stat : 1039035 (LS-MabSP) R 1039032 1039035 1034909 0 -1 4194304 149151 0 0 0 45972 27 0 0 20 0 1 0 189020590 534368256 126726 134679101440 4194304 15467897 140723661220864 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 42770432 140723661222943 140723661223044 140723661223044 140723661230061 0
/proc/1039035/statm: 130461 126726 2849 2753 0 127114 0
################
# More data... #
################
/proc/loadavg: 4.14 4.12 4.09 5/258 1040491
/proc/meminfo: memFree=126366768/131524600 swapFree=131071996/131071996
[pid=1039035] ppid=1039032 vsize=1166808 memory=1161556 CPUtime=3270.45 cores=0,2
/proc/1039035/stat : 1039035 (LS-MabSP) R 1039032 1039035 1034909 0 -1 4194304 329617 0 0 0 286308 40737 0 0 20 0 1 0 189020590 1194811392 290389 134679101440 4194304 15467897 140723661220864 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 42770432 140723661222943 140723661223044 140723661223044 140723661230061 0
/proc/1039035/statm: 291702 290389 2849 2753 0 288355 0
Current children cumulated CPU time: 3270.45 s
Current children cumulated vsize: 1166808 KiB
Current children cumulated memory: 1161556 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/258 1040502
/proc/meminfo: memFree=126365904/131524600 swapFree=131071996/131071996
[pid=1039035] ppid=1039032 vsize=1166808 memory=1161580 CPUtime=3330.33 cores=0,2
/proc/1039035/stat : 1039035 (LS-MabSP) R 1039032 1039035 1034909 0 -1 4194304 329619 0 0 0 290641 42392 0 0 20 0 1 0 189020590 1194811392 290395 134679101440 4194304 15467897 140723661220864 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 42770432 140723661222943 140723661223044 140723661223044 140723661230061 0
/proc/1039035/statm: 291702 290395 2849 2753 0 288355 0
Current children cumulated CPU time: 3330.33 s
Current children cumulated vsize: 1166808 KiB
Current children cumulated memory: 1161580 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/258 1040512
/proc/meminfo: memFree=126365180/131524600 swapFree=131071996/131071996
[pid=1039035] ppid=1039032 vsize=1166808 memory=1161580 CPUtime=3390.2 cores=0,2
/proc/1039035/stat : 1039035 (LS-MabSP) R 1039032 1039035 1034909 0 -1 4194304 329622 0 0 0 294961 44059 0 0 20 0 1 0 189020590 1194811392 290395 134679101440 4194304 15467897 140723661220864 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 42770432 140723661222943 140723661223044 140723661223044 140723661230061 0
/proc/1039035/statm: 291702 290395 2849 2753 0 288355 0
Current children cumulated CPU time: 3390.2 s
Current children cumulated vsize: 1166808 KiB
Current children cumulated memory: 1161580 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/257 1040523
/proc/meminfo: memFree=126364680/131524600 swapFree=131071996/131071996
[pid=1039035] ppid=1039032 vsize=1166808 memory=1161580 CPUtime=3450.07 cores=0,2
/proc/1039035/stat : 1039035 (LS-MabSP) R 1039032 1039035 1034909 0 -1 4194304 329624 0 0 0 299295 45712 0 0 20 0 1 0 189020590 1194811392 290395 134679101440 4194304 15467897 140723661220864 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 42770432 140723661222943 140723661223044 140723661223044 140723661230061 0
/proc/1039035/statm: 291702 290395 2849 2753 0 288355 0
Current children cumulated CPU time: 3450.07 s
Current children cumulated vsize: 1166808 KiB
Current children cumulated memory: 1161580 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/257 1040536
/proc/meminfo: memFree=126364104/131524600 swapFree=131071996/131071996
[pid=1039035] ppid=1039032 vsize=1166808 memory=1161580 CPUtime=3509.94 cores=0,2
/proc/1039035/stat : 1039035 (LS-MabSP) R 1039032 1039035 1034909 0 -1 4194304 329627 0 0 0 303628 47366 0 0 20 0 1 0 189020590 1194811392 290395 134679101440 4194304 15467897 140723661220864 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 42770432 140723661222943 140723661223044 140723661223044 140723661230061 0
/proc/1039035/statm: 291702 290395 2849 2753 0 288355 0
Current children cumulated CPU time: 3509.94 s
Current children cumulated vsize: 1166808 KiB
Current children cumulated memory: 1161580 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/257 1040929
/proc/meminfo: memFree=126362812/131524600 swapFree=131071996/131071996
[pid=1039035] ppid=1039032 vsize=1166808 memory=1161580 CPUtime=3569.82 cores=0,2
/proc/1039035/stat : 1039035 (LS-MabSP) R 1039032 1039035 1034909 0 -1 4194304 329629 0 0 0 307977 49005 0 0 20 0 1 0 189020590 1194811392 290395 134679101440 4194304 15467897 140723661220864 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 42770432 140723661222943 140723661223044 140723661223044 140723661230061 0
/proc/1039035/statm: 291702 290395 2849 2753 0 288355 0
Current children cumulated CPU time: 3569.82 s
Current children cumulated vsize: 1166808 KiB
Current children cumulated memory: 1161580 KiB
[startup+3612.54 s]
# the end of solver process 1039035 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3101.65 s, system=498.356 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.14 4.12 4.09 5/257 1040929
/proc/meminfo: memFree=126362904/131524600 swapFree=131071996/131071996
[pid=1039035] ppid=1039032 vsize=1166808 memory=1161580 CPUtime=3571.52 cores=0,2
/proc/1039035/stat : 1039035 (LS-MabSP) R 1039032 1039035 1034909 0 -1 4194304 329629 0 0 0 308099 49053 0 0 20 0 1 0 189020590 1194811392 290395 134679101440 4194304 15467897 140723661220864 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 42770432 140723661222943 140723661223044 140723661223044 140723661230061 0
/proc/1039035/statm: 291702 290395 2849 2753 0 288355 0
Current children cumulated CPU time: 3571.52 s
Current children cumulated vsize: 1166808 KiB
Current children cumulated memory: 1161580 KiB
[startup+3596.8 s]
/proc/loadavg: 4.11 4.12 4.09 5/255 1040932
/proc/meminfo: memFree=126363032/131524600 swapFree=131071996/131071996
[pid=1039035] ppid=1039032 vsize=1166808 memory=1161580 CPUtime=3584.29 cores=0,2
/proc/1039035/stat : 1039035 (LS-MabSP) R 1039032 1039035 1034909 0 -1 4194304 329630 0 0 0 309018 49411 0 0 20 0 1 0 189020590 1194811392 290395 134679101440 4194304 15467897 140723661220864 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 42770432 140723661222943 140723661223044 140723661223044 140723661230061 0
/proc/1039035/statm: 291702 290395 2849 2753 0 288355 0
Current children cumulated CPU time: 3584.29 s
Current children cumulated vsize: 1166808 KiB
Current children cumulated memory: 1161580 KiB
[startup+3603.2 s]
/proc/loadavg: 4.18 4.13 4.10 5/255 1040932
/proc/meminfo: memFree=126363128/131524600 swapFree=131071996/131071996
[pid=1039035] ppid=1039032 vsize=1166808 memory=1161580 CPUtime=3590.68 cores=0,2
/proc/1039035/stat : 1039035 (LS-MabSP) R 1039032 1039035 1034909 0 -1 4194304 329630 0 0 0 309489 49579 0 0 20 0 1 0 189020590 1194811392 290395 134679101440 4194304 15467897 140723661220864 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 42770432 140723661222943 140723661223044 140723661223044 140723661230061 0
/proc/1039035/statm: 291702 290395 2849 2753 0 288355 0
Current children cumulated CPU time: 3590.68 s
Current children cumulated vsize: 1166808 KiB
Current children cumulated memory: 1161580 KiB
[startup+3606.4 s]
/proc/loadavg: 4.18 4.13 4.10 5/255 1040935
/proc/meminfo: memFree=126363072/131524600 swapFree=131071996/131071996
[pid=1039035] ppid=1039032 vsize=1166808 memory=1161580 CPUtime=3593.87 cores=0,2
/proc/1039035/stat : 1039035 (LS-MabSP) R 1039032 1039035 1034909 0 -1 4194304 329630 0 0 0 309718 49669 0 0 20 0 1 0 189020590 1194811392 290395 134679101440 4194304 15467897 140723661220864 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 42770432 140723661222943 140723661223044 140723661223044 140723661230061 0
/proc/1039035/statm: 291702 290395 2849 2753 0 288355 0
Current children cumulated CPU time: 3593.87 s
Current children cumulated vsize: 1166808 KiB
Current children cumulated memory: 1161580 KiB
[startup+3609.6 s]
/proc/loadavg: 3.92 4.08 4.08 2/234 1041028
/proc/meminfo: memFree=127416288/131524600 swapFree=131071996/131071996
[pid=1039035] ppid=1039032 vsize=1166808 memory=1161580 CPUtime=3597.06 cores=0,2
/proc/1039035/stat : 1039035 (LS-MabSP) R 1039032 1039035 1034909 0 -1 4194304 329630 0 0 0 309952 49754 0 0 20 0 1 0 189020590 1194811392 290395 134679101440 4194304 15467897 140723661220864 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 42770432 140723661222943 140723661223044 140723661223044 140723661230061 0
/proc/1039035/statm: 291702 290395 2849 2753 0 288355 0
Current children cumulated CPU time: 3597.06 s
Current children cumulated vsize: 1166808 KiB
Current children cumulated memory: 1161580 KiB
[startup+3611.2 s]
/proc/loadavg: 3.92 4.08 4.08 2/234 1041028
/proc/meminfo: memFree=127416288/131524600 swapFree=131071996/131071996
[pid=1039035] ppid=1039032 vsize=1166808 memory=1161580 CPUtime=3598.66 cores=0,2
/proc/1039035/stat : 1039035 (LS-MabSP) R 1039032 1039035 1034909 0 -1 4194304 329630 0 0 0 310068 49798 0 0 20 0 1 0 189020590 1194811392 290395 134679101440 4194304 15467897 140723661220864 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 42770432 140723661222943 140723661223044 140723661223044 140723661230061 0
/proc/1039035/statm: 291702 290395 2849 2753 0 288355 0
Current children cumulated CPU time: 3598.66 s
Current children cumulated vsize: 1166808 KiB
Current children cumulated memory: 1161580 KiB
[startup+3612 s]*
/proc/loadavg: 3.92 4.08 4.08 2/234 1041028
/proc/meminfo: memFree=127416296/131524600 swapFree=131071996/131071996
[pid=1039035] ppid=1039032 vsize=1166808 memory=1161580 CPUtime=3599.46 cores=0,2
/proc/1039035/stat : 1039035 (LS-MabSP) R 1039032 1039035 1034909 0 -1 4194304 329630 0 0 0 310125 49821 0 0 20 0 1 0 189020590 1194811392 290395 134679101440 4194304 15467897 140723661220864 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 42770432 140723661222943 140723661223044 140723661223044 140723661230061 0
/proc/1039035/statm: 291702 290395 2849 2753 0 288355 0
Current children cumulated CPU time: 3599.46 s
Current children cumulated vsize: 1166808 KiB
Current children cumulated memory: 1161580 KiB
[startup+3612.4 s]
/proc/loadavg: 3.92 4.08 4.08 2/234 1041028
/proc/meminfo: memFree=127416296/131524600 swapFree=131071996/131071996
[pid=1039035] ppid=1039032 vsize=1166808 memory=1161580 CPUtime=3599.86 cores=0,2
/proc/1039035/stat : 1039035 (LS-MabSP) R 1039032 1039035 1034909 0 -1 4194304 329631 0 0 0 310154 49832 0 0 20 0 1 0 189020590 1194811392 290395 134679101440 4194304 15467897 140723661220864 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 42770432 140723661222943 140723661223044 140723661223044 140723661230061 0
/proc/1039035/statm: 291702 290395 2849 2753 0 288355 0
Current children cumulated CPU time: 3599.86 s
Current children cumulated vsize: 1166808 KiB
Current children cumulated memory: 1161580 KiB
[startup+3612.5 s]
/proc/loadavg: 3.92 4.08 4.08 2/234 1041028
/proc/meminfo: memFree=127416296/131524600 swapFree=131071996/131071996
[pid=1039035] ppid=1039032 vsize=1166808 memory=1161580 CPUtime=3599.96 cores=0,2
/proc/1039035/stat : 1039035 (LS-MabSP) R 1039032 1039035 1034909 0 -1 4194304 329631 0 0 0 310162 49834 0 0 20 0 1 0 189020590 1194811392 290395 134679101440 4194304 15467897 140723661220864 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 42770432 140723661222943 140723661223044 140723661223044 140723661230061 0
/proc/1039035/statm: 291702 290395 2849 2753 0 288355 0
Current children cumulated CPU time: 3599.96 s
Current children cumulated vsize: 1166808 KiB
Current children cumulated memory: 1161580 KiB
Child status: 0
Real time (s): 3612.54
CPU time (s): 3600.01
CPU user time (s): 3101.65
CPU system time (s): 498.356
CPU usage (%): 99.6531
Max. virtual memory (cumulated for all children) (KiB): 1220820
Max. memory (cumulated for all children) (KiB): 1204896
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3101.65
system time used= 498.356
maximum resident set size= 1204896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 329636
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= 333
involuntary context switches= 25217
# summary of solver processes directly reported to runsolver:
# pid: 1039035
# total CPU time (s): 3600.01
# total CPU user time (s): 3101.65
# total CPU system time (s): 498.356
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.58833 second user time and 13.2479 second system time
The end
Begin job on nodeC030 at 2024-07-19 07:55:38
IDJOB=4448556
IDBENCH=160430
IDSOLVER=3047
FILE ID=nodeC030/4448556-1721368525
RUNJOBID= nodeC030-1721361319-1034919
SLURM_JOB_ID= 7542780
Free space on /tmp= 890032 MiB
SOLVER NAME= LS-MabSP 2024-07-10
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/EC_ODD_GRIDS/normalized-ECgrid5x90split.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-4448556-1721368525/watcher-4448556-1721368525 -o /tmp/evaluation-result-4448556-1721368525/solver-4448556-1721368525 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721361319-1034919 --watchdog 3760 ./LS-MabSP -f HOME/instance-4448556-1721368525.opb -t 3600 -s 67481427
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= e216a9526ca3dc38bcdba98c3f3990b1
RANDOM SEED=67481427
nodeC030.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 : 3657.687
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 : 6999.28
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 : 3679.223
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 : 7005.11
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 : 3640.707
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 : 6999.28
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 : 3599.991
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 : 7005.11
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 : 3650.811
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 : 6999.28
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 : 3679.170
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 : 7005.11
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 : 3660.169
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 : 6999.28
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.221
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 : 7005.11
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 127799792 kB
MemAvailable: 128934168 kB
Buffers: 498704 kB
Cached: 1463656 kB
SwapCached: 0 kB
Active: 1154828 kB
Inactive: 1940084 kB
Active(anon): 1524 kB
Inactive(anon): 1168128 kB
Active(file): 1153304 kB
Inactive(file): 771956 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 51604 kB
Writeback: 0 kB
AnonPages: 1131604 kB
Mapped: 140120 kB
Shmem: 37720 kB
KReclaimable: 97880 kB
Slab: 210900 kB
SReclaimable: 97880 kB
SUnreclaim: 113020 kB
KernelStack: 4140 kB
PageTables: 11348 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1613192 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 71328 kB
HardwareCorrupted: 0 kB
AnonHugePages: 966656 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: 234196 kB
DirectMap2M: 18413568 kB
DirectMap1G: 117440512 kB
Free space on /tmp at the end= 890064 MiB
End job on nodeC030 at 2024-07-19 08:55:51