Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| CASHWMaxSATDisjCad-S 2025-06-01 | SAT (TO) | 3 | 3600.05 | 3611.3 |
| Name | PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=11-t=8.opb |
| MD5SUM | b554296dd2e7a57b28932c2f35f0c1cd |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 3 |
| Best CPU time to get the best result obtained on this benchmark | 4.93097 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 275 |
| Total number of constraints | 6523 |
| Number of constraints which are clauses | 6512 |
| Number of constraints which are cardinality constraints (but not clauses) | 11 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 12 |
| Number of terms in the objective function | 11 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 11 |
| Number of bits of the sum of numbers in the objective function | 4 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 13 |
| Number of bits of the biggest sum of numbers | 4 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.09 c Using cadical-2.0.0-2df7b7f SAT solver by Armin Biere (2022) 0.00/0.09 o 11 0.00/0.09 c Using SCIP solver, version 8.1.0, https://www.scipopt.org 0.10/0.11 c Starting SCIP solver (with time-limit = 1800s) ... 1794.16/1800.11 c SCIP timeout with lower and upper bounds: [0, 3] 1794.16/1800.11 o 3 3600.04/3611.30 3600.04/3611.30 v x56 -x57 -x58 x59 -x60 -x61 -x62 -x63 x64 -x65 -x66 -x67 -x78 -x89 -x100 -x111 -x122 -x133 -x144 -x155 -x166 -x177 x68 -x79 -x90 -x101 -x112 -x123 -x134 -x145 -x156 -x167 -x178 -x69 -x80 -x91 -x102 -x113 -x124 -x135 -x146 -x157 -x168 x179 -x70 -x81 -x92 -x103 -x114 -x125 -x136 -x147 -x158 -x169 -x180 -x71 -x82 -x93 -x104 -x115 -x126 -x137 x148 -x159 -x170 -x181 -x72 x83 -x94 -x105 -x116 -x127 -x138 -x149 -x160 -x171 -x182 -x73 -x84 -x95 -x106 -x117 -x128 -x139 -x150 -x161 x172 -x183 -x74 -x85 -x96 -x107 -x118 x129 -x140 -x151 -x162 -x173 -x184 -x75 -x86 -x97 -x108 -x119 -x130 -x141 -x152 -x163 -x174 -x185 -x76 -x87 -x98 -x109 -x120 -x131 -x142 -x153 x164 -x175 -x186 -x77 -x88 -x99 x110 -x121 -x132 -x143 -x154 -x165 -x176 -x187 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 -x188 -x189 -x190 -x191 x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 x203 -x204 -x205 -x206 x207 -x208 -x209 -x210 -x211 -x212 -x213 x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 x234 -x235 x236 -x237 x238 x239 -x240 x241 x242 x243 x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 x265 -x266 -x267 -x268 x269 -x270 -x271 -x272 -x273 -x274 -x275 3600.04/3611.30 s SATISFIABLE
OK 3
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: 63837 MiB (62576 MiB free)
memory of node 1: 64465 MiB (62609 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4517603-1751529700/watcher-4517603-1751529700 -o /tmp/evaluation-result-4517603-1751529700/solver-4517603-1751529700 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751523121-76678 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4517603-1751529700.opb -total-t=3600 -no-par -v0
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=77730, runsolver pid=77727
[startup+0.100069 s]*
/proc/loadavg: 4.10 4.10 4.09 5/250 77731
/proc/meminfo: memFree=128190788/131382120 swapFree=33010416/33010684
[pid=77730] ppid=77727 vsize=26764 memory=17920 CPUtime=0.1 cores=4,6
/proc/77730/stat : 77730 (CASHWMaxSAT-Dis) R 77727 77730 76667 0 -1 4194304 2439 0 0 0 9 1 0 0 20 0 1 0 68648728 27406336 4480 18446744073709551615 4198400 14817773 140721825881952 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26202112 140721825884522 140721825884637 140721825884637 140721825890239 0
/proc/77730/statm: 6691 4480 2272 2593 0 3584 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 26764 KiB
Current children cumulated memory: 17920 KiB
[startup+0.212947 s]*
/proc/loadavg: 4.10 4.10 4.09 5/250 77731
/proc/meminfo: memFree=128174912/131382120 swapFree=33010416/33010684
[pid=77730] ppid=77727 vsize=40728 memory=31488 CPUtime=0.21 cores=4,6
/proc/77730/stat : 77730 (CASHWMaxSAT-Dis) R 77727 77730 76667 0 -1 4194304 5605 0 0 0 20 1 0 0 20 0 1 0 68648728 41705472 7872 18446744073709551615 4198400 14817773 140721825881952 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26202112 140721825884522 140721825884637 140721825884637 140721825890239 0
/proc/77730/statm: 10182 7872 2528 2593 0 7075 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 40728 KiB
Current children cumulated memory: 31488 KiB
[startup+0.31286 s]*
/proc/loadavg: 4.10 4.10 4.09 5/250 77731
/proc/meminfo: memFree=128161808/131382120 swapFree=33010416/33010684
[pid=77730] ppid=77727 vsize=66744 memory=51864 CPUtime=0.32 cores=4,6
/proc/77730/stat : 77730 (CASHWMaxSAT-Dis) R 77727 77730 76667 0 -1 4194304 10194 0 0 0 29 3 0 0 20 0 1 0 68648728 68345856 12966 18446744073709551615 4198400 14817773 140721825881952 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26202112 140721825884522 140721825884637 140721825884637 140721825890239 0
/proc/77730/statm: 16686 12966 2528 2593 0 13579 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 66744 KiB
Current children cumulated memory: 51864 KiB
[startup+0.700275 s]
/proc/loadavg: 4.10 4.10 4.09 5/250 77731
/proc/meminfo: memFree=128145984/131382120 swapFree=33010416/33010684
[pid=77730] ppid=77727 vsize=101840 memory=84980 CPUtime=0.69 cores=4,6
/proc/77730/stat : 77730 (CASHWMaxSAT-Dis) R 77727 77730 76667 0 -1 4194304 18403 0 0 0 64 5 0 0 20 0 1 0 68648728 104284160 21245 18446744073709551615 4198400 14817773 140721825881952 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26202112 140721825884522 140721825884637 140721825884637 140721825890239 0
/proc/77730/statm: 25460 21245 2656 2593 0 22353 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 101840 KiB
Current children cumulated memory: 84980 KiB
[startup+1.50027 s]
/proc/loadavg: 4.10 4.10 4.09 5/250 77731
/proc/meminfo: memFree=128122044/131382120 swapFree=33010416/33010684
[pid=77730] ppid=77727 vsize=96312 memory=79732 CPUtime=1.48 cores=4,6
/proc/77730/stat : 77730 (CASHWMaxSAT-Dis) R 77727 77730 76667 0 -1 4194304 18463 0 0 0 143 5 0 0 20 0 1 0 68648728 98623488 19933 18446744073709551615 4198400 14817773 140721825881952 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26202112 140721825884522 140721825884637 140721825884637 140721825890239 0
/proc/77730/statm: 24078 19933 2656 2593 0 20971 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 96312 KiB
Current children cumulated memory: 79732 KiB
[startup+3.11251 s]
/proc/loadavg: 4.10 4.10 4.09 5/250 77731
/proc/meminfo: memFree=128118768/131382120 swapFree=33010416/33010684
[pid=77730] ppid=77727 vsize=113996 memory=96012 CPUtime=3.09 cores=4,6
/proc/77730/stat : 77730 (CASHWMaxSAT-Dis) R 77727 77730 76667 0 -1 4194304 22615 0 0 0 303 6 0 0 20 0 1 0 68648728 116731904 24003 18446744073709551615 4198400 14817773 140721825881952 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26202112 140721825884522 140721825884637 140721825884637 140721825890239 0
/proc/77730/statm: 28499 24003 2656 2593 0 25392 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 113996 KiB
Current children cumulated memory: 96012 KiB
[startup+6.30026 s]
/proc/loadavg: 4.09 4.10 4.09 5/250 77732
/proc/meminfo: memFree=128099128/131382120 swapFree=33010416/33010684
[pid=77730] ppid=77727 vsize=138936 memory=119948 CPUtime=6.27 cores=4,6
/proc/77730/stat : 77730 (CASHWMaxSAT-Dis) R 77727 77730 76667 0 -1 4194304 28614 0 0 0 620 7 0 0 20 0 1 0 68648728 142270464 29987 18446744073709551615 4198400 14817773 140721825881952 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26202112 140721825884522 140721825884637 140721825884637 140721825890239 0
/proc/77730/statm: 34734 29987 2656 2593 0 31627 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 138936 KiB
Current children cumulated memory: 119948 KiB
[startup+12.7003 s]
/proc/loadavg: 4.08 4.09 4.09 5/250 77732
/proc/meminfo: memFree=128083000/131382120 swapFree=33010416/33010684
[pid=77730] ppid=77727 vsize=151492 memory=133512 CPUtime=12.66 cores=4,6
/proc/77730/stat : 77730 (CASHWMaxSAT-Dis) R 77727 77730 76667 0 -1 4194304 35377 0 0 0 1258 8 0 0 20 0 1 0 68648728 155127808 33378 18446744073709551615 4198400 14817773 140721825881952 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26202112 140721825884522 140721825884637 140721825884637 140721825890239 0
/proc/77730/statm: 37873 33378 2656 2593 0 34766 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 151492 KiB
Current children cumulated memory: 133512 KiB
[startup+25.5003 s]
/proc/loadavg: 4.07 4.09 4.09 5/250 77732
/proc/meminfo: memFree=128053960/131382120 swapFree=33010416/33010684
[pid=77730] ppid=77727 vsize=183532 memory=164768 CPUtime=25.41 cores=4,6
/proc/77730/stat : 77730 (CASHWMaxSAT-Dis) R 77727 77730 76667 0 -1 4194304 44484 0 0 0 2532 9 0 0 20 0 1 0 68648728 187936768 41192 18446744073709551615 4198400 14817773 140721825881952 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26202112 140721825884522 140721825884637 140721825884637 140721825890239 0
/proc/77730/statm: 45883 41192 2656 2593 0 42776 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 183532 KiB
Current children cumulated memory: 164768 KiB
[startup+51.1127 s]
/proc/loadavg: 4.04 4.08 4.09 5/250 77732
/proc/meminfo: memFree=128034556/131382120 swapFree=33010416/33010684
[pid=77730] ppid=77727 vsize=199120 memory=180936 CPUtime=50.95 cores=4,6
/proc/77730/stat : 77730 (CASHWMaxSAT-Dis) R 77727 77730 76667 0 -1 4194304 59352 0 0 0 5082 13 0 0 20 0 1 0 68648728 203898880 45234 18446744073709551615 4198400 14817773 140721825881952 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26202112 140721825884522 140721825884637 140721825884637 140721825890239 0
/proc/77730/statm: 49780 45234 2656 2593 0 46673 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 199120 KiB
Current children cumulated memory: 180936 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/251 77741
/proc/meminfo: memFree=127983640/131382120 swapFree=33010416/33010684
[pid=77730] ppid=77727 vsize=260652 memory=230772 CPUtime=101.98 cores=4,6
/proc/77730/stat : 77730 (CASHWMaxSAT-Dis) R 77727 77730 76667 0 -1 4194304 76825 0 0 0 10182 16 0 0 20 0 1 0 68648728 266907648 57693 18446744073709551615 4198400 14817773 140721825881952 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26202112 140721825884522 140721825884637 140721825884637 140721825890239 0
/proc/77730/statm: 65163 57693 2656 2593 0 62056 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 260652 KiB
Current children cumulated memory: 230772 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/251 77743
/proc/meminfo: memFree=127935888/131382120 swapFree=33010416/33010684
[pid=77730] ppid=77727 vsize=296740 memory=271284 CPUtime=161.8 cores=4,6
/proc/77730/stat : 77730 (CASHWMaxSAT-Dis) R 77727 77730 76667 0 -1 4194304 91740 0 0 0 16161 19 0 0 20 0 1 0 68648728 303861760 67821 18446744073709551615 4198400 14817773 140721825881952 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26202112 140721825884522 140721825884637 140721825884637 140721825890239 0
/proc/77730/statm: 74185 67821 2656 2593 0 71078 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 296740 KiB
Current children cumulated memory: 271284 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/251 77745
/proc/meminfo: memFree=127888464/131382120 swapFree=33010416/33010684
[pid=77730] ppid=77727 vsize=312156 memory=290884 CPUtime=221.58 cores=4,6
/proc/77730/stat : 77730 (CASHWMaxSAT-Dis) R 77727 77730 76667 0 -1 4194304 104810 0 0 0 22136 22 0 0 20 0 1 0 68648728 319647744 72721 18446744073709551615 4198400 14817773 140721825881952 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26202112 140721825884522 140721825884637 140721825884637 140721825890239 0
/proc/77730/statm: 78039 72721 2656 2593 0 74932 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 312156 KiB
Current children cumulated memory: 290884 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/250 77747
/proc/meminfo: memFree=127868344/131382120 swapFree=33010416/33010684
[pid=77730] ppid=77727 vsize=333488 memory=310120 CPUtime=281.37 cores=4,6
/proc/77730/stat : 77730 (CASHWMaxSAT-Dis) R 77727 77730 76667 0 -1 4194304 110078 0 0 0 28114 23 0 0 20 0 1 0 68648728 341491712 77530 18446744073709551615 4198400 14817773 140721825881952 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26202112 140721825884522 140721825884637 140721825884637 140721825890239 0
/proc/77730/statm: 83372 77530 2912 2593 0 80265 0
Current children cumulated CPU time: 281.37 s
Current children cumulated vsize: 333488 KiB
Current children cumulated memory: 310120 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/250 77749
/proc/meminfo: memFree=127786268/131382120 swapFree=33010416/33010684
[pid=77730] ppid=77727 vsize=359428 memory=335028 CPUtime=341.18 cores=4,6
/proc/77730/stat : 77730 (CASHWMaxSAT-Dis) R 77727 77730 76667 0 -1 4194304 119772 0 0 0 34093 25 0 0 20 0 1 0 68648728 368054272 83757 18446744073709551615 4198400 14817773 140721825881952 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26202112 140721825884522 140721825884637 140721825884637 140721825890239 0
/proc/77730/statm: 89857 83757 2912 2593 0 86750 0
Current children cumulated CPU time: 341.18 s
Current children cumulated vsize: 359428 KiB
Current children cumulated memory: 335028 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/249 77751
/proc/meminfo: memFree=127786116/131382120 swapFree=33010416/33010684
[pid=77730] ppid=77727 vsize=400220 memory=362020 CPUtime=400.98 cores=4,6
/proc/77730/stat : 77730 (CASHWMaxSAT-Dis) R 77727 77730 76667 0 -1 4194304 126762 0 0 0 40072 26 0 0 20 0 1 0 68648728 409825280 90505 18446744073709551615 4198400 14817773 140721825881952 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26202112 140721825884522 140721825884637 140721825884637 140721825890239 0
/proc/77730/statm: 100055 90505 2912 2593 0 96948 0
Current children cumulated CPU time: 400.98 s
Current children cumulated vsize: 400220 KiB
Current children cumulated memory: 362020 KiB
[startup+462.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/249 77753
/proc/meminfo: memFree=127760864/131382120 swapFree=33010416/33010684
[pid=77730] ppid=77727 vsize=407024 memory=383832 CPUtime=460.77 cores=4,6
/proc/77730/stat : 77730 (CASHWMaxSAT-Dis) R 77727 77730 76667 0 -1 4194304 130504 0 0 0 46050 27 0 0 20 0 1 0 68648728 416792576 95958 18446744073709551615 4198400 14817773 140721825881952 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26202112 140721825884522 140721825884637 140721825884637 140721825890239 0
/proc/77730/statm: 101756 95958 2912 2593 0 98649 0
Current children cumulated CPU time: 460.77 s
################
# More data... #
################
Current children cumulated memory: 309820 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.13 4.12 5/251 78043
/proc/meminfo: memFree=126731016/131382120 swapFree=33010416/33010684
[pid=77730] ppid=77727 vsize=387532 memory=381444 CPUtime=2913.21 cores=4,6
/proc/77730/stat : 77730 (CASHWMaxSAT-Dis) R 77727 77730 76667 0 -1 4194304 215951 0 0 0 291254 67 0 0 20 0 1 0 68648728 396832768 95361 18446744073709551615 4198400 14817773 140721825881952 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26202112 140721825884522 140721825884637 140721825884637 140721825890239 0
/proc/77730/statm: 96883 95361 2944 2593 0 93776 0
Current children cumulated CPU time: 2913.21 s
Current children cumulated vsize: 387532 KiB
Current children cumulated memory: 381444 KiB
[startup+2982.3 s]
/proc/loadavg: 4.08 4.12 4.12 5/251 78046
/proc/meminfo: memFree=126629528/131382120 swapFree=33010416/33010684
[pid=77730] ppid=77727 vsize=366780 memory=360708 CPUtime=2973.05 cores=4,6
/proc/77730/stat : 77730 (CASHWMaxSAT-Dis) R 77727 77730 76667 0 -1 4194304 220593 0 0 0 297234 71 0 0 20 0 1 0 68648728 375582720 90177 18446744073709551615 4198400 14817773 140721825881952 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26202112 140721825884522 140721825884637 140721825884637 140721825890239 0
/proc/77730/statm: 91695 90177 2944 2593 0 88588 0
Current children cumulated CPU time: 2973.05 s
Current children cumulated vsize: 366780 KiB
Current children cumulated memory: 360708 KiB
[startup+3042.3 s]
/proc/loadavg: 4.13 4.12 4.12 5/252 78048
/proc/meminfo: memFree=126464676/131382120 swapFree=33010416/33010684
[pid=77730] ppid=77727 vsize=369864 memory=363780 CPUtime=3032.91 cores=4,6
/proc/77730/stat : 77730 (CASHWMaxSAT-Dis) R 77727 77730 76667 0 -1 4194304 221940 0 0 0 303218 73 0 0 20 0 1 0 68648728 378740736 90945 18446744073709551615 4198400 14817773 140721825881952 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26202112 140721825884522 140721825884637 140721825884637 140721825890239 0
/proc/77730/statm: 92466 90945 2944 2593 0 89359 0
Current children cumulated CPU time: 3032.91 s
Current children cumulated vsize: 369864 KiB
Current children cumulated memory: 363780 KiB
[startup+3102.3 s]
/proc/loadavg: 4.04 4.10 4.11 5/250 78049
/proc/meminfo: memFree=126273600/131382120 swapFree=33010416/33010684
[pid=77730] ppid=77727 vsize=397476 memory=391300 CPUtime=3092.73 cores=4,6
/proc/77730/stat : 77730 (CASHWMaxSAT-Dis) R 77727 77730 76667 0 -1 4194304 223202 0 0 0 309199 74 0 0 20 0 1 0 68648728 407015424 97825 18446744073709551615 4198400 14817773 140721825881952 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26202112 140721825884522 140721825884637 140721825884637 140721825890239 0
/proc/77730/statm: 99369 97825 2944 2593 0 96262 0
Current children cumulated CPU time: 3092.73 s
Current children cumulated vsize: 397476 KiB
Current children cumulated memory: 391300 KiB
[startup+3162.3 s]
/proc/loadavg: 4.73 4.28 4.17 5/249 78057
/proc/meminfo: memFree=126127280/131382120 swapFree=33010416/33010684
[pid=77730] ppid=77727 vsize=371544 memory=365444 CPUtime=3152.54 cores=4,6
/proc/77730/stat : 77730 (CASHWMaxSAT-Dis) R 77727 77730 76667 0 -1 4194304 224559 0 0 0 315179 75 0 0 20 0 1 0 68648728 380461056 91361 18446744073709551615 4198400 14817773 140721825881952 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26202112 140721825884522 140721825884637 140721825884637 140721825890239 0
/proc/77730/statm: 92886 91361 2944 2593 0 89779 0
Current children cumulated CPU time: 3152.54 s
Current children cumulated vsize: 371544 KiB
Current children cumulated memory: 365444 KiB
[startup+3222.3 s]
/proc/loadavg: 4.36 4.26 4.17 5/249 78104
/proc/meminfo: memFree=128148104/131382120 swapFree=33010416/33010684
[pid=77730] ppid=77727 vsize=371544 memory=365492 CPUtime=3212.34 cores=4,6
/proc/77730/stat : 77730 (CASHWMaxSAT-Dis) R 77727 77730 76667 0 -1 4194304 226199 0 0 0 321157 77 0 0 20 0 1 0 68648728 380461056 91373 18446744073709551615 4198400 14817773 140721825881952 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26202112 140721825884522 140721825884637 140721825884637 140721825890239 0
/proc/77730/statm: 92886 91373 2944 2593 0 89779 0
Current children cumulated CPU time: 3212.34 s
Current children cumulated vsize: 371544 KiB
Current children cumulated memory: 365492 KiB
[startup+3282.3 s]
/proc/loadavg: 4.17 4.22 4.16 5/249 78106
/proc/meminfo: memFree=127981468/131382120 swapFree=33010416/33010684
[pid=77730] ppid=77727 vsize=404976 memory=398852 CPUtime=3272.14 cores=4,6
/proc/77730/stat : 77730 (CASHWMaxSAT-Dis) R 77727 77730 76667 0 -1 4194304 227929 0 0 0 327136 78 0 0 20 0 1 0 68648728 414695424 99713 18446744073709551615 4198400 14817773 140721825881952 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26202112 140721825884522 140721825884637 140721825884637 140721825890239 0
/proc/77730/statm: 101244 99713 2944 2593 0 98137 0
Current children cumulated CPU time: 3272.14 s
Current children cumulated vsize: 404976 KiB
Current children cumulated memory: 398852 KiB
[startup+3342.3 s]
/proc/loadavg: 4.73 4.37 4.22 5/250 78109
/proc/meminfo: memFree=127847940/131382120 swapFree=33010416/33010684
[pid=77730] ppid=77727 vsize=346540 memory=340616 CPUtime=3331.95 cores=4,6
/proc/77730/stat : 77730 (CASHWMaxSAT-Dis) R 77727 77730 76667 0 -1 4194304 228909 0 0 0 333115 80 0 0 20 0 1 0 68648728 354856960 85154 18446744073709551615 4198400 14817773 140721825881952 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26202112 140721825884522 140721825884637 140721825884637 140721825890239 0
/proc/77730/statm: 86635 85154 2944 2593 0 83528 0
Current children cumulated CPU time: 3331.95 s
Current children cumulated vsize: 346540 KiB
Current children cumulated memory: 340616 KiB
[startup+3402.3 s]
/proc/loadavg: 4.43 4.36 4.22 5/250 78111
/proc/meminfo: memFree=127752020/131382120 swapFree=33010416/33010684
[pid=77730] ppid=77727 vsize=349320 memory=343396 CPUtime=3391.75 cores=4,6
/proc/77730/stat : 77730 (CASHWMaxSAT-Dis) R 77727 77730 76667 0 -1 4194304 231727 0 0 0 339092 83 0 0 20 0 1 0 68648728 357703680 85849 18446744073709551615 4198400 14817773 140721825881952 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26202112 140721825884522 140721825884637 140721825884637 140721825890239 0
/proc/77730/statm: 87330 85849 2944 2593 0 84223 0
Current children cumulated CPU time: 3391.75 s
Current children cumulated vsize: 349320 KiB
Current children cumulated memory: 343396 KiB
[startup+3462.3 s]
/proc/loadavg: 4.28 4.32 4.22 5/250 78113
/proc/meminfo: memFree=127646572/131382120 swapFree=33010416/33010684
[pid=77730] ppid=77727 vsize=347780 memory=341728 CPUtime=3451.54 cores=4,6
/proc/77730/stat : 77730 (CASHWMaxSAT-Dis) R 77727 77730 76667 0 -1 4194304 235421 0 0 0 345067 87 0 0 20 0 1 0 68648728 356126720 85432 18446744073709551615 4198400 14817773 140721825881952 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26202112 140721825884522 140721825884637 140721825884637 140721825890239 0
/proc/77730/statm: 86945 85432 2944 2593 0 83838 0
Current children cumulated CPU time: 3451.54 s
Current children cumulated vsize: 347780 KiB
Current children cumulated memory: 341728 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.26 4.20 5/250 78115
/proc/meminfo: memFree=127548700/131382120 swapFree=33010416/33010684
[pid=77730] ppid=77727 vsize=380804 memory=374880 CPUtime=3511.34 cores=4,6
/proc/77730/stat : 77730 (CASHWMaxSAT-Dis) R 77727 77730 76667 0 -1 4194304 237960 0 0 0 351043 91 0 0 20 0 1 0 68648728 389943296 93720 18446744073709551615 4198400 14817773 140721825881952 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26202112 140721825884522 140721825884637 140721825884637 140721825890239 0
/proc/77730/statm: 95201 93720 2944 2593 0 92094 0
Current children cumulated CPU time: 3511.34 s
Current children cumulated vsize: 380804 KiB
Current children cumulated memory: 374880 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.23 4.19 5/250 78128
/proc/meminfo: memFree=127460444/131382120 swapFree=33010416/33010684
[pid=77730] ppid=77727 vsize=381160 memory=375108 CPUtime=3571.14 cores=4,6
/proc/77730/stat : 77730 (CASHWMaxSAT-Dis) R 77727 77730 76667 0 -1 4194304 241064 0 0 0 357019 95 0 0 20 0 1 0 68648728 390307840 93777 18446744073709551615 4198400 14817773 140721825881952 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26202112 140721825884522 140721825884637 140721825884637 140721825890239 0
/proc/77730/statm: 95290 93777 2944 2593 0 92183 0
Current children cumulated CPU time: 3571.14 s
Current children cumulated vsize: 381160 KiB
Current children cumulated memory: 375108 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.3 s]
/proc/loadavg: 4.10 4.22 4.19 5/250 78128
/proc/meminfo: memFree=127436940/131382120 swapFree=33010416/33010684
[pid=77730] ppid=77727 vsize=347924 memory=341872 CPUtime=3600.04 cores=4,6
/proc/77730/stat : 77730 (CASHWMaxSAT-Dis) R 77727 77730 76667 0 -1 4194304 241649 0 0 0 359908 96 0 0 20 0 1 0 68648728 356274176 85468 18446744073709551615 4198400 14817773 140721825881952 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26202112 140721825884522 140721825884637 140721825884637 140721825890239 0
/proc/77730/statm: 86981 85468 2944 2593 0 83874 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 347924 KiB
Current children cumulated memory: 341872 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.3 s]
# the end of solver process 77730 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.08 s, system=0.962786 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.3 s]
/proc/loadavg: 4.10 4.22 4.19 5/250 78128
/proc/meminfo: memFree=127436940/131382120 swapFree=33010416/33010684
[pid=77730] ppid=77727 vsize=347924 memory=341872 CPUtime=3600.04 cores=4,6
/proc/77730/stat : 77730 (CASHWMaxSAT-Dis) R 77727 77730 76667 0 -1 4194304 241649 0 0 0 359908 96 0 0 20 0 1 0 68648728 356274176 85468 18446744073709551615 4198400 14817773 140721825881952 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26202112 140721825884522 140721825884637 140721825884637 140721825890239 0
/proc/77730/statm: 86981 85468 2944 2593 0 83874 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 347924 KiB
Current children cumulated memory: 341872 KiB
Child status: 10
Real time (s): 3611.3
CPU time (s): 3600.05
CPU user time (s): 3599.08
CPU system time (s): 0.962786
CPU usage (%): 99.6883
Max. virtual memory (cumulated for all children) (KiB): 1555356
Max. memory (cumulated for all children) (KiB): 1394544
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.08
system time used= 0.962786
maximum resident set size= 1397676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 241650
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= 91
involuntary context switches= 2853
# summary of solver processes directly reported to runsolver:
# pid: 77730
# total CPU time (s): 3600.05
# total CPU user time (s): 3599.08
# total CPU system time (s): 0.962786
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.6613 second user time and 34.0491 second system time
The end
Begin job on nodeC003 at 2025-07-03 10:01:40 IDJOB=4517603 IDBENCH=176156 IDSOLVER=3322 FILE ID=nodeC003/4517603-1751529700 RUNJOBID= nodeC003-1751523121-76678 SLURM_JOB_ID= 9598648 Free space on /tmp= 431976 MiB SOLVER NAME= CASHWMaxSATDisjCad-S 2025-06-01 BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=11-t=8.opb COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0 RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4517603-1751529700/watcher-4517603-1751529700 -o /tmp/evaluation-result-4517603-1751529700/solver-4517603-1751529700 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751523121-76678 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4517603-1751529700.opb -total-t=3600 -no-par -v0 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= b554296dd2e7a57b28932c2f35f0c1cd RANDOM SEED=2050821840 nodeC003 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /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 : 3661.319 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 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.44 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 : 3691.227 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 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.44 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.219 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 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.44 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.400 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 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.44 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 : 3700.000 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 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.44 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 : 3691.245 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 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.44 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.155 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 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.44 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.503 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 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382120 kB MemFree: 128190836 kB MemAvailable: 128231476 kB Buffers: 2736 kB Cached: 837548 kB SwapCached: 36 kB Active: 2192904 kB Inactive: 345512 kB Active(anon): 1708448 kB Inactive(anon): 7608 kB Active(file): 484456 kB Inactive(file): 337904 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010416 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 14004 kB Writeback: 44 kB AnonPages: 1699676 kB Mapped: 137072 kB Shmem: 17924 kB KReclaimable: 115812 kB Slab: 201584 kB SReclaimable: 115812 kB SUnreclaim: 85772 kB KernelStack: 4032 kB PageTables: 6368 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701744 kB Committed_AS: 2236656 kB VmallocTotal: 34359738367 kB VmallocUsed: 149384 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 1562624 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 191304 kB DirectMap2M: 11245568 kB DirectMap1G: 124780544 kB Free space on /tmp at the end= 431964 MiB End job on nodeC003 at 2025-07-03 11:01:52