Trace number 4432570

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-07? 3588.16 3598.08

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-blp-ir98.opb
MD5SUM1ab00a09bce4fe90071f9bd51d0e1c65
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 benchmark1081565440
Best CPU time to get the best result obtained on this benchmark3600.22
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7287
Total number of constraints529
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)420
Number of constraints which are nor clauses,nor cardinality constraints109
Minimum length of a constraint3
Maximum length of a constraint6062
Number of terms in the objective function 31
Biggest coefficient in the objective function 1073741824
Number of bits for the biggest coefficient in the objective function 31
Sum of the numbers in the objective function 2147483647
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 83886080000000
Number of bits of the biggest number in a constraint 47
Biggest sum of numbers in a constraint 400587756783443
Number of bits of the biggest sum of numbers49
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 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-4432570-1721061635.opb>
0.00/0.03	c original problem has 7287 variables (7287 bin, 0 int, 0 impl, 0 cont) and 529 constraints
0.00/0.03	c problem read in 0.03
0.00/0.05	c presolving:
0.00/0.09	c (round 1, fast)       779 del vars, 0 del conss, 61 add conss, 132 chg bounds, 49 chg sides, 49 chg coeffs, 0 upgd conss, 0 impls, 556 clqs
0.09/0.11	c (round 2, fast)       779 del vars, 2 del conss, 61 add conss, 132 chg bounds, 11528 chg sides, 17298 chg coeffs, 0 upgd conss, 0 impls, 556 clqs
0.09/0.13	c    (0.1s) running MILP presolver
0.09/0.15	c    (0.2s) MILP presolver (2 rounds): 0 aggregations, 1 fixings, 0 bound changes
0.09/0.17	c (round 3, exhaustive) 780 del vars, 5 del conss, 62 add conss, 132 chg bounds, 11531 chg sides, 17298 chg coeffs, 0 upgd conss, 0 impls, 536 clqs
0.09/0.17	c (round 4, fast)       780 del vars, 5 del conss, 62 add conss, 132 chg bounds, 15220 chg sides, 20987 chg coeffs, 0 upgd conss, 0 impls, 536 clqs
0.09/0.19	c (round 5, exhaustive) 780 del vars, 5 del conss, 62 add conss, 132 chg bounds, 15220 chg sides, 20987 chg coeffs, 503 upgd conss, 0 impls, 536 clqs
0.09/0.20	c (round 6, fast)       780 del vars, 5 del conss, 62 add conss, 132 chg bounds, 15220 chg sides, 21084 chg coeffs, 503 upgd conss, 0 impls, 536 clqs
0.09/0.20	c (round 7, medium)     780 del vars, 40 del conss, 159 add conss, 132 chg bounds, 15220 chg sides, 21084 chg coeffs, 503 upgd conss, 0 impls, 536 clqs
0.59/0.66	c    (0.7s) sparsify aborted: 328/79774 (0.4%) nonzeros canceled - in total 328 canceled nonzeros, 2696 changed coefficients, 0 added nonzeros
0.59/0.66	c (round 8, exhaustive) 780 del vars, 40 del conss, 159 add conss, 132 chg bounds, 15220 chg sides, 23780 chg coeffs, 503 upgd conss, 0 impls, 536 clqs
0.59/0.66	c (round 9, fast)       783 del vars, 40 del conss, 160 add conss, 135 chg bounds, 15220 chg sides, 23780 chg coeffs, 503 upgd conss, 0 impls, 536 clqs
0.59/0.66	c (round 10, fast)       783 del vars, 40 del conss, 160 add conss, 135 chg bounds, 15655 chg sides, 24215 chg coeffs, 503 upgd conss, 0 impls, 536 clqs
0.59/0.66	c (round 11, exhaustive) 783 del vars, 40 del conss, 160 add conss, 135 chg bounds, 15656 chg sides, 24215 chg coeffs, 503 upgd conss, 0 impls, 536 clqs
0.59/0.66	c (round 12, exhaustive) 783 del vars, 40 del conss, 160 add conss, 135 chg bounds, 15656 chg sides, 24215 chg coeffs, 504 upgd conss, 0 impls, 536 clqs
1.09/1.13	c    (1.1s) probing: 51/6504 (0.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.09/1.13	c    (1.1s) probing aborted: 50/50 successive totally useless probings
1.09/1.14	c    (1.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
1.09/1.17	c    (1.2s) symmetry computation finished: 1 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.00)
1.09/1.18	c dynamic symmetry handling statistics:
1.09/1.18	c    orbitopal reduction:       no components
1.09/1.18	c    orbital reduction:         no components
1.09/1.18	c    lexicographic reduction:    1 permutations with support sizes 6
1.09/1.18	c handled 1 out of 1 symmetry components
1.19/1.20	c presolving (13 rounds: 13 fast, 7 medium, 6 exhaustive):
1.19/1.20	c  783 deleted vars, 40 deleted constraints, 160 added constraints, 135 tightened bounds, 0 added holes, 15656 changed sides, 24215 changed coefficients
1.19/1.20	c  0 implications, 536 cliques
1.19/1.20	c presolved problem has 6504 variables (6504 bin, 0 int, 0 impl, 0 cont) and 649 constraints
1.19/1.20	c     517 constraints of type <setppc>
1.19/1.20	c      83 constraints of type <linear>
1.19/1.20	c      49 constraints of type <logicor>
1.19/1.20	c transformed objective value is always integral (scale: 128)
1.19/1.20	c Presolving Time: 1.16
1.19/1.20	c - non default parameters ----------------------------------------------------------------------
1.19/1.20	c # SCIP version 10.0.0
1.19/1.20	c 
1.19/1.20	c # maximal time in seconds to run
1.19/1.20	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
1.19/1.20	c limits/time = 3596.998054
1.19/1.20	c 
1.19/1.20	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.19/1.20	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
1.19/1.20	c limits/memory = 27900
1.19/1.20	c 
1.19/1.20	c # belongs reading time to solving time?
1.19/1.20	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
1.19/1.20	c timing/reading = TRUE
1.19/1.20	c 
1.19/1.20	c -----------------------------------------------------------------------------------------------
1.19/1.20	c start solving
1.19/1.20	c 
1.99/2.03	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1.99/2.03	c   2.0s|     1 |     0 |  1554 |     - |   147M |   0 |6504 | 724 | 649 |   0 |  0 |  75 |   0 | 1.076030e+09 |      --      |    Inf | unknown
2.68/2.78	c   2.8s|     1 |     0 |  1821 |     - |   170M |   0 |6504 | 724 | 685 |  36 |  1 |  75 |   0 | 1.076042e+09 |      --      |    Inf | unknown
3.18/3.21	c   3.2s|     1 |     0 |  1878 |     - |   175M |   0 |6504 | 724 | 717 |  68 |  2 |  75 |   0 | 1.076046e+09 |      --      |    Inf | unknown
3.58/3.62	c   3.6s|     1 |     0 |  1909 |     - |   176M |   0 |6504 | 724 | 740 |  91 |  3 |  75 |   0 | 1.076048e+09 |      --      |    Inf | unknown
3.98/4.05	c   4.0s|     1 |     0 |  1965 |     - |   184M |   0 |6504 | 724 | 764 | 115 |  4 |  75 |   0 | 1.076053e+09 |      --      |    Inf | unknown
4.38/4.48	c   4.5s|     1 |     0 |  2026 |     - |   185M |   0 |6504 | 724 | 787 | 138 |  5 |  75 |   0 | 1.076060e+09 |      --      |    Inf | unknown
4.87/4.94	c   4.9s|     1 |     0 |  2149 |     - |   192M |   0 |6504 | 724 | 809 | 160 |  6 |  75 |   0 | 1.076074e+09 |      --      |    Inf | unknown
5.27/5.37	c   5.4s|     1 |     0 |  2240 |     - |   194M |   0 |6504 | 724 | 828 | 179 |  7 |  75 |   0 | 1.076077e+09 |      --      |    Inf | unknown
5.77/5.82	c   5.8s|     1 |     0 |  2315 |     - |   197M |   0 |6504 | 724 | 849 | 200 |  8 |  75 |   0 | 1.076078e+09 |      --      |    Inf | unknown
6.17/6.27	c   6.3s|     1 |     0 |  2364 |     - |   200M |   0 |6504 | 724 | 866 | 217 |  9 |  75 |   0 | 1.076080e+09 |      --      |    Inf | unknown
6.67/6.71	c   6.7s|     1 |     0 |  2413 |     - |   203M |   0 |6504 | 724 | 883 | 234 | 10 |  75 |   0 | 1.076080e+09 |      --      |    Inf | unknown
7.07/7.16	c   7.2s|     1 |     0 |  2458 |     - |   207M |   0 |6504 | 724 | 899 | 250 | 11 |  75 |   0 | 1.076081e+09 |      --      |    Inf | unknown
7.56/7.60	c   7.6s|     1 |     0 |  2568 |     - |   210M |   0 |6504 | 724 | 827 | 265 | 12 |  75 |   0 | 1.076082e+09 |      --      |    Inf | unknown
7.97/8.04	c   8.0s|     1 |     0 |  2633 |     - |   216M |   0 |6504 | 724 | 847 | 285 | 13 |  75 |   0 | 1.076083e+09 |      --      |    Inf | unknown
8.47/8.50	c   8.5s|     1 |     0 |  2744 |     - |   220M |   0 |6504 | 724 | 860 | 298 | 14 |  75 |   0 | 1.076085e+09 |      --      |    Inf | unknown
8.87/8.96	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
8.87/8.96	c   9.0s|     1 |     0 |  2830 |     - |   226M |   0 |6504 | 720 | 877 | 315 | 15 |  75 |   0 | 1.076086e+09 |      --      |    Inf | unknown
9.36/9.40	c   9.4s|     1 |     0 |  2871 |     - |   229M |   0 |6504 | 720 | 895 | 333 | 16 |  75 |   0 | 1.076086e+09 |      --      |    Inf | unknown
9.76/9.86	c   9.9s|     1 |     0 |  2965 |     - |   235M |   0 |6504 | 720 | 912 | 350 | 17 |  75 |   0 | 1.076088e+09 |      --      |    Inf | unknown
10.16/10.29	c  10.3s|     1 |     0 |  3061 |     - |   238M |   0 |6504 | 720 | 828 | 363 | 18 |  75 |   0 | 1.076089e+09 |      --      |    Inf | unknown
10.56/10.65	c  10.7s|     1 |     0 |  3291 |     - |   238M |   0 |6504 | 720 | 837 | 372 | 19 |  75 |   0 | 1.076095e+09 |      --      |    Inf | unknown
10.96/11.08	c  11.1s|     1 |     0 |  3483 |     - |   248M |   0 |6504 | 720 | 856 | 391 | 20 |  75 |   0 | 1.076098e+09 |      --      |    Inf | unknown
11.35/11.49	c  11.5s|     1 |     0 |  3535 |     - |   252M |   0 |6504 | 720 | 868 | 403 | 21 |  75 |   0 | 1.076098e+09 |      --      |    Inf | unknown
11.85/11.95	c  11.9s|     1 |     0 |  3608 |     - |   254M |   0 |6504 | 720 | 880 | 415 | 22 |  75 |   0 | 1.076098e+09 |      --      |    Inf | unknown
12.35/12.41	c  12.4s|     1 |     0 |  3677 |     - |   260M |   0 |6504 | 720 | 892 | 427 | 23 |  75 |   0 | 1.076100e+09 |      --      |    Inf | unknown
13.06/13.11	c  13.1s|     1 |     0 |  5128 |     - |   267M |   0 |6504 | 720 | 827 | 437 | 24 |  75 |   0 | 1.076100e+09 |      --      |    Inf | unknown
13.45/13.59	c  13.6s|     1 |     0 |  5175 |     - |   275M |   0 |6504 | 720 | 838 | 448 | 25 |  75 |   0 | 1.076100e+09 |      --      |    Inf | unknown
14.14/14.28	c  14.3s|     1 |     0 |  6899 |     - |   280M |   0 |6504 | 720 | 841 | 451 | 26 |  75 |   0 | 1.076100e+09 |      --      |    Inf | unknown
14.65/14.74	c  14.7s|     1 |     0 |  6927 |     - |   286M |   0 |6504 | 720 | 812 | 458 | 27 |  75 |   0 | 1.076100e+09 |      --      |    Inf | unknown
15.05/15.19	c  15.2s|     1 |     0 |  6939 |     - |   289M |   0 |6504 | 720 | 815 | 461 | 28 |  75 |   0 | 1.076100e+09 |      --      |    Inf | unknown
15.54/15.66	c  15.7s|     1 |     0 |  6950 |     - |   298M |   0 |6504 | 720 | 818 | 464 | 29 |  75 |   0 | 1.076100e+09 |      --      |    Inf | unknown
15.94/16.01	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
15.94/16.01	c  16.0s|     1 |     0 |  6954 |     - |   299M |   0 |6504 | 720 | 821 | 467 | 30 |  75 |   0 | 1.076100e+09 |      --      |    Inf | unknown
16.24/16.35	c  16.3s|     1 |     0 |  6957 |     - |   299M |   0 |6504 | 720 | 822 | 468 | 31 |  75 |   0 | 1.076100e+09 |      --      |    Inf | unknown
18.33/18.49	c  18.5s|     1 |     2 | 12533 |     - |   299M |   0 |6504 | 722 | 822 | 468 | 32 |  84 |  14 | 1.076101e+09 |      --      |    Inf | unknown
36.47/36.69	c  36.7s|   100 |    97 | 20044 | 132.2 |   366M |  18 |6504 | 807 | 660 | 748 |  1 | 503 | 920 | 1.076107e+09 |      --      |    Inf | unknown
50.22/50.42	c  50.4s|   200 |   197 | 40775 | 169.9 |   383M |  23 |6504 | 828 | 680 |1140 |  1 | 540 |1321 | 1.076111e+09 |      --      |    Inf | unknown
57.50/57.79	c  57.8s|   300 |   297 | 55530 | 162.5 |   376M |  37 |6504 | 824 | 681 |1318 |  1 | 554 |1465 | 1.076111e+09 |      --      |    Inf | unknown
63.58/63.82	c  63.8s|   400 |   389 | 67057 | 150.6 |   376M |  37 |6504 | 834 | 696 |1479 |  1 | 571 |1572 | 1.076111e+09 |      --      |    Inf | unknown
67.46/67.74	c  67.7s|   500 |   483 | 74588 | 135.5 |   377M |  47 |6504 | 877 | 693 |1632 |  1 | 617 |1649 | 1.076111e+09 |      --      |    Inf | unknown
72.25/72.51	c  72.5s|   600 |   583 | 86956 | 133.6 |   379M |  47 |6504 | 896 | 694 |1784 |  1 | 649 |1735 | 1.076111e+09 |      --      |    Inf | unknown
75.74/76.02	c  76.0s|   700 |   679 | 97165 | 129.1 |   380M |  51 |6504 | 910 | 724 |1948 |  4 | 676 |1807 | 1.076111e+09 |      --      |    Inf | unknown
80.13/80.44	c  80.4s|   800 |   779 |107573 | 125.9 |   382M |  53 |6504 | 907 | 690 |2155 |  1 | 680 |1862 | 1.076111e+09 |      --      |    Inf | unknown
82.92/83.29	c  83.3s|   900 |   875 |114261 | 119.4 |   383M |  55 |6504 | 912 | 719 |2356 |  1 | 720 |1910 | 1.076111e+09 |      --      |    Inf | unknown
85.81/86.16	c  86.2s|  1000 |   971 |122800 | 116.0 |   385M |  55 |6504 | 946 | 719 |2515 |  1 | 759 |1973 | 1.076111e+09 |      --      |    Inf | unknown
89.70/90.07	c  90.1s|  1100 |  1061 |133903 | 115.5 |   387M |  59 |6504 | 998 | 709 |2658 |  1 | 817 |2009 | 1.076111e+09 |      --      |    Inf | unknown
92.48/92.86	c  92.9s|  1200 |  1155 |142108 | 112.7 |   390M |  59 |6504 |1036 | 709 |2836 |  1 | 860 |2023 | 1.076111e+09 |      --      |    Inf | unknown
94.87/95.25	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
94.87/95.25	c  95.3s|  1300 |  1240 |148261 | 108.8 |   392M |  61 |6504 |1058 | 691 |2981 |  1 | 888 |2053 | 1.076113e+09 |      --      |    Inf | unknown
96.96/97.30	c Restart triggered after 50 consecutive estimations that the remaining tree will be large
96.96/97.30	c (run 1, node 1343) performing user restart
96.96/97.30	c 
96.96/97.31	c (restart) converted 86 cuts from the global cut pool into linear constraints
96.96/97.31	c 
97.16/97.50	c presolving:
97.26/97.61	c (round 1, fast)       319 del vars, 40 del conss, 59 add conss, 6 chg bounds, 3 chg sides, 210 chg coeffs, 0 upgd conss, 0 impls, 1945 clqs
97.26/97.62	c (round 2, fast)       319 del vars, 40 del conss, 61 add conss, 6 chg bounds, 4242 chg sides, 7151 chg coeffs, 0 upgd conss, 0 impls, 1945 clqs
97.26/97.62	c (round 3, fast)       319 del vars, 40 del conss, 61 add conss, 6 chg bounds, 4254 chg sides, 7941 chg coeffs, 0 upgd conss, 0 impls, 1945 clqs
97.26/97.64	c (round 4, exhaustive) 320 del vars, 49 del conss, 62 add conss, 6 chg bounds, 4258 chg sides, 7945 chg coeffs, 0 upgd conss, 0 impls, 1927 clqs
97.26/97.64	c (round 5, fast)       320 del vars, 49 del conss, 62 add conss, 6 chg bounds, 4458 chg sides, 8144 chg coeffs, 0 upgd conss, 0 impls, 1927 clqs
97.26/97.65	c (round 6, exhaustive) 320 del vars, 50 del conss, 62 add conss, 6 chg bounds, 4458 chg sides, 8144 chg coeffs, 0 upgd conss, 0 impls, 1927 clqs
97.26/97.67	c (round 7, exhaustive) 320 del vars, 50 del conss, 62 add conss, 6 chg bounds, 4458 chg sides, 8144 chg coeffs, 135 upgd conss, 0 impls, 1927 clqs
97.26/97.68	c (round 8, fast)       320 del vars, 82 del conss, 62 add conss, 6 chg bounds, 4460 chg sides, 8205 chg coeffs, 135 upgd conss, 0 impls, 1927 clqs
97.36/97.73	c (round 9, medium)     321 del vars, 82 del conss, 62 add conss, 6 chg bounds, 4468 chg sides, 8214 chg coeffs, 135 upgd conss, 0 impls, 1928 clqs
97.36/97.73	c (round 10, fast)       321 del vars, 82 del conss, 63 add conss, 6 chg bounds, 4469 chg sides, 8214 chg coeffs, 135 upgd conss, 0 impls, 1928 clqs
97.36/97.73	c (round 11, fast)       321 del vars, 82 del conss, 63 add conss, 6 chg bounds, 4827 chg sides, 8572 chg coeffs, 135 upgd conss, 0 impls, 1928 clqs
97.36/97.74	c (round 12, exhaustive) 321 del vars, 82 del conss, 63 add conss, 6 chg bounds, 4827 chg sides, 8572 chg coeffs, 136 upgd conss, 0 impls, 1928 clqs
97.56/97.97	c (round 13, exhaustive) 321 del vars, 89 del conss, 63 add conss, 6 chg bounds, 4827 chg sides, 8630 chg coeffs, 136 upgd conss, 0 impls, 1928 clqs
98.76/99.19	c (round 14, exhaustive) 321 del vars, 89 del conss, 63 add conss, 6 chg bounds, 4827 chg sides, 12730 chg coeffs, 136 upgd conss, 0 impls, 1928 clqs
99.06/99.41	c (round 15, exhaustive) 321 del vars, 101 del conss, 63 add conss, 6 chg bounds, 4827 chg sides, 12730 chg coeffs, 136 upgd conss, 0 impls, 1928 clqs
99.06/99.45	c presolving (16 rounds: 16 fast, 9 medium, 8 exhaustive):
99.06/99.45	c  321 deleted vars, 101 deleted constraints, 63 added constraints, 6 tightened bounds, 0 added holes, 4827 changed sides, 12730 changed coefficients
99.06/99.45	c  0 implications, 1928 cliques
99.06/99.45	c presolved problem has 6183 variables (6183 bin, 0 int, 0 impl, 0 cont) and 1122 constraints
99.06/99.45	c      70 constraints of type <knapsack>
99.06/99.45	c     508 constraints of type <setppc>
99.06/99.45	c      91 constraints of type <linear>
99.06/99.45	c     453 constraints of type <logicor>
99.06/99.45	c transformed objective value is always integral (scale: 128)
99.06/99.45	c Presolving Time: 3.12
99.06/99.46	c 
99.95/100.33	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
99.95/100.33	c   100s|     1 |     0 |153470 |     - |   397M |   0 |6183 |1124 | 722 |   0 |  0 | 914 |2094 | 1.076113e+09 |      --      |    Inf | unknown
101.55/101.92	c   102s|     1 |     0 |154992 |     - |   401M |   0 |6183 |1124 | 738 |  16 |  1 | 914 |2094 | 1.076113e+09 |      --      |    Inf | unknown
102.35/102.79	c   103s|     1 |     0 |156535 |     - |   401M |   0 |6183 |1123 | 746 |  24 |  2 | 914 |2094 | 1.076113e+09 |      --      |    Inf | unknown
103.05/103.42	c   103s|     1 |     0 |156562 |     - |   401M |   0 |6183 |1123 | 750 |  28 |  3 | 914 |2094 | 1.076113e+09 |      --      |    Inf | unknown
103.65/104.05	c   104s|     1 |     0 |156577 |     - |   401M |   0 |6183 |1123 | 754 |  32 |  4 | 914 |2094 | 1.076113e+09 |      --      |    Inf | unknown
104.25/104.69	c   105s|     1 |     0 |156579 |     - |   402M |   0 |6183 |1123 | 756 |  34 |  5 | 914 |2094 | 1.076113e+09 |      --      |    Inf | unknown
104.94/105.34	c   105s|     1 |     0 |156580 |     - |   402M |   0 |6183 |1121 | 757 |  35 |  6 | 914 |2094 | 1.076113e+09 |      --      |    Inf | unknown
105.54/105.99	c   106s|     1 |     0 |156654 |     - |   403M |   0 |6183 |1121 | 766 |  44 |  7 | 914 |2094 | 1.076114e+09 |      --      |    Inf | unknown
106.54/106.91	c   107s|     1 |     0 |158063 |     - |   404M |   0 |6183 |1120 | 769 |  47 |  8 | 914 |2094 | 1.076115e+09 |      --      |    Inf | unknown
107.64/108.06	c   108s|     1 |     0 |161216 |     - |   404M |   0 |6183 |1120 | 771 |  49 |  9 | 914 |2094 | 1.076115e+09 |      --      |    Inf | unknown
108.33/108.75	c   109s|     1 |     0 |161218 |     - |   406M |   0 |6183 |1120 | 773 |  51 | 10 | 914 |2094 | 1.076115e+09 |      --      |    Inf | unknown
109.43/109.89	c   110s|     1 |     0 |164471 |     - |   406M |   0 |6183 |1120 | 664 |  62 | 11 | 914 |2094 | 1.076115e+09 |      --      |    Inf | unknown
110.13/110.52	c   111s|     1 |     0 |164479 |     - |   406M |   0 |6183 |1120 | 666 |  64 | 12 | 914 |2094 | 1.076115e+09 |      --      |    Inf | unknown
110.93/111.38	c   111s|     1 |     0 |165787 |     - |   406M |   0 |6183 |1118 | 667 |  65 | 13 | 914 |2094 | 1.076115e+09 |      --      |    Inf | unknown
111.63/112.07	c   112s|     1 |     0 |165789 |     - |   407M |   0 |6183 |1118 | 669 |  67 | 14 | 914 |2094 | 1.076115e+09 |      --      |    Inf | unknown
112.63/113.02	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
112.63/113.02	c   113s|     1 |     0 |167615 |     - |   407M |   0 |6183 |1116 | 677 |  75 | 15 | 914 |2094 | 1.076116e+09 |      --      |    Inf | unknown
113.22/113.69	c   114s|     1 |     0 |167618 |     - |   407M |   0 |6183 |1113 | 679 |  77 | 16 | 915 |2094 | 1.076116e+09 |      --      |    Inf | unknown
113.92/114.37	c   114s|     1 |     0 |167619 |     - |   409M |   0 |6183 |1111 | 680 |  78 | 17 | 915 |2094 | 1.076116e+09 |      --      |    Inf | unknown
114.81/115.25	c   115s|     1 |     0 |169521 |     - |   409M |   0 |6183 |1110 | 686 |  84 | 18 | 915 |2094 | 1.076116e+09 |      --      |    Inf | unknown
115.51/115.96	c   116s|     1 |     0 |169522 |     - |   409M |   0 |6183 |1110 | 667 |  85 | 19 | 915 |2094 | 1.076116e+09 |      --      |    Inf | unknown
116.21/116.61	c   117s|     1 |     0 |169591 |     - |   409M |   0 |6183 |1110 | 675 |  93 | 20 | 915 |2094 | 1.076117e+09 |      --      |    Inf | unknown
116.91/117.30	c   117s|     1 |     0 |169593 |     - |   411M |   0 |6183 |1108 | 677 |  95 | 21 | 915 |2094 | 1.076117e+09 |      --      |    Inf | unknown
117.51/117.98	c   118s|     1 |     0 |169643 |     - |   411M |   0 |6183 |1108 | 686 | 104 | 22 | 915 |2094 | 1.076117e+09 |      --      |    Inf | unknown
118.20/118.66	c   119s|     1 |     0 |169645 |     - |   411M |   0 |6183 |1108 | 688 | 106 | 23 | 915 |2094 | 1.076117e+09 |      --      |    Inf | unknown
118.80/119.28	c   119s|     1 |     0 |169709 |     - |   411M |   0 |6183 |1108 | 693 | 111 | 24 | 915 |2094 | 1.076117e+09 |      --      |    Inf | unknown
119.60/120.02	c   120s|     1 |     0 |169710 |     - |   411M |   0 |6183 |1107 | 665 | 112 | 25 | 915 |2094 | 1.076117e+09 |      --      |    Inf | unknown
120.20/120.65	c   121s|     1 |     0 |169711 |     - |   411M |   0 |6183 |1107 | 666 | 113 | 26 | 915 |2094 | 1.076117e+09 |      --      |    Inf | unknown
120.79/121.28	c   121s|     1 |     0 |169760 |     - |   411M |   0 |6183 |1103 | 671 | 118 | 27 | 915 |2094 | 1.076118e+09 |      --      |    Inf | unknown
121.49/121.99	c   122s|     1 |     0 |169761 |     - |   411M |   0 |6183 |1103 | 672 | 119 | 28 | 915 |2094 | 1.076118e+09 |      --      |    Inf | unknown
122.19/122.60	c   123s|     1 |     0 |169773 |     - |   411M |   0 |6183 |1101 | 675 | 122 | 29 | 915 |2094 | 1.076118e+09 |      --      |    Inf | unknown
122.89/123.31	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
122.89/123.31	c   123s|     1 |     0 |169774 |     - |   414M |   0 |6183 |1098 | 676 | 123 | 30 | 915 |2094 | 1.076118e+09 |      --      |    Inf | unknown
123.69/124.12	c   124s|     1 |     0 |171035 |     - |   414M |   0 |6183 |1097 | 679 | 126 | 31 | 915 |2094 | 1.076118e+09 |      --      |    Inf | unknown
124.28/124.80	c   125s|     1 |     0 |171038 |     - |   414M |   0 |6183 |1095 | 681 | 128 | 32 | 915 |2094 | 1.076118e+09 |      --      |    Inf | unknown
124.98/125.47	c   125s|     1 |     0 |171039 |     - |   416M |   0 |6183 |1095 | 682 | 129 | 33 | 915 |2094 | 1.076118e+09 |      --      |    Inf | unknown
125.59/126.06	c   126s|     1 |     0 |171059 |     - |   416M |   0 |6183 |1091 | 688 | 135 | 34 | 915 |2094 | 1.076118e+09 |      --      |    Inf | unknown
126.28/126.77	c   127s|     1 |     0 |171060 |     - |   418M |   0 |6183 |1090 | 689 | 136 | 35 | 915 |2094 | 1.076118e+09 |      --      |    Inf | unknown
126.88/127.37	c   127s|     1 |     0 |171065 |     - |   418M |   0 |6183 |1088 | 664 | 140 | 36 | 915 |2094 | 1.076118e+09 |      --      |    Inf | unknown
127.58/128.03	c   128s|     1 |     0 |171066 |     - |   418M |   0 |6183 |1086 | 665 | 141 | 37 | 915 |2094 | 1.076118e+09 |      --      |    Inf | unknown
128.47/128.90	c   129s|     1 |     2 |172821 |     - |   418M |   0 |6183 |1098 | 665 | 141 | 37 | 927 |2096 | 1.076118e+09 |      --      |    Inf | unknown
139.43/139.93	c   140s|   100 |   101 |185112 | 110.4 |   420M |  39 |6183 |1123 | 647 | 246 |  1 | 952 |2335 | 1.076118e+09 |      --      |    Inf | unknown
147.21/147.76	c   148s|   200 |   199 |193227 | 108.5 |   422M |  47 |6183 |1177 | 647 | 437 |  1 |1011 |2559 | 1.076118e+09 |      --      |    Inf | unknown
152.89/153.40	c   153s|   300 |   297 |201316 | 106.8 |   416M |  51 |6183 |1217 | 646 | 610 |  2 |1059 |2691 | 1.076118e+09 |      --      |    Inf | unknown
156.48/157.08	c   157s|   400 |   387 |209055 | 105.1 |   420M |  61 |6183 |1275 | 655 | 757 |  1 |1127 |2791 | 1.076118e+09 |      --      |    Inf | unknown
160.06/160.66	c   161s|   500 |   483 |215053 | 102.7 |   421M |  67 |6183 |1305 | 662 | 892 |  2 |1166 |2879 | 1.076118e+09 |      --      |    Inf | unknown
162.46/163.04	c   163s|   600 |   563 |218791 |  99.3 |   423M |  75 |6183 |1356 | 666 | 996 |  1 |1222 |2931 | 1.076118e+09 |      --      |    Inf | unknown
164.45/165.10	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
164.45/165.10	c   165s|   700 |   645 |222303 |  96.2 |   424M |  77 |6183 |1400 | 658 |1099 |  1 |1267 |2948 | 1.076118e+09 |      --      |    Inf | unknown
167.13/167.70	c   168s|   800 |   727 |229655 |  95.1 |   426M |  77 |6183 |1453 | 657 |1194 |  0 |1329 |2973 | 1.076118e+09 |      --      |    Inf | unknown
169.62/170.25	c   170s|   900 |   823 |234376 |  93.0 |   426M |  77 |6183 |1459 | 645 |1280 |  1 |1359 |3026 | 1.076118e+09 |      --      |    Inf | unknown
172.91/173.56	c   174s|  1000 |   914 |240823 |  91.8 |   429M |  77 |6183 |1471 | 669 |1475 |  1 |1398 |3072 | 1.076118e+09 |      --      |    Inf | unknown
175.70/176.31	c   176s|  1100 |  1010 |245985 |  90.1 |   433M |  77 |6183 |1491 | 669 |1678 |  1 |1432 |3115 | 1.076118e+09 |      --      |    Inf | unknown
183.88/184.59	c   185s|  1200 |  1096 |250992 |  88.5 |   435M |  77 |6183 |1520 | 655 |1782 |  1 |1480 |3190 | 1.076118e+09 |      --      |    Inf | unknown
187.17/187.84	c   188s|  1300 |  1182 |257297 |  87.6 |   436M |  77 |6183 |1544 | 643 |1944 |  1 |1519 |3232 | 1.076118e+09 |      --      |    Inf | unknown
190.65/191.39	c   191s|  1400 |  1268 |266991 |  87.9 |   438M |  77 |6183 |1587 | 674 |2082 |  1 |1576 |3259 | 1.076118e+09 |      --      |    Inf | unknown
192.35/193.05	c   193s|  1500 |  1364 |270318 |  86.0 |   439M |  77 |6183 |1608 | 668 |2158 |  1 |1607 |3279 | 1.076118e+09 |      --      |    Inf | unknown
194.74/195.45	c   195s|  1600 |  1432 |273977 |  84.3 |   442M |  77 |6183 |1763 | 674 |2261 |  2 |1767 |3295 | 1.076118e+09 |      --      |    Inf | unknown
196.93/197.60	c   198s|  1700 |  1504 |277636 |  82.7 |   442M |  77 |6183 |1852 | 650 |2349 |  1 |1869 |3304 | 1.076118e+09 |      --      |    Inf | unknown
241.63/242.47	c   242s|  1800 |  1562 |286029 |  82.8 |   443M |  80 |6183 |1921 | 655 |2388 |  1 |1948 |3309 | 1.076118e+09 |      --      |    Inf | unknown
243.42/244.27	c   244s|  1900 |  1616 |290076 |  81.5 |   445M |  96 |6183 |2005 | 665 |2422 |  1 |2034 |3310 | 1.076118e+09 |      --      |    Inf | unknown
245.91/246.72	c   247s|  2000 |  1672 |297016 |  81.1 |   447M |  97 |6183 |2079 | 658 |2463 |  1 |2125 |3310 | 1.076118e+09 |      --      |    Inf | unknown
248.21/249.06	c   249s|  2100 |  1730 |302577 |  80.4 |   448M |  97 |6183 |2102 | 655 |2506 |  0 |2165 |3324 | 1.076118e+09 |      --      |    Inf | unknown
253.18/254.00	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
253.18/254.00	c   254s|  2200 |  1766 |316917 |  82.2 |   449M | 105 |6183 |2096 | 661 |2528 |  0 |2167 |3331 | 1.076118e+09 |      --      |    Inf | unknown
265.65/266.50	c   266s|  2300 |  1788 |329609 |  83.4 |   450M | 111 |6183 |2082 | 662 |2548 |  4 |2169 |3336 | 1.076118e+09 |      --      |    Inf | unknown
267.64/268.58	c   269s|  2400 |  1830 |334253 |  82.4 |   450M | 119 |6183 |2064 | 658 |2571 |  1 |2169 |3387 | 1.076118e+09 |      --      |    Inf | unknown
385.06/386.23	c   386s|  2500 |  1878 |339822 |  81.7 |   453M | 119 |6183 |2147 | 656 |2588 |  1 |2261 |3405 | 1.076118e+09 |      --      |    Inf | unknown
388.35/389.56	c   390s|  2600 |  1906 |344392 |  80.8 |   458M | 129 |6183 |2220 | 660 |2608 |  1 |2344 |3423 | 1.076118e+09 |      --      |    Inf | unknown
393.73/394.94	c   395s|  2700 |  1946 |348735 |  79.9 |   460M | 131 |6183 |2285 |   0 |2633 |  0 |2443 |3524 | 1.076118e+09 |      --      |    Inf | unknown
398.02/399.25	c   399s|  2800 |  1990 |352997 |  79.0 |   462M | 131 |6183 |2334 | 658 |2645 |  1 |2505 |3537 | 1.076118e+09 |      --      |    Inf | unknown
400.42/401.66	c   402s|  2900 |  2024 |357135 |  78.1 |   465M | 137 |6183 |2366 | 659 |2656 |  1 |2550 |3554 | 1.076118e+09 |      --      |    Inf | unknown
407.40/408.60	c   409s|  3000 |  2064 |360405 |  77.0 |   470M | 139 |6183 |2489 | 652 |2668 |  1 |2675 |3568 | 1.076118e+09 |      --      |    Inf | unknown
411.08/412.34	c   412s|  3100 |  2084 |366081 |  76.6 |   471M | 141 |6183 |2765 | 651 |2677 |  0 |2958 |3575 | 1.076118e+09 |      --      |    Inf | unknown
413.67/414.93	c   415s|  3200 |  2102 |368625 |  75.4 |   474M | 146 |6183 |2853 | 654 |2683 |  0 |3047 |3575 | 1.076118e+09 |      --      |    Inf | unknown
415.87/417.19	c   417s|  3300 |  2128 |372388 |  74.6 |   475M | 153 |6183 |2885 | 658 |2692 |  1 |3108 |3577 | 1.076118e+09 |      --      |    Inf | unknown
420.85/422.19	c   422s|  3400 |  2176 |378011 |  74.2 |   475M | 159 |6183 |2731 | 626 |2766 |  1 |3114 |3766 | 1.076118e+09 |      --      |    Inf | unknown
424.33/425.67	c   426s|  3500 |  2232 |381683 |  73.5 |   476M | 159 |6183 |2715 | 650 |2823 |  0 |3225 |3834 | 1.076118e+09 |      --      |    Inf | unknown
441.29/442.62	c   443s|  3600 |  2234 |390998 |  73.9 |   477M | 159 |6183 |3090 | 650 |2823 |  0 |3605 |3834 | 1.076118e+09 |      --      |    Inf | unknown
443.38/444.78	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
443.38/444.78	c   445s|  3700 |  2262 |397397 |  73.7 |   480M | 167 |6183 |3131 | 654 |2851 |  1 |3702 |3856 | 1.076118e+09 |      --      |    Inf | unknown
449.86/451.23	c   451s|  3800 |  2284 |402664 |  73.3 |   480M | 167 |6183 |3128 | 653 |2864 |  0 |3702 |3929 | 1.076118e+09 |      --      |    Inf | unknown
451.25/452.64	c   453s|  3900 |  2314 |407062 |  72.7 |   481M | 167 |6183 |3161 | 657 |2877 |  1 |3737 |3937 | 1.076118e+09 |      --      |    Inf | unknown
452.65/454.10	c   454s|  4000 |  2330 |412639 |  72.4 |   481M | 167 |6183 |3163 | 652 |2891 |  1 |3741 |3949 | 1.076118e+09 |      --      |    Inf | unknown
454.04/455.46	c   455s|  4100 |  2360 |416124 |  71.7 |   484M | 167 |6183 |3133 | 658 |2902 |  1 |3762 |3968 | 1.076118e+09 |      --      |    Inf | unknown
455.84/457.27	c   457s|  4200 |  2372 |420423 |  71.2 |   484M | 191 |6183 |3216 | 650 |2906 |  1 |3858 |3987 | 1.076118e+09 |      --      |    Inf | unknown
457.74/459.10	c   459s|  4300 |  2394 |427574 |  71.2 |   486M | 191 |6183 |3261 | 657 |2917 |  1 |3903 |3987 | 1.076118e+09 |      --      |    Inf | unknown
459.42/460.82	c   461s|  4400 |  2426 |433280 |  70.9 |   487M | 191 |6183 |3290 | 651 |2924 |  0 |3940 |4022 | 1.076118e+09 |      --      |    Inf | unknown
460.72/462.11	c   462s|  4500 |  2436 |438682 |  70.7 |   487M | 196 |6183 |3290 | 657 |2934 |  1 |3940 |4022 | 1.076118e+09 |      --      |    Inf | unknown
462.81/464.20	c   464s|  4600 |  2478 |444393 |  70.4 |   491M | 197 |6183 |3353 | 650 |2956 |  1 |4010 |4047 | 1.076118e+09 |      --      |    Inf | unknown
463.81/465.20	c   465s|  4700 |  2498 |447456 |  69.8 |   491M | 197 |6183 |3336 | 658 |2970 |  0 |4031 |4047 | 1.076118e+09 |      --      |    Inf | unknown
465.40/466.85	c   467s|  4800 |  2538 |450365 |  69.1 |   496M | 197 |6183 |3358 | 651 |2974 |  1 |4054 |4074 | 1.076118e+09 |      --      |    Inf | unknown
467.30/468.71	c   469s|  4900 |  2570 |452126 |  68.3 |   508M | 197 |6183 |3325 | 653 |2981 |  0 |4081 |4083 | 1.076118e+09 |      --      |    Inf | unknown
467.89/469.38	c   469s|  5000 |  2586 |453249 |  67.4 |   508M | 210 |6183 |3335 | 651 |2987 |  1 |4091 |4090 | 1.076118e+09 |      --      |    Inf | unknown
483.56/485.03	c   485s|  5100 |  2644 |455289 |  66.6 |   508M | 210 |6183 |3387 | 652 |2993 |  1 |4148 |4113 | 1.076118e+09 |      --      |    Inf | unknown
532.34/533.94	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
532.34/533.94	c   534s|  5200 |  2688 |457224 |  65.9 |   508M | 210 |6183 |3349 | 651 |2996 |  0 |4159 |4134 | 1.076118e+09 |      --      |    Inf | unknown
532.94/534.59	c   535s|  5300 |  2706 |458445 |  65.1 |   508M | 216 |6183 |3348 | 658 |3007 |  0 |4159 |4134 | 1.076118e+09 |      --      |    Inf | unknown
533.83/535.46	c   535s|  5400 |  2754 |461368 |  64.6 |   509M | 223 |6183 |3350 | 650 |3021 |  1 |4163 |4137 | 1.076118e+09 |      --      |    Inf | unknown
538.53/540.19	c   540s|  5500 |  2800 |462587 |  63.8 |   509M | 223 |6183 |3369 | 663 |3045 |  1 |4188 |4171 | 1.076118e+09 |      --      |    Inf | unknown
539.22/540.88	c   541s|  5600 |  2838 |463642 |  63.1 |   509M | 223 |6183 |3378 | 658 |3054 |  1 |4198 |4183 | 1.076118e+09 |      --      |    Inf | unknown
541.31/542.99	c   543s|  5700 |  2856 |465097 |  62.4 |   509M | 223 |6183 |3349 | 650 |3056 |  1 |4202 |4200 | 1.076118e+09 |      --      |    Inf | unknown
542.21/543.83	c   544s|  5800 |  2900 |467405 |  61.8 |   509M | 223 |6183 |3371 | 652 |3077 |  1 |4232 |4203 | 1.076118e+09 |      --      |    Inf | unknown
542.91/544.54	c   545s|  5900 |  2930 |468007 |  61.0 |   509M | 223 |6183 |3391 | 650 |3081 |  0 |4253 |4217 | 1.076118e+09 |      --      |    Inf | unknown
546.60/548.22	c   548s|  6000 |  3008 |471053 |  60.6 |   510M | 223 |6183 |3365 | 651 |3161 |  0 |4291 |4362 | 1.076120e+09 |      --      |    Inf | unknown
547.40/549.01	c   549s|  6100 |  3048 |472281 |  60.0 |   510M | 223 |6183 |3360 | 655 |3178 |  3 |4291 |4377 | 1.076120e+09 |      --      |    Inf | unknown
548.29/549.97	c   550s|  6200 |  3090 |473724 |  59.4 |   517M | 223 |6183 |3361 | 655 |3194 |  1 |4295 |4400 | 1.076120e+09 |      --      |    Inf | unknown
549.19/550.88	c   551s|  6300 |  3128 |475717 |  58.9 |   518M | 223 |6183 |3371 | 652 |3228 |  1 |4305 |4406 | 1.076120e+09 |      --      |    Inf | unknown
550.09/551.79	c   552s|  6400 |  3178 |477105 |  58.3 |   518M | 223 |6183 |3380 | 667 |3264 |  0 |4315 |4422 | 1.076120e+09 |      --      |    Inf | unknown
554.27/556.00	c   556s|  6500 |  3252 |478905 |  57.8 |   518M | 223 |6183 |3316 | 645 |3336 |  1 |4327 |4510 | 1.076121e+09 |      --      |    Inf | unknown
556.16/557.84	c   558s|  6600 |  3310 |480566 |  57.2 |   531M | 223 |6183 |3376 | 658 |3350 |  1 |4400 |4543 | 1.076121e+09 |      --      |    Inf | unknown
558.66/560.34	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
558.66/560.34	c   560s|  6700 |  3358 |481583 |  56.7 |   546M | 223 |6183 |3422 | 651 |3371 |  0 |4462 |4581 | 1.076121e+09 |      --      |    Inf | unknown
568.63/570.38	c   570s|  6800 |  3414 |482652 |  56.1 |   552M | 223 |6183 |3465 | 658 |3396 |  2 |4506 |4594 | 1.076121e+09 |      --      |    Inf | unknown
570.23/571.98	c   572s|  6900 |  3466 |484861 |  55.7 |   555M | 223 |6183 |3469 | 648 |3427 |  1 |4572 |4623 | 1.076121e+09 |      --      |    Inf | unknown
578.10/579.82	c   580s|  7000 |  3518 |488432 |  55.4 |   556M | 223 |6183 |3518 | 654 |3446 |  1 |4705 |4623 | 1.076121e+09 |      --      |    Inf | unknown
584.78/586.52	c   587s|  7100 |  3574 |495511 |  55.6 |   557M | 223 |6183 |3509 | 651 |3497 |  0 |4838 |4693 | 1.076121e+09 |      --      |    Inf | unknown
587.38/589.19	c   589s|  7200 |  3614 |504696 |  56.0 |   559M | 223 |6183 |3571 | 652 |3498 |  1 |4926 |4694 | 1.076121e+09 |      --      |    Inf | unknown
590.86/592.63	c   593s|  7300 |  3647 |517151 |  56.8 |   560M | 223 |6183 |3574 | 651 |3506 |  1 |5053 |4704 | 1.076121e+09 |      --      |    Inf | unknown
641.15/643.01	c   643s|  7400 |  3691 |526503 |  57.3 |   560M | 223 |6183 |3603 | 653 |3508 |  0 |5105 |4704 | 1.076121e+09 |      --      |    Inf | unknown
643.14/645.07	c   645s|  7500 |  3742 |531892 |  57.2 |   561M | 223 |6183 |3648 | 653 |3527 |  1 |5232 |4726 | 1.076121e+09 |      --      |    Inf | unknown
646.82/648.76	c   649s|  7600 |  3768 |545284 |  58.1 |   562M | 223 |6183 |3741 | 653 |3527 |  1 |5399 |4726 | 1.076121e+09 |      --      |    Inf | unknown
649.71/651.68	c   652s|  7700 |  3802 |553393 |  58.3 |   564M | 223 |6183 |3786 | 651 |3530 |  1 |5517 |4728 | 1.076121e+09 |      --      |    Inf | unknown
653.30/655.22	c   655s|  7800 |  3842 |563450 |  58.8 |   565M | 223 |6183 |3866 | 658 |3547 |  0 |5655 |4730 | 1.076121e+09 |      --      |    Inf | unknown
656.59/658.51	c   659s|  7900 |  3888 |573647 |  59.3 |   565M | 223 |6183 |3881 | 651 |3550 |  1 |5790 |4744 | 1.076121e+09 |      --      |    Inf | unknown
658.28/660.23	c   660s|  8000 |  3916 |579774 |  59.3 |   567M | 223 |6183 |3888 | 648 |3553 |  0 |5830 |4749 | 1.076121e+09 |      --      |    Inf | unknown
667.56/669.53	c   670s|  8100 |  3952 |585795 |  59.3 |   568M | 223 |6183 |3950 | 650 |3555 |  1 |5953 |4749 | 1.076121e+09 |      --      |    Inf | unknown
671.25/673.28	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
671.25/673.28	c   673s|  8200 |  3984 |597459 |  59.9 |   568M | 223 |6183 |3913 | 649 |3566 |  0 |6056 |4749 | 1.076121e+09 |      --      |    Inf | unknown
672.84/674.86	c   675s|  8300 |  4030 |600053 |  59.5 |   569M | 223 |6183 |3889 | 656 |3577 |  1 |6059 |4749 | 1.076121e+09 |      --      |    Inf | unknown
739.87/742.08	c   742s|  8400 |  4076 |610389 |  60.0 |   569M | 223 |6183 |3684 | 632 |3593 |  1 |6179 |4867 | 1.076121e+09 |      --      |    Inf | unknown
743.35/745.56	c   746s|  8500 |  4136 |615720 |  59.9 |   570M | 223 |6183 |3582 | 654 |3655 |  0 |6341 |5005 | 1.076121e+09 |      --      |    Inf | unknown
745.64/747.84	c   748s|  8600 |  4190 |619663 |  59.7 |   570M | 223 |6183 |3345 | 648 |3659 |  1 |6437 |5028 | 1.076121e+09 |      --      |    Inf | unknown
748.84/751.06	c   751s|  8700 |  4228 |627171 |  59.9 |   570M | 223 |6183 |3339 | 649 |3666 |  0 |6669 |5046 | 1.076121e+09 |      --      |    Inf | unknown
751.22/753.41	c   753s|  8800 |  4270 |633777 |  59.9 |   571M | 223 |6183 |3344 | 651 |3668 |  1 |6728 |5046 | 1.076121e+09 |      --      |    Inf | unknown
754.21/756.46	c   756s|  8900 |  4318 |640504 |  60.0 |   579M | 223 |6183 |3256 | 649 |3677 |  2 |6835 |5061 | 1.076121e+09 |      --      |    Inf | unknown
755.41/757.63	c   758s|  9000 |  4364 |642045 |  59.6 |   580M | 223 |6183 |3316 | 652 |3682 |  1 |6919 |5061 | 1.076121e+09 |      --      |    Inf | unknown
757.80/760.10	c   760s|  9100 |  4412 |647090 |  59.5 |   580M | 223 |6183 |3318 | 653 |3701 |  1 |6985 |5081 | 1.076121e+09 |      --      |    Inf | unknown
759.09/761.33	c   761s|  9200 |  4460 |650597 |  59.3 |   581M | 223 |6183 |3331 | 653 |3712 |  1 |7049 |5087 | 1.076121e+09 |      --      |    Inf | unknown
761.29/763.51	c   764s|  9300 |  4502 |655059 |  59.1 |   582M | 223 |6183 |3353 | 654 |3714 |  1 |7100 |5087 | 1.076121e+09 |      --      |    Inf | unknown
763.08/765.36	c   765s|  9400 |  4550 |661211 |  59.1 |   584M | 223 |6183 |3335 | 653 |3727 |  1 |7131 |5087 | 1.076121e+09 |      --      |    Inf | unknown
766.47/768.71	c   769s|  9500 |  4604 |665098 |  59.0 |   584M | 223 |6183 |3197 | 645 |3798 |  1 |7140 |5182 | 1.076121e+09 |      --      |    Inf | unknown
767.77/770.03	c   770s|  9600 |  4666 |668248 |  58.7 |   584M | 223 |6183 |3113 | 652 |3816 |  0 |7153 |5198 | 1.076121e+09 |      --      |    Inf | unknown
771.65/773.93	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
771.65/773.93	c   774s|  9700 |  4736 |674842 |  58.8 |   585M | 223 |6183 |2936 | 648 |3902 |  1 |7207 |5308 | 1.076121e+09 |      --      |    Inf | unknown
772.45/774.72	c   775s|  9800 |  4786 |676874 |  58.4 |   585M | 223 |6183 |2952 | 653 |3909 |  1 |7229 |5308 | 1.076121e+09 |      --      |    Inf | unknown
778.33/780.68	c   781s|  9900 |  4826 |680685 |  58.2 |   585M | 223 |6183 |3001 | 653 |3918 |  0 |7301 |5309 | 1.076121e+09 |      --      |    Inf | unknown
793.39/795.74	c   796s| 10000 |  4856 |683824 |  58.0 |   587M | 223 |6183 |3060 | 651 |3928 |  0 |7368 |5310 | 1.076121e+09 |      --      |    Inf | unknown
821.91/824.34	c   824s| 10100 |  4892 |687996 |  57.9 |   589M | 223 |6183 |3129 | 648 |3940 |  1 |7496 |5310 | 1.076121e+09 |      --      |    Inf | unknown
823.20/825.69	c   826s| 10200 |  4956 |690688 |  57.6 |   590M | 223 |6183 |3243 | 654 |3961 |  1 |7617 |5310 | 1.076121e+09 |      --      |    Inf | unknown
826.79/829.24	c   829s| 10300 |  5013 |692111 |  57.2 |   604M | 223 |6183 |3374 |   0 |3968 |  0 |7764 |5329 | 1.076121e+09 |      --      |    Inf | unknown
827.99/830.44	c   830s| 10400 |  5075 |694042 |  56.9 |   605M | 223 |6183 |3239 | 651 |3981 |  0 |7868 |5349 | 1.076121e+09 |      --      |    Inf | unknown
829.08/831.54	c   832s| 10500 |  5127 |695207 |  56.5 |   605M | 223 |6183 |3271 | 655 |3992 |  1 |7901 |5364 | 1.076121e+09 |      --      |    Inf | unknown
830.38/832.83	c   833s| 10600 |  5177 |696550 |  56.2 |   607M | 223 |6183 |3297 | 657 |4011 |  1 |7929 |5377 | 1.076121e+09 |      --      |    Inf | unknown
831.37/833.87	c   834s| 10700 |  5228 |697933 |  55.8 |   610M | 223 |6183 |3322 | 655 |4022 |  1 |7961 |5379 | 1.076121e+09 |      --      |    Inf | unknown
832.67/835.16	c   835s| 10800 |  5290 |698977 |  55.4 |   615M | 223 |6183 |3213 | 652 |4042 |  0 |7980 |5402 | 1.076121e+09 |      --      |    Inf | unknown
833.67/836.11	c   836s| 10900 |  5348 |700113 |  55.1 |   616M | 223 |6183 |3227 | 653 |4057 |  1 |7996 |5421 | 1.076121e+09 |      --      |    Inf | unknown
837.05/839.53	c   840s| 11000 |  5428 |702772 |  54.8 |   619M | 223 |6183 |3126 | 651 |4128 |  1 |8018 |5588 | 1.076121e+09 |      --      |    Inf | unknown
847.63/850.14	c   850s| 11100 |  5496 |703745 |  54.5 |   619M | 223 |6183 |3081 | 654 |4149 |  0 |8051 |5622 | 1.076121e+09 |      --      |    Inf | unknown
848.72/851.29	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
848.72/851.29	c   851s| 11200 |  5557 |704878 |  54.1 |   621M | 223 |6183 |3098 | 653 |4186 |  0 |8077 |5624 | 1.076121e+09 |      --      |    Inf | unknown
849.91/852.48	c   852s| 11300 |  5617 |705587 |  53.8 |   621M | 223 |6183 |3087 | 651 |4222 |  1 |8085 |5678 | 1.076121e+09 |      --      |    Inf | unknown
851.51/854.08	c   854s| 11400 |  5663 |708711 |  53.6 |   622M | 223 |6183 |2953 | 649 |4237 |  1 |8131 |5687 | 1.076121e+09 |      --      |    Inf | unknown
852.31/854.87	c   855s| 11500 |  5709 |710201 |  53.3 |   622M | 223 |6183 |2822 |   0 |4242 |  0 |8140 |5695 | 1.076121e+09 |      --      |    Inf | unknown
855.50/858.09	c   858s| 11600 |  5785 |717539 |  53.4 |   623M | 223 |6183 |2727 | 649 |4362 |  1 |8202 |5761 | 1.076121e+09 |      --      |    Inf | unknown
860.08/862.66	c   863s| 11700 |  5829 |720111 |  53.2 |   624M | 223 |6183 |2720 | 650 |4364 |  1 |8203 |5768 | 1.076121e+09 |      --      |    Inf | unknown
861.67/864.20	c   864s| 11800 |  5881 |724803 |  53.2 |   624M | 223 |6183 |2763 | 649 |4366 |  1 |8327 |5768 | 1.076121e+09 |      --      |    Inf | unknown
863.27/865.85	c   866s| 11900 |  5933 |729759 |  53.2 |   625M | 223 |6183 |2774 | 648 |4367 |  1 |8439 |5769 | 1.076121e+09 |      --      |    Inf | unknown
865.76/868.39	c   868s| 12000 |  5975 |740083 |  53.5 |   625M | 223 |6183 |2833 | 654 |4379 |  1 |8593 |5769 | 1.076121e+09 |      --      |    Inf | unknown
872.55/875.14	c   875s| 12100 |  6027 |745926 |  53.6 |   626M | 223 |6183 |2770 | 653 |4401 |  1 |8696 |5769 | 1.076121e+09 |      --      |    Inf | unknown
873.64/876.29	c   876s| 12200 |  6063 |748378 |  53.3 |   627M | 223 |6183 |2709 |   0 |4401 |  0 |8795 |5769 | 1.076121e+09 |      --      |    Inf | unknown
875.73/878.34	c   878s| 12300 |  6117 |751063 |  53.2 |   627M | 223 |6183 |2567 | 648 |4415 |  1 |8822 |5770 | 1.076121e+09 |      --      |    Inf | unknown
878.42/881.04	c   881s| 12400 |  6163 |760967 |  53.5 |   627M | 223 |6183 |2553 | 653 |4429 |  1 |8932 |5781 | 1.076121e+09 |      --      |    Inf | unknown
879.22/881.88	c   882s| 12500 |  6195 |762994 |  53.2 |   627M | 223 |6183 |2485 | 649 |4437 |  1 |8966 |5783 | 1.076121e+09 |      --      |    Inf | unknown
905.35/908.06	c   908s| 12600 |  6245 |767955 |  53.2 |   627M | 223 |6183 |2514 | 650 |4438 |  0 |9019 |5783 | 1.076121e+09 |      --      |    Inf | unknown
908.04/910.70	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
908.04/910.70	c   911s| 12700 |  6287 |777262 |  53.5 |   633M | 223 |6183 |2488 | 652 |4447 |  1 |9172 |5815 | 1.076121e+09 |      --      |    Inf | unknown
909.93/912.67	c   913s| 12800 |  6331 |783952 |  53.6 |   634M | 223 |6183 |2490 | 651 |4454 |  1 |9288 |5821 | 1.076121e+09 |      --      |    Inf | unknown
912.02/914.77	c   915s| 12900 |  6385 |790753 |  53.7 |   634M | 223 |6183 |2600 | 649 |4462 |  1 |9473 |5848 | 1.076121e+09 |      --      |    Inf | unknown
913.12/915.87	c   916s| 13000 |  6427 |793590 |  53.5 |   635M | 223 |6183 |2652 | 651 |4469 |  1 |9536 |5850 | 1.076121e+09 |      --      |    Inf | unknown
914.51/917.21	c   917s| 13100 |  6453 |798290 |  53.5 |   635M | 223 |6183 |2663 | 651 |4478 |  0 |9584 |5857 | 1.076121e+09 |      --      |    Inf | unknown
925.29/928.01	c   928s| 13200 |  6499 |802965 |  53.4 |   635M | 223 |6183 |2680 | 649 |4482 |  1 |9620 |5857 | 1.076121e+09 |      --      |    Inf | unknown
1031.79/1034.80	c  1035s| 13300 |  6547 |812183 |  53.7 |   637M | 223 |6183 |2828 | 650 |4486 |  1 |9795 |5865 | 1.076121e+09 |      --      |    Inf | unknown
1098.71/1101.94	c  1102s| 13400 |  6597 |818839 |  53.8 |   637M | 223 |6183 |2843 | 649 |4489 |  0 |9861 |5874 | 1.076121e+09 |      --      |    Inf | unknown
1099.51/1102.71	c  1103s| 13500 |  6643 |820254 |  53.5 |   637M | 223 |6183 |2888 | 654 |4495 |  1 |9910 |5874 | 1.076121e+09 |      --      |    Inf | unknown
1100.71/1103.93	c  1104s| 13600 |  6701 |822694 |  53.3 |   638M | 223 |6183 |2973 | 653 |4507 |  1 |  10k|5878 | 1.076121e+09 |      --      |    Inf | unknown
1253.41/1257.08	c  1257s| 13700 |  6737 |825944 |  53.2 |   638M | 223 |6183 |3004 | 650 |4515 |  0 |  10k|5905 | 1.076121e+09 |      --      |    Inf | unknown
1271.75/1275.49	c  1275s| 13800 |  6775 |828901 |  53.0 |   639M | 223 |6183 |3022 | 650 |4536 |  1 |  10k|5915 | 1.076121e+09 |      --      |    Inf | unknown
1272.95/1276.60	c  1277s| 13900 |  6845 |831811 |  52.9 |   639M | 223 |6183 |3102 | 650 |4539 |  1 |  10k|5919 | 1.076121e+09 |      --      |    Inf | unknown
1273.75/1277.43	c  1277s| 14000 |  6883 |832128 |  52.5 |   640M | 223 |6183 |3162 | 649 |4542 |  1 |  10k|5940 | 1.076121e+09 |      --      |    Inf | unknown
1274.54/1278.22	c  1278s| 14100 |  6937 |833349 |  52.3 |   640M | 223 |6183 |3173 | 656 |4550 |  1 |  10k|5952 | 1.076121e+09 |      --      |    Inf | unknown
1321.12/1324.97	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1321.12/1324.97	c  1325s| 14200 |  7011 |834027 |  52.0 |   640M | 223 |6183 |3187 | 652 |4560 |  1 |  10k|5995 | 1.076121e+09 |      --      |    Inf | unknown
1322.12/1325.91	c  1326s| 14300 |  7085 |834965 |  51.7 |   640M | 223 |6183 |3197 | 649 |4567 |  1 |  10k|6043 | 1.076121e+09 |      --      |    Inf | unknown
1366.70/1370.67	c  1371s| 14400 |  7153 |835797 |  51.4 |   644M | 223 |6183 |3225 | 660 |4586 |  2 |  10k|6057 | 1.076121e+09 |      --      |    Inf | unknown
1376.07/1380.03	c  1380s| 14500 |  7225 |836462 |  51.2 |   645M | 223 |6183 |3231 | 653 |4593 |  1 |  10k|6069 | 1.076121e+09 |      --      |    Inf | unknown
1379.56/1383.54	c  1384s| 14600 |  7305 |838558 |  51.0 |   646M | 223 |6183 |2909 | 649 |4624 |  1 |  10k|6199 | 1.076122e+09 |      --      |    Inf | unknown
1389.53/1393.51	c  1394s| 14700 |  7383 |839073 |  50.7 |   646M | 223 |6183 |2902 | 654 |4634 |  3 |  10k|6226 | 1.076122e+09 |      --      |    Inf | unknown
1391.72/1395.76	c  1396s| 14800 |  7457 |841054 |  50.5 |   646M | 223 |6183 |2608 | 649 |4679 |  1 |  10k|6348 | 1.076122e+09 |      --      |    Inf | unknown
1392.72/1396.75	c  1397s| 14900 |  7521 |841649 |  50.2 |   646M | 223 |6183 |2630 | 650 |4696 |  1 |  10k|6380 | 1.076122e+09 |      --      |    Inf | unknown
1394.61/1398.69	c  1399s| 15000 |  7577 |843281 |  50.0 |   646M | 223 |6183 |2496 | 629 |4743 |  1 |  10k|6468 | 1.076122e+09 |      --      |    Inf | unknown
1396.90/1400.96	c  1401s| 15100 |  7633 |847203 |  49.9 |   647M | 223 |6183 |2498 | 649 |4798 |  1 |  10k|6520 | 1.076122e+09 |      --      |    Inf | unknown
1440.99/1445.16	c  1445s| 15200 |  7677 |848781 |  49.7 |   647M | 223 |6183 |2493 | 650 |4805 |  1 |  10k|6531 | 1.076122e+09 |      --      |    Inf | unknown
1444.88/1449.03	c  1449s| 15300 |  7749 |853332 |  49.7 |   648M | 223 |6183 |2418 | 654 |4874 |  1 |  10k|6607 | 1.076122e+09 |      --      |    Inf | unknown
1446.66/1450.86	c  1451s| 15400 |  7799 |858199 |  49.7 |   648M | 223 |6183 |2422 | 652 |4881 |  1 |  10k|6607 | 1.076122e+09 |      --      |    Inf | unknown
1448.76/1452.96	c  1453s| 15500 |  7839 |864542 |  49.8 |   648M | 223 |6183 |2439 | 650 |4893 |  0 |  10k|6615 | 1.076122e+09 |      --      |    Inf | unknown
1450.95/1455.19	c  1455s| 15600 |  7883 |868975 |  49.8 |   651M | 223 |6183 |2482 | 652 |4899 |  1 |  11k|6640 | 1.076122e+09 |      --      |    Inf | unknown
1453.34/1457.54	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1453.34/1457.54	c  1458s| 15700 |  7931 |878224 |  50.0 |   653M | 223 |6183 |2403 | 648 |4902 |  1 |  11k|6640 | 1.076122e+09 |      --      |    Inf | unknown
1469.80/1474.05	c  1474s| 15800 |  7989 |879983 |  49.8 |   653M | 223 |6183 |2397 | 650 |4907 |  1 |  11k|6643 | 1.076122e+09 |      --      |    Inf | unknown
1519.46/1523.82	c  1524s| 15900 |  8027 |884427 |  49.8 |   653M | 223 |6183 |2365 | 649 |4914 |  1 |  11k|6662 | 1.076122e+09 |      --      |    Inf | unknown
1521.06/1525.44	c  1525s| 16000 |  8071 |888935 |  49.8 |   654M | 223 |6183 |2402 | 649 |4916 |  1 |  11k|6666 | 1.076122e+09 |      --      |    Inf | unknown
1522.45/1526.89	c  1527s| 16100 |  8095 |893402 |  49.7 |   654M | 223 |6183 |2353 | 650 |4927 |  1 |  11k|6673 | 1.076122e+09 |      --      |    Inf | unknown
1524.55/1528.90	c  1529s| 16200 |  8141 |896216 |  49.6 |   654M | 223 |6183 |2357 | 651 |4931 |  0 |  11k|6707 | 1.076122e+09 |      --      |    Inf | unknown
1525.44/1529.82	c  1530s| 16300 |  8165 |898958 |  49.5 |   654M | 223 |6183 |2269 | 650 |4935 |  1 |  11k|6707 | 1.076122e+09 |      --      |    Inf | unknown
1528.43/1532.80	c  1533s| 16400 |  8205 |908609 |  49.8 |   655M | 223 |6183 |2330 | 650 |4938 |  1 |  11k|6717 | 1.076122e+09 |      --      |    Inf | unknown
1534.11/1538.57	c  1539s| 16500 |  8247 |919288 |  50.1 |   655M | 223 |6183 |2385 | 649 |4940 |  1 |  11k|6722 | 1.076122e+09 |      --      |    Inf | unknown
1535.51/1540.00	c  1540s| 16600 |  8273 |924928 |  50.1 |   657M | 223 |6183 |2390 | 648 |4942 |  1 |  11k|6723 | 1.076122e+09 |      --      |    Inf | unknown
1541.19/1545.66	c  1546s| 16700 |  8315 |930888 |  50.2 |   658M | 223 |6183 |2483 | 648 |4942 |  1 |  11k|6723 | 1.076122e+09 |      --      |    Inf | unknown
1542.29/1546.78	c  1547s| 16800 |  8361 |934854 |  50.1 |   658M | 223 |6183 |2476 | 648 |4944 |  1 |  11k|6728 | 1.076122e+09 |      --      |    Inf | unknown
1543.19/1547.60	c  1548s| 16900 |  8397 |937511 |  50.0 |   658M | 223 |6183 |2485 | 648 |4946 |  1 |  11k|6730 | 1.076122e+09 |      --      |    Inf | unknown
1544.59/1549.09	c  1549s| 17000 |  8443 |940266 |  49.8 |   659M | 223 |6183 |2566 | 648 |4946 |  0 |  12k|6736 | 1.076122e+09 |      --      |    Inf | unknown
1546.37/1550.87	c  1551s| 17100 |  8501 |946559 |  49.9 |   659M | 223 |6183 |2632 | 649 |4955 |  1 |  12k|6740 | 1.076122e+09 |      --      |    Inf | unknown
1555.85/1560.38	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1555.85/1560.38	c  1560s| 17200 |  8549 |951611 |  49.9 |   660M | 223 |6183 |2658 | 648 |4958 |  1 |  12k|6741 | 1.076122e+09 |      --      |    Inf | unknown
1556.94/1561.46	c  1561s| 17300 |  8596 |954744 |  49.8 |   660M | 223 |6183 |2715 | 650 |4962 |  1 |  12k|6745 | 1.076122e+09 |      --      |    Inf | unknown
1557.65/1562.14	c  1562s| 17400 |  8656 |956195 |  49.6 |   661M | 223 |6183 |2722 | 657 |4969 |  0 |  12k|6745 | 1.076122e+09 |      --      |    Inf | unknown
1560.23/1564.75	c  1565s| 17500 |  8721 |963250 |  49.7 |   662M | 223 |6183 |2541 | 648 |5000 |  1 |  12k|6791 | 1.076123e+09 |      --      |    Inf | unknown
1561.33/1565.81	c  1566s| 17600 |  8787 |966164 |  49.6 |   662M | 223 |6183 |2594 | 650 |5003 |  1 |  12k|6791 | 1.076123e+09 |      --      |    Inf | unknown
1569.51/1574.06	c  1574s| 17700 |  8851 |967414 |  49.4 |   663M | 223 |6183 |2600 | 651 |5009 |  1 |  12k|6801 | 1.076123e+09 |      --      |    Inf | unknown
1570.10/1574.62	c  1575s| 17800 |  8913 |968038 |  49.2 |   663M | 223 |6183 |2620 | 652 |5014 |  0 |  12k|6807 | 1.076123e+09 |      --      |    Inf | unknown
1570.80/1575.30	c  1575s| 17900 |  8983 |968608 |  49.0 |   663M | 223 |6183 |2630 | 649 |5017 |  1 |  12k|6822 | 1.076123e+09 |      --      |    Inf | unknown
1572.39/1576.93	c  1577s| 18000 |  9033 |973118 |  49.0 |   665M | 223 |6183 |2510 | 650 |5023 |  1 |  12k|6837 | 1.076123e+09 |      --      |    Inf | unknown
1578.48/1583.03	c  1583s| 18100 |  9083 |974653 |  48.8 |   665M | 223 |6183 |2386 | 650 |5027 |  1 |  12k|6849 | 1.076123e+09 |      --      |    Inf | unknown
1580.17/1584.74	c  1585s| 18200 |  9137 |976037 |  48.6 |   665M | 223 |6183 |2282 | 638 |5036 |  1 |  12k|6908 | 1.076123e+09 |      --      |    Inf | unknown
1584.85/1589.49	c  1589s| 18300 |  9210 |982986 |  48.7 |   665M | 223 |6183 |2161 | 652 |5089 |  1 |  12k|7051 | 1.076123e+09 |      --      |    Inf | unknown
1586.45/1591.07	c  1591s| 18400 |  9259 |985248 |  48.6 |   668M | 223 |6183 |2125 | 649 |5093 |  1 |  12k|7069 | 1.076123e+09 |      --      |    Inf | unknown
1587.34/1591.98	c  1592s| 18500 |  9321 |986782 |  48.4 |   668M | 223 |6183 |2097 | 661 |5106 |  1 |  12k|7076 | 1.076123e+09 |      --      |    Inf | unknown
1589.14/1593.76	c  1594s| 18600 |  9399 |989645 |  48.3 |   668M | 223 |6183 |1989 | 648 |5131 |  1 |  13k|7146 | 1.076123e+09 |      --      |    Inf | unknown
1590.83/1595.48	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1590.83/1595.48	c  1595s| 18700 |  9431 |996412 |  48.4 |   669M | 223 |6183 |1928 | 650 |5134 |  1 |  13k|7148 | 1.076123e+09 |      --      |    Inf | unknown
1593.22/1597.80	c  1598s| 18800 |  9505 |  1000k|  48.4 |   669M | 223 |6183 |1852 | 655 |5166 |  1 |  13k|7207 | 1.076123e+09 |      --      |    Inf | unknown
1594.72/1599.38	c  1599s| 18900 |  9583 |  1005k|  48.4 |   669M | 223 |6183 |1873 | 651 |5169 |  1 |  13k|7207 | 1.076123e+09 |      --      |    Inf | unknown
1595.61/1600.27	c  1600s| 19000 |  9641 |  1006k|  48.2 |   669M | 223 |6183 |1926 | 660 |5184 |  0 |  13k|7207 | 1.076123e+09 |      --      |    Inf | unknown
1599.00/1603.64	c  1604s| 19100 |  9703 |  1013k|  48.3 |   670M | 223 |6183 |1739 | 652 |5273 |  1 |  13k|7274 | 1.076123e+09 |      --      |    Inf | unknown
1603.99/1608.64	c  1609s| 19200 |  9747 |  1019k|  48.3 |   670M | 223 |6183 |1711 | 648 |5273 |  0 |  13k|7276 | 1.076123e+09 |      --      |    Inf | unknown
1606.08/1610.73	c  1611s| 19300 |  9791 |  1022k|  48.3 |   674M | 223 |6183 |1753 | 633 |5274 |  1 |  13k|7290 | 1.076123e+09 |      --      |    Inf | unknown
1608.67/1613.32	c  1613s| 19400 |  9869 |  1026k|  48.3 |   677M | 223 |6183 |1808 | 639 |5400 |  1 |  13k|7337 | 1.076123e+09 |      --      |    Inf | unknown
1611.36/1616.01	c  1616s| 19500 |  9954 |  1032k|  48.3 |   687M | 223 |6183 |1828 | 660 |5542 |  1 |  13k|7384 | 1.076123e+09 |      --      |    Inf | unknown
1636.89/1641.62	c  1642s| 19600 | 10020 |  1035k|  48.2 |   687M | 223 |6183 |1855 | 657 |5560 |  2 |  13k|7401 | 1.076123e+09 |      --      |    Inf | unknown
1640.77/1645.59	c  1646s| 19700 | 10078 |  1041k|  48.3 |   688M | 223 |6183 |1745 | 657 |5659 |  1 |  14k|7535 | 1.076123e+09 |      --      |    Inf | unknown
1649.05/1653.88	c  1654s| 19800 | 10138 |  1043k|  48.1 |   688M | 223 |6183 |1809 | 659 |5661 |  1 |  14k|7535 | 1.076123e+09 |      --      |    Inf | unknown
1650.64/1655.50	c  1655s| 19900 | 10172 |  1049k|  48.2 |   689M | 223 |6183 |1738 | 655 |5677 |  1 |  14k|7536 | 1.076123e+09 |      --      |    Inf | unknown
1689.73/1694.61	c  1695s| 20000 | 10206 |  1053k|  48.2 |   689M | 223 |6183 |1667 | 650 |5679 |  0 |  14k|7536 | 1.076123e+09 |      --      |    Inf | unknown
1692.52/1697.49	c  1697s| 20100 | 10250 |  1060k|  48.2 |   690M | 223 |6183 |1631 | 651 |5687 |  1 |  14k|7542 | 1.076123e+09 |      --      |    Inf | unknown
1693.72/1698.65	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1693.72/1698.65	c  1699s| 20200 | 10298 |  1063k|  48.2 |   688M | 223 |6183 |1686 | 655 |5692 |  1 |  14k|7542 | 1.076123e+09 |      --      |    Inf | unknown
1696.11/1701.05	c  1701s| 20300 | 10366 |  1066k|  48.1 |   688M | 223 |6183 |1602 | 651 |5764 |  1 |  14k|7602 | 1.076123e+09 |      --      |    Inf | unknown
1699.69/1704.68	c  1705s| 20400 | 10436 |  1075k|  48.3 |   690M | 223 |6183 |1591 | 656 |5861 |  1 |  14k|7670 | 1.076123e+09 |      --      |    Inf | unknown
1706.67/1711.68	c  1712s| 20500 | 10496 |  1078k|  48.2 |   690M | 223 |6183 |1566 | 648 |5864 |  0 |  14k|7670 | 1.076123e+09 |      --      |    Inf | unknown
1721.63/1726.65	c  1727s| 20600 | 10552 |  1086k|  48.3 |   691M | 223 |6183 |1636 | 655 |5874 |  1 |  14k|7671 | 1.076123e+09 |      --      |    Inf | unknown
1753.54/1758.61	c  1759s| 20700 | 10590 |  1092k|  48.4 |   693M | 223 |6183 |1596 | 648 |5892 |  1 |  14k|7681 | 1.076123e+09 |      --      |    Inf | unknown
1755.73/1760.81	c  1761s| 20800 | 10646 |  1101k|  48.6 |   693M | 223 |6183 |1616 | 649 |5909 |  1 |  14k|7686 | 1.076123e+09 |      --      |    Inf | unknown
1756.43/1761.50	c  1762s| 20900 | 10700 |  1102k|  48.4 |   693M | 223 |6183 |1601 | 650 |5917 |  1 |  14k|7701 | 1.076123e+09 |      --      |    Inf | unknown
1757.93/1763.07	c  1763s| 21000 | 10746 |  1104k|  48.3 |   693M | 223 |6183 |1614 | 663 |5945 |  0 |  14k|7707 | 1.076123e+09 |      --      |    Inf | unknown
1759.62/1764.73	c  1765s| 21100 | 10810 |  1107k|  48.2 |   694M | 223 |6183 |1632 | 644 |5974 |  1 |  15k|7717 | 1.076123e+09 |      --      |    Inf | unknown
1804.30/1809.51	c  1810s| 21200 | 10872 |  1111k|  48.2 |   694M | 223 |6183 |1666 | 653 |5984 |  1 |  15k|7729 | 1.076123e+09 |      --      |    Inf | unknown
1864.23/1869.64	c  1870s| 21300 | 10952 |  1116k|  48.2 |   695M | 223 |6183 |1613 | 665 |6065 |  2 |  15k|7789 | 1.076123e+09 |      --      |    Inf | unknown
1888.96/1894.40	c  1894s| 21400 | 11006 |  1123k|  48.3 |   695M | 223 |6183 |1635 | 655 |6071 |  1 |  15k|7790 | 1.076123e+09 |      --      |    Inf | unknown
1895.04/1900.53	c  1901s| 21500 | 11069 |  1125k|  48.1 |   697M | 223 |6183 |1685 | 658 |6093 |  0 |  15k|7794 | 1.076123e+09 |      --      |    Inf | unknown
1944.81/1950.45	c  1950s| 21600 | 11123 |  1127k|  48.0 |   698M | 223 |6183 |1693 | 651 |6097 |  1 |  15k|7812 | 1.076123e+09 |      --      |    Inf | unknown
1945.51/1951.17	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1945.51/1951.17	c  1951s| 21700 | 11187 |  1128k|  47.8 |   698M | 223 |6183 |1698 |   0 |6099 |  0 |  15k|7818 | 1.076123e+09 |      --      |    Inf | unknown
1948.30/1953.94	c  1954s| 21800 | 11243 |  1129k|  47.7 |   698M | 223 |6183 |1765 | 651 |6104 |  1 |  15k|7818 | 1.076123e+09 |      --      |    Inf | unknown
1968.04/1973.72	c  1974s| 21900 | 11305 |  1130k|  47.5 |   700M | 223 |6183 |1764 |   0 |6113 |  0 |  15k|7824 | 1.076123e+09 |      --      |    Inf | unknown
1968.64/1974.32	c  1974s| 22000 | 11373 |  1131k|  47.4 |   699M | 223 |6183 |1780 | 651 |6121 |  0 |  15k|7831 | 1.076123e+09 |      --      |    Inf | unknown
1970.53/1976.23	c  1976s| 22100 | 11449 |  1134k|  47.3 |   699M | 223 |6183 |1776 | 648 |6152 |  1 |  15k|7905 | 1.076123e+09 |      --      |    Inf | unknown
1976.02/1981.77	c  1982s| 22200 | 11509 |  1134k|  47.1 |   701M | 223 |6183 |1802 | 648 |6154 |  0 |  15k|7940 | 1.076123e+09 |      --      |    Inf | unknown
1978.70/1984.42	c  1984s| 22300 | 11585 |  1138k|  47.0 |   701M | 223 |6183 |1736 | 687 |6268 |  1 |  15k|8038 | 1.076123e+09 |      --      |    Inf | unknown
2005.13/2010.91	c  2011s| 22400 | 11659 |  1139k|  46.9 |   702M | 223 |6183 |1719 | 648 |6270 |  1 |  15k|8061 | 1.076123e+09 |      --      |    Inf | unknown
2012.61/2018.45	c  2018s| 22500 | 11711 |  1144k|  46.9 |   702M | 223 |6183 |1747 | 649 |6273 |  1 |  15k|8066 | 1.076123e+09 |      --      |    Inf | unknown
2128.49/2134.61	c  2135s| 22600 | 11775 |  1147k|  46.9 |   702M | 223 |6183 |1600 | 641 |6299 |  1 |  15k|8103 | 1.076123e+09 |      --      |    Inf | unknown
2130.08/2136.26	c  2136s| 22700 | 11841 |  1153k|  46.9 |   703M | 223 |6183 |1604 | 649 |6299 |  1 |  15k|8107 | 1.076123e+09 |      --      |    Inf | unknown
2134.77/2140.97	c  2141s| 22800 | 11885 |  1159k|  47.0 |   704M | 223 |6183 |1612 | 653 |6306 |  0 |  15k|8108 | 1.076123e+09 |      --      |    Inf | unknown
2137.16/2143.34	c  2143s| 22900 | 11951 |  1167k|  47.1 |   706M | 223 |6183 |1563 | 655 |6324 |  1 |  15k|8145 | 1.076124e+09 |      --      |    Inf | unknown
2138.56/2144.72	c  2145s| 23000 | 12009 |  1168k|  46.9 |   708M | 223 |6183 |1575 |   0 |6326 |  0 |  15k|8150 | 1.076124e+09 |      --      |    Inf | unknown
2140.95/2147.17	c  2147s| 23100 | 12051 |  1177k|  47.1 |   709M | 223 |6183 |1568 | 648 |6334 |  1 |  15k|8152 | 1.076124e+09 |      --      |    Inf | unknown
2141.85/2148.09	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2141.85/2148.09	c  2148s| 23200 | 12103 |  1178k|  47.0 |   710M | 223 |6183 |1602 |   0 |6334 |  0 |  15k|8160 | 1.076124e+09 |      --      |    Inf | unknown
2163.98/2170.21	c  2170s| 23300 | 12163 |  1182k|  46.9 |   710M | 223 |6183 |1563 | 651 |6338 |  1 |  15k|8174 | 1.076124e+09 |      --      |    Inf | unknown
2164.88/2171.12	c  2171s| 23400 | 12219 |  1184k|  46.8 |   710M | 223 |6183 |1531 | 649 |6346 |  0 |  15k|8176 | 1.076124e+09 |      --      |    Inf | unknown
2166.78/2173.01	c  2173s| 23500 | 12285 |  1189k|  46.8 |   712M | 223 |6183 |1527 | 645 |6395 |  1 |  16k|8197 | 1.076124e+09 |      --      |    Inf | unknown
2169.77/2176.01	c  2176s| 23600 | 12339 |  1200k|  47.1 |   712M | 223 |6183 |1534 | 657 |6443 |  0 |  16k|8233 | 1.076124e+09 |      --      |    Inf | unknown
2171.25/2177.53	c  2178s| 23700 | 12391 |  1204k|  47.1 |   714M | 223 |6183 |1571 | 658 |6444 |  0 |  16k|8233 | 1.076124e+09 |      --      |    Inf | unknown
2173.15/2179.43	c  2179s| 23800 | 12457 |  1207k|  47.0 |   716M | 223 |6183 |1588 | 650 |6487 |  0 |  16k|8262 | 1.076124e+09 |      --      |    Inf | unknown
2174.14/2180.46	c  2180s| 23900 | 12517 |  1209k|  46.9 |   717M | 223 |6183 |1567 | 650 |6512 |  1 |  16k|8282 | 1.076124e+09 |      --      |    Inf | unknown
2175.44/2181.77	c  2182s| 24000 | 12573 |  1212k|  46.8 |   718M | 223 |6183 |1652 | 654 |6524 |  0 |  16k|8293 | 1.076124e+09 |      --      |    Inf | unknown
2221.11/2227.51	c  2228s| 24100 | 12621 |  1222k|  47.0 |   719M | 223 |6183 |1714 | 655 |6532 |  1 |  16k|8299 | 1.076124e+09 |      --      |    Inf | unknown
2292.12/2298.76	c  2299s| 24200 | 12689 |  1225k|  47.0 |   719M | 223 |6183 |1635 | 650 |6612 |  0 |  16k|8322 | 1.076124e+09 |      --      |    Inf | unknown
2299.50/2306.14	c  2306s| 24300 | 12749 |  1228k|  46.9 |   720M | 223 |6183 |1661 | 650 |6612 |  1 |  16k|8326 | 1.076124e+09 |      --      |    Inf | unknown
2301.59/2308.28	c  2308s| 24400 | 12812 |  1233k|  46.9 |   720M | 223 |6183 |1584 | 654 |6692 |  1 |  16k|8357 | 1.076124e+09 |      --      |    Inf | unknown
2303.38/2310.07	c  2310s| 24500 | 12859 |  1238k|  46.9 |   721M | 223 |6183 |1617 | 649 |6692 |  1 |  16k|8360 | 1.076124e+09 |      --      |    Inf | unknown
2337.88/2344.65	c  2345s| 24600 | 12917 |  1242k|  46.9 |   723M | 223 |6183 |1606 | 646 |6767 |  1 |  16k|8416 | 1.076124e+09 |      --      |    Inf | unknown
2341.97/2348.70	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2341.97/2348.70	c  2349s| 24700 | 12973 |  1249k|  47.0 |   726M | 223 |6183 |1738 | 654 |6879 |  2 |  16k|8476 | 1.076124e+09 |      --      |    Inf | unknown
2343.46/2350.27	c  2350s| 24800 | 13021 |  1254k|  47.0 |   726M | 223 |6183 |1749 | 644 |6900 |  3 |  17k|8477 | 1.076125e+09 |      --      |    Inf | unknown
2352.63/2359.40	c  2359s| 24900 | 13085 |  1259k|  47.0 |   732M | 223 |6183 |1808 | 660 |6953 |  1 |  17k|8489 | 1.076125e+09 |      --      |    Inf | unknown
2359.61/2366.48	c  2366s| 25000 | 13139 |  1267k|  47.1 |   732M | 223 |6183 |1850 | 653 |6962 |  1 |  17k|8489 | 1.076125e+09 |      --      |    Inf | unknown
2361.41/2368.22	c  2368s| 25100 | 13197 |  1273k|  47.2 |   733M | 223 |6183 |1929 | 654 |6966 |  1 |  17k|8490 | 1.076125e+09 |      --      |    Inf | unknown
2362.60/2369.44	c  2369s| 25200 | 13253 |  1277k|  47.2 |   734M | 223 |6183 |1959 | 652 |6968 |  1 |  17k|8491 | 1.076125e+09 |      --      |    Inf | unknown
2373.97/2380.86	c  2381s| 25300 | 13311 |  1280k|  47.1 |   735M | 223 |6183 |2001 | 650 |6971 |  1 |  17k|8493 | 1.076125e+09 |      --      |    Inf | unknown
2377.06/2383.90	c  2384s| 25400 | 13377 |  1288k|  47.2 |   736M | 223 |6183 |1967 | 666 |7078 |  1 |  17k|8533 | 1.076125e+09 |      --      |    Inf | unknown
2387.03/2393.90	c  2394s| 25500 | 13435 |  1289k|  47.1 |   736M | 223 |6183 |2018 | 650 |7087 |  1 |  17k|8538 | 1.076125e+09 |      --      |    Inf | unknown
2388.13/2395.05	c  2395s| 25600 | 13495 |  1290k|  46.9 |   738M | 223 |6183 |2061 | 650 |7088 |  0 |  17k|8538 | 1.076125e+09 |      --      |    Inf | unknown
2486.36/2493.53	c  2494s| 25700 | 13557 |  1291k|  46.8 |   740M | 223 |6183 |2091 | 651 |7094 |  1 |  17k|8538 | 1.076125e+09 |      --      |    Inf | unknown
2571.72/2579.18	c  2579s| 25800 | 13635 |  1295k|  46.8 |   743M | 223 |6183 |2027 | 650 |7159 |  1 |  17k|8576 | 1.076125e+09 |      --      |    Inf | unknown
2572.51/2580.00	c  2580s| 25900 | 13705 |  1296k|  46.6 |   744M | 223 |6183 |2030 | 652 |7163 |  1 |  17k|8582 | 1.076125e+09 |      --      |    Inf | unknown
2574.01/2581.47	c  2581s| 26000 | 13781 |  1299k|  46.6 |   746M | 223 |6183 |1976 | 651 |7180 |  1 |  17k|8589 | 1.076125e+09 |      --      |    Inf | unknown
2575.21/2582.63	c  2583s| 26100 | 13845 |  1300k|  46.4 |   749M | 223 |6183 |1998 | 650 |7180 |  1 |  17k|8593 | 1.076125e+09 |      --      |    Inf | unknown
2576.11/2583.53	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2576.11/2583.53	c  2584s| 26200 | 13905 |  1300k|  46.3 |   756M | 223 |6183 |2010 | 650 |7180 |  1 |  17k|8595 | 1.076125e+09 |      --      |    Inf | unknown
2577.40/2584.82	c  2585s| 26300 | 13960 |  1301k|  46.2 |   760M | 223 |6183 |2025 | 650 |7189 |  1 |  17k|8603 | 1.076125e+09 |      --      |    Inf | unknown
2578.49/2585.94	c  2586s| 26400 | 14028 |  1302k|  46.0 |   761M | 223 |6183 |2046 | 653 |7224 |  1 |  17k|8613 | 1.076125e+09 |      --      |    Inf | unknown
2583.98/2591.46	c  2591s| 26500 | 14090 |  1304k|  45.9 |   762M | 223 |6183 |2024 | 654 |7231 |  0 |  17k|8625 | 1.076125e+09 |      --      |    Inf | unknown
2594.45/2601.91	c  2602s| 26600 | 14150 |  1307k|  45.9 |   762M | 223 |6183 |2010 | 651 |7235 |  0 |  17k|8631 | 1.076125e+09 |      --      |    Inf | unknown
2595.24/2602.77	c  2603s| 26700 | 14218 |  1309k|  45.8 |   762M | 223 |6183 |2011 | 650 |7236 |  1 |  17k|8633 | 1.076125e+09 |      --      |    Inf | unknown
2597.14/2604.62	c  2605s| 26800 | 14282 |  1312k|  45.7 |   762M | 223 |6183 |1934 | 662 |7298 |  1 |  17k|8669 | 1.076125e+09 |      --      |    Inf | unknown
2598.54/2606.07	c  2606s| 26900 | 14362 |  1315k|  45.7 |   762M | 223 |6183 |1943 | 659 |7351 |  1 |  17k|8697 | 1.076125e+09 |      --      |    Inf | unknown
2599.83/2607.38	c  2607s| 27000 | 14420 |  1317k|  45.6 |   762M | 223 |6183 |1939 | 655 |7440 |  1 |  18k|8699 | 1.076125e+09 |      --      |    Inf | unknown
2633.93/2641.57	c  2642s| 27100 | 14464 |  1321k|  45.5 |   762M | 223 |6183 |1991 | 661 |7471 |  1 |  18k|8705 | 1.076125e+09 |      --      |    Inf | unknown
2636.83/2644.43	c  2644s| 27200 | 14520 |  1326k|  45.6 |   763M | 223 |6183 |1870 | 639 |7589 |  1 |  18k|8757 | 1.076125e+09 |      --      |    Inf | unknown
2639.61/2647.20	c  2647s| 27300 | 14572 |  1334k|  45.7 |   766M | 223 |6183 |1891 | 658 |7685 |  1 |  18k|8760 | 1.076125e+09 |      --      |    Inf | unknown
2640.91/2648.55	c  2649s| 27400 | 14630 |  1337k|  45.6 |   768M | 223 |6183 |1941 | 650 |7685 |  1 |  18k|8761 | 1.076125e+09 |      --      |    Inf | unknown
2642.20/2649.81	c  2650s| 27500 | 14676 |  1341k|  45.6 |   769M | 223 |6183 |1980 | 653 |7688 |  0 |  18k|8761 | 1.076125e+09 |      --      |    Inf | unknown
2655.47/2663.14	c  2663s| 27600 | 14730 |  1348k|  45.7 |   770M | 223 |6183 |2019 | 654 |7703 |  1 |  18k|8766 | 1.076125e+09 |      --      |    Inf | unknown
2656.37/2664.02	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2656.37/2664.02	c  2664s| 27700 | 14788 |  1349k|  45.6 |   770M | 223 |6183 |2029 | 654 |7709 |  1 |  18k|8779 | 1.076125e+09 |      --      |    Inf | unknown
2657.76/2665.47	c  2665s| 27800 | 14840 |  1354k|  45.6 |   771M | 223 |6183 |2033 | 661 |7726 |  1 |  18k|8788 | 1.076125e+09 |      --      |    Inf | unknown
2659.65/2667.38	c  2667s| 27900 | 14892 |  1360k|  45.6 |   771M | 223 |6183 |1938 | 654 |7756 |  2 |  18k|8794 | 1.076125e+09 |      --      |    Inf | unknown
2662.34/2670.02	c  2670s| 28000 | 14936 |  1367k|  45.7 |   771M | 223 |6183 |2001 | 648 |7760 |  1 |  18k|8795 | 1.076125e+09 |      --      |    Inf | unknown
2701.13/2708.96	c  2709s| 28100 | 14988 |  1370k|  45.7 |   771M | 223 |6183 |2002 | 654 |7768 |  0 |  18k|8807 | 1.076125e+09 |      --      |    Inf | unknown
2703.62/2711.48	c  2711s| 28200 | 15026 |  1381k|  45.9 |   771M | 223 |6183 |2020 | 656 |7774 |  1 |  19k|8809 | 1.076125e+09 |      --      |    Inf | unknown
2704.81/2712.66	c  2713s| 28300 | 15082 |  1385k|  45.9 |   772M | 223 |6183 |2052 | 657 |7775 |  1 |  19k|8809 | 1.076125e+09 |      --      |    Inf | unknown
2706.90/2714.79	c  2715s| 28400 | 15148 |  1392k|  45.9 |   772M | 223 |6183 |2020 | 656 |7856 |  1 |  19k|8829 | 1.076125e+09 |      --      |    Inf | unknown
2707.80/2715.69	c  2716s| 28500 | 15194 |  1395k|  45.9 |   772M | 223 |6183 |2031 | 657 |7858 |  1 |  19k|8829 | 1.076125e+09 |      --      |    Inf | unknown
2709.39/2717.25	c  2717s| 28600 | 15238 |  1400k|  45.9 |   772M | 223 |6183 |2026 | 661 |7864 |  1 |  19k|8835 | 1.076125e+09 |      --      |    Inf | unknown
2710.30/2718.12	c  2718s| 28700 | 15286 |  1402k|  45.8 |   773M | 223 |6183 |1993 | 658 |7871 |  1 |  19k|8843 | 1.076125e+09 |      --      |    Inf | unknown
2711.89/2719.77	c  2720s| 28800 | 15326 |  1405k|  45.8 |   774M | 223 |6183 |2122 | 659 |7872 |  1 |  19k|8843 | 1.076125e+09 |      --      |    Inf | unknown
2714.08/2721.96	c  2722s| 28900 | 15416 |  1409k|  45.7 |   775M | 223 |6183 |1924 | 650 |7956 |  1 |  19k|8888 | 1.076125e+09 |      --      |    Inf | unknown
2715.28/2723.19	c  2723s| 29000 | 15452 |  1412k|  45.7 |   777M | 223 |6183 |1915 | 650 |7956 |  0 |  19k|8888 | 1.076125e+09 |      --      |    Inf | unknown
2716.28/2724.19	c  2724s| 29100 | 15503 |  1414k|  45.6 |   777M | 223 |6183 |1906 | 657 |7960 |  0 |  19k|8888 | 1.076125e+09 |      --      |    Inf | unknown
2765.73/2773.70	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2765.73/2773.70	c  2774s| 29200 | 15553 |  1420k|  45.7 |   777M | 223 |6183 |2014 | 657 |7960 |  1 |  19k|8888 | 1.076125e+09 |      --      |    Inf | unknown
2778.50/2786.53	c  2787s| 29300 | 15619 |  1424k|  45.7 |   777M | 223 |6183 |1890 | 661 |8012 |  1 |  19k|8910 | 1.076125e+09 |      --      |    Inf | unknown
2779.39/2787.48	c  2787s| 29400 | 15665 |  1427k|  45.6 |   778M | 223 |6183 |1962 | 661 |8012 |  1 |  19k|8910 | 1.076125e+09 |      --      |    Inf | unknown
2780.49/2788.55	c  2789s| 29500 | 15713 |  1429k|  45.5 |   778M | 223 |6183 |2014 | 657 |8014 |  1 |  19k|8910 | 1.076125e+09 |      --      |    Inf | unknown
2790.67/2798.77	c  2799s| 29600 | 15759 |  1431k|  45.4 |   778M | 223 |6183 |2004 | 650 |8018 |  1 |  19k|8910 | 1.076125e+09 |      --      |    Inf | unknown
2791.46/2799.52	c  2800s| 29700 | 15815 |  1433k|  45.3 |   778M | 223 |6183 |1998 | 650 |8021 |  1 |  19k|8915 | 1.076125e+09 |      --      |    Inf | unknown
2792.76/2800.82	c  2801s| 29800 | 15891 |  1435k|  45.3 |   778M | 223 |6183 |1878 | 649 |8089 |  1 |  19k|8938 | 1.076125e+09 |      --      |    Inf | unknown
2794.65/2802.72	c  2803s| 29900 | 15939 |  1440k|  45.3 |   778M | 223 |6183 |1918 | 644 |8124 |  1 |  20k|8945 | 1.076125e+09 |      --      |    Inf | unknown
2796.15/2804.29	c  2804s| 30000 | 15997 |  1443k|  45.2 |   779M | 223 |6183 |1917 | 651 |8145 |  1 |  20k|8962 | 1.076125e+09 |      --      |    Inf | unknown
2797.64/2805.75	c  2806s| 30100 | 16063 |  1445k|  45.1 |   781M | 223 |6183 |1803 | 639 |8212 |  1 |  20k|8980 | 1.076125e+09 |      --      |    Inf | unknown
2805.22/2813.31	c  2813s| 30200 | 16125 |  1450k|  45.2 |   782M | 223 |6183 |1770 | 648 |8261 |  1 |  20k|9025 | 1.076125e+09 |      --      |    Inf | unknown
2807.02/2815.17	c  2815s| 30300 | 16175 |  1457k|  45.2 |   782M | 223 |6183 |1874 | 649 |8262 |  0 |  20k|9025 | 1.076125e+09 |      --      |    Inf | unknown
2809.91/2818.09	c  2818s| 30400 | 16249 |  1461k|  45.2 |   783M | 223 |6183 |1810 | 658 |8320 |  1 |  20k|9060 | 1.076125e+09 |      --      |    Inf | unknown
2812.00/2820.18	c  2820s| 30500 | 16291 |  1469k|  45.3 |   783M | 223 |6183 |1891 | 657 |8320 |  1 |  20k|9060 | 1.076125e+09 |      --      |    Inf | unknown
2813.49/2821.68	c  2822s| 30600 | 16357 |  1473k|  45.3 |   786M | 223 |6183 |1863 | 665 |8379 |  1 |  20k|9081 | 1.076125e+09 |      --      |    Inf | unknown
2815.38/2823.53	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2815.38/2823.53	c  2824s| 30700 | 16401 |  1480k|  45.4 |   787M | 223 |6183 |1955 | 661 |8384 |  1 |  20k|9087 | 1.076125e+09 |      --      |    Inf | unknown
2838.84/2847.06	c  2847s| 30800 | 16451 |  1487k|  45.5 |   788M | 223 |6183 |1924 | 659 |8388 |  2 |  20k|9087 | 1.076125e+09 |      --      |    Inf | unknown
2839.93/2848.11	c  2848s| 30900 | 16497 |  1491k|  45.5 |   788M | 223 |6183 |1889 | 659 |8390 |  0 |  20k|9087 | 1.076125e+09 |      --      |    Inf | unknown
2842.62/2850.81	c  2851s| 31000 | 16535 |  1503k|  45.7 |   789M | 223 |6183 |2046 | 664 |8396 |  1 |  20k|9100 | 1.076125e+09 |      --      |    Inf | unknown
2865.07/2873.38	c  2873s| 31100 | 16589 |  1506k|  45.6 |   789M | 223 |6183 |2054 | 660 |8399 |  1 |  20k|9108 | 1.076125e+09 |      --      |    Inf | unknown
2868.87/2877.17	c  2877s| 31200 | 16649 |  1507k|  45.5 |   789M | 223 |6183 |1999 | 661 |8400 |  1 |  20k|9113 | 1.076125e+09 |      --      |    Inf | unknown
2893.91/2902.22	c  2902s| 31300 | 16693 |  1512k|  45.6 |   790M | 223 |6183 |2016 | 659 |8406 |  1 |  21k|9137 | 1.076125e+09 |      --      |    Inf | unknown
2898.49/2906.84	c  2907s| 31400 | 16720 |  1524k|  45.8 |   791M | 223 |6183 |1928 | 660 |8437 |  1 |  21k|9241 | 1.076125e+09 |      --      |    Inf | unknown
2899.69/2908.02	c  2908s| 31500 | 16770 |  1528k|  45.7 |   791M | 223 |6183 |1850 | 637 |8439 |  1 |  21k|9248 | 1.076125e+09 |      --      |    Inf | unknown
2901.58/2909.97	c  2910s| 31600 | 16826 |  1530k|  45.7 |   791M | 223 |6183 |1950 | 653 |8504 |  1 |  21k|9312 | 1.076125e+09 |      --      |    Inf | unknown
2903.17/2911.54	c  2912s| 31700 | 16872 |  1532k|  45.6 |   792M | 223 |6183 |1945 | 654 |8528 |  1 |  21k|9339 | 1.076125e+09 |      --      |    Inf | unknown
2904.07/2912.47	c  2912s| 31800 | 16922 |  1535k|  45.5 |   792M | 223 |6183 |1917 | 642 |8538 |  1 |  21k|9339 | 1.076125e+09 |      --      |    Inf | unknown
2905.87/2914.22	c  2914s| 31900 | 16976 |  1537k|  45.5 |   794M | 223 |6183 |1993 | 648 |8577 |  1 |  21k|9369 | 1.076125e+09 |      --      |    Inf | unknown
2908.16/2916.58	c  2917s| 32000 | 17036 |  1542k|  45.5 |   802M | 223 |6183 |1923 | 652 |8646 |  1 |  21k|9431 | 1.076125e+09 |      --      |    Inf | unknown
2910.55/2918.98	c  2919s| 32100 | 17108 |  1546k|  45.5 |   813M | 223 |6183 |1838 | 643 |8741 |  1 |  21k|9489 | 1.076125e+09 |      --      |    Inf | unknown
2911.45/2919.80	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2911.45/2919.80	c  2920s| 32200 | 17144 |  1549k|  45.4 |   813M | 223 |6183 |1825 | 647 |8763 |  1 |  21k|9493 | 1.076125e+09 |      --      |    Inf | unknown
2913.34/2921.71	c  2922s| 32300 | 17186 |  1556k|  45.5 |   814M | 223 |6183 |1911 | 650 |8771 |  1 |  21k|9507 | 1.076125e+09 |      --      |    Inf | unknown
2944.69/2953.19	c  2953s| 32400 | 17238 |  1558k|  45.4 |   814M | 223 |6183 |1910 | 647 |8781 |  1 |  21k|9514 | 1.076125e+09 |      --      |    Inf | unknown
2945.78/2954.26	c  2954s| 32500 | 17268 |  1561k|  45.4 |   814M | 223 |6183 |1978 | 647 |8786 |  1 |  21k|9530 | 1.076125e+09 |      --      |    Inf | unknown
2947.47/2955.93	c  2956s| 32600 | 17318 |  1564k|  45.3 |   816M | 223 |6183 |2088 | 645 |8796 |  0 |  22k|9539 | 1.076125e+09 |      --      |    Inf | unknown
2949.26/2957.73	c  2958s| 32700 | 17354 |  1570k|  45.4 |   817M | 223 |6183 |2188 | 646 |8801 |  0 |  22k|9544 | 1.076125e+09 |      --      |    Inf | unknown
2950.66/2959.17	c  2959s| 32800 | 17402 |  1575k|  45.4 |   819M | 223 |6183 |2237 | 650 |8807 |  0 |  22k|9544 | 1.076125e+09 |      --      |    Inf | unknown
2952.56/2961.03	c  2961s| 32900 | 17434 |  1581k|  45.4 |   823M | 223 |6183 |2248 | 646 |8809 |  1 |  22k|9546 | 1.076125e+09 |      --      |    Inf | unknown
2954.15/2962.69	c  2963s| 33000 | 17476 |  1584k|  45.4 |   824M | 223 |6183 |2283 | 647 |8825 |  0 |  22k|9558 | 1.076125e+09 |      --      |    Inf | unknown
2969.31/2977.84	c  2978s| 33100 | 17524 |  1589k|  45.4 |   825M | 223 |6183 |2413 | 649 |8831 |  1 |  22k|9565 | 1.076125e+09 |      --      |    Inf | unknown
2970.11/2978.64	c  2979s| 33200 | 17558 |  1591k|  45.3 |   826M | 223 |6183 |2434 | 646 |8834 |  1 |  22k|9567 | 1.076125e+09 |      --      |    Inf | unknown
2971.31/2979.80	c  2980s| 33300 | 17602 |  1593k|  45.3 |   826M | 223 |6183 |2474 | 646 |8839 |  1 |  22k|9574 | 1.076125e+09 |      --      |    Inf | unknown
2972.11/2980.68	c  2981s| 33400 | 17654 |  1595k|  45.2 |   827M | 223 |6183 |2475 | 645 |8844 |  0 |  22k|9584 | 1.076125e+09 |      --      |    Inf | unknown
2981.28/2989.88	c  2990s| 33500 | 17676 |  1603k|  45.3 |   827M | 223 |6183 |2560 | 649 |8858 |  1 |  22k|9589 | 1.076125e+09 |      --      |    Inf | unknown
2982.88/2991.40	c  2991s| 33600 | 17724 |  1608k|  45.3 |   827M | 223 |6183 |2564 | 651 |8861 |  1 |  22k|9589 | 1.076125e+09 |      --      |    Inf | unknown
2985.77/2994.36	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2985.77/2994.36	c  2994s| 33700 | 17762 |  1615k|  45.4 |   827M | 223 |6183 |2444 | 650 |8871 |  1 |  23k|9590 | 1.076125e+09 |      --      |    Inf | unknown
2991.06/2999.67	c  3000s| 33800 | 17820 |  1618k|  45.3 |   827M | 223 |6183 |2443 | 647 |8875 |  1 |  23k|9592 | 1.076125e+09 |      --      |    Inf | unknown
2992.35/3000.92	c  3001s| 33900 | 17870 |  1621k|  45.3 |   828M | 223 |6183 |2499 | 647 |8875 |  1 |  23k|9592 | 1.076125e+09 |      --      |    Inf | unknown
2993.35/3001.95	c  3002s| 34000 | 17918 |  1624k|  45.2 |   828M | 223 |6183 |2551 | 644 |8881 |  1 |  23k|9598 | 1.076125e+09 |      --      |    Inf | unknown
3002.13/3010.78	c  3011s| 34100 | 17964 |  1627k|  45.2 |   829M | 223 |6183 |2568 | 647 |8885 |  1 |  23k|9598 | 1.076125e+09 |      --      |    Inf | unknown
3003.33/3011.90	c  3012s| 34200 | 18006 |  1630k|  45.1 |   830M | 223 |6183 |2578 | 644 |8886 |  0 |  23k|9609 | 1.076125e+09 |      --      |    Inf | unknown
3004.53/3013.17	c  3013s| 34300 | 18044 |  1635k|  45.2 |   831M | 223 |6183 |2638 | 647 |8896 |  1 |  23k|9611 | 1.076125e+09 |      --      |    Inf | unknown
3025.58/3034.24	c  3034s| 34400 | 18096 |  1639k|  45.1 |   831M | 223 |6183 |2657 | 648 |8907 |  1 |  23k|9613 | 1.076125e+09 |      --      |    Inf | unknown
3060.21/3068.98	c  3069s| 34500 | 18134 |  1642k|  45.1 |   831M | 223 |6183 |2637 | 645 |8915 |  1 |  23k|9616 | 1.076125e+09 |      --      |    Inf | unknown
3061.41/3070.14	c  3070s| 34600 | 18178 |  1646k|  45.1 |   831M | 223 |6183 |2742 | 650 |8924 |  1 |  23k|9618 | 1.076125e+09 |      --      |    Inf | unknown
3086.35/3095.19	c  3095s| 34700 | 18202 |  1648k|  45.0 |   831M | 223 |6183 |2751 | 655 |8934 |  0 |  23k|9618 | 1.076125e+09 |      --      |    Inf | unknown
3149.81/3158.73	c  3159s| 34800 | 18250 |  1651k|  45.0 |   832M | 223 |6183 |2584 | 649 |8940 |  1 |  24k|9620 | 1.076125e+09 |      --      |    Inf | unknown
3151.01/3159.96	c  3160s| 34900 | 18298 |  1654k|  44.9 |   832M | 223 |6183 |2650 | 648 |8957 |  1 |  24k|9624 | 1.076125e+09 |      --      |    Inf | unknown
3153.50/3162.43	c  3162s| 35000 | 18362 |  1657k|  44.9 |   834M | 223 |6183 |2517 | 644 |9023 |  1 |  24k|9688 | 1.076125e+09 |      --      |    Inf | unknown
3161.19/3170.13	c  3170s| 35100 | 18426 |  1659k|  44.8 |   835M | 223 |6183 |2556 | 646 |9037 |  0 |  24k|9713 | 1.076125e+09 |      --      |    Inf | unknown
3163.27/3172.22	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3163.27/3172.22	c  3172s| 35200 | 18468 |  1668k|  44.9 |   836M | 223 |6183 |2670 | 647 |9046 |  1 |  24k|9729 | 1.076125e+09 |      --      |    Inf | unknown
3164.57/3173.53	c  3174s| 35300 | 18502 |  1670k|  44.9 |   836M | 223 |6183 |2709 | 643 |9053 |  1 |  24k|9729 | 1.076125e+09 |      --      |    Inf | unknown
3194.50/3203.57	c  3204s| 35400 | 18540 |  1678k|  45.0 |   836M | 223 |6183 |2861 | 650 |9079 |  1 |  24k|9733 | 1.076125e+09 |      --      |    Inf | unknown
3195.70/3204.70	c  3205s| 35500 | 18586 |  1681k|  44.9 |   837M | 223 |6183 |2905 | 653 |9082 |  0 |  24k|9733 | 1.076125e+09 |      --      |    Inf | unknown
3197.69/3206.74	c  3207s| 35600 | 18628 |  1689k|  45.0 |   838M | 223 |6183 |3075 | 645 |9092 |  1 |  24k|9742 | 1.076125e+09 |      --      |    Inf | unknown
3199.38/3208.44	c  3208s| 35700 | 18670 |  1694k|  45.1 |   838M | 223 |6183 |3225 | 647 |9098 |  1 |  25k|9746 | 1.076125e+09 |      --      |    Inf | unknown
3200.48/3209.57	c  3210s| 35800 | 18718 |  1697k|  45.0 |   840M | 223 |6183 |3267 | 643 |9106 |  0 |  25k|9746 | 1.076125e+09 |      --      |    Inf | unknown
3202.77/3211.86	c  3212s| 35900 | 18769 |  1699k|  44.9 |   841M | 223 |6183 |3346 | 643 |9111 |  0 |  25k|9747 | 1.076125e+09 |      --      |    Inf | unknown
3204.08/3213.11	c  3213s| 36000 | 18823 |  1701k|  44.9 |   843M | 223 |6183 |3392 | 646 |9119 |  1 |  25k|9751 | 1.076125e+09 |      --      |    Inf | unknown
3204.67/3213.79	c  3214s| 36100 | 18889 |  1702k|  44.8 |   843M | 223 |6183 |3398 | 643 |9120 |  1 |  25k|9752 | 1.076125e+09 |      --      |    Inf | unknown
3210.16/3219.20	c  3219s| 36200 | 18929 |  1704k|  44.7 |   847M | 223 |6183 |3219 | 646 |9133 |  0 |  25k|9761 | 1.076125e+09 |      --      |    Inf | unknown
3253.76/3262.97	c  3263s| 36300 | 18963 |  1706k|  44.6 |   848M | 223 |6183 |3259 | 645 |9143 |  1 |  25k|9761 | 1.076125e+09 |      --      |    Inf | unknown
3255.06/3264.25	c  3264s| 36400 | 19007 |  1707k|  44.6 |   852M | 223 |6183 |3287 | 646 |9156 |  1 |  25k|9768 | 1.076125e+09 |      --      |    Inf | unknown
3256.45/3265.64	c  3266s| 36500 | 19061 |  1709k|  44.5 |   854M | 223 |6183 |2977 |   0 |9165 |  0 |  25k|9782 | 1.076125e+09 |      --      |    Inf | unknown
3259.04/3268.25	c  3268s| 36600 | 19124 |  1711k|  44.4 |   855M | 223 |6183 |2834 | 648 |9236 |  0 |  25k|9816 | 1.076125e+09 |      --      |    Inf | unknown
3263.73/3272.97	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3263.73/3272.97	c  3273s| 36700 | 19176 |  1712k|  44.3 |   855M | 223 |6183 |2707 | 656 |9260 |  8 |  25k|9831 | 1.076125e+09 |      --      |    Inf | unknown
3295.56/3304.82	c  3305s| 36800 | 19220 |  1714k|  44.3 |   856M | 223 |6183 |2726 | 644 |9271 |  1 |  25k|9831 | 1.076125e+09 |      --      |    Inf | unknown
3333.08/3342.42	c  3342s| 36900 | 19258 |  1716k|  44.2 |   858M | 223 |6183 |2758 | 643 |9287 |  1 |  25k|9845 | 1.076125e+09 |      --      |    Inf | unknown
3335.37/3344.71	c  3345s| 37000 | 19318 |  1719k|  44.2 |   860M | 223 |6183 |2758 | 645 |9375 |  1 |  25k|9886 | 1.076125e+09 |      --      |    Inf | unknown
3338.57/3348.00	c  3348s| 37100 | 19368 |  1720k|  44.1 |   860M | 223 |6183 |2805 | 644 |9386 |  1 |  25k|9888 | 1.076125e+09 |      --      |    Inf | unknown
3342.56/3351.92	c  3352s| 37200 | 19406 |  1721k|  44.0 |   865M | 223 |6183 |2825 | 650 |9404 |  1 |  25k|9903 | 1.076125e+09 |      --      |    Inf | unknown
3344.35/3353.70	c  3354s| 37300 | 19456 |  1724k|  43.9 |   867M | 223 |6183 |2803 | 643 |9468 |  1 |  25k|9925 | 1.076125e+09 |      --      |    Inf | unknown
3346.04/3355.46	c  3355s| 37400 | 19504 |  1725k|  43.9 |   867M | 223 |6183 |2802 | 648 |9483 |  4 |  25k|9942 | 1.076125e+09 |      --      |    Inf | unknown
3357.02/3366.48	c  3366s| 37500 | 19563 |  1728k|  43.8 |   868M | 223 |6183 |2793 | 653 |9558 |  2 |  25k|9974 | 1.076126e+09 |      --      |    Inf | unknown
3361.21/3370.69	c  3371s| 37600 | 19611 |  1729k|  43.7 |   871M | 223 |6183 |2826 | 650 |9588 |  0 |  25k|9993 | 1.076126e+09 |      --      |    Inf | unknown
3367.29/3376.70	c  3377s| 37700 | 19653 |  1734k|  43.8 |   871M | 223 |6183 |2864 | 645 |9597 |  0 |  25k|9994 | 1.076126e+09 |      --      |    Inf | unknown
3430.66/3440.28	c  3440s| 37800 | 19707 |  1736k|  43.7 |   871M | 223 |6183 |2832 | 643 |9602 |  1 |  25k|  10k| 1.076126e+09 |      --      |    Inf | unknown
3432.65/3442.26	c  3442s| 37900 | 19755 |  1741k|  43.7 |   871M | 223 |6183 |2885 | 647 |9610 |  1 |  26k|  10k| 1.076126e+09 |      --      |    Inf | unknown
3439.74/3449.36	c  3449s| 38000 | 19805 |  1745k|  43.7 |   871M | 223 |6183 |2807 | 648 |9625 |  1 |  26k|  10k| 1.076126e+09 |      --      |    Inf | unknown
3440.93/3450.52	c  3451s| 38100 | 19855 |  1748k|  43.7 |   871M | 223 |6183 |2691 | 646 |9630 |  1 |  26k|  10k| 1.076126e+09 |      --      |    Inf | unknown
3441.63/3451.23	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3441.63/3451.23	c  3451s| 38200 | 19901 |  1750k|  43.6 |   872M | 223 |6183 |2593 | 648 |9632 |  1 |  26k|  10k| 1.076126e+09 |      --      |    Inf | unknown
3445.82/3455.47	c  3455s| 38300 | 19943 |  1753k|  43.6 |   872M | 223 |6183 |2453 | 643 |9635 |  0 |  26k|  10k| 1.076126e+09 |      --      |    Inf | unknown
3451.21/3460.82	c  3461s| 38400 | 19999 |  1757k|  43.6 |   873M | 223 |6183 |2394 | 643 |9639 |  0 |  26k|  10k| 1.076126e+09 |      --      |    Inf | unknown
3452.80/3462.44	c  3462s| 38500 | 20033 |  1762k|  43.6 |   873M | 223 |6183 |2398 | 643 |9647 |  1 |  26k|  10k| 1.076126e+09 |      --      |    Inf | unknown
3454.30/3463.92	c  3464s| 38600 | 20069 |  1766k|  43.6 |   874M | 223 |6183 |2408 | 647 |9653 |  1 |  26k|  10k| 1.076126e+09 |      --      |    Inf | unknown
3462.38/3472.04	c  3472s| 38700 | 20115 |  1770k|  43.6 |   875M | 223 |6183 |2231 | 643 |9662 |  0 |  26k|  10k| 1.076126e+09 |      --      |    Inf | unknown
3464.17/3473.83	c  3474s| 38800 | 20153 |  1775k|  43.6 |   875M | 223 |6183 |2247 | 644 |9669 |  1 |  26k|  10k| 1.076126e+09 |      --      |    Inf | unknown
3465.66/3475.33	c  3475s| 38900 | 20187 |  1780k|  43.6 |   875M | 223 |6183 |2343 | 645 |9670 |  1 |  26k|  10k| 1.076126e+09 |      --      |    Inf | unknown
3466.86/3476.58	c  3477s| 39000 | 20227 |  1785k|  43.6 |   876M | 223 |6183 |2359 | 644 |9671 |  1 |  26k|  10k| 1.076126e+09 |      --      |    Inf | unknown
3587.68/3597.69	c 
3587.68/3597.69	c SCIP Status        : solving was interrupted [time limit reached]
3587.68/3597.69	c Solving Time (sec) : 3597.69
3587.68/3597.69	c Solving Nodes      : 39061 (total of 40404 nodes in 2 runs)
3587.68/3597.69	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
3587.68/3597.69	c Dual Bound         : +1.07612557431971e+09
3587.68/3597.69	c Gap                : infinite
3587.68/3597.69	s UNKNOWN
3587.68/3597.69	c SCIP Status        : solving was interrupted [time limit reached]
3587.68/3597.69	c Total Time         :    3597.69
3587.68/3597.69	c   solving          :    3597.69
3587.68/3597.69	c   presolving       :       3.12 (included in solving)
3587.68/3597.69	c   reading          :       0.03 (included in solving)
3587.68/3597.69	c   copying          :       3.83 (109 #copies) (minimal 0.02, maximal 0.05, average 0.04)
3587.68/3597.69	c Original Problem   :
3587.68/3597.69	c   Problem name     : HOME/instance-4432570-1721061635.opb
3587.68/3597.69	c   Variables        : 7287 (7287 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.68/3597.69	c   Constraints      : 529 initial, 529 maximal
3587.68/3597.69	c   Objective        : minimize, 31 non-zeros (abs.min = 1, abs.max = 1.07374e+09)
3587.68/3597.69	c Presolved Problem  :
3587.68/3597.69	c   Problem name     : t_HOME/instance-4432570-1721061635.opb
3587.68/3597.69	c   Variables        : 6183 (6183 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.68/3597.69	c   Constraints      : 1122 initial, 3954 maximal
3587.68/3597.69	c   Objective        : minimize, 18 non-zeros (abs.min = 1, abs.max = 131072)
3587.68/3597.69	c   Nonzeros         : 206578 constraint, 220977 clique table
3587.68/3597.69	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
3587.68/3597.69	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.68/3597.69	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.68/3597.69	c   domcol           :       0.03       0.00      3          0          0          0          0          0          0          0          0          0
3587.68/3597.69	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.68/3597.69	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.68/3597.69	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.68/3597.69	c   dualsparsify     :       0.02       0.00      1          0          0          0          0          0          0          0          0          0
3587.68/3597.69	c   gateextraction   :       0.01       0.00     12          0          0          0          0          0          0          0          0          0
3587.68/3597.69	c   implics          :       0.00       0.00     16          0          0          0          0          0          0          0          0          0
3587.68/3597.69	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.68/3597.69	c   milp             :       0.05       0.00      1          1          0          0          0          0          0          0          0          0
3587.68/3597.69	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.68/3597.69	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.68/3597.69	c   sparsify         :       0.06       0.00      2          0          0          0          0          0          0          0          0       2696
3587.68/3597.69	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.68/3597.69	c   trivial          :       0.00       0.00     29        312          0          0          0          0          0          0          0          0
3587.68/3597.69	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.68/3597.69	c   dualfix          :       0.00       0.00     29          0          0          0          0          0          0          0          0          0
3587.68/3597.69	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.68/3597.69	c   probing          :       0.01       0.00      1          0          0          0          0          0          0          0          0          0
3587.68/3597.69	c   pseudoobj        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.68/3597.69	c   symmetry         :       0.04       0.00      1          0          0          0          0          0          0          0          0          0
3587.68/3597.69	c   vbounds          :       0.00       0.00      2          0          0          0          0          0          0          0          0          0
3587.68/3597.69	c   knapsack         :       0.07       0.00     36          3          0          0          0          0         35         97         10        166
3587.68/3597.69	c   setppc           :       0.01       0.00     50          0          0          0          0          0         18          0          0          0
3587.68/3597.69	c   linear           :       0.23       0.01     43        788          0          0        141          0         20        126      20473      29717
3587.68/3597.69	c   logicor          :       2.51       0.02     44          0          0          0          0          0         68          0          0       4366
3587.68/3597.69	c   benders          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.68/3597.69	c   components       :       0.04       0.00      2          0          0          0          0          0          0          0          0          0
3587.68/3597.69	c   root node        :          -          -      -        338          -          -        338          -          -          -          -          -
3587.68/3597.69	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
3587.68/3597.69	c   benderslp        :          0          0          0          0      33105          0          0       3503          0          0          0          0          0          0          0
3587.68/3597.69	c   integral         :          0          0          0          0      33105          0          0       3503          0          0       6265          0          0       3572      61948
3587.68/3597.69	c   knapsack         :         70+        97         37     140215          0          0          0          0    1638614        181     290830         95          5          0          0
3587.68/3597.69	c   setppc           :        508+       519         69     151699          0          0          0       3498      26844         23      23684          0          0          0          0
3587.68/3597.69	c   linear           :         91+        92         69     151684          0          0          0       3030    4164116       1555    1422210        687          5          0          0
3587.68/3597.69	c   logicor          :        453+      3255         69      47399          0          0          0          0      72808         85      11225          1          1          0          0
3587.68/3597.69	c   benders          :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3587.68/3597.69	c   fixedvar         :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3587.68/3597.69	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3587.68/3597.69	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3587.68/3597.69	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
3587.68/3597.69	c   benderslp        :       0.01       0.00       0.00       0.00       0.01       0.00       0.00       0.00       0.00       0.00
3587.68/3597.69	c   integral         :     130.17       0.00       0.00       0.00     130.17       0.00       0.00       0.00       0.00       0.00
3587.68/3597.69	c   knapsack         :      25.14       0.00       8.11       8.97       0.00       0.00       0.00       0.00       3.57       4.49
3587.68/3597.69	c   setppc           :       0.75       0.00       0.00       0.17       0.00       0.00       0.00       0.48       0.01       0.09
3587.68/3597.69	c   linear           :    2602.40       0.01      20.70    2505.95       0.00       0.00       0.00       0.55      71.03       4.16
3587.68/3597.69	c   logicor          :       1.52       0.02       0.02       0.56       0.00       0.00       0.00       0.00       0.09       0.83
3587.68/3597.69	c   benders          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3587.68/3597.69	c   fixedvar         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3587.68/3597.69	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3587.68/3597.69	c   components       :       0.02       0.00       0.00       0.01       0.00       0.00       0.00       0.00       0.00       0.00
3587.68/3597.69	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
3587.68/3597.69	c   dualfix          :          2          0          0          0
3587.68/3597.69	c   genvbounds       :          0          0          0          0
3587.68/3597.69	c   nlobbt           :          0          0          0          0
3587.68/3597.69	c   obbt             :          0          0          0          0
3587.68/3597.69	c   probing          :          0          0          0          0
3587.68/3597.69	c   pseudoobj        :     138458          0          0          0
3587.68/3597.69	c   redcost          :      66154          0          0          0
3587.68/3597.69	c   rootredcost      :          2          0          0          0
3587.68/3597.69	c   symmetry         :          0          0          0          0
3587.68/3597.69	c   vbounds          :      63541          0          0          0
3587.68/3597.69	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
3587.68/3597.69	c   dualfix          :       0.00       0.00       0.00       0.00       0.00       0.00
3587.68/3597.69	c   genvbounds       :       0.03       0.00       0.00       0.03       0.00       0.00
3587.68/3597.69	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
3587.68/3597.69	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
3587.68/3597.69	c   probing          :       0.01       0.00       0.01       0.00       0.00       0.00
3587.68/3597.69	c   pseudoobj        :       0.11       0.00       0.00       0.10       0.00       0.00
3587.68/3597.69	c   redcost          :       5.15       0.00       0.00       5.15       0.00       0.00
3587.68/3597.69	c   rootredcost      :       0.04       0.00       0.00       0.03       0.00       0.01
3587.68/3597.69	c   symmetry         :       0.12       0.00       0.04       0.06       0.00       0.03
3587.68/3597.69	c   vbounds          :       1.45       0.00       0.00       1.44       0.00       0.01
3587.68/3597.69	c Symmetry           :
3587.68/3597.69	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
3587.68/3597.69	c   orbital reduction:          0 reductions applied,          0 cutoffs
3587.68/3597.69	c   lexicographic red:          0 reductions applied,          0 cutoffs
3587.68/3597.69	c   shadow tree time :       0.08 s
3587.68/3597.69	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
3587.68/3597.69	c   propagation      :       4.54        397        384          -       5798      435.9         10     1039.2          -          -          -
3587.68/3597.69	c   infeasible LP    :     149.74      10695       5573          -      96358      690.2        168      931.2        495      212.7          0
3587.68/3597.69	c   bound exceed. LP :       0.03          8          9          -          1        1.0          0        0.0          4        1.0         73
3587.68/3597.69	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
3587.68/3597.69	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
3587.68/3597.69	c   applied globally :      44.50          -          -        296      26479      264.9          -          -        499          -          -
3587.68/3597.69	c   applied locally  :          -          -          -          0          0        0.0          -          -          0          -          -
3587.68/3597.69	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
3587.68/3597.69	c   cut pool         :      12.27          -       6764        124          -          -      26514      75952          -          -          -          -          -    (maximal pool size:       2490)
3587.68/3597.69	c   aggregation      :      37.49       0.00       1172         69          0          0      21384      52796          0       9888       9888          0          0
3587.68/3597.69	c   > cmir           :          -          -          -          -          -          -          -      28222          0       3944       3944          0          -
3587.68/3597.69	c   > flowcover      :          -          -          -          -          -          -          -      17384          0       4463       4463          0          -
3587.68/3597.69	c   > knapsackcover  :          -          -          -          -          -          -          -       7190          0       1481       1481          0          -
3587.68/3597.69	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.68/3597.69	c   clique           :       0.29       0.00         69         69          0          0          7         17          0          5          5          0          0
3587.68/3597.69	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.68/3597.69	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.68/3597.69	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.68/3597.69	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.68/3597.69	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.68/3597.69	c   gomory           :       4.61       0.00       1037         20          0          0       4661      21015          2       2205       2204          1          0
3587.68/3597.69	c   > gomorymi       :          -          -          -          -          -          -          -       9027          1        713        712          1          -
3587.68/3597.69	c   > strongcg       :          -          -          -          -          -          -          -      11988          1       1492       1492          0          -
3587.68/3597.69	c   impliedbounds    :       0.17       0.00       1172         69          0          0          2          2          0          2          2          0          0
3587.68/3597.69	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.68/3597.69	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.68/3597.69	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.68/3597.69	c   mcf              :       0.02       0.00          2          2          0          0          0          0          0          0          0          0          0
3587.68/3597.69	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.68/3597.69	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.68/3597.69	c   multilinear      :       0.00       0.00        424         69          0          0          0          0          0          0          0          0          0
3587.68/3597.69	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.68/3597.69	c   rapidlearning    :     332.52       0.00        100          2          0       3607          0          0          0          0          0          0          0
3587.68/3597.69	c   rlt              :       0.00       0.00        383         20          0          0          0          0          0          0          0          0          0
3587.68/3597.69	c   zerohalf         :       0.73       0.00       1057         40          0          0        462       2122          0        609        609          0          0
3587.68/3597.69	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
3587.68/3597.69	c   hybrid           :       0.62       0.00       3186         68      12722          2      63975        609          0       4948
3587.68/3597.69	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
3587.68/3597.69	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
3587.68/3597.69	c Pricers            :   ExecTime  SetupTime      Calls       Vars
3587.68/3597.69	c   problem variables:       0.00          -          0          0
3587.68/3597.69	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
3587.68/3597.69	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
3587.68/3597.69	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
3587.68/3597.69	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
3587.68/3597.69	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
3587.68/3597.69	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
3587.68/3597.69	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
3587.68/3597.69	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
3587.68/3597.69	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
3587.68/3597.69	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
3587.68/3597.69	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
3587.68/3597.69	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
3587.68/3597.69	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
3587.68/3597.69	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
3587.68/3597.69	c   relpscost        :     130.14       0.00      33105          0          0          0       6265          0       3741      61948
3587.68/3597.69	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
3587.68/3597.69	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
3587.68/3597.69	c   LP solutions     :       0.00          -          -          0          0
3587.68/3597.69	c   relax solutions  :       0.00          -          -          0          0
3587.68/3597.69	c   pseudo solutions :       0.00          -          -          0          0
3587.68/3597.69	c   strong branching :       0.05          -          -          0          0
3587.68/3597.69	c   actconsdiving    :       0.00       0.00          0          0          0
3587.68/3597.69	c   adaptivediving   :       1.18       0.00         24          0          0
3587.68/3597.69	c   alns             :       5.12       0.00          7          0          0
3587.68/3597.69	c   bound            :       0.00       0.00          0          0          0
3587.68/3597.69	c   clique           :       0.05       0.00          1          0          0
3587.68/3597.69	c   coefdiving       :       0.00       0.00          0          0          0
3587.68/3597.69	c   completesol      :       0.00       0.00          0          0          0
3587.68/3597.69	c   conflictdiving   :       0.83       0.00         13          0          0
3587.68/3597.69	c   crossover        :       0.01       0.00          0          0          0
3587.68/3597.69	c   dins             :       0.00       0.00          0          0          0
3587.68/3597.69	c   distributiondivin:       1.50       0.00         12          0          0
3587.68/3597.69	c   dps              :       0.00       0.00          0          0          0
3587.68/3597.69	c   dualval          :       0.00       0.00          0          0          0
3587.68/3597.69	c   farkasdiving     :       1.48       0.00          2          0          0
3587.68/3597.69	c   feasjump         :       0.77       0.00          2          0          0
3587.68/3597.69	c   feaspump         :       0.43       0.00          6          0          0
3587.68/3597.69	c   fixandinfer      :       0.00       0.00          0          0          0
3587.68/3597.69	c   fracdiving       :       0.89       0.00         12          0          0
3587.68/3597.69	c   gins             :       0.01       0.00          0          0          0
3587.68/3597.69	c   guideddiving     :       0.00       0.00          0          0          0
3587.68/3597.69	c   indcoefdiving    :       0.00       0.00          0          0          0
3587.68/3597.69	c   indicator        :       0.02       0.00          0          0          0
3587.68/3597.69	c   indicatordiving  :       0.00       0.00          0          0          0
3587.68/3597.69	c   indoneopt        :       0.01       0.00          0          0          0
3587.68/3597.69	c   indrounding      :       0.00       0.00          0          0          0
3587.68/3597.69	c   indtwoopt        :       0.00       0.00          0          0          0
3587.68/3597.69	c   intdiving        :       0.00       0.00          0          0          0
3587.68/3597.69	c   intshifting      :       0.00       0.00          0          0          0
3587.68/3597.69	c   linesearchdiving :       0.56       0.00         12          0          0
3587.68/3597.69	c   localbranching   :       0.00       0.00          0          0          0
3587.68/3597.69	c   locks            :       0.05       0.00          1          0          0
3587.68/3597.69	c   lpface           :       0.01       0.00          0          0          0
3587.68/3597.69	c   mpec             :       0.00       0.00          0          0          0
3587.68/3597.69	c   multistart       :       0.00       0.00          0          0          0
3587.68/3597.69	c   mutation         :       0.00       0.00          0          0          0
3587.68/3597.69	c   nlpdiving        :       0.00       0.00          0          0          0
3587.68/3597.69	c   objpscostdiving  :       1.67       0.00          7          0          0
3587.68/3597.69	c   octane           :       0.00       0.00          0          0          0
3587.68/3597.69	c   ofins            :       0.01       0.00          0          0          0
3587.68/3597.69	c   oneopt           :       0.02       0.00          0          0          0
3587.68/3597.69	c   padm             :       0.00       0.00          0          0          0
3587.68/3597.69	c   proximity        :       0.00       0.00          0          0          0
3587.68/3597.69	c   pscostdiving     :       2.38       0.00         13          0          0
3587.68/3597.69	c   randrounding     :       2.28       0.00       3498          0          0
3587.68/3597.69	c   rens             :       0.09       0.00          2          0          0
3587.68/3597.69	c   reoptsols        :       0.00       0.00          0          0          0
3587.68/3597.69	c   repair           :       0.00       0.00          0          0          0
3587.68/3597.69	c   rins             :       0.01       0.00          0          0          0
3587.68/3597.69	c   rootsoldiving    :       1.64       0.00          7          0          0
3587.68/3597.69	c   rounding         :       0.67       0.00       2619          0          0
3587.68/3597.69	c   scheduler        :       0.00       0.00          0          0          0
3587.68/3597.69	c   shiftandpropagate:       0.20       0.00          2          0          0
3587.68/3597.69	c   shifting         :       4.29       0.00       1090          0          0
3587.68/3597.69	c   simplerounding   :       0.01       0.00          0          0          0
3587.68/3597.69	c   smallcard        :       0.00       0.00          0          0          0
3587.68/3597.69	c   subnlp           :       0.02       0.00          0          0          0
3587.68/3597.69	c   trivial          :       0.00       0.00          4          0          0
3587.68/3597.69	c   trivialnegation  :       0.00       0.00          0          0          0
3587.68/3597.69	c   trustregion      :       0.00       0.00          0          0          0
3587.68/3597.69	c   trysol           :       0.01       0.00          0          0          0
3587.68/3597.69	c   twoopt           :       0.00       0.00          0          0          0
3587.68/3597.69	c   undercover       :       0.00       0.00          0          0          0
3587.68/3597.69	c   vbounds          :       0.26       0.00          2          0          0
3587.68/3597.69	c   veclendiving     :       0.54       0.00         12          0          0
3587.68/3597.69	c   zeroobj          :       0.00       0.00          0          0          0
3587.68/3597.69	c   zirounding       :       0.04       0.00       1000          0          0
3587.68/3597.69	c   other solutions  :          -          -          -          0          -
3587.68/3597.69	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
3587.68/3597.69	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.68/3597.69	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.68/3597.69	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.68/3597.69	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.68/3597.69	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.68/3597.69	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.68/3597.69	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.68/3597.69	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.68/3597.69	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.68/3597.69	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
3587.68/3597.69	c   primal LP        :       1.88       1217       1486    1486.00     788.94       1.65       1216
3587.68/3597.69	c   dual LP          :     305.07      45092    1730061      39.14    5670.98       1.08        888
3587.68/3597.69	c   lex dual LP      :       0.00          0          0       0.00          -
3587.68/3597.69	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
3587.68/3597.69	c   resolve instable :       0.00          0          0       0.00          -
3587.68/3597.69	c   diving/probing LP:      15.65       3723      55377      14.87    3537.56
3587.68/3597.69	c   strong branching :      72.49      10047     387946      38.61    5351.53          -          -       1816
3587.68/3597.69	c     (at root node) :          -         16       3531     220.69          -
3587.68/3597.69	c   conflict analysis:       0.01          8         73       9.12    5334.70
3587.68/3597.69	c B&B Tree           :
3587.68/3597.69	c   number of runs   :          2
3587.68/3597.69	c   nodes            :      39061 (29664 internal, 9397 leaves)
3587.68/3597.69	c   feasible leaves  :          0
3587.68/3597.69	c   infeas. leaves   :       9396
3587.68/3597.69	c   objective leaves :          0
3587.68/3597.69	c   nodes (total)    :      40404 (30974 internal, 9430 leaves)
3587.68/3597.69	c   nodes left       :      20247
3587.68/3597.69	c   max depth        :        223
3587.68/3597.69	c   max depth (total):        223
3587.68/3597.69	c   backtracks       :        695 (1.8%)
3587.68/3597.69	c   early backtracks :          0 (0.0%)
3587.68/3597.69	c   nodes exc. ref.  :          0 (0.0%)
3587.68/3597.69	c   delayed cutoffs  :         22
3587.68/3597.69	c   repropagations   :      30272 (33025 domain reductions, 19 cutoffs)
3587.68/3597.69	c   avg switch length:       3.74
3587.68/3597.69	c   switching time   :      10.90
3587.68/3597.69	c Root Node          :
3587.68/3597.69	c   First LP value   : +1.07602964717885e+09
3587.68/3597.69	c   First LP Iters   :       1554 (9889.96 Iter/sec)
3587.68/3597.69	c   First LP Time    :       0.16
3587.68/3597.69	c   Final Dual Bound : +1.07611777913314e+09
3587.68/3597.69	c   Final Root Iters :      25936
3587.68/3597.69	c   Root LP Estimate : +1.07616146145189e+09
3587.68/3597.69	c Solution           :
3587.68/3597.69	c   Solutions found  :          0 (0 improvements)
3587.68/3597.69	c   Primal Bound     :          -
3587.68/3597.69	c   Dual Bound       : +1.07612557431971e+09
3587.68/3597.69	c   Gap              :   infinite
3587.68/3597.69	c Integrals          :      Total       Avg%
3587.68/3597.69	c   primal-dual      :  359769.22     100.00
3587.68/3597.69	c   primal-ref       :          -          - (not evaluated)
3587.68/3597.69	c   dual-ref         :          -          - (not evaluated)
3588.08/3598.06	c Time complete: 3588.15.

Verifier Data

ERROR: no interpretation found !

Watcher Data

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (62868 MiB free)
  memory of node 1: 64473 MiB (63150 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=814137, runsolver pid=814134

[startup+0.100093 s]*
/proc/loadavg: 1.38 2.19 3.08 4/255 814148
/proc/meminfo: memFree=128964912/131524600 swapFree=131071996/131071996
[pid=814137] ppid=814134 vsize=89160 memory=48772 CPUtime=0.09 cores=0,2
/proc/814137/stat : 814137 (pbscip) R 814134 814137 814075 0 -1 4194304 8936 0 0 0 9 0 0 0 20 0 1 0 158329664 91299840 12193 134679101440 4194304 18693293 140724017806672 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 36679680 140724017808388 140724017808487 140724017808487 140724017815502 0
/proc/814137/statm: 22290 12193 3625 3540 0 10547 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 89160 KiB
Current children cumulated memory: 48772 KiB

[startup+0.205565 s]*
/proc/loadavg: 1.38 2.19 3.08 4/252 814156
/proc/meminfo: memFree=128940104/131524600 swapFree=131071996/131071996
[pid=814137] ppid=814134 vsize=105892 memory=63764 CPUtime=0.2 cores=0,2
/proc/814137/stat : 814137 (pbscip) R 814134 814137 814075 0 -1 4194304 14728 0 0 0 19 1 0 0 20 0 1 0 158329664 108433408 15941 134679101440 4194304 18693293 140724017806672 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 36679680 140724017808388 140724017808487 140724017808487 140724017815502 0
/proc/814137/statm: 26473 15941 3784 3540 0 14730 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 105892 KiB
Current children cumulated memory: 63764 KiB

[startup+0.305577 s]*
/proc/loadavg: 1.38 2.19 3.08 4/254 814162
/proc/meminfo: memFree=128927252/131524600 swapFree=131071996/131071996
[pid=814137] ppid=814134 vsize=106320 memory=64292 CPUtime=0.3 cores=0,2
/proc/814137/stat : 814137 (pbscip) R 814134 814137 814075 0 -1 4194304 14825 0 0 0 29 1 0 0 20 0 1 0 158329664 108871680 16073 134679101440 4194304 18693293 140724017806672 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 36679680 140724017808388 140724017808487 140724017808487 140724017815502 0
/proc/814137/statm: 26580 16073 3784 3540 0 14837 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 106320 KiB
Current children cumulated memory: 64292 KiB

[startup+0.700211 s]
/proc/loadavg: 1.38 2.19 3.08 6/260 814197
/proc/meminfo: memFree=128912904/131524600 swapFree=131071996/131071996
[pid=814137] ppid=814134 vsize=119688 memory=75724 CPUtime=0.68 cores=0,2
/proc/814137/stat : 814137 (pbscip) R 814134 814137 814075 0 -1 4194304 17311 0 0 0 67 1 0 0 20 0 1 0 158329664 122560512 18931 134679101440 4194304 18693293 140724017806672 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 36679680 140724017808388 140724017808487 140724017808487 140724017815502 0
/proc/814137/statm: 29922 18931 3784 3540 0 18179 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 119688 KiB
Current children cumulated memory: 75724 KiB

[startup+1.50022 s]
/proc/loadavg: 1.38 2.19 3.08 6/260 814197
/proc/meminfo: memFree=128878264/131524600 swapFree=131071996/131071996
[pid=814137] ppid=814134 vsize=203328 memory=139432 CPUtime=1.48 cores=0,2
/proc/814137/stat : 814137 (pbscip) R 814134 814137 814075 0 -1 4194304 33895 0 0 0 145 3 0 0 20 0 1 0 158329664 208207872 34858 134679101440 4194304 18693293 140724017806672 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 36679680 140724017808388 140724017808487 140724017808487 140724017815502 0
/proc/814137/statm: 50832 34858 3848 3540 0 39089 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 203328 KiB
Current children cumulated memory: 139432 KiB

[startup+3.10521 s]
/proc/loadavg: 1.38 2.19 3.08 6/260 814197
/proc/meminfo: memFree=128684436/131524600 swapFree=131071996/131071996
[pid=814137] ppid=814134 vsize=287664 memory=217128 CPUtime=3.09 cores=0,2
/proc/814137/stat : 814137 (pbscip) R 814134 814137 814075 0 -1 4194304 56489 0 0 0 302 7 0 0 20 0 1 0 158329664 294567936 54282 134679101440 4194304 18693293 140724017806672 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 36679680 140724017808388 140724017808487 140724017808487 140724017815502 0
/proc/814137/statm: 71916 54282 4008 3540 0 60173 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 287664 KiB
Current children cumulated memory: 217128 KiB

[startup+6.30019 s]
/proc/loadavg: 1.67 2.24 3.09 6/260 814197
/proc/meminfo: memFree=128650336/131524600 swapFree=131071996/131071996
[pid=814137] ppid=814134 vsize=287664 memory=222664 CPUtime=6.27 cores=0,2
/proc/814137/stat : 814137 (pbscip) R 814134 814137 814075 0 -1 4194304 57863 0 0 0 620 7 0 0 20 0 1 0 158329664 294567936 55666 134679101440 4194304 18693293 140724017806672 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 36679680 140724017808388 140724017808487 140724017808487 140724017815502 0
/proc/814137/statm: 71916 55666 4008 3540 0 60173 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 287664 KiB
Current children cumulated memory: 222664 KiB

[startup+12.7002 s]
/proc/loadavg: 1.93 2.29 3.10 6/260 814199
/proc/meminfo: memFree=128587876/131524600 swapFree=131071996/131071996
[pid=814137] ppid=814134 vsize=332700 memory=266304 CPUtime=12.65 cores=0,2
/proc/814137/stat : 814137 (pbscip) R 814134 814137 814075 0 -1 4194304 67814 0 0 0 1257 8 0 0 20 0 1 0 158329664 340684800 66576 134679101440 4194304 18693293 140724017806672 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 36679680 140724017808388 140724017808487 140724017808487 140724017815502 0
/proc/814137/statm: 83175 66576 4008 3540 0 71432 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 332700 KiB
Current children cumulated memory: 266304 KiB

[startup+25.5002 s]
/proc/loadavg: 2.68 2.44 3.13 6/260 814200
/proc/meminfo: memFree=128458824/131524600 swapFree=131071996/131071996
[pid=814137] ppid=814134 vsize=429376 memory=363140 CPUtime=25.41 cores=0,2
/proc/814137/stat : 814137 (pbscip) R 814134 814137 814075 0 -1 4194304 95386 0 0 0 2527 14 0 0 20 0 1 0 158329664 439681024 90785 134679101440 4194304 18693293 140724017806672 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 36679680 140724017808388 140724017808487 140724017808487 140724017815502 0
/proc/814137/statm: 107344 90785 4008 3540 0 95601 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 429376 KiB
Current children cumulated memory: 363140 KiB

[startup+51.1055 s]
/proc/loadavg: 3.47 2.64 3.18 6/259 814205
/proc/meminfo: memFree=128361332/131524600 swapFree=131071996/131071996
[pid=814137] ppid=814134 vsize=532876 memory=465620 CPUtime=50.92 cores=0,2
/proc/814137/stat : 814137 (pbscip) R 814134 814137 814075 0 -1 4194304 160171 0 0 0 5070 22 0 0 20 0 1 0 158329664 545665024 116405 134679101440 4194304 18693293 140724017806672 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 36679680 140724017808388 140724017808487 140724017808487 140724017815502 0
/proc/814137/statm: 133219 116405 4008 3540 0 121476 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 532876 KiB
Current children cumulated memory: 465620 KiB

[startup+102.3 s]
/proc/loadavg: 4.54 3.06 3.30 6/259 814213
/proc/meminfo: memFree=128294472/131524600 swapFree=131071996/131071996
[pid=814137] ppid=814134 vsize=555696 memory=491508 CPUtime=101.95 cores=0,2
/proc/814137/stat : 814137 (pbscip) R 814134 814137 814075 0 -1 4194304 195829 0 0 0 10166 29 0 0 20 0 1 0 158329664 569032704 122877 134679101440 4194304 18693293 140724017806672 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 36679680 140724017808388 140724017808487 140724017808487 140724017815502 0
/proc/814137/statm: 138924 122877 4024 3540 0 127181 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 555696 KiB
Current children cumulated memory: 491508 KiB

[startup+162.3 s]
/proc/loadavg: 5.12 3.51 3.44 6/259 814225
/proc/meminfo: memFree=128250440/131524600 swapFree=131071996/131071996
[pid=814137] ppid=814134 vsize=588536 memory=525096 CPUtime=161.75 cores=0,2
/proc/814137/stat : 814137 (pbscip) R 814134 814137 814075 0 -1 4194304 204321 0 0 0 16144 31 0 0 20 0 1 0 158329664 602660864 131274 134679101440 4194304 18693293 140724017806672 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 36679680 140724017808388 140724017808487 140724017808487 140724017815502 0
/proc/814137/statm: 147134 131274 4024 3540 0 135391 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 588536 KiB
Current children cumulated memory: 525096 KiB

[startup+222.3 s]
/proc/loadavg: 5.09 3.80 3.55 6/259 814236
/proc/meminfo: memFree=128202576/131524600 swapFree=131071996/131071996
[pid=814137] ppid=814134 vsize=588536 memory=525320 CPUtime=221.57 cores=0,2
/proc/814137/stat : 814137 (pbscip) R 814134 814137 814075 0 -1 4194304 204341 0 0 0 22126 31 0 0 20 0 1 0 158329664 602660864 131330 134679101440 4194304 18693293 140724017806672 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 36679680 140724017808388 140724017808487 140724017808487 140724017815502 0
/proc/814137/statm: 147134 131330 4024 3540 0 135391 0
Current children cumulated CPU time: 221.57 s
Current children cumulated vsize: 588536 KiB
Current children cumulated memory: 525320 KiB

[startup+282.3 s]
/proc/loadavg: 5.38 4.12 3.67 6/259 814246
/proc/meminfo: memFree=128166452/131524600 swapFree=131071996/131071996
[pid=814137] ppid=814134 vsize=610780 memory=545768 CPUtime=281.41 cores=0,2
/proc/814137/stat : 814137 (pbscip) R 814134 814137 814075 0 -1 4194304 209525 0 0 0 28108 33 0 0 20 0 1 0 158329664 625438720 136442 134679101440 4194304 18693293 140724017806672 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 36679680 140724017808388 140724017808487 140724017808487 140724017815502 0
/proc/814137/statm: 152695 136442 4024 3540 0 140952 0
Current children cumulated CPU time: 281.41 s
Current children cumulated vsize: 610780 KiB
Current children cumulated memory: 545768 KiB

[startup+342.3 s]
/proc/loadavg: 5.26 4.31 3.77 6/256 814256
/proc/meminfo: memFree=128131540/131524600 swapFree=131071996/131071996
[pid=814137] ppid=814134 vsize=610780 memory=559372 CPUtime=341.27 cores=0,2
/proc/814137/stat : 814137 (pbscip) R 814134 814137 814075 0 -1 4194304 209528 0 0 0 34094 33 0 0 20 0 1 0 158329664 625438720 139843 134679101440 4194304 18693293 140724017806672 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 36679680 140724017808388 140724017808487 140724017808487 140724017815502 0
/proc/814137/statm: 152695 139843 4024 3540 0 140952 0
Current children cumulated CPU time: 341.27 s
Current children cumulated vsize: 610780 KiB
Current children cumulated memory: 559372 KiB

[startup+402.3 s]
/proc/loadavg: 5.22 4.47 3.86 6/256 814267
/proc/meminfo: memFree=128109456/131524600 swapFree=131071996/131071996
[pid=814137] ppid=814134 vsize=611124 memory=563668 CPUtime=401.11 cores=0,2
/proc/814137/stat : 814137 (pbscip) R 814134 814137 814075 0 -1 4194304 210228 0 0 0 40077 34 0 0 20 0 1 0 158329664 625790976 140917 134679101440 4194304 18693293 140724017806672 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 36679680 140724017808388 140724017808487 140724017808487 140724017815502 0
/proc/814137/statm: 152781 140917 4024 3540 0 141038 0
Current children cumulated CPU time: 401.11 s
Current children cumulated vsize: 611124 KiB
Current children cumulated memory: 563668 KiB

[startup+462.3 s]
/proc/loadavg: 5.14 4.58 3.94 6/256 814277
/proc/meminfo: memFree=128078048/131524600 swapFree=131071996/131071996
[pid=814137] ppid=814134 vsize=624392 memory=577420 CPUtime=460.92 cores=0,2
/proc/814137/stat : 814137 (pbscip) R 814134 814137 814075 0 -1 4194304 222066 0 0 0 46057 35 0 0 20 0 1 0 158329664 639377408 144355 134679101440 4194304 18693293 140724017806672 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 36679680 140724017808388 140724017808487 140724017808487 140724017815502 0
/proc/814137/statm: 156098 144355 4024 3540 0 144355 0

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

/proc/loadavg: 4.21 4.15 4.29 5/260 816057
/proc/meminfo: memFree=126974572/131524600 swapFree=131071996/131071996
[pid=814137] ppid=814134 vsize=941420 memory=891328 CPUtime=3153.4 cores=0,2
/proc/814137/stat : 814137 (pbscip) R 814134 814137 814075 0 -1 4194304 323740 0 0 0 315286 54 0 0 20 0 1 0 158329664 964014080 222832 134679101440 4194304 18693293 140724017806672 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 36679680 140724017808388 140724017808487 140724017808487 140724017815502 0
/proc/814137/statm: 235355 222832 4024 3540 0 223612 0
Current children cumulated CPU time: 3153.4 s
Current children cumulated vsize: 941420 KiB
Current children cumulated memory: 891328 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.13 4.28 5/259 816069
/proc/meminfo: memFree=126965252/131524600 swapFree=131071996/131071996
[pid=814137] ppid=814134 vsize=941420 memory=892068 CPUtime=3213.25 cores=0,2
/proc/814137/stat : 814137 (pbscip) R 814134 814137 814075 0 -1 4194304 324290 0 0 0 321271 54 0 0 20 0 1 0 158329664 964014080 223017 134679101440 4194304 18693293 140724017806672 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 36679680 140724017808388 140724017808487 140724017808487 140724017815502 0
/proc/814137/statm: 235355 223017 4024 3540 0 223612 0
Current children cumulated CPU time: 3213.25 s
Current children cumulated vsize: 941420 KiB
Current children cumulated memory: 892068 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.12 4.26 5/255 816079
/proc/meminfo: memFree=126941300/131524600 swapFree=131071996/131071996
[pid=814137] ppid=814134 vsize=941420 memory=892152 CPUtime=3273.11 cores=0,2
/proc/814137/stat : 814137 (pbscip) R 814134 814137 814075 0 -1 4194304 324649 0 0 0 327257 54 0 0 20 0 1 0 158329664 964014080 223038 134679101440 4194304 18693293 140724017806672 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 36679680 140724017808388 140724017808487 140724017808487 140724017815502 0
/proc/814137/statm: 235355 223038 4024 3540 0 223612 0
Current children cumulated CPU time: 3273.11 s
Current children cumulated vsize: 941420 KiB
Current children cumulated memory: 892152 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.13 4.26 5/255 816089
/proc/meminfo: memFree=126903660/131524600 swapFree=131071996/131071996
[pid=814137] ppid=814134 vsize=965028 memory=914948 CPUtime=3332.98 cores=0,2
/proc/814137/stat : 814137 (pbscip) R 814134 814137 814075 0 -1 4194304 330722 0 0 0 333243 55 0 0 20 0 1 0 158329664 988188672 228737 134679101440 4194304 18693293 140724017806672 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 36679680 140724017808388 140724017808487 140724017808487 140724017815502 0
/proc/814137/statm: 241257 228737 4024 3540 0 229514 0
Current children cumulated CPU time: 3332.98 s
Current children cumulated vsize: 965028 KiB
Current children cumulated memory: 914948 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.12 4.25 5/255 816100
/proc/meminfo: memFree=126892908/131524600 swapFree=131071996/131071996
[pid=814137] ppid=814134 vsize=965028 memory=916220 CPUtime=3392.84 cores=0,2
/proc/814137/stat : 814137 (pbscip) R 814134 814137 814075 0 -1 4194304 331393 0 0 0 339229 55 0 0 20 0 1 0 158329664 988188672 229055 134679101440 4194304 18693293 140724017806672 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 36679680 140724017808388 140724017808487 140724017808487 140724017815502 0
/proc/814137/statm: 241257 229055 4024 3540 0 229514 0
Current children cumulated CPU time: 3392.84 s
Current children cumulated vsize: 965028 KiB
Current children cumulated memory: 916220 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.11 4.23 5/255 816111
/proc/meminfo: memFree=126876108/131524600 swapFree=131071996/131071996
[pid=814137] ppid=814134 vsize=965028 memory=916220 CPUtime=3452.7 cores=0,2
/proc/814137/stat : 814137 (pbscip) R 814134 814137 814075 0 -1 4194304 331745 0 0 0 345215 55 0 0 20 0 1 0 158329664 988188672 229055 134679101440 4194304 18693293 140724017806672 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 36679680 140724017808388 140724017808487 140724017808487 140724017815502 0
/proc/814137/statm: 241257 229055 4024 3540 0 229514 0
Current children cumulated CPU time: 3452.7 s
Current children cumulated vsize: 965028 KiB
Current children cumulated memory: 916220 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.10 4.22 5/255 816122
/proc/meminfo: memFree=126863320/131524600 swapFree=131071996/131071996
[pid=814137] ppid=814134 vsize=965028 memory=916236 CPUtime=3512.55 cores=0,2
/proc/814137/stat : 814137 (pbscip) R 814134 814137 814075 0 -1 4194304 332053 0 0 0 351200 55 0 0 20 0 1 0 158329664 988188672 229059 134679101440 4194304 18693293 140724017806672 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 36679680 140724017808388 140724017808487 140724017808487 140724017815502 0
/proc/814137/statm: 241257 229059 4024 3540 0 229514 0
Current children cumulated CPU time: 3512.55 s
Current children cumulated vsize: 965028 KiB
Current children cumulated memory: 916236 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.10 4.21 5/257 816136
/proc/meminfo: memFree=126844628/131524600 swapFree=131071996/131071996
[pid=814137] ppid=814134 vsize=965028 memory=916236 CPUtime=3572.41 cores=0,2
/proc/814137/stat : 814137 (pbscip) R 814134 814137 814075 0 -1 4194304 332295 0 0 0 357186 55 0 0 20 0 1 0 158329664 988188672 229059 134679101440 4194304 18693293 140724017806672 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 36679680 140724017808388 140724017808487 140724017808487 140724017815502 0
/proc/814137/statm: 241257 229059 4024 3540 0 229514 0
Current children cumulated CPU time: 3572.41 s
Current children cumulated vsize: 965028 KiB
Current children cumulated memory: 916236 KiB

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

# cumulated CPU time of all completed processes:  user=3587.59 s, system=0.570853 s

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

[startup+3584 s]*
/proc/loadavg: 4.08 4.10 4.21 5/257 816136
/proc/meminfo: memFree=126844616/131524600 swapFree=131071996/131071996
[pid=814137] ppid=814134 vsize=965028 memory=916236 CPUtime=3574.12 cores=0,2
/proc/814137/stat : 814137 (pbscip) R 814134 814137 814075 0 -1 4194304 332297 0 0 0 357357 55 0 0 20 0 1 0 158329664 988188672 229059 134679101440 4194304 18693293 140724017806672 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 36679680 140724017808388 140724017808487 140724017808487 140724017815502 0
/proc/814137/statm: 241257 229059 4024 3540 0 229514 0
Current children cumulated CPU time: 3574.12 s
Current children cumulated vsize: 965028 KiB
Current children cumulated memory: 916236 KiB

[startup+3590.4 s]
/proc/loadavg: 4.07 4.10 4.21 5/257 816138
/proc/meminfo: memFree=126844632/131524600 swapFree=131071996/131071996
[pid=814137] ppid=814134 vsize=965028 memory=916236 CPUtime=3580.5 cores=0,2
/proc/814137/stat : 814137 (pbscip) R 814134 814137 814075 0 -1 4194304 332381 0 0 0 357995 55 0 0 20 0 1 0 158329664 988188672 229059 134679101440 4194304 18693293 140724017806672 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 36679680 140724017808388 140724017808487 140724017808487 140724017815502 0
/proc/814137/statm: 241257 229059 4024 3540 0 229514 0
Current children cumulated CPU time: 3580.5 s
Current children cumulated vsize: 965028 KiB
Current children cumulated memory: 916236 KiB

[startup+3593.6 s]
/proc/loadavg: 4.15 4.11 4.21 5/257 816138
/proc/meminfo: memFree=126844456/131524600 swapFree=131071996/131071996
[pid=814137] ppid=814134 vsize=965028 memory=916236 CPUtime=3583.69 cores=0,2
/proc/814137/stat : 814137 (pbscip) R 814134 814137 814075 0 -1 4194304 332381 0 0 0 358314 55 0 0 20 0 1 0 158329664 988188672 229059 134679101440 4194304 18693293 140724017806672 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 36679680 140724017808388 140724017808487 140724017808487 140724017815502 0
/proc/814137/statm: 241257 229059 4024 3540 0 229514 0
Current children cumulated CPU time: 3583.69 s
Current children cumulated vsize: 965028 KiB
Current children cumulated memory: 916236 KiB

[startup+3595.2 s]
/proc/loadavg: 4.15 4.11 4.21 5/257 816138
/proc/meminfo: memFree=126844492/131524600 swapFree=131071996/131071996
[pid=814137] ppid=814134 vsize=965028 memory=916236 CPUtime=3585.29 cores=0,2
/proc/814137/stat : 814137 (pbscip) R 814134 814137 814075 0 -1 4194304 332382 0 0 0 358474 55 0 0 20 0 1 0 158329664 988188672 229059 134679101440 4194304 18693293 140724017806672 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 36679680 140724017808388 140724017808487 140724017808487 140724017815502 0
/proc/814137/statm: 241257 229059 4024 3540 0 229514 0
Current children cumulated CPU time: 3585.29 s
Current children cumulated vsize: 965028 KiB
Current children cumulated memory: 916236 KiB

[startup+3596.8 s]
/proc/loadavg: 4.13 4.11 4.21 5/257 816138
/proc/meminfo: memFree=126844512/131524600 swapFree=131071996/131071996
[pid=814137] ppid=814134 vsize=965028 memory=916236 CPUtime=3586.88 cores=0,2
/proc/814137/stat : 814137 (pbscip) R 814134 814137 814075 0 -1 4194304 332382 0 0 0 358633 55 0 0 20 0 1 0 158329664 988188672 229059 134679101440 4194304 18693293 140724017806672 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 36679680 140724017808388 140724017808487 140724017808487 140724017815502 0
/proc/814137/statm: 241257 229059 4024 3540 0 229514 0
Current children cumulated CPU time: 3586.88 s
Current children cumulated vsize: 965028 KiB
Current children cumulated memory: 916236 KiB

[startup+3597.6 s]
/proc/loadavg: 4.13 4.11 4.21 5/257 816139
/proc/meminfo: memFree=126844424/131524600 swapFree=131071996/131071996
[pid=814137] ppid=814134 vsize=965028 memory=916236 CPUtime=3587.68 cores=0,2
/proc/814137/stat : 814137 (pbscip) R 814134 814137 814075 0 -1 4194304 332382 0 0 0 358713 55 0 0 20 0 1 0 158329664 988188672 229059 134679101440 4194304 18693293 140724017806672 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 36679680 140724017808388 140724017808487 140724017808487 140724017815502 0
/proc/814137/statm: 241257 229059 4024 3540 0 229514 0
Current children cumulated CPU time: 3587.68 s
Current children cumulated vsize: 965028 KiB
Current children cumulated memory: 916236 KiB

[startup+3598 s]*
/proc/loadavg: 4.13 4.11 4.21 5/251 816267
/proc/meminfo: memFree=127563336/131524600 swapFree=131071996/131071996
[pid=814137] ppid=814134 vsize=965028 memory=916236 CPUtime=3588.08 cores=0,2
/proc/814137/stat : 814137 (pbscip) R 814134 814137 814075 0 -1 4194304 332511 0 0 0 358753 55 0 0 20 0 1 0 158329664 988188672 229059 134679101440 4194304 18693293 140724017806672 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 36679680 140724017808388 140724017808487 140724017808487 140724017815502 0
/proc/814137/statm: 241257 229059 4024 3540 0 229514 0
Current children cumulated CPU time: 3588.08 s
Current children cumulated vsize: 965028 KiB
Current children cumulated memory: 916236 KiB

Child status: 0

Real time (s): 3598.08
CPU time (s): 3588.16
CPU user time (s): 3587.59
CPU system time (s): 0.570853
CPU usage (%): 99.7245
Max. virtual memory (cumulated for all children) (KiB): 965028
Max. memory (cumulated for all children) (KiB): 916236

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.59
system time used= 0.570853
maximum resident set size= 916236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 332540
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= 33
involuntary context switches= 25111


# summary of solver processes directly reported to runsolver:
#   pid: 814137
#   total CPU time (s): 3588.16
#   total CPU user time (s): 3587.59
#   total CPU system time (s): 0.570853

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.76203 second user time and 14.9857 second system time

The end

Launcher Data

Begin job on nodeC026 at 2024-07-15 18:40:48
IDJOB=4432570
IDBENCH=146775
IDSOLVER=3059
FILE ID=nodeC026/4432570-1721061635
RUNJOBID= nodeC026-1721061647-814085
SLURM_JOB_ID= 7505513
Free space on /tmp= 890044 MiB

SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-blp-ir98.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-4432570-1721061635/watcher-4432570-1721061635 -o /tmp/evaluation-result-4432570-1721061635/solver-4432570-1721061635 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721061647-814085 --watchdog 3760  pbscip -f HOME/instance-4432570-1721061635.opb -t 3600 -j 2 -m 31000

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

MD5SUM BENCH= 1ab00a09bce4fe90071f9bd51d0e1c65
RANDOM SEED=1740576527

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        129065380 kB
MemAvailable:   129733268 kB
Buffers:          363768 kB
Cached:          1141784 kB
SwapCached:            0 kB
Active:           631532 kB
Inactive:        1241472 kB
Active(anon):       1484 kB
Inactive(anon):   402708 kB
Active(file):     630048 kB
Inactive(file):   838764 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             76816 kB
Writeback:             0 kB
AnonPages:        365524 kB
Mapped:           123104 kB
Shmem:             37720 kB
KReclaimable:      77800 kB
Slab:             180916 kB
SReclaimable:      77800 kB
SUnreclaim:       103116 kB
KernelStack:        3988 kB
PageTables:        10400 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     844736 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            61088 kB
HardwareCorrupted:     0 kB
AnonHugePages:    337920 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:      211668 kB
DirectMap2M:    17387520 kB
DirectMap1G:    118489088 kB

Free space on /tmp at the end= 890004 MiB
End job on nodeC026 at 2024-07-15 19:40:46