212.21/212.81 c Filename:instance-4441716-1721297133.opb, Cutoff_time:3600, memory_limit_gb:500000
212.21/212.81 c Use Presolve
212.21/212.81 c Parse finsih
212.21/212.81 c Start Presolve
212.21/212.81 c After Reduce Vars: 49042 Clauses: 136440 Top clause weight: 1 Hard Clauses: 136440
3599.90/3606.89 c Use LS-small
3599.90/3606.89 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 (62255 MiB free)
memory of node 1: 64473 MiB (61122 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4441716-1721297133/watcher-4441716-1721297133 -o /tmp/evaluation-result-4441716-1721297133/solver-4441716-1721297133 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721293537-945616 --watchdog 3760 ./LS-MabSP -f HOME/instance-4441716-1721297133.opb -t 3600 -s 212913092
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=947614, runsolver pid=947611
Current StackSize limit: 8192 KiB
[startup+0.100087 s]*
/proc/loadavg: 4.10 4.11 4.07 5/254 947615
/proc/meminfo: memFree=126324816/131524600 swapFree=131071996/131071996
[pid=947614] ppid=947611 vsize=31224 memory=18392 CPUtime=0.1 cores=5,7
/proc/947614/stat : 947614 (LS-MabSP) R 947611 947614 945603 0 -1 4194304 2636 0 0 0 10 0 0 0 20 0 1 0 181879942 31973376 4598 134679101440 4194304 15467897 140735670161504 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26992640 140735670170655 140735670170757 140735670170757 140735670177773 0
/proc/947614/statm: 7806 4598 1073 2753 0 4459 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 31224 KiB
Current children cumulated memory: 18392 KiB
[startup+0.205275 s]*
/proc/loadavg: 4.10 4.11 4.07 5/254 947615
/proc/meminfo: memFree=126322348/131524600 swapFree=131071996/131071996
[pid=947614] ppid=947611 vsize=34064 memory=20956 CPUtime=0.2 cores=5,7
/proc/947614/stat : 947614 (LS-MabSP) R 947611 947614 945603 0 -1 4194304 3276 0 0 0 20 0 0 0 20 0 1 0 181879942 34881536 5239 134679101440 4194304 15467897 140735670161504 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26992640 140735670170655 140735670170757 140735670170757 140735670177773 0
/proc/947614/statm: 8516 5239 1073 2753 0 5169 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 34064 KiB
Current children cumulated memory: 20956 KiB
[startup+0.305151 s]*
/proc/loadavg: 4.10 4.11 4.07 5/254 947615
/proc/meminfo: memFree=126318688/131524600 swapFree=131071996/131071996
[pid=947614] ppid=947611 vsize=38820 memory=24308 CPUtime=0.3 cores=5,7
/proc/947614/stat : 947614 (LS-MabSP) R 947611 947614 945603 0 -1 4194304 3604 0 0 0 30 0 0 0 20 0 1 0 181879942 39751680 6077 134679101440 4194304 15467897 140735670161504 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26992640 140735670170655 140735670170757 140735670170757 140735670177773 0
/proc/947614/statm: 9705 6077 1073 2753 0 6358 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 38820 KiB
Current children cumulated memory: 24308 KiB
[startup+0.700187 s]
/proc/loadavg: 4.10 4.11 4.07 5/254 947615
/proc/meminfo: memFree=126313024/131524600 swapFree=131071996/131071996
[pid=947614] ppid=947611 vsize=48728 memory=32064 CPUtime=0.68 cores=5,7
/proc/947614/stat : 947614 (LS-MabSP) R 947611 947614 945603 0 -1 4194304 4550 0 0 0 68 0 0 0 20 0 1 0 181879942 49897472 8016 134679101440 4194304 15467897 140735670161504 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26992640 140735670170655 140735670170757 140735670170757 140735670177773 0
/proc/947614/statm: 12182 8016 1073 2753 0 8835 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 48728 KiB
Current children cumulated memory: 32064 KiB
[startup+1.5002 s]
/proc/loadavg: 4.10 4.11 4.07 5/254 947661
/proc/meminfo: memFree=126337924/131524600 swapFree=131071996/131071996
[pid=947614] ppid=947611 vsize=124460 memory=110116 CPUtime=1.48 cores=5,7
/proc/947614/stat : 947614 (LS-MabSP) R 947611 947614 945603 0 -1 4194304 13657 0 0 0 145 3 0 0 20 0 1 0 181879942 127447040 27529 134679101440 4194304 15467897 140735670161504 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26992640 140735670170655 140735670170757 140735670170757 140735670177773 0
/proc/947614/statm: 31115 27529 1105 2753 0 27768 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 124460 KiB
Current children cumulated memory: 110116 KiB
[startup+3.10544 s]
/proc/loadavg: 4.10 4.11 4.07 6/254 947707
/proc/meminfo: memFree=127958636/131524600 swapFree=131071996/131071996
[pid=947614] ppid=947611 vsize=124460 memory=110116 CPUtime=3.09 cores=5,7
/proc/947614/stat : 947614 (LS-MabSP) R 947611 947614 945603 0 -1 4194304 13674 0 0 0 306 3 0 0 20 0 1 0 181879942 127447040 27529 134679101440 4194304 15467897 140735670161504 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26992640 140735670170655 140735670170757 140735670170757 140735670177773 0
/proc/947614/statm: 31115 27529 1105 2753 0 27768 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 124460 KiB
Current children cumulated memory: 110116 KiB
[startup+6.30021 s]
/proc/loadavg: 4.09 4.11 4.07 6/254 947709
/proc/meminfo: memFree=127722448/131524600 swapFree=131071996/131071996
[pid=947614] ppid=947611 vsize=124460 memory=110116 CPUtime=6.27 cores=5,7
/proc/947614/stat : 947614 (LS-MabSP) R 947611 947614 945603 0 -1 4194304 13690 0 0 0 624 3 0 0 20 0 1 0 181879942 127447040 27529 134679101440 4194304 15467897 140735670161504 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26992640 140735670170655 140735670170757 140735670170757 140735670177773 0
/proc/947614/statm: 31115 27529 1105 2753 0 27768 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 124460 KiB
Current children cumulated memory: 110116 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.11 4.07 6/254 947709
/proc/meminfo: memFree=127721504/131524600 swapFree=131071996/131071996
[pid=947614] ppid=947611 vsize=124460 memory=110332 CPUtime=12.65 cores=5,7
/proc/947614/stat : 947614 (LS-MabSP) R 947611 947614 945603 0 -1 4194304 13721 0 0 0 1262 3 0 0 20 0 1 0 181879942 127447040 27583 134679101440 4194304 15467897 140735670161504 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26992640 140735670170655 140735670170757 140735670170757 140735670177773 0
/proc/947614/statm: 31115 27583 1153 2753 0 27768 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 124460 KiB
Current children cumulated memory: 110332 KiB
[startup+25.5002 s]
/proc/loadavg: 4.06 4.10 4.07 6/254 947710
/proc/meminfo: memFree=127631468/131524600 swapFree=131071996/131071996
[pid=947614] ppid=947611 vsize=124460 memory=110332 CPUtime=25.42 cores=5,7
/proc/947614/stat : 947614 (LS-MabSP) R 947611 947614 945603 0 -1 4194304 13757 0 0 0 2539 3 0 0 20 0 1 0 181879942 127447040 27583 134679101440 4194304 15467897 140735670161504 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26992640 140735670170655 140735670170757 140735670170757 140735670177773 0
/proc/947614/statm: 31115 27583 1153 2753 0 27768 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 124460 KiB
Current children cumulated memory: 110332 KiB
[startup+51.1054 s]
/proc/loadavg: 4.04 4.09 4.07 6/254 947715
/proc/meminfo: memFree=127565348/131524600 swapFree=131071996/131071996
[pid=947614] ppid=947611 vsize=124460 memory=110332 CPUtime=50.95 cores=5,7
/proc/947614/stat : 947614 (LS-MabSP) R 947611 947614 945603 0 -1 4194304 13811 0 0 0 5092 3 0 0 20 0 1 0 181879942 127447040 27583 134679101440 4194304 15467897 140735670161504 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26992640 140735670170655 140735670170757 140735670170757 140735670177773 0
/proc/947614/statm: 31115 27583 1153 2753 0 27768 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 124460 KiB
Current children cumulated memory: 110332 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.11 4.08 6/254 947723
/proc/meminfo: memFree=127484004/131524600 swapFree=131071996/131071996
[pid=947614] ppid=947611 vsize=124460 memory=110332 CPUtime=101.99 cores=5,7
/proc/947614/stat : 947614 (LS-MabSP) R 947611 947614 945603 0 -1 4194304 13849 0 0 0 10196 3 0 0 20 0 1 0 181879942 127447040 27583 134679101440 4194304 15467897 140735670161504 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26992640 140735670170655 140735670170757 140735670170757 140735670177773 0
/proc/947614/statm: 31115 27583 1153 2753 0 27768 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 124460 KiB
Current children cumulated memory: 110332 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.10 4.08 6/254 947735
/proc/meminfo: memFree=127476880/131524600 swapFree=131071996/131071996
[pid=947614] ppid=947611 vsize=126344 memory=112024 CPUtime=161.84 cores=5,7
/proc/947614/stat : 947614 (LS-MabSP) R 947611 947614 945603 0 -1 4194304 14336 0 0 0 16181 3 0 0 20 0 1 0 181879942 129376256 28006 134679101440 4194304 15467897 140735670161504 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26992640 140735670170655 140735670170757 140735670170757 140735670177773 0
/proc/947614/statm: 31586 28006 1153 2753 0 28239 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 126344 KiB
Current children cumulated memory: 112024 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.09 4.08 6/254 947745
/proc/meminfo: memFree=126656732/131524600 swapFree=131071996/131071996
[pid=947614] ppid=947611 vsize=933532 memory=895316 CPUtime=221.69 cores=5,7
/proc/947614/stat : 947614 (LS-MabSP) R 947611 947614 945603 0 -1 4194304 209756 0 0 0 22138 31 0 0 20 0 1 0 181879942 955936768 223829 134679101440 4194304 15467897 140735670161504 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26992640 140735670170655 140735670170757 140735670170757 140735670177773 0
/proc/947614/statm: 233383 223829 2849 2753 0 230036 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 933532 KiB
Current children cumulated memory: 895316 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.09 4.08 6/254 947755
/proc/meminfo: memFree=126654720/131524600 swapFree=131071996/131071996
[pid=947614] ppid=947611 vsize=933532 memory=895648 CPUtime=281.54 cores=5,7
/proc/947614/stat : 947614 (LS-MabSP) R 947611 947614 945603 0 -1 4194304 209839 0 0 0 28123 31 0 0 20 0 1 0 181879942 955936768 223912 134679101440 4194304 15467897 140735670161504 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26992640 140735670170655 140735670170757 140735670170757 140735670177773 0
/proc/947614/statm: 233383 223912 2849 2753 0 230036 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 933532 KiB
Current children cumulated memory: 895648 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.09 4.08 6/256 947771
/proc/meminfo: memFree=126643960/131524600 swapFree=131071996/131071996
[pid=947614] ppid=947611 vsize=933532 memory=906308 CPUtime=341.39 cores=5,7
/proc/947614/stat : 947614 (LS-MabSP) R 947611 947614 945603 0 -1 4194304 210353 0 0 0 34108 31 0 0 20 0 1 0 181879942 955936768 226577 134679101440 4194304 15467897 140735670161504 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26992640 140735670170655 140735670170757 140735670170757 140735670177773 0
/proc/947614/statm: 233383 226577 2849 2753 0 230036 0
Current children cumulated CPU time: 341.39 s
Current children cumulated vsize: 933532 KiB
Current children cumulated memory: 906308 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 4.08 4.08 6/258 947785
/proc/meminfo: memFree=126641156/131524600 swapFree=131071996/131071996
[pid=947614] ppid=947611 vsize=933532 memory=908448 CPUtime=401.26 cores=5,7
/proc/947614/stat : 947614 (LS-MabSP) R 947611 947614 945603 0 -1 4194304 210891 0 0 0 40095 31 0 0 20 0 1 0 181879942 955936768 227112 134679101440 4194304 15467897 140735670161504 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26992640 140735670170655 140735670170757 140735670170757 140735670177773 0
/proc/947614/statm: 233383 227112 2849 2753 0 230036 0
Current children cumulated CPU time: 401.26 s
Current children cumulated vsize: 933532 KiB
Current children cumulated memory: 908448 KiB
[startup+462.3 s]
/proc/loadavg: 4.06 4.08 4.08 6/259 947797
/proc/meminfo: memFree=126639560/131524600 swapFree=131071996/131071996
[pid=947614] ppid=947611 vsize=954544 memory=909580 CPUtime=461.13 cores=5,7
/proc/947614/stat : 947614 (LS-MabSP) R 947611 947614 945603 0 -1 4194304 211234 0 0 0 46082 31 0 0 20 0 1 0 181879942 977453056 227395 134679101440 4194304 15467897 140735670161504 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26992640 140735670170655 140735670170757 140735670170757 140735670177773 0
/proc/947614/statm: 238636 227395 2849 2753 0 235289 0
################
# More data... #
################
Current children cumulated memory: 1166544 KiB
[startup+2922.3 s]
/proc/loadavg: 4.15 4.12 4.09 6/256 948859
/proc/meminfo: memFree=126363024/131524600 swapFree=131071996/131071996
[pid=947614] ppid=947611 vsize=1213324 memory=1166544 CPUtime=2916.49 cores=5,7
/proc/947614/stat : 947614 (LS-MabSP) R 947611 947614 945603 0 -1 4194304 275774 0 0 0 290705 944 0 0 20 0 1 0 181879942 1242443776 291636 134679101440 4194304 15467897 140735670161504 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26992640 140735670170655 140735670170757 140735670170757 140735670177773 0
/proc/947614/statm: 303331 291636 2849 2753 0 299984 0
Current children cumulated CPU time: 2916.49 s
Current children cumulated vsize: 1213324 KiB
Current children cumulated memory: 1166544 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.11 4.09 6/256 949254
/proc/meminfo: memFree=126362584/131524600 swapFree=131071996/131071996
[pid=947614] ppid=947611 vsize=1213324 memory=1166544 CPUtime=2976.4 cores=5,7
/proc/947614/stat : 947614 (LS-MabSP) R 947611 947614 945603 0 -1 4194304 275888 0 0 0 296656 984 0 0 20 0 1 0 181879942 1242443776 291636 134679101440 4194304 15467897 140735670161504 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26992640 140735670170655 140735670170757 140735670170757 140735670177773 0
/proc/947614/statm: 303331 291636 2849 2753 0 299984 0
Current children cumulated CPU time: 2976.4 s
Current children cumulated vsize: 1213324 KiB
Current children cumulated memory: 1166544 KiB
[startup+3042.3 s]
/proc/loadavg: 4.13 4.12 4.09 6/256 949264
/proc/meminfo: memFree=126362540/131524600 swapFree=131071996/131071996
[pid=947614] ppid=947611 vsize=1213324 memory=1166544 CPUtime=3036.3 cores=5,7
/proc/947614/stat : 947614 (LS-MabSP) R 947611 947614 945603 0 -1 4194304 275964 0 0 0 302605 1025 0 0 20 0 1 0 181879942 1242443776 291636 134679101440 4194304 15467897 140735670161504 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26992640 140735670170655 140735670170757 140735670170757 140735670177773 0
/proc/947614/statm: 303331 291636 2849 2753 0 299984 0
Current children cumulated CPU time: 3036.3 s
Current children cumulated vsize: 1213324 KiB
Current children cumulated memory: 1166544 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.11 4.09 6/256 949274
/proc/meminfo: memFree=126362212/131524600 swapFree=131071996/131071996
[pid=947614] ppid=947611 vsize=1213324 memory=1166544 CPUtime=3096.21 cores=5,7
/proc/947614/stat : 947614 (LS-MabSP) R 947611 947614 945603 0 -1 4194304 276078 0 0 0 308552 1069 0 0 20 0 1 0 181879942 1242443776 291636 134679101440 4194304 15467897 140735670161504 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26992640 140735670170655 140735670170757 140735670170757 140735670177773 0
/proc/947614/statm: 303331 291636 2849 2753 0 299984 0
Current children cumulated CPU time: 3096.21 s
Current children cumulated vsize: 1213324 KiB
Current children cumulated memory: 1166544 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.12 4.09 6/256 949285
/proc/meminfo: memFree=126361884/131524600 swapFree=131071996/131071996
[pid=947614] ppid=947611 vsize=1213324 memory=1166544 CPUtime=3156.12 cores=5,7
/proc/947614/stat : 947614 (LS-MabSP) R 947611 947614 945603 0 -1 4194304 276154 0 0 0 314483 1129 0 0 20 0 1 0 181879942 1242443776 291636 134679101440 4194304 15467897 140735670161504 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26992640 140735670170655 140735670170757 140735670170757 140735670177773 0
/proc/947614/statm: 303331 291636 2849 2753 0 299984 0
Current children cumulated CPU time: 3156.12 s
Current children cumulated vsize: 1213324 KiB
Current children cumulated memory: 1166544 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.11 4.09 6/259 949466
/proc/meminfo: memFree=126361576/131524600 swapFree=131071996/131071996
[pid=947614] ppid=947611 vsize=1213324 memory=1166544 CPUtime=3216.02 cores=5,7
/proc/947614/stat : 947614 (LS-MabSP) R 947611 947614 945603 0 -1 4194304 276230 0 0 0 320408 1194 0 0 20 0 1 0 181879942 1242443776 291636 134679101440 4194304 15467897 140735670161504 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26992640 140735670170655 140735670170757 140735670170757 140735670177773 0
/proc/947614/statm: 303331 291636 2849 2753 0 299984 0
Current children cumulated CPU time: 3216.02 s
Current children cumulated vsize: 1213324 KiB
Current children cumulated memory: 1166544 KiB
[startup+3282.3 s]
/proc/loadavg: 4.16 4.12 4.09 6/257 949476
/proc/meminfo: memFree=126361200/131524600 swapFree=131071996/131071996
[pid=947614] ppid=947611 vsize=1213324 memory=1166544 CPUtime=3275.92 cores=5,7
/proc/947614/stat : 947614 (LS-MabSP) R 947611 947614 945603 0 -1 4194304 276344 0 0 0 326355 1237 0 0 20 0 1 0 181879942 1242443776 291636 134679101440 4194304 15467897 140735670161504 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26992640 140735670170655 140735670170757 140735670170757 140735670177773 0
/proc/947614/statm: 303331 291636 2849 2753 0 299984 0
Current children cumulated CPU time: 3275.92 s
Current children cumulated vsize: 1213324 KiB
Current children cumulated memory: 1166544 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.11 4.09 6/258 949501
/proc/meminfo: memFree=126361080/131524600 swapFree=131071996/131071996
[pid=947614] ppid=947611 vsize=1213324 memory=1166544 CPUtime=3335.83 cores=5,7
/proc/947614/stat : 947614 (LS-MabSP) R 947611 947614 945603 0 -1 4194304 276420 0 0 0 332285 1298 0 0 20 0 1 0 181879942 1242443776 291636 134679101440 4194304 15467897 140735670161504 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26992640 140735670170655 140735670170757 140735670170757 140735670177773 0
/proc/947614/statm: 303331 291636 2849 2753 0 299984 0
Current children cumulated CPU time: 3335.83 s
Current children cumulated vsize: 1213324 KiB
Current children cumulated memory: 1166544 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.11 4.09 6/258 949511
/proc/meminfo: memFree=126360728/131524600 swapFree=131071996/131071996
[pid=947614] ppid=947611 vsize=1213324 memory=1166544 CPUtime=3395.73 cores=5,7
/proc/947614/stat : 947614 (LS-MabSP) R 947611 947614 945603 0 -1 4194304 276534 0 0 0 338210 1363 0 0 20 0 1 0 181879942 1242443776 291636 134679101440 4194304 15467897 140735670161504 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26992640 140735670170655 140735670170757 140735670170757 140735670177773 0
/proc/947614/statm: 303331 291636 2849 2753 0 299984 0
Current children cumulated CPU time: 3395.73 s
Current children cumulated vsize: 1213324 KiB
Current children cumulated memory: 1166544 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.12 4.09 6/258 949522
/proc/meminfo: memFree=126360488/131524600 swapFree=131071996/131071996
[pid=947614] ppid=947611 vsize=1213324 memory=1166544 CPUtime=3455.64 cores=5,7
/proc/947614/stat : 947614 (LS-MabSP) R 947611 947614 945603 0 -1 4194304 276610 0 0 0 344139 1425 0 0 20 0 1 0 181879942 1242443776 291636 134679101440 4194304 15467897 140735670161504 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26992640 140735670170655 140735670170757 140735670170757 140735670177773 0
/proc/947614/statm: 303331 291636 2849 2753 0 299984 0
Current children cumulated CPU time: 3455.64 s
Current children cumulated vsize: 1213324 KiB
Current children cumulated memory: 1166544 KiB
[startup+3522.3 s]
/proc/loadavg: 4.05 4.09 4.09 6/255 949533
/proc/meminfo: memFree=126360164/131524600 swapFree=131071996/131071996
[pid=947614] ppid=947611 vsize=1213324 memory=1166544 CPUtime=3515.54 cores=5,7
/proc/947614/stat : 947614 (LS-MabSP) R 947611 947614 945603 0 -1 4194304 276724 0 0 0 350084 1470 0 0 20 0 1 0 181879942 1242443776 291636 134679101440 4194304 15467897 140735670161504 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26992640 140735670170655 140735670170757 140735670170757 140735670177773 0
/proc/947614/statm: 303331 291636 2849 2753 0 299984 0
Current children cumulated CPU time: 3515.54 s
Current children cumulated vsize: 1213324 KiB
Current children cumulated memory: 1166544 KiB
[startup+3582.3 s]
/proc/loadavg: 4.06 4.09 4.09 6/255 949543
/proc/meminfo: memFree=126359852/131524600 swapFree=131071996/131071996
[pid=947614] ppid=947611 vsize=1213324 memory=1166544 CPUtime=3575.44 cores=5,7
/proc/947614/stat : 947614 (LS-MabSP) R 947611 947614 945603 0 -1 4194304 276800 0 0 0 356047 1497 0 0 20 0 1 0 181879942 1242443776 291636 134679101440 4194304 15467897 140735670161504 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26992640 140735670170655 140735670170757 140735670170757 140735670177773 0
/proc/947614/statm: 303331 291636 2849 2753 0 299984 0
Current children cumulated CPU time: 3575.44 s
Current children cumulated vsize: 1213324 KiB
Current children cumulated memory: 1166544 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3606.9 s]
/proc/loadavg: 4.10 4.10 4.09 6/254 949548
/proc/meminfo: memFree=126359768/131524600 swapFree=131071996/131071996
[pid=947614] ppid=947611 vsize=1213324 memory=1166544 CPUtime=3600 cores=5,7
/proc/947614/stat : 947614 (LS-MabSP) R 947611 947614 945603 0 -1 4194304 276841 0 0 0 358488 1512 0 0 20 0 1 0 181879942 1242443776 291636 134679101440 4194304 15467897 140735670161504 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26992640 140735670170655 140735670170757 140735670170757 140735670177773 0
/proc/947614/statm: 303331 291636 2849 2753 0 299984 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 1213324 KiB
Current children cumulated memory: 1166544 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3606.91 s]
# the end of solver process 947614 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3584.89 s, system=15.1317 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3606.9 s]
/proc/loadavg: 4.10 4.10 4.09 6/254 949548
/proc/meminfo: memFree=126359768/131524600 swapFree=131071996/131071996
[pid=947614] ppid=947611 vsize=1213324 memory=1166544 CPUtime=3600 cores=5,7
/proc/947614/stat : 947614 (LS-MabSP) R 947611 947614 945603 0 -1 4194304 276841 0 0 0 358488 1512 0 0 20 0 1 0 181879942 1242443776 291636 134679101440 4194304 15467897 140735670161504 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26992640 140735670170655 140735670170757 140735670170757 140735670177773 0
/proc/947614/statm: 303331 291636 2849 2753 0 299984 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 1213324 KiB
Current children cumulated memory: 1166544 KiB
Child status: 10
Real time (s): 3606.91
CPU time (s): 3600.02
CPU user time (s): 3584.89
CPU system time (s): 15.1317
CPU usage (%): 99.809
Max. virtual memory (cumulated for all children) (KiB): 1213324
Max. memory (cumulated for all children) (KiB): 1166544
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.89
system time used= 15.1317
maximum resident set size= 1166544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 276855
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= 47
involuntary context switches= 1191
# summary of solver processes directly reported to runsolver:
# pid: 947614
# total CPU time (s): 3600.02
# total CPU user time (s): 3584.89
# total CPU system time (s): 15.1317
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.96857 second user time and 14.0749 second system time
The end
Begin job on nodeC027 at 2024-07-18 12:05:45
IDJOB=4441716
IDBENCH=147745
IDSOLVER=3047
FILE ID=nodeC027/4441716-1721297133
RUNJOBID= nodeC027-1721293537-945616
SLURM_JOB_ID= 7542587
Free space on /tmp= 890020 MiB
SOLVER NAME= LS-MabSP 2024-07-10
BENCH NAME= PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/normalized-ooo.ex.br.mem.RobRegValid_bar.ucl.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-4441716-1721297133/watcher-4441716-1721297133 -o /tmp/evaluation-result-4441716-1721297133/solver-4441716-1721297133 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721293537-945616 --watchdog 3760 ./LS-MabSP -f HOME/instance-4441716-1721297133.opb -t 3600 -s 212913092
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 028f5bd5fcfe993f30262959408a2b50
RANDOM SEED=212913092
nodeC027.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 : 3667.680
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3666.421
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.29
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.252
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.222
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.29
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 : 3667.656
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3663.597
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.29
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.264
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3665.876
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 126339492 kB
MemAvailable: 127919744 kB
Buffers: 474760 kB
Cached: 1937224 kB
SwapCached: 0 kB
Active: 902360 kB
Inactive: 3665900 kB
Active(anon): 1576 kB
Inactive(anon): 2192416 kB
Active(file): 900784 kB
Inactive(file): 1473484 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 37776 kB
Writeback: 0 kB
AnonPages: 2154388 kB
Mapped: 133588 kB
Shmem: 37720 kB
KReclaimable: 91616 kB
Slab: 201460 kB
SReclaimable: 91616 kB
SUnreclaim: 109844 kB
KernelStack: 4092 kB
PageTables: 13428 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 2513228 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 66912 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2009088 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: 193236 kB
DirectMap2M: 15308800 kB
DirectMap1G: 120586240 kB
Free space on /tmp at the end= 890012 MiB
End job on nodeC027 at 2024-07-18 13:05:52