667.92/669.81 c Using cadical-2.0.0-2df7b7f SAT solver by Armin Biere (2022)
667.92/669.81 c Using SCIP solver, version 8.1.0, https://www.scipopt.org
667.92/669.82 c Starting SCIP solver (with time-limit = 1800s) ...
2463.25/2469.82 c SCIP timeout with lower and upper bounds: [602, 9223372036854775807]
3600.00/3609.50 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: 63931 MiB (59116 MiB free)
memory of node 1: 64510 MiB (59883 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438635-1721209618/watcher-4438635-1721209618 -o /tmp/evaluation-result-4438635-1721209618/solver-4438635-1721209618 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721206158-914130 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4438635-1721209618.opb -total-t=3600 -no-par -v0
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
Current StackSize limit: 8192 KiB
solver pid=916364, runsolver pid=916361
[startup+0.100289 s]*
/proc/loadavg: 4.17 4.15 4.10 5/255 916365
/proc/meminfo: memFree=121843384/131524600 swapFree=131071996/131071996
[pid=916364] ppid=916361 vsize=31712 memory=16112 CPUtime=0.09 cores=5,7
/proc/916364/stat : 916364 (CASHWMaxSAT-Dis) R 916361 916364 914117 0 -1 4194304 3812 0 0 0 9 0 0 0 20 0 1 0 173131484 32473088 4028 134679101440 4194304 15356333 140729014273408 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 33050624 140729014281186 140729014281302 140729014281302 140729014288318 0
/proc/916364/statm: 7928 4028 1002 2726 0 4676 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 31712 KiB
Current children cumulated memory: 16112 KiB
[startup+0.205562 s]*
/proc/loadavg: 4.17 4.15 4.10 5/255 916365
/proc/meminfo: memFree=121843032/131524600 swapFree=131071996/131071996
[pid=916364] ppid=916361 vsize=32224 memory=17440 CPUtime=0.19 cores=5,7
/proc/916364/stat : 916364 (CASHWMaxSAT-Dis) R 916361 916364 914117 0 -1 4194304 4010 0 0 0 19 0 0 0 20 0 1 0 173131484 32997376 4360 134679101440 4194304 15356333 140729014273408 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 33050624 140729014281186 140729014281302 140729014281302 140729014288318 0
/proc/916364/statm: 8056 4360 1146 2726 0 4804 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 32224 KiB
Current children cumulated memory: 17440 KiB
[startup+0.30554 s]*
/proc/loadavg: 4.17 4.15 4.10 5/255 916365
/proc/meminfo: memFree=121842220/131524600 swapFree=131071996/131071996
[pid=916364] ppid=916361 vsize=32952 memory=17968 CPUtime=0.29 cores=5,7
/proc/916364/stat : 916364 (CASHWMaxSAT-Dis) R 916361 916364 914117 0 -1 4194304 4192 0 0 0 29 0 0 0 20 0 1 0 173131484 33742848 4492 134679101440 4194304 15356333 140729014273408 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 33050624 140729014281186 140729014281302 140729014281302 140729014288318 0
/proc/916364/statm: 8238 4492 1146 2726 0 4986 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 32952 KiB
Current children cumulated memory: 17968 KiB
[startup+0.700248 s]
/proc/loadavg: 4.17 4.15 4.10 5/255 916365
/proc/meminfo: memFree=121841408/131524600 swapFree=131071996/131071996
[pid=916364] ppid=916361 vsize=33472 memory=18496 CPUtime=0.68 cores=5,7
/proc/916364/stat : 916364 (CASHWMaxSAT-Dis) R 916361 916364 914117 0 -1 4194304 4322 0 0 0 68 0 0 0 20 0 1 0 173131484 34275328 4624 134679101440 4194304 15356333 140729014273408 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 33050624 140729014281186 140729014281302 140729014281302 140729014288318 0
/proc/916364/statm: 8368 4624 1146 2726 0 5116 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 33472 KiB
Current children cumulated memory: 18496 KiB
[startup+1.50025 s]
/proc/loadavg: 4.17 4.15 4.10 5/255 916365
/proc/meminfo: memFree=121841380/131524600 swapFree=131071996/131071996
[pid=916364] ppid=916361 vsize=34660 memory=19816 CPUtime=1.48 cores=5,7
/proc/916364/stat : 916364 (CASHWMaxSAT-Dis) R 916361 916364 914117 0 -1 4194304 4620 0 0 0 148 0 0 0 20 0 1 0 173131484 35491840 4954 134679101440 4194304 15356333 140729014273408 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 33050624 140729014281186 140729014281302 140729014281302 140729014288318 0
/proc/916364/statm: 8665 4954 1146 2726 0 5413 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 34660 KiB
Current children cumulated memory: 19816 KiB
[startup+3.10543 s]
/proc/loadavg: 4.16 4.15 4.09 5/255 916365
/proc/meminfo: memFree=121840220/131524600 swapFree=131071996/131071996
[pid=916364] ppid=916361 vsize=34660 memory=19816 CPUtime=3.08 cores=5,7
/proc/916364/stat : 916364 (CASHWMaxSAT-Dis) R 916361 916364 914117 0 -1 4194304 4620 0 0 0 308 0 0 0 20 0 1 0 173131484 35491840 4954 134679101440 4194304 15356333 140729014273408 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 33050624 140729014281186 140729014281302 140729014281302 140729014288318 0
/proc/916364/statm: 8665 4954 1146 2726 0 5413 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 34660 KiB
Current children cumulated memory: 19816 KiB
[startup+6.30025 s]
/proc/loadavg: 4.16 4.15 4.09 5/255 916367
/proc/meminfo: memFree=121836156/131524600 swapFree=131071996/131071996
[pid=916364] ppid=916361 vsize=36924 memory=22148 CPUtime=6.27 cores=5,7
/proc/916364/stat : 916364 (CASHWMaxSAT-Dis) R 916361 916364 914117 0 -1 4194304 5586 0 0 0 626 1 0 0 20 0 1 0 173131484 37810176 5537 134679101440 4194304 15356333 140729014273408 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 33050624 140729014281186 140729014281302 140729014281302 140729014288318 0
/proc/916364/statm: 9231 5537 1146 2726 0 5979 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 36924 KiB
Current children cumulated memory: 22148 KiB
[startup+12.7002 s]
/proc/loadavg: 4.13 4.14 4.09 5/255 916367
/proc/meminfo: memFree=121836828/131524600 swapFree=131071996/131071996
[pid=916364] ppid=916361 vsize=37824 memory=22936 CPUtime=12.66 cores=5,7
/proc/916364/stat : 916364 (CASHWMaxSAT-Dis) R 916361 916364 914117 0 -1 4194304 6293 0 0 0 1265 1 0 0 20 0 1 0 173131484 38731776 5734 134679101440 4194304 15356333 140729014273408 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 33050624 140729014281186 140729014281302 140729014281302 140729014288318 0
/proc/916364/statm: 9456 5734 1146 2726 0 6204 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 37824 KiB
Current children cumulated memory: 22936 KiB
[startup+25.5003 s]
/proc/loadavg: 4.11 4.14 4.09 5/254 916369
/proc/meminfo: memFree=121629612/131524600 swapFree=131071996/131071996
[pid=916364] ppid=916361 vsize=44384 memory=29576 CPUtime=25.42 cores=5,7
/proc/916364/stat : 916364 (CASHWMaxSAT-Dis) R 916361 916364 914117 0 -1 4194304 10318 0 0 0 2540 2 0 0 20 0 1 0 173131484 45449216 7394 134679101440 4194304 15356333 140729014273408 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 33050624 140729014281186 140729014281302 140729014281302 140729014288318 0
/proc/916364/statm: 11096 7394 1146 2726 0 7844 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 44384 KiB
Current children cumulated memory: 29576 KiB
[startup+51.1055 s]
/proc/loadavg: 4.14 4.14 4.09 5/254 916374
/proc/meminfo: memFree=121831396/131524600 swapFree=131071996/131071996
[pid=916364] ppid=916361 vsize=40544 memory=25896 CPUtime=50.96 cores=5,7
/proc/916364/stat : 916364 (CASHWMaxSAT-Dis) R 916361 916364 914117 0 -1 4194304 14158 0 0 0 5093 3 0 0 20 0 1 0 173131484 41517056 6474 134679101440 4194304 15356333 140729014273408 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 33050624 140729014281186 140729014281302 140729014281302 140729014288318 0
/proc/916364/statm: 10136 6474 1146 2726 0 6884 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 40544 KiB
Current children cumulated memory: 25896 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/255 916383
/proc/meminfo: memFree=121818816/131524600 swapFree=131071996/131071996
[pid=916364] ppid=916361 vsize=54512 memory=39292 CPUtime=102.02 cores=5,7
/proc/916364/stat : 916364 (CASHWMaxSAT-Dis) R 916361 916364 914117 0 -1 4194304 19515 0 0 0 10198 4 0 0 20 0 1 0 173131484 55820288 9823 134679101440 4194304 15356333 140729014273408 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 33050624 140729014281186 140729014281302 140729014281302 140729014288318 0
/proc/916364/statm: 13628 9823 1146 2726 0 10376 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 54512 KiB
Current children cumulated memory: 39292 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/255 916531
/proc/meminfo: memFree=123163904/131524600 swapFree=131071996/131071996
[pid=916364] ppid=916361 vsize=60796 memory=45664 CPUtime=161.84 cores=5,7
/proc/916364/stat : 916364 (CASHWMaxSAT-Dis) R 916361 916364 914117 0 -1 4194304 26032 0 0 0 16177 7 0 0 20 0 1 0 173131484 62255104 11416 134679101440 4194304 15356333 140729014273408 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 33050624 140729014281186 140729014281302 140729014281302 140729014288318 0
/proc/916364/statm: 15199 11416 1146 2726 0 11947 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 60796 KiB
Current children cumulated memory: 45664 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.11 4.09 4/253 916588
/proc/meminfo: memFree=123198464/131524600 swapFree=131071996/131071996
[pid=916364] ppid=916361 vsize=70680 memory=55044 CPUtime=221.67 cores=5,7
/proc/916364/stat : 916364 (CASHWMaxSAT-Dis) R 916361 916364 914117 0 -1 4194304 29566 0 0 0 22158 9 0 0 20 0 1 0 173131484 72376320 13761 134679101440 4194304 15356333 140729014273408 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 33050624 140729014281186 140729014281302 140729014281302 140729014288318 0
/proc/916364/statm: 17670 13761 1146 2726 0 14418 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 70680 KiB
Current children cumulated memory: 55044 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/258 917522
/proc/meminfo: memFree=123138848/131524600 swapFree=131071996/131071996
[pid=916364] ppid=916361 vsize=74960 memory=60096 CPUtime=281.49 cores=5,7
/proc/916364/stat : 916364 (CASHWMaxSAT-Dis) R 916361 916364 914117 0 -1 4194304 32869 0 0 0 28138 11 0 0 20 0 1 0 173131484 76759040 15024 134679101440 4194304 15356333 140729014273408 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 33050624 140729014281186 140729014281302 140729014281302 140729014288318 0
/proc/916364/statm: 18740 15024 1146 2726 0 15488 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 74960 KiB
Current children cumulated memory: 60096 KiB
[startup+342.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/258 917579
/proc/meminfo: memFree=122852448/131524600 swapFree=131071996/131071996
[pid=916364] ppid=916361 vsize=83076 memory=68036 CPUtime=341.32 cores=5,7
/proc/916364/stat : 916364 (CASHWMaxSAT-Dis) R 916361 916364 914117 0 -1 4194304 33373 0 0 0 34121 11 0 0 20 0 1 0 173131484 85069824 17009 134679101440 4194304 15356333 140729014273408 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 33050624 140729014281186 140729014281302 140729014281302 140729014288318 0
/proc/916364/statm: 20769 17009 1146 2726 0 17517 0
Current children cumulated CPU time: 341.32 s
Current children cumulated vsize: 83076 KiB
Current children cumulated memory: 68036 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/257 917589
/proc/meminfo: memFree=122635276/131524600 swapFree=131071996/131071996
[pid=916364] ppid=916361 vsize=70984 memory=56168 CPUtime=401.13 cores=5,7
/proc/916364/stat : 916364 (CASHWMaxSAT-Dis) R 916361 916364 914117 0 -1 4194304 35918 0 0 0 40102 11 0 0 20 0 1 0 173131484 72687616 14042 134679101440 4194304 15356333 140729014273408 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 33050624 140729014281186 140729014281302 140729014281302 140729014288318 0
/proc/916364/statm: 17746 14042 1146 2726 0 14494 0
Current children cumulated CPU time: 401.13 s
Current children cumulated vsize: 70984 KiB
Current children cumulated memory: 56168 KiB
[startup+462.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/257 917600
/proc/meminfo: memFree=122616732/131524600 swapFree=131071996/131071996
[pid=916364] ppid=916361 vsize=86580 memory=71688 CPUtime=460.98 cores=5,7
/proc/916364/stat : 916364 (CASHWMaxSAT-Dis) R 916361 916364 914117 0 -1 4194304 37298 0 0 0 46086 12 0 0 20 0 1 0 173131484 88657920 17922 134679101440 4194304 15356333 140729014273408 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 33050624 140729014281186 140729014281302 140729014281302 140729014288318 0
/proc/916364/statm: 21645 17922 1146 2726 0 18393 0
################
# More data... #
################
Current children cumulated memory: 378144 KiB
[startup+2922.3 s]
/proc/loadavg: 4.18 4.16 4.11 5/256 919587
/proc/meminfo: memFree=120552956/131524600 swapFree=131071996/131071996
[pid=916364] ppid=916361 vsize=387476 memory=378616 CPUtime=2914.59 cores=5,7
/proc/916364/stat : 916364 (CASHWMaxSAT-Dis) R 916361 916364 914117 0 -1 4194304 145568 0 0 0 291422 37 0 0 20 0 1 0 173131484 396775424 94654 134679101440 4194304 15356333 140729014273408 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 33050624 140729014281186 140729014281302 140729014281302 140729014288318 0
/proc/916364/statm: 96869 94654 2826 2726 0 93617 0
Current children cumulated CPU time: 2914.59 s
Current children cumulated vsize: 387476 KiB
Current children cumulated memory: 378616 KiB
[startup+2982.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/254 919597
/proc/meminfo: memFree=120768500/131524600 swapFree=131071996/131071996
[pid=916364] ppid=916361 vsize=387476 memory=379580 CPUtime=2974.43 cores=5,7
/proc/916364/stat : 916364 (CASHWMaxSAT-Dis) R 916361 916364 914117 0 -1 4194304 145620 0 0 0 297406 37 0 0 20 0 1 0 173131484 396775424 94895 134679101440 4194304 15356333 140729014273408 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 33050624 140729014281186 140729014281302 140729014281302 140729014288318 0
/proc/916364/statm: 96869 94895 2826 2726 0 93617 0
Current children cumulated CPU time: 2974.43 s
Current children cumulated vsize: 387476 KiB
Current children cumulated memory: 379580 KiB
[startup+3042.3 s]
/proc/loadavg: 4.08 4.13 4.10 5/254 919608
/proc/meminfo: memFree=120853108/131524600 swapFree=131071996/131071996
[pid=916364] ppid=916361 vsize=387476 memory=379580 CPUtime=3034.27 cores=5,7
/proc/916364/stat : 916364 (CASHWMaxSAT-Dis) R 916361 916364 914117 0 -1 4194304 145678 0 0 0 303390 37 0 0 20 0 1 0 173131484 396775424 94895 134679101440 4194304 15356333 140729014273408 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 33050624 140729014281186 140729014281302 140729014281302 140729014288318 0
/proc/916364/statm: 96869 94895 2826 2726 0 93617 0
Current children cumulated CPU time: 3034.27 s
Current children cumulated vsize: 387476 KiB
Current children cumulated memory: 379580 KiB
[startup+3102.3 s]
/proc/loadavg: 4.13 4.14 4.10 5/254 919618
/proc/meminfo: memFree=121340908/131524600 swapFree=131071996/131071996
[pid=916364] ppid=916361 vsize=387476 memory=379580 CPUtime=3094.12 cores=5,7
/proc/916364/stat : 916364 (CASHWMaxSAT-Dis) R 916361 916364 914117 0 -1 4194304 145737 0 0 0 309375 37 0 0 20 0 1 0 173131484 396775424 94895 134679101440 4194304 15356333 140729014273408 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 33050624 140729014281186 140729014281302 140729014281302 140729014288318 0
/proc/916364/statm: 96869 94895 2826 2726 0 93617 0
Current children cumulated CPU time: 3094.12 s
Current children cumulated vsize: 387476 KiB
Current children cumulated memory: 379580 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/254 919629
/proc/meminfo: memFree=121430380/131524600 swapFree=131071996/131071996
[pid=916364] ppid=916361 vsize=387476 memory=379580 CPUtime=3153.96 cores=5,7
/proc/916364/stat : 916364 (CASHWMaxSAT-Dis) R 916361 916364 914117 0 -1 4194304 145799 0 0 0 315359 37 0 0 20 0 1 0 173131484 396775424 94895 134679101440 4194304 15356333 140729014273408 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 33050624 140729014281186 140729014281302 140729014281302 140729014288318 0
/proc/916364/statm: 96869 94895 2826 2726 0 93617 0
Current children cumulated CPU time: 3153.96 s
Current children cumulated vsize: 387476 KiB
Current children cumulated memory: 379580 KiB
[startup+3222.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/257 919644
/proc/meminfo: memFree=121444840/131524600 swapFree=131071996/131071996
[pid=916364] ppid=916361 vsize=387476 memory=379580 CPUtime=3213.81 cores=5,7
/proc/916364/stat : 916364 (CASHWMaxSAT-Dis) R 916361 916364 914117 0 -1 4194304 145848 0 0 0 321344 37 0 0 20 0 1 0 173131484 396775424 94895 134679101440 4194304 15356333 140729014273408 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 33050624 140729014281186 140729014281302 140729014281302 140729014288318 0
/proc/916364/statm: 96869 94895 2826 2726 0 93617 0
Current children cumulated CPU time: 3213.81 s
Current children cumulated vsize: 387476 KiB
Current children cumulated memory: 379580 KiB
[startup+3282.3 s]
/proc/loadavg: 4.48 4.22 4.12 5/257 919654
/proc/meminfo: memFree=121464280/131524600 swapFree=131071996/131071996
[pid=916364] ppid=916361 vsize=387476 memory=379580 CPUtime=3273.65 cores=5,7
/proc/916364/stat : 916364 (CASHWMaxSAT-Dis) R 916361 916364 914117 0 -1 4194304 145908 0 0 0 327328 37 0 0 20 0 1 0 173131484 396775424 94895 134679101440 4194304 15356333 140729014273408 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 33050624 140729014281186 140729014281302 140729014281302 140729014288318 0
/proc/916364/statm: 96869 94895 2826 2726 0 93617 0
Current children cumulated CPU time: 3273.65 s
Current children cumulated vsize: 387476 KiB
Current children cumulated memory: 379580 KiB
[startup+3342.3 s]
/proc/loadavg: 4.22 4.19 4.12 5/257 919666
/proc/meminfo: memFree=121373532/131524600 swapFree=131071996/131071996
[pid=916364] ppid=916361 vsize=387476 memory=379580 CPUtime=3333.5 cores=5,7
/proc/916364/stat : 916364 (CASHWMaxSAT-Dis) R 916361 916364 914117 0 -1 4194304 145959 0 0 0 333313 37 0 0 20 0 1 0 173131484 396775424 94895 134679101440 4194304 15356333 140729014273408 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 33050624 140729014281186 140729014281302 140729014281302 140729014288318 0
/proc/916364/statm: 96869 94895 2826 2726 0 93617 0
Current children cumulated CPU time: 3333.5 s
Current children cumulated vsize: 387476 KiB
Current children cumulated memory: 379580 KiB
[startup+3402.3 s]
/proc/loadavg: 4.19 4.18 4.12 5/257 919676
/proc/meminfo: memFree=121264716/131524600 swapFree=131071996/131071996
[pid=916364] ppid=916361 vsize=387476 memory=379580 CPUtime=3393.34 cores=5,7
/proc/916364/stat : 916364 (CASHWMaxSAT-Dis) R 916361 916364 914117 0 -1 4194304 146016 0 0 0 339297 37 0 0 20 0 1 0 173131484 396775424 94895 134679101440 4194304 15356333 140729014273408 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 33050624 140729014281186 140729014281302 140729014281302 140729014288318 0
/proc/916364/statm: 96869 94895 2826 2726 0 93617 0
Current children cumulated CPU time: 3393.34 s
Current children cumulated vsize: 387476 KiB
Current children cumulated memory: 379580 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.16 4.11 5/257 919686
/proc/meminfo: memFree=121278172/131524600 swapFree=131071996/131071996
[pid=916364] ppid=916361 vsize=387476 memory=379580 CPUtime=3453.19 cores=5,7
/proc/916364/stat : 916364 (CASHWMaxSAT-Dis) R 916361 916364 914117 0 -1 4194304 146078 0 0 0 345282 37 0 0 20 0 1 0 173131484 396775424 94895 134679101440 4194304 15356333 140729014273408 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 33050624 140729014281186 140729014281302 140729014281302 140729014288318 0
/proc/916364/statm: 96869 94895 2826 2726 0 93617 0
Current children cumulated CPU time: 3453.19 s
Current children cumulated vsize: 387476 KiB
Current children cumulated memory: 379580 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.15 4.11 5/257 919697
/proc/meminfo: memFree=121242300/131524600 swapFree=131071996/131071996
[pid=916364] ppid=916361 vsize=387476 memory=379580 CPUtime=3513.03 cores=5,7
/proc/916364/stat : 916364 (CASHWMaxSAT-Dis) R 916361 916364 914117 0 -1 4194304 146140 0 0 0 351266 37 0 0 20 0 1 0 173131484 396775424 94895 134679101440 4194304 15356333 140729014273408 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 33050624 140729014281186 140729014281302 140729014281302 140729014288318 0
/proc/916364/statm: 96869 94895 2826 2726 0 93617 0
Current children cumulated CPU time: 3513.03 s
Current children cumulated vsize: 387476 KiB
Current children cumulated memory: 379580 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.15 4.11 5/254 919707
/proc/meminfo: memFree=121218272/131524600 swapFree=131071996/131071996
[pid=916364] ppid=916361 vsize=387476 memory=379580 CPUtime=3572.88 cores=5,7
/proc/916364/stat : 916364 (CASHWMaxSAT-Dis) R 916361 916364 914117 0 -1 4194304 146201 0 0 0 357251 37 0 0 20 0 1 0 173131484 396775424 94895 134679101440 4194304 15356333 140729014273408 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 33050624 140729014281186 140729014281302 140729014281302 140729014288318 0
/proc/916364/statm: 96869 94895 2826 2726 0 93617 0
Current children cumulated CPU time: 3572.88 s
Current children cumulated vsize: 387476 KiB
Current children cumulated memory: 379580 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.5 s]
/proc/loadavg: 4.08 4.13 4.10 5/254 919712
/proc/meminfo: memFree=121257628/131524600 swapFree=131071996/131071996
[pid=916364] ppid=916361 vsize=387476 memory=379580 CPUtime=3600 cores=5,7
/proc/916364/stat : 916364 (CASHWMaxSAT-Dis) R 916361 916364 914117 0 -1 4194304 146263 0 0 0 359963 37 0 0 20 0 1 0 173131484 396775424 94895 134679101440 4194304 15356333 140729014273408 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 33050624 140729014281186 140729014281302 140729014281302 140729014288318 0
/proc/916364/statm: 96869 94895 2826 2726 0 93617 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 387476 KiB
Current children cumulated memory: 379580 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.5 s]
# the end of solver process 916364 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3599.64 s, system=0.373829 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.5 s]
/proc/loadavg: 4.08 4.13 4.10 5/254 919712
/proc/meminfo: memFree=121257628/131524600 swapFree=131071996/131071996
[pid=916364] ppid=916361 vsize=387476 memory=379580 CPUtime=3600 cores=5,7
/proc/916364/stat : 916364 (CASHWMaxSAT-Dis) R 916361 916364 914117 0 -1 4194304 146263 0 0 0 359963 37 0 0 20 0 1 0 173131484 396775424 94895 134679101440 4194304 15356333 140729014273408 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 33050624 140729014281186 140729014281302 140729014281302 140729014288318 0
/proc/916364/statm: 96869 94895 2826 2726 0 93617 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 387476 KiB
Current children cumulated memory: 379580 KiB
Child status: 0
Real time (s): 3609.5
CPU time (s): 3600.01
CPU user time (s): 3599.64
CPU system time (s): 0.373829
CPU usage (%): 99.7371
Max. virtual memory (cumulated for all children) (KiB): 497372
Max. memory (cumulated for all children) (KiB): 481008
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.64
system time used= 0.373829
maximum resident set size= 481008
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 146263
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= 50
involuntary context switches= 2719
# summary of solver processes directly reported to runsolver:
# pid: 916364
# total CPU time (s): 3600.01
# total CPU user time (s): 3599.64
# total CPU system time (s): 0.373829
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.03911 second user time and 17.5099 second system time
The end
Begin job on nodeC033 at 2024-07-17 11:47:10
IDJOB=4438635
IDBENCH=147102
IDSOLVER=3074
FILE ID=nodeC033/4438635-1721209618
RUNJOBID= nodeC033-1721206158-914130
SLURM_JOB_ID= 7508907
Free space on /tmp= 890032 MiB
SOLVER NAME= CASHWMaxSAT-DisjCad-SP 2024-07-10
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par32-2.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-SP BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438635-1721209618/watcher-4438635-1721209618 -o /tmp/evaluation-result-4438635-1721209618/solver-4438635-1721209618 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721206158-914130 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4438635-1721209618.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 58d046e1e41ee9602d09224f38506b42
RANDOM SEED=1933540101
nodeC033.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 : 3670.630
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.50
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 : 3668.414
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.25
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.064
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.50
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.166
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.25
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 : 3670.620
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.50
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 : 3667.533
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.25
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.048
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.50
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.348
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.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 121856544 kB
MemAvailable: 127503660 kB
Buffers: 470764 kB
Cached: 5942536 kB
SwapCached: 0 kB
Active: 789176 kB
Inactive: 8121268 kB
Active(anon): 1564 kB
Inactive(anon): 2532964 kB
Active(file): 787612 kB
Inactive(file): 5588304 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 14624 kB
Writeback: 0 kB
AnonPages: 2489424 kB
Mapped: 126952 kB
Shmem: 37716 kB
KReclaimable: 221696 kB
Slab: 343992 kB
SReclaimable: 221696 kB
SUnreclaim: 122296 kB
KernelStack: 4128 kB
PageTables: 14180 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 3131644 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 64672 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2293760 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: 273108 kB
DirectMap2M: 28860416 kB
DirectMap1G: 106954752 kB
Free space on /tmp at the end= 890012 MiB
End job on nodeC033 at 2024-07-17 12:47:19