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.06 | 3609.7 |
| Name | PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-2.opb |
| MD5SUM | d08022a8f602c12904bf031cb8221b8f |
| 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 | 5.01443 |
| 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 | 27847 |
| Number of constraints which are clauses | 27847 |
| 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) ... 1795.14/1800.13 c SCIP timeout with lower and upper bounds: [-35, -34] 1795.14/1800.13 o -34 1795.14/1800.13 c Restarting SCIP solver (with time-limit = 2400s) ... 2393.57/2400.13 c SCIP timeout with lower and upper bounds: [-35, -34] 3600.05/3609.70 3600.05/3609.70 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.05/3609.70 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-4485066-1751302674/watcher-4485066-1751302674 -o /tmp/evaluation-result-4485066-1751302674/solver-4485066-1751302674 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751302674-39253 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4485066-1751302674.opb -total-t=3600 -no-par -v0
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=39302, runsolver pid=39293
Current StackSize limit: 8192 KiB
[startup+0.100064 s]*
/proc/loadavg: 1.13 2.52 3.57 6/266 39311
/proc/meminfo: memFree=130178044/131250000 swapFree=33007332/33010684
[pid=39302] ppid=39293 vsize=41356 memory=25168 CPUtime=0.09 cores=4,6
/proc/39302/stat : 39302 (CASHWMaxSAT-Dis) R 39293 39302 39242 0 -1 4194304 5135 0 0 0 9 0 0 0 20 0 1 0 45944951 42348544 6292 18446744073709551615 4198400 14093885 140721885035840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 47603712 140721885038954 140721885039069 140721885039069 140721885044671 0
/proc/39302/statm: 10339 6292 768 2416 0 7441 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 41356 KiB
Current children cumulated memory: 25168 KiB
[startup+0.20466 s]*
/proc/loadavg: 1.13 2.52 3.57 6/266 39311
/proc/meminfo: memFree=130049776/131250000 swapFree=33007332/33010684
[pid=39302] ppid=39293 vsize=76832 memory=66584 CPUtime=0.2 cores=4,6
/proc/39302/stat : 39302 (CASHWMaxSAT-Dis) R 39293 39302 39242 0 -1 4194304 14609 0 0 0 18 2 0 0 20 0 1 0 45944951 78675968 16646 18446744073709551615 4198400 14093885 140721885035840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 47603712 140721885038954 140721885039069 140721885039069 140721885044671 0
/proc/39302/statm: 19208 16646 2336 2416 0 16310 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 76832 KiB
Current children cumulated memory: 66584 KiB
[startup+0.305821 s]*
/proc/loadavg: 1.13 2.52 3.57 6/266 39311
/proc/meminfo: memFree=129977200/131250000 swapFree=33007332/33010684
[pid=39302] ppid=39293 vsize=89728 memory=79640 CPUtime=0.3 cores=4,6
/proc/39302/stat : 39302 (CASHWMaxSAT-Dis) R 39293 39302 39242 0 -1 4194304 17825 0 0 0 28 2 0 0 20 0 1 0 45944951 91881472 19910 18446744073709551615 4198400 14093885 140721885035840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 47603712 140721885038954 140721885039069 140721885039069 140721885044671 0
/proc/39302/statm: 22432 19910 2400 2416 0 19534 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 89728 KiB
Current children cumulated memory: 79640 KiB
[startup+0.700137 s]
/proc/loadavg: 1.13 2.52 3.57 6/266 39311
/proc/meminfo: memFree=129775808/131250000 swapFree=33007332/33010684
[pid=39302] ppid=39293 vsize=158280 memory=144120 CPUtime=0.69 cores=4,6
/proc/39302/stat : 39302 (CASHWMaxSAT-Dis) R 39293 39302 39242 0 -1 4194304 29005 0 0 0 65 4 0 0 20 0 1 0 45944951 162078720 36030 18446744073709551615 4198400 14093885 140721885035840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 47603712 140721885038954 140721885039069 140721885039069 140721885044671 0
/proc/39302/statm: 39570 36030 2496 2416 0 36672 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 158280 KiB
Current children cumulated memory: 144120 KiB
[startup+1.50012 s]
/proc/loadavg: 1.13 2.52 3.57 6/266 39311
/proc/meminfo: memFree=129615460/131250000 swapFree=33007332/33010684
[pid=39302] ppid=39293 vsize=175236 memory=156232 CPUtime=1.48 cores=4,6
/proc/39302/stat : 39302 (CASHWMaxSAT-Dis) R 39293 39302 39242 0 -1 4194304 31526 0 0 0 144 4 0 0 20 0 1 0 45944951 179441664 39058 18446744073709551615 4198400 14093885 140721885035840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 47603712 140721885038954 140721885039069 140721885039069 140721885044671 0
/proc/39302/statm: 43809 39058 2496 2416 0 40911 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 175236 KiB
Current children cumulated memory: 156232 KiB
[startup+3.10444 s]
/proc/loadavg: 1.36 2.54 3.57 6/266 39311
/proc/meminfo: memFree=129469840/131250000 swapFree=33007332/33010684
[pid=39302] ppid=39293 vsize=180892 memory=156232 CPUtime=3.08 cores=4,6
/proc/39302/stat : 39302 (CASHWMaxSAT-Dis) R 39293 39302 39242 0 -1 4194304 31531 0 0 0 304 4 0 0 20 0 1 0 45944951 185233408 39058 18446744073709551615 4198400 14093885 140721885035840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 47603712 140721885038954 140721885039069 140721885039069 140721885044671 0
/proc/39302/statm: 45223 39058 2496 2416 0 42325 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 180892 KiB
Current children cumulated memory: 156232 KiB
[startup+6.30006 s]
/proc/loadavg: 1.36 2.54 3.57 6/266 39311
/proc/meminfo: memFree=129409704/131250000 swapFree=33007332/33010684
[pid=39302] ppid=39293 vsize=196392 memory=160784 CPUtime=6.28 cores=4,6
/proc/39302/stat : 39302 (CASHWMaxSAT-Dis) R 39293 39302 39242 0 -1 4194304 32145 0 0 0 623 5 0 0 20 0 1 0 45944951 201105408 40196 18446744073709551615 4198400 14093885 140721885035840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 47603712 140721885038954 140721885039069 140721885039069 140721885044671 0
/proc/39302/statm: 49098 40196 2496 2416 0 46200 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 196392 KiB
Current children cumulated memory: 160784 KiB
[startup+12.7001 s]
/proc/loadavg: 1.57 2.57 3.57 6/266 39311
/proc/meminfo: memFree=129321860/131250000 swapFree=33007332/33010684
[pid=39302] ppid=39293 vsize=255640 memory=195880 CPUtime=12.66 cores=4,6
/proc/39302/stat : 39302 (CASHWMaxSAT-Dis) R 39293 39302 39242 0 -1 4194304 43206 0 0 0 1259 7 0 0 20 0 1 0 45944951 261775360 48970 18446744073709551615 4198400 14093885 140721885035840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 47603712 140721885038954 140721885039069 140721885039069 140721885044671 0
/proc/39302/statm: 63910 48970 2528 2416 0 61012 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 255640 KiB
Current children cumulated memory: 195880 KiB
[startup+25.5001 s]
/proc/loadavg: 2.11 2.64 3.58 6/266 39312
/proc/meminfo: memFree=129240428/131250000 swapFree=33007332/33010684
[pid=39302] ppid=39293 vsize=272584 memory=211236 CPUtime=25.41 cores=4,6
/proc/39302/stat : 39302 (CASHWMaxSAT-Dis) R 39293 39302 39242 0 -1 4194304 49689 0 0 0 2533 8 0 0 20 0 1 0 45944951 279126016 52809 18446744073709551615 4198400 14093885 140721885035840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 47603712 140721885038954 140721885039069 140721885039069 140721885044671 0
/proc/39302/statm: 68146 52809 2528 2416 0 65248 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 272584 KiB
Current children cumulated memory: 211236 KiB
[startup+51.1045 s]
/proc/loadavg: 2.81 2.77 3.60 6/266 39312
/proc/meminfo: memFree=129105076/131250000 swapFree=33007332/33010684
[pid=39302] ppid=39293 vsize=297548 memory=233192 CPUtime=50.94 cores=4,6
/proc/39302/stat : 39302 (CASHWMaxSAT-Dis) R 39293 39302 39242 0 -1 4194304 57525 0 0 0 5085 9 0 0 20 0 1 0 45944951 304689152 58298 18446744073709551615 4198400 14093885 140721885035840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 47603712 140721885038954 140721885039069 140721885039069 140721885044671 0
/proc/39302/statm: 74387 58298 2784 2416 0 71489 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 297548 KiB
Current children cumulated memory: 233192 KiB
[startup+102.3 s]
/proc/loadavg: 3.54 2.97 3.63 6/264 39316
/proc/meminfo: memFree=128833060/131250000 swapFree=33007332/33010684
[pid=39302] ppid=39293 vsize=413428 memory=335240 CPUtime=101.99 cores=4,6
/proc/39302/stat : 39302 (CASHWMaxSAT-Dis) R 39293 39302 39242 0 -1 4194304 83037 0 0 0 10186 13 0 0 20 0 1 0 45944951 423350272 83810 18446744073709551615 4198400 14093885 140721885035840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 47603712 140721885038954 140721885039069 140721885039069 140721885044671 0
/proc/39302/statm: 103357 83810 2784 2416 0 100459 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 413428 KiB
Current children cumulated memory: 335240 KiB
[startup+162.3 s]
/proc/loadavg: 3.95 3.19 3.66 6/266 39324
/proc/meminfo: memFree=128652824/131250000 swapFree=33007332/33010684
[pid=39302] ppid=39293 vsize=494336 memory=401760 CPUtime=161.82 cores=4,6
/proc/39302/stat : 39302 (CASHWMaxSAT-Dis) R 39293 39302 39242 0 -1 4194304 95327 0 0 0 16166 16 0 0 20 0 1 0 45944951 506200064 100440 18446744073709551615 4198400 14093885 140721885035840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 47603712 140721885038954 140721885039069 140721885039069 140721885044671 0
/proc/39302/statm: 123584 100440 2784 2416 0 120686 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 494336 KiB
Current children cumulated memory: 401760 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 3.36 3.69 6/266 39337
/proc/meminfo: memFree=128457932/131250000 swapFree=33007332/33010684
[pid=39302] ppid=39293 vsize=515428 memory=456280 CPUtime=221.63 cores=4,6
/proc/39302/stat : 39302 (CASHWMaxSAT-Dis) R 39293 39302 39242 0 -1 4194304 100041 0 0 0 22147 16 0 0 20 0 1 0 45944951 527798272 114070 18446744073709551615 4198400 14093885 140721885035840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 47603712 140721885038954 140721885039069 140721885039069 140721885044671 0
/proc/39302/statm: 128857 114070 2784 2416 0 125959 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 515428 KiB
Current children cumulated memory: 456280 KiB
[startup+282.3 s]
/proc/loadavg: 4.06 3.49 3.72 6/265 39339
/proc/meminfo: memFree=128283900/131250000 swapFree=33007332/33010684
[pid=39302] ppid=39293 vsize=532032 memory=492712 CPUtime=281.46 cores=4,6
/proc/39302/stat : 39302 (CASHWMaxSAT-Dis) R 39293 39302 39242 0 -1 4194304 102993 0 0 0 28129 17 0 0 20 0 1 0 45944951 544800768 123178 18446744073709551615 4198400 14093885 140721885035840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 47603712 140721885038954 140721885039069 140721885039069 140721885044671 0
/proc/39302/statm: 133008 123178 2784 2416 0 130110 0
Current children cumulated CPU time: 281.46 s
Current children cumulated vsize: 532032 KiB
Current children cumulated memory: 492712 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 3.62 3.75 6/266 39343
/proc/meminfo: memFree=128135764/131250000 swapFree=33007332/33010684
[pid=39302] ppid=39293 vsize=551056 memory=522664 CPUtime=341.31 cores=4,6
/proc/39302/stat : 39302 (CASHWMaxSAT-Dis) R 39293 39302 39242 0 -1 4194304 107678 0 0 0 34113 18 0 0 20 0 1 0 45944951 564281344 130666 18446744073709551615 4198400 14093885 140721885035840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 47603712 140721885038954 140721885039069 140721885039069 140721885044671 0
/proc/39302/statm: 137764 130666 2784 2416 0 134866 0
Current children cumulated CPU time: 341.31 s
Current children cumulated vsize: 551056 KiB
Current children cumulated memory: 522664 KiB
[startup+402.3 s]
/proc/loadavg: 4.05 3.69 3.77 6/266 39345
/proc/meminfo: memFree=128032724/131250000 swapFree=33007332/33010684
[pid=39302] ppid=39293 vsize=606568 memory=573512 CPUtime=401.14 cores=4,6
/proc/39302/stat : 39302 (CASHWMaxSAT-Dis) R 39293 39302 39242 0 -1 4194304 113193 0 0 0 40095 19 0 0 20 0 1 0 45944951 621125632 143378 18446744073709551615 4198400 14093885 140721885035840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 47603712 140721885038954 140721885039069 140721885039069 140721885044671 0
/proc/39302/statm: 151642 143378 2784 2416 0 148744 0
Current children cumulated CPU time: 401.14 s
Current children cumulated vsize: 606568 KiB
Current children cumulated memory: 573512 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 3.78 3.80 6/264 39347
/proc/meminfo: memFree=127901936/131250000 swapFree=33007332/33010684
[pid=39302] ppid=39293 vsize=627836 memory=586480 CPUtime=460.97 cores=4,6
/proc/39302/stat : 39302 (CASHWMaxSAT-Dis) R 39293 39302 39242 0 -1 4194304 117192 0 0 0 46077 20 0 0 20 0 1 0 45944951 642904064 146620 18446744073709551615 4198400 14093885 140721885035840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 47603712 140721885038954 140721885039069 140721885039069 140721885044671 0
/proc/39302/statm: 156959 146620 2784 2416 0 154061 0
Current children cumulated CPU time: 460.97 s
################
# More data... #
################
Current children cumulated memory: 541112 KiB
[startup+2922.3 s]
/proc/loadavg: 4.82 4.30 4.12 6/263 39462
/proc/meminfo: memFree=127328616/131250000 swapFree=33007332/33010684
[pid=39302] ppid=39293 vsize=557416 memory=541112 CPUtime=2914.51 cores=4,6
/proc/39302/stat : 39302 (CASHWMaxSAT-Dis) R 39293 39302 39242 0 -1 4194304 292163 0 0 0 291395 56 0 0 20 0 1 0 45944951 570793984 135278 18446744073709551615 4198400 14093885 140721885035840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 47603712 140721885038954 140721885039069 140721885039069 140721885044671 0
/proc/39302/statm: 139354 135278 2784 2416 0 136456 0
Current children cumulated CPU time: 2914.51 s
Current children cumulated vsize: 557416 KiB
Current children cumulated memory: 541112 KiB
[startup+2982.3 s]
/proc/loadavg: 4.65 4.38 4.16 6/263 39464
/proc/meminfo: memFree=127329144/131250000 swapFree=33007332/33010684
[pid=39302] ppid=39293 vsize=557416 memory=541112 CPUtime=2974.36 cores=4,6
/proc/39302/stat : 39302 (CASHWMaxSAT-Dis) R 39293 39302 39242 0 -1 4194304 292226 0 0 0 297380 56 0 0 20 0 1 0 45944951 570793984 135278 18446744073709551615 4198400 14093885 140721885035840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 47603712 140721885038954 140721885039069 140721885039069 140721885044671 0
/proc/39302/statm: 139354 135278 2784 2416 0 136456 0
Current children cumulated CPU time: 2974.36 s
Current children cumulated vsize: 557416 KiB
Current children cumulated memory: 541112 KiB
[startup+3042.3 s]
/proc/loadavg: 4.35 4.34 4.16 6/264 39468
/proc/meminfo: memFree=127293552/131250000 swapFree=33007332/33010684
[pid=39302] ppid=39293 vsize=557416 memory=541112 CPUtime=3034.2 cores=4,6
/proc/39302/stat : 39302 (CASHWMaxSAT-Dis) R 39293 39302 39242 0 -1 4194304 292277 0 0 0 303364 56 0 0 20 0 1 0 45944951 570793984 135278 18446744073709551615 4198400 14093885 140721885035840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 47603712 140721885038954 140721885039069 140721885039069 140721885044671 0
/proc/39302/statm: 139354 135278 2784 2416 0 136456 0
Current children cumulated CPU time: 3034.2 s
Current children cumulated vsize: 557416 KiB
Current children cumulated memory: 541112 KiB
[startup+3102.3 s]
/proc/loadavg: 4.19 4.29 4.16 6/265 39473
/proc/meminfo: memFree=127294408/131250000 swapFree=33007332/33010684
[pid=39302] ppid=39293 vsize=557416 memory=541112 CPUtime=3094.05 cores=4,6
/proc/39302/stat : 39302 (CASHWMaxSAT-Dis) R 39293 39302 39242 0 -1 4194304 292340 0 0 0 309349 56 0 0 20 0 1 0 45944951 570793984 135278 18446744073709551615 4198400 14093885 140721885035840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 47603712 140721885038954 140721885039069 140721885039069 140721885044671 0
/proc/39302/statm: 139354 135278 2784 2416 0 136456 0
Current children cumulated CPU time: 3094.05 s
Current children cumulated vsize: 557416 KiB
Current children cumulated memory: 541112 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.25 4.15 6/265 39479
/proc/meminfo: memFree=127302176/131250000 swapFree=33007332/33010684
[pid=39302] ppid=39293 vsize=557416 memory=541112 CPUtime=3153.89 cores=4,6
/proc/39302/stat : 39302 (CASHWMaxSAT-Dis) R 39293 39302 39242 0 -1 4194304 292390 0 0 0 315333 56 0 0 20 0 1 0 45944951 570793984 135278 18446744073709551615 4198400 14093885 140721885035840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 47603712 140721885038954 140721885039069 140721885039069 140721885044671 0
/proc/39302/statm: 139354 135278 2784 2416 0 136456 0
Current children cumulated CPU time: 3153.89 s
Current children cumulated vsize: 557416 KiB
Current children cumulated memory: 541112 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.23 4.15 6/266 39482
/proc/meminfo: memFree=127280276/131250000 swapFree=33007332/33010684
[pid=39302] ppid=39293 vsize=557416 memory=541112 CPUtime=3213.73 cores=4,6
/proc/39302/stat : 39302 (CASHWMaxSAT-Dis) R 39293 39302 39242 0 -1 4194304 292454 0 0 0 321317 56 0 0 20 0 1 0 45944951 570793984 135278 18446744073709551615 4198400 14093885 140721885035840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 47603712 140721885038954 140721885039069 140721885039069 140721885044671 0
/proc/39302/statm: 139354 135278 2784 2416 0 136456 0
Current children cumulated CPU time: 3213.73 s
Current children cumulated vsize: 557416 KiB
Current children cumulated memory: 541112 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.20 4.15 6/266 39484
/proc/meminfo: memFree=127274780/131250000 swapFree=33007332/33010684
[pid=39302] ppid=39293 vsize=557416 memory=541112 CPUtime=3273.57 cores=4,6
/proc/39302/stat : 39302 (CASHWMaxSAT-Dis) R 39293 39302 39242 0 -1 4194304 292505 0 0 0 327301 56 0 0 20 0 1 0 45944951 570793984 135278 18446744073709551615 4198400 14093885 140721885035840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 47603712 140721885038954 140721885039069 140721885039069 140721885044671 0
/proc/39302/statm: 139354 135278 2784 2416 0 136456 0
Current children cumulated CPU time: 3273.57 s
Current children cumulated vsize: 557416 KiB
Current children cumulated memory: 541112 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.18 4.14 6/264 39486
/proc/meminfo: memFree=127275460/131250000 swapFree=33007332/33010684
[pid=39302] ppid=39293 vsize=557416 memory=541112 CPUtime=3333.4 cores=4,6
/proc/39302/stat : 39302 (CASHWMaxSAT-Dis) R 39293 39302 39242 0 -1 4194304 292568 0 0 0 333284 56 0 0 20 0 1 0 45944951 570793984 135278 18446744073709551615 4198400 14093885 140721885035840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 47603712 140721885038954 140721885039069 140721885039069 140721885044671 0
/proc/39302/statm: 139354 135278 2784 2416 0 136456 0
Current children cumulated CPU time: 3333.4 s
Current children cumulated vsize: 557416 KiB
Current children cumulated memory: 541112 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.17 4.14 6/264 39488
/proc/meminfo: memFree=127266280/131250000 swapFree=33007332/33010684
[pid=39302] ppid=39293 vsize=557416 memory=543164 CPUtime=3393.23 cores=4,6
/proc/39302/stat : 39302 (CASHWMaxSAT-Dis) R 39293 39302 39242 0 -1 4194304 292645 0 0 0 339267 56 0 0 20 0 1 0 45944951 570793984 135791 18446744073709551615 4198400 14093885 140721885035840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 47603712 140721885038954 140721885039069 140721885039069 140721885044671 0
/proc/39302/statm: 139354 135791 2784 2416 0 136456 0
Current children cumulated CPU time: 3393.23 s
Current children cumulated vsize: 557416 KiB
Current children cumulated memory: 543164 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.16 4.13 6/264 39490
/proc/meminfo: memFree=127267000/131250000 swapFree=33007332/33010684
[pid=39302] ppid=39293 vsize=557416 memory=543164 CPUtime=3453.06 cores=4,6
/proc/39302/stat : 39302 (CASHWMaxSAT-Dis) R 39293 39302 39242 0 -1 4194304 292700 0 0 0 345249 57 0 0 20 0 1 0 45944951 570793984 135791 18446744073709551615 4198400 14093885 140721885035840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 47603712 140721885038954 140721885039069 140721885039069 140721885044671 0
/proc/39302/statm: 139354 135791 2784 2416 0 136456 0
Current children cumulated CPU time: 3453.06 s
Current children cumulated vsize: 557416 KiB
Current children cumulated memory: 543164 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.16 4.13 6/263 39491
/proc/meminfo: memFree=127266156/131250000 swapFree=33007332/33010684
[pid=39302] ppid=39293 vsize=557416 memory=543164 CPUtime=3512.89 cores=4,6
/proc/39302/stat : 39302 (CASHWMaxSAT-Dis) R 39293 39302 39242 0 -1 4194304 292766 0 0 0 351232 57 0 0 20 0 1 0 45944951 570793984 135791 18446744073709551615 4198400 14093885 140721885035840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 47603712 140721885038954 140721885039069 140721885039069 140721885044671 0
/proc/39302/statm: 139354 135791 2784 2416 0 136456 0
Current children cumulated CPU time: 3512.89 s
Current children cumulated vsize: 557416 KiB
Current children cumulated memory: 543164 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.14 4.13 6/264 39494
/proc/meminfo: memFree=127267188/131250000 swapFree=33007332/33010684
[pid=39302] ppid=39293 vsize=557416 memory=543164 CPUtime=3572.73 cores=4,6
/proc/39302/stat : 39302 (CASHWMaxSAT-Dis) R 39293 39302 39242 0 -1 4194304 292819 0 0 0 357216 57 0 0 20 0 1 0 45944951 570793984 135791 18446744073709551615 4198400 14093885 140721885035840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 47603712 140721885038954 140721885039069 140721885039069 140721885044671 0
/proc/39302/statm: 139354 135791 2784 2416 0 136456 0
Current children cumulated CPU time: 3572.73 s
Current children cumulated vsize: 557416 KiB
Current children cumulated memory: 543164 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.7 s]
/proc/loadavg: 4.14 4.14 4.13 6/264 39496
/proc/meminfo: memFree=127266700/131250000 swapFree=33007332/33010684
[pid=39302] ppid=39293 vsize=557416 memory=543164 CPUtime=3600.05 cores=4,6
/proc/39302/stat : 39302 (CASHWMaxSAT-Dis) R 39293 39302 39242 0 -1 4194304 292820 0 0 0 359948 57 0 0 20 0 1 0 45944951 570793984 135791 18446744073709551615 4198400 14093885 140721885035840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 47603712 140721885038954 140721885039069 140721885039069 140721885044671 0
/proc/39302/statm: 139354 135791 2784 2416 0 136456 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 557416 KiB
Current children cumulated memory: 543164 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.7 s]
# the end of solver process 39302 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.48 s, system=0.572673 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.7 s]
/proc/loadavg: 4.14 4.14 4.13 6/264 39496
/proc/meminfo: memFree=127266700/131250000 swapFree=33007332/33010684
[pid=39302] ppid=39293 vsize=557416 memory=543164 CPUtime=3600.05 cores=4,6
/proc/39302/stat : 39302 (CASHWMaxSAT-Dis) R 39293 39302 39242 0 -1 4194304 292820 0 0 0 359948 57 0 0 20 0 1 0 45944951 570793984 135791 18446744073709551615 4198400 14093885 140721885035840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 47603712 140721885038954 140721885039069 140721885039069 140721885044671 0
/proc/39302/statm: 139354 135791 2784 2416 0 136456 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 557416 KiB
Current children cumulated memory: 543164 KiB
Child status: 10
Real time (s): 3609.7
CPU time (s): 3600.06
CPU user time (s): 3599.48
CPU system time (s): 0.572673
CPU usage (%): 99.7328
Max. virtual memory (cumulated for all children) (KiB): 1294940
Max. memory (cumulated for all children) (KiB): 1182060
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.48
system time used= 0.572673
maximum resident set size= 1182060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 292821
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= 85
involuntary context switches= 1431
# summary of solver processes directly reported to runsolver:
# pid: 39302
# total CPU time (s): 3600.06
# total CPU user time (s): 3599.48
# total CPU system time (s): 0.572673
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.12555 second user time and 11.8646 second system time
The end
Begin job on nodeC019 at 2025-06-30 18:57:54 IDJOB=4485066 IDBENCH=146693 IDSOLVER=3323 FILE ID=nodeC019/4485066-1751302674 RUNJOBID= nodeC019-1751302674-39253 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-2.opb COMMAND LINE= CASHWMaxSAT-DisjCom-S BENCHNAME -total-t=TIMEOUT -no-par -v0 RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4485066-1751302674/watcher-4485066-1751302674 -o /tmp/evaluation-result-4485066-1751302674/solver-4485066-1751302674 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751302674-39253 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4485066-1751302674.opb -total-t=3600 -no-par -v0 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= d08022a8f602c12904bf031cb8221b8f 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 : 3597.674 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: 328800 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= 432992 MiB End job on nodeC019 at 2025-06-30 19:58:04