Trace number 3452350

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 spx SCIP 2.0.1.4. with SoPlex 1.5.0.4SAT (TO)-57 1800.1 1800.12

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_1000_60_4.opb
MD5SUM33f66c46bd2eace76f5fa6a5916a23ec
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-70
Best CPU time to get the best result obtained on this benchmark1800.22
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -81
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1000
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 constraints1000
Minimum length of a constraint60
Maximum length of a constraint107
Number of terms in the objective function 1000
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1000
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)75484
Sum of products size (including duplicates)150968
Number of different products37742
Sum of products size75484

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00	c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-3452350-1307109000.opb>
0.09/0.09	c original problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 1000 constraints
0.09/0.09	c problem read
0.09/0.09	c presolving settings loaded
0.29/0.30	o 0
0.29/0.30	c feasible solution found by trivial heuristic, objective value  0.000000e+00
0.29/0.30	c presolving:
0.69/0.73	c (round 1) 37742 del vars, 1000 del conss, 0 add conss, 37742 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 150968 impls, 0 clqs
0.79/0.86	c (round 2) 37742 del vars, 1000 del conss, 0 add conss, 37742 chg bounds, 0 chg sides, 0 chg coeffs, 37742 upgd conss, 226452 impls, 0 clqs
0.99/1.04	c    (1.0s) probing: 101/1000 (10.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.99/1.04	c    (1.0s) probing aborted: 100/100 successive totally useless probings
0.99/1.04	c presolving (3 rounds):
0.99/1.04	c  37742 deleted vars, 1000 deleted constraints, 0 added constraints, 37742 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.99/1.04	c  226452 implications, 0 cliques
0.99/1.04	c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 37742 constraints
0.99/1.04	c   37742 constraints of type <logicor>
0.99/1.04	c transformed objective value is always integral (scale: 1)
0.99/1.04	c Presolving Time: 0.93
0.99/1.04	c - non default parameters ----------------------------------------------------------------------
0.99/1.04	c # SCIP version 2.0.1.4
0.99/1.04	c 
0.99/1.04	c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.99/1.04	c # [type: int, range: [-1,2147483647], default: -1]
0.99/1.04	c conflict/interconss = 0
0.99/1.04	c 
0.99/1.04	c # should binary conflicts be preferred?
0.99/1.04	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.99/1.04	c conflict/preferbinary = TRUE
0.99/1.04	c 
0.99/1.04	c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.99/1.04	c # [type: int, range: [-1,2147483647], default: 0]
0.99/1.04	c constraints/agelimit = 1
0.99/1.04	c 
0.99/1.04	c # should enforcement of pseudo solution be disabled?
0.99/1.04	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.99/1.04	c constraints/disableenfops = TRUE
0.99/1.04	c 
0.99/1.04	c # frequency for displaying node information lines
0.99/1.04	c # [type: int, range: [-1,2147483647], default: 100]
0.99/1.04	c display/freq = 10000
0.99/1.04	c 
0.99/1.04	c # maximal time in seconds to run
0.99/1.04	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.99/1.04	c limits/time = 1800
0.99/1.04	c 
0.99/1.04	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.99/1.04	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.99/1.04	c limits/memory = 13950
0.99/1.04	c 
0.99/1.04	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.99/1.04	c # [type: int, range: [-1,2147483647], default: 1]
0.99/1.04	c lp/solvefreq = 0
0.99/1.04	c 
0.99/1.04	c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
0.99/1.04	c # [type: char, range: {lafpsqd}, default: l]
0.99/1.04	c lp/pricing = a
0.99/1.04	c 
0.99/1.04	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.99/1.04	c # [type: int, range: [1,2], default: 1]
0.99/1.04	c timing/clocktype = 2
0.99/1.04	c 
0.99/1.04	c # belongs reading time to solving time?
0.99/1.04	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.99/1.04	c timing/reading = TRUE
0.99/1.04	c 
0.99/1.04	c # should presolving try to simplify inequalities
0.99/1.04	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.99/1.04	c constraints/linear/simplifyinequalities = TRUE
0.99/1.04	c 
0.99/1.04	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.99/1.04	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.99/1.04	c constraints/indicator/addCouplingCons = TRUE
0.99/1.04	c 
0.99/1.04	c # should presolving try to simplify knapsacks
0.99/1.04	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.99/1.04	c constraints/knapsack/simplifyinequalities = TRUE
0.99/1.04	c 
0.99/1.04	c # priority of node selection rule <dfs> in standard mode
0.99/1.04	c # [type: int, range: [-536870912,536870911], default: 0]
0.99/1.04	c nodeselection/dfs/stdpriority = 1000000
0.99/1.04	c 
0.99/1.04	c -----------------------------------------------------------------------------------------------
0.99/1.04	c start solving
0.99/1.04	c 
1.49/1.53	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1.49/1.53	c t 1.5s|     1 |     0 |  1014 |     - |  77M|   0 |1000 |1000 |  37k|1000 |  37k|   0 |   0 |   0 |-5.000000e+02 | 0.000000e+00 | 100.00%
1.49/1.57	o -1
1.49/1.57	c R 1.6s|     1 |     0 |  1014 |     - |  77M|   0 |1000 |1000 |  37k|1000 |  37k|   0 |   0 |   0 |-5.000000e+02 |-1.000000e+00 |  99.80%
1.59/1.61	o -2
1.59/1.61	c s 1.6s|     1 |     0 |  1014 |     - |  77M|   0 |1000 |1000 |  37k|1000 |  37k|   0 |   0 |   0 |-5.000000e+02 |-2.000000e+00 |  99.60%
2.29/2.31	c   2.3s|     1 |     0 |  1272 |     - |  77M|   0 | 988 |1000 |  37k|1000 |  37k|  10 |   0 |   0 |-4.940000e+02 |-2.000000e+00 |  99.60%
2.29/2.32	o -53
2.29/2.32	c b 2.3s|     1 |     0 |  1272 |     - |  77M|   0 | 988 |1000 |  37k|1000 |  37k|  10 |   0 |   0 |-4.940000e+02 |-5.300000e+01 |  89.27%
2.99/3.01	c   3.0s|     1 |     0 |  1421 |     - |  77M|   0 | 977 |1000 |  37k|1000 |  37k|  19 |   0 |   0 |-4.885000e+02 |-5.300000e+01 |  89.15%
3.69/3.79	c   3.8s|     1 |     0 |  1668 |     - |  77M|   0 | 968 |1000 |  37k|1000 |  37k|  28 |   0 |   0 |-4.840000e+02 |-5.300000e+01 |  89.05%
4.59/4.66	c   4.7s|     1 |     0 |  1895 |     - |  77M|   0 | 959 |1000 |  37k|1000 |  37k|  35 |   0 |   0 |-4.795000e+02 |-5.300000e+01 |  88.95%
5.51/5.58	c   5.6s|     1 |     0 |  2236 |     - |  77M|   0 | 951 |1000 |  37k|1000 |  37k|  42 |   0 |   0 |-4.755000e+02 |-5.300000e+01 |  88.85%
6.60/6.64	c   6.6s|     1 |     0 |  2632 |     - |  77M|   0 | 944 |1000 |  37k|1000 |  37k|  51 |   0 |   0 |-4.715000e+02 |-5.300000e+01 |  88.76%
7.60/7.71	c   7.7s|     1 |     0 |  3115 |     - |  77M|   0 | 936 |1000 |  37k|1000 |  37k|  62 |   0 |   0 |-4.680000e+02 |-5.300000e+01 |  88.68%
8.99/9.07	c   9.1s|     1 |     0 |  3810 |     - |  78M|   0 | 929 |1000 |  37k|1000 |  37k|  76 |   0 |   0 |-4.635000e+02 |-5.300000e+01 |  88.57%
10.67/10.70	c  10.7s|     1 |     0 |  4860 |     - |  78M|   0 | 919 |1000 |  37k|1000 |  37k|  86 |   0 |   0 |-4.595000e+02 |-5.300000e+01 |  88.47%
12.36/12.41	c  12.4s|     1 |     0 |  5853 |     - |  78M|   0 | 906 |1000 |  37k|1000 |  37k| 102 |   0 |   0 |-4.530000e+02 |-5.300000e+01 |  88.30%
13.85/13.93	c  13.9s|     1 |     0 |  7066 |     - |  79M|   0 | 903 |1000 |  37k|1000 |1781 | 114 |   0 |   0 |-4.514000e+02 |-5.300000e+01 |  88.26%
14.05/14.17	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
14.05/14.17	c  14.2s|     1 |     0 |  7654 |     - |  79M|   0 | 889 |1000 |  37k|1000 |1792 | 125 |   0 |   0 |-4.485000e+02 |-5.300000e+01 |  88.18%
14.35/14.47	c  14.5s|     1 |     0 |  8365 |     - |  79M|   0 | 895 |1000 |  37k|1000 |2043 | 376 |   0 |   0 |-4.475000e+02 |-5.300000e+01 |  88.16%
14.96/15.09	c  15.1s|     1 |     0 | 11228 |     - |  80M|   0 | 877 |1000 |  37k|1000 |2213 | 546 |   0 |   0 |-4.442500e+02 |-5.300000e+01 |  88.07%
15.56/15.63	c  15.6s|     1 |     0 | 12010 |     - |  82M|   0 | 881 |1000 |  37k|1000 |3213 |1546 |   0 |   0 |-4.416667e+02 |-5.300000e+01 |  88.00%
15.96/16.02	c  16.0s|     1 |     0 | 13342 |     - |  82M|   0 | 874 |1000 |  37k|1000 |3518 |1851 |   0 |   0 |-4.400000e+02 |-5.300000e+01 |  87.95%
16.47/16.51	c  16.5s|     1 |     0 | 14385 |     - |  83M|   0 | 881 |1000 |  37k|1000 |3298 |2072 |   0 |   0 |-4.386667e+02 |-5.300000e+01 |  87.92%
16.86/16.92	c  16.9s|     1 |     0 | 15357 |     - |  83M|   0 | 875 |1000 |  37k|1000 |3652 |2426 |   0 |   0 |-4.370000e+02 |-5.300000e+01 |  87.87%
17.46/17.54	c  17.5s|     1 |     0 | 17504 |     - |  83M|   0 | 883 |1000 |  37k|1000 |4027 |2801 |   0 |   0 |-4.345000e+02 |-5.300000e+01 |  87.80%
18.05/18.10	c  18.1s|     1 |     0 | 19075 |     - |  84M|   0 | 854 |1000 |  37k|1000 |4207 |2981 |   0 |   0 |-4.315000e+02 |-5.300000e+01 |  87.72%
18.45/18.54	c  18.5s|     1 |     0 | 20749 |     - |  84M|   0 | 859 |1000 |  37k|1000 |4517 |3291 |   0 |   0 |-4.300000e+02 |-5.300000e+01 |  87.67%
18.95/19.09	c  19.1s|     1 |     0 | 23035 |     - |  84M|   0 | 903 |1000 |  37k|1000 |4695 |3469 |   0 |   0 |-4.277500e+02 |-5.300000e+01 |  87.61%
19.85/19.92	c  19.9s|     1 |     0 | 23164 |     - |  84M|   0 | 855 |1000 |  37k|1000 |6131 |5469 |   0 |   0 |-4.275000e+02 |-5.300000e+01 |  87.60%
20.16/20.21	c  20.2s|     1 |     0 | 23795 |     - |  84M|   0 | 847 |1000 |  37k|1000 |6140 |5478 |   0 |   0 |-4.240000e+02 |-5.300000e+01 |  87.50%
20.46/20.55	c  20.5s|     1 |     0 | 24493 |     - |  85M|   0 | 844 |1000 |  37k|1000 |6340 |5678 |   0 |   0 |-4.220000e+02 |-5.300000e+01 |  87.44%
20.66/20.80	c  20.8s|     1 |     0 | 24973 |     - |  85M|   0 | 848 |1000 |  37k|1000 |6395 |5733 |   0 |   0 |-4.207500e+02 |-5.300000e+01 |  87.40%
21.06/21.12	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
21.06/21.12	c  21.1s|     1 |     0 | 25666 |     - |  85M|   0 | 821 |1000 |  37k|1000 |6723 |6061 |   0 |   0 |-4.170000e+02 |-5.300000e+01 |  87.29%
21.55/21.63	c  21.6s|     1 |     0 | 27210 |     - |  85M|   0 | 824 |1000 |  37k|1000 |7195 |6533 |   0 |   0 |-4.150000e+02 |-5.300000e+01 |  87.23%
21.97/22.04	c  22.0s|     1 |     0 | 28094 |     - |  86M|   0 | 823 |1000 |  37k|1000 |4891 |6778 |   0 |   0 |-4.115000e+02 |-5.300000e+01 |  87.12%
22.35/22.43	c  22.4s|     1 |     0 | 29416 |     - |  86M|   0 | 818 |1000 |  37k|1000 |5016 |6903 |   0 |   0 |-4.100000e+02 |-5.300000e+01 |  87.07%
22.76/22.88	c  22.9s|     1 |     0 | 30984 |     - |  86M|   0 | 811 |1000 |  37k|1000 |5372 |7259 |   0 |   0 |-4.077500e+02 |-5.300000e+01 |  87.00%
23.36/23.43	c  23.4s|     1 |     0 | 33213 |     - |  87M|   0 | 819 |1000 |  37k|1000 |5631 |7518 |   0 |   0 |-4.047500e+02 |-5.300000e+01 |  86.91%
23.76/23.81	c  23.8s|     1 |     0 | 33536 |     - |  88M|   0 | 808 |1000 |  37k|1000 |7393 |9280 |   0 |   0 |-4.040000e+02 |-5.300000e+01 |  86.88%
24.06/24.13	c  24.1s|     1 |     0 | 34302 |     - |  88M|   0 | 803 |1000 |  37k|1000 |7400 |9287 |   0 |   0 |-4.025000e+02 |-5.300000e+01 |  86.83%
24.35/24.47	c  24.5s|     1 |     0 | 35212 |     - |  88M|   0 | 800 |1000 |  37k|1000 |6399 |9357 |   0 |   0 |-4.000000e+02 |-5.300000e+01 |  86.75%
24.65/24.77	c  24.8s|     1 |     0 | 35991 |     - |  88M|   0 | 802 |1000 |  37k|1000 |6406 |9364 |   0 |   0 |-3.987500e+02 |-5.300000e+01 |  86.71%
25.05/25.15	c  25.2s|     1 |     0 | 37080 |     - |  88M|   0 | 783 |1000 |  37k|1000 |6647 |9605 |   0 |   0 |-3.960000e+02 |-5.300000e+01 |  86.62%
25.36/25.48	c  25.5s|     1 |     0 | 38073 |     - |  88M|   0 | 787 |1000 |  37k|1000 |6923 |9881 |   0 |   0 |-3.945000e+02 |-5.300000e+01 |  86.57%
25.95/26.04	c  26.0s|     1 |     0 | 40485 |     - |  88M|   0 | 845 |1000 |  37k|1000 |6978 |9936 |   0 |   0 |-3.907917e+02 |-5.300000e+01 |  86.44%
26.45/26.58	c  26.6s|     1 |     0 | 40619 |     - |  88M|   0 | 781 |1000 |  37k|1000 |8978 |  11k|   0 |   0 |-3.905000e+02 |-5.300000e+01 |  86.43%
26.85/26.99	c  27.0s|     1 |     0 | 41539 |     - |  89M|   0 | 773 |1000 |  37k|1000 |7379 |  11k|   0 |   0 |-3.885000e+02 |-5.300000e+01 |  86.36%
27.25/27.31	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
27.25/27.31	c  27.3s|     1 |     0 | 42019 |     - |  89M|   0 | 783 |1000 |  37k|1000 |7484 |  12k|   0 |   0 |-3.880000e+02 |-5.300000e+01 |  86.34%
27.66/27.76	c  27.8s|     1 |     0 | 43198 |     - |  89M|   0 | 768 |1000 |  37k|1000 |7500 |  12k|   0 |   0 |-3.860000e+02 |-5.300000e+01 |  86.27%
27.96/28.06	c  28.1s|     1 |     0 | 43705 |     - |  89M|   0 | 773 |1000 |  37k|1000 |7625 |  12k|   0 |   0 |-3.855000e+02 |-5.300000e+01 |  86.25%
28.46/28.52	c  28.5s|     1 |     0 | 44886 |     - |  90M|   0 | 768 |1000 |  37k|1000 |7753 |  12k|   0 |   0 |-3.845000e+02 |-5.300000e+01 |  86.22%
28.76/28.81	c  28.8s|     1 |     0 | 45525 |     - |  90M|   0 | 770 |1000 |  37k|1000 |7860 |  12k|   0 |   0 |-3.830000e+02 |-5.300000e+01 |  86.16%
29.06/29.15	c  29.1s|     1 |     0 | 46272 |     - |  90M|   0 | 756 |1000 |  37k|1000 |5873 |  12k|   0 |   0 |-3.810000e+02 |-5.300000e+01 |  86.09%
29.46/29.51	c  29.5s|     1 |     0 | 47501 |     - |  90M|   0 | 753 |1000 |  37k|1000 |6050 |  12k|   0 |   0 |-3.780000e+02 |-5.300000e+01 |  85.98%
29.67/29.79	c  29.8s|     1 |     0 | 48419 |     - |  90M|   0 | 743 |1000 |  37k|1000 |6189 |  12k|   0 |   0 |-3.765000e+02 |-5.300000e+01 |  85.92%
29.95/30.03	c  30.0s|     1 |     0 | 48850 |     - |  90M|   0 | 770 |1000 |  37k|1000 |6443 |  13k|   0 |   0 |-3.755000e+02 |-5.300000e+01 |  85.89%
30.45/30.54	c  30.5s|     1 |     0 | 50519 |     - |  91M|   0 | 733 |1000 |  37k|1000 |6797 |  13k|   0 |   0 |-3.725000e+02 |-5.300000e+01 |  85.77%
30.66/30.79	c  30.8s|     1 |     0 | 50961 |     - |  91M|   0 | 744 |1000 |  37k|1000 |7105 |  13k|   0 |   0 |-3.720000e+02 |-5.300000e+01 |  85.75%
30.95/31.08	c  31.1s|     1 |     0 | 51517 |     - |  91M|   0 | 741 |1000 |  37k|1000 |6535 |  13k|   0 |   0 |-3.715000e+02 |-5.300000e+01 |  85.73%
31.55/31.68	c  31.7s|     1 |     0 | 53278 |     - |  92M|   0 | 742 |1000 |  37k|1000 |6595 |  13k|   0 |   0 |-3.705000e+02 |-5.300000e+01 |  85.70%
32.26/32.34	c  32.3s|     1 |     0 | 55768 |     - |  92M|   0 | 744 |1000 |  37k|1000 |6606 |  13k|   0 |   0 |-3.693333e+02 |-5.300000e+01 |  85.65%
32.97/33.07	c  33.1s|     1 |     0 | 58666 |     - |  92M|   0 | 823 |1000 |  37k|1000 |6920 |  14k|   0 |   0 |-3.685435e+02 |-5.300000e+01 |  85.62%
33.75/33.86	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
33.75/33.86	c  33.9s|     1 |     0 | 59129 |     - |  92M|   0 | 774 |1000 |  37k|1000 |8920 |  16k|   0 |   0 |-3.680000e+02 |-5.300000e+01 |  85.60%
34.45/34.54	c  34.5s|     1 |     0 | 61034 |     - |  92M|   0 | 750 |1000 |  37k|1000 |8931 |  16k|   0 |   0 |-3.660000e+02 |-5.300000e+01 |  85.52%
34.86/34.95	c  35.0s|     1 |     0 | 61981 |     - |  92M|   0 | 742 |1000 |  37k|1000 |8354 |  16k|   0 |   0 |-3.657500e+02 |-5.300000e+01 |  85.51%
35.85/35.90	c  35.9s|     1 |     0 | 64852 |     - |  93M|   0 | 734 |1000 |  37k|1000 |8365 |  16k|   0 |   0 |-3.645000e+02 |-5.300000e+01 |  85.46%
36.75/36.86	c  36.9s|     1 |     0 | 67275 |     - |  93M|   0 | 738 |1000 |  37k|1000 |8485 |  16k|   0 |   0 |-3.630000e+02 |-5.300000e+01 |  85.40%
37.65/37.76	c  37.8s|     1 |     0 | 70003 |     - |  94M|   0 | 754 |1000 |  37k|1000 |8633 |  16k|   0 |   0 |-3.614000e+02 |-5.300000e+01 |  85.33%
38.05/38.10	c  38.1s|     1 |     0 | 70547 |     - |  94M|   0 | 750 |1000 |  37k|1000 |8748 |  16k|   0 |   0 |-3.600000e+02 |-5.300000e+01 |  85.28%
38.36/38.47	c  38.5s|     1 |     0 | 71394 |     - |  94M|   0 | 726 |1000 |  37k|1000 |8796 |  16k|   0 |   0 |-3.582500e+02 |-5.300000e+01 |  85.21%
38.95/39.04	c  39.0s|     1 |     0 | 72761 |     - |  95M|   0 | 733 |1000 |  37k|1000 |8289 |  16k|   0 |   0 |-3.575000e+02 |-5.300000e+01 |  85.17%
39.57/39.67	c  39.7s|     1 |     0 | 73918 |     - |  95M|   0 | 718 |1000 |  37k|1000 |8392 |  16k|   0 |   0 |-3.570000e+02 |-5.300000e+01 |  85.15%
40.35/40.45	c  40.5s|     1 |     0 | 76075 |     - |  96M|   0 | 770 |1000 |  37k|1000 |8404 |  16k|   0 |   0 |-3.562500e+02 |-5.300000e+01 |  85.12%
41.77/41.83	c  41.8s|     1 |     0 | 79795 |     - |  96M|   0 | 764 |1000 |  37k|1000 |8605 |  17k|   0 |   0 |-3.555882e+02 |-5.300000e+01 |  85.10%
42.96/43.05	c  43.1s|     1 |     0 | 82811 |     - |  98M|   0 | 781 |1000 |  37k|1000 |8687 |  17k|   0 |   0 |-3.534916e+02 |-5.300000e+01 |  85.01%
43.97/44.04	c  44.0s|     1 |     0 | 84906 |     - |  99M|   0 | 760 |1000 |  37k|1000 |8968 |  17k|   0 |   0 |-3.519500e+02 |-5.300000e+01 |  84.94%
44.45/44.59	c  44.6s|     1 |     0 | 86049 |     - |  99M|   0 | 753 |1000 |  37k|1000 |8600 |  17k|   0 |   0 |-3.513125e+02 |-5.300000e+01 |  84.91%
45.25/45.33	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
45.25/45.33	c  45.3s|     1 |     0 | 88085 |     - | 100M|   0 | 697 |1000 |  37k|1000 |8752 |  17k|   0 |   0 |-3.485000e+02 |-5.300000e+01 |  84.79%
46.25/46.32	c  46.3s|     1 |     0 | 91268 |     - | 100M|   0 | 748 |1000 |  37k|1000 |8765 |  17k|   0 |   0 |-3.467083e+02 |-5.300000e+01 |  84.71%
46.86/46.97	c  47.0s|     1 |     0 | 92796 |     - | 101M|   0 | 749 |1000 |  37k|1000 |8941 |  17k|   0 |   0 |-3.459286e+02 |-5.300000e+01 |  84.68%
47.75/47.87	c  47.9s|     1 |     0 | 95164 |     - | 102M|   0 | 745 |1000 |  37k|1000 |9137 |  18k|   0 |   0 |-3.450538e+02 |-5.300000e+01 |  84.64%
48.65/48.76	c  48.8s|     1 |     0 | 97355 |     - | 103M|   0 | 750 |1000 |  37k|1000 |9230 |  18k|   0 |   0 |-3.436429e+02 |-5.300000e+01 |  84.58%
49.75/49.88	c  49.9s|     1 |     0 |100139 |     - | 104M|   0 | 726 |1000 |  37k|1000 |8960 |  18k|   0 |   0 |-3.427500e+02 |-5.300000e+01 |  84.54%
50.15/50.27	c  50.3s|     1 |     0 |100651 |     - | 105M|   0 | 752 |1000 |  37k|1000 |9048 |  18k|   0 |   0 |-3.424272e+02 |-5.300000e+01 |  84.52%
51.35/51.40	c  51.4s|     1 |     0 |103466 |     - | 106M|   0 | 723 |1000 |  37k|1000 |9166 |  18k|   0 |   0 |-3.418333e+02 |-5.300000e+01 |  84.50%
52.56/52.63	c  52.6s|     1 |     0 |106936 |     - | 106M|   0 | 701 |1000 |  37k|1000 |9273 |  18k|   0 |   0 |-3.401250e+02 |-5.300000e+01 |  84.42%
53.55/53.64	c  53.6s|     1 |     0 |109238 |     - | 107M|   0 | 758 |1000 |  37k|1000 |9379 |  18k|   0 |   0 |-3.388625e+02 |-5.300000e+01 |  84.36%
54.46/54.58	c  54.6s|     1 |     0 |111287 |     - | 109M|   0 | 755 |1000 |  37k|1000 |9396 |  18k|   0 |   0 |-3.373173e+02 |-5.300000e+01 |  84.29%
57.75/57.89	c  57.9s|     1 |     0 |119131 |     - | 110M|   0 | 784 |1000 |  37k|1000 |8862 |  18k|   0 |   0 |-3.351944e+02 |-5.300000e+01 |  84.19%
59.06/59.16	c  59.2s|     1 |     0 |122562 |     - | 112M|   0 | 744 |1000 |  37k|1000 |9261 |  19k|   0 |   0 |-3.340312e+02 |-5.300000e+01 |  84.13%
60.26/60.34	c  60.3s|     1 |     0 |125528 |     - | 114M|   0 | 745 |1000 |  37k|1000 |9316 |  19k|   0 |   0 |-3.320870e+02 |-5.300000e+01 |  84.04%
61.36/61.46	c  61.5s|     1 |     0 |128281 |     - | 115M|   0 | 752 |1000 |  37k|1000 |9527 |  19k|   0 |   0 |-3.313630e+02 |-5.300000e+01 |  84.01%
62.85/62.98	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
62.85/62.98	c  63.0s|     1 |     0 |131542 |     - | 116M|   0 | 731 |1000 |  37k|1000 |9574 |  19k|   0 |   0 |-3.301604e+02 |-5.300000e+01 |  83.95%
63.95/64.06	c  64.1s|     1 |     0 |133572 |     - | 116M|   0 | 779 |1000 |  37k|1000 |9623 |  19k|   0 |   0 |-3.292855e+02 |-5.300000e+01 |  83.90%
65.86/65.97	c  66.0s|     1 |     0 |137286 |     - | 117M|   0 | 773 |1000 |  37k|1000 |9187 |  19k|   0 |   0 |-3.281381e+02 |-5.300000e+01 |  83.85%
67.16/67.29	c  67.3s|     1 |     0 |139661 |     - | 117M|   0 | 780 |1000 |  37k|1000 |9332 |  19k|   0 |   0 |-3.270828e+02 |-5.300000e+01 |  83.80%
68.35/68.42	c  68.4s|     1 |     0 |141665 |     - | 117M|   0 | 768 |1000 |  37k|1000 |9349 |  19k|   0 |   0 |-3.264833e+02 |-5.300000e+01 |  83.77%
70.15/70.31	c  70.3s|     1 |     0 |145415 |     - | 118M|   0 | 771 |1000 |  37k|1000 |9435 |  19k|   0 |   0 |-3.246764e+02 |-5.300000e+01 |  83.68%
71.06/71.19	c  71.2s|     1 |     0 |146944 |     - | 118M|   0 | 746 |1000 |  37k|1000 |9598 |  20k|   0 |   0 |-3.234093e+02 |-5.300000e+01 |  83.61%
71.85/71.99	c  72.0s|     1 |     0 |148610 |     - | 120M|   0 | 750 |1000 |  37k|1000 |9729 |  20k|   0 |   0 |-3.224896e+02 |-5.300000e+01 |  83.57%
72.85/72.96	c  73.0s|     1 |     0 |150622 |     - | 122M|   0 | 750 |1000 |  37k|1000 |9416 |  20k|   0 |   0 |-3.213427e+02 |-5.300000e+01 |  83.51%
74.15/74.23	c  74.2s|     1 |     0 |153052 |     - | 123M|   0 | 769 |1000 |  37k|1000 |9463 |  20k|   0 |   0 |-3.196914e+02 |-5.300000e+01 |  83.42%
74.95/75.00	c  75.0s|     1 |     0 |154474 |     - | 124M|   0 | 769 |1000 |  37k|1000 |9671 |  20k|   0 |   0 |-3.188648e+02 |-5.300000e+01 |  83.38%
76.35/76.47	c  76.5s|     1 |     0 |157397 |     - | 127M|   0 | 786 |1000 |  37k|1000 |9698 |  20k|   0 |   0 |-3.172071e+02 |-5.300000e+01 |  83.29%
77.35/77.42	c  77.4s|     1 |     0 |159043 |     - | 129M|   0 | 794 |1000 |  37k|1000 |9874 |  20k|   0 |   0 |-3.168457e+02 |-5.300000e+01 |  83.27%
78.75/78.88	c  78.9s|     1 |     0 |160729 |     - | 129M|   0 | 794 |1000 |  37k|1000 |9962 |  20k|   0 |   0 |-3.154119e+02 |-5.300000e+01 |  83.20%
80.06/80.20	c  80.2s|     1 |     0 |162434 |     - | 129M|   0 | 782 |1000 |  37k|1000 |9714 |  21k|   0 |   0 |-3.149890e+02 |-5.300000e+01 |  83.17%
81.56/81.61	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
81.56/81.61	c  81.6s|     1 |     0 |165208 |     - | 132M|   0 | 789 |1000 |  37k|1000 |9766 |  21k|   0 |   0 |-3.137626e+02 |-5.300000e+01 |  83.11%
82.86/82.91	c  82.9s|     1 |     0 |167052 |     - | 132M|   0 | 807 |1000 |  37k|1000 |9815 |  21k|   0 |   0 |-3.130303e+02 |-5.300000e+01 |  83.07%
86.36/86.42	c  86.4s|     1 |     0 |173769 |     - | 132M|   0 | 802 |1000 |  37k|1000 |9928 |  21k|   0 |   0 |-3.110622e+02 |-5.300000e+01 |  82.96%
88.26/88.39	c  88.4s|     1 |     0 |177048 |     - | 132M|   0 | 809 |1000 |  37k|1000 |  10k|  21k|   0 |   0 |-3.101210e+02 |-5.300000e+01 |  82.91%
90.45/90.51	c  90.5s|     1 |     0 |180291 |     - | 132M|   0 | 802 |1000 |  37k|1000 |  10k|  21k|   0 |   0 |-3.090452e+02 |-5.300000e+01 |  82.85%
92.37/92.48	c  92.5s|     1 |     0 |183099 |     - | 132M|   0 | 796 |1000 |  37k|1000 |9683 |  21k|   0 |   0 |-3.081590e+02 |-5.300000e+01 |  82.80%
93.85/93.97	c  94.0s|     1 |     0 |185326 |     - | 133M|   0 | 793 |1000 |  37k|1000 |9698 |  21k|   0 |   0 |-3.076010e+02 |-5.300000e+01 |  82.77%
95.56/95.66	c  95.7s|     1 |     0 |187813 |     - | 132M|   0 | 801 |1000 |  37k|1000 |9902 |  21k|   0 |   0 |-3.068169e+02 |-5.300000e+01 |  82.73%
97.15/97.28	c  97.3s|     1 |     0 |189997 |     - | 132M|   0 | 810 |1000 |  37k|1000 |9943 |  21k|   0 |   0 |-3.060470e+02 |-5.300000e+01 |  82.68%
100.07/100.15	c   100s|     1 |     0 |194514 |     - | 132M|   0 | 821 |1000 |  37k|1000 |  10k|  21k|   0 |   0 |-3.050001e+02 |-5.300000e+01 |  82.62%
102.75/102.83	c   103s|     1 |     0 |198266 |     - | 131M|   0 | 825 |1000 |  37k|1000 |  10k|  21k|   0 |   0 |-3.037245e+02 |-5.300000e+01 |  82.55%
105.35/105.42	c   105s|     1 |     0 |202031 |     - | 131M|   0 | 817 |1000 |  37k|1000 |9926 |  22k|   0 |   0 |-3.028072e+02 |-5.300000e+01 |  82.50%
108.76/108.84	c   109s|     1 |     0 |208030 |     - | 131M|   0 | 828 |1000 |  37k|1000 |9941 |  22k|   0 |   0 |-3.019358e+02 |-5.300000e+01 |  82.45%
111.95/112.06	c   112s|     1 |     0 |212620 |     - | 130M|   0 | 824 |1000 |  37k|1000 |  10k|  22k|   0 |   0 |-3.005875e+02 |-5.300000e+01 |  82.37%
114.05/114.10	c   114s|     1 |     0 |215267 |     - | 130M|   0 | 825 |1000 |  37k|1000 |  10k|  22k|   0 |   0 |-2.997368e+02 |-5.300000e+01 |  82.32%
117.45/117.59	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
117.45/117.59	c   118s|     1 |     0 |221066 |     - | 130M|   0 | 841 |1000 |  37k|1000 |  10k|  22k|   0 |   0 |-2.988295e+02 |-5.300000e+01 |  82.26%
121.25/121.37	c   121s|     1 |     0 |226555 |     - | 129M|   0 | 842 |1000 |  37k|1000 |  10k|  22k|   0 |   0 |-2.979954e+02 |-5.300000e+01 |  82.21%
124.45/124.57	c   125s|     1 |     0 |230812 |     - | 129M|   0 | 848 |1000 |  37k|1000 |  10k|  22k|   0 |   0 |-2.972366e+02 |-5.300000e+01 |  82.17%
127.16/127.25	c   127s|     1 |     0 |233811 |     - | 129M|   0 | 851 |1000 |  37k|1000 |  10k|  22k|   0 |   0 |-2.967591e+02 |-5.300000e+01 |  82.14%
129.96/130.01	c   130s|     1 |     0 |236148 |     - | 129M|   0 | 848 |1000 |  37k|1000 |  10k|  22k|   0 |   0 |-2.964208e+02 |-5.300000e+01 |  82.12%
132.86/132.95	c   133s|     1 |     0 |239908 |     - | 128M|   0 | 835 |1000 |  37k|1000 |  10k|  22k|   0 |   0 |-2.957793e+02 |-5.300000e+01 |  82.08%
136.06/136.15	c   136s|     1 |     0 |244317 |     - | 128M|   0 | 842 |1000 |  37k|1000 |  10k|  22k|   0 |   0 |-2.951273e+02 |-5.300000e+01 |  82.04%
139.05/139.10	c   139s|     1 |     0 |247791 |     - | 128M|   0 | 852 |1000 |  37k|1000 |  10k|  22k|   0 |   0 |-2.943636e+02 |-5.300000e+01 |  82.00%
142.76/142.86	c   143s|     1 |     0 |251635 |     - | 128M|   0 | 853 |1000 |  37k|1000 |  10k|  22k|   0 |   0 |-2.936507e+02 |-5.300000e+01 |  81.95%
146.35/146.49	c   146s|     1 |     0 |255589 |     - | 128M|   0 | 852 |1000 |  37k|1000 |  10k|  22k|   0 |   0 |-2.931328e+02 |-5.300000e+01 |  81.92%
150.56/150.66	c   151s|     1 |     0 |260890 |     - | 128M|   0 | 864 |1000 |  37k|1000 |  10k|  22k|   0 |   0 |-2.925228e+02 |-5.300000e+01 |  81.88%
154.96/155.04	c   155s|     1 |     0 |266204 |     - | 128M|   0 | 860 |1000 |  37k|1000 |  10k|  23k|   0 |   0 |-2.916450e+02 |-5.300000e+01 |  81.83%
159.15/159.30	c   159s|     1 |     0 |271083 |     - | 128M|   0 | 864 |1000 |  37k|1000 |  10k|  23k|   0 |   0 |-2.905045e+02 |-5.300000e+01 |  81.76%
163.55/163.62	c   164s|     1 |     0 |276383 |     - | 127M|   0 | 857 |1000 |  37k|1000 |  10k|  23k|   0 |   0 |-2.895744e+02 |-5.300000e+01 |  81.70%
167.17/167.25	c   167s|     1 |     0 |280581 |     - | 127M|   0 | 861 |1000 |  37k|1000 |  10k|  23k|   0 |   0 |-2.885822e+02 |-5.300000e+01 |  81.63%
170.55/170.68	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
170.55/170.68	c   171s|     1 |     0 |283949 |     - | 127M|   0 | 866 |1000 |  37k|1000 |  10k|  23k|   0 |   0 |-2.882566e+02 |-5.300000e+01 |  81.61%
175.06/175.10	c   175s|     1 |     0 |288569 |     - | 126M|   0 | 882 |1000 |  37k|1000 |  10k|  23k|   0 |   0 |-2.873776e+02 |-5.300000e+01 |  81.56%
179.05/179.19	c   179s|     1 |     0 |291770 |     - | 126M|   0 | 875 |1000 |  37k|1000 |  10k|  23k|   0 |   0 |-2.866141e+02 |-5.300000e+01 |  81.51%
184.35/184.46	c   184s|     1 |     0 |296359 |     - | 126M|   0 | 879 |1000 |  37k|1000 |  10k|  23k|   0 |   0 |-2.855953e+02 |-5.300000e+01 |  81.44%
189.17/189.24	c   189s|     1 |     0 |300797 |     - | 126M|   0 | 884 |1000 |  37k|1000 |  10k|  23k|   0 |   0 |-2.846779e+02 |-5.300000e+01 |  81.38%
193.35/193.41	c   193s|     1 |     0 |303869 |     - | 126M|   0 | 878 |1000 |  37k|1000 |  10k|  23k|   0 |   0 |-2.841295e+02 |-5.300000e+01 |  81.35%
197.55/197.66	c   198s|     1 |     0 |308154 |     - | 126M|   0 | 887 |1000 |  37k|1000 |  10k|  23k|   0 |   0 |-2.832456e+02 |-5.300000e+01 |  81.29%
202.65/202.72	c   203s|     1 |     0 |313533 |     - | 126M|   0 | 871 |1000 |  37k|1000 |  10k|  23k|   0 |   0 |-2.825851e+02 |-5.300000e+01 |  81.24%
207.46/207.51	c   208s|     1 |     0 |318398 |     - | 126M|   0 | 892 |1000 |  37k|1000 |  10k|  23k|   0 |   0 |-2.818631e+02 |-5.300000e+01 |  81.20%
213.37/213.46	c   213s|     1 |     0 |324056 |     - | 126M|   0 | 884 |1000 |  37k|1000 |  10k|  23k|   0 |   0 |-2.803988e+02 |-5.300000e+01 |  81.10%
218.46/218.53	c   219s|     1 |     0 |327895 |     - | 125M|   0 | 896 |1000 |  37k|1000 |  10k|  23k|   0 |   0 |-2.796172e+02 |-5.300000e+01 |  81.05%
223.46/223.59	c   224s|     1 |     0 |330838 |     - | 125M|   0 | 900 |1000 |  37k|1000 |  10k|  23k|   0 |   0 |-2.790499e+02 |-5.300000e+01 |  81.01%
228.16/228.21	c   228s|     1 |     0 |333376 |     - | 125M|   0 | 898 |1000 |  37k|1000 |  10k|  24k|   0 |   0 |-2.782508e+02 |-5.300000e+01 |  80.95%
233.55/233.60	c   234s|     1 |     0 |337821 |     - | 125M|   0 | 891 |1000 |  37k|1000 |  10k|  24k|   0 |   0 |-2.772299e+02 |-5.300000e+01 |  80.88%
238.06/238.17	c   238s|     1 |     0 |339934 |     - | 124M|   0 | 897 |1000 |  37k|1000 |  10k|  24k|   0 |   0 |-2.768113e+02 |-5.300000e+01 |  80.85%
243.56/243.67	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
243.56/243.67	c   244s|     1 |     0 |343924 |     - | 124M|   0 | 891 |1000 |  37k|1000 |  11k|  24k|   0 |   0 |-2.760243e+02 |-5.300000e+01 |  80.80%
250.56/250.62	c   251s|     1 |     0 |351447 |     - | 124M|   0 | 899 |1000 |  37k|1000 |  11k|  24k|   0 |   0 |-2.751019e+02 |-5.300000e+01 |  80.73%
256.75/256.89	c   257s|     1 |     0 |356025 |     - | 124M|   0 | 900 |1000 |  37k|1000 |  11k|  24k|   0 |   0 |-2.742349e+02 |-5.300000e+01 |  80.67%
262.15/262.22	c   262s|     1 |     0 |359597 |     - | 124M|   0 | 892 |1000 |  37k|1000 |  11k|  24k|   0 |   0 |-2.737320e+02 |-5.300000e+01 |  80.64%
267.45/267.50	c   268s|     1 |     0 |362884 |     - | 124M|   0 | 897 |1000 |  37k|1000 |  11k|  24k|   0 |   0 |-2.729423e+02 |-5.300000e+01 |  80.58%
272.36/272.45	c   272s|     1 |     0 |365254 |     - | 124M|   0 | 900 |1000 |  37k|1000 |  11k|  24k|   0 |   0 |-2.725199e+02 |-5.300000e+01 |  80.55%
278.27/278.33	c   278s|     1 |     0 |369538 |     - | 124M|   0 | 914 |1000 |  37k|1000 |  11k|  24k|   0 |   0 |-2.718985e+02 |-5.300000e+01 |  80.51%
283.95/284.07	c   284s|     1 |     0 |373263 |     - | 124M|   0 | 907 |1000 |  37k|1000 |  11k|  24k|   0 |   0 |-2.711765e+02 |-5.300000e+01 |  80.46%
289.75/289.84	c   290s|     1 |     0 |376710 |     - | 123M|   0 | 899 |1000 |  37k|1000 |  11k|  24k|   0 |   0 |-2.705872e+02 |-5.300000e+01 |  80.41%
295.26/295.40	c   295s|     1 |     0 |379827 |     - | 122M|   0 | 901 |1000 |  37k|1000 |  11k|  24k|   0 |   0 |-2.700294e+02 |-5.300000e+01 |  80.37%
301.37/301.48	c   301s|     1 |     0 |383641 |     - | 122M|   0 | 905 |1000 |  37k|1000 |  11k|  24k|   0 |   0 |-2.693672e+02 |-5.300000e+01 |  80.32%
307.46/307.50	c   308s|     1 |     0 |387473 |     - | 122M|   0 | 904 |1000 |  37k|1000 |  11k|  24k|   0 |   0 |-2.686694e+02 |-5.300000e+01 |  80.27%
314.36/314.44	c   314s|     1 |     0 |393073 |     - | 122M|   0 | 902 |1000 |  37k|1000 |  11k|  24k|   0 |   0 |-2.677642e+02 |-5.300000e+01 |  80.21%
320.35/320.45	c   320s|     1 |     0 |396632 |     - | 122M|   0 | 904 |1000 |  37k|1000 |  11k|  24k|   0 |   0 |-2.672215e+02 |-5.300000e+01 |  80.17%
326.05/326.10	c   326s|     1 |     0 |399216 |     - | 121M|   0 | 910 |1000 |  37k|1000 |  11k|  25k|   0 |   0 |-2.668990e+02 |-5.300000e+01 |  80.14%
332.06/332.18	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
332.06/332.18	c   332s|     1 |     0 |402563 |     - | 121M|   0 | 905 |1000 |  37k|1000 |  11k|  25k|   0 |   0 |-2.663213e+02 |-5.300000e+01 |  80.10%
339.15/339.23	c   339s|     1 |     0 |408038 |     - | 121M|   0 | 907 |1000 |  37k|1000 |  11k|  25k|   0 |   0 |-2.655588e+02 |-5.300000e+01 |  80.04%
345.86/345.91	c   346s|     1 |     0 |412625 |     - | 120M|   0 | 907 |1000 |  37k|1000 |  11k|  25k|   0 |   0 |-2.649260e+02 |-5.300000e+01 |  79.99%
351.76/351.84	c   352s|     1 |     0 |415994 |     - | 120M|   0 | 915 |1000 |  37k|1000 |  11k|  25k|   0 |   0 |-2.645018e+02 |-5.300000e+01 |  79.96%
358.05/358.11	c   358s|     1 |     0 |420147 |     - | 120M|   0 | 917 |1000 |  37k|1000 |  11k|  25k|   0 |   0 |-2.640332e+02 |-5.300000e+01 |  79.93%
363.36/363.45	c   363s|     1 |     0 |422102 |     - | 119M|   0 | 921 |1000 |  37k|1000 |  11k|  25k|   0 |   0 |-2.638535e+02 |-5.300000e+01 |  79.91%
368.47/368.59	c   369s|     1 |     0 |423737 |     - | 119M|   0 | 919 |1000 |  37k|1000 |  11k|  25k|   0 |   0 |-2.636921e+02 |-5.300000e+01 |  79.90%
374.66/374.70	c   375s|     1 |     0 |427444 |     - | 119M|   0 | 913 |1000 |  37k|1000 |  11k|  25k|   0 |   0 |-2.633321e+02 |-5.300000e+01 |  79.87%
381.26/381.36	c   381s|     1 |     0 |431942 |     - | 117M|   0 | 920 |1000 |  37k|1000 |  11k|  25k|   0 |   0 |-2.627624e+02 |-5.300000e+01 |  79.83%
388.56/388.69	c   389s|     1 |     0 |437406 |     - | 116M|   0 | 920 |1000 |  37k|1000 |  11k|  25k|   0 |   0 |-2.621888e+02 |-5.300000e+01 |  79.79%
394.65/394.80	c   395s|     1 |     0 |440470 |     - | 116M|   0 | 922 |1000 |  37k|1000 |  11k|  25k|   0 |   0 |-2.616875e+02 |-5.300000e+01 |  79.75%
400.56/400.62	c   401s|     1 |     0 |443207 |     - | 115M|   0 | 925 |1000 |  37k|1000 |  11k|  25k|   0 |   0 |-2.613050e+02 |-5.300000e+01 |  79.72%
407.46/407.57	c   408s|     1 |     0 |448048 |     - | 115M|   0 | 933 |1000 |  37k|1000 |  11k|  25k|   0 |   0 |-2.605215e+02 |-5.300000e+01 |  79.66%
414.06/414.13	c   414s|     1 |     0 |452156 |     - | 114M|   0 | 932 |1000 |  37k|1000 |  11k|  25k|   0 |   0 |-2.600043e+02 |-5.300000e+01 |  79.62%
419.96/420.01	c   420s|     1 |     0 |454840 |     - | 114M|   0 | 926 |1000 |  37k|1000 |  11k|  25k|   0 |   0 |-2.595410e+02 |-5.300000e+01 |  79.58%
425.46/425.59	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
425.46/425.59	c   426s|     1 |     0 |456898 |     - | 113M|   0 | 934 |1000 |  37k|1000 |  11k|  25k|   0 |   0 |-2.592342e+02 |-5.300000e+01 |  79.56%
431.36/431.46	c   431s|     1 |     0 |459115 |     - | 112M|   0 | 940 |1000 |  37k|1000 |  11k|  25k|   0 |   0 |-2.589225e+02 |-5.300000e+01 |  79.53%
437.36/437.50	c   437s|     1 |     0 |461659 |     - | 111M|   0 | 939 |1000 |  37k|1000 |  11k|  25k|   0 |   0 |-2.586144e+02 |-5.300000e+01 |  79.51%
443.06/443.17	c   443s|     1 |     0 |463799 |     - | 110M|   0 | 942 |1000 |  37k|1000 |  11k|  25k|   0 |   0 |-2.583590e+02 |-5.300000e+01 |  79.49%
448.78/448.89	c   449s|     1 |     0 |466198 |     - | 110M|   0 | 943 |1000 |  37k|1000 |  11k|  25k|   0 |   0 |-2.581228e+02 |-5.300000e+01 |  79.47%
454.17/454.31	c   454s|     1 |     0 |467993 |     - | 109M|   0 | 938 |1000 |  37k|1000 |  11k|  25k|   0 |   0 |-2.578809e+02 |-5.300000e+01 |  79.45%
460.16/460.22	c   460s|     1 |     0 |470452 |     - | 109M|   0 | 948 |1000 |  37k|1000 |  11k|  25k|   0 |   0 |-2.575098e+02 |-5.300000e+01 |  79.42%
465.66/465.75	c   466s|     1 |     0 |472191 |     - | 107M|   0 | 948 |1000 |  37k|1000 |  11k|  25k|   0 |   0 |-2.572944e+02 |-5.300000e+01 |  79.40%
472.06/472.16	c   472s|     1 |     0 |475426 |     - | 105M|   0 | 945 |1000 |  37k|1000 |  11k|  25k|   0 |   0 |-2.567556e+02 |-5.300000e+01 |  79.36%
478.26/478.37	c   478s|     1 |     0 |478689 |     - | 104M|   0 | 944 |1000 |  37k|1000 |  11k|  25k|   0 |   0 |-2.564248e+02 |-5.300000e+01 |  79.33%
484.86/484.93	c   485s|     1 |     0 |481980 |     - | 102M|   0 | 951 |1000 |  37k|1000 |  11k|  25k|   0 |   0 |-2.558059e+02 |-5.300000e+01 |  79.28%
490.46/490.56	c   491s|     1 |     0 |483826 |     - | 101M|   0 | 950 |1000 |  37k|1000 |  11k|  25k|   0 |   0 |-2.555762e+02 |-5.300000e+01 |  79.26%
496.36/496.43	c   496s|     1 |     0 |485966 |     - | 100M|   0 | 948 |1000 |  37k|1000 |  11k|  25k|   0 |   0 |-2.553378e+02 |-5.300000e+01 |  79.24%
503.56/503.62	c   504s|     1 |     0 |490043 |     - |  99M|   0 | 952 |1000 |  37k|1000 |  11k|  26k|   0 |   0 |-2.550986e+02 |-5.300000e+01 |  79.22%
509.86/509.92	c   510s|     1 |     0 |492715 |     - |  99M|   0 | 960 |1000 |  37k|1000 |  11k|  26k|   0 |   0 |-2.546067e+02 |-5.300000e+01 |  79.18%
515.66/515.77	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
515.66/515.77	c   516s|     1 |     0 |494779 |     - |  99M|   0 | 958 |1000 |  37k|1000 |  11k|  26k|   0 |   0 |-2.543337e+02 |-5.300000e+01 |  79.16%
521.27/521.34	c   521s|     1 |     0 |496235 |     - |  98M|   0 | 961 |1000 |  37k|1000 |  11k|  26k|   0 |   0 |-2.541812e+02 |-5.300000e+01 |  79.15%
526.88/526.93	c   527s|     1 |     0 |497703 |     - |  98M|   0 | 967 |1000 |  37k|1000 |  11k|  26k|   0 |   0 |-2.540499e+02 |-5.300000e+01 |  79.14%
532.57/532.65	c   533s|     1 |     0 |499438 |     - |  97M|   0 | 968 |1000 |  37k|1000 |  11k|  26k|   0 |   0 |-2.539104e+02 |-5.300000e+01 |  79.13%
538.26/538.38	c   538s|     1 |     0 |501051 |     - |  95M|   0 | 968 |1000 |  37k|1000 |  11k|  26k|   0 |   0 |-2.536866e+02 |-5.300000e+01 |  79.11%
543.96/544.02	c   544s|     1 |     0 |502300 |     - |  94M|   0 | 966 |1000 |  37k|1000 |  11k|  26k|   0 |   0 |-2.535159e+02 |-5.300000e+01 |  79.09%
549.46/549.56	c   550s|     1 |     0 |503794 |     - |  93M|   0 | 967 |1000 |  37k|1000 |  11k|  26k|   0 |   0 |-2.532954e+02 |-5.300000e+01 |  79.08%
555.06/555.15	c   555s|     1 |     0 |505252 |     - |  91M|   0 | 973 |1000 |  37k|1000 |  11k|  26k|   0 |   0 |-2.531415e+02 |-5.300000e+01 |  79.06%
560.56/560.69	c   561s|     1 |     0 |506654 |     - |  89M|   0 | 974 |1000 |  37k|1000 |  11k|  26k|   0 |   0 |-2.530146e+02 |-5.300000e+01 |  79.05%
566.27/566.39	c   566s|     1 |     0 |508092 |     - |  86M|   0 | 970 |1000 |  37k|1000 |  11k|  26k|   0 |   0 |-2.528015e+02 |-5.300000e+01 |  79.03%
572.07/572.13	c   572s|     1 |     0 |509616 |     - |  86M|   0 | 973 |1000 |  37k|1000 |  11k|  26k|   0 |   0 |-2.526202e+02 |-5.300000e+01 |  79.02%
577.56/577.67	c   578s|     1 |     0 |510819 |     - |  86M|   0 | 973 |1000 |  37k|1000 |  11k|  26k|   0 |   0 |-2.524706e+02 |-5.300000e+01 |  79.01%
583.26/583.36	c   583s|     1 |     0 |512297 |     - |  84M|   0 | 970 |1000 |  37k|1000 |  11k|  26k|   0 |   0 |-2.522650e+02 |-5.300000e+01 |  78.99%
589.77/589.83	c   590s|     1 |     0 |515000 |     - |  84M|   0 | 975 |1000 |  37k|1000 |  11k|  26k|   0 |   0 |-2.520249e+02 |-5.300000e+01 |  78.97%
595.27/595.33	c   595s|     1 |     0 |516178 |     - |  84M|   0 | 970 |1000 |  37k|1000 |  11k|  26k|   0 |   0 |-2.518067e+02 |-5.300000e+01 |  78.95%
601.06/601.13	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
601.06/601.13	c   601s|     1 |     0 |517706 |     - |  83M|   0 | 980 |1000 |  37k|1000 |  11k|  26k|   0 |   0 |-2.516521e+02 |-5.300000e+01 |  78.94%
606.97/607.05	c   607s|     1 |     0 |519293 |     - |  83M|   0 | 978 |1000 |  37k|1000 |  11k|  26k|   0 |   0 |-2.514424e+02 |-5.300000e+01 |  78.92%
612.57/612.65	c   613s|     1 |     0 |520456 |     - |  83M|   0 | 977 |1000 |  37k|1000 |  11k|  26k|   0 |   0 |-2.512628e+02 |-5.300000e+01 |  78.91%
618.36/618.40	c   618s|     1 |     0 |522047 |     - |  83M|   0 | 977 |1000 |  37k|1000 |  11k|  26k|   0 |   0 |-2.510119e+02 |-5.300000e+01 |  78.89%
623.97/624.08	c   624s|     1 |     0 |523277 |     - |  83M|   0 | 976 |1000 |  37k|1000 |  11k|  26k|   0 |   0 |-2.508499e+02 |-5.300000e+01 |  78.87%
629.66/629.71	c   630s|     1 |     0 |524436 |     - |  83M|   0 | 980 |1000 |  37k|1000 |  11k|  26k|   0 |   0 |-2.506981e+02 |-5.300000e+01 |  78.86%
635.16/635.27	c   635s|     1 |     0 |525630 |     - |  83M|   0 | 983 |1000 |  37k|1000 |  11k|  26k|   0 |   0 |-2.505991e+02 |-5.300000e+01 |  78.85%
640.67/640.74	c   641s|     1 |     0 |526365 |     - |  83M|   0 | 985 |1000 |  37k|1000 |  11k|  26k|   0 |   0 |-2.505346e+02 |-5.300000e+01 |  78.85%
646.67/646.72	c   647s|     1 |     0 |528011 |     - |  83M|   0 | 981 |1000 |  37k|1000 |  11k|  26k|   0 |   0 |-2.503506e+02 |-5.300000e+01 |  78.83%
652.46/652.54	c   653s|     1 |     0 |529502 |     - |  83M|   0 | 985 |1000 |  37k|1000 |  11k|  26k|   0 |   0 |-2.501718e+02 |-5.300000e+01 |  78.81%
657.97/658.09	c   658s|     1 |     0 |530449 |     - |  83M|   0 | 987 |1000 |  37k|1000 |  11k|  26k|   0 |   0 |-2.500508e+02 |-5.300000e+01 |  78.80%
663.46/663.54	c   664s|     1 |     0 |531258 |     - |  83M|   0 | 983 |1000 |  37k|1000 |  11k|  26k|   0 |   0 |-2.499359e+02 |-5.300000e+01 |  78.79%
669.57/669.62	c   670s|     1 |     0 |533064 |     - |  83M|   0 | 982 |1000 |  37k|1000 |  11k|  26k|   0 |   0 |-2.496571e+02 |-5.300000e+01 |  78.77%
675.38/675.43	c   675s|     1 |     0 |534455 |     - |  83M|   0 | 980 |1000 |  37k|1000 |  11k|  26k|   0 |   0 |-2.494386e+02 |-5.300000e+01 |  78.75%
681.07/681.11	c   681s|     1 |     0 |535538 |     - |  83M|   0 | 984 |1000 |  37k|1000 |  11k|  26k|   0 |   0 |-2.492506e+02 |-5.300000e+01 |  78.74%
686.16/686.20	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
686.16/686.20	c   686s|     1 |     0 |536002 |     - |  83M|   0 | 987 |1000 |  37k|1000 |  11k|  26k|   0 |   0 |-2.491807e+02 |-5.300000e+01 |  78.73%
691.56/691.62	c   692s|     1 |     0 |536829 |     - |  83M|   0 | 983 |1000 |  37k|1000 |  11k|  26k|   0 |   0 |-2.490687e+02 |-5.300000e+01 |  78.72%
697.46/697.53	c   698s|     1 |     0 |538339 |     - |  83M|   0 | 986 |1000 |  37k|1000 |  11k|  26k|   0 |   0 |-2.489620e+02 |-5.300000e+01 |  78.71%
702.96/703.07	c   703s|     1 |     0 |539193 |     - |  83M|   0 | 986 |1000 |  37k|1000 |  11k|  26k|   0 |   0 |-2.488716e+02 |-5.300000e+01 |  78.70%
708.57/708.61	c   709s|     1 |     0 |539977 |     - |  83M|   0 | 985 |1000 |  37k|1000 |  11k|  26k|   0 |   0 |-2.487790e+02 |-5.300000e+01 |  78.70%
715.07/715.17	c   715s|     1 |     0 |542114 |     - |  83M|   0 | 987 |1000 |  37k|1000 |  11k|  26k|   0 |   0 |-2.485620e+02 |-5.300000e+01 |  78.68%
720.57/720.66	c   721s|     1 |     0 |542993 |     - |  83M|   0 | 987 |1000 |  37k|1000 |  11k|  26k|   0 |   0 |-2.484671e+02 |-5.300000e+01 |  78.67%
726.47/726.52	c   727s|     1 |     0 |544367 |     - |  83M|   0 | 990 |1000 |  37k|1000 |  11k|  26k|   0 |   0 |-2.482908e+02 |-5.300000e+01 |  78.65%
732.36/732.51	c   733s|     1 |     0 |545861 |     - |  83M|   0 | 990 |1000 |  37k|1000 |  11k|  26k|   0 |   0 |-2.481361e+02 |-5.300000e+01 |  78.64%
737.66/737.79	c   738s|     1 |     0 |546309 |     - |  83M|   0 | 990 |1000 |  37k|1000 |  11k|  26k|   0 |   0 |-2.480863e+02 |-5.300000e+01 |  78.64%
743.59/743.68	c   744s|     1 |     0 |547396 |     - |  83M|   0 | 992 |1000 |  37k|1000 |  11k|  26k|   0 |   0 |-2.479646e+02 |-5.300000e+01 |  78.63%
749.46/749.53	c   750s|     1 |     0 |548632 |     - |  83M|   0 | 991 |1000 |  37k|1000 |  11k|  26k|   0 |   0 |-2.478546e+02 |-5.300000e+01 |  78.62%
755.26/755.32	c   755s|     1 |     0 |549785 |     - |  83M|   0 | 994 |1000 |  37k|1000 |  11k|  26k|   0 |   0 |-2.477291e+02 |-5.300000e+01 |  78.61%
760.86/760.96	c   761s|     1 |     0 |550639 |     - |  83M|   0 | 996 |1000 |  37k|1000 |  11k|  26k|   0 |   0 |-2.475966e+02 |-5.300000e+01 |  78.59%
766.68/766.72	c   767s|     1 |     0 |551483 |     - |  83M|   0 | 995 |1000 |  37k|1000 |  11k|  26k|   0 |   0 |-2.474418e+02 |-5.300000e+01 |  78.58%
772.47/772.53	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
772.47/772.53	c   773s|     1 |     0 |552390 |     - |  83M|   0 | 994 |1000 |  37k|1000 |  11k|  26k|   0 |   0 |-2.473559e+02 |-5.300000e+01 |  78.57%
778.06/778.14	c   778s|     1 |     0 |553093 |     - |  83M|   0 | 995 |1000 |  37k|1000 |  11k|  26k|   0 |   0 |-2.472601e+02 |-5.300000e+01 |  78.57%
783.47/783.58	c   784s|     1 |     0 |553594 |     - |  83M|   0 | 996 |1000 |  37k|1000 |  11k|  26k|   0 |   0 |-2.472173e+02 |-5.300000e+01 |  78.56%
789.26/789.30	c   789s|     1 |     0 |554559 |     - |  83M|   0 | 998 |1000 |  37k|1000 |  11k|  26k|   0 |   0 |-2.471565e+02 |-5.300000e+01 |  78.56%
794.87/794.93	c   795s|     1 |     0 |555192 |     - |  83M|   0 | 997 |1000 |  37k|1000 |  11k|  26k|   0 |   0 |-2.470897e+02 |-5.300000e+01 |  78.55%
800.26/800.36	c   800s|     1 |     0 |555669 |     - |  83M|   0 | 997 |1000 |  37k|1000 |  11k|  26k|   0 |   0 |-2.470185e+02 |-5.300000e+01 |  78.54%
805.77/805.84	c   806s|     1 |     0 |556189 |     - |  83M|   0 | 998 |1000 |  37k|1000 |  11k|  26k|   0 |   0 |-2.469763e+02 |-5.300000e+01 |  78.54%
811.47/811.55	c   812s|     1 |     0 |556964 |     - |  82M|   0 | 999 |1000 |  37k|1000 |  11k|  26k|   0 |   0 |-2.468447e+02 |-5.300000e+01 |  78.53%
817.66/817.71	c   818s|     1 |     0 |558223 |     - |  83M|   0 | 998 |1000 |  37k|1000 |  11k|  26k|   0 |   0 |-2.466840e+02 |-5.300000e+01 |  78.52%
823.27/823.32	c   823s|     1 |     0 |558840 |     - |  83M|   0 | 998 |1000 |  37k|1000 |  11k|  26k|   0 |   0 |-2.465712e+02 |-5.300000e+01 |  78.51%
829.39/829.43	c   829s|     1 |     0 |560080 |     - |  83M|   0 | 998 |1000 |  37k|1000 |  11k|  26k|   0 |   0 |-2.464164e+02 |-5.300000e+01 |  78.49%
834.89/834.93	c   835s|     1 |     0 |560603 |     - |  83M|   0 |1000 |1000 |  37k|1000 |  11k|  26k|   0 |   0 |-2.463258e+02 |-5.300000e+01 |  78.48%
840.39/840.48	c   840s|     1 |     0 |561318 |     - |  83M|   0 | 999 |1000 |  37k|1000 |  11k|  26k|   0 |   0 |-2.462551e+02 |-5.300000e+01 |  78.48%
845.96/846.01	c   846s|     1 |     0 |561784 |     - |  82M|   0 | 998 |1000 |  37k|1000 |  11k|  26k|   0 |   0 |-2.461935e+02 |-5.300000e+01 |  78.47%
851.56/851.61	c   852s|     1 |     0 |562272 |     - |  82M|   0 | 998 |1000 |  37k|1000 |  11k|  26k|   0 |   0 |-2.461424e+02 |-5.300000e+01 |  78.47%
856.97/857.02	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
856.97/857.02	c   857s|     1 |     0 |562726 |     - |  82M|   0 | 999 |1000 |  37k|1000 |  11k|  26k|   0 |   0 |-2.460906e+02 |-5.300000e+01 |  78.46%
862.27/862.40	c   862s|     1 |     0 |563294 |     - |  82M|   0 |1000 |1000 |  37k|1000 |  11k|  26k|   0 |   0 |-2.460290e+02 |-5.300000e+01 |  78.46%
867.96/868.00	c   868s|     1 |     0 |564008 |     - |  82M|   0 | 998 |1000 |  37k|1000 |  11k|  27k|   0 |   0 |-2.459322e+02 |-5.300000e+01 |  78.45%
873.87/873.91	c   874s|     1 |     0 |564977 |     - |  82M|   0 | 999 |1000 |  37k|1000 |  11k|  27k|   0 |   0 |-2.458247e+02 |-5.300000e+01 |  78.44%
879.57/879.62	c   880s|     1 |     0 |565620 |     - |  82M|   0 | 998 |1000 |  37k|1000 |  11k|  27k|   0 |   0 |-2.457611e+02 |-5.300000e+01 |  78.43%
885.27/885.39	c   885s|     1 |     0 |566191 |     - |  82M|   0 | 998 |1000 |  37k|1000 |  11k|  27k|   0 |   0 |-2.456902e+02 |-5.300000e+01 |  78.43%
890.77/890.86	c   891s|     1 |     0 |566569 |     - |  82M|   0 | 999 |1000 |  37k|1000 |  11k|  27k|   0 |   0 |-2.456423e+02 |-5.300000e+01 |  78.42%
896.49/896.59	c   897s|     1 |     0 |567199 |     - |  82M|   0 | 998 |1000 |  37k|1000 |  11k|  27k|   0 |   0 |-2.455768e+02 |-5.300000e+01 |  78.42%
902.27/902.30	c   902s|     1 |     0 |567957 |     - |  82M|   0 | 999 |1000 |  37k|1000 |  11k|  27k|   0 |   0 |-2.455056e+02 |-5.300000e+01 |  78.41%
908.48/908.53	c   909s|     1 |     0 |569183 |     - |  82M|   0 | 998 |1000 |  37k|1000 |  11k|  27k|   0 |   0 |-2.453470e+02 |-5.300000e+01 |  78.40%
914.17/914.29	c   914s|     1 |     0 |569802 |     - |  82M|   0 | 997 |1000 |  37k|1000 |  11k|  27k|   0 |   0 |-2.452742e+02 |-5.300000e+01 |  78.39%
920.47/920.55	c   921s|     1 |     0 |571372 |     - |  82M|   0 | 998 |1000 |  37k|1000 |  11k|  27k|   0 |   0 |-2.451808e+02 |-5.300000e+01 |  78.38%
925.97/926.07	c   926s|     1 |     0 |572078 |     - |  82M|   0 |1000 |1000 |  37k|1000 |  11k|  27k|   0 |   0 |-2.450955e+02 |-5.300000e+01 |  78.38%
931.77/931.80	c   932s|     1 |     0 |572740 |     - |  82M|   0 |1000 |1000 |  37k|1000 |  11k|  27k|   0 |   0 |-2.449866e+02 |-5.300000e+01 |  78.37%
937.27/937.37	c   937s|     1 |     0 |573161 |     - |  82M|   0 |1000 |1000 |  37k|1000 |  11k|  27k|   0 |   0 |-2.449426e+02 |-5.300000e+01 |  78.36%
943.07/943.15	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
943.07/943.15	c   943s|     1 |     0 |573926 |     - |  82M|   0 | 999 |1000 |  37k|1000 |  11k|  27k|   0 |   0 |-2.448580e+02 |-5.300000e+01 |  78.35%
948.87/948.93	c   949s|     1 |     0 |574563 |     - |  82M|   0 |1000 |1000 |  37k|1000 |  11k|  27k|   0 |   0 |-2.448132e+02 |-5.300000e+01 |  78.35%
954.96/955.07	c   955s|     1 |     0 |575609 |     - |  82M|   0 |1000 |1000 |  37k|1000 |  11k|  27k|   0 |   0 |-2.447328e+02 |-5.300000e+01 |  78.34%
960.57/960.67	c   961s|     1 |     0 |576249 |     - |  82M|   0 |1000 |1000 |  37k|1000 |  11k|  27k|   0 |   0 |-2.446864e+02 |-5.300000e+01 |  78.34%
966.67/966.74	c   967s|     1 |     0 |577162 |     - |  82M|   0 |1000 |1000 |  37k|1000 |  11k|  27k|   0 |   0 |-2.446331e+02 |-5.300000e+01 |  78.33%
972.57/972.61	c   973s|     1 |     0 |577993 |     - |  82M|   0 |1000 |1000 |  37k|1000 |  11k|  27k|   0 |   0 |-2.445352e+02 |-5.300000e+01 |  78.33%
978.27/978.39	c   978s|     1 |     0 |578761 |     - |  82M|   0 | 999 |1000 |  37k|1000 |  12k|  27k|   0 |   0 |-2.444986e+02 |-5.300000e+01 |  78.32%
984.27/984.30	c   984s|     1 |     0 |579658 |     - |  82M|   0 | 999 |1000 |  37k|1000 |  12k|  27k|   0 |   0 |-2.444216e+02 |-5.300000e+01 |  78.32%
990.06/990.10	c   990s|     1 |     0 |580346 |     - |  82M|   0 |1000 |1000 |  37k|1000 |  11k|  27k|   0 |   0 |-2.443472e+02 |-5.300000e+01 |  78.31%
995.27/995.38	c   995s|     1 |     0 |580698 |     - |  82M|   0 |1000 |1000 |  37k|1000 |  11k|  27k|   0 |   0 |-2.443202e+02 |-5.300000e+01 |  78.31%
1001.57/1001.60	c  1002s|     1 |     0 |581920 |     - |  82M|   0 | 997 |1000 |  37k|1000 |  11k|  27k|   0 |   0 |-2.441792e+02 |-5.300000e+01 |  78.29%
1007.07/1007.13	c  1007s|     1 |     0 |582329 |     - |  82M|   0 | 997 |1000 |  37k|1000 |  12k|  27k|   0 |   0 |-2.441472e+02 |-5.300000e+01 |  78.29%
1013.17/1013.25	c  1013s|     1 |     0 |583544 |     - |  82M|   0 | 999 |1000 |  37k|1000 |  12k|  27k|   0 |   0 |-2.440807e+02 |-5.300000e+01 |  78.29%
1019.17/1019.26	c  1019s|     1 |     0 |584490 |     - |  82M|   0 | 999 |1000 |  37k|1000 |  12k|  27k|   0 |   0 |-2.439995e+02 |-5.300000e+01 |  78.28%
1025.57/1025.61	c  1026s|     1 |     0 |585696 |     - |  82M|   0 | 999 |1000 |  37k|1000 |  11k|  27k|   0 |   0 |-2.439071e+02 |-5.300000e+01 |  78.27%
1031.47/1031.51	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1031.47/1031.51	c  1032s|     1 |     0 |586558 |     - |  82M|   0 |1000 |1000 |  37k|1000 |  12k|  27k|   0 |   0 |-2.438515e+02 |-5.300000e+01 |  78.27%
1037.29/1037.36	c  1037s|     1 |     0 |587532 |     - |  82M|   0 |1000 |1000 |  37k|1000 |  12k|  27k|   0 |   0 |-2.437921e+02 |-5.300000e+01 |  78.26%
1043.37/1043.42	c  1043s|     1 |     0 |588459 |     - |  82M|   0 |1000 |1000 |  37k|1000 |  12k|  27k|   0 |   0 |-2.437214e+02 |-5.300000e+01 |  78.25%
1049.07/1049.18	c  1049s|     1 |     0 |589080 |     - |  82M|   0 | 999 |1000 |  37k|1000 |  12k|  27k|   0 |   0 |-2.436690e+02 |-5.300000e+01 |  78.25%
1055.07/1055.15	c  1055s|     1 |     0 |590116 |     - |  82M|   0 | 999 |1000 |  37k|1000 |  12k|  27k|   0 |   0 |-2.435951e+02 |-5.300000e+01 |  78.24%
1061.17/1061.23	c  1061s|     1 |     0 |591317 |     - |  82M|   0 |1000 |1000 |  37k|1000 |  12k|  27k|   0 |   0 |-2.435287e+02 |-5.300000e+01 |  78.24%
1067.18/1067.25	c  1067s|     1 |     0 |592436 |     - |  82M|   0 |1000 |1000 |  37k|1000 |  12k|  27k|   0 |   0 |-2.434564e+02 |-5.300000e+01 |  78.23%
1073.07/1073.15	c  1073s|     1 |     0 |593391 |     - |  82M|   0 |1000 |1000 |  37k|1000 |  12k|  27k|   0 |   0 |-2.433828e+02 |-5.300000e+01 |  78.22%
1079.17/1079.29	c  1079s|     1 |     0 |594689 |     - |  82M|   0 |1000 |1000 |  37k|1000 |  12k|  27k|   0 |   0 |-2.433059e+02 |-5.300000e+01 |  78.22%
1085.27/1085.36	c  1085s|     1 |     0 |595627 |     - |  82M|   0 |1000 |1000 |  37k|1000 |  12k|  27k|   0 |   0 |-2.432284e+02 |-5.300000e+01 |  78.21%
1091.27/1091.34	c  1091s|     1 |     0 |596575 |     - |  82M|   0 |1000 |1000 |  37k|1000 |  12k|  27k|   0 |   0 |-2.431658e+02 |-5.300000e+01 |  78.20%
1098.27/1098.38	c  1098s|     1 |     0 |598832 |     - |  82M|   0 |1000 |1000 |  37k|1000 |  12k|  27k|   0 |   0 |-2.430573e+02 |-5.300000e+01 |  78.19%
1104.07/1104.12	c  1104s|     1 |     0 |599544 |     - |  82M|   0 |1000 |1000 |  37k|1000 |  12k|  27k|   0 |   0 |-2.430031e+02 |-5.300000e+01 |  78.19%
1109.97/1110.09	c  1110s|     1 |     0 |600344 |     - |  82M|   0 |1000 |1000 |  37k|1000 |  12k|  27k|   0 |   0 |-2.429564e+02 |-5.300000e+01 |  78.19%
1115.87/1115.99	c  1116s|     1 |     0 |601146 |     - |  82M|   0 |1000 |1000 |  37k|1000 |  12k|  27k|   0 |   0 |-2.428950e+02 |-5.300000e+01 |  78.18%
1121.88/1121.92	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1121.88/1121.92	c  1122s|     1 |     0 |601867 |     - |  82M|   0 |1000 |1000 |  37k|1000 |  12k|  27k|   0 |   0 |-2.428492e+02 |-5.300000e+01 |  78.18%
1127.78/1127.83	c  1128s|     1 |     0 |602591 |     - |  82M|   0 |1000 |1000 |  37k|1000 |  12k|  27k|   0 |   0 |-2.427773e+02 |-5.300000e+01 |  78.17%
1133.77/1133.87	c  1134s|     1 |     0 |603489 |     - |  82M|   0 |1000 |1000 |  37k|1000 |  12k|  27k|   0 |   0 |-2.427363e+02 |-5.300000e+01 |  78.17%
1139.47/1139.61	c  1140s|     1 |     0 |604204 |     - |  82M|   0 |1000 |1000 |  37k|1000 |  12k|  27k|   0 |   0 |-2.426825e+02 |-5.300000e+01 |  78.16%
1145.57/1145.69	c  1146s|     1 |     0 |605129 |     - |  82M|   0 |1000 |1000 |  37k|1000 |  12k|  27k|   0 |   0 |-2.426031e+02 |-5.300000e+01 |  78.15%
1151.77/1151.87	c  1152s|     1 |     0 |606244 |     - |  82M|   0 | 999 |1000 |  37k|1000 |  12k|  27k|   0 |   0 |-2.425183e+02 |-5.300000e+01 |  78.15%
1157.77/1157.82	c  1158s|     1 |     0 |606992 |     - |  82M|   0 |1000 |1000 |  37k|1000 |  12k|  27k|   0 |   0 |-2.424643e+02 |-5.300000e+01 |  78.14%
1163.88/1163.99	c  1164s|     1 |     0 |607909 |     - |  82M|   0 |1000 |1000 |  37k|1000 |  12k|  27k|   0 |   0 |-2.424116e+02 |-5.300000e+01 |  78.14%
1170.07/1170.16	c  1170s|     1 |     0 |608810 |     - |  82M|   0 |1000 |1000 |  37k|1000 |  12k|  27k|   0 |   0 |-2.423745e+02 |-5.300000e+01 |  78.13%
1176.17/1176.22	c  1176s|     1 |     0 |609712 |     - |  82M|   0 |1000 |1000 |  37k|1000 |  12k|  27k|   0 |   0 |-2.423340e+02 |-5.300000e+01 |  78.13%
1182.08/1182.19	c  1182s|     1 |     0 |610563 |     - |  82M|   0 |1000 |1000 |  37k|1000 |  12k|  27k|   0 |   0 |-2.422887e+02 |-5.300000e+01 |  78.13%
1188.08/1188.19	c  1188s|     1 |     0 |611458 |     - |  82M|   0 |1000 |1000 |  37k|1000 |  12k|  27k|   0 |   0 |-2.422460e+02 |-5.300000e+01 |  78.12%
1193.77/1193.84	c  1194s|     1 |     0 |612084 |     - |  82M|   0 |1000 |1000 |  37k|1000 |  12k|  27k|   0 |   0 |-2.422080e+02 |-5.300000e+01 |  78.12%
1199.87/1199.91	c  1200s|     1 |     0 |613024 |     - |  82M|   0 |1000 |1000 |  37k|1000 |  12k|  27k|   0 |   0 |-2.421529e+02 |-5.300000e+01 |  78.11%
1206.28/1206.35	c  1206s|     1 |     0 |614394 |     - |  82M|   0 |1000 |1000 |  37k|1000 |  12k|  27k|   0 |   0 |-2.420955e+02 |-5.300000e+01 |  78.11%
1212.08/1212.19	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1212.08/1212.19	c  1212s|     1 |     0 |615344 |     - |  82M|   0 |1000 |1000 |  37k|1000 |  12k|  27k|   0 |   0 |-2.420481e+02 |-5.300000e+01 |  78.10%
1218.17/1218.27	c  1218s|     1 |     0 |616506 |     - |  82M|   0 |1000 |1000 |  37k|1000 |  12k|  27k|   0 |   0 |-2.420014e+02 |-5.300000e+01 |  78.10%
1223.87/1223.91	c  1224s|     1 |     0 |617050 |     - |  82M|   0 |1000 |1000 |  37k|1000 |  12k|  27k|   0 |   0 |-2.419722e+02 |-5.300000e+01 |  78.10%
1229.87/1229.92	c  1230s|     1 |     0 |617864 |     - |  82M|   0 |1000 |1000 |  37k|1000 |  12k|  27k|   0 |   0 |-2.419403e+02 |-5.300000e+01 |  78.09%
1235.47/1235.55	c  1236s|     1 |     0 |618467 |     - |  82M|   0 |1000 |1000 |  37k|1000 |  12k|  27k|   0 |   0 |-2.419283e+02 |-5.300000e+01 |  78.09%
1241.17/1241.25	c  1241s|     1 |     0 |619101 |     - |  82M|   0 |1000 |1000 |  37k|1000 |  12k|  27k|   0 |   0 |-2.419019e+02 |-5.300000e+01 |  78.09%
1246.77/1246.88	c  1247s|     1 |     0 |619868 |     - |  82M|   0 |1000 |1000 |  37k|1000 |  12k|  27k|   0 |   0 |-2.418658e+02 |-5.300000e+01 |  78.09%
1252.48/1252.51	c  1253s|     1 |     0 |620292 |     - |  82M|   0 |1000 |1000 |  37k|1000 |  12k|  27k|   0 |   0 |-2.418506e+02 |-5.300000e+01 |  78.09%
1258.40/1258.47	c  1258s|     1 |     0 |621147 |     - |  82M|   0 |1000 |1000 |  37k|1000 |  12k|  27k|   0 |   0 |-2.418210e+02 |-5.300000e+01 |  78.08%
1264.17/1264.29	c  1264s|     1 |     0 |621951 |     - |  82M|   0 |1000 |1000 |  37k|1000 |  12k|  27k|   0 |   0 |-2.417893e+02 |-5.300000e+01 |  78.08%
1269.78/1269.80	c  1270s|     1 |     0 |622302 |     - |  82M|   0 |1000 |1000 |  37k|1000 |  12k|  27k|   0 |   0 |-2.417795e+02 |-5.300000e+01 |  78.08%
1275.48/1275.55	c  1276s|     1 |     0 |622988 |     - |  82M|   0 |1000 |1000 |  37k|1000 |  12k|  27k|   0 |   0 |-2.417544e+02 |-5.300000e+01 |  78.08%
1281.68/1281.79	c  1282s|     1 |     0 |624658 |     - |  82M|   0 |1000 |1000 |  37k|1000 |  12k|  27k|   0 |   0 |-2.417064e+02 |-5.300000e+01 |  78.07%
1287.57/1287.66	c  1288s|     1 |     0 |625530 |     - |  82M|   0 |1000 |1000 |  37k|1000 |  12k|  27k|   0 |   0 |-2.416829e+02 |-5.300000e+01 |  78.07%
1293.27/1293.34	c  1293s|     1 |     0 |626167 |     - |  82M|   0 |1000 |1000 |  37k|1000 |  12k|  27k|   0 |   0 |-2.416709e+02 |-5.300000e+01 |  78.07%
1298.88/1298.97	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1298.88/1298.97	c  1299s|     1 |     0 |626799 |     - |  82M|   0 |1000 |1000 |  37k|1000 |  12k|  27k|   0 |   0 |-2.416541e+02 |-5.300000e+01 |  78.07%
1304.77/1304.82	c  1305s|     1 |     0 |627753 |     - |  82M|   0 |1000 |1000 |  37k|1000 |  12k|  27k|   0 |   0 |-2.416210e+02 |-5.300000e+01 |  78.06%
1310.58/1310.63	c  1311s|     1 |     0 |628659 |     - |  82M|   0 |1000 |1000 |  37k|1000 |  12k|  27k|   0 |   0 |-2.416020e+02 |-5.300000e+01 |  78.06%
1316.07/1316.13	c  1316s|     1 |     0 |629301 |     - |  82M|   0 |1000 |1000 |  37k|1000 |  12k|  27k|   0 |   0 |-2.415869e+02 |-5.300000e+01 |  78.06%
1321.87/1321.99	c  1322s|     1 |     0 |630268 |     - |  82M|   0 |1000 |1000 |  37k|1000 |  12k|  27k|   0 |   0 |-2.415520e+02 |-5.300000e+01 |  78.06%
1327.48/1327.60	c  1328s|     1 |     0 |631048 |     - |  82M|   0 |1000 |1000 |  37k|1000 |  12k|  27k|   0 |   0 |-2.415336e+02 |-5.300000e+01 |  78.06%
1333.19/1333.25	c  1333s|     1 |     0 |631728 |     - |  82M|   0 |1000 |1000 |  37k|1000 |  12k|  27k|   0 |   0 |-2.415136e+02 |-5.300000e+01 |  78.06%
1339.18/1339.25	c  1339s|     1 |     0 |632798 |     - |  82M|   0 |1000 |1000 |  37k|1000 |  12k|  27k|   0 |   0 |-2.414817e+02 |-5.300000e+01 |  78.05%
1344.87/1344.96	c  1345s|     1 |     0 |633530 |     - |  82M|   0 |1000 |1000 |  37k|1000 |  12k|  27k|   0 |   0 |-2.414624e+02 |-5.300000e+01 |  78.05%
1350.57/1350.61	c  1351s|     1 |     0 |634300 |     - |  82M|   0 |1000 |1000 |  37k|1000 |  12k|  28k|   0 |   0 |-2.414367e+02 |-5.300000e+01 |  78.05%
1355.97/1356.04	c  1356s|     1 |     0 |634902 |     - |  82M|   0 |1000 |1000 |  37k|1000 |  12k|  28k|   0 |   0 |-2.414240e+02 |-5.300000e+01 |  78.05%
1361.57/1361.63	c  1362s|     1 |     0 |635636 |     - |  82M|   0 |1000 |1000 |  37k|1000 |  12k|  28k|   0 |   0 |-2.414101e+02 |-5.300000e+01 |  78.05%
1367.30/1367.35	c  1367s|     1 |     0 |636419 |     - |  82M|   0 |1000 |1000 |  37k|1000 |  12k|  28k|   0 |   0 |-2.413844e+02 |-5.300000e+01 |  78.04%
1373.17/1373.29	c  1373s|     1 |     0 |637673 |     - |  82M|   0 |1000 |1000 |  37k|1000 |  12k|  28k|   0 |   0 |-2.413410e+02 |-5.300000e+01 |  78.04%
1378.87/1378.95	c  1379s|     1 |     0 |638445 |     - |  82M|   0 |1000 |1000 |  37k|1000 |  12k|  28k|   0 |   0 |-2.413220e+02 |-5.300000e+01 |  78.04%
1384.38/1384.47	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1384.38/1384.47	c  1384s|     1 |     0 |639253 |     - |  82M|   0 |1000 |1000 |  37k|1000 |  12k|  28k|   0 |   0 |-2.413048e+02 |-5.300000e+01 |  78.04%
1389.87/1389.91	c  1390s|     1 |     0 |639793 |     - |  82M|   0 |1000 |1000 |  37k|1000 |  12k|  28k|   0 |   0 |-2.412970e+02 |-5.300000e+01 |  78.04%
1395.57/1395.69	c  1396s|     1 |     0 |640965 |     - |  82M|   0 |1000 |1000 |  37k|1000 |  12k|  28k|   0 |   0 |-2.412734e+02 |-5.300000e+01 |  78.03%
1401.28/1401.40	c  1401s|     1 |     0 |641617 |     - |  82M|   0 |1000 |1000 |  37k|1000 |  12k|  28k|   0 |   0 |-2.412560e+02 |-5.300000e+01 |  78.03%
1406.98/1407.07	c  1407s|     1 |     0 |642228 |     - |  82M|   0 |1000 |1000 |  37k|1000 |  12k|  28k|   0 |   0 |-2.412446e+02 |-5.300000e+01 |  78.03%
1412.87/1412.98	c  1413s|     1 |     0 |643466 |     - |  82M|   0 |1000 |1000 |  37k|1000 |  12k|  28k|   0 |   0 |-2.412235e+02 |-5.300000e+01 |  78.03%
1418.27/1418.30	c  1418s|     1 |     0 |644002 |     - |  82M|   0 |1000 |1000 |  37k|1000 |  12k|  28k|   0 |   0 |-2.412148e+02 |-5.300000e+01 |  78.03%
1423.47/1423.58	c  1424s|     1 |     0 |644373 |     - |  82M|   0 |1000 |1000 |  37k|1000 |  12k|  28k|   0 |   0 |-2.412073e+02 |-5.300000e+01 |  78.03%
1428.98/1429.00	c  1429s|     1 |     0 |644863 |     - |  82M|   0 |1000 |1000 |  37k|1000 |  12k|  28k|   0 |   0 |-2.411982e+02 |-5.300000e+01 |  78.03%
1434.40/1434.48	c  1434s|     1 |     0 |645218 |     - |  82M|   0 |1000 |1000 |  37k|1000 |  12k|  28k|   0 |   0 |-2.411924e+02 |-5.300000e+01 |  78.03%
1439.90/1439.99	c  1440s|     1 |     0 |645847 |     - |  82M|   0 |1000 |1000 |  37k|1000 |  12k|  28k|   0 |   0 |-2.411811e+02 |-5.300000e+01 |  78.02%
1445.98/1446.06	c  1446s|     1 |     0 |647123 |     - |  82M|   0 |1000 |1000 |  37k|1000 |  12k|  28k|   0 |   0 |-2.411693e+02 |-5.300000e+01 |  78.02%
1451.67/1451.72	c  1452s|     1 |     0 |647815 |     - |  82M|   0 |1000 |1000 |  37k|1000 |  12k|  28k|   0 |   0 |-2.411576e+02 |-5.300000e+01 |  78.02%
1457.58/1457.68	c  1458s|     1 |     0 |648962 |     - |  82M|   0 |1000 |1000 |  37k|1000 |  12k|  28k|   0 |   0 |-2.411455e+02 |-5.300000e+01 |  78.02%
1463.07/1463.16	c  1463s|     1 |     0 |649417 |     - |  82M|   0 |1000 |1000 |  37k|1000 |  12k|  28k|   0 |   0 |-2.411388e+02 |-5.300000e+01 |  78.02%
1468.39/1468.48	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1468.39/1468.48	c  1468s|     1 |     0 |649773 |     - |  82M|   0 |1000 |1000 |  37k|1000 |  12k|  28k|   0 |   0 |-2.411347e+02 |-5.300000e+01 |  78.02%
1473.78/1473.90	c  1474s|     1 |     0 |650439 |     - |  82M|   0 |1000 |1000 |  37k|1000 |  12k|  28k|   0 |   0 |-2.411277e+02 |-5.300000e+01 |  78.02%
1479.17/1479.29	c  1479s|     1 |     0 |650955 |     - |  82M|   0 |1000 |1000 |  37k|1000 |  12k|  28k|   0 |   0 |-2.411212e+02 |-5.300000e+01 |  78.02%
1484.58/1484.64	c  1485s|     1 |     0 |651483 |     - |  82M|   0 |1000 |1000 |  37k|1000 |  12k|  28k|   0 |   0 |-2.411139e+02 |-5.300000e+01 |  78.02%
1489.77/1489.86	c  1490s|     1 |     0 |651992 |     - |  82M|   0 |1000 |1000 |  37k|1000 |  12k|  28k|   0 |   0 |-2.411037e+02 |-5.300000e+01 |  78.02%
1494.98/1495.05	c  1495s|     1 |     0 |652425 |     - |  82M|   0 |1000 |1000 |  37k|1000 |  12k|  28k|   0 |   0 |-2.410988e+02 |-5.300000e+01 |  78.02%
1500.39/1500.44	c  1500s|     1 |     0 |653027 |     - |  82M|   0 |1000 |1000 |  37k|1000 |  12k|  28k|   0 |   0 |-2.410920e+02 |-5.300000e+01 |  78.02%
1505.79/1505.90	c  1506s|     1 |     0 |653810 |     - |  82M|   0 |1000 |1000 |  37k|1000 |  12k|  28k|   0 |   0 |-2.410864e+02 |-5.300000e+01 |  78.02%
1511.28/1511.32	c  1511s|     1 |     0 |654370 |     - |  82M|   0 |1000 |1000 |  37k|1000 |  12k|  28k|   0 |   0 |-2.410819e+02 |-5.300000e+01 |  78.02%
1516.48/1516.58	c  1517s|     1 |     0 |654671 |     - |  82M|   0 |1000 |1000 |  37k|1000 |  12k|  28k|   0 |   0 |-2.410793e+02 |-5.300000e+01 |  78.02%
1521.78/1521.86	c  1522s|     1 |     0 |655151 |     - |  82M|   0 |1000 |1000 |  37k|1000 |  12k|  28k|   0 |   0 |-2.410753e+02 |-5.300000e+01 |  78.02%
1527.18/1527.24	c  1527s|     1 |     0 |655689 |     - |  82M|   0 |1000 |1000 |  37k|1000 |  12k|  28k|   0 |   0 |-2.410690e+02 |-5.300000e+01 |  78.01%
1549.28/1549.39	c  1549s|     1 |     2 |655689 |     - |  82M|   0 |1000 |1000 |  37k|1000 |  12k|  28k|   0 |  29 |-2.410690e+02 |-5.300000e+01 |  78.01%
1551.28/1551.32	c  1551s| 10000 |    35 |655689 |   0.0 |  82M|  53 |   - |1000 |  37k|   0 |   0 |  28k|  14 |  29 |-2.410690e+02 |-5.300000e+01 |  78.01%
1553.20/1553.22	c  1553s| 20000 |    36 |655689 |   0.0 |  82M|  54 |   - |1000 |  37k|   0 |   0 |  28k|  32 |  29 |-2.410690e+02 |-5.300000e+01 |  78.01%
1553.38/1553.46	o -54
1553.38/1553.46	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1553.38/1553.46	c *1553s| 21225 |    36 |655689 |   0.0 |  82M|  54 |   - |1000 |  37k|   0 |   0 |  28k|  35 |  29 |-2.410690e+02 |-5.400000e+01 |  77.60%
1554.98/1555.00	c  1555s| 30000 |    33 |655689 |   0.0 |  82M|  54 |   - |1000 |  37k|   0 |   0 |  28k|  45 |  29 |-2.410690e+02 |-5.400000e+01 |  77.60%
1556.68/1556.71	c  1557s| 40000 |    34 |655689 |   0.0 |  82M|  54 |   - |1000 |  37k|   0 |   0 |  28k|  55 |  29 |-2.410690e+02 |-5.400000e+01 |  77.60%
1558.48/1558.50	c  1558s| 50000 |    33 |655689 |   0.0 |  82M|  54 |   - |1000 |  37k|   0 |   0 |  28k|  73 |  29 |-2.410690e+02 |-5.400000e+01 |  77.60%
1560.18/1560.20	c  1560s| 60000 |    34 |655689 |   0.0 |  82M|  54 |   - |1000 |  37k|   0 |   0 |  28k|  83 |  29 |-2.410690e+02 |-5.400000e+01 |  77.60%
1561.78/1561.91	c  1562s| 70000 |    33 |655689 |   0.0 |  82M|  54 |   - |1000 |  37k|   0 |   0 |  28k| 108 |  29 |-2.410690e+02 |-5.400000e+01 |  77.60%
1563.48/1563.56	c  1564s| 80000 |    34 |655689 |   0.0 |  82M|  54 |   - |1000 |  37k|   0 |   0 |  28k| 129 |  29 |-2.410690e+02 |-5.400000e+01 |  77.60%
1565.19/1565.28	c  1565s| 90000 |    33 |655689 |   0.0 |  82M|  54 |   - |1000 |  37k|   0 |   0 |  28k| 147 |  29 |-2.410690e+02 |-5.400000e+01 |  77.60%
1566.88/1566.90	c  1567s|100000 |    33 |655689 |   0.0 |  82M|  56 |   - |1000 |  37k|   0 |   0 |  28k| 164 |  29 |-2.410690e+02 |-5.400000e+01 |  77.60%
1568.49/1568.60	c  1569s|110000 |    33 |655689 |   0.0 |  82M|  56 |   - |1000 |  37k|   0 |   0 |  28k| 195 |  29 |-2.410690e+02 |-5.400000e+01 |  77.60%
1570.18/1570.24	c  1570s|120000 |    33 |655689 |   0.0 |  82M|  57 |   - |1000 |  37k|   0 |   0 |  28k| 224 |  29 |-2.410690e+02 |-5.400000e+01 |  77.60%
1571.79/1571.88	c  1572s|130000 |    32 |655689 |   0.0 |  82M|  57 |   - |1000 |  37k|   0 |   0 |  28k| 252 |  29 |-2.410690e+02 |-5.400000e+01 |  77.60%
1573.38/1573.50	c  1573s|140000 |    34 |655689 |   0.0 |  82M|  59 |   - |1000 |  37k|   0 |   0 |  28k| 266 |  29 |-2.410690e+02 |-5.400000e+01 |  77.60%
1574.88/1574.97	c  1575s|150000 |    34 |655689 |   0.0 |  82M|  59 |   - |1000 |  37k|   0 |   0 |  28k| 280 |  29 |-2.410690e+02 |-5.400000e+01 |  77.60%
1576.30/1576.38	c  1576s|160000 |    30 |655689 |   0.0 |  82M|  59 |   - |1000 |  37k|   0 |   0 |  28k| 292 |  29 |-2.410690e+02 |-5.400000e+01 |  77.60%
1577.88/1577.92	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1577.88/1577.92	c  1578s|170000 |    32 |655689 |   0.0 |  82M|  59 |   - |1000 |  37k|   0 |   0 |  28k| 315 |  29 |-2.410690e+02 |-5.400000e+01 |  77.60%
1579.38/1579.45	c  1579s|180000 |    35 |655689 |   0.0 |  82M|  59 |   - |1000 |  37k|   0 |   0 |  28k| 340 |  29 |-2.410690e+02 |-5.400000e+01 |  77.60%
1580.98/1581.04	c  1581s|190000 |    34 |655689 |   0.0 |  82M|  66 |   - |1000 |  37k|   0 |   0 |  28k| 361 |  29 |-2.410690e+02 |-5.400000e+01 |  77.60%
1582.58/1582.68	c  1583s|200000 |    34 |655689 |   0.0 |  82M|  66 |   - |1000 |  37k|   0 |   0 |  28k| 377 |  29 |-2.410690e+02 |-5.400000e+01 |  77.60%
1584.28/1584.36	c  1584s|210000 |    32 |655689 |   0.0 |  82M|  66 |   - |1000 |  37k|   0 |   0 |  28k| 405 |  29 |-2.410690e+02 |-5.400000e+01 |  77.60%
1585.88/1585.96	c  1586s|220000 |    34 |655689 |   0.0 |  82M|  66 |   - |1000 |  37k|   0 |   0 |  28k| 433 |  29 |-2.410690e+02 |-5.400000e+01 |  77.60%
1587.58/1587.68	c  1588s|230000 |    30 |655689 |   0.0 |  82M|  66 |   - |1000 |  37k|   0 |   0 |  28k| 441 |  29 |-2.410690e+02 |-5.400000e+01 |  77.60%
1589.18/1589.27	c  1589s|240000 |    33 |655689 |   0.0 |  82M|  66 |   - |1000 |  37k|   0 |   0 |  28k| 457 |  29 |-2.410690e+02 |-5.400000e+01 |  77.60%
1590.78/1590.82	c  1591s|250000 |    34 |655689 |   0.0 |  82M|  66 |   - |1000 |  37k|   0 |   0 |  28k| 471 |  29 |-2.410690e+02 |-5.400000e+01 |  77.60%
1592.38/1592.40	c  1592s|260000 |    33 |655689 |   0.0 |  82M|  66 |   - |1000 |  37k|   0 |   0 |  28k| 481 |  29 |-2.410690e+02 |-5.400000e+01 |  77.60%
1593.79/1593.85	c  1594s|270000 |    29 |655689 |   0.0 |  82M|  66 |   - |1000 |  37k|   0 |   0 |  28k| 489 |  29 |-2.410690e+02 |-5.400000e+01 |  77.60%
1595.28/1595.36	c  1595s|280000 |    33 |655689 |   0.0 |  82M|  66 |   - |1000 |  37k|   0 |   0 |  28k| 539 |  29 |-2.410690e+02 |-5.400000e+01 |  77.60%
1596.88/1596.98	c  1597s|290000 |    31 |655689 |   0.0 |  82M|  66 |   - |1000 |  37k|   0 |   0 |  28k| 556 |  29 |-2.410690e+02 |-5.400000e+01 |  77.60%
1598.48/1598.50	c  1599s|300000 |    33 |655689 |   0.0 |  82M|  66 |   - |1000 |  37k|   0 |   0 |  28k| 573 |  29 |-2.410690e+02 |-5.400000e+01 |  77.60%
1600.08/1600.17	c  1600s|310000 |    31 |655689 |   0.0 |  82M|  66 |   - |1000 |  37k|   0 |   0 |  28k| 593 |  29 |-2.410690e+02 |-5.400000e+01 |  77.60%
1601.68/1601.78	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1601.68/1601.78	c  1602s|320000 |    34 |655689 |   0.0 |  82M|  66 |   - |1000 |  37k|   0 |   0 |  28k| 621 |  29 |-2.410690e+02 |-5.400000e+01 |  77.60%
1603.28/1603.34	c  1603s|330000 |    35 |655689 |   0.0 |  82M|  66 |   - |1000 |  37k|   0 |   0 |  28k| 632 |  29 |-2.410690e+02 |-5.400000e+01 |  77.60%
1604.38/1604.48	o -55
1604.38/1604.48	c *1604s|337051 |    38 |655689 |   0.0 |  82M|  66 |   - |1000 |  37k|   0 |   0 |  28k| 650 |  29 |-2.410690e+02 |-5.500000e+01 |  77.18%
1604.90/1604.96	c  1605s|340000 |    33 |655689 |   0.0 |  82M|  66 |   - |1000 |  37k|   0 |   0 |  28k| 656 |  29 |-2.410690e+02 |-5.500000e+01 |  77.18%
1606.38/1606.48	c  1606s|350000 |    32 |655689 |   0.0 |  82M|  66 |   - |1000 |  37k|   0 |   0 |  28k| 678 |  29 |-2.410690e+02 |-5.500000e+01 |  77.18%
1607.98/1608.06	c  1608s|360000 |    35 |655689 |   0.0 |  82M|  66 |   - |1000 |  37k|   0 |   0 |  28k| 690 |  29 |-2.410690e+02 |-5.500000e+01 |  77.18%
1609.58/1609.66	c  1610s|370000 |    34 |655689 |   0.0 |  82M|  66 |   - |1000 |  37k|   0 |   0 |  28k| 694 |  29 |-2.410690e+02 |-5.500000e+01 |  77.18%
1611.18/1611.22	c  1611s|380000 |    33 |655689 |   0.0 |  82M|  66 |   - |1000 |  37k|   0 |   0 |  28k| 712 |  29 |-2.410690e+02 |-5.500000e+01 |  77.18%
1612.68/1612.74	c  1613s|390000 |    31 |655689 |   0.0 |  82M|  66 |   - |1000 |  37k|   0 |   0 |  28k| 730 |  29 |-2.410690e+02 |-5.500000e+01 |  77.18%
1614.28/1614.37	c  1614s|400000 |    32 |655689 |   0.0 |  82M|  66 |   - |1000 |  37k|   0 |   0 |  28k| 742 |  29 |-2.410690e+02 |-5.500000e+01 |  77.18%
1615.79/1615.88	c  1616s|410000 |    32 |655689 |   0.0 |  82M|  66 |   - |1000 |  37k|   0 |   0 |  28k| 750 |  29 |-2.410690e+02 |-5.500000e+01 |  77.18%
1617.28/1617.34	c  1617s|420000 |    32 |655689 |   0.0 |  82M|  66 |   - |1000 |  37k|   0 |   0 |  28k| 755 |  29 |-2.410690e+02 |-5.500000e+01 |  77.18%
1618.78/1618.81	c  1619s|430000 |    34 |655689 |   0.0 |  82M|  66 |   - |1000 |  37k|   0 |   0 |  28k| 779 |  29 |-2.410690e+02 |-5.500000e+01 |  77.18%
1620.30/1620.35	c  1620s|440000 |    39 |655689 |   0.0 |  82M|  66 |   - |1000 |  37k|   0 |   0 |  28k| 800 |  29 |-2.410690e+02 |-5.500000e+01 |  77.18%
1621.78/1621.82	c  1622s|450000 |    35 |655689 |   0.0 |  82M|  66 |   - |1000 |  37k|   0 |   0 |  28k| 806 |  29 |-2.410690e+02 |-5.500000e+01 |  77.18%
1623.18/1623.23	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1623.18/1623.23	c  1623s|460000 |    34 |655689 |   0.0 |  82M|  66 |   - |1000 |  37k|   0 |   0 |  28k| 818 |  29 |-2.410690e+02 |-5.500000e+01 |  77.18%
1624.59/1624.65	c  1625s|470000 |    31 |655689 |   0.0 |  82M|  66 |   - |1000 |  37k|   0 |   0 |  28k| 830 |  29 |-2.410690e+02 |-5.500000e+01 |  77.18%
1626.08/1626.16	c  1626s|480000 |    32 |655689 |   0.0 |  82M|  66 |   - |1000 |  37k|   0 |   0 |  28k| 841 |  29 |-2.410690e+02 |-5.500000e+01 |  77.18%
1627.48/1627.59	c  1628s|490000 |    33 |655689 |   0.0 |  82M|  66 |   - |1000 |  37k|   0 |   0 |  28k| 851 |  29 |-2.410690e+02 |-5.500000e+01 |  77.18%
1628.99/1629.02	c  1629s|500000 |    35 |655689 |   0.0 |  82M|  66 |   - |1000 |  37k|   0 |   0 |  28k| 856 |  29 |-2.410690e+02 |-5.500000e+01 |  77.18%
1630.38/1630.42	c  1630s|510000 |    34 |655689 |   0.0 |  82M|  66 |   - |1000 |  37k|   0 |   0 |  28k| 866 |  29 |-2.410690e+02 |-5.500000e+01 |  77.18%
1631.78/1631.86	c  1632s|520000 |    32 |655689 |   0.0 |  82M|  66 |   - |1000 |  37k|   0 |   0 |  28k| 872 |  29 |-2.410690e+02 |-5.500000e+01 |  77.18%
1633.18/1633.26	c  1633s|530000 |    32 |655689 |   0.0 |  82M|  66 |   - |1000 |  37k|   0 |   0 |  28k| 880 |  29 |-2.410690e+02 |-5.500000e+01 |  77.18%
1634.68/1634.72	c  1635s|540000 |    36 |655689 |   0.0 |  82M|  66 |   - |1000 |  37k|   0 |   0 |  28k| 886 |  29 |-2.410690e+02 |-5.500000e+01 |  77.18%
1636.08/1636.13	c  1636s|550000 |    32 |655689 |   0.0 |  82M|  66 |   - |1000 |  37k|   0 |   0 |  28k| 892 |  29 |-2.410690e+02 |-5.500000e+01 |  77.18%
1637.48/1637.57	c  1638s|560000 |    33 |655689 |   0.0 |  82M|  66 |   - |1000 |  37k|   0 |   0 |  28k| 894 |  29 |-2.410690e+02 |-5.500000e+01 |  77.18%
1639.00/1639.08	c  1639s|570000 |    33 |655689 |   0.0 |  82M|  66 |   - |1000 |  37k|   0 |   0 |  28k| 911 |  29 |-2.410690e+02 |-5.500000e+01 |  77.18%
1640.10/1640.13	o -56
1640.10/1640.13	c *1640s|577207 |    37 |655689 |   0.0 |  82M|  66 |   - |1000 |  37k|   0 |   0 |  28k| 924 |  29 |-2.410690e+02 |-5.600000e+01 |  76.77%
1640.48/1640.50	c  1641s|580000 |    33 |655689 |   0.0 |  82M|  66 |   - |1000 |  37k|   0 |   0 |  28k| 929 |  29 |-2.410690e+02 |-5.600000e+01 |  76.77%
1641.88/1641.90	c  1642s|590000 |    34 |655689 |   0.0 |  82M|  66 |   - |1000 |  37k|   0 |   0 |  28k| 944 |  29 |-2.410690e+02 |-5.600000e+01 |  76.77%
1643.29/1643.37	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1643.29/1643.37	c  1643s|600000 |    32 |655689 |   0.0 |  82M|  66 |   - |1000 |  37k|   0 |   0 |  28k| 962 |  29 |-2.410690e+02 |-5.600000e+01 |  76.77%
1644.78/1644.80	c  1645s|610000 |    34 |655689 |   0.0 |  82M|  66 |   - |1000 |  37k|   0 |   0 |  28k| 975 |  29 |-2.410690e+02 |-5.600000e+01 |  76.77%
1646.18/1646.24	c  1646s|620000 |    34 |655689 |   0.0 |  82M|  66 |   - |1000 |  37k|   0 |   0 |  28k| 986 |  29 |-2.410690e+02 |-5.600000e+01 |  76.77%
1647.58/1647.71	c  1648s|630000 |    34 |655689 |   0.0 |  82M|  66 |   - |1000 |  37k|   0 |   0 |  28k| 997 |  29 |-2.410690e+02 |-5.600000e+01 |  76.77%
1649.08/1649.18	c  1649s|640000 |    33 |655689 |   0.0 |  82M|  66 |   - |1000 |  37k|   0 |   0 |  28k|1003 |  29 |-2.410690e+02 |-5.600000e+01 |  76.77%
1650.58/1650.62	c  1651s|650000 |    33 |655689 |   0.0 |  82M|  66 |   - |1000 |  37k|   0 |   0 |  28k|1011 |  29 |-2.410690e+02 |-5.600000e+01 |  76.77%
1651.98/1652.06	c  1652s|660000 |    33 |655689 |   0.0 |  82M|  66 |   - |1000 |  37k|   0 |   0 |  28k|1018 |  29 |-2.410690e+02 |-5.600000e+01 |  76.77%
1653.38/1653.43	c  1653s|670000 |    35 |655689 |   0.0 |  82M|  66 |   - |1000 |  37k|   0 |   0 |  28k|1027 |  29 |-2.410690e+02 |-5.600000e+01 |  76.77%
1654.68/1654.71	c  1655s|680000 |    31 |655689 |   0.0 |  82M|  66 |   - |1000 |  37k|   0 |   0 |  28k|1043 |  29 |-2.410690e+02 |-5.600000e+01 |  76.77%
1655.88/1655.97	c  1656s|690000 |    31 |655689 |   0.0 |  82M|  66 |   - |1000 |  37k|   0 |   0 |  28k|1047 |  29 |-2.410690e+02 |-5.600000e+01 |  76.77%
1657.18/1657.27	c  1657s|700000 |    29 |655689 |   0.0 |  82M|  66 |   - |1000 |  37k|   0 |   0 |  28k|1057 |  29 |-2.410690e+02 |-5.600000e+01 |  76.77%
1658.58/1658.66	c  1659s|710000 |    34 |655689 |   0.0 |  82M|  66 |   - |1000 |  37k|   0 |   0 |  28k|1076 |  29 |-2.410690e+02 |-5.600000e+01 |  76.77%
1659.98/1660.09	c  1660s|720000 |    31 |655689 |   0.0 |  82M|  66 |   - |1000 |  37k|   0 |   0 |  28k|1090 |  29 |-2.410690e+02 |-5.600000e+01 |  76.77%
1661.38/1661.47	c  1661s|730000 |    34 |655689 |   0.0 |  82M|  66 |   - |1000 |  37k|   0 |   0 |  28k|1106 |  29 |-2.410690e+02 |-5.600000e+01 |  76.77%
1662.78/1662.83	c  1663s|740000 |    33 |655689 |   0.0 |  82M|  66 |   - |1000 |  37k|   0 |   0 |  28k|1118 |  29 |-2.410690e+02 |-5.600000e+01 |  76.77%
1664.19/1664.27	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1664.19/1664.27	c  1664s|750000 |    34 |655689 |   0.0 |  82M|  66 |   - |1000 |  37k|   0 |   0 |  28k|1139 |  29 |-2.410690e+02 |-5.600000e+01 |  76.77%
1665.68/1665.74	c  1666s|760000 |    34 |655689 |   0.0 |  82M|  66 |   - |1000 |  37k|   0 |   0 |  28k|1160 |  29 |-2.410690e+02 |-5.600000e+01 |  76.77%
1667.08/1667.19	c  1667s|770000 |    35 |655689 |   0.0 |  82M|  66 |   - |1000 |  37k|   0 |   0 |  28k|1171 |  29 |-2.410690e+02 |-5.600000e+01 |  76.77%
1668.59/1668.65	c  1669s|780000 |    34 |655689 |   0.0 |  82M|  66 |   - |1000 |  37k|   0 |   0 |  28k|1180 |  29 |-2.410690e+02 |-5.600000e+01 |  76.77%
1670.08/1670.12	c  1670s|790000 |    29 |655689 |   0.0 |  82M|  66 |   - |1000 |  37k|   0 |   0 |  28k|1189 |  29 |-2.410690e+02 |-5.600000e+01 |  76.77%
1671.38/1671.47	c  1671s|800000 |    32 |655689 |   0.0 |  82M|  66 |   - |1000 |  37k|   0 |   0 |  28k|1202 |  29 |-2.410690e+02 |-5.600000e+01 |  76.77%
1672.78/1672.87	c  1673s|810000 |    35 |655689 |   0.0 |  82M|  66 |   - |1000 |  37k|   0 |   0 |  28k|1213 |  29 |-2.410690e+02 |-5.600000e+01 |  76.77%
1674.28/1674.31	c  1674s|820000 |    34 |655689 |   0.0 |  82M|  66 |   - |1000 |  37k|   0 |   0 |  28k|1226 |  29 |-2.410690e+02 |-5.600000e+01 |  76.77%
1675.78/1675.82	c  1676s|830000 |    34 |655689 |   0.0 |  82M|  66 |   - |1000 |  37k|   0 |   0 |  28k|1238 |  29 |-2.410690e+02 |-5.600000e+01 |  76.77%
1677.08/1677.16	c  1677s|840000 |    35 |655689 |   0.0 |  82M|  66 |   - |1000 |  37k|   0 |   0 |  28k|1256 |  29 |-2.410690e+02 |-5.600000e+01 |  76.77%
1678.38/1678.49	c  1678s|850000 |    32 |655689 |   0.0 |  82M|  66 |   - |1000 |  37k|   0 |   0 |  28k|1280 |  29 |-2.410690e+02 |-5.600000e+01 |  76.77%
1679.88/1679.97	c  1680s|860000 |    36 |655689 |   0.0 |  82M|  66 |   - |1000 |  37k|   0 |   0 |  28k|1302 |  29 |-2.410690e+02 |-5.600000e+01 |  76.77%
1681.18/1681.24	c  1681s|870000 |    35 |655689 |   0.0 |  82M|  66 |   - |1000 |  37k|   0 |   0 |  28k|1312 |  29 |-2.410690e+02 |-5.600000e+01 |  76.77%
1682.38/1682.44	c  1682s|880000 |    33 |655689 |   0.0 |  82M|  66 |   - |1000 |  37k|   0 |   0 |  28k|1326 |  29 |-2.410690e+02 |-5.600000e+01 |  76.77%
1683.68/1683.72	c  1684s|890000 |    31 |655689 |   0.0 |  82M|  66 |   - |1000 |  37k|   0 |   0 |  28k|1337 |  29 |-2.410690e+02 |-5.600000e+01 |  76.77%
1684.98/1685.01	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1684.98/1685.01	c  1685s|900000 |    32 |655689 |   0.0 |  82M|  66 |   - |1000 |  37k|   0 |   0 |  28k|1351 |  29 |-2.410690e+02 |-5.600000e+01 |  76.77%
1686.38/1686.40	c  1686s|910000 |    35 |655689 |   0.0 |  82M|  66 |   - |1000 |  37k|   0 |   0 |  28k|1361 |  29 |-2.410690e+02 |-5.600000e+01 |  76.77%
1687.78/1687.89	c  1688s|920000 |    30 |655689 |   0.0 |  82M|  66 |   - |1000 |  37k|   0 |   0 |  28k|1371 |  29 |-2.410690e+02 |-5.600000e+01 |  76.77%
1689.28/1689.39	c  1689s|930000 |    36 |655689 |   0.0 |  82M|  66 |   - |1000 |  37k|   0 |   0 |  28k|1385 |  29 |-2.410690e+02 |-5.600000e+01 |  76.77%
1690.78/1690.86	c  1691s|940000 |    31 |655689 |   0.0 |  82M|  66 |   - |1000 |  37k|   0 |   0 |  28k|1398 |  29 |-2.410690e+02 |-5.600000e+01 |  76.77%
1692.38/1692.43	c  1692s|950000 |    36 |655689 |   0.0 |  82M|  66 |   - |1000 |  37k|   0 |   0 |  28k|1412 |  29 |-2.410690e+02 |-5.600000e+01 |  76.77%
1693.89/1693.95	c  1694s|960000 |    35 |655689 |   0.0 |  82M|  66 |   - |1000 |  37k|   0 |   0 |  28k|1422 |  29 |-2.410690e+02 |-5.600000e+01 |  76.77%
1695.38/1695.47	c  1695s|970000 |    34 |655689 |   0.0 |  82M|  66 |   - |1000 |  37k|   0 |   0 |  28k|1441 |  29 |-2.410690e+02 |-5.600000e+01 |  76.77%
1696.88/1696.93	c  1697s|980000 |    33 |655689 |   0.0 |  82M|  66 |   - |1000 |  37k|   0 |   0 |  28k|1450 |  29 |-2.410690e+02 |-5.600000e+01 |  76.77%
1698.29/1698.40	c  1698s|990000 |    33 |655689 |   0.0 |  82M|  66 |   - |1000 |  37k|   0 |   0 |  28k|1465 |  29 |-2.410690e+02 |-5.600000e+01 |  76.77%
1699.68/1699.75	c  1700s|  1000k|    32 |655689 |   0.0 |  82M|  66 |   - |1000 |  37k|   0 |   0 |  28k|1478 |  29 |-2.410690e+02 |-5.600000e+01 |  76.77%
1701.08/1701.17	c  1701s|  1010k|    31 |655689 |   0.0 |  82M|  66 |   - |1000 |  37k|   0 |   0 |  28k|1493 |  29 |-2.410690e+02 |-5.600000e+01 |  76.77%
1702.69/1702.74	c  1703s|  1020k|    32 |655689 |   0.0 |  82M|  66 |   - |1000 |  37k|   0 |   0 |  28k|1500 |  29 |-2.410690e+02 |-5.600000e+01 |  76.77%
1704.18/1704.25	c  1704s|  1030k|    31 |655689 |   0.0 |  82M|  66 |   - |1000 |  37k|   0 |   0 |  28k|1512 |  29 |-2.410690e+02 |-5.600000e+01 |  76.77%
1705.68/1705.74	c  1706s|  1040k|    32 |655689 |   0.0 |  82M|  66 |   - |1000 |  37k|   0 |   0 |  28k|1527 |  29 |-2.410690e+02 |-5.600000e+01 |  76.77%
1707.20/1707.27	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1707.20/1707.27	c  1707s|  1050k|    33 |655689 |   0.0 |  82M|  66 |   - |1000 |  37k|   0 |   0 |  28k|1536 |  29 |-2.410690e+02 |-5.600000e+01 |  76.77%
1708.68/1708.74	c  1709s|  1060k|    32 |655689 |   0.0 |  82M|  66 |   - |1000 |  37k|   0 |   0 |  28k|1543 |  29 |-2.410690e+02 |-5.600000e+01 |  76.77%
1710.28/1710.30	c  1710s|  1070k|    33 |655689 |   0.0 |  82M|  66 |   - |1000 |  37k|   0 |   0 |  28k|1555 |  29 |-2.410690e+02 |-5.600000e+01 |  76.77%
1711.38/1711.47	o -57
1711.38/1711.47	c *1711s|  1077k|    31 |655689 |   0.0 |  82M|  67 |   - |1000 |  37k|   0 |   0 |  28k|1564 |  29 |-2.410690e+02 |-5.700000e+01 |  76.36%
1711.78/1711.83	c  1712s|  1080k|    31 |655689 |   0.0 |  82M|  67 |   - |1000 |  37k|   0 |   0 |  28k|1565 |  29 |-2.410690e+02 |-5.700000e+01 |  76.36%
1713.08/1713.12	c  1713s|  1090k|    31 |655689 |   0.0 |  82M|  67 |   - |1000 |  37k|   0 |   0 |  28k|1573 |  29 |-2.410690e+02 |-5.700000e+01 |  76.36%
1714.48/1714.59	c  1715s|  1100k|    33 |655689 |   0.0 |  82M|  67 |   - |1000 |  37k|   0 |   0 |  28k|1592 |  29 |-2.410690e+02 |-5.700000e+01 |  76.36%
1716.00/1716.06	c  1716s|  1110k|    32 |655689 |   0.0 |  82M|  67 |   - |1000 |  37k|   0 |   0 |  28k|1607 |  29 |-2.410690e+02 |-5.700000e+01 |  76.36%
1717.28/1717.31	c  1717s|  1120k|    31 |655689 |   0.0 |  82M|  67 |   - |1000 |  37k|   0 |   0 |  28k|1615 |  29 |-2.410690e+02 |-5.700000e+01 |  76.36%
1718.48/1718.58	c  1719s|  1130k|    31 |655689 |   0.0 |  82M|  67 |   - |1000 |  37k|   0 |   0 |  28k|1625 |  29 |-2.410690e+02 |-5.700000e+01 |  76.36%
1719.78/1719.85	c  1720s|  1140k|    32 |655689 |   0.0 |  82M|  67 |   - |1000 |  37k|   0 |   0 |  28k|1638 |  29 |-2.410690e+02 |-5.700000e+01 |  76.36%
1721.08/1721.18	c  1721s|  1150k|    30 |655689 |   0.0 |  82M|  67 |   - |1000 |  37k|   0 |   0 |  28k|1649 |  29 |-2.410690e+02 |-5.700000e+01 |  76.36%
1722.38/1722.41	c  1722s|  1160k|    33 |655689 |   0.0 |  82M|  67 |   - |1000 |  37k|   0 |   0 |  28k|1659 |  29 |-2.410690e+02 |-5.700000e+01 |  76.36%
1723.70/1723.73	c  1724s|  1170k|    30 |655689 |   0.0 |  82M|  67 |   - |1000 |  37k|   0 |   0 |  28k|1665 |  29 |-2.410690e+02 |-5.700000e+01 |  76.36%
1724.88/1724.94	c  1725s|  1180k|    31 |655689 |   0.0 |  82M|  67 |   - |1000 |  37k|   0 |   0 |  28k|1671 |  29 |-2.410690e+02 |-5.700000e+01 |  76.36%
1726.38/1726.41	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1726.38/1726.41	c  1726s|  1190k|    32 |655689 |   0.0 |  82M|  67 |   - |1000 |  37k|   0 |   0 |  28k|1681 |  29 |-2.410690e+02 |-5.700000e+01 |  76.36%
1727.58/1727.66	c  1728s|  1200k|    34 |655689 |   0.0 |  82M|  67 |   - |1000 |  37k|   0 |   0 |  28k|1687 |  29 |-2.410690e+02 |-5.700000e+01 |  76.36%
1728.78/1728.89	c  1729s|  1210k|    32 |655689 |   0.0 |  82M|  67 |   - |1000 |  37k|   0 |   0 |  28k|1703 |  29 |-2.410690e+02 |-5.700000e+01 |  76.36%
1730.19/1730.24	c  1730s|  1220k|    32 |655689 |   0.0 |  82M|  67 |   - |1000 |  37k|   0 |   0 |  28k|1713 |  29 |-2.410690e+02 |-5.700000e+01 |  76.36%
1731.58/1731.66	c  1732s|  1230k|    32 |655689 |   0.0 |  82M|  67 |   - |1000 |  37k|   0 |   0 |  28k|1719 |  29 |-2.410690e+02 |-5.700000e+01 |  76.36%
1732.98/1733.05	c  1733s|  1240k|    32 |655689 |   0.0 |  82M|  67 |   - |1000 |  37k|   0 |   0 |  28k|1723 |  29 |-2.410690e+02 |-5.700000e+01 |  76.36%
1734.38/1734.41	c  1734s|  1250k|    31 |655689 |   0.0 |  82M|  67 |   - |1000 |  37k|   0 |   0 |  28k|1726 |  29 |-2.410690e+02 |-5.700000e+01 |  76.36%
1735.58/1735.66	c  1736s|  1260k|    30 |655689 |   0.0 |  82M|  67 |   - |1000 |  37k|   0 |   0 |  28k|1729 |  29 |-2.410690e+02 |-5.700000e+01 |  76.36%
1736.90/1736.92	c  1737s|  1270k|    33 |655689 |   0.0 |  82M|  67 |   - |1000 |  37k|   0 |   0 |  28k|1738 |  29 |-2.410690e+02 |-5.700000e+01 |  76.36%
1738.08/1738.18	c  1738s|  1280k|    31 |655689 |   0.0 |  82M|  67 |   - |1000 |  37k|   0 |   0 |  28k|1746 |  29 |-2.410690e+02 |-5.700000e+01 |  76.36%
1739.48/1739.54	c  1740s|  1290k|    32 |655689 |   0.0 |  82M|  67 |   - |1000 |  37k|   0 |   0 |  28k|1750 |  29 |-2.410690e+02 |-5.700000e+01 |  76.36%
1740.88/1740.98	c  1741s|  1300k|    31 |655689 |   0.0 |  82M|  67 |   - |1000 |  37k|   0 |   0 |  28k|1756 |  29 |-2.410690e+02 |-5.700000e+01 |  76.36%
1742.40/1742.49	c  1742s|  1310k|    33 |655689 |   0.0 |  82M|  67 |   - |1000 |  37k|   0 |   0 |  28k|1766 |  29 |-2.410690e+02 |-5.700000e+01 |  76.36%
1743.98/1744.06	c  1744s|  1320k|    29 |655689 |   0.0 |  82M|  67 |   - |1000 |  37k|   0 |   0 |  28k|1771 |  29 |-2.410690e+02 |-5.700000e+01 |  76.36%
1745.48/1745.55	c  1746s|  1330k|    39 |655689 |   0.0 |  82M|  68 |   - |1000 |  37k|   0 |   0 |  28k|1845 |  29 |-2.410690e+02 |-5.700000e+01 |  76.36%
1746.98/1747.04	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1746.98/1747.04	c  1747s|  1340k|    35 |655689 |   0.0 |  82M|  68 |   - |1000 |  37k|   0 |   0 |  28k|1922 |  29 |-2.410690e+02 |-5.700000e+01 |  76.36%
1748.48/1748.51	c  1749s|  1350k|    34 |655689 |   0.0 |  82M|  68 |   - |1000 |  37k|   0 |   0 |  28k|2000 |  29 |-2.410690e+02 |-5.700000e+01 |  76.36%
1749.99/1750.03	c  1750s|  1360k|    36 |655689 |   0.0 |  82M|  68 |   - |1000 |  37k|   0 |   0 |  28k|2077 |  29 |-2.410690e+02 |-5.700000e+01 |  76.36%
1751.28/1751.36	c  1751s|  1370k|    40 |655689 |   0.0 |  82M|  68 |   - |1000 |  37k|   0 |   0 |  28k|2123 |  29 |-2.410690e+02 |-5.700000e+01 |  76.36%
1752.58/1752.61	c  1753s|  1380k|    35 |655689 |   0.0 |  82M|  68 |   - |1000 |  37k|   0 |   0 |  28k|2157 |  29 |-2.410690e+02 |-5.700000e+01 |  76.36%
1753.78/1753.82	c  1754s|  1390k|    36 |655689 |   0.0 |  82M|  68 |   - |1000 |  37k|   0 |   0 |  28k|2208 |  29 |-2.410690e+02 |-5.700000e+01 |  76.36%
1755.28/1755.32	c  1755s|  1400k|    33 |655689 |   0.0 |  82M|  68 |   - |1000 |  37k|   0 |   0 |  28k|2251 |  29 |-2.410690e+02 |-5.700000e+01 |  76.36%
1756.78/1756.82	c  1757s|  1410k|    37 |655689 |   0.0 |  82M|  68 |   - |1000 |  37k|   0 |   0 |  28k|2296 |  29 |-2.410690e+02 |-5.700000e+01 |  76.36%
1758.28/1758.30	c  1758s|  1420k|    34 |655689 |   0.0 |  82M|  68 |   - |1000 |  37k|   0 |   0 |  28k|2345 |  29 |-2.410690e+02 |-5.700000e+01 |  76.36%
1759.78/1759.82	c  1760s|  1430k|    33 |655689 |   0.0 |  82M|  68 |   - |1000 |  37k|   0 |   0 |  28k|2363 |  29 |-2.410690e+02 |-5.700000e+01 |  76.36%
1761.18/1761.23	c  1761s|  1440k|    37 |655689 |   0.0 |  82M|  68 |   - |1000 |  37k|   0 |   0 |  28k|2371 |  29 |-2.410690e+02 |-5.700000e+01 |  76.36%
1762.58/1762.62	c  1763s|  1450k|    34 |655689 |   0.0 |  82M|  68 |   - |1000 |  37k|   0 |   0 |  28k|2377 |  29 |-2.410690e+02 |-5.700000e+01 |  76.36%
1763.98/1764.06	c  1764s|  1460k|    32 |655689 |   0.0 |  82M|  68 |   - |1000 |  37k|   0 |   0 |  28k|2406 |  29 |-2.410690e+02 |-5.700000e+01 |  76.36%
1765.39/1765.48	c  1765s|  1470k|    33 |655689 |   0.0 |  82M|  68 |   - |1000 |  37k|   0 |   0 |  28k|2414 |  29 |-2.410690e+02 |-5.700000e+01 |  76.36%
1766.78/1766.87	c  1767s|  1480k|    35 |655689 |   0.0 |  82M|  68 |   - |1000 |  37k|   0 |   0 |  28k|2426 |  29 |-2.410690e+02 |-5.700000e+01 |  76.36%
1768.28/1768.36	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1768.28/1768.36	c  1768s|  1490k|    35 |655689 |   0.0 |  82M|  68 |   - |1000 |  37k|   0 |   0 |  28k|2441 |  29 |-2.410690e+02 |-5.700000e+01 |  76.36%
1769.68/1769.76	c  1770s|  1500k|    33 |655689 |   0.0 |  82M|  68 |   - |1000 |  37k|   0 |   0 |  28k|2450 |  29 |-2.410690e+02 |-5.700000e+01 |  76.36%
1771.00/1771.08	c  1771s|  1510k|    31 |655689 |   0.0 |  82M|  68 |   - |1000 |  37k|   0 |   0 |  28k|2463 |  29 |-2.410690e+02 |-5.700000e+01 |  76.36%
1772.28/1772.37	c  1772s|  1520k|    34 |655689 |   0.0 |  82M|  68 |   - |1000 |  37k|   0 |   0 |  28k|2476 |  29 |-2.410690e+02 |-5.700000e+01 |  76.36%
1773.68/1773.73	c  1774s|  1530k|    34 |655689 |   0.0 |  82M|  68 |   - |1000 |  37k|   0 |   0 |  28k|2498 |  29 |-2.410690e+02 |-5.700000e+01 |  76.36%
1774.98/1775.01	c  1775s|  1540k|    34 |655689 |   0.0 |  82M|  68 |   - |1000 |  37k|   0 |   0 |  28k|2512 |  29 |-2.410690e+02 |-5.700000e+01 |  76.36%
1776.50/1776.55	c  1777s|  1550k|    33 |655689 |   0.0 |  82M|  68 |   - |1000 |  37k|   0 |   0 |  28k|2537 |  29 |-2.410690e+02 |-5.700000e+01 |  76.36%
1777.88/1777.96	c  1778s|  1560k|    33 |655689 |   0.0 |  82M|  68 |   - |1000 |  37k|   0 |   0 |  28k|2560 |  29 |-2.410690e+02 |-5.700000e+01 |  76.36%
1779.28/1779.33	c  1779s|  1570k|    31 |655689 |   0.0 |  82M|  68 |   - |1000 |  37k|   0 |   0 |  28k|2576 |  29 |-2.410690e+02 |-5.700000e+01 |  76.36%
1780.68/1780.80	c  1781s|  1580k|    33 |655689 |   0.0 |  82M|  68 |   - |1000 |  37k|   0 |   0 |  28k|2590 |  29 |-2.410690e+02 |-5.700000e+01 |  76.36%
1782.08/1782.18	c  1782s|  1590k|    35 |655689 |   0.0 |  82M|  68 |   - |1000 |  37k|   0 |   0 |  28k|2602 |  29 |-2.410690e+02 |-5.700000e+01 |  76.36%
1783.48/1783.52	c  1784s|  1600k|    32 |655689 |   0.0 |  82M|  68 |   - |1000 |  37k|   0 |   0 |  28k|2613 |  29 |-2.410690e+02 |-5.700000e+01 |  76.36%
1784.88/1784.90	c  1785s|  1610k|    32 |655689 |   0.0 |  82M|  68 |   - |1000 |  37k|   0 |   0 |  28k|2619 |  29 |-2.410690e+02 |-5.700000e+01 |  76.36%
1786.40/1786.43	c  1786s|  1620k|    34 |655689 |   0.0 |  82M|  68 |   - |1000 |  37k|   0 |   0 |  28k|2634 |  29 |-2.410690e+02 |-5.700000e+01 |  76.36%
1787.78/1787.87	c  1788s|  1630k|    30 |655689 |   0.0 |  82M|  68 |   - |1000 |  37k|   0 |   0 |  28k|2643 |  29 |-2.410690e+02 |-5.700000e+01 |  76.36%
1789.28/1789.34	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1789.28/1789.34	c  1789s|  1640k|    33 |655689 |   0.0 |  82M|  68 |   - |1000 |  37k|   0 |   0 |  28k|2651 |  29 |-2.410690e+02 |-5.700000e+01 |  76.36%
1790.80/1790.85	c  1791s|  1650k|    32 |655689 |   0.0 |  82M|  68 |   - |1000 |  37k|   0 |   0 |  28k|2669 |  29 |-2.410690e+02 |-5.700000e+01 |  76.36%
1792.28/1792.31	c  1792s|  1660k|    29 |655689 |   0.0 |  82M|  68 |   - |1000 |  37k|   0 |   0 |  28k|2688 |  29 |-2.410690e+02 |-5.700000e+01 |  76.36%
1793.58/1793.67	c  1794s|  1670k|    34 |655689 |   0.0 |  82M|  68 |   - |1000 |  37k|   0 |   0 |  28k|2701 |  29 |-2.410690e+02 |-5.700000e+01 |  76.36%
1794.98/1795.03	c  1795s|  1680k|    33 |655689 |   0.0 |  82M|  68 |   - |1000 |  37k|   0 |   0 |  28k|2710 |  29 |-2.410690e+02 |-5.700000e+01 |  76.36%
1796.30/1796.36	c  1796s|  1690k|    33 |655689 |   0.0 |  82M|  68 |   - |1000 |  37k|   0 |   0 |  28k|2725 |  29 |-2.410690e+02 |-5.700000e+01 |  76.36%
1797.78/1797.81	c  1798s|  1700k|    32 |655689 |   0.0 |  82M|  68 |   - |1000 |  37k|   0 |   0 |  28k|2746 |  29 |-2.410690e+02 |-5.700000e+01 |  76.36%
1799.18/1799.24	c  1799s|  1710k|    33 |655689 |   0.0 |  82M|  68 |   - |1000 |  37k|   0 |   0 |  28k|2755 |  29 |-2.410690e+02 |-5.700000e+01 |  76.36%
1799.98/1800.00	c 
1799.98/1800.00	c SCIP Status        : solving was interrupted [time limit reached]
1799.98/1800.00	c Solving Time (sec) : 1800.00
1799.98/1800.00	c Solving Nodes      : 1715128
1799.98/1800.00	c Primal Bound       : -5.70000000000000e+01 (50 solutions)
1799.98/1800.00	c Dual Bound         : -2.41068967851250e+02
1799.98/1800.00	c Gap                : 76.36 %
1799.98/1800.00	s SATISFIABLE
1799.98/1800.00	v x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 
1799.98/1800.00	v -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 
1799.98/1800.00	v -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 
1799.98/1800.00	v -x937 -x936 -x935 -x934 -x933 -x932 -x931 x930 x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 
1799.98/1800.00	v -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 
1799.98/1800.00	v -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 x880 -x879 -x878 x877 -x876 -x875 -x874 
1799.98/1800.00	v -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 x857 -x856 -x855 x854 -x853 
1799.98/1800.00	v -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 
1799.98/1800.00	v -x831 -x830 -x829 -x828 x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 
1799.98/1800.00	v -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 
1799.98/1800.00	v -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 
1799.98/1800.00	v -x769 x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 x754 -x753 -x752 -x751 -x750 -x749 
1799.98/1800.00	v -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 
1799.98/1800.00	v -x727 x726 -x725 -x724 -x723 -x722 -x721 x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 
1799.98/1800.00	v -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 x695 -x694 -x693 -x692 -x691 x690 -x689 -x688 -x687 -x686 -x685 
1799.98/1800.00	v -x684 x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 
1799.98/1800.00	v -x663 x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 
1799.98/1800.00	v -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 
1799.98/1800.00	v -x622 -x621 -x620 -x619 -x618 x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 x605 -x604 -x603 -x602 -x601 
1799.98/1800.00	v -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 
1799.98/1800.00	v -x580 -x579 -x578 x577 -x576 -x575 -x574 -x573 -x572 -x571 x570 -x569 -x568 -x567 x566 -x565 -x564 -x563 x562 -x561 -x560 -x559 
1799.98/1800.00	v -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 
1799.98/1800.00	v -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 x523 -x522 -x521 -x520 -x519 -x518 -x517 
1799.98/1800.00	v -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 x499 -x498 -x497 -x496 
1799.98/1800.00	v -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 
1799.98/1800.00	v -x474 -x473 -x472 -x471 -x470 -x469 x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 x454 
1799.98/1800.00	v -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 x443 -x442 -x441 -x440 -x439 x438 -x437 -x436 -x435 -x434 -x433 
1799.98/1800.00	v -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 
1799.98/1800.00	v -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 x394 -x393 -x392 -x391 
1799.98/1800.00	v -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 
1799.98/1800.00	v -x369 -x368 x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 
1799.98/1800.00	v -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 x334 -x333 -x332 -x331 -x330 -x329 -x328 
1799.98/1800.00	v -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 
1799.98/1800.00	v -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 
1799.98/1800.00	v -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 
1799.98/1800.00	v -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 
1799.98/1800.00	v -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 
1799.98/1800.00	v -x223 x222 -x221 -x220 -x219 -x218 -x217 -x216 x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 
1799.98/1800.00	v -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 
1799.98/1800.00	v -x181 -x180 -x179 -x178 -x177 -x176 x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 
1799.98/1800.00	v -x160 -x159 -x158 x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 x143 -x142 -x141 -x140 
1799.98/1800.00	v -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 
1799.98/1800.00	v -x118 -x117 -x116 -x115 -x114 x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 x100 -x99 -x98 
1799.98/1800.00	v -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 
1799.98/1800.00	v -x72 x71 -x70 x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 x60 -x59 -x58 -x57 x56 -x55 -x54 x53 -x52 -x51 -x50 -x49 -x48 -x47 
1799.98/1800.00	v -x46 -x45 -x44 -x43 -x42 x41 x40 -x39 -x38 -x37 x36 -x35 x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 x26 -x25 -x24 -x23 x22 -x21 -x20 
1799.98/1800.00	v -x19 -x18 -x17 x16 -x15 x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 x6 x5 x4 -x3 x2 -x1 
1799.98/1800.00	c SCIP Status        : solving was interrupted [time limit reached]
1799.98/1800.00	c Total Time         :    1800.00
1799.98/1800.00	c   solving          :    1800.00
1799.98/1800.00	c   presolving       :       0.93 (included in solving)
1799.98/1800.00	c   reading          :       0.10 (included in solving)
1799.98/1800.00	c Original Problem   :
1799.98/1800.00	c   Problem name     : HOME/instance-3452350-1307109000.opb
1799.98/1800.00	c   Variables        : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.98/1800.00	c   Constraints      : 1000 initial, 1000 maximal
1799.98/1800.00	c Presolved Problem  :
1799.98/1800.00	c   Problem name     : t_HOME/instance-3452350-1307109000.opb
1799.98/1800.00	c   Variables        : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.98/1800.00	c   Constraints      : 37742 initial, 37749 maximal
1799.98/1800.00	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1799.98/1800.00	c   trivial          :       0.00          0          0          0          0          0          0          0          0          0
1799.98/1800.01	c   dualfix          :       0.00          0          0          0          0          0          0          0          0          0
1799.98/1800.01	c   boundshift       :       0.00          0          0          0          0          0          0          0          0          0
1799.98/1800.01	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0          0
1799.98/1800.01	c   implics          :       0.00          0          0          0          0          0          0          0          0          0
1799.98/1800.01	c   probing          :       0.17          0          0          0          0          0          0          0          0          0
1799.98/1800.01	c   and              :       0.38          0          0          0          0          0          0          0          0          0
1799.98/1800.01	c   linear           :       0.10      37742          0          0      37742          0       1000          0          0          0
1799.98/1800.01	c   logicor          :       0.06          0          0          0          0          0          0          0          0          0
1799.98/1800.01	c   root node        :          -          0          -          -          0          -          -          -          -          -
1799.98/1800.01	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #Resprop    Cutoffs    DomReds       Cuts      Conss   Children
1799.98/1800.01	c   integral         :          0          0          0          1          0         60          0          0          0          0          0          2
1799.98/1800.01	c   logicor          :      37742+       368    1702851          0          4         56    7985350       8598    3002730      35197          0          0
1799.98/1800.01	c   countsols        :          0          0          0          0          4         48          0          0          0          0          0          0
1799.98/1800.01	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS      Check    Resprop
1799.98/1800.01	c   integral         :      22.08       0.00       0.00      22.08       0.00       0.00       0.00
1799.98/1800.01	c   logicor          :      35.09       3.15      30.67       0.00       0.03       0.15       1.09
1799.98/1800.01	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1799.98/1800.01	c Propagators        : #Propagate   #Resprop    Cutoffs    DomReds
1799.98/1800.01	c   vbounds          :          0          0          0          0
1799.98/1800.01	c   rootredcost      :          4          0          0          0
1799.98/1800.01	c   pseudoobj        :    2866488      14706     758420    1533643
1799.98/1800.01	c Propagator Timings :  TotalTime  Propagate    Resprop
1799.98/1800.01	c   vbounds          :       0.36       0.36       0.00
1799.98/1800.01	c   rootredcost      :       0.42       0.42       0.00
1799.98/1800.01	c   pseudoobj        :      92.84      91.87       0.98
1799.98/1800.01	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1799.98/1800.01	c   propagation      :       4.27       8598       2760       2760       46.7          0        0.0          -
1799.98/1800.01	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1799.98/1800.01	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1799.98/1800.01	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1799.98/1800.01	c   pseudo solution  :      77.54      89396          0          0        0.0          0        0.0          -
1799.98/1800.01	c   applied globally :          -          -          -       2760       46.7          -          -          -
1799.98/1800.01	c   applied locally  :          -          -          -          0        0.0          -          -          -
1799.98/1800.01	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1799.98/1800.01	c   cut pool         :       1.12        367          -          -       6042          -    (maximal pool size: 17734)
1799.98/1800.01	c   redcost          :       0.01        368          0          0          0          0
1799.98/1800.01	c   impliedbounds    :       0.50        365          0          0      26855          0
1799.98/1800.01	c   intobj           :       0.00          0          0          0          0          0
1799.98/1800.01	c   gomory           :    1136.11        364          0          0      78311          0
1799.98/1800.01	c   cgmip            :       0.00          0          0          0          0          0
1799.98/1800.01	c   closecuts        :       0.00          0          0          0          0          0
1799.98/1800.01	c   strongcg         :       1.90         20          0          0      10000          0
1799.98/1800.01	c   cmir             :       1.36         10          0          0          0          0
1799.98/1800.01	c   flowcover        :       1.23         10          0          0          0          0
1799.98/1800.01	c   clique           :      17.61        364          0          0       3391          0
1799.98/1800.01	c   zerohalf         :       0.00          0          0          0          0          0
1799.98/1800.01	c   mcf              :       0.03          1          0          0          0          0
1799.98/1800.01	c   oddcycle         :       0.00          0          0          0          0          0
1799.98/1800.01	c   rapidlearning    :       0.00          0          0          0          0          0
1799.98/1800.01	c Pricers            :       Time      Calls       Vars
1799.98/1800.01	c   problem variables:       0.00          0          0
1799.98/1800.01	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1799.98/1800.01	c   relpscost        :      22.08          1          0          0          0          0          2
1799.98/1800.01	c   pscost           :       0.00          0          0          0          0          0          0
1799.98/1800.01	c   inference        :       3.95     860188          0          0          0          0    1720376
1799.98/1800.01	c   mostinf          :       0.00          0          0          0          0          0          0
1799.98/1800.01	c   leastinf         :       0.00          0          0          0          0          0          0
1799.98/1800.01	c   fullstrong       :       0.00          0          0          0          0          0          0
1799.98/1800.01	c   allfullstrong    :       0.00          0          0          0          0          0          0
1799.98/1800.01	c   random           :       0.00          0          0          0          0          0          0
1799.98/1800.01	c Primal Heuristics  :       Time      Calls      Found
1799.98/1800.01	c   LP solutions     :       0.00          -          0
1799.98/1800.01	c   pseudo solutions :       0.00          -          4
1799.98/1800.01	c   crossover        :       0.00          0          0
1799.98/1800.01	c   oneopt           :       0.52          2          1
1799.98/1800.01	c   trivial          :       0.02          2          1
1799.98/1800.01	c   shiftandpropagate:       0.00          0          0
1799.98/1800.01	c   simplerounding   :       0.20        369         42
1799.98/1800.01	c   zirounding       :       0.00          1          0
1799.98/1800.01	c   rounding         :       9.81        369          1
1799.98/1800.01	c   shifting         :       9.84        369          1
1799.98/1800.01	c   intshifting      :       0.00          0          0
1799.98/1800.01	c   twoopt           :       0.00          0          0
1799.98/1800.01	c   fixandinfer      :       0.00          0          0
1799.98/1800.01	c   feaspump         :       0.00          0          0
1799.98/1800.01	c   clique           :       0.00          0          0
1799.98/1800.01	c   coefdiving       :       0.00          0          0
1799.98/1800.01	c   pscostdiving     :       0.00          0          0
1799.98/1800.01	c   fracdiving       :       0.00          0          0
1799.98/1800.01	c   veclendiving     :       0.00          0          0
1799.98/1800.01	c   intdiving        :       0.00          0          0
1799.98/1800.01	c   actconsdiving    :       0.00          0          0
1799.98/1800.01	c   objpscostdiving  :       0.00          0          0
1799.98/1800.01	c   rootsoldiving    :       0.00          0          0
1799.98/1800.01	c   linesearchdiving :       0.00          0          0
1799.98/1800.01	c   guideddiving     :       0.00          0          0
1799.98/1800.01	c   octane           :       0.00          0          0
1799.98/1800.01	c   rens             :       0.01          0          0
1799.98/1800.01	c   rins             :       0.00          0          0
1799.98/1800.01	c   localbranching   :       0.00          0          0
1799.98/1800.01	c   mutation         :       0.00          0          0
1799.98/1800.01	c   dins             :       0.00          0          0
1799.98/1800.01	c   vbounds          :       0.00          0          0
1799.98/1800.01	c   undercover       :       0.00          0          0
1799.98/1800.01	c   subnlp           :       0.19          0          0
1799.98/1800.01	c   trysol           :       0.15          0          0
1799.98/1800.01	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1799.98/1800.01	c   primal LP        :       1.24          0          0       0.00       0.00
1799.98/1800.01	c   dual LP          :     338.25        369     655689    1776.93    1938.48
1799.98/1800.01	c   lex dual LP      :       0.00          0          0       0.00          -
1799.98/1800.01	c   barrier LP       :       0.00          0          0       0.00          -
1799.98/1800.01	c   diving/probing LP:       0.00          0          0       0.00          -
1799.98/1800.01	c   strong branching :      22.08         29      29000    1000.00    1313.56
1799.98/1800.01	c     (at root node) :          -         29      29000    1000.00          -
1799.98/1800.01	c   conflict analysis:       0.00          0          0       0.00          -
1799.98/1800.01	c B&B Tree           :
1799.98/1800.01	c   number of runs   :          1
1799.98/1800.01	c   nodes            :    1715128
1799.98/1800.01	c   nodes (total)    :    1715128
1799.98/1800.01	c   nodes left       :         31
1799.98/1800.01	c   max depth        :         68
1799.98/1800.01	c   max depth (total):         68
1799.98/1800.01	c   backtracks       :     340713 (19.9%)
1799.98/1800.01	c   delayed cutoffs  :       1554
1799.98/1800.01	c   repropagations   :       2022 (7589 domain reductions, 1479 cutoffs)
1799.98/1800.01	c   avg switch length:       2.00
1799.98/1800.01	c   switching time   :      23.57
1799.98/1800.01	c Solution           :
1799.98/1800.01	c   Solutions found  :         50 (8 improvements)
1799.98/1800.01	c   First Solution   : +0.00000000000000e+00   (in run 1, after 0 nodes, 0.28 seconds, depth 0, found by <trivial>)
1799.98/1800.01	c   Primal Bound     : -5.70000000000000e+01   (in run 1, after 1077471 nodes, 1711.47 seconds, depth 67, found by <relaxation>)
1799.98/1800.01	c   Dual Bound       : -2.41068967851250e+02
1799.98/1800.01	c   Gap              :      76.36 %
1799.98/1800.01	c   Root Dual Bound  : -2.41068967851250e+02
1799.98/1800.01	c   Root Iterations  :     655689
1800.08/1800.11	c Time complete: 1800.09.

Verifier Data 

OK	-57

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3452350-1307109000/watcher-3452350-1307109000 -o /tmp/evaluation-result-3452350-1307109000/solver-3452350-1307109000 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452350-1307109000.opb -t 1800 -m 15500 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.93 1.39 1.73 1/459 7214
/proc/meminfo: memFree=30105412/32950928 swapFree=45617076/67111528
[pid=7214] ppid=7212 vsize=10992 CPUtime=0 cores=0,2,4,6
/proc/7214/stat : 7214 (scip-2.0.1.4.li) R 7212 7214 5789 0 -1 4202496 1745 0 0 0 0 0 0 0 22 0 1 0 822499802 11255808 1698 33554432000 4194304 9128323 140736113762272 18446744073709551615 6886064 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/7214/statm: 2748 1698 401 1205 0 1539 0

[startup+0.093941 s]
/proc/loadavg: 0.93 1.39 1.73 1/459 7214
/proc/meminfo: memFree=30105412/32950928 swapFree=45617076/67111528
[pid=7214] ppid=7212 vsize=16208 CPUtime=0.09 cores=0,2,4,6
/proc/7214/stat : 7214 (scip-2.0.1.4.li) R 7212 7214 5789 0 -1 4202496 3073 0 0 0 9 0 0 0 22 0 1 0 822499802 16596992 3026 33554432000 4194304 9128323 140736113762272 18446744073709551615 6191647 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/7214/statm: 4052 3026 401 1205 0 2843 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16208

[startup+0.100939 s]
/proc/loadavg: 0.93 1.39 1.73 1/459 7214
/proc/meminfo: memFree=30105412/32950928 swapFree=45617076/67111528
[pid=7214] ppid=7212 vsize=20028 CPUtime=0.09 cores=0,2,4,6
/proc/7214/stat : 7214 (scip-2.0.1.4.li) R 7212 7214 5789 0 -1 4202496 3927 0 0 0 9 0 0 0 22 0 1 0 822499802 20508672 3879 33554432000 4194304 9128323 140736113762272 18446744073709551615 6886064 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7214/statm: 5007 3899 432 1205 0 3798 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20028

[startup+0.30097 s]
/proc/loadavg: 0.93 1.39 1.73 1/459 7214
/proc/meminfo: memFree=30105412/32950928 swapFree=45617076/67111528
[pid=7214] ppid=7212 vsize=91924 CPUtime=0.29 cores=0,2,4,6
/proc/7214/stat : 7214 (scip-2.0.1.4.li) R 7212 7214 5789 0 -1 4202496 21413 0 0 0 27 2 0 0 23 0 1 0 822499802 94130176 20910 33554432000 4194304 9128323 140736113762272 18446744073709551615 6522768 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7214/statm: 22981 20910 481 1205 0 21772 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 91924

[startup+0.700894 s]
/proc/loadavg: 0.93 1.39 1.73 1/459 7214
/proc/meminfo: memFree=30105412/32950928 swapFree=45617076/67111528
[pid=7214] ppid=7212 vsize=106908 CPUtime=0.69 cores=0,2,4,6
/proc/7214/stat : 7214 (scip-2.0.1.4.li) R 7212 7214 5789 0 -1 4202496 26104 0 0 0 67 2 0 0 25 0 1 0 822499802 109473792 24670 33554432000 4194304 9128323 140736113762272 18446744073709551615 4815824 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7214/statm: 26727 24670 519 1205 0 25518 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 106908

[startup+1.50076 s]
/proc/loadavg: 0.93 1.39 1.73 3/465 7225
/proc/meminfo: memFree=29940916/32950928 swapFree=45617076/67111528
[pid=7214] ppid=7212 vsize=171904 CPUtime=1.49 cores=0,2,4,6
/proc/7214/stat : 7214 (scip-2.0.1.4.li) R 7212 7214 5789 0 -1 4202496 43734 0 0 0 146 3 0 0 25 0 1 0 822499802 176029696 39423 33554432000 4194304 9128323 140736113762272 18446744073709551615 6941927 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7214/statm: 42976 39423 873 1205 0 41767 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 171904

[startup+3.10036 s]
/proc/loadavg: 0.93 1.39 1.73 3/465 7225
/proc/meminfo: memFree=29884372/32950928 swapFree=45617076/67111528
[pid=7214] ppid=7212 vsize=171952 CPUtime=3.09 cores=0,2,4,6
/proc/7214/stat : 7214 (scip-2.0.1.4.li) R 7212 7214 5789 0 -1 4202496 47050 0 0 0 306 3 0 0 25 0 1 0 822499802 176078848 40097 33554432000 4194304 9128323 140736113762272 18446744073709551615 8008900 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7214/statm: 42988 40097 730 1205 0 41779 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 171952

[startup+6.30091 s]
/proc/loadavg: 1.01 1.40 1.73 3/465 7225
/proc/meminfo: memFree=29851796/32950928 swapFree=45617076/67111528
[pid=7214] ppid=7212 vsize=173676 CPUtime=6.29 cores=0,2,4,6
/proc/7214/stat : 7214 (scip-2.0.1.4.li) R 7212 7214 5789 0 -1 4202496 48185 0 0 0 625 4 0 0 25 0 1 0 822499802 177844224 41232 33554432000 4194304 9128323 140736113762272 18446744073709551615 7315477 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7214/statm: 43419 41232 732 1205 0 42210 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 173676

[startup+12.7008 s]
/proc/loadavg: 1.09 1.41 1.73 3/465 7225
/proc/meminfo: memFree=29831620/32950928 swapFree=45617076/67111528
[pid=7214] ppid=7212 vsize=182920 CPUtime=12.66 cores=0,2,4,6
/proc/7214/stat : 7214 (scip-2.0.1.4.li) R 7212 7214 5789 0 -1 4202496 49848 0 0 0 1260 6 0 0 25 0 1 0 822499802 187310080 42893 33554432000 4194304 9128323 140736113762272 18446744073709551615 8012623 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/7214/statm: 45730 42893 730 1205 0 44521 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 182920

[startup+25.5005 s]
/proc/loadavg: 1.29 1.44 1.73 3/465 7225
/proc/meminfo: memFree=29818272/32950928 swapFree=45617076/67111528
[pid=7214] ppid=7212 vsize=191748 CPUtime=25.46 cores=0,2,4,6
/proc/7214/stat : 7214 (scip-2.0.1.4.li) R 7212 7214 5789 0 -1 4202496 53214 0 0 0 2534 12 0 0 25 0 1 0 822499802 196349952 46050 33554432000 4194304 9128323 140736113762272 18446744073709551615 4347135 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/7214/statm: 47937 46050 707 1205 0 46728 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 191748

[startup+51.101 s]
/proc/loadavg: 1.53 1.48 1.74 3/465 7226
/proc/meminfo: memFree=29799904/32950928 swapFree=45617076/67111528
[pid=7214] ppid=7212 vsize=212832 CPUtime=51.05 cores=0,2,4,6
/proc/7214/stat : 7214 (scip-2.0.1.4.li) R 7212 7214 5789 0 -1 4202496 58034 0 0 0 5082 23 0 0 25 0 1 0 822499802 217939968 50678 33554432000 4194304 9128323 140736113762272 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/7214/statm: 53208 50678 671 1205 0 51999 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 212832

[startup+102.317 s]
/proc/loadavg: 1.80 1.56 1.75 3/465 7228
/proc/meminfo: memFree=29762284/32950928 swapFree=45617076/67111528
[pid=7214] ppid=7212 vsize=248396 CPUtime=102.27 cores=0,2,4,6
/proc/7214/stat : 7214 (scip-2.0.1.4.li) R 7212 7214 5789 0 -1 4202496 66920 0 0 0 10180 47 0 0 25 0 1 0 822499802 254357504 59479 33554432000 4194304 9128323 140736113762272 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/7214/statm: 62099 59479 686 1205 0 60890 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 248396

[startup+162.3 s]
/proc/loadavg: 1.92 1.64 1.76 3/465 7229
/proc/meminfo: memFree=29761708/32950928 swapFree=45617076/67111528
[pid=7214] ppid=7212 vsize=248396 CPUtime=162.25 cores=0,2,4,6
/proc/7214/stat : 7214 (scip-2.0.1.4.li) R 7212 7214 5789 0 -1 4202496 66940 0 0 0 16157 68 0 0 25 0 1 0 822499802 254357504 59484 33554432000 4194304 9128323 140736113762272 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/7214/statm: 62099 59484 671 1205 0 60890 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 248396

[startup+222.301 s]
/proc/loadavg: 1.97 1.70 1.77 3/465 7231
/proc/meminfo: memFree=29762356/32950928 swapFree=45617076/67111528
[pid=7214] ppid=7212 vsize=249864 CPUtime=222.25 cores=0,2,4,6
/proc/7214/stat : 7214 (scip-2.0.1.4.li) R 7212 7214 5789 0 -1 4202496 66940 0 0 0 22137 88 0 0 25 0 1 0 822499802 255860736 59484 33554432000 4194304 9128323 140736113762272 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/7214/statm: 62466 59484 671 1205 0 61257 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 249864

[startup+282.301 s]
/proc/loadavg: 2.04 1.77 1.79 3/465 7232
/proc/meminfo: memFree=29764032/32950928 swapFree=45617076/67111528
[pid=7214] ppid=7212 vsize=249864 CPUtime=282.26 cores=0,2,4,6
/proc/7214/stat : 7214 (scip-2.0.1.4.li) R 7212 7214 5789 0 -1 4202496 66941 0 0 0 28119 107 0 0 25 0 1 0 822499802 255860736 59485 33554432000 4194304 9128323 140736113762272 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/7214/statm: 62466 59485 671 1205 0 61257 0
Current children cumulated CPU time (s) 282.26
Current children cumulated vsize (KiB) 249864

[startup+342.301 s]
/proc/loadavg: 2.08 1.83 1.81 3/465 7234
/proc/meminfo: memFree=29764104/32950928 swapFree=45617076/67111528
[pid=7214] ppid=7212 vsize=249864 CPUtime=342.26 cores=0,2,4,6
/proc/7214/stat : 7214 (scip-2.0.1.4.li) R 7212 7214 5789 0 -1 4202496 66941 0 0 0 34100 126 0 0 25 0 1 0 822499802 255860736 59485 33554432000 4194304 9128323 140736113762272 18446744073709551615 6701365 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/7214/statm: 62466 59485 671 1205 0 61257 0
Current children cumulated CPU time (s) 342.26
Current children cumulated vsize (KiB) 249864

[startup+402.301 s]
/proc/loadavg: 2.06 1.88 1.82 3/465 7235
/proc/meminfo: memFree=29763540/32950928 swapFree=45617076/67111528
[pid=7214] ppid=7212 vsize=249864 CPUtime=402.26 cores=0,2,4,6
/proc/7214/stat : 7214 (scip-2.0.1.4.li) R 7212 7214 5789 0 -1 4202496 67090 0 0 0 40081 145 0 0 25 0 1 0 822499802 255860736 59634 33554432000 4194304 9128323 140736113762272 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/7214/statm: 62466 59634 671 1205 0 61257 0
Current children cumulated CPU time (s) 402.26
Current children cumulated vsize (KiB) 249864

[startup+462.3 s]
/proc/loadavg: 2.02 1.89 1.83 3/465 7237
/proc/meminfo: memFree=29763488/32950928 swapFree=45617076/67111528
[pid=7214] ppid=7212 vsize=249864 CPUtime=462.26 cores=0,2,4,6
/proc/7214/stat : 7214 (scip-2.0.1.4.li) R 7212 7214 5789 0 -1 4202496 67090 0 0 0 46066 160 0 0 25 0 1 0 822499802 255860736 59634 33554432000 4194304 9128323 140736113762272 18446744073709551615 6637216 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/7214/statm: 62466 59634 671 1205 0 61257 0
Current children cumulated CPU time (s) 462.26
Current children cumulated vsize (KiB) 249864

[startup+522.301 s]
/proc/loadavg: 2.01 1.91 1.84 3/465 7239
/proc/meminfo: memFree=29763820/32950928 swapFree=45617076/67111528
[pid=7214] ppid=7212 vsize=249864 CPUtime=522.26 cores=0,2,4,6
/proc/7214/stat : 7214 (scip-2.0.1.4.li) R 7212 7214 5789 0 -1 4202496 67090 0 0 0 52047 179 0 0 25 0 1 0 822499802 255860736 59634 33554432000 4194304 9128323 140736113762272 18446744073709551615 7018574 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/7214/statm: 62466 59634 671 1205 0 61257 0
Current children cumulated CPU time (s) 522.26
Current children cumulated vsize (KiB) 249864

[startup+582.301 s]
/proc/loadavg: 2.00 1.92 1.84 3/465 7240
/proc/meminfo: memFree=29763896/32950928 swapFree=45617076/67111528
[pid=7214] ppid=7212 vsize=249864 CPUtime=582.27 cores=0,2,4,6
/proc/7214/stat : 7214 (scip-2.0.1.4.li) R 7212 7214 5789 0 -1 4202496 67090 0 0 0 58033 194 0 0 25 0 1 0 822499802 255860736 59634 33554432000 4194304 9128323 140736113762272 18446744073709551615 6482080 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/7214/statm: 62466 59634 671 1205 0 61257 0
Current children cumulated CPU time (s) 582.27
Current children cumulated vsize (KiB) 249864

[startup+642.301 s]

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

[startup+882.301 s]
/proc/loadavg: 2.05 1.99 1.88 3/465 7260
/proc/meminfo: memFree=29761428/32950928 swapFree=45617076/67111528
[pid=7214] ppid=7212 vsize=250228 CPUtime=882.26 cores=0,2,4,6
/proc/7214/stat : 7214 (scip-2.0.1.4.li) R 7212 7214 5789 0 -1 4202496 67182 0 0 0 87965 261 0 0 25 0 1 0 822499802 256233472 59726 33554432000 4194304 9128323 140736113762272 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/7214/statm: 62557 59726 671 1205 0 61348 0
Current children cumulated CPU time (s) 882.26
Current children cumulated vsize (KiB) 250228

[startup+942.3 s]
/proc/loadavg: 2.11 2.02 1.90 3/465 7262
/proc/meminfo: memFree=29761944/32950928 swapFree=45617076/67111528
[pid=7214] ppid=7212 vsize=250664 CPUtime=942.27 cores=0,2,4,6
/proc/7214/stat : 7214 (scip-2.0.1.4.li) R 7212 7214 5789 0 -1 4202496 67290 0 0 0 93953 274 0 0 25 0 1 0 822499802 256679936 59834 33554432000 4194304 9128323 140736113762272 18446744073709551615 6631073 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/7214/statm: 62666 59834 671 1205 0 61457 0
Current children cumulated CPU time (s) 942.27
Current children cumulated vsize (KiB) 250664

[startup+1002.3 s]
/proc/loadavg: 2.04 2.01 1.90 3/465 7264
/proc/meminfo: memFree=29761772/32950928 swapFree=45617076/67111528
[pid=7214] ppid=7212 vsize=250664 CPUtime=1002.27 cores=0,2,4,6
/proc/7214/stat : 7214 (scip-2.0.1.4.li) R 7212 7214 5789 0 -1 4202496 67291 0 0 0 99939 288 0 0 25 0 1 0 822499802 256679936 59835 33554432000 4194304 9128323 140736113762272 18446744073709551615 7414868 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/7214/statm: 62666 59835 671 1205 0 61457 0
Current children cumulated CPU time (s) 1002.27
Current children cumulated vsize (KiB) 250664

[startup+1062.3 s]
/proc/loadavg: 2.01 2.01 1.91 3/465 7265
/proc/meminfo: memFree=29761620/32950928 swapFree=45617076/67111528
[pid=7214] ppid=7212 vsize=250860 CPUtime=1062.27 cores=0,2,4,6
/proc/7214/stat : 7214 (scip-2.0.1.4.li) R 7212 7214 5789 0 -1 4202496 67340 0 0 0 105926 301 0 0 25 0 1 0 822499802 256880640 59884 33554432000 4194304 9128323 140736113762272 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/7214/statm: 62715 59884 671 1205 0 61506 0
Current children cumulated CPU time (s) 1062.27
Current children cumulated vsize (KiB) 250860

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/465 7267
/proc/meminfo: memFree=29761560/32950928 swapFree=45617076/67111528
[pid=7214] ppid=7212 vsize=250860 CPUtime=1122.28 cores=0,2,4,6
/proc/7214/stat : 7214 (scip-2.0.1.4.li) R 7212 7214 5789 0 -1 4202496 67340 0 0 0 111915 313 0 0 25 0 1 0 822499802 256880640 59884 33554432000 4194304 9128323 140736113762272 18446744073709551615 7414736 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/7214/statm: 62715 59884 671 1205 0 61506 0
Current children cumulated CPU time (s) 1122.28
Current children cumulated vsize (KiB) 250860

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/465 7268
/proc/meminfo: memFree=29760996/32950928 swapFree=45617076/67111528
[pid=7214] ppid=7212 vsize=250860 CPUtime=1182.28 cores=0,2,4,6
/proc/7214/stat : 7214 (scip-2.0.1.4.li) R 7212 7214 5789 0 -1 4202496 67340 0 0 0 117901 327 0 0 25 0 1 0 822499802 256880640 59884 33554432000 4194304 9128323 140736113762272 18446744073709551615 6700136 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/7214/statm: 62715 59884 671 1205 0 61506 0
Current children cumulated CPU time (s) 1182.28
Current children cumulated vsize (KiB) 250860

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/465 7270
/proc/meminfo: memFree=29760052/32950928 swapFree=45617076/67111528
[pid=7214] ppid=7212 vsize=250860 CPUtime=1242.28 cores=0,2,4,6
/proc/7214/stat : 7214 (scip-2.0.1.4.li) R 7212 7214 5789 0 -1 4202496 67340 0 0 0 123889 339 0 0 25 0 1 0 822499802 256880640 59884 33554432000 4194304 9128323 140736113762272 18446744073709551615 7021573 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/7214/statm: 62715 59884 671 1205 0 61506 0
Current children cumulated CPU time (s) 1242.28
Current children cumulated vsize (KiB) 250860

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/465 7272
/proc/meminfo: memFree=29760140/32950928 swapFree=45617076/67111528
[pid=7214] ppid=7212 vsize=250860 CPUtime=1302.28 cores=0,2,4,6
/proc/7214/stat : 7214 (scip-2.0.1.4.li) R 7212 7214 5789 0 -1 4202496 67340 0 0 0 129876 352 0 0 25 0 1 0 822499802 256880640 59884 33554432000 4194304 9128323 140736113762272 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/7214/statm: 62715 59884 671 1205 0 61506 0
Current children cumulated CPU time (s) 1302.28
Current children cumulated vsize (KiB) 250860

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/465 7273
/proc/meminfo: memFree=29760328/32950928 swapFree=45617076/67111528
[pid=7214] ppid=7212 vsize=250860 CPUtime=1362.28 cores=0,2,4,6
/proc/7214/stat : 7214 (scip-2.0.1.4.li) R 7212 7214 5789 0 -1 4202496 67340 0 0 0 135863 365 0 0 25 0 1 0 822499802 256880640 59884 33554432000 4194304 9128323 140736113762272 18446744073709551615 7018482 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/7214/statm: 62715 59884 671 1205 0 61506 0
Current children cumulated CPU time (s) 1362.28
Current children cumulated vsize (KiB) 250860

[startup+1422.32 s]
/proc/loadavg: 2.04 2.01 1.91 3/465 7275
/proc/meminfo: memFree=29761244/32950928 swapFree=45617076/67111528
[pid=7214] ppid=7212 vsize=250860 CPUtime=1422.29 cores=0,2,4,6
/proc/7214/stat : 7214 (scip-2.0.1.4.li) R 7212 7214 5789 0 -1 4202496 67340 0 0 0 141851 378 0 0 25 0 1 0 822499802 256880640 59884 33554432000 4194304 9128323 140736113762272 18446744073709551615 6695070 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/7214/statm: 62715 59884 671 1205 0 61506 0
Current children cumulated CPU time (s) 1422.29
Current children cumulated vsize (KiB) 250860

[startup+1482.3 s]
/proc/loadavg: 2.11 2.04 1.93 3/465 7276
/proc/meminfo: memFree=29760928/32950928 swapFree=45617076/67111528
[pid=7214] ppid=7212 vsize=250860 CPUtime=1482.28 cores=0,2,4,6
/proc/7214/stat : 7214 (scip-2.0.1.4.li) R 7212 7214 5789 0 -1 4202496 67340 0 0 0 147834 394 0 0 25 0 1 0 822499802 256880640 59884 33554432000 4194304 9128323 140736113762272 18446744073709551615 6637216 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/7214/statm: 62715 59884 671 1205 0 61506 0
Current children cumulated CPU time (s) 1482.28
Current children cumulated vsize (KiB) 250860

[startup+1542.3 s]
/proc/loadavg: 2.04 2.03 1.93 3/465 7278
/proc/meminfo: memFree=29758504/32950928 swapFree=45617076/67111528
[pid=7214] ppid=7212 vsize=253412 CPUtime=1542.27 cores=0,2,4,6
/proc/7214/stat : 7214 (scip-2.0.1.4.li) R 7212 7214 5789 0 -1 4202496 68041 0 0 0 153818 409 0 0 25 0 1 0 822499802 259493888 60569 33554432000 4194304 9128323 140736113762272 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/7214/statm: 63353 60569 693 1205 0 62144 0
Current children cumulated CPU time (s) 1542.27
Current children cumulated vsize (KiB) 253412

[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 1.93 3/465 7280
/proc/meminfo: memFree=29758284/32950928 swapFree=45617076/67111528
[pid=7214] ppid=7212 vsize=253412 CPUtime=1602.28 cores=0,2,4,6
/proc/7214/stat : 7214 (scip-2.0.1.4.li) R 7212 7214 5789 0 -1 4202496 68054 0 0 0 159817 411 0 0 25 0 1 0 822499802 259493888 60582 33554432000 4194304 9128323 140736113762272 18446744073709551615 6525252 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/7214/statm: 63353 60582 706 1205 0 62144 0
Current children cumulated CPU time (s) 1602.28
Current children cumulated vsize (KiB) 253412

[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 1.93 3/465 7281
/proc/meminfo: memFree=29758192/32950928 swapFree=45617076/67111528
[pid=7214] ppid=7212 vsize=253412 CPUtime=1662.28 cores=0,2,4,6
/proc/7214/stat : 7214 (scip-2.0.1.4.li) R 7212 7214 5789 0 -1 4202496 68054 0 0 0 165817 411 0 0 25 0 1 0 822499802 259493888 60582 33554432000 4194304 9128323 140736113762272 18446744073709551615 4911808 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/7214/statm: 63353 60582 706 1205 0 62144 0
Current children cumulated CPU time (s) 1662.28
Current children cumulated vsize (KiB) 253412

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/465 7283
/proc/meminfo: memFree=29757988/32950928 swapFree=45617076/67111528
[pid=7214] ppid=7212 vsize=253412 CPUtime=1722.28 cores=0,2,4,6
/proc/7214/stat : 7214 (scip-2.0.1.4.li) R 7212 7214 5789 0 -1 4202496 68054 0 0 0 171817 411 0 0 25 0 1 0 822499802 259493888 60582 33554432000 4194304 9128323 140736113762272 18446744073709551615 4209278 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/7214/statm: 63353 60582 706 1205 0 62144 0
Current children cumulated CPU time (s) 1722.28
Current children cumulated vsize (KiB) 253412

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/465 7284
/proc/meminfo: memFree=29756028/32950928 swapFree=45617076/67111528
[pid=7214] ppid=7212 vsize=253412 CPUtime=1782.28 cores=0,2,4,6
/proc/7214/stat : 7214 (scip-2.0.1.4.li) R 7212 7214 5789 0 -1 4202496 68054 0 0 0 177817 411 0 0 25 0 1 0 822499802 259493888 60582 33554432000 4194304 9128323 140736113762272 18446744073709551615 5984439 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/7214/statm: 63353 60582 706 1205 0 62144 0
Current children cumulated CPU time (s) 1782.28
Current children cumulated vsize (KiB) 253412



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.1 s]
/proc/loadavg: 2.00 2.00 1.93 3/465 7285
/proc/meminfo: memFree=29805732/32950928 swapFree=45617076/67111528
[pid=7214] ppid=7212 vsize=73504 CPUtime=1800.08 cores=0,2,4,6
/proc/7214/stat : 7214 (scip-2.0.1.4.li) R 7212 7214 5789 0 -1 4202496 68061 0 0 0 179597 411 0 0 25 0 1 0 822499802 75268096 16818 33554432000 4194304 9128323 140736113762272 18446744073709551615 8231418 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/7214/statm: 18376 16818 713 1205 0 17167 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 73504

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1800.1 s]
/proc/loadavg: 2.00 2.00 1.93 3/465 7285
/proc/meminfo: memFree=29805732/32950928 swapFree=45617076/67111528
[pid=7214] ppid=7212 vsize=73504 CPUtime=1800.08 cores=0,2,4,6
/proc/7214/stat : 7214 (scip-2.0.1.4.li) R 7212 7214 5789 0 -1 4202496 68061 0 0 0 179597 411 0 0 25 0 1 0 822499802 75268096 16818 33554432000 4194304 9128323 140736113762272 18446744073709551615 8231418 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/7214/statm: 18376 16818 713 1205 0 17167 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 73504

Child status: 0
Real time (s): 1800.12
CPU time (s): 1800.1
CPU user time (s): 1795.98
CPU system time (s): 4.12137
CPU usage (%): 99.9988
Max. virtual memory (cumulated for all children) (KiB): 253412

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.98
system time used= 4.12137
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68063
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= 5
involuntary context switches= 3365

runsolver used 8.34973 second user time and 17.9303 second system time

The end

Launcher Data 

Begin job on node123 at 2011-06-03 15:50:00
IDJOB=3452350
IDBENCH=48214
IDSOLVER=1949
FILE ID=node123/3452350-1307109000
RUNJOBID= node123-1307109000-7204
PBS_JOBID= 13497979
Free space on /tmp= 73828 MiB

SOLVER NAME= SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_1000_60_4.opb
COMMAND LINE= HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3452350-1307109000/watcher-3452350-1307109000 -o /tmp/evaluation-result-3452350-1307109000/solver-3452350-1307109000 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452350-1307109000.opb -t 1800 -m 15500

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 33f66c46bd2eace76f5fa6a5916a23ec
RANDOM SEED=819715358

node123.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.15
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.80
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30105700 kB
Buffers:        269828 kB
Cached:         352152 kB
SwapCached:       9456 kB
Active:        2264796 kB
Inactive:       301288 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30105700 kB
SwapTotal:    67111528 kB
SwapFree:     45617076 kB
Dirty:           13240 kB
Writeback:           0 kB
AnonPages:     1942236 kB
Mapped:          22768 kB
Slab:           133520 kB
PageTables:      77996 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 133348428 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73804 MiB
End job on node123 at 2011-06-03 16:20:02