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) | 6 | 3600.03 | 3610.7 |
| Name | PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=13-t=7.opb |
| MD5SUM | bf082a5f314776883f0e32420df0edd0 |
| 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 | 6 |
| Best CPU time to get the best result obtained on this benchmark | 21.8846 |
| 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 | 351 |
| Total number of constraints | 12753 |
| Number of constraints which are clauses | 12740 |
| Number of constraints which are cardinality constraints (but not clauses) | 13 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 14 |
| Number of terms in the objective function | 13 |
| 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 | 13 |
| 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 | 15 |
| 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.10/0.14 c Using cadical-2.0.0-2df7b7f SAT solver by Armin Biere (2022) 0.10/0.14 o 13 0.10/0.14 c Using SCIP solver, version 8.1.0, https://www.scipopt.org 0.10/0.15 c Starting SCIP solver (with time-limit = 1800s) ... 1794.62/1800.15 c SCIP timeout with lower and upper bounds: [0, 6] 1794.62/1800.15 o 6 3600.01/3610.70 3600.01/3610.70 v x79 -x80 -x81 x82 x83 -x84 -x85 x86 -x87 -x88 x89 x90 -x91 -x92 -x105 -x118 -x131 -x144 -x157 -x170 -x183 -x196 -x209 -x222 -x235 -x248 -x93 -x106 -x119 -x132 -x145 -x158 -x171 -x184 x197 -x210 -x223 -x236 -x249 -x94 -x107 -x120 -x133 -x146 -x159 -x172 -x185 -x198 -x211 -x224 -x237 x250 -x95 -x108 -x121 -x134 -x147 -x160 -x173 -x186 -x199 -x212 -x225 -x238 -x251 -x96 -x109 -x122 -x135 -x148 -x161 -x174 -x187 -x200 -x213 -x226 -x239 -x252 -x97 -x110 -x123 -x136 -x149 -x162 -x175 -x188 -x201 -x214 x227 -x240 -x253 -x98 x111 -x124 -x137 -x150 -x163 -x176 -x189 -x202 -x215 -x228 -x241 -x254 -x99 -x112 -x125 -x138 -x151 -x164 -x177 -x190 -x203 -x216 -x229 -x242 -x255 x100 -x113 -x126 -x139 -x152 -x165 -x178 -x191 -x204 -x217 -x230 -x243 -x256 -x101 -x114 -x127 -x140 -x153 x166 -x179 -x192 -x205 -x218 -x231 -x244 -x257 -x102 -x115 -x128 -x141 -x154 -x167 -x180 -x193 -x206 -x219 -x232 -x245 -x258 -x103 -x116 -x129 -x142 -x155 -x168 -x181 -x194 -x207 -x220 -x233 -x246 -x259 -x104 -x117 -x130 -x143 -x156 -x169 x182 -x195 -x208 -x221 -x234 -x247 -x260 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 -x261 -x262 x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 x281 x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 x295 -x296 x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 x309 -x310 -x311 -x312 -x313 -x314 -x315 x316 -x317 -x318 -x319 -x320 -x321 x322 -x323 -x324 x325 -x326 -x327 -x328 -x329 -x330 x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 x341 -x342 -x343 x344 -x345 -x346 -x347 -x348 x349 -x350 -x351 3600.01/3610.70 s SATISFIABLE
OK 6
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 (62137 MiB free)
memory of node 1: 64465 MiB (63509 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4517695-1751530665/watcher-4517695-1751530665 -o /tmp/evaluation-result-4517695-1751530665/solver-4517695-1751530665 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751523121-76679 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4517695-1751530665.opb -total-t=3600 -no-par -v0
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=77866, runsolver pid=77863
[startup+0.100069 s]*
/proc/loadavg: 4.13 4.09 4.09 6/250 77867
/proc/meminfo: memFree=128658612/131382120 swapFree=33010416/33010684
[pid=77866] ppid=77863 vsize=25752 memory=11264 CPUtime=0.1 cores=1,3
/proc/77866/stat : 77866 (CASHWMaxSAT-Dis) R 77863 77866 76667 0 -1 4194304 2090 0 0 0 10 0 0 0 20 0 1 0 68745140 26370048 2816 18446744073709551615 4198400 14817773 140730192626112 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 30023680 140730192628074 140730192628189 140730192628189 140730192633791 0
/proc/77866/statm: 6438 2816 864 2593 0 3331 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 25752 KiB
Current children cumulated memory: 11264 KiB
[startup+0.212952 s]*
/proc/loadavg: 4.13 4.09 4.09 5/250 77867
/proc/meminfo: memFree=128634672/131382120 swapFree=33010416/33010684
[pid=77866] ppid=77863 vsize=54676 memory=45568 CPUtime=0.22 cores=1,3
/proc/77866/stat : 77866 (CASHWMaxSAT-Dis) R 77863 77866 76667 0 -1 4194304 9157 0 0 0 20 2 0 0 20 0 1 0 68745140 55988224 11392 18446744073709551615 4198400 14817773 140730192626112 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 30023680 140730192628074 140730192628189 140730192628189 140730192633791 0
/proc/77866/statm: 13669 11392 2496 2593 0 10562 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 54676 KiB
Current children cumulated memory: 45568 KiB
[startup+0.312976 s]*
/proc/loadavg: 4.13 4.09 4.09 5/250 77867
/proc/meminfo: memFree=128602036/131382120 swapFree=33010416/33010684
[pid=77866] ppid=77863 vsize=90840 memory=74808 CPUtime=0.31 cores=1,3
/proc/77866/stat : 77866 (CASHWMaxSAT-Dis) R 77863 77866 76667 0 -1 4194304 13918 0 0 0 28 3 0 0 20 0 1 0 68745140 93020160 18702 18446744073709551615 4198400 14817773 140730192626112 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 30023680 140730192628074 140730192628189 140730192628189 140730192633791 0
/proc/77866/statm: 22710 18702 2528 2593 0 19603 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 90840 KiB
Current children cumulated memory: 74808 KiB
[startup+0.700283 s]
/proc/loadavg: 4.13 4.09 4.09 5/250 77867
/proc/meminfo: memFree=128573872/131382120 swapFree=33010416/33010684
[pid=77866] ppid=77863 vsize=129452 memory=111540 CPUtime=0.69 cores=1,3
/proc/77866/stat : 77866 (CASHWMaxSAT-Dis) R 77863 77866 76667 0 -1 4194304 21851 0 0 0 64 5 0 0 20 0 1 0 68745140 132558848 27885 18446744073709551615 4198400 14817773 140730192626112 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 30023680 140730192628074 140730192628189 140730192628189 140730192633791 0
/proc/77866/statm: 32363 27885 2656 2593 0 29256 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 129452 KiB
Current children cumulated memory: 111540 KiB
[startup+1.50028 s]
/proc/loadavg: 4.13 4.09 4.09 5/250 77867
/proc/meminfo: memFree=128569084/131382120 swapFree=33010416/33010684
[pid=77866] ppid=77863 vsize=135772 memory=115248 CPUtime=1.48 cores=1,3
/proc/77866/stat : 77866 (CASHWMaxSAT-Dis) R 77863 77866 76667 0 -1 4194304 22959 0 0 0 143 5 0 0 20 0 1 0 68745140 139030528 28812 18446744073709551615 4198400 14817773 140730192626112 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 30023680 140730192628074 140730192628189 140730192628189 140730192633791 0
/proc/77866/statm: 33943 28812 2656 2593 0 30836 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 135772 KiB
Current children cumulated memory: 115248 KiB
[startup+3.11276 s]
/proc/loadavg: 4.12 4.09 4.09 5/250 77867
/proc/meminfo: memFree=128521328/131382120 swapFree=33010416/33010684
[pid=77866] ppid=77863 vsize=179156 memory=147440 CPUtime=3.09 cores=1,3
/proc/77866/stat : 77866 (CASHWMaxSAT-Dis) R 77863 77866 76667 0 -1 4194304 31122 0 0 0 303 6 0 0 20 0 1 0 68745140 183455744 36860 18446744073709551615 4198400 14817773 140730192626112 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 30023680 140730192628074 140730192628189 140730192628189 140730192633791 0
/proc/77866/statm: 44789 36860 2656 2593 0 41682 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 179156 KiB
Current children cumulated memory: 147440 KiB
[startup+6.3003 s]
/proc/loadavg: 4.12 4.09 4.09 5/250 77867
/proc/meminfo: memFree=128515156/131382120 swapFree=33010416/33010684
[pid=77866] ppid=77863 vsize=178916 memory=148044 CPUtime=6.27 cores=1,3
/proc/77866/stat : 77866 (CASHWMaxSAT-Dis) R 77863 77866 76667 0 -1 4194304 33540 0 0 0 620 7 0 0 20 0 1 0 68745140 183209984 37011 18446744073709551615 4198400 14817773 140730192626112 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 30023680 140730192628074 140730192628189 140730192628189 140730192633791 0
/proc/77866/statm: 44729 37011 2656 2593 0 41622 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 178916 KiB
Current children cumulated memory: 148044 KiB
[startup+12.7003 s]
/proc/loadavg: 4.10 4.09 4.09 5/250 77867
/proc/meminfo: memFree=128486236/131382120 swapFree=33010416/33010684
[pid=77866] ppid=77863 vsize=198356 memory=166220 CPUtime=12.65 cores=1,3
/proc/77866/stat : 77866 (CASHWMaxSAT-Dis) R 77863 77866 76667 0 -1 4194304 38085 0 0 0 1257 8 0 0 20 0 1 0 68745140 203116544 41555 18446744073709551615 4198400 14817773 140730192626112 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 30023680 140730192628074 140730192628189 140730192628189 140730192633791 0
/proc/77866/statm: 49589 41555 2656 2593 0 46482 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 198356 KiB
Current children cumulated memory: 166220 KiB
[startup+25.5003 s]
/proc/loadavg: 4.09 4.08 4.09 5/250 77868
/proc/meminfo: memFree=128459548/131382120 swapFree=33010416/33010684
[pid=77866] ppid=77863 vsize=221344 memory=186192 CPUtime=25.41 cores=1,3
/proc/77866/stat : 77866 (CASHWMaxSAT-Dis) R 77863 77866 76667 0 -1 4194304 44088 0 0 0 2532 9 0 0 20 0 1 0 68745140 226656256 46548 18446744073709551615 4198400 14817773 140730192626112 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 30023680 140730192628074 140730192628189 140730192628189 140730192633791 0
/proc/77866/statm: 55336 46548 2656 2593 0 52229 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 221344 KiB
Current children cumulated memory: 186192 KiB
[startup+51.1126 s]
/proc/loadavg: 4.13 4.09 4.09 5/250 77868
/proc/meminfo: memFree=128363696/131382120 swapFree=33010416/33010684
[pid=77866] ppid=77863 vsize=266984 memory=223884 CPUtime=50.94 cores=1,3
/proc/77866/stat : 77866 (CASHWMaxSAT-Dis) R 77863 77866 76667 0 -1 4194304 55128 0 0 0 5083 11 0 0 20 0 1 0 68745140 273391616 55971 18446744073709551615 4198400 14817773 140730192626112 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 30023680 140730192628074 140730192628189 140730192628189 140730192633791 0
/proc/77866/statm: 66746 55971 2656 2593 0 63639 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 266984 KiB
Current children cumulated memory: 223884 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/250 77870
/proc/meminfo: memFree=128218820/131382120 swapFree=33010416/33010684
[pid=77866] ppid=77863 vsize=313584 memory=267056 CPUtime=101.94 cores=1,3
/proc/77866/stat : 77866 (CASHWMaxSAT-Dis) R 77863 77866 76667 0 -1 4194304 64392 0 0 0 10182 12 0 0 20 0 1 0 68745140 321110016 66764 18446744073709551615 4198400 14817773 140730192626112 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 30023680 140730192628074 140730192628189 140730192628189 140730192633791 0
/proc/77866/statm: 78396 66764 2656 2593 0 75289 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 313584 KiB
Current children cumulated memory: 267056 KiB
[startup+162.3 s]
/proc/loadavg: 4.04 4.07 4.08 5/250 77872
/proc/meminfo: memFree=128064712/131382120 swapFree=33010416/33010684
[pid=77866] ppid=77863 vsize=358292 memory=311160 CPUtime=161.73 cores=1,3
/proc/77866/stat : 77866 (CASHWMaxSAT-Dis) R 77863 77866 76667 0 -1 4194304 74936 0 0 0 16159 14 0 0 20 0 1 0 68745140 366891008 77790 18446744073709551615 4198400 14817773 140730192626112 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 30023680 140730192628074 140730192628189 140730192628189 140730192633791 0
/proc/77866/statm: 89573 77790 2656 2593 0 86466 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 358292 KiB
Current children cumulated memory: 311160 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/250 77874
/proc/meminfo: memFree=127861628/131382120 swapFree=33010416/33010684
[pid=77866] ppid=77863 vsize=419368 memory=365552 CPUtime=221.53 cores=1,3
/proc/77866/stat : 77866 (CASHWMaxSAT-Dis) R 77863 77866 76667 0 -1 4194304 85595 0 0 0 22137 16 0 0 20 0 1 0 68745140 429432832 91388 18446744073709551615 4198400 14817773 140730192626112 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 30023680 140730192628074 140730192628189 140730192628189 140730192633791 0
/proc/77866/statm: 104842 91388 2656 2593 0 101735 0
Current children cumulated CPU time: 221.53 s
Current children cumulated vsize: 419368 KiB
Current children cumulated memory: 365552 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/250 77876
/proc/meminfo: memFree=127635332/131382120 swapFree=33010416/33010684
[pid=77866] ppid=77863 vsize=459640 memory=418288 CPUtime=281.32 cores=1,3
/proc/77866/stat : 77866 (CASHWMaxSAT-Dis) R 77863 77866 76667 0 -1 4194304 92164 0 0 0 28115 17 0 0 20 0 1 0 68745140 470671360 104572 18446744073709551615 4198400 14817773 140730192626112 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 30023680 140730192628074 140730192628189 140730192628189 140730192633791 0
/proc/77866/statm: 114910 104572 2656 2593 0 111803 0
Current children cumulated CPU time: 281.32 s
Current children cumulated vsize: 459640 KiB
Current children cumulated memory: 418288 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/250 77884
/proc/meminfo: memFree=127429160/131382120 swapFree=33010416/33010684
[pid=77866] ppid=77863 vsize=529860 memory=500408 CPUtime=341.1 cores=1,3
/proc/77866/stat : 77866 (CASHWMaxSAT-Dis) R 77863 77866 76667 0 -1 4194304 101720 0 0 0 34091 19 0 0 20 0 1 0 68745140 542576640 125102 18446744073709551615 4198400 14817773 140730192626112 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 30023680 140730192628074 140730192628189 140730192628189 140730192633791 0
/proc/77866/statm: 132465 125102 2656 2593 0 129358 0
Current children cumulated CPU time: 341.1 s
Current children cumulated vsize: 529860 KiB
Current children cumulated memory: 500408 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/249 77886
/proc/meminfo: memFree=127279548/131382120 swapFree=33010416/33010684
[pid=77866] ppid=77863 vsize=570664 memory=547244 CPUtime=400.92 cores=1,3
/proc/77866/stat : 77866 (CASHWMaxSAT-Dis) R 77863 77866 76667 0 -1 4194304 106590 0 0 0 40071 21 0 0 20 0 1 0 68745140 584359936 136811 18446744073709551615 4198400 14817773 140730192626112 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 30023680 140730192628074 140730192628189 140730192628189 140730192633791 0
/proc/77866/statm: 142666 136811 2656 2593 0 139559 0
Current children cumulated CPU time: 400.92 s
Current children cumulated vsize: 570664 KiB
Current children cumulated memory: 547244 KiB
[startup+462.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/250 77934
/proc/meminfo: memFree=127145936/131382120 swapFree=33010416/33010684
[pid=77866] ppid=77863 vsize=670804 memory=628056 CPUtime=460.74 cores=1,3
/proc/77866/stat : 77866 (CASHWMaxSAT-Dis) R 77863 77866 76667 0 -1 4194304 115908 0 0 0 46050 24 0 0 20 0 1 0 68745140 686903296 157014 18446744073709551615 4198400 14817773 140730192626112 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 30023680 140730192628074 140730192628189 140730192628189 140730192633791 0
/proc/77866/statm: 167701 157014 2656 2593 0 164594 0
Current children cumulated CPU time: 460.74 s
################
# More data... #
################
Current children cumulated memory: 582028 KiB
[startup+2922.3 s]
/proc/loadavg: 3.15 3.55 3.90 4/244 78175
/proc/meminfo: memFree=127375736/131382120 swapFree=33010416/33010684
[pid=77866] ppid=77863 vsize=588236 memory=582028 CPUtime=2913.65 cores=1,3
/proc/77866/stat : 77866 (CASHWMaxSAT-Dis) R 77863 77866 76667 0 -1 4194304 249725 0 0 0 291296 69 0 0 20 0 1 0 68745140 602353664 145507 18446744073709551615 4198400 14817773 140730192626112 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 30023680 140730192628074 140730192628189 140730192628189 140730192633791 0
/proc/77866/statm: 147059 145507 2944 2593 0 143952 0
Current children cumulated CPU time: 2913.65 s
Current children cumulated vsize: 588236 KiB
Current children cumulated memory: 582028 KiB
[startup+2982.3 s]
/proc/loadavg: 3.09 3.46 3.85 4/244 78177
/proc/meminfo: memFree=127336976/131382120 swapFree=33010416/33010684
[pid=77866] ppid=77863 vsize=588236 memory=582028 CPUtime=2973.48 cores=1,3
/proc/77866/stat : 77866 (CASHWMaxSAT-Dis) R 77863 77866 76667 0 -1 4194304 249784 0 0 0 297279 69 0 0 20 0 1 0 68745140 602353664 145507 18446744073709551615 4198400 14817773 140730192626112 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 30023680 140730192628074 140730192628189 140730192628189 140730192633791 0
/proc/77866/statm: 147059 145507 2944 2593 0 143952 0
Current children cumulated CPU time: 2973.48 s
Current children cumulated vsize: 588236 KiB
Current children cumulated memory: 582028 KiB
[startup+3042.3 s]
/proc/loadavg: 3.07 3.39 3.80 4/244 78179
/proc/meminfo: memFree=127286572/131382120 swapFree=33010416/33010684
[pid=77866] ppid=77863 vsize=588236 memory=582028 CPUtime=3033.31 cores=1,3
/proc/77866/stat : 77866 (CASHWMaxSAT-Dis) R 77863 77866 76667 0 -1 4194304 249900 0 0 0 303262 69 0 0 20 0 1 0 68745140 602353664 145507 18446744073709551615 4198400 14817773 140730192626112 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 30023680 140730192628074 140730192628189 140730192628189 140730192633791 0
/proc/77866/statm: 147059 145507 2944 2593 0 143952 0
Current children cumulated CPU time: 3033.31 s
Current children cumulated vsize: 588236 KiB
Current children cumulated memory: 582028 KiB
[startup+3102.3 s]
/proc/loadavg: 3.13 3.35 3.76 4/243 78181
/proc/meminfo: memFree=127194196/131382120 swapFree=33010416/33010684
[pid=77866] ppid=77863 vsize=588236 memory=582028 CPUtime=3093.14 cores=1,3
/proc/77866/stat : 77866 (CASHWMaxSAT-Dis) R 77863 77866 76667 0 -1 4194304 250011 0 0 0 309245 69 0 0 20 0 1 0 68745140 602353664 145507 18446744073709551615 4198400 14817773 140730192626112 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 30023680 140730192628074 140730192628189 140730192628189 140730192633791 0
/proc/77866/statm: 147059 145507 2944 2593 0 143952 0
Current children cumulated CPU time: 3093.14 s
Current children cumulated vsize: 588236 KiB
Current children cumulated memory: 582028 KiB
[startup+3162.3 s]
/proc/loadavg: 3.10 3.30 3.71 4/243 78183
/proc/meminfo: memFree=127146684/131382120 swapFree=33010416/33010684
[pid=77866] ppid=77863 vsize=588236 memory=582028 CPUtime=3152.96 cores=1,3
/proc/77866/stat : 77866 (CASHWMaxSAT-Dis) R 77863 77866 76667 0 -1 4194304 250073 0 0 0 315227 69 0 0 20 0 1 0 68745140 602353664 145507 18446744073709551615 4198400 14817773 140730192626112 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 30023680 140730192628074 140730192628189 140730192628189 140730192633791 0
/proc/77866/statm: 147059 145507 2944 2593 0 143952 0
Current children cumulated CPU time: 3152.96 s
Current children cumulated vsize: 588236 KiB
Current children cumulated memory: 582028 KiB
[startup+3222.3 s]
/proc/loadavg: 3.12 3.26 3.67 4/243 78185
/proc/meminfo: memFree=127052044/131382120 swapFree=33010416/33010684
[pid=77866] ppid=77863 vsize=588236 memory=582028 CPUtime=3212.8 cores=1,3
/proc/77866/stat : 77866 (CASHWMaxSAT-Dis) R 77863 77866 76667 0 -1 4194304 250209 0 0 0 321210 70 0 0 20 0 1 0 68745140 602353664 145507 18446744073709551615 4198400 14817773 140730192626112 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 30023680 140730192628074 140730192628189 140730192628189 140730192633791 0
/proc/77866/statm: 147059 145507 2944 2593 0 143952 0
Current children cumulated CPU time: 3212.8 s
Current children cumulated vsize: 588236 KiB
Current children cumulated memory: 582028 KiB
[startup+3282.3 s]
/proc/loadavg: 3.10 3.22 3.63 4/243 78187
/proc/meminfo: memFree=126975424/131382120 swapFree=33010416/33010684
[pid=77866] ppid=77863 vsize=588236 memory=582028 CPUtime=3272.63 cores=1,3
/proc/77866/stat : 77866 (CASHWMaxSAT-Dis) R 77863 77866 76667 0 -1 4194304 250243 0 0 0 327193 70 0 0 20 0 1 0 68745140 602353664 145507 18446744073709551615 4198400 14817773 140730192626112 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 30023680 140730192628074 140730192628189 140730192628189 140730192633791 0
/proc/77866/statm: 147059 145507 2944 2593 0 143952 0
Current children cumulated CPU time: 3272.63 s
Current children cumulated vsize: 588236 KiB
Current children cumulated memory: 582028 KiB
[startup+3342.3 s]
/proc/loadavg: 3.08 3.20 3.59 4/242 78189
/proc/meminfo: memFree=126894516/131382120 swapFree=33010416/33010684
[pid=77866] ppid=77863 vsize=588236 memory=582028 CPUtime=3332.45 cores=1,3
/proc/77866/stat : 77866 (CASHWMaxSAT-Dis) R 77863 77866 76667 0 -1 4194304 250359 0 0 0 333175 70 0 0 20 0 1 0 68745140 602353664 145507 18446744073709551615 4198400 14817773 140730192626112 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 30023680 140730192628074 140730192628189 140730192628189 140730192633791 0
/proc/77866/statm: 147059 145507 2944 2593 0 143952 0
Current children cumulated CPU time: 3332.45 s
Current children cumulated vsize: 588236 KiB
Current children cumulated memory: 582028 KiB
[startup+3402.3 s]
/proc/loadavg: 3.07 3.17 3.56 4/244 78199
/proc/meminfo: memFree=126810068/131382120 swapFree=33010416/33010684
[pid=77866] ppid=77863 vsize=588236 memory=582028 CPUtime=3392.28 cores=1,3
/proc/77866/stat : 77866 (CASHWMaxSAT-Dis) R 77863 77866 76667 0 -1 4194304 250457 0 0 0 339158 70 0 0 20 0 1 0 68745140 602353664 145507 18446744073709551615 4198400 14817773 140730192626112 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 30023680 140730192628074 140730192628189 140730192628189 140730192633791 0
/proc/77866/statm: 147059 145507 2944 2593 0 143952 0
Current children cumulated CPU time: 3392.28 s
Current children cumulated vsize: 588236 KiB
Current children cumulated memory: 582028 KiB
[startup+3462.3 s]
/proc/loadavg: 3.68 3.33 3.59 4/244 78200
/proc/meminfo: memFree=126736916/131382120 swapFree=33010416/33010684
[pid=77866] ppid=77863 vsize=588236 memory=582028 CPUtime=3452.11 cores=1,3
/proc/77866/stat : 77866 (CASHWMaxSAT-Dis) R 77863 77866 76667 0 -1 4194304 250542 0 0 0 345141 70 0 0 20 0 1 0 68745140 602353664 145507 18446744073709551615 4198400 14817773 140730192626112 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 30023680 140730192628074 140730192628189 140730192628189 140730192633791 0
/proc/77866/statm: 147059 145507 2944 2593 0 143952 0
Current children cumulated CPU time: 3452.11 s
Current children cumulated vsize: 588236 KiB
Current children cumulated memory: 582028 KiB
[startup+3522.3 s]
/proc/loadavg: 3.28 3.29 3.56 3/238 78233
/proc/meminfo: memFree=128518476/131382120 swapFree=33010416/33010684
[pid=77866] ppid=77863 vsize=588236 memory=582028 CPUtime=3511.93 cores=1,3
/proc/77866/stat : 77866 (CASHWMaxSAT-Dis) R 77863 77866 76667 0 -1 4194304 250638 0 0 0 351123 70 0 0 20 0 1 0 68745140 602353664 145507 18446744073709551615 4198400 14817773 140730192626112 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 30023680 140730192628074 140730192628189 140730192628189 140730192633791 0
/proc/77866/statm: 147059 145507 2944 2593 0 143952 0
Current children cumulated CPU time: 3511.93 s
Current children cumulated vsize: 588236 KiB
Current children cumulated memory: 582028 KiB
[startup+3582.3 s]
/proc/loadavg: 2.57 3.08 3.47 3/238 78235
/proc/meminfo: memFree=128515048/131382120 swapFree=33010416/33010684
[pid=77866] ppid=77863 vsize=588236 memory=582028 CPUtime=3571.72 cores=1,3
/proc/77866/stat : 77866 (CASHWMaxSAT-Dis) R 77863 77866 76667 0 -1 4194304 250690 0 0 0 357102 70 0 0 20 0 1 0 68745140 602353664 145507 18446744073709551615 4198400 14817773 140730192626112 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 30023680 140730192628074 140730192628189 140730192628189 140730192633791 0
/proc/77866/statm: 147059 145507 2944 2593 0 143952 0
Current children cumulated CPU time: 3571.72 s
Current children cumulated vsize: 588236 KiB
Current children cumulated memory: 582028 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.7 s]
/proc/loadavg: 2.37 3.00 3.43 3/238 78236
/proc/meminfo: memFree=128491128/131382120 swapFree=33010416/33010684
[pid=77866] ppid=77863 vsize=588236 memory=582028 CPUtime=3600.01 cores=1,3
/proc/77866/stat : 77866 (CASHWMaxSAT-Dis) R 77863 77866 76667 0 -1 4194304 250752 0 0 0 359931 70 0 0 20 0 1 0 68745140 602353664 145507 18446744073709551615 4198400 14817773 140730192626112 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 30023680 140730192628074 140730192628189 140730192628189 140730192633791 0
/proc/77866/statm: 147059 145507 2944 2593 0 143952 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 588236 KiB
Current children cumulated memory: 582028 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.7 s]
# the end of solver process 77866 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.32 s, system=0.71079 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.7 s]
/proc/loadavg: 2.37 3.00 3.43 3/238 78236
/proc/meminfo: memFree=128491128/131382120 swapFree=33010416/33010684
[pid=77866] ppid=77863 vsize=588236 memory=582028 CPUtime=3600.01 cores=1,3
/proc/77866/stat : 77866 (CASHWMaxSAT-Dis) R 77863 77866 76667 0 -1 4194304 250752 0 0 0 359931 70 0 0 20 0 1 0 68745140 602353664 145507 18446744073709551615 4198400 14817773 140730192626112 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 30023680 140730192628074 140730192628189 140730192628189 140730192633791 0
/proc/77866/statm: 147059 145507 2944 2593 0 143952 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 588236 KiB
Current children cumulated memory: 582028 KiB
Child status: 10
Real time (s): 3610.7
CPU time (s): 3600.03
CPU user time (s): 3599.32
CPU system time (s): 0.71079
CPU usage (%): 99.7044
Max. virtual memory (cumulated for all children) (KiB): 1726412
Max. memory (cumulated for all children) (KiB): 1653492
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.32
system time used= 0.71079
maximum resident set size= 1653492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 250753
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= 78
involuntary context switches= 2193
# summary of solver processes directly reported to runsolver:
# pid: 77866
# total CPU time (s): 3600.03
# total CPU user time (s): 3599.32
# total CPU system time (s): 0.71079
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.6981 second user time and 33.9856 second system time
The end
Begin job on nodeC003 at 2025-07-03 10:17:45 IDJOB=4517695 IDBENCH=176167 IDSOLVER=3322 FILE ID=nodeC003/4517695-1751530665 RUNJOBID= nodeC003-1751523121-76679 SLURM_JOB_ID= 9598648 Free space on /tmp= 431980 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=13-t=7.opb COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0 RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4517695-1751530665/watcher-4517695-1751530665 -o /tmp/evaluation-result-4517695-1751530665/solver-4517695-1751530665 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751523121-76679 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4517695-1751530665.opb -total-t=3600 -no-par -v0 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= bf082a5f314776883f0e32420df0edd0 RANDOM SEED=193692110 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 : 3690.992 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 : 2793.713 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.296 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.163 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 : 3691.251 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 : 3664.523 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 : 3700.000 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 : 3700.000 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: 128662392 kB MemAvailable: 128701260 kB Buffers: 2736 kB Cached: 835760 kB SwapCached: 36 kB Active: 1750860 kB Inactive: 343724 kB Active(anon): 1266404 kB Inactive(anon): 7608 kB Active(file): 484456 kB Inactive(file): 336116 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010416 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 14196 kB Writeback: 12 kB AnonPages: 1257484 kB Mapped: 136804 kB Shmem: 17924 kB KReclaimable: 115844 kB Slab: 201160 kB SReclaimable: 115844 kB SUnreclaim: 85316 kB KernelStack: 4032 kB PageTables: 5480 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701744 kB Committed_AS: 1669336 kB VmallocTotal: 34359738367 kB VmallocUsed: 149400 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 679936 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= 431992 MiB End job on nodeC003 at 2025-07-03 11:17:56