735.00/738.22 c Using cadical-2.0.0-2df7b7f SAT solver by Armin Biere (2022)
735.00/738.22 c Using SCIP solver, version 8.1.0, https://www.scipopt.org
735.00/738.25 c Starting SCIP solver (with time-limit = 1800s) ...
2528.81/2538.25 c SCIP timeout with lower and upper bounds: [0, 9223372036854775807]
3600.08/3613.01 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 (63140 MiB free)
memory of node 1: 64510 MiB (62520 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439124-1721218674/watcher-4439124-1721218674 -o /tmp/evaluation-result-4439124-1721218674/solver-4439124-1721218674 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721218686-904499 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4439124-1721218674.opb -total-t=3600 -no-par -v0
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=904532, runsolver pid=904529
[startup+0.100098 s]*
/proc/loadavg: 1.12 1.51 2.66 5/242 904563
/proc/meminfo: memFree=128657200/131655788 swapFree=131071996/131071996
[pid=904532] ppid=904529 vsize=27728 memory=12984 CPUtime=0.1 cores=0,2
/proc/904532/stat : 904532 (CASHWMaxSAT-Dis) R 904529 904532 904489 0 -1 4194304 2753 0 0 0 10 0 0 0 20 0 1 0 174025398 28393472 3246 134679101440 4194304 14817773 140729044780128 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 32800768 140729044784100 140729044784215 140729044784215 140729044791231 0
/proc/904532/statm: 6932 3246 990 2594 0 3825 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27728 KiB
Current children cumulated memory: 12984 KiB
[startup+0.212863 s]*
/proc/loadavg: 1.12 1.51 2.66 5/242 904563
/proc/meminfo: memFree=128611068/131655788 swapFree=131071996/131071996
[pid=904532] ppid=904529 vsize=27768 memory=13280 CPUtime=0.21 cores=0,2
/proc/904532/stat : 904532 (CASHWMaxSAT-Dis) R 904529 904532 904489 0 -1 4194304 3034 0 0 0 21 0 0 0 20 0 1 0 174025398 28434432 3320 134679101440 4194304 14817773 140729044780128 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 32800768 140729044784100 140729044784215 140729044784215 140729044791231 0
/proc/904532/statm: 6942 3320 990 2594 0 3835 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27768 KiB
Current children cumulated memory: 13280 KiB
[startup+0.312905 s]*
/proc/loadavg: 1.12 1.51 2.66 5/242 904563
/proc/meminfo: memFree=128554564/131655788 swapFree=131071996/131071996
[pid=904532] ppid=904529 vsize=27808 memory=13324 CPUtime=0.31 cores=0,2
/proc/904532/stat : 904532 (CASHWMaxSAT-Dis) R 904529 904532 904489 0 -1 4194304 3323 0 0 0 31 0 0 0 20 0 1 0 174025398 28475392 3331 134679101440 4194304 14817773 140729044780128 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 32800768 140729044784100 140729044784215 140729044784215 140729044791231 0
/proc/904532/statm: 6952 3331 990 2594 0 3845 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 27808 KiB
Current children cumulated memory: 13324 KiB
[startup+0.700337 s]
/proc/loadavg: 1.12 1.51 2.66 5/242 904563
/proc/meminfo: memFree=128485288/131655788 swapFree=131071996/131071996
[pid=904532] ppid=904529 vsize=30036 memory=15556 CPUtime=0.69 cores=0,2
/proc/904532/stat : 904532 (CASHWMaxSAT-Dis) R 904529 904532 904489 0 -1 4194304 4601 0 0 0 68 1 0 0 20 0 1 0 174025398 30756864 3889 134679101440 4194304 14817773 140729044780128 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 32800768 140729044784100 140729044784215 140729044784215 140729044791231 0
/proc/904532/statm: 7509 3889 1006 2594 0 4402 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 30036 KiB
Current children cumulated memory: 15556 KiB
[startup+1.50033 s]
/proc/loadavg: 1.12 1.51 2.66 5/242 904563
/proc/meminfo: memFree=128294064/131655788 swapFree=131071996/131071996
[pid=904532] ppid=904529 vsize=32488 memory=18296 CPUtime=1.48 cores=0,2
/proc/904532/stat : 904532 (CASHWMaxSAT-Dis) R 904529 904532 904489 0 -1 4194304 6537 0 0 0 147 1 0 0 20 0 1 0 174025398 33267712 4574 134679101440 4194304 14817773 140729044780128 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 32800768 140729044784100 140729044784215 140729044784215 140729044791231 0
/proc/904532/statm: 8122 4574 1006 2594 0 5015 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 32488 KiB
Current children cumulated memory: 18296 KiB
[startup+3.11252 s]
/proc/loadavg: 1.12 1.51 2.66 5/242 904563
/proc/meminfo: memFree=128141372/131655788 swapFree=131071996/131071996
[pid=904532] ppid=904529 vsize=33424 memory=18840 CPUtime=3.09 cores=0,2
/proc/904532/stat : 904532 (CASHWMaxSAT-Dis) R 904529 904532 904489 0 -1 4194304 8774 0 0 0 307 2 0 0 20 0 1 0 174025398 34226176 4710 134679101440 4194304 14817773 140729044780128 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 32800768 140729044784100 140729044784215 140729044784215 140729044791231 0
/proc/904532/statm: 8356 4710 1006 2594 0 5249 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 33424 KiB
Current children cumulated memory: 18840 KiB
[startup+6.30031 s]
/proc/loadavg: 1.35 1.56 2.66 5/242 904563
/proc/meminfo: memFree=128059476/131655788 swapFree=131071996/131071996
[pid=904532] ppid=904529 vsize=35276 memory=21080 CPUtime=6.26 cores=0,2
/proc/904532/stat : 904532 (CASHWMaxSAT-Dis) R 904529 904532 904489 0 -1 4194304 10667 0 0 0 624 2 0 0 20 0 1 0 174025398 36122624 5270 134679101440 4194304 14817773 140729044780128 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 32800768 140729044784100 140729044784215 140729044784215 140729044791231 0
/proc/904532/statm: 8819 5270 1006 2594 0 5712 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 35276 KiB
Current children cumulated memory: 21080 KiB
[startup+12.7003 s]
/proc/loadavg: 1.56 1.60 2.67 5/242 904564
/proc/meminfo: memFree=127802028/131655788 swapFree=131071996/131071996
[pid=904532] ppid=904529 vsize=35828 memory=21640 CPUtime=12.63 cores=0,2
/proc/904532/stat : 904532 (CASHWMaxSAT-Dis) R 904529 904532 904489 0 -1 4194304 14001 0 0 0 1260 3 0 0 20 0 1 0 174025398 36687872 5410 134679101440 4194304 14817773 140729044780128 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 32800768 140729044784100 140729044784215 140729044784215 140729044791231 0
/proc/904532/statm: 8957 5410 1006 2594 0 5850 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 35828 KiB
Current children cumulated memory: 21640 KiB
[startup+25.5003 s]
/proc/loadavg: 2.10 1.72 2.69 5/242 904566
/proc/meminfo: memFree=127748508/131655788 swapFree=131071996/131071996
[pid=904532] ppid=904529 vsize=39552 memory=25440 CPUtime=25.38 cores=0,2
/proc/904532/stat : 904532 (CASHWMaxSAT-Dis) R 904529 904532 904489 0 -1 4194304 19707 0 0 0 2534 4 0 0 20 0 1 0 174025398 40501248 6360 134679101440 4194304 14817773 140729044780128 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 32800768 140729044784100 140729044784215 140729044784215 140729044791231 0
/proc/904532/statm: 9888 6360 1006 2594 0 6781 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 39552 KiB
Current children cumulated memory: 25440 KiB
[startup+51.1126 s]
/proc/loadavg: 3.02 1.96 2.75 5/242 904570
/proc/meminfo: memFree=127641508/131655788 swapFree=131071996/131071996
[pid=904532] ppid=904529 vsize=48420 memory=34096 CPUtime=50.88 cores=0,2
/proc/904532/stat : 904532 (CASHWMaxSAT-Dis) R 904529 904532 904489 0 -1 4194304 29287 0 0 0 5083 5 0 0 20 0 1 0 174025398 49582080 8524 134679101440 4194304 14817773 140729044780128 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 32800768 140729044784100 140729044784215 140729044784215 140729044791231 0
/proc/904532/statm: 12105 8524 1006 2594 0 8998 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 48420 KiB
Current children cumulated memory: 34096 KiB
[startup+102.3 s]
/proc/loadavg: 4.26 2.46 2.88 5/242 904579
/proc/meminfo: memFree=127611316/131655788 swapFree=131071996/131071996
[pid=904532] ppid=904529 vsize=56396 memory=42148 CPUtime=101.86 cores=0,2
/proc/904532/stat : 904532 (CASHWMaxSAT-Dis) R 904529 904532 904489 0 -1 4194304 30813 0 0 0 10181 5 0 0 20 0 1 0 174025398 57749504 10537 134679101440 4194304 14817773 140729044780128 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 32800768 140729044784100 140729044784215 140729044784215 140729044791231 0
/proc/904532/statm: 14099 10537 1006 2594 0 10992 0
Current children cumulated CPU time: 101.86 s
Current children cumulated vsize: 56396 KiB
Current children cumulated memory: 42148 KiB
[startup+162.3 s]
/proc/loadavg: 4.20 2.78 2.96 5/244 904594
/proc/meminfo: memFree=127573928/131655788 swapFree=131071996/131071996
[pid=904532] ppid=904529 vsize=62816 memory=48680 CPUtime=161.62 cores=0,2
/proc/904532/stat : 904532 (CASHWMaxSAT-Dis) R 904529 904532 904489 0 -1 4194304 35381 0 0 0 16155 7 0 0 20 0 1 0 174025398 64323584 12170 134679101440 4194304 14817773 140729044780128 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 32800768 140729044784100 140729044784215 140729044784215 140729044791231 0
/proc/904532/statm: 15704 12170 1006 2594 0 12597 0
Current children cumulated CPU time: 161.62 s
Current children cumulated vsize: 62816 KiB
Current children cumulated memory: 48680 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 3.02 3.04 5/244 904605
/proc/meminfo: memFree=127536844/131655788 swapFree=131071996/131071996
[pid=904532] ppid=904529 vsize=60376 memory=46028 CPUtime=221.36 cores=0,2
/proc/904532/stat : 904532 (CASHWMaxSAT-Dis) R 904529 904532 904489 0 -1 4194304 38505 0 0 0 22128 8 0 0 20 0 1 0 174025398 61825024 11507 134679101440 4194304 14817773 140729044780128 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 32800768 140729044784100 140729044784215 140729044784215 140729044791231 0
/proc/904532/statm: 15094 11507 1006 2594 0 11987 0
Current children cumulated CPU time: 221.36 s
Current children cumulated vsize: 60376 KiB
Current children cumulated memory: 46028 KiB
[startup+282.3 s]
/proc/loadavg: 4.17 3.23 3.11 5/244 904615
/proc/meminfo: memFree=127520936/131655788 swapFree=131071996/131071996
[pid=904532] ppid=904529 vsize=70064 memory=55696 CPUtime=281.1 cores=0,2
/proc/904532/stat : 904532 (CASHWMaxSAT-Dis) R 904529 904532 904489 0 -1 4194304 42238 0 0 0 28101 9 0 0 20 0 1 0 174025398 71745536 13924 134679101440 4194304 14817773 140729044780128 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 32800768 140729044784100 140729044784215 140729044784215 140729044791231 0
/proc/904532/statm: 17516 13924 1006 2594 0 14409 0
Current children cumulated CPU time: 281.1 s
Current children cumulated vsize: 70064 KiB
Current children cumulated memory: 55696 KiB
[startup+342.3 s]
/proc/loadavg: 4.39 3.45 3.20 5/245 904629
/proc/meminfo: memFree=127491256/131655788 swapFree=131071996/131071996
[pid=904532] ppid=904529 vsize=70720 memory=56372 CPUtime=340.84 cores=0,2
/proc/904532/stat : 904532 (CASHWMaxSAT-Dis) R 904529 904532 904489 0 -1 4194304 46495 0 0 0 34074 10 0 0 20 0 1 0 174025398 72417280 14093 134679101440 4194304 14817773 140729044780128 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 32800768 140729044784100 140729044784215 140729044784215 140729044791231 0
/proc/904532/statm: 17680 14093 1006 2594 0 14573 0
Current children cumulated CPU time: 340.84 s
Current children cumulated vsize: 70720 KiB
Current children cumulated memory: 56372 KiB
[startup+402.3 s]
/proc/loadavg: 5.30 3.86 3.35 5/245 904640
/proc/meminfo: memFree=127444288/131655788 swapFree=131071996/131071996
[pid=904532] ppid=904529 vsize=80180 memory=65916 CPUtime=400.59 cores=0,2
/proc/904532/stat : 904532 (CASHWMaxSAT-Dis) R 904529 904532 904489 0 -1 4194304 47906 0 0 0 40048 11 0 0 20 0 1 0 174025398 82104320 16479 134679101440 4194304 14817773 140729044780128 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 32800768 140729044784100 140729044784215 140729044784215 140729044791231 0
/proc/904532/statm: 20045 16479 1006 2594 0 16938 0
Current children cumulated CPU time: 400.59 s
Current children cumulated vsize: 80180 KiB
Current children cumulated memory: 65916 KiB
[startup+462.3 s]
/proc/loadavg: 5.51 4.22 3.51 5/245 905034
/proc/meminfo: memFree=127403692/131655788 swapFree=131071996/131071996
[pid=904532] ppid=904529 vsize=81104 memory=66992 CPUtime=460.33 cores=0,2
/proc/904532/stat : 904532 (CASHWMaxSAT-Dis) R 904529 904532 904489 0 -1 4194304 53020 0 0 0 46020 13 0 0 20 0 1 0 174025398 83050496 16748 134679101440 4194304 14817773 140729044780128 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 32800768 140729044784100 140729044784215 140729044784215 140729044791231 0
/proc/904532/statm: 20276 16748 1006 2594 0 17169 0
################
# More data... #
################
Current children cumulated memory: 400468 KiB
[startup+2862.3 s]
/proc/loadavg: 4.08 4.10 4.06 5/242 906268
/proc/meminfo: memFree=126581032/131655788 swapFree=131071996/131071996
[pid=904532] ppid=904529 vsize=411692 memory=400468 CPUtime=2851.86 cores=0,2
/proc/904532/stat : 904532 (CASHWMaxSAT-Dis) R 904529 904532 904489 0 -1 4194304 140820 0 0 0 285154 32 0 0 20 0 1 0 174025398 421572608 100117 134679101440 4194304 14817773 140729044780128 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 32800768 140729044784100 140729044784215 140729044784215 140729044791231 0
/proc/904532/statm: 102923 100117 2718 2594 0 99816 0
Current children cumulated CPU time: 2851.86 s
Current children cumulated vsize: 411692 KiB
Current children cumulated memory: 400468 KiB
[startup+2922.3 s]
/proc/loadavg: 4.13 4.11 4.06 5/241 906279
/proc/meminfo: memFree=126691104/131655788 swapFree=131071996/131071996
[pid=904532] ppid=904529 vsize=411692 memory=400468 CPUtime=2911.67 cores=0,2
/proc/904532/stat : 904532 (CASHWMaxSAT-Dis) R 904529 904532 904489 0 -1 4194304 140874 0 0 0 291135 32 0 0 20 0 1 0 174025398 421572608 100117 134679101440 4194304 14817773 140729044780128 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 32800768 140729044784100 140729044784215 140729044784215 140729044791231 0
/proc/904532/statm: 102923 100117 2718 2594 0 99816 0
Current children cumulated CPU time: 2911.67 s
Current children cumulated vsize: 411692 KiB
Current children cumulated memory: 400468 KiB
[startup+2982.3 s]
/proc/loadavg: 4.09 4.11 4.06 5/241 906289
/proc/meminfo: memFree=126752140/131655788 swapFree=131071996/131071996
[pid=904532] ppid=904529 vsize=411692 memory=400468 CPUtime=2971.47 cores=0,2
/proc/904532/stat : 904532 (CASHWMaxSAT-Dis) R 904529 904532 904489 0 -1 4194304 140928 0 0 0 297115 32 0 0 20 0 1 0 174025398 421572608 100117 134679101440 4194304 14817773 140729044780128 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 32800768 140729044784100 140729044784215 140729044784215 140729044791231 0
/proc/904532/statm: 102923 100117 2718 2594 0 99816 0
Current children cumulated CPU time: 2971.47 s
Current children cumulated vsize: 411692 KiB
Current children cumulated memory: 400468 KiB
[startup+3042.3 s]
/proc/loadavg: 4.15 4.12 4.07 5/241 906299
/proc/meminfo: memFree=126751348/131655788 swapFree=131071996/131071996
[pid=904532] ppid=904529 vsize=411692 memory=400468 CPUtime=3031.27 cores=0,2
/proc/904532/stat : 904532 (CASHWMaxSAT-Dis) R 904529 904532 904489 0 -1 4194304 140977 0 0 0 303095 32 0 0 20 0 1 0 174025398 421572608 100117 134679101440 4194304 14817773 140729044780128 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 32800768 140729044784100 140729044784215 140729044784215 140729044791231 0
/proc/904532/statm: 102923 100117 2718 2594 0 99816 0
Current children cumulated CPU time: 3031.27 s
Current children cumulated vsize: 411692 KiB
Current children cumulated memory: 400468 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.11 4.07 5/241 906310
/proc/meminfo: memFree=126751120/131655788 swapFree=131071996/131071996
[pid=904532] ppid=904529 vsize=411692 memory=400468 CPUtime=3091.07 cores=0,2
/proc/904532/stat : 904532 (CASHWMaxSAT-Dis) R 904529 904532 904489 0 -1 4194304 141032 0 0 0 309075 32 0 0 20 0 1 0 174025398 421572608 100117 134679101440 4194304 14817773 140729044780128 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 32800768 140729044784100 140729044784215 140729044784215 140729044791231 0
/proc/904532/statm: 102923 100117 2718 2594 0 99816 0
Current children cumulated CPU time: 3091.07 s
Current children cumulated vsize: 411692 KiB
Current children cumulated memory: 400468 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.10 4.07 5/244 906326
/proc/meminfo: memFree=126748300/131655788 swapFree=131071996/131071996
[pid=904532] ppid=904529 vsize=411692 memory=400468 CPUtime=3150.88 cores=0,2
/proc/904532/stat : 904532 (CASHWMaxSAT-Dis) R 904529 904532 904489 0 -1 4194304 141088 0 0 0 315056 32 0 0 20 0 1 0 174025398 421572608 100117 134679101440 4194304 14817773 140729044780128 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 32800768 140729044784100 140729044784215 140729044784215 140729044791231 0
/proc/904532/statm: 102923 100117 2718 2594 0 99816 0
Current children cumulated CPU time: 3150.88 s
Current children cumulated vsize: 411692 KiB
Current children cumulated memory: 400468 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.11 4.08 5/244 906336
/proc/meminfo: memFree=126747772/131655788 swapFree=131071996/131071996
[pid=904532] ppid=904529 vsize=411692 memory=400468 CPUtime=3210.68 cores=0,2
/proc/904532/stat : 904532 (CASHWMaxSAT-Dis) R 904529 904532 904489 0 -1 4194304 141143 0 0 0 321036 32 0 0 20 0 1 0 174025398 421572608 100117 134679101440 4194304 14817773 140729044780128 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 32800768 140729044784100 140729044784215 140729044784215 140729044791231 0
/proc/904532/statm: 102923 100117 2718 2594 0 99816 0
Current children cumulated CPU time: 3210.68 s
Current children cumulated vsize: 411692 KiB
Current children cumulated memory: 400468 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.08 5/244 906348
/proc/meminfo: memFree=126746984/131655788 swapFree=131071996/131071996
[pid=904532] ppid=904529 vsize=411692 memory=400468 CPUtime=3270.48 cores=0,2
/proc/904532/stat : 904532 (CASHWMaxSAT-Dis) R 904529 904532 904489 0 -1 4194304 141182 0 0 0 327016 32 0 0 20 0 1 0 174025398 421572608 100117 134679101440 4194304 14817773 140729044780128 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 32800768 140729044784100 140729044784215 140729044784215 140729044791231 0
/proc/904532/statm: 102923 100117 2718 2594 0 99816 0
Current children cumulated CPU time: 3270.48 s
Current children cumulated vsize: 411692 KiB
Current children cumulated memory: 400468 KiB
[startup+3342.3 s]
/proc/loadavg: 4.20 4.13 4.09 5/244 906358
/proc/meminfo: memFree=126746648/131655788 swapFree=131071996/131071996
[pid=904532] ppid=904529 vsize=411692 memory=400468 CPUtime=3330.27 cores=0,2
/proc/904532/stat : 904532 (CASHWMaxSAT-Dis) R 904529 904532 904489 0 -1 4194304 141241 0 0 0 332995 32 0 0 20 0 1 0 174025398 421572608 100117 134679101440 4194304 14817773 140729044780128 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 32800768 140729044784100 140729044784215 140729044784215 140729044791231 0
/proc/904532/statm: 102923 100117 2718 2594 0 99816 0
Current children cumulated CPU time: 3330.27 s
Current children cumulated vsize: 411692 KiB
Current children cumulated memory: 400468 KiB
[startup+3402.3 s]
/proc/loadavg: 4.18 4.14 4.09 5/244 906368
/proc/meminfo: memFree=126745880/131655788 swapFree=131071996/131071996
[pid=904532] ppid=904529 vsize=411692 memory=400468 CPUtime=3390.07 cores=0,2
/proc/904532/stat : 904532 (CASHWMaxSAT-Dis) R 904529 904532 904489 0 -1 4194304 141295 0 0 0 338975 32 0 0 20 0 1 0 174025398 421572608 100117 134679101440 4194304 14817773 140729044780128 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 32800768 140729044784100 140729044784215 140729044784215 140729044791231 0
/proc/904532/statm: 102923 100117 2718 2594 0 99816 0
Current children cumulated CPU time: 3390.07 s
Current children cumulated vsize: 411692 KiB
Current children cumulated memory: 400468 KiB
[startup+3462.3 s]
/proc/loadavg: 4.18 4.14 4.09 5/244 906379
/proc/meminfo: memFree=126745480/131655788 swapFree=131071996/131071996
[pid=904532] ppid=904529 vsize=411692 memory=400468 CPUtime=3449.88 cores=0,2
/proc/904532/stat : 904532 (CASHWMaxSAT-Dis) R 904529 904532 904489 0 -1 4194304 141348 0 0 0 344956 32 0 0 20 0 1 0 174025398 421572608 100117 134679101440 4194304 14817773 140729044780128 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 32800768 140729044784100 140729044784215 140729044784215 140729044791231 0
/proc/904532/statm: 102923 100117 2718 2594 0 99816 0
Current children cumulated CPU time: 3449.88 s
Current children cumulated vsize: 411692 KiB
Current children cumulated memory: 400468 KiB
[startup+3522.3 s]
/proc/loadavg: 4.18 4.14 4.09 5/241 906390
/proc/meminfo: memFree=126744796/131655788 swapFree=131071996/131071996
[pid=904532] ppid=904529 vsize=411692 memory=400468 CPUtime=3509.68 cores=0,2
/proc/904532/stat : 904532 (CASHWMaxSAT-Dis) R 904529 904532 904489 0 -1 4194304 141404 0 0 0 350936 32 0 0 20 0 1 0 174025398 421572608 100117 134679101440 4194304 14817773 140729044780128 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 32800768 140729044784100 140729044784215 140729044784215 140729044791231 0
/proc/904532/statm: 102923 100117 2718 2594 0 99816 0
Current children cumulated CPU time: 3509.68 s
Current children cumulated vsize: 411692 KiB
Current children cumulated memory: 400468 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.15 4.09 5/241 906400
/proc/meminfo: memFree=126744208/131655788 swapFree=131071996/131071996
[pid=904532] ppid=904529 vsize=411692 memory=400468 CPUtime=3569.48 cores=0,2
/proc/904532/stat : 904532 (CASHWMaxSAT-Dis) R 904529 904532 904489 0 -1 4194304 141468 0 0 0 356916 32 0 0 20 0 1 0 174025398 421572608 100117 134679101440 4194304 14817773 140729044780128 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 32800768 140729044784100 140729044784215 140729044784215 140729044791231 0
/proc/904532/statm: 102923 100117 2718 2594 0 99816 0
Current children cumulated CPU time: 3569.48 s
Current children cumulated vsize: 411692 KiB
Current children cumulated memory: 400468 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3613 s]*
/proc/loadavg: 4.15 4.15 4.10 5/241 906636
/proc/meminfo: memFree=127620100/131655788 swapFree=131071996/131071996
[pid=904532] ppid=904529 vsize=411692 memory=400468 CPUtime=3600.08 cores=0,2
/proc/904532/stat : 904532 (CASHWMaxSAT-Dis) R 904529 904532 904489 0 -1 4194304 141484 0 0 0 359976 32 0 0 20 0 1 0 174025398 421572608 100117 134679101440 4194304 14817773 140729044780128 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 32800768 140729044784100 140729044784215 140729044784215 140729044791231 0
/proc/904532/statm: 102923 100117 2718 2594 0 99816 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 411692 KiB
Current children cumulated memory: 400468 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3613.01 s]
# the end of solver process 904532 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3599.77 s, system=0.322443 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3613.01
CPU time (s): 3600.09
CPU user time (s): 3599.77
CPU system time (s): 0.322443
CPU usage (%): 99.6423
Max. virtual memory (cumulated for all children) (KiB): 456812
Max. memory (cumulated for all children) (KiB): 445380
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.77
system time used= 0.322443
maximum resident set size= 445380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 141484
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= 43
involuntary context switches= 24668
# summary of solver processes directly reported to runsolver:
# pid: 904532
# total CPU time (s): 3600.09
# total CPU user time (s): 3599.77
# total CPU system time (s): 0.322443
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.4422 second user time and 33.5859 second system time
The end
Begin job on nodeC002 at 2024-07-17 14:18:06
IDJOB=4439124
IDBENCH=147576
IDSOLVER=3075
FILE ID=nodeC002/4439124-1721218674
RUNJOBID= nodeC002-1721218686-904499
SLURM_JOB_ID= 7508947
Free space on /tmp= 723784 MiB
SOLVER NAME= CASHWMaxSAT-DisjCad-S 2024-07-10
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-market-split_5_40_2.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439124-1721218674/watcher-4439124-1721218674 -o /tmp/evaluation-result-4439124-1721218674/solver-4439124-1721218674 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721218686-904499 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4439124-1721218674.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 52024caa2fcec9d840e113a681eace59
RANDOM SEED=1929008935
nodeC002.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 : 3436.058
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.38
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.171
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.31
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.155
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.38
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.156
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.31
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.161
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.38
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.205
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.31
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.156
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.38
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.152
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.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 128676788 kB
MemAvailable: 129908092 kB
Buffers: 470716 kB
Cached: 1590780 kB
SwapCached: 0 kB
Active: 790924 kB
Inactive: 1630396 kB
Active(anon): 2584 kB
Inactive(anon): 394940 kB
Active(file): 788340 kB
Inactive(file): 1235456 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 54684 kB
Writeback: 0 kB
AnonPages: 359656 kB
Mapped: 104676 kB
Shmem: 37704 kB
KReclaimable: 95076 kB
Slab: 194592 kB
SReclaimable: 95076 kB
SUnreclaim: 99516 kB
KernelStack: 3632 kB
PageTables: 9784 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 679212 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 56768 kB
HardwareCorrupted: 0 kB
AnonHugePages: 231424 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: 205640 kB
DirectMap2M: 21719040 kB
DirectMap1G: 114294784 kB
Free space on /tmp at the end= 723720 MiB
End job on nodeC002 at 2024-07-17 15:18:19