Trace number 3692584

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIP spx E SCIP 2.1.1.4. Exp with SoPlex 1.6.0.3 fixedSAT-33 1796.73 1797.14

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_200_25_2.opb
MD5SUM219f407da86957d900e068170e9af8b6
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-33
Best CPU time to get the best result obtained on this benchmark1796.73
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -32
Optimality of the best value was proved NO
Number of variables400
Total number of constraints601
Number of constraints which are clauses200
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints401
Minimum length of a constraint2
Maximum length of a constraint400
Number of terms in the objective function 200
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 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 400
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)12440
Sum of products size (including duplicates)24880
Number of different products6220
Sum of products size12440

Quality of the solution as a function of time


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

Solver Data

0.00/0.00	c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: 947bdb7-dirty]
0.00/0.00	c Copyright (c) 2002-2012 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-3692584-1338037209.opb>
0.00/0.03	c original problem has 6620 variables (400 bin, 0 int, 6220 impl, 0 cont) and 7221 constraints
0.00/0.03	c problem read in 0.03
0.04/0.06	o 0
0.04/0.06	c feasible solution found by trivial heuristic, objective value  0.000000e+00
0.04/0.06	c presolving:
0.09/0.14	c (round 1) 0 del vars, 7020 del conss, 400 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 200 upgd conss, 25280 impls, 399 clqs
0.09/0.16	c (round 2) 6220 del vars, 7020 del conss, 400 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 600 upgd conss, 25280 impls, 0 clqs
0.09/0.18	c    (0.2s) probing: 51/400 (12.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.18	c    (0.2s) probing aborted: 50/50 successive totally useless probings
0.09/0.18	c presolving (3 rounds):
0.09/0.18	c  6220 deleted vars, 7020 deleted constraints, 400 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.18	c  25280 implications, 0 cliques
0.09/0.18	c presolved problem has 400 variables (400 bin, 0 int, 0 impl, 0 cont) and 601 constraints
0.09/0.18	c     400 constraints of type <knapsack>
0.09/0.18	c     200 constraints of type <setppc>
0.09/0.18	c       1 constraints of type <linear>
0.09/0.18	c transformed objective value is always integral (scale: 1)
0.09/0.18	c Presolving Time: 0.13
0.09/0.18	c - non default parameters ----------------------------------------------------------------------
0.09/0.18	c # SCIP version 2.1.1.4
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 = 1797
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 = 13950
0.09/0.18	c 
0.09/0.18	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.18	c # [type: int, range: [1,2], default: 1]
0.09/0.18	c timing/clocktype = 2
0.09/0.18	c 
0.09/0.18	c # belongs reading time to solving time?
0.09/0.18	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18	c timing/reading = TRUE
0.09/0.18	c 
0.09/0.18	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.18	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.18	c separating/rapidlearning/freq = 0
0.09/0.18	c 
0.09/0.18	c -----------------------------------------------------------------------------------------------
0.09/0.18	c start solving
0.09/0.18	c 
0.79/0.88	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.79/0.88	c t 0.9s|     1 |     0 |  3863 |     - |  17M|   0 | 400 | 400 | 601 | 400 | 601 |   0 |   0 |   0 |-1.000000e+02 | 0.000000e+00 |    Inf 
0.79/0.88	o -1
0.79/0.88	c R 0.9s|     1 |     0 |  3863 |     - |  17M|   0 | 400 | 400 | 601 | 400 | 601 |   0 |   0 |   0 |-1.000000e+02 |-1.000000e+00 |9900.00%
10.19/10.20	c  10.2s|     1 |     2 |  8920 |     - |  17M|   0 | 400 | 400 | 601 | 400 | 601 |   0 |   0 |  29 |-1.000000e+02 |-1.000000e+00 |9900.00%
10.29/10.35	o -2
10.29/10.35	c R10.4s|     2 |     1 |  9193 |5330.0 |  17M|   1 | 363 | 400 | 601 | 400 | 601 |   0 |   0 |  29 |-9.977585e+01 |-2.000000e+00 |4888.79%
19.49/19.56	o -3
19.49/19.56	c R19.6s|     8 |     7 |  9542 | 811.3 |  17M|   7 | 304 | 400 | 601 | 400 | 601 |   0 |   0 | 126 |-9.977585e+01 |-3.000000e+00 |3225.86%
30.37/30.46	o -24
30.37/30.46	c c30.5s|    15 |    16 | 10404 | 467.2 |  18M|  14 |   - | 400 | 601 | 400 | 601 |   0 |   0 | 248 |-9.977585e+01 |-2.400000e+01 | 315.73%
39.88/39.93	o -27
39.88/39.93	c p39.9s|    28 |    29 | 13159 | 344.3 |  17M|  14 |   - | 400 | 601 | 400 | 601 |   0 |   0 | 459 |-9.977585e+01 |-2.700000e+01 | 269.54%
50.97/51.06	o -29
50.97/51.06	c f51.1s|    40 |    41 | 14901 | 283.0 |  18M|  14 |   - | 400 | 601 | 400 | 601 |   0 |   0 | 686 |-9.955081e+01 |-2.900000e+01 | 243.28%
80.66/80.73	o -30
80.66/80.73	c l80.7s|    88 |    89 | 30719 | 308.7 |  18M|  14 |   - | 400 | 616 | 400 | 601 |   0 |  15 |1406 |-9.932418e+01 |-3.000000e+01 | 231.08%
87.06/87.10	c  87.1s|   100 |   101 | 32446 | 288.7 |  18M|  15 | 123 | 400 | 616 | 400 | 601 |   0 |  15 |1535 |-9.909403e+01 |-3.000000e+01 | 230.31%
96.95/97.04	c  97.0s|   200 |   201 | 45601 | 209.7 |  18M|  19 | 229 | 400 | 622 | 400 | 601 |   0 |  21 |1647 |-9.865379e+01 |-3.000000e+01 | 228.85%
100.75/100.89	c   101s|   300 |   301 | 58606 | 183.1 |  18M|  27 | 304 | 400 | 622 | 400 | 601 |   0 |  21 |1647 |-9.843927e+01 |-3.000000e+01 | 228.13%
104.55/104.60	c   105s|   400 |   401 | 69929 | 165.6 |  18M|  27 | 107 | 400 | 630 | 400 | 601 |   0 |  30 |1694 |-9.823504e+01 |-3.000000e+01 | 227.45%
109.55/109.66	c   110s|   500 |   501 | 81488 | 155.6 |  18M|  27 | 133 | 400 | 631 | 400 | 601 |   0 |  31 |1739 |-9.802678e+01 |-3.000000e+01 | 226.76%
115.25/115.32	o -31
115.25/115.32	c l 115s|   545 |   546 | 98746 | 174.4 |  19M|  27 |   - | 400 | 644 | 400 | 601 |   0 |  45 |1739 |-9.779887e+01 |-3.100000e+01 | 215.48%
116.15/116.25	o -32
116.15/116.25	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
116.15/116.25	c l 116s|   554 |   555 |102403 | 178.2 |  19M|  27 |   - | 400 | 646 | 400 | 601 |   0 |  47 |1739 |-9.779887e+01 |-3.200000e+01 | 205.62%
129.35/129.48	c   129s|   600 |   601 |120482 | 194.7 |  19M|  27 | 291 | 400 | 646 | 400 | 601 |   0 |  48 |1739 |-9.552041e+01 |-3.200000e+01 | 198.50%
141.24/141.32	o -33
141.24/141.32	c f 141s|   660 |   661 |140198 | 206.9 |  19M|  32 |   - | 400 | 657 | 400 | 601 |   0 |  61 |1739 |-9.409382e+01 |-3.300000e+01 | 185.13%
147.94/148.04	c   148s|   700 |   701 |151730 | 211.5 |  19M|  36 | 285 | 400 | 657 | 400 | 601 |   0 |  61 |1739 |-9.369508e+01 |-3.300000e+01 | 183.92%
166.34/166.46	c   166s|   800 |   801 |180463 | 221.0 |  19M|  41 | 303 | 400 | 657 | 400 | 601 |   0 |  63 |1768 |-9.318643e+01 |-3.300000e+01 | 182.38%
177.23/177.32	c   177s|   900 |   901 |204330 | 223.0 |  19M|  51 | 326 | 400 | 657 | 400 | 601 |   0 |  63 |1768 |-9.318643e+01 |-3.300000e+01 | 182.38%
186.13/186.20	c   186s|  1000 |  1001 |226156 | 222.5 |  19M|  53 | 176 | 400 | 657 | 400 | 601 |   0 |  64 |1768 |-9.296056e+01 |-3.300000e+01 | 181.70%
195.83/195.94	c   196s|  1100 |  1101 |250545 | 224.5 |  19M|  53 | 267 | 400 | 667 | 400 | 601 |   0 |  74 |1787 |-9.277184e+01 |-3.300000e+01 | 181.13%
205.53/205.69	c   206s|  1200 |  1201 |273696 | 225.0 |  19M|  53 | 327 | 400 | 667 | 400 | 601 |   0 |  74 |1787 |-9.228201e+01 |-3.300000e+01 | 179.64%
215.52/215.67	c   216s|  1300 |  1301 |294191 | 223.5 |  19M|  53 | 239 | 400 | 667 | 400 | 601 |   0 |  75 |1787 |-9.196358e+01 |-3.300000e+01 | 178.68%
225.22/225.33	c   225s|  1400 |  1401 |313812 | 221.6 |  19M|  53 | 251 | 400 | 667 | 400 | 601 |   0 |  76 |1812 |-9.153780e+01 |-3.300000e+01 | 177.39%
233.52/233.60	c   234s|  1500 |  1501 |335933 | 221.5 |  20M|  53 | 322 | 400 | 674 | 400 | 601 |   0 |  83 |1812 |-9.124182e+01 |-3.300000e+01 | 176.49%
242.51/242.64	c   243s|  1600 |  1601 |356333 | 220.4 |  20M|  53 | 235 | 400 | 674 | 400 | 601 |   0 |  83 |1812 |-9.099253e+01 |-3.300000e+01 | 175.73%
253.41/253.59	c   254s|  1700 |  1701 |380262 | 221.5 |  20M|  53 | 251 | 400 | 675 | 400 | 601 |   0 |  84 |1839 |-9.078470e+01 |-3.300000e+01 | 175.11%
262.61/262.75	c   263s|  1800 |  1801 |400116 | 220.3 |  20M|  53 | 309 | 400 | 674 | 400 | 601 |   0 |  84 |1840 |-9.076384e+01 |-3.300000e+01 | 175.04%
270.81/270.95	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
270.81/270.95	c   271s|  1900 |  1901 |420336 | 219.3 |  20M|  53 | 215 | 400 | 673 | 400 | 601 |   0 |  84 |1840 |-9.069626e+01 |-3.300000e+01 | 174.84%
278.71/278.81	c   279s|  2000 |  2001 |440201 | 218.3 |  20M|  53 | 268 | 400 | 677 | 400 | 601 |   0 |  90 |1840 |-9.062078e+01 |-3.300000e+01 | 174.61%
286.00/286.10	c   286s|  2100 |  2101 |462350 | 218.4 |  20M|  53 | 313 | 400 | 675 | 400 | 601 |   0 |  91 |1840 |-9.053780e+01 |-3.300000e+01 | 174.36%
291.70/291.84	c   292s|  2200 |  2201 |476333 | 214.9 |  20M|  53 | 201 | 400 | 675 | 400 | 601 |   0 |  91 |1840 |-9.044243e+01 |-3.300000e+01 | 174.07%
298.30/298.46	c   298s|  2300 |  2301 |492801 | 212.7 |  20M|  53 | 243 | 400 | 674 | 400 | 601 |   0 |  93 |1840 |-9.034597e+01 |-3.300000e+01 | 173.78%
305.30/305.45	c   305s|  2400 |  2401 |510736 | 211.3 |  20M|  56 | 298 | 400 | 674 | 400 | 601 |   0 |  93 |1840 |-9.026343e+01 |-3.300000e+01 | 173.53%
310.19/310.38	c   310s|  2500 |  2501 |527997 | 209.7 |  21M|  71 | 169 | 400 | 681 | 400 | 601 |   0 | 101 |1840 |-9.022547e+01 |-3.300000e+01 | 173.41%
315.90/316.02	c   316s|  2600 |  2601 |543812 | 207.8 |  21M|  71 | 259 | 400 | 681 | 400 | 601 |   0 | 101 |1840 |-9.015928e+01 |-3.300000e+01 | 173.21%
320.80/320.92	c   321s|  2700 |  2701 |559259 | 205.8 |  21M|  71 | 183 | 400 | 681 | 400 | 601 |   0 | 101 |1840 |-9.015553e+01 |-3.300000e+01 | 173.20%
325.60/325.71	c   326s|  2800 |  2801 |574264 | 203.8 |  21M|  71 | 259 | 400 | 681 | 400 | 601 |   0 | 102 |1840 |-8.999911e+01 |-3.300000e+01 | 172.72%
330.49/330.60	c   331s|  2900 |  2901 |589143 | 201.9 |  21M|  71 | 144 | 400 | 680 | 400 | 601 |   0 | 102 |1840 |-8.994693e+01 |-3.300000e+01 | 172.57%
335.39/335.53	c   336s|  3000 |  3001 |606442 | 200.9 |  21M|  71 | 269 | 400 | 684 | 400 | 601 |   0 | 106 |1840 |-8.990486e+01 |-3.300000e+01 | 172.44%
340.09/340.27	c   340s|  3100 |  3101 |625222 | 200.5 |  21M|  71 | 148 | 400 | 700 | 400 | 601 |   0 | 122 |1840 |-8.986579e+01 |-3.300000e+01 | 172.32%
345.39/345.57	c   346s|  3200 |  3201 |641119 | 199.2 |  21M|  71 | 258 | 400 | 700 | 400 | 601 |   0 | 123 |1840 |-8.984341e+01 |-3.300000e+01 | 172.25%
350.29/350.44	c   350s|  3300 |  3301 |658049 | 198.3 |  21M|  71 | 133 | 400 | 708 | 400 | 601 |   0 | 132 |1840 |-8.974563e+01 |-3.300000e+01 | 171.96%
354.58/354.72	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
354.58/354.72	c   355s|  3400 |  3401 |670029 | 196.0 |  22M|  71 | 256 | 400 | 708 | 400 | 601 |   0 | 132 |1840 |-8.963578e+01 |-3.300000e+01 | 171.62%
358.98/359.14	c   359s|  3500 |  3501 |685816 | 194.9 |  22M|  71 | 132 | 400 | 719 | 400 | 601 |   0 | 143 |1840 |-8.953638e+01 |-3.300000e+01 | 171.32%
363.78/363.98	c   364s|  3600 |  3601 |701507 | 193.8 |  22M|  71 | 232 | 400 | 719 | 400 | 601 |   0 | 143 |1840 |-8.940548e+01 |-3.300000e+01 | 170.93%
368.58/368.70	c   369s|  3700 |  3701 |717142 | 192.8 |  22M|  71 | 163 | 400 | 719 | 400 | 601 |   0 | 143 |1840 |-8.933172e+01 |-3.300000e+01 | 170.70%
373.18/373.32	c   373s|  3800 |  3801 |732011 | 191.7 |  22M|  71 | 233 | 400 | 718 | 400 | 601 |   0 | 143 |1840 |-8.924426e+01 |-3.300000e+01 | 170.44%
378.97/379.12	c   379s|  3900 |  3901 |749138 | 191.1 |  22M|  71 | 160 | 400 | 718 | 400 | 601 |   0 | 145 |1840 |-8.916701e+01 |-3.300000e+01 | 170.20%
383.48/383.65	c   384s|  4000 |  4001 |764919 | 190.3 |  22M|  71 | 248 | 400 | 720 | 400 | 601 |   0 | 148 |1840 |-8.909145e+01 |-3.300000e+01 | 169.97%
387.37/387.56	c   388s|  4100 |  4101 |777960 | 188.9 |  22M|  71 | 191 | 400 | 720 | 400 | 601 |   0 | 148 |1840 |-8.905358e+01 |-3.300000e+01 | 169.86%
392.28/392.45	c   392s|  4200 |  4201 |792933 | 187.9 |  22M|  71 | 249 | 400 | 719 | 400 | 601 |   0 | 148 |1854 |-8.900178e+01 |-3.300000e+01 | 169.70%
397.47/397.69	c   398s|  4300 |  4301 |811344 | 187.8 |  23M|  71 | 140 | 400 | 727 | 400 | 601 |   0 | 156 |1854 |-8.896288e+01 |-3.300000e+01 | 169.58%
401.88/402.03	c   402s|  4400 |  4401 |824769 | 186.6 |  23M|  71 | 254 | 400 | 727 | 400 | 601 |   0 | 156 |1854 |-8.890295e+01 |-3.300000e+01 | 169.40%
406.67/406.81	c   407s|  4500 |  4501 |838247 | 185.5 |  23M|  71 | 150 | 400 | 727 | 400 | 601 |   0 | 156 |1868 |-8.878109e+01 |-3.300000e+01 | 169.03%
411.07/411.22	c   411s|  4600 |  4601 |852982 | 184.6 |  23M|  71 | 260 | 400 | 727 | 400 | 601 |   0 | 156 |1868 |-8.872857e+01 |-3.300000e+01 | 168.87%
415.47/415.66	c   416s|  4700 |  4701 |868398 | 184.0 |  23M|  71 | 139 | 400 | 730 | 400 | 601 |   0 | 159 |1868 |-8.869625e+01 |-3.300000e+01 | 168.78%
420.66/420.88	c   421s|  4800 |  4801 |886332 | 183.9 |  23M|  71 | 247 | 400 | 732 | 400 | 601 |   0 | 161 |1884 |-8.862022e+01 |-3.300000e+01 | 168.55%
424.86/425.03	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
424.86/425.03	c   425s|  4900 |  4901 |899487 | 182.8 |  23M|  71 | 181 | 400 | 732 | 400 | 601 |   0 | 161 |1884 |-8.858301e+01 |-3.300000e+01 | 168.43%
429.27/429.41	c   429s|  5000 |  5001 |913625 | 182.0 |  23M|  71 | 265 | 400 | 732 | 400 | 601 |   0 | 161 |1884 |-8.847592e+01 |-3.300000e+01 | 168.11%
435.16/435.35	c   435s|  5100 |  5101 |930618 | 181.8 |  23M|  71 | 159 | 400 | 744 | 400 | 601 |   0 | 173 |1904 |-8.847290e+01 |-3.300000e+01 | 168.10%
439.77/439.92	c   440s|  5200 |  5201 |946828 | 181.4 |  24M|  71 | 256 | 400 | 761 | 400 | 601 |   0 | 190 |1904 |-8.843781e+01 |-3.300000e+01 | 167.99%
443.66/443.87	c   444s|  5300 |  5301 |962069 | 180.8 |  24M|  71 | 175 | 400 | 761 | 400 | 601 |   0 | 192 |1904 |-8.842513e+01 |-3.300000e+01 | 167.95%
448.46/448.65	c   449s|  5400 |  5401 |976064 | 180.1 |  24M|  71 | 255 | 400 | 761 | 400 | 601 |   0 | 192 |1914 |-8.831205e+01 |-3.300000e+01 | 167.61%
452.76/452.97	c   453s|  5500 |  5501 |989510 | 179.2 |  24M|  71 | 183 | 400 | 765 | 400 | 601 |   0 | 198 |1925 |-8.826094e+01 |-3.300000e+01 | 167.46%
456.96/457.13	c   457s|  5600 |  5601 |  1002k| 178.4 |  24M|  71 | 249 | 400 | 765 | 400 | 601 |   0 | 198 |1925 |-8.821282e+01 |-3.300000e+01 | 167.31%
460.86/461.01	c   461s|  5700 |  5701 |  1015k| 177.4 |  24M|  71 | 169 | 400 | 764 | 400 | 601 |   0 | 198 |1925 |-8.820326e+01 |-3.300000e+01 | 167.28%
466.55/466.71	c   467s|  5800 |  5801 |  1030k| 177.0 |  24M|  71 | 251 | 400 | 764 | 400 | 601 |   0 | 198 |1946 |-8.816239e+01 |-3.300000e+01 | 167.16%
471.06/471.25	c   471s|  5900 |  5901 |  1045k| 176.7 |  24M|  71 | 164 | 400 | 770 | 400 | 601 |   0 | 204 |1946 |-8.813410e+01 |-3.300000e+01 | 167.07%
475.36/475.56	c   476s|  6000 |  6001 |  1060k| 176.1 |  24M|  71 | 251 | 400 | 770 | 400 | 601 |   0 | 204 |1946 |-8.812133e+01 |-3.300000e+01 | 167.03%
480.65/480.85	c   481s|  6100 |  6101 |  1074k| 175.6 |  25M|  71 | 153 | 400 | 770 | 400 | 601 |   0 | 204 |1971 |-8.810511e+01 |-3.300000e+01 | 166.99%
484.55/484.71	c   485s|  6200 |  6201 |  1086k| 174.7 |  25M|  71 | 246 | 400 | 769 | 400 | 601 |   0 | 204 |1977 |-8.805941e+01 |-3.300000e+01 | 166.85%
488.55/488.70	c   489s|  6300 |  6301 |  1102k| 174.4 |  25M|  71 | 149 | 400 | 775 | 400 | 601 |   0 | 210 |1977 |-8.805380e+01 |-3.300000e+01 | 166.83%
492.74/492.95	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
492.74/492.95	c   493s|  6400 |  6401 |  1116k| 173.8 |  25M|  71 | 220 | 400 | 775 | 400 | 601 |   0 | 210 |1977 |-8.801181e+01 |-3.300000e+01 | 166.70%
497.84/498.03	c   498s|  6500 |  6501 |  1129k| 173.2 |  25M|  71 | 142 | 400 | 775 | 400 | 601 |   0 | 210 |2009 |-8.799652e+01 |-3.300000e+01 | 166.66%
502.25/502.47	c   502s|  6600 |  6601 |  1145k| 173.0 |  25M|  71 | 240 | 400 | 775 | 400 | 601 |   0 | 213 |2011 |-8.794965e+01 |-3.300000e+01 | 166.51%
506.14/506.30	c   506s|  6700 |  6701 |  1157k| 172.2 |  25M|  71 | 169 | 400 | 775 | 400 | 601 |   0 | 214 |2012 |-8.794428e+01 |-3.300000e+01 | 166.50%
510.64/510.85	c   511s|  6800 |  6801 |  1175k| 172.4 |  25M|  71 | 257 | 400 | 782 | 400 | 601 |   0 | 221 |2012 |-8.790799e+01 |-3.300000e+01 | 166.39%
515.15/515.35	c   515s|  6900 |  6901 |  1188k| 171.6 |  25M|  71 | 170 | 400 | 782 | 400 | 601 |   0 | 221 |2043 |-8.789708e+01 |-3.300000e+01 | 166.35%
519.24/519.48	c   519s|  7000 |  7001 |  1200k| 171.0 |  26M|  71 | 208 | 400 | 782 | 400 | 601 |   0 | 221 |2043 |-8.787881e+01 |-3.300000e+01 | 166.30%
523.84/524.03	c   524s|  7100 |  7101 |  1218k| 171.1 |  26M|  71 | 140 | 400 | 782 | 400 | 601 |   0 | 221 |2043 |-8.785547e+01 |-3.300000e+01 | 166.23%
528.74/528.96	c   529s|  7200 |  7201 |  1232k| 170.7 |  26M|  71 | 245 | 400 | 794 | 400 | 601 |   0 | 233 |2071 |-8.778211e+01 |-3.300000e+01 | 166.01%
532.64/532.83	c   533s|  7300 |  7301 |  1244k| 170.0 |  26M|  80 | 160 | 400 | 794 | 400 | 601 |   0 | 233 |2075 |-8.776208e+01 |-3.300000e+01 | 165.95%
536.24/536.43	c   536s|  7400 |  7401 |  1257k| 169.4 |  26M|  84 | 108 | 400 | 794 | 400 | 601 |   0 | 233 |2075 |-8.773437e+01 |-3.300000e+01 | 165.86%
538.85/539.01	c   539s|  7500 |  7501 |  1267k| 168.4 |  26M|  92 | 195 | 400 | 794 | 400 | 601 |   0 | 233 |2075 |-8.773358e+01 |-3.300000e+01 | 165.86%
541.44/541.67	c   542s|  7600 |  7601 |  1281k| 168.1 |  26M|  97 | 137 | 400 | 794 | 400 | 601 |   0 | 233 |2075 |-8.773358e+01 |-3.300000e+01 | 165.86%
544.83/545.03	c   545s|  7700 |  7701 |  1291k| 167.2 |  26M|  99 | 184 | 400 | 796 | 400 | 601 |   0 | 235 |2102 |-8.773358e+01 |-3.300000e+01 | 165.86%
547.23/547.40	c   547s|  7800 |  7801 |  1301k| 166.4 |  26M| 102 | 108 | 400 | 796 | 400 | 601 |   0 | 235 |2103 |-8.771967e+01 |-3.300000e+01 | 165.82%
550.23/550.47	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
550.23/550.47	c   550s|  7900 |  7901 |  1314k| 165.9 |  27M| 102 | 123 | 400 | 796 | 400 | 601 |   0 | 235 |2103 |-8.771967e+01 |-3.300000e+01 | 165.82%
552.83/553.09	c   553s|  8000 |  8001 |  1324k| 165.1 |  27M| 104 | 323 | 400 | 796 | 400 | 601 |   0 | 236 |2103 |-8.769662e+01 |-3.300000e+01 | 165.75%
556.93/557.15	c   557s|  8100 |  8101 |  1339k| 164.9 |  27M| 104 | 295 | 400 | 800 | 400 | 601 |   0 | 240 |2124 |-8.769421e+01 |-3.300000e+01 | 165.74%
560.13/560.30	c   560s|  8200 |  8201 |  1351k| 164.4 |  27M| 104 | 271 | 400 | 799 | 400 | 601 |   0 | 240 |2128 |-8.768329e+01 |-3.300000e+01 | 165.71%
562.83/563.10	c   563s|  8300 |  8301 |  1363k| 163.8 |  27M| 106 | 232 | 400 | 799 | 400 | 601 |   0 | 240 |2129 |-8.768277e+01 |-3.300000e+01 | 165.71%
565.83/566.00	c   566s|  8400 |  8401 |  1376k| 163.4 |  27M| 108 | 226 | 400 | 808 | 400 | 601 |   0 | 249 |2129 |-8.767210e+01 |-3.300000e+01 | 165.67%
569.93/570.10	c   570s|  8500 |  8501 |  1387k| 162.9 |  27M| 108 | 208 | 400 | 808 | 400 | 601 |   0 | 249 |2160 |-8.766632e+01 |-3.300000e+01 | 165.66%
572.94/573.13	c   573s|  8600 |  8601 |  1401k| 162.5 |  27M| 108 | 150 | 400 | 809 | 400 | 601 |   0 | 250 |2160 |-8.765293e+01 |-3.300000e+01 | 165.61%
575.73/575.98	c   576s|  8700 |  8701 |  1414k| 162.2 |  27M| 108 | 147 | 400 | 809 | 400 | 601 |   0 | 250 |2160 |-8.765293e+01 |-3.300000e+01 | 165.61%
578.93/579.17	c   579s|  8800 |  8801 |  1427k| 161.8 |  28M| 108 | 111 | 400 | 815 | 400 | 601 |   0 | 256 |2176 |-8.765188e+01 |-3.300000e+01 | 165.61%
583.02/583.22	c   583s|  8900 |  8901 |  1440k| 161.4 |  28M| 108 | 122 | 400 | 814 | 400 | 601 |   0 | 257 |2202 |-8.764469e+01 |-3.300000e+01 | 165.59%
586.04/586.26	c   586s|  9000 |  9001 |  1454k| 161.2 |  28M| 108 |  99 | 400 | 812 | 400 | 601 |   0 | 257 |2202 |-8.764469e+01 |-3.300000e+01 | 165.59%
588.72/588.90	c   589s|  9100 |  9101 |  1465k| 160.6 |  28M| 108 | 316 | 400 | 812 | 400 | 601 |   0 | 259 |2203 |-8.761333e+01 |-3.300000e+01 | 165.49%
591.42/591.66	c   592s|  9200 |  9201 |  1476k| 160.1 |  28M| 108 | 286 | 400 | 813 | 400 | 601 |   0 | 263 |2203 |-8.760610e+01 |-3.300000e+01 | 165.47%
595.42/595.60	c   596s|  9300 |  9301 |  1488k| 159.7 |  28M| 108 | 261 | 400 | 807 | 400 | 601 |   0 | 263 |2236 |-8.760196e+01 |-3.300000e+01 | 165.46%
598.62/598.88	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
598.62/598.88	c   599s|  9400 |  9401 |  1500k| 159.3 |  28M| 108 | 251 | 400 | 807 | 400 | 601 |   0 | 263 |2241 |-8.758983e+01 |-3.300000e+01 | 165.42%
601.72/601.94	c   602s|  9500 |  9501 |  1516k| 159.2 |  28M| 108 | 222 | 400 | 825 | 400 | 601 |   0 | 281 |2241 |-8.755602e+01 |-3.300000e+01 | 165.32%
605.12/605.33	c   605s|  9600 |  9601 |  1529k| 159.0 |  29M| 108 | 196 | 400 | 832 | 400 | 601 |   0 | 288 |2252 |-8.753536e+01 |-3.300000e+01 | 165.26%
609.51/609.74	c   610s|  9700 |  9701 |  1547k| 159.1 |  29M| 108 | 158 | 400 | 840 | 400 | 601 |   0 | 297 |2283 |-8.752693e+01 |-3.300000e+01 | 165.23%
612.92/613.16	c   613s|  9800 |  9801 |  1560k| 158.9 |  29M| 108 | 175 | 400 | 838 | 400 | 601 |   0 | 297 |2286 |-8.751188e+01 |-3.300000e+01 | 165.19%
616.12/616.32	c   616s|  9900 |  9901 |  1574k| 158.7 |  29M| 108 | 120 | 400 | 838 | 400 | 601 |   0 | 297 |2286 |-8.750672e+01 |-3.300000e+01 | 165.17%
619.31/619.52	c   620s| 10000 | 10001 |  1589k| 158.6 |  29M| 108 | 123 | 400 | 854 | 400 | 601 |   0 | 313 |2286 |-8.750489e+01 |-3.300000e+01 | 165.17%
624.01/624.26	c   624s| 10100 | 10101 |  1601k| 158.2 |  29M| 108 | 115 | 400 | 853 | 400 | 601 |   0 | 313 |2329 |-8.750489e+01 |-3.300000e+01 | 165.17%
627.01/627.23	c   627s| 10200 | 10201 |  1614k| 157.9 |  29M| 108 | 318 | 400 | 853 | 400 | 601 |   0 | 313 |2330 |-8.746627e+01 |-3.300000e+01 | 165.05%
629.82/630.07	c   630s| 10300 | 10301 |  1627k| 157.6 |  29M| 108 | 299 | 400 | 858 | 400 | 601 |   0 | 318 |2330 |-8.746110e+01 |-3.300000e+01 | 165.03%
632.91/633.10	c   633s| 10400 | 10401 |  1638k| 157.2 |  30M| 108 | 275 | 400 | 858 | 400 | 601 |   0 | 318 |2330 |-8.744960e+01 |-3.300000e+01 | 165.00%
636.02/636.28	c   636s| 10500 | 10501 |  1650k| 156.9 |  30M| 108 | 230 | 400 | 858 | 400 | 601 |   0 | 319 |2348 |-8.743861e+01 |-3.300000e+01 | 164.97%
639.62/639.87	c   640s| 10600 | 10601 |  1663k| 156.6 |  30M| 108 | 203 | 400 | 857 | 400 | 601 |   0 | 319 |2365 |-8.743416e+01 |-3.300000e+01 | 164.95%
642.91/643.17	c   643s| 10700 | 10701 |  1676k| 156.4 |  30M| 108 | 162 | 400 | 862 | 400 | 601 |   0 | 324 |2372 |-8.743173e+01 |-3.300000e+01 | 164.94%
645.91/646.15	c   646s| 10800 | 10801 |  1690k| 156.2 |  30M| 108 | 178 | 400 | 862 | 400 | 601 |   0 | 325 |2372 |-8.742823e+01 |-3.300000e+01 | 164.93%
648.81/649.03	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
648.81/649.03	c   649s| 10900 | 10901 |  1702k| 155.9 |  30M| 108 | 151 | 400 | 861 | 400 | 601 |   0 | 326 |2372 |-8.740580e+01 |-3.300000e+01 | 164.87%
652.81/653.09	c   653s| 11000 | 11001 |  1716k| 155.7 |  30M| 108 | 149 | 400 | 869 | 400 | 601 |   0 | 334 |2418 |-8.739555e+01 |-3.300000e+01 | 164.83%
655.60/655.83	c   656s| 11100 | 11101 |  1727k| 155.3 |  30M| 108 | 116 | 400 | 869 | 400 | 601 |   0 | 335 |2420 |-8.739414e+01 |-3.300000e+01 | 164.83%
658.20/658.44	c   658s| 11200 | 11201 |  1739k| 155.0 |  30M| 108 | 118 | 400 | 874 | 400 | 601 |   0 | 341 |2421 |-8.739414e+01 |-3.300000e+01 | 164.83%
661.40/661.68	c   662s| 11300 | 11301 |  1755k| 155.0 |  31M| 108 | 328 | 400 | 874 | 400 | 601 |   0 | 341 |2427 |-8.737050e+01 |-3.300000e+01 | 164.76%
664.21/664.45	c   664s| 11400 | 11401 |  1766k| 154.6 |  31M| 108 | 306 | 400 | 882 | 400 | 601 |   0 | 349 |2427 |-8.736290e+01 |-3.300000e+01 | 164.74%
667.70/667.95	c   668s| 11500 | 11501 |  1778k| 154.3 |  31M| 108 | 267 | 400 | 881 | 400 | 601 |   0 | 350 |2465 |-8.735680e+01 |-3.300000e+01 | 164.72%
670.71/670.94	c   671s| 11600 | 11601 |  1790k| 154.0 |  31M| 108 | 253 | 400 | 880 | 400 | 601 |   0 | 350 |2471 |-8.735181e+01 |-3.300000e+01 | 164.70%
673.80/674.04	c   674s| 11700 | 11701 |  1802k| 153.8 |  31M| 108 | 211 | 400 | 879 | 400 | 601 |   0 | 350 |2472 |-8.733865e+01 |-3.300000e+01 | 164.66%
676.21/676.47	c   676s| 11800 | 11801 |  1813k| 153.4 |  31M| 108 | 191 | 400 | 881 | 400 | 601 |   0 | 352 |2472 |-8.730783e+01 |-3.300000e+01 | 164.57%
679.30/679.57	c   680s| 11900 | 11901 |  1825k| 153.1 |  31M| 108 | 196 | 400 | 881 | 400 | 601 |   0 | 352 |2483 |-8.729114e+01 |-3.300000e+01 | 164.52%
683.40/683.68	c   684s| 12000 | 12001 |  1839k| 153.0 |  31M| 108 | 173 | 400 | 879 | 400 | 601 |   0 | 353 |2514 |-8.728424e+01 |-3.300000e+01 | 164.50%
686.30/686.52	c   687s| 12100 | 12101 |  1851k| 152.7 |  32M| 108 | 138 | 400 | 888 | 400 | 601 |   0 | 362 |2516 |-8.728208e+01 |-3.300000e+01 | 164.49%
688.60/688.88	c   689s| 12200 | 12201 |  1860k| 152.2 |  32M| 108 | 127 | 400 | 888 | 400 | 601 |   0 | 362 |2516 |-8.727825e+01 |-3.300000e+01 | 164.48%
691.40/691.63	c   692s| 12300 | 12301 |  1872k| 151.9 |  32M| 108 | 125 | 400 | 888 | 400 | 601 |   0 | 362 |2516 |-8.727825e+01 |-3.300000e+01 | 164.48%
694.10/694.30	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
694.10/694.30	c   694s| 12400 | 12401 |  1885k| 151.8 |  32M| 108 | 332 | 400 | 888 | 400 | 601 |   0 | 363 |2521 |-8.727031e+01 |-3.300000e+01 | 164.46%
697.90/698.10	c   698s| 12500 | 12501 |  1898k| 151.6 |  32M| 108 | 282 | 400 | 892 | 400 | 601 |   0 | 367 |2558 |-8.725853e+01 |-3.300000e+01 | 164.42%
700.69/700.91	c   701s| 12600 | 12601 |  1911k| 151.4 |  32M| 108 | 255 | 400 | 891 | 400 | 601 |   0 | 368 |2559 |-8.725554e+01 |-3.300000e+01 | 164.41%
703.19/703.41	c   703s| 12700 | 12701 |  1922k| 151.1 |  32M| 108 | 255 | 400 | 886 | 400 | 601 |   0 | 368 |2559 |-8.724488e+01 |-3.300000e+01 | 164.38%
706.09/706.37	c   706s| 12800 | 12801 |  1937k| 151.1 |  32M| 108 | 218 | 400 | 886 | 400 | 601 |   0 | 369 |2559 |-8.723116e+01 |-3.300000e+01 | 164.34%
709.20/709.44	c   709s| 12900 | 12901 |  1948k| 150.8 |  32M| 108 | 174 | 400 | 885 | 400 | 601 |   0 | 369 |2576 |-8.722965e+01 |-3.300000e+01 | 164.33%
713.39/713.64	c   714s| 13000 | 13001 |  1962k| 150.6 |  33M| 108 | 190 | 400 | 884 | 400 | 601 |   0 | 370 |2612 |-8.721958e+01 |-3.300000e+01 | 164.30%
716.49/716.72	c   717s| 13100 | 13101 |  1977k| 150.7 |  33M| 108 | 129 | 400 | 901 | 400 | 601 |   0 | 387 |2617 |-8.720891e+01 |-3.300000e+01 | 164.27%
719.29/719.56	c   720s| 13200 | 13201 |  1989k| 150.5 |  33M| 108 | 151 | 400 | 900 | 400 | 601 |   0 | 388 |2618 |-8.717126e+01 |-3.300000e+01 | 164.16%
722.09/722.31	c   722s| 13300 | 13301 |  2002k| 150.3 |  33M| 108 | 127 | 400 | 899 | 400 | 601 |   0 | 388 |2618 |-8.715969e+01 |-3.300000e+01 | 164.12%
724.89/725.18	c   725s| 13400 | 13401 |  2015k| 150.2 |  33M| 108 |  95 | 400 | 902 | 400 | 601 |   0 | 391 |2629 |-8.715969e+01 |-3.300000e+01 | 164.12%
728.19/728.41	c   728s| 13500 | 13501 |  2025k| 149.8 |  33M| 108 | 329 | 400 | 902 | 400 | 601 |   0 | 391 |2657 |-8.715712e+01 |-3.300000e+01 | 164.11%
730.88/731.18	c   731s| 13600 | 13601 |  2036k| 149.5 |  33M| 108 | 286 | 400 | 901 | 400 | 601 |   0 | 391 |2670 |-8.712834e+01 |-3.300000e+01 | 164.03%
733.58/733.83	c   734s| 13700 | 13701 |  2048k| 149.3 |  33M| 108 | 266 | 400 | 914 | 400 | 601 |   0 | 406 |2672 |-8.711711e+01 |-3.300000e+01 | 163.99%
736.09/736.38	c   736s| 13800 | 13801 |  2059k| 149.0 |  34M| 108 | 229 | 400 | 913 | 400 | 601 |   0 | 406 |2672 |-8.711143e+01 |-3.300000e+01 | 163.97%
738.78/739.07	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
738.78/739.07	c   739s| 13900 | 13901 |  2073k| 148.9 |  34M| 108 | 204 | 400 | 911 | 400 | 601 |   0 | 406 |2672 |-8.710335e+01 |-3.300000e+01 | 163.95%
742.19/742.47	c   742s| 14000 | 14001 |  2084k| 148.6 |  34M| 108 | 205 | 400 | 911 | 400 | 601 |   0 | 406 |2690 |-8.709665e+01 |-3.300000e+01 | 163.93%
745.29/745.58	c   746s| 14100 | 14101 |  2095k| 148.4 |  34M| 108 | 163 | 400 | 919 | 400 | 601 |   0 | 415 |2715 |-8.706721e+01 |-3.300000e+01 | 163.84%
748.68/748.96	c   749s| 14200 | 14201 |  2107k| 148.2 |  34M| 108 | 137 | 400 | 919 | 400 | 601 |   0 | 415 |2726 |-8.705711e+01 |-3.300000e+01 | 163.81%
751.68/751.90	c   752s| 14300 | 14301 |  2119k| 148.0 |  34M| 108 | 114 | 400 | 918 | 400 | 601 |   0 | 415 |2726 |-8.705148e+01 |-3.300000e+01 | 163.79%
754.78/755.04	c   755s| 14400 | 14401 |  2133k| 147.9 |  34M| 108 | 102 | 400 | 916 | 400 | 601 |   0 | 415 |2730 |-8.705103e+01 |-3.300000e+01 | 163.79%
757.69/757.91	c   758s| 14500 | 14501 |  2147k| 147.9 |  34M| 108 | 115 | 400 | 917 | 400 | 601 |   0 | 417 |2730 |-8.705103e+01 |-3.300000e+01 | 163.79%
761.07/761.31	c   761s| 14600 | 14601 |  2159k| 147.7 |  35M| 108 | 308 | 400 | 915 | 400 | 601 |   0 | 417 |2760 |-8.704342e+01 |-3.300000e+01 | 163.77%
764.37/764.68	c   765s| 14700 | 14701 |  2171k| 147.5 |  35M| 108 | 305 | 400 | 914 | 400 | 601 |   0 | 417 |2775 |-8.703979e+01 |-3.300000e+01 | 163.76%
767.48/767.71	c   768s| 14800 | 14801 |  2187k| 147.5 |  35M| 108 | 269 | 400 | 931 | 400 | 601 |   0 | 434 |2776 |-8.703862e+01 |-3.300000e+01 | 163.75%
770.07/770.38	c   770s| 14900 | 14901 |  2198k| 147.3 |  35M| 108 | 246 | 400 | 931 | 400 | 601 |   0 | 434 |2777 |-8.703130e+01 |-3.300000e+01 | 163.73%
772.87/773.18	c   773s| 15000 | 15001 |  2209k| 147.1 |  35M| 108 | 210 | 400 | 931 | 400 | 601 |   0 | 436 |2777 |-8.703092e+01 |-3.300000e+01 | 163.73%
776.07/776.31	c   776s| 15100 | 15101 |  2221k| 146.9 |  35M| 108 | 177 | 400 | 930 | 400 | 601 |   0 | 436 |2792 |-8.699208e+01 |-3.300000e+01 | 163.61%
779.37/779.65	c   780s| 15200 | 15201 |  2232k| 146.6 |  35M| 108 | 145 | 400 | 937 | 400 | 601 |   0 | 443 |2820 |-8.699123e+01 |-3.300000e+01 | 163.61%
782.07/782.39	c   782s| 15300 | 15301 |  2242k| 146.3 |  35M| 108 | 149 | 400 | 937 | 400 | 601 |   0 | 444 |2829 |-8.698635e+01 |-3.300000e+01 | 163.59%
784.57/784.86	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
784.57/784.86	c   785s| 15400 | 15401 |  2253k| 146.1 |  35M| 108 | 129 | 400 | 934 | 400 | 601 |   0 | 444 |2830 |-8.698232e+01 |-3.300000e+01 | 163.58%
787.27/787.52	c   788s| 15500 | 15501 |  2266k| 146.0 |  36M| 108 | 148 | 400 | 934 | 400 | 601 |   0 | 444 |2830 |-8.698159e+01 |-3.300000e+01 | 163.58%
790.17/790.42	c   790s| 15600 | 15601 |  2278k| 145.8 |  36M| 108 | 118 | 400 | 939 | 400 | 601 |   0 | 449 |2830 |-8.698159e+01 |-3.300000e+01 | 163.58%
792.97/793.26	c   793s| 15700 | 15701 |  2289k| 145.6 |  36M| 108 | 309 | 400 | 938 | 400 | 601 |   0 | 449 |2843 |-8.698042e+01 |-3.300000e+01 | 163.58%
796.08/796.37	c   796s| 15800 | 15801 |  2300k| 145.3 |  36M| 108 | 298 | 400 | 937 | 400 | 601 |   0 | 450 |2861 |-8.696967e+01 |-3.300000e+01 | 163.54%
799.66/799.98	c   800s| 15900 | 15901 |  2314k| 145.3 |  36M| 108 | 272 | 400 | 936 | 400 | 601 |   0 | 450 |2881 |-8.696565e+01 |-3.300000e+01 | 163.53%
803.17/803.44	c   803s| 16000 | 16001 |  2334k| 145.7 |  36M| 108 | 232 | 400 | 938 | 400 | 601 |   0 | 455 |2885 |-8.696321e+01 |-3.300000e+01 | 163.52%
805.97/806.22	c   806s| 16100 | 16101 |  2348k| 145.7 |  36M| 108 | 201 | 400 | 938 | 400 | 601 |   0 | 457 |2885 |-8.695035e+01 |-3.300000e+01 | 163.49%
808.46/808.70	c   809s| 16200 | 16201 |  2359k| 145.4 |  36M| 108 | 200 | 400 | 937 | 400 | 601 |   0 | 457 |2885 |-8.694385e+01 |-3.300000e+01 | 163.47%
810.86/811.10	c   811s| 16300 | 16301 |  2369k| 145.2 |  37M| 108 | 172 | 400 | 937 | 400 | 601 |   0 | 459 |2885 |-8.694166e+01 |-3.300000e+01 | 163.46%
813.67/813.96	c   814s| 16400 | 16401 |  2380k| 144.9 |  37M| 108 | 161 | 400 | 941 | 400 | 601 |   0 | 464 |2911 |-8.691062e+01 |-3.300000e+01 | 163.37%
816.97/817.21	c   817s| 16500 | 16501 |  2392k| 144.8 |  37M| 108 | 141 | 400 | 938 | 400 | 601 |   0 | 464 |2922 |-8.690722e+01 |-3.300000e+01 | 163.36%
819.86/820.12	c   820s| 16600 | 16601 |  2406k| 144.8 |  37M| 108 | 128 | 400 | 935 | 400 | 601 |   0 | 464 |2924 |-8.689368e+01 |-3.300000e+01 | 163.31%
822.87/823.13	c   823s| 16700 | 16701 |  2421k| 144.8 |  37M| 108 | 122 | 400 | 939 | 400 | 601 |   0 | 474 |2924 |-8.689368e+01 |-3.300000e+01 | 163.31%
825.57/825.81	c   826s| 16800 | 16801 |  2432k| 144.6 |  37M| 108 | 305 | 400 | 938 | 400 | 601 |   0 | 475 |2924 |-8.688467e+01 |-3.300000e+01 | 163.29%
828.76/829.01	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
828.76/829.01	c   829s| 16900 | 16901 |  2443k| 144.4 |  37M| 108 | 277 | 400 | 937 | 400 | 601 |   0 | 475 |2941 |-8.688135e+01 |-3.300000e+01 | 163.28%
832.16/832.49	c   832s| 17000 | 17001 |  2455k| 144.2 |  37M| 108 | 261 | 400 | 935 | 400 | 601 |   0 | 475 |2965 |-8.687340e+01 |-3.300000e+01 | 163.25%
835.56/835.85	c   836s| 17100 | 17101 |  2468k| 144.2 |  37M| 108 | 255 | 400 | 945 | 400 | 601 |   0 | 486 |2971 |-8.686401e+01 |-3.300000e+01 | 163.22%
838.16/838.42	c   838s| 17200 | 17201 |  2481k| 144.1 |  38M| 108 | 195 | 400 | 966 | 400 | 601 |   0 | 512 |2971 |-8.686322e+01 |-3.300000e+01 | 163.22%
841.16/841.42	c   841s| 17300 | 17301 |  2494k| 144.0 |  38M| 108 | 205 | 400 | 978 | 400 | 601 |   0 | 526 |2975 |-8.683274e+01 |-3.300000e+01 | 163.13%
844.16/844.47	c   844s| 17400 | 17401 |  2510k| 144.1 |  38M| 108 | 169 | 400 | 997 | 400 | 601 |   0 | 546 |2978 |-8.682084e+01 |-3.300000e+01 | 163.09%
847.06/847.30	c   847s| 17500 | 17501 |  2522k| 143.9 |  38M| 108 | 147 | 400 | 997 | 400 | 601 |   0 | 547 |2990 |-8.682064e+01 |-3.300000e+01 | 163.09%
850.35/850.67	c   851s| 17600 | 17601 |  2535k| 143.9 |  38M| 108 | 140 | 400 | 996 | 400 | 601 |   0 | 547 |3011 |-8.679312e+01 |-3.300000e+01 | 163.01%
854.25/854.60	c   855s| 17700 | 17701 |  2548k| 143.8 |  38M| 108 | 122 | 400 |1002 | 400 | 601 |   0 | 556 |3028 |-8.678820e+01 |-3.300000e+01 | 162.99%
857.25/857.52	c   858s| 17800 | 17801 |  2562k| 143.7 |  38M| 108 | 121 | 400 |1006 | 400 | 601 |   0 | 560 |3028 |-8.678820e+01 |-3.300000e+01 | 162.99%
860.35/860.69	c   861s| 17900 | 17901 |  2573k| 143.6 |  38M| 108 | 319 | 400 |1004 | 400 | 601 |   0 | 560 |3036 |-8.676534e+01 |-3.300000e+01 | 162.93%
863.34/863.69	c   864s| 18000 | 18001 |  2587k| 143.5 |  39M| 108 | 309 | 400 |1003 | 400 | 601 |   0 | 560 |3036 |-8.676143e+01 |-3.300000e+01 | 162.91%
865.85/866.19	c   866s| 18100 | 18101 |  2598k| 143.4 |  39M| 108 | 257 | 400 |1005 | 400 | 601 |   0 | 564 |3036 |-8.674774e+01 |-3.300000e+01 | 162.87%
869.55/869.85	c   870s| 18200 | 18201 |  2612k| 143.3 |  39M| 108 | 233 | 400 |1005 | 400 | 601 |   0 | 567 |3064 |-8.674543e+01 |-3.300000e+01 | 162.86%
873.35/873.69	c   874s| 18300 | 18301 |  2624k| 143.2 |  39M| 108 | 195 | 400 |1000 | 400 | 601 |   0 | 567 |3085 |-8.673906e+01 |-3.300000e+01 | 162.85%
876.15/876.47	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
876.15/876.47	c   876s| 18400 | 18401 |  2638k| 143.2 |  39M| 108 | 170 | 400 | 998 | 400 | 601 |   0 | 570 |3085 |-8.671566e+01 |-3.300000e+01 | 162.77%
878.65/878.90	c   879s| 18500 | 18501 |  2648k| 142.9 |  39M| 108 | 162 | 400 | 997 | 400 | 601 |   0 | 570 |3086 |-8.670316e+01 |-3.300000e+01 | 162.74%
881.04/881.38	c   881s| 18600 | 18601 |  2658k| 142.7 |  39M| 108 | 145 | 400 | 997 | 400 | 601 |   0 | 570 |3089 |-8.667711e+01 |-3.300000e+01 | 162.66%
883.45/883.75	c   884s| 18700 | 18701 |  2669k| 142.5 |  39M| 108 | 123 | 400 | 996 | 400 | 601 |   0 | 570 |3089 |-8.667476e+01 |-3.300000e+01 | 162.65%
886.64/886.98	c   887s| 18800 | 18801 |  2682k| 142.5 |  40M| 108 | 103 | 400 |1004 | 400 | 601 |   0 | 580 |3106 |-8.667182e+01 |-3.300000e+01 | 162.64%
889.95/890.20	c   890s| 18900 | 18901 |  2694k| 142.4 |  40M| 108 | 118 | 400 |1002 | 400 | 601 |   0 | 580 |3130 |-8.667182e+01 |-3.300000e+01 | 162.64%
892.74/893.07	c   893s| 19000 | 19001 |  2706k| 142.3 |  40M| 108 | 317 | 400 | 999 | 400 | 601 |   0 | 580 |3134 |-8.665616e+01 |-3.300000e+01 | 162.59%
895.64/895.94	c   896s| 19100 | 19101 |  2717k| 142.1 |  40M| 108 | 288 | 400 |1005 | 400 | 601 |   0 | 586 |3140 |-8.664741e+01 |-3.300000e+01 | 162.57%
898.44/898.72	c   899s| 19200 | 19201 |  2729k| 142.0 |  40M| 108 | 237 | 400 |1001 | 400 | 601 |   0 | 586 |3142 |-8.664513e+01 |-3.300000e+01 | 162.56%
901.24/901.55	c   902s| 19300 | 19301 |  2740k| 141.8 |  40M| 108 | 257 | 400 | 999 | 400 | 601 |   0 | 586 |3142 |-8.664415e+01 |-3.300000e+01 | 162.56%
904.34/904.65	c   905s| 19400 | 19401 |  2752k| 141.7 |  40M| 108 | 219 | 400 | 998 | 400 | 601 |   0 | 586 |3156 |-8.662554e+01 |-3.300000e+01 | 162.50%
907.15/907.48	c   907s| 19500 | 19501 |  2766k| 141.7 |  40M| 108 | 208 | 400 |1001 | 400 | 601 |   0 | 592 |3165 |-8.661550e+01 |-3.300000e+01 | 162.47%
910.64/910.95	c   911s| 19600 | 19601 |  2778k| 141.6 |  41M| 108 | 125 | 400 |1001 | 400 | 601 |   0 | 592 |3183 |-8.660408e+01 |-3.300000e+01 | 162.44%
913.23/913.52	c   914s| 19700 | 19701 |  2789k| 141.4 |  41M| 108 | 153 | 400 |1000 | 400 | 601 |   0 | 592 |3185 |-8.659509e+01 |-3.300000e+01 | 162.41%
916.13/916.41	c   916s| 19800 | 19801 |  2803k| 141.4 |  41M| 108 | 104 | 400 |1000 | 400 | 601 |   0 | 593 |3185 |-8.658711e+01 |-3.300000e+01 | 162.39%
919.24/919.53	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
919.24/919.53	c   920s| 19900 | 19901 |  2820k| 141.6 |  41M| 108 |  97 | 400 | 999 | 400 | 601 |   0 | 594 |3185 |-8.657016e+01 |-3.300000e+01 | 162.33%
922.34/922.60	c   923s| 20000 | 20001 |  2834k| 141.5 |  41M| 108 | 104 | 400 | 999 | 400 | 601 |   0 | 595 |3189 |-8.657016e+01 |-3.300000e+01 | 162.33%
926.34/926.60	c   927s| 20100 | 20101 |  2846k| 141.4 |  41M| 108 | 321 | 400 | 995 | 400 | 601 |   0 | 595 |3225 |-8.656533e+01 |-3.300000e+01 | 162.32%
929.33/929.61	c   930s| 20200 | 20201 |  2858k| 141.3 |  41M| 108 | 285 | 400 | 991 | 400 | 601 |   0 | 595 |3236 |-8.656477e+01 |-3.300000e+01 | 162.32%
932.13/932.49	c   932s| 20300 | 20301 |  2870k| 141.2 |  41M| 108 | 241 | 400 | 995 | 400 | 601 |   0 | 601 |3241 |-8.654485e+01 |-3.300000e+01 | 162.26%
934.83/935.12	c   935s| 20400 | 20401 |  2882k| 141.1 |  42M| 108 | 226 | 400 | 995 | 400 | 601 |   0 | 602 |3243 |-8.653828e+01 |-3.300000e+01 | 162.24%
937.53/937.87	c   938s| 20500 | 20501 |  2894k| 141.0 |  42M| 108 | 190 | 400 | 994 | 400 | 601 |   0 | 602 |3243 |-8.653169e+01 |-3.300000e+01 | 162.22%
940.24/940.57	c   941s| 20600 | 20601 |  2908k| 141.0 |  42M| 108 | 160 | 400 | 991 | 400 | 601 |   0 | 605 |3243 |-8.653169e+01 |-3.300000e+01 | 162.22%
943.54/943.82	c   944s| 20700 | 20701 |  2921k| 141.0 |  42M| 108 | 149 | 400 | 997 | 400 | 601 |   0 | 612 |3253 |-8.653140e+01 |-3.300000e+01 | 162.22%
946.83/947.15	c   947s| 20800 | 20801 |  2932k| 140.8 |  42M| 108 | 129 | 400 | 993 | 400 | 601 |   0 | 612 |3284 |-8.652176e+01 |-3.300000e+01 | 162.19%
949.42/949.75	c   950s| 20900 | 20901 |  2942k| 140.6 |  42M| 108 | 113 | 400 | 990 | 400 | 601 |   0 | 613 |3291 |-8.651088e+01 |-3.300000e+01 | 162.15%
952.24/952.55	c   953s| 21000 | 21001 |  2954k| 140.5 |  42M| 108 | 123 | 400 | 998 | 400 | 601 |   0 | 622 |3297 |-8.650838e+01 |-3.300000e+01 | 162.15%
955.13/955.43	c   955s| 21100 | 21101 |  2967k| 140.5 |  42M| 108 | 104 | 400 | 995 | 400 | 601 |   0 | 622 |3299 |-8.650838e+01 |-3.300000e+01 | 162.15%
957.93/958.22	c   958s| 21200 | 21201 |  2981k| 140.5 |  42M| 108 | 317 | 400 | 988 | 400 | 601 |   0 | 622 |3299 |-8.650195e+01 |-3.300000e+01 | 162.13%
960.43/960.75	c   961s| 21300 | 21301 |  2993k| 140.4 |  43M| 108 | 305 | 400 | 986 | 400 | 601 |   0 | 627 |3299 |-8.649642e+01 |-3.300000e+01 | 162.11%
963.92/964.25	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
963.92/964.25	c   964s| 21400 | 21401 |  3006k| 140.3 |  43M| 108 | 272 | 400 | 984 | 400 | 601 |   0 | 628 |3313 |-8.648914e+01 |-3.300000e+01 | 162.09%
966.72/967.01	c   967s| 21500 | 21501 |  3016k| 140.1 |  43M| 108 | 214 | 400 | 981 | 400 | 601 |   0 | 628 |3330 |-8.647714e+01 |-3.300000e+01 | 162.05%
970.02/970.37	c   970s| 21600 | 21601 |  3030k| 140.1 |  43M| 108 | 225 | 400 | 979 | 400 | 601 |   0 | 628 |3343 |-8.647204e+01 |-3.300000e+01 | 162.04%
972.82/973.14	c   973s| 21700 | 21701 |  3041k| 140.0 |  43M| 108 | 196 | 400 | 976 | 400 | 601 |   0 | 628 |3344 |-8.647028e+01 |-3.300000e+01 | 162.03%
975.62/975.95	c   976s| 21800 | 21801 |  3053k| 139.9 |  43M| 108 | 176 | 400 | 976 | 400 | 601 |   0 | 631 |3348 |-8.646575e+01 |-3.300000e+01 | 162.02%
978.22/978.51	c   979s| 21900 | 21901 |  3065k| 139.8 |  43M| 108 | 127 | 400 | 976 | 400 | 601 |   0 | 631 |3348 |-8.645512e+01 |-3.300000e+01 | 161.99%
981.11/981.46	c   981s| 22000 | 22001 |  3077k| 139.7 |  43M| 108 | 114 | 400 | 975 | 400 | 601 |   0 | 631 |3349 |-8.644944e+01 |-3.300000e+01 | 161.97%
983.91/984.29	c   984s| 22100 | 22101 |  3090k| 139.7 |  44M| 108 | 109 | 400 | 978 | 400 | 601 |   0 | 635 |3367 |-8.644249e+01 |-3.300000e+01 | 161.95%
986.72/987.08	c   987s| 22200 | 22201 |  3103k| 139.6 |  44M| 108 | 115 | 400 | 974 | 400 | 601 |   0 | 636 |3376 |-8.644249e+01 |-3.300000e+01 | 161.95%
990.41/990.75	c   991s| 22300 | 22301 |  3115k| 139.5 |  44M| 108 | 318 | 400 | 973 | 400 | 601 |   0 | 636 |3390 |-8.643090e+01 |-3.300000e+01 | 161.91%
993.21/993.57	c   994s| 22400 | 22401 |  3126k| 139.4 |  44M| 108 | 283 | 400 | 971 | 400 | 601 |   0 | 637 |3391 |-8.641904e+01 |-3.300000e+01 | 161.88%
995.51/995.89	c   996s| 22500 | 22501 |  3137k| 139.3 |  44M| 108 | 246 | 400 | 969 | 400 | 601 |   0 | 637 |3391 |-8.641801e+01 |-3.300000e+01 | 161.87%
998.21/998.50	c   999s| 22600 | 22601 |  3148k| 139.1 |  44M| 108 | 225 | 400 | 972 | 400 | 601 |   0 | 643 |3391 |-8.641711e+01 |-3.300000e+01 | 161.87%
1000.51/1000.87	c  1001s| 22700 | 22701 |  3159k| 139.0 |  44M| 108 | 226 | 400 | 969 | 400 | 601 |   0 | 643 |3392 |-8.641153e+01 |-3.300000e+01 | 161.85%
1003.41/1003.73	c  1004s| 22800 | 22801 |  3172k| 139.0 |  44M| 108 | 148 | 400 | 965 | 400 | 601 |   0 | 643 |3405 |-8.640683e+01 |-3.300000e+01 | 161.84%
1006.51/1006.87	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1006.51/1006.87	c  1007s| 22900 | 22901 |  3184k| 138.9 |  45M| 108 | 185 | 400 | 961 | 400 | 601 |   0 | 645 |3422 |-8.640276e+01 |-3.300000e+01 | 161.83%
1009.71/1010.06	c  1010s| 23000 | 23001 |  3201k| 139.0 |  45M| 108 | 155 | 400 | 965 | 400 | 601 |   0 | 652 |3429 |-8.636977e+01 |-3.300000e+01 | 161.73%
1012.91/1013.20	c  1013s| 23100 | 23101 |  3215k| 139.0 |  45M| 108 | 140 | 400 | 963 | 400 | 601 |   0 | 652 |3429 |-8.636976e+01 |-3.300000e+01 | 161.73%
1015.31/1015.67	c  1016s| 23200 | 23201 |  3225k| 138.9 |  45M| 108 | 121 | 400 | 963 | 400 | 601 |   0 | 652 |3429 |-8.636688e+01 |-3.300000e+01 | 161.72%
1018.21/1018.53	c  1019s| 23300 | 23301 |  3239k| 138.9 |  45M| 108 | 104 | 400 | 963 | 400 | 601 |   0 | 652 |3429 |-8.636688e+01 |-3.300000e+01 | 161.72%
1020.71/1021.06	c  1021s| 23400 | 23401 |  3251k| 138.8 |  45M| 108 | 317 | 400 | 966 | 400 | 601 |   0 | 656 |3429 |-8.636017e+01 |-3.300000e+01 | 161.70%
1023.61/1023.99	c  1024s| 23500 | 23501 |  3262k| 138.7 |  45M| 108 | 293 | 400 | 965 | 400 | 601 |   0 | 656 |3449 |-8.635678e+01 |-3.300000e+01 | 161.69%
1026.81/1027.19	c  1027s| 23600 | 23601 |  3274k| 138.6 |  45M| 108 | 259 | 400 | 964 | 400 | 601 |   0 | 656 |3465 |-8.635551e+01 |-3.300000e+01 | 161.68%
1029.70/1030.08	c  1030s| 23700 | 23701 |  3286k| 138.5 |  45M| 108 | 201 | 400 | 968 | 400 | 601 |   0 | 661 |3470 |-8.635014e+01 |-3.300000e+01 | 161.67%
1032.71/1033.04	c  1033s| 23800 | 23801 |  3298k| 138.4 |  46M| 108 | 206 | 400 | 964 | 400 | 601 |   0 | 661 |3476 |-8.634840e+01 |-3.300000e+01 | 161.66%
1035.71/1036.01	c  1036s| 23900 | 23901 |  3315k| 138.6 |  46M| 108 | 164 | 400 | 960 | 400 | 601 |   0 | 661 |3476 |-8.634143e+01 |-3.300000e+01 | 161.64%
1038.41/1038.79	c  1039s| 24000 | 24001 |  3332k| 138.7 |  46M| 108 | 160 | 400 | 956 | 400 | 601 |   0 | 661 |3476 |-8.633412e+01 |-3.300000e+01 | 161.62%
1041.31/1041.64	c  1042s| 24100 | 24101 |  3344k| 138.6 |  46M| 108 | 149 | 400 | 956 | 400 | 601 |   0 | 665 |3484 |-8.631874e+01 |-3.300000e+01 | 161.57%
1044.51/1044.84	c  1045s| 24200 | 24201 |  3356k| 138.5 |  46M| 108 | 127 | 400 | 952 | 400 | 601 |   0 | 665 |3504 |-8.630935e+01 |-3.300000e+01 | 161.54%
1048.31/1048.65	c  1049s| 24300 | 24301 |  3369k| 138.5 |  46M| 108 | 117 | 400 | 951 | 400 | 601 |   0 | 665 |3522 |-8.629622e+01 |-3.300000e+01 | 161.50%
1051.10/1051.48	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1051.10/1051.48	c  1051s| 24400 | 24401 |  3380k| 138.4 |  46M| 108 |  99 | 400 | 949 | 400 | 601 |   0 | 665 |3525 |-8.629622e+01 |-3.300000e+01 | 161.50%
1053.60/1053.98	c  1054s| 24500 | 24501 |  3392k| 138.3 |  46M| 108 | 315 | 400 | 948 | 400 | 601 |   0 | 665 |3526 |-8.628850e+01 |-3.300000e+01 | 161.48%
1056.00/1056.36	c  1056s| 24600 | 24601 |  3404k| 138.2 |  47M| 108 | 287 | 400 | 964 | 400 | 601 |   0 | 685 |3526 |-8.628112e+01 |-3.300000e+01 | 161.46%
1059.41/1059.77	c  1060s| 24700 | 24701 |  3421k| 138.4 |  47M| 108 | 229 | 400 | 963 | 400 | 601 |   0 | 685 |3531 |-8.626997e+01 |-3.300000e+01 | 161.42%
1062.10/1062.41	c  1062s| 24800 | 24801 |  3435k| 138.4 |  47M| 108 | 191 | 400 | 965 | 400 | 601 |   0 | 690 |3531 |-8.626775e+01 |-3.300000e+01 | 161.42%
1065.71/1066.05	c  1066s| 24900 | 24901 |  3451k| 138.5 |  47M| 108 | 201 | 400 | 972 | 400 | 601 |   0 | 697 |3544 |-8.626228e+01 |-3.300000e+01 | 161.40%
1069.30/1069.61	c  1070s| 25000 | 25001 |  3469k| 138.6 |  47M| 108 | 195 | 400 | 971 | 400 | 601 |   0 | 699 |3563 |-8.626162e+01 |-3.300000e+01 | 161.40%
1072.00/1072.36	c  1072s| 25100 | 25101 |  3480k| 138.5 |  47M| 108 | 176 | 400 | 970 | 400 | 601 |   0 | 699 |3573 |-8.624591e+01 |-3.300000e+01 | 161.35%
1074.50/1074.86	c  1075s| 25200 | 25201 |  3492k| 138.5 |  47M| 108 | 132 | 400 | 970 | 400 | 601 |   0 | 702 |3574 |-8.624008e+01 |-3.300000e+01 | 161.33%
1077.00/1077.37	c  1077s| 25300 | 25301 |  3507k| 138.5 |  47M| 108 | 124 | 400 | 970 | 400 | 601 |   0 | 703 |3574 |-8.623058e+01 |-3.300000e+01 | 161.30%
1079.40/1079.77	c  1080s| 25400 | 25401 |  3518k| 138.4 |  48M| 108 | 104 | 400 | 967 | 400 | 601 |   0 | 703 |3574 |-8.622198e+01 |-3.300000e+01 | 161.28%
1081.90/1082.29	c  1082s| 25500 | 25501 |  3528k| 138.2 |  48M| 108 | 130 | 400 | 966 | 400 | 601 |   0 | 705 |3574 |-8.622198e+01 |-3.300000e+01 | 161.28%
1085.10/1085.42	c  1085s| 25600 | 25601 |  3540k| 138.2 |  48M| 108 | 317 | 400 | 965 | 400 | 601 |   0 | 705 |3592 |-8.621954e+01 |-3.300000e+01 | 161.27%
1087.70/1088.02	c  1088s| 25700 | 25701 |  3552k| 138.1 |  48M| 108 | 283 | 400 | 963 | 400 | 601 |   0 | 705 |3611 |-8.621226e+01 |-3.300000e+01 | 161.25%
1090.40/1090.78	c  1091s| 25800 | 25801 |  3564k| 138.0 |  48M| 108 | 254 | 400 | 961 | 400 | 601 |   0 | 705 |3614 |-8.621222e+01 |-3.300000e+01 | 161.25%
1093.20/1093.55	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1093.20/1093.55	c  1094s| 25900 | 25901 |  3576k| 138.0 |  48M| 108 | 212 | 400 | 968 | 400 | 601 |   0 | 716 |3619 |-8.621104e+01 |-3.300000e+01 | 161.25%
1095.90/1096.27	c  1096s| 26000 | 26001 |  3587k| 137.8 |  48M| 108 | 224 | 400 | 967 | 400 | 601 |   0 | 716 |3628 |-8.620463e+01 |-3.300000e+01 | 161.23%
1098.70/1099.05	c  1099s| 26100 | 26101 |  3601k| 137.9 |  48M| 108 | 190 | 400 | 973 | 400 | 601 |   0 | 725 |3628 |-8.620093e+01 |-3.300000e+01 | 161.21%
1101.81/1102.18	c  1102s| 26200 | 26201 |  3614k| 137.8 |  49M| 108 | 157 | 400 | 971 | 400 | 601 |   0 | 725 |3628 |-8.620078e+01 |-3.300000e+01 | 161.21%
1104.60/1104.96	c  1105s| 26300 | 26301 |  3627k| 137.8 |  49M| 108 | 164 | 400 | 970 | 400 | 601 |   0 | 725 |3636 |-8.619398e+01 |-3.300000e+01 | 161.19%
1107.90/1108.21	c  1108s| 26400 | 26401 |  3639k| 137.7 |  49M| 108 | 109 | 400 | 970 | 400 | 601 |   0 | 725 |3656 |-8.618898e+01 |-3.300000e+01 | 161.18%
1110.99/1111.31	c  1111s| 26500 | 26501 |  3650k| 137.6 |  49M| 108 | 111 | 400 | 975 | 400 | 601 |   0 | 733 |3670 |-8.617029e+01 |-3.300000e+01 | 161.12%
1114.00/1114.30	c  1114s| 26600 | 26601 |  3666k| 137.7 |  49M| 108 | 108 | 400 | 974 | 400 | 601 |   0 | 733 |3672 |-8.617029e+01 |-3.300000e+01 | 161.12%
1116.39/1116.79	c  1117s| 26700 | 26701 |  3677k| 137.6 |  49M| 108 | 319 | 400 | 973 | 400 | 601 |   0 | 734 |3673 |-8.616338e+01 |-3.300000e+01 | 161.10%
1119.29/1119.62	c  1120s| 26800 | 26801 |  3688k| 137.5 |  49M| 108 | 278 | 400 | 982 | 400 | 601 |   0 | 743 |3677 |-8.616048e+01 |-3.300000e+01 | 161.09%
1121.99/1122.33	c  1122s| 26900 | 26901 |  3701k| 137.5 |  49M| 108 | 272 | 400 |1003 | 400 | 601 |   0 | 765 |3677 |-8.615514e+01 |-3.300000e+01 | 161.08%
1124.90/1125.26	c  1125s| 27000 | 27001 |  3714k| 137.4 |  50M| 108 | 241 | 400 |1000 | 400 | 601 |   0 | 765 |3677 |-8.615012e+01 |-3.300000e+01 | 161.06%
1127.99/1128.32	c  1128s| 27100 | 27101 |  3727k| 137.4 |  50M| 108 | 185 | 400 |1008 | 400 | 601 |   0 | 774 |3697 |-8.613491e+01 |-3.300000e+01 | 161.01%
1131.40/1131.76	c  1132s| 27200 | 27201 |  3740k| 137.4 |  50M| 108 | 169 | 400 |1008 | 400 | 601 |   0 | 774 |3714 |-8.612712e+01 |-3.300000e+01 | 160.99%
1134.00/1134.35	c  1134s| 27300 | 27301 |  3752k| 137.3 |  50M| 108 | 143 | 400 |1004 | 400 | 601 |   0 | 774 |3717 |-8.612353e+01 |-3.300000e+01 | 160.98%
1136.69/1137.02	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1136.69/1137.02	c  1137s| 27400 | 27401 |  3765k| 137.3 |  50M| 108 | 163 | 400 |1016 | 400 | 601 |   0 | 788 |3717 |-8.612261e+01 |-3.300000e+01 | 160.98%
1139.59/1139.94	c  1140s| 27500 | 27501 |  3780k| 137.3 |  50M| 108 | 118 | 400 |1036 | 400 | 601 |   0 | 811 |3721 |-8.611991e+01 |-3.300000e+01 | 160.97%
1142.29/1142.67	c  1143s| 27600 | 27601 |  3792k| 137.3 |  50M| 108 | 137 | 400 |1035 | 400 | 601 |   0 | 814 |3721 |-8.611964e+01 |-3.300000e+01 | 160.97%
1145.59/1145.90	c  1146s| 27700 | 27701 |  3807k| 137.3 |  50M| 108 |  95 | 400 |1027 | 400 | 601 |   0 | 814 |3721 |-8.611964e+01 |-3.300000e+01 | 160.97%
1149.19/1149.56	c  1150s| 27800 | 27801 |  3818k| 137.2 |  51M| 108 | 316 | 400 |1023 | 400 | 601 |   0 | 814 |3746 |-8.611632e+01 |-3.300000e+01 | 160.96%
1151.59/1151.99	c  1152s| 27900 | 27901 |  3830k| 137.2 |  51M| 108 | 282 | 400 |1032 | 400 | 601 |   0 | 824 |3756 |-8.610730e+01 |-3.300000e+01 | 160.93%
1154.19/1154.58	c  1155s| 28000 | 28001 |  3841k| 137.0 |  51M| 108 | 253 | 400 |1027 | 400 | 601 |   0 | 824 |3765 |-8.610232e+01 |-3.300000e+01 | 160.92%
1156.89/1157.22	c  1157s| 28100 | 28101 |  3852k| 137.0 |  51M| 108 | 232 | 400 |1027 | 400 | 601 |   0 | 825 |3765 |-8.608731e+01 |-3.300000e+01 | 160.87%
1159.89/1160.24	c  1160s| 28200 | 28201 |  3864k| 136.9 |  51M| 108 | 235 | 400 |1024 | 400 | 601 |   0 | 826 |3765 |-8.608551e+01 |-3.300000e+01 | 160.87%
1162.40/1162.71	c  1163s| 28300 | 28301 |  3875k| 136.8 |  51M| 108 | 156 | 400 |1019 | 400 | 601 |   0 | 827 |3765 |-8.608267e+01 |-3.300000e+01 | 160.86%
1164.99/1165.30	c  1165s| 28400 | 28401 |  3890k| 136.9 |  51M| 108 | 142 | 400 |1025 | 400 | 601 |   0 | 835 |3766 |-8.608148e+01 |-3.300000e+01 | 160.85%
1168.49/1168.84	c  1169s| 28500 | 28501 |  3902k| 136.8 |  51M| 108 | 132 | 400 |1024 | 400 | 601 |   0 | 835 |3784 |-8.607769e+01 |-3.300000e+01 | 160.84%
1171.58/1171.98	c  1172s| 28600 | 28601 |  3915k| 136.8 |  52M| 108 | 117 | 400 |1027 | 400 | 601 |   0 | 839 |3791 |-8.607479e+01 |-3.300000e+01 | 160.83%
1174.18/1174.56	c  1175s| 28700 | 28701 |  3927k| 136.7 |  52M| 108 | 112 | 400 |1025 | 400 | 601 |   0 | 840 |3795 |-8.607000e+01 |-3.300000e+01 | 160.82%
1177.28/1177.61	c  1178s| 28800 | 28801 |  3940k| 136.7 |  52M| 108 | 116 | 400 |1022 | 400 | 601 |   0 | 840 |3796 |-8.607000e+01 |-3.300000e+01 | 160.82%
1179.68/1180.01	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1179.68/1180.01	c  1180s| 28900 | 28901 |  3951k| 136.6 |  52M| 108 | 306 | 400 |1016 | 400 | 601 |   0 | 840 |3796 |-8.606875e+01 |-3.300000e+01 | 160.81%
1182.99/1183.34	c  1183s| 29000 | 29001 |  3965k| 136.6 |  52M| 108 | 295 | 400 |1015 | 400 | 601 |   0 | 845 |3796 |-8.606259e+01 |-3.300000e+01 | 160.80%
1185.79/1186.10	c  1186s| 29100 | 29101 |  3978k| 136.6 |  52M| 108 | 280 | 400 |1012 | 400 | 601 |   0 | 845 |3796 |-8.605966e+01 |-3.300000e+01 | 160.79%
1188.98/1189.39	c  1189s| 29200 | 29201 |  3991k| 136.6 |  52M| 108 | 208 | 400 |1011 | 400 | 601 |   0 | 845 |3817 |-8.605774e+01 |-3.300000e+01 | 160.78%
1193.09/1193.42	c  1193s| 29300 | 29301 |  4003k| 136.5 |  52M| 108 | 186 | 400 |1009 | 400 | 601 |   0 | 846 |3851 |-8.605410e+01 |-3.300000e+01 | 160.77%
1195.78/1196.13	c  1196s| 29400 | 29401 |  4016k| 136.5 |  52M| 108 | 176 | 400 |1012 | 400 | 601 |   0 | 854 |3851 |-8.605252e+01 |-3.300000e+01 | 160.77%
1198.88/1199.23	c  1199s| 29500 | 29501 |  4029k| 136.5 |  53M| 108 | 140 | 400 |1012 | 400 | 601 |   0 | 854 |3858 |-8.604463e+01 |-3.300000e+01 | 160.74%
1201.48/1201.88	c  1202s| 29600 | 29601 |  4042k| 136.4 |  53M| 108 | 151 | 400 |1005 | 400 | 601 |   0 | 854 |3858 |-8.603506e+01 |-3.300000e+01 | 160.71%
1204.48/1204.85	c  1205s| 29700 | 29701 |  4054k| 136.4 |  53M| 108 | 116 | 400 |1002 | 400 | 601 |   0 | 854 |3862 |-8.602302e+01 |-3.300000e+01 | 160.68%
1207.78/1208.16	c  1208s| 29800 | 29801 |  4072k| 136.5 |  53M| 108 |  99 | 400 | 996 | 400 | 601 |   0 | 854 |3862 |-8.601511e+01 |-3.300000e+01 | 160.65%
1210.28/1210.66	c  1211s| 29900 | 29901 |  4085k| 136.5 |  53M| 108 | 107 | 400 | 993 | 400 | 601 |   0 | 855 |3862 |-8.601511e+01 |-3.300000e+01 | 160.65%
1212.78/1213.19	c  1213s| 30000 | 30001 |  4096k| 136.4 |  53M| 108 | 308 | 400 | 988 | 400 | 601 |   0 | 857 |3871 |-8.599494e+01 |-3.300000e+01 | 160.59%
1216.28/1216.65	c  1217s| 30100 | 30101 |  4108k| 136.4 |  53M| 108 | 293 | 400 | 984 | 400 | 601 |   0 | 857 |3894 |-8.598602e+01 |-3.300000e+01 | 160.56%
1219.38/1219.74	c  1220s| 30200 | 30201 |  4120k| 136.3 |  53M| 108 | 270 | 400 | 979 | 400 | 601 |   0 | 857 |3898 |-8.598435e+01 |-3.300000e+01 | 160.56%
1222.57/1222.96	c  1223s| 30300 | 30301 |  4133k| 136.3 |  54M| 108 | 221 | 400 | 992 | 400 | 601 |   0 | 873 |3901 |-8.598182e+01 |-3.300000e+01 | 160.55%
1225.08/1225.49	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1225.08/1225.49	c  1225s| 30400 | 30401 |  4144k| 136.2 |  54M| 108 | 177 | 400 | 988 | 400 | 601 |   0 | 873 |3901 |-8.597657e+01 |-3.300000e+01 | 160.54%
1227.97/1228.39	c  1228s| 30500 | 30501 |  4162k| 136.4 |  54M| 108 | 157 | 400 | 984 | 400 | 601 |   0 | 873 |3901 |-8.596802e+01 |-3.300000e+01 | 160.51%
1230.67/1231.05	c  1231s| 30600 | 30601 |  4174k| 136.3 |  54M| 108 | 152 | 400 | 980 | 400 | 601 |   0 | 873 |3902 |-8.596762e+01 |-3.300000e+01 | 160.51%
1233.27/1233.69	c  1234s| 30700 | 30701 |  4186k| 136.3 |  54M| 108 | 122 | 400 | 972 | 400 | 601 |   0 | 873 |3902 |-8.595552e+01 |-3.300000e+01 | 160.47%
1236.57/1236.90	c  1237s| 30800 | 30801 |  4199k| 136.2 |  54M| 108 | 132 | 400 | 973 | 400 | 601 |   0 | 875 |3925 |-8.595442e+01 |-3.300000e+01 | 160.47%
1239.67/1240.06	c  1240s| 30900 | 30901 |  4213k| 136.2 |  54M| 108 | 102 | 400 | 970 | 400 | 601 |   0 | 875 |3933 |-8.594078e+01 |-3.300000e+01 | 160.43%
1242.47/1242.89	c  1243s| 31000 | 31001 |  4225k| 136.2 |  54M| 108 | 131 | 400 | 966 | 400 | 601 |   0 | 875 |3933 |-8.594078e+01 |-3.300000e+01 | 160.43%
1245.37/1245.71	c  1246s| 31100 | 31101 |  4238k| 136.2 |  55M| 108 | 319 | 400 | 968 | 400 | 601 |   0 | 878 |3935 |-8.593890e+01 |-3.300000e+01 | 160.42%
1247.97/1248.40	c  1248s| 31200 | 31201 |  4250k| 136.1 |  55M| 108 | 283 | 400 | 966 | 400 | 601 |   0 | 878 |3935 |-8.593286e+01 |-3.300000e+01 | 160.40%
1250.18/1250.55	c  1251s| 31300 | 31301 |  4260k| 136.0 |  55M| 108 | 242 | 400 | 964 | 400 | 601 |   0 | 878 |3937 |-8.592378e+01 |-3.300000e+01 | 160.38%
1252.77/1253.15	c  1253s| 31400 | 31401 |  4273k| 136.0 |  55M| 108 | 205 | 400 | 966 | 400 | 601 |   0 | 886 |3943 |-8.592150e+01 |-3.300000e+01 | 160.37%
1255.57/1255.93	c  1256s| 31500 | 31501 |  4287k| 136.0 |  55M| 108 | 189 | 400 | 963 | 400 | 601 |   0 | 887 |3959 |-8.590913e+01 |-3.300000e+01 | 160.33%
1258.97/1259.40	c  1259s| 31600 | 31601 |  4299k| 136.0 |  55M| 108 | 169 | 400 | 959 | 400 | 601 |   0 | 887 |3972 |-8.590432e+01 |-3.300000e+01 | 160.32%
1261.97/1262.37	c  1262s| 31700 | 31701 |  4312k| 135.9 |  55M| 108 | 179 | 400 | 959 | 400 | 601 |   0 | 890 |3972 |-8.590415e+01 |-3.300000e+01 | 160.32%
1265.07/1265.48	c  1265s| 31800 | 31801 |  4325k| 135.9 |  55M| 108 | 166 | 400 | 957 | 400 | 601 |   0 | 890 |3975 |-8.590368e+01 |-3.300000e+01 | 160.31%
1267.57/1267.92	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1267.57/1267.92	c  1268s| 31900 | 31901 |  4337k| 135.8 |  56M| 108 | 105 | 400 | 956 | 400 | 601 |   0 | 890 |3975 |-8.589494e+01 |-3.300000e+01 | 160.29%
1269.77/1270.14	c  1270s| 32000 | 32001 |  4347k| 135.7 |  56M| 108 | 104 | 400 | 954 | 400 | 601 |   0 | 891 |3975 |-8.589236e+01 |-3.300000e+01 | 160.28%
1272.27/1272.62	c  1273s| 32100 | 32101 |  4362k| 135.8 |  56M| 108 | 105 | 400 | 953 | 400 | 601 |   0 | 893 |3975 |-8.589236e+01 |-3.300000e+01 | 160.28%
1275.37/1275.76	c  1276s| 32200 | 32201 |  4374k| 135.7 |  56M| 108 | 317 | 400 | 951 | 400 | 601 |   0 | 893 |3993 |-8.588548e+01 |-3.300000e+01 | 160.26%
1278.16/1278.52	c  1279s| 32300 | 32301 |  4387k| 135.7 |  56M| 108 | 281 | 400 | 951 | 400 | 601 |   0 | 893 |3998 |-8.587856e+01 |-3.300000e+01 | 160.24%
1280.47/1280.80	c  1281s| 32400 | 32401 |  4398k| 135.6 |  56M| 108 | 230 | 400 | 951 | 400 | 601 |   0 | 895 |3998 |-8.586872e+01 |-3.300000e+01 | 160.21%
1286.46/1286.84	c  1287s| 32500 | 32501 |  4410k| 135.6 |  56M| 108 | 231 | 400 | 949 | 400 | 601 |   0 | 895 |3999 |-8.586698e+01 |-3.300000e+01 | 160.20%
1289.36/1289.76	c  1290s| 32600 | 32601 |  4422k| 135.5 |  56M| 108 | 224 | 400 | 949 | 400 | 601 |   0 | 895 |3999 |-8.586624e+01 |-3.300000e+01 | 160.20%
1291.96/1292.31	c  1292s| 32700 | 32701 |  4433k| 135.5 |  56M| 108 | 161 | 400 | 948 | 400 | 601 |   0 | 895 |4002 |-8.586006e+01 |-3.300000e+01 | 160.18%
1294.37/1294.78	c  1295s| 32800 | 32801 |  4444k| 135.4 |  57M| 108 | 152 | 400 | 952 | 400 | 601 |   0 | 901 |4002 |-8.585153e+01 |-3.300000e+01 | 160.16%
1297.57/1297.97	c  1298s| 32900 | 32901 |  4457k| 135.4 |  57M| 108 | 127 | 400 | 948 | 400 | 601 |   0 | 901 |4026 |-8.585042e+01 |-3.300000e+01 | 160.15%
1300.16/1300.55	c  1301s| 33000 | 33001 |  4468k| 135.3 |  57M| 108 | 115 | 400 | 947 | 400 | 601 |   0 | 902 |4031 |-8.584326e+01 |-3.300000e+01 | 160.13%
1302.76/1303.10	c  1303s| 33100 | 33101 |  4481k| 135.3 |  57M| 108 | 119 | 400 | 961 | 400 | 601 |   0 | 918 |4032 |-8.584326e+01 |-3.300000e+01 | 160.13%
1305.06/1305.47	c  1305s| 33200 | 33201 |  4495k| 135.3 |  57M| 108 | 105 | 400 | 961 | 400 | 601 |   0 | 918 |4032 |-8.584326e+01 |-3.300000e+01 | 160.13%
1307.66/1308.09	c  1308s| 33300 | 33301 |  4507k| 135.2 |  57M| 108 | 321 | 400 | 957 | 400 | 601 |   0 | 918 |4032 |-8.583567e+01 |-3.300000e+01 | 160.11%
1310.16/1310.55	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1310.16/1310.55	c  1311s| 33400 | 33401 |  4518k| 135.2 |  57M| 108 | 283 | 400 | 958 | 400 | 601 |   0 | 924 |4032 |-8.582112e+01 |-3.300000e+01 | 160.06%
1312.46/1312.86	c  1313s| 33500 | 33501 |  4528k| 135.1 |  57M| 108 | 257 | 400 | 956 | 400 | 601 |   0 | 924 |4032 |-8.581245e+01 |-3.300000e+01 | 160.04%
1315.96/1316.31	c  1316s| 33600 | 33601 |  4539k| 135.0 |  58M| 108 | 188 | 400 | 954 | 400 | 601 |   0 | 925 |4055 |-8.580929e+01 |-3.300000e+01 | 160.03%
1318.47/1318.82	c  1319s| 33700 | 33701 |  4550k| 134.9 |  58M| 108 | 183 | 400 | 950 | 400 | 601 |   0 | 925 |4059 |-8.580409e+01 |-3.300000e+01 | 160.01%
1321.06/1321.48	c  1321s| 33800 | 33801 |  4562k| 134.9 |  58M| 108 | 209 | 400 | 955 | 400 | 601 |   0 | 932 |4068 |-8.579788e+01 |-3.300000e+01 | 159.99%
1323.97/1324.37	c  1324s| 33900 | 33901 |  4577k| 134.9 |  58M| 108 | 147 | 400 | 952 | 400 | 601 |   0 | 932 |4068 |-8.579529e+01 |-3.300000e+01 | 159.99%
1326.75/1327.15	c  1327s| 34000 | 34001 |  4592k| 135.0 |  58M| 108 | 159 | 400 | 956 | 400 | 601 |   0 | 937 |4069 |-8.578701e+01 |-3.300000e+01 | 159.96%
1329.15/1329.54	c  1330s| 34100 | 34101 |  4603k| 134.9 |  58M| 108 | 134 | 400 | 956 | 400 | 601 |   0 | 937 |4069 |-8.578602e+01 |-3.300000e+01 | 159.96%
1331.76/1332.18	c  1332s| 34200 | 34201 |  4614k| 134.8 |  58M| 108 | 151 | 400 | 951 | 400 | 601 |   0 | 937 |4069 |-8.578390e+01 |-3.300000e+01 | 159.95%
1334.36/1334.74	c  1335s| 34300 | 34301 |  4625k| 134.8 |  58M| 108 | 107 | 400 | 948 | 400 | 601 |   0 | 937 |4077 |-8.578390e+01 |-3.300000e+01 | 159.95%
1337.06/1337.45	c  1337s| 34400 | 34401 |  4637k| 134.7 |  59M| 108 | 315 | 400 | 944 | 400 | 601 |   0 | 937 |4082 |-8.577612e+01 |-3.300000e+01 | 159.93%
1340.36/1340.74	c  1341s| 34500 | 34501 |  4651k| 134.7 |  59M| 108 | 288 | 400 | 947 | 400 | 601 |   0 | 943 |4094 |-8.575954e+01 |-3.300000e+01 | 159.88%
1342.86/1343.29	c  1343s| 34600 | 34601 |  4663k| 134.7 |  59M| 108 | 234 | 400 | 946 | 400 | 601 |   0 | 943 |4094 |-8.575773e+01 |-3.300000e+01 | 159.87%
1345.76/1346.13	c  1346s| 34700 | 34701 |  4676k| 134.7 |  59M| 108 | 206 | 400 | 943 | 400 | 601 |   0 | 943 |4095 |-8.575147e+01 |-3.300000e+01 | 159.85%
1348.05/1348.44	c  1348s| 34800 | 34801 |  4688k| 134.6 |  59M| 108 | 174 | 400 | 942 | 400 | 601 |   0 | 946 |4095 |-8.574825e+01 |-3.300000e+01 | 159.84%
1350.56/1350.97	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1350.56/1350.97	c  1351s| 34900 | 34901 |  4701k| 134.6 |  59M| 108 | 174 | 400 | 941 | 400 | 601 |   0 | 946 |4095 |-8.574511e+01 |-3.300000e+01 | 159.83%
1352.95/1353.30	c  1353s| 35000 | 35001 |  4712k| 134.5 |  59M| 108 | 157 | 400 | 938 | 400 | 601 |   0 | 946 |4099 |-8.574265e+01 |-3.300000e+01 | 159.83%
1355.75/1356.19	c  1356s| 35100 | 35101 |  4724k| 134.5 |  59M| 108 | 171 | 400 | 941 | 400 | 601 |   0 | 952 |4114 |-8.574028e+01 |-3.300000e+01 | 159.82%
1358.66/1359.05	c  1359s| 35200 | 35201 |  4738k| 134.5 |  60M| 108 | 110 | 400 | 941 | 400 | 601 |   0 | 952 |4120 |-8.574025e+01 |-3.300000e+01 | 159.82%
1360.95/1361.34	c  1361s| 35300 | 35301 |  4749k| 134.4 |  60M| 108 | 102 | 400 | 936 | 400 | 601 |   0 | 952 |4120 |-8.573853e+01 |-3.300000e+01 | 159.81%
1363.05/1363.49	c  1363s| 35400 | 35401 |  4760k| 134.4 |  60M| 108 |  99 | 400 | 933 | 400 | 601 |   0 | 953 |4120 |-8.573853e+01 |-3.300000e+01 | 159.81%
1365.45/1365.81	c  1366s| 35500 | 35501 |  4770k| 134.3 |  60M| 108 | 318 | 400 | 932 | 400 | 601 |   0 | 953 |4124 |-8.573354e+01 |-3.300000e+01 | 159.80%
1367.95/1368.40	c  1368s| 35600 | 35601 |  4784k| 134.3 |  60M| 108 | 265 | 400 | 937 | 400 | 601 |   0 | 961 |4124 |-8.573168e+01 |-3.300000e+01 | 159.79%
1370.55/1370.93	c  1371s| 35700 | 35701 |  4796k| 134.2 |  60M| 108 | 256 | 400 | 935 | 400 | 601 |   0 | 961 |4124 |-8.572376e+01 |-3.300000e+01 | 159.77%
1373.05/1373.44	c  1373s| 35800 | 35801 |  4807k| 134.2 |  60M| 108 | 222 | 400 | 933 | 400 | 601 |   0 | 961 |4131 |-8.572100e+01 |-3.300000e+01 | 159.76%
1375.95/1376.38	c  1376s| 35900 | 35901 |  4819k| 134.1 |  60M| 108 | 190 | 400 | 930 | 400 | 601 |   0 | 961 |4143 |-8.572028e+01 |-3.300000e+01 | 159.76%
1379.25/1379.60	c  1380s| 36000 | 36001 |  4830k| 134.1 |  61M| 108 | 204 | 400 | 927 | 400 | 601 |   0 | 961 |4149 |-8.571432e+01 |-3.300000e+01 | 159.74%
1382.35/1382.73	c  1383s| 36100 | 36101 |  4848k| 134.2 |  61M| 108 | 152 | 400 | 931 | 400 | 601 |   0 | 967 |4156 |-8.570512e+01 |-3.300000e+01 | 159.71%
1385.04/1385.43	c  1385s| 36200 | 36201 |  4860k| 134.2 |  61M| 108 | 147 | 400 | 931 | 400 | 601 |   0 | 967 |4156 |-8.569671e+01 |-3.300000e+01 | 159.69%
1387.45/1387.88	c  1388s| 36300 | 36301 |  4872k| 134.1 |  61M| 108 | 132 | 400 | 929 | 400 | 601 |   0 | 967 |4156 |-8.569294e+01 |-3.300000e+01 | 159.68%
1390.05/1390.44	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1390.05/1390.44	c  1390s| 36400 | 36401 |  4884k| 134.1 |  61M| 108 | 116 | 400 | 940 | 400 | 601 |   0 | 980 |4156 |-8.569104e+01 |-3.300000e+01 | 159.67%
1392.94/1393.38	c  1393s| 36500 | 36501 |  4897k| 134.1 |  61M| 108 | 109 | 400 | 936 | 400 | 601 |   0 | 980 |4162 |-8.569104e+01 |-3.300000e+01 | 159.67%
1395.94/1396.31	c  1396s| 36600 | 36601 |  4912k| 134.1 |  61M| 108 | 325 | 400 | 939 | 400 | 601 |   0 | 989 |4174 |-8.568844e+01 |-3.300000e+01 | 159.66%
1399.35/1399.70	c  1400s| 36700 | 36701 |  4926k| 134.1 |  61M| 108 | 291 | 400 | 947 | 400 | 601 |   0 | 998 |4182 |-8.567640e+01 |-3.300000e+01 | 159.63%
1402.24/1402.69	c  1403s| 36800 | 36801 |  4937k| 134.1 |  62M| 108 | 258 | 400 | 946 | 400 | 601 |   0 | 998 |4190 |-8.567112e+01 |-3.300000e+01 | 159.61%
1404.64/1405.04	c  1405s| 36900 | 36901 |  4949k| 134.0 |  62M| 108 | 245 | 400 | 941 | 400 | 601 |   0 | 998 |4190 |-8.566150e+01 |-3.300000e+01 | 159.58%
1407.74/1408.16	c  1408s| 37000 | 37001 |  4964k| 134.1 |  62M| 108 | 204 | 400 | 945 | 400 | 601 |   0 |1002 |4193 |-8.565875e+01 |-3.300000e+01 | 159.57%
1410.24/1410.66	c  1411s| 37100 | 37101 |  4976k| 134.0 |  62M| 108 | 162 | 400 | 945 | 400 | 601 |   0 |1002 |4193 |-8.565875e+01 |-3.300000e+01 | 159.57%
1413.15/1413.51	c  1414s| 37200 | 37201 |  4989k| 134.0 |  62M| 108 | 130 | 400 | 942 | 400 | 601 |   0 |1002 |4193 |-8.564663e+01 |-3.300000e+01 | 159.54%
1416.45/1416.88	c  1417s| 37300 | 37301 |  5002k| 134.0 |  62M| 108 | 137 | 400 | 949 | 400 | 601 |   0 |1011 |4208 |-8.563789e+01 |-3.300000e+01 | 159.51%
1419.65/1420.01	c  1420s| 37400 | 37401 |  5014k| 134.0 |  62M| 108 | 125 | 400 | 949 | 400 | 601 |   0 |1011 |4222 |-8.562576e+01 |-3.300000e+01 | 159.47%
1422.34/1422.70	c  1423s| 37500 | 37501 |  5026k| 133.9 |  62M| 108 | 109 | 400 | 949 | 400 | 601 |   0 |1011 |4225 |-8.562324e+01 |-3.300000e+01 | 159.46%
1424.94/1425.38	c  1425s| 37600 | 37601 |  5041k| 134.0 |  62M| 108 |  93 | 400 | 947 | 400 | 601 |   0 |1011 |4225 |-8.562324e+01 |-3.300000e+01 | 159.46%
1427.53/1427.93	c  1428s| 37700 | 37701 |  5053k| 133.9 |  63M| 108 | 314 | 400 | 946 | 400 | 601 |   0 |1011 |4225 |-8.560976e+01 |-3.300000e+01 | 159.42%
1430.24/1430.62	c  1431s| 37800 | 37801 |  5066k| 133.9 |  63M| 108 | 278 | 400 | 949 | 400 | 601 |   0 |1014 |4228 |-8.560923e+01 |-3.300000e+01 | 159.42%
1433.34/1433.72	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1433.34/1433.72	c  1434s| 37900 | 37901 |  5082k| 134.0 |  63M| 108 | 272 | 400 | 946 | 400 | 601 |   0 |1016 |4233 |-8.560734e+01 |-3.300000e+01 | 159.42%
1435.64/1436.07	c  1436s| 38000 | 38001 |  5093k| 133.9 |  63M| 108 | 258 | 400 | 942 | 400 | 601 |   0 |1016 |4233 |-8.560031e+01 |-3.300000e+01 | 159.39%
1438.74/1439.15	c  1439s| 38100 | 38101 |  5105k| 133.9 |  63M| 108 | 196 | 400 | 946 | 400 | 601 |   0 |1021 |4246 |-8.559172e+01 |-3.300000e+01 | 159.37%
1441.83/1442.23	c  1442s| 38200 | 38201 |  5117k| 133.9 |  63M| 108 | 199 | 400 | 945 | 400 | 601 |   0 |1021 |4260 |-8.558721e+01 |-3.300000e+01 | 159.36%
1444.84/1445.27	c  1445s| 38300 | 38301 |  5130k| 133.9 |  63M| 108 | 189 | 400 | 944 | 400 | 601 |   0 |1021 |4266 |-8.558594e+01 |-3.300000e+01 | 159.35%
1447.03/1447.50	c  1447s| 38400 | 38401 |  5140k| 133.8 |  63M| 108 | 169 | 400 | 940 | 400 | 601 |   0 |1021 |4266 |-8.558152e+01 |-3.300000e+01 | 159.34%
1449.73/1450.18	c  1450s| 38500 | 38501 |  5152k| 133.7 |  64M| 108 | 140 | 400 | 941 | 400 | 601 |   0 |1026 |4266 |-8.557073e+01 |-3.300000e+01 | 159.31%
1452.64/1453.02	c  1453s| 38600 | 38601 |  5164k| 133.7 |  64M| 108 | 124 | 400 | 938 | 400 | 601 |   0 |1027 |4267 |-8.556631e+01 |-3.300000e+01 | 159.29%
1455.24/1455.69	c  1456s| 38700 | 38701 |  5178k| 133.7 |  64M| 108 | 118 | 400 | 937 | 400 | 601 |   0 |1027 |4267 |-8.556631e+01 |-3.300000e+01 | 159.29%
1457.64/1458.03	c  1458s| 38800 | 38801 |  5189k| 133.7 |  64M| 108 | 302 | 400 | 939 | 400 | 601 |   0 |1032 |4267 |-8.554810e+01 |-3.300000e+01 | 159.24%
1460.23/1460.61	c  1461s| 38900 | 38901 |  5200k| 133.6 |  64M| 108 | 269 | 400 | 936 | 400 | 601 |   0 |1032 |4282 |-8.554469e+01 |-3.300000e+01 | 159.23%
1463.44/1463.88	c  1464s| 39000 | 39001 |  5214k| 133.6 |  64M| 108 | 255 | 400 | 933 | 400 | 601 |   0 |1033 |4294 |-8.552624e+01 |-3.300000e+01 | 159.17%
1466.44/1466.86	c  1467s| 39100 | 39101 |  5227k| 133.6 |  64M| 108 | 234 | 400 | 932 | 400 | 601 |   0 |1033 |4300 |-8.552604e+01 |-3.300000e+01 | 159.17%
1468.94/1469.38	c  1469s| 39200 | 39201 |  5239k| 133.6 |  64M| 108 | 187 | 400 | 932 | 400 | 601 |   0 |1034 |4303 |-8.552592e+01 |-3.300000e+01 | 159.17%
1472.13/1472.50	c  1473s| 39300 | 39301 |  5252k| 133.6 |  65M| 108 | 165 | 400 | 935 | 400 | 601 |   0 |1038 |4313 |-8.552094e+01 |-3.300000e+01 | 159.15%
1474.43/1474.81	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1474.43/1474.81	c  1475s| 39400 | 39401 |  5263k| 133.5 |  65M| 108 | 135 | 400 | 935 | 400 | 601 |   0 |1039 |4313 |-8.551226e+01 |-3.300000e+01 | 159.13%
1476.53/1476.96	c  1477s| 39500 | 39501 |  5273k| 133.4 |  65M| 108 | 127 | 400 | 934 | 400 | 601 |   0 |1039 |4313 |-8.551048e+01 |-3.300000e+01 | 159.12%
1478.83/1479.29	c  1479s| 39600 | 39601 |  5284k| 133.3 |  65M| 108 | 141 | 400 | 937 | 400 | 601 |   0 |1045 |4313 |-8.550771e+01 |-3.300000e+01 | 159.11%
1481.83/1482.25	c  1482s| 39700 | 39701 |  5297k| 133.3 |  65M| 108 | 117 | 400 | 937 | 400 | 601 |   0 |1045 |4319 |-8.550052e+01 |-3.300000e+01 | 159.09%
1484.33/1484.70	c  1485s| 39800 | 39801 |  5308k| 133.3 |  65M| 108 |  98 | 400 | 935 | 400 | 601 |   0 |1045 |4328 |-8.550052e+01 |-3.300000e+01 | 159.09%
1487.13/1487.57	c  1488s| 39900 | 39901 |  5320k| 133.3 |  65M| 108 | 324 | 400 | 933 | 400 | 601 |   0 |1045 |4347 |-8.549839e+01 |-3.300000e+01 | 159.09%
1490.03/1490.48	c  1490s| 40000 | 40001 |  5334k| 133.3 |  65M| 108 | 282 | 400 | 942 | 400 | 601 |   0 |1054 |4350 |-8.549671e+01 |-3.300000e+01 | 159.08%
1492.83/1493.20	c  1493s| 40100 | 40101 |  5346k| 133.2 |  66M| 108 | 253 | 400 | 942 | 400 | 601 |   0 |1054 |4350 |-8.549041e+01 |-3.300000e+01 | 159.06%
1495.23/1495.68	c  1496s| 40200 | 40201 |  5357k| 133.2 |  66M| 108 | 230 | 400 | 942 | 400 | 601 |   0 |1054 |4351 |-8.547340e+01 |-3.300000e+01 | 159.01%
1497.62/1498.04	c  1498s| 40300 | 40301 |  5368k| 133.1 |  66M| 108 | 181 | 400 | 940 | 400 | 601 |   0 |1054 |4351 |-8.547072e+01 |-3.300000e+01 | 159.00%
1500.42/1500.89	c  1501s| 40400 | 40401 |  5386k| 133.2 |  66M| 108 | 164 | 400 | 946 | 400 | 601 |   0 |1060 |4351 |-8.546877e+01 |-3.300000e+01 | 159.00%
1502.83/1503.28	c  1503s| 40500 | 40501 |  5397k| 133.2 |  66M| 108 | 159 | 400 | 946 | 400 | 601 |   0 |1060 |4351 |-8.546877e+01 |-3.300000e+01 | 159.00%
1505.53/1505.95	c  1506s| 40600 | 40601 |  5410k| 133.2 |  66M| 108 | 138 | 400 | 946 | 400 | 601 |   0 |1060 |4365 |-8.544983e+01 |-3.300000e+01 | 158.94%
1508.73/1509.19	c  1509s| 40700 | 40701 |  5421k| 133.1 |  66M| 108 | 122 | 400 | 946 | 400 | 601 |   0 |1064 |4378 |-8.544335e+01 |-3.300000e+01 | 158.92%
1512.03/1512.45	c  1512s| 40800 | 40801 |  5435k| 133.1 |  66M| 108 | 141 | 400 | 943 | 400 | 601 |   0 |1064 |4385 |-8.544151e+01 |-3.300000e+01 | 158.91%
1514.82/1515.29	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1514.82/1515.29	c  1515s| 40900 | 40901 |  5448k| 133.1 |  67M| 108 |  85 | 400 | 941 | 400 | 601 |   0 |1065 |4385 |-8.544151e+01 |-3.300000e+01 | 158.91%
1517.43/1517.87	c  1518s| 41000 | 41001 |  5462k| 133.1 |  67M| 108 | 325 | 400 | 943 | 400 | 601 |   0 |1071 |4385 |-8.544013e+01 |-3.300000e+01 | 158.91%
1520.32/1520.73	c  1521s| 41100 | 41101 |  5475k| 133.1 |  67M| 108 | 282 | 400 | 940 | 400 | 601 |   0 |1071 |4385 |-8.542948e+01 |-3.300000e+01 | 158.88%
1522.82/1523.26	c  1523s| 41200 | 41201 |  5487k| 133.1 |  67M| 108 | 233 | 400 | 937 | 400 | 601 |   0 |1072 |4385 |-8.542813e+01 |-3.300000e+01 | 158.87%
1525.82/1526.26	c  1526s| 41300 | 41301 |  5502k| 133.1 |  67M| 108 | 224 | 400 | 945 | 400 | 601 |   0 |1082 |4391 |-8.542352e+01 |-3.300000e+01 | 158.86%
1528.53/1528.99	c  1529s| 41400 | 41401 |  5513k| 133.1 |  67M| 108 | 190 | 400 | 945 | 400 | 601 |   0 |1082 |4403 |-8.541419e+01 |-3.300000e+01 | 158.83%
1531.72/1532.19	c  1532s| 41500 | 41501 |  5528k| 133.1 |  67M| 108 | 220 | 400 | 940 | 400 | 601 |   0 |1082 |4416 |-8.541216e+01 |-3.300000e+01 | 158.82%
1534.53/1534.98	c  1535s| 41600 | 41601 |  5538k| 133.1 |  67M| 108 | 155 | 400 | 937 | 400 | 601 |   0 |1082 |4423 |-8.540634e+01 |-3.300000e+01 | 158.81%
1537.12/1537.56	c  1538s| 41700 | 41701 |  5551k| 133.0 |  68M| 108 | 124 | 400 | 937 | 400 | 601 |   0 |1082 |4424 |-8.539975e+01 |-3.300000e+01 | 158.79%
1539.52/1540.00	c  1540s| 41800 | 41801 |  5564k| 133.0 |  68M| 108 | 116 | 400 | 943 | 400 | 601 |   0 |1088 |4424 |-8.539882e+01 |-3.300000e+01 | 158.78%
1541.92/1542.30	c  1542s| 41900 | 41901 |  5574k| 133.0 |  68M| 108 | 116 | 400 | 942 | 400 | 601 |   0 |1088 |4424 |-8.539786e+01 |-3.300000e+01 | 158.78%
1544.42/1544.88	c  1545s| 42000 | 42001 |  5586k| 132.9 |  68M| 108 | 106 | 400 | 941 | 400 | 601 |   0 |1088 |4424 |-8.539786e+01 |-3.300000e+01 | 158.78%
1547.12/1547.57	c  1548s| 42100 | 42101 |  5597k| 132.9 |  68M| 108 | 313 | 400 | 945 | 400 | 601 |   0 |1093 |4424 |-8.539681e+01 |-3.300000e+01 | 158.78%
1549.72/1550.16	c  1550s| 42200 | 42201 |  5610k| 132.9 |  68M| 108 | 282 | 400 | 944 | 400 | 601 |   0 |1094 |4428 |-8.539449e+01 |-3.300000e+01 | 158.77%
1552.61/1553.08	c  1553s| 42300 | 42301 |  5620k| 132.8 |  68M| 108 | 260 | 400 | 941 | 400 | 601 |   0 |1094 |4444 |-8.538078e+01 |-3.300000e+01 | 158.73%
1555.32/1555.77	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1555.32/1555.77	c  1556s| 42400 | 42401 |  5631k| 132.7 |  68M| 108 | 220 | 400 | 940 | 400 | 601 |   0 |1095 |4451 |-8.537350e+01 |-3.300000e+01 | 158.71%
1558.42/1558.88	c  1559s| 42500 | 42501 |  5645k| 132.7 |  68M| 108 | 189 | 400 | 943 | 400 | 601 |   0 |1103 |4468 |-8.535114e+01 |-3.300000e+01 | 158.64%
1561.12/1561.50	c  1561s| 42600 | 42601 |  5656k| 132.7 |  69M| 108 | 197 | 400 | 941 | 400 | 601 |   0 |1104 |4468 |-8.534794e+01 |-3.300000e+01 | 158.63%
1563.62/1564.09	c  1564s| 42700 | 42701 |  5669k| 132.7 |  69M| 108 | 155 | 400 | 938 | 400 | 601 |   0 |1104 |4468 |-8.533582e+01 |-3.300000e+01 | 158.59%
1566.02/1566.41	c  1566s| 42800 | 42801 |  5679k| 132.6 |  69M| 108 | 183 | 400 | 935 | 400 | 601 |   0 |1104 |4468 |-8.533376e+01 |-3.300000e+01 | 158.59%
1568.61/1569.03	c  1569s| 42900 | 42901 |  5692k| 132.6 |  69M| 108 | 101 | 400 | 942 | 400 | 601 |   0 |1114 |4469 |-8.532356e+01 |-3.300000e+01 | 158.56%
1571.02/1571.48	c  1571s| 43000 | 43001 |  5704k| 132.6 |  69M| 108 |  93 | 400 | 952 | 400 | 601 |   0 |1126 |4469 |-8.532043e+01 |-3.300000e+01 | 158.55%
1573.62/1574.08	c  1574s| 43100 | 43101 |  5716k| 132.5 |  69M| 108 | 118 | 400 | 949 | 400 | 601 |   0 |1126 |4469 |-8.532043e+01 |-3.300000e+01 | 158.55%
1576.21/1576.64	c  1577s| 43200 | 43201 |  5727k| 132.5 |  69M| 108 | 315 | 400 | 948 | 400 | 601 |   0 |1126 |4482 |-8.531920e+01 |-3.300000e+01 | 158.54%
1579.01/1579.50	c  1580s| 43300 | 43301 |  5740k| 132.5 |  69M| 108 | 298 | 400 | 945 | 400 | 601 |   0 |1126 |4486 |-8.531508e+01 |-3.300000e+01 | 158.53%
1581.92/1582.35	c  1582s| 43400 | 43401 |  5752k| 132.5 |  70M| 108 | 249 | 400 | 942 | 400 | 601 |   0 |1126 |4486 |-8.530212e+01 |-3.300000e+01 | 158.49%
1584.62/1585.07	c  1585s| 43500 | 43501 |  5764k| 132.4 |  70M| 108 | 214 | 400 | 936 | 400 | 601 |   0 |1126 |4486 |-8.530109e+01 |-3.300000e+01 | 158.49%
1587.11/1587.58	c  1588s| 43600 | 43601 |  5777k| 132.4 |  70M| 108 | 211 | 400 | 937 | 400 | 601 |   0 |1130 |4486 |-8.530090e+01 |-3.300000e+01 | 158.49%
1589.82/1590.26	c  1590s| 43700 | 43701 |  5788k| 132.4 |  70M| 108 | 145 | 400 | 935 | 400 | 601 |   0 |1130 |4496 |-8.530066e+01 |-3.300000e+01 | 158.49%
1592.31/1592.76	c  1593s| 43800 | 43801 |  5802k| 132.4 |  70M| 108 | 164 | 400 | 923 | 400 | 601 |   0 |1130 |4497 |-8.529942e+01 |-3.300000e+01 | 158.48%
1594.52/1594.96	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1594.52/1594.96	c  1595s| 43900 | 43901 |  5813k| 132.3 |  70M| 108 | 141 | 400 | 926 | 400 | 601 |   0 |1136 |4497 |-8.529553e+01 |-3.300000e+01 | 158.47%
1597.11/1597.55	c  1598s| 44000 | 44001 |  5824k| 132.3 |  70M| 108 | 112 | 400 | 924 | 400 | 601 |   0 |1138 |4508 |-8.529030e+01 |-3.300000e+01 | 158.46%
1599.71/1600.14	c  1600s| 44100 | 44101 |  5835k| 132.2 |  70M| 108 | 138 | 400 | 921 | 400 | 601 |   0 |1144 |4520 |-8.528538e+01 |-3.300000e+01 | 158.44%
1602.41/1602.88	c  1603s| 44200 | 44201 |  5847k| 132.2 |  71M| 108 |  81 | 400 | 920 | 400 | 601 |   0 |1144 |4521 |-8.528538e+01 |-3.300000e+01 | 158.44%
1605.01/1605.40	c  1605s| 44300 | 44301 |  5859k| 132.2 |  71M| 108 | 316 | 400 | 918 | 400 | 601 |   0 |1144 |4522 |-8.528186e+01 |-3.300000e+01 | 158.43%
1608.11/1608.54	c  1609s| 44400 | 44401 |  5876k| 132.3 |  71M| 108 | 286 | 400 | 918 | 400 | 601 |   0 |1148 |4522 |-8.527733e+01 |-3.300000e+01 | 158.42%
1610.71/1611.17	c  1611s| 44500 | 44501 |  5889k| 132.3 |  71M| 108 | 251 | 400 | 918 | 400 | 601 |   0 |1148 |4522 |-8.527698e+01 |-3.300000e+01 | 158.42%
1613.31/1613.75	c  1614s| 44600 | 44601 |  5901k| 132.2 |  71M| 108 | 236 | 400 | 917 | 400 | 601 |   0 |1155 |4522 |-8.527691e+01 |-3.300000e+01 | 158.41%
1616.40/1616.84	c  1617s| 44700 | 44701 |  5913k| 132.2 |  71M| 108 | 188 | 400 | 923 | 400 | 601 |   0 |1165 |4536 |-8.526135e+01 |-3.300000e+01 | 158.37%
1619.00/1619.45	c  1619s| 44800 | 44801 |  5925k| 132.2 |  71M| 108 | 206 | 400 | 929 | 400 | 601 |   0 |1172 |4545 |-8.525808e+01 |-3.300000e+01 | 158.36%
1622.21/1622.60	c  1623s| 44900 | 44901 |  5940k| 132.2 |  71M| 108 | 134 | 400 | 930 | 400 | 601 |   0 |1177 |4556 |-8.525621e+01 |-3.300000e+01 | 158.35%
1624.80/1625.23	c  1625s| 45000 | 45001 |  5953k| 132.2 |  72M| 108 | 169 | 400 | 934 | 400 | 601 |   0 |1183 |4560 |-8.524963e+01 |-3.300000e+01 | 158.33%
1627.40/1627.83	c  1628s| 45100 | 45101 |  5966k| 132.2 |  72M| 108 | 113 | 400 | 934 | 400 | 601 |   0 |1183 |4560 |-8.524439e+01 |-3.300000e+01 | 158.32%
1629.51/1629.95	c  1630s| 45200 | 45201 |  5977k| 132.2 |  72M| 108 | 112 | 400 | 931 | 400 | 601 |   0 |1184 |4560 |-8.523812e+01 |-3.300000e+01 | 158.30%
1631.81/1632.24	c  1632s| 45300 | 45301 |  5988k| 132.1 |  72M| 108 | 105 | 400 | 938 | 400 | 601 |   0 |1192 |4560 |-8.523812e+01 |-3.300000e+01 | 158.30%
1634.41/1634.84	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1634.41/1634.84	c  1635s| 45400 | 45401 |  6000k| 132.1 |  72M| 108 | 311 | 400 | 933 | 400 | 601 |   0 |1192 |4565 |-8.523764e+01 |-3.300000e+01 | 158.30%
1636.81/1637.29	c  1637s| 45500 | 45501 |  6011k| 132.0 |  72M| 108 | 276 | 400 | 929 | 400 | 601 |   0 |1192 |4565 |-8.523308e+01 |-3.300000e+01 | 158.28%
1639.40/1639.81	c  1640s| 45600 | 45601 |  6023k| 132.0 |  72M| 108 | 263 | 400 | 928 | 400 | 601 |   0 |1192 |4574 |-8.523170e+01 |-3.300000e+01 | 158.28%
1642.10/1642.52	c  1643s| 45700 | 45701 |  6036k| 132.0 |  72M| 108 | 223 | 400 | 944 | 400 | 601 |   0 |1209 |4585 |-8.522526e+01 |-3.300000e+01 | 158.26%
1645.21/1645.63	c  1646s| 45800 | 45801 |  6048k| 132.0 |  73M| 108 | 182 | 400 | 948 | 400 | 601 |   0 |1214 |4595 |-8.522421e+01 |-3.300000e+01 | 158.26%
1647.81/1648.25	c  1648s| 45900 | 45901 |  6062k| 132.0 |  73M| 108 | 138 | 400 | 944 | 400 | 601 |   0 |1220 |4595 |-8.522415e+01 |-3.300000e+01 | 158.25%
1650.50/1650.92	c  1651s| 46000 | 46001 |  6075k| 132.0 |  73M| 108 | 179 | 400 | 939 | 400 | 601 |   0 |1220 |4595 |-8.521638e+01 |-3.300000e+01 | 158.23%
1652.81/1653.21	c  1653s| 46100 | 46101 |  6086k| 131.9 |  73M| 108 | 135 | 400 | 938 | 400 | 601 |   0 |1220 |4595 |-8.521609e+01 |-3.300000e+01 | 158.23%
1655.11/1655.53	c  1656s| 46200 | 46201 |  6097k| 131.9 |  73M| 108 | 105 | 400 | 939 | 400 | 601 |   0 |1222 |4597 |-8.520670e+01 |-3.300000e+01 | 158.20%
1657.40/1657.82	c  1658s| 46300 | 46301 |  6108k| 131.9 |  73M| 108 | 112 | 400 | 935 | 400 | 601 |   0 |1223 |4597 |-8.520397e+01 |-3.300000e+01 | 158.19%
1659.80/1660.23	c  1660s| 46400 | 46401 |  6119k| 131.8 |  73M| 108 |  91 | 400 | 935 | 400 | 601 |   0 |1223 |4606 |-8.520397e+01 |-3.300000e+01 | 158.19%
1662.50/1662.94	c  1663s| 46500 | 46501 |  6130k| 131.8 |  73M| 108 | 313 | 400 | 932 | 400 | 601 |   0 |1223 |4615 |-8.520241e+01 |-3.300000e+01 | 158.19%
1665.40/1665.89	c  1666s| 46600 | 46601 |  6146k| 131.8 |  74M| 108 | 273 | 400 | 937 | 400 | 601 |   0 |1232 |4623 |-8.520238e+01 |-3.300000e+01 | 158.19%
1668.10/1668.50	c  1668s| 46700 | 46701 |  6158k| 131.8 |  74M| 108 | 262 | 400 | 941 | 400 | 601 |   0 |1238 |4623 |-8.520202e+01 |-3.300000e+01 | 158.19%
1670.79/1671.23	c  1671s| 46800 | 46801 |  6172k| 131.8 |  74M| 108 | 227 | 400 | 937 | 400 | 601 |   0 |1238 |4626 |-8.519974e+01 |-3.300000e+01 | 158.18%
1673.60/1674.02	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1673.60/1674.02	c  1674s| 46900 | 46901 |  6184k| 131.8 |  74M| 108 | 173 | 400 | 939 | 400 | 601 |   0 |1242 |4626 |-8.519850e+01 |-3.300000e+01 | 158.18%
1676.09/1676.56	c  1677s| 47000 | 47001 |  6196k| 131.8 |  74M| 108 | 162 | 400 | 937 | 400 | 601 |   0 |1242 |4630 |-8.519144e+01 |-3.300000e+01 | 158.16%
1678.80/1679.26	c  1679s| 47100 | 47101 |  6207k| 131.7 |  74M| 108 | 142 | 400 | 934 | 400 | 601 |   0 |1242 |4630 |-8.519062e+01 |-3.300000e+01 | 158.15%
1681.19/1681.64	c  1682s| 47200 | 47201 |  6219k| 131.7 |  74M| 108 | 129 | 400 | 931 | 400 | 601 |   0 |1242 |4630 |-8.518669e+01 |-3.300000e+01 | 158.14%
1683.89/1684.39	c  1684s| 47300 | 47301 |  6232k| 131.7 |  74M| 108 | 130 | 400 | 934 | 400 | 601 |   0 |1246 |4639 |-8.518533e+01 |-3.300000e+01 | 158.14%
1687.00/1687.41	c  1687s| 47400 | 47401 |  6243k| 131.6 |  75M| 108 | 121 | 400 | 932 | 400 | 601 |   0 |1246 |4658 |-8.517159e+01 |-3.300000e+01 | 158.10%
1690.00/1690.46	c  1690s| 47500 | 47501 |  6258k| 131.7 |  75M| 108 |  99 | 400 | 932 | 400 | 601 |   0 |1246 |4658 |-8.517159e+01 |-3.300000e+01 | 158.10%
1692.80/1693.20	c  1693s| 47600 | 47601 |  6268k| 131.6 |  75M| 108 | 309 | 400 | 929 | 400 | 601 |   0 |1246 |4664 |-8.515343e+01 |-3.300000e+01 | 158.04%
1695.49/1695.99	c  1696s| 47700 | 47701 |  6279k| 131.6 |  75M| 108 | 280 | 400 | 926 | 400 | 601 |   0 |1246 |4667 |-8.515101e+01 |-3.300000e+01 | 158.03%
1698.29/1698.72	c  1699s| 47800 | 47801 |  6293k| 131.6 |  75M| 108 | 263 | 400 | 925 | 400 | 601 |   0 |1247 |4667 |-8.514146e+01 |-3.300000e+01 | 158.00%
1700.80/1701.25	c  1701s| 47900 | 47901 |  6304k| 131.5 |  75M| 108 | 196 | 400 | 927 | 400 | 601 |   0 |1252 |4671 |-8.514032e+01 |-3.300000e+01 | 158.00%
1703.29/1703.74	c  1704s| 48000 | 48001 |  6317k| 131.5 |  75M| 108 | 200 | 400 | 927 | 400 | 601 |   0 |1252 |4671 |-8.513972e+01 |-3.300000e+01 | 158.00%
1705.89/1706.37	c  1706s| 48100 | 48101 |  6328k| 131.5 |  75M| 108 | 164 | 400 | 925 | 400 | 601 |   0 |1253 |4671 |-8.513552e+01 |-3.300000e+01 | 157.99%
1708.39/1708.81	c  1709s| 48200 | 48201 |  6340k| 131.5 |  76M| 108 | 156 | 400 | 922 | 400 | 601 |   0 |1255 |4671 |-8.512818e+01 |-3.300000e+01 | 157.96%
1711.10/1711.52	c  1712s| 48300 | 48301 |  6353k| 131.5 |  76M| 108 | 173 | 400 | 922 | 400 | 601 |   0 |1255 |4683 |-8.512306e+01 |-3.300000e+01 | 157.95%
1713.79/1714.29	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1713.79/1714.29	c  1714s| 48400 | 48401 |  6364k| 131.4 |  76M| 108 | 102 | 400 | 921 | 400 | 601 |   0 |1255 |4693 |-8.510981e+01 |-3.300000e+01 | 157.91%
1716.70/1717.12	c  1717s| 48500 | 48501 |  6376k| 131.4 |  76M| 108 | 128 | 400 | 926 | 400 | 601 |   0 |1260 |4702 |-8.510924e+01 |-3.300000e+01 | 157.91%
1719.69/1720.19	c  1720s| 48600 | 48601 |  6394k| 131.5 |  76M| 108 | 103 | 400 | 924 | 400 | 601 |   0 |1260 |4702 |-8.510924e+01 |-3.300000e+01 | 157.91%
1722.09/1722.52	c  1723s| 48700 | 48701 |  6404k| 131.4 |  76M| 108 | 311 | 400 | 923 | 400 | 601 |   0 |1260 |4702 |-8.510766e+01 |-3.300000e+01 | 157.90%
1724.39/1724.84	c  1725s| 48800 | 48801 |  6415k| 131.4 |  76M| 108 | 274 | 400 | 922 | 400 | 601 |   0 |1260 |4704 |-8.510541e+01 |-3.300000e+01 | 157.90%
1726.89/1727.36	c  1727s| 48900 | 48901 |  6426k| 131.3 |  76M| 108 | 275 | 400 | 923 | 400 | 601 |   0 |1264 |4704 |-8.510138e+01 |-3.300000e+01 | 157.88%
1729.49/1729.97	c  1730s| 49000 | 49001 |  6438k| 131.3 |  76M| 108 | 218 | 400 | 922 | 400 | 601 |   0 |1264 |4704 |-8.509129e+01 |-3.300000e+01 | 157.85%
1731.99/1732.40	c  1732s| 49100 | 49101 |  6449k| 131.3 |  77M| 108 | 207 | 400 | 919 | 400 | 601 |   0 |1264 |4705 |-8.508778e+01 |-3.300000e+01 | 157.84%
1734.79/1735.20	c  1735s| 49200 | 49201 |  6462k| 131.3 |  77M| 108 | 206 | 400 | 924 | 400 | 601 |   0 |1274 |4712 |-8.508269e+01 |-3.300000e+01 | 157.83%
1737.60/1738.03	c  1738s| 49300 | 49301 |  6474k| 131.2 |  77M| 108 | 130 | 400 | 918 | 400 | 601 |   0 |1274 |4725 |-8.508115e+01 |-3.300000e+01 | 157.82%
1740.39/1740.85	c  1741s| 49400 | 49401 |  6486k| 131.2 |  77M| 108 | 122 | 400 | 914 | 400 | 601 |   0 |1274 |4733 |-8.507789e+01 |-3.300000e+01 | 157.81%
1743.19/1743.61	c  1744s| 49500 | 49501 |  6500k| 131.2 |  77M| 108 | 120 | 400 | 915 | 400 | 601 |   0 |1276 |4736 |-8.507759e+01 |-3.300000e+01 | 157.81%
1745.68/1746.16	c  1746s| 49600 | 49601 |  6511k| 131.2 |  77M| 108 | 138 | 400 | 913 | 400 | 601 |   0 |1276 |4736 |-8.505830e+01 |-3.300000e+01 | 157.75%
1748.08/1748.56	c  1749s| 49700 | 49701 |  6523k| 131.2 |  77M| 108 | 111 | 400 | 914 | 400 | 601 |   0 |1281 |4736 |-8.505830e+01 |-3.300000e+01 | 157.75%
1750.29/1750.76	c  1751s| 49800 | 49801 |  6535k| 131.2 |  77M| 108 | 313 | 400 | 921 | 400 | 601 |   0 |1291 |4736 |-8.505691e+01 |-3.300000e+01 | 157.75%
1752.69/1753.14	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1752.69/1753.14	c  1753s| 49900 | 49901 |  6546k| 131.1 |  78M| 108 | 281 | 400 | 921 | 400 | 601 |   0 |1293 |4736 |-8.505278e+01 |-3.300000e+01 | 157.74%
1755.48/1755.97	c  1756s| 50000 | 50001 |  6559k| 131.1 |  78M| 108 | 260 | 400 | 925 | 400 | 601 |   0 |1299 |4736 |-8.505004e+01 |-3.300000e+01 | 157.73%
1758.78/1759.26	c  1759s| 50100 | 50101 |  6571k| 131.1 |  78M| 108 | 248 | 400 | 926 | 400 | 601 |   0 |1301 |4754 |-8.504672e+01 |-3.300000e+01 | 157.72%
1761.79/1762.21	c  1762s| 50200 | 50201 |  6584k| 131.1 |  78M| 108 | 199 | 400 | 924 | 400 | 601 |   0 |1301 |4758 |-8.503938e+01 |-3.300000e+01 | 157.70%
1764.58/1765.07	c  1765s| 50300 | 50301 |  6598k| 131.1 |  78M| 108 | 150 | 400 | 923 | 400 | 601 |   0 |1302 |4766 |-8.503587e+01 |-3.300000e+01 | 157.68%
1767.48/1767.91	c  1768s| 50400 | 50401 |  6611k| 131.1 |  78M| 108 | 164 | 400 | 928 | 400 | 601 |   0 |1310 |4768 |-8.503259e+01 |-3.300000e+01 | 157.67%
1770.38/1770.82	c  1771s| 50500 | 50501 |  6628k| 131.2 |  78M| 108 | 126 | 400 | 927 | 400 | 601 |   0 |1310 |4768 |-8.502144e+01 |-3.300000e+01 | 157.64%
1772.69/1773.11	c  1773s| 50600 | 50601 |  6639k| 131.2 |  78M| 108 | 118 | 400 | 927 | 400 | 601 |   0 |1310 |4768 |-8.501880e+01 |-3.300000e+01 | 157.63%
1774.89/1775.37	c  1775s| 50700 | 50701 |  6650k| 131.1 |  79M| 108 | 110 | 400 | 925 | 400 | 601 |   0 |1310 |4768 |-8.501660e+01 |-3.300000e+01 | 157.63%
1777.48/1777.97	c  1778s| 50800 | 50801 |  6663k| 131.1 |  79M| 108 | 138 | 400 | 921 | 400 | 601 |   0 |1313 |4768 |-8.501660e+01 |-3.300000e+01 | 157.63%
1779.98/1780.42	c  1780s| 50900 | 50901 |  6674k| 131.1 |  79M| 108 | 306 | 400 | 918 | 400 | 601 |   0 |1313 |4770 |-8.501003e+01 |-3.300000e+01 | 157.61%
1782.98/1783.43	c  1783s| 51000 | 51001 |  6685k| 131.0 |  79M| 108 | 285 | 400 | 915 | 400 | 601 |   0 |1313 |4782 |-8.500672e+01 |-3.300000e+01 | 157.60%
1785.78/1786.27	c  1786s| 51100 | 51101 |  6696k| 131.0 |  79M| 108 | 253 | 400 | 915 | 400 | 601 |   0 |1313 |4795 |-8.500622e+01 |-3.300000e+01 | 157.59%
1788.38/1788.89	c  1789s| 51200 | 51201 |  6706k| 130.9 |  79M| 108 | 240 | 400 | 910 | 400 | 601 |   0 |1313 |4803 |-8.500357e+01 |-3.300000e+01 | 157.59%
1791.88/1792.31	c  1792s| 51300 | 51301 |  6724k| 131.0 |  79M| 108 | 225 | 400 | 910 | 400 | 601 |   0 |1320 |4805 |-8.500165e+01 |-3.300000e+01 | 157.58%
1794.18/1794.63	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1794.18/1794.63	c  1795s| 51400 | 51401 |  6736k| 131.0 |  79M| 108 | 146 | 400 | 908 | 400 | 601 |   0 |1323 |4805 |-8.499207e+01 |-3.300000e+01 | 157.55%
1796.37/1796.83	c  1797s| 51500 | 51501 |  6746k| 130.9 |  80M| 108 | 142 | 400 | 908 | 400 | 601 |   0 |1323 |4805 |-8.498484e+01 |-3.300000e+01 | 157.53%
1796.58/1797.01	c 
1796.58/1797.01	c SCIP Status        : solving was interrupted [time limit reached]
1796.58/1797.01	c Solving Time (sec) : 1797.01
1796.58/1797.01	c Solving Nodes      : 51510
1796.58/1797.01	c Primal Bound       : -3.30000000000000e+01 (544 solutions)
1796.58/1797.01	c Dual Bound         : -8.49848418273391e+01
1796.58/1797.01	c Gap                : 157.53 %
1796.58/1797.01	s SATISFIABLE
1796.58/1797.01	v -x384 -x335 -x334 -x301 -x233 -x289 x295 -x375 -x290 -x325 -x256 -x237 -x247 -x396 -x328 x388 -x312 -x215 -x394 -x226 -x313 -x377 
1796.58/1797.01	v -x326 -x216 -x258 -x305 -x251 -x381 -x308 -x266 -x271 -x259 -x229 x220 x302 -x336 -x354 -x207 -x364 -x338 x286 -x248 -x230 
1796.58/1797.01	v -x272 -x365 -x340 x293 -x268 -x279 -x353 -x332 -x352 -x345 x314 -x285 -x254 -x243 -x240 -x213 -x267 -x321 x280 -x269 -x372 x323 
1796.58/1797.01	v -x303 -x270 -x244 -x232 -x221 -x342 -x273 -x275 -x306 -x355 -x390 -x235 -x284 -x212 -x347 x393 -x379 -x351 x330 -x298 -x288 
1796.58/1797.01	v x281 -x222 -x210 -x300 -x219 -x319 x309 -x282 -x224 -x252 -x304 -x385 x395 -x348 x333 -x296 -x242 -x236 -x227 -x225 -x218 
1796.58/1797.01	v x205 x371 x311 -x391 -x369 x318 -x257 -x317 -x322 x344 -x363 -x206 -x349 -x324 -x310 x361 -x367 -x400 -x246 -x202 x341 -x287 
1796.58/1797.01	v -x263 -x260 -x249 -x241 -x239 -x234 x217 -x204 -x245 -x276 -x315 -x357 -x366 -x261 -x307 -x329 x358 -x398 -x274 -x378 -x253 x397 
1796.58/1797.01	v x362 -x383 -x387 -x214 x264 x297 -x231 -x211 -x201 -x399 -x386 x382 -x360 -x359 -x356 -x339 -x337 -x327 -x292 -x283 -x277 
1796.58/1797.01	v -x223 -x209 -x208 -x392 -x316 -x370 x373 -x203 -x331 -x368 -x374 -x255 -x250 -x238 -x294 -x350 -x380 -x343 -x228 -x346 x278 
1796.58/1797.01	v -x265 -x299 -x262 x376 -x389 x320 -x291 -x200 x199 -x198 -x197 -x196 -x195 x194 -x193 -x192 x191 -x190 -x189 -x188 -x187 -x186 
1796.58/1797.01	v -x185 -x184 -x183 -x182 -x181 x180 -x179 -x178 -x177 -x176 x175 -x174 -x173 -x172 -x171 -x170 -x169 x168 x167 -x166 -x165 -x164 
1796.58/1797.01	v -x163 -x162 -x161 x160 x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 x151 x150 x149 x148 -x147 -x146 -x145 -x144 -x143 
1796.58/1797.01	v -x142 -x141 x140 x139 -x138 x137 -x136 x135 x134 -x133 -x132 -x131 -x130 x129 -x128 -x127 x126 -x125 x124 -x123 -x122 -x121 -x120 
1796.58/1797.01	v -x119 -x118 x117 -x116 -x115 -x114 -x113 x112 -x111 x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 
1796.58/1797.01	v -x98 -x97 x96 -x95 -x94 -x93 -x92 x91 -x90 x89 x88 -x87 -x86 -x85 -x84 -x83 x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 
1796.58/1797.01	v -x72 -x71 -x70 x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 x49 -x48 
1796.58/1797.01	v -x47 -x46 x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 x27 -x26 -x25 -x24 -x23 -x22 
1796.58/1797.01	v -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 
1796.58/1797.01	c SCIP Status        : solving was interrupted [time limit reached]
1796.58/1797.01	c Total Time         :    1797.01
1796.58/1797.01	c   solving          :    1797.01
1796.58/1797.01	c   presolving       :       0.13 (included in solving)
1796.58/1797.01	c   reading          :       0.03 (included in solving)
1796.58/1797.01	c   copying          :       0.08 (10 #copies) (minimal 0.01, maximal 0.01, average 0.01)
1796.58/1797.01	c Original Problem   :
1796.58/1797.01	c   Problem name     : HOME/instance-3692584-1338037209.opb
1796.58/1797.01	c   Variables        : 6620 (400 binary, 0 integer, 6220 implicit integer, 0 continuous)
1796.58/1797.01	c   Constraints      : 7221 initial, 7221 maximal
1796.58/1797.01	c   Objective sense  : minimize
1796.58/1797.01	c Presolved Problem  :
1796.58/1797.01	c   Problem name     : t_HOME/instance-3692584-1338037209.opb
1796.58/1797.01	c   Variables        : 400 (400 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.58/1797.01	c   Constraints      : 601 initial, 1038 maximal
1796.58/1797.01	c Presolvers         :   ExecTime  SetupTime  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1796.58/1797.01	c   domcol           :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.58/1797.01	c   trivial          :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.58/1797.01	c   dualfix          :       0.01       0.00       6220          0          0          0          0          0          0          0          0
1796.58/1797.01	c   boundshift       :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.58/1797.01	c   inttobinary      :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.58/1797.01	c   convertinttobin  :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.58/1797.01	c   gateextraction   :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.58/1797.01	c   implics          :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.58/1797.01	c   components       :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.58/1797.01	c   pseudoobj        :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.58/1797.01	c   probing          :       0.01       0.00          0          0          0          0          0          0          0          0          0
1796.58/1797.01	c   knapsack         :       0.01       0.00          0          0          0          0          0          0          0          0          0
1796.58/1797.01	c   setppc           :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.58/1797.01	c   linear           :       0.02       0.00          0          0          0          0          0          0          0          0          0
1796.58/1797.01	c   logicor          :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.58/1797.01	c   pseudoboolean    :       0.02       0.00          0          0          0          0          0       7020        400          0          0
1796.58/1797.01	c   root node        :          -          -          0          -          -          0          -          -          -          -          -
1796.58/1797.01	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #ResProp    Cutoffs    DomReds       Cuts      Conss   Children
1796.58/1797.01	c   integral         :          0          0          0          0      51508          0        550          0          0          0          0          0     103016
1796.58/1797.01	c   knapsack         :        400        400          1     552495          0          2        544      26291        181     447373          0          0          0
1796.58/1797.01	c   setppc           :        200        200          1     519444          0          2        543       1541          0      34464          0          0          0
1796.58/1797.01	c   linear           :          1          1          1     552312          0          0        543          0        487          0          0          0          0
1796.58/1797.01	c   logicor          :          0+       437          0      65008          0          0          0          0          0          0          0          0          0
1796.58/1797.01	c   countsols        :          0          0          0          0          0          2        548          0          0          0          0          0          0
1796.58/1797.01	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS      Check    ResProp
1796.58/1797.01	c   integral         :     183.90       0.00       0.00       0.00     183.90       0.00       0.00       0.00
1796.58/1797.01	c   knapsack         :       4.71       0.00       0.00       4.54       0.00       0.00       0.16       0.01
1796.58/1797.01	c   setppc           :       0.67       0.00       0.00       0.66       0.00       0.00       0.01       0.00
1796.58/1797.01	c   linear           :       0.60       0.00       0.00       0.59       0.00       0.00       0.00       0.00
1796.58/1797.01	c   logicor          :       0.23       0.00       0.00       0.23       0.00       0.00       0.00       0.00
1796.58/1797.01	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1796.58/1797.01	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
1796.58/1797.01	c   rootredcost      :         10          0          0          0
1796.58/1797.01	c   pseudoobj        :     604113        362        209          0
1796.58/1797.01	c   vbounds          :          0          0          0          0
1796.58/1797.01	c   redcost          :      51508          0          0          0
1796.58/1797.01	c   probing          :          0          0          0          0
1796.58/1797.01	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp
1796.58/1797.01	c   rootredcost      :       0.15       0.00       0.00       0.15       0.00
1796.58/1797.01	c   pseudoobj        :       0.52       0.00       0.00       0.51       0.01
1796.58/1797.01	c   vbounds          :       0.11       0.00       0.00       0.11       0.00
1796.58/1797.01	c   redcost          :       0.58       0.00       0.00       0.58       0.00
1796.58/1797.01	c   probing          :       0.01       0.00       0.01       0.00       0.00
1796.58/1797.01	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1796.58/1797.01	c   propagation      :       0.09        181        181       3240      128.3          0        0.0          -
1796.58/1797.01	c   infeasible LP    :       0.08       1327       1299       3236       34.7          0        0.0          0
1796.58/1797.01	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1796.58/1797.01	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1796.58/1797.01	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1796.58/1797.01	c   applied globally :          -          -          -       1194       13.5          -          -          -
1796.58/1797.01	c   applied locally  :          -          -          -        129       71.8          -          -          -
1796.58/1797.01	c Separators         :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss
1796.58/1797.01	c   cut pool         :       0.00                     0          -          -          0          -    (maximal pool size: 0)
1796.58/1797.01	c   closecuts        :       0.00       0.00          0          0          0          0          0
1796.58/1797.01	c   impliedbounds    :       0.00       0.00          1          0          0          0          0
1796.58/1797.01	c   intobj           :       0.00       0.00          0          0          0          0          0
1796.58/1797.01	c   gomory           :       0.02       0.00          1          0          0          0          0
1796.58/1797.01	c   cgmip            :       0.00       0.00          0          0          0          0          0
1796.58/1797.01	c   strongcg         :       0.02       0.00          1          0          0          0          0
1796.58/1797.01	c   cmir             :       0.00       0.00          1          0          0          0          0
1796.58/1797.01	c   flowcover        :       0.00       0.00          1          0          0          0          0
1796.58/1797.01	c   clique           :       0.00       0.00          1          0          0          0          0
1796.58/1797.01	c   zerohalf         :       0.00       0.00          0          0          0          0          0
1796.58/1797.01	c   mcf              :       0.00       0.00          1          0          0          0          0
1796.58/1797.01	c   oddcycle         :       0.00       0.00          0          0          0          0          0
1796.58/1797.01	c   rapidlearning    :       0.91       0.00          1          0          0          0          0
1796.58/1797.01	c Pricers            :   ExecTime  SetupTime      Calls       Vars
1796.58/1797.01	c   problem variables:       0.00          -          0          0
1796.58/1797.01	c Branching Rules    :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1796.58/1797.01	c   relpscost        :     183.86       0.00      51508          0          0          0          0     103016
1796.58/1797.01	c   pscost           :       0.00       0.00          0          0          0          0          0          0
1796.58/1797.01	c   inference        :       0.00       0.00          2          0          0          0          0          4
1796.58/1797.01	c   mostinf          :       0.00       0.00          0          0          0          0          0          0
1796.58/1797.01	c   leastinf         :       0.00       0.00          0          0          0          0          0          0
1796.58/1797.01	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0
1796.58/1797.01	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0
1796.58/1797.01	c   random           :       0.00       0.00          0          0          0          0          0          0
1796.58/1797.01	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found
1796.58/1797.01	c   LP solutions     :       0.00          -          -          0
1796.58/1797.01	c   pseudo solutions :       0.00          -          -          0
1796.58/1797.01	c   oneopt           :       0.02       0.00         10          0
1796.58/1797.01	c   crossover        :       5.74       0.00          6          4
1796.58/1797.01	c   veclendiving     :      19.50       0.00        145          0
1796.58/1797.01	c   objpscostdiving  :      27.04       0.00        121         37
1796.58/1797.01	c   linesearchdiving :      63.27       0.00        897          3
1796.58/1797.01	c   fracdiving       :      57.06       0.00        897          2
1796.58/1797.01	c   coefdiving       :      97.79       0.00        898          1
1796.58/1797.01	c   pscostdiving     :      96.66       0.00        898          1
1796.58/1797.01	c   smallcard        :       0.00       0.00          0          0
1796.58/1797.01	c   trivial          :       0.01       0.00          2          1
1796.58/1797.01	c   shiftandpropagate:       0.00       0.00          0          0
1796.58/1797.01	c   simplerounding   :       0.01       0.00          0          0
1796.58/1797.01	c   zirounding       :       4.51       0.00          0          0
1796.58/1797.01	c   rounding         :      36.43       0.00      17084          3
1796.58/1797.01	c   shifting         :      18.10       0.00       5143        456
1796.58/1797.01	c   intshifting      :       0.00       0.00          0          0
1796.58/1797.01	c   twoopt           :       0.00       0.00          0          0
1796.58/1797.01	c   indtwoopt        :       0.00       0.00          0          0
1796.58/1797.01	c   indoneopt        :       0.02       0.00          0          0
1796.58/1797.01	c   fixandinfer      :       0.00       0.00          0          0
1796.58/1797.01	c   feaspump         :       0.64       0.00          1          0
1796.58/1797.01	c   clique           :       0.00       0.00          0          0
1796.58/1797.01	c   indrounding      :       0.00       0.00          0          0
1796.58/1797.01	c   indcoefdiving    :       0.00       0.00          0          0
1796.58/1797.01	c   nlpdiving        :       0.00       0.00          0          0
1796.58/1797.01	c   intdiving        :       0.00       0.00          0          0
1796.58/1797.01	c   actconsdiving    :       0.00       0.00          0          0
1796.58/1797.01	c   rootsoldiving    :      11.20       0.00        211         36
1796.58/1797.01	c   guideddiving     :      40.42       0.00        774          0
1796.58/1797.01	c   octane           :       0.00       0.00          0          0
1796.58/1797.01	c   rens             :       0.01       0.00          0          0
1796.58/1797.01	c   rins             :       0.00       0.00          0          0
1796.58/1797.01	c   localbranching   :       0.00       0.00          0          0
1796.58/1797.01	c   mutation         :       0.00       0.00          0          0
1796.58/1797.01	c   dins             :       0.00       0.00          0          0
1796.58/1797.01	c   vbounds          :       0.00       0.00          0          0
1796.58/1797.01	c   undercover       :       0.00       0.00          0          0
1796.58/1797.01	c   subnlp           :       0.01       0.00          0          0
1796.58/1797.01	c   trysol           :       0.02       0.00          0          0
1796.58/1797.01	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It
1796.58/1797.01	c   primal LP        :       0.00          0          0       0.00          -       0.00          0
1796.58/1797.01	c   dual LP          :    1121.87      51843    4955544      96.21    4417.22       0.61        333
1796.58/1797.01	c   lex dual LP      :       0.00          0          0       0.00          -
1796.58/1797.01	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
1796.58/1797.01	c   diving/probing LP:     366.72     416241    1791929       4.31    4886.40
1796.58/1797.01	c   strong branching :     181.51       4805     195981      40.79    1079.74
1796.58/1797.01	c     (at root node) :          -         29      11913     410.79          -
1796.58/1797.01	c   conflict analysis:       0.00          0          0       0.00          -
1796.58/1797.01	c B&B Tree           :
1796.58/1797.01	c   number of runs   :          1
1796.58/1797.01	c   nodes            :      51510
1796.58/1797.01	c   nodes (total)    :      51510
1796.58/1797.01	c   nodes left       :      51511
1796.58/1797.01	c   max depth        :        108
1796.58/1797.01	c   max depth (total):        108
1796.58/1797.01	c   backtracks       :       5030 (9.8%)
1796.58/1797.01	c   delayed cutoffs  :          0
1796.58/1797.01	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1796.58/1797.01	c   avg switch length:       3.84
1796.58/1797.01	c   switching time   :       2.61
1796.58/1797.01	c Solution           :
1796.58/1797.01	c   Solutions found  :        544 (11 improvements)
1796.58/1797.01	c   First Solution   : +0.00000000000000e+00   (in run 1, after 0 nodes, 0.05 seconds, depth 0, found by <trivial>)
1796.58/1797.01	c   Primal Bound     : -3.30000000000000e+01   (in run 1, after 660 nodes, 141.32 seconds, depth 190, found by <fracdiving>)
1796.58/1797.01	c   Dual Bound       : -8.49848418273391e+01
1796.58/1797.01	c   Gap              :     157.53 %
1796.58/1797.01	c   Root Dual Bound  : -1.00000000000000e+02
1796.58/1797.01	c   Root Iterations  :       3863
1796.68/1797.14	c Time complete: 1796.72.

Verifier Data

OK	-33

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

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

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2142
/proc/meminfo: memFree=28884520/32873624 swapFree=7104/7104
[pid=2142] ppid=2140 vsize=12560 CPUtime=0 cores=1,3,5,7
/proc/2142/stat : 2142 (scip-2.1.1.4exp) R 2140 2142 31545 0 -1 4202496 1891 0 0 0 0 0 0 0 20 0 1 0 269846396 12861440 1846 33554432000 4194304 10219143 140733679797936 140735989028616 7157197 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/2142/statm: 3140 1852 413 1471 0 1660 0

[startup+0.043697 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2142
/proc/meminfo: memFree=28884520/32873624 swapFree=7104/7104
[pid=2142] ppid=2140 vsize=31628 CPUtime=0.04 cores=1,3,5,7
/proc/2142/stat : 2142 (scip-2.1.1.4exp) R 2140 2142 31545 0 -1 4202496 6662 0 0 0 3 1 0 0 20 0 1 0 269846396 32387072 6617 33554432000 4194304 10219143 140733679797936 140735989028616 8930967 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/2142/statm: 7952 6630 491 1471 0 6472 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 31628

[startup+0.100293 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2142
/proc/meminfo: memFree=28884520/32873624 swapFree=7104/7104
[pid=2142] ppid=2140 vsize=39360 CPUtime=0.09 cores=1,3,5,7
/proc/2142/stat : 2142 (scip-2.1.1.4exp) R 2140 2142 31545 0 -1 4202496 8656 0 0 0 7 2 0 0 20 0 1 0 269846396 40304640 8354 33554432000 4194304 10219143 140733679797936 140735989028616 9008087 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/2142/statm: 9840 8354 566 1471 0 8360 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 39360

[startup+0.300152 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2142
/proc/meminfo: memFree=28884520/32873624 swapFree=7104/7104
[pid=2142] ppid=2140 vsize=47980 CPUtime=0.29 cores=1,3,5,7
/proc/2142/stat : 2142 (scip-2.1.1.4exp) R 2140 2142 31545 0 -1 4202496 11048 0 0 0 26 3 0 0 20 0 1 0 269846396 49131520 10714 33554432000 4194304 10219143 140733679797936 140735989028616 9026266 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/2142/statm: 11995 10714 773 1471 0 10515 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 47980

[startup+0.700105 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2142
/proc/meminfo: memFree=28884520/32873624 swapFree=7104/7104
[pid=2142] ppid=2140 vsize=49812 CPUtime=0.69 cores=1,3,5,7
/proc/2142/stat : 2142 (scip-2.1.1.4exp) R 2140 2142 31545 0 -1 4202496 11536 0 0 0 66 3 0 0 20 0 1 0 269846396 51007488 11202 33554432000 4194304 10219143 140733679797936 140733679791192 9026266 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/2142/statm: 12453 11202 773 1471 0 10973 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 49812

[startup+1.5001 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2143
/proc/meminfo: memFree=28828876/32873624 swapFree=7104/7104
[pid=2142] ppid=2140 vsize=65516 CPUtime=1.49 cores=1,3,5,7
/proc/2142/stat : 2142 (scip-2.1.1.4exp) R 2140 2142 31545 0 -1 4202496 15843 0 0 0 144 5 0 0 20 0 1 0 269846396 67088384 14935 33554432000 4194304 10219143 140733679797936 140733679790456 9008087 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/2142/statm: 16379 14935 830 1471 0 14899 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 65516

[startup+3.10011 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2143
/proc/meminfo: memFree=28843092/32873624 swapFree=7104/7104
[pid=2142] ppid=2140 vsize=49976 CPUtime=3.08 cores=1,3,5,7
/proc/2142/stat : 2142 (scip-2.1.1.4exp) R 2140 2142 31545 0 -1 4202496 17802 0 0 0 302 6 0 0 20 0 1 0 269846396 51175424 11400 33554432000 4194304 10219143 140733679797936 140733679791064 8098512 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/2142/statm: 12494 11400 854 1471 0 11014 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 49976

[startup+6.3001 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2143
/proc/meminfo: memFree=28841540/32873624 swapFree=7104/7104
[pid=2142] ppid=2140 vsize=50440 CPUtime=6.29 cores=1,3,5,7
/proc/2142/stat : 2142 (scip-2.1.1.4exp) R 2140 2142 31545 0 -1 4202496 20598 0 0 0 622 7 0 0 20 0 1 0 269846396 51650560 11451 33554432000 4194304 10219143 140733679797936 140733679791112 8098512 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/2142/statm: 12610 11451 854 1471 0 11130 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 50440

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2143
/proc/meminfo: memFree=28843148/32873624 swapFree=7104/7104
[pid=2142] ppid=2140 vsize=49536 CPUtime=12.69 cores=1,3,5,7
/proc/2142/stat : 2142 (scip-2.1.1.4exp) R 2140 2142 31545 0 -1 4202496 22684 0 0 0 1260 9 0 0 20 0 1 0 269846396 50724864 11290 33554432000 4194304 10219143 140733679797936 140733679791064 9026266 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/2142/statm: 12384 11290 854 1471 0 10904 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 49536

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2143
/proc/meminfo: memFree=28842908/32873624 swapFree=7104/7104
[pid=2142] ppid=2140 vsize=50648 CPUtime=25.48 cores=1,3,5,7
/proc/2142/stat : 2142 (scip-2.1.1.4exp) R 2140 2142 31545 0 -1 4202496 22857 0 0 0 2537 11 0 0 20 0 1 0 269846396 51863552 11463 33554432000 4194304 10219143 140733679797936 140733679791064 8098731 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/2142/statm: 12662 11463 854 1471 0 11182 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 50648

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2143
/proc/meminfo: memFree=28843084/32873624 swapFree=7104/7104
[pid=2142] ppid=2140 vsize=50648 CPUtime=51.07 cores=1,3,5,7
/proc/2142/stat : 2142 (scip-2.1.1.4exp) R 2140 2142 31545 0 -1 4202496 22955 0 0 0 5094 13 0 0 20 0 1 0 269846396 51863552 11561 33554432000 4194304 10219143 140733679797936 140733679791064 9026266 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/2142/statm: 12662 11561 856 1471 0 11182 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 50648

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2166
/proc/meminfo: memFree=28842180/32873624 swapFree=7104/7104
[pid=2142] ppid=2140 vsize=50772 CPUtime=102.26 cores=1,3,5,7
/proc/2142/stat : 2142 (scip-2.1.1.4exp) R 2140 2142 31545 0 -1 4202496 27643 0 0 0 10204 22 0 0 20 0 1 0 269846396 51990528 11659 33554432000 4194304 10219143 140733679797936 140733679791288 9026266 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/2142/statm: 12693 11659 863 1471 0 11213 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 50772

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2166
/proc/meminfo: memFree=28840328/32873624 swapFree=7104/7104
[pid=2142] ppid=2140 vsize=52480 CPUtime=162.24 cores=1,3,5,7
/proc/2142/stat : 2142 (scip-2.1.1.4exp) R 2140 2142 31545 0 -1 4202496 29798 0 0 0 16190 34 0 0 20 0 1 0 269846396 53739520 12190 33554432000 4194304 10219143 140733679797936 140733679790872 8100264 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/2142/statm: 13120 12190 863 1471 0 11640 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 52480

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2167
/proc/meminfo: memFree=28840204/32873624 swapFree=7104/7104
[pid=2142] ppid=2140 vsize=52352 CPUtime=222.22 cores=1,3,5,7
/proc/2142/stat : 2142 (scip-2.1.1.4exp) R 2140 2142 31545 0 -1 4202496 32197 0 0 0 22172 50 0 0 20 0 1 0 269846396 53608448 12153 33554432000 4194304 10219143 140733679797936 140733679791240 9026266 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/2142/statm: 13088 12153 863 1471 0 11608 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 52352

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2167
/proc/meminfo: memFree=28878740/32873624 swapFree=7104/7104
[pid=2142] ppid=2140 vsize=53228 CPUtime=282.2 cores=1,3,5,7
/proc/2142/stat : 2142 (scip-2.1.1.4exp) R 2140 2142 31545 0 -1 4202496 34176 0 0 0 28155 65 0 0 20 0 1 0 269846396 54505472 12354 33554432000 4194304 10219143 140733679797936 140733679790600 9008087 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/2142/statm: 13307 12354 863 1471 0 11827 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 53228

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2167
/proc/meminfo: memFree=28876880/32873624 swapFree=7104/7104
[pid=2142] ppid=2140 vsize=54088 CPUtime=342.19 cores=1,3,5,7
/proc/2142/stat : 2142 (scip-2.1.1.4exp) R 2140 2142 31545 0 -1 4202496 34393 0 0 0 34134 85 0 0 20 0 1 0 269846396 55386112 12569 33554432000 4194304 10219143 140733679797936 140733679792760 9026266 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/2142/statm: 13522 12569 863 1471 0 12042 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 54088

[startup+402.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/175 2167
/proc/meminfo: memFree=28873760/32873624 swapFree=7104/7104
[pid=2142] ppid=2140 vsize=57240 CPUtime=402.18 cores=1,3,5,7
/proc/2142/stat : 2142 (scip-2.1.1.4exp) R 2140 2142 31545 0 -1 4202496 48108 0 0 0 40109 109 0 0 20 0 1 0 269846396 58613760 13309 33554432000 4194304 10219143 140733679797936 140733679790536 9026266 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/2142/statm: 14310 13309 863 1471 0 12830 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 57240

[startup+462.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 2167
/proc/meminfo: memFree=28872768/32873624 swapFree=7104/7104
[pid=2142] ppid=2140 vsize=58144 CPUtime=462.16 cores=1,3,5,7
/proc/2142/stat : 2142 (scip-2.1.1.4exp) R 2140 2142 31545 0 -1 4202496 48422 0 0 0 46090 126 0 0 20 0 1 0 269846396 59539456 13623 33554432000 4194304 10219143 140733679797936 140733679791288 9026266 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/2142/statm: 14536 13623 863 1471 0 13056 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 58144

[startup+522.3 s]
/proc/loadavg: 2.12 2.03 2.01 3/175 2168
/proc/meminfo: memFree=28871244/32873624 swapFree=7104/7104
[pid=2142] ppid=2140 vsize=59600 CPUtime=522.14 cores=1,3,5,7
/proc/2142/stat : 2142 (scip-2.1.1.4exp) R 2140 2142 31545 0 -1 4202496 48757 0 0 0 52068 146 0 0 20 0 1 0 269846396 61030400 13956 33554432000 4194304 10219143 140733679797936 140733679790856 9026266 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/2142/statm: 14900 13956 863 1471 0 13420 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 59600

[startup+582.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/175 2168
/proc/meminfo: memFree=28867524/32873624 swapFree=7104/7104
[pid=2142] ppid=2140 vsize=63544 CPUtime=582.13 cores=1,3,5,7
/proc/2142/stat : 2142 (scip-2.1.1.4exp) R 2140 2142 31545 0 -1 4202496 53159 0 0 0 58045 168 0 0 20 0 1 0 269846396 65069056 14943 33554432000 4194304 10219143 140733679797936 140733679793304 9026266 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/2142/statm: 15886 14943 863 1471 0 14406 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 63544

[startup+642.3 s]

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

/proc/meminfo: memFree=29055184/32873624 swapFree=7104/7104
[pid=2142] ppid=2140 vsize=83652 CPUtime=1062 cores=1,3,5,7
/proc/2142/stat : 2142 (scip-2.1.1.4exp) R 2140 2142 31545 0 -1 4202496 67043 0 0 0 105854 346 0 0 20 0 1 0 269846396 85659648 20026 33554432000 4194304 10219143 140733679797936 140733679790920 9026266 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2142/statm: 20913 20026 865 1471 0 19433 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 83652

[startup+1122.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/175 2211
/proc/meminfo: memFree=29053756/32873624 swapFree=7104/7104
[pid=2142] ppid=2140 vsize=86644 CPUtime=1121.99 cores=1,3,5,7
/proc/2142/stat : 2142 (scip-2.1.1.4exp) R 2140 2142 31545 0 -1 4202496 67821 0 0 0 111826 373 0 0 20 0 1 0 269846396 88723456 20800 33554432000 4194304 10219143 140733679797936 140733679791240 9008087 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2142/statm: 21661 20800 865 1471 0 20181 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 86644

[startup+1182.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/175 2211
/proc/meminfo: memFree=29048492/32873624 swapFree=7104/7104
[pid=2142] ppid=2140 vsize=91624 CPUtime=1181.98 cores=1,3,5,7
/proc/2142/stat : 2142 (scip-2.1.1.4exp) R 2140 2142 31545 0 -1 4202496 69093 0 0 0 117803 395 0 0 20 0 1 0 269846396 93822976 22072 33554432000 4194304 10219143 140733679797936 140733679793208 8100426 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2142/statm: 22906 22072 865 1471 0 21426 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 91624

[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 2214
/proc/meminfo: memFree=29044884/32873624 swapFree=7104/7104
[pid=2142] ppid=2140 vsize=94240 CPUtime=1241.97 cores=1,3,5,7
/proc/2142/stat : 2142 (scip-2.1.1.4exp) R 2140 2142 31545 0 -1 4202496 69760 0 0 0 123779 418 0 0 20 0 1 0 269846396 96501760 22738 33554432000 4194304 10219143 140733679797936 140733679791240 9026266 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2142/statm: 23560 22738 865 1471 0 22080 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 94240

[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 2214
/proc/meminfo: memFree=29041604/32873624 swapFree=7104/7104
[pid=2142] ppid=2140 vsize=97168 CPUtime=1301.97 cores=1,3,5,7
/proc/2142/stat : 2142 (scip-2.1.1.4exp) R 2140 2142 31545 0 -1 4202496 74616 0 0 0 129752 445 0 0 20 0 1 0 269846396 99500032 23482 33554432000 4194304 10219143 140733679797936 140733679790824 8098567 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2142/statm: 24292 23482 865 1471 0 22812 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 97168

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2214
/proc/meminfo: memFree=29039360/32873624 swapFree=7104/7104
[pid=2142] ppid=2140 vsize=101548 CPUtime=1361.95 cores=1,3,5,7
/proc/2142/stat : 2142 (scip-2.1.1.4exp) R 2140 2142 31545 0 -1 4202496 75695 0 0 0 135727 468 0 0 20 0 1 0 269846396 103985152 24561 33554432000 4194304 10219143 140733679797936 140733679791240 9026266 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2142/statm: 25387 24561 865 1471 0 23907 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 101548

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2215
/proc/meminfo: memFree=29036944/32873624 swapFree=7104/7104
[pid=2142] ppid=2140 vsize=102692 CPUtime=1421.94 cores=1,3,5,7
/proc/2142/stat : 2142 (scip-2.1.1.4exp) R 2140 2142 31545 0 -1 4202496 75983 0 0 0 141701 493 0 0 20 0 1 0 269846396 105156608 24846 33554432000 4194304 10219143 140733679797936 140733679791240 9026266 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2142/statm: 25673 24846 865 1471 0 24193 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 102692

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2215
/proc/meminfo: memFree=29032912/32873624 swapFree=7104/7104
[pid=2142] ppid=2140 vsize=105948 CPUtime=1481.93 cores=1,3,5,7
/proc/2142/stat : 2142 (scip-2.1.1.4exp) R 2140 2142 31545 0 -1 4202496 76777 0 0 0 147675 518 0 0 20 0 1 0 269846396 108490752 25639 33554432000 4194304 10219143 140733679797936 140733679791288 9026266 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2142/statm: 26487 25639 865 1471 0 25007 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 105948

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2215
/proc/meminfo: memFree=29030680/32873624 swapFree=7104/7104
[pid=2142] ppid=2140 vsize=108316 CPUtime=1541.92 cores=1,3,5,7
/proc/2142/stat : 2142 (scip-2.1.1.4exp) R 2140 2142 31545 0 -1 4202496 77408 0 0 0 153650 542 0 0 20 0 1 0 269846396 110915584 26270 33554432000 4194304 10219143 140733679797936 140733679791192 9026266 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2142/statm: 27079 26270 865 1471 0 25599 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 108316

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 2253
/proc/meminfo: memFree=28935936/32873624 swapFree=7104/7104
[pid=2142] ppid=2140 vsize=110168 CPUtime=1601.91 cores=1,3,5,7
/proc/2142/stat : 2142 (scip-2.1.1.4exp) R 2140 2142 31545 0 -1 4202496 77919 0 0 0 159626 565 0 0 20 0 1 0 269846396 112812032 26779 33554432000 4194304 10219143 140733679797936 140733679791288 9026266 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2142/statm: 27542 26779 865 1471 0 26062 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 110168

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2255
/proc/meminfo: memFree=28933240/32873624 swapFree=7104/7104
[pid=2142] ppid=2140 vsize=110748 CPUtime=1661.9 cores=1,3,5,7
/proc/2142/stat : 2142 (scip-2.1.1.4exp) R 2140 2142 31545 0 -1 4202496 78052 0 0 0 165601 589 0 0 20 0 1 0 269846396 113405952 26912 33554432000 4194304 10219143 140733679797936 140733679791288 8098444 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2142/statm: 27687 26912 865 1471 0 26207 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 110748

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2256
/proc/meminfo: memFree=28930268/32873624 swapFree=7104/7104
[pid=2142] ppid=2140 vsize=113792 CPUtime=1721.89 cores=1,3,5,7
/proc/2142/stat : 2142 (scip-2.1.1.4exp) R 2140 2142 31545 0 -1 4202496 78831 0 0 0 171577 612 0 0 20 0 1 0 269846396 116523008 27691 33554432000 4194304 10219143 140733679797936 140733679790872 9026266 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2142/statm: 28448 27691 865 1471 0 26968 0
Current children cumulated CPU time (s) 1721.89
Current children cumulated vsize (KiB) 113792

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2256
/proc/meminfo: memFree=28918372/32873624 swapFree=7104/7104
[pid=2142] ppid=2140 vsize=118544 CPUtime=1781.88 cores=1,3,5,7
/proc/2142/stat : 2142 (scip-2.1.1.4exp) R 2140 2142 31545 0 -1 4202496 79984 0 0 0 177554 634 0 0 20 0 1 0 269846396 121389056 28841 33554432000 4194304 10219143 140733679797936 140733679790920 9026266 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2142/statm: 29636 28841 865 1471 0 28156 0
Current children cumulated CPU time (s) 1781.88
Current children cumulated vsize (KiB) 118544

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2256
/proc/meminfo: memFree=28918372/32873624 swapFree=7104/7104
[pid=2142] ppid=2140 vsize=118544 CPUtime=1785.08 cores=1,3,5,7
/proc/2142/stat : 2142 (scip-2.1.1.4exp) R 2140 2142 31545 0 -1 4202496 79984 0 0 0 177873 635 0 0 20 0 1 0 269846396 121389056 28841 33554432000 4194304 10219143 140733679797936 140733679791288 9026266 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2142/statm: 29636 28841 865 1471 0 28156 0
Current children cumulated CPU time (s) 1785.08
Current children cumulated vsize (KiB) 118544

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2259
/proc/meminfo: memFree=28915752/32873624 swapFree=7104/7104
[pid=2142] ppid=2140 vsize=118544 CPUtime=1791.49 cores=1,3,5,7
/proc/2142/stat : 2142 (scip-2.1.1.4exp) R 2140 2142 31545 0 -1 4202496 79987 0 0 0 178512 637 0 0 20 0 1 0 269846396 121389056 28844 33554432000 4194304 10219143 140733679797936 140733679791176 9026266 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2142/statm: 29636 28844 865 1471 0 28156 0
Current children cumulated CPU time (s) 1791.49
Current children cumulated vsize (KiB) 118544

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2259
/proc/meminfo: memFree=28915628/32873624 swapFree=7104/7104
[pid=2142] ppid=2140 vsize=118544 CPUtime=1794.69 cores=1,3,5,7
/proc/2142/stat : 2142 (scip-2.1.1.4exp) R 2140 2142 31545 0 -1 4202496 79987 0 0 0 178831 638 0 0 20 0 1 0 269846396 121389056 28844 33554432000 4194304 10219143 140733679797936 140733679791112 9026266 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2142/statm: 29636 28844 865 1471 0 28156 0
Current children cumulated CPU time (s) 1794.69
Current children cumulated vsize (KiB) 118544

[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2259
/proc/meminfo: memFree=28915628/32873624 swapFree=7104/7104
[pid=2142] ppid=2140 vsize=118544 CPUtime=1795.48 cores=1,3,5,7
/proc/2142/stat : 2142 (scip-2.1.1.4exp) R 2140 2142 31545 0 -1 4202496 79987 0 0 0 178910 638 0 0 20 0 1 0 269846396 121389056 28844 33554432000 4194304 10219143 140733679797936 140733679791192 8098746 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2142/statm: 29636 28844 865 1471 0 28156 0
Current children cumulated CPU time (s) 1795.48
Current children cumulated vsize (KiB) 118544

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2259
/proc/meminfo: memFree=28915380/32873624 swapFree=7104/7104
[pid=2142] ppid=2140 vsize=118544 CPUtime=1796.27 cores=1,3,5,7
/proc/2142/stat : 2142 (scip-2.1.1.4exp) R 2140 2142 31545 0 -1 4202496 79988 0 0 0 178989 638 0 0 20 0 1 0 269846396 121389056 28845 33554432000 4194304 10219143 140733679797936 140733679791240 8099239 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2142/statm: 29636 28845 865 1471 0 28156 0
Current children cumulated CPU time (s) 1796.27
Current children cumulated vsize (KiB) 118544

[startup+1797.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2259
/proc/meminfo: memFree=28915380/32873624 swapFree=7104/7104
[pid=2142] ppid=2140 vsize=118544 CPUtime=1796.68 cores=1,3,5,7
/proc/2142/stat : 2142 (scip-2.1.1.4exp) R 2140 2142 31545 0 -1 4202496 80003 0 0 0 179029 639 0 0 20 0 1 0 269846396 121389056 28860 33554432000 4194304 10219143 140733679797936 140733679791240 7594217 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2142/statm: 29636 28860 868 1471 0 28156 0
Current children cumulated CPU time (s) 1796.68
Current children cumulated vsize (KiB) 118544

Child status: 0
Real time (s): 1797.14
CPU time (s): 1796.73
CPU user time (s): 1790.33
CPU system time (s): 6.39403
CPU usage (%): 99.977
Max. virtual memory (cumulated for all children) (KiB): 118544

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.33
system time used= 6.39403
maximum resident set size= 115440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80005
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= 41
involuntary context switches= 6180

runsolver used 2.72558 second user time and 7.09892 second system time

The end

Launcher Data

Begin job on node121 at 2012-05-26 15:00:09
IDJOB=3692584
IDBENCH=48238
IDSOLVER=2271
FILE ID=node121/3692584-1338037209
RUNJOBID= node121-1338028773-531
PBS_JOBID= 14624350
Free space on /tmp= 71460 MiB

SOLVER NAME= SCIP spx E SCIP 2.1.1.4. Exp with SoPlex 1.6.0.3 fixed
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_200_25_2.opb
COMMAND LINE= HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3692584-1338037209/watcher-3692584-1338037209 -o /tmp/evaluation-result-3692584-1338037209/solver-3692584-1338037209 -C 1800 -W 1900 -M 15500  HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692584-1338037209.opb -t 1800 -m 15500

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

MD5SUM BENCH= 219f407da86957d900e068170e9af8b6
RANDOM SEED=1700795864

node121.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.042
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.042
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.042
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.042
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.042
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.042
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.042
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5438.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.042
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873624 kB
MemFree:        28885428 kB
Buffers:          256236 kB
Cached:          2648720 kB
SwapCached:            0 kB
Active:          1054336 kB
Inactive:        2162328 kB
Active(anon):     314288 kB
Inactive(anon):        0 kB
Active(file):     740048 kB
Inactive(file):  2162328 kB
Unevictable:        7104 kB
Mlocked:            7104 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             13748 kB
Writeback:             0 kB
AnonPages:        318328 kB
Mapped:            16524 kB
Shmem:               200 kB
Slab:             633716 kB
SReclaimable:      78148 kB
SUnreclaim:       555568 kB
KernelStack:        1448 kB
PageTables:         4208 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545668 kB
Committed_AS:     415256 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    262144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71448 MiB
End job on node121 at 2012-05-26 15:30:07