Trace number 4491979

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 2541.52 2548.55

General information on the benchmark

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4491979-1751144637/watcher-4491979-1751144637 -o /tmp/evaluation-result-4491979-1751144637/solver-4491979-1751144637 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751144566-13225 --watchdog 3760 pbsolver -f HOME/instance-4491979-1751144637.opb -t 3600 -m 31000 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=13465, runsolver pid=13462

[startup+0.100072 s]*
/proc/loadavg: 3.43 3.60 3.89 5/265 13466
/proc/meminfo: memFree=128862292/131249988 swapFree=33010684/33010684
[pid=13465] ppid=13462 vsize=72740 memory=62708 CPUtime=0.09 cores=0,2
/proc/13465/stat : 13465 (pbsolver) R 13462 13465 13215 0 -1 4194304 13661 0 0 0 8 1 0 0 20 0 1 0 30142239 74485760 15677 18446744073709551615 4198400 14743177 140728749075088 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37728256 140728749078922 140728749079018 140728749079018 140728749084620 0
/proc/13465/statm: 18185 15677 2368 2575 0 15092 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 72740 KiB
Current children cumulated memory: 62708 KiB

[startup+0.2057 s]*
/proc/loadavg: 3.43 3.60 3.89 5/265 13466
/proc/meminfo: memFree=128857756/131249988 swapFree=33010684/33010684
[pid=13465] ppid=13462 vsize=91916 memory=81572 CPUtime=0.2 cores=0,2
/proc/13465/stat : 13465 (pbsolver) R 13462 13465 13215 0 -1 4194304 21946 0 0 0 17 3 0 0 20 0 1 0 30142239 94121984 20393 18446744073709551615 4198400 14743177 140728749075088 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37728256 140728749078922 140728749079018 140728749079018 140728749084620 0
/proc/13465/statm: 22979 20393 2496 2575 0 19886 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 91916 KiB
Current children cumulated memory: 81572 KiB

[startup+0.30562 s]*
/proc/loadavg: 3.43 3.60 3.89 5/265 13466
/proc/meminfo: memFree=128857756/131249988 swapFree=33010684/33010684
[pid=13465] ppid=13462 vsize=96064 memory=85472 CPUtime=0.3 cores=0,2
/proc/13465/stat : 13465 (pbsolver) R 13462 13465 13215 0 -1 4194304 24151 0 0 0 27 3 0 0 20 0 1 0 30142239 98369536 21368 18446744073709551615 4198400 14743177 140728749075088 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37728256 140728749078922 140728749079018 140728749079018 140728749084620 0
/proc/13465/statm: 24016 21368 2560 2575 0 20923 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 96064 KiB
Current children cumulated memory: 85472 KiB

[startup+0.700185 s]
/proc/loadavg: 3.43 3.60 3.89 5/265 13466
/proc/meminfo: memFree=128821656/131249988 swapFree=33010684/33010684
[pid=13465] ppid=13462 vsize=142208 memory=123740 CPUtime=0.69 cores=0,2
/proc/13465/stat : 13465 (pbsolver) R 13462 13465 13215 0 -1 4194304 32363 0 0 0 64 5 0 0 20 0 1 0 30142239 145620992 30935 18446744073709551615 4198400 14743177 140728749075088 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37728256 140728749078922 140728749079018 140728749079018 140728749084620 0
/proc/13465/statm: 35552 30935 2592 2575 0 32459 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 142208 KiB
Current children cumulated memory: 123740 KiB

[startup+1.50006 s]
/proc/loadavg: 3.43 3.60 3.89 5/265 13466
/proc/meminfo: memFree=128781588/131249988 swapFree=33010684/33010684
[pid=13465] ppid=13462 vsize=182640 memory=166280 CPUtime=1.48 cores=0,2
/proc/13465/stat : 13465 (pbsolver) R 13462 13465 13215 0 -1 4194304 43171 0 0 0 142 6 0 0 20 0 1 0 30142239 187023360 41570 18446744073709551615 4198400 14743177 140728749075088 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37728256 140728749078922 140728749079018 140728749079018 140728749084620 0
/proc/13465/statm: 45660 41570 2656 2575 0 42567 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 182640 KiB
Current children cumulated memory: 166280 KiB

