0.00/0.04 c Using cadical-2.0.0-2df7b7f SAT solver by Armin Biere (2022)
0.00/0.04 o 95
0.00/0.04 c Using SCIP solver, version 8.1.0, https://www.scipopt.org
0.00/0.07 c Starting SCIP solver (with time-limit = 1800s) ...
1794.78/1800.07 c SCIP timeout with lower and upper bounds: [69, 89]
3600.05/3610.20
3600.05/3610.20 v -x1 -x2 -x3 x4 x5 x6 -x7 -x8 -x9 x10 x11 x12 x13 x14 -x15 -x16 -x17 -x18 x19 x20 x21 -x22 -x23 -x24 -x25 -x26 -x27 x28 x29 -x30 -x31 x32 x33 x34 -x35 -x36 -x37 -x38 x39 -x40 -x41 -x42 -x43 x44 -x45 x46 x47 x48 -x49 -x50 -x51 x52 -x53 -x54 x55 x56 x57 x58 -x59 -x60 -x61 x62 x63 x64 x65 -x66 -x67 x68 x69 -x70 x71 -x72 -x73 -x74 x75 -x76 -x77 -x78 -x79 -x80 -x81 x82 x83 -x84 x85 -x86 -x87 -x88 x89 -x90 x91 x92 -x93 x94 x95 -x96 -x97 x98 -x99 x100 -x101 -x102 -x103 x104 -x105 x106 -x107 -x108 x109 x110 -x111 x112 x113 -x114 -x115 x116 x117 -x118 x119 x120 -x121 -x122 x123 x124 -x125 x126 -x127 x128 x129 -x130 -x131 x132 x133 x134 -x135 x136 -x137 x138 -x139 -x140 -x141 x142 -x143 x144 x145 x146 x147 x148 -x149 -x150 x151 x152 -x153 -x154 x155 -x156 x157 x158 x159 x160 x161 x162 -x163 -x164 x165 x166 -x167 -x168 x169 -x170 x171 -x172 -x173 -x174 x175 x176 x177 -x178 x179 x180 x181 -x182 x183 -x184 x185 x186 -x187 -x188 -x189 x190 x191 -x192 -x193 -x194 -x195 x196
3600.05/3610.20 s SATISFIABLE
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 (52386 MiB free)
memory of node 1: 64473 MiB (56428 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438952-1721250733/watcher-4438952-1721250733 -o /tmp/evaluation-result-4438952-1721250733/solver-4438952-1721250733 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721243521-914202 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4438952-1721250733.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
Starting watchdog thread
solver pid=918288, runsolver pid=918285
Current StackSize limit: 8192 KiB
[startup+0.1001 s]*
/proc/loadavg: 4.07 4.15 4.19 5/243 918289
/proc/meminfo: memFree=111405304/131655788 swapFree=131071996/131071996
[pid=918288] ppid=918285 vsize=40960 memory=31624 CPUtime=0.1 cores=4,6
/proc/918288/stat : 918288 (CASHWMaxSAT-Dis) R 918285 918288 914189 0 -1 4194304 5544 0 0 0 9 1 0 0 20 0 1 0 177229156 41943040 7906 134679101440 4194304 15356333 140722286147232 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 46813184 140722286154722 140722286154838 140722286154838 140722286161854 0
/proc/918288/statm: 10240 7906 2682 2726 0 6988 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40960 KiB
Current children cumulated memory: 31624 KiB
[startup+0.21326 s]*
/proc/loadavg: 4.07 4.15 4.19 5/243 918289
/proc/meminfo: memFree=111400320/131655788 swapFree=131071996/131071996
[pid=918288] ppid=918285 vsize=45584 memory=36360 CPUtime=0.21 cores=4,6
/proc/918288/stat : 918288 (CASHWMaxSAT-Dis) R 918285 918288 914189 0 -1 4194304 6727 0 0 0 20 1 0 0 20 0 1 0 177229156 46678016 9090 134679101440 4194304 15356333 140722286147232 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 46813184 140722286154722 140722286154838 140722286154838 140722286161854 0
/proc/918288/statm: 11396 9090 2682 2726 0 8144 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 45584 KiB
Current children cumulated memory: 36360 KiB
[startup+0.313078 s]*
/proc/loadavg: 4.07 4.15 4.19 5/243 918289
/proc/meminfo: memFree=111397632/131655788 swapFree=131071996/131071996
[pid=918288] ppid=918285 vsize=48256 memory=39112 CPUtime=0.32 cores=4,6
/proc/918288/stat : 918288 (CASHWMaxSAT-Dis) R 918285 918288 914189 0 -1 4194304 7378 0 0 0 30 2 0 0 20 0 1 0 177229156 49414144 9778 134679101440 4194304 15356333 140722286147232 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 46813184 140722286154722 140722286154838 140722286154838 140722286161854 0
/proc/918288/statm: 12064 9778 2714 2726 0 8812 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 48256 KiB
Current children cumulated memory: 39112 KiB
[startup+0.700345 s]
/proc/loadavg: 4.07 4.15 4.19 5/243 918289
/proc/meminfo: memFree=111396624/131655788 swapFree=131071996/131071996
[pid=918288] ppid=918285 vsize=49996 memory=40960 CPUtime=0.69 cores=4,6
/proc/918288/stat : 918288 (CASHWMaxSAT-Dis) R 918285 918288 914189 0 -1 4194304 7837 0 0 0 67 2 0 0 20 0 1 0 177229156 51195904 10240 134679101440 4194304 15356333 140722286147232 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 46813184 140722286154722 140722286154838 140722286154838 140722286161854 0
/proc/918288/statm: 12499 10240 2714 2726 0 9247 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 49996 KiB
Current children cumulated memory: 40960 KiB
[startup+1.50033 s]
/proc/loadavg: 4.07 4.15 4.19 5/243 918289
/proc/meminfo: memFree=111386508/131655788 swapFree=131071996/131071996
[pid=918288] ppid=918285 vsize=61812 memory=52772 CPUtime=1.48 cores=4,6
/proc/918288/stat : 918288 (CASHWMaxSAT-Dis) R 918285 918288 914189 0 -1 4194304 11428 0 0 0 146 2 0 0 20 0 1 0 177229156 63295488 13193 134679101440 4194304 15356333 140722286147232 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 46813184 140722286154722 140722286154838 140722286154838 140722286161854 0
/proc/918288/statm: 15453 13193 2810 2726 0 12201 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 61812 KiB
Current children cumulated memory: 52772 KiB
[startup+3.11289 s]
/proc/loadavg: 4.07 4.15 4.19 5/241 918303
/proc/meminfo: memFree=113791616/131655788 swapFree=131071996/131071996
[pid=918288] ppid=918285 vsize=87708 memory=76956 CPUtime=3.1 cores=4,6
/proc/918288/stat : 918288 (CASHWMaxSAT-Dis) R 918285 918288 914189 0 -1 4194304 18689 0 0 0 306 4 0 0 20 0 1 0 177229156 89812992 19239 134679101440 4194304 15356333 140722286147232 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 46813184 140722286154722 140722286154838 140722286154838 140722286161854 0
/proc/918288/statm: 21927 19239 2826 2726 0 18675 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 87708 KiB
Current children cumulated memory: 76956 KiB
[startup+6.30026 s]
/proc/loadavg: 4.07 4.15 4.19 4/240 918398
/proc/meminfo: memFree=121913060/131655788 swapFree=131071996/131071996
[pid=918288] ppid=918285 vsize=142216 memory=118804 CPUtime=6.27 cores=4,6
/proc/918288/stat : 918288 (CASHWMaxSAT-Dis) R 918285 918288 914189 0 -1 4194304 29223 0 0 0 622 5 0 0 20 0 1 0 177229156 145629184 29701 134679101440 4194304 15356333 140722286147232 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 46813184 140722286154722 140722286154838 140722286154838 140722286161854 0
/proc/918288/statm: 35554 29701 2826 2726 0 32302 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 142216 KiB
Current children cumulated memory: 118804 KiB
[startup+12.7003 s]
/proc/loadavg: 4.14 4.17 4.19 5/243 918430
/proc/meminfo: memFree=121250316/131655788 swapFree=131071996/131071996
[pid=918288] ppid=918285 vsize=142216 memory=118804 CPUtime=12.66 cores=4,6
/proc/918288/stat : 918288 (CASHWMaxSAT-Dis) R 918285 918288 914189 0 -1 4194304 29246 0 0 0 1261 5 0 0 20 0 1 0 177229156 145629184 29701 134679101440 4194304 15356333 140722286147232 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 46813184 140722286154722 140722286154838 140722286154838 140722286161854 0
/proc/918288/statm: 35554 29701 2826 2726 0 32302 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 142216 KiB
Current children cumulated memory: 118804 KiB
[startup+25.5003 s]
/proc/loadavg: 4.11 4.16 4.19 5/243 918432
/proc/meminfo: memFree=121248520/131655788 swapFree=131071996/131071996
[pid=918288] ppid=918285 vsize=142888 memory=120320 CPUtime=25.42 cores=4,6
/proc/918288/stat : 918288 (CASHWMaxSAT-Dis) R 918285 918288 914189 0 -1 4194304 29604 0 0 0 2537 5 0 0 20 0 1 0 177229156 146317312 30080 134679101440 4194304 15356333 140722286147232 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 46813184 140722286154722 140722286154838 140722286154838 140722286161854 0
/proc/918288/statm: 35722 30080 2826 2726 0 32470 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 142888 KiB
Current children cumulated memory: 120320 KiB
[startup+51.1129 s]
/proc/loadavg: 4.07 4.14 4.18 5/243 918436
/proc/meminfo: memFree=121302144/131655788 swapFree=131071996/131071996
[pid=918288] ppid=918285 vsize=169164 memory=146492 CPUtime=50.97 cores=4,6
/proc/918288/stat : 918288 (CASHWMaxSAT-Dis) R 918285 918288 914189 0 -1 4194304 37684 0 0 0 5091 6 0 0 20 0 1 0 177229156 173223936 36623 134679101440 4194304 15356333 140722286147232 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 46813184 140722286154722 140722286154838 140722286154838 140722286161854 0
/proc/918288/statm: 42291 36623 2826 2726 0 39039 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 169164 KiB
Current children cumulated memory: 146492 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.13 4.17 5/243 918445
/proc/meminfo: memFree=120851964/131655788 swapFree=131071996/131071996
[pid=918288] ppid=918285 vsize=219932 memory=193912 CPUtime=102.02 cores=4,6
/proc/918288/stat : 918288 (CASHWMaxSAT-Dis) R 918285 918288 914189 0 -1 4194304 53230 0 0 0 10193 9 0 0 20 0 1 0 177229156 225210368 48478 134679101440 4194304 15356333 140722286147232 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 46813184 140722286154722 140722286154838 140722286154838 140722286161854 0
/proc/918288/statm: 54983 48478 2826 2726 0 51731 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 219932 KiB
Current children cumulated memory: 193912 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.12 4.17 5/243 918456
/proc/meminfo: memFree=120841268/131655788 swapFree=131071996/131071996
[pid=918288] ppid=918285 vsize=268996 memory=223148 CPUtime=161.87 cores=4,6
/proc/918288/stat : 918288 (CASHWMaxSAT-Dis) R 918285 918288 914189 0 -1 4194304 62511 0 0 0 16175 12 0 0 20 0 1 0 177229156 275451904 55787 134679101440 4194304 15356333 140722286147232 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 46813184 140722286154722 140722286154838 140722286154838 140722286161854 0
/proc/918288/statm: 67249 55787 2826 2726 0 63997 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 268996 KiB
Current children cumulated memory: 223148 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 4.11 4.16 5/241 918467
/proc/meminfo: memFree=120927588/131655788 swapFree=131071996/131071996
[pid=918288] ppid=918285 vsize=280448 memory=226576 CPUtime=221.72 cores=4,6
/proc/918288/stat : 918288 (CASHWMaxSAT-Dis) R 918285 918288 914189 0 -1 4194304 91209 0 0 0 22154 18 0 0 20 0 1 0 177229156 287178752 56644 134679101440 4194304 15356333 140722286147232 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 46813184 140722286154722 140722286154838 140722286154838 140722286161854 0
/proc/918288/statm: 70112 56644 2826 2726 0 66860 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 280448 KiB
Current children cumulated memory: 226576 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.12 4.16 5/241 918477
/proc/meminfo: memFree=120877456/131655788 swapFree=131071996/131071996
[pid=918288] ppid=918285 vsize=299060 memory=239796 CPUtime=281.56 cores=4,6
/proc/918288/stat : 918288 (CASHWMaxSAT-Dis) R 918285 918288 914189 0 -1 4194304 100110 0 0 0 28136 20 0 0 20 0 1 0 177229156 306237440 59949 134679101440 4194304 15356333 140722286147232 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 46813184 140722286154722 140722286154838 140722286154838 140722286161854 0
/proc/918288/statm: 74765 59949 2826 2726 0 71513 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 299060 KiB
Current children cumulated memory: 239796 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.11 4.16 5/241 918487
/proc/meminfo: memFree=120687244/131655788 swapFree=131071996/131071996
[pid=918288] ppid=918285 vsize=315900 memory=244596 CPUtime=341.4 cores=4,6
/proc/918288/stat : 918288 (CASHWMaxSAT-Dis) R 918285 918288 914189 0 -1 4194304 101829 0 0 0 34120 20 0 0 20 0 1 0 177229156 323481600 61149 134679101440 4194304 15356333 140722286147232 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 46813184 140722286154722 140722286154838 140722286154838 140722286161854 0
/proc/918288/statm: 78975 61149 2826 2726 0 75723 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 315900 KiB
Current children cumulated memory: 244596 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.12 4.16 5/241 918497
/proc/meminfo: memFree=120645712/131655788 swapFree=131071996/131071996
[pid=918288] ppid=918285 vsize=339172 memory=263228 CPUtime=401.25 cores=4,6
/proc/918288/stat : 918288 (CASHWMaxSAT-Dis) R 918285 918288 914189 0 -1 4194304 134609 0 0 0 40099 26 0 0 20 0 1 0 177229156 347312128 65807 134679101440 4194304 15356333 140722286147232 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 46813184 140722286154722 140722286154838 140722286154838 140722286161854 0
/proc/918288/statm: 84793 65807 2826 2726 0 81541 0
Current children cumulated CPU time: 401.25 s
Current children cumulated vsize: 339172 KiB
Current children cumulated memory: 263228 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.11 4.15 5/241 918508
/proc/meminfo: memFree=120786944/131655788 swapFree=131071996/131071996
[pid=918288] ppid=918285 vsize=340692 memory=259476 CPUtime=461.1 cores=4,6
/proc/918288/stat : 918288 (CASHWMaxSAT-Dis) R 918285 918288 914189 0 -1 4194304 164024 0 0 0 46079 31 0 0 20 0 1 0 177229156 348868608 64869 134679101440 4194304 15356333 140722286147232 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 46813184 140722286154722 140722286154838 140722286154838 140722286161854 0
/proc/918288/statm: 85173 64869 2826 2726 0 81921 0
################
# More data... #
################
Current children cumulated memory: 492880 KiB
[startup+2862.3 s]
/proc/loadavg: 4.12 4.12 4.14 5/242 920153
/proc/meminfo: memFree=118779180/131655788 swapFree=131071996/131071996
[pid=918288] ppid=918285 vsize=499940 memory=492880 CPUtime=2854.07 cores=4,6
/proc/918288/stat : 918288 (CASHWMaxSAT-Dis) R 918285 918288 914189 0 -1 4194304 235079 0 0 0 285362 45 0 0 20 0 1 0 177229156 511938560 123220 134679101440 4194304 15356333 140722286147232 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 46813184 140722286154722 140722286154838 140722286154838 140722286161854 0
/proc/918288/statm: 124985 123220 2826 2726 0 121733 0
Current children cumulated CPU time: 2854.07 s
Current children cumulated vsize: 499940 KiB
Current children cumulated memory: 492880 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.11 4.13 5/247 920185
/proc/meminfo: memFree=118876076/131655788 swapFree=131071996/131071996
[pid=918288] ppid=918285 vsize=499940 memory=492880 CPUtime=2913.91 cores=4,6
/proc/918288/stat : 918288 (CASHWMaxSAT-Dis) R 918285 918288 914189 0 -1 4194304 235127 0 0 0 291346 45 0 0 20 0 1 0 177229156 511938560 123220 134679101440 4194304 15356333 140722286147232 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 46813184 140722286154722 140722286154838 140722286154838 140722286161854 0
/proc/918288/statm: 124985 123220 2826 2726 0 121733 0
Current children cumulated CPU time: 2913.91 s
Current children cumulated vsize: 499940 KiB
Current children cumulated memory: 492880 KiB
[startup+2982.3 s]
/proc/loadavg: 4.11 4.11 4.13 5/246 920195
/proc/meminfo: memFree=118786600/131655788 swapFree=131071996/131071996
[pid=918288] ppid=918285 vsize=499940 memory=492880 CPUtime=2973.76 cores=4,6
/proc/918288/stat : 918288 (CASHWMaxSAT-Dis) R 918285 918288 914189 0 -1 4194304 235176 0 0 0 297331 45 0 0 20 0 1 0 177229156 511938560 123220 134679101440 4194304 15356333 140722286147232 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 46813184 140722286154722 140722286154838 140722286154838 140722286161854 0
/proc/918288/statm: 124985 123220 2826 2726 0 121733 0
Current children cumulated CPU time: 2973.76 s
Current children cumulated vsize: 499940 KiB
Current children cumulated memory: 492880 KiB
[startup+3042.3 s]
/proc/loadavg: 4.09 4.10 4.12 5/247 920207
/proc/meminfo: memFree=118852040/131655788 swapFree=131071996/131071996
[pid=918288] ppid=918285 vsize=499940 memory=492880 CPUtime=3033.61 cores=4,6
/proc/918288/stat : 918288 (CASHWMaxSAT-Dis) R 918285 918288 914189 0 -1 4194304 235227 0 0 0 303316 45 0 0 20 0 1 0 177229156 511938560 123220 134679101440 4194304 15356333 140722286147232 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 46813184 140722286154722 140722286154838 140722286154838 140722286161854 0
/proc/918288/statm: 124985 123220 2826 2726 0 121733 0
Current children cumulated CPU time: 3033.61 s
Current children cumulated vsize: 499940 KiB
Current children cumulated memory: 492880 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.10 4.12 5/247 920217
/proc/meminfo: memFree=118736664/131655788 swapFree=131071996/131071996
[pid=918288] ppid=918285 vsize=499940 memory=492880 CPUtime=3093.45 cores=4,6
/proc/918288/stat : 918288 (CASHWMaxSAT-Dis) R 918285 918288 914189 0 -1 4194304 235278 0 0 0 309300 45 0 0 20 0 1 0 177229156 511938560 123220 134679101440 4194304 15356333 140722286147232 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 46813184 140722286154722 140722286154838 140722286154838 140722286161854 0
/proc/918288/statm: 124985 123220 2826 2726 0 121733 0
Current children cumulated CPU time: 3093.45 s
Current children cumulated vsize: 499940 KiB
Current children cumulated memory: 492880 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.11 4.12 5/247 920228
/proc/meminfo: memFree=118580520/131655788 swapFree=131071996/131071996
[pid=918288] ppid=918285 vsize=499940 memory=492880 CPUtime=3153.3 cores=4,6
/proc/918288/stat : 918288 (CASHWMaxSAT-Dis) R 918285 918288 914189 0 -1 4194304 235326 0 0 0 315285 45 0 0 20 0 1 0 177229156 511938560 123220 134679101440 4194304 15356333 140722286147232 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 46813184 140722286154722 140722286154838 140722286154838 140722286161854 0
/proc/918288/statm: 124985 123220 2826 2726 0 121733 0
Current children cumulated CPU time: 3153.3 s
Current children cumulated vsize: 499940 KiB
Current children cumulated memory: 492880 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.10 4.11 5/242 920239
/proc/meminfo: memFree=118688208/131655788 swapFree=131071996/131071996
[pid=918288] ppid=918285 vsize=499940 memory=492880 CPUtime=3213.15 cores=4,6
/proc/918288/stat : 918288 (CASHWMaxSAT-Dis) R 918285 918288 914189 0 -1 4194304 235375 0 0 0 321270 45 0 0 20 0 1 0 177229156 511938560 123220 134679101440 4194304 15356333 140722286147232 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 46813184 140722286154722 140722286154838 140722286154838 140722286161854 0
/proc/918288/statm: 124985 123220 2826 2726 0 121733 0
Current children cumulated CPU time: 3213.15 s
Current children cumulated vsize: 499940 KiB
Current children cumulated memory: 492880 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.11 4.11 5/244 920263
/proc/meminfo: memFree=118738192/131655788 swapFree=131071996/131071996
[pid=918288] ppid=918285 vsize=499940 memory=492880 CPUtime=3272.99 cores=4,6
/proc/918288/stat : 918288 (CASHWMaxSAT-Dis) R 918285 918288 914189 0 -1 4194304 235439 0 0 0 327254 45 0 0 20 0 1 0 177229156 511938560 123220 134679101440 4194304 15356333 140722286147232 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 46813184 140722286154722 140722286154838 140722286154838 140722286161854 0
/proc/918288/statm: 124985 123220 2826 2726 0 121733 0
Current children cumulated CPU time: 3272.99 s
Current children cumulated vsize: 499940 KiB
Current children cumulated memory: 492880 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.10 4.10 5/243 920273
/proc/meminfo: memFree=118627968/131655788 swapFree=131071996/131071996
[pid=918288] ppid=918285 vsize=499940 memory=492880 CPUtime=3332.84 cores=4,6
/proc/918288/stat : 918288 (CASHWMaxSAT-Dis) R 918285 918288 914189 0 -1 4194304 235493 0 0 0 333239 45 0 0 20 0 1 0 177229156 511938560 123220 134679101440 4194304 15356333 140722286147232 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 46813184 140722286154722 140722286154838 140722286154838 140722286161854 0
/proc/918288/statm: 124985 123220 2826 2726 0 121733 0
Current children cumulated CPU time: 3332.84 s
Current children cumulated vsize: 499940 KiB
Current children cumulated memory: 492880 KiB
[startup+3402.3 s]
/proc/loadavg: 4.04 4.08 4.09 5/243 920507
/proc/meminfo: memFree=118582188/131655788 swapFree=131071996/131071996
[pid=918288] ppid=918285 vsize=499940 memory=492880 CPUtime=3392.68 cores=4,6
/proc/918288/stat : 918288 (CASHWMaxSAT-Dis) R 918285 918288 914189 0 -1 4194304 235568 0 0 0 339223 45 0 0 20 0 1 0 177229156 511938560 123220 134679101440 4194304 15356333 140722286147232 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 46813184 140722286154722 140722286154838 140722286154838 140722286161854 0
/proc/918288/statm: 124985 123220 2826 2726 0 121733 0
Current children cumulated CPU time: 3392.68 s
Current children cumulated vsize: 499940 KiB
Current children cumulated memory: 492880 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/246 920810
/proc/meminfo: memFree=118651960/131655788 swapFree=131071996/131071996
[pid=918288] ppid=918285 vsize=499940 memory=492880 CPUtime=3452.52 cores=4,6
/proc/918288/stat : 918288 (CASHWMaxSAT-Dis) R 918285 918288 914189 0 -1 4194304 235629 0 0 0 345207 45 0 0 20 0 1 0 177229156 511938560 123220 134679101440 4194304 15356333 140722286147232 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 46813184 140722286154722 140722286154838 140722286154838 140722286161854 0
/proc/918288/statm: 124985 123220 2826 2726 0 121733 0
Current children cumulated CPU time: 3452.52 s
Current children cumulated vsize: 499940 KiB
Current children cumulated memory: 492880 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/246 920820
/proc/meminfo: memFree=118651764/131655788 swapFree=131071996/131071996
[pid=918288] ppid=918285 vsize=499940 memory=492880 CPUtime=3512.37 cores=4,6
/proc/918288/stat : 918288 (CASHWMaxSAT-Dis) R 918285 918288 914189 0 -1 4194304 235692 0 0 0 351192 45 0 0 20 0 1 0 177229156 511938560 123220 134679101440 4194304 15356333 140722286147232 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 46813184 140722286154722 140722286154838 140722286154838 140722286161854 0
/proc/918288/statm: 124985 123220 2826 2726 0 121733 0
Current children cumulated CPU time: 3512.37 s
Current children cumulated vsize: 499940 KiB
Current children cumulated memory: 492880 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/245 920830
/proc/meminfo: memFree=118682832/131655788 swapFree=131071996/131071996
[pid=918288] ppid=918285 vsize=499940 memory=492880 CPUtime=3572.22 cores=4,6
/proc/918288/stat : 918288 (CASHWMaxSAT-Dis) R 918285 918288 914189 0 -1 4194304 235753 0 0 0 357177 45 0 0 20 0 1 0 177229156 511938560 123220 134679101440 4194304 15356333 140722286147232 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 46813184 140722286154722 140722286154838 140722286154838 140722286161854 0
/proc/918288/statm: 124985 123220 2826 2726 0 121733 0
Current children cumulated CPU time: 3572.22 s
Current children cumulated vsize: 499940 KiB
Current children cumulated memory: 492880 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.2 s]
/proc/loadavg: 4.29 4.14 4.10 5/245 920836
/proc/meminfo: memFree=118720952/131655788 swapFree=131071996/131071996
[pid=918288] ppid=918285 vsize=499940 memory=492880 CPUtime=3600.05 cores=4,6
/proc/918288/stat : 918288 (CASHWMaxSAT-Dis) R 918285 918288 914189 0 -1 4194304 235785 0 0 0 359960 45 0 0 20 0 1 0 177229156 511938560 123220 134679101440 4194304 15356333 140722286147232 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 46813184 140722286154722 140722286154838 140722286154838 140722286161854 0
/proc/918288/statm: 124985 123220 2826 2726 0 121733 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 499940 KiB
Current children cumulated memory: 492880 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.2 s]
# the end of solver process 918288 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.6 s, system=0.461404 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3610.2
CPU time (s): 3600.06
CPU user time (s): 3599.6
CPU system time (s): 0.461404
CPU usage (%): 99.7191
Max. virtual memory (cumulated for all children) (KiB): 588412
Max. memory (cumulated for all children) (KiB): 492880
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.6
system time used= 0.461404
maximum resident set size= 492880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 235785
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 50
involuntary context switches= 2238
# summary of solver processes directly reported to runsolver:
# pid: 918288
# total CPU time (s): 3600.06
# total CPU user time (s): 3599.6
# total CPU system time (s): 0.461404
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.4064 second user time and 36.365 second system time
The end
Begin job on nodeC004 at 2024-07-17 23:12:25
IDJOB=4438952
IDBENCH=158455
IDSOLVER=3074
FILE ID=nodeC004/4438952-1721250733
RUNJOBID= nodeC004-1721243521-914202
SLURM_JOB_ID= 7509012
Free space on /tmp= 723656 MiB
SOLVER NAME= CASHWMaxSAT-DisjCad-SP 2024-07-10
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/dt-problems/normalized-lo_14x14_000.opb.metafix.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-4438952-1721250733/watcher-4438952-1721250733 -o /tmp/evaluation-result-4438952-1721250733/solver-4438952-1721250733 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721243521-914202 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4438952-1721250733.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 09140eba823e533d50b11d8bcfc34a90
RANDOM SEED=68014566
nodeC004.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 : 3492.521
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 : 6984.29
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 : 3501.115
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.476
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 : 6984.29
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.457
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.316
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 : 6984.29
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 : 3494.784
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.312
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 : 6984.29
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.475
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: 111426856 kB
MemAvailable: 116093684 kB
Buffers: 478404 kB
Cached: 4974112 kB
SwapCached: 0 kB
Active: 1035996 kB
Inactive: 18507792 kB
Active(anon): 3344 kB
Inactive(anon): 14125620 kB
Active(file): 1032652 kB
Inactive(file): 4382172 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 14532 kB
Writeback: 92 kB
AnonPages: 14085684 kB
Mapped: 121380 kB
Shmem: 37700 kB
KReclaimable: 184408 kB
Slab: 294360 kB
SReclaimable: 184408 kB
SUnreclaim: 109952 kB
KernelStack: 3872 kB
PageTables: 36972 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 16008604 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 56128 kB
HardwareCorrupted: 0 kB
AnonHugePages: 7669760 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: 213832 kB
DirectMap2M: 23808000 kB
DirectMap1G: 112197632 kB
Free space on /tmp at the end= 723716 MiB
End job on nodeC004 at 2024-07-18 00:12:36