Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| ExactPR 2025-06-01 | SAT (TO) | 18 | 3600.05 | 3610.6 |
| Name | PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=20-t=2.opb |
| MD5SUM | 06b87d46bf38d4b028e9a0f41f22c2e8 |
| 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 | 18 |
| Best CPU time to get the best result obtained on this benchmark | 3.31113 |
| 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 | 650 |
| Total number of constraints | 72640 |
| Number of constraints which are clauses | 72620 |
| Number of constraints which are cardinality constraints (but not clauses) | 20 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 21 |
| Number of terms in the objective function | 20 |
| 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 | 20 |
| Number of bits of the sum of numbers in the objective function | 5 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 22 |
| Number of bits of the biggest sum of numbers | 5 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
1.87/1.95 c 72640 constraints 1.87/1.95 c after presolve 76912 1.87/1.98 c Finish cloning data from SAT to LS 1.87/1.98 c intsize: 5 61.84/62.11 c Use LS-small 61.84/62.11 o 19 61.84/62.11 o 18 61.84/62.11 c SAT by LS-small 61.84/62.11 o 18 3600.04/3610.60 c Program interrupted by user. 3600.04/3610.60 s SATISFIABLE 3600.04/3610.60 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 x69 x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 x191 x192 x193 x194 x195 x196 x197 x198 x199 x200 -x201 x202 x203 x204 x205 -x206 x207 x208 x209 x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -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 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 x612 -x613 x614 -x615 x616 x617 -x618 -x619 x620 -x621 x622 -x623 x624 -x625 x626 -x627 x628 -x629 x630 -x631 x632 -x633 x634 -x635 x636 x637 -x638 x639 -x640 -x641 x642 -x643 x644 -x645 x646 -x647 x648 -x649 x650
OK 18
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (61990 MiB free)
memory of node 1: 64465 MiB (63272 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4517467-1751518016/watcher-4517467-1751518016 -o /tmp/evaluation-result-4517467-1751518016/solver-4517467-1751518016 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751513882-71036 --watchdog 3760 ./ExactPR --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4517467-1751518016.opb
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=72236, runsolver pid=72233
[startup+0.100086 s]*
/proc/loadavg: 4.37 4.25 4.12 5/251 72237
/proc/meminfo: memFree=128269632/131382120 swapFree=33010160/33010684
[pid=72236] ppid=72233 vsize=50856 memory=10112 CPUtime=0.09 cores=4,6
/proc/72236/stat : 72236 (ExactPR) R 72233 72236 71022 0 -1 4194304 1138 0 0 0 9 0 0 0 20 0 1 0 67480744 52076544 2528 18446744073709551615 93906059403264 93906068703109 140737479258736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93906070489408 93906070528488 93906104528896 140737479264645 140737479264780 140737479264780 140737479270382 0
/proc/72236/statm: 12714 2528 1600 2271 0 7352 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 50856 KiB
Current children cumulated memory: 10112 KiB
[startup+0.213192 s]*
/proc/loadavg: 4.37 4.25 4.12 5/251 72237
/proc/meminfo: memFree=128269632/131382120 swapFree=33010160/33010684
[pid=72236] ppid=72233 vsize=52964 memory=14188 CPUtime=0.21 cores=4,6
/proc/72236/stat : 72236 (ExactPR) R 72233 72236 71022 0 -1 4194304 1682 0 0 0 20 1 0 0 20 0 1 0 67480744 54235136 3547 18446744073709551615 93906059403264 93906068703109 140737479258736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93906070489408 93906070528488 93906104528896 140737479264645 140737479264780 140737479264780 140737479270382 0
/proc/72236/statm: 13241 3547 1600 2271 0 7879 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 52964 KiB
Current children cumulated memory: 14188 KiB
[startup+0.312999 s]*
/proc/loadavg: 4.37 4.25 4.12 5/251 72237
/proc/meminfo: memFree=128269632/131382120 swapFree=33010160/33010684
[pid=72236] ppid=72233 vsize=54284 memory=15724 CPUtime=0.31 cores=4,6
/proc/72236/stat : 72236 (ExactPR) R 72233 72236 71022 0 -1 4194304 2058 0 0 0 30 1 0 0 20 0 1 0 67480744 55586816 3931 18446744073709551615 93906059403264 93906068703109 140737479258736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93906070489408 93906070528488 93906104528896 140737479264645 140737479264780 140737479264780 140737479270382 0
/proc/72236/statm: 13571 3931 1600 2271 0 8209 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 54284 KiB
Current children cumulated memory: 15724 KiB
[startup+0.700373 s]
/proc/loadavg: 4.37 4.25 4.12 5/251 72237
/proc/meminfo: memFree=128262072/131382120 swapFree=33010160/33010684
[pid=72236] ppid=72233 vsize=104956 memory=62536 CPUtime=0.68 cores=4,6
/proc/72236/stat : 72236 (ExactPR) R 72233 72236 71022 0 -1 4194304 12740 0 0 0 63 5 0 0 20 0 1 0 67480744 107474944 15634 18446744073709551615 93906059403264 93906068703109 140737479258736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93906070489408 93906070528488 93906104528896 140737479264645 140737479264780 140737479264780 140737479270382 0
/proc/72236/statm: 26239 15634 1792 2271 0 20877 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 104956 KiB
Current children cumulated memory: 62536 KiB
[startup+1.50033 s]
/proc/loadavg: 4.37 4.25 4.12 5/251 72237
/proc/meminfo: memFree=128226160/131382120 swapFree=33010160/33010684
[pid=72236] ppid=72233 vsize=104956 memory=62536 CPUtime=1.47 cores=4,6
/proc/72236/stat : 72236 (ExactPR) R 72233 72236 71022 0 -1 4194304 12740 0 0 0 142 5 0 0 20 0 1 0 67480744 107474944 15634 18446744073709551615 93906059403264 93906068703109 140737479258736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93906070489408 93906070528488 93906104528896 140737479264645 140737479264780 140737479264780 140737479270382 0
/proc/72236/statm: 26239 15634 1792 2271 0 20877 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 104956 KiB
Current children cumulated memory: 62536 KiB
[startup+3.11299 s]
/proc/loadavg: 4.34 4.24 4.12 5/251 72237
/proc/meminfo: memFree=128202480/131382120 swapFree=33010160/33010684
[pid=72236] ppid=72233 vsize=130748 memory=84424 CPUtime=3.08 cores=4,6
/proc/72236/stat : 72236 (ExactPR) R 72233 72236 71022 0 -1 4194304 18171 0 0 0 299 9 0 0 20 0 1 0 67480744 133885952 21106 18446744073709551615 93906059403264 93906068703109 140737479258736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93906070489408 93906070528488 93906104528896 140737479264645 140737479264780 140737479264780 140737479270382 0
/proc/72236/statm: 32687 21106 1824 2271 0 27325 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 130748 KiB
Current children cumulated memory: 84424 KiB
[startup+6.3003 s]
/proc/loadavg: 4.34 4.24 4.12 5/251 72237
/proc/meminfo: memFree=128194920/131382120 swapFree=33010160/33010684
[pid=72236] ppid=72233 vsize=130748 memory=84424 CPUtime=6.26 cores=4,6
/proc/72236/stat : 72236 (ExactPR) R 72233 72236 71022 0 -1 4194304 18172 0 0 0 607 19 0 0 20 0 1 0 67480744 133885952 21106 18446744073709551615 93906059403264 93906068703109 140737479258736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93906070489408 93906070528488 93906104528896 140737479264645 140737479264780 140737479264780 140737479270382 0
/proc/72236/statm: 32687 21106 1824 2271 0 27325 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 130748 KiB
Current children cumulated memory: 84424 KiB
[startup+12.7003 s]
/proc/loadavg: 4.32 4.24 4.11 5/251 72237
/proc/meminfo: memFree=128206692/131382120 swapFree=33010160/33010684
[pid=72236] ppid=72233 vsize=130748 memory=84424 CPUtime=12.65 cores=4,6
/proc/72236/stat : 72236 (ExactPR) R 72233 72236 71022 0 -1 4194304 18173 0 0 0 1230 35 0 0 20 0 1 0 67480744 133885952 21106 18446744073709551615 93906059403264 93906068703109 140737479258736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93906070489408 93906070528488 93906104528896 140737479264645 140737479264780 140737479264780 140737479270382 0
/proc/72236/statm: 32687 21106 1824 2271 0 27325 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 130748 KiB
Current children cumulated memory: 84424 KiB
[startup+25.5003 s]
/proc/loadavg: 4.25 4.23 4.11 5/251 72238
/proc/meminfo: memFree=128212768/131382120 swapFree=33010160/33010684
[pid=72236] ppid=72233 vsize=130748 memory=84424 CPUtime=25.42 cores=4,6
/proc/72236/stat : 72236 (ExactPR) R 72233 72236 71022 0 -1 4194304 18173 0 0 0 2471 71 0 0 20 0 1 0 67480744 133885952 21106 18446744073709551615 93906059403264 93906068703109 140737479258736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93906070489408 93906070528488 93906104528896 140737479264645 140737479264780 140737479264780 140737479270382 0
/proc/72236/statm: 32687 21106 1824 2271 0 27325 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 130748 KiB
Current children cumulated memory: 84424 KiB
[startup+51.113 s]
/proc/loadavg: 4.16 4.21 4.11 5/251 72238
/proc/meminfo: memFree=128188164/131382120 swapFree=33010160/33010684
[pid=72236] ppid=72233 vsize=130748 memory=84424 CPUtime=50.97 cores=4,6
/proc/72236/stat : 72236 (ExactPR) R 72233 72236 71022 0 -1 4194304 18173 0 0 0 4945 152 0 0 20 0 1 0 67480744 133885952 21106 18446744073709551615 93906059403264 93906068703109 140737479258736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93906070489408 93906070528488 93906104528896 140737479264645 140737479264780 140737479264780 140737479270382 0
/proc/72236/statm: 32687 21106 1824 2271 0 27325 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 130748 KiB
Current children cumulated memory: 84424 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.19 4.10 5/250 72240
/proc/meminfo: memFree=128112840/131382120 swapFree=33010160/33010684
[pid=72236] ppid=72233 vsize=144400 memory=105980 CPUtime=102.03 cores=4,6
/proc/72236/stat : 72236 (ExactPR) R 72233 72236 71022 0 -1 4194304 21505 0 0 0 10012 191 0 0 20 0 1 0 67480744 147865600 26495 18446744073709551615 93906059403264 93906068703109 140737479258736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93906070489408 93906070528488 93906104528896 140737479264645 140737479264780 140737479264780 140737479270382 0
/proc/72236/statm: 36100 26495 1856 2271 0 30738 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 144400 KiB
Current children cumulated memory: 105980 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.17 4.10 5/249 72244
/proc/meminfo: memFree=128081916/131382120 swapFree=33010160/33010684
[pid=72236] ppid=72233 vsize=148856 memory=112432 CPUtime=161.87 cores=4,6
/proc/72236/stat : 72236 (ExactPR) R 72233 72236 71022 0 -1 4194304 22620 0 0 0 15994 193 0 0 20 0 1 0 67480744 152428544 28108 18446744073709551615 93906059403264 93906068703109 140737479258736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93906070489408 93906070528488 93906104528896 140737479264645 140737479264780 140737479264780 140737479270382 0
/proc/72236/statm: 37214 28108 1856 2271 0 31852 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 148856 KiB
Current children cumulated memory: 112432 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.17 4.10 5/250 72247
/proc/meminfo: memFree=128052684/131382120 swapFree=33010160/33010684
[pid=72236] ppid=72233 vsize=152204 memory=115760 CPUtime=221.71 cores=4,6
/proc/72236/stat : 72236 (ExactPR) R 72233 72236 71022 0 -1 4194304 23461 0 0 0 21976 195 0 0 20 0 1 0 67480744 155856896 28940 18446744073709551615 93906059403264 93906068703109 140737479258736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93906070489408 93906070528488 93906104528896 140737479264645 140737479264780 140737479264780 140737479270382 0
/proc/72236/statm: 38051 28940 1856 2271 0 32689 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 152204 KiB
Current children cumulated memory: 115760 KiB
[startup+282.3 s]
/proc/loadavg: 4.05 4.13 4.09 5/251 72251
/proc/meminfo: memFree=128021972/131382120 swapFree=33010160/33010684
[pid=72236] ppid=72233 vsize=154736 memory=118448 CPUtime=281.55 cores=4,6
/proc/72236/stat : 72236 (ExactPR) R 72233 72236 71022 0 -1 4194304 24128 0 0 0 27958 197 0 0 20 0 1 0 67480744 158449664 29612 18446744073709551615 93906059403264 93906068703109 140737479258736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93906070489408 93906070528488 93906104528896 140737479264645 140737479264780 140737479264780 140737479270382 0
/proc/72236/statm: 38684 29612 1856 2271 0 33322 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 154736 KiB
Current children cumulated memory: 118448 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 4.14 4.09 5/251 72253
/proc/meminfo: memFree=128006128/131382120 swapFree=33010160/33010684
[pid=72236] ppid=72233 vsize=156464 memory=120240 CPUtime=341.38 cores=4,6
/proc/72236/stat : 72236 (ExactPR) R 72233 72236 71022 0 -1 4194304 24576 0 0 0 33940 198 0 0 20 0 1 0 67480744 160219136 30060 18446744073709551615 93906059403264 93906068703109 140737479258736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93906070489408 93906070528488 93906104528896 140737479264645 140737479264780 140737479264780 140737479270382 0
/proc/72236/statm: 39116 30060 1856 2271 0 33754 0
Current children cumulated CPU time: 341.38 s
Current children cumulated vsize: 156464 KiB
Current children cumulated memory: 120240 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 4.14 4.09 5/251 72259
/proc/meminfo: memFree=127991828/131382120 swapFree=33010160/33010684
[pid=72236] ppid=72233 vsize=157548 memory=121136 CPUtime=401.23 cores=4,6
/proc/72236/stat : 72236 (ExactPR) R 72233 72236 71022 0 -1 4194304 24817 0 0 0 39923 200 0 0 20 0 1 0 67480744 161329152 30284 18446744073709551615 93906059403264 93906068703109 140737479258736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93906070489408 93906070528488 93906104528896 140737479264645 140737479264780 140737479264780 140737479270382 0
/proc/72236/statm: 39387 30284 1856 2271 0 34025 0
Current children cumulated CPU time: 401.23 s
Current children cumulated vsize: 157548 KiB
Current children cumulated memory: 121136 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/251 72261
/proc/meminfo: memFree=127955256/131382120 swapFree=33010160/33010684
[pid=72236] ppid=72233 vsize=159296 memory=122928 CPUtime=461.07 cores=4,6
/proc/72236/stat : 72236 (ExactPR) R 72233 72236 71022 0 -1 4194304 25261 0 0 0 45905 202 0 0 20 0 1 0 67480744 163119104 30732 18446744073709551615 93906059403264 93906068703109 140737479258736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93906070489408 93906070528488 93906104528896 140737479264645 140737479264780 140737479264780 140737479270382 0
/proc/72236/statm: 39824 30732 1856 2271 0 34462 0
################
# More data... #
################
Current children cumulated memory: 154280 KiB
[startup+2862.3 s]
/proc/loadavg: 4.11 4.17 4.18 5/250 72383
/proc/meminfo: memFree=127045640/131382120 swapFree=33010160/33010684
[pid=72236] ppid=72233 vsize=193068 memory=154920 CPUtime=2853.68 cores=4,6
/proc/72236/stat : 72236 (ExactPR) R 72233 72236 71022 0 -1 4194304 30977 0 0 0 285089 279 0 0 20 0 1 0 67480744 197701632 38730 18446744073709551615 93906059403264 93906068703109 140737479258736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93906070489408 93906070528488 93906104528896 140737479264645 140737479264780 140737479264780 140737479270382 0
/proc/72236/statm: 48267 38730 1856 2271 0 42905 0
Current children cumulated CPU time: 2853.68 s
Current children cumulated vsize: 193068 KiB
Current children cumulated memory: 154920 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.15 4.17 5/250 72385
/proc/meminfo: memFree=127045656/131382120 swapFree=33010160/33010684
[pid=72236] ppid=72233 vsize=193736 memory=155560 CPUtime=2913.53 cores=4,6
/proc/72236/stat : 72236 (ExactPR) R 72233 72236 71022 0 -1 4194304 31126 0 0 0 291071 282 0 0 20 0 1 0 67480744 198385664 38890 18446744073709551615 93906059403264 93906068703109 140737479258736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93906070489408 93906070528488 93906104528896 140737479264645 140737479264780 140737479264780 140737479270382 0
/proc/72236/statm: 48434 38890 1856 2271 0 43072 0
Current children cumulated CPU time: 2913.53 s
Current children cumulated vsize: 193736 KiB
Current children cumulated memory: 155560 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.14 4.16 5/250 72387
/proc/meminfo: memFree=127039964/131382120 swapFree=33010160/33010684
[pid=72236] ppid=72233 vsize=193736 memory=155560 CPUtime=2973.38 cores=4,6
/proc/72236/stat : 72236 (ExactPR) R 72233 72236 71022 0 -1 4194304 31129 0 0 0 297054 284 0 0 20 0 1 0 67480744 198385664 38890 18446744073709551615 93906059403264 93906068703109 140737479258736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93906070489408 93906070528488 93906104528896 140737479264645 140737479264780 140737479264780 140737479270382 0
/proc/72236/statm: 48434 38890 1856 2271 0 43072 0
Current children cumulated CPU time: 2973.38 s
Current children cumulated vsize: 193736 KiB
Current children cumulated memory: 155560 KiB
[startup+3042.3 s]
/proc/loadavg: 4.08 4.13 4.16 5/250 72389
/proc/meminfo: memFree=127039840/131382120 swapFree=33010160/33010684
[pid=72236] ppid=72233 vsize=193736 memory=155560 CPUtime=3033.22 cores=4,6
/proc/72236/stat : 72236 (ExactPR) R 72233 72236 71022 0 -1 4194304 31131 0 0 0 303036 286 0 0 20 0 1 0 67480744 198385664 38890 18446744073709551615 93906059403264 93906068703109 140737479258736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93906070489408 93906070528488 93906104528896 140737479264645 140737479264780 140737479264780 140737479270382 0
/proc/72236/statm: 48434 38890 1856 2271 0 43072 0
Current children cumulated CPU time: 3033.22 s
Current children cumulated vsize: 193736 KiB
Current children cumulated memory: 155560 KiB
[startup+3102.3 s]
/proc/loadavg: 4.07 4.11 4.15 5/249 72391
/proc/meminfo: memFree=127039612/131382120 swapFree=33010160/33010684
[pid=72236] ppid=72233 vsize=193736 memory=155560 CPUtime=3093.07 cores=4,6
/proc/72236/stat : 72236 (ExactPR) R 72233 72236 71022 0 -1 4194304 31149 0 0 0 309019 288 0 0 20 0 1 0 67480744 198385664 38890 18446744073709551615 93906059403264 93906068703109 140737479258736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93906070489408 93906070528488 93906104528896 140737479264645 140737479264780 140737479264780 140737479270382 0
/proc/72236/statm: 48434 38890 1856 2271 0 43072 0
Current children cumulated CPU time: 3093.07 s
Current children cumulated vsize: 193736 KiB
Current children cumulated memory: 155560 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.11 4.15 5/249 72395
/proc/meminfo: memFree=126909228/131382120 swapFree=33010160/33010684
[pid=72236] ppid=72233 vsize=193736 memory=155688 CPUtime=3152.92 cores=4,6
/proc/72236/stat : 72236 (ExactPR) R 72233 72236 71022 0 -1 4194304 31165 0 0 0 315002 290 0 0 20 0 1 0 67480744 198385664 38922 18446744073709551615 93906059403264 93906068703109 140737479258736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93906070489408 93906070528488 93906104528896 140737479264645 140737479264780 140737479264780 140737479270382 0
/proc/72236/statm: 48434 38922 1856 2271 0 43072 0
Current children cumulated CPU time: 3152.92 s
Current children cumulated vsize: 193736 KiB
Current children cumulated memory: 155688 KiB
[startup+3222.3 s]
/proc/loadavg: 4.07 4.10 4.14 5/249 72397
/proc/meminfo: memFree=126877176/131382120 swapFree=33010160/33010684
[pid=72236] ppid=72233 vsize=194480 memory=156200 CPUtime=3212.76 cores=4,6
/proc/72236/stat : 72236 (ExactPR) R 72233 72236 71022 0 -1 4194304 31312 0 0 0 320983 293 0 0 20 0 1 0 67480744 199147520 39050 18446744073709551615 93906059403264 93906068703109 140737479258736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93906070489408 93906070528488 93906104528896 140737479264645 140737479264780 140737479264780 140737479270382 0
/proc/72236/statm: 48620 39050 1856 2271 0 43258 0
Current children cumulated CPU time: 3212.76 s
Current children cumulated vsize: 194480 KiB
Current children cumulated memory: 156200 KiB
[startup+3282.3 s]
/proc/loadavg: 4.20 4.13 4.15 5/249 72488
/proc/meminfo: memFree=129619764/131382120 swapFree=33010160/33010684
[pid=72236] ppid=72233 vsize=194480 memory=156200 CPUtime=3272.61 cores=4,6
/proc/72236/stat : 72236 (ExactPR) R 72233 72236 71022 0 -1 4194304 31312 0 0 0 326966 295 0 0 20 0 1 0 67480744 199147520 39050 18446744073709551615 93906059403264 93906068703109 140737479258736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93906070489408 93906070528488 93906104528896 140737479264645 140737479264780 140737479264780 140737479270382 0
/proc/72236/statm: 48620 39050 1856 2271 0 43258 0
Current children cumulated CPU time: 3272.61 s
Current children cumulated vsize: 194480 KiB
Current children cumulated memory: 156200 KiB
[startup+3342.3 s]
/proc/loadavg: 4.22 4.16 4.16 4/245 72498
/proc/meminfo: memFree=129628088/131382120 swapFree=33010160/33010684
[pid=72236] ppid=72233 vsize=194788 memory=156584 CPUtime=3332.47 cores=4,6
/proc/72236/stat : 72236 (ExactPR) R 72233 72236 71022 0 -1 4194304 31390 0 0 0 332950 297 0 0 20 0 1 0 67480744 199462912 39146 18446744073709551615 93906059403264 93906068703109 140737479258736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93906070489408 93906070528488 93906104528896 140737479264645 140737479264780 140737479264780 140737479270382 0
/proc/72236/statm: 48697 39146 1856 2271 0 43335 0
Current children cumulated CPU time: 3332.47 s
Current children cumulated vsize: 194788 KiB
Current children cumulated memory: 156584 KiB
[startup+3402.3 s]
/proc/loadavg: 4.19 4.16 4.16 5/249 72536
/proc/meminfo: memFree=129635904/131382120 swapFree=33010160/33010684
[pid=72236] ppid=72233 vsize=195052 memory=156840 CPUtime=3392.27 cores=4,6
/proc/72236/stat : 72236 (ExactPR) R 72233 72236 71022 0 -1 4194304 31458 0 0 0 338927 300 0 0 20 0 1 0 67480744 199733248 39210 18446744073709551615 93906059403264 93906068703109 140737479258736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93906070489408 93906070528488 93906104528896 140737479264645 140737479264780 140737479264780 140737479270382 0
/proc/72236/statm: 48763 39210 1856 2271 0 43401 0
Current children cumulated CPU time: 3392.27 s
Current children cumulated vsize: 195052 KiB
Current children cumulated memory: 156840 KiB
[startup+3462.3 s]
/proc/loadavg: 4.20 4.16 4.16 5/251 72589
/proc/meminfo: memFree=128016092/131382120 swapFree=33010160/33010684
[pid=72236] ppid=72233 vsize=195468 memory=157224 CPUtime=3452.11 cores=4,6
/proc/72236/stat : 72236 (ExactPR) R 72233 72236 71022 0 -1 4194304 31561 0 0 0 344909 302 0 0 20 0 1 0 67480744 200159232 39306 18446744073709551615 93906059403264 93906068703109 140737479258736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93906070489408 93906070528488 93906104528896 140737479264645 140737479264780 140737479264780 140737479270382 0
/proc/72236/statm: 48867 39306 1856 2271 0 43505 0
Current children cumulated CPU time: 3452.11 s
Current children cumulated vsize: 195468 KiB
Current children cumulated memory: 157224 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.14 4.15 5/251 72636
/proc/meminfo: memFree=129621432/131382120 swapFree=33010160/33010684
[pid=72236] ppid=72233 vsize=195468 memory=157224 CPUtime=3511.95 cores=4,6
/proc/72236/stat : 72236 (ExactPR) R 72233 72236 71022 0 -1 4194304 31561 0 0 0 350891 304 0 0 20 0 1 0 67480744 200159232 39306 18446744073709551615 93906059403264 93906068703109 140737479258736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93906070489408 93906070528488 93906104528896 140737479264645 140737479264780 140737479264780 140737479270382 0
/proc/72236/statm: 48867 39306 1856 2271 0 43505 0
Current children cumulated CPU time: 3511.95 s
Current children cumulated vsize: 195468 KiB
Current children cumulated memory: 157224 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.13 4.15 4/247 72669
/proc/meminfo: memFree=129625704/131382120 swapFree=33010160/33010684
[pid=72236] ppid=72233 vsize=195468 memory=157224 CPUtime=3571.81 cores=4,6
/proc/72236/stat : 72236 (ExactPR) R 72233 72236 71022 0 -1 4194304 31568 0 0 0 356875 306 0 0 20 0 1 0 67480744 200159232 39306 18446744073709551615 93906059403264 93906068703109 140737479258736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93906070489408 93906070528488 93906104528896 140737479264645 140737479264780 140737479264780 140737479270382 0
/proc/72236/statm: 48867 39306 1856 2271 0 43505 0
Current children cumulated CPU time: 3571.81 s
Current children cumulated vsize: 195468 KiB
Current children cumulated memory: 157224 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.6 s]
/proc/loadavg: 4.14 4.13 4.15 5/251 72728
/proc/meminfo: memFree=129625988/131382120 swapFree=33010160/33010684
[pid=72236] ppid=72233 vsize=195468 memory=157224 CPUtime=3600.04 cores=4,6
/proc/72236/stat : 72236 (ExactPR) R 72233 72236 71022 0 -1 4194304 31568 0 0 0 359697 307 0 0 20 0 1 0 67480744 200159232 39306 18446744073709551615 93906059403264 93906068703109 140737479258736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93906070489408 93906070528488 93906104528896 140737479264645 140737479264780 140737479264780 140737479270382 0
/proc/72236/statm: 48867 39306 1856 2271 0 43505 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 195468 KiB
Current children cumulated memory: 157224 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.6 s]
# the end of solver process 72236 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3596.97 s, system=3.07905 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3610.6
CPU time (s): 3600.05
CPU user time (s): 3596.97
CPU system time (s): 3.07905
CPU usage (%): 99.7078
Max. virtual memory (cumulated for all children) (KiB): 195468
Max. memory (cumulated for all children) (KiB): 157224
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.97
system time used= 3.07905
maximum resident set size= 157736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31583
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= 137
involuntary context switches= 2062
# summary of solver processes directly reported to runsolver:
# pid: 72236
# total CPU time (s): 3600.05
# total CPU user time (s): 3596.97
# total CPU system time (s): 3.07905
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.4763 second user time and 34.2442 second system time
The end
Begin job on nodeC008 at 2025-07-03 06:46:56 IDJOB=4517467 IDBENCH=176097 IDSOLVER=3324 FILE ID=nodeC008/4517467-1751518016 RUNJOBID= nodeC008-1751513882-71036 SLURM_JOB_ID= 9598620 Free space on /tmp= 432776 MiB SOLVER NAME= ExactPR 2025-06-01 BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=20-t=2.opb COMMAND LINE= ./ExactPR --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4517467-1751518016/watcher-4517467-1751518016 -o /tmp/evaluation-result-4517467-1751518016/solver-4517467-1751518016 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751513882-71036 --watchdog 3760 ./ExactPR --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4517467-1751518016.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 06b87d46bf38d4b028e9a0f41f22c2e8 RANDOM SEED=1836557554 nodeC008 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3662.622 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.72 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3491.830 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.72 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.358 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.72 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.494 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.72 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.201 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.72 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3691.414 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.72 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.278 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.72 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.270 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.72 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382120 kB MemFree: 128269568 kB MemAvailable: 128294636 kB Buffers: 2128 kB Cached: 820864 kB SwapCached: 16 kB Active: 2207264 kB Inactive: 302168 kB Active(anon): 1667816 kB Inactive(anon): 36544 kB Active(file): 539448 kB Inactive(file): 265624 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010160 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 26996 kB Writeback: 0 kB AnonPages: 1689528 kB Mapped: 114536 kB Shmem: 17920 kB KReclaimable: 119244 kB Slab: 203272 kB SReclaimable: 119244 kB SUnreclaim: 84028 kB KernelStack: 4048 kB PageTables: 6516 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701744 kB Committed_AS: 2273096 kB VmallocTotal: 34359738367 kB VmallocUsed: 149384 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 739328 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: 181064 kB DirectMap2M: 9158656 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 432776 MiB End job on nodeC008 at 2025-07-03 07:47:07