[startup+3.10513 s]
/proc/loadavg: 3.47 3.61 3.89 5/265 13466
/proc/meminfo: memFree=128773532/131249988 swapFree=33010684/33010684
[pid=13465] ppid=13462 vsize=184856 memory=167816 CPUtime=3.09 cores=0,2
/proc/13465/stat : 13465 (pbsolver) R 13462 13465 13215 0 -1 4194304 43566 0 0 0 302 7 0 0 20 0 1 0 30142239 189292544 41954 18446744073709551615 4198400 14743177 140728749075088 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37728256 140728749078922 140728749079018 140728749079018 140728749084620 0
/proc/13465/statm: 46214 41954 2656 2575 0 43121 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 184856 KiB
Current children cumulated memory: 167816 KiB

[startup+6.30006 s]
/proc/loadavg: 3.47 3.61 3.89 5/265 13466
/proc/meminfo: memFree=128757148/131249988 swapFree=33010684/33010684
[pid=13465] ppid=13462 vsize=185272 memory=168456 CPUtime=6.28 cores=0,2
/proc/13465/stat : 13465 (pbsolver) R 13462 13465 13215 0 -1 4194304 43722 0 0 0 621 7 0 0 20 0 1 0 30142239 189718528 42114 18446744073709551615 4198400 14743177 140728749075088 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37728256 140728749078922 140728749079018 140728749079018 140728749084620 0
/proc/13465/statm: 46318 42114 2656 2575 0 43225 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 185272 KiB
Current children cumulated memory: 168456 KiB

[startup+12.7001 s]
/proc/loadavg: 3.52 3.62 3.90 5/265 13466
/proc/meminfo: memFree=128757668/131249988 swapFree=33010684/33010684
[pid=13465] ppid=13462 vsize=188176 memory=171016 CPUtime=12.66 cores=0,2
/proc/13465/stat : 13465 (pbsolver) R 13462 13465 13215 0 -1 4194304 44363 0 0 0 1259 7 0 0 20 0 1 0 30142239 192692224 42754 18446744073709551615 4198400 14743177 140728749075088 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37728256 140728749078922 140728749079018 140728749079018 140728749084620 0
/proc/13465/statm: 47044 42754 2656 2575 0 43951 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 188176 KiB
Current children cumulated memory: 171016 KiB

[startup+25.5001 s]
/proc/loadavg: 3.62 3.64 3.90 5/266 13468
/proc/meminfo: memFree=128743524/131249988 swapFree=33010684/33010684
[pid=13465] ppid=13462 vsize=202164 memory=182024 CPUtime=25.42 cores=0,2
/proc/13465/stat : 13465 (pbsolver) R 13462 13465 13215 0 -1 4194304 47083 0 0 0 2535 7 0 0 20 0 1 0 30142239 207015936 45506 18446744073709551615 4198400 14743177 140728749075088 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37728256 140728749078922 140728749079018 140728749079018 140728749084620 0
/proc/13465/statm: 50541 45506 2688 2575 0 47448 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 202164 KiB
Current children cumulated memory: 182024 KiB

[startup+51.1055 s]
/proc/loadavg: 3.75 3.67 3.90 5/266 13468
/proc/meminfo: memFree=128515984/131249988 swapFree=33010684/33010684
[pid=13465] ppid=13462 vsize=213432 memory=187144 CPUtime=50.96 cores=0,2
/proc/13465/stat : 13465 (pbsolver) R 13462 13465 13215 0 -1 4194304 48358 0 0 0 5089 7 0 0 20 0 1 0 30142239 218554368 46786 18446744073709551615 4198400 14743177 140728749075088 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37728256 140728749078922 140728749079018 140728749079018 140728749084620 0
/proc/13465/statm: 53358 46786 2688 2575 0 50265 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 213432 KiB
Current children cumulated memory: 187144 KiB

