Trace number 4523757

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIP 2025-06-13SAT5898 3586.28 3597.31

General information on the benchmark

NamePB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/
instances/normalized-bnn_mnist_rot_16_label5_adversarial_norm_1.opb
MD5SUMf94de02fa01250a2017b0bd253a5fded
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark1.91643
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1289
Total number of constraints1094
Number of constraints which are clauses13
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints1080
Minimum length of a constraint1
Maximum length of a constraint785
Number of terms in the objective function 773
Biggest coefficient in the objective function 15502
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 46385
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 15502
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 46385
Number of bits of the biggest sum of numbers16
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 8.0.0] [GitHash: 0408ae5eca]
0.00/0.00	c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c External libraries: 
0.00/0.00	c   SoPlex 8.0.0         Linear programming solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: 67f6a391]
0.00/0.00	c   CppAD 20180000.0     Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00	c   AMPL/MP 4.0.0        AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00	c   PaPILO 3.0.0         parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00	c   bliss 0.77           Computing Graph Automorphisms by T. Junttila and P. Kaski (users.aalto.fi/~tjunttil/bliss)
0.00/0.00	c   sassy 2.0            Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00	c 
0.00/0.00	c reading problem <HOME/instance-4523757-1751594759.opb>
0.10/0.21	c original problem has 1289 variables (1289 bin, 0 int, 0 cont) and 1094 constraints
0.10/0.21	c problem read in 0.205 seconds
0.31/0.35	c presolving:
0.60/0.64	c (round 1, fast)       13 del vars, 13 del conss, 0 add conss, 13 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1 clqs
0.69/0.74	c (round 2, fast)       13 del vars, 22 del conss, 0 add conss, 13 chg bounds, 200 chg sides, 400 chg coeffs, 0 upgd conss, 0 impls, 1 clqs
0.89/0.94	c    (0.9s) running MILP presolver
0.99/1.02	c    (1.0s) MILP presolver found nothing
1.18/1.22	c (round 3, exhaustive) 13 del vars, 22 del conss, 0 add conss, 13 chg bounds, 200 chg sides, 400 chg coeffs, 1067 upgd conss, 0 impls, 1 clqs
1.38/1.42	c (round 4, exhaustive) 13 del vars, 22 del conss, 0 add conss, 13 chg bounds, 200 chg sides, 400 chg coeffs, 1072 upgd conss, 0 impls, 1 clqs
1.58/1.62	c    (1.6s) probing: 51/1276 (4.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.58/1.62	c    (1.6s) probing aborted: 50/50 successive totally useless probings
1.78/1.85	c    (1.9s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
1.88/1.92	c    (1.9s) no symmetry present (symcode time: 0.00)
2.00/2.04	c presolving (5 rounds: 5 fast, 3 medium, 3 exhaustive):
2.00/2.04	c  13 deleted vars, 22 deleted constraints, 0 added constraints, 13 tightened bounds, 0 added holes, 200 changed sides, 400 changed coefficients
2.00/2.04	c  0 implications, 1 cliques
2.00/2.04	c presolved problem has 1276 variables (1276 bin, 0 int, 0 cont) and 1072 constraints
2.00/2.04	c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
2.00/2.04	c    1071 constraints of type <knapsack>
2.00/2.04	c       1 constraints of type <setppc>
2.00/2.04	c transformed objective value is always integral (scale: 1)
2.00/2.04	c Presolving Time: 1.70
2.00/2.04	c 
2.00/2.04	c - non default parameters ----------------------------------------------------------------------
2.00/2.04	c 
2.00/2.04	c # SCIP version 10.0.0
2.00/2.04	c 
2.00/2.04	c # maximal time in seconds to run
2.00/2.04	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
2.00/2.04	c limits/time = 3596.995058
2.00/2.04	c 
2.00/2.04	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.00/2.04	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
2.00/2.04	c limits/memory = 27900
2.00/2.04	c 
2.00/2.04	c # belongs reading time to solving time?
2.00/2.04	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
2.00/2.04	c timing/reading = TRUE
2.00/2.04	c 
2.00/2.04	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
2.00/2.04	c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
2.00/2.04	c reading/opbreader/maxintsize = 47
2.00/2.04	c 
2.00/2.04	c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
2.00/2.04	c # [type: int, advanced: TRUE, range: [0,15], default: 15]
2.00/2.04	c propagating/genvbounds/timingmask = 0
2.00/2.04	c 
2.00/2.04	c -----------------------------------------------------------------------------------------------
2.00/2.04	c 
2.38/2.46	o 13978
2.38/2.46	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2.38/2.46	c p 2.5s|     1 |     0 |     0 |     - |   locks|   0 |1276 |1072 |1072 |   0 |  0 |   0 |   0 | 0.000000e+00 | 1.397800e+04 |    Inf | unknown
2.38/2.49	o 6815
2.38/2.49	c i 2.5s|     1 |     0 |     0 |     - |  oneopt|   0 |1276 |1072 |1072 |   0 |  0 |   0 |   0 | 0.000000e+00 | 6.815000e+03 |    Inf | unknown
2.48/2.52	c   2.5s|     1 |     0 |   249 |     - |   343M |   0 |1276 |1072 |1072 |   0 |  0 |   0 |   0 | 0.000000e+00 | 6.815000e+03 |    Inf | unknown
2.99/3.06	c   3.1s|     1 |     0 |   437 |     - |   368M |   0 |1276 |1072 |1237 | 165 |  1 |   0 |   0 | 0.000000e+00 | 6.815000e+03 |    Inf | unknown
3.48/3.58	c   3.6s|     1 |     0 |   597 |     - |   391M |   0 |1276 |1072 |1365 | 293 |  2 |   0 |   0 | 0.000000e+00 | 6.815000e+03 |    Inf | unknown
3.98/4.09	c   4.1s|     1 |     0 |   726 |     - |   413M |   0 |1276 |1072 |1458 | 386 |  3 |   0 |   0 | 0.000000e+00 | 6.815000e+03 |    Inf | unknown
4.47/4.57	c   4.6s|     1 |     0 |   816 |     - |   437M |   0 |1276 |1072 |1524 | 452 |  4 |   0 |   0 | 0.000000e+00 | 6.815000e+03 |    Inf | unknown
4.99/5.10	c   5.1s|     1 |     0 |   888 |     - |   466M |   0 |1276 |1072 |1571 | 499 |  5 |   0 |   0 | 0.000000e+00 | 6.815000e+03 |    Inf | unknown
5.57/5.65	c   5.6s|     1 |     0 |   969 |     - |   489M |   0 |1276 |1072 |1630 | 558 |  6 |   0 |   0 | 0.000000e+00 | 6.815000e+03 |    Inf | unknown
6.16/6.20	c   6.2s|     1 |     0 |  1052 |     - |   504M |   0 |1276 |1072 |1683 | 611 |  7 |   0 |   0 | 0.000000e+00 | 6.815000e+03 |    Inf | unknown
6.66/6.73	c   6.7s|     1 |     0 |  1122 |     - |   542M |   0 |1276 |1072 |1744 | 672 |  8 |   0 |   0 | 0.000000e+00 | 6.815000e+03 |    Inf | unknown
7.17/7.26	c   7.3s|     1 |     0 |  1181 |     - |   549M |   0 |1276 |1072 |1794 | 722 |  9 |   0 |   0 | 0.000000e+00 | 6.815000e+03 |    Inf | unknown
7.76/7.81	c   7.8s|     1 |     0 |  1265 |     - |   587M |   0 |1276 |1072 |1854 | 782 | 10 |   0 |   0 | 0.000000e+00 | 6.815000e+03 |    Inf | unknown
8.08/8.17	c   8.2s|     1 |     0 |  1328 |     - |   591M |   0 |1276 |1072 |1737 | 827 | 11 |   0 |   0 | 0.000000e+00 | 6.815000e+03 |    Inf | unknown
16.63/16.72	o 6422
16.63/16.72	c L16.7s|     1 |     0 | 11381 |     - |    alns|   0 |1276 |1077 |1737 | 827 | 11 |   5 |   0 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
16.73/16.81	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
16.73/16.81	c  16.8s|     1 |     0 | 11381 |     - |   591M |   0 |1276 |1077 |1737 | 827 | 11 |   5 |   0 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
17.13/17.21	c  17.2s|     1 |     0 | 11968 |     - |   593M |   0 |1276 |1077 |1768 | 858 | 12 |   5 |   0 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
17.23/17.40	c  17.4s|     1 |     0 | 12441 |     - |   593M |   0 |1276 |1078 |1781 | 871 | 13 |   6 |   0 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
21.03/21.15	c  21.1s|     1 |     2 | 12537 |     - |   593M |   0 |1276 |1079 |1781 | 871 | 13 |   7 |  41 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
64.08/64.31	c  64.3s|   100 |   101 | 37594 | 355.6 |   593M |  39 |1276 |1083 |1075 | 945 |  1 |  11 | 504 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
80.53/80.87	c  80.9s|   200 |   201 | 75308 | 366.4 |   604M |  41 |1276 |1085 |1104 |1266 |  1 |  13 | 539 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
127.70/128.14	c   128s|   300 |   301 |109753 | 359.1 |   614M |  45 |1276 |1090 |1084 |1624 |  1 |  18 | 555 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
137.35/137.84	c   138s|   400 |   401 |131619 | 323.9 |   659M |  59 |1276 |1091 |1100 |1965 |  1 |  20 | 590 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
145.22/145.77	c   146s|   500 |   501 |153624 | 303.1 |   657M |  75 |1276 |1107 |1120 |2248 |  1 |  36 | 617 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
153.61/154.12	c   154s|   600 |   601 |172047 | 283.2 |   658M |  75 |1276 |1146 |1125 |2804 |  1 |  76 | 648 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
162.97/163.55	c   164s|   700 |   701 |195850 | 276.8 |   659M |  75 |1276 |1158 |1118 |3265 |  1 |  88 | 686 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
171.34/171.94	c   172s|   800 |   801 |209939 | 259.8 |   659M |  79 |1276 |1173 |1112 |3599 |  1 | 103 | 766 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
180.43/181.03	c   181s|   900 |   901 |231685 | 255.1 |   659M |  79 |1276 |1202 |1128 |3955 |  1 | 132 | 816 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
188.20/188.82	c   189s|  1000 |  1001 |247380 | 245.2 |   660M |  79 |1276 |1207 |1111 |4301 |  1 | 137 | 857 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
193.68/194.30	c Restart triggered after 50 consecutive estimations that the remaining tree will be large
193.68/194.30	c (run 1, node 1049) performing user restart
193.68/194.30	c 
193.68/194.30	c (restart) converted 56 cuts from the global cut pool into linear constraints
193.68/194.30	c 
193.88/194.55	c presolving:
193.88/194.59	c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 56 upgd conss, 0 impls, 1 clqs
194.08/194.77	c presolving (2 rounds: 2 fast, 2 medium, 2 exhaustive):
194.08/194.77	c  0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 8 changed coefficients
194.08/194.77	c  0 implications, 1 cliques
194.08/194.77	c presolved problem has 1276 variables (1276 bin, 0 int, 0 cont) and 1263 constraints
194.08/194.77	c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
194.08/194.77	c    1127 constraints of type <knapsack>
194.08/194.77	c       1 constraints of type <setppc>
194.08/194.77	c       1 constraints of type <linear>
194.08/194.77	c     134 constraints of type <logicor>
194.08/194.77	c transformed objective value is always integral (scale: 1)
194.08/194.77	c Presolving Time: 1.92
194.08/194.79	c transformed 3/3 original solutions to the transformed problem space
194.08/194.79	c 
194.27/194.93	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
194.27/194.93	c   195s|     1 |     0 |259327 |     - |   604M |   0 |1276 |1263 |1128 |   0 |  0 | 137 | 897 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
194.77/195.44	c   195s|     1 |     0 |259580 |     - |   612M |   0 |1276 |1263 |1283 | 155 |  1 | 137 | 897 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
195.48/196.14	c   196s|     1 |     0 |260073 |     - |   616M |   0 |1276 |1264 |1436 | 308 |  2 | 138 | 897 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
196.17/196.84	c   197s|     1 |     0 |260300 |     - |   624M |   0 |1276 |1265 |1620 | 492 |  3 | 139 | 897 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
197.16/197.81	c   198s|     1 |     0 |260570 |     - |   624M |   0 |1276 |1266 |1807 | 679 |  4 | 140 | 897 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
197.96/198.62	c   199s|     1 |     0 |260836 |     - |   628M |   0 |1276 |1267 |1994 | 866 |  5 | 141 | 897 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
198.66/199.33	c   199s|     1 |     0 |261064 |     - |   629M |   0 |1276 |1269 |2139 |1011 |  6 | 143 | 897 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
199.26/199.99	c   200s|     1 |     0 |261280 |     - |   632M |   0 |1276 |1270 |2287 |1159 |  7 | 144 | 897 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
199.95/200.70	c   201s|     1 |     0 |261427 |     - |   652M |   0 |1276 |1271 |2405 |1277 |  8 | 145 | 897 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
200.75/201.40	c   201s|     1 |     0 |261828 |     - |   650M |   0 |1276 |1273 |2518 |1390 |  9 | 147 | 897 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
201.25/202.01	c   202s|     1 |     0 |261980 |     - |   651M |   0 |1276 |1274 |2615 |1487 | 10 | 148 | 897 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
201.65/202.31	c   202s|     1 |     0 |262096 |     - |   651M |   0 |1276 |1275 |2711 |1583 | 11 | 149 | 897 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
235.04/235.84	c   236s|     1 |     2 |316899 |     - |   651M |   0 |1276 |1278 |2711 |1583 | 11 | 152 | 915 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
256.67/257.57	c   258s|   100 |   101 |391696 | 336.5 |   656M |  21 |1276 |1304 |1204 |2177 |  1 | 178 | 955 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
272.51/273.45	c   273s|   200 |   201 |436154 | 345.1 |   665M |  21 |1276 |1323 |1241 |2829 |  2 | 197 | 979 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
282.09/283.07	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
282.09/283.07	c   283s|   300 |   301 |455355 | 333.8 |   665M |  48 |1276 |1330 |1233 |3185 |  1 | 204 |1008 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
291.75/292.73	c   293s|   400 |   401 |481369 | 328.7 |   672M |  64 |1276 |1333 |1282 |3703 |  1 | 207 |1021 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
334.52/335.62	c   336s|   500 |   501 |656880 | 420.8 |   673M |  85 |1276 |1344 |1266 |3948 |  1 | 218 |1059 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
342.01/343.18	c   343s|   600 |   599 |674376 | 405.9 |   673M |  93 |1276 |1346 |1285 |4108 |  1 | 220 |1083 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
347.89/349.08	c   349s|   700 |   699 |689915 | 391.6 |   673M | 117 |1276 |1348 |1316 |4196 |  1 | 222 |1102 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
354.86/356.07	c   356s|   800 |   799 |705134 | 378.6 |   656M | 133 |1276 |1351 |1311 |4234 |  2 | 225 |1120 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
363.63/364.81	c   365s|   900 |   899 |724617 | 369.2 |   656M | 133 |1276 |1352 |1299 |4443 |  1 | 226 |1159 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
369.71/370.92	c   371s|  1000 |   999 |739492 | 358.4 |   656M | 133 |1276 |1352 |1319 |4493 |  1 | 226 |1184 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
379.47/380.76	c   381s|  1100 |  1099 |762111 | 352.3 |   656M | 139 |1276 |1353 |1316 |4580 |  1 | 227 |1221 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
386.86/388.11	c   388s|  1200 |  1199 |773220 | 341.5 |   656M | 143 |1276 |1379 |1321 |4619 |  1 | 253 |1237 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
391.75/393.06	c   393s|  1300 |  1299 |782959 | 331.1 |   657M | 147 |1276 |1386 |1309 |4646 |  1 | 260 |1259 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
399.11/400.48	c   400s|  1400 |  1399 |797343 | 323.5 |   657M | 153 |1276 |1387 |1312 |4693 |  2 | 261 |1295 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
404.59/405.97	c   406s|  1500 |  1499 |810502 | 316.0 |   657M | 159 |1276 |1387 |1320 |4720 |  1 | 261 |1320 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
412.37/413.78	c   414s|  1600 |  1599 |826312 | 310.0 |   658M | 165 |1276 |1392 |1331 |4919 |  1 | 266 |1352 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
418.76/420.18	c   420s|  1700 |  1699 |841055 | 304.1 |   658M | 169 |1276 |1394 |1343 |5030 |  1 | 268 |1374 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
426.13/427.55	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
426.13/427.55	c   428s|  1800 |  1799 |853155 | 297.7 |   658M | 175 |1276 |1394 |1254 |5318 |  1 | 268 |1415 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
432.41/433.80	c   434s|  1900 |  1899 |864578 | 291.4 |   659M | 175 |1276 |1407 |1248 |5541 |  1 | 281 |1447 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
438.19/439.63	c   440s|  2000 |  1999 |880599 | 287.1 |   659M | 175 |1276 |1409 |1241 |5760 |  1 | 283 |1456 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
446.68/448.16	c   448s|  2100 |  2099 |897559 | 283.4 |   660M | 177 |1276 |1414 |1378 |5900 |  1 | 288 |1492 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
452.74/454.25	c   454s|  2200 |  2199 |910931 | 278.8 |   660M | 177 |1276 |1414 |1304 |6119 |  1 | 288 |1506 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
461.22/462.75	c   463s|  2300 |  2299 |927516 | 275.4 |   660M | 177 |1276 |1415 |1316 |6304 |  1 | 289 |1553 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
469.09/470.60	c   471s|  2400 |  2399 |940581 | 271.2 |   660M | 177 |1276 |1414 |1348 |6457 |  2 | 289 |1605 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
475.87/477.49	c   477s|  2500 |  2499 |953506 | 267.2 |   661M | 179 |1276 |1441 |1347 |6639 |  2 | 316 |1648 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
486.64/488.21	c   488s|  2600 |  2599 |976772 | 266.3 |   661M | 181 |1276 |1441 |1336 |6826 |  1 | 316 |1715 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
494.91/496.51	c   497s|  2700 |  2699 |990868 | 262.9 |   661M | 181 |1276 |1442 |1346 |7014 |  1 | 317 |1773 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
503.39/505.10	c   505s|  2800 |  2799 |  1008k| 260.6 |   662M | 181 |1276 |1442 |1364 |7202 |  1 | 317 |1812 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
511.25/513.00	c   513s|  2900 |  2899 |  1022k| 257.6 |   662M | 181 |1276 |1442 |1359 |7390 |  2 | 317 |1859 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
518.34/520.10	c   520s|  3000 |  2999 |  1035k| 254.5 |   663M | 181 |1276 |1443 |1370 |7532 |  1 | 318 |1899 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
524.91/526.65	c   527s|  3100 |  3099 |  1046k| 251.1 |   663M | 187 |1276 |1448 |1391 |7693 |  1 | 323 |1939 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
533.30/535.10	c   535s|  3200 |  3199 |  1064k| 249.3 |   663M | 187 |1276 |1448 |1388 |7873 |  1 | 323 |1980 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
542.46/544.24	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
542.46/544.24	c   544s|  3300 |  3299 |  1084k| 248.3 |   664M | 187 |1276 |1449 |1402 |8044 |  1 | 324 |2025 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
552.83/554.69	c   555s|  3400 |  3399 |  1103k| 247.0 |   664M | 192 |1276 |1449 |1433 |8285 |  1 | 324 |2076 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
562.00/563.82	c   564s|  3500 |  3499 |  1115k| 244.1 |   664M | 193 |1276 |1461 |1281 |8391 |  1 | 336 |2132 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
570.18/572.03	c   572s|  3600 |  3599 |  1136k| 243.4 |   664M | 193 |1276 |1460 |1428 |8591 |  1 | 336 |2167 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
577.35/579.29	c   579s|  3700 |  3697 |  1154k| 242.0 |   665M | 193 |1276 |1479 |1435 |8795 |  1 | 355 |2190 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
582.83/584.75	c   585s|  3800 |  3797 |  1167k| 239.7 |   665M | 193 |1276 |1480 |1409 |8976 |  1 | 356 |2206 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
589.01/590.94	c   591s|  3900 |  3897 |  1185k| 238.5 |   665M | 193 |1276 |1481 |1428 |9206 |  1 | 357 |2219 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
595.20/597.19	c   597s|  4000 |  3997 |  1196k| 235.9 |   666M | 196 |1276 |1493 |1212 |9442 |  1 | 369 |2248 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
600.19/602.16	c   602s|  4100 |  4097 |  1210k| 234.0 |   666M | 196 |1276 |1497 |1436 |9626 |  1 | 373 |2253 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
604.96/606.95	c   607s|  4200 |  4197 |  1224k| 232.2 |   666M | 196 |1276 |1498 |1425 |9804 |  1 | 374 |2255 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
609.65/611.70	c   612s|  4300 |  4297 |  1237k| 230.4 |   667M | 196 |1276 |1498 |1442 |9964 |  1 | 374 |2258 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
615.23/617.25	c   617s|  4400 |  4397 |  1252k| 229.0 |   666M | 205 |1276 |1511 |1380 |  10k|  1 | 387 |2269 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
622.12/624.13	c   624s|  4500 |  4497 |  1275k| 228.9 |   666M | 205 |1276 |1512 |1425 |  10k|  1 | 388 |2271 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
629.88/631.91	c   632s|  4600 |  4597 |  1298k| 229.0 |   667M | 205 |1276 |1561 |1345 |  10k|  1 | 437 |2272 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
635.17/637.24	c   637s|  4700 |  4697 |  1315k| 227.9 |   667M | 205 |1276 |1562 |1410 |  10k|  1 | 438 |2276 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
641.14/643.21	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
641.14/643.21	c   643s|  4800 |  4797 |  1332k| 226.9 |   667M | 205 |1276 |1563 |1424 |  11k|  1 | 440 |2280 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
646.33/648.48	c   648s|  4900 |  4897 |  1347k| 225.7 |   667M | 205 |1276 |1564 |1454 |  11k|  1 | 441 |2282 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
654.60/656.79	c   657s|  5000 |  4997 |  1372k| 226.0 |   667M | 205 |1276 |1563 |1401 |  11k|  1 | 441 |2297 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
660.78/662.90	c   663s|  5100 |  5097 |  1386k| 224.6 |   663M | 205 |1276 |1582 |1391 |  11k|  1 | 460 |2314 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
670.15/672.39	c   672s|  5200 |  5197 |  1405k| 224.0 |   664M | 205 |1276 |1603 |1443 |  12k|  1 | 481 |2354 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
684.30/686.52	c   687s|  5300 |  5297 |  1448k| 227.3 |   664M | 205 |1276 |1604 |1370 |  12k|  1 | 482 |2378 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
693.17/695.46	c   695s|  5400 |  5397 |  1472k| 227.5 |   665M | 205 |1276 |1604 |1440 |  12k|  1 | 482 |2405 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
701.25/703.56	c   704s|  5500 |  5495 |  1490k| 226.8 |   665M | 205 |1276 |1610 |1451 |  12k|  1 | 488 |2441 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
710.92/713.29	c   713s|  5600 |  5593 |  1512k| 226.7 |   665M | 215 |1276 |1623 |1379 |  13k|  1 | 501 |2491 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
722.98/725.37	c   725s|  5700 |  5693 |  1539k| 227.3 |   663M | 215 |1276 |1657 |1393 |  13k|  1 | 535 |2562 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
732.35/734.76	c   735s|  5800 |  5793 |  1559k| 226.9 |   664M | 215 |1276 |1658 |1349 |  13k|  1 | 536 |2609 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
739.03/741.49	c   741s|  5900 |  5893 |  1577k| 226.3 |   661M | 215 |1276 |1679 |1370 |  13k|  1 | 557 |2622 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
747.61/750.06	c   750s|  6000 |  5993 |  1599k| 226.2 |   662M | 215 |1276 |1688 |1387 |  14k|  1 | 566 |2662 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
754.07/756.53	c   757s|  6100 |  6093 |  1616k| 225.3 |   662M | 215 |1276 |1689 |1299 |  14k|  1 | 567 |2679 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
763.15/765.68	c   766s|  6200 |  6193 |  1636k| 225.1 |   662M | 215 |1276 |1690 |1318 |  14k|  1 | 568 |2721 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
768.54/771.10	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
768.54/771.10	c   771s|  6300 |  6293 |  1651k| 224.0 |   663M | 215 |1276 |1736 |1340 |  14k|  2 | 616 |2725 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
777.70/780.23	c   780s|  6400 |  6393 |  1677k| 224.5 |   663M | 215 |1276 |1735 |1363 |  15k|  1 | 616 |2728 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
783.28/785.83	c   786s|  6500 |  6493 |  1694k| 223.7 |   663M | 215 |1276 |1750 |1350 |  15k|  1 | 632 |2731 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
789.16/791.79	c   792s|  6600 |  6593 |  1711k| 223.1 |   663M | 215 |1276 |1750 |1433 |  15k|  1 | 632 |2733 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
794.35/796.99	c   797s|  6700 |  6693 |  1727k| 222.2 |   663M | 215 |1276 |1752 |1449 |  15k|  1 | 634 |2734 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
801.23/803.82	c   804s|  6800 |  6793 |  1747k| 221.9 |   664M | 215 |1276 |1761 |1377 |  16k|  1 | 643 |2742 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
806.31/808.98	c   809s|  6900 |  6893 |  1764k| 221.3 |   664M | 215 |1276 |1769 |1368 |  16k|  1 | 651 |2742 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
813.40/816.09	c   816s|  7000 |  6993 |  1785k| 221.2 |   664M | 215 |1276 |1769 |1347 |  16k|  1 | 651 |2753 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
820.38/823.02	c   823s|  7100 |  7093 |  1808k| 221.3 |   664M | 215 |1276 |1780 |1385 |  16k|  2 | 662 |2758 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
828.05/830.77	c   831s|  7200 |  7191 |  1836k| 222.0 |   665M | 215 |1276 |1807 |1339 |  17k|  1 | 689 |2760 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
834.53/837.20	c   837s|  7300 |  7291 |  1856k| 221.7 |   665M | 215 |1276 |1807 |1386 |  17k|  2 | 689 |2767 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
840.42/843.16	c   843s|  7400 |  7391 |  1875k| 221.4 |   665M | 215 |1276 |1809 |1432 |  17k|  1 | 691 |2768 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
851.97/854.76	c   855s|  7500 |  7491 |  1902k| 222.0 |   666M | 215 |1276 |1811 |1335 |  18k|  1 | 693 |2799 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
862.14/865.01	c   865s|  7600 |  7591 |  1926k| 222.2 |   666M | 215 |1276 |1811 |1393 |  18k|  1 | 693 |2828 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
869.71/872.51	c   873s|  7700 |  7691 |  1945k| 221.8 |   666M | 215 |1276 |1820 |1428 |  18k|  1 | 703 |2841 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
878.08/880.92	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
878.08/880.92	c   881s|  7800 |  7791 |  1966k| 221.6 |   666M | 215 |1276 |1825 |1433 |  18k|  1 | 708 |2863 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
888.05/890.94	c   891s|  7900 |  7891 |  1992k| 222.1 |   666M | 215 |1276 |1830 |1381 |  19k|  1 | 713 |2893 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
895.42/898.36	c   898s|  8000 |  7991 |  2008k| 221.3 |   667M | 215 |1276 |1830 |1222 |  19k|  1 | 713 |2918 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
901.12/904.08	c   904s|  8100 |  8091 |  2022k| 220.5 |   667M | 215 |1276 |1830 |1381 |  19k|  1 | 713 |2932 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
913.86/916.82	c   917s|  8200 |  8189 |  2057k| 221.9 |   667M | 215 |1276 |1858 |1364 |  20k|  1 | 749 |2975 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
926.32/929.31	c   929s|  8300 |  8285 |  2087k| 222.7 |   668M | 215 |1276 |1859 |1414 |  20k|  1 | 750 |3038 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
936.00/939.01	c   939s|  8400 |  8385 |  2111k| 222.9 |   669M | 215 |1276 |1864 |1423 |  20k|  1 | 755 |3078 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
948.15/951.27	c   951s|  8500 |  8485 |  2141k| 223.7 |   669M | 215 |1276 |1863 |1384 |  20k|  1 | 755 |3144 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
957.22/960.35	c   960s|  8600 |  8585 |  2168k| 224.2 |   669M | 215 |1276 |1863 |1382 |  21k|  1 | 755 |3179 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
967.09/970.21	c   970s|  8700 |  8685 |  2196k| 224.7 |   669M | 215 |1276 |1868 |1464 |  21k|  1 | 763 |3196 | 0.000000e+00 | 6.422000e+03 |    Inf | unknown
970.58/973.78	o 6099
970.58/973.78	c L 974s|  8751 |  8736 |  2207k| 224.7 |    alns| 215 |1276 |1891 |1423 |  21k|  2 | 789 |3202 | 0.000000e+00 | 6.099000e+03 |    Inf | unknown
970.78/973.91	o 5898
970.78/973.91	c i 974s|  8752 |  8735 |  2207k| 224.7 |  oneopt| 215 |1276 |1891 |1414 |  21k|  0 | 789 |3202 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
973.88/977.10	c   977s|  8800 |  8783 |  2216k| 224.5 |   670M | 215 |1276 |1892 |1480 |  21k|  1 | 790 |3205 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
981.34/984.51	c   985s|  8900 |  8881 |  2239k| 224.6 |   670M | 215 |1276 |1905 |1401 |  21k|  1 | 807 |3221 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
989.31/992.59	c   993s|  9000 |  8981 |  2257k| 224.1 |   670M | 215 |1276 |1918 |1352 |  22k|  1 | 825 |3254 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
994.30/997.57	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
994.30/997.57	c   998s|  9100 |  9081 |  2272k| 223.4 |   670M | 215 |1276 |1917 |1500 |  22k|  1 | 825 |3257 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1000.18/1003.48	c  1003s|  9200 |  9181 |  2290k| 223.0 |   670M | 215 |1276 |1926 |1478 |  22k|  1 | 834 |3263 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1006.07/1009.33	c  1009s|  9300 |  9279 |  2308k| 222.6 |   670M | 215 |1276 |1925 |1463 |  22k|  1 | 834 |3272 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1012.35/1015.66	c  1016s|  9400 |  9379 |  2330k| 222.6 |   671M | 215 |1276 |1954 |1350 |  23k|  1 | 868 |3277 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1019.13/1022.42	c  1022s|  9500 |  9479 |  2353k| 222.6 |   671M | 215 |1276 |1977 |1255 |  23k|  1 | 893 |3281 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1024.91/1028.26	c  1028s|  9600 |  9579 |  2374k| 222.5 |   671M | 215 |1276 |1995 |1422 |  23k|  1 | 912 |3282 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1032.29/1035.65	c  1036s|  9700 |  9679 |  2400k| 222.8 |   672M | 215 |1276 |2012 |1378 |  24k|  1 | 929 |3286 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1038.97/1042.30	c  1042s|  9800 |  9779 |  2423k| 222.9 |   672M | 215 |1276 |2025 |1321 |  24k|  2 | 950 |3287 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1043.36/1046.74	c  1047s|  9900 |  9879 |  2438k| 222.2 |   672M | 215 |1276 |2027 |1421 |  24k|  1 | 954 |3287 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1050.66/1054.10	c  1054s| 10000 |  9979 |  2459k| 222.1 |   672M | 215 |1276 |2027 |1398 |  24k|  1 | 954 |3289 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1056.33/1059.76	c  1060s| 10100 | 10079 |  2477k| 221.7 |   672M | 215 |1276 |2035 |1328 |  24k|  2 | 962 |3289 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1060.51/1063.94	c  1064s| 10200 | 10179 |  2490k| 221.0 |   673M | 215 |1276 |2042 |1418 |  25k|  1 | 974 |3290 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1068.09/1071.56	c  1072s| 10300 | 10279 |  2514k| 221.1 |   673M | 215 |1276 |2044 |1471 |  25k|  2 | 977 |3290 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1077.36/1080.83	c  1081s| 10400 | 10379 |  2537k| 221.2 |   673M | 215 |1276 |2048 |1361 |  25k|  1 | 990 |3319 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1082.44/1085.93	c  1086s| 10500 | 10479 |  2553k| 220.6 |   673M | 215 |1276 |2056 |1433 |  25k|  1 |1002 |3322 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1089.64/1093.18	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1089.64/1093.18	c  1093s| 10600 | 10579 |  2571k| 220.3 |   673M | 215 |1276 |2057 |1467 |  26k|  1 |1008 |3339 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1102.69/1106.22	c  1106s| 10700 | 10679 |  2613k| 222.0 |   674M | 215 |1276 |2053 |1319 |  26k|  1 |1008 |3357 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1110.16/1113.73	c  1114s| 10800 | 10779 |  2633k| 221.8 |   674M | 215 |1276 |2060 |1353 |  26k|  1 |1017 |3378 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1120.63/1124.21	c  1124s| 10900 | 10879 |  2661k| 222.3 |   674M | 215 |1276 |2058 |1371 |  26k|  1 |1017 |3411 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1129.51/1133.17	c  1133s| 11000 | 10979 |  2679k| 222.0 |   675M | 215 |1276 |2064 |1435 |  27k|  1 |1025 |3449 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1135.68/1139.38	c  1139s| 11100 | 11079 |  2695k| 221.4 |   676M | 215 |1276 |2078 |1391 |  27k|  1 |1043 |3466 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1144.65/1148.31	c  1148s| 11200 | 11177 |  2718k| 221.5 |   676M | 215 |1276 |2077 |1397 |  27k|  1 |1043 |3495 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1152.73/1156.43	c  1156s| 11300 | 11277 |  2737k| 221.2 |   676M | 215 |1276 |2074 |1422 |  28k|  1 |1043 |3527 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1159.91/1163.63	c  1164s| 11400 | 11377 |  2756k| 221.0 |   676M | 215 |1276 |2089 |1324 |  28k|  1 |1065 |3542 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1166.89/1170.66	c  1171s| 11500 | 11477 |  2773k| 220.6 |   676M | 215 |1276 |2089 |1462 |  28k|  1 |1065 |3565 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1174.17/1177.92	c  1178s| 11600 | 11577 |  2792k| 220.4 |   676M | 215 |1276 |2089 |1352 |  28k|  1 |1076 |3586 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1184.93/1188.71	c  1189s| 11700 | 11677 |  2823k| 221.1 |   676M | 215 |1276 |2095 |1363 |  29k|  1 |1085 |3617 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1192.41/1196.25	c  1196s| 11800 | 11777 |  2840k| 220.7 |   676M | 215 |1276 |2091 |1412 |  29k|  1 |1085 |3647 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1201.08/1204.92	c  1205s| 11900 | 11877 |  2860k| 220.5 |   676M | 215 |1276 |2093 |1465 |  29k|  1 |1094 |3687 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1208.95/1212.82	c  1213s| 12000 | 11977 |  2884k| 220.6 |   676M | 215 |1276 |2091 |1473 |  30k|  1 |1094 |3707 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1214.83/1218.70	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1214.83/1218.70	c  1219s| 12100 | 12077 |  2902k| 220.4 |   676M | 215 |1276 |2095 |1511 |  30k|  2 |1098 |3712 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1220.13/1224.10	c  1224s| 12200 | 12177 |  2914k| 219.6 |   676M | 215 |1276 |2091 |1337 |  30k|  1 |1098 |3740 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1225.70/1229.66	c  1230s| 12300 | 12277 |  2929k| 219.1 |   677M | 215 |1276 |2098 |1498 |  30k|  1 |1106 |3751 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1230.98/1234.99	c  1235s| 12400 | 12377 |  2944k| 218.5 |   677M | 235 |1276 |2103 |1460 |  30k|  1 |1111 |3760 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1239.16/1243.12	c  1243s| 12500 | 12475 |  2970k| 218.9 |   678M | 235 |1276 |2127 |1397 |  31k|  1 |1136 |3768 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1246.14/1250.12	c  1250s| 12600 | 12575 |  2992k| 218.9 |   679M | 235 |1276 |2133 |1459 |  31k|  1 |1143 |3779 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1253.70/1257.73	c  1258s| 12700 | 12673 |  3016k| 219.0 |   679M | 235 |1276 |2160 |1403 |  31k|  1 |1178 |3791 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1262.28/1266.34	c  1266s| 12800 | 12773 |  3044k| 219.4 |   680M | 235 |1276 |2168 |1480 |  32k|  1 |1186 |3808 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1268.65/1272.74	c  1273s| 12900 | 12873 |  3064k| 219.3 |   682M | 235 |1276 |2166 |1520 |  32k|  1 |1186 |3814 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1275.63/1279.70	c  1280s| 13000 | 12969 |  3090k| 219.6 |   682M | 235 |1276 |2166 |1474 |  32k|  1 |1188 |3815 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1281.21/1285.35	c  1285s| 13100 | 13069 |  3107k| 219.2 |   682M | 235 |1276 |2166 |1430 |  32k|  1 |1188 |3820 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1287.09/1291.20	c  1291s| 13200 | 13169 |  3127k| 219.1 |   682M | 235 |1276 |2174 |1453 |  33k|  1 |1196 |3820 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1293.47/1297.66	c  1298s| 13300 | 13269 |  3146k| 219.0 |   683M | 235 |1276 |2188 |1444 |  33k|  2 |1211 |3821 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1298.87/1303.07	c  1303s| 13400 | 13367 |  3164k| 218.7 |   683M | 235 |1276 |2190 |1444 |  33k|  1 |1213 |3821 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1305.63/1309.84	c  1310s| 13500 | 13467 |  3183k| 218.5 |   683M | 235 |1276 |2209 |1400 |  33k|  1 |1232 |3825 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1311.21/1315.42	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1311.21/1315.42	c  1315s| 13600 | 13567 |  3200k| 218.1 |   684M | 235 |1276 |2213 |1462 |  34k|  1 |1236 |3827 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1317.49/1321.71	c  1322s| 13700 | 13667 |  3221k| 218.0 |   684M | 235 |1276 |2245 |1491 |  34k|  2 |1271 |3831 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1324.07/1328.35	c  1328s| 13800 | 13767 |  3245k| 218.2 |   685M | 235 |1276 |2252 |1450 |  34k|  1 |1281 |3834 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1331.55/1335.83	c  1336s| 13900 | 13867 |  3272k| 218.6 |   685M | 235 |1276 |2259 |1443 |  35k|  1 |1289 |3834 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1336.84/1341.16	c  1341s| 14000 | 13967 |  3288k| 218.1 |   685M | 235 |1276 |2255 |1333 |  35k|  1 |1289 |3840 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1344.91/1349.22	c  1349s| 14100 | 14067 |  3305k| 217.9 |   685M | 235 |1276 |2254 |1450 |  35k|  1 |1289 |3841 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1353.58/1357.90	c  1358s| 14200 | 14167 |  3329k| 218.0 |   686M | 239 |1276 |2289 |1407 |  36k|  1 |1326 |3847 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1360.96/1365.31	c  1365s| 14300 | 14267 |  3349k| 217.9 |   686M | 239 |1276 |2287 |1273 |  36k|  1 |1328 |3850 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1365.66/1370.06	c  1370s| 14400 | 14367 |  3362k| 217.3 |   686M | 239 |1276 |2288 |1455 |  36k|  1 |1329 |3855 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1374.22/1378.66	c  1379s| 14500 | 14467 |  3389k| 217.7 |   686M | 239 |1276 |2287 |1460 |  36k|  1 |1329 |3855 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1382.20/1386.68	c  1387s| 14600 | 14567 |  3413k| 217.8 |   687M | 239 |1276 |2315 |1462 |  37k|  1 |1360 |3859 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1388.28/1392.73	c  1393s| 14700 | 14667 |  3432k| 217.6 |   687M | 239 |1276 |2316 |1508 |  37k|  1 |1361 |3862 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1395.46/1399.92	c  1400s| 14800 | 14767 |  3453k| 217.6 |   687M | 239 |1276 |2337 |1407 |  37k|  1 |1383 |3864 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1401.34/1405.83	c  1406s| 14900 | 14867 |  3473k| 217.4 |   687M | 239 |1276 |2338 |1492 |  37k|  1 |1386 |3865 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1408.53/1413.01	c  1413s| 15000 | 14965 |  3500k| 217.8 |   685M | 239 |1276 |2369 |1403 |  38k|  1 |1428 |3865 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1414.00/1418.54	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1414.00/1418.54	c  1419s| 15100 | 15065 |  3517k| 217.5 |   685M | 239 |1276 |2371 |1437 |  38k|  1 |1434 |3866 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1420.18/1424.73	c  1425s| 15200 | 15165 |  3537k| 217.4 |   685M | 239 |1276 |2368 |1381 |  38k|  1 |1434 |3873 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1426.47/1431.07	c  1431s| 15300 | 15265 |  3557k| 217.3 |   685M | 239 |1276 |2373 |1378 |  39k|  1 |1445 |3873 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1434.33/1438.93	c  1439s| 15400 | 15365 |  3579k| 217.3 |   685M | 239 |1276 |2369 |1284 |  39k|  2 |1449 |3894 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1439.53/1444.12	c  1444s| 15500 | 15465 |  3594k| 216.9 |   685M | 239 |1276 |2367 |1463 |  39k|  1 |1451 |3904 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1447.29/1451.93	c  1452s| 15600 | 15561 |  3614k| 216.8 |   686M | 239 |1276 |2364 |1384 |  39k|  2 |1452 |3932 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1453.38/1458.11	c  1458s| 15700 | 15659 |  3629k| 216.4 |   687M | 239 |1276 |2369 |1366 |  40k|  2 |1464 |3947 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1460.84/1465.59	c  1466s| 15800 | 15759 |  3648k| 216.2 |   687M | 239 |1276 |2368 |1433 |  40k|  1 |1466 |3962 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1471.80/1476.55	c  1477s| 15900 | 15855 |  3676k| 216.6 |   687M | 239 |1276 |2370 |1385 |  40k|  1 |1476 |3996 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1483.07/1487.82	c  1488s| 16000 | 15945 |  3715k| 217.6 |   687M | 239 |1276 |2371 |1429 |  40k|  2 |1481 |4018 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1490.05/1494.88	c  1495s| 16100 | 16041 |  3731k| 217.3 |   687M | 239 |1276 |2372 |1526 |  41k|  1 |1482 |4039 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1497.92/1502.73	c  1503s| 16200 | 16141 |  3753k| 217.3 |   687M | 239 |1276 |2368 |1480 |  41k|  1 |1482 |4057 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1506.20/1511.05	c  1511s| 16300 | 16239 |  3773k| 217.2 |   688M | 239 |1276 |2369 |1462 |  41k|  1 |1494 |4085 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1516.86/1521.71	c  1522s| 16400 | 16339 |  3801k| 217.6 |   688M | 239 |1276 |2395 |1460 |  41k|  2 |1536 |4115 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1525.93/1530.86	c  1531s| 16500 | 16437 |  3823k| 217.6 |   688M | 239 |1276 |2418 |1433 |  42k|  1 |1572 |4149 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1533.30/1538.22	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1533.30/1538.22	c  1538s| 16600 | 16537 |  3847k| 217.7 |   688M | 239 |1276 |2422 |1470 |  42k|  1 |1580 |4159 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1555.74/1560.71	c  1561s| 16700 | 16633 |  3905k| 219.7 |   688M | 239 |1276 |2425 |1466 |  42k|  1 |1583 |4196 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1563.61/1568.67	c  1569s| 16800 | 16729 |  3929k| 219.8 |   688M | 239 |1276 |2431 |1501 |  42k|  1 |1593 |4220 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1573.48/1578.51	c  1579s| 16900 | 16817 |  3963k| 220.5 |   689M | 239 |1276 |2435 |1490 |  42k|  1 |1599 |4231 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1581.86/1586.91	c  1587s| 17000 | 16907 |  3990k| 220.8 |   689M | 239 |1276 |2440 |1515 |  43k|  1 |1605 |4249 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1612.06/1617.28	c  1617s| 17100 | 16995 |  4051k| 223.0 |   689M | 263 |1276 |2447 |1480 |  43k|  1 |1613 |4253 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1622.53/1627.77	c  1628s| 17200 | 17089 |  4084k| 223.5 |   689M | 263 |1276 |2472 |1494 |  43k|  1 |1641 |4266 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1628.71/1633.98	c  1634s| 17300 | 17181 |  4106k| 223.5 |   689M | 263 |1276 |2472 |1469 |  43k|  2 |1641 |4269 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1636.68/1641.99	c  1642s| 17400 | 17279 |  4135k| 223.9 |   689M | 263 |1276 |2472 |1460 |  43k|  1 |1641 |4283 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1643.16/1648.43	c  1648s| 17500 | 17375 |  4159k| 224.0 |   689M | 263 |1276 |2469 |1506 |  44k|  1 |1641 |4292 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1648.34/1653.66	c  1654s| 17600 | 17467 |  4176k| 223.7 |   690M | 263 |1276 |2468 |1511 |  44k|  2 |1641 |4298 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1655.02/1660.30	c  1660s| 17700 | 17561 |  4193k| 223.4 |   690M | 277 |1276 |2470 |1581 |  44k|  0 |1643 |4311 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1662.40/1667.79	c  1668s| 17800 | 17657 |  4217k| 223.5 |   690M | 297 |1276 |2520 |1536 |  44k|  1 |1698 |4315 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1668.87/1674.21	c  1674s| 17900 | 17757 |  4238k| 223.4 |   691M | 297 |1276 |2520 |1537 |  44k|  1 |1698 |4323 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1678.34/1683.71	c  1684s| 18000 | 17855 |  4267k| 223.8 |   691M | 297 |1276 |2523 |1500 |  44k|  1 |1701 |4346 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1684.74/1690.16	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1684.74/1690.16	c  1690s| 18100 | 17955 |  4290k| 223.8 |   692M | 297 |1276 |2590 |1521 |  45k|  1 |1770 |4348 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1706.45/1711.95	c  1712s| 18200 | 18047 |  4348k| 225.6 |   692M | 297 |1276 |2625 |1555 |  45k|  1 |1811 |4362 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1713.43/1718.92	c  1719s| 18300 | 18147 |  4366k| 225.4 |   693M | 297 |1276 |2622 |1528 |  45k|  1 |1813 |4395 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1730.98/1736.55	c  1737s| 18400 | 18239 |  4411k| 226.6 |   693M | 297 |1276 |2624 |1482 |  45k|  1 |1815 |4436 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1740.84/1746.42	c  1746s| 18500 | 18337 |  4438k| 226.8 |   693M | 297 |1276 |2650 |1481 |  45k|  1 |1843 |4459 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1750.12/1755.78	c  1756s| 18600 | 18433 |  4465k| 227.0 |   693M | 297 |1276 |2677 |1522 |  46k|  1 |1870 |4496 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1762.67/1768.39	c  1768s| 18700 | 18521 |  4502k| 227.7 |   693M | 297 |1276 |2681 |1495 |  46k|  1 |1874 |4531 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1774.45/1780.16	c  1780s| 18800 | 18617 |  4538k| 228.4 |   693M | 297 |1276 |2682 |1525 |  46k|  2 |1876 |4569 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1784.51/1790.25	c  1790s| 18900 | 18711 |  4569k| 228.8 |   694M | 297 |1276 |2680 |1417 |  46k|  1 |1883 |4592 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1796.77/1802.59	c  1803s| 19000 | 18805 |  4603k| 229.3 |   694M | 297 |1276 |2682 |1462 |  46k|  1 |1887 |4640 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1802.55/1808.30	c  1808s| 19100 | 18905 |  4622k| 229.1 |   695M | 297 |1276 |2677 |1374 |  47k|  1 |1887 |4641 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1810.13/1815.90	c  1816s| 19200 | 19001 |  4643k| 229.0 |   695M | 297 |1276 |2673 |1306 |  47k|  1 |1888 |4667 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1817.00/1822.80	c  1823s| 19300 | 19101 |  4656k| 228.6 |   696M | 297 |1276 |2669 |1508 |  47k|  1 |1897 |4673 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1825.77/1831.65	c  1832s| 19400 | 19193 |  4682k| 228.7 |   696M | 297 |1276 |2667 |1371 |  47k|  1 |1909 |4705 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1835.44/1841.36	c  1841s| 19500 | 19291 |  4708k| 228.9 |   696M | 297 |1276 |2664 |1350 |  47k|  2 |1909 |4740 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1842.82/1848.74	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1842.82/1848.74	c  1849s| 19600 | 19391 |  4733k| 229.0 |   696M | 297 |1276 |2676 |1377 |  47k|  1 |1932 |4750 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1852.59/1858.53	c  1859s| 19700 | 19489 |  4761k| 229.2 |   696M | 297 |1276 |2669 |1395 |  48k|  1 |1933 |4785 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1862.96/1868.94	c  1869s| 19800 | 19589 |  4792k| 229.6 |   696M | 297 |1276 |2664 |1442 |  48k|  1 |1945 |4809 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1871.15/1877.12	c  1877s| 19900 | 19689 |  4817k| 229.7 |   696M | 297 |1276 |2677 |1299 |  48k|  1 |1970 |4829 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1879.81/1885.89	c  1886s| 20000 | 19789 |  4839k| 229.7 |   696M | 297 |1276 |2676 |1356 |  48k|  1 |1972 |4856 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1889.39/1895.47	c  1895s| 20100 | 19887 |  4869k| 230.0 |   696M | 297 |1276 |2679 |1462 |  49k|  1 |1977 |4881 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1897.27/1903.38	c  1903s| 20200 | 19977 |  4897k| 230.2 |   696M | 297 |1276 |2678 |1377 |  49k|  1 |1984 |4896 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1904.35/1910.42	c  1910s| 20300 | 20075 |  4920k| 230.2 |   697M | 297 |1276 |2679 |1478 |  49k|  1 |1986 |4906 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1912.32/1918.46	c  1918s| 20400 | 20173 |  4944k| 230.3 |   697M | 297 |1276 |2669 |1407 |  49k|  1 |1986 |4914 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1919.91/1926.09	c  1926s| 20500 | 20273 |  4970k| 230.4 |   698M | 297 |1276 |2663 |1409 |  50k|  1 |1986 |4925 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1926.58/1932.71	c  1933s| 20600 | 20373 |  4994k| 230.4 |   698M | 297 |1276 |2652 |1364 |  50k|  1 |1988 |4928 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1938.64/1944.83	c  1945s| 20700 | 20473 |  5034k| 231.2 |   698M | 297 |1276 |2644 |1362 |  50k|  1 |1988 |4937 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1945.02/1951.27	c  1951s| 20800 | 20571 |  5055k| 231.1 |   698M | 297 |1276 |2640 |1458 |  50k|  1 |1991 |4945 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1957.59/1963.80	c  1964s| 20900 | 20667 |  5095k| 231.9 |   699M | 297 |1276 |2676 |1394 |  50k|  1 |2049 |4954 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1965.46/1971.70	c  1972s| 21000 | 20767 |  5122k| 232.1 |   699M | 297 |1276 |2665 |1285 |  51k|  1 |2063 |4965 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1975.14/1981.45	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1975.14/1981.45	c  1981s| 21100 | 20867 |  5158k| 232.7 |   699M | 297 |1276 |2652 |1308 |  51k|  1 |2066 |4967 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1980.92/1987.25	c  1987s| 21200 | 20967 |  5177k| 232.5 |   699M | 297 |1276 |2656 |1486 |  51k|  1 |2094 |4971 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1985.90/1992.22	c  1992s| 21300 | 21067 |  5194k| 232.2 |   699M | 297 |1276 |2648 |1268 |  51k|  1 |2104 |4975 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1990.19/1996.53	c  1997s| 21400 | 21167 |  5208k| 231.8 |   699M | 297 |1276 |2644 |1382 |  51k|  1 |2106 |4978 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
1994.38/2000.73	c  2001s| 21500 | 21267 |  5221k| 231.3 |   700M | 297 |1276 |2630 |1274 |  51k|  1 |2107 |4978 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2001.16/2007.55	c  2008s| 21600 | 21367 |  5244k| 231.3 |   700M | 297 |1276 |2621 |1354 |  52k|  1 |2116 |4987 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2006.04/2012.41	c  2012s| 21700 | 21467 |  5260k| 231.0 |   700M | 297 |1276 |2618 |1287 |  52k|  1 |2127 |4987 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2012.74/2019.19	c  2019s| 21800 | 21563 |  5285k| 231.1 |   700M | 297 |1276 |2604 |1330 |  52k|  1 |2138 |4992 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2017.72/2024.14	c  2024s| 21900 | 21663 |  5302k| 230.8 |   700M | 297 |1276 |2595 |1373 |  52k|  1 |2138 |4995 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2024.19/2030.68	c  2031s| 22000 | 21761 |  5326k| 230.9 |   700M | 297 |1276 |2675 |1366 |  52k|  1 |2234 |4995 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2030.37/2036.88	c  2037s| 22100 | 21861 |  5347k| 230.8 |   700M | 297 |1276 |2673 |1454 |  53k|  1 |2239 |4995 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2038.95/2045.42	c  2045s| 22200 | 21961 |  5375k| 231.0 |   700M | 297 |1276 |2663 |1400 |  53k|  1 |2240 |5012 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2046.32/2052.84	c  2053s| 22300 | 22061 |  5396k| 230.9 |   700M | 297 |1276 |2655 |1385 |  53k|  1 |2240 |5029 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2061.38/2067.96	c  2068s| 22400 | 22161 |  5446k| 232.1 |   701M | 297 |1276 |2640 |1439 |  54k|  1 |2243 |5052 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2067.66/2074.27	c  2074s| 22500 | 22261 |  5464k| 231.8 |   702M | 297 |1276 |2631 |1286 |  54k|  1 |2243 |5070 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2076.23/2082.85	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2076.23/2082.85	c  2083s| 22600 | 22361 |  5494k| 232.1 |   702M | 297 |1276 |2620 |1417 |  54k|  1 |2243 |5087 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2084.52/2091.18	c  2091s| 22700 | 22461 |  5515k| 232.0 |   702M | 297 |1276 |2608 |1310 |  54k|  1 |2247 |5112 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2091.88/2098.55	c  2099s| 22800 | 22561 |  5530k| 231.7 |   702M | 297 |1276 |2694 |1294 |  54k|  1 |2353 |5143 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2098.56/2105.25	c  2105s| 22900 | 22653 |  5555k| 231.8 |   702M | 297 |1276 |2671 |1378 |  54k|  1 |2362 |5151 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2104.46/2111.11	c  2111s| 23000 | 22753 |  5575k| 231.6 |   702M | 297 |1276 |2662 |1315 |  55k|  1 |2362 |5154 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2113.52/2120.29	c  2120s| 23100 | 22849 |  5602k| 231.8 |   702M | 297 |1276 |2635 |1352 |  55k|  1 |2398 |5182 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2120.80/2127.55	c  2128s| 23200 | 22949 |  5621k| 231.6 |   702M | 297 |1276 |2618 |1330 |  55k|  2 |2400 |5196 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2126.98/2133.75	c  2134s| 23300 | 23049 |  5638k| 231.4 |   702M | 297 |1276 |2609 |1351 |  55k|  1 |2400 |5208 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2134.56/2141.36	c  2141s| 23400 | 23149 |  5654k| 231.1 |   702M | 297 |1276 |2616 |1389 |  55k|  1 |2434 |5235 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2140.94/2147.79	c  2148s| 23500 | 23245 |  5677k| 231.1 |   704M | 297 |1276 |2603 |1391 |  56k|  2 |2434 |5237 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2148.71/2155.59	c  2156s| 23600 | 23345 |  5701k| 231.1 |   704M | 297 |1276 |2584 |1468 |  56k|  1 |2438 |5248 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2158.09/2164.92	c  2165s| 23700 | 23443 |  5732k| 231.4 |   704M | 297 |1276 |2602 |1388 |  56k|  1 |2509 |5269 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2168.46/2175.37	c  2175s| 23800 | 23541 |  5759k| 231.6 |   704M | 297 |1276 |2586 |1337 |  56k|  2 |2534 |5299 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2173.54/2180.40	c  2180s| 23900 | 23641 |  5774k| 231.2 |   704M | 297 |1276 |2586 |1403 |  56k|  1 |2534 |5303 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2182.71/2189.68	c  2190s| 24000 | 23741 |  5798k| 231.3 |   704M | 297 |1276 |2585 |1409 |  57k|  1 |2555 |5333 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2192.38/2199.35	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2192.38/2199.35	c  2199s| 24100 | 23839 |  5831k| 231.7 |   704M | 297 |1276 |2563 |1298 |  57k|  1 |2557 |5350 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2197.67/2204.69	c  2205s| 24200 | 23939 |  5847k| 231.4 |   704M | 297 |1276 |2562 |1411 |  57k|  1 |2557 |5358 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2209.05/2216.04	c  2216s| 24300 | 24029 |  5882k| 231.8 |   704M | 297 |1276 |2558 |1485 |  57k|  1 |2566 |5412 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2216.81/2223.83	c  2224s| 24400 | 24129 |  5902k| 231.7 |   704M | 297 |1276 |2549 |1391 |  58k|  1 |2571 |5445 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2224.49/2231.55	c  2232s| 24500 | 24229 |  5924k| 231.7 |   704M | 297 |1276 |2543 |1410 |  58k|  1 |2611 |5458 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2233.46/2240.50	c  2240s| 24600 | 24327 |  5956k| 232.0 |   704M | 297 |1276 |2536 |1369 |  58k|  1 |2612 |5469 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2240.05/2247.17	c  2247s| 24700 | 24427 |  5979k| 232.0 |   704M | 297 |1276 |2569 |1406 |  58k|  1 |2666 |5476 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2245.82/2252.98	c  2253s| 24800 | 24527 |  5997k| 231.8 |   705M | 297 |1276 |2582 |1473 |  58k|  1 |2708 |5479 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2254.80/2261.94	c  2262s| 24900 | 24615 |  6029k| 232.1 |   705M | 297 |1276 |2578 |1378 |  59k|  1 |2715 |5489 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2262.17/2269.37	c  2269s| 25000 | 24715 |  6046k| 231.9 |   705M | 297 |1276 |2547 |1329 |  59k|  1 |2731 |5490 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2268.06/2275.20	c  2275s| 25100 | 24815 |  6063k| 231.7 |   705M | 297 |1276 |2541 |1378 |  59k|  1 |2742 |5495 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2274.34/2281.55	c  2282s| 25200 | 24911 |  6086k| 231.7 |   705M | 297 |1276 |2540 |1517 |  59k|  1 |2746 |5498 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2278.72/2285.97	c  2286s| 25300 | 25005 |  6099k| 231.3 |   705M | 297 |1276 |2534 |1356 |  59k|  1 |2751 |5502 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2286.30/2293.50	c  2293s| 25400 | 25093 |  6126k| 231.4 |   708M | 297 |1276 |2535 |1492 |  60k|  1 |2764 |5503 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2290.99/2298.21	c  2298s| 25500 | 25187 |  6142k| 231.2 |   708M | 297 |1276 |2562 |1465 |  60k|  1 |2819 |5507 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2294.89/2302.16	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2294.89/2302.16	c  2302s| 25600 | 25285 |  6157k| 230.9 |   709M | 297 |1276 |2555 |1371 |  60k|  1 |2825 |5514 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2301.45/2308.74	c  2309s| 25700 | 25385 |  6180k| 230.9 |   709M | 297 |1276 |2551 |1403 |  60k|  1 |2845 |5514 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2317.90/2325.29	c  2325s| 25800 | 25481 |  6231k| 231.9 |   710M | 297 |1276 |2551 |1417 |  60k|  1 |2847 |5519 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2326.08/2333.42	c  2333s| 25900 | 25577 |  6260k| 232.1 |   710M | 297 |1276 |2547 |1427 |  61k|  1 |2849 |5520 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2331.78/2339.13	c  2339s| 26000 | 25677 |  6277k| 231.9 |   711M | 297 |1276 |2554 |1413 |  61k|  1 |2860 |5524 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2336.45/2343.82	c  2344s| 26100 | 25777 |  6293k| 231.6 |   711M | 297 |1276 |2531 |1348 |  61k|  2 |2870 |5525 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2341.93/2349.34	c  2349s| 26200 | 25877 |  6311k| 231.4 |   711M | 297 |1276 |2525 |1446 |  61k|  2 |2871 |5525 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2348.41/2355.89	c  2356s| 26300 | 25977 |  6334k| 231.4 |   711M | 297 |1276 |2539 |1519 |  62k|  1 |2907 |5527 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2360.98/2368.42	c  2368s| 26400 | 26069 |  6378k| 232.2 |   711M | 297 |1276 |2577 |1513 |  62k|  1 |2964 |5527 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2366.26/2373.78	c  2374s| 26500 | 26165 |  6395k| 232.0 |   712M | 297 |1276 |2584 |1419 |  62k|  1 |2979 |5528 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2374.83/2382.34	c  2382s| 26600 | 26265 |  6423k| 232.1 |   712M | 297 |1276 |2584 |1413 |  62k|  1 |2988 |5531 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2381.01/2388.59	c  2389s| 26700 | 26363 |  6444k| 232.0 |   713M | 297 |1276 |2620 |1524 |  63k|  1 |3051 |5532 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2392.98/2400.56	c  2401s| 26800 | 26459 |  6475k| 232.3 |   713M | 297 |1276 |2607 |1372 |  63k|  1 |3052 |5554 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2398.86/2406.48	c  2406s| 26900 | 26559 |  6494k| 232.2 |   713M | 297 |1276 |2600 |1315 |  63k|  1 |3066 |5554 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2409.63/2417.27	c  2417s| 27000 | 26659 |  6521k| 232.3 |   713M | 297 |1276 |2620 |1334 |  63k|  1 |3097 |5582 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2419.30/2426.99	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2419.30/2426.99	c  2427s| 27100 | 26757 |  6552k| 232.6 |   713M | 297 |1276 |2621 |1332 |  64k|  1 |3109 |5593 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2425.08/2432.73	c  2433s| 27200 | 26857 |  6568k| 232.3 |   714M | 297 |1276 |2625 |1352 |  64k|  1 |3131 |5603 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2431.96/2439.63	c  2440s| 27300 | 26955 |  6584k| 232.1 |   714M | 297 |1276 |2618 |1486 |  64k|  1 |3142 |5625 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2439.74/2447.48	c  2447s| 27400 | 27053 |  6606k| 232.0 |   715M | 297 |1276 |2613 |1496 |  64k|  2 |3145 |5641 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2445.82/2453.52	c  2454s| 27500 | 27153 |  6624k| 231.9 |   715M | 297 |1276 |2599 |1321 |  65k|  1 |3154 |5652 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2455.19/2462.92	c  2463s| 27600 | 27247 |  6649k| 231.9 |   715M | 297 |1276 |2598 |1528 |  65k|  1 |3165 |5691 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2470.04/2477.86	c  2478s| 27700 | 27339 |  6696k| 232.7 |   715M | 297 |1276 |2591 |1377 |  65k|  1 |3167 |5714 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2476.24/2484.05	c  2484s| 27800 | 27439 |  6717k| 232.7 |   715M | 297 |1276 |2590 |1444 |  65k|  1 |3167 |5716 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2483.50/2491.35	c  2491s| 27900 | 27539 |  6737k| 232.6 |   715M | 297 |1276 |2585 |1405 |  66k|  2 |3183 |5742 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2491.38/2499.28	c  2499s| 28000 | 27633 |  6760k| 232.5 |   715M | 297 |1276 |2578 |1328 |  66k|  1 |3185 |5762 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2499.06/2506.92	c  2507s| 28100 | 27723 |  6785k| 232.6 |   715M | 297 |1276 |2571 |1432 |  66k|  0 |3193 |5779 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2508.33/2516.28	c  2516s| 28200 | 27823 |  6809k| 232.6 |   716M | 297 |1276 |2570 |1494 |  66k|  2 |3195 |5799 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2513.61/2521.50	c  2522s| 28300 | 27921 |  6827k| 232.4 |   716M | 297 |1276 |2563 |1365 |  66k|  1 |3197 |5799 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2523.09/2531.06	c  2531s| 28400 | 28017 |  6853k| 232.5 |   716M | 297 |1276 |2557 |1321 |  67k|  1 |3209 |5841 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2534.55/2542.54	c  2543s| 28500 | 28111 |  6889k| 233.0 |   716M | 297 |1276 |2551 |1355 |  67k|  1 |3213 |5864 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2542.04/2550.07	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2542.04/2550.07	c  2550s| 28600 | 28211 |  6910k| 232.9 |   716M | 297 |1276 |2550 |1401 |  67k|  1 |3223 |5893 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2558.88/2567.00	c  2567s| 28700 | 28299 |  6959k| 233.8 |   716M | 297 |1276 |2554 |1503 |  67k|  1 |3230 |5920 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2574.04/2582.17	c  2582s| 28800 | 28391 |  7004k| 234.5 |   716M | 297 |1276 |2540 |1311 |  68k|  1 |3234 |5967 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2577.62/2585.79	c  2586s| 28900 | 28491 |  7014k| 234.0 |   717M | 297 |1276 |2536 |1319 |  68k|  1 |3234 |5971 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2582.20/2590.35	c  2590s| 29000 | 28591 |  7027k| 233.7 |   718M | 297 |1276 |2536 |1464 |  68k|  1 |3234 |5973 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2587.39/2595.52	c  2596s| 29100 | 28691 |  7042k| 233.4 |   718M | 297 |1276 |2518 |1336 |  68k|  1 |3236 |5979 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2594.77/2602.97	c  2603s| 29200 | 28791 |  7065k| 233.4 |   718M | 297 |1276 |2513 |1368 |  68k|  1 |3236 |5984 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2602.34/2610.50	c  2610s| 29300 | 28887 |  7092k| 233.5 |   718M | 297 |1276 |2504 |1289 |  69k|  1 |3244 |5995 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2607.73/2615.94	c  2616s| 29400 | 28987 |  7109k| 233.3 |   718M | 297 |1276 |2504 |1389 |  69k|  1 |3257 |6001 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2614.41/2622.63	c  2623s| 29500 | 29087 |  7133k| 233.3 |   718M | 297 |1276 |2494 |1399 |  69k|  1 |3257 |6003 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2619.99/2628.29	c  2628s| 29600 | 29187 |  7151k| 233.2 |   719M | 297 |1276 |2483 |1344 |  70k|  1 |3274 |6004 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2624.08/2632.40	c  2632s| 29700 | 29287 |  7164k| 232.8 |   719M | 297 |1276 |2479 |1354 |  70k|  1 |3274 |6004 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2631.06/2639.37	c  2639s| 29800 | 29387 |  7186k| 232.8 |   719M | 297 |1276 |2506 |1270 |  70k|  1 |3326 |6011 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2635.54/2643.80	c  2644s| 29900 | 29487 |  7200k| 232.5 |   719M | 297 |1276 |2500 |1304 |  70k|  1 |3326 |6016 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2639.93/2648.20	c  2648s| 30000 | 29587 |  7214k| 232.2 |   719M | 297 |1276 |2494 |1337 |  70k|  1 |3331 |6016 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2644.91/2653.24	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2644.91/2653.24	c  2653s| 30100 | 29687 |  7228k| 231.9 |   719M | 297 |1276 |2493 |1386 |  70k|  1 |3333 |6017 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2650.60/2659.00	c  2659s| 30200 | 29787 |  7246k| 231.7 |   719M | 297 |1276 |2492 |1460 |  71k|  1 |3333 |6022 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2664.16/2672.52	c  2673s| 30300 | 29883 |  7300k| 232.7 |   719M | 297 |1276 |2487 |1441 |  71k|  1 |3335 |6030 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2670.24/2678.67	c  2679s| 30400 | 29983 |  7321k| 232.6 |   719M | 297 |1276 |2500 |1497 |  71k|  1 |3358 |6035 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2677.73/2686.18	c  2686s| 30500 | 30083 |  7348k| 232.8 |   723M | 297 |1276 |2512 |1461 |  72k|  1 |3376 |6042 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2684.40/2692.87	c  2693s| 30600 | 30183 |  7371k| 232.8 |   723M | 297 |1276 |2514 |1503 |  72k|  1 |3384 |6053 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2692.18/2700.68	c  2701s| 30700 | 30277 |  7401k| 233.0 |   723M | 297 |1276 |2523 |1501 |  72k|  1 |3394 |6055 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2698.96/2707.46	c  2707s| 30800 | 30377 |  7427k| 233.0 |   723M | 297 |1276 |2546 |1462 |  72k|  1 |3424 |6055 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2705.14/2713.61	c  2714s| 30900 | 30475 |  7448k| 233.0 |   723M | 297 |1276 |2553 |1494 |  73k|  1 |3434 |6056 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2712.02/2720.52	c  2721s| 31000 | 30571 |  7473k| 233.0 |   724M | 297 |1276 |2550 |1526 |  73k|  0 |3434 |6059 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2718.99/2727.52	c  2728s| 31100 | 30671 |  7500k| 233.2 |   724M | 297 |1276 |2572 |1460 |  73k|  1 |3468 |6059 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2727.48/2736.03	c  2736s| 31200 | 30767 |  7529k| 233.3 |   724M | 297 |1276 |2574 |1453 |  73k|  1 |3470 |6061 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2735.74/2744.33	c  2744s| 31300 | 30861 |  7553k| 233.4 |   724M | 297 |1276 |2593 |1475 |  74k|  1 |3491 |6068 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2747.42/2756.07	c  2756s| 31400 | 30955 |  7578k| 233.4 |   725M | 297 |1276 |2595 |1487 |  74k|  1 |3494 |6117 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2754.68/2763.34	c  2763s| 31500 | 31055 |  7606k| 233.5 |   725M | 297 |1276 |2593 |1448 |  74k|  1 |3497 |6122 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2762.47/2771.13	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2762.47/2771.13	c  2771s| 31600 | 31155 |  7632k| 233.6 |   726M | 297 |1276 |2591 |1488 |  74k|  1 |3497 |6130 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2769.94/2778.61	c  2779s| 31700 | 31253 |  7660k| 233.8 |   726M | 297 |1276 |2590 |1458 |  74k|  1 |3497 |6139 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2776.43/2785.13	c  2785s| 31800 | 31351 |  7686k| 233.8 |   727M | 297 |1276 |2682 |1493 |  75k|  1 |3589 |6140 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2785.79/2794.55	c  2795s| 31900 | 31447 |  7713k| 234.0 |   727M | 297 |1276 |2736 |1469 |  75k|  1 |3646 |6161 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2795.16/2803.97	c  2804s| 32000 | 31543 |  7746k| 234.3 |   727M | 297 |1276 |2738 |1504 |  75k|  0 |3648 |6180 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2803.54/2812.38	c  2812s| 32100 | 31627 |  7773k| 234.3 |   727M | 297 |1276 |2743 |1508 |  75k|  1 |3654 |6209 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2814.60/2823.43	c  2823s| 32200 | 31715 |  7813k| 234.8 |   727M | 297 |1276 |2744 |1481 |  75k|  1 |3656 |6246 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2834.44/2843.38	c  2843s| 32300 | 31808 |  7844k| 235.1 |   727M | 297 |1276 |2731 |1526 |  76k|  1 |3663 |6460 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2846.51/2855.49	c  2855s| 32400 | 31898 |  7882k| 235.5 |   729M | 297 |1276 |2730 |1521 |  76k|  1 |3665 |6465 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2856.09/2865.10	c  2865s| 32500 | 31990 |  7921k| 236.0 |   729M | 297 |1276 |2733 |1513 |  76k|  1 |3669 |6472 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2865.95/2874.97	c  2875s| 32600 | 32070 |  7964k| 236.5 |   729M | 297 |1276 |2738 |1517 |  76k|  1 |3677 |6479 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2892.09/2901.16	c  2901s| 32700 | 32162 |  8051k| 238.4 |   730M | 297 |1276 |2726 |1256 |  77k|  1 |3679 |6511 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2899.75/2908.89	c  2909s| 32800 | 32246 |  8083k| 238.7 |   730M | 297 |1276 |2730 |1510 |  77k|  1 |3687 |6513 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2906.83/2916.00	c  2916s| 32900 | 32340 |  8110k| 238.8 |   730M | 297 |1276 |2714 |1490 |  77k|  1 |3687 |6516 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2915.11/2924.27	c  2924s| 33000 | 32420 |  8142k| 239.0 |   730M | 297 |1276 |2700 |1290 |  77k|  1 |3695 |6525 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2922.38/2931.51	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2922.38/2931.51	c  2932s| 33100 | 32520 |  8170k| 239.1 |   730M | 297 |1276 |2694 |1307 |  77k|  1 |3717 |6526 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2927.37/2936.54	c  2937s| 33200 | 32620 |  8180k| 238.7 |   730M | 297 |1276 |2694 |1364 |  77k|  1 |3717 |6543 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2937.54/2946.76	c  2947s| 33300 | 32704 |  8215k| 239.0 |   730M | 297 |1276 |2704 |1516 |  78k|  0 |3732 |6568 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2949.60/2958.88	c  2959s| 33400 | 32775 |  8257k| 239.5 |   731M | 297 |1276 |2717 |1324 |  78k|  2 |3749 |6609 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2956.48/2965.73	c  2966s| 33500 | 32875 |  8283k| 239.6 |   731M | 297 |1276 |2710 |1316 |  78k|  1 |3786 |6610 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2962.87/2972.17	c  2972s| 33600 | 32965 |  8304k| 239.5 |   731M | 297 |1276 |2720 |1505 |  78k|  1 |3797 |6633 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2973.43/2982.75	c  2983s| 33700 | 33043 |  8342k| 239.9 |   731M | 297 |1276 |2717 |1493 |  78k|  1 |3801 |6668 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2982.20/2991.60	c  2992s| 33800 | 33137 |  8373k| 240.1 |   731M | 297 |1276 |2715 |1472 |  78k|  1 |3801 |6696 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2991.28/3000.65	c  3001s| 33900 | 33231 |  8406k| 240.4 |   732M | 297 |1276 |2718 |1493 |  78k|  1 |3808 |6733 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
2999.67/3009.07	c  3009s| 34000 | 33315 |  8439k| 240.7 |   733M | 297 |1276 |2721 |1498 |  79k|  1 |3813 |6759 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
3008.23/3017.65	c  3018s| 34100 | 33387 |  8474k| 241.0 |   733M | 297 |1276 |2735 |1492 |  79k|  1 |3832 |6782 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
3025.48/3034.99	c  3035s| 34200 | 33477 |  8534k| 242.0 |   733M | 297 |1276 |2821 |1505 |  79k|  1 |3930 |6803 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
3034.66/3044.17	c  3044s| 34300 | 33548 |  8574k| 242.4 |   733M | 297 |1276 |2826 |1508 |  79k|  1 |3951 |6817 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
3043.33/3052.83	c  3053s| 34400 | 33610 |  8611k| 242.8 |   733M | 297 |1276 |2834 |1517 |  79k|  1 |3968 |6829 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
3051.90/3061.43	c  3061s| 34500 | 33671 |  8645k| 243.1 |   734M | 297 |1276 |2819 |1511 |  79k|  1 |3982 |6851 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
3059.28/3068.84	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3059.28/3068.84	c  3069s| 34600 | 33722 |  8677k| 243.3 |   734M | 297 |1276 |2791 |1532 |  80k|  1 |3997 |6860 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
3081.62/3091.24	c  3091s| 34700 | 33804 |  8753k| 244.7 |   734M | 297 |1276 |2793 |1452 |  80k|  1 |4009 |6865 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
3090.19/3099.88	c  3100s| 34800 | 33880 |  8789k| 245.0 |   734M | 297 |1276 |2801 |1508 |  80k|  1 |4033 |6868 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
3099.17/3108.86	c  3109s| 34900 | 33963 |  8823k| 245.3 |   734M | 297 |1276 |2783 |1324 |  80k|  1 |4041 |6882 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
3105.85/3115.59	c  3116s| 35000 | 34063 |  8848k| 245.3 |   734M | 297 |1276 |2760 |1309 |  80k|  2 |4056 |6888 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
3114.12/3123.81	c  3124s| 35100 | 34157 |  8875k| 245.4 |   734M | 297 |1276 |2749 |1532 |  80k|  1 |4094 |6896 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
3123.49/3133.27	c  3133s| 35200 | 34191 |  8915k| 245.8 |   734M | 297 |1276 |2768 |1528 |  80k|  1 |4131 |6898 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
3149.92/3159.79	c  3160s| 35300 | 34259 |  9009k| 247.7 |   734M | 297 |1276 |2756 |1316 |  80k|  1 |4137 |6899 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
3175.44/3185.31	c  3185s| 35400 | 34335 |  9076k| 248.9 |   734M | 297 |1276 |2779 |1535 |  81k|  1 |4162 |6903 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
3186.51/3196.43	c  3196s| 35500 | 34375 |  9116k| 249.3 |   734M | 297 |1276 |2793 |1313 |  81k|  1 |4200 |6917 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
3197.48/3207.49	c  3207s| 35600 | 34475 |  9152k| 249.6 |   734M | 297 |1276 |2787 |1331 |  81k|  1 |4224 |6936 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
3207.95/3217.99	c  3218s| 35700 | 34575 |  9184k| 249.8 |   734M | 297 |1276 |2768 |1305 |  81k|  1 |4249 |6955 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
3214.23/3224.26	c  3224s| 35800 | 34657 |  9205k| 249.7 |   734M | 297 |1276 |2771 |   0 |  81k|  0 |4262 |6955 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
3233.47/3243.53	c  3244s| 35900 | 34733 |  9264k| 250.6 |   734M | 297 |1276 |2770 |1535 |  81k|  0 |4288 |6987 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
3247.13/3257.26	c  3257s| 36000 | 34796 |  9310k| 251.2 |   734M | 297 |1276 |2755 |1312 |  81k|  1 |4313 |7030 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
3267.07/3277.23	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3267.07/3277.23	c  3277s| 36100 | 34884 |  9369k| 252.1 |   734M | 297 |1276 |2753 |1493 |  81k|  1 |4328 |7061 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
3278.24/3288.48	c  3288s| 36200 | 34962 |  9405k| 252.4 |   734M | 297 |1276 |2752 |1533 |  81k|  2 |4335 |7087 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
3297.68/3307.96	c  3308s| 36300 | 35046 |  9470k| 253.4 |   736M | 297 |1276 |2802 |1464 |  82k|  1 |4405 |7102 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
3307.96/3318.25	c  3318s| 36400 | 35124 |  9503k| 253.6 |   737M | 297 |1276 |2809 |   0 |  82k|  0 |4417 |7134 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
3316.63/3327.00	c  3327s| 36500 | 35210 |  9535k| 253.8 |   737M | 297 |1276 |2805 |1517 |  82k|  1 |4429 |7175 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
3325.72/3336.02	c  3336s| 36600 | 35297 |  9562k| 253.9 |   737M | 297 |1276 |2777 |1299 |  82k|  1 |4456 |7209 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
3330.19/3340.52	c  3341s| 36700 | 35397 |  9574k| 253.5 |   737M | 297 |1276 |2776 |1349 |  82k|  2 |4456 |7217 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
3335.48/3345.85	c  3346s| 36800 | 35497 |  9588k| 253.2 |   737M | 297 |1276 |2792 |1340 |  82k|  1 |4492 |7227 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
3349.93/3360.34	c  3360s| 36900 | 35556 |  9634k| 253.7 |   737M | 297 |1276 |2775 |1517 |  82k|  1 |4509 |7259 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
3359.81/3370.28	c  3370s| 37000 | 35636 |  9674k| 254.1 |   737M | 297 |1276 |2768 |1518 |  83k|  1 |4520 |7278 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
3369.97/3380.48	c  3380s| 37100 | 35721 |  9712k| 254.5 |   739M | 297 |1276 |2757 |1481 |  83k|  1 |4526 |7298 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
3379.05/3389.50	c  3389s| 37200 | 35805 |  9749k| 254.8 |   739M | 297 |1276 |2760 |1540 |  83k|  1 |4534 |7304 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
3392.52/3403.06	c  3403s| 37300 | 35889 |  9797k| 255.3 |   739M | 297 |1276 |2736 |1510 |  83k|  1 |4545 |7310 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
3399.99/3410.57	c  3411s| 37400 | 35983 |  9824k| 255.4 |   739M | 297 |1276 |2716 |1311 |  83k|  1 |4575 |7322 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
3408.16/3418.73	c  3419s| 37500 | 36083 |  9853k| 255.5 |   739M | 297 |1276 |2669 |1313 |  83k|  1 |4587 |7326 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
3414.84/3425.45	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3414.84/3425.45	c  3425s| 37600 | 36183 |  9878k| 255.5 |   739M | 297 |1276 |2646 |1368 |  83k|  1 |4596 |7327 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
3423.43/3434.09	c  3434s| 37700 | 36279 |  9913k| 255.7 |   739M | 297 |1276 |2616 |1380 |  84k|  1 |4637 |7329 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
3429.51/3440.18	c  3440s| 37800 | 36365 |  9936k| 255.6 |   739M | 297 |1276 |2607 |1490 |  84k|  1 |4645 |7332 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
3434.40/3445.08	c  3445s| 37900 | 36465 |  9951k| 255.4 |   739M | 297 |1276 |2636 |1408 |  84k|  2 |4717 |7337 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
3442.27/3452.95	c  3453s| 38000 | 36563 |  9981k| 255.5 |   739M | 297 |1276 |2610 |1361 |  84k|  1 |4721 |7340 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
3447.95/3458.60	c  3459s| 38100 | 36663 |  9999k| 255.3 |   740M | 297 |1276 |2598 |1448 |  84k|  1 |4721 |7343 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
3468.59/3479.31	c  3479s| 38200 | 36733 | 10068k| 256.4 |   740M | 297 |1276 |2577 |1309 |  84k|  1 |4774 |7343 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
3476.07/3486.86	c  3487s| 38300 | 36831 | 10088k| 256.3 |   740M | 297 |1276 |2566 |1304 |  85k|  1 |4774 |7350 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
3483.95/3494.77	c  3495s| 38400 | 36931 | 10115k| 256.3 |   740M | 297 |1276 |2563 |1464 |  85k|  1 |4774 |7352 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
3496.91/3507.73	c  3508s| 38500 | 37019 | 10165k| 256.9 |   740M | 297 |1276 |2540 |1319 |  85k|  1 |4781 |7354 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
3502.21/3513.09	c  3513s| 38600 | 37119 | 10184k| 256.7 |   740M | 297 |1276 |2564 |1364 |  85k|  1 |4828 |7355 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
3507.08/3518.00	c  3518s| 38700 | 37219 | 10199k| 256.5 |   740M | 297 |1276 |2578 |1440 |  85k|  2 |4862 |7356 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
3513.17/3524.05	c  3524s| 38800 | 37313 | 10220k| 256.4 |   740M | 297 |1276 |2555 |1322 |  86k|  1 |4866 |7360 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
3517.65/3528.60	c  3529s| 38900 | 37413 | 10234k| 256.1 |   740M | 297 |1276 |2552 |1412 |  86k|  1 |4866 |7363 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
3526.62/3537.58	c  3538s| 39000 | 37513 | 10263k| 256.1 |   740M | 297 |1276 |2535 |1324 |  86k|  1 |4897 |7365 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
3535.11/3546.09	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3535.11/3546.09	c  3546s| 39100 | 37613 | 10293k| 256.2 |   740M | 297 |1276 |2516 |1318 |  86k|  1 |4950 |7365 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
3542.09/3553.03	c  3553s| 39200 | 37709 | 10319k| 256.3 |   740M | 297 |1276 |2495 |1324 |  86k|  1 |4956 |7365 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
3549.36/3560.32	c  3560s| 39300 | 37809 | 10346k| 256.3 |   740M | 297 |1276 |2476 |1322 |  86k|  1 |4976 |7367 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
3556.84/3567.81	c  3568s| 39400 | 37909 | 10374k| 256.4 |   740M | 297 |1276 |2489 |1398 |  87k|  1 |5003 |7368 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
3564.22/3575.29	c  3575s| 39500 | 37999 | 10404k| 256.5 |   740M | 297 |1276 |2492 |1517 |  87k|  1 |5018 |7369 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
3578.18/3589.25	c  3589s| 39600 | 38089 | 10447k| 256.9 |   740M | 297 |1276 |2504 |1347 |  87k|  2 |5073 |7386 | 0.000000e+00 | 5.898000e+03 |    Inf | unknown
3585.85/3597.00	c 
3585.85/3597.00	c SCIP Status        : solving was interrupted [time limit reached]
3585.85/3597.00	c Solving Time (sec) : 3597.00
3585.85/3597.00	c Solving Nodes      : 39658 (total of 40707 nodes in 2 runs)
3585.85/3597.00	c Primal Bound       : +5.89800000000000e+03 (5 solutions)
3585.85/3597.00	c Dual Bound         : +0.00000000000000e+00
3585.85/3597.00	c Gap                : infinite
3585.97/3597.01	s SATISFIABLE
3585.97/3597.01	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 x29 -x30 -x31
3585.97/3597.01	v -x32 -x33 -x34 x35 x36 -x37 x38 -x39 -x40 -x41 x42 x43 x44 -x45 x46 -x47 -x48 -x49 x50 x51 -x52 x53 x54 -x55 x56 x57 x58 x59 x60
3585.97/3597.01	v x61 x62 x63 -x64 x65 x66 x67 x68 -x69 x70 x71 x72 x73 x74 -x75 -x76 x77 x78 x79 x80 x81 x83 -x84 -x85 -x86 x87 -x88 x89 x90 -x91
3585.97/3597.01	v x92 x93 -x94 x95 x96 x98 -x99 x100 x101 -x102 x103 x104 -x105 x106 x107 x108 x109 x110 -x111 -x112 x113 x114 x115 x116 x117 x118
3585.97/3597.01	v x119 x120 x121 -x122 -x123 x124 x125 x126 x127 x128 -x129 -x130 x131 -x132 x133 -x134 -x135 x136 -x137 x138 -x139 -x140 -x141 -x142
3585.97/3597.01	v x143 x144 x145 x146 x147 x148 x149 x150 x151 x152 x153 x154 x155 -x156 x157 x158 -x159 -x160 -x161 x162 -x163 -x164 x165 -x166 -x167
3585.97/3597.01	v x168 -x169 x170 x171 x172 x173 x174 x175 x176 x177 x178 x179 x180 x181 -x182 x183 x184 x185 -x186 -x187 -x188 -x189 x190 -x191 -x192
3585.97/3597.01	v x193 x194 -x195 -x196 -x197 -x198 x199 -x200 -x201 -x202 -x204 x205 x206 x207 x208 x209 x210 x211 x212 x213 x214 -x215 x216 -x217
3585.97/3597.01	v x218 -x219 -x221 x222 x223 -x224 -x225 -x226 -x227 -x228 x229 x230 -x231 x232 x233 -x234 x235 -x236 x237 x238 x239 x240 x241 x242
3585.97/3597.01	v x243 x244 x245 -x246 x247 x248 -x249 -x250 x251 -x252 x253 x254 x255 -x256 -x257 -x258 -x259 -x260 x261 x262 -x263 -x264 -x265 -x266
3585.97/3597.01	v -x267 x268 x269 x270 x271 x272 -x273 -x274 -x275 -x276 -x277 x278 -x279 -x280 -x281 -x282 x283 -x284 -x285 x286 x287 -x288 -x289
3585.97/3597.01	v x290 -x291 -x292 x293 x294 -x295 x296 x297 x298 x299 x300 -x301 x302 -x303 x304 x305 -x306 x307 -x308 x309 -x310 -x311 -x312 x313
3585.97/3597.01	v -x314 -x315 x316 -x317 -x318 -x319 x320 x321 x322 -x323 -x324 -x325 x326 x327 -x328 x329 x330 x331 x332 x333 -x334 -x335 -x336 -x337
3585.97/3597.01	v -x338 -x339 x340 -x341 -x342 -x343 -x344 x345 -x346 x347 -x348 -x349 -x350 x351 -x352 -x353 x354 x355 x356 x357 -x358 x359 -x360
3585.97/3597.01	v x361 -x362 x363 -x364 -x365 -x366 -x367 x368 x369 -x370 -x371 -x372 -x373 -x374 -x375 x376 -x377 x378 x379 x380 -x381 x382 x383
3585.97/3597.01	v x384 -x385 -x386 -x387 -x388 x389 -x390 -x391 -x392 x393 x394 x395 -x396 -x397 -x399 x400 -x401 -x402 -x403 -x404 -x405 -x406 x407
3585.97/3597.01	v x408 -x409 x410 x411 x412 -x413 x414 -x415 -x416 -x417 -x418 x419 x420 x421 x422 x423 x424 -x425 x426 -x427 x428 -x429 -x430 x431
3585.97/3597.01	v x432 x433 -x434 -x435 -x436 -x437 x438 x439 x440 -x441 x443 -x444 -x445 -x446 -x447 x448 -x449 x450 x451 x452 x453 -x454 -x455 -x456
3585.97/3597.01	v -x457 x458 x459 x460 x461 x462 x463 x464 x465 x466 x467 x468 -x469 -x470 x471 -x472 -x473 -x474 x475 x476 x477 -x478 -x479 -x480
3585.97/3597.01	v x481 -x482 -x483 -x484 -x485 x486 x487 x488 x489 x490 x491 x492 x493 x494 x495 -x496 -x497 -x498 x499 x500 -x501 x502 -x503 -x504
3585.97/3597.01	v x505 -x506 x507 -x508 -x509 -x510 x511 x512 -x513 x514 x515 -x516 -x517 -x518 -x519 x520 x521 x522 -x523 -x524 x525 -x526 -x527
3585.97/3597.01	v x528 -x529 -x530 x531 -x532 x533 -x534 -x535 -x536 -x537 x538 -x539 -x540 x541 x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550
3585.97/3597.01	v -x551 x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 x561 x562 -x563 -x564 -x565 x566 -x567 -x568 x569 -x570 x571 -x572 -x573
3585.97/3597.01	v -x574 -x575 -x576 -x577 -x578 x579 x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 x590 -x591 -x592 -x593 -x594 -x595
3585.97/3597.01	v -x596 -x597 x598 x599 x600 x601 -x602 -x603 -x604 -x605 -x606 -x607 x608 -x609 -x610 -x611 x612 -x613 -x614 x615 x616 x617 -x618
3585.97/3597.01	v -x619 -x620 -x621 -x622 -x623 -x624 x625 -x626 -x627 x628 x629 -x630 x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640
3585.97/3597.01	v -x641 x642 -x644 x645 -x646 x647 x648 x649 x650 -x651 -x652 x653 -x654 -x655 x656 x657 x658 x659 x660 x661 x662 x663 x664 x665 -x666
3585.97/3597.01	v -x667 -x668 -x669 x670 -x671 -x672 -x673 -x674 x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 x684 x685 x686 x687 x688 x689
3585.97/3597.01	v x692 -x693 -x694 -x695 -x696 -x697 -x698 -x701 x702 -x703 -x704 x705 -x706 -x707 x708 -x709 -x710 x711 -x712 -x713 -x714 -x715 x716
3585.97/3597.01	v x717 x718 -x719 x720 -x721 -x722 -x723 -x724 x725 x726 -x727 x728 -x729 -x730 -x731 -x732 x733 x734 x735 -x736 -x737 -x738 -x739
3585.97/3597.01	v -x740 -x741 -x742 x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 x751 -x753 -x754 -x755 -x756 -x757 -x758 -x759 x760 x761 -x762
3585.97/3597.01	v x763 x764 -x765 x766 -x767 -x768 -x769 -x770 x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784
3585.97/3597.01	v x82 -x795 x97 x203 x220 x398 x442 x643 x690 x691 x699 x700 x752 x796 -x797 -x798 x799 -x800 -x801 -x802 x803 x804 -x805 x806 -x807
3585.97/3597.01	v x808 -x809 -x810 -x811 x812 x813 -x814 x815 x816 -x817 x818 x819 x820 x821 -x822 x823 x824 x825 -x826 -x827 x828 x829 x830 -x831
3585.97/3597.01	v x832 -x833 x834 -x835 -x836 x837 x838 -x839 x840 -x841 x842 x843 x844 x845 x846 x847 x848 -x849 -x850 -x851 -x852 -x853 -x854 x855
3585.97/3597.01	v x856 -x857 x858 x859 x860 x861 x862 -x863 x864 -x865 -x866 -x867 -x868 x869 x870 -x871 x872 x873 -x874 -x875 -x876 -x877 -x878 -x879
3585.97/3597.01	v x880 -x881 x882 x883 -x884 -x885 x886 x887 x888 -x889 -x890 x891 -x892 -x893 -x894 x895 x896 -x897 -x898 x899 x900 -x901 -x902 x903
3585.97/3597.01	v -x904 -x905 -x906 -x907 x908 x909 -x910 -x911 x912 -x913 -x914 x915 -x916 -x917 -x918 -x919 -x920 x921 -x922 x923 -x924 x925 -x926
3585.97/3597.01	v -x927 x928 -x929 -x930 x931 -x932 -x933 x934 x935 -x936 x937 -x938 x939 x940 x941 x942 -x943 x944 -x945 x946 x947 -x948 -x949 -x950
3585.97/3597.01	v x951 -x952 x953 -x954 -x955 -x956 -x957 x958 x959 x960 -x961 -x962 -x963 x964 -x965 x966 -x967 -x968 -x969 x970 x971 -x972 -x973
3585.97/3597.01	v x974 x975 -x976 -x977 -x978 x979 -x980 -x981 -x982 -x983 x984 -x985 x986 -x987 -x988 -x989 x990 x991 x992 -x993 x994 -x995 -x996
3585.97/3597.01	v -x997 -x998 -x999 -x1000 x1001 x1002 -x1003 x1004 -x1005 -x1006 x1007 x1008 x1009 -x1010 -x1011 x1012 x1013 -x1014 x1015 -x1016
3585.97/3597.01	v x1017 x1018 -x1019 x1020 -x1021 -x1022 -x1023 x1024 x1025 -x1026 x1027 x1028 -x1029 -x1030 -x1031 -x1032 x1033 -x1034 x1035 -x1036
3585.97/3597.01	v x1037 x1038 -x1039 x1040 x1041 x1042 x1043 -x1044 -x1045 -x1046 x1047 -x1048 x1049 -x1050 x1051 x1052 x1053 x1054 -x1055 -x1056
3585.97/3597.01	v -x1057 x1058 x1059 -x1060 x1061 x1062 -x1063 -x1064 x1065 x1066 -x1067 x1068 x1069 x1070 x1071 -x1072 -x1073 x1074 x1075 x1076 -x1077
3585.97/3597.01	v -x1078 -x1079 -x1080 -x1081 -x1082 x1083 x1084 x1085 x1086 -x1087 x1088 x1089 x1090 -x1091 x1092 x1093 -x1094 x1095 x1096 -x1097
3585.97/3597.01	v x1098 x1099 -x1100 x1101 -x1102 x1103 x1104 x1105 -x1106 x1107 x1108 -x1109 -x1110 x1111 -x1112 x1113 -x1114 -x1115 -x1116 -x1117
3585.97/3597.01	v -x1118 x1119 x1120 -x1121 x1122 -x1123 -x1124 -x1125 x1126 -x1127 -x1128 x1129 -x1130 -x1131 x1132 x1133 x1134 x1135 -x1136 -x1137
3585.97/3597.01	v -x1138 x1139 x1140 x1141 x1142 x1143 -x1144 x1145 x1146 -x1147 x1148 -x1149 -x1150 -x1151 -x1152 x1153 x1154 x1155 x1156 -x1157
3585.97/3597.01	v x1158 x1159 x1160 x1161 x1162 x1163 x1164 -x1165 x1166 -x1167 -x1168 x1169 -x1170 x1171 -x1172 x1173 -x1174 -x1175 -x1176 -x1177
3585.97/3597.01	v -x1178 x1179 -x1180 x1181 -x1182 x1183 -x1184 x1185 -x1186 x1187 -x1188 x1189 -x1190 x1191 x1192 -x1193 x1194 -x1195 x1196 -x1197
3585.97/3597.01	v x1198 -x1199 x1200 x1201 x1202 -x1203 x1204 -x1205 -x1206 x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 x1214 -x1215 x1216 -x1217
3585.97/3597.01	v x1218 x1219 -x1220 x1221 -x1222 -x1223 x1224 -x1225 -x1226 x1227 -x1228 -x1229 x1230 x1231 x1232 x1233 -x1234 x1235 x1236 -x1237
3585.97/3597.01	v -x1238 x1239 -x1240 -x1241 -x1242 x1243 x1244 x1245 -x1246 x1247 x1248 -x1249 -x1250 x1251 x1252 -x1253 x1254 -x1255 x1256 x1257
3585.97/3597.01	v x1258 -x1259 x1260 x1261 x1262 -x1263 x1264 -x1265 -x1266 x1267 -x1268 x1269 -x1270 -x1271 -x1272 -x1273 -x1274 x1275 x1276 -x1277
3585.97/3597.01	v -x1278 x1279 -x1280 -x1281 x1282 -x1283 x1284 x1285 x1286 -x1287 -x1288 -x1289 -x785 -x786 -x787 -x788 -x789 -x790 -x791 x792 -x793
3585.97/3597.01	v -x794
3585.97/3597.01	c SCIP Status        : solving was interrupted [time limit reached]
3585.97/3597.01	c Total Time         :    3597.00
3585.97/3597.01	c   solving          :    3597.00
3585.97/3597.01	c   presolving       :       1.92 (included in solving)
3585.97/3597.01	c   reading          :       0.20 (included in solving)
3585.97/3597.01	c   copying          :       0.70 (31 #copies) (minimal 0.02, maximal 0.03, average 0.02)
3585.97/3597.01	c Original Problem   :
3585.97/3597.01	c   Problem name     : HOME/instance-4523757-1751594759.opb
3585.97/3597.01	c   Variables        : 1289 (1289 binary, 0 integer, 0 continuous)
3585.97/3597.01	c   implied integral : 0 (0 binary, 0 integer, 0 continuous)
3585.97/3597.01	c   Constraints      : 1094 initial, 1094 maximal
3585.97/3597.01	c   Objective        : minimize, 773 non-zeros (abs.min = 1, abs.max = 15502)
3585.97/3597.01	c Presolved Problem  :
3585.97/3597.01	c   Problem name     : t_HOME/instance-4523757-1751594759.opb
3585.97/3597.01	c   Variables        : 1276 (1276 binary, 0 integer, 0 continuous)
3585.97/3597.01	c   implied integral : 0 (0 binary, 0 integer, 0 continuous)
3585.97/3597.01	c   Constraints      : 1263 initial, 2840 maximal
3585.97/3597.01	c   Objective        : minimize, 772 non-zeros (abs.min = 1, abs.max = 252)
3585.97/3597.01	c   Nonzeros         : 419097 constraint, 9 clique table
3585.97/3597.01	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
3585.97/3597.01	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.97/3597.01	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.97/3597.01	c   domcol           :       0.12       0.00      2          0          0          0          0          0          0          0          0          0
3585.97/3597.01	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.97/3597.01	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.97/3597.01	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.97/3597.01	c   dualsparsify     :       0.24       0.00      1          0          0          0          0          0          0          0          0          0
3585.97/3597.01	c   gateextraction   :       0.00       0.00      2          0          0          0          0          0          0          0          0          0
3585.97/3597.01	c   implics          :       0.00       0.00      5          0          0          0          0          0          0          0          0          0
3585.97/3597.01	c   implint          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.97/3597.01	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.97/3597.01	c   milp             :       0.28       0.00      1          0          0          0          0          0          0          0          0          0
3585.97/3597.01	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.97/3597.01	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.97/3597.01	c   sparsify         :       0.05       0.00      1          0          0          0          0          0          0          0          0          0
3585.97/3597.01	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.97/3597.01	c   trivial          :       0.00       0.00      7          0          0          0          0          0          0          0          0          0
3585.97/3597.01	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.97/3597.01	c   dualfix          :       0.00       0.00      7          0          0          0          0          0          0          0          0          0
3585.97/3597.01	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.97/3597.01	c   probing          :       0.06       0.00      1          0          0          0          0          0          0          0          0          0
3585.97/3597.01	c   pseudoobj        :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3585.97/3597.01	c   symmetry         :       0.07       0.00      1          0          0          0          0          0          0          0          0          0
3585.97/3597.01	c   vbounds          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.97/3597.01	c   knapsack         :       0.26       0.01     12          0          0          0          0          0          0          0          0          0
3585.97/3597.01	c   setppc           :       0.00       0.00     12          0          0          0          0          0          0          0          0          0
3585.97/3597.01	c   linear           :       0.57       0.10     10         13          0          0         13          0         22          0        200        400
3585.97/3597.01	c   logicor          :       0.01       0.00      5          0          0          0          0          0          0          0          0          8
3585.97/3597.01	c   components       :       0.22       0.00      2          0          0          0          0          0          0          0          0          0
3585.97/3597.01	c   root node        :          -          -      -          0          -          -          0          -          -          -          -          -
3585.97/3597.01	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
3585.97/3597.01	c   integral         :          0          0          0          0      39975          0          0       5871          0          0         43          0          0         18      79908
3585.97/3597.01	c   knapsack         :       1127+      1136         23     164531          0          0          0       5864      34746       2256       2197       4716          0          0          0
3585.97/3597.01	c   setppc           :          1          1         23      27948          0          0          0          8          0          0         16          0          0          0          0
3585.97/3597.01	c   linear           :          1+        71          0     119022          0          0          0          3       5679        177      13277          0          0          0          0
3585.97/3597.01	c   logicor          :        134+      1647         12      34685          0          0          0          0        171         87        130          0          0          0          0
3585.97/3597.01	c   fixedvar         :          0          0          0          0          0          0          0         10          0          0          0          0          0          0          0
3585.97/3597.01	c   countsols        :          0          0          0          0          0          0          0         10          0          0          0          0          0          0          0
3585.97/3597.01	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3585.97/3597.01	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
3585.97/3597.01	c   integral         :     546.17       0.00       0.00       0.00     546.17       0.00       0.00       0.00       0.00       0.00
3585.97/3597.01	c   knapsack         :      25.37       0.01       2.39      19.46       0.00       0.00       0.00       0.52       0.09       2.90
3585.97/3597.01	c   setppc           :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3585.97/3597.01	c   linear           :       0.62       0.10       0.00       0.46       0.00       0.00       0.00       0.00       0.03       0.03
3585.97/3597.01	c   logicor          :       0.27       0.00       0.00       0.25       0.00       0.00       0.00       0.00       0.00       0.01
3585.97/3597.01	c   fixedvar         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3585.97/3597.01	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3585.97/3597.01	c   components       :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3585.97/3597.01	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
3585.97/3597.01	c   dualfix          :          4          0          0          0
3585.97/3597.01	c   genvbounds       :          0          0          0          0
3585.97/3597.01	c   nlobbt           :          0          0          0          0
3585.97/3597.01	c   obbt             :          0          0          0          0
3585.97/3597.01	c   probing          :          0          0          0          0
3585.97/3597.01	c   pseudoobj        :      87252          0          0          0
3585.97/3597.01	c   redcost          :         33          0          0          0
3585.97/3597.01	c   rootredcost      :          4          0          0          0
3585.97/3597.01	c   symmetry         :          0          0          0          0
3585.97/3597.01	c   vbounds          :       1307          0          0          0
3585.97/3597.01	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
3585.97/3597.01	c   dualfix          :       0.00       0.00       0.00       0.00       0.00       0.00
3585.97/3597.01	c   genvbounds       :       0.00       0.00       0.00       0.00       0.00       0.00
3585.97/3597.01	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
3585.97/3597.01	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
3585.97/3597.01	c   probing          :       0.06       0.00       0.06       0.00       0.00       0.00
3585.97/3597.01	c   pseudoobj        :       0.16       0.00       0.00       0.15       0.00       0.00
3585.97/3597.01	c   redcost          :       0.09       0.00       0.00       0.09       0.00       0.00
3585.97/3597.01	c   rootredcost      :       0.04       0.00       0.00       0.03       0.00       0.01
3585.97/3597.01	c   symmetry         :       0.12       0.00       0.07       0.04       0.00       0.01
3585.97/3597.01	c   vbounds          :       0.05       0.00       0.00       0.05       0.00       0.01
3585.97/3597.01	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
3585.97/3597.01	c   propagation      :       0.19       2364       2279          -       5669       99.4          9      104.9          -          -          -
3585.97/3597.01	c   infeasible LP    :       0.43        547        542          -        899      117.9          3       99.7        376      642.9          0
3585.97/3597.01	c   bound exceed. LP :       1.77        358         22          -         29      129.4          0        0.0          0        0.0       3362
3585.97/3597.01	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
3585.97/3597.01	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
3585.97/3597.01	c   applied globally :       0.01          -          -          0       4703       92.9          -          -        376          -          -
3585.97/3597.01	c   applied locally  :          -          -          -          0          4      224.2          -          -          0          -          -
3585.97/3597.01	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
3585.97/3597.01	c   cut pool         :      18.97          -       8731         45          -          -     121637     754507          -          -          -          -          -    (maximal pool size:       9673)
3585.97/3597.01	c   aggregation      :      16.96       0.00        750         23          0          0      79791     652854          2      70561      70561          0          0
3585.97/3597.01	c   > cmir           :          -          -          -          -          -          -          -     615130          0      62008      62008          0          -
3585.97/3597.01	c   > flowcover      :          -          -          -          -          -          -          -      26835          0       7380       7380          0          -
3585.97/3597.01	c   > knapsackcover  :          -          -          -          -          -          -          -      10889          2       1173       1173          0          -
3585.97/3597.01	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.97/3597.01	c   clique           :       0.00       0.00         23         23          0          0          0          0          0          0          0          0          0
3585.97/3597.01	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.97/3597.01	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.97/3597.01	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.97/3597.01	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.97/3597.01	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.97/3597.01	c   gomory           :      52.50       0.00        747         20          0          0      40671      59327          0       3322       3322          0          0
3585.97/3597.01	c   > gomorymi       :          -          -          -          -          -          -          -      27080          0        820        820          0          -
3585.97/3597.01	c   > strongcg       :          -          -          -          -          -          -          -      32247          0       2502       2502          0          -
3585.97/3597.01	c   impliedbounds    :       0.02       0.00        750         23          0          0          0          0          0          0          0          0          0
3585.97/3597.01	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.97/3597.01	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.97/3597.01	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.97/3597.01	c   mcf              :       0.00       0.00          2          2          0          0          0          0          0          0          0          0          0
3585.97/3597.01	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.97/3597.01	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.97/3597.01	c   multilinear      :       0.00       0.00        166         23          0          0          0          0          0          0          0          0          0
3585.97/3597.01	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.97/3597.01	c   rapidlearning    :       0.01       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.97/3597.01	c   rlt              :       0.00       0.00         20         20          0          0          0          0          0          0          0          0          0
3585.97/3597.01	c   zerohalf         :       1.11       0.00        750         23          0          0       1178      42326          1      18221      18220          1          0
3585.97/3597.01	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
3585.97/3597.01	c   hybrid           :       1.91       0.00       7656         24      92104          0     667122       2454          0      21531
3585.97/3597.01	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
3585.97/3597.01	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
3585.97/3597.01	c Pricers            :   ExecTime  SetupTime      Calls       Vars
3585.97/3597.01	c   problem variables:       0.00          -          0          0
3585.97/3597.01	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
3585.97/3597.01	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
3585.97/3597.01	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
3585.97/3597.01	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
3585.97/3597.01	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
3585.97/3597.01	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
3585.97/3597.01	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
3585.97/3597.01	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
3585.97/3597.01	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
3585.97/3597.01	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
3585.97/3597.01	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
3585.97/3597.01	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
3585.97/3597.01	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
3585.97/3597.01	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
3585.97/3597.01	c   relpscost        :     546.12       0.00      39975          0          0          0         43          0         20      79908
3585.97/3597.01	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
3585.97/3597.01	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
3585.97/3597.01	c   LP solutions     :       0.00          -          -          0          0
3585.97/3597.01	c   relax solutions  :       0.00          -          -          0          0
3585.97/3597.01	c   pseudo solutions :       0.00          -          -          0          0
3585.97/3597.01	c   strong branching :       0.07          -          -          0          0
3585.97/3597.01	c   actconsdiving    :       0.00       0.00          0          0          0
3585.97/3597.01	c   adaptivediving   :      14.07       0.00         27          0          0
3585.97/3597.01	c   alns             :       7.28       0.00         11          2          2
3585.97/3597.01	c   bound            :       0.00       0.00          0          0          0
3585.97/3597.01	c   clique           :       0.13       0.00          1          0          0
3585.97/3597.01	c   coefdiving       :       0.00       0.00          0          0          0
3585.97/3597.01	c   completesol      :       0.00       0.00          0          0          0
3585.97/3597.01	c   conflictdiving   :       7.65       0.00        100          0          0
3585.97/3597.01	c   crossover        :       0.30       0.00          5          0          0
3585.97/3597.02	c   dins             :       0.00       0.00          0          0          0
3585.97/3597.02	c   distributiondivin:      85.11       0.00        100          0          0
3585.97/3597.02	c   dks              :       0.00       0.00          0          0          0
3585.97/3597.02	c   dps              :       0.00       0.00          0          0          0
3585.97/3597.02	c   dualval          :       0.00       0.00          0          0          0
3585.97/3597.02	c   farkasdiving     :      34.77       0.00          2          0          0
3585.97/3597.02	c   feaspump         :      29.40       0.00         28          0          0
3585.97/3597.02	c   fixandinfer      :       0.00       0.00          0          0          0
3585.97/3597.02	c   fracdiving       :      24.92       0.00        100          0          0
3585.97/3597.02	c   gins             :       0.08       0.00          0          0          0
3585.97/3597.02	c   guideddiving     :      35.03       0.00        100          0          0
3585.97/3597.02	c   indicator        :       0.00       0.00          0          0          0
3585.97/3597.02	c   indicatordiving  :       0.00       0.00          0          0          0
3585.97/3597.02	c   intdiving        :       0.00       0.00          0          0          0
3585.97/3597.02	c   intshifting      :       0.00       0.00          0          0          0
3585.97/3597.02	c   linesearchdiving :      17.10       0.00        100          0          0
3585.97/3597.02	c   localbranching   :       0.00       0.00          0          0          0
3585.97/3597.02	c   locks            :       0.30       0.00          1          1          1
3585.97/3597.02	c   lpface           :       0.28       0.00          2          0          0
3585.97/3597.02	c   mpec             :       0.00       0.00          0          0          0
3585.97/3597.02	c   multistart       :       0.00       0.00          0          0          0
3585.97/3597.02	c   mutation         :       0.00       0.00          0          0          0
3585.97/3597.02	c   nlpdiving        :       0.00       0.00          0          0          0
3585.97/3597.02	c   objpscostdiving  :      66.57       0.00          5          0          0
3585.97/3597.02	c   octane           :       0.00       0.00          0          0          0
3585.97/3597.02	c   ofins            :       0.00       0.00          0          0          0
3585.97/3597.02	c   oneopt           :       0.06       0.00          3          2          2
3585.97/3597.02	c   padm             :       0.00       0.00          0          0          0
3585.97/3597.02	c   proximity        :       0.00       0.00          0          0          0
3585.97/3597.02	c   pscostdiving     :      60.27       0.00        101          0          0
3585.97/3597.02	c   randrounding     :       1.23       0.00       5860          0          0
3585.97/3597.02	c   rens             :       0.10       0.00          2          0          0
3585.97/3597.02	c   reoptsols        :       0.00       0.00          0          0          0
3585.97/3597.02	c   repair           :       0.00       0.00          0          0          0
3585.97/3597.02	c   rins             :      53.15       0.00         13          0          0
3585.97/3597.02	c   rootsoldiving    :      46.12       0.00         10          0          0
3585.97/3597.02	c   rounding         :       3.06       0.00       3038          0          0
3585.97/3597.02	c   scheduler        :       0.00       0.00          0          0          0
3585.97/3597.02	c   shiftandpropagate:       0.00       0.00          0          0          0
3585.97/3597.02	c   shifting         :      13.00       0.00       1489          0          0
3585.97/3597.02	c   simplerounding   :       0.02       0.00          0          0          0
3585.97/3597.02	c   subnlp           :       0.00       0.00          0          0          0
3585.97/3597.02	c   trivial          :       0.00       0.00          4          0          0
3585.97/3597.02	c   trivialnegation  :       0.00       0.00          0          0          0
3585.97/3597.02	c   trustregion      :       0.00       0.00          0          0          0
3585.97/3597.02	c   trysol           :       0.01       0.00          0          0          0
3585.97/3597.02	c   twoopt           :       0.00       0.00          0          0          0
3585.97/3597.02	c   undercover       :       0.00       0.00          0          0          0
3585.97/3597.02	c   vbounds          :       0.00       0.00          0          0          0
3585.97/3597.02	c   veclendiving     :       5.75       0.00        100          0          0
3585.97/3597.02	c   zeroobj          :       0.00       0.00          0          0          0
3585.97/3597.02	c   zirounding       :       0.29       0.00       1000          0          0
3585.97/3597.02	c   other solutions  :          -          -          -          0          -
3585.97/3597.02	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
3585.97/3597.02	c   rens             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3585.97/3597.02	c   rins             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3585.97/3597.02	c   mutation         :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3585.97/3597.02	c   localbranching   :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3585.97/3597.02	c   crossover        :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3585.97/3597.02	c   proximity        :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3585.97/3597.02	c   zeroobjective    :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3585.97/3597.02	c   dins             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3585.97/3597.02	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
3585.97/3597.02	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
3585.97/3597.02	c   primal LP        :      32.69       3988          0       0.00       0.00      32.69       3988
3585.97/3597.02	c   dual LP          :    2340.69      48293    8934162     185.41    3816.89       0.69        106
3585.97/3597.02	c   lex dual LP      :       0.00          0          0       0.00          -
3585.97/3597.02	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
3585.97/3597.02	c   resolve instable :       0.14          1       1010    1010.00    7161.50
3585.97/3597.02	c   diving/probing LP:     450.67       6302    1533450     243.33    3402.56
3585.97/3597.02	c   strong branching :     453.06       7409    1286618     173.66    2839.86          -          -       1481
3585.97/3597.02	c     (at root node) :          -         59      15003     254.29          -
3585.97/3597.02	c   conflict analysis:       1.46        337       3362       9.98    2299.00
3585.97/3597.02	c Relaxators         :       Time      Calls    Cutoffs ImprBounds   ImprTime ReducedDom  Separated AddedConss
3585.97/3597.02	c   benders          :       0.00          0          0          0       0.00          0          0          0
3585.97/3597.02	c B&B Tree           :
3585.97/3597.02	c   number of runs   :          2
3585.97/3597.02	c   nodes            :      39658 (38905 internal, 753 leaves)
3585.97/3597.02	c   feasible leaves  :          0
3585.97/3597.02	c   infeas. leaves   :        356
3585.97/3597.02	c   objective leaves :        396
3585.97/3597.02	c   nodes (total)    :      40707 (39954 internal, 753 leaves)
3585.97/3597.02	c   nodes left       :      38140
3585.97/3597.02	c   max depth        :        297
3585.97/3597.02	c   max depth (total):        297
3585.97/3597.02	c   backtracks       :        680 (1.7%)
3585.97/3597.02	c   early backtracks :          0 (0.0%)
3585.97/3597.02	c   nodes exc. ref.  :          0 (0.0%)
3585.97/3597.02	c   delayed cutoffs  :         14
3585.97/3597.02	c   repropagations   :        956 (3615 domain reductions, 14 cutoffs)
3585.97/3597.02	c   avg switch length:       2.53
3585.97/3597.02	c   switching time   :      39.47
3585.97/3597.02	c Root Node          :
3585.97/3597.02	c   First LP value   : +0.00000000000000e+00
3585.97/3597.02	c   First LP Iters   :        249 (9143.99 Iter/sec)
3585.97/3597.02	c   First LP Time    :       0.03
3585.97/3597.02	c   Final Dual Bound : +0.00000000000000e+00
3585.97/3597.02	c   Final Root Iters :       5429
3585.97/3597.02	c   Root LP Estimate : +4.59040012778043e+02
3585.97/3597.02	c Solution           :
3585.97/3597.02	c   Solutions found  :          5 (5 improvements)
3585.97/3597.02	c   First Solution   : +1.39780000000000e+04   (in run 1, after 1 nodes, 2.46 seconds, depth 774, found by <locks>)
3585.97/3597.02	c   Gap First Sol.   :   infinite
3585.97/3597.02	c   Gap Last Sol.    :   infinite
3585.97/3597.02	c   Primal Bound     : +5.89800000000000e+03   (in run 2, after 8752 nodes, 973.90 seconds, depth 141, found by <oneopt>)
3585.97/3597.02	c   Dual Bound       : +0.00000000000000e+00
3585.97/3597.02	c   Gap              :   infinite
3585.97/3597.02	c Integrals          :      Total       Avg%
3585.97/3597.02	c   primal-dual      :  359699.56     100.00
3585.97/3597.02	c   primal-ref       :          -          - (not evaluated)
3585.97/3597.02	c   dual-ref         :          -          - (not evaluated)
3586.25/3597.30	c Time complete (sec):   3586.274

Verifier Data 

OK	5898

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: 63794 MiB (62257 MiB free)
  memory of node 1: 64507 MiB (62198 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523757-1751594759/watcher-4523757-1751594759 -o /tmp/evaluation-result-4523757-1751594759/solver-4523757-1751594759 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751590941-84095 --watchdog 3760 pbsolver -f HOME/instance-4523757-1751594759.opb -t 3600 -m 31000 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=84656, runsolver pid=84653

[startup+0.10007 s]*
/proc/loadavg: 4.10 4.16 4.17 6/250 84657
/proc/meminfo: memFree=127443668/131382112 swapFree=33010416/33010684
[pid=84656] ppid=84653 vsize=25376 memory=14976 CPUtime=0.1 cores=0,2
/proc/84656/stat : 84656 (pbsolver) R 84653 84656 84085 0 -1 4194304 1792 0 0 0 10 0 0 0 20 0 1 0 75155672 25985024 3744 18446744073709551615 4198400 14743177 140725969776480 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 40767488 140725969783178 140725969783274 140725969783274 140725969788876 0
/proc/84656/statm: 6344 3744 2176 2575 0 3251 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 25376 KiB
Current children cumulated memory: 14976 KiB

[startup+0.213222 s]*
/proc/loadavg: 4.10 4.16 4.17 5/250 84657
/proc/meminfo: memFree=127441904/131382112 swapFree=33010416/33010684
[pid=84656] ppid=84653 vsize=33972 memory=25216 CPUtime=0.21 cores=0,2
/proc/84656/stat : 84656 (pbsolver) R 84653 84656 84085 0 -1 4194304 4209 0 0 0 20 1 0 0 20 0 1 0 75155672 34787328 6304 18446744073709551615 4198400 14743177 140725969776480 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 40767488 140725969783178 140725969783274 140725969783274 140725969788876 0
/proc/84656/statm: 8493 6304 2368 2575 0 5400 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 33972 KiB
Current children cumulated memory: 25216 KiB

[startup+0.31318 s]*
/proc/loadavg: 4.10 4.16 4.17 5/250 84657
/proc/meminfo: memFree=127395284/131382112 swapFree=33010416/33010684
[pid=84656] ppid=84653 vsize=82200 memory=73592 CPUtime=0.31 cores=0,2
/proc/84656/stat : 84656 (pbsolver) R 84653 84656 84085 0 -1 4194304 17331 0 0 0 26 5 0 0 20 0 1 0 75155672 84172800 18398 18446744073709551615 4198400 14743177 140725969776480 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 40767488 140725969783178 140725969783274 140725969783274 140725969788876 0
/proc/84656/statm: 20550 18398 2368 2575 0 17457 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 82200 KiB
Current children cumulated memory: 73592 KiB

[startup+0.700282 s]
/proc/loadavg: 4.10 4.16 4.17 5/250 84657
/proc/meminfo: memFree=127379156/131382112 swapFree=33010416/33010684
[pid=84656] ppid=84653 vsize=92888 memory=83832 CPUtime=0.69 cores=0,2
/proc/84656/stat : 84656 (pbsolver) R 84653 84656 84085 0 -1 4194304 19820 0 0 0 63 6 0 0 20 0 1 0 75155672 95117312 20958 18446744073709551615 4198400 14743177 140725969776480 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 40767488 140725969783178 140725969783274 140725969783274 140725969788876 0
/proc/84656/statm: 23222 20958 2432 2575 0 20129 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 92888 KiB
Current children cumulated memory: 83832 KiB

[startup+1.50028 s]
/proc/loadavg: 4.10 4.16 4.17 5/250 84657
/proc/meminfo: memFree=127320024/131382112 swapFree=33010416/33010684
[pid=84656] ppid=84653 vsize=158172 memory=148472 CPUtime=1.48 cores=0,2
/proc/84656/stat : 84656 (pbsolver) R 84653 84656 84085 0 -1 4194304 36927 0 0 0 137 11 0 0 20 0 1 0 75155672 161968128 37118 18446744073709551615 4198400 14743177 140725969776480 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 40767488 140725969783178 140725969783274 140725969783274 140725969788876 0
/proc/84656/statm: 39543 37118 2592 2575 0 36450 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 158172 KiB
Current children cumulated memory: 148472 KiB

[startup+3.11271 s]
/proc/loadavg: 4.10 4.16 4.17 5/250 84657
/proc/meminfo: memFree=127104420/131382112 swapFree=33010416/33010684
[pid=84656] ppid=84653 vsize=416820 memory=376796 CPUtime=3.09 cores=0,2
/proc/84656/stat : 84656 (pbsolver) R 84653 84656 84085 0 -1 4194304 66437 0 0 0 290 19 0 0 20 0 1 0 75155672 426823680 94199 18446744073709551615 4198400 14743177 140725969776480 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 40767488 140725969783178 140725969783274 140725969783274 140725969788876 0
/proc/84656/statm: 104205 94199 2688 2575 0 101112 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 416820 KiB
Current children cumulated memory: 376796 KiB

[startup+6.30029 s]
/proc/loadavg: 4.09 4.15 4.16 5/250 84657
/proc/meminfo: memFree=126942880/131382112 swapFree=33010416/33010684
[pid=84656] ppid=84653 vsize=548804 memory=508184 CPUtime=6.26 cores=0,2
/proc/84656/stat : 84656 (pbsolver) R 84653 84656 84085 0 -1 4194304 94680 0 0 0 602 24 0 0 20 0 1 0 75155672 561975296 127046 18446744073709551615 4198400 14743177 140725969776480 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 40767488 140725969783178 140725969783274 140725969783274 140725969788876 0
/proc/84656/statm: 137201 127046 2688 2575 0 134108 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 548804 KiB
Current children cumulated memory: 508184 KiB

[startup+12.7003 s]
/proc/loadavg: 4.08 4.15 4.16 5/250 84658
/proc/meminfo: memFree=126833612/131382112 swapFree=33010416/33010684
[pid=84656] ppid=84653 vsize=656244 memory=614500 CPUtime=12.65 cores=0,2
/proc/84656/stat : 84656 (pbsolver) R 84653 84656 84085 0 -1 4194304 117786 0 0 0 1236 29 0 0 20 0 1 0 75155672 671993856 153625 18446744073709551615 4198400 14743177 140725969776480 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 40767488 140725969783178 140725969783274 140725969783274 140725969788876 0
/proc/84656/statm: 164061 153625 2688 2575 0 160968 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 656244 KiB
Current children cumulated memory: 614500 KiB

[startup+25.5003 s]
/proc/loadavg: 4.13 4.16 4.17 5/250 84658
/proc/meminfo: memFree=126824664/131382112 swapFree=33010416/33010684
[pid=84656] ppid=84653 vsize=660424 memory=618880 CPUtime=25.4 cores=0,2
/proc/84656/stat : 84656 (pbsolver) R 84653 84656 84085 0 -1 4194304 118374 0 0 0 2511 29 0 0 20 0 1 0 75155672 676274176 154720 18446744073709551615 4198400 14743177 140725969776480 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 40767488 140725969783178 140725969783274 140725969783274 140725969788876 0
/proc/84656/statm: 165106 154720 2688 2575 0 162013 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 660424 KiB
Current children cumulated memory: 618880 KiB

[startup+51.1128 s]
/proc/loadavg: 4.17 4.16 4.17 5/250 84658
/proc/meminfo: memFree=126620000/131382112 swapFree=33010416/33010684
[pid=84656] ppid=84653 vsize=688208 memory=646900 CPUtime=50.93 cores=0,2
/proc/84656/stat : 84656 (pbsolver) R 84653 84656 84085 0 -1 4194304 131709 0 0 0 5061 32 0 0 20 0 1 0 75155672 704724992 161725 18446744073709551615 4198400 14743177 140725969776480 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 40767488 140725969783178 140725969783274 140725969783274 140725969788876 0
/proc/84656/statm: 172052 161725 2688 2575 0 168959 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 688208 KiB
Current children cumulated memory: 646900 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.15 4.16 5/251 84661
/proc/meminfo: memFree=126567580/131382112 swapFree=33010416/33010684
[pid=84656] ppid=84653 vsize=753404 memory=712064 CPUtime=101.96 cores=0,2
/proc/84656/stat : 84656 (pbsolver) R 84653 84656 84085 0 -1 4194304 147236 0 0 0 10161 35 0 0 20 0 1 0 75155672 771485696 178016 18446744073709551615 4198400 14743177 140725969776480 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 40767488 140725969783178 140725969783274 140725969783274 140725969788876 0
/proc/84656/statm: 188351 178016 2688 2575 0 185258 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 753404 KiB
Current children cumulated memory: 712064 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.14 4.16 5/251 84670
/proc/meminfo: memFree=126517672/131382112 swapFree=33010416/33010684
[pid=84656] ppid=84653 vsize=747784 memory=705868 CPUtime=161.77 cores=0,2
/proc/84656/stat : 84656 (pbsolver) R 84653 84656 84085 0 -1 4194304 151033 0 0 0 16142 35 0 0 20 0 1 0 75155672 765730816 176467 18446744073709551615 4198400 14743177 140725969776480 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 40767488 140725969783178 140725969783274 140725969783274 140725969788876 0
/proc/84656/statm: 186946 176467 2688 2575 0 183853 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 747784 KiB
Current children cumulated memory: 705868 KiB

[startup+222.3 s]
/proc/loadavg: 4.24 4.16 4.16 5/251 84672
/proc/meminfo: memFree=126513180/131382112 swapFree=33010416/33010684
[pid=84656] ppid=84653 vsize=767108 memory=727208 CPUtime=221.59 cores=0,2
/proc/84656/stat : 84656 (pbsolver) R 84653 84656 84085 0 -1 4194304 153356 0 0 0 22123 36 0 0 20 0 1 0 75155672 785518592 181802 18446744073709551615 4198400 14743177 140725969776480 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 40767488 140725969783178 140725969783274 140725969783274 140725969788876 0
/proc/84656/statm: 191777 181802 2688 2575 0 188684 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 767108 KiB
Current children cumulated memory: 727208 KiB

[startup+282.3 s]
/proc/loadavg: 4.74 4.33 4.22 5/250 84674
/proc/meminfo: memFree=126536560/131382112 swapFree=33010416/33010684
[pid=84656] ppid=84653 vsize=783176 memory=742696 CPUtime=281.38 cores=0,2
/proc/84656/stat : 84656 (pbsolver) R 84653 84656 84085 0 -1 4194304 157279 0 0 0 28101 37 0 0 20 0 1 0 75155672 801972224 185674 18446744073709551615 4198400 14743177 140725969776480 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 40767488 140725969783178 140725969783274 140725969783274 140725969788876 0
/proc/84656/statm: 195794 185674 2688 2575 0 192701 0
Current children cumulated CPU time: 281.38 s
Current children cumulated vsize: 783176 KiB
Current children cumulated memory: 742696 KiB

[startup+342.3 s]
/proc/loadavg: 4.32 4.28 4.21 5/251 84679
/proc/meminfo: memFree=126477348/131382112 swapFree=33010416/33010684
[pid=84656] ppid=84653 vsize=783176 memory=742952 CPUtime=341.2 cores=0,2
/proc/84656/stat : 84656 (pbsolver) R 84653 84656 84085 0 -1 4194304 157337 0 0 0 34083 37 0 0 20 0 1 0 75155672 801972224 185738 18446744073709551615 4198400 14743177 140725969776480 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 40767488 140725969783178 140725969783274 140725969783274 140725969788876 0
/proc/84656/statm: 195794 185738 2688 2575 0 192701 0
Current children cumulated CPU time: 341.2 s
Current children cumulated vsize: 783176 KiB
Current children cumulated memory: 742952 KiB

[startup+402.3 s]
/proc/loadavg: 4.23 4.26 4.20 5/250 84681
/proc/meminfo: memFree=126467904/131382112 swapFree=33010416/33010684
[pid=84656] ppid=84653 vsize=805164 memory=765932 CPUtime=401 cores=0,2
/proc/84656/stat : 84656 (pbsolver) R 84653 84656 84085 0 -1 4194304 161597 0 0 0 40062 38 0 0 20 0 1 0 75155672 824487936 191483 18446744073709551615 4198400 14743177 140725969776480 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 40767488 140725969783178 140725969783274 140725969783274 140725969788876 0
/proc/84656/statm: 201291 191483 2688 2575 0 198198 0
Current children cumulated CPU time: 401 s
Current children cumulated vsize: 805164 KiB
Current children cumulated memory: 765932 KiB

[startup+462.3 s]
/proc/loadavg: 4.15 4.23 4.19 5/249 84683
/proc/meminfo: memFree=126419836/131382112 swapFree=33010416/33010684
[pid=84656] ppid=84653 vsize=805164 memory=766060 CPUtime=460.82 cores=0,2
/proc/84656/stat : 84656 (pbsolver) R 84653 84656 84085 0 -1 4194304 161601 0 0 0 46044 38 0 0 20 0 1 0 75155672 824487936 191515 18446744073709551615 4198400 14743177 140725969776480 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 40767488 140725969783178 140725969783274 140725969783274 140725969788876 0
/proc/84656/statm: 201291 191515 2688 2575 0 198198 0

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

/proc/loadavg: 4.10 4.12 4.15 5/250 84814
/proc/meminfo: memFree=126066588/131382112 swapFree=33010416/33010684
[pid=84656] ppid=84653 vsize=859680 memory=830516 CPUtime=3212.34 cores=0,2
/proc/84656/stat : 84656 (pbsolver) R 84653 84656 84085 0 -1 4194304 178107 0 0 0 321193 41 0 0 20 0 1 0 75155672 880312320 207629 18446744073709551615 4198400 14743177 140725969776480 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 40767488 140725969783178 140725969783274 140725969783274 140725969788876 0
/proc/84656/statm: 214920 207629 2976 2575 0 211827 0
Current children cumulated CPU time: 3212.34 s
Current children cumulated vsize: 859680 KiB
Current children cumulated memory: 830516 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.11 4.14 5/250 84816
/proc/meminfo: memFree=126066588/131382112 swapFree=33010416/33010684
[pid=84656] ppid=84653 vsize=859680 memory=830516 CPUtime=3272.16 cores=0,2
/proc/84656/stat : 84656 (pbsolver) R 84653 84656 84085 0 -1 4194304 178213 0 0 0 327175 41 0 0 20 0 1 0 75155672 880312320 207629 18446744073709551615 4198400 14743177 140725969776480 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 40767488 140725969783178 140725969783274 140725969783274 140725969788876 0
/proc/84656/statm: 214920 207629 2976 2575 0 211827 0
Current children cumulated CPU time: 3272.16 s
Current children cumulated vsize: 859680 KiB
Current children cumulated memory: 830516 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.12 4.14 5/250 84829
/proc/meminfo: memFree=126051616/131382112 swapFree=33010416/33010684
[pid=84656] ppid=84653 vsize=859680 memory=830516 CPUtime=3331.99 cores=0,2
/proc/84656/stat : 84656 (pbsolver) R 84653 84656 84085 0 -1 4194304 178416 0 0 0 333158 41 0 0 20 0 1 0 75155672 880312320 207629 18446744073709551615 4198400 14743177 140725969776480 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 40767488 140725969783178 140725969783274 140725969783274 140725969788876 0
/proc/84656/statm: 214920 207629 2976 2575 0 211827 0
Current children cumulated CPU time: 3331.99 s
Current children cumulated vsize: 859680 KiB
Current children cumulated memory: 830516 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.11 4.14 5/250 84876
/proc/meminfo: memFree=126877004/131382112 swapFree=33010416/33010684
[pid=84656] ppid=84653 vsize=859680 memory=830516 CPUtime=3391.81 cores=0,2
/proc/84656/stat : 84656 (pbsolver) R 84653 84656 84085 0 -1 4194304 178425 0 0 0 339140 41 0 0 20 0 1 0 75155672 880312320 207629 18446744073709551615 4198400 14743177 140725969776480 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 40767488 140725969783178 140725969783274 140725969783274 140725969788876 0
/proc/84656/statm: 214920 207629 2976 2575 0 211827 0
Current children cumulated CPU time: 3391.81 s
Current children cumulated vsize: 859680 KiB
Current children cumulated memory: 830516 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.12 4.14 5/249 84922
/proc/meminfo: memFree=126697352/131382112 swapFree=33010416/33010684
[pid=84656] ppid=84653 vsize=859680 memory=830516 CPUtime=3451.64 cores=0,2
/proc/84656/stat : 84656 (pbsolver) R 84653 84656 84085 0 -1 4194304 178529 0 0 0 345123 41 0 0 20 0 1 0 75155672 880312320 207629 18446744073709551615 4198400 14743177 140725969776480 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 40767488 140725969783178 140725969783274 140725969783274 140725969788876 0
/proc/84656/statm: 214920 207629 2976 2575 0 211827 0
Current children cumulated CPU time: 3451.64 s
Current children cumulated vsize: 859680 KiB
Current children cumulated memory: 830516 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.11 4.13 5/249 84968
/proc/meminfo: memFree=122167316/131382112 swapFree=33010416/33010684
[pid=84656] ppid=84653 vsize=879468 memory=849588 CPUtime=3511.47 cores=0,2
/proc/84656/stat : 84656 (pbsolver) R 84653 84656 84085 0 -1 4194304 183726 0 0 0 351105 42 0 0 20 0 1 0 75155672 900575232 212397 18446744073709551615 4198400 14743177 140725969776480 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 40767488 140725969783178 140725969783274 140725969783274 140725969788876 0
/proc/84656/statm: 219867 212397 2976 2575 0 216774 0
Current children cumulated CPU time: 3511.47 s
Current children cumulated vsize: 879468 KiB
Current children cumulated memory: 849588 KiB

[startup+3582.3 s]
/proc/loadavg: 4.16 4.12 4.13 5/251 84973
/proc/meminfo: memFree=121943776/131382112 swapFree=33010416/33010684
[pid=84656] ppid=84653 vsize=879468 memory=849588 CPUtime=3571.3 cores=0,2
/proc/84656/stat : 84656 (pbsolver) R 84653 84656 84085 0 -1 4194304 184022 0 0 0 357088 42 0 0 20 0 1 0 75155672 900575232 212397 18446744073709551615 4198400 14743177 140725969776480 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 40767488 140725969783178 140725969783274 140725969783274 140725969788876 0
/proc/84656/statm: 219867 212397 2976 2575 0 216774 0
Current children cumulated CPU time: 3571.3 s
Current children cumulated vsize: 879468 KiB
Current children cumulated memory: 849588 KiB

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

# cumulated CPU time of all completed processes:  user=3585.84 s, system=0.435037 s

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

[startup+3584 s]*
/proc/loadavg: 4.16 4.12 4.13 5/252 84974
/proc/meminfo: memFree=121936668/131382112 swapFree=33010416/33010684
[pid=84656] ppid=84653 vsize=879468 memory=849588 CPUtime=3573 cores=0,2
/proc/84656/stat : 84656 (pbsolver) R 84653 84656 84085 0 -1 4194304 184027 0 0 0 357258 42 0 0 20 0 1 0 75155672 900575232 212397 18446744073709551615 4198400 14743177 140725969776480 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 40767488 140725969783178 140725969783274 140725969783274 140725969788876 0
/proc/84656/statm: 219867 212397 2976 2575 0 216774 0
Current children cumulated CPU time: 3573 s
Current children cumulated vsize: 879468 KiB
Current children cumulated memory: 849588 KiB

[startup+3590.4 s]
/proc/loadavg: 4.13 4.12 4.13 5/252 84975
/proc/meminfo: memFree=121982288/131382112 swapFree=33010416/33010684
[pid=84656] ppid=84653 vsize=879468 memory=849716 CPUtime=3579.37 cores=0,2
/proc/84656/stat : 84656 (pbsolver) R 84653 84656 84085 0 -1 4194304 184031 0 0 0 357895 42 0 0 20 0 1 0 75155672 900575232 212429 18446744073709551615 4198400 14743177 140725969776480 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 40767488 140725969783178 140725969783274 140725969783274 140725969788876 0
/proc/84656/statm: 219867 212429 2976 2575 0 216774 0
Current children cumulated CPU time: 3579.37 s
Current children cumulated vsize: 879468 KiB
Current children cumulated memory: 849716 KiB

[startup+3593.6 s]
/proc/loadavg: 4.13 4.12 4.13 5/252 84975
/proc/meminfo: memFree=121978508/131382112 swapFree=33010416/33010684
[pid=84656] ppid=84653 vsize=879468 memory=849716 CPUtime=3582.56 cores=0,2
/proc/84656/stat : 84656 (pbsolver) R 84653 84656 84085 0 -1 4194304 184031 0 0 0 358214 42 0 0 20 0 1 0 75155672 900575232 212429 18446744073709551615 4198400 14743177 140725969776480 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 40767488 140725969783178 140725969783274 140725969783274 140725969788876 0
/proc/84656/statm: 219867 212429 2976 2575 0 216774 0
Current children cumulated CPU time: 3582.56 s
Current children cumulated vsize: 879468 KiB
Current children cumulated memory: 849716 KiB

[startup+3595.2 s]
/proc/loadavg: 4.12 4.11 4.13 5/252 84975
/proc/meminfo: memFree=121966420/131382112 swapFree=33010416/33010684
[pid=84656] ppid=84653 vsize=879468 memory=849716 CPUtime=3584.16 cores=0,2
/proc/84656/stat : 84656 (pbsolver) R 84653 84656 84085 0 -1 4194304 184031 0 0 0 358374 42 0 0 20 0 1 0 75155672 900575232 212429 18446744073709551615 4198400 14743177 140725969776480 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 40767488 140725969783178 140725969783274 140725969783274 140725969788876 0
/proc/84656/statm: 219867 212429 2976 2575 0 216774 0
Current children cumulated CPU time: 3584.16 s
Current children cumulated vsize: 879468 KiB
Current children cumulated memory: 849716 KiB

[startup+3596 s]*
/proc/loadavg: 4.12 4.11 4.13 5/252 84975
/proc/meminfo: memFree=121966420/131382112 swapFree=33010416/33010684
[pid=84656] ppid=84653 vsize=879468 memory=849716 CPUtime=3584.97 cores=0,2
/proc/84656/stat : 84656 (pbsolver) R 84653 84656 84085 0 -1 4194304 184031 0 0 0 358455 42 0 0 20 0 1 0 75155672 900575232 212429 18446744073709551615 4198400 14743177 140725969776480 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 40767488 140725969783178 140725969783274 140725969783274 140725969788876 0
/proc/84656/statm: 219867 212429 2976 2575 0 216774 0
Current children cumulated CPU time: 3584.97 s
Current children cumulated vsize: 879468 KiB
Current children cumulated memory: 849716 KiB

[startup+3596.8 s]
/proc/loadavg: 4.12 4.11 4.13 5/252 84975
/proc/meminfo: memFree=121966420/131382112 swapFree=33010416/33010684
[pid=84656] ppid=84653 vsize=879468 memory=849716 CPUtime=3585.76 cores=0,2
/proc/84656/stat : 84656 (pbsolver) R 84653 84656 84085 0 -1 4194304 184031 0 0 0 358534 42 0 0 20 0 1 0 75155672 900575232 212429 18446744073709551615 4198400 14743177 140725969776480 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 40767488 140725969783178 140725969783274 140725969783274 140725969788876 0
/proc/84656/statm: 219867 212429 2976 2575 0 216774 0
Current children cumulated CPU time: 3585.76 s
Current children cumulated vsize: 879468 KiB
Current children cumulated memory: 849716 KiB

[startup+3597.2 s]
/proc/loadavg: 4.12 4.11 4.13 5/252 84975
/proc/meminfo: memFree=121966672/131382112 swapFree=33010416/33010684
[pid=84656] ppid=84653 vsize=879468 memory=849716 CPUtime=3586.15 cores=0,2
/proc/84656/stat : 84656 (pbsolver) R 84653 84656 84085 0 -1 4194304 184033 0 0 0 358573 42 0 0 20 0 1 0 75155672 900575232 212429 18446744073709551615 4198400 14743177 140725969776480 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 40767488 140725969783178 140725969783274 140725969783274 140725969788876 0
/proc/84656/statm: 219867 212429 2976 2575 0 216774 0
Current children cumulated CPU time: 3586.15 s
Current children cumulated vsize: 879468 KiB
Current children cumulated memory: 849716 KiB

[startup+3597.3 s]
/proc/loadavg: 4.12 4.11 4.13 5/252 84975
/proc/meminfo: memFree=121966672/131382112 swapFree=33010416/33010684
[pid=84656] ppid=84653 vsize=877600 memory=847852 CPUtime=3586.25 cores=0,2
/proc/84656/stat : 84656 (pbsolver) R 84653 84656 84085 0 -1 4194304 184036 0 0 0 358583 42 0 0 20 0 1 0 75155672 898662400 211963 18446744073709551615 4198400 14743177 140725969776480 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 40767488 140725969783178 140725969783274 140725969783274 140725969788876 0
/proc/84656/statm: 219400 211963 2976 2575 0 216307 0
Current children cumulated CPU time: 3586.25 s
Current children cumulated vsize: 877600 KiB
Current children cumulated memory: 847852 KiB

Child status: 0

Real time (s): 3597.31
CPU time (s): 3586.28
CPU user time (s): 3585.84
CPU system time (s): 0.435037
CPU usage (%): 99.6933
Max. virtual memory (cumulated for all children) (KiB): 879468
Max. memory (cumulated for all children) (KiB): 849716

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.84
system time used= 0.435037
maximum resident set size= 849716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 184057
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= 38
involuntary context switches= 7878


# summary of solver processes directly reported to runsolver:
#   pid: 84656
#   total CPU time (s): 3586.28
#   total CPU user time (s): 3585.84
#   total CPU system time (s): 0.435037

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.5766 second user time and 34.1429 second system time

The end

Launcher Data 

Begin job on nodeC012 at 2025-07-04 04:06:00
IDJOB=4523757
IDBENCH=180371
IDSOLVER=3366
FILE ID=nodeC012/4523757-1751594759
RUNJOBID= nodeC012-1751590941-84095
SLURM_JOB_ID= 9598848
Free space on /tmp= 431808 MiB

SOLVER NAME= SCIP-10 2025-06-13
BENCH NAME= PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/normalized-bnn_mnist_rot_16_label5_adversarial_norm_1.opb
COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4523757-1751594759/watcher-4523757-1751594759 -o /tmp/evaluation-result-4523757-1751594759/solver-4523757-1751594759 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751590941-84095 --watchdog 3760  pbsolver -f HOME/instance-4523757-1751594759.opb -t 3600 -m 31000

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

MD5SUM BENCH= f94de02fa01250a2017b0bd253a5fded
RANDOM SEED=901684871

nodeC012 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	: 0xb00001f
cpu MHz		: 1396.742
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
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	: 0xb00001f
cpu MHz		: 3662.628
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
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	: 0xb00001f
cpu MHz		: 1197.158
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
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	: 0xb00001f
cpu MHz		: 3700.000
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
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	: 0xb00001f
cpu MHz		: 3659.383
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
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	: 0xb00001f
cpu MHz		: 3644.345
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
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	: 0xb00001f
cpu MHz		: 1197.345
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
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	: 0xb00001f
cpu MHz		: 1197.586
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        127443604 kB
MemAvailable:   127776624 kB
Buffers:            2136 kB
Cached:          1132952 kB
SwapCached:           16 kB
Active:          2775556 kB
Inactive:         514764 kB
Active(anon):    2166188 kB
Inactive(anon):     6996 kB
Active(file):     609368 kB
Inactive(file):   507768 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             18108 kB
Writeback:             0 kB
AnonPages:       2157416 kB
Mapped:           137084 kB
Shmem:             17944 kB
KReclaimable:     110640 kB
Slab:             196716 kB
SReclaimable:     110640 kB
SUnreclaim:        86076 kB
KernelStack:        4032 kB
PageTables:         7304 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    2601752 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149384 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    550912 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:      187208 kB
DirectMap2M:     8103936 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 431752 MiB
End job on nodeC012 at 2025-07-04 05:05:57