Trace number 4432664

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIP 2024-07-07? 3587.82 3597.21

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_18.opb
MD5SUM175cf8fd081870b89b1494469c4bb17a
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark293
Best CPU time to get the best result obtained on this benchmark3600.07
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables8883
Total number of constraints17459
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints17459
Minimum length of a constraint18
Maximum length of a constraint37
Number of terms in the objective function 9
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 511
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 512
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 2691
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.01	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01	c 
0.00/0.01	c user parameter file <scip.set> not found - using default parameters
0.00/0.01	c reading problem <HOME/instance-4432664-1721097251.opb>
0.20/0.22	c original problem has 8883 variables (8883 bin, 0 int, 0 impl, 0 cont) and 17459 constraints
0.20/0.22	c problem read in 0.22
0.30/0.34	c presolving:
0.41/0.46	c (round 1, fast)       0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 306 chg sides, 306 chg coeffs, 0 upgd conss, 0 impls, 153 clqs
0.59/0.62	c    (0.6s) running MILP presolver
0.98/1.09	c    (1.1s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
0.98/1.09	c (round 2, medium)     0 del vars, 17459 del conss, 8891 add conss, 0 chg bounds, 306 chg sides, 306 chg coeffs, 0 upgd conss, 0 impls, 153 clqs
1.08/1.17	c (round 3, exhaustive) 0 del vars, 17459 del conss, 8891 add conss, 0 chg bounds, 306 chg sides, 306 chg coeffs, 170 upgd conss, 0 impls, 153 clqs
1.08/1.18	c (round 4, exhaustive) 0 del vars, 17459 del conss, 8891 add conss, 0 chg bounds, 306 chg sides, 306 chg coeffs, 323 upgd conss, 0 impls, 170 clqs
1.26/1.35	c    (1.3s) probing: 234/8883 (2.6%) - 0 fixings, 0 aggregations, 49 implications, 0 bound changes
1.26/1.35	c    (1.3s) probing aborted: 50/50 successive totally useless probings
1.36/1.44	c    (1.4s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
1.46/1.55	c    (1.5s) symmetry computation finished: 1500 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.04)
1.67/1.72	c dynamic symmetry handling statistics:
1.67/1.72	c    orbitopal reduction:       no components
1.67/1.72	c    orbital reduction:         no components
1.67/1.72	c    lexicographic reduction:   no permutations
1.67/1.72	c handled 1500 out of 1500 symmetry components
1.67/1.72	c (round 5, exhaustive) 0 del vars, 17459 del conss, 10391 add conss, 0 chg bounds, 306 chg sides, 306 chg coeffs, 323 upgd conss, 0 impls, 1719 clqs
1.67/1.75	c (round 6, exhaustive) 0 del vars, 17459 del conss, 10391 add conss, 0 chg bounds, 306 chg sides, 306 chg coeffs, 1823 upgd conss, 0 impls, 1719 clqs
1.76/1.80	c presolving (7 rounds: 7 fast, 6 medium, 5 exhaustive):
1.76/1.80	c  0 deleted vars, 17459 deleted constraints, 10391 added constraints, 0 tightened bounds, 0 added holes, 306 changed sides, 306 changed coefficients
1.76/1.80	c  0 implications, 1719 cliques
1.76/1.80	c presolved problem has 8883 variables (8883 bin, 0 int, 0 impl, 0 cont) and 10391 constraints
1.76/1.80	c     323 constraints of type <knapsack>
1.76/1.80	c    1500 constraints of type <setppc>
1.76/1.80	c    8568 constraints of type <linear>
1.76/1.80	c transformed objective value is always integral (scale: 1)
1.76/1.80	c Presolving Time: 1.46
1.76/1.80	c - non default parameters ----------------------------------------------------------------------
1.76/1.80	c # SCIP version 10.0.0
1.76/1.80	c 
1.76/1.80	c # maximal time in seconds to run
1.76/1.80	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
1.76/1.80	c limits/time = 3596.993128
1.76/1.80	c 
1.76/1.80	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.76/1.80	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
1.76/1.80	c limits/memory = 27900
1.76/1.80	c 
1.76/1.80	c # belongs reading time to solving time?
1.76/1.80	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
1.76/1.80	c timing/reading = TRUE
1.76/1.80	c 
1.76/1.80	c -----------------------------------------------------------------------------------------------
1.76/1.80	c start solving
1.76/1.81	c 
2.66/2.73	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2.66/2.73	c   2.7s|     1 |     0 |  9723 |     - |   394M |   0 |8883 |  10k|  10k|   0 |  0 |  24 |   0 | 1.700000e+01 |      --      |    Inf | unknown
4.85/4.96	c   5.0s|     1 |     0 | 18423 |     - |   409M |   0 |8883 |  10k|  10k|  14 |  1 |  24 |   0 | 1.700000e+01 |      --      |    Inf | unknown
5.07/5.16	c   5.2s|     1 |     0 | 18441 |     - |   411M |   0 |8883 |  10k|  10k|  29 |  2 |  24 |   0 | 1.700000e+01 |      --      |    Inf | unknown
5.25/5.39	c   5.4s|     1 |     0 | 18462 |     - |   414M |   0 |8883 |  10k|  10k|  42 |  3 |  24 |   0 | 1.700000e+01 |      --      |    Inf | unknown
5.45/5.59	c   5.6s|     1 |     0 | 18483 |     - |   416M |   0 |8883 |  10k|  10k|  57 |  4 |  24 |   0 | 1.700000e+01 |      --      |    Inf | unknown
5.76/5.81	c   5.8s|     1 |     0 | 18503 |     - |   419M |   0 |8883 |  10k|  10k|  71 |  5 |  24 |   0 | 1.700000e+01 |      --      |    Inf | unknown
5.97/6.05	c   6.0s|     1 |     0 | 18526 |     - |   421M |   0 |8883 |  10k|  10k|  86 |  6 |  24 |   0 | 1.700000e+01 |      --      |    Inf | unknown
6.26/6.32	c   6.3s|     1 |     0 | 18560 |     - |   425M |   0 |8883 |  10k|  10k| 101 |  7 |  24 |   0 | 1.700000e+01 |      --      |    Inf | unknown
6.45/6.56	c   6.6s|     1 |     0 | 18579 |     - |   429M |   0 |8883 |  10k|  10k| 115 |  8 |  24 |   0 | 1.700000e+01 |      --      |    Inf | unknown
6.75/6.84	c   6.8s|     1 |     0 | 18606 |     - |   433M |   0 |8883 |  10k|  10k| 129 |  9 |  24 |   0 | 1.700000e+01 |      --      |    Inf | unknown
6.96/7.09	c   7.1s|     1 |     0 | 18648 |     - |   435M |   0 |8883 |  10k|  10k| 144 | 10 |  24 |   0 | 1.700000e+01 |      --      |    Inf | unknown
7.25/7.32	c   7.3s|     1 |     0 | 18676 |     - |   439M |   0 |8883 |  10k|  10k| 160 | 11 |  27 |   0 | 1.700000e+01 |      --      |    Inf | unknown
12.84/12.93	c  12.9s|     1 |     2 | 36893 |     - |   441M |   0 |8883 |  10k|  10k| 160 | 11 |  47 |  36 | 1.800000e+01 |      --      |    Inf | unknown
57.02/57.25	c  57.2s|   100 |    97 |353027 |3377.3 |   460M |  23 |8883 |  10k|  10k| 304 |  2 | 341 |  36 | 1.800000e+01 |      --      |    Inf | unknown
69.49/69.79	c  69.8s|   200 |   188 |461222 |2223.8 |   462M |  37 |8883 |  10k|  10k| 384 |  1 | 547 |  36 | 1.800000e+01 |      --      |    Inf | unknown
74.18/74.43	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
74.18/74.43	c  74.4s|   300 |   238 |490221 |1577.1 |   463M |  39 |8883 |  10k|   0 | 515 |  0 | 601 |  36 | 1.800000e+01 |      --      |    Inf | unknown
82.36/82.65	c  82.6s|   400 |   318 |570318 |1382.6 |   465M |  39 |8883 |  11k|  10k| 567 |  1 | 695 |  36 | 1.800000e+01 |      --      |    Inf | unknown
97.51/97.88	c  97.9s|   500 |   396 |675833 |1316.9 |   474M |  44 |8883 |  11k|  10k| 667 |  1 |1193 |  36 | 1.800000e+01 |      --      |    Inf | unknown
102.81/103.15	c   103s|   600 |   447 |707127 |1149.3 |   476M |  44 |8883 |  11k|  10k| 693 |  1 |1331 |  36 | 1.800000e+01 |      --      |    Inf | unknown
110.18/110.51	c   111s|   700 |   499 |771489 |1077.0 |   480M |  44 |8883 |  11k|  10k| 754 |  2 |1459 |  36 | 1.800000e+01 |      --      |    Inf | unknown
117.46/117.82	c   118s|   800 |   561 |838035 |1025.5 |   482M |  46 |8883 |  11k|   0 | 804 |  0 |1580 |  36 | 1.800000e+01 |      --      |    Inf | unknown
124.94/125.31	c   125s|   900 |   618 |881149 | 959.4 |   483M |  48 |8883 |  11k|  10k| 849 |  1 |1673 |  36 | 1.800000e+01 |      --      |    Inf | unknown
132.12/132.56	c   133s|  1000 |   649 |953551 | 935.8 |   488M |  48 |8883 |  12k|  10k| 951 |  1 |1788 |  36 | 1.800000e+01 |      --      |    Inf | unknown
137.11/137.51	c   138s|  1100 |   679 |976108 | 871.2 |   490M |  48 |8883 |  12k|  10k|1068 |  1 |1817 |  36 | 1.800000e+01 |      --      |    Inf | unknown
142.71/143.13	c   143s|  1200 |   705 |  1018k| 834.3 |   492M |  48 |8883 |  12k|  10k|1164 |  1 |1873 |  36 | 1.800000e+01 |      --      |    Inf | unknown
150.77/151.28	c   151s|  1300 |   739 |  1065k| 805.5 |   493M |  48 |8883 |  12k|  10k|1222 |  1 |1898 |  36 | 1.800000e+01 |      --      |    Inf | unknown
163.84/164.39	c   164s|  1400 |   826 |  1192k| 839.4 |   495M |  48 |8883 |  12k|  10k|1321 |  1 |1983 |  36 | 1.800000e+01 |      --      |    Inf | unknown
175.01/175.53	c   176s|  1500 |   907 |  1303k| 856.9 |   497M |  48 |8883 |  12k|   0 |1428 |  0 |2089 |  36 | 1.800000e+01 |      --      |    Inf | unknown
180.29/180.82	c   181s|  1600 |   950 |  1341k| 827.2 |   499M |  48 |8883 |  12k|  10k|1505 |  1 |2137 |  36 | 1.800000e+01 |      --      |    Inf | unknown
186.77/187.33	c   187s|  1700 |   976 |  1379k| 800.9 |   500M |  48 |8883 |  12k|   0 |1593 |  0 |2227 |  36 | 1.800000e+01 |      --      |    Inf | unknown
192.35/192.94	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
192.35/192.94	c   193s|  1800 |  1004 |  1421k| 779.5 |   501M |  48 |8883 |  12k|  10k|1694 |  1 |2344 |  36 | 1.800000e+01 |      --      |    Inf | unknown
198.44/199.03	c   199s|  1900 |  1040 |  1460k| 759.2 |   502M |  48 |8883 |  12k|  10k|1831 |  1 |2396 |  36 | 1.800000e+01 |      --      |    Inf | unknown
203.02/203.63	c   204s|  2000 |  1050 |  1484k| 733.4 |   504M |  48 |8883 |  12k|   0 |1908 |  0 |2449 |  36 | 1.800000e+01 |      --      |    Inf | unknown
208.21/208.83	c   209s|  2100 |  1065 |  1526k| 718.2 |   505M |  48 |8883 |  12k|  10k|1993 |  2 |2503 |  36 | 1.800000e+01 |      --      |    Inf | unknown
216.68/217.34	c   217s|  2200 |  1088 |  1603k| 720.6 |   507M |  48 |8883 |  11k|   0 |2084 |  0 |2551 |  36 | 1.800000e+01 |      --      |    Inf | unknown
221.57/222.25	c   222s|  2300 |  1114 |  1637k| 704.3 |   508M |  48 |8883 |  11k|  10k|2189 |  1 |2599 |  36 | 1.800000e+01 |      --      |    Inf | unknown
227.56/228.26	c   228s|  2400 |  1133 |  1685k| 694.7 |   509M |  48 |8883 |  11k|   0 |2227 |  0 |2650 |  36 | 1.800000e+01 |      --      |    Inf | unknown
233.45/234.19	c   234s|  2500 |  1157 |  1724k| 682.6 |   509M |  48 |8883 |  11k|  10k|2270 |  1 |2681 |  36 | 1.800000e+01 |      --      |    Inf | unknown
242.22/242.96	c   243s|  2600 |  1234 |  1808k| 688.8 |   512M |  48 |8883 |  11k|  10k|2336 |  1 |2829 |  36 | 1.800000e+01 |      --      |    Inf | unknown
249.99/250.77	c   251s|  2700 |  1270 |  1897k| 696.2 |   513M |  49 |8883 |  11k|   0 |2392 |  0 |2918 |  36 | 1.800000e+01 |      --      |    Inf | unknown
256.18/256.93	c   257s|  2800 |  1295 |  1950k| 690.1 |   514M |  51 |8883 |  11k|  10k|2436 |  1 |2976 |  36 | 1.800000e+01 |      --      |    Inf | unknown
259.77/260.54	c   261s|  2900 |  1296 |  1976k| 675.5 |   514M |  51 |8883 |  11k|  10k|2498 |  1 |3020 |  36 | 1.800000e+01 |      --      |    Inf | unknown
268.65/269.47	c   269s|  3000 |  1328 |  2059k| 680.4 |   515M |  51 |8883 |  11k|  10k|2601 |  1 |3088 |  36 | 1.800000e+01 |      --      |    Inf | unknown
275.53/276.37	c   276s|  3100 |  1370 |  2104k| 673.0 |   516M |  51 |8883 |  11k|  10k|2744 |  1 |3135 |  36 | 1.800000e+01 |      --      |    Inf | unknown
282.32/283.16	c   283s|  3200 |  1392 |  2165k| 671.1 |   520M |  51 |8883 |  11k|   0 |2811 |  0 |3271 |  36 | 1.800000e+01 |      --      |    Inf | unknown
288.40/289.26	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
288.40/289.26	c   289s|  3300 |  1423 |  2219k| 667.2 |   521M |  51 |8883 |  11k|  10k|2907 |  0 |3309 |  36 | 1.800000e+01 |      --      |    Inf | unknown
293.98/294.87	c   295s|  3400 |  1474 |  2260k| 659.5 |   522M |  51 |8883 |  11k|  10k|3068 |  1 |3368 |  36 | 1.800000e+01 |      --      |    Inf | unknown
299.87/300.70	c   301s|  3500 |  1505 |  2304k| 653.3 |   524M |  51 |8883 |  11k|   0 |3168 |  0 |3562 |  36 | 1.800000e+01 |      --      |    Inf | unknown
304.05/304.90	c   305s|  3600 |  1511 |  2326k| 641.4 |   525M |  51 |8883 |  11k|  10k|3228 |  1 |3719 |  36 | 1.800000e+01 |      --      |    Inf | unknown
310.15/311.09	c   311s|  3700 |  1535 |  2380k| 638.6 |   526M |  51 |8883 |  11k|   0 |3297 |  0 |3821 |  36 | 1.800000e+01 |      --      |    Inf | unknown
318.23/319.15	c   319s|  3800 |  1564 |  2450k| 640.2 |   527M |  51 |8883 |  11k|  10k|3361 |  1 |3937 |  36 | 1.800000e+01 |      --      |    Inf | unknown
329.89/330.86	c   331s|  3900 |  1591 |  2532k| 644.7 |   528M |  51 |8883 |  11k|  10k|3428 |  1 |3989 |  36 | 1.800000e+01 |      --      |    Inf | unknown
336.08/337.03	c   337s|  4000 |  1628 |  2584k| 641.7 |   529M |  51 |8883 |  11k|  10k|3482 |  1 |4073 |  36 | 1.800000e+01 |      --      |    Inf | unknown
346.16/347.13	c   347s|  4100 |  1698 |  2693k| 652.5 |   530M |  51 |8883 |  11k|  10k|3525 |  1 |4179 |  36 | 1.800000e+01 |      --      |    Inf | unknown
351.23/352.28	c   352s|  4200 |  1710 |  2722k| 643.8 |   533M |  51 |8883 |  11k|  10k|3580 |  1 |4246 |  36 | 1.800000e+01 |      --      |    Inf | unknown
357.91/358.90	c   359s|  4300 |  1742 |  2766k| 639.1 |   535M |  51 |8883 |  11k|  10k|3684 |  1 |4354 |  36 | 1.800000e+01 |      --      |    Inf | unknown
364.11/365.18	c   365s|  4400 |  1754 |  2814k| 635.6 |   538M |  51 |8883 |  11k|  10k|3777 |  1 |4449 |  36 | 1.800000e+01 |      --      |    Inf | unknown
378.97/380.02	c   380s|  4500 |  1845 |  2950k| 651.7 |   539M |  51 |8883 |  11k|  10k|3872 |  1 |4585 |  36 | 1.800000e+01 |      --      |    Inf | unknown
389.63/390.75	c   391s|  4600 |  1927 |  3044k| 658.0 |   544M |  51 |8883 |  11k|  10k|3986 |  0 |4659 |  36 | 1.800000e+01 |      --      |    Inf | unknown
401.60/402.75	c   403s|  4700 |  2014 |  3164k| 669.4 |   545M |  51 |8883 |  11k|  10k|4116 |  1 |4884 |  36 | 1.800000e+01 |      --      |    Inf | unknown
407.59/408.77	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
407.59/408.77	c   409s|  4800 |  2058 |  3215k| 666.2 |   546M |  51 |8883 |  11k|   0 |4197 |  0 |4938 |  36 | 1.800000e+01 |      --      |    Inf | unknown
411.48/412.60	c   413s|  4900 |  2091 |  3240k| 657.6 |   546M |  51 |8883 |  11k|  10k|4261 |  1 |4975 |  36 | 1.800000e+01 |      --      |    Inf | unknown
416.27/417.44	c   417s|  5000 |  2105 |  3266k| 649.7 |   547M |  51 |8883 |  11k|  10k|4296 |  1 |5133 |  36 | 1.800000e+01 |      --      |    Inf | unknown
420.46/421.61	c   422s|  5100 |  2131 |  3292k| 642.1 |   549M |  51 |8883 |  11k|  10k|4361 |  2 |5212 |  36 | 1.800000e+01 |      --      |    Inf | unknown
425.85/427.07	c   427s|  5200 |  2179 |  3318k| 634.8 |   549M |  51 |8883 |  11k|   0 |4470 |  0 |5247 |  36 | 1.800000e+01 |      --      |    Inf | unknown
429.73/430.93	c   431s|  5300 |  2175 |  3351k| 629.0 |   550M |  51 |8883 |  11k|  10k|4499 |  1 |5299 |  36 | 1.800000e+01 |      --      |    Inf | unknown
435.32/436.52	c   437s|  5400 |  2211 |  3396k| 625.6 |   551M |  51 |8883 |  11k|  10k|4573 |  1 |5413 |  36 | 1.800000e+01 |      --      |    Inf | unknown
439.51/440.74	c   441s|  5500 |  2240 |  3428k| 620.1 |   551M |  51 |8883 |  11k|  10k|4650 |  1 |5446 |  36 | 1.800000e+01 |      --      |    Inf | unknown
442.81/444.07	c   444s|  5600 |  2260 |  3449k| 612.8 |   552M |  51 |8883 |  11k|  10k|4727 |  1 |5496 |  36 | 1.800000e+01 |      --      |    Inf | unknown
444.99/446.26	c   446s|  5700 |  2248 |  3459k| 603.8 |   552M |  51 |8883 |  11k|   0 |4762 |  0 |5542 |  36 | 1.800000e+01 |      --      |    Inf | unknown
449.28/450.59	c   451s|  5800 |  2271 |  3488k| 598.4 |   553M |  51 |8883 |  11k|  10k|4832 |  1 |5649 |  36 | 1.800000e+01 |      --      |    Inf | unknown
454.17/455.43	c   455s|  5900 |  2309 |  3516k| 593.0 |   555M |  51 |8883 |  11k|  10k|4922 |  1 |5720 |  36 | 1.800000e+01 |      --      |    Inf | unknown
460.36/461.67	c   462s|  6000 |  2330 |  3559k| 590.2 |   556M |  51 |8883 |  11k|   0 |4982 |  0 |5906 |  36 | 1.800000e+01 |      --      |    Inf | unknown
465.25/466.53	c   467s|  6100 |  2341 |  3596k| 586.5 |   557M |  51 |8883 |  11k|   0 |5014 |  0 |6026 |  36 | 1.800000e+01 |      --      |    Inf | unknown
471.63/472.95	c   473s|  6200 |  2381 |  3649k| 585.8 |   558M |  51 |8883 |  11k|   0 |5076 |  0 |6099 |  36 | 1.800000e+01 |      --      |    Inf | unknown
476.52/477.82	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
476.52/477.82	c   478s|  6300 |  2403 |  3695k| 583.8 |   559M |  51 |8883 |  11k|   0 |5141 |  0 |6151 |  36 | 1.800000e+01 |      --      |    Inf | unknown
482.40/483.78	c   484s|  6400 |  2423 |  3731k| 580.3 |   560M |  51 |8883 |  11k|  10k|5170 |  1 |6193 |  36 | 1.800000e+01 |      --      |    Inf | unknown
488.39/489.72	c   490s|  6500 |  2436 |  3774k| 578.0 |   560M |  51 |8883 |  11k|  10k|5182 |  1 |6237 |  36 | 1.800000e+01 |      --      |    Inf | unknown
492.58/493.97	c   494s|  6600 |  2466 |  3806k| 574.0 |   561M |  51 |8883 |  11k|  10k|5230 |  1 |6264 |  36 | 1.800000e+01 |      --      |    Inf | unknown
499.16/500.54	c   501s|  6700 |  2491 |  3870k| 575.0 |   562M |  51 |8883 |  11k|   0 |5251 |  0 |6378 |  36 | 1.800000e+01 |      --      |    Inf | unknown
509.34/510.79	c   511s|  6800 |  2501 |  3938k| 576.6 |   562M |  51 |8883 |  11k|  10k|5275 |  1 |6409 |  36 | 1.800000e+01 |      --      |    Inf | unknown
515.42/516.88	c   517s|  6900 |  2551 |  3982k| 574.6 |   563M |  51 |8883 |  11k|   0 |5380 |  0 |6531 |  36 | 1.800000e+01 |      --      |    Inf | unknown
521.41/522.85	c   523s|  7000 |  2595 |  4029k| 573.0 |   564M |  51 |8883 |  11k|  10k|5509 |  1 |6566 |  36 | 1.800000e+01 |      --      |    Inf | unknown
524.90/526.33	c   526s|  7100 |  2603 |  4048k| 567.7 |   564M |  51 |8883 |  11k|  10k|5589 |  1 |6651 |  36 | 1.800000e+01 |      --      |    Inf | unknown
530.38/531.85	c   532s|  7200 |  2628 |  4093k| 566.1 |   564M |  51 |8883 |  11k|   0 |5643 |  0 |6738 |  36 | 1.800000e+01 |      --      |    Inf | unknown
535.87/537.31	c   537s|  7300 |  2640 |  4127k| 563.0 |   565M |  51 |8883 |  11k|  10k|5713 |  1 |6799 |  36 | 1.800000e+01 |      --      |    Inf | unknown
542.85/544.36	c   544s|  7400 |  2688 |  4184k| 563.0 |   566M |  51 |8883 |  11k|   0 |5804 |  0 |6938 |  36 | 1.800000e+01 |      --      |    Inf | unknown
548.24/549.78	c   550s|  7500 |  2715 |  4229k| 561.5 |   566M |  51 |8883 |  11k|   0 |5866 |  0 |6979 |  36 | 1.800000e+01 |      --      |    Inf | unknown
554.43/555.91	c   556s|  7600 |  2739 |  4281k| 561.0 |   567M |  51 |8883 |  11k|  10k|5910 |  1 |7037 |  36 | 1.800000e+01 |      --      |    Inf | unknown
558.91/560.47	c   560s|  7700 |  2744 |  4315k| 558.1 |   567M |  51 |8883 |  11k|  10k|5997 |  1 |7106 |  36 | 1.800000e+01 |      --      |    Inf | unknown
563.10/564.62	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
563.10/564.62	c   565s|  7800 |  2760 |  4338k| 553.9 |   568M |  51 |8883 |  11k|   0 |6004 |  0 |7125 |  36 | 1.800000e+01 |      --      |    Inf | unknown
569.79/571.32	c   571s|  7900 |  2786 |  4396k| 554.2 |   569M |  51 |8883 |  11k|   0 |6047 |  0 |7193 |  36 | 1.800000e+01 |      --      |    Inf | unknown
577.07/578.67	c   579s|  8000 |  2826 |  4465k| 555.9 |   571M |  51 |8883 |  11k|  10k|6120 |  1 |7256 |  36 | 1.800000e+01 |      --      |    Inf | unknown
581.36/582.98	c   583s|  8100 |  2829 |  4482k| 551.1 |   572M |  51 |8883 |  11k|   0 |6176 |  0 |7353 |  36 | 1.800000e+01 |      --      |    Inf | unknown
587.15/588.74	c   589s|  8200 |  2867 |  4533k| 550.7 |   572M |  51 |8883 |  11k|  10k|6217 |  1 |7413 |  36 | 1.800000e+01 |      --      |    Inf | unknown
592.83/594.43	c   594s|  8300 |  2897 |  4579k| 549.6 |   573M |  51 |8883 |  11k|   0 |6228 |  0 |7476 |  36 | 1.800000e+01 |      --      |    Inf | unknown
600.11/601.77	c   602s|  8400 |  2931 |  4657k| 552.3 |   574M |  51 |8883 |  11k|   0 |6290 |  0 |7573 |  36 | 1.862500e+01 |      --      |    Inf | unknown
608.40/610.03	c   610s|  8500 |  2940 |  4713k| 552.4 |   575M |  51 |8883 |  11k|  10k|6332 |  1 |7658 |  36 | 1.900000e+01 |      --      |    Inf | unknown
615.58/617.21	c   617s|  8600 |  2973 |  4777k| 553.5 |   575M |  51 |8883 |  11k|  10k|6410 |  2 |7715 |  36 | 1.900000e+01 |      --      |    Inf | unknown
627.74/629.46	c   629s|  8700 |  3061 |  4911k| 562.5 |   580M |  51 |8883 |  11k|  10k|6476 |  1 |7790 |  36 | 1.900000e+01 |      --      |    Inf | unknown
642.61/644.35	c   644s|  8800 |  3150 |  5061k| 573.1 |   582M |  51 |8883 |  11k|  10k|6689 |  2 |7900 |  36 | 1.900000e+01 |      --      |    Inf | unknown
652.98/654.74	c   655s|  8900 |  3209 |  5174k| 579.4 |   583M |  51 |8883 |  11k|  10k|6833 |  1 |8016 |  36 | 1.900000e+01 |      --      |    Inf | unknown
656.77/658.53	c   659s|  9000 |  3220 |  5204k| 576.2 |   584M |  51 |8883 |  11k|  10k|6924 |  1 |8079 |  36 | 1.900000e+01 |      --      |    Inf | unknown
664.27/666.11	c   666s|  9100 |  3236 |  5269k| 577.0 |   587M |  51 |8883 |  11k|  10k|7042 |  1 |8222 |  36 | 1.900000e+01 |      --      |    Inf | unknown
671.26/673.10	c   673s|  9200 |  3274 |  5332k| 577.7 |   588M |  51 |8883 |  11k|   0 |7198 |  0 |8310 |  36 | 1.900000e+01 |      --      |    Inf | unknown
675.63/677.44	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
675.63/677.44	c   677s|  9300 |  3282 |  5363k| 574.8 |   588M |  51 |8883 |  11k|   0 |7260 |  0 |8382 |  36 | 1.900000e+01 |      --      |    Inf | unknown
682.42/684.20	c   684s|  9400 |  3307 |  5420k| 574.7 |   589M |  51 |8883 |  11k|   0 |7353 |  0 |8477 |  36 | 1.900000e+01 |      --      |    Inf | unknown
687.50/689.39	c   689s|  9500 |  3320 |  5468k| 573.7 |   589M |  51 |8883 |  11k|  10k|7378 |  1 |8598 |  36 | 1.900000e+01 |      --      |    Inf | unknown
692.59/694.49	c   694s|  9600 |  3331 |  5495k| 570.6 |   590M |  51 |8883 |  11k|   0 |7478 |  0 |8646 |  36 | 1.900000e+01 |      --      |    Inf | unknown
705.96/707.85	c   708s|  9700 |  3425 |  5645k| 580.1 |   593M |  51 |8883 |  11k|  10k|7588 |  1 |8719 |  36 | 1.900000e+01 |      --      |    Inf | unknown
717.93/719.83	c   720s|  9800 |  3512 |  5767k| 586.7 |   594M |  51 |8883 |  11k|  10k|7665 |  1 |8839 |  36 | 1.900000e+01 |      --      |    Inf | unknown
731.79/733.75	c   734s|  9900 |  3612 |  5919k| 596.1 |   597M |  51 |8883 |  11k|  10k|7829 |  1 |8976 |  36 | 1.900000e+01 |      --      |    Inf | unknown
747.55/749.53	c   750s| 10000 |  3702 |  6070k| 605.2 |   601M |  51 |8883 |  11k|  10k|7950 |  1 |9114 |  36 | 1.900000e+01 |      --      |    Inf | unknown
759.82/761.85	c   762s| 10100 |  3786 |  6193k| 611.5 |   606M |  51 |8883 |  11k|  10k|8057 |  1 |9228 |  36 | 1.900000e+01 |      --      |    Inf | unknown
773.48/775.51	c   776s| 10200 |  3866 |  6341k| 619.9 |   608M |  51 |8883 |  11k|   0 |8160 |  0 |9371 |  36 | 1.900000e+01 |      --      |    Inf | unknown
792.94/795.10	c   795s| 10300 |  3943 |  6499k| 629.2 |   612M |  51 |8883 |  11k|  10k|8245 |  1 |9466 |  36 | 1.900000e+01 |      --      |    Inf | unknown
801.81/803.97	c   804s| 10400 |  3981 |  6571k| 630.1 |   614M |  51 |8883 |  11k|  10k|8380 |  1 |9552 |  36 | 1.900000e+01 |      --      |    Inf | unknown
812.69/814.80	c   815s| 10500 |  4034 |  6679k| 634.5 |   617M |  51 |8883 |  11k|  10k|8557 |  1 |9628 |  36 | 1.900000e+01 |      --      |    Inf | unknown
824.97/827.17	c   827s| 10600 |  4118 |  6814k| 641.2 |   624M |  51 |8883 |  11k|   0 |8652 |  0 |9767 |  36 | 1.900000e+01 |      --      |    Inf | unknown
838.72/841.00	c   841s| 10700 |  4184 |  6934k| 646.4 |   627M |  51 |8883 |  11k|   0 |8851 |  0 |9907 |  36 | 1.900000e+01 |      --      |    Inf | unknown
851.29/853.56	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
851.29/853.56	c   854s| 10800 |  4258 |  7073k| 653.3 |   629M |  51 |8883 |  11k|  10k|8978 |  1 |  10k|  36 | 1.900000e+01 |      --      |    Inf | unknown
857.98/860.21	c   860s| 10900 |  4288 |  7127k| 652.2 |   630M |  51 |8883 |  11k|  10k|9077 |  1 |  10k|  36 | 1.900000e+01 |      --      |    Inf | unknown
866.15/868.49	c   868s| 11000 |  4305 |  7190k| 652.0 |   632M |  51 |8883 |  11k|  10k|9187 |  1 |  10k|  36 | 1.900000e+01 |      --      |    Inf | unknown
875.34/877.61	c   878s| 11100 |  4344 |  7272k| 653.5 |   634M |  51 |8883 |  11k|  10k|9310 |  1 |  10k|  36 | 1.900000e+01 |      --      |    Inf | unknown
886.61/889.00	c   889s| 11200 |  4403 |  7356k| 655.3 |   635M |  51 |8883 |  11k|  10k|9401 |  1 |  10k|  36 | 1.900000e+01 |      --      |    Inf | unknown
898.38/900.72	c   901s| 11300 |  4462 |  7466k| 659.2 |   636M |  51 |8883 |  11k|   0 |9572 |  0 |  10k|  36 | 1.900000e+01 |      --      |    Inf | unknown
907.66/910.09	c   910s| 11400 |  4519 |  7551k| 660.8 |   639M |  51 |8883 |  11k|  10k|9685 |  1 |  10k|  36 | 1.900000e+01 |      --      |    Inf | unknown
914.54/916.99	c   917s| 11500 |  4561 |  7614k| 660.6 |   640M |  51 |8883 |  11k|  10k|9768 |  1 |  10k|  36 | 1.900000e+01 |      --      |    Inf | unknown
919.12/921.50	c   921s| 11600 |  4587 |  7655k| 658.4 |   640M |  51 |8883 |  11k|  10k|9815 |  1 |  10k|  36 | 1.900000e+01 |      --      |    Inf | unknown
922.91/925.37	c   925s| 11700 |  4572 |  7678k| 654.7 |   640M |  51 |8883 |  11k|  10k|9869 |  1 |  10k|  36 | 1.900000e+01 |      --      |    Inf | unknown
931.39/933.83	c   934s| 11800 |  4622 |  7756k| 655.8 |   641M |  51 |8883 |  11k|  10k|  10k|  1 |  10k|  36 | 1.900000e+01 |      --      |    Inf | unknown
943.77/946.20	c   946s| 11900 |  4720 |  7898k| 662.3 |   644M |  51 |8883 |  11k|  10k|  10k|  1 |  11k|  36 | 1.900000e+01 |      --      |    Inf | unknown
957.55/960.07	c   960s| 12000 |  4807 |  8032k| 667.9 |   646M |  51 |8883 |  11k|  10k|  10k|  1 |  11k|  36 | 1.900000e+01 |      --      |    Inf | unknown
970.30/972.86	c   973s| 12100 |  4905 |  8168k| 673.6 |   651M |  51 |8883 |  11k|  10k|  10k|  1 |  11k|  36 | 1.900000e+01 |      --      |    Inf | unknown
981.97/984.56	c   985s| 12200 |  4993 |  8301k| 679.0 |   653M |  51 |8883 |  11k|  10k|  10k|  1 |  11k|  36 | 1.900000e+01 |      --      |    Inf | unknown
995.33/997.99	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
995.33/997.99	c   998s| 12300 |  5061 |  8425k| 683.5 |   656M |  51 |8883 |  11k|   0 |  10k|  0 |  11k|  36 | 1.900000e+01 |      --      |    Inf | unknown
1004.52/1007.18	c  1007s| 12400 |  5126 |  8512k| 685.0 |   658M |  51 |8883 |  11k|  10k|  10k|  1 |  11k|  36 | 1.900000e+01 |      --      |    Inf | unknown
1014.09/1016.75	c  1017s| 12500 |  5165 |  8600k| 686.6 |   659M |  51 |8883 |  11k|  10k|  10k|  1 |  11k|  36 | 1.900000e+01 |      --      |    Inf | unknown
1029.75/1032.40	c  1032s| 12600 |  5221 |  8726k| 691.2 |   661M |  51 |8883 |  11k|  10k|  10k|  1 |  11k|  36 | 1.900000e+01 |      --      |    Inf | unknown
1043.51/1046.25	c  1046s| 12700 |  5313 |  8883k| 698.0 |   667M |  51 |8883 |  11k|  10k|  10k|  1 |  11k|  36 | 1.900000e+01 |      --      |    Inf | unknown
1059.08/1061.89	c  1062s| 12800 |  5409 |  9038k| 704.8 |   671M |  51 |8883 |  11k|  10k|  11k|  2 |  11k|  36 | 1.900000e+01 |      --      |    Inf | unknown
1072.44/1075.21	c  1075s| 12900 |  5501 |  9186k| 710.7 |   673M |  51 |8883 |  11k|  10k|  11k|  1 |  12k|  36 | 1.900000e+01 |      --      |    Inf | unknown
1085.50/1088.35	c  1088s| 13000 |  5576 |  9324k| 715.9 |   675M |  51 |8883 |  11k|  10k|  11k|  1 |  12k|  36 | 1.900000e+01 |      --      |    Inf | unknown
1091.48/1094.35	c  1094s| 13100 |  5596 |  9386k| 715.2 |   675M |  51 |8883 |  11k|  10k|  11k|  1 |  12k|  36 | 1.900000e+01 |      --      |    Inf | unknown
1101.65/1104.54	c  1105s| 13200 |  5646 |  9481k| 717.0 |   679M |  51 |8883 |  11k|   0 |  11k|  0 |  12k|  36 | 1.900000e+01 |      --      |    Inf | unknown
1112.02/1114.97	c  1115s| 13300 |  5697 |  9580k| 719.0 |   680M |  51 |8883 |  11k|  10k|  11k|  1 |  12k|  36 | 1.900000e+01 |      --      |    Inf | unknown
1121.88/1124.84	c  1125s| 13400 |  5751 |  9679k| 721.0 |   681M |  51 |8883 |  11k|  10k|  11k|  1 |  12k|  36 | 1.900000e+01 |      --      |    Inf | unknown
1127.08/1130.11	c  1130s| 13500 |  5773 |  9718k| 718.5 |   682M |  51 |8883 |  11k|   0 |  11k|  0 |  12k|  36 | 1.900000e+01 |      --      |    Inf | unknown
1139.54/1142.53	c  1143s| 13600 |  5860 |  9850k| 722.9 |   685M |  51 |8883 |  11k|  10k|  11k|  1 |  12k|  36 | 1.900000e+01 |      --      |    Inf | unknown
1151.89/1154.99	c  1155s| 13700 |  5940 |  9978k| 727.1 |   688M |  51 |8883 |  11k|  10k|  12k|  1 |  12k|  36 | 1.900000e+01 |      --      |    Inf | unknown
1165.25/1168.38	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1165.25/1168.38	c  1168s| 13800 |  6032 | 10130k| 732.8 |   689M |  51 |8883 |  11k|  10k|  12k|  1 |  13k|  36 | 1.900000e+01 |      --      |    Inf | unknown
1173.33/1176.41	c  1176s| 13900 |  6075 | 10205k| 732.9 |   691M |  51 |8883 |  11k|  10k|  12k|  1 |  13k|  36 | 1.900000e+01 |      --      |    Inf | unknown
1187.18/1190.34	c  1190s| 14000 |  6151 | 10339k| 737.3 |   692M |  51 |8883 |  11k|  10k|  12k|  1 |  13k|  36 | 1.900000e+01 |      --      |    Inf | unknown
1194.76/1197.99	c  1198s| 14100 |  6191 | 10414k| 737.4 |   695M |  51 |8883 |  11k|  10k|  12k|  1 |  13k|  36 | 1.900000e+01 |      --      |    Inf | unknown
1206.83/1210.04	c  1210s| 14200 |  6261 | 10540k| 741.0 |   697M |  51 |8883 |  11k|  10k|  12k|  1 |  13k|  36 | 1.900000e+01 |      --      |    Inf | unknown
1220.47/1223.74	c  1224s| 14300 |  6334 | 10663k| 744.5 |   701M |  51 |8883 |  11k|  10k|  12k|  1 |  13k|  36 | 1.900000e+01 |      --      |    Inf | unknown
1232.43/1235.74	c  1236s| 14400 |  6418 | 10792k| 748.3 |   702M |  51 |8883 |  11k|   0 |  12k|  0 |  13k|  36 | 1.900000e+01 |      --      |    Inf | unknown
1246.19/1249.59	c  1250s| 14500 |  6497 | 10946k| 753.7 |   704M |  51 |8883 |  11k|  10k|  12k|  1 |  13k|  36 | 1.900000e+01 |      --      |    Inf | unknown
1261.34/1264.76	c  1265s| 14600 |  6585 | 11108k| 759.6 |   705M |  51 |8883 |  11k|  10k|  12k|  1 |  13k|  36 | 1.900000e+01 |      --      |    Inf | unknown
1271.12/1274.50	c  1274s| 14700 |  6627 | 11210k| 761.4 |   707M |  51 |8883 |  11k|   0 |  13k|  0 |  13k|  36 | 1.900000e+01 |      --      |    Inf | unknown
1286.17/1289.66	c  1290s| 14800 |  6700 | 11342k| 765.2 |   709M |  51 |8883 |  11k|  10k|  13k|  1 |  13k|  36 | 1.900000e+01 |      --      |    Inf | unknown
1298.03/1301.51	c  1302s| 14900 |  6764 | 11454k| 767.5 |   714M |  51 |8883 |  11k|  10k|  13k|  1 |  14k|  36 | 1.900000e+01 |      --      |    Inf | unknown
1314.17/1317.74	c  1318s| 15000 |  6808 | 11548k| 768.7 |   719M |  51 |8883 |  11k|  10k|  13k|  1 |  14k|  36 | 1.900000e+01 |      --      |    Inf | unknown
1322.64/1326.22	c  1326s| 15100 |  6849 | 11630k| 769.0 |   721M |  51 |8883 |  11k|  10k|  13k|  1 |  14k|  36 | 1.900000e+01 |      --      |    Inf | unknown
1336.60/1340.23	c  1340s| 15200 |  6928 | 11765k| 772.9 |   722M |  51 |8883 |  11k|  10k|  13k|  1 |  14k|  36 | 1.900000e+01 |      --      |    Inf | unknown
1350.95/1354.64	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1350.95/1354.64	c  1355s| 15300 |  7026 | 11918k| 777.8 |   724M |  51 |8883 |  11k|  10k|  13k|  1 |  14k|  36 | 1.900000e+01 |      --      |    Inf | unknown
1364.42/1368.15	c  1368s| 15400 |  7111 | 12052k| 781.5 |   727M |  51 |8883 |  11k|  10k|  13k|  1 |  14k|  36 | 1.900000e+01 |      --      |    Inf | unknown
1376.98/1380.74	c  1381s| 15500 |  7203 | 12192k| 785.5 |   729M |  51 |8883 |  11k|  10k|  13k|  2 |  14k|  36 | 1.900000e+01 |      --      |    Inf | unknown
1389.74/1393.55	c  1394s| 15600 |  7294 | 12334k| 789.5 |   734M |  51 |8883 |  11k|  10k|  13k|  1 |  14k|  36 | 1.900000e+01 |      --      |    Inf | unknown
1402.89/1406.71	c  1407s| 15700 |  7384 | 12479k| 793.8 |   735M |  51 |8883 |  11k|  10k|  14k|  1 |  14k|  36 | 1.900000e+01 |      --      |    Inf | unknown
1413.96/1417.88	c  1418s| 15800 |  7449 | 12600k| 796.4 |   737M |  51 |8883 |  11k|  10k|  14k|  1 |  14k|  36 | 1.900000e+01 |      --      |    Inf | unknown
1438.88/1442.82	c  1443s| 15900 |  7523 | 12780k| 802.7 |   743M |  51 |8883 |  11k|  10k|  14k|  1 |  15k|  36 | 1.900000e+01 |      --      |    Inf | unknown
1454.63/1458.64	c  1459s| 16000 |  7617 | 12946k| 808.0 |   744M |  51 |8883 |  11k|  10k|  14k|  1 |  15k|  36 | 1.900000e+01 |      --      |    Inf | unknown
1463.70/1467.77	c  1468s| 16100 |  7659 | 13030k| 808.2 |   746M |  51 |8883 |  11k|   0 |  14k|  0 |  15k|  36 | 1.900000e+01 |      --      |    Inf | unknown
1476.07/1480.19	c  1480s| 16200 |  7737 | 13167k| 811.7 |   749M |  51 |8883 |  11k|  10k|  14k|  1 |  15k|  36 | 1.900000e+01 |      --      |    Inf | unknown
1485.42/1489.52	c  1490s| 16300 |  7791 | 13247k| 811.6 |   751M |  51 |8883 |  11k|  10k|  14k|  2 |  15k|  36 | 1.900000e+01 |      --      |    Inf | unknown
1489.51/1493.64	c  1494s| 16400 |  7816 | 13281k| 808.7 |   752M |  51 |8883 |  11k|  10k|  14k|  1 |  15k|  36 | 1.900000e+01 |      --      |    Inf | unknown
1499.48/1503.62	c  1504s| 16500 |  7880 | 13371k| 809.3 |   759M |  51 |8883 |  11k|  10k|  14k|  1 |  15k|  36 | 1.900000e+01 |      --      |    Inf | unknown
1511.74/1515.94	c  1516s| 16600 |  7970 | 13517k| 813.2 |   761M |  51 |8883 |  11k|  10k|  14k|  1 |  15k|  36 | 1.900000e+01 |      --      |    Inf | unknown
1520.92/1525.14	c  1525s| 16700 |  8033 | 13611k| 814.0 |   763M |  51 |8883 |  11k|  10k|  14k|  1 |  15k|  36 | 1.900000e+01 |      --      |    Inf | unknown
1535.16/1539.46	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1535.16/1539.46	c  1539s| 16800 |  8119 | 13785k| 819.5 |   765M |  51 |8883 |  11k|  10k|  15k|  1 |  16k|  36 | 1.900000e+01 |      --      |    Inf | unknown
1549.83/1554.17	c  1554s| 16900 |  8215 | 13959k| 825.0 |   768M |  51 |8883 |  11k|  10k|  15k|  2 |  16k|  36 | 1.900000e+01 |      --      |    Inf | unknown
1558.29/1562.68	c  1563s| 17000 |  8269 | 14046k| 825.2 |   770M |  51 |8883 |  11k|   0 |  15k|  0 |  16k|  36 | 1.900000e+01 |      --      |    Inf | unknown
1566.26/1570.61	c  1571s| 17100 |  8291 | 14113k| 824.3 |   772M |  51 |8883 |  11k|   0 |  15k|  0 |  16k|  36 | 1.900000e+01 |      --      |    Inf | unknown
1581.12/1585.54	c  1586s| 17200 |  8373 | 14255k| 827.7 |   773M |  51 |8883 |  11k|  10k|  15k|  1 |  16k|  36 | 1.900000e+01 |      --      |    Inf | unknown
1597.58/1602.06	c  1602s| 17300 |  8471 | 14430k| 833.1 |   776M |  51 |8883 |  11k|  10k|  15k|  1 |  16k|  36 | 1.900000e+01 |      --      |    Inf | unknown
1611.83/1616.37	c  1616s| 17400 |  8563 | 14592k| 837.6 |   779M |  51 |8883 |  11k|  10k|  15k|  1 |  16k|  36 | 1.900000e+01 |      --      |    Inf | unknown
1620.20/1624.75	c  1625s| 17500 |  8604 | 14663k| 836.9 |   781M |  51 |8883 |  11k|  10k|  15k|  1 |  16k|  36 | 2.000000e+01 |      --      |    Inf | unknown
1629.07/1633.67	c  1634s| 17600 |  8642 | 14753k| 837.2 |   782M |  51 |8883 |  11k|  10k|  15k|  1 |  16k|  36 | 2.000000e+01 |      --      |    Inf | unknown
1642.02/1646.67	c  1647s| 17700 |  8727 | 14877k| 839.5 |   784M |  51 |8883 |  11k|  10k|  16k|  1 |  16k|  36 | 2.000000e+01 |      --      |    Inf | unknown
1655.49/1660.17	c  1660s| 17800 |  8823 | 15030k| 843.4 |   786M |  51 |8883 |  11k|  10k|  16k|  1 |  17k|  36 | 2.000000e+01 |      --      |    Inf | unknown
1670.45/1675.16	c  1675s| 17900 |  8921 | 15173k| 846.7 |   788M |  51 |8883 |  11k|  10k|  16k|  1 |  17k|  36 | 2.000000e+01 |      --      |    Inf | unknown
1686.29/1691.06	c  1691s| 18000 |  9016 | 15335k| 851.0 |   793M |  51 |8883 |  11k|  10k|  16k|  1 |  17k|  36 | 2.000000e+01 |      --      |    Inf | unknown
1700.25/1705.03	c  1705s| 18100 |  9114 | 15487k| 854.7 |   794M |  51 |8883 |  11k|  10k|  16k|  1 |  17k|  36 | 2.000000e+01 |      --      |    Inf | unknown
1710.81/1715.61	c  1716s| 18200 |  9185 | 15597k| 856.0 |   797M |  51 |8883 |  11k|  10k|  16k|  1 |  17k|  36 | 2.000000e+01 |      --      |    Inf | unknown
1721.67/1726.51	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1721.67/1726.51	c  1727s| 18300 |  9243 | 15694k| 856.7 |   798M |  51 |8883 |  11k|  10k|  16k|  1 |  17k|  36 | 2.000000e+01 |      --      |    Inf | unknown
1733.84/1738.74	c  1739s| 18400 |  9297 | 15823k| 859.0 |   799M |  51 |8883 |  11k|  10k|  16k|  1 |  17k|  36 | 2.000000e+01 |      --      |    Inf | unknown
1745.91/1750.87	c  1751s| 18500 |  9361 | 15941k| 860.7 |   801M |  51 |8883 |  11k|  10k|  17k|  1 |  17k|  36 | 2.000000e+01 |      --      |    Inf | unknown
1753.39/1758.37	c  1758s| 18600 |  9410 | 16010k| 859.8 |   804M |  51 |8883 |  11k|   0 |  17k|  0 |  17k|  36 | 2.000000e+01 |      --      |    Inf | unknown
1759.47/1764.45	c  1764s| 18700 |  9428 | 16071k| 858.5 |   806M |  51 |8883 |  11k|  10k|  17k|  1 |  17k|  36 | 2.000000e+01 |      --      |    Inf | unknown
1769.24/1774.25	c  1774s| 18800 |  9460 | 16146k| 857.9 |   807M |  52 |8883 |  11k|  10k|  17k|  1 |  18k|  36 | 2.000000e+01 |      --      |    Inf | unknown
1774.63/1779.61	c  1780s| 18900 |  9472 | 16195k| 855.9 |   808M |  52 |8883 |  11k|  10k|  17k|  1 |  18k|  36 | 2.000000e+01 |      --      |    Inf | unknown
1781.31/1786.34	c  1786s| 19000 |  9505 | 16256k| 854.7 |   810M |  52 |8883 |  11k|  10k|  17k|  1 |  18k|  36 | 2.000000e+01 |      --      |    Inf | unknown
1789.39/1794.47	c  1794s| 19100 |  9564 | 16331k| 854.1 |   810M |  52 |8883 |  11k|  10k|  17k|  2 |  18k|  36 | 2.000000e+01 |      --      |    Inf | unknown
1793.99/1799.05	c  1799s| 19200 |  9581 | 16365k| 851.4 |   811M |  52 |8883 |  11k|   0 |  17k|  0 |  18k|  36 | 2.000000e+01 |      --      |    Inf | unknown
1799.08/1804.12	c  1804s| 19300 |  9608 | 16398k| 848.8 |   812M |  52 |8883 |  11k|   0 |  17k|  0 |  18k|  36 | 2.000000e+01 |      --      |    Inf | unknown
1805.96/1811.04	c  1811s| 19400 |  9633 | 16462k| 847.7 |   813M |  52 |8883 |  11k|   0 |  17k|  0 |  18k|  36 | 2.000000e+01 |      --      |    Inf | unknown
1811.05/1816.18	c  1816s| 19500 |  9660 | 16504k| 845.4 |   813M |  52 |8883 |  11k|  10k|  17k|  2 |  18k|  36 | 2.000000e+01 |      --      |    Inf | unknown
1816.22/1821.31	c  1821s| 19600 |  9674 | 16545k| 843.2 |   814M |  52 |8883 |  11k|   0 |  17k|  0 |  18k|  36 | 2.062500e+01 |      --      |    Inf | unknown
1821.31/1826.41	c  1826s| 19700 |  9688 | 16591k| 841.3 |   815M |  52 |8883 |  11k|   0 |  17k|  0 |  18k|  36 | 2.075000e+01 |      --      |    Inf | unknown
1825.20/1830.30	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1825.20/1830.30	c  1830s| 19800 |  9694 | 16614k| 838.2 |   815M |  52 |8883 |  11k|  10k|  18k|  1 |  18k|  36 | 2.075000e+01 |      --      |    Inf | unknown
1830.29/1835.46	c  1835s| 19900 |  9716 | 16651k| 835.8 |   816M |  52 |8883 |  11k|  10k|  18k|  2 |  18k|  36 | 2.100000e+01 |      --      |    Inf | unknown
1834.07/1839.29	c  1839s| 20000 |  9747 | 16674k| 832.8 |   816M |  52 |8883 |  11k|  10k|  18k|  1 |  18k|  36 | 2.100000e+01 |      --      |    Inf | unknown
1835.27/1840.48	c Restart triggered after 50 consecutive estimations that the remaining tree will be large
1835.37/1840.54	c (run 1, node 20044) performing user restart
1835.37/1840.54	c 
1835.37/1840.56	c (restart) converted 7 cuts from the global cut pool into linear constraints
1835.37/1840.56	c 
1835.48/1840.68	c presolving:
1835.58/1840.70	c (round 1, fast)       0 del vars, 188 del conss, 1 add conss, 0 chg bounds, 5 chg sides, 45 chg coeffs, 0 upgd conss, 0 impls, 1822 clqs
1835.58/1840.70	c (round 2, medium)     26 del vars, 188 del conss, 2 add conss, 0 chg bounds, 17 chg sides, 58 chg coeffs, 0 upgd conss, 0 impls, 1769 clqs
1835.58/1840.70	c (round 3, fast)       26 del vars, 244 del conss, 2 add conss, 0 chg bounds, 17 chg sides, 58 chg coeffs, 0 upgd conss, 0 impls, 1769 clqs
1835.58/1840.73	c (round 4, exhaustive) 26 del vars, 270 del conss, 2 add conss, 0 chg bounds, 17 chg sides, 58 chg coeffs, 0 upgd conss, 0 impls, 1769 clqs
1835.58/1840.74	c (round 5, exhaustive) 26 del vars, 270 del conss, 2 add conss, 0 chg bounds, 17 chg sides, 58 chg coeffs, 11 upgd conss, 0 impls, 1769 clqs
1835.58/1840.76	c (round 6, exhaustive) 26 del vars, 323 del conss, 2 add conss, 0 chg bounds, 17 chg sides, 539 chg coeffs, 11 upgd conss, 0 impls, 1769 clqs
1835.68/1840.86	c presolving (7 rounds: 7 fast, 5 medium, 4 exhaustive):
1835.68/1840.86	c  26 deleted vars, 328 deleted constraints, 2 added constraints, 0 tightened bounds, 0 added holes, 17 changed sides, 539 changed coefficients
1835.68/1840.86	c  0 implications, 1769 cliques
1835.68/1840.86	c presolved problem has 8857 variables (8857 bin, 0 int, 0 impl, 0 cont) and 11507 constraints
1835.68/1840.86	c     332 constraints of type <knapsack>
1835.68/1840.86	c    1551 constraints of type <setppc>
1835.68/1840.86	c    8547 constraints of type <linear>
1835.68/1840.86	c    1077 constraints of type <logicor>
1835.68/1840.86	c transformed objective value is always integral (scale: 1)
1835.68/1840.86	c Presolving Time: 1.64
1835.68/1840.86	c 
1836.38/1841.58	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1836.38/1841.58	c  1842s|     1 |     0 | 16689k|     - |   824M |   0 |8857 |  11k|  10k|   0 |  0 |  18k|  36 | 2.100000e+01 |      --      |    Inf | unknown
1836.58/1841.74	c  1842s|     1 |     0 | 16689k|     - |   828M |   0 |8857 |  11k|  10k|  16 |  1 |  18k|  36 | 2.100000e+01 |      --      |    Inf | unknown
1836.78/1841.93	c  1842s|     1 |     0 | 16689k|     - |   829M |   0 |8857 |  11k|  10k|  34 |  2 |  18k|  36 | 2.100000e+01 |      --      |    Inf | unknown
1836.99/1842.13	c  1842s|     1 |     0 | 16689k|     - |   831M |   0 |8857 |  11k|  10k|  50 |  3 |  18k|  36 | 2.100000e+01 |      --      |    Inf | unknown
1837.18/1842.32	c  1842s|     1 |     0 | 16689k|     - |   832M |   0 |8857 |  11k|  10k|  64 |  4 |  18k|  36 | 2.100000e+01 |      --      |    Inf | unknown
1837.38/1842.53	c  1843s|     1 |     0 | 16689k|     - |   833M |   0 |8857 |  11k|  10k|  79 |  5 |  18k|  36 | 2.100000e+01 |      --      |    Inf | unknown
1837.58/1842.73	c  1843s|     1 |     0 | 16689k|     - |   834M |   0 |8857 |  11k|  10k|  94 |  6 |  18k|  36 | 2.100000e+01 |      --      |    Inf | unknown
1837.78/1842.94	c  1843s|     1 |     0 | 16689k|     - |   836M |   0 |8857 |  11k|  10k| 109 |  7 |  18k|  36 | 2.100000e+01 |      --      |    Inf | unknown
1837.99/1843.16	c  1843s|     1 |     0 | 16689k|     - |   838M |   0 |8857 |  11k|  10k| 123 |  8 |  18k|  36 | 2.100000e+01 |      --      |    Inf | unknown
1838.17/1843.35	c  1843s|     1 |     0 | 16690k|     - |   839M |   0 |8857 |  11k|  10k| 136 |  9 |  18k|  36 | 2.100000e+01 |      --      |    Inf | unknown
1838.37/1843.58	c  1844s|     1 |     0 | 16690k|     - |   840M |   0 |8857 |  11k|  10k| 150 | 10 |  18k|  36 | 2.100000e+01 |      --      |    Inf | unknown
1838.57/1843.76	c  1844s|     1 |     0 | 16690k|     - |   841M |   0 |8857 |  11k|  10k| 164 | 11 |  18k|  36 | 2.100000e+01 |      --      |    Inf | unknown
1841.66/1846.87	c  1847s|     1 |     2 | 16705k|     - |   841M |   0 |8857 |  11k|  10k| 164 | 11 |  18k|  55 | 2.100000e+01 |      --      |    Inf | unknown
1861.61/1866.85	c  1867s|   100 |    99 | 16928k| 839.1 |   850M |  21 |8857 |  11k|  10k| 411 |  1 |  19k|  55 | 2.100000e+01 |      --      |    Inf | unknown
1885.25/1890.57	c  1891s|   200 |   199 | 17192k| 847.9 |   854M |  23 |8857 |  11k|  10k| 616 |  1 |  19k|  55 | 2.100000e+01 |      --      |    Inf | unknown
1912.28/1917.67	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1912.28/1917.67	c  1918s|   300 |   299 | 17514k| 859.6 |   856M |  27 |8857 |  11k|  10k| 890 |  1 |  19k|  55 | 2.100000e+01 |      --      |    Inf | unknown
1952.19/1957.67	c  1958s|   400 |   395 | 17902k| 874.4 |   857M |  27 |8857 |  11k|  10k|1112 |  1 |  19k|  55 | 2.100000e+01 |      --      |    Inf | unknown
1986.01/1991.55	c  1992s|   500 |   493 | 18265k| 887.8 |   859M |  28 |8857 |  11k|  10k|1333 |  1 |  19k|  55 | 2.100000e+01 |      --      |    Inf | unknown
2011.56/2017.19	c  2017s|   600 |   593 | 18580k| 898.8 |   861M |  28 |8857 |  11k|  10k|1492 |  1 |  19k|  55 | 2.100000e+01 |      --      |    Inf | unknown
2022.23/2027.87	c  2028s|   700 |   658 | 18699k| 900.1 |   869M |  34 |8857 |  11k|  10k|1587 |  1 |  19k|  55 | 2.100000e+01 |      --      |    Inf | unknown
2030.52/2036.15	c  2036s|   800 |   713 | 18787k| 900.1 |   871M |  34 |8857 |  11k|  10k|1666 |  1 |  19k|  55 | 2.100000e+01 |      --      |    Inf | unknown
2037.80/2043.40	c  2043s|   900 |   745 | 18865k| 899.5 |   872M |  35 |8857 |  11k|  10k|1735 |  1 |  19k|  55 | 2.100000e+01 |      --      |    Inf | unknown
2047.97/2053.63	c  2054s|  1000 |   788 | 18968k| 900.1 |   873M |  35 |8857 |  11k|   0 |1804 |  0 |  20k|  55 | 2.100000e+01 |      --      |    Inf | unknown
2053.76/2059.42	c  2059s|  1100 |   807 | 19022k| 898.4 |   873M |  36 |8857 |  11k|  10k|1893 |  1 |  20k|  55 | 2.100000e+01 |      --      |    Inf | unknown
2060.35/2066.08	c  2066s|  1200 |   821 | 19090k| 897.4 |   873M |  37 |8857 |  11k|  10k|2012 |  1 |  20k|  55 | 2.100000e+01 |      --      |    Inf | unknown
2064.34/2070.01	c  2070s|  1300 |   823 | 19130k| 895.1 |   874M |  37 |8857 |  11k|  10k|2031 |  1 |  20k|  55 | 2.100000e+01 |      --      |    Inf | unknown
2068.22/2073.95	c  2074s|  1400 |   819 | 19168k| 892.7 |   874M |  37 |8857 |  11k|   0 |2069 |  0 |  20k|  55 | 2.100000e+01 |      --      |    Inf | unknown
2073.61/2079.35	c  2079s|  1500 |   833 | 19220k| 890.9 |   874M |  37 |8857 |  11k|   0 |2116 |  0 |  20k|  55 | 2.100000e+01 |      --      |    Inf | unknown
2081.09/2086.86	c  2087s|  1600 |   865 | 19297k| 890.4 |   874M |  37 |8857 |  11k|   0 |2179 |  0 |  20k|  55 | 2.100000e+01 |      --      |    Inf | unknown
2088.57/2094.34	c  2094s|  1700 |   890 | 19365k| 889.4 |   875M |  37 |8857 |  11k|  10k|2265 |  2 |  21k|  55 | 2.100000e+01 |      --      |    Inf | unknown
2096.05/2101.82	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2096.05/2101.82	c  2102s|  1800 |   893 | 19443k| 888.9 |   875M |  38 |8857 |  11k|  10k|2311 |  1 |  21k|  55 | 2.100000e+01 |      --      |    Inf | unknown
2114.91/2120.76	c  2121s|  1900 |   909 | 19529k| 888.7 |   875M |  38 |8857 |  11k|  10k|2380 |  1 |  21k|  55 | 2.100000e+01 |      --      |    Inf | unknown
2124.88/2130.71	c  2131s|  2000 |   943 | 19637k| 889.6 |   877M |  38 |8857 |  11k|  10k|2446 |  1 |  21k|  55 | 2.100000e+01 |      --      |    Inf | unknown
2133.76/2139.67	c  2140s|  2100 |   981 | 19745k| 890.5 |   879M |  38 |8857 |  11k|  10k|2465 |  1 |  21k|  55 | 2.100000e+01 |      --      |    Inf | unknown
2142.74/2148.63	c  2149s|  2200 |  1018 | 19855k| 891.4 |   879M |  38 |8857 |  11k|  10k|2542 |  1 |  21k|  55 | 2.100000e+01 |      --      |    Inf | unknown
2152.82/2158.77	c  2159s|  2300 |  1041 | 19965k| 892.3 |   881M |  38 |8857 |  11k|   0 |2638 |  0 |  21k|  55 | 2.100000e+01 |      --      |    Inf | unknown
2161.21/2167.14	c  2167s|  2400 |  1051 | 20051k| 892.2 |   882M |  38 |8857 |  11k|  10k|2713 |  2 |  22k|  55 | 2.100000e+01 |      --      |    Inf | unknown
2170.78/2176.77	c  2177s|  2500 |  1083 | 20149k| 892.6 |   882M |  38 |8857 |  11k|  10k|2832 |  1 |  22k|  55 | 2.100000e+01 |      --      |    Inf | unknown
2182.25/2188.24	c  2188s|  2600 |  1134 | 20307k| 895.6 |   883M |  38 |8857 |  11k|   0 |2854 |  0 |  22k|  55 | 2.100000e+01 |      --      |    Inf | unknown
2188.33/2194.30	c  2194s|  2700 |  1143 | 20374k| 894.6 |   884M |  39 |8857 |  11k|  10k|2872 |  1 |  22k|  55 | 2.100000e+01 |      --      |    Inf | unknown
2193.92/2199.99	c  2200s|  2800 |  1149 | 20434k| 893.4 |   884M |  39 |8857 |  11k|  10k|2922 |  1 |  22k|  55 | 2.100000e+01 |      --      |    Inf | unknown
2198.12/2204.11	c  2204s|  2900 |  1164 | 20474k| 891.2 |   884M |  39 |8857 |  11k|   0 |2929 |  0 |  22k|  55 | 2.100000e+01 |      --      |    Inf | unknown
2203.01/2209.04	c  2209s|  3000 |  1169 | 20519k| 889.3 |   886M |  39 |8857 |  11k|  10k|3018 |  1 |  22k|  55 | 2.100000e+01 |      --      |    Inf | unknown
2213.57/2219.67	c  2220s|  3100 |  1207 | 20646k| 890.9 |   886M |  39 |8857 |  11k|  10k|3064 |  2 |  22k|  55 | 2.100000e+01 |      --      |    Inf | unknown
2224.75/2230.80	c  2231s|  3200 |  1255 | 20779k| 892.8 |   886M |  39 |8857 |  11k|  10k|3194 |  1 |  22k|  55 | 2.100000e+01 |      --      |    Inf | unknown
2237.61/2243.71	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2237.61/2243.71	c  2244s|  3300 |  1317 | 20948k| 896.2 |   888M |  39 |8857 |  11k|  10k|3257 |  1 |  22k|  55 | 2.100000e+01 |      --      |    Inf | unknown
2249.58/2255.71	c  2256s|  3400 |  1331 | 21094k| 898.7 |   888M |  39 |8857 |  11k|   0 |3408 |  0 |  22k|  55 | 2.100000e+01 |      --      |    Inf | unknown
2261.05/2267.27	c  2267s|  3500 |  1361 | 21209k| 899.7 |   889M |  39 |8857 |  11k|  10k|3485 |  1 |  23k|  55 | 2.100000e+01 |      --      |    Inf | unknown
2271.13/2277.38	c  2277s|  3600 |  1425 | 21328k| 900.9 |   890M |  39 |8857 |  11k|  10k|3516 |  1 |  23k|  55 | 2.100000e+01 |      --      |    Inf | unknown
2279.51/2285.71	c  2286s|  3700 |  1448 | 21430k| 901.4 |   892M |  40 |8857 |  11k|  10k|3563 |  2 |  23k|  55 | 2.100000e+01 |      --      |    Inf | unknown
2290.49/2296.79	c  2297s|  3800 |  1468 | 21557k| 903.0 |   895M |  44 |8857 |  11k|  10k|3613 |  1 |  23k|  55 | 2.200000e+01 |      --      |    Inf | unknown
2306.05/2312.33	c  2312s|  3900 |  1551 | 21764k| 907.9 |   896M |  44 |8857 |  11k|  10k|3716 |  1 |  23k|  55 | 2.200000e+01 |      --      |    Inf | unknown
2320.31/2326.67	c  2327s|  4000 |  1598 | 21951k| 911.9 |   897M |  44 |8857 |  12k|   0 |3799 |  0 |  23k|  55 | 2.200000e+01 |      --      |    Inf | unknown
2332.38/2338.70	c  2339s|  4100 |  1647 | 22109k| 914.6 |   897M |  44 |8857 |  12k|  10k|3873 |  1 |  23k|  55 | 2.200000e+01 |      --      |    Inf | unknown
2339.07/2345.44	c  2345s|  4200 |  1679 | 22183k| 913.9 |   898M |  44 |8857 |  12k|  10k|3936 |  1 |  23k|  55 | 2.200000e+01 |      --      |    Inf | unknown
2345.25/2351.60	c  2352s|  4300 |  1693 | 22245k| 912.7 |   898M |  44 |8857 |  12k|   0 |4043 |  0 |  24k|  55 | 2.200000e+01 |      --      |    Inf | unknown
2351.54/2357.93	c  2358s|  4400 |  1704 | 22301k| 911.3 |   900M |  44 |8857 |  11k|  10k|4126 |  1 |  24k|  55 | 2.200000e+01 |      --      |    Inf | unknown
2358.63/2365.10	c  2365s|  4500 |  1739 | 22380k| 910.8 |   901M |  44 |8857 |  11k|   0 |4176 |  0 |  24k|  55 | 2.200000e+01 |      --      |    Inf | unknown
2372.69/2379.12	c  2379s|  4600 |  1758 | 22469k| 910.7 |   901M |  44 |8857 |  11k|  10k|4233 |  2 |  24k|  55 | 2.200000e+01 |      --      |    Inf | unknown
2378.37/2384.80	c  2385s|  4700 |  1764 | 22526k| 909.3 |   902M |  44 |8857 |  11k|   0 |4298 |  0 |  24k|  55 | 2.200000e+01 |      --      |    Inf | unknown
2386.56/2393.06	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2386.56/2393.06	c  2393s|  4800 |  1781 | 22598k| 908.5 |   902M |  44 |8857 |  11k|  10k|4385 |  1 |  24k|  55 | 2.200000e+01 |      --      |    Inf | unknown
2393.23/2399.71	c  2400s|  4900 |  1804 | 22673k| 907.9 |   902M |  44 |8857 |  11k|   0 |4398 |  0 |  24k|  55 | 2.200000e+01 |      --      |    Inf | unknown
2397.54/2404.09	c  2404s|  5000 |  1794 | 22709k| 905.7 |   902M |  44 |8857 |  11k|   0 |4439 |  0 |  24k|  55 | 2.200000e+01 |      --      |    Inf | unknown
2402.42/2409.01	c  2409s|  5100 |  1811 | 22752k| 903.8 |   902M |  44 |8857 |  11k|   0 |4538 |  0 |  24k|  55 | 2.240775e+01 |      --      |    Inf | unknown
2409.90/2416.43	c  2416s|  5200 |  1819 | 22803k| 902.3 |   903M |  44 |8857 |  11k|  10k|4565 |  1 |  24k|  55 | 2.240775e+01 |      --      |    Inf | unknown
2416.49/2423.07	c  2423s|  5300 |  1828 | 22877k| 901.6 |   903M |  44 |8857 |  11k|   0 |4656 |  0 |  24k|  55 | 2.240775e+01 |      --      |    Inf | unknown
2423.86/2430.48	c  2430s|  5400 |  1854 | 22965k| 901.5 |   903M |  44 |8857 |  11k|  10k|4720 |  1 |  24k|  55 | 2.300000e+01 |      --      |    Inf | unknown
2430.25/2436.81	c  2437s|  5500 |  1892 | 23033k| 900.7 |   904M |  44 |8857 |  11k|  10k|4758 |  1 |  24k|  55 | 2.300000e+01 |      --      |    Inf | unknown
2436.63/2443.25	c  2443s|  5600 |  1929 | 23101k| 899.8 |   904M |  44 |8857 |  11k|  10k|4869 |  2 |  25k|  55 | 2.300000e+01 |      --      |    Inf | unknown
2440.62/2447.27	c  2447s|  5700 |  1955 | 23131k| 897.5 |   905M |  44 |8857 |  12k|   0 |4963 |  0 |  25k|  55 | 2.300000e+01 |      --      |    Inf | unknown
2444.42/2451.08	c  2451s|  5800 |  1961 | 23162k| 895.2 |   905M |  44 |8857 |  12k|   0 |5045 |  0 |  25k|  55 | 2.300000e+01 |      --      |    Inf | unknown
2449.41/2456.08	c  2456s|  5900 |  1986 | 23213k| 893.7 |   906M |  44 |8857 |  12k|  10k|5128 |  1 |  25k|  55 | 2.300000e+01 |      --      |    Inf | unknown
2454.40/2461.08	c  2461s|  6000 |  2001 | 23258k| 892.0 |   906M |  44 |8857 |  12k|   0 |5216 |  0 |  25k|  55 | 2.300000e+01 |      --      |    Inf | unknown
2458.97/2465.64	c  2466s|  6100 |  2015 | 23300k| 890.2 |   907M |  44 |8857 |  12k|  10k|5252 |  1 |  25k|  55 | 2.300000e+01 |      --      |    Inf | unknown
2464.66/2471.33	c  2471s|  6200 |  2032 | 23365k| 889.3 |   907M |  44 |8857 |  11k|   0 |5293 |  0 |  25k|  55 | 2.300000e+01 |      --      |    Inf | unknown
2470.14/2476.87	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2470.14/2476.87	c  2477s|  6300 |  2053 | 23420k| 888.0 |   907M |  44 |8857 |  11k|  10k|5343 |  1 |  25k|  55 | 2.300000e+01 |      --      |    Inf | unknown
2478.12/2484.83	c  2485s|  6400 |  2092 | 23520k| 888.4 |   907M |  44 |8857 |  12k|  10k|5418 |  2 |  25k|  55 | 2.300000e+01 |      --      |    Inf | unknown
2485.42/2492.19	c  2492s|  6500 |  2100 | 23601k| 888.1 |   907M |  44 |8857 |  11k|   0 |5521 |  0 |  25k|  55 | 2.300000e+01 |      --      |    Inf | unknown
2491.09/2497.80	c  2498s|  6600 |  2095 | 23657k| 886.9 |   908M |  44 |8857 |  11k|  10k|5606 |  2 |  25k|  55 | 2.300000e+01 |      --      |    Inf | unknown
2497.08/2503.86	c  2504s|  6700 |  2108 | 23717k| 885.8 |   908M |  44 |8857 |  11k|  10k|5697 |  2 |  26k|  55 | 2.300000e+01 |      --      |    Inf | unknown
2501.67/2508.48	c  2508s|  6800 |  2143 | 23758k| 884.1 |   910M |  44 |8857 |  11k|   0 |5739 |  0 |  26k|  55 | 2.400000e+01 |      --      |    Inf | unknown
2506.55/2513.31	c  2513s|  6900 |  2169 | 23792k| 882.1 |   911M |  44 |8857 |  11k|  10k|5826 |  1 |  26k|  55 | 2.400000e+01 |      --      |    Inf | unknown
2511.25/2518.08	c  2518s|  7000 |  2202 | 23826k| 880.0 |   913M |  44 |8857 |  12k|  10k|5938 |  1 |  26k|  55 | 2.400000e+01 |      --      |    Inf | unknown
2516.34/2523.18	c  2523s|  7100 |  2235 | 23861k| 878.1 |   913M |  44 |8857 |  12k|  10k|6112 |  1 |  26k|  55 | 2.400000e+01 |      --      |    Inf | unknown
2526.50/2533.38	c  2533s|  7200 |  2288 | 23967k| 878.8 |   913M |  44 |8857 |  12k|  10k|6184 |  1 |  26k|  55 | 2.400000e+01 |      --      |    Inf | unknown
2531.79/2538.67	c  2539s|  7300 |  2309 | 24006k| 877.0 |   914M |  44 |8857 |  12k|  10k|6301 |  0 |  26k|  55 | 2.400000e+01 |      --      |    Inf | unknown
2537.57/2544.48	c  2544s|  7400 |  2327 | 24049k| 875.3 |   915M |  44 |8857 |  12k|  10k|6441 |  1 |  26k|  55 | 2.400000e+01 |      --      |    Inf | unknown
2543.76/2550.67	c  2551s|  7500 |  2339 | 24120k| 874.7 |   915M |  47 |8857 |  12k|  10k|6525 |  2 |  26k|  55 | 2.400000e+01 |      --      |    Inf | unknown
2550.16/2557.03	c  2557s|  7600 |  2349 | 24179k| 873.7 |   918M |  47 |8857 |  12k|   0 |6640 |  0 |  26k|  55 | 2.400000e+01 |      --      |    Inf | unknown
2557.24/2564.14	c  2564s|  7700 |  2358 | 24239k| 872.7 |   921M |  47 |8857 |  12k|  10k|6746 |  1 |  26k|  55 | 2.400000e+01 |      --      |    Inf | unknown
2563.81/2570.78	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2563.81/2570.78	c  2571s|  7800 |  2382 | 24301k| 871.8 |   921M |  47 |8857 |  11k|  10k|6846 |  1 |  26k|  55 | 2.400000e+01 |      --      |    Inf | unknown
2568.80/2575.79	c  2576s|  7900 |  2375 | 24344k| 870.2 |   925M |  48 |8857 |  11k|  10k|6947 |  1 |  26k|  55 | 2.400000e+01 |      --      |    Inf | unknown
2574.28/2581.28	c  2581s|  8000 |  2379 | 24391k| 868.8 |   925M |  48 |8857 |  11k|  10k|6983 |  2 |  27k|  55 | 2.400000e+01 |      --      |    Inf | unknown
2577.97/2584.96	c  2585s|  8100 |  2389 | 24416k| 866.6 |   925M |  48 |8857 |  11k|  10k|7070 |  1 |  27k|  55 | 2.400000e+01 |      --      |    Inf | unknown
2582.46/2589.43	c  2589s|  8200 |  2391 | 24453k| 864.9 |   925M |  48 |8857 |  11k|  10k|7118 |  2 |  27k|  55 | 2.400000e+01 |      --      |    Inf | unknown
2589.84/2596.87	c  2597s|  8300 |  2441 | 24533k| 864.6 |   926M |  48 |8857 |  11k|  10k|7251 |  1 |  27k|  55 | 2.400000e+01 |      --      |    Inf | unknown
2594.04/2601.07	c  2601s|  8400 |  2455 | 24562k| 862.6 |   926M |  48 |8857 |  11k|  10k|7356 |  1 |  27k|  55 | 2.400000e+01 |      --      |    Inf | unknown
2600.42/2607.43	c  2607s|  8500 |  2466 | 24620k| 861.6 |   927M |  48 |8857 |  11k|  10k|7492 |  1 |  27k|  55 | 2.400000e+01 |      --      |    Inf | unknown
2607.70/2614.79	c  2615s|  8600 |  2480 | 24661k| 860.0 |   927M |  48 |8857 |  11k|  10k|7538 |  1 |  27k|  55 | 2.400000e+01 |      --      |    Inf | unknown
2612.19/2619.22	c  2619s|  8700 |  2501 | 24697k| 858.3 |   927M |  48 |8857 |  12k|  10k|7618 |  2 |  27k|  55 | 2.400000e+01 |      --      |    Inf | unknown
2616.18/2623.25	c  2623s|  8800 |  2538 | 24728k| 856.4 |   927M |  48 |8857 |  12k|   0 |7715 |  0 |  27k|  55 | 2.400000e+01 |      --      |    Inf | unknown
2621.56/2628.63	c  2629s|  8900 |  2557 | 24766k| 854.8 |   927M |  48 |8857 |  12k|   0 |7782 |  0 |  28k|  55 | 2.400000e+01 |      --      |    Inf | unknown
2627.07/2634.14	c  2634s|  9000 |  2565 | 24818k| 853.6 |   927M |  48 |8857 |  12k|   0 |7866 |  0 |  28k|  55 | 2.400000e+01 |      --      |    Inf | unknown
2630.35/2637.48	c  2637s|  9100 |  2565 | 24843k| 851.5 |   927M |  48 |8857 |  12k|  10k|7943 |  1 |  28k|  55 | 2.400000e+01 |      --      |    Inf | unknown
2634.44/2641.52	c  2642s|  9200 |  2566 | 24874k| 849.7 |   927M |  48 |8857 |  12k|   0 |8020 |  0 |  28k|  55 | 2.400000e+01 |      --      |    Inf | unknown
2640.53/2647.67	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2640.53/2647.67	c  2648s|  9300 |  2585 | 24924k| 848.5 |   928M |  48 |8857 |  11k|  10k|8133 |  1 |  28k|  55 | 2.400000e+01 |      --      |    Inf | unknown
2646.02/2653.17	c  2653s|  9400 |  2588 | 24977k| 847.4 |   928M |  48 |8857 |  11k|  10k|8189 |  1 |  28k|  55 | 2.400000e+01 |      --      |    Inf | unknown
2650.02/2657.11	c  2657s|  9500 |  2592 | 25000k| 845.3 |   928M |  48 |8857 |  11k|   0 |8330 |  0 |  28k|  55 | 2.400000e+01 |      --      |    Inf | unknown
2657.38/2664.56	c  2665s|  9600 |  2605 | 25041k| 843.8 |   928M |  48 |8857 |  11k|   0 |8422 |  0 |  28k|  55 | 2.400000e+01 |      --      |    Inf | unknown
2660.89/2668.06	c  2668s|  9700 |  2603 | 25061k| 841.7 |   928M |  48 |8857 |  11k|  10k|8534 |  2 |  28k|  55 | 2.400000e+01 |      --      |    Inf | unknown
2663.77/2670.95	c  2671s|  9800 |  2611 | 25078k| 839.4 |   928M |  48 |8857 |  11k|   0 |8616 |  0 |  28k|  55 | 2.400000e+01 |      --      |    Inf | unknown
2666.66/2673.86	c  2674s|  9900 |  2600 | 25098k| 837.3 |   928M |  48 |8857 |  11k|  10k|8668 |  1 |  29k|  55 | 2.400000e+01 |      --      |    Inf | unknown
2670.75/2677.90	c  2678s| 10000 |  2613 | 25124k| 835.4 |   928M |  48 |8857 |  11k|  10k|8803 |  1 |  29k|  55 | 2.400000e+01 |      --      |    Inf | unknown
2674.24/2681.49	c  2681s| 10100 |  2627 | 25148k| 833.4 |   928M |  48 |8857 |  11k|   0 |8897 |  0 |  29k|  55 | 2.400000e+01 |      --      |    Inf | unknown
2678.73/2685.96	c  2686s| 10200 |  2637 | 25183k| 831.8 |   929M |  48 |8857 |  11k|  10k|8962 |  1 |  29k|  55 | 2.400000e+01 |      --      |    Inf | unknown
2684.22/2691.42	c  2691s| 10300 |  2656 | 25237k| 830.8 |   929M |  48 |8857 |  11k|   0 |9047 |  0 |  29k|  55 | 2.400000e+01 |      --      |    Inf | unknown
2689.31/2696.55	c  2697s| 10400 |  2654 | 25274k| 829.3 |   929M |  48 |8857 |  12k|  10k|9092 |  1 |  29k|  55 | 2.400000e+01 |      --      |    Inf | unknown
2692.81/2700.07	c  2700s| 10500 |  2652 | 25297k| 827.4 |   929M |  48 |8857 |  12k|  10k|9130 |  1 |  29k|  55 | 2.400000e+01 |      --      |    Inf | unknown
2698.08/2705.36	c  2705s| 10600 |  2664 | 25350k| 826.4 |   930M |  48 |8857 |  12k|  10k|9172 |  1 |  29k|  55 | 2.400310e+01 |      --      |    Inf | unknown
2707.77/2715.09	c  2715s| 10700 |  2735 | 25466k| 827.5 |   930M |  48 |8857 |  12k|  10k|9258 |  1 |  29k|  55 | 2.402208e+01 |      --      |    Inf | unknown
2714.45/2721.70	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2714.45/2721.70	c  2722s| 10800 |  2773 | 25525k| 826.7 |   930M |  48 |8857 |  12k|   0 |9399 |  0 |  29k|  55 | 2.450000e+01 |      --      |    Inf | unknown
2721.84/2729.13	c  2729s| 10900 |  2831 | 25593k| 826.2 |   932M |  48 |8857 |  12k|  10k|9527 |  1 |  30k|  55 | 2.498296e+01 |      --      |    Inf | unknown
2733.00/2740.36	c  2740s| 11000 |  2880 | 25675k| 826.2 |   932M |  48 |8857 |  12k|  10k|9608 |  1 |  30k|  55 | 2.500000e+01 |      --      |    Inf | unknown
2739.08/2746.42	c  2746s| 11100 |  2879 | 25737k| 825.5 |   932M |  48 |8857 |  12k|  10k|9649 |  1 |  30k|  55 | 2.500000e+01 |      --      |    Inf | unknown
2744.07/2751.49	c  2751s| 11200 |  2905 | 25779k| 824.3 |   932M |  48 |8857 |  12k|   0 |9697 |  0 |  30k|  55 | 2.500000e+01 |      --      |    Inf | unknown
2754.15/2761.51	c  2761s| 11300 |  2924 | 25894k| 825.3 |   933M |  48 |8857 |  12k|   0 |9828 |  0 |  30k|  55 | 2.500000e+01 |      --      |    Inf | unknown
2760.03/2767.49	c  2767s| 11400 |  2931 | 25948k| 824.4 |   934M |  48 |8857 |  12k|  10k|9907 |  1 |  30k|  55 | 2.500000e+01 |      --      |    Inf | unknown
2766.92/2774.38	c  2774s| 11500 |  2956 | 26018k| 824.0 |   935M |  48 |8857 |  12k|  10k|9985 |  1 |  30k|  55 | 2.500000e+01 |      --      |    Inf | unknown
2771.40/2778.88	c  2779s| 11600 |  2963 | 26057k| 822.6 |   936M |  48 |8857 |  12k|   0 |  10k|  0 |  30k|  55 | 2.500000e+01 |      --      |    Inf | unknown
2775.71/2783.18	c  2783s| 11700 |  2988 | 26092k| 821.1 |   936M |  48 |8857 |  12k|  10k|  10k|  1 |  31k|  55 | 2.500000e+01 |      --      |    Inf | unknown
2779.98/2787.49	c  2787s| 11800 |  3009 | 26118k| 819.4 |   936M |  48 |8857 |  12k|   0 |  10k|  0 |  31k|  55 | 2.500000e+01 |      --      |    Inf | unknown
2783.87/2791.34	c  2791s| 11900 |  3012 | 26145k| 817.6 |   936M |  48 |8857 |  12k|  10k|  10k|  1 |  31k|  55 | 2.500000e+01 |      --      |    Inf | unknown
2787.68/2795.16	c  2795s| 12000 |  3032 | 26170k| 815.9 |   936M |  48 |8857 |  12k|   0 |  10k|  0 |  31k|  55 | 2.500000e+01 |      --      |    Inf | unknown
2793.85/2801.36	c  2801s| 12100 |  3051 | 26225k| 815.0 |   937M |  48 |8857 |  12k|   0 |  10k|  0 |  31k|  55 | 2.500000e+01 |      --      |    Inf | unknown
2796.65/2804.18	c  2804s| 12200 |  3048 | 26246k| 813.2 |   937M |  48 |8857 |  12k|   0 |  10k|  0 |  31k|  55 | 2.500000e+01 |      --      |    Inf | unknown
2800.43/2807.93	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2800.43/2807.93	c  2808s| 12300 |  3055 | 26266k| 811.3 |   943M |  48 |8857 |  12k|  10k|  10k|  1 |  31k|  55 | 2.500000e+01 |      --      |    Inf | unknown
2805.02/2812.51	c  2813s| 12400 |  3076 | 26301k| 809.9 |   943M |  48 |8857 |  12k|   0 |  10k|  0 |  31k|  55 | 2.500000e+01 |      --      |    Inf | unknown
2809.21/2816.72	c  2817s| 12500 |  3091 | 26331k| 808.3 |   943M |  48 |8857 |  12k|  10k|  10k|  1 |  31k|  55 | 2.500000e+01 |      --      |    Inf | unknown
2814.20/2821.72	c  2822s| 12600 |  3102 | 26365k| 806.9 |   944M |  48 |8857 |  12k|  10k|  10k|  0 |  31k|  55 | 2.500000e+01 |      --      |    Inf | unknown
2819.39/2826.92	c  2827s| 12700 |  3120 | 26415k| 805.9 |   945M |  48 |8857 |  11k|  10k|  11k|  1 |  31k|  55 | 2.500000e+01 |      --      |    Inf | unknown
2826.58/2834.14	c  2834s| 12800 |  3147 | 26472k| 805.2 |   945M |  48 |8857 |  11k|  10k|  11k|  1 |  31k|  55 | 2.500000e+01 |      --      |    Inf | unknown
2831.85/2839.47	c  2839s| 12900 |  3163 | 26521k| 804.2 |   947M |  48 |8857 |  12k|  10k|  11k|  2 |  32k|  55 | 2.500310e+01 |      --      |    Inf | unknown
2835.45/2843.02	c  2843s| 13000 |  3183 | 26541k| 802.4 |   948M |  48 |8857 |  12k|  10k|  11k|  1 |  32k|  55 | 2.500310e+01 |      --      |    Inf | unknown
2842.73/2850.37	c  2850s| 13100 |  3191 | 26626k| 802.6 |   948M |  48 |8857 |  12k|  10k|  11k|  1 |  32k|  55 | 2.600000e+01 |      --      |    Inf | unknown
2847.02/2854.60	c  2855s| 13200 |  3214 | 26662k| 801.2 |   949M |  48 |8857 |  12k|   0 |  11k|  0 |  32k|  55 | 2.600000e+01 |      --      |    Inf | unknown
2855.30/2862.92	c  2863s| 13300 |  3255 | 26763k| 801.9 |   949M |  48 |8857 |  12k|  10k|  11k|  1 |  32k|  55 | 2.600000e+01 |      --      |    Inf | unknown
2860.40/2868.08	c  2868s| 13400 |  3265 | 26818k| 801.1 |   949M |  48 |8857 |  12k|  10k|  11k|  1 |  32k|  55 | 2.600000e+01 |      --      |    Inf | unknown
2866.28/2873.96	c  2874s| 13500 |  3268 | 26883k| 800.6 |   949M |  48 |8857 |  12k|   0 |  11k|  0 |  32k|  55 | 2.600000e+01 |      --      |    Inf | unknown
2870.57/2878.29	c  2878s| 13600 |  3270 | 26919k| 799.3 |   949M |  48 |8857 |  12k|   0 |  11k|  0 |  32k|  55 | 2.600000e+01 |      --      |    Inf | unknown
2874.96/2882.66	c  2883s| 13700 |  3262 | 26957k| 798.1 |   950M |  48 |8857 |  11k|  10k|  11k|  1 |  32k|  55 | 2.600000e+01 |      --      |    Inf | unknown
2879.84/2887.59	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2879.84/2887.59	c  2888s| 13800 |  3265 | 26999k| 797.0 |   950M |  48 |8857 |  11k|  10k|  11k|  2 |  32k|  55 | 2.600000e+01 |      --      |    Inf | unknown
2885.93/2893.70	c  2894s| 13900 |  3300 | 27058k| 796.4 |   950M |  48 |8857 |  12k|   0 |  11k|  0 |  32k|  55 | 2.600000e+01 |      --      |    Inf | unknown
2892.11/2899.85	c  2900s| 14000 |  3318 | 27120k| 795.8 |   950M |  48 |8857 |  11k|  10k|  12k|  1 |  32k|  55 | 2.600000e+01 |      --      |    Inf | unknown
2898.90/2906.65	c  2907s| 14100 |  3332 | 27173k| 795.1 |   950M |  48 |8857 |  11k|   0 |  12k|  0 |  32k|  55 | 2.600000e+01 |      --      |    Inf | unknown
2905.88/2913.67	c  2914s| 14200 |  3365 | 27244k| 794.8 |   951M |  48 |8857 |  11k|  10k|  12k|  1 |  33k|  55 | 2.600000e+01 |      --      |    Inf | unknown
2921.64/2929.42	c  2929s| 14300 |  3381 | 27336k| 795.2 |   951M |  48 |8857 |  11k|   0 |  12k|  0 |  33k|  55 | 2.600000e+01 |      --      |    Inf | unknown
2926.34/2934.11	c  2934s| 14400 |  3404 | 27378k| 794.1 |   951M |  48 |8857 |  11k|  10k|  12k|  1 |  33k|  55 | 2.600000e+01 |      --      |    Inf | unknown
2932.23/2940.07	c  2940s| 14500 |  3425 | 27429k| 793.3 |   951M |  48 |8857 |  12k|  10k|  12k|  1 |  33k|  55 | 2.600000e+01 |      --      |    Inf | unknown
2936.01/2943.85	c  2944s| 14600 |  3438 | 27466k| 792.0 |   952M |  48 |8857 |  12k|   0 |  12k|  0 |  33k|  55 | 2.600000e+01 |      --      |    Inf | unknown
2940.69/2948.54	c  2949s| 14700 |  3456 | 27512k| 791.1 |   952M |  48 |8857 |  12k|   0 |  12k|  0 |  33k|  55 | 2.600000e+01 |      --      |    Inf | unknown
2947.48/2955.31	c  2955s| 14800 |  3479 | 27583k| 790.9 |   953M |  48 |8857 |  12k|  10k|  12k|  2 |  33k|  55 | 2.600000e+01 |      --      |    Inf | unknown
2953.46/2961.36	c  2961s| 14900 |  3534 | 27637k| 790.1 |   956M |  48 |8857 |  12k|  10k|  12k|  1 |  34k|  55 | 2.600000e+01 |      --      |    Inf | unknown
2958.05/2965.92	c  2966s| 15000 |  3557 | 27677k| 789.0 |   956M |  48 |8857 |  12k|   0 |  12k|  0 |  34k|  55 | 2.600000e+01 |      --      |    Inf | unknown
2964.93/2972.81	c  2973s| 15100 |  3570 | 27738k| 788.5 |   956M |  48 |8857 |  12k|  10k|  12k|  1 |  34k|  55 | 2.600000e+01 |      --      |    Inf | unknown
2972.51/2980.47	c  2980s| 15200 |  3569 | 27817k| 788.5 |   957M |  48 |8857 |  12k|   0 |  12k|  0 |  34k|  55 | 2.600000e+01 |      --      |    Inf | unknown
2976.50/2984.42	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2976.50/2984.42	c  2984s| 15300 |  3566 | 27844k| 787.1 |   957M |  48 |8857 |  12k|  10k|  12k|  1 |  34k|  55 | 2.600000e+01 |      --      |    Inf | unknown
2980.89/2988.82	c  2989s| 15400 |  3574 | 27884k| 786.0 |   957M |  48 |8857 |  12k|  10k|  12k|  1 |  34k|  55 | 2.600000e+01 |      --      |    Inf | unknown
2984.88/2992.86	c  2993s| 15500 |  3577 | 27911k| 784.5 |   958M |  48 |8857 |  12k|  10k|  12k|  1 |  34k|  55 | 2.600000e+01 |      --      |    Inf | unknown
2990.08/2998.03	c  2998s| 15600 |  3595 | 27963k| 783.8 |   958M |  48 |8857 |  12k|   0 |  12k|  0 |  34k|  55 | 2.600000e+01 |      --      |    Inf | unknown
2996.17/3004.11	c  3004s| 15700 |  3614 | 28020k| 783.2 |   958M |  48 |8857 |  11k|   0 |  13k|  0 |  34k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3000.84/3008.86	c  3009s| 15800 |  3635 | 28058k| 782.0 |   958M |  48 |8857 |  11k|  10k|  13k|  1 |  34k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3007.83/3015.80	c  3016s| 15900 |  3634 | 28106k| 781.2 |   960M |  48 |8857 |  11k|  10k|  13k|  1 |  35k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3012.71/3020.79	c  3021s| 16000 |  3633 | 28148k| 780.2 |   961M |  48 |8857 |  11k|  10k|  13k|  1 |  35k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3018.70/3026.73	c  3027s| 16100 |  3653 | 28199k| 779.5 |   961M |  48 |8857 |  11k|   0 |  13k|  0 |  35k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3024.00/3032.09	c  3032s| 16200 |  3692 | 28245k| 778.6 |   961M |  48 |8857 |  11k|  10k|  13k|  1 |  35k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3029.67/3037.75	c  3038s| 16300 |  3707 | 28300k| 778.0 |   961M |  48 |8857 |  11k|   0 |  13k|  0 |  35k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3035.07/3043.19	c  3043s| 16400 |  3738 | 28348k| 777.1 |   962M |  48 |8857 |  11k|  10k|  13k|  1 |  35k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3039.06/3047.15	c  3047s| 16500 |  3723 | 28377k| 775.8 |   963M |  48 |8857 |  11k|  10k|  13k|  1 |  35k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3042.64/3050.72	c  3051s| 16600 |  3695 | 28402k| 774.4 |   963M |  48 |8857 |  11k|  10k|  13k|  2 |  35k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3049.62/3057.79	c  3058s| 16700 |  3709 | 28479k| 774.3 |   965M |  48 |8857 |  11k|  10k|  13k|  1 |  35k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3056.10/3064.21	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3056.10/3064.21	c  3064s| 16800 |  3745 | 28543k| 774.0 |   965M |  48 |8857 |  11k|   0 |  14k|  0 |  35k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3062.09/3070.28	c  3070s| 16900 |  3777 | 28597k| 773.4 |   965M |  48 |8857 |  11k|  10k|  14k|  1 |  35k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3068.18/3076.37	c  3076s| 17000 |  3787 | 28655k| 772.8 |   966M |  48 |8857 |  11k|   0 |  14k|  0 |  35k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3073.36/3081.57	c  3082s| 17100 |  3800 | 28695k| 771.8 |   966M |  51 |8857 |  11k|  10k|  14k|  1 |  36k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3079.96/3088.13	c  3088s| 17200 |  3837 | 28765k| 771.6 |   967M |  51 |8857 |  11k|  10k|  14k|  2 |  36k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3087.73/3095.92	c  3096s| 17300 |  3869 | 28836k| 771.5 |   967M |  53 |8857 |  11k|  10k|  14k|  1 |  36k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3098.10/3106.38	c  3106s| 17400 |  3928 | 28940k| 772.2 |   968M |  53 |8857 |  12k|   0 |  14k|  0 |  36k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3105.38/3113.66	c  3114s| 17500 |  3974 | 29010k| 772.0 |   968M |  53 |8857 |  12k|   0 |  14k|  0 |  36k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3110.57/3118.82	c  3119s| 17600 |  4006 | 29054k| 771.1 |   969M |  53 |8857 |  12k|   0 |  14k|  0 |  36k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3114.97/3123.28	c  3123s| 17700 |  4007 | 29082k| 769.8 |   971M |  53 |8857 |  12k|  10k|  14k|  1 |  36k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3121.25/3129.59	c  3130s| 17800 |  4028 | 29144k| 769.4 |   973M |  53 |8857 |  11k|  10k|  14k|  1 |  36k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3125.54/3133.88	c  3134s| 17900 |  4033 | 29176k| 768.2 |   973M |  53 |8857 |  11k|  10k|  15k|  1 |  36k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3131.12/3139.45	c  3139s| 18000 |  4046 | 29231k| 767.6 |   975M |  53 |8857 |  11k|   0 |  15k|  0 |  36k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3136.01/3144.31	c  3144s| 18100 |  4044 | 29270k| 766.7 |   978M |  53 |8857 |  11k|   0 |  15k|  0 |  36k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3141.10/3149.46	c  3149s| 18200 |  4055 | 29311k| 765.7 |   978M |  53 |8857 |  11k|   0 |  15k|  0 |  37k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3145.09/3153.42	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3145.09/3153.42	c  3153s| 18300 |  4067 | 29339k| 764.5 |   979M |  53 |8857 |  11k|   0 |  15k|  0 |  37k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3149.08/3157.42	c  3157s| 18400 |  4062 | 29370k| 763.3 |   980M |  53 |8857 |  11k|   0 |  15k|  0 |  37k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3153.47/3161.83	c  3162s| 18500 |  4049 | 29405k| 762.2 |   984M |  53 |8857 |  11k|  10k|  15k|  1 |  37k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3158.36/3166.73	c  3167s| 18600 |  4071 | 29443k| 761.2 |   992M |  53 |8857 |  11k|  10k|  15k|  1 |  37k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3162.66/3171.07	c  3171s| 18700 |  4097 | 29461k| 759.7 |   993M |  53 |8857 |  11k|  10k|  15k|  1 |  37k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3167.75/3176.15	c  3176s| 18800 |  4130 | 29502k| 758.8 |   993M |  53 |8857 |  11k|   0 |  15k|  0 |  37k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3182.10/3190.56	c  3191s| 18900 |  4143 | 29604k| 759.5 |   993M |  53 |8857 |  12k|   0 |  16k|  0 |  37k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3189.18/3197.66	c  3198s| 19000 |  4163 | 29664k| 759.1 |   993M |  53 |8857 |  12k|   0 |  16k|  0 |  37k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3193.97/3202.42	c  3202s| 19100 |  4167 | 29714k| 758.4 |   994M |  53 |8857 |  12k|   0 |  16k|  0 |  37k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3199.86/3208.32	c  3208s| 19200 |  4170 | 29774k| 758.0 |   994M |  53 |8857 |  11k|  10k|  16k|  1 |  38k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3203.85/3212.32	c  3212s| 19300 |  4168 | 29812k| 757.1 |   995M |  53 |8857 |  11k|   0 |  16k|  0 |  38k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3209.65/3218.13	c  3218s| 19400 |  4189 | 29862k| 756.4 |   996M |  53 |8857 |  11k|  10k|  16k|  1 |  38k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3213.54/3222.10	c  3222s| 19500 |  4203 | 29890k| 755.2 |   996M |  53 |8857 |  11k|  10k|  16k|  1 |  38k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3221.41/3229.96	c  3230s| 19600 |  4222 | 29947k| 754.7 |   997M |  53 |8857 |  11k|   0 |  16k|  0 |  38k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3224.30/3232.82	c  3233s| 19700 |  4221 | 29966k| 753.3 |   997M |  53 |8857 |  11k|  10k|  16k|  1 |  38k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3227.60/3236.13	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3227.60/3236.13	c  3236s| 19800 |  4213 | 29987k| 752.0 |   997M |  53 |8857 |  11k|  10k|  16k|  2 |  38k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3231.98/3240.50	c  3240s| 19900 |  4224 | 30006k| 750.5 |   997M |  53 |8857 |  11k|  10k|  16k|  1 |  38k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3234.07/3242.61	c  3243s| 20000 |  4210 | 30014k| 748.9 |   997M |  53 |8857 |  11k|  10k|  16k|  1 |  38k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3238.36/3246.92	c  3247s| 20100 |  4235 | 30049k| 747.9 |   997M |  53 |8857 |  11k|  10k|  16k|  1 |  38k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3244.05/3252.65	c  3253s| 20200 |  4252 | 30104k| 747.4 |   998M |  53 |8857 |  11k|   0 |  16k|  0 |  38k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3249.24/3257.87	c  3258s| 20300 |  4253 | 30146k| 746.6 |   998M |  53 |8857 |  11k|   0 |  17k|  0 |  38k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3253.13/3261.79	c  3262s| 20400 |  4259 | 30176k| 745.5 |   999M |  53 |8857 |  11k|  10k|  17k|  1 |  38k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3258.21/3266.85	c  3267s| 20500 |  4276 | 30219k| 744.7 |  1000M |  53 |8857 |  11k|  10k|  17k|  1 |  38k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3264.70/3273.32	c  3273s| 20600 |  4293 | 30282k| 744.4 |  1000M |  53 |8857 |  11k|   0 |  17k|  0 |  39k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3269.29/3277.96	c  3278s| 20700 |  4294 | 30320k| 743.5 |  1001M |  53 |8857 |  11k|  10k|  17k|  1 |  39k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3276.57/3285.29	c  3285s| 20800 |  4318 | 30394k| 743.5 |  1001M |  53 |8857 |  11k|   0 |  17k|  0 |  39k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3281.56/3290.21	c  3290s| 20900 |  4332 | 30437k| 742.7 |  1002M |  53 |8857 |  11k|   0 |  17k|  0 |  39k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3286.36/3295.06	c  3295s| 21000 |  4342 | 30485k| 742.1 |  1002M |  53 |8857 |  11k|   0 |  17k|  0 |  39k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3289.84/3298.59	c  3299s| 21100 |  4337 | 30505k| 740.8 |  1003M |  53 |8857 |  11k|  10k|  17k|  1 |  39k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3297.12/3305.85	c  3306s| 21200 |  4349 | 30558k| 740.3 |  1003M |  53 |8857 |  11k|   0 |  17k|  0 |  39k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3300.71/3309.43	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3300.71/3309.43	c  3309s| 21300 |  4333 | 30584k| 739.1 |  1004M |  53 |8857 |  11k|   0 |  17k|  0 |  39k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3307.20/3315.92	c  3316s| 21400 |  4360 | 30649k| 738.9 |  1004M |  53 |8857 |  11k|   0 |  17k|  0 |  39k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3312.39/3321.16	c  3321s| 21500 |  4386 | 30694k| 738.2 |  1004M |  53 |8857 |  11k|  10k|  17k|  1 |  39k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3316.17/3324.94	c  3325s| 21600 |  4377 | 30719k| 737.0 |  1004M |  53 |8857 |  11k|  10k|  17k|  2 |  39k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3319.76/3328.60	c  3329s| 21700 |  4395 | 30747k| 735.9 |  1004M |  53 |8857 |  11k|   0 |  18k|  0 |  39k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3322.96/3331.76	c  3332s| 21800 |  4403 | 30770k| 734.7 |  1005M |  53 |8857 |  11k|  10k|  18k|  1 |  39k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3329.64/3338.41	c  3338s| 21900 |  4449 | 30840k| 734.6 |  1005M |  53 |8857 |  11k|  10k|  18k|  1 |  39k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3334.03/3342.88	c  3343s| 22000 |  4466 | 30877k| 733.8 |  1006M |  53 |8857 |  11k|   0 |  18k|  0 |  40k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3340.51/3349.34	c  3349s| 22100 |  4483 | 30925k| 733.2 |  1007M |  53 |8857 |  11k|   0 |  18k|  0 |  40k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3344.22/3353.04	c  3353s| 22200 |  4493 | 30954k| 732.1 |  1007M |  53 |8857 |  11k|   0 |  18k|  0 |  40k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3353.48/3362.30	c  3362s| 22300 |  4572 | 31066k| 733.0 |  1008M |  53 |8857 |  11k|  10k|  18k|  1 |  40k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3357.37/3366.20	c  3366s| 22400 |  4587 | 31092k| 731.9 |  1008M |  53 |8857 |  11k|  10k|  18k|  1 |  40k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3361.56/3370.45	c  3370s| 22500 |  4609 | 31114k| 730.7 |  1009M |  53 |8857 |  12k|  10k|  18k|  1 |  40k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3365.95/3374.81	c  3375s| 22600 |  4616 | 31151k| 729.9 |  1009M |  53 |8857 |  12k|   0 |  18k|  0 |  40k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3370.64/3379.51	c  3380s| 22700 |  4616 | 31186k| 729.0 |  1009M |  53 |8857 |  12k|  10k|  18k|  1 |  40k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3374.14/3383.04	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3374.14/3383.04	c  3383s| 22800 |  4615 | 31206k| 727.8 |  1009M |  53 |8857 |  12k|   0 |  18k|  0 |  40k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3378.32/3387.26	c  3387s| 22900 |  4635 | 31232k| 726.7 |  1010M |  53 |8857 |  12k|   0 |  18k|  0 |  40k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3384.50/3393.48	c  3393s| 23000 |  4663 | 31280k| 726.1 |  1010M |  53 |8857 |  12k|  10k|  19k|  1 |  41k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3391.59/3400.51	c  3401s| 23100 |  4667 | 31338k| 725.8 |  1011M |  53 |8857 |  12k|  10k|  19k|  1 |  41k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3399.57/3408.50	c  3408s| 23200 |  4676 | 31428k| 726.2 |  1011M |  53 |8857 |  12k|   0 |  19k|  0 |  41k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3406.85/3415.82	c  3416s| 23300 |  4706 | 31489k| 725.9 |  1013M |  53 |8857 |  12k|  10k|  19k|  1 |  41k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3413.53/3422.54	c  3423s| 23400 |  4727 | 31554k| 725.7 |  1013M |  53 |8857 |  12k|   0 |  19k|  0 |  41k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3417.62/3426.63	c  3427s| 23500 |  4733 | 31583k| 724.7 |  1013M |  53 |8857 |  12k|   0 |  19k|  0 |  41k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3424.42/3433.46	c  3433s| 23600 |  4740 | 31643k| 724.4 |  1014M |  53 |8857 |  12k|  10k|  19k|  1 |  41k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3429.01/3438.10	c  3438s| 23700 |  4750 | 31682k| 723.7 |  1015M |  53 |8857 |  11k|  10k|  20k|  1 |  41k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3433.49/3442.51	c  3443s| 23800 |  4768 | 31716k| 722.8 |  1015M |  53 |8857 |  11k|  10k|  20k|  1 |  41k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3445.97/3455.04	c  3455s| 23900 |  4769 | 31808k| 723.2 |  1015M |  53 |8857 |  11k|   0 |  20k|  0 |  41k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3449.85/3458.95	c  3459s| 24000 |  4771 | 31839k| 722.3 |  1015M |  53 |8857 |  12k|   0 |  20k|  0 |  41k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3454.54/3463.67	c  3464s| 24100 |  4778 | 31876k| 721.5 |  1016M |  53 |8857 |  11k|  10k|  20k|  1 |  42k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3459.23/3468.31	c  3468s| 24200 |  4800 | 31919k| 720.8 |  1018M |  53 |8857 |  11k|  10k|  20k|  1 |  42k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3466.11/3475.22	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3466.11/3475.22	c  3475s| 24300 |  4838 | 31980k| 720.6 |  1019M |  53 |8857 |  12k|  10k|  20k|  2 |  42k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3472.49/3481.67	c  3482s| 24400 |  4885 | 32031k| 720.1 |  1019M |  53 |8857 |  12k|  10k|  20k|  1 |  42k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3478.68/3487.85	c  3488s| 24500 |  4898 | 32091k| 719.8 |  1020M |  53 |8857 |  12k|   0 |  20k|  0 |  42k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3483.07/3492.21	c  3492s| 24600 |  4911 | 32116k| 718.8 |  1020M |  53 |8857 |  12k|   0 |  20k|  0 |  42k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3489.96/3499.14	c  3499s| 24700 |  4926 | 32164k| 718.3 |  1020M |  53 |8857 |  12k|   0 |  21k|  0 |  42k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3495.85/3505.01	c  3505s| 24800 |  4944 | 32219k| 717.9 |  1021M |  53 |8857 |  12k|  10k|  21k|  1 |  42k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3500.43/3509.69	c  3510s| 24900 |  4955 | 32259k| 717.2 |  1021M |  53 |8857 |  12k|  10k|  21k|  1 |  42k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3503.32/3512.53	c  3513s| 25000 |  4954 | 32275k| 715.9 |  1021M |  53 |8857 |  12k|  10k|  21k|  1 |  42k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3507.41/3516.65	c  3517s| 25100 |  4959 | 32306k| 715.0 |  1021M |  53 |8857 |  12k|   0 |  21k|  0 |  43k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3512.60/3521.89	c  3522s| 25200 |  4972 | 32347k| 714.4 |  1021M |  53 |8857 |  12k|   0 |  21k|  0 |  43k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3517.98/3527.24	c  3527s| 25300 |  4995 | 32390k| 713.7 |  1021M |  53 |8857 |  12k|  10k|  21k|  2 |  43k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3522.67/3531.93	c  3532s| 25400 |  5022 | 32423k| 712.9 |  1022M |  53 |8857 |  12k|  10k|  21k|  2 |  43k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3527.36/3536.67	c  3537s| 25500 |  5028 | 32458k| 712.1 |  1022M |  53 |8857 |  12k|   0 |  21k|  0 |  43k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3531.86/3541.11	c  3541s| 25600 |  5029 | 32490k| 711.2 |  1022M |  53 |8857 |  12k|   0 |  21k|  0 |  43k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3537.24/3546.58	c  3547s| 25700 |  5040 | 32539k| 710.8 |  1022M |  53 |8857 |  12k|  10k|  21k|  2 |  43k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3541.03/3550.32	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3541.03/3550.32	c  3550s| 25800 |  5052 | 32562k| 709.7 |  1022M |  53 |8857 |  12k|   0 |  21k|  0 |  43k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3546.31/3555.60	c  3556s| 25900 |  5065 | 32603k| 709.0 |  1023M |  53 |8857 |  12k|  10k|  22k|  1 |  43k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3550.00/3559.39	c  3559s| 26000 |  5058 | 32625k| 708.0 |  1023M |  53 |8857 |  12k|   0 |  22k|  0 |  43k|  55 | 2.600000e+01 |      --      |    Inf | unknown
3555.19/3564.54	c  3565s| 26100 |  5077 | 32667k| 707.4 |  1023M |  53 |8857 |  12k|  10k|  22k|  1 |  44k|  55 | 2.700000e+01 |      --      |    Inf | unknown
3558.69/3568.08	c  3568s| 26200 |  5089 | 32688k| 706.3 |  1024M |  53 |8857 |  12k|   0 |  22k|  0 |  44k|  55 | 2.700000e+01 |      --      |    Inf | unknown
3562.69/3572.08	c  3572s| 26300 |  5087 | 32707k| 705.2 |  1024M |  53 |8857 |  12k|  10k|  22k|  1 |  44k|  55 | 2.700000e+01 |      --      |    Inf | unknown
3566.17/3575.53	c  3576s| 26400 |  5101 | 32724k| 704.0 |  1024M |  53 |8857 |  12k|  10k|  22k|  1 |  44k|  55 | 2.700000e+01 |      --      |    Inf | unknown
3569.06/3578.42	c  3578s| 26500 |  5100 | 32737k| 702.8 |  1024M |  53 |8857 |  12k|   0 |  22k|  0 |  44k|  55 | 2.700000e+01 |      --      |    Inf | unknown
3575.24/3584.62	c  3585s| 26600 |  5111 | 32794k| 702.5 |  1024M |  53 |8857 |  12k|  10k|  22k|  1 |  44k|  55 | 2.700000e+01 |      --      |    Inf | unknown
3579.13/3588.58	c  3589s| 26700 |  5139 | 32816k| 701.5 |  1024M |  53 |8857 |  12k|   0 |  22k|  0 |  44k|  55 | 2.700000e+01 |      --      |    Inf | unknown
3584.52/3593.98	c  3594s| 26800 |  5134 | 32848k| 700.7 |  1025M |  53 |8857 |  12k|   0 |  22k|  0 |  44k|  55 | 2.700000e+01 |      --      |    Inf | unknown
3587.51/3597.00	c 
3587.51/3597.00	c SCIP Status        : solving was interrupted [time limit reached]
3587.51/3597.00	c Solving Time (sec) : 3597.00
3587.51/3597.00	c Solving Nodes      : 26844 (total of 46888 nodes in 2 runs)
3587.51/3597.00	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
3587.51/3597.00	c Dual Bound         : +2.70000000000000e+01
3587.51/3597.00	c Gap                : infinite
3587.51/3597.00	s UNKNOWN
3587.51/3597.00	c SCIP Status        : solving was interrupted [time limit reached]
3587.51/3597.00	c Total Time         :    3597.00
3587.51/3597.00	c   solving          :    3597.00
3587.51/3597.00	c   presolving       :       1.64 (included in solving)
3587.51/3597.00	c   reading          :       0.22 (included in solving)
3587.51/3597.00	c   copying          :       0.37 (9 #copies) (minimal 0.04, maximal 0.05, average 0.04)
3587.51/3597.00	c Original Problem   :
3587.51/3597.00	c   Problem name     : HOME/instance-4432664-1721097251.opb
3587.51/3597.00	c   Variables        : 8883 (8883 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.51/3597.00	c   Constraints      : 17459 initial, 17459 maximal
3587.51/3597.00	c   Objective        : minimize, 9 non-zeros (abs.min = 1, abs.max = 256)
3587.51/3597.00	c Presolved Problem  :
3587.51/3597.00	c   Problem name     : t_HOME/instance-4432664-1721097251.opb
3587.51/3597.00	c   Variables        : 8857 (8857 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.51/3597.00	c   Constraints      : 11507 initial, 12513 maximal
3587.51/3597.00	c   Objective        : minimize, 9 non-zeros (abs.min = 1, abs.max = 256)
3587.51/3597.00	c   Nonzeros         : 326808 constraint, 3632 clique table
3587.51/3597.00	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
3587.51/3597.00	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.51/3597.00	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.51/3597.00	c   domcol           :       0.08       0.00      3          0          0          0          0          0          0          0          0          0
3587.51/3597.00	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.51/3597.00	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.51/3597.00	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.51/3597.00	c   dualsparsify     :       0.09       0.00      1          0          0          0          0          0          0          0          0          0
3587.51/3597.00	c   gateextraction   :       0.01       0.00      4          0          0          0          0          0          0          0          0          0
3587.51/3597.00	c   implics          :       0.00       0.00     11          0          0          0          0          0          0          0          0          0
3587.51/3597.00	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.51/3597.00	c   milp             :       0.63       0.00      1          0          0          0          0          0      17459       8891          0          0
3587.51/3597.00	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.51/3597.00	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.51/3597.00	c   sparsify         :       0.04       0.00      1          0          0          0          0          0          0          0          0          0
3587.51/3597.00	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.51/3597.00	c   trivial          :       0.00       0.00     14          0          0          0          0          0          0          0          0          0
3587.51/3597.00	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.51/3597.00	c   dualfix          :       0.00       0.00     14          0          0          0          0          0          0          0          0          0
3587.51/3597.00	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.51/3597.00	c   probing          :       0.10       0.00      1          0          0          0          0          0          0          0          0          0
3587.51/3597.00	c   pseudoobj        :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3587.51/3597.00	c   symmetry         :       0.28       0.00      1          0          0          0          0          0          0       1500          0          0
3587.51/3597.00	c   vbounds          :       0.00       0.00      4          0         26          0          0          0          0          0          0          0
3587.51/3597.00	c   knapsack         :       0.01       0.00     28          0          0          0          0          0          1          2         12         15
3587.51/3597.00	c   setppc           :       0.01       0.00     19          0          0          0          0          0        139          0          0          0
3587.51/3597.00	c   linear           :       0.30       0.08     23          0          0          0          0          0         26          0        311        349
3587.51/3597.00	c   logicor          :       0.03       0.02     14          0          0          0          0          0        162          0          0        481
3587.51/3597.00	c   benders          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.51/3597.00	c   components       :       0.04       0.00      2          0          0          0          0          0          0          0          0          0
3587.51/3597.00	c   root node        :          -          -      -          0          -          -          0          -          -          -          -          -
3587.51/3597.00	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
3587.51/3597.00	c   benderslp        :          0          0          0          0      32964          0          0       3988          0          0          0          0          0          0          0
3587.51/3597.00	c   integral         :          0          0          0          0      32964          0          0       3988          0          0          0          0          0          0      65928
3587.51/3597.00	c   knapsack         :        332+       382         22     535854          0          0          0       3983     450452       4711     346577       4413        166          0          0
3587.51/3597.00	c   setppc           :       1551+      1634         22     530670          0          0          0         10      14180         39      12630          0          0          0          0
3587.51/3597.00	c   linear           :       8547+      8577         22     531104          0          0          0          6      91521      27684   10155683          0          0          0          0
3587.62/3597.01	c   logicor          :       1077+      1946         22     119880          0          0          0          0      54791        896      44472        237         13          0          0
3587.62/3597.01	c   benders          :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3587.62/3597.01	c   fixedvar         :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3587.62/3597.01	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3587.62/3597.01	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3587.62/3597.01	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
3587.62/3597.01	c   benderslp        :       0.02       0.00       0.00       0.00       0.01       0.00       0.00       0.00       0.00       0.00
3587.62/3597.01	c   integral         :      22.76       0.00       0.00       0.00      22.76       0.00       0.00       0.00       0.00       0.00
3587.62/3597.01	c   knapsack         :      41.25       0.00       0.03      40.88       0.00       0.00       0.00       0.12       0.18       0.03
3587.62/3597.01	c   setppc           :       0.52       0.00       0.00       0.51       0.00       0.00       0.00       0.00       0.01       0.00
3587.62/3597.01	c   linear           :     195.72       0.08       0.05     195.45       0.00       0.00       0.00       0.00       0.13       0.02
3587.62/3597.01	c   logicor          :      10.05       0.02       0.00       9.98       0.00       0.00       0.00       0.00       0.05       0.00
3587.62/3597.01	c   benders          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3587.62/3597.01	c   fixedvar         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3587.62/3597.01	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3587.62/3597.01	c   components       :       0.03       0.00       0.00       0.03       0.00       0.00       0.00       0.00       0.00       0.00
3587.62/3597.01	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
3587.62/3597.01	c   dualfix          :          2          0          0          0
3587.62/3597.01	c   genvbounds       :          0          0          0          0
3587.62/3597.01	c   nlobbt           :          0          0          0          0
3587.62/3597.01	c   obbt             :          0          0          0          0
3587.62/3597.01	c   probing          :          0          0          0          0
3587.62/3597.01	c   pseudoobj        :     165250          0          0          0
3587.62/3597.01	c   redcost          :      72799          0          0         12
3587.62/3597.01	c   rootredcost      :          2          0          0          0
3587.62/3597.01	c   symmetry         :          0          0          0          0
3587.62/3597.01	c   vbounds          :     208443          0          0          0
3587.62/3597.01	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
3587.62/3597.01	c   dualfix          :       0.00       0.00       0.00       0.00       0.00       0.00
3587.62/3597.01	c   genvbounds       :       0.08       0.00       0.00       0.08       0.00       0.00
3587.62/3597.01	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
3587.62/3597.01	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
3587.62/3597.01	c   probing          :       0.10       0.00       0.10       0.00       0.00       0.00
3587.62/3597.01	c   pseudoobj        :       0.22       0.00       0.00       0.22       0.00       0.00
3587.62/3597.01	c   redcost          :      13.12       0.00       0.00      13.12       0.00       0.00
3587.62/3597.01	c   rootredcost      :       0.06       0.00       0.00       0.06       0.00       0.00
3587.62/3597.01	c   symmetry         :       0.37       0.00       0.28       0.09       0.00       0.00
3587.62/3597.01	c   vbounds          :       2.61       0.00       0.00       2.61       0.00       0.00
3587.62/3597.01	c Symmetry           :
3587.62/3597.01	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
3587.62/3597.01	c   orbital reduction:          0 reductions applied,          0 cutoffs
3587.62/3597.01	c   lexicographic red:          0 reductions applied,          0 cutoffs
3587.62/3597.01	c   shadow tree time :       0.00 s
3587.62/3597.01	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
3587.62/3597.01	c   propagation      :       0.76      11266      11186          -      94767       36.8        926       20.2          -          -          -
3587.62/3597.01	c   infeasible LP    :       2.31       1899       1899          -      10735       31.9        245       21.4       1899       29.3          0
3587.62/3597.01	c   bound exceed. LP :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
3587.62/3597.01	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
3587.62/3597.01	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
3587.62/3597.01	c   applied globally :       0.20          -          -          0      43021       31.0          -          -       1899          -          -
3587.62/3597.01	c   applied locally  :          -          -          -          0          0        0.0          -          -          0          -          -
3587.62/3597.01	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
3587.62/3597.01	c   cut pool         :       4.01          -       7566         42          -          -      78039     889051          -          -          -          -          -    (maximal pool size:      10195)
3587.62/3597.01	c   aggregation      :       3.40       0.00        715         22          0          0      37000     476999         43      14322      14309         13          0
3587.62/3597.01	c   > cmir           :          -          -          -          -          -          -          -     151495          0       3965       3965          0          -
3587.62/3597.01	c   > flowcover      :          -          -          -          -          -          -          -     319556          0       9799       9799          0          -
3587.62/3597.01	c   > knapsackcover  :          -          -          -          -          -          -          -       5948         43        558        545         13          -
3587.62/3597.01	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.62/3597.01	c   clique           :       0.51       0.00         22         22          0          0          0          0          0          0          0          0          0
3587.62/3597.01	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.62/3597.01	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.62/3597.01	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.62/3597.01	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.62/3597.01	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.62/3597.01	c   gomory           :      44.90       0.00        713         20          0          0      38548     296101         81      12219      12219          0          0
3587.62/3597.01	c   > gomorymi       :          -          -          -          -          -          -          -     127313         49       5178       5178          0          -
3587.62/3597.01	c   > strongcg       :          -          -          -          -          -          -          -     168788         32       7041       7041          0          -
3587.62/3597.01	c   impliedbounds    :       0.17       0.00        715         22          0          0        228       2869          0       1634       1634          0          0
3587.62/3597.01	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.62/3597.01	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.62/3597.01	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.62/3597.01	c   mcf              :       0.00       0.00          2          2          0          0          0          0          0          0          0          0          0
3587.62/3597.01	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.62/3597.01	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.62/3597.01	c   multilinear      :       0.00       0.00        444         22          0          0          0          0          0          0          0          0          0
3587.62/3597.01	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.62/3597.01	c   rapidlearning    :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.62/3597.01	c   rlt              :       0.00       0.00        411         20          0          0          0          0          0          0          0          0          0
3587.62/3597.01	c   zerohalf         :       6.03       0.00        715         22          0          0       2396     113082          9      12799      12798          1          0
3587.62/3597.01	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
3587.62/3597.01	c   hybrid           :       0.34       0.00       6848         22      41153          0     852681        324          0      45934
3587.62/3597.01	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
3587.62/3597.01	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
3587.62/3597.01	c Pricers            :   ExecTime  SetupTime      Calls       Vars
3587.62/3597.01	c   problem variables:       0.00          -          0          0
3587.62/3597.01	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
3587.62/3597.01	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
3587.62/3597.01	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
3587.62/3597.01	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
3587.62/3597.01	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
3587.62/3597.01	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
3587.62/3597.01	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
3587.62/3597.01	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
3587.62/3597.01	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
3587.62/3597.01	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
3587.62/3597.01	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
3587.62/3597.01	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
3587.62/3597.01	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
3587.62/3597.01	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
3587.62/3597.01	c   relpscost        :      22.73       0.00      32964          0          0          0          0          0          0      65928
3587.62/3597.01	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
3587.62/3597.01	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
3587.62/3597.01	c   LP solutions     :       0.00          -          -          0          0
3587.62/3597.01	c   relax solutions  :       0.00          -          -          0          0
3587.62/3597.01	c   pseudo solutions :       0.00          -          -          0          0
3587.62/3597.01	c   strong branching :       0.00          -          -          0          0
3587.62/3597.01	c   actconsdiving    :       0.00       0.00          0          0          0
3587.62/3597.01	c   adaptivediving   :       9.34       0.00         25          0          0
3587.62/3597.01	c   alns             :       9.42       0.00          7          0          0
3587.62/3597.01	c   bound            :       0.00       0.00          0          0          0
3587.62/3597.01	c   clique           :       0.11       0.00          1          0          0
3587.62/3597.01	c   coefdiving       :       0.00       0.00          0          0          0
3587.62/3597.01	c   completesol      :       0.00       0.00          0          0          0
3587.62/3597.01	c   conflictdiving   :     208.22       0.00        856          0          0
3587.62/3597.01	c   crossover        :       0.01       0.00          0          0          0
3587.62/3597.01	c   dins             :       0.00       0.00          0          0          0
3587.62/3597.01	c   distributiondivin:     102.83       0.00        338          0          0
3587.62/3597.01	c   dps              :       0.00       0.00          0          0          0
3587.62/3597.01	c   dualval          :       0.00       0.00          0          0          0
3587.62/3597.01	c   farkasdiving     :       4.33       0.00          2          0          0
3587.62/3597.01	c   feasjump         :       0.21       0.00          2          0          0
3587.62/3597.01	c   feaspump         :     125.34       0.00         53          0          0
3587.62/3597.01	c   fixandinfer      :       0.00       0.00          0          0          0
3587.62/3597.01	c   fracdiving       :     158.68       0.00        659          0          0
3587.62/3597.01	c   gins             :       0.01       0.00          0          0          0
3587.62/3597.01	c   guideddiving     :       0.00       0.00          0          0          0
3587.62/3597.01	c   indcoefdiving    :       0.00       0.00          0          0          0
3587.62/3597.01	c   indicator        :       0.02       0.00          0          0          0
3587.62/3597.01	c   indicatordiving  :       0.00       0.00          0          0          0
3587.62/3597.01	c   indoneopt        :       0.02       0.00          0          0          0
3587.62/3597.01	c   indrounding      :       0.00       0.00          0          0          0
3587.62/3597.01	c   indtwoopt        :       0.00       0.00          0          0          0
3587.62/3597.01	c   intdiving        :       0.00       0.00          0          0          0
3587.62/3597.01	c   intshifting      :       0.00       0.00          0          0          0
3587.62/3597.01	c   linesearchdiving :     113.56       0.00        482          0          0
3587.62/3597.01	c   localbranching   :       0.00       0.00          0          0          0
3587.62/3597.01	c   locks            :       0.09       0.00          1          0          0
3587.62/3597.01	c   lpface           :       0.07       0.00          0          0          0
3587.62/3597.01	c   mpec             :       0.00       0.00          0          0          0
3587.62/3597.01	c   multistart       :       0.00       0.00          0          0          0
3587.62/3597.01	c   mutation         :       0.00       0.00          0          0          0
3587.62/3597.01	c   nlpdiving        :       0.00       0.00          0          0          0
3587.62/3597.01	c   objpscostdiving  :      78.90       0.00         12          0          0
3587.62/3597.01	c   octane           :       0.00       0.00          0          0          0
3587.62/3597.01	c   ofins            :       0.01       0.00          0          0          0
3587.62/3597.01	c   oneopt           :       0.02       0.00          0          0          0
3587.62/3597.01	c   padm             :       0.00       0.00          0          0          0
3587.62/3597.01	c   proximity        :       0.00       0.00          0          0          0
3587.62/3597.01	c   pscostdiving     :      89.90       0.00        301          0          0
3587.62/3597.01	c   randrounding     :       3.29       0.00       3994          0          0
3587.62/3597.01	c   rens             :       0.17       0.00          2          0          0
3587.62/3597.01	c   reoptsols        :       0.00       0.00          0          0          0
3587.62/3597.01	c   repair           :       0.00       0.00          0          0          0
3587.62/3597.01	c   rins             :       0.01       0.00          0          0          0
3587.62/3597.01	c   rootsoldiving    :      50.31       0.00         36          0          0
3587.62/3597.01	c   rounding         :       1.19       0.00       2775          0          0
3587.62/3597.01	c   scheduler        :       0.00       0.00          0          0          0
3587.62/3597.01	c   shiftandpropagate:       0.28       0.00          2          0          0
3587.62/3597.01	c   shifting         :      11.59       0.00       1387          0          0
3587.62/3597.01	c   simplerounding   :       0.02       0.00          0          0          0
3587.62/3597.01	c   smallcard        :       0.00       0.00          0          0          0
3587.62/3597.01	c   subnlp           :       0.03       0.00          0          0          0
3587.62/3597.01	c   trivial          :       0.01       0.00          4          0          0
3587.62/3597.01	c   trivialnegation  :       0.00       0.00          0          0          0
3587.62/3597.01	c   trustregion      :       0.00       0.00          0          0          0
3587.62/3597.01	c   trysol           :       0.01       0.00          0          0          0
3587.62/3597.01	c   twoopt           :       0.00       0.00          0          0          0
3587.62/3597.01	c   undercover       :       0.00       0.00          0          0          0
3587.62/3597.01	c   vbounds          :       0.00       0.00          0          0          0
3587.62/3597.01	c   veclendiving     :      86.10       0.00        254          0          0
3587.62/3597.01	c   zeroobj          :       0.00       0.00          0          0          0
3587.62/3597.01	c   zirounding       :       0.59       0.00       1000          0          0
3587.62/3597.01	c   other solutions  :          -          -          -          0          -
3587.62/3597.01	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
3587.62/3597.01	c   rens             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3587.62/3597.01	c   rins             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3587.62/3597.01	c   mutation         :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3587.62/3597.01	c   localbranching   :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3587.62/3597.01	c   crossover        :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3587.62/3597.01	c   proximity        :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3587.62/3597.01	c   zeroobjective    :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3587.62/3597.01	c   dins             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3587.62/3597.01	c   trustregion      :          0       0.00       0.00          0          0          0    0.00000    0.00000   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    0
3587.62/3597.01	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
3587.62/3597.01	c   primal LP        :      41.68       3313          1       1.00       0.02      41.67       3312
3587.62/3597.01	c   dual LP          :    1992.91      40245   21225674     527.90   10650.60       0.20         37
3587.62/3597.01	c   lex dual LP      :       0.00          0          0       0.00          -
3587.62/3597.01	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
3587.62/3597.01	c   resolve instable :       0.00          0          0       0.00          -
3587.62/3597.01	c   diving/probing LP:     799.37      11456   11647813    1016.74   14571.30
3587.62/3597.01	c   strong branching :       3.23         55      24781     450.56    7680.85          -          -         44
3587.62/3597.01	c     (at root node) :          -         55      24781     450.56          -
3587.62/3597.01	c   conflict analysis:       0.00          0          0       0.00          -
3587.62/3597.01	c B&B Tree           :
3587.62/3597.01	c   number of runs   :          2
3587.62/3597.01	c   nodes            :      26844 (17461 internal, 9383 leaves)
3587.62/3597.01	c   feasible leaves  :          0
3587.62/3597.01	c   infeas. leaves   :       9381
3587.62/3597.01	c   objective leaves :          1
3587.62/3597.01	c   nodes (total)    :      46888 (32964 internal, 13924 leaves)
3587.62/3597.01	c   nodes left       :       5150
3587.62/3597.01	c   max depth        :         53
3587.62/3597.01	c   max depth (total):         53
3587.62/3597.01	c   backtracks       :       6702 (25.0%)
3587.62/3597.01	c   early backtracks :          0 (0.0%)
3587.62/3597.01	c   nodes exc. ref.  :          0 (0.0%)
3587.62/3597.01	c   delayed cutoffs  :       2930
3587.62/3597.01	c   repropagations   :       8444 (269300 domain reductions, 1451 cutoffs)
3587.62/3597.01	c   avg switch length:       5.07
3587.62/3597.01	c   switching time   :     164.73
3587.62/3597.01	c Root Node          :
3587.62/3597.01	c   First LP value   : +1.70000000000000e+01
3587.62/3597.01	c   First LP Iters   :       9723 (18939.70 Iter/sec)
3587.62/3597.01	c   First LP Time    :       0.51
3587.62/3597.01	c   Final Dual Bound : +2.10000000000000e+01
3587.62/3597.01	c   Final Root Iters :      27545
3587.62/3597.01	c   Root LP Estimate : +4.79738679369428e+01
3587.62/3597.01	c Solution           :
3587.62/3597.01	c   Solutions found  :          0 (0 improvements)
3587.62/3597.01	c   Primal Bound     :          -
3587.62/3597.01	c   Dual Bound       : +2.70000000000000e+01
3587.62/3597.01	c   Gap              :   infinite
3587.62/3597.01	c Integrals          :      Total       Avg%
3587.62/3597.01	c   primal-dual      :  359699.79     100.00
3587.62/3597.01	c   primal-ref       :          -          - (not evaluated)
3587.62/3597.01	c   dual-ref         :          -          - (not evaluated)
3587.72/3597.19	c Time complete: 3587.81.

Verifier Data

ERROR: no interpretation found !

Watcher Data

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 64096 MiB (60289 MiB free)
  memory of node 1: 64473 MiB (61961 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432664-1721097251/watcher-4432664-1721097251 -o /tmp/evaluation-result-4432664-1721097251/solver-4432664-1721097251 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721093664-830411 --watchdog 3760 pbscip -f HOME/instance-4432664-1721097251.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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=832360, runsolver pid=832357

[startup+0.100362 s]*
/proc/loadavg: 4.21 4.22 4.21 7/242 832361
/proc/meminfo: memFree=125177056/131655788 swapFree=131071996/131071996
[pid=832360] ppid=832357 vsize=65004 memory=24496 CPUtime=0.09 cores=5,7
/proc/832360/stat : 832360 (pbscip) R 832357 832360 830398 0 -1 4194304 3201 0 0 0 9 0 0 0 20 0 1 0 161883974 66564096 6124 134679101440 4194304 18693293 140734000717664 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34209792 140734000722948 140734000723047 140734000723047 140734000730062 0
/proc/832360/statm: 16251 6124 3264 3540 0 4508 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 65004 KiB
Current children cumulated memory: 24496 KiB

[startup+0.210891 s]*
/proc/loadavg: 4.21 4.22 4.21 6/242 832361
/proc/meminfo: memFree=125157540/131655788 swapFree=131071996/131071996
[pid=832360] ppid=832357 vsize=82380 memory=42180 CPUtime=0.2 cores=5,7
/proc/832360/stat : 832360 (pbscip) R 832357 832360 830398 0 -1 4194304 7588 0 0 0 19 1 0 0 20 0 1 0 161883974 84357120 10545 134679101440 4194304 18693293 140734000717664 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34209792 140734000722948 140734000723047 140734000723047 140734000730062 0
/proc/832360/statm: 20595 10545 3264 3540 0 8852 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 82380 KiB
Current children cumulated memory: 42180 KiB

[startup+0.31088 s]*
/proc/loadavg: 4.21 4.22 4.21 6/242 832361
/proc/meminfo: memFree=125076116/131655788 swapFree=131071996/131071996
[pid=832360] ppid=832357 vsize=177100 memory=135344 CPUtime=0.3 cores=5,7
/proc/832360/stat : 832360 (pbscip) R 832357 832360 830398 0 -1 4194304 32848 0 0 0 26 4 0 0 20 0 1 0 161883974 181350400 33836 134679101440 4194304 18693293 140734000717664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34209792 140734000722948 140734000723047 140734000723047 140734000730062 0
/proc/832360/statm: 44275 33836 3568 3540 0 32532 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 177100 KiB
Current children cumulated memory: 135344 KiB

[startup+0.700363 s]
/proc/loadavg: 4.21 4.22 4.21 5/242 832361
/proc/meminfo: memFree=125013064/131655788 swapFree=131071996/131071996
[pid=832360] ppid=832357 vsize=287532 memory=243144 CPUtime=0.68 cores=5,7
/proc/832360/stat : 832360 (pbscip) R 832357 832360 830398 0 -1 4194304 50450 0 0 0 59 9 0 0 20 0 1 0 161883974 294432768 60786 134679101440 4194304 18693293 140734000717664 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 21375888 21430392 34209792 140734000722948 140734000723047 140734000723047 140734000730062 0
/proc/832360/statm: 71883 60786 3711 3540 0 60140 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 287532 KiB
Current children cumulated memory: 243144 KiB

[startup+1.50027 s]
/proc/loadavg: 4.21 4.22 4.21 5/240 832375
/proc/meminfo: memFree=126083348/131655788 swapFree=131071996/131071996
[pid=832360] ppid=832357 vsize=260860 memory=215988 CPUtime=1.46 cores=5,7
/proc/832360/stat : 832360 (pbscip) R 832357 832360 830398 0 -1 4194304 51359 0 0 0 137 9 0 0 20 0 1 0 161883974 267120640 53997 134679101440 4194304 18693293 140734000717664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34209792 140734000722948 140734000723047 140734000723047 140734000730062 0
/proc/832360/statm: 65215 53997 3839 3540 0 53472 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 260860 KiB
Current children cumulated memory: 215988 KiB

[startup+3.11323 s]
/proc/loadavg: 4.21 4.22 4.21 6/240 832413
/proc/meminfo: memFree=125875312/131655788 swapFree=131071996/131071996
[pid=832360] ppid=832357 vsize=479360 memory=407280 CPUtime=3.07 cores=5,7
/proc/832360/stat : 832360 (pbscip) R 832357 832360 830398 0 -1 4194304 96474 0 0 0 291 16 0 0 20 0 1 0 161883974 490864640 101820 134679101440 4194304 18693293 140734000717664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34209792 140734000722948 140734000723047 140734000723047 140734000730062 0
/proc/832360/statm: 119840 101820 3983 3540 0 108097 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 479360 KiB
Current children cumulated memory: 407280 KiB

[startup+6.30032 s]
/proc/loadavg: 4.19 4.21 4.21 6/240 832414
/proc/meminfo: memFree=125537348/131655788 swapFree=131071996/131071996
[pid=832360] ppid=832357 vsize=525052 memory=451784 CPUtime=6.26 cores=5,7
/proc/832360/stat : 832360 (pbscip) R 832357 832360 830398 0 -1 4194304 102756 0 0 0 608 18 0 0 20 0 1 0 161883974 537653248 112946 134679101440 4194304 18693293 140734000717664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34209792 140734000722948 140734000723047 140734000723047 140734000730062 0
/proc/832360/statm: 131263 112946 3983 3540 0 119520 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 525052 KiB
Current children cumulated memory: 451784 KiB

[startup+12.7003 s]
/proc/loadavg: 4.18 4.21 4.20 6/239 832556
/proc/meminfo: memFree=127262076/131655788 swapFree=131071996/131071996
[pid=832360] ppid=832357 vsize=573692 memory=496440 CPUtime=12.64 cores=5,7
/proc/832360/stat : 832360 (pbscip) R 832357 832360 830398 0 -1 4194304 112934 0 0 0 1244 20 0 0 20 0 1 0 161883974 587460608 124110 134679101440 4194304 18693293 140734000717664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34209792 140734000722948 140734000723047 140734000723047 140734000730062 0
/proc/832360/statm: 143423 124110 3983 3540 0 131680 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 573692 KiB
Current children cumulated memory: 496440 KiB

[startup+25.5004 s]
/proc/loadavg: 4.06 4.18 4.19 6/243 832673
/proc/meminfo: memFree=127034504/131655788 swapFree=131071996/131071996
[pid=832360] ppid=832357 vsize=573692 memory=497236 CPUtime=25.41 cores=5,7
/proc/832360/stat : 832360 (pbscip) R 832357 832360 830398 0 -1 4194304 112994 0 0 0 2520 21 0 0 20 0 1 0 161883974 587460608 124309 134679101440 4194304 18693293 140734000717664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34209792 140734000722948 140734000723047 140734000723047 140734000730062 0
/proc/832360/statm: 143423 124309 4031 3540 0 131680 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 573692 KiB
Current children cumulated memory: 497236 KiB

[startup+51.1128 s]
/proc/loadavg: 4.10 4.18 4.19 5/243 832677
/proc/meminfo: memFree=126916332/131655788 swapFree=131071996/131071996
[pid=832360] ppid=832357 vsize=573692 memory=497788 CPUtime=50.95 cores=5,7
/proc/832360/stat : 832360 (pbscip) R 832357 832360 830398 0 -1 4194304 113094 0 0 0 5074 21 0 0 20 0 1 0 161883974 587460608 124447 134679101440 4194304 18693293 140734000717664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34209792 140734000722948 140734000723047 140734000723047 140734000730062 0
/proc/832360/statm: 143423 124447 4031 3540 0 131680 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 573692 KiB
Current children cumulated memory: 497788 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.17 4.18 5/242 832688
/proc/meminfo: memFree=126770912/131655788 swapFree=131071996/131071996
[pid=832360] ppid=832357 vsize=652808 memory=581336 CPUtime=102 cores=5,7
/proc/832360/stat : 832360 (pbscip) R 832357 832360 830398 0 -1 4194304 132579 0 0 0 10176 24 0 0 20 0 1 0 161883974 668475392 145334 134679101440 4194304 18693293 140734000717664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34209792 140734000722948 140734000723047 140734000723047 140734000730062 0
/proc/832360/statm: 163202 145334 4031 3540 0 151459 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 652808 KiB
Current children cumulated memory: 581336 KiB

[startup+162.3 s]
/proc/loadavg: 4.19 4.18 4.19 5/241 832698
/proc/meminfo: memFree=126705468/131655788 swapFree=131071996/131071996
[pid=832360] ppid=832357 vsize=679244 memory=629968 CPUtime=161.84 cores=5,7
/proc/832360/stat : 832360 (pbscip) R 832357 832360 830398 0 -1 4194304 137518 0 0 0 16159 25 0 0 20 0 1 0 161883974 695545856 157492 134679101440 4194304 18693293 140734000717664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34209792 140734000722948 140734000723047 140734000723047 140734000730062 0
/proc/832360/statm: 169811 157492 4031 3540 0 158068 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 679244 KiB
Current children cumulated memory: 629968 KiB

[startup+222.3 s]
/proc/loadavg: 4.36 4.22 4.20 5/241 832708
/proc/meminfo: memFree=126706068/131655788 swapFree=131071996/131071996
[pid=832360] ppid=832357 vsize=679732 memory=632480 CPUtime=221.67 cores=5,7
/proc/832360/stat : 832360 (pbscip) R 832357 832360 830398 0 -1 4194304 137714 0 0 0 22142 25 0 0 20 0 1 0 161883974 696045568 158120 134679101440 4194304 18693293 140734000717664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34209792 140734000722948 140734000723047 140734000723047 140734000730062 0
/proc/832360/statm: 169933 158120 4031 3540 0 158190 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 679732 KiB
Current children cumulated memory: 632480 KiB

[startup+282.3 s]
/proc/loadavg: 4.78 4.38 4.25 5/242 832720
/proc/meminfo: memFree=126701552/131655788 swapFree=131071996/131071996
[pid=832360] ppid=832357 vsize=680320 memory=634848 CPUtime=281.51 cores=5,7
/proc/832360/stat : 832360 (pbscip) R 832357 832360 830398 0 -1 4194304 137904 0 0 0 28125 26 0 0 20 0 1 0 161883974 696647680 158712 134679101440 4194304 18693293 140734000717664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34209792 140734000722948 140734000723047 140734000723047 140734000730062 0
/proc/832360/statm: 170080 158712 4031 3540 0 158337 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 680320 KiB
Current children cumulated memory: 634848 KiB

[startup+342.3 s]
/proc/loadavg: 4.44 4.35 4.25 5/242 832730
/proc/meminfo: memFree=126720196/131655788 swapFree=131071996/131071996
[pid=832360] ppid=832357 vsize=680320 memory=641560 CPUtime=341.36 cores=5,7
/proc/832360/stat : 832360 (pbscip) R 832357 832360 830398 0 -1 4194304 138105 0 0 0 34110 26 0 0 20 0 1 0 161883974 696647680 160390 134679101440 4194304 18693293 140734000717664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34209792 140734000722948 140734000723047 140734000723047 140734000730062 0
/proc/832360/statm: 170080 160390 4031 3540 0 158337 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 680320 KiB
Current children cumulated memory: 641560 KiB

[startup+402.3 s]
/proc/loadavg: 4.22 4.30 4.24 5/244 832744
/proc/meminfo: memFree=126706356/131655788 swapFree=131071996/131071996
[pid=832360] ppid=832357 vsize=681024 memory=643680 CPUtime=401.2 cores=5,7
/proc/832360/stat : 832360 (pbscip) R 832357 832360 830398 0 -1 4194304 138464 0 0 0 40094 26 0 0 20 0 1 0 161883974 697368576 160920 134679101440 4194304 18693293 140734000717664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34209792 140734000722948 140734000723047 140734000723047 140734000730062 0
/proc/832360/statm: 170256 160920 4031 3540 0 158513 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 681024 KiB
Current children cumulated memory: 643680 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 4.26 4.23 5/244 832754
/proc/meminfo: memFree=126687316/131655788 swapFree=131071996/131071996
[pid=832360] ppid=832357 vsize=681864 memory=644360 CPUtime=461.06 cores=5,7
/proc/832360/stat : 832360 (pbscip) R 832357 832360 830398 0 -1 4194304 138825 0 0 0 46080 26 0 0 20 0 1 0 161883974 698228736 161090 134679101440 4194304 18693293 140734000717664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34209792 140734000722948 140734000723047 140734000723047 140734000730062 0

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

/proc/loadavg: 4.22 4.14 4.16 5/242 834204
/proc/meminfo: memFree=125194700/131655788 swapFree=131071996/131071996
[pid=832360] ppid=832357 vsize=1124148 memory=1078496 CPUtime=3213.82 cores=5,7
/proc/832360/stat : 832360 (pbscip) R 832357 832360 830398 0 -1 4194304 257990 0 0 0 321331 51 0 0 20 0 1 0 161883974 1151127552 269624 134679101440 4194304 18693293 140734000717664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34209792 140734000722948 140734000723047 140734000723047 140734000730062 0
/proc/832360/statm: 281037 269624 4047 3540 0 269294 0
Current children cumulated CPU time: 3213.82 s
Current children cumulated vsize: 1124148 KiB
Current children cumulated memory: 1078496 KiB

[startup+3282.3 s]
/proc/loadavg: 4.18 4.15 4.16 5/243 834385
/proc/meminfo: memFree=125176124/131655788 swapFree=131071996/131071996
[pid=832360] ppid=832357 vsize=1124148 memory=1081936 CPUtime=3273.68 cores=5,7
/proc/832360/stat : 832360 (pbscip) R 832357 832360 830398 0 -1 4194304 258648 0 0 0 327317 51 0 0 20 0 1 0 161883974 1151127552 270484 134679101440 4194304 18693293 140734000717664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34209792 140734000722948 140734000723047 140734000723047 140734000730062 0
/proc/832360/statm: 281037 270484 4047 3540 0 269294 0
Current children cumulated CPU time: 3273.68 s
Current children cumulated vsize: 1124148 KiB
Current children cumulated memory: 1081936 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.13 4.16 5/243 834395
/proc/meminfo: memFree=125163640/131655788 swapFree=131071996/131071996
[pid=832360] ppid=832357 vsize=1124148 memory=1082120 CPUtime=3333.53 cores=5,7
/proc/832360/stat : 832360 (pbscip) R 832357 832360 830398 0 -1 4194304 259072 0 0 0 333302 51 0 0 20 0 1 0 161883974 1151127552 270530 134679101440 4194304 18693293 140734000717664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34209792 140734000722948 140734000723047 140734000723047 140734000730062 0
/proc/832360/statm: 281037 270530 4047 3540 0 269294 0
Current children cumulated CPU time: 3333.53 s
Current children cumulated vsize: 1124148 KiB
Current children cumulated memory: 1082120 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.14 4.16 5/245 834463
/proc/meminfo: memFree=125140920/131655788 swapFree=131071996/131071996
[pid=832360] ppid=832357 vsize=1128820 memory=1086820 CPUtime=3393.38 cores=5,7
/proc/832360/stat : 832360 (pbscip) R 832357 832360 830398 0 -1 4194304 260747 0 0 0 339287 51 0 0 20 0 1 0 161883974 1155911680 271705 134679101440 4194304 18693293 140734000717664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34209792 140734000722948 140734000723047 140734000723047 140734000730062 0
/proc/832360/statm: 282205 271705 4047 3540 0 270462 0
Current children cumulated CPU time: 3393.38 s
Current children cumulated vsize: 1128820 KiB
Current children cumulated memory: 1086820 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.13 4.15 6/245 834474
/proc/meminfo: memFree=125085464/131655788 swapFree=131071996/131071996
[pid=832360] ppid=832357 vsize=1132616 memory=1092888 CPUtime=3453.24 cores=5,7
/proc/832360/stat : 832360 (pbscip) R 832357 832360 830398 0 -1 4194304 262133 0 0 0 345272 52 0 0 20 0 1 0 161883974 1159798784 273222 134679101440 4194304 18693293 140734000717664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34209792 140734000722948 140734000723047 140734000723047 140734000730062 0
/proc/832360/statm: 283154 273222 4047 3540 0 271411 0
Current children cumulated CPU time: 3453.24 s
Current children cumulated vsize: 1132616 KiB
Current children cumulated memory: 1092888 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.13 4.15 5/245 834485
/proc/meminfo: memFree=125062212/131655788 swapFree=131071996/131071996
[pid=832360] ppid=832357 vsize=1140388 memory=1101044 CPUtime=3513.1 cores=5,7
/proc/832360/stat : 832360 (pbscip) R 832357 832360 830398 0 -1 4194304 264473 0 0 0 351258 52 0 0 20 0 1 0 161883974 1167757312 275261 134679101440 4194304 18693293 140734000717664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34209792 140734000722948 140734000723047 140734000723047 140734000730062 0
/proc/832360/statm: 285097 275261 4047 3540 0 273354 0
Current children cumulated CPU time: 3513.1 s
Current children cumulated vsize: 1140388 KiB
Current children cumulated memory: 1101044 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.12 4.14 5/244 834495
/proc/meminfo: memFree=125040664/131655788 swapFree=131071996/131071996
[pid=832360] ppid=832357 vsize=1143128 memory=1103952 CPUtime=3572.95 cores=5,7
/proc/832360/stat : 832360 (pbscip) R 832357 832360 830398 0 -1 4194304 265595 0 0 0 357243 52 0 0 20 0 1 0 161883974 1170563072 275988 134679101440 4194304 18693293 140734000717664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34209792 140734000722948 140734000723047 140734000723047 140734000730062 0
/proc/832360/statm: 285782 275988 4047 3540 0 274039 0
Current children cumulated CPU time: 3572.95 s
Current children cumulated vsize: 1143128 KiB
Current children cumulated memory: 1103952 KiB

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

# cumulated CPU time of all completed processes:  user=3587.29 s, system=0.538812 s

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

[startup+3584 s]*
/proc/loadavg: 4.12 4.12 4.14 5/244 834495
/proc/meminfo: memFree=125039684/131655788 swapFree=131071996/131071996
[pid=832360] ppid=832357 vsize=1143128 memory=1103952 CPUtime=3574.65 cores=5,7
/proc/832360/stat : 832360 (pbscip) R 832357 832360 830398 0 -1 4194304 265605 0 0 0 357413 52 0 0 20 0 1 0 161883974 1170563072 275988 134679101440 4194304 18693293 140734000717664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34209792 140734000722948 140734000723047 140734000723047 140734000730062 0
/proc/832360/statm: 285782 275988 4047 3540 0 274039 0
Current children cumulated CPU time: 3574.65 s
Current children cumulated vsize: 1143128 KiB
Current children cumulated memory: 1103952 KiB

[startup+3590.4 s]
/proc/loadavg: 4.10 4.12 4.14 6/244 834497
/proc/meminfo: memFree=125035180/131655788 swapFree=131071996/131071996
[pid=832360] ppid=832357 vsize=1143128 memory=1103952 CPUtime=3581.03 cores=5,7
/proc/832360/stat : 832360 (pbscip) R 832357 832360 830398 0 -1 4194304 265605 0 0 0 358051 52 0 0 20 0 1 0 161883974 1170563072 275988 134679101440 4194304 18693293 140734000717664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34209792 140734000722948 140734000723047 140734000723047 140734000730062 0
/proc/832360/statm: 285782 275988 4047 3540 0 274039 0
Current children cumulated CPU time: 3581.03 s
Current children cumulated vsize: 1143128 KiB
Current children cumulated memory: 1103952 KiB

[startup+3593.6 s]
/proc/loadavg: 4.10 4.12 4.14 5/244 834497
/proc/meminfo: memFree=125034320/131655788 swapFree=131071996/131071996
[pid=832360] ppid=832357 vsize=1143128 memory=1103952 CPUtime=3584.22 cores=5,7
/proc/832360/stat : 832360 (pbscip) R 832357 832360 830398 0 -1 4194304 265641 0 0 0 358370 52 0 0 20 0 1 0 161883974 1170563072 275988 134679101440 4194304 18693293 140734000717664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34209792 140734000722948 140734000723047 140734000723047 140734000730062 0
/proc/832360/statm: 285782 275988 4047 3540 0 274039 0
Current children cumulated CPU time: 3584.22 s
Current children cumulated vsize: 1143128 KiB
Current children cumulated memory: 1103952 KiB

[startup+3595.2 s]
/proc/loadavg: 4.09 4.11 4.14 6/244 834497
/proc/meminfo: memFree=125034320/131655788 swapFree=131071996/131071996
[pid=832360] ppid=832357 vsize=1143128 memory=1103952 CPUtime=3585.82 cores=5,7
/proc/832360/stat : 832360 (pbscip) R 832357 832360 830398 0 -1 4194304 265641 0 0 0 358530 52 0 0 20 0 1 0 161883974 1170563072 275988 134679101440 4194304 18693293 140734000717664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34209792 140734000722948 140734000723047 140734000723047 140734000730062 0
/proc/832360/statm: 285782 275988 4047 3540 0 274039 0
Current children cumulated CPU time: 3585.82 s
Current children cumulated vsize: 1143128 KiB
Current children cumulated memory: 1103952 KiB

[startup+3596 s]*
/proc/loadavg: 4.09 4.11 4.14 5/244 834497
/proc/meminfo: memFree=125034320/131655788 swapFree=131071996/131071996
[pid=832360] ppid=832357 vsize=1143128 memory=1104136 CPUtime=3586.62 cores=5,7
/proc/832360/stat : 832360 (pbscip) R 832357 832360 830398 0 -1 4194304 265686 0 0 0 358610 52 0 0 20 0 1 0 161883974 1170563072 276034 134679101440 4194304 18693293 140734000717664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34209792 140734000722948 140734000723047 140734000723047 140734000730062 0
/proc/832360/statm: 285782 276034 4047 3540 0 274039 0
Current children cumulated CPU time: 3586.62 s
Current children cumulated vsize: 1143128 KiB
Current children cumulated memory: 1104136 KiB

[startup+3596.8 s]
/proc/loadavg: 4.09 4.11 4.14 5/244 834497
/proc/meminfo: memFree=125034320/131655788 swapFree=131071996/131071996
[pid=832360] ppid=832357 vsize=1143128 memory=1104136 CPUtime=3587.41 cores=5,7
/proc/832360/stat : 832360 (pbscip) R 832357 832360 830398 0 -1 4194304 265687 0 0 0 358689 52 0 0 20 0 1 0 161883974 1170563072 276034 134679101440 4194304 18693293 140734000717664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34209792 140734000722948 140734000723047 140734000723047 140734000730062 0
/proc/832360/statm: 285782 276034 4047 3540 0 274039 0
Current children cumulated CPU time: 3587.41 s
Current children cumulated vsize: 1143128 KiB
Current children cumulated memory: 1104136 KiB

[startup+3597 s]*
/proc/loadavg: 4.09 4.11 4.14 5/244 834498
/proc/meminfo: memFree=125034320/131655788 swapFree=131071996/131071996
[pid=832360] ppid=832357 vsize=1143128 memory=1104136 CPUtime=3587.62 cores=5,7
/proc/832360/stat : 832360 (pbscip) R 832357 832360 830398 0 -1 4194304 265687 0 0 0 358710 52 0 0 20 0 1 0 161883974 1170563072 276034 134679101440 4194304 18693293 140734000717664 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34209792 140734000722948 140734000723047 140734000723047 140734000730062 0
/proc/832360/statm: 285782 276034 4047 3540 0 274039 0
Current children cumulated CPU time: 3587.62 s
Current children cumulated vsize: 1143128 KiB
Current children cumulated memory: 1104136 KiB

[startup+3597.11 s]
/proc/loadavg: 4.09 4.11 4.14 5/244 834498
/proc/meminfo: memFree=125034320/131655788 swapFree=131071996/131071996
[pid=832360] ppid=832357 vsize=1143128 memory=1104136 CPUtime=3587.72 cores=5,7
/proc/832360/stat : 832360 (pbscip) R 832357 832360 830398 0 -1 4194304 265783 0 0 0 358720 52 0 0 20 0 1 0 161883974 1170563072 276034 134679101440 4194304 18693293 140734000717664 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34209792 140734000722948 140734000723047 140734000723047 140734000730062 0
/proc/832360/statm: 285782 276034 4047 3540 0 274039 0
Current children cumulated CPU time: 3587.72 s
Current children cumulated vsize: 1143128 KiB
Current children cumulated memory: 1104136 KiB

Child status: 0

Real time (s): 3597.21
CPU time (s): 3587.82
CPU user time (s): 3587.29
CPU system time (s): 0.538812
CPU usage (%): 99.7391
Max. virtual memory (cumulated for all children) (KiB): 1143128
Max. memory (cumulated for all children) (KiB): 1104136

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.29
system time used= 0.538812
maximum resident set size= 1104136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 265862
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= 63
involuntary context switches= 2199


# summary of solver processes directly reported to runsolver:
#   pid: 832360
#   total CPU time (s): 3587.82
#   total CPU user time (s): 3587.29
#   total CPU system time (s): 0.538812

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.7358 second user time and 34.5948 second system time

The end

Launcher Data

Begin job on nodeC005 at 2024-07-16 04:34:24
IDJOB=4432664
IDBENCH=147625
IDSOLVER=3059
FILE ID=nodeC005/4432664-1721097251
RUNJOBID= nodeC005-1721093664-830411
SLURM_JOB_ID= 7505597
Free space on /tmp= 723600 MiB

SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_18.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-4432664-1721097251/watcher-4432664-1721097251 -o /tmp/evaluation-result-4432664-1721097251/solver-4432664-1721097251 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721093664-830411 --watchdog 3760  pbscip -f HOME/instance-4432664-1721097251.opb -t 3600 -j 2 -m 31000

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

MD5SUM BENCH= 175cf8fd081870b89b1494469c4bb17a
RANDOM SEED=709616972

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        125186696 kB
MemAvailable:   126903648 kB
Buffers:          374144 kB
Cached:          2167528 kB
SwapCached:            0 kB
Active:           752900 kB
Inactive:        5142440 kB
Active(anon):       3432 kB
Inactive(anon):  3387952 kB
Active(file):     749468 kB
Inactive(file):  1754488 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             23888 kB
Writeback:             0 kB
AnonPages:       3346840 kB
Mapped:           128932 kB
Shmem:             37704 kB
KReclaimable:     106388 kB
Slab:             207960 kB
SReclaimable:     106388 kB
SUnreclaim:       101572 kB
KernelStack:        3920 kB
PageTables:        16208 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    4081616 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            52608 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2816000 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:      203592 kB
DirectMap2M:    11235328 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 723696 MiB
End job on nodeC005 at 2024-07-16 05:34:21