[startup+102.3 s]
/proc/loadavg: 4.01 3.75 3.92 5/266 13470
/proc/meminfo: memFree=128417228/131249988 swapFree=33010684/33010684
[pid=13465] ppid=13462 vsize=232300 memory=193880 CPUtime=102.01 cores=0,2
/proc/13465/stat : 13465 (pbsolver) R 13462 13465 13215 0 -1 4194304 49550 0 0 0 10194 7 0 0 20 0 1 0 30142239 237875200 48470 18446744073709551615 4198400 14743177 140728749075088 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37728256 140728749078922 140728749079018 140728749079018 140728749084620 0
/proc/13465/statm: 58075 48470 2688 2575 0 54982 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 232300 KiB
Current children cumulated memory: 193880 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 3.83 3.94 5/266 13516
/proc/meminfo: memFree=128527716/131249988 swapFree=33010684/33010684
[pid=13465] ppid=13462 vsize=250672 memory=199640 CPUtime=161.84 cores=0,2
/proc/13465/stat : 13465 (pbsolver) R 13462 13465 13215 0 -1 4194304 50986 0 0 0 16177 7 0 0 20 0 1 0 30142239 256688128 49910 18446744073709551615 4198400 14743177 140728749075088 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37728256 140728749078922 140728749079018 140728749079018 140728749084620 0
/proc/13465/statm: 62668 49910 2688 2575 0 59575 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 250672 KiB
Current children cumulated memory: 199640 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 3.88 3.95 5/264 13518
/proc/meminfo: memFree=128468784/131249988 swapFree=33010684/33010684
[pid=13465] ppid=13462 vsize=292276 memory=240856 CPUtime=221.67 cores=0,2
/proc/13465/stat : 13465 (pbsolver) R 13462 13465 13215 0 -1 4194304 61302 0 0 0 22158 9 0 0 20 0 1 0 30142239 299290624 60214 18446744073709551615 4198400 14743177 140728749075088 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37728256 140728749078922 140728749079018 140728749079018 140728749084620 0
/proc/13465/statm: 73069 60214 2688 2575 0 69976 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 292276 KiB
Current children cumulated memory: 240856 KiB

[startup+282.3 s]
/proc/loadavg: 4.38 4.01 3.99 5/264 13520
/proc/meminfo: memFree=128423184/131249988 swapFree=33010684/33010684
[pid=13465] ppid=13462 vsize=292820 memory=241368 CPUtime=281.5 cores=0,2
/proc/13465/stat : 13465 (pbsolver) R 13462 13465 13215 0 -1 4194304 61476 0 0 0 28141 9 0 0 20 0 1 0 30142239 299847680 60342 18446744073709551615 4198400 14743177 140728749075088 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37728256 140728749078922 140728749079018 140728749079018 140728749084620 0
/proc/13465/statm: 73205 60342 2688 2575 0 70112 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 292820 KiB
Current children cumulated memory: 241368 KiB

[startup+342.3 s]
/proc/loadavg: 4.19 4.02 4.00 5/264 13522
/proc/meminfo: memFree=128329008/131249988 swapFree=33010684/33010684
[pid=13465] ppid=13462 vsize=292820 memory=241496 CPUtime=341.32 cores=0,2
/proc/13465/stat : 13465 (pbsolver) R 13462 13465 13215 0 -1 4194304 61490 0 0 0 34123 9 0 0 20 0 1 0 30142239 299847680 60374 18446744073709551615 4198400 14743177 140728749075088 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37728256 140728749078922 140728749079018 140728749079018 140728749084620 0
/proc/13465/statm: 73205 60374 2688 2575 0 70112 0
Current children cumulated CPU time: 341.32 s
Current children cumulated vsize: 292820 KiB
Current children cumulated memory: 241496 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 4.03 4.00 5/263 13524
/proc/meminfo: memFree=128326240/131249988 swapFree=33010684/33010684
[pid=13465] ppid=13462 vsize=292820 memory=241496 CPUtime=401.15 cores=0,2
/proc/13465/stat : 13465 (pbsolver) R 13462 13465 13215 0 -1 4194304 61498 0 0 0 40106 9 0 0 20 0 1 0 30142239 299847680 60374 18446744073709551615 4198400 14743177 140728749075088 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37728256 140728749078922 140728749079018 140728749079018 140728749084620 0
/proc/13465/statm: 73205 60374 2688 2575 0 70112 0
Current children cumulated CPU time: 401.15 s
Current children cumulated vsize: 292820 KiB
Current children cumulated memory: 241496 KiB

