Trace number 4432872

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIP 2024-07-07OPT5900212 10.9864 11.0183

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/
IC/normalized-minisat15_5_3_3_ic.opb
MD5SUMe9221fba7963ffffb3bf7b90cd42a338
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 benchmark5900212
Best CPU time to get the best result obtained on this benchmark3.24394
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3435
Total number of constraints6802
Number of constraints which are clauses2970
Number of constraints which are cardinality constraints (but not clauses)7
Number of constraints which are nor clauses,nor cardinality constraints3825
Minimum length of a constraint2
Maximum length of a constraint105
Number of terms in the objective function 645
Biggest coefficient in the objective function 68921000
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 3268239507
Number of bits of the sum of numbers in the objective function 32
Biggest number in a constraint 68921000
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 3268239507
Number of bits of the biggest sum of numbers32
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 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-4432872-1721140847.opb>
0.00/0.02	c original problem has 3435 variables (3435 bin, 0 int, 0 impl, 0 cont) and 6802 constraints
0.00/0.02	c problem read in 0.02
0.00/0.03	c presolving:
0.00/0.04	c (round 1, fast)       360 del vars, 633 del conss, 0 add conss, 45 chg bounds, 105 chg sides, 315 chg coeffs, 0 upgd conss, 0 impls, 16 clqs
0.00/0.05	c    (0.0s) running MILP presolver
0.00/0.05	c    (0.1s) MILP presolver found nothing
0.00/0.07	c (round 2, exhaustive) 360 del vars, 633 del conss, 0 add conss, 45 chg bounds, 105 chg sides, 315 chg coeffs, 6166 upgd conss, 0 impls, 16 clqs
0.00/0.09	c (round 3, medium)     360 del vars, 3573 del conss, 8190 add conss, 45 chg bounds, 105 chg sides, 315 chg coeffs, 6166 upgd conss, 0 impls, 8206 clqs
0.09/0.11	c (round 4, exhaustive) 360 del vars, 14703 del conss, 11130 add conss, 45 chg bounds, 105 chg sides, 315 chg coeffs, 6166 upgd conss, 0 impls, 8206 clqs
0.09/0.12	c (round 5, exhaustive) 1725 del vars, 16068 del conss, 11130 add conss, 45 chg bounds, 105 chg sides, 315 chg coeffs, 6166 upgd conss, 0 impls, 4111 clqs
0.09/0.12	c (round 6, exhaustive) 1725 del vars, 16173 del conss, 11130 add conss, 45 chg bounds, 105 chg sides, 315 chg coeffs, 6166 upgd conss, 0 impls, 4111 clqs
0.09/0.14	c    (0.1s) probing: 51/1710 (3.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.14	c    (0.1s) probing aborted: 50/50 successive totally useless probings
0.09/0.14	c    (0.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.09/0.14	c    (0.1s) no symmetry present (symcode time: 0.00)
0.09/0.14	c presolving (7 rounds: 7 fast, 6 medium, 5 exhaustive):
0.09/0.14	c  1725 deleted vars, 16173 deleted constraints, 11130 added constraints, 45 tightened bounds, 0 added holes, 105 changed sides, 315 changed coefficients
0.09/0.14	c  0 implications, 4111 cliques
0.09/0.14	c presolved problem has 1710 variables (1710 bin, 0 int, 0 impl, 0 cont) and 1759 constraints
0.09/0.14	c     150 constraints of type <knapsack>
0.09/0.14	c      16 constraints of type <setppc>
0.09/0.14	c    1470 constraints of type <and>
0.09/0.14	c       3 constraints of type <linear>
0.09/0.14	c     120 constraints of type <logicor>
0.09/0.14	c transformed objective value is always integral (scale: 2)
0.09/0.14	c Presolving Time: 0.11
0.09/0.14	c - non default parameters ----------------------------------------------------------------------
0.09/0.14	c # SCIP version 10.0.0
0.09/0.14	c 
0.09/0.14	c # maximal time in seconds to run
0.09/0.14	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.09/0.14	c limits/time = 3596.998006
0.09/0.14	c 
0.09/0.14	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.14	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.09/0.14	c limits/memory = 27900
0.09/0.14	c 
0.09/0.14	c # belongs reading time to solving time?
0.09/0.14	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14	c timing/reading = TRUE
0.09/0.14	c 
0.09/0.14	c -----------------------------------------------------------------------------------------------
0.09/0.14	c start solving
0.09/0.14	c 
0.09/0.19	o 284675158
0.09/0.19	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
0.09/0.19	c L 0.2s|     1 |     0 |     0 |     - |feasjump|   0 |1710 |1799 |3229 |   0 |  0 |  40 |   0 |-4.000000e+00 | 2.846752e+08 |    Inf | unknown
0.20/0.22	c   0.2s|     1 |     0 |   482 |     - |    46M |   0 |1710 |1799 |3229 |   0 |  0 |  40 |   0 | 4.950408e+06 | 2.846752e+08 |5650.54%| unknown
0.30/0.37	c   0.4s|     1 |     0 |   574 |     - |    48M |   0 |1710 |1812 |3236 |   7 |  1 |  55 |   0 | 5.023650e+06 | 2.846752e+08 |5566.70%| unknown
0.40/0.51	c   0.5s|     1 |     0 |   620 |     - |    51M |   0 |1710 |1812 |3243 |  14 |  2 |  55 |   0 | 5.030790e+06 | 2.846752e+08 |5558.66%| unknown
0.60/0.68	c   0.7s|     1 |     0 |   659 |     - |    56M |   0 |1710 |1812 |3249 |  20 |  3 |  55 |   0 | 5.039066e+06 | 2.846752e+08 |5549.36%| unknown
0.79/0.85	c   0.8s|     1 |     0 |   694 |     - |    61M |   0 |1710 |1812 |3254 |  25 |  4 |  56 |   0 | 5.047683e+06 | 2.846752e+08 |5539.72%| unknown
0.99/1.03	c   1.0s|     1 |     0 |   751 |     - |    67M |   0 |1710 |1812 |3259 |  30 |  5 |  56 |   0 | 5.055533e+06 | 2.846752e+08 |5530.96%| unknown
1.09/1.18	c   1.2s|     1 |     0 |   815 |     - |    73M |   0 |1710 |1814 |3265 |  36 |  6 |  58 |   0 | 5.067743e+06 | 2.846752e+08 |5517.40%| unknown
1.28/1.34	c   1.3s|     1 |     0 |   873 |     - |    77M |   0 |1710 |1814 |3271 |  42 |  7 |  58 |   0 | 5.076892e+06 | 2.846752e+08 |5507.27%| unknown
1.48/1.54	c   1.5s|     1 |     0 |   908 |     - |    85M |   0 |1710 |1814 |3280 |  51 |  8 |  58 |   0 | 5.081396e+06 | 2.846752e+08 |5502.30%| unknown
1.58/1.66	c   1.7s|     1 |     0 |   929 |     - |    90M |   0 |1710 |1814 |3285 |  56 |  9 |  58 |   0 | 5.083281e+06 | 2.846752e+08 |5500.22%| unknown
1.78/1.80	c   1.8s|     1 |     0 |   964 |     - |    94M |   0 |1710 |1815 |3293 |  64 | 10 |  59 |   0 | 5.088287e+06 | 2.846752e+08 |5494.71%| unknown
1.78/1.81	c   1.8s|     1 |     0 |  1017 |     - |    94M |   0 |1710 |1819 |3298 |  69 | 11 |  63 |   0 | 5.092101e+06 | 2.846752e+08 |5490.52%| unknown
1.78/1.82	c   1.8s|     1 |     0 |  1054 |     - |    95M |   0 |1710 |1820 |3306 |  77 | 12 |  64 |   0 | 5.095371e+06 | 2.846752e+08 |5486.94%| unknown
1.78/1.84	c   1.8s|     1 |     0 |  1145 |     - |    95M |   0 |1710 |1824 |3312 |  83 | 13 |  68 |   0 | 5.107909e+06 | 2.846752e+08 |5473.22%| unknown
1.78/1.86	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1.78/1.86	c   1.9s|     1 |     0 |  1183 |     - |    95M |   0 |1710 |1825 |3320 |  91 | 14 |  69 |   0 | 5.115490e+06 | 2.846752e+08 |5464.96%| unknown
1.78/1.87	c   1.9s|     1 |     0 |  1219 |     - |    96M |   0 |1710 |1826 |3324 |  95 | 15 |  70 |   0 | 5.120602e+06 | 2.846752e+08 |5459.41%| unknown
1.78/1.88	c   1.9s|     1 |     0 |  1247 |     - |    96M |   0 |1710 |1829 |3326 |  97 | 16 |  73 |   0 | 5.122489e+06 | 2.846752e+08 |5457.36%| unknown
1.88/1.90	c   1.9s|     1 |     0 |  1271 |     - |    97M |   0 |1710 |1830 |3328 | 102 | 17 |  74 |   0 | 5.126246e+06 | 2.846752e+08 |5453.29%| unknown
1.88/1.91	c   1.9s|     1 |     0 |  1304 |     - |    97M |   0 |1710 |1830 |3332 | 106 | 18 |  74 |   0 | 5.133484e+06 | 2.846752e+08 |5445.46%| unknown
1.88/1.92	c   1.9s|     1 |     0 |  1325 |     - |    97M |   0 |1710 |1830 |3334 | 108 | 19 |  74 |   0 | 5.138358e+06 | 2.846752e+08 |5440.20%| unknown
1.88/1.94	c   1.9s|     1 |     0 |  1361 |     - |    98M |   0 |1710 |1831 |3336 | 110 | 20 |  75 |   0 | 5.144413e+06 | 2.846752e+08 |5433.68%| unknown
1.88/1.95	c   1.9s|     1 |     0 |  1366 |     - |    98M |   0 |1710 |1832 |3338 | 112 | 21 |  76 |   0 | 5.146441e+06 | 2.846752e+08 |5431.50%| unknown
2.08/2.18	o 5924474
2.08/2.18	c d 2.2s|     1 |     0 |  2861 |     - |farkasdi|   0 |1710 |1833 |3338 |   0 | 22 |  77 |   0 | 5.146441e+06 | 5.924474e+06 |  15.12%| unknown
2.58/2.60	c   2.6s|     1 |     0 |  7724 |     - |    98M |   0 |1710 |1362 |3338 | 112 | 22 | 149 |   0 | 5.146441e+06 | 5.924474e+06 |  15.12%| unknown
2.58/2.61	c   2.6s|     1 |     0 |  7724 |     - |    98M |   0 |1710 |1364 |2476 | 112 | 22 | 151 |   0 | 5.146441e+06 | 5.924474e+06 |  15.12%| unknown
2.58/2.61	c   2.6s|     1 |     0 |  7724 |     - |    98M |   0 |1710 | 950 |2524 | 112 | 23 | 151 |   0 | 5.146441e+06 | 5.924474e+06 |  15.12%| unknown
2.58/2.62	c (run 1, node 1) restarting after 891 global fixings of integer variables
2.58/2.62	c 
2.58/2.62	c (restart) converted 102 cuts from the global cut pool into linear constraints
2.58/2.62	c 
2.58/2.65	c presolving:
2.58/2.65	c (round 1, fast)       891 del vars, 38 del conss, 9 add conss, 0 chg bounds, 0 chg sides, 893 chg coeffs, 0 upgd conss, 0 impls, 2017 clqs
2.58/2.65	c (round 2, medium)     898 del vars, 42 del conss, 19 add conss, 0 chg bounds, 3 chg sides, 899 chg coeffs, 0 upgd conss, 0 impls, 2019 clqs
2.58/2.66	c (round 3, fast)       898 del vars, 62 del conss, 27 add conss, 0 chg bounds, 3 chg sides, 906 chg coeffs, 3 upgd conss, 0 impls, 2019 clqs
2.58/2.66	c (round 4, exhaustive) 898 del vars, 80 del conss, 36 add conss, 0 chg bounds, 3 chg sides, 906 chg coeffs, 3 upgd conss, 0 impls, 2021 clqs
2.58/2.66	c (round 5, exhaustive) 898 del vars, 83 del conss, 36 add conss, 0 chg bounds, 3 chg sides, 907 chg coeffs, 3 upgd conss, 0 impls, 2021 clqs
2.58/2.66	c (round 6, exhaustive) 1030 del vars, 215 del conss, 168 add conss, 0 chg bounds, 3 chg sides, 910 chg coeffs, 3 upgd conss, 0 impls, 1625 clqs
2.58/2.66	c (round 7, fast)       1030 del vars, 215 del conss, 168 add conss, 0 chg bounds, 3 chg sides, 1039 chg coeffs, 3 upgd conss, 0 impls, 1756 clqs
2.58/2.66	c (round 8, exhaustive) 1030 del vars, 347 del conss, 168 add conss, 0 chg bounds, 3 chg sides, 1039 chg coeffs, 3 upgd conss, 0 impls, 1756 clqs
2.58/2.66	c (round 9, exhaustive) 1030 del vars, 348 del conss, 168 add conss, 0 chg bounds, 3 chg sides, 1039 chg coeffs, 3 upgd conss, 0 impls, 1756 clqs
2.58/2.66	c (round 10, exhaustive) 1030 del vars, 348 del conss, 168 add conss, 0 chg bounds, 3 chg sides, 1039 chg coeffs, 96 upgd conss, 0 impls, 1756 clqs
2.58/2.66	c (round 11, fast)       1030 del vars, 348 del conss, 168 add conss, 0 chg bounds, 4 chg sides, 1040 chg coeffs, 96 upgd conss, 0 impls, 1756 clqs
2.58/2.66	c (round 12, medium)     1030 del vars, 349 del conss, 169 add conss, 0 chg bounds, 29 chg sides, 1066 chg coeffs, 96 upgd conss, 0 impls, 1756 clqs
2.58/2.67	c (round 13, exhaustive) 1030 del vars, 349 del conss, 169 add conss, 0 chg bounds, 29 chg sides, 1088 chg coeffs, 96 upgd conss, 0 impls, 1756 clqs
2.58/2.67	c (round 14, exhaustive) 1030 del vars, 350 del conss, 169 add conss, 0 chg bounds, 29 chg sides, 1096 chg coeffs, 96 upgd conss, 0 impls, 1756 clqs
2.58/2.67	c (round 15, exhaustive) 1030 del vars, 351 del conss, 169 add conss, 0 chg bounds, 29 chg sides, 1096 chg coeffs, 96 upgd conss, 0 impls, 1756 clqs
2.58/2.67	c (round 16, exhaustive) 1030 del vars, 351 del conss, 169 add conss, 0 chg bounds, 29 chg sides, 1109 chg coeffs, 96 upgd conss, 0 impls, 1756 clqs
2.58/2.67	c presolving (17 rounds: 17 fast, 13 medium, 11 exhaustive):
2.58/2.67	c  1030 deleted vars, 351 deleted constraints, 169 added constraints, 0 tightened bounds, 0 added holes, 29 changed sides, 1109 changed coefficients
2.58/2.67	c  0 implications, 1756 cliques
2.58/2.67	c presolved problem has 680 variables (680 bin, 0 int, 0 impl, 0 cont) and 870 constraints
2.58/2.67	c      63 constraints of type <knapsack>
2.58/2.67	c     109 constraints of type <setppc>
2.58/2.67	c     595 constraints of type <and>
2.58/2.67	c      11 constraints of type <linear>
2.58/2.67	c      92 constraints of type <logicor>
2.58/2.67	c transformed objective value is always integral (scale: 2)
2.58/2.67	c Presolving Time: 0.13
2.58/2.67	c transformed 1/2 original solutions to the transformed problem space
2.58/2.67	c 
2.58/2.69	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2.58/2.69	c   2.7s|     1 |     0 |  8224 |     - |    90M |   0 | 680 | 870 |1454 |   0 |  0 | 151 |   0 | 5.150161e+06 | 5.924474e+06 |  15.03%| unknown
2.68/2.76	c   2.8s|     1 |     0 |  8288 |     - |    90M |   0 | 680 | 871 |1460 |   6 |  1 | 152 |   0 | 5.166213e+06 | 5.924474e+06 |  14.68%| unknown
2.68/2.77	c   2.8s|     1 |     0 |  8288 |     - |    91M |   0 | 680 | 872 |1456 |   6 |  1 | 153 |   0 | 5.166213e+06 | 5.924474e+06 |  14.68%| unknown
2.78/2.83	c   2.8s|     1 |     0 |  8349 |     - |    93M |   0 | 680 | 872 |1463 |  13 |  2 | 153 |   0 | 5.176766e+06 | 5.924474e+06 |  14.44%| unknown
2.78/2.83	c   2.8s|     1 |     0 |  8349 |     - |    93M |   0 | 680 | 873 |1462 |  13 |  2 | 154 |   0 | 5.176766e+06 | 5.924474e+06 |  14.44%| unknown
2.88/2.92	c   2.9s|     1 |     0 |  8431 |     - |    94M |   0 | 680 | 873 |1471 |  22 |  3 | 154 |   0 | 5.183983e+06 | 5.924474e+06 |  14.28%| unknown
2.99/3.01	c   3.0s|     1 |     0 |  8499 |     - |    94M |   0 | 680 | 873 |1477 |  28 |  4 | 154 |   0 | 5.191403e+06 | 5.924474e+06 |  14.12%| unknown
2.99/3.01	c   3.0s|     1 |     0 |  8499 |     - |    94M |   0 | 680 | 874 |1473 |  28 |  4 | 155 |   0 | 5.191403e+06 | 5.924474e+06 |  14.12%| unknown
3.09/3.10	c   3.1s|     1 |     0 |  8604 |     - |    96M |   0 | 680 | 874 |1482 |  37 |  5 | 155 |   0 | 5.202063e+06 | 5.924474e+06 |  13.89%| unknown
3.09/3.18	c   3.2s|     1 |     0 |  8690 |     - |    96M |   0 | 680 | 875 |1488 |  43 |  6 | 156 |   0 | 5.208862e+06 | 5.924474e+06 |  13.74%| unknown
3.18/3.27	c   3.3s|     1 |     0 |  8833 |     - |    98M |   0 | 680 | 880 |1494 |  49 |  7 | 161 |   0 | 5.214843e+06 | 5.924474e+06 |  13.61%| unknown
3.18/3.27	c   3.3s|     1 |     0 |  8833 |     - |    98M |   0 | 680 | 881 |1492 |  49 |  7 | 162 |   0 | 5.214843e+06 | 5.924474e+06 |  13.61%| unknown
3.28/3.36	c   3.4s|     1 |     0 |  8881 |     - |    98M |   0 | 680 | 881 |1500 |  57 |  8 | 162 |   0 | 5.218855e+06 | 5.924474e+06 |  13.52%| unknown
3.28/3.36	c   3.4s|     1 |     0 |  8881 |     - |    98M |   0 | 680 | 882 |1498 |  57 |  8 | 163 |   0 | 5.218855e+06 | 5.924474e+06 |  13.52%| unknown
3.38/3.46	c   3.5s|     1 |     0 |  8968 |     - |   100M |   0 | 680 | 882 |1505 |  64 |  9 | 163 |   0 | 5.226641e+06 | 5.924474e+06 |  13.35%| unknown
3.38/3.46	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3.38/3.46	c   3.5s|     1 |     0 |  8968 |     - |   100M |   0 | 680 | 884 |1499 |  64 |  9 | 165 |   0 | 5.226641e+06 | 5.924474e+06 |  13.35%| unknown
3.48/3.56	c   3.6s|     1 |     0 |  9045 |     - |   103M |   0 | 680 | 884 |1506 |  72 | 10 | 165 |   0 | 5.229427e+06 | 5.924474e+06 |  13.29%| unknown
3.48/3.56	c   3.6s|     1 |     0 |  9045 |     - |   103M |   0 | 680 | 884 |1498 |  72 | 10 | 165 |   0 | 5.229427e+06 | 5.924474e+06 |  13.29%| unknown
3.48/3.57	c   3.6s|     1 |     0 |  9102 |     - |   103M |   0 | 680 | 884 |1501 |  76 | 11 | 165 |   0 | 5.231369e+06 | 5.924474e+06 |  13.25%| unknown
3.48/3.57	c   3.6s|     1 |     0 |  9102 |     - |   103M |   0 | 680 | 886 |1494 |  76 | 11 | 167 |   0 | 5.231369e+06 | 5.924474e+06 |  13.25%| unknown
3.48/3.59	c   3.6s|     1 |     0 |  9183 |     - |   103M |   0 | 680 | 886 |1467 |  80 | 12 | 167 |   0 | 5.235907e+06 | 5.924474e+06 |  13.15%| unknown
3.48/3.59	c   3.6s|     1 |     0 |  9183 |     - |   103M |   0 | 680 | 887 |1460 |  80 | 12 | 168 |   0 | 5.235907e+06 | 5.924474e+06 |  13.15%| unknown
3.58/3.60	c   3.6s|     1 |     0 |  9211 |     - |   103M |   0 | 680 | 887 |1466 |  86 | 13 | 168 |   0 | 5.237804e+06 | 5.924474e+06 |  13.11%| unknown
3.58/3.60	c   3.6s|     1 |     0 |  9211 |     - |   103M |   0 | 680 | 888 |1464 |  86 | 13 | 169 |   0 | 5.237804e+06 | 5.924474e+06 |  13.11%| unknown
3.58/3.61	c   3.6s|     1 |     0 |  9258 |     - |   103M |   0 | 680 | 888 |1467 |  89 | 14 | 169 |   0 | 5.241792e+06 | 5.924474e+06 |  13.02%| unknown
3.58/3.61	c   3.6s|     1 |     0 |  9258 |     - |   103M |   0 | 680 | 889 |1466 |  89 | 14 | 170 |   0 | 5.241792e+06 | 5.924474e+06 |  13.02%| unknown
3.58/3.62	c   3.6s|     1 |     0 |  9296 |     - |   103M |   0 | 680 | 889 |1470 |  94 | 15 | 170 |   0 | 5.243327e+06 | 5.924474e+06 |  12.99%| unknown
3.58/3.63	c   3.6s|     1 |     0 |  9355 |     - |   104M |   0 | 680 | 894 |1473 |  97 | 16 | 175 |   0 | 5.246356e+06 | 5.924474e+06 |  12.93%| unknown
3.58/3.64	c   3.6s|     1 |     0 |  9355 |     - |   104M |   0 | 680 | 894 |1472 |  97 | 16 | 175 |   0 | 5.246356e+06 | 5.924474e+06 |  12.93%| unknown
3.58/3.64	c   3.6s|     1 |     0 |  9400 |     - |   104M |   0 | 680 | 894 |1475 | 100 | 17 | 175 |   0 | 5.248827e+06 | 5.924474e+06 |  12.87%| unknown
3.58/3.66	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3.58/3.66	c   3.7s|     1 |     0 |  9439 |     - |   104M |   0 | 680 | 894 |1458 | 101 | 18 | 175 |   0 | 5.250505e+06 | 5.924474e+06 |  12.84%| unknown
3.58/3.67	c   3.7s|     1 |     0 |  9461 |     - |   104M |   0 | 680 | 895 |1461 | 104 | 19 | 176 |   0 | 5.251067e+06 | 5.924474e+06 |  12.82%| unknown
3.58/3.68	c   3.7s|     1 |     0 |  9482 |     - |   104M |   0 | 680 | 895 |1463 | 106 | 20 | 176 |   0 | 5.251348e+06 | 5.924474e+06 |  12.82%| unknown
3.58/3.69	c   3.7s|     1 |     0 |  9486 |     - |   104M |   0 | 680 | 898 |1464 | 107 | 21 | 179 |   0 | 5.251401e+06 | 5.924474e+06 |  12.82%| unknown
3.58/3.69	c   3.7s|     1 |     0 |  9486 |     - |   104M |   0 | 680 | 895 |1503 | 107 | 22 | 182 |   0 | 5.251401e+06 | 5.924474e+06 |  12.82%| unknown
3.98/4.10	c   4.1s|     1 |     2 | 10968 |     - |   104M |   0 | 680 | 904 |1503 | 107 | 23 | 191 |  24 | 5.254829e+06 | 5.924474e+06 |  12.74%| unknown
3.98/4.10	c (run 2, node 1) restarting after 46 global fixings of integer variables
3.98/4.10	c 
4.08/4.10	c (restart) converted 100 cuts from the global cut pool into linear constraints
4.08/4.10	c 
4.08/4.12	c presolving:
4.08/4.12	c (round 1, fast)       47 del vars, 1 del conss, 0 add conss, 0 chg bounds, 1 chg sides, 29 chg coeffs, 0 upgd conss, 0 impls, 1681 clqs
4.08/4.12	c (round 2, medium)     48 del vars, 1 del conss, 1 add conss, 0 chg bounds, 2 chg sides, 31 chg coeffs, 0 upgd conss, 0 impls, 1680 clqs
4.08/4.12	c (round 3, fast)       48 del vars, 9 del conss, 4 add conss, 0 chg bounds, 2 chg sides, 33 chg coeffs, 0 upgd conss, 0 impls, 1680 clqs
4.08/4.12	c (round 4, exhaustive) 48 del vars, 12 del conss, 5 add conss, 0 chg bounds, 2 chg sides, 33 chg coeffs, 0 upgd conss, 0 impls, 1680 clqs
4.08/4.12	c (round 5, exhaustive) 48 del vars, 12 del conss, 5 add conss, 0 chg bounds, 2 chg sides, 46 chg coeffs, 0 upgd conss, 0 impls, 1680 clqs
4.08/4.13	c (round 6, exhaustive) 48 del vars, 12 del conss, 5 add conss, 0 chg bounds, 2 chg sides, 46 chg coeffs, 95 upgd conss, 0 impls, 1680 clqs
4.08/4.13	c (round 7, exhaustive) 48 del vars, 12 del conss, 5 add conss, 0 chg bounds, 2 chg sides, 60 chg coeffs, 95 upgd conss, 0 impls, 1681 clqs
4.08/4.13	c (round 8, exhaustive) 48 del vars, 16 del conss, 5 add conss, 0 chg bounds, 2 chg sides, 63 chg coeffs, 95 upgd conss, 0 impls, 1685 clqs
4.08/4.13	c (round 9, exhaustive) 48 del vars, 18 del conss, 5 add conss, 0 chg bounds, 2 chg sides, 64 chg coeffs, 95 upgd conss, 0 impls, 1686 clqs
4.08/4.13	c (round 10, exhaustive) 48 del vars, 18 del conss, 5 add conss, 0 chg bounds, 2 chg sides, 75 chg coeffs, 95 upgd conss, 0 impls, 1686 clqs
4.08/4.13	c presolving (11 rounds: 11 fast, 9 medium, 8 exhaustive):
4.08/4.13	c  48 deleted vars, 18 deleted constraints, 5 added constraints, 0 tightened bounds, 0 added holes, 2 changed sides, 75 changed coefficients
4.08/4.13	c  0 implications, 1687 cliques
4.08/4.13	c presolved problem has 632 variables (632 bin, 0 int, 0 impl, 0 cont) and 991 constraints
4.08/4.13	c     111 constraints of type <knapsack>
4.08/4.13	c     185 constraints of type <setppc>
4.08/4.13	c     550 constraints of type <and>
4.08/4.13	c      17 constraints of type <linear>
4.08/4.13	c     128 constraints of type <logicor>
4.08/4.13	c transformed objective value is always integral (scale: 2)
4.08/4.13	c Presolving Time: 0.15
4.08/4.13	c transformed 1/2 original solutions to the transformed problem space
4.08/4.13	c 
4.08/4.19	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
4.08/4.19	c   4.2s|     1 |     0 | 12327 |     - |   102M |   0 | 632 | 991 |1492 |   0 |  0 | 191 |  24 | 5.254829e+06 | 5.924474e+06 |  12.74%| unknown
4.18/4.20	c   4.2s|     1 |     0 | 12327 |     - |   102M |   0 | 632 | 997 |1488 |   0 |  0 | 197 |  24 | 5.254829e+06 | 5.924474e+06 |  12.74%| unknown
4.18/4.25	c   4.3s|     1 |     0 | 12368 |     - |   102M |   0 | 632 | 997 |1497 |   9 |  1 | 197 |  24 | 5.254829e+06 | 5.924474e+06 |  12.74%| unknown
4.28/4.33	c   4.3s|     1 |     0 | 12430 |     - |   105M |   0 | 632 | 997 |1503 |  15 |  2 | 197 |  24 | 5.257364e+06 | 5.924474e+06 |  12.69%| unknown
4.38/4.41	c   4.4s|     1 |     0 | 12538 |     - |   108M |   0 | 632 |1001 |1509 |  21 |  3 | 201 |  24 | 5.264139e+06 | 5.924474e+06 |  12.54%| unknown
4.38/4.48	c   4.5s|     1 |     0 | 12592 |     - |   109M |   0 | 632 |1003 |1523 |  35 |  4 | 203 |  24 | 5.268485e+06 | 5.924474e+06 |  12.45%| unknown
4.47/4.56	c   4.6s|     1 |     0 | 12678 |     - |   112M |   0 | 632 |1004 |1533 |  45 |  5 | 204 |  24 | 5.276449e+06 | 5.924474e+06 |  12.28%| unknown
4.47/4.57	c   4.6s|     1 |     0 | 12678 |     - |   112M |   0 | 632 |1005 |1532 |  45 |  5 | 205 |  24 | 5.276449e+06 | 5.924474e+06 |  12.28%| unknown
4.57/4.64	c   4.6s|     1 |     0 | 12873 |     - |   113M |   0 | 632 |1005 |1540 |  54 |  6 | 205 |  24 | 5.283573e+06 | 5.924474e+06 |  12.13%| unknown
4.67/4.72	c   4.7s|     1 |     0 | 12985 |     - |   113M |   0 | 632 |1007 |1553 |  67 |  7 | 207 |  24 | 5.288039e+06 | 5.924474e+06 |  12.04%| unknown
4.77/4.81	c   4.8s|     1 |     0 | 13101 |     - |   115M |   0 | 632 |1008 |1565 |  79 |  8 | 208 |  24 | 5.289869e+06 | 5.924474e+06 |  12.00%| unknown
4.87/4.91	c   4.9s|     1 |     0 | 13251 |     - |   115M |   0 | 632 |1009 |1574 |  88 |  9 | 209 |  24 | 5.294518e+06 | 5.924474e+06 |  11.90%| unknown
4.98/5.02	c   5.0s|     1 |     0 | 13448 |     - |   121M |   0 | 632 |1009 |1584 |  98 | 10 | 209 |  24 | 5.301301e+06 | 5.924474e+06 |  11.76%| unknown
4.98/5.04	c   5.0s|     1 |     0 | 13573 |     - |   121M |   0 | 632 |1009 |1515 | 108 | 11 | 209 |  24 | 5.309215e+06 | 5.924474e+06 |  11.59%| unknown
4.98/5.06	c   5.1s|     1 |     0 | 13672 |     - |   121M |   0 | 632 |1010 |1528 | 121 | 12 | 210 |  24 | 5.313369e+06 | 5.924474e+06 |  11.50%| unknown
4.98/5.08	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
4.98/5.08	c   5.1s|     1 |     0 | 13714 |     - |   122M |   0 | 632 |1012 |1535 | 128 | 13 | 212 |  24 | 5.316022e+06 | 5.924474e+06 |  11.45%| unknown
4.98/5.09	c   5.1s|     1 |     0 | 13780 |     - |   122M |   0 | 632 |1013 |1537 | 130 | 14 | 213 |  24 | 5.318283e+06 | 5.924474e+06 |  11.40%| unknown
5.08/5.11	c   5.1s|     1 |     0 | 13837 |     - |   122M |   0 | 632 |1016 |1543 | 136 | 15 | 216 |  24 | 5.319571e+06 | 5.924474e+06 |  11.37%| unknown
5.08/5.12	c   5.1s|     1 |     0 | 13914 |     - |   122M |   0 | 632 |1017 |1548 | 141 | 16 | 217 |  24 | 5.321819e+06 | 5.924474e+06 |  11.32%| unknown
5.08/5.14	c   5.1s|     1 |     0 | 13928 |     - |   122M |   0 | 632 |1018 |1518 | 145 | 17 | 218 |  24 | 5.321905e+06 | 5.924474e+06 |  11.32%| unknown
5.08/5.15	c   5.2s|     1 |     0 | 13996 |     - |   122M |   0 | 632 |1022 |1520 | 147 | 18 | 222 |  24 | 5.324852e+06 | 5.924474e+06 |  11.26%| unknown
5.08/5.17	c   5.2s|     1 |     0 | 14067 |     - |   123M |   0 | 632 |1023 |1523 | 150 | 19 | 223 |  24 | 5.328344e+06 | 5.924474e+06 |  11.19%| unknown
5.08/5.18	c   5.2s|     1 |     0 | 14106 |     - |   123M |   0 | 632 |1028 |1528 | 155 | 20 | 228 |  24 | 5.329866e+06 | 5.924474e+06 |  11.16%| unknown
5.08/5.19	c   5.2s|     1 |     0 | 14116 |     - |   123M |   0 | 632 |1029 |1532 | 159 | 21 | 229 |  24 | 5.330111e+06 | 5.924474e+06 |  11.15%| unknown
5.17/5.20	c   5.2s|     1 |     0 | 14123 |     - |   123M |   0 | 632 |1029 |1535 | 162 | 22 | 229 |  24 | 5.330125e+06 | 5.924474e+06 |  11.15%| unknown
5.17/5.21	c   5.2s|     1 |     0 | 14124 |     - |   123M |   0 | 632 |1030 |1498 | 163 | 23 | 230 |  24 | 5.330125e+06 | 5.924474e+06 |  11.15%| unknown
5.17/5.22	c   5.2s|     1 |     0 | 14124 |     - |   123M |   0 | 632 |1032 |1503 | 163 | 24 | 233 |  24 | 5.330125e+06 | 5.924474e+06 |  11.15%| unknown
5.47/5.52	c   5.5s|     1 |     0 | 15291 |     - |   123M |   0 | 632 |1027 |1503 | 163 | 25 | 262 |  33 | 5.335306e+06 | 5.924474e+06 |  11.04%| unknown
5.77/5.86	c   5.9s|     1 |     2 | 15291 |     - |   123M |   0 | 632 |1034 |1503 | 163 | 26 | 269 |  58 | 5.340756e+06 | 5.924474e+06 |  10.93%| unknown
8.07/8.19	o 5920016
8.07/8.19	c * 8.2s|    43 |     4 | 21827 | 353.2 |strongbr|   7 | 632 |1157 |1548 | 501 |  5 | 405 | 389 | 5.381982e+06 | 5.920016e+06 |  10.00%|  31.57%
10.16/10.26	o 5900212
10.16/10.26	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
10.16/10.26	c *10.3s|    89 |     4 | 27770 | 238.7 |    LP  |  10 | 632 |1260 |1560 | 724 |  4 | 558 | 701 | 5.574852e+06 | 5.900212e+06 |   5.84%|  58.99%
10.35/10.46	c  10.5s|   100 |     5 | 28910 | 224.0 |   130M |  10 | 632 |1318 |1565 | 752 |  3 | 628 | 752 | 5.591394e+06 | 5.900212e+06 |   5.52%|  64.62%
10.86/10.96	c 
10.86/10.96	c SCIP Status        : problem is solved [optimal solution found]
10.86/10.96	c Solving Time (sec) : 10.96
10.86/10.96	c Solving Nodes      : 127 (total of 129 nodes in 3 runs)
10.86/10.96	c Primal Bound       : +5.90021200000000e+06 (5 solutions)
10.86/10.96	c Dual Bound         : +5.90021200000000e+06
10.86/10.96	c Gap                : 0.00 %
10.86/10.96	s OPTIMUM FOUND
10.86/10.96	v -x2835 -x2819 -x2803 -x2787 -x2771 -x2755 -x2964 -x2948 -x2932 -x2916 -x2900 -x2884 -x2868 -x2852 -x2836 -x990 -x989 -x988 -x987 
10.86/10.96	v -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 
10.86/10.96	v -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 
10.86/10.96	v -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x1107 
10.86/10.96	v -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 
10.86/10.96	v -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 
10.86/10.96	v -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 
10.86/10.96	v -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 
10.86/10.96	v -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 
10.86/10.96	v -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 
10.86/10.96	v -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 
10.86/10.96	v -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 
10.86/10.96	v -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 x761 -x760 -x759 -x758 -x757 -x756 -x755 
10.86/10.96	v -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 x917 -x916 
10.86/10.96	v -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 
10.86/10.96	v -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 
10.86/10.96	v -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 
10.86/10.96	v -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 
10.86/10.96	v -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 
10.86/10.96	v -x810 -x809 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 
10.86/10.96	v -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 
10.86/10.96	v -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 
10.86/10.96	v -x566 -x565 -x564 -x563 -x562 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 
10.86/10.96	v -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 
10.86/10.96	v -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 
10.86/10.96	v -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 
10.86/10.96	v -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 
10.86/10.96	v -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x444 -x443 -x442 
10.86/10.96	v -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 
10.86/10.96	v -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 
10.86/10.96	v -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x561 
10.86/10.96	v -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 
10.86/10.96	v -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 
10.86/10.96	v -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 
10.86/10.96	v -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 
10.86/10.96	v -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 
10.86/10.96	v -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 
10.86/10.96	v -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 
10.86/10.96	v -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 
10.86/10.96	v -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x379 -x378 -x377 -x376 -x375 -x374 
10.86/10.96	v -x373 -x372 x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 
10.86/10.96	v -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 
10.86/10.96	v -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 
10.86/10.96	v -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 
10.86/10.96	v -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 
10.86/10.96	v -x268 -x267 -x266 -x265 -x264 -x263 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 
10.86/10.96	v -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 
10.86/10.96	v -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x197 -x196 
10.86/10.96	v -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 
10.86/10.96	v -x174 -x173 -x172 -x171 -x170 -x169 x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 
10.86/10.96	v -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 
10.86/10.96	v -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 
10.86/10.96	v -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 
10.86/10.96	v -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x2641 -x2640 -x2639 -x2638 -x2637 -x2636 -x2635 -x2634 -x2633 -x2632 -x2631 
10.86/10.96	v -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 x2620 -x2619 -x2618 -x2617 -x2616 -x2615 -x2614 -x2613 
10.86/10.96	v -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 -x2600 -x2599 -x2598 -x2597 -x2596 -x2595 
10.86/10.96	v -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 x2581 -x2580 -x2579 -x2578 -x2577 
10.86/10.96	v -x2576 -x2575 -x2574 -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 -x2564 -x2745 -x2744 -x2743 -x2742 -x2741 
10.86/10.96	v -x2740 -x2739 -x2738 -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727 -x2726 -x2725 -x2724 -x2723 
10.86/10.96	v -x2722 -x2721 -x2720 -x2719 -x2718 -x2717 -x2716 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707 -x2706 -x2705 
10.86/10.96	v -x2704 -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 -x2691 -x2690 -x2689 -x2688 -x2687 
10.86/10.96	v -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 -x2673 -x2672 -x2671 -x2670 -x2669 
10.86/10.96	v -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 -x2654 -x2653 -x2652 
10.86/10.96	v -x2651 -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2459 -x2458 -x2457 -x2456 -x2455 -x2454 -x2453 -x2452 
10.86/10.96	v -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 -x2437 -x2436 -x2435 -x2434 
10.86/10.96	v -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422 -x2421 -x2420 -x2419 -x2418 -x2417 -x2416 
10.86/10.96	v -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 -x2403 -x2402 -x2401 -x2400 -x2399 -x2398 
10.86/10.96	v -x2397 -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 -x2563 -x2562 
10.86/10.96	v -x2561 -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 -x2548 -x2547 -x2546 -x2545 -x2544 
10.86/10.96	v -x2543 -x2542 -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 -x2530 -x2529 -x2528 -x2527 
10.86/10.96	v -x2526 -x2525 -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510 -x2509 
10.86/10.96	v -x2508 -x2507 -x2506 -x2505 -x2504 -x2503 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 -x2493 -x2492 -x2491 
10.86/10.96	v -x2490 -x2489 -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 
10.86/10.96	v -x2472 -x2471 -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2277 -x2276 -x2275 -x2274 -x2273 
10.86/10.96	v -x2272 -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260 -x2259 -x2258 -x2257 -x2256 -x2255 
10.86/10.96	v -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242 -x2241 -x2240 -x2239 -x2238 -x2237 
10.86/10.96	v -x2236 -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 -x2220 
10.86/10.96	v -x2219 -x2218 -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 x2209 -x2208 -x2207 -x2206 -x2205 -x2204 -x2203 -x2202 
10.86/10.96	v -x2201 -x2200 -x2381 -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2366 
10.86/10.96	v -x2365 -x2364 -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2355 -x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 
10.86/10.96	v -x2347 -x2346 -x2345 -x2344 -x2343 -x2342 -x2341 -x2340 -x2339 -x2338 -x2337 -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 
10.86/10.96	v -x2329 -x2328 -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321 -x2320 -x2319 -x2318 -x2317 -x2316 -x2315 -x2314 -x2313 -x2312 
10.86/10.96	v -x2311 -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294 
10.86/10.96	v -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2279 -x2278 -x2095 -x2094 
10.86/10.96	v -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 
10.86/10.96	v -x2076 -x2075 -x2074 -x2073 -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 
10.86/10.96	v -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 -x2041 
10.86/10.96	v -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 
10.86/10.96	v -x2022 -x2021 -x2020 -x2019 -x2018 -x2199 -x2198 -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2187 
10.86/10.96	v -x2186 -x2185 -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 -x2177 -x2176 -x2175 -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 
10.86/10.96	v -x2168 -x2167 -x2166 -x2165 -x2164 -x2163 -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 -x2154 -x2153 -x2152 -x2151 
10.86/10.96	v -x2150 -x2149 -x2148 -x2147 -x2146 -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 x2137 -x2136 -x2135 -x2134 -x2133 
10.86/10.96	v -x2132 -x2131 -x2130 -x2129 -x2128 -x2127 -x2126 -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 
10.86/10.96	v -x2115 -x2114 -x2113 -x2112 -x2111 -x2110 -x2109 -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 
10.86/10.96	v x2097 -x2096 -x1913 -x1912 -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 
10.86/10.96	v -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1880 
10.86/10.96	v -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 
10.86/10.96	v -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 
10.86/10.96	v -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x2017 -x2016 -x2015 -x2014 -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 
10.86/10.96	v -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 -x1991 -x1990 
10.86/10.96	v -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 
10.86/10.96	v -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 
10.86/10.96	v -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 
10.86/10.96	v -x1936 -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 
10.86/10.96	v -x1918 -x1917 -x1916 -x1915 -x1914 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 
10.86/10.96	v -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 
10.86/10.96	v -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 
10.86/10.96	v -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667 -x1666 
10.86/10.96	v -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 
10.86/10.96	v -x1829 -x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 -x1814 -x1813 -x1812 
10.86/10.96	v -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 -x1796 -x1795 -x1794 
10.86/10.96	v -x1793 -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 
10.86/10.96	v -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758 
10.86/10.96	v -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 
10.86/10.96	v -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 x1733 -x1732 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 
10.86/10.96	v -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 
10.86/10.96	v -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 
10.86/10.96	v -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 
10.86/10.96	v -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1653 -x1652 -x1651 
10.86/10.96	v -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 
10.86/10.96	v -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 
10.86/10.96	v -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 
10.86/10.96	v -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 -x1580 -x1579 
10.86/10.96	v -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 
10.86/10.96	v -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 
10.86/10.96	v x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 
10.86/10.96	v -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 
10.86/10.96	v -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 
10.86/10.96	v -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 
10.86/10.96	v -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 
10.86/10.96	v -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 
10.86/10.96	v -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 
10.86/10.96	v -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 
10.86/10.96	v -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 
10.86/10.96	v -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1185 -x1184 -x1183 
10.86/10.96	v -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 
10.86/10.96	v -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 
10.86/10.96	v -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 
10.86/10.96	v -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 
10.86/10.96	v -x1111 -x1110 -x1109 -x1108 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 
10.86/10.96	v -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 
10.86/10.96	v -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 
10.86/10.96	v x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 
10.86/10.96	v -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 
10.86/10.96	v -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 
10.86/10.96	v -x3300 -x3284 -x3268 -x3252 -x3236 -x3220 -x3429 -x3413 -x3397 -x3381 -x3365 -x3349 -x3333 -x3317 -x3301 -x3060 -x3044 -x3028 
10.86/10.96	v -x3012 -x2996 -x2980 -x3189 -x3173 -x3157 -x3141 -x3125 -x3109 -x3093 -x3077 -x3061 -x15 -x14 x13 -x12 -x11 -x10 -x9 -x8 
10.86/10.96	v -x7 -x6 -x5 -x4 -x3 -x2 -x1 -x3299 -x3298 -x3297 -x3296 -x3295 -x3294 -x3293 -x3292 -x3291 -x3290 -x3289 -x3288 -x3287 -x3286 
10.86/10.96	v -x3285 -x3283 -x3282 -x3281 -x3280 -x3279 -x3278 -x3277 -x3276 -x3275 -x3274 -x3273 -x3272 -x3271 -x3270 -x3269 x3267 -x3266 
10.86/10.96	v -x3265 -x3264 x3263 -x3262 -x3261 x3260 -x3259 x3258 -x3257 -x3256 -x3255 -x3254 x3253 -x3251 -x3250 -x3249 x3248 -x3247 -x3246 
10.86/10.96	v -x3245 -x3244 x3243 -x3242 -x3241 -x3240 -x3239 -x3238 -x3237 -x3235 -x3234 -x3233 -x3232 -x3231 -x3230 -x3229 -x3228 -x3227 
10.86/10.96	v -x3226 -x3225 -x3224 -x3223 -x3222 -x3221 -x3219 -x3218 -x3217 -x3216 -x3215 -x3214 -x3213 -x3212 -x3211 -x3435 -x3434 -x3433 
10.86/10.96	v -x3432 -x3431 -x3430 -x3428 -x3427 -x3426 -x3425 -x3424 -x3423 -x3422 -x3421 -x3420 -x3419 x3418 x3417 -x3416 -x3415 -x3414 
10.86/10.96	v -x3412 -x3411 -x3410 -x3409 -x3408 -x3407 -x3406 -x3405 -x3404 -x3403 -x3402 -x3401 -x3400 -x3399 -x3398 -x3396 -x3395 -x3394 
10.86/10.96	v -x3393 -x3392 -x3391 -x3390 -x3389 -x3388 -x3387 -x3386 -x3385 -x3384 -x3383 -x3382 -x3380 -x3379 -x3378 -x3377 -x3376 
10.86/10.96	v -x3375 -x3374 x3373 -x3372 -x3371 -x3370 -x3369 -x3368 -x3367 -x3366 -x3364 x3363 -x3362 -x3361 -x3360 -x3359 -x3358 -x3357 -x3356 
10.86/10.96	v -x3355 -x3354 -x3353 -x3352 -x3351 -x3350 -x3348 -x3347 -x3346 -x3345 -x3344 x3343 x3342 -x3341 -x3340 -x3339 -x3338 -x3337 
10.86/10.96	v -x3336 x3335 -x3334 -x3332 -x3331 -x3330 -x3329 -x3328 -x3327 -x3326 -x3325 -x3324 -x3323 -x3322 -x3321 -x3320 -x3319 -x3318 
10.86/10.96	v -x3316 -x3315 -x3314 -x3313 -x3312 -x3311 -x3310 -x3309 -x3308 -x3307 -x3306 -x3305 -x3304 -x3303 -x3302 -x3210 -x3209 -x3208 
10.86/10.96	v x3207 -x3206 -x3205 -x3204 x3203 -x3202 -x3201 x3200 -x3199 x3198 -x3197 -x3196 -x2834 -x2833 -x2832 -x2831 -x2830 -x2829 
10.86/10.96	v -x2828 -x2827 -x2826 -x2825 -x2824 -x2823 x2822 -x2821 -x2820 -x2818 -x2817 x2816 -x2815 x2814 -x2813 -x2812 -x2811 -x2810 
10.86/10.96	v -x2809 -x2808 -x2807 -x2806 -x2805 -x2804 -x2802 -x2801 -x2800 -x2799 -x2798 -x2797 -x2796 -x2795 -x2794 -x2793 -x2792 -x2791 
10.86/10.96	v -x2790 -x2789 -x2788 -x2786 -x2785 -x2784 -x2783 -x2782 -x2781 -x2780 -x2779 -x2778 -x2777 -x2776 -x2775 x2774 -x2773 -x2772 
10.86/10.96	v -x2770 x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763 -x2762 -x2761 -x2760 -x2759 -x2758 -x2757 -x2756 -x2754 -x2753 x2752 
10.86/10.96	v -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2970 x2969 -x2968 -x2967 x2966 -x2965 -x2963 -x2962 -x2961 -x2960 -x2959 -x2958 
10.86/10.96	v -x2957 -x2956 -x2955 -x2954 -x2953 -x2952 -x2951 -x2950 -x2949 -x2947 -x2946 -x2945 -x2944 -x2943 -x2942 -x2941 -x2940 -x2939 
10.86/10.96	v -x2938 -x2937 -x2936 x2935 -x2934 -x2933 -x2931 -x2930 -x2929 -x2928 -x2927 -x2926 -x2925 -x2924 -x2923 -x2922 -x2921 -x2920 
10.86/10.96	v -x2919 -x2918 -x2917 -x2915 x2914 -x2913 -x2912 x2911 -x2910 -x2909 -x2908 -x2907 -x2906 -x2905 -x2904 -x2903 -x2902 -x2901 
10.86/10.96	v -x2899 -x2898 -x2897 -x2896 -x2895 -x2894 -x2893 -x2892 -x2891 -x2890 -x2889 -x2888 -x2887 x2886 -x2885 -x2883 -x2882 x2881 -x2880 
10.86/10.96	v -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 -x2873 -x2872 -x2871 -x2870 -x2869 -x2867 -x2866 x2865 -x2864 -x2863 -x2862 -x2861 
10.86/10.96	v -x2860 -x2859 -x2858 -x2857 -x2856 -x2855 -x2854 -x2853 -x2851 -x2850 -x2849 -x2848 -x2847 -x2846 -x2845 -x2844 -x2843 
10.86/10.96	v -x2842 x2841 -x2840 x2839 -x2838 -x2837 -x3059 -x3058 -x3057 -x3056 -x3055 -x3054 x3053 -x3052 -x3051 -x3050 -x3049 -x3048 -x3047 
10.86/10.96	v -x3046 -x3045 -x3043 -x3042 -x3041 -x3040 -x3039 -x3038 -x3037 -x3036 x3035 -x3034 -x3033 -x3032 -x3031 -x3030 -x3029 -x3027 
10.86/10.96	v -x3026 -x3025 -x3024 -x3023 -x3022 -x3021 -x3020 -x3019 -x3018 -x3017 -x3016 -x3015 -x3014 -x3013 -x3011 x3010 -x3009 -x3008 
10.86/10.96	v x3007 -x3006 -x3005 -x3004 -x3003 -x3002 -x3001 -x3000 -x2999 -x2998 -x2997 -x2995 -x2994 -x2993 -x2992 -x2991 x2990 -x2989 
10.86/10.96	v -x2988 -x2987 -x2986 -x2985 -x2984 -x2983 x2982 -x2981 -x2979 -x2978 -x2977 -x2976 -x2975 -x2974 -x2973 -x2972 -x2971 -x3195 
10.86/10.96	v -x3194 -x3193 -x3192 -x3191 -x3190 -x3188 -x3187 -x3186 x3185 -x3184 -x3183 -x3182 -x3181 x3180 -x3179 -x3178 -x3177 -x3176 
10.86/10.96	v -x3175 -x3174 -x3172 -x3171 -x3170 -x3169 -x3168 x3167 -x3166 -x3165 -x3164 -x3163 x3162 -x3161 -x3160 -x3159 -x3158 -x3156 
10.86/10.96	v -x3155 -x3154 -x3153 -x3152 -x3151 -x3150 -x3149 -x3148 -x3147 -x3146 -x3145 -x3144 -x3143 -x3142 -x3140 -x3139 x3138 -x3137 
10.86/10.96	v -x3136 -x3135 x3134 -x3133 -x3132 x3131 -x3130 x3129 -x3128 -x3127 -x3126 -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 -x3118 
10.86/10.96	v -x3117 -x3116 -x3115 -x3114 -x3113 -x3112 -x3111 -x3110 x3108 -x3107 -x3106 -x3105 -x3104 -x3103 -x3102 -x3101 -x3100 -x3099 
10.86/10.96	v -x3098 -x3097 x3096 -x3095 x3094 -x3092 x3091 -x3090 -x3089 -x3088 -x3087 -x3086 -x3085 -x3084 x3083 -x3082 -x3081 -x3080 -x3079 
10.86/10.96	v -x3078 -x3076 -x3075 -x3074 -x3073 -x3072 -x3071 -x3070 -x3069 -x3068 -x3067 -x3066 -x3065 -x3064 x3063 -x3062 
10.86/10.96	c SCIP Status        : problem is solved [optimal solution found]
10.86/10.96	c Total Time         :      10.96
10.86/10.96	c   solving          :      10.96
10.86/10.96	c   presolving       :       0.15 (included in solving)
10.86/10.96	c   reading          :       0.02 (included in solving)
10.86/10.96	c   copying          :       0.02 (5 #copies) (minimal 0.00, maximal 0.01, average 0.00)
10.86/10.96	c Original Problem   :
10.86/10.96	c   Problem name     : HOME/instance-4432872-1721140847.opb
10.86/10.96	c   Variables        : 3435 (3435 binary, 0 integer, 0 implicit integer, 0 continuous)
10.86/10.96	c   Constraints      : 6802 initial, 6802 maximal
10.86/10.96	c   Objective        : minimize, 645 non-zeros (abs.min = 1, abs.max = 6.8921e+07)
10.86/10.96	c Presolved Problem  :
10.86/10.96	c   Problem name     : t_HOME/instance-4432872-1721140847.opb
10.86/10.96	c   Variables        : 632 (632 binary, 0 integer, 0 implicit integer, 0 continuous)
10.86/10.96	c   Constraints      : 991 initial, 1396 maximal
10.86/10.96	c   Objective        : minimize, 168 non-zeros (abs.min = 1681, abs.max = 1.3358e+06)
10.86/10.96	c   Nonzeros         : 6732 constraint, 3163 clique table
10.86/10.96	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
10.86/10.96	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
10.86/10.96	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
10.86/10.96	c   domcol           :       0.00       0.00      3          0          0          0          0          0          0          0          0          0
10.86/10.96	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
10.86/10.96	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
10.86/10.96	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
10.86/10.96	c   dualsparsify     :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
10.86/10.96	c   gateextraction   :       0.02       0.00     23          0          0          0          0          0      11151       2950          0          0
10.86/10.96	c   implics          :       0.00       0.00     28          0          0          0          0          0          0          0          0          0
10.86/10.96	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
10.86/10.96	c   milp             :       0.02       0.00      1          0          0          0          0          0          0          0          0          0
10.86/10.96	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
10.86/10.96	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
10.86/10.96	c   sparsify         :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
10.86/10.96	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
10.86/10.96	c   trivial          :       0.00       0.00     35        937          0          0          0          0          0          0          0          0
10.86/10.96	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
10.86/10.96	c   dualfix          :       0.00       0.00     35          0          0          0          0          0          0          0          0          0
10.86/10.96	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
10.86/10.96	c   probing          :       0.01       0.00      1          0          0          0          0          0          0          0          0          0
10.86/10.96	c   pseudoobj        :       0.00       0.00      2          0          0          0          0          0          0          0          0          0
10.86/10.96	c   symmetry         :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
10.86/10.96	c   vbounds          :       0.00       0.00      4          3          5          0          0          0          0          0          0          0
10.86/10.96	c   knapsack         :       0.02       0.00     80          0          0          0          0          0       2965       8222         30         98
10.86/10.96	c   setppc           :       0.01       0.00     77          0          0          0          0          0        153          0          0          0
10.86/10.96	c   and              :       0.02       0.00     45        132       1366          0          0          0       1603        132          0        770
10.86/10.96	c   linear           :       0.03       0.00     47         45        315          0         45          0        634          0        106        359
10.86/10.96	c   logicor          :       0.01       0.00     68          0          0          0          0          0         36          0          0        272
10.86/10.96	c   benders          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
10.86/10.96	c   components       :       0.00       0.00      3          0          0          0          0          0          0          0          0          0
10.86/10.96	c   root node        :          -          -      -       1406          -          -       1406          -          -          -          -          -
10.86/10.96	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
10.86/10.96	c   benderslp        :          0          0          0          0        193          0          0         46          0          0          0          0          0          0          0
10.86/10.96	c   integral         :          0          0          0          0        193          0          0         46          0          1        773          0          0        403        128
10.86/10.96	c   knapsack         :        111        111         73       9718          1          0          0         37       1390         15        605         46          8          0          0
10.86/10.96	c   setppc           :        185+       192         73       9022          1          0          0         14       1414         22        454          3          0          0          0
10.86/10.96	c   and              :        550        550        564       9677          1          0          0          9       3117         14       9872        982        603          0          0
10.86/10.96	c   linear           :         17+        20         73       9665          1          0          0          9        172         12          8          0          0          0          0
10.86/10.96	c   logicor          :        128+       563         73       3831          1          0          0          6        750         40        150          0          0          0          0
10.86/10.96	c   benders          :          0          0          0          0          1          0          0          8          0          0          0          0          0          0          0
10.86/10.96	c   fixedvar         :          0          0          0          0          1          0          0          8          0          0          0          0          0          0          0
10.86/10.96	c   countsols        :          0          0          0          0          1          0          0          8          0          0          0          0          0          0          0
10.86/10.96	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
10.86/10.96	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
10.86/10.96	c   benderslp        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
10.86/10.96	c   integral         :       4.34       0.00       0.00       0.00       4.34       0.00       0.00       0.00       0.00       0.00
10.86/10.96	c   knapsack         :       0.14       0.00       0.06       0.03       0.00       0.00       0.00       0.00       0.00       0.05
10.86/10.96	c   setppc           :       0.03       0.00       0.00       0.01       0.00       0.00       0.00       0.00       0.00       0.02
10.86/10.96	c   and              :       0.26       0.00       0.05       0.12       0.00       0.00       0.00       0.00       0.00       0.09
10.86/10.96	c   linear           :       0.03       0.00       0.02       0.01       0.00       0.00       0.00       0.00       0.00       0.01
10.86/10.96	c   logicor          :       0.02       0.00       0.00       0.01       0.00       0.00       0.00       0.00       0.00       0.01
10.86/10.96	c   benders          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
10.86/10.96	c   fixedvar         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
10.86/10.96	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
10.86/10.96	c   components       :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
10.86/10.96	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
10.86/10.96	c   dualfix          :         18          0          0          0
10.86/10.96	c   genvbounds       :          0          0          0          0
10.86/10.96	c   nlobbt           :          0          0          0          0
10.86/10.96	c   obbt             :          0          0          0          0
10.86/10.96	c   probing          :          0          0          0          0
10.86/10.96	c   pseudoobj        :       1363          3          0         23
10.86/10.96	c   redcost          :       1142          0          0       1956
10.86/10.96	c   rootredcost      :          3          0          0          2
10.86/10.96	c   symmetry         :          0          0          0          0
10.86/10.96	c   vbounds          :       6252          0          0          0
10.86/10.96	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
10.86/10.96	c   dualfix          :       0.00       0.00       0.00       0.00       0.00       0.00
10.86/10.96	c   genvbounds       :       0.00       0.00       0.00       0.00       0.00       0.00
10.86/10.96	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
10.86/10.96	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
10.86/10.96	c   probing          :       0.01       0.00       0.01       0.00       0.00       0.00
10.86/10.96	c   pseudoobj        :       0.00       0.00       0.00       0.00       0.00       0.00
10.86/10.96	c   redcost          :       0.02       0.00       0.00       0.02       0.00       0.00
10.86/10.96	c   rootredcost      :       0.00       0.00       0.00       0.00       0.00       0.00
10.86/10.96	c   symmetry         :       0.00       0.00       0.00       0.00       0.00       0.00
10.86/10.96	c   vbounds          :       0.01       0.00       0.00       0.00       0.00       0.00
10.86/10.96	c Symmetry           :
10.86/10.96	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
10.86/10.96	c   orbital reduction:          0 reductions applied,          0 cutoffs
10.86/10.96	c   lexicographic red:          0 reductions applied,          0 cutoffs
10.86/10.96	c   shadow tree time :       0.00 s
10.86/10.96	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
10.86/10.96	c   propagation      :       0.00        100         97          -        239       19.4          4        9.5          -          -          -
10.86/10.96	c   infeasible LP    :       0.00          2          2          -         25       42.0          0        0.0          2       48.5          0
10.86/10.96	c   bound exceed. LP :       0.18        418        197          -        773       28.0          0        0.0         76        2.2       2795
10.86/10.96	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
10.86/10.96	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
10.86/10.96	c   applied globally :       0.00          -          -         73        640       19.7          -          -         78          -          -
10.86/10.96	c   applied locally  :          -          -          -          0          0        0.0          -          -          0          -          -
10.86/10.96	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
10.86/10.96	c   cut pool         :       0.10          -        193        133          -          -       7445      13313          -          -          -          -          -    (maximal pool size:       3217)
10.86/10.96	c   aggregation      :       0.30       0.00        107         73          0          0          7          8          0          3          3          0          0
10.86/10.96	c   > cmir           :          -          -          -          -          -          -          -          3          0          0          0          0          -
10.86/10.96	c   > flowcover      :          -          -          -          -          -          -          -          4          0          2          2          0          -
10.86/10.96	c   > knapsackcover  :          -          -          -          -          -          -          -          1          0          1          1          0          -
10.86/10.96	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
10.86/10.96	c   clique           :       0.03       0.00         73         73          0          0         18         39          0         15         15          0          0
10.86/10.96	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
10.86/10.96	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
10.86/10.96	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
10.86/10.96	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
10.86/10.96	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
10.86/10.96	c   gomory           :       2.27       0.00         50         30          0          0       6972      12554          0         64         64          0          0
10.86/10.96	c   > gomorymi       :          -          -          -          -          -          -          -       8725          0         48         48          0          -
10.86/10.96	c   > strongcg       :          -          -          -          -          -          -          -       3829          0         16         16          0          -
10.86/10.96	c   impliedbounds    :       0.01       0.00        107         73          0          5        230        283          0        214        214          0          0
10.86/10.96	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
10.86/10.96	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
10.86/10.96	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
10.86/10.96	c   mcf              :       0.00       0.00          3          3          0          0          0          0          0          0          0          0          0
10.86/10.96	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
10.86/10.96	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
10.86/10.96	c   multilinear      :       0.00       0.00        118         73          0          0          0          0          0          0          0          0          0
10.86/10.96	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
10.86/10.96	c   rapidlearning    :       0.04       0.00          1          1          0          0          0          0          0          0          0          0          0
10.86/10.96	c   rlt              :       0.69       0.00         37         30          0          0        127        185          0        121        121          0          0
10.86/10.96	c   zerohalf         :       0.09       0.00         80         60          0          0         91        244          0         60         60          0          0
10.86/10.96	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
10.86/10.96	c   hybrid           :       0.02       0.00        312         65       1088          0      13256        382          0      10873
10.86/10.96	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
10.86/10.96	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
10.86/10.96	c Pricers            :   ExecTime  SetupTime      Calls       Vars
10.86/10.96	c   problem variables:       0.00          -          0          0
10.86/10.96	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
10.86/10.96	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
10.86/10.96	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
10.86/10.96	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
10.86/10.96	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
10.86/10.96	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
10.86/10.96	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
10.86/10.96	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
10.86/10.96	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
10.86/10.96	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
10.86/10.96	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
10.86/10.96	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
10.86/10.96	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
10.86/10.96	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
10.86/10.96	c   relpscost        :       4.34       0.00        192          0          0          1        773          0        434        128
10.86/10.96	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
10.86/10.96	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
10.86/10.96	c   LP solutions     :       0.00          -          -          1          1
10.86/10.96	c   relax solutions  :       0.00          -          -          0          0
10.86/10.96	c   pseudo solutions :       0.00          -          -          0          0
10.86/10.96	c   strong branching :       0.00          -          -          1          1
10.86/10.96	c   actconsdiving    :       0.00       0.00          0          0          0
10.86/10.96	c   adaptivediving   :       0.00       0.00          0          0          0
10.86/10.96	c   alns             :       0.01       0.00          1          0          0
10.86/10.96	c   bound            :       0.00       0.00          0          0          0
10.86/10.96	c   clique           :       0.02       0.00          1          0          0
10.86/10.96	c   coefdiving       :       0.00       0.00          0          0          0
10.86/10.96	c   completesol      :       0.00       0.00          0          0          0
10.86/10.96	c   conflictdiving   :       0.12       0.00          3          0          0
10.86/10.96	c   crossover        :       0.00       0.00          0          0          0
10.86/10.96	c   dins             :       0.00       0.00          0          0          0
10.86/10.96	c   distributiondivin:       0.00       0.00          0          0          0
10.86/10.96	c   dps              :       0.00       0.00          0          0          0
10.86/10.96	c   dualval          :       0.00       0.00          0          0          0
10.86/10.96	c   farkasdiving     :       0.33       0.00          3          1          1
10.86/10.96	c   feasjump         :       0.00       0.00          1          1          1
10.86/10.96	c   feaspump         :       0.30       0.00          1          0          0
10.86/10.96	c   fixandinfer      :       0.00       0.00          0          0          0
10.86/10.96	c   fracdiving       :       0.00       0.00          0          0          0
10.86/10.96	c   gins             :       0.00       0.00          0          0          0
10.86/10.96	c   guideddiving     :       0.00       0.00          0          0          0
10.86/10.96	c   indcoefdiving    :       0.00       0.00          0          0          0
10.86/10.96	c   indicator        :       0.00       0.00          0          0          0
10.86/10.96	c   indicatordiving  :       0.00       0.00          0          0          0
10.86/10.96	c   indoneopt        :       0.00       0.00          0          0          0
10.86/10.96	c   indrounding      :       0.00       0.00          0          0          0
10.86/10.96	c   indtwoopt        :       0.00       0.00          0          0          0
10.86/10.96	c   intdiving        :       0.00       0.00          0          0          0
10.86/10.96	c   intshifting      :       0.00       0.00          0          0          0
10.86/10.96	c   linesearchdiving :       0.00       0.00          0          0          0
10.86/10.96	c   localbranching   :       0.00       0.00          0          0          0
10.86/10.96	c   locks            :       0.00       0.00          1          0          0
10.86/10.96	c   lpface           :       0.00       0.00          0          0          0
10.86/10.96	c   mpec             :       0.00       0.00          0          0          0
10.86/10.96	c   multistart       :       0.00       0.00          0          0          0
10.86/10.96	c   mutation         :       0.00       0.00          0          0          0
10.86/10.96	c   nlpdiving        :       0.00       0.00          0          0          0
10.86/10.96	c   objpscostdiving  :       0.00       0.00          0          0          0
10.86/10.96	c   octane           :       0.00       0.00          0          0          0
10.86/10.96	c   ofins            :       0.00       0.00          0          0          0
10.86/10.96	c   oneopt           :       0.00       0.00          4          0          0
10.86/10.96	c   padm             :       0.00       0.00          0          0          0
10.86/10.96	c   proximity        :       0.00       0.00          0          0          0
10.86/10.96	c   pscostdiving     :       0.00       0.00          0          0          0
10.86/10.96	c   randrounding     :       0.15       0.00         70          0          0
10.86/10.96	c   rens             :       0.20       0.00          3          0          0
10.86/10.96	c   reoptsols        :       0.00       0.00          0          0          0
10.86/10.96	c   repair           :       0.00       0.00          0          0          0
10.86/10.96	c   rins             :       0.00       0.00          0          0          0
10.86/10.96	c   rootsoldiving    :       0.00       0.00          0          0          0
10.86/10.96	c   rounding         :       0.02       0.00        280          0          0
10.86/10.96	c   scheduler        :       0.00       0.00          0          0          0
10.86/10.96	c   shiftandpropagate:       0.01       0.00          1          0          0
10.86/10.96	c   shifting         :       0.03       0.00        110          1          0
10.86/10.96	c   simplerounding   :       0.00       0.00          0          0          0
10.86/10.96	c   smallcard        :       0.00       0.00          0          0          0
10.86/10.96	c   subnlp           :       0.00       0.00          0          0          0
10.86/10.96	c   trivial          :       0.00       0.00          6          0          0
10.86/10.96	c   trivialnegation  :       0.00       0.00          0          0          0
10.86/10.96	c   trustregion      :       0.00       0.00          0          0          0
10.86/10.96	c   trysol           :       0.00       0.00          0          0          0
10.86/10.96	c   twoopt           :       0.00       0.00          0          0          0
10.86/10.96	c   undercover       :       0.04       0.00          1          0          0
10.86/10.96	c   vbounds          :       0.02       0.00          3          0          0
10.86/10.96	c   veclendiving     :       0.00       0.00          0          0          0
10.86/10.96	c   zeroobj          :       0.00       0.00          0          0          0
10.86/10.96	c   zirounding       :       0.00       0.00         65          0          0
10.86/10.96	c   other solutions  :          -          -          -          0          -
10.86/10.96	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
10.86/10.96	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
10.86/10.96	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
10.86/10.96	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
10.86/10.96	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
10.86/10.96	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
10.86/10.96	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
10.86/10.96	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
10.86/10.96	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
10.86/10.96	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
10.86/10.96	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
10.86/10.96	c   primal LP        :       0.00         14          0       0.00          -       0.00         14
10.86/10.96	c   dual LP          :       1.20        991      21952      38.92   18352.84       0.08        427
10.86/10.96	c   lex dual LP      :       0.00          0          0       0.00          -
10.86/10.96	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
10.86/10.96	c   resolve instable :       0.00          0          0       0.00          -
10.86/10.96	c   diving/probing LP:       0.73        354       9702      27.41   13380.81
10.86/10.96	c   strong branching :       3.65        815      71995      88.34   19712.10          -          -         49
10.86/10.96	c     (at root node) :          -         58      12178     209.97          -
10.86/10.96	c   conflict analysis:       0.13        281       2795       9.95   20764.15
10.86/10.96	c B&B Tree           :
10.86/10.96	c   number of runs   :          3
10.86/10.96	c   nodes            :        127 (63 internal, 64 leaves)
10.86/10.96	c   feasible leaves  :          1
10.86/10.96	c   infeas. leaves   :          2
10.86/10.96	c   objective leaves :         61
10.86/10.96	c   nodes (total)    :        129 (64 internal, 65 leaves)
10.86/10.96	c   nodes left       :          0
10.86/10.96	c   max depth        :         11
10.86/10.96	c   max depth (total):         11
10.86/10.96	c   backtracks       :         23 (18.1%)
10.86/10.96	c   early backtracks :          0 (0.0%)
10.86/10.96	c   nodes exc. ref.  :          0 (0.0%)
10.86/10.96	c   delayed cutoffs  :          0
10.86/10.96	c   repropagations   :          2 (9 domain reductions, 0 cutoffs)
10.86/10.96	c   avg switch length:       3.07
10.86/10.96	c   switching time   :       0.02
10.86/10.96	c Root Node          :
10.86/10.96	c   First LP value   : +4.95040801282051e+06
10.86/10.96	c   First LP Iters   :        482 (18923.48 Iter/sec)
10.86/10.96	c   First LP Time    :       0.03
10.86/10.96	c   Final Dual Bound : +5.34075605573538e+06
10.86/10.96	c   Final Root Iters :       6284
10.86/10.96	c   Root LP Estimate : +6.04564506382568e+06
10.86/10.96	c Solution           :
10.86/10.96	c   Solutions found  :          5 (4 improvements)
10.86/10.96	c   First Solution   : +2.84675158000000e+08   (in run 1, after 1 nodes, 0.19 seconds, depth 0, found by <feasjump>)
10.86/10.96	c   Gap First Sol.   :   infinite
10.86/10.96	c   Gap Last Sol.    :       5.84 %
10.86/10.96	c   Primal Bound     : +5.90021200000000e+06   (in run 3, after 89 nodes, 10.26 seconds, depth 9, found by <relaxation>)
10.86/10.96	c   Dual Bound       : +5.90021200000000e+06
10.86/10.96	c   Gap              :       0.00 %
10.86/10.96	c Integrals          :      Total       Avg%
10.86/10.96	c   primal-dual      :     297.57      27.16
10.86/10.96	c   primal-ref       :          -          - (not evaluated)
10.86/10.96	c   dual-ref         :          -          - (not evaluated)
10.97/11.01	c Time complete: 10.979.

Verifier Data

OK	5900212

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: 63968 MiB (56560 MiB free)
  memory of node 1: 64473 MiB (62497 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432872-1721140847/watcher-4432872-1721140847 -o /tmp/evaluation-result-4432872-1721140847/solver-4432872-1721140847 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721137255-858236 --watchdog 3760 pbscip -f HOME/instance-4432872-1721140847.opb -t 3600 -j 2 -m 31000 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=860333, runsolver pid=860330
Current StackSize limit: 8192 KiB


[startup+0.100083 s]*
/proc/loadavg: 5.21 4.37 4.18 4/249 860338
/proc/meminfo: memFree=121867200/131524600 swapFree=131071996/131071996
[pid=860333] ppid=860330 vsize=91576 memory=51676 CPUtime=0.09 cores=1,3
/proc/860333/stat : 860333 (pbscip) R 860330 860333 858224 0 -1 4194304 10926 0 0 0 8 1 0 0 20 0 1 0 166253615 93773824 12919 134679101440 4194304 18693293 140720368997216 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 44912640 140720369001476 140720369001575 140720369001575 140720369008590 0
/proc/860333/statm: 22894 12919 3765 3540 0 11151 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 91576 KiB
Current children cumulated memory: 51676 KiB

[startup+0.205521 s]*
/proc/loadavg: 5.21 4.37 4.18 5/247 860345
/proc/meminfo: memFree=121830244/131524600 swapFree=131071996/131071996
[pid=860333] ppid=860330 vsize=104252 memory=62360 CPUtime=0.2 cores=1,3
/proc/860333/stat : 860333 (pbscip) R 860330 860333 858224 0 -1 4194304 13391 0 0 0 18 2 0 0 20 0 1 0 166253615 106754048 15590 134679101440 4194304 18693293 140720368997216 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 44912640 140720369001476 140720369001575 140720369001575 140720369008590 0
/proc/860333/statm: 26063 15590 3941 3540 0 14320 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 104252 KiB
Current children cumulated memory: 62360 KiB

[startup+0.305358 s]*
/proc/loadavg: 5.21 4.37 4.18 4/252 860355
/proc/meminfo: memFree=121793576/131524600 swapFree=131071996/131071996
[pid=860333] ppid=860330 vsize=114672 memory=71604 CPUtime=0.3 cores=1,3
/proc/860333/stat : 860333 (pbscip) R 860330 860333 858224 0 -1 4194304 16924 0 0 0 28 2 0 0 20 0 1 0 166253615 117424128 17901 134679101440 4194304 18693293 140720368997216 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 44912640 140720369001476 140720369001575 140720369001575 140720369008590 0
/proc/860333/statm: 28668 17901 3957 3540 0 16925 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 114672 KiB
Current children cumulated memory: 71604 KiB

[startup+0.700213 s]
/proc/loadavg: 5.21 4.37 4.18 5/250 860371
/proc/meminfo: memFree=121731628/131524600 swapFree=131071996/131071996
[pid=860333] ppid=860330 vsize=122488 memory=80380 CPUtime=0.69 cores=1,3
/proc/860333/stat : 860333 (pbscip) R 860330 860333 858224 0 -1 4194304 19127 0 0 0 66 3 0 0 20 0 1 0 166253615 125427712 20095 134679101440 4194304 18693293 140720368997216 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 44912640 140720369001476 140720369001575 140720369001575 140720369008590 0
/proc/860333/statm: 30622 20095 3979 3540 0 18879 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 122488 KiB
Current children cumulated memory: 80380 KiB

[startup+1.50021 s]
/proc/loadavg: 5.21 4.37 4.18 5/256 860383
/proc/meminfo: memFree=121531440/131524600 swapFree=131071996/131071996
[pid=860333] ppid=860330 vsize=142828 memory=98332 CPUtime=1.48 cores=1,3
/proc/860333/stat : 860333 (pbscip) R 860330 860333 858224 0 -1 4194304 23650 0 0 0 145 3 0 0 20 0 1 0 166253615 146255872 24583 134679101440 4194304 18693293 140720368997216 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 44912640 140720369001476 140720369001575 140720369001575 140720369008590 0
/proc/860333/statm: 35707 24583 3979 3540 0 23964 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 142828 KiB
Current children cumulated memory: 98332 KiB

[startup+3.10544 s]
/proc/loadavg: 5.11 4.37 4.18 5/256 860383
/proc/meminfo: memFree=120807084/131524600 swapFree=131071996/131071996
[pid=860333] ppid=860330 vsize=168652 memory=120172 CPUtime=3.09 cores=1,3
/proc/860333/stat : 860333 (pbscip) R 860330 860333 858224 0 -1 4194304 29280 0 0 0 305 4 0 0 20 0 1 0 166253615 172699648 30043 134679101440 4194304 18693293 140720368997216 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 44912640 140720369001476 140720369001575 140720369001575 140720369008590 0
/proc/860333/statm: 42163 30043 3979 3540 0 30420 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 168652 KiB
Current children cumulated memory: 120172 KiB

[startup+6.30016 s]
/proc/loadavg: 5.11 4.37 4.18 5/256 860383
/proc/meminfo: memFree=120663676/131524600 swapFree=131071996/131071996
[pid=860333] ppid=860330 vsize=190812 memory=137852 CPUtime=6.27 cores=1,3
/proc/860333/stat : 860333 (pbscip) R 860330 860333 858224 0 -1 4194304 33739 0 0 0 623 4 0 0 20 0 1 0 166253615 195391488 34463 134679101440 4194304 18693293 140720368997216 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 44912640 140720369001476 140720369001575 140720369001575 140720369008590 0
/proc/860333/statm: 47703 34463 3979 3540 0 35960 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 190812 KiB
Current children cumulated memory: 137852 KiB

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

# cumulated CPU time of all completed processes:  user=10.9296 s, system=0.056851 s

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

[startup+6.40022 s]
/proc/loadavg: 5.11 4.37 4.18 5/256 860383
/proc/meminfo: memFree=120663676/131524600 swapFree=131071996/131071996
[pid=860333] ppid=860330 vsize=190812 memory=137852 CPUtime=6.37 cores=1,3
/proc/860333/stat : 860333 (pbscip) R 860330 860333 858224 0 -1 4194304 33739 0 0 0 633 4 0 0 20 0 1 0 166253615 195391488 34463 134679101440 4194304 18693293 140720368997216 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 44912640 140720369001476 140720369001575 140720369001575 140720369008590 0
/proc/860333/statm: 47703 34463 3979 3540 0 35960 0
Current children cumulated CPU time: 6.37 s
Current children cumulated vsize: 190812 KiB
Current children cumulated memory: 137852 KiB

[startup+9.60016 s]
/proc/loadavg: 5.02 4.36 4.18 5/256 860383
/proc/meminfo: memFree=120616016/131524600 swapFree=131071996/131071996
[pid=860333] ppid=860330 vsize=190812 memory=138380 CPUtime=9.56 cores=1,3
/proc/860333/stat : 860333 (pbscip) R 860330 860333 858224 0 -1 4194304 33835 0 0 0 952 4 0 0 20 0 1 0 166253615 195391488 34595 134679101440 4194304 18693293 140720368997216 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 44912640 140720369001476 140720369001575 140720369001575 140720369008590 0
/proc/860333/statm: 47703 34595 3979 3540 0 35960 0
Current children cumulated CPU time: 9.56 s
Current children cumulated vsize: 190812 KiB
Current children cumulated memory: 138380 KiB

[startup+10.4002 s]
/proc/loadavg: 5.02 4.36 4.18 5/256 860383
/proc/meminfo: memFree=120615320/131524600 swapFree=131071996/131071996
[pid=860333] ppid=860330 vsize=190812 memory=139172 CPUtime=10.35 cores=1,3
/proc/860333/stat : 860333 (pbscip) R 860330 860333 858224 0 -1 4194304 34058 0 0 0 1031 4 0 0 20 0 1 0 166253615 195391488 34793 134679101440 4194304 18693293 140720368997216 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 44912640 140720369001476 140720369001575 140720369001575 140720369008590 0
/proc/860333/statm: 47703 34793 3979 3540 0 35960 0
Current children cumulated CPU time: 10.35 s
Current children cumulated vsize: 190812 KiB
Current children cumulated memory: 139172 KiB

[startup+10.8002 s]
/proc/loadavg: 5.02 4.36 4.18 5/256 860383
/proc/meminfo: memFree=120615320/131524600 swapFree=131071996/131071996
[pid=860333] ppid=860330 vsize=193956 memory=141020 CPUtime=10.76 cores=1,3
/proc/860333/stat : 860333 (pbscip) R 860330 860333 858224 0 -1 4194304 34550 0 0 0 1071 5 0 0 20 0 1 0 166253615 198610944 35255 134679101440 4194304 18693293 140720368997216 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 44912640 140720369001476 140720369001575 140720369001575 140720369008590 0
/proc/860333/statm: 48489 35255 3979 3540 0 36746 0
Current children cumulated CPU time: 10.76 s
Current children cumulated vsize: 193956 KiB
Current children cumulated memory: 141020 KiB

[startup+11.0002 s]*
/proc/loadavg: 5.02 4.36 4.18 5/256 860384
/proc/meminfo: memFree=120601072/131524600 swapFree=131071996/131071996
[pid=860333] ppid=860330 vsize=193864 memory=141228 CPUtime=10.97 cores=1,3
/proc/860333/stat : 860333 (pbscip) R 860330 860333 858224 0 -1 4194304 34768 0 0 0 1092 5 0 0 20 0 1 0 166253615 198516736 35307 134679101440 4194304 18693293 140720368997216 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 44912640 140720369001476 140720369001575 140720369001575 140720369008590 0
/proc/860333/statm: 48466 35307 3979 3540 0 36723 0
Current children cumulated CPU time: 10.97 s
Current children cumulated vsize: 193864 KiB
Current children cumulated memory: 141228 KiB

Child status: 0

Real time (s): 11.0183
CPU time (s): 10.9864
CPU user time (s): 10.9296
CPU system time (s): 0.056851
CPU usage (%): 99.7112
Max. virtual memory (cumulated for all children) (KiB): 194764
Max. memory (cumulated for all children) (KiB): 142076

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.9296
system time used= 0.056851
maximum resident set size= 142076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34774
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= 10
involuntary context switches= 21


# summary of solver processes directly reported to runsolver:
#   pid: 860333
#   total CPU time (s): 10.9864
#   total CPU user time (s): 10.9296
#   total CPU system time (s): 0.056851

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.034893 second user time and 0.079107 second system time

The end

Launcher Data

Begin job on nodeC032 at 2024-07-16 16:40:59
IDJOB=4432872
IDBENCH=155731
IDSOLVER=3059
FILE ID=nodeC032/4432872-1721140847
RUNJOBID= nodeC032-1721137255-858236
SLURM_JOB_ID= 7505711
Free space on /tmp= 889996 MiB

SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/IC/normalized-minisat15_5_3_3_ic.opb
COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432872-1721140847/watcher-4432872-1721140847 -o /tmp/evaluation-result-4432872-1721140847/solver-4432872-1721140847 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721137255-858236 --watchdog 3760  pbscip -f HOME/instance-4432872-1721140847.opb -t 3600 -j 2 -m 31000

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

MD5SUM BENCH= e9221fba7963ffffb3bf7b90cd42a338
RANDOM SEED=475894225

nodeC032.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/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		: 3630.546
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.33
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		: 3669.439
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.03
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		: 3615.850
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.33
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		: 3671.376
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.03
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		: 3684.223
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.33
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.512
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.03
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		: 3626.589
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.33
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		: 3671.095
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        121916136 kB
MemAvailable:   123346864 kB
Buffers:          415132 kB
Cached:          1842568 kB
SwapCached:            0 kB
Active:           761520 kB
Inactive:        8217412 kB
Active(anon):       1556 kB
Inactive(anon):  6757408 kB
Active(file):     759964 kB
Inactive(file):  1460004 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             21620 kB
Writeback:             0 kB
AnonPages:       6720624 kB
Mapped:           116984 kB
Shmem:             37720 kB
KReclaimable:     101168 kB
Slab:             207964 kB
SReclaimable:     101168 kB
SUnreclaim:       106796 kB
KernelStack:        4064 kB
PageTables:        22624 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    7981192 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            64160 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1030144 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      223956 kB
DirectMap2M:    20520960 kB
DirectMap1G:    115343360 kB

Free space on /tmp at the end= 889972 MiB
End job on nodeC032 at 2024-07-16 16:41:10