Trace number 4503179

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIP 2025-06-13SAT 965.781 968.422

General information on the benchmark

NamePB24/normalized-PB11/DEC-LIN/
heinz/normalized-neos-849702.opb
MD5SUM99577d0b2060d1d3afdf18d9c444f818
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark1.07304
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1737
Total number of constraints1041
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)954
Number of constraints which are nor clauses,nor cardinality constraints87
Minimum length of a constraint9
Maximum length of a constraint32
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 34
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 8.0.0] [GitHash: 0408ae5eca]
0.00/0.00	c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c External libraries: 
0.00/0.00	c   SoPlex 8.0.0         Linear programming solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: 67f6a391]
0.00/0.00	c   CppAD 20180000.0     Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00	c   AMPL/MP 4.0.0        AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00	c   PaPILO 3.0.0         parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00	c   bliss 0.77           Computing Graph Automorphisms by T. Junttila and P. Kaski (users.aalto.fi/~tjunttil/bliss)
0.00/0.00	c   sassy 2.0            Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00	c 
0.00/0.00	c reading problem <HOME/instance-4503179-1751169526.opb>
0.00/0.00	c original problem has 1737 variables (1737 bin, 0 int, 0 cont) and 1041 constraints
0.00/0.00	c problem read in 0.006 seconds
0.00/0.00	c problem without objective
0.00/0.01	c presolving:
0.00/0.02	c    (0.0s) running MILP presolver
0.00/0.02	c    (0.0s) MILP presolver found nothing
0.00/0.03	c (round 1, exhaustive) 0 del vars, 42 del conss, 0 add conss, 0 chg bounds, 42 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 810 clqs
0.00/0.03	c (round 2, exhaustive) 0 del vars, 42 del conss, 0 add conss, 0 chg bounds, 42 chg sides, 0 chg coeffs, 912 upgd conss, 0 impls, 810 clqs
0.00/0.04	c (round 3, medium)     18 del vars, 42 del conss, 0 add conss, 0 chg bounds, 60 chg sides, 18 chg coeffs, 912 upgd conss, 0 impls, 810 clqs
0.00/0.04	c (round 4, exhaustive) 42 del vars, 45 del conss, 0 add conss, 0 chg bounds, 60 chg sides, 18 chg coeffs, 912 upgd conss, 0 impls, 807 clqs
0.00/0.05	c (round 5, medium)     45 del vars, 45 del conss, 0 add conss, 0 chg bounds, 63 chg sides, 21 chg coeffs, 912 upgd conss, 0 impls, 807 clqs
0.00/0.07	c    (0.1s) probing: 51/1692 (3.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.07	c    (0.1s) probing aborted: 50/50 successive totally useless probings
0.00/0.08	c    (0.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.00/0.09	c    (0.1s) symmetry computation finished: 7 generators found (max: 1500, log10 of symmetry group size: 3.64) (symcode time: 0.01)
0.00/0.09	c dynamic symmetry handling statistics:
0.00/0.09	c    orbitopal reduction:       no components
0.00/0.09	c    orbital reduction:          1 components of sizes 7
0.00/0.09	c    lexicographic reduction:    7 permutations with support sizes 648, 648, 682, 682, 682, 682, 682
0.00/0.09	c handled 1 out of 1 symmetry components
0.00/0.10	c presolving (6 rounds: 6 fast, 6 medium, 4 exhaustive):
0.00/0.10	c  45 deleted vars, 45 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 63 changed sides, 21 changed coefficients
0.00/0.10	c  0 implications, 807 cliques
0.00/0.10	c presolved problem has 1692 variables (1692 bin, 0 int, 0 cont) and 996 constraints
0.00/0.10	c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
0.00/0.10	c     144 constraints of type <knapsack>
0.00/0.10	c     765 constraints of type <setppc>
0.00/0.10	c      87 constraints of type <linear>
0.00/0.10	c transformed objective value is always integral (scale: 1)
0.00/0.10	c Presolving Time: 0.09
0.00/0.10	c 
0.00/0.10	c - non default parameters ----------------------------------------------------------------------
0.00/0.10	c 
0.00/0.10	c # SCIP version 10.0.0
0.00/0.10	c 
0.00/0.10	c # maximal time in seconds to run
0.00/0.10	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.00/0.10	c limits/time = 3596.998034
0.00/0.10	c 
0.00/0.10	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.10	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.00/0.10	c limits/memory = 27900
0.00/0.10	c 
0.00/0.10	c # belongs reading time to solving time?
0.00/0.10	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.00/0.10	c timing/reading = TRUE
0.00/0.10	c 
0.00/0.10	c # maximum allowed 'intsize' (i.e. the number of bits required to represent the sum of absolute values of all integers that appear in a constraint or objective function) or -1 for unlimited
0.00/0.10	c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
0.00/0.10	c reading/opbreader/maxintsize = 47
0.00/0.10	c 
0.00/0.10	c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
0.00/0.10	c # [type: int, advanced: TRUE, range: [0,15], default: 15]
0.00/0.10	c propagating/genvbounds/timingmask = 0
0.00/0.10	c 
0.00/0.10	c -----------------------------------------------------------------------------------------------
0.00/0.10	c 
1.19/1.29	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1.19/1.29	c   1.3s|     1 |     0 | 11736 |     - |    39M |   0 |1692 |1101 | 996 |   0 |  0 | 105 |   0 | 0.000000e+00 |      --      |    Inf | unknown
2.68/2.77	c   2.8s|     1 |     0 | 26417 |     - |    41M |   0 |1692 |1253 |1007 |  11 |  1 | 106 |   0 | 0.000000e+00 |      --      |    Inf | unknown
2.78/2.86	c   2.9s|     1 |     0 | 26642 |     - |    41M |   0 |1692 |1260 |1018 |  22 |  2 | 113 |   0 | 0.000000e+00 |      --      |    Inf | unknown
2.88/2.95	c   3.0s|     1 |     0 | 26811 |     - |    42M |   0 |1692 |1261 |1028 |  32 |  3 | 114 |   0 | 0.000000e+00 |      --      |    Inf | unknown
2.99/3.04	c   3.0s|     1 |     0 | 26954 |     - |    42M |   0 |1692 |1267 |1039 |  43 |  4 | 120 |   0 | 0.000000e+00 |      --      |    Inf | unknown
3.09/3.15	c   3.1s|     1 |     0 | 27170 |     - |    42M |   0 |1692 |1268 |1048 |  52 |  5 | 121 |   0 | 0.000000e+00 |      --      |    Inf | unknown
3.18/3.23	c   3.2s|     1 |     0 | 27260 |     - |    43M |   0 |1692 |1269 |1055 |  59 |  6 | 122 |   0 | 0.000000e+00 |      --      |    Inf | unknown
3.28/3.33	c   3.3s|     1 |     0 | 27380 |     - |    43M |   0 |1692 |1272 |1063 |  67 |  7 | 125 |   0 | 0.000000e+00 |      --      |    Inf | unknown
3.38/3.44	c   3.4s|     1 |     0 | 27540 |     - |    43M |   0 |1692 |1279 |1071 |  75 |  8 | 132 |   0 | 0.000000e+00 |      --      |    Inf | unknown
3.48/3.54	c   3.5s|     1 |     0 | 27681 |     - |    43M |   0 |1692 |1281 |1081 |  85 |  9 | 134 |   0 | 0.000000e+00 |      --      |    Inf | unknown
3.58/3.63	c   3.6s|     1 |     0 | 27773 |     - |    43M |   0 |1692 |1282 |1088 |  92 | 10 | 135 |   0 | 0.000000e+00 |      --      |    Inf | unknown
3.58/3.69	c   3.7s|     1 |     0 | 27885 |     - |    43M |   0 |1692 |1283 |1092 | 100 | 11 | 136 |   0 | 0.000000e+00 |      --      |    Inf | unknown
8.57/8.61	c   8.6s|     1 |     2 | 50594 |     - |    43M |   0 |1692 |1287 |1092 | 100 | 11 | 140 |  16 | 0.000000e+00 |      --      |    Inf | unknown
89.65/89.97	c  90.0s|   100 |    99 |746408 |7257.8 |    46M |  13 |1692 |1628 |1058 | 162 |  2 | 483 |  16 | 0.000000e+00 |      --      |    Inf | unknown
154.75/155.22	c   155s|   200 |   199 |  1311k|6450.3 |    49M |  16 |1692 |1982 |1057 | 381 |  1 | 847 |  16 | 0.000000e+00 |      --      |    Inf | unknown
160.44/160.96	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
160.44/160.96	c   161s|   300 |   227 |  1363k|4467.4 |    51M |  40 |1692 |2111 |1061 | 406 |  1 | 976 |  16 | 0.000000e+00 |      --      |    Inf | unknown
162.33/162.83	c   163s|   400 |   233 |  1383k|3397.4 |    52M |  40 |1692 |2318 |1061 | 441 |  1 |1184 |  16 | 0.000000e+00 |      --      |    Inf | unknown
165.32/165.87	c   166s|   500 |   248 |  1415k|2780.2 |    54M |  43 |1692 |2385 |1056 | 470 |  0 |1252 |  16 | 0.000000e+00 |      --      |    Inf | unknown
166.41/166.96	c   167s|   600 |   242 |  1425k|2333.6 |    56M |  43 |1692 |2534 |1058 | 509 |  0 |1404 |  16 | 0.000000e+00 |      --      |    Inf | unknown
167.41/167.99	c   168s|   700 |   243 |  1436k|2014.7 |    57M |  43 |1692 |2625 |1058 | 524 |  0 |1496 |  16 | 0.000000e+00 |      --      |    Inf | unknown
168.61/169.11	c   169s|   800 |   247 |  1447k|1776.5 |    58M |  43 |1692 |2675 |1056 | 542 |  0 |1548 |  16 | 0.000000e+00 |      --      |    Inf | unknown
170.00/170.57	c   171s|   900 |   243 |  1461k|1595.0 |    60M |  43 |1692 |2728 |1060 | 583 |  0 |1602 |  16 | 0.000000e+00 |      --      |    Inf | unknown
171.30/171.81	c   172s|  1000 |   242 |  1474k|1447.9 |    60M |  43 |1692 |2857 |1060 | 602 |  1 |1735 |  16 | 0.000000e+00 |      --      |    Inf | unknown
172.60/173.10	c   173s|  1100 |   240 |  1488k|1328.9 |    61M |  43 |1692 |2914 |1059 | 625 |  1 |1796 |  16 | 0.000000e+00 |      --      |    Inf | unknown
173.79/174.32	c   174s|  1200 |   238 |  1500k|1228.6 |    61M |  43 |1692 |2978 |1065 | 650 |  0 |1860 |  16 | 0.000000e+00 |      --      |    Inf | unknown
174.99/175.57	c   176s|  1300 |   245 |  1513k|1143.8 |    61M |  43 |1692 |3042 |1058 | 676 |  0 |1932 |  16 | 0.000000e+00 |      --      |    Inf | unknown
176.28/176.86	c   177s|  1400 |   241 |  1527k|1071.7 |    61M |  43 |1692 |3046 |1061 | 702 |  0 |1941 |  16 | 0.000000e+00 |      --      |    Inf | unknown
177.38/177.98	c   178s|  1500 |   241 |  1538k|1007.7 |    61M |  43 |1692 |3119 |1061 | 722 |  1 |2021 |  16 | 0.000000e+00 |      --      |    Inf | unknown
178.97/179.50	c   180s|  1600 |   247 |  1554k| 954.9 |    61M |  43 |1692 |3149 |1058 | 735 |  1 |2059 |  16 | 0.000000e+00 |      --      |    Inf | unknown
180.17/180.78	c   181s|  1700 |   243 |  1568k| 906.8 |    61M |  43 |1692 |3192 |1061 | 741 |  1 |2105 |  16 | 0.000000e+00 |      --      |    Inf | unknown
181.47/182.10	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
181.47/182.10	c   182s|  1800 |   239 |  1582k| 864.4 |    62M |  43 |1692 |3206 |1060 | 746 |  0 |2122 |  16 | 0.000000e+00 |      --      |    Inf | unknown
182.86/183.42	c   183s|  1900 |   247 |  1596k| 825.8 |    62M |  43 |1692 |3268 |1067 | 774 |  0 |2190 |  16 | 0.000000e+00 |      --      |    Inf | unknown
184.06/184.60	c   185s|  2000 |   244 |  1607k| 790.3 |    63M |  43 |1692 |3302 |1059 | 797 |  1 |2229 |  16 | 0.000000e+00 |      --      |    Inf | unknown
185.15/185.74	c   186s|  2100 |   243 |  1618k| 757.8 |    65M |  43 |1692 |3408 |1061 | 844 |  1 |2338 |  16 | 0.000000e+00 |      --      |    Inf | unknown
186.45/187.01	c   187s|  2200 |   241 |  1631k| 729.4 |    65M |  43 |1692 |3431 |1065 | 859 |  0 |2370 |  16 | 0.000000e+00 |      --      |    Inf | unknown
187.94/188.50	c   189s|  2300 |   239 |  1647k| 704.4 |    65M |  43 |1692 |3441 |1060 | 892 |  1 |2390 |  16 | 0.000000e+00 |      --      |    Inf | unknown
189.54/190.15	c   190s|  2400 |   244 |  1665k| 682.7 |    65M |  43 |1692 |3447 |1059 | 914 |  0 |2404 |  16 | 0.000000e+00 |      --      |    Inf | unknown
191.03/191.67	c   192s|  2500 |   250 |  1681k| 661.9 |    66M |  43 |1692 |3457 |1063 | 934 |  1 |2442 |  16 | 0.000000e+00 |      --      |    Inf | unknown
192.63/193.26	c   193s|  2600 |   248 |  1696k| 642.0 |    66M |  51 |1692 |3531 |1066 | 977 |  0 |2528 |  16 | 0.000000e+00 |      --      |    Inf | unknown
193.92/194.55	c   195s|  2700 |   254 |  1708k| 622.7 |    66M |  57 |1692 |3586 |1068 |1012 |  0 |2599 |  16 | 0.000000e+00 |      --      |    Inf | unknown
195.92/196.58	c   197s|  2800 |   248 |  1730k| 608.2 |    66M |  57 |1692 |3594 |1061 |1029 |  1 |2621 |  16 | 0.000000e+00 |      --      |    Inf | unknown
197.52/198.19	c   198s|  2900 |   248 |  1746k| 592.9 |    67M |  57 |1692 |3667 |   0 |1064 |  0 |2712 |  16 | 0.000000e+00 |      --      |    Inf | unknown
199.31/199.93	c   200s|  3000 |   250 |  1763k| 578.7 |    68M |  57 |1692 |3714 |1069 |1119 |  1 |2772 |  16 | 0.000000e+00 |      --      |    Inf | unknown
200.90/201.58	c   202s|  3100 |   252 |  1779k| 565.1 |    69M |  57 |1692 |3724 |1070 |1156 |  1 |2795 |  16 | 0.000000e+00 |      --      |    Inf | unknown
202.50/203.11	c   203s|  3200 |   248 |  1794k| 552.2 |    69M |  57 |1692 |3718 |1065 |1186 |  1 |2805 |  16 | 0.000000e+00 |      --      |    Inf | unknown
204.29/204.92	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
204.29/204.92	c   205s|  3300 |   246 |  1812k| 540.8 |    69M |  57 |1692 |3726 |1063 |1227 |  1 |2838 |  16 | 0.000000e+00 |      --      |    Inf | unknown
205.89/206.51	c   207s|  3400 |   252 |  1826k| 529.1 |    70M |  57 |1692 |3742 |1065 |1295 |  0 |2862 |  16 | 0.000000e+00 |      --      |    Inf | unknown
207.68/208.32	c   208s|  3500 |   246 |  1842k| 518.5 |    71M |  57 |1692 |3761 |1068 |1405 |  0 |2897 |  16 | 0.000000e+00 |      --      |    Inf | unknown
209.38/210.01	c   210s|  3600 |   238 |  1859k| 508.8 |    71M |  57 |1692 |3744 |1061 |1448 |  0 |2917 |  16 | 0.000000e+00 |      --      |    Inf | unknown
211.67/212.34	c   212s|  3700 |   242 |  1883k| 501.8 |    71M |  57 |1692 |3735 |1064 |1501 |  1 |2936 |  16 | 0.000000e+00 |      --      |    Inf | unknown
213.17/213.81	c   214s|  3800 |   240 |  1899k| 492.6 |    71M |  57 |1692 |3754 |1069 |1528 |  0 |2984 |  16 | 0.000000e+00 |      --      |    Inf | unknown
214.37/215.10	c   215s|  3900 |   238 |  1911k| 483.0 |    72M |  57 |1692 |3843 |1064 |1572 |  1 |3094 |  16 | 0.000000e+00 |      --      |    Inf | unknown
215.76/216.49	c   216s|  4000 |   240 |  1925k| 474.6 |    73M |  57 |1692 |3830 |1065 |1613 |  0 |3103 |  16 | 0.000000e+00 |      --      |    Inf | unknown
217.26/217.93	c   218s|  4100 |   238 |  1940k| 466.7 |    73M |  57 |1692 |3837 |1065 |1630 |  0 |3126 |  16 | 0.000000e+00 |      --      |    Inf | unknown
218.95/219.68	c   220s|  4200 |   238 |  1959k| 460.0 |    73M |  57 |1692 |3826 |   0 |1677 |  0 |3140 |  16 | 0.000000e+00 |      --      |    Inf | unknown
220.55/221.27	c   221s|  4300 |   238 |  1976k| 453.3 |    73M |  57 |1692 |3824 |1063 |1677 |  0 |3168 |  16 | 0.000000e+00 |      --      |    Inf | unknown
222.45/223.13	c   223s|  4400 |   244 |  1995k| 447.4 |    73M |  57 |1692 |3772 |1066 |1686 |  1 |3183 |  16 | 0.000000e+00 |      --      |    Inf | unknown
223.94/224.67	c   225s|  4500 |   247 |  2009k| 440.5 |    73M |  57 |1692 |3839 |1067 |1792 |  1 |3267 |  16 | 0.000000e+00 |      --      |    Inf | unknown
226.03/226.70	c   227s|  4600 |   241 |  2029k| 435.2 |    74M |  57 |1692 |3891 |1065 |1898 |  1 |3330 |  16 | 0.000000e+00 |      --      |    Inf | unknown
227.84/228.56	c   229s|  4700 |   239 |  2046k| 429.6 |    75M |  57 |1692 |3916 |1079 |2028 |  1 |3385 |  16 | 0.000000e+00 |      --      |    Inf | unknown
229.93/230.69	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
229.93/230.69	c   231s|  4800 |   241 |  2066k| 424.8 |    76M |  57 |1692 |3928 |1070 |2154 |  1 |3438 |  16 | 0.000000e+00 |      --      |    Inf | unknown
231.72/232.47	c   232s|  4900 |   237 |  2084k| 419.8 |    76M |  57 |1692 |3989 |1072 |2202 |  1 |3540 |  16 | 0.000000e+00 |      --      |    Inf | unknown
233.12/233.85	c   234s|  5000 |   238 |  2098k| 414.1 |    76M |  57 |1692 |4032 |1069 |2247 |  0 |3623 |  16 | 0.000000e+00 |      --      |    Inf | unknown
234.62/235.38	c   235s|  5100 |   240 |  2113k| 408.9 |    77M |  57 |1692 |4084 |1070 |2315 |  0 |3703 |  16 | 0.000000e+00 |      --      |    Inf | unknown
236.41/237.16	c   237s|  5200 |   238 |  2129k| 404.3 |    78M |  57 |1692 |4172 |1072 |2377 |  0 |3810 |  16 | 0.000000e+00 |      --      |    Inf | unknown
238.31/239.04	c   239s|  5300 |   238 |  2148k| 400.1 |    78M |  57 |1692 |4198 |1070 |2453 |  1 |3877 |  16 | 0.000000e+00 |      --      |    Inf | unknown
239.50/240.25	c   240s|  5400 |   233 |  2160k| 395.1 |    78M |  57 |1692 |4261 |1075 |2472 |  0 |3972 |  16 | 0.000000e+00 |      --      |    Inf | unknown
240.90/241.60	c   242s|  5500 |   239 |  2175k| 390.5 |    78M |  57 |1692 |4265 |1075 |2506 |  0 |4074 |  16 | 0.000000e+00 |      --      |    Inf | unknown
242.19/242.98	c   243s|  5600 |   240 |  2189k| 386.1 |    78M |  57 |1692 |4296 |1070 |2539 |  1 |4193 |  16 | 0.000000e+00 |      --      |    Inf | unknown
243.79/244.58	c   245s|  5700 |   238 |  2206k| 382.3 |    79M |  57 |1692 |4374 |1071 |2581 |  0 |4317 |  16 | 0.000000e+00 |      --      |    Inf | unknown
245.19/245.99	c   246s|  5800 |   239 |  2222k| 378.4 |    79M |  57 |1692 |4455 |1067 |2595 |  1 |4436 |  16 | 0.000000e+00 |      --      |    Inf | unknown
246.48/247.20	c   247s|  5900 |   238 |  2234k| 374.1 |    79M |  57 |1692 |4520 |1073 |2647 |  0 |4564 |  16 | 0.000000e+00 |      --      |    Inf | unknown
247.88/248.70	c   249s|  6000 |   239 |  2250k| 370.5 |    79M |  57 |1692 |4533 |1071 |2692 |  0 |4629 |  16 | 0.000000e+00 |      --      |    Inf | unknown
249.38/250.10	c   250s|  6100 |   241 |  2265k| 366.9 |    79M |  57 |1692 |4672 |1071 |2743 |  0 |4813 |  16 | 0.000000e+00 |      --      |    Inf | unknown
250.87/251.65	c   252s|  6200 |   240 |  2281k| 363.6 |    79M |  57 |1692 |4793 |1070 |2820 |  1 |4980 |  16 | 0.000000e+00 |      --      |    Inf | unknown
252.37/253.18	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
252.37/253.18	c   253s|  6300 |   239 |  2298k| 360.5 |    79M |  57 |1692 |4806 |1070 |2836 |  0 |5042 |  16 | 0.000000e+00 |      --      |    Inf | unknown
253.96/254.78	c   255s|  6400 |   241 |  2315k| 357.5 |    79M |  57 |1692 |4933 |1073 |2895 |  1 |5189 |  16 | 0.000000e+00 |      --      |    Inf | unknown
255.46/256.29	c   256s|  6500 |   233 |  2331k| 354.4 |    79M |  57 |1692 |4945 |1070 |2968 |  0 |5256 |  16 | 0.000000e+00 |      --      |    Inf | unknown
256.75/257.55	c   258s|  6600 |   237 |  2344k| 351.0 |    79M |  57 |1692 |5007 |1069 |3032 |  1 |5353 |  16 | 0.000000e+00 |      --      |    Inf | unknown
258.05/258.88	c   259s|  6700 |   236 |  2358k| 347.8 |    79M |  57 |1692 |5074 |1069 |3060 |  1 |5442 |  16 | 0.000000e+00 |      --      |    Inf | unknown
259.44/260.28	c   260s|  6800 |   240 |  2372k| 344.9 |    80M |  57 |1692 |5109 |1069 |3112 |  1 |5490 |  16 | 0.000000e+00 |      --      |    Inf | unknown
260.74/261.50	c   262s|  6900 |   240 |  2385k| 341.7 |    80M |  57 |1692 |5183 |1076 |3121 |  1 |5570 |  16 | 0.000000e+00 |      --      |    Inf | unknown
262.24/263.03	c   263s|  7000 |   241 |  2401k| 339.2 |    80M |  57 |1692 |5170 |1069 |3165 |  1 |5675 |  16 | 0.000000e+00 |      --      |    Inf | unknown
263.53/264.30	c   264s|  7100 |   236 |  2414k| 336.2 |    80M |  57 |1692 |5151 |1068 |3234 |  1 |5757 |  16 | 0.000000e+00 |      --      |    Inf | unknown
265.33/266.19	c   266s|  7200 |   236 |  2435k| 334.4 |    80M |  57 |1692 |5056 |1071 |3393 |  0 |5906 |  16 | 0.000000e+00 |      --      |    Inf | unknown
267.02/267.86	c   268s|  7300 |   241 |  2453k| 332.3 |    80M |  57 |1692 |4906 |1059 |3438 |  1 |6003 |  16 | 0.000000e+00 |      --      |    Inf | unknown
268.12/268.92	c   269s|  7400 |   239 |  2463k| 329.2 |    80M |  57 |1692 |4875 |1067 |3487 |  1 |6075 |  16 | 0.000000e+00 |      --      |    Inf | unknown
269.22/270.05	c   270s|  7500 |   235 |  2474k| 326.3 |    80M |  57 |1692 |4973 |1066 |3525 |  1 |6200 |  16 | 0.000000e+00 |      --      |    Inf | unknown
270.71/271.51	c   272s|  7600 |   242 |  2489k| 324.0 |    80M |  57 |1692 |4607 |1061 |3600 |  1 |6300 |  16 | 0.000000e+00 |      --      |    Inf | unknown
271.41/272.22	c   272s|  7700 |   235 |  2496k| 320.6 |    81M |  57 |1692 |4650 |1061 |3632 |  0 |6415 |  16 | 0.000000e+00 |      --      |    Inf | unknown
272.51/273.33	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
272.51/273.33	c   273s|  7800 |   236 |  2507k| 318.0 |    81M |  57 |1692 |4584 |1065 |3649 |  0 |6483 |  16 | 0.000000e+00 |      --      |    Inf | unknown
273.51/274.36	c   274s|  7900 |   236 |  2517k| 315.2 |    81M |  57 |1692 |4387 |1068 |3693 |  1 |6620 |  16 | 0.000000e+00 |      --      |    Inf | unknown
275.50/276.35	c   276s|  8000 |   236 |  2539k| 314.0 |    81M |  57 |1692 |4294 |1073 |3768 |  0 |6692 |  16 | 0.000000e+00 |      --      |    Inf | unknown
277.20/278.01	c   278s|  8100 |   238 |  2556k| 312.3 |    81M |  57 |1692 |4334 |1074 |3850 |  1 |6796 |  16 | 0.000000e+00 |      --      |    Inf | unknown
280.09/280.93	c   281s|  8200 |   248 |  2586k| 312.1 |    81M |  57 |1692 |4250 |1069 |3882 |  1 |6865 |  16 | 0.000000e+00 |      --      |    Inf | unknown
282.19/283.01	c   283s|  8300 |   244 |  2608k| 310.9 |    81M |  57 |1692 |4259 |1062 |3938 |  0 |7034 |  16 | 0.000000e+00 |      --      |    Inf | unknown
283.68/284.52	c   285s|  8400 |   257 |  2623k| 309.1 |    81M |  57 |1692 |4177 |1070 |3973 |  1 |7114 |  16 | 0.000000e+00 |      --      |    Inf | unknown
285.57/286.40	c   286s|  8500 |   255 |  2644k| 307.8 |    81M |  57 |1692 |4146 |1061 |3980 |  1 |7171 |  16 | 0.000000e+00 |      --      |    Inf | unknown
287.07/287.95	c   288s|  8600 |   252 |  2660k| 306.1 |    81M |  57 |1692 |4021 |   0 |3995 |  0 |7245 |  16 | 0.000000e+00 |      --      |    Inf | unknown
288.57/289.45	c   289s|  8700 |   251 |  2674k| 304.3 |    81M |  57 |1692 |4045 |1061 |4030 |  1 |7304 |  16 | 0.000000e+00 |      --      |    Inf | unknown
290.06/290.92	c   291s|  8800 |   249 |  2689k| 302.5 |    81M |  57 |1692 |4101 |1066 |4071 |  0 |7368 |  16 | 0.000000e+00 |      --      |    Inf | unknown
291.36/292.23	c   292s|  8900 |   248 |  2703k| 300.6 |    81M |  57 |1692 |4162 |1069 |4082 |  1 |7467 |  16 | 0.000000e+00 |      --      |    Inf | unknown
292.86/293.72	c   294s|  9000 |   249 |  2718k| 299.0 |    81M |  57 |1692 |4238 |1069 |4099 |  1 |7576 |  16 | 0.000000e+00 |      --      |    Inf | unknown
294.05/294.93	c   295s|  9100 |   250 |  2731k| 297.1 |    81M |  57 |1692 |4305 |1064 |4120 |  1 |7691 |  16 | 0.000000e+00 |      --      |    Inf | unknown
295.25/296.14	c   296s|  9200 |   255 |  2743k| 295.2 |    81M |  57 |1692 |4368 |1062 |4143 |  1 |7774 |  16 | 0.000000e+00 |      --      |    Inf | unknown
296.74/297.65	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
296.74/297.65	c   298s|  9300 |   249 |  2757k| 293.6 |    81M |  57 |1692 |4444 |1072 |4184 |  0 |7866 |  16 | 0.000000e+00 |      --      |    Inf | unknown
298.84/299.76	c   300s|  9400 |   249 |  2779k| 292.7 |    81M |  57 |1692 |4464 |1062 |4207 |  0 |7898 |  16 | 0.000000e+00 |      --      |    Inf | unknown
300.33/301.26	c   301s|  9500 |   249 |  2793k| 291.2 |    82M |  57 |1692 |4504 |1066 |4253 |  1 |7964 |  16 | 0.000000e+00 |      --      |    Inf | unknown
301.83/302.70	c   303s|  9600 |   253 |  2807k| 289.6 |    82M |  57 |1692 |4553 |1065 |4300 |  1 |8036 |  16 | 0.000000e+00 |      --      |    Inf | unknown
303.13/304.07	c   304s|  9700 |   251 |  2821k| 288.1 |    82M |  57 |1692 |4587 |1065 |4313 |  1 |8085 |  16 | 0.000000e+00 |      --      |    Inf | unknown
304.92/305.81	c   306s|  9800 |   249 |  2839k| 287.0 |    82M |  57 |1692 |4609 |1066 |4326 |  0 |8129 |  16 | 0.000000e+00 |      --      |    Inf | unknown
306.52/307.42	c   307s|  9900 |   249 |  2855k| 285.7 |    82M |  57 |1692 |4661 |1065 |4367 |  1 |8197 |  16 | 0.000000e+00 |      --      |    Inf | unknown
308.31/309.28	c   309s| 10000 |   249 |  2873k| 284.6 |    82M |  57 |1692 |4697 |1071 |4424 |  0 |8249 |  16 | 0.000000e+00 |      --      |    Inf | unknown
310.51/311.49	c   311s| 10100 |   247 |  2892k| 283.7 |    83M |  57 |1692 |4739 |1076 |4526 |  0 |8301 |  16 | 0.000000e+00 |      --      |    Inf | unknown
311.80/312.74	c   313s| 10200 |   249 |  2903k| 282.0 |    83M |  57 |1692 |4796 |1066 |4577 |  1 |8392 |  16 | 0.000000e+00 |      --      |    Inf | unknown
313.00/313.91	c   314s| 10300 |   251 |  2914k| 280.3 |    83M |  57 |1692 |4835 |1070 |4603 |  0 |8463 |  16 | 0.000000e+00 |      --      |    Inf | unknown
315.20/316.17	c   316s| 10400 |   249 |  2934k| 279.5 |    83M |  57 |1692 |4857 |1078 |4711 |  1 |8501 |  16 | 0.000000e+00 |      --      |    Inf | unknown
316.99/317.91	c   318s| 10500 |   249 |  2951k| 278.4 |    83M |  57 |1692 |4857 |1078 |4765 |  1 |8523 |  16 | 0.000000e+00 |      --      |    Inf | unknown
319.09/320.07	c   320s| 10600 |   249 |  2970k| 277.7 |    83M |  57 |1692 |4843 |1065 |4876 |  1 |8534 |  16 | 0.000000e+00 |      --      |    Inf | unknown
320.78/321.75	c   322s| 10700 |   247 |  2986k| 276.5 |    83M |  57 |1692 |4872 |1079 |4954 |  1 |8591 |  16 | 0.000000e+00 |      --      |    Inf | unknown
322.08/323.08	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
322.08/323.08	c   323s| 10800 |   250 |  2997k| 275.0 |    83M |  57 |1692 |4911 |1068 |5027 |  0 |8661 |  16 | 0.000000e+00 |      --      |    Inf | unknown
323.87/324.83	c   325s| 10900 |   249 |  3012k| 273.8 |    84M |  57 |1692 |4960 |1069 |5162 |  1 |8731 |  16 | 0.000000e+00 |      --      |    Inf | unknown
325.17/326.13	c   326s| 11000 |   255 |  3023k| 272.4 |    85M |  57 |1692 |5023 |1065 |5232 |  1 |8812 |  16 | 0.000000e+00 |      --      |    Inf | unknown
326.86/327.85	c   328s| 11100 |   251 |  3036k| 271.0 |    86M |  57 |1692 |5115 |1068 |5361 |  0 |8909 |  16 | 0.000000e+00 |      --      |    Inf | unknown
328.07/329.05	c   329s| 11200 |   252 |  3046k| 269.5 |    86M |  57 |1692 |5203 |1063 |5426 |  0 |9016 |  16 | 0.000000e+00 |      --      |    Inf | unknown
329.56/330.59	c   331s| 11300 |   252 |  3060k| 268.4 |    86M |  57 |1692 |5252 |1065 |5492 |  1 |9088 |  16 | 0.000000e+00 |      --      |    Inf | unknown
331.16/332.12	c   332s| 11400 |   250 |  3074k| 267.2 |    87M |  57 |1692 |5334 |   0 |5573 |  0 |9193 |  16 | 0.000000e+00 |      --      |    Inf | unknown
332.45/333.42	c   333s| 11500 |   252 |  3085k| 265.9 |    87M |  57 |1692 |5358 |1068 |5644 |  1 |9247 |  16 | 0.000000e+00 |      --      |    Inf | unknown
333.84/334.89	c   335s| 11600 |   250 |  3098k| 264.8 |    87M |  57 |1692 |5412 |1069 |5711 |  0 |9327 |  16 | 0.000000e+00 |      --      |    Inf | unknown
335.24/336.22	c   336s| 11700 |   250 |  3110k| 263.5 |    87M |  57 |1692 |5470 |1071 |5793 |  1 |9408 |  16 | 0.000000e+00 |      --      |    Inf | unknown
336.64/337.63	c   338s| 11800 |   248 |  3124k| 262.5 |    87M |  57 |1692 |5484 |1069 |5863 |  0 |9455 |  16 | 0.000000e+00 |      --      |    Inf | unknown
339.72/340.70	c   341s| 11900 |   256 |  3156k| 262.9 |    87M |  57 |1692 |5282 |1064 |5909 |  1 |9508 |  16 | 0.000000e+00 |      --      |    Inf | unknown
341.12/342.17	c   342s| 12000 |   262 |  3171k| 262.0 |    87M |  57 |1692 |5207 |1067 |5918 |  1 |9549 |  16 | 0.000000e+00 |      --      |    Inf | unknown
342.91/343.91	c   344s| 12100 |   258 |  3190k| 261.4 |    87M |  57 |1692 |5200 |1067 |5940 |  1 |9611 |  16 | 0.000000e+00 |      --      |    Inf | unknown
344.51/345.56	c   346s| 12200 |   262 |  3207k| 260.6 |    87M |  57 |1692 |5108 |1064 |5967 |  1 |9701 |  16 | 0.000000e+00 |      --      |    Inf | unknown
345.81/346.87	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
345.81/346.87	c   347s| 12300 |   272 |  3220k| 259.6 |    87M |  57 |1692 |5115 |1067 |5987 |  1 |9764 |  16 | 0.000000e+00 |      --      |    Inf | unknown
347.01/348.01	c   348s| 12400 |   267 |  3232k| 258.4 |    87M |  57 |1692 |5178 |1067 |6014 |  0 |9867 |  16 | 0.000000e+00 |      --      |    Inf | unknown
348.11/349.16	c   349s| 12500 |   266 |  3244k| 257.3 |    87M |  57 |1692 |5252 |1068 |6022 |  1 |9987 |  16 | 0.000000e+00 |      --      |    Inf | unknown
349.20/350.27	c   350s| 12600 |   271 |  3254k| 256.1 |    88M |  57 |1692 |5401 |1066 |6050 |  0 |  10k|  16 | 0.000000e+00 |      --      |    Inf | unknown
350.49/351.57	c   352s| 12700 |   273 |  3267k| 255.1 |    88M |  57 |1692 |5480 |1066 |6073 |  0 |  10k|  16 | 0.000000e+00 |      --      |    Inf | unknown
352.49/353.55	c   354s| 12800 |   273 |  3284k| 254.5 |    88M |  57 |1692 |5539 |1066 |6171 |  1 |  10k|  16 | 0.000000e+00 |      --      |    Inf | unknown
354.38/355.43	c   355s| 12900 |   271 |  3303k| 253.9 |    88M |  57 |1692 |5597 |1072 |6259 |  1 |  10k|  16 | 0.000000e+00 |      --      |    Inf | unknown
356.18/357.23	c   357s| 13000 |   269 |  3321k| 253.3 |    88M |  57 |1692 |5666 |1075 |6305 |  1 |  10k|  16 | 0.000000e+00 |      --      |    Inf | unknown
357.67/358.74	c   359s| 13100 |   267 |  3337k| 252.6 |    88M |  57 |1692 |5741 |1077 |6348 |  2 |  10k|  16 | 0.000000e+00 |      --      |    Inf | unknown
359.57/360.69	c   361s| 13200 |   264 |  3357k| 252.3 |    88M |  57 |1692 |5772 |1071 |6377 |  0 |  10k|  16 | 0.000000e+00 |      --      |    Inf | unknown
361.56/362.64	c   363s| 13300 |   272 |  3374k| 251.6 |    88M |  57 |1692 |5743 |1069 |6466 |  0 |  10k|  16 | 0.000000e+00 |      --      |    Inf | unknown
363.26/364.39	c   364s| 13400 |   270 |  3392k| 251.1 |    88M |  57 |1692 |5836 |1070 |6514 |  0 |  11k|  16 | 0.000000e+00 |      --      |    Inf | unknown
365.06/366.15	c   366s| 13500 |   268 |  3410k| 250.6 |    88M |  57 |1692 |5855 |1064 |6528 |  1 |  11k|  16 | 0.000000e+00 |      --      |    Inf | unknown
367.35/368.47	c   368s| 13600 |   276 |  3435k| 250.6 |    88M |  57 |1692 |5884 |1068 |6621 |  1 |  11k|  16 | 0.000000e+00 |      --      |    Inf | unknown
369.05/370.15	c   370s| 13700 |   271 |  3451k| 249.9 |    88M |  57 |1692 |5971 |1070 |6672 |  1 |  11k|  16 | 0.000000e+00 |      --      |    Inf | unknown
370.94/372.00	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
370.94/372.00	c   372s| 13800 |   271 |  3471k| 249.6 |    88M |  57 |1692 |5970 |1068 |6690 |  1 |  11k|  16 | 0.000000e+00 |      --      |    Inf | unknown
372.53/373.62	c   374s| 13900 |   273 |  3489k| 249.0 |    88M |  57 |1692 |5994 |1071 |6762 |  1 |  11k|  16 | 0.000000e+00 |      --      |    Inf | unknown
374.23/375.31	c   375s| 14000 |   270 |  3506k| 248.5 |    88M |  57 |1692 |6037 |1072 |6807 |  1 |  11k|  16 | 0.000000e+00 |      --      |    Inf | unknown
375.73/376.81	c   377s| 14100 |   269 |  3522k| 247.8 |    88M |  57 |1692 |6076 |1069 |6826 |  0 |  11k|  16 | 0.000000e+00 |      --      |    Inf | unknown
377.62/378.73	c   379s| 14200 |   269 |  3542k| 247.5 |    88M |  57 |1692 |6068 |1069 |6848 |  0 |  11k|  16 | 0.000000e+00 |      --      |    Inf | unknown
379.92/381.01	c   381s| 14300 |   270 |  3565k| 247.4 |    88M |  57 |1692 |6155 |1070 |6920 |  0 |  11k|  16 | 0.000000e+00 |      --      |    Inf | unknown
382.51/383.61	c   384s| 14400 |   273 |  3592k| 247.5 |    88M |  57 |1692 |6088 |1075 |7026 |  1 |  12k|  16 | 0.000000e+00 |      --      |    Inf | unknown
385.10/386.20	c   386s| 14500 |   273 |  3620k| 247.8 |    88M |  57 |1692 |6058 |1070 |7081 |  1 |  12k|  16 | 0.000000e+00 |      --      |    Inf | unknown
387.29/388.41	c   388s| 14600 |   270 |  3644k| 247.7 |    88M |  57 |1692 |6082 |   0 |7182 |  0 |  12k|  16 | 0.000000e+00 |      --      |    Inf | unknown
388.99/390.14	c   390s| 14700 |   270 |  3663k| 247.3 |    88M |  57 |1692 |6107 |1071 |7214 |  0 |  12k|  16 | 0.000000e+00 |      --      |    Inf | unknown
390.59/391.76	c   392s| 14800 |   269 |  3679k| 246.8 |    88M |  57 |1692 |6203 |1069 |7241 |  0 |  12k|  16 | 0.000000e+00 |      --      |    Inf | unknown
391.99/393.12	c   393s| 14900 |   271 |  3693k| 246.1 |    88M |  57 |1692 |6281 |1071 |7277 |  1 |  12k|  16 | 0.000000e+00 |      --      |    Inf | unknown
393.28/394.40	c   394s| 15000 |   271 |  3707k| 245.3 |    88M |  57 |1692 |6321 |1071 |7293 |  1 |  12k|  16 | 0.000000e+00 |      --      |    Inf | unknown
394.77/395.93	c   396s| 15100 |   273 |  3722k| 244.7 |    88M |  57 |1692 |6367 |1070 |7322 |  1 |  12k|  16 | 0.000000e+00 |      --      |    Inf | unknown
396.67/397.84	c   398s| 15200 |   271 |  3742k| 244.4 |    88M |  57 |1692 |6406 |1071 |7354 |  1 |  12k|  16 | 0.000000e+00 |      --      |    Inf | unknown
398.07/399.21	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
398.07/399.21	c   399s| 15300 |   270 |  3757k| 243.8 |    88M |  57 |1692 |6448 |1069 |7373 |  1 |  12k|  16 | 0.000000e+00 |      --      |    Inf | unknown
399.56/400.70	c   401s| 15400 |   268 |  3773k| 243.2 |    88M |  57 |1692 |6505 |1071 |7395 |  0 |  12k|  16 | 0.000000e+00 |      --      |    Inf | unknown
401.06/402.22	c   402s| 15500 |   274 |  3789k| 242.7 |    88M |  57 |1692 |6561 |1073 |7448 |  0 |  12k|  16 | 0.000000e+00 |      --      |    Inf | unknown
402.86/404.05	c   404s| 15600 |   272 |  3808k| 242.4 |    88M |  57 |1692 |6658 |1070 |7518 |  0 |  13k|  16 | 0.000000e+00 |      --      |    Inf | unknown
404.75/405.95	c   406s| 15700 |   273 |  3828k| 242.1 |    88M |  57 |1692 |6774 |1071 |7569 |  1 |  13k|  16 | 0.000000e+00 |      --      |    Inf | unknown
406.24/407.46	c   407s| 15800 |   271 |  3843k| 241.5 |    88M |  57 |1692 |6849 |1074 |7670 |  0 |  13k|  16 | 0.000000e+00 |      --      |    Inf | unknown
408.04/409.28	c   409s| 15900 |   269 |  3863k| 241.3 |    88M |  57 |1692 |6881 |1072 |7742 |  1 |  13k|  16 | 0.000000e+00 |      --      |    Inf | unknown
410.13/411.32	c   411s| 16000 |   265 |  3884k| 241.1 |    89M |  57 |1692 |6890 |1072 |7800 |  0 |  13k|  16 | 0.000000e+00 |      --      |    Inf | unknown
412.03/413.23	c   413s| 16100 |   265 |  3904k| 240.8 |    89M |  57 |1692 |6910 |1072 |7892 |  0 |  13k|  16 | 0.000000e+00 |      --      |    Inf | unknown
414.43/415.61	c   416s| 16200 |   263 |  3930k| 240.9 |    89M |  57 |1692 |6724 |1067 |7995 |  1 |  13k|  16 | 0.000000e+00 |      --      |    Inf | unknown
416.13/417.38	c   417s| 16300 |   267 |  3949k| 240.6 |    89M |  57 |1692 |6704 |1075 |8051 |  0 |  13k|  16 | 0.000000e+00 |      --      |    Inf | unknown
418.52/419.79	c   420s| 16400 |   261 |  3975k| 240.7 |    89M |  57 |1692 |6709 |1072 |8117 |  0 |  13k|  16 | 0.000000e+00 |      --      |    Inf | unknown
420.31/421.54	c   422s| 16500 |   267 |  3994k| 240.4 |    89M |  57 |1692 |6650 |1071 |8172 |  0 |  13k|  16 | 0.000000e+00 |      --      |    Inf | unknown
422.61/423.81	c   424s| 16600 |   269 |  4019k| 240.5 |    89M |  57 |1692 |6638 |1073 |8298 |  1 |  13k|  16 | 0.000000e+00 |      --      |    Inf | unknown
424.30/425.54	c   426s| 16700 |   266 |  4037k| 240.1 |    89M |  57 |1692 |6594 |1071 |8387 |  0 |  13k|  16 | 0.000000e+00 |      --      |    Inf | unknown
425.80/427.09	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
425.80/427.09	c   427s| 16800 |   268 |  4054k| 239.7 |    89M |  57 |1692 |6660 |1071 |8453 |  0 |  13k|  16 | 0.000000e+00 |      --      |    Inf | unknown
427.59/428.85	c   429s| 16900 |   268 |  4073k| 239.4 |    89M |  57 |1692 |6699 |1071 |8475 |  1 |  13k|  16 | 0.000000e+00 |      --      |    Inf | unknown
429.29/430.57	c   431s| 17000 |   264 |  4091k| 239.0 |    89M |  57 |1692 |6739 |1071 |8505 |  1 |  13k|  16 | 0.000000e+00 |      --      |    Inf | unknown
431.48/432.79	c   433s| 17100 |   268 |  4115k| 239.0 |    89M |  57 |1692 |6759 |1072 |8558 |  0 |  14k|  16 | 0.000000e+00 |      --      |    Inf | unknown
433.58/434.82	c   435s| 17200 |   270 |  4137k| 238.9 |    89M |  57 |1692 |6775 |1067 |8601 |  1 |  14k|  16 | 0.000000e+00 |      --      |    Inf | unknown
435.47/436.70	c   437s| 17300 |   269 |  4157k| 238.7 |    89M |  57 |1692 |6808 |1079 |8692 |  2 |  14k|  16 | 0.000000e+00 |      --      |    Inf | unknown
437.37/438.69	c   439s| 17400 |   267 |  4178k| 238.6 |    89M |  57 |1692 |6884 |1070 |8732 |  1 |  14k|  16 | 0.000000e+00 |      --      |    Inf | unknown
439.16/440.47	c   440s| 17500 |   267 |  4198k| 238.3 |    89M |  57 |1692 |6908 |1070 |8754 |  1 |  14k|  16 | 0.000000e+00 |      --      |    Inf | unknown
441.16/442.49	c   442s| 17600 |   269 |  4218k| 238.1 |    89M |  57 |1692 |6929 |1074 |8846 |  1 |  14k|  16 | 0.000000e+00 |      --      |    Inf | unknown
443.45/444.74	c   445s| 17700 |   267 |  4241k| 238.1 |    89M |  57 |1692 |6961 |1075 |8918 |  0 |  14k|  16 | 0.000000e+00 |      --      |    Inf | unknown
445.75/447.04	c   447s| 17800 |   267 |  4264k| 238.1 |    89M |  57 |1692 |6963 |1070 |8997 |  2 |  14k|  16 | 0.000000e+00 |      --      |    Inf | unknown
447.54/448.81	c   449s| 17900 |   267 |  4283k| 237.8 |    89M |  57 |1692 |6863 |1071 |9025 |  1 |  14k|  16 | 0.000000e+00 |      --      |    Inf | unknown
449.24/450.59	c   451s| 18000 |   265 |  4302k| 237.5 |    89M |  57 |1692 |6815 |1075 |9089 |  0 |  14k|  16 | 0.000000e+00 |      --      |    Inf | unknown
451.53/452.82	c   453s| 18100 |   265 |  4325k| 237.4 |    89M |  57 |1692 |6756 |1070 |9181 |  0 |  14k|  16 | 0.000000e+00 |      --      |    Inf | unknown
453.62/454.99	c   455s| 18200 |   267 |  4348k| 237.4 |    89M |  57 |1692 |6789 |   0 |9246 |  0 |  14k|  16 | 0.000000e+00 |      --      |    Inf | unknown
455.72/457.09	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
455.72/457.09	c   457s| 18300 |   268 |  4370k| 237.3 |    89M |  57 |1692 |6898 |1075 |9283 |  0 |  15k|  16 | 0.000000e+00 |      --      |    Inf | unknown
457.72/459.05	c   459s| 18400 |   264 |  4390k| 237.1 |    89M |  57 |1692 |6941 |1064 |9321 |  1 |  15k|  16 | 0.000000e+00 |      --      |    Inf | unknown
459.41/460.77	c   461s| 18500 |   262 |  4409k| 236.9 |    89M |  57 |1692 |7020 |1067 |9377 |  1 |  15k|  16 | 0.000000e+00 |      --      |    Inf | unknown
461.40/462.72	c   463s| 18600 |   266 |  4430k| 236.7 |    89M |  57 |1692 |7015 |1071 |9410 |  1 |  15k|  16 | 0.000000e+00 |      --      |    Inf | unknown
463.10/464.43	c   464s| 18700 |   270 |  4448k| 236.4 |    89M |  57 |1692 |7078 |1072 |9455 |  1 |  15k|  16 | 0.000000e+00 |      --      |    Inf | unknown
464.89/466.21	c   466s| 18800 |   267 |  4467k| 236.2 |    89M |  57 |1692 |7153 |1072 |9488 |  0 |  15k|  16 | 0.000000e+00 |      --      |    Inf | unknown
466.49/467.88	c   468s| 18900 |   263 |  4485k| 235.9 |    90M |  57 |1692 |7225 |1075 |9506 |  0 |  15k|  16 | 0.000000e+00 |      --      |    Inf | unknown
468.09/469.48	c   469s| 19000 |   268 |  4501k| 235.5 |    90M |  57 |1692 |7338 |1071 |9550 |  0 |  15k|  16 | 0.000000e+00 |      --      |    Inf | unknown
470.08/471.40	c   471s| 19100 |   266 |  4522k| 235.3 |    90M |  57 |1692 |7311 |1071 |9558 |  0 |  15k|  16 | 0.000000e+00 |      --      |    Inf | unknown
472.07/473.40	c   473s| 19200 |   262 |  4543k| 235.2 |    90M |  57 |1692 |7328 |1071 |9592 |  0 |  15k|  16 | 0.000000e+00 |      --      |    Inf | unknown
474.37/475.79	c   476s| 19300 |   262 |  4570k| 235.4 |    90M |  57 |1692 |7313 |1072 |9653 |  1 |  15k|  16 | 0.000000e+00 |      --      |    Inf | unknown
476.86/478.26	c   478s| 19400 |   263 |  4595k| 235.4 |    90M |  57 |1692 |7272 |1070 |9715 |  0 |  16k|  16 | 0.000000e+00 |      --      |    Inf | unknown
479.35/480.75	c   481s| 19500 |   262 |  4620k| 235.5 |    90M |  57 |1692 |7130 |1077 |9800 |  2 |  16k|  16 | 0.000000e+00 |      --      |    Inf | unknown
481.25/482.64	c   483s| 19600 |   266 |  4639k| 235.3 |    90M |  57 |1692 |7137 |1072 |9847 |  1 |  16k|  16 | 0.000000e+00 |      --      |    Inf | unknown
483.54/484.95	c   485s| 19700 |   266 |  4663k| 235.3 |    90M |  57 |1692 |7071 |1072 |9949 |  1 |  16k|  16 | 0.000000e+00 |      --      |    Inf | unknown
485.54/486.91	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
485.54/486.91	c   487s| 19800 |   260 |  4685k| 235.2 |    90M |  57 |1692 |6930 |1071 |9997 |  0 |  16k|  16 | 0.000000e+00 |      --      |    Inf | unknown
487.23/488.69	c   489s| 19900 |   266 |  4703k| 235.0 |    90M |  57 |1692 |6779 |1068 |  10k|  1 |  16k|  16 | 0.000000e+00 |      --      |    Inf | unknown
488.53/489.98	c   490s| 20000 |   266 |  4717k| 234.5 |    90M |  57 |1692 |6829 |1068 |  10k|  1 |  16k|  16 | 0.000000e+00 |      --      |    Inf | unknown
490.13/491.57	c   492s| 20100 |   265 |  4733k| 234.1 |    90M |  57 |1692 |6808 |1067 |  10k|  0 |  16k|  16 | 0.000000e+00 |      --      |    Inf | unknown
491.52/492.92	c   493s| 20200 |   263 |  4746k| 233.6 |    90M |  57 |1692 |6827 |1071 |  10k|  1 |  16k|  16 | 0.000000e+00 |      --      |    Inf | unknown
493.32/494.74	c   495s| 20300 |   261 |  4766k| 233.4 |    90M |  57 |1692 |6879 |1070 |  10k|  0 |  16k|  16 | 0.000000e+00 |      --      |    Inf | unknown
495.31/496.71	c   497s| 20400 |   267 |  4787k| 233.3 |    90M |  57 |1692 |6780 |1072 |  10k|  0 |  16k|  16 | 0.000000e+00 |      --      |    Inf | unknown
497.61/499.10	c   499s| 20500 |   267 |  4811k| 233.4 |    90M |  57 |1692 |6813 |1071 |  10k|  0 |  16k|  16 | 0.000000e+00 |      --      |    Inf | unknown
500.00/501.44	c   501s| 20600 |   263 |  4836k| 233.4 |    90M |  57 |1692 |6849 |1073 |  10k|  1 |  17k|  16 | 0.000000e+00 |      --      |    Inf | unknown
501.60/503.07	c   503s| 20700 |   263 |  4853k| 233.2 |    90M |  57 |1692 |6882 |1075 |  10k|  1 |  17k|  16 | 0.000000e+00 |      --      |    Inf | unknown
503.79/505.23	c   505s| 20800 |   263 |  4875k| 233.1 |    90M |  57 |1692 |6911 |1075 |  10k|  0 |  17k|  16 | 0.000000e+00 |      --      |    Inf | unknown
505.69/507.18	c   507s| 20900 |   271 |  4896k| 233.0 |    90M |  57 |1692 |6885 |1073 |  10k|  1 |  17k|  16 | 0.000000e+00 |      --      |    Inf | unknown
508.08/509.57	c   510s| 21000 |   261 |  4921k| 233.1 |    90M |  57 |1692 |6909 |1072 |  10k|  1 |  17k|  16 | 0.000000e+00 |      --      |    Inf | unknown
510.07/511.53	c   512s| 21100 |   259 |  4942k| 232.9 |    90M |  57 |1692 |6918 |1076 |  10k|  0 |  17k|  16 | 0.000000e+00 |      --      |    Inf | unknown
511.57/513.08	c   513s| 21200 |   259 |  4958k| 232.6 |    90M |  57 |1692 |6972 |1069 |  10k|  1 |  17k|  16 | 0.000000e+00 |      --      |    Inf | unknown
513.36/514.84	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
513.36/514.84	c   515s| 21300 |   257 |  4977k| 232.4 |    90M |  57 |1692 |7006 |1076 |  11k|  0 |  17k|  16 | 0.000000e+00 |      --      |    Inf | unknown
515.36/516.85	c   517s| 21400 |   257 |  4998k| 232.3 |    90M |  57 |1692 |7004 |1081 |  11k|  2 |  17k|  16 | 0.000000e+00 |      --      |    Inf | unknown
517.15/518.64	c   519s| 21500 |   259 |  5018k| 232.1 |    90M |  57 |1692 |7046 |1071 |  11k|  0 |  17k|  16 | 0.000000e+00 |      --      |    Inf | unknown
519.25/520.79	c   521s| 21600 |   259 |  5041k| 232.1 |    90M |  57 |1692 |7095 |1069 |  11k|  0 |  17k|  16 | 0.000000e+00 |      --      |    Inf | unknown
521.24/522.77	c   523s| 21700 |   256 |  5063k| 232.1 |    90M |  57 |1692 |7156 |1073 |  11k|  0 |  17k|  16 | 0.000000e+00 |      --      |    Inf | unknown
523.13/524.66	c   525s| 21800 |   256 |  5083k| 231.9 |    90M |  57 |1692 |7181 |1074 |  11k|  0 |  17k|  16 | 0.000000e+00 |      --      |    Inf | unknown
525.03/526.58	c   527s| 21900 |   265 |  5102k| 231.7 |    90M |  57 |1692 |7146 |1070 |  11k|  1 |  17k|  16 | 0.000000e+00 |      --      |    Inf | unknown
526.13/527.69	c   528s| 22000 |   265 |  5113k| 231.2 |    90M |  57 |1692 |7243 |1066 |  11k|  0 |  18k|  16 | 0.000000e+00 |      --      |    Inf | unknown
528.32/529.80	c   530s| 22100 |   264 |  5134k| 231.1 |    90M |  57 |1692 |7160 |1069 |  11k|  0 |  18k|  16 | 0.000000e+00 |      --      |    Inf | unknown
529.72/531.20	c   531s| 22200 |   260 |  5148k| 230.7 |    90M |  57 |1692 |7277 |1071 |  11k|  0 |  18k|  16 | 0.000000e+00 |      --      |    Inf | unknown
531.01/532.56	c   533s| 22300 |   262 |  5161k| 230.2 |    90M |  57 |1692 |7361 |1077 |  11k|  1 |  18k|  16 | 0.000000e+00 |      --      |    Inf | unknown
532.61/534.12	c   534s| 22400 |   262 |  5174k| 229.8 |    90M |  57 |1692 |7524 |1069 |  11k|  1 |  18k|  16 | 0.000000e+00 |      --      |    Inf | unknown
534.20/535.70	c   536s| 22500 |   257 |  5186k| 229.3 |    90M |  57 |1692 |7651 |1070 |  11k|  0 |  18k|  16 | 0.000000e+00 |      --      |    Inf | unknown
535.40/536.98	c   537s| 22600 |   265 |  5198k| 228.8 |    91M |  57 |1692 |7699 |1081 |  11k|  1 |  18k|  16 | 0.000000e+00 |      --      |    Inf | unknown
536.60/538.11	c   538s| 22700 |   260 |  5209k| 228.3 |    91M |  57 |1692 |7808 |1069 |  11k|  1 |  19k|  16 | 0.000000e+00 |      --      |    Inf | unknown
537.89/539.44	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
537.89/539.44	c   539s| 22800 |   266 |  5220k| 227.8 |    91M |  57 |1692 |7905 |1076 |  11k|  1 |  19k|  16 | 0.000000e+00 |      --      |    Inf | unknown
539.09/540.66	c   541s| 22900 |   264 |  5231k| 227.3 |    92M |  57 |1692 |7991 |   0 |  12k|  0 |  19k|  16 | 0.000000e+00 |      --      |    Inf | unknown
540.19/541.76	c   542s| 23000 |   259 |  5242k| 226.7 |    92M |  57 |1692 |8127 |1069 |  12k|  0 |  19k|  16 | 0.000000e+00 |      --      |    Inf | unknown
541.49/543.04	c   543s| 23100 |   263 |  5255k| 226.3 |    93M |  57 |1692 |8312 |1072 |  12k|  1 |  19k|  16 | 0.000000e+00 |      --      |    Inf | unknown
542.38/543.97	c   544s| 23200 |   267 |  5264k| 225.7 |    93M |  57 |1692 |8362 |1072 |  12k|  1 |  19k|  16 | 0.000000e+00 |      --      |    Inf | unknown
543.18/544.74	c   545s| 23300 |   267 |  5271k| 225.1 |    93M |  57 |1692 |8471 |1072 |  12k|  0 |  20k|  16 | 0.000000e+00 |      --      |    Inf | unknown
543.98/545.52	c   546s| 23400 |   265 |  5278k| 224.4 |    93M |  57 |1692 |8630 |1072 |  12k|  0 |  20k|  16 | 0.000000e+00 |      --      |    Inf | unknown
545.07/546.65	c   547s| 23500 |   265 |  5289k| 223.9 |    93M |  57 |1692 |8688 |1074 |  12k|  1 |  20k|  16 | 0.000000e+00 |      --      |    Inf | unknown
546.27/547.88	c   548s| 23600 |   269 |  5301k| 223.5 |    93M |  57 |1692 |8732 |1076 |  12k|  1 |  20k|  16 | 0.000000e+00 |      --      |    Inf | unknown
547.27/548.81	c   549s| 23700 |   264 |  5309k| 222.9 |    93M |  57 |1692 |8675 |1074 |  12k|  1 |  20k|  16 | 0.000000e+00 |      --      |    Inf | unknown
548.36/549.91	c   550s| 23800 |   259 |  5321k| 222.4 |    93M |  57 |1692 |8753 |1080 |  12k|  0 |  20k|  16 | 0.000000e+00 |      --      |    Inf | unknown
549.66/551.25	c   551s| 23900 |   270 |  5334k| 222.0 |    94M |  57 |1692 |8767 |1074 |  12k|  1 |  21k|  16 | 0.000000e+00 |      --      |    Inf | unknown
550.66/552.26	c   552s| 24000 |   269 |  5343k| 221.5 |    94M |  57 |1692 |8867 |1072 |  12k|  1 |  21k|  16 | 0.000000e+00 |      --      |    Inf | unknown
551.66/553.21	c   553s| 24100 |   270 |  5352k| 220.9 |    94M |  57 |1692 |8968 |1070 |  12k|  1 |  21k|  16 | 0.000000e+00 |      --      |    Inf | unknown
552.75/554.35	c   554s| 24200 |   264 |  5363k| 220.5 |    94M |  57 |1692 |9110 |1073 |  12k|  0 |  21k|  16 | 0.000000e+00 |      --      |    Inf | unknown
554.15/555.71	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
554.15/555.71	c   556s| 24300 |   274 |  5377k| 220.2 |    94M |  57 |1692 |9210 |1073 |  12k|  0 |  21k|  16 | 0.000000e+00 |      --      |    Inf | unknown
555.35/556.93	c   557s| 24400 |   275 |  5388k| 219.7 |    95M |  57 |1692 |9266 |1083 |  12k|  1 |  21k|  16 | 0.000000e+00 |      --      |    Inf | unknown
556.64/558.27	c   558s| 24500 |   273 |  5401k| 219.3 |    95M |  57 |1692 |9330 |1076 |  12k|  0 |  22k|  16 | 0.000000e+00 |      --      |    Inf | unknown
557.94/559.59	c   560s| 24600 |   270 |  5413k| 218.9 |    95M |  57 |1692 |9375 |1072 |  12k|  0 |  22k|  16 | 0.000000e+00 |      --      |    Inf | unknown
559.13/560.70	c   561s| 24700 |   270 |  5424k| 218.5 |    95M |  57 |1692 |9466 |1080 |  12k|  1 |  22k|  16 | 0.000000e+00 |      --      |    Inf | unknown
560.54/562.12	c   562s| 24800 |   273 |  5438k| 218.2 |    95M |  57 |1692 |9498 |1074 |  12k|  1 |  22k|  16 | 0.000000e+00 |      --      |    Inf | unknown
562.23/563.81	c   564s| 24900 |   270 |  5455k| 218.0 |    95M |  57 |1692 |9428 |1074 |  13k|  1 |  22k|  16 | 0.000000e+00 |      --      |    Inf | unknown
563.62/565.24	c   565s| 25000 |   272 |  5469k| 217.7 |    95M |  57 |1692 |9415 |1075 |  13k|  0 |  22k|  16 | 0.000000e+00 |      --      |    Inf | unknown
565.02/566.60	c   567s| 25100 |   270 |  5481k| 217.3 |    95M |  57 |1692 |9446 |1073 |  13k|  1 |  22k|  16 | 0.000000e+00 |      --      |    Inf | unknown
566.42/568.10	c   568s| 25200 |   272 |  5494k| 216.9 |    95M |  57 |1692 |9533 |1073 |  13k|  1 |  22k|  16 | 0.000000e+00 |      --      |    Inf | unknown
568.01/569.60	c   570s| 25300 |   267 |  5508k| 216.7 |    95M |  57 |1692 |9511 |   0 |  13k|  0 |  22k|  16 | 0.000000e+00 |      --      |    Inf | unknown
569.21/570.84	c   571s| 25400 |   269 |  5521k| 216.3 |    95M |  57 |1692 |9541 |1086 |  13k|  1 |  22k|  16 | 0.000000e+00 |      --      |    Inf | unknown
570.41/572.05	c   572s| 25500 |   265 |  5532k| 215.9 |    95M |  57 |1692 |9663 |1073 |  13k|  1 |  23k|  16 | 0.000000e+00 |      --      |    Inf | unknown
571.70/573.39	c   573s| 25600 |   265 |  5544k| 215.5 |    95M |  57 |1692 |9732 |1077 |  13k|  1 |  23k|  16 | 0.000000e+00 |      --      |    Inf | unknown
573.10/574.79	c   575s| 25700 |   263 |  5558k| 215.2 |    95M |  57 |1692 |9753 |1089 |  13k|  1 |  23k|  16 | 0.000000e+00 |      --      |    Inf | unknown
574.69/576.31	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
574.69/576.31	c   576s| 25800 |   263 |  5572k| 214.9 |    95M |  57 |1692 |9738 |1083 |  13k|  1 |  23k|  16 | 0.000000e+00 |      --      |    Inf | unknown
576.19/577.80	c   578s| 25900 |   263 |  5586k| 214.6 |    95M |  57 |1692 |9749 |1072 |  13k|  1 |  23k|  16 | 0.000000e+00 |      --      |    Inf | unknown
577.28/579.00	c   579s| 26000 |   261 |  5598k| 214.2 |    95M |  57 |1692 |9764 |1074 |  14k|  0 |  23k|  16 | 0.000000e+00 |      --      |    Inf | unknown
578.39/580.05	c   580s| 26100 |   261 |  5608k| 213.8 |    95M |  57 |1692 |9882 |1072 |  14k|  1 |  23k|  16 | 0.000000e+00 |      --      |    Inf | unknown
579.78/581.40	c   581s| 26200 |   258 |  5621k| 213.5 |    96M |  57 |1692 |9930 |1074 |  14k|  1 |  23k|  16 | 0.000000e+00 |      --      |    Inf | unknown
581.17/582.86	c   583s| 26300 |   259 |  5636k| 213.3 |    96M |  57 |1692 |9302 |1063 |  14k|  1 |  24k|  16 | 0.000000e+00 |      --      |    Inf | unknown
582.77/584.46	c   584s| 26400 |   260 |  5650k| 213.0 |    97M |  57 |1692 |9035 |1067 |  14k|  1 |  24k|  16 | 0.000000e+00 |      --      |    Inf | unknown
584.37/586.09	c   586s| 26500 |   264 |  5667k| 212.8 |    97M |  57 |1692 |8910 |1067 |  14k|  1 |  24k|  16 | 0.000000e+00 |      --      |    Inf | unknown
586.46/588.15	c   588s| 26600 |   262 |  5686k| 212.7 |    97M |  57 |1692 |8850 |1069 |  14k|  1 |  24k|  16 | 0.000000e+00 |      --      |    Inf | unknown
588.26/589.92	c   590s| 26700 |   262 |  5702k| 212.5 |    97M |  57 |1692 |8840 |1071 |  14k|  1 |  24k|  16 | 0.000000e+00 |      --      |    Inf | unknown
590.46/592.10	c   592s| 26800 |   264 |  5721k| 212.4 |    97M |  57 |1692 |8820 |1074 |  14k|  1 |  24k|  16 | 0.000000e+00 |      --      |    Inf | unknown
592.84/594.57	c   595s| 26900 |   261 |  5744k| 212.5 |    97M |  57 |1692 |8820 |1077 |  14k|  1 |  24k|  16 | 0.000000e+00 |      --      |    Inf | unknown
595.03/596.74	c   597s| 27000 |   260 |  5765k| 212.5 |    97M |  57 |1692 |8815 |1067 |  14k|  1 |  24k|  16 | 0.000000e+00 |      --      |    Inf | unknown
600.12/601.82	c   602s| 27100 |   269 |  5812k| 213.5 |    97M |  57 |1692 |8523 |1063 |  14k|  1 |  24k|  16 | 0.000000e+00 |      --      |    Inf | unknown
601.51/603.29	c   603s| 27200 |   265 |  5828k| 213.3 |    97M |  57 |1692 |8416 |1067 |  14k|  0 |  24k|  16 | 0.000000e+00 |      --      |    Inf | unknown
602.61/604.37	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
602.61/604.37	c   604s| 27300 |   267 |  5838k| 212.9 |    97M |  57 |1692 |8393 |1064 |  14k|  0 |  24k|  16 | 0.000000e+00 |      --      |    Inf | unknown
604.11/605.86	c   606s| 27400 |   271 |  5853k| 212.6 |    97M |  57 |1692 |8346 |1067 |  14k|  1 |  24k|  16 | 0.000000e+00 |      --      |    Inf | unknown
605.31/607.03	c   607s| 27500 |   275 |  5864k| 212.3 |    97M |  57 |1692 |8304 |1069 |  15k|  1 |  24k|  16 | 0.000000e+00 |      --      |    Inf | unknown
606.60/608.31	c   608s| 27600 |   273 |  5876k| 211.9 |    97M |  57 |1692 |8273 |1073 |  15k|  1 |  24k|  16 | 0.000000e+00 |      --      |    Inf | unknown
608.00/609.76	c   610s| 27700 |   269 |  5890k| 211.6 |    97M |  57 |1692 |8186 |   0 |  15k|  0 |  24k|  16 | 0.000000e+00 |      --      |    Inf | unknown
609.40/611.19	c   611s| 27800 |   269 |  5904k| 211.4 |    97M |  57 |1692 |8142 |1068 |  15k|  0 |  24k|  16 | 0.000000e+00 |      --      |    Inf | unknown
611.09/612.80	c   613s| 27900 |   273 |  5917k| 211.1 |    97M |  57 |1692 |8147 |1086 |  15k|  1 |  24k|  16 | 0.000000e+00 |      --      |    Inf | unknown
612.58/614.35	c   614s| 28000 |   269 |  5931k| 210.9 |    97M |  57 |1692 |8154 |1068 |  15k|  0 |  24k|  16 | 0.000000e+00 |      --      |    Inf | unknown
614.28/616.04	c   616s| 28100 |   271 |  5948k| 210.7 |    98M |  57 |1692 |8147 |1069 |  15k|  0 |  24k|  16 | 0.000000e+00 |      --      |    Inf | unknown
615.38/617.18	c   617s| 28200 |   272 |  5959k| 210.4 |    98M |  57 |1692 |8180 |1065 |  15k|  1 |  24k|  16 | 0.000000e+00 |      --      |    Inf | unknown
616.67/618.41	c   618s| 28300 |   272 |  5972k| 210.1 |    98M |  57 |1692 |8176 |1076 |  15k|  1 |  24k|  16 | 0.000000e+00 |      --      |    Inf | unknown
618.07/619.85	c   620s| 28400 |   270 |  5986k| 209.8 |    98M |  57 |1692 |8211 |1069 |  15k|  0 |  24k|  16 | 0.000000e+00 |      --      |    Inf | unknown
619.47/621.21	c   621s| 28500 |   272 |  5999k| 209.6 |    98M |  57 |1692 |8222 |1068 |  15k|  1 |  25k|  16 | 0.000000e+00 |      --      |    Inf | unknown
621.06/622.85	c   623s| 28600 |   272 |  6015k| 209.4 |    99M |  57 |1692 |8254 |1072 |  15k|  1 |  25k|  16 | 0.000000e+00 |      --      |    Inf | unknown
623.26/625.07	c   625s| 28700 |   268 |  6033k| 209.3 |    99M |  57 |1692 |8286 |1068 |  15k|  0 |  25k|  16 | 0.000000e+00 |      --      |    Inf | unknown
624.95/626.70	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
624.95/626.70	c   627s| 28800 |   270 |  6050k| 209.1 |    99M |  57 |1692 |8352 |1070 |  16k|  1 |  25k|  16 | 0.000000e+00 |      --      |    Inf | unknown
626.55/628.35	c   628s| 28900 |   278 |  6066k| 208.9 |    99M |  57 |1692 |8376 |1081 |  16k|  1 |  25k|  16 | 0.000000e+00 |      --      |    Inf | unknown
628.14/629.96	c   630s| 29000 |   274 |  6080k| 208.7 |    99M |  57 |1692 |8416 |1069 |  16k|  1 |  25k|  16 | 0.000000e+00 |      --      |    Inf | unknown
629.74/631.59	c   632s| 29100 |   274 |  6094k| 208.5 |   100M |  57 |1692 |8437 |1069 |  16k|  1 |  25k|  16 | 0.000000e+00 |      --      |    Inf | unknown
631.34/633.10	c   633s| 29200 |   277 |  6107k| 208.2 |   100M |  57 |1692 |8483 |1077 |  16k|  0 |  25k|  16 | 0.000000e+00 |      --      |    Inf | unknown
632.63/634.44	c   634s| 29300 |   273 |  6118k| 207.9 |   100M |  57 |1692 |8541 |1080 |  16k|  1 |  25k|  16 | 0.000000e+00 |      --      |    Inf | unknown
634.03/635.84	c   636s| 29400 |   268 |  6131k| 207.6 |   100M |  57 |1692 |8580 |1069 |  16k|  0 |  25k|  16 | 0.000000e+00 |      --      |    Inf | unknown
636.02/637.82	c   638s| 29500 |   266 |  6150k| 207.6 |   100M |  57 |1692 |8592 |1069 |  16k|  0 |  25k|  16 | 0.000000e+00 |      --      |    Inf | unknown
637.02/638.87	c   639s| 29600 |   269 |  6161k| 207.2 |   100M |  57 |1692 |8612 |1074 |  16k|  1 |  25k|  16 | 0.000000e+00 |      --      |    Inf | unknown
638.32/640.13	c   640s| 29700 |   268 |  6173k| 206.9 |   100M |  57 |1692 |8624 |1075 |  16k|  1 |  25k|  16 | 0.000000e+00 |      --      |    Inf | unknown
640.11/641.92	c   642s| 29800 |   268 |  6191k| 206.8 |   100M |  57 |1692 |8606 |1069 |  16k|  0 |  25k|  16 | 0.000000e+00 |      --      |    Inf | unknown
641.81/643.61	c   644s| 29900 |   270 |  6205k| 206.6 |   100M |  57 |1692 |8590 |1087 |  16k|  1 |  25k|  16 | 0.000000e+00 |      --      |    Inf | unknown
643.50/645.33	c   645s| 30000 |   267 |  6219k| 206.4 |   100M |  57 |1692 |8614 |1071 |  17k|  0 |  25k|  16 | 0.000000e+00 |      --      |    Inf | unknown
644.90/646.74	c   647s| 30100 |   269 |  6234k| 206.2 |   100M |  57 |1692 |8574 |1073 |  17k|  0 |  25k|  16 | 0.000000e+00 |      --      |    Inf | unknown
661.46/663.38	c   663s| 30200 |   307 |  6384k| 210.5 |   101M |  57 |1692 |7709 |1073 |  17k|  0 |  26k|  16 | 0.000000e+00 |      --      |    Inf | unknown
663.16/665.09	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
663.16/665.09	c   665s| 30300 |   309 |  6401k| 210.4 |   101M |  57 |1692 |7692 |1073 |  17k|  1 |  26k|  16 | 0.000000e+00 |      --      |    Inf | unknown
665.05/666.99	c   667s| 30400 |   305 |  6418k| 210.2 |   101M |  57 |1692 |7716 |1089 |  17k|  1 |  26k|  16 | 0.000000e+00 |      --      |    Inf | unknown
666.84/668.78	c   669s| 30500 |   303 |  6436k| 210.1 |   101M |  57 |1692 |7654 |1073 |  17k|  1 |  26k|  16 | 0.000000e+00 |      --      |    Inf | unknown
668.64/670.57	c   671s| 30600 |   301 |  6453k| 210.0 |   101M |  57 |1692 |7626 |1084 |  17k|  1 |  26k|  16 | 0.000000e+00 |      --      |    Inf | unknown
671.13/673.09	c   673s| 30700 |   311 |  6475k| 210.0 |   101M |  57 |1692 |7426 |1073 |  17k|  0 |  26k|  16 | 0.000000e+00 |      --      |    Inf | unknown
672.92/674.82	c   675s| 30800 |   321 |  6491k| 209.9 |   101M |  57 |1692 |7152 |1070 |  17k|  0 |  26k|  16 | 0.000000e+00 |      --      |    Inf | unknown
674.02/675.95	c   676s| 30900 |   319 |  6503k| 209.6 |   101M |  57 |1692 |7169 |1069 |  17k|  0 |  26k|  16 | 0.000000e+00 |      --      |    Inf | unknown
675.52/677.49	c   677s| 31000 |   318 |  6519k| 209.4 |   101M |  57 |1692 |6977 |1068 |  17k|  0 |  26k|  16 | 0.000000e+00 |      --      |    Inf | unknown
676.81/678.70	c   679s| 31100 |   319 |  6531k| 209.1 |   101M |  57 |1692 |7044 |1069 |  17k|  0 |  26k|  16 | 0.000000e+00 |      --      |    Inf | unknown
678.71/680.64	c   681s| 31200 |   318 |  6552k| 209.1 |   101M |  57 |1692 |7044 |1070 |  17k|  0 |  26k|  16 | 0.000000e+00 |      --      |    Inf | unknown
680.21/682.19	c   682s| 31300 |   320 |  6568k| 209.0 |   102M |  57 |1692 |6996 |1069 |  17k|  0 |  26k|  16 | 0.000000e+00 |      --      |    Inf | unknown
681.50/683.46	c   683s| 31400 |   324 |  6581k| 208.7 |   102M |  57 |1692 |7062 |1071 |  17k|  1 |  26k|  16 | 0.000000e+00 |      --      |    Inf | unknown
682.80/684.72	c   685s| 31500 |   322 |  6594k| 208.5 |   102M |  57 |1692 |7142 |1068 |  17k|  0 |  27k|  16 | 0.000000e+00 |      --      |    Inf | unknown
684.10/686.09	c   686s| 31600 |   328 |  6608k| 208.2 |   102M |  57 |1692 |7164 |1071 |  17k|  1 |  27k|  16 | 0.000000e+00 |      --      |    Inf | unknown
685.39/687.38	c   687s| 31700 |   321 |  6621k| 208.0 |   102M |  57 |1692 |7270 |1071 |  17k|  1 |  27k|  16 | 0.000000e+00 |      --      |    Inf | unknown
686.99/688.93	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
686.99/688.93	c   689s| 31800 |   317 |  6636k| 207.8 |   102M |  57 |1692 |7300 |1069 |  17k|  0 |  27k|  16 | 0.000000e+00 |      --      |    Inf | unknown
688.28/690.29	c   690s| 31900 |   319 |  6650k| 207.6 |   102M |  57 |1692 |7342 |1070 |  17k|  1 |  27k|  16 | 0.000000e+00 |      --      |    Inf | unknown
689.38/691.37	c   691s| 32000 |   319 |  6661k| 207.3 |   102M |  57 |1692 |7373 |1068 |  18k|  1 |  27k|  16 | 0.000000e+00 |      --      |    Inf | unknown
690.68/692.61	c   693s| 32100 |   319 |  6673k| 207.0 |   102M |  57 |1692 |7495 |1068 |  18k|  0 |  27k|  16 | 0.000000e+00 |      --      |    Inf | unknown
691.97/693.92	c   694s| 32200 |   325 |  6686k| 206.8 |   102M |  57 |1692 |7480 |1069 |  18k|  1 |  27k|  16 | 0.000000e+00 |      --      |    Inf | unknown
693.47/695.42	c   695s| 32300 |   324 |  6702k| 206.6 |   102M |  57 |1692 |7531 |1067 |  18k|  1 |  27k|  16 | 0.000000e+00 |      --      |    Inf | unknown
694.67/696.60	c   697s| 32400 |   317 |  6714k| 206.4 |   102M |  57 |1692 |7575 |1068 |  18k|  1 |  27k|  16 | 0.000000e+00 |      --      |    Inf | unknown
696.17/698.14	c   698s| 32500 |   319 |  6729k| 206.2 |   102M |  57 |1692 |7613 |1073 |  18k|  1 |  27k|  16 | 0.000000e+00 |      --      |    Inf | unknown
698.06/700.05	c   700s| 32600 |   317 |  6747k| 206.1 |   102M |  57 |1692 |7621 |1070 |  18k|  1 |  27k|  16 | 0.000000e+00 |      --      |    Inf | unknown
699.35/701.32	c   701s| 32700 |   327 |  6760k| 205.9 |   102M |  57 |1692 |7648 |1069 |  18k|  1 |  27k|  16 | 0.000000e+00 |      --      |    Inf | unknown
700.65/702.60	c   703s| 32800 |   323 |  6771k| 205.6 |   102M |  57 |1692 |7787 |1077 |  18k|  0 |  28k|  16 | 0.000000e+00 |      --      |    Inf | unknown
701.75/703.71	c   704s| 32900 |   323 |  6781k| 205.3 |   102M |  57 |1692 |7884 |1072 |  18k|  0 |  28k|  16 | 0.000000e+00 |      --      |    Inf | unknown
703.15/705.14	c   705s| 33000 |   321 |  6793k| 205.0 |   102M |  57 |1692 |7944 |1070 |  18k|  1 |  28k|  16 | 0.000000e+00 |      --      |    Inf | unknown
704.74/706.70	c   707s| 33100 |   317 |  6808k| 204.8 |   102M |  57 |1692 |7973 |1070 |  18k|  0 |  28k|  16 | 0.000000e+00 |      --      |    Inf | unknown
706.14/708.11	c   708s| 33200 |   321 |  6821k| 204.6 |   102M |  57 |1692 |8017 |1071 |  18k|  1 |  28k|  16 | 0.000000e+00 |      --      |    Inf | unknown
707.83/709.88	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
707.83/709.88	c   710s| 33300 |   323 |  6838k| 204.5 |   102M |  57 |1692 |8065 |1069 |  18k|  1 |  28k|  16 | 0.000000e+00 |      --      |    Inf | unknown
709.33/711.39	c   711s| 33400 |   327 |  6852k| 204.3 |   102M |  57 |1692 |8115 |1079 |  18k|  0 |  28k|  16 | 0.000000e+00 |      --      |    Inf | unknown
710.62/712.63	c   713s| 33500 |   322 |  6864k| 204.1 |   102M |  57 |1692 |8212 |1070 |  18k|  0 |  28k|  16 | 0.000000e+00 |      --      |    Inf | unknown
712.13/714.16	c   714s| 33600 |   322 |  6878k| 203.9 |   102M |  57 |1692 |8287 |1076 |  18k|  0 |  28k|  16 | 0.000000e+00 |      --      |    Inf | unknown
713.62/715.68	c   716s| 33700 |   324 |  6893k| 203.7 |   102M |  57 |1692 |8375 |1074 |  18k|  1 |  29k|  16 | 0.000000e+00 |      --      |    Inf | unknown
715.31/717.38	c   717s| 33800 |   326 |  6909k| 203.6 |   102M |  57 |1692 |8437 |1081 |  18k|  1 |  29k|  16 | 0.000000e+00 |      --      |    Inf | unknown
717.21/719.24	c   719s| 33900 |   328 |  6926k| 203.5 |   102M |  57 |1692 |8497 |1084 |  18k|  1 |  29k|  16 | 0.000000e+00 |      --      |    Inf | unknown
718.80/720.87	c   721s| 34000 |   324 |  6941k| 203.4 |   102M |  57 |1692 |8579 |1074 |  18k|  0 |  29k|  16 | 0.000000e+00 |      --      |    Inf | unknown
721.00/723.01	c   723s| 34100 |   322 |  6961k| 203.3 |   102M |  57 |1692 |8633 |1081 |  18k|  1 |  29k|  16 | 0.000000e+00 |      --      |    Inf | unknown
722.29/724.32	c   724s| 34200 |   326 |  6974k| 203.1 |   102M |  57 |1692 |8640 |1074 |  18k|  1 |  29k|  16 | 0.000000e+00 |      --      |    Inf | unknown
723.79/725.82	c   726s| 34300 |   324 |  6989k| 203.0 |   102M |  57 |1692 |8698 |1081 |  18k|  1 |  29k|  16 | 0.000000e+00 |      --      |    Inf | unknown
725.59/727.69	c   728s| 34400 |   324 |  7006k| 202.9 |   102M |  57 |1692 |8727 |1087 |  18k|  0 |  29k|  16 | 0.000000e+00 |      --      |    Inf | unknown
727.28/729.33	c   729s| 34500 |   327 |  7020k| 202.7 |   102M |  57 |1692 |8749 |1085 |  19k|  1 |  29k|  16 | 0.000000e+00 |      --      |    Inf | unknown
728.88/730.91	c   731s| 34600 |   323 |  7037k| 202.6 |   102M |  57 |1692 |8763 |   0 |  19k|  0 |  29k|  16 | 0.000000e+00 |      --      |    Inf | unknown
730.67/732.73	c   733s| 34700 |   321 |  7052k| 202.4 |   102M |  57 |1692 |8797 |1084 |  19k|  0 |  29k|  16 | 0.000000e+00 |      --      |    Inf | unknown
732.57/734.69	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
732.57/734.69	c   735s| 34800 |   325 |  7069k| 202.3 |   102M |  57 |1692 |8774 |1081 |  19k|  0 |  29k|  16 | 0.000000e+00 |      --      |    Inf | unknown
733.97/736.07	c   736s| 34900 |   325 |  7081k| 202.1 |   102M |  57 |1692 |8792 |1085 |  19k|  1 |  30k|  16 | 0.000000e+00 |      --      |    Inf | unknown
735.66/737.72	c   738s| 35000 |   323 |  7097k| 202.0 |   102M |  57 |1692 |8858 |1088 |  19k|  0 |  30k|  16 | 0.000000e+00 |      --      |    Inf | unknown
737.55/739.60	c   740s| 35100 |   323 |  7113k| 201.9 |   102M |  57 |1692 |8838 |1079 |  19k|  1 |  30k|  16 | 0.000000e+00 |      --      |    Inf | unknown
738.96/741.03	c   741s| 35200 |   327 |  7127k| 201.7 |   102M |  57 |1692 |8883 |1079 |  19k|  1 |  30k|  16 | 0.000000e+00 |      --      |    Inf | unknown
741.34/743.40	c   743s| 35300 |   319 |  7147k| 201.7 |   102M |  57 |1692 |8906 |1081 |  19k|  0 |  30k|  16 | 0.000000e+00 |      --      |    Inf | unknown
743.34/745.40	c   745s| 35400 |   325 |  7164k| 201.6 |   102M |  57 |1692 |8922 |1078 |  19k|  0 |  30k|  16 | 0.000000e+00 |      --      |    Inf | unknown
745.04/747.14	c   747s| 35500 |   327 |  7178k| 201.4 |   102M |  57 |1692 |8955 |1081 |  19k|  0 |  30k|  16 | 0.000000e+00 |      --      |    Inf | unknown
746.73/748.87	c   749s| 35600 |   327 |  7193k| 201.3 |   103M |  57 |1692 |8964 |1087 |  19k|  1 |  30k|  16 | 0.000000e+00 |      --      |    Inf | unknown
748.43/750.59	c   751s| 35700 |   323 |  7209k| 201.2 |   103M |  57 |1692 |8982 |1078 |  19k|  0 |  30k|  16 | 0.000000e+00 |      --      |    Inf | unknown
750.42/752.56	c   753s| 35800 |   323 |  7224k| 201.0 |   103M |  57 |1692 |9010 |1087 |  19k|  1 |  30k|  16 | 0.000000e+00 |      --      |    Inf | unknown
752.22/754.37	c   754s| 35900 |   323 |  7239k| 200.9 |   103M |  57 |1692 |9070 |1086 |  20k|  0 |  30k|  16 | 0.000000e+00 |      --      |    Inf | unknown
754.02/756.16	c   756s| 36000 |   324 |  7255k| 200.8 |   103M |  57 |1692 |9115 |1088 |  20k|  1 |  30k|  16 | 0.000000e+00 |      --      |    Inf | unknown
755.81/757.97	c   758s| 36100 |   322 |  7271k| 200.7 |   103M |  57 |1692 |9171 |1088 |  20k|  1 |  30k|  16 | 0.000000e+00 |      --      |    Inf | unknown
757.50/759.60	c   760s| 36200 |   320 |  7287k| 200.5 |   103M |  57 |1692 |9225 |1075 |  20k|  1 |  30k|  16 | 0.000000e+00 |      --      |    Inf | unknown
758.80/760.97	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
758.80/760.97	c   761s| 36300 |   326 |  7299k| 200.3 |   103M |  57 |1692 |9185 |1075 |  20k|  1 |  30k|  16 | 0.000000e+00 |      --      |    Inf | unknown
760.69/762.87	c   763s| 36400 |   321 |  7316k| 200.2 |   103M |  57 |1692 |9160 |1097 |  20k|  2 |  31k|  16 | 0.000000e+00 |      --      |    Inf | unknown
762.29/764.49	c   764s| 36500 |   319 |  7330k| 200.1 |   103M |  57 |1692 |9081 |1087 |  20k|  0 |  31k|  16 | 0.000000e+00 |      --      |    Inf | unknown
763.89/766.04	c   766s| 36600 |   319 |  7346k| 200.0 |   103M |  57 |1692 |9011 |1066 |  20k|  1 |  31k|  16 | 0.000000e+00 |      --      |    Inf | unknown
765.28/767.44	c   767s| 36700 |   319 |  7359k| 199.8 |   103M |  57 |1692 |9064 |1083 |  20k|  0 |  31k|  16 | 0.000000e+00 |      --      |    Inf | unknown
766.88/769.01	c   769s| 36800 |   319 |  7374k| 199.6 |   103M |  57 |1692 |9065 |1078 |  20k|  0 |  31k|  16 | 0.000000e+00 |      --      |    Inf | unknown
768.77/770.93	c   771s| 36900 |   321 |  7392k| 199.6 |   103M |  57 |1692 |9053 |1086 |  20k|  1 |  31k|  16 | 0.000000e+00 |      --      |    Inf | unknown
770.67/772.89	c   773s| 37000 |   317 |  7410k| 199.5 |   103M |  57 |1692 |9067 |1074 |  20k|  0 |  31k|  16 | 0.000000e+00 |      --      |    Inf | unknown
772.16/774.32	c   774s| 37100 |   319 |  7424k| 199.4 |   103M |  57 |1692 |9098 |1073 |  21k|  1 |  31k|  16 | 0.000000e+00 |      --      |    Inf | unknown
773.96/776.12	c   776s| 37200 |   319 |  7439k| 199.3 |   103M |  57 |1692 |9114 |1084 |  21k|  0 |  31k|  16 | 0.000000e+00 |      --      |    Inf | unknown
775.66/777.83	c   778s| 37300 |   322 |  7457k| 199.2 |   103M |  57 |1692 |9140 |1079 |  21k|  1 |  31k|  16 | 0.000000e+00 |      --      |    Inf | unknown
777.05/779.26	c   779s| 37400 |   322 |  7470k| 199.0 |   103M |  57 |1692 |9167 |1079 |  21k|  1 |  32k|  16 | 0.000000e+00 |      --      |    Inf | unknown
778.65/780.83	c   781s| 37500 |   320 |  7484k| 198.9 |   103M |  57 |1692 |9181 |1081 |  21k|  0 |  32k|  16 | 0.000000e+00 |      --      |    Inf | unknown
780.64/782.85	c   783s| 37600 |   319 |  7501k| 198.8 |   103M |  57 |1692 |9232 |1089 |  21k|  1 |  32k|  16 | 0.000000e+00 |      --      |    Inf | unknown
782.74/784.97	c   785s| 37700 |   321 |  7520k| 198.8 |   103M |  57 |1692 |9251 |1080 |  21k|  1 |  32k|  16 | 0.000000e+00 |      --      |    Inf | unknown
785.13/787.39	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
785.13/787.39	c   787s| 37800 |   319 |  7541k| 198.8 |   103M |  57 |1692 |9229 |1077 |  21k|  1 |  32k|  16 | 0.000000e+00 |      --      |    Inf | unknown
787.03/789.24	c   789s| 37900 |   323 |  7557k| 198.7 |   103M |  57 |1692 |9220 |1077 |  21k|  0 |  32k|  16 | 0.000000e+00 |      --      |    Inf | unknown
788.52/790.73	c   791s| 38000 |   321 |  7571k| 198.5 |   103M |  57 |1692 |9226 |1081 |  21k|  0 |  32k|  16 | 0.000000e+00 |      --      |    Inf | unknown
790.22/792.48	c   792s| 38100 |   321 |  7588k| 198.4 |   103M |  57 |1692 |9193 |1081 |  21k|  0 |  32k|  16 | 0.000000e+00 |      --      |    Inf | unknown
792.41/794.62	c   795s| 38200 |   323 |  7607k| 198.4 |   103M |  57 |1692 |9164 |1077 |  21k|  0 |  32k|  16 | 0.000000e+00 |      --      |    Inf | unknown
794.11/796.34	c   796s| 38300 |   321 |  7621k| 198.3 |   103M |  57 |1692 |9250 |1085 |  22k|  1 |  32k|  16 | 0.000000e+00 |      --      |    Inf | unknown
795.70/797.91	c   798s| 38400 |   323 |  7635k| 198.1 |   103M |  57 |1692 |9292 |1092 |  22k|  1 |  32k|  16 | 0.000000e+00 |      --      |    Inf | unknown
797.70/799.96	c   800s| 38500 |   319 |  7654k| 198.1 |   103M |  57 |1692 |9341 |1092 |  22k|  0 |  32k|  16 | 0.000000e+00 |      --      |    Inf | unknown
799.99/802.21	c   802s| 38600 |   323 |  7674k| 198.1 |   103M |  57 |1692 |9369 |1079 |  22k|  0 |  32k|  16 | 0.000000e+00 |      --      |    Inf | unknown
802.48/804.73	c   805s| 38700 |   325 |  7696k| 198.2 |   103M |  57 |1692 |9389 |1094 |  22k|  1 |  32k|  16 | 0.000000e+00 |      --      |    Inf | unknown
804.58/806.82	c   807s| 38800 |   323 |  7715k| 198.1 |   103M |  57 |1692 |9454 |1079 |  22k|  1 |  32k|  16 | 0.000000e+00 |      --      |    Inf | unknown
807.27/809.58	c   810s| 38900 |   321 |  7740k| 198.3 |   103M |  57 |1692 |9479 |1091 |  22k|  1 |  33k|  16 | 0.000000e+00 |      --      |    Inf | unknown
809.07/811.40	c   811s| 39000 |   323 |  7755k| 198.2 |   104M |  57 |1692 |9536 |1090 |  22k|  0 |  33k|  16 | 0.000000e+00 |      --      |    Inf | unknown
811.06/813.33	c   813s| 39100 |   319 |  7773k| 198.1 |   104M |  57 |1692 |9507 |1081 |  22k|  0 |  33k|  16 | 0.000000e+00 |      --      |    Inf | unknown
812.56/814.82	c   815s| 39200 |   319 |  7788k| 198.0 |   104M |  57 |1692 |9481 |1081 |  23k|  1 |  33k|  16 | 0.000000e+00 |      --      |    Inf | unknown
817.54/819.82	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
817.54/819.82	c   820s| 39300 |   320 |  7834k| 198.7 |   104M |  57 |1692 |8667 |1086 |  23k|  0 |  33k|  16 | 0.000000e+00 |      --      |    Inf | unknown
830.11/832.42	c   832s| 39400 |   345 |  7900k| 199.8 |   105M |  57 |1692 |7818 |1084 |  23k|  2 |  33k|  16 | 0.000000e+00 |      --      |    Inf | unknown
831.11/833.47	c   833s| 39500 |   345 |  7911k| 199.6 |   105M |  57 |1692 |7740 |1062 |  23k|  1 |  33k|  16 | 0.000000e+00 |      --      |    Inf | unknown
832.30/834.68	c   835s| 39600 |   345 |  7924k| 199.4 |   105M |  57 |1692 |7799 |1062 |  23k|  0 |  33k|  16 | 0.000000e+00 |      --      |    Inf | unknown
833.30/835.67	c   836s| 39700 |   347 |  7934k| 199.2 |   105M |  57 |1692 |7831 |1063 |  23k|  1 |  33k|  16 | 0.000000e+00 |      --      |    Inf | unknown
834.30/836.65	c   837s| 39800 |   348 |  7943k| 198.9 |   105M |  57 |1692 |7931 |1062 |  23k|  0 |  34k|  16 | 0.000000e+00 |      --      |    Inf | unknown
836.19/838.53	c   839s| 39900 |   351 |  7962k| 198.9 |   105M |  57 |1692 |7862 |1076 |  23k|  0 |  34k|  16 | 0.000000e+00 |      --      |    Inf | unknown
838.59/840.97	c   841s| 40000 |   344 |  7987k| 199.0 |   105M |  57 |1692 |7850 |1079 |  23k|  2 |  34k|  16 | 0.000000e+00 |      --      |    Inf | unknown
839.98/842.36	c   842s| 40100 |   348 |  8001k| 198.8 |   105M |  57 |1692 |7655 |1075 |  23k|  0 |  34k|  16 | 0.000000e+00 |      --      |    Inf | unknown
841.28/843.67	c   844s| 40200 |   358 |  8013k| 198.7 |   105M |  57 |1692 |7632 |1076 |  23k|  1 |  34k|  16 | 0.000000e+00 |      --      |    Inf | unknown
842.78/845.18	c   845s| 40300 |   352 |  8029k| 198.5 |   105M |  57 |1692 |7696 |1074 |  23k|  0 |  34k|  16 | 0.000000e+00 |      --      |    Inf | unknown
844.17/846.57	c   847s| 40400 |   357 |  8042k| 198.4 |   105M |  57 |1692 |7713 |1074 |  23k|  1 |  34k|  16 | 0.000000e+00 |      --      |    Inf | unknown
845.87/848.25	c   848s| 40500 |   355 |  8056k| 198.2 |   105M |  57 |1692 |7755 |1081 |  23k|  1 |  34k|  16 | 0.000000e+00 |      --      |    Inf | unknown
847.56/849.95	c   850s| 40600 |   353 |  8071k| 198.1 |   105M |  57 |1692 |7834 |1082 |  23k|  0 |  34k|  16 | 0.000000e+00 |      --      |    Inf | unknown
849.06/851.48	c   851s| 40700 |   354 |  8085k| 198.0 |   105M |  57 |1692 |7861 |1089 |  24k|  0 |  34k|  16 | 0.000000e+00 |      --      |    Inf | unknown
850.66/853.08	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
850.66/853.08	c   853s| 40800 |   353 |  8100k| 197.9 |   105M |  57 |1692 |7902 |1080 |  24k|  1 |  34k|  16 | 0.000000e+00 |      --      |    Inf | unknown
852.25/854.67	c   855s| 40900 |   352 |  8116k| 197.8 |   105M |  57 |1692 |7945 |1078 |  24k|  1 |  35k|  16 | 0.000000e+00 |      --      |    Inf | unknown
853.85/856.29	c   856s| 41000 |   354 |  8131k| 197.7 |   105M |  57 |1692 |7971 |1083 |  24k|  1 |  35k|  16 | 0.000000e+00 |      --      |    Inf | unknown
855.44/857.83	c   858s| 41100 |   353 |  8145k| 197.5 |   105M |  57 |1692 |8014 |1078 |  24k|  0 |  35k|  16 | 0.000000e+00 |      --      |    Inf | unknown
856.84/859.27	c   859s| 41200 |   349 |  8158k| 197.3 |   105M |  57 |1692 |8049 |1071 |  24k|  1 |  35k|  16 | 0.000000e+00 |      --      |    Inf | unknown
858.23/860.62	c   861s| 41300 |   351 |  8171k| 197.2 |   105M |  57 |1692 |8072 |1082 |  24k|  0 |  35k|  16 | 0.000000e+00 |      --      |    Inf | unknown
860.13/862.50	c   863s| 41400 |   351 |  8190k| 197.2 |   105M |  57 |1692 |8007 |1082 |  24k|  0 |  35k|  16 | 0.000000e+00 |      --      |    Inf | unknown
862.12/864.52	c   865s| 41500 |   351 |  8209k| 197.1 |   105M |  57 |1692 |7996 |1086 |  24k|  0 |  35k|  16 | 0.000000e+00 |      --      |    Inf | unknown
863.92/866.37	c   866s| 41600 |   347 |  8227k| 197.1 |   105M |  57 |1692 |7988 |1077 |  24k|  0 |  35k|  16 | 0.000000e+00 |      --      |    Inf | unknown
865.41/867.89	c   868s| 41700 |   347 |  8241k| 197.0 |   105M |  57 |1692 |8017 |1080 |  24k|  0 |  35k|  16 | 0.000000e+00 |      --      |    Inf | unknown
867.11/869.57	c   870s| 41800 |   347 |  8258k| 196.9 |   105M |  57 |1692 |7974 |1082 |  24k|  1 |  35k|  16 | 0.000000e+00 |      --      |    Inf | unknown
869.00/871.48	c   871s| 41900 |   355 |  8275k| 196.8 |   105M |  57 |1692 |7967 |1089 |  24k|  1 |  35k|  16 | 0.000000e+00 |      --      |    Inf | unknown
870.30/872.75	c   873s| 42000 |   353 |  8286k| 196.6 |   105M |  57 |1692 |8053 |1076 |  24k|  0 |  35k|  16 | 0.000000e+00 |      --      |    Inf | unknown
871.80/874.24	c   874s| 42100 |   355 |  8299k| 196.5 |   105M |  57 |1692 |8110 |1079 |  25k|  1 |  35k|  16 | 0.000000e+00 |      --      |    Inf | unknown
873.70/876.16	c   876s| 42200 |   353 |  8316k| 196.4 |   105M |  57 |1692 |8121 |1077 |  25k|  1 |  35k|  16 | 0.000000e+00 |      --      |    Inf | unknown
875.49/877.94	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
875.49/877.94	c   878s| 42300 |   350 |  8333k| 196.4 |   105M |  57 |1692 |8223 |1083 |  25k|  1 |  36k|  16 | 0.000000e+00 |      --      |    Inf | unknown
876.98/879.44	c   879s| 42400 |   350 |  8348k| 196.3 |   105M |  57 |1692 |8176 |1081 |  25k|  1 |  36k|  16 | 0.000000e+00 |      --      |    Inf | unknown
878.78/881.29	c   881s| 42500 |   350 |  8364k| 196.2 |   105M |  57 |1692 |8260 |1083 |  25k|  1 |  36k|  16 | 0.000000e+00 |      --      |    Inf | unknown
881.07/883.53	c   884s| 42600 |   343 |  8386k| 196.2 |   105M |  57 |1692 |8271 |1080 |  25k|  0 |  36k|  16 | 0.000000e+00 |      --      |    Inf | unknown
882.87/885.30	c   885s| 42700 |   347 |  8404k| 196.2 |   105M |  57 |1692 |8267 |1077 |  25k|  1 |  36k|  16 | 0.000000e+00 |      --      |    Inf | unknown
884.46/886.98	c   887s| 42800 |   343 |  8421k| 196.1 |   105M |  57 |1692 |8247 |1078 |  25k|  0 |  36k|  16 | 0.000000e+00 |      --      |    Inf | unknown
886.16/888.62	c   889s| 42900 |   346 |  8436k| 196.0 |   106M |  57 |1692 |8077 |1059 |  25k|  2 |  36k|  16 | 0.000000e+00 |      --      |    Inf | unknown
894.34/896.87	c Restart triggered after 50 consecutive estimations that the remaining tree will be large
894.44/896.92	c (run 1, node 42987) performing user restart
894.44/896.92	c 
894.44/896.92	c (restart) converted 60 cuts from the global cut pool into linear constraints
894.44/896.92	c 
894.44/896.94	c presolving:
894.44/896.96	c (round 1, fast)       0 del vars, 752 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1053 clqs
894.44/897.00	c (round 2, exhaustive) 0 del vars, 758 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1053 clqs
894.54/897.00	c (round 3, exhaustive) 0 del vars, 769 del conss, 0 add conss, 0 chg bounds, 11 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1053 clqs
894.54/897.01	c (round 4, exhaustive) 0 del vars, 769 del conss, 0 add conss, 0 chg bounds, 11 chg sides, 0 chg coeffs, 163 upgd conss, 0 impls, 1053 clqs
894.64/897.11	c (round 5, exhaustive) 0 del vars, 1735 del conss, 0 add conss, 0 chg bounds, 11 chg sides, 386 chg coeffs, 163 upgd conss, 0 impls, 1053 clqs
894.74/897.25	c (round 6, exhaustive) 0 del vars, 1737 del conss, 0 add conss, 0 chg bounds, 11 chg sides, 3497 chg coeffs, 163 upgd conss, 0 impls, 1053 clqs
894.84/897.34	c (round 7, exhaustive) 0 del vars, 1746 del conss, 0 add conss, 0 chg bounds, 11 chg sides, 3501 chg coeffs, 163 upgd conss, 0 impls, 1053 clqs
895.04/897.51	c presolving (8 rounds: 8 fast, 7 medium, 7 exhaustive):
895.04/897.51	c  0 deleted vars, 1746 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 11 changed sides, 3501 changed coefficients
895.04/897.51	c  0 implications, 1053 cliques
895.04/897.51	c presolved problem has 1692 variables (1692 bin, 0 int, 0 cont) and 5450 constraints
895.04/897.51	c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
895.04/897.51	c     167 constraints of type <knapsack>
895.04/897.51	c    1005 constraints of type <setppc>
895.04/897.51	c      89 constraints of type <linear>
895.04/897.51	c    4189 constraints of type <logicor>
895.04/897.51	c transformed objective value is always integral (scale: 1)
895.04/897.51	c Presolving Time: 0.66
895.04/897.51	c 
896.33/898.86	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
896.33/898.86	c   899s|     1 |     0 |  8521k|     - |   120M |   0 |1692 |5520 |1050 |   0 |  0 |  36k|  16 | 0.000000e+00 |      --      |    Inf | unknown
896.74/899.24	c   899s|     1 |     0 |  8522k|     - |   120M |   0 |1692 |5527 |1062 |  12 |  1 |  36k|  16 | 0.000000e+00 |      --      |    Inf | unknown
896.84/899.35	c   899s|     1 |     0 |  8522k|     - |   120M |   0 |1692 |5527 |1072 |  22 |  2 |  36k|  16 | 0.000000e+00 |      --      |    Inf | unknown
896.94/899.43	c   899s|     1 |     0 |  8522k|     - |   120M |   0 |1692 |5524 |1080 |  30 |  3 |  36k|  16 | 0.000000e+00 |      --      |    Inf | unknown
897.04/899.52	c   900s|     1 |     0 |  8522k|     - |   120M |   0 |1692 |5523 |1088 |  38 |  4 |  36k|  16 | 0.000000e+00 |      --      |    Inf | unknown
897.14/899.60	c   900s|     1 |     0 |  8522k|     - |   120M |   0 |1692 |5518 |1096 |  46 |  5 |  36k|  16 | 0.000000e+00 |      --      |    Inf | unknown
897.24/899.70	c   900s|     1 |     0 |  8522k|     - |   120M |   0 |1692 |5515 |1101 |  51 |  6 |  36k|  16 | 0.000000e+00 |      --      |    Inf | unknown
897.34/899.80	c   900s|     1 |     0 |  8523k|     - |   120M |   0 |1692 |5507 |1112 |  62 |  7 |  36k|  16 | 0.000000e+00 |      --      |    Inf | unknown
897.44/899.90	c   900s|     1 |     0 |  8523k|     - |   121M |   0 |1692 |5497 |1118 |  68 |  8 |  36k|  16 | 0.000000e+00 |      --      |    Inf | unknown
897.44/899.99	c   900s|     1 |     0 |  8523k|     - |   121M |   0 |1692 |5496 |1127 |  77 |  9 |  36k|  16 | 0.000000e+00 |      --      |    Inf | unknown
897.54/900.10	c   900s|     1 |     0 |  8523k|     - |   121M |   0 |1692 |5487 |1133 |  83 | 10 |  36k|  16 | 0.000000e+00 |      --      |    Inf | unknown
897.64/900.15	c   900s|     1 |     0 |  8523k|     - |   121M |   0 |1692 |5468 |1143 |  93 | 11 |  36k|  16 | 0.000000e+00 |      --      |    Inf | unknown
904.32/906.85	c   907s|     1 |     2 |  8558k|     - |   121M |   0 |1692 |5374 |1143 |  93 | 11 |  36k|  35 | 0.000000e+00 |      --      |    Inf | unknown
918.38/920.96	c   921s|   100 |    50 |  8680k| 200.5 |   122M |  40 |1692 |5310 |1051 | 114 |  1 |  37k|  35 | 0.000000e+00 |      --      |    Inf | unknown
926.96/929.53	c   930s|   200 |    59 |  8758k| 201.8 |   122M |  40 |1692 |5329 |1055 | 181 |  1 |  37k|  35 | 0.000000e+00 |      --      |    Inf | unknown
928.75/931.30	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
928.75/931.30	c   931s|   300 |    59 |  8775k| 201.8 |   122M |  40 |1692 |5370 |1057 | 240 |  1 |  37k|  35 | 0.000000e+00 |      --      |    Inf | unknown
930.65/933.20	c   933s|   400 |    65 |  8794k| 201.8 |   122M |  40 |1692 |5391 |1055 | 280 |  0 |  37k|  35 | 0.000000e+00 |      --      |    Inf | unknown
931.84/934.49	c   934s|   500 |    69 |  8807k| 201.6 |   122M |  40 |1692 |5421 |1055 | 301 |  1 |  37k|  35 | 0.000000e+00 |      --      |    Inf | unknown
933.14/935.74	c   936s|   600 |    69 |  8819k| 201.4 |   122M |  40 |1692 |5478 |1057 | 334 |  1 |  37k|  35 | 0.000000e+00 |      --      |    Inf | unknown
934.74/937.30	c   937s|   700 |    65 |  8835k| 201.3 |   122M |  40 |1692 |5479 |1058 | 356 |  0 |  37k|  35 | 0.000000e+00 |      --      |    Inf | unknown
936.23/938.82	c   939s|   800 |    75 |  8850k| 201.2 |   122M |  40 |1692 |5539 |1059 | 388 |  1 |  37k|  35 | 0.000000e+00 |      --      |    Inf | unknown
938.73/941.31	c   941s|   900 |    84 |  8876k| 201.3 |   122M |  40 |1692 |5602 |1059 | 429 |  0 |  38k|  35 | 0.000000e+00 |      --      |    Inf | unknown
939.92/942.51	c   943s|  1000 |    84 |  8887k| 201.1 |   122M |  43 |1692 |5629 |1053 | 462 |  0 |  38k|  35 | 0.000000e+00 |      --      |    Inf | unknown
941.42/944.09	c   944s|  1100 |    84 |  8902k| 201.0 |   122M |  43 |1692 |5757 |1059 | 499 |  0 |  38k|  35 | 0.000000e+00 |      --      |    Inf | unknown
942.82/945.46	c   945s|  1200 |    83 |  8916k| 200.8 |   122M |  43 |1692 |5843 |1059 | 549 |  1 |  38k|  35 | 0.000000e+00 |      --      |    Inf | unknown
944.42/947.02	c   947s|  1300 |    82 |  8931k| 200.7 |   122M |  43 |1692 |5891 |1066 | 603 |  1 |  38k|  35 | 0.000000e+00 |      --      |    Inf | unknown
945.81/948.49	c   948s|  1400 |    81 |  8946k| 200.6 |   122M |  43 |1692 |5993 |1054 | 610 |  1 |  38k|  35 | 0.000000e+00 |      --      |    Inf | unknown
947.51/950.11	c   950s|  1500 |    79 |  8962k| 200.5 |   122M |  43 |1692 |6035 |1064 | 650 |  1 |  38k|  35 | 0.000000e+00 |      --      |    Inf | unknown
948.70/951.38	c   951s|  1600 |    82 |  8973k| 200.3 |   122M |  43 |1692 |6124 |1058 | 715 |  1 |  38k|  35 | 0.000000e+00 |      --      |    Inf | unknown
950.30/952.94	c   953s|  1700 |    85 |  8987k| 200.2 |   122M |  43 |1692 |6149 |1060 | 814 |  0 |  38k|  35 | 0.000000e+00 |      --      |    Inf | unknown
951.59/954.20	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
951.59/954.20	c   954s|  1800 |    86 |  8999k| 200.0 |   122M |  43 |1692 |6207 |1066 | 869 |  0 |  39k|  35 | 0.000000e+00 |      --      |    Inf | unknown
953.39/956.10	c   956s|  1900 |    83 |  9019k| 200.0 |   122M |  43 |1692 |6255 |1061 | 918 |  1 |  39k|  35 | 0.000000e+00 |      --      |    Inf | unknown
955.18/957.81	c   958s|  2000 |    78 |  9037k| 200.0 |   122M |  43 |1692 |6234 |1061 | 955 |  0 |  39k|  35 | 0.000000e+00 |      --      |    Inf | unknown
956.68/959.34	c   959s|  2100 |    79 |  9051k| 199.8 |   122M |  43 |1692 |6262 |1060 | 973 |  1 |  39k|  35 | 0.000000e+00 |      --      |    Inf | unknown
958.67/961.31	c   961s|  2200 |    81 |  9072k| 199.9 |   122M |  43 |1692 |6254 |1061 |1046 |  1 |  39k|  35 | 0.000000e+00 |      --      |    Inf | unknown
960.07/962.76	c   963s|  2300 |    83 |  9087k| 199.7 |   122M |  43 |1692 |6394 |1059 |1097 |  1 |  39k|  35 | 0.000000e+00 |      --      |    Inf | unknown
960.87/963.56	c   964s|  2400 |    77 |  9094k| 199.5 |   122M |  43 |1692 |6401 |1059 |1127 |  0 |  39k|  35 | 0.000000e+00 |      --      |    Inf | unknown
961.86/964.55	c   965s|  2500 |    77 |  9104k| 199.3 |   122M |  43 |1692 |6395 |1059 |1137 |  0 |  39k|  35 | 0.000000e+00 |      --      |    Inf | unknown
962.66/965.38	c   965s|  2600 |    79 |  9113k| 199.0 |   122M |  43 |1692 |6376 |1059 |1158 |  1 |  39k|  35 | 0.000000e+00 |      --      |    Inf | unknown
964.16/966.85	c   967s|  2700 |    75 |  9129k| 198.9 |   122M |  43 |1692 |6370 |1059 |1195 |  0 |  39k|  35 | 0.000000e+00 |      --      |    Inf | unknown
965.25/967.92	c   968s|  2800 |    83 |  9140k| 198.7 |   122M |  43 |1692 |6388 |1065 |1260 |  1 |  39k|  35 | 0.000000e+00 |      --      |    Inf | unknown
965.65/968.38	c * 968s|  2876 |     0 |  9142k| 198.4 |    LP  |  46 |1692 |6447 |1066 |1307 |  3 |  39k|  35 | 0.000000e+00 | 0.000000e+00 |   0.00%| 100.00%
965.65/968.38	c 
965.65/968.38	c SCIP Status        : problem is solved [optimal solution found]
965.65/968.38	c Solving Time (sec) : 968.38
965.65/968.38	c Solving Nodes      : 2876 (total of 45863 nodes in 2 runs)
965.65/968.38	c Primal Bound       : +0.00000000000000e+00 (1 solutions)
965.65/968.38	c Dual Bound         : +0.00000000000000e+00
965.65/968.38	c Gap                : 0.00 %
965.65/968.38	s SATISFIABLE
965.65/968.38	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28
965.65/968.38	v x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54
965.65/968.38	v -x55 -x56 x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80
965.65/968.38	v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 x100 -x101 -x102 -x103 -x104 -x105
965.65/968.38	v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 x127
965.65/968.38	v -x128 -x129 -x130 x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149
965.65/968.38	v -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 x169 -x170 -x171
965.65/968.38	v -x172 -x173 -x174 -x175 x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193
965.65/968.38	v -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215
965.65/968.38	v -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237
965.65/968.38	v -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259
965.65/968.38	v -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281
965.65/968.38	v -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303
965.65/968.38	v -x304 -x305 -x306 -x307 -x308 -x309 -x310 x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325
965.65/968.38	v -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 x341 -x342 -x343 -x344 -x345 -x346 -x347
965.65/968.38	v -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 x367 -x368 -x369
965.65/968.38	v -x370 -x371 -x372 x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391
965.65/968.38	v -x392 -x393 -x394 -x395 -x396 -x397 -x398 x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413
965.65/968.38	v -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 x430 -x431 -x432 -x433 -x434 -x435
965.65/968.38	v -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457
965.65/968.38	v x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479
965.65/968.38	v -x480 -x481 -x482 -x483 -x484 x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501
965.65/968.38	v -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 x519 -x520 -x521 -x522 -x523
965.65/968.38	v -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 x541 -x542 -x543 -x544 -x545
965.65/968.38	v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 x562 -x563 x564 -x565 -x566 -x567
965.65/968.38	v -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589
965.65/968.38	v -x590 -x591 -x592 -x593 -x594 -x595 x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611
965.65/968.38	v -x612 x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 x633
965.65/968.38	v -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655
965.65/968.38	v -x656 -x657 -x658 -x659 -x660 -x661 -x662 x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677
965.65/968.38	v -x678 -x679 -x680 x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699
965.65/968.38	v -x700 x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 x719 -x720 -x721
965.65/968.38	v -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 x742 -x743
965.65/968.38	v -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 x759 -x760 -x761 -x762 -x763 -x764 -x765
965.65/968.38	v -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787
965.65/968.38	v -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809
965.65/968.38	v -x810 x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 x825 -x826 -x827 -x828 -x829 -x830 -x831
965.65/968.38	v -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853
965.65/968.38	v -x854 -x855 -x856 -x857 -x858 x859 -x860 -x861 -x862 -x863 x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875
965.65/968.38	v -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897
965.65/968.38	v -x898 -x899 x900 -x901 -x902 -x903 x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919
965.65/968.38	v -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 x941
965.65/968.38	v -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963
965.65/968.38	v -x964 -x965 -x966 -x967 -x968 -x969 x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985
965.65/968.38	v -x986 x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006
965.65/968.38	v -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025
965.65/968.38	v -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044
965.65/968.38	v -x1045 -x1046 -x1047 -x1048 -x1049 x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063
965.65/968.38	v -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082
965.65/968.38	v -x1083 -x1084 -x1085 x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101
965.65/968.38	v -x1102 -x1103 x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120
965.65/968.38	v -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139
965.65/968.38	v -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 x1153 -x1154 -x1155 -x1156 -x1157 -x1158
965.65/968.38	v -x1159 -x1160 -x1161 x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177
965.65/968.38	v -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196
965.65/968.38	v -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215
965.65/968.38	v -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234
965.65/968.38	v -x1235 -x1236 -x1237 -x1238 -x1239 x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253
965.65/968.38	v -x1254 -x1255 -x1256 -x1257 x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272
965.65/968.38	v -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291
965.65/968.38	v -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310
965.65/968.38	v -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329
965.65/968.38	v -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 x1344 -x1345 -x1346 -x1347 -x1348
965.65/968.38	v -x1349 -x1350 -x1351 x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367
965.65/968.38	v -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386
965.65/968.38	v -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405
965.65/968.38	v -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424
965.65/968.38	v -x1425 -x1426 x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443
965.65/968.38	v -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462
965.65/968.38	v -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481
965.65/968.38	v -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500
965.65/968.38	v -x1501 x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519
965.65/968.38	v -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 x1536 -x1537 -x1538
965.65/968.38	v -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 x1547 x1548 -x1549 x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 x1557
965.65/968.38	v x1558 x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 x1568 -x1569 -x1570 x1571 -x1572 -x1573 -x1574 x1575 x1576 -x1577
965.65/968.38	v -x1578 x1579 -x1580 -x1581 x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 x1589 -x1590 -x1591 x1592 -x1593 -x1594 -x1595 -x1596
965.65/968.38	v x1597 x1598 -x1599 -x1600 x1601 -x1602 -x1603 -x1604 -x1605 x1606 -x1607 -x1608 -x1609 x1610 -x1611 -x1612 x1613 -x1614 -x1615 x1616
965.65/968.38	v -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 x1624 x1625 x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 x1633 -x1634 x1635
965.65/968.38	v -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 x1645 x1646 x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 x1654
965.65/968.38	v -x1655 -x1656 -x1657 -x1658 -x1659 x1660 -x1661 x1662 -x1663 -x1664 -x1665 -x1666 x1667 x1668 -x1669 -x1670 -x1671 -x1672 -x1673
965.65/968.38	v -x1674 -x1675 -x1676 -x1677 -x1678 x1679 -x1680 x1681 -x1682 -x1683 x1684 -x1685 -x1686 -x1687 -x1688 x1689 -x1690 -x1691 -x1692
965.65/968.38	v x1693 -x1694 -x1695 -x1696 x1697 -x1698 x1699 -x1700 -x1701 -x1702 -x1703 x1704 -x1705 -x1706 x1707 -x1708 -x1709 x1710 -x1711 -x1712
965.65/968.38	v -x1713 x1714 -x1715 x1716 -x1717 -x1718 x1719 -x1720 -x1721 x1722 x1723 x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732
965.65/968.38	v -x1733 x1734 -x1735 -x1736 -x1737
965.65/968.38	c SCIP Status        : problem is solved [optimal solution found]
965.65/968.38	c Total Time         :     968.38
965.65/968.38	c   solving          :     968.38
965.65/968.38	c   presolving       :       0.66 (included in solving)
965.65/968.38	c   reading          :       0.01 (included in solving)
965.65/968.38	c   copying          :       0.44 (43 #copies) (minimal 0.00, maximal 0.03, average 0.01)
965.65/968.38	c Original Problem   :
965.65/968.38	c   Problem name     : HOME/instance-4503179-1751169526.opb
965.65/968.38	c   Variables        : 1737 (1737 binary, 0 integer, 0 continuous)
965.65/968.38	c   implied integral : 0 (0 binary, 0 integer, 0 continuous)
965.65/968.38	c   Constraints      : 1041 initial, 1041 maximal
965.65/968.38	c   Objective        : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
965.65/968.38	c Presolved Problem  :
965.65/968.38	c   Problem name     : t_HOME/instance-4503179-1751169526.opb
965.65/968.38	c   Variables        : 1692 (1692 binary, 0 integer, 0 continuous)
965.65/968.38	c   implied integral : 0 (0 binary, 0 integer, 0 continuous)
965.65/968.38	c   Constraints      : 5450 initial, 6447 maximal
965.65/968.38	c   Objective        : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
965.65/968.38	c   Nonzeros         : 173383 constraint, 13832 clique table
965.65/968.38	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
965.65/968.38	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
965.65/968.38	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
965.65/968.38	c   domcol           :       0.00       0.00      2          0          0          0          0          0          0          0          0          0
965.65/968.38	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
965.65/968.38	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
965.65/968.38	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
965.65/968.38	c   dualsparsify     :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
965.65/968.38	c   gateextraction   :       0.02       0.00      7          0          0          0          0          0          0          0          0          0
965.65/968.38	c   implics          :       0.00       0.00     13          0          0          0          0          0          0          0          0          0
965.65/968.38	c   implint          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
965.65/968.38	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
965.65/968.38	c   milp             :       0.01       0.00      1          0          0          0          0          0          0          0          0          0
965.65/968.38	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
965.65/968.38	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
965.65/968.38	c   sparsify         :       0.01       0.00      1          0          0          0          0          0          0          0          0          0
965.65/968.38	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
965.65/968.38	c   trivial          :       0.00       0.00     14          0          0          0          0          0          0          0          0          0
965.65/968.38	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
965.65/968.38	c   dualfix          :       0.00       0.00     14          0          0          0          0          0          0          0          0          0
965.65/968.38	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
965.65/968.38	c   probing          :       0.01       0.00      1          0          0          0          0          0          0          0          0          0
965.65/968.38	c   pseudoobj        :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
965.65/968.38	c   symmetry         :       0.02       0.00      1          0          0          0          0          0          0          0          0          0
965.65/968.38	c   vbounds          :       0.00       0.00      2          0          0          0          0          0          0          0          0          0
965.65/968.38	c   knapsack         :       0.02       0.00     32          0          0          0          0          0          0          0          0          0
965.65/968.38	c   setppc           :       0.01       0.00     32         24         21          0          0          0        148          0         21         21
965.65/968.38	c   linear           :       0.02       0.00     23          0          0          0          0          0         53          0         53          0
965.65/968.38	c   logicor          :       0.44       0.08     19          0          0          0          0          0       1590          0          0       3501
965.65/968.38	c   components       :       0.02       0.00      2          0          0          0          0          0          0          0          0          0
965.65/968.38	c   root node        :          -          -      -          0          -          -          0          -          -          -          -          -
965.65/968.38	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
965.65/968.38	c   integral         :          0          0          0          0      23343          0          0       2491          0          0          0          0          0          0      46684
965.65/968.38	c   knapsack         :        167+       188         22     175327          1          0          0       2484     431423        125     142533          0          0          0          0
965.65/968.38	c   setppc           :       1005+      1055         22     175202          1          0          0         27    2762276        808    1000175          0          0          0          0
965.65/968.38	c   linear           :         89         89         23     174391          1          0          0          3     311526        355     137585          1          1          0          0
965.65/968.38	c   logicor          :       4189+      5124         22      76076          0          0          0          0      49789        310      39980          4          3          0          0
965.65/968.38	c   fixedvar         :          0          0          0          0          1          0          0          2          0          0          0          0          0          0          0
965.65/968.38	c   countsols        :          0          0          0          0          1          0          0          2          0          0          0          0          0          0          0
965.65/968.38	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
965.65/968.38	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
965.65/968.38	c   integral         :       5.40       0.00       0.00       0.00       5.40       0.00       0.00       0.00       0.00       0.00
965.65/968.38	c   knapsack         :       1.26       0.00       0.03       0.92       0.00       0.00       0.00       0.04       0.27       0.00
965.65/968.38	c   setppc           :       2.82       0.00       0.00       2.37       0.00       0.00       0.00       0.00       0.44       0.00
965.65/968.38	c   linear           :       1.12       0.00       0.00       0.81       0.00       0.00       0.00       0.00       0.30       0.00
965.65/968.38	c   logicor          :       1.73       0.08       0.02       1.53       0.00       0.00       0.00       0.00       0.10       0.00
965.65/968.38	c   fixedvar         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
965.65/968.38	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
965.65/968.38	c   components       :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
965.65/968.38	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
965.65/968.38	c   dualfix          :          2          0          0          0
965.65/968.38	c   genvbounds       :          0          0          0          0
965.65/968.38	c   nlobbt           :          0          0          0          0
965.65/968.38	c   obbt             :          0          0          0          0
965.65/968.38	c   probing          :          0          0          0          0
965.65/968.38	c   pseudoobj        :          0          0          0          0
965.65/968.38	c   redcost          :          0          0          0          0
965.65/968.38	c   rootredcost      :          0          0          0          0
965.65/968.38	c   symmetry         :     156910          0          0        290
965.65/968.38	c   vbounds          :     111983          0          0          0
965.65/968.38	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
965.65/968.38	c   dualfix          :       0.00       0.00       0.00       0.00       0.00       0.00
965.65/968.38	c   genvbounds       :       0.00       0.00       0.00       0.00       0.00       0.00
965.65/968.38	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
965.65/968.38	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
965.65/968.38	c   probing          :       0.01       0.00       0.01       0.00       0.00       0.00
965.65/968.38	c   pseudoobj        :       0.04       0.00       0.00       0.04       0.00       0.00
965.65/968.38	c   redcost          :       0.01       0.00       0.00       0.01       0.00       0.00
965.65/968.38	c   rootredcost      :       0.02       0.00       0.00       0.02       0.00       0.00
965.65/968.38	c   symmetry         :       6.64       0.00       0.02       6.62       0.00       0.00
965.65/968.38	c   vbounds          :       0.44       0.00       0.00       0.44       0.00       0.00
965.65/968.38	c Symmetry           :
965.65/968.38	c   #affected vars   :       1692 (1692 bin, 0 int, 0 cont)
965.65/968.38	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
965.65/968.38	c   orbital reduction:        290 reductions applied,          0 cutoffs
965.65/968.38	c   lexicographic red:          0 reductions applied,          0 cutoffs
965.65/968.38	c   shadow tree time :       0.06 s
965.65/968.38	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
965.65/968.38	c   propagation      :       0.36       1498       1494          -      21209      126.2        418       35.8          -          -          -
965.65/968.38	c   infeasible LP    :      17.82      21452       6934          -     160088      291.2        561       37.0        365      193.7          0
965.65/968.38	c   bound exceed. LP :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
965.65/968.38	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
965.65/968.38	c   pseudo solution  :       0.00          1          1          -          1        0.0          0        0.0          -          -          -
965.65/968.38	c   applied globally :       2.98          -          -          0      39358       49.5          -          -        361          -          -
965.65/968.38	c   applied locally  :          -          -          -          0         51      338.8          -          -          4          -          -
965.65/968.38	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
965.65/968.38	c   cut pool         :       1.32          -       4921         42          -          -      11661      94014          -          -          -          -          -    (maximal pool size:        818)
965.65/968.38	c   aggregation      :       1.18       0.00       2214         22          0          0          0          0          0          0          0          0          0
965.65/968.38	c   > cmir           :          -          -          -          -          -          -          -          0          0          0          0          0          -
965.65/968.38	c   > flowcover      :          -          -          -          -          -          -          -          0          0          0          0          0          -
965.65/968.38	c   > knapsackcover  :          -          -          -          -          -          -          -          0          0          0          0          0          -
965.65/968.38	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
965.65/968.38	c   clique           :       0.05       0.00         22         22          0          0        175        438          0        271        271          0          0
965.65/968.38	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
965.65/968.38	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
965.65/968.38	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
965.65/968.38	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
965.65/968.38	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
965.65/968.38	c   gomory           :      31.03       0.00       2212         20          0          0      13380      91127       1972      18657      18455        202          0
965.65/968.38	c   > gomorymi       :          -          -          -          -          -          -          -       5010        986        497        394        103          -
965.65/968.38	c   > strongcg       :          -          -          -          -          -          -          -      86117        986      18160      18061         99          -
965.65/968.38	c   impliedbounds    :       0.07       0.00       2214         22          0          0          0          0          0          0          0          0          0
965.65/968.38	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
965.65/968.38	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
965.65/968.38	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
965.65/968.38	c   mcf              :       0.00       0.00          2          2          0          0          0          0          0          0          0          0          0
965.65/968.38	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
965.65/968.38	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
965.65/968.38	c   multilinear      :       0.00       0.00         53         22          0          0          0          0          0          0          0          0          0
965.65/968.38	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
965.65/968.38	c   rapidlearning    :       2.59       0.00         37          2          0        142          0          0          0          0          0          0        151
965.65/968.38	c   rlt              :       0.00       0.00         20         20          0          0          0          0          0          0          0          0          0
965.65/968.38	c   zerohalf         :      18.42       0.00       2214         22          0          0       7037       2449       6959       8092       1717       6375          0
965.65/968.38	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
965.65/968.38	c   hybrid           :       0.22       0.00       3739         22      27023          2      75927        193          0        122
965.65/968.38	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
965.65/968.38	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
965.65/968.38	c Pricers            :   ExecTime  SetupTime      Calls       Vars
965.65/968.38	c   problem variables:       0.00          -          0          0
965.65/968.38	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
965.65/968.38	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
965.65/968.38	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
965.65/968.38	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
965.65/968.38	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
965.65/968.38	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
965.65/968.38	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
965.65/968.38	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
965.65/968.38	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
965.65/968.38	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
965.65/968.38	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
965.65/968.38	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
965.65/968.38	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
965.65/968.38	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
965.65/968.38	c   relpscost        :       5.37       0.00      23342          0          0          0          0          0          0      46684
965.65/968.38	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
965.65/968.38	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
965.65/968.38	c   LP solutions     :       0.00          -          -          1          1
965.65/968.38	c   relax solutions  :       0.00          -          -          0          0
965.65/968.38	c   pseudo solutions :       0.00          -          -          0          0
965.65/968.38	c   strong branching :       0.00          -          -          0          0
965.65/968.38	c   actconsdiving    :       0.00       0.00          0          0          0
965.65/968.38	c   adaptivediving   :       4.70       0.00         19          0          0
965.65/968.38	c   alns             :       6.07       0.00          9          0          0
965.65/968.38	c   bound            :       0.00       0.00          0          0          0
965.65/968.38	c   clique           :       0.01       0.00          1          0          0
965.65/968.38	c   coefdiving       :       0.00       0.00          0          0          0
965.65/968.38	c   completesol      :       0.00       0.00          0          0          0
965.65/968.38	c   conflictdiving   :      23.35       0.00         18          0          0
965.65/968.38	c   crossover        :       0.01       0.00          0          0          0
965.65/968.38	c   dins             :       0.00       0.00          0          0          0
965.65/968.38	c   distributiondivin:      16.33       0.00         18          0          0
965.65/968.38	c   dks              :       0.00       0.00          0          0          0
965.65/968.38	c   dps              :       0.00       0.00          0          0          0
965.65/968.38	c   dualval          :       0.00       0.00          0          0          0
965.65/968.38	c   farkasdiving     :       0.00       0.00          0          0          0
965.65/968.38	c   feaspump         :       2.70       0.00          9          0          0
965.65/968.38	c   fixandinfer      :       0.00       0.00          0          0          0
965.65/968.38	c   fracdiving       :      13.55       0.00         18          0          0
965.65/968.38	c   gins             :       0.01       0.00          0          0          0
965.65/968.38	c   guideddiving     :       0.00       0.00          0          0          0
965.65/968.38	c   indicator        :       0.00       0.00          0          0          0
965.65/968.38	c   indicatordiving  :       0.00       0.00          0          0          0
965.65/968.38	c   intdiving        :       0.00       0.00          0          0          0
965.65/968.38	c   intshifting      :       0.00       0.00          0          0          0
965.65/968.38	c   linesearchdiving :      10.67       0.00         18          0          0
965.65/968.38	c   localbranching   :       0.00       0.00          0          0          0
965.65/968.38	c   locks            :       0.01       0.00          1          0          0
965.65/968.38	c   lpface           :       0.03       0.00          0          0          0
965.65/968.38	c   mpec             :       0.00       0.00          0          0          0
965.65/968.38	c   multistart       :       0.00       0.00          0          0          0
965.65/968.38	c   mutation         :       0.00       0.00          0          0          0
965.65/968.38	c   nlpdiving        :       0.00       0.00          0          0          0
965.65/968.38	c   objpscostdiving  :      12.65       0.00          9          0          0
965.65/968.38	c   octane           :       0.00       0.00          0          0          0
965.65/968.38	c   ofins            :       0.00       0.00          0          0          0
965.65/968.38	c   oneopt           :       0.01       0.00          0          0          0
965.65/968.38	c   padm             :       0.00       0.00          0          0          0
965.65/968.38	c   proximity        :       0.00       0.00          0          0          0
965.65/968.38	c   pscostdiving     :       3.10       0.00         18          0          0
965.65/968.38	c   randrounding     :       0.29       0.00       2499          0          0
965.65/968.38	c   rens             :       0.89       0.00          2          0          0
965.65/968.38	c   reoptsols        :       0.00       0.00          0          0          0
965.65/968.38	c   repair           :       0.00       0.00          0          0          0
965.65/968.38	c   rins             :       0.01       0.00          0          0          0
965.65/968.38	c   rootsoldiving    :       5.51       0.00          9          0          0
965.65/968.38	c   rounding         :       0.34       0.00       2274          0          0
965.65/968.38	c   scheduler        :       0.00       0.00          0          0          0
965.65/968.38	c   shiftandpropagate:       0.02       0.00          2          0          0
965.65/968.38	c   shifting         :       0.36       0.00        922          0          0
965.65/968.38	c   simplerounding   :       0.01       0.00          0          0          0
965.65/968.38	c   subnlp           :       0.00       0.00          0          0          0
965.65/968.38	c   trivial          :       0.00       0.00          4          0          0
965.65/968.38	c   trivialnegation  :       0.00       0.00          0          0          0
965.65/968.38	c   trustregion      :       0.00       0.00          0          0          0
965.65/968.38	c   trysol           :       0.01       0.00          0          0          0
965.65/968.38	c   twoopt           :       0.00       0.00          0          0          0
965.65/968.38	c   undercover       :       0.00       0.00          0          0          0
965.65/968.38	c   vbounds          :       0.01       0.00          2          0          0
965.65/968.38	c   veclendiving     :      10.80       0.00         18          0          0
965.65/968.38	c   zeroobj          :       0.00       0.00          0          0          0
965.65/968.38	c   zirounding       :       0.05       0.00       1000          0          0
965.65/968.38	c   other solutions  :          -          -          -          0          -
965.65/968.38	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
965.65/968.38	c   rens             :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
965.65/968.38	c   rins             :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
965.65/968.38	c   mutation         :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
965.65/968.38	c   localbranching   :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
965.65/968.38	c   crossover        :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
965.65/968.38	c   proximity        :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
965.65/968.38	c   dins             :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
965.65/968.38	c   zeroobjective    :          0       0.00       0.00          0          0          0    0.00000    0.00000   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    0
965.65/968.38	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
965.65/968.38	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
965.65/968.38	c   primal LP        :       2.51       2377          0       0.00       0.00       2.51       2377
965.65/968.38	c   dual LP          :     744.01      48407    8191307     169.82   11009.70       0.08        173
965.65/968.38	c   lex dual LP      :       0.00          0          0       0.00          -
965.65/968.38	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
965.65/968.38	c   resolve instable :       0.00          0          0       0.00          -
965.65/968.38	c   diving/probing LP:      99.93       3030     951446     314.01    9521.35
965.65/968.38	c   strong branching :       3.56         35      20051     572.89    5625.10          -          -         34
965.65/968.38	c     (at root node) :          -         35      20051     572.89          -
965.65/968.38	c   conflict analysis:       0.00          0          0       0.00          -
965.65/968.38	c Relaxators         :       Time      Calls    Cutoffs ImprBounds   ImprTime ReducedDom  Separated AddedConss
965.65/968.38	c   benders          :       0.00          0          0          0       0.00          0          0          0
965.65/968.38	c B&B Tree           :
965.65/968.38	c   number of runs   :          2
965.65/968.38	c   nodes            :       2876 (1511 internal, 1365 leaves)
965.65/968.38	c   feasible leaves  :          1
965.65/968.38	c   infeas. leaves   :       1364
965.65/968.38	c   objective leaves :          0
965.65/968.38	c   nodes (total)    :      45863 (23342 internal, 22521 leaves)
965.65/968.38	c   nodes left       :          0
965.65/968.38	c   max depth        :         46
965.65/968.38	c   max depth (total):         57
965.65/968.38	c   backtracks       :        632 (22.0%)
965.65/968.38	c   early backtracks :          0 (0.0%)
965.65/968.38	c   nodes exc. ref.  :          0 (0.0%)
965.65/968.38	c   delayed cutoffs  :         66
965.65/968.38	c   repropagations   :       1264 (9892 domain reductions, 43 cutoffs)
965.65/968.38	c   avg switch length:       3.49
965.65/968.38	c   switching time   :       7.44
965.65/968.38	c Root Node          :
965.65/968.38	c   First LP value   : +0.00000000000000e+00
965.65/968.38	c   First LP Iters   :      11736 (10042.22 Iter/sec)
965.65/968.38	c   First LP Time    :       1.17
965.65/968.38	c   Final Dual Bound :          -
965.65/968.38	c   Final Root Iters :      41641
965.65/968.38	c   Root LP Estimate : +4.36710359773675e-02
965.65/968.38	c Solution           :
965.65/968.38	c   Solutions found  :          1 (1 improvements)
965.65/968.38	c   First Solution   : +0.00000000000000e+00   (in run 2, after 2876 nodes, 968.38 seconds, depth 40, found by <relaxation>)
965.65/968.38	c   Gap First Sol.   :       0.00 %
965.65/968.38	c   Gap Last Sol.    :       0.00 %
965.65/968.38	c   Primal Bound     : +0.00000000000000e+00   (in run 2, after 2876 nodes, 968.38 seconds, depth 40, found by <relaxation>)
965.65/968.38	c   Dual Bound       : +0.00000000000000e+00
965.65/968.38	c   Gap              :       0.00 %
965.65/968.38	c Integrals          :      Total       Avg%
965.65/968.38	c   primal-dual      :   96838.07     100.00
965.65/968.38	c   primal-ref       :          -          - (not evaluated)
965.65/968.38	c   dual-ref         :          -          - (not evaluated)
965.75/968.41	c Time complete (sec):    965.776

Verifier Data 

OK	0

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (63011 MiB free)
  memory of node 1: 64465 MiB (63949 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100057 s]*
/proc/loadavg: 0.94 1.08 1.71 5/265 28978
/proc/meminfo: memFree=129934756/131249992 swapFree=33010684/33010684
[pid=28965] ppid=28959 vsize=57876 memory=42880 CPUtime=0.1 cores=5,7
/proc/28965/stat : 28965 (pbsolver) R 28959 28965 28908 0 -1 4194304 9343 0 0 0 9 1 0 0 20 0 1 0 32631429 59265024 10688 18446744073709551615 4198400 14743177 140730964665104 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 49041408 140730964670858 140730964670954 140730964670954 140730964676556 0
/proc/28965/statm: 14469 10720 2624 2575 0 11376 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 57876 KiB
Current children cumulated memory: 42880 KiB

[startup+0.205581 s]*
/proc/loadavg: 0.94 1.08 1.71 5/265 28978
/proc/meminfo: memFree=129850532/131249992 swapFree=33010684/33010684
[pid=28965] ppid=28959 vsize=61880 memory=46848 CPUtime=0.2 cores=5,7
/proc/28965/stat : 28965 (pbsolver) R 28959 28965 28908 0 -1 4194304 10354 0 0 0 19 1 0 0 20 0 1 0 32631429 63365120 11712 18446744073709551615 4198400 14743177 140730964665104 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 49041408 140730964670858 140730964670954 140730964670954 140730964676556 0
/proc/28965/statm: 15470 11712 2656 2575 0 12377 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 61880 KiB
Current children cumulated memory: 46848 KiB

[startup+0.305495 s]*
/proc/loadavg: 0.94 1.08 1.71 5/265 28978
/proc/meminfo: memFree=129794336/131249992 swapFree=33010684/33010684
[pid=28965] ppid=28959 vsize=61880 memory=46976 CPUtime=0.3 cores=5,7
/proc/28965/stat : 28965 (pbsolver) R 28959 28965 28908 0 -1 4194304 10360 0 0 0 29 1 0 0 20 0 1 0 32631429 63365120 11744 18446744073709551615 4198400 14743177 140730964665104 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 49041408 140730964670858 140730964670954 140730964670954 140730964676556 0
/proc/28965/statm: 15470 11744 2656 2575 0 12377 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 61880 KiB
Current children cumulated memory: 46976 KiB

[startup+0.700146 s]
/proc/loadavg: 0.94 1.08 1.71 5/265 28978
/proc/meminfo: memFree=129601196/131249992 swapFree=33010684/33010684
[pid=28965] ppid=28959 vsize=62012 memory=47104 CPUtime=0.69 cores=5,7
/proc/28965/stat : 28965 (pbsolver) R 28959 28965 28908 0 -1 4194304 10388 0 0 0 68 1 0 0 20 0 1 0 32631429 63500288 11776 18446744073709551615 4198400 14743177 140730964665104 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 49041408 140730964670858 140730964670954 140730964670954 140730964676556 0
/proc/28965/statm: 15503 11776 2656 2575 0 12410 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 62012 KiB
Current children cumulated memory: 47104 KiB

[startup+1.50017 s]
/proc/loadavg: 0.94 1.08 1.71 5/265 28978
/proc/meminfo: memFree=129316780/131249992 swapFree=33010684/33010684
[pid=28965] ppid=28959 vsize=63536 memory=48128 CPUtime=1.49 cores=5,7
/proc/28965/stat : 28965 (pbsolver) R 28959 28965 28908 0 -1 4194304 10654 0 0 0 148 1 0 0 20 0 1 0 32631429 65060864 12032 18446744073709551615 4198400 14743177 140730964665104 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 49041408 140730964670858 140730964670954 140730964670954 140730964676556 0
/proc/28965/statm: 15884 12032 2656 2575 0 12791 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 63536 KiB
Current children cumulated memory: 48128 KiB

[startup+3.10537 s]
/proc/loadavg: 1.18 1.13 1.72 5/265 28979
/proc/meminfo: memFree=128899652/131249992 swapFree=33010684/33010684
[pid=28965] ppid=28959 vsize=79488 memory=62964 CPUtime=3.09 cores=5,7
/proc/28965/stat : 28965 (pbsolver) R 28959 28965 28908 0 -1 4194304 15331 0 0 0 307 2 0 0 20 0 1 0 32631429 81395712 15741 18446744073709551615 4198400 14743177 140730964665104 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 49041408 140730964670858 140730964670954 140730964670954 140730964676556 0
/proc/28965/statm: 19872 15741 2688 2575 0 16779 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 79488 KiB
Current children cumulated memory: 62964 KiB

[startup+6.3001 s]
/proc/loadavg: 1.18 1.13 1.72 5/265 28979
/proc/meminfo: memFree=128884272/131249992 swapFree=33010684/33010684
[pid=28965] ppid=28959 vsize=79488 memory=63220 CPUtime=6.28 cores=5,7
/proc/28965/stat : 28965 (pbsolver) R 28959 28965 28908 0 -1 4194304 15385 0 0 0 626 2 0 0 20 0 1 0 32631429 81395712 15805 18446744073709551615 4198400 14743177 140730964665104 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 49041408 140730964670858 140730964670954 140730964670954 140730964676556 0
/proc/28965/statm: 19872 15805 2688 2575 0 16779 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 79488 KiB
Current children cumulated memory: 63220 KiB

[startup+12.7002 s]
/proc/loadavg: 1.78 1.26 1.76 5/265 28979
/proc/meminfo: memFree=128574932/131249992 swapFree=33010684/33010684
[pid=28965] ppid=28959 vsize=80620 memory=65652 CPUtime=12.66 cores=5,7
/proc/28965/stat : 28965 (pbsolver) R 28959 28965 28908 0 -1 4194304 15986 0 0 0 1264 2 0 0 20 0 1 0 32631429 82554880 16413 18446744073709551615 4198400 14743177 140730964665104 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 49041408 140730964670858 140730964670954 140730964670954 140730964676556 0
/proc/28965/statm: 20155 16413 2688 2575 0 17062 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 80620 KiB
Current children cumulated memory: 65652 KiB

[startup+25.5002 s]
/proc/loadavg: 2.12 1.35 1.78 5/265 28979
/proc/meminfo: memFree=128003068/131249992 swapFree=33010684/33010684
[pid=28965] ppid=28959 vsize=81412 memory=66656 CPUtime=25.42 cores=5,7
/proc/28965/stat : 28965 (pbsolver) R 28959 28965 28908 0 -1 4194304 18066 0 0 0 2540 2 0 0 20 0 1 0 32631429 83365888 16664 18446744073709551615 4198400 14743177 140730964665104 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 49041408 140730964670858 140730964670954 140730964670954 140730964676556 0
/proc/28965/statm: 20353 16664 2688 2575 0 17260 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 81412 KiB
Current children cumulated memory: 66656 KiB

[startup+51.1054 s]
/proc/loadavg: 2.76 1.56 1.84 5/265 28979
/proc/meminfo: memFree=127943484/131249992 swapFree=33010684/33010684
[pid=28965] ppid=28959 vsize=81412 memory=66656 CPUtime=50.96 cores=5,7
/proc/28965/stat : 28965 (pbsolver) R 28959 28965 28908 0 -1 4194304 18066 0 0 0 5094 2 0 0 20 0 1 0 32631429 83365888 16664 18446744073709551615 4198400 14743177 140730964665104 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 49041408 140730964670858 140730964670954 140730964670954 140730964676556 0
/proc/28965/statm: 20353 16664 2688 2575 0 17260 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 81412 KiB
Current children cumulated memory: 66656 KiB

[startup+102.3 s]
/proc/loadavg: 3.63 2.01 1.98 5/265 28981
/proc/meminfo: memFree=127908700/131249992 swapFree=33010684/33010684
[pid=28965] ppid=28959 vsize=85944 memory=71192 CPUtime=102.02 cores=5,7
/proc/28965/stat : 28965 (pbsolver) R 28959 28965 28908 0 -1 4194304 29498 0 0 0 10198 4 0 0 20 0 1 0 32631429 88006656 17798 18446744073709551615 4198400 14743177 140730964665104 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 49041408 140730964670858 140730964670954 140730964670954 140730964676556 0
/proc/28965/statm: 21486 17798 2688 2575 0 18393 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 85944 KiB
Current children cumulated memory: 71192 KiB

[startup+162.3 s]
/proc/loadavg: 3.92 2.39 2.12 5/265 28994
/proc/meminfo: memFree=127909912/131249992 swapFree=33010684/33010684
[pid=28965] ppid=28959 vsize=89660 memory=74908 CPUtime=161.83 cores=5,7
/proc/28965/stat : 28965 (pbsolver) R 28959 28965 28908 0 -1 4194304 32911 0 0 0 16178 5 0 0 20 0 1 0 32631429 91811840 18727 18446744073709551615 4198400 14743177 140730964665104 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 49041408 140730964670858 140730964670954 140730964670954 140730964676556 0
/proc/28965/statm: 22415 18727 2688 2575 0 19322 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 89660 KiB
Current children cumulated memory: 74908 KiB

[startup+222.3 s]
/proc/loadavg: 4.01 2.70 2.24 5/265 28996
/proc/meminfo: memFree=127372512/131249992 swapFree=33010684/33010684
[pid=28965] ppid=28959 vsize=97116 memory=87580 CPUtime=221.64 cores=5,7
/proc/28965/stat : 28965 (pbsolver) R 28959 28965 28908 0 -1 4194304 34849 0 0 0 22159 5 0 0 20 0 1 0 32631429 99446784 21895 18446744073709551615 4198400 14743177 140730964665104 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 49041408 140730964670858 140730964670954 140730964670954 140730964676556 0
/proc/28965/statm: 24279 21895 2688 2575 0 21186 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 97116 KiB
Current children cumulated memory: 87580 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 2.97 2.37 5/265 28998
/proc/meminfo: memFree=127333652/131249992 swapFree=33010684/33010684
[pid=28965] ppid=28959 vsize=124304 memory=113052 CPUtime=281.49 cores=5,7
/proc/28965/stat : 28965 (pbsolver) R 28959 28965 28908 0 -1 4194304 41320 0 0 0 28142 7 0 0 20 0 1 0 32631429 127287296 28263 18446744073709551615 4198400 14743177 140730964665104 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 49041408 140730964670858 140730964670954 140730964670954 140730964676556 0
/proc/28965/statm: 31076 28263 2688 2575 0 27983 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 124304 KiB
Current children cumulated memory: 113052 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 3.17 2.47 5/264 29000
/proc/meminfo: memFree=127220776/131249992 swapFree=33010684/33010684
[pid=28965] ppid=28959 vsize=133148 memory=123420 CPUtime=341.32 cores=5,7
/proc/28965/stat : 28965 (pbsolver) R 28959 28965 28908 0 -1 4194304 43905 0 0 0 34125 7 0 0 20 0 1 0 32631429 136343552 30855 18446744073709551615 4198400 14743177 140730964665104 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 49041408 140730964670858 140730964670954 140730964670954 140730964676556 0
/proc/28965/statm: 33287 30855 2688 2575 0 30194 0
Current children cumulated CPU time: 341.32 s
Current children cumulated vsize: 133148 KiB
Current children cumulated memory: 123420 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 3.36 2.58 5/264 29002
/proc/meminfo: memFree=127157444/131249992 swapFree=33010684/33010684
[pid=28965] ppid=28959 vsize=133148 memory=123420 CPUtime=401.16 cores=5,7
/proc/28965/stat : 28965 (pbsolver) R 28959 28965 28908 0 -1 4194304 43934 0 0 0 40109 7 0 0 20 0 1 0 32631429 136343552 30855 18446744073709551615 4198400 14743177 140730964665104 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 49041408 140730964670858 140730964670954 140730964670954 140730964676556 0
/proc/28965/statm: 33287 30855 2688 2575 0 30194 0
Current children cumulated CPU time: 401.16 s
Current children cumulated vsize: 133148 KiB
Current children cumulated memory: 123420 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 3.49 2.68 5/264 29005
/proc/meminfo: memFree=127170648/131249992 swapFree=33010684/33010684
[pid=28965] ppid=28959 vsize=133148 memory=123420 CPUtime=461 cores=5,7
/proc/28965/stat : 28965 (pbsolver) R 28959 28965 28908 0 -1 4194304 43961 0 0 0 46092 8 0 0 20 0 1 0 32631429 136343552 30855 18446744073709551615 4198400 14743177 140730964665104 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 49041408 140730964670858 140730964670954 140730964670954 140730964676556 0
/proc/28965/statm: 33287 30855 2688 2575 0 30194 0

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

/proc/loadavg: 4.08 3.60 2.77 5/263 29009
/proc/meminfo: memFree=127159688/131249992 swapFree=33010684/33010684
[pid=28965] ppid=28959 vsize=133148 memory=123420 CPUtime=520.84 cores=5,7
/proc/28965/stat : 28965 (pbsolver) R 28959 28965 28908 0 -1 4194304 43985 0 0 0 52076 8 0 0 20 0 1 0 32631429 136343552 30855 18446744073709551615 4198400 14743177 140730964665104 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 49041408 140730964670858 140730964670954 140730964670954 140730964676556 0
/proc/28965/statm: 33287 30855 2688 2575 0 30194 0
Current children cumulated CPU time: 520.84 s
Current children cumulated vsize: 133148 KiB
Current children cumulated memory: 123420 KiB

[startup+582.3 s]
/proc/loadavg: 4.13 3.71 2.86 5/264 29016
/proc/meminfo: memFree=127049676/131249992 swapFree=33010684/33010684
[pid=28965] ppid=28959 vsize=131448 memory=121860 CPUtime=580.68 cores=5,7
/proc/28965/stat : 28965 (pbsolver) R 28959 28965 28908 0 -1 4194304 45011 0 0 0 58060 8 0 0 20 0 1 0 32631429 134602752 30465 18446744073709551615 4198400 14743177 140730964665104 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 49041408 140730964670858 140730964670954 140730964670954 140730964676556 0
/proc/28965/statm: 32862 30465 2688 2575 0 29769 0
Current children cumulated CPU time: 580.68 s
Current children cumulated vsize: 131448 KiB
Current children cumulated memory: 121860 KiB

[startup+642.3 s]
/proc/loadavg: 4.09 3.78 2.94 5/264 29018
/proc/meminfo: memFree=127042304/131249992 swapFree=33010684/33010684
[pid=28965] ppid=28959 vsize=144012 memory=132868 CPUtime=640.51 cores=5,7
/proc/28965/stat : 28965 (pbsolver) R 28959 28965 28908 0 -1 4194304 47796 0 0 0 64043 8 0 0 20 0 1 0 32631429 147468288 33217 18446744073709551615 4198400 14743177 140730964665104 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 49041408 140730964670858 140730964670954 140730964670954 140730964676556 0
/proc/28965/statm: 36003 33217 2688 2575 0 32910 0
Current children cumulated CPU time: 640.51 s
Current children cumulated vsize: 144012 KiB
Current children cumulated memory: 132868 KiB

[startup+702.3 s]
/proc/loadavg: 4.18 3.87 3.02 5/264 29020
/proc/meminfo: memFree=127016948/131249992 swapFree=33010684/33010684
[pid=28965] ppid=28959 vsize=153900 memory=144260 CPUtime=700.35 cores=5,7
/proc/28965/stat : 28965 (pbsolver) R 28959 28965 28908 0 -1 4194304 50644 0 0 0 70026 9 0 0 20 0 1 0 32631429 157593600 36065 18446744073709551615 4198400 14743177 140730964665104 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 49041408 140730964670858 140730964670954 140730964670954 140730964676556 0
/proc/28965/statm: 38475 36065 2688 2575 0 35382 0
Current children cumulated CPU time: 700.35 s
Current children cumulated vsize: 153900 KiB
Current children cumulated memory: 144260 KiB

[startup+762.3 s]
/proc/loadavg: 4.13 3.91 3.09 5/263 29022
/proc/meminfo: memFree=126991864/131249992 swapFree=33010684/33010684
[pid=28965] ppid=28959 vsize=153900 memory=144260 CPUtime=760.2 cores=5,7
/proc/28965/stat : 28965 (pbsolver) R 28959 28965 28908 0 -1 4194304 50668 0 0 0 76011 9 0 0 20 0 1 0 32631429 157593600 36065 18446744073709551615 4198400 14743177 140730964665104 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 49041408 140730964670858 140730964670954 140730964670954 140730964676556 0
/proc/28965/statm: 38475 36065 2688 2575 0 35382 0
Current children cumulated CPU time: 760.2 s
Current children cumulated vsize: 153900 KiB
Current children cumulated memory: 144260 KiB

[startup+822.3 s]
/proc/loadavg: 4.09 3.94 3.16 5/264 29025
/proc/meminfo: memFree=126979300/131249992 swapFree=33010684/33010684
[pid=28965] ppid=28959 vsize=153900 memory=144260 CPUtime=820.04 cores=5,7
/proc/28965/stat : 28965 (pbsolver) R 28959 28965 28908 0 -1 4194304 50671 0 0 0 81995 9 0 0 20 0 1 0 32631429 157593600 36065 18446744073709551615 4198400 14743177 140730964665104 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 49041408 140730964670858 140730964670954 140730964670954 140730964676556 0
/proc/28965/statm: 38475 36065 2688 2575 0 35382 0
Current children cumulated CPU time: 820.04 s
Current children cumulated vsize: 153900 KiB
Current children cumulated memory: 144260 KiB

[startup+882.3 s]
/proc/loadavg: 4.13 3.99 3.22 5/263 29027
/proc/meminfo: memFree=126972836/131249992 swapFree=33010684/33010684
[pid=28965] ppid=28959 vsize=157952 memory=148232 CPUtime=879.88 cores=5,7
/proc/28965/stat : 28965 (pbsolver) R 28959 28965 28908 0 -1 4194304 52263 0 0 0 87979 9 0 0 20 0 1 0 32631429 161742848 37058 18446744073709551615 4198400 14743177 140730964665104 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 49041408 140730964670858 140730964670954 140730964670954 140730964676556 0
/proc/28965/statm: 39488 37058 2688 2575 0 36395 0
Current children cumulated CPU time: 879.88 s
Current children cumulated vsize: 157952 KiB
Current children cumulated memory: 148232 KiB

[startup+942.3 s]
/proc/loadavg: 4.15 4.02 3.29 5/263 29029
/proc/meminfo: memFree=126903120/131249992 swapFree=33010684/33010684
[pid=28965] ppid=28959 vsize=180252 memory=169572 CPUtime=939.72 cores=5,7
/proc/28965/stat : 28965 (pbsolver) R 28959 28965 28908 0 -1 4194304 61205 0 0 0 93961 11 0 0 20 0 1 0 32631429 184578048 42393 18446744073709551615 4198400 14743177 140730964665104 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 49041408 140730964670858 140730964670954 140730964670954 140730964676556 0
/proc/28965/statm: 45063 42393 2688 2575 0 41970 0
Current children cumulated CPU time: 939.72 s
Current children cumulated vsize: 180252 KiB
Current children cumulated memory: 169572 KiB

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

# cumulated CPU time of all completed processes:  user=965.665 s, system=0.116661 s

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

[startup+947.2 s]
/proc/loadavg: 4.14 4.02 3.29 5/263 29029
/proc/meminfo: memFree=126886012/131249992 swapFree=33010684/33010684
[pid=28965] ppid=28959 vsize=180252 memory=169572 CPUtime=944.61 cores=5,7
/proc/28965/stat : 28965 (pbsolver) R 28959 28965 28908 0 -1 4194304 61205 0 0 0 94450 11 0 0 20 0 1 0 32631429 184578048 42393 18446744073709551615 4198400 14743177 140730964665104 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 49041408 140730964670858 140730964670954 140730964670954 140730964676556 0
/proc/28965/statm: 45063 42393 2688 2575 0 41970 0
Current children cumulated CPU time: 944.61 s
Current children cumulated vsize: 180252 KiB
Current children cumulated memory: 169572 KiB

[startup+960 s]*
/proc/loadavg: 4.12 4.02 3.30 5/263 29029
/proc/meminfo: memFree=126902664/131249992 swapFree=33010684/33010684
[pid=28965] ppid=28959 vsize=180252 memory=169572 CPUtime=957.38 cores=5,7
/proc/28965/stat : 28965 (pbsolver) R 28959 28965 28908 0 -1 4194304 61205 0 0 0 95727 11 0 0 20 0 1 0 32631429 184578048 42393 18446744073709551615 4198400 14743177 140730964665104 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 49041408 140730964670858 140730964670954 140730964670954 140730964676556 0
/proc/28965/statm: 45063 42393 2688 2575 0 41970 0
Current children cumulated CPU time: 957.38 s
Current children cumulated vsize: 180252 KiB
Current children cumulated memory: 169572 KiB

[startup+963.2 s]
/proc/loadavg: 4.19 4.04 3.31 5/263 29030
/proc/meminfo: memFree=126902192/131249992 swapFree=33010684/33010684
[pid=28965] ppid=28959 vsize=180252 memory=169572 CPUtime=960.57 cores=5,7
/proc/28965/stat : 28965 (pbsolver) R 28959 28965 28908 0 -1 4194304 61205 0 0 0 96046 11 0 0 20 0 1 0 32631429 184578048 42393 18446744073709551615 4198400 14743177 140730964665104 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 49041408 140730964670858 140730964670954 140730964670954 140730964676556 0
/proc/28965/statm: 45063 42393 2688 2575 0 41970 0
Current children cumulated CPU time: 960.57 s
Current children cumulated vsize: 180252 KiB
Current children cumulated memory: 169572 KiB

[startup+966.4 s]
/proc/loadavg: 4.19 4.04 3.31 5/263 29030
/proc/meminfo: memFree=126902032/131249992 swapFree=33010684/33010684
[pid=28965] ppid=28959 vsize=180252 memory=169572 CPUtime=963.76 cores=5,7
/proc/28965/stat : 28965 (pbsolver) R 28959 28965 28908 0 -1 4194304 61205 0 0 0 96365 11 0 0 20 0 1 0 32631429 184578048 42393 18446744073709551615 4198400 14743177 140730964665104 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 49041408 140730964670858 140730964670954 140730964670954 140730964676556 0
/proc/28965/statm: 45063 42393 2688 2575 0 41970 0
Current children cumulated CPU time: 963.76 s
Current children cumulated vsize: 180252 KiB
Current children cumulated memory: 169572 KiB

[startup+967.2 s]
/proc/loadavg: 4.17 4.04 3.31 5/263 29030
/proc/meminfo: memFree=126902032/131249992 swapFree=33010684/33010684
[pid=28965] ppid=28959 vsize=180252 memory=169572 CPUtime=964.56 cores=5,7
/proc/28965/stat : 28965 (pbsolver) R 28959 28965 28908 0 -1 4194304 61205 0 0 0 96445 11 0 0 20 0 1 0 32631429 184578048 42393 18446744073709551615 4198400 14743177 140730964665104 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 49041408 140730964670858 140730964670954 140730964670954 140730964676556 0
/proc/28965/statm: 45063 42393 2688 2575 0 41970 0
Current children cumulated CPU time: 964.56 s
Current children cumulated vsize: 180252 KiB
Current children cumulated memory: 169572 KiB

[startup+968 s]*
/proc/loadavg: 4.17 4.04 3.31 5/263 29030
/proc/meminfo: memFree=126885672/131249992 swapFree=33010684/33010684
[pid=28965] ppid=28959 vsize=180252 memory=169572 CPUtime=965.36 cores=5,7
/proc/28965/stat : 28965 (pbsolver) R 28959 28965 28908 0 -1 4194304 61205 0 0 0 96525 11 0 0 20 0 1 0 32631429 184578048 42393 18446744073709551615 4198400 14743177 140730964665104 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 49041408 140730964670858 140730964670954 140730964670954 140730964676556 0
/proc/28965/statm: 45063 42393 2688 2575 0 41970 0
Current children cumulated CPU time: 965.36 s
Current children cumulated vsize: 180252 KiB
Current children cumulated memory: 169572 KiB

[startup+968.4 s]
/proc/loadavg: 4.17 4.04 3.31 5/263 29030
/proc/meminfo: memFree=126885672/131249992 swapFree=33010684/33010684
[pid=28965] ppid=28959 vsize=176440 memory=165892 CPUtime=965.75 cores=5,7
/proc/28965/stat : 28965 (pbsolver) R 28959 28965 28908 0 -1 4194304 61209 0 0 0 96564 11 0 0 20 0 1 0 32631429 180674560 41473 18446744073709551615 4198400 14743177 140730964665104 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 49041408 140730964670858 140730964670954 140730964670954 140730964676556 0
/proc/28965/statm: 44110 41473 2688 2575 0 41017 0
Current children cumulated CPU time: 965.75 s
Current children cumulated vsize: 176440 KiB
Current children cumulated memory: 165892 KiB

Child status: 0

Real time (s): 968.422
CPU time (s): 965.781
CPU user time (s): 965.665
CPU system time (s): 0.116661
CPU usage (%): 99.7273
Max. virtual memory (cumulated for all children) (KiB): 194136
Max. memory (cumulated for all children) (KiB): 180880

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 965.665
system time used= 0.116661
maximum resident set size= 180880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61209
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= 23
involuntary context switches= 536


# summary of solver processes directly reported to runsolver:
#   pid: 28965
#   total CPU time (s): 965.781
#   total CPU user time (s): 965.665
#   total CPU system time (s): 0.116661

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.93023 second user time and 4.05905 second system time

The end

Launcher Data 

Begin job on nodeC025 at 2025-06-29 05:58:47
IDJOB=4503179
IDBENCH=155407
IDSOLVER=3366
FILE ID=nodeC025/4503179-1751169526
RUNJOBID= nodeC025-1751169526-28921
SLURM_JOB_ID= 9587520
Free space on /tmp= 433056 MiB

SOLVER NAME= SCIP-10 2025-06-13
BENCH NAME= PB24/normalized-PB11/DEC-LIN/heinz/normalized-neos-849702.opb
COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4503179-1751169526/watcher-4503179-1751169526 -o /tmp/evaluation-result-4503179-1751169526/solver-4503179-1751169526 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751169526-28921 --watchdog 3760  pbsolver -f HOME/instance-4503179-1751169526.opb -t 3600 -m 31000

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

MD5SUM BENCH= 99577d0b2060d1d3afdf18d9c444f818
RANDOM SEED=1308403903

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.833
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.67
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		: 3601.138
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3598.639
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.67
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		: 3599.810
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.829
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.67
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		: 3601.507
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.438
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.836
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249992 kB
MemFree:        130022932 kB
MemAvailable:   129709284 kB
Buffers:            3280 kB
Cached:           495808 kB
SwapCached:            0 kB
Active:           329616 kB
Inactive:         238260 kB
Active(anon):      86320 kB
Inactive(anon):        0 kB
Active(file):     243296 kB
Inactive(file):   238260 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             50284 kB
Writeback:            12 kB
AnonPages:         71640 kB
Mapped:           102616 kB
Shmem:             18084 kB
KReclaimable:      88068 kB
Slab:             172404 kB
SReclaimable:      88068 kB
SUnreclaim:        84336 kB
KernelStack:        4112 kB
PageTables:         2900 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     331888 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150360 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:     14336 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      207572 kB
DirectMap2M:     9000960 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432988 MiB
End job on nodeC025 at 2025-06-29 06:14:55