9.55/9.66 c Using cadical-2.0.0-2df7b7f SAT solver by Armin Biere (2022)
9.55/9.66 c Using SCIP solver, version 8.1.0, https://www.scipopt.org
10.14/10.25 c Starting SCIP solver (with time-limit = 1800s) ...
1803.81/1810.31 c SCIP timeout with lower and upper bounds: [-1266, 9223372036854775807]
3600.00/3612.40 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: 64096 MiB (62410 MiB free)
memory of node 1: 64473 MiB (60003 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4461783-1722207909/watcher-4461783-1722207909 -o /tmp/evaluation-result-4461783-1722207909/solver-4461783-1722207909 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1722207909-372896 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4461783-1722207909.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=372948, runsolver pid=372942
[startup+0.100748 s]*
/proc/loadavg: 3.31 3.18 3.13 6/235 372951
/proc/meminfo: memFree=125317108/131655788 swapFree=131060916/131071996
[pid=372948] ppid=372942 vsize=29728 memory=13708 CPUtime=0.1 cores=0,2
/proc/372948/stat : 372948 (CASHWMaxSAT-Dis) R 372942 372948 370296 0 -1 4194304 3151 0 0 0 10 0 0 0 20 0 1 0 56780369 30441472 3427 134679101440 4194304 15356333 140731261221680 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 49442816 140731261228006 140731261228122 140731261228122 140731261235134 0
/proc/372948/statm: 7432 3427 922 2726 0 4180 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 29728 KiB
Current children cumulated memory: 13708 KiB
[startup+0.214005 s]*
/proc/loadavg: 3.31 3.18 3.13 6/238 372955
/proc/meminfo: memFree=125305252/131655788 swapFree=131060916/131071996
[pid=372948] ppid=372942 vsize=32040 memory=16028 CPUtime=0.22 cores=0,2
/proc/372948/stat : 372948 (CASHWMaxSAT-Dis) R 372942 372948 370296 0 -1 4194304 3692 0 0 0 21 1 0 0 20 0 1 0 56780369 32808960 4007 134679101440 4194304 15356333 140731261221680 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 49442816 140731261228006 140731261228122 140731261228122 140731261235134 0
/proc/372948/statm: 8010 4007 922 2726 0 4758 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 32040 KiB
Current children cumulated memory: 16028 KiB
[startup+0.313432 s]*
/proc/loadavg: 3.31 3.18 3.13 6/241 372961
/proc/meminfo: memFree=125270492/131655788 swapFree=131060916/131071996
[pid=372948] ppid=372942 vsize=36400 memory=18200 CPUtime=0.31 cores=0,2
/proc/372948/stat : 372948 (CASHWMaxSAT-Dis) R 372942 372948 370296 0 -1 4194304 4234 0 0 0 30 1 0 0 20 0 1 0 56780369 37273600 4550 134679101440 4194304 15356333 140731261221680 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 49442816 140731261228006 140731261228122 140731261228122 140731261235134 0
/proc/372948/statm: 9100 4550 922 2726 0 5848 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 36400 KiB
Current children cumulated memory: 18200 KiB
[startup+0.700378 s]
/proc/loadavg: 3.31 3.18 3.13 6/241 372961
/proc/meminfo: memFree=125179592/131655788 swapFree=131060916/131071996
[pid=372948] ppid=372942 vsize=73392 memory=57104 CPUtime=0.68 cores=0,2
/proc/372948/stat : 372948 (CASHWMaxSAT-Dis) R 372942 372948 370296 0 -1 4194304 12300 0 0 0 64 4 0 0 20 0 1 0 56780369 75153408 14276 134679101440 4194304 15356333 140731261221680 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 49442816 140731261228006 140731261228122 140731261228122 140731261235134 0
/proc/372948/statm: 18348 14276 954 2726 0 15096 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 73392 KiB
Current children cumulated memory: 57104 KiB
[startup+1.50038 s]
/proc/loadavg: 3.31 3.18 3.13 6/241 372961
/proc/meminfo: memFree=125150632/131655788 swapFree=131060916/131071996
[pid=372948] ppid=372942 vsize=73392 memory=57104 CPUtime=1.48 cores=0,2
/proc/372948/stat : 372948 (CASHWMaxSAT-Dis) R 372942 372948 370296 0 -1 4194304 12300 0 0 0 144 4 0 0 20 0 1 0 56780369 75153408 14276 134679101440 4194304 15356333 140731261221680 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 49442816 140731261228006 140731261228122 140731261228122 140731261235134 0
/proc/372948/statm: 18348 14276 954 2726 0 15096 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 73392 KiB
Current children cumulated memory: 57104 KiB
[startup+3.11327 s]
/proc/loadavg: 3.31 3.18 3.13 6/240 372962
/proc/meminfo: memFree=124585928/131655788 swapFree=131060916/131071996
[pid=372948] ppid=372942 vsize=73392 memory=57104 CPUtime=3.08 cores=0,2
/proc/372948/stat : 372948 (CASHWMaxSAT-Dis) R 372942 372948 370296 0 -1 4194304 12305 0 0 0 304 4 0 0 20 0 1 0 56780369 75153408 14276 134679101440 4194304 15356333 140731261221680 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 49442816 140731261228006 140731261228122 140731261228122 140731261235134 0
/proc/372948/statm: 18348 14276 954 2726 0 15096 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 73392 KiB
Current children cumulated memory: 57104 KiB
[startup+6.30032 s]
/proc/loadavg: 3.37 3.19 3.14 6/240 372962
/proc/meminfo: memFree=124393032/131655788 swapFree=131060916/131071996
[pid=372948] ppid=372942 vsize=73392 memory=57104 CPUtime=6.26 cores=0,2
/proc/372948/stat : 372948 (CASHWMaxSAT-Dis) R 372942 372948 370296 0 -1 4194304 12310 0 0 0 622 4 0 0 20 0 1 0 56780369 75153408 14276 134679101440 4194304 15356333 140731261221680 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 49442816 140731261228006 140731261228122 140731261228122 140731261235134 0
/proc/372948/statm: 18348 14276 954 2726 0 15096 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 73392 KiB
Current children cumulated memory: 57104 KiB
[startup+12.7003 s]
/proc/loadavg: 3.42 3.21 3.14 6/240 372964
/proc/meminfo: memFree=123380236/131655788 swapFree=131060916/131071996
[pid=372948] ppid=372942 vsize=1099248 memory=1073304 CPUtime=12.64 cores=0,2
/proc/372948/stat : 372948 (CASHWMaxSAT-Dis) R 372942 372948 370296 0 -1 4194304 239813 0 0 0 1222 42 0 0 20 0 1 0 56780369 1125629952 268326 134679101440 4194304 15356333 140731261221680 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 49442816 140731261228006 140731261228122 140731261228122 140731261235134 0
/proc/372948/statm: 274812 268326 2906 2726 0 271560 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1099248 KiB
Current children cumulated memory: 1073304 KiB
[startup+25.5003 s]
/proc/loadavg: 3.55 3.25 3.16 6/240 372965
/proc/meminfo: memFree=122614176/131655788 swapFree=131060916/131071996
[pid=372948] ppid=372942 vsize=1825312 memory=1778396 CPUtime=25.39 cores=0,2
/proc/372948/stat : 372948 (CASHWMaxSAT-Dis) R 372942 372948 370296 0 -1 4194304 375974 0 0 0 2470 69 0 0 20 0 1 0 56780369 1869119488 444599 134679101440 4194304 15356333 140731261221680 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 49442816 140731261228006 140731261228122 140731261228122 140731261235134 0
/proc/372948/statm: 456328 444599 3034 2726 0 453076 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 1825312 KiB
Current children cumulated memory: 1778396 KiB
[startup+51.1131 s]
/proc/loadavg: 3.78 3.33 3.19 6/240 372970
/proc/meminfo: memFree=122568084/131655788 swapFree=131060916/131071996
[pid=372948] ppid=372942 vsize=1860620 memory=1820096 CPUtime=50.9 cores=0,2
/proc/372948/stat : 372948 (CASHWMaxSAT-Dis) R 372942 372948 370296 0 -1 4194304 385427 0 0 0 5019 71 0 0 20 0 1 0 56780369 1905274880 455024 134679101440 4194304 15356333 140731261221680 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 49442816 140731261228006 140731261228122 140731261228122 140731261235134 0
/proc/372948/statm: 465155 455024 3034 2726 0 461903 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 1860620 KiB
Current children cumulated memory: 1820096 KiB
[startup+102.3 s]
/proc/loadavg: 3.97 3.45 3.24 6/240 372978
/proc/meminfo: memFree=122549600/131655788 swapFree=131060916/131071996
[pid=372948] ppid=372942 vsize=1862452 memory=1822148 CPUtime=101.93 cores=0,2
/proc/372948/stat : 372948 (CASHWMaxSAT-Dis) R 372942 372948 370296 0 -1 4194304 386626 0 0 0 10116 77 0 0 20 0 1 0 56780369 1907150848 455537 134679101440 4194304 15356333 140731261221680 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 49442816 140731261228006 140731261228122 140731261228122 140731261235134 0
/proc/372948/statm: 465613 455537 3034 2726 0 462361 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 1862452 KiB
Current children cumulated memory: 1822148 KiB
[startup+162.3 s]
/proc/loadavg: 4.04 3.57 3.29 6/240 372988
/proc/meminfo: memFree=120963476/131655788 swapFree=131060916/131071996
[pid=372948] ppid=372942 vsize=1879828 memory=1838844 CPUtime=161.77 cores=0,2
/proc/372948/stat : 372948 (CASHWMaxSAT-Dis) R 372942 372948 370296 0 -1 4194304 390306 0 0 0 16095 82 0 0 20 0 1 0 56780369 1924943872 459711 134679101440 4194304 15356333 140731261221680 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 49442816 140731261228006 140731261228122 140731261228122 140731261235134 0
/proc/372948/statm: 469957 459711 3034 2726 0 466705 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 1879828 KiB
Current children cumulated memory: 1838844 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 3.66 3.35 6/240 373000
/proc/meminfo: memFree=120939960/131655788 swapFree=131060916/131071996
[pid=372948] ppid=372942 vsize=1881976 memory=1843288 CPUtime=221.56 cores=0,2
/proc/372948/stat : 372948 (CASHWMaxSAT-Dis) R 372942 372948 370296 0 -1 4194304 391021 0 0 0 22070 86 0 0 20 0 1 0 56780369 1927143424 460822 134679101440 4194304 15356333 140731261221680 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 49442816 140731261228006 140731261228122 140731261228122 140731261235134 0
/proc/372948/statm: 470494 460822 3034 2726 0 467242 0
Current children cumulated CPU time: 221.56 s
Current children cumulated vsize: 1881976 KiB
Current children cumulated memory: 1843288 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 3.74 3.39 6/240 373010
/proc/meminfo: memFree=120838540/131655788 swapFree=131060916/131071996
[pid=372948] ppid=372942 vsize=1882512 memory=1843816 CPUtime=281.33 cores=0,2
/proc/372948/stat : 372948 (CASHWMaxSAT-Dis) R 372942 372948 370296 0 -1 4194304 391269 0 0 0 28043 90 0 0 20 0 1 0 56780369 1927692288 460954 134679101440 4194304 15356333 140731261221680 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 49442816 140731261228006 140731261228122 140731261228122 140731261235134 0
/proc/372948/statm: 470628 460954 3034 2726 0 467376 0
Current children cumulated CPU time: 281.33 s
Current children cumulated vsize: 1882512 KiB
Current children cumulated memory: 1843816 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 3.81 3.44 6/241 373025
/proc/meminfo: memFree=120931632/131655788 swapFree=131060916/131071996
[pid=372948] ppid=372942 vsize=1885316 memory=1845116 CPUtime=341.1 cores=0,2
/proc/372948/stat : 372948 (CASHWMaxSAT-Dis) R 372942 372948 370296 0 -1 4194304 391747 0 0 0 34016 94 0 0 20 0 1 0 56780369 1930563584 461279 134679101440 4194304 15356333 140731261221680 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 49442816 140731261228006 140731261228122 140731261228122 140731261235134 0
/proc/372948/statm: 471329 461279 3034 2726 0 468077 0
Current children cumulated CPU time: 341.1 s
Current children cumulated vsize: 1885316 KiB
Current children cumulated memory: 1845116 KiB
[startup+402.3 s]
/proc/loadavg: 4.06 3.86 3.48 6/241 373036
/proc/meminfo: memFree=120920792/131655788 swapFree=131060916/131071996
[pid=372948] ppid=372942 vsize=1885316 memory=1845432 CPUtime=400.86 cores=0,2
/proc/372948/stat : 372948 (CASHWMaxSAT-Dis) R 372942 372948 370296 0 -1 4194304 391936 0 0 0 39989 97 0 0 20 0 1 0 56780369 1930563584 461358 134679101440 4194304 15356333 140731261221680 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 49442816 140731261228006 140731261228122 140731261228122 140731261235134 0
/proc/372948/statm: 471329 461358 3034 2726 0 468077 0
Current children cumulated CPU time: 400.86 s
Current children cumulated vsize: 1885316 KiB
Current children cumulated memory: 1845432 KiB
[startup+462.3 s]
/proc/loadavg: 4.41 3.98 3.55 6/241 373047
/proc/meminfo: memFree=120922988/131655788 swapFree=131060916/131071996
[pid=372948] ppid=372942 vsize=1885460 memory=1845768 CPUtime=460.63 cores=0,2
/proc/372948/stat : 372948 (CASHWMaxSAT-Dis) R 372942 372948 370296 0 -1 4194304 392060 0 0 0 45963 100 0 0 20 0 1 0 56780369 1930711040 461442 134679101440 4194304 15356333 140731261221680 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 49442816 140731261228006 140731261228122 140731261228122 140731261235134 0
/proc/372948/statm: 471365 461442 3034 2726 0 468113 0
################
# More data... #
################
Current children cumulated memory: 1573576 KiB
[startup+2862.3 s]
/proc/loadavg: 4.14 4.15 4.14 6/240 374088
/proc/meminfo: memFree=121282884/131655788 swapFree=131060916/131071996
[pid=372948] ppid=372942 vsize=1585164 memory=1573576 CPUtime=2852.36 cores=0,2
/proc/372948/stat : 372948 (CASHWMaxSAT-Dis) R 372942 372948 370296 0 -1 4194304 398609 0 0 0 285120 116 0 0 20 0 1 0 56780369 1623207936 393394 134679101440 4194304 15356333 140731261221680 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 49442816 140731261228006 140731261228122 140731261228122 140731261235134 0
/proc/372948/statm: 396291 393394 3082 2726 0 393039 0
Current children cumulated CPU time: 2852.36 s
Current children cumulated vsize: 1585164 KiB
Current children cumulated memory: 1573576 KiB
[startup+2922.3 s]
/proc/loadavg: 4.09 4.14 4.14 6/240 374098
/proc/meminfo: memFree=121282336/131655788 swapFree=131060916/131071996
[pid=372948] ppid=372942 vsize=1585164 memory=1573576 CPUtime=2912.16 cores=0,2
/proc/372948/stat : 372948 (CASHWMaxSAT-Dis) R 372942 372948 370296 0 -1 4194304 398826 0 0 0 291100 116 0 0 20 0 1 0 56780369 1623207936 393394 134679101440 4194304 15356333 140731261221680 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 49442816 140731261228006 140731261228122 140731261228122 140731261235134 0
/proc/372948/statm: 396291 393394 3082 2726 0 393039 0
Current children cumulated CPU time: 2912.16 s
Current children cumulated vsize: 1585164 KiB
Current children cumulated memory: 1573576 KiB
[startup+2982.3 s]
/proc/loadavg: 4.21 4.16 4.14 6/240 374108
/proc/meminfo: memFree=121282004/131655788 swapFree=131060916/131071996
[pid=372948] ppid=372942 vsize=1585164 memory=1573576 CPUtime=2971.97 cores=0,2
/proc/372948/stat : 372948 (CASHWMaxSAT-Dis) R 372942 372948 370296 0 -1 4194304 399018 0 0 0 297081 116 0 0 20 0 1 0 56780369 1623207936 393394 134679101440 4194304 15356333 140731261221680 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 49442816 140731261228006 140731261228122 140731261228122 140731261235134 0
/proc/372948/statm: 396291 393394 3082 2726 0 393039 0
Current children cumulated CPU time: 2971.97 s
Current children cumulated vsize: 1585164 KiB
Current children cumulated memory: 1573576 KiB
[startup+3042.3 s]
/proc/loadavg: 4.11 4.14 4.14 6/239 374501
/proc/meminfo: memFree=121279364/131655788 swapFree=131060916/131071996
[pid=372948] ppid=372942 vsize=1585164 memory=1573576 CPUtime=3031.77 cores=0,2
/proc/372948/stat : 372948 (CASHWMaxSAT-Dis) R 372942 372948 370296 0 -1 4194304 399197 0 0 0 303061 116 0 0 20 0 1 0 56780369 1623207936 393394 134679101440 4194304 15356333 140731261221680 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 49442816 140731261228006 140731261228122 140731261228122 140731261235134 0
/proc/372948/statm: 396291 393394 3082 2726 0 393039 0
Current children cumulated CPU time: 3031.77 s
Current children cumulated vsize: 1585164 KiB
Current children cumulated memory: 1573576 KiB
[startup+3102.3 s]
/proc/loadavg: 4.16 4.15 4.14 6/239 374511
/proc/meminfo: memFree=121279540/131655788 swapFree=131060916/131071996
[pid=372948] ppid=372942 vsize=1585164 memory=1573576 CPUtime=3091.57 cores=0,2
/proc/372948/stat : 372948 (CASHWMaxSAT-Dis) R 372942 372948 370296 0 -1 4194304 399332 0 0 0 309041 116 0 0 20 0 1 0 56780369 1623207936 393394 134679101440 4194304 15356333 140731261221680 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 49442816 140731261228006 140731261228122 140731261228122 140731261235134 0
/proc/372948/statm: 396291 393394 3082 2726 0 393039 0
Current children cumulated CPU time: 3091.57 s
Current children cumulated vsize: 1585164 KiB
Current children cumulated memory: 1573576 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.15 4.14 6/239 374521
/proc/meminfo: memFree=121279264/131655788 swapFree=131060916/131071996
[pid=372948] ppid=372942 vsize=1585164 memory=1573576 CPUtime=3151.37 cores=0,2
/proc/372948/stat : 372948 (CASHWMaxSAT-Dis) R 372942 372948 370296 0 -1 4194304 399524 0 0 0 315021 116 0 0 20 0 1 0 56780369 1623207936 393394 134679101440 4194304 15356333 140731261221680 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 49442816 140731261228006 140731261228122 140731261228122 140731261235134 0
/proc/372948/statm: 396291 393394 3082 2726 0 393039 0
Current children cumulated CPU time: 3151.37 s
Current children cumulated vsize: 1585164 KiB
Current children cumulated memory: 1573576 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.13 4.13 6/240 374701
/proc/meminfo: memFree=121277816/131655788 swapFree=131060916/131071996
[pid=372948] ppid=372942 vsize=1585164 memory=1573576 CPUtime=3211.18 cores=0,2
/proc/372948/stat : 372948 (CASHWMaxSAT-Dis) R 372942 372948 370296 0 -1 4194304 399706 0 0 0 321002 116 0 0 20 0 1 0 56780369 1623207936 393394 134679101440 4194304 15356333 140731261221680 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 49442816 140731261228006 140731261228122 140731261228122 140731261235134 0
/proc/372948/statm: 396291 393394 3082 2726 0 393039 0
Current children cumulated CPU time: 3211.18 s
Current children cumulated vsize: 1585164 KiB
Current children cumulated memory: 1573576 KiB
[startup+3282.3 s]
/proc/loadavg: 4.16 4.14 4.13 6/240 374711
/proc/meminfo: memFree=121277916/131655788 swapFree=131060916/131071996
[pid=372948] ppid=372942 vsize=1585164 memory=1573576 CPUtime=3270.98 cores=0,2
/proc/372948/stat : 372948 (CASHWMaxSAT-Dis) R 372942 372948 370296 0 -1 4194304 399889 0 0 0 326982 116 0 0 20 0 1 0 56780369 1623207936 393394 134679101440 4194304 15356333 140731261221680 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 49442816 140731261228006 140731261228122 140731261228122 140731261235134 0
/proc/372948/statm: 396291 393394 3082 2726 0 393039 0
Current children cumulated CPU time: 3270.98 s
Current children cumulated vsize: 1585164 KiB
Current children cumulated memory: 1573576 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.13 4.12 6/240 374724
/proc/meminfo: memFree=121158104/131655788 swapFree=131060916/131071996
[pid=372948] ppid=372942 vsize=1585164 memory=1573576 CPUtime=3330.79 cores=0,2
/proc/372948/stat : 372948 (CASHWMaxSAT-Dis) R 372942 372948 370296 0 -1 4194304 400027 0 0 0 332963 116 0 0 20 0 1 0 56780369 1623207936 393394 134679101440 4194304 15356333 140731261221680 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 49442816 140731261228006 140731261228122 140731261228122 140731261235134 0
/proc/372948/statm: 396291 393394 3082 2726 0 393039 0
Current children cumulated CPU time: 3330.79 s
Current children cumulated vsize: 1585164 KiB
Current children cumulated memory: 1573576 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.11 4.12 6/240 374749
/proc/meminfo: memFree=121235244/131655788 swapFree=131060916/131071996
[pid=372948] ppid=372942 vsize=1585164 memory=1573576 CPUtime=3390.59 cores=0,2
/proc/372948/stat : 372948 (CASHWMaxSAT-Dis) R 372942 372948 370296 0 -1 4194304 400210 0 0 0 338943 116 0 0 20 0 1 0 56780369 1623207936 393394 134679101440 4194304 15356333 140731261221680 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 49442816 140731261228006 140731261228122 140731261228122 140731261235134 0
/proc/372948/statm: 396291 393394 3082 2726 0 393039 0
Current children cumulated CPU time: 3390.59 s
Current children cumulated vsize: 1585164 KiB
Current children cumulated memory: 1573576 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.12 4.12 6/240 374759
/proc/meminfo: memFree=121196940/131655788 swapFree=131060916/131071996
[pid=372948] ppid=372942 vsize=1585164 memory=1573576 CPUtime=3450.39 cores=0,2
/proc/372948/stat : 372948 (CASHWMaxSAT-Dis) R 372942 372948 370296 0 -1 4194304 400408 0 0 0 344923 116 0 0 20 0 1 0 56780369 1623207936 393394 134679101440 4194304 15356333 140731261221680 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 49442816 140731261228006 140731261228122 140731261228122 140731261235134 0
/proc/372948/statm: 396291 393394 3082 2726 0 393039 0
Current children cumulated CPU time: 3450.39 s
Current children cumulated vsize: 1585164 KiB
Current children cumulated memory: 1573576 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.13 4.12 6/240 374769
/proc/meminfo: memFree=121240076/131655788 swapFree=131060916/131071996
[pid=372948] ppid=372942 vsize=1585164 memory=1573576 CPUtime=3510.19 cores=0,2
/proc/372948/stat : 372948 (CASHWMaxSAT-Dis) R 372942 372948 370296 0 -1 4194304 400599 0 0 0 350903 116 0 0 20 0 1 0 56780369 1623207936 393394 134679101440 4194304 15356333 140731261221680 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 49442816 140731261228006 140731261228122 140731261228122 140731261235134 0
/proc/372948/statm: 396291 393394 3082 2726 0 393039 0
Current children cumulated CPU time: 3510.19 s
Current children cumulated vsize: 1585164 KiB
Current children cumulated memory: 1573576 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.13 4.12 6/240 374779
/proc/meminfo: memFree=121153052/131655788 swapFree=131060916/131071996
[pid=372948] ppid=372942 vsize=1585164 memory=1573576 CPUtime=3570 cores=0,2
/proc/372948/stat : 372948 (CASHWMaxSAT-Dis) R 372942 372948 370296 0 -1 4194304 400736 0 0 0 356884 116 0 0 20 0 1 0 56780369 1623207936 393394 134679101440 4194304 15356333 140731261221680 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 49442816 140731261228006 140731261228122 140731261228122 140731261235134 0
/proc/372948/statm: 396291 393394 3082 2726 0 393039 0
Current children cumulated CPU time: 3570 s
Current children cumulated vsize: 1585164 KiB
Current children cumulated memory: 1573576 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.4 s]
/proc/loadavg: 4.09 4.12 4.11 4/232 374909
/proc/meminfo: memFree=123739184/131655788 swapFree=131060916/131071996
[pid=372948] ppid=372942 vsize=1585164 memory=1573576 CPUtime=3600 cores=0,2
/proc/372948/stat : 372948 (CASHWMaxSAT-Dis) R 372942 372948 370296 0 -1 4194304 400853 0 0 0 359884 116 0 0 20 0 1 0 56780369 1623207936 393394 134679101440 4194304 15356333 140731261221680 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 49442816 140731261228006 140731261228122 140731261228122 140731261235134 0
/proc/372948/statm: 396291 393394 3082 2726 0 393039 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 1585164 KiB
Current children cumulated memory: 1573576 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.41 s]
# the end of solver process 372948 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3598.84 s, system=1.17189 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3612.41
CPU time (s): 3600.02
CPU user time (s): 3598.84
CPU system time (s): 1.17189
CPU usage (%): 99.657
Max. virtual memory (cumulated for all children) (KiB): 1885864
Max. memory (cumulated for all children) (KiB): 1872708
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.84
system time used= 1.17189
maximum resident set size= 1872708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 400853
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= 21
involuntary context switches= 24652
# summary of solver processes directly reported to runsolver:
# pid: 372948
# total CPU time (s): 3600.02
# total CPU user time (s): 3598.84
# total CPU system time (s): 1.17189
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.0113 second user time and 37.4398 second system time
The end
Begin job on nodeC007 at 2024-07-29 01:05:09
IDJOB=4461783
IDBENCH=178869
IDSOLVER=3074
FILE ID=nodeC007/4461783-1722207909
RUNJOBID= nodeC007-1722207909-372896
SLURM_JOB_ID= 8248642
Free space on /tmp= 723776 MiB
SOLVER NAME= CASHWMaxSAT-DisjCad-SP 2024-07-10
BENCH NAME= PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/SMTI/x2/Init-x2-i9_pp_96.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-4461783-1722207909/watcher-4461783-1722207909 -o /tmp/evaluation-result-4461783-1722207909/solver-4461783-1722207909 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1722207909-372896 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4461783-1722207909.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 5cc7d14a8524e58f54e6333ee2ad6e82
RANDOM SEED=1411768021
nodeC007.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.201
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.67
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 : 2561.779
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.37
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.283
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.67
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.214
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.37
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.201
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.67
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.201
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.37
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.242
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.67
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.364
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.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 125352740 kB
MemAvailable: 129909776 kB
Buffers: 408352 kB
Cached: 4872904 kB
SwapCached: 152 kB
Active: 1926752 kB
Inactive: 3611080 kB
Active(anon): 2164 kB
Inactive(anon): 307716 kB
Active(file): 1924588 kB
Inactive(file): 3303364 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131060916 kB
Dirty: 57320 kB
Writeback: 4 kB
AnonPages: 256892 kB
Mapped: 95416 kB
Shmem: 53304 kB
KReclaimable: 338564 kB
Slab: 452160 kB
SReclaimable: 338564 kB
SUnreclaim: 113596 kB
KernelStack: 3632 kB
PageTables: 9672 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 613088 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 16064 kB
HardwareCorrupted: 0 kB
AnonHugePages: 139264 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: 455496 kB
DirectMap2M: 66557952 kB
DirectMap1G: 69206016 kB
Free space on /tmp at the end= 723728 MiB
End job on nodeC007 at 2024-07-29 02:05:22