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) | -34 | 3600.01 | 3611.4 |
| Name | PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-3.opb |
| MD5SUM | e50abc2725c4e3a238fbda7c772437b2 |
| 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 | -35 |
| Best CPU time to get the best result obtained on this benchmark | 2.90628 |
| 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 | 595 |
| Total number of constraints | 27931 |
| Number of constraints which are clauses | 27931 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 2 |
| Number of terms in the objective function | 595 |
| 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 | 595 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 595 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.09/0.11 c Using COMiniSatPS SAT solver by Chanseok Oh (2016) 0.09/0.11 c Using COMiniSatPS SAT solver by Chanseok Oh (2016) 0.09/0.11 o 0 0.09/0.11 c Using SCIP solver, version 8.1.0, https://www.scipopt.org 0.09/0.13 c Starting SCIP solver (with time-limit = 1800s) ... 1794.33/1800.13 c SCIP timeout with lower and upper bounds: [-35, -34] 1794.33/1800.13 o -34 1794.33/1800.13 c Restarting SCIP solver (with time-limit = 2400s) ... 2392.29/2400.13 c SCIP timeout with lower and upper bounds: [-35, -34] 3600.00/3611.40 3600.00/3611.40 v x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 x497 -x496 -x495 -x494 x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 x359 -x358 x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 x273 -x272 -x271 -x270 -x269 -x268 x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 x90 -x89 -x88 -x87 -x86 -x85 -x84 x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 x3 -x2 -x1 3600.00/3611.40 s SATISFIABLE
OK -34
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 (63192 MiB free)
memory of node 1: 64465 MiB (64016 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4485020-1751302674/watcher-4485020-1751302674 -o /tmp/evaluation-result-4485020-1751302674/solver-4485020-1751302674 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751302674-39254 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4485020-1751302674.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
solver pid=39306, runsolver pid=39294
Current StackSize limit: 8192 KiB
[startup+0.100062 s]*
/proc/loadavg: 1.13 2.52 3.57 5/266 39311
/proc/meminfo: memFree=130178044/131250000 swapFree=33007332/33010684
[pid=39306] ppid=39294 vsize=41380 memory=23552 CPUtime=0.09 cores=1,3
/proc/39306/stat : 39306 (CASHWMaxSAT-Dis) R 39294 39306 39242 0 -1 4194304 5252 0 0 0 9 0 0 0 20 0 1 0 45944952 42373120 5888 18446744073709551615 4198400 14093885 140724634901664 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 33513472 140724634909034 140724634909149 140724634909149 140724634914751 0
/proc/39306/statm: 10345 5888 768 2416 0 7447 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 41380 KiB
Current children cumulated memory: 23552 KiB
[startup+0.205498 s]*
/proc/loadavg: 1.13 2.52 3.57 6/266 39311
/proc/meminfo: memFree=130049776/131250000 swapFree=33007332/33010684
[pid=39306] ppid=39294 vsize=76768 memory=66524 CPUtime=0.2 cores=1,3
/proc/39306/stat : 39306 (CASHWMaxSAT-Dis) R 39294 39306 39242 0 -1 4194304 14705 0 0 0 18 2 0 0 20 0 1 0 45944952 78610432 16631 18446744073709551615 4198400 14093885 140724634901664 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 33513472 140724634909034 140724634909149 140724634909149 140724634914751 0
/proc/39306/statm: 19192 16631 2336 2416 0 16294 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 76768 KiB
Current children cumulated memory: 66524 KiB
[startup+0.30577 s]*
/proc/loadavg: 1.13 2.52 3.57 5/266 39311
/proc/meminfo: memFree=129977200/131250000 swapFree=33007332/33010684
[pid=39306] ppid=39294 vsize=89048 memory=79068 CPUtime=0.29 cores=1,3
/proc/39306/stat : 39306 (CASHWMaxSAT-Dis) R 39294 39306 39242 0 -1 4194304 17767 0 0 0 27 2 0 0 20 0 1 0 45944952 91185152 19767 18446744073709551615 4198400 14093885 140724634901664 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 33513472 140724634909034 140724634909149 140724634909149 140724634914751 0
/proc/39306/statm: 22262 19767 2400 2416 0 19364 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 89048 KiB
Current children cumulated memory: 79068 KiB
[startup+0.700169 s]
/proc/loadavg: 1.13 2.52 3.57 5/266 39311
/proc/meminfo: memFree=129759680/131250000 swapFree=33007332/33010684
[pid=39306] ppid=39294 vsize=157300 memory=142972 CPUtime=0.69 cores=1,3
/proc/39306/stat : 39306 (CASHWMaxSAT-Dis) R 39294 39306 39242 0 -1 4194304 28828 0 0 0 64 5 0 0 20 0 1 0 45944952 161075200 35743 18446744073709551615 4198400 14093885 140724634901664 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 33513472 140724634909034 140724634909149 140724634909149 140724634914751 0
/proc/39306/statm: 39325 35743 2496 2416 0 36427 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 157300 KiB
Current children cumulated memory: 142972 KiB
[startup+1.50018 s]
/proc/loadavg: 1.13 2.52 3.57 5/266 39311
/proc/meminfo: memFree=129615460/131250000 swapFree=33007332/33010684
[pid=39306] ppid=39294 vsize=171392 memory=152572 CPUtime=1.49 cores=1,3
/proc/39306/stat : 39306 (CASHWMaxSAT-Dis) R 39294 39306 39242 0 -1 4194304 31226 0 0 0 144 5 0 0 20 0 1 0 45944952 175505408 38143 18446744073709551615 4198400 14093885 140724634901664 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 33513472 140724634909034 140724634909149 140724634909149 140724634914751 0
/proc/39306/statm: 42848 38143 2496 2416 0 39950 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 171392 KiB
Current children cumulated memory: 152572 KiB
[startup+3.10538 s]
/proc/loadavg: 1.36 2.54 3.57 5/266 39311
/proc/meminfo: memFree=129469840/131250000 swapFree=33007332/33010684
[pid=39306] ppid=39294 vsize=179696 memory=153340 CPUtime=3.09 cores=1,3
/proc/39306/stat : 39306 (CASHWMaxSAT-Dis) R 39294 39306 39242 0 -1 4194304 31400 0 0 0 304 5 0 0 20 0 1 0 45944952 184008704 38335 18446744073709551615 4198400 14093885 140724634901664 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 33513472 140724634909034 140724634909149 140724634909149 140724634914751 0
/proc/39306/statm: 44924 38335 2496 2416 0 42026 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 179696 KiB
Current children cumulated memory: 153340 KiB
[startup+6.30016 s]
/proc/loadavg: 1.36 2.54 3.57 5/266 39311
/proc/meminfo: memFree=129409704/131250000 swapFree=33007332/33010684
[pid=39306] ppid=39294 vsize=201876 memory=157692 CPUtime=6.27 cores=1,3
/proc/39306/stat : 39306 (CASHWMaxSAT-Dis) R 39294 39306 39242 0 -1 4194304 32508 0 0 0 622 5 0 0 20 0 1 0 45944952 206721024 39423 18446744073709551615 4198400 14093885 140724634901664 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 33513472 140724634909034 140724634909149 140724634909149 140724634914751 0
/proc/39306/statm: 50469 39423 2496 2416 0 47571 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 201876 KiB
Current children cumulated memory: 157692 KiB
[startup+12.7002 s]
/proc/loadavg: 1.57 2.57 3.57 5/266 39311
/proc/meminfo: memFree=129321860/131250000 swapFree=33007332/33010684
[pid=39306] ppid=39294 vsize=266464 memory=198780 CPUtime=12.65 cores=1,3
/proc/39306/stat : 39306 (CASHWMaxSAT-Dis) R 39294 39306 39242 0 -1 4194304 42750 0 0 0 1258 7 0 0 20 0 1 0 45944952 272859136 49695 18446744073709551615 4198400 14093885 140724634901664 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 33513472 140724634909034 140724634909149 140724634909149 140724634914751 0
/proc/39306/statm: 66616 49695 2528 2416 0 63718 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 266464 KiB
Current children cumulated memory: 198780 KiB
[startup+25.5002 s]
/proc/loadavg: 2.11 2.64 3.58 5/266 39312
/proc/meminfo: memFree=129240428/131250000 swapFree=33007332/33010684
[pid=39306] ppid=39294 vsize=284732 memory=215544 CPUtime=25.42 cores=1,3
/proc/39306/stat : 39306 (CASHWMaxSAT-Dis) R 39294 39306 39242 0 -1 4194304 50092 0 0 0 2534 8 0 0 20 0 1 0 45944952 291565568 53886 18446744073709551615 4198400 14093885 140724634901664 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 33513472 140724634909034 140724634909149 140724634909149 140724634914751 0
/proc/39306/statm: 71183 53886 2528 2416 0 68285 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 284732 KiB
Current children cumulated memory: 215544 KiB
[startup+51.1055 s]
/proc/loadavg: 2.81 2.77 3.60 5/266 39312
/proc/meminfo: memFree=129105076/131250000 swapFree=33007332/33010684
[pid=39306] ppid=39294 vsize=313092 memory=243936 CPUtime=50.94 cores=1,3
/proc/39306/stat : 39306 (CASHWMaxSAT-Dis) R 39294 39306 39242 0 -1 4194304 62269 0 0 0 5084 10 0 0 20 0 1 0 45944952 320606208 60984 18446744073709551615 4198400 14093885 140724634901664 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 33513472 140724634909034 140724634909149 140724634909149 140724634914751 0
/proc/39306/statm: 78273 60984 2528 2416 0 75375 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 313092 KiB
Current children cumulated memory: 243936 KiB
[startup+102.3 s]
/proc/loadavg: 3.54 2.97 3.63 5/264 39316
/proc/meminfo: memFree=128833060/131250000 swapFree=33007332/33010684
[pid=39306] ppid=39294 vsize=410040 memory=321520 CPUtime=101.99 cores=1,3
/proc/39306/stat : 39306 (CASHWMaxSAT-Dis) R 39294 39306 39242 0 -1 4194304 81043 0 0 0 10185 14 0 0 20 0 1 0 45944952 419880960 80380 18446744073709551615 4198400 14093885 140724634901664 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 33513472 140724634909034 140724634909149 140724634909149 140724634914751 0
/proc/39306/statm: 102510 80380 2528 2416 0 99612 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 410040 KiB
Current children cumulated memory: 321520 KiB
[startup+162.3 s]
/proc/loadavg: 3.95 3.19 3.66 5/266 39324
/proc/meminfo: memFree=128652824/131250000 swapFree=33007332/33010684
[pid=39306] ppid=39294 vsize=446440 memory=342812 CPUtime=161.81 cores=1,3
/proc/39306/stat : 39306 (CASHWMaxSAT-Dis) R 39294 39306 39242 0 -1 4194304 89247 0 0 0 16166 15 0 0 20 0 1 0 45944952 457154560 85703 18446744073709551615 4198400 14093885 140724634901664 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 33513472 140724634909034 140724634909149 140724634909149 140724634914751 0
/proc/39306/statm: 111610 85703 2528 2416 0 108712 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 446440 KiB
Current children cumulated memory: 342812 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 3.36 3.69 5/266 39337
/proc/meminfo: memFree=128457932/131250000 swapFree=33007332/33010684
[pid=39306] ppid=39294 vsize=514556 memory=398780 CPUtime=221.63 cores=1,3
/proc/39306/stat : 39306 (CASHWMaxSAT-Dis) R 39294 39306 39242 0 -1 4194304 100461 0 0 0 22146 17 0 0 20 0 1 0 45944952 526905344 99695 18446744073709551615 4198400 14093885 140724634901664 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 33513472 140724634909034 140724634909149 140724634909149 140724634914751 0
/proc/39306/statm: 128639 99695 2784 2416 0 125741 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 514556 KiB
Current children cumulated memory: 398780 KiB
[startup+282.3 s]
/proc/loadavg: 4.06 3.49 3.72 5/265 39339
/proc/meminfo: memFree=128283900/131250000 swapFree=33007332/33010684
[pid=39306] ppid=39294 vsize=578272 memory=458336 CPUtime=281.46 cores=1,3
/proc/39306/stat : 39306 (CASHWMaxSAT-Dis) R 39294 39306 39242 0 -1 4194304 114924 0 0 0 28126 20 0 0 20 0 1 0 45944952 592150528 114584 18446744073709551615 4198400 14093885 140724634901664 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 33513472 140724634909034 140724634909149 140724634909149 140724634914751 0
/proc/39306/statm: 144568 114584 2784 2416 0 141670 0
Current children cumulated CPU time: 281.46 s
Current children cumulated vsize: 578272 KiB
Current children cumulated memory: 458336 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 3.62 3.75 5/266 39343
/proc/meminfo: memFree=128135764/131250000 swapFree=33007332/33010684
[pid=39306] ppid=39294 vsize=606476 memory=487572 CPUtime=341.28 cores=1,3
/proc/39306/stat : 39306 (CASHWMaxSAT-Dis) R 39294 39306 39242 0 -1 4194304 118637 0 0 0 34107 21 0 0 20 0 1 0 45944952 621031424 121893 18446744073709551615 4198400 14093885 140724634901664 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 33513472 140724634909034 140724634909149 140724634909149 140724634914751 0
/proc/39306/statm: 151619 121893 2784 2416 0 148721 0
Current children cumulated CPU time: 341.28 s
Current children cumulated vsize: 606476 KiB
Current children cumulated memory: 487572 KiB
[startup+402.3 s]
/proc/loadavg: 4.05 3.69 3.77 5/266 39345
/proc/meminfo: memFree=128032724/131250000 swapFree=33007332/33010684
[pid=39306] ppid=39294 vsize=629128 memory=508336 CPUtime=401.11 cores=1,3
/proc/39306/stat : 39306 (CASHWMaxSAT-Dis) R 39294 39306 39242 0 -1 4194304 122299 0 0 0 40089 22 0 0 20 0 1 0 45944952 644227072 127084 18446744073709551615 4198400 14093885 140724634901664 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 33513472 140724634909034 140724634909149 140724634909149 140724634914751 0
/proc/39306/statm: 157282 127084 2784 2416 0 154384 0
Current children cumulated CPU time: 401.11 s
Current children cumulated vsize: 629128 KiB
Current children cumulated memory: 508336 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 3.78 3.80 5/264 39347
/proc/meminfo: memFree=127901936/131250000 swapFree=33007332/33010684
[pid=39306] ppid=39294 vsize=652560 memory=525848 CPUtime=460.93 cores=1,3
/proc/39306/stat : 39306 (CASHWMaxSAT-Dis) R 39294 39306 39242 0 -1 4194304 125369 0 0 0 46070 23 0 0 20 0 1 0 45944952 668221440 131462 18446744073709551615 4198400 14093885 140724634901664 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 33513472 140724634909034 140724634909149 140724634909149 140724634914751 0
/proc/39306/statm: 163140 131462 2784 2416 0 160242 0
Current children cumulated CPU time: 460.93 s
################
# More data... #
################
Current children cumulated memory: 621468 KiB
[startup+2862.3 s]
/proc/loadavg: 4.08 4.09 4.05 5/263 39460
/proc/meminfo: memFree=127329328/131250000 swapFree=33007332/33010684
[pid=39306] ppid=39294 vsize=643192 memory=623516 CPUtime=2853.05 cores=1,3
/proc/39306/stat : 39306 (CASHWMaxSAT-Dis) R 39294 39306 39242 0 -1 4194304 250774 0 0 0 285258 47 0 0 20 0 1 0 45944952 658628608 155879 18446744073709551615 4198400 14093885 140724634901664 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 33513472 140724634909034 140724634909149 140724634909149 140724634914751 0
/proc/39306/statm: 160798 155879 2784 2416 0 157900 0
Current children cumulated CPU time: 2853.05 s
Current children cumulated vsize: 643192 KiB
Current children cumulated memory: 623516 KiB
[startup+2922.3 s]
/proc/loadavg: 4.82 4.30 4.12 5/263 39462
/proc/meminfo: memFree=127328616/131250000 swapFree=33007332/33010684
[pid=39306] ppid=39294 vsize=643192 memory=623516 CPUtime=2912.85 cores=1,3
/proc/39306/stat : 39306 (CASHWMaxSAT-Dis) R 39294 39306 39242 0 -1 4194304 250774 0 0 0 291238 47 0 0 20 0 1 0 45944952 658628608 155879 18446744073709551615 4198400 14093885 140724634901664 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 33513472 140724634909034 140724634909149 140724634909149 140724634914751 0
/proc/39306/statm: 160798 155879 2784 2416 0 157900 0
Current children cumulated CPU time: 2912.85 s
Current children cumulated vsize: 643192 KiB
Current children cumulated memory: 623516 KiB
[startup+2982.3 s]
/proc/loadavg: 4.65 4.38 4.16 5/263 39464
/proc/meminfo: memFree=127329144/131250000 swapFree=33007332/33010684
[pid=39306] ppid=39294 vsize=643192 memory=623516 CPUtime=2972.66 cores=1,3
/proc/39306/stat : 39306 (CASHWMaxSAT-Dis) R 39294 39306 39242 0 -1 4194304 250774 0 0 0 297219 47 0 0 20 0 1 0 45944952 658628608 155879 18446744073709551615 4198400 14093885 140724634901664 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 33513472 140724634909034 140724634909149 140724634909149 140724634914751 0
/proc/39306/statm: 160798 155879 2784 2416 0 157900 0
Current children cumulated CPU time: 2972.66 s
Current children cumulated vsize: 643192 KiB
Current children cumulated memory: 623516 KiB
[startup+3042.3 s]
/proc/loadavg: 4.35 4.34 4.16 5/264 39468
/proc/meminfo: memFree=127293552/131250000 swapFree=33007332/33010684
[pid=39306] ppid=39294 vsize=643192 memory=623516 CPUtime=3032.47 cores=1,3
/proc/39306/stat : 39306 (CASHWMaxSAT-Dis) R 39294 39306 39242 0 -1 4194304 250857 0 0 0 303200 47 0 0 20 0 1 0 45944952 658628608 155879 18446744073709551615 4198400 14093885 140724634901664 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 33513472 140724634909034 140724634909149 140724634909149 140724634914751 0
/proc/39306/statm: 160798 155879 2784 2416 0 157900 0
Current children cumulated CPU time: 3032.47 s
Current children cumulated vsize: 643192 KiB
Current children cumulated memory: 623516 KiB
[startup+3102.3 s]
/proc/loadavg: 4.19 4.29 4.16 5/265 39473
/proc/meminfo: memFree=127294408/131250000 swapFree=33007332/33010684
[pid=39306] ppid=39294 vsize=643192 memory=623516 CPUtime=3092.28 cores=1,3
/proc/39306/stat : 39306 (CASHWMaxSAT-Dis) R 39294 39306 39242 0 -1 4194304 250857 0 0 0 309181 47 0 0 20 0 1 0 45944952 658628608 155879 18446744073709551615 4198400 14093885 140724634901664 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 33513472 140724634909034 140724634909149 140724634909149 140724634914751 0
/proc/39306/statm: 160798 155879 2784 2416 0 157900 0
Current children cumulated CPU time: 3092.28 s
Current children cumulated vsize: 643192 KiB
Current children cumulated memory: 623516 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.25 4.15 5/265 39479
/proc/meminfo: memFree=127302176/131250000 swapFree=33007332/33010684
[pid=39306] ppid=39294 vsize=643192 memory=623516 CPUtime=3152.09 cores=1,3
/proc/39306/stat : 39306 (CASHWMaxSAT-Dis) R 39294 39306 39242 0 -1 4194304 250940 0 0 0 315162 47 0 0 20 0 1 0 45944952 658628608 155879 18446744073709551615 4198400 14093885 140724634901664 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 33513472 140724634909034 140724634909149 140724634909149 140724634914751 0
/proc/39306/statm: 160798 155879 2784 2416 0 157900 0
Current children cumulated CPU time: 3152.09 s
Current children cumulated vsize: 643192 KiB
Current children cumulated memory: 623516 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.23 4.15 5/266 39482
/proc/meminfo: memFree=127280276/131250000 swapFree=33007332/33010684
[pid=39306] ppid=39294 vsize=643192 memory=623516 CPUtime=3211.92 cores=1,3
/proc/39306/stat : 39306 (CASHWMaxSAT-Dis) R 39294 39306 39242 0 -1 4194304 250944 0 0 0 321145 47 0 0 20 0 1 0 45944952 658628608 155879 18446744073709551615 4198400 14093885 140724634901664 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 33513472 140724634909034 140724634909149 140724634909149 140724634914751 0
/proc/39306/statm: 160798 155879 2784 2416 0 157900 0
Current children cumulated CPU time: 3211.92 s
Current children cumulated vsize: 643192 KiB
Current children cumulated memory: 623516 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.20 4.15 5/266 39484
/proc/meminfo: memFree=127274780/131250000 swapFree=33007332/33010684
[pid=39306] ppid=39294 vsize=643192 memory=624796 CPUtime=3271.76 cores=1,3
/proc/39306/stat : 39306 (CASHWMaxSAT-Dis) R 39294 39306 39242 0 -1 4194304 251047 0 0 0 327129 47 0 0 20 0 1 0 45944952 658628608 156199 18446744073709551615 4198400 14093885 140724634901664 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 33513472 140724634909034 140724634909149 140724634909149 140724634914751 0
/proc/39306/statm: 160798 156199 2784 2416 0 157900 0
Current children cumulated CPU time: 3271.76 s
Current children cumulated vsize: 643192 KiB
Current children cumulated memory: 624796 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.18 4.14 5/264 39486
/proc/meminfo: memFree=127275460/131250000 swapFree=33007332/33010684
[pid=39306] ppid=39294 vsize=643192 memory=624796 CPUtime=3331.6 cores=1,3
/proc/39306/stat : 39306 (CASHWMaxSAT-Dis) R 39294 39306 39242 0 -1 4194304 251073 0 0 0 333113 47 0 0 20 0 1 0 45944952 658628608 156199 18446744073709551615 4198400 14093885 140724634901664 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 33513472 140724634909034 140724634909149 140724634909149 140724634914751 0
/proc/39306/statm: 160798 156199 2784 2416 0 157900 0
Current children cumulated CPU time: 3331.6 s
Current children cumulated vsize: 643192 KiB
Current children cumulated memory: 624796 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.17 4.14 5/264 39488
/proc/meminfo: memFree=127266280/131250000 swapFree=33007332/33010684
[pid=39306] ppid=39294 vsize=643192 memory=626844 CPUtime=3391.44 cores=1,3
/proc/39306/stat : 39306 (CASHWMaxSAT-Dis) R 39294 39306 39242 0 -1 4194304 251184 0 0 0 339097 47 0 0 20 0 1 0 45944952 658628608 156711 18446744073709551615 4198400 14093885 140724634901664 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 33513472 140724634909034 140724634909149 140724634909149 140724634914751 0
/proc/39306/statm: 160798 156711 2784 2416 0 157900 0
Current children cumulated CPU time: 3391.44 s
Current children cumulated vsize: 643192 KiB
Current children cumulated memory: 626844 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.16 4.13 5/264 39490
/proc/meminfo: memFree=127267000/131250000 swapFree=33007332/33010684
[pid=39306] ppid=39294 vsize=643192 memory=626844 CPUtime=3451.29 cores=1,3
/proc/39306/stat : 39306 (CASHWMaxSAT-Dis) R 39294 39306 39242 0 -1 4194304 251211 0 0 0 345082 47 0 0 20 0 1 0 45944952 658628608 156711 18446744073709551615 4198400 14093885 140724634901664 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 33513472 140724634909034 140724634909149 140724634909149 140724634914751 0
/proc/39306/statm: 160798 156711 2784 2416 0 157900 0
Current children cumulated CPU time: 3451.29 s
Current children cumulated vsize: 643192 KiB
Current children cumulated memory: 626844 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.16 4.13 5/263 39491
/proc/meminfo: memFree=127266156/131250000 swapFree=33007332/33010684
[pid=39306] ppid=39294 vsize=643192 memory=626844 CPUtime=3511.14 cores=1,3
/proc/39306/stat : 39306 (CASHWMaxSAT-Dis) R 39294 39306 39242 0 -1 4194304 251310 0 0 0 351067 47 0 0 20 0 1 0 45944952 658628608 156711 18446744073709551615 4198400 14093885 140724634901664 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 33513472 140724634909034 140724634909149 140724634909149 140724634914751 0
/proc/39306/statm: 160798 156711 2784 2416 0 157900 0
Current children cumulated CPU time: 3511.14 s
Current children cumulated vsize: 643192 KiB
Current children cumulated memory: 626844 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.14 4.13 5/264 39494
/proc/meminfo: memFree=127267188/131250000 swapFree=33007332/33010684
[pid=39306] ppid=39294 vsize=643192 memory=626844 CPUtime=3570.98 cores=1,3
/proc/39306/stat : 39306 (CASHWMaxSAT-Dis) R 39294 39306 39242 0 -1 4194304 251337 0 0 0 357051 47 0 0 20 0 1 0 45944952 658628608 156711 18446744073709551615 4198400 14093885 140724634901664 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 33513472 140724634909034 140724634909149 140724634909149 140724634914751 0
/proc/39306/statm: 160798 156711 2784 2416 0 157900 0
Current children cumulated CPU time: 3570.98 s
Current children cumulated vsize: 643192 KiB
Current children cumulated memory: 626844 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.4 s]
/proc/loadavg: 4.14 4.14 4.13 4/259 39525
/proc/meminfo: memFree=129478544/131250000 swapFree=33007332/33010684
[pid=39306] ppid=39294 vsize=643192 memory=626844 CPUtime=3600 cores=1,3
/proc/39306/stat : 39306 (CASHWMaxSAT-Dis) R 39294 39306 39242 0 -1 4194304 251367 0 0 0 359953 47 0 0 20 0 1 0 45944952 658628608 156711 18446744073709551615 4198400 14093885 140724634901664 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 33513472 140724634909034 140724634909149 140724634909149 140724634914751 0
/proc/39306/statm: 160798 156711 2784 2416 0 157900 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 643192 KiB
Current children cumulated memory: 626844 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.4 s]
# the end of solver process 39306 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.54 s, system=0.475497 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3611.4
CPU time (s): 3600.01
CPU user time (s): 3599.54
CPU system time (s): 0.475497
CPU usage (%): 99.6847
Max. virtual memory (cumulated for all children) (KiB): 1366244
Max. memory (cumulated for all children) (KiB): 1255492
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.54
system time used= 0.475497
maximum resident set size= 1255492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 251368
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= 87
involuntary context switches= 5031
# summary of solver processes directly reported to runsolver:
# pid: 39306
# total CPU time (s): 3600.01
# total CPU user time (s): 3599.54
# total CPU system time (s): 0.475497
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.55815 second user time and 14.5487 second system time
The end
Begin job on nodeC019 at 2025-06-30 18:57:54 IDJOB=4485020 IDBENCH=146691 IDSOLVER=3323 FILE ID=nodeC019/4485020-1751302674 RUNJOBID= nodeC019-1751302674-39254 SLURM_JOB_ID= 9594284 Free space on /tmp= 433044 MiB SOLVER NAME= CASHWMaxSATDisjCom-S 2025-06-01 BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-3.opb COMMAND LINE= CASHWMaxSAT-DisjCom-S BENCHNAME -total-t=TIMEOUT -no-par -v0 RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4485020-1751302674/watcher-4485020-1751302674 -o /tmp/evaluation-result-4485020-1751302674/solver-4485020-1751302674 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751302674-39254 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4485020-1751302674.opb -total-t=3600 -no-par -v0 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= e50abc2725c4e3a238fbda7c772437b2 RANDOM SEED=1393933509 nodeC019 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.672 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.37 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.675 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.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.804 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.37 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 : 3872.604 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.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3651.668 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.37 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.657 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.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.719 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.37 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 : 3601.789 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.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 130265792 kB MemAvailable: 129850432 kB Buffers: 904 kB Cached: 326872 kB SwapCached: 388 kB Active: 194312 kB Inactive: 199484 kB Active(anon): 53160 kB Inactive(anon): 27960 kB Active(file): 141152 kB Inactive(file): 171524 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33007332 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 54040 kB Writeback: 0 kB AnonPages: 68796 kB Mapped: 102472 kB Shmem: 15040 kB KReclaimable: 91956 kB Slab: 178332 kB SReclaimable: 91956 kB SUnreclaim: 86376 kB KernelStack: 4096 kB PageTables: 2872 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 329532 kB VmallocTotal: 34359738367 kB VmallocUsed: 150408 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 12288 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: 176852 kB DirectMap2M: 9031680 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 432984 MiB End job on nodeC019 at 2025-06-30 19:58:06