Trace number 2663979

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
SCIPnone SCIP 1.2.1.2 without any LP solverSAT (TO)29 1800.11 1800.64

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_opers/normalized-fir04_area_opers.opb
MD5SUMe746daa468953b69c2293c7909733538
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark29
Best CPU time to get the best result obtained on this benchmark0.279957
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 29
Optimality of the best value was proved YES
Number of variables1614
Total number of constraints2783
Number of constraints which are clauses2783
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint31
Number of terms in the objective function 879
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 879
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 879
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 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-2663979-1276643488.opb>
0.00/0.05	c original problem has 1614 variables (1614 bin, 0 int, 0 impl, 0 cont) and 2783 constraints
0.00/0.05	c problem read
0.00/0.05	c presolving settings loaded
0.00/0.05	c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.07	o 879
0.00/0.07	c feasible solution found by trivial heuristic, objective value  8.790000e+02
0.00/0.07	c presolving:
0.09/0.10	c (round 1) 664 del vars, 1318 del conss, 3 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 4054 impls, 0 clqs
0.09/0.10	c (round 2) 665 del vars, 1324 del conss, 3 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 4054 impls, 0 clqs
0.09/0.14	c (round 3) 665 del vars, 1324 del conss, 3 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 4054 impls, 0 clqs
0.09/0.15	c (round 4) 665 del vars, 1324 del conss, 3 chg bounds, 0 chg sides, 0 chg coeffs, 1459 upgd conss, 4054 impls, 0 clqs
0.09/0.18	c    (0.1s) probing: 101/949 (10.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.18	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.18	c presolving (5 rounds):
0.09/0.18	c  665 deleted vars, 1324 deleted constraints, 3 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.18	c  4054 implications, 0 cliques
0.09/0.18	c presolved problem has 949 variables (949 bin, 0 int, 0 impl, 0 cont) and 1459 constraints
0.09/0.18	c    1459 constraints of type <logicor>
0.09/0.18	c transformed objective value is always integral (scale: 1)
0.09/0.18	c Presolving Time: 0.09
0.09/0.18	c - non default parameters ----------------------------------------------------------------------
0.09/0.18	c # SCIP version 1.2.1.2
0.09/0.18	c 
0.09/0.18	c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.09/0.18	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.18	c conflict/interconss = 0
0.09/0.18	c 
0.09/0.18	c # should binary conflicts be preferred?
0.09/0.18	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18	c conflict/preferbinary = TRUE
0.09/0.18	c 
0.09/0.18	c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.09/0.18	c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.18	c constraints/agelimit = 1
0.09/0.18	c 
0.09/0.18	c # should enforcement of pseudo solution be disabled?
0.09/0.18	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18	c constraints/disableenfops = TRUE
0.09/0.18	c 
0.09/0.18	c # frequency for displaying node information lines
0.09/0.18	c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.18	c display/freq = 10000
0.09/0.18	c 
0.09/0.18	c # maximal time in seconds to run
0.09/0.18	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18	c limits/time = 1799.95
0.09/0.18	c 
0.09/0.18	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.18	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18	c limits/memory = 1620
0.09/0.18	c 
0.09/0.18	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.18	c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.18	c lp/solvefreq = -1
0.09/0.18	c 
0.09/0.18	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.09/0.18	c # [type: char, range: {lafpsqd}, default: l]
0.09/0.18	c lp/pricing = a
0.09/0.18	c 
0.09/0.18	c # should presolving try to simplify inequalities
0.09/0.18	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18	c constraints/linear/simplifyinequalities = TRUE
0.09/0.18	c 
0.09/0.18	c # should presolving try to simplify knapsacks
0.09/0.18	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18	c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.18	c 
0.09/0.18	c # priority of node selection rule <dfs> in standard mode
0.09/0.18	c # [type: int, range: [-536870912,536870911], default: 0]
0.09/0.18	c nodeselection/dfs/stdpriority = 1000000
0.09/0.18	c 
0.09/0.18	c -----------------------------------------------------------------------------------------------
0.09/0.18	c start solving
0.09/0.18	c 
0.09/0.18	o 878
0.09/0.18	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.09/0.18	c t 0.1s|     1 |     0 |     0 |     - |5234k|   0 |   - | 949 |1459 |   0 |   0 |   0 |   0 |   0 |      --      | 8.780000e+02 |    Inf 
0.09/0.18	c   0.1s|     1 |     2 |     0 |     - |5193k|   0 |   - | 949 |1459 |   0 |   0 |   0 |   0 |   0 | 4.000000e+00 | 8.780000e+02 |  Large 
0.29/0.32	o 29
0.29/0.32	c * 0.2s|   765 |   758 |     0 |   0.0 |5426k| 764 |   - | 949 |1459 |   0 |   0 |   0 |   0 |   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
3.09/3.13	c   2.9s| 10000 |   754 |     0 |   0.0 |5465k| 764 |   - | 949 |1459 |   0 |   0 |   0 |5701 |   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
6.09/6.17	c   5.7s| 20000 |   751 |     0 |   0.0 |5471k| 764 |   - | 949 |1463 |   0 |   0 |   0 |  11k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
9.29/9.34	c   8.6s| 30000 |   751 |     0 |   0.0 |5469k| 764 |   - | 949 |1460 |   0 |   0 |   0 |  18k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
12.49/12.52	c  11.5s| 40000 |   751 |     0 |   0.0 |5474k| 764 |   - | 949 |1464 |   0 |   0 |   0 |  24k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
15.68/15.74	c  14.5s| 50000 |   752 |     0 |   0.0 |5471k| 764 |   - | 949 |1459 |   0 |   0 |   0 |  30k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
18.89/18.97	c  17.5s| 60000 |   747 |     0 |   0.0 |5472k| 764 |   - | 949 |1463 |   0 |   0 |   0 |  36k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
22.08/22.11	c  20.4s| 70000 |   751 |     0 |   0.0 |5475k| 764 |   - | 949 |1464 |   0 |   0 |   0 |  43k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
25.19/25.25	c  23.3s| 80000 |   749 |     0 |   0.0 |5472k| 764 |   - | 949 |1460 |   0 |   0 |   0 |  49k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
28.39/28.45	c  26.2s| 90000 |   751 |     0 |   0.0 |5477k| 764 |   - | 949 |1467 |   0 |   0 |   0 |  55k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
31.58/31.67	c  29.2s|100000 |   751 |     0 |   0.0 |5475k| 764 |   - | 949 |1463 |   0 |   0 |   0 |  61k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
34.69/34.75	c  32.1s|110000 |   748 |     0 |   0.0 |5477k| 764 |   - | 949 |1464 |   0 |   0 |   0 |  68k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
37.88/37.91	c  35.0s|120000 |   751 |     0 |   0.0 |5477k| 764 |   - | 949 |1464 |   0 |   0 |   0 |  74k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
41.18/41.21	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
41.18/41.21	c  38.0s|130000 |   755 |     0 |   0.0 |5477k| 764 |   - | 949 |1462 |   0 |   0 |   0 |  80k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
44.38/44.43	c  41.0s|140000 |   743 |     0 |   0.0 |5484k| 764 |   - | 949 |1474 |   0 |   0 |   0 |  86k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
47.68/47.76	c  44.1s|150000 |   753 |     0 |   0.0 |5478k| 764 |   - | 949 |1461 |   0 |   0 |   0 |  93k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
50.88/50.98	c  47.1s|160000 |   753 |     0 |   0.0 |5481k| 764 |   - | 949 |1467 |   0 |   0 |   0 |  99k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
54.28/54.36	c  50.2s|170000 |   745 |     0 |   0.0 |5481k| 764 |   - | 949 |1467 |   0 |   0 |   0 | 105k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
57.58/57.69	c  53.3s|180000 |   747 |     0 |   0.0 |5482k| 764 |   - | 949 |1469 |   0 |   0 |   0 | 111k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
60.98/61.08	c  56.5s|190000 |   747 |     0 |   0.0 |5475k| 764 |   - | 949 |1460 |   0 |   0 |   0 | 117k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
64.27/64.36	c  59.5s|200000 |   746 |     0 |   0.0 |5476k| 764 |   - | 949 |1461 |   0 |   0 |   0 | 124k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
67.58/67.69	c  62.6s|210000 |   750 |     0 |   0.0 |5481k| 764 |   - | 949 |1464 |   0 |   0 |   0 | 130k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
70.77/70.88	c  65.5s|220000 |   748 |     0 |   0.0 |5478k| 764 |   - | 949 |1462 |   0 |   0 |   0 | 136k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
73.97/74.07	c  68.5s|230000 |   746 |     0 |   0.0 |5481k| 764 |   - | 949 |1468 |   0 |   0 |   0 | 143k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
77.27/77.33	c  71.5s|240000 |   745 |     0 |   0.0 |5482k| 764 |   - | 949 |1467 |   0 |   0 |   0 | 149k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
80.47/80.53	c  74.4s|250000 |   748 |     0 |   0.0 |5480k| 764 |   - | 949 |1462 |   0 |   0 |   0 | 155k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
83.66/83.79	c  77.4s|260000 |   751 |     0 |   0.0 |5483k| 764 |   - | 949 |1465 |   0 |   0 |   0 | 161k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
86.96/87.01	c  80.4s|270000 |   749 |     0 |   0.0 |5479k| 764 |   - | 949 |1459 |   0 |   0 |   0 | 167k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
90.17/90.27	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
90.17/90.27	c  83.4s|280000 |   751 |     0 |   0.0 |5481k| 764 |   - | 949 |1460 |   0 |   0 |   0 | 174k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
93.56/93.65	c  86.5s|290000 |   745 |     0 |   0.0 |5487k| 764 |   - | 949 |1469 |   0 |   0 |   0 | 180k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
96.86/96.97	c  89.6s|300000 |   742 |     0 |   0.0 |5479k| 764 |   - | 949 |1461 |   0 |   0 |   0 | 186k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
100.16/100.20	c  92.6s|310000 |   752 |     0 |   0.0 |5482k| 764 |   - | 949 |1462 |   0 |   0 |   0 | 192k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
103.36/103.41	c  95.6s|320000 |   749 |     0 |   0.0 |5481k| 764 |   - | 949 |1461 |   0 |   0 |   0 | 198k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
106.57/106.64	c  98.6s|330000 |   746 |     0 |   0.0 |5483k| 764 |   - | 949 |1465 |   0 |   0 |   0 | 205k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
109.76/109.83	c   102s|340000 |   743 |     0 |   0.0 |5487k| 764 |   - | 949 |1471 |   0 |   0 |   0 | 211k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
112.86/112.93	c   104s|350000 |   750 |     0 |   0.0 |5481k| 764 |   - | 949 |1461 |   0 |   0 |   0 | 217k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
116.06/116.18	c   107s|360000 |   749 |     0 |   0.0 |5484k| 764 |   - | 949 |1463 |   0 |   0 |   0 | 223k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
119.36/119.44	c   110s|370000 |   746 |     0 |   0.0 |5484k| 764 |   - | 949 |1464 |   0 |   0 |   0 | 230k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
122.55/122.68	c   113s|380000 |   755 |     0 |   0.0 |5482k| 764 |   - | 949 |1459 |   0 |   0 |   0 | 236k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
125.85/125.97	c   116s|390000 |   751 |     0 |   0.0 |5481k| 764 |   - | 949 |1461 |   0 |   0 |   0 | 242k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
129.45/129.51	c   120s|400000 |   750 |     0 |   0.0 |5484k| 764 |   - | 949 |1464 |   0 |   0 |   0 | 248k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
132.85/132.91	c   123s|410000 |   748 |     0 |   0.0 |5482k| 764 |   - | 949 |1461 |   0 |   0 |   0 | 254k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
136.26/136.33	c   126s|420000 |   746 |     0 |   0.0 |5479k| 764 |   - | 949 |1459 |   0 |   0 |   0 | 260k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
139.66/139.72	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
139.66/139.72	c   129s|430000 |   748 |     0 |   0.0 |5485k| 764 |   - | 949 |1466 |   0 |   0 |   0 | 267k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
142.95/143.01	c   132s|440000 |   745 |     0 |   0.0 |5483k| 764 |   - | 949 |1465 |   0 |   0 |   0 | 273k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
146.25/146.39	c   135s|450000 |   748 |     0 |   0.0 |5481k| 764 |   - | 949 |1460 |   0 |   0 |   0 | 279k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
149.65/149.74	c   138s|460000 |   752 |     0 |   0.0 |5482k| 764 |   - | 949 |1460 |   0 |   0 |   0 | 285k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
153.15/153.29	c   142s|470000 |   743 |     0 |   0.0 |5496k| 764 |   - | 949 |1480 |   0 |   0 |   0 | 292k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
156.64/156.79	c   145s|480000 |   742 |     0 |   0.0 |5487k| 764 |   - | 949 |1468 |   0 |   0 |   0 | 298k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
159.75/159.85	c   148s|490000 |   748 |     0 |   0.0 |5484k| 764 |   - | 949 |1464 |   0 |   0 |   0 | 304k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
163.04/163.11	c   151s|500000 |   746 |     0 |   0.0 |5482k| 764 |   - | 949 |1461 |   0 |   0 |   0 | 310k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
166.44/166.50	c   154s|510000 |   746 |     0 |   0.0 |5485k| 764 |   - | 949 |1466 |   0 |   0 |   0 | 316k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
169.64/169.74	c   157s|520000 |   752 |     0 |   0.0 |5483k| 764 |   - | 949 |1460 |   0 |   0 |   0 | 322k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
172.74/172.89	c   160s|530000 |   742 |     0 |   0.0 |5484k| 764 |   - | 949 |1465 |   0 |   0 |   0 | 328k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
175.85/175.99	c   163s|540000 |   747 |     0 |   0.0 |5482k| 764 |   - | 949 |1461 |   0 |   0 |   0 | 335k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
179.34/179.40	c   166s|550000 |   748 |     0 |   0.0 |5484k| 764 |   - | 949 |1462 |   0 |   0 |   0 | 341k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
182.74/182.83	c   169s|560000 |   745 |     0 |   0.0 |5481k| 764 |   - | 949 |1460 |   0 |   0 |   0 | 347k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
186.24/186.31	c   172s|570000 |   748 |     0 |   0.0 |5483k| 764 |   - | 949 |1462 |   0 |   0 |   0 | 353k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
189.84/189.95	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
189.84/189.95	c   176s|580000 |   748 |     0 |   0.0 |5484k| 764 |   - | 949 |1462 |   0 |   0 |   0 | 359k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
193.54/193.64	c   179s|590000 |   740 |     0 |   0.0 |5490k| 764 |   - | 949 |1473 |   0 |   0 |   0 | 366k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
196.74/196.82	c   182s|600000 |   748 |     0 |   0.0 |5486k| 764 |   - | 949 |1466 |   0 |   0 |   0 | 372k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
199.63/199.78	c   185s|610000 |   749 |     0 |   0.0 |5489k| 764 |   - | 949 |1469 |   0 |   0 |   0 | 378k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
202.63/202.78	c   187s|620000 |   749 |     0 |   0.0 |5490k| 764 |   - | 949 |1469 |   0 |   0 |   0 | 384k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
205.73/205.83	c   190s|630000 |   753 |     0 |   0.0 |5485k| 764 |   - | 949 |1460 |   0 |   0 |   0 | 390k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
208.84/208.94	c   193s|640000 |   750 |     0 |   0.0 |5484k| 764 |   - | 949 |1459 |   0 |   0 |   0 | 396k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
211.82/211.96	c   196s|650000 |   747 |     0 |   0.0 |5486k| 764 |   - | 949 |1463 |   0 |   0 |   0 | 402k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
214.82/214.96	c   199s|660000 |   746 |     0 |   0.0 |5485k| 764 |   - | 949 |1463 |   0 |   0 |   0 | 408k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
217.93/218.04	c   202s|670000 |   755 |     0 |   0.0 |5487k| 764 |   - | 949 |1463 |   0 |   0 |   0 | 414k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
220.93/221.02	c   204s|680000 |   750 |     0 |   0.0 |5487k| 764 |   - | 949 |1466 |   0 |   0 |   0 | 420k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
224.02/224.19	c   207s|690000 |   756 |     0 |   0.0 |5486k| 764 |   - | 949 |1459 |   0 |   0 |   0 | 427k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
227.12/227.27	c   210s|700000 |   748 |     0 |   0.0 |5486k| 764 |   - | 949 |1463 |   0 |   0 |   0 | 433k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
230.22/230.36	c   213s|710000 |   756 |     0 |   0.0 |5489k| 764 |   - | 949 |1464 |   0 |   0 |   0 | 439k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
233.32/233.42	c   216s|720000 |   744 |     0 |   0.0 |5498k| 764 |   - | 949 |1480 |   0 |   0 |   0 | 445k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
236.42/236.52	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
236.42/236.52	c   219s|730000 |   754 |     0 |   0.0 |5491k| 764 |   - | 949 |1467 |   0 |   0 |   0 | 451k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
239.52/239.68	c   222s|740000 |   747 |     0 |   0.0 |5483k| 764 |   - | 949 |1460 |   0 |   0 |   0 | 458k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
242.72/242.86	c   225s|750000 |   744 |     0 |   0.0 |5486k| 764 |   - | 949 |1465 |   0 |   0 |   0 | 464k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
245.92/246.10	c   228s|760000 |   748 |     0 |   0.0 |5487k| 764 |   - | 949 |1463 |   0 |   0 |   0 | 470k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
249.11/249.26	c   230s|770000 |   748 |     0 |   0.0 |5485k| 764 |   - | 949 |1461 |   0 |   0 |   0 | 476k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
252.32/252.42	c   233s|780000 |   741 |     0 |   0.0 |5487k| 764 |   - | 949 |1466 |   0 |   0 |   0 | 483k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
255.51/255.61	c   236s|790000 |   748 |     0 |   0.0 |5486k| 764 |   - | 949 |1465 |   0 |   0 |   0 | 489k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
258.72/258.86	c   239s|800000 |   743 |     0 |   0.0 |5488k| 764 |   - | 949 |1470 |   0 |   0 |   0 | 495k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
262.01/262.13	c   242s|810000 |   747 |     0 |   0.0 |5484k| 764 |   - | 949 |1463 |   0 |   0 |   0 | 501k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
265.11/265.28	c   245s|820000 |   747 |     0 |   0.0 |5484k| 764 |   - | 949 |1461 |   0 |   0 |   0 | 507k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
268.61/268.70	c   248s|830000 |   748 |     0 |   0.0 |5483k| 764 |   - | 949 |1459 |   0 |   0 |   0 | 513k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
272.21/272.35	c   252s|840000 |   747 |     0 |   0.0 |5487k| 764 |   - | 949 |1463 |   0 |   0 |   0 | 520k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
275.71/275.90	c   255s|850000 |   753 |     0 |   0.0 |5489k| 764 |   - | 949 |1465 |   0 |   0 |   0 | 526k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
279.22/279.40	c   258s|860000 |   746 |     0 |   0.0 |5483k| 764 |   - | 949 |1460 |   0 |   0 |   0 | 532k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
282.61/282.75	c   261s|870000 |   748 |     0 |   0.0 |5483k| 764 |   - | 949 |1459 |   0 |   0 |   0 | 538k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
286.20/286.36	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
286.20/286.36	c   265s|880000 |   744 |     0 |   0.0 |5482k| 764 |   - | 949 |1460 |   0 |   0 |   0 | 545k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
289.60/289.70	c   268s|890000 |   740 |     0 |   0.0 |5484k| 764 |   - | 949 |1464 |   0 |   0 |   0 | 551k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
293.11/293.29	c   271s|900000 |   748 |     0 |   0.0 |5484k| 764 |   - | 949 |1461 |   0 |   0 |   0 | 557k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
297.11/297.21	c   275s|910000 |   747 |     0 |   0.0 |5488k| 764 |   - | 949 |1466 |   0 |   0 |   0 | 563k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
300.90/301.08	c   278s|920000 |   741 |     0 |   0.0 |5484k| 764 |   - | 949 |1461 |   0 |   0 |   0 | 570k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
304.61/304.71	c   282s|930000 |   745 |     0 |   0.0 |5492k| 764 |   - | 949 |1470 |   0 |   0 |   0 | 576k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
307.81/307.96	c   285s|940000 |   747 |     0 |   0.0 |5487k| 764 |   - | 949 |1466 |   0 |   0 |   0 | 582k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
310.80/310.97	c   288s|950000 |   745 |     0 |   0.0 |5484k| 764 |   - | 949 |1464 |   0 |   0 |   0 | 588k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
314.00/314.15	c   290s|960000 |   743 |     0 |   0.0 |5485k| 764 |   - | 949 |1463 |   0 |   0 |   0 | 594k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
317.50/317.65	c   294s|970000 |   747 |     0 |   0.0 |5488k| 764 |   - | 949 |1464 |   0 |   0 |   0 | 600k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
321.11/321.28	c   297s|980000 |   741 |     0 |   0.0 |5496k| 764 |   - | 949 |1472 |   0 |   0 |   0 | 607k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
323.99/324.19	c   300s|990000 |   752 |     0 |   0.0 |5484k| 764 |   - | 949 |1459 |   0 |   0 |   0 | 613k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
327.71/327.87	c   303s|  1000k|   743 |     0 |   0.0 |5482k| 764 |   - | 949 |1460 |   0 |   0 |   0 | 619k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
331.29/331.41	c   306s|  1010k|   749 |     0 |   0.0 |5484k| 764 |   - | 949 |1460 |   0 |   0 |   0 | 625k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
334.69/334.82	c   310s|  1020k|   747 |     0 |   0.0 |5485k| 764 |   - | 949 |1461 |   0 |   0 |   0 | 631k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
337.99/338.11	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
337.99/338.11	c   313s|  1030k|   744 |     0 |   0.0 |5487k| 764 |   - | 949 |1464 |   0 |   0 |   0 | 638k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
341.09/341.29	c   316s|  1040k|   747 |     0 |   0.0 |5484k| 764 |   - | 949 |1461 |   0 |   0 |   0 | 644k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
344.39/344.55	c   319s|  1050k|   742 |     0 |   0.0 |5488k| 764 |   - | 949 |1468 |   0 |   0 |   0 | 650k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
347.69/347.88	c   322s|  1060k|   744 |     0 |   0.0 |5485k| 764 |   - | 949 |1462 |   0 |   0 |   0 | 656k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
350.88/351.09	c   325s|  1070k|   743 |     0 |   0.0 |5489k| 764 |   - | 949 |1468 |   0 |   0 |   0 | 662k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
354.48/354.63	c   328s|  1080k|   751 |     0 |   0.0 |5490k| 764 |   - | 949 |1465 |   0 |   0 |   0 | 669k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
357.78/357.95	c   331s|  1090k|   745 |     0 |   0.0 |5492k| 764 |   - | 949 |1465 |   0 |   0 |   0 | 675k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
361.18/361.35	c   334s|  1100k|   749 |     0 |   0.0 |5489k| 764 |   - | 949 |1465 |   0 |   0 |   0 | 681k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
364.48/364.61	c   337s|  1110k|   744 |     0 |   0.0 |5495k| 764 |   - | 949 |1477 |   0 |   0 |   0 | 687k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
367.58/367.78	c   340s|  1120k|   743 |     0 |   0.0 |5491k| 764 |   - | 949 |1469 |   0 |   0 |   0 | 693k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
370.78/370.99	c   343s|  1130k|   741 |     0 |   0.0 |5491k| 764 |   - | 949 |1469 |   0 |   0 |   0 | 700k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
373.98/374.19	c   346s|  1140k|   743 |     0 |   0.0 |5493k| 764 |   - | 949 |1472 |   0 |   0 |   0 | 706k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
377.47/377.62	c   349s|  1150k|   745 |     0 |   0.0 |5490k| 764 |   - | 949 |1467 |   0 |   0 |   0 | 712k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
380.98/381.16	c   352s|  1160k|   740 |     0 |   0.0 |5495k| 764 |   - | 949 |1475 |   0 |   0 |   0 | 718k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
384.18/384.34	c   355s|  1170k|   745 |     0 |   0.0 |5492k| 764 |   - | 949 |1471 |   0 |   0 |   0 | 725k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
387.48/387.66	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
387.48/387.66	c   358s|  1180k|   744 |     0 |   0.0 |5493k| 764 |   - | 949 |1473 |   0 |   0 |   0 | 731k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
390.77/391.00	c   362s|  1190k|   745 |     0 |   0.0 |5490k| 764 |   - | 949 |1468 |   0 |   0 |   0 | 737k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
393.97/394.18	c   364s|  1200k|   744 |     0 |   0.0 |5493k| 764 |   - | 949 |1470 |   0 |   0 |   0 | 744k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
397.48/397.66	c   368s|  1210k|   743 |     0 |   0.0 |5491k| 764 |   - | 949 |1467 |   0 |   0 |   0 | 750k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
400.97/401.16	c   371s|  1220k|   743 |     0 |   0.0 |5494k| 764 |   - | 949 |1472 |   0 |   0 |   0 | 756k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
404.58/404.80	c   374s|  1230k|   746 |     0 |   0.0 |5496k| 764 |   - | 949 |1474 |   0 |   0 |   0 | 762k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
408.17/408.30	c   378s|  1240k|   745 |     0 |   0.0 |5489k| 764 |   - | 949 |1465 |   0 |   0 |   0 | 769k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
411.67/411.89	c   381s|  1250k|   748 |     0 |   0.0 |5490k| 764 |   - | 949 |1466 |   0 |   0 |   0 | 775k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
415.06/415.29	c   384s|  1260k|   740 |     0 |   0.0 |5490k| 764 |   - | 949 |1469 |   0 |   0 |   0 | 781k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
418.76/418.91	c   387s|  1270k|   738 |     0 |   0.0 |5497k| 764 |   - | 949 |1476 |   0 |   0 |   0 | 787k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
422.37/422.50	c   391s|  1280k|   741 |     0 |   0.0 |5489k| 764 |   - | 949 |1467 |   0 |   0 |   0 | 794k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
425.86/426.05	c   394s|  1290k|   741 |     0 |   0.0 |5493k| 764 |   - | 949 |1471 |   0 |   0 |   0 | 800k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
429.37/429.54	c   397s|  1300k|   745 |     0 |   0.0 |5491k| 764 |   - | 949 |1467 |   0 |   0 |   0 | 806k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
432.76/432.97	c   400s|  1310k|   748 |     0 |   0.0 |5494k| 764 |   - | 949 |1471 |   0 |   0 |   0 | 812k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
436.16/436.35	c   403s|  1320k|   749 |     0 |   0.0 |5492k| 764 |   - | 949 |1467 |   0 |   0 |   0 | 819k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
439.56/439.70	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
439.56/439.70	c   407s|  1330k|   748 |     0 |   0.0 |5493k| 764 |   - | 949 |1469 |   0 |   0 |   0 | 825k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
442.96/443.12	c   410s|  1340k|   750 |     0 |   0.0 |5492k| 764 |   - | 949 |1466 |   0 |   0 |   0 | 831k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
446.36/446.58	c   413s|  1350k|   751 |     0 |   0.0 |5501k| 764 |   - | 949 |1481 |   0 |   0 |   0 | 837k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
449.85/450.09	c   416s|  1360k|   744 |     0 |   0.0 |5491k| 764 |   - | 949 |1467 |   0 |   0 |   0 | 843k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
453.36/453.54	c   419s|  1370k|   744 |     0 |   0.0 |5496k| 764 |   - | 949 |1476 |   0 |   0 |   0 | 849k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
457.16/457.35	c   423s|  1380k|   747 |     0 |   0.0 |5497k| 764 |   - | 949 |1474 |   0 |   0 |   0 | 855k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
460.85/461.05	c   426s|  1390k|   748 |     0 |   0.0 |5493k| 764 |   - | 949 |1467 |   0 |   0 |   0 | 862k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
463.96/464.13	c   429s|  1400k|   747 |     0 |   0.0 |5491k| 764 |   - | 949 |1465 |   0 |   0 |   0 | 868k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
467.55/467.78	c   433s|  1410k|   746 |     0 |   0.0 |5492k| 764 |   - | 949 |1466 |   0 |   0 |   0 | 874k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
471.15/471.36	c   436s|  1420k|   745 |     0 |   0.0 |5497k| 764 |   - | 949 |1475 |   0 |   0 |   0 | 880k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
474.65/474.88	c   439s|  1430k|   746 |     0 |   0.0 |5492k| 764 |   - | 949 |1467 |   0 |   0 |   0 | 886k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
478.25/478.50	c   443s|  1440k|   742 |     0 |   0.0 |5499k| 764 |   - | 949 |1475 |   0 |   0 |   0 | 892k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
481.84/482.03	c   446s|  1450k|   744 |     0 |   0.0 |5491k| 764 |   - | 949 |1466 |   0 |   0 |   0 | 898k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
485.24/485.48	c   449s|  1460k|   746 |     0 |   0.0 |5491k| 764 |   - | 949 |1467 |   0 |   0 |   0 | 904k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
488.94/489.18	c   453s|  1470k|   744 |     0 |   0.0 |5492k| 764 |   - | 949 |1468 |   0 |   0 |   0 | 911k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
492.34/492.50	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
492.34/492.50	c   456s|  1480k|   746 |     0 |   0.0 |5491k| 764 |   - | 949 |1467 |   0 |   0 |   0 | 917k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
495.74/495.93	c   459s|  1490k|   738 |     0 |   0.0 |5492k| 764 |   - | 949 |1469 |   0 |   0 |   0 | 923k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
499.84/500.04	c   463s|  1500k|   743 |     0 |   0.0 |5494k| 764 |   - | 949 |1470 |   0 |   0 |   0 | 929k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
504.04/504.26	c   467s|  1510k|   744 |     0 |   0.0 |5492k| 764 |   - | 949 |1467 |   0 |   0 |   0 | 936k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
507.84/508.04	c   470s|  1520k|   745 |     0 |   0.0 |5503k| 764 |   - | 949 |1482 |   0 |   0 |   0 | 942k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
511.34/511.59	c   473s|  1530k|   744 |     0 |   0.0 |5494k| 764 |   - | 949 |1469 |   0 |   0 |   0 | 948k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
514.84/515.05	c   477s|  1540k|   750 |     0 |   0.0 |5500k| 764 |   - | 949 |1471 |   0 |   0 |   0 | 954k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
518.53/518.78	c   480s|  1550k|   739 |     0 |   0.0 |5498k| 764 |   - | 949 |1477 |   0 |   0 |   0 | 961k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
522.34/522.59	c   484s|  1560k|   742 |     0 |   0.0 |5494k| 764 |   - | 949 |1469 |   0 |   0 |   0 | 967k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
525.93/526.12	c   487s|  1570k|   742 |     0 |   0.0 |5498k| 764 |   - | 949 |1475 |   0 |   0 |   0 | 973k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
529.43/529.63	c   490s|  1580k|   746 |     0 |   0.0 |5497k| 764 |   - | 949 |1474 |   0 |   0 |   0 | 980k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
533.04/533.29	c   494s|  1590k|   744 |     0 |   0.0 |5498k| 764 |   - | 949 |1476 |   0 |   0 |   0 | 986k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
536.54/536.78	c   497s|  1600k|   742 |     0 |   0.0 |5495k| 764 |   - | 949 |1473 |   0 |   0 |   0 | 992k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
540.13/540.36	c   500s|  1610k|   744 |     0 |   0.0 |5496k| 764 |   - | 949 |1473 |   0 |   0 |   0 | 998k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
543.63/543.86	c   503s|  1620k|   746 |     0 |   0.0 |5494k| 764 |   - | 949 |1471 |   0 |   0 |   0 |1005k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
547.13/547.40	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
547.13/547.40	c   507s|  1630k|   740 |     0 |   0.0 |5492k| 764 |   - | 949 |1468 |   0 |   0 |   0 |1011k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
550.63/550.89	c   510s|  1640k|   744 |     0 |   0.0 |5491k| 764 |   - | 949 |1466 |   0 |   0 |   0 |1017k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
554.23/554.45	c   513s|  1650k|   746 |     0 |   0.0 |5493k| 764 |   - | 949 |1466 |   0 |   0 |   0 |1022k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
557.73/557.94	c   516s|  1660k|   741 |     0 |   0.0 |5490k| 764 |   - | 949 |1467 |   0 |   0 |   0 |1028k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
561.42/561.65	c   520s|  1670k|   744 |     0 |   0.0 |5491k| 764 |   - | 949 |1467 |   0 |   0 |   0 |1035k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
565.03/565.23	c   523s|  1680k|   751 |     0 |   0.0 |5493k| 764 |   - | 949 |1466 |   0 |   0 |   0 |1041k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
568.53/568.79	c   527s|  1690k|   741 |     0 |   0.0 |5490k| 764 |   - | 949 |1466 |   0 |   0 |   0 |1047k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
572.12/572.31	c   530s|  1700k|   744 |     0 |   0.0 |5493k| 764 |   - | 949 |1468 |   0 |   0 |   0 |1053k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
575.32/575.51	c   533s|  1710k|   747 |     0 |   0.0 |5490k| 764 |   - | 949 |1463 |   0 |   0 |   0 |1059k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
578.33/578.57	c   536s|  1720k|   751 |     0 |   0.0 |5489k| 764 |   - | 949 |1460 |   0 |   0 |   0 |1065k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
581.52/581.78	c   539s|  1730k|   747 |     0 |   0.0 |5489k| 764 |   - | 949 |1460 |   0 |   0 |   0 |1072k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
585.02/585.22	c   542s|  1740k|   745 |     0 |   0.0 |5495k| 764 |   - | 949 |1468 |   0 |   0 |   0 |1078k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
588.22/588.47	c   545s|  1750k|   746 |     0 |   0.0 |5490k| 764 |   - | 949 |1461 |   0 |   0 |   0 |1084k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
591.62/591.83	c   548s|  1760k|   749 |     0 |   0.0 |5493k| 764 |   - | 949 |1467 |   0 |   0 |   0 |1090k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
594.61/594.90	c   551s|  1770k|   740 |     0 |   0.0 |5498k| 764 |   - | 949 |1474 |   0 |   0 |   0 |1096k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
597.81/598.09	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
597.81/598.09	c   554s|  1780k|   747 |     0 |   0.0 |5494k| 764 |   - | 949 |1467 |   0 |   0 |   0 |1102k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
601.01/601.21	c   557s|  1790k|   748 |     0 |   0.0 |5493k| 764 |   - | 949 |1464 |   0 |   0 |   0 |1108k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
604.11/604.38	c   560s|  1800k|   741 |     0 |   0.0 |5494k| 764 |   - | 949 |1469 |   0 |   0 |   0 |1114k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
607.31/607.50	c   563s|  1810k|   740 |     0 |   0.0 |5493k| 764 |   - | 949 |1469 |   0 |   0 |   0 |1120k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
610.51/610.71	c   566s|  1820k|   750 |     0 |   0.0 |5493k| 764 |   - | 949 |1464 |   0 |   0 |   0 |1126k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
613.71/613.93	c   569s|  1830k|   744 |     0 |   0.0 |5491k| 764 |   - | 949 |1463 |   0 |   0 |   0 |1133k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
616.71/616.96	c   571s|  1840k|   747 |     0 |   0.0 |5496k| 764 |   - | 949 |1471 |   0 |   0 |   0 |1139k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
620.21/620.48	c   574s|  1850k|   737 |     0 |   0.0 |5491k| 764 |   - | 949 |1469 |   0 |   0 |   0 |1145k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
623.30/623.58	c   577s|  1860k|   743 |     0 |   0.0 |5490k| 764 |   - | 949 |1464 |   0 |   0 |   0 |1151k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
626.30/626.56	c   580s|  1870k|   745 |     0 |   0.0 |5491k| 764 |   - | 949 |1464 |   0 |   0 |   0 |1157k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
629.31/629.57	c   583s|  1880k|   749 |     0 |   0.0 |5489k| 764 |   - | 949 |1460 |   0 |   0 |   0 |1163k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
632.40/632.69	c   586s|  1890k|   741 |     0 |   0.0 |5490k| 764 |   - | 949 |1463 |   0 |   0 |   0 |1169k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
635.50/635.70	c   589s|  1900k|   741 |     0 |   0.0 |5496k| 764 |   - | 949 |1476 |   0 |   0 |   0 |1175k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
638.60/638.83	c   592s|  1910k|   746 |     0 |   0.0 |5493k| 764 |   - | 949 |1466 |   0 |   0 |   0 |1181k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
641.80/642.07	c   595s|  1920k|   746 |     0 |   0.0 |5492k| 764 |   - | 949 |1466 |   0 |   0 |   0 |1187k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
645.10/645.30	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
645.10/645.30	c   598s|  1930k|   747 |     0 |   0.0 |5490k| 764 |   - | 949 |1461 |   0 |   0 |   0 |1193k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
648.20/648.48	c   600s|  1940k|   740 |     0 |   0.0 |5491k| 764 |   - | 949 |1465 |   0 |   0 |   0 |1200k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
651.40/651.66	c   603s|  1950k|   743 |     0 |   0.0 |5497k| 764 |   - | 949 |1475 |   0 |   0 |   0 |1206k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
654.40/654.65	c   606s|  1960k|   744 |     0 |   0.0 |5491k| 764 |   - | 949 |1464 |   0 |   0 |   0 |1212k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
657.40/657.64	c   609s|  1970k|   745 |     0 |   0.0 |5494k| 764 |   - | 949 |1469 |   0 |   0 |   0 |1218k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
660.39/660.67	c   612s|  1980k|   744 |     0 |   0.0 |5492k| 764 |   - | 949 |1466 |   0 |   0 |   0 |1224k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
663.49/663.79	c   615s|  1990k|   742 |     0 |   0.0 |5497k| 764 |   - | 949 |1471 |   0 |   0 |   0 |1230k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
666.79/667.01	c   618s|  2000k|   747 |     0 |   0.0 |5490k| 764 |   - | 949 |1461 |   0 |   0 |   0 |1236k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
669.99/670.23	c   621s|  2010k|   737 |     0 |   0.0 |5491k| 764 |   - | 949 |1466 |   0 |   0 |   0 |1243k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
673.69/673.95	c   624s|  2020k|   744 |     0 |   0.0 |5489k| 764 |   - | 949 |1462 |   0 |   0 |   0 |1249k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
677.59/677.90	c   628s|  2030k|   745 |     0 |   0.0 |5498k| 764 |   - | 949 |1473 |   0 |   0 |   0 |1255k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
681.70/681.91	c   631s|  2040k|   747 |     0 |   0.0 |5492k| 764 |   - | 949 |1463 |   0 |   0 |   0 |1262k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
685.68/685.94	c   635s|  2050k|   746 |     0 |   0.0 |5494k| 764 |   - | 949 |1463 |   0 |   0 |   0 |1268k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
689.78/690.09	c   639s|  2060k|   744 |     0 |   0.0 |5492k| 764 |   - | 949 |1464 |   0 |   0 |   0 |1275k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
693.79/694.03	c   643s|  2070k|   740 |     0 |   0.0 |5494k| 764 |   - | 949 |1469 |   0 |   0 |   0 |1281k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
697.88/698.10	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
697.88/698.10	c   646s|  2080k|   738 |     0 |   0.0 |5494k| 764 |   - | 949 |1467 |   0 |   0 |   0 |1287k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
702.08/702.32	c   650s|  2090k|   741 |     0 |   0.0 |5496k| 764 |   - | 949 |1470 |   0 |   0 |   0 |1294k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
706.08/706.34	c   654s|  2100k|   739 |     0 |   0.0 |5492k| 764 |   - | 949 |1463 |   0 |   0 |   0 |1300k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
710.18/710.47	c   658s|  2110k|   743 |     0 |   0.0 |5489k| 764 |   - | 949 |1460 |   0 |   0 |   0 |1306k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
714.28/714.55	c   662s|  2120k|   745 |     0 |   0.0 |5495k| 764 |   - | 949 |1470 |   0 |   0 |   0 |1313k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
718.08/718.35	c   665s|  2130k|   745 |     0 |   0.0 |5497k| 764 |   - | 949 |1469 |   0 |   0 |   0 |1319k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
721.97/722.22	c   669s|  2140k|   743 |     0 |   0.0 |5491k| 764 |   - | 949 |1462 |   0 |   0 |   0 |1325k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
725.97/726.29	c   673s|  2150k|   748 |     0 |   0.0 |5498k| 764 |   - | 949 |1471 |   0 |   0 |   0 |1332k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
729.58/729.80	c   676s|  2160k|   747 |     0 |   0.0 |5492k| 764 |   - | 949 |1462 |   0 |   0 |   0 |1338k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
733.38/733.61	c   679s|  2170k|   739 |     0 |   0.0 |5497k| 764 |   - | 949 |1470 |   0 |   0 |   0 |1344k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
737.27/737.53	c   683s|  2180k|   739 |     0 |   0.0 |5492k| 764 |   - | 949 |1465 |   0 |   0 |   0 |1350k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
741.27/741.58	c   687s|  2190k|   743 |     0 |   0.0 |5502k| 764 |   - | 949 |1471 |   0 |   0 |   0 |1357k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
744.87/745.17	c   690s|  2200k|   740 |     0 |   0.0 |5503k| 764 |   - | 949 |1481 |   0 |   0 |   0 |1363k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
748.37/748.67	c   694s|  2210k|   746 |     0 |   0.0 |5497k| 764 |   - | 949 |1469 |   0 |   0 |   0 |1369k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
751.87/752.11	c   697s|  2220k|   751 |     0 |   0.0 |5505k| 764 |   - | 949 |1477 |   0 |   0 |   0 |1375k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
755.37/755.61	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
755.37/755.61	c   700s|  2230k|   743 |     0 |   0.0 |5496k| 764 |   - | 949 |1469 |   0 |   0 |   0 |1381k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
758.86/759.19	c   703s|  2240k|   746 |     0 |   0.0 |5500k| 764 |   - | 949 |1472 |   0 |   0 |   0 |1388k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
762.26/762.59	c   706s|  2250k|   748 |     0 |   0.0 |5498k| 764 |   - | 949 |1468 |   0 |   0 |   0 |1394k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
765.76/766.09	c   710s|  2260k|   745 |     0 |   0.0 |5498k| 764 |   - | 949 |1470 |   0 |   0 |   0 |1400k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
769.36/769.61	c   713s|  2270k|   747 |     0 |   0.0 |5498k| 764 |   - | 949 |1469 |   0 |   0 |   0 |1406k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
772.76/773.07	c   716s|  2280k|   743 |     0 |   0.0 |5502k| 764 |   - | 949 |1475 |   0 |   0 |   0 |1412k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
776.26/776.60	c   720s|  2290k|   742 |     0 |   0.0 |5502k| 764 |   - | 949 |1477 |   0 |   0 |   0 |1419k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
779.96/780.25	c   723s|  2300k|   744 |     0 |   0.0 |5504k| 764 |   - | 949 |1478 |   0 |   0 |   0 |1425k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
783.46/783.70	c   726s|  2310k|   742 |     0 |   0.0 |5505k| 764 |   - | 949 |1479 |   0 |   0 |   0 |1431k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
786.75/787.00	c   729s|  2320k|   744 |     0 |   0.0 |5504k| 764 |   - | 949 |1477 |   0 |   0 |   0 |1437k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
790.06/790.40	c   732s|  2330k|   749 |     0 |   0.0 |5500k| 764 |   - | 949 |1471 |   0 |   0 |   0 |1444k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
793.75/794.05	c   736s|  2340k|   748 |     0 |   0.0 |5497k| 764 |   - | 949 |1467 |   0 |   0 |   0 |1450k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
797.55/797.84	c   739s|  2350k|   738 |     0 |   0.0 |5515k| 764 |   - | 949 |1494 |   0 |   0 |   0 |1456k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
800.95/801.29	c   742s|  2360k|   743 |     0 |   0.0 |5503k| 764 |   - | 949 |1477 |   0 |   0 |   0 |1462k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
804.45/804.74	c   746s|  2370k|   740 |     0 |   0.0 |5503k| 764 |   - | 949 |1480 |   0 |   0 |   0 |1468k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
807.95/808.20	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
807.95/808.20	c   749s|  2380k|   743 |     0 |   0.0 |5497k| 764 |   - | 949 |1469 |   0 |   0 |   0 |1474k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
811.55/811.81	c   752s|  2390k|   741 |     0 |   0.0 |5503k| 764 |   - | 949 |1476 |   0 |   0 |   0 |1481k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
815.04/815.36	c   755s|  2400k|   737 |     0 |   0.0 |5502k| 764 |   - | 949 |1477 |   0 |   0 |   0 |1487k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
818.45/818.75	c   759s|  2410k|   743 |     0 |   0.0 |5496k| 764 |   - | 949 |1468 |   0 |   0 |   0 |1493k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
822.25/822.50	c   762s|  2420k|   740 |     0 |   0.0 |5502k| 764 |   - | 949 |1472 |   0 |   0 |   0 |1500k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
825.75/826.06	c   765s|  2430k|   745 |     0 |   0.0 |5505k| 764 |   - | 949 |1478 |   0 |   0 |   0 |1506k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
829.15/829.47	c   769s|  2440k|   744 |     0 |   0.0 |5502k| 764 |   - | 949 |1474 |   0 |   0 |   0 |1512k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
832.54/832.84	c   772s|  2450k|   741 |     0 |   0.0 |5495k| 764 |   - | 949 |1467 |   0 |   0 |   0 |1518k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
835.84/836.12	c   775s|  2460k|   742 |     0 |   0.0 |5495k| 764 |   - | 949 |1467 |   0 |   0 |   0 |1524k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
839.14/839.47	c   778s|  2470k|   742 |     0 |   0.0 |5499k| 764 |   - | 949 |1470 |   0 |   0 |   0 |1531k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
842.43/842.79	c   781s|  2480k|   742 |     0 |   0.0 |5504k| 764 |   - | 949 |1479 |   0 |   0 |   0 |1537k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
845.74/846.05	c   784s|  2490k|   744 |     0 |   0.0 |5501k| 764 |   - | 949 |1471 |   0 |   0 |   0 |1543k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
849.23/849.51	c   787s|  2500k|   745 |     0 |   0.0 |5501k| 764 |   - | 949 |1469 |   0 |   0 |   0 |1549k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
852.94/853.22	c   791s|  2510k|   744 |     0 |   0.0 |5495k| 764 |   - | 949 |1466 |   0 |   0 |   0 |1555k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
856.64/856.91	c   794s|  2520k|   746 |     0 |   0.0 |5496k| 764 |   - | 949 |1466 |   0 |   0 |   0 |1561k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
860.44/860.74	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
860.44/860.74	c   798s|  2530k|   741 |     0 |   0.0 |5496k| 764 |   - | 949 |1467 |   0 |   0 |   0 |1567k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
864.34/864.62	c   801s|  2540k|   740 |     0 |   0.0 |5500k| 764 |   - | 949 |1475 |   0 |   0 |   0 |1574k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
868.14/868.44	c   805s|  2550k|   738 |     0 |   0.0 |5498k| 764 |   - | 949 |1472 |   0 |   0 |   0 |1580k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
871.63/871.94	c   808s|  2560k|   737 |     0 |   0.0 |5506k| 764 |   - | 949 |1480 |   0 |   0 |   0 |1586k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
875.24/875.57	c   811s|  2570k|   739 |     0 |   0.0 |5503k| 764 |   - | 949 |1476 |   0 |   0 |   0 |1593k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
878.64/878.96	c   814s|  2580k|   737 |     0 |   0.0 |5500k| 764 |   - | 949 |1476 |   0 |   0 |   0 |1599k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
882.33/882.61	c   818s|  2590k|   743 |     0 |   0.0 |5510k| 764 |   - | 949 |1483 |   0 |   0 |   0 |1605k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
885.72/886.06	c   821s|  2600k|   744 |     0 |   0.0 |5505k| 764 |   - | 949 |1477 |   0 |   0 |   0 |1611k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
889.42/889.71	c   824s|  2610k|   746 |     0 |   0.0 |5504k| 764 |   - | 949 |1473 |   0 |   0 |   0 |1617k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
893.03/893.31	c   828s|  2620k|   741 |     0 |   0.0 |5509k| 764 |   - | 949 |1482 |   0 |   0 |   0 |1623k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
896.63/896.93	c   831s|  2630k|   740 |     0 |   0.0 |5505k| 764 |   - | 949 |1478 |   0 |   0 |   0 |1630k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
900.13/900.49	c   834s|  2640k|   743 |     0 |   0.0 |5506k| 764 |   - | 949 |1478 |   0 |   0 |   0 |1636k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
903.72/904.00	c   838s|  2650k|   738 |     0 |   0.0 |5512k| 764 |   - | 949 |1488 |   0 |   0 |   0 |1642k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
907.32/907.69	c   841s|  2660k|   740 |     0 |   0.0 |5509k| 764 |   - | 949 |1484 |   0 |   0 |   0 |1648k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
911.12/911.44	c   844s|  2670k|   740 |     0 |   0.0 |5512k| 764 |   - | 949 |1482 |   0 |   0 |   0 |1655k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
914.52/914.84	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
914.52/914.84	c   848s|  2680k|   745 |     0 |   0.0 |5495k| 764 |   - | 949 |1461 |   0 |   0 |   0 |1661k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
918.02/918.34	c   851s|  2690k|   753 |     0 |   0.0 |5498k| 764 |   - | 949 |1463 |   0 |   0 |   0 |1667k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
921.53/921.89	c   854s|  2700k|   741 |     0 |   0.0 |5494k| 764 |   - | 949 |1462 |   0 |   0 |   0 |1673k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
925.01/925.30	c   857s|  2710k|   740 |     0 |   0.0 |5500k| 764 |   - | 949 |1466 |   0 |   0 |   0 |1679k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
928.62/928.93	c   861s|  2720k|   743 |     0 |   0.0 |5493k| 764 |   - | 949 |1460 |   0 |   0 |   0 |1685k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
932.32/932.69	c   864s|  2730k|   744 |     0 |   0.0 |5496k| 764 |   - | 949 |1462 |   0 |   0 |   0 |1691k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
936.02/936.37	c   868s|  2740k|   740 |     0 |   0.0 |5499k| 764 |   - | 949 |1468 |   0 |   0 |   0 |1697k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
939.81/940.11	c   871s|  2750k|   736 |     0 |   0.0 |5494k| 764 |   - | 949 |1463 |   0 |   0 |   0 |1703k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
943.01/943.30	c   874s|  2760k|   752 |     0 |   0.0 |5495k| 764 |   - | 949 |1460 |   0 |   0 |   0 |1709k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
946.21/946.54	c   877s|  2770k|   744 |     0 |   0.0 |5495k| 764 |   - | 949 |1462 |   0 |   0 |   0 |1715k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
949.61/949.96	c   880s|  2780k|   741 |     0 |   0.0 |5493k| 764 |   - | 949 |1461 |   0 |   0 |   0 |1721k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
953.61/953.95	c   884s|  2790k|   740 |     0 |   0.0 |5493k| 764 |   - | 949 |1460 |   0 |   0 |   0 |1727k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
958.20/958.55	c   888s|  2800k|   740 |     0 |   0.0 |5495k| 764 |   - | 949 |1463 |   0 |   0 |   0 |1734k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
962.00/962.36	c   892s|  2810k|   743 |     0 |   0.0 |5493k| 764 |   - | 949 |1460 |   0 |   0 |   0 |1740k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
965.70/966.01	c   895s|  2820k|   739 |     0 |   0.0 |5493k| 764 |   - | 949 |1461 |   0 |   0 |   0 |1746k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
969.30/969.62	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
969.30/969.62	c   899s|  2830k|   740 |     0 |   0.0 |5499k| 764 |   - | 949 |1466 |   0 |   0 |   0 |1752k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
972.70/973.08	c   902s|  2840k|   745 |     0 |   0.0 |5494k| 764 |   - | 949 |1460 |   0 |   0 |   0 |1758k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
976.41/976.78	c   905s|  2850k|   742 |     0 |   0.0 |5498k| 764 |   - | 949 |1466 |   0 |   0 |   0 |1764k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
979.71/980.08	c   908s|  2860k|   737 |     0 |   0.0 |5495k| 764 |   - | 949 |1463 |   0 |   0 |   0 |1770k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
983.70/984.06	c   912s|  2870k|   737 |     0 |   0.0 |5496k| 764 |   - | 949 |1464 |   0 |   0 |   0 |1776k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
987.41/987.77	c   916s|  2880k|   741 |     0 |   0.0 |5499k| 764 |   - | 949 |1468 |   0 |   0 |   0 |1782k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
990.89/991.28	c   919s|  2890k|   739 |     0 |   0.0 |5494k| 764 |   - | 949 |1461 |   0 |   0 |   0 |1789k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
994.20/994.59	c   922s|  2900k|   740 |     0 |   0.0 |5501k| 764 |   - | 949 |1472 |   0 |   0 |   0 |1795k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
997.99/998.38	c   925s|  2910k|   740 |     0 |   0.0 |5493k| 764 |   - | 949 |1460 |   0 |   0 |   0 |1801k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1001.80/1002.11	c   929s|  2920k|   739 |     0 |   0.0 |5496k| 764 |   - | 949 |1464 |   0 |   0 |   0 |1807k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1005.39/1005.79	c   932s|  2930k|   737 |     0 |   0.0 |5504k| 764 |   - | 949 |1476 |   0 |   0 |   0 |1813k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1009.09/1009.45	c   936s|  2940k|   742 |     0 |   0.0 |5500k| 764 |   - | 949 |1470 |   0 |   0 |   0 |1819k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1012.39/1012.70	c   939s|  2950k|   745 |     0 |   0.0 |5497k| 764 |   - | 949 |1464 |   0 |   0 |   0 |1825k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1016.00/1016.34	c   942s|  2960k|   741 |     0 |   0.0 |5497k| 764 |   - | 949 |1464 |   0 |   0 |   0 |1831k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1019.49/1019.89	c   945s|  2970k|   742 |     0 |   0.0 |5501k| 764 |   - | 949 |1470 |   0 |   0 |   0 |1838k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1023.18/1023.59	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1023.18/1023.59	c   949s|  2980k|   737 |     0 |   0.0 |5504k| 764 |   - | 949 |1477 |   0 |   0 |   0 |1844k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1027.09/1027.46	c   952s|  2990k|   739 |     0 |   0.0 |5494k| 764 |   - | 949 |1463 |   0 |   0 |   0 |1850k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1030.99/1031.31	c   956s|  3000k|   753 |     0 |   0.0 |5504k| 764 |   - | 949 |1470 |   0 |   0 |   0 |1857k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1034.39/1034.76	c   959s|  3010k|   748 |     0 |   0.0 |5501k| 764 |   - | 949 |1467 |   0 |   0 |   0 |1863k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1037.99/1038.39	c   962s|  3020k|   743 |     0 |   0.0 |5510k| 764 |   - | 949 |1480 |   0 |   0 |   0 |1869k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1041.59/1042.00	c   966s|  3030k|   747 |     0 |   0.0 |5505k| 764 |   - | 949 |1472 |   0 |   0 |   0 |1875k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1045.08/1045.49	c   969s|  3040k|   745 |     0 |   0.0 |5500k| 764 |   - | 949 |1467 |   0 |   0 |   0 |1881k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1048.78/1049.12	c   972s|  3050k|   738 |     0 |   0.0 |5506k| 764 |   - | 949 |1478 |   0 |   0 |   0 |1888k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1052.29/1052.70	c   976s|  3060k|   747 |     0 |   0.0 |5503k| 764 |   - | 949 |1468 |   0 |   0 |   0 |1894k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1055.78/1056.13	c   979s|  3070k|   747 |     0 |   0.0 |5502k| 764 |   - | 949 |1469 |   0 |   0 |   0 |1900k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1059.28/1059.68	c   982s|  3080k|   743 |     0 |   0.0 |5501k| 764 |   - | 949 |1468 |   0 |   0 |   0 |1906k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1062.78/1063.19	c   985s|  3090k|   747 |     0 |   0.0 |5504k| 764 |   - | 949 |1471 |   0 |   0 |   0 |1912k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1066.58/1067.00	c   989s|  3100k|   737 |     0 |   0.0 |5506k| 764 |   - | 949 |1479 |   0 |   0 |   0 |1918k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1070.47/1070.80	c   993s|  3110k|   749 |     0 |   0.0 |5505k| 764 |   - | 949 |1471 |   0 |   0 |   0 |1925k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1074.07/1074.47	c   996s|  3120k|   739 |     0 |   0.0 |5502k| 764 |   - | 949 |1471 |   0 |   0 |   0 |1931k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1077.97/1078.35	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1077.97/1078.35	c  1000s|  3130k|   735 |     0 |   0.0 |5511k| 764 |   - | 949 |1482 |   0 |   0 |   0 |1937k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1081.27/1081.66	c  1003s|  3140k|   743 |     0 |   0.0 |5504k| 764 |   - | 949 |1471 |   0 |   0 |   0 |1943k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1084.67/1085.02	c  1006s|  3150k|   740 |     0 |   0.0 |5514k| 764 |   - | 949 |1484 |   0 |   0 |   0 |1949k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1087.96/1088.38	c  1009s|  3160k|   739 |     0 |   0.0 |5503k| 764 |   - | 949 |1471 |   0 |   0 |   0 |1956k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1091.46/1091.88	c  1012s|  3170k|   742 |     0 |   0.0 |5501k| 764 |   - | 949 |1469 |   0 |   0 |   0 |1962k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1094.97/1095.39	c  1015s|  3180k|   742 |     0 |   0.0 |5503k| 764 |   - | 949 |1470 |   0 |   0 |   0 |1968k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1098.48/1098.80	c  1019s|  3190k|   748 |     0 |   0.0 |5504k| 764 |   - | 949 |1471 |   0 |   0 |   0 |1974k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1101.77/1102.16	c  1022s|  3200k|   745 |     0 |   0.0 |5502k| 764 |   - | 949 |1470 |   0 |   0 |   0 |1980k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1105.46/1105.82	c  1025s|  3210k|   746 |     0 |   0.0 |5504k| 764 |   - | 949 |1471 |   0 |   0 |   0 |1986k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1109.16/1109.50	c  1028s|  3220k|   750 |     0 |   0.0 |5507k| 764 |   - | 949 |1474 |   0 |   0 |   0 |1993k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1112.87/1113.28	c  1032s|  3230k|   739 |     0 |   0.0 |5508k| 764 |   - | 949 |1480 |   0 |   0 |   0 |1999k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1116.56/1117.00	c  1035s|  3240k|   740 |     0 |   0.0 |5504k| 764 |   - | 949 |1469 |   0 |   0 |   0 |2005k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1120.36/1120.76	c  1039s|  3250k|   742 |     0 |   0.0 |5501k| 764 |   - | 949 |1468 |   0 |   0 |   0 |2011k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1124.16/1124.59	c  1043s|  3260k|   745 |     0 |   0.0 |5503k| 764 |   - | 949 |1469 |   0 |   0 |   0 |2017k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1127.55/1127.96	c  1046s|  3270k|   742 |     0 |   0.0 |5504k| 764 |   - | 949 |1471 |   0 |   0 |   0 |2024k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1131.16/1131.56	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1131.16/1131.56	c  1049s|  3280k|   738 |     0 |   0.0 |5507k| 764 |   - | 949 |1480 |   0 |   0 |   0 |2030k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1134.65/1135.08	c  1052s|  3290k|   746 |     0 |   0.0 |5500k| 764 |   - | 949 |1466 |   0 |   0 |   0 |2036k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1138.15/1138.56	c  1055s|  3300k|   741 |     0 |   0.0 |5503k| 764 |   - | 949 |1470 |   0 |   0 |   0 |2042k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1141.85/1142.24	c  1059s|  3310k|   742 |     0 |   0.0 |5504k| 764 |   - | 949 |1473 |   0 |   0 |   0 |2048k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1145.25/1145.65	c  1062s|  3320k|   742 |     0 |   0.0 |5500k| 764 |   - | 949 |1467 |   0 |   0 |   0 |2055k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1148.75/1149.13	c  1065s|  3330k|   741 |     0 |   0.0 |5500k| 764 |   - | 949 |1467 |   0 |   0 |   0 |2061k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1152.25/1152.68	c  1069s|  3340k|   739 |     0 |   0.0 |5503k| 764 |   - | 949 |1473 |   0 |   0 |   0 |2067k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1155.85/1156.29	c  1072s|  3350k|   741 |     0 |   0.0 |5501k| 764 |   - | 949 |1467 |   0 |   0 |   0 |2073k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1159.74/1160.14	c  1075s|  3360k|   741 |     0 |   0.0 |5502k| 764 |   - | 949 |1471 |   0 |   0 |   0 |2079k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1163.64/1164.00	c  1079s|  3370k|   740 |     0 |   0.0 |5500k| 764 |   - | 949 |1468 |   0 |   0 |   0 |2086k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1167.35/1167.72	c  1083s|  3380k|   737 |     0 |   0.0 |5501k| 764 |   - | 949 |1470 |   0 |   0 |   0 |2092k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1171.05/1171.42	c  1086s|  3390k|   744 |     0 |   0.0 |5500k| 764 |   - | 949 |1466 |   0 |   0 |   0 |2098k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1174.64/1175.08	c  1089s|  3400k|   735 |     0 |   0.0 |5500k| 764 |   - | 949 |1468 |   0 |   0 |   0 |2105k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1178.34/1178.79	c  1093s|  3410k|   734 |     0 |   0.0 |5502k| 764 |   - | 949 |1471 |   0 |   0 |   0 |2111k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1182.15/1182.54	c  1096s|  3420k|   738 |     0 |   0.0 |5502k| 764 |   - | 949 |1471 |   0 |   0 |   0 |2117k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1185.83/1186.24	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1185.83/1186.24	c  1100s|  3430k|   742 |     0 |   0.0 |5502k| 764 |   - | 949 |1469 |   0 |   0 |   0 |2123k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1189.85/1190.22	c  1103s|  3440k|   740 |     0 |   0.0 |5505k| 764 |   - | 949 |1473 |   0 |   0 |   0 |2130k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1193.64/1194.08	c  1107s|  3450k|   741 |     0 |   0.0 |5503k| 764 |   - | 949 |1471 |   0 |   0 |   0 |2136k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1197.34/1197.74	c  1110s|  3460k|   735 |     0 |   0.0 |5512k| 764 |   - | 949 |1483 |   0 |   0 |   0 |2143k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1200.94/1201.34	c  1114s|  3470k|   742 |     0 |   0.0 |5502k| 764 |   - | 949 |1469 |   0 |   0 |   0 |2149k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1204.84/1205.22	c  1117s|  3480k|   741 |     0 |   0.0 |5502k| 764 |   - | 949 |1469 |   0 |   0 |   0 |2155k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1208.53/1208.91	c  1121s|  3490k|   739 |     0 |   0.0 |5503k| 764 |   - | 949 |1472 |   0 |   0 |   0 |2162k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1212.33/1212.70	c  1124s|  3500k|   738 |     0 |   0.0 |5505k| 764 |   - | 949 |1476 |   0 |   0 |   0 |2168k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1216.03/1216.42	c  1128s|  3510k|   736 |     0 |   0.0 |5502k| 764 |   - | 949 |1471 |   0 |   0 |   0 |2174k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1219.73/1220.13	c  1131s|  3520k|   749 |     0 |   0.0 |5504k| 764 |   - | 949 |1466 |   0 |   0 |   0 |2181k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1223.03/1223.44	c  1134s|  3530k|   749 |     0 |   0.0 |5503k| 764 |   - | 949 |1466 |   0 |   0 |   0 |2187k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1226.43/1226.82	c  1137s|  3540k|   749 |     0 |   0.0 |5506k| 764 |   - | 949 |1469 |   0 |   0 |   0 |2193k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1229.82/1230.29	c  1141s|  3550k|   744 |     0 |   0.0 |5506k| 764 |   - | 949 |1470 |   0 |   0 |   0 |2199k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1233.84/1234.27	c  1144s|  3560k|   744 |     0 |   0.0 |5508k| 764 |   - | 949 |1470 |   0 |   0 |   0 |2205k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1237.72/1238.17	c  1148s|  3570k|   742 |     0 |   0.0 |5514k| 764 |   - | 949 |1479 |   0 |   0 |   0 |2211k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1241.72/1242.18	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1241.72/1242.18	c  1152s|  3580k|   748 |     0 |   0.0 |5504k| 764 |   - | 949 |1465 |   0 |   0 |   0 |2217k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1246.02/1246.41	c  1156s|  3590k|   746 |     0 |   0.0 |5508k| 764 |   - | 949 |1475 |   0 |   0 |   0 |2223k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1250.02/1250.50	c  1160s|  3600k|   740 |     0 |   0.0 |5507k| 764 |   - | 949 |1474 |   0 |   0 |   0 |2228k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1254.22/1254.69	c  1163s|  3610k|   744 |     0 |   0.0 |5510k| 764 |   - | 949 |1476 |   0 |   0 |   0 |2235k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1258.31/1258.77	c  1167s|  3620k|   743 |     0 |   0.0 |5501k| 764 |   - | 949 |1464 |   0 |   0 |   0 |2241k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1262.51/1262.97	c  1171s|  3630k|   740 |     0 |   0.0 |5502k| 764 |   - | 949 |1467 |   0 |   0 |   0 |2247k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1266.92/1267.37	c  1175s|  3640k|   740 |     0 |   0.0 |5504k| 764 |   - | 949 |1469 |   0 |   0 |   0 |2253k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1271.22/1271.65	c  1179s|  3650k|   746 |     0 |   0.0 |5505k| 764 |   - | 949 |1469 |   0 |   0 |   0 |2259k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1275.31/1275.74	c  1183s|  3660k|   744 |     0 |   0.0 |5503k| 764 |   - | 949 |1465 |   0 |   0 |   0 |2266k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1279.81/1280.21	c  1187s|  3670k|   737 |     0 |   0.0 |5505k| 764 |   - | 949 |1464 |   0 |   0 |   0 |2272k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1283.70/1284.18	c  1191s|  3680k|   740 |     0 |   0.0 |5506k| 764 |   - | 949 |1473 |   0 |   0 |   0 |2278k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1287.90/1288.30	c  1195s|  3690k|   745 |     0 |   0.0 |5504k| 764 |   - | 949 |1467 |   0 |   0 |   0 |2284k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1292.11/1292.55	c  1199s|  3700k|   735 |     0 |   0.0 |5505k| 764 |   - | 949 |1471 |   0 |   0 |   0 |2290k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1296.41/1296.84	c  1203s|  3710k|   738 |     0 |   0.0 |5512k| 764 |   - | 949 |1478 |   0 |   0 |   0 |2296k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1300.61/1301.00	c  1207s|  3720k|   748 |     0 |   0.0 |5506k| 764 |   - | 949 |1468 |   0 |   0 |   0 |2302k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1304.90/1305.35	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1304.90/1305.35	c  1211s|  3730k|   741 |     0 |   0.0 |5505k| 764 |   - | 949 |1468 |   0 |   0 |   0 |2308k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1309.10/1309.56	c  1215s|  3740k|   742 |     0 |   0.0 |5509k| 764 |   - | 949 |1474 |   0 |   0 |   0 |2314k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1313.50/1313.94	c  1219s|  3750k|   741 |     0 |   0.0 |5511k| 764 |   - | 949 |1474 |   0 |   0 |   0 |2320k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1317.90/1318.39	c  1223s|  3760k|   735 |     0 |   0.0 |5504k| 764 |   - | 949 |1470 |   0 |   0 |   0 |2326k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1322.60/1323.00	c  1227s|  3770k|   740 |     0 |   0.0 |5504k| 764 |   - | 949 |1468 |   0 |   0 |   0 |2332k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1326.70/1327.15	c  1231s|  3780k|   741 |     0 |   0.0 |5503k| 764 |   - | 949 |1465 |   0 |   0 |   0 |2338k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1331.10/1331.57	c  1235s|  3790k|   745 |     0 |   0.0 |5505k| 764 |   - | 949 |1468 |   0 |   0 |   0 |2345k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1335.10/1335.55	c  1239s|  3800k|   738 |     0 |   0.0 |5510k| 764 |   - | 949 |1477 |   0 |   0 |   0 |2351k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1339.40/1339.82	c  1243s|  3810k|   740 |     0 |   0.0 |5515k| 764 |   - | 949 |1478 |   0 |   0 |   0 |2357k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1343.09/1343.56	c  1247s|  3820k|   745 |     0 |   0.0 |5508k| 764 |   - | 949 |1471 |   0 |   0 |   0 |2364k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1346.99/1347.48	c  1250s|  3830k|   751 |     0 |   0.0 |5505k| 764 |   - | 949 |1469 |   0 |   0 |   0 |2370k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1351.50/1351.94	c  1254s|  3840k|   746 |     0 |   0.0 |5508k| 764 |   - | 949 |1470 |   0 |   0 |   0 |2376k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1355.39/1355.86	c  1258s|  3850k|   744 |     0 |   0.0 |5503k| 764 |   - | 949 |1465 |   0 |   0 |   0 |2382k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1359.78/1360.25	c  1262s|  3860k|   740 |     0 |   0.0 |5510k| 764 |   - | 949 |1476 |   0 |   0 |   0 |2389k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1363.79/1364.27	c  1266s|  3870k|   744 |     0 |   0.0 |5504k| 764 |   - | 949 |1468 |   0 |   0 |   0 |2395k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1367.68/1368.12	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1367.68/1368.12	c  1270s|  3880k|   742 |     0 |   0.0 |5504k| 764 |   - | 949 |1467 |   0 |   0 |   0 |2401k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1371.98/1372.44	c  1274s|  3890k|   741 |     0 |   0.0 |5510k| 764 |   - | 949 |1477 |   0 |   0 |   0 |2407k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1376.28/1376.79	c  1278s|  3900k|   747 |     0 |   0.0 |5505k| 764 |   - | 949 |1469 |   0 |   0 |   0 |2414k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1380.28/1380.73	c  1281s|  3910k|   743 |     0 |   0.0 |5504k| 764 |   - | 949 |1466 |   0 |   0 |   0 |2420k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1384.08/1384.56	c  1285s|  3920k|   742 |     0 |   0.0 |5506k| 764 |   - | 949 |1471 |   0 |   0 |   0 |2426k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1388.38/1388.86	c  1289s|  3930k|   739 |     0 |   0.0 |5501k| 764 |   - | 949 |1464 |   0 |   0 |   0 |2432k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1392.48/1392.96	c  1293s|  3940k|   744 |     0 |   0.0 |5509k| 764 |   - | 949 |1472 |   0 |   0 |   0 |2438k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1396.58/1397.05	c  1297s|  3950k|   745 |     0 |   0.0 |5502k| 764 |   - | 949 |1464 |   0 |   0 |   0 |2444k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1400.78/1401.23	c  1300s|  3960k|   738 |     0 |   0.0 |5507k| 764 |   - | 949 |1472 |   0 |   0 |   0 |2450k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1404.97/1405.44	c  1304s|  3970k|   751 |     0 |   0.0 |5506k| 764 |   - | 949 |1468 |   0 |   0 |   0 |2457k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1409.57/1410.08	c  1309s|  3980k|   743 |     0 |   0.0 |5503k| 764 |   - | 949 |1465 |   0 |   0 |   0 |2463k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1413.58/1414.01	c  1312s|  3990k|   743 |     0 |   0.0 |5521k| 764 |   - | 949 |1486 |   0 |   0 |   0 |2469k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1417.16/1417.64	c  1316s|  4000k|   735 |     0 |   0.0 |5503k| 764 |   - | 949 |1469 |   0 |   0 |   0 |2476k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1420.87/1421.36	c  1319s|  4010k|   738 |     0 |   0.0 |5501k| 764 |   - | 949 |1464 |   0 |   0 |   0 |2482k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1424.77/1425.24	c  1323s|  4020k|   746 |     0 |   0.0 |5511k| 764 |   - | 949 |1475 |   0 |   0 |   0 |2488k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1428.87/1429.34	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1428.87/1429.34	c  1327s|  4030k|   738 |     0 |   0.0 |5509k| 764 |   - | 949 |1474 |   0 |   0 |   0 |2494k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1432.97/1433.44	c  1330s|  4040k|   740 |     0 |   0.0 |5508k| 764 |   - | 949 |1472 |   0 |   0 |   0 |2500k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1437.17/1437.61	c  1334s|  4050k|   741 |     0 |   0.0 |5509k| 764 |   - | 949 |1474 |   0 |   0 |   0 |2507k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1441.37/1441.85	c  1338s|  4060k|   747 |     0 |   0.0 |5514k| 764 |   - | 949 |1477 |   0 |   0 |   0 |2513k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1445.86/1446.36	c  1343s|  4070k|   738 |     0 |   0.0 |5520k| 764 |   - | 949 |1487 |   0 |   0 |   0 |2520k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1450.36/1450.80	c  1347s|  4080k|   741 |     0 |   0.0 |5512k| 764 |   - | 949 |1476 |   0 |   0 |   0 |2526k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1454.46/1454.94	c  1350s|  4090k|   742 |     0 |   0.0 |5507k| 764 |   - | 949 |1471 |   0 |   0 |   0 |2532k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1457.96/1458.40	c  1354s|  4100k|   740 |     0 |   0.0 |5507k| 764 |   - | 949 |1471 |   0 |   0 |   0 |2538k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1461.56/1462.05	c  1357s|  4110k|   740 |     0 |   0.0 |5507k| 764 |   - | 949 |1471 |   0 |   0 |   0 |2545k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1465.95/1466.43	c  1361s|  4120k|   741 |     0 |   0.0 |5516k| 764 |   - | 949 |1482 |   0 |   0 |   0 |2551k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1470.65/1471.13	c  1366s|  4130k|   735 |     0 |   0.0 |5519k| 764 |   - | 949 |1485 |   0 |   0 |   0 |2557k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1474.46/1474.99	c  1369s|  4140k|   747 |     0 |   0.0 |5509k| 764 |   - | 949 |1471 |   0 |   0 |   0 |2563k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1478.55/1479.00	c  1373s|  4150k|   741 |     0 |   0.0 |5504k| 764 |   - | 949 |1467 |   0 |   0 |   0 |2569k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1482.55/1483.02	c  1377s|  4160k|   747 |     0 |   0.0 |5505k| 764 |   - | 949 |1466 |   0 |   0 |   0 |2576k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1486.55/1487.03	c  1380s|  4170k|   742 |     0 |   0.0 |5504k| 764 |   - | 949 |1467 |   0 |   0 |   0 |2581k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1490.75/1491.23	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1490.75/1491.23	c  1384s|  4180k|   743 |     0 |   0.0 |5504k| 764 |   - | 949 |1466 |   0 |   0 |   0 |2587k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1495.04/1495.51	c  1388s|  4190k|   744 |     0 |   0.0 |5504k| 764 |   - | 949 |1466 |   0 |   0 |   0 |2594k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1499.35/1499.89	c  1392s|  4200k|   737 |     0 |   0.0 |5522k| 764 |   - | 949 |1489 |   0 |   0 |   0 |2600k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1503.84/1504.35	c  1397s|  4210k|   739 |     0 |   0.0 |5510k| 764 |   - | 949 |1476 |   0 |   0 |   0 |2606k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1507.75/1508.29	c  1400s|  4220k|   739 |     0 |   0.0 |5521k| 764 |   - | 949 |1487 |   0 |   0 |   0 |2612k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1511.74/1512.21	c  1404s|  4230k|   746 |     0 |   0.0 |5505k| 764 |   - | 949 |1466 |   0 |   0 |   0 |2619k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1515.64/1516.14	c  1408s|  4240k|   739 |     0 |   0.0 |5503k| 764 |   - | 949 |1466 |   0 |   0 |   0 |2625k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1519.75/1520.23	c  1411s|  4250k|   743 |     0 |   0.0 |5507k| 764 |   - | 949 |1471 |   0 |   0 |   0 |2631k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1523.74/1524.25	c  1415s|  4260k|   741 |     0 |   0.0 |5504k| 764 |   - | 949 |1466 |   0 |   0 |   0 |2637k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1527.94/1528.44	c  1419s|  4270k|   743 |     0 |   0.0 |5506k| 764 |   - | 949 |1468 |   0 |   0 |   0 |2644k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1532.13/1532.63	c  1423s|  4280k|   738 |     0 |   0.0 |5508k| 764 |   - | 949 |1472 |   0 |   0 |   0 |2650k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1536.34/1536.81	c  1427s|  4290k|   748 |     0 |   0.0 |5514k| 764 |   - | 949 |1477 |   0 |   0 |   0 |2656k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1540.04/1540.56	c  1430s|  4300k|   743 |     0 |   0.0 |5508k| 764 |   - | 949 |1472 |   0 |   0 |   0 |2662k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1544.13/1544.64	c  1434s|  4310k|   740 |     0 |   0.0 |5504k| 764 |   - | 949 |1466 |   0 |   0 |   0 |2669k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1548.43/1548.98	c  1438s|  4320k|   740 |     0 |   0.0 |5508k| 764 |   - | 949 |1472 |   0 |   0 |   0 |2675k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1552.63/1553.13	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1552.63/1553.13	c  1442s|  4330k|   738 |     0 |   0.0 |5505k| 764 |   - | 949 |1468 |   0 |   0 |   0 |2681k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1556.43/1556.90	c  1446s|  4340k|   736 |     0 |   0.0 |5508k| 764 |   - | 949 |1473 |   0 |   0 |   0 |2687k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1560.33/1560.87	c  1449s|  4350k|   740 |     0 |   0.0 |5509k| 764 |   - | 949 |1474 |   0 |   0 |   0 |2694k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1564.73/1565.28	c  1454s|  4360k|   742 |     0 |   0.0 |5520k| 764 |   - | 949 |1483 |   0 |   0 |   0 |2700k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1569.13/1569.68	c  1458s|  4370k|   742 |     0 |   0.0 |5512k| 764 |   - | 949 |1476 |   0 |   0 |   0 |2706k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1573.73/1574.25	c  1462s|  4380k|   735 |     0 |   0.0 |5509k| 764 |   - | 949 |1476 |   0 |   0 |   0 |2712k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1578.62/1579.19	c  1467s|  4390k|   744 |     0 |   0.0 |5520k| 764 |   - | 949 |1487 |   0 |   0 |   0 |2718k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1583.22/1583.71	c  1471s|  4400k|   744 |     0 |   0.0 |5509k| 764 |   - | 949 |1471 |   0 |   0 |   0 |2724k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1587.83/1588.36	c  1475s|  4410k|   737 |     0 |   0.0 |5509k| 764 |   - | 949 |1475 |   0 |   0 |   0 |2731k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1592.62/1593.14	c  1480s|  4420k|   733 |     0 |   0.0 |5511k| 764 |   - | 949 |1476 |   0 |   0 |   0 |2737k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1596.02/1596.58	c  1483s|  4430k|   749 |     0 |   0.0 |5507k| 764 |   - | 949 |1467 |   0 |   0 |   0 |2743k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1599.62/1600.19	c  1486s|  4440k|   744 |     0 |   0.0 |5511k| 764 |   - | 949 |1474 |   0 |   0 |   0 |2749k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1603.33/1603.83	c  1490s|  4450k|   747 |     0 |   0.0 |5506k| 764 |   - | 949 |1465 |   0 |   0 |   0 |2755k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1606.81/1607.36	c  1493s|  4460k|   747 |     0 |   0.0 |5502k| 764 |   - | 949 |1460 |   0 |   0 |   0 |2761k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1610.51/1611.06	c  1496s|  4470k|   746 |     0 |   0.0 |5507k| 764 |   - | 949 |1468 |   0 |   0 |   0 |2767k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1614.11/1614.66	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1614.11/1614.66	c  1500s|  4480k|   741 |     0 |   0.0 |5505k| 764 |   - | 949 |1466 |   0 |   0 |   0 |2773k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1617.71/1618.23	c  1503s|  4490k|   745 |     0 |   0.0 |5505k| 764 |   - | 949 |1464 |   0 |   0 |   0 |2780k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1621.11/1621.64	c  1506s|  4500k|   742 |     0 |   0.0 |5508k| 764 |   - | 949 |1471 |   0 |   0 |   0 |2786k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1624.71/1625.28	c  1510s|  4510k|   748 |     0 |   0.0 |5502k| 764 |   - | 949 |1460 |   0 |   0 |   0 |2792k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1628.62/1629.13	c  1513s|  4520k|   746 |     0 |   0.0 |5508k| 764 |   - | 949 |1467 |   0 |   0 |   0 |2798k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1632.20/1632.75	c  1517s|  4530k|   738 |     0 |   0.0 |5500k| 764 |   - | 949 |1460 |   0 |   0 |   0 |2804k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1635.81/1636.34	c  1520s|  4540k|   740 |     0 |   0.0 |5505k| 764 |   - | 949 |1466 |   0 |   0 |   0 |2810k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1639.10/1639.69	c  1523s|  4550k|   744 |     0 |   0.0 |5506k| 764 |   - | 949 |1468 |   0 |   0 |   0 |2816k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1642.70/1643.21	c  1526s|  4560k|   737 |     0 |   0.0 |5515k| 764 |   - | 949 |1476 |   0 |   0 |   0 |2822k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1646.30/1646.82	c  1530s|  4570k|   750 |     0 |   0.0 |5504k| 764 |   - | 949 |1462 |   0 |   0 |   0 |2828k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1649.80/1650.40	c  1533s|  4580k|   745 |     0 |   0.0 |5506k| 764 |   - | 949 |1466 |   0 |   0 |   0 |2834k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1653.81/1654.39	c  1537s|  4590k|   737 |     0 |   0.0 |5503k| 764 |   - | 949 |1465 |   0 |   0 |   0 |2840k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1657.40/1657.92	c  1540s|  4600k|   738 |     0 |   0.0 |5505k| 764 |   - | 949 |1467 |   0 |   0 |   0 |2846k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1661.00/1661.50	c  1543s|  4610k|   748 |     0 |   0.0 |5506k| 764 |   - | 949 |1464 |   0 |   0 |   0 |2852k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1664.49/1665.03	c  1547s|  4620k|   738 |     0 |   0.0 |5505k| 764 |   - | 949 |1466 |   0 |   0 |   0 |2858k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1668.40/1668.90	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1668.40/1668.90	c  1550s|  4630k|   749 |     0 |   0.0 |5510k| 764 |   - | 949 |1470 |   0 |   0 |   0 |2864k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1671.79/1672.31	c  1554s|  4640k|   742 |     0 |   0.0 |5510k| 764 |   - | 949 |1471 |   0 |   0 |   0 |2870k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1675.59/1676.18	c  1557s|  4650k|   742 |     0 |   0.0 |5507k| 764 |   - | 949 |1468 |   0 |   0 |   0 |2876k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1679.59/1680.19	c  1561s|  4660k|   735 |     0 |   0.0 |5516k| 764 |   - | 949 |1478 |   0 |   0 |   0 |2882k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1683.39/1683.91	c  1564s|  4670k|   741 |     0 |   0.0 |5505k| 764 |   - | 949 |1466 |   0 |   0 |   0 |2888k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1687.29/1687.82	c  1568s|  4680k|   737 |     0 |   0.0 |5500k| 764 |   - | 949 |1461 |   0 |   0 |   0 |2894k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1690.79/1691.39	c  1571s|  4690k|   739 |     0 |   0.0 |5506k| 764 |   - | 949 |1467 |   0 |   0 |   0 |2900k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1694.69/1695.28	c  1575s|  4700k|   736 |     0 |   0.0 |5504k| 764 |   - | 949 |1465 |   0 |   0 |   0 |2907k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1698.39/1698.93	c  1578s|  4710k|   739 |     0 |   0.0 |5500k| 764 |   - | 949 |1460 |   0 |   0 |   0 |2913k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1701.99/1702.54	c  1582s|  4720k|   737 |     0 |   0.0 |5503k| 764 |   - | 949 |1463 |   0 |   0 |   0 |2919k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1705.49/1706.04	c  1585s|  4730k|   743 |     0 |   0.0 |5506k| 764 |   - | 949 |1466 |   0 |   0 |   0 |2925k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1709.08/1709.64	c  1588s|  4740k|   748 |     0 |   0.0 |5506k| 764 |   - | 949 |1466 |   0 |   0 |   0 |2931k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1712.78/1713.39	c  1592s|  4750k|   745 |     0 |   0.0 |5504k| 764 |   - | 949 |1463 |   0 |   0 |   0 |2937k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1716.59/1717.13	c  1595s|  4760k|   736 |     0 |   0.0 |5506k| 764 |   - | 949 |1467 |   0 |   0 |   0 |2943k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1720.49/1721.01	c  1599s|  4770k|   739 |     0 |   0.0 |5508k| 764 |   - | 949 |1471 |   0 |   0 |   0 |2949k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1724.08/1724.67	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1724.08/1724.67	c  1602s|  4780k|   738 |     0 |   0.0 |5504k| 764 |   - | 949 |1464 |   0 |   0 |   0 |2955k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1727.68/1728.20	c  1606s|  4790k|   745 |     0 |   0.0 |5508k| 764 |   - | 949 |1470 |   0 |   0 |   0 |2961k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1731.48/1732.04	c  1609s|  4800k|   746 |     0 |   0.0 |5512k| 764 |   - | 949 |1476 |   0 |   0 |   0 |2968k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1735.38/1735.95	c  1613s|  4810k|   739 |     0 |   0.0 |5510k| 764 |   - | 949 |1476 |   0 |   0 |   0 |2974k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1739.18/1739.77	c  1616s|  4820k|   741 |     0 |   0.0 |5506k| 764 |   - | 949 |1465 |   0 |   0 |   0 |2980k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1743.27/1743.80	c  1620s|  4830k|   745 |     0 |   0.0 |5505k| 764 |   - | 949 |1463 |   0 |   0 |   0 |2986k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1746.88/1747.43	c  1624s|  4840k|   735 |     0 |   0.0 |5527k| 764 |   - | 949 |1490 |   0 |   0 |   0 |2992k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1750.58/1751.14	c  1627s|  4850k|   739 |     0 |   0.0 |5501k| 764 |   - | 949 |1460 |   0 |   0 |   0 |2998k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1754.27/1754.89	c  1631s|  4860k|   737 |     0 |   0.0 |5510k| 764 |   - | 949 |1472 |   0 |   0 |   0 |3005k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1757.77/1758.37	c  1634s|  4870k|   744 |     0 |   0.0 |5501k| 764 |   - | 949 |1460 |   0 |   0 |   0 |3011k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1761.57/1762.11	c  1637s|  4880k|   746 |     0 |   0.0 |5505k| 764 |   - | 949 |1463 |   0 |   0 |   0 |3017k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1765.07/1765.67	c  1641s|  4890k|   748 |     0 |   0.0 |5503k| 764 |   - | 949 |1460 |   0 |   0 |   0 |3023k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1768.57/1769.17	c  1644s|  4900k|   744 |     0 |   0.0 |5502k| 764 |   - | 949 |1460 |   0 |   0 |   0 |3029k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1772.36/1772.94	c  1647s|  4910k|   740 |     0 |   0.0 |5500k| 764 |   - | 949 |1460 |   0 |   0 |   0 |3035k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1776.07/1776.60	c  1651s|  4920k|   743 |     0 |   0.0 |5501k| 764 |   - | 949 |1460 |   0 |   0 |   0 |3041k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1779.46/1780.06	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1779.46/1780.06	c  1654s|  4930k|   741 |     0 |   0.0 |5501k| 764 |   - | 949 |1460 |   0 |   0 |   0 |3047k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1782.97/1783.58	c  1657s|  4940k|   741 |     0 |   0.0 |5504k| 764 |   - | 949 |1464 |   0 |   0 |   0 |3053k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1786.77/1787.37	c  1661s|  4950k|   739 |     0 |   0.0 |5504k| 764 |   - | 949 |1466 |   0 |   0 |   0 |3059k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1790.36/1790.96	c  1664s|  4960k|   740 |     0 |   0.0 |5505k| 764 |   - | 949 |1467 |   0 |   0 |   0 |3065k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1794.16/1794.70	c  1668s|  4970k|   749 |     0 |   0.0 |5508k| 764 |   - | 949 |1466 |   0 |   0 |   0 |3072k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1797.56/1798.12	c  1671s|  4980k|   740 |     0 |   0.0 |5508k| 764 |   - | 949 |1468 |   0 |   0 |   0 |3078k|   0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1800.07/1800.61	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.07/1800.61	c 
1800.07/1800.61	c SCIP Status        : solving was interrupted [user interrupt]
1800.07/1800.61	c Solving Time (sec) : 1673.17
1800.07/1800.61	c Solving Nodes      : 4987343
1800.07/1800.61	c Primal Bound       : +2.90000000000000e+01 (3 solutions)
1800.07/1800.61	c Dual Bound         : +5.00000000000000e+00
1800.07/1800.61	c Gap                : 480.00 %
1800.07/1800.62	s SATISFIABLE
1800.07/1800.62	v -x81 -x1608 -x80 -x1602 -x1596 -x1594 -x79 -x1590 -x78 -x1588 -x77 -x1585 -x1583 -x1580 -x1578 -x1574 -x1571 -x1569 -x1567 -x1565 
1800.07/1800.62	v -x1561 -x1559 -x76 -x1556 -x1554 -x1549 -x1547 -x1545 -x1543 -x1539 -x1537 -x1532 -x1530 -x1528 -x75 -x1523 -x1518 -x1516 
1800.07/1800.62	v -x1513 -x74 -x1508 -x73 -x1504 -x1500 -x1497 -x72 -x1494 -x1489 -x1486 -x1484 -x1482 -x1479 -x1476 -x1474 -x1469 -x1466 -x1463 
1800.07/1800.62	v -x71 -x1460 -x70 -x1455 -x1453 -x1450 -x1447 -x1443 -x1441 -x1439 -x1437 -x69 -x1433 -x1429 -x1427 -x1425 -x1423 -x1421 -x1417 
1800.07/1800.62	v -x1414 -x68 -x1412 -x67 -x1408 -x66 -x1405 -x1403 -x65 -x1399 -x1397 -x1393 -x1391 -x1389 -x64 -x1387 -x1385 -x1382 -x1380 
1800.07/1800.62	v -x1378 -x1375 -x1373 -x1371 -x1369 -x1367 -x1365 -x1363 -x63 -x1361 -x1359 -x1357 -x1355 -x1353 -x1350 -x1348 -x1346 -x1342 
1800.07/1800.62	v -x1340 -x1337 -x62 -x1335 -x1332 -x1330 -x1328 -x1326 -x1324 -x1320 -x61 -x1318 -x1316 -x1312 -x1310 -x60 -x1308 -x1305 -x1303 
1800.07/1800.62	v -x1301 -x1299 -x1297 -x1295 -x1293 -x1291 -x1289 -x1285 -x59 -x1282 -x1279 -x1275 -x1273 -x58 -x1271 -x1269 -x1265 -x1263 
1800.07/1800.62	v -x1260 -x1258 -x1255 -x1253 -x1249 -x57 -x1247 -x1245 -x1243 -x1241 -x1239 -x1236 -x1234 -x1232 -x1229 -x1226 -x56 -x1223 -x1221 
1800.07/1800.62	v -x1219 -x1217 -x1215 -x1213 -x1211 -x1209 -x1205 -x1203 -x1200 -x1198 -x1196 -x1194 -x1192 -x1190 -x1188 -x1186 -x1182 -x1180 
1800.07/1800.62	v -x1178 -x1172 -x1170 -x1167 -x1163 -x1158 -x55 -x1156 -x1154 -x1148 -x54 -x1146 -x1144 -x1141 -x1139 -x1137 -x1135 -x53 
1800.07/1800.62	v -x1133 -x1131 -x1129 -x1127 -x1125 -x1123 -x1118 -x1116 -x1113 -x1111 -x1109 -x1107 -x1105 -x1103 -x1101 -x1099 -x1097 -x1094 
1800.07/1800.62	v -x1092 -x1090 -x1088 -x1086 -x1083 -x1081 -x1079 -x1077 -x1075 -x1073 -x52 -x1067 -x1065 -x1063 -x1060 -x1057 -x1053 -x1051 
1800.07/1800.62	v -x1049 -x1047 -x1045 -x51 -x1043 -x50 -x1040 -x1038 -x49 -x1035 -x48 -x1031 -x1028 -x1026 -x1024 -x1022 -x47 -x1019 -x1017 -x46 
1800.07/1800.62	v -x1015 -x1012 -x1010 -x1008 -x1006 -x1004 -x45 -x1002 -x1000 -x998 -x996 -x994 -x992 -x990 -x44 -x987 -x985 -x983 -x981 -x979 
1800.07/1800.62	v -x977 -x973 -x971 -x969 -x966 -x43 -x963 -x961 -x959 -x42 -x957 -x955 -x953 -x951 -x949 -x947 -x945 -x41 -x943 -x941 -x939 
1800.07/1800.62	v -x936 -x934 -x932 -x40 -x930 -x928 -x925 -x923 -x921 -x919 -x917 -x915 -x913 -x911 -x909 -x906 -x903 -x901 -x899 -x897 -x895 
1800.07/1800.62	v -x892 -x39 -x890 -x888 -x885 -x883 -x881 -x879 -x877 -x875 -x873 -x871 -x869 -x867 -x864 -x38 -x862 -x860 -x37 -x856 -x854 
1800.07/1800.62	v -x852 -x36 -x847 -x845 -x842 -x840 -x35 -x836 -x834 -x831 -x829 -x827 -x825 -x823 -x821 -x819 -x817 -x815 -x811 -x34 -x809 -x807 
1800.07/1800.62	v -x805 -x803 -x801 -x799 -x797 -x33 -x795 -x793 -x791 -x789 -x787 -x785 -x783 -x781 -x779 -x777 -x774 -x772 -x770 -x768 -x32 
1800.07/1800.62	v -x766 -x764 -x762 -x760 -x758 -x756 -x754 -x751 -x748 -x746 -x744 -x742 -x740 -x31 -x738 -x736 -x733 -x731 -x729 -x727 -x725 
1800.07/1800.62	v -x722 -x720 -x718 -x716 -x714 -x712 -x710 -x708 -x706 -x704 -x702 -x700 -x698 -x696 -x694 -x692 -x690 -x688 -x686 -x684 -x681 
1800.07/1800.62	v -x679 -x677 -x30 -x674 -x672 -x670 -x666 -x664 -x29 -x662 -x660 -x657 -x655 -x653 -x651 -x28 -x649 -x647 -x645 -x643 -x640 
1800.07/1800.62	v -x638 -x27 -x636 -x634 -x632 -x630 -x627 -x625 -x622 -x620 -x618 -x615 -x613 -x611 -x609 -x606 -x604 -x602 -x600 -x598 -x596 
1800.07/1800.62	v -x594 -x592 -x590 -x588 -x586 -x583 -x26 -x581 -x579 -x577 -x575 -x573 -x570 -x25 -x568 -x566 -x564 -x562 -x560 -x558 -x556 
1800.07/1800.62	v -x553 -x551 -x549 -x547 -x545 -x543 -x541 -x24 -x539 -x536 -x534 -x532 -x530 -x528 -x526 -x524 -x522 -x520 -x518 -x516 -x514 
1800.07/1800.62	v -x512 -x23 -x510 -x508 -x506 -x504 -x502 -x500 -x498 -x496 -x494 -x491 -x489 -x487 -x485 -x483 -x481 -x479 -x477 -x475 -x473 
1800.07/1800.62	v -x471 -x469 -x466 -x464 -x462 -x460 -x458 -x456 -x454 -x452 -x450 -x447 -x445 -x442 -x440 -x22 -x437 -x435 -x432 -x430 -x428 
1800.07/1800.62	v -x426 -x423 -x421 -x419 -x417 -x415 -x413 -x21 -x410 -x408 -x405 -x403 -x401 -x399 -x397 -x395 -x393 -x391 -x389 -x387 -x20 
1800.07/1800.62	v -x384 -x382 -x380 -x377 -x375 -x373 -x370 -x368 -x366 -x364 -x362 -x360 -x358 -x355 -x353 -x351 -x349 -x345 -x343 -x341 -x339 
1800.07/1800.62	v -x337 -x335 -x333 -x331 -x329 -x19 -x325 -x323 -x18 -x320 -x17 -x317 -x315 -x16 -x313 -x311 -x309 -x307 -x304 -x15 -x301 -x299 
1800.07/1800.62	v -x14 -x296 -x293 -x291 -x289 -x287 -x285 -x13 -x283 -x280 -x12 -x278 -x276 -x274 -x272 -x270 -x267 -x11 -x265 -x263 -x261 
1800.07/1800.62	v -x259 -x257 -x255 -x253 -x10 -x251 -x249 -x247 -x245 -x243 -x240 -x9 -x238 -x236 -x233 -x231 -x228 -x226 -x224 -x222 -x220 -x218 
1800.07/1800.62	v -x216 -x214 -x212 -x210 -x208 -x206 -x204 -x202 -x200 -x198 -x8 -x195 -x193 -x191 -x189 -x187 -x185 -x183 -x181 -x179 -x177 
1800.07/1800.62	v -x174 -x172 -x170 -x168 x7 -x165 -x163 -x6 -x161 -x159 -x157 -x5 -x155 -x153 -x151 -x149 -x147 -x145 -x4 -x143 -x141 -x3 -x138 
1800.07/1800.62	v -x136 -x134 -x131 -x129 -x127 -x2 -x125 -x122 -x120 -x118 -x116 -x114 -x1 -x112 -x110 -x108 -x106 -x104 -x102 -x100 -x98 
1800.07/1800.62	v -x96 -x94 -x92 -x90 -x88 -x86 x84 -x82 x1614 x1613 -x1612 x1611 -x1610 -x1609 x1607 -x1606 -x1605 -x1604 -x1603 -x1601 x1600 
1800.07/1800.62	v -x1599 -x1598 -x1597 -x1595 -x1593 -x1592 -x1591 -x1589 -x1587 -x1586 -x1584 -x1582 -x1581 -x1579 x1577 -x1576 -x1575 x1573 
1800.07/1800.62	v -x1572 -x1570 -x1568 -x1566 -x1564 -x1563 -x1562 -x1560 -x1558 -x1557 -x1555 x1553 -x1552 -x1551 -x1550 -x1548 -x1546 -x1544 
1800.07/1800.62	v -x1542 -x1541 -x1540 -x1538 -x1536 -x1535 -x1534 -x1533 -x1531 -x1529 -x1527 x1526 x1525 -x1524 -x1522 x1521 -x1520 -x1519 -x1517 
1800.07/1800.62	v -x1515 -x1514 -x1512 -x1511 -x1510 -x1509 -x1507 -x1506 -x1505 -x1503 -x1502 -x1501 -x1499 -x1498 -x1496 -x1495 -x1493 -x1492 
1800.07/1800.62	v x1491 -x1490 -x1488 -x1487 -x1485 -x1483 -x1481 -x1480 -x1478 -x1477 -x1475 -x1473 -x1472 -x1471 -x1470 -x1468 -x1467 -x1465 
1800.07/1800.62	v -x1464 -x1462 -x1461 -x1459 -x1458 -x1457 -x1456 -x1454 -x1452 -x1451 x1449 -x1448 -x1446 -x1445 -x1444 -x1442 -x1440 -x1438 
1800.07/1800.62	v -x1436 -x1435 -x1434 -x1432 -x1431 -x1430 -x1428 -x1426 -x1424 -x1422 -x1420 -x1419 -x1418 -x1416 -x1415 -x1413 -x1411 
1800.07/1800.62	v -x1410 -x1409 -x1407 -x1406 -x1404 -x1402 -x1401 -x1400 -x1398 x1396 -x1395 -x1394 -x1392 -x1390 -x1388 -x1386 -x1384 -x1383 
1800.07/1800.62	v -x1381 -x1379 x1377 -x1376 -x1374 -x1372 -x1370 -x1368 -x1366 -x1364 -x1362 -x1360 -x1358 -x1356 -x1354 -x1352 -x1351 -x1349 
1800.07/1800.62	v -x1347 -x1345 -x1344 -x1343 -x1341 -x1339 -x1338 -x1336 x1334 -x1333 -x1331 -x1329 -x1327 -x1325 -x1323 -x1322 -x1321 -x1319 
1800.07/1800.62	v -x1317 -x1315 -x1314 -x1313 -x1311 -x1309 -x1307 -x1306 -x1304 -x1302 -x1300 -x1298 -x1296 -x1294 -x1292 -x1290 -x1288 -x1287 
1800.07/1800.62	v -x1286 -x1284 -x1283 -x1281 -x1280 -x1278 -x1277 -x1276 -x1274 -x1272 -x1270 -x1268 -x1267 -x1266 -x1264 -x1262 -x1261 -x1259 
1800.07/1800.62	v -x1257 -x1256 -x1254 -x1252 -x1251 -x1250 -x1248 -x1246 -x1244 -x1242 -x1240 -x1238 -x1237 -x1235 -x1233 -x1231 -x1230 -x1228 
1800.07/1800.62	v -x1227 -x1225 -x1224 -x1222 -x1220 -x1218 -x1216 -x1214 -x1212 -x1210 -x1208 -x1207 -x1206 -x1204 -x1202 -x1201 -x1199 -x1197 
1800.07/1800.62	v -x1195 -x1193 -x1191 -x1189 -x1187 x1185 -x1184 -x1183 -x1181 -x1179 -x1177 -x1176 -x1175 -x1174 -x1173 -x1171 -x1169 -x1168 
1800.07/1800.62	v x1166 -x1165 -x1164 -x1162 -x1161 -x1160 -x1159 -x1157 -x1155 -x1153 -x1152 -x1151 -x1150 -x1149 -x1147 -x1145 -x1143 -x1142 
1800.07/1800.62	v -x1140 -x1138 -x1136 -x1134 -x1132 -x1130 -x1128 -x1126 -x1124 -x1122 -x1121 -x1120 -x1119 -x1117 x1115 -x1114 -x1112 -x1110 
1800.07/1800.62	v -x1108 -x1106 -x1104 -x1102 -x1100 -x1098 -x1096 -x1095 -x1093 -x1091 -x1089 -x1087 x1085 -x1084 -x1082 -x1080 -x1078 -x1076 
1800.07/1800.62	v -x1074 -x1072 -x1071 -x1070 -x1069 -x1068 -x1066 -x1064 -x1062 -x1061 -x1059 -x1058 -x1056 -x1055 -x1054 -x1052 -x1050 -x1048 
1800.07/1800.62	v -x1046 -x1044 -x1042 -x1041 -x1039 -x1037 -x1036 -x1034 -x1033 -x1032 -x1030 -x1029 -x1027 -x1025 -x1023 -x1021 -x1020 -x1018 
1800.07/1800.62	v -x1016 -x1014 -x1013 -x1011 -x1009 -x1007 -x1005 -x1003 -x1001 -x999 -x997 -x995 -x993 -x991 -x989 -x988 -x986 -x984 -x982 
1800.07/1800.62	v -x980 -x978 -x976 -x975 -x974 -x972 -x970 -x968 -x967 -x965 -x964 -x962 -x960 -x958 -x956 -x954 -x952 -x950 -x948 -x946 -x944 
1800.07/1800.62	v -x942 -x940 -x938 -x937 -x935 -x933 -x931 -x929 x927 -x926 -x924 -x922 -x920 -x918 -x916 -x914 -x912 -x910 -x908 -x907 -x905 
1800.07/1800.62	v -x904 -x902 -x900 -x898 -x896 -x894 -x893 -x891 -x889 -x887 -x886 -x884 -x882 -x880 -x878 -x876 -x874 -x872 -x870 -x868 
1800.07/1800.62	v -x866 -x865 -x863 -x861 -x859 -x858 -x857 -x855 -x853 -x851 -x850 -x849 -x848 -x846 -x844 -x843 -x841 -x839 -x838 -x837 -x835 
1800.07/1800.62	v -x833 -x832 -x830 -x828 -x826 -x824 -x822 -x820 -x818 -x816 -x814 -x813 -x812 -x810 -x808 -x806 -x804 -x802 -x800 -x798 -x796 
1800.07/1800.62	v -x794 -x792 -x790 -x788 -x786 -x784 -x782 -x780 -x778 -x776 -x775 -x773 -x771 -x769 -x767 -x765 -x763 -x761 -x759 -x757 -x755 
1800.07/1800.62	v -x753 -x752 -x750 -x749 -x747 -x745 -x743 -x741 -x739 -x737 x735 -x734 -x732 -x730 -x728 -x726 -x724 -x723 -x721 -x719 -x717 
1800.07/1800.62	v -x715 -x713 -x711 -x709 -x707 -x705 -x703 -x701 -x699 -x697 -x695 -x693 -x691 -x689 -x687 -x685 -x683 -x682 -x680 -x678 -x676 
1800.07/1800.62	v -x675 -x673 -x671 -x669 -x668 -x667 -x665 -x663 -x661 -x659 -x658 -x656 -x654 -x652 -x650 -x648 -x646 -x644 -x642 -x641 -x639 
1800.07/1800.62	v -x637 -x635 -x633 -x631 -x629 -x628 -x626 -x624 -x623 -x621 -x619 x617 -x616 -x614 -x612 -x610 -x608 -x607 -x605 -x603 -x601 
1800.07/1800.62	v -x599 -x597 -x595 -x593 -x591 -x589 -x587 -x585 -x584 -x582 -x580 -x578 -x576 -x574 -x572 -x571 -x569 -x567 -x565 -x563 
1800.07/1800.62	v -x561 -x559 -x557 -x555 -x554 -x552 -x550 -x548 -x546 -x544 -x542 -x540 -x538 -x537 -x535 -x533 -x531 -x529 -x527 -x525 -x523 
1800.07/1800.62	v -x521 -x519 -x517 -x515 -x513 -x511 -x509 -x507 -x505 -x503 -x501 -x499 -x497 -x495 -x493 -x492 -x490 -x488 -x486 -x484 -x482 
1800.07/1800.62	v -x480 -x478 -x476 -x474 -x472 -x470 x468 -x467 -x465 -x463 -x461 -x459 -x457 -x455 -x453 -x451 -x449 -x448 -x446 -x444 -x443 
1800.07/1800.62	v -x441 -x439 -x438 -x436 -x434 -x433 -x431 -x429 -x427 -x425 -x424 -x422 -x420 -x418 -x416 -x414 -x412 -x411 -x409 -x407 -x406 
1800.07/1800.62	v -x404 -x402 -x400 -x398 -x396 -x394 -x392 -x390 -x388 -x386 -x385 -x383 -x381 -x379 -x378 -x376 -x374 -x372 -x371 -x369 -x367 
1800.07/1800.62	v -x365 -x363 -x361 -x359 -x357 -x356 -x354 -x352 -x350 x348 -x347 -x346 -x344 -x342 -x340 -x338 -x336 -x334 -x332 -x330 -x328 
1800.07/1800.62	v -x327 -x326 -x324 -x322 -x321 -x319 -x318 -x316 -x314 -x312 -x310 -x308 -x306 -x305 -x303 -x302 -x300 -x298 -x297 -x295 -x294 
1800.07/1800.62	v -x292 -x290 -x288 -x286 -x284 -x282 -x281 -x279 -x277 -x275 -x273 -x271 -x269 -x268 -x266 -x264 -x262 -x260 -x258 -x256 
1800.07/1800.62	v -x254 -x252 -x250 -x248 -x246 -x244 -x242 -x241 -x239 -x237 -x235 -x234 -x232 x230 -x229 -x227 -x225 -x223 -x221 -x219 -x217 
1800.07/1800.62	v -x215 -x213 -x211 -x209 -x207 -x205 -x203 -x201 -x199 -x197 -x196 -x194 -x192 -x190 -x188 -x186 -x184 -x182 -x180 -x178 x176 
1800.07/1800.62	v -x175 -x173 -x171 -x169 x167 -x166 -x164 -x162 -x160 -x158 -x156 -x154 -x152 -x150 -x148 -x146 -x144 -x142 -x140 -x139 -x137 
1800.07/1800.62	v -x135 -x133 -x132 -x130 -x128 -x126 -x124 -x123 -x121 -x119 -x117 -x115 -x113 -x111 -x109 -x107 -x105 -x103 -x101 -x99 -x97 -x95 
1800.07/1800.62	v -x93 -x91 -x89 -x87 x85 -x83 
1800.07/1800.62	c SCIP Status        : solving was interrupted [user interrupt]
1800.07/1800.62	c Solving Time       :    1673.17
1800.07/1800.62	c Original Problem   :
1800.07/1800.62	c   Problem name     : HOME/instance-2663979-1276643488.opb
1800.07/1800.62	c   Variables        : 1614 (1614 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.62	c   Constraints      : 2783 initial, 2783 maximal
1800.07/1800.62	c Presolved Problem  :
1800.07/1800.62	c   Problem name     : t_HOME/instance-2663979-1276643488.opb
1800.07/1800.62	c   Variables        : 949 (949 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.62	c   Constraints      : 1459 initial, 1508 maximal
1800.07/1800.62	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.07/1800.62	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.62	c   dualfix          :       0.00          1          0          0          0          0          0          0          0
1800.07/1800.62	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.62	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.62	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.62	c   probing          :       0.01          0          0          0          0          0          0          0          0
1800.07/1800.62	c   linear           :       0.04          3        661          0          3          0       1324          0          0
1800.07/1800.62	c   logicor          :       0.03          0          0          0          0          0          0          0          0
1800.07/1800.62	c   root node        :          -          0          -          -          0          -          -          -          -
1800.07/1800.62	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.07/1800.62	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.07/1800.62	c   logicor          :       1459+         0   15696230          0          1    2329037   17388925          0          0          0
1800.07/1800.62	c   countsols        :          0          0          0          0          1          0          0          0          0          0
1800.07/1800.62	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.07/1800.62	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.07/1800.62	c   logicor          :     472.24       0.00     472.24       0.00       0.00
1800.07/1800.62	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.07/1800.62	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.07/1800.62	c   vbounds          :       9.45          2          0          0
1800.07/1800.62	c   rootredcost      :       9.41          0          0          0
1800.07/1800.62	c   pseudoobj        :     846.63   22225586     742096   37006338
1800.07/1800.62	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.07/1800.62	c   propagation      :     476.16    3071133    3071133    3071133       54.6       3925       71.6          -
1800.07/1800.62	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.07/1800.62	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.07/1800.62	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.07/1800.62	c   pseudo solution  :       1.42       7070       7070       7070       48.5        769       60.9          -
1800.07/1800.62	c   applied globally :          -          -          -    2897233       51.3          -          -          -
1800.07/1800.62	c   applied locally  :          -          -          -     185396      107.6          -          -          -
1800.07/1800.62	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.07/1800.62	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.07/1800.62	c   redcost          :       0.00          0          0          0          0          0
1800.07/1800.62	c   impliedbounds    :       0.00          0          0          0          0          0
1800.07/1800.62	c   intobj           :       0.00          0          0          0          0          0
1800.07/1800.62	c   cgmip            :       0.00          0          0          0          0          0
1800.07/1800.62	c   gomory           :       0.00          0          0          0          0          0
1800.07/1800.62	c   strongcg         :       0.00          0          0          0          0          0
1800.07/1800.62	c   cmir             :       0.00          0          0          0          0          0
1800.07/1800.62	c   flowcover        :       0.00          0          0          0          0          0
1800.07/1800.62	c   clique           :       0.00          0          0          0          0          0
1800.07/1800.62	c   zerohalf         :       0.00          0          0          0          0          0
1800.07/1800.62	c   mcf              :       0.00          0          0          0          0          0
1800.07/1800.62	c   rapidlearning    :       0.00          0          0          0          0          0
1800.07/1800.62	c Pricers            :       Time      Calls       Vars
1800.07/1800.62	c   problem variables:       0.00          0          0
1800.07/1800.62	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.07/1800.62	c   relpscost        :       0.00          0          0          0          0          0          0
1800.07/1800.62	c   pscost           :       0.00          0          0          0          0          0          0
1800.07/1800.62	c   inference        :      30.22    3376178          0          0          0          0    6752356
1800.07/1800.62	c   mostinf          :       0.00          0          0          0          0          0          0
1800.07/1800.62	c   leastinf         :       0.00          0          0          0          0          0          0
1800.07/1800.62	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.07/1800.62	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.07/1800.62	c   random           :       0.00          0          0          0          0          0          0
1800.07/1800.62	c Primal Heuristics  :       Time      Calls      Found
1800.07/1800.62	c   LP solutions     :       0.00          -          0
1800.07/1800.62	c   pseudo solutions :       0.00          -          1
1800.07/1800.62	c   oneopt           :       3.08          0          0
1800.07/1800.62	c   trivial          :       0.00          2          2
1800.07/1800.62	c   simplerounding   :       0.00          0          0
1800.07/1800.62	c   zirounding       :       0.00          0          0
1800.07/1800.62	c   rounding         :       0.00          0          0
1800.07/1800.62	c   shifting         :       0.00          0          0
1800.07/1800.62	c   intshifting      :       0.00          0          0
1800.07/1800.62	c   twoopt           :       0.00          0          0
1800.07/1800.62	c   fixandinfer      :       0.00          0          0
1800.07/1800.62	c   feaspump         :       0.00          0          0
1800.07/1800.62	c   coefdiving       :       0.00          0          0
1800.07/1800.62	c   pscostdiving     :       0.00          0          0
1800.07/1800.62	c   fracdiving       :       0.00          0          0
1800.07/1800.62	c   veclendiving     :       0.00          0          0
1800.07/1800.62	c   intdiving        :       0.00          0          0
1800.07/1800.62	c   actconsdiving    :       0.00          0          0
1800.07/1800.62	c   objpscostdiving  :       0.00          0          0
1800.07/1800.62	c   rootsoldiving    :       0.00          0          0
1800.07/1800.62	c   linesearchdiving :       0.00          0          0
1800.07/1800.62	c   guideddiving     :       0.00          0          0
1800.07/1800.62	c   octane           :       0.00          0          0
1800.07/1800.62	c   rens             :       0.00          0          0
1800.07/1800.62	c   rins             :       0.00          0          0
1800.07/1800.62	c   localbranching   :       0.00          0          0
1800.07/1800.62	c   mutation         :       0.00          0          0
1800.07/1800.62	c   crossover        :       0.00          0          0
1800.07/1800.62	c   dins             :       0.00          0          0
1800.07/1800.62	c   undercover       :       0.00          0          0
1800.07/1800.62	c   nlp              :       1.94          0          0
1800.07/1800.62	c   trysol           :       1.99          0          0
1800.07/1800.62	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.07/1800.62	c   primal LP        :       0.00          0          0       0.00          -
1800.07/1800.62	c   dual LP          :       0.00          0          0       0.00          -
1800.07/1800.62	c   lex dual LP      :       0.00          0          0       0.00          -
1800.07/1800.62	c   barrier LP       :       0.00          0          0       0.00          -
1800.07/1800.62	c   diving/probing LP:       0.00          0          0       0.00          -
1800.07/1800.62	c   strong branching :       0.00          0          0       0.00          -
1800.07/1800.62	c     (at root node) :          -          0          0       0.00          -
1800.07/1800.62	c   conflict analysis:       0.00          0          0       0.00          -
1800.07/1800.62	c B&B Tree           :
1800.07/1800.62	c   number of runs   :          1
1800.07/1800.62	c   nodes            :    4987343
1800.07/1800.62	c   nodes (total)    :    4987343
1800.07/1800.62	c   nodes left       :        737
1800.07/1800.62	c   max depth        :        764
1800.07/1800.62	c   max depth (total):        764
1800.07/1800.62	c   backtracks       :    1939189 (38.9%)
1800.07/1800.62	c   delayed cutoffs  :    1697971
1800.07/1800.62	c   repropagations   :    3589231 (28362474 domain reductions, 1467039 cutoffs)
1800.07/1800.62	c   avg switch length:       2.49
1800.07/1800.62	c   switching time   :      73.03
1800.07/1800.62	c Solution           :
1800.07/1800.62	c   Solutions found  :          3 (3 improvements)
1800.07/1800.62	c   First Solution   : +8.79000000000000e+02   (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.07/1800.62	c   Primal Bound     : +2.90000000000000e+01   (in run 1, after 765 nodes, 0.22 seconds, depth 764, found by <relaxation>)
1800.07/1800.62	c   Dual Bound       : +5.00000000000000e+00
1800.07/1800.62	c   Gap              :     480.00 %
1800.07/1800.62	c   Root Dual Bound  : +4.00000000000000e+00
1800.07/1800.62	c   Root Iterations  :          0
1800.07/1800.63	c Time complete: 1800.09.

Verifier Data 

OK	29

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2663979-1276643488/watcher-2663979-1276643488 -o /tmp/evaluation-result-2663979-1276643488/solver-2663979-1276643488 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663979-1276643488.opb -t 1800 -m 1800 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 1.00 0.99 3/105 14311
/proc/meminfo: memFree=1849144/2059040 swapFree=4148288/4192956
[pid=14311] ppid=14309 vsize=7612 CPUtime=0
/proc/14311/stat : 14311 (pbscip.linux.x8) R 14309 14311 14286 0 -1 4202496 1220 0 0 0 0 0 0 0 24 0 1 0 5642283 7794688 1143 1992294400 4194304 7136930 140737107551552 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14311/statm: 1903 1151 254 719 0 1182 0

[startup+0.096693 s]
/proc/loadavg: 0.92 1.00 0.99 3/105 14311
/proc/meminfo: memFree=1849144/2059040 swapFree=4148288/4192956
[pid=14311] ppid=14309 vsize=17256 CPUtime=0.08
/proc/14311/stat : 14311 (pbscip.linux.x8) R 14309 14311 14286 0 -1 4202496 3970 0 0 0 7 1 0 0 24 0 1 0 5642283 17670144 3538 1992294400 4194304 7136930 140737107551552 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14311/statm: 4314 3538 353 719 0 3593 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 17256

[startup+0.101694 s]
/proc/loadavg: 0.92 1.00 0.99 3/105 14311
/proc/meminfo: memFree=1849144/2059040 swapFree=4148288/4192956
[pid=14311] ppid=14309 vsize=17256 CPUtime=0.09
/proc/14311/stat : 14311 (pbscip.linux.x8) R 14309 14311 14286 0 -1 4202496 3973 0 0 0 8 1 0 0 24 0 1 0 5642283 17670144 3541 1992294400 4194304 7136930 140737107551552 18446744073709551615 6166114 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14311/statm: 4314 3541 353 719 0 3593 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17256

[startup+0.300714 s]
/proc/loadavg: 0.92 1.00 0.99 3/105 14311
/proc/meminfo: memFree=1849144/2059040 swapFree=4148288/4192956
[pid=14311] ppid=14309 vsize=20416 CPUtime=0.29
/proc/14311/stat : 14311 (pbscip.linux.x8) R 14309 14311 14286 0 -1 4202496 6591 0 0 0 25 4 0 0 18 0 1 0 5642283 20905984 4357 1992294400 4194304 7136930 140737107551552 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14311/statm: 5104 4357 384 719 0 4383 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20416

[startup+0.700756 s]
/proc/loadavg: 0.92 1.00 0.99 3/105 14311
/proc/meminfo: memFree=1849144/2059040 swapFree=4148288/4192956
[pid=14311] ppid=14309 vsize=21088 CPUtime=0.69
/proc/14311/stat : 14311 (pbscip.linux.x8) R 14309 14311 14286 0 -1 4202496 6784 0 0 0 63 6 0 0 18 0 1 0 5642283 21594112 4550 1992294400 4194304 7136930 140737107551552 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14311/statm: 5272 4550 389 719 0 4551 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21088

[startup+1.50084 s]
/proc/loadavg: 0.92 1.00 0.99 2/106 14312
/proc/meminfo: memFree=1832520/2059040 swapFree=4148288/4192956
[pid=14311] ppid=14309 vsize=21220 CPUtime=1.49
/proc/14311/stat : 14311 (pbscip.linux.x8) R 14309 14311 14286 0 -1 4202496 6821 0 0 0 137 12 0 0 19 0 1 0 5642283 21729280 4587 1992294400 4194304 7136930 140737107551552 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14311/statm: 5305 4587 389 719 0 4584 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 21220

[startup+3.10101 s]
/proc/loadavg: 0.93 1.00 0.99 2/106 14312
/proc/meminfo: memFree=1832148/2059040 swapFree=4148288/4192956
[pid=14311] ppid=14309 vsize=21352 CPUtime=3.09
/proc/14311/stat : 14311 (pbscip.linux.x8) R 14309 14311 14286 0 -1 4202496 6839 0 0 0 287 22 0 0 24 0 1 0 5642283 21864448 4605 1992294400 4194304 7136930 140737107551552 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14311/statm: 5338 4605 390 719 0 4617 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21352

[startup+6.30034 s]
/proc/loadavg: 0.93 1.00 0.99 2/106 14312
/proc/meminfo: memFree=1832024/2059040 swapFree=4148288/4192956
[pid=14311] ppid=14309 vsize=21352 CPUtime=6.29
/proc/14311/stat : 14311 (pbscip.linux.x8) R 14309 14311 14286 0 -1 4202496 6855 0 0 0 582 47 0 0 25 0 1 0 5642283 21864448 4621 1992294400 4194304 7136930 140737107551552 18446744073709551615 4703869 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14311/statm: 5338 4621 390 719 0 4617 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21352

[startup+12.702 s]
/proc/loadavg: 0.94 1.00 0.99 2/106 14314
/proc/meminfo: memFree=1831900/2059040 swapFree=4148288/4192956
[pid=14311] ppid=14309 vsize=21484 CPUtime=12.69
/proc/14311/stat : 14311 (pbscip.linux.x8) R 14309 14311 14286 0 -1 4202496 6883 0 0 0 1173 96 0 0 25 0 1 0 5642283 21999616 4649 1992294400 4194304 7136930 140737107551552 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14311/statm: 5371 4649 390 719 0 4650 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21484

[startup+25.5014 s]
/proc/loadavg: 0.95 1.00 0.99 2/106 14314
/proc/meminfo: memFree=1831900/2059040 swapFree=4148288/4192956
[pid=14311] ppid=14309 vsize=21616 CPUtime=25.48
/proc/14311/stat : 14311 (pbscip.linux.x8) R 14309 14311 14286 0 -1 4202496 6895 0 0 0 2358 190 0 0 25 0 1 0 5642283 22134784 4661 1992294400 4194304 7136930 140737107551552 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14311/statm: 5404 4661 390 719 0 4683 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 21616

[startup+51.1011 s]
/proc/loadavg: 0.96 1.00 0.99 2/106 14314
/proc/meminfo: memFree=1831900/2059040 swapFree=4148288/4192956
[pid=14311] ppid=14309 vsize=21616 CPUtime=51.07
/proc/14311/stat : 14311 (pbscip.linux.x8) R 14309 14311 14286 0 -1 4202496 6911 0 0 0 4724 383 0 0 25 0 1 0 5642283 22134784 4677 1992294400 4194304 7136930 140737107551552 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14311/statm: 5404 4677 390 719 0 4683 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 21616

[startup+102.308 s]
/proc/loadavg: 0.98 1.00 0.99 2/106 14316
/proc/meminfo: memFree=1831652/2059040 swapFree=4148288/4192956
[pid=14311] ppid=14309 vsize=21748 CPUtime=102.26
/proc/14311/stat : 14311 (pbscip.linux.x8) R 14309 14311 14286 0 -1 4202496 6940 0 0 0 9460 766 0 0 25 0 1 0 5642283 22269952 4706 1992294400 4194304 7136930 140737107551552 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14311/statm: 5437 4706 390 719 0 4716 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 21748

[startup+162.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/106 14318
/proc/meminfo: memFree=1831404/2059040 swapFree=4148288/4192956
[pid=14311] ppid=14309 vsize=21880 CPUtime=162.24
/proc/14311/stat : 14311 (pbscip.linux.x8) R 14309 14311 14286 0 -1 4202496 6961 0 0 0 15012 1212 0 0 25 0 1 0 5642283 22405120 4727 1992294400 4194304 7136930 140737107551552 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14311/statm: 5470 4727 390 719 0 4749 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 21880

[startup+222.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/106 14318
/proc/meminfo: memFree=1831404/2059040 swapFree=4148288/4192956
[pid=14311] ppid=14309 vsize=21880 CPUtime=222.22
/proc/14311/stat : 14311 (pbscip.linux.x8) R 14309 14311 14286 0 -1 4202496 6976 0 0 0 20556 1666 0 0 25 0 1 0 5642283 22405120 4742 1992294400 4194304 7136930 140737107551552 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14311/statm: 5470 4742 390 719 0 4749 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 21880

[startup+282.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/106 14320
/proc/meminfo: memFree=1831280/2059040 swapFree=4148288/4192956
[pid=14311] ppid=14309 vsize=21880 CPUtime=282.2
/proc/14311/stat : 14311 (pbscip.linux.x8) R 14309 14311 14286 0 -1 4202496 6977 0 0 0 26105 2115 0 0 25 0 1 0 5642283 22405120 4743 1992294400 4194304 7136930 140737107551552 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14311/statm: 5470 4743 390 719 0 4749 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 21880

[startup+342.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/106 14322
/proc/meminfo: memFree=1831032/2059040 swapFree=4148288/4192956
[pid=14311] ppid=14309 vsize=22012 CPUtime=342.19
/proc/14311/stat : 14311 (pbscip.linux.x8) R 14309 14311 14286 0 -1 4202496 7005 0 0 0 31652 2567 0 0 25 0 1 0 5642283 22540288 4771 1992294400 4194304 7136930 140737107551552 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14311/statm: 5503 4771 390 719 0 4782 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 22012

[startup+402.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/106 14324
/proc/meminfo: memFree=1830908/2059040 swapFree=4148288/4192956
[pid=14311] ppid=14309 vsize=22012 CPUtime=402.17
/proc/14311/stat : 14311 (pbscip.linux.x8) R 14309 14311 14286 0 -1 4202496 7007 0 0 0 37202 3015 0 0 25 0 1 0 5642283 22540288 4773 1992294400 4194304 7136930 140737107551552 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14311/statm: 5503 4773 390 719 0 4782 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 22012

[startup+462.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/106 14326
/proc/meminfo: memFree=1830784/2059040 swapFree=4148288/4192956
[pid=14311] ppid=14309 vsize=22012 CPUtime=462.15
/proc/14311/stat : 14311 (pbscip.linux.x8) R 14309 14311 14286 0 -1 4202496 7013 0 0 0 42761 3454 0 0 25 0 1 0 5642283 22540288 4779 1992294400 4194304 7136930 140737107551552 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14311/statm: 5503 4779 390 719 0 4782 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 22012

[startup+522.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/106 14326
/proc/meminfo: memFree=1830784/2059040 swapFree=4148288/4192956
[pid=14311] ppid=14309 vsize=22148 CPUtime=522.14
/proc/14311/stat : 14311 (pbscip.linux.x8) R 14309 14311 14286 0 -1 4202496 7025 0 0 0 48341 3873 0 0 25 0 1 0 5642283 22679552 4791 1992294400 4194304 7136930 140737107551552 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14311/statm: 5537 4791 390 719 0 4816 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 22148

[startup+582.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/106 14328
/proc/meminfo: memFree=1830536/2059040 swapFree=4148288/4192956
[pid=14311] ppid=14309 vsize=22148 CPUtime=582.12
/proc/14311/stat : 14311 (pbscip.linux.x8) R 14309 14311 14286 0 -1 4202496 7028 0 0 0 53918 4294 0 0 25 0 1 0 5642283 22679552 4794 1992294400 4194304 7136930 140737107551552 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14311/statm: 5537 4794 390 719 0 4816 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 22148

[startup+642.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/106 14330
/proc/meminfo: memFree=1830412/2059040 swapFree=4148288/4192956
[pid=14311] ppid=14309 vsize=22148 CPUtime=642.11
/proc/14311/stat : 14311 (pbscip.linux.x8) R 14309 14311 14286 0 -1 4202496 7033 0 0 0 59478 4733 0 0 25 0 1 0 5642283 22679552 4799 1992294400 4194304 7136930 140737107551552 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14311/statm: 5537 4799 390 719 0 4816 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 22148

[startup+702.302 s]

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

[startup+822.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/106 14334
/proc/meminfo: memFree=1830040/2059040 swapFree=4148288/4192956
[pid=14311] ppid=14309 vsize=22280 CPUtime=822.04
/proc/14311/stat : 14311 (pbscip.linux.x8) R 14309 14311 14286 0 -1 4202496 7061 0 0 0 76194 6010 0 0 25 0 1 0 5642283 22814720 4827 1992294400 4194304 7136930 140737107551552 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14311/statm: 5570 4827 390 719 0 4849 0
Current children cumulated CPU time (s) 822.04
Current children cumulated vsize (KiB) 22280

[startup+882.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/106 14336
/proc/meminfo: memFree=1829916/2059040 swapFree=4148288/4192956
[pid=14311] ppid=14309 vsize=22280 CPUtime=882.03
/proc/14311/stat : 14311 (pbscip.linux.x8) R 14309 14311 14286 0 -1 4202496 7067 0 0 0 81757 6446 0 0 25 0 1 0 5642283 22814720 4833 1992294400 4194304 7136930 140737107551552 18446744073709551615 5906003 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14311/statm: 5570 4833 390 719 0 4849 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 22280

[startup+942.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/106 14338
/proc/meminfo: memFree=1829792/2059040 swapFree=4148288/4192956
[pid=14311] ppid=14309 vsize=22280 CPUtime=942.01
/proc/14311/stat : 14311 (pbscip.linux.x8) R 14309 14311 14286 0 -1 4202496 7067 0 0 0 87325 6876 0 0 25 0 1 0 5642283 22814720 4833 1992294400 4194304 7136930 140737107551552 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14311/statm: 5570 4833 390 719 0 4849 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 22280

[startup+1002.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/106 14340
/proc/meminfo: memFree=1829668/2059040 swapFree=4148288/4192956
[pid=14311] ppid=14309 vsize=22280 CPUtime=1001.99
/proc/14311/stat : 14311 (pbscip.linux.x8) R 14309 14311 14286 0 -1 4202496 7075 0 0 0 92908 7291 0 0 25 0 1 0 5642283 22814720 4841 1992294400 4194304 7136930 140737107551552 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14311/statm: 5570 4841 390 719 0 4849 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 22280

[startup+1062.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/106 14342
/proc/meminfo: memFree=1829544/2059040 swapFree=4148288/4192956
[pid=14311] ppid=14309 vsize=22280 CPUtime=1061.97
/proc/14311/stat : 14311 (pbscip.linux.x8) R 14309 14311 14286 0 -1 4202496 7076 0 0 0 98467 7730 0 0 25 0 1 0 5642283 22814720 4842 1992294400 4194304 7136930 140737107551552 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14311/statm: 5570 4842 390 719 0 4849 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 22280

[startup+1122.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/106 14342
/proc/meminfo: memFree=1829544/2059040 swapFree=4148288/4192956
[pid=14311] ppid=14309 vsize=22280 CPUtime=1121.96
/proc/14311/stat : 14311 (pbscip.linux.x8) R 14309 14311 14286 0 -1 4202496 7076 0 0 0 104043 8153 0 0 25 0 1 0 5642283 22814720 4842 1992294400 4194304 7136930 140737107551552 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14311/statm: 5570 4842 390 719 0 4849 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 22280

[startup+1182.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/106 14344
/proc/meminfo: memFree=1829296/2059040 swapFree=4148288/4192956
[pid=14311] ppid=14309 vsize=22280 CPUtime=1181.94
/proc/14311/stat : 14311 (pbscip.linux.x8) R 14309 14311 14286 0 -1 4202496 7076 0 0 0 109611 8583 0 0 25 0 1 0 5642283 22814720 4842 1992294400 4194304 7136930 140737107551552 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14311/statm: 5570 4842 390 719 0 4849 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 22280

[startup+1242.3 s]
/proc/loadavg: 1.07 1.02 1.00 3/107 14349
/proc/meminfo: memFree=1795316/2059040 swapFree=4148288/4192956
[pid=14311] ppid=14309 vsize=22280 CPUtime=1241.92
/proc/14311/stat : 14311 (pbscip.linux.x8) R 14309 14311 14286 0 -1 4202496 7086 0 0 0 115185 9007 0 0 25 0 1 0 5642283 22814720 4852 1992294400 4194304 7136930 140737107551552 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14311/statm: 5570 4852 390 719 0 4849 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 22280

[startup+1302.3 s]
/proc/loadavg: 1.03 1.01 1.00 2/106 14351
/proc/meminfo: memFree=1826200/2059040 swapFree=4148288/4192956
[pid=14311] ppid=14309 vsize=22412 CPUtime=1301.91
/proc/14311/stat : 14311 (pbscip.linux.x8) R 14309 14311 14286 0 -1 4202496 7094 0 0 0 120805 9386 0 0 25 0 1 0 5642283 22949888 4860 1992294400 4194304 7136930 140737107551552 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14311/statm: 5603 4860 390 719 0 4882 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 22412

[startup+1362.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/106 14353
/proc/meminfo: memFree=1826200/2059040 swapFree=4148288/4192956
[pid=14311] ppid=14309 vsize=22548 CPUtime=1361.88
/proc/14311/stat : 14311 (pbscip.linux.x8) R 14309 14311 14286 0 -1 4202496 7138 0 0 0 126420 9768 0 0 25 0 1 0 5642283 23089152 4904 1992294400 4194304 7136930 140737107551552 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14311/statm: 5637 4904 390 719 0 4916 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 22548

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 14353
/proc/meminfo: memFree=1826200/2059040 swapFree=4148288/4192956
[pid=14311] ppid=14309 vsize=22548 CPUtime=1421.88
/proc/14311/stat : 14311 (pbscip.linux.x8) R 14309 14311 14286 0 -1 4202496 7146 0 0 0 132015 10173 0 0 25 0 1 0 5642283 23089152 4912 1992294400 4194304 7136930 140737107551552 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14311/statm: 5637 4912 390 719 0 4916 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 22548

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 14355
/proc/meminfo: memFree=1826200/2059040 swapFree=4148288/4192956
[pid=14311] ppid=14309 vsize=22680 CPUtime=1481.85
/proc/14311/stat : 14311 (pbscip.linux.x8) R 14309 14311 14286 0 -1 4202496 7155 0 0 0 137610 10575 0 0 25 0 1 0 5642283 23224320 4921 1992294400 4194304 7136930 140737107551552 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14311/statm: 5670 4921 390 719 0 4949 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 22680

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 14357
/proc/meminfo: memFree=1826200/2059040 swapFree=4148288/4192956
[pid=14311] ppid=14309 vsize=22680 CPUtime=1541.84
/proc/14311/stat : 14311 (pbscip.linux.x8) R 14309 14311 14286 0 -1 4202496 7164 0 0 0 143214 10970 0 0 25 0 1 0 5642283 23224320 4930 1992294400 4194304 7136930 140737107551552 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14311/statm: 5670 4930 390 719 0 4949 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 22680

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 14359
/proc/meminfo: memFree=1826076/2059040 swapFree=4148288/4192956
[pid=14311] ppid=14309 vsize=22680 CPUtime=1601.82
/proc/14311/stat : 14311 (pbscip.linux.x8) R 14309 14311 14286 0 -1 4202496 7175 0 0 0 148827 11355 0 0 25 0 1 0 5642283 23224320 4941 1992294400 4194304 7136930 140737107551552 18446744073709551615 5506148 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14311/statm: 5670 4941 390 719 0 4949 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 22680

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 14361
/proc/meminfo: memFree=1825952/2059040 swapFree=4148288/4192956
[pid=14311] ppid=14309 vsize=22680 CPUtime=1661.8
/proc/14311/stat : 14311 (pbscip.linux.x8) R 14309 14311 14286 0 -1 4202496 7175 0 0 0 154421 11759 0 0 25 0 1 0 5642283 23224320 4941 1992294400 4194304 7136930 140737107551552 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14311/statm: 5670 4941 390 719 0 4949 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 22680

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 14361
/proc/meminfo: memFree=1825828/2059040 swapFree=4148288/4192956
[pid=14311] ppid=14309 vsize=22680 CPUtime=1721.78
/proc/14311/stat : 14311 (pbscip.linux.x8) R 14309 14311 14286 0 -1 4202496 7175 0 0 0 160022 12156 0 0 25 0 1 0 5642283 23224320 4941 1992294400 4194304 7136930 140737107551552 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14311/statm: 5670 4941 390 719 0 4949 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 22680

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 14363
/proc/meminfo: memFree=1825456/2059040 swapFree=4148288/4192956
[pid=14311] ppid=14309 vsize=22680 CPUtime=1781.76
/proc/14311/stat : 14311 (pbscip.linux.x8) R 14309 14311 14286 0 -1 4202496 7177 0 0 0 165617 12559 0 0 25 0 1 0 5642283 23224320 4943 1992294400 4194304 7136930 140737107551552 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14311/statm: 5670 4943 390 719 0 4949 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 22680



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 14363
/proc/meminfo: memFree=1825456/2059040 swapFree=4148288/4192956
[pid=14311] ppid=14309 vsize=22680 CPUtime=1800.07
/proc/14311/stat : 14311 (pbscip.linux.x8) R 14309 14311 14286 0 -1 4202496 7177 0 0 0 167322 12685 0 0 25 0 1 0 5642283 23224320 4943 1992294400 4194304 7136930 140737107551552 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14311/statm: 5670 4943 390 719 0 4949 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 22680

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

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

Child status: 0
Real time (s): 1800.64
CPU time (s): 1800.11
CPU user time (s): 1673.25
CPU system time (s): 126.857
CPU usage (%): 99.9704
Max. virtual memory (cumulated for all children) (KiB): 22680

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1673.25
system time used= 126.857
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7199
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= 3
involuntary context switches= 21529

runsolver used 2.87556 second user time and 8.63369 second system time

The end

Launcher Data 

Begin job on node082 at 2010-06-16 01:11:28
IDJOB=2663979
IDBENCH=25034
IDSOLVER=1167
FILE ID=node082/2663979-1276643488
PBS_JOBID= 11172422
Free space on /tmp= 62584 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_opers/normalized-fir04_area_opers.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2663979-1276643488/watcher-2663979-1276643488 -o /tmp/evaluation-result-2663979-1276643488/solver-2663979-1276643488 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663979-1276643488.opb -t 1800 -m 1800

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= e746daa468953b69c2293c7909733538
RANDOM SEED=1330538831

node082.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	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.215
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.43
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.215
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5999.41
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1849796 kB
Buffers:         17996 kB
Cached:          96392 kB
SwapCached:       4448 kB
Active:          32656 kB
Inactive:       100820 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1849796 kB
SwapTotal:     4192956 kB
SwapFree:      4148288 kB
Dirty:            3496 kB
Writeback:           0 kB
AnonPages:       18580 kB
Mapped:          13144 kB
Slab:            53976 kB
PageTables:       3924 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180572 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264964 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62580 MiB
End job on node082 at 2010-06-16 01:41:31