[startup+462.3 s]
/proc/loadavg: 4.07 4.03 4.00 5/263 13526
/proc/meminfo: memFree=128316544/131249988 swapFree=33010684/33010684
[pid=13465] ppid=13462 vsize=292820 memory=241496 CPUtime=460.98 cores=0,2
/proc/13465/stat : 13465 (pbsolver) R 13462 13465 13215 0 -1 4194304 61499 0 0 0 46089 9 0 0 20 0 1 0 30142239 299847680 60374 18446744073709551615 4198400 14743177 140728749075088 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37728256 140728749078922 140728749079018 140728749079018 140728749084620 0
/proc/13465/statm: 73205 60374 2688 2575 0 70112 0
Current children cumulated CPU time: 460.98 s

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

/proc/loadavg: 4.09 4.13 4.09 5/262 13617
/proc/meminfo: memFree=127543268/131249988 swapFree=33010684/33010684
[pid=13465] ppid=13462 vsize=332580 memory=313048 CPUtime=2196.18 cores=0,2
/proc/13465/stat : 13465 (pbsolver) R 13462 13465 13215 0 -1 4194304 70632 0 0 0 219607 11 0 0 20 0 1 0 30142239 340561920 78262 18446744073709551615 4198400 14743177 140728749075088 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37728256 140728749078922 140728749079018 140728749079018 140728749084620 0
/proc/13465/statm: 83145 78262 2688 2575 0 80052 0
Current children cumulated CPU time: 2196.18 s
Current children cumulated vsize: 332580 KiB
Current children cumulated memory: 313048 KiB

