Trace number 4499268

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 NameAnswerobjective functionCPU timeWall clock time
SCIP 2024-07-07OPT6 12.2535 12.2998

General information on the benchmark

NamePB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx57.opb
MD5SUM27eb6e8556144c078dca5501dcfcfe75
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark6
Best CPU time to get the best result obtained on this benchmark0.202999
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2850
Total number of constraints3286
Number of constraints which are clauses2844
Number of constraints which are cardinality constraints (but not clauses)58
Number of constraints which are nor clauses,nor cardinality constraints384
Minimum length of a constraint2
Maximum length of a constraint384
Number of terms in the objective function 6
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 6
Number of bits of the sum of numbers in the objective function 3
Biggest number in a constraint 42
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 721
Number of bits of the biggest sum of numbers10
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.01	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01	c 
0.00/0.01	c user parameter file <scip.set> not found - using default parameters
0.00/0.01	c reading problem <HOME/instance-4499268-1751406563.opb>
0.00/0.02	c original problem has 2850 variables (2850 bin, 0 int, 0 impl, 0 cont) and 3286 constraints
0.00/0.02	c problem read in 0.01
0.00/0.03	c presolving:
0.00/0.04	c (round 1, fast)       6 del vars, 1 del conss, 0 add conss, 6 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 369 clqs
0.00/0.04	c (round 2, fast)       6 del vars, 2845 del conss, 0 add conss, 6 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 369 clqs
0.00/0.05	c    (0.0s) running MILP presolver
0.00/0.05	c    (0.0s) MILP presolver found nothing
0.00/0.06	c (round 3, exhaustive) 6 del vars, 2845 del conss, 0 add conss, 6 chg bounds, 0 chg sides, 0 chg coeffs, 441 upgd conss, 0 impls, 369 clqs
0.09/0.11	c    (0.1s) probing: 51/2844 (1.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.11	c    (0.1s) probing aborted: 50/50 successive totally useless probings
0.09/0.11	c    (0.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.68/0.75	c    (0.7s) symmetry computation finished: 423 generators found (max: 1500, log10 of symmetry group size: 180.0) (symcode time: 0.63)
0.68/0.77	c dynamic symmetry handling statistics:
0.68/0.77	c    orbitopal reduction:       no components
0.68/0.77	c    orbital reduction:         no components
0.68/0.77	c    lexicographic reduction:   no permutations
0.68/0.77	c handled 1 out of 1 symmetry components
0.68/0.77	c (round 4, exhaustive) 683 del vars, 2845 del conss, 383 add conss, 6 chg bounds, 0 chg sides, 0 chg coeffs, 441 upgd conss, 0 impls, 369 clqs
0.68/0.77	c (round 5, medium)     763 del vars, 2845 del conss, 383 add conss, 6 chg bounds, 0 chg sides, 0 chg coeffs, 441 upgd conss, 0 impls, 365 clqs
0.68/0.78	c (round 6, medium)     857 del vars, 2885 del conss, 383 add conss, 6 chg bounds, 0 chg sides, 0 chg coeffs, 441 upgd conss, 0 impls, 361 clqs
0.68/0.78	c (round 7, medium)     881 del vars, 2933 del conss, 383 add conss, 6 chg bounds, 0 chg sides, 0 chg coeffs, 441 upgd conss, 0 impls, 361 clqs
0.68/0.78	c (round 8, medium)     896 del vars, 2949 del conss, 383 add conss, 6 chg bounds, 0 chg sides, 0 chg coeffs, 441 upgd conss, 0 impls, 361 clqs
0.68/0.78	c (round 9, medium)     899 del vars, 2960 del conss, 383 add conss, 6 chg bounds, 0 chg sides, 0 chg coeffs, 441 upgd conss, 0 impls, 361 clqs
0.68/0.78	c (round 10, medium)     899 del vars, 2963 del conss, 383 add conss, 6 chg bounds, 0 chg sides, 0 chg coeffs, 441 upgd conss, 0 impls, 361 clqs
0.88/0.96	c    (0.9s) probing: 1000/2844 (35.2%) - 0 fixings, 0 aggregations, 21470 implications, 0 bound changes
1.18/1.27	c    (1.3s) probing: 2000/2844 (70.3%) - 3 fixings, 0 aggregations, 30043 implications, 0 bound changes
1.48/1.54	c    (1.5s) probing: 2759/2844 (97.0%) - 5 fixings, 0 aggregations, 31974 implications, 0 bound changes
1.48/1.54	c    (1.5s) probing aborted: 50/50 successive totally useless probings
1.48/1.54	c (round 11, exhaustive) 904 del vars, 2963 del conss, 383 add conss, 6 chg bounds, 0 chg sides, 0 chg coeffs, 441 upgd conss, 0 impls, 28909 clqs
1.48/1.58	c    (1.6s) probing cycle finished: starting next cycle
1.68/1.73	c    (1.7s) probing: 320/1946 (16.4%) - 5 fixings, 0 aggregations, 40063 implications, 0 bound changes
1.68/1.73	c    (1.7s) probing aborted: 1000/1000 successive useless probings
1.68/1.73	c presolving (12 rounds: 12 fast, 10 medium, 4 exhaustive):
1.68/1.73	c  904 deleted vars, 2963 deleted constraints, 383 added constraints, 6 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.68/1.73	c  0 implications, 28912 cliques
1.68/1.73	c presolved problem has 1946 variables (1946 bin, 0 int, 0 impl, 0 cont) and 706 constraints
1.68/1.73	c     325 constraints of type <knapsack>
1.68/1.73	c      57 constraints of type <setppc>
1.68/1.73	c     324 constraints of type <orbitope>
1.68/1.73	c transformed objective value is always integral (scale: 1)
1.68/1.73	c Presolving Time: 1.71
1.68/1.73	c - non default parameters ----------------------------------------------------------------------
1.68/1.73	c # SCIP version 10.0.0
1.68/1.73	c 
1.68/1.73	c # maximal time in seconds to run
1.68/1.73	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
1.68/1.73	c limits/time = 3596.998008
1.68/1.73	c 
1.68/1.73	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.68/1.73	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
1.68/1.73	c limits/memory = 27900
1.68/1.73	c 
1.68/1.73	c # belongs reading time to solving time?
1.68/1.73	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
1.68/1.73	c timing/reading = TRUE
1.68/1.73	c 
1.68/1.73	c -----------------------------------------------------------------------------------------------
1.68/1.73	c start solving
1.68/1.73	c 
1.87/1.93	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1.87/1.93	c   1.9s|     1 |     0 |   475 |     - |    64M |   0 |1946 | 756 | 382 |   0 |  0 |  49 |   0 | 6.000000e+00 |      --      |    Inf | unknown
1.98/2.05	c   2.0s|     1 |     0 |   725 |     - |    68M |   0 |1946 | 756 | 401 |  19 |  1 |  49 |   0 | 6.000000e+00 |      --      |    Inf | unknown
1.98/2.07	c   2.1s|     1 |     0 |   753 |     - |    68M |   0 |1946 | 756 | 416 |  34 |  2 |  49 |   0 | 6.000000e+00 |      --      |    Inf | unknown
2.08/2.10	c   2.1s|     1 |     0 |   800 |     - |    69M |   0 |1946 | 756 | 436 |  54 |  3 |  49 |   0 | 6.000000e+00 |      --      |    Inf | unknown
2.08/2.14	c   2.1s|     1 |     0 |   835 |     - |    70M |   0 |1946 | 761 | 452 |  70 |  4 |  54 |   0 | 6.000000e+00 |      --      |    Inf | unknown
2.08/2.17	c   2.2s|     1 |     0 |   889 |     - |    72M |   0 |1946 | 766 | 467 |  85 |  5 |  59 |   0 | 6.000000e+00 |      --      |    Inf | unknown
2.17/2.20	c   2.2s|     1 |     0 |   927 |     - |    72M |   0 |1946 | 766 | 480 |  98 |  6 |  59 |   0 | 6.000000e+00 |      --      |    Inf | unknown
2.17/2.24	c   2.2s|     1 |     0 |   992 |     - |    72M |   0 |1946 | 767 | 495 | 113 |  7 |  60 |   0 | 6.000000e+00 |      --      |    Inf | unknown
2.17/2.27	c   2.3s|     1 |     0 |  1027 |     - |    73M |   0 |1946 | 770 | 509 | 127 |  8 |  63 |   0 | 6.000000e+00 |      --      |    Inf | unknown
2.27/2.31	c   2.3s|     1 |     0 |  1108 |     - |    73M |   0 |1946 | 771 | 527 | 145 |  9 |  64 |   0 | 6.000000e+00 |      --      |    Inf | unknown
2.27/2.35	c   2.3s|     1 |     0 |  1152 |     - |    74M |   0 |1946 | 771 | 541 | 159 | 10 |  64 |   0 | 6.000000e+00 |      --      |    Inf | unknown
2.27/2.38	c   2.4s|     1 |     0 |  1198 |     - |    74M |   0 |1946 | 771 | 556 | 174 | 11 |  64 |   0 | 6.000000e+00 |      --      |    Inf | unknown
2.47/2.53	c   2.5s|     1 |     2 |  1577 |     - |    75M |   0 |1946 | 794 | 556 | 174 | 11 |  87 |  12 | 6.000000e+00 |      --      |    Inf | unknown
3.98/4.02	c   4.0s|   100 |    82 | 10497 |  93.9 |    77M |  39 |1946 |1133 | 470 | 374 |  0 | 426 |  12 | 6.000000e+00 |      --      |    Inf | unknown
4.37/4.44	c   4.4s|   200 |   111 | 12880 |  58.7 |    89M |  43 |1946 |1277 | 478 | 495 |  1 | 570 |  12 | 6.000000e+00 |      --      |    Inf | unknown
4.86/4.93	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
4.86/4.93	c   4.9s|   300 |   121 | 16594 |  51.5 |    93M |  48 |1946 |1453 | 476 | 590 |  1 | 748 |  12 | 6.000000e+00 |      --      |    Inf | unknown
5.16/5.28	c   5.3s|   400 |   136 | 19094 |  44.9 |    97M |  51 |1946 |1564 | 488 | 693 |  1 | 859 |  12 | 6.000000e+00 |      --      |    Inf | unknown
5.46/5.54	c   5.5s|   500 |   146 | 21661 |  41.0 |    97M |  51 |1946 |1736 | 479 | 783 |  0 |1031 |  12 | 6.000000e+00 |      --      |    Inf | unknown
5.66/5.75	c   5.7s|   600 |   169 | 23481 |  37.2 |    97M |  51 |1946 |1824 | 470 | 841 |  1 |1119 |  12 | 6.000000e+00 |      --      |    Inf | unknown
5.96/6.08	c   6.1s|   700 |   193 | 25875 |  35.3 |    99M |  51 |1946 |1932 | 470 | 943 |  0 |1229 |  12 | 6.000000e+00 |      --      |    Inf | unknown
6.26/6.37	c   6.4s|   800 |   213 | 28011 |  33.6 |    99M |  53 |1946 |2059 | 476 |1062 |  1 |1360 |  12 | 6.000000e+00 |      --      |    Inf | unknown
6.56/6.65	c   6.6s|   900 |   215 | 30269 |  32.3 |    99M |  53 |1946 |2117 | 470 |1162 |  1 |1422 |  12 | 6.000000e+00 |      --      |    Inf | unknown
6.76/6.88	c   6.9s|  1000 |   231 | 32367 |  31.2 |    99M |  53 |1946 |2230 | 476 |1251 |  1 |1543 |  12 | 6.000000e+00 |      --      |    Inf | unknown
6.96/7.09	c   7.1s|  1100 |   245 | 34554 |  30.4 |   100M |  53 |1946 |2231 | 482 |1323 |  0 |1556 |  12 | 6.000000e+00 |      --      |    Inf | unknown
7.35/7.44	c   7.4s|  1200 |   289 | 37085 |  29.9 |   100M |  53 |1946 |2416 | 483 |1459 |  0 |1761 |  12 | 6.000000e+00 |      --      |    Inf | unknown
7.55/7.68	c   7.7s|  1300 |   319 | 39094 |  29.2 |   101M |  53 |1946 |2559 | 477 |1551 |  1 |1911 |  12 | 6.000000e+00 |      --      |    Inf | unknown
7.85/7.93	c   7.9s|  1400 |   326 | 40820 |  28.3 |   101M |  54 |1946 |2604 | 481 |1652 |  0 |1956 |  12 | 6.000000e+00 |      --      |    Inf | unknown
8.06/8.11	c   8.1s|  1500 |   337 | 42250 |  27.4 |   101M |  60 |1946 |2634 | 479 |1733 |  1 |1987 |  12 | 6.000000e+00 |      --      |    Inf | unknown
8.25/8.31	c   8.3s|  1600 |   339 | 44014 |  26.8 |   102M |  60 |1946 |2647 | 476 |1843 |  1 |2001 |  12 | 6.000000e+00 |      --      |    Inf | unknown
8.45/8.51	c   8.5s|  1700 |   339 | 45535 |  26.1 |   102M |  60 |1946 |2696 | 483 |1948 |  0 |2050 |  12 | 6.000000e+00 |      --      |    Inf | unknown
8.65/8.74	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
8.65/8.74	c   8.7s|  1800 |   340 | 47164 |  25.6 |   102M |  60 |1946 |2751 | 482 |2058 |  1 |2105 |  12 | 6.000000e+00 |      --      |    Inf | unknown
8.85/8.93	c   8.9s|  1900 |   343 | 48806 |  25.1 |   102M |  60 |1946 |2777 | 479 |2114 |  1 |2136 |  12 | 6.000000e+00 |      --      |    Inf | unknown
9.15/9.23	c   9.2s|  2000 |   342 | 50547 |  24.7 |   102M |  60 |1946 |2852 | 473 |2214 |  1 |2229 |  12 | 6.000000e+00 |      --      |    Inf | unknown
9.45/9.57	c   9.6s|  2100 |   353 | 52476 |  24.4 |   103M |  60 |1946 |2933 | 482 |2308 |  1 |2331 |  12 | 6.000000e+00 |      --      |    Inf | unknown
9.65/9.77	c   9.8s|  2200 |   367 | 53890 |  24.0 |   103M |  60 |1946 |3014 | 485 |2376 |  1 |2414 |  12 | 6.000000e+00 |      --      |    Inf | unknown
9.85/9.96	c  10.0s|  2300 |   374 | 55118 |  23.5 |   103M |  60 |1946 |3043 | 488 |2423 |  0 |2449 |  12 | 6.000000e+00 |      --      |    Inf | unknown
10.05/10.19	c  10.2s|  2400 |   377 | 56429 |  23.0 |   104M |  60 |1946 |3129 | 488 |2474 |  1 |2539 |  12 | 6.000000e+00 |      --      |    Inf | unknown
10.35/10.43	c  10.4s|  2500 |   389 | 58264 |  22.8 |   104M |  60 |1946 |3169 | 488 |2555 |  2 |2595 |  12 | 6.000000e+00 |      --      |    Inf | unknown
10.55/10.69	c  10.7s|  2600 |   398 | 60023 |  22.6 |   104M |  60 |1946 |3239 | 482 |2647 |  1 |2692 |  12 | 6.000000e+00 |      --      |    Inf | unknown
10.85/10.90	c  10.9s|  2700 |   409 | 61705 |  22.4 |   104M |  60 |1946 |3267 | 470 |2724 |  1 |2743 |  12 | 6.000000e+00 |      --      |    Inf | unknown
11.06/11.13	c  11.1s|  2800 |   414 | 63168 |  22.1 |   105M |  60 |1946 |3305 | 483 |2779 |  1 |2783 |  12 | 6.000000e+00 |      --      |    Inf | unknown
11.25/11.33	c  11.3s|  2900 |   436 | 64854 |  22.0 |   105M |  60 |1946 |3415 |   0 |2873 |  0 |2925 |  12 | 6.000000e+00 |      --      |    Inf | unknown
11.45/11.57	c  11.6s|  3000 |   454 | 67306 |  22.0 |   106M |  60 |1946 |3539 | 475 |2976 |  0 |3084 |  12 | 6.000000e+00 |      --      |    Inf | unknown
11.75/11.80	c  11.8s|  3100 |   462 | 69321 |  22.0 |   106M |  60 |1946 |3540 | 481 |3062 |  2 |3119 |  12 | 6.000000e+00 |      --      |    Inf | unknown
11.95/12.08	c  12.1s|  3200 |   485 | 71962 |  22.1 |   106M |  60 |1946 |3601 | 478 |3179 |  1 |3207 |  12 | 6.000000e+00 |      --      |    Inf | unknown
12.15/12.25	o 6
12.15/12.25	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
12.15/12.25	c *12.2s|  3265 |     0 | 73037 |  22.0 |    LP  |  60 |1946 |3644 | 479 |3227 |  1 |3260 |  12 | 6.000000e+00 | 6.000000e+00 |   0.00%| 100.00%
12.15/12.25	c 
12.15/12.25	c SCIP Status        : problem is solved [optimal solution found]
12.15/12.25	c Solving Time (sec) : 12.25
12.15/12.25	c Solving Nodes      : 3265
12.15/12.25	c Primal Bound       : +6.00000000000000e+00 (1 solutions)
12.15/12.25	c Dual Bound         : +6.00000000000000e+00
12.15/12.25	c Gap                : 0.00 %
12.15/12.26	s OPTIMUM FOUND
12.15/12.26	v -x1866 -x1880 -x1898 -x1920 -x1948 -x1967 -x1979 -x1999 -x832 -x813 -x1066 -x1043 -x1113 -x1090 -x970 -x950 -x79 -x56 -x29 -x16 
12.15/12.26	v -x388 -x363 -x341 -x313 -x2217 -x2187 -x2284 -x2260 -x2339 -x2305 -x2392 -x2359 -x1529 -x1511 -x1489 -x1474 -x1640 -x1617 -x1597 
12.15/12.26	v -x1565 -x2065 -x2079 -x1036 -x1058 -x1069 -x1094 x934 -x958 -x2609 -x1927 -x1367 -x640 x2605 -x1913 -x1126 -x498 x2719 -x1593 
12.15/12.26	v -x789 -x121 -x1376 -x1317 -x1337 -x1430 -x1454 -x1386 -x1408 -x836 -x823 -x801 -x779 -x928 -x897 -x885 -x864 -x1006 -x552 
12.15/12.26	v -x580 -x608 -x632 -x654 -x683 -x714 -x725 -x748 -x50 -x24 -x89 -x70 -x145 -x109 -x190 -x2626 -x2567 -x2587 -x2820 -x2839 -x2789 
12.15/12.26	v -x2802 -x2749 -x2766 -x2707 -x2744 -x2325 -x2293 -x2261 -x2236 -x2210 -x2003 -x1874 -x1892 -x1914 -x1937 -x2066 -x2080 
12.15/12.26	v -x2093 -x2108 -x2015 -x2027 -x2047 -x2064 -x1574 -x1545 -x1632 -x1344 -x1321 -x1306 -x1442 -x1421 -x1401 -x1381 -x1198 -x1181 
12.15/12.26	v -x1148 -x1128 -x1294 -x1259 -x1236 -x1209 -x1001 -x879 -x601 -x573 -x643 -x620 -x695 -x670 -x745 -x720 -x428 -x410 -x473 -x446 
12.15/12.26	v x513 -x487 -x556 -x43 -x20 -x381 -x350 -x326 -x304 -x281 -x249 -x787 -x782 x849 -x828 -x1055 -x1037 -x1093 -x1070 -x1480 -x1462 
12.15/12.26	v -x1626 -x1598 -x1569 -x1540 -x1753 -x1729 -x2170 -x2147 -x2225 -x2179 -x2268 -x2240 -x2329 -x2294 -x2815 -x2838 -x667 -x690 
12.15/12.26	v -x731 -x759 -x584 -x605 -x44 -x22 -x93 -x72 -x1425 -x1451 -x1387 -x1414 -x2637 -x2452 -x1751 x1016 -x271 -x493 -x2304 x2172 
12.15/12.26	v -x2144 -x2231 -x1621 -x1589 -x1558 -x1528 -x1077 -x786 -x767 -x829 -x355 -x335 -x312 -x86 -x2346 -x2132 -x2158 -x2183 -x1635 
12.15/12.26	v -x1556 -x1584 -x1507 -x2128 -x2212 -x2186 -x2493 -x23 -x188 x161 -x146 -x781 -x841 -x822 -x880 -x1504 -x2072 -x2084 -x2101 
12.15/12.26	v -x2198 -x2173 -x2146 -x2817 -x53 -x124 -x96 -x179 -x57 -x136 -x108 -x181 -x2310 -x2285 -x2252 -x2224 -x1717 -x1576 -x1546 -x1637 
12.15/12.26	v -x920 -x859 -x877 x989 -x101 -x119 -x147 -x171 -x2244 -x2272 -x2269 -x2175 -x458 -x424 -x416 -x560 -x543 -x530 -x500 -x649 
12.15/12.26	v -x624 -x594 -x610 -x591 -x749 -x723 -x701 -x682 -x337 -x2518 -x2543 -x2470 -x2486 -x2416 -x2443 -x2360 -x2393 -x2306 -x2340 
12.15/12.26	v -x2327 -x2242 -x2270 -x2176 -x2209 -x2603 -x2589 -x2564 -x1759 -x1784 -x1816 -x1841 -x1655 -x1684 -x1706 -x1731 -x1562 -x1537 
12.15/12.26	v -x1567 -x1600 -x1628 -x1986 -x1893 -x1875 -x1938 -x1915 -x996 -x1020 -x951 -x971 -x1091 -x1114 -x1044 -x1067 -x1060 -x827 
12.15/12.26	v -x845 -x1169 -x1140 -x1121 -x1278 -x1255 -x1231 -x1207 -x212 -x236 -x267 -x288 -x314 -x340 -x364 -x358 -x385 -x726 -x420 -x400 
12.15/12.26	v -x465 -x441 -x519 -x495 -x553 -x534 -x2320 -x2290 -x2262 -x2234 -x2213 x2185 -x2190 x1505 -x1527 -x1560 -x1591 -x2196 -x2226 
12.15/12.26	v -x2148 -x2171 -x2806 -x2788 -x97 -x122 -x604 -x582 -x656 -x636 -x1409 -x1394 -x1378 -x1356 -x1870 -x1883 -x1903 -x1928 -x135 
12.15/12.26	v -x257 -x292 -x219 -x239 -x365 -x390 -x315 -x343 -x1139 -x1134 -x1200 -x1177 -x1246 -x1214 -x1288 -x866 -x891 -x909 -x949 -x975 
12.15/12.26	v -x995 -x1024 -x1046 -x1065 -x1092 -x1111 -x1991 -x1977 -x1963 -x1945 -x1926 -x1585 -x1508 -x1530 -x1475 -x1482 -x1820 -x1842 
12.15/12.26	v -x1762 -x1787 -x1707 -x1737 -x1660 -x1695 -x2653 -x2634 -x2700 -x2288 -x2311 -x2354 -x2134 -x2157 -x2200 -x2228 -x2469 -x2489 
12.15/12.26	v -x2508 -x2536 -x2364 -x2390 -x2426 -x2454 -x629 -x533 -x278 -x246 -x224 -x201 -x382 -x349 -x323 -x297 -x92 -x68 -x49 -x28 
12.15/12.26	v -x185 -x158 -x132 -x1240 -x1266 -x1295 -x963 -x939 -x1017 -x991 -x1062 -x1040 -x1103 -x1079 -x802 x777 -x844 -x824 -x868 -x442 
12.15/12.26	v -x319 -x346 -x371 -x1166 -x1143 -x1120 -x1086 -x1909 -x1969 -x1952 -x2002 -x2608 -x2590 x2566 -x2704 -x2496 -x2182 -x2211 
12.15/12.26	v -x2122 -x1799 -x1832 -x1857 -x1457 -x1606 -x1701 x1677 -x1752 -x1723 -x1795 -x1771 -x1854 -x1330 -x1355 -x1379 -x1206 -x1232 
12.15/12.26	v -x1254 -x1279 -x1118 -x700 -x637 -x658 -x583 -x607 -x538 -x557 -x496 -x2733 -x2754 -x2767 -x2780 -x2807 -x2819 -x2841 -x2563 
12.15/12.26	v -x2307 -x2035 -x2051 -x2008 -x2023 -x2099 -x2111 -x2067 -x1618 -x1594 -x1561 -x1248 -x1218 -x1301 -x1265 -x1158 -x1766 -x1796 
12.15/12.26	v -x1727 -x1755 -x1671 -x1704 -x2659 -x2640 -x2692 -x2669 -x2580 -x2558 -x2618 -x2600 -x2811 -x2794 -x2466 -x2482 -x2527 -x2550 
12.15/12.26	v -x2376 -x2402 -x2431 -x2458 -x476 -x459 -x437 -x417 -x559 -x541 -x529 -x499 -x102 -x128 -x260 -x279 -x198 -x222 -x359 -x383 
12.15/12.26	v -x305 -x336 -x1159 -x1124 -x1192 -x1173 -x1249 -x1223 -x855 -x871 -x892 -x916 -x941 -x965 -x990 -x1011 -x1031 -x1054 -x1078 
12.15/12.26	v -x1097 -x2100 -x2112 -x2071 -x2085 -x1798 -x1775 -x1745 -x1720 -x1691 -x1662 -x1639 -x1614 -x1578 -x1557 -x1531 -x1509 -x1495 
12.15/12.26	v -x1463 -x2781 -x2800 -x2495 -x2476 -x2546 -x2521 -x2404 -x2381 -x2439 -x2410 -x2289 -x2257 -x2347 -x2314 -x2159 -x2133 x2227 
12.15/12.26	v -x2203 -x569 -x548 -x422 -x406 -x480 -x456 -x698 -x674 -x746 -x721 -x612 -x592 -x662 -x638 -x886 -x908 -x854 -x867 -x819 -x840 
12.15/12.26	v -x771 -x790 -x803 -x1080 -x1104 -x1039 -x1061 -x986 -x1008 -x931 -x964 -x1289 -x1267 -x1244 -x1215 -x1196 -x1174 -x1160 
12.15/12.26	v -x1115 -x1455 -x1436 -x1418 -x1398 -x1370 -x1352 -x1335 -x1315 -x1467 -x1485 -x1514 -x1532 -x1549 -x1579 -x1609 -x1604 -x1633 
12.15/12.26	v -x1665 -x1689 -x1721 -x1742 -x1776 -x1804 -x1823 -x1849 -x1290 -x1268 -x1245 -x1216 -x1197 -x1175 -x1161 -x1116 -x1456 -x1437 
12.15/12.26	v -x1419 -x1399 -x1371 -x1353 -x1336 -x1316 -x1468 -x1486 -x1515 -x1533 -x1550 -x1580 -x1610 -x1605 -x1634 -x1666 -x1690 -x1722 
12.15/12.26	v -x1743 -x1777 -x1805 -x1824 -x1850 -x1889 -x1864 -x1929 -x1905 -x1961 -x1941 -x2004 -x1988 -x2021 -x2010 -x2053 -x2037 -x2082 
12.15/12.26	v -x2069 -x2109 -x2094 -x2191 -x2214 -x2130 -x2160 -x2315 -x2344 -x2321 -x2237 -x2264 -x2433 -x2461 -x2382 -x2407 -x2522 -x2547 
12.15/12.26	v -x1825 -x1851 -x1890 -x1865 -x1930 -x1906 -x1962 -x1942 -x2005 -x1989 -x2022 -x2011 -x2054 -x2038 -x2083 -x2070 -x2110 -x2095 
12.15/12.26	v -x2192 -x2215 -x2131 -x2161 -x2316 -x2345 -x2322 -x2238 -x2265 -x2434 -x2462 -x2383 -x2408 -x2523 -x2548 -x2479 -x2500 
12.15/12.26	v -x2614 -x2593 -x2576 -x2555 -x2696 -x2682 -x2661 -x2642 -x2769 -x2751 -x2734 -x2717 -x2833 -x2824 -x2803 -x2786 -x328 -x308 -x377 
12.15/12.26	v -x351 -x227 -x237 -x217 -x295 -x265 -x129 -x99 -x172 -x151 -x2524 -x2549 -x2480 -x2501 -x2615 -x2594 -x2577 -x2556 -x2697 
12.15/12.26	v -x2683 -x2662 -x2643 -x2770 -x2752 -x2735 -x2718 -x2834 -x2825 -x2804 -x2787 -x329 -x309 -x378 -x352 -x228 -x238 -x218 -x296 
12.15/12.26	v -x266 -x130 -x100 -x173 -x152 -x34 -x1 -x76 -x58 -x675 -x707 -x735 -x753 -x574 -x602 -x621 -x644 -x503 -x524 -x544 -x565 -x411 
12.15/12.26	v -x429 -x447 -x474 -x1098 -x1075 -x1056 -x1029 -x1047 -x1018 -x997 -x976 -x944 -x917 -x893 -x174 -x153 -x35 -x2 -x77 -x59 
12.15/12.26	v -x676 -x708 -x736 -x754 -x575 -x603 -x622 -x645 -x504 -x525 -x545 -x566 -x412 -x430 -x448 -x475 -x1099 -x1076 -x1057 -x1030 -x1048 
12.15/12.26	v -x1019 -x998 -x977 -x945 -x918 -x894 -x872 -x851 -x837 -x814 -x792 -x768 -x1427 -x1446 -x1395 -x1404 -x1345 -x1363 -x1307 
12.15/12.26	v -x1325 -x1272 -x1298 -x1221 -x1241 -x1182 -x1201 -x1129 -x1155 -x1699 -x1675 -x1749 -x1738 -x1713 -x1785 -x1760 -x1838 -x1813 
12.15/12.26	v -x919 -x895 -x873 -x852 -x838 -x815 -x793 -x769 -x1428 -x1447 -x1396 -x1405 -x1346 -x1364 -x1308 -x1326 -x1273 -x1299 -x1222 
12.15/12.26	v -x1242 -x1183 -x1202 -x1130 -x1156 -x1700 -x1676 -x1750 -x1739 -x1714 -x1786 -x1761 -x1839 -x1814 -x1484 -x1465 -x1536 -x1512 
12.15/12.26	v -x1577 -x1547 -x1638 -x1607 -x2014 -x2026 -x2045 -x2062 -x2077 -x2092 -x2106 -x2120 -x1860 -x1881 -x1902 -x1923 -x1946 -x1964 
12.15/12.26	v -x1978 -x1994 -x2459 -x2430 -x2417 -x2394 -x2366 x2530 -x2510 -x2586 -x2581 x520 -x494 -x952 -x978 -x1570 -x1541 -x2154 
12.15/12.26	v -x2123 -x148 -x120 x957 -x209 -x2435 -x1718 -x985 -x252 -x2737 -x2727 -x2349 -x2317 -x2279 -x2258 -x2218 -x2193 -x2028 -x2046 
12.15/12.26	v -x2039 -x2058 -x1581 -x1555 -x1643 -x1613 -x1322 -x1426 -x1441 -x1448 -x1390 -x1410 -x839 -x809 -x599 -x619 -x641 -x668 -x677 
12.15/12.26	v -x709 -x737 -x755 -x2421 -x2278 -x2245 -x2334 -x2303 x2296 -x2150 -x2124 -x1705 -x1685 -x1654 -x1647 -x1622 -x1588 -x1572 
12.15/12.26	v -x1539 -x1516 -x816 -x69 -x689 x2571 -x1954 -x1830 -x1809 -x1834 -x1756 -x905 -x926 -x907 -x956 -x162 -x186 -x116 -x106 x2537 
12.15/12.26	v -x2509 -x2391 -x2365 -x1843 -x1815 -x1788 -x1765 -x1260 -x1285 -x969 -x943 -x1873 -x1934 x1837 -x1282 -x1027 -x955 -x395 -x208 
12.15/12.26	v -x2177 -x2155 -x1821 -x1477 -x317 -x2356 -x1548 -x966 x264 -x2425 -x630 -x653 -x590 -x611 -x738 -x756 -x678 -x710 -x2274 -x2247 
12.15/12.26	v -x2337 -x2300 -x2165 -x2143 x2232 -x2205 -x2601 -x2621 -x2785 -x2805 -x2823 -x2842 -x2712 -x2728 -x2747 -x2768 -x1645 -x1620 
12.15/12.26	v -x1592 -x1566 -x1526 -x1501 -x1899 -x1916 -x1876 -x1895 -x2096 -x2107 -x2068 -x2078 -x2040 -x2059 -x2009 -x2024 -x935 -x962 
12.15/12.26	v -x983 -x1010 -x1369 -x1351 -x1420 -x1380 -x1439 -x1423 -x1149 -x1137 -x1199 -x1176 -x1247 -x1219 -x1302 -x1275 -x256 -x282 
12.15/12.26	v -x663 -x639 -x613 -x593 -x743 -x719 -x697 -x671 -x481 -x457 -x423 -x407 -x561 -x540 -x531 -x506 -x2201 -x2230 -x2801 -x2783 
12.15/12.26	v -x2835 -x2832 -x2736 -x2721 -x2772 -x2756 -x2660 -x2641 -x2693 -x2670 -x2582 -x2559 -x1595 -x2273 -x127 -x870 -x1013 x272 -x2651 
12.15/12.26	v -x2436 x175 -x830 -x1649 -x2444 -x462 -x443 -x711 -x679 -x1188 -x1167 -x1144 -x1122 -x1936 -x1912 -x1972 -x1953 -x2620 
12.15/12.26	v -x2606 -x2585 -x2562 -x82 -x64 -x672 -x696 -x831 -x808 x805 -x783 -x1947 -x1730 -x1746 -x1668 -x1692 -x1831 -x1858 -x1774 -x2632 
12.15/12.26	v -x2698 -x2676 -x2377 -x2409 -x2437 -x2463 -x2475 -x507 -x472 -x453 -x427 -x414 -x348 -x372 -x301 -x1217 -x1293 -x1269 -x1152 
12.15/12.26	v -x1133 -x1189 -x1170 -x1038 -x1636 -x1664 -x1686 -x1715 -x1740 -x1758 -x1791 -x1812 -x2348 -x2251 x2283 -x2411 -x2440 -x2358 
12.15/12.26	v -x2385 -x2505 -x259 -x244 -x220 -x391 -x889 -x981 -x942 -x1026 -x1513 -x1493 -x1466 -x1840 -x2309 -x2162 -x2139 -x2216 -x273 
12.15/12.26	v -x199 x223 -x361 -x1264 -x940 -x967 -x988 -x903 -x804 -x780 -x847 -x168 -x143 -x110 x95 -x2341 -x2369 -x2397 -x2420 -x1644 
12.15/12.26	v -x1563 -x1590 -x1712 -x915 -x764 -x784 -x806 -x176 -x105 -x131 -x62 -x717 -x688 -x666 -x648 -x1171 -x1407 -x1385 -x1445 -x1984 
12.15/12.26	v -x1965 -x1949 -x2063 -x2595 -x2652 -x2631 -x2686 x344 -x369 -x389 -x221 -x1119 -x1083 -x1109 -x1045 -x2715 -x233 -x203 -x211 
12.15/12.26	v -x532 -x542 -x562 -x1007 -x1147 -x1277 -x1300 -x1220 -x1966 -x1983 -x1997 -x1863 -x2745 x2668 -x2687 -x2627 -x807 -x785 -x765 
12.15/12.26	v -x1112 -x1736 -x1661 -x1683 -x1819 -x1846 -x1763 x1783 -x1510 -x2678 -x2363 -x2389 -x2424 -x2451 -x2471 -x2485 -x2504 -x1085 
12.15/12.26	v -x1082 -x1106 -x1146 -x1127 -x1191 -x1172 -x1250 -x370 -x396 -x374 -x300 -x324 -x483 -x461 -x438 -x2514 -x2541 -x2357 -x2380 
12.15/12.26	v -x2406 -x2438 -x2460 -x2650 -x1807 -x1836 -x1757 -x1781 -x1803 -x1719 -x1744 -x1669 -x1323 -x1276 -x1297 -x1224 -x2091 -x2103 
12.15/12.26	v -x2117 -x1859 -x2738 -x2831 -x2849 -x2791 -x818 -x788 -x766 -x911 -x760 -x37 -x15 x85 -x2763 -x2709 -x2732 -x2335 -x2297 
12.15/12.26	v -x2333 -x2375 -x2401 -x2428 -x2456 -x2478 -x2502 -x1624 -x1627 -x1538 -x1571 -x1726 -x1754 -x1674 -x1697 -x1402 -x1383 -x1377 
12.15/12.26	v -x1357 -x1338 -x1318 -x1280 -x1257 -x692 -x669 -x740 -x734 -x609 -x588 -x655 -x628 -x71 -x94 -x2775 -x2762 -x2731 -x2708 -x2840 
12.15/12.26	v -x2822 -x2292 -x2324 x2235 -x2266 -x2029 -x2013 -x2057 -x2044 -x270 x342 -x1000 -x974 -x1506 -x1782 -x2202 -x2169 -x322 
12.15/12.26	v -x298 -x954 -x979 -x812 -x1608 x2413 -x195 -x848 -x1631 -x1728 -x1698 -x994 -x1059 -x248 -x226 -x2748 -x2250 -x2043 -x2025 -x1343 
12.15/12.26	v x1415 -x41 -x18 -x196 -x170 -x2271 -x2241 -x2328 -x2295 -x1693 -x1673 -x1629 -x1601 -x1258 -x1283 -x1205 -x1230 -x445 -x467 
12.15/12.26	v -x486 -x522 x2681 -x2701 -x2645 -x2665 -x673 -x744 x718 -x27 -x1311 -x1440 -x1424 -x1400 -x1970 -x1985 -x2000 -x1878 -x2730 
12.15/12.26	v -x2685 -x2706 -x2646 -x704 -x730 -x763 -x399 -x1339 -x1433 -x1450 -x1393 -x464 -x439 -x419 -x398 -x558 -x539 -x516 -x492 
12.15/12.26	v -x318 -x345 -x1142 x1123 -x1186 -x1165 -x1233 -x1208 -x1042 -x1064 -x1084 -x1107 -x2001 -x1987 -x1971 -x1951 -x1802 -x1780 -x1716 
12.15/12.26	v -x1741 -x1663 -x1687 -x2667 -x2647 -x2494 -x2520 -x2515 -x2540 -x2355 -x2386 -x2412 -x2441 -x316 -x83 -x63 -x65 -x40 -x19 
12.15/12.26	v -x197 -x169 -x2703 -x2680 -x2664 -x2644 -x1933 -x1910 -x1973 -x1955 -x1284 -x1263 -x1235 -x1212 -x661 -x635 -x518 -x491 -x2671 
12.15/12.26	v -x2689 -x2629 -x2649 -x1904 -x1931 -x1950 x1968 -x87 -x21 -x42 x167 -x193 -x113 -x142 -x251 -x2755 -x2239 -x2267 -x2299 -x2323 
12.15/12.26	v -x2129 -x2156 -x2184 -x2050 -x2034 -x2020 -x1599 -x1625 -x1544 -x1573 -x1497 -x794 -x890 -x910 -x850 -x865 -x1375 -x1354 
12.15/12.26	v -x1333 -x33 -x61 -x75 -x107 -x137 -x155 -x182 -x616 -x2384 -x2308 -x2343 -x2259 -x2282 -x2197 -x2223 -x2135 -x876 -x858 -x921 
12.15/12.26	v -x896 -x1310 -x1329 -x1350 -x1368 -x1559 -x1542 -x1520 -x1499 -x1479 -x1459 -x2102 -x2114 -x2246 -x2336 -x2330 -x2298 -x2153 
12.15/12.26	v -x2121 -x2208 -x2178 -x141 -x255 -x285 -x286 -x210 -x235 -x368 -x397 -x884 -x902 -x925 -x938 -x953 -x980 -x1005 -x1028 -x1575 
12.15/12.26	v -x1496 -x1519 x1458 -x1476 -x1494 -x1806 -x1833 -x1522 -x1498 -x1568 -x1543 -x1652 -x1619 -x1682 -x1653 -x1735 -x1708 -x1794 
12.15/12.26	v -x1764 -x1835 -x1808 -x2604 -x2622 -x2565 -x2588 -x2684 -x2705 -x2688 -x2628 -x2648 -x2761 -x2774 -x2724 -x2743 -x2830 -x2850 
12.15/12.26	v -x2797 -x2814 -x2207 -x2181 -x2152 -x2127 -x2332 -x2302 -x2277 -x2249 -x2450 -x2423 -x2388 -x2362 -x2539 -x2517 -x2491 -x2473 
12.15/12.26	v -x387 -x357 -x334 -x307 -x276 -x294 -x269 -x241 -x216 -x178 -x150 -x126 -x104 -x81 -x55 -x32 -x11 -x2206 -x2180 -x2151 
12.15/12.26	v -x2126 -x2331 -x2301 -x2276 -x2248 -x2449 -x2422 -x2387 -x2361 -x2538 -x2516 -x2490 -x2472 -x386 -x356 -x333 -x306 -x275 -x293 
12.15/12.26	v -x268 -x240 -x215 -x177 -x149 -x125 -x103 -x80 -x54 -x31 -x10 -x729 -x762 -x681 -x703 -x618 -x647 -x579 -x598 -x547 -x564 -x502 
12.15/12.26	v -x528 -x450 -x469 -x409 -x434 -x1053 -x1035 -x1101 -x1074 -x1089 -x973 -x948 -x1023 -x1003 -x875 -x857 -x914 -x888 -x799 
12.15/12.26	v -x776 -x30 -x9 -x728 -x761 -x680 -x702 -x617 -x646 -x578 -x597 -x546 -x563 -x501 -x527 -x449 -x468 -x408 -x433 -x1052 -x1034 
12.15/12.26	v -x1100 -x1073 -x1088 -x972 -x947 -x1022 -x1002 -x874 -x856 -x913 -x887 -x798 -x775 -x835 -x821 -x1392 -x1413 -x1432 -x1444 -x1304 
12.15/12.26	v -x1320 -x1349 -x1362 -x1228 -x1253 -x1271 -x1292 -x1136 -x1154 -x1180 -x1195 -x1748 -x1725 -x1703 -x1679 -x1659 -x1845 
12.15/12.26	v -x1818 -x1790 -x1770 -x1525 -x1503 -x1492 -x1473 -x797 -x774 -x834 -x820 -x1391 -x1412 -x1431 -x1443 -x1303 -x1319 -x1348 -x1361 
12.15/12.26	v -x1227 -x1252 -x1270 -x1291 -x1135 -x1153 -x1179 -x1194 -x1747 -x1724 -x1702 -x1678 -x1658 -x1844 -x1817 -x1789 -x1769 -x1524 
12.15/12.26	v -x1502 -x1491 -x1472 -x1642 -x1616 -x1587 -x1554 -x2042 -x2056 -x2017 -x2033 -x2105 -x2116 -x2074 -x2090 -x1897 -x1922 -x1872 
12.15/12.26	v -x1887 -x1976 -x1993 -x1944 -x1960 -x2400 -x2374 -x2371 -x2448 -x2415 -x2488 -x2468 -x2535 -x2507 -x2168 -x2138 -x1490 
12.15/12.26	v -x1471 -x1641 -x1615 -x1586 -x1553 -x2041 -x2055 -x2016 -x2032 -x2104 -x2115 -x2073 -x2089 -x1896 -x1921 -x1871 -x1886 -x1975 
12.15/12.26	v -x1992 -x1943 -x1956 -x2398 -x2372 -x2370 -x2445 -x2414 -x2487 -x2467 -x2531 -x2506 -x2166 -x2136 -x2219 -x2194 -x2286 -x2253 
12.15/12.26	v -x2350 -x2318 -x2713 -x2741 -x2757 -x2776 -x2792 -x2812 -x2826 -x2844 -x2560 -x2572 -x2596 -x2616 -x2635 -x2655 -x2672 -x2694 
12.15/12.26	v -x156 -x165 -x191 -x111 -x138 -x66 -x90 -x25 -x46 -x2167 -x2137 -x2220 -x2195 -x2287 -x2254 -x2351 -x2319 -x2714 -x2742 -x2758 
12.15/12.26	v -x2777 -x2793 -x2813 -x2827 -x2845 -x2561 -x2573 -x2597 -x2617 -x2636 -x2656 -x2673 -x2695 -x157 -x166 -x192 -x112 -x139 
12.15/12.26	v -x67 -x91 -x26 -x47 -x362 -x384 -x303 -x330 -x245 -x274 -x200 -x229 -x551 -x535 -x517 -x488 -x466 -x444 -x421 -x401 -x750 -x724 
12.15/12.26	v -x713 -x685 -x657 -x631 -x606 -x585 -x576 -x863 -x883 -x898 -x930 -x778 x800 -x1464 x1193 -x477 -x2610 -x1932 -x1772 -x2773 
12.15/12.26	v -x1602 x1025 -x394 -x2442 -x1648 -x699 -x722 -x747 x581 -x2663 -x2753 -x2771 -x2716 -x1974 -x1990 -x2006 -x2012 -x250 -x325 
12.15/12.26	v -x299 -x375 -x987 -x959 -x932 -x1102 -x1919 -x1800 -x1778 -x1855 -x1239 -x1243 -x1213 -x1203 -x1178 -x1157 -x1138 -x1438 -x1422 
12.15/12.26	v -x1406 -x1382 -x1365 -x1347 -x1327 -x1309 -x906 -x927 -x853 -x869 -x817 -x833 -x770 -x791 -x1087 -x1110 -x1049 -x1068 -x999 
12.15/12.26	v -x1021 -x946 -x968 -x514 -x484 -x509 -x567 -x549 -x431 -x404 -x478 -x454 -x693 -x664 -x741 -x715 -x595 -x570 -x651 -x625 
12.15/12.26	v -x117 -x133 -x159 -x183 -x6 -x38 -x51 -x73 -x320 -x338 -x366 -x392 -x213 -x242 -x261 -x289 -x515 -x485 -x510 -x568 -x550 -x432 
12.15/12.26	v -x405 -x479 -x455 -x694 -x665 -x742 -x716 -x596 -x571 -x652 -x626 -x118 -x134 -x160 -x184 -x7 -x39 -x52 -x74 -x321 -x339 -x367 
12.15/12.26	v -x393 -x214 -x243 -x262 -x290 -x2624 -x2612 -x2598 -x2574 -x2553 -x2690 -x2674 -x2657 -x2638 -x2778 -x2759 -x2739 -x2722 
12.15/12.26	v -x2846 -x2828 -x2809 -x2795 -x2188 -x2221 -x2140 -x2163 -x2312 -x2352 -x2255 -x2280 -x2418 -x2446 -x2367 -x2395 -x2511 -x2532 
12.15/12.26	v -x263 -x291 -x2625 -x2613 -x2599 -x2575 -x2554 -x2691 -x2675 -x2658 -x2639 -x2779 -x2760 -x2740 -x2723 -x2847 -x2829 -x2810 
12.15/12.26	v -x2796 -x2189 -x2222 -x2141 -x2164 -x2313 -x2353 -x2256 -x2281 -x2419 -x2447 -x2368 -x2396 -x2512 -x2533 -x2464 -x2483 -x2497 
12.15/12.26	v -x1884 -x1867 -x1924 -x1907 -x1957 -x1939 -x1995 -x1980 -x2030 -x2018 -x2060 -x2048 -x2087 -x2075 -x2118 -x2097 -x1469 -x1487 
12.15/12.26	v -x1517 -x1534 -x1551 -x1582 -x1611 -x1650 -x1656 -x1680 -x1709 -x1732 -x2513 -x2534 -x2465 -x2484 -x2498 -x1885 -x1868 -x1925 
12.15/12.26	v -x1908 -x1958 -x1940 -x1996 -x1981 -x2031 -x2019 -x2061 -x2049 -x2088 -x2076 -x2119 -x2098 -x1470 -x1488 -x1518 -x1535 -x1552 
12.15/12.26	v -x1583 -x1612 -x1651 -x1657 -x1681 -x1710 -x1733 -x1767 -x1792 -x1810 -x1826 -x1852 -x1434 -x1452 -x1388 -x1416 -x1358 -x1373 
12.15/12.26	v -x1312 -x1331 -x1261 -x1287 -x1211 -x1238 -x1163 -x1185 -x1132 -x1151 -x1096 -x1072 -x1051 -x1033 -x1015 -x993 -x961 -x937 
12.15/12.26	v -x924 -x901 -x1711 -x1734 -x1768 -x1793 -x1811 -x1829 -x1853 -x1435 -x1453 -x1389 -x1417 -x1359 -x1374 -x1313 -x1332 -x1262 
12.15/12.26	v -x1286 -x1210 -x1237 -x1162 -x1184 -x1131 -x1150 -x1095 -x1071 -x1050 -x1032 -x1014 -x992 -x960 -x936 -x923 -x900 -x882 -x861 
12.15/12.26	v -x843 -x826 -x811 -x796 -x773 -x687 -x706 -x733 -x752 -x587 -x615 -x634 -x660 -x490 -x512 -x537 -x555 -x403 -x426 -x452 -x471 
12.15/12.26	v -x332 -x311 -x380 -x354 -x231 -x205 -x284 -x254 -x922 -x899 -x881 -x860 -x842 -x825 -x810 -x795 -x772 -x686 -x705 -x732 -x751 
12.15/12.26	v -x586 -x614 -x633 -x659 -x489 -x511 -x536 -x554 -x402 -x425 -x451 -x470 -x331 -x310 -x379 -x353 -x230 -x204 -x283 -x253 
12.15/12.26	v -x140 -x115 -x187 -x164 -x48 -x36 -x4 -x78 -x60 -x2746 -x2764 -x2711 -x2726 -x2816 -x2837 -x2782 -x2799 -x2607 -x2623 -x2570 
12.15/12.26	v -x2591 -x2677 x2699 -x2633 -x2654 -x2457 -x2432 -x2399 -x2373 -x2544 -x2519 -x2542 -x2525 -x2403 -x2379 -x287 -x258 -x234 -x207 
12.15/12.26	v -x497 -x523 -x982 -x933 -x1204 x1229 -x1256 -x1281 -x1847 -x1828 -x1696 -x1670 -x2552 -x2528 -x2499 -x2481 -x912 -x1334 -x1314 
12.15/12.26	v x1372 -x1523 -x1461 -x1481 -x2113 -x2338 -x2142 -x2174 -x2199 -x572 -x650 -x627 -x691 -x1226 -x1360 -x1341 -x1324 -x1877 
12.15/12.26	v -x1918 -x1901 -x2086 -x2784 -x2798 -x2818 -x2836 -x2568 -x2579 -x2592 -x2611 -x526 -x505 -x482 -x460 -x436 -x418 -x757 -x739 
12.15/12.26	v -x1251 -x1225 -x1296 -x1274 -x1145 -x1125 -x1190 -x1164 -x984 -x1009 -x1917 -x1900 -x1882 -x1862 -x1998 -x1982 -x1827 -x1856 
12.15/12.26	v -x1779 -x1801 -x2583 -x2557 -x2619 -x2602 -x2427 -x2455 -x2474 x2492 -x2526 -x2545 -x1888 -x1869 -x1012 x277 -x508 -x2725 -x2081 
12.15/12.26	v -x1340 -x2578 -x1959 x1004 -x1234 -x521 -x2666 -x1911 -x1935 -x1879 -x1894 -x2679 -x2702 -x2569 -x2584 -x2263 -x2233 -x2326 
12.15/12.26	v -x2291 -x1688 -x1667 -x1630 x1603 -x1063 -x1041 -x1105 -x1081 -x232 -x206 -x376 -x347 -x1108 -x1861 -x2630 -x413 x1384 -x1891 
12.15/12.26	v -x2750 -x2765 -x2710 -x2729 -x2821 -x2843 -x2848 -x2790 -x2808 -x144 -x114 -x189 -x163 -x45 -x17 -x88 -x440 -x463 -x684 
12.15/12.26	v -x712 -x727 -x758 -x589 -x577 -x600 -x623 -x642 -x929 -x904 -x878 -x862 -x846 -x1168 -x1187 -x1117 -x1141 -x1429 -x1449 -x1397 
12.15/12.26	v -x1411 -x1403 -x1342 -x1366 -x1305 -x1328 -x2036 -x2052 -x2007 -x1694 -x1672 -x1848 -x1822 -x1797 -x1773 -x1521 -x1500 -x1478 
12.15/12.26	v -x1483 -x1460 -x1646 -x1623 -x1596 -x1564 -x2720 -x2405 -x2378 -x2453 -x2429 -x2503 -x2477 -x2551 -x2529 -x2149 -x2125 -x2145 
12.15/12.26	v -x2229 -x2204 -x2275 -x2243 -x2342 -x415 -x435 -x373 -x360 -x327 -x302 -x280 -x247 -x225 -x202 -x194 -x180 -x154 -x123 -x98 
12.15/12.26	v x84 x14 x13 x12 x8 x5 x3 
12.15/12.26	c SCIP Status        : problem is solved [optimal solution found]
12.15/12.26	c Total Time         :      12.25
12.15/12.26	c   solving          :      12.25
12.15/12.26	c   presolving       :       1.71 (included in solving)
12.15/12.26	c   reading          :       0.01 (included in solving)
12.15/12.26	c   copying          :       0.07 (13 #copies) (minimal 0.00, maximal 0.01, average 0.01)
12.15/12.26	c Original Problem   :
12.15/12.26	c   Problem name     : HOME/instance-4499268-1751406563.opb
12.15/12.26	c   Variables        : 2850 (2850 binary, 0 integer, 0 implicit integer, 0 continuous)
12.15/12.26	c   Constraints      : 3286 initial, 3286 maximal
12.15/12.26	c   Objective        : minimize, 6 non-zeros (abs.min = 1, abs.max = 1)
12.15/12.26	c Presolved Problem  :
12.15/12.26	c   Problem name     : t_HOME/instance-4499268-1751406563.opb
12.15/12.26	c   Variables        : 1946 (1946 binary, 0 integer, 0 implicit integer, 0 continuous)
12.15/12.26	c   Constraints      : 706 initial, 3644 maximal
12.15/12.26	c   Objective        : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
12.15/12.26	c   Nonzeros         : 34478 constraint, 60852 clique table
12.15/12.26	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
12.15/12.26	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
12.15/12.26	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
12.15/12.26	c   domcol           :       0.01       0.00      3          0          0          0          0          0          0          0          0          0
12.15/12.26	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
12.15/12.26	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
12.15/12.26	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
12.15/12.26	c   dualsparsify     :       0.01       0.00      1          0          0          0          0          0          0          0          0          0
12.15/12.26	c   gateextraction   :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
12.15/12.26	c   implics          :       0.00       0.00     10          0          0          0          0          0          0          0          0          0
12.15/12.26	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
12.15/12.26	c   milp             :       0.01       0.00      1          0          0          0          0          0          0          0          0          0
12.15/12.26	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
12.15/12.26	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
12.15/12.26	c   sparsify         :       0.01       0.00      1          0          0          0          0          0          0          0          0          0
12.15/12.26	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
12.15/12.26	c   trivial          :       0.00       0.00     12          0          0          0          0          0          0          0          0          0
12.15/12.26	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
12.15/12.26	c   dualfix          :       0.00       0.00     12          0          0          0          0          0          0          0          0          0
12.15/12.26	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
12.15/12.26	c   probing          :       0.95       0.00      3          5          0          0          0          0          0          0          0          0
12.15/12.26	c   pseudoobj        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
12.15/12.26	c   symmetry         :       0.65       0.00      1        677          0          0          0          0          0        383          0          0
12.15/12.26	c   vbounds          :       0.00       0.00      2          0          0          0          0          0          0          0          0          0
12.15/12.26	c   knapsack         :       0.04       0.00     21          0          0          0          0          0         59          0          0          0
12.15/12.26	c   setppc           :       0.00       0.00     21          0          0          0          0          0          0          0          0          0
12.15/12.26	c   linear           :       0.02       0.00      4          6          0          0          6          0       2845          0          0          0
12.15/12.26	c   orbitope         :       0.00       0.00      8        216          0          0          0          0         59          0          0          0
12.15/12.26	c   logicor          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
12.15/12.26	c   benders          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
12.15/12.26	c   components       :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
12.15/12.26	c   root node        :          -          -      -          0          -          -          0          -          -          -          -          -
12.15/12.26	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
12.15/12.26	c   benderslp        :          0          0          0          0       1907          0          0        485          0          0          0          0          0          0          0
12.15/12.26	c   integral         :          0          0          0          0       1907          0          0        485          0          0          0          0          0          0       3812
12.15/12.26	c   knapsack         :        325+       327         11      15523          1          0          0        479      69735        134      61510       2213         12          0          0
12.15/12.26	c   setppc           :         57+        83         11      15389          1          0          0          3       9543        109      12398          1          0          0          0
12.15/12.26	c   linear           :          0+        17          0       9054          0          0          0          3       2207        130       5917          0          0          0          0
12.15/12.26	c   orbitope         :        324        324          0      15050          0          0          0          0       8524         94      15991          0          0          0          0
12.15/12.26	c   logicor          :          0+      2894         11       4087          0          0          0          0        278         71        452          0          0          0          0
12.15/12.26	c   benders          :          0          0          0          0          1          0          0          2          0          0          0          0          0          0          0
12.15/12.26	c   fixedvar         :          0          0          0          0          1          0          0          2          0          0          0          0          0          0          0
12.15/12.26	c   countsols        :          0          0          0          0          1          0          0          2          0          0          0          0          0          0          0
12.15/12.26	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
12.15/12.26	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
12.15/12.26	c   benderslp        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
12.15/12.26	c   integral         :       0.13       0.00       0.00       0.00       0.13       0.00       0.00       0.00       0.00       0.00
12.15/12.26	c   knapsack         :       0.27       0.00       0.02       0.22       0.00       0.00       0.00       0.01       0.02       0.00
12.15/12.26	c   setppc           :       0.09       0.00       0.00       0.08       0.00       0.00       0.00       0.00       0.01       0.00
12.15/12.26	c   linear           :       0.05       0.00       0.00       0.03       0.00       0.00       0.00       0.00       0.01       0.00
12.15/12.26	c   orbitope         :       1.53       0.00       0.00       1.52       0.00       0.00       0.00       0.00       0.00       0.00
12.15/12.26	c   logicor          :       0.07       0.00       0.00       0.07       0.00       0.00       0.00       0.00       0.00       0.00
12.15/12.26	c   benders          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
12.15/12.26	c   fixedvar         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
12.15/12.26	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
12.15/12.26	c   components       :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
12.15/12.26	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
12.15/12.26	c   dualfix          :          1          0          0          0
12.15/12.26	c   genvbounds       :          0          0          0          0
12.15/12.26	c   nlobbt           :          0          0          0          0
12.15/12.26	c   obbt             :          0          0          0          0
12.15/12.26	c   probing          :          0          0          0          0
12.15/12.26	c   pseudoobj        :          0          0          0          0
12.15/12.26	c   redcost          :          0          0          0          0
12.15/12.26	c   rootredcost      :          0          0          0          0
12.15/12.26	c   symmetry         :          0          0          0          0
12.15/12.26	c   vbounds          :       6313          0          0          0
12.15/12.26	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
12.15/12.26	c   dualfix          :       0.00       0.00       0.00       0.00       0.00       0.00
12.15/12.26	c   genvbounds       :       0.00       0.00       0.00       0.00       0.00       0.00
12.15/12.26	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
12.15/12.26	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
12.15/12.26	c   probing          :       0.95       0.00       0.95       0.00       0.00       0.00
12.15/12.26	c   pseudoobj        :       0.00       0.00       0.00       0.00       0.00       0.00
12.15/12.26	c   redcost          :       0.00       0.00       0.00       0.00       0.00       0.00
12.15/12.26	c   rootredcost      :       0.00       0.00       0.00       0.00       0.00       0.00
12.15/12.26	c   symmetry         :       0.66       0.00       0.65       0.00       0.00       0.00
12.15/12.26	c   vbounds          :       0.03       0.00       0.00       0.03       0.00       0.00
12.15/12.26	c Symmetry           :
12.15/12.26	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
12.15/12.26	c   orbital reduction:          0 reductions applied,          0 cutoffs
12.15/12.26	c   lexicographic red:          0 reductions applied,          0 cutoffs
12.15/12.26	c   shadow tree time :       0.00 s
12.15/12.26	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
12.15/12.26	c   propagation      :       0.11        410        392          -       6565      149.4          6       62.5          -          -          -
12.15/12.26	c   infeasible LP    :       0.67       1093         77          -       1864      226.8          1       69.0         19      226.4          0
12.15/12.26	c   bound exceed. LP :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
12.15/12.26	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
12.15/12.26	c   pseudo solution  :       0.00          1          1          -          1        0.0          0        0.0          -          -          -
12.15/12.26	c   applied globally :       0.10          -          -          0       3241       84.8          -          -         19          -          -
12.15/12.26	c   applied locally  :          -          -          -          0          0        0.0          -          -          0          -          -
12.15/12.26	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
12.15/12.26	c   cut pool         :       0.54          -        729         21          -          -       8750     131625          -          -          -          -          -    (maximal pool size:       4342)
12.15/12.26	c   aggregation      :       0.42       0.00         81         11          0          0       6594     110917        334       2696       2660         36          0
12.15/12.26	c   > cmir           :          -          -          -          -          -          -          -     105138         11       1905       1904          1          -
12.15/12.26	c   > flowcover      :          -          -          -          -          -          -          -       5617          3        723        720          3          -
12.15/12.26	c   > knapsackcover  :          -          -          -          -          -          -          -        162        320         68         36         32          -
12.15/12.26	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
12.15/12.26	c   clique           :       0.03       0.00         11         11          0          0         11         27          0          4          4          0          0
12.15/12.26	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
12.15/12.26	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
12.15/12.26	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
12.15/12.26	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
12.15/12.26	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
12.15/12.26	c   gomory           :       0.66       0.00         85         10          0          0       3074      20481        668        445        420         25          0
12.15/12.26	c   > gomorymi       :          -          -          -          -          -          -          -       8439        334        272        255         17          -
12.15/12.26	c   > strongcg       :          -          -          -          -          -          -          -      12042        334        173        165          8          -
12.15/12.26	c   impliedbounds    :       0.04       0.00         86         11          0          0         54         89          0         60         60          0          0
12.15/12.26	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
12.15/12.26	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
12.15/12.26	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
12.15/12.26	c   mcf              :       0.00       0.00          1          1          0          0          0          0          0          0          0          0          0
12.15/12.26	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
12.15/12.26	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
12.15/12.26	c   multilinear      :       0.00       0.00         17         11          0          0          0          0          0          0          0          0          0
12.15/12.26	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
12.15/12.26	c   rapidlearning    :       0.53       0.00          9          1          0         72          0          0          0          0          0          0         20
12.15/12.26	c   rlt              :       0.00       0.00         64         10          0          0          0          0          0          0          0          0          0
12.15/12.26	c   zerohalf         :       0.03       0.00         76         11          0          0        116        111         97         10          8          2          0
12.15/12.26	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
12.15/12.26	c   hybrid           :       0.10       0.00        652         11       3227          0     131711        174          0       7292
12.15/12.26	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
12.15/12.26	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
12.15/12.26	c Pricers            :   ExecTime  SetupTime      Calls       Vars
12.15/12.26	c   problem variables:       0.00          -          0          0
12.15/12.26	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
12.15/12.26	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
12.15/12.26	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
12.15/12.26	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
12.15/12.26	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
12.15/12.26	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
12.15/12.26	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
12.15/12.26	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
12.15/12.26	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
12.15/12.26	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
12.15/12.26	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
12.15/12.26	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
12.15/12.26	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
12.15/12.26	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
12.15/12.26	c   relpscost        :       0.13       0.00       1906          0          0          0          0          0          0       3812
12.15/12.26	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
12.15/12.26	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
12.15/12.26	c   LP solutions     :       0.00          -          -          1          1
12.15/12.26	c   relax solutions  :       0.00          -          -          0          0
12.15/12.26	c   pseudo solutions :       0.00          -          -          0          0
12.15/12.26	c   strong branching :       0.00          -          -          0          0
12.15/12.26	c   actconsdiving    :       0.00       0.00          0          0          0
12.15/12.26	c   adaptivediving   :       0.20       0.00         17          0          0
12.15/12.26	c   alns             :       0.25       0.00          3          0          0
12.15/12.26	c   bound            :       0.00       0.00          0          0          0
12.15/12.26	c   clique           :       0.01       0.00          1          0          0
12.15/12.26	c   coefdiving       :       0.00       0.00          0          0          0
12.15/12.26	c   completesol      :       0.00       0.00          0          0          0
12.15/12.26	c   conflictdiving   :       0.10       0.00          9          0          0
12.15/12.26	c   crossover        :       0.00       0.00          0          0          0
12.15/12.26	c   dins             :       0.00       0.00          0          0          0
12.15/12.26	c   distributiondivin:       0.26       0.00          9          0          0
12.15/12.26	c   dps              :       0.00       0.00          0          0          0
12.15/12.26	c   dualval          :       0.00       0.00          0          0          0
12.15/12.26	c   farkasdiving     :       0.00       0.00          0          0          0
12.15/12.26	c   feasjump         :       0.09       0.00          1          0          0
12.15/12.26	c   feaspump         :       0.06       0.00          5          0          0
12.15/12.26	c   fixandinfer      :       0.00       0.00          0          0          0
12.15/12.26	c   fracdiving       :       0.05       0.00          9          0          0
12.15/12.26	c   gins             :       0.00       0.00          0          0          0
12.15/12.26	c   guideddiving     :       0.00       0.00          0          0          0
12.15/12.26	c   indcoefdiving    :       0.00       0.00          0          0          0
12.15/12.26	c   indicator        :       0.00       0.00          0          0          0
12.15/12.26	c   indicatordiving  :       0.00       0.00          0          0          0
12.15/12.26	c   indoneopt        :       0.00       0.00          0          0          0
12.15/12.26	c   indrounding      :       0.00       0.00          0          0          0
12.15/12.26	c   indtwoopt        :       0.00       0.00          0          0          0
12.15/12.26	c   intdiving        :       0.00       0.00          0          0          0
12.15/12.26	c   intshifting      :       0.00       0.00          0          0          0
12.15/12.26	c   linesearchdiving :       0.05       0.00          9          0          0
12.15/12.26	c   localbranching   :       0.00       0.00          0          0          0
12.15/12.26	c   locks            :       0.01       0.00          1          0          0
12.15/12.26	c   lpface           :       0.00       0.00          0          0          0
12.15/12.26	c   mpec             :       0.00       0.00          0          0          0
12.15/12.26	c   multistart       :       0.00       0.00          0          0          0
12.15/12.26	c   mutation         :       0.00       0.00          0          0          0
12.15/12.26	c   nlpdiving        :       0.00       0.00          0          0          0
12.15/12.26	c   objpscostdiving  :       0.21       0.00          5          0          0
12.15/12.26	c   octane           :       0.00       0.00          0          0          0
12.15/12.26	c   ofins            :       0.00       0.00          0          0          0
12.15/12.26	c   oneopt           :       0.00       0.00          0          0          0
12.15/12.26	c   padm             :       0.00       0.00          0          0          0
12.15/12.26	c   proximity        :       0.00       0.00          0          0          0
12.15/12.26	c   pscostdiving     :       0.10       0.00          9          0          0
12.15/12.26	c   randrounding     :       0.10       0.00        484          0          0
12.15/12.26	c   rens             :       0.01       0.00          1          0          0
12.15/12.26	c   reoptsols        :       0.00       0.00          0          0          0
12.15/12.26	c   repair           :       0.00       0.00          0          0          0
12.15/12.26	c   rins             :       0.00       0.00          0          0          0
12.15/12.26	c   rootsoldiving    :       0.11       0.00          5          0          0
12.15/12.26	c   rounding         :       0.01       0.00        671          0          0
12.15/12.26	c   scheduler        :       0.00       0.00          0          0          0
12.15/12.26	c   shiftandpropagate:       0.01       0.00          1          0          0
12.15/12.26	c   shifting         :       0.16       0.00        371          0          0
12.15/12.26	c   simplerounding   :       0.00       0.00          0          0          0
12.15/12.26	c   smallcard        :       0.00       0.00          0          0          0
12.15/12.26	c   subnlp           :       0.00       0.00          0          0          0
12.15/12.26	c   trivial          :       0.00       0.00          2          0          0
12.15/12.26	c   trivialnegation  :       0.00       0.00          0          0          0
12.15/12.26	c   trustregion      :       0.00       0.00          0          0          0
12.15/12.26	c   trysol           :       0.00       0.00          0          0          0
12.15/12.26	c   twoopt           :       0.00       0.00          0          0          0
12.15/12.26	c   undercover       :       0.00       0.00          0          0          0
12.15/12.26	c   vbounds          :       0.06       0.00          1          0          0
12.15/12.26	c   veclendiving     :       0.04       0.00          9          0          0
12.15/12.26	c   zeroobj          :       0.00       0.00          0          0          0
12.15/12.26	c   zirounding       :       0.01       0.00       1000          0          0
12.15/12.26	c   other solutions  :          -          -          -          0          -
12.15/12.26	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
12.15/12.26	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
12.15/12.26	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
12.15/12.26	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
12.15/12.26	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
12.15/12.26	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
12.15/12.26	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
12.15/12.26	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
12.15/12.26	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
12.15/12.26	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
12.15/12.26	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
12.15/12.26	c   primal LP        :       0.12        288          0       0.00       0.00       0.12        288
12.15/12.26	c   dual LP          :       3.27       3629      61843      17.13   18892.04       0.00         18
12.15/12.26	c   lex dual LP      :       0.00          0          0       0.00          -
12.15/12.26	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
12.15/12.26	c   resolve instable :       0.00          0          0       0.00          -
12.15/12.26	c   diving/probing LP:       0.59        588      11194      19.04   18847.18
12.15/12.26	c   strong branching :       0.07         12        619      51.58    9288.72          -          -          0
12.15/12.26	c     (at root node) :          -         12        619      51.58          -
12.15/12.26	c   conflict analysis:       0.00          0          0       0.00          -
12.15/12.26	c B&B Tree           :
12.15/12.26	c   number of runs   :          1
12.15/12.26	c   nodes            :       3265 (1906 internal, 1359 leaves)
12.15/12.26	c   feasible leaves  :          1
12.15/12.26	c   infeas. leaves   :       1358
12.15/12.26	c   objective leaves :          0
12.15/12.26	c   nodes (total)    :       3265 (1906 internal, 1359 leaves)
12.15/12.26	c   nodes left       :          0
12.15/12.26	c   max depth        :         60
12.15/12.26	c   max depth (total):         60
12.15/12.26	c   backtracks       :        528 (16.2%)
12.15/12.26	c   early backtracks :          0 (0.0%)
12.15/12.26	c   nodes exc. ref.  :          0 (0.0%)
12.15/12.26	c   delayed cutoffs  :         44
12.15/12.26	c   repropagations   :        554 (4586 domain reductions, 29 cutoffs)
12.15/12.26	c   avg switch length:       3.54
12.15/12.26	c   switching time   :       0.33
12.15/12.26	c Root Node          :
12.15/12.26	c   First LP value   : +6.00000000000000e+00
12.15/12.26	c   First LP Iters   :        475 (42278.59 Iter/sec)
12.15/12.26	c   First LP Time    :       0.01
12.15/12.26	c   Final Dual Bound : +6.00000000000000e+00
12.15/12.26	c   Final Root Iters :       1198
12.15/12.26	c   Root LP Estimate : +6.00527599993373e+00
12.15/12.26	c Solution           :
12.15/12.26	c   Solutions found  :          1 (1 improvements)
12.15/12.26	c   First Solution   : +6.00000000000000e+00   (in run 1, after 3265 nodes, 12.24 seconds, depth 52, found by <relaxation>)
12.15/12.26	c   Gap First Sol.   :       0.00 %
12.15/12.26	c   Gap Last Sol.    :       0.00 %
12.15/12.26	c   Primal Bound     : +6.00000000000000e+00   (in run 1, after 3265 nodes, 12.24 seconds, depth 52, found by <relaxation>)
12.15/12.26	c   Dual Bound       : +6.00000000000000e+00
12.15/12.26	c   Gap              :       0.00 %
12.15/12.26	c Integrals          :      Total       Avg%
12.15/12.26	c   primal-dual      :    1224.53      99.98
12.15/12.26	c   primal-ref       :          -          - (not evaluated)
12.15/12.26	c   dual-ref         :          -          - (not evaluated)
12.15/12.29	c Time complete: 12.2466.

Verifier Data 

OK	6

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4499268-1751406563/watcher-4499268-1751406563 -o /tmp/evaluation-result-4499268-1751406563/solver-4499268-1751406563 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751402961-68379 --watchdog 3760 pbscip -f HOME/instance-4499268-1751406563.opb -t 3600 -j 2 -m 31000 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=68827, runsolver pid=68824

[startup+0.100064 s]*
/proc/loadavg: 4.11 4.19 4.09 5/267 68828
/proc/meminfo: memFree=128417180/131250000 swapFree=33010684/33010684
[pid=68827] ppid=68824 vsize=69128 memory=42500 CPUtime=0.09 cores=4,6
/proc/68827/stat : 68827 (pbscip) R 68824 68827 68368 0 -1 4194304 7847 0 0 0 8 1 0 0 20 0 1 0 56333841 70787072 10625 18446744073709551615 4235264 18693293 140724033660432 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27832320 140724033669513 140724033669612 140724033669612 140724033675214 0
/proc/68827/statm: 17282 10625 3776 3530 0 8733 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 69128 KiB
Current children cumulated memory: 42500 KiB

[startup+0.205392 s]*
/proc/loadavg: 4.11 4.19 4.09 5/267 68828
/proc/meminfo: memFree=128409368/131250000 swapFree=33010684/33010684
[pid=68827] ppid=68824 vsize=79480 memory=47876 CPUtime=0.19 cores=4,6
/proc/68827/stat : 68827 (pbscip) R 68824 68827 68368 0 -1 4194304 9225 0 0 0 18 1 0 0 20 0 1 0 56333841 81387520 11969 18446744073709551615 4235264 18693293 140724033660432 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27832320 140724033669513 140724033669612 140724033669612 140724033675214 0
/proc/68827/statm: 19870 11969 3776 3530 0 11321 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 79480 KiB
Current children cumulated memory: 47876 KiB

[startup+0.305137 s]*
/proc/loadavg: 4.11 4.19 4.09 5/267 68828
/proc/meminfo: memFree=128409368/131250000 swapFree=33010684/33010684
[pid=68827] ppid=68824 vsize=80504 memory=48900 CPUtime=0.29 cores=4,6
/proc/68827/stat : 68827 (pbscip) R 68824 68827 68368 0 -1 4194304 9474 0 0 0 28 1 0 0 20 0 1 0 56333841 82436096 12225 18446744073709551615 4235264 18693293 140724033660432 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27832320 140724033669513 140724033669612 140724033669612 140724033675214 0
/proc/68827/statm: 20126 12225 3776 3530 0 11577 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 80504 KiB
Current children cumulated memory: 48900 KiB

[startup+0.700095 s]
/proc/loadavg: 4.11 4.19 4.09 5/267 68828
/proc/meminfo: memFree=128393824/131250000 swapFree=33010684/33010684
[pid=68827] ppid=68824 vsize=82552 memory=51076 CPUtime=0.68 cores=4,6
/proc/68827/stat : 68827 (pbscip) R 68824 68827 68368 0 -1 4194304 10013 0 0 0 67 1 0 0 20 0 1 0 56333841 84533248 12769 18446744073709551615 4235264 18693293 140724033660432 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27832320 140724033669513 140724033669612 140724033669612 140724033675214 0
/proc/68827/statm: 20638 12769 3776 3530 0 12089 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 82552 KiB
Current children cumulated memory: 51076 KiB

[startup+1.5001 s]
/proc/loadavg: 4.11 4.19 4.09 5/267 68828
/proc/meminfo: memFree=128362072/131250000 swapFree=33010684/33010684
[pid=68827] ppid=68824 vsize=101176 memory=69380 CPUtime=1.48 cores=4,6
/proc/68827/stat : 68827 (pbscip) R 68824 68827 68368 0 -1 4194304 14612 0 0 0 146 2 0 0 20 0 1 0 56333841 103604224 17345 18446744073709551615 4235264 18693293 140724033660432 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27832320 140724033669513 140724033669612 140724033669612 140724033675214 0
/proc/68827/statm: 25294 17345 3776 3530 0 16745 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 101176 KiB
Current children cumulated memory: 69380 KiB

[startup+3.10526 s]
/proc/loadavg: 4.11 4.19 4.09 5/267 68828
/proc/meminfo: memFree=128210176/131250000 swapFree=33010684/33010684
[pid=68827] ppid=68824 vsize=132916 memory=101700 CPUtime=3.08 cores=4,6
/proc/68827/stat : 68827 (pbscip) R 68824 68827 68368 0 -1 4194304 26109 0 0 0 304 4 0 0 20 0 1 0 56333841 136105984 25425 18446744073709551615 4235264 18693293 140724033660432 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27832320 140724033669513 140724033669612 140724033669612 140724033675214 0
/proc/68827/statm: 33229 25425 3968 3530 0 24680 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 132916 KiB
Current children cumulated memory: 101700 KiB

[startup+6.30016 s]
/proc/loadavg: 4.10 4.19 4.09 5/267 68828
/proc/meminfo: memFree=128135600/131250000 swapFree=33010684/33010684
[pid=68827] ppid=68824 vsize=150884 memory=118540 CPUtime=6.26 cores=4,6
/proc/68827/stat : 68827 (pbscip) R 68824 68827 68368 0 -1 4194304 31498 0 0 0 622 4 0 0 20 0 1 0 56333841 154505216 29635 18446744073709551615 4235264 18693293 140724033660432 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27832320 140724033669513 140724033669612 140724033669612 140724033675214 0
/proc/68827/statm: 37721 29635 3968 3530 0 29172 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 150884 KiB
Current children cumulated memory: 118540 KiB

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

# cumulated CPU time of all completed processes:  user=12.1948 s, system=0.058762 s

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

[startup+6.40019 s]
/proc/loadavg: 4.10 4.19 4.09 5/267 68828
/proc/meminfo: memFree=128135600/131250000 swapFree=33010684/33010684
[pid=68827] ppid=68824 vsize=150884 memory=118540 CPUtime=6.36 cores=4,6
/proc/68827/stat : 68827 (pbscip) R 68824 68827 68368 0 -1 4194304 31498 0 0 0 632 4 0 0 20 0 1 0 56333841 154505216 29635 18446744073709551615 4235264 18693293 140724033660432 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27832320 140724033669513 140724033669612 140724033669612 140724033675214 0
/proc/68827/statm: 37721 29635 3968 3530 0 29172 0
Current children cumulated CPU time: 6.36 s
Current children cumulated vsize: 150884 KiB
Current children cumulated memory: 118540 KiB

[startup+9.60015 s]
/proc/loadavg: 4.10 4.19 4.09 5/267 68828
/proc/meminfo: memFree=128134844/131250000 swapFree=33010684/33010684
[pid=68827] ppid=68824 vsize=150884 memory=118668 CPUtime=9.55 cores=4,6
/proc/68827/stat : 68827 (pbscip) R 68824 68827 68368 0 -1 4194304 31556 0 0 0 951 4 0 0 20 0 1 0 56333841 154505216 29667 18446744073709551615 4235264 18693293 140724033660432 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27832320 140724033669513 140724033669612 140724033669612 140724033675214 0
/proc/68827/statm: 37721 29667 3968 3530 0 29172 0
Current children cumulated CPU time: 9.55 s
Current children cumulated vsize: 150884 KiB
Current children cumulated memory: 118668 KiB

[startup+11.2002 s]
/proc/loadavg: 4.10 4.19 4.09 5/267 68829
/proc/meminfo: memFree=128130812/131250000 swapFree=33010684/33010684
[pid=68827] ppid=68824 vsize=150884 memory=119820 CPUtime=11.15 cores=4,6
/proc/68827/stat : 68827 (pbscip) R 68824 68827 68368 0 -1 4194304 31816 0 0 0 1110 5 0 0 20 0 1 0 56333841 154505216 29955 18446744073709551615 4235264 18693293 140724033660432 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27832320 140724033669513 140724033669612 140724033669612 140724033675214 0
/proc/68827/statm: 37721 29955 3968 3530 0 29172 0
Current children cumulated CPU time: 11.15 s
Current children cumulated vsize: 150884 KiB
Current children cumulated memory: 119820 KiB

[startup+12.0002 s]*
/proc/loadavg: 4.10 4.19 4.09 5/267 68829
/proc/meminfo: memFree=128105108/131250000 swapFree=33010684/33010684
[pid=68827] ppid=68824 vsize=150884 memory=119820 CPUtime=11.95 cores=4,6
/proc/68827/stat : 68827 (pbscip) R 68824 68827 68368 0 -1 4194304 31817 0 0 0 1190 5 0 0 20 0 1 0 56333841 154505216 29955 18446744073709551615 4235264 18693293 140724033660432 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27832320 140724033669513 140724033669612 140724033669612 140724033675214 0
/proc/68827/statm: 37721 29955 3968 3530 0 29172 0
Current children cumulated CPU time: 11.95 s
Current children cumulated vsize: 150884 KiB
Current children cumulated memory: 119820 KiB

[startup+12.2002 s]
/proc/loadavg: 4.10 4.19 4.09 5/267 68829
/proc/meminfo: memFree=128105108/131250000 swapFree=33010684/33010684
[pid=68827] ppid=68824 vsize=150884 memory=119820 CPUtime=12.15 cores=4,6
/proc/68827/stat : 68827 (pbscip) R 68824 68827 68368 0 -1 4194304 31817 0 0 0 1210 5 0 0 20 0 1 0 56333841 154505216 29955 18446744073709551615 4235264 18693293 140724033660432 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27832320 140724033669513 140724033669612 140724033669612 140724033675214 0
/proc/68827/statm: 37721 29955 3968 3530 0 29172 0
Current children cumulated CPU time: 12.15 s
Current children cumulated vsize: 150884 KiB
Current children cumulated memory: 119820 KiB

Child status: 0

Real time (s): 12.2998
CPU time (s): 12.2535
CPU user time (s): 12.1948
CPU system time (s): 0.058762
CPU usage (%): 99.6238
Max. virtual memory (cumulated for all children) (KiB): 150884
Max. memory (cumulated for all children) (KiB): 119820

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.1948
system time used= 0.058762
maximum resident set size= 120736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31875
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= 80
involuntary context switches= 22


# summary of solver processes directly reported to runsolver:
#   pid: 68827
#   total CPU time (s): 12.2535
#   total CPU user time (s): 12.1948
#   total CPU system time (s): 0.058762

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.031783 second user time and 0.081493 second system time

The end

Launcher Data 

Begin job on nodeC016 at 2025-07-01 23:49:23
IDJOB=4499268
IDBENCH=148774
IDSOLVER=3365
FILE ID=nodeC016/4499268-1751406563
RUNJOBID= nodeC016-1751402961-68379
SLURM_JOB_ID= 9598289
Free space on /tmp= 433008 MiB

SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx57.opb
COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4499268-1751406563/watcher-4499268-1751406563 -o /tmp/evaluation-result-4499268-1751406563/solver-4499268-1751406563 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751402961-68379 --watchdog 3760  pbscip -f HOME/instance-4499268-1751406563.opb -t 3600 -j 2 -m 31000

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

MD5SUM BENCH= 27eb6e8556144c078dca5501dcfcfe75
RANDOM SEED=92545818

nodeC016 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        128449004 kB
MemAvailable:   129528716 kB
Buffers:            3280 kB
Cached:          1881712 kB
SwapCached:            0 kB
Active:           602984 kB
Inactive:        1610848 kB
Active(anon):     346932 kB
Inactive(anon):        0 kB
Active(file):     256052 kB
Inactive(file):  1610848 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             76224 kB
Writeback:             0 kB
AnonPages:        332156 kB
Mapped:           137276 kB
Shmem:             18072 kB
KReclaimable:     104100 kB
Slab:             192624 kB
SReclaimable:     104100 kB
SUnreclaim:        88524 kB
KernelStack:        4320 kB
PageTables:         3668 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     712884 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150520 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     22528 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:      201428 kB
DirectMap2M:     7958528 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432988 MiB
End job on nodeC016 at 2025-07-01 23:49:35