Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| CASHWMaxSAT-DisjCom-SP 2024-07-10 | SAT (TO) | 18 | 3600.05 | 3611.01 |
| 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 | 49.4743 |
| 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 |
0.59/0.65 c Using COMiniSatPS SAT solver by Chanseok Oh (2016) 0.59/0.65 c Using COMiniSatPS SAT solver by Chanseok Oh (2016) 0.59/0.66 o 19 0.59/0.66 c Using SCIP solver, version 8.1.0, https://www.scipopt.org 0.68/0.70 c Starting SCIP solver (with time-limit = 1800s) ... 1794.58/1800.72 c SCIP timeout with lower and upper bounds: [0, 18] 1794.68/1800.86 o 18 3600.04/3611.00 3600.04/3611.00 v x191 x192 x193 x194 -x195 x196 x197 x198 x199 x200 x201 x202 x203 x204 x205 -x206 x207 x208 x209 x210 -x211 -x231 -x251 -x271 -x291 -x311 -x331 -x351 -x371 -x391 -x411 -x431 -x451 -x471 -x491 -x511 -x531 -x551 -x571 -x591 -x212 -x232 -x252 -x272 -x292 -x312 -x332 -x352 -x372 -x392 -x412 -x432 -x452 -x472 -x492 -x512 -x532 -x552 -x572 -x592 -x213 -x233 -x253 -x273 -x293 -x313 -x333 -x353 -x373 -x393 -x413 -x433 -x453 -x473 -x493 -x513 -x533 -x553 -x573 -x593 -x214 -x234 -x254 -x274 -x294 -x314 -x334 -x354 -x374 -x394 -x414 -x434 -x454 -x474 -x494 -x514 -x534 -x554 -x574 -x594 -x215 -x235 -x255 -x275 x295 -x315 -x335 -x355 x375 -x395 -x415 -x435 -x455 -x475 -x495 -x515 -x535 x555 -x575 -x595 -x216 -x236 -x256 -x276 -x296 -x316 -x336 -x356 -x376 -x396 -x416 -x436 -x456 -x476 -x496 -x516 -x536 -x556 -x576 -x596 -x217 -x237 -x257 -x277 -x297 -x317 -x337 -x357 -x377 -x397 -x417 -x437 -x457 -x477 -x497 -x517 -x537 -x557 -x577 -x597 -x218 -x238 -x258 -x278 -x298 -x318 -x338 -x358 -x378 -x398 -x418 -x438 -x458 -x478 -x498 -x518 -x538 -x558 -x578 -x598 -x219 -x239 -x259 -x279 -x299 -x319 -x339 -x359 -x379 -x399 -x419 -x439 -x459 -x479 -x499 -x519 -x539 -x559 -x579 -x599 -x220 -x240 -x260 -x280 -x300 -x320 -x340 -x360 -x380 -x400 -x420 -x440 -x460 -x480 -x500 -x520 -x540 -x560 -x580 -x600 -x221 -x241 -x261 -x281 -x301 -x321 -x341 -x361 -x381 -x401 -x421 -x441 -x461 -x481 -x501 -x521 -x541 -x561 -x581 -x601 -x222 -x242 -x262 -x282 -x302 -x322 -x342 -x362 -x382 -x402 -x422 -x442 -x462 -x482 -x502 -x522 -x542 -x562 -x582 -x602 -x223 -x243 -x263 -x283 -x303 -x323 -x343 -x363 -x383 -x403 -x423 -x443 -x463 -x483 -x503 -x523 -x543 -x563 -x583 -x603 -x224 -x244 -x264 -x284 -x304 -x324 -x344 -x364 -x384 -x404 -x424 -x444 -x464 -x484 -x504 -x524 -x544 -x564 -x584 -x604 -x225 -x245 -x265 -x285 -x305 -x325 -x345 -x365 -x385 -x405 -x425 -x445 -x465 -x485 -x505 -x525 -x545 -x565 -x585 -x605 -x226 -x246 -x266 -x286 -x306 -x326 -x346 -x366 -x386 -x406 x426 -x446 -x466 -x486 -x506 -x526 -x546 -x566 -x586 -x606 -x227 -x247 -x267 -x287 -x307 -x327 -x347 -x367 -x387 -x407 -x427 -x447 -x467 -x487 -x507 -x527 -x547 -x567 -x587 -x607 -x228 -x248 -x268 -x288 -x308 -x328 -x348 -x368 -x388 -x408 -x428 -x448 -x468 -x488 -x508 -x528 -x548 -x568 -x588 -x608 -x229 -x249 -x269 -x289 -x309 -x329 -x349 -x369 -x389 -x409 -x429 -x449 -x469 -x489 -x509 -x529 -x549 -x569 -x589 -x609 -x230 -x250 -x270 -x290 -x310 -x330 -x350 -x370 -x390 -x410 -x430 -x450 -x470 -x490 -x510 -x530 -x550 -x570 -x590 -x610 -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 -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 3600.04/3611.00 s SATISFIABLE
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: 63968 MiB (62505 MiB free)
memory of node 1: 64473 MiB (62072 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449740-1721399504/watcher-4449740-1721399504 -o /tmp/evaluation-result-4449740-1721399504/solver-4449740-1721399504 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721399516-1014766 --watchdog 3760 CASHWMaxSAT-DisjCom-SP HOME/instance-4449740-1721399504.opb -total-t=3600 -no-par -v0
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1014825, runsolver pid=1014822
[startup+0.100169 s]*
/proc/loadavg: 0.10 0.10 0.09 5/258 1014826
/proc/meminfo: memFree=127504536/131524600 swapFree=131070704/131071996
[pid=1014825] ppid=1014822 vsize=48576 memory=28416 CPUtime=0.09 cores=5,7
/proc/1014825/stat : 1014825 (CASHWMaxSAT-Dis) R 1014822 1014825 1014753 0 -1 4194304 4399 0 0 0 8 1 0 0 20 0 1 0 192115339 49741824 7104 134679101440 4194304 14636349 140726115430464 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 46751744 140726115435489 140726115435605 140726115435605 140726115442622 0
/proc/1014825/statm: 12144 7104 794 2550 0 9099 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 48576 KiB
Current children cumulated memory: 28416 KiB
[startup+0.205869 s]*
/proc/loadavg: 0.10 0.10 0.09 5/258 1014826
/proc/meminfo: memFree=127436648/131524600 swapFree=131070704/131071996
[pid=1014825] ppid=1014822 vsize=63772 memory=44428 CPUtime=0.2 cores=5,7
/proc/1014825/stat : 1014825 (CASHWMaxSAT-Dis) R 1014822 1014825 1014753 0 -1 4194304 8849 0 0 0 18 2 0 0 20 0 1 0 192115339 65302528 11107 134679101440 4194304 14636349 140726115430464 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 46751744 140726115435489 140726115435605 140726115435605 140726115442622 0
/proc/1014825/statm: 15943 11107 890 2550 0 12898 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 63772 KiB
Current children cumulated memory: 44428 KiB
[startup+0.30591 s]*
/proc/loadavg: 0.10 0.10 0.09 5/258 1014826
/proc/meminfo: memFree=127435760/131524600 swapFree=131070704/131071996
[pid=1014825] ppid=1014822 vsize=76772 memory=57480 CPUtime=0.29 cores=5,7
/proc/1014825/stat : 1014825 (CASHWMaxSAT-Dis) R 1014822 1014825 1014753 0 -1 4194304 12074 0 0 0 27 2 0 0 20 0 1 0 192115339 78614528 14370 134679101440 4194304 14636349 140726115430464 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 46751744 140726115435489 140726115435605 140726115435605 140726115442622 0
/proc/1014825/statm: 19193 14370 922 2550 0 16148 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 76772 KiB
Current children cumulated memory: 57480 KiB
[startup+0.700217 s]
/proc/loadavg: 0.10 0.10 0.09 5/258 1014826
/proc/meminfo: memFree=127367108/131524600 swapFree=131070704/131071996
[pid=1014825] ppid=1014822 vsize=145436 memory=133872 CPUtime=0.68 cores=5,7
/proc/1014825/stat : 1014825 (CASHWMaxSAT-Dis) R 1014822 1014825 1014753 0 -1 4194304 29815 0 0 0 63 5 0 0 20 0 1 0 192115339 148926464 33468 134679101440 4194304 14636349 140726115430464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 46751744 140726115435489 140726115435605 140726115435605 140726115442622 0
/proc/1014825/statm: 36359 33468 2282 2550 0 33314 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 145436 KiB
Current children cumulated memory: 133872 KiB
[startup+1.50024 s]
/proc/loadavg: 0.41 0.16 0.11 5/258 1014826
/proc/meminfo: memFree=127136148/131524600 swapFree=131070704/131071996
[pid=1014825] ppid=1014822 vsize=258276 memory=245712 CPUtime=1.48 cores=5,7
/proc/1014825/stat : 1014825 (CASHWMaxSAT-Dis) R 1014822 1014825 1014753 0 -1 4194304 57542 0 0 0 139 9 0 0 20 0 1 0 192115339 264474624 61428 134679101440 4194304 14636349 140726115430464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 46751744 140726115435489 140726115435605 140726115435605 140726115442622 0
/proc/1014825/statm: 64569 61428 2538 2550 0 61524 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 258276 KiB
Current children cumulated memory: 245712 KiB
[startup+3.10588 s]
/proc/loadavg: 0.41 0.16 0.11 5/258 1014872
/proc/meminfo: memFree=126588828/131524600 swapFree=131070704/131071996
[pid=1014825] ppid=1014822 vsize=490440 memory=463404 CPUtime=3.08 cores=5,7
/proc/1014825/stat : 1014825 (CASHWMaxSAT-Dis) R 1014822 1014825 1014753 0 -1 4194304 100482 0 0 0 292 16 0 0 20 0 1 0 192115339 502210560 115851 134679101440 4194304 14636349 140726115430464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 46751744 140726115435489 140726115435605 140726115435605 140726115442622 0
/proc/1014825/statm: 122610 115851 2634 2550 0 119565 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 490440 KiB
Current children cumulated memory: 463404 KiB
[startup+6.30017 s]
/proc/loadavg: 0.70 0.23 0.13 5/258 1014872
/proc/meminfo: memFree=126259788/131524600 swapFree=131070704/131071996
[pid=1014825] ppid=1014822 vsize=461408 memory=432720 CPUtime=6.27 cores=5,7
/proc/1014825/stat : 1014825 (CASHWMaxSAT-Dis) R 1014822 1014825 1014753 0 -1 4194304 101225 0 0 0 611 16 0 0 20 0 1 0 192115339 472481792 108180 134679101440 4194304 14636349 140726115430464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 46751744 140726115435489 140726115435605 140726115435605 140726115442622 0
/proc/1014825/statm: 115352 108180 2650 2550 0 112307 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 461408 KiB
Current children cumulated memory: 432720 KiB
[startup+12.7002 s]
/proc/loadavg: 1.05 0.31 0.16 5/258 1014874
/proc/meminfo: memFree=126226216/131524600 swapFree=131070704/131071996
[pid=1014825] ppid=1014822 vsize=475324 memory=432720 CPUtime=12.65 cores=5,7
/proc/1014825/stat : 1014825 (CASHWMaxSAT-Dis) R 1014822 1014825 1014753 0 -1 4194304 101238 0 0 0 1249 16 0 0 20 0 1 0 192115339 486731776 108180 134679101440 4194304 14636349 140726115430464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 46751744 140726115435489 140726115435605 140726115435605 140726115442622 0
/proc/1014825/statm: 118831 108180 2650 2550 0 115786 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 475324 KiB
Current children cumulated memory: 432720 KiB
[startup+25.5002 s]
/proc/loadavg: 1.57 0.44 0.21 5/258 1014875
/proc/meminfo: memFree=126158460/131524600 swapFree=131070704/131071996
[pid=1014825] ppid=1014822 vsize=539092 memory=440000 CPUtime=25.43 cores=5,7
/proc/1014825/stat : 1014825 (CASHWMaxSAT-Dis) R 1014822 1014825 1014753 0 -1 4194304 103094 0 0 0 2526 17 0 0 20 0 1 0 192115339 552030208 110000 134679101440 4194304 14636349 140726115430464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 46751744 140726115435489 140726115435605 140726115435605 140726115442622 0
/proc/1014825/statm: 134773 110000 2650 2550 0 131728 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 539092 KiB
Current children cumulated memory: 440000 KiB
[startup+51.106 s]
/proc/loadavg: 2.53 0.78 0.33 5/258 1014880
/proc/meminfo: memFree=125966492/131524600 swapFree=131070704/131071996
[pid=1014825] ppid=1014822 vsize=655412 memory=557776 CPUtime=50.96 cores=5,7
/proc/1014825/stat : 1014825 (CASHWMaxSAT-Dis) R 1014822 1014825 1014753 0 -1 4194304 137522 0 0 0 5074 22 0 0 20 0 1 0 192115339 671141888 139444 134679101440 4194304 14636349 140726115430464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 46751744 140726115435489 140726115435605 140726115435605 140726115442622 0
/proc/1014825/statm: 163853 139444 2650 2550 0 160808 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 655412 KiB
Current children cumulated memory: 557776 KiB
[startup+102.3 s]
/proc/loadavg: 3.41 1.30 0.53 5/256 1014889
/proc/meminfo: memFree=125657172/131524600 swapFree=131070704/131071996
[pid=1014825] ppid=1014822 vsize=698376 memory=596416 CPUtime=101.99 cores=5,7
/proc/1014825/stat : 1014825 (CASHWMaxSAT-Dis) R 1014822 1014825 1014753 0 -1 4194304 172449 0 0 0 10171 28 0 0 20 0 1 0 192115339 715137024 149104 134679101440 4194304 14636349 140726115430464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 46751744 140726115435489 140726115435605 140726115435605 140726115442622 0
/proc/1014825/statm: 174594 149104 2650 2550 0 171549 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 698376 KiB
Current children cumulated memory: 596416 KiB
[startup+162.3 s]
/proc/loadavg: 3.87 1.82 0.76 5/256 1014900
/proc/meminfo: memFree=125419744/131524600 swapFree=131070704/131071996
[pid=1014825] ppid=1014822 vsize=750416 memory=648164 CPUtime=161.81 cores=5,7
/proc/1014825/stat : 1014825 (CASHWMaxSAT-Dis) R 1014822 1014825 1014753 0 -1 4194304 194070 0 0 0 16149 32 0 0 20 0 1 0 192115339 768425984 162041 134679101440 4194304 14636349 140726115430464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 46751744 140726115435489 140726115435605 140726115435605 140726115442622 0
/proc/1014825/statm: 187604 162041 2650 2550 0 184559 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 750416 KiB
Current children cumulated memory: 648164 KiB
[startup+222.3 s]
/proc/loadavg: 4.00 2.24 0.97 5/254 1014911
/proc/meminfo: memFree=125273496/131524600 swapFree=131070704/131071996
[pid=1014825] ppid=1014822 vsize=840520 memory=680400 CPUtime=221.63 cores=5,7
/proc/1014825/stat : 1014825 (CASHWMaxSAT-Dis) R 1014822 1014825 1014753 0 -1 4194304 204241 0 0 0 22128 35 0 0 20 0 1 0 192115339 860692480 170100 134679101440 4194304 14636349 140726115430464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 46751744 140726115435489 140726115435605 140726115435605 140726115442622 0
/proc/1014825/statm: 210130 170100 2650 2550 0 207085 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 840520 KiB
Current children cumulated memory: 680400 KiB
[startup+282.3 s]
/proc/loadavg: 4.31 2.66 1.20 5/254 1014921
/proc/meminfo: memFree=125130768/131524600 swapFree=131070704/131071996
[pid=1014825] ppid=1014822 vsize=896224 memory=684804 CPUtime=281.44 cores=5,7
/proc/1014825/stat : 1014825 (CASHWMaxSAT-Dis) R 1014822 1014825 1014753 0 -1 4194304 217507 0 0 0 28107 37 0 0 20 0 1 0 192115339 917733376 171201 134679101440 4194304 14636349 140726115430464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 46751744 140726115435489 140726115435605 140726115435605 140726115442622 0
/proc/1014825/statm: 224056 171201 2650 2550 0 221011 0
Current children cumulated CPU time: 281.44 s
Current children cumulated vsize: 896224 KiB
Current children cumulated memory: 684804 KiB
[startup+342.3 s]
/proc/loadavg: 4.17 2.92 1.38 5/254 1014932
/proc/meminfo: memFree=124945296/131524600 swapFree=131070704/131071996
[pid=1014825] ppid=1014822 vsize=949908 memory=722684 CPUtime=341.26 cores=5,7
/proc/1014825/stat : 1014825 (CASHWMaxSAT-Dis) R 1014822 1014825 1014753 0 -1 4194304 219395 0 0 0 34088 38 0 0 20 0 1 0 192115339 972705792 180671 134679101440 4194304 14636349 140726115430464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 46751744 140726115435489 140726115435605 140726115435605 140726115442622 0
/proc/1014825/statm: 237477 180671 2650 2550 0 234432 0
Current children cumulated CPU time: 341.26 s
Current children cumulated vsize: 949908 KiB
Current children cumulated memory: 722684 KiB
[startup+402.3 s]
/proc/loadavg: 4.18 3.15 1.56 5/254 1014943
/proc/meminfo: memFree=124688568/131524600 swapFree=131070704/131071996
[pid=1014825] ppid=1014822 vsize=982920 memory=756856 CPUtime=401.08 cores=5,7
/proc/1014825/stat : 1014825 (CASHWMaxSAT-Dis) R 1014822 1014825 1014753 0 -1 4194304 243255 0 0 0 40066 42 0 0 20 0 1 0 192115339 1006510080 189214 134679101440 4194304 14636349 140726115430464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 46751744 140726115435489 140726115435605 140726115435605 140726115442622 0
/proc/1014825/statm: 245730 189214 2650 2550 0 242685 0
Current children cumulated CPU time: 401.08 s
Current children cumulated vsize: 982920 KiB
Current children cumulated memory: 756856 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 3.33 1.72 5/255 1014954
/proc/meminfo: memFree=124500720/131524600 swapFree=131070704/131071996
[pid=1014825] ppid=1014822 vsize=997268 memory=769416 CPUtime=460.9 cores=5,7
/proc/1014825/stat : 1014825 (CASHWMaxSAT-Dis) R 1014822 1014825 1014753 0 -1 4194304 250795 0 0 0 46046 44 0 0 20 0 1 0 192115339 1021202432 192354 134679101440 4194304 14636349 140726115430464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 46751744 140726115435489 140726115435605 140726115435605 140726115442622 0
/proc/1014825/statm: 249317 192354 2650 2550 0 246272 0
################
# More data... #
################
Current children cumulated memory: 1395128 KiB
[startup+2862.3 s]
/proc/loadavg: 4.24 4.12 3.98 5/254 1016008
/proc/meminfo: memFree=122702596/131524600 swapFree=131070704/131071996
[pid=1014825] ppid=1014822 vsize=1611108 memory=1424304 CPUtime=2853.34 cores=5,7
/proc/1014825/stat : 1014825 (CASHWMaxSAT-Dis) R 1014822 1014825 1014753 0 -1 4194304 522449 0 0 0 285193 141 0 0 20 0 1 0 192115339 1649774592 356076 134679101440 4194304 14636349 140726115430464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 46751744 140726115435489 140726115435605 140726115435605 140726115442622 0
/proc/1014825/statm: 402777 356076 2666 2550 0 399732 0
Current children cumulated CPU time: 2853.34 s
Current children cumulated vsize: 1611108 KiB
Current children cumulated memory: 1424304 KiB
[startup+2922.3 s]
/proc/loadavg: 4.18 4.13 4.00 5/257 1016023
/proc/meminfo: memFree=122736900/131524600 swapFree=131070704/131071996
[pid=1014825] ppid=1014822 vsize=1478848 memory=1410136 CPUtime=2913.18 cores=5,7
/proc/1014825/stat : 1014825 (CASHWMaxSAT-Dis) R 1014822 1014825 1014753 0 -1 4194304 523427 0 0 0 291173 145 0 0 20 0 1 0 192115339 1514340352 352534 134679101440 4194304 14636349 140726115430464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 46751744 140726115435489 140726115435605 140726115435605 140726115442622 0
/proc/1014825/statm: 369712 352534 2666 2550 0 366667 0
Current children cumulated CPU time: 2913.18 s
Current children cumulated vsize: 1478848 KiB
Current children cumulated memory: 1410136 KiB
[startup+2982.3 s]
/proc/loadavg: 4.15 4.12 4.01 5/257 1016034
/proc/meminfo: memFree=122680868/131524600 swapFree=131070704/131071996
[pid=1014825] ppid=1014822 vsize=1611108 memory=1440856 CPUtime=2973.02 cores=5,7
/proc/1014825/stat : 1014825 (CASHWMaxSAT-Dis) R 1014822 1014825 1014753 0 -1 4194304 524142 0 0 0 297156 146 0 0 20 0 1 0 192115339 1649774592 360214 134679101440 4194304 14636349 140726115430464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 46751744 140726115435489 140726115435605 140726115435605 140726115442622 0
/proc/1014825/statm: 402777 360214 2666 2550 0 399732 0
Current children cumulated CPU time: 2973.02 s
Current children cumulated vsize: 1611108 KiB
Current children cumulated memory: 1440856 KiB
[startup+3042.3 s]
/proc/loadavg: 4.11 4.11 4.01 5/257 1016044
/proc/meminfo: memFree=122581680/131524600 swapFree=131070704/131071996
[pid=1014825] ppid=1014822 vsize=1478848 memory=1423364 CPUtime=3032.87 cores=5,7
/proc/1014825/stat : 1014825 (CASHWMaxSAT-Dis) R 1014822 1014825 1014753 0 -1 4194304 525051 0 0 0 303136 151 0 0 20 0 1 0 192115339 1514340352 355841 134679101440 4194304 14636349 140726115430464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 46751744 140726115435489 140726115435605 140726115435605 140726115442622 0
/proc/1014825/statm: 369712 355841 2666 2550 0 366667 0
Current children cumulated CPU time: 3032.87 s
Current children cumulated vsize: 1478848 KiB
Current children cumulated memory: 1423364 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.11 4.01 5/257 1016055
/proc/meminfo: memFree=122573168/131524600 swapFree=131070704/131071996
[pid=1014825] ppid=1014822 vsize=1611108 memory=1449564 CPUtime=3092.71 cores=5,7
/proc/1014825/stat : 1014825 (CASHWMaxSAT-Dis) R 1014822 1014825 1014753 0 -1 4194304 525603 0 0 0 309119 152 0 0 20 0 1 0 192115339 1649774592 362391 134679101440 4194304 14636349 140726115430464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 46751744 140726115435489 140726115435605 140726115435605 140726115442622 0
/proc/1014825/statm: 402777 362391 2666 2550 0 399732 0
Current children cumulated CPU time: 3092.71 s
Current children cumulated vsize: 1611108 KiB
Current children cumulated memory: 1449564 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.12 4.01 5/257 1016066
/proc/meminfo: memFree=122562528/131524600 swapFree=131070704/131071996
[pid=1014825] ppid=1014822 vsize=1611108 memory=1428952 CPUtime=3152.55 cores=5,7
/proc/1014825/stat : 1014825 (CASHWMaxSAT-Dis) R 1014822 1014825 1014753 0 -1 4194304 526824 0 0 0 315098 157 0 0 20 0 1 0 192115339 1649774592 357238 134679101440 4194304 14636349 140726115430464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 46751744 140726115435489 140726115435605 140726115435605 140726115442622 0
/proc/1014825/statm: 402777 357238 2666 2550 0 399732 0
Current children cumulated CPU time: 3152.55 s
Current children cumulated vsize: 1611108 KiB
Current children cumulated memory: 1428952 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.11 4.01 5/255 1016459
/proc/meminfo: memFree=122527160/131524600 swapFree=131070704/131071996
[pid=1014825] ppid=1014822 vsize=1611108 memory=1455708 CPUtime=3212.39 cores=5,7
/proc/1014825/stat : 1014825 (CASHWMaxSAT-Dis) R 1014822 1014825 1014753 0 -1 4194304 526999 0 0 0 321081 158 0 0 20 0 1 0 192115339 1649774592 363927 134679101440 4194304 14636349 140726115430464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 46751744 140726115435489 140726115435605 140726115435605 140726115442622 0
/proc/1014825/statm: 402777 363927 2666 2550 0 399732 0
Current children cumulated CPU time: 3212.39 s
Current children cumulated vsize: 1611108 KiB
Current children cumulated memory: 1455708 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.10 4.01 5/255 1016469
/proc/meminfo: memFree=122516464/131524600 swapFree=131070704/131071996
[pid=1014825] ppid=1014822 vsize=1611108 memory=1429084 CPUtime=3272.22 cores=5,7
/proc/1014825/stat : 1014825 (CASHWMaxSAT-Dis) R 1014822 1014825 1014753 0 -1 4194304 528244 0 0 0 327059 163 0 0 20 0 1 0 192115339 1649774592 357271 134679101440 4194304 14636349 140726115430464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 46751744 140726115435489 140726115435605 140726115435605 140726115442622 0
/proc/1014825/statm: 402777 357271 2666 2550 0 399732 0
Current children cumulated CPU time: 3272.22 s
Current children cumulated vsize: 1611108 KiB
Current children cumulated memory: 1429084 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.11 4.02 5/255 1016480
/proc/meminfo: memFree=122421400/131524600 swapFree=131070704/131071996
[pid=1014825] ppid=1014822 vsize=1611108 memory=1461852 CPUtime=3332.05 cores=5,7
/proc/1014825/stat : 1014825 (CASHWMaxSAT-Dis) R 1014822 1014825 1014753 0 -1 4194304 528427 0 0 0 333041 164 0 0 20 0 1 0 192115339 1649774592 365463 134679101440 4194304 14636349 140726115430464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 46751744 140726115435489 140726115435605 140726115435605 140726115442622 0
/proc/1014825/statm: 402777 365463 2666 2550 0 399732 0
Current children cumulated CPU time: 3332.05 s
Current children cumulated vsize: 1611108 KiB
Current children cumulated memory: 1461852 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.11 4.02 5/257 1016660
/proc/meminfo: memFree=122471380/131524600 swapFree=131070704/131071996
[pid=1014825] ppid=1014822 vsize=1611108 memory=1430944 CPUtime=3391.88 cores=5,7
/proc/1014825/stat : 1014825 (CASHWMaxSAT-Dis) R 1014822 1014825 1014753 0 -1 4194304 529103 0 0 0 339018 170 0 0 20 0 1 0 192115339 1649774592 357736 134679101440 4194304 14636349 140726115430464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 46751744 140726115435489 140726115435605 140726115435605 140726115442622 0
/proc/1014825/statm: 402777 357736 2666 2550 0 399732 0
Current children cumulated CPU time: 3391.88 s
Current children cumulated vsize: 1611108 KiB
Current children cumulated memory: 1430944 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.12 4.02 5/257 1016670
/proc/meminfo: memFree=122427800/131524600 swapFree=131070704/131071996
[pid=1014825] ppid=1014822 vsize=1611108 memory=1459616 CPUtime=3451.72 cores=5,7
/proc/1014825/stat : 1014825 (CASHWMaxSAT-Dis) R 1014822 1014825 1014753 0 -1 4194304 529339 0 0 0 345002 170 0 0 20 0 1 0 192115339 1649774592 364904 134679101440 4194304 14636349 140726115430464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 46751744 140726115435489 140726115435605 140726115435605 140726115442622 0
/proc/1014825/statm: 402777 364904 2666 2550 0 399732 0
Current children cumulated CPU time: 3451.72 s
Current children cumulated vsize: 1611108 KiB
Current children cumulated memory: 1459616 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.11 4.02 5/258 1016738
/proc/meminfo: memFree=122356512/131524600 swapFree=131070704/131071996
[pid=1014825] ppid=1014822 vsize=1611108 memory=1486240 CPUtime=3511.56 cores=5,7
/proc/1014825/stat : 1014825 (CASHWMaxSAT-Dis) R 1014822 1014825 1014753 0 -1 4194304 529651 0 0 0 350985 171 0 0 20 0 1 0 192115339 1649774592 371560 134679101440 4194304 14636349 140726115430464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 46751744 140726115435489 140726115435605 140726115435605 140726115442622 0
/proc/1014825/statm: 402777 371560 2666 2550 0 399732 0
Current children cumulated CPU time: 3511.56 s
Current children cumulated vsize: 1611108 KiB
Current children cumulated memory: 1486240 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.10 4.02 5/258 1016749
/proc/meminfo: memFree=122326880/131524600 swapFree=131070704/131071996
[pid=1014825] ppid=1014822 vsize=1611108 memory=1457084 CPUtime=3571.41 cores=5,7
/proc/1014825/stat : 1014825 (CASHWMaxSAT-Dis) R 1014822 1014825 1014753 0 -1 4194304 530249 0 0 0 356964 177 0 0 20 0 1 0 192115339 1649774592 364271 134679101440 4194304 14636349 140726115430464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 46751744 140726115435489 140726115435605 140726115435605 140726115442622 0
/proc/1014825/statm: 402777 364271 2666 2550 0 399732 0
Current children cumulated CPU time: 3571.41 s
Current children cumulated vsize: 1611108 KiB
Current children cumulated memory: 1457084 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611 s]*
/proc/loadavg: 4.12 4.11 4.03 5/256 1016768
/proc/meminfo: memFree=124353232/131524600 swapFree=131070704/131071996
[pid=1014825] ppid=1014822 vsize=1611108 memory=1471420 CPUtime=3600.04 cores=5,7
/proc/1014825/stat : 1014825 (CASHWMaxSAT-Dis) R 1014822 1014825 1014753 0 -1 4194304 530345 0 0 0 359827 177 0 0 20 0 1 0 192115339 1649774592 367855 134679101440 4194304 14636349 140726115430464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 46751744 140726115435489 140726115435605 140726115435605 140726115442622 0
/proc/1014825/statm: 402777 367855 2666 2550 0 399732 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1611108 KiB
Current children cumulated memory: 1471420 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.01 s]
# the end of solver process 1014825 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3598.27 s, system=1.77913 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3611.01
CPU time (s): 3600.05
CPU user time (s): 3598.27
CPU system time (s): 1.77913
CPU usage (%): 99.6965
Max. virtual memory (cumulated for all children) (KiB): 1954984
Max. memory (cumulated for all children) (KiB): 1728824
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.27
system time used= 1.77913
maximum resident set size= 1728824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 530346
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= 96
involuntary context switches= 2481
# summary of solver processes directly reported to runsolver:
# pid: 1014825
# total CPU time (s): 3600.05
# total CPU user time (s): 3598.27
# total CPU system time (s): 1.77913
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.6136 second user time and 17.312 second system time
The end
Begin job on nodeC023 at 2024-07-19 16:31:56 IDJOB=4449740 IDBENCH=176097 IDSOLVER=3076 FILE ID=nodeC023/4449740-1721399504 RUNJOBID= nodeC023-1721399516-1014766 SLURM_JOB_ID= 7545446 Free space on /tmp= 890036 MiB SOLVER NAME= CASHWMaxSAT-DisjCom-SP 2024-07-10 BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=20-t=2.opb COMMAND LINE= CASHWMaxSAT-DisjCom-SP BENCHNAME -total-t=TIMEOUT -no-par -v0 RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449740-1721399504/watcher-4449740-1721399504 -o /tmp/evaluation-result-4449740-1721399504/solver-4449740-1721399504 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721399516-1014766 --watchdog 3760 CASHWMaxSAT-DisjCom-SP HOME/instance-4449740-1721399504.opb -total-t=3600 -no-par -v0 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 06b87d46bf38d4b028e9a0f41f22c2e8 RANDOM SEED=445818147 nodeC023.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /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 : 3664.423 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.61 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 : 3398.280 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.48 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 : 3551.702 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.61 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 : 3667.338 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.48 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 : 3665.413 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.61 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 : 3668.536 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.48 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 : 3607.448 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.61 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 : 3661.400 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.48 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 127579000 kB MemAvailable: 129702376 kB Buffers: 548804 kB Cached: 2410820 kB SwapCached: 80 kB Active: 1162748 kB Inactive: 2214904 kB Active(anon): 1508 kB Inactive(anon): 461932 kB Active(file): 1161240 kB Inactive(file): 1752972 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131070704 kB Dirty: 60052 kB Writeback: 0 kB AnonPages: 417372 kB Mapped: 129244 kB Shmem: 45728 kB KReclaimable: 97976 kB Slab: 191052 kB SReclaimable: 97976 kB SUnreclaim: 93076 kB KernelStack: 4132 kB PageTables: 9600 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 840752 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 33760 kB HardwareCorrupted: 0 kB AnonHugePages: 247808 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 316116 kB DirectMap2M: 38254592 kB DirectMap1G: 97517568 kB Free space on /tmp at the end= 890024 MiB End job on nodeC023 at 2024-07-19 17:32:08