Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| ExactPR-S 2025-06-01 | SAT (TO) | 16 | 3600.11 | 3611.4 |
| Name | PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=18-t=2.opb |
| MD5SUM | 5da417552da80e99ebaacbb86c541f7c |
| 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 | 16 |
| Best CPU time to get the best result obtained on this benchmark | 1.94433 |
| 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 | 531 |
| Total number of constraints | 47178 |
| Number of constraints which are clauses | 47160 |
| Number of constraints which are cardinality constraints (but not clauses) | 18 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 19 |
| Number of terms in the objective function | 18 |
| 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 | 18 |
| 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 | 20 |
| 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.72/0.83 c 47178 constraints 0.72/0.83 c after presolve 50318 0.72/0.85 c Finish cloning data from SAT to LS 0.72/0.85 c intsize: 5 1.80/1.97 c Using SCIP solver, version 8.1.0, https://www.scipopt.org 1057.17/1061.26 c Use LS-small 1057.17/1061.26 o 16 1057.17/1061.26 c SAT by LS-small 1057.17/1061.26 o 16 3600.09/3611.40 c Program interrupted by user. 3600.09/3611.40 s SATISFIABLE 3600.09/3611.40 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
OK 16
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: 63794 MiB (61105 MiB free)
memory of node 1: 64507 MiB (51648 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4517515-1751518304/watcher-4517515-1751518304 -o /tmp/evaluation-result-4517515-1751518304/solver-4517515-1751518304 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751514481-75916 --watchdog 3760 ./ExactPR-S --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4517515-1751518304.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=77191, runsolver pid=77188
[startup+0.100073 s]*
/proc/loadavg: 4.07 4.10 4.09 5/250 77192
/proc/meminfo: memFree=115455792/131382112 swapFree=33010160/33010684
[pid=77191] ppid=77188 vsize=50848 memory=10624 CPUtime=0.09 cores=5,7
/proc/77191/stat : 77191 (ExactPR-S) R 77188 77191 75903 0 -1 4194304 1133 0 0 0 9 0 0 0 20 0 1 0 67510207 52068352 2656 18446744073709551615 94907312799744 94907322099781 140733014583984 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 94907323885888 94907323924968 94907342274560 140733014587777 140733014587914 140733014587914 140733014593516 0
/proc/77191/statm: 12712 2656 1728 2271 0 7350 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 50848 KiB
Current children cumulated memory: 10624 KiB
[startup+0.218646 s]*
/proc/loadavg: 4.07 4.10 4.09 6/250 77192
/proc/meminfo: memFree=115447664/131382112 swapFree=33010160/33010684
[pid=77191] ppid=77188 vsize=52696 memory=14708 CPUtime=0.18 cores=5,7
/proc/77191/stat : 77191 (ExactPR-S) R 77188 77191 75903 0 -1 4194304 1637 0 0 0 18 0 0 0 20 0 1 0 67510207 53960704 3677 18446744073709551615 94907312799744 94907322099781 140733014583984 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 94907323885888 94907323924968 94907342274560 140733014587777 140733014587914 140733014587914 140733014593516 0
/proc/77191/statm: 13174 3677 1728 2271 0 7812 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 52696 KiB
Current children cumulated memory: 14708 KiB
[startup+0.312871 s]*
/proc/loadavg: 4.07 4.10 4.09 5/250 77192
/proc/meminfo: memFree=115447664/131382112 swapFree=33010160/33010684
[pid=77191] ppid=77188 vsize=54408 memory=16372 CPUtime=0.26 cores=5,7
/proc/77191/stat : 77191 (ExactPR-S) R 77188 77191 75903 0 -1 4194304 2077 0 0 0 26 0 0 0 20 0 1 0 67510207 55713792 4093 18446744073709551615 94907312799744 94907322099781 140733014583984 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 94907323885888 94907323924968 94907342274560 140733014587777 140733014587914 140733014587914 140733014593516 0
/proc/77191/statm: 13602 4093 1728 2271 0 8240 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 54408 KiB
Current children cumulated memory: 16372 KiB
[startup+0.700262 s]
/proc/loadavg: 4.07 4.10 4.09 5/250 77192
/proc/meminfo: memFree=115409988/131382112 swapFree=33010160/33010684
[pid=77191] ppid=77188 vsize=83660 memory=44536 CPUtime=0.62 cores=5,7
/proc/77191/stat : 77191 (ExactPR-S) R 77188 77191 75903 0 -1 4194304 9363 0 0 0 59 3 0 0 20 0 1 0 67510207 85667840 11134 18446744073709551615 94907312799744 94907322099781 140733014583984 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 94907323885888 94907323924968 94907342274560 140733014587777 140733014587914 140733014587914 140733014593516 0
/proc/77191/statm: 20915 11134 1888 2271 0 15553 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 83660 KiB
Current children cumulated memory: 44536 KiB
[startup+1.50023 s]
/proc/loadavg: 4.07 4.10 4.09 5/250 77192
/proc/meminfo: memFree=115329600/131382112 swapFree=33010160/33010684
[pid=77191] ppid=77188 vsize=243564 memory=192424 CPUtime=1.41 cores=5,7
/proc/77191/stat : 77191 (ExactPR-S) R 77188 77191 75903 0 -1 4194304 39934 0 0 0 130 11 0 0 20 0 1 0 67510207 249409536 48106 18446744073709551615 94907312799744 94907322099781 140733014583984 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 94907323885888 94907323924968 94907342274560 140733014587777 140733014587914 140733014587914 140733014593516 0
/proc/77191/statm: 60891 48106 3360 2271 0 55529 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 243564 KiB
Current children cumulated memory: 192424 KiB
[startup+3.10527 s]
/proc/loadavg: 4.07 4.10 4.09 5/250 77192
/proc/meminfo: memFree=115100328/131382112 swapFree=33010160/33010684
[pid=77191] ppid=77188 vsize=390292 memory=339692 CPUtime=2.99 cores=5,7
/proc/77191/stat : 77191 (ExactPR-S) R 77188 77191 75903 0 -1 4194304 73962 0 0 0 281 18 0 0 20 0 1 0 67510207 399659008 84923 18446744073709551615 94907312799744 94907322099781 140733014583984 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 94907323885888 94907323924968 94907342274560 140733014587777 140733014587914 140733014587914 140733014593516 0
/proc/77191/statm: 97573 84923 3424 2271 0 92211 0
Current children cumulated CPU time: 2.99 s
Current children cumulated vsize: 390292 KiB
Current children cumulated memory: 339692 KiB
[startup+6.30022 s]
/proc/loadavg: 4.06 4.10 4.09 5/250 77192
/proc/meminfo: memFree=115100328/131382112 swapFree=33010160/33010684
[pid=77191] ppid=77188 vsize=411780 memory=349164 CPUtime=6.16 cores=5,7
/proc/77191/stat : 77191 (ExactPR-S) R 77188 77191 75903 0 -1 4194304 76355 0 0 0 597 19 0 0 20 0 1 0 67510207 421662720 87291 18446744073709551615 94907312799744 94907322099781 140733014583984 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 94907323885888 94907323924968 94907342274560 140733014587777 140733014587914 140733014587914 140733014593516 0
/proc/77191/statm: 102945 87291 3424 2271 0 97583 0
Current children cumulated CPU time: 6.16 s
Current children cumulated vsize: 411780 KiB
Current children cumulated memory: 349164 KiB
[startup+12.7002 s]
/proc/loadavg: 4.06 4.09 4.09 5/250 77192
/proc/meminfo: memFree=115036320/131382112 swapFree=33010160/33010684
[pid=77191] ppid=77188 vsize=514400 memory=423788 CPUtime=12.5 cores=5,7
/proc/77191/stat : 77191 (ExactPR-S) R 77188 77191 75903 0 -1 4194304 95014 0 0 0 1228 22 0 0 20 0 1 0 67510207 526745600 105947 18446744073709551615 94907312799744 94907322099781 140733014583984 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 94907323885888 94907323924968 94907342274560 140733014587777 140733014587914 140733014587914 140733014593516 0
/proc/77191/statm: 128600 105947 3424 2271 0 123238 0
Current children cumulated CPU time: 12.5 s
Current children cumulated vsize: 514400 KiB
Current children cumulated memory: 423788 KiB
[startup+25.5003 s]
/proc/loadavg: 4.04 4.09 4.08 5/250 77192
/proc/meminfo: memFree=115035564/131382112 swapFree=33010160/33010684
[pid=77191] ppid=77188 vsize=514400 memory=424556 CPUtime=25.2 cores=5,7
/proc/77191/stat : 77191 (ExactPR-S) R 77188 77191 75903 0 -1 4194304 95224 0 0 0 2498 22 0 0 20 0 1 0 67510207 526745600 106139 18446744073709551615 94907312799744 94907322099781 140733014583984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94907323885888 94907323924968 94907342274560 140733014587777 140733014587914 140733014587914 140733014593516 0
/proc/77191/statm: 128600 106139 3424 2271 0 123238 0
Current children cumulated CPU time: 25.2 s
Current children cumulated vsize: 514400 KiB
Current children cumulated memory: 424556 KiB
[startup+51.1133 s]
/proc/loadavg: 4.43 4.18 4.12 5/250 77193
/proc/meminfo: memFree=114968536/131382112 swapFree=33010160/33010684
[pid=77191] ppid=77188 vsize=561544 memory=465984 CPUtime=50.72 cores=5,7
/proc/77191/stat : 77191 (ExactPR-S) R 77188 77191 75903 0 -1 4194304 109683 0 0 0 5048 24 0 0 20 0 1 0 67510207 575021056 116496 18446744073709551615 94907312799744 94907322099781 140733014583984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94907323885888 94907323924968 94907342274560 140733014587777 140733014587914 140733014587914 140733014593516 0
/proc/77191/statm: 140386 116496 3424 2271 0 135024 0
Current children cumulated CPU time: 50.72 s
Current children cumulated vsize: 561544 KiB
Current children cumulated memory: 465984 KiB
[startup+102.3 s]
/proc/loadavg: 4.72 4.30 4.16 5/250 77196
/proc/meminfo: memFree=114917348/131382112 swapFree=33010160/33010684
[pid=77191] ppid=77188 vsize=589496 memory=494992 CPUtime=101.73 cores=5,7
/proc/77191/stat : 77191 (ExactPR-S) R 77188 77191 75903 0 -1 4194304 120327 0 0 0 10147 26 0 0 20 0 1 0 67510207 603643904 123748 18446744073709551615 94907312799744 94907322099781 140733014583984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94907323885888 94907323924968 94907342274560 140733014587777 140733014587914 140733014587914 140733014593516 0
/proc/77191/statm: 147374 123748 3424 2271 0 142012 0
Current children cumulated CPU time: 101.73 s
Current children cumulated vsize: 589496 KiB
Current children cumulated memory: 494992 KiB
[startup+162.3 s]
/proc/loadavg: 4.31 4.26 4.16 5/251 77201
/proc/meminfo: memFree=114843624/131382112 swapFree=33010160/33010684
[pid=77191] ppid=77188 vsize=617736 memory=522420 CPUtime=161.54 cores=5,7
/proc/77191/stat : 77191 (ExactPR-S) R 77188 77191 75903 0 -1 4194304 125685 0 0 0 16127 27 0 0 20 0 1 0 67510207 632561664 130605 18446744073709551615 94907312799744 94907322099781 140733014583984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94907323885888 94907323924968 94907342274560 140733014587777 140733014587914 140733014587914 140733014593516 0
/proc/77191/statm: 154434 130605 3424 2271 0 149072 0
Current children cumulated CPU time: 161.54 s
Current children cumulated vsize: 617736 KiB
Current children cumulated memory: 522420 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.23 4.15 5/251 77203
/proc/meminfo: memFree=114774952/131382112 swapFree=33010160/33010684
[pid=77191] ppid=77188 vsize=711000 memory=588792 CPUtime=221.34 cores=5,7
/proc/77191/stat : 77191 (ExactPR-S) R 77188 77191 75903 0 -1 4194304 140276 0 0 0 22104 30 0 0 20 0 1 0 67510207 728064000 147198 18446744073709551615 94907312799744 94907322099781 140733014583984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94907323885888 94907323924968 94907342274560 140733014587777 140733014587914 140733014587914 140733014593516 0
/proc/77191/statm: 177750 147198 3424 2271 0 172388 0
Current children cumulated CPU time: 221.34 s
Current children cumulated vsize: 711000 KiB
Current children cumulated memory: 588792 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.21 4.15 5/251 77205
/proc/meminfo: memFree=114736872/131382112 swapFree=33010160/33010684
[pid=77191] ppid=77188 vsize=725440 memory=596856 CPUtime=281.12 cores=5,7
/proc/77191/stat : 77191 (ExactPR-S) R 77188 77191 75903 0 -1 4194304 143324 0 0 0 28082 30 0 0 20 0 1 0 67510207 742850560 149214 18446744073709551615 94907312799744 94907322099781 140733014583984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94907323885888 94907323924968 94907342274560 140733014587777 140733014587914 140733014587914 140733014593516 0
/proc/77191/statm: 181360 149214 3424 2271 0 175998 0
Current children cumulated CPU time: 281.12 s
Current children cumulated vsize: 725440 KiB
Current children cumulated memory: 596856 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 4.20 4.15 5/251 77207
/proc/meminfo: memFree=114652752/131382112 swapFree=33010160/33010684
[pid=77191] ppid=77188 vsize=768636 memory=630076 CPUtime=340.92 cores=5,7
/proc/77191/stat : 77191 (ExactPR-S) R 77188 77191 75903 0 -1 4194304 157210 0 0 0 34058 34 0 0 20 0 1 0 67510207 787083264 157519 18446744073709551615 94907312799744 94907322099781 140733014583984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94907323885888 94907323924968 94907342274560 140733014587777 140733014587914 140733014587914 140733014593516 0
/proc/77191/statm: 192159 157519 3424 2271 0 186797 0
Current children cumulated CPU time: 340.92 s
Current children cumulated vsize: 768636 KiB
Current children cumulated memory: 630076 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.18 4.15 5/250 77208
/proc/meminfo: memFree=114579396/131382112 swapFree=33010160/33010684
[pid=77191] ppid=77188 vsize=804788 memory=659716 CPUtime=400.72 cores=5,7
/proc/77191/stat : 77191 (ExactPR-S) R 77188 77191 75903 0 -1 4194304 176333 0 0 0 40034 38 0 0 20 0 1 0 67510207 824102912 164929 18446744073709551615 94907312799744 94907322099781 140733014583984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94907323885888 94907323924968 94907342274560 140733014587777 140733014587914 140733014587914 140733014593516 0
/proc/77191/statm: 201197 164929 3424 2271 0 195835 0
Current children cumulated CPU time: 400.72 s
Current children cumulated vsize: 804788 KiB
Current children cumulated memory: 659716 KiB
[startup+462.3 s]
/proc/loadavg: 4.04 4.14 4.13 5/250 77214
/proc/meminfo: memFree=114543244/131382112 swapFree=33010160/33010684
[pid=77191] ppid=77188 vsize=857056 memory=710664 CPUtime=460.5 cores=5,7
/proc/77191/stat : 77191 (ExactPR-S) R 77188 77191 75903 0 -1 4194304 192228 0 0 0 46008 42 0 0 20 0 1 0 67510207 877625344 177666 18446744073709551615 94907312799744 94907322099781 140733014583984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94907323885888 94907323924968 94907342274560 140733014587777 140733014587914 140733014587914 140733014593516 0
/proc/77191/statm: 214264 177666 3424 2271 0 208902 0
################
# More data... #
################
Current children cumulated memory: 797284 KiB
[startup+2862.3 s]
/proc/loadavg: 4.05 4.11 4.11 5/251 78503
/proc/meminfo: memFree=115643792/131382112 swapFree=33010160/33010684
[pid=77191] ppid=77188 vsize=862960 memory=797284 CPUtime=2853.06 cores=5,7
/proc/77191/stat : 77191 (ExactPR-S) R 77188 77191 75903 0 -1 4194304 301102 0 0 0 284917 389 0 0 20 0 1 0 67510207 883671040 199321 18446744073709551615 94907312799744 94907322099781 140733014583984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94907323885888 94907323924968 94907342274560 140733014587777 140733014587914 140733014587914 140733014593516 0
/proc/77191/statm: 215740 199321 3424 2271 0 210378 0
Current children cumulated CPU time: 2853.06 s
Current children cumulated vsize: 862960 KiB
Current children cumulated memory: 797284 KiB
[startup+2922.3 s]
/proc/loadavg: 4.13 4.12 4.11 5/251 78504
/proc/meminfo: memFree=115521800/131382112 swapFree=33010160/33010684
[pid=77191] ppid=77188 vsize=862960 memory=797284 CPUtime=2912.91 cores=5,7
/proc/77191/stat : 77191 (ExactPR-S) R 77188 77191 75903 0 -1 4194304 301103 0 0 0 290899 392 0 0 20 0 1 0 67510207 883671040 199321 18446744073709551615 94907312799744 94907322099781 140733014583984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94907323885888 94907323924968 94907342274560 140733014587777 140733014587914 140733014587914 140733014593516 0
/proc/77191/statm: 215740 199321 3424 2271 0 210378 0
Current children cumulated CPU time: 2912.91 s
Current children cumulated vsize: 862960 KiB
Current children cumulated memory: 797284 KiB
[startup+2982.3 s]
/proc/loadavg: 4.11 4.11 4.11 5/251 78506
/proc/meminfo: memFree=115446596/131382112 swapFree=33010160/33010684
[pid=77191] ppid=77188 vsize=862960 memory=797284 CPUtime=2972.76 cores=5,7
/proc/77191/stat : 77191 (ExactPR-S) R 77188 77191 75903 0 -1 4194304 301103 0 0 0 296882 394 0 0 20 0 1 0 67510207 883671040 199321 18446744073709551615 94907312799744 94907322099781 140733014583984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94907323885888 94907323924968 94907342274560 140733014587777 140733014587914 140733014587914 140733014593516 0
/proc/77191/statm: 215740 199321 3424 2271 0 210378 0
Current children cumulated CPU time: 2972.76 s
Current children cumulated vsize: 862960 KiB
Current children cumulated memory: 797284 KiB
[startup+3042.3 s]
/proc/loadavg: 4.09 4.10 4.10 5/250 78508
/proc/meminfo: memFree=115341180/131382112 swapFree=33010160/33010684
[pid=77191] ppid=77188 vsize=862960 memory=797284 CPUtime=3032.6 cores=5,7
/proc/77191/stat : 77191 (ExactPR-S) R 77188 77191 75903 0 -1 4194304 301103 0 0 0 302864 396 0 0 20 0 1 0 67510207 883671040 199321 18446744073709551615 94907312799744 94907322099781 140733014583984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94907323885888 94907323924968 94907342274560 140733014587777 140733014587914 140733014587914 140733014593516 0
/proc/77191/statm: 215740 199321 3424 2271 0 210378 0
Current children cumulated CPU time: 3032.6 s
Current children cumulated vsize: 862960 KiB
Current children cumulated memory: 797284 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/250 78510
/proc/meminfo: memFree=115221272/131382112 swapFree=33010160/33010684
[pid=77191] ppid=77188 vsize=862960 memory=797284 CPUtime=3092.46 cores=5,7
/proc/77191/stat : 77191 (ExactPR-S) R 77188 77191 75903 0 -1 4194304 301108 0 0 0 308847 399 0 0 20 0 1 0 67510207 883671040 199321 18446744073709551615 94907312799744 94907322099781 140733014583984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94907323885888 94907323924968 94907342274560 140733014587777 140733014587914 140733014587914 140733014593516 0
/proc/77191/statm: 215740 199321 3424 2271 0 210378 0
Current children cumulated CPU time: 3092.46 s
Current children cumulated vsize: 862960 KiB
Current children cumulated memory: 797284 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/251 78515
/proc/meminfo: memFree=115108168/131382112 swapFree=33010160/33010684
[pid=77191] ppid=77188 vsize=862960 memory=797284 CPUtime=3152.3 cores=5,7
/proc/77191/stat : 77191 (ExactPR-S) R 77188 77191 75903 0 -1 4194304 301111 0 0 0 314828 402 0 0 20 0 1 0 67510207 883671040 199321 18446744073709551615 94907312799744 94907322099781 140733014583984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94907323885888 94907323924968 94907342274560 140733014587777 140733014587914 140733014587914 140733014593516 0
/proc/77191/statm: 215740 199321 3424 2271 0 210378 0
Current children cumulated CPU time: 3152.3 s
Current children cumulated vsize: 862960 KiB
Current children cumulated memory: 797284 KiB
[startup+3222.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/251 78517
/proc/meminfo: memFree=114993316/131382112 swapFree=33010160/33010684
[pid=77191] ppid=77188 vsize=862960 memory=797284 CPUtime=3212.16 cores=5,7
/proc/77191/stat : 77191 (ExactPR-S) R 77188 77191 75903 0 -1 4194304 301111 0 0 0 320811 405 0 0 20 0 1 0 67510207 883671040 199321 18446744073709551615 94907312799744 94907322099781 140733014583984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94907323885888 94907323924968 94907342274560 140733014587777 140733014587914 140733014587914 140733014593516 0
/proc/77191/statm: 215740 199321 3424 2271 0 210378 0
Current children cumulated CPU time: 3212.16 s
Current children cumulated vsize: 862960 KiB
Current children cumulated memory: 797284 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/251 78519
/proc/meminfo: memFree=114896912/131382112 swapFree=33010160/33010684
[pid=77191] ppid=77188 vsize=845704 memory=788220 CPUtime=3272.01 cores=5,7
/proc/77191/stat : 77191 (ExactPR-S) R 77188 77191 75903 0 -1 4194304 301121 0 0 0 326792 409 0 0 20 0 1 0 67510207 866000896 197055 18446744073709551615 94907312799744 94907322099781 140733014583984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94907323885888 94907323924968 94907342274560 140733014587777 140733014587914 140733014587914 140733014593516 0
/proc/77191/statm: 211426 197055 3424 2271 0 206064 0
Current children cumulated CPU time: 3272.01 s
Current children cumulated vsize: 845704 KiB
Current children cumulated memory: 788220 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/251 78521
/proc/meminfo: memFree=114790016/131382112 swapFree=33010160/33010684
[pid=77191] ppid=77188 vsize=845704 memory=788220 CPUtime=3331.85 cores=5,7
/proc/77191/stat : 77191 (ExactPR-S) R 77188 77191 75903 0 -1 4194304 301121 0 0 0 332773 412 0 0 20 0 1 0 67510207 866000896 197055 18446744073709551615 94907312799744 94907322099781 140733014583984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94907323885888 94907323924968 94907342274560 140733014587777 140733014587914 140733014587914 140733014593516 0
/proc/77191/statm: 211426 197055 3424 2271 0 206064 0
Current children cumulated CPU time: 3331.85 s
Current children cumulated vsize: 845704 KiB
Current children cumulated memory: 788220 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/251 78523
/proc/meminfo: memFree=114679908/131382112 swapFree=33010160/33010684
[pid=77191] ppid=77188 vsize=845704 memory=788220 CPUtime=3391.7 cores=5,7
/proc/77191/stat : 77191 (ExactPR-S) R 77188 77191 75903 0 -1 4194304 301265 0 0 0 338756 414 0 0 20 0 1 0 67510207 866000896 197055 18446744073709551615 94907312799744 94907322099781 140733014583984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94907323885888 94907323924968 94907342274560 140733014587777 140733014587914 140733014587914 140733014593516 0
/proc/77191/statm: 211426 197055 3424 2271 0 206064 0
Current children cumulated CPU time: 3391.7 s
Current children cumulated vsize: 845704 KiB
Current children cumulated memory: 788220 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/251 78569
/proc/meminfo: memFree=115431236/131382112 swapFree=33010160/33010684
[pid=77191] ppid=77188 vsize=845704 memory=788220 CPUtime=3451.5 cores=5,7
/proc/77191/stat : 77191 (ExactPR-S) R 77188 77191 75903 0 -1 4194304 301265 0 0 0 344733 417 0 0 20 0 1 0 67510207 866000896 197055 18446744073709551615 94907312799744 94907322099781 140733014583984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94907323885888 94907323924968 94907342274560 140733014587777 140733014587914 140733014587914 140733014593516 0
/proc/77191/statm: 211426 197055 3424 2271 0 206064 0
Current children cumulated CPU time: 3451.5 s
Current children cumulated vsize: 845704 KiB
Current children cumulated memory: 788220 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.09 4.09 6/250 78621
/proc/meminfo: memFree=115094836/131382112 swapFree=33010160/33010684
[pid=77191] ppid=77188 vsize=845704 memory=788220 CPUtime=3511.3 cores=5,7
/proc/77191/stat : 77191 (ExactPR-S) R 77188 77191 75903 0 -1 4194304 301266 0 0 0 350710 420 0 0 20 0 1 0 67510207 866000896 197055 18446744073709551615 94907312799744 94907322099781 140733014583984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94907323885888 94907323924968 94907342274560 140733014587777 140733014587914 140733014587914 140733014593516 0
/proc/77191/statm: 211426 197055 3424 2271 0 206064 0
Current children cumulated CPU time: 3511.3 s
Current children cumulated vsize: 845704 KiB
Current children cumulated memory: 788220 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.10 4.09 6/251 78624
/proc/meminfo: memFree=114989988/131382112 swapFree=33010160/33010684
[pid=77191] ppid=77188 vsize=845704 memory=788220 CPUtime=3571.09 cores=5,7
/proc/77191/stat : 77191 (ExactPR-S) R 77188 77191 75903 0 -1 4194304 301266 0 0 0 356686 423 0 0 20 0 1 0 67510207 866000896 197055 18446744073709551615 94907312799744 94907322099781 140733014583984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94907323885888 94907323924968 94907342274560 140733014587777 140733014587914 140733014587914 140733014593516 0
/proc/77191/statm: 211426 197055 3424 2271 0 206064 0
Current children cumulated CPU time: 3571.09 s
Current children cumulated vsize: 845704 KiB
Current children cumulated memory: 788220 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.4 s]
/proc/loadavg: 4.16 4.11 4.09 6/251 78626
/proc/meminfo: memFree=115409048/131382112 swapFree=33010160/33010684
[pid=77191] ppid=77188 vsize=845704 memory=788220 CPUtime=3600.09 cores=5,7
/proc/77191/stat : 77191 (ExactPR-S) R 77188 77191 75903 0 -1 4194304 301266 0 0 0 359585 424 0 0 20 0 1 0 67510207 866000896 197055 18446744073709551615 94907312799744 94907322099781 140733014583984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94907323885888 94907323924968 94907342274560 140733014587777 140733014587914 140733014587914 140733014593516 0
/proc/77191/statm: 211426 197055 3424 2271 0 206064 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 845704 KiB
Current children cumulated memory: 788220 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.4 s]
# the end of solver process 77191 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3595.85 s, system=4.25263 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3611.4
CPU time (s): 3600.11
CPU user time (s): 3595.85
CPU system time (s): 4.25263
CPU usage (%): 99.6872
Max. virtual memory (cumulated for all children) (KiB): 1066664
Max. memory (cumulated for all children) (KiB): 911052
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.85
system time used= 4.25263
maximum resident set size= 911436
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 301280
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= 186
involuntary context switches= 1654
# summary of solver processes directly reported to runsolver:
# pid: 77191
# total CPU time (s): 3600.11
# total CPU user time (s): 3595.85
# total CPU system time (s): 4.25263
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.5879 second user time and 34.0564 second system time
The end
Begin job on nodeC009 at 2025-07-03 06:51:44 IDJOB=4517515 IDBENCH=176113 IDSOLVER=3326 FILE ID=nodeC009/4517515-1751518304 RUNJOBID= nodeC009-1751514481-75916 SLURM_JOB_ID= 9598623 Free space on /tmp= 431180 MiB SOLVER NAME= ExactPR-S 2025-06-01 BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=18-t=2.opb COMMAND LINE= ./ExactPR-S --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4517515-1751518304/watcher-4517515-1751518304 -o /tmp/evaluation-result-4517515-1751518304/solver-4517515-1751518304 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751514481-75916 --watchdog 3760 ./ExactPR-S --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4517515-1751518304.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 5da417552da80e99ebaacbb86c541f7c RANDOM SEED=1173012871 nodeC009 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 : 3660.616 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.85 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 : 3691.469 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.85 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.353 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.85 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.669 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.85 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 : 3660.544 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.85 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 : 1197.619 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.85 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 : 1198.050 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.85 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.235 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.85 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382112 kB MemFree: 115459572 kB MemAvailable: 127281496 kB Buffers: 2144 kB Cached: 12573084 kB SwapCached: 24 kB Active: 3005036 kB Inactive: 12222756 kB Active(anon): 2665444 kB Inactive(anon): 5056 kB Active(file): 339592 kB Inactive(file): 12217700 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010160 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 13612 kB Writeback: 12 kB AnonPages: 2655612 kB Mapped: 126048 kB Shmem: 17936 kB KReclaimable: 208132 kB Slab: 293148 kB SReclaimable: 208132 kB SUnreclaim: 85016 kB KernelStack: 4032 kB PageTables: 8384 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 3215192 kB VmallocTotal: 34359738367 kB VmallocUsed: 149400 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 1449984 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: 172872 kB DirectMap2M: 9166848 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 431176 MiB End job on nodeC009 at 2025-07-03 07:51:56