Trace number 4492087

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIP 2025-06-13SAT 2458.38 2465.07

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/ppp-problems/normalized-ppp:1,3-13,19.opb
MD5SUMd1aade7dcf65cc3dbe16a05e614ec6ef
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.08851
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4608
Total number of constraints30348
Number of constraints which are clauses29328
Number of constraints which are cardinality constraints (but not clauses)942
Number of constraints which are nor clauses,nor cardinality constraints78
Minimum length of a constraint3
Maximum length of a constraint29
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 10
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 102
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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-4492087-1751145886.opb>
0.00/0.05	c original problem has 4608 variables (4608 bin, 0 int, 0 cont) and 30348 constraints
0.00/0.05	c problem read in 0.054 seconds
0.00/0.05	c problem without objective
0.00/0.10	c presolving:
0.10/0.16	c    (0.2s) running MILP presolver
0.10/0.19	c    (0.2s) MILP presolver found nothing
0.20/0.25	c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 30348 upgd conss, 0 impls, 2364 clqs
0.30/0.35	c    (0.4s) probing: 51/4608 (1.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.30/0.35	c    (0.4s) probing aborted: 50/50 successive totally useless probings
0.30/0.37	c    (0.4s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.79/0.85	c    (0.8s) symmetry computation finished: 36 generators found (max: 1500, log10 of symmetry group size: 23.69) (symcode time: 0.45)
0.79/0.85	c dynamic symmetry handling statistics:
0.79/0.85	c    orbitopal reduction:       no components
0.79/0.85	c    orbital reduction:          1 components of sizes 36
0.79/0.85	c    lexicographic reduction:   36 permutations with support sizes 348, 348, 348, 348, 348, 444, 444, 480, 480, 480, 480, 480, 480, 480, 480, 480, 480, 480, 480, 480, 480, 348, 480, 480, 480, 480, 480, 480, 1536, 1536, 1536, 1536, 288, 480, 1536, 288
0.79/0.85	c handled 1 out of 1 symmetry components
0.79/0.87	c presolving (2 rounds: 2 fast, 2 medium, 2 exhaustive):
0.79/0.87	c  0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 18 changed sides, 510 changed coefficients
0.79/0.87	c  0 implications, 2364 cliques
0.79/0.87	c presolved problem has 4608 variables (4608 bin, 0 int, 0 cont) and 30348 constraints
0.79/0.87	c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
0.79/0.87	c      78 constraints of type <knapsack>
0.79/0.87	c     942 constraints of type <setppc>
0.79/0.87	c   29328 constraints of type <logicor>
0.79/0.87	c transformed objective value is always integral (scale: 1)
0.79/0.87	c Presolving Time: 0.77
0.79/0.87	c 
0.79/0.87	c - non default parameters ----------------------------------------------------------------------
0.79/0.87	c 
0.79/0.87	c # SCIP version 10.0.0
0.79/0.87	c 
0.79/0.87	c # maximal time in seconds to run
0.79/0.87	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.79/0.87	c limits/time = 3596.998354
0.79/0.87	c 
0.79/0.87	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.79/0.87	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.79/0.87	c limits/memory = 27900
0.79/0.87	c 
0.79/0.87	c # belongs reading time to solving time?
0.79/0.87	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.79/0.87	c timing/reading = TRUE
0.79/0.87	c 
0.79/0.87	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
0.79/0.87	c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
0.79/0.87	c reading/opbreader/maxintsize = 47
0.79/0.87	c 
0.79/0.87	c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
0.79/0.87	c # [type: int, advanced: TRUE, range: [0,15], default: 15]
0.79/0.87	c propagating/genvbounds/timingmask = 0
0.79/0.87	c 
0.79/0.87	c -----------------------------------------------------------------------------------------------
0.79/0.87	c 
11.96/12.02	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
11.96/12.02	c  12.0s|     1 |     0 | 15967 |     - |   143M |   0 |4608 |  30k|  30k|   0 |  0 |  33 |   0 | 0.000000e+00 |      --      |    Inf | unknown
28.01/28.17	c  28.2s|     1 |     0 | 50901 |     - |   150M |   0 |4608 |  30k|  30k|  55 |  1 |  39 |   0 | 0.000000e+00 |      --      |    Inf | unknown
37.58/37.71	c  37.7s|     1 |     0 | 62204 |     - |   154M |   0 |4608 |  30k|  30k| 114 |  2 |  45 |   0 | 0.000000e+00 |      --      |    Inf | unknown
47.36/47.54	c  47.5s|     1 |     0 | 73614 |     - |   160M |   0 |4608 |  30k|  30k| 162 |  3 |  46 |   0 | 0.000000e+00 |      --      |    Inf | unknown
55.74/55.99	c  56.0s|     1 |     0 | 83898 |     - |   164M |   0 |4608 |  30k|  30k| 203 |  4 |  50 |   0 | 0.000000e+00 |      --      |    Inf | unknown
66.51/66.71	c  66.7s|     1 |     0 | 95828 |     - |   167M |   0 |4608 |  30k|  30k| 243 |  5 |  57 |   0 | 0.000000e+00 |      --      |    Inf | unknown
76.28/76.53	c  76.5s|     1 |     0 |107181 |     - |   170M |   0 |4608 |  30k|  30k| 292 |  6 |  64 |   0 | 0.000000e+00 |      --      |    Inf | unknown
93.83/94.16	c  94.2s|     1 |     0 |123539 |     - |   174M |   0 |4608 |  30k|  30k| 340 |  7 |  74 |   0 | 0.000000e+00 |      --      |    Inf | unknown
102.00/102.33	c   102s|     1 |     0 |133523 |     - |   177M |   0 |4608 |  30k|  30k| 382 |  8 |  81 |   0 | 0.000000e+00 |      --      |    Inf | unknown
128.33/128.75	c   129s|     1 |     0 |155257 |     - |   180M |   0 |4608 |  30k|  30k| 415 |  9 |  81 |   0 | 0.000000e+00 |      --      |    Inf | unknown
144.48/144.94	c   145s|     1 |     0 |171276 |     - |   183M |   0 |4608 |  30k|  30k| 459 | 10 |  87 |   0 | 0.000000e+00 |      --      |    Inf | unknown
151.46/151.94	c   152s|     1 |     0 |181903 |     - |   187M |   0 |4608 |  30k|  30k| 505 | 11 |  92 |   0 | 0.000000e+00 |      --      |    Inf | unknown
165.13/165.62	c   166s|     1 |     2 |196102 |     - |   187M |   0 |4608 |  30k|  30k| 505 | 11 | 121 |  20 | 0.000000e+00 |      --      |    Inf | unknown
1101.55/1104.54	c  1105s|   100 |    98 |  1822k|16569.7 |   241M |  17 |4608 |  30k|  30k|1907 |  1 | 947 |  20 | 0.000000e+00 |      --      |    Inf | unknown
1802.92/1807.70	c  1808s|   200 |   198 |  2963k|13975.6 |   244M |  31 |4608 |  31k|  30k|2270 |  1 |1465 |  20 | 0.000000e+00 |      --      |    Inf | unknown
2246.49/2252.58	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2246.49/2252.58	c  2253s|   300 |   298 |  3730k|11868.8 |   260M |  69 |4608 |  31k|  30k|2373 |  1 |1707 |  20 | 0.000000e+00 |      --      |    Inf | unknown
2387.23/2393.75	c  2394s|   400 |   398 |  4028k|9640.7 |   262M |  95 |4608 |  31k|  30k|2402 |  1 |1885 |  20 | 0.000000e+00 |      --      |    Inf | unknown
2448.72/2455.40	c  2455s|   500 |   498 |  4178k|8009.2 |   262M | 114 |4608 |  31k|  30k|2405 |  1 |2037 |  20 | 0.000000e+00 |      --      |    Inf | unknown
2458.19/2464.98	c d2465s|   524 |     0 |  4202k|7688.2 |fracdivi| 115 |4608 |  31k|  30k|   0 |  1 |2057 |  20 | 0.000000e+00 | 0.000000e+00 |   0.00%| 100.00%
2458.19/2464.99	c 
2458.19/2464.99	c SCIP Status        : problem is solved [optimal solution found]
2458.19/2464.99	c Solving Time (sec) : 2464.99
2458.19/2464.99	c Solving Nodes      : 524
2458.19/2464.99	c Primal Bound       : +0.00000000000000e+00 (1 solutions)
2458.19/2464.99	c Dual Bound         : +0.00000000000000e+00
2458.19/2464.99	c Gap                : 0.00 %
2458.19/2464.99	s SATISFIABLE
2458.19/2464.99	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
2458.19/2464.99	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
2458.19/2464.99	v -x56 -x57 -x58 -x59 x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 x78 -x79 -x80 -x81
2458.19/2464.99	v -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106
2458.19/2464.99	v -x107 -x108 -x109 -x110 -x111 -x112 -x113 x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128
2458.19/2464.99	v -x129 -x130 -x131 -x132 -x133 x134 -x135 x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150
2458.19/2464.99	v -x151 -x152 x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 x172
2458.19/2464.99	v x173 -x174 -x175 x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 x194
2458.19/2464.99	v -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 x203 -x204 -x205 -x206 -x207 -x208 -x209 x210 -x211 -x212 -x213 -x214 -x215 -x216
2458.19/2464.99	v -x217 -x218 x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238
2458.19/2464.99	v -x239 -x240 -x241 x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 x254 -x255 -x256 -x257 -x258 -x259 -x260
2458.19/2464.99	v -x261 x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282
2458.19/2464.99	v -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304
2458.19/2464.99	v x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 x314 -x315 -x316 -x317 -x318 x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326
2458.19/2464.99	v -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348
2458.19/2464.99	v -x349 -x350 -x351 -x352 -x353 x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370
2458.19/2464.99	v -x371 x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392
2458.19/2464.99	v -x393 x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414
2458.19/2464.99	v -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 x431 -x432 x433 -x434 -x435 -x436
2458.19/2464.99	v -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 x449 x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458
2458.19/2464.99	v -x459 -x460 x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480
2458.19/2464.99	v -x481 x482 -x483 x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502
2458.19/2464.99	v -x503 -x504 -x505 -x506 -x507 -x508 x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 x518 -x519 -x520 -x521 -x522 -x523 -x524
2458.19/2464.99	v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 x533 -x534 -x535 -x536 -x537 -x538 -x539 x540 -x541 -x542 -x543 -x544 -x545 -x546
2458.19/2464.99	v -x547 -x548 -x549 x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568
2458.19/2464.99	v -x569 -x570 -x571 x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 x585 -x586 -x587 -x588 -x589 -x590
2458.19/2464.99	v -x591 -x592 -x593 -x594 -x595 -x596 x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612
2458.19/2464.99	v x613 -x614 -x615 -x616 x617 x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634
2458.19/2464.99	v -x635 -x636 -x637 -x638 -x639 x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 x651 -x652 -x653 -x654 -x655 -x656
2458.19/2464.99	v -x657 -x658 -x659 -x660 -x661 -x662 -x663 x664 -x665 -x666 -x667 x668 -x669 -x670 -x671 -x672 -x673 x674 -x675 -x676 -x677 -x678
2458.19/2464.99	v -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700
2458.19/2464.99	v -x701 -x702 -x703 -x704 -x705 x706 -x707 -x708 -x709 x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722
2458.19/2464.99	v x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744
2458.19/2464.99	v -x745 -x746 x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 x763 -x764 -x765 -x766
2458.19/2464.99	v -x767 -x768 x769 x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788
2458.19/2464.99	v -x789 -x790 -x791 -x792 -x793 -x794 x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810
2458.19/2464.99	v x811 -x812 -x813 -x814 -x815 -x816 x817 -x818 -x819 x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 x831 -x832
2458.19/2464.99	v -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854
2458.19/2464.99	v -x855 x856 -x857 -x858 -x859 -x860 x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876
2458.19/2464.99	v -x877 -x878 -x879 -x880 -x881 x882 x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 x892 -x893 -x894 -x895 -x896 -x897 -x898
2458.19/2464.99	v -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 x908 -x909 x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920
2458.19/2464.99	v -x921 -x922 -x923 -x924 -x925 x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942
2458.19/2464.99	v -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 x951 x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 x960 -x961 -x962 -x963 x964
2458.19/2464.99	v -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986
2458.19/2464.99	v -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 x1007
2458.19/2464.99	v -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026
2458.19/2464.99	v -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 x1033 -x1034 -x1035 -x1036 -x1037 -x1038 x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045
2458.19/2464.99	v -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064
2458.19/2464.99	v x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083
2458.19/2464.99	v -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 x1096 -x1097 -x1098 x1099 -x1100 -x1101 x1102
2458.19/2464.99	v x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121
2458.19/2464.99	v -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 x1137 -x1138 -x1139 -x1140
2458.19/2464.99	v -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 x1156 -x1157 -x1158 -x1159
2458.19/2464.99	v -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 x1177 -x1178
2458.19/2464.99	v -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 x1195 -x1196 -x1197
2458.19/2464.99	v -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216
2458.19/2464.99	v -x1217 -x1218 x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235
2458.19/2464.99	v -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 x1249 x1250 -x1251 -x1252 -x1253 -x1254
2458.19/2464.99	v -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273
2458.19/2464.99	v -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 x1287 -x1288 -x1289 -x1290 -x1291 -x1292
2458.19/2464.99	v -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311
2458.19/2464.99	v -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 x1329 -x1330
2458.19/2464.99	v -x1331 -x1332 -x1333 x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349
2458.19/2464.99	v -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 x1366 -x1367 -x1368
2458.19/2464.99	v -x1369 -x1370 -x1371 -x1372 x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387
2458.19/2464.99	v -x1388 x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 x1401 -x1402 -x1403 -x1404 -x1405 -x1406
2458.19/2464.99	v -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425
2458.19/2464.99	v -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 x1441 -x1442 -x1443 -x1444
2458.19/2464.99	v x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463
2458.19/2464.99	v x1464 -x1465 -x1466 -x1467 x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482
2458.19/2464.99	v -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 x1500 -x1501
2458.19/2464.99	v -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 x1520
2458.19/2464.99	v -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539
2458.19/2464.99	v -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 x1546 -x1547 -x1548 -x1549 x1550 -x1551 -x1552 -x1553 -x1554 -x1555 x1556 -x1557 -x1558
2458.19/2464.99	v -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577
2458.19/2464.99	v -x1578 -x1579 -x1580 -x1581 -x1582 x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 x1591 -x1592 -x1593 -x1594 -x1595 x1596
2458.19/2464.99	v -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 x1610 -x1611 -x1612 -x1613 -x1614 -x1615
2458.19/2464.99	v -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634
2458.19/2464.99	v -x1635 x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653
2458.19/2464.99	v -x1654 -x1655 -x1656 -x1657 x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 x1671 -x1672
2458.19/2464.99	v -x1673 -x1674 -x1675 x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691
2458.19/2464.99	v -x1692 x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710
2458.19/2464.99	v -x1711 -x1712 -x1713 -x1714 x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729
2458.19/2464.99	v -x1730 -x1731 x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748
2458.19/2464.99	v -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 x1766 -x1767
2458.19/2464.99	v -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786
2458.19/2464.99	v x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 x1805
2458.19/2464.99	v x1806 -x1807 -x1808 -x1809 -x1810 x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824
2458.19/2464.99	v -x1825 -x1826 -x1827 -x1828 x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843
2458.19/2464.99	v -x1844 -x1845 -x1846 -x1847 -x1848 x1849 -x1850 -x1851 -x1852 -x1853 x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 x1862
2458.19/2464.99	v -x1863 -x1864 -x1865 x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 x1879 -x1880 -x1881
2458.19/2464.99	v -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900
2458.19/2464.99	v -x1901 -x1902 -x1903 x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919
2458.19/2464.99	v -x1920 -x1921 -x1922 -x1923 x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938
2458.19/2464.99	v -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 x1945 x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957
2458.19/2464.99	v -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 x1974 -x1975 -x1976
2458.19/2464.99	v -x1977 -x1978 -x1979 -x1980 x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 x1990 -x1991 -x1992 -x1993 -x1994 -x1995
2458.19/2464.99	v -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 x2008 -x2009 -x2010 x2011 -x2012 -x2013 -x2014
2458.19/2464.99	v -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033
2458.19/2464.99	v -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 x2040 -x2041 x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052
2458.19/2464.99	v -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 x2067 -x2068 -x2069 -x2070 -x2071
2458.19/2464.99	v -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 x2084 -x2085 x2086 -x2087 -x2088 -x2089 -x2090
2458.19/2464.99	v -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109
2458.19/2464.99	v -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 x2124 -x2125 -x2126 -x2127 -x2128
2458.19/2464.99	v -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 x2135 -x2136 -x2137 -x2138 -x2139 x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147
2458.19/2464.99	v -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166
2458.19/2464.99	v -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 x2183 -x2184 -x2185
2458.19/2464.99	v -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 x2196 -x2197 -x2198 -x2199 -x2200 x2201 -x2202 -x2203 -x2204
2458.19/2464.99	v -x2205 -x2206 -x2207 x2208 -x2209 x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 x2223
2458.19/2464.99	v -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 x2231 -x2232 x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242
2458.19/2464.99	v x2243 -x2244 -x2245 x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 x2256 -x2257 -x2258 -x2259 x2260 -x2261
2458.19/2464.99	v -x2262 x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 x2280
2458.19/2464.99	v x2281 -x2282 -x2283 -x2284 -x2285 -x2286 x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 x2296 -x2297 -x2298 -x2299
2458.19/2464.99	v -x2300 x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 x2308 -x2309 -x2310 -x2311 -x2312 x2313 -x2314 -x2315 -x2316 -x2317 -x2318
2458.19/2464.99	v -x2319 x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 x2337
2458.19/2464.99	v -x2338 -x2339 -x2340 -x2341 -x2342 x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 x2353 -x2354 -x2355 -x2356
2458.19/2464.99	v -x2357 -x2358 -x2359 x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 x2369 -x2370 -x2371 x2372 -x2373 -x2374 -x2375
2458.19/2464.99	v -x2376 -x2377 -x2378 x2379 -x2380 -x2381 -x2382 -x2383 x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 x2391 -x2392 -x2393 -x2394
2458.19/2464.99	v x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 x2405 -x2406 -x2407 -x2408 x2409 -x2410 -x2411 -x2412 -x2413
2458.19/2464.99	v -x2414 -x2415 -x2416 -x2417 -x2418 x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432
2458.19/2464.99	v -x2433 -x2434 x2435 -x2436 -x2437 -x2438 x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 x2448 -x2449 -x2450 x2451
2458.19/2464.99	v -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 x2460 -x2461 x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470
2458.19/2464.99	v x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 x2478 -x2479 -x2480 -x2481 -x2482 x2483 -x2484 -x2485 -x2486 -x2487 -x2488 x2489
2458.19/2464.99	v -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 x2496 -x2497 -x2498 -x2499 x2500 -x2501 -x2502 -x2503 -x2504 -x2505 x2506 -x2507 -x2508
2458.19/2464.99	v x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 x2517 -x2518 -x2519 -x2520 -x2521 -x2522 x2523 -x2524 -x2525 -x2526 -x2527
2458.19/2464.99	v -x2528 -x2529 -x2530 -x2531 x2532 -x2533 -x2534 -x2535 -x2536 -x2537 x2538 -x2539 -x2540 -x2541 x2542 -x2543 -x2544 -x2545 -x2546
2458.19/2464.99	v -x2547 x2548 -x2549 -x2550 x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 x2562 -x2563 x2564 -x2565
2458.19/2464.99	v -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 x2572 -x2573 -x2574 -x2575 -x2576 x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584
2458.19/2464.99	v -x2585 -x2586 x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603
2458.19/2464.99	v x2604 -x2605 -x2606 -x2607 x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 x2622
2458.19/2464.99	v -x2623 -x2624 -x2625 -x2626 -x2627 x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641
2458.19/2464.99	v -x2642 -x2643 -x2644 -x2645 x2646 -x2647 -x2648 -x2649 -x2650 -x2651 x2652 -x2653 x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660
2458.19/2464.99	v -x2661 -x2662 x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 x2670 -x2671 -x2672 -x2673 -x2674 x2675 -x2676 -x2677 -x2678 x2679
2458.19/2464.99	v -x2680 -x2681 -x2682 -x2683 -x2684 x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 x2694 -x2695 -x2696 x2697 -x2698
2458.19/2464.99	v -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 x2705 -x2706 -x2707 -x2708 -x2709 -x2710 x2711 -x2712 -x2713 -x2714 x2715 -x2716 -x2717
2458.19/2464.99	v -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 x2735 -x2736
2458.19/2464.99	v -x2737 -x2738 x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 x2748 -x2749 x2750 -x2751 -x2752 -x2753 -x2754 -x2755
2458.19/2464.99	v -x2756 -x2757 x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 x2772 -x2773 -x2774
2458.19/2464.99	v -x2775 -x2776 x2777 -x2778 x2779 -x2780 -x2781 -x2782 -x2783 -x2784 x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793
2458.19/2464.99	v -x2794 x2795 -x2796 -x2797 -x2798 -x2799 -x2800 x2801 -x2802 x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812
2458.19/2464.99	v -x2813 x2814 -x2815 -x2816 -x2817 -x2818 x2819 -x2820 x2821 -x2822 -x2823 -x2824 -x2825 -x2826 x2827 -x2828 -x2829 -x2830 -x2831
2458.19/2464.99	v -x2832 -x2833 -x2834 -x2835 x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 x2843 -x2844 -x2845 -x2846 x2847 -x2848 -x2849 -x2850
2458.19/2464.99	v x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 x2860 -x2861 -x2862 -x2863 -x2864 -x2865 x2866 -x2867 -x2868 -x2869
2458.19/2464.99	v -x2870 -x2871 x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 x2879 -x2880 x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888
2458.19/2464.99	v -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 x2896 -x2897 -x2898 -x2899 x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 x2907
2458.19/2464.99	v -x2908 -x2909 -x2910 x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 x2922 -x2923 -x2924 -x2925 -x2926
2458.19/2464.99	v -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945
2458.19/2464.99	v x2946 -x2947 -x2948 -x2949 -x2950 -x2951 x2952 -x2953 -x2954 -x2955 -x2956 -x2957 x2958 x2959 -x2960 -x2961 -x2962 -x2963 -x2964
2458.19/2464.99	v -x2965 -x2966 -x2967 -x2968 -x2969 x2970 -x2971 -x2972 -x2973 -x2974 x2975 -x2976 -x2977 -x2978 x2979 -x2980 -x2981 -x2982 -x2983
2458.19/2464.99	v -x2984 -x2985 -x2986 -x2987 x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 x2997 -x2998 -x2999 -x3000 -x3001 -x3002
2458.19/2464.99	v x3003 -x3004 -x3005 -x3006 -x3007 x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 x3016 -x3017 -x3018 -x3019 -x3020 x3021
2458.19/2464.99	v -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 x3028 -x3029 -x3030 x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 x3040
2458.19/2464.99	v -x3041 -x3042 -x3043 x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059
2458.19/2464.99	v -x3060 -x3061 -x3062 x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 x3071 -x3072 -x3073 -x3074 -x3075 -x3076 x3077 -x3078
2458.19/2464.99	v -x3079 -x3080 -x3081 -x3082 x3083 -x3084 x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 x3093 -x3094 -x3095 -x3096 -x3097
2458.19/2464.99	v -x3098 -x3099 x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 x3108 -x3109 -x3110 -x3111 x3112 -x3113 -x3114 -x3115 -x3116
2458.19/2464.99	v -x3117 -x3118 -x3119 x3120 -x3121 -x3122 -x3123 x3124 -x3125 -x3126 -x3127 -x3128 x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135
2458.19/2464.99	v -x3136 x3137 -x3138 -x3139 -x3140 x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154
2458.19/2464.99	v -x3155 -x3156 -x3157 -x3158 x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 x3167 -x3168 -x3169 x3170 -x3171 -x3172 -x3173
2458.19/2464.99	v -x3174 -x3175 -x3176 -x3177 -x3178 x3179 -x3180 -x3181 x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 x3189 -x3190 -x3191 -x3192
2458.19/2464.99	v -x3193 -x3194 x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 x3210 -x3211
2458.19/2464.99	v -x3212 -x3213 -x3214 -x3215 x3216 -x3217 -x3218 x3219 -x3220 -x3221 -x3222 -x3223 x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230
2458.19/2464.99	v -x3231 x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 x3239 -x3240 -x3241 x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249
2458.19/2464.99	v -x3250 x3251 -x3252 x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 x3264 -x3265 -x3266 -x3267 -x3268
2458.19/2464.99	v -x3269 -x3270 -x3271 -x3272 -x3273 x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 x3285 -x3286 -x3287
2458.19/2464.99	v -x3288 x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 x3302 -x3303 -x3304 -x3305 -x3306
2458.19/2464.99	v -x3307 -x3308 -x3309 x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 x3318 -x3319 x3320 -x3321 -x3322 -x3323 -x3324 -x3325
2458.19/2464.99	v -x3326 -x3327 -x3328 -x3329 x3330 -x3331 -x3332 -x3333 -x3334 x3335 -x3336 -x3337 x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344
2458.19/2464.99	v -x3345 x3346 -x3347 -x3348 -x3349 -x3350 -x3351 x3352 -x3353 -x3354 -x3355 -x3356 -x3357 x3358 -x3359 -x3360 -x3361 x3362 -x3363
2458.19/2464.99	v -x3364 -x3365 -x3366 x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 x3374 -x3375 -x3376 -x3377 -x3378 x3379 -x3380 -x3381 -x3382
2458.19/2464.99	v -x3383 -x3384 -x3385 -x3386 -x3387 x3388 -x3389 -x3390 -x3391 -x3392 -x3393 x3394 -x3395 -x3396 -x3397 x3398 -x3399 -x3400 -x3401
2458.19/2464.99	v -x3402 -x3403 -x3404 -x3405 -x3406 x3407 -x3408 x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420
2458.19/2464.99	v -x3421 -x3422 -x3423 -x3424 -x3425 x3426 -x3427 -x3428 x3429 -x3430 -x3431 -x3432 -x3433 x3434 -x3435 -x3436 -x3437 -x3438 -x3439
2458.19/2464.99	v -x3440 -x3441 -x3442 x3443 -x3444 -x3445 -x3446 x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 x3454 -x3455 -x3456 -x3457 -x3458
2458.19/2464.99	v x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 x3468 -x3469 -x3470 x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477
2458.19/2464.99	v x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 x3486 -x3487 -x3488 x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496
2458.19/2464.99	v -x3497 x3498 -x3499 x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 x3514 -x3515
2458.19/2464.99	v -x3516 -x3517 -x3518 -x3519 x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 x3528 x3529 -x3530 -x3531 -x3532 -x3533 -x3534
2458.19/2464.99	v -x3535 -x3536 -x3537 x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 x3546 x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553
2458.19/2464.99	v -x3554 x3555 -x3556 -x3557 -x3558 -x3559 -x3560 x3561 -x3562 -x3563 -x3564 -x3565 -x3566 x3567 -x3568 -x3569 -x3570 -x3571 -x3572
2458.19/2464.99	v -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 x3582 x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591
2458.19/2464.99	v -x3592 x3593 -x3594 x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610
2458.19/2464.99	v x3611 -x3612 -x3613 -x3614 -x3615 -x3616 x3617 -x3618 -x3619 -x3620 x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 x3629
2458.19/2464.99	v -x3630 -x3631 -x3632 -x3633 -x3634 x3635 -x3636 -x3637 -x3638 -x3639 -x3640 x3641 -x3642 -x3643 -x3644 x3645 -x3646 -x3647 -x3648
2458.19/2464.99	v -x3649 -x3650 x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 x3664 -x3665 -x3666 -x3667
2458.19/2464.99	v -x3668 -x3669 -x3670 -x3671 x3672 -x3673 -x3674 -x3675 -x3676 -x3677 x3678 -x3679 -x3680 -x3681 -x3682 x3683 -x3684 x3685 -x3686
2458.19/2464.99	v -x3687 -x3688 -x3689 -x3690 x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705
2458.19/2464.99	v -x3706 -x3707 x3708 -x3709 -x3710 -x3711 -x3712 x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 x3720 -x3721 -x3722 -x3723 -x3724
2458.19/2464.99	v x3725 -x3726 -x3727 -x3728 -x3729 x3730 -x3731 -x3732 -x3733 -x3734 x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743
2458.19/2464.99	v -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 x3762
2458.19/2464.99	v -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 x3774 -x3775 -x3776 -x3777 -x3778 -x3779 x3780 -x3781
2458.19/2464.99	v -x3782 -x3783 -x3784 -x3785 -x3786 x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 x3794 -x3795 -x3796 -x3797 -x3798 x3799 -x3800
2458.19/2464.99	v -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 x3809 -x3810 -x3811 -x3812 x3813 -x3814 -x3815 -x3816 -x3817 -x3818 x3819
2458.19/2464.99	v -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 x3834 -x3835 -x3836 -x3837 -x3838
2458.19/2464.99	v x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 x3846 -x3847 x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 x3855 -x3856 -x3857
2458.19/2464.99	v -x3858 -x3859 -x3860 -x3861 x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 x3869 -x3870 x3871 -x3872 -x3873 -x3874 -x3875 -x3876
2458.19/2464.99	v -x3877 -x3878 -x3879 -x3880 -x3881 x3882 -x3883 -x3884 x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 x3892 -x3893 -x3894 -x3895
2458.19/2464.99	v -x3896 -x3897 -x3898 -x3899 x3900 -x3901 -x3902 -x3903 -x3904 -x3905 x3906 -x3907 -x3908 -x3909 -x3910 -x3911 x3912 -x3913 -x3914
2458.19/2464.99	v x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 x3927 -x3928 -x3929 -x3930 -x3931 x3932 -x3933
2458.19/2464.99	v -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 x3942 x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952
2458.19/2464.99	v -x3953 -x3954 -x3955 -x3956 x3957 -x3958 -x3959 -x3960 -x3961 x3962 -x3963 -x3964 -x3965 -x3966 x3967 -x3968 -x3969 -x3970 -x3971
2458.19/2464.99	v -x3972 -x3973 -x3974 -x3975 -x3976 x3977 -x3978 x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 x3987 -x3988 -x3989 -x3990
2458.19/2464.99	v -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 x4001 -x4002 -x4003 -x4004 x4005 -x4006 -x4007 -x4008 -x4009
2458.19/2464.99	v -x4010 x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 x4019 -x4020 -x4021 -x4022 -x4023 -x4024 x4025 -x4026 -x4027 -x4028
2458.19/2464.99	v -x4029 -x4030 x4031 -x4032 -x4033 -x4034 x4035 -x4036 -x4037 -x4038 -x4039 -x4040 x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047
2458.19/2464.99	v -x4048 -x4049 x4050 x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 x4062 -x4063 -x4064 -x4065 -x4066
2458.19/2464.99	v -x4067 x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 x4080 -x4081 -x4082 -x4083 -x4084 -x4085
2458.19/2464.99	v x4086 x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 x4097 -x4098 x4099 -x4100 -x4101 -x4102 -x4103 -x4104
2458.19/2464.99	v -x4105 x4106 -x4107 -x4108 -x4109 -x4110 x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123
2458.19/2464.99	v -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 x4140 -x4141 -x4142
2458.19/2464.99	v -x4143 -x4144 -x4145 x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161
2458.19/2464.99	v -x4162 -x4163 x4164 -x4165 x4166 -x4167 -x4168 -x4169 -x4170 -x4171 x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180
2458.19/2464.99	v -x4181 x4182 -x4183 -x4184 -x4185 x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 x4193 -x4194 -x4195 -x4196 -x4197 -x4198 x4199
2458.19/2464.99	v -x4200 x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 x4209 -x4210 -x4211 -x4212 x4213 -x4214 -x4215 -x4216 -x4217 -x4218
2458.19/2464.99	v -x4219 -x4220 -x4221 -x4222 x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 x4230 -x4231 -x4232 -x4233 -x4234 x4235 -x4236 -x4237
2458.19/2465.00	v -x4238 -x4239 -x4240 x4241 -x4242 x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256
2458.19/2465.00	v -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 x4273 -x4274 -x4275
2458.19/2465.00	v -x4276 -x4277 -x4278 x4279 -x4280 -x4281 -x4282 -x4283 -x4284 x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 x4294
2458.19/2465.00	v -x4295 -x4296 -x4297 -x4298 -x4299 x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 x4308 x4309 -x4310 -x4311 -x4312 -x4313
2458.19/2465.00	v -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 x4321 -x4322 -x4323 -x4324 -x4325 -x4326 x4327 -x4328 -x4329 -x4330 -x4331 -x4332
2458.19/2465.00	v -x4333 -x4334 -x4335 x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 x4344 x4345 -x4346 -x4347 -x4348 -x4349 -x4350 x4351
2458.19/2465.00	v -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 x4369 -x4370
2458.19/2465.00	v -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 x4380 x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 x4389
2458.19/2465.00	v -x4390 -x4391 -x4392 -x4393 -x4394 x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 x4403 -x4404 -x4405 -x4406 -x4407 -x4408
2458.19/2465.00	v -x4409 x4410 -x4411 x4412 -x4413 -x4414 -x4415 -x4416 x4417 -x4418 -x4419 -x4420 -x4421 -x4422 x4423 -x4424 -x4425 -x4426 -x4427
2458.19/2465.00	v -x4428 -x4429 -x4430 -x4431 -x4432 x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 x4440 -x4441 -x4442 -x4443 -x4444 x4445 -x4446
2458.19/2465.00	v x4447 -x4448 -x4449 -x4450 -x4451 -x4452 x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 x4460 -x4461 -x4462 -x4463 -x4464 -x4465
2458.19/2465.00	v -x4466 -x4467 -x4468 x4469 -x4470 x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 x4480 -x4481 -x4482 -x4483 -x4484
2458.19/2465.00	v x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 x4493 -x4494 -x4495 -x4496 -x4497 -x4498 x4499 -x4500 -x4501 -x4502 -x4503
2458.19/2465.00	v -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 x4511 -x4512 -x4513 x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 x4521 -x4522
2458.19/2465.00	v -x4523 -x4524 -x4525 -x4526 x4527 -x4528 -x4529 -x4530 -x4531 -x4532 x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541
2458.19/2465.00	v x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 x4550 -x4551 -x4552 -x4553 -x4554 x4555 -x4556 -x4557 -x4558 -x4559 -x4560
2458.19/2465.00	v -x4561 x4562 -x4563 -x4564 -x4565 -x4566 x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 x4575 -x4576 -x4577 -x4578 -x4579
2458.19/2465.00	v -x4580 x4581 -x4582 -x4583 -x4584 -x4585 -x4586 x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 x4596 -x4597 -x4598
2458.19/2465.00	v -x4599 x4600 -x4601 -x4602 -x4603 -x4604 -x4605 x4606 -x4607 -x4608
2458.19/2465.00	c SCIP Status        : problem is solved [optimal solution found]
2458.19/2465.00	c Total Time         :    2464.99
2458.19/2465.00	c   solving          :    2464.99
2458.19/2465.00	c   presolving       :       0.77 (included in solving)
2458.19/2465.00	c   reading          :       0.05 (included in solving)
2458.19/2465.00	c   copying          :       0.14 (4 #copies) (minimal 0.03, maximal 0.04, average 0.03)
2458.19/2465.00	c Original Problem   :
2458.19/2465.00	c   Problem name     : HOME/instance-4492087-1751145886.opb
2458.19/2465.00	c   Variables        : 4608 (4608 binary, 0 integer, 0 continuous)
2458.19/2465.00	c   implied integral : 0 (0 binary, 0 integer, 0 continuous)
2458.19/2465.00	c   Constraints      : 30348 initial, 30348 maximal
2458.19/2465.00	c   Objective        : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
2458.19/2465.00	c Presolved Problem  :
2458.19/2465.00	c   Problem name     : t_HOME/instance-4492087-1751145886.opb
2458.19/2465.00	c   Variables        : 4608 (4608 binary, 0 integer, 0 continuous)
2458.19/2465.00	c   implied integral : 0 (0 binary, 0 integer, 0 continuous)
2458.19/2465.00	c   Constraints      : 30348 initial, 31730 maximal
2458.19/2465.00	c   Objective        : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
2458.19/2465.00	c   Nonzeros         : 96936 constraint, 13158 clique table
2458.19/2465.00	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
2458.19/2465.00	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
2458.19/2465.00	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
2458.19/2465.00	c   domcol           :       0.01       0.00      1          0          0          0          0          0          0          0          0          0
2458.19/2465.00	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
2458.19/2465.00	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
2458.19/2465.00	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
2458.19/2465.00	c   dualsparsify     :       0.02       0.00      1          0          0          0          0          0          0          0          0          0
2458.19/2465.00	c   gateextraction   :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
2458.19/2465.00	c   implics          :       0.00       0.00      2          0          0          0          0          0          0          0          0          0
2458.19/2465.00	c   implint          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
2458.19/2465.00	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
2458.19/2465.00	c   milp             :       0.06       0.00      1          0          0          0          0          0          0          0          0          0
2458.19/2465.00	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
2458.19/2465.00	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
2458.19/2465.00	c   sparsify         :       0.02       0.00      1          0          0          0          0          0          0          0          0          0
2458.19/2465.00	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
2458.19/2465.00	c   trivial          :       0.00       0.00      2          0          0          0          0          0          0          0          0          0
2458.19/2465.00	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
2458.19/2465.00	c   dualfix          :       0.00       0.00      2          0          0          0          0          0          0          0          0          0
2458.19/2465.00	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
2458.19/2465.00	c   probing          :       0.02       0.00      1          0          0          0          0          0          0          0          0          0
2458.19/2465.00	c   pseudoobj        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
2458.19/2465.00	c   symmetry         :       0.49       0.00      1          0          0          0          0          0          0          0          0          0
2458.19/2465.00	c   vbounds          :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
2458.19/2465.00	c   knapsack         :       0.00       0.00      3          0          0          0          0          0          0          0         18        510
2458.19/2465.00	c   setppc           :       0.00       0.00      3          0          0          0          0          0          0          0          0          0
2458.19/2465.00	c   linear           :       0.08       0.01      2          0          0          0          0          0          0          0          0          0
2458.19/2465.00	c   logicor          :       0.03       0.00      3          0          0          0          0          0          0          0          0          0
2458.19/2465.00	c   components       :       0.01       0.00      1          0          0          0          0          0          0          0          0          0
2458.19/2465.00	c   root node        :          -          -      -          0          -          -          0          -          -          -          -          -
2458.19/2465.00	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
2458.19/2465.00	c   integral         :          0          0          0          0        523          0          0         74          0          0          0          0          0          0       1046
2458.19/2465.00	c   knapsack         :         78+        82         11      40292          0          0          0         68      14955         77       3148        782        280          0          0
2458.19/2465.00	c   setppc           :        942        942         11      40215          0          0          0          3      10392         29       4915          0          0          0          0
2458.19/2465.00	c   linear           :          0+        33          0      30611          0          0          0          3        102         39         13          0          0          0          0
2458.19/2465.00	c   logicor          :      29328+     30675         11      20079          0          0          0          1       3355         52        404          0          0          0          0
2458.19/2465.00	c   fixedvar         :          0          0          0          0          0          0          0          3          0          0          0          0          0          0          0
2458.19/2465.00	c   countsols        :          0          0          0          0          0          0          0          3          0          0          0          0          0          0          0
2458.19/2465.00	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
2458.19/2465.00	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
2458.19/2465.00	c   integral         :       6.50       0.00       0.00       0.00       6.50       0.00       0.00       0.00       0.00       0.00
2458.19/2465.00	c   knapsack         :       0.10       0.00       0.01       0.08       0.00       0.00       0.00       0.00       0.00       0.00
2458.19/2465.00	c   setppc           :       0.17       0.00       0.00       0.17       0.00       0.00       0.00       0.00       0.00       0.00
2458.19/2465.00	c   linear           :       0.03       0.01       0.00       0.02       0.00       0.00       0.00       0.00       0.00       0.00
2458.19/2465.00	c   logicor          :       0.52       0.00       0.08       0.43       0.00       0.00       0.00       0.00       0.00       0.01
2458.19/2465.00	c   fixedvar         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
2458.19/2465.00	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
2458.19/2465.00	c   components       :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
2458.19/2465.00	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
2458.19/2465.00	c   dualfix          :          1          0          0          0
2458.19/2465.00	c   genvbounds       :          0          0          0          0
2458.19/2465.00	c   nlobbt           :          0          0          0          0
2458.19/2465.00	c   obbt             :          0          0          0          0
2458.19/2465.00	c   probing          :          0          0          0          0
2458.19/2465.00	c   pseudoobj        :          0          0          0          0
2458.19/2465.00	c   redcost          :          0          0          0          0
2458.19/2465.00	c   rootredcost      :          0          0          0          0
2458.19/2465.00	c   symmetry         :      31199          0          0        288
2458.19/2465.00	c   vbounds          :      15937          0          0          0
2458.19/2465.00	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
2458.19/2465.00	c   dualfix          :       0.00       0.00       0.00       0.00       0.00       0.00
2458.19/2465.00	c   genvbounds       :       0.00       0.00       0.00       0.00       0.00       0.00
2458.19/2465.00	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
2458.19/2465.00	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
2458.19/2465.00	c   probing          :       0.02       0.00       0.02       0.00       0.00       0.00
2458.19/2465.00	c   pseudoobj        :       0.00       0.00       0.00       0.00       0.00       0.00
2458.19/2465.00	c   redcost          :       0.00       0.00       0.00       0.00       0.00       0.00
2458.19/2465.00	c   rootredcost      :       0.00       0.00       0.00       0.00       0.00       0.00
2458.19/2465.00	c   symmetry         :       1.72       0.00       0.49       1.24       0.00       0.00
2458.19/2465.00	c   vbounds          :       0.01       0.00       0.00       0.01       0.00       0.00
2458.19/2465.00	c Symmetry           :
2458.19/2465.00	c   #affected vars   :       4608 (4608 bin, 0 int, 0 cont)
2458.19/2465.00	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
2458.19/2465.00	c   orbital reduction:        284 reductions applied,          0 cutoffs
2458.19/2465.00	c   lexicographic red:          6 reductions applied,          0 cutoffs
2458.19/2465.00	c   shadow tree time :       0.00 s
2458.19/2465.00	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
2458.19/2465.00	c   propagation      :       0.03        174        174          -       3066      102.4         19       72.4          -          -          -
2458.19/2465.00	c   infeasible LP    :       0.08         63         63          -       1375      143.1          4       59.2         62      176.3          0
2458.19/2465.00	c   bound exceed. LP :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
2458.19/2465.00	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
2458.19/2465.00	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
2458.19/2465.00	c   applied globally :       0.03          -          -          0       1995       58.7          -          -         62          -          -
2458.19/2465.00	c   applied locally  :          -          -          -          0          0        0.0          -          -          0          -          -
2458.19/2465.00	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
2458.19/2465.00	c   cut pool         :       0.05          -        192         21          -          -       1426       6593          -          -          -          -          -    (maximal pool size:       1213)
2458.19/2465.00	c   aggregation      :       0.15       0.00         51         11          0          0        129        797          0        416        416          0          0
2458.19/2465.00	c   > cmir           :          -          -          -          -          -          -          -        721          0        366        366          0          -
2458.19/2465.00	c   > flowcover      :          -          -          -          -          -          -          -         17          0         11         11          0          -
2458.19/2465.00	c   > knapsackcover  :          -          -          -          -          -          -          -         59          0         39         39          0          -
2458.19/2465.00	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
2458.19/2465.00	c   clique           :       0.05       0.00         11         11          0          0         65        268          0        212        212          0          0
2458.19/2465.00	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
2458.19/2465.00	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
2458.19/2465.00	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
2458.19/2465.00	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
2458.19/2465.00	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
2458.19/2465.00	c   gomory           :      69.69       0.00         50         10          0          0        956       4134          2        644        644          0          0
2458.19/2465.00	c   > gomorymi       :          -          -          -          -          -          -          -        997          1         88         88          0          -
2458.19/2465.00	c   > strongcg       :          -          -          -          -          -          -          -       3137          1        556        556          0          -
2458.19/2465.00	c   impliedbounds    :       0.01       0.00         51         11          0          0         65        292          0        252        252          0          0
2458.19/2465.00	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
2458.19/2465.00	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
2458.19/2465.00	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
2458.19/2465.00	c   mcf              :       0.01       0.00          1          1          0          0          0          0          0          0          0          0          0
2458.19/2465.00	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
2458.19/2465.00	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
2458.19/2465.00	c   multilinear      :       0.00       0.00         22         11          0          0          0          0          0          0          0          0          0
2458.19/2465.00	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
2458.19/2465.00	c   rapidlearning    :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
2458.19/2465.00	c   rlt              :       0.00       0.00         10         10          0          0          0          0          0          0          0          0          0
2458.19/2465.00	c   zerohalf         :       0.62       0.00         51         11          0          0        269       1102         56        601        569         32          0
2458.19/2465.00	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
2458.19/2465.00	c   hybrid           :       0.01       0.00        118         11       2405          0       5028        505          0        836
2458.19/2465.00	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
2458.19/2465.00	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
2458.19/2465.00	c Pricers            :   ExecTime  SetupTime      Calls       Vars
2458.19/2465.00	c   problem variables:       0.00          -          0          0
2458.19/2465.00	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
2458.19/2465.00	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
2458.19/2465.00	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
2458.19/2465.00	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
2458.19/2465.00	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
2458.19/2465.00	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
2458.19/2465.00	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
2458.19/2465.00	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
2458.19/2465.00	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
2458.19/2465.00	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
2458.19/2465.00	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
2458.19/2465.00	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
2458.19/2465.00	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
2458.19/2465.00	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
2458.19/2465.00	c   relpscost        :       6.50       0.00        523          0          0          0          0          0          0       1046
2458.19/2465.00	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
2458.19/2465.00	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
2458.19/2465.00	c   LP solutions     :       0.00          -          -          0          0
2458.19/2465.00	c   relax solutions  :       0.00          -          -          0          0
2458.19/2465.00	c   pseudo solutions :       0.00          -          -          0          0
2458.19/2465.00	c   strong branching :       0.00          -          -          0          0
2458.19/2465.00	c   actconsdiving    :       0.00       0.00          0          0          0
2458.19/2465.00	c   adaptivediving   :      36.00       0.00          4          0          0
2458.19/2465.00	c   alns             :       6.07       0.00          3          0          0
2458.19/2465.00	c   bound            :       0.00       0.00          0          0          0
2458.19/2465.00	c   clique           :       0.08       0.00          1          0          0
2458.19/2465.00	c   coefdiving       :       0.00       0.00          0          0          0
2458.19/2465.00	c   completesol      :       0.00       0.00          0          0          0
2458.19/2465.00	c   conflictdiving   :     106.05       0.00         27          0          0
2458.19/2465.00	c   crossover        :       0.00       0.00          0          0          0
2458.19/2465.00	c   dins             :       0.00       0.00          0          0          0
2458.19/2465.00	c   distributiondivin:     103.75       0.00         11          0          0
2458.19/2465.00	c   dks              :       0.00       0.00          0          0          0
2458.19/2465.00	c   dps              :       0.00       0.00          0          0          0
2458.19/2465.00	c   dualval          :       0.00       0.00          0          0          0
2458.19/2465.00	c   farkasdiving     :       0.00       0.00          0          0          0
2458.19/2465.00	c   feaspump         :      37.03       0.00          5          0          0
2458.19/2465.00	c   fixandinfer      :       0.00       0.00          0          0          0
2458.19/2465.00	c   fracdiving       :      35.16       0.00         12          1          1
2458.19/2465.00	c   gins             :       0.00       0.00          0          0          0
2458.19/2465.00	c   guideddiving     :       0.00       0.00          0          0          0
2458.19/2465.00	c   indicator        :       0.00       0.00          0          0          0
2458.19/2465.00	c   indicatordiving  :       0.00       0.00          0          0          0
2458.19/2465.00	c   intdiving        :       0.00       0.00          0          0          0
2458.19/2465.00	c   intshifting      :       0.00       0.00          0          0          0
2458.19/2465.00	c   linesearchdiving :      27.75       0.00         11          0          0
2458.19/2465.00	c   localbranching   :       0.00       0.00          0          0          0
2458.19/2465.00	c   locks            :       0.01       0.00          1          0          0
2458.19/2465.00	c   lpface           :       0.00       0.00          0          0          0
2458.19/2465.00	c   mpec             :       0.00       0.00          0          0          0
2458.19/2465.00	c   multistart       :       0.00       0.00          0          0          0
2458.19/2465.00	c   mutation         :       0.00       0.00          0          0          0
2458.19/2465.00	c   nlpdiving        :       0.00       0.00          0          0          0
2458.19/2465.00	c   objpscostdiving  :      51.53       0.00          1          0          0
2458.19/2465.00	c   octane           :       0.00       0.00          0          0          0
2458.19/2465.00	c   ofins            :       0.00       0.00          0          0          0
2458.19/2465.00	c   oneopt           :       0.00       0.00          0          0          0
2458.19/2465.00	c   padm             :       0.00       0.00          0          0          0
2458.19/2465.00	c   proximity        :       0.00       0.00          0          0          0
2458.19/2465.00	c   pscostdiving     :      65.55       0.00         12          0          0
2458.19/2465.00	c   randrounding     :       0.14       0.00         74          0          0
2458.19/2465.00	c   rens             :       0.11       0.00          1          0          0
2458.19/2465.00	c   reoptsols        :       0.00       0.00          0          0          0
2458.19/2465.00	c   repair           :       0.00       0.00          0          0          0
2458.19/2465.00	c   rins             :       0.00       0.00          0          0          0
2458.19/2465.00	c   rootsoldiving    :      28.90       0.00          4          0          0
2458.19/2465.00	c   rounding         :       0.21       0.00        317          0          0
2458.19/2465.00	c   scheduler        :       0.00       0.00          0          0          0
2458.19/2465.00	c   shiftandpropagate:       0.02       0.00          1          0          0
2458.19/2465.00	c   shifting         :       0.81       0.00        137          0          0
2458.19/2465.00	c   simplerounding   :       0.00       0.00          0          0          0
2458.19/2465.00	c   subnlp           :       0.00       0.00          0          0          0
2458.19/2465.00	c   trivial          :       0.00       0.00          2          0          0
2458.19/2465.00	c   trivialnegation  :       0.00       0.00          0          0          0
2458.19/2465.00	c   trustregion      :       0.00       0.00          0          0          0
2458.19/2465.00	c   trysol           :       0.00       0.00          0          0          0
2458.19/2465.00	c   twoopt           :       0.00       0.00          0          0          0
2458.19/2465.00	c   undercover       :       0.00       0.00          0          0          0
2458.19/2465.00	c   vbounds          :       0.04       0.00          1          0          0
2458.19/2465.00	c   veclendiving     :      29.61       0.00         11          0          0
2458.19/2465.00	c   zeroobj          :       0.00       0.00          0          0          0
2458.19/2465.00	c   zirounding       :       0.10       0.00        522          0          0
2458.19/2465.00	c   other solutions  :          -          -          -          0          -
2458.19/2465.00	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
2458.19/2465.00	c   rens             :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
2458.19/2465.00	c   rins             :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
2458.19/2465.00	c   mutation         :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
2458.19/2465.00	c   localbranching   :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
2458.19/2465.00	c   crossover        :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
2458.19/2465.00	c   proximity        :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
2458.19/2465.00	c   dins             :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
2458.19/2465.00	c   zeroobjective    :          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
2458.19/2465.00	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
2458.19/2465.00	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
2458.19/2465.00	c   primal LP        :       2.16         48          0       0.00       0.00       2.16         48
2458.19/2465.00	c   dual LP          :    1853.14        642    2810026    4376.99    1516.36       0.00          0
2458.19/2465.00	c   lex dual LP      :       0.00          0          0       0.00          -
2458.19/2465.00	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
2458.19/2465.00	c   resolve instable :       0.00          0          0       0.00          -
2458.19/2465.00	c   diving/probing LP:     515.50       1714    1392771     812.59    2701.80
2458.19/2465.00	c   strong branching :       6.08         20      13133     656.65    2160.02          -          -         17
2458.19/2465.00	c     (at root node) :          -         20      13133     656.65          -
2458.19/2465.00	c   conflict analysis:       0.00          0          0       0.00          -
2458.19/2465.00	c Relaxators         :       Time      Calls    Cutoffs ImprBounds   ImprTime ReducedDom  Separated AddedConss
2458.19/2465.00	c   benders          :       0.00          0          0          0       0.00          0          0          0
2458.19/2465.00	c B&B Tree           :
2458.19/2465.00	c   number of runs   :          1
2458.19/2465.00	c   nodes            :        524 (523 internal, 1 leaves)
2458.19/2465.00	c   feasible leaves  :          0
2458.19/2465.00	c   infeas. leaves   :          1
2458.19/2465.00	c   objective leaves :          0
2458.19/2465.00	c   nodes (total)    :        524 (523 internal, 1 leaves)
2458.19/2465.00	c   nodes left       :          0
2458.19/2465.00	c   max depth        :        115
2458.19/2465.00	c   max depth (total):        115
2458.19/2465.00	c   backtracks       :         98 (18.7%)
2458.19/2465.00	c   early backtracks :          0 (0.0%)
2458.19/2465.00	c   nodes exc. ref.  :          0 (0.0%)
2458.19/2465.00	c   delayed cutoffs  :          1
2458.19/2465.00	c   repropagations   :         62 (29 domain reductions, 1 cutoffs)
2458.19/2465.00	c   avg switch length:       2.55
2458.19/2465.00	c   switching time   :       2.33
2458.19/2465.00	c Root Node          :
2458.19/2465.00	c   First LP value   : +0.00000000000000e+00
2458.19/2465.00	c   First LP Iters   :      15950 (1450.13 Iter/sec)
2458.19/2465.00	c   First LP Time    :      11.00
2458.19/2465.00	c   Final Dual Bound : +0.00000000000000e+00
2458.19/2465.00	c   Final Root Iters :     181886
2458.19/2465.00	c   Root LP Estimate : +3.82684918516732e-02
2458.19/2465.00	c Solution           :
2458.19/2465.00	c   Solutions found  :          1 (1 improvements)
2458.19/2465.00	c   First Solution   : +0.00000000000000e+00   (in run 1, after 524 nodes, 2464.97 seconds, depth 277, found by <fracdiving>)
2458.19/2465.00	c   Gap First Sol.   :       0.00 %
2458.19/2465.00	c   Gap Last Sol.    :       0.00 %
2458.19/2465.00	c   Primal Bound     : +0.00000000000000e+00   (in run 1, after 524 nodes, 2464.97 seconds, depth 277, found by <fracdiving>)
2458.19/2465.00	c   Dual Bound       : +0.00000000000000e+00
2458.19/2465.00	c   Gap              :       0.00 %
2458.19/2465.00	c Integrals          :      Total       Avg%
2458.19/2465.00	c   primal-dual      :  246497.73     100.00
2458.19/2465.00	c   primal-ref       :          -          - (not evaluated)
2458.19/2465.00	c   dual-ref         :          -          - (not evaluated)
2458.30/2465.07	c Time complete (sec):   2458.373

Verifier Data 

OK	0

Watcher Data 

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: 63708 MiB (63183 MiB free)
  memory of node 1: 64465 MiB (63931 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4492087-1751145886/watcher-4492087-1751145886 -o /tmp/evaluation-result-4492087-1751145886/solver-4492087-1751145886 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751145886-16100 --watchdog 3760 pbsolver -f HOME/instance-4492087-1751145886.opb -t 3600 -m 31000 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=16152, runsolver pid=16148

[startup+0.100066 s]*
/proc/loadavg: 0.81 1.48 2.25 5/266 16157
/proc/meminfo: memFree=129985844/131249996 swapFree=33010684/33010684
[pid=16152] ppid=16148 vsize=74580 memory=63812 CPUtime=0.1 cores=5,7
/proc/16152/stat : 16152 (pbsolver) R 16148 16152 16087 0 -1 4194304 13898 0 0 0 8 2 0 0 20 0 1 0 30267287 76369920 15953 18446744073709551615 4198400 14743177 140726953754752 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 42090496 140726953761162 140726953761258 140726953761258 140726953766860 0
/proc/16152/statm: 18645 15953 2432 2575 0 15552 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 74580 KiB
Current children cumulated memory: 63812 KiB

[startup+0.205895 s]*
/proc/loadavg: 0.81 1.48 2.25 6/266 16157
/proc/meminfo: memFree=129877420/131249996 swapFree=33010684/33010684
[pid=16152] ppid=16148 vsize=90256 memory=80004 CPUtime=0.2 cores=5,7
/proc/16152/stat : 16152 (pbsolver) R 16148 16152 16087 0 -1 4194304 21489 0 0 0 17 3 0 0 20 0 1 0 30267287 92422144 20001 18446744073709551615 4198400 14743177 140726953754752 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 42090496 140726953761162 140726953761258 140726953761258 140726953766860 0
/proc/16152/statm: 22564 20001 2496 2575 0 19471 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 90256 KiB
Current children cumulated memory: 80004 KiB

[startup+0.305913 s]*
/proc/loadavg: 0.81 1.48 2.25 5/266 16157
/proc/meminfo: memFree=129893256/131249996 swapFree=33010684/33010684
[pid=16152] ppid=16148 vsize=93800 memory=83804 CPUtime=0.3 cores=5,7
/proc/16152/stat : 16152 (pbsolver) R 16148 16152 16087 0 -1 4194304 23658 0 0 0 26 4 0 0 20 0 1 0 30267287 96051200 20951 18446744073709551615 4198400 14743177 140726953754752 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 42090496 140726953761162 140726953761258 140726953761258 140726953766860 0
/proc/16152/statm: 23450 20951 2560 2575 0 20357 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 93800 KiB
Current children cumulated memory: 83804 KiB

[startup+0.700169 s]
/proc/loadavg: 0.81 1.48 2.25 5/266 16157
/proc/meminfo: memFree=129756800/131249996 swapFree=33010684/33010684
[pid=16152] ppid=16148 vsize=139092 memory=119452 CPUtime=0.69 cores=5,7
/proc/16152/stat : 16152 (pbsolver) R 16148 16152 16087 0 -1 4194304 32250 0 0 0 63 6 0 0 20 0 1 0 30267287 142430208 29863 18446744073709551615 4198400 14743177 140726953754752 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 42090496 140726953761162 140726953761258 140726953761258 140726953766860 0
/proc/16152/statm: 34773 29863 2592 2575 0 31680 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 139092 KiB
Current children cumulated memory: 119452 KiB

[startup+1.50014 s]
/proc/loadavg: 0.81 1.48 2.25 5/266 16157
/proc/meminfo: memFree=129604848/131249996 swapFree=33010684/33010684
[pid=16152] ppid=16148 vsize=181328 memory=162824 CPUtime=1.48 cores=5,7
/proc/16152/stat : 16152 (pbsolver) R 16148 16152 16087 0 -1 4194304 43290 0 0 0 141 7 0 0 20 0 1 0 30267287 185679872 40706 18446744073709551615 4198400 14743177 140726953754752 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 42090496 140726953761162 140726953761258 140726953761258 140726953766860 0
/proc/16152/statm: 45332 40706 2656 2575 0 42239 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 181328 KiB
Current children cumulated memory: 162824 KiB

[startup+3.10555 s]
/proc/loadavg: 1.15 1.54 2.26 5/266 16157
/proc/meminfo: memFree=129597632/131249996 swapFree=33010684/33010684
[pid=16152] ppid=16148 vsize=183596 memory=165128 CPUtime=3.08 cores=5,7
/proc/16152/stat : 16152 (pbsolver) R 16148 16152 16087 0 -1 4194304 43868 0 0 0 301 7 0 0 20 0 1 0 30267287 188002304 41282 18446744073709551615 4198400 14743177 140726953754752 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 42090496 140726953761162 140726953761258 140726953761258 140726953766860 0
/proc/16152/statm: 45899 41282 2656 2575 0 42806 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 183596 KiB
Current children cumulated memory: 165128 KiB

[startup+6.30014 s]
/proc/loadavg: 1.15 1.54 2.26 5/267 16158
/proc/meminfo: memFree=129598060/131249996 swapFree=33010684/33010684
[pid=16152] ppid=16148 vsize=183596 memory=165128 CPUtime=6.27 cores=5,7
/proc/16152/stat : 16152 (pbsolver) R 16148 16152 16087 0 -1 4194304 43879 0 0 0 619 8 0 0 20 0 1 0 30267287 188002304 41282 18446744073709551615 4198400 14743177 140726953754752 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 42090496 140726953761162 140726953761258 140726953761258 140726953766860 0
/proc/16152/statm: 45899 41282 2656 2575 0 42806 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 183596 KiB
Current children cumulated memory: 165128 KiB

[startup+12.7001 s]
/proc/loadavg: 1.37 1.58 2.27 5/267 16159
/proc/meminfo: memFree=129582508/131249996 swapFree=33010684/33010684
[pid=16152] ppid=16148 vsize=183980 memory=165256 CPUtime=12.66 cores=5,7
/proc/16152/stat : 16152 (pbsolver) R 16148 16152 16087 0 -1 4194304 43886 0 0 0 1258 8 0 0 20 0 1 0 30267287 188395520 41314 18446744073709551615 4198400 14743177 140726953754752 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 42090496 140726953761162 140726953761258 140726953761258 140726953766860 0
/proc/16152/statm: 45995 41314 2656 2575 0 42902 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 183980 KiB
Current children cumulated memory: 165256 KiB

[startup+25.5002 s]
/proc/loadavg: 1.96 1.70 2.30 5/267 16159
/proc/meminfo: memFree=129522220/131249996 swapFree=33010684/33010684
[pid=16152] ppid=16148 vsize=197376 memory=175368 CPUtime=25.42 cores=5,7
/proc/16152/stat : 16152 (pbsolver) R 16148 16152 16087 0 -1 4194304 46410 0 0 0 2534 8 0 0 20 0 1 0 30267287 202113024 43842 18446744073709551615 4198400 14743177 140726953754752 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 42090496 140726953761162 140726953761258 140726953761258 140726953766860 0
/proc/16152/statm: 49344 43842 2688 2575 0 46251 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 197376 KiB
Current children cumulated memory: 175368 KiB

[startup+51.1054 s]
/proc/loadavg: 2.74 1.90 2.35 5/267 16159
/proc/meminfo: memFree=129492284/131249996 swapFree=33010684/33010684
[pid=16152] ppid=16148 vsize=212660 memory=182024 CPUtime=50.96 cores=5,7
/proc/16152/stat : 16152 (pbsolver) R 16148 16152 16087 0 -1 4194304 48062 0 0 0 5087 9 0 0 20 0 1 0 30267287 217763840 45506 18446744073709551615 4198400 14743177 140726953754752 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 42090496 140726953761162 140726953761258 140726953761258 140726953766860 0
/proc/16152/statm: 53165 45506 2688 2575 0 50072 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 212660 KiB
Current children cumulated memory: 182024 KiB

[startup+102.3 s]
/proc/loadavg: 3.53 2.24 2.45 5/268 16166
/proc/meminfo: memFree=129473984/131249996 swapFree=33010684/33010684
[pid=16152] ppid=16148 vsize=230580 memory=188424 CPUtime=102 cores=5,7
/proc/16152/stat : 16152 (pbsolver) R 16148 16152 16087 0 -1 4194304 49649 0 0 0 10191 9 0 0 20 0 1 0 30267287 236113920 47106 18446744073709551615 4198400 14743177 140726953754752 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 42090496 140726953761162 140726953761258 140726953761258 140726953766860 0
/proc/16152/statm: 57645 47106 2688 2575 0 54552 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 230580 KiB
Current children cumulated memory: 188424 KiB

[startup+162.3 s]
/proc/loadavg: 3.88 2.58 2.55 5/268 16171
/proc/meminfo: memFree=129284752/131249996 swapFree=33010684/33010684
[pid=16152] ppid=16148 vsize=286204 memory=233480 CPUtime=161.84 cores=5,7
/proc/16152/stat : 16152 (pbsolver) R 16148 16152 16087 0 -1 4194304 60913 0 0 0 16173 11 0 0 20 0 1 0 30267287 293072896 58370 18446744073709551615 4198400 14743177 140726953754752 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 42090496 140726953761162 140726953761258 140726953761258 140726953766860 0
/proc/16152/statm: 71551 58370 2688 2575 0 68458 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 286204 KiB
Current children cumulated memory: 233480 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 2.87 2.66 5/266 16173
/proc/meminfo: memFree=129272012/131249996 swapFree=33010684/33010684
[pid=16152] ppid=16148 vsize=286204 memory=233480 CPUtime=221.66 cores=5,7
/proc/16152/stat : 16152 (pbsolver) R 16148 16152 16087 0 -1 4194304 60930 0 0 0 22155 11 0 0 20 0 1 0 30267287 293072896 58370 18446744073709551615 4198400 14743177 140726953754752 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 42090496 140726953761162 140726953761258 140726953761258 140726953766860 0
/proc/16152/statm: 71551 58370 2688 2575 0 68458 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 286204 KiB
Current children cumulated memory: 233480 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 3.10 2.75 5/266 16175
/proc/meminfo: memFree=129258204/131249996 swapFree=33010684/33010684
[pid=16152] ppid=16148 vsize=286204 memory=233480 CPUtime=281.49 cores=5,7
/proc/16152/stat : 16152 (pbsolver) R 16148 16152 16087 0 -1 4194304 60940 0 0 0 28138 11 0 0 20 0 1 0 30267287 293072896 58370 18446744073709551615 4198400 14743177 140726953754752 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 42090496 140726953761162 140726953761258 140726953761258 140726953766860 0
/proc/16152/statm: 71551 58370 2688 2575 0 68458 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 286204 KiB
Current children cumulated memory: 233480 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 3.28 2.84 5/264 16177
/proc/meminfo: memFree=129239172/131249996 swapFree=33010684/33010684
[pid=16152] ppid=16148 vsize=286748 memory=234120 CPUtime=341.32 cores=5,7
/proc/16152/stat : 16152 (pbsolver) R 16148 16152 16087 0 -1 4194304 61148 0 0 0 34121 11 0 0 20 0 1 0 30267287 293629952 58530 18446744073709551615 4198400 14743177 140726953754752 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 42090496 140726953761162 140726953761258 140726953761258 140726953766860 0
/proc/16152/statm: 71687 58530 2688 2575 0 68594 0
Current children cumulated CPU time: 341.32 s
Current children cumulated vsize: 286748 KiB
Current children cumulated memory: 234120 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 3.44 2.92 5/264 16179
/proc/meminfo: memFree=129244892/131249996 swapFree=33010684/33010684
[pid=16152] ppid=16148 vsize=286748 memory=234248 CPUtime=401.16 cores=5,7
/proc/16152/stat : 16152 (pbsolver) R 16148 16152 16087 0 -1 4194304 61154 0 0 0 40105 11 0 0 20 0 1 0 30267287 293629952 58562 18446744073709551615 4198400 14743177 140726953754752 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 42090496 140726953761162 140726953761258 140726953761258 140726953766860 0
/proc/16152/statm: 71687 58562 2688 2575 0 68594 0
Current children cumulated CPU time: 401.16 s
Current children cumulated vsize: 286748 KiB
Current children cumulated memory: 234248 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 3.56 3.00 5/263 16227
/proc/meminfo: memFree=129282000/131249996 swapFree=33010684/33010684
[pid=16152] ppid=16148 vsize=286748 memory=234760 CPUtime=460.99 cores=5,7
/proc/16152/stat : 16152 (pbsolver) R 16148 16152 16087 0 -1 4194304 61157 0 0 0 46088 11 0 0 20 0 1 0 30267287 293629952 58690 18446744073709551615 4198400 14743177 140726953754752 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 42090496 140726953761162 140726953761258 140726953761258 140726953766860 0
/proc/16152/statm: 71687 58690 2688 2575 0 68594 0
Current children cumulated CPU time: 460.99 s

################
# More data... #
################

/proc/loadavg: 4.14 4.16 3.99 5/265 16306
/proc/meminfo: memFree=128832220/131249996 swapFree=33010684/33010684
[pid=16152] ppid=16148 vsize=352148 memory=327432 CPUtime=2016.96 cores=5,7
/proc/16152/stat : 16152 (pbsolver) R 16148 16152 16087 0 -1 4194304 71123 0 0 0 201683 13 0 0 20 0 1 0 30267287 360599552 81858 18446744073709551615 4198400 14743177 140726953754752 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 42090496 140726953761162 140726953761258 140726953761258 140726953766860 0
/proc/16152/statm: 88037 81858 2688 2575 0 84944 0
Current children cumulated CPU time: 2016.96 s
Current children cumulated vsize: 352148 KiB
Current children cumulated memory: 327432 KiB

[startup+2082.3 s]
/proc/loadavg: 4.09 4.14 4.00 5/265 16309
/proc/meminfo: memFree=128832084/131249996 swapFree=33010684/33010684
[pid=16152] ppid=16148 vsize=352148 memory=327432 CPUtime=2076.8 cores=5,7
/proc/16152/stat : 16152 (pbsolver) R 16148 16152 16087 0 -1 4194304 71128 0 0 0 207667 13 0 0 20 0 1 0 30267287 360599552 81858 18446744073709551615 4198400 14743177 140726953754752 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 42090496 140726953761162 140726953761258 140726953761258 140726953766860 0
/proc/16152/statm: 88037 81858 2688 2575 0 84944 0
Current children cumulated CPU time: 2076.8 s
Current children cumulated vsize: 352148 KiB
Current children cumulated memory: 327432 KiB

[startup+2142.3 s]
/proc/loadavg: 4.08 4.13 4.00 5/264 16311
/proc/meminfo: memFree=128832124/131249996 swapFree=33010684/33010684
[pid=16152] ppid=16148 vsize=352148 memory=327432 CPUtime=2136.64 cores=5,7
/proc/16152/stat : 16152 (pbsolver) R 16148 16152 16087 0 -1 4194304 71129 0 0 0 213651 13 0 0 20 0 1 0 30267287 360599552 81858 18446744073709551615 4198400 14743177 140726953754752 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 42090496 140726953761162 140726953761258 140726953761258 140726953766860 0
/proc/16152/statm: 88037 81858 2688 2575 0 84944 0
Current children cumulated CPU time: 2136.64 s
Current children cumulated vsize: 352148 KiB
Current children cumulated memory: 327432 KiB

[startup+2202.3 s]
/proc/loadavg: 4.15 4.14 4.01 5/266 16352
/proc/meminfo: memFree=128829572/131249996 swapFree=33010684/33010684
[pid=16152] ppid=16148 vsize=352148 memory=327432 CPUtime=2196.46 cores=5,7
/proc/16152/stat : 16152 (pbsolver) R 16148 16152 16087 0 -1 4194304 71133 0 0 0 219633 13 0 0 20 0 1 0 30267287 360599552 81858 18446744073709551615 4198400 14743177 140726953754752 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 42090496 140726953761162 140726953761258 140726953761258 140726953766860 0
/proc/16152/statm: 88037 81858 2688 2575 0 84944 0
Current children cumulated CPU time: 2196.46 s
Current children cumulated vsize: 352148 KiB
Current children cumulated memory: 327432 KiB

[startup+2262.3 s]
/proc/loadavg: 4.11 4.12 4.01 5/266 16354
/proc/meminfo: memFree=128829652/131249996 swapFree=33010684/33010684
[pid=16152] ppid=16148 vsize=352148 memory=327432 CPUtime=2256.26 cores=5,7
/proc/16152/stat : 16152 (pbsolver) R 16148 16152 16087 0 -1 4194304 71133 0 0 0 225613 13 0 0 20 0 1 0 30267287 360599552 81858 18446744073709551615 4198400 14743177 140726953754752 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 42090496 140726953761162 140726953761258 140726953761258 140726953766860 0
/proc/16152/statm: 88037 81858 2688 2575 0 84944 0
Current children cumulated CPU time: 2256.26 s
Current children cumulated vsize: 352148 KiB
Current children cumulated memory: 327432 KiB

[startup+2322.3 s]
/proc/loadavg: 4.04 4.10 4.00 5/265 16356
/proc/meminfo: memFree=128813656/131249996 swapFree=33010684/33010684
[pid=16152] ppid=16148 vsize=352148 memory=327432 CPUtime=2316.06 cores=5,7
/proc/16152/stat : 16152 (pbsolver) R 16148 16152 16087 0 -1 4194304 71134 0 0 0 231593 13 0 0 20 0 1 0 30267287 360599552 81858 18446744073709551615 4198400 14743177 140726953754752 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 42090496 140726953761162 140726953761258 140726953761258 140726953766860 0
/proc/16152/statm: 88037 81858 2688 2575 0 84944 0
Current children cumulated CPU time: 2316.06 s
Current children cumulated vsize: 352148 KiB
Current children cumulated memory: 327432 KiB

[startup+2382.3 s]
/proc/loadavg: 4.11 4.11 4.01 5/266 16359
/proc/meminfo: memFree=128813456/131249996 swapFree=33010684/33010684
[pid=16152] ppid=16148 vsize=352148 memory=327432 CPUtime=2375.87 cores=5,7
/proc/16152/stat : 16152 (pbsolver) R 16148 16152 16087 0 -1 4194304 71137 0 0 0 237574 13 0 0 20 0 1 0 30267287 360599552 81858 18446744073709551615 4198400 14743177 140726953754752 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 42090496 140726953761162 140726953761258 140726953761258 140726953766860 0
/proc/16152/statm: 88037 81858 2688 2575 0 84944 0
Current children cumulated CPU time: 2375.87 s
Current children cumulated vsize: 352148 KiB
Current children cumulated memory: 327432 KiB

[startup+2442.3 s]
/proc/loadavg: 4.09 4.10 4.01 5/266 16362
/proc/meminfo: memFree=128813704/131249996 swapFree=33010684/33010684
[pid=16152] ppid=16148 vsize=352148 memory=327432 CPUtime=2435.67 cores=5,7
/proc/16152/stat : 16152 (pbsolver) R 16148 16152 16087 0 -1 4194304 71137 0 0 0 243554 13 0 0 20 0 1 0 30267287 360599552 81858 18446744073709551615 4198400 14743177 140726953754752 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 42090496 140726953761162 140726953761258 140726953761258 140726953766860 0
/proc/16152/statm: 88037 81858 2688 2575 0 84944 0
Current children cumulated CPU time: 2435.67 s
Current children cumulated vsize: 352148 KiB
Current children cumulated memory: 327432 KiB

[startup+2465.07 s]
# the end of solver process 16152 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=2458.24 s, system=0.139565 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2444.8 s]
/proc/loadavg: 4.08 4.10 4.01 5/266 16362
/proc/meminfo: memFree=128813728/131249996 swapFree=33010684/33010684
[pid=16152] ppid=16148 vsize=352148 memory=327432 CPUtime=2438.16 cores=5,7
/proc/16152/stat : 16152 (pbsolver) R 16148 16152 16087 0 -1 4194304 71137 0 0 0 243803 13 0 0 20 0 1 0 30267287 360599552 81858 18446744073709551615 4198400 14743177 140726953754752 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 42090496 140726953761162 140726953761258 140726953761258 140726953766860 0
/proc/16152/statm: 88037 81858 2688 2575 0 84944 0
Current children cumulated CPU time: 2438.16 s
Current children cumulated vsize: 352148 KiB
Current children cumulated memory: 327432 KiB

[startup+2457.6 s]
/proc/loadavg: 4.07 4.10 4.01 5/266 16362
/proc/meminfo: memFree=128813608/131249996 swapFree=33010684/33010684
[pid=16152] ppid=16148 vsize=352148 memory=327432 CPUtime=2450.92 cores=5,7
/proc/16152/stat : 16152 (pbsolver) R 16148 16152 16087 0 -1 4194304 71218 0 0 0 245079 13 0 0 20 0 1 0 30267287 360599552 81858 18446744073709551615 4198400 14743177 140726953754752 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 42090496 140726953761162 140726953761258 140726953761258 140726953766860 0
/proc/16152/statm: 88037 81858 2688 2575 0 84944 0
Current children cumulated CPU time: 2450.92 s
Current children cumulated vsize: 352148 KiB
Current children cumulated memory: 327432 KiB

[startup+2460.8 s]
/proc/loadavg: 4.15 4.11 4.01 5/266 16362
/proc/meminfo: memFree=128813624/131249996 swapFree=33010684/33010684
[pid=16152] ppid=16148 vsize=352148 memory=327432 CPUtime=2454.11 cores=5,7
/proc/16152/stat : 16152 (pbsolver) R 16148 16152 16087 0 -1 4194304 71218 0 0 0 245398 13 0 0 20 0 1 0 30267287 360599552 81858 18446744073709551615 4198400 14743177 140726953754752 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 42090496 140726953761162 140726953761258 140726953761258 140726953766860 0
/proc/16152/statm: 88037 81858 2688 2575 0 84944 0
Current children cumulated CPU time: 2454.11 s
Current children cumulated vsize: 352148 KiB
Current children cumulated memory: 327432 KiB

[startup+2462.4 s]
/proc/loadavg: 4.15 4.11 4.01 5/266 16362
/proc/meminfo: memFree=128813664/131249996 swapFree=33010684/33010684
[pid=16152] ppid=16148 vsize=352148 memory=327432 CPUtime=2455.7 cores=5,7
/proc/16152/stat : 16152 (pbsolver) R 16148 16152 16087 0 -1 4194304 71218 0 0 0 245557 13 0 0 20 0 1 0 30267287 360599552 81858 18446744073709551615 4198400 14743177 140726953754752 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 42090496 140726953761162 140726953761258 140726953761258 140726953766860 0
/proc/16152/statm: 88037 81858 2688 2575 0 84944 0
Current children cumulated CPU time: 2455.7 s
Current children cumulated vsize: 352148 KiB
Current children cumulated memory: 327432 KiB

[startup+2464 s]*
/proc/loadavg: 4.13 4.11 4.01 5/266 16363
/proc/meminfo: memFree=128813664/131249996 swapFree=33010684/33010684
[pid=16152] ppid=16148 vsize=352148 memory=327432 CPUtime=2457.3 cores=5,7
/proc/16152/stat : 16152 (pbsolver) R 16148 16152 16087 0 -1 4194304 71218 0 0 0 245717 13 0 0 20 0 1 0 30267287 360599552 81858 18446744073709551615 4198400 14743177 140726953754752 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 42090496 140726953761162 140726953761258 140726953761258 140726953766860 0
/proc/16152/statm: 88037 81858 2688 2575 0 84944 0
Current children cumulated CPU time: 2457.3 s
Current children cumulated vsize: 352148 KiB
Current children cumulated memory: 327432 KiB

[startup+2464.8 s]
/proc/loadavg: 4.13 4.11 4.01 5/266 16363
/proc/meminfo: memFree=128813664/131249996 swapFree=33010684/33010684
[pid=16152] ppid=16148 vsize=352148 memory=327432 CPUtime=2458.09 cores=5,7
/proc/16152/stat : 16152 (pbsolver) R 16148 16152 16087 0 -1 4194304 71218 0 0 0 245796 13 0 0 20 0 1 0 30267287 360599552 81858 18446744073709551615 4198400 14743177 140726953754752 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 42090496 140726953761162 140726953761258 140726953761258 140726953766860 0
/proc/16152/statm: 88037 81858 2688 2575 0 84944 0
Current children cumulated CPU time: 2458.09 s
Current children cumulated vsize: 352148 KiB
Current children cumulated memory: 327432 KiB

[startup+2465 s]*
/proc/loadavg: 4.13 4.11 4.01 5/266 16363
/proc/meminfo: memFree=128813664/131249996 swapFree=33010684/33010684
[pid=16152] ppid=16148 vsize=352148 memory=327560 CPUtime=2458.3 cores=5,7
/proc/16152/stat : 16152 (pbsolver) R 16148 16152 16087 0 -1 4194304 71233 0 0 0 245817 13 0 0 20 0 1 0 30267287 360599552 81890 18446744073709551615 4198400 14743177 140726953754752 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 42090496 140726953761162 140726953761258 140726953761258 140726953766860 0
/proc/16152/statm: 88037 81890 2688 2575 0 84944 0
Current children cumulated CPU time: 2458.3 s
Current children cumulated vsize: 352148 KiB
Current children cumulated memory: 327560 KiB

Child status: 0

Real time (s): 2465.07
CPU time (s): 2458.38
CPU user time (s): 2458.24
CPU system time (s): 0.139565
CPU usage (%): 99.7283
Max. virtual memory (cumulated for all children) (KiB): 352148
Max. memory (cumulated for all children) (KiB): 327560

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2458.24
system time used= 0.139565
maximum resident set size= 327560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71267
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= 26
involuntary context switches= 12764


# summary of solver processes directly reported to runsolver:
#   pid: 16152
#   total CPU time (s): 2458.38
#   total CPU user time (s): 2458.24
#   total CPU system time (s): 0.139565

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.21372 second user time and 9.97452 second system time

The end

Launcher Data 

Begin job on nodeC032 at 2025-06-28 23:24:46
IDJOB=4492087
IDBENCH=147758
IDSOLVER=3366
FILE ID=nodeC032/4492087-1751145886
RUNJOBID= nodeC032-1751145886-16100
SLURM_JOB_ID= 9587452
Free space on /tmp= 432068 MiB

SOLVER NAME= SCIP-10 2025-06-13
BENCH NAME= PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1,3-13,19.opb
COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4492087-1751145886/watcher-4492087-1751145886 -o /tmp/evaluation-result-4492087-1751145886/solver-4492087-1751145886 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751145886-16100 --watchdog 3760  pbsolver -f HOME/instance-4492087-1751145886.opb -t 3600 -m 31000

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= d1aade7dcf65cc3dbe16a05e614ec6ef
RANDOM SEED=1099977751

nodeC032 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	: 0xb00002a
cpu MHz		: 3599.852
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.808
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3430.649
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3587.001
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.806
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.853
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.865
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.819
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        130203632 kB
MemAvailable:   129818896 kB
Buffers:            3280 kB
Cached:           396296 kB
SwapCached:            0 kB
Active:           272720 kB
Inactive:         189524 kB
Active(anon):      80736 kB
Inactive(anon):        0 kB
Active(file):     191984 kB
Inactive(file):   189524 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             63504 kB
Writeback:             0 kB
AnonPages:         65844 kB
Mapped:           102032 kB
Shmem:             18068 kB
KReclaimable:      84372 kB
Slab:             165928 kB
SReclaimable:      84372 kB
SUnreclaim:        81556 kB
KernelStack:        4040 kB
PageTables:         2328 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     331504 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150424 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 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:      203476 kB
DirectMap2M:     7956480 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432008 MiB
End job on nodeC032 at 2025-06-29 00:05:52