[startup+2262.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/262 13619
/proc/meminfo: memFree=127542920/131249988 swapFree=33010684/33010684
[pid=13465] ppid=13462 vsize=332580 memory=313048 CPUtime=2256.02 cores=0,2
/proc/13465/stat : 13465 (pbsolver) R 13462 13465 13215 0 -1 4194304 70636 0 0 0 225591 11 0 0 20 0 1 0 30142239 340561920 78262 18446744073709551615 4198400 14743177 140728749075088 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37728256 140728749078922 140728749079018 140728749079018 140728749084620 0
/proc/13465/statm: 83145 78262 2688 2575 0 80052 0
Current children cumulated CPU time: 2256.02 s
Current children cumulated vsize: 332580 KiB
Current children cumulated memory: 313048 KiB

[startup+2322.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/263 13626
/proc/meminfo: memFree=127543416/131249988 swapFree=33010684/33010684
[pid=13465] ppid=13462 vsize=332580 memory=313048 CPUtime=2315.86 cores=0,2
/proc/13465/stat : 13465 (pbsolver) R 13462 13465 13215 0 -1 4194304 70636 0 0 0 231575 11 0 0 20 0 1 0 30142239 340561920 78262 18446744073709551615 4198400 14743177 140728749075088 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37728256 140728749078922 140728749079018 140728749079018 140728749084620 0
/proc/13465/statm: 83145 78262 2688 2575 0 80052 0
Current children cumulated CPU time: 2315.86 s
Current children cumulated vsize: 332580 KiB
Current children cumulated memory: 313048 KiB

[startup+2382.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/263 13630
/proc/meminfo: memFree=127542268/131249988 swapFree=33010684/33010684
[pid=13465] ppid=13462 vsize=332580 memory=313048 CPUtime=2375.7 cores=0,2
/proc/13465/stat : 13465 (pbsolver) R 13462 13465 13215 0 -1 4194304 70738 0 0 0 237559 11 0 0 20 0 1 0 30142239 340561920 78262 18446744073709551615 4198400 14743177 140728749075088 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37728256 140728749078922 140728749079018 140728749079018 140728749084620 0
/proc/13465/statm: 83145 78262 2688 2575 0 80052 0
Current children cumulated CPU time: 2375.7 s
Current children cumulated vsize: 332580 KiB
Current children cumulated memory: 313048 KiB

[startup+2442.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/263 13632
/proc/meminfo: memFree=127542956/131249988 swapFree=33010684/33010684
[pid=13465] ppid=13462 vsize=332580 memory=313048 CPUtime=2435.54 cores=0,2
/proc/13465/stat : 13465 (pbsolver) R 13462 13465 13215 0 -1 4194304 70740 0 0 0 243543 11 0 0 20 0 1 0 30142239 340561920 78262 18446744073709551615 4198400 14743177 140728749075088 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37728256 140728749078922 140728749079018 140728749079018 140728749084620 0
/proc/13465/statm: 83145 78262 2688 2575 0 80052 0
Current children cumulated CPU time: 2435.54 s
Current children cumulated vsize: 332580 KiB
Current children cumulated memory: 313048 KiB

[startup+2502.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/263 13634
/proc/meminfo: memFree=127542612/131249988 swapFree=33010684/33010684
[pid=13465] ppid=13462 vsize=332580 memory=313048 CPUtime=2495.38 cores=0,2
/proc/13465/stat : 13465 (pbsolver) R 13462 13465 13215 0 -1 4194304 70831 0 0 0 249527 11 0 0 20 0 1 0 30142239 340561920 78262 18446744073709551615 4198400 14743177 140728749075088 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37728256 140728749078922 140728749079018 140728749079018 140728749084620 0
/proc/13465/statm: 83145 78262 2688 2575 0 80052 0
Current children cumulated CPU time: 2495.38 s
Current children cumulated vsize: 332580 KiB
Current children cumulated memory: 313048 KiB

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

# cumulated CPU time of all completed processes:  user=2541.4 s, system=0.117355 s

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

[startup+2508.8 s]
/proc/loadavg: 4.13 4.11 4.09 5/263 13635
/proc/meminfo: memFree=127542156/131249988 swapFree=33010684/33010684
[pid=13465] ppid=13462 vsize=332580 memory=313048 CPUtime=2501.87 cores=0,2
/proc/13465/stat : 13465 (pbsolver) R 13462 13465 13215 0 -1 4194304 70831 0 0 0 250176 11 0 0 20 0 1 0 30142239 340561920 78262 18446744073709551615 4198400 14743177 140728749075088 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37728256 140728749078922 140728749079018 140728749079018 140728749084620 0
/proc/13465/statm: 83145 78262 2688 2575 0 80052 0
Current children cumulated CPU time: 2501.87 s
Current children cumulated vsize: 332580 KiB
Current children cumulated memory: 313048 KiB

[startup+2534.4 s]
/proc/loadavg: 4.13 4.11 4.09 5/263 13635
/proc/meminfo: memFree=127540456/131249988 swapFree=33010684/33010684
[pid=13465] ppid=13462 vsize=332580 memory=313048 CPUtime=2527.4 cores=0,2
/proc/13465/stat : 13465 (pbsolver) R 13462 13465 13215 0 -1 4194304 70832 0 0 0 252729 11 0 0 20 0 1 0 30142239 340561920 78262 18446744073709551615 4198400 14743177 140728749075088 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37728256 140728749078922 140728749079018 140728749079018 140728749084620 0
/proc/13465/statm: 83145 78262 2688 2575 0 80052 0
Current children cumulated CPU time: 2527.4 s
Current children cumulated vsize: 332580 KiB
Current children cumulated memory: 313048 KiB

[startup+2540.8 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 13635
/proc/meminfo: memFree=127540456/131249988 swapFree=33010684/33010684
[pid=13465] ppid=13462 vsize=332580 memory=313048 CPUtime=2533.78 cores=0,2
/proc/13465/stat : 13465 (pbsolver) R 13462 13465 13215 0 -1 4194304 70832 0 0 0 253367 11 0 0 20 0 1 0 30142239 340561920 78262 18446744073709551615 4198400 14743177 140728749075088 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37728256 140728749078922 140728749079018 140728749079018 140728749084620 0
/proc/13465/statm: 83145 78262 2688 2575 0 80052 0
Current children cumulated CPU time: 2533.78 s
Current children cumulated vsize: 332580 KiB
Current children cumulated memory: 313048 KiB

[startup+2544 s]*
/proc/loadavg: 4.11 4.11 4.09 5/263 13636
/proc/meminfo: memFree=127540456/131249988 swapFree=33010684/33010684
[pid=13465] ppid=13462 vsize=332580 memory=313048 CPUtime=2536.98 cores=0,2
/proc/13465/stat : 13465 (pbsolver) R 13462 13465 13215 0 -1 4194304 70832 0 0 0 253687 11 0 0 20 0 1 0 30142239 340561920 78262 18446744073709551615 4198400 14743177 140728749075088 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37728256 140728749078922 140728749079018 140728749079018 140728749084620 0
/proc/13465/statm: 83145 78262 2688 2575 0 80052 0
Current children cumulated CPU time: 2536.98 s
Current children cumulated vsize: 332580 KiB
Current children cumulated memory: 313048 KiB

[startup+2545.6 s]
/proc/loadavg: 4.11 4.11 4.09 5/263 13636
/proc/meminfo: memFree=127540456/131249988 swapFree=33010684/33010684
[pid=13465] ppid=13462 vsize=332580 memory=313048 CPUtime=2538.57 cores=0,2
/proc/13465/stat : 13465 (pbsolver) R 13462 13465 13215 0 -1 4194304 70832 0 0 0 253846 11 0 0 20 0 1 0 30142239 340561920 78262 18446744073709551615 4198400 14743177 140728749075088 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37728256 140728749078922 140728749079018 140728749079018 140728749084620 0
/proc/13465/statm: 83145 78262 2688 2575 0 80052 0
Current children cumulated CPU time: 2538.57 s
Current children cumulated vsize: 332580 KiB
Current children cumulated memory: 313048 KiB

[startup+2547.2 s]
/proc/loadavg: 4.11 4.11 4.09 5/263 13636
/proc/meminfo: memFree=127540456/131249988 swapFree=33010684/33010684
[pid=13465] ppid=13462 vsize=332580 memory=313048 CPUtime=2540.16 cores=0,2
/proc/13465/stat : 13465 (pbsolver) R 13462 13465 13215 0 -1 4194304 70832 0 0 0 254005 11 0 0 20 0 1 0 30142239 340561920 78262 18446744073709551615 4198400 14743177 140728749075088 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37728256 140728749078922 140728749079018 140728749079018 140728749084620 0
/proc/13465/statm: 83145 78262 2688 2575 0 80052 0
Current children cumulated CPU time: 2540.16 s
Current children cumulated vsize: 332580 KiB
Current children cumulated memory: 313048 KiB

[startup+2548 s]*
/proc/loadavg: 4.11 4.11 4.09 5/263 13636
/proc/meminfo: memFree=127540456/131249988 swapFree=33010684/33010684
[pid=13465] ppid=13462 vsize=332580 memory=313048 CPUtime=2540.97 cores=0,2
/proc/13465/stat : 13465 (pbsolver) R 13462 13465 13215 0 -1 4194304 70832 0 0 0 254086 11 0 0 20 0 1 0 30142239 340561920 78262 18446744073709551615 4198400 14743177 140728749075088 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37728256 140728749078922 140728749079018 140728749079018 140728749084620 0
/proc/13465/statm: 83145 78262 2688 2575 0 80052 0
Current children cumulated CPU time: 2540.97 s
Current children cumulated vsize: 332580 KiB
Current children cumulated memory: 313048 KiB

[startup+2548.4 s]
/proc/loadavg: 4.11 4.11 4.09 5/263 13636
/proc/meminfo: memFree=127540456/131249988 swapFree=33010684/33010684
[pid=13465] ppid=13462 vsize=332580 memory=313048 CPUtime=2541.36 cores=0,2
/proc/13465/stat : 13465 (pbsolver) R 13462 13465 13215 0 -1 4194304 70832 0 0 0 254125 11 0 0 20 0 1 0 30142239 340561920 78262 18446744073709551615 4198400 14743177 140728749075088 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37728256 140728749078922 140728749079018 140728749079018 140728749084620 0
/proc/13465/statm: 83145 78262 2688 2575 0 80052 0
Current children cumulated CPU time: 2541.36 s
Current children cumulated vsize: 332580 KiB
Current children cumulated memory: 313048 KiB

[startup+2548.5 s]
/proc/loadavg: 4.11 4.11 4.09 5/263 13636
/proc/meminfo: memFree=127540456/131249988 swapFree=33010684/33010684
[pid=13465] ppid=13462 vsize=332580 memory=313048 CPUtime=2541.46 cores=0,2
/proc/13465/stat : 13465 (pbsolver) R 13462 13465 13215 0 -1 4194304 70839 0 0 0 254135 11 0 0 20 0 1 0 30142239 340561920 78262 18446744073709551615 4198400 14743177 140728749075088 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37728256 140728749078922 140728749079018 140728749079018 140728749084620 0
/proc/13465/statm: 83145 78262 2688 2575 0 80052 0
Current children cumulated CPU time: 2541.46 s
Current children cumulated vsize: 332580 KiB
Current children cumulated memory: 313048 KiB

Child status: 0

Real time (s): 2548.55
CPU time (s): 2541.52
CPU user time (s): 2541.4
CPU system time (s): 0.117355
CPU usage (%): 99.7241
Max. virtual memory (cumulated for all children) (KiB): 332580
Max. memory (cumulated for all children) (KiB): 313048

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2541.4
system time used= 0.117355
maximum resident set size= 313048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70862
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= 27
involuntary context switches= 5583


# summary of solver processes directly reported to runsolver:
#   pid: 13465
#   total CPU time (s): 2541.52
#   total CPU user time (s): 2541.4
#   total CPU system time (s): 0.117355

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.91892 second user time and 10.8564 second system time

The end

Launcher Data 

Begin job on nodeC031 at 2025-06-28 23:03:57
IDJOB=4491979
IDBENCH=147755
IDSOLVER=3366
FILE ID=nodeC031/4491979-1751144637
RUNJOBID= nodeC031-1751144566-13225
SLURM_JOB_ID= 9587441
Free space on /tmp= 433008 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-13.opb
COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4491979-1751144637/watcher-4491979-1751144637 -o /tmp/evaluation-result-4491979-1751144637/solver-4491979-1751144637 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751144566-13225 --watchdog 3760  pbsolver -f HOME/instance-4491979-1751144637.opb -t 3600 -m 31000

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

MD5SUM BENCH= 0255b3d891da2276599e5fcb43348962
RANDOM SEED=1676284428

nodeC031 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		: 3654.511
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.78
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.767
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.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.861
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.78
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		: 3540.345
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.78
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		: 3599.873
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.78
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		: 3599.876
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.78
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.495
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.78
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		: 3646.299
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.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        128886232 kB
MemAvailable:   128508416 kB
Buffers:            3280 kB
Cached:           410200 kB
SwapCached:            0 kB
Active:          1490236 kB
Inactive:         203608 kB
Active(anon):    1298428 kB
Inactive(anon):        0 kB
Active(file):     191808 kB
Inactive(file):   203608 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             16052 kB
Writeback:            28 kB
AnonPages:       1283256 kB
Mapped:           134704 kB
Shmem:             18064 kB
KReclaimable:      84308 kB
Slab:             166632 kB
SReclaimable:      84308 kB
SUnreclaim:        82324 kB
KernelStack:        4224 kB
PageTables:         5596 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:    1722280 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150552 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 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:      191188 kB
DirectMap2M:     9017344 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432992 MiB
End job on nodeC031 at 2025-06-28 23:46:26