Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP 2025-06-13 | OPT | 36 | 326.596 | 330.071 |
| Name | PB24/normalized-PB11/OPT-LIN/ kullmann/normalized-mul_8_3_shg.opb |
| MD5SUM | 9f3f50f555350d326304759fc873d478 |
| 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 | 36 |
| Best CPU time to get the best result obtained on this benchmark | 46.5996 |
| 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 | 5048 |
| Total number of constraints | 65280 |
| Number of constraints which are clauses | 65280 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 18 |
| Maximum length of a constraint | 45 |
| Number of terms in the objective function | 5048 |
| 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 | 5048 |
| Number of bits of the sum of numbers in the objective function | 13 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 5048 |
| Number of bits of the biggest sum of numbers | 13 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 8.0.0] [GitHash: 0408ae5eca]
0.00/0.00 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c External libraries:
0.00/0.00 c SoPlex 8.0.0 Linear programming solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: 67f6a391]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 4.0.0 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 3.0.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c bliss 0.77 Computing Graph Automorphisms by T. Junttila and P. Kaski (users.aalto.fi/~tjunttil/bliss)
0.00/0.00 c sassy 2.0 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00 c
0.00/0.00 c reading problem <HOME/instance-4503025-1751430000.opb>
1.02/1.19 c original problem has 5048 variables (5048 bin, 0 int, 0 cont) and 65280 constraints
1.02/1.19 c problem read in 1.191 seconds
1.71/1.83 o 5048
1.71/1.83 c feasible solution found by trivial heuristic after 1.8 seconds, objective value 5.048000e+03
1.71/1.83 c presolving:
2.90/3.05 c (3.0s) running MILP presolver
3.20/3.34 c (3.3s) MILP presolver found nothing
3.89/4.01 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 65280 upgd conss, 0 impls, 0 clqs
4.78/4.92 c (4.9s) probing: 51/5048 (1.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
4.78/4.92 c (4.9s) probing aborted: 50/50 successive totally useless probings
8.34/8.52 c (8.5s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
12.00/12.20 c (12.2s) symmetry computation finished: 7 generators found (max: 1500, log10 of symmetry group size: 2.71) (symcode time: 3.46)
12.00/12.21 c dynamic symmetry handling statistics:
12.00/12.21 c orbitopal reduction: no components
12.00/12.21 c orbital reduction: 1 components of sizes 7
12.00/12.21 c lexicographic reduction: 7 permutations with support sizes 4860, 4128, 4968, 4992, 5032, 4296, 4680
12.00/12.21 c handled 1 out of 1 symmetry components
13.19/13.41 c presolving (2 rounds: 2 fast, 2 medium, 2 exhaustive):
13.19/13.41 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
13.19/13.41 c 0 implications, 0 cliques
13.19/13.41 c presolved problem has 5048 variables (5048 bin, 0 int, 0 cont) and 65280 constraints
13.19/13.41 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
13.19/13.41 c 65280 constraints of type <logicor>
13.19/13.41 c transformed objective value is always integral (scale: 1)
13.19/13.41 c Presolving Time: 11.61
13.19/13.41 c problem pure SAT
13.19/13.41 c
13.19/13.41 c - non default parameters ----------------------------------------------------------------------
13.19/13.41 c
13.19/13.41 c # SCIP version 10.0.0
13.19/13.41 c
13.19/13.41 c # maximal time in seconds to run
13.19/13.41 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
13.19/13.41 c limits/time = 3596.995066
13.19/13.41 c
13.19/13.41 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
13.19/13.41 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
13.19/13.41 c limits/memory = 27900
13.19/13.41 c
13.19/13.41 c # belongs reading time to solving time?
13.19/13.41 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
13.19/13.41 c timing/reading = TRUE
13.19/13.41 c
13.19/13.41 c # maximum allowed 'intsize' (i.e. the number of bits required to represent the sum of absolute values of all integers that appear in a constraint or objective function) or -1 for unlimited
13.19/13.41 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
13.19/13.41 c reading/opbreader/maxintsize = 47
13.19/13.41 c
13.19/13.41 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
13.19/13.41 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
13.19/13.41 c propagating/genvbounds/timingmask = 0
13.19/13.41 c
13.19/13.41 c -----------------------------------------------------------------------------------------------
13.19/13.41 c transformed 1/1 original solutions to the transformed problem space
13.19/13.41 c
13.99/14.28 o 40
13.99/14.28 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
13.99/14.28 c p14.3s| 1 | 0 | 0 | - | locks| 0 |5048 | 65k| 65k| 0 | 0 | 0 | 0 | 0.000000e+00 | 4.000000e+01 | Inf | unknown
160.61/162.47 c 162s| 1 | 0 | 20685 | - | 2014M | 0 |5048 | 65k| 65k| 0 | 0 | 0 | 0 | 3.200000e+01 | 4.000000e+01 | 25.00%| unknown
208.12/210.41 c 210s| 1 | 0 | 33108 | - | 2031M | 0 |5048 | 65k| 65k| 7 | 1 | 0 | 0 | 3.330769e+01 | 4.000000e+01 | 20.09%| unknown
220.49/222.90 c 223s| 1 | 0 | 35676 | - | 2038M | 0 |5048 | 65k| 65k| 15 | 2 | 0 | 0 | 3.376667e+01 | 4.000000e+01 | 18.46%| unknown
231.88/234.41 c 234s| 1 | 0 | 36771 | - | 2045M | 0 |5048 | 65k| 65k| 17 | 3 | 0 | 0 | 3.396970e+01 | 4.000000e+01 | 17.75%| unknown
243.46/246.13 c 246s| 1 | 0 | 37567 | - | 2052M | 0 |5048 | 65k| 65k| 20 | 4 | 0 | 0 | 3.409600e+01 | 4.000000e+01 | 17.32%| unknown
257.12/259.98 c 260s| 1 | 0 | 39335 | - | 2059M | 0 |5048 | 65k| 65k| 24 | 5 | 0 | 0 | 3.461946e+01 | 4.000000e+01 | 15.54%| unknown
269.20/272.12 c 272s| 1 | 0 | 39475 | - | 2065M | 0 |5048 | 65k| 65k| 25 | 6 | 0 | 0 | 3.462846e+01 | 4.000000e+01 | 15.51%| unknown
280.98/284.06 c 284s| 1 | 0 | 39647 | - | 2072M | 0 |5048 | 65k| 65k| 28 | 7 | 0 | 0 | 3.464000e+01 | 4.000000e+01 | 15.47%| unknown
293.45/296.65 c 297s| 1 | 0 | 40214 | - | 2079M | 0 |5048 | 65k| 65k| 29 | 8 | 0 | 0 | 3.472116e+01 | 4.000000e+01 | 15.20%| unknown
306.42/309.79 c 310s| 1 | 0 | 40982 | - | 2086M | 0 |5048 | 65k| 65k| 32 | 9 | 0 | 0 | 3.499166e+01 | 4.000000e+01 | 14.31%| unknown
320.09/323.56 c 324s| 1 | 0 | 41693 | - | 2093M | 0 |5048 | 65k| 65k| 36 | 10 | 0 | 0 | 3.513787e+01 | 4.000000e+01 | 13.84%| unknown
321.18/324.62 c 325s| 1 | 0 | 42076 | - | 2099M | 0 |5048 | 65k| 65k| 38 | 11 | 0 | 0 | 3.528571e+01 | 4.000000e+01 | 13.36%| unknown
322.27/325.70 c 326s| 1 | 0 | 42487 | - | 2106M | 0 |5048 | 65k| 65k| 40 | 12 | 0 | 0 | 3.533152e+01 | 4.000000e+01 | 13.21%| unknown
322.47/325.94 c 326s| 1 | 0 | 42532 | - | 2113M | 0 |5048 | 65k| 65k| 41 | 13 | 0 | 0 | 3.533158e+01 | 4.000000e+01 | 13.21%| unknown
322.56/326.10 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
322.56/326.10 c 326s| 1 | 0 | 42535 | - | 2120M | 0 |5048 | 65k| 65k| 42 | 14 | 0 | 0 | 3.533158e+01 | 4.000000e+01 | 13.21%| unknown
323.16/326.61 c 327s| 1 | 0 | 42705 | - | 2127M | 0 |5048 | 65k| 65k| 43 | 15 | 0 | 0 | 3.533594e+01 | 4.000000e+01 | 13.20%| unknown
324.15/327.68 c 328s| 1 | 0 | 43104 | - | 2134M | 0 |5048 | 65k| 65k| 45 | 16 | 0 | 0 | 3.537105e+01 | 4.000000e+01 | 13.09%| unknown
325.23/328.77 c 329s| 1 | 0 | 43484 | - | 2140M | 0 |5048 | 65k| 65k| 46 | 17 | 0 | 0 | 3.541341e+01 | 4.000000e+01 | 12.95%| unknown
325.33/328.81 o 39
325.33/328.81 c r 329s| 1 | 0 | 43484 | - |rounding| 0 |5048 | 65k| 65k| 46 | 17 | 0 | 0 | 3.541341e+01 | 3.900000e+01 | 10.13%| unknown
325.92/329.47 c 329s| 1 | 0 | 43722 | - | 2140M | 0 |5048 | 65k| 65k| 47 | 18 | 0 | 0 | 3.543382e+01 | 3.900000e+01 | 10.06%| unknown
326.02/329.51 o 36
326.02/329.51 c i 330s| 1 | 0 | 43722 | - | oneopt| 0 |5048 | 65k| 65k| 47 | 18 | 0 | 0 | 3.543382e+01 | 3.600000e+01 | 1.60%| unknown
326.02/329.51 c 330s| 1 | 0 | 43722 | - | 2140M | 0 |5048 | 65k| 65k| 47 | 18 | 0 | 0 | 3.600000e+01 | 3.600000e+01 | 0.00%| unknown
326.02/329.51 c
326.02/329.51 c SCIP Status : problem is solved [optimal solution found]
326.02/329.51 c Solving Time (sec) : 329.51
326.02/329.51 c Solving Nodes : 1
326.02/329.51 c Primal Bound : +3.60000000000000e+01 (22 solutions)
326.02/329.51 c Dual Bound : +3.60000000000000e+01
326.02/329.51 c Gap : 0.00 %
326.12/329.60 s OPTIMUM FOUND
326.12/329.60 v x1 -x2 -x3 x4 x5 x6 -x7 -x8 -x9 -x10 x11 x12 -x13 -x14 -x15 -x16 x17 x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29
326.12/329.60 v -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
326.12/329.60 v -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
326.12/329.60 v -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
326.12/329.60 v -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 -x129
326.12/329.60 v -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151
326.12/329.60 v -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173
326.12/329.60 v -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195
326.12/329.60 v -x196 x197 x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217
326.12/329.60 v -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239
326.12/329.60 v -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 x258 -x259 -x260 -x261
326.12/329.60 v -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283
326.12/329.60 v -x284 -x285 -x286 -x287 x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305
326.12/329.60 v -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 x319 x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327
326.12/329.60 v -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349
326.12/329.60 v -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371
326.12/329.60 v -x372 -x373 -x374 -x375 -x376 x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393
326.12/329.60 v -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415
326.12/329.60 v -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 x437
326.12/329.60 v x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459
326.12/329.60 v -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481
326.12/329.60 v -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503
326.12/329.60 v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525
326.12/329.60 v -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547
326.12/329.60 v -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569
326.12/329.60 v -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591
326.12/329.60 v -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613
326.12/329.60 v -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635
326.12/329.60 v -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657
326.12/329.60 v -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 x679
326.12/329.60 v x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701
326.12/329.60 v -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723
326.12/329.60 v -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745
326.12/329.60 v -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767
326.12/329.60 v -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789
326.12/329.60 v -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811
326.12/329.60 v -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833
326.12/329.60 v -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855
326.12/329.60 v -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877
326.12/329.60 v -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899
326.12/329.60 v -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921
326.12/329.60 v -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943
326.12/329.60 v -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965
326.12/329.60 v -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987
326.12/329.60 v -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007
326.12/329.60 v -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026
326.12/329.60 v -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045
326.12/329.60 v -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064
326.12/329.60 v -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083
326.12/329.60 v -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102
326.12/329.60 v -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121
326.12/329.60 v -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140
326.12/329.60 v -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159
326.12/329.60 v -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178
326.12/329.60 v -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197
326.12/329.60 v -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216
326.12/329.60 v -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235
326.12/329.60 v -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254
326.12/329.60 v -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273
326.12/329.60 v -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292
326.12/329.60 v -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311
326.12/329.60 v -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330
326.12/329.60 v -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349
326.12/329.60 v -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368
326.12/329.60 v -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387
326.12/329.60 v -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406
326.12/329.60 v -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425
326.12/329.60 v -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444
326.12/329.60 v -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463
326.12/329.60 v -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482
326.12/329.60 v -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501
326.12/329.60 v -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520
326.12/329.60 v -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539
326.12/329.60 v -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558
326.12/329.60 v -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577
326.12/329.60 v -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596
326.12/329.60 v -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615
326.12/329.60 v -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634
326.12/329.60 v -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653
326.12/329.60 v -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672
326.12/329.60 v -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691
326.12/329.60 v -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710
326.12/329.60 v -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729
326.12/329.60 v -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748
326.12/329.60 v -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767
326.12/329.60 v -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786
326.12/329.60 v -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805
326.12/329.60 v -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824
326.12/329.60 v -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843
326.12/329.60 v -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862
326.12/329.60 v -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881
326.12/329.60 v -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900
326.12/329.60 v -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919
326.12/329.60 v -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938
326.12/329.60 v -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957
326.12/329.60 v -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976
326.12/329.60 v -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995
326.12/329.60 v -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014
326.12/329.60 v -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033
326.12/329.60 v -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052
326.12/329.60 v -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071
326.12/329.60 v -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090
326.12/329.60 v -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109
326.12/329.60 v -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128
326.12/329.60 v -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147
326.12/329.60 v -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166
326.12/329.60 v -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185
326.12/329.60 v -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204
326.12/329.60 v -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223
326.12/329.60 v -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242
326.12/329.60 v -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261
326.12/329.60 v -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280
326.12/329.60 v -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299
326.12/329.60 v -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318
326.12/329.60 v -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337
326.12/329.60 v -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356
326.12/329.60 v -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375
326.12/329.60 v -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394
326.12/329.60 v -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413
326.12/329.60 v -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432
326.12/329.60 v -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451
326.12/329.60 v -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470
326.12/329.60 v -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489
326.12/329.60 v -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508
326.12/329.60 v -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527
326.12/329.60 v -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546
326.12/329.60 v -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565
326.12/329.60 v -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584
326.12/329.60 v -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603
326.12/329.60 v -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622
326.12/329.60 v -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641
326.12/329.60 v -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660
326.12/329.60 v -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679
326.12/329.60 v -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698
326.12/329.60 v -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717
326.12/329.60 v -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736
326.12/329.60 v -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755
326.12/329.60 v -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774
326.12/329.60 v -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793
326.12/329.60 v -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812
326.12/329.60 v -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831
326.12/329.60 v -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850
326.12/329.60 v -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869
326.12/329.60 v -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888
326.12/329.60 v -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907
326.12/329.60 v -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926
326.12/329.60 v -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945
326.12/329.60 v -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964
326.12/329.60 v -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983
326.12/329.60 v -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002
326.12/329.60 v -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021
326.12/329.60 v -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040
326.12/329.60 v -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059
326.12/329.60 v -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078
326.12/329.60 v -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097
326.12/329.60 v -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116
326.12/329.60 v -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135
326.12/329.60 v -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154
326.12/329.60 v -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173
326.12/329.60 v -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192
326.12/329.60 v -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211
326.12/329.60 v -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230
326.12/329.60 v -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249
326.12/329.60 v -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268
326.12/329.60 v -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287
326.12/329.60 v -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306
326.12/329.60 v -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325
326.12/329.60 v -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344
326.12/329.60 v -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363
326.12/329.60 v -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382
326.12/329.60 v -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401
326.12/329.60 v -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420
326.12/329.60 v -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439
326.12/329.60 v -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458
326.12/329.60 v -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 x3474 x3475 -x3476 x3477
326.12/329.60 v -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496
326.12/329.60 v -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515
326.12/329.60 v -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534
326.12/329.60 v -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553
326.12/329.60 v -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572
326.12/329.60 v -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591
326.12/329.60 v -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610
326.12/329.60 v -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629
326.12/329.60 v -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648
326.12/329.60 v -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667
326.12/329.60 v -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686
326.12/329.60 v -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705
326.12/329.60 v -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724
326.12/329.60 v -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743
326.12/329.60 v -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762
326.12/329.60 v -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781
326.12/329.60 v -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800
326.12/329.60 v -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819
326.12/329.60 v -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838
326.12/329.60 v -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857
326.12/329.60 v -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876
326.12/329.60 v -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895
326.12/329.60 v -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914
326.12/329.60 v -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933
326.12/329.60 v -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952
326.12/329.60 v -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971
326.12/329.60 v -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990
326.12/329.60 v -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009
326.12/329.60 v -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028
326.12/329.60 v -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047
326.12/329.60 v -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066
326.12/329.60 v -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085
326.12/329.60 v -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104
326.12/329.60 v -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123
326.12/329.60 v -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142
326.12/329.60 v -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161
326.12/329.60 v -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180
326.12/329.60 v -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199
326.12/329.60 v -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218
326.12/329.60 v -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237
326.12/329.60 v -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256
326.12/329.60 v -x4257 -x4258 -x4259 -x4260 x4261 -x4262 -x4263 x4264 -x4265 x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275
326.12/329.60 v -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294
326.12/329.60 v -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313
326.12/329.60 v -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332
326.12/329.60 v -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351
326.12/329.60 v -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370
326.12/329.60 v -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389
326.12/329.60 v -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408
326.12/329.60 v -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427
326.12/329.60 v -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446
326.12/329.60 v -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465
326.12/329.60 v -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484
326.12/329.60 v -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503
326.12/329.60 v -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522
326.12/329.60 v -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541
326.12/329.60 v -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560
326.12/329.60 v -x4561 -x4562 x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579
326.12/329.60 v -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598
326.12/329.60 v -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617
326.12/329.60 v -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636
326.12/329.60 v -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655
326.12/329.60 v -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674
326.12/329.60 v -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693
326.12/329.60 v -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712
326.12/329.60 v -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731
326.12/329.60 v -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750
326.12/329.60 v -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769
326.12/329.60 v -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788
326.12/329.60 v -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 x4806 -x4807
326.12/329.60 v -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826
326.12/329.60 v -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845
326.12/329.60 v -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864
326.12/329.60 v -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883
326.12/329.60 v -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902
326.12/329.60 v -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921
326.12/329.60 v -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940
326.12/329.60 v -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959
326.12/329.60 v -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978
326.12/329.60 v -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997
326.12/329.60 v -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016
326.12/329.60 v -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035
326.12/329.60 v -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048
326.12/329.60 c SCIP Status : problem is solved [optimal solution found]
326.12/329.60 c Total Time : 329.51
326.12/329.60 c solving : 329.51
326.12/329.60 c presolving : 11.61 (included in solving)
326.12/329.60 c reading : 1.19 (included in solving)
326.12/329.60 c copying : 0.00 (0 times copied the problem)
326.12/329.60 c Original Problem :
326.12/329.60 c Problem name : HOME/instance-4503025-1751430000.opb
326.12/329.60 c Variables : 5048 (5048 binary, 0 integer, 0 continuous)
326.12/329.60 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
326.12/329.60 c Constraints : 65280 initial, 65280 maximal
326.12/329.60 c Objective : minimize, 5048 non-zeros (abs.min = 1, abs.max = 1)
326.12/329.60 c Presolved Problem :
326.12/329.60 c Problem name : t_HOME/instance-4503025-1751430000.opb
326.12/329.60 c Variables : 5048 (5048 binary, 0 integer, 0 continuous)
326.12/329.60 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
326.12/329.60 c Constraints : 65280 initial, 65280 maximal
326.12/329.60 c Objective : minimize, 5048 non-zeros (abs.min = 1, abs.max = 1)
326.12/329.60 c Nonzeros : 2457600 constraint, 0 clique table
326.12/329.60 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
326.12/329.60 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
326.12/329.60 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
326.12/329.60 c domcol : 0.17 0.00 1 0 0 0 0 0 0 0 0 0
326.12/329.60 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
326.12/329.60 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
326.12/329.60 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
326.12/329.60 c dualsparsify : 3.60 0.00 1 0 0 0 0 0 0 0 0 0
326.12/329.60 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
326.12/329.60 c implics : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
326.12/329.60 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
326.12/329.60 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
326.12/329.60 c milp : 1.16 0.00 1 0 0 0 0 0 0 0 0 0
326.12/329.60 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
326.12/329.60 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
326.12/329.60 c sparsify : 0.30 0.00 1 0 0 0 0 0 0 0 0 0
326.12/329.60 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
326.12/329.60 c trivial : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
326.12/329.60 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
326.12/329.60 c dualfix : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
326.12/329.60 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
326.12/329.60 c probing : 0.03 0.00 1 0 0 0 0 0 0 0 0 0
326.12/329.60 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
326.12/329.60 c symmetry : 3.69 0.00 1 0 0 0 0 0 0 0 0 0
326.12/329.60 c vbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
326.12/329.60 c linear : 0.85 0.39 2 0 0 0 0 0 0 0 0 0
326.12/329.60 c logicor : 0.41 1.02 3 0 0 0 0 0 0 0 0 0
326.12/329.60 c components : 0.18 0.00 1 0 0 0 0 0 0 0 0 0
326.12/329.60 c root node : - - - 0 - - 0 - - - - -
326.12/329.60 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
326.12/329.60 c integral : 0 0 0 0 0 0 0 46 0 0 0 0 0 0 0
326.12/329.60 c logicor : 65280 65280 18 1005 0 0 0 41 0 0 0 0 0 0 0
326.12/329.60 c fixedvar : 0 0 0 0 0 0 0 25 0 0 0 0 0 0 0
326.12/329.60 c countsols : 0 0 0 0 0 0 0 25 0 0 0 0 0 0 0
326.12/329.60 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
326.12/329.60 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
326.12/329.60 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
326.12/329.60 c logicor : 1.59 1.02 0.28 0.19 0.00 0.00 0.00 0.11 0.00 0.00
326.12/329.60 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
326.12/329.60 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
326.12/329.60 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
326.12/329.60 c Propagators : #Propagate #ResProp Cutoffs DomReds
326.12/329.60 c dualfix : 2 0 0 0
326.12/329.60 c genvbounds : 0 0 0 0
326.12/329.60 c nlobbt : 0 0 0 0
326.12/329.60 c obbt : 0 0 0 0
326.12/329.60 c probing : 0 0 0 0
326.12/329.60 c pseudoobj : 21 0 0 0
326.12/329.60 c redcost : 19 0 0 0
326.12/329.60 c rootredcost : 0 0 0 0
326.12/329.60 c symmetry : 0 0 0 0
326.12/329.60 c vbounds : 0 0 0 0
326.12/329.60 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
326.12/329.60 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
326.12/329.60 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
326.12/329.60 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
326.12/329.60 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
326.12/329.60 c probing : 0.03 0.00 0.03 0.00 0.00 0.00
326.12/329.60 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
326.12/329.60 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
326.12/329.60 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
326.12/329.60 c symmetry : 3.69 0.00 3.69 0.00 0.00 0.00
326.12/329.60 c vbounds : 0.00 0.00 0.00 0.00 0.00 0.00
326.12/329.60 c Symmetry :
326.12/329.60 c #affected vars : 5048 (5048 bin, 0 int, 0 cont)
326.12/329.60 c orbitopal red. : 0 reductions applied, 0 cutoffs
326.12/329.60 c orbital reduction: 0 reductions applied, 0 cutoffs
326.12/329.60 c lexicographic red: 0 reductions applied, 0 cutoffs
326.12/329.60 c shadow tree time : 0.00 s
326.12/329.60 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [--,--])
326.12/329.60 c propagation : 0.00 0 0 - 0 0.0 0 0.0 - - -
326.12/329.60 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
326.12/329.60 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
326.12/329.60 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
326.12/329.60 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
326.12/329.60 c applied globally : 0.00 - - 0 0 0.0 - - 0 - -
326.12/329.60 c applied locally : - - - 0 0 0.0 - - 0 - -
326.12/329.60 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
326.12/329.60 c cut pool : 0.00 - 35 35 - - 47 47 - - - - - (maximal pool size: 47)
326.12/329.60 c aggregation : 0.40 0.00 18 18 0 0 0 0 0 0 0 0 0
326.12/329.60 c > cmir : - - - - - - - 0 0 0 0 0 -
326.12/329.60 c > flowcover : - - - - - - - 0 0 0 0 0 -
326.12/329.60 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
326.12/329.60 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
326.12/329.60 c clique : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
326.12/329.60 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
326.12/329.60 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
326.12/329.60 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
326.12/329.60 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
326.12/329.60 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
326.12/329.60 c gomory : 92.05 0.00 10 10 0 0 0 0 0 0 0 0 0
326.12/329.60 c > gomorymi : - - - - - - - 0 0 0 0 0 -
326.12/329.60 c > strongcg : - - - - - - - 0 0 0 0 0 -
326.12/329.60 c impliedbounds : 0.00 0.00 18 18 0 0 0 0 0 0 0 0 0
326.12/329.60 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
326.12/329.60 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
326.12/329.60 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
326.12/329.60 c mcf : 0.09 0.00 1 1 0 0 0 0 0 0 0 0 0
326.12/329.60 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
326.12/329.60 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
326.12/329.60 c multilinear : 0.00 0.00 18 18 0 0 0 0 0 0 0 0 0
326.12/329.60 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
326.12/329.60 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
326.12/329.60 c rlt : 0.00 0.00 10 10 0 0 0 0 0 0 0 0 0
326.12/329.60 c zerohalf : 0.34 0.00 18 18 0 0 47 47 0 47 47 0 0
326.12/329.60 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
326.12/329.60 c hybrid : 0.00 0.00 18 18 47 0 0 47 0 0
326.12/329.60 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
326.12/329.60 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
326.12/329.60 c Pricers : ExecTime SetupTime Calls Vars
326.12/329.60 c problem variables: 0.00 - 0 0
326.12/329.60 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
326.12/329.60 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
326.12/329.60 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
326.12/329.60 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
326.12/329.60 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
326.12/329.60 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
326.12/329.60 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
326.12/329.60 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
326.12/329.60 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
326.12/329.60 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
326.12/329.60 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
326.12/329.60 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
326.12/329.60 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
326.12/329.60 c random : 0.00 0.00 0 0 0 0 0 0 0 0
326.12/329.60 c relpscost : 0.00 0.00 0 0 0 0 0 0 0 0
326.12/329.60 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
326.12/329.60 c Primal Heuristics : ExecTime SetupTime Calls Found Best
326.12/329.60 c LP solutions : 0.00 - - 0 0
326.12/329.60 c relax solutions : 0.00 - - 0 0
326.12/329.60 c pseudo solutions : 0.00 - - 0 0
326.12/329.60 c strong branching : 0.00 - - 0 0
326.12/329.60 c actconsdiving : 0.00 0.00 0 0 0
326.12/329.60 c adaptivediving : 0.00 0.00 0 0 0
326.12/329.60 c alns : 0.00 0.00 0 0 0
326.12/329.60 c bound : 0.00 0.00 0 0 0
326.12/329.60 c clique : 0.00 0.00 0 0 0
326.12/329.60 c coefdiving : 0.00 0.00 0 0 0
326.12/329.60 c completesol : 0.00 0.00 0 0 0
326.12/329.60 c conflictdiving : 0.00 0.00 0 0 0
326.12/329.60 c crossover : 0.00 0.00 0 0 0
326.12/329.60 c dins : 0.00 0.00 0 0 0
326.12/329.60 c distributiondivin: 0.00 0.00 0 0 0
326.12/329.60 c dks : 0.00 0.00 0 0 0
326.12/329.60 c dps : 0.00 0.00 0 0 0
326.12/329.60 c dualval : 0.00 0.00 0 0 0
326.12/329.60 c farkasdiving : 0.00 0.00 0 0 0
326.12/329.60 c feaspump : 0.00 0.00 0 0 0
326.12/329.60 c fixandinfer : 0.00 0.00 0 0 0
326.12/329.60 c fracdiving : 0.00 0.00 0 0 0
326.12/329.60 c gins : 0.00 0.00 0 0 0
326.12/329.60 c guideddiving : 0.00 0.00 0 0 0
326.12/329.60 c indicator : 0.00 0.00 0 0 0
326.12/329.60 c indicatordiving : 0.00 0.00 0 0 0
326.12/329.60 c intdiving : 0.00 0.00 0 0 0
326.12/329.60 c intshifting : 0.00 0.00 0 0 0
326.12/329.60 c linesearchdiving : 0.00 0.00 0 0 0
326.12/329.60 c localbranching : 0.00 0.00 0 0 0
326.12/329.60 c locks : 0.86 0.00 1 1 1
326.12/329.60 c lpface : 0.00 0.00 0 0 0
326.12/329.60 c mpec : 0.00 0.00 0 0 0
326.12/329.60 c multistart : 0.00 0.00 0 0 0
326.12/329.60 c mutation : 0.00 0.00 0 0 0
326.12/329.60 c nlpdiving : 0.00 0.00 0 0 0
326.12/329.60 c objpscostdiving : 0.00 0.00 0 0 0
326.12/329.60 c octane : 0.00 0.00 0 0 0
326.12/329.60 c ofins : 0.00 0.00 0 0 0
326.12/329.60 c oneopt : 0.08 0.00 2 1 1
326.12/329.60 c padm : 0.00 0.00 0 0 0
326.12/329.60 c proximity : 0.00 0.00 0 0 0
326.12/329.60 c pscostdiving : 0.00 0.00 0 0 0
326.12/329.60 c randrounding : 0.30 0.00 18 0 0
326.12/329.60 c rens : 0.00 0.00 0 0 0
326.12/329.60 c reoptsols : 0.00 0.00 0 0 0
326.12/329.60 c repair : 0.00 0.00 0 0 0
326.12/329.60 c rins : 0.00 0.00 0 0 0
326.12/329.60 c rootsoldiving : 0.00 0.00 0 0 0
326.12/329.60 c rounding : 0.22 0.00 18 1 1
326.12/329.60 c scheduler : 0.00 0.00 0 0 0
326.12/329.60 c shiftandpropagate: 0.00 0.00 0 0 0
326.12/329.60 c shifting : 0.55 0.00 18 0 0
326.12/329.60 c simplerounding : 0.09 0.00 18 18 0
326.12/329.60 c subnlp : 0.00 0.00 0 0 0
326.12/329.60 c trivial : 0.04 0.00 2 1 1
326.12/329.60 c trivialnegation : 0.00 0.00 0 0 0
326.12/329.60 c trustregion : 0.00 0.00 0 0 0
326.12/329.60 c trysol : 0.00 0.00 0 0 0
326.12/329.60 c twoopt : 0.00 0.00 0 0 0
326.12/329.60 c undercover : 0.00 0.00 0 0 0
326.12/329.60 c vbounds : 0.00 0.00 0 0 0
326.12/329.60 c veclendiving : 0.00 0.00 0 0 0
326.12/329.60 c zeroobj : 0.00 0.00 0 0 0
326.12/329.60 c zirounding : 0.00 0.00 0 0 0
326.12/329.60 c other solutions : - - - 0 -
326.12/329.60 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
326.12/329.60 c rens : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
326.12/329.60 c rins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
326.12/329.60 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
326.12/329.60 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
326.12/329.60 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
326.12/329.60 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
326.12/329.60 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
326.12/329.60 c dins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
326.12/329.60 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
326.12/329.60 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
326.12/329.60 c primal LP : 0.03 1 0 0.00 0.00 0.03 1
326.12/329.60 c dual LP : 220.60 19 43722 2301.16 198.19 0.00 0
326.12/329.60 c lex dual LP : 0.00 0 0 0.00 -
326.12/329.60 c barrier LP : 0.00 0 0 0.00 - 0.00 0
326.12/329.60 c resolve instable : 0.00 0 0 0.00 -
326.12/329.60 c diving/probing LP: 0.14 0 0 0.00 0.00
326.12/329.60 c strong branching : 0.00 0 0 0.00 - - - 0
326.12/329.60 c (at root node) : - 0 0 0.00 -
326.12/329.60 c conflict analysis: 0.00 0 0 0.00 -
326.12/329.60 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
326.12/329.60 c benders : 0.00 0 0 0 0.00 0 0 0
326.12/329.60 c B&B Tree :
326.12/329.60 c number of runs : 1
326.12/329.60 c nodes : 1 (0 internal, 1 leaves)
326.12/329.60 c feasible leaves : 0
326.12/329.60 c infeas. leaves : 0
326.12/329.60 c objective leaves : 1
326.12/329.60 c nodes (total) : 1 (0 internal, 1 leaves)
326.12/329.60 c nodes left : 0
326.12/329.60 c max depth : 0
326.12/329.60 c max depth (total): 0
326.12/329.60 c backtracks : 0 (0.0%)
326.12/329.60 c early backtracks : 0 (0.0%)
326.12/329.60 c nodes exc. ref. : 0 (0.0%)
326.12/329.60 c delayed cutoffs : 0
326.12/329.60 c repropagations : 0 (0 domain reductions, 0 cutoffs)
326.12/329.60 c avg switch length: 2.00
326.12/329.60 c switching time : 0.00
326.12/329.60 c Root Node :
326.12/329.60 c First LP value : +3.20000000000000e+01
326.12/329.60 c First LP Iters : 20685 (139.62 Iter/sec)
326.12/329.60 c First LP Time : 148.15
326.12/329.60 c Final Dual Bound : -
326.12/329.60 c Final Root Iters : 43722
326.12/329.60 c Root LP Estimate : -
326.12/329.60 c Solution :
326.12/329.60 c Solutions found : 22 (4 improvements)
326.12/329.60 c First Solution : +5.04800000000000e+03 (in run 1, after 0 nodes, 1.79 seconds, depth 0, found by <trivial>)
326.12/329.60 c Gap First Sol. : infinite
326.12/329.60 c Gap Last Sol. : 1.60 %
326.12/329.60 c Primal Bound : +3.60000000000000e+01 (in run 1, after 1 nodes, 329.47 seconds, depth 0, found by <oneopt>)
326.12/329.60 c Dual Bound : +3.60000000000000e+01
326.12/329.60 c Gap : 0.00 %
326.12/329.60 c Integrals : Total Avg%
326.12/329.60 c primal-dual : 18881.43 57.30
326.12/329.60 c primal-ref : - - (not evaluated)
326.12/329.60 c dual-ref : - - (not evaluated)
326.52/330.04 c Time complete (sec): 326.568
OK 36
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 (62919 MiB free)
memory of node 1: 64507 MiB (58276 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4503025-1751430000/watcher-4503025-1751430000 -o /tmp/evaluation-result-4503025-1751430000/solver-4503025-1751430000 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751422783-57316 --watchdog 3760 pbsolver -f HOME/instance-4503025-1751430000.opb -t 3600 -m 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
Starting watchdog thread
Starting watchdog thread
Linux 5.14.0-503.14.1.el9_5.x86_64
Current StackSize limit: 8192 KiB
solver pid=58067, runsolver pid=58064
[startup+0.100082 s]*
/proc/loadavg: 2.15 2.10 2.09 3/238 58068
/proc/meminfo: memFree=124089440/131382112 swapFree=33010684/33010684
[pid=58067] ppid=58064 vsize=31556 memory=21632 CPUtime=0.09 cores=1,3
/proc/58067/stat : 58067 (pbsolver) R 58064 58067 57278 0 -1 4194304 3441 0 0 0 8 1 0 0 20 0 1 0 58679730 32313344 5408 18446744073709551615 4198400 14743177 140723195030256 0 0 0 0 0 0 0 0 0 17 3 0 0 0 0 0 16769280 16853168 50659328 140723195033994 140723195034090 140723195034090 140723195039692 0
/proc/58067/statm: 7889 5408 2176 2575 0 4796 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 31556 KiB
Current children cumulated memory: 21632 KiB
[startup+0.217319 s]*
/proc/loadavg: 2.21 2.12 2.10 3/238 58068
/proc/meminfo: memFree=124081376/131382112 swapFree=33010684/33010684
[pid=58067] ppid=58064 vsize=37568 memory=27648 CPUtime=0.19 cores=1,3
/proc/58067/stat : 58067 (pbsolver) R 58064 58067 57278 0 -1 4194304 4934 0 0 0 18 1 0 0 20 0 1 0 58679730 38469632 6912 18446744073709551615 4198400 14743177 140723195030256 0 0 0 0 0 0 0 0 0 17 3 0 0 0 0 0 16769280 16853168 50659328 140723195033994 140723195034090 140723195034090 140723195039692 0
/proc/58067/statm: 9392 6912 2176 2575 0 6299 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 37568 KiB
Current children cumulated memory: 27648 KiB
[startup+0.313034 s]*
/proc/loadavg: 2.21 2.12 2.10 3/238 58068
/proc/meminfo: memFree=124081376/131382112 swapFree=33010684/33010684
[pid=58067] ppid=58064 vsize=41268 memory=31360 CPUtime=0.28 cores=1,3
/proc/58067/stat : 58067 (pbsolver) R 58064 58067 57278 0 -1 4194304 5863 0 0 0 26 2 0 0 20 0 1 0 58679730 42258432 7840 18446744073709551615 4198400 14743177 140723195030256 0 0 0 0 0 0 0 0 0 17 3 0 0 0 0 0 16769280 16853168 50659328 140723195033994 140723195034090 140723195034090 140723195039692 0
/proc/58067/statm: 10317 7840 2176 2575 0 7224 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 41268 KiB
Current children cumulated memory: 31360 KiB
[startup+0.70025 s]
/proc/loadavg: 2.21 2.12 2.10 3/238 58068
/proc/meminfo: memFree=124065752/131382112 swapFree=33010684/33010684
[pid=58067] ppid=58064 vsize=63496 memory=53120 CPUtime=0.63 cores=1,3
/proc/58067/stat : 58067 (pbsolver) R 58064 58067 57278 0 -1 4194304 11312 0 0 0 60 3 0 0 20 0 1 0 58679730 65019904 13280 18446744073709551615 4198400 14743177 140723195030256 0 0 0 0 0 0 0 0 0 17 3 0 0 0 0 0 16769280 16853168 50659328 140723195033994 140723195034090 140723195034090 140723195039692 0
/proc/58067/statm: 15874 13280 2176 2575 0 12781 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 63496 KiB
Current children cumulated memory: 53120 KiB
[startup+1.50023 s]
/proc/loadavg: 2.21 2.12 2.10 3/238 58068
/proc/meminfo: memFree=124034504/131382112 swapFree=33010684/33010684
[pid=58067] ppid=58064 vsize=237212 memory=224780 CPUtime=1.41 cores=1,3
/proc/58067/stat : 58067 (pbsolver) R 58064 58067 57278 0 -1 4194304 54418 0 0 0 128 13 0 0 20 0 1 0 58679730 242905088 56195 18446744073709551615 4198400 14743177 140723195030256 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 16769280 16853168 50659328 140723195033994 140723195034090 140723195034090 140723195039692 0
/proc/58067/statm: 59303 56195 2368 2575 0 56210 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 237212 KiB
Current children cumulated memory: 224780 KiB
[startup+3.10539 s]
/proc/loadavg: 2.21 2.12 2.10 3/238 58068
/proc/meminfo: memFree=123432420/131382112 swapFree=33010684/33010684
[pid=58067] ppid=58064 vsize=772592 memory=732088 CPUtime=3.01 cores=1,3
/proc/58067/stat : 58067 (pbsolver) R 58064 58067 57278 0 -1 4194304 117040 0 0 0 266 35 0 0 20 0 1 0 58679730 791134208 183022 18446744073709551615 4198400 14743177 140723195030256 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 16769280 16853168 50659328 140723195033994 140723195034090 140723195034090 140723195039692 0
/proc/58067/statm: 193148 183022 2432 2575 0 190055 0
Current children cumulated CPU time: 3.01 s
Current children cumulated vsize: 772592 KiB
Current children cumulated memory: 732088 KiB
[startup+6.30021 s]
/proc/loadavg: 2.20 2.11 2.10 3/238 58068
/proc/meminfo: memFree=123033200/131382112 swapFree=33010684/33010684
[pid=58067] ppid=58064 vsize=1238156 memory=1113244 CPUtime=6.16 cores=1,3
/proc/58067/stat : 58067 (pbsolver) R 58064 58067 57278 0 -1 4194304 181456 0 0 0 558 58 0 0 20 0 1 0 58679730 1267871744 278311 18446744073709551615 4198400 14743177 140723195030256 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 16769280 16853168 50659328 140723195033994 140723195034090 140723195034090 140723195039692 0
/proc/58067/statm: 309539 278311 2560 2575 0 306446 0
Current children cumulated CPU time: 6.16 s
Current children cumulated vsize: 1238156 KiB
Current children cumulated memory: 1113244 KiB
[startup+12.7001 s]
/proc/loadavg: 2.18 2.11 2.10 3/238 58068
/proc/meminfo: memFree=122211848/131382112 swapFree=33010684/33010684
[pid=58067] ppid=58064 vsize=1934572 memory=1772348 CPUtime=12.5 cores=1,3
/proc/58067/stat : 58067 (pbsolver) R 58064 58067 57278 0 -1 4194304 221639 0 0 0 1169 81 0 0 20 0 1 0 58679730 1981001728 443087 18446744073709551615 4198400 14743177 140723195030256 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 16769280 16853168 50659328 140723195033994 140723195034090 140723195034090 140723195039692 0
/proc/58067/statm: 483643 443087 2592 2575 0 480550 0
Current children cumulated CPU time: 12.5 s
Current children cumulated vsize: 1934572 KiB
Current children cumulated memory: 1772348 KiB
[startup+25.5002 s]
/proc/loadavg: 2.15 2.11 2.09 3/238 58068
/proc/meminfo: memFree=122075512/131382112 swapFree=33010684/33010684
[pid=58067] ppid=58064 vsize=2149748 memory=1999164 CPUtime=25.17 cores=1,3
/proc/58067/stat : 58067 (pbsolver) R 58064 58067 57278 0 -1 4194304 245178 0 0 0 2426 91 0 0 20 0 1 0 58679730 2201341952 499791 18446744073709551615 4198400 14743177 140723195030256 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 16769280 16853168 50659328 140723195033994 140723195034090 140723195034090 140723195039692 0
/proc/58067/statm: 537437 499791 2656 2575 0 534344 0
Current children cumulated CPU time: 25.17 s
Current children cumulated vsize: 2149748 KiB
Current children cumulated memory: 1999164 KiB
[startup+51.1053 s]
/proc/loadavg: 2.09 2.10 2.09 3/238 58069
/proc/meminfo: memFree=122128788/131382112 swapFree=33010684/33010684
[pid=58067] ppid=58064 vsize=2149748 memory=1999164 CPUtime=50.5 cores=1,3
/proc/58067/stat : 58067 (pbsolver) R 58064 58067 57278 0 -1 4194304 245178 0 0 0 4959 91 0 0 20 0 1 0 58679730 2201341952 499791 18446744073709551615 4198400 14743177 140723195030256 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 16769280 16853168 50659328 140723195033994 140723195034090 140723195034090 140723195039692 0
/proc/58067/statm: 537437 499791 2656 2575 0 534344 0
Current children cumulated CPU time: 50.5 s
Current children cumulated vsize: 2149748 KiB
Current children cumulated memory: 1999164 KiB
[startup+102.3 s]
/proc/loadavg: 2.09 2.09 2.09 3/238 58070
/proc/meminfo: memFree=122128792/131382112 swapFree=33010684/33010684
[pid=58067] ppid=58064 vsize=2149748 memory=1999164 CPUtime=101.15 cores=1,3
/proc/58067/stat : 58067 (pbsolver) R 58064 58067 57278 0 -1 4194304 245188 0 0 0 10024 91 0 0 20 0 1 0 58679730 2201341952 499791 18446744073709551615 4198400 14743177 140723195030256 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 16769280 16853168 50659328 140723195033994 140723195034090 140723195034090 140723195039692 0
/proc/58067/statm: 537437 499791 2656 2575 0 534344 0
Current children cumulated CPU time: 101.15 s
Current children cumulated vsize: 2149748 KiB
Current children cumulated memory: 1999164 KiB
[startup+162.3 s]
/proc/loadavg: 2.07 2.09 2.09 3/239 58073
/proc/meminfo: memFree=122128884/131382112 swapFree=33010684/33010684
[pid=58067] ppid=58064 vsize=2149748 memory=1999164 CPUtime=160.51 cores=1,3
/proc/58067/stat : 58067 (pbsolver) R 58064 58067 57278 0 -1 4194304 245188 0 0 0 15960 91 0 0 20 0 1 0 58679730 2201341952 499791 18446744073709551615 4198400 14743177 140723195030256 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 16769280 16853168 50659328 140723195033994 140723195034090 140723195034090 140723195039692 0
/proc/58067/statm: 537437 499791 2656 2575 0 534344 0
Current children cumulated CPU time: 160.51 s
Current children cumulated vsize: 2149748 KiB
Current children cumulated memory: 1999164 KiB
[startup+222.3 s]
/proc/loadavg: 2.16 2.12 2.09 3/239 58075
/proc/meminfo: memFree=122134168/131382112 swapFree=33010684/33010684
[pid=58067] ppid=58064 vsize=2166496 memory=2016176 CPUtime=219.9 cores=1,3
/proc/58067/stat : 58067 (pbsolver) R 58064 58067 57278 0 -1 4194304 246354 0 0 0 21896 94 0 0 20 0 1 0 58679730 2218491904 504044 18446744073709551615 4198400 14743177 140723195030256 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 16769280 16853168 50659328 140723195033994 140723195034090 140723195034090 140723195039692 0
/proc/58067/statm: 541624 504044 2688 2575 0 538531 0
Current children cumulated CPU time: 219.9 s
Current children cumulated vsize: 2166496 KiB
Current children cumulated memory: 2016176 KiB
[startup+282.3 s]
/proc/loadavg: 2.11 2.11 2.09 3/239 58079
/proc/meminfo: memFree=122135240/131382112 swapFree=33010684/33010684
[pid=58067] ppid=58064 vsize=2187828 memory=2018352 CPUtime=279.29 cores=1,3
/proc/58067/stat : 58067 (pbsolver) R 58064 58067 57278 0 -1 4194304 247001 0 0 0 27835 94 0 0 20 0 1 0 58679730 2240335872 504588 18446744073709551615 4198400 14743177 140723195030256 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 16769280 16853168 50659328 140723195033994 140723195034090 140723195034090 140723195039692 0
/proc/58067/statm: 546957 504588 2688 2575 0 543864 0
Current children cumulated CPU time: 279.29 s
Current children cumulated vsize: 2187828 KiB
Current children cumulated memory: 2018352 KiB
[startup+330.071 s]
# the end of solver process 58067 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=325.602 s, system=0.994104 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+307.2 s]
/proc/loadavg: 2.13 2.11 2.09 3/239 58081
/proc/meminfo: memFree=122134084/131382112 swapFree=33010684/33010684
[pid=58067] ppid=58064 vsize=2200584 memory=2019120 CPUtime=303.94 cores=1,3
/proc/58067/stat : 58067 (pbsolver) R 58064 58067 57278 0 -1 4194304 247200 0 0 0 30300 94 0 0 20 0 1 0 58679730 2253398016 504780 18446744073709551615 4198400 14743177 140723195030256 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 16769280 16853168 50659328 140723195033994 140723195034090 140723195034090 140723195039692 0
/proc/58067/statm: 550146 504780 2688 2575 0 547053 0
Current children cumulated CPU time: 303.94 s
Current children cumulated vsize: 2200584 KiB
Current children cumulated memory: 2019120 KiB
[startup+320 s]*
/proc/loadavg: 2.11 2.11 2.09 3/238 58081
/proc/meminfo: memFree=122133332/131382112 swapFree=33010684/33010684
[pid=58067] ppid=58064 vsize=2207516 memory=2022032 CPUtime=316.62 cores=1,3
/proc/58067/stat : 58067 (pbsolver) R 58064 58067 57278 0 -1 4194304 247393 0 0 0 31568 94 0 0 20 0 1 0 58679730 2260496384 505508 18446744073709551615 4198400 14743177 140723195030256 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 16769280 16853168 50659328 140723195033994 140723195034090 140723195034090 140723195039692 0
/proc/58067/statm: 551879 505508 2688 2575 0 548786 0
Current children cumulated CPU time: 316.62 s
Current children cumulated vsize: 2207516 KiB
Current children cumulated memory: 2022032 KiB
[startup+326.4 s]
/proc/loadavg: 2.10 2.11 2.09 3/238 58081
/proc/meminfo: memFree=122126464/131382112 swapFree=33010684/33010684
[pid=58067] ppid=58064 vsize=2246292 memory=2027576 CPUtime=322.96 cores=1,3
/proc/58067/stat : 58067 (pbsolver) R 58064 58067 57278 0 -1 4194304 248275 0 0 0 32201 95 0 0 20 0 1 0 58679730 2300203008 506894 18446744073709551615 4198400 14743177 140723195030256 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 16769280 16853168 50659328 140723195033994 140723195034090 140723195034090 140723195039692 0
/proc/58067/statm: 561573 506894 2688 2575 0 558480 0
Current children cumulated CPU time: 322.96 s
Current children cumulated vsize: 2246292 KiB
Current children cumulated memory: 2027576 KiB
[startup+328 s]*
/proc/loadavg: 2.10 2.11 2.09 3/238 58081
/proc/meminfo: memFree=122122684/131382112 swapFree=33010684/33010684
[pid=58067] ppid=58064 vsize=2259936 memory=2029112 CPUtime=324.54 cores=1,3
/proc/58067/stat : 58067 (pbsolver) R 58064 58067 57278 0 -1 4194304 248664 0 0 0 32359 95 0 0 20 0 1 0 58679730 2314174464 507278 18446744073709551615 4198400 14743177 140723195030256 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 16769280 16853168 50659328 140723195033994 140723195034090 140723195034090 140723195039692 0
/proc/58067/statm: 564984 507278 2688 2575 0 561891 0
Current children cumulated CPU time: 324.54 s
Current children cumulated vsize: 2259936 KiB
Current children cumulated memory: 2029112 KiB
[startup+328.8 s]
/proc/loadavg: 2.10 2.11 2.09 3/238 58081
/proc/meminfo: memFree=122122684/131382112 swapFree=33010684/33010684
[pid=58067] ppid=58064 vsize=2261468 memory=2029752 CPUtime=325.33 cores=1,3
/proc/58067/stat : 58067 (pbsolver) R 58064 58067 57278 0 -1 4194304 248830 0 0 0 32438 95 0 0 20 0 1 0 58679730 2315743232 507438 18446744073709551615 4198400 14743177 140723195030256 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 16769280 16853168 50659328 140723195033994 140723195034090 140723195034090 140723195039692 0
/proc/58067/statm: 565367 507438 2688 2575 0 562274 0
Current children cumulated CPU time: 325.33 s
Current children cumulated vsize: 2261468 KiB
Current children cumulated memory: 2029752 KiB
[startup+329.6 s]
/proc/loadavg: 2.10 2.11 2.09 3/238 58081
/proc/meminfo: memFree=122122684/131382112 swapFree=33010684/33010684
[pid=58067] ppid=58064 vsize=2261468 memory=2029752 CPUtime=326.12 cores=1,3
/proc/58067/stat : 58067 (pbsolver) R 58064 58067 57278 0 -1 4194304 248867 0 0 0 32517 95 0 0 20 0 1 0 58679730 2315743232 507438 18446744073709551615 4198400 14743177 140723195030256 0 0 0 0 0 0 0 0 0 17 3 0 0 0 0 0 16769280 16853168 50659328 140723195033994 140723195034090 140723195034090 140723195039692 0
/proc/58067/statm: 565367 507438 2688 2575 0 562274 0
Current children cumulated CPU time: 326.12 s
Current children cumulated vsize: 2261468 KiB
Current children cumulated memory: 2029752 KiB
[startup+330 s]*
/proc/loadavg: 2.10 2.11 2.09 3/238 58081
/proc/meminfo: memFree=122253060/131382112 swapFree=33010684/33010684
[pid=58067] ppid=58064 vsize=2106780 memory=1875328 CPUtime=326.52 cores=1,3
/proc/58067/stat : 58067 (pbsolver) R 58064 58067 57278 0 -1 4194304 248881 0 0 0 32557 95 0 0 20 0 1 0 58679730 2157342720 468832 18446744073709551615 4198400 14743177 140723195030256 0 0 0 0 0 0 0 0 0 17 3 0 0 0 0 0 16769280 16853168 50659328 140723195033994 140723195034090 140723195034090 140723195039692 0
/proc/58067/statm: 526695 468832 2688 2575 0 523602 0
Current children cumulated CPU time: 326.52 s
Current children cumulated vsize: 2106780 KiB
Current children cumulated memory: 1875328 KiB
Child status: 0
Real time (s): 330.071
CPU time (s): 326.596
CPU user time (s): 325.602
CPU system time (s): 0.994104
CPU usage (%): 98.9471
Max. virtual memory (cumulated for all children) (KiB): 2261468
Max. memory (cumulated for all children) (KiB): 2029752
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 325.602
system time used= 0.994104
maximum resident set size= 2061488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 248888
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= 2
involuntary context switches= 5921
# summary of solver processes directly reported to runsolver:
# pid: 58067
# total CPU time (s): 326.596
# total CPU user time (s): 325.602
# total CPU system time (s): 0.994104
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.614302 second user time and 1.61045 second system time
The end
Begin job on nodeC012 at 2025-07-02 06:20:00 IDJOB=4503025 IDBENCH=155403 IDSOLVER=3366 FILE ID=nodeC012/4503025-1751430000 RUNJOBID= nodeC012-1751422783-57316 SLURM_JOB_ID= 9598353 Free space on /tmp= 432256 MiB SOLVER NAME= SCIP-10 2025-06-13 BENCH NAME= PB24/normalized-PB11/OPT-LIN/kullmann/normalized-mul_8_3_shg.opb COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4503025-1751430000/watcher-4503025-1751430000 -o /tmp/evaluation-result-4503025-1751430000/solver-4503025-1751430000 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751422783-57316 --watchdog 3760 pbsolver -f HOME/instance-4503025-1751430000.opb -t 3600 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 9f3f50f555350d326304759fc873d478 RANDOM SEED=530419445 nodeC012 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 : 1197.758 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.39 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 : 3700.000 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.39 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.467 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.39 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.153 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.39 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 : 3700.000 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.39 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3691.263 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.39 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 : 3700.000 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.39 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 : 3700.000 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.39 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382112 kB MemFree: 124105316 kB MemAvailable: 125177468 kB Buffers: 3280 kB Cached: 1877792 kB SwapCached: 0 kB Active: 5059640 kB Inactive: 1566028 kB Active(anon): 4762556 kB Inactive(anon): 0 kB Active(file): 297084 kB Inactive(file): 1566028 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 35688 kB Writeback: 0 kB AnonPages: 4747576 kB Mapped: 113460 kB Shmem: 17960 kB KReclaimable: 96948 kB Slab: 180160 kB SReclaimable: 96948 kB SUnreclaim: 83212 kB KernelStack: 3856 kB PageTables: 12200 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 5610960 kB VmallocTotal: 34359738367 kB VmallocUsed: 149304 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 3131392 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: 187208 kB DirectMap2M: 8103936 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 432240 MiB End job on nodeC012 at 2025-07-02 06:25:31