Trace number 4503893

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 2025-06-13OPT2899749 191.481 192.056

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat50_4_16_1.opb
MD5SUMd01f39fb61de71c60f300d6712f658b6
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 benchmark2899749
Best CPU time to get the best result obtained on this benchmark124.337
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5100
Total number of constraints7606
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)6
Number of constraints which are nor clauses,nor cardinality constraints7500
Minimum length of a constraint2
Maximum length of a constraint1225
Number of terms in the objective function 4950
Biggest coefficient in the objective function 143877824
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 43040121046
Number of bits of the sum of numbers in the objective function 36
Biggest number in a constraint 143877824
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 43040121046
Number of bits of the biggest sum of numbers36
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 8.0.0] [GitHash: 0408ae5eca]
0.00/0.00	c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c External libraries: 
0.00/0.00	c   SoPlex 8.0.0         Linear programming solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: 67f6a391]
0.00/0.00	c   CppAD 20180000.0     Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00	c   AMPL/MP 4.0.0        AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00	c   PaPILO 3.0.0         parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00	c   bliss 0.77           Computing Graph Automorphisms by T. Junttila and P. Kaski (users.aalto.fi/~tjunttil/bliss)
0.00/0.00	c   sassy 2.0            Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00	c 
0.00/0.00	c reading problem <HOME/instance-4503893-1751431483.opb>
0.00/0.02	c original problem has 5100 variables (5100 bin, 0 int, 0 cont) and 7606 constraints
0.00/0.02	c problem read in 0.019 seconds
0.00/0.03	c presolving:
0.00/0.05	c (round 1, fast)       2550 del vars, 4902 del conss, 0 add conss, 100 chg bounds, 1225 chg sides, 1225 chg coeffs, 0 upgd conss, 0 impls, 51 clqs
0.00/0.06	c    (0.1s) running MILP presolver
0.00/0.07	c    (0.1s) MILP presolver found nothing
0.00/0.08	c (round 2, exhaustive) 2550 del vars, 4902 del conss, 0 add conss, 100 chg bounds, 1225 chg sides, 1225 chg coeffs, 2701 upgd conss, 0 impls, 51 clqs
0.09/0.17	c    (0.2s) probing: 51/2550 (2.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.17	c    (0.2s) probing aborted: 50/50 successive totally useless probings
0.09/0.20	c    (0.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.20/0.21	c    (0.2s) no symmetry present (symcode time: 0.00)
0.20/0.21	c presolving (3 rounds: 3 fast, 2 medium, 2 exhaustive):
0.20/0.21	c  2550 deleted vars, 4902 deleted constraints, 0 added constraints, 100 tightened bounds, 0 added holes, 1225 changed sides, 1225 changed coefficients
0.20/0.21	c  0 implications, 51 cliques
0.20/0.21	c presolved problem has 2550 variables (2550 bin, 0 int, 0 cont) and 2704 constraints
0.20/0.21	c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
0.20/0.21	c    1375 constraints of type <knapsack>
0.20/0.21	c      51 constraints of type <setppc>
0.20/0.21	c       3 constraints of type <linear>
0.20/0.21	c    1275 constraints of type <logicor>
0.20/0.21	c transformed objective value is always integral (scale: 2)
0.20/0.21	c Presolving Time: 0.18
0.20/0.21	c 
0.20/0.21	c - non default parameters ----------------------------------------------------------------------
0.20/0.21	c 
0.20/0.21	c # SCIP version 10.0.0
0.20/0.21	c 
0.20/0.21	c # maximal time in seconds to run
0.20/0.21	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.20/0.21	c limits/time = 3596.999006
0.20/0.21	c 
0.20/0.21	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.20/0.21	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.20/0.21	c limits/memory = 27900
0.20/0.21	c 
0.20/0.21	c # belongs reading time to solving time?
0.20/0.21	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.20/0.21	c timing/reading = TRUE
0.20/0.21	c 
0.20/0.21	c # maximum allowed 'intsize' (i.e. the number of bits required to represent the sum of absolute values of all integers that appear in a constraint or objective function) or -1 for unlimited
0.20/0.21	c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
0.20/0.21	c reading/opbreader/maxintsize = 47
0.20/0.21	c 
0.20/0.21	c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
0.20/0.21	c # [type: int, advanced: TRUE, range: [0,15], default: 15]
0.20/0.21	c propagating/genvbounds/timingmask = 0
0.20/0.21	c 
0.20/0.21	c -----------------------------------------------------------------------------------------------
0.20/0.21	c 
0.20/0.23	o 306093145
0.20/0.23	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
0.20/0.23	c p 0.2s|     1 |     0 |    93 |     - |  clique|   0 |2550 |2704 |2704 |   0 |  0 |   0 |   0 |-3.000000e+00 | 3.060931e+08 |    Inf | unknown
0.59/0.66	c   0.7s|     1 |     0 |  3307 |     - |    57M |   0 |2550 |2704 |2704 |   0 |  0 |   0 |   0 | 1.464011e+06 | 3.060931e+08 |  Large | unknown
0.78/0.85	c   0.8s|     1 |     0 |  4013 |     - |    61M |   0 |2550 |2704 |2723 |  19 |  1 |   0 |   0 | 1.543273e+06 | 3.060931e+08 |  Large | unknown
0.99/1.01	c   1.0s|     1 |     0 |  4489 |     - |    62M |   0 |2550 |2706 |2749 |  45 |  2 |   2 |   0 | 1.581323e+06 | 3.060931e+08 |  Large | unknown
1.09/1.14	c   1.1s|     1 |     0 |  4742 |     - |    62M |   0 |2550 |2707 |2755 |  51 |  3 |   3 |   0 | 1.596346e+06 | 3.060931e+08 |  Large | unknown
1.18/1.28	c   1.3s|     1 |     0 |  5104 |     - |    63M |   0 |2550 |2708 |2763 |  59 |  4 |   4 |   0 | 1.630061e+06 | 3.060931e+08 |  Large | unknown
1.38/1.40	c   1.4s|     1 |     0 |  5253 |     - |    63M |   0 |2550 |2709 |2770 |  66 |  5 |   5 |   0 | 1.649513e+06 | 3.060931e+08 |  Large | unknown
1.48/1.56	c   1.6s|     1 |     0 |  5628 |     - |    64M |   0 |2550 |2709 |2774 |  70 |  6 |   5 |   0 | 1.674118e+06 | 3.060931e+08 |  Large | unknown
1.69/1.72	c   1.7s|     1 |     0 |  5916 |     - |    65M |   0 |2550 |2710 |2780 |  76 |  7 |   6 |   0 | 1.691254e+06 | 3.060931e+08 |  Large | unknown
1.79/1.86	c   1.9s|     1 |     0 |  6161 |     - |    65M |   0 |2550 |2711 |2786 |  82 |  8 |   7 |   0 | 1.704735e+06 | 3.060931e+08 |  Large | unknown
1.99/2.01	c   2.0s|     1 |     0 |  6333 |     - |    66M |   0 |2550 |2712 |2793 |  89 |  9 |   8 |   0 | 1.711875e+06 | 3.060931e+08 |  Large | unknown
2.09/2.16	c   2.2s|     1 |     0 |  6476 |     - |    67M |   0 |2550 |2713 |2794 |  90 | 10 |   9 |   0 | 1.716782e+06 | 3.060931e+08 |  Large | unknown
2.19/2.23	c   2.2s|     1 |     0 |  6665 |     - |    67M |   0 |2550 |2714 |2797 |  93 | 11 |  10 |   0 | 1.728172e+06 | 3.060931e+08 |  Large | unknown
2.29/2.31	c   2.3s|     1 |     0 |  6957 |     - |    68M |   0 |2550 |2715 |2801 |  97 | 12 |  11 |   0 | 1.744477e+06 | 3.060931e+08 |  Large | unknown
2.38/2.41	c   2.4s|     1 |     0 |  7273 |     - |    69M |   0 |2550 |2716 |2804 | 100 | 13 |  12 |   0 | 1.756997e+06 | 3.060931e+08 |  Large | unknown
2.38/2.48	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2.38/2.48	c   2.5s|     1 |     0 |  7450 |     - |    70M |   0 |2550 |2716 |2808 | 104 | 14 |  12 |   0 | 1.764544e+06 | 3.060931e+08 |  Large | unknown
2.48/2.54	c   2.5s|     1 |     0 |  7593 |     - |    71M |   0 |2550 |2717 |2809 | 105 | 15 |  13 |   0 | 1.768060e+06 | 3.060931e+08 |  Large | unknown
2.58/2.62	c   2.6s|     1 |     0 |  7803 |     - |    71M |   0 |2550 |2718 |2799 | 107 | 16 |  14 |   0 | 1.773698e+06 | 3.060931e+08 |  Large | unknown
2.68/2.71	c   2.7s|     1 |     0 |  8095 |     - |    72M |   0 |2550 |2719 |2807 | 115 | 17 |  15 |   0 | 1.785868e+06 | 3.060931e+08 |  Large | unknown
2.78/2.80	c   2.8s|     1 |     0 |  8380 |     - |    72M |   0 |2550 |2720 |2813 | 121 | 18 |  16 |   0 | 1.791712e+06 | 3.060931e+08 |  Large | unknown
2.78/2.89	c   2.9s|     1 |     0 |  8625 |     - |    73M |   0 |2550 |2721 |2823 | 131 | 19 |  17 |   0 | 1.796124e+06 | 3.060931e+08 |  Large | unknown
2.88/2.97	c   3.0s|     1 |     0 |  8846 |     - |    73M |   0 |2550 |2722 |2827 | 135 | 20 |  18 |   0 | 1.799915e+06 | 3.060931e+08 |  Large | unknown
2.99/3.01	c   3.0s|     1 |     0 |  8861 |     - |    73M |   0 |2550 |2722 |2828 | 136 | 21 |  18 |   0 | 1.799967e+06 | 3.060931e+08 |  Large | unknown
11.26/11.39	c  11.4s|     1 |     2 | 36281 |     - |    75M |   0 |2550 |2733 |2828 | 136 | 22 |  29 |  31 | 1.818516e+06 | 3.060931e+08 |  Large | unknown
32.02/32.14	o 5414861
32.02/32.14	c d32.1s|    30 |    20 | 59116 |1736.1 |pscostdi|  13 |2550 |2748 |2830 |   0 |  1 |  45 | 266 | 1.818516e+06 | 5.414861e+06 | 197.76%|   0.30%
35.30/35.40	o 5413817
35.30/35.40	c *35.4s|    59 |    23 | 73367 |1113.8 |strongbr|  14 |2550 |2757 |2833 | 223 |  1 |  57 | 273 | 1.818516e+06 | 5.413817e+06 | 197.71%|   6.98%
42.78/42.90	c  42.9s|   100 |    38 | 99192 | 913.4 |    85M |  24 |2550 |2768 |2827 | 277 |  1 |  71 | 308 | 1.824967e+06 | 5.413817e+06 | 196.65%|   7.21%
50.16/50.38	c  50.4s|   200 |    62 |129891 | 608.7 |    86M |  81 |2550 |2789 |2838 | 290 |  1 |  95 | 340 | 1.824967e+06 | 5.413817e+06 | 196.65%|   7.21%
55.05/55.20	c  55.2s|   300 |    64 |145751 | 458.1 |    89M | 118 |2550 |2918 |2842 | 297 |  2 | 443 | 446 | 1.824967e+06 | 5.413817e+06 | 196.65%|   7.21%
58.23/58.44	c  58.4s|   400 |    72 |156224 | 369.6 |    89M | 118 |2550 |2855 |2841 | 301 |  1 | 507 | 477 | 1.824967e+06 | 5.413817e+06 | 196.65%|   7.21%
60.93/61.14	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
60.93/61.14	c  61.1s|   500 |    78 |165952 | 315.0 |    89M | 127 |2550 |2857 |2841 | 305 |  1 | 537 | 497 | 1.824967e+06 | 5.413817e+06 | 196.65%|   7.21%
63.12/63.31	c  63.3s|   600 |    86 |173433 | 274.9 |    89M | 152 |2550 |2907 |2844 | 311 |  0 | 629 | 532 | 1.824967e+06 | 5.413817e+06 | 196.65%|   7.21%
71.09/71.37	o 5393889
71.09/71.37	c *71.4s|   672 |    86 |200067 | 285.1 |    LP  | 152 |2550 |3047 |2834 | 382 |  1 | 937 | 676 | 1.845737e+06 | 5.393889e+06 | 192.24%|   7.29%
73.49/73.73	c  73.7s|   700 |    84 |202536 | 277.2 |    92M | 152 |2550 |2961 |2841 | 383 |  0 | 946 | 681 | 1.845737e+06 | 5.393889e+06 | 192.24%|   7.72%
79.17/79.40	c  79.4s|   800 |    87 |223874 | 269.2 |    92M | 152 |2550 |2906 |2838 | 394 |  0 |1095 | 731 | 1.845737e+06 | 5.393889e+06 | 192.24%|   7.88%
86.65/86.91	c  86.9s|   900 |    95 |248082 | 266.2 |    93M | 152 |2550 |2916 |2837 | 433 |  1 |1227 | 821 | 1.845737e+06 | 5.393889e+06 | 192.24%|   9.87%
86.75/87.06	o 3293037
86.75/87.06	c *87.1s|   905 |    35 |248986 | 265.7 |    LP  | 152 |2550 |2915 |2838 | 434 |  1 |1227 | 821 | 1.845737e+06 | 3.293037e+06 |  78.41%|  14.59%
87.75/88.01	o 3292829
87.75/88.01	c *88.0s|   948 |    44 |253822 | 258.8 |    LP  | 152 |2550 |2879 |2841 | 439 |  2 |1241 | 821 | 1.845737e+06 | 3.292829e+06 |  78.40%|  14.60%
88.34/88.65	o 3276259
88.34/88.65	c *88.7s|   975 |    43 |257220 | 255.1 |    LP  | 152 |2550 |2862 |2846 | 448 |  3 |1241 | 821 | 1.845737e+06 | 3.276259e+06 |  77.50%|  14.83%
88.54/88.83	o 3271389
88.54/88.83	c *88.8s|   977 |    41 |257858 | 255.2 |strongbr| 152 |2550 |2860 |2844 | 448 |  2 |1242 | 823 | 1.845737e+06 | 3.271389e+06 |  77.24%|  15.42%
89.44/89.71	c  89.7s|  1000 |    44 |260769 | 252.3 |    94M | 152 |2550 |2842 |2847 | 460 |  1 |1244 | 836 | 1.845737e+06 | 3.271389e+06 |  77.24%|  16.43%
90.84/91.14	o 3270171
90.84/91.14	c *91.1s|  1034 |    38 |265991 | 249.0 |    LP  | 152 |2550 |2795 |2842 | 460 |  2 |1261 | 873 | 1.858991e+06 | 3.270171e+06 |  75.91%|  22.23%
92.63/92.94	o 3265889
92.63/92.94	c *92.9s|  1100 |    42 |272308 | 239.8 |    LP  | 152 |2550 |2792 |2840 | 465 |  2 |1271 | 910 | 1.858991e+06 | 3.265889e+06 |  75.68%|  23.09%
93.33/93.63	c Restart triggered after 50 consecutive estimations that the remaining tree will be large
93.33/93.63	c (run 1, node 1126) performing user restart
93.33/93.63	c 
93.33/93.63	c (restart) converted 80 cuts from the global cut pool into linear constraints
93.33/93.63	c 
93.33/93.64	c presolving:
93.33/93.65	c (round 1, fast)       1067 del vars, 1069 del conss, 1 add conss, 0 chg bounds, 1 chg sides, 727 chg coeffs, 0 upgd conss, 0 impls, 99 clqs
93.33/93.65	c (round 2, fast)       1068 del vars, 1072 del conss, 2 add conss, 0 chg bounds, 2 chg sides, 739 chg coeffs, 0 upgd conss, 0 impls, 98 clqs
93.33/93.65	c    (93.7s) running MILP presolver
93.33/93.65	c    (93.7s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
93.33/93.65	c (round 3, medium)     1070 del vars, 1074 del conss, 6 add conss, 0 chg bounds, 5 chg sides, 742 chg coeffs, 0 upgd conss, 0 impls, 117 clqs
93.33/93.66	c (round 4, fast)       1070 del vars, 1081 del conss, 8 add conss, 0 chg bounds, 5 chg sides, 755 chg coeffs, 0 upgd conss, 0 impls, 117 clqs
93.33/93.66	c (round 5, exhaustive) 1070 del vars, 1083 del conss, 9 add conss, 0 chg bounds, 5 chg sides, 755 chg coeffs, 0 upgd conss, 0 impls, 117 clqs
93.33/93.66	c (round 6, exhaustive) 1070 del vars, 1083 del conss, 9 add conss, 0 chg bounds, 5 chg sides, 755 chg coeffs, 80 upgd conss, 0 impls, 117 clqs
93.33/93.66	c (round 7, medium)     1070 del vars, 1083 del conss, 10 add conss, 0 chg bounds, 7 chg sides, 758 chg coeffs, 80 upgd conss, 0 impls, 117 clqs
93.33/93.67	c (round 8, exhaustive) 1070 del vars, 1090 del conss, 10 add conss, 0 chg bounds, 7 chg sides, 825 chg coeffs, 80 upgd conss, 0 impls, 117 clqs
93.33/93.69	c presolving (9 rounds: 9 fast, 6 medium, 4 exhaustive):
93.33/93.69	c  1070 deleted vars, 1090 deleted constraints, 10 added constraints, 0 tightened bounds, 0 added holes, 7 changed sides, 825 changed coefficients
93.33/93.69	c  0 implications, 117 cliques
93.33/93.69	c presolved problem has 1480 variables (1480 bin, 0 int, 0 cont) and 1792 constraints
93.33/93.69	c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
93.33/93.69	c     357 constraints of type <knapsack>
93.33/93.69	c      51 constraints of type <setppc>
93.33/93.69	c       8 constraints of type <linear>
93.33/93.69	c    1376 constraints of type <logicor>
93.33/93.69	c transformed objective value is always integral (scale: 2)
93.33/93.69	c Presolving Time: 0.23
93.33/93.70	c transformed 11/12 original solutions to the transformed problem space
93.43/93.70	c 
94.03/94.31	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
94.03/94.31	c  94.3s|     1 |     0 |280814 |     - |    96M |   0 |1480 |1792 |1713 |   0 |  0 |1283 | 922 | 1.858991e+06 | 3.265889e+06 |  75.68%| unknown
94.13/94.47	c  94.5s|     1 |     0 |281514 |     - |    96M |   0 |1480 |1793 |1734 |  21 |  1 |1284 | 922 | 1.858991e+06 | 3.265889e+06 |  75.68%| unknown
94.13/94.47	c  94.5s|     1 |     0 |281514 |     - |    96M |   0 |1480 |1794 |1733 |  21 |  1 |1285 | 922 | 1.858991e+06 | 3.265889e+06 |  75.68%| unknown
94.33/94.61	c  94.6s|     1 |     0 |281914 |     - |    97M |   0 |1480 |1794 |1744 |  32 |  2 |1285 | 922 | 1.858991e+06 | 3.265889e+06 |  75.68%| unknown
94.33/94.61	c  94.6s|     1 |     0 |281914 |     - |    97M |   0 |1480 |1795 |1743 |  32 |  2 |1286 | 922 | 1.858991e+06 | 3.265889e+06 |  75.68%| unknown
94.42/94.78	c  94.8s|     1 |     0 |282338 |     - |   108M |   0 |1480 |1795 |1754 |  43 |  3 |1286 | 922 | 1.858991e+06 | 3.265889e+06 |  75.68%| unknown
94.62/94.91	c  94.9s|     1 |     0 |282624 |     - |   109M |   0 |1480 |1796 |1762 |  51 |  4 |1287 | 922 | 1.858991e+06 | 3.265889e+06 |  75.68%| unknown
94.73/95.04	c  95.0s|     1 |     0 |282855 |     - |   109M |   0 |1480 |1796 |1769 |  58 |  5 |1287 | 922 | 1.858991e+06 | 3.265889e+06 |  75.68%| unknown
94.83/95.16	c  95.2s|     1 |     0 |283042 |     - |   110M |   0 |1480 |1797 |1777 |  66 |  6 |1288 | 922 | 1.858991e+06 | 3.265889e+06 |  75.68%| unknown
94.92/95.27	c  95.3s|     1 |     0 |283121 |     - |   110M |   0 |1480 |1798 |1784 |  73 |  7 |1289 | 922 | 1.858991e+06 | 3.265889e+06 |  75.68%| unknown
94.92/95.27	c  95.3s|     1 |     0 |283121 |     - |   110M |   0 |1480 |1799 |1783 |  73 |  7 |1290 | 922 | 1.858991e+06 | 3.265889e+06 |  75.68%| unknown
95.02/95.39	c  95.4s|     1 |     0 |283258 |     - |   110M |   0 |1480 |1799 |1787 |  77 |  8 |1290 | 922 | 1.858991e+06 | 3.265889e+06 |  75.68%| unknown
95.22/95.52	c  95.5s|     1 |     0 |283423 |     - |   110M |   0 |1480 |1800 |1790 |  80 |  9 |1291 | 922 | 1.858991e+06 | 3.265889e+06 |  75.68%| unknown
95.32/95.66	c  95.7s|     1 |     0 |283623 |     - |   111M |   0 |1480 |1801 |1795 |  85 | 10 |1292 | 922 | 1.858991e+06 | 3.265889e+06 |  75.68%| unknown
95.42/95.72	c  95.7s|     1 |     0 |283724 |     - |   111M |   0 |1480 |1802 |1799 |  89 | 11 |1293 | 922 | 1.858991e+06 | 3.265889e+06 |  75.68%| unknown
95.42/95.78	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
95.42/95.78	c  95.8s|     1 |     0 |283938 |     - |   111M |   0 |1480 |1802 |1801 |  91 | 12 |1294 | 922 | 1.858991e+06 | 3.265889e+06 |  75.68%| unknown
95.52/95.84	c  95.8s|     1 |     0 |284006 |     - |   111M |   0 |1480 |1802 |1805 |  95 | 13 |1295 | 922 | 1.858991e+06 | 3.265889e+06 |  75.68%| unknown
95.62/95.92	c  95.9s|     1 |     0 |284284 |     - |   111M |   0 |1480 |1802 |1808 |  98 | 14 |1295 | 922 | 1.858991e+06 | 3.265889e+06 |  75.68%| unknown
95.62/95.98	c  96.0s|     1 |     0 |284465 |     - |   112M |   0 |1480 |1803 |1773 | 101 | 15 |1296 | 922 | 1.858991e+06 | 3.265889e+06 |  75.68%| unknown
95.72/96.03	c  96.0s|     1 |     0 |284612 |     - |   112M |   0 |1480 |1803 |1777 | 105 | 16 |1297 | 922 | 1.858991e+06 | 3.265889e+06 |  75.68%| unknown
95.72/96.09	c  96.1s|     1 |     0 |284807 |     - |   112M |   0 |1480 |1803 |1778 | 106 | 17 |1298 | 922 | 1.858991e+06 | 3.265889e+06 |  75.68%| unknown
95.82/96.15	c  96.2s|     1 |     0 |284948 |     - |   112M |   0 |1480 |1804 |1781 | 109 | 18 |1299 | 922 | 1.858991e+06 | 3.265889e+06 |  75.68%| unknown
95.92/96.21	c  96.2s|     1 |     0 |285145 |     - |   112M |   0 |1480 |1804 |1786 | 114 | 19 |1299 | 922 | 1.858991e+06 | 3.265889e+06 |  75.68%| unknown
95.92/96.27	c  96.3s|     1 |     0 |285283 |     - |   112M |   0 |1480 |1802 |1789 | 117 | 20 |1299 | 922 | 1.858991e+06 | 3.265889e+06 |  75.68%| unknown
96.02/96.30	c  96.3s|     1 |     0 |285307 |     - |   112M |   0 |1480 |1803 |1783 | 121 | 21 |1300 | 922 | 1.858991e+06 | 3.265889e+06 |  75.68%| unknown
99.01/99.33	c  99.3s|     1 |     2 |295559 |     - |   112M |   0 |1480 |1799 |1783 | 121 | 22 |1303 | 939 | 1.862862e+06 | 3.265889e+06 |  75.32%| unknown
112.96/113.38	c   113s|   100 |    33 |367770 | 284.4 |   115M |  28 |1480 |1808 |1762 | 170 |  0 |1324 |1008 | 1.927559e+06 | 3.265889e+06 |  69.43%|   8.08%
113.86/114.22	o 3236881
113.86/114.22	c * 114s|   118 |    33 |374959 | 286.1 |    LP  |  28 |1480 |1812 |1766 | 176 |  2 |1328 |1008 | 1.927559e+06 | 3.236881e+06 |  67.93%|   8.09%
113.86/114.29	o 2904069
113.86/114.29	c * 114s|   121 |    27 |375460 | 285.8 |    LP  |  28 |1480 |1808 |1766 | 176 |  1 |1328 |1008 | 1.927559e+06 | 2.904069e+06 |  50.66%|   8.73%
114.66/115.08	c   115s|   200 |    38 |381129 | 273.0 |   116M |  40 |1480 |1810 |1771 | 182 |  2 |1335 |1008 | 1.927559e+06 | 2.904069e+06 |  50.66%|  12.52%
120.34/120.78	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
120.34/120.78	c   121s|   300 |    62 |415432 | 277.9 |   116M |  40 |1480 |1838 |1770 | 205 |  0 |1397 |1043 | 1.946127e+06 | 2.904069e+06 |  49.22%|  25.15%
123.53/123.97	c   124s|   400 |    74 |432600 | 271.0 |   117M |  40 |1480 |1864 |   0 | 211 |  0 |1440 |1093 | 1.946127e+06 | 2.904069e+06 |  49.22%|  25.15%
128.62/129.08	c   129s|   500 |    86 |459144 | 270.6 |   118M |  41 |1480 |1887 |1800 | 276 |  0 |1485 |1123 | 1.956706e+06 | 2.904069e+06 |  48.42%|  25.20%
132.20/132.60	c   133s|   600 |    90 |474089 | 263.6 |   119M |  51 |1480 |1948 |1765 | 311 |  1 |1577 |1175 | 1.985611e+06 | 2.904069e+06 |  46.26%|  25.32%
138.48/138.98	c   139s|   700 |   112 |515449 | 271.8 |   119M |  51 |1480 |1964 |   0 | 343 |  0 |1632 |1216 | 2.035468e+06 | 2.904069e+06 |  42.67%|  25.54%
145.26/145.70	c   146s|   800 |   120 |551305 | 276.3 |   120M |  51 |1480 |2029 |1771 | 426 |  5 |1720 |1270 | 2.079545e+06 | 2.904069e+06 |  39.65%|  25.73%
152.33/152.83	c   153s|   900 |   130 |580801 | 277.2 |   124M |  52 |1480 |2072 |1800 | 559 |  0 |1788 |1318 | 2.130102e+06 | 2.904069e+06 |  36.33%|  25.95%
155.82/156.30	c   156s|  1000 |   140 |600535 | 273.5 |   125M |  57 |1480 |2036 |1787 | 618 |  1 |1821 |1338 | 2.130949e+06 | 2.904069e+06 |  36.28%|  25.95%
157.02/157.51	o 2899749
157.02/157.51	c * 158s|  1015 |   139 |605042 | 273.7 |strongbr|  57 |1480 |2058 |1795 | 648 |  1 |1864 |1356 | 2.130949e+06 | 2.899749e+06 |  36.08%|  25.95%
160.11/160.68	c   161s|  1100 |   140 |622294 | 271.0 |   126M |  58 |1480 |2039 |1792 | 692 |  1 |1954 |1395 | 2.137786e+06 | 2.899749e+06 |  35.64%|  27.66%
162.00/162.55	c   163s|  1200 |   148 |632059 | 263.5 |   127M |  66 |1480 |2074 |1797 | 724 |  0 |2015 |1425 | 2.137786e+06 | 2.899749e+06 |  35.64%|  27.67%
164.01/164.52	c   165s|  1300 |   150 |641891 | 256.7 |   127M |  66 |1480 |2091 |1797 | 745 |  1 |2035 |1446 | 2.137786e+06 | 2.899749e+06 |  35.64%|  27.67%
167.79/168.32	c   168s|  1400 |   162 |658872 | 253.3 |   127M |  69 |1480 |2083 |   0 | 800 |  0 |2131 |1501 | 2.184189e+06 | 2.899749e+06 |  32.76%|  29.24%
172.08/172.64	c   173s|  1500 |   168 |677796 | 250.8 |   130M |  69 |1480 |2025 |1798 | 934 |  0 |2210 |1538 | 2.219923e+06 | 2.899749e+06 |  30.62%|  29.47%
175.17/175.75	c   176s|  1600 |   176 |697406 | 248.8 |   130M |  70 |1480 |2038 |   0 | 971 |  0 |2273 |1557 | 2.227055e+06 | 2.899749e+06 |  30.21%|  33.05%
178.46/179.09	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
178.46/179.09	c   179s|  1700 |   170 |715825 | 246.5 |   130M |  91 |1480 |1965 |1788 |1025 |  0 |2343 |1594 | 2.240993e+06 | 2.899749e+06 |  29.40%|  36.23%
183.55/184.16	c   184s|  1800 |   166 |741285 | 246.8 |   130M |  91 |1480 |1967 |1757 |1111 |  2 |2428 |1651 | 2.281834e+06 | 2.899749e+06 |  27.08%|  40.58%
186.63/187.28	c   187s|  1900 |   147 |758622 | 244.4 |   131M |  91 |1480 |1927 |1787 |1185 |  3 |2573 |1711 | 2.289255e+06 | 2.899749e+06 |  26.67%|  45.89%
188.43/189.02	c   189s|  2000 |    85 |768016 | 239.6 |   131M |  91 |1480 |1904 |1836 |1224 |  0 |2690 |1762 | 2.372824e+06 | 2.899749e+06 |  22.21%|  57.20%
191.42/192.02	c 
191.42/192.02	c SCIP Status        : problem is solved [optimal solution found]
191.42/192.02	c Solving Time (sec) : 192.02
191.42/192.02	c Solving Nodes      : 2083 (total of 3209 nodes in 2 runs)
191.42/192.02	c Primal Bound       : +2.89974900000000e+06 (16 solutions)
191.42/192.02	c Dual Bound         : +2.89974900000000e+06
191.42/192.02	c Gap                : 0.00 %
191.42/192.03	s OPTIMUM FOUND
191.42/192.03	v -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573
191.42/192.03	v -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595
191.42/192.03	v -x596 -x597 -x598 -x599 x600 -x1101 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116
191.42/192.03	v -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135
191.42/192.03	v -x1136 -x1137 -x1138 x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1651 -x1652 -x1654 -x1655
191.42/192.03	v -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674
191.42/192.03	v x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693
191.42/192.03	v -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x2201 -x2202 -x2203 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213
191.42/192.03	v -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232
191.42/192.03	v -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2301
191.42/192.03	v -x2302 -x2303 -x2304 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321
191.42/192.03	v -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340
191.42/192.03	v -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2357 -x2358 -x2359 -x2360
191.42/192.03	v -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379
191.42/192.03	v -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398
191.42/192.03	v -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418
191.42/192.03	v -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437
191.42/192.03	v -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456
191.42/192.03	v -x2457 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476
191.42/192.03	v -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495
191.42/192.03	v -x2496 -x2497 -x2498 -x2499 x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515
191.42/192.03	v -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534
191.42/192.03	v -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x51 -x52 -x53 -x54
191.42/192.03	v -x55 -x56 -x57 -x58 -x59 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 x75 -x76 -x77 -x78 -x79 -x80 -x81
191.42/192.03	v -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106
191.42/192.03	v -x107 -x108 -x109 -x110 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129
191.42/192.03	v -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151
191.42/192.03	v -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174
191.42/192.03	v -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196
191.42/192.03	v -x197 -x198 -x199 x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x214 -x215 -x216 -x217 -x218 -x219
191.42/192.03	v -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241
191.42/192.03	v -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263
191.42/192.03	v -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286
191.42/192.03	v -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308
191.42/192.03	v -x309 -x310 -x311 -x312 -x313 -x314 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 x325 -x326 -x327 -x328 -x329 -x330 -x331
191.42/192.03	v -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353
191.42/192.03	v -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376
191.42/192.03	v -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398
191.42/192.03	v -x399 x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x418 -x419 -x420 -x421
191.42/192.03	v -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 x439 -x440 -x441 -x442 -x443
191.42/192.03	v -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465
191.42/192.03	v -x466 -x467 -x469 -x470 -x471 -x472 -x473 -x474 x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488
191.42/192.03	v -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510
191.42/192.03	v -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533
191.42/192.03	v -x534 -x535 -x536 -x537 -x538 x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x601 -x602 -x603 -x604 -x605
191.42/192.03	v -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628
191.42/192.03	v -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 x650
191.42/192.03	v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x672 -x673
191.42/192.03	v -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 x689 -x690 -x691 -x692 -x693 -x694 -x695
191.42/192.03	v -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717
191.42/192.03	v -x718 -x719 -x720 -x721 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 x739 -x740
191.42/192.03	v -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762
191.42/192.03	v -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785
191.42/192.03	v -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807
191.42/192.03	v -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x825 -x826 -x827 -x828 -x829 -x830
191.42/192.03	v -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852
191.42/192.03	v x853 x854 -x855 -x856 x857 -x858 x859 x860 -x861 -x862 -x863 x864 x865 -x866 -x867 x868 -x869 -x870 -x871 -x872 -x873 -x874 -x876
191.42/192.03	v x877 x878 x879 -x880 -x881 x882 -x883 -x884 -x885 -x886 x887 -x888 -x889 x890 -x891 x892 -x893 -x894 -x895 -x896 -x897 x898 -x899
191.42/192.03	v -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921
191.42/192.03	v -x922 -x923 -x924 -x925 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944
191.42/192.03	v -x945 -x946 -x947 -x948 -x949 x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966
191.42/192.03	v -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 x975 -x976 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989
191.42/192.03	v -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009
191.42/192.03	v -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 x1025 -x1026 -x1027 -x1029
191.42/192.03	v -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048
191.42/192.03	v -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067
191.42/192.03	v -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 x1075 -x1076 -x1077 -x1078 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087
191.42/192.03	v -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156
191.42/192.03	v -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175
191.42/192.03	v -x1176 -x1177 -x1178 -x1179 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195
191.42/192.03	v -x1196 -x1197 -x1198 -x1199 x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214
191.42/192.03	v -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1232 -x1233 -x1234
191.42/192.03	v -x1235 -x1236 -x1237 -x1238 x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253
191.42/192.03	v -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272
191.42/192.03	v -x1273 -x1274 x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292
191.42/192.03	v -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311
191.42/192.03	v -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330
191.42/192.03	v -x1331 -x1332 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350
191.42/192.03	v -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369
191.42/192.03	v -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1385 -x1386 -x1387 -x1388 x1389
191.42/192.03	v -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408
191.42/192.03	v -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427
191.42/192.03	v -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1436 -x1437 -x1438 x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447
191.42/192.03	v -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466
191.42/192.03	v -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485
191.42/192.03	v -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 x1500 -x1501 -x1502 -x1503 -x1504 -x1505
191.42/192.03	v -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524
191.42/192.03	v x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544
191.42/192.03	v -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563
191.42/192.03	v -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582
191.42/192.03	v -x1583 -x1584 -x1585 -x1586 -x1587 x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 x1602
191.42/192.03	v -x1603 -x1604 -x1605 x1606 -x1607 -x1608 -x1609 -x1610 x1611 -x1612 -x1613 -x1614 -x1615 -x1616 x1617 -x1618 x1619 -x1620 x1621
191.42/192.03	v x1622 -x1623 x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 x1631 -x1632 -x1633 x1634 x1635 -x1636 -x1637 x1638 -x1640 x1641 -x1642
191.42/192.03	v -x1643 x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711
191.42/192.03	v -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 x1725 -x1726 -x1727 -x1728 -x1729 -x1730
191.42/192.03	v -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750
191.42/192.03	v -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769
191.42/192.03	v -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788
191.42/192.03	v x1789 -x1790 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808
191.42/192.03	v -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 x1825 -x1826 -x1827
191.42/192.03	v -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1843 -x1844 -x1845 -x1846 -x1847
191.42/192.03	v -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866
191.42/192.03	v -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885
191.42/192.03	v -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 x1900 -x1901 -x1902 -x1903 -x1904 -x1905
191.42/192.03	v -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924
191.42/192.03	v -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 x1939 -x1940 -x1941 -x1942 -x1943
191.42/192.03	v -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963
191.42/192.03	v -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982
191.42/192.03	v -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1996 -x1997 -x1998 -x1999 x2000 -x2001 -x2002
191.42/192.03	v -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021
191.42/192.03	v -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040
191.42/192.03	v -x2041 -x2042 -x2043 -x2044 -x2045 -x2047 -x2048 -x2049 x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060
191.42/192.03	v -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079
191.42/192.03	v -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2098 -x2099
191.42/192.03	v x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118
191.42/192.03	v -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137
191.42/192.03	v -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157
191.42/192.03	v -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176
191.42/192.03	v -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195
191.42/192.03	v -x2196 -x2197 -x2198 x2200 x2251 -x2252 -x2253 -x2254 x2255 -x2256 -x2257 x2258 -x2259 -x2260 -x2261 x2262 x2263 -x2264 -x2265 x2266
191.42/192.03	v -x2267 -x2268 -x2269 x2270 -x2271 -x2272 x2273 -x2274 -x2275 x2276 -x2277 -x2278 -x2279 x2280 -x2281 -x2282 -x2283 -x2284 -x2285
191.42/192.03	v x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 x2293 -x2294 x2295 x2296 x2297 -x2298 x2299 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556
191.42/192.03	v -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 x2575
191.42/192.03	v -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 x2589 -x2590 -x2591 -x2592 -x2593 -x2594
191.42/192.03	v -x2595 -x2596 -x2597 -x2598 -x2599 x2600 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114
191.42/192.03	v -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133
191.42/192.03	v -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3651 -x3653
191.42/192.03	v -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672
191.42/192.03	v -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691
191.42/192.03	v -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x4201 -x4202 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211
191.42/192.03	v -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230
191.42/192.03	v -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249
191.42/192.03	v -x4250 -x4751 -x4752 -x4753 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769
191.42/192.03	v -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788
191.42/192.03	v -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4851 -x4852 -x4853 -x4854 -x4856 -x4857 -x4858
191.42/192.03	v -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877
191.42/192.03	v -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896
191.42/192.03	v -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916
191.42/192.03	v -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935
191.42/192.03	v -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954
191.42/192.03	v -x4955 -x4956 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974
191.42/192.03	v -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993
191.42/192.03	v -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5009 -x5010 -x5011 -x5012 -x5013
191.42/192.03	v -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032
191.42/192.03	v -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051
191.42/192.03	v -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071
191.42/192.03	v -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090
191.42/192.03	v -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609
191.42/192.03	v -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629
191.42/192.03	v -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648
191.42/192.03	v -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668
191.42/192.03	v -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687
191.42/192.03	v -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706
191.42/192.03	v -x2707 -x2708 -x2709 -x2710 -x2711 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726
191.42/192.03	v -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745
191.42/192.03	v -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2764 -x2765
191.42/192.03	v -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784
191.42/192.03	v -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803
191.42/192.03	v -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823
191.42/192.03	v -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842
191.42/192.03	v -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861
191.42/192.03	v -x2862 -x2863 -x2864 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881
191.42/192.03	v -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900
191.42/192.03	v -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2917 -x2918 -x2919 -x2920
191.42/192.03	v -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939
191.42/192.03	v -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958
191.42/192.03	v -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978
191.42/192.03	v -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997
191.42/192.03	v -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016
191.42/192.03	v -x3017 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036
191.42/192.03	v -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055
191.42/192.03	v -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075
191.42/192.03	v -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094
191.42/192.03	v -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163
191.42/192.03	v -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183
191.42/192.03	v -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202
191.42/192.03	v -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3222
191.42/192.03	v -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241
191.42/192.03	v -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260
191.42/192.03	v -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280
191.42/192.03	v -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299
191.42/192.03	v -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318
191.42/192.03	v -x3319 -x3320 -x3321 -x3322 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338
191.42/192.03	v -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357
191.42/192.03	v -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3375 -x3376 -x3377
191.42/192.03	v -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396
191.42/192.03	v -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415
191.42/192.03	v -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 x3433 -x3434 -x3435
191.42/192.03	v -x3436 -x3437 -x3438 x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454
191.42/192.03	v -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473
191.42/192.03	v -x3474 -x3475 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493
191.42/192.03	v -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512
191.42/192.03	v -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3528 -x3529 -x3530 -x3531 -x3532
191.42/192.03	v -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551
191.42/192.03	v -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570
191.42/192.03	v -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590
191.42/192.03	v -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609
191.42/192.03	v -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628
191.42/192.03	v -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648
191.42/192.03	v -x3649 -x3650 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717
191.42/192.03	v -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737
191.42/192.03	v -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756
191.42/192.03	v -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775
191.42/192.03	v -x3776 -x3777 -x3778 -x3779 -x3780 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795
191.42/192.03	v -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814
191.42/192.03	v -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3833 -x3834
191.42/192.03	v -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853
191.42/192.03	v -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872
191.42/192.03	v -x3873 -x3874 x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3884 -x3885 -x3886 -x3887 -x3888 x3889 -x3890 -x3891 -x3892
191.42/192.03	v -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911
191.42/192.03	v -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930
191.42/192.03	v -x3931 -x3932 -x3933 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950
191.42/192.03	v -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969
191.42/192.03	v -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3986 -x3987 -x3988 -x3989
191.42/192.03	v -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008
191.42/192.03	v -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027
191.42/192.03	v -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047
191.42/192.03	v -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066
191.42/192.03	v -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085
191.42/192.03	v -x4086 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105
191.42/192.03	v -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124
191.42/192.03	v -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144
191.42/192.03	v -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163
191.42/192.03	v -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182
191.42/192.03	v x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 x4200 -x4251 -x4252
191.42/192.03	v -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271
191.42/192.03	v -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4291
191.42/192.03	v -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310
191.42/192.03	v -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329
191.42/192.03	v -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349
191.42/192.03	v -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368
191.42/192.03	v -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387
191.42/192.03	v -x4388 -x4389 -x4390 -x4391 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407
191.42/192.03	v -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426
191.42/192.03	v -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4444 -x4445 -x4446
191.42/192.03	v -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465
191.42/192.03	v -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484
191.42/192.03	v -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504
191.42/192.03	v -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523
191.42/192.03	v -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542
191.42/192.03	v -x4543 -x4544 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562
191.42/192.03	v -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581
191.42/192.03	v -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4597 -x4598 -x4599 -x4600 -x4601
191.42/192.03	v -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620
191.42/192.03	v -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639
191.42/192.03	v -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659
191.42/192.03	v -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678
191.42/192.03	v -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697
191.42/192.03	v -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717
191.42/192.03	v -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736
191.42/192.03	v -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4750 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806
191.42/192.03	v -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825
191.42/192.03	v -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 x4833 -x4834 -x4835 -x4836 -x4837 -x4838 x4839 -x4840 -x4841 -x4842 -x4843 -x4844
191.42/192.03	v -x4845 -x4846 -x4847 -x4848 -x4849 -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21
191.42/192.03	v -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47
191.42/192.03	v -x48 -x49 -x50 -x551 -x1102 -x1653 -x2204 -x2305 -x2356 -x2407 -x2458 -x2509 -x60 -x111 -x162 -x213 -x264 -x315 -x366 -x417 -x468
191.42/192.03	v -x519 -x620 -x671 -x722 -x773 -x824 -x875 -x926 -x977 -x1028 -x1079 -x1180 -x1231 -x1282 -x1333 -x1384 -x1435 -x1486 -x1537 -x1588
191.42/192.03	v -x1639 -x1740 -x1791 -x1842 -x1893 -x1944 -x1995 -x2046 -x2097 -x2148 -x2199 -x2300 -x3101 -x3652 -x4203 -x4754 -x4855 -x4906 -x4957
191.42/192.03	v -x5008 -x5059 -x2610 -x2661 -x2712 -x2763 -x2814 -x2865 -x2916 -x2967 -x3018 -x3069 -x3170 -x3221 -x3272 -x3323 -x3374 -x3425 -x3476
191.42/192.03	v -x3527 -x3578 -x3629 -x3730 -x3781 -x3832 -x3883 -x3934 -x3985 -x4036 -x4087 -x4138 -x4189 -x4290 -x4341 -x4392 -x4443 -x4494 -x4545
191.42/192.03	v -x4596 -x4647 -x4698 -x4749 -x4850
191.42/192.03	c SCIP Status        : problem is solved [optimal solution found]
191.42/192.03	c Total Time         :     192.02
191.42/192.03	c   solving          :     192.02
191.42/192.03	c   presolving       :       0.23 (included in solving)
191.42/192.03	c   reading          :       0.02 (included in solving)
191.42/192.03	c   copying          :       0.13 (21 #copies) (minimal 0.00, maximal 0.01, average 0.01)
191.42/192.03	c Original Problem   :
191.42/192.03	c   Problem name     : HOME/instance-4503893-1751431483.opb
191.42/192.03	c   Variables        : 5100 (5100 binary, 0 integer, 0 continuous)
191.42/192.03	c   implied integral : 0 (0 binary, 0 integer, 0 continuous)
191.42/192.03	c   Constraints      : 7606 initial, 7606 maximal
191.42/192.03	c   Objective        : minimize, 4950 non-zeros (abs.min = 1, abs.max = 1.43878e+08)
191.42/192.03	c Presolved Problem  :
191.42/192.03	c   Problem name     : t_HOME/instance-4503893-1751431483.opb
191.42/192.03	c   Variables        : 1480 (1480 binary, 0 integer, 0 continuous)
191.42/192.03	c   implied integral : 0 (0 binary, 0 integer, 0 continuous)
191.42/192.03	c   Constraints      : 1792 initial, 2129 maximal
191.42/192.03	c   Objective        : minimize, 1384 non-zeros (abs.min = 36, abs.max = 970299)
191.42/192.03	c   Nonzeros         : 17274 constraint, 314 clique table
191.42/192.03	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
191.42/192.03	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
191.42/192.03	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
191.42/192.03	c   domcol           :       0.04       0.00      2          0          0          0          0          0          0          0          0          0
191.42/192.03	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
191.42/192.03	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
191.42/192.03	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
191.42/192.03	c   dualsparsify     :       0.03       0.00      1          0          0          0          0          0          0          0          0          0
191.42/192.03	c   gateextraction   :       0.00       0.00      5          0          0          0          0          0          2          1          0          0
191.42/192.03	c   implics          :       0.00       0.00      8          0          0          0          0          0          0          0          0          0
191.42/192.03	c   implint          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
191.42/192.03	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
191.42/192.03	c   milp             :       0.02       0.00      2          0          0          0          0          0          0          0          0          0
191.42/192.03	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
191.42/192.03	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
191.42/192.03	c   sparsify         :       0.01       0.00      1          0          0          0          0          0          0          0          0          0
191.42/192.03	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
191.42/192.03	c   trivial          :       0.00       0.00     12       1064          0          0          0          0          0          0          0          0
191.42/192.03	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
191.42/192.03	c   dualfix          :       0.00       0.00     12          0          0          0          0          0          0          0          0          0
191.42/192.03	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
191.42/192.03	c   probing          :       0.03       0.00      1          0          0          0          0          0          0          0          0          0
191.42/192.03	c   pseudoobj        :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
191.42/192.03	c   symmetry         :       0.01       0.00      1          0          0          0          0          0          0          0          0          0
191.42/192.03	c   vbounds          :       0.00       0.00      2          0          2          0          0          0          0          0          0          0
191.42/192.03	c   knapsack         :       0.01       0.00     21          3          0          0          0          0       1072          9          7         18
191.42/192.03	c   setppc           :       0.00       0.00     21          0          0          0          0          0          6          0          0          0
191.42/192.03	c   linear           :       0.04       0.00     17        100       2450          0        100          0       4902          0       1225       1226
191.42/192.03	c   logicor          :       0.02       0.00     20          1          0          0          0          0         10          0          0        806
191.42/192.03	c   components       :       0.00       0.00      2          0          0          0          0          0          0          0          0          0
191.42/192.03	c   root node        :          -          -      -       2142          -          -       2142          -          -          -          -          -
191.42/192.03	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
191.42/192.03	c   integral         :          0          0          0          0       1990          0          0        299          0          0       4856          0          0       1467       3334
191.42/192.03	c   knapsack         :        357        357         44      23499          8          0          0        292      23469        237      67886        878         87          0          0
191.42/192.03	c   setppc           :         51+        57         44      21413          2          0          0         24       1676         27       3865          0          0          0          0
191.42/192.03	c   linear           :          8+        10         44      23235          8          0          0         24       5326        299      16205          0          0          0          0
191.42/192.03	c   logicor          :       1376+      1715         44      11878          8          0          0         21      20128        160     350835          4          2          0          0
191.42/192.03	c   fixedvar         :          0          0          0          0          8          0          0         23          0          0          0          0          0          0          0
191.42/192.03	c   countsols        :          0          0          0          0          8          0          0         23          0          0          0          0          0          0          0
191.42/192.03	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
191.42/192.03	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
191.42/192.03	c   integral         :      70.04       0.00       0.00       0.00      70.04       0.00       0.00       0.00       0.00       0.00
191.42/192.03	c   knapsack         :       0.88       0.00       0.19       0.46       0.00       0.00       0.00       0.00       0.02       0.21
191.42/192.03	c   setppc           :       0.03       0.00       0.00       0.02       0.00       0.00       0.00       0.00       0.00       0.01
191.42/192.03	c   linear           :       0.39       0.00       0.10       0.22       0.00       0.00       0.00       0.00       0.01       0.06
191.42/192.03	c   logicor          :       1.03       0.00       0.01       0.64       0.00       0.00       0.00       0.00       0.01       0.37
191.42/192.03	c   fixedvar         :       0.01       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
191.42/192.03	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
191.42/192.03	c   components       :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
191.42/192.03	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
191.42/192.03	c   dualfix          :          4          0          0          0
191.42/192.03	c   genvbounds       :          0          0          0          0
191.42/192.03	c   nlobbt           :          0          0          0          0
191.42/192.03	c   obbt             :          0          0          0          0
191.42/192.03	c   probing          :          0          0          0          0
191.42/192.03	c   pseudoobj        :      15761          0          4         61
191.42/192.03	c   redcost          :       8738          0          0      93440
191.42/192.03	c   rootredcost      :         14          0          0       1081
191.42/192.03	c   symmetry         :          0          0          0          0
191.42/192.03	c   vbounds          :       7438          0          0          0
191.42/192.03	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
191.42/192.03	c   dualfix          :       0.00       0.00       0.00       0.00       0.00       0.00
191.42/192.03	c   genvbounds       :       0.00       0.00       0.00       0.00       0.00       0.00
191.42/192.03	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
191.42/192.03	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
191.42/192.03	c   probing          :       0.03       0.00       0.03       0.00       0.00       0.00
191.42/192.03	c   pseudoobj        :       0.02       0.00       0.00       0.02       0.00       0.00
191.42/192.03	c   redcost          :       0.41       0.00       0.00       0.41       0.00       0.00
191.42/192.03	c   rootredcost      :       0.01       0.00       0.00       0.01       0.00       0.00
191.42/192.03	c   symmetry         :       0.01       0.00       0.01       0.00       0.00       0.00
191.42/192.03	c   vbounds          :       0.02       0.00       0.00       0.01       0.00       0.00
191.42/192.03	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
191.42/192.03	c   propagation      :       0.06        440        432          -       2324      144.9         20       15.7          -          -          -
191.42/192.03	c   infeasible LP    :       0.02         23         22          -        175      137.9          0        0.0         11      208.2          0
191.42/192.03	c   bound exceed. LP :       1.19        883        225          -       2542      121.9          4       14.2          0        0.0       6034
191.42/192.03	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
191.42/192.03	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
191.42/192.03	c   applied globally :       0.02          -          -          0       2758       99.3          -          -         11          -          -
191.42/192.03	c   applied locally  :          -          -          -          0          9      473.8          -          -          0          -          -
191.42/192.03	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
191.42/192.03	c   cut pool         :       0.13          -        914         82          -          -       3086       8064          -          -          -          -          -    (maximal pool size:        946)
191.42/192.03	c   aggregation      :       2.14       0.00        245         44          0          0        774       2915          0       1012       1012          0          0
191.42/192.03	c   > cmir           :          -          -          -          -          -          -          -        908          0        194        194          0          -
191.42/192.03	c   > flowcover      :          -          -          -          -          -          -          -       1050          0        298        298          0          -
191.42/192.03	c   > knapsackcover  :          -          -          -          -          -          -          -        957          0        520        520          0          -
191.42/192.03	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
191.42/192.03	c   clique           :       0.00       0.00         44         44          0          0          2         10          0          2          2          0          0
191.42/192.03	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
191.42/192.03	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
191.42/192.03	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
191.42/192.03	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
191.42/192.03	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
191.42/192.03	c   gomory           :       7.66       0.00        165         20          0          0       2013       4018          0        105        105          0          0
191.42/192.03	c   > gomorymi       :          -          -          -          -          -          -          -       2008          0         76         76          0          -
191.42/192.03	c   > strongcg       :          -          -          -          -          -          -          -       2010          0         29         29          0          -
191.42/192.03	c   impliedbounds    :       0.01       0.00        245         44          0          1          4          6          0          4          4          0          0
191.42/192.03	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
191.42/192.03	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
191.42/192.03	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
191.42/192.03	c   mcf              :       0.00       0.00          2          2          0          0          0          0          0          0          0          0          0
191.42/192.03	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
191.42/192.03	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
191.42/192.03	c   multilinear      :       0.00       0.00        100         44          0          0          0          0          0          0          0          0          0
191.42/192.03	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
191.42/192.03	c   rapidlearning    :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
191.42/192.03	c   rlt              :       0.00       0.00         20         20          0          0          0          0          0          0          0          0          0
191.42/192.03	c   zerohalf         :       1.43       0.00        185         40          0          0        293       1115          0        518        518          0          0
191.42/192.03	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
191.42/192.03	c   hybrid           :       0.01       0.00        508         42       1730          0       7216        257          0       1332
191.42/192.03	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
191.42/192.03	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
191.42/192.03	c Pricers            :   ExecTime  SetupTime      Calls       Vars
191.42/192.03	c   problem variables:       0.00          -          0          0
191.42/192.03	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
191.42/192.03	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
191.42/192.03	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
191.42/192.03	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
191.42/192.03	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
191.42/192.03	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
191.42/192.03	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
191.42/192.03	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
191.42/192.03	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
191.42/192.03	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
191.42/192.03	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
191.42/192.03	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
191.42/192.03	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
191.42/192.03	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
191.42/192.03	c   relpscost        :      70.04       0.00       1982          0          0          0       4856          0       1707       3334
191.42/192.03	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
191.42/192.03	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
191.42/192.03	c   LP solutions     :       0.00          -          -          8          8
191.42/192.03	c   relax solutions  :       0.00          -          -          0          0
191.42/192.03	c   pseudo solutions :       0.00          -          -          0          0
191.42/192.03	c   strong branching :       0.00          -          -          3          3
191.42/192.03	c   actconsdiving    :       0.00       0.00          0          0          0
191.42/192.03	c   adaptivediving   :       0.81       0.00          4          0          0
191.42/192.03	c   alns             :       1.80       0.00          5          0          0
191.42/192.03	c   bound            :       0.00       0.00          0          0          0
191.42/192.03	c   clique           :       0.02       0.00          1          1          1
191.42/192.03	c   coefdiving       :       0.00       0.00          0          0          0
191.42/192.03	c   completesol      :       0.00       0.00          0          0          0
191.42/192.03	c   conflictdiving   :       1.26       0.00          3          0          0
191.42/192.03	c   crossover        :       0.11       0.00          7          1          0
191.42/192.03	c   dins             :       0.00       0.00          0          0          0
191.42/192.03	c   distributiondivin:       0.57       0.00          2          0          0
191.42/192.03	c   dks              :       0.00       0.00          0          0          0
191.42/192.03	c   dps              :       0.00       0.00          0          0          0
191.42/192.03	c   dualval          :       0.00       0.00          0          0          0
191.42/192.03	c   farkasdiving     :       3.27       0.00          2          0          0
191.42/192.03	c   feaspump         :       1.27       0.00          1          0          0
191.42/192.03	c   fixandinfer      :       0.00       0.00          0          0          0
191.42/192.03	c   fracdiving       :       0.33       0.00          2          0          0
191.42/192.03	c   gins             :       0.02       0.00          1          0          0
191.42/192.03	c   guideddiving     :       0.10       0.00          2          0          0
191.42/192.03	c   indicator        :       0.00       0.00          0          0          0
191.42/192.03	c   indicatordiving  :       0.00       0.00          0          0          0
191.42/192.03	c   intdiving        :       0.00       0.00          0          0          0
191.42/192.03	c   intshifting      :       0.00       0.00          0          0          0
191.42/192.03	c   linesearchdiving :       0.05       0.00          2          0          0
191.42/192.03	c   localbranching   :       0.00       0.00          0          0          0
191.42/192.03	c   locks            :       0.01       0.00          1          0          0
191.42/192.03	c   lpface           :       0.00       0.00          0          0          0
191.42/192.03	c   mpec             :       0.00       0.00          0          0          0
191.42/192.03	c   multistart       :       0.00       0.00          0          0          0
191.42/192.03	c   mutation         :       0.00       0.00          0          0          0
191.42/192.03	c   nlpdiving        :       0.00       0.00          0          0          0
191.42/192.03	c   objpscostdiving  :       0.28       0.00          2          0          0
191.42/192.03	c   octane           :       0.00       0.00          0          0          0
191.42/192.03	c   ofins            :       0.00       0.00          0          0          0
191.42/192.03	c   oneopt           :       0.01       0.00         13          0          0
191.42/192.03	c   padm             :       0.00       0.00          0          0          0
191.42/192.03	c   proximity        :       0.00       0.00          0          0          0
191.42/192.03	c   pscostdiving     :       0.35       0.00          2          1          1
191.42/192.03	c   randrounding     :       0.11       0.00        305          0          0
191.42/192.03	c   rens             :       0.15       0.00          2          0          0
191.42/192.03	c   reoptsols        :       0.00       0.00          0          0          0
191.42/192.03	c   repair           :       0.00       0.00          0          0          0
191.42/192.03	c   rins             :       0.55       0.00          6          1          0
191.42/192.03	c   rootsoldiving    :       0.08       0.00          1          1          0
191.42/192.03	c   rounding         :       0.13       0.00        700          0          0
191.42/192.03	c   scheduler        :       0.00       0.00          0          0          0
191.42/192.03	c   shiftandpropagate:       0.00       0.00          0          0          0
191.42/192.03	c   shifting         :       1.05       0.00        314          0          0
191.42/192.03	c   simplerounding   :       0.00       0.00          0          0          0
191.42/192.03	c   subnlp           :       0.00       0.00          0          0          0
191.42/192.03	c   trivial          :       0.00       0.00          4          0          0
191.42/192.03	c   trivialnegation  :       0.00       0.00          0          0          0
191.42/192.03	c   trustregion      :       0.00       0.00          0          0          0
191.42/192.03	c   trysol           :       0.00       0.00          0          0          0
191.42/192.03	c   twoopt           :       0.00       0.00          0          0          0
191.42/192.03	c   undercover       :       0.00       0.00          0          0          0
191.42/192.03	c   vbounds          :       0.00       0.00          0          0          0
191.42/192.03	c   veclendiving     :       0.14       0.00          2          0          0
191.42/192.03	c   zeroobj          :       0.00       0.00          0          0          0
191.42/192.03	c   zirounding       :       0.06       0.00       1000          0          0
191.42/192.03	c   other solutions  :          -          -          -          0          -
191.42/192.03	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
191.42/192.03	c   rens             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
191.42/192.03	c   rins             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
191.42/192.03	c   mutation         :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
191.42/192.03	c   localbranching   :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
191.42/192.03	c   crossover        :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
191.42/192.03	c   proximity        :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
191.42/192.03	c   zeroobjective    :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
191.42/192.03	c   dins             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
191.42/192.03	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
191.42/192.03	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
191.42/192.03	c   primal LP        :       0.21        202          0       0.00       0.00       0.21        202
191.42/192.03	c   dual LP          :      92.81       6269     722880     180.22    7789.16       1.18       2258
191.42/192.03	c   lex dual LP      :       0.00          0          0       0.00          -
191.42/192.03	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
191.42/192.03	c   resolve instable :       0.00          0          0       0.00          -
191.42/192.03	c   diving/probing LP:       8.58        526      60971     115.91    7109.46
191.42/192.03	c   strong branching :      66.49       1801     491777     273.06    7396.25          -          -        646
191.42/192.03	c     (at root node) :          -         48      33975     707.81          -
191.42/192.03	c   conflict analysis:       0.79        604       6034       9.99    7628.05
191.42/192.03	c Relaxators         :       Time      Calls    Cutoffs ImprBounds   ImprTime ReducedDom  Separated AddedConss
191.42/192.03	c   benders          :       0.00          0          0          0       0.00          0          0          0
191.42/192.03	c B&B Tree           :
191.42/192.03	c   number of runs   :          2
191.42/192.03	c   nodes            :       2083 (1049 internal, 1034 leaves)
191.42/192.03	c   feasible leaves  :          2
191.42/192.03	c   infeas. leaves   :        210
191.42/192.03	c   objective leaves :        822
191.42/192.03	c   nodes (total)    :       3209 (1667 internal, 1542 leaves)
191.42/192.03	c   nodes left       :          0
191.42/192.03	c   max depth        :         91
191.42/192.03	c   max depth (total):        152
191.42/192.03	c   backtracks       :        420 (20.2%)
191.42/192.03	c   early backtracks :          0 (0.0%)
191.42/192.03	c   nodes exc. ref.  :          0 (0.0%)
191.42/192.03	c   delayed cutoffs  :          9
191.42/192.03	c   repropagations   :        863 (4678 domain reductions, 3 cutoffs)
191.42/192.03	c   avg switch length:       5.89
191.42/192.03	c   switching time   :       1.07
191.42/192.03	c Root Node          :
191.42/192.03	c   First LP value   : +1.46401127120857e+06
191.42/192.03	c   First LP Iters   :       3214 (7791.25 Iter/sec)
191.42/192.03	c   First LP Time    :       0.41
191.42/192.03	c   Final Dual Bound : +1.86286195573846e+06
191.42/192.03	c   Final Root Iters :      19391
191.42/192.03	c   Root LP Estimate : +6.54858454961431e+06
191.42/192.03	c Solution           :
191.42/192.03	c   Solutions found  :         16 (13 improvements)
191.42/192.03	c   First Solution   : +3.06093145000000e+08   (in run 1, after 1 nodes, 0.23 seconds, depth 6, found by <clique>)
191.42/192.03	c   Gap First Sol.   :   infinite
191.42/192.03	c   Gap Last Sol.    :      36.08 %
191.42/192.03	c   Primal Bound     : +2.89974900000000e+06   (in run 2, after 1015 nodes, 157.51 seconds, depth 30, found by <relaxation>)
191.42/192.03	c   Dual Bound       : +2.89974900000000e+06
191.42/192.03	c   Gap              :       0.00 %
191.42/192.03	c Integrals          :      Total       Avg%
191.42/192.03	c   primal-dual      :   10098.62      52.59
191.42/192.03	c   primal-ref       :          -          - (not evaluated)
191.42/192.03	c   dual-ref         :          -          - (not evaluated)
191.42/192.05	c Time complete (sec):    191.475

Verifier Data 

OK	2899749

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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100066 s]*
/proc/loadavg: 0.77 1.71 1.95 6/266 62104
/proc/meminfo: memFree=128369324/131250000 swapFree=33010672/33010684
[pid=62101] ppid=62087 vsize=54544 memory=45336 CPUtime=0.09 cores=1,3
/proc/62101/stat : 62101 (pbsolver) R 62087 62101 62007 0 -1 4194304 9971 0 0 0 8 1 0 0 20 0 1 0 58824917 55853056 11334 18446744073709551615 4198400 14743177 140725783709728 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 52080640 140725783714186 140725783714282 140725783714282 140725783719884 0
/proc/62101/statm: 13636 11334 2592 2575 0 10543 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 54544 KiB
Current children cumulated memory: 45336 KiB

[startup+0.205915 s]*
/proc/loadavg: 0.77 1.71 1.95 6/266 62104
/proc/meminfo: memFree=128303300/131250000 swapFree=33010672/33010684
[pid=62101] ppid=62087 vsize=73152 memory=57880 CPUtime=0.2 cores=1,3
/proc/62101/stat : 62101 (pbsolver) R 62087 62101 62007 0 -1 4194304 13174 0 0 0 18 2 0 0 20 0 1 0 58824917 74907648 14470 18446744073709551615 4198400 14743177 140725783709728 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 52080640 140725783714186 140725783714282 140725783714282 140725783719884 0
/proc/62101/statm: 18288 14470 2592 2575 0 15195 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 73152 KiB
Current children cumulated memory: 57880 KiB

[startup+0.305751 s]*
/proc/loadavg: 0.77 1.71 1.95 6/266 62104
/proc/meminfo: memFree=128273564/131250000 swapFree=33010672/33010684
[pid=62101] ppid=62087 vsize=82336 memory=67352 CPUtime=0.3 cores=1,3
/proc/62101/stat : 62101 (pbsolver) R 62087 62101 62007 0 -1 4194304 15757 0 0 0 28 2 0 0 20 0 1 0 58824917 84312064 16838 18446744073709551615 4198400 14743177 140725783709728 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 52080640 140725783714186 140725783714282 140725783714282 140725783719884 0
/proc/62101/statm: 20584 16838 2688 2575 0 17491 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 82336 KiB
Current children cumulated memory: 67352 KiB

[startup+0.700165 s]
/proc/loadavg: 0.77 1.71 1.95 6/266 62104
/proc/meminfo: memFree=128240552/131250000 swapFree=33010672/33010684
[pid=62101] ppid=62087 vsize=84480 memory=69528 CPUtime=0.69 cores=1,3
/proc/62101/stat : 62101 (pbsolver) R 62087 62101 62007 0 -1 4194304 16307 0 0 0 67 2 0 0 20 0 1 0 58824917 86507520 17382 18446744073709551615 4198400 14743177 140725783709728 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 52080640 140725783714186 140725783714282 140725783714282 140725783719884 0
/proc/62101/statm: 21120 17382 2688 2575 0 18027 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 84480 KiB
Current children cumulated memory: 69528 KiB

[startup+1.50015 s]
/proc/loadavg: 0.77 1.71 1.95 6/266 62104
/proc/meminfo: memFree=128133376/131250000 swapFree=33010672/33010684
[pid=62101] ppid=62087 vsize=89780 memory=74392 CPUtime=1.48 cores=1,3
/proc/62101/stat : 62101 (pbsolver) R 62087 62101 62007 0 -1 4194304 17544 0 0 0 146 2 0 0 20 0 1 0 58824917 91934720 18598 18446744073709551615 4198400 14743177 140725783709728 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 52080640 140725783714186 140725783714282 140725783714282 140725783719884 0
/proc/62101/statm: 22445 18598 2688 2575 0 19352 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 89780 KiB
Current children cumulated memory: 74392 KiB

[startup+3.10563 s]
/proc/loadavg: 0.77 1.71 1.95 6/266 62104
/proc/meminfo: memFree=128109972/131250000 swapFree=33010672/33010684
[pid=62101] ppid=62087 vsize=100816 memory=85400 CPUtime=3.09 cores=1,3
/proc/62101/stat : 62101 (pbsolver) R 62087 62101 62007 0 -1 4194304 20373 0 0 0 306 3 0 0 20 0 1 0 58824917 103235584 21350 18446744073709551615 4198400 14743177 140725783709728 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 52080640 140725783714186 140725783714282 140725783714282 140725783719884 0
/proc/62101/statm: 25204 21350 2688 2575 0 22111 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 100816 KiB
Current children cumulated memory: 85400 KiB

[startup+6.30014 s]
/proc/loadavg: 1.03 1.75 1.96 6/266 62104
/proc/meminfo: memFree=128106360/131250000 swapFree=33010672/33010684
[pid=62101] ppid=62087 vsize=102180 memory=86552 CPUtime=6.27 cores=1,3
/proc/62101/stat : 62101 (pbsolver) R 62087 62101 62007 0 -1 4194304 20685 0 0 0 624 3 0 0 20 0 1 0 58824917 104632320 21638 18446744073709551615 4198400 14743177 140725783709728 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 52080640 140725783714186 140725783714282 140725783714282 140725783719884 0
/proc/62101/statm: 25545 21638 2688 2575 0 22452 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 102180 KiB
Current children cumulated memory: 86552 KiB

[startup+12.7001 s]
/proc/loadavg: 1.27 1.79 1.98 6/266 62104
/proc/meminfo: memFree=128045944/131250000 swapFree=33010672/33010684
[pid=62101] ppid=62087 vsize=115116 memory=98796 CPUtime=12.66 cores=1,3
/proc/62101/stat : 62101 (pbsolver) R 62087 62101 62007 0 -1 4194304 24939 0 0 0 1262 4 0 0 20 0 1 0 58824917 117878784 24699 18446744073709551615 4198400 14743177 140725783709728 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 52080640 140725783714186 140725783714282 140725783714282 140725783719884 0
/proc/62101/statm: 28779 24699 2688 2575 0 25686 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 115116 KiB
Current children cumulated memory: 98796 KiB

[startup+25.5002 s]
/proc/loadavg: 1.94 1.91 2.01 6/266 62104
/proc/meminfo: memFree=127989600/131250000 swapFree=33010672/33010684
[pid=62101] ppid=62087 vsize=115116 memory=98796 CPUtime=25.43 cores=1,3
/proc/62101/stat : 62101 (pbsolver) R 62087 62101 62007 0 -1 4194304 24939 0 0 0 2539 4 0 0 20 0 1 0 58824917 117878784 24699 18446744073709551615 4198400 14743177 140725783709728 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 52080640 140725783714186 140725783714282 140725783714282 140725783719884 0
/proc/62101/statm: 28779 24699 2688 2575 0 25686 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 115116 KiB
Current children cumulated memory: 98796 KiB

[startup+51.1056 s]
/proc/loadavg: 2.72 2.10 2.07 6/266 62104
/proc/meminfo: memFree=127865260/131250000 swapFree=33010672/33010684
[pid=62101] ppid=62087 vsize=125688 memory=110060 CPUtime=50.97 cores=1,3
/proc/62101/stat : 62101 (pbsolver) R 62087 62101 62007 0 -1 4194304 27757 0 0 0 5093 4 0 0 20 0 1 0 58824917 128704512 27515 18446744073709551615 4198400 14743177 140725783709728 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 52080640 140725783714186 140725783714282 140725783714282 140725783719884 0
/proc/62101/statm: 31422 27515 2688 2575 0 28329 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 125688 KiB
Current children cumulated memory: 110060 KiB

[startup+102.3 s]
/proc/loadavg: 3.52 2.41 2.18 6/266 62106
/proc/meminfo: memFree=127793832/131250000 swapFree=33010672/33010684
[pid=62101] ppid=62087 vsize=151156 memory=134124 CPUtime=102 cores=1,3
/proc/62101/stat : 62101 (pbsolver) R 62087 62101 62007 0 -1 4194304 33779 0 0 0 10195 5 0 0 20 0 1 0 58824917 154783744 33531 18446744073709551615 4198400 14743177 140725783709728 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 52080640 140725783714186 140725783714282 140725783714282 140725783719884 0
/proc/62101/statm: 37789 33531 2688 2575 0 34696 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 151156 KiB
Current children cumulated memory: 134124 KiB

[startup+162.3 s]
/proc/loadavg: 3.88 2.72 2.30 6/265 62108
/proc/meminfo: memFree=127762184/131250000 swapFree=33010672/33010684
[pid=62101] ppid=62087 vsize=154144 memory=138476 CPUtime=161.8 cores=1,3
/proc/62101/stat : 62101 (pbsolver) R 62087 62101 62007 0 -1 4194304 34853 0 0 0 16175 5 0 0 20 0 1 0 58824917 157843456 34619 18446744073709551615 4198400 14743177 140725783709728 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 52080640 140725783714186 140725783714282 140725783714282 140725783719884 0
/proc/62101/statm: 38536 34619 2688 2575 0 35443 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 154144 KiB
Current children cumulated memory: 138476 KiB

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

# cumulated CPU time of all completed processes:  user=191.411 s, system=0.069764 s

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

[startup+179.2 s]
/proc/loadavg: 3.92 2.80 2.34 6/265 62108
/proc/meminfo: memFree=127754356/131250000 swapFree=33010672/33010684
[pid=62101] ppid=62087 vsize=167416 memory=151148 CPUtime=178.66 cores=1,3
/proc/62101/stat : 62101 (pbsolver) R 62087 62101 62007 0 -1 4194304 38028 0 0 0 17860 6 0 0 20 0 1 0 58824917 171433984 37787 18446744073709551615 4198400 14743177 140725783709728 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 52080640 140725783714186 140725783714282 140725783714282 140725783719884 0
/proc/62101/statm: 41854 37787 2688 2575 0 38761 0
Current children cumulated CPU time: 178.66 s
Current children cumulated vsize: 167416 KiB
Current children cumulated memory: 151148 KiB

[startup+185.6 s]
/proc/loadavg: 4.00 2.84 2.35 6/266 62117
/proc/meminfo: memFree=127752348/131250000 swapFree=33010672/33010684
[pid=62101] ppid=62087 vsize=167416 memory=151148 CPUtime=185.04 cores=1,3
/proc/62101/stat : 62101 (pbsolver) R 62087 62101 62007 0 -1 4194304 38029 0 0 0 18498 6 0 0 20 0 1 0 58824917 171433984 37787 18446744073709551615 4198400 14743177 140725783709728 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 52080640 140725783714186 140725783714282 140725783714282 140725783719884 0
/proc/62101/statm: 41854 37787 2688 2575 0 38761 0
Current children cumulated CPU time: 185.04 s
Current children cumulated vsize: 167416 KiB
Current children cumulated memory: 151148 KiB

[startup+188.8 s]
/proc/loadavg: 4.00 2.84 2.35 6/266 62117
/proc/meminfo: memFree=127752372/131250000 swapFree=33010672/33010684
[pid=62101] ppid=62087 vsize=167416 memory=151148 CPUtime=188.23 cores=1,3
/proc/62101/stat : 62101 (pbsolver) R 62087 62101 62007 0 -1 4194304 38029 0 0 0 18817 6 0 0 20 0 1 0 58824917 171433984 37787 18446744073709551615 4198400 14743177 140725783709728 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 52080640 140725783714186 140725783714282 140725783714282 140725783719884 0
/proc/62101/statm: 41854 37787 2688 2575 0 38761 0
Current children cumulated CPU time: 188.23 s
Current children cumulated vsize: 167416 KiB
Current children cumulated memory: 151148 KiB

[startup+190.4 s]
/proc/loadavg: 4.00 2.86 2.36 6/266 62117
/proc/meminfo: memFree=127752656/131250000 swapFree=33010672/33010684
[pid=62101] ppid=62087 vsize=167416 memory=151148 CPUtime=189.82 cores=1,3
/proc/62101/stat : 62101 (pbsolver) R 62087 62101 62007 0 -1 4194304 38029 0 0 0 18976 6 0 0 20 0 1 0 58824917 171433984 37787 18446744073709551615 4198400 14743177 140725783709728 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 52080640 140725783714186 140725783714282 140725783714282 140725783719884 0
/proc/62101/statm: 41854 37787 2688 2575 0 38761 0
Current children cumulated CPU time: 189.82 s
Current children cumulated vsize: 167416 KiB
Current children cumulated memory: 151148 KiB

[startup+191.2 s]
/proc/loadavg: 4.00 2.86 2.36 6/266 62117
/proc/meminfo: memFree=127752656/131250000 swapFree=33010672/33010684
[pid=62101] ppid=62087 vsize=167416 memory=151148 CPUtime=190.62 cores=1,3
/proc/62101/stat : 62101 (pbsolver) R 62087 62101 62007 0 -1 4194304 38029 0 0 0 19056 6 0 0 20 0 1 0 58824917 171433984 37787 18446744073709551615 4198400 14743177 140725783709728 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 52080640 140725783714186 140725783714282 140725783714282 140725783719884 0
/proc/62101/statm: 41854 37787 2688 2575 0 38761 0
Current children cumulated CPU time: 190.62 s
Current children cumulated vsize: 167416 KiB
Current children cumulated memory: 151148 KiB

[startup+191.6 s]
/proc/loadavg: 4.00 2.86 2.36 6/266 62117
/proc/meminfo: memFree=127752656/131250000 swapFree=33010672/33010684
[pid=62101] ppid=62087 vsize=167416 memory=151148 CPUtime=191.02 cores=1,3
/proc/62101/stat : 62101 (pbsolver) R 62087 62101 62007 0 -1 4194304 38029 0 0 0 19096 6 0 0 20 0 1 0 58824917 171433984 37787 18446744073709551615 4198400 14743177 140725783709728 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 52080640 140725783714186 140725783714282 140725783714282 140725783719884 0
/proc/62101/statm: 41854 37787 2688 2575 0 38761 0
Current children cumulated CPU time: 191.02 s
Current children cumulated vsize: 167416 KiB
Current children cumulated memory: 151148 KiB

[startup+192 s]*
/proc/loadavg: 4.00 2.86 2.36 6/266 62117
/proc/meminfo: memFree=127740620/131250000 swapFree=33010672/33010684
[pid=62101] ppid=62087 vsize=167416 memory=151148 CPUtime=191.42 cores=1,3
/proc/62101/stat : 62101 (pbsolver) R 62087 62101 62007 0 -1 4194304 38029 0 0 0 19136 6 0 0 20 0 1 0 58824917 171433984 37787 18446744073709551615 4198400 14743177 140725783709728 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 52080640 140725783714186 140725783714282 140725783714282 140725783719884 0
/proc/62101/statm: 41854 37787 2688 2575 0 38761 0
Current children cumulated CPU time: 191.42 s
Current children cumulated vsize: 167416 KiB
Current children cumulated memory: 151148 KiB

Child status: 0

Real time (s): 192.056
CPU time (s): 191.481
CPU user time (s): 191.411
CPU system time (s): 0.069764
CPU usage (%): 99.7009
Max. virtual memory (cumulated for all children) (KiB): 167416
Max. memory (cumulated for all children) (KiB): 151148

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 191.411
system time used= 0.069764
maximum resident set size= 151148
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38030
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 369


# summary of solver processes directly reported to runsolver:
#   pid: 62101
#   total CPU time (s): 191.481
#   total CPU user time (s): 191.411
#   total CPU system time (s): 0.069764

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.385451 second user time and 0.847235 second system time

The end

Launcher Data 

Begin job on nodeC014 at 2025-07-02 06:44:43
IDJOB=4503893
IDBENCH=155610
IDSOLVER=3366
FILE ID=nodeC014/4503893-1751431483
RUNJOBID= nodeC014-1751431483-62047
SLURM_JOB_ID= 9598380
Free space on /tmp= 432348 MiB

SOLVER NAME= SCIP-10 2025-06-13
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat50_4_16_1.opb
COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4503893-1751431483/watcher-4503893-1751431483 -o /tmp/evaluation-result-4503893-1751431483/solver-4503893-1751431483 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751431483-62047 --watchdog 3760  pbsolver -f HOME/instance-4503893-1751431483.opb -t 3600 -m 31000

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

MD5SUM BENCH= d01f39fb61de71c60f300d6712f658b6
RANDOM SEED=379871300

nodeC014 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		: 3600.141
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	: 7000.23
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		: 3600.125
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	: 7000.23
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		: 3640.342
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	: 7000.23
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		: 3811.870
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	: 7000.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.334
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	: 7000.23
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.686
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	: 7000.23
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		: 3600.125
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	: 7000.23
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		: 3600.120
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	: 7000.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        128596484 kB
MemAvailable:   129762336 kB
Buffers:            2508 kB
Cached:          1962004 kB
SwapCached:            4 kB
Active:           540532 kB
Inactive:        1498932 kB
Active(anon):      88864 kB
Inactive(anon):     3852 kB
Active(file):     451668 kB
Inactive(file):  1495080 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010672 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             63496 kB
Writeback:             0 kB
AnonPages:         77724 kB
Mapped:           103684 kB
Shmem:             18064 kB
KReclaimable:     116684 kB
Slab:             205616 kB
SReclaimable:     116684 kB
SUnreclaim:        88932 kB
KernelStack:        4064 kB
PageTables:         2852 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     340400 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150376 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     18432 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      203476 kB
DirectMap2M:     7956480 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432288 MiB
End job on nodeC014 at 2025-07-02 06:47:55