1.18/1.25 c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
1.18/1.25 c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
1.18/1.25 c Using SCIP solver, version 8.1.0, https://www.scipopt.org
1.39/1.41 c Starting SCIP solver (with time-limit = 1800s) ...
1796.39/1801.41 c SCIP timeout with lower and upper bounds: [3474346, 9223372036854775807]
3600.05/3609.30 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 (63067 MiB free)
memory of node 1: 64473 MiB (62369 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439725-1721242758/watcher-4439725-1721242758 -o /tmp/evaluation-result-4439725-1721242758/solver-4439725-1721242758 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721242771-917889 --watchdog 3760 CASHWMaxSAT-DisjCom-SP HOME/instance-4439725-1721242758.opb -total-t=3600 -no-par -v0
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=917929, runsolver pid=917926
Current StackSize limit: 8192 KiB
[startup+0.100099 s]*
/proc/loadavg: 1.10 1.20 1.99 5/232 917931
/proc/meminfo: memFree=128427916/131655788 swapFree=131071996/131071996
[pid=917929] ppid=917926 vsize=28744 memory=9948 CPUtime=0.1 cores=4,6
/proc/917929/stat : 917929 (CASHWMaxSAT-Dis) R 917926 917929 917878 0 -1 4194304 2278 0 0 0 10 0 0 0 20 0 1 0 176432980 29433856 2421 134679101440 4194304 14636349 140722869200464 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 47296512 140722869208034 140722869208150 140722869208150 140722869215166 0
/proc/917929/statm: 7186 2487 794 2550 0 4141 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28744 KiB
Current children cumulated memory: 9948 KiB
[startup+0.213673 s]*
/proc/loadavg: 1.10 1.20 1.99 5/239 917943
/proc/meminfo: memFree=128376324/131655788 swapFree=131071996/131071996
[pid=917929] ppid=917926 vsize=45368 memory=25148 CPUtime=0.21 cores=4,6
/proc/917929/stat : 917929 (CASHWMaxSAT-Dis) R 917926 917929 917878 0 -1 4194304 7485 0 0 0 19 2 0 0 20 0 1 0 176432980 46456832 6287 134679101440 4194304 14636349 140722869200464 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 47296512 140722869208034 140722869208150 140722869208150 140722869215166 0
/proc/917929/statm: 11342 6287 842 2550 0 8297 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 45368 KiB
Current children cumulated memory: 25148 KiB
[startup+0.314228 s]*
/proc/loadavg: 1.10 1.20 1.99 5/244 917952
/proc/meminfo: memFree=128335448/131655788 swapFree=131071996/131071996
[pid=917929] ppid=917926 vsize=51820 memory=32804 CPUtime=0.32 cores=4,6
/proc/917929/stat : 917929 (CASHWMaxSAT-Dis) R 917926 917929 917878 0 -1 4194304 9417 0 0 0 29 3 0 0 20 0 1 0 176432980 53063680 8201 134679101440 4194304 14636349 140722869200464 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 47296512 140722869208034 140722869208150 140722869208150 140722869215166 0
/proc/917929/statm: 12955 8201 842 2550 0 9910 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 51820 KiB
Current children cumulated memory: 32804 KiB
[startup+0.700299 s]
/proc/loadavg: 1.10 1.20 1.99 5/244 917952
/proc/meminfo: memFree=128265908/131655788 swapFree=131071996/131071996
[pid=917929] ppid=917926 vsize=73556 memory=54688 CPUtime=0.69 cores=4,6
/proc/917929/stat : 917929 (CASHWMaxSAT-Dis) R 917926 917929 917878 0 -1 4194304 16130 0 0 0 64 5 0 0 20 0 1 0 176432980 75321344 13672 134679101440 4194304 14636349 140722869200464 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 47296512 140722869208034 140722869208150 140722869208150 140722869215166 0
/proc/917929/statm: 18389 13672 938 2550 0 15344 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 73556 KiB
Current children cumulated memory: 54688 KiB
[startup+1.50037 s]
/proc/loadavg: 1.10 1.20 1.99 5/244 917952
/proc/meminfo: memFree=128159000/131655788 swapFree=131071996/131071996
[pid=917929] ppid=917926 vsize=223224 memory=210600 CPUtime=1.49 cores=4,6
/proc/917929/stat : 917929 (CASHWMaxSAT-Dis) R 917926 917929 917878 0 -1 4194304 52824 0 0 0 135 14 0 0 20 0 1 0 176432980 228581376 52650 134679101440 4194304 14636349 140722869200464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 47296512 140722869208034 140722869208150 140722869208150 140722869215166 0
/proc/917929/statm: 55806 52650 2442 2550 0 52761 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 223224 KiB
Current children cumulated memory: 210600 KiB
[startup+3.11287 s]
/proc/loadavg: 1.10 1.20 1.99 5/244 917952
/proc/meminfo: memFree=127376856/131655788 swapFree=131071996/131071996
[pid=917929] ppid=917926 vsize=343548 memory=329112 CPUtime=3.1 cores=4,6
/proc/917929/stat : 917929 (CASHWMaxSAT-Dis) R 917926 917929 917878 0 -1 4194304 82360 0 0 0 291 19 0 0 20 0 1 0 176432980 351793152 82278 134679101440 4194304 14636349 140722869200464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 47296512 140722869208034 140722869208150 140722869208150 140722869215166 0
/proc/917929/statm: 85887 82278 2538 2550 0 82842 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 343548 KiB
Current children cumulated memory: 329112 KiB
[startup+6.30032 s]
/proc/loadavg: 1.33 1.24 2.00 5/244 917952
/proc/meminfo: memFree=126268700/131655788 swapFree=131071996/131071996
[pid=917929] ppid=917926 vsize=344572 memory=330140 CPUtime=6.28 cores=4,6
/proc/917929/stat : 917929 (CASHWMaxSAT-Dis) R 917926 917929 917878 0 -1 4194304 82677 0 0 0 609 19 0 0 20 0 1 0 176432980 352841728 82535 134679101440 4194304 14636349 140722869200464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 47296512 140722869208034 140722869208150 140722869208150 140722869215166 0
/proc/917929/statm: 86143 82535 2538 2550 0 83098 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 344572 KiB
Current children cumulated memory: 330140 KiB
[startup+12.7003 s]
/proc/loadavg: 1.54 1.29 2.01 5/244 917954
/proc/meminfo: memFree=126114652/131655788 swapFree=131071996/131071996
[pid=917929] ppid=917926 vsize=448904 memory=430900 CPUtime=12.65 cores=4,6
/proc/917929/stat : 917929 (CASHWMaxSAT-Dis) R 917926 917929 917878 0 -1 4194304 108143 0 0 0 1242 23 0 0 20 0 1 0 176432980 459677696 107725 134679101440 4194304 14636349 140722869200464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 47296512 140722869208034 140722869208150 140722869208150 140722869215166 0
/proc/917929/statm: 112226 107725 2650 2550 0 109181 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 448904 KiB
Current children cumulated memory: 430900 KiB
[startup+25.5004 s]
/proc/loadavg: 2.16 1.44 2.05 5/244 917955
/proc/meminfo: memFree=126043688/131655788 swapFree=131071996/131071996
[pid=917929] ppid=917926 vsize=453880 memory=434848 CPUtime=25.42 cores=4,6
/proc/917929/stat : 917929 (CASHWMaxSAT-Dis) R 917926 917929 917878 0 -1 4194304 109172 0 0 0 2518 24 0 0 20 0 1 0 176432980 464773120 108712 134679101440 4194304 14636349 140722869200464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 47296512 140722869208034 140722869208150 140722869208150 140722869215166 0
/proc/917929/statm: 113470 108712 2650 2550 0 110425 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 453880 KiB
Current children cumulated memory: 434848 KiB
[startup+51.113 s]
/proc/loadavg: 3.07 1.71 2.12 5/244 917960
/proc/meminfo: memFree=125812188/131655788 swapFree=131071996/131071996
[pid=917929] ppid=917926 vsize=620060 memory=539616 CPUtime=50.96 cores=4,6
/proc/917929/stat : 917929 (CASHWMaxSAT-Dis) R 917926 917929 917878 0 -1 4194304 128262 0 0 0 5068 28 0 0 20 0 1 0 176432980 634941440 134904 134679101440 4194304 14636349 140722869200464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 47296512 140722869208034 140722869208150 140722869208150 140722869215166 0
/proc/917929/statm: 155015 134904 2666 2550 0 151970 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 620060 KiB
Current children cumulated memory: 539616 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 2.22 2.27 5/245 918028
/proc/meminfo: memFree=125160144/131655788 swapFree=131071996/131071996
[pid=917929] ppid=917926 vsize=626908 memory=546176 CPUtime=101.99 cores=4,6
/proc/917929/stat : 917929 (CASHWMaxSAT-Dis) R 917926 917929 917878 0 -1 4194304 129969 0 0 0 10170 29 0 0 20 0 1 0 176432980 641953792 136544 134679101440 4194304 14636349 140722869200464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 47296512 140722869208034 140722869208150 140722869208150 140722869215166 0
/proc/917929/statm: 156727 136544 2666 2550 0 153682 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 626908 KiB
Current children cumulated memory: 546176 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 2.57 2.39 5/245 918038
/proc/meminfo: memFree=125056728/131655788 swapFree=131071996/131071996
[pid=917929] ppid=917926 vsize=729472 memory=650656 CPUtime=161.82 cores=4,6
/proc/917929/stat : 917929 (CASHWMaxSAT-Dis) R 917926 917929 917878 0 -1 4194304 156060 0 0 0 16149 33 0 0 20 0 1 0 176432980 746979328 162664 134679101440 4194304 14636349 140722869200464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 47296512 140722869208034 140722869208150 140722869208150 140722869215166 0
/proc/917929/statm: 182368 162664 2666 2550 0 179323 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 729472 KiB
Current children cumulated memory: 650656 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 2.85 2.50 5/245 918049
/proc/meminfo: memFree=124953440/131655788 swapFree=131071996/131071996
[pid=917929] ppid=917926 vsize=790488 memory=709180 CPUtime=221.65 cores=4,6
/proc/917929/stat : 917929 (CASHWMaxSAT-Dis) R 917926 917929 917878 0 -1 4194304 170520 0 0 0 22129 36 0 0 20 0 1 0 176432980 809459712 177295 134679101440 4194304 14636349 140722869200464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 47296512 140722869208034 140722869208150 140722869208150 140722869215166 0
/proc/917929/statm: 197622 177295 2666 2550 0 194577 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 790488 KiB
Current children cumulated memory: 709180 KiB
[startup+282.3 s]
/proc/loadavg: 4.19 3.11 2.62 5/243 918059
/proc/meminfo: memFree=124905420/131655788 swapFree=131071996/131071996
[pid=917929] ppid=917926 vsize=790488 memory=711812 CPUtime=281.48 cores=4,6
/proc/917929/stat : 917929 (CASHWMaxSAT-Dis) R 917926 917929 917878 0 -1 4194304 170774 0 0 0 28112 36 0 0 20 0 1 0 176432980 809459712 177953 134679101440 4194304 14636349 140722869200464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 47296512 140722869208034 140722869208150 140722869208150 140722869215166 0
/proc/917929/statm: 197622 177953 2666 2550 0 194577 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 790488 KiB
Current children cumulated memory: 711812 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 3.29 2.71 5/242 918070
/proc/meminfo: memFree=124846052/131655788 swapFree=131071996/131071996
[pid=917929] ppid=917926 vsize=938348 memory=748236 CPUtime=341.31 cores=4,6
/proc/917929/stat : 917929 (CASHWMaxSAT-Dis) R 917926 917929 917878 0 -1 4194304 178948 0 0 0 34093 38 0 0 20 0 1 0 176432980 960868352 187059 134679101440 4194304 14636349 140722869200464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 47296512 140722869208034 140722869208150 140722869208150 140722869215166 0
/proc/917929/statm: 234587 187059 2666 2550 0 231542 0
Current children cumulated CPU time: 341.31 s
Current children cumulated vsize: 938348 KiB
Current children cumulated memory: 748236 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 3.44 2.80 5/241 918081
/proc/meminfo: memFree=124814324/131655788 swapFree=131071996/131071996
[pid=917929] ppid=917926 vsize=1015012 memory=786200 CPUtime=401.13 cores=4,6
/proc/917929/stat : 917929 (CASHWMaxSAT-Dis) R 917926 917929 917878 0 -1 4194304 185943 0 0 0 40074 39 0 0 20 0 1 0 176432980 1039372288 196550 134679101440 4194304 14636349 140722869200464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 47296512 140722869208034 140722869208150 140722869208150 140722869215166 0
/proc/917929/statm: 253753 196550 2666 2550 0 250708 0
Current children cumulated CPU time: 401.13 s
Current children cumulated vsize: 1015012 KiB
Current children cumulated memory: 786200 KiB
[startup+462.3 s]
/proc/loadavg: 4.16 3.57 2.89 5/241 918091
/proc/meminfo: memFree=124770200/131655788 swapFree=131071996/131071996
[pid=917929] ppid=917926 vsize=1046964 memory=819324 CPUtime=460.96 cores=4,6
/proc/917929/stat : 917929 (CASHWMaxSAT-Dis) R 917926 917929 917878 0 -1 4194304 191361 0 0 0 46056 40 0 0 20 0 1 0 176432980 1072091136 204831 134679101440 4194304 14636349 140722869200464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 47296512 140722869208034 140722869208150 140722869208150 140722869215166 0
################
# More data... #
################
Current children cumulated memory: 1339572 KiB
[startup+2922.3 s]
/proc/loadavg: 4.21 4.16 4.07 5/241 919145
/proc/meminfo: memFree=123710480/131655788 swapFree=131071996/131071996
[pid=917929] ppid=917926 vsize=1899356 memory=1339572 CPUtime=2914.67 cores=4,6
/proc/917929/stat : 917929 (CASHWMaxSAT-Dis) R 917926 917929 917878 0 -1 4194304 299776 0 0 0 291400 67 0 0 20 0 1 0 176432980 1944940544 334893 134679101440 4194304 14636349 140722869200464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 47296512 140722869208034 140722869208150 140722869208150 140722869215166 0
/proc/917929/statm: 474839 334893 2666 2550 0 471794 0
Current children cumulated CPU time: 2914.67 s
Current children cumulated vsize: 1899356 KiB
Current children cumulated memory: 1339572 KiB
[startup+2982.3 s]
/proc/loadavg: 4.24 4.18 4.09 5/241 919156
/proc/meminfo: memFree=123630452/131655788 swapFree=131071996/131071996
[pid=917929] ppid=917926 vsize=1899356 memory=1339572 CPUtime=2974.52 cores=4,6
/proc/917929/stat : 917929 (CASHWMaxSAT-Dis) R 917926 917929 917878 0 -1 4194304 299937 0 0 0 297385 67 0 0 20 0 1 0 176432980 1944940544 334893 134679101440 4194304 14636349 140722869200464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 47296512 140722869208034 140722869208150 140722869208150 140722869215166 0
/proc/917929/statm: 474839 334893 2666 2550 0 471794 0
Current children cumulated CPU time: 2974.52 s
Current children cumulated vsize: 1899356 KiB
Current children cumulated memory: 1339572 KiB
[startup+3042.3 s]
/proc/loadavg: 4.15 4.16 4.09 5/241 919166
/proc/meminfo: memFree=123875148/131655788 swapFree=131071996/131071996
[pid=917929] ppid=917926 vsize=1899356 memory=1339572 CPUtime=3034.38 cores=4,6
/proc/917929/stat : 917929 (CASHWMaxSAT-Dis) R 917926 917929 917878 0 -1 4194304 300081 0 0 0 303371 67 0 0 20 0 1 0 176432980 1944940544 334893 134679101440 4194304 14636349 140722869200464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 47296512 140722869208034 140722869208150 140722869208150 140722869215166 0
/proc/917929/statm: 474839 334893 2666 2550 0 471794 0
Current children cumulated CPU time: 3034.38 s
Current children cumulated vsize: 1899356 KiB
Current children cumulated memory: 1339572 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.14 4.09 5/243 919180
/proc/meminfo: memFree=123679928/131655788 swapFree=131071996/131071996
[pid=917929] ppid=917926 vsize=1899356 memory=1339572 CPUtime=3094.25 cores=4,6
/proc/917929/stat : 917929 (CASHWMaxSAT-Dis) R 917926 917929 917878 0 -1 4194304 300223 0 0 0 309357 68 0 0 20 0 1 0 176432980 1944940544 334893 134679101440 4194304 14636349 140722869200464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 47296512 140722869208034 140722869208150 140722869208150 140722869215166 0
/proc/917929/statm: 474839 334893 2666 2550 0 471794 0
Current children cumulated CPU time: 3094.25 s
Current children cumulated vsize: 1899356 KiB
Current children cumulated memory: 1339572 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.15 4.09 5/243 919190
/proc/meminfo: memFree=123538024/131655788 swapFree=131071996/131071996
[pid=917929] ppid=917926 vsize=1899356 memory=1341988 CPUtime=3154.11 cores=4,6
/proc/917929/stat : 917929 (CASHWMaxSAT-Dis) R 917926 917929 917878 0 -1 4194304 300382 0 0 0 315343 68 0 0 20 0 1 0 176432980 1944940544 335497 134679101440 4194304 14636349 140722869200464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 47296512 140722869208034 140722869208150 140722869208150 140722869215166 0
/proc/917929/statm: 474839 335497 2666 2550 0 471794 0
Current children cumulated CPU time: 3154.11 s
Current children cumulated vsize: 1899356 KiB
Current children cumulated memory: 1341988 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/243 919201
/proc/meminfo: memFree=123684620/131655788 swapFree=131071996/131071996
[pid=917929] ppid=917926 vsize=1899356 memory=1373612 CPUtime=3213.97 cores=4,6
/proc/917929/stat : 917929 (CASHWMaxSAT-Dis) R 917926 917929 917878 0 -1 4194304 300524 0 0 0 321329 68 0 0 20 0 1 0 176432980 1944940544 343403 134679101440 4194304 14636349 140722869200464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 47296512 140722869208034 140722869208150 140722869208150 140722869215166 0
/proc/917929/statm: 474839 343403 2666 2550 0 471794 0
Current children cumulated CPU time: 3213.97 s
Current children cumulated vsize: 1899356 KiB
Current children cumulated memory: 1373612 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.14 4.09 5/243 919211
/proc/meminfo: memFree=123621320/131655788 swapFree=131071996/131071996
[pid=917929] ppid=917926 vsize=1899356 memory=1410364 CPUtime=3273.83 cores=4,6
/proc/917929/stat : 917929 (CASHWMaxSAT-Dis) R 917926 917929 917878 0 -1 4194304 300690 0 0 0 327315 68 0 0 20 0 1 0 176432980 1944940544 352591 134679101440 4194304 14636349 140722869200464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 47296512 140722869208034 140722869208150 140722869208150 140722869215166 0
/proc/917929/statm: 474839 352591 2666 2550 0 471794 0
Current children cumulated CPU time: 3273.83 s
Current children cumulated vsize: 1899356 KiB
Current children cumulated memory: 1410364 KiB
[startup+3342.3 s]
/proc/loadavg: 4.22 4.16 4.10 5/243 919222
/proc/meminfo: memFree=123612552/131655788 swapFree=131071996/131071996
[pid=917929] ppid=917926 vsize=1899356 memory=1438484 CPUtime=3333.68 cores=4,6
/proc/917929/stat : 917929 (CASHWMaxSAT-Dis) R 917926 917929 917878 0 -1 4194304 300814 0 0 0 333300 68 0 0 20 0 1 0 176432980 1944940544 359621 134679101440 4194304 14636349 140722869200464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 47296512 140722869208034 140722869208150 140722869208150 140722869215166 0
/proc/917929/statm: 474839 359621 2666 2550 0 471794 0
Current children cumulated CPU time: 3333.68 s
Current children cumulated vsize: 1899356 KiB
Current children cumulated memory: 1438484 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.14 4.09 5/242 919615
/proc/meminfo: memFree=123409596/131655788 swapFree=131071996/131071996
[pid=917929] ppid=917926 vsize=1899356 memory=1454960 CPUtime=3393.54 cores=4,6
/proc/917929/stat : 917929 (CASHWMaxSAT-Dis) R 917926 917929 917878 0 -1 4194304 300901 0 0 0 339286 68 0 0 20 0 1 0 176432980 1944940544 363740 134679101440 4194304 14636349 140722869200464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 47296512 140722869208034 140722869208150 140722869208150 140722869215166 0
/proc/917929/statm: 474839 363740 2666 2550 0 471794 0
Current children cumulated CPU time: 3393.54 s
Current children cumulated vsize: 1899356 KiB
Current children cumulated memory: 1454960 KiB
[startup+3462.3 s]
/proc/loadavg: 4.21 4.16 4.10 5/242 919625
/proc/meminfo: memFree=123374652/131655788 swapFree=131071996/131071996
[pid=917929] ppid=917926 vsize=1899356 memory=1497496 CPUtime=3453.4 cores=4,6
/proc/917929/stat : 917929 (CASHWMaxSAT-Dis) R 917926 917929 917878 0 -1 4194304 301006 0 0 0 345272 68 0 0 20 0 1 0 176432980 1944940544 374374 134679101440 4194304 14636349 140722869200464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 47296512 140722869208034 140722869208150 140722869208150 140722869215166 0
/proc/917929/statm: 474839 374374 2666 2550 0 471794 0
Current children cumulated CPU time: 3453.4 s
Current children cumulated vsize: 1899356 KiB
Current children cumulated memory: 1497496 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.14 4.09 5/242 919635
/proc/meminfo: memFree=123483564/131655788 swapFree=131071996/131071996
[pid=917929] ppid=917926 vsize=1899356 memory=1538632 CPUtime=3513.26 cores=4,6
/proc/917929/stat : 917929 (CASHWMaxSAT-Dis) R 917926 917929 917878 0 -1 4194304 301164 0 0 0 351258 68 0 0 20 0 1 0 176432980 1944940544 384658 134679101440 4194304 14636349 140722869200464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 47296512 140722869208034 140722869208150 140722869208150 140722869215166 0
/proc/917929/statm: 474839 384658 2666 2550 0 471794 0
Current children cumulated CPU time: 3513.26 s
Current children cumulated vsize: 1899356 KiB
Current children cumulated memory: 1538632 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.13 4.09 5/243 919815
/proc/meminfo: memFree=123509472/131655788 swapFree=131071996/131071996
[pid=917929] ppid=917926 vsize=1899356 memory=1551124 CPUtime=3573.11 cores=4,6
/proc/917929/stat : 917929 (CASHWMaxSAT-Dis) R 917926 917929 917878 0 -1 4194304 301316 0 0 0 357243 68 0 0 20 0 1 0 176432980 1944940544 387781 134679101440 4194304 14636349 140722869200464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 47296512 140722869208034 140722869208150 140722869208150 140722869215166 0
/proc/917929/statm: 474839 387781 2666 2550 0 471794 0
Current children cumulated CPU time: 3573.11 s
Current children cumulated vsize: 1899356 KiB
Current children cumulated memory: 1551124 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/244 919822
/proc/meminfo: memFree=123274344/131655788 swapFree=131071996/131071996
[pid=917929] ppid=917926 vsize=1899356 memory=1551124 CPUtime=3600.05 cores=4,6
/proc/917929/stat : 917929 (CASHWMaxSAT-Dis) R 917926 917929 917878 0 -1 4194304 301344 0 0 0 359937 68 0 0 20 0 1 0 176432980 1944940544 387781 134679101440 4194304 14636349 140722869200464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 47296512 140722869208034 140722869208150 140722869208150 140722869215166 0
/proc/917929/statm: 474839 387781 2666 2550 0 471794 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 1899356 KiB
Current children cumulated memory: 1551124 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.31 s]
# the end of solver process 917929 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3599.37 s, system=0.686872 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/244 919822
/proc/meminfo: memFree=123274344/131655788 swapFree=131071996/131071996
[pid=917929] ppid=917926 vsize=1899356 memory=1551124 CPUtime=3600.05 cores=4,6
/proc/917929/stat : 917929 (CASHWMaxSAT-Dis) R 917926 917929 917878 0 -1 4194304 301344 0 0 0 359937 68 0 0 20 0 1 0 176432980 1944940544 387781 134679101440 4194304 14636349 140722869200464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 47296512 140722869208034 140722869208150 140722869208150 140722869215166 0
/proc/917929/statm: 474839 387781 2666 2550 0 471794 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 1899356 KiB
Current children cumulated memory: 1551124 KiB
Child status: 0
Real time (s): 3609.31
CPU time (s): 3600.06
CPU user time (s): 3599.37
CPU system time (s): 0.686872
CPU usage (%): 99.7438
Max. virtual memory (cumulated for all children) (KiB): 1924740
Max. memory (cumulated for all children) (KiB): 1551124
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.37
system time used= 0.686872
maximum resident set size= 1551124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 301344
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= 47
involuntary context switches= 2617
# summary of solver processes directly reported to runsolver:
# pid: 917929
# total CPU time (s): 3600.06
# total CPU user time (s): 3599.37
# total CPU system time (s): 0.686872
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.5612 second user time and 35.7829 second system time
The end
Begin job on nodeC011 at 2024-07-17 20:59:31
IDJOB=4439725
IDBENCH=155717
IDSOLVER=3076
FILE ID=nodeC011/4439725-1721242758
RUNJOBID= nodeC011-1721242771-917889
SLURM_JOB_ID= 7509003
Free space on /tmp= 723764 MiB
SOLVER NAME= CASHWMaxSAT-DisjCom-SP 2024-07-10
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/IC/normalized-minisat25_6_3_5_ic.opb
COMMAND LINE= CASHWMaxSAT-DisjCom-SP BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439725-1721242758/watcher-4439725-1721242758 -o /tmp/evaluation-result-4439725-1721242758/solver-4439725-1721242758 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721242771-917889 --watchdog 3760 CASHWMaxSAT-DisjCom-SP HOME/instance-4439725-1721242758.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= ee8f5ca8a7564b2d122e7dc0e93c6e43
RANDOM SEED=266812585
nodeC011.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.120
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.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.189
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.317
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.20
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.120
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.305
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.20
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.122
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.120
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.20
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.164
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 128444268 kB
MemAvailable: 129925456 kB
Buffers: 488560 kB
Cached: 1820592 kB
SwapCached: 0 kB
Active: 959576 kB
Inactive: 1687904 kB
Active(anon): 1356 kB
Inactive(anon): 374716 kB
Active(file): 958220 kB
Inactive(file): 1313188 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 47880 kB
Writeback: 0 kB
AnonPages: 338500 kB
Mapped: 105432 kB
Shmem: 37704 kB
KReclaimable: 99960 kB
Slab: 200636 kB
SReclaimable: 99960 kB
SUnreclaim: 100676 kB
KernelStack: 3740 kB
PageTables: 9356 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 635116 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 56032 kB
HardwareCorrupted: 0 kB
AnonHugePages: 200704 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: 277320 kB
DirectMap2M: 33181696 kB
DirectMap1G: 102760448 kB
Free space on /tmp at the end= 723692 MiB
End job on nodeC011 at 2024-07-17 21:59:40