213.36/214.14 c Filename:instance-4446096-1721339210.opb, Cutoff_time:3600, memory_limit_gb:500000
213.36/214.14 c Use Presolve
213.36/214.14 c Parse finsih
213.36/214.14 c Start Presolve
213.36/214.14 c After Reduce Vars: 9342 Clauses: 199720 Top clause weight: 1 Hard Clauses: 199720
3599.96/3610.23 c Use LS-small
3599.96/3610.23 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: 64059 MiB (62693 MiB free)
memory of node 1: 64510 MiB (61398 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446096-1721339210/watcher-4446096-1721339210 -o /tmp/evaluation-result-4446096-1721339210/solver-4446096-1721339210 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721339222-971415 --watchdog 3760 ./LS-MabSP -f HOME/instance-4446096-1721339210.opb -t 3600 -s 126343809
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=971456, runsolver pid=971453
[startup+0.100793 s]*
/proc/loadavg: 1.10 1.14 1.83 6/243 971477
/proc/meminfo: memFree=127012044/131655788 swapFree=131071996/131071996
[pid=971456] ppid=971453 vsize=30232 memory=17456 CPUtime=0.1 cores=1,3
/proc/971456/stat : 971456 (LS-MabSP) R 971453 971456 971403 0 -1 4194304 2152 0 0 0 9 1 0 0 20 0 1 0 186077640 30957568 4364 134679101440 4194304 15467897 140731887172256 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38440960 140731887178783 140731887178885 140731887178885 140731887185901 0
/proc/971456/statm: 7558 4364 1073 2753 0 4211 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 30232 KiB
Current children cumulated memory: 17456 KiB
[startup+0.213894 s]*
/proc/loadavg: 1.10 1.14 1.83 6/243 971477
/proc/meminfo: memFree=127007772/131655788 swapFree=131071996/131071996
[pid=971456] ppid=971453 vsize=31256 memory=18492 CPUtime=0.21 cores=1,3
/proc/971456/stat : 971456 (LS-MabSP) R 971453 971456 971403 0 -1 4194304 2627 0 0 0 20 1 0 0 20 0 1 0 186077640 32006144 4623 134679101440 4194304 15467897 140731887172256 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38440960 140731887178783 140731887178885 140731887178885 140731887185901 0
/proc/971456/statm: 7814 4623 1073 2753 0 4467 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 31256 KiB
Current children cumulated memory: 18492 KiB
[startup+0.312461 s]*
/proc/loadavg: 1.10 1.14 1.83 6/243 971477
/proc/meminfo: memFree=127003264/131655788 swapFree=131071996/131071996
[pid=971456] ppid=971453 vsize=33304 memory=19964 CPUtime=0.31 cores=1,3
/proc/971456/stat : 971456 (LS-MabSP) R 971453 971456 971403 0 -1 4194304 2985 0 0 0 30 1 0 0 20 0 1 0 186077640 34103296 4991 134679101440 4194304 15467897 140731887172256 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38440960 140731887178783 140731887178885 140731887178885 140731887185901 0
/proc/971456/statm: 8326 4991 1073 2753 0 4979 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 33304 KiB
Current children cumulated memory: 19964 KiB
[startup+0.700294 s]
/proc/loadavg: 1.10 1.14 1.83 6/243 971477
/proc/meminfo: memFree=126997472/131655788 swapFree=131071996/131071996
[pid=971456] ppid=971453 vsize=37532 memory=24064 CPUtime=0.68 cores=1,3
/proc/971456/stat : 971456 (LS-MabSP) R 971453 971456 971403 0 -1 4194304 3513 0 0 0 67 1 0 0 20 0 1 0 186077640 38432768 6016 134679101440 4194304 15467897 140731887172256 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38440960 140731887178783 140731887178885 140731887178885 140731887185901 0
/proc/971456/statm: 9383 6016 1073 2753 0 6036 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 37532 KiB
Current children cumulated memory: 24064 KiB
[startup+1.50028 s]
/proc/loadavg: 1.41 1.21 1.85 6/243 971477
/proc/meminfo: memFree=126973280/131655788 swapFree=131071996/131071996
[pid=971456] ppid=971453 vsize=45988 memory=32376 CPUtime=1.48 cores=1,3
/proc/971456/stat : 971456 (LS-MabSP) R 971453 971456 971403 0 -1 4194304 4104 0 0 0 146 2 0 0 20 0 1 0 186077640 47091712 8094 134679101440 4194304 15467897 140731887172256 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38440960 140731887178783 140731887178885 140731887178885 140731887185901 0
/proc/971456/statm: 11497 8094 1073 2753 0 8150 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 45988 KiB
Current children cumulated memory: 32376 KiB
[startup+3.11404 s]
/proc/loadavg: 1.41 1.21 1.85 6/243 971479
/proc/meminfo: memFree=126333020/131655788 swapFree=131071996/131071996
[pid=971456] ppid=971453 vsize=177272 memory=157552 CPUtime=3.09 cores=1,3
/proc/971456/stat : 971456 (LS-MabSP) R 971453 971456 971403 0 -1 4194304 13734 0 0 0 303 6 0 0 20 0 1 0 186077640 181526528 39388 134679101440 4194304 15467897 140731887172256 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38440960 140731887178783 140731887178885 140731887178885 140731887185901 0
/proc/971456/statm: 44318 39388 1105 2753 0 40971 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 177272 KiB
Current children cumulated memory: 157552 KiB
[startup+6.30032 s]
/proc/loadavg: 1.62 1.26 1.86 6/243 971479
/proc/meminfo: memFree=126332440/131655788 swapFree=131071996/131071996
[pid=971456] ppid=971453 vsize=177272 memory=157972 CPUtime=6.27 cores=1,3
/proc/971456/stat : 971456 (LS-MabSP) R 971453 971456 971403 0 -1 4194304 13762 0 0 0 621 6 0 0 20 0 1 0 186077640 181526528 39493 134679101440 4194304 15467897 140731887172256 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38440960 140731887178783 140731887178885 140731887178885 140731887185901 0
/proc/971456/statm: 44318 39493 1153 2753 0 40971 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 177272 KiB
Current children cumulated memory: 157972 KiB
[startup+12.7003 s]
/proc/loadavg: 1.81 1.30 1.87 6/243 971479
/proc/meminfo: memFree=126332488/131655788 swapFree=131071996/131071996
[pid=971456] ppid=971453 vsize=177272 memory=157972 CPUtime=12.65 cores=1,3
/proc/971456/stat : 971456 (LS-MabSP) R 971453 971456 971403 0 -1 4194304 13815 0 0 0 1259 6 0 0 20 0 1 0 186077640 181526528 39493 134679101440 4194304 15467897 140731887172256 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38440960 140731887178783 140731887178885 140731887178885 140731887185901 0
/proc/971456/statm: 44318 39493 1153 2753 0 40971 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 177272 KiB
Current children cumulated memory: 157972 KiB
[startup+25.5004 s]
/proc/loadavg: 2.15 1.39 1.89 6/243 971482
/proc/meminfo: memFree=123457188/131655788 swapFree=131071996/131071996
[pid=971456] ppid=971453 vsize=681444 memory=653192 CPUtime=25.4 cores=1,3
/proc/971456/stat : 971456 (LS-MabSP) R 971453 971456 971403 0 -1 4194304 137211 0 0 0 2517 23 0 0 20 0 1 0 186077640 697798656 163298 134679101440 4194304 15467897 140731887172256 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38440960 140731887178783 140731887178885 140731887178885 140731887185901 0
/proc/971456/statm: 170361 163298 2721 2753 0 167014 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 681444 KiB
Current children cumulated memory: 653192 KiB
[startup+51.1128 s]
/proc/loadavg: 2.95 1.66 1.97 6/243 971485
/proc/meminfo: memFree=121367992/131655788 swapFree=131071996/131071996
[pid=971456] ppid=971453 vsize=1386512 memory=1261404 CPUtime=50.93 cores=1,3
/proc/971456/stat : 971456 (LS-MabSP) R 971453 971456 971403 0 -1 4194304 204108 0 0 0 5049 44 0 0 20 0 1 0 186077640 1419788288 315351 134679101440 4194304 15467897 140731887172256 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38440960 140731887178783 140731887178885 140731887178885 140731887185901 0
/proc/971456/statm: 346628 315351 2849 2753 0 343281 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 1386512 KiB
Current children cumulated memory: 1261404 KiB
[startup+102.3 s]
/proc/loadavg: 3.67 2.05 2.09 6/243 971493
/proc/meminfo: memFree=121239608/131655788 swapFree=131071996/131071996
[pid=971456] ppid=971453 vsize=1429500 memory=1268004 CPUtime=101.93 cores=1,3
/proc/971456/stat : 971456 (LS-MabSP) R 971453 971456 971403 0 -1 4194304 205280 0 0 0 10148 45 0 0 20 0 1 0 186077640 1463808000 317001 134679101440 4194304 15467897 140731887172256 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38440960 140731887178783 140731887178885 140731887178885 140731887185901 0
/proc/971456/statm: 357375 317001 2849 2753 0 354028 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 1429500 KiB
Current children cumulated memory: 1268004 KiB
[startup+162.3 s]
/proc/loadavg: 3.93 2.42 2.22 6/243 971505
/proc/meminfo: memFree=121183648/131655788 swapFree=131071996/131071996
[pid=971456] ppid=971453 vsize=1496292 memory=1282832 CPUtime=161.73 cores=1,3
/proc/971456/stat : 971456 (LS-MabSP) R 971453 971456 971403 0 -1 4194304 207027 0 0 0 16127 46 0 0 20 0 1 0 186077640 1532203008 320708 134679101440 4194304 15467897 140731887172256 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38440960 140731887178783 140731887178885 140731887178885 140731887185901 0
/proc/971456/statm: 374073 320708 2849 2753 0 370726 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 1496292 KiB
Current children cumulated memory: 1282832 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 2.74 2.34 6/246 971520
/proc/meminfo: memFree=120832328/131655788 swapFree=131071996/131071996
[pid=971456] ppid=971453 vsize=1770356 memory=1447668 CPUtime=221.5 cores=1,3
/proc/971456/stat : 971456 (LS-MabSP) R 971453 971456 971403 0 -1 4194304 260732 0 0 0 22097 53 0 0 20 0 1 0 186077640 1812844544 361917 134679101440 4194304 15467897 140731887172256 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38440960 140731887178783 140731887178885 140731887178885 140731887185901 0
/proc/971456/statm: 442589 361917 2849 2753 0 439242 0
Current children cumulated CPU time: 221.5 s
Current children cumulated vsize: 1770356 KiB
Current children cumulated memory: 1447668 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 2.99 2.45 6/246 971530
/proc/meminfo: memFree=120831724/131655788 swapFree=131071996/131071996
[pid=971456] ppid=971453 vsize=1770356 memory=1447700 CPUtime=281.29 cores=1,3
/proc/971456/stat : 971456 (LS-MabSP) R 971453 971456 971403 0 -1 4194304 260848 0 0 0 28076 53 0 0 20 0 1 0 186077640 1812844544 361925 134679101440 4194304 15467897 140731887172256 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38440960 140731887178783 140731887178885 140731887178885 140731887185901 0
/proc/971456/statm: 442589 361925 2849 2753 0 439242 0
Current children cumulated CPU time: 281.29 s
Current children cumulated vsize: 1770356 KiB
Current children cumulated memory: 1447700 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 3.19 2.56 6/245 971541
/proc/meminfo: memFree=120808868/131655788 swapFree=131071996/131071996
[pid=971456] ppid=971453 vsize=1770356 memory=1447780 CPUtime=341.1 cores=1,3
/proc/971456/stat : 971456 (LS-MabSP) R 971453 971456 971403 0 -1 4194304 260879 0 0 0 34055 55 0 0 20 0 1 0 186077640 1812844544 361945 134679101440 4194304 15467897 140731887172256 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38440960 140731887178783 140731887178885 140731887178885 140731887185901 0
/proc/971456/statm: 442589 361945 2849 2753 0 439242 0
Current children cumulated CPU time: 341.1 s
Current children cumulated vsize: 1770356 KiB
Current children cumulated memory: 1447780 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 3.37 2.66 6/245 971551
/proc/meminfo: memFree=120478132/131655788 swapFree=131071996/131071996
[pid=971456] ppid=971453 vsize=1770356 memory=1447788 CPUtime=400.89 cores=1,3
/proc/971456/stat : 971456 (LS-MabSP) R 971453 971456 971403 0 -1 4194304 260956 0 0 0 40034 55 0 0 20 0 1 0 186077640 1812844544 361947 134679101440 4194304 15467897 140731887172256 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38440960 140731887178783 140731887178885 140731887178885 140731887185901 0
/proc/971456/statm: 442589 361947 2849 2753 0 439242 0
Current children cumulated CPU time: 400.89 s
Current children cumulated vsize: 1770356 KiB
Current children cumulated memory: 1447788 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 3.50 2.75 6/245 971562
/proc/meminfo: memFree=120474512/131655788 swapFree=131071996/131071996
[pid=971456] ppid=971453 vsize=1770356 memory=1447976 CPUtime=460.65 cores=1,3
/proc/971456/stat : 971456 (LS-MabSP) R 971453 971456 971403 0 -1 4194304 261085 0 0 0 46009 56 0 0 20 0 1 0 186077640 1812844544 361994 134679101440 4194304 15467897 140731887172256 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38440960 140731887178783 140731887178885 140731887178885 140731887185901 0
/proc/971456/statm: 442589 361994 2849 2753 0 439242 0
################
# More data... #
################
/proc/loadavg: 4.16 4.15 4.10 6/245 973772
/proc/meminfo: memFree=120108260/131655788 swapFree=131071996/131071996
[pid=971456] ppid=971453 vsize=2095604 memory=1534264 CPUtime=3212.85 cores=1,3
/proc/971456/stat : 971456 (LS-MabSP) R 971453 971456 971403 0 -1 4194304 343080 0 0 0 320316 969 0 0 20 0 1 0 186077640 2145898496 383566 134679101440 4194304 15467897 140731887172256 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38440960 140731887178783 140731887178885 140731887178885 140731887185901 0
/proc/971456/statm: 523901 383566 2849 2753 0 520554 0
Current children cumulated CPU time: 3212.85 s
Current children cumulated vsize: 2095604 KiB
Current children cumulated memory: 1534264 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.13 4.09 6/245 973782
/proc/meminfo: memFree=120107140/131655788 swapFree=131071996/131071996
[pid=971456] ppid=971453 vsize=2095604 memory=1534264 CPUtime=3272.73 cores=1,3
/proc/971456/stat : 971456 (LS-MabSP) R 971453 971456 971403 0 -1 4194304 343215 0 0 0 326265 1008 0 0 20 0 1 0 186077640 2145898496 383566 134679101440 4194304 15467897 140731887172256 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38440960 140731887178783 140731887178885 140731887178885 140731887185901 0
/proc/971456/statm: 523901 383566 2849 2753 0 520554 0
Current children cumulated CPU time: 3272.73 s
Current children cumulated vsize: 2095604 KiB
Current children cumulated memory: 1534264 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.12 4.09 6/245 973793
/proc/meminfo: memFree=120105060/131655788 swapFree=131071996/131071996
[pid=971456] ppid=971453 vsize=2095604 memory=1534264 CPUtime=3332.61 cores=1,3
/proc/971456/stat : 971456 (LS-MabSP) R 971453 971456 971403 0 -1 4194304 343350 0 0 0 332220 1041 0 0 20 0 1 0 186077640 2145898496 383566 134679101440 4194304 15467897 140731887172256 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38440960 140731887178783 140731887178885 140731887178885 140731887185901 0
/proc/971456/statm: 523901 383566 2849 2753 0 520554 0
Current children cumulated CPU time: 3332.61 s
Current children cumulated vsize: 2095604 KiB
Current children cumulated memory: 1534264 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.13 4.09 6/245 973803
/proc/meminfo: memFree=120103808/131655788 swapFree=131071996/131071996
[pid=971456] ppid=971453 vsize=2095604 memory=1534264 CPUtime=3392.48 cores=1,3
/proc/971456/stat : 971456 (LS-MabSP) R 971453 971456 971403 0 -1 4194304 343485 0 0 0 338173 1075 0 0 20 0 1 0 186077640 2145898496 383566 134679101440 4194304 15467897 140731887172256 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38440960 140731887178783 140731887178885 140731887178885 140731887185901 0
/proc/971456/statm: 523901 383566 2849 2753 0 520554 0
Current children cumulated CPU time: 3392.48 s
Current children cumulated vsize: 2095604 KiB
Current children cumulated memory: 1534264 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.13 4.09 6/246 973814
/proc/meminfo: memFree=120096816/131655788 swapFree=131071996/131071996
[pid=971456] ppid=971453 vsize=2095604 memory=1534264 CPUtime=3452.36 cores=1,3
/proc/971456/stat : 971456 (LS-MabSP) R 971453 971456 971403 0 -1 4194304 343620 0 0 0 344123 1113 0 0 20 0 1 0 186077640 2145898496 383566 134679101440 4194304 15467897 140731887172256 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38440960 140731887178783 140731887178885 140731887178885 140731887185901 0
/proc/971456/statm: 523901 383566 2849 2753 0 520554 0
Current children cumulated CPU time: 3452.36 s
Current children cumulated vsize: 2095604 KiB
Current children cumulated memory: 1534264 KiB
[startup+3522.3 s]
/proc/loadavg: 4.06 4.11 4.09 6/246 973825
/proc/meminfo: memFree=120084632/131655788 swapFree=131071996/131071996
[pid=971456] ppid=971453 vsize=2095604 memory=1534264 CPUtime=3512.23 cores=1,3
/proc/971456/stat : 971456 (LS-MabSP) R 971453 971456 971403 0 -1 4194304 343755 0 0 0 350075 1148 0 0 20 0 1 0 186077640 2145898496 383566 134679101440 4194304 15467897 140731887172256 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38440960 140731887178783 140731887178885 140731887178885 140731887185901 0
/proc/971456/statm: 523901 383566 2849 2753 0 520554 0
Current children cumulated CPU time: 3512.23 s
Current children cumulated vsize: 2095604 KiB
Current children cumulated memory: 1534264 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.12 4.09 6/243 973836
/proc/meminfo: memFree=120084360/131655788 swapFree=131071996/131071996
[pid=971456] ppid=971453 vsize=2095604 memory=1534264 CPUtime=3572.11 cores=1,3
/proc/971456/stat : 971456 (LS-MabSP) R 971453 971456 971403 0 -1 4194304 343890 0 0 0 356024 1187 0 0 20 0 1 0 186077640 2145898496 383566 134679101440 4194304 15467897 140731887172256 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38440960 140731887178783 140731887178885 140731887178885 140731887185901 0
/proc/971456/statm: 523901 383566 2849 2753 0 520554 0
Current children cumulated CPU time: 3572.11 s
Current children cumulated vsize: 2095604 KiB
Current children cumulated memory: 1534264 KiB
[startup+3610.25 s]
# the end of solver process 971456 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.94 s, system=12.0777 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.13 4.12 4.09 6/243 973837
/proc/meminfo: memFree=120084532/131655788 swapFree=131071996/131071996
[pid=971456] ppid=971453 vsize=2095604 memory=1534264 CPUtime=3573.83 cores=1,3
/proc/971456/stat : 971456 (LS-MabSP) R 971453 971456 971403 0 -1 4194304 343890 0 0 0 356194 1189 0 0 20 0 1 0 186077640 2145898496 383566 134679101440 4194304 15467897 140731887172256 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38440960 140731887178783 140731887178885 140731887178885 140731887185901 0
/proc/971456/statm: 523901 383566 2849 2753 0 520554 0
Current children cumulated CPU time: 3573.83 s
Current children cumulated vsize: 2095604 KiB
Current children cumulated memory: 1534264 KiB
[startup+3596.8 s]
/proc/loadavg: 4.11 4.11 4.09 6/243 973839
/proc/meminfo: memFree=120084472/131655788 swapFree=131071996/131071996
[pid=971456] ppid=971453 vsize=2095604 memory=1534264 CPUtime=3586.59 cores=1,3
/proc/971456/stat : 971456 (LS-MabSP) R 971453 971456 971403 0 -1 4194304 343935 0 0 0 357462 1197 0 0 20 0 1 0 186077640 2145898496 383566 134679101440 4194304 15467897 140731887172256 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38440960 140731887178783 140731887178885 140731887178885 140731887185901 0
/proc/971456/statm: 523901 383566 2849 2753 0 520554 0
Current children cumulated CPU time: 3586.59 s
Current children cumulated vsize: 2095604 KiB
Current children cumulated memory: 1534264 KiB
[startup+3603.2 s]
/proc/loadavg: 4.09 4.11 4.09 6/243 973840
/proc/meminfo: memFree=120084412/131655788 swapFree=131071996/131071996
[pid=971456] ppid=971453 vsize=2095604 memory=1534264 CPUtime=3592.97 cores=1,3
/proc/971456/stat : 971456 (LS-MabSP) R 971453 971456 971403 0 -1 4194304 343935 0 0 0 358095 1202 0 0 20 0 1 0 186077640 2145898496 383566 134679101440 4194304 15467897 140731887172256 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38440960 140731887178783 140731887178885 140731887178885 140731887185901 0
/proc/971456/statm: 523901 383566 2849 2753 0 520554 0
Current children cumulated CPU time: 3592.97 s
Current children cumulated vsize: 2095604 KiB
Current children cumulated memory: 1534264 KiB
[startup+3606.4 s]
/proc/loadavg: 4.09 4.11 4.09 6/243 973841
/proc/meminfo: memFree=120084368/131655788 swapFree=131071996/131071996
[pid=971456] ppid=971453 vsize=2095604 memory=1534264 CPUtime=3596.16 cores=1,3
/proc/971456/stat : 971456 (LS-MabSP) R 971453 971456 971403 0 -1 4194304 343935 0 0 0 358412 1204 0 0 20 0 1 0 186077640 2145898496 383566 134679101440 4194304 15467897 140731887172256 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38440960 140731887178783 140731887178885 140731887178885 140731887185901 0
/proc/971456/statm: 523901 383566 2849 2753 0 520554 0
Current children cumulated CPU time: 3596.16 s
Current children cumulated vsize: 2095604 KiB
Current children cumulated memory: 1534264 KiB
[startup+3608 s]*
/proc/loadavg: 4.08 4.11 4.09 6/243 973841
/proc/meminfo: memFree=120084312/131655788 swapFree=131071996/131071996
[pid=971456] ppid=971453 vsize=2095604 memory=1534264 CPUtime=3597.77 cores=1,3
/proc/971456/stat : 971456 (LS-MabSP) R 971453 971456 971403 0 -1 4194304 343935 0 0 0 358572 1205 0 0 20 0 1 0 186077640 2145898496 383566 134679101440 4194304 15467897 140731887172256 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38440960 140731887178783 140731887178885 140731887178885 140731887185901 0
/proc/971456/statm: 523901 383566 2849 2753 0 520554 0
Current children cumulated CPU time: 3597.77 s
Current children cumulated vsize: 2095604 KiB
Current children cumulated memory: 1534264 KiB
[startup+3609.6 s]
/proc/loadavg: 4.08 4.11 4.09 6/243 973841
/proc/meminfo: memFree=120941344/131655788 swapFree=131071996/131071996
[pid=971456] ppid=971453 vsize=2095604 memory=1534264 CPUtime=3599.36 cores=1,3
/proc/971456/stat : 971456 (LS-MabSP) R 971453 971456 971403 0 -1 4194304 343980 0 0 0 358730 1206 0 0 20 0 1 0 186077640 2145898496 383566 134679101440 4194304 15467897 140731887172256 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38440960 140731887178783 140731887178885 140731887178885 140731887185901 0
/proc/971456/statm: 523901 383566 2849 2753 0 520554 0
Current children cumulated CPU time: 3599.36 s
Current children cumulated vsize: 2095604 KiB
Current children cumulated memory: 1534264 KiB
[startup+3610 s]*
/proc/loadavg: 4.08 4.11 4.09 5/240 973923
/proc/meminfo: memFree=123539304/131655788 swapFree=131071996/131071996
[pid=971456] ppid=971453 vsize=2095604 memory=1534264 CPUtime=3599.77 cores=1,3
/proc/971456/stat : 971456 (LS-MabSP) R 971453 971456 971403 0 -1 4194304 343980 0 0 0 358770 1207 0 0 20 0 1 0 186077640 2145898496 383566 134679101440 4194304 15467897 140731887172256 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38440960 140731887178783 140731887178885 140731887178885 140731887185901 0
/proc/971456/statm: 523901 383566 2849 2753 0 520554 0
Current children cumulated CPU time: 3599.77 s
Current children cumulated vsize: 2095604 KiB
Current children cumulated memory: 1534264 KiB
[startup+3610.2 s]
/proc/loadavg: 4.08 4.11 4.09 5/240 973923
/proc/meminfo: memFree=123539304/131655788 swapFree=131071996/131071996
[pid=971456] ppid=971453 vsize=2095604 memory=1534264 CPUtime=3599.96 cores=1,3
/proc/971456/stat : 971456 (LS-MabSP) R 971453 971456 971403 0 -1 4194304 343980 0 0 0 358789 1207 0 0 20 0 1 0 186077640 2145898496 383566 134679101440 4194304 15467897 140731887172256 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38440960 140731887178783 140731887178885 140731887178885 140731887185901 0
/proc/971456/statm: 523901 383566 2849 2753 0 520554 0
Current children cumulated CPU time: 3599.96 s
Current children cumulated vsize: 2095604 KiB
Current children cumulated memory: 1534264 KiB
Child status: 0
Real time (s): 3610.25
CPU time (s): 3600.02
CPU user time (s): 3587.94
CPU system time (s): 12.0777
CPU usage (%): 99.7166
Max. virtual memory (cumulated for all children) (KiB): 2605840
Max. memory (cumulated for all children) (KiB): 1696564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.94
system time used= 12.0777
maximum resident set size= 1696564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 344003
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= 15
involuntary context switches= 1567
# summary of solver processes directly reported to runsolver:
# pid: 971456
# total CPU time (s): 3600.02
# total CPU user time (s): 3587.94
# total CPU system time (s): 12.0777
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.2854 second user time and 36.3943 second system time
The end
Begin job on nodeC007 at 2024-07-18 23:47:02
IDJOB=4446096
IDBENCH=155450
IDSOLVER=3047
FILE ID=nodeC007/4446096-1721339210
RUNJOBID= nodeC007-1721339222-971415
SLURM_JOB_ID= 7542716
Free space on /tmp= 723744 MiB
SOLVER NAME= LS-MabSP 2024-07-10
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-20.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-4446096-1721339210/watcher-4446096-1721339210 -o /tmp/evaluation-result-4446096-1721339210/solver-4446096-1721339210 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721339222-971415 --watchdog 3760 ./LS-MabSP -f HOME/instance-4446096-1721339210.opb -t 3600 -s 126343809
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= ce92e16bf0ab8af5c50df3c37225d359
RANDOM SEED=126343809
nodeC007.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 : 0xb00001f
cpu MHz : 1726.082
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.25
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 : 0xb00001f
cpu MHz : 1197.136
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.30
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 : 0xb00001f
cpu MHz : 1197.130
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.25
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 : 0xb00001f
cpu MHz : 1197.131
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.30
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 : 0xb00001f
cpu MHz : 1197.131
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.25
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 : 0xb00001f
cpu MHz : 1197.149
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.30
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 : 0xb00001f
cpu MHz : 1197.140
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.25
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 : 0xb00001f
cpu MHz : 1197.131
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 127074816 kB
MemAvailable: 129925224 kB
Buffers: 510216 kB
Cached: 3170804 kB
SwapCached: 0 kB
Active: 1056940 kB
Inactive: 2960804 kB
Active(anon): 1364 kB
Inactive(anon): 373060 kB
Active(file): 1055576 kB
Inactive(file): 2587744 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 104016 kB
Writeback: 12 kB
AnonPages: 336760 kB
Mapped: 106336 kB
Shmem: 37704 kB
KReclaimable: 94236 kB
Slab: 196052 kB
SReclaimable: 94236 kB
SUnreclaim: 101816 kB
KernelStack: 3600 kB
PageTables: 10348 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 609408 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 58400 kB
HardwareCorrupted: 0 kB
AnonHugePages: 217088 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: 279368 kB
DirectMap2M: 27936768 kB
DirectMap1G: 108003328 kB
Free space on /tmp at the end= 723688 MiB
End job on nodeC007 at 2024-07-19 00:47:13