Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| CASHWMaxSATDisjCom-S 2025-06-01 | SAT (TO) | 24509 | 3600.04 | 3608.7 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/ttp/normalized-data6_3.opb |
| MD5SUM | 9e6692c80f11b0068f23fe5849cf8b25 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 23916 |
| Best CPU time to get the best result obtained on this benchmark | 3585.75 |
| 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 | 540 |
| Total number of constraints | 4476 |
| Number of constraints which are clauses | 2532 |
| Number of constraints which are cardinality constraints (but not clauses) | 264 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1680 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 20 |
| Number of terms in the objective function | 180 |
| Biggest coefficient in the objective function | 1380 |
| Number of bits for the biggest coefficient in the objective function | 11 |
| Sum of the numbers in the objective function | 116904 |
| Number of bits of the sum of numbers in the objective function | 17 |
| Biggest number in a constraint | 1380 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 116904 |
| Number of bits of the biggest sum of numbers | 17 |
| 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.06 c Using COMiniSatPS SAT solver by Chanseok Oh (2016) 0.00/0.06 c Do: 140723986155432 140723986155440 0.00/0.07 c Using COMiniSatPS SAT solver by Chanseok Oh (2016) 0.00/0.07 c Using SCIP solver, version 8.1.0, https://www.scipopt.org 0.00/0.08 c Starting SCIP solver (with time-limit = 1800s) ... 1795.27/1800.08 c SCIP timeout with lower and upper bounds: [17626, 24907] 1795.27/1800.08 o 24907 3466.91/3475.38 o 24509 3600.02/3608.70 3600.02/3608.70 v -x361 -x362 -x363 x364 x365 -x366 -x367 x368 -x369 -x370 x371 -x372 -x373 -x374 -x375 x376 -x377 -x378 -x379 -x380 -x381 -x382 x383 -x384 -x385 -x386 x387 -x388 -x389 -x390 x391 -x392 -x393 -x394 -x395 -x396 x397 -x398 x399 x400 -x401 x402 -x403 -x404 -x405 -x406 x407 -x408 -x409 -x410 x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 x419 -x420 -x421 x422 -x423 -x424 -x425 -x426 x427 -x428 -x429 -x430 x431 x432 x433 x434 -x435 -x436 -x437 -x438 -x439 x440 -x441 -x442 x443 -x444 -x445 -x446 -x447 x448 -x449 -x450 -x451 -x452 -x453 -x454 x455 -x456 x457 -x458 -x459 -x460 -x461 -x462 x463 -x464 -x465 -x466 x467 -x468 x469 -x470 x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 x479 -x480 -x481 -x482 -x483 -x484 x485 -x486 -x487 x488 -x489 -x490 -x491 x492 -x493 -x494 -x495 -x496 -x497 -x498 x499 -x500 x501 -x502 x503 -x504 -x505 -x506 -x507 -x508 -x509 x510 -x511 -x512 -x513 -x514 x515 -x516 x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 x525 -x526 x527 -x528 -x529 -x530 x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 x539 x540 -x2 -x38 -x74 -x110 -x146 x182 -x218 -x254 -x290 -x326 -x3 x39 -x75 -x111 -x147 -x183 -x219 -x255 -x291 -x327 -x4 -x40 -x76 -x112 -x148 -x184 x220 -x256 -x292 -x328 x5 -x41 -x77 -x113 -x149 -x185 -x221 -x257 -x293 -x329 -x6 -x42 -x78 -x114 x150 -x186 -x222 -x258 -x294 -x330 -x7 -x43 -x79 x115 -x151 -x187 -x223 -x259 -x295 -x331 -x9 -x45 -x81 -x117 -x153 -x189 x225 -x261 -x297 -x333 -x10 -x46 -x82 -x118 -x154 -x190 -x226 -x262 -x298 x334 -x11 -x47 x83 -x119 -x155 -x191 -x227 -x263 -x299 -x335 -x12 -x48 -x84 -x120 -x156 -x192 -x228 -x264 x300 -x336 -x13 -x49 -x85 -x121 -x157 -x193 -x229 -x265 -x301 x337 x14 -x50 -x86 -x122 -x158 -x194 -x230 -x266 -x302 -x338 -x16 -x52 -x88 -x124 x160 -x196 -x232 -x268 -x304 -x340 -x17 -x53 -x89 -x125 -x161 -x197 -x233 x269 -x305 -x341 -x18 -x54 -x90 -x126 -x162 x198 -x234 -x270 -x306 -x342 -x19 -x55 x91 -x127 -x163 -x199 -x235 -x271 -x307 -x343 -x20 -x56 -x92 -x128 -x164 -x200 -x236 x272 -x308 -x344 -x21 -x57 -x93 -x129 -x165 -x201 -x237 -x273 x309 -x345 -x23 x59 -x95 -x131 -x167 -x203 -x239 -x275 -x311 -x347 -x24 -x60 -x96 x132 -x168 -x204 -x240 -x276 -x312 -x348 -x25 -x61 -x97 -x133 -x169 -x205 -x241 -x277 x313 -x349 -x26 -x62 -x98 -x134 x170 -x206 -x242 -x278 -x314 -x350 -x27 -x63 -x99 x135 -x171 -x207 -x243 -x279 -x315 -x351 -x28 -x64 -x100 -x136 -x172 x208 -x244 -x280 -x316 -x352 -x30 -x66 -x102 -x138 -x174 -x210 -x246 -x282 -x318 x354 -x31 -x67 -x103 -x139 -x175 -x211 -x247 x283 -x319 -x355 -x32 x68 -x104 -x140 -x176 -x212 -x248 -x284 -x320 -x356 -x33 -x69 x105 -x141 -x177 -x213 -x249 -x285 -x321 -x357 x34 -x70 -x106 -x142 -x178 -x214 -x250 -x286 -x322 -x358 -x35 -x71 -x107 -x143 -x179 -x215 x251 -x287 -x323 -x359 x8 x44 -x80 -x116 x152 x188 -x224 x260 -x296 -x332 -x15 x51 x87 x123 -x159 -x195 x231 -x267 x303 -x339 x22 -x58 -x94 -x130 x166 x202 x238 -x274 -x310 x346 x29 x65 x101 -x137 -x173 -x209 x245 x281 -x317 -x353 -x36 -x72 -x108 x144 x180 x216 -x252 -x288 x324 x360 -x1 -x37 x73 x109 -x145 -x181 -x217 x253 x289 x325 3600.02/3608.70 s SATISFIABLE
OK 24509
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: 63708 MiB (60780 MiB free)
memory of node 1: 64465 MiB (61476 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4486492-1751314847/watcher-4486492-1751314847 -o /tmp/evaluation-result-4486492-1751314847/solver-4486492-1751314847 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751305795-50624 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4486492-1751314847.opb -total-t=3600 -no-par -v0
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=51737, runsolver pid=51734
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 4.07 4.08 4.09 5/265 51738
/proc/meminfo: memFree=125191488/131249992 swapFree=33010684/33010684
[pid=51737] ppid=51734 vsize=47340 memory=38024 CPUtime=0.1 cores=0,2
/proc/51737/stat : 51737 (CASHWMaxSAT-Dis) R 51734 51737 50614 0 -1 4194304 8112 0 0 0 9 1 0 0 20 0 1 0 47163449 48476160 9506 18446744073709551615 4198400 14093885 140723986157792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 53653504 140723986164074 140723986164189 140723986164189 140723986169791 0
/proc/51737/statm: 11835 9506 2336 2416 0 8937 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 47340 KiB
Current children cumulated memory: 38024 KiB
[startup+0.205366 s]*
/proc/loadavg: 4.07 4.08 4.09 5/265 51738
/proc/meminfo: memFree=125187708/131249992 swapFree=33010684/33010684
[pid=51737] ppid=51734 vsize=58764 memory=49032 CPUtime=0.2 cores=0,2
/proc/51737/stat : 51737 (CASHWMaxSAT-Dis) R 51734 51737 50614 0 -1 4194304 10818 0 0 0 19 1 0 0 20 0 1 0 47163449 60174336 12258 18446744073709551615 4198400 14093885 140723986157792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 53653504 140723986164074 140723986164189 140723986164189 140723986169791 0
/proc/51737/statm: 14691 12258 2400 2416 0 11793 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 58764 KiB
Current children cumulated memory: 49032 KiB
[startup+0.305371 s]*
/proc/loadavg: 4.07 4.08 4.09 5/265 51738
/proc/meminfo: memFree=125175628/131249992 swapFree=33010684/33010684
[pid=51737] ppid=51734 vsize=69316 memory=59912 CPUtime=0.29 cores=0,2
/proc/51737/stat : 51737 (CASHWMaxSAT-Dis) R 51734 51737 50614 0 -1 4194304 13447 0 0 0 28 1 0 0 20 0 1 0 47163449 70979584 14978 18446744073709551615 4198400 14093885 140723986157792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 53653504 140723986164074 140723986164189 140723986164189 140723986169791 0
/proc/51737/statm: 17329 14978 2496 2416 0 14431 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 69316 KiB
Current children cumulated memory: 59912 KiB
[startup+0.700134 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 51738
/proc/meminfo: memFree=125159244/131249992 swapFree=33010684/33010684
[pid=51737] ppid=51734 vsize=69756 memory=60168 CPUtime=0.68 cores=0,2
/proc/51737/stat : 51737 (CASHWMaxSAT-Dis) R 51734 51737 50614 0 -1 4194304 13533 0 0 0 67 1 0 0 20 0 1 0 47163449 71430144 15042 18446744073709551615 4198400 14093885 140723986157792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 53653504 140723986164074 140723986164189 140723986164189 140723986169791 0
/proc/51737/statm: 17439 15042 2496 2416 0 14541 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 69756 KiB
Current children cumulated memory: 60168 KiB
[startup+1.50017 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 51738
/proc/meminfo: memFree=125159244/131249992 swapFree=33010684/33010684
[pid=51737] ppid=51734 vsize=70000 memory=60296 CPUtime=1.48 cores=0,2
/proc/51737/stat : 51737 (CASHWMaxSAT-Dis) R 51734 51737 50614 0 -1 4194304 13559 0 0 0 147 1 0 0 20 0 1 0 47163449 71680000 15074 18446744073709551615 4198400 14093885 140723986157792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 53653504 140723986164074 140723986164189 140723986164189 140723986169791 0
/proc/51737/statm: 17500 15074 2496 2416 0 14602 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 70000 KiB
Current children cumulated memory: 60296 KiB
[startup+3.10513 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 51738
/proc/meminfo: memFree=125127492/131249992 swapFree=33010684/33010684
[pid=51737] ppid=51734 vsize=107216 memory=88712 CPUtime=3.09 cores=0,2
/proc/51737/stat : 51737 (CASHWMaxSAT-Dis) R 51734 51737 50614 0 -1 4194304 20628 0 0 0 306 3 0 0 20 0 1 0 47163449 109789184 22178 18446744073709551615 4198400 14093885 140723986157792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 53653504 140723986164074 140723986164189 140723986164189 140723986169791 0
/proc/51737/statm: 26804 22178 2528 2416 0 23906 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 107216 KiB
Current children cumulated memory: 88712 KiB
[startup+6.30016 s]
/proc/loadavg: 4.06 4.08 4.09 5/264 51738
/proc/meminfo: memFree=125119428/131249992 swapFree=33010684/33010684
[pid=51737] ppid=51734 vsize=129076 memory=100872 CPUtime=6.27 cores=0,2
/proc/51737/stat : 51737 (CASHWMaxSAT-Dis) R 51734 51737 50614 0 -1 4194304 23679 0 0 0 624 3 0 0 20 0 1 0 47163449 132173824 25218 18446744073709551615 4198400 14093885 140723986157792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 53653504 140723986164074 140723986164189 140723986164189 140723986169791 0
/proc/51737/statm: 32269 25218 2528 2416 0 29371 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 129076 KiB
Current children cumulated memory: 100872 KiB
[startup+12.7002 s]
/proc/loadavg: 4.06 4.08 4.09 5/264 51738
/proc/meminfo: memFree=125083256/131249992 swapFree=33010684/33010684
[pid=51737] ppid=51734 vsize=153508 memory=125192 CPUtime=12.65 cores=0,2
/proc/51737/stat : 51737 (CASHWMaxSAT-Dis) R 51734 51737 50614 0 -1 4194304 29761 0 0 0 1261 4 0 0 20 0 1 0 47163449 157192192 31298 18446744073709551615 4198400 14093885 140723986157792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 53653504 140723986164074 140723986164189 140723986164189 140723986169791 0
/proc/51737/statm: 38377 31298 2528 2416 0 35479 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 153508 KiB
Current children cumulated memory: 125192 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 51738
/proc/meminfo: memFree=125061852/131249992 swapFree=33010684/33010684
[pid=51737] ppid=51734 vsize=153508 memory=125192 CPUtime=25.41 cores=0,2
/proc/51737/stat : 51737 (CASHWMaxSAT-Dis) R 51734 51737 50614 0 -1 4194304 29794 0 0 0 2537 4 0 0 20 0 1 0 47163449 157192192 31298 18446744073709551615 4198400 14093885 140723986157792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 53653504 140723986164074 140723986164189 140723986164189 140723986169791 0
/proc/51737/statm: 38377 31298 2528 2416 0 35479 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 153508 KiB
Current children cumulated memory: 125192 KiB
[startup+51.1052 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 51739
/proc/meminfo: memFree=125052340/131249992 swapFree=33010684/33010684
[pid=51737] ppid=51734 vsize=171752 memory=142344 CPUtime=50.95 cores=0,2
/proc/51737/stat : 51737 (CASHWMaxSAT-Dis) R 51734 51737 50614 0 -1 4194304 34069 0 0 0 5090 5 0 0 20 0 1 0 47163449 175874048 35586 18446744073709551615 4198400 14093885 140723986157792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 53653504 140723986164074 140723986164189 140723986164189 140723986169791 0
/proc/51737/statm: 42938 35586 2528 2416 0 40040 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 171752 KiB
Current children cumulated memory: 142344 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.11 4.10 5/264 51740
/proc/meminfo: memFree=124988980/131249992 swapFree=33010684/33010684
[pid=51737] ppid=51734 vsize=235536 memory=189448 CPUtime=102 cores=0,2
/proc/51737/stat : 51737 (CASHWMaxSAT-Dis) R 51734 51737 50614 0 -1 4194304 43940 0 0 0 10193 7 0 0 20 0 1 0 47163449 241188864 47362 18446744073709551615 4198400 14093885 140723986157792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 53653504 140723986164074 140723986164189 140723986164189 140723986169791 0
/proc/51737/statm: 58884 47362 2784 2416 0 55986 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 235536 KiB
Current children cumulated memory: 189448 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/264 51742
/proc/meminfo: memFree=124867568/131249992 swapFree=33010684/33010684
[pid=51737] ppid=51734 vsize=297112 memory=266376 CPUtime=161.83 cores=0,2
/proc/51737/stat : 51737 (CASHWMaxSAT-Dis) R 51734 51737 50614 0 -1 4194304 56620 0 0 0 16174 9 0 0 20 0 1 0 47163449 304242688 66594 18446744073709551615 4198400 14093885 140723986157792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 53653504 140723986164074 140723986164189 140723986164189 140723986169791 0
/proc/51737/statm: 74278 66594 2784 2416 0 71380 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 297112 KiB
Current children cumulated memory: 266376 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/263 51744
/proc/meminfo: memFree=124825740/131249992 swapFree=33010684/33010684
[pid=51737] ppid=51734 vsize=347912 memory=311816 CPUtime=221.67 cores=0,2
/proc/51737/stat : 51737 (CASHWMaxSAT-Dis) R 51734 51737 50614 0 -1 4194304 62544 0 0 0 22156 11 0 0 20 0 1 0 47163449 356261888 77954 18446744073709551615 4198400 14093885 140723986157792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 53653504 140723986164074 140723986164189 140723986164189 140723986169791 0
/proc/51737/statm: 86978 77954 2784 2416 0 84080 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 347912 KiB
Current children cumulated memory: 311816 KiB
[startup+282.3 s]
/proc/loadavg: 4.18 4.12 4.10 5/262 51746
/proc/meminfo: memFree=124766284/131249992 swapFree=33010684/33010684
[pid=51737] ppid=51734 vsize=374056 memory=367624 CPUtime=281.51 cores=0,2
/proc/51737/stat : 51737 (CASHWMaxSAT-Dis) R 51734 51737 50614 0 -1 4194304 67451 0 0 0 28139 12 0 0 20 0 1 0 47163449 383033344 91906 18446744073709551615 4198400 14093885 140723986157792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 53653504 140723986164074 140723986164189 140723986164189 140723986169791 0
/proc/51737/statm: 93514 91906 2784 2416 0 90616 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 374056 KiB
Current children cumulated memory: 367624 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 51749
/proc/meminfo: memFree=124773816/131249992 swapFree=33010684/33010684
[pid=51737] ppid=51734 vsize=374056 memory=367624 CPUtime=341.35 cores=0,2
/proc/51737/stat : 51737 (CASHWMaxSAT-Dis) R 51734 51737 50614 0 -1 4194304 67599 0 0 0 34123 12 0 0 20 0 1 0 47163449 383033344 91906 18446744073709551615 4198400 14093885 140723986157792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 53653504 140723986164074 140723986164189 140723986164189 140723986169791 0
/proc/51737/statm: 93514 91906 2784 2416 0 90616 0
Current children cumulated CPU time: 341.35 s
Current children cumulated vsize: 374056 KiB
Current children cumulated memory: 367624 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 51751
/proc/meminfo: memFree=124779452/131249992 swapFree=33010684/33010684
[pid=51737] ppid=51734 vsize=374056 memory=367624 CPUtime=401.2 cores=0,2
/proc/51737/stat : 51737 (CASHWMaxSAT-Dis) R 51734 51737 50614 0 -1 4194304 67721 0 0 0 40108 12 0 0 20 0 1 0 47163449 383033344 91906 18446744073709551615 4198400 14093885 140723986157792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 53653504 140723986164074 140723986164189 140723986164189 140723986169791 0
/proc/51737/statm: 93514 91906 2784 2416 0 90616 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 374056 KiB
Current children cumulated memory: 367624 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/263 51753
/proc/meminfo: memFree=124786880/131249992 swapFree=33010684/33010684
[pid=51737] ppid=51734 vsize=374056 memory=367752 CPUtime=461.04 cores=0,2
/proc/51737/stat : 51737 (CASHWMaxSAT-Dis) R 51734 51737 50614 0 -1 4194304 67809 0 0 0 46092 12 0 0 20 0 1 0 47163449 383033344 91938 18446744073709551615 4198400 14093885 140723986157792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 53653504 140723986164074 140723986164189 140723986164189 140723986169791 0
/proc/51737/statm: 93514 91938 2784 2416 0 90616 0
################
# More data... #
################
Current children cumulated memory: 462440 KiB
[startup+2922.3 s]
/proc/loadavg: 1.10 1.16 1.96 2/244 51972
/proc/meminfo: memFree=126630548/131249992 swapFree=33010684/33010684
[pid=51737] ppid=51734 vsize=486644 memory=461312 CPUtime=2915.09 cores=0,2
/proc/51737/stat : 51737 (CASHWMaxSAT-Dis) R 51734 51737 50614 0 -1 4194304 93480 0 0 0 291455 54 0 0 20 0 1 0 47163449 498323456 115328 18446744073709551615 4198400 14093885 140723986157792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 53653504 140723986164074 140723986164189 140723986164189 140723986169791 0
/proc/51737/statm: 121661 115328 2784 2416 0 118763 0
Current children cumulated CPU time: 2915.09 s
Current children cumulated vsize: 486644 KiB
Current children cumulated memory: 461312 KiB
[startup+2982.3 s]
/proc/loadavg: 1.08 1.14 1.91 2/246 51982
/proc/meminfo: memFree=126609384/131249992 swapFree=33010684/33010684
[pid=51737] ppid=51734 vsize=486644 memory=467456 CPUtime=2974.97 cores=0,2
/proc/51737/stat : 51737 (CASHWMaxSAT-Dis) R 51734 51737 50614 0 -1 4194304 95025 0 0 0 297435 62 0 0 20 0 1 0 47163449 498323456 116864 18446744073709551615 4198400 14093885 140723986157792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 53653504 140723986164074 140723986164189 140723986164189 140723986169791 0
/proc/51737/statm: 121661 116864 2784 2416 0 118763 0
Current children cumulated CPU time: 2974.97 s
Current children cumulated vsize: 486644 KiB
Current children cumulated memory: 467456 KiB
[startup+3042.3 s]
/proc/loadavg: 1.09 1.13 1.85 2/246 51985
/proc/meminfo: memFree=126613680/131249992 swapFree=33010684/33010684
[pid=51737] ppid=51734 vsize=486644 memory=465408 CPUtime=3034.83 cores=0,2
/proc/51737/stat : 51737 (CASHWMaxSAT-Dis) R 51734 51737 50614 0 -1 4194304 96587 0 0 0 303413 70 0 0 20 0 1 0 47163449 498323456 116352 18446744073709551615 4198400 14093885 140723986157792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 53653504 140723986164074 140723986164189 140723986164189 140723986169791 0
/proc/51737/statm: 121661 116352 2784 2416 0 118763 0
Current children cumulated CPU time: 3034.83 s
Current children cumulated vsize: 486644 KiB
Current children cumulated memory: 465408 KiB
[startup+3102.3 s]
/proc/loadavg: 1.08 1.12 1.80 2/246 51987
/proc/meminfo: memFree=126610136/131249992 swapFree=33010684/33010684
[pid=51737] ppid=51734 vsize=486644 memory=463284 CPUtime=3094.71 cores=0,2
/proc/51737/stat : 51737 (CASHWMaxSAT-Dis) R 51734 51737 50614 0 -1 4194304 98135 0 0 0 309393 78 0 0 20 0 1 0 47163449 498323456 115821 18446744073709551615 4198400 14093885 140723986157792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 53653504 140723986164074 140723986164189 140723986164189 140723986169791 0
/proc/51737/statm: 121661 115821 2784 2416 0 118763 0
Current children cumulated CPU time: 3094.71 s
Current children cumulated vsize: 486644 KiB
Current children cumulated memory: 463284 KiB
[startup+3162.3 s]
/proc/loadavg: 1.15 1.12 1.76 2/246 51989
/proc/meminfo: memFree=126608448/131249992 swapFree=33010684/33010684
[pid=51737] ppid=51734 vsize=486644 memory=469428 CPUtime=3154.57 cores=0,2
/proc/51737/stat : 51737 (CASHWMaxSAT-Dis) R 51734 51737 50614 0 -1 4194304 99606 0 0 0 315372 85 0 0 20 0 1 0 47163449 498323456 117357 18446744073709551615 4198400 14093885 140723986157792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 53653504 140723986164074 140723986164189 140723986164189 140723986169791 0
/proc/51737/statm: 121661 117357 2784 2416 0 118763 0
Current children cumulated CPU time: 3154.57 s
Current children cumulated vsize: 486644 KiB
Current children cumulated memory: 469428 KiB
[startup+3222.3 s]
/proc/loadavg: 1.05 1.10 1.71 2/246 51991
/proc/meminfo: memFree=126611128/131249992 swapFree=33010684/33010684
[pid=51737] ppid=51734 vsize=486644 memory=465332 CPUtime=3214.45 cores=0,2
/proc/51737/stat : 51737 (CASHWMaxSAT-Dis) R 51734 51737 50614 0 -1 4194304 101196 0 0 0 321351 94 0 0 20 0 1 0 47163449 498323456 116333 18446744073709551615 4198400 14093885 140723986157792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 53653504 140723986164074 140723986164189 140723986164189 140723986169791 0
/proc/51737/statm: 121661 116333 2784 2416 0 118763 0
Current children cumulated CPU time: 3214.45 s
Current children cumulated vsize: 486644 KiB
Current children cumulated memory: 465332 KiB
[startup+3282.3 s]
/proc/loadavg: 1.06 1.09 1.67 2/244 51993
/proc/meminfo: memFree=126596188/131249992 swapFree=33010684/33010684
[pid=51737] ppid=51734 vsize=486644 memory=467548 CPUtime=3274.32 cores=0,2
/proc/51737/stat : 51737 (CASHWMaxSAT-Dis) R 51734 51737 50614 0 -1 4194304 102664 0 0 0 327331 101 0 0 20 0 1 0 47163449 498323456 116887 18446744073709551615 4198400 14093885 140723986157792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 53653504 140723986164074 140723986164189 140723986164189 140723986169791 0
/proc/51737/statm: 121661 116887 2784 2416 0 118763 0
Current children cumulated CPU time: 3274.32 s
Current children cumulated vsize: 486644 KiB
Current children cumulated memory: 467548 KiB
[startup+3342.3 s]
/proc/loadavg: 1.12 1.10 1.63 2/244 51995
/proc/meminfo: memFree=126606140/131249992 swapFree=33010684/33010684
[pid=51737] ppid=51734 vsize=486644 memory=461236 CPUtime=3334.2 cores=0,2
/proc/51737/stat : 51737 (CASHWMaxSAT-Dis) R 51734 51737 50614 0 -1 4194304 104313 0 0 0 333311 109 0 0 20 0 1 0 47163449 498323456 115309 18446744073709551615 4198400 14093885 140723986157792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 53653504 140723986164074 140723986164189 140723986164189 140723986169791 0
/proc/51737/statm: 121661 115309 2784 2416 0 118763 0
Current children cumulated CPU time: 3334.2 s
Current children cumulated vsize: 486644 KiB
Current children cumulated memory: 461236 KiB
[startup+3402.3 s]
/proc/loadavg: 1.10 1.10 1.60 2/244 51997
/proc/meminfo: memFree=126606488/131249992 swapFree=33010684/33010684
[pid=51737] ppid=51734 vsize=486644 memory=469428 CPUtime=3394.07 cores=0,2
/proc/51737/stat : 51737 (CASHWMaxSAT-Dis) R 51734 51737 50614 0 -1 4194304 105715 0 0 0 339292 115 0 0 20 0 1 0 47163449 498323456 117357 18446744073709551615 4198400 14093885 140723986157792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 53653504 140723986164074 140723986164189 140723986164189 140723986169791 0
/proc/51737/statm: 121661 117357 2784 2416 0 118763 0
Current children cumulated CPU time: 3394.07 s
Current children cumulated vsize: 486644 KiB
Current children cumulated memory: 469428 KiB
[startup+3462.3 s]
/proc/loadavg: 1.11 1.09 1.56 2/244 51999
/proc/meminfo: memFree=126600056/131249992 swapFree=33010684/33010684
[pid=51737] ppid=51734 vsize=486644 memory=461404 CPUtime=3453.94 cores=0,2
/proc/51737/stat : 51737 (CASHWMaxSAT-Dis) R 51734 51737 50614 0 -1 4194304 107516 0 0 0 345270 124 0 0 20 0 1 0 47163449 498323456 115351 18446744073709551615 4198400 14093885 140723986157792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 53653504 140723986164074 140723986164189 140723986164189 140723986169791 0
/proc/51737/statm: 121661 115351 2784 2416 0 118763 0
Current children cumulated CPU time: 3453.94 s
Current children cumulated vsize: 486644 KiB
Current children cumulated memory: 461404 KiB
[startup+3522.3 s]
/proc/loadavg: 1.09 1.09 1.53 2/244 52001
/proc/meminfo: memFree=126600620/131249992 swapFree=33010684/33010684
[pid=51737] ppid=51734 vsize=486644 memory=465500 CPUtime=3513.81 cores=0,2
/proc/51737/stat : 51737 (CASHWMaxSAT-Dis) R 51734 51737 50614 0 -1 4194304 109133 0 0 0 351249 132 0 0 20 0 1 0 47163449 498323456 116375 18446744073709551615 4198400 14093885 140723986157792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 53653504 140723986164074 140723986164189 140723986164189 140723986169791 0
/proc/51737/statm: 121661 116375 2784 2416 0 118763 0
Current children cumulated CPU time: 3513.81 s
Current children cumulated vsize: 486644 KiB
Current children cumulated memory: 465500 KiB
[startup+3582.3 s]
/proc/loadavg: 1.08 1.09 1.50 2/245 52010
/proc/meminfo: memFree=126595828/131249992 swapFree=33010684/33010684
[pid=51737] ppid=51734 vsize=486644 memory=465500 CPUtime=3573.68 cores=0,2
/proc/51737/stat : 51737 (CASHWMaxSAT-Dis) R 51734 51737 50614 0 -1 4194304 110729 0 0 0 357229 139 0 0 20 0 1 0 47163449 498323456 116375 18446744073709551615 4198400 14093885 140723986157792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 53653504 140723986164074 140723986164189 140723986164189 140723986169791 0
/proc/51737/statm: 121661 116375 2784 2416 0 118763 0
Current children cumulated CPU time: 3573.68 s
Current children cumulated vsize: 486644 KiB
Current children cumulated memory: 465500 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.7 s]
/proc/loadavg: 1.11 1.09 1.49 2/245 52011
/proc/meminfo: memFree=126597452/131249992 swapFree=33010684/33010684
[pid=51737] ppid=51734 vsize=486644 memory=467548 CPUtime=3600.02 cores=0,2
/proc/51737/stat : 51737 (CASHWMaxSAT-Dis) R 51734 51737 50614 0 -1 4194304 111401 0 0 0 359860 142 0 0 20 0 1 0 47163449 498323456 116887 18446744073709551615 4198400 14093885 140723986157792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 53653504 140723986164074 140723986164189 140723986164189 140723986169791 0
/proc/51737/statm: 121661 116887 2784 2416 0 118763 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 486644 KiB
Current children cumulated memory: 467548 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.7 s]
# the end of solver process 51737 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3598.61 s, system=1.43164 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3608.7 s]
/proc/loadavg: 1.11 1.09 1.49 2/245 52011
/proc/meminfo: memFree=126597452/131249992 swapFree=33010684/33010684
[pid=51737] ppid=51734 vsize=486644 memory=467548 CPUtime=3600.02 cores=0,2
/proc/51737/stat : 51737 (CASHWMaxSAT-Dis) R 51734 51737 50614 0 -1 4194304 111401 0 0 0 359860 142 0 0 20 0 1 0 47163449 498323456 116887 18446744073709551615 4198400 14093885 140723986157792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 53653504 140723986164074 140723986164189 140723986164189 140723986169791 0
/proc/51737/statm: 121661 116887 2784 2416 0 118763 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 486644 KiB
Current children cumulated memory: 467548 KiB
Child status: 10
Real time (s): 3608.7
CPU time (s): 3600.04
CPU user time (s): 3598.61
CPU system time (s): 1.43164
CPU usage (%): 99.7599
Max. virtual memory (cumulated for all children) (KiB): 535964
Max. memory (cumulated for all children) (KiB): 500792
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.61
system time used= 1.43164
maximum resident set size= 502840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 111402
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= 49
involuntary context switches= 4613
# summary of solver processes directly reported to runsolver:
# pid: 51737
# total CPU time (s): 3600.04
# total CPU user time (s): 3598.61
# total CPU system time (s): 1.43164
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.41337 second user time and 14.5064 second system time
The end
Begin job on nodeC025 at 2025-06-30 22:20:47 IDJOB=4486492 IDBENCH=147022 IDSOLVER=3323 FILE ID=nodeC025/4486492-1751314847 RUNJOBID= nodeC025-1751305795-50624 SLURM_JOB_ID= 9594307 Free space on /tmp= 433020 MiB SOLVER NAME= CASHWMaxSATDisjCom-S 2025-06-01 BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ttp/normalized-data6_3.opb COMMAND LINE= CASHWMaxSAT-DisjCom-S BENCHNAME -total-t=TIMEOUT -no-par -v0 RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4486492-1751314847/watcher-4486492-1751314847 -o /tmp/evaluation-result-4486492-1751314847/solver-4486492-1751314847 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751305795-50624 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4486492-1751314847.opb -total-t=3600 -no-par -v0 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 9e6692c80f11b0068f23fe5849cf8b25 RANDOM SEED=1913846785 nodeC025 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 : 0xb00002a cpu MHz : 3599.804 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.67 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.826 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.67 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 : 0xb00002a cpu MHz : 3598.408 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.67 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3598.138 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.67 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 : 0xb00002a cpu MHz : 3599.826 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.67 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.811 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.67 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 : 0xb00002a cpu MHz : 3653.322 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.67 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.573 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.67 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249992 kB MemFree: 125191488 kB MemAvailable: 127903632 kB Buffers: 3280 kB Cached: 3511124 kB SwapCached: 0 kB Active: 2216344 kB Inactive: 3172072 kB Active(anon): 1892096 kB Inactive(anon): 0 kB Active(file): 324248 kB Inactive(file): 3172072 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 12968 kB Writeback: 16 kB AnonPages: 1875576 kB Mapped: 134604 kB Shmem: 18084 kB KReclaimable: 110124 kB Slab: 198380 kB SReclaimable: 110124 kB SUnreclaim: 88256 kB KernelStack: 4288 kB PageTables: 6928 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 2556260 kB VmallocTotal: 34359738367 kB VmallocUsed: 150552 kB VmallocChunk: 0 kB Percpu: 3680 kB HardwareCorrupted: 0 kB AnonHugePages: 1554432 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: 207572 kB DirectMap2M: 9000960 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 433052 MiB End job on nodeC025 at 2025-06-30 23:20:56