Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| CASHWMaxSAT-DisjCom-S 2024-07-10 | SAT (TO) | 17 | 3600.11 | 3611.21 |
| Name | PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=19-t=2.opb |
| MD5SUM | 9b7954cd6dc14b590c17dd19cf5c91cb |
| 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 | 17 |
| Best CPU time to get the best result obtained on this benchmark | 59.722 |
| 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 | 589 |
| Total number of constraints | 58881 |
| Number of constraints which are clauses | 58862 |
| Number of constraints which are cardinality constraints (but not clauses) | 19 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 20 |
| Number of terms in the objective function | 19 |
| 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 | 19 |
| 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 | 21 |
| 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.29/0.39 c Using COMiniSatPS SAT solver by Chanseok Oh (2016) 0.29/0.39 c Using COMiniSatPS SAT solver by Chanseok Oh (2016) 0.29/0.39 o 18 0.29/0.39 c Using SCIP solver, version 8.1.0, https://www.scipopt.org 0.40/0.43 c Starting SCIP solver (with time-limit = 1800s) ... 1794.39/1800.44 c SCIP timeout with lower and upper bounds: [0, 17] 1794.39/1800.44 o 17 3600.09/3611.20 3600.09/3611.20 v x172 x173 x174 -x175 x176 x177 x178 x179 x180 x181 x182 x183 x184 x185 -x186 x187 x188 x189 x190 -x191 -x210 -x229 -x248 -x267 -x286 -x305 -x324 -x343 -x362 -x381 -x400 -x419 -x438 -x457 -x476 -x495 -x514 -x533 -x192 -x211 -x230 -x249 -x268 -x287 -x306 -x325 -x344 -x363 -x382 -x401 -x420 -x439 -x458 -x477 -x496 -x515 -x534 -x193 -x212 -x231 -x250 -x269 -x288 -x307 -x326 -x345 -x364 -x383 -x402 -x421 -x440 -x459 -x478 -x497 -x516 -x535 -x194 -x213 -x232 -x251 -x270 -x289 -x308 -x327 -x346 -x365 -x384 -x403 -x422 -x441 -x460 -x479 -x498 -x517 x536 -x195 -x214 -x233 -x252 -x271 -x290 -x309 -x328 -x347 -x366 -x385 -x404 -x423 -x442 -x461 -x480 -x499 -x518 -x537 -x196 -x215 -x234 -x253 -x272 -x291 -x310 -x329 -x348 -x367 -x386 -x405 -x424 -x443 -x462 -x481 -x500 -x519 -x538 -x197 -x216 -x235 -x254 -x273 -x292 -x311 -x330 -x349 -x368 -x387 -x406 -x425 -x444 -x463 -x482 -x501 -x520 -x539 -x198 -x217 -x236 -x255 -x274 -x293 -x312 -x331 -x350 -x369 -x388 -x407 -x426 -x445 -x464 -x483 -x502 -x521 -x540 -x199 -x218 -x237 -x256 -x275 -x294 -x313 -x332 -x351 -x370 -x389 -x408 -x427 -x446 -x465 -x484 -x503 -x522 -x541 -x200 -x219 -x238 -x257 -x276 -x295 -x314 -x333 -x352 -x371 -x390 -x409 -x428 -x447 -x466 -x485 -x504 -x523 -x542 -x201 -x220 -x239 -x258 -x277 -x296 -x315 -x334 -x353 -x372 -x391 -x410 -x429 -x448 -x467 -x486 -x505 -x524 -x543 -x202 -x221 -x240 -x259 -x278 -x297 -x316 -x335 -x354 -x373 -x392 -x411 -x430 -x449 -x468 -x487 -x506 -x525 -x544 -x203 -x222 -x241 -x260 -x279 -x298 -x317 -x336 -x355 -x374 -x393 -x412 -x431 -x450 -x469 -x488 -x507 -x526 -x545 -x204 -x223 -x242 -x261 -x280 -x299 -x318 -x337 -x356 -x375 -x394 -x413 -x432 -x451 -x470 -x489 -x508 -x527 -x546 -x205 -x224 -x243 -x262 -x281 -x300 -x319 -x338 -x357 -x376 -x395 -x414 -x433 -x452 -x471 -x490 x509 -x528 -x547 -x206 -x225 -x244 -x263 -x282 -x301 -x320 -x339 -x358 -x377 -x396 -x415 -x434 -x453 -x472 -x491 -x510 -x529 -x548 -x207 -x226 -x245 -x264 -x283 -x302 -x321 -x340 -x359 -x378 -x397 -x416 -x435 -x454 -x473 -x492 -x511 -x530 -x549 -x208 -x227 -x246 -x265 -x284 -x303 -x322 -x341 -x360 -x379 -x398 -x417 -x436 -x455 -x474 -x493 -x512 -x531 -x550 -x209 -x228 -x247 -x266 -x285 -x304 -x323 -x342 -x361 -x380 -x399 -x418 -x437 -x456 -x475 -x494 -x513 -x532 -x551 -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 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 3600.09/3611.20 s SATISFIABLE
OK 17
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: 63931 MiB (60782 MiB free)
memory of node 1: 64510 MiB (61469 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449881-1721399504/watcher-4449881-1721399504 -o /tmp/evaluation-result-4449881-1721399504/solver-4449881-1721399504 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721399515-1034300 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4449881-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=1034360, runsolver pid=1034357
[startup+0.100933 s]*
/proc/loadavg: 0.10 0.09 0.09 5/261 1034361
/proc/meminfo: memFree=125133704/131524600 swapFree=131071996/131071996
[pid=1034360] ppid=1034357 vsize=39856 memory=21408 CPUtime=0.09 cores=5,7
/proc/1034360/stat : 1034360 (CASHWMaxSAT-Dis) R 1034357 1034360 1034287 0 -1 4194304 4743 0 0 0 9 0 0 0 20 0 1 0 192120104 40812544 5352 134679101440 4194304 14093885 140721467257168 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 25739264 140721467266019 140721467266134 140721467266134 140721467273151 0
/proc/1034360/statm: 9964 5352 750 2417 0 7066 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39856 KiB
Current children cumulated memory: 21408 KiB
[startup+0.205541 s]*
/proc/loadavg: 0.10 0.09 0.09 5/261 1034361
/proc/meminfo: memFree=125045224/131524600 swapFree=131071996/131071996
[pid=1034360] ppid=1034357 vsize=58800 memory=40208 CPUtime=0.19 cores=5,7
/proc/1034360/stat : 1034360 (CASHWMaxSAT-Dis) R 1034357 1034360 1034287 0 -1 4194304 9440 0 0 0 18 1 0 0 20 0 1 0 192120104 60211200 10052 134679101440 4194304 14093885 140721467257168 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 25739264 140721467266019 140721467266134 140721467266134 140721467273151 0
/proc/1034360/statm: 14700 10052 750 2417 0 11802 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 58800 KiB
Current children cumulated memory: 40208 KiB
[startup+0.305741 s]*
/proc/loadavg: 0.10 0.09 0.09 5/261 1034361
/proc/meminfo: memFree=125008092/131524600 swapFree=131071996/131071996
[pid=1034360] ppid=1034357 vsize=71676 memory=55956 CPUtime=0.29 cores=5,7
/proc/1034360/stat : 1034360 (CASHWMaxSAT-Dis) R 1034357 1034360 1034287 0 -1 4194304 13079 0 0 0 27 2 0 0 20 0 1 0 192120104 73396224 13989 134679101440 4194304 14093885 140721467257168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 25739264 140721467266019 140721467266134 140721467266134 140721467273151 0
/proc/1034360/statm: 17919 13989 782 2417 0 15021 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 71676 KiB
Current children cumulated memory: 55956 KiB
[startup+0.700243 s]
/proc/loadavg: 0.10 0.09 0.09 6/261 1034361
/proc/meminfo: memFree=124901472/131524600 swapFree=131071996/131071996
[pid=1034360] ppid=1034357 vsize=181664 memory=170896 CPUtime=0.69 cores=5,7
/proc/1034360/stat : 1034360 (CASHWMaxSAT-Dis) R 1034357 1034360 1034287 0 -1 4194304 41065 0 0 0 63 6 0 0 20 0 1 0 192120104 186023936 42724 134679101440 4194304 14093885 140721467257168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 25739264 140721467266019 140721467266134 140721467266134 140721467273151 0
/proc/1034360/statm: 45416 42724 2350 2417 0 42518 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 181664 KiB
Current children cumulated memory: 170896 KiB
[startup+1.50024 s]
/proc/loadavg: 0.10 0.09 0.09 5/261 1034361
/proc/meminfo: memFree=124798268/131524600 swapFree=131071996/131071996
[pid=1034360] ppid=1034357 vsize=359628 memory=334088 CPUtime=1.48 cores=5,7
/proc/1034360/stat : 1034360 (CASHWMaxSAT-Dis) R 1034357 1034360 1034287 0 -1 4194304 67542 0 0 0 138 10 0 0 20 0 1 0 192120104 368259072 83522 134679101440 4194304 14093885 140721467257168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 25739264 140721467266019 140721467266134 140721467266134 140721467273151 0
/proc/1034360/statm: 89907 83522 2510 2417 0 87009 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 359628 KiB
Current children cumulated memory: 334088 KiB
[startup+3.1054 s]
/proc/loadavg: 0.10 0.09 0.09 5/261 1034407
/proc/meminfo: memFree=124451904/131524600 swapFree=131071996/131071996
[pid=1034360] ppid=1034357 vsize=388608 memory=363280 CPUtime=3.09 cores=5,7
/proc/1034360/stat : 1034360 (CASHWMaxSAT-Dis) R 1034357 1034360 1034287 0 -1 4194304 80236 0 0 0 296 13 0 0 20 0 1 0 192120104 397934592 90820 134679101440 4194304 14093885 140721467257168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 25739264 140721467266019 140721467266134 140721467266134 140721467273151 0
/proc/1034360/statm: 97152 90820 2510 2417 0 94254 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 388608 KiB
Current children cumulated memory: 363280 KiB
[startup+6.30022 s]
/proc/loadavg: 0.41 0.15 0.11 5/261 1034407
/proc/meminfo: memFree=124434612/131524600 swapFree=131071996/131071996
[pid=1034360] ppid=1034357 vsize=388608 memory=363280 CPUtime=6.27 cores=5,7
/proc/1034360/stat : 1034360 (CASHWMaxSAT-Dis) R 1034357 1034360 1034287 0 -1 4194304 80241 0 0 0 614 13 0 0 20 0 1 0 192120104 397934592 90820 134679101440 4194304 14093885 140721467257168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 25739264 140721467266019 140721467266134 140721467266134 140721467273151 0
/proc/1034360/statm: 97152 90820 2510 2417 0 94254 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 388608 KiB
Current children cumulated memory: 363280 KiB
[startup+12.7002 s]
/proc/loadavg: 0.70 0.22 0.13 5/261 1034409
/proc/meminfo: memFree=124399524/131524600 swapFree=131071996/131071996
[pid=1034360] ppid=1034357 vsize=419424 memory=377964 CPUtime=12.65 cores=5,7
/proc/1034360/stat : 1034360 (CASHWMaxSAT-Dis) R 1034357 1034360 1034287 0 -1 4194304 82880 0 0 0 1252 13 0 0 20 0 1 0 192120104 429490176 94491 134679101440 4194304 14093885 140721467257168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 25739264 140721467266019 140721467266134 140721467266134 140721467273151 0
/proc/1034360/statm: 104856 94491 2526 2417 0 101958 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 419424 KiB
Current children cumulated memory: 377964 KiB
[startup+25.5003 s]
/proc/loadavg: 1.43 0.40 0.19 5/261 1034411
/proc/meminfo: memFree=124289032/131524600 swapFree=131071996/131071996
[pid=1034360] ppid=1034357 vsize=513308 memory=450420 CPUtime=25.42 cores=5,7
/proc/1034360/stat : 1034360 (CASHWMaxSAT-Dis) R 1034357 1034360 1034287 0 -1 4194304 113103 0 0 0 2525 17 0 0 20 0 1 0 192120104 525627392 112605 134679101440 4194304 14093885 140721467257168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 25739264 140721467266019 140721467266134 140721467266134 140721467273151 0
/proc/1034360/statm: 128327 112605 2542 2417 0 125429 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 513308 KiB
Current children cumulated memory: 450420 KiB
[startup+51.1057 s]
/proc/loadavg: 2.31 0.69 0.30 5/261 1034416
/proc/meminfo: memFree=124095716/131524600 swapFree=131071996/131071996
[pid=1034360] ppid=1034357 vsize=545536 memory=482888 CPUtime=50.94 cores=5,7
/proc/1034360/stat : 1034360 (CASHWMaxSAT-Dis) R 1034357 1034360 1034287 0 -1 4194304 140471 0 0 0 5073 21 0 0 20 0 1 0 192120104 558628864 120722 134679101440 4194304 14093885 140721467257168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 25739264 140721467266019 140721467266134 140721467266134 140721467273151 0
/proc/1034360/statm: 136384 120722 2542 2417 0 133486 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 545536 KiB
Current children cumulated memory: 482888 KiB
[startup+102.3 s]
/proc/loadavg: 3.38 1.24 0.50 5/261 1034425
/proc/meminfo: memFree=123900400/131524600 swapFree=131071996/131071996
[pid=1034360] ppid=1034357 vsize=663040 memory=539744 CPUtime=101.96 cores=5,7
/proc/1034360/stat : 1034360 (CASHWMaxSAT-Dis) R 1034357 1034360 1034287 0 -1 4194304 172255 0 0 0 10169 27 0 0 20 0 1 0 192120104 678952960 134936 134679101440 4194304 14093885 140721467257168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 25739264 140721467266019 140721467266134 140721467266134 140721467273151 0
/proc/1034360/statm: 165760 134936 2542 2417 0 162862 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 663040 KiB
Current children cumulated memory: 539744 KiB
[startup+162.3 s]
/proc/loadavg: 3.91 1.77 0.74 5/259 1034436
/proc/meminfo: memFree=123724356/131524600 swapFree=131071996/131071996
[pid=1034360] ppid=1034357 vsize=706988 memory=583296 CPUtime=161.72 cores=5,7
/proc/1034360/stat : 1034360 (CASHWMaxSAT-Dis) R 1034357 1034360 1034287 0 -1 4194304 199712 0 0 0 16141 31 0 0 20 0 1 0 192120104 723955712 145824 134679101440 4194304 14093885 140721467257168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 25739264 140721467266019 140721467266134 140721467266134 140721467273151 0
/proc/1034360/statm: 176747 145824 2542 2417 0 173849 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 706988 KiB
Current children cumulated memory: 583296 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 2.21 0.95 5/259 1034491
/proc/meminfo: memFree=123633676/131524600 swapFree=131071996/131071996
[pid=1034360] ppid=1034357 vsize=723868 memory=600148 CPUtime=221.46 cores=5,7
/proc/1034360/stat : 1034360 (CASHWMaxSAT-Dis) R 1034357 1034360 1034287 0 -1 4194304 203942 0 0 0 22114 32 0 0 20 0 1 0 192120104 741240832 150037 134679101440 4194304 14093885 140721467257168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 25739264 140721467266019 140721467266134 140721467266134 140721467273151 0
/proc/1034360/statm: 180967 150037 2542 2417 0 178069 0
Current children cumulated CPU time: 221.46 s
Current children cumulated vsize: 723868 KiB
Current children cumulated memory: 600148 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 2.57 1.16 5/256 1034505
/proc/meminfo: memFree=123477140/131524600 swapFree=131071996/131071996
[pid=1034360] ppid=1034357 vsize=731344 memory=585352 CPUtime=281.22 cores=5,7
/proc/1034360/stat : 1034360 (CASHWMaxSAT-Dis) R 1034357 1034360 1034287 0 -1 4194304 217805 0 0 0 28088 34 0 0 20 0 1 0 192120104 748896256 146338 134679101440 4194304 14093885 140721467257168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 25739264 140721467266019 140721467266134 140721467266134 140721467273151 0
/proc/1034360/statm: 182836 146338 2542 2417 0 179938 0
Current children cumulated CPU time: 281.22 s
Current children cumulated vsize: 731344 KiB
Current children cumulated memory: 585352 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 2.85 1.34 5/256 1034516
/proc/meminfo: memFree=123276272/131524600 swapFree=131071996/131071996
[pid=1034360] ppid=1034357 vsize=759948 memory=602804 CPUtime=341 cores=5,7
/proc/1034360/stat : 1034360 (CASHWMaxSAT-Dis) R 1034357 1034360 1034287 0 -1 4194304 219668 0 0 0 34065 35 0 0 20 0 1 0 192120104 778186752 150701 134679101440 4194304 14093885 140721467257168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 25739264 140721467266019 140721467266134 140721467266134 140721467273151 0
/proc/1034360/statm: 189987 150701 2542 2417 0 187089 0
Current children cumulated CPU time: 341 s
Current children cumulated vsize: 759948 KiB
Current children cumulated memory: 602804 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 3.07 1.52 5/256 1034526
/proc/meminfo: memFree=123044580/131524600 swapFree=131071996/131071996
[pid=1034360] ppid=1034357 vsize=837560 memory=672232 CPUtime=400.79 cores=5,7
/proc/1034360/stat : 1034360 (CASHWMaxSAT-Dis) R 1034357 1034360 1034287 0 -1 4194304 237142 0 0 0 40042 37 0 0 20 0 1 0 192120104 857661440 168058 134679101440 4194304 14093885 140721467257168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 25739264 140721467266019 140721467266134 140721467266134 140721467273151 0
/proc/1034360/statm: 209390 168058 2542 2417 0 206492 0
Current children cumulated CPU time: 400.79 s
Current children cumulated vsize: 837560 KiB
Current children cumulated memory: 672232 KiB
[startup+462.3 s]
/proc/loadavg: 4.19 3.29 1.69 5/256 1034536
/proc/meminfo: memFree=122887584/131524600 swapFree=131071996/131071996
[pid=1034360] ppid=1034357 vsize=837560 memory=673788 CPUtime=460.58 cores=5,7
/proc/1034360/stat : 1034360 (CASHWMaxSAT-Dis) R 1034357 1034360 1034287 0 -1 4194304 237628 0 0 0 46020 38 0 0 20 0 1 0 192120104 857661440 168447 134679101440 4194304 14093885 140721467257168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 25739264 140721467266019 140721467266134 140721467266134 140721467273151 0
/proc/1034360/statm: 209390 168447 2542 2417 0 206492 0
################
# More data... #
################
Current children cumulated memory: 1223592 KiB
[startup+2862.3 s]
/proc/loadavg: 3.12 3.15 3.27 4/247 1035567
/proc/meminfo: memFree=122235736/131524600 swapFree=131071996/131071996
[pid=1034360] ppid=1034357 vsize=1284972 memory=1211976 CPUtime=2853.36 cores=5,7
/proc/1034360/stat : 1034360 (CASHWMaxSAT-Dis) R 1034357 1034360 1034287 0 -1 4194304 519069 0 0 0 285185 151 0 0 20 0 1 0 192120104 1315811328 302994 134679101440 4194304 14093885 140721467257168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 25739264 140721467266019 140721467266134 140721467266134 140721467273151 0
/proc/1034360/statm: 321243 302994 2542 2417 0 318345 0
Current children cumulated CPU time: 2853.36 s
Current children cumulated vsize: 1284972 KiB
Current children cumulated memory: 1211976 KiB
[startup+2922.3 s]
/proc/loadavg: 3.10 3.14 3.25 4/247 1035577
/proc/meminfo: memFree=122162284/131524600 swapFree=131071996/131071996
[pid=1034360] ppid=1034357 vsize=1417232 memory=1244744 CPUtime=2913.19 cores=5,7
/proc/1034360/stat : 1034360 (CASHWMaxSAT-Dis) R 1034357 1034360 1034287 0 -1 4194304 519832 0 0 0 291167 152 0 0 20 0 1 0 192120104 1451245568 311186 134679101440 4194304 14093885 140721467257168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 25739264 140721467266019 140721467266134 140721467266134 140721467273151 0
/proc/1034360/statm: 354308 311186 2542 2417 0 351410 0
Current children cumulated CPU time: 2913.19 s
Current children cumulated vsize: 1417232 KiB
Current children cumulated memory: 1244744 KiB
[startup+2982.3 s]
/proc/loadavg: 3.07 3.12 3.24 4/249 1035592
/proc/meminfo: memFree=122183660/131524600 swapFree=131071996/131071996
[pid=1034360] ppid=1034357 vsize=1284972 memory=1235208 CPUtime=2973.03 cores=5,7
/proc/1034360/stat : 1034360 (CASHWMaxSAT-Dis) R 1034357 1034360 1034287 0 -1 4194304 520198 0 0 0 297147 156 0 0 20 0 1 0 192120104 1315811328 308802 134679101440 4194304 14093885 140721467257168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 25739264 140721467266019 140721467266134 140721467266134 140721467273151 0
/proc/1034360/statm: 321243 308802 2542 2417 0 318345 0
Current children cumulated CPU time: 2973.03 s
Current children cumulated vsize: 1284972 KiB
Current children cumulated memory: 1235208 KiB
[startup+3042.3 s]
/proc/loadavg: 3.13 3.13 3.24 4/249 1035603
/proc/meminfo: memFree=122169240/131524600 swapFree=131071996/131071996
[pid=1034360] ppid=1034357 vsize=1284972 memory=1220872 CPUtime=3032.85 cores=5,7
/proc/1034360/stat : 1034360 (CASHWMaxSAT-Dis) R 1034357 1034360 1034287 0 -1 4194304 520919 0 0 0 303124 161 0 0 20 0 1 0 192120104 1315811328 305218 134679101440 4194304 14093885 140721467257168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 25739264 140721467266019 140721467266134 140721467266134 140721467273151 0
/proc/1034360/statm: 321243 305218 2542 2417 0 318345 0
Current children cumulated CPU time: 3032.85 s
Current children cumulated vsize: 1284972 KiB
Current children cumulated memory: 1220872 KiB
[startup+3102.3 s]
/proc/loadavg: 3.04 3.10 3.22 4/249 1035613
/proc/meminfo: memFree=122152212/131524600 swapFree=131071996/131071996
[pid=1034360] ppid=1034357 vsize=1417232 memory=1257360 CPUtime=3092.68 cores=5,7
/proc/1034360/stat : 1034360 (CASHWMaxSAT-Dis) R 1034357 1034360 1034287 0 -1 4194304 521477 0 0 0 309106 162 0 0 20 0 1 0 192120104 1451245568 314340 134679101440 4194304 14093885 140721467257168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 25739264 140721467266019 140721467266134 140721467266134 140721467273151 0
/proc/1034360/statm: 354308 314340 2542 2417 0 351410 0
Current children cumulated CPU time: 3092.68 s
Current children cumulated vsize: 1417232 KiB
Current children cumulated memory: 1257360 KiB
[startup+3162.3 s]
/proc/loadavg: 3.12 3.11 3.21 4/249 1035624
/proc/meminfo: memFree=122139812/131524600 swapFree=131071996/131071996
[pid=1034360] ppid=1034357 vsize=1417232 memory=1242972 CPUtime=3152.51 cores=5,7
/proc/1034360/stat : 1034360 (CASHWMaxSAT-Dis) R 1034357 1034360 1034287 0 -1 4194304 522226 0 0 0 315084 167 0 0 20 0 1 0 192120104 1451245568 310743 134679101440 4194304 14093885 140721467257168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 25739264 140721467266019 140721467266134 140721467266134 140721467273151 0
/proc/1034360/statm: 354308 310743 2542 2417 0 351410 0
Current children cumulated CPU time: 3152.51 s
Current children cumulated vsize: 1417232 KiB
Current children cumulated memory: 1242972 KiB
[startup+3222.3 s]
/proc/loadavg: 3.14 3.12 3.21 4/249 1035634
/proc/meminfo: memFree=122135188/131524600 swapFree=131071996/131071996
[pid=1034360] ppid=1034357 vsize=1417232 memory=1267788 CPUtime=3212.32 cores=5,7
/proc/1034360/stat : 1034360 (CASHWMaxSAT-Dis) R 1034357 1034360 1034287 0 -1 4194304 522407 0 0 0 321065 167 0 0 20 0 1 0 192120104 1451245568 316947 134679101440 4194304 14093885 140721467257168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 25739264 140721467266019 140721467266134 140721467266134 140721467273151 0
/proc/1034360/statm: 354308 316947 2542 2417 0 351410 0
Current children cumulated CPU time: 3212.32 s
Current children cumulated vsize: 1417232 KiB
Current children cumulated memory: 1267788 KiB
[startup+3282.3 s]
/proc/loadavg: 3.41 3.19 3.22 4/250 1036029
/proc/meminfo: memFree=122130544/131524600 swapFree=131071996/131071996
[pid=1034360] ppid=1034357 vsize=1417232 memory=1240712 CPUtime=3272.14 cores=5,7
/proc/1034360/stat : 1034360 (CASHWMaxSAT-Dis) R 1034357 1034360 1034287 0 -1 4194304 523086 0 0 0 327042 172 0 0 20 0 1 0 192120104 1451245568 310178 134679101440 4194304 14093885 140721467257168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 25739264 140721467266019 140721467266134 140721467266134 140721467273151 0
/proc/1034360/statm: 354308 310178 2542 2417 0 351410 0
Current children cumulated CPU time: 3272.14 s
Current children cumulated vsize: 1417232 KiB
Current children cumulated memory: 1240712 KiB
[startup+3342.3 s]
/proc/loadavg: 3.25 3.18 3.22 4/250 1036040
/proc/meminfo: memFree=122138360/131524600 swapFree=131071996/131071996
[pid=1034360] ppid=1034357 vsize=1417232 memory=1263692 CPUtime=3331.96 cores=5,7
/proc/1034360/stat : 1034360 (CASHWMaxSAT-Dis) R 1034357 1034360 1034287 0 -1 4194304 523300 0 0 0 333023 173 0 0 20 0 1 0 192120104 1451245568 315923 134679101440 4194304 14093885 140721467257168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 25739264 140721467266019 140721467266134 140721467266134 140721467273151 0
/proc/1034360/statm: 354308 315923 2542 2417 0 351410 0
Current children cumulated CPU time: 3331.96 s
Current children cumulated vsize: 1417232 KiB
Current children cumulated memory: 1263692 KiB
[startup+3402.3 s]
/proc/loadavg: 3.14 3.16 3.21 4/250 1036050
/proc/meminfo: memFree=122084692/131524600 swapFree=131071996/131071996
[pid=1034360] ppid=1034357 vsize=1417232 memory=1288268 CPUtime=3391.77 cores=5,7
/proc/1034360/stat : 1034360 (CASHWMaxSAT-Dis) R 1034357 1034360 1034287 0 -1 4194304 523445 0 0 0 339004 173 0 0 20 0 1 0 192120104 1451245568 322067 134679101440 4194304 14093885 140721467257168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 25739264 140721467266019 140721467266134 140721467266134 140721467273151 0
/proc/1034360/statm: 354308 322067 2542 2417 0 351410 0
Current children cumulated CPU time: 3391.77 s
Current children cumulated vsize: 1417232 KiB
Current children cumulated memory: 1288268 KiB
[startup+3462.3 s]
/proc/loadavg: 3.20 3.18 3.21 5/252 1036230
/proc/meminfo: memFree=122083992/131524600 swapFree=131071996/131071996
[pid=1034360] ppid=1034357 vsize=1417232 memory=1259408 CPUtime=3451.59 cores=5,7
/proc/1034360/stat : 1034360 (CASHWMaxSAT-Dis) R 1034357 1034360 1034287 0 -1 4194304 525170 0 0 0 344982 177 0 0 20 0 1 0 192120104 1451245568 314852 134679101440 4194304 14093885 140721467257168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 25739264 140721467266019 140721467266134 140721467266134 140721467273151 0
/proc/1034360/statm: 354308 314852 2542 2417 0 351410 0
Current children cumulated CPU time: 3451.59 s
Current children cumulated vsize: 1417232 KiB
Current children cumulated memory: 1259408 KiB
[startup+3522.3 s]
/proc/loadavg: 3.07 3.14 3.19 4/252 1036240
/proc/meminfo: memFree=122076212/131524600 swapFree=131071996/131071996
[pid=1034360] ppid=1034357 vsize=1417232 memory=1290128 CPUtime=3511.44 cores=5,7
/proc/1034360/stat : 1034360 (CASHWMaxSAT-Dis) R 1034357 1034360 1034287 0 -1 4194304 525404 0 0 0 350966 178 0 0 20 0 1 0 192120104 1451245568 322532 134679101440 4194304 14093885 140721467257168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 25739264 140721467266019 140721467266134 140721467266134 140721467273151 0
/proc/1034360/statm: 354308 322532 2542 2417 0 351410 0
Current children cumulated CPU time: 3511.44 s
Current children cumulated vsize: 1417232 KiB
Current children cumulated memory: 1290128 KiB
[startup+3582.3 s]
/proc/loadavg: 3.07 3.13 3.18 4/251 1036309
/proc/meminfo: memFree=122071964/131524600 swapFree=131071996/131071996
[pid=1034360] ppid=1034357 vsize=1417232 memory=1263020 CPUtime=3571.27 cores=5,7
/proc/1034360/stat : 1034360 (CASHWMaxSAT-Dis) R 1034357 1034360 1034287 0 -1 4194304 526114 0 0 0 356944 183 0 0 20 0 1 0 192120104 1451245568 315755 134679101440 4194304 14093885 140721467257168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 25739264 140721467266019 140721467266134 140721467266134 140721467273151 0
/proc/1034360/statm: 354308 315755 2542 2417 0 351410 0
Current children cumulated CPU time: 3571.27 s
Current children cumulated vsize: 1417232 KiB
Current children cumulated memory: 1263020 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.2 s]
/proc/loadavg: 3.09 3.13 3.18 4/251 1036313
/proc/meminfo: memFree=122043060/131524600 swapFree=131071996/131071996
[pid=1034360] ppid=1034357 vsize=1417232 memory=1275308 CPUtime=3600.09 cores=5,7
/proc/1034360/stat : 1034360 (CASHWMaxSAT-Dis) R 1034357 1034360 1034287 0 -1 4194304 526206 0 0 0 359826 183 0 0 20 0 1 0 192120104 1451245568 318827 134679101440 4194304 14093885 140721467257168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 25739264 140721467266019 140721467266134 140721467266134 140721467273151 0
/proc/1034360/statm: 354308 318827 2542 2417 0 351410 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 1417232 KiB
Current children cumulated memory: 1275308 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.21 s]
# the end of solver process 1034360 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3598.26 s, system=1.84691 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3611.21
CPU time (s): 3600.11
CPU user time (s): 3598.26
CPU system time (s): 1.84691
CPU usage (%): 99.6926
Max. virtual memory (cumulated for all children) (KiB): 1761108
Max. memory (cumulated for all children) (KiB): 1537128
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.26
system time used= 1.84691
maximum resident set size= 1537128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 526207
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 49
involuntary context switches= 2643
# summary of solver processes directly reported to runsolver:
# pid: 1034360
# total CPU time (s): 3600.11
# total CPU user time (s): 3598.26
# total CPU system time (s): 1.84691
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.8437 second user time and 16.7845 second system time
The end
Begin job on nodeC033 at 2024-07-19 16:31:56 IDJOB=4449881 IDBENCH=176150 IDSOLVER=3077 FILE ID=nodeC033/4449881-1721399504 RUNJOBID= nodeC033-1721399515-1034300 SLURM_JOB_ID= 7545456 Free space on /tmp= 890040 MiB SOLVER NAME= CASHWMaxSAT-DisjCom-S 2024-07-10 BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=19-t=2.opb COMMAND LINE= CASHWMaxSAT-DisjCom-S BENCHNAME -total-t=TIMEOUT -no-par -v0 RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449881-1721399504/watcher-4449881-1721399504 -o /tmp/evaluation-result-4449881-1721399504/solver-4449881-1721399504 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721399515-1034300 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4449881-1721399504.opb -total-t=3600 -no-par -v0 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 9b7954cd6dc14b590c17dd19cf5c91cb RANDOM SEED=445818147 nodeC033.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 : 3667.447 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.50 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 : 3684.162 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 : 7006.25 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 : 3599.768 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.50 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 : 3650.676 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 : 7006.25 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 : 3667.440 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.50 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.006 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 : 7006.25 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.810 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.50 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 : 3655.278 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 : 7006.25 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 125187088 kB MemAvailable: 129513644 kB Buffers: 563640 kB Cached: 4556524 kB SwapCached: 0 kB Active: 1025232 kB Inactive: 4586124 kB Active(anon): 1556 kB Inactive(anon): 535544 kB Active(file): 1023676 kB Inactive(file): 4050580 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 55368 kB Writeback: 0 kB AnonPages: 488636 kB Mapped: 130664 kB Shmem: 45908 kB KReclaimable: 183896 kB Slab: 306972 kB SReclaimable: 183896 kB SUnreclaim: 123076 kB KernelStack: 4208 kB PageTables: 10208 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 783860 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 70688 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: 273108 kB DirectMap2M: 28860416 kB DirectMap1G: 106954752 kB Free space on /tmp at the end= 890040 MiB End job on nodeC033 at 2024-07-19 17:32:07