Trace number 4432636

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIP 2024-07-07SAT194 3587.91 3597.17

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_23.opb.PB06.opb
MD5SUM1da12ebdd4ab5e725928f3bf845b8b1e
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark186
Best CPU time to get the best result obtained on this benchmark3558
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables479
Total number of constraints479
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints479
Minimum length of a constraint4
Maximum length of a constraint17
Number of terms in the objective function 479
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 479
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 479
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data

0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-4432636-1721078617.opb>
0.00/0.00	c original problem has 479 variables (479 bin, 0 int, 0 impl, 0 cont) and 479 constraints
0.00/0.00	c problem read in 0.00
0.00/0.00	o 479
0.00/0.00	c feasible solution found by trivial heuristic after 0.0 seconds, objective value 4.790000e+02
0.00/0.00	c presolving:
0.00/0.01	c (round 1, fast)       0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 11 chg sides, 64 chg coeffs, 0 upgd conss, 0 impls, 138 clqs
0.00/0.01	c    (0.0s) running MILP presolver
0.00/0.01	c    (0.0s) MILP presolver found nothing
0.00/0.01	c (round 2, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 11 chg sides, 64 chg coeffs, 479 upgd conss, 0 impls, 138 clqs
0.00/0.01	c (round 3, fast)       0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 130 chg sides, 391 chg coeffs, 479 upgd conss, 0 impls, 138 clqs
0.00/0.01	c (round 4, fast)       0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 131 chg sides, 395 chg coeffs, 479 upgd conss, 0 impls, 138 clqs
0.00/0.02	c (round 5, medium)     0 del vars, 153 del conss, 274 add conss, 0 chg bounds, 375 chg sides, 855 chg coeffs, 479 upgd conss, 0 impls, 138 clqs
0.00/0.02	c (round 6, fast)       0 del vars, 195 del conss, 293 add conss, 0 chg bounds, 462 chg sides, 1345 chg coeffs, 479 upgd conss, 0 impls, 138 clqs
0.00/0.02	c (round 7, exhaustive) 0 del vars, 195 del conss, 293 add conss, 0 chg bounds, 462 chg sides, 1355 chg coeffs, 479 upgd conss, 0 impls, 138 clqs
0.00/0.02	c (round 8, fast)       0 del vars, 195 del conss, 293 add conss, 0 chg bounds, 463 chg sides, 1361 chg coeffs, 479 upgd conss, 0 impls, 138 clqs
0.00/0.02	c    (0.0s) probing: 51/479 (10.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.02	c    (0.0s) probing aborted: 50/50 successive totally useless probings
0.00/0.02	c    (0.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.00/0.03	c    (0.0s) no symmetry present (symcode time: 0.00)
0.00/0.03	c presolving (9 rounds: 9 fast, 4 medium, 3 exhaustive):
0.00/0.03	c  0 deleted vars, 195 deleted constraints, 293 added constraints, 0 tightened bounds, 0 added holes, 463 changed sides, 1361 changed coefficients
0.00/0.03	c  0 implications, 138 cliques
0.00/0.03	c presolved problem has 479 variables (479 bin, 0 int, 0 impl, 0 cont) and 577 constraints
0.00/0.03	c     418 constraints of type <knapsack>
0.00/0.03	c     138 constraints of type <setppc>
0.00/0.03	c      21 constraints of type <logicor>
0.00/0.03	c transformed objective value is always integral (scale: 1)
0.00/0.03	c Presolving Time: 0.02
0.00/0.03	c - non default parameters ----------------------------------------------------------------------
0.00/0.03	c # SCIP version 10.0.0
0.00/0.03	c 
0.00/0.03	c # maximal time in seconds to run
0.00/0.03	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.00/0.03	c limits/time = 3596.997049
0.00/0.03	c 
0.00/0.03	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.03	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.00/0.03	c limits/memory = 27900
0.00/0.03	c 
0.00/0.03	c # belongs reading time to solving time?
0.00/0.03	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03	c timing/reading = TRUE
0.00/0.03	c 
0.00/0.03	c -----------------------------------------------------------------------------------------------
0.00/0.03	c start solving
0.00/0.03	c transformed 1/1 original solutions to the transformed problem space
0.00/0.03	c 
0.00/0.03	o 228
0.00/0.03	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
0.00/0.03	c p 0.0s|     1 |     0 |     0 |     - |   locks|   0 | 479 | 577 | 577 |   0 |  0 |   0 |   0 | 0.000000e+00 | 2.280000e+02 |    Inf | unknown
0.00/0.03	o 214
0.00/0.03	c i 0.0s|     1 |     0 |     0 |     - |  oneopt|   0 | 479 | 577 | 577 |   0 |  0 |   0 |   0 | 0.000000e+00 | 2.140000e+02 |    Inf | unknown
0.10/0.15	c   0.1s|     1 |     0 |  1920 |     - |  7595k |   0 | 479 | 577 | 577 |   0 |  0 |   0 |   0 | 1.561797e+02 | 2.140000e+02 |  37.02%| unknown
0.21/0.30	c   0.3s|     1 |     0 |  2549 |     - |    26M |   0 | 479 | 577 | 640 |  63 |  1 |   0 |   0 | 1.596207e+02 | 2.140000e+02 |  34.07%| unknown
0.41/0.45	c   0.5s|     1 |     0 |  3290 |     - |    40M |   0 | 479 | 577 | 698 | 121 |  2 |   0 |   0 | 1.618284e+02 | 2.140000e+02 |  32.24%| unknown
0.60/0.62	c   0.6s|     1 |     0 |  4013 |     - |    53M |   0 | 479 | 577 | 755 | 178 |  3 |   0 |   0 | 1.636560e+02 | 2.140000e+02 |  30.76%| unknown
0.69/0.76	c   0.8s|     1 |     0 |  4552 |     - |    65M |   0 | 479 | 577 | 815 | 238 |  4 |   0 |   0 | 1.648556e+02 | 2.140000e+02 |  29.81%| unknown
0.79/0.89	c   0.9s|     1 |     0 |  5004 |     - |    77M |   0 | 479 | 577 | 862 | 285 |  5 |   0 |   0 | 1.657388e+02 | 2.140000e+02 |  29.12%| unknown
1.00/1.02	c   1.0s|     1 |     0 |  5420 |     - |    91M |   0 | 479 | 577 | 912 | 335 |  6 |   0 |   0 | 1.664428e+02 | 2.140000e+02 |  28.57%| unknown
1.10/1.15	c   1.1s|     1 |     0 |  5763 |     - |   105M |   0 | 479 | 577 | 949 | 372 |  7 |   0 |   0 | 1.668049e+02 | 2.140000e+02 |  28.29%| unknown
1.19/1.27	c   1.3s|     1 |     0 |  6106 |     - |   109M |   0 | 479 | 577 | 984 | 407 |  8 |   0 |   0 | 1.670736e+02 | 2.140000e+02 |  28.09%| unknown
1.38/1.41	c   1.4s|     1 |     0 |  6452 |     - |   125M |   0 | 479 | 577 |1014 | 437 |  9 |   0 |   0 | 1.672858e+02 | 2.140000e+02 |  27.92%| unknown
1.48/1.55	c   1.6s|     1 |     0 |  6785 |     - |   142M |   0 | 479 | 577 |1043 | 466 | 10 |   0 |   0 | 1.674938e+02 | 2.140000e+02 |  27.77%| unknown
1.58/1.63	c   1.6s|     1 |     0 |  7118 |     - |   142M |   0 | 479 | 577 |1075 | 500 | 11 |   0 |   0 | 1.676241e+02 | 2.140000e+02 |  27.67%| unknown
1.68/1.70	c   1.7s|     1 |     0 |  7507 |     - |   142M |   0 | 479 | 577 |1106 | 531 | 12 |   0 |   0 | 1.678282e+02 | 2.140000e+02 |  27.51%| unknown
1.68/1.75	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1.68/1.75	c   1.8s|     1 |     0 |  7652 |     - |   142M |   0 | 479 | 577 |1130 | 555 | 13 |   0 |   0 | 1.678791e+02 | 2.140000e+02 |  27.47%| unknown
1.78/1.81	c   1.8s|     1 |     0 |  7887 |     - |   142M |   0 | 479 | 577 |1152 | 577 | 14 |   0 |   0 | 1.679785e+02 | 2.140000e+02 |  27.40%| unknown
1.78/1.86	c   1.9s|     1 |     0 |  7975 |     - |   142M |   0 | 479 | 577 |1166 | 591 | 15 |   0 |   0 | 1.680003e+02 | 2.140000e+02 |  27.38%| unknown
1.88/1.90	c   1.9s|     1 |     0 |  7994 |     - |   142M |   0 | 479 | 577 |1170 | 595 | 16 |   0 |   0 | 1.680021e+02 | 2.140000e+02 |  27.38%| unknown
1.88/1.94	c   1.9s|     1 |     0 |  8032 |     - |   142M |   0 | 479 | 577 |1095 | 600 | 17 |   0 |   0 | 1.680034e+02 | 2.140000e+02 |  27.38%| unknown
1.88/1.98	c   2.0s|     1 |     0 |  8082 |     - |   143M |   0 | 479 | 577 |1097 | 602 | 18 |   0 |   0 | 1.680102e+02 | 2.140000e+02 |  27.37%| unknown
2.00/2.02	c   2.0s|     1 |     0 |  8088 |     - |   143M |   0 | 479 | 577 |1100 | 605 | 19 |   0 |   0 | 1.680102e+02 | 2.140000e+02 |  27.37%| unknown
3.68/3.72	c   3.7s|     1 |     2 |  8088 |     - |   144M |   0 | 479 | 577 |1100 | 605 | 20 |   0 |  29 | 1.682693e+02 | 2.140000e+02 |  27.18%| unknown
15.56/15.63	o 213
15.56/15.63	c d15.6s|    23 |    24 | 22605 | 659.9 |pscostdi|  22 | 479 | 577 |1094 |   0 |  1 |   0 | 251 | 1.682693e+02 | 2.130000e+02 |  26.58%| unknown
15.56/15.63	o 211
15.56/15.63	c d15.6s|    23 |    24 | 22610 | 660.1 |pscostdi|  22 | 479 | 577 |1094 |   0 |  1 |   0 | 251 | 1.682693e+02 | 2.110000e+02 |  25.39%| unknown
15.56/15.64	o 210
15.56/15.64	c i15.6s|    24 |    23 | 22619 | 631.8 |  oneopt|  22 | 479 | 577 |1033 | 838 |  0 |   0 | 251 | 1.682693e+02 | 2.100000e+02 |  24.80%| unknown
22.54/22.62	c  22.6s|   100 |   101 | 76179 | 687.8 |   209M |  32 | 479 | 577 |1096 |1589 |  8 |   2 | 278 | 1.682693e+02 | 2.100000e+02 |  24.80%| unknown
23.94/24.04	o 209
23.94/24.04	c o24.0s|   104 |   105 |100893 | 901.0 |objpscos|  32 | 479 | 577 |1044 |1589 |  1 |   2 | 278 | 1.682693e+02 | 2.090000e+02 |  24.21%| unknown
23.94/24.04	c o24.0s|   104 |   105 |100943 | 901.5 |objpscos|  32 | 479 | 577 |1044 |1589 |  1 |   2 | 278 | 1.682693e+02 | 2.090000e+02 |  24.21%| unknown
23.94/24.04	o 208
23.94/24.04	c o24.0s|   104 |   105 |100946 | 901.5 |objpscos|  32 | 479 | 577 |1044 |1589 |  1 |   2 | 278 | 1.682693e+02 | 2.080000e+02 |  23.61%| unknown
23.94/24.07	o 205
23.94/24.07	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
23.94/24.07	c i24.1s|   104 |   105 |101582 | 907.7 |  oneopt|  32 | 479 | 577 |1044 |1589 |  1 |   2 | 278 | 1.682693e+02 | 2.050000e+02 |  21.83%| unknown
33.20/33.32	c  33.3s|   200 |   201 |186071 | 894.4 |   204M |  33 | 479 | 580 |1034 |2141 |  1 |   8 | 312 | 1.683107e+02 | 2.050000e+02 |  21.80%| unknown
37.30/37.41	o 204
37.30/37.41	c d37.4s|   218 |   219 |235137 |1046.3 |pscostdi|  33 | 479 | 580 |1025 |   0 |  1 |   8 | 321 | 1.685863e+02 | 2.040000e+02 |  21.01%| unknown
50.46/50.62	c  50.6s|   300 |   301 |374898 |1226.8 |   205M |  33 | 479 | 580 |1097 |2892 |  1 |  16 | 351 | 1.687314e+02 | 2.040000e+02 |  20.90%| unknown
63.94/64.19	o 203
63.94/64.19	c d64.2s|   398 |   399 |527102 |1307.3 |pscostdi|  37 | 479 | 580 |1100 |   0 |  1 |  25 | 382 | 1.689749e+02 | 2.030000e+02 |  20.14%| unknown
63.94/64.19	o 202
63.94/64.19	c d64.2s|   398 |   399 |527106 |1307.4 |pscostdi|  37 | 479 | 580 |1100 |   0 |  1 |  25 | 382 | 1.689749e+02 | 2.020000e+02 |  19.54%| unknown
64.03/64.23	c  64.2s|   400 |   401 |527537 |1301.9 |   206M |  37 | 479 | 580 |1123 |3423 |  1 |  25 | 382 | 1.689749e+02 | 2.020000e+02 |  19.54%| unknown
75.00/75.21	o 201
75.00/75.21	c d75.2s|   474 |   475 |643989 |1344.4 |pscostdi|  37 | 479 | 580 | 974 |   0 |  1 |  31 | 408 | 1.690337e+02 | 2.010000e+02 |  18.91%| unknown
75.00/75.21	o 199
75.00/75.21	c d75.2s|   474 |   475 |643996 |1344.4 |pscostdi|  37 | 479 | 580 | 974 |   0 |  1 |  31 | 408 | 1.690337e+02 | 1.990000e+02 |  17.73%| unknown
78.70/78.90	c  78.9s|   500 |   501 |679659 |1345.8 |   207M |  37 | 479 | 582 |1119 |4170 |  4 |  34 | 423 | 1.690628e+02 | 1.990000e+02 |  17.71%| unknown
91.88/92.16	c  92.2s|   600 |   601 |805738 |1331.6 |   208M |  37 | 479 | 584 |1105 |5153 |  1 |  37 | 458 | 1.691038e+02 | 1.990000e+02 |  17.68%| unknown
102.54/102.85	o 195
102.54/102.85	c L 103s|   674 |   675 |922258 |1358.4 |crossove|  37 | 479 | 587 |1046 |5854 |  1 |  41 | 470 | 1.691395e+02 | 1.950000e+02 |  15.29%| unknown
106.63/106.98	c   107s|   700 |   701 |965875 |1370.2 |   211M |  37 | 479 | 593 |1116 |6073 |  1 |  49 | 472 | 1.691395e+02 | 1.950000e+02 |  15.29%| unknown
118.90/119.22	c   119s|   800 |   801 |  1097k|1363.2 |   211M |  37 | 479 | 598 |1129 |6827 |  1 |  56 | 479 | 1.691849e+02 | 1.950000e+02 |  15.26%| unknown
133.56/134.01	c   134s|   900 |   901 |  1252k|1384.6 |   212M |  37 | 479 | 608 |1098 |7877 |  1 |  69 | 500 | 1.692140e+02 | 1.950000e+02 |  15.24%| unknown
145.64/146.06	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
145.64/146.06	c   146s|  1000 |  1001 |  1365k|1358.9 |   213M |  37 | 479 | 620 |1056 |8573 |  1 |  81 | 526 | 1.693086e+02 | 1.950000e+02 |  15.17%| unknown
150.12/150.53	c Restart triggered after 50 consecutive estimations that the remaining tree will be large
150.12/150.53	c (run 1, node 1049) performing user restart
150.12/150.53	c 
150.12/150.54	c (restart) converted 316 cuts from the global cut pool into linear constraints
150.12/150.54	c 
150.22/150.68	c presolving:
150.22/150.68	c (round 1, fast)       0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 4 chg sides, 20 chg coeffs, 0 upgd conss, 0 impls, 138 clqs
150.22/150.68	c (round 2, exhaustive) 0 del vars, 2 del conss, 0 add conss, 0 chg bounds, 5 chg sides, 20 chg coeffs, 0 upgd conss, 0 impls, 138 clqs
150.22/150.69	c (round 3, exhaustive) 0 del vars, 2 del conss, 0 add conss, 0 chg bounds, 5 chg sides, 20 chg coeffs, 314 upgd conss, 0 impls, 138 clqs
150.22/150.69	c (round 4, fast)       0 del vars, 2 del conss, 0 add conss, 0 chg bounds, 6 chg sides, 21 chg coeffs, 314 upgd conss, 0 impls, 138 clqs
150.22/150.69	c presolving (5 rounds: 5 fast, 3 medium, 3 exhaustive):
150.22/150.69	c  0 deleted vars, 2 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 6 changed sides, 22 changed coefficients
150.22/150.69	c  0 implications, 138 cliques
150.22/150.69	c presolved problem has 479 variables (479 bin, 0 int, 0 impl, 0 cont) and 936 constraints
150.22/150.69	c     632 constraints of type <knapsack>
150.22/150.69	c     138 constraints of type <setppc>
150.22/150.69	c     166 constraints of type <logicor>
150.22/150.69	c transformed objective value is always integral (scale: 1)
150.22/150.69	c Presolving Time: 0.04
150.33/150.71	c transformed 98/100 original solutions to the transformed problem space
150.33/150.71	c 
151.43/151.84	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
151.43/151.84	c   152s|     1 |     0 |  1420k|     - |   189M |   0 | 479 | 936 | 891 |   0 |  0 |  83 | 538 | 1.693228e+02 | 1.950000e+02 |  15.16%| unknown
151.64/152.03	c   152s|     1 |     0 |  1421k|     - |   189M |   0 | 479 | 936 | 930 |  39 |  1 |  83 | 538 | 1.693228e+02 | 1.950000e+02 |  15.16%| unknown
151.74/152.16	c   152s|     1 |     0 |  1422k|     - |   191M |   0 | 479 | 936 | 968 |  77 |  2 |  83 | 538 | 1.693228e+02 | 1.950000e+02 |  15.16%| unknown
151.83/152.28	c   152s|     1 |     0 |  1422k|     - |   193M |   0 | 479 | 936 | 991 | 100 |  3 |  83 | 538 | 1.693228e+02 | 1.950000e+02 |  15.16%| unknown
152.02/152.40	c   152s|     1 |     0 |  1423k|     - |   199M |   0 | 479 | 936 |1005 | 114 |  4 |  83 | 538 | 1.693228e+02 | 1.950000e+02 |  15.16%| unknown
152.12/152.52	c   153s|     1 |     0 |  1423k|     - |   202M |   0 | 479 | 936 |1021 | 130 |  5 |  83 | 538 | 1.693228e+02 | 1.950000e+02 |  15.16%| unknown
152.22/152.65	c   153s|     1 |     0 |  1423k|     - |   206M |   0 | 479 | 936 |1026 | 135 |  6 |  83 | 538 | 1.693228e+02 | 1.950000e+02 |  15.16%| unknown
152.32/152.79	c   153s|     1 |     0 |  1423k|     - |   205M |   0 | 479 | 936 |1032 | 141 |  7 |  83 | 538 | 1.693228e+02 | 1.950000e+02 |  15.16%| unknown
152.52/152.92	c   153s|     1 |     0 |  1424k|     - |   206M |   0 | 479 | 936 |1036 | 145 |  8 |  83 | 538 | 1.693228e+02 | 1.950000e+02 |  15.16%| unknown
152.63/153.08	c   153s|     1 |     0 |  1424k|     - |   203M |   0 | 479 | 936 |1047 | 156 |  9 |  83 | 538 | 1.693228e+02 | 1.950000e+02 |  15.16%| unknown
152.82/153.22	c   153s|     1 |     0 |  1424k|     - |   208M |   0 | 479 | 936 |1053 | 162 | 10 |  83 | 538 | 1.693228e+02 | 1.950000e+02 |  15.16%| unknown
152.92/153.30	c   153s|     1 |     0 |  1424k|     - |   208M |   0 | 479 | 936 |1057 | 166 | 11 |  83 | 538 | 1.693228e+02 | 1.950000e+02 |  15.16%| unknown
152.92/153.38	c   153s|     1 |     0 |  1424k|     - |   208M |   0 | 479 | 936 |1061 | 170 | 12 |  83 | 538 | 1.693228e+02 | 1.950000e+02 |  15.16%| unknown
153.02/153.45	c   153s|     1 |     0 |  1424k|     - |   208M |   0 | 479 | 936 |1014 | 177 | 13 |  83 | 538 | 1.693228e+02 | 1.950000e+02 |  15.16%| unknown
153.12/153.54	c   154s|     1 |     0 |  1425k|     - |   209M |   0 | 479 | 936 |1020 | 183 | 14 |  83 | 538 | 1.693228e+02 | 1.950000e+02 |  15.16%| unknown
153.22/153.63	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
153.22/153.63	c   154s|     1 |     0 |  1425k|     - |   209M |   0 | 479 | 936 |1030 | 193 | 15 |  83 | 538 | 1.693228e+02 | 1.950000e+02 |  15.16%| unknown
153.32/153.74	c   154s|     1 |     0 |  1425k|     - |   209M |   0 | 479 | 936 |1039 | 202 | 16 |  83 | 538 | 1.693228e+02 | 1.950000e+02 |  15.16%| unknown
153.42/153.83	c   154s|     1 |     0 |  1425k|     - |   209M |   0 | 479 | 936 |1046 | 209 | 17 |  83 | 538 | 1.693228e+02 | 1.950000e+02 |  15.16%| unknown
153.52/153.94	c   154s|     1 |     0 |  1425k|     - |   209M |   0 | 479 | 936 |1052 | 215 | 18 |  83 | 538 | 1.693228e+02 | 1.950000e+02 |  15.16%| unknown
153.63/154.06	c   154s|     1 |     0 |  1425k|     - |   209M |   0 | 479 | 936 |1019 | 223 | 19 |  83 | 538 | 1.693228e+02 | 1.950000e+02 |  15.16%| unknown
153.73/154.16	c   154s|     1 |     0 |  1425k|     - |   209M |   0 | 479 | 936 |1028 | 232 | 20 |  83 | 538 | 1.693228e+02 | 1.950000e+02 |  15.16%| unknown
153.82/154.25	c   154s|     1 |     0 |  1425k|     - |   209M |   0 | 479 | 936 |1032 | 236 | 21 |  83 | 538 | 1.693228e+02 | 1.950000e+02 |  15.16%| unknown
153.92/154.35	c   154s|     1 |     0 |  1425k|     - |   209M |   0 | 479 | 936 |1039 | 243 | 22 |  83 | 538 | 1.693228e+02 | 1.950000e+02 |  15.16%| unknown
154.02/154.44	c   154s|     1 |     0 |  1425k|     - |   209M |   0 | 479 | 936 |1040 | 244 | 23 |  83 | 538 | 1.693228e+02 | 1.950000e+02 |  15.16%| unknown
154.12/154.53	c   155s|     1 |     0 |  1425k|     - |   209M |   0 | 479 | 936 |1041 | 245 | 24 |  83 | 538 | 1.693228e+02 | 1.950000e+02 |  15.16%| unknown
156.51/157.00	c   157s|     1 |     2 |  1431k|     - |   209M |   0 | 479 | 940 |1041 | 245 | 25 |  87 | 558 | 1.693228e+02 | 1.950000e+02 |  15.16%| unknown
175.67/176.13	c   176s|   100 |   101 |  1544k|1327.2 |   226M |  35 | 479 | 942 |1012 | 613 |  1 |  91 | 736 | 1.693228e+02 | 1.950000e+02 |  15.16%| unknown
184.74/185.26	c   185s|   200 |   201 |  1613k|1275.7 |   256M |  54 | 479 | 943 |1099 |1087 |  1 |  92 | 779 | 1.693228e+02 | 1.950000e+02 |  15.16%| unknown
192.22/192.70	c   193s|   300 |   301 |  1694k|1241.8 |   258M |  55 | 479 | 943 |1045 |1556 |  1 |  94 | 831 | 1.693228e+02 | 1.950000e+02 |  15.16%| unknown
197.41/197.99	c   198s|   400 |   401 |  1754k|1197.2 |   258M |  73 | 479 | 943 |1133 |1745 |  1 |  98 | 859 | 1.693228e+02 | 1.950000e+02 |  15.16%| unknown
200.61/201.11	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
200.61/201.11	c   201s|   500 |   463 |  1787k|1141.1 |   258M |  87 | 479 | 943 |1136 |1827 |  0 | 107 | 891 | 1.693228e+02 | 1.950000e+02 |  15.16%| unknown
203.29/203.89	c   204s|   600 |   517 |  1812k|1087.3 |   258M |  91 | 479 | 943 | 980 |1910 |  1 | 124 | 924 | 1.693228e+02 | 1.950000e+02 |  15.16%| unknown
218.06/218.65	c   219s|   700 |   617 |  1931k|1093.2 |   260M |  91 | 479 | 947 | 975 |2456 |  1 | 128 | 966 | 1.693228e+02 | 1.950000e+02 |  15.16%| unknown
231.63/232.29	c   232s|   800 |   717 |  2027k|1085.9 |   304M |  91 | 479 | 968 | 978 |3036 |  1 | 151 |1013 | 1.693597e+02 | 1.950000e+02 |  15.14%| unknown
245.79/246.44	c   246s|   900 |   817 |  2137k|1086.3 |   298M |  91 | 479 | 976 | 983 |3555 |  1 | 163 |1055 | 1.694622e+02 | 1.950000e+02 |  15.07%| unknown
258.16/258.86	c   259s|  1000 |   917 |  2224k|1075.9 |   302M |  91 | 479 | 980 | 994 |4150 |  1 | 168 |1085 | 1.695506e+02 | 1.950000e+02 |  15.01%| unknown
269.83/270.54	c   271s|  1100 |  1017 |  2321k|1070.9 |   302M |  91 | 479 | 982 |1007 |4755 |  1 | 175 |1089 | 1.696472e+02 | 1.950000e+02 |  14.94%| unknown
281.01/281.74	c   282s|  1200 |  1117 |  2411k|1063.6 |   303M |  91 | 479 | 984 | 986 |5362 |  1 | 179 |1096 | 1.697018e+02 | 1.950000e+02 |  14.91%| unknown
292.78/293.55	c   294s|  1300 |  1217 |  2507k|1058.8 |   305M |  91 | 479 | 984 |1000 |5902 |  1 | 180 |1106 | 1.697883e+02 | 1.950000e+02 |  14.85%| unknown
304.06/304.87	c   305s|  1400 |  1317 |  2600k|1053.6 |   308M |  91 | 479 | 988 | 987 |6466 |  1 | 185 |1111 | 1.698460e+02 | 1.950000e+02 |  14.81%| unknown
314.73/315.58	c   316s|  1500 |  1417 |  2694k|1049.1 |   308M |  91 | 479 | 992 |1001 |7077 |  1 | 190 |1111 | 1.698863e+02 | 1.950000e+02 |  14.78%| unknown
326.00/326.88	c   327s|  1600 |  1517 |  2788k|1045.3 |   308M |  91 | 479 | 993 | 998 |7690 |  1 | 198 |1113 | 1.699330e+02 | 1.950000e+02 |  14.75%| unknown
339.77/340.61	c   341s|  1700 |  1617 |  2893k|1045.4 |   308M |  91 | 479 |1001 |1008 |8345 |  1 | 211 |1146 | 1.699769e+02 | 1.950000e+02 |  14.72%| unknown
352.25/353.18	c   353s|  1800 |  1717 |  2990k|1042.5 |   308M |  91 | 479 |1002 |1007 |9000 |  1 | 214 |1161 | 1.700216e+02 | 1.950000e+02 |  14.69%| unknown
363.71/364.63	c   365s|  1900 |  1817 |  3083k|1039.0 |   308M |  91 | 479 |1002 |1006 |9606 |  1 | 218 |1164 | 1.700508e+02 | 1.950000e+02 |  14.67%| unknown
374.28/375.26	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
374.28/375.26	c   375s|  2000 |  1917 |  3178k|1035.9 |   309M |  91 | 479 |1007 |1017 |  10k|  1 | 224 |1173 | 1.700930e+02 | 1.950000e+02 |  14.64%| unknown
385.75/386.74	c   387s|  2100 |  2017 |  3274k|1033.5 |   309M |  91 | 479 |1009 |1049 |  10k|  4 | 232 |1175 | 1.701434e+02 | 1.950000e+02 |  14.61%| unknown
396.63/397.63	c   398s|  2200 |  2117 |  3368k|1030.6 |   309M |  91 | 479 |1014 |1006 |  11k|  1 | 239 |1176 | 1.701877e+02 | 1.950000e+02 |  14.58%| unknown
407.50/408.55	c   409s|  2300 |  2217 |  3464k|1028.4 |   310M |  91 | 479 |1012 |1011 |  12k|  1 | 241 |1182 | 1.702209e+02 | 1.950000e+02 |  14.56%| unknown
418.27/419.30	c   419s|  2400 |  2317 |  3552k|1024.2 |   310M |  91 | 479 |1011 |1020 |  12k|  1 | 245 |1183 | 1.702413e+02 | 1.950000e+02 |  14.54%| unknown
429.85/430.98	c   431s|  2500 |  2417 |  3635k|1018.6 |   310M |  91 | 479 |1016 |1076 |  13k|  4 | 253 |1212 | 1.702720e+02 | 1.950000e+02 |  14.52%| unknown
440.42/441.59	c   442s|  2600 |  2517 |  3715k|1012.8 |   310M |  91 | 479 |1026 |1009 |  14k|  1 | 264 |1230 | 1.703102e+02 | 1.950000e+02 |  14.50%| unknown
451.59/452.70	c   453s|  2700 |  2617 |  3811k|1011.4 |   310M |  91 | 479 |1023 | 997 |  14k|  1 | 269 |1240 | 1.703329e+02 | 1.950000e+02 |  14.48%| unknown
461.47/462.65	c   463s|  2800 |  2717 |  3904k|1009.2 |   310M |  91 | 479 |1015 |1057 |  15k|  1 | 272 |1244 | 1.703606e+02 | 1.950000e+02 |  14.46%| unknown
471.85/473.08	c   473s|  2900 |  2817 |  3991k|1005.7 |   310M |  91 | 479 |1013 |1032 |  15k|  1 | 280 |1249 | 1.703924e+02 | 1.950000e+02 |  14.44%| unknown
482.61/483.81	c   484s|  3000 |  2917 |  4080k|1002.9 |   311M |  91 | 479 |1016 |1014 |  16k|  1 | 288 |1255 | 1.704116e+02 | 1.950000e+02 |  14.43%| unknown
490.90/492.19	c   492s|  3100 |  3017 |  4158k| 997.5 |   311M |  91 | 479 |1015 |1054 |  17k|  5 | 293 |1258 | 1.704441e+02 | 1.950000e+02 |  14.41%| unknown
500.16/501.42	c   501s|  3200 |  3117 |  4241k| 993.6 |   311M |  91 | 479 |1012 |1017 |  17k|  1 | 295 |1261 | 1.704520e+02 | 1.950000e+02 |  14.40%| unknown
509.34/510.67	c   511s|  3300 |  3217 |  4333k| 991.7 |   311M |  91 | 479 |1008 |1020 |  18k|  1 | 295 |1266 | 1.704765e+02 | 1.950000e+02 |  14.39%| unknown
519.11/520.43	c   520s|  3400 |  3317 |  4421k| 989.4 |   311M |  91 | 479 |1003 |1041 |  18k|  1 | 297 |1276 | 1.704884e+02 | 1.950000e+02 |  14.38%| unknown
530.70/532.08	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
530.70/532.08	c   532s|  3500 |  3417 |  4515k| 988.2 |   311M |  91 | 479 |1000 |1005 |  19k|  1 | 304 |1302 | 1.705105e+02 | 1.950000e+02 |  14.36%| unknown
539.86/541.27	c   541s|  3600 |  3517 |  4605k| 986.3 |   311M |  91 | 479 |1008 |1041 |  20k|  1 | 315 |1313 | 1.705228e+02 | 1.950000e+02 |  14.35%| unknown
549.83/551.24	c   551s|  3700 |  3617 |  4697k| 985.0 |   311M |  91 | 479 |1012 |1071 |  20k|  5 | 322 |1324 | 1.705437e+02 | 1.950000e+02 |  14.34%| unknown
559.81/561.27	c   561s|  3800 |  3717 |  4789k| 983.7 |   312M |  91 | 479 |1014 |1017 |  21k|  1 | 328 |1328 | 1.705603e+02 | 1.950000e+02 |  14.33%| unknown
568.19/569.64	c   570s|  3900 |  3817 |  4863k| 978.7 |   312M |  91 | 479 |1012 |1066 |  21k|  4 | 330 |1335 | 1.705774e+02 | 1.950000e+02 |  14.32%| unknown
577.76/579.26	c   579s|  4000 |  3917 |  4956k| 977.7 |   313M |  91 | 479 |1012 |1072 |  22k|  4 | 341 |1337 | 1.705870e+02 | 1.950000e+02 |  14.31%| unknown
586.74/588.23	c   588s|  4100 |  4017 |  5043k| 975.7 |   313M |  91 | 479 |1013 |1025 |  23k|  1 | 345 |1339 | 1.706012e+02 | 1.950000e+02 |  14.30%| unknown
595.22/596.77	c   597s|  4200 |  4117 |  5117k| 971.2 |   313M |  91 | 479 |1018 |1020 |  23k|  1 | 352 |1342 | 1.706344e+02 | 1.950000e+02 |  14.28%| unknown
603.60/605.11	c   605s|  4300 |  4217 |  5200k| 968.5 |   314M |  91 | 479 |1021 |1034 |  24k|  1 | 357 |1342 | 1.706461e+02 | 1.950000e+02 |  14.27%| unknown
613.27/614.88	c   615s|  4400 |  4317 |  5288k| 966.9 |   314M |  91 | 479 |1023 |1033 |  25k|  1 | 360 |1342 | 1.706521e+02 | 1.950000e+02 |  14.27%| unknown
621.85/623.47	c   623s|  4500 |  4417 |  5370k| 964.2 |   314M |  91 | 479 |1019 |1019 |  25k|  1 | 363 |1345 | 1.706618e+02 | 1.950000e+02 |  14.26%| unknown
631.72/633.38	c   633s|  4600 |  4517 |  5465k| 963.9 |   315M |  91 | 479 |1018 |1010 |  26k|  1 | 371 |1347 | 1.706766e+02 | 1.950000e+02 |  14.25%| unknown
639.52/641.12	c   641s|  4700 |  4617 |  5540k| 960.2 |   315M |  91 | 479 |1018 |1022 |  26k|  1 | 375 |1354 | 1.706924e+02 | 1.950000e+02 |  14.24%| unknown
646.59/648.28	c   648s|  4800 |  4717 |  5614k| 956.4 |   315M |  91 | 479 |1026 |1034 |  27k|  1 | 384 |1356 | 1.707054e+02 | 1.950000e+02 |  14.23%| unknown
654.87/656.52	c   657s|  4900 |  4817 |  5696k| 954.1 |   315M |  91 | 479 |1035 |1034 |  27k|  1 | 394 |1356 | 1.707205e+02 | 1.950000e+02 |  14.22%| unknown
663.55/665.23	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
663.55/665.23	c   665s|  5000 |  4917 |  5777k| 951.9 |   315M |  91 | 479 |1035 |1078 |  28k|  4 | 396 |1363 | 1.707289e+02 | 1.950000e+02 |  14.22%| unknown
672.53/674.24	c   674s|  5100 |  5017 |  5851k| 948.3 |   315M |  91 | 479 |1035 |1018 |  29k|  1 | 400 |1379 | 1.707424e+02 | 1.950000e+02 |  14.21%| unknown
681.71/683.40	c   683s|  5200 |  5117 |  5934k| 946.4 |   315M |  91 | 479 |1031 |1055 |  29k|  1 | 405 |1384 | 1.707525e+02 | 1.950000e+02 |  14.20%| unknown
691.19/692.93	c   693s|  5300 |  5217 |  6033k| 947.1 |   316M |  91 | 479 |1028 |1019 |  30k|  1 | 408 |1393 | 1.707698e+02 | 1.950000e+02 |  14.19%| unknown
700.28/702.03	c   702s|  5400 |  5317 |  6119k| 945.8 |   316M |  91 | 479 |1032 |1018 |  30k|  1 | 416 |1401 | 1.707834e+02 | 1.950000e+02 |  14.18%| unknown
707.45/709.25	c   709s|  5500 |  5417 |  6197k| 943.2 |   316M |  91 | 479 |1029 |1012 |  31k|  1 | 416 |1404 | 1.707933e+02 | 1.950000e+02 |  14.17%| unknown
717.12/718.98	c   719s|  5600 |  5517 |  6298k| 944.2 |   316M |  91 | 479 |1032 |1009 |  31k|  1 | 421 |1406 | 1.708021e+02 | 1.950000e+02 |  14.17%| unknown
727.80/729.62	c   730s|  5700 |  5617 |  6405k| 946.1 |   316M |  91 | 479 |1037 |1071 |  32k|  1 | 428 |1408 | 1.708171e+02 | 1.950000e+02 |  14.16%| unknown
735.98/737.84	c   738s|  5800 |  5717 |  6481k| 943.5 |   316M |  91 | 479 |1040 |1062 |  33k|  1 | 435 |1408 | 1.708284e+02 | 1.950000e+02 |  14.15%| unknown
745.17/747.05	c   747s|  5900 |  5817 |  6583k| 944.5 |   317M |  91 | 479 |1038 |1028 |  33k|  1 | 435 |1410 | 1.708325e+02 | 1.950000e+02 |  14.15%| unknown
754.63/756.50	c   756s|  6000 |  5917 |  6686k| 945.7 |   317M |  91 | 479 |1037 |1054 |  34k|  1 | 441 |1413 | 1.708411e+02 | 1.950000e+02 |  14.14%| unknown
765.01/766.94	c   767s|  6100 |  6017 |  6795k| 947.8 |   317M |  91 | 479 |1032 |1053 |  34k|  1 | 444 |1426 | 1.708465e+02 | 1.950000e+02 |  14.14%| unknown
773.20/775.12	c   775s|  6200 |  6117 |  6872k| 945.3 |   317M |  91 | 479 |1032 |1001 |  35k|  1 | 447 |1442 | 1.708538e+02 | 1.950000e+02 |  14.13%| unknown
782.37/784.40	c   784s|  6300 |  6217 |  6968k| 945.5 |   317M |  91 | 479 |1027 |1015 |  36k|  1 | 447 |1451 | 1.708612e+02 | 1.950000e+02 |  14.13%| unknown
792.84/794.88	c   795s|  6400 |  6317 |  7053k| 944.3 |   317M |  91 | 479 |1020 |1009 |  36k|  1 | 449 |1461 | 1.708700e+02 | 1.950000e+02 |  14.12%| unknown
800.92/802.93	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
800.92/802.93	c   803s|  6500 |  6417 |  7144k| 943.7 |   352M |  91 | 479 |1021 |1053 |  37k|  1 | 453 |1464 | 1.708798e+02 | 1.950000e+02 |  14.12%| unknown
810.40/812.48	c   812s|  6600 |  6517 |  7259k| 946.4 |   352M |  91 | 479 |1019 |1026 |  37k|  1 | 454 |1465 | 1.708879e+02 | 1.950000e+02 |  14.11%| unknown
818.38/820.48	c   820s|  6700 |  6617 |  7338k| 944.4 |   352M |  91 | 479 |1023 |1023 |  38k|  1 | 462 |1468 | 1.708946e+02 | 1.950000e+02 |  14.11%| unknown
822.37/824.42	o 194
822.37/824.42	c d 824s|  6740 |  6639 |  7371k| 943.8 |pscostdi|  91 | 479 |1023 |1080 |   0 |  4 | 463 |1474 | 1.708976e+02 | 1.940000e+02 |  13.52%| unknown
827.86/829.90	c   830s|  6800 |  6699 |  7426k| 943.7 |   353M |  91 | 479 |1025 |1060 |  38k|  1 | 472 |1476 | 1.709024e+02 | 1.940000e+02 |  13.52%| unknown
836.05/838.11	c   838s|  6900 |  6799 |  7508k| 942.1 |   353M |  91 | 479 |1024 |1054 |  39k|  1 | 475 |1480 | 1.709168e+02 | 1.940000e+02 |  13.51%| unknown
843.52/845.64	c   846s|  7000 |  6899 |  7585k| 939.9 |   353M |  91 | 479 |1036 |1031 |  39k|  1 | 488 |1483 | 1.709307e+02 | 1.940000e+02 |  13.50%| unknown
852.50/854.67	c   855s|  7100 |  6999 |  7682k| 940.3 |   353M |  91 | 479 |1041 |1046 |  40k|  1 | 496 |1485 | 1.709374e+02 | 1.940000e+02 |  13.49%| unknown
861.57/863.78	c   864s|  7200 |  7099 |  7763k| 938.7 |   353M |  91 | 479 |1046 |1013 |  41k|  1 | 503 |1486 | 1.709412e+02 | 1.940000e+02 |  13.49%| unknown
868.97/871.19	c   871s|  7300 |  7199 |  7835k| 936.1 |   354M |  91 | 479 |1045 |1045 |  41k|  1 | 507 |1487 | 1.709509e+02 | 1.940000e+02 |  13.48%| unknown
880.03/882.29	c   882s|  7400 |  7299 |  7983k| 942.6 |   354M |  91 | 479 |1049 |1048 |  42k|  1 | 511 |1499 | 1.709597e+02 | 1.940000e+02 |  13.48%| unknown
889.11/891.32	c   891s|  7500 |  7399 |  8086k| 943.5 |   354M |  91 | 479 |1052 |1014 |  42k|  1 | 516 |1508 | 1.709640e+02 | 1.940000e+02 |  13.47%| unknown
897.09/899.32	c   899s|  7600 |  7499 |  8160k| 941.2 |   354M |  91 | 479 |1054 |1057 |  43k|  1 | 523 |1516 | 1.709702e+02 | 1.940000e+02 |  13.47%| unknown
905.57/907.89	c   908s|  7700 |  7599 |  8234k| 938.9 |   354M |  91 | 479 |1055 |1051 |  43k|  1 | 527 |1526 | 1.709739e+02 | 1.940000e+02 |  13.47%| unknown
914.95/917.29	c   917s|  7800 |  7699 |  8332k| 939.4 |   354M |  91 | 479 |1056 |1042 |  44k|  1 | 532 |1529 | 1.709822e+02 | 1.940000e+02 |  13.46%| unknown
922.03/924.36	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
922.03/924.36	c   924s|  7900 |  7799 |  8415k| 938.1 |   354M |  91 | 479 |1065 |1041 |  44k|  1 | 545 |1531 | 1.709893e+02 | 1.940000e+02 |  13.46%| unknown
929.01/931.38	c   931s|  8000 |  7899 |  8491k| 936.2 |   354M |  91 | 479 |1065 |1077 |  45k|  4 | 547 |1533 | 1.709968e+02 | 1.940000e+02 |  13.45%| unknown
935.30/937.64	c   938s|  8100 |  7999 |  8558k| 933.3 |   354M |  91 | 479 |1063 |1012 |  45k|  1 | 547 |1533 | 1.710026e+02 | 1.940000e+02 |  13.45%| unknown
942.98/945.34	c   945s|  8200 |  8099 |  8645k| 932.6 |   354M |  91 | 479 |1061 |1070 |  46k|  4 | 549 |1536 | 1.710132e+02 | 1.940000e+02 |  13.44%| unknown
951.86/954.25	c   954s|  8300 |  8199 |  8738k| 932.5 |   354M |  91 | 479 |1065 |1070 |  46k|  4 | 554 |1536 | 1.710157e+02 | 1.940000e+02 |  13.44%| unknown
959.44/961.88	c   962s|  8400 |  8299 |  8820k| 931.4 |   354M |  91 | 479 |1063 |1069 |  47k|  1 | 557 |1538 | 1.710214e+02 | 1.940000e+02 |  13.44%| unknown
966.52/968.95	c   969s|  8500 |  8399 |  8887k| 928.6 |   354M |  91 | 479 |1068 |1017 |  47k|  1 | 569 |1542 | 1.710250e+02 | 1.940000e+02 |  13.43%| unknown
974.61/977.09	c   977s|  8600 |  8499 |  8968k| 927.4 |   355M |  91 | 479 |1066 |1045 |  48k|  1 | 571 |1545 | 1.710350e+02 | 1.940000e+02 |  13.43%| unknown
981.88/984.38	c   984s|  8700 |  8599 |  9049k| 926.2 |   355M |  91 | 479 |1063 |1065 |  48k|  3 | 574 |1557 | 1.710407e+02 | 1.940000e+02 |  13.42%| unknown
990.67/993.19	c   993s|  8800 |  8699 |  9151k| 927.2 |   355M |  91 | 479 |1071 |1046 |  49k|  1 | 583 |1567 | 1.710451e+02 | 1.940000e+02 |  13.42%| unknown
998.34/1000.86	c  1001s|  8900 |  8799 |  9225k| 925.3 |   355M |  91 | 479 |1069 |1050 |  49k|  1 | 584 |1572 | 1.710515e+02 | 1.940000e+02 |  13.42%| unknown
1004.92/1007.40	c  1007s|  9000 |  8899 |  9298k| 923.3 |   355M |  91 | 479 |1066 |1038 |  50k|  1 | 589 |1577 | 1.710562e+02 | 1.940000e+02 |  13.41%| unknown
1013.00/1015.50	c  1016s|  9100 |  8999 |  9371k| 921.4 |   355M |  91 | 479 |1066 |1048 |  50k|  1 | 593 |1581 | 1.710636e+02 | 1.940000e+02 |  13.41%| unknown
1019.59/1022.11	c  1022s|  9200 |  9099 |  9445k| 919.7 |   356M |  91 | 479 |1068 |1039 |  51k|  1 | 597 |1586 | 1.710663e+02 | 1.940000e+02 |  13.41%| unknown
1026.26/1028.88	c  1029s|  9300 |  9199 |  9514k| 917.5 |   357M |  91 | 479 |1072 |1048 |  51k|  1 | 606 |1588 | 1.710696e+02 | 1.940000e+02 |  13.40%| unknown
1034.03/1036.61	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1034.03/1036.61	c  1037s|  9400 |  9299 |  9605k| 917.3 |   357M |  91 | 479 |1068 |1009 |  52k|  1 | 611 |1593 | 1.710763e+02 | 1.940000e+02 |  13.40%| unknown
1041.81/1044.46	c  1044s|  9500 |  9399 |  9685k| 916.2 |   357M |  91 | 479 |1067 |1042 |  52k|  1 | 611 |1596 | 1.710821e+02 | 1.940000e+02 |  13.40%| unknown
1048.19/1050.90	c  1051s|  9600 |  9499 |  9751k| 913.8 |   357M |  91 | 479 |1066 |1015 |  53k|  1 | 613 |1597 | 1.710912e+02 | 1.940000e+02 |  13.39%| unknown
1055.38/1058.05	c  1058s|  9700 |  9599 |  9827k| 912.4 |   357M |  91 | 479 |1074 |1058 |  53k|  1 | 624 |1597 | 1.710952e+02 | 1.940000e+02 |  13.39%| unknown
1061.85/1064.51	c  1065s|  9800 |  9699 |  9898k| 910.5 |   357M |  91 | 479 |1075 |1038 |  54k|  1 | 627 |1597 | 1.711019e+02 | 1.940000e+02 |  13.38%| unknown
1069.63/1072.32	c  1072s|  9900 |  9799 |  9978k| 909.5 |   357M |  91 | 479 |1087 |1041 |  54k|  1 | 640 |1600 | 1.711086e+02 | 1.940000e+02 |  13.38%| unknown
1075.51/1078.29	c  1078s| 10000 |  9899 | 10043k| 907.1 |   357M |  91 | 479 |1084 |1059 |  55k|  1 | 641 |1603 | 1.711146e+02 | 1.940000e+02 |  13.37%| unknown
1082.99/1085.74	c  1086s| 10100 |  9999 | 10113k| 905.4 |   357M |  91 | 479 |1084 |1067 |  55k|  1 | 644 |1614 | 1.711201e+02 | 1.940000e+02 |  13.37%| unknown
1091.46/1094.24	c  1094s| 10200 | 10099 | 10207k| 905.6 |   357M |  91 | 479 |1089 |1013 |  56k|  1 | 650 |1621 | 1.711233e+02 | 1.940000e+02 |  13.37%| unknown
1100.14/1102.99	c  1103s| 10300 | 10199 | 10288k| 904.8 |   358M |  91 | 479 |1093 |1013 |  56k|  1 | 657 |1634 | 1.711261e+02 | 1.940000e+02 |  13.37%| unknown
1107.33/1110.14	c  1110s| 10400 | 10299 | 10352k| 902.5 |   358M |  91 | 479 |1096 |1014 |  57k|  1 | 664 |1644 | 1.711307e+02 | 1.940000e+02 |  13.36%| unknown
1114.49/1117.30	c  1117s| 10500 | 10399 | 10429k| 901.4 |   358M |  91 | 479 |1096 |1069 |  57k|  1 | 667 |1645 | 1.711373e+02 | 1.940000e+02 |  13.36%| unknown
1120.58/1123.40	c  1123s| 10600 | 10499 | 10494k| 899.2 |   358M |  91 | 479 |1103 |1039 |  58k|  1 | 676 |1646 | 1.711443e+02 | 1.940000e+02 |  13.35%| unknown
1127.36/1130.20	c  1130s| 10700 | 10599 | 10567k| 897.7 |   358M |  91 | 479 |1106 |1016 |  58k|  1 | 686 |1648 | 1.711486e+02 | 1.940000e+02 |  13.35%| unknown
1134.53/1137.47	c  1137s| 10800 | 10699 | 10645k| 896.7 |   358M |  91 | 479 |1117 |1056 |  59k|  1 | 699 |1649 | 1.711560e+02 | 1.940000e+02 |  13.35%| unknown
1142.31/1145.25	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1142.31/1145.25	c  1145s| 10900 | 10799 | 10735k| 896.8 |   358M |  91 | 479 |1120 |1060 |  59k|  1 | 705 |1650 | 1.711613e+02 | 1.940000e+02 |  13.34%| unknown
1150.10/1153.07	c  1153s| 11000 | 10899 | 10813k| 895.8 |   358M |  91 | 479 |1123 |1010 |  60k|  1 | 710 |1651 | 1.711670e+02 | 1.940000e+02 |  13.34%| unknown
1157.67/1160.60	c  1161s| 11100 | 10999 | 10888k| 894.6 |   358M |  91 | 479 |1122 |1017 |  60k|  1 | 711 |1655 | 1.711709e+02 | 1.940000e+02 |  13.34%| unknown
1165.16/1168.13	c  1168s| 11200 | 11099 | 10966k| 893.6 |   358M |  91 | 479 |1122 |1060 |  61k|  1 | 713 |1657 | 1.711764e+02 | 1.940000e+02 |  13.33%| unknown
1170.93/1173.97	c  1174s| 11300 | 11199 | 11030k| 891.6 |   358M |  91 | 479 |1123 |1079 |  61k|  1 | 717 |1660 | 1.711799e+02 | 1.940000e+02 |  13.33%| unknown
1178.70/1181.75	c  1182s| 11400 | 11299 | 11106k| 890.5 |   358M |  91 | 479 |1125 |1055 |  62k|  1 | 725 |1660 | 1.711860e+02 | 1.940000e+02 |  13.33%| unknown
1185.58/1188.63	c  1189s| 11500 | 11399 | 11178k| 889.2 |   358M |  91 | 479 |1129 |1052 |  62k|  1 | 730 |1663 | 1.711903e+02 | 1.940000e+02 |  13.32%| unknown
1194.46/1197.56	c  1198s| 11600 | 11499 | 11271k| 889.5 |   359M |  91 | 479 |1128 |1074 |  63k|  1 | 734 |1674 | 1.711928e+02 | 1.940000e+02 |  13.32%| unknown
1201.84/1205.00	c  1205s| 11700 | 11599 | 11347k| 888.5 |   359M |  91 | 479 |1129 | 992 |  63k|  1 | 743 |1680 | 1.711975e+02 | 1.940000e+02 |  13.32%| unknown
1208.93/1212.10	c  1212s| 11800 | 11699 | 11421k| 887.3 |   359M |  91 | 479 |1129 |1074 |  64k|  1 | 748 |1681 | 1.712005e+02 | 1.940000e+02 |  13.32%| unknown
1216.49/1219.64	c  1220s| 11900 | 11799 | 11492k| 885.9 |   359M |  91 | 479 |1130 |1040 |  64k|  1 | 752 |1687 | 1.712063e+02 | 1.940000e+02 |  13.31%| unknown
1223.88/1227.02	c  1227s| 12000 | 11899 | 11569k| 885.1 |   359M |  91 | 479 |1131 |1051 |  65k|  1 | 758 |1693 | 1.712107e+02 | 1.940000e+02 |  13.31%| unknown
1231.65/1234.83	c  1235s| 12100 | 11999 | 11645k| 884.2 |   359M |  91 | 479 |1137 |1051 |  65k|  1 | 767 |1696 | 1.712140e+02 | 1.940000e+02 |  13.31%| unknown
1240.02/1243.23	c  1243s| 12200 | 12099 | 11726k| 883.5 |   359M |  91 | 479 |1147 |1060 |  66k|  1 | 781 |1699 | 1.712174e+02 | 1.940000e+02 |  13.31%| unknown
1247.20/1250.41	c  1250s| 12300 | 12199 | 11809k| 883.2 |   359M |  91 | 479 |1145 |1048 |  67k|  1 | 785 |1701 | 1.712221e+02 | 1.940000e+02 |  13.30%| unknown
1253.38/1256.66	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1253.38/1256.66	c  1257s| 12400 | 12299 | 11882k| 882.0 |   359M |  91 | 479 |1149 |1043 |  67k|  1 | 790 |1701 | 1.712239e+02 | 1.940000e+02 |  13.30%| unknown
1260.26/1263.59	c  1264s| 12500 | 12399 | 11954k| 880.9 |   359M |  91 | 479 |1148 |1040 |  68k|  1 | 791 |1704 | 1.712284e+02 | 1.940000e+02 |  13.30%| unknown
1265.95/1269.29	c  1269s| 12600 | 12499 | 12019k| 879.2 |   359M |  91 | 479 |1153 |1042 |  68k|  1 | 798 |1704 | 1.712325e+02 | 1.940000e+02 |  13.30%| unknown
1271.53/1274.83	c  1275s| 12700 | 12599 | 12083k| 877.4 |   359M |  91 | 479 |1153 |1052 |  69k|  4 | 801 |1704 | 1.712367e+02 | 1.940000e+02 |  13.29%| unknown
1278.72/1282.07	c  1282s| 12800 | 12699 | 12170k| 877.3 |   359M |  91 | 479 |1156 |1011 |  69k|  1 | 804 |1705 | 1.712408e+02 | 1.940000e+02 |  13.29%| unknown
1285.80/1289.18	c  1289s| 12900 | 12799 | 12243k| 876.3 |   359M |  91 | 479 |1158 |1003 |  69k|  1 | 808 |1706 | 1.712454e+02 | 1.940000e+02 |  13.29%| unknown
1291.47/1294.81	c  1295s| 13000 | 12899 | 12305k| 874.4 |   360M |  91 | 479 |1162 |1070 |  70k|  1 | 814 |1709 | 1.712476e+02 | 1.940000e+02 |  13.29%| unknown
1298.95/1302.30	c  1302s| 13100 | 12999 | 12377k| 873.4 |   360M |  91 | 479 |1163 |1065 |  70k|  1 | 818 |1719 | 1.712545e+02 | 1.940000e+02 |  13.28%| unknown
1305.93/1309.32	c  1309s| 13200 | 13099 | 12460k| 873.0 |   361M |  91 | 479 |1157 |1057 |  71k|  1 | 820 |1723 | 1.712591e+02 | 1.940000e+02 |  13.28%| unknown
1313.11/1316.53	c  1317s| 13300 | 13199 | 12530k| 871.9 |   361M |  91 | 479 |1159 |1054 |  71k|  1 | 826 |1726 | 1.712638e+02 | 1.940000e+02 |  13.28%| unknown
1319.49/1322.92	c  1323s| 13400 | 13299 | 12602k| 870.8 |   361M |  91 | 479 |1164 |1042 |  72k|  1 | 839 |1729 | 1.712682e+02 | 1.940000e+02 |  13.27%| unknown
1325.87/1329.32	c  1329s| 13500 | 13399 | 12666k| 869.2 |   361M |  91 | 479 |1162 |1049 |  72k|  1 | 842 |1733 | 1.712715e+02 | 1.940000e+02 |  13.27%| unknown
1331.46/1334.99	c  1335s| 13600 | 13499 | 12730k| 867.7 |   361M |  91 | 479 |1162 |1062 |  73k|  1 | 847 |1734 | 1.712761e+02 | 1.940000e+02 |  13.27%| unknown
1337.55/1341.03	c  1341s| 13700 | 13599 | 12794k| 866.1 |   361M |  91 | 479 |1160 |1035 |  73k|  1 | 851 |1738 | 1.712794e+02 | 1.940000e+02 |  13.27%| unknown
1344.22/1347.73	c  1348s| 13800 | 13699 | 12866k| 865.1 |   361M |  91 | 479 |1166 |1059 |  74k|  1 | 859 |1739 | 1.712825e+02 | 1.940000e+02 |  13.26%| unknown
1352.09/1355.66	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1352.09/1355.66	c  1356s| 13900 | 13799 | 12957k| 865.4 |   362M |  91 | 479 |1163 |1062 |  74k|  1 | 867 |1741 | 1.712843e+02 | 1.940000e+02 |  13.26%| unknown
1357.78/1361.32	c  1361s| 14000 | 13899 | 13021k| 864.0 |   362M |  91 | 479 |1157 |1052 |  75k|  1 | 870 |1743 | 1.712872e+02 | 1.940000e+02 |  13.26%| unknown
1364.76/1368.32	c  1368s| 14100 | 13999 | 13097k| 863.3 |   362M |  91 | 479 |1162 |1034 |  75k|  1 | 880 |1743 | 1.712903e+02 | 1.940000e+02 |  13.26%| unknown
1372.44/1376.01	c  1376s| 14200 | 14099 | 13179k| 862.9 |   362M |  91 | 479 |1169 |1042 |  76k|  1 | 892 |1743 | 1.712956e+02 | 1.940000e+02 |  13.25%| unknown
1378.43/1382.05	c  1382s| 14300 | 14199 | 13258k| 862.5 |   362M |  91 | 479 |1169 |1050 |  76k|  1 | 894 |1745 | 1.712984e+02 | 1.940000e+02 |  13.25%| unknown
1386.59/1390.27	c  1390s| 14400 | 14299 | 13337k| 862.0 |   362M |  91 | 479 |1172 |1069 |  77k|  1 | 900 |1746 | 1.713013e+02 | 1.940000e+02 |  13.25%| unknown
1393.57/1397.28	c  1397s| 14500 | 14399 | 13406k| 860.9 |   362M |  91 | 479 |1170 |1056 |  77k|  1 | 907 |1755 | 1.713043e+02 | 1.940000e+02 |  13.25%| unknown
1400.15/1403.84	c  1404s| 14600 | 14499 | 13477k| 859.9 |   362M |  91 | 479 |1173 |1055 |  78k|  1 | 914 |1764 | 1.713064e+02 | 1.940000e+02 |  13.25%| unknown
1406.83/1410.54	c  1411s| 14700 | 14599 | 13549k| 859.1 |   362M |  91 | 479 |1173 |1028 |  78k|  1 | 915 |1769 | 1.713088e+02 | 1.940000e+02 |  13.25%| unknown
1413.42/1417.12	c  1417s| 14800 | 14699 | 13621k| 858.2 |   362M |  91 | 479 |1167 |1056 |  79k|  1 | 922 |1772 | 1.713113e+02 | 1.940000e+02 |  13.24%| unknown
1418.80/1422.54	c  1423s| 14900 | 14799 | 13679k| 856.5 |   362M |  91 | 479 |1165 |1049 |  79k|  1 | 924 |1774 | 1.713167e+02 | 1.940000e+02 |  13.24%| unknown
1425.40/1429.12	c  1429s| 15000 | 14899 | 13746k| 855.3 |   363M |  91 | 479 |1165 |1064 |  79k|  1 | 933 |1777 | 1.713191e+02 | 1.940000e+02 |  13.24%| unknown
1432.86/1436.68	c  1437s| 15100 | 14999 | 13834k| 855.4 |   363M |  91 | 479 |1160 |1047 |  80k|  1 | 938 |1779 | 1.713223e+02 | 1.940000e+02 |  13.24%| unknown
1438.05/1441.87	c  1442s| 15200 | 15099 | 13891k| 853.7 |   363M |  91 | 479 |1160 |1071 |  80k|  1 | 946 |1785 | 1.713246e+02 | 1.940000e+02 |  13.24%| unknown
1444.73/1448.57	c  1449s| 15300 | 15199 | 13966k| 853.0 |   363M |  91 | 479 |1162 |1052 |  81k|  1 | 953 |1786 | 1.713277e+02 | 1.940000e+02 |  13.23%| unknown
1450.61/1454.47	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1450.61/1454.47	c  1454s| 15400 | 15299 | 14026k| 851.5 |   363M |  91 | 479 |1159 |1074 |  81k|  1 | 956 |1790 | 1.713308e+02 | 1.940000e+02 |  13.23%| unknown
1456.31/1460.17	c  1460s| 15500 | 15399 | 14087k| 850.1 |   363M |  91 | 479 |1171 |1062 |  82k|  1 | 971 |1795 | 1.713329e+02 | 1.940000e+02 |  13.23%| unknown
1463.57/1467.40	c  1467s| 15600 | 15499 | 14159k| 849.3 |   363M |  91 | 479 |1175 |1052 |  82k|  3 | 977 |1798 | 1.713369e+02 | 1.940000e+02 |  13.23%| unknown
1468.96/1472.82	c  1473s| 15700 | 15599 | 14221k| 847.9 |   363M |  91 | 479 |1171 |1054 |  83k|  1 | 977 |1800 | 1.713401e+02 | 1.940000e+02 |  13.23%| unknown
1475.84/1479.72	c  1480s| 15800 | 15699 | 14291k| 847.0 |   363M |  91 | 479 |1176 |1049 |  83k|  1 | 986 |1802 | 1.713443e+02 | 1.940000e+02 |  13.22%| unknown
1483.13/1487.01	c  1487s| 15900 | 15799 | 14383k| 847.5 |   363M |  91 | 479 |1186 |1048 |  83k|  1 | 999 |1802 | 1.713469e+02 | 1.940000e+02 |  13.22%| unknown
1490.11/1494.02	c  1494s| 16000 | 15899 | 14461k| 847.1 |   364M |  91 | 479 |1190 |1052 |  84k|  1 |1006 |1802 | 1.713505e+02 | 1.940000e+02 |  13.22%| unknown
1496.87/1500.80	c  1501s| 16100 | 15999 | 14537k| 846.5 |   364M |  91 | 479 |1187 |1045 |  84k|  1 |1009 |1804 | 1.713531e+02 | 1.940000e+02 |  13.22%| unknown
1503.17/1507.18	c  1507s| 16200 | 16099 | 14601k| 845.4 |   364M |  91 | 479 |1188 |1050 |  85k|  1 |1013 |1809 | 1.713554e+02 | 1.940000e+02 |  13.22%| unknown
1509.64/1513.62	c  1514s| 16300 | 16199 | 14669k| 844.4 |   364M |  91 | 479 |1187 |1059 |  85k|  1 |1021 |1814 | 1.713585e+02 | 1.940000e+02 |  13.21%| unknown
1518.02/1522.10	c  1522s| 16400 | 16299 | 14764k| 845.0 |   364M |  91 | 479 |1180 |1067 |  86k|  3 |1022 |1823 | 1.713600e+02 | 1.940000e+02 |  13.21%| unknown
1523.70/1527.75	c  1528s| 16500 | 16399 | 14826k| 843.7 |   364M |  91 | 479 |1182 |1049 |  86k|  1 |1031 |1829 | 1.713635e+02 | 1.940000e+02 |  13.21%| unknown
1530.77/1534.80	c  1535s| 16600 | 16499 | 14899k| 843.1 |   365M |  91 | 479 |1183 |1054 |  87k|  1 |1038 |1837 | 1.713652e+02 | 1.940000e+02 |  13.21%| unknown
1537.56/1541.65	c  1542s| 16700 | 16599 | 14970k| 842.3 |   365M |  91 | 479 |1184 |1079 |  87k|  1 |1043 |1838 | 1.713704e+02 | 1.940000e+02 |  13.21%| unknown
1543.84/1547.93	c  1548s| 16800 | 16699 | 15040k| 841.5 |   365M |  91 | 479 |1176 |1052 |  87k|  1 |1043 |1840 | 1.713729e+02 | 1.940000e+02 |  13.20%| unknown
1549.22/1553.38	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1549.22/1553.38	c  1553s| 16900 | 16799 | 15100k| 840.2 |   365M |  91 | 479 |1177 |1070 |  88k|  1 |1047 |1842 | 1.713764e+02 | 1.940000e+02 |  13.20%| unknown
1556.10/1560.21	c  1560s| 17000 | 16899 | 15177k| 839.8 |   365M |  91 | 479 |1180 |1050 |  88k|  3 |1057 |1844 | 1.713786e+02 | 1.940000e+02 |  13.20%| unknown
1563.48/1567.64	c  1568s| 17100 | 16999 | 15261k| 839.8 |   365M |  91 | 479 |1177 |1011 |  89k|  1 |1062 |1844 | 1.713811e+02 | 1.940000e+02 |  13.20%| unknown
1569.46/1573.65	c  1574s| 17200 | 17099 | 15327k| 838.8 |   365M |  91 | 479 |1176 |1049 |  89k|  1 |1065 |1846 | 1.713837e+02 | 1.940000e+02 |  13.20%| unknown
1576.04/1580.27	c  1580s| 17300 | 17199 | 15399k| 838.2 |   365M |  91 | 479 |1182 |1046 |  89k|  1 |1074 |1848 | 1.713862e+02 | 1.940000e+02 |  13.19%| unknown
1582.22/1586.50	c  1586s| 17400 | 17299 | 15468k| 837.4 |   365M |  91 | 479 |1186 |1074 |  90k|  3 |1079 |1848 | 1.713888e+02 | 1.940000e+02 |  13.19%| unknown
1588.21/1592.49	c  1592s| 17500 | 17399 | 15532k| 836.3 |   365M |  91 | 479 |1186 |1044 |  90k|  1 |1086 |1848 | 1.713920e+02 | 1.940000e+02 |  13.19%| unknown
1594.69/1598.99	c  1599s| 17600 | 17499 | 15601k| 835.5 |   365M |  91 | 479 |1190 |1056 |  91k|  1 |1093 |1851 | 1.713943e+02 | 1.940000e+02 |  13.19%| unknown
1601.17/1605.49	c  1605s| 17700 | 17599 | 15669k| 834.7 |   366M |  91 | 479 |1192 |1063 |  91k|  1 |1101 |1851 | 1.713960e+02 | 1.940000e+02 |  13.19%| unknown
1607.45/1611.76	c  1612s| 17800 | 17699 | 15737k| 833.9 |   366M |  91 | 479 |1189 |1057 |  92k|  1 |1103 |1851 | 1.713980e+02 | 1.940000e+02 |  13.19%| unknown
1615.12/1619.42	c  1619s| 17900 | 17799 | 15831k| 834.4 |   366M |  91 | 479 |1205 |1042 |  92k|  1 |1120 |1855 | 1.714010e+02 | 1.940000e+02 |  13.18%| unknown
1621.72/1626.09	c  1626s| 18000 | 17899 | 15903k| 833.8 |   366M |  91 | 479 |1208 |1051 |  92k|  4 |1124 |1860 | 1.714042e+02 | 1.940000e+02 |  13.18%| unknown
1628.09/1632.42	c  1632s| 18100 | 17999 | 15969k| 832.9 |   366M |  91 | 479 |1204 |1046 |  93k|  1 |1125 |1863 | 1.714068e+02 | 1.940000e+02 |  13.18%| unknown
1634.18/1638.51	c  1639s| 18200 | 18099 | 16038k| 832.2 |   366M |  91 | 479 |1201 |1067 |  93k|  1 |1130 |1865 | 1.714099e+02 | 1.940000e+02 |  13.18%| unknown
1639.96/1644.38	c  1644s| 18300 | 18199 | 16098k| 831.0 |   367M |  91 | 479 |1197 |1065 |  94k|  1 |1131 |1868 | 1.714139e+02 | 1.940000e+02 |  13.18%| unknown
1646.35/1650.73	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1646.35/1650.73	c  1651s| 18400 | 18299 | 16172k| 830.5 |   367M |  91 | 479 |1195 |1063 |  94k|  1 |1142 |1870 | 1.714172e+02 | 1.940000e+02 |  13.17%| unknown
1653.13/1657.55	c  1658s| 18500 | 18399 | 16247k| 830.1 |   367M |  91 | 479 |1196 |1076 |  95k|  1 |1149 |1872 | 1.714208e+02 | 1.940000e+02 |  13.17%| unknown
1659.92/1664.30	c  1664s| 18600 | 18499 | 16319k| 829.5 |   367M |  91 | 479 |1189 |1050 |  95k|  1 |1155 |1877 | 1.714236e+02 | 1.940000e+02 |  13.17%| unknown
1666.90/1671.38	c  1671s| 18700 | 18599 | 16406k| 829.7 |   367M |  91 | 479 |1183 |1068 |  95k|  1 |1158 |1879 | 1.714255e+02 | 1.940000e+02 |  13.17%| unknown
1672.39/1676.84	c  1677s| 18800 | 18699 | 16469k| 828.7 |   367M |  91 | 479 |1184 |1058 |  96k|  1 |1161 |1881 | 1.714263e+02 | 1.940000e+02 |  13.17%| unknown
1678.68/1683.12	c  1683s| 18900 | 18799 | 16538k| 828.0 |   367M |  91 | 479 |1190 |1008 |  96k|  1 |1170 |1882 | 1.714288e+02 | 1.940000e+02 |  13.17%| unknown
1685.25/1689.76	c  1690s| 19000 | 18899 | 16605k| 827.2 |   367M |  91 | 479 |1190 |1048 |  97k|  1 |1179 |1884 | 1.714317e+02 | 1.940000e+02 |  13.16%| unknown
1692.55/1697.02	c  1697s| 19100 | 18999 | 16676k| 826.6 |   367M |  91 | 479 |1191 |1040 |  97k|  1 |1184 |1887 | 1.714337e+02 | 1.940000e+02 |  13.16%| unknown
1698.82/1703.39	c  1703s| 19200 | 19099 | 16751k| 826.3 |   367M |  91 | 479 |1189 |1038 |  98k|  1 |1186 |1887 | 1.714362e+02 | 1.940000e+02 |  13.16%| unknown
1705.41/1709.98	c  1710s| 19300 | 19199 | 16822k| 825.7 |   367M |  91 | 479 |1189 |1059 |  98k|  1 |1188 |1890 | 1.714381e+02 | 1.940000e+02 |  13.16%| unknown
1711.19/1715.79	c  1716s| 19400 | 19299 | 16888k| 824.9 |   367M |  91 | 479 |1195 |1062 |  98k|  1 |1199 |1890 | 1.714415e+02 | 1.940000e+02 |  13.16%| unknown
1716.28/1720.82	c  1721s| 19500 | 19399 | 16947k| 823.7 |   367M |  91 | 479 |1196 |1047 |  99k|  1 |1203 |1893 | 1.714427e+02 | 1.940000e+02 |  13.16%| unknown
1724.96/1729.55	c  1730s| 19600 | 19499 | 17050k| 824.7 |   367M |  91 | 479 |1197 |1058 |  99k|  1 |1208 |1896 | 1.714450e+02 | 1.940000e+02 |  13.16%| unknown
1732.04/1736.68	c  1737s| 19700 | 19599 | 17119k| 824.1 |   367M |  91 | 479 |1195 |1069 | 100k|  4 |1213 |1903 | 1.714474e+02 | 1.940000e+02 |  13.15%| unknown
1738.73/1743.30	c  1743s| 19800 | 19699 | 17186k| 823.4 |   368M |  91 | 479 |1191 |1050 | 100k|  1 |1214 |1909 | 1.714494e+02 | 1.940000e+02 |  13.15%| unknown
1744.71/1749.30	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1744.71/1749.30	c  1749s| 19900 | 19799 | 17248k| 822.4 |   368M |  91 | 479 |1192 |1056 | 101k|  1 |1220 |1915 | 1.714506e+02 | 1.940000e+02 |  13.15%| unknown
1751.00/1755.62	c  1756s| 20000 | 19899 | 17317k| 821.8 |   368M |  91 | 479 |1192 |1054 | 101k|  1 |1227 |1917 | 1.714519e+02 | 1.940000e+02 |  13.15%| unknown
1757.28/1761.98	c  1762s| 20100 | 19999 | 17388k| 821.2 |   368M |  91 | 479 |1184 |1050 | 101k|  1 |1227 |1920 | 1.714538e+02 | 1.940000e+02 |  13.15%| unknown
1763.87/1768.51	c  1769s| 20200 | 20099 | 17458k| 820.7 |   368M |  91 | 479 |1182 |1030 | 102k|  1 |1233 |1921 | 1.714555e+02 | 1.940000e+02 |  13.15%| unknown
1769.95/1774.61	c  1775s| 20300 | 20199 | 17529k| 820.1 |   369M |  91 | 479 |1184 |1058 | 102k|  1 |1239 |1923 | 1.714577e+02 | 1.940000e+02 |  13.15%| unknown
1775.24/1780.00	c  1780s| 20400 | 20299 | 17589k| 819.1 |   369M |  91 | 479 |1179 |1046 | 103k|  1 |1239 |1927 | 1.714603e+02 | 1.940000e+02 |  13.15%| unknown
1782.82/1787.52	c  1788s| 20500 | 20399 | 17675k| 819.3 |   369M |  91 | 479 |1178 |1046 | 103k|  1 |1246 |1928 | 1.714624e+02 | 1.940000e+02 |  13.14%| unknown
1787.91/1792.61	c  1793s| 20600 | 20499 | 17738k| 818.4 |   369M |  91 | 479 |1176 |1050 | 103k|  1 |1247 |1928 | 1.714644e+02 | 1.940000e+02 |  13.14%| unknown
1793.80/1798.59	c  1799s| 20700 | 20599 | 17803k| 817.7 |   369M |  91 | 479 |1180 |1065 | 104k|  1 |1251 |1930 | 1.714672e+02 | 1.940000e+02 |  13.14%| unknown
1798.98/1803.76	c  1804s| 20800 | 20699 | 17861k| 816.6 |   369M |  91 | 479 |1181 |1038 | 104k|  1 |1256 |1932 | 1.714688e+02 | 1.940000e+02 |  13.14%| unknown
1806.57/1811.31	c  1811s| 20900 | 20799 | 17952k| 817.0 |   369M |  91 | 479 |1183 |1064 | 105k|  1 |1261 |1934 | 1.714713e+02 | 1.940000e+02 |  13.14%| unknown
1812.95/1817.74	c  1818s| 21000 | 20899 | 18027k| 816.7 |   369M |  91 | 479 |1186 |1057 | 105k|  1 |1265 |1934 | 1.714725e+02 | 1.940000e+02 |  13.14%| unknown
1819.73/1824.58	c  1825s| 21100 | 20999 | 18100k| 816.3 |   369M |  91 | 479 |1186 |1052 | 105k|  1 |1268 |1934 | 1.714756e+02 | 1.940000e+02 |  13.14%| unknown
1825.82/1830.69	c  1831s| 21200 | 21099 | 18167k| 815.6 |   370M |  91 | 479 |1182 |1060 | 106k|  1 |1268 |1934 | 1.714774e+02 | 1.940000e+02 |  13.13%| unknown
1833.70/1838.51	c  1839s| 21300 | 21199 | 18241k| 815.3 |   370M |  91 | 479 |1175 | 996 | 106k|  1 |1270 |1934 | 1.714783e+02 | 1.940000e+02 |  13.13%| unknown
1839.79/1844.68	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1839.79/1844.68	c  1845s| 21400 | 21299 | 18308k| 814.7 |   370M |  91 | 479 |1175 |1049 | 107k|  1 |1274 |1944 | 1.714797e+02 | 1.940000e+02 |  13.13%| unknown
1847.87/1852.78	c  1853s| 21500 | 21399 | 18386k| 814.5 |   370M |  91 | 479 |1179 | 996 | 107k|  1 |1284 |1947 | 1.714819e+02 | 1.940000e+02 |  13.13%| unknown
1854.05/1858.93	c  1859s| 21600 | 21499 | 18456k| 814.0 |   370M |  91 | 479 |1178 |1061 | 107k|  1 |1290 |1950 | 1.714837e+02 | 1.940000e+02 |  13.13%| unknown
1860.34/1865.21	c  1865s| 21700 | 21599 | 18524k| 813.4 |   370M |  91 | 479 |1175 |1059 | 108k|  1 |1290 |1950 | 1.714866e+02 | 1.940000e+02 |  13.13%| unknown
1867.53/1872.47	c  1872s| 21800 | 21699 | 18617k| 813.9 |   370M |  91 | 479 |1173 |1052 | 108k|  1 |1293 |1953 | 1.714894e+02 | 1.940000e+02 |  13.13%| unknown
1873.42/1878.36	c  1878s| 21900 | 21799 | 18683k| 813.3 |   370M |  91 | 479 |1181 |1064 | 109k|  1 |1304 |1954 | 1.714916e+02 | 1.940000e+02 |  13.13%| unknown
1879.70/1884.67	c  1885s| 22000 | 21899 | 18755k| 812.8 |   370M |  91 | 479 |1188 |1051 | 109k|  1 |1312 |1955 | 1.714930e+02 | 1.940000e+02 |  13.12%| unknown
1885.49/1890.42	c  1890s| 22100 | 21999 | 18817k| 812.0 |   370M |  91 | 479 |1188 |1063 | 109k|  1 |1315 |1956 | 1.714962e+02 | 1.940000e+02 |  13.12%| unknown
1892.87/1897.80	c  1898s| 22200 | 22099 | 18903k| 812.2 |   370M |  91 | 479 |1189 |1062 | 110k|  1 |1322 |1957 | 1.714984e+02 | 1.940000e+02 |  13.12%| unknown
1898.36/1903.35	c  1903s| 22300 | 22199 | 18968k| 811.5 |   370M |  91 | 479 |1189 |1073 | 110k|  1 |1326 |1960 | 1.715001e+02 | 1.940000e+02 |  13.12%| unknown
1904.44/1909.42	c  1909s| 22400 | 22299 | 19034k| 810.9 |   370M |  91 | 479 |1192 |1054 | 111k|  1 |1332 |1961 | 1.715020e+02 | 1.940000e+02 |  13.12%| unknown
1910.33/1915.37	c  1915s| 22500 | 22399 | 19101k| 810.3 |   370M |  91 | 479 |1198 |1067 | 111k|  1 |1342 |1963 | 1.715039e+02 | 1.940000e+02 |  13.12%| unknown
1916.03/1921.02	c  1921s| 22600 | 22499 | 19167k| 809.6 |   370M |  91 | 479 |1199 |1046 | 111k|  1 |1346 |1965 | 1.715059e+02 | 1.940000e+02 |  13.12%| unknown
1923.01/1928.03	c  1928s| 22700 | 22599 | 19243k| 809.4 |   370M |  91 | 479 |1192 |1046 | 112k|  1 |1350 |1967 | 1.715091e+02 | 1.940000e+02 |  13.11%| unknown
1928.59/1933.66	c  1934s| 22800 | 22699 | 19307k| 808.7 |   370M |  91 | 479 |1189 |1059 | 112k|  1 |1350 |1969 | 1.715107e+02 | 1.940000e+02 |  13.11%| unknown
1935.27/1940.34	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1935.27/1940.34	c  1940s| 22900 | 22799 | 19376k| 808.2 |   370M |  91 | 479 |1187 |1051 | 113k|  1 |1351 |1978 | 1.715129e+02 | 1.940000e+02 |  13.11%| unknown
1941.66/1946.74	c  1947s| 23000 | 22899 | 19446k| 807.8 |   370M |  91 | 479 |1197 |1056 | 113k|  3 |1363 |1980 | 1.715150e+02 | 1.940000e+02 |  13.11%| unknown
1947.44/1952.54	c  1953s| 23100 | 22999 | 19510k| 807.1 |   370M |  91 | 479 |1195 |1053 | 113k|  1 |1363 |1981 | 1.715179e+02 | 1.940000e+02 |  13.11%| unknown
1954.33/1959.46	c  1959s| 23200 | 23099 | 19593k| 807.2 |   370M |  91 | 479 |1196 |1059 | 114k|  1 |1367 |1982 | 1.715197e+02 | 1.940000e+02 |  13.11%| unknown
1960.41/1965.55	c  1966s| 23300 | 23199 | 19659k| 806.6 |   370M |  91 | 479 |1201 |1045 | 114k|  1 |1376 |1990 | 1.715220e+02 | 1.940000e+02 |  13.11%| unknown
1965.91/1971.07	c  1971s| 23400 | 23299 | 19722k| 805.8 |   370M |  91 | 479 |1210 |1054 | 115k|  1 |1388 |1993 | 1.715234e+02 | 1.940000e+02 |  13.10%| unknown
1972.58/1977.76	c  1978s| 23500 | 23399 | 19794k| 805.5 |   370M |  91 | 479 |1209 |1063 | 115k|  1 |1390 |1998 | 1.715249e+02 | 1.940000e+02 |  13.10%| unknown
1978.07/1983.27	c  1983s| 23600 | 23499 | 19853k| 804.6 |   370M |  91 | 479 |1217 |1037 | 115k|  1 |1400 |2002 | 1.715263e+02 | 1.940000e+02 |  13.10%| unknown
1985.05/1990.26	c  1990s| 23700 | 23599 | 19930k| 804.5 |   370M |  91 | 479 |1219 |1063 | 116k|  1 |1406 |2002 | 1.715279e+02 | 1.940000e+02 |  13.10%| unknown
1990.85/1996.10	c  1996s| 23800 | 23699 | 19997k| 804.0 |   371M |  91 | 479 |1217 |1052 | 116k|  1 |1410 |2003 | 1.715288e+02 | 1.940000e+02 |  13.10%| unknown
1997.62/2002.84	c  2003s| 23900 | 23799 | 20069k| 803.6 |   371M |  91 | 479 |1216 |1064 | 117k|  3 |1418 |2005 | 1.715308e+02 | 1.940000e+02 |  13.10%| unknown
2002.92/2008.18	c  2008s| 24000 | 23899 | 20130k| 802.9 |   371M |  91 | 479 |1215 |1047 | 117k|  1 |1420 |2005 | 1.715322e+02 | 1.940000e+02 |  13.10%| unknown
2009.49/2014.71	c  2015s| 24100 | 23999 | 20215k| 803.0 |   371M |  91 | 479 |1211 |1070 | 117k|  1 |1421 |2006 | 1.715341e+02 | 1.940000e+02 |  13.10%| unknown
2015.48/2020.75	c  2021s| 24200 | 24099 | 20283k| 802.5 |   371M |  91 | 479 |1216 |1051 | 118k|  1 |1428 |2006 | 1.715357e+02 | 1.940000e+02 |  13.10%| unknown
2021.88/2027.12	c  2027s| 24300 | 24199 | 20351k| 802.0 |   372M |  91 | 479 |1213 |1053 | 118k|  1 |1431 |2007 | 1.715367e+02 | 1.940000e+02 |  13.10%| unknown
2027.95/2033.27	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2027.95/2033.27	c  2033s| 24400 | 24299 | 20419k| 801.6 |   372M |  91 | 479 |1215 |1069 | 119k|  1 |1437 |2008 | 1.715378e+02 | 1.940000e+02 |  13.09%| unknown
2034.03/2039.33	c  2039s| 24500 | 24399 | 20488k| 801.2 |   372M |  91 | 479 |1213 |1044 | 119k|  1 |1440 |2008 | 1.715397e+02 | 1.940000e+02 |  13.09%| unknown
2041.22/2046.57	c  2047s| 24600 | 24499 | 20562k| 800.9 |   372M |  91 | 479 |1205 |1064 | 120k|  1 |1445 |2010 | 1.715416e+02 | 1.940000e+02 |  13.09%| unknown
2047.60/2052.96	c  2053s| 24700 | 24599 | 20637k| 800.7 |   372M |  91 | 479 |1200 |1061 | 120k|  1 |1447 |2010 | 1.715443e+02 | 1.940000e+02 |  13.09%| unknown
2052.59/2057.94	c  2058s| 24800 | 24699 | 20694k| 799.8 |   373M |  91 | 479 |1201 |1048 | 120k|  1 |1451 |2013 | 1.715454e+02 | 1.940000e+02 |  13.09%| unknown
2059.28/2064.65	c  2065s| 24900 | 24799 | 20765k| 799.4 |   373M |  91 | 479 |1194 |1071 | 121k|  1 |1451 |2013 | 1.715469e+02 | 1.940000e+02 |  13.09%| unknown
2065.67/2071.01	c  2071s| 25000 | 24899 | 20838k| 799.2 |   373M |  91 | 479 |1195 |1043 | 121k|  1 |1455 |2014 | 1.715485e+02 | 1.940000e+02 |  13.09%| unknown
2072.94/2078.33	c  2078s| 25100 | 24999 | 20928k| 799.6 |   373M |  91 | 479 |1190 |1064 | 122k|  1 |1457 |2018 | 1.715497e+02 | 1.940000e+02 |  13.09%| unknown
2079.93/2085.38	c  2085s| 25200 | 25099 | 21002k| 799.3 |   373M |  91 | 479 |1190 |1043 | 122k|  1 |1462 |2026 | 1.715507e+02 | 1.940000e+02 |  13.09%| unknown
2085.21/2090.69	c  2091s| 25300 | 25199 | 21061k| 798.6 |   373M |  91 | 479 |1185 |1033 | 122k|  1 |1463 |2026 | 1.715514e+02 | 1.940000e+02 |  13.09%| unknown
2091.20/2096.62	c  2097s| 25400 | 25299 | 21128k| 798.1 |   373M |  91 | 479 |1179 |1063 | 123k|  4 |1468 |2030 | 1.715532e+02 | 1.940000e+02 |  13.08%| unknown
2097.28/2102.74	c  2103s| 25500 | 25399 | 21196k| 797.6 |   373M |  91 | 479 |1181 |1064 | 123k|  1 |1477 |2032 | 1.715551e+02 | 1.940000e+02 |  13.08%| unknown
2103.37/2108.86	c  2109s| 25600 | 25499 | 21264k| 797.2 |   373M |  91 | 479 |1180 |1044 | 124k|  1 |1481 |2032 | 1.715560e+02 | 1.940000e+02 |  13.08%| unknown
2109.06/2114.57	c  2115s| 25700 | 25599 | 21328k| 796.6 |   373M |  91 | 479 |1182 |1081 | 124k|  1 |1490 |2033 | 1.715573e+02 | 1.940000e+02 |  13.08%| unknown
2114.34/2119.85	c  2120s| 25800 | 25699 | 21388k| 795.9 |   373M |  91 | 479 |1184 |1053 | 124k|  1 |1498 |2034 | 1.715588e+02 | 1.940000e+02 |  13.08%| unknown
2120.64/2126.17	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2120.64/2126.17	c  2126s| 25900 | 25799 | 21455k| 795.4 |   373M |  91 | 479 |1178 |1045 | 125k|  1 |1499 |2036 | 1.715619e+02 | 1.940000e+02 |  13.08%| unknown
2128.11/2133.60	c  2134s| 26000 | 25899 | 21546k| 795.8 |   373M |  91 | 479 |1179 |1062 | 125k|  1 |1506 |2038 | 1.715633e+02 | 1.940000e+02 |  13.08%| unknown
2134.51/2140.03	c  2140s| 26100 | 25999 | 21613k| 795.4 |   374M |  91 | 479 |1178 |1046 | 126k|  1 |1509 |2040 | 1.715656e+02 | 1.940000e+02 |  13.08%| unknown
2140.78/2146.34	c  2146s| 26200 | 26099 | 21683k| 795.0 |   374M |  91 | 479 |1177 |1040 | 126k|  1 |1514 |2042 | 1.715677e+02 | 1.940000e+02 |  13.07%| unknown
2145.67/2151.29	c  2151s| 26300 | 26199 | 21741k| 794.2 |   374M |  91 | 479 |1172 |1063 | 126k|  1 |1515 |2042 | 1.715688e+02 | 1.940000e+02 |  13.07%| unknown
2152.25/2157.81	c  2158s| 26400 | 26299 | 21813k| 794.0 |   374M |  91 | 479 |1177 |1056 | 127k|  1 |1525 |2043 | 1.715709e+02 | 1.940000e+02 |  13.07%| unknown
2157.94/2163.50	c  2163s| 26500 | 26399 | 21875k| 793.3 |   374M |  91 | 479 |1184 |1050 | 127k|  1 |1534 |2044 | 1.715723e+02 | 1.940000e+02 |  13.07%| unknown
2165.62/2171.22	c  2171s| 26600 | 26499 | 21960k| 793.5 |   374M |  91 | 479 |1179 |1069 | 128k|  1 |1539 |2044 | 1.715733e+02 | 1.940000e+02 |  13.07%| unknown
2170.81/2176.45	c  2176s| 26700 | 26599 | 22019k| 792.8 |   374M |  91 | 479 |1182 |1065 | 128k|  1 |1545 |2046 | 1.715755e+02 | 1.940000e+02 |  13.07%| unknown
2177.79/2183.43	c  2183s| 26800 | 26699 | 22094k| 792.7 |   374M |  91 | 479 |1182 |1059 | 128k|  1 |1547 |2053 | 1.715777e+02 | 1.940000e+02 |  13.07%| unknown
2183.39/2189.06	c  2189s| 26900 | 26799 | 22153k| 791.9 |   374M |  91 | 479 |1185 |1056 | 129k|  1 |1553 |2058 | 1.715798e+02 | 1.940000e+02 |  13.07%| unknown
2191.66/2197.34	c  2197s| 27000 | 26899 | 22250k| 792.6 |   374M |  91 | 479 |1193 |1051 | 129k|  1 |1562 |2062 | 1.715812e+02 | 1.940000e+02 |  13.07%| unknown
2197.25/2202.99	c  2203s| 27100 | 26999 | 22307k| 791.8 |   374M |  91 | 479 |1189 |1006 | 129k|  1 |1562 |2067 | 1.715832e+02 | 1.940000e+02 |  13.06%| unknown
2204.03/2209.77	c  2210s| 27200 | 27099 | 22377k| 791.4 |   374M |  91 | 479 |1192 |1056 | 130k|  1 |1568 |2068 | 1.715854e+02 | 1.940000e+02 |  13.06%| unknown
2209.82/2215.58	c  2216s| 27300 | 27199 | 22443k| 791.0 |   375M |  91 | 479 |1192 |1058 | 130k|  1 |1569 |2071 | 1.715862e+02 | 1.940000e+02 |  13.06%| unknown
2216.00/2221.75	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2216.00/2221.75	c  2222s| 27400 | 27299 | 22516k| 790.8 |   375M |  91 | 479 |1193 |1050 | 131k|  1 |1574 |2072 | 1.715880e+02 | 1.940000e+02 |  13.06%| unknown
2222.69/2228.49	c  2228s| 27500 | 27399 | 22582k| 790.3 |   375M |  91 | 479 |1195 |1045 | 131k|  1 |1579 |2077 | 1.715890e+02 | 1.940000e+02 |  13.06%| unknown
2229.38/2235.13	c  2235s| 27600 | 27499 | 22652k| 790.0 |   375M |  91 | 479 |1191 |1060 | 131k|  1 |1582 |2078 | 1.715903e+02 | 1.940000e+02 |  13.06%| unknown
2235.06/2240.84	c  2241s| 27700 | 27599 | 22716k| 789.4 |   375M |  91 | 479 |1189 |1086 | 132k|  4 |1584 |2081 | 1.715917e+02 | 1.940000e+02 |  13.06%| unknown
2240.36/2246.19	c  2246s| 27800 | 27699 | 22774k| 788.8 |   375M |  91 | 479 |1187 |1052 | 132k|  1 |1586 |2085 | 1.715931e+02 | 1.940000e+02 |  13.06%| unknown
2245.93/2251.74	c  2252s| 27900 | 27799 | 22833k| 788.0 |   375M |  91 | 479 |1190 |1066 | 132k|  1 |1594 |2089 | 1.715940e+02 | 1.940000e+02 |  13.06%| unknown
2251.62/2257.41	c  2257s| 28000 | 27899 | 22898k| 787.6 |   376M |  91 | 479 |1187 |1071 | 133k|  4 |1598 |2090 | 1.715951e+02 | 1.940000e+02 |  13.06%| unknown
2259.10/2264.98	c  2265s| 28100 | 27999 | 22989k| 788.0 |   376M |  91 | 479 |1185 |1072 | 133k|  4 |1600 |2093 | 1.715963e+02 | 1.940000e+02 |  13.06%| unknown
2264.89/2270.77	c  2271s| 28200 | 28099 | 23051k| 787.4 |   376M |  91 | 479 |1182 |1057 | 134k|  1 |1600 |2093 | 1.715973e+02 | 1.940000e+02 |  13.06%| unknown
2270.77/2276.67	c  2277s| 28300 | 28199 | 23121k| 787.1 |   376M |  91 | 479 |1181 |1067 | 134k|  3 |1604 |2093 | 1.715989e+02 | 1.940000e+02 |  13.05%| unknown
2276.76/2282.61	c  2283s| 28400 | 28299 | 23185k| 786.6 |   376M |  91 | 479 |1178 |1064 | 134k|  1 |1606 |2096 | 1.716009e+02 | 1.940000e+02 |  13.05%| unknown
2282.45/2288.39	c  2288s| 28500 | 28399 | 23250k| 786.1 |   377M |  91 | 479 |1176 |1046 | 135k|  1 |1606 |2097 | 1.716018e+02 | 1.940000e+02 |  13.05%| unknown
2288.03/2293.97	c  2294s| 28600 | 28499 | 23311k| 785.6 |   377M |  91 | 479 |1178 |1052 | 135k|  1 |1610 |2100 | 1.716026e+02 | 1.940000e+02 |  13.05%| unknown
2294.62/2300.55	c  2301s| 28700 | 28599 | 23383k| 785.3 |   377M |  91 | 479 |1182 |1054 | 136k|  1 |1621 |2101 | 1.716043e+02 | 1.940000e+02 |  13.05%| unknown
2300.40/2306.36	c  2306s| 28800 | 28699 | 23449k| 784.9 |   377M |  91 | 479 |1187 |1038 | 136k|  1 |1629 |2103 | 1.716061e+02 | 1.940000e+02 |  13.05%| unknown
2306.29/2312.28	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2306.29/2312.28	c  2312s| 28900 | 28799 | 23512k| 784.4 |   377M |  91 | 479 |1184 |1045 | 136k|  1 |1631 |2103 | 1.716080e+02 | 1.940000e+02 |  13.05%| unknown
2311.58/2317.55	c  2318s| 29000 | 28899 | 23572k| 783.8 |   377M |  91 | 479 |1183 |1048 | 137k|  1 |1631 |2105 | 1.716106e+02 | 1.940000e+02 |  13.05%| unknown
2318.66/2324.65	c  2325s| 29100 | 28999 | 23643k| 783.5 |   377M |  91 | 479 |1188 |1067 | 137k|  1 |1642 |2111 | 1.716122e+02 | 1.940000e+02 |  13.05%| unknown
2326.05/2332.07	c  2332s| 29200 | 29099 | 23725k| 783.7 |   377M |  91 | 479 |1187 |1036 | 137k|  1 |1645 |2118 | 1.716137e+02 | 1.940000e+02 |  13.04%| unknown
2332.83/2338.82	c  2339s| 29300 | 29199 | 23798k| 783.5 |   377M |  91 | 479 |1190 |1060 | 138k|  1 |1652 |2123 | 1.716147e+02 | 1.940000e+02 |  13.04%| unknown
2339.12/2345.15	c  2345s| 29400 | 29299 | 23862k| 783.0 |   377M |  91 | 479 |1192 |1052 | 138k|  1 |1661 |2125 | 1.716159e+02 | 1.940000e+02 |  13.04%| unknown
2345.60/2351.63	c  2352s| 29500 | 29399 | 23933k| 782.8 |   377M |  91 | 479 |1198 |1054 | 139k|  1 |1669 |2127 | 1.716174e+02 | 1.940000e+02 |  13.04%| unknown
2350.88/2356.95	c  2357s| 29600 | 29499 | 23994k| 782.2 |   377M |  91 | 479 |1202 |1057 | 139k|  1 |1676 |2127 | 1.716186e+02 | 1.940000e+02 |  13.04%| unknown
2358.17/2364.21	c  2364s| 29700 | 29599 | 24066k| 782.0 |   378M |  91 | 479 |1204 |1050 | 139k|  1 |1683 |2130 | 1.716199e+02 | 1.940000e+02 |  13.04%| unknown
2363.25/2369.38	c  2369s| 29800 | 29699 | 24129k| 781.5 |   378M |  91 | 479 |1207 |1040 | 140k|  1 |1688 |2132 | 1.716212e+02 | 1.940000e+02 |  13.04%| unknown
2370.24/2376.30	c  2376s| 29900 | 29799 | 24200k| 781.3 |   378M |  91 | 479 |1206 |1044 | 140k|  1 |1690 |2133 | 1.716221e+02 | 1.940000e+02 |  13.04%| unknown
2375.82/2381.97	c  2382s| 30000 | 29899 | 24263k| 780.8 |   378M |  91 | 479 |1209 |1036 | 141k|  1 |1695 |2134 | 1.716233e+02 | 1.940000e+02 |  13.04%| unknown
2382.02/2388.15	c  2388s| 30100 | 29999 | 24341k| 780.8 |   378M |  91 | 479 |1211 |1066 | 141k|  1 |1697 |2136 | 1.716250e+02 | 1.940000e+02 |  13.04%| unknown
2388.00/2394.14	c  2394s| 30200 | 30099 | 24413k| 780.6 |   378M |  91 | 479 |1208 |1050 | 141k|  1 |1699 |2137 | 1.716259e+02 | 1.940000e+02 |  13.04%| unknown
2394.17/2400.35	c  2400s| 30300 | 30199 | 24476k| 780.1 |   379M |  91 | 479 |1209 |1066 | 142k|  1 |1705 |2139 | 1.716268e+02 | 1.940000e+02 |  13.04%| unknown
2399.56/2405.70	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2399.56/2405.70	c  2406s| 30400 | 30299 | 24533k| 779.5 |   379M |  91 | 479 |1209 |1056 | 142k|  1 |1707 |2141 | 1.716277e+02 | 1.940000e+02 |  13.04%| unknown
2406.44/2412.64	c  2413s| 30500 | 30399 | 24606k| 779.3 |   379M |  91 | 479 |1218 |1071 | 143k|  1 |1718 |2141 | 1.716289e+02 | 1.940000e+02 |  13.03%| unknown
2412.32/2418.55	c  2419s| 30600 | 30499 | 24672k| 778.9 |   379M |  91 | 479 |1217 |1050 | 143k|  1 |1718 |2141 | 1.716300e+02 | 1.940000e+02 |  13.03%| unknown
2418.91/2425.16	c  2425s| 30700 | 30599 | 24743k| 778.7 |   379M |  91 | 479 |1219 |1050 | 143k|  1 |1722 |2145 | 1.716312e+02 | 1.940000e+02 |  13.03%| unknown
2424.58/2430.82	c  2431s| 30800 | 30699 | 24808k| 778.3 |   379M |  91 | 479 |1222 |1056 | 144k|  1 |1726 |2147 | 1.716320e+02 | 1.940000e+02 |  13.03%| unknown
2431.16/2437.42	c  2437s| 30900 | 30799 | 24881k| 778.2 |   379M |  91 | 479 |1227 |1038 | 144k|  1 |1731 |2148 | 1.716330e+02 | 1.940000e+02 |  13.03%| unknown
2437.05/2443.39	c  2443s| 31000 | 30899 | 24949k| 777.8 |   380M |  91 | 479 |1230 |1060 | 144k|  1 |1735 |2150 | 1.716350e+02 | 1.940000e+02 |  13.03%| unknown
2442.33/2448.62	c  2449s| 31100 | 30999 | 25006k| 777.2 |   380M |  91 | 479 |1223 |1049 | 145k|  1 |1739 |2151 | 1.716360e+02 | 1.940000e+02 |  13.03%| unknown
2450.31/2456.63	c  2457s| 31200 | 31099 | 25101k| 777.8 |   380M |  91 | 479 |1217 |1045 | 145k|  1 |1744 |2158 | 1.716374e+02 | 1.940000e+02 |  13.03%| unknown
2455.89/2462.27	c  2462s| 31300 | 31199 | 25162k| 777.2 |   380M |  91 | 479 |1211 |1065 | 145k|  1 |1745 |2163 | 1.716390e+02 | 1.940000e+02 |  13.03%| unknown
2461.18/2467.54	c  2468s| 31400 | 31299 | 25220k| 776.6 |   380M |  91 | 479 |1206 |1029 | 146k|  3 |1749 |2169 | 1.716398e+02 | 1.940000e+02 |  13.03%| unknown
2468.55/2474.91	c  2475s| 31500 | 31399 | 25308k| 776.9 |   380M |  91 | 479 |1211 |1034 | 146k|  1 |1758 |2172 | 1.716411e+02 | 1.940000e+02 |  13.03%| unknown
2474.04/2480.48	c  2480s| 31600 | 31499 | 25369k| 776.4 |   380M |  91 | 479 |1212 |1053 | 147k|  1 |1764 |2176 | 1.716424e+02 | 1.940000e+02 |  13.03%| unknown
2479.52/2485.91	c  2486s| 31700 | 31599 | 25432k| 776.0 |   380M |  91 | 479 |1215 |1056 | 147k|  3 |1768 |2176 | 1.716440e+02 | 1.940000e+02 |  13.02%| unknown
2485.51/2491.90	c  2492s| 31800 | 31699 | 25496k| 775.6 |   380M |  91 | 479 |1212 |1063 | 147k|  1 |1770 |2179 | 1.716457e+02 | 1.940000e+02 |  13.02%| unknown
2491.79/2498.20	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2491.79/2498.20	c  2498s| 31900 | 31799 | 25564k| 775.3 |   380M |  91 | 479 |1206 |1042 | 148k|  1 |1772 |2180 | 1.716469e+02 | 1.940000e+02 |  13.02%| unknown
2497.68/2504.14	c  2504s| 32000 | 31899 | 25625k| 774.8 |   380M |  91 | 479 |1204 |1056 | 148k|  1 |1777 |2183 | 1.716483e+02 | 1.940000e+02 |  13.02%| unknown
2503.45/2509.96	c  2510s| 32100 | 31999 | 25689k| 774.4 |   380M |  91 | 479 |1207 |1056 | 149k|  1 |1781 |2186 | 1.716493e+02 | 1.940000e+02 |  13.02%| unknown
2509.83/2516.37	c  2516s| 32200 | 32099 | 25759k| 774.1 |   380M |  91 | 479 |1207 |1055 | 149k|  1 |1789 |2189 | 1.716504e+02 | 1.940000e+02 |  13.02%| unknown
2514.92/2521.42	c  2521s| 32300 | 32199 | 25817k| 773.6 |   380M |  91 | 479 |1207 |1086 | 149k|  3 |1790 |2190 | 1.716524e+02 | 1.940000e+02 |  13.02%| unknown
2520.51/2527.03	c  2527s| 32400 | 32299 | 25877k| 773.0 |   380M |  91 | 479 |1214 |1063 | 150k|  1 |1800 |2191 | 1.716538e+02 | 1.940000e+02 |  13.02%| unknown
2526.78/2533.33	c  2533s| 32500 | 32399 | 25960k| 773.2 |   380M |  91 | 479 |1214 |1060 | 150k|  1 |1803 |2192 | 1.716544e+02 | 1.940000e+02 |  13.02%| unknown
2532.58/2539.17	c  2539s| 32600 | 32499 | 26026k| 772.9 |   380M |  91 | 479 |1212 |1033 | 150k|  1 |1804 |2193 | 1.716547e+02 | 1.940000e+02 |  13.02%| unknown
2538.35/2544.96	c  2545s| 32700 | 32599 | 26092k| 772.5 |   380M |  91 | 479 |1212 |1056 | 151k|  1 |1809 |2196 | 1.716563e+02 | 1.940000e+02 |  13.02%| unknown
2543.14/2549.70	c  2550s| 32800 | 32699 | 26145k| 771.8 |   380M |  91 | 479 |1208 |1063 | 151k|  1 |1809 |2197 | 1.716578e+02 | 1.940000e+02 |  13.02%| unknown
2549.12/2555.76	c  2556s| 32900 | 32799 | 26213k| 771.5 |   380M |  91 | 479 |1209 |1060 | 151k|  1 |1814 |2197 | 1.716588e+02 | 1.940000e+02 |  13.01%| unknown
2555.60/2562.27	c  2562s| 33000 | 32899 | 26285k| 771.4 |   380M |  91 | 479 |1205 |1051 | 152k|  1 |1816 |2198 | 1.716594e+02 | 1.940000e+02 |  13.01%| unknown
2561.68/2568.37	c  2568s| 33100 | 32999 | 26351k| 771.1 |   380M |  91 | 479 |1208 |1064 | 152k|  1 |1822 |2199 | 1.716605e+02 | 1.940000e+02 |  13.01%| unknown
2566.97/2573.69	c  2574s| 33200 | 33099 | 26412k| 770.6 |   380M |  91 | 479 |1209 |1059 | 152k|  1 |1826 |2201 | 1.716619e+02 | 1.940000e+02 |  13.01%| unknown
2572.85/2579.52	c  2580s| 33300 | 33199 | 26473k| 770.1 |   380M |  91 | 479 |1207 |1047 | 153k|  1 |1829 |2203 | 1.716636e+02 | 1.940000e+02 |  13.01%| unknown
2577.45/2584.13	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2577.45/2584.13	c  2584s| 33400 | 33299 | 26529k| 769.5 |   380M |  91 | 479 |1201 |1056 | 153k|  1 |1830 |2203 | 1.716645e+02 | 1.940000e+02 |  13.01%| unknown
2582.62/2589.34	c  2589s| 33500 | 33399 | 26587k| 769.0 |   380M |  91 | 479 |1196 |1049 | 153k|  1 |1833 |2206 | 1.716657e+02 | 1.940000e+02 |  13.01%| unknown
2588.32/2595.07	c  2595s| 33600 | 33499 | 26650k| 768.6 |   381M |  91 | 479 |1200 |1054 | 154k|  1 |1842 |2207 | 1.716671e+02 | 1.940000e+02 |  13.01%| unknown
2595.49/2602.26	c  2602s| 33700 | 33599 | 26735k| 768.8 |   381M |  91 | 479 |1196 |1041 | 154k|  1 |1844 |2212 | 1.716685e+02 | 1.940000e+02 |  13.01%| unknown
2600.87/2607.64	c  2608s| 33800 | 33699 | 26795k| 768.3 |   381M |  91 | 479 |1198 |1077 | 154k|  1 |1849 |2214 | 1.716691e+02 | 1.940000e+02 |  13.01%| unknown
2606.37/2613.15	c  2613s| 33900 | 33799 | 26857k| 767.9 |   381M |  91 | 479 |1199 |1037 | 155k|  1 |1854 |2217 | 1.716699e+02 | 1.940000e+02 |  13.01%| unknown
2612.14/2618.99	c  2619s| 34000 | 33899 | 26920k| 767.5 |   381M |  91 | 479 |1198 |1070 | 155k|  3 |1858 |2219 | 1.716713e+02 | 1.940000e+02 |  13.01%| unknown
2619.13/2625.92	c  2626s| 34100 | 33999 | 27008k| 767.8 |   381M |  91 | 479 |1195 |1065 | 155k|  1 |1859 |2222 | 1.716729e+02 | 1.940000e+02 |  13.01%| unknown
2624.71/2631.55	c  2632s| 34200 | 34099 | 27069k| 767.4 |   381M |  91 | 479 |1202 |1043 | 156k|  1 |1869 |2222 | 1.716741e+02 | 1.940000e+02 |  13.00%| unknown
2628.90/2635.78	c  2636s| 34300 | 34199 | 27117k| 766.6 |   381M |  91 | 479 |1201 |1062 | 156k|  1 |1869 |2224 | 1.716750e+02 | 1.940000e+02 |  13.00%| unknown
2635.09/2641.92	c  2642s| 34400 | 34299 | 27185k| 766.3 |   381M |  91 | 479 |1201 |1056 | 156k|  1 |1875 |2225 | 1.716761e+02 | 1.940000e+02 |  13.00%| unknown
2640.29/2647.12	c  2647s| 34500 | 34399 | 27244k| 765.8 |   381M |  91 | 479 |1205 |1069 | 157k|  1 |1884 |2226 | 1.716781e+02 | 1.940000e+02 |  13.00%| unknown
2647.27/2654.11	c  2654s| 34600 | 34499 | 27318k| 765.8 |   381M |  91 | 479 |1209 |1051 | 157k|  4 |1891 |2227 | 1.716794e+02 | 1.940000e+02 |  13.00%| unknown
2652.55/2659.46	c  2659s| 34700 | 34599 | 27376k| 765.2 |   382M |  91 | 479 |1214 |1077 | 157k|  1 |1899 |2228 | 1.716804e+02 | 1.940000e+02 |  13.00%| unknown
2659.03/2665.90	c  2666s| 34800 | 34699 | 27446k| 765.1 |   382M |  91 | 479 |1213 |1050 | 158k|  1 |1901 |2228 | 1.716814e+02 | 1.940000e+02 |  13.00%| unknown
2665.02/2671.93	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2665.02/2671.93	c  2672s| 34900 | 34799 | 27514k| 764.8 |   382M |  91 | 479 |1210 |1042 | 158k|  1 |1902 |2229 | 1.716829e+02 | 1.940000e+02 |  13.00%| unknown
2670.61/2677.51	c  2678s| 35000 | 34899 | 27575k| 764.4 |   382M |  91 | 479 |1209 |1035 | 158k|  1 |1902 |2231 | 1.716837e+02 | 1.940000e+02 |  13.00%| unknown
2675.59/2682.57	c  2683s| 35100 | 34999 | 27633k| 763.9 |   382M |  91 | 479 |1208 |1062 | 159k|  1 |1905 |2231 | 1.716857e+02 | 1.940000e+02 |  13.00%| unknown
2682.98/2689.96	c  2690s| 35200 | 35099 | 27719k| 764.1 |   382M |  91 | 479 |1212 |1054 | 159k|  1 |1914 |2236 | 1.716869e+02 | 1.940000e+02 |  13.00%| unknown
2687.66/2694.61	c  2695s| 35300 | 35199 | 27773k| 763.5 |   382M |  91 | 479 |1211 |1037 | 159k|  1 |1917 |2236 | 1.716887e+02 | 1.940000e+02 |  13.00%| unknown
2693.45/2700.40	c  2700s| 35400 | 35299 | 27837k| 763.2 |   382M |  91 | 479 |1206 |1068 | 160k|  1 |1920 |2236 | 1.716894e+02 | 1.940000e+02 |  12.99%| unknown
2698.44/2705.49	c  2705s| 35500 | 35399 | 27896k| 762.7 |   382M |  91 | 479 |1206 |1042 | 160k|  1 |1922 |2237 | 1.716902e+02 | 1.940000e+02 |  12.99%| unknown
2706.22/2713.27	c  2713s| 35600 | 35499 | 27991k| 763.2 |   382M |  91 | 479 |1208 |1055 | 161k|  1 |1931 |2239 | 1.716915e+02 | 1.940000e+02 |  12.99%| unknown
2711.51/2718.50	c  2718s| 35700 | 35599 | 28049k| 762.7 |   382M |  91 | 479 |1210 |1051 | 161k|  1 |1936 |2243 | 1.716924e+02 | 1.940000e+02 |  12.99%| unknown
2717.20/2724.28	c  2724s| 35800 | 35699 | 28112k| 762.4 |   382M |  91 | 479 |1209 |1057 | 161k|  1 |1940 |2244 | 1.716941e+02 | 1.940000e+02 |  12.99%| unknown
2723.28/2730.30	c  2730s| 35900 | 35799 | 28177k| 762.1 |   383M |  91 | 479 |1203 |1056 | 162k|  1 |1940 |2245 | 1.716951e+02 | 1.940000e+02 |  12.99%| unknown
2728.37/2735.46	c  2735s| 36000 | 35899 | 28234k| 761.5 |   383M |  91 | 479 |1206 |1066 | 162k|  1 |1948 |2246 | 1.716962e+02 | 1.940000e+02 |  12.99%| unknown
2734.55/2741.61	c  2742s| 36100 | 35999 | 28303k| 761.4 |   384M |  91 | 479 |1215 |1045 | 162k|  1 |1959 |2248 | 1.716971e+02 | 1.940000e+02 |  12.99%| unknown
2739.95/2747.04	c  2747s| 36200 | 36099 | 28365k| 761.0 |   384M |  91 | 479 |1209 |1059 | 163k|  1 |1959 |2252 | 1.716982e+02 | 1.940000e+02 |  12.99%| unknown
2745.63/2752.73	c  2753s| 36300 | 36199 | 28428k| 760.6 |   384M |  91 | 479 |1207 |1047 | 163k|  1 |1964 |2252 | 1.716998e+02 | 1.940000e+02 |  12.99%| unknown
2750.72/2757.87	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2750.72/2757.87	c  2758s| 36400 | 36299 | 28490k| 760.2 |   385M |  91 | 479 |1203 |1072 | 163k|  1 |1964 |2252 | 1.717008e+02 | 1.940000e+02 |  12.99%| unknown
2756.50/2763.66	c  2764s| 36500 | 36399 | 28550k| 759.8 |   385M |  91 | 479 |1198 |1051 | 164k|  1 |1968 |2253 | 1.717018e+02 | 1.940000e+02 |  12.99%| unknown
2763.48/2770.67	c  2771s| 36600 | 36499 | 28623k| 759.7 |   385M |  91 | 479 |1197 |1046 | 164k|  1 |1971 |2254 | 1.717024e+02 | 1.940000e+02 |  12.99%| unknown
2769.47/2776.64	c  2777s| 36700 | 36599 | 28698k| 759.7 |   385M |  91 | 479 |1196 |1072 | 164k|  1 |1972 |2255 | 1.717034e+02 | 1.940000e+02 |  12.99%| unknown
2775.56/2782.77	c  2783s| 36800 | 36699 | 28768k| 759.5 |   385M |  91 | 479 |1193 |1080 | 165k|  1 |1975 |2256 | 1.717047e+02 | 1.940000e+02 |  12.98%| unknown
2780.54/2787.72	c  2788s| 36900 | 36799 | 28826k| 759.1 |   385M |  91 | 479 |1191 |1050 | 165k|  1 |1978 |2256 | 1.717056e+02 | 1.940000e+02 |  12.98%| unknown
2786.24/2793.42	c  2793s| 37000 | 36899 | 28892k| 758.8 |   385M |  91 | 479 |1192 |1042 | 165k|  1 |1979 |2256 | 1.717072e+02 | 1.940000e+02 |  12.98%| unknown
2791.43/2798.68	c  2799s| 37100 | 36999 | 28952k| 758.4 |   385M |  91 | 479 |1196 |1045 | 165k|  1 |1985 |2257 | 1.717080e+02 | 1.940000e+02 |  12.98%| unknown
2796.83/2804.03	c  2804s| 37200 | 37099 | 29013k| 758.0 |   385M |  91 | 479 |1196 |1054 | 166k|  1 |1988 |2258 | 1.717096e+02 | 1.940000e+02 |  12.98%| unknown
2801.40/2808.67	c  2809s| 37300 | 37199 | 29066k| 757.4 |   385M |  91 | 479 |1193 |1051 | 166k|  1 |1988 |2258 | 1.717104e+02 | 1.940000e+02 |  12.98%| unknown
2807.90/2815.19	c  2815s| 37400 | 37299 | 29141k| 757.4 |   385M |  91 | 479 |1199 |1061 | 166k|  1 |2001 |2258 | 1.717112e+02 | 1.940000e+02 |  12.98%| unknown
2812.89/2820.17	c  2820s| 37500 | 37399 | 29198k| 756.9 |   385M |  91 | 479 |1195 |1047 | 167k|  1 |2001 |2260 | 1.717124e+02 | 1.940000e+02 |  12.98%| unknown
2819.06/2826.39	c  2826s| 37600 | 37499 | 29268k| 756.8 |   385M |  91 | 479 |1200 |1057 | 167k|  1 |2008 |2264 | 1.717138e+02 | 1.940000e+02 |  12.98%| unknown
2824.76/2832.08	c  2832s| 37700 | 37599 | 29331k| 756.4 |   386M |  91 | 479 |1202 |1072 | 167k|  1 |2013 |2267 | 1.717150e+02 | 1.940000e+02 |  12.98%| unknown
2831.03/2838.30	c  2838s| 37800 | 37699 | 29402k| 756.3 |   386M |  91 | 479 |1197 |1058 | 168k|  1 |2015 |2270 | 1.717157e+02 | 1.940000e+02 |  12.98%| unknown
2837.73/2845.10	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2837.73/2845.10	c  2845s| 37900 | 37799 | 29486k| 756.5 |   386M |  91 | 479 |1198 |1046 | 168k|  1 |2017 |2270 | 1.717173e+02 | 1.940000e+02 |  12.98%| unknown
2844.10/2851.48	c  2851s| 38000 | 37899 | 29557k| 756.4 |   386M |  91 | 479 |1195 |1075 | 168k|  1 |2020 |2270 | 1.717187e+02 | 1.940000e+02 |  12.98%| unknown
2850.70/2858.09	c  2858s| 38100 | 37999 | 29628k| 756.3 |   387M |  91 | 479 |1196 |1061 | 169k|  1 |2025 |2272 | 1.717195e+02 | 1.940000e+02 |  12.97%| unknown
2856.37/2863.71	c  2864s| 38200 | 38099 | 29691k| 756.0 |   387M |  91 | 479 |1202 |1065 | 169k|  1 |2031 |2272 | 1.717204e+02 | 1.940000e+02 |  12.97%| unknown
2861.46/2868.81	c  2869s| 38300 | 38199 | 29749k| 755.5 |   387M |  91 | 479 |1203 |1059 | 170k|  1 |2032 |2273 | 1.717211e+02 | 1.940000e+02 |  12.97%| unknown
2867.95/2875.32	c  2875s| 38400 | 38299 | 29819k| 755.4 |   387M |  91 | 479 |1209 |1061 | 170k|  1 |2039 |2276 | 1.717219e+02 | 1.940000e+02 |  12.97%| unknown
2873.13/2880.54	c  2881s| 38500 | 38399 | 29879k| 755.0 |   387M |  91 | 479 |1202 |1044 | 170k|  1 |2039 |2276 | 1.717232e+02 | 1.940000e+02 |  12.97%| unknown
2878.92/2886.37	c  2886s| 38600 | 38499 | 29945k| 754.8 |   387M |  91 | 479 |1193 |1047 | 170k|  1 |2041 |2276 | 1.717242e+02 | 1.940000e+02 |  12.97%| unknown
2884.50/2891.95	c  2892s| 38700 | 38599 | 30007k| 754.4 |   387M |  91 | 479 |1199 |1073 | 171k|  1 |2053 |2278 | 1.717252e+02 | 1.940000e+02 |  12.97%| unknown
2890.49/2897.98	c  2898s| 38800 | 38699 | 30074k| 754.2 |   387M |  91 | 479 |1199 |1062 | 171k|  1 |2054 |2279 | 1.717258e+02 | 1.940000e+02 |  12.97%| unknown
2896.48/2904.01	c  2904s| 38900 | 38799 | 30138k| 753.9 |   387M |  91 | 479 |1201 |1019 | 172k|  1 |2058 |2282 | 1.717267e+02 | 1.940000e+02 |  12.97%| unknown
2904.36/2911.88	c  2912s| 39000 | 38899 | 30228k| 754.3 |   387M |  91 | 479 |1208 |1054 | 172k|  1 |2069 |2287 | 1.717276e+02 | 1.940000e+02 |  12.97%| unknown
2910.24/2917.76	c  2918s| 39100 | 38999 | 30294k| 754.1 |   387M |  91 | 479 |1214 |1012 | 172k|  1 |2078 |2288 | 1.717282e+02 | 1.940000e+02 |  12.97%| unknown
2915.93/2923.45	c  2923s| 39200 | 39099 | 30361k| 753.8 |   387M |  91 | 479 |1217 |1051 | 173k|  1 |2082 |2288 | 1.717292e+02 | 1.940000e+02 |  12.97%| unknown
2922.21/2929.72	c  2930s| 39300 | 39199 | 30429k| 753.7 |   387M |  91 | 479 |1214 |1056 | 173k|  1 |2086 |2294 | 1.717300e+02 | 1.940000e+02 |  12.97%| unknown
2929.51/2937.08	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2929.51/2937.08	c  2937s| 39400 | 39299 | 30498k| 753.5 |   387M |  91 | 479 |1209 |1056 | 173k|  1 |2092 |2307 | 1.717313e+02 | 1.940000e+02 |  12.97%| unknown
2934.98/2942.53	c  2943s| 39500 | 39399 | 30566k| 753.3 |   387M |  91 | 479 |1202 |1052 | 174k|  1 |2094 |2307 | 1.717320e+02 | 1.940000e+02 |  12.97%| unknown
2941.48/2949.03	c  2949s| 39600 | 39499 | 30637k| 753.2 |   387M |  91 | 479 |1201 |1045 | 174k|  1 |2100 |2307 | 1.717325e+02 | 1.940000e+02 |  12.97%| unknown
2946.36/2953.92	c  2954s| 39700 | 39599 | 30692k| 752.7 |   387M |  91 | 479 |1197 |1062 | 174k|  1 |2100 |2311 | 1.717331e+02 | 1.940000e+02 |  12.97%| unknown
2952.24/2959.81	c  2960s| 39800 | 39699 | 30758k| 752.5 |   387M |  91 | 479 |1195 |1050 | 175k|  1 |2108 |2315 | 1.717347e+02 | 1.940000e+02 |  12.96%| unknown
2958.33/2965.97	c  2966s| 39900 | 39799 | 30827k| 752.3 |   387M |  91 | 479 |1196 |1074 | 175k|  1 |2114 |2315 | 1.717360e+02 | 1.940000e+02 |  12.96%| unknown
2964.12/2971.75	c  2972s| 40000 | 39899 | 30892k| 752.1 |   387M |  91 | 479 |1193 |1047 | 175k|  1 |2116 |2319 | 1.717373e+02 | 1.940000e+02 |  12.96%| unknown
2971.10/2978.76	c  2979s| 40100 | 39999 | 30976k| 752.3 |   388M |  91 | 479 |1195 |1041 | 176k|  1 |2119 |2320 | 1.717383e+02 | 1.940000e+02 |  12.96%| unknown
2976.29/2983.92	c  2984s| 40200 | 40099 | 31035k| 751.9 |   388M |  91 | 479 |1196 |1060 | 176k|  1 |2123 |2322 | 1.717388e+02 | 1.940000e+02 |  12.96%| unknown
2982.27/2989.90	c  2990s| 40300 | 40199 | 31100k| 751.7 |   388M |  91 | 479 |1199 |1038 | 176k|  1 |2128 |2324 | 1.717402e+02 | 1.940000e+02 |  12.96%| unknown
2987.37/2995.04	c  2995s| 40400 | 40299 | 31157k| 751.2 |   388M |  91 | 479 |1200 |1047 | 176k|  1 |2132 |2327 | 1.717412e+02 | 1.940000e+02 |  12.96%| unknown
2993.64/3001.31	c  3001s| 40500 | 40399 | 31225k| 751.1 |   388M |  91 | 479 |1194 |1071 | 177k|  1 |2133 |2330 | 1.717423e+02 | 1.940000e+02 |  12.96%| unknown
2999.23/3006.92	c  3007s| 40600 | 40499 | 31281k| 750.6 |   388M |  91 | 479 |1191 |1066 | 177k|  1 |2134 |2336 | 1.717437e+02 | 1.940000e+02 |  12.96%| unknown
3005.22/3012.91	c  3013s| 40700 | 40599 | 31348k| 750.4 |   388M |  91 | 479 |1182 |1057 | 177k|  1 |2135 |2338 | 1.717446e+02 | 1.940000e+02 |  12.96%| unknown
3013.10/3020.82	c  3021s| 40800 | 40699 | 31432k| 750.6 |   388M |  91 | 479 |1184 |1058 | 178k|  1 |2140 |2342 | 1.717459e+02 | 1.940000e+02 |  12.96%| unknown
3018.98/3026.72	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3018.98/3026.72	c  3027s| 40900 | 40799 | 31502k| 750.5 |   388M |  91 | 479 |1188 |1053 | 178k|  1 |2149 |2342 | 1.717467e+02 | 1.940000e+02 |  12.96%| unknown
3025.77/3033.59	c  3034s| 41000 | 40899 | 31579k| 750.5 |   388M |  91 | 479 |1187 |1053 | 179k|  1 |2153 |2343 | 1.717477e+02 | 1.940000e+02 |  12.96%| unknown
3031.27/3039.06	c  3039s| 41100 | 40999 | 31644k| 750.3 |   388M |  91 | 479 |1183 |1064 | 179k|  1 |2153 |2344 | 1.717483e+02 | 1.940000e+02 |  12.96%| unknown
3039.14/3046.93	c  3047s| 41200 | 41099 | 31730k| 750.6 |   388M |  91 | 479 |1186 |1051 | 179k|  1 |2162 |2346 | 1.717497e+02 | 1.940000e+02 |  12.96%| unknown
3044.82/3052.67	c  3053s| 41300 | 41199 | 31794k| 750.3 |   388M |  91 | 479 |1181 |1021 | 179k|  1 |2164 |2349 | 1.717508e+02 | 1.940000e+02 |  12.95%| unknown
3051.41/3059.25	c  3059s| 41400 | 41299 | 31868k| 750.3 |   388M |  91 | 479 |1183 |1056 | 180k|  1 |2173 |2351 | 1.717521e+02 | 1.940000e+02 |  12.95%| unknown
3056.90/3064.79	c  3065s| 41500 | 41399 | 31930k| 750.0 |   388M |  91 | 479 |1183 |1046 | 180k|  1 |2182 |2352 | 1.717531e+02 | 1.940000e+02 |  12.95%| unknown
3063.38/3071.23	c  3071s| 41600 | 41499 | 32001k| 749.9 |   388M |  91 | 479 |1179 |1071 | 181k|  1 |2189 |2357 | 1.717547e+02 | 1.940000e+02 |  12.95%| unknown
3069.67/3077.50	c  3077s| 41700 | 41599 | 32074k| 749.8 |   388M |  91 | 479 |1179 |1069 | 181k|  1 |2193 |2357 | 1.717555e+02 | 1.940000e+02 |  12.95%| unknown
3075.17/3083.03	c  3083s| 41800 | 41699 | 32138k| 749.6 |   388M |  91 | 479 |1182 |1057 | 181k|  1 |2202 |2357 | 1.717568e+02 | 1.940000e+02 |  12.95%| unknown
3080.95/3088.85	c  3089s| 41900 | 41799 | 32201k| 749.3 |   388M |  91 | 479 |1181 |1047 | 182k|  1 |2203 |2359 | 1.717572e+02 | 1.940000e+02 |  12.95%| unknown
3086.34/3094.24	c  3094s| 42000 | 41899 | 32262k| 749.0 |   388M |  91 | 479 |1184 |1052 | 182k|  1 |2208 |2360 | 1.717586e+02 | 1.940000e+02 |  12.95%| unknown
3092.42/3100.37	c  3100s| 42100 | 41999 | 32330k| 748.8 |   388M |  91 | 479 |1181 |1048 | 182k|  1 |2210 |2363 | 1.717597e+02 | 1.940000e+02 |  12.95%| unknown
3098.91/3106.85	c  3107s| 42200 | 42099 | 32395k| 748.6 |   388M |  91 | 479 |1183 |1062 | 183k|  1 |2214 |2363 | 1.717605e+02 | 1.940000e+02 |  12.95%| unknown
3104.29/3112.25	c  3112s| 42300 | 42199 | 32458k| 748.3 |   388M |  91 | 479 |1177 |1066 | 183k|  1 |2220 |2365 | 1.717615e+02 | 1.940000e+02 |  12.95%| unknown
3111.48/3119.48	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3111.48/3119.48	c  3119s| 42400 | 42299 | 32543k| 748.5 |   388M |  91 | 479 |1180 |1036 | 183k|  1 |2230 |2366 | 1.717621e+02 | 1.940000e+02 |  12.95%| unknown
3116.76/3124.76	c  3125s| 42500 | 42399 | 32605k| 748.3 |   388M |  91 | 479 |1178 |1063 | 184k|  1 |2231 |2366 | 1.717630e+02 | 1.940000e+02 |  12.95%| unknown
3122.35/3130.38	c  3130s| 42600 | 42499 | 32668k| 748.0 |   388M |  91 | 479 |1178 |1061 | 184k|  1 |2237 |2366 | 1.717637e+02 | 1.940000e+02 |  12.95%| unknown
3129.93/3137.90	c  3138s| 42700 | 42599 | 32758k| 748.3 |   388M |  91 | 479 |1177 |1062 | 184k|  1 |2245 |2367 | 1.717645e+02 | 1.940000e+02 |  12.95%| unknown
3135.32/3143.31	c  3143s| 42800 | 42699 | 32821k| 748.1 |   388M |  91 | 479 |1168 |1055 | 185k|  1 |2247 |2372 | 1.717654e+02 | 1.940000e+02 |  12.94%| unknown
3142.80/3150.84	c  3151s| 42900 | 42799 | 32909k| 748.4 |   388M |  91 | 479 |1167 |1058 | 185k|  1 |2256 |2374 | 1.717660e+02 | 1.940000e+02 |  12.94%| unknown
3149.38/3157.49	c  3157s| 43000 | 42899 | 32984k| 748.3 |   388M |  91 | 479 |1172 |1056 | 185k|  1 |2266 |2377 | 1.717667e+02 | 1.940000e+02 |  12.94%| unknown
3155.08/3163.19	c  3163s| 43100 | 42999 | 33043k| 748.0 |   389M |  91 | 479 |1177 |1060 | 186k|  1 |2272 |2377 | 1.717677e+02 | 1.940000e+02 |  12.94%| unknown
3161.26/3169.30	c  3169s| 43200 | 43099 | 33112k| 747.9 |   389M |  91 | 479 |1177 |1039 | 186k|  1 |2278 |2378 | 1.717691e+02 | 1.940000e+02 |  12.94%| unknown
3167.44/3175.55	c  3176s| 43300 | 43199 | 33178k| 747.7 |   389M |  91 | 479 |1177 |1058 | 186k|  1 |2283 |2380 | 1.717703e+02 | 1.940000e+02 |  12.94%| unknown
3173.62/3181.70	c  3182s| 43400 | 43299 | 33245k| 747.5 |   390M |  91 | 479 |1178 |1051 | 187k|  1 |2286 |2382 | 1.717708e+02 | 1.940000e+02 |  12.94%| unknown
3179.31/3187.44	c  3187s| 43500 | 43399 | 33309k| 747.2 |   390M |  91 | 479 |1177 |1061 | 187k|  1 |2289 |2385 | 1.717713e+02 | 1.940000e+02 |  12.94%| unknown
3185.79/3193.98	c  3194s| 43600 | 43499 | 33379k| 747.1 |   390M |  91 | 479 |1175 |1060 | 187k|  1 |2293 |2387 | 1.717724e+02 | 1.940000e+02 |  12.94%| unknown
3191.27/3199.40	c  3199s| 43700 | 43599 | 33440k| 746.8 |   390M |  91 | 479 |1183 |1034 | 188k|  1 |2301 |2388 | 1.717734e+02 | 1.940000e+02 |  12.94%| unknown
3197.65/3205.86	c  3206s| 43800 | 43699 | 33515k| 746.8 |   390M |  91 | 479 |1180 |1051 | 188k|  1 |2303 |2389 | 1.717741e+02 | 1.940000e+02 |  12.94%| unknown
3202.74/3210.99	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3202.74/3210.99	c  3211s| 43900 | 43799 | 33575k| 746.5 |   390M |  91 | 479 |1177 |1059 | 188k|  1 |2304 |2389 | 1.717747e+02 | 1.940000e+02 |  12.94%| unknown
3210.72/3219.00	c  3219s| 44000 | 43899 | 33668k| 746.9 |   390M |  91 | 479 |1174 |1054 | 189k|  1 |2305 |2390 | 1.717754e+02 | 1.940000e+02 |  12.94%| unknown
3215.91/3224.19	c  3224s| 44100 | 43999 | 33726k| 746.6 |   390M |  91 | 479 |1174 |1057 | 189k|  1 |2310 |2390 | 1.717763e+02 | 1.940000e+02 |  12.94%| unknown
3222.18/3230.43	c  3230s| 44200 | 44099 | 33794k| 746.4 |   390M |  91 | 479 |1184 |1058 | 189k|  1 |2324 |2392 | 1.717773e+02 | 1.940000e+02 |  12.94%| unknown
3229.06/3237.30	c  3237s| 44300 | 44199 | 33865k| 746.3 |   390M |  91 | 479 |1179 |1064 | 190k|  1 |2324 |2393 | 1.717782e+02 | 1.940000e+02 |  12.94%| unknown
3234.86/3243.18	c  3243s| 44400 | 44299 | 33930k| 746.1 |   390M |  91 | 479 |1180 |1049 | 190k|  1 |2327 |2394 | 1.717788e+02 | 1.940000e+02 |  12.94%| unknown
3241.63/3249.94	c  3250s| 44500 | 44399 | 34003k| 746.1 |   390M |  91 | 479 |1172 |1049 | 190k|  4 |2329 |2397 | 1.717799e+02 | 1.940000e+02 |  12.94%| unknown
3247.51/3255.80	c  3256s| 44600 | 44499 | 34068k| 745.9 |   390M |  91 | 479 |1176 |1064 | 191k|  1 |2335 |2399 | 1.717805e+02 | 1.940000e+02 |  12.93%| unknown
3253.39/3261.74	c  3262s| 44700 | 44599 | 34135k| 745.7 |   390M |  91 | 479 |1171 |1049 | 191k|  1 |2335 |2403 | 1.717811e+02 | 1.940000e+02 |  12.93%| unknown
3260.47/3268.85	c  3269s| 44800 | 44699 | 34213k| 745.8 |   390M |  91 | 479 |1167 |1044 | 191k|  1 |2341 |2404 | 1.717817e+02 | 1.940000e+02 |  12.93%| unknown
3266.05/3274.41	c  3274s| 44900 | 44799 | 34278k| 745.6 |   390M |  91 | 479 |1162 |1051 | 192k|  1 |2345 |2404 | 1.717826e+02 | 1.940000e+02 |  12.93%| unknown
3272.14/3280.50	c  3280s| 45000 | 44899 | 34347k| 745.4 |   390M |  91 | 479 |1159 |1077 | 192k|  1 |2346 |2406 | 1.717842e+02 | 1.940000e+02 |  12.93%| unknown
3278.42/3286.81	c  3287s| 45100 | 44999 | 34431k| 745.7 |   390M |  91 | 479 |1157 |1042 | 192k|  1 |2352 |2408 | 1.717850e+02 | 1.940000e+02 |  12.93%| unknown
3285.20/3293.66	c  3294s| 45200 | 45099 | 34497k| 745.5 |   391M |  91 | 479 |1155 |1056 | 193k|  1 |2358 |2413 | 1.717857e+02 | 1.940000e+02 |  12.93%| unknown
3291.18/3299.63	c  3300s| 45300 | 45199 | 34563k| 745.3 |   391M |  91 | 479 |1157 |1059 | 193k|  1 |2361 |2418 | 1.717865e+02 | 1.940000e+02 |  12.93%| unknown
3297.46/3305.95	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3297.46/3305.95	c  3306s| 45400 | 45299 | 34630k| 745.1 |   391M |  91 | 479 |1155 |1040 | 193k|  1 |2368 |2423 | 1.717872e+02 | 1.940000e+02 |  12.93%| unknown
3302.95/3311.40	c  3311s| 45500 | 45399 | 34694k| 744.9 |   392M |  91 | 479 |1161 |1040 | 194k|  1 |2377 |2426 | 1.717883e+02 | 1.940000e+02 |  12.93%| unknown
3309.23/3317.71	c  3318s| 45600 | 45499 | 34765k| 744.8 |   392M |  91 | 479 |1165 |1063 | 194k|  1 |2384 |2428 | 1.717890e+02 | 1.940000e+02 |  12.93%| unknown
3314.71/3323.29	c  3323s| 45700 | 45599 | 34828k| 744.6 |   392M |  91 | 479 |1158 |1053 | 194k|  1 |2387 |2432 | 1.717896e+02 | 1.940000e+02 |  12.93%| unknown
3321.79/3330.30	c  3330s| 45800 | 45699 | 34906k| 744.7 |   392M |  91 | 479 |1163 |1058 | 195k|  1 |2396 |2435 | 1.717904e+02 | 1.940000e+02 |  12.93%| unknown
3327.38/3335.90	c  3336s| 45900 | 45799 | 34971k| 744.5 |   392M |  91 | 479 |1162 |1049 | 195k|  1 |2404 |2436 | 1.717911e+02 | 1.940000e+02 |  12.93%| unknown
3332.66/3341.22	c  3341s| 46000 | 45899 | 35029k| 744.1 |   392M |  91 | 479 |1165 |1055 | 195k|  1 |2409 |2438 | 1.717915e+02 | 1.940000e+02 |  12.93%| unknown
3338.74/3347.33	c  3347s| 46100 | 45999 | 35103k| 744.1 |   392M |  91 | 479 |1164 |1082 | 196k|  2 |2416 |2438 | 1.717928e+02 | 1.940000e+02 |  12.93%| unknown
3345.62/3354.28	c  3354s| 46200 | 46099 | 35183k| 744.2 |   392M |  91 | 479 |1156 |1007 | 196k|  1 |2418 |2442 | 1.717935e+02 | 1.940000e+02 |  12.93%| unknown
3351.31/3359.97	c  3360s| 46300 | 46199 | 35247k| 744.0 |   392M |  91 | 479 |1158 |1061 | 196k|  1 |2426 |2442 | 1.717945e+02 | 1.940000e+02 |  12.93%| unknown
3357.09/3365.78	c  3366s| 46400 | 46299 | 35313k| 743.8 |   392M |  91 | 479 |1159 |1049 | 197k|  1 |2431 |2443 | 1.717954e+02 | 1.940000e+02 |  12.93%| unknown
3363.48/3372.16	c  3372s| 46500 | 46399 | 35385k| 743.8 |   392M |  91 | 479 |1165 |1040 | 197k|  1 |2437 |2446 | 1.717963e+02 | 1.940000e+02 |  12.92%| unknown
3368.76/3377.41	c  3377s| 46600 | 46499 | 35445k| 743.5 |   392M |  91 | 479 |1174 |1038 | 197k|  1 |2449 |2446 | 1.717977e+02 | 1.940000e+02 |  12.92%| unknown
3374.35/3383.02	c  3383s| 46700 | 46599 | 35510k| 743.3 |   392M |  91 | 479 |1172 |1029 | 198k|  1 |2454 |2448 | 1.717982e+02 | 1.940000e+02 |  12.92%| unknown
3380.02/3388.74	c  3389s| 46800 | 46699 | 35571k| 743.0 |   392M |  91 | 479 |1171 |1048 | 198k|  1 |2456 |2450 | 1.717990e+02 | 1.940000e+02 |  12.92%| unknown
3386.32/3395.08	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3386.32/3395.08	c  3395s| 46900 | 46799 | 35643k| 742.9 |   392M |  91 | 479 |1170 |1067 | 198k|  1 |2463 |2453 | 1.717996e+02 | 1.940000e+02 |  12.92%| unknown
3392.40/3401.17	c  3401s| 47000 | 46899 | 35705k| 742.7 |   392M |  91 | 479 |1168 |1059 | 199k|  1 |2465 |2453 | 1.718006e+02 | 1.940000e+02 |  12.92%| unknown
3398.28/3407.07	c  3407s| 47100 | 46999 | 35768k| 742.5 |   392M |  91 | 479 |1165 |1047 | 199k|  1 |2467 |2455 | 1.718015e+02 | 1.940000e+02 |  12.92%| unknown
3404.37/3413.13	c  3413s| 47200 | 47099 | 35834k| 742.3 |   392M |  91 | 479 |1166 |1060 | 199k|  1 |2474 |2456 | 1.718026e+02 | 1.940000e+02 |  12.92%| unknown
3409.74/3418.51	c  3419s| 47300 | 47199 | 35897k| 742.0 |   392M |  91 | 479 |1162 |1057 | 200k|  1 |2476 |2457 | 1.718034e+02 | 1.940000e+02 |  12.92%| unknown
3417.23/3426.08	c  3426s| 47400 | 47299 | 35986k| 742.4 |   392M |  91 | 479 |1172 |1057 | 200k|  1 |2489 |2457 | 1.718042e+02 | 1.940000e+02 |  12.92%| unknown
3423.00/3431.84	c  3432s| 47500 | 47399 | 36053k| 742.2 |   392M |  91 | 479 |1171 |1057 | 200k|  1 |2492 |2458 | 1.718049e+02 | 1.940000e+02 |  12.92%| unknown
3428.88/3437.77	c  3438s| 47600 | 47499 | 36121k| 742.1 |   392M |  91 | 479 |1173 |1062 | 201k|  1 |2496 |2460 | 1.718056e+02 | 1.940000e+02 |  12.92%| unknown
3435.17/3444.04	c  3444s| 47700 | 47599 | 36189k| 741.9 |   392M |  91 | 479 |1173 |1075 | 201k|  1 |2501 |2466 | 1.718060e+02 | 1.940000e+02 |  12.92%| unknown
3440.65/3449.56	c  3450s| 47800 | 47699 | 36250k| 741.7 |   392M |  91 | 479 |1168 |1059 | 201k|  1 |2504 |2471 | 1.718067e+02 | 1.940000e+02 |  12.92%| unknown
3447.14/3456.09	c  3456s| 47900 | 47799 | 36319k| 741.6 |   392M |  91 | 479 |1161 |1044 | 202k|  1 |2508 |2474 | 1.718077e+02 | 1.940000e+02 |  12.92%| unknown
3451.82/3460.71	c  3461s| 48000 | 47899 | 36375k| 741.2 |   392M |  91 | 479 |1154 |1064 | 202k|  1 |2508 |2474 | 1.718083e+02 | 1.940000e+02 |  12.92%| unknown
3458.11/3467.03	c  3467s| 48100 | 47999 | 36442k| 741.1 |   393M |  91 | 479 |1156 |1038 | 202k|  1 |2512 |2479 | 1.718088e+02 | 1.940000e+02 |  12.92%| unknown
3463.28/3472.23	c  3472s| 48200 | 48099 | 36499k| 740.7 |   393M |  91 | 479 |1156 |1041 | 203k|  1 |2519 |2486 | 1.718095e+02 | 1.940000e+02 |  12.92%| unknown
3469.46/3478.47	c  3478s| 48300 | 48199 | 36569k| 740.6 |   393M |  91 | 479 |1154 |1070 | 203k|  1 |2521 |2486 | 1.718105e+02 | 1.940000e+02 |  12.92%| unknown
3475.25/3484.27	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3475.25/3484.27	c  3484s| 48400 | 48299 | 36636k| 740.5 |   393M |  91 | 479 |1151 |1060 | 203k|  1 |2524 |2489 | 1.718115e+02 | 1.940000e+02 |  12.91%| unknown
3482.63/3491.65	c  3492s| 48500 | 48399 | 36724k| 740.8 |   393M |  91 | 479 |1153 |1057 | 204k|  1 |2531 |2489 | 1.718123e+02 | 1.940000e+02 |  12.91%| unknown
3488.71/3497.74	c  3498s| 48600 | 48499 | 36795k| 740.7 |   393M |  91 | 479 |1150 |1066 | 204k|  1 |2532 |2489 | 1.718129e+02 | 1.940000e+02 |  12.91%| unknown
3494.69/3503.71	c  3504s| 48700 | 48599 | 36861k| 740.5 |   393M |  91 | 479 |1146 |1069 | 204k|  1 |2534 |2490 | 1.718143e+02 | 1.940000e+02 |  12.91%| unknown
3500.18/3509.24	c  3509s| 48800 | 48699 | 36923k| 740.3 |   393M |  91 | 479 |1144 |1054 | 205k|  1 |2535 |2492 | 1.718150e+02 | 1.940000e+02 |  12.91%| unknown
3505.66/3514.79	c  3515s| 48900 | 48799 | 36991k| 740.2 |   393M |  91 | 479 |1145 |1066 | 205k|  1 |2537 |2492 | 1.718159e+02 | 1.940000e+02 |  12.91%| unknown
3511.06/3520.13	c  3520s| 49000 | 48899 | 37050k| 739.9 |   393M |  91 | 479 |1142 |1051 | 205k|  1 |2538 |2492 | 1.718166e+02 | 1.940000e+02 |  12.91%| unknown
3517.04/3526.18	c  3526s| 49100 | 48999 | 37120k| 739.8 |   394M |  91 | 479 |1150 |1054 | 206k|  1 |2547 |2493 | 1.718173e+02 | 1.940000e+02 |  12.91%| unknown
3523.02/3532.17	c  3532s| 49200 | 49099 | 37185k| 739.6 |   394M |  91 | 479 |1161 |1057 | 206k|  1 |2561 |2494 | 1.718180e+02 | 1.940000e+02 |  12.91%| unknown
3529.29/3538.43	c  3538s| 49300 | 49199 | 37255k| 739.5 |   394M |  91 | 479 |1158 |1017 | 206k|  1 |2565 |2495 | 1.718191e+02 | 1.940000e+02 |  12.91%| unknown
3535.57/3544.75	c  3545s| 49400 | 49299 | 37319k| 739.3 |   394M |  91 | 479 |1155 |1039 | 207k|  1 |2566 |2496 | 1.718200e+02 | 1.940000e+02 |  12.91%| unknown
3541.66/3550.82	c  3551s| 49500 | 49399 | 37390k| 739.3 |   394M |  91 | 479 |1154 |1062 | 207k|  1 |2570 |2496 | 1.718206e+02 | 1.940000e+02 |  12.91%| unknown
3547.54/3556.74	c  3557s| 49600 | 49499 | 37452k| 739.0 |   394M |  91 | 479 |1153 |1048 | 207k|  1 |2571 |2496 | 1.718216e+02 | 1.940000e+02 |  12.91%| unknown
3554.72/3563.91	c  3564s| 49700 | 49599 | 37544k| 739.4 |   394M |  91 | 479 |1152 |1051 | 207k|  1 |2573 |2498 | 1.718221e+02 | 1.940000e+02 |  12.91%| unknown
3560.30/3569.54	c  3570s| 49800 | 49699 | 37605k| 739.2 |   394M |  91 | 479 |1149 |1062 | 208k|  1 |2575 |2499 | 1.718231e+02 | 1.940000e+02 |  12.91%| unknown
3566.58/3575.85	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3566.58/3575.85	c  3576s| 49900 | 49799 | 37679k| 739.2 |   394M |  91 | 479 |1150 |1035 | 208k|  1 |2579 |2499 | 1.718236e+02 | 1.940000e+02 |  12.91%| unknown
3572.78/3582.10	c  3582s| 50000 | 49899 | 37745k| 739.0 |   394M |  91 | 479 |1148 |1068 | 208k|  1 |2579 |2501 | 1.718240e+02 | 1.940000e+02 |  12.91%| unknown
3578.05/3587.34	c  3587s| 50100 | 49999 | 37803k| 738.7 |   394M |  91 | 479 |1144 |1054 | 209k|  1 |2581 |2506 | 1.718247e+02 | 1.940000e+02 |  12.91%| unknown
3584.13/3593.47	c  3593s| 50200 | 50099 | 37873k| 738.6 |   394M |  91 | 479 |1139 |1061 | 209k|  1 |2583 |2506 | 1.718255e+02 | 1.940000e+02 |  12.91%| unknown
3587.62/3597.00	c 
3587.62/3597.00	c SCIP Status        : solving was interrupted [time limit reached]
3587.62/3597.00	c Solving Time (sec) : 3597.00
3587.62/3597.00	c Solving Nodes      : 50269 (total of 51318 nodes in 2 runs)
3587.62/3597.00	c Primal Bound       : +1.94000000000000e+02 (1235 solutions)
3587.62/3597.00	c Dual Bound         : +1.71825710872852e+02
3587.62/3597.00	c Gap                : 12.91 %
3587.62/3597.00	s SATISFIABLE
3587.62/3597.00	v -x479 -x478 x477 -x476 x475 x474 -x473 -x472 x471 x470 x469 -x468 -x467 x466 -x465 -x464 -x463 x462 -x461 -x460 -x459 -x458 -x457 
3587.62/3597.00	v -x456 -x455 x454 x453 -x452 -x451 x450 -x449 x448 -x447 -x446 -x445 -x444 x443 -x442 x441 -x440 x439 -x438 x437 -x436 x435 
3587.62/3597.00	v x434 x433 -x432 -x431 -x430 x429 -x428 x427 -x426 -x425 x424 x423 x422 x421 -x420 -x419 x418 -x417 -x416 -x415 -x414 -x413 x412 
3587.62/3597.00	v -x411 -x410 x409 -x408 -x407 x406 -x405 -x404 x403 x402 x401 x400 -x399 x398 x397 x396 -x395 -x394 -x393 -x392 x391 -x390 
3587.62/3597.00	v -x389 x388 x387 x386 x385 x384 x383 -x382 x381 x380 x379 -x378 x377 x376 -x375 -x374 -x373 -x372 -x371 -x370 x369 -x368 -x367 
3587.62/3597.00	v x366 -x365 x364 -x363 -x362 x361 x360 -x359 x358 -x357 -x356 -x355 x354 -x353 x352 x351 -x350 -x349 -x348 -x347 x346 x345 -x344 
3587.62/3597.00	v x343 -x342 -x341 x340 -x339 x338 -x337 x336 x335 x334 -x333 -x332 x331 -x330 x329 -x328 x327 -x326 -x325 -x324 -x323 x322 
3587.62/3597.00	v -x321 x320 x319 x318 -x317 x316 -x315 -x314 x313 x312 -x311 -x310 x309 x308 -x307 -x306 x305 -x304 -x303 -x302 -x301 -x300 
3587.62/3597.00	v -x299 x298 x297 -x296 -x295 x294 x293 -x292 -x291 -x290 -x289 x288 -x287 x286 -x285 -x284 x283 x282 x281 -x280 x279 -x278 x277 
3587.62/3597.00	v x276 x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 x266 x265 x264 x263 -x262 -x261 x260 -x259 x258 -x257 x256 -x255 
3587.62/3597.00	v -x254 -x253 -x252 -x251 -x250 x249 x248 x247 x246 x245 x244 x243 -x242 -x241 -x240 -x239 x238 x237 x236 -x235 x234 -x233 -x232 
3587.62/3597.00	v -x231 x230 x229 x228 -x227 x226 x225 -x224 x223 -x222 -x221 x220 -x219 -x218 -x217 x216 -x215 -x214 x213 x212 x211 -x210 -x209 
3587.62/3597.00	v x208 -x207 x206 x205 x204 -x203 x202 x201 -x200 -x199 -x198 x197 -x196 x195 -x194 -x193 -x192 -x191 x190 x189 -x188 -x187 
3587.62/3597.00	v -x186 -x185 x184 -x183 x182 -x181 -x180 x179 x178 -x177 x176 x175 -x174 x173 x172 x171 x170 -x169 -x168 -x167 -x166 -x165 -x164 
3587.62/3597.00	v -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 x148 -x147 -x146 x145 x144 -x143 
3587.62/3597.00	v -x142 -x141 -x140 x139 -x138 -x137 x136 x135 x134 -x133 -x132 -x131 x130 x129 x128 -x127 -x126 -x125 x124 x123 x122 x121 -x120 
3587.62/3597.00	v x119 x118 x117 x116 -x115 -x114 -x113 x112 x111 -x110 -x109 -x108 -x107 -x106 x105 -x104 x103 -x102 -x101 x100 -x99 x98 -x97 
3587.62/3597.00	v -x96 x95 x94 -x93 x92 -x91 x90 -x89 -x88 -x87 -x86 -x85 x84 -x83 -x82 x81 x80 -x79 -x78 -x77 -x76 x75 x74 -x73 -x72 -x71 
3587.62/3597.00	v -x70 x69 -x68 -x67 -x66 x65 -x64 -x63 x62 -x61 -x60 -x59 x58 x57 x56 -x55 -x54 x53 -x52 -x51 -x50 -x49 -x48 -x47 x46 x45 -x44 
3587.62/3597.00	v -x43 -x42 -x41 -x40 x39 x38 -x37 -x36 -x35 -x34 -x33 -x32 x31 x30 -x29 x28 -x27 -x26 x25 -x24 -x23 x22 -x21 -x20 -x19 -x18 -x17 
3587.62/3597.00	v -x16 x15 -x14 x13 -x12 -x11 -x10 x9 -x8 -x7 -x6 -x5 x4 -x3 x2 -x1 
3587.62/3597.00	c SCIP Status        : solving was interrupted [time limit reached]
3587.62/3597.00	c Total Time         :    3597.00
3587.62/3597.00	c   solving          :    3597.00
3587.62/3597.00	c   presolving       :       0.04 (included in solving)
3587.62/3597.00	c   reading          :       0.00 (included in solving)
3587.62/3597.00	c   copying          :       0.05 (12 #copies) (minimal 0.00, maximal 0.01, average 0.00)
3587.62/3597.00	c Original Problem   :
3587.62/3597.00	c   Problem name     : HOME/instance-4432636-1721078617.opb
3587.62/3597.00	c   Variables        : 479 (479 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.62/3597.00	c   Constraints      : 479 initial, 479 maximal
3587.62/3597.00	c   Objective        : minimize, 479 non-zeros (abs.min = 1, abs.max = 1)
3587.62/3597.00	c Presolved Problem  :
3587.62/3597.00	c   Problem name     : t_HOME/instance-4432636-1721078617.opb
3587.62/3597.00	c   Variables        : 479 (479 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.62/3597.00	c   Constraints      : 936 initial, 1230 maximal
3587.62/3597.00	c   Objective        : minimize, 479 non-zeros (abs.min = 1, abs.max = 1)
3587.62/3597.00	c   Nonzeros         : 8890 constraint, 276 clique table
3587.62/3597.00	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
3587.62/3597.00	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.62/3597.00	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.62/3597.00	c   domcol           :       0.00       0.00      2          0          0          0          0          0          0          0          0          0
3587.62/3597.00	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.62/3597.00	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.62/3597.00	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.62/3597.00	c   dualsparsify     :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3587.62/3597.00	c   gateextraction   :       0.00       0.00      5          0          0          0          0          0          0          0          0          0
3587.62/3597.00	c   implics          :       0.00       0.00      7          0          0          0          0          0          0          0          0          0
3587.62/3597.00	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.62/3597.00	c   milp             :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3587.62/3597.00	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.62/3597.00	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.62/3597.00	c   sparsify         :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3587.62/3597.00	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.62/3597.00	c   trivial          :       0.00       0.00     14          0          0          0          0          0          0          0          0          0
3587.62/3597.00	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.62/3597.00	c   dualfix          :       0.00       0.00     14          0          0          0          0          0          0          0          0          0
3587.62/3597.00	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.62/3597.00	c   probing          :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3587.62/3597.00	c   pseudoobj        :       0.00       0.00      2          0          0          0          0          0          0          0          0          0
3587.62/3597.00	c   symmetry         :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3587.62/3597.00	c   vbounds          :       0.00       0.00      2          0          0          0          0          0          0          0          0          0
3587.62/3597.00	c   knapsack         :       0.01       0.00     23          0          0          0          0          0         59        293        453       1299
3587.62/3597.00	c   setppc           :       0.00       0.00     19          0          0          0          0          0        136          0          0          0
3587.62/3597.00	c   linear           :       0.01       0.00      8          0          0          0          0          0          2          0         16         84
3587.62/3597.00	c   logicor          :       0.00       0.00     20          0          0          0          0          0          0          0          0          0
3587.62/3597.00	c   benders          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.62/3597.00	c   components       :       0.00       0.00      2          0          0          0          0          0          0          0          0          0
3587.62/3597.00	c   root node        :          -          -      -          0          -          -          0          -          -          -          -          -
3587.62/3597.00	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
3587.62/3597.00	c   benderslp        :          0          0          0          0      51278          0          0      19653          0          0          0          0          0          0          0
3587.62/3597.00	c   integral         :          0          0          0          0      51278          0          0      19653          0          0          6          0          0          3     102550
3587.62/3597.00	c   knapsack         :        632        632         45     647696          0          0          0      19647      38325          0       5917       2308        124          0          0
3587.62/3597.00	c   setppc           :        138        138         45     646377          0          0          0       1333      23224          0      20874          0          0          0          0
3587.62/3597.00	c   logicor          :        166+       460         45     144514          0          0          0       1333        221        430         10          3          0          0          0
3587.62/3597.00	c   benders          :          0          0          0          0          0          0          0       1336          0          0          0          0          0          0          0
3587.62/3597.00	c   fixedvar         :          0          0          0          0          0          0          0       1336          0          0          0          0          0          0          0
3587.62/3597.00	c   countsols        :          0          0          0          0          0          0          0       1336          0          0          0          0          0          0          0
3587.62/3597.00	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3587.62/3597.00	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
3587.62/3597.00	c   benderslp        :       0.01       0.00       0.00       0.00       0.01       0.00       0.00       0.00       0.00       0.00
3587.62/3597.00	c   integral         :     131.18       0.00       0.00       0.00     131.17       0.00       0.00       0.01       0.00       0.00
3587.62/3597.00	c   knapsack         :       1.78       0.00       0.10       1.58       0.00       0.00       0.00       0.07       0.01       0.01
3587.62/3597.00	c   setppc           :       0.31       0.00       0.00       0.29       0.00       0.00       0.00       0.00       0.01       0.00
3587.62/3597.00	c   logicor          :       0.38       0.00       0.00       0.37       0.00       0.00       0.00       0.00       0.00       0.00
3587.62/3597.00	c   benders          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3587.62/3597.00	c   fixedvar         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3587.62/3597.00	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3587.62/3597.00	c   components       :       0.03       0.00       0.00       0.03       0.00       0.00       0.00       0.00       0.00       0.00
3587.62/3597.00	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
3587.62/3597.00	c   dualfix          :          3          0          0          0
3587.62/3597.00	c   genvbounds       :          0          0          0          0
3587.62/3597.00	c   nlobbt           :          0          0          0          0
3587.62/3597.00	c   obbt             :          0          0          0          0
3587.62/3597.00	c   probing          :          0          0          0          0
3587.62/3597.00	c   pseudoobj        :     117917          0          0          0
3587.62/3597.00	c   redcost          :        576          0          0       1912
3587.62/3597.00	c   rootredcost      :         10          0          0          0
3587.62/3597.00	c   symmetry         :          0          0          0          0
3587.62/3597.00	c   vbounds          :     113880          0          0          0
3587.62/3597.00	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
3587.62/3597.00	c   dualfix          :       0.00       0.00       0.00       0.00       0.00       0.00
3587.62/3597.00	c   genvbounds       :       0.04       0.00       0.00       0.04       0.00       0.00
3587.62/3597.00	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
3587.62/3597.00	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
3587.62/3597.00	c   probing          :       0.00       0.00       0.00       0.00       0.00       0.00
3587.62/3597.00	c   pseudoobj        :       0.12       0.00       0.00       0.12       0.00       0.00
3587.62/3597.00	c   redcost          :       0.07       0.00       0.00       0.07       0.00       0.00
3587.62/3597.00	c   rootredcost      :       0.04       0.00       0.00       0.04       0.00       0.00
3587.62/3597.00	c   symmetry         :       0.06       0.00       0.00       0.06       0.00       0.00
3587.62/3597.00	c   vbounds          :       0.08       0.00       0.00       0.08       0.00       0.00
3587.62/3597.00	c Symmetry           :
3587.62/3597.00	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
3587.62/3597.00	c   orbital reduction:          0 reductions applied,          0 cutoffs
3587.62/3597.00	c   lexicographic red:          0 reductions applied,          0 cutoffs
3587.62/3597.00	c   shadow tree time :       0.00 s
3587.62/3597.00	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
3587.62/3597.00	c   propagation      :       0.01        430        429          -        646       94.2          0        0.0          -          -          -
3587.62/3597.00	c   infeasible LP    :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
3587.62/3597.00	c   bound exceed. LP :       4.20       6765       1319          -      25785       93.5          0        0.0          0        0.0      52551
3587.62/3597.00	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
3587.62/3597.00	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
3587.62/3597.00	c   applied globally :       0.01          -          -          0       1868       63.5          -          -          0          -          -
3587.62/3597.00	c   applied locally  :          -          -          -          0        715       95.0          -          -          0          -          -
3587.62/3597.00	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
3587.62/3597.00	c   cut pool         :      27.92          -      21763         79          -          -     188548     875231          -          -          -          -          -    (maximal pool size:       4867)
3587.62/3597.00	c   aggregation      :      94.44       0.00       4069         45          0          0       2337     103978          0      41014      41014          0          0
3587.62/3597.00	c   > cmir           :          -          -          -          -          -          -          -      75648          0      24863      24863          0          -
3587.62/3597.00	c   > flowcover      :          -          -          -          -          -          -          -       7349          0       2939       2939          0          -
3587.62/3597.00	c   > knapsackcover  :          -          -          -          -          -          -          -      20981          0      13212      13212          0          -
3587.62/3597.00	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.62/3597.00	c   clique           :       0.01       0.00         45         45          0          0          0          0          0          0          0          0          0
3587.62/3597.00	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.62/3597.00	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.62/3597.00	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.62/3597.00	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.62/3597.00	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.62/3597.00	c   gomory           :      49.66       0.00       3528         20          0          0     180533     189450          0       3773       3773          0          0
3587.62/3597.00	c   > gomorymi       :          -          -          -          -          -          -          -     121348          0       3727       3727          0          -
3587.62/3597.00	c   > strongcg       :          -          -          -          -          -          -          -      68102          0         46         46          0          -
3587.62/3597.00	c   impliedbounds    :       0.07       0.00       4069         45          0          0          0          0          0          0          0          0          0
3587.62/3597.00	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.62/3597.00	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.62/3597.00	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.62/3597.00	c   mcf              :       0.00       0.00          2          2          0          0          0          0          0          0          0          0          0
3587.62/3597.00	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.62/3597.00	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.62/3597.00	c   multilinear      :       0.00       0.00       3919         45          0          0          0          0          0          0          0          0          0
3587.73/3597.01	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.73/3597.01	c   rapidlearning    :       0.20       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.73/3597.01	c   rlt              :       0.01       0.00        770         20          0          0          0          0          0          0          0          0          0
3587.73/3597.01	c   zerohalf         :      18.24       0.00       3548         40          0          0       5678     581803          0     173566     173566          0          0
3587.73/3597.01	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
3587.73/3597.01	c   hybrid           :       2.05       0.00      18144         43     218477          0     659065        850          0      11833
3587.73/3597.01	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
3587.73/3597.01	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
3587.73/3597.01	c Pricers            :   ExecTime  SetupTime      Calls       Vars
3587.73/3597.01	c   problem variables:       0.00          -          0          0
3587.73/3597.01	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
3587.73/3597.01	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
3587.73/3597.01	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
3587.73/3597.01	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
3587.73/3597.01	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
3587.73/3597.01	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
3587.73/3597.01	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
3587.73/3597.01	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
3587.73/3597.01	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
3587.73/3597.01	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
3587.73/3597.01	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
3587.73/3597.01	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
3587.73/3597.01	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
3587.73/3597.01	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
3587.73/3597.01	c   relpscost        :     131.14       0.00      51278          0          0          0          6          0          3     102550
3587.73/3597.01	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
3587.73/3597.01	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
3587.73/3597.01	c   LP solutions     :       0.00          -          -          0          0
3587.73/3597.01	c   relax solutions  :       0.00          -          -          0          0
3587.73/3597.01	c   pseudo solutions :       0.00          -          -          0          0
3587.73/3597.01	c   strong branching :       0.20          -          -        437          0
3587.73/3597.01	c   actconsdiving    :       0.00       0.00          0          0          0
3587.73/3597.01	c   adaptivediving   :      15.57       0.00         41          2          0
3587.73/3597.01	c   alns             :       0.09       0.00          9          0          0
3587.73/3597.01	c   bound            :       0.00       0.00          0          0          0
3587.73/3597.01	c   clique           :       0.00       0.00          1          0          0
3587.73/3597.01	c   coefdiving       :       0.00       0.00          0          0          0
3587.73/3597.01	c   completesol      :       0.00       0.00          0          0          0
3587.73/3597.01	c   conflictdiving   :     340.39       0.00        937          2          0
3587.73/3597.01	c   crossover        :       0.04       0.00          2          2          1
3587.73/3597.01	c   dins             :       0.00       0.00          0          0          0
3587.73/3597.01	c   distributiondivin:     193.85       0.00        280          3          0
3587.73/3597.01	c   dps              :       0.00       0.00          0          0          0
3587.73/3597.01	c   dualval          :       0.00       0.00          0          0          0
3587.73/3597.01	c   farkasdiving     :       0.00       0.00          0          0          0
3587.73/3597.01	c   feasjump         :       0.00       0.00          0          0          0
3587.73/3597.01	c   feaspump         :       0.00       0.00          0          0          0
3587.73/3597.01	c   fixandinfer      :       0.00       0.00          0          0          0
3587.73/3597.01	c   fracdiving       :     123.10       0.00        293          2          0
3587.73/3597.01	c   gins             :       0.01       0.00          1          1          0
3587.73/3597.01	c   guideddiving     :      97.11       0.00        272          0          0
3587.73/3597.01	c   indcoefdiving    :       0.00       0.00          0          0          0
3587.73/3597.01	c   indicator        :       0.01       0.00          0          0          0
3587.73/3597.01	c   indicatordiving  :       0.00       0.00          0          0          0
3587.73/3597.01	c   indoneopt        :       0.01       0.00          0          0          0
3587.73/3597.01	c   indrounding      :       0.00       0.00          0          0          0
3587.73/3597.01	c   indtwoopt        :       0.00       0.00          0          0          0
3587.73/3597.01	c   intdiving        :       0.00       0.00          0          0          0
3587.73/3597.01	c   intshifting      :       0.00       0.00          0          0          0
3587.73/3597.01	c   linesearchdiving :      84.14       0.00        325          0          0
3587.73/3597.01	c   localbranching   :       0.00       0.00          0          0          0
3587.73/3597.01	c   locks            :       0.00       0.00          1          1          1
3587.73/3597.01	c   lpface           :       0.01       0.00          0          0          0
3587.73/3597.01	c   mpec             :       0.00       0.00          0          0          0
3587.73/3597.01	c   multistart       :       0.00       0.00          0          0          0
3587.73/3597.01	c   mutation         :       0.00       0.00          0          0          0
3587.73/3597.01	c   nlpdiving        :       0.00       0.00          0          0          0
3587.73/3597.01	c   objpscostdiving  :      94.42       0.00         81        555          2
3587.73/3597.01	c   octane           :       0.00       0.00          0          0          0
3587.73/3597.01	c   ofins            :       0.01       0.00          0          0          0
3587.73/3597.01	c   oneopt           :       0.01       0.00          8          3          3
3587.73/3597.01	c   padm             :       0.00       0.00          0          0          0
3587.73/3597.01	c   proximity        :       0.00       0.00          0          0          0
3587.73/3597.01	c   pscostdiving     :     166.78       0.00        715         93          8
3587.73/3597.01	c   randrounding     :       0.86       0.00      18342          0          0
3587.73/3597.01	c   rens             :       0.00       0.00          0          0          0
3587.73/3597.01	c   reoptsols        :       0.00       0.00          0          0          0
3587.73/3597.01	c   repair           :       0.00       0.00          0          0          0
3587.73/3597.01	c   rins             :       0.02       0.00          0          0          0
3587.73/3597.01	c   rootsoldiving    :      12.95       0.00         83          0          0
3587.73/3597.01	c   rounding         :       4.72       0.00       3680          0          0
3587.73/3597.01	c   scheduler        :       0.00       0.00          0          0          0
3587.73/3597.01	c   shiftandpropagate:       0.00       0.00          0          0          0
3587.73/3597.01	c   shifting         :       2.82       0.00       1950          0          0
3587.73/3597.01	c   simplerounding   :       1.45       0.00      69471         32          0
3587.73/3597.01	c   smallcard        :       0.00       0.00          0          0          0
3587.73/3597.01	c   subnlp           :       0.02       0.00          0          0          0
3587.73/3597.01	c   trivial          :       0.00       0.00          4          1          1
3587.73/3597.01	c   trivialnegation  :       0.00       0.00          0          0          0
3587.73/3597.01	c   trustregion      :       0.00       0.00          0          0          0
3587.73/3597.01	c   trysol           :       0.01       0.00          0          0          0
3587.73/3597.01	c   twoopt           :       0.00       0.00          0          0          0
3587.73/3597.01	c   undercover       :       0.00       0.00          0          0          0
3587.73/3597.01	c   vbounds          :       0.00       0.00          0          0          0
3587.73/3597.01	c   veclendiving     :      92.62       0.00        361          1          0
3587.73/3597.01	c   zeroobj          :       0.00       0.00          0          0          0
3587.73/3597.01	c   zirounding       :       1.04       0.00       5001        100          0
3587.73/3597.01	c   other solutions  :          -          -          -          0          -
3587.73/3597.01	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
3587.73/3597.01	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
3587.73/3597.01	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
3587.73/3597.01	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
3587.73/3597.01	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
3587.73/3597.01	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
3587.73/3597.01	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
3587.73/3597.01	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
3587.73/3597.01	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
3587.73/3597.01	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
3587.73/3597.01	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
3587.73/3597.01	c   primal LP        :       2.02       9989          2       1.00       0.99       2.02       9987
3587.73/3597.01	c   dual LP          :    2020.66      69614   23255536     334.54   11508.87       0.02        100
3587.73/3597.01	c   lex dual LP      :       0.00          0          0       0.00          -
3587.73/3597.01	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
3587.73/3597.01	c   resolve instable :       0.00          0          0       0.00          -
3587.73/3597.01	c   diving/probing LP:    1132.68      44513   14662688     329.40   12945.15
3587.73/3597.01	c   strong branching :     124.14       2507    1449817     578.31   11678.76          -          -        415
3587.73/3597.01	c     (at root node) :          -         49      36329     741.41          -
3587.73/3597.01	c   conflict analysis:       3.15       5307      52551       9.90   16701.92
3587.73/3597.01	c B&B Tree           :
3587.73/3597.01	c   number of runs   :          2
3587.73/3597.01	c   nodes            :      50269 (50226 internal, 43 leaves)
3587.73/3597.01	c   feasible leaves  :          0
3587.73/3597.01	c   infeas. leaves   :          0
3587.73/3597.01	c   objective leaves :         42
3587.73/3597.01	c   nodes (total)    :      51318 (51275 internal, 43 leaves)
3587.73/3597.01	c   nodes left       :      50167
3587.73/3597.01	c   max depth        :         91
3587.73/3597.01	c   max depth (total):         91
3587.73/3597.01	c   backtracks       :       5060 (10.1%)
3587.73/3597.01	c   early backtracks :          0 (0.0%)
3587.73/3597.01	c   nodes exc. ref.  :          0 (0.0%)
3587.73/3597.01	c   delayed cutoffs  :          0
3587.73/3597.01	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
3587.73/3597.01	c   avg switch length:       4.18
3587.73/3597.01	c   switching time   :       3.77
3587.73/3597.01	c Root Node          :
3587.73/3597.01	c   First LP value   : +1.56179690855966e+02
3587.73/3597.01	c   First LP Iters   :       1920 (16478.00 Iter/sec)
3587.73/3597.01	c   First LP Time    :       0.12
3587.73/3597.01	c   Final Dual Bound : +1.69322774939188e+02
3587.73/3597.01	c   Final Root Iters :      21016
3587.73/3597.01	c   Root LP Estimate : +2.46878125986605e+02
3587.73/3597.01	c Solution           :
3587.73/3597.01	c   Solutions found  :       1235 (16 improvements)
3587.73/3597.01	c   First Solution   : +4.79000000000000e+02   (in run 1, after 0 nodes, 0.00 seconds, depth 0, found by <trivial>)
3587.73/3597.01	c   Gap First Sol.   :   infinite
3587.73/3597.01	c   Gap Last Sol.    :      13.52 %
3587.73/3597.01	c   Primal Bound     : +1.94000000000000e+02   (in run 2, after 6740 nodes, 824.41 seconds, depth 216, found by <pscostdiving>)
3587.73/3597.01	c   Dual Bound       : +1.71825710872852e+02
3587.73/3597.01	c   Gap              :      12.91 %
3587.73/3597.01	c Integrals          :      Total       Avg%
3587.73/3597.01	c   primal-dual      :   43116.96      11.99
3587.73/3597.01	c   primal-ref       :          -          - (not evaluated)
3587.73/3597.01	c   dual-ref         :          -          - (not evaluated)
3587.83/3597.17	c Time complete: 3587.9.

Verifier Data

OK	194

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: 64059 MiB (62614 MiB free)
  memory of node 1: 64510 MiB (61015 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=811296, runsolver pid=811293

[startup+0.100095 s]*
/proc/loadavg: 4.16 4.17 4.17 5/243 811297
/proc/meminfo: memFree=126561260/131655788 swapFree=131071996/131071996
[pid=811296] ppid=811293 vsize=63732 memory=25012 CPUtime=0.1 cores=4,6
/proc/811296/stat : 811296 (pbscip) R 811293 811296 807162 0 -1 4194304 2677 0 0 0 10 0 0 0 20 0 1 0 160018732 65261568 6253 134679101440 4194304 18693293 140734999925472 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 58974208 140734999933956 140734999934055 140734999934055 140734999941070 0
/proc/811296/statm: 15933 6253 3960 3540 0 4190 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 63732 KiB
Current children cumulated memory: 25012 KiB

[startup+0.212813 s]*
/proc/loadavg: 4.16 4.17 4.17 5/243 811297
/proc/meminfo: memFree=126519756/131655788 swapFree=131071996/131071996
[pid=811296] ppid=811293 vsize=79580 memory=40912 CPUtime=0.21 cores=4,6
/proc/811296/stat : 811296 (pbscip) R 811293 811296 807162 0 -1 4194304 6620 0 0 0 21 0 0 0 20 0 1 0 160018732 81489920 10228 134679101440 4194304 18693293 140734999925472 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 58974208 140734999933956 140734999934055 140734999934055 140734999941070 0
/proc/811296/statm: 19895 10228 3976 3540 0 8152 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 79580 KiB
Current children cumulated memory: 40912 KiB

[startup+0.312793 s]*
/proc/loadavg: 4.16 4.17 4.17 5/243 811297
/proc/meminfo: memFree=126498252/131655788 swapFree=131071996/131071996
[pid=811296] ppid=811293 vsize=86756 memory=48040 CPUtime=0.32 cores=4,6
/proc/811296/stat : 811296 (pbscip) R 811293 811296 807162 0 -1 4194304 8395 0 0 0 31 1 0 0 20 0 1 0 160018732 88838144 12010 134679101440 4194304 18693293 140734999925472 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 58974208 140734999933956 140734999934055 140734999934055 140734999941070 0
/proc/811296/statm: 21689 12010 3976 3540 0 9946 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 86756 KiB
Current children cumulated memory: 48040 KiB

[startup+0.700313 s]
/proc/loadavg: 4.16 4.17 4.17 5/243 811299
/proc/meminfo: memFree=126433600/131655788 swapFree=131071996/131071996
[pid=811296] ppid=811293 vsize=121432 memory=82344 CPUtime=0.69 cores=4,6
/proc/811296/stat : 811296 (pbscip) R 811293 811296 807162 0 -1 4194304 18112 0 0 0 66 3 0 0 20 0 1 0 160018732 124346368 20586 134679101440 4194304 18693293 140734999925472 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 58974208 140734999933956 140734999934055 140734999934055 140734999941070 0
/proc/811296/statm: 30358 20586 3976 3540 0 18615 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 121432 KiB
Current children cumulated memory: 82344 KiB

[startup+1.50029 s]
/proc/loadavg: 4.16 4.17 4.17 5/243 811299
/proc/meminfo: memFree=126308468/131655788 swapFree=131071996/131071996
[pid=811296] ppid=811293 vsize=197516 memory=154944 CPUtime=1.48 cores=4,6
/proc/811296/stat : 811296 (pbscip) R 811293 811296 807162 0 -1 4194304 36298 0 0 0 143 5 0 0 20 0 1 0 160018732 202256384 38736 134679101440 4194304 18693293 140734999925472 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 58974208 140734999933956 140734999934055 140734999934055 140734999941070 0
/proc/811296/statm: 49379 38736 3976 3540 0 37636 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 197516 KiB
Current children cumulated memory: 154944 KiB

[startup+3.11335 s]
/proc/loadavg: 4.15 4.17 4.17 5/243 811299
/proc/meminfo: memFree=126249768/131655788 swapFree=131071996/131071996
[pid=811296] ppid=811293 vsize=201284 memory=158436 CPUtime=3.09 cores=4,6
/proc/811296/stat : 811296 (pbscip) R 811293 811296 807162 0 -1 4194304 37144 0 0 0 304 5 0 0 20 0 1 0 160018732 206114816 39609 134679101440 4194304 18693293 140734999925472 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 58974208 140734999933956 140734999934055 140734999934055 140734999941070 0
/proc/811296/statm: 50321 39609 3992 3540 0 38578 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 201284 KiB
Current children cumulated memory: 158436 KiB

[startup+6.30025 s]
/proc/loadavg: 4.15 4.17 4.17 5/243 811299
/proc/meminfo: memFree=126249828/131655788 swapFree=131071996/131071996
[pid=811296] ppid=811293 vsize=201284 memory=158436 CPUtime=6.27 cores=4,6
/proc/811296/stat : 811296 (pbscip) R 811293 811296 807162 0 -1 4194304 37144 0 0 0 622 5 0 0 20 0 1 0 160018732 206114816 39609 134679101440 4194304 18693293 140734999925472 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 58974208 140734999933956 140734999934055 140734999934055 140734999941070 0
/proc/811296/statm: 50321 39609 3992 3540 0 38578 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 201284 KiB
Current children cumulated memory: 158436 KiB

[startup+12.7002 s]
/proc/loadavg: 4.14 4.16 4.17 5/243 811300
/proc/meminfo: memFree=126238916/131655788 swapFree=131071996/131071996
[pid=811296] ppid=811293 vsize=201284 memory=158436 CPUtime=12.66 cores=4,6
/proc/811296/stat : 811296 (pbscip) R 811293 811296 807162 0 -1 4194304 37147 0 0 0 1261 5 0 0 20 0 1 0 160018732 206114816 39609 134679101440 4194304 18693293 140734999925472 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 58974208 140734999933956 140734999934055 140734999934055 140734999941070 0
/proc/811296/statm: 50321 39609 3992 3540 0 38578 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 201284 KiB
Current children cumulated memory: 158436 KiB

[startup+25.5003 s]
/proc/loadavg: 4.11 4.15 4.16 5/243 811303
/proc/meminfo: memFree=126057136/131655788 swapFree=131071996/131071996
[pid=811296] ppid=811293 vsize=267420 memory=222844 CPUtime=25.43 cores=4,6
/proc/811296/stat : 811296 (pbscip) R 811293 811296 807162 0 -1 4194304 53272 0 0 0 2535 8 0 0 20 0 1 0 160018732 273838080 55711 134679101440 4194304 18693293 140734999925472 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 58974208 140734999933956 140734999934055 140734999934055 140734999941070 0
/proc/811296/statm: 66855 55711 3992 3540 0 55112 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 267420 KiB
Current children cumulated memory: 222844 KiB

[startup+51.1131 s]
/proc/loadavg: 4.13 4.16 4.16 5/243 811307
/proc/meminfo: memFree=126044648/131655788 swapFree=131071996/131071996
[pid=811296] ppid=811293 vsize=263796 memory=219468 CPUtime=50.97 cores=4,6
/proc/811296/stat : 811296 (pbscip) R 811293 811296 807162 0 -1 4194304 53507 0 0 0 5087 10 0 0 20 0 1 0 160018732 270127104 54867 134679101440 4194304 18693293 140734999925472 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 58974208 140734999933956 140734999934055 140734999934055 140734999941070 0
/proc/811296/statm: 65949 54867 3992 3540 0 54206 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 263796 KiB
Current children cumulated memory: 219468 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.15 4.16 5/243 811317
/proc/meminfo: memFree=126007732/131655788 swapFree=131071996/131071996
[pid=811296] ppid=811293 vsize=264628 memory=220200 CPUtime=102.04 cores=4,6
/proc/811296/stat : 811296 (pbscip) R 811293 811296 807162 0 -1 4194304 53948 0 0 0 10193 11 0 0 20 0 1 0 160018732 270979072 55050 134679101440 4194304 18693293 140734999925472 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 58974208 140734999933956 140734999934055 140734999934055 140734999941070 0
/proc/811296/statm: 66157 55050 3992 3540 0 54414 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 264628 KiB
Current children cumulated memory: 220200 KiB

[startup+162.3 s]
/proc/loadavg: 4.20 4.16 4.17 5/243 811711
/proc/meminfo: memFree=125696372/131655788 swapFree=131071996/131071996
[pid=811296] ppid=811293 vsize=280592 memory=239424 CPUtime=161.9 cores=4,6
/proc/811296/stat : 811296 (pbscip) R 811293 811296 807162 0 -1 4194304 59788 0 0 0 16178 12 0 0 20 0 1 0 160018732 287326208 59856 134679101440 4194304 18693293 140734999925472 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 58974208 140734999933956 140734999934055 140734999934055 140734999941070 0
/proc/811296/statm: 70148 59856 4015 3540 0 58405 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 280592 KiB
Current children cumulated memory: 239424 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.15 4.16 5/243 811722
/proc/meminfo: memFree=125638320/131655788 swapFree=131071996/131071996
[pid=811296] ppid=811293 vsize=328532 memory=287724 CPUtime=221.75 cores=4,6
/proc/811296/stat : 811296 (pbscip) R 811293 811296 807162 0 -1 4194304 71881 0 0 0 22161 14 0 0 20 0 1 0 160018732 336416768 71931 134679101440 4194304 18693293 140734999925472 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 58974208 140734999933956 140734999934055 140734999934055 140734999941070 0
/proc/811296/statm: 82133 71931 4015 3540 0 70390 0
Current children cumulated CPU time: 221.75 s
Current children cumulated vsize: 328532 KiB
Current children cumulated memory: 287724 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.13 4.15 5/243 811733
/proc/meminfo: memFree=125596692/131655788 swapFree=131071996/131071996
[pid=811296] ppid=811293 vsize=368332 memory=327576 CPUtime=281.6 cores=4,6
/proc/811296/stat : 811296 (pbscip) R 811293 811296 807162 0 -1 4194304 81822 0 0 0 28144 16 0 0 20 0 1 0 160018732 377171968 81894 134679101440 4194304 18693293 140734999925472 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 58974208 140734999933956 140734999934055 140734999934055 140734999941070 0
/proc/811296/statm: 92083 81894 4015 3540 0 80340 0
Current children cumulated CPU time: 281.6 s
Current children cumulated vsize: 368332 KiB
Current children cumulated memory: 327576 KiB

[startup+342.3 s]
/proc/loadavg: 4.15 4.14 4.15 5/245 811913
/proc/meminfo: memFree=125587616/131655788 swapFree=131071996/131071996
[pid=811296] ppid=811293 vsize=372416 memory=331008 CPUtime=341.46 cores=4,6
/proc/811296/stat : 811296 (pbscip) R 811293 811296 807162 0 -1 4194304 82705 0 0 0 34129 17 0 0 20 0 1 0 160018732 381353984 82752 134679101440 4194304 18693293 140734999925472 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 58974208 140734999933956 140734999934055 140734999934055 140734999941070 0
/proc/811296/statm: 93104 82752 4015 3540 0 81361 0
Current children cumulated CPU time: 341.46 s
Current children cumulated vsize: 372416 KiB
Current children cumulated memory: 331008 KiB

[startup+402.3 s]
/proc/loadavg: 4.17 4.14 4.15 5/245 811923
/proc/meminfo: memFree=125582824/131655788 swapFree=131071996/131071996
[pid=811296] ppid=811293 vsize=372416 memory=331272 CPUtime=401.32 cores=4,6
/proc/811296/stat : 811296 (pbscip) R 811293 811296 807162 0 -1 4194304 82734 0 0 0 40115 17 0 0 20 0 1 0 160018732 381353984 82818 134679101440 4194304 18693293 140734999925472 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 58974208 140734999933956 140734999934055 140734999934055 140734999941070 0
/proc/811296/statm: 93104 82818 4015 3540 0 81361 0
Current children cumulated CPU time: 401.32 s
Current children cumulated vsize: 372416 KiB
Current children cumulated memory: 331272 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 4.13 4.15 5/243 811990
/proc/meminfo: memFree=125577540/131655788 swapFree=131071996/131071996
[pid=811296] ppid=811293 vsize=372416 memory=331272 CPUtime=461.17 cores=4,6
/proc/811296/stat : 811296 (pbscip) R 811293 811296 807162 0 -1 4194304 82739 0 0 0 46100 17 0 0 20 0 1 0 160018732 381353984 82818 134679101440 4194304 18693293 140734999925472 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 58974208 140734999933956 140734999934055 140734999934055 140734999941070 0
/proc/811296/statm: 93104 82818 4015 3540 0 81361 0

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

/proc/loadavg: 4.17 4.15 4.16 5/242 813645
/proc/meminfo: memFree=125320920/131655788 swapFree=131071996/131071996
[pid=811296] ppid=811293 vsize=443332 memory=406876 CPUtime=3214.11 cores=4,6
/proc/811296/stat : 811296 (pbscip) R 811293 811296 807162 0 -1 4194304 106650 0 0 0 321388 23 0 0 20 0 1 0 160018732 453971968 101719 134679101440 4194304 18693293 140734999925472 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 58974208 140734999933956 140734999934055 140734999934055 140734999941070 0
/proc/811296/statm: 110833 101719 4015 3540 0 99090 0
Current children cumulated CPU time: 3214.11 s
Current children cumulated vsize: 443332 KiB
Current children cumulated memory: 406876 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.14 4.15 5/242 813655
/proc/meminfo: memFree=125319536/131655788 swapFree=131071996/131071996
[pid=811296] ppid=811293 vsize=443332 memory=406900 CPUtime=3273.93 cores=4,6
/proc/811296/stat : 811296 (pbscip) R 811293 811296 807162 0 -1 4194304 106815 0 0 0 327370 23 0 0 20 0 1 0 160018732 453971968 101725 134679101440 4194304 18693293 140734999925472 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 58974208 140734999933956 140734999934055 140734999934055 140734999941070 0
/proc/811296/statm: 110833 101725 4015 3540 0 99090 0
Current children cumulated CPU time: 3273.93 s
Current children cumulated vsize: 443332 KiB
Current children cumulated memory: 406900 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.12 4.14 5/242 813665
/proc/meminfo: memFree=125313040/131655788 swapFree=131071996/131071996
[pid=811296] ppid=811293 vsize=444216 memory=407784 CPUtime=3333.76 cores=4,6
/proc/811296/stat : 811296 (pbscip) R 811293 811296 807162 0 -1 4194304 107198 0 0 0 333353 23 0 0 20 0 1 0 160018732 454877184 101946 134679101440 4194304 18693293 140734999925472 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 58974208 140734999933956 140734999934055 140734999934055 140734999941070 0
/proc/811296/statm: 111054 101946 4015 3540 0 99311 0
Current children cumulated CPU time: 3333.76 s
Current children cumulated vsize: 444216 KiB
Current children cumulated memory: 407784 KiB

[startup+3402.3 s]
/proc/loadavg: 4.65 4.26 4.19 5/241 813675
/proc/meminfo: memFree=125311948/131655788 swapFree=131071996/131071996
[pid=811296] ppid=811293 vsize=444592 memory=408276 CPUtime=3393.59 cores=4,6
/proc/811296/stat : 811296 (pbscip) R 811293 811296 807162 0 -1 4194304 107483 0 0 0 339336 23 0 0 20 0 1 0 160018732 455262208 102069 134679101440 4194304 18693293 140734999925472 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 58974208 140734999933956 140734999934055 140734999934055 140734999941070 0
/proc/811296/statm: 111148 102069 4015 3540 0 99405 0
Current children cumulated CPU time: 3393.59 s
Current children cumulated vsize: 444592 KiB
Current children cumulated memory: 408276 KiB

[startup+3462.3 s]
/proc/loadavg: 4.55 4.33 4.22 5/244 813691
/proc/meminfo: memFree=125298568/131655788 swapFree=131071996/131071996
[pid=811296] ppid=811293 vsize=449828 memory=412468 CPUtime=3453.41 cores=4,6
/proc/811296/stat : 811296 (pbscip) R 811293 811296 807162 0 -1 4194304 108665 0 0 0 345318 23 0 0 20 0 1 0 160018732 460623872 103117 134679101440 4194304 18693293 140734999925472 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 58974208 140734999933956 140734999934055 140734999934055 140734999941070 0
/proc/811296/statm: 112457 103117 4015 3540 0 100714 0
Current children cumulated CPU time: 3453.41 s
Current children cumulated vsize: 449828 KiB
Current children cumulated memory: 412468 KiB

[startup+3522.3 s]
/proc/loadavg: 4.32 4.30 4.21 5/244 813701
/proc/meminfo: memFree=125296664/131655788 swapFree=131071996/131071996
[pid=811296] ppid=811293 vsize=449828 memory=412468 CPUtime=3513.24 cores=4,6
/proc/811296/stat : 811296 (pbscip) R 811293 811296 807162 0 -1 4194304 108815 0 0 0 351301 23 0 0 20 0 1 0 160018732 460623872 103117 134679101440 4194304 18693293 140734999925472 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 58974208 140734999933956 140734999934055 140734999934055 140734999941070 0
/proc/811296/statm: 112457 103117 4015 3540 0 100714 0
Current children cumulated CPU time: 3513.24 s
Current children cumulated vsize: 449828 KiB
Current children cumulated memory: 412468 KiB

[startup+3582.3 s]
/proc/loadavg: 4.18 4.26 4.20 5/244 813711
/proc/meminfo: memFree=125295092/131655788 swapFree=131071996/131071996
[pid=811296] ppid=811293 vsize=449828 memory=412496 CPUtime=3573.07 cores=4,6
/proc/811296/stat : 811296 (pbscip) R 811293 811296 807162 0 -1 4194304 108983 0 0 0 357284 23 0 0 20 0 1 0 160018732 460623872 103124 134679101440 4194304 18693293 140734999925472 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 58974208 140734999933956 140734999934055 140734999934055 140734999941070 0
/proc/811296/statm: 112457 103124 4015 3540 0 100714 0
Current children cumulated CPU time: 3573.07 s
Current children cumulated vsize: 449828 KiB
Current children cumulated memory: 412496 KiB

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

# cumulated CPU time of all completed processes:  user=3587.67 s, system=0.240777 s

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

[startup+3584 s]*
/proc/loadavg: 4.16 4.25 4.20 5/244 813711
/proc/meminfo: memFree=125295100/131655788 swapFree=131071996/131071996
[pid=811296] ppid=811293 vsize=449828 memory=412496 CPUtime=3574.77 cores=4,6
/proc/811296/stat : 811296 (pbscip) R 811293 811296 807162 0 -1 4194304 109025 0 0 0 357454 23 0 0 20 0 1 0 160018732 460623872 103124 134679101440 4194304 18693293 140734999925472 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 58974208 140734999933956 140734999934055 140734999934055 140734999941070 0
/proc/811296/statm: 112457 103124 4015 3540 0 100714 0
Current children cumulated CPU time: 3574.77 s
Current children cumulated vsize: 449828 KiB
Current children cumulated memory: 412496 KiB

[startup+3590.4 s]
/proc/loadavg: 4.15 4.25 4.20 5/244 813711
/proc/meminfo: memFree=125295088/131655788 swapFree=131071996/131071996
[pid=811296] ppid=811293 vsize=449828 memory=412496 CPUtime=3581.14 cores=4,6
/proc/811296/stat : 811296 (pbscip) R 811293 811296 807162 0 -1 4194304 109027 0 0 0 358091 23 0 0 20 0 1 0 160018732 460623872 103124 134679101440 4194304 18693293 140734999925472 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 58974208 140734999933956 140734999934055 140734999934055 140734999941070 0
/proc/811296/statm: 112457 103124 4015 3540 0 100714 0
Current children cumulated CPU time: 3581.14 s
Current children cumulated vsize: 449828 KiB
Current children cumulated memory: 412496 KiB

[startup+3593.6 s]
/proc/loadavg: 4.15 4.25 4.20 5/244 813713
/proc/meminfo: memFree=125295012/131655788 swapFree=131071996/131071996
[pid=811296] ppid=811293 vsize=449828 memory=412496 CPUtime=3584.33 cores=4,6
/proc/811296/stat : 811296 (pbscip) R 811293 811296 807162 0 -1 4194304 109027 0 0 0 358410 23 0 0 20 0 1 0 160018732 460623872 103124 134679101440 4194304 18693293 140734999925472 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 58974208 140734999933956 140734999934055 140734999934055 140734999941070 0
/proc/811296/statm: 112457 103124 4015 3540 0 100714 0
Current children cumulated CPU time: 3584.33 s
Current children cumulated vsize: 449828 KiB
Current children cumulated memory: 412496 KiB

[startup+3595.2 s]
/proc/loadavg: 4.14 4.24 4.20 5/244 813713
/proc/meminfo: memFree=125292872/131655788 swapFree=131071996/131071996
[pid=811296] ppid=811293 vsize=449828 memory=412496 CPUtime=3585.93 cores=4,6
/proc/811296/stat : 811296 (pbscip) R 811293 811296 807162 0 -1 4194304 109027 0 0 0 358570 23 0 0 20 0 1 0 160018732 460623872 103124 134679101440 4194304 18693293 140734999925472 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 58974208 140734999933956 140734999934055 140734999934055 140734999941070 0
/proc/811296/statm: 112457 103124 4015 3540 0 100714 0
Current children cumulated CPU time: 3585.93 s
Current children cumulated vsize: 449828 KiB
Current children cumulated memory: 412496 KiB

[startup+3596 s]*
/proc/loadavg: 4.14 4.24 4.20 3/230 813775
/proc/meminfo: memFree=126060408/131655788 swapFree=131071996/131071996
[pid=811296] ppid=811293 vsize=449828 memory=412496 CPUtime=3586.74 cores=4,6
/proc/811296/stat : 811296 (pbscip) R 811293 811296 807162 0 -1 4194304 109027 0 0 0 358651 23 0 0 20 0 1 0 160018732 460623872 103124 134679101440 4194304 18693293 140734999925472 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 58974208 140734999933956 140734999934055 140734999934055 140734999941070 0
/proc/811296/statm: 112457 103124 4015 3540 0 100714 0
Current children cumulated CPU time: 3586.74 s
Current children cumulated vsize: 449828 KiB
Current children cumulated memory: 412496 KiB

[startup+3596.8 s]
/proc/loadavg: 4.14 4.24 4.20 3/230 813775
/proc/meminfo: memFree=126060408/131655788 swapFree=131071996/131071996
[pid=811296] ppid=811293 vsize=449828 memory=412496 CPUtime=3587.52 cores=4,6
/proc/811296/stat : 811296 (pbscip) R 811293 811296 807162 0 -1 4194304 109027 0 0 0 358729 23 0 0 20 0 1 0 160018732 460623872 103124 134679101440 4194304 18693293 140734999925472 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 58974208 140734999933956 140734999934055 140734999934055 140734999941070 0
/proc/811296/statm: 112457 103124 4015 3540 0 100714 0
Current children cumulated CPU time: 3587.52 s
Current children cumulated vsize: 449828 KiB
Current children cumulated memory: 412496 KiB

[startup+3597 s]*
/proc/loadavg: 4.14 4.24 4.20 3/230 813775
/proc/meminfo: memFree=126060544/131655788 swapFree=131071996/131071996
[pid=811296] ppid=811293 vsize=449828 memory=412496 CPUtime=3587.73 cores=4,6
/proc/811296/stat : 811296 (pbscip) R 811293 811296 807162 0 -1 4194304 109027 0 0 0 358750 23 0 0 20 0 1 0 160018732 460623872 103124 134679101440 4194304 18693293 140734999925472 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 58974208 140734999933956 140734999934055 140734999934055 140734999941070 0
/proc/811296/statm: 112457 103124 4015 3540 0 100714 0
Current children cumulated CPU time: 3587.73 s
Current children cumulated vsize: 449828 KiB
Current children cumulated memory: 412496 KiB

[startup+3597.11 s]
/proc/loadavg: 4.14 4.24 4.20 3/230 813775
/proc/meminfo: memFree=126060544/131655788 swapFree=131071996/131071996
[pid=811296] ppid=811293 vsize=448800 memory=411472 CPUtime=3587.83 cores=4,6
/proc/811296/stat : 811296 (pbscip) R 811293 811296 807162 0 -1 4194304 109028 0 0 0 358760 23 0 0 20 0 1 0 160018732 459571200 102868 134679101440 4194304 18693293 140734999925472 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 58974208 140734999933956 140734999934055 140734999934055 140734999941070 0
/proc/811296/statm: 112200 102868 4015 3540 0 100457 0
Current children cumulated CPU time: 3587.83 s
Current children cumulated vsize: 448800 KiB
Current children cumulated memory: 411472 KiB

Child status: 0

Real time (s): 3597.17
CPU time (s): 3587.91
CPU user time (s): 3587.67
CPU system time (s): 0.240777
CPU usage (%): 99.7424
Max. virtual memory (cumulated for all children) (KiB): 449828
Max. memory (cumulated for all children) (KiB): 412496

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.67
system time used= 0.240777
maximum resident set size= 412496
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 109050
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= 39
involuntary context switches= 2516


# summary of solver processes directly reported to runsolver:
#   pid: 811296
#   total CPU time (s): 3587.91
#   total CPU user time (s): 3587.67
#   total CPU system time (s): 0.240777

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.3524 second user time and 33.1038 second system time

The end

Launcher Data

Begin job on nodeC012 at 2024-07-15 23:23:50
IDJOB=4432636
IDBENCH=147541
IDSOLVER=3059
FILE ID=nodeC012/4432636-1721078617
RUNJOBID= nodeC012-1721071433-807173
SLURM_JOB_ID= 7505533
Free space on /tmp= 723720 MiB

SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_23.opb.PB06.opb
COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432636-1721078617/watcher-4432636-1721078617 -o /tmp/evaluation-result-4432636-1721078617/solver-4432636-1721078617 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721071433-807173 --watchdog 3760  pbscip -f HOME/instance-4432636-1721078617.opb -t 3600 -j 2 -m 31000

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

MD5SUM BENCH= 1da12ebdd4ab5e725928f3bf845b8b1e
RANDOM SEED=1081255693

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 2993.303
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.37
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		: 3669.785
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.32
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.551
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.37
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		: 1197.476
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.32
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		: 3492.206
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.37
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		: 2793.749
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.32
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.323
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.37
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.492
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        126608792 kB
MemAvailable:   129709736 kB
Buffers:          378184 kB
Cached:          3528244 kB
SwapCached:            0 kB
Active:           626520 kB
Inactive:        3817876 kB
Active(anon):       1440 kB
Inactive(anon):   573964 kB
Active(file):     625080 kB
Inactive(file):  3243912 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             75152 kB
Writeback:            32 kB
AnonPages:        537892 kB
Mapped:           137900 kB
Shmem:             37704 kB
KReclaimable:     143964 kB
Slab:             246200 kB
SReclaimable:     143964 kB
SUnreclaim:       102236 kB
KernelStack:        3884 kB
PageTables:        10288 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     888188 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            51520 kB
HardwareCorrupted:     0 kB
AnonHugePages:    212992 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      275272 kB
DirectMap2M:    24795136 kB
DirectMap1G:    111149056 kB

Free space on /tmp at the end= 723740 MiB
End job on nodeC012 at 2024-07-16 00:23:48