844.66/847.82 c Filename:instance-4446606-1721343903.opb, Cutoff_time:3600, memory_limit_gb:500000
844.66/847.82 c Use Presolve
844.66/847.82 c Parse finsih
844.66/847.82 c Start Presolve
844.66/847.82 c After Reduce Vars: 17884 Clauses: 18307 Top clause weight: 1 Hard Clauses: 18307
3599.96/3610.73 c Use LS-small
3599.96/3610.73 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 (60334 MiB free)
memory of node 1: 64473 MiB (60916 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446606-1721343903/watcher-4446606-1721343903 -o /tmp/evaluation-result-4446606-1721343903/solver-4446606-1721343903 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721340304-984515 --watchdog 3760 ./LS-MabSP -f HOME/instance-4446606-1721343903.opb -t 3600 -s 1959206513
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=987130, runsolver pid=987127
[startup+0.100349 s]*
/proc/loadavg: 4.31 4.22 4.15 5/257 987131
/proc/meminfo: memFree=124153320/131524596 swapFree=131071996/131071996
[pid=987130] ppid=987127 vsize=24572 memory=11444 CPUtime=0.09 cores=0,2
/proc/987130/stat : 987130 (LS-MabSP) R 987127 987130 984505 0 -1 4194304 1888 0 0 0 9 0 0 0 20 0 1 0 186560804 25161728 2861 134679101440 4194304 15467897 140726134144832 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26316800 140726134146078 140726134146181 140726134146181 140726134153197 0
/proc/987130/statm: 6143 2861 1073 2753 0 2796 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 24572 KiB
Current children cumulated memory: 11444 KiB
[startup+0.20611 s]*
/proc/loadavg: 4.31 4.22 4.15 5/257 987131
/proc/meminfo: memFree=124150432/131524596 swapFree=131071996/131071996
[pid=987130] ppid=987127 vsize=26620 memory=13420 CPUtime=0.2 cores=0,2
/proc/987130/stat : 987130 (LS-MabSP) R 987127 987130 984505 0 -1 4194304 2398 0 0 0 20 0 0 0 20 0 1 0 186560804 27258880 3355 134679101440 4194304 15467897 140726134144832 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26316800 140726134146078 140726134146181 140726134146181 140726134153197 0
/proc/987130/statm: 6655 3355 1073 2753 0 3308 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 26620 KiB
Current children cumulated memory: 13420 KiB
[startup+0.306129 s]*
/proc/loadavg: 4.31 4.22 4.15 5/257 987131
/proc/meminfo: memFree=124131640/131524596 swapFree=131071996/131071996
[pid=987130] ppid=987127 vsize=44776 memory=31928 CPUtime=0.3 cores=0,2
/proc/987130/stat : 987130 (LS-MabSP) R 987127 987130 984505 0 -1 4194304 7849 0 0 0 29 1 0 0 20 0 1 0 186560804 45850624 7982 134679101440 4194304 15467897 140726134144832 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26316800 140726134146078 140726134146181 140726134146181 140726134153197 0
/proc/987130/statm: 11194 7982 1105 2753 0 7847 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 44776 KiB
Current children cumulated memory: 31928 KiB
[startup+0.700237 s]
/proc/loadavg: 4.31 4.22 4.15 5/257 987131
/proc/meminfo: memFree=124131484/131524596 swapFree=131071996/131071996
[pid=987130] ppid=987127 vsize=44776 memory=32372 CPUtime=0.68 cores=0,2
/proc/987130/stat : 987130 (LS-MabSP) R 987127 987130 984505 0 -1 4194304 7850 0 0 0 67 1 0 0 20 0 1 0 186560804 45850624 8093 134679101440 4194304 15467897 140726134144832 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26316800 140726134146078 140726134146181 140726134146181 140726134153197 0
/proc/987130/statm: 11194 8093 1153 2753 0 7847 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 44776 KiB
Current children cumulated memory: 32372 KiB
[startup+1.50025 s]
/proc/loadavg: 4.31 4.22 4.15 5/257 987131
/proc/meminfo: memFree=123973188/131524596 swapFree=131071996/131071996
[pid=987130] ppid=987127 vsize=44776 memory=32372 CPUtime=1.48 cores=0,2
/proc/987130/stat : 987130 (LS-MabSP) R 987127 987130 984505 0 -1 4194304 7850 0 0 0 147 1 0 0 20 0 1 0 186560804 45850624 8093 134679101440 4194304 15467897 140726134144832 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26316800 140726134146078 140726134146181 140726134146181 140726134153197 0
/proc/987130/statm: 11194 8093 1153 2753 0 7847 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 44776 KiB
Current children cumulated memory: 32372 KiB
[startup+3.10599 s]
/proc/loadavg: 4.31 4.22 4.15 5/257 987131
/proc/meminfo: memFree=123611152/131524596 swapFree=131071996/131071996
[pid=987130] ppid=987127 vsize=207664 memory=192764 CPUtime=3.08 cores=0,2
/proc/987130/stat : 987130 (LS-MabSP) R 987127 987130 984505 0 -1 4194304 47473 0 0 0 300 8 0 0 20 0 1 0 186560804 212647936 48191 134679101440 4194304 15467897 140726134144832 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26316800 140726134146078 140726134146181 140726134146181 140726134153197 0
/proc/987130/statm: 51916 48191 2721 2753 0 48569 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 207664 KiB
Current children cumulated memory: 192764 KiB
[startup+6.30025 s]
/proc/loadavg: 4.37 4.23 4.16 5/257 987133
/proc/meminfo: memFree=123593236/131524596 swapFree=131071996/131071996
[pid=987130] ppid=987127 vsize=215112 memory=200148 CPUtime=6.26 cores=0,2
/proc/987130/stat : 987130 (LS-MabSP) R 987127 987130 984505 0 -1 4194304 49337 0 0 0 618 8 0 0 20 0 1 0 186560804 220274688 50037 134679101440 4194304 15467897 140726134144832 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26316800 140726134146078 140726134146181 140726134146181 140726134153197 0
/proc/987130/statm: 53778 50037 2721 2753 0 50431 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 215112 KiB
Current children cumulated memory: 200148 KiB
[startup+12.7002 s]
/proc/loadavg: 4.42 4.25 4.16 5/257 987133
/proc/meminfo: memFree=123572116/131524596 swapFree=131071996/131071996
[pid=987130] ppid=987127 vsize=220980 memory=206000 CPUtime=12.64 cores=0,2
/proc/987130/stat : 987130 (LS-MabSP) R 987127 987130 984505 0 -1 4194304 50831 0 0 0 1256 8 0 0 20 0 1 0 186560804 226283520 51500 134679101440 4194304 15467897 140726134144832 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26316800 140726134146078 140726134146181 140726134146181 140726134153197 0
/proc/987130/statm: 55245 51500 2721 2753 0 51898 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 220980 KiB
Current children cumulated memory: 206000 KiB
[startup+25.5003 s]
/proc/loadavg: 4.51 4.27 4.17 5/257 987134
/proc/meminfo: memFree=123564048/131524596 swapFree=131071996/131071996
[pid=987130] ppid=987127 vsize=222952 memory=208096 CPUtime=25.4 cores=0,2
/proc/987130/stat : 987130 (LS-MabSP) R 987127 987130 984505 0 -1 4194304 51345 0 0 0 2531 9 0 0 20 0 1 0 186560804 228302848 52024 134679101440 4194304 15467897 140726134144832 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26316800 140726134146078 140726134146181 140726134146181 140726134153197 0
/proc/987130/statm: 55738 52024 2721 2753 0 52391 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 222952 KiB
Current children cumulated memory: 208096 KiB
[startup+51.1059 s]
/proc/loadavg: 4.37 4.26 4.17 5/255 987139
/proc/meminfo: memFree=123403720/131524596 swapFree=131071996/131071996
[pid=987130] ppid=987127 vsize=282704 memory=262752 CPUtime=50.91 cores=0,2
/proc/987130/stat : 987130 (LS-MabSP) R 987127 987130 984505 0 -1 4194304 65075 0 0 0 5080 11 0 0 20 0 1 0 186560804 289488896 65688 134679101440 4194304 15467897 140726134144832 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26316800 140726134146078 140726134146181 140726134146181 140726134153197 0
/proc/987130/statm: 70676 65688 2817 2753 0 67329 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 282704 KiB
Current children cumulated memory: 262752 KiB
[startup+102.3 s]
/proc/loadavg: 4.21 4.23 4.17 5/255 987147
/proc/meminfo: memFree=123302396/131524596 swapFree=131071996/131071996
[pid=987130] ppid=987127 vsize=288276 memory=269072 CPUtime=101.92 cores=0,2
/proc/987130/stat : 987130 (LS-MabSP) R 987127 987130 984505 0 -1 4194304 66121 0 0 0 10180 12 0 0 20 0 1 0 186560804 295194624 67268 134679101440 4194304 15467897 140726134144832 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26316800 140726134146078 140726134146181 140726134146181 140726134153197 0
/proc/987130/statm: 72069 67268 2833 2753 0 68722 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 288276 KiB
Current children cumulated memory: 269072 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.20 4.16 5/254 987159
/proc/meminfo: memFree=123293980/131524596 swapFree=131071996/131071996
[pid=987130] ppid=987127 vsize=288276 memory=269072 CPUtime=161.7 cores=0,2
/proc/987130/stat : 987130 (LS-MabSP) R 987127 987130 984505 0 -1 4194304 66126 0 0 0 16158 12 0 0 20 0 1 0 186560804 295194624 67268 134679101440 4194304 15467897 140726134144832 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26316800 140726134146078 140726134146181 140726134146181 140726134153197 0
/proc/987130/statm: 72069 67268 2833 2753 0 68722 0
Current children cumulated CPU time: 161.7 s
Current children cumulated vsize: 288276 KiB
Current children cumulated memory: 269072 KiB
[startup+222.3 s]
/proc/loadavg: 4.27 4.21 4.17 5/254 987169
/proc/meminfo: memFree=123099432/131524596 swapFree=131071996/131071996
[pid=987130] ppid=987127 vsize=356576 memory=335220 CPUtime=221.49 cores=0,2
/proc/987130/stat : 987130 (LS-MabSP) R 987127 987130 984505 0 -1 4194304 72496 0 0 0 22135 14 0 0 20 0 1 0 186560804 365133824 83805 134679101440 4194304 15467897 140726134144832 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26316800 140726134146078 140726134146181 140726134146181 140726134153197 0
/proc/987130/statm: 89144 83805 2849 2753 0 85797 0
Current children cumulated CPU time: 221.49 s
Current children cumulated vsize: 356576 KiB
Current children cumulated memory: 335220 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.19 4.16 5/254 987179
/proc/meminfo: memFree=123047680/131524596 swapFree=131071996/131071996
[pid=987130] ppid=987127 vsize=374220 memory=350092 CPUtime=281.26 cores=0,2
/proc/987130/stat : 987130 (LS-MabSP) R 987127 987130 984505 0 -1 4194304 76231 0 0 0 28111 15 0 0 20 0 1 0 186560804 383201280 87523 134679101440 4194304 15467897 140726134144832 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26316800 140726134146078 140726134146181 140726134146181 140726134153197 0
/proc/987130/statm: 93555 87523 2849 2753 0 90208 0
Current children cumulated CPU time: 281.26 s
Current children cumulated vsize: 374220 KiB
Current children cumulated memory: 350092 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.17 4.16 5/256 987195
/proc/meminfo: memFree=123030296/131524596 swapFree=131071996/131071996
[pid=987130] ppid=987127 vsize=380620 memory=354756 CPUtime=341.02 cores=0,2
/proc/987130/stat : 987130 (LS-MabSP) R 987127 987130 984505 0 -1 4194304 77437 0 0 0 34087 15 0 0 20 0 1 0 186560804 389754880 88689 134679101440 4194304 15467897 140726134144832 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26316800 140726134146078 140726134146181 140726134146181 140726134153197 0
/proc/987130/statm: 95155 88689 2849 2753 0 91808 0
Current children cumulated CPU time: 341.02 s
Current children cumulated vsize: 380620 KiB
Current children cumulated memory: 354756 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.15 4.15 5/257 987206
/proc/meminfo: memFree=122931820/131524596 swapFree=131071996/131071996
[pid=987130] ppid=987127 vsize=388800 memory=361172 CPUtime=400.79 cores=0,2
/proc/987130/stat : 987130 (LS-MabSP) R 987127 987130 984505 0 -1 4194304 79074 0 0 0 40063 16 0 0 20 0 1 0 186560804 398131200 90293 134679101440 4194304 15467897 140726134144832 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26316800 140726134146078 140726134146181 140726134146181 140726134153197 0
/proc/987130/statm: 97200 90293 2849 2753 0 93853 0
Current children cumulated CPU time: 400.79 s
Current children cumulated vsize: 388800 KiB
Current children cumulated memory: 361172 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 4.15 4.15 5/257 987217
/proc/meminfo: memFree=122884188/131524596 swapFree=131071996/131071996
[pid=987130] ppid=987127 vsize=393968 memory=365484 CPUtime=460.55 cores=0,2
/proc/987130/stat : 987130 (LS-MabSP) R 987127 987130 984505 0 -1 4194304 80167 0 0 0 46039 16 0 0 20 0 1 0 186560804 403423232 91371 134679101440 4194304 15467897 140726134144832 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26316800 140726134146078 140726134146181 140726134146181 140726134153197 0
/proc/987130/statm: 98492 91371 2849 2753 0 95145 0
################
# More data... #
################
/proc/loadavg: 4.42 4.33 4.21 5/257 988907
/proc/meminfo: memFree=122663756/131524596 swapFree=131071996/131071996
[pid=987130] ppid=987127 vsize=418460 memory=413036 CPUtime=3272.39 cores=0,2
/proc/987130/stat : 987130 (LS-MabSP) R 987127 987130 984505 0 -1 4194304 105839 0 0 0 322882 4357 0 0 20 0 1 0 186560804 428503040 103259 134679101440 4194304 15467897 140726134144832 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26316800 140726134146078 140726134146181 140726134146181 140726134153197 0
/proc/987130/statm: 104615 103259 2849 2753 0 101268 0
Current children cumulated CPU time: 3272.39 s
Current children cumulated vsize: 418460 KiB
Current children cumulated memory: 413036 KiB
[startup+3342.3 s]
/proc/loadavg: 4.19 4.29 4.19 5/257 988921
/proc/meminfo: memFree=122663004/131524596 swapFree=131071996/131071996
[pid=987130] ppid=987127 vsize=418460 memory=413036 CPUtime=3332.23 cores=0,2
/proc/987130/stat : 987130 (LS-MabSP) R 987127 987130 984505 0 -1 4194304 105860 0 0 0 328702 4521 0 0 20 0 1 0 186560804 428503040 103259 134679101440 4194304 15467897 140726134144832 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26316800 140726134146078 140726134146181 140726134146181 140726134153197 0
/proc/987130/statm: 104615 103259 2849 2753 0 101268 0
Current children cumulated CPU time: 3332.23 s
Current children cumulated vsize: 418460 KiB
Current children cumulated memory: 413036 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.26 4.19 5/257 988944
/proc/meminfo: memFree=122662424/131524596 swapFree=131071996/131071996
[pid=987130] ppid=987127 vsize=418460 memory=413036 CPUtime=3392.08 cores=0,2
/proc/987130/stat : 987130 (LS-MabSP) R 987127 987130 984505 0 -1 4194304 105881 0 0 0 334512 4696 0 0 20 0 1 0 186560804 428503040 103259 134679101440 4194304 15467897 140726134144832 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26316800 140726134146078 140726134146181 140726134146181 140726134153197 0
/proc/987130/statm: 104615 103259 2849 2753 0 101268 0
Current children cumulated CPU time: 3392.08 s
Current children cumulated vsize: 418460 KiB
Current children cumulated memory: 413036 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.23 4.18 5/257 988955
/proc/meminfo: memFree=122661616/131524596 swapFree=131071996/131071996
[pid=987130] ppid=987127 vsize=418460 memory=413036 CPUtime=3451.93 cores=0,2
/proc/987130/stat : 987130 (LS-MabSP) R 987127 987130 984505 0 -1 4194304 105902 0 0 0 340318 4875 0 0 20 0 1 0 186560804 428503040 103259 134679101440 4194304 15467897 140726134144832 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26316800 140726134146078 140726134146181 140726134146181 140726134153197 0
/proc/987130/statm: 104615 103259 2849 2753 0 101268 0
Current children cumulated CPU time: 3451.93 s
Current children cumulated vsize: 418460 KiB
Current children cumulated memory: 413036 KiB
[startup+3522.3 s]
/proc/loadavg: 4.26 4.26 4.19 5/256 989011
/proc/meminfo: memFree=122852136/131524596 swapFree=131071996/131071996
[pid=987130] ppid=987127 vsize=418460 memory=413036 CPUtime=3511.78 cores=0,2
/proc/987130/stat : 987130 (LS-MabSP) R 987127 987130 984505 0 -1 4194304 105923 0 0 0 346127 5051 0 0 20 0 1 0 186560804 428503040 103259 134679101440 4194304 15467897 140726134144832 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26316800 140726134146078 140726134146181 140726134146181 140726134153197 0
/proc/987130/statm: 104615 103259 2849 2753 0 101268 0
Current children cumulated CPU time: 3511.78 s
Current children cumulated vsize: 418460 KiB
Current children cumulated memory: 413036 KiB
[startup+3582.3 s]
/proc/loadavg: 4.20 4.24 4.18 5/256 989023
/proc/meminfo: memFree=122844032/131524596 swapFree=131071996/131071996
[pid=987130] ppid=987127 vsize=418460 memory=413036 CPUtime=3571.63 cores=0,2
/proc/987130/stat : 987130 (LS-MabSP) R 987127 987130 984505 0 -1 4194304 105944 0 0 0 351934 5229 0 0 20 0 1 0 186560804 428503040 103259 134679101440 4194304 15467897 140726134144832 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26316800 140726134146078 140726134146181 140726134146181 140726134153197 0
/proc/987130/statm: 104615 103259 2849 2753 0 101268 0
Current children cumulated CPU time: 3571.63 s
Current children cumulated vsize: 418460 KiB
Current children cumulated memory: 413036 KiB
[startup+3610.74 s]
# the end of solver process 987130 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3546.88 s, system=53.1292 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.20 4.24 4.18 5/256 989023
/proc/meminfo: memFree=122844004/131524596 swapFree=131071996/131071996
[pid=987130] ppid=987127 vsize=418460 memory=413036 CPUtime=3573.34 cores=0,2
/proc/987130/stat : 987130 (LS-MabSP) R 987127 987130 984505 0 -1 4194304 105965 0 0 0 352099 5235 0 0 20 0 1 0 186560804 428503040 103259 134679101440 4194304 15467897 140726134144832 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26316800 140726134146078 140726134146181 140726134146181 140726134153197 0
/proc/987130/statm: 104615 103259 2849 2753 0 101268 0
Current children cumulated CPU time: 3573.34 s
Current children cumulated vsize: 418460 KiB
Current children cumulated memory: 413036 KiB
[startup+3596.8 s]
/proc/loadavg: 4.16 4.23 4.18 5/256 989027
/proc/meminfo: memFree=122843628/131524596 swapFree=131071996/131071996
[pid=987130] ppid=987127 vsize=418460 memory=413036 CPUtime=3586.1 cores=0,2
/proc/987130/stat : 987130 (LS-MabSP) R 987127 987130 984505 0 -1 4194304 105965 0 0 0 353338 5272 0 0 20 0 1 0 186560804 428503040 103259 134679101440 4194304 15467897 140726134144832 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26316800 140726134146078 140726134146181 140726134146181 140726134153197 0
/proc/987130/statm: 104615 103259 2849 2753 0 101268 0
Current children cumulated CPU time: 3586.1 s
Current children cumulated vsize: 418460 KiB
Current children cumulated memory: 413036 KiB
[startup+3603.2 s]
/proc/loadavg: 4.14 4.22 4.18 5/256 989027
/proc/meminfo: memFree=122843560/131524596 swapFree=131071996/131071996
[pid=987130] ppid=987127 vsize=418460 memory=413036 CPUtime=3592.49 cores=0,2
/proc/987130/stat : 987130 (LS-MabSP) R 987127 987130 984505 0 -1 4194304 105965 0 0 0 353960 5289 0 0 20 0 1 0 186560804 428503040 103259 134679101440 4194304 15467897 140726134144832 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26316800 140726134146078 140726134146181 140726134146181 140726134153197 0
/proc/987130/statm: 104615 103259 2849 2753 0 101268 0
Current children cumulated CPU time: 3592.49 s
Current children cumulated vsize: 418460 KiB
Current children cumulated memory: 413036 KiB
[startup+3606.4 s]
/proc/loadavg: 4.13 4.22 4.18 5/256 989075
/proc/meminfo: memFree=123147712/131524596 swapFree=131071996/131071996
[pid=987130] ppid=987127 vsize=418460 memory=413036 CPUtime=3595.68 cores=0,2
/proc/987130/stat : 987130 (LS-MabSP) R 987127 987130 984505 0 -1 4194304 105965 0 0 0 354268 5300 0 0 20 0 1 0 186560804 428503040 103259 134679101440 4194304 15467897 140726134144832 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26316800 140726134146078 140726134146181 140726134146181 140726134153197 0
/proc/987130/statm: 104615 103259 2849 2753 0 101268 0
Current children cumulated CPU time: 3595.68 s
Current children cumulated vsize: 418460 KiB
Current children cumulated memory: 413036 KiB
[startup+3608 s]*
/proc/loadavg: 4.13 4.22 4.18 5/256 989075
/proc/meminfo: memFree=123146740/131524596 swapFree=131071996/131071996
[pid=987130] ppid=987127 vsize=418460 memory=413036 CPUtime=3597.28 cores=0,2
/proc/987130/stat : 987130 (LS-MabSP) R 987127 987130 984505 0 -1 4194304 105965 0 0 0 354424 5304 0 0 20 0 1 0 186560804 428503040 103259 134679101440 4194304 15467897 140726134144832 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26316800 140726134146078 140726134146181 140726134146181 140726134153197 0
/proc/987130/statm: 104615 103259 2849 2753 0 101268 0
Current children cumulated CPU time: 3597.28 s
Current children cumulated vsize: 418460 KiB
Current children cumulated memory: 413036 KiB
[startup+3609.6 s]
/proc/loadavg: 4.13 4.22 4.18 5/256 989121
/proc/meminfo: memFree=123533536/131524596 swapFree=131071996/131071996
[pid=987130] ppid=987127 vsize=418460 memory=413036 CPUtime=3598.87 cores=0,2
/proc/987130/stat : 987130 (LS-MabSP) R 987127 987130 984505 0 -1 4194304 105965 0 0 0 354578 5309 0 0 20 0 1 0 186560804 428503040 103259 134679101440 4194304 15467897 140726134144832 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26316800 140726134146078 140726134146181 140726134146181 140726134153197 0
/proc/987130/statm: 104615 103259 2849 2753 0 101268 0
Current children cumulated CPU time: 3598.87 s
Current children cumulated vsize: 418460 KiB
Current children cumulated memory: 413036 KiB
[startup+3610.4 s]
/proc/loadavg: 4.13 4.22 4.18 5/256 989121
/proc/meminfo: memFree=123478020/131524596 swapFree=131071996/131071996
[pid=987130] ppid=987127 vsize=418460 memory=413036 CPUtime=3599.66 cores=0,2
/proc/987130/stat : 987130 (LS-MabSP) R 987127 987130 984505 0 -1 4194304 105965 0 0 0 354655 5311 0 0 20 0 1 0 186560804 428503040 103259 134679101440 4194304 15467897 140726134144832 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26316800 140726134146078 140726134146181 140726134146181 140726134153197 0
/proc/987130/statm: 104615 103259 2849 2753 0 101268 0
Current children cumulated CPU time: 3599.66 s
Current children cumulated vsize: 418460 KiB
Current children cumulated memory: 413036 KiB
[startup+3610.6 s]
/proc/loadavg: 4.13 4.22 4.18 5/256 989121
/proc/meminfo: memFree=123478020/131524596 swapFree=131071996/131071996
[pid=987130] ppid=987127 vsize=418460 memory=413036 CPUtime=3599.86 cores=0,2
/proc/987130/stat : 987130 (LS-MabSP) R 987127 987130 984505 0 -1 4194304 105965 0 0 0 354674 5312 0 0 20 0 1 0 186560804 428503040 103259 134679101440 4194304 15467897 140726134144832 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26316800 140726134146078 140726134146181 140726134146181 140726134153197 0
/proc/987130/statm: 104615 103259 2849 2753 0 101268 0
Current children cumulated CPU time: 3599.86 s
Current children cumulated vsize: 418460 KiB
Current children cumulated memory: 413036 KiB
[startup+3610.7 s]
/proc/loadavg: 4.13 4.22 4.18 5/256 989121
/proc/meminfo: memFree=123478020/131524596 swapFree=131071996/131071996
[pid=987130] ppid=987127 vsize=418460 memory=413036 CPUtime=3599.96 cores=0,2
/proc/987130/stat : 987130 (LS-MabSP) R 987127 987130 984505 0 -1 4194304 105965 0 0 0 354684 5312 0 0 20 0 1 0 186560804 428503040 103259 134679101440 4194304 15467897 140726134144832 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26316800 140726134146078 140726134146181 140726134146181 140726134153197 0
/proc/987130/statm: 104615 103259 2849 2753 0 101268 0
Current children cumulated CPU time: 3599.96 s
Current children cumulated vsize: 418460 KiB
Current children cumulated memory: 413036 KiB
Child status: 0
Real time (s): 3610.74
CPU time (s): 3600.01
CPU user time (s): 3546.88
CPU system time (s): 53.1292
CPU usage (%): 99.7028
Max. virtual memory (cumulated for all children) (KiB): 490640
Max. memory (cumulated for all children) (KiB): 477592
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3546.88
system time used= 53.1292
maximum resident set size= 477592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 105970
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= 30
involuntary context switches= 24659
# summary of solver processes directly reported to runsolver:
# pid: 987130
# total CPU time (s): 3600.01
# total CPU user time (s): 3546.88
# total CPU system time (s): 53.1292
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.49869 second user time and 16.4651 second system time
The end
Begin job on nodeC034 at 2024-07-19 01:05:15
IDJOB=4446606
IDBENCH=158283
IDSOLVER=3047
FILE ID=nodeC034/4446606-1721343903
RUNJOBID= nodeC034-1721340304-984515
SLURM_JOB_ID= 7542721
Free space on /tmp= 890032 MiB
SOLVER NAME= LS-MabSP 2024-07-10
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K157.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-4446606-1721343903/watcher-4446606-1721343903 -o /tmp/evaluation-result-4446606-1721343903/solver-4446606-1721343903 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721340304-984515 --watchdog 3760 ./LS-MabSP -f HOME/instance-4446606-1721343903.opb -t 3600 -s 1959206513
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 1aa29222329f307e3e004dcb472df849
RANDOM SEED=1959206513
nodeC034.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 : 3662.650
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.99
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 : 3673.196
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.58
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 : 3660.040
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.99
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.414
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.58
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 : 3662.518
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.99
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 : 3673.219
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.58
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 : 3600.305
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.99
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.010
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.58
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524596 kB
MemFree: 124161492 kB
MemAvailable: 129408240 kB
Buffers: 498496 kB
Cached: 5522636 kB
SwapCached: 0 kB
Active: 998376 kB
Inactive: 5614496 kB
Active(anon): 1508 kB
Inactive(anon): 627948 kB
Active(file): 996868 kB
Inactive(file): 4986548 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 69832 kB
Writeback: 32 kB
AnonPages: 591800 kB
Mapped: 126180 kB
Shmem: 37720 kB
KReclaimable: 206312 kB
Slab: 332612 kB
SReclaimable: 206312 kB
SUnreclaim: 126300 kB
KernelStack: 4128 kB
PageTables: 10072 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834292 kB
Committed_AS: 896120 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 70944 kB
HardwareCorrupted: 0 kB
AnonHugePages: 249856 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: 307924 kB
DirectMap2M: 41408512 kB
DirectMap1G: 94371840 kB
Free space on /tmp at the end= 890016 MiB
End job on nodeC034 at 2024-07-19 02:05:26