0.78/0.80 c Using cadical-2.0.0-2df7b7f SAT solver by Armin Biere (2022)
0.78/0.80 c Using SCIP solver, version 8.1.0, https://www.scipopt.org
1.39/1.48 c Starting SCIP solver (with time-limit = 1800s) ...
1795.35/1801.54 c SCIP timeout with lower and upper bounds: [0, 9223372036854775807]
3600.01/3610.20 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (56405 MiB free)
memory of node 1: 64473 MiB (61811 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438957-1721250019/watcher-4438957-1721250019 -o /tmp/evaluation-result-4438957-1721250019/solver-4438957-1721250019 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721240914-920062 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4438957-1721250019.opb -total-t=3600 -no-par -v0
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
solver pid=925452, runsolver pid=925449
Current StackSize limit: 8192 KiB
[startup+0.100091 s]*
/proc/loadavg: 4.06 4.10 4.09 5/258 925453
/proc/meminfo: memFree=121029140/131524600 swapFree=131071996/131071996
[pid=925452] ppid=925449 vsize=44000 memory=28424 CPUtime=0.1 cores=1,3
/proc/925452/stat : 925452 (CASHWMaxSAT-Dis) R 925449 925452 919951 0 -1 4194304 7528 0 0 0 9 1 0 0 20 0 1 0 177170848 45056000 7106 134679101440 4194304 15356333 140732584893360 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 45842432 140732584895458 140732584895574 140732584895574 140732584902590 0
/proc/925452/statm: 11000 7106 954 2726 0 7748 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 44000 KiB
Current children cumulated memory: 28424 KiB
[startup+0.205731 s]*
/proc/loadavg: 4.06 4.10 4.09 5/258 925453
/proc/meminfo: memFree=121017960/131524600 swapFree=131071996/131071996
[pid=925452] ppid=925449 vsize=56088 memory=40780 CPUtime=0.2 cores=1,3
/proc/925452/stat : 925452 (CASHWMaxSAT-Dis) R 925449 925452 919951 0 -1 4194304 11184 0 0 0 19 1 0 0 20 0 1 0 177170848 57434112 10195 134679101440 4194304 15356333 140732584893360 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 45842432 140732584895458 140732584895574 140732584895574 140732584902590 0
/proc/925452/statm: 14022 10195 1034 2726 0 10770 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 56088 KiB
Current children cumulated memory: 40780 KiB
[startup+0.305509 s]*
/proc/loadavg: 4.06 4.10 4.09 5/258 925453
/proc/meminfo: memFree=120995952/131524600 swapFree=131071996/131071996
[pid=925452] ppid=925449 vsize=84692 memory=64160 CPUtime=0.3 cores=1,3
/proc/925452/stat : 925452 (CASHWMaxSAT-Dis) R 925449 925452 919951 0 -1 4194304 17792 0 0 0 28 2 0 0 20 0 1 0 177170848 86724608 16040 134679101440 4194304 15356333 140732584893360 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 45842432 140732584895458 140732584895574 140732584895574 140732584902590 0
/proc/925452/statm: 21173 16040 1066 2726 0 17921 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 84692 KiB
Current children cumulated memory: 64160 KiB
[startup+0.700222 s]
/proc/loadavg: 4.06 4.10 4.09 5/258 925453
/proc/meminfo: memFree=120939772/131524600 swapFree=131071996/131071996
[pid=925452] ppid=925449 vsize=174304 memory=155576 CPUtime=0.68 cores=1,3
/proc/925452/stat : 925452 (CASHWMaxSAT-Dis) R 925449 925452 919951 0 -1 4194304 31007 0 0 0 63 5 0 0 20 0 1 0 177170848 178487296 38894 134679101440 4194304 15356333 140732584893360 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 45842432 140732584895458 140732584895574 140732584895574 140732584902590 0
/proc/925452/statm: 43576 38894 1066 2726 0 40324 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 174304 KiB
Current children cumulated memory: 155576 KiB
[startup+1.50019 s]
/proc/loadavg: 4.06 4.10 4.09 5/258 925453
/proc/meminfo: memFree=120779604/131524600 swapFree=131071996/131071996
[pid=925452] ppid=925449 vsize=573176 memory=553136 CPUtime=1.48 cores=1,3
/proc/925452/stat : 925452 (CASHWMaxSAT-Dis) R 925449 925452 919951 0 -1 4194304 126622 0 0 0 130 18 0 0 20 0 1 0 177170848 586932224 138284 134679101440 4194304 15356333 140732584893360 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 45842432 140732584895458 140732584895574 140732584895574 140732584902590 0
/proc/925452/statm: 143294 138284 2522 2726 0 140042 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 573176 KiB
Current children cumulated memory: 553136 KiB
[startup+3.10547 s]
/proc/loadavg: 4.06 4.10 4.09 5/258 925453
/proc/meminfo: memFree=120002540/131524600 swapFree=131071996/131071996
[pid=925452] ppid=925449 vsize=1092496 memory=1062320 CPUtime=3.09 cores=1,3
/proc/925452/stat : 925452 (CASHWMaxSAT-Dis) R 925449 925452 919951 0 -1 4194304 236982 0 0 0 273 36 0 0 20 0 1 0 177170848 1118715904 265580 134679101440 4194304 15356333 140732584893360 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 45842432 140732584895458 140732584895574 140732584895574 140732584902590 0
/proc/925452/statm: 273124 265580 2618 2726 0 269872 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 1092496 KiB
Current children cumulated memory: 1062320 KiB
[startup+6.30017 s]
/proc/loadavg: 4.05 4.10 4.09 5/258 925453
/proc/meminfo: memFree=119699904/131524600 swapFree=131071996/131071996
[pid=925452] ppid=925449 vsize=1411788 memory=1378088 CPUtime=6.27 cores=1,3
/proc/925452/stat : 925452 (CASHWMaxSAT-Dis) R 925449 925452 919951 0 -1 4194304 304558 0 0 0 580 47 0 0 20 0 1 0 177170848 1445670912 344522 134679101440 4194304 15356333 140732584893360 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 45842432 140732584895458 140732584895574 140732584895574 140732584902590 0
/proc/925452/statm: 352947 344522 2618 2726 0 349695 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1411788 KiB
Current children cumulated memory: 1378088 KiB
[startup+12.7002 s]
/proc/loadavg: 4.05 4.10 4.09 5/258 925454
/proc/meminfo: memFree=119623244/131524600 swapFree=131071996/131071996
[pid=925452] ppid=925449 vsize=1469760 memory=1437460 CPUtime=12.65 cores=1,3
/proc/925452/stat : 925452 (CASHWMaxSAT-Dis) R 925449 925452 919951 0 -1 4194304 308337 0 0 0 1216 49 0 0 20 0 1 0 177170848 1505034240 359365 134679101440 4194304 15356333 140732584893360 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 45842432 140732584895458 140732584895574 140732584895574 140732584902590 0
/proc/925452/statm: 367440 359365 2650 2726 0 364188 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1469760 KiB
Current children cumulated memory: 1437460 KiB
[startup+25.5002 s]
/proc/loadavg: 4.04 4.09 4.08 5/256 925473
/proc/meminfo: memFree=120628380/131524600 swapFree=131071996/131071996
[pid=925452] ppid=925449 vsize=1469760 memory=1437568 CPUtime=25.42 cores=1,3
/proc/925452/stat : 925452 (CASHWMaxSAT-Dis) R 925449 925452 919951 0 -1 4194304 308385 0 0 0 2492 50 0 0 20 0 1 0 177170848 1505034240 359392 134679101440 4194304 15356333 140732584893360 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 45842432 140732584895458 140732584895574 140732584895574 140732584902590 0
/proc/925452/statm: 367440 359392 2650 2726 0 364188 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 1469760 KiB
Current children cumulated memory: 1437568 KiB
[startup+51.1056 s]
/proc/loadavg: 4.30 4.15 4.10 5/258 925522
/proc/meminfo: memFree=119307440/131524600 swapFree=131071996/131071996
[pid=925452] ppid=925449 vsize=1469760 memory=1437568 CPUtime=50.95 cores=1,3
/proc/925452/stat : 925452 (CASHWMaxSAT-Dis) R 925449 925452 919951 0 -1 4194304 308440 0 0 0 5044 51 0 0 20 0 1 0 177170848 1505034240 359392 134679101440 4194304 15356333 140732584893360 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 45842432 140732584895458 140732584895574 140732584895574 140732584902590 0
/proc/925452/statm: 367440 359392 2650 2726 0 364188 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 1469760 KiB
Current children cumulated memory: 1437568 KiB
[startup+102.3 s]
/proc/loadavg: 4.30 4.18 4.12 5/258 925531
/proc/meminfo: memFree=116192108/131524600 swapFree=131071996/131071996
[pid=925452] ppid=925449 vsize=3471604 memory=3231712 CPUtime=102 cores=1,3
/proc/925452/stat : 925452 (CASHWMaxSAT-Dis) R 925449 925452 919951 0 -1 4194304 424676 0 0 0 10103 97 0 0 20 0 1 0 177170848 3554922496 807928 134679101440 4194304 15356333 140732584893360 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 45842432 140732584895458 140732584895574 140732584895574 140732584902590 0
/proc/925452/statm: 867901 807928 2746 2726 0 864649 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 3471604 KiB
Current children cumulated memory: 3231712 KiB
[startup+162.3 s]
/proc/loadavg: 4.23 4.18 4.12 5/258 925542
/proc/meminfo: memFree=116144356/131524600 swapFree=131071996/131071996
[pid=925452] ppid=925449 vsize=3486404 memory=3247920 CPUtime=161.78 cores=1,3
/proc/925452/stat : 925452 (CASHWMaxSAT-Dis) R 925449 925452 919951 0 -1 4194304 426807 0 0 0 16078 100 0 0 20 0 1 0 177170848 3570077696 811980 134679101440 4194304 15356333 140732584893360 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 45842432 140732584895458 140732584895574 140732584895574 140732584902590 0
/proc/925452/statm: 871601 811980 2746 2726 0 868349 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 3486404 KiB
Current children cumulated memory: 3247920 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.14 4.11 5/258 925553
/proc/meminfo: memFree=116129860/131524600 swapFree=131071996/131071996
[pid=925452] ppid=925449 vsize=3486544 memory=3248048 CPUtime=221.57 cores=1,3
/proc/925452/stat : 925452 (CASHWMaxSAT-Dis) R 925449 925452 919951 0 -1 4194304 427011 0 0 0 22053 104 0 0 20 0 1 0 177170848 3570221056 812012 134679101440 4194304 15356333 140732584893360 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 45842432 140732584895458 140732584895574 140732584895574 140732584902590 0
/proc/925452/statm: 871636 812012 2746 2726 0 868384 0
Current children cumulated CPU time: 221.57 s
Current children cumulated vsize: 3486544 KiB
Current children cumulated memory: 3248048 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 4.13 4.10 5/256 925563
/proc/meminfo: memFree=116128764/131524600 swapFree=131071996/131071996
[pid=925452] ppid=925449 vsize=3486544 memory=3248112 CPUtime=281.34 cores=1,3
/proc/925452/stat : 925452 (CASHWMaxSAT-Dis) R 925449 925452 919951 0 -1 4194304 427227 0 0 0 28027 107 0 0 20 0 1 0 177170848 3570221056 812028 134679101440 4194304 15356333 140732584893360 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 45842432 140732584895458 140732584895574 140732584895574 140732584902590 0
/proc/925452/statm: 871636 812028 2746 2726 0 868384 0
Current children cumulated CPU time: 281.34 s
Current children cumulated vsize: 3486544 KiB
Current children cumulated memory: 3248112 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/255 925573
/proc/meminfo: memFree=116127096/131524600 swapFree=131071996/131071996
[pid=925452] ppid=925449 vsize=3486544 memory=3248132 CPUtime=341.12 cores=1,3
/proc/925452/stat : 925452 (CASHWMaxSAT-Dis) R 925449 925452 919951 0 -1 4194304 427471 0 0 0 34001 111 0 0 20 0 1 0 177170848 3570221056 812033 134679101440 4194304 15356333 140732584893360 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 45842432 140732584895458 140732584895574 140732584895574 140732584902590 0
/proc/925452/statm: 871636 812033 2746 2726 0 868384 0
Current children cumulated CPU time: 341.12 s
Current children cumulated vsize: 3486544 KiB
Current children cumulated memory: 3248132 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/254 925583
/proc/meminfo: memFree=116126012/131524600 swapFree=131071996/131071996
[pid=925452] ppid=925449 vsize=3486692 memory=3248216 CPUtime=400.9 cores=1,3
/proc/925452/stat : 925452 (CASHWMaxSAT-Dis) R 925449 925452 919951 0 -1 4194304 427720 0 0 0 39975 115 0 0 20 0 1 0 177170848 3570372608 812054 134679101440 4194304 15356333 140732584893360 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 45842432 140732584895458 140732584895574 140732584895574 140732584902590 0
/proc/925452/statm: 871673 812054 2746 2726 0 868421 0
Current children cumulated CPU time: 400.9 s
Current children cumulated vsize: 3486692 KiB
Current children cumulated memory: 3248216 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.13 4.10 5/254 925594
/proc/meminfo: memFree=116118908/131524600 swapFree=131071996/131071996
[pid=925452] ppid=925449 vsize=3486692 memory=3248336 CPUtime=460.68 cores=1,3
/proc/925452/stat : 925452 (CASHWMaxSAT-Dis) R 925449 925452 919951 0 -1 4194304 427903 0 0 0 45950 118 0 0 20 0 1 0 177170848 3570372608 812084 134679101440 4194304 15356333 140732584893360 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 45842432 140732584895458 140732584895574 140732584895574 140732584902590 0
/proc/925452/statm: 871673 812084 2746 2726 0 868421 0
################
# More data... #
################
Current children cumulated memory: 1019884 KiB
[startup+2862.3 s]
/proc/loadavg: 1.08 1.19 2.01 2/233 926741
/proc/meminfo: memFree=126631012/131524600 swapFree=131071996/131071996
[pid=925452] ppid=925449 vsize=1031736 memory=1019884 CPUtime=2853.67 cores=1,3
/proc/925452/stat : 925452 (CASHWMaxSAT-Dis) R 925449 925452 919951 0 -1 4194304 442361 0 0 0 285163 204 0 0 20 0 1 0 177170848 1056497664 254971 134679101440 4194304 15356333 140732584893360 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 45842432 140732584895458 140732584895574 140732584895574 140732584902590 0
/proc/925452/statm: 257934 254971 2810 2726 0 254682 0
Current children cumulated CPU time: 2853.67 s
Current children cumulated vsize: 1031736 KiB
Current children cumulated memory: 1019884 KiB
[startup+2922.3 s]
/proc/loadavg: 1.13 1.18 1.96 2/233 926752
/proc/meminfo: memFree=126630416/131524600 swapFree=131071996/131071996
[pid=925452] ppid=925449 vsize=1031736 memory=1019884 CPUtime=2913.55 cores=1,3
/proc/925452/stat : 925452 (CASHWMaxSAT-Dis) R 925449 925452 919951 0 -1 4194304 442562 0 0 0 291151 204 0 0 20 0 1 0 177170848 1056497664 254971 134679101440 4194304 15356333 140732584893360 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 45842432 140732584895458 140732584895574 140732584895574 140732584902590 0
/proc/925452/statm: 257934 254971 2810 2726 0 254682 0
Current children cumulated CPU time: 2913.55 s
Current children cumulated vsize: 1031736 KiB
Current children cumulated memory: 1019884 KiB
[startup+2982.3 s]
/proc/loadavg: 1.10 1.16 1.90 2/233 926762
/proc/meminfo: memFree=126629696/131524600 swapFree=131071996/131071996
[pid=925452] ppid=925449 vsize=1031736 memory=1019884 CPUtime=2973.42 cores=1,3
/proc/925452/stat : 925452 (CASHWMaxSAT-Dis) R 925449 925452 919951 0 -1 4194304 442850 0 0 0 297138 204 0 0 20 0 1 0 177170848 1056497664 254971 134679101440 4194304 15356333 140732584893360 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 45842432 140732584895458 140732584895574 140732584895574 140732584902590 0
/proc/925452/statm: 257934 254971 2810 2726 0 254682 0
Current children cumulated CPU time: 2973.42 s
Current children cumulated vsize: 1031736 KiB
Current children cumulated memory: 1019884 KiB
[startup+3042.3 s]
/proc/loadavg: 1.15 1.16 1.85 2/235 926778
/proc/meminfo: memFree=126629016/131524600 swapFree=131071996/131071996
[pid=925452] ppid=925449 vsize=1031736 memory=1019884 CPUtime=3033.3 cores=1,3
/proc/925452/stat : 925452 (CASHWMaxSAT-Dis) R 925449 925452 919951 0 -1 4194304 443047 0 0 0 303126 204 0 0 20 0 1 0 177170848 1056497664 254971 134679101440 4194304 15356333 140732584893360 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 45842432 140732584895458 140732584895574 140732584895574 140732584902590 0
/proc/925452/statm: 257934 254971 2810 2726 0 254682 0
Current children cumulated CPU time: 3033.3 s
Current children cumulated vsize: 1031736 KiB
Current children cumulated memory: 1019884 KiB
[startup+3102.3 s]
/proc/loadavg: 1.11 1.15 1.80 2/235 926788
/proc/meminfo: memFree=126628416/131524600 swapFree=131071996/131071996
[pid=925452] ppid=925449 vsize=1031736 memory=1019884 CPUtime=3093.17 cores=1,3
/proc/925452/stat : 925452 (CASHWMaxSAT-Dis) R 925449 925452 919951 0 -1 4194304 443236 0 0 0 309113 204 0 0 20 0 1 0 177170848 1056497664 254971 134679101440 4194304 15356333 140732584893360 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 45842432 140732584895458 140732584895574 140732584895574 140732584902590 0
/proc/925452/statm: 257934 254971 2810 2726 0 254682 0
Current children cumulated CPU time: 3093.17 s
Current children cumulated vsize: 1031736 KiB
Current children cumulated memory: 1019884 KiB
[startup+3162.3 s]
/proc/loadavg: 1.08 1.13 1.76 2/235 926800
/proc/meminfo: memFree=126627736/131524600 swapFree=131071996/131071996
[pid=925452] ppid=925449 vsize=1031736 memory=1019884 CPUtime=3153.05 cores=1,3
/proc/925452/stat : 925452 (CASHWMaxSAT-Dis) R 925449 925452 919951 0 -1 4194304 443455 0 0 0 315101 204 0 0 20 0 1 0 177170848 1056497664 254971 134679101440 4194304 15356333 140732584893360 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 45842432 140732584895458 140732584895574 140732584895574 140732584902590 0
/proc/925452/statm: 257934 254971 2810 2726 0 254682 0
Current children cumulated CPU time: 3153.05 s
Current children cumulated vsize: 1031736 KiB
Current children cumulated memory: 1019884 KiB
[startup+3222.3 s]
/proc/loadavg: 1.14 1.14 1.72 2/235 926811
/proc/meminfo: memFree=126626980/131524600 swapFree=131071996/131071996
[pid=925452] ppid=925449 vsize=1031736 memory=1019884 CPUtime=3212.92 cores=1,3
/proc/925452/stat : 925452 (CASHWMaxSAT-Dis) R 925449 925452 919951 0 -1 4194304 443691 0 0 0 321088 204 0 0 20 0 1 0 177170848 1056497664 254971 134679101440 4194304 15356333 140732584893360 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 45842432 140732584895458 140732584895574 140732584895574 140732584902590 0
/proc/925452/statm: 257934 254971 2810 2726 0 254682 0
Current children cumulated CPU time: 3212.92 s
Current children cumulated vsize: 1031736 KiB
Current children cumulated memory: 1019884 KiB
[startup+3282.3 s]
/proc/loadavg: 1.05 1.11 1.67 2/235 926821
/proc/meminfo: memFree=126626396/131524600 swapFree=131071996/131071996
[pid=925452] ppid=925449 vsize=1031736 memory=1019884 CPUtime=3272.79 cores=1,3
/proc/925452/stat : 925452 (CASHWMaxSAT-Dis) R 925449 925452 919951 0 -1 4194304 443862 0 0 0 327075 204 0 0 20 0 1 0 177170848 1056497664 254971 134679101440 4194304 15356333 140732584893360 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 45842432 140732584895458 140732584895574 140732584895574 140732584902590 0
/proc/925452/statm: 257934 254971 2810 2726 0 254682 0
Current children cumulated CPU time: 3272.79 s
Current children cumulated vsize: 1031736 KiB
Current children cumulated memory: 1019884 KiB
[startup+3342.3 s]
/proc/loadavg: 1.14 1.12 1.64 2/234 927215
/proc/meminfo: memFree=126624588/131524600 swapFree=131071996/131071996
[pid=925452] ppid=925449 vsize=1031736 memory=1019884 CPUtime=3332.67 cores=1,3
/proc/925452/stat : 925452 (CASHWMaxSAT-Dis) R 925449 925452 919951 0 -1 4194304 444082 0 0 0 333063 204 0 0 20 0 1 0 177170848 1056497664 254971 134679101440 4194304 15356333 140732584893360 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 45842432 140732584895458 140732584895574 140732584895574 140732584902590 0
/proc/925452/statm: 257934 254971 2810 2726 0 254682 0
Current children cumulated CPU time: 3332.67 s
Current children cumulated vsize: 1031736 KiB
Current children cumulated memory: 1019884 KiB
[startup+3402.3 s]
/proc/loadavg: 1.11 1.11 1.60 2/234 927225
/proc/meminfo: memFree=126624444/131524600 swapFree=131071996/131071996
[pid=925452] ppid=925449 vsize=1031736 memory=1019884 CPUtime=3392.54 cores=1,3
/proc/925452/stat : 925452 (CASHWMaxSAT-Dis) R 925449 925452 919951 0 -1 4194304 444295 0 0 0 339050 204 0 0 20 0 1 0 177170848 1056497664 254971 134679101440 4194304 15356333 140732584893360 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 45842432 140732584895458 140732584895574 140732584895574 140732584902590 0
/proc/925452/statm: 257934 254971 2810 2726 0 254682 0
Current children cumulated CPU time: 3392.54 s
Current children cumulated vsize: 1031736 KiB
Current children cumulated memory: 1019884 KiB
[startup+3462.3 s]
/proc/loadavg: 1.09 1.11 1.56 2/234 927238
/proc/meminfo: memFree=126623820/131524600 swapFree=131071996/131071996
[pid=925452] ppid=925449 vsize=1031736 memory=1019884 CPUtime=3452.42 cores=1,3
/proc/925452/stat : 925452 (CASHWMaxSAT-Dis) R 925449 925452 919951 0 -1 4194304 444487 0 0 0 345038 204 0 0 20 0 1 0 177170848 1056497664 254971 134679101440 4194304 15356333 140732584893360 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 45842432 140732584895458 140732584895574 140732584895574 140732584902590 0
/proc/925452/statm: 257934 254971 2810 2726 0 254682 0
Current children cumulated CPU time: 3452.42 s
Current children cumulated vsize: 1031736 KiB
Current children cumulated memory: 1019884 KiB
[startup+3522.3 s]
/proc/loadavg: 1.16 1.12 1.54 2/236 927418
/proc/meminfo: memFree=126623104/131524600 swapFree=131071996/131071996
[pid=925452] ppid=925449 vsize=1031736 memory=1019884 CPUtime=3512.29 cores=1,3
/proc/925452/stat : 925452 (CASHWMaxSAT-Dis) R 925449 925452 919951 0 -1 4194304 444690 0 0 0 351025 204 0 0 20 0 1 0 177170848 1056497664 254971 134679101440 4194304 15356333 140732584893360 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 45842432 140732584895458 140732584895574 140732584895574 140732584902590 0
/proc/925452/statm: 257934 254971 2810 2726 0 254682 0
Current children cumulated CPU time: 3512.29 s
Current children cumulated vsize: 1031736 KiB
Current children cumulated memory: 1019884 KiB
[startup+3582.3 s]
/proc/loadavg: 1.11 1.11 1.51 2/236 927428
/proc/meminfo: memFree=126622744/131524600 swapFree=131071996/131071996
[pid=925452] ppid=925449 vsize=1031736 memory=1019884 CPUtime=3572.17 cores=1,3
/proc/925452/stat : 925452 (CASHWMaxSAT-Dis) R 925449 925452 919951 0 -1 4194304 444905 0 0 0 357013 204 0 0 20 0 1 0 177170848 1056497664 254971 134679101440 4194304 15356333 140732584893360 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 45842432 140732584895458 140732584895574 140732584895574 140732584902590 0
/proc/925452/statm: 257934 254971 2810 2726 0 254682 0
Current children cumulated CPU time: 3572.17 s
Current children cumulated vsize: 1031736 KiB
Current children cumulated memory: 1019884 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.2 s]
/proc/loadavg: 1.14 1.12 1.50 2/237 927434
/proc/meminfo: memFree=126622504/131524600 swapFree=131071996/131071996
[pid=925452] ppid=925449 vsize=1031736 memory=1019884 CPUtime=3600.01 cores=1,3
/proc/925452/stat : 925452 (CASHWMaxSAT-Dis) R 925449 925452 919951 0 -1 4194304 444971 0 0 0 359797 204 0 0 20 0 1 0 177170848 1056497664 254971 134679101440 4194304 15356333 140732584893360 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 45842432 140732584895458 140732584895574 140732584895574 140732584902590 0
/proc/925452/statm: 257934 254971 2810 2726 0 254682 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 1031736 KiB
Current children cumulated memory: 1019884 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.2 s]
# the end of solver process 925452 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3597.98 s, system=2.05073 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.2
CPU time (s): 3600.03
CPU user time (s): 3597.98
CPU system time (s): 2.05073
CPU usage (%): 99.7181
Max. virtual memory (cumulated for all children) (KiB): 3510092
Max. memory (cumulated for all children) (KiB): 3272540
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.98
system time used= 2.05073
maximum resident set size= 3272540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 444971
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= 72
involuntary context switches= 1342
# summary of solver processes directly reported to runsolver:
# pid: 925452
# total CPU time (s): 3600.03
# total CPU user time (s): 3597.98
# total CPU system time (s): 2.05073
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.27743 second user time and 16.4594 second system time
The end
Begin job on nodeC032 at 2024-07-17 23:00:31
IDJOB=4438957
IDBENCH=158396
IDSOLVER=3074
FILE ID=nodeC032/4438957-1721250019
RUNJOBID= nodeC032-1721240914-920062
SLURM_JOB_ID= 7508995
Free space on /tmp= 889976 MiB
SOLVER NAME= CASHWMaxSAT-DisjCad-SP 2024-07-10
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/EmployeeScheduling/normalized-aug4.5.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-4438957-1721250019/watcher-4438957-1721250019 -o /tmp/evaluation-result-4438957-1721250019/solver-4438957-1721250019 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721240914-920062 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4438957-1721250019.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 481101aa5750e702617a44583ed063de
RANDOM SEED=165249714
nodeC032.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 : 3683.815
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.33
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3666.549
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.03
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 : 3599.802
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.33
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 : 3668.719
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.03
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 : 3683.842
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.33
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 : 3679.722
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.03
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.029
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.33
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 : 3609.136
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.03
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 121054176 kB
MemAvailable: 123277036 kB
Buffers: 465992 kB
Cached: 2574020 kB
SwapCached: 0 kB
Active: 939028 kB
Inactive: 8872772 kB
Active(anon): 1580 kB
Inactive(anon): 6807956 kB
Active(file): 937448 kB
Inactive(file): 2064816 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 15612 kB
Writeback: 0 kB
AnonPages: 6769540 kB
Mapped: 138136 kB
Shmem: 37720 kB
KReclaimable: 120840 kB
Slab: 232324 kB
SReclaimable: 120840 kB
SUnreclaim: 111484 kB
KernelStack: 4124 kB
PageTables: 22876 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 7867272 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 67648 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2074624 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: 226004 kB
DirectMap2M: 21567488 kB
DirectMap1G: 114294784 kB
Free space on /tmp at the end= 890068 MiB
End job on nodeC032 at 2024-07-18 00:00:42