Trace number 4432700

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-07SAT-41 3587.49 3597.28

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-1.opb
MD5SUM950817fdcb39f28dd0871c21ea836071
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-45
Best CPU time to get the best result obtained on this benchmark1120.33
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables945
Total number of constraints59186
Number of constraints which are clauses59186
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 945
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 945
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 945
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data

0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-4432700-1721054823.opb>
0.10/0.10	c original problem has 945 variables (945 bin, 0 int, 0 impl, 0 cont) and 59186 constraints
0.10/0.10	c problem read in 0.10
0.10/0.18	o 0
0.10/0.18	c feasible solution found by trivial heuristic after 0.2 seconds, objective value 0.000000e+00
0.10/0.18	c presolving:
0.30/0.32	c    (0.3s) running MILP presolver
0.40/0.44	c    (0.4s) MILP presolver found nothing
0.50/0.56	c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 59186 upgd conss, 0 impls, 59186 clqs
0.88/0.96	c    (1.0s) probing: 51/945 (5.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.88/0.96	c    (1.0s) probing aborted: 50/50 successive totally useless probings
1.39/1.44	c    (1.4s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
1.39/1.47	c    (1.5s) no symmetry present (symcode time: 0.01)
1.39/1.48	c presolving (2 rounds: 2 fast, 2 medium, 2 exhaustive):
1.39/1.48	c  0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.39/1.48	c  0 implications, 59186 cliques
1.39/1.48	c presolved problem has 945 variables (945 bin, 0 int, 0 impl, 0 cont) and 59186 constraints
1.39/1.48	c   59186 constraints of type <setppc>
1.39/1.48	c transformed objective value is always integral (scale: 1)
1.39/1.48	c Presolving Time: 1.30
1.39/1.48	c - non default parameters ----------------------------------------------------------------------
1.39/1.48	c # SCIP version 10.0.0
1.39/1.48	c 
1.39/1.48	c # maximal time in seconds to run
1.39/1.48	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
1.39/1.48	c limits/time = 3596.997087
1.39/1.48	c 
1.39/1.48	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.39/1.48	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
1.39/1.48	c limits/memory = 27900
1.39/1.48	c 
1.39/1.48	c # belongs reading time to solving time?
1.39/1.48	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
1.39/1.48	c timing/reading = TRUE
1.39/1.48	c 
1.39/1.48	c -----------------------------------------------------------------------------------------------
1.39/1.48	c start solving
1.39/1.48	c transformed 1/1 original solutions to the transformed problem space
1.39/1.49	c 
1.59/1.62	o -27
1.59/1.62	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1.59/1.62	c p 1.6s|     1 |     0 |     0 |     - |  clique|   0 | 945 |  59k|  59k|   0 |  0 |   0 |   0 |-9.450000e+02 |-2.700000e+01 |3400.00%| unknown
1.59/1.67	o -33
1.59/1.67	c p 1.7s|     1 |     0 |     0 |     - |   locks|   0 | 945 |  59k|  59k|   0 |  0 |   0 |   0 |-9.450000e+02 |-3.300000e+01 |2763.64%| unknown
2.09/2.14	c   2.1s|     1 |     0 |   945 |     - |   321M |   0 | 945 |  59k|  59k|   0 |  0 |   0 |   0 |-4.725000e+02 |-3.300000e+01 |1331.82%| unknown
2.78/2.80	c   2.8s|     1 |     0 |  1159 |     - |   339M |   0 | 945 |  59k|  59k|  13 |  1 |   0 |   0 |-4.395000e+02 |-3.300000e+01 |1231.82%| unknown
4.08/4.19	c   4.2s|     1 |     0 |  1354 |     - |   345M |   0 | 945 |  59k|  59k|  36 |  2 |   0 |   0 |-4.110000e+02 |-3.300000e+01 |1145.45%| unknown
6.27/6.32	c   6.3s|     1 |     0 |  1699 |     - |   353M |   0 | 945 |  59k|  59k|  82 |  3 |   0 |   0 |-3.770000e+02 |-3.300000e+01 |1042.42%| unknown
9.17/9.22	c   9.2s|     1 |     0 |  2213 |     - |   359M |   0 | 945 |  59k|  59k| 106 |  4 |   0 |   0 |-3.455000e+02 |-3.300000e+01 | 946.97%| unknown
9.67/9.73	c   9.7s|     1 |     0 |  2963 |     - |   367M |   0 | 945 |  59k|  59k| 146 |  5 |   0 |   0 |-3.155000e+02 |-3.300000e+01 | 856.06%| unknown
10.16/10.23	c  10.2s|     1 |     0 |  3615 |     - |   373M |   0 | 945 |  59k|  59k| 189 |  6 |   0 |   0 |-2.870000e+02 |-3.300000e+01 | 769.70%| unknown
10.86/10.91	c  10.9s|     1 |     0 |  4654 |     - |   379M |   0 | 945 |  59k|  59k| 222 |  7 |   0 |   0 |-2.662500e+02 |-3.300000e+01 | 706.82%| unknown
13.65/13.70	c  13.7s|     1 |     0 |  5763 |     - |   386M |   0 | 945 |  59k|  59k| 250 |  8 |   0 |   0 |-2.415000e+02 |-3.300000e+01 | 631.82%| unknown
14.06/14.19	c  14.2s|     1 |     0 |  6639 |     - |   392M |   0 | 945 |  59k|  59k| 282 |  9 |   0 |   0 |-2.290000e+02 |-3.300000e+01 | 593.94%| unknown
14.55/14.67	c  14.7s|     1 |     0 |  7269 |     - |   399M |   0 | 945 |  59k|  59k| 318 | 10 |   0 |   0 |-2.175000e+02 |-3.300000e+01 | 559.09%| unknown
15.24/15.31	c  15.3s|     1 |     0 |  8749 |     - |   406M |   0 | 945 |  59k|  59k| 336 | 11 |   0 |   0 |-2.032500e+02 |-3.300000e+01 | 515.91%| unknown
15.95/16.07	c  16.1s|     1 |     0 | 10218 |     - |   411M |   0 | 945 |  59k|  59k| 367 | 12 |   0 |   0 |-1.847500e+02 |-3.300000e+01 | 459.85%| unknown
16.74/16.80	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
16.74/16.80	c  16.8s|     1 |     0 | 12525 |     - |   418M |   0 | 945 |  59k|  59k| 398 | 13 |   0 |   0 |-1.653750e+02 |-3.300000e+01 | 401.14%| unknown
17.34/17.42	c  17.4s|     1 |     0 | 14250 |     - |   424M |   0 | 945 |  59k|  59k| 424 | 14 |   0 |   0 |-1.519583e+02 |-3.300000e+01 | 360.48%| unknown
17.84/17.94	c  17.9s|     1 |     0 | 15821 |     - |   430M |   0 | 945 |  59k|  59k| 447 | 15 |   0 |   0 |-1.385000e+02 |-3.300000e+01 | 319.70%| unknown
18.23/18.36	c  18.4s|     1 |     0 | 17006 |     - |   436M |   0 | 945 |  59k|  59k| 466 | 16 |   0 |   0 |-1.300833e+02 |-3.300000e+01 | 294.19%| unknown
18.53/18.68	c  18.7s|     1 |     0 | 17676 |     - |   442M |   0 | 945 |  59k|  59k| 483 | 17 |   0 |   0 |-1.209583e+02 |-3.300000e+01 | 266.54%| unknown
18.83/18.99	c  19.0s|     1 |     0 | 18549 |     - |   448M |   0 | 945 |  59k|  59k| 505 | 18 |   0 |   0 |-1.059667e+02 |-3.300000e+01 | 221.11%| unknown
19.23/19.39	c  19.4s|     1 |     0 | 19961 |     - |   454M |   0 | 945 |  59k|  59k| 527 | 19 |   0 |   0 |-9.933333e+01 |-3.300000e+01 | 201.01%| unknown
19.53/19.63	c  19.6s|     1 |     0 | 20769 |     - |   460M |   0 | 945 |  59k|  59k| 542 | 20 |   0 |   0 |-8.850000e+01 |-3.300000e+01 | 168.18%| unknown
19.73/19.84	c  19.8s|     1 |     0 | 21566 |     - |   460M |   0 | 945 |  59k|  59k| 550 | 21 |   0 |   0 |-7.383333e+01 |-3.300000e+01 | 123.74%| unknown
19.83/19.93	c  19.9s|     1 |     0 | 21766 |     - |   460M |   0 | 945 |  59k|  59k| 554 | 22 |   0 |   0 |-6.650000e+01 |-3.300000e+01 | 101.52%| unknown
19.93/20.01	c  20.0s|     1 |     0 | 21936 |     - |   461M |   0 | 945 |  59k|  59k| 558 | 23 |   0 |   0 |-5.325000e+01 |-3.300000e+01 |  61.36%| unknown
19.93/20.08	c  20.1s|     1 |     0 | 22008 |     - |   461M |   0 | 945 |  59k|  59k| 561 | 24 |   0 |   0 |-4.550000e+01 |-3.300000e+01 |  37.88%| unknown
20.03/20.13	c  20.1s|     1 |     0 | 22030 |     - |   461M |   0 | 945 |  59k|  59k| 566 | 25 |   0 |   0 |-4.550000e+01 |-3.300000e+01 |  37.88%| unknown
20.03/20.19	c  20.2s|     1 |     0 | 22093 |     - |   462M |   0 | 945 |  59k|  59k| 571 | 26 |   0 |   0 |-4.550000e+01 |-3.300000e+01 |  37.88%| unknown
20.13/20.25	c  20.2s|     1 |     0 | 22128 |     - |   462M |   0 | 945 |  59k|  59k| 576 | 27 |   0 |   0 |-4.550000e+01 |-3.300000e+01 |  37.88%| unknown
20.23/20.31	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
20.23/20.31	c  20.3s|     1 |     0 | 22171 |     - |   463M |   0 | 945 |  59k|  59k| 583 | 28 |   0 |   0 |-4.550000e+01 |-3.300000e+01 |  37.88%| unknown
20.23/20.38	c  20.4s|     1 |     0 | 22204 |     - |   463M |   0 | 945 |  59k|  59k| 589 | 29 |   0 |   0 |-4.550000e+01 |-3.300000e+01 |  37.88%| unknown
20.33/20.44	c  20.4s|     1 |     0 | 22236 |     - |   463M |   0 | 945 |  59k|  59k| 595 | 30 |   0 |   0 |-4.550000e+01 |-3.300000e+01 |  37.88%| unknown
20.43/20.51	c  20.5s|     1 |     0 | 22280 |     - |   464M |   0 | 945 |  59k|  59k| 601 | 31 |   0 |   0 |-4.550000e+01 |-3.300000e+01 |  37.88%| unknown
20.43/20.58	c  20.6s|     1 |     0 | 22334 |     - |   464M |   0 | 945 |  59k|  59k| 609 | 32 |   0 |   0 |-4.550000e+01 |-3.300000e+01 |  37.88%| unknown
20.53/20.65	c  20.7s|     1 |     0 | 22395 |     - |   465M |   0 | 945 |  59k|  59k| 617 | 33 |   0 |   0 |-4.550000e+01 |-3.300000e+01 |  37.88%| unknown
20.63/20.73	c  20.7s|     1 |     0 | 22462 |     - |   465M |   0 | 945 |  59k|  59k| 624 | 34 |   0 |   0 |-4.550000e+01 |-3.300000e+01 |  37.88%| unknown
23.82/23.91	c  23.9s|     1 |     2 | 22481 |     - |   466M |   0 | 945 |  59k|  59k| 624 | 34 |   0 |  20 |-4.500000e+01 |-3.300000e+01 |  36.36%| unknown
24.22/24.38	o -36
24.22/24.38	c d24.4s|    11 |    12 | 23232 |  77.0 |pscostdi|   9 | 945 |  59k|  59k|   0 |  1 |   0 |  20 |-4.500000e+01 |-3.600000e+01 |  25.00%| unknown
50.03/50.24	c  50.2s|   100 |    93 | 30262 |  78.8 |   490M |  37 | 945 |  59k|  59k| 649 |  1 |   9 | 823 |-4.500000e+01 |-3.600000e+01 |  25.00%| unknown
72.77/73.05	o -37
72.77/73.05	c *73.0s|   187 |   136 | 35762 |  71.5 |    LP  |  42 | 945 |  59k|  59k| 720 |  1 |  12 |1297 |-4.500000e+01 |-3.700000e+01 |  21.62%| unknown
74.36/74.63	c  74.6s|   200 |   147 | 36562 |  70.9 |   566M |  42 | 945 |  59k|  59k| 725 |  1 |  12 |1349 |-4.500000e+01 |-3.700000e+01 |  21.62%| unknown
87.61/87.98	c  88.0s|   300 |   211 | 42316 |  66.4 |   576M |  42 | 945 |  59k|  59k| 763 |  2 |  22 |1746 |-4.500000e+01 |-3.700000e+01 |  21.62%| unknown
97.28/97.65	c  97.7s|   400 |   263 | 46212 |  59.5 |   587M |  42 | 945 |  59k|  59k| 797 |  0 |  31 |2008 |-4.500000e+01 |-3.700000e+01 |  21.62%| unknown
101.06/101.40	o -38
101.06/101.40	c L 101s|   451 |   265 | 48350 |  57.5 |    rins|  42 | 945 |  59k|  59k| 811 |  1 |  34 |2036 |-4.500000e+01 |-3.800000e+01 |  18.42%| unknown
102.06/102.48	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
102.06/102.48	c   102s|   500 |   290 | 49929 |  55.0 |   593M |  42 | 945 |  59k|  59k| 814 |  1 |  37 |2052 |-4.500000e+01 |-3.800000e+01 |  18.42%| unknown
104.55/104.95	c   105s|   600 |   328 | 53638 |  52.0 |   594M |  42 | 945 |  59k|  59k| 827 |  1 |  40 |2090 |-4.500000e+01 |-3.800000e+01 |  18.42%| unknown
106.75/107.16	c   107s|   700 |   360 | 56417 |  48.6 |   594M |  42 | 945 |  59k|  59k| 830 |  1 |  47 |2107 |-4.500000e+01 |-3.800000e+01 |  18.42%| unknown
108.75/109.12	c   109s|   800 |   390 | 59098 |  45.9 |   595M |  42 | 945 |  59k|  59k| 831 |  1 |  47 |2127 |-4.500000e+01 |-3.800000e+01 |  18.42%| unknown
110.64/111.03	c   111s|   900 |   434 | 61531 |  43.5 |   596M |  42 | 945 |  59k|  59k| 833 |  1 |  47 |2142 |-4.500000e+01 |-3.800000e+01 |  18.42%| unknown
114.73/115.10	c   115s|  1000 |   484 | 64993 |  42.6 |   612M |  42 | 945 |  59k|  59k| 849 |  0 |  51 |2178 |-4.500000e+01 |-3.800000e+01 |  18.42%| unknown
119.80/120.22	c   120s|  1100 |   536 | 68462 |  41.9 |   614M |  42 | 945 |  59k|  59k| 867 |  1 |  54 |2205 |-4.500000e+01 |-3.800000e+01 |  18.42%| unknown
121.50/121.99	c   122s|  1200 |   570 | 71016 |  40.5 |   614M |  42 | 945 |  59k|  59k| 869 |  0 |  54 |2221 |-4.500000e+01 |-3.800000e+01 |  18.42%| unknown
126.39/126.83	c   127s|  1300 |   624 | 75393 |  40.7 |   618M |  42 | 945 |  59k|  59k| 884 |  1 |  63 |2244 |-4.500000e+01 |-3.800000e+01 |  18.42%| unknown
132.07/132.51	c   133s|  1400 |   716 | 81657 |  42.3 |   624M |  42 | 945 |  59k|  59k| 902 |  1 |  99 |2251 |-4.500000e+01 |-3.800000e+01 |  18.42%| unknown
157.60/158.19	c   158s|  1500 |   798 | 88222 |  43.9 |   719M |  43 | 945 |  59k|  59k|1067 |  0 | 127 |2285 |-4.500000e+01 |-3.800000e+01 |  18.42%| unknown
170.26/170.84	c   171s|  1600 |   880 | 93477 |  44.4 |   747M |  44 | 945 |  59k|  59k|1196 |  1 | 146 |2290 |-4.500000e+01 |-3.800000e+01 |  18.42%| unknown
188.13/188.70	c   189s|  1700 |   968 |101074 |  46.3 |   756M |  44 | 945 |  59k|  59k|1385 |  1 | 181 |2294 |-4.500000e+01 |-3.800000e+01 |  18.42%| unknown
218.54/219.29	c   219s|  1800 |  1050 |107554 |  47.3 |   807M |  44 | 945 |  59k|  59k|1655 |  1 | 200 |2300 |-4.500000e+01 |-3.800000e+01 |  18.42%| unknown
236.90/237.69	c   238s|  1900 |  1142 |114359 |  48.4 |   838M |  44 | 945 |  59k|  59k|1850 |  1 | 228 |2316 |-4.500000e+01 |-3.800000e+01 |  18.42%| unknown
253.75/254.52	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
253.75/254.52	c   255s|  2000 |  1228 |121169 |  49.4 |   852M |  44 | 945 |  59k|  59k|2042 |  1 | 253 |2328 |-4.500000e+01 |-3.800000e+01 |  18.42%| unknown
263.02/263.85	c   264s|  2100 |  1314 |127707 |  50.1 |   854M |  44 | 945 |  59k|  59k|2190 |  1 | 291 |2331 |-4.500000e+01 |-3.800000e+01 |  18.42%| unknown
268.31/269.13	c   269s|  2200 |  1400 |133281 |  50.4 |   866M |  44 | 945 |  59k|  59k|2230 |  1 | 347 |2332 |-4.500000e+01 |-3.800000e+01 |  18.42%| unknown
285.96/286.81	c   287s|  2300 |  1476 |138784 |  50.6 |   874M |  44 | 945 |  59k|  59k|2358 |  1 | 350 |2335 |-4.500000e+01 |-3.800000e+01 |  18.42%| unknown
295.63/296.56	c   297s|  2400 |  1564 |144137 |  50.7 |   877M |  44 | 945 |  59k|  59k|2478 |  1 | 392 |2347 |-4.500000e+01 |-3.800000e+01 |  18.42%| unknown
299.42/300.39	c   300s|  2500 |  1660 |153555 |  52.5 |   879M |  44 | 945 |  59k|  59k|2553 |  1 | 480 |2357 |-4.500000e+01 |-3.800000e+01 |  18.42%| unknown
308.69/309.69	c   310s|  2600 |  1756 |160626 |  53.2 |   887M |  44 | 945 |  59k|  59k|2653 |  1 | 524 |2358 |-4.500000e+01 |-3.800000e+01 |  18.42%| unknown
322.37/323.32	c   323s|  2700 |  1834 |166637 |  53.4 |   900M |  44 | 945 |  59k|  59k|2844 |  1 | 551 |2359 |-4.500000e+01 |-3.800000e+01 |  18.42%| unknown
329.34/330.36	c   330s|  2800 |  1922 |173000 |  53.8 |   912M |  44 | 945 |  59k|  59k|2896 |  1 | 590 |2369 |-4.500000e+01 |-3.800000e+01 |  18.42%| unknown
331.04/332.09	o -39
331.04/332.09	c d 332s|  2815 |  1646 |174413 |  54.0 |linesear|  44 | 945 |  59k|  59k|   0 |  1 | 590 |2386 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
334.93/335.92	c   336s|  2900 |  1719 |178919 |  54.0 |   912M |  44 | 945 |  59k|  59k|2947 |  1 | 652 |2396 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
337.52/338.52	c   339s|  3000 |  1795 |184138 |  53.9 |   912M |  44 | 945 |  59k|  59k|2947 |  1 | 670 |2405 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
339.81/340.87	c   341s|  3100 |  1863 |188851 |  53.7 |   913M |  44 | 945 |  59k|  59k|2950 |  1 | 724 |2409 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
343.01/344.03	c   344s|  3200 |  1943 |194683 |  53.8 |   915M |  44 | 945 |  59k|  59k|2951 |  1 | 797 |2436 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
348.68/349.70	c   350s|  3300 |  2021 |202299 |  54.5 |   916M |  44 | 945 |  59k|  59k|2961 |  1 | 829 |2493 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
378.01/379.13	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
378.01/379.13	c   379s|  3400 |  2091 |210946 |  55.5 |   919M |  44 | 945 |  60k|  59k|3177 |  1 | 866 |2529 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
391.37/392.55	c   393s|  3500 |  2179 |220360 |  56.6 |   940M |  44 | 945 |  60k|  59k|3283 |  1 | 916 |2573 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
411.61/412.82	c   413s|  3600 |  2255 |228561 |  57.3 |   942M |  44 | 945 |  60k|  59k|3437 |  1 | 965 |2613 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
429.47/430.79	c   431s|  3700 |  2331 |235061 |  57.5 |   956M |  44 | 945 |  60k|  59k|3555 |  1 | 998 |2668 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
435.25/436.55	c   437s|  3800 |  2405 |241353 |  57.6 |   969M |  44 | 945 |  60k|  59k|3597 |  1 |1015 |2689 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
453.31/454.62	c   455s|  3900 |  2475 |247080 |  57.6 |   970M |  44 | 945 |  60k|  59k|3754 |  1 |1051 |2715 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
470.67/472.03	c   472s|  4000 |  2557 |254156 |  57.9 |   971M |  44 | 945 |  60k|  59k|3901 |  1 |1093 |2760 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
485.92/487.33	c   487s|  4100 |  2641 |261822 |  58.4 |   975M |  44 | 945 |  60k|  59k|4032 |  1 |1128 |2797 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
503.47/504.93	c   505s|  4200 |  2725 |268208 |  58.5 |  1004M |  44 | 945 |  60k|  59k|4163 |  1 |1190 |2827 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
521.13/522.63	c   523s|  4300 |  2801 |275535 |  58.9 |  1012M |  44 | 945 |  60k|  59k|4309 |  1 |1212 |2855 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
536.29/537.80	c   538s|  4400 |  2883 |281170 |  58.8 |  1013M |  44 | 945 |  60k|  59k|4415 |  1 |1251 |2876 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
552.35/553.91	c   554s|  4500 |  2963 |289857 |  59.4 |  1026M |  44 | 945 |  60k|  59k|4565 |  1 |1302 |2901 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
569.91/571.56	c   572s|  4600 |  3033 |295965 |  59.5 |  1048M |  44 | 945 |  60k|  59k|4689 |  0 |1350 |2920 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
585.77/587.49	c   587s|  4700 |  3109 |301234 |  59.3 |  1048M |  44 | 945 |  60k|  59k|4794 |  0 |1393 |2922 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
602.62/604.35	c   604s|  4800 |  3183 |307898 |  59.5 |  1051M |  44 | 945 |  60k|  59k|4941 |  0 |1450 |2938 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
616.99/618.73	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
616.99/618.73	c   619s|  4900 |  3245 |313640 |  59.4 |  1054M |  44 | 945 |  60k|  59k|5074 |  1 |1500 |2940 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
623.27/625.07	c   625s|  5000 |  3327 |320838 |  59.7 |  1055M |  44 | 945 |  60k|  59k|5132 |  1 |1578 |2952 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
637.03/638.85	c   639s|  5100 |  3419 |329023 |  60.1 |  1058M |  44 | 945 |  60k|  59k|5252 |  1 |1616 |2969 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
645.31/647.14	c   647s|  5200 |  3501 |335627 |  60.2 |  1060M |  45 | 945 |  60k|  59k|5314 |  1 |1671 |2972 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
665.06/667.00	c   667s|  5300 |  3571 |342705 |  60.4 |  1064M |  45 | 945 |  60k|  59k|5482 |  0 |1699 |2986 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
673.74/675.67	c   676s|  5400 |  3659 |350164 |  60.7 |  1098M |  45 | 945 |  60k|  59k|5574 |  1 |1812 |2999 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
676.53/678.42	c   678s|  5500 |  3735 |356648 |  60.8 |  1101M |  45 | 945 |  60k|  59k|5576 |  1 |1851 |3001 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
683.01/684.92	c   685s|  5600 |  3805 |363107 |  60.8 |  1103M |  45 | 945 |  61k|  59k|5623 |  1 |1897 |3007 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
692.28/694.25	c   694s|  5700 |  3901 |372125 |  61.4 |  1104M |  45 | 945 |  61k|  59k|5678 |  1 |1957 |3014 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
705.16/707.19	c   707s|  5800 |  3995 |381292 |  61.9 |  1106M |  45 | 945 |  61k|  59k|5801 |  0 |2004 |3031 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
723.30/725.31	c   725s|  5900 |  4089 |390743 |  62.4 |  1110M |  45 | 945 |  61k|  59k|5952 |  1 |2108 |3036 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
726.39/728.49	c   728s|  6000 |  4181 |397899 |  62.6 |  1111M |  45 | 945 |  61k|  59k|5960 |  1 |2200 |3038 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
731.37/733.48	c   733s|  6100 |  4245 |401970 |  62.2 |  1113M |  45 | 945 |  61k|  59k|5990 |  0 |2225 |3040 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
733.97/736.06	c   736s|  6200 |  4317 |407707 |  62.1 |  1113M |  45 | 945 |  61k|  59k|6009 |  1 |2271 |3040 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
736.65/738.78	c   739s|  6300 |  4407 |413383 |  62.1 |  1116M |  45 | 945 |  61k|  59k|6018 |  1 |2307 |3042 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
746.23/748.31	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
746.23/748.31	c   748s|  6400 |  4483 |418427 |  61.9 |  1118M |  45 | 945 |  61k|  59k|6070 |  1 |2332 |3042 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
757.99/760.18	c   760s|  6500 |  4545 |423784 |  61.8 |  1118M |  45 | 945 |  61k|  59k|6158 |  1 |2386 |3042 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
760.78/762.96	c   763s|  6600 |  4637 |429559 |  61.7 |  1119M |  45 | 945 |  61k|  59k|6163 |  1 |2466 |3053 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
763.77/765.97	c   766s|  6700 |  4727 |436366 |  61.8 |  1122M |  45 | 945 |  61k|  59k|6166 |  1 |2530 |3071 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
767.36/769.59	c   770s|  6800 |  4817 |442640 |  61.8 |  1123M |  45 | 945 |  61k|  59k|6168 |  0 |2592 |3117 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
770.95/773.17	c   773s|  6900 |  4915 |449947 |  62.0 |  1125M |  45 | 945 |  61k|  59k|6182 |  1 |2680 |3135 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
773.54/775.71	c Restart triggered after 50 consecutive estimations that the remaining tree will be large
773.54/775.71	o -40
773.54/775.71	c d 776s|  6970 |  4142 |454837 |  62.0 |pscostdi|  45 | 945 |  61k|  59k|   0 |  1 |2733 |3147 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
773.54/775.72	c (run 1, node 6970) performing user restart
773.54/775.72	c 
773.54/775.73	c (restart) converted 93 cuts from the global cut pool into linear constraints
773.54/775.73	c 
773.64/775.81	c presolving:
773.74/775.96	c (round 1, exhaustive) 0 del vars, 9 del conss, 1 add conss, 0 chg bounds, 3 chg sides, 11 chg coeffs, 93 upgd conss, 0 impls, 59279 clqs
773.94/776.11	c (round 2, exhaustive) 0 del vars, 107 del conss, 1 add conss, 0 chg bounds, 3 chg sides, 35 chg coeffs, 93 upgd conss, 0 impls, 59280 clqs
774.14/776.30	c presolving (3 rounds: 3 fast, 3 medium, 3 exhaustive):
774.14/776.30	c  0 deleted vars, 107 deleted constraints, 1 added constraints, 0 tightened bounds, 0 added holes, 3 changed sides, 137 changed coefficients
774.14/776.30	c  0 implications, 59280 cliques
774.14/776.30	c presolved problem has 945 variables (945 bin, 0 int, 0 impl, 0 cont) and 61315 constraints
774.14/776.30	c       2 constraints of type <knapsack>
774.14/776.30	c   59280 constraints of type <setppc>
774.14/776.30	c    2033 constraints of type <logicor>
774.14/776.30	c transformed objective value is always integral (scale: 1)
774.14/776.30	c Presolving Time: 1.80
774.24/776.42	c transformed 72/100 original solutions to the transformed problem space
774.24/776.42	c 
774.44/776.60	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
774.44/776.60	c   777s|     1 |     0 |455808 |     - |  1065M |   0 | 945 |  61k|  59k|   0 |  0 |2733 |3147 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
775.73/777.95	c   778s|     1 |     0 |455848 |     - |  1065M |   0 | 945 |  61k|  59k|   9 |  1 |2733 |3147 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
777.03/779.28	c   779s|     1 |     0 |455878 |     - |  1065M |   0 | 945 |  61k|  59k|  18 |  2 |2733 |3147 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
778.33/780.57	c   781s|     1 |     0 |455975 |     - |  1065M |   0 | 945 |  61k|  59k|  29 |  3 |2733 |3147 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
780.42/782.63	c   783s|     1 |     0 |456046 |     - |  1065M |   0 | 945 |  61k|  59k|  36 |  4 |2733 |3147 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
781.02/783.20	c   783s|     1 |     0 |456107 |     - |  1065M |   0 | 945 |  61k|  59k|  44 |  5 |2733 |3147 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
784.11/786.34	c   786s|     1 |     0 |456170 |     - |  1065M |   0 | 945 |  61k|  59k|  51 |  6 |2733 |3147 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
784.82/787.08	c   787s|     1 |     0 |456218 |     - |  1066M |   0 | 945 |  61k|  59k|  58 |  7 |2733 |3147 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
786.41/788.60	c   789s|     1 |     0 |456304 |     - |  1068M |   0 | 945 |  61k|  59k|  69 |  8 |2733 |3147 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
787.00/789.25	c   789s|     1 |     0 |456364 |     - |  1075M |   0 | 945 |  61k|  59k|  80 |  9 |2733 |3147 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
787.60/789.87	c   790s|     1 |     0 |456422 |     - |  1082M |   0 | 945 |  61k|  59k|  88 | 10 |2733 |3147 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
787.70/789.96	c   790s|     1 |     0 |456506 |     - |  1082M |   0 | 945 |  61k|  59k|  98 | 11 |2733 |3147 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
787.81/790.04	c   790s|     1 |     0 |456599 |     - |  1088M |   0 | 945 |  61k|  59k| 106 | 12 |2733 |3147 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
790.60/792.81	c   793s|     1 |     2 |457222 |     - |  1089M |   0 | 945 |  61k|  59k| 106 | 12 |2748 |3175 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
808.85/811.11	c   811s|   100 |    81 |464468 |  62.3 |  1090M |  33 | 945 |  61k|  59k| 121 |  1 |2936 |3774 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
814.43/816.74	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
814.43/816.74	c   817s|   200 |   157 |474180 |  62.8 |  1092M |  39 | 945 |  61k|  59k| 135 |  1 |2981 |3853 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
826.00/828.30	c   828s|   300 |   231 |479763 |  62.7 |  1095M |  44 | 945 |  61k|  59k| 178 |  1 |3125 |3992 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
840.86/843.21	c   843s|   400 |   305 |485490 |  62.6 |  1095M |  44 | 945 |  61k|  59k| 254 |  1 |3296 |4257 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
849.23/851.67	c   852s|   500 |   383 |491811 |  62.6 |  1096M |  44 | 945 |  61k|  59k| 318 |  1 |3398 |4347 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
855.81/858.26	c   858s|   600 |   469 |497492 |  62.5 |  1097M |  44 | 945 |  62k|  59k| 343 |  1 |3565 |4495 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
859.10/861.57	c   862s|   700 |   545 |502603 |  62.4 |  1098M |  44 | 945 |  62k|  59k| 348 |  1 |3628 |4532 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
862.99/865.47	c   865s|   800 |   631 |510519 |  62.6 |  1099M |  44 | 945 |  62k|  59k| 361 |  1 |3728 |4565 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
864.98/867.48	c   867s|   900 |   691 |514803 |  62.3 |  1100M |  44 | 945 |  62k|  59k| 366 |  1 |3763 |4570 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
875.75/878.26	c   878s|  1000 |   779 |523391 |  62.6 |  1101M |  44 | 945 |  62k|  59k| 445 |  1 |3826 |4578 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
896.70/899.25	c   899s|  1100 |   857 |531434 |  62.9 |  1120M |  44 | 945 |  62k|  59k| 626 |  1 |3884 |4583 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
911.76/914.36	c   914s|  1200 |   927 |538227 |  62.9 |  1178M |  44 | 945 |  62k|  59k| 815 |  1 |3964 |4586 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
931.90/934.58	c   935s|  1300 |  1019 |548911 |  63.5 |  1187M |  44 | 945 |  62k|  59k| 971 |  0 |4120 |4632 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
955.14/957.88	c   958s|  1400 |  1103 |557221 |  63.7 |  1212M |  44 | 945 |  62k|  59k|1244 |  2 |4211 |4668 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
959.33/962.04	c   962s|  1500 |  1185 |563437 |  63.7 |  1213M |  44 | 945 |  62k|  59k|1436 |  1 |4296 |4669 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
962.11/964.89	c   965s|  1600 |  1243 |568097 |  63.5 |  1214M |  44 | 945 |  62k|  59k|1497 |  0 |4336 |4694 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
970.99/973.78	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
970.99/973.78	c   974s|  1700 |  1309 |574988 |  63.5 |  1214M |  44 | 945 |  62k|  59k|1672 |  1 |4365 |4718 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
982.06/984.88	c   985s|  1800 |  1379 |582495 |  63.7 |  1237M |  44 | 945 |  62k|  59k|1889 |  1 |4396 |4722 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
1000.41/1003.20	c  1003s|  1900 |  1451 |588942 |  63.7 |  1238M |  44 | 945 |  62k|  59k|2098 |  1 |4459 |4724 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
1009.38/1012.22	c  1012s|  2000 |  1525 |595758 |  63.7 |  1271M |  44 | 945 |  62k|  59k|2231 |  1 |4490 |4726 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
1017.76/1020.63	c  1021s|  2100 |  1599 |602226 |  63.7 |  1271M |  44 | 945 |  62k|  59k|2407 |  1 |4542 |4728 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
1038.60/1041.53	c  1042s|  2200 |  1675 |610030 |  63.9 |  1284M |  44 | 945 |  63k|  59k|2642 |  1 |4602 |4763 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
1044.38/1047.33	c  1047s|  2300 |  1771 |618546 |  64.1 |  1285M |  44 | 945 |  63k|  59k|2658 |  1 |4674 |4860 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
1062.34/1065.33	c  1065s|  2400 |  1859 |626415 |  64.3 |  1287M |  44 | 945 |  63k|  59k|2798 |  1 |4758 |4900 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
1068.52/1071.50	c  1071s|  2500 |  1939 |632401 |  64.2 |  1288M |  44 | 945 |  63k|  59k|2830 |  1 |4817 |4910 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
1071.61/1074.62	c  1075s|  2600 |  2031 |638681 |  64.2 |  1289M |  44 | 945 |  63k|  59k|2843 |  1 |4936 |4935 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
1074.20/1077.24	c  1077s|  2700 |  2123 |644190 |  64.1 |  1290M |  44 | 945 |  63k|  59k|2850 |  1 |5043 |4938 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
1088.97/1092.07	c  1092s|  2800 |  2209 |651138 |  64.2 |  1291M |  44 | 945 |  63k|  59k|2963 |  1 |5119 |4954 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
1092.06/1095.13	c  1095s|  2900 |  2307 |658224 |  64.2 |  1292M |  45 | 945 |  63k|  59k|3024 |  1 |5233 |4957 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
1097.44/1100.51	c  1101s|  3000 |  2395 |665037 |  64.3 |  1294M |  46 | 945 |  63k|  59k|3108 |  1 |5303 |4959 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
1100.43/1103.51	c  1104s|  3100 |  2479 |671055 |  64.2 |  1295M |  46 | 945 |  63k|  59k|3181 |  0 |5395 |4966 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
1115.69/1118.84	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1115.69/1118.84	c  1119s|  3200 |  2555 |677432 |  64.2 |  1295M |  46 | 945 |  63k|  59k|3313 |  1 |5425 |4991 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
1134.14/1137.32	c  1137s|  3300 |  2613 |682396 |  64.1 |  1314M |  46 | 945 |  63k|  59k|3450 |  1 |5452 |5013 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
1139.83/1143.02	c  1143s|  3400 |  2695 |688818 |  64.1 |  1315M |  46 | 945 |  63k|  59k|3511 |  1 |5507 |5050 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
1144.21/1147.40	c  1147s|  3500 |  2769 |694534 |  64.0 |  1316M |  46 | 945 |  63k|  59k|3569 |  1 |5584 |5087 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
1156.58/1159.86	c  1160s|  3600 |  2833 |699919 |  63.9 |  1319M |  46 | 945 |  63k|  59k|3697 |  1 |5613 |5120 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
1162.06/1165.37	c  1165s|  3700 |  2913 |706380 |  63.9 |  1320M |  46 | 945 |  63k|  59k|3810 |  1 |5674 |5149 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
1174.73/1178.04	c  1178s|  3800 |  2973 |711587 |  63.8 |  1338M |  47 | 945 |  63k|  59k|3983 |  1 |5782 |5177 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
1181.01/1184.32	c  1184s|  3900 |  3051 |718229 |  63.9 |  1340M |  47 | 945 |  64k|  59k|4107 |  1 |5874 |5222 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
1192.17/1195.56	c  1196s|  4000 |  3145 |726446 |  64.0 |  1342M |  47 | 945 |  64k|  59k|4253 |  2 |6011 |5247 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
1211.52/1214.91	c  1215s|  4100 |  3217 |732210 |  64.0 |  1345M |  47 | 945 |  64k|  59k|4408 |  0 |6072 |5256 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
1215.62/1219.05	c  1219s|  4200 |  3279 |737113 |  63.8 |  1345M |  47 | 945 |  64k|  59k|4490 |  1 |6092 |5274 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
1219.40/1222.81	c  1223s|  4300 |  3367 |744301 |  63.9 |  1385M |  47 | 945 |  64k|  59k|4568 |  1 |6214 |5287 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
1234.66/1238.17	c  1238s|  4400 |  3441 |751420 |  64.0 |  1386M |  47 | 945 |  64k|  59k|4747 |  1 |6278 |5302 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
1252.11/1255.69	c  1256s|  4500 |  3505 |757910 |  64.0 |  1387M |  47 | 945 |  64k|  59k|4905 |  1 |6343 |5328 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
1255.50/1259.05	c  1259s|  4600 |  3583 |764781 |  64.0 |  1388M |  47 | 945 |  64k|  59k|5003 |  1 |6414 |5344 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
1273.64/1277.23	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1273.64/1277.23	c  1277s|  4700 |  3677 |771752 |  64.1 |  1413M |  47 | 945 |  64k|  59k|5231 |  1 |6535 |5348 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
1287.81/1291.41	c  1291s|  4800 |  3763 |778760 |  64.1 |  1421M |  47 | 945 |  64k|  59k|5359 |  1 |6653 |5373 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
1293.79/1297.43	c  1297s|  4900 |  3861 |787364 |  64.3 |  1442M |  47 | 945 |  64k|  59k|5433 |  1 |6707 |5405 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
1298.27/1301.94	c  1302s|  5000 |  3959 |796363 |  64.5 |  1443M |  47 | 945 |  64k|  59k|5443 |  1 |6774 |5433 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
1313.93/1317.67	c  1318s|  5100 |  4041 |805069 |  64.7 |  1446M |  47 | 945 |  64k|  59k|5585 |  1 |6831 |5455 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
1325.50/1329.23	c  1329s|  5200 |  4125 |812166 |  64.8 |  1447M |  47 | 945 |  64k|  59k|5751 |  1 |6865 |5459 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
1339.16/1342.92	c  1343s|  5300 |  4223 |822573 |  65.1 |  1450M |  47 | 945 |  64k|  59k|5940 |  1 |6959 |5470 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
1354.02/1357.82	c  1358s|  5400 |  4311 |831891 |  65.3 |  1454M |  47 | 945 |  64k|  59k|6181 |  1 |7016 |5474 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
1365.30/1369.18	c  1369s|  5500 |  4375 |838432 |  65.3 |  1457M |  47 | 945 |  64k|  59k|6357 |  4 |7066 |5478 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
1381.15/1385.01	c  1385s|  5600 |  4455 |847077 |  65.5 |  1459M |  47 | 945 |  64k|  59k|6542 |  1 |7118 |5479 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
1408.97/1412.95	c  1413s|  5700 |  4525 |855216 |  65.6 |  1493M |  47 | 945 |  64k|  59k|6869 |  1 |7164 |5482 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
1439.11/1443.19	c  1443s|  5800 |  4607 |863748 |  65.7 |  1508M |  47 | 945 |  64k|  59k|7093 |  0 |7227 |5483 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
1445.28/1449.36	c  1449s|  5900 |  4683 |869672 |  65.7 |  1557M |  47 | 945 |  64k|  59k|7204 |  0 |7293 |5489 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
1457.35/1461.47	c  1461s|  6000 |  4777 |880773 |  66.0 |  1559M |  47 | 945 |  64k|  59k|7339 |  1 |7383 |5493 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
1467.42/1471.51	c  1472s|  6100 |  4869 |889544 |  66.2 |  1567M |  47 | 945 |  64k|  59k|7478 |  1 |7458 |5499 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
1477.19/1481.31	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1477.19/1481.31	c  1481s|  6200 |  4947 |898285 |  66.4 |  1569M |  47 | 945 |  64k|  59k|7597 |  0 |7532 |5500 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
1488.36/1492.51	c  1493s|  6300 |  5031 |905308 |  66.4 |  1575M |  47 | 945 |  64k|  59k|7794 |  1 |7600 |5505 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
1501.43/1505.65	c  1506s|  6400 |  5101 |911495 |  66.4 |  1584M |  49 | 945 |  64k|  59k|7898 |  1 |7651 |5505 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
1527.55/1531.89	c  1532s|  6500 |  5175 |919034 |  66.4 |  1604M |  49 | 945 |  64k|  59k|8099 |  3 |7686 |5505 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
1571.04/1575.48	c  1575s|  6600 |  5237 |926518 |  66.5 |  1625M |  49 | 945 |  64k|  59k|8483 |  3 |7704 |5509 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
1591.78/1596.28	c  1596s|  6700 |  5307 |934911 |  66.6 |  1634M |  49 | 945 |  64k|  59k|8719 |  1 |7790 |5516 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
1603.96/1608.42	c  1608s|  6800 |  5371 |940382 |  66.5 |  1634M |  52 | 945 |  64k|  59k|8815 |  1 |7827 |5522 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
1609.65/1614.15	c  1614s|  6900 |  5433 |945872 |  66.5 |  1635M |  52 | 945 |  64k|  59k|8859 |  1 |7833 |5528 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
1612.93/1617.42	c  1617s|  7000 |  5505 |951807 |  66.4 |  1663M |  54 | 945 |  64k|  59k|8898 |  1 |7880 |5532 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
1615.12/1619.63	c  1620s|  7100 |  5565 |956426 |  66.3 |  1663M |  54 | 945 |  64k|  59k|8903 |  0 |7901 |5543 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
1644.84/1649.45	c  1649s|  7200 |  5633 |963366 |  66.3 |  1665M |  54 | 945 |  64k|  59k|9145 |  1 |7932 |5545 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
1661.60/1666.26	c  1666s|  7300 |  5699 |969838 |  66.3 |  1667M |  54 | 945 |  64k|  59k|9270 |  1 |7952 |5546 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
1673.27/1677.97	c  1678s|  7400 |  5757 |974918 |  66.2 |  1667M |  54 | 945 |  64k|  59k|9359 |  1 |7990 |5547 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
1686.24/1690.93	c  1691s|  7500 |  5809 |979965 |  66.1 |  1723M |  54 | 945 |  64k|  59k|9509 |  1 |8010 |5585 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
1689.22/1693.99	c  1694s|  7600 |  5873 |986124 |  66.0 |  1724M |  54 | 945 |  64k|  59k|9545 |  1 |8082 |5599 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
1700.90/1705.70	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1700.90/1705.70	c  1706s|  7700 |  5959 |993953 |  66.1 |  1728M |  54 | 945 |  64k|  59k|9611 |  0 |8161 |5632 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
1730.91/1735.78	c  1736s|  7800 |  6045 |  1003k|  66.3 |  1730M |  54 | 945 |  64k|  59k|9907 |  1 |8236 |5689 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
1745.58/1750.42	c  1750s|  7900 |  6121 |  1010k|  66.3 |  1732M |  54 | 945 |  64k|  59k|  10k|  1 |8262 |5718 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
1756.35/1761.28	c  1761s|  8000 |  6167 |  1015k|  66.2 |  1732M |  54 | 945 |  64k|  59k|  10k|  0 |8300 |5740 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
1770.32/1775.28	c  1775s|  8100 |  6225 |  1021k|  66.2 |  1734M |  54 | 945 |  64k|  59k|  10k|  0 |8373 |5794 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
1792.96/1797.90	c  1798s|  8200 |  6289 |  1027k|  66.1 |  1735M |  54 | 945 |  64k|  59k|  10k|  1 |8408 |5795 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
1799.64/1804.65	c  1805s|  8300 |  6355 |  1033k|  66.1 |  1737M |  54 | 945 |  64k|  59k|  10k|  1 |8501 |5829 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
1819.09/1824.11	c  1824s|  8400 |  6417 |  1040k|  66.2 |  1738M |  54 | 945 |  64k|  59k|  10k|  1 |8552 |5869 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
1830.85/1835.91	c  1836s|  8500 |  6485 |  1046k|  66.1 |  1739M |  54 | 945 |  64k|  59k|  10k|  1 |8614 |5900 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
1839.03/1844.12	c  1844s|  8600 |  6561 |  1052k|  66.0 |  1742M |  54 | 945 |  64k|  59k|  10k|  1 |8678 |5928 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
1859.88/1865.08	c  1865s|  8700 |  6631 |  1057k|  66.0 |  1742M |  54 | 945 |  64k|  59k|  11k|  1 |8700 |5950 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
1864.76/1869.94	c  1870s|  8800 |  6701 |  1063k|  65.9 |  1744M |  54 | 945 |  64k|  59k|  11k|  1 |8761 |5978 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
1874.33/1879.51	c  1880s|  8900 |  6765 |  1068k|  65.8 |  1745M |  54 | 945 |  64k|  59k|  11k|  1 |8828 |6002 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
1886.70/1891.90	c  1892s|  9000 |  6837 |  1075k|  65.8 |  1746M |  54 | 945 |  64k|  59k|  11k|  0 |8848 |6013 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
1913.53/1918.81	c  1919s|  9100 |  6917 |  1084k|  66.0 |  1788M |  54 | 945 |  64k|  59k|  11k|  1 |8911 |6016 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
1930.49/1935.87	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1930.49/1935.87	c  1936s|  9200 |  6999 |  1092k|  66.0 |  1790M |  54 | 945 |  64k|  59k|  11k|  1 |8974 |6019 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
1940.16/1945.59	c  1946s|  9300 |  7055 |  1097k|  66.0 |  1790M |  54 | 945 |  64k|  59k|  11k|  0 |8992 |6027 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
1954.02/1959.41	c  1959s|  9400 |  7115 |  1102k|  65.9 |  1792M |  54 | 945 |  64k|  59k|  11k|  1 |9031 |6039 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
1979.06/1984.53	c  1985s|  9500 |  7169 |  1108k|  65.9 |  1792M |  54 | 945 |  64k|  59k|  12k|  1 |9042 |6046 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
1995.21/2000.73	c  2001s|  9600 |  7229 |  1115k|  65.9 |  1859M |  54 | 945 |  64k|  59k|  12k|  0 |9083 |6048 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
2014.36/2019.90	c  2020s|  9700 |  7285 |  1122k|  65.9 |  1863M |  54 | 945 |  64k|  59k|  12k|  1 |9093 |6050 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
2030.53/2036.18	c  2036s|  9800 |  7331 |  1126k|  65.7 |  1863M |  54 | 945 |  64k|  59k|  12k|  0 |9100 |6054 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
2033.61/2039.28	c  2039s|  9900 |  7399 |  1132k|  65.7 |  1864M |  54 | 945 |  64k|  59k|  12k|  1 |9142 |6057 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
2047.67/2053.37	c  2053s| 10000 |  7467 |  1138k|  65.7 |  1865M |  54 | 945 |  64k|  59k|  12k|  1 |9169 |6066 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
2068.63/2074.38	c  2074s| 10100 |  7523 |  1144k|  65.6 |  1866M |  54 | 945 |  64k|  59k|  13k|  1 |9208 |6068 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
2083.98/2089.73	c  2090s| 10200 |  7585 |  1150k|  65.6 |  1869M |  54 | 945 |  64k|  59k|  13k|  0 |9230 |6071 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
2099.25/2105.08	c  2105s| 10300 |  7643 |  1156k|  65.6 |  1871M |  54 | 945 |  64k|  59k|  13k|  0 |9246 |6071 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
2111.91/2117.77	c  2118s| 10400 |  7689 |  1161k|  65.5 |  1872M |  54 | 945 |  64k|  59k|  13k|  1 |9246 |6078 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
2121.29/2127.19	o -41
2121.29/2127.19	c *2127s| 10478 |  5985 |  1165k|  65.4 |    LP  |  54 | 945 |  62k|  59k|  13k|  1 |9252 |6080 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2121.79/2127.68	c  2128s| 10500 |  5995 |  1166k|  65.4 |  1874M |  54 | 945 |  62k|  59k|  13k|  1 |9252 |6080 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2138.14/2144.01	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2138.14/2144.01	c  2144s| 10600 |  6031 |  1171k|  65.3 |  1874M |  55 | 945 |  62k|  59k|  13k|  1 |9276 |6083 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2148.51/2154.49	c  2154s| 10700 |  6065 |  1176k|  65.2 |  1874M |  55 | 945 |  62k|  59k|  13k|  2 |9280 |6087 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2153.10/2159.08	c  2159s| 10800 |  6145 |  1186k|  65.4 |  1875M |  55 | 945 |  62k|  59k|  13k|  1 |9336 |6097 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2169.06/2175.08	c  2175s| 10900 |  6215 |  1196k|  65.6 |  1875M |  55 | 945 |  62k|  59k|  14k|  2 |9373 |6097 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2181.92/2187.91	c  2188s| 11000 |  6291 |  1207k|  65.9 |  1878M |  55 | 945 |  62k|  59k|  14k|  1 |9432 |6099 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2187.21/2193.25	c  2193s| 11100 |  6359 |  1216k|  66.0 |  1878M |  55 | 945 |  62k|  59k|  14k|  1 |9443 |6099 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2203.07/2209.14	c  2209s| 11200 |  6401 |  1223k|  66.0 |  1878M |  55 | 945 |  62k|  59k|  14k|  1 |9450 |6100 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2218.33/2224.43	c  2224s| 11300 |  6447 |  1226k|  65.8 |  1878M |  55 | 945 |  62k|  59k|  14k|  1 |9477 |6105 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2234.99/2241.12	c  2241s| 11400 |  6491 |  1231k|  65.7 |  1916M |  55 | 945 |  62k|  59k|  14k|  1 |9508 |6106 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2241.46/2247.60	c  2248s| 11500 |  6549 |  1236k|  65.6 |  1917M |  55 | 945 |  62k|  59k|  14k|  0 |9518 |6114 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2244.96/2251.14	c  2251s| 11600 |  6603 |  1240k|  65.5 |  1918M |  55 | 945 |  62k|  59k|  14k|  1 |9568 |6118 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2249.24/2255.41	c  2255s| 11700 |  6645 |  1245k|  65.4 |  1918M |  55 | 945 |  62k|  59k|  14k|  0 |9568 |6124 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2253.23/2259.45	c  2259s| 11800 |  6695 |  1249k|  65.3 |  1918M |  55 | 945 |  62k|  59k|  14k|  0 |9606 |6128 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2273.68/2279.92	c  2280s| 11900 |  6743 |  1255k|  65.3 |  1918M |  55 | 945 |  62k|  59k|  14k|  2 |9630 |6129 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2284.76/2291.05	c  2291s| 12000 |  6791 |  1260k|  65.2 |  1918M |  55 | 945 |  62k|  59k|  15k|  0 |9666 |6130 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2296.52/2302.83	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2296.52/2302.83	c  2303s| 12100 |  6825 |  1265k|  65.1 |  1918M |  55 | 945 |  62k|  59k|  15k|  1 |9666 |6130 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2298.51/2304.85	c  2305s| 12200 |  6863 |  1269k|  65.0 |  1918M |  61 | 945 |  62k|  59k|  15k|  0 |9694 |6131 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2300.20/2306.59	c  2307s| 12300 |  6893 |  1273k|  64.8 |  1919M |  67 | 945 |  62k|  59k|  15k|  0 |9702 |6131 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2306.58/2312.91	c  2313s| 12400 |  6925 |  1277k|  64.7 |  1919M |  67 | 945 |  62k|  59k|  15k|  0 |9702 |6133 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2315.76/2322.19	c  2322s| 12500 |  6955 |  1281k|  64.6 |  1919M |  67 | 945 |  62k|  59k|  15k|  1 |9702 |6134 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2321.54/2327.93	c  2328s| 12600 |  6997 |  1286k|  64.5 |  1919M |  67 | 945 |  62k|  59k|  15k|  0 |9720 |6137 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2339.89/2346.33	c  2346s| 12700 |  7023 |  1291k|  64.4 |  1919M |  67 | 945 |  62k|  59k|  15k|  0 |9744 |6138 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2342.69/2349.12	c  2349s| 12800 |  7075 |  1295k|  64.3 |  2000M |  67 | 945 |  62k|  59k|  15k|  0 |9804 |6170 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2344.88/2351.31	c  2351s| 12900 |  7103 |  1298k|  64.2 |  2000M |  67 | 945 |  62k|  59k|  15k|  1 |9827 |6200 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2346.17/2352.69	c  2353s| 13000 |  7131 |  1302k|  64.0 |  2000M |  67 | 945 |  62k|  59k|  15k|  0 |9832 |6200 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2350.76/2357.28	c  2357s| 13100 |  7165 |  1305k|  63.8 |  2000M |  67 | 945 |  62k|  59k|  15k|  1 |9832 |6206 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2356.05/2362.56	c  2363s| 13200 |  7201 |  1309k|  63.7 |  2000M |  67 | 945 |  62k|  59k|  15k|  0 |9891 |6230 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2373.51/2380.08	c  2380s| 13300 |  7241 |  1314k|  63.7 |  2000M |  67 | 945 |  62k|  59k|  15k|  0 |9965 |6263 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2389.56/2396.17	c  2396s| 13400 |  7271 |  1319k|  63.6 |  2001M |  67 | 945 |  62k|  59k|  15k|  1 |  10k|6283 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2407.42/2414.06	c  2414s| 13500 |  7305 |  1323k|  63.5 |  2002M |  67 | 945 |  62k|  59k|  16k|  1 |  10k|6312 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2413.59/2420.27	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2413.59/2420.27	c  2420s| 13600 |  7341 |  1327k|  63.4 |  2002M |  67 | 945 |  62k|  59k|  16k|  0 |  10k|6345 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2432.46/2439.12	c  2439s| 13700 |  7381 |  1332k|  63.3 |  2004M |  67 | 945 |  62k|  59k|  16k|  1 |  10k|6356 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2442.62/2449.39	c  2449s| 13800 |  7419 |  1336k|  63.2 |  2004M |  67 | 945 |  62k|  59k|  16k|  1 |  10k|6373 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2453.58/2460.32	c  2460s| 13900 |  7465 |  1341k|  63.1 |  2005M |  67 | 945 |  62k|  59k|  16k|  0 |  10k|6411 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2455.67/2462.49	c  2462s| 14000 |  7503 |  1345k|  63.0 |  2006M |  67 | 945 |  62k|  59k|  16k|  1 |  10k|6432 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2458.06/2464.80	c  2465s| 14100 |  7539 |  1349k|  62.9 |  2006M |  67 | 945 |  62k|  59k|  16k|  1 |  10k|6452 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2462.26/2469.03	c  2469s| 14200 |  7577 |  1352k|  62.7 |  2007M |  67 | 945 |  62k|  59k|  16k|  2 |  10k|6477 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2469.73/2476.55	c  2477s| 14300 |  7625 |  1357k|  62.7 |  2008M |  67 | 945 |  62k|  59k|  16k|  1 |  10k|6500 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2474.72/2481.52	c  2482s| 14400 |  7657 |  1360k|  62.6 |  2009M |  67 | 945 |  62k|  59k|  16k|  0 |  10k|6519 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2479.10/2485.96	c  2486s| 14500 |  7691 |  1365k|  62.5 |  2009M |  67 | 945 |  62k|  59k|  16k|  1 |  10k|6540 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2491.97/2498.80	c  2499s| 14600 |  7727 |  1370k|  62.4 |  2010M |  67 | 945 |  62k|  59k|  16k|  1 |  10k|6572 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2497.86/2504.70	c  2505s| 14700 |  7779 |  1375k|  62.4 |  2015M |  68 | 945 |  62k|  59k|  16k|  1 |  10k|6598 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2502.15/2509.06	c  2509s| 14800 |  7829 |  1381k|  62.3 |  2016M |  68 | 945 |  62k|  59k|  16k|  1 |  10k|6628 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2520.69/2527.65	c  2528s| 14900 |  7861 |  1385k|  62.3 |  2016M |  68 | 945 |  62k|  59k|  16k|  0 |  10k|6651 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2545.33/2552.32	c  2552s| 15000 |  7887 |  1389k|  62.2 |  2016M |  68 | 945 |  62k|  59k|  17k|  0 |  10k|6653 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2560.29/2567.39	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2560.29/2567.39	c  2567s| 15100 |  7909 |  1394k|  62.1 |  2016M |  68 | 945 |  62k|  59k|  17k|  0 |  10k|6675 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2575.15/2582.25	c  2582s| 15200 |  7953 |  1398k|  62.0 |  2017M |  68 | 945 |  62k|  59k|  17k|  1 |  10k|6689 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2585.52/2592.66	c  2593s| 15300 |  7989 |  1403k|  61.9 |  2017M |  68 | 945 |  62k|  59k|  17k|  0 |  10k|6707 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2596.30/2603.42	c  2603s| 15400 |  8013 |  1407k|  61.8 |  2018M |  68 | 945 |  62k|  59k|  17k|  0 |  11k|6715 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2602.88/2610.04	c  2610s| 15500 |  8045 |  1410k|  61.7 |  2018M |  68 | 945 |  62k|  59k|  17k|  2 |  11k|6719 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2608.76/2615.90	c  2616s| 15600 |  8091 |  1415k|  61.6 |  2018M |  68 | 945 |  62k|  59k|  17k|  0 |  11k|6724 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2610.86/2618.03	c  2618s| 15700 |  8139 |  1419k|  61.5 |  2019M |  68 | 945 |  62k|  59k|  17k|  1 |  11k|6729 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2622.93/2630.13	c  2630s| 15800 |  8175 |  1423k|  61.4 |  2020M |  68 | 945 |  62k|  59k|  17k|  1 |  11k|6734 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2631.00/2638.25	c  2638s| 15900 |  8221 |  1428k|  61.4 |  2021M |  68 | 945 |  62k|  59k|  17k|  2 |  11k|6742 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2637.58/2644.88	c  2645s| 16000 |  8267 |  1432k|  61.3 |  2021M |  68 | 945 |  62k|  59k|  17k|  1 |  11k|6744 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2645.86/2653.12	c  2653s| 16100 |  8309 |  1437k|  61.2 |  2024M |  68 | 945 |  62k|  59k|  17k|  1 |  11k|6751 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2652.34/2659.69	c  2660s| 16200 |  8343 |  1441k|  61.2 |  2024M |  68 | 945 |  62k|  59k|  17k|  0 |  11k|6754 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2654.13/2661.45	c  2661s| 16300 |  8377 |  1445k|  61.1 |  2072M |  68 | 945 |  62k|  59k|  17k|  1 |  11k|6761 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2664.81/2672.19	c  2672s| 16400 |  8433 |  1449k|  61.0 |  2073M |  68 | 945 |  62k|  59k|  17k|  0 |  11k|6763 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2692.24/2699.67	c  2700s| 16500 |  8475 |  1454k|  61.0 |  2074M |  68 | 945 |  62k|  59k|  18k|  1 |  11k|6763 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2713.39/2720.80	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2713.39/2720.80	c  2721s| 16600 |  8521 |  1459k|  60.9 |  2078M |  68 | 945 |  62k|  59k|  18k|  1 |  11k|6764 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2726.86/2734.39	c  2734s| 16700 |  8555 |  1462k|  60.8 |  2079M |  68 | 945 |  62k|  59k|  18k|  1 |  11k|6764 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2728.95/2736.43	c  2736s| 16800 |  8591 |  1466k|  60.7 |  2079M |  68 | 945 |  62k|  59k|  18k|  1 |  11k|6767 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2739.22/2746.77	c  2747s| 16900 |  8645 |  1471k|  60.6 |  2175M |  68 | 945 |  62k|  59k|  18k|  1 |  11k|6768 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2750.89/2758.42	c  2758s| 17000 |  8701 |  1475k|  60.6 |  2177M |  68 | 945 |  62k|  59k|  18k|  1 |  11k|6773 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2761.76/2769.30	c  2769s| 17100 |  8731 |  1479k|  60.5 |  2178M |  68 | 945 |  62k|  59k|  18k|  0 |  11k|6780 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2766.95/2774.53	c  2775s| 17200 |  8771 |  1483k|  60.4 |  2179M |  68 | 945 |  62k|  59k|  18k|  0 |  11k|6782 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2783.11/2790.73	c  2791s| 17300 |  8809 |  1488k|  60.3 |  2180M |  68 | 945 |  62k|  59k|  18k|  1 |  11k|6784 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2791.09/2798.76	c  2799s| 17400 |  8845 |  1492k|  60.3 |  2180M |  68 | 945 |  62k|  59k|  18k|  0 |  11k|6785 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2797.97/2805.62	c  2806s| 17500 |  8887 |  1496k|  60.2 |  2180M |  68 | 945 |  62k|  59k|  18k|  1 |  11k|6792 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2803.05/2810.74	c  2811s| 17600 |  8919 |  1499k|  60.1 |  2181M |  68 | 945 |  62k|  59k|  18k|  1 |  11k|6797 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2808.94/2816.61	c  2817s| 17700 |  8969 |  1504k|  60.0 |  2182M |  68 | 945 |  62k|  59k|  18k|  2 |  11k|6797 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2829.58/2837.39	c  2837s| 17800 |  9015 |  1510k|  60.0 |  2184M |  68 | 945 |  62k|  59k|  19k|  0 |  11k|6799 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2835.46/2843.24	c  2843s| 17900 |  9049 |  1514k|  59.9 |  2185M |  68 | 945 |  62k|  59k|  19k|  1 |  11k|6799 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2845.24/2853.06	c  2853s| 18000 |  9079 |  1519k|  59.9 |  2185M |  68 | 945 |  62k|  59k|  19k|  0 |  11k|6799 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2848.02/2855.89	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2848.02/2855.89	c  2856s| 18100 |  9133 |  1524k|  59.8 |  2186M |  68 | 945 |  62k|  59k|  19k|  1 |  11k|6799 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2862.59/2870.40	c  2870s| 18200 |  9175 |  1528k|  59.8 |  2187M |  68 | 945 |  62k|  59k|  19k|  1 |  11k|6807 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2866.87/2874.77	c  2875s| 18300 |  9229 |  1533k|  59.7 |  2188M |  68 | 945 |  62k|  59k|  19k|  0 |  11k|6808 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2879.64/2887.54	c  2888s| 18400 |  9263 |  1537k|  59.7 |  2190M |  68 | 945 |  62k|  59k|  19k|  1 |  11k|6811 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2898.49/2906.44	c  2906s| 18500 |  9291 |  1541k|  59.6 |  2190M |  68 | 945 |  62k|  59k|  19k|  0 |  11k|6811 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2907.27/2915.28	c  2915s| 18600 |  9327 |  1545k|  59.5 |  2190M |  68 | 945 |  62k|  59k|  19k|  0 |  11k|6811 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2921.44/2929.41	c  2929s| 18700 |  9367 |  1549k|  59.4 |  2191M |  68 | 945 |  62k|  59k|  19k|  0 |  11k|6812 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2927.72/2935.76	c  2936s| 18800 |  9403 |  1553k|  59.4 |  2191M |  68 | 945 |  62k|  59k|  19k|  0 |  11k|6813 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2931.91/2939.93	c  2940s| 18900 |  9441 |  1558k|  59.3 |  2192M |  68 | 945 |  62k|  59k|  19k|  1 |  11k|6813 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2934.80/2942.87	c  2943s| 19000 |  9487 |  1562k|  59.2 |  2193M |  68 | 945 |  62k|  59k|  19k|  0 |  11k|6815 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2942.88/2950.95	c  2951s| 19100 |  9527 |  1566k|  59.2 |  2193M |  68 | 945 |  62k|  59k|  20k|  1 |  11k|6818 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2950.35/2958.49	c  2958s| 19200 |  9571 |  1571k|  59.1 |  2195M |  68 | 945 |  62k|  59k|  20k|  1 |  11k|6820 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2955.83/2963.99	c  2964s| 19300 |  9611 |  1576k|  59.1 |  2195M |  68 | 945 |  62k|  59k|  20k|  1 |  11k|6822 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2963.02/2971.13	c  2971s| 19400 |  9645 |  1580k|  59.0 |  2196M |  68 | 945 |  62k|  59k|  20k|  1 |  11k|6823 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2968.01/2976.17	c  2976s| 19500 |  9683 |  1584k|  58.9 |  2196M |  68 | 945 |  62k|  59k|  20k|  1 |  11k|6823 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2975.89/2984.01	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2975.89/2984.01	c  2984s| 19600 |  9719 |  1587k|  58.9 |  2197M |  68 | 945 |  62k|  59k|  20k|  1 |  11k|6823 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2997.13/3005.34	c  3005s| 19700 |  9755 |  1593k|  58.9 |  2201M |  68 | 945 |  62k|  59k|  20k|  1 |  11k|6823 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3010.80/3019.08	c  3019s| 19800 |  9792 |  1598k|  58.8 |  2202M |  68 | 945 |  62k|  59k|  20k|  2 |  11k|6826 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3019.17/3027.40	c  3027s| 19900 |  9822 |  1601k|  58.7 |  2203M |  68 | 945 |  62k|  59k|  20k|  0 |  11k|6827 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3028.85/3037.19	c  3037s| 20000 |  9860 |  1606k|  58.7 |  2205M |  68 | 945 |  62k|  59k|  20k|  2 |  11k|6827 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3030.64/3038.90	c  3039s| 20100 |  9900 |  1610k|  58.6 |  2206M |  68 | 945 |  62k|  59k|  20k|  1 |  11k|6827 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3033.13/3041.49	c  3041s| 20200 |  9926 |  1614k|  58.5 |  2207M |  68 | 945 |  62k|  59k|  20k|  0 |  11k|6827 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3048.09/3056.48	c  3056s| 20300 |  9954 |  1617k|  58.4 |  2207M |  68 | 945 |  62k|  59k|  20k|  0 |  11k|6829 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3069.24/3077.65	c  3078s| 20400 |  9992 |  1622k|  58.4 |  2207M |  68 | 945 |  62k|  59k|  21k|  3 |  11k|6830 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3074.32/3082.74	c  3083s| 20500 | 10020 |  1626k|  58.3 |  2208M |  68 | 945 |  62k|  59k|  21k|  1 |  11k|6830 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3093.07/3101.58	c  3102s| 20600 | 10058 |  1631k|  58.3 |  2220M |  68 | 945 |  62k|  59k|  21k|  1 |  11k|6831 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3100.05/3108.58	c  3109s| 20700 | 10094 |  1635k|  58.2 |  2220M |  68 | 945 |  62k|  59k|  21k|  0 |  11k|6831 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3108.02/3116.55	c  3117s| 20800 | 10140 |  1639k|  58.2 |  2220M |  68 | 945 |  62k|  59k|  21k|  0 |  11k|6831 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3116.20/3124.76	c  3125s| 20900 | 10176 |  1643k|  58.1 |  2221M |  68 | 945 |  62k|  59k|  21k|  1 |  11k|6832 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3124.68/3133.24	c  3133s| 21000 | 10216 |  1648k|  58.1 |  2221M |  68 | 945 |  62k|  59k|  21k|  1 |  11k|6832 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3132.35/3140.92	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3132.35/3140.92	c  3141s| 21100 | 10250 |  1652k|  58.0 |  2221M |  68 | 945 |  62k|  59k|  21k|  1 |  11k|6832 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3136.65/3145.26	c  3145s| 21200 | 10294 |  1657k|  58.0 |  2279M |  68 | 945 |  62k|  59k|  21k|  1 |  11k|6834 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3143.13/3151.77	c  3152s| 21300 | 10334 |  1662k|  57.9 |  2279M |  68 | 945 |  62k|  59k|  21k|  1 |  11k|6837 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3148.32/3156.97	c  3157s| 21400 | 10378 |  1666k|  57.9 |  2282M |  68 | 945 |  62k|  59k|  21k|  1 |  11k|6837 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3154.00/3162.60	c  3163s| 21500 | 10420 |  1670k|  57.8 |  2282M |  68 | 945 |  62k|  59k|  21k|  0 |  11k|6837 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3160.38/3169.08	c  3169s| 21600 | 10464 |  1674k|  57.8 |  2283M |  68 | 945 |  62k|  59k|  21k|  1 |  11k|6837 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3162.07/3170.72	c  3171s| 21700 | 10510 |  1677k|  57.7 |  2284M |  68 | 945 |  62k|  59k|  21k|  1 |  12k|6837 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3164.56/3173.29	c  3173s| 21800 | 10552 |  1680k|  57.6 |  2284M |  68 | 945 |  62k|  59k|  21k|  1 |  12k|6837 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3178.53/3187.24	c  3187s| 21900 | 10578 |  1684k|  57.5 |  2284M |  68 | 945 |  62k|  59k|  22k|  1 |  12k|6837 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3193.88/3202.64	c  3203s| 22000 | 10612 |  1689k|  57.5 |  2285M |  68 | 945 |  62k|  59k|  22k|  1 |  12k|6839 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3203.06/3211.80	c  3212s| 22100 | 10654 |  1693k|  57.4 |  2285M |  68 | 945 |  62k|  59k|  22k|  0 |  12k|6842 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3207.75/3216.52	c  3217s| 22200 | 10694 |  1698k|  57.4 |  2286M |  68 | 945 |  62k|  59k|  22k|  1 |  12k|6843 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3215.83/3224.64	c  3225s| 22300 | 10722 |  1701k|  57.3 |  2286M |  68 | 945 |  62k|  59k|  22k|  0 |  12k|6843 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3236.07/3244.91	c  3245s| 22400 | 10762 |  1706k|  57.3 |  2288M |  68 | 945 |  62k|  59k|  22k|  1 |  12k|6843 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3251.84/3260.72	c  3261s| 22500 | 10798 |  1711k|  57.2 |  2288M |  68 | 945 |  62k|  59k|  22k|  1 |  12k|6843 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3267.59/3276.51	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3267.59/3276.52	c  3277s| 22600 | 10832 |  1715k|  57.2 |  2290M |  68 | 945 |  62k|  59k|  22k|  1 |  12k|6843 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3278.67/3287.62	c  3288s| 22700 | 10864 |  1718k|  57.1 |  2290M |  68 | 945 |  62k|  59k|  22k|  1 |  12k|6844 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3285.95/3294.91	c  3295s| 22800 | 10894 |  1722k|  57.1 |  2290M |  68 | 945 |  62k|  59k|  22k|  0 |  12k|6844 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3298.22/3307.25	c  3307s| 22900 | 10924 |  1726k|  57.0 |  2291M |  68 | 945 |  62k|  59k|  23k|  1 |  12k|6845 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3299.81/3308.89	c  3309s| 23000 | 10964 |  1730k|  56.9 |  2292M |  68 | 945 |  62k|  59k|  23k|  1 |  12k|6845 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3301.61/3310.66	c  3311s| 23100 | 11000 |  1732k|  56.8 |  2407M |  68 | 945 |  62k|  59k|  23k|  1 |  12k|6845 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3305.39/3314.48	c  3314s| 23200 | 11030 |  1736k|  56.7 |  2408M |  68 | 945 |  62k|  59k|  23k|  0 |  12k|6845 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3319.65/3328.77	c  3329s| 23300 | 11080 |  1741k|  56.7 |  2408M |  68 | 945 |  62k|  59k|  23k|  1 |  12k|6845 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3323.14/3332.21	c  3332s| 23400 | 11112 |  1744k|  56.6 |  2410M |  68 | 945 |  62k|  59k|  23k|  1 |  12k|6846 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3336.50/3345.63	c  3346s| 23500 | 11146 |  1748k|  56.6 |  2410M |  68 | 945 |  62k|  59k|  23k|  1 |  12k|6846 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3345.98/3355.16	c  3355s| 23600 | 11168 |  1752k|  56.5 |  2413M |  68 | 945 |  62k|  59k|  23k|  2 |  12k|6846 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3361.63/3370.82	c  3371s| 23700 | 11196 |  1757k|  56.5 |  2414M |  68 | 945 |  62k|  59k|  23k|  1 |  12k|6846 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3366.22/3375.46	c  3375s| 23800 | 11220 |  1760k|  56.4 |  2414M |  68 | 945 |  62k|  59k|  23k|  0 |  12k|6846 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3371.51/3380.77	c  3381s| 23900 | 11252 |  1763k|  56.3 |  2414M |  68 | 945 |  62k|  59k|  23k|  1 |  12k|6846 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3380.88/3390.12	c  3390s| 24000 | 11274 |  1767k|  56.3 |  2416M |  68 | 945 |  62k|  59k|  23k|  1 |  12k|6846 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3404.81/3414.15	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3404.81/3414.15	c  3414s| 24100 | 11302 |  1771k|  56.2 |  2417M |  68 | 945 |  62k|  59k|  23k|  1 |  12k|6846 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3414.38/3423.73	c  3424s| 24200 | 11350 |  1775k|  56.2 |  2418M |  68 | 945 |  62k|  59k|  23k|  0 |  12k|6846 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3417.87/3427.29	c  3427s| 24300 | 11380 |  1779k|  56.1 |  2418M |  68 | 945 |  62k|  59k|  24k|  0 |  12k|6846 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3427.24/3436.69	c  3437s| 24400 | 11420 |  1783k|  56.1 |  2418M |  68 | 945 |  62k|  59k|  24k|  1 |  12k|6846 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3438.21/3447.63	c  3448s| 24500 | 11444 |  1786k|  56.0 |  2419M |  68 | 945 |  62k|  59k|  24k|  1 |  12k|6846 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3456.06/3465.51	c  3466s| 24600 | 11476 |  1791k|  56.0 |  2419M |  68 | 945 |  62k|  59k|  24k|  1 |  12k|6847 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3463.44/3472.94	c  3473s| 24700 | 11502 |  1794k|  55.9 |  2420M |  68 | 945 |  62k|  59k|  24k|  0 |  12k|6848 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3467.13/3476.61	c  3477s| 24800 | 11530 |  1797k|  55.8 |  2421M |  70 | 945 |  62k|  59k|  24k|  1 |  12k|6848 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3478.51/3488.04	c  3488s| 24900 | 11554 |  1800k|  55.8 |  2421M |  70 | 945 |  62k|  59k|  24k|  1 |  12k|6848 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3485.08/3494.61	c  3495s| 25000 | 11586 |  1805k|  55.7 |  2422M |  70 | 945 |  62k|  59k|  24k|  0 |  12k|6848 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3498.74/3508.38	c  3508s| 25100 | 11614 |  1809k|  55.7 |  2423M |  70 | 945 |  62k|  59k|  24k|  1 |  12k|6848 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3512.01/3521.68	c  3522s| 25200 | 11636 |  1815k|  55.7 |  2424M |  70 | 945 |  62k|  59k|  24k|  0 |  12k|6848 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3515.30/3524.91	c  3525s| 25300 | 11670 |  1820k|  55.7 |  2424M |  70 | 945 |  62k|  59k|  24k|  0 |  12k|6848 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3522.38/3532.01	c  3532s| 25400 | 11708 |  1824k|  55.6 |  2425M |  70 | 945 |  62k|  59k|  24k|  1 |  12k|6848 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3534.04/3543.71	c  3544s| 25500 | 11750 |  1829k|  55.6 |  2427M |  70 | 945 |  62k|  59k|  24k|  1 |  12k|6848 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3549.90/3559.63	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3549.90/3559.63	c  3560s| 25600 | 11778 |  1833k|  55.6 |  2428M |  70 | 945 |  62k|  59k|  24k|  2 |  12k|6848 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3551.70/3561.48	c  3561s| 25700 | 11824 |  1838k|  55.5 |  2428M |  70 | 945 |  62k|  59k|  24k|  1 |  12k|6848 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3556.88/3566.65	c  3567s| 25800 | 11854 |  1841k|  55.5 |  2428M |  70 | 945 |  62k|  59k|  25k|  1 |  12k|6848 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3564.66/3574.44	c  3574s| 25900 | 11892 |  1845k|  55.4 |  2429M |  70 | 945 |  62k|  59k|  25k|  1 |  12k|6869 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3566.95/3576.73	c  3577s| 26000 | 11914 |  1849k|  55.4 |  2431M |  70 | 945 |  62k|  59k|  25k|  1 |  12k|6880 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3582.61/3592.41	c  3592s| 26100 | 11938 |  1853k|  55.3 |  2431M |  70 | 945 |  62k|  59k|  25k|  0 |  12k|6893 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3587.20/3597.00	c 
3587.20/3597.00	c SCIP Status        : solving was interrupted [time limit reached]
3587.20/3597.00	c Solving Time (sec) : 3597.00
3587.20/3597.00	c Solving Nodes      : 26131 (total of 33101 nodes in 2 runs)
3587.20/3597.00	c Primal Bound       : -4.10000000000000e+01 (940 solutions)
3587.20/3597.00	c Dual Bound         : -4.50000000000000e+01
3587.20/3597.00	c Gap                : 9.76 %
3587.20/3597.02	s SATISFIABLE
3587.20/3597.02	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 
3587.20/3597.02	v -x29 -x30 -x31 -x32 -x33 x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 x48 -x49 -x50 -x51 -x52 -x53 
3587.20/3597.02	v -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 x72 -x73 -x74 -x75 -x76 -x77 -x78 
3587.20/3597.02	v -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 
3587.20/3597.02	v -x104 -x105 x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 
3587.20/3597.02	v -x125 -x126 -x127 x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 
3587.20/3597.02	v -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 
3587.20/3597.02	v -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 
3587.20/3597.02	v -x188 -x189 -x190 -x191 -x192 -x193 -x194 x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 
3587.20/3597.02	v -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 x224 -x225 -x226 -x227 -x228 -x229 
3587.20/3597.02	v -x230 -x231 -x232 x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 
3587.20/3597.02	v -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 x270 -x271 
3587.20/3597.02	v -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 
3587.20/3597.02	v -x293 x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 
3587.20/3597.02	v -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 
3587.20/3597.02	v -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 x350 -x351 -x352 -x353 -x354 -x355 
3587.20/3597.02	v -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 
3587.20/3597.02	v -x377 x378 -x379 -x380 -x381 -x382 -x383 -x384 x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 
3587.20/3597.02	v -x398 -x399 -x400 -x401 x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 
3587.20/3597.02	v -x419 -x420 x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 
3587.20/3597.02	v -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 x457 -x458 -x459 -x460 
3587.20/3597.02	v -x461 -x462 -x463 -x464 -x465 x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 
3587.20/3597.02	v -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 
3587.20/3597.02	v -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 x522 -x523 
3587.20/3597.02	v -x524 -x525 -x526 -x527 -x528 -x529 x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 
3587.20/3597.02	v -x545 -x546 -x547 -x548 x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 
3587.20/3597.02	v -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 
3587.20/3597.02	v x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 x604 -x605 -x606 -x607 
3587.20/3597.02	v -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 x624 -x625 -x626 -x627 -x628 
3587.20/3597.02	v -x629 -x630 -x631 -x632 -x633 x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 
3587.20/3597.02	v -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 x670 
3587.20/3597.02	v -x671 -x672 -x673 -x674 -x675 -x676 -x677 x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 
3587.20/3597.02	v -x692 -x693 -x694 -x695 -x696 -x697 x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 
3587.20/3597.02	v -x713 -x714 -x715 -x716 -x717 -x718 -x719 x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 
3587.20/3597.02	v -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 x748 -x749 -x750 -x751 -x752 -x753 -x754 
3587.20/3597.02	v -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 
3587.20/3597.02	v -x776 x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 
3587.20/3597.02	v -x797 -x798 -x799 -x800 -x801 -x802 -x803 x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 
3587.20/3597.02	v -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 
3587.20/3597.02	v -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 
3587.20/3597.02	v -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 
3587.20/3597.02	v -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 
3587.20/3597.02	v -x901 -x902 x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 
3587.20/3597.02	v -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 
3587.20/3597.02	v -x943 -x944 -x945 
3587.20/3597.02	c SCIP Status        : solving was interrupted [time limit reached]
3587.20/3597.02	c Total Time         :    3597.00
3587.20/3597.02	c   solving          :    3597.00
3587.20/3597.02	c   presolving       :       1.80 (included in solving)
3587.20/3597.02	c   reading          :       0.10 (included in solving)
3587.20/3597.02	c   copying          :       2.58 (39 #copies) (minimal 0.06, maximal 0.08, average 0.07)
3587.20/3597.02	c Original Problem   :
3587.20/3597.02	c   Problem name     : HOME/instance-4432700-1721054823.opb
3587.20/3597.02	c   Variables        : 945 (945 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.20/3597.02	c   Constraints      : 59186 initial, 59186 maximal
3587.20/3597.02	c   Objective        : minimize, 945 non-zeros (abs.min = 1, abs.max = 1)
3587.20/3597.02	c Presolved Problem  :
3587.20/3597.02	c   Problem name     : t_HOME/instance-4432700-1721054823.opb
3587.20/3597.02	c   Variables        : 945 (945 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.20/3597.02	c   Constraints      : 61315 initial, 64831 maximal
3587.20/3597.02	c   Objective        : minimize, 945 non-zeros (abs.min = 1, abs.max = 1)
3587.20/3597.02	c   Nonzeros         : 176864 constraint, 119671 clique table
3587.20/3597.02	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
3587.20/3597.02	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.20/3597.02	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.20/3597.02	c   domcol           :       0.03       0.00      2          0          0          0          0          0          0          0          0          0
3587.20/3597.02	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.20/3597.02	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.20/3597.02	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.20/3597.02	c   dualsparsify     :       0.47       0.00      1          0          0          0          0          0          0          0          0          0
3587.20/3597.02	c   gateextraction   :       0.09       0.00      3          0          0          0          0          0          0          0          0          0
3587.20/3597.02	c   implics          :       0.00       0.00      5          0          0          0          0          0          0          0          0          0
3587.20/3597.02	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.20/3597.02	c   milp             :       0.18       0.00      1          0          0          0          0          0          0          0          0          0
3587.20/3597.02	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.20/3597.02	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.20/3597.02	c   sparsify         :       0.03       0.00      1          0          0          0          0          0          0          0          0          0
3587.20/3597.02	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.20/3597.02	c   trivial          :       0.00       0.00      5          0          0          0          0          0          0          0          0          0
3587.20/3597.02	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.20/3597.02	c   dualfix          :       0.00       0.00      5          0          0          0          0          0          0          0          0          0
3587.20/3597.02	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.20/3597.02	c   probing          :       0.30       0.00      1          0          0          0          0          0          0          0          0          0
3587.20/3597.02	c   pseudoobj        :       0.00       0.00      2          0          0          0          0          0          0          0          0          0
3587.20/3597.02	c   symmetry         :       0.03       0.00      1          0          0          0          0          0          0          0          0          0
3587.20/3597.02	c   vbounds          :       0.01       0.00      2          0          0          0          0          0          0          0          0          0
3587.20/3597.02	c   knapsack         :       0.01       0.00      9          0          0          0          0          0          0          1          3         17
3587.20/3597.02	c   setppc           :       0.16       0.00     12          0          0          0          0          0          0          0          0          0
3587.20/3597.02	c   linear           :       0.17       0.02      4          0          0          0          0          0          0          0          0          0
3587.20/3597.02	c   logicor          :       0.24       0.01      8          0          0          0          0          0        107          0          0        120
3587.20/3597.02	c   benders          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.20/3597.02	c   components       :       0.03       0.00      2          0          0          0          0          0          0          0          0          0
3587.20/3597.02	c   root node        :          -          -      -          0          -          -          0          -          -          -          -          -
3587.20/3597.02	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
3587.20/3597.02	c   benderslp        :          0          0          0          0      26639          0          0       6467          0          0          0          0          0          0          0
3587.20/3597.02	c   integral         :          0          0          0          0      26639          0          0       6467          0          0       1129          0          0       2487      52102
3587.20/3597.02	c   knapsack         :          2+        32          0      55248          0          0          0          0      10134         11        284          0          0          0          0
3587.20/3597.02	c   setppc           :      59280      59280         46     145264          2          0          0       6461     414989          7     620763          0          0          0          0
3587.20/3597.02	c   linear           :          0+        39          0      43823          0          0          0          2          8         10          5          0          0          0          0
3587.20/3597.02	c   logicor          :       2033+      5504         12      39438          0          0          0          0        135        304        268          0          0          0          0
3587.20/3597.02	c   benders          :          0          0          0          0          2          0          0       1205          0          0          0          0          0          0          0
3587.20/3597.02	c   fixedvar         :          0          0          0          0          2          0          0       1205          0          0          0          0          0          0          0
3587.20/3597.02	c   countsols        :          0          0          0          0          2          0          0       1205          0          0          0          0          0          0          0
3587.20/3597.02	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3587.20/3597.02	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
3587.20/3597.02	c   benderslp        :       0.01       0.00       0.00       0.00       0.01       0.00       0.00       0.00       0.00       0.00
3587.20/3597.02	c   integral         :     212.33       0.00       0.00       0.00     212.30       0.00       0.00       0.02       0.00       0.00
3587.20/3597.02	c   knapsack         :       0.12       0.00       0.00       0.10       0.00       0.00       0.00       0.00       0.00       0.01
3587.20/3597.02	c   setppc           :      20.03       0.00       0.12      14.03       0.00       0.00       0.00       2.44       0.09       3.35
3587.20/3597.02	c   linear           :       0.12       0.02       0.00       0.09       0.00       0.00       0.00       0.00       0.00       0.01
3587.20/3597.02	c   logicor          :       1.24       0.01       0.01       1.08       0.00       0.00       0.00       0.00       0.00       0.13
3587.20/3597.02	c   benders          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3587.20/3597.02	c   fixedvar         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3587.20/3597.02	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3587.20/3597.02	c   components       :       0.02       0.00       0.00       0.02       0.00       0.00       0.00       0.00       0.00       0.00
3587.20/3597.02	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
3587.20/3597.02	c   dualfix          :          3          0          0          0
3587.20/3597.02	c   genvbounds       :          0          0          0          0
3587.20/3597.02	c   nlobbt           :          0          0          0          0
3587.20/3597.02	c   obbt             :          0          0          0          0
3587.20/3597.02	c   probing          :          0          0          0          0
3587.20/3597.02	c   pseudoobj        :      84738          0          0          0
3587.20/3597.02	c   redcost          :      10761          0          0         48
3587.20/3597.02	c   rootredcost      :          5          0          0          0
3587.20/3597.02	c   symmetry         :          0          0          0          0
3587.20/3597.02	c   vbounds          :      48489          0          0          0
3587.20/3597.02	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
3587.20/3597.02	c   dualfix          :       0.00       0.00       0.00       0.00       0.00       0.00
3587.20/3597.02	c   genvbounds       :       0.05       0.00       0.00       0.04       0.00       0.01
3587.20/3597.02	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
3587.20/3597.02	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
3587.20/3597.02	c   probing          :       0.30       0.00       0.30       0.00       0.00       0.00
3587.20/3597.02	c   pseudoobj        :       5.07       0.00       0.00       5.07       0.00       0.00
3587.20/3597.02	c   redcost          :       0.19       0.00       0.00       0.19       0.00       0.00
3587.20/3597.02	c   rootredcost      :       0.03       0.00       0.00       0.03       0.00       0.00
3587.20/3597.02	c   symmetry         :       0.09       0.00       0.03       0.05       0.00       0.01
3587.20/3597.02	c   vbounds          :       0.09       0.00       0.01       0.07       0.00       0.01
3587.20/3597.02	c Symmetry           :
3587.20/3597.02	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
3587.20/3597.02	c   orbital reduction:          0 reductions applied,          0 cutoffs
3587.20/3597.02	c   lexicographic red:          0 reductions applied,          0 cutoffs
3587.20/3597.02	c   shadow tree time :       0.00 s
3587.20/3597.02	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
3587.20/3597.02	c   propagation      :       0.00        332        199          -        490       61.4          1      121.0          -          -          -
3587.20/3597.02	c   infeasible LP    :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
3587.20/3597.02	c   bound exceed. LP :       7.42       3795       2153          -      31377      146.1          2      129.0        189      125.5       7608
3587.20/3597.02	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
3587.20/3597.02	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
3587.20/3597.02	c   applied globally :       2.04          -          -          0      12315       27.7          -          -        189          -          -
3587.20/3597.02	c   applied locally  :          -          -          -          0          0        0.0          -          -          0          -          -
3587.20/3597.02	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
3587.20/3597.02	c   cut pool         :       5.34          -      10586         90          -          -     160781     242704          -          -          -          -          -    (maximal pool size:       3817)
3587.20/3597.02	c   aggregation      :      13.75       0.00       3739         46          0          0         46         97          0          4          4          0          0
3587.20/3597.02	c   > cmir           :          -          -          -          -          -          -          -         78          0          3          3          0          -
3587.20/3597.02	c   > flowcover      :          -          -          -          -          -          -          -          0          0          0          0          0          -
3587.20/3597.02	c   > knapsackcover  :          -          -          -          -          -          -          -         19          0          1          1          0          -
3587.20/3597.02	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.20/3597.02	c   clique           :       0.34       0.00         46         46          0          0        408        932          0        337        337          0          0
3587.20/3597.02	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.20/3597.02	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.20/3597.02	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.20/3597.02	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.20/3597.02	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.20/3597.02	c   gomory           :    2576.57       0.00       3562         20          0          0     148522     198586       1463       9390       9377         13          0
3587.20/3597.02	c   > gomorymi       :          -          -          -          -          -          -          -      65988        719        903        894          9          -
3587.20/3597.02	c   > strongcg       :          -          -          -          -          -          -          -     132598        744       8487       8483          4          -
3587.20/3597.02	c   impliedbounds    :       3.22       0.00       3739         46          0          0          0          0          0          0          0          0          0
3587.20/3597.02	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.20/3597.02	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.20/3597.02	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.20/3597.02	c   mcf              :       0.04       0.00          2          2          0          0          0          0          0          0          0          0          0
3587.20/3597.02	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.20/3597.02	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.20/3597.02	c   multilinear      :       0.00       0.00        369         46          0          0          0          0          0          0          0          0          0
3587.20/3597.02	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.20/3597.02	c   rapidlearning    :       0.99       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.20/3597.02	c   rlt              :       0.01       0.00       1351         20          0          0          0          0          0          0          0          0          0
3587.20/3597.02	c   zerohalf         :      13.65       0.00       3574         32          0          0      13594      43089        326      21780      21631        149          0
3587.20/3597.02	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
3587.20/3597.02	c   hybrid           :       0.15       0.00       5901         46      31511          0     212982        730          0       3490
3587.20/3597.02	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
3587.20/3597.02	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
3587.20/3597.02	c Pricers            :   ExecTime  SetupTime      Calls       Vars
3587.20/3597.02	c   problem variables:       0.00          -          0          0
3587.20/3597.02	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
3587.20/3597.02	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
3587.20/3597.02	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
3587.20/3597.02	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
3587.20/3597.02	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
3587.20/3597.02	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
3587.20/3597.02	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
3587.20/3597.02	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
3587.20/3597.02	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
3587.20/3597.02	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
3587.20/3597.02	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
3587.20/3597.02	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
3587.20/3597.02	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
3587.20/3597.02	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
3587.20/3597.02	c   relpscost        :     212.26       0.00      26637          0          0          0       1129          0       2533      52102
3587.20/3597.02	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
3587.20/3597.02	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
3587.20/3597.02	c   LP solutions     :       0.01          -          -          2          2
3587.20/3597.02	c   relax solutions  :       0.00          -          -          0          0
3587.20/3597.02	c   pseudo solutions :       0.00          -          -          0          0
3587.20/3597.02	c   strong branching :       1.17          -          -        351          0
3587.20/3597.02	c   actconsdiving    :       0.00       0.00          0          0          0
3587.20/3597.02	c   adaptivediving   :       3.18       0.00        124          1          0
3587.20/3597.02	c   alns             :       2.13       0.00          5          0          0
3587.20/3597.02	c   bound            :       0.00       0.00          0          0          0
3587.20/3597.02	c   clique           :       0.13       0.00          1          1          1
3587.20/3597.02	c   coefdiving       :       0.00       0.00          0          0          0
3587.20/3597.02	c   completesol      :       0.00       0.00          0          0          0
3587.20/3597.02	c   conflictdiving   :       6.53       0.00        230          0          0
3587.20/3597.02	c   crossover        :       3.48       0.00         18          6          0
3587.20/3597.02	c   dins             :       0.00       0.00          0          0          0
3587.20/3597.02	c   distributiondivin:      24.92       0.00        229          0          0
3587.20/3597.02	c   dps              :       0.00       0.00          0          0          0
3587.20/3597.02	c   dualval          :       0.00       0.00          0          0          0
3587.20/3597.02	c   farkasdiving     :       0.00       0.00          0          0          0
3587.20/3597.02	c   feasjump         :       0.00       0.00          0          0          0
3587.20/3597.02	c   feaspump         :       0.00       0.00          0          0          0
3587.20/3597.02	c   fixandinfer      :       0.00       0.00          0          0          0
3587.20/3597.02	c   fracdiving       :       6.81       0.00        229          1          0
3587.20/3597.02	c   gins             :       0.09       0.00          0          0          0
3587.20/3597.02	c   guideddiving     :       5.77       0.00        229          0          0
3587.20/3597.02	c   indcoefdiving    :       0.00       0.00          0          0          0
3587.20/3597.02	c   indicator        :       0.02       0.00          0          0          0
3587.20/3597.02	c   indicatordiving  :       0.00       0.00          0          0          0
3587.20/3597.02	c   indoneopt        :       0.02       0.00          0          0          0
3587.20/3597.02	c   indrounding      :       0.00       0.00          0          0          0
3587.20/3597.02	c   indtwoopt        :       0.00       0.00          0          0          0
3587.20/3597.02	c   intdiving        :       0.00       0.00          0          0          0
3587.20/3597.02	c   intshifting      :       0.00       0.00          0          0          0
3587.20/3597.02	c   linesearchdiving :       7.16       0.00        229          1          1
3587.20/3597.02	c   localbranching   :       0.00       0.00          0          0          0
3587.20/3597.02	c   locks            :       0.05       0.00          1          1          1
3587.20/3597.02	c   lpface           :       0.04       0.00          0          0          0
3587.20/3597.02	c   mpec             :       0.00       0.00          0          0          0
3587.20/3597.02	c   multistart       :       0.00       0.00          0          0          0
3587.20/3597.02	c   mutation         :       0.00       0.00          0          0          0
3587.20/3597.02	c   nlpdiving        :       0.00       0.00          0          0          0
3587.20/3597.02	c   objpscostdiving  :      16.48       0.00        115        164          0
3587.20/3597.02	c   octane           :       0.00       0.00          0          0          0
3587.20/3597.02	c   ofins            :       0.01       0.00          0          0          0
3587.20/3597.02	c   oneopt           :       0.10       0.00          7          0          0
3587.20/3597.02	c   padm             :       0.00       0.00          0          0          0
3587.20/3597.02	c   proximity        :       0.00       0.00          0          0          0
3587.20/3597.02	c   pscostdiving     :      11.14       0.00        229         14          2
3587.20/3597.02	c   randrounding     :       2.39       0.00       5406         35          0
3587.20/3597.02	c   rens             :       1.96       0.00          2          1          0
3587.20/3597.02	c   reoptsols        :       0.00       0.00          0          0          0
3587.20/3597.02	c   repair           :       0.00       0.00          0          0          0
3587.20/3597.02	c   rins             :       3.11       0.00         14          7          1
3587.20/3597.02	c   rootsoldiving    :      18.32       0.00        115         86          0
3587.20/3597.02	c   rounding         :       5.40       0.00       2514          0          0
3587.20/3597.02	c   scheduler        :       0.00       0.00          0          0          0
3587.20/3597.02	c   shiftandpropagate:       0.00       0.00          0          0          0
3587.20/3597.02	c   shifting         :       3.30       0.00       1281          0          0
3587.20/3597.02	c   simplerounding   :       0.42       0.00      32540         40          0
3587.20/3597.02	c   smallcard        :       0.00       0.00          0          0          0
3587.20/3597.02	c   subnlp           :       0.03       0.00          0          0          0
3587.20/3597.02	c   trivial          :       0.00       0.00          4          1          1
3587.20/3597.02	c   trivialnegation  :       0.00       0.00          0          0          0
3587.20/3597.02	c   trustregion      :       0.00       0.00          0          0          0
3587.20/3597.02	c   trysol           :       0.01       0.00          0          0          0
3587.20/3597.02	c   twoopt           :       0.00       0.00          0          0          0
3587.20/3597.02	c   undercover       :       0.00       0.00          0          0          0
3587.20/3597.02	c   vbounds          :       0.16       0.00          2          0          0
3587.20/3597.02	c   veclendiving     :       5.54       0.00        229          0          0
3587.20/3597.02	c   zeroobj          :       0.00       0.00          0          0          0
3587.20/3597.02	c   zirounding       :      24.79       0.00      11401        228          0
3587.20/3597.02	c   other solutions  :          -          -          -          0          -
3587.20/3597.02	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
3587.20/3597.02	c   rens             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3587.20/3597.02	c   rins             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3587.20/3597.02	c   mutation         :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3587.20/3597.02	c   localbranching   :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3587.20/3597.02	c   crossover        :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3587.20/3597.02	c   proximity        :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3587.20/3597.02	c   zeroobjective    :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3587.20/3597.02	c   dins             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3587.20/3597.02	c   trustregion      :          0       0.00       0.00          0          0          0    0.00000    0.00000   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    0
3587.20/3597.02	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
3587.20/3597.02	c   primal LP        :      11.68       2916          0       0.00       0.00      11.68       2916
3587.20/3597.02	c   dual LP          :     384.88      39635    1611173      40.77    4186.13       0.55        115
3587.20/3597.02	c   lex dual LP      :       0.00          0          0       0.00          -
3587.20/3597.02	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
3587.20/3597.02	c   resolve instable :       0.00          0          0       0.00          -
3587.20/3597.02	c   diving/probing LP:      73.00       8913     243939      27.37    3341.59
3587.20/3597.02	c   strong branching :     104.75       6894     402795      58.43    3845.38          -          -       1728
3587.20/3597.02	c     (at root node) :          -         48       5329     111.02          -
3587.20/3597.02	c   conflict analysis:       2.62        784       7608       9.70    2902.47
3587.20/3597.02	c B&B Tree           :
3587.20/3597.02	c   number of runs   :          2
3587.20/3597.02	c   nodes            :      26131 (19913 internal, 6218 leaves)
3587.20/3597.02	c   feasible leaves  :          1
3587.20/3597.02	c   infeas. leaves   :          6
3587.20/3597.02	c   objective leaves :       6210
3587.20/3597.02	c   nodes (total)    :      33101 (26051 internal, 7050 leaves)
3587.20/3597.02	c   nodes left       :      11944
3587.20/3597.02	c   max depth        :         70
3587.20/3597.02	c   max depth (total):         70
3587.20/3597.02	c   backtracks       :       3809 (14.6%)
3587.20/3597.02	c   early backtracks :          0 (0.0%)
3587.20/3597.02	c   nodes exc. ref.  :          0 (0.0%)
3587.20/3597.02	c   delayed cutoffs  :          1
3587.20/3597.02	c   repropagations   :        200 (317 domain reductions, 1 cutoffs)
3587.20/3597.02	c   avg switch length:       4.91
3587.20/3597.02	c   switching time   :      45.35
3587.20/3597.02	c Root Node          :
3587.20/3597.02	c   First LP value   : -4.72500000000000e+02
3587.20/3597.02	c   First LP Iters   :        945 (3348.77 Iter/sec)
3587.20/3597.02	c   First LP Time    :       0.28
3587.20/3597.02	c   Final Dual Bound : -4.50000000000000e+01
3587.20/3597.02	c   Final Root Iters :      24206
3587.20/3597.02	c   Root LP Estimate : -3.93691683747519e+01
3587.20/3597.02	c Solution           :
3587.20/3597.02	c   Solutions found  :        940 (9 improvements)
3587.20/3597.02	c   First Solution   : +0.00000000000000e+00   (in run 1, after 0 nodes, 0.18 seconds, depth 0, found by <trivial>)
3587.20/3597.02	c   Gap First Sol.   :   infinite
3587.20/3597.02	c   Gap Last Sol.    :       9.76 %
3587.20/3597.02	c   Primal Bound     : -4.10000000000000e+01   (in run 2, after 10478 nodes, 2127.18 seconds, depth 31, found by <relaxation>)
3587.20/3597.02	c   Dual Bound       : -4.50000000000000e+01
3587.20/3597.02	c   Gap              :       9.76 %
3587.20/3597.02	c Integrals          :      Total       Avg%
3587.20/3597.02	c   primal-dual      :   40936.33      11.38
3587.20/3597.02	c   primal-ref       :          -          - (not evaluated)
3587.20/3597.02	c   dual-ref         :          -          - (not evaluated)
3587.40/3597.26	c Time complete: 3587.47.

Verifier Data

OK	-41

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: 63931 MiB (58231 MiB free)
  memory of node 1: 64510 MiB (61876 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100102 s]*
/proc/loadavg: 4.08 4.13 4.12 5/256 833740
/proc/meminfo: memFree=122959988/131524600 swapFree=131071996/131071996
[pid=833739] ppid=833736 vsize=87916 memory=45584 CPUtime=0.1 cores=5,7
/proc/833739/stat : 833739 (pbscip) R 833736 833739 812346 0 -1 4194304 8500 0 0 0 9 1 0 0 20 0 1 0 157647640 90025984 11396 134679101440 4194304 18693293 140728483459984 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54689792 140728483464196 140728483464295 140728483464295 140728483471310 0
/proc/833739/statm: 21979 11396 3198 3540 0 10236 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 87916 KiB
Current children cumulated memory: 45584 KiB

[startup+0.206284 s]*
/proc/loadavg: 4.08 4.13 4.12 5/256 833740
/proc/meminfo: memFree=122912080/131524600 swapFree=131071996/131071996
[pid=833739] ppid=833736 vsize=132584 memory=92196 CPUtime=0.2 cores=5,7
/proc/833739/stat : 833739 (pbscip) R 833736 833739 812346 0 -1 4194304 20193 0 0 0 18 2 0 0 20 0 1 0 157647640 135766016 23049 134679101440 4194304 18693293 140728483459984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54689792 140728483464196 140728483464295 140728483464295 140728483471310 0
/proc/833739/statm: 33146 23049 3549 3540 0 21403 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 132584 KiB
Current children cumulated memory: 92196 KiB

[startup+0.306102 s]*
/proc/loadavg: 4.08 4.13 4.12 5/256 833740
/proc/meminfo: memFree=122896004/131524600 swapFree=131071996/131071996
[pid=833739] ppid=833736 vsize=149260 memory=108424 CPUtime=0.3 cores=5,7
/proc/833739/stat : 833739 (pbscip) R 833736 833739 812346 0 -1 4194304 23743 0 0 0 27 3 0 0 20 0 1 0 157647640 152842240 27106 134679101440 4194304 18693293 140728483459984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54689792 140728483464196 140728483464295 140728483464295 140728483471310 0
/proc/833739/statm: 37315 27106 3549 3540 0 25572 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 149260 KiB
Current children cumulated memory: 108424 KiB

[startup+0.700247 s]
/proc/loadavg: 4.08 4.13 4.12 5/256 833740
/proc/meminfo: memFree=122883824/131524600 swapFree=131071996/131071996
[pid=833739] ppid=833736 vsize=154368 memory=114332 CPUtime=0.68 cores=5,7
/proc/833739/stat : 833739 (pbscip) R 833736 833739 812346 0 -1 4194304 38022 0 0 0 63 5 0 0 20 0 1 0 157647640 158072832 28583 134679101440 4194304 18693293 140728483459984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54689792 140728483464196 140728483464295 140728483464295 140728483471310 0
/proc/833739/statm: 38592 28583 3724 3540 0 26849 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 154368 KiB
Current children cumulated memory: 114332 KiB

[startup+1.50027 s]
/proc/loadavg: 4.08 4.13 4.12 5/256 833740
/proc/meminfo: memFree=122868528/131524600 swapFree=131071996/131071996
[pid=833739] ppid=833736 vsize=344308 memory=287496 CPUtime=1.49 cores=5,7
/proc/833739/stat : 833739 (pbscip) R 833736 833739 812346 0 -1 4194304 52900 0 0 0 139 10 0 0 20 0 1 0 157647640 352571392 71874 134679101440 4194304 18693293 140728483459984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54689792 140728483464196 140728483464295 140728483464295 140728483471310 0
/proc/833739/statm: 86077 71874 3772 3540 0 74334 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 344308 KiB
Current children cumulated memory: 287496 KiB

[startup+3.10623 s]
/proc/loadavg: 4.08 4.13 4.12 5/256 833742
/proc/meminfo: memFree=122635916/131524600 swapFree=131071996/131071996
[pid=833739] ppid=833736 vsize=427688 memory=362724 CPUtime=3.08 cores=5,7
/proc/833739/stat : 833739 (pbscip) R 833736 833739 812346 0 -1 4194304 71617 0 0 0 295 13 0 0 20 0 1 0 157647640 437952512 90681 134679101440 4194304 18693293 140728483459984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54689792 140728483464196 140728483464295 140728483464295 140728483471310 0
/proc/833739/statm: 106922 90681 3932 3540 0 95179 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 427688 KiB
Current children cumulated memory: 362724 KiB

[startup+6.30019 s]
/proc/loadavg: 4.08 4.13 4.12 5/256 833742
/proc/meminfo: memFree=122631060/131524600 swapFree=131071996/131071996
[pid=833739] ppid=833736 vsize=441336 memory=367336 CPUtime=6.27 cores=5,7
/proc/833739/stat : 833739 (pbscip) R 833736 833739 812346 0 -1 4194304 71735 0 0 0 614 13 0 0 20 0 1 0 157647640 451928064 91834 134679101440 4194304 18693293 140728483459984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54689792 140728483464196 140728483464295 140728483464295 140728483471310 0
/proc/833739/statm: 110334 91834 3932 3540 0 98591 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 441336 KiB
Current children cumulated memory: 367336 KiB

[startup+12.7002 s]
/proc/loadavg: 4.15 4.14 4.13 5/256 833744
/proc/meminfo: memFree=122623128/131524600 swapFree=131071996/131071996
[pid=833739] ppid=833736 vsize=466192 memory=369952 CPUtime=12.65 cores=5,7
/proc/833739/stat : 833739 (pbscip) R 833736 833739 812346 0 -1 4194304 72411 0 0 0 1251 14 0 0 20 0 1 0 157647640 477380608 92488 134679101440 4194304 18693293 140728483459984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54689792 140728483464196 140728483464295 140728483464295 140728483471310 0
/proc/833739/statm: 116548 92488 3932 3540 0 104805 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 466192 KiB
Current children cumulated memory: 369952 KiB

[startup+25.5003 s]
/proc/loadavg: 4.12 4.13 4.13 5/256 833746
/proc/meminfo: memFree=122532880/131524600 swapFree=131071996/131071996
[pid=833739] ppid=833736 vsize=616896 memory=454052 CPUtime=25.42 cores=5,7
/proc/833739/stat : 833739 (pbscip) R 833736 833739 812346 0 -1 4194304 93396 0 0 0 2525 17 0 0 20 0 1 0 157647640 631701504 113513 134679101440 4194304 18693293 140728483459984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54689792 140728483464196 140728483464295 140728483464295 140728483471310 0
/proc/833739/statm: 154224 113513 3979 3540 0 142481 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 616896 KiB
Current children cumulated memory: 454052 KiB

[startup+51.1061 s]
/proc/loadavg: 4.08 4.12 4.12 5/255 833749
/proc/meminfo: memFree=122533908/131524600 swapFree=131071996/131071996
[pid=833739] ppid=833736 vsize=616896 memory=454052 CPUtime=50.93 cores=5,7
/proc/833739/stat : 833739 (pbscip) R 833736 833739 812346 0 -1 4194304 93423 0 0 0 5076 17 0 0 20 0 1 0 157647640 631701504 113513 134679101440 4194304 18693293 140728483459984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54689792 140728483464196 140728483464295 140728483464295 140728483471310 0
/proc/833739/statm: 154224 113513 3979 3540 0 142481 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 616896 KiB
Current children cumulated memory: 454052 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.12 4.12 5/255 833760
/proc/meminfo: memFree=122326444/131524600 swapFree=131071996/131071996
[pid=833739] ppid=833736 vsize=741932 memory=547948 CPUtime=101.96 cores=5,7
/proc/833739/stat : 833739 (pbscip) R 833736 833739 812346 0 -1 4194304 116855 0 0 0 10176 20 0 0 20 0 1 0 157647640 759738368 136987 134679101440 4194304 18693293 140728483459984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54689792 140728483464196 140728483464295 140728483464295 140728483471310 0
/proc/833739/statm: 185483 136987 3979 3540 0 173740 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 741932 KiB
Current children cumulated memory: 547948 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.11 4.11 5/254 833770
/proc/meminfo: memFree=122135120/131524600 swapFree=131071996/131071996
[pid=833739] ppid=833736 vsize=852016 memory=587080 CPUtime=161.78 cores=5,7
/proc/833739/stat : 833739 (pbscip) R 833736 833739 812346 0 -1 4194304 128466 0 0 0 16156 22 0 0 20 0 1 0 157647640 872464384 146770 134679101440 4194304 18693293 140728483459984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54689792 140728483464196 140728483464295 140728483464295 140728483471310 0
/proc/833739/statm: 213004 146770 3979 3540 0 201261 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 852016 KiB
Current children cumulated memory: 587080 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 4.10 4.10 5/257 833786
/proc/meminfo: memFree=121970348/131524600 swapFree=131071996/131071996
[pid=833739] ppid=833736 vsize=939284 memory=623388 CPUtime=221.63 cores=5,7
/proc/833739/stat : 833739 (pbscip) R 833736 833739 812346 0 -1 4194304 132643 0 0 0 22140 23 0 0 20 0 1 0 157647640 961826816 155847 134679101440 4194304 18693293 140728483459984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54689792 140728483464196 140728483464295 140728483464295 140728483471310 0
/proc/833739/statm: 234821 155847 3979 3540 0 223078 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 939284 KiB
Current children cumulated memory: 623388 KiB

[startup+282.3 s]
/proc/loadavg: 4.06 4.10 4.10 5/257 833797
/proc/meminfo: memFree=121842656/131524600 swapFree=131071996/131071996
[pid=833739] ppid=833736 vsize=1007360 memory=674964 CPUtime=281.47 cores=5,7
/proc/833739/stat : 833739 (pbscip) R 833736 833739 812346 0 -1 4194304 140930 0 0 0 28122 25 0 0 20 0 1 0 157647640 1031536640 168741 134679101440 4194304 18693293 140728483459984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54689792 140728483464196 140728483464295 140728483464295 140728483471310 0
/proc/833739/statm: 251840 168741 3979 3540 0 240097 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 1007360 KiB
Current children cumulated memory: 674964 KiB

[startup+342.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/257 833808
/proc/meminfo: memFree=121728864/131524600 swapFree=131071996/131071996
[pid=833739] ppid=833736 vsize=1052296 memory=725860 CPUtime=341.31 cores=5,7
/proc/833739/stat : 833739 (pbscip) R 833736 833739 812346 0 -1 4194304 151610 0 0 0 34104 27 0 0 20 0 1 0 157647640 1077551104 181465 134679101440 4194304 18693293 140728483459984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54689792 140728483464196 140728483464295 140728483464295 140728483471310 0
/proc/833739/statm: 263074 181465 3979 3540 0 251331 0
Current children cumulated CPU time: 341.31 s
Current children cumulated vsize: 1052296 KiB
Current children cumulated memory: 725860 KiB

[startup+402.3 s]
/proc/loadavg: 4.20 4.12 4.10 5/257 833819
/proc/meminfo: memFree=121620696/131524600 swapFree=131071996/131071996
[pid=833739] ppid=833736 vsize=1071676 memory=737876 CPUtime=401.14 cores=5,7
/proc/833739/stat : 833739 (pbscip) R 833736 833739 812346 0 -1 4194304 153617 0 0 0 40087 27 0 0 20 0 1 0 157647640 1097396224 184469 134679101440 4194304 18693293 140728483459984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54689792 140728483464196 140728483464295 140728483464295 140728483471310 0
/proc/833739/statm: 267919 184469 3979 3540 0 256176 0
Current children cumulated CPU time: 401.14 s
Current children cumulated vsize: 1071676 KiB
Current children cumulated memory: 737876 KiB

[startup+462.3 s]
/proc/loadavg: 4.19 4.13 4.10 5/257 833830
/proc/meminfo: memFree=121567412/131524600 swapFree=131071996/131071996
[pid=833739] ppid=833736 vsize=1088752 memory=755984 CPUtime=460.99 cores=5,7
/proc/833739/stat : 833739 (pbscip) R 833736 833739 812346 0 -1 4194304 159562 0 0 0 46071 28 0 0 20 0 1 0 157647640 1114882048 188996 134679101440 4194304 18693293 140728483459984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54689792 140728483464196 140728483464295 140728483464295 140728483471310 0
/proc/833739/statm: 272188 188996 3979 3540 0 260445 0

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

/proc/loadavg: 4.34 4.17 4.11 5/256 835661
/proc/meminfo: memFree=118871524/131524600 swapFree=131071996/131071996
[pid=833739] ppid=833736 vsize=2370080 memory=1783556 CPUtime=3153.7 cores=5,7
/proc/833739/stat : 833739 (pbscip) R 833736 833739 812346 0 -1 4194304 306686 0 0 0 315302 68 0 0 20 0 1 0 157647640 2426961920 445889 134679101440 4194304 18693293 140728483459984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54689792 140728483464196 140728483464295 140728483464295 140728483471310 0
/proc/833739/statm: 592520 445889 4135 3540 0 580777 0
Current children cumulated CPU time: 3153.7 s
Current children cumulated vsize: 2370080 KiB
Current children cumulated memory: 1783556 KiB

[startup+3222.3 s]
/proc/loadavg: 4.27 4.19 4.12 5/259 835678
/proc/meminfo: memFree=118841704/131524600 swapFree=131071996/131071996
[pid=833739] ppid=833736 vsize=2370080 memory=1796968 CPUtime=3213.53 cores=5,7
/proc/833739/stat : 833739 (pbscip) R 833736 833739 812346 0 -1 4194304 307115 0 0 0 321285 68 0 0 20 0 1 0 157647640 2426961920 449242 134679101440 4194304 18693293 140728483459984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54689792 140728483464196 140728483464295 140728483464295 140728483471310 0
/proc/833739/statm: 592520 449242 4135 3540 0 580777 0
Current children cumulated CPU time: 3213.53 s
Current children cumulated vsize: 2370080 KiB
Current children cumulated memory: 1796968 KiB

[startup+3282.3 s]
/proc/loadavg: 4.22 4.19 4.12 5/258 835688
/proc/meminfo: memFree=118776632/131524600 swapFree=131071996/131071996
[pid=833739] ppid=833736 vsize=2370080 memory=1807076 CPUtime=3273.38 cores=5,7
/proc/833739/stat : 833739 (pbscip) R 833736 833739 812346 0 -1 4194304 307814 0 0 0 327269 69 0 0 20 0 1 0 157647640 2426961920 451769 134679101440 4194304 18693293 140728483459984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54689792 140728483464196 140728483464295 140728483464295 140728483471310 0
/proc/833739/statm: 592520 451769 4135 3540 0 580777 0
Current children cumulated CPU time: 3273.38 s
Current children cumulated vsize: 2370080 KiB
Current children cumulated memory: 1807076 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.17 4.11 5/258 835699
/proc/meminfo: memFree=118621980/131524600 swapFree=131071996/131071996
[pid=833739] ppid=833736 vsize=2498708 memory=1846832 CPUtime=3333.21 cores=5,7
/proc/833739/stat : 833739 (pbscip) R 833736 833739 812346 0 -1 4194304 316563 0 0 0 333250 71 0 0 20 0 1 0 157647640 2558676992 461708 134679101440 4194304 18693293 140728483459984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54689792 140728483464196 140728483464295 140728483464295 140728483471310 0
/proc/833739/statm: 624677 461708 4135 3540 0 612934 0
Current children cumulated CPU time: 3333.21 s
Current children cumulated vsize: 2498708 KiB
Current children cumulated memory: 1846832 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.15 4.11 5/258 835710
/proc/meminfo: memFree=118555320/131524600 swapFree=131071996/131071996
[pid=833739] ppid=833736 vsize=2498708 memory=1877932 CPUtime=3393.04 cores=5,7
/proc/833739/stat : 833739 (pbscip) R 833736 833739 812346 0 -1 4194304 316838 0 0 0 339232 72 0 0 20 0 1 0 157647640 2558676992 469483 134679101440 4194304 18693293 140728483459984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54689792 140728483464196 140728483464295 140728483464295 140728483471310 0
/proc/833739/statm: 624677 469483 4135 3540 0 612934 0
Current children cumulated CPU time: 3393.04 s
Current children cumulated vsize: 2498708 KiB
Current children cumulated memory: 1877932 KiB

[startup+3462.3 s]
/proc/loadavg: 4.22 4.18 4.12 5/258 835816
/proc/meminfo: memFree=122564092/131524600 swapFree=131071996/131071996
[pid=833739] ppid=833736 vsize=2498708 memory=1901440 CPUtime=3452.87 cores=5,7
/proc/833739/stat : 833739 (pbscip) R 833736 833739 812346 0 -1 4194304 317186 0 0 0 345215 72 0 0 20 0 1 0 157647640 2558676992 475360 134679101440 4194304 18693293 140728483459984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54689792 140728483464196 140728483464295 140728483464295 140728483471310 0
/proc/833739/statm: 624677 475360 4135 3540 0 612934 0
Current children cumulated CPU time: 3452.87 s
Current children cumulated vsize: 2498708 KiB
Current children cumulated memory: 1901440 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.16 4.11 5/255 835826
/proc/meminfo: memFree=122370124/131524600 swapFree=131071996/131071996
[pid=833739] ppid=833736 vsize=2532748 memory=1972132 CPUtime=3512.7 cores=5,7
/proc/833739/stat : 833739 (pbscip) R 833736 833739 812346 0 -1 4194304 325712 0 0 0 351196 74 0 0 20 0 1 0 157647640 2593533952 493033 134679101440 4194304 18693293 140728483459984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54689792 140728483464196 140728483464295 140728483464295 140728483471310 0
/proc/833739/statm: 633187 493033 4135 3540 0 621444 0
Current children cumulated CPU time: 3512.7 s
Current children cumulated vsize: 2532748 KiB
Current children cumulated memory: 1972132 KiB

[startup+3582.3 s]
/proc/loadavg: 4.18 4.16 4.11 5/255 835836
/proc/meminfo: memFree=122185408/131524600 swapFree=131071996/131071996
[pid=833739] ppid=833736 vsize=2532748 memory=2022272 CPUtime=3572.54 cores=5,7
/proc/833739/stat : 833739 (pbscip) R 833736 833739 812346 0 -1 4194304 326067 0 0 0 357179 75 0 0 20 0 1 0 157647640 2593533952 505568 134679101440 4194304 18693293 140728483459984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54689792 140728483464196 140728483464295 140728483464295 140728483471310 0
/proc/833739/statm: 633187 505568 4135 3540 0 621444 0
Current children cumulated CPU time: 3572.54 s
Current children cumulated vsize: 2532748 KiB
Current children cumulated memory: 2022272 KiB

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

# cumulated CPU time of all completed processes:  user=3586.7 s, system=0.793616 s

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

[startup+3584 s]*
/proc/loadavg: 4.18 4.16 4.11 5/255 835836
/proc/meminfo: memFree=122185212/131524600 swapFree=131071996/131071996
[pid=833739] ppid=833736 vsize=2532748 memory=2022272 CPUtime=3574.24 cores=5,7
/proc/833739/stat : 833739 (pbscip) R 833736 833739 812346 0 -1 4194304 326067 0 0 0 357349 75 0 0 20 0 1 0 157647640 2593533952 505568 134679101440 4194304 18693293 140728483459984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54689792 140728483464196 140728483464295 140728483464295 140728483471310 0
/proc/833739/statm: 633187 505568 4135 3540 0 621444 0
Current children cumulated CPU time: 3574.24 s
Current children cumulated vsize: 2532748 KiB
Current children cumulated memory: 2022272 KiB

[startup+3590.4 s]
/proc/loadavg: 4.15 4.15 4.11 5/255 835836
/proc/meminfo: memFree=122169960/131524600 swapFree=131071996/131071996
[pid=833739] ppid=833736 vsize=2532748 memory=2030472 CPUtime=3580.61 cores=5,7
/proc/833739/stat : 833739 (pbscip) R 833736 833739 812346 0 -1 4194304 326067 0 0 0 357986 75 0 0 20 0 1 0 157647640 2593533952 507618 134679101440 4194304 18693293 140728483459984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54689792 140728483464196 140728483464295 140728483464295 140728483471310 0
/proc/833739/statm: 633187 507618 4135 3540 0 621444 0
Current children cumulated CPU time: 3580.61 s
Current children cumulated vsize: 2532748 KiB
Current children cumulated memory: 2030472 KiB

[startup+3593.6 s]
/proc/loadavg: 4.15 4.15 4.11 5/255 835837
/proc/meminfo: memFree=122147744/131524600 swapFree=131071996/131071996
[pid=833739] ppid=833736 vsize=2532748 memory=2030472 CPUtime=3583.81 cores=5,7
/proc/833739/stat : 833739 (pbscip) R 833736 833739 812346 0 -1 4194304 326067 0 0 0 358306 75 0 0 20 0 1 0 157647640 2593533952 507618 134679101440 4194304 18693293 140728483459984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54689792 140728483464196 140728483464295 140728483464295 140728483471310 0
/proc/833739/statm: 633187 507618 4135 3540 0 621444 0
Current children cumulated CPU time: 3583.81 s
Current children cumulated vsize: 2532748 KiB
Current children cumulated memory: 2030472 KiB

[startup+3595.2 s]
/proc/loadavg: 4.14 4.15 4.11 5/255 835837
/proc/meminfo: memFree=122147520/131524600 swapFree=131071996/131071996
[pid=833739] ppid=833736 vsize=2532748 memory=2030472 CPUtime=3585.4 cores=5,7
/proc/833739/stat : 833739 (pbscip) R 833736 833739 812346 0 -1 4194304 326067 0 0 0 358465 75 0 0 20 0 1 0 157647640 2593533952 507618 134679101440 4194304 18693293 140728483459984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54689792 140728483464196 140728483464295 140728483464295 140728483471310 0
/proc/833739/statm: 633187 507618 4135 3540 0 621444 0
Current children cumulated CPU time: 3585.4 s
Current children cumulated vsize: 2532748 KiB
Current children cumulated memory: 2030472 KiB

[startup+3596 s]*
/proc/loadavg: 4.14 4.15 4.11 5/255 835837
/proc/meminfo: memFree=122145476/131524600 swapFree=131071996/131071996
[pid=833739] ppid=833736 vsize=2532748 memory=2030472 CPUtime=3586.21 cores=5,7
/proc/833739/stat : 833739 (pbscip) R 833736 833739 812346 0 -1 4194304 326067 0 0 0 358546 75 0 0 20 0 1 0 157647640 2593533952 507618 134679101440 4194304 18693293 140728483459984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54689792 140728483464196 140728483464295 140728483464295 140728483471310 0
/proc/833739/statm: 633187 507618 4135 3540 0 621444 0
Current children cumulated CPU time: 3586.21 s
Current children cumulated vsize: 2532748 KiB
Current children cumulated memory: 2030472 KiB

[startup+3596.8 s]
/proc/loadavg: 4.14 4.15 4.11 5/255 835837
/proc/meminfo: memFree=122145476/131524600 swapFree=131071996/131071996
[pid=833739] ppid=833736 vsize=2532748 memory=2030472 CPUtime=3587 cores=5,7
/proc/833739/stat : 833739 (pbscip) R 833736 833739 812346 0 -1 4194304 326067 0 0 0 358625 75 0 0 20 0 1 0 157647640 2593533952 507618 134679101440 4194304 18693293 140728483459984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54689792 140728483464196 140728483464295 140728483464295 140728483471310 0
/proc/833739/statm: 633187 507618 4135 3540 0 621444 0
Current children cumulated CPU time: 3587 s
Current children cumulated vsize: 2532748 KiB
Current children cumulated memory: 2030472 KiB

[startup+3597.2 s]
/proc/loadavg: 4.14 4.15 4.11 5/255 835837
/proc/meminfo: memFree=122145364/131524600 swapFree=131071996/131071996
[pid=833739] ppid=833736 vsize=2532748 memory=2030472 CPUtime=3587.4 cores=5,7
/proc/833739/stat : 833739 (pbscip) R 833736 833739 812346 0 -1 4194304 326388 0 0 0 358664 76 0 0 20 0 1 0 157647640 2593533952 507618 134679101440 4194304 18693293 140728483459984 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54689792 140728483464196 140728483464295 140728483464295 140728483471310 0
/proc/833739/statm: 633187 507618 4135 3540 0 621444 0
Current children cumulated CPU time: 3587.4 s
Current children cumulated vsize: 2532748 KiB
Current children cumulated memory: 2030472 KiB

Child status: 0

Real time (s): 3597.28
CPU time (s): 3587.49
CPU user time (s): 3586.7
CPU system time (s): 0.793616
CPU usage (%): 99.7279
Max. virtual memory (cumulated for all children) (KiB): 2532748
Max. memory (cumulated for all children) (KiB): 2030472

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.7
system time used= 0.793616
maximum resident set size= 2030472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 326415
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= 53
involuntary context switches= 3528


# summary of solver processes directly reported to runsolver:
#   pid: 833739
#   total CPU time (s): 3587.49
#   total CPU user time (s): 3586.7
#   total CPU system time (s): 0.793616

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.08966 second user time and 16.5426 second system time

The end

Launcher Data

Begin job on nodeC025 at 2024-07-15 16:47:15
IDJOB=4432700
IDBENCH=146680
IDSOLVER=3059
FILE ID=nodeC025/4432700-1721054823
RUNJOBID= nodeC025-1721051059-830874
SLURM_JOB_ID= 7505483
Free space on /tmp= 889968 MiB

SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-1.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-4432700-1721054823/watcher-4432700-1721054823 -o /tmp/evaluation-result-4432700-1721054823/solver-4432700-1721054823 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721051059-830874 --watchdog 3760  pbscip -f HOME/instance-4432700-1721054823.opb -t 3600 -j 2 -m 31000

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

MD5SUM BENCH= 950817fdcb39f28dd0871c21ea836071
RANDOM SEED=1040084209

nodeC025.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		: 3674.219
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.72
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		: 3677.886
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	: 7007.09
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.117
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.72
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		: 3600.472
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	: 7007.09
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		: 3674.235
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.72
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		: 3663.973
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	: 7007.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.931
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.72
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		: 3667.964
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	: 7007.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        122990608 kB
MemAvailable:   126558512 kB
Buffers:          377344 kB
Cached:          3987976 kB
SwapCached:            0 kB
Active:           694396 kB
Inactive:        7154348 kB
Active(anon):       1528 kB
Inactive(anon):  3519608 kB
Active(file):     692868 kB
Inactive(file):  3634740 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             20128 kB
Writeback:           128 kB
AnonPages:       3483324 kB
Mapped:           137988 kB
Shmem:             37720 kB
KReclaimable:     159884 kB
Slab:             272476 kB
SReclaimable:     159884 kB
SUnreclaim:       112592 kB
KernelStack:        4128 kB
PageTables:        16760 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    4680052 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            61856 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1484800 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:      240340 kB
DirectMap2M:    32038912 kB
DirectMap1G:    103809024 kB

Free space on /tmp at the end= 889952 MiB
End job on nodeC025 at 2024-07-15 17:47:13