701.14/703.07 c Filename:instance-4446576-1721343902.opb, Cutoff_time:3600, memory_limit_gb:500000
701.14/703.07 c Use Presolve
701.14/703.07 c Parse finsih
701.14/703.07 c Start Presolve
701.14/703.07 c After Reduce Vars: 17168 Clauses: 17579 Top clause weight: 1 Hard Clauses: 17579
3599.90/3608.79 c Use LS-small
3599.90/3608.79 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 (59451 MiB free)
memory of node 1: 64473 MiB (60943 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446576-1721343902/watcher-4446576-1721343902 -o /tmp/evaluation-result-4446576-1721343902/solver-4446576-1721343902 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721340304-984518 --watchdog 3760 ./LS-MabSP -f HOME/instance-4446576-1721343902.opb -t 3600 -s 1959206513
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=987084, runsolver pid=987081
Current StackSize limit: 8192 KiB
[startup+0.100085 s]*
/proc/loadavg: 4.34 4.22 4.15 5/257 987085
/proc/meminfo: memFree=123269200/131524596 swapFree=131071996/131071996
[pid=987084] ppid=987081 vsize=24428 memory=11312 CPUtime=0.1 cores=5,7
/proc/987084/stat : 987084 (LS-MabSP) R 987081 987084 984505 0 -1 4194304 1895 0 0 0 10 0 0 0 20 0 1 0 186560745 25014272 2828 134679101440 4194304 15467897 140735369968256 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 35618816 140735369970718 140735369970821 140735369970821 140735369977837 0
/proc/987084/statm: 6107 2828 1073 2753 0 2760 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 24428 KiB
Current children cumulated memory: 11312 KiB
[startup+0.205791 s]*
/proc/loadavg: 4.34 4.22 4.15 4/255 987085
/proc/meminfo: memFree=124140140/131524596 swapFree=131071996/131071996
[pid=987084] ppid=987081 vsize=26476 memory=13500 CPUtime=0.2 cores=5,7
/proc/987084/stat : 987084 (LS-MabSP) R 987081 987084 984505 0 -1 4194304 2410 0 0 0 20 0 0 0 20 0 1 0 186560745 27111424 3375 134679101440 4194304 15467897 140735369968256 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 35618816 140735369970718 140735369970821 140735369970821 140735369977837 0
/proc/987084/statm: 6619 3375 1073 2753 0 3272 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 26476 KiB
Current children cumulated memory: 13500 KiB
[startup+0.305622 s]*
/proc/loadavg: 4.34 4.22 4.15 5/255 987085
/proc/meminfo: memFree=124119412/131524596 swapFree=131071996/131071996
[pid=987084] ppid=987081 vsize=44036 memory=31132 CPUtime=0.3 cores=5,7
/proc/987084/stat : 987084 (LS-MabSP) R 987081 987084 984505 0 -1 4194304 7581 0 0 0 30 0 0 0 20 0 1 0 186560745 45092864 7783 134679101440 4194304 15467897 140735369968256 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 35618816 140735369970718 140735369970821 140735369970821 140735369977837 0
/proc/987084/statm: 11009 7783 1105 2753 0 7662 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 44036 KiB
Current children cumulated memory: 31132 KiB
[startup+0.700164 s]
/proc/loadavg: 4.34 4.22 4.15 4/251 987116
/proc/meminfo: memFree=124178540/131524596 swapFree=131071996/131071996
[pid=987084] ppid=987081 vsize=44036 memory=31132 CPUtime=0.68 cores=5,7
/proc/987084/stat : 987084 (LS-MabSP) R 987081 987084 984505 0 -1 4194304 7582 0 0 0 68 0 0 0 20 0 1 0 186560745 45092864 7783 134679101440 4194304 15467897 140735369968256 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 35618816 140735369970718 140735369970821 140735369970821 140735369977837 0
/proc/987084/statm: 11009 7783 1105 2753 0 7662 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 44036 KiB
Current children cumulated memory: 31132 KiB
[startup+1.50023 s]
/proc/loadavg: 4.31 4.22 4.15 5/257 987131
/proc/meminfo: memFree=124131612/131524596 swapFree=131071996/131071996
[pid=987084] ppid=987081 vsize=44036 memory=31132 CPUtime=1.48 cores=5,7
/proc/987084/stat : 987084 (LS-MabSP) R 987081 987084 984505 0 -1 4194304 7582 0 0 0 148 0 0 0 20 0 1 0 186560745 45092864 7783 134679101440 4194304 15467897 140735369968256 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 35618816 140735369970718 140735369970821 140735369970821 140735369977837 0
/proc/987084/statm: 11009 7783 1105 2753 0 7662 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 44036 KiB
Current children cumulated memory: 31132 KiB
[startup+3.10608 s]
/proc/loadavg: 4.31 4.22 4.15 5/257 987131
/proc/meminfo: memFree=123664188/131524596 swapFree=131071996/131071996
[pid=987084] ppid=987081 vsize=211440 memory=197388 CPUtime=3.09 cores=5,7
/proc/987084/stat : 987084 (LS-MabSP) R 987081 987084 984505 0 -1 4194304 47003 0 0 0 302 7 0 0 20 0 1 0 186560745 216514560 49347 134679101440 4194304 15467897 140735369968256 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 35618816 140735369970718 140735369970821 140735369970821 140735369977837 0
/proc/987084/statm: 52860 49347 2721 2753 0 49513 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 211440 KiB
Current children cumulated memory: 197388 KiB
[startup+6.30022 s]
/proc/loadavg: 4.37 4.23 4.16 5/257 987131
/proc/meminfo: memFree=123593592/131524596 swapFree=131071996/131071996
[pid=987084] ppid=987081 vsize=213856 memory=200024 CPUtime=6.27 cores=5,7
/proc/987084/stat : 987084 (LS-MabSP) R 987081 987084 984505 0 -1 4194304 47632 0 0 0 620 7 0 0 20 0 1 0 186560745 218988544 50006 134679101440 4194304 15467897 140735369968256 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 35618816 140735369970718 140735369970821 140735369970821 140735369977837 0
/proc/987084/statm: 53464 50006 2721 2753 0 50117 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 213856 KiB
Current children cumulated memory: 200024 KiB
[startup+12.7002 s]
/proc/loadavg: 4.42 4.25 4.16 5/257 987133
/proc/meminfo: memFree=123572844/131524596 swapFree=131071996/131071996
[pid=987084] ppid=987081 vsize=219732 memory=205632 CPUtime=12.65 cores=5,7
/proc/987084/stat : 987084 (LS-MabSP) R 987081 987084 984505 0 -1 4194304 49139 0 0 0 1258 7 0 0 20 0 1 0 186560745 225005568 51408 134679101440 4194304 15467897 140735369968256 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 35618816 140735369970718 140735369970821 140735369970821 140735369977837 0
/proc/987084/statm: 54933 51408 2721 2753 0 51586 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 219732 KiB
Current children cumulated memory: 205632 KiB
[startup+25.5002 s]
/proc/loadavg: 4.51 4.27 4.17 5/257 987134
/proc/meminfo: memFree=123564384/131524596 swapFree=131071996/131071996
[pid=987084] ppid=987081 vsize=221540 memory=207440 CPUtime=25.42 cores=5,7
/proc/987084/stat : 987084 (LS-MabSP) R 987081 987084 984505 0 -1 4194304 49606 0 0 0 2535 7 0 0 20 0 1 0 186560745 226856960 51860 134679101440 4194304 15467897 140735369968256 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 35618816 140735369970718 140735369970821 140735369970821 140735369977837 0
/proc/987084/statm: 55385 51860 2721 2753 0 52038 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 221540 KiB
Current children cumulated memory: 207440 KiB
[startup+51.1058 s]
/proc/loadavg: 4.37 4.26 4.17 5/255 987139
/proc/meminfo: memFree=123404084/131524596 swapFree=131071996/131071996
[pid=987084] ppid=987081 vsize=278088 memory=260492 CPUtime=50.95 cores=5,7
/proc/987084/stat : 987084 (LS-MabSP) R 987081 987084 984505 0 -1 4194304 62994 0 0 0 5086 9 0 0 20 0 1 0 186560745 284762112 65123 134679101440 4194304 15467897 140735369968256 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 35618816 140735369970718 140735369970821 140735369970821 140735369977837 0
/proc/987084/statm: 69522 65123 2817 2753 0 66175 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 278088 KiB
Current children cumulated memory: 260492 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=987084] ppid=987081 vsize=280504 memory=263716 CPUtime=102.01 cores=5,7
/proc/987084/stat : 987084 (LS-MabSP) R 987081 987084 984505 0 -1 4194304 63736 0 0 0 10191 10 0 0 20 0 1 0 186560745 287236096 65929 134679101440 4194304 15467897 140735369968256 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 35618816 140735369970718 140735369970821 140735369970821 140735369977837 0
/proc/987084/statm: 70126 65929 2833 2753 0 66779 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 280504 KiB
Current children cumulated memory: 263716 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.20 4.16 5/254 987159
/proc/meminfo: memFree=123295836/131524596 swapFree=131071996/131071996
[pid=987084] ppid=987081 vsize=281052 memory=264232 CPUtime=161.83 cores=5,7
/proc/987084/stat : 987084 (LS-MabSP) R 987081 987084 984505 0 -1 4194304 63892 0 0 0 16173 10 0 0 20 0 1 0 186560745 287797248 66058 134679101440 4194304 15467897 140735369968256 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 35618816 140735369970718 140735369970821 140735369970821 140735369977837 0
/proc/987084/statm: 70263 66058 2833 2753 0 66916 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 281052 KiB
Current children cumulated memory: 264232 KiB
[startup+222.3 s]
/proc/loadavg: 4.27 4.21 4.17 5/254 987169
/proc/meminfo: memFree=123099468/131524596 swapFree=131071996/131071996
[pid=987084] ppid=987081 vsize=353160 memory=333052 CPUtime=221.67 cores=5,7
/proc/987084/stat : 987084 (LS-MabSP) R 987081 987084 984505 0 -1 4194304 71436 0 0 0 22155 12 0 0 20 0 1 0 186560745 361635840 83263 134679101440 4194304 15467897 140735369968256 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 35618816 140735369970718 140735369970821 140735369970821 140735369977837 0
/proc/987084/statm: 88290 83263 2849 2753 0 84943 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 353160 KiB
Current children cumulated memory: 333052 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=987084] ppid=987081 vsize=366256 memory=344756 CPUtime=281.51 cores=5,7
/proc/987084/stat : 987084 (LS-MabSP) R 987081 987084 984505 0 -1 4194304 74458 0 0 0 28138 13 0 0 20 0 1 0 186560745 375046144 86189 134679101440 4194304 15467897 140735369968256 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 35618816 140735369970718 140735369970821 140735369970821 140735369977837 0
/proc/987084/statm: 91564 86189 2849 2753 0 88217 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 366256 KiB
Current children cumulated memory: 344756 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.17 4.16 5/256 987195
/proc/meminfo: memFree=123030288/131524596 swapFree=131071996/131071996
[pid=987084] ppid=987081 vsize=374200 memory=351196 CPUtime=341.36 cores=5,7
/proc/987084/stat : 987084 (LS-MabSP) R 987081 987084 984505 0 -1 4194304 76098 0 0 0 34122 14 0 0 20 0 1 0 186560745 383180800 87799 134679101440 4194304 15467897 140735369968256 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 35618816 140735369970718 140735369970821 140735369970821 140735369977837 0
/proc/987084/statm: 93550 87799 2849 2753 0 90203 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 374200 KiB
Current children cumulated memory: 351196 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.15 4.15 5/257 987206
/proc/meminfo: memFree=122932016/131524596 swapFree=131071996/131071996
[pid=987084] ppid=987081 vsize=384076 memory=362100 CPUtime=401.2 cores=5,7
/proc/987084/stat : 987084 (LS-MabSP) R 987081 987084 984505 0 -1 4194304 78573 0 0 0 40105 15 0 0 20 0 1 0 186560745 393293824 90525 134679101440 4194304 15467897 140735369968256 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 35618816 140735369970718 140735369970821 140735369970821 140735369977837 0
/proc/987084/statm: 96019 90525 2849 2753 0 92672 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 384076 KiB
Current children cumulated memory: 362100 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=987084] ppid=987081 vsize=387608 memory=367092 CPUtime=461.04 cores=5,7
/proc/987084/stat : 987084 (LS-MabSP) R 987081 987084 984505 0 -1 4194304 79298 0 0 0 46089 15 0 0 20 0 1 0 186560745 396910592 91773 134679101440 4194304 15467897 140735369968256 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 35618816 140735369970718 140735369970821 140735369970821 140735369977837 0
/proc/987084/statm: 96902 91773 2849 2753 0 93555 0
################
# More data... #
################
Current children cumulated memory: 407256 KiB
[startup+3162.3 s]
/proc/loadavg: 4.20 4.31 4.18 5/255 988716
/proc/meminfo: memFree=122665544/131524596 swapFree=131071996/131071996
[pid=987084] ppid=987081 vsize=411516 memory=407256 CPUtime=3154.55 cores=5,7
/proc/987084/stat : 987084 (LS-MabSP) R 987081 987084 984505 0 -1 4194304 102912 0 0 0 311393 4062 0 0 20 0 1 0 186560745 421392384 101814 134679101440 4194304 15467897 140735369968256 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 35618816 140735369970718 140735369970821 140735369970821 140735369977837 0
/proc/987084/statm: 102879 101814 3195 2753 0 99532 0
Current children cumulated CPU time: 3154.55 s
Current children cumulated vsize: 411516 KiB
Current children cumulated memory: 407256 KiB
[startup+3222.3 s]
/proc/loadavg: 4.17 4.28 4.18 5/257 988897
/proc/meminfo: memFree=122664476/131524596 swapFree=131071996/131071996
[pid=987084] ppid=987081 vsize=411516 memory=407256 CPUtime=3214.41 cores=5,7
/proc/987084/stat : 987084 (LS-MabSP) R 987081 987084 984505 0 -1 4194304 102931 0 0 0 317201 4240 0 0 20 0 1 0 186560745 421392384 101814 134679101440 4194304 15467897 140735369968256 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 35618816 140735369970718 140735369970821 140735369970821 140735369977837 0
/proc/987084/statm: 102879 101814 3195 2753 0 99532 0
Current children cumulated CPU time: 3214.41 s
Current children cumulated vsize: 411516 KiB
Current children cumulated memory: 407256 KiB
[startup+3282.3 s]
/proc/loadavg: 4.42 4.33 4.21 5/257 988907
/proc/meminfo: memFree=122663756/131524596 swapFree=131071996/131071996
[pid=987084] ppid=987081 vsize=411516 memory=407256 CPUtime=3274.28 cores=5,7
/proc/987084/stat : 987084 (LS-MabSP) R 987081 987084 984505 0 -1 4194304 102950 0 0 0 323009 4419 0 0 20 0 1 0 186560745 421392384 101814 134679101440 4194304 15467897 140735369968256 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 35618816 140735369970718 140735369970821 140735369970821 140735369977837 0
/proc/987084/statm: 102879 101814 3195 2753 0 99532 0
Current children cumulated CPU time: 3274.28 s
Current children cumulated vsize: 411516 KiB
Current children cumulated memory: 407256 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=987084] ppid=987081 vsize=411516 memory=407256 CPUtime=3334.14 cores=5,7
/proc/987084/stat : 987084 (LS-MabSP) R 987081 987084 984505 0 -1 4194304 102969 0 0 0 328818 4596 0 0 20 0 1 0 186560745 421392384 101814 134679101440 4194304 15467897 140735369968256 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 35618816 140735369970718 140735369970821 140735369970821 140735369977837 0
/proc/987084/statm: 102879 101814 3195 2753 0 99532 0
Current children cumulated CPU time: 3334.14 s
Current children cumulated vsize: 411516 KiB
Current children cumulated memory: 407256 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.26 4.19 5/257 988944
/proc/meminfo: memFree=122662432/131524596 swapFree=131071996/131071996
[pid=987084] ppid=987081 vsize=411516 memory=407256 CPUtime=3394 cores=5,7
/proc/987084/stat : 987084 (LS-MabSP) R 987081 987084 984505 0 -1 4194304 102988 0 0 0 334628 4772 0 0 20 0 1 0 186560745 421392384 101814 134679101440 4194304 15467897 140735369968256 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 35618816 140735369970718 140735369970821 140735369970821 140735369977837 0
/proc/987084/statm: 102879 101814 3195 2753 0 99532 0
Current children cumulated CPU time: 3394 s
Current children cumulated vsize: 411516 KiB
Current children cumulated memory: 407256 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=987084] ppid=987081 vsize=411516 memory=407256 CPUtime=3453.86 cores=5,7
/proc/987084/stat : 987084 (LS-MabSP) R 987081 987084 984505 0 -1 4194304 103007 0 0 0 340435 4951 0 0 20 0 1 0 186560745 421392384 101814 134679101440 4194304 15467897 140735369968256 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 35618816 140735369970718 140735369970821 140735369970821 140735369977837 0
/proc/987084/statm: 102879 101814 3195 2753 0 99532 0
Current children cumulated CPU time: 3453.86 s
Current children cumulated vsize: 411516 KiB
Current children cumulated memory: 407256 KiB
[startup+3522.3 s]
/proc/loadavg: 4.26 4.26 4.19 5/256 989011
/proc/meminfo: memFree=122852240/131524596 swapFree=131071996/131071996
[pid=987084] ppid=987081 vsize=411516 memory=407256 CPUtime=3513.72 cores=5,7
/proc/987084/stat : 987084 (LS-MabSP) R 987081 987084 984505 0 -1 4194304 103026 0 0 0 346241 5131 0 0 20 0 1 0 186560745 421392384 101814 134679101440 4194304 15467897 140735369968256 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 35618816 140735369970718 140735369970821 140735369970821 140735369977837 0
/proc/987084/statm: 102879 101814 3195 2753 0 99532 0
Current children cumulated CPU time: 3513.72 s
Current children cumulated vsize: 411516 KiB
Current children cumulated memory: 407256 KiB
[startup+3582.3 s]
/proc/loadavg: 4.20 4.24 4.18 5/256 989023
/proc/meminfo: memFree=122844024/131524596 swapFree=131071996/131071996
[pid=987084] ppid=987081 vsize=411516 memory=407256 CPUtime=3573.56 cores=5,7
/proc/987084/stat : 987084 (LS-MabSP) R 987081 987084 984505 0 -1 4194304 103045 0 0 0 352054 5302 0 0 20 0 1 0 186560745 421392384 101814 134679101440 4194304 15467897 140735369968256 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 35618816 140735369970718 140735369970821 140735369970821 140735369977837 0
/proc/987084/statm: 102879 101814 3195 2753 0 99532 0
Current children cumulated CPU time: 3573.56 s
Current children cumulated vsize: 411516 KiB
Current children cumulated memory: 407256 KiB
[startup+3608.81 s]
# the end of solver process 987084 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3546.2 s, system=53.8028 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=987084] ppid=987081 vsize=411516 memory=407256 CPUtime=3575.26 cores=5,7
/proc/987084/stat : 987084 (LS-MabSP) R 987081 987084 984505 0 -1 4194304 103045 0 0 0 352219 5307 0 0 20 0 1 0 186560745 421392384 101814 134679101440 4194304 15467897 140735369968256 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 35618816 140735369970718 140735369970821 140735369970821 140735369977837 0
/proc/987084/statm: 102879 101814 3195 2753 0 99532 0
Current children cumulated CPU time: 3575.26 s
Current children cumulated vsize: 411516 KiB
Current children cumulated memory: 407256 KiB
[startup+3596.8 s]
/proc/loadavg: 4.17 4.23 4.18 5/256 989025
/proc/meminfo: memFree=122843860/131524596 swapFree=131071996/131071996
[pid=987084] ppid=987081 vsize=411516 memory=407256 CPUtime=3588.02 cores=5,7
/proc/987084/stat : 987084 (LS-MabSP) R 987081 987084 984505 0 -1 4194304 103045 0 0 0 353457 5345 0 0 20 0 1 0 186560745 421392384 101814 134679101440 4194304 15467897 140735369968256 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 35618816 140735369970718 140735369970821 140735369970821 140735369977837 0
/proc/987084/statm: 102879 101814 3195 2753 0 99532 0
Current children cumulated CPU time: 3588.02 s
Current children cumulated vsize: 411516 KiB
Current children cumulated memory: 407256 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=987084] ppid=987081 vsize=411516 memory=407256 CPUtime=3594.41 cores=5,7
/proc/987084/stat : 987084 (LS-MabSP) R 987081 987084 984505 0 -1 4194304 103045 0 0 0 354077 5364 0 0 20 0 1 0 186560745 421392384 101814 134679101440 4194304 15467897 140735369968256 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 35618816 140735369970718 140735369970821 140735369970821 140735369977837 0
/proc/987084/statm: 102879 101814 3195 2753 0 99532 0
Current children cumulated CPU time: 3594.41 s
Current children cumulated vsize: 411516 KiB
Current children cumulated memory: 407256 KiB
[startup+3606.4 s]
/proc/loadavg: 4.14 4.22 4.18 5/256 989073
/proc/meminfo: memFree=123147832/131524596 swapFree=131071996/131071996
[pid=987084] ppid=987081 vsize=411516 memory=407256 CPUtime=3597.6 cores=5,7
/proc/987084/stat : 987084 (LS-MabSP) R 987081 987084 984505 0 -1 4194304 103064 0 0 0 354388 5372 0 0 20 0 1 0 186560745 421392384 101814 134679101440 4194304 15467897 140735369968256 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 35618816 140735369970718 140735369970821 140735369970821 140735369977837 0
/proc/987084/statm: 102879 101814 3195 2753 0 99532 0
Current children cumulated CPU time: 3597.6 s
Current children cumulated vsize: 411516 KiB
Current children cumulated memory: 407256 KiB
[startup+3608 s]*
/proc/loadavg: 4.13 4.22 4.18 5/256 989075
/proc/meminfo: memFree=123146732/131524596 swapFree=131071996/131071996
[pid=987084] ppid=987081 vsize=411516 memory=407256 CPUtime=3599.2 cores=5,7
/proc/987084/stat : 987084 (LS-MabSP) R 987081 987084 984505 0 -1 4194304 103064 0 0 0 354543 5377 0 0 20 0 1 0 186560745 421392384 101814 134679101440 4194304 15467897 140735369968256 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 35618816 140735369970718 140735369970821 140735369970821 140735369977837 0
/proc/987084/statm: 102879 101814 3195 2753 0 99532 0
Current children cumulated CPU time: 3599.2 s
Current children cumulated vsize: 411516 KiB
Current children cumulated memory: 407256 KiB
[startup+3608.4 s]
/proc/loadavg: 4.13 4.22 4.18 5/256 989075
/proc/meminfo: memFree=123146732/131524596 swapFree=131071996/131071996
[pid=987084] ppid=987081 vsize=411516 memory=407256 CPUtime=3599.59 cores=5,7
/proc/987084/stat : 987084 (LS-MabSP) R 987081 987084 984505 0 -1 4194304 103064 0 0 0 354581 5378 0 0 20 0 1 0 186560745 421392384 101814 134679101440 4194304 15467897 140735369968256 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 35618816 140735369970718 140735369970821 140735369970821 140735369977837 0
/proc/987084/statm: 102879 101814 3195 2753 0 99532 0
Current children cumulated CPU time: 3599.59 s
Current children cumulated vsize: 411516 KiB
Current children cumulated memory: 407256 KiB
[startup+3608.8 s]*
/proc/loadavg: 4.13 4.22 4.18 5/256 989075
/proc/meminfo: memFree=123151748/131524596 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 3608.81
CPU time (s): 3600.01
CPU user time (s): 3546.2
CPU system time (s): 53.8028
CPU usage (%): 99.7561
Max. virtual memory (cumulated for all children) (KiB): 477784
Max. memory (cumulated for all children) (KiB): 466340
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3546.2
system time used= 53.8028
maximum resident set size= 466340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 103074
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= 24
involuntary context switches= 1333
# summary of solver processes directly reported to runsolver:
# pid: 987084
# total CPU time (s): 3600.01
# total CPU user time (s): 3546.2
# total CPU system time (s): 53.8028
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.12427 second user time and 15.4436 second system time
The end
Begin job on nodeC034 at 2024-07-19 01:05:14
IDJOB=4446576
IDBENCH=158279
IDSOLVER=3047
FILE ID=nodeC034/4446576-1721343902
RUNJOBID= nodeC034-1721340304-984518
SLURM_JOB_ID= 7542721
Free space on /tmp= 889988 MiB
SOLVER NAME= LS-MabSP 2024-07-10
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K151.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-4446576-1721343902/watcher-4446576-1721343902 -o /tmp/evaluation-result-4446576-1721343902/solver-4446576-1721343902 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721340304-984518 --watchdog 3760 ./LS-MabSP -f HOME/instance-4446576-1721343902.opb -t 3600 -s 1959206513
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= abcade21393c5164863b40206a5f4f64
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 : 3666.125
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 : 3669.699
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 : 3600.276
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.362
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 : 3666.191
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 : 3665.957
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.029
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 : 3669.721
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: 123287788 kB
MemAvailable: 128577116 kB
Buffers: 498496 kB
Cached: 5565052 kB
SwapCached: 0 kB
Active: 1041032 kB
Inactive: 6443004 kB
Active(anon): 1508 kB
Inactive(anon): 1456696 kB
Active(file): 1039524 kB
Inactive(file): 4986308 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 52224 kB
Writeback: 0 kB
AnonPages: 1420524 kB
Mapped: 126376 kB
Shmem: 37720 kB
KReclaimable: 206636 kB
Slab: 333052 kB
SReclaimable: 206636 kB
SUnreclaim: 126416 kB
KernelStack: 4160 kB
PageTables: 11884 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834292 kB
Committed_AS: 1832184 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 70944 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1206272 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:23