Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | SAT (MO) | 5255 | 1760.68 | 1924.13 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-9symml.opb |
| MD5SUM | 866c660dea8282137b8c78839dd4c03f |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 4517 |
| Best CPU time to get the best result obtained on this benchmark | 0.38694 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 4517 |
| Optimality of the best value was proved | YES |
| Number of variables | 651 |
| Total number of constraints | 1658 |
| Number of constraints which are clauses | 1656 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 2 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 42 |
| Number of terms in the objective function | 651 |
| Biggest coefficient in the objective function | 61 |
| Number of bits for the biggest coefficient in the objective function | 6 |
| Sum of the numbers in the objective function | 28138 |
| Number of bits of the sum of numbers in the objective function | 15 |
| Biggest number in a constraint | 61 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 28138 |
| Number of bits of the biggest sum of numbers | 15 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2664607-1276402617.opb>
0.00/0.04 c original problem has 651 variables (651 bin, 0 int, 0 impl, 0 cont) and 1658 constraints
0.00/0.04 c problem read
0.00/0.04 c presolving settings loaded
0.00/0.04 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.05 c presolving:
0.00/0.06 c (round 1) 17 del vars, 112 del conss, 17 chg bounds, 2 chg sides, 9 chg coeffs, 0 upgd conss, 1218 impls, 0 clqs
0.00/0.07 c (round 2) 17 del vars, 162 del conss, 17 chg bounds, 2 chg sides, 9 chg coeffs, 0 upgd conss, 1218 impls, 0 clqs
0.09/0.16 c (round 3) 17 del vars, 276 del conss, 17 chg bounds, 5 chg sides, 9 chg coeffs, 1486 upgd conss, 1218 impls, 0 clqs
0.09/0.16 c (round 4) 17 del vars, 276 del conss, 17 chg bounds, 5 chg sides, 9 chg coeffs, 1487 upgd conss, 1218 impls, 0 clqs
0.09/0.17 c (round 5) 17 del vars, 276 del conss, 17 chg bounds, 5 chg sides, 9 chg coeffs, 1488 upgd conss, 1218 impls, 0 clqs
0.09/0.18 c (0.1s) probing: 103/634 (16.2%) - 0 fixings, 0 aggregations, 6 implications, 0 bound changes
0.09/0.18 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.18 c presolving (6 rounds):
0.09/0.18 c 17 deleted vars, 276 deleted constraints, 17 tightened bounds, 0 added holes, 5 changed sides, 9 changed coefficients
0.09/0.18 c 1230 implications, 0 cliques
0.09/0.18 c presolved problem has 634 variables (634 bin, 0 int, 0 impl, 0 cont) and 1382 constraints
0.09/0.18 c 1382 constraints of type <logicor>
0.09/0.18 c transformed objective value is always integral (scale: 1)
0.09/0.18 c Presolving Time: 0.11
0.09/0.18 c - non default parameters ----------------------------------------------------------------------
0.09/0.18 c # SCIP version 1.2.1.2
0.09/0.18 c
0.09/0.18 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.18 c conflict/interconss = 0
0.09/0.18 c
0.09/0.18 c # should binary conflicts be preferred?
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c conflict/preferbinary = TRUE
0.09/0.18 c
0.09/0.18 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.18 c constraints/agelimit = 1
0.09/0.18 c
0.09/0.18 c # should enforcement of pseudo solution be disabled?
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/disableenfops = TRUE
0.09/0.18 c
0.09/0.18 c # frequency for displaying node information lines
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.18 c display/freq = 10000
0.09/0.18 c
0.09/0.18 c # maximal time in seconds to run
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/time = 1799.96
0.09/0.18 c
0.09/0.18 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/memory = 1620
0.09/0.18 c
0.09/0.18 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.18 c lp/solvefreq = -1
0.09/0.18 c
0.09/0.18 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
0.09/0.18 c # [type: char, range: {lafpsqd}, default: l]
0.09/0.18 c lp/pricing = a
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify inequalities
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/linear/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify knapsacks
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # priority of node selection rule <dfs> in standard mode
0.09/0.18 c # [type: int, range: [-536870912,536870911], default: 0]
0.09/0.18 c nodeselection/dfs/stdpriority = 1000000
0.09/0.18 c
0.09/0.18 c -----------------------------------------------------------------------------------------------
0.09/0.18 c start solving
0.09/0.18 c
0.09/0.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.18 c 0.1s| 1 | 2 | 0 | - |2771k| 0 | - | 634 |1382 | 0 | 0 | 0 | 0 | 0 | 5.950000e+02 | -- | Inf
0.19/0.23 o 5454
0.19/0.23 c * 0.2s| 322 | 317 | 0 | 0.0 |2991k| 320 | - | 634 |1383 | 0 | 0 | 0 | 1 | 0 | 6.270000e+02 | 5.454000e+03 | 769.86%
0.19/0.23 o 5448
0.19/0.23 c * 0.2s| 324 | 316 | 0 | 0.0 |2999k| 320 | - | 634 |1383 | 0 | 0 | 0 | 1 | 0 | 6.270000e+02 | 5.448000e+03 | 768.90%
0.19/0.26 o 5440
0.19/0.26 c * 0.2s| 396 | 316 | 0 | 0.0 |3047k| 321 | - | 634 |1469 | 0 | 0 | 0 | 130 | 0 | 6.270000e+02 | 5.440000e+03 | 767.62%
0.69/0.73 o 5439
0.69/0.73 c * 0.6s| 1853 | 314 | 0 | 0.0 |3552k| 322 | - | 634 |3033 | 0 | 0 | 0 |2476 | 0 | 6.270000e+02 | 5.439000e+03 | 767.46%
3.69/3.80 c 3.5s| 10000 | 301 | 0 | 0.0 |6523k| 322 | - | 634 | 12k| 0 | 0 | 0 | 16k| 0 | 6.270000e+02 | 5.439000e+03 | 767.46%
6.19/6.25 o 5438
6.19/6.25 c * 5.8s| 16454 | 298 | 0 | 0.0 |8802k| 322 | - | 634 | 19k| 0 | 0 | 0 | 27k| 0 | 6.270000e+02 | 5.438000e+03 | 767.30%
6.19/6.26 o 5437
6.19/6.26 c * 5.8s| 16483 | 298 | 0 | 0.0 |8816k| 322 | - | 634 | 19k| 0 | 0 | 0 | 27k| 0 | 6.270000e+02 | 5.437000e+03 | 767.15%
6.19/6.28 o 5436
6.19/6.28 c * 5.9s| 16543 | 295 | 0 | 0.0 |8846k| 322 | - | 634 | 19k| 0 | 0 | 0 | 27k| 0 | 6.270000e+02 | 5.436000e+03 | 766.99%
6.29/6.34 o 5433
6.29/6.34 c * 5.9s| 16677 | 300 | 0 | 0.0 |8899k| 322 | - | 634 | 19k| 0 | 0 | 0 | 27k| 0 | 6.270000e+02 | 5.433000e+03 | 766.51%
6.29/6.35 o 5432
6.29/6.35 c * 5.9s| 16688 | 299 | 0 | 0.0 |8910k| 322 | - | 634 | 19k| 0 | 0 | 0 | 27k| 0 | 6.270000e+02 | 5.432000e+03 | 766.35%
6.29/6.36 o 5431
6.29/6.36 c * 5.9s| 16707 | 298 | 0 | 0.0 |8926k| 322 | - | 634 | 19k| 0 | 0 | 0 | 27k| 0 | 6.270000e+02 | 5.431000e+03 | 766.19%
6.29/6.38 o 5430
6.29/6.38 c * 6.0s| 16756 | 299 | 0 | 0.0 |8946k| 322 | - | 634 | 19k| 0 | 0 | 0 | 27k| 0 | 6.270000e+02 | 5.430000e+03 | 766.03%
7.60/7.67 c 7.2s| 20000 | 298 | 0 | 0.0 | 10M| 322 | - | 634 | 23k| 0 | 0 | 0 | 32k| 0 | 6.270000e+02 | 5.430000e+03 | 766.03%
10.79/10.81 o 5405
10.79/10.81 c *10.1s| 28103 | 299 | 0 | 0.0 | 12M| 322 | - | 634 | 31k| 0 | 0 | 0 | 45k| 0 | 6.270000e+02 | 5.405000e+03 | 762.04%
10.79/10.82 o 5404
10.79/10.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
10.79/10.82 c *10.1s| 28104 | 297 | 0 | 0.0 | 12M| 322 | - | 634 | 31k| 0 | 0 | 0 | 45k| 0 | 6.270000e+02 | 5.404000e+03 | 761.88%
10.79/10.83 o 5401
10.79/10.83 c *10.2s| 28141 | 299 | 0 | 0.0 | 12M| 322 | - | 634 | 31k| 0 | 0 | 0 | 45k| 0 | 6.270000e+02 | 5.401000e+03 | 761.40%
10.79/10.83 o 5400
10.79/10.83 c *10.2s| 28145 | 297 | 0 | 0.0 | 12M| 322 | - | 634 | 31k| 0 | 0 | 0 | 45k| 0 | 6.270000e+02 | 5.400000e+03 | 761.24%
10.79/10.84 o 5394
10.79/10.84 c *10.2s| 28178 | 297 | 0 | 0.0 | 12M| 322 | - | 634 | 31k| 0 | 0 | 0 | 45k| 0 | 6.270000e+02 | 5.394000e+03 | 760.29%
10.79/10.84 o 5369
10.79/10.84 c *10.2s| 28191 | 299 | 0 | 0.0 | 12M| 322 | - | 634 | 31k| 0 | 0 | 0 | 45k| 0 | 6.270000e+02 | 5.369000e+03 | 756.30%
10.79/10.84 o 5368
10.79/10.84 c *10.2s| 28192 | 297 | 0 | 0.0 | 12M| 322 | - | 634 | 31k| 0 | 0 | 0 | 45k| 0 | 6.270000e+02 | 5.368000e+03 | 756.14%
10.79/10.85 o 5364
10.79/10.85 c *10.2s| 28218 | 296 | 0 | 0.0 | 12M| 322 | - | 634 | 31k| 0 | 0 | 0 | 45k| 0 | 6.270000e+02 | 5.364000e+03 | 755.50%
10.90/10.94 o 5363
10.90/10.94 c *10.2s| 28423 | 294 | 0 | 0.0 | 12M| 322 | - | 634 | 32k| 0 | 0 | 0 | 46k| 0 | 6.270000e+02 | 5.363000e+03 | 755.34%
10.99/11.00 o 5358
10.99/11.00 c *10.3s| 28573 | 296 | 0 | 0.0 | 13M| 322 | - | 634 | 32k| 0 | 0 | 0 | 46k| 0 | 6.270000e+02 | 5.358000e+03 | 754.55%
10.99/11.03 o 5357
10.99/11.03 c *10.3s| 28619 | 295 | 0 | 0.0 | 13M| 322 | - | 634 | 32k| 0 | 0 | 0 | 46k| 0 | 6.270000e+02 | 5.357000e+03 | 754.39%
11.09/11.14 o 5355
11.09/11.14 c *10.4s| 28877 | 295 | 0 | 0.0 | 13M| 322 | - | 634 | 32k| 0 | 0 | 0 | 46k| 0 | 6.270000e+02 | 5.355000e+03 | 754.07%
11.09/11.16 o 5349
11.09/11.16 c *10.5s| 28925 | 293 | 0 | 0.0 | 13M| 322 | - | 634 | 32k| 0 | 0 | 0 | 46k| 0 | 6.270000e+02 | 5.349000e+03 | 753.11%
11.19/11.20 o 5348
11.19/11.20 c *10.5s| 29042 | 293 | 0 | 0.0 | 13M| 322 | - | 634 | 32k| 0 | 0 | 0 | 47k| 0 | 6.270000e+02 | 5.348000e+03 | 752.95%
11.39/11.41 o 5346
11.39/11.41 c *10.7s| 29530 | 292 | 0 | 0.0 | 13M| 322 | - | 634 | 33k| 0 | 0 | 0 | 47k| 0 | 6.270000e+02 | 5.346000e+03 | 752.63%
11.39/11.41 o 5345
11.39/11.41 c *10.7s| 29541 | 292 | 0 | 0.0 | 13M| 322 | - | 634 | 33k| 0 | 0 | 0 | 47k| 0 | 6.270000e+02 | 5.345000e+03 | 752.47%
11.49/11.55 o 5344
11.49/11.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
11.49/11.55 c *10.8s| 29850 | 289 | 0 | 0.0 | 13M| 322 | - | 634 | 33k| 0 | 0 | 0 | 48k| 0 | 6.270000e+02 | 5.344000e+03 | 752.31%
11.59/11.62 c 10.9s| 30000 | 290 | 0 | 0.0 | 13M| 322 | - | 634 | 33k| 0 | 0 | 0 | 48k| 0 | 6.270000e+02 | 5.344000e+03 | 752.31%
11.69/11.73 o 5339
11.69/11.73 c *11.0s| 30224 | 292 | 0 | 0.0 | 13M| 322 | - | 634 | 34k| 0 | 0 | 0 | 49k| 0 | 6.270000e+02 | 5.339000e+03 | 751.52%
11.69/11.74 o 5338
11.69/11.74 c *11.0s| 30256 | 292 | 0 | 0.0 | 13M| 322 | - | 634 | 34k| 0 | 0 | 0 | 49k| 0 | 6.270000e+02 | 5.338000e+03 | 751.36%
15.89/15.96 c 15.0s| 40000 | 289 | 0 | 0.0 | 17M| 322 | - | 634 | 45k| 0 | 0 | 0 | 66k| 0 | 6.270000e+02 | 5.338000e+03 | 751.36%
20.29/20.31 c 19.1s| 50000 | 286 | 0 | 0.0 | 21M| 322 | - | 634 | 58k| 0 | 0 | 0 | 85k| 0 | 6.270000e+02 | 5.338000e+03 | 751.36%
24.59/24.68 c 23.2s| 60000 | 291 | 0 | 0.0 | 25M| 322 | - | 634 | 70k| 0 | 0 | 0 | 103k| 0 | 6.270000e+02 | 5.338000e+03 | 751.36%
28.78/28.82 c 27.1s| 70000 | 281 | 0 | 0.0 | 28M| 322 | - | 634 | 81k| 0 | 0 | 0 | 120k| 0 | 6.270000e+02 | 5.338000e+03 | 751.36%
32.78/32.88 c 30.9s| 80000 | 280 | 0 | 0.0 | 32M| 322 | - | 634 | 93k| 0 | 0 | 0 | 138k| 0 | 6.270000e+02 | 5.338000e+03 | 751.36%
36.88/36.92 c 34.7s| 90000 | 282 | 0 | 0.0 | 35M| 322 | - | 634 | 104k| 0 | 0 | 0 | 154k| 0 | 6.270000e+02 | 5.338000e+03 | 751.36%
40.98/41.09 c 38.6s|100000 | 281 | 0 | 0.0 | 39M| 322 | - | 634 | 115k| 0 | 0 | 0 | 171k| 0 | 6.270000e+02 | 5.338000e+03 | 751.36%
45.08/45.12 c 42.4s|110000 | 283 | 0 | 0.0 | 43M| 322 | - | 634 | 127k| 0 | 0 | 0 | 188k| 0 | 6.270000e+02 | 5.338000e+03 | 751.36%
49.07/49.18 c 46.2s|120000 | 282 | 0 | 0.0 | 46M| 322 | - | 634 | 138k| 0 | 0 | 0 | 205k| 0 | 6.270000e+02 | 5.338000e+03 | 751.36%
53.38/53.45 c 50.2s|130000 | 277 | 0 | 0.0 | 50M| 322 | - | 634 | 149k| 0 | 0 | 0 | 222k| 0 | 6.270000e+02 | 5.338000e+03 | 751.36%
57.57/57.61 c 54.2s|140000 | 275 | 0 | 0.0 | 54M| 322 | - | 634 | 161k| 0 | 0 | 0 | 239k| 0 | 6.270000e+02 | 5.338000e+03 | 751.36%
61.77/61.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
61.77/61.81 c 58.1s|150000 | 275 | 0 | 0.0 | 57M| 322 | - | 634 | 172k| 0 | 0 | 0 | 257k| 0 | 6.270000e+02 | 5.338000e+03 | 751.36%
65.88/65.99 c 62.1s|160000 | 275 | 0 | 0.0 | 61M| 322 | - | 634 | 184k| 0 | 0 | 0 | 274k| 0 | 6.270000e+02 | 5.338000e+03 | 751.36%
70.17/70.27 c 66.1s|170000 | 278 | 0 | 0.0 | 65M| 322 | - | 634 | 196k| 0 | 0 | 0 | 292k| 0 | 6.270000e+02 | 5.338000e+03 | 751.36%
74.36/74.49 c 70.1s|180000 | 277 | 0 | 0.0 | 68M| 322 | - | 634 | 207k| 0 | 0 | 0 | 309k| 0 | 6.270000e+02 | 5.338000e+03 | 751.36%
78.57/78.62 c 74.0s|190000 | 276 | 0 | 0.0 | 72M| 322 | - | 634 | 219k| 0 | 0 | 0 | 326k| 0 | 6.270000e+02 | 5.338000e+03 | 751.36%
82.86/82.95 c 78.1s|200000 | 277 | 0 | 0.0 | 76M| 322 | - | 634 | 230k| 0 | 0 | 0 | 344k| 0 | 6.270000e+02 | 5.338000e+03 | 751.36%
87.26/87.37 c 82.3s|210000 | 275 | 0 | 0.0 | 80M| 322 | - | 634 | 242k| 0 | 0 | 0 | 362k| 0 | 6.270000e+02 | 5.338000e+03 | 751.36%
91.66/91.75 c 86.4s|220000 | 274 | 0 | 0.0 | 83M| 322 | - | 634 | 255k| 0 | 0 | 0 | 380k| 0 | 6.270000e+02 | 5.338000e+03 | 751.36%
95.96/96.00 c 90.4s|230000 | 281 | 0 | 0.0 | 87M| 322 | - | 634 | 266k| 0 | 0 | 0 | 398k| 0 | 6.270000e+02 | 5.338000e+03 | 751.36%
100.16/100.29 c 94.4s|240000 | 276 | 0 | 0.0 | 92M| 322 | - | 634 | 278k| 0 | 0 | 0 | 416k| 0 | 6.270000e+02 | 5.338000e+03 | 751.36%
104.56/104.66 c 98.5s|250000 | 272 | 0 | 0.0 | 95M| 322 | - | 634 | 290k| 0 | 0 | 0 | 434k| 0 | 6.270000e+02 | 5.338000e+03 | 751.36%
108.76/108.80 c 102s|260000 | 274 | 0 | 0.0 | 98M| 322 | - | 634 | 302k| 0 | 0 | 0 | 451k| 0 | 6.270000e+02 | 5.338000e+03 | 751.36%
112.95/113.04 c 106s|270000 | 271 | 0 | 0.0 | 102M| 322 | - | 634 | 313k| 0 | 0 | 0 | 468k| 0 | 6.270000e+02 | 5.338000e+03 | 751.36%
117.25/117.32 c 110s|280000 | 272 | 0 | 0.0 | 105M| 322 | - | 634 | 325k| 0 | 0 | 0 | 486k| 0 | 6.270000e+02 | 5.338000e+03 | 751.36%
121.45/121.58 c 114s|290000 | 276 | 0 | 0.0 | 110M| 322 | - | 634 | 337k| 0 | 0 | 0 | 504k| 0 | 6.270000e+02 | 5.338000e+03 | 751.36%
125.85/125.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
125.85/125.91 c 118s|300000 | 271 | 0 | 0.0 | 114M| 322 | - | 634 | 349k| 0 | 0 | 0 | 522k| 0 | 6.270000e+02 | 5.338000e+03 | 751.36%
130.15/130.22 c 123s|310000 | 267 | 0 | 0.0 | 117M| 322 | - | 634 | 361k| 0 | 0 | 0 | 539k| 0 | 6.270000e+02 | 5.338000e+03 | 751.36%
134.06/134.14 o 5334
134.06/134.14 c * 126s|318749 | 277 | 0 | 0.0 | 120M| 322 | - | 634 | 371k| 0 | 0 | 0 | 555k| 0 | 6.270000e+02 | 5.334000e+03 | 750.72%
134.06/134.14 o 5333
134.06/134.14 c * 126s|318753 | 276 | 0 | 0.0 | 120M| 322 | - | 634 | 371k| 0 | 0 | 0 | 555k| 0 | 6.270000e+02 | 5.333000e+03 | 750.56%
134.06/134.14 o 5332
134.06/134.14 c * 126s|318757 | 275 | 0 | 0.0 | 120M| 322 | - | 634 | 371k| 0 | 0 | 0 | 555k| 0 | 6.270000e+02 | 5.332000e+03 | 750.40%
134.06/134.15 o 5331
134.06/134.15 c * 126s|318764 | 275 | 0 | 0.0 | 120M| 322 | - | 634 | 371k| 0 | 0 | 0 | 555k| 0 | 6.270000e+02 | 5.331000e+03 | 750.24%
134.55/134.67 c 127s|320000 | 278 | 0 | 0.0 | 121M| 322 | - | 634 | 372k| 0 | 0 | 0 | 557k| 0 | 6.270000e+02 | 5.331000e+03 | 750.24%
138.95/139.08 c 131s|330000 | 275 | 0 | 0.0 | 124M| 322 | - | 634 | 384k| 0 | 0 | 0 | 575k| 0 | 6.270000e+02 | 5.331000e+03 | 750.24%
143.34/143.46 c 135s|340000 | 273 | 0 | 0.0 | 129M| 322 | - | 634 | 396k| 0 | 0 | 0 | 593k| 0 | 6.270000e+02 | 5.331000e+03 | 750.24%
147.65/147.78 c 139s|350000 | 274 | 0 | 0.0 | 133M| 322 | - | 634 | 408k| 0 | 0 | 0 | 610k| 0 | 6.270000e+02 | 5.331000e+03 | 750.24%
152.04/152.19 c 143s|360000 | 275 | 0 | 0.0 | 136M| 322 | - | 634 | 420k| 0 | 0 | 0 | 628k| 0 | 6.270000e+02 | 5.331000e+03 | 750.24%
156.54/156.69 c 147s|370000 | 273 | 0 | 0.0 | 140M| 322 | - | 634 | 432k| 0 | 0 | 0 | 646k| 0 | 6.270000e+02 | 5.331000e+03 | 750.24%
158.35/158.46 o 5330
158.35/158.46 c * 149s|373868 | 271 | 0 | 0.0 | 141M| 322 | - | 634 | 436k| 0 | 0 | 0 | 653k| 0 | 6.270000e+02 | 5.330000e+03 | 750.08%
161.03/161.12 c 152s|380000 | 275 | 0 | 0.0 | 143M| 322 | - | 634 | 444k| 0 | 0 | 0 | 664k| 0 | 6.270000e+02 | 5.330000e+03 | 750.08%
165.33/165.46 c 156s|390000 | 273 | 0 | 0.0 | 147M| 322 | - | 634 | 456k| 0 | 0 | 0 | 682k| 0 | 6.270000e+02 | 5.330000e+03 | 750.08%
169.64/169.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
169.64/169.75 c 160s|400000 | 275 | 0 | 0.0 | 150M| 322 | - | 634 | 468k| 0 | 0 | 0 | 700k| 0 | 6.270000e+02 | 5.330000e+03 | 750.08%
174.24/174.35 c 164s|410000 | 277 | 0 | 0.0 | 156M| 322 | - | 634 | 480k| 0 | 0 | 0 | 718k| 0 | 6.270000e+02 | 5.330000e+03 | 750.08%
178.64/178.70 c 168s|420000 | 274 | 0 | 0.0 | 160M| 322 | - | 634 | 492k| 0 | 0 | 0 | 736k| 0 | 6.270000e+02 | 5.330000e+03 | 750.08%
183.03/183.17 c 172s|430000 | 276 | 0 | 0.0 | 163M| 322 | - | 634 | 504k| 0 | 0 | 0 | 754k| 0 | 6.270000e+02 | 5.330000e+03 | 750.08%
187.63/187.79 c 177s|440000 | 272 | 0 | 0.0 | 167M| 322 | - | 634 | 516k| 0 | 0 | 0 | 772k| 0 | 6.270000e+02 | 5.330000e+03 | 750.08%
192.23/192.36 c 181s|450000 | 274 | 0 | 0.0 | 170M| 322 | - | 634 | 528k| 0 | 0 | 0 | 791k| 0 | 6.270000e+02 | 5.330000e+03 | 750.08%
192.23/192.38 o 5327
192.23/192.38 c * 181s|450061 | 277 | 0 | 0.0 | 170M| 322 | - | 634 | 528k| 0 | 0 | 0 | 791k| 0 | 6.270000e+02 | 5.327000e+03 | 749.60%
192.23/192.39 o 5326
192.23/192.39 c * 181s|450081 | 276 | 0 | 0.0 | 170M| 322 | - | 634 | 528k| 0 | 0 | 0 | 791k| 0 | 6.270000e+02 | 5.326000e+03 | 749.44%
192.23/192.39 o 5325
192.23/192.39 c * 181s|450105 | 276 | 0 | 0.0 | 170M| 322 | - | 634 | 528k| 0 | 0 | 0 | 791k| 0 | 6.270000e+02 | 5.325000e+03 | 749.28%
193.92/194.06 o 5324
193.92/194.06 c * 183s|453980 | 278 | 0 | 0.0 | 172M| 322 | - | 634 | 533k| 0 | 0 | 0 | 797k| 0 | 6.270000e+02 | 5.324000e+03 | 749.12%
196.73/196.85 c 185s|460000 | 275 | 0 | 0.0 | 174M| 322 | - | 634 | 540k| 0 | 0 | 0 | 809k| 0 | 6.270000e+02 | 5.324000e+03 | 749.12%
201.14/201.22 c 189s|470000 | 273 | 0 | 0.0 | 177M| 322 | - | 634 | 552k| 0 | 0 | 0 | 826k| 0 | 6.270000e+02 | 5.324000e+03 | 749.12%
205.72/205.81 c 194s|480000 | 271 | 0 | 0.0 | 183M| 322 | - | 634 | 564k| 0 | 0 | 0 | 845k| 0 | 6.270000e+02 | 5.324000e+03 | 749.12%
210.12/210.29 c 198s|490000 | 277 | 0 | 0.0 | 187M| 322 | - | 634 | 577k| 0 | 0 | 0 | 863k| 0 | 6.270000e+02 | 5.324000e+03 | 749.12%
214.32/214.50 c 202s|500000 | 273 | 0 | 0.0 | 190M| 322 | - | 634 | 588k| 0 | 0 | 0 | 881k| 0 | 6.270000e+02 | 5.324000e+03 | 749.12%
218.83/218.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
218.83/218.96 c 206s|510000 | 275 | 0 | 0.0 | 194M| 322 | - | 634 | 600k| 0 | 0 | 0 | 899k| 0 | 6.270000e+02 | 5.324000e+03 | 749.12%
223.32/223.41 c 210s|520000 | 274 | 0 | 0.0 | 197M| 322 | - | 634 | 612k| 0 | 0 | 0 | 917k| 0 | 6.270000e+02 | 5.324000e+03 | 749.12%
227.62/227.72 c 214s|530000 | 269 | 0 | 0.0 | 201M| 322 | - | 634 | 624k| 0 | 0 | 0 | 935k| 0 | 6.270000e+02 | 5.324000e+03 | 749.12%
231.92/232.05 c 218s|540000 | 270 | 0 | 0.0 | 204M| 322 | - | 634 | 636k| 0 | 0 | 0 | 952k| 0 | 6.270000e+02 | 5.324000e+03 | 749.12%
236.32/236.46 c 223s|550000 | 268 | 0 | 0.0 | 208M| 322 | - | 634 | 648k| 0 | 0 | 0 | 971k| 0 | 6.270000e+02 | 5.324000e+03 | 749.12%
240.82/240.95 c 227s|560000 | 272 | 0 | 0.0 | 211M| 322 | - | 634 | 660k| 0 | 0 | 0 | 989k| 0 | 6.270000e+02 | 5.324000e+03 | 749.12%
245.22/245.33 c 231s|570000 | 273 | 0 | 0.0 | 215M| 322 | - | 634 | 672k| 0 | 0 | 0 |1007k| 0 | 6.270000e+02 | 5.324000e+03 | 749.12%
249.51/249.70 c 235s|580000 | 273 | 0 | 0.0 | 222M| 322 | - | 634 | 684k| 0 | 0 | 0 |1025k| 0 | 6.270000e+02 | 5.324000e+03 | 749.12%
253.91/254.04 c 239s|590000 | 272 | 0 | 0.0 | 225M| 322 | - | 634 | 696k| 0 | 0 | 0 |1042k| 0 | 6.270000e+02 | 5.324000e+03 | 749.12%
258.21/258.37 c 243s|600000 | 271 | 0 | 0.0 | 229M| 322 | - | 634 | 708k| 0 | 0 | 0 |1060k| 0 | 6.270000e+02 | 5.324000e+03 | 749.12%
262.40/262.59 c 247s|610000 | 275 | 0 | 0.0 | 232M| 322 | - | 634 | 719k| 0 | 0 | 0 |1078k| 0 | 6.270000e+02 | 5.324000e+03 | 749.12%
266.71/266.82 c 251s|620000 | 271 | 0 | 0.0 | 235M| 322 | - | 634 | 731k| 0 | 0 | 0 |1095k| 0 | 6.270000e+02 | 5.324000e+03 | 749.12%
272.70/272.81 c 257s|630000 | 270 | 0 | 0.0 | 44M| 322 | - | 634 |9424 | 0 | 0 | 0 |1114k| 0 | 6.270000e+02 | 5.324000e+03 | 749.12%
276.69/276.82 c 261s|640000 | 267 | 0 | 0.0 | 47M| 322 | - | 634 | 20k| 0 | 0 | 0 |1130k| 0 | 6.270000e+02 | 5.324000e+03 | 749.12%
280.99/281.10 c 265s|650000 | 267 | 0 | 0.0 | 51M| 322 | - | 634 | 32k| 0 | 0 | 0 |1148k| 0 | 6.270000e+02 | 5.324000e+03 | 749.12%
285.40/285.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
285.40/285.52 c 269s|660000 | 271 | 0 | 0.0 | 54M| 322 | - | 634 | 44k| 0 | 0 | 0 |1166k| 0 | 6.270000e+02 | 5.324000e+03 | 749.12%
289.79/289.96 c 273s|670000 | 269 | 0 | 0.0 | 57M| 322 | - | 634 | 55k| 0 | 0 | 0 |1183k| 0 | 6.270000e+02 | 5.324000e+03 | 749.12%
294.29/294.40 c 277s|680000 | 272 | 0 | 0.0 | 61M| 322 | - | 634 | 67k| 0 | 0 | 0 |1201k| 0 | 6.270000e+02 | 5.324000e+03 | 749.12%
298.49/298.65 c 281s|690000 | 272 | 0 | 0.0 | 64M| 322 | - | 634 | 79k| 0 | 0 | 0 |1218k| 0 | 6.270000e+02 | 5.324000e+03 | 749.12%
302.88/303.05 c 285s|700000 | 268 | 0 | 0.0 | 68M| 322 | - | 634 | 91k| 0 | 0 | 0 |1236k| 0 | 6.270000e+02 | 5.324000e+03 | 749.12%
307.38/307.50 c 289s|710000 | 265 | 0 | 0.0 | 71M| 322 | - | 634 | 103k| 0 | 0 | 0 |1254k| 0 | 6.270000e+02 | 5.324000e+03 | 749.12%
311.59/311.77 c 293s|720000 | 269 | 0 | 0.0 | 75M| 322 | - | 634 | 114k| 0 | 0 | 0 |1272k| 0 | 6.270000e+02 | 5.324000e+03 | 749.12%
315.88/316.08 c 298s|730000 | 269 | 0 | 0.0 | 78M| 322 | - | 634 | 126k| 0 | 0 | 0 |1290k| 0 | 6.270000e+02 | 5.324000e+03 | 749.12%
320.19/320.34 c 302s|740000 | 268 | 0 | 0.0 | 82M| 322 | - | 634 | 138k| 0 | 0 | 0 |1307k| 0 | 6.270000e+02 | 5.324000e+03 | 749.12%
324.48/324.68 c 306s|750000 | 262 | 0 | 0.0 | 85M| 322 | - | 634 | 149k| 0 | 0 | 0 |1325k| 0 | 6.270000e+02 | 5.324000e+03 | 749.12%
328.29/328.43 o 5320
328.29/328.43 c * 309s|758611 | 273 | 0 | 0.0 | 88M| 322 | - | 634 | 159k| 0 | 0 | 0 |1340k| 0 | 6.270000e+02 | 5.320000e+03 | 748.48%
328.29/328.43 o 5310
328.29/328.43 c * 309s|758627 | 272 | 0 | 0.0 | 88M| 322 | - | 634 | 160k| 0 | 0 | 0 |1340k| 0 | 6.270000e+02 | 5.310000e+03 | 746.89%
328.58/328.75 o 5306
328.58/328.75 c * 309s|759330 | 274 | 0 | 0.0 | 88M| 322 | - | 634 | 160k| 0 | 0 | 0 |1341k| 0 | 6.270000e+02 | 5.306000e+03 | 746.25%
328.58/328.77 o 5297
328.58/328.77 c * 309s|759396 | 273 | 0 | 0.0 | 88M| 322 | - | 634 | 160k| 0 | 0 | 0 |1341k| 0 | 6.270000e+02 | 5.297000e+03 | 744.82%
328.58/328.77 o 5296
328.58/328.77 c * 309s|759399 | 271 | 0 | 0.0 | 88M| 322 | - | 634 | 160k| 0 | 0 | 0 |1341k| 0 | 6.270000e+02 | 5.296000e+03 | 744.66%
328.88/329.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
328.88/329.05 c 310s|760000 | 274 | 0 | 0.0 | 88M| 322 | - | 634 | 161k| 0 | 0 | 0 |1342k| 0 | 6.270000e+02 | 5.296000e+03 | 744.66%
329.68/329.83 o 5295
329.68/329.83 c * 310s|761687 | 269 | 0 | 0.0 | 89M| 322 | - | 634 | 163k| 0 | 0 | 0 |1345k| 0 | 6.270000e+02 | 5.295000e+03 | 744.50%
333.38/333.59 c 314s|770000 | 267 | 0 | 0.0 | 92M| 322 | - | 634 | 173k| 0 | 0 | 0 |1360k| 0 | 6.270000e+02 | 5.295000e+03 | 744.50%
337.78/337.95 c 318s|780000 | 267 | 0 | 0.0 | 95M| 322 | - | 634 | 185k| 0 | 0 | 0 |1378k| 0 | 6.270000e+02 | 5.295000e+03 | 744.50%
342.17/342.31 c 322s|790000 | 268 | 0 | 0.0 | 99M| 322 | - | 634 | 197k| 0 | 0 | 0 |1396k| 0 | 6.270000e+02 | 5.295000e+03 | 744.50%
346.57/346.74 c 326s|800000 | 264 | 0 | 0.0 | 102M| 322 | - | 634 | 209k| 0 | 0 | 0 |1414k| 0 | 6.270000e+02 | 5.295000e+03 | 744.50%
348.87/349.00 o 5289
348.87/349.00 c * 329s|804939 | 273 | 0 | 0.0 | 104M| 322 | - | 634 | 215k| 0 | 0 | 0 |1423k| 0 | 6.270000e+02 | 5.289000e+03 | 743.54%
350.97/351.12 c 331s|810000 | 265 | 0 | 0.0 | 106M| 322 | - | 634 | 221k| 0 | 0 | 0 |1431k| 0 | 6.270000e+02 | 5.289000e+03 | 743.54%
355.08/355.28 c 334s|820000 | 263 | 0 | 0.0 | 109M| 322 | - | 634 | 232k| 0 | 0 | 0 |1448k| 0 | 6.270000e+02 | 5.289000e+03 | 743.54%
359.37/359.55 c 338s|830000 | 265 | 0 | 0.0 | 113M| 322 | - | 634 | 244k| 0 | 0 | 0 |1466k| 0 | 6.270000e+02 | 5.289000e+03 | 743.54%
363.77/363.97 c 343s|840000 | 265 | 0 | 0.0 | 116M| 322 | - | 634 | 256k| 0 | 0 | 0 |1484k| 0 | 6.270000e+02 | 5.289000e+03 | 743.54%
368.28/368.50 c 347s|850000 | 266 | 0 | 0.0 | 120M| 322 | - | 634 | 268k| 0 | 0 | 0 |1502k| 0 | 6.270000e+02 | 5.289000e+03 | 743.54%
372.78/372.91 c 351s|860000 | 265 | 0 | 0.0 | 123M| 322 | - | 634 | 280k| 0 | 0 | 0 |1520k| 0 | 6.270000e+02 | 5.289000e+03 | 743.54%
377.26/377.45 c 355s|870000 | 262 | 0 | 0.0 | 126M| 322 | - | 634 | 291k| 0 | 0 | 0 |1537k| 0 | 6.270000e+02 | 5.289000e+03 | 743.54%
381.76/381.92 c 360s|880000 | 268 | 0 | 0.0 | 130M| 322 | - | 634 | 303k| 0 | 0 | 0 |1555k| 0 | 6.270000e+02 | 5.289000e+03 | 743.54%
385.97/386.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
385.97/386.15 c 364s|890000 | 264 | 0 | 0.0 | 133M| 322 | - | 634 | 314k| 0 | 0 | 0 |1572k| 0 | 6.270000e+02 | 5.289000e+03 | 743.54%
390.56/390.71 c 368s|900000 | 263 | 0 | 0.0 | 137M| 322 | - | 634 | 326k| 0 | 0 | 0 |1590k| 0 | 6.270000e+02 | 5.289000e+03 | 743.54%
395.16/395.33 c 372s|910000 | 270 | 0 | 0.0 | 140M| 322 | - | 634 | 339k| 0 | 0 | 0 |1609k| 0 | 6.270000e+02 | 5.289000e+03 | 743.54%
399.46/399.62 c 376s|920000 | 266 | 0 | 0.0 | 144M| 322 | - | 634 | 350k| 0 | 0 | 0 |1626k| 0 | 6.270000e+02 | 5.289000e+03 | 743.54%
403.86/404.01 c 380s|930000 | 263 | 0 | 0.0 | 147M| 322 | - | 634 | 362k| 0 | 0 | 0 |1644k| 0 | 6.270000e+02 | 5.289000e+03 | 743.54%
408.36/408.59 c 385s|940000 | 272 | 0 | 0.0 | 151M| 322 | - | 634 | 375k| 0 | 0 | 0 |1662k| 0 | 6.270000e+02 | 5.289000e+03 | 743.54%
412.95/413.19 c 389s|950000 | 261 | 0 | 0.0 | 154M| 322 | - | 634 | 387k| 0 | 0 | 0 |1680k| 0 | 6.270000e+02 | 5.289000e+03 | 743.54%
417.35/417.57 c 393s|960000 | 264 | 0 | 0.0 | 158M| 322 | - | 634 | 398k| 0 | 0 | 0 |1698k| 0 | 6.270000e+02 | 5.289000e+03 | 743.54%
421.55/421.71 c 397s|970000 | 270 | 0 | 0.0 | 161M| 322 | - | 634 | 409k| 0 | 0 | 0 |1714k| 0 | 6.270000e+02 | 5.289000e+03 | 743.54%
425.94/426.10 c 401s|980000 | 265 | 0 | 0.0 | 164M| 322 | - | 634 | 421k| 0 | 0 | 0 |1732k| 0 | 6.270000e+02 | 5.289000e+03 | 743.54%
430.25/430.49 c 405s|990000 | 263 | 0 | 0.0 | 168M| 322 | - | 634 | 433k| 0 | 0 | 0 |1749k| 0 | 6.270000e+02 | 5.289000e+03 | 743.54%
434.75/434.97 c 410s| 1000k| 261 | 0 | 0.0 | 171M| 322 | - | 634 | 444k| 0 | 0 | 0 |1767k| 0 | 6.270000e+02 | 5.289000e+03 | 743.54%
439.14/439.30 c 414s| 1010k| 268 | 0 | 0.0 | 175M| 322 | - | 634 | 456k| 0 | 0 | 0 |1785k| 0 | 6.270000e+02 | 5.289000e+03 | 743.54%
443.54/443.78 c 418s| 1020k| 269 | 0 | 0.0 | 178M| 322 | - | 634 | 468k| 0 | 0 | 0 |1802k| 0 | 6.270000e+02 | 5.289000e+03 | 743.54%
447.75/447.99 c 422s| 1030k| 263 | 0 | 0.0 | 181M| 322 | - | 634 | 479k| 0 | 0 | 0 |1819k| 0 | 6.270000e+02 | 5.289000e+03 | 743.54%
452.15/452.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
452.15/452.30 c 426s| 1040k| 266 | 0 | 0.0 | 185M| 322 | - | 634 | 491k| 0 | 0 | 0 |1836k| 0 | 6.270000e+02 | 5.289000e+03 | 743.54%
456.44/456.68 c 430s| 1050k| 263 | 0 | 0.0 | 188M| 322 | - | 634 | 503k| 0 | 0 | 0 |1854k| 0 | 6.270000e+02 | 5.289000e+03 | 743.54%
460.84/461.04 c 434s| 1060k| 265 | 0 | 0.0 | 192M| 322 | - | 634 | 514k| 0 | 0 | 0 |1872k| 0 | 6.270000e+02 | 5.289000e+03 | 743.54%
465.15/465.36 c 438s| 1070k| 264 | 0 | 0.0 | 195M| 322 | - | 634 | 526k| 0 | 0 | 0 |1889k| 0 | 6.270000e+02 | 5.289000e+03 | 743.54%
469.63/469.86 c 443s| 1080k| 267 | 0 | 0.0 | 198M| 322 | - | 634 | 538k| 0 | 0 | 0 |1907k| 0 | 6.270000e+02 | 5.289000e+03 | 743.54%
474.03/474.27 c 447s| 1090k| 266 | 0 | 0.0 | 202M| 322 | - | 634 | 549k| 0 | 0 | 0 |1924k| 0 | 6.270000e+02 | 5.289000e+03 | 743.54%
478.13/478.37 c 451s| 1100k| 259 | 0 | 0.0 | 205M| 322 | - | 634 | 561k| 0 | 0 | 0 |1941k| 0 | 6.270000e+02 | 5.289000e+03 | 743.54%
482.44/482.61 c 455s| 1110k| 264 | 0 | 0.0 | 208M| 322 | - | 634 | 572k| 0 | 0 | 0 |1958k| 0 | 6.270000e+02 | 5.289000e+03 | 743.54%
486.84/487.05 c 459s| 1120k| 262 | 0 | 0.0 | 212M| 322 | - | 634 | 584k| 0 | 0 | 0 |1976k| 0 | 6.270000e+02 | 5.289000e+03 | 743.54%
491.54/491.71 c 463s| 1130k| 262 | 0 | 0.0 | 215M| 322 | - | 634 | 596k| 0 | 0 | 0 |1994k| 0 | 6.270000e+02 | 5.289000e+03 | 743.54%
496.13/496.39 c 468s| 1140k| 262 | 0 | 0.0 | 219M| 322 | - | 634 | 608k| 0 | 0 | 0 |2013k| 0 | 6.270000e+02 | 5.289000e+03 | 743.54%
500.83/501.00 c 472s| 1150k| 272 | 0 | 0.0 | 222M| 322 | - | 634 | 620k| 0 | 0 | 0 |2030k| 0 | 6.270000e+02 | 5.289000e+03 | 743.54%
505.23/505.43 c 476s| 1160k| 261 | 0 | 0.0 | 226M| 322 | - | 634 | 632k| 0 | 0 | 0 |2048k| 0 | 6.270000e+02 | 5.289000e+03 | 743.54%
509.73/509.97 c 480s| 1170k| 263 | 0 | 0.0 | 229M| 322 | - | 634 | 643k| 0 | 0 | 0 |2066k| 0 | 6.270000e+02 | 5.289000e+03 | 743.54%
514.23/514.46 c 485s| 1180k| 262 | 0 | 0.0 | 233M| 322 | - | 634 | 655k| 0 | 0 | 0 |2084k| 0 | 6.270000e+02 | 5.289000e+03 | 743.54%
518.62/518.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
518.62/518.86 c 489s| 1190k| 271 | 0 | 0.0 | 236M| 322 | - | 634 | 667k| 0 | 0 | 0 |2101k| 0 | 6.270000e+02 | 5.289000e+03 | 743.54%
519.32/519.51 o 5286
519.32/519.51 c * 489s| 1191k| 267 | 0 | 0.0 | 237M| 322 | - | 634 | 669k| 0 | 0 | 0 |2104k| 0 | 6.270000e+02 | 5.286000e+03 | 743.06%
523.12/523.34 c 493s| 1200k| 265 | 0 | 0.0 | 240M| 322 | - | 634 | 679k| 0 | 0 | 0 |2119k| 0 | 6.270000e+02 | 5.286000e+03 | 743.06%
527.62/527.81 c 497s| 1210k| 266 | 0 | 0.0 | 243M| 322 | - | 634 | 691k| 0 | 0 | 0 |2137k| 0 | 6.270000e+02 | 5.286000e+03 | 743.06%
532.02/532.27 c 501s| 1220k| 262 | 0 | 0.0 | 247M| 322 | - | 634 | 703k| 0 | 0 | 0 |2155k| 0 | 6.270000e+02 | 5.286000e+03 | 743.06%
533.62/533.80 o 5285
533.62/533.80 c * 503s| 1223k| 262 | 0 | 0.0 | 248M| 322 | - | 634 | 707k| 0 | 0 | 0 |2161k| 0 | 6.270000e+02 | 5.285000e+03 | 742.90%
536.52/536.75 c 506s| 1230k| 263 | 0 | 0.0 | 250M| 322 | - | 634 | 715k| 0 | 0 | 0 |2172k| 0 | 6.270000e+02 | 5.285000e+03 | 742.90%
541.02/541.29 c 510s| 1240k| 267 | 0 | 0.0 | 254M| 322 | - | 634 | 727k| 0 | 0 | 0 |2190k| 0 | 6.270000e+02 | 5.285000e+03 | 742.90%
545.62/545.86 c 514s| 1250k| 263 | 0 | 0.0 | 257M| 322 | - | 634 | 739k| 0 | 0 | 0 |2208k| 0 | 6.270000e+02 | 5.285000e+03 | 742.90%
550.01/550.27 c 518s| 1260k| 262 | 0 | 0.0 | 261M| 322 | - | 634 | 750k| 0 | 0 | 0 |2226k| 0 | 6.270000e+02 | 5.285000e+03 | 742.90%
554.61/554.82 c 523s| 1270k| 265 | 0 | 0.0 | 264M| 322 | - | 634 | 762k| 0 | 0 | 0 |2244k| 0 | 6.270000e+02 | 5.285000e+03 | 742.90%
555.91/556.18 o 5280
555.91/556.18 c * 524s| 1272k| 272 | 0 | 0.0 | 265M| 322 | - | 634 | 766k| 0 | 0 | 0 |2249k| 0 | 6.270000e+02 | 5.280000e+03 | 742.11%
555.91/556.19 o 5279
555.91/556.19 c * 524s| 1272k| 272 | 0 | 0.0 | 265M| 322 | - | 634 | 766k| 0 | 0 | 0 |2249k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
559.32/559.52 c 527s| 1280k| 272 | 0 | 0.0 | 268M| 322 | - | 634 | 775k| 0 | 0 | 0 |2262k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
563.61/563.83 c 531s| 1290k| 264 | 0 | 0.0 | 271M| 322 | - | 634 | 786k| 0 | 0 | 0 |2280k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
567.91/568.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
567.91/568.13 c 535s| 1300k| 261 | 0 | 0.0 | 274M| 322 | - | 634 | 798k| 0 | 0 | 0 |2297k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
572.11/572.39 c 539s| 1310k| 265 | 0 | 0.0 | 282M| 322 | - | 634 | 809k| 0 | 0 | 0 |2314k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
576.70/576.91 c 544s| 1320k| 261 | 0 | 0.0 | 285M| 322 | - | 634 | 821k| 0 | 0 | 0 |2332k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
581.01/581.26 c 548s| 1330k| 267 | 0 | 0.0 | 288M| 322 | - | 634 | 833k| 0 | 0 | 0 |2350k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
585.40/585.64 c 552s| 1340k| 265 | 0 | 0.0 | 292M| 322 | - | 634 | 845k| 0 | 0 | 0 |2367k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
589.81/590.04 c 556s| 1350k| 260 | 0 | 0.0 | 295M| 322 | - | 634 | 857k| 0 | 0 | 0 |2386k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
594.10/594.31 c 560s| 1360k| 263 | 0 | 0.0 | 299M| 322 | - | 634 | 869k| 0 | 0 | 0 |2404k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
598.21/598.47 c 564s| 1370k| 269 | 0 | 0.0 | 302M| 322 | - | 634 | 880k| 0 | 0 | 0 |2421k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
602.51/602.80 c 568s| 1380k| 266 | 0 | 0.0 | 306M| 322 | - | 634 | 892k| 0 | 0 | 0 |2438k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
606.80/607.09 c 572s| 1390k| 261 | 0 | 0.0 | 309M| 322 | - | 634 | 904k| 0 | 0 | 0 |2456k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
611.20/611.47 c 576s| 1400k| 263 | 0 | 0.0 | 313M| 322 | - | 634 | 916k| 0 | 0 | 0 |2474k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
615.71/615.97 c 580s| 1410k| 261 | 0 | 0.0 | 316M| 322 | - | 634 | 928k| 0 | 0 | 0 |2492k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
620.21/620.49 c 585s| 1420k| 263 | 0 | 0.0 | 320M| 322 | - | 634 | 940k| 0 | 0 | 0 |2511k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
624.69/624.94 c 589s| 1430k| 261 | 0 | 0.0 | 323M| 322 | - | 634 | 952k| 0 | 0 | 0 |2528k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
629.29/629.58 c 593s| 1440k| 263 | 0 | 0.0 | 327M| 322 | - | 634 | 964k| 0 | 0 | 0 |2547k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
633.89/634.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
633.89/634.14 c 598s| 1450k| 264 | 0 | 0.0 | 335M| 322 | - | 634 | 976k| 0 | 0 | 0 |2565k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
638.19/638.42 c 602s| 1460k| 266 | 0 | 0.0 | 338M| 322 | - | 634 | 988k| 0 | 0 | 0 |2582k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
642.48/642.71 c 606s| 1470k| 263 | 0 | 0.0 | 342M| 322 | - | 634 |1000k| 0 | 0 | 0 |2600k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
646.79/647.04 c 610s| 1480k| 257 | 0 | 0.0 | 345M| 322 | - | 634 |1012k| 0 | 0 | 0 |2618k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
651.09/651.36 c 614s| 1490k| 260 | 0 | 0.0 | 349M| 322 | - | 634 |1023k| 0 | 0 | 0 |2636k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
655.39/655.67 c 618s| 1500k| 259 | 0 | 0.0 | 352M| 322 | - | 634 |1035k| 0 | 0 | 0 |2653k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
659.58/659.88 c 622s| 1510k| 261 | 0 | 0.0 | 356M| 322 | - | 634 |1047k| 0 | 0 | 0 |2670k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
663.88/664.18 c 626s| 1520k| 258 | 0 | 0.0 | 359M| 322 | - | 634 |1059k| 0 | 0 | 0 |2689k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
668.39/668.62 c 630s| 1530k| 259 | 0 | 0.0 | 363M| 322 | - | 634 |1071k| 0 | 0 | 0 |2706k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
672.88/673.14 c 634s| 1540k| 255 | 0 | 0.0 | 366M| 322 | - | 634 |1082k| 0 | 0 | 0 |2724k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
677.28/677.60 c 638s| 1550k| 262 | 0 | 0.0 | 369M| 322 | - | 634 |1094k| 0 | 0 | 0 |2742k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
681.87/682.17 c 643s| 1560k| 260 | 0 | 0.0 | 373M| 322 | - | 634 |1106k| 0 | 0 | 0 |2760k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
686.37/686.68 c 647s| 1570k| 258 | 0 | 0.0 | 376M| 322 | - | 634 |1118k| 0 | 0 | 0 |2778k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
690.97/691.25 c 651s| 1580k| 260 | 0 | 0.0 | 380M| 322 | - | 634 |1130k| 0 | 0 | 0 |2796k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
695.37/695.69 c 655s| 1590k| 261 | 0 | 0.0 | 383M| 322 | - | 634 |1142k| 0 | 0 | 0 |2814k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
699.67/699.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
699.67/699.98 c 660s| 1600k| 263 | 0 | 0.0 | 387M| 322 | - | 634 |1154k| 0 | 0 | 0 |2831k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
704.16/704.41 c 664s| 1610k| 258 | 0 | 0.0 | 396M| 322 | - | 634 |1166k| 0 | 0 | 0 |2849k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
708.47/708.74 c 668s| 1620k| 264 | 0 | 0.0 | 399M| 322 | - | 634 |1177k| 0 | 0 | 0 |2866k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
713.16/713.47 c 672s| 1630k| 260 | 0 | 0.0 | 403M| 322 | - | 634 |1189k| 0 | 0 | 0 |2884k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
717.67/717.99 c 676s| 1640k| 260 | 0 | 0.0 | 406M| 322 | - | 634 |1201k| 0 | 0 | 0 |2902k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
722.36/722.68 c 681s| 1650k| 258 | 0 | 0.0 | 410M| 322 | - | 634 |1213k| 0 | 0 | 0 |2920k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
726.86/727.19 c 685s| 1660k| 261 | 0 | 0.0 | 413M| 322 | - | 634 |1225k| 0 | 0 | 0 |2938k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
731.36/731.64 c 689s| 1670k| 264 | 0 | 0.0 | 417M| 322 | - | 634 |1237k| 0 | 0 | 0 |2955k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
735.76/736.02 c 694s| 1680k| 257 | 0 | 0.0 | 420M| 322 | - | 634 |1248k| 0 | 0 | 0 |2973k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
740.06/740.32 c 698s| 1690k| 255 | 0 | 0.0 | 423M| 322 | - | 634 |1260k| 0 | 0 | 0 |2990k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
744.46/744.71 c 702s| 1700k| 263 | 0 | 0.0 | 427M| 322 | - | 634 |1271k| 0 | 0 | 0 |3007k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
748.95/749.23 c 706s| 1710k| 265 | 0 | 0.0 | 430M| 322 | - | 634 |1283k| 0 | 0 | 0 |3025k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
753.45/753.79 c 710s| 1720k| 258 | 0 | 0.0 | 434M| 322 | - | 634 |1295k| 0 | 0 | 0 |3043k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
758.15/758.41 c 715s| 1730k| 256 | 0 | 0.0 | 437M| 322 | - | 634 |1308k| 0 | 0 | 0 |3062k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
762.54/762.84 c 719s| 1740k| 260 | 0 | 0.0 | 441M| 322 | - | 634 |1320k| 0 | 0 | 0 |3080k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
767.05/767.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
767.05/767.37 c 723s| 1750k| 262 | 0 | 0.0 | 444M| 322 | - | 634 |1332k| 0 | 0 | 0 |3098k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
771.44/771.74 c 727s| 1760k| 259 | 0 | 0.0 | 448M| 322 | - | 634 |1344k| 0 | 0 | 0 |3116k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
776.14/776.40 c 732s| 1770k| 261 | 0 | 0.0 | 451M| 322 | - | 634 |1356k| 0 | 0 | 0 |3134k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
780.74/781.02 c 736s| 1780k| 263 | 0 | 0.0 | 455M| 322 | - | 634 |1368k| 0 | 0 | 0 |3152k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
785.05/785.32 c 740s| 1790k| 260 | 0 | 0.0 | 458M| 322 | - | 634 |1379k| 0 | 0 | 0 |3169k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
789.45/789.74 c 744s| 1800k| 256 | 0 | 0.0 | 462M| 322 | - | 634 |1391k| 0 | 0 | 0 |3187k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
793.84/794.19 c 748s| 1810k| 258 | 0 | 0.0 | 472M| 322 | - | 634 |1403k| 0 | 0 | 0 |3205k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
798.34/798.69 c 753s| 1820k| 261 | 0 | 0.0 | 475M| 322 | - | 634 |1415k| 0 | 0 | 0 |3223k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
802.83/803.14 c 757s| 1830k| 259 | 0 | 0.0 | 479M| 322 | - | 634 |1427k| 0 | 0 | 0 |3241k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
807.24/807.54 c 761s| 1840k| 256 | 0 | 0.0 | 482M| 322 | - | 634 |1438k| 0 | 0 | 0 |3258k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
811.63/811.96 c 765s| 1850k| 261 | 0 | 0.0 | 486M| 322 | - | 634 |1450k| 0 | 0 | 0 |3276k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
816.33/816.66 c 770s| 1860k| 256 | 0 | 0.0 | 489M| 322 | - | 634 |1462k| 0 | 0 | 0 |3294k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
821.13/821.48 c 774s| 1870k| 258 | 0 | 0.0 | 493M| 322 | - | 634 |1474k| 0 | 0 | 0 |3312k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
825.73/826.07 c 778s| 1880k| 260 | 0 | 0.0 | 496M| 322 | - | 634 |1486k| 0 | 0 | 0 |3330k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
830.24/830.58 c 783s| 1890k| 264 | 0 | 0.0 | 500M| 322 | - | 634 |1498k| 0 | 0 | 0 |3348k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
834.42/834.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
834.42/834.77 c 787s| 1900k| 260 | 0 | 0.0 | 503M| 322 | - | 634 |1510k| 0 | 0 | 0 |3365k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
838.62/838.92 c 791s| 1910k| 260 | 0 | 0.0 | 506M| 322 | - | 634 |1521k| 0 | 0 | 0 |3381k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
842.82/843.11 c 794s| 1920k| 257 | 0 | 0.0 | 510M| 322 | - | 634 |1532k| 0 | 0 | 0 |3398k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
847.12/847.49 c 799s| 1930k| 261 | 0 | 0.0 | 513M| 322 | - | 634 |1544k| 0 | 0 | 0 |3416k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
851.52/851.86 c 803s| 1940k| 260 | 0 | 0.0 | 516M| 322 | - | 634 |1556k| 0 | 0 | 0 |3434k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
855.92/856.24 c 807s| 1950k| 259 | 0 | 0.0 | 520M| 322 | - | 634 |1567k| 0 | 0 | 0 |3452k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
860.41/860.72 c 811s| 1960k| 252 | 0 | 0.0 | 523M| 322 | - | 634 |1580k| 0 | 0 | 0 |3470k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
864.71/865.07 c 815s| 1970k| 254 | 0 | 0.0 | 527M| 322 | - | 634 |1591k| 0 | 0 | 0 |3487k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
869.12/869.45 c 819s| 1980k| 258 | 0 | 0.0 | 530M| 322 | - | 634 |1603k| 0 | 0 | 0 |3505k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
873.52/873.82 c 823s| 1990k| 254 | 0 | 0.0 | 534M| 322 | - | 634 |1615k| 0 | 0 | 0 |3523k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
877.91/878.22 c 828s| 2000k| 256 | 0 | 0.0 | 537M| 322 | - | 634 |1627k| 0 | 0 | 0 |3541k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
882.02/882.30 c 831s| 2010k| 255 | 0 | 0.0 | 540M| 322 | - | 634 |1638k| 0 | 0 | 0 |3557k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
886.41/886.80 c 836s| 2020k| 253 | 0 | 0.0 | 544M| 322 | - | 634 |1649k| 0 | 0 | 0 |3575k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
891.01/891.33 c 840s| 2030k| 262 | 0 | 0.0 | 547M| 322 | - | 634 |1662k| 0 | 0 | 0 |3593k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
895.21/895.53 c 844s| 2040k| 252 | 0 | 0.0 | 551M| 322 | - | 634 |1673k| 0 | 0 | 0 |3610k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
899.52/899.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
899.52/899.86 c 848s| 2050k| 256 | 0 | 0.0 | 562M| 322 | - | 634 |1685k| 0 | 0 | 0 |3627k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
904.10/904.43 c 852s| 2060k| 256 | 0 | 0.0 | 566M| 322 | - | 634 |1696k| 0 | 0 | 0 |3645k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
908.70/909.09 c 857s| 2070k| 255 | 0 | 0.0 | 569M| 322 | - | 634 |1709k| 0 | 0 | 0 |3663k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
913.30/913.66 c 861s| 2080k| 251 | 0 | 0.0 | 573M| 322 | - | 634 |1720k| 0 | 0 | 0 |3681k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
917.60/917.95 c 865s| 2090k| 252 | 0 | 0.0 | 576M| 322 | - | 634 |1732k| 0 | 0 | 0 |3698k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
922.00/922.35 c 869s| 2100k| 254 | 0 | 0.0 | 579M| 322 | - | 634 |1743k| 0 | 0 | 0 |3715k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
926.40/926.79 c 873s| 2110k| 254 | 0 | 0.0 | 583M| 322 | - | 634 |1755k| 0 | 0 | 0 |3733k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
931.00/931.38 c 878s| 2120k| 250 | 0 | 0.0 | 586M| 322 | - | 634 |1767k| 0 | 0 | 0 |3751k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
935.29/935.67 c 882s| 2130k| 257 | 0 | 0.0 | 589M| 322 | - | 634 |1778k| 0 | 0 | 0 |3768k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
939.89/940.27 c 886s| 2140k| 255 | 0 | 0.0 | 593M| 322 | - | 634 |1790k| 0 | 0 | 0 |3785k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
944.30/944.62 c 890s| 2150k| 256 | 0 | 0.0 | 596M| 322 | - | 634 |1801k| 0 | 0 | 0 |3802k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
948.80/949.12 c 894s| 2160k| 252 | 0 | 0.0 | 600M| 322 | - | 634 |1813k| 0 | 0 | 0 |3820k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
953.40/953.78 c 899s| 2170k| 251 | 0 | 0.0 | 603M| 322 | - | 634 |1825k| 0 | 0 | 0 |3838k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
957.79/958.18 c 903s| 2180k| 251 | 0 | 0.0 | 607M| 322 | - | 634 |1837k| 0 | 0 | 0 |3855k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
962.39/962.79 c 907s| 2190k| 256 | 0 | 0.0 | 610M| 322 | - | 634 |1849k| 0 | 0 | 0 |3873k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
966.99/967.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
966.99/967.39 c 912s| 2200k| 253 | 0 | 0.0 | 614M| 322 | - | 634 |1861k| 0 | 0 | 0 |3891k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
971.39/971.77 c 916s| 2210k| 256 | 0 | 0.0 | 617M| 322 | - | 634 |1872k| 0 | 0 | 0 |3909k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
975.79/976.17 c 920s| 2220k| 255 | 0 | 0.0 | 620M| 322 | - | 634 |1884k| 0 | 0 | 0 |3926k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
980.48/980.86 c 924s| 2230k| 251 | 0 | 0.0 | 624M| 322 | - | 634 |1896k| 0 | 0 | 0 |3945k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
985.08/985.42 c 929s| 2240k| 253 | 0 | 0.0 | 627M| 322 | - | 634 |1908k| 0 | 0 | 0 |3962k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
989.58/989.97 c 933s| 2250k| 252 | 0 | 0.0 | 631M| 322 | - | 634 |1920k| 0 | 0 | 0 |3980k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
994.28/994.62 c 937s| 2260k| 263 | 0 | 0.0 | 634M| 322 | - | 634 |1931k| 0 | 0 | 0 |3998k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
998.78/999.17 c 942s| 2270k| 256 | 0 | 0.0 | 638M| 322 | - | 634 |1943k| 0 | 0 | 0 |4015k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1003.47/1003.87 c 946s| 2280k| 259 | 0 | 0.0 | 641M| 322 | - | 634 |1955k| 0 | 0 | 0 |4033k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1007.98/1008.40 c 950s| 2290k| 253 | 0 | 0.0 | 645M| 322 | - | 634 |1967k| 0 | 0 | 0 |4051k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1012.57/1012.93 c 955s| 2300k| 257 | 0 | 0.0 | 648M| 322 | - | 634 |1979k| 0 | 0 | 0 |4068k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1017.38/1017.72 c 959s| 2310k| 253 | 0 | 0.0 | 652M| 322 | - | 634 |1991k| 0 | 0 | 0 |4087k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1021.97/1022.39 c 964s| 2320k| 255 | 0 | 0.0 | 655M| 322 | - | 634 |2003k| 0 | 0 | 0 |4105k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1026.67/1027.02 c 968s| 2330k| 252 | 0 | 0.0 | 668M| 322 | - | 634 |2015k| 0 | 0 | 0 |4123k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1031.17/1031.57 c 972s| 2340k| 255 | 0 | 0.0 | 672M| 322 | - | 634 |2027k| 0 | 0 | 0 |4141k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1035.87/1036.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1035.87/1036.23 c 977s| 2350k| 251 | 0 | 0.0 | 675M| 322 | - | 634 |2039k| 0 | 0 | 0 |4159k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1040.46/1040.86 c 981s| 2360k| 255 | 0 | 0.0 | 679M| 322 | - | 634 |2051k| 0 | 0 | 0 |4177k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1045.17/1045.60 c 985s| 2370k| 254 | 0 | 0.0 | 682M| 322 | - | 634 |2063k| 0 | 0 | 0 |4195k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1050.07/1050.46 c 990s| 2380k| 254 | 0 | 0.0 | 686M| 322 | - | 634 |2075k| 0 | 0 | 0 |4213k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1054.86/1055.29 c 995s| 2390k| 262 | 0 | 0.0 | 689M| 322 | - | 634 |2087k| 0 | 0 | 0 |4231k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1059.66/1060.05 c 999s| 2400k| 255 | 0 | 0.0 | 693M| 322 | - | 634 |2099k| 0 | 0 | 0 |4249k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1064.26/1064.66 c 1003s| 2410k| 251 | 0 | 0.0 | 696M| 322 | - | 634 |2111k| 0 | 0 | 0 |4267k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1068.96/1069.34 c 1008s| 2420k| 259 | 0 | 0.0 | 700M| 322 | - | 634 |2123k| 0 | 0 | 0 |4285k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1073.65/1074.05 c 1012s| 2430k| 260 | 0 | 0.0 | 703M| 322 | - | 634 |2135k| 0 | 0 | 0 |4303k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1078.35/1078.72 c 1017s| 2440k| 258 | 0 | 0.0 | 707M| 322 | - | 634 |2147k| 0 | 0 | 0 |4321k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1083.06/1083.46 c 1021s| 2450k| 252 | 0 | 0.0 | 710M| 322 | - | 634 |2159k| 0 | 0 | 0 |4339k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1087.76/1088.17 c 1026s| 2460k| 253 | 0 | 0.0 | 714M| 322 | - | 634 |2171k| 0 | 0 | 0 |4357k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1092.55/1092.98 c 1030s| 2470k| 250 | 0 | 0.0 | 717M| 322 | - | 634 |2183k| 0 | 0 | 0 |4375k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1097.15/1097.50 c 1034s| 2480k| 255 | 0 | 0.0 | 721M| 322 | - | 634 |2195k| 0 | 0 | 0 |4393k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1101.35/1101.78 c 1038s| 2490k| 256 | 0 | 0.0 | 724M| 322 | - | 634 |2206k| 0 | 0 | 0 |4410k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1105.55/1105.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1105.55/1105.96 c 1042s| 2500k| 254 | 0 | 0.0 | 727M| 322 | - | 634 |2217k| 0 | 0 | 0 |4426k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1109.85/1110.21 c 1046s| 2510k| 255 | 0 | 0.0 | 731M| 322 | - | 634 |2228k| 0 | 0 | 0 |4443k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1114.24/1114.63 c 1051s| 2520k| 251 | 0 | 0.0 | 734M| 322 | - | 634 |2240k| 0 | 0 | 0 |4461k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1118.55/1118.95 c 1055s| 2530k| 250 | 0 | 0.0 | 737M| 322 | - | 634 |2251k| 0 | 0 | 0 |4478k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1122.94/1123.30 c 1059s| 2540k| 255 | 0 | 0.0 | 741M| 322 | - | 634 |2263k| 0 | 0 | 0 |4495k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1127.24/1127.66 c 1063s| 2550k| 256 | 0 | 0.0 | 744M| 322 | - | 634 |2275k| 0 | 0 | 0 |4513k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1131.94/1132.37 c 1067s| 2560k| 254 | 0 | 0.0 | 748M| 322 | - | 634 |2287k| 0 | 0 | 0 |4531k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1136.44/1136.89 c 1072s| 2570k| 255 | 0 | 0.0 | 751M| 322 | - | 634 |2299k| 0 | 0 | 0 |4550k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1141.04/1141.47 c 1076s| 2580k| 256 | 0 | 0.0 | 755M| 322 | - | 634 |2311k| 0 | 0 | 0 |4568k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1145.74/1146.10 c 1080s| 2590k| 254 | 0 | 0.0 | 758M| 322 | - | 634 |2323k| 0 | 0 | 0 |4585k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1150.14/1150.57 c 1085s| 2600k| 252 | 0 | 0.0 | 762M| 322 | - | 634 |2335k| 0 | 0 | 0 |4603k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1154.64/1155.03 c 1089s| 2610k| 249 | 0 | 0.0 | 765M| 322 | - | 634 |2347k| 0 | 0 | 0 |4621k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1159.13/1159.56 c 1093s| 2620k| 264 | 0 | 0.0 | 769M| 322 | - | 634 |2359k| 0 | 0 | 0 |4639k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1163.44/1163.87 c 1097s| 2630k| 256 | 0 | 0.0 | 772M| 322 | - | 634 |2370k| 0 | 0 | 0 |4656k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1167.93/1168.32 c 1101s| 2640k| 252 | 0 | 0.0 | 775M| 322 | - | 634 |2382k| 0 | 0 | 0 |4673k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1172.33/1172.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1172.33/1172.72 c 1106s| 2650k| 251 | 0 | 0.0 | 779M| 322 | - | 634 |2394k| 0 | 0 | 0 |4691k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1176.72/1177.12 c 1110s| 2660k| 250 | 0 | 0.0 | 782M| 322 | - | 634 |2405k| 0 | 0 | 0 |4709k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1181.23/1181.66 c 1114s| 2670k| 253 | 0 | 0.0 | 797M| 322 | - | 634 |2417k| 0 | 0 | 0 |4726k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1185.73/1186.16 c 1118s| 2680k| 250 | 0 | 0.0 | 801M| 322 | - | 634 |2429k| 0 | 0 | 0 |4744k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1190.33/1190.76 c 1122s| 2690k| 251 | 0 | 0.0 | 804M| 322 | - | 634 |2441k| 0 | 0 | 0 |4762k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1194.72/1195.11 c 1127s| 2700k| 253 | 0 | 0.0 | 808M| 322 | - | 634 |2453k| 0 | 0 | 0 |4780k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1199.13/1199.58 c 1131s| 2710k| 250 | 0 | 0.0 | 811M| 322 | - | 634 |2465k| 0 | 0 | 0 |4798k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1203.72/1204.15 c 1135s| 2720k| 250 | 0 | 0.0 | 815M| 322 | - | 634 |2477k| 0 | 0 | 0 |4816k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1208.12/1208.56 c 1139s| 2730k| 249 | 0 | 0.0 | 818M| 322 | - | 634 |2489k| 0 | 0 | 0 |4834k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1212.72/1213.16 c 1144s| 2740k| 258 | 0 | 0.0 | 822M| 322 | - | 634 |2501k| 0 | 0 | 0 |4852k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1217.33/1217.80 c 1148s| 2750k| 255 | 0 | 0.0 | 825M| 322 | - | 634 |2513k| 0 | 0 | 0 |4870k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1222.11/1222.51 c 1152s| 2760k| 254 | 0 | 0.0 | 829M| 322 | - | 634 |2525k| 0 | 0 | 0 |4888k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1226.61/1227.06 c 1157s| 2770k| 254 | 0 | 0.0 | 832M| 322 | - | 634 |2536k| 0 | 0 | 0 |4905k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1231.31/1231.78 c 1161s| 2780k| 257 | 0 | 0.0 | 836M| 322 | - | 634 |2549k| 0 | 0 | 0 |4923k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1236.20/1236.63 c 1166s| 2790k| 256 | 0 | 0.0 | 839M| 322 | - | 634 |2561k| 0 | 0 | 0 |4942k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1241.01/1241.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1241.01/1241.42 c 1170s| 2800k| 257 | 0 | 0.0 | 843M| 322 | - | 634 |2573k| 0 | 0 | 0 |4960k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1245.70/1246.15 c 1175s| 2810k| 255 | 0 | 0.0 | 846M| 322 | - | 634 |2585k| 0 | 0 | 0 |4978k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1250.40/1250.87 c 1179s| 2820k| 259 | 0 | 0.0 | 850M| 322 | - | 634 |2597k| 0 | 0 | 0 |4996k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1254.71/1255.17 c 1183s| 2830k| 258 | 0 | 0.0 | 853M| 322 | - | 634 |2609k| 0 | 0 | 0 |5013k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1259.11/1259.58 c 1187s| 2840k| 255 | 0 | 0.0 | 857M| 322 | - | 634 |2621k| 0 | 0 | 0 |5032k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1263.51/1263.96 c 1192s| 2850k| 260 | 0 | 0.0 | 860M| 322 | - | 634 |2633k| 0 | 0 | 0 |5049k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1267.90/1268.37 c 1196s| 2860k| 267 | 0 | 0.0 | 864M| 322 | - | 634 |2644k| 0 | 0 | 0 |5067k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1272.50/1272.97 c 1200s| 2870k| 257 | 0 | 0.0 | 867M| 322 | - | 634 |2656k| 0 | 0 | 0 |5084k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1277.19/1277.64 c 1204s| 2880k| 254 | 0 | 0.0 | 871M| 322 | - | 634 |2668k| 0 | 0 | 0 |5103k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1281.90/1282.34 c 1209s| 2890k| 252 | 0 | 0.0 | 874M| 322 | - | 634 |2680k| 0 | 0 | 0 |5121k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1286.40/1286.87 c 1213s| 2900k| 257 | 0 | 0.0 | 877M| 322 | - | 634 |2692k| 0 | 0 | 0 |5138k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1291.09/1291.59 c 1218s| 2910k| 258 | 0 | 0.0 | 881M| 322 | - | 634 |2704k| 0 | 0 | 0 |5156k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1295.79/1296.24 c 1222s| 2920k| 253 | 0 | 0.0 | 885M| 322 | - | 634 |2716k| 0 | 0 | 0 |5175k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1300.39/1300.83 c 1226s| 2930k| 256 | 0 | 0.0 | 888M| 322 | - | 634 |2728k| 0 | 0 | 0 |5192k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1304.89/1305.34 c 1230s| 2940k| 255 | 0 | 0.0 | 891M| 322 | - | 634 |2740k| 0 | 0 | 0 |5210k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1309.38/1309.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1309.38/1309.87 c 1235s| 2950k| 255 | 0 | 0.0 | 895M| 322 | - | 634 |2752k| 0 | 0 | 0 |5228k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1313.99/1314.48 c 1239s| 2960k| 257 | 0 | 0.0 | 898M| 322 | - | 634 |2764k| 0 | 0 | 0 |5246k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1318.28/1318.75 c 1243s| 2970k| 257 | 0 | 0.0 | 902M| 322 | - | 634 |2775k| 0 | 0 | 0 |5263k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1322.48/1322.98 c 1247s| 2980k| 257 | 0 | 0.0 | 905M| 322 | - | 634 |2786k| 0 | 0 | 0 |5279k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1326.78/1327.21 c 1251s| 2990k| 257 | 0 | 0.0 | 908M| 322 | - | 634 |2797k| 0 | 0 | 0 |5296k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1331.29/1331.73 c 1255s| 3000k| 255 | 0 | 0.0 | 912M| 322 | - | 634 |2809k| 0 | 0 | 0 |5314k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1335.99/1336.47 c 1260s| 3010k| 257 | 0 | 0.0 | 915M| 322 | - | 634 |2821k| 0 | 0 | 0 |5332k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1340.58/1341.09 c 1264s| 3020k| 262 | 0 | 0.0 | 919M| 322 | - | 634 |2833k| 0 | 0 | 0 |5350k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1345.08/1345.56 c 1268s| 3030k| 250 | 0 | 0.0 | 922M| 322 | - | 634 |2845k| 0 | 0 | 0 |5368k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1349.68/1350.16 c 1273s| 3040k| 252 | 0 | 0.0 | 926M| 322 | - | 634 |2857k| 0 | 0 | 0 |5386k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1354.37/1354.84 c 1277s| 3050k| 252 | 0 | 0.0 | 929M| 322 | - | 634 |2869k| 0 | 0 | 0 |5404k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1358.97/1359.49 c 1282s| 3060k| 257 | 0 | 0.0 | 933M| 322 | - | 634 |2881k| 0 | 0 | 0 |5422k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1363.77/1364.26 c 1286s| 3070k| 256 | 0 | 0.0 | 950M| 322 | - | 634 |2893k| 0 | 0 | 0 |5440k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1368.47/1368.97 c 1291s| 3080k| 257 | 0 | 0.0 | 954M| 322 | - | 634 |2905k| 0 | 0 | 0 |5458k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1373.17/1373.60 c 1295s| 3090k| 251 | 0 | 0.0 | 957M| 322 | - | 634 |2917k| 0 | 0 | 0 |5476k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1377.87/1378.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1377.87/1378.34 c 1299s| 3100k| 251 | 0 | 0.0 | 961M| 322 | - | 634 |2929k| 0 | 0 | 0 |5494k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1382.47/1382.91 c 1304s| 3110k| 251 | 0 | 0.0 | 964M| 322 | - | 634 |2941k| 0 | 0 | 0 |5512k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1387.16/1387.62 c 1308s| 3120k| 254 | 0 | 0.0 | 968M| 322 | - | 634 |2953k| 0 | 0 | 0 |5530k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1391.86/1392.39 c 1313s| 3130k| 251 | 0 | 0.0 | 971M| 322 | - | 634 |2965k| 0 | 0 | 0 |5548k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1396.57/1397.07 c 1317s| 3140k| 255 | 0 | 0.0 | 975M| 322 | - | 634 |2977k| 0 | 0 | 0 |5566k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1401.26/1401.77 c 1322s| 3150k| 256 | 0 | 0.0 | 978M| 322 | - | 634 |2989k| 0 | 0 | 0 |5584k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1405.86/1406.33 c 1326s| 3160k| 254 | 0 | 0.0 | 982M| 322 | - | 634 |3001k| 0 | 0 | 0 |5602k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1410.46/1410.99 c 1330s| 3170k| 250 | 0 | 0.0 | 985M| 322 | - | 634 |3013k| 0 | 0 | 0 |5620k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1415.16/1415.65 c 1335s| 3180k| 257 | 0 | 0.0 | 989M| 322 | - | 634 |3025k| 0 | 0 | 0 |5638k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1419.86/1420.31 c 1339s| 3190k| 257 | 0 | 0.0 | 992M| 322 | - | 634 |3037k| 0 | 0 | 0 |5655k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1424.46/1424.92 c 1343s| 3200k| 259 | 0 | 0.0 | 995M| 322 | - | 634 |3049k| 0 | 0 | 0 |5673k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1428.95/1429.46 c 1348s| 3210k| 255 | 0 | 0.0 | 999M| 322 | - | 634 |3060k| 0 | 0 | 0 |5691k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1433.56/1434.01 c 1352s| 3220k| 254 | 0 | 0.0 |1003M| 322 | - | 634 |3073k| 0 | 0 | 0 |5709k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1438.06/1438.59 c 1356s| 3230k| 252 | 0 | 0.0 |1006M| 322 | - | 634 |3085k| 0 | 0 | 0 |5727k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1442.55/1443.07 c 1360s| 3240k| 254 | 0 | 0.0 |1010M| 322 | - | 634 |3097k| 0 | 0 | 0 |5745k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1447.15/1447.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1447.15/1447.65 c 1365s| 3250k| 253 | 0 | 0.0 |1013M| 322 | - | 634 |3109k| 0 | 0 | 0 |5763k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1451.85/1452.31 c 1369s| 3260k| 253 | 0 | 0.0 |1016M| 322 | - | 634 |3120k| 0 | 0 | 0 |5781k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1456.45/1456.90 c 1374s| 3270k| 258 | 0 | 0.0 |1020M| 322 | - | 634 |3132k| 0 | 0 | 0 |5799k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1461.05/1461.57 c 1378s| 3280k| 256 | 0 | 0.0 |1023M| 322 | - | 634 |3144k| 0 | 0 | 0 |5817k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1465.65/1466.12 c 1382s| 3290k| 254 | 0 | 0.0 |1027M| 322 | - | 634 |3156k| 0 | 0 | 0 |5835k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1470.35/1470.81 c 1387s| 3300k| 264 | 0 | 0.0 |1030M| 322 | - | 634 |3168k| 0 | 0 | 0 |5853k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1474.94/1475.49 c 1391s| 3310k| 254 | 0 | 0.0 |1034M| 322 | - | 634 |3180k| 0 | 0 | 0 |5871k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1479.55/1480.09 c 1395s| 3320k| 249 | 0 | 0.0 |1038M| 322 | - | 634 |3192k| 0 | 0 | 0 |5889k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1483.94/1484.44 c 1400s| 3330k| 251 | 0 | 0.0 |1041M| 322 | - | 634 |3204k| 0 | 0 | 0 |5906k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1488.34/1488.86 c 1404s| 3340k| 253 | 0 | 0.0 |1044M| 322 | - | 634 |3216k| 0 | 0 | 0 |5924k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1493.04/1493.51 c 1408s| 3350k| 253 | 0 | 0.0 |1048M| 322 | - | 634 |3227k| 0 | 0 | 0 |5942k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1497.44/1497.98 c 1412s| 3360k| 249 | 0 | 0.0 |1051M| 322 | - | 634 |3239k| 0 | 0 | 0 |5960k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1502.15/1502.65 c 1417s| 3370k| 252 | 0 | 0.0 |1055M| 322 | - | 634 |3251k| 0 | 0 | 0 |5978k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1506.94/1507.42 c 1421s| 3380k| 259 | 0 | 0.0 |1058M| 322 | - | 634 |3264k| 0 | 0 | 0 |5996k| 0 | 6.270000e+02 | 5.279000e+03 | 741.95%
1510.34/1510.87 o 5278
1510.34/1510.87 c *1425s| 3387k| 261 | 0 | 0.0 |1061M| 322 | - | 634 |3273k| 0 | 0 | 0 |6009k| 0 | 6.270000e+02 | 5.278000e+03 | 741.79%
1511.43/1511.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1511.43/1511.97 c 1426s| 3390k| 258 | 0 | 0.0 |1062M| 322 | - | 634 |3275k| 0 | 0 | 0 |6014k| 0 | 6.270000e+02 | 5.278000e+03 | 741.79%
1514.43/1514.94 o 5277
1514.43/1514.94 c *1428s| 3396k| 258 | 0 | 0.0 |1064M| 322 | - | 634 |3283k| 0 | 0 | 0 |6025k| 0 | 6.270000e+02 | 5.277000e+03 | 741.63%
1514.43/1514.94 o 5276
1514.43/1514.94 c *1428s| 3396k| 258 | 0 | 0.0 |1064M| 322 | - | 634 |3283k| 0 | 0 | 0 |6025k| 0 | 6.270000e+02 | 5.276000e+03 | 741.47%
1514.43/1514.96 o 5275
1514.43/1514.96 c *1428s| 3396k| 257 | 0 | 0.0 |1064M| 322 | - | 634 |3283k| 0 | 0 | 0 |6025k| 0 | 6.270000e+02 | 5.275000e+03 | 741.31%
1515.33/1515.81 o 5271
1515.33/1515.81 c *1429s| 3398k| 264 | 0 | 0.0 |1065M| 322 | - | 634 |3285k| 0 | 0 | 0 |6028k| 0 | 6.270000e+02 | 5.271000e+03 | 740.67%
1515.33/1515.81 o 5270
1515.33/1515.81 c *1429s| 3398k| 261 | 0 | 0.0 |1065M| 322 | - | 634 |3285k| 0 | 0 | 0 |6028k| 0 | 6.270000e+02 | 5.270000e+03 | 740.51%
1515.33/1515.86 o 5269
1515.33/1515.86 c *1429s| 3398k| 258 | 0 | 0.0 |1065M| 322 | - | 634 |3285k| 0 | 0 | 0 |6029k| 0 | 6.270000e+02 | 5.269000e+03 | 740.35%
1515.93/1516.48 c 1430s| 3400k| 254 | 0 | 0.0 |1065M| 322 | - | 634 |3287k| 0 | 0 | 0 |6031k| 0 | 6.270000e+02 | 5.269000e+03 | 740.35%
1520.53/1521.04 c 1434s| 3410k| 256 | 0 | 0.0 |1069M| 322 | - | 634 |3299k| 0 | 0 | 0 |6049k| 0 | 6.270000e+02 | 5.269000e+03 | 740.35%
1525.03/1525.53 c 1438s| 3420k| 257 | 0 | 0.0 |1072M| 322 | - | 634 |3311k| 0 | 0 | 0 |6067k| 0 | 6.270000e+02 | 5.269000e+03 | 740.35%
1529.83/1530.33 c 1443s| 3430k| 251 | 0 | 0.0 |1076M| 322 | - | 634 |3323k| 0 | 0 | 0 |6085k| 0 | 6.270000e+02 | 5.269000e+03 | 740.35%
1532.93/1533.41 o 5267
1532.93/1533.41 c *1446s| 3436k| 261 | 0 | 0.0 |1078M| 322 | - | 634 |3331k| 0 | 0 | 0 |6097k| 0 | 6.270000e+02 | 5.267000e+03 | 740.03%
1532.93/1533.41 o 5266
1532.93/1533.41 c *1446s| 3436k| 259 | 0 | 0.0 |1078M| 322 | - | 634 |3331k| 0 | 0 | 0 |6097k| 0 | 6.270000e+02 | 5.266000e+03 | 739.87%
1532.93/1533.42 o 5265
1532.93/1533.42 c *1446s| 3436k| 259 | 0 | 0.0 |1078M| 322 | - | 634 |3331k| 0 | 0 | 0 |6097k| 0 | 6.270000e+02 | 5.265000e+03 | 739.71%
1534.63/1535.16 c 1448s| 3440k| 252 | 0 | 0.0 |1079M| 322 | - | 634 |3335k| 0 | 0 | 0 |6104k| 0 | 6.270000e+02 | 5.265000e+03 | 739.71%
1539.23/1539.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1539.23/1539.71 c 1452s| 3450k| 255 | 0 | 0.0 |1083M| 322 | - | 634 |3347k| 0 | 0 | 0 |6122k| 0 | 6.270000e+02 | 5.265000e+03 | 739.71%
1542.33/1542.85 o 5262
1542.33/1542.85 c *1455s| 3456k| 262 | 0 | 0.0 |1085M| 322 | - | 634 |3356k| 0 | 0 | 0 |6134k| 0 | 6.270000e+02 | 5.262000e+03 | 739.23%
1542.33/1542.85 o 5261
1542.33/1542.85 c *1455s| 3456k| 261 | 0 | 0.0 |1085M| 322 | - | 634 |3356k| 0 | 0 | 0 |6134k| 0 | 6.270000e+02 | 5.261000e+03 | 739.07%
1543.84/1544.34 c 1456s| 3460k| 250 | 0 | 0.0 |1086M| 322 | - | 634 |3359k| 0 | 0 | 0 |6140k| 0 | 6.270000e+02 | 5.261000e+03 | 739.07%
1548.72/1549.22 c 1461s| 3470k| 248 | 0 | 0.0 |1090M| 322 | - | 634 |3372k| 0 | 0 | 0 |6158k| 0 | 6.270000e+02 | 5.261000e+03 | 739.07%
1549.12/1549.64 o 5256
1549.12/1549.64 c *1461s| 3470k| 258 | 0 | 0.0 |1090M| 322 | - | 634 |3373k| 0 | 0 | 0 |6159k| 0 | 6.270000e+02 | 5.256000e+03 | 738.28%
1549.12/1549.66 o 5255
1549.12/1549.66 c *1461s| 3470k| 259 | 0 | 0.0 |1090M| 322 | - | 634 |3373k| 0 | 0 | 0 |6159k| 0 | 6.270000e+02 | 5.255000e+03 | 738.12%
1553.42/1553.91 c 1465s| 3480k| 250 | 0 | 0.0 |1093M| 322 | - | 634 |3383k| 0 | 0 | 0 |6176k| 0 | 6.270000e+02 | 5.255000e+03 | 738.12%
1557.92/1558.44 c 1469s| 3490k| 253 | 0 | 0.0 |1097M| 322 | - | 634 |3395k| 0 | 0 | 0 |6193k| 0 | 6.270000e+02 | 5.255000e+03 | 738.12%
1562.42/1562.93 c 1474s| 3500k| 255 | 0 | 0.0 |1100M| 322 | - | 634 |3407k| 0 | 0 | 0 |6211k| 0 | 6.270000e+02 | 5.255000e+03 | 738.12%
1566.93/1567.42 c 1478s| 3510k| 260 | 0 | 0.0 |1104M| 322 | - | 634 |3419k| 0 | 0 | 0 |6229k| 0 | 6.270000e+02 | 5.255000e+03 | 738.12%
1571.21/1571.78 c 1482s| 3520k| 249 | 0 | 0.0 |1107M| 322 | - | 634 |3431k| 0 | 0 | 0 |6247k| 0 | 6.270000e+02 | 5.255000e+03 | 738.12%
1575.62/1576.19 c 1486s| 3530k| 255 | 0 | 0.0 |1111M| 322 | - | 634 |3443k| 0 | 0 | 0 |6264k| 0 | 6.270000e+02 | 5.255000e+03 | 738.12%
1580.01/1580.50 c 1490s| 3540k| 255 | 0 | 0.0 |1114M| 322 | - | 634 |3455k| 0 | 0 | 0 |6282k| 0 | 6.270000e+02 | 5.255000e+03 | 738.12%
1584.41/1584.99 c 1495s| 3550k| 253 | 0 | 0.0 |1118M| 322 | - | 634 |3467k| 0 | 0 | 0 |6301k| 0 | 6.270000e+02 | 5.255000e+03 | 738.12%
1589.11/1589.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1589.11/1589.65 c 1499s| 3560k| 250 | 0 | 0.0 |1138M| 322 | - | 634 |3479k| 0 | 0 | 0 |6319k| 0 | 6.270000e+02 | 5.255000e+03 | 738.12%
1593.51/1594.05 c 1503s| 3570k| 255 | 0 | 0.0 |1141M| 322 | - | 634 |3491k| 0 | 0 | 0 |6337k| 0 | 6.270000e+02 | 5.255000e+03 | 738.12%
1597.90/1598.47 c 1507s| 3580k| 254 | 0 | 0.0 |1145M| 322 | - | 634 |3503k| 0 | 0 | 0 |6355k| 0 | 6.270000e+02 | 5.255000e+03 | 738.12%
1602.41/1602.93 c 1511s| 3590k| 253 | 0 | 0.0 |1148M| 322 | - | 634 |3515k| 0 | 0 | 0 |6373k| 0 | 6.270000e+02 | 5.255000e+03 | 738.12%
1606.81/1607.31 c 1516s| 3600k| 252 | 0 | 0.0 |1152M| 322 | - | 634 |3526k| 0 | 0 | 0 |6390k| 0 | 6.270000e+02 | 5.255000e+03 | 738.12%
1611.30/1611.89 c 1520s| 3610k| 250 | 0 | 0.0 |1155M| 322 | - | 634 |3538k| 0 | 0 | 0 |6408k| 0 | 6.270000e+02 | 5.255000e+03 | 738.12%
1615.90/1616.49 c 1524s| 3620k| 254 | 0 | 0.0 |1159M| 322 | - | 634 |3550k| 0 | 0 | 0 |6426k| 0 | 6.270000e+02 | 5.255000e+03 | 738.12%
1620.40/1620.93 c 1528s| 3630k| 259 | 0 | 0.0 |1162M| 322 | - | 634 |3562k| 0 | 0 | 0 |6443k| 0 | 6.270000e+02 | 5.255000e+03 | 738.12%
1624.90/1625.41 c 1533s| 3640k| 259 | 0 | 0.0 |1166M| 322 | - | 634 |3574k| 0 | 0 | 0 |6462k| 0 | 6.270000e+02 | 5.255000e+03 | 738.12%
1629.29/1629.86 c 1537s| 3650k| 248 | 0 | 0.0 |1169M| 322 | - | 634 |3586k| 0 | 0 | 0 |6480k| 0 | 6.270000e+02 | 5.255000e+03 | 738.12%
1633.69/1634.23 c 1541s| 3660k| 249 | 0 | 0.0 |1173M| 322 | - | 634 |3598k| 0 | 0 | 0 |6497k| 0 | 6.270000e+02 | 5.255000e+03 | 738.12%
1638.09/1638.65 c 1545s| 3670k| 250 | 0 | 0.0 |1176M| 322 | - | 634 |3610k| 0 | 0 | 0 |6515k| 0 | 6.270000e+02 | 5.255000e+03 | 738.12%
1642.48/1643.09 c 1549s| 3680k| 253 | 0 | 0.0 |1180M| 322 | - | 634 |3622k| 0 | 0 | 0 |6534k| 0 | 6.270000e+02 | 5.255000e+03 | 738.12%
1646.99/1647.60 c 1554s| 3690k| 251 | 0 | 0.0 |1183M| 322 | - | 634 |3634k| 0 | 0 | 0 |6552k| 0 | 6.270000e+02 | 5.255000e+03 | 738.12%
1651.59/1652.10 c 1558s| 3700k| 246 | 0 | 0.0 |1187M| 322 | - | 634 |3647k| 0 | 0 | 0 |6570k| 0 | 6.270000e+02 | 5.255000e+03 | 738.12%
1655.99/1656.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1655.99/1656.54 c 1562s| 3710k| 256 | 0 | 0.0 |1190M| 322 | - | 634 |3659k| 0 | 0 | 0 |6588k| 0 | 6.270000e+02 | 5.255000e+03 | 738.12%
1660.58/1661.19 c 1566s| 3720k| 252 | 0 | 0.0 |1194M| 322 | - | 634 |3671k| 0 | 0 | 0 |6607k| 0 | 6.270000e+02 | 5.255000e+03 | 738.12%
1665.18/1665.74 c 1571s| 3730k| 256 | 0 | 0.0 |1198M| 322 | - | 634 |3683k| 0 | 0 | 0 |6625k| 0 | 6.270000e+02 | 5.255000e+03 | 738.12%
1669.49/1670.08 c 1575s| 3740k| 249 | 0 | 0.0 |1201M| 322 | - | 634 |3695k| 0 | 0 | 0 |6643k| 0 | 6.270000e+02 | 5.255000e+03 | 738.12%
1674.08/1674.64 c 1579s| 3750k| 253 | 0 | 0.0 |1205M| 322 | - | 634 |3707k| 0 | 0 | 0 |6661k| 0 | 6.270000e+02 | 5.255000e+03 | 738.12%
1678.78/1679.38 c 1584s| 3760k| 252 | 0 | 0.0 |1208M| 322 | - | 634 |3719k| 0 | 0 | 0 |6679k| 0 | 6.270000e+02 | 5.255000e+03 | 738.12%
1683.28/1683.80 c 1588s| 3770k| 252 | 0 | 0.0 |1212M| 322 | - | 634 |3731k| 0 | 0 | 0 |6697k| 0 | 6.270000e+02 | 5.255000e+03 | 738.12%
1687.88/1688.48 c 1592s| 3780k| 254 | 0 | 0.0 |1215M| 322 | - | 634 |3743k| 0 | 0 | 0 |6715k| 0 | 6.270000e+02 | 5.255000e+03 | 738.12%
1692.48/1693.02 c 1596s| 3790k| 251 | 0 | 0.0 |1219M| 322 | - | 634 |3755k| 0 | 0 | 0 |6733k| 0 | 6.270000e+02 | 5.255000e+03 | 738.12%
1696.87/1697.49 c 1601s| 3800k| 247 | 0 | 0.0 |1222M| 322 | - | 634 |3767k| 0 | 0 | 0 |6751k| 0 | 6.270000e+02 | 5.255000e+03 | 738.12%
1701.38/1701.93 c 1605s| 3810k| 252 | 0 | 0.0 |1225M| 322 | - | 634 |3778k| 0 | 0 | 0 |6768k| 0 | 6.270000e+02 | 5.255000e+03 | 738.12%
1705.97/1706.55 c 1609s| 3820k| 252 | 0 | 0.0 |1229M| 322 | - | 634 |3790k| 0 | 0 | 0 |6785k| 0 | 6.270000e+02 | 5.255000e+03 | 738.12%
1710.67/1711.20 c 1614s| 3830k| 252 | 0 | 0.0 |1232M| 322 | - | 634 |3802k| 0 | 0 | 0 |6803k| 0 | 6.270000e+02 | 5.255000e+03 | 738.12%
1715.27/1715.81 c 1618s| 3840k| 251 | 0 | 0.0 |1236M| 322 | - | 634 |3814k| 0 | 0 | 0 |6821k| 0 | 6.270000e+02 | 5.255000e+03 | 738.12%
1719.67/1720.26 c 1622s| 3850k| 257 | 0 | 0.0 |1239M| 322 | - | 634 |3826k| 0 | 0 | 0 |6839k| 0 | 6.270000e+02 | 5.255000e+03 | 738.12%
1724.18/1724.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1724.18/1724.74 c 1626s| 3860k| 248 | 0 | 0.0 |1243M| 322 | - | 634 |3838k| 0 | 0 | 0 |6857k| 0 | 6.270000e+02 | 5.255000e+03 | 738.12%
1728.86/1729.45 c 1631s| 3870k| 251 | 0 | 0.0 |1246M| 322 | - | 634 |3850k| 0 | 0 | 0 |6875k| 0 | 6.270000e+02 | 5.255000e+03 | 738.12%
1733.27/1733.89 c 1635s| 3880k| 250 | 0 | 0.0 |1250M| 322 | - | 634 |3862k| 0 | 0 | 0 |6893k| 0 | 6.270000e+02 | 5.255000e+03 | 738.12%
1737.86/1738.50 c 1639s| 3890k| 249 | 0 | 0.0 |1253M| 322 | - | 634 |3874k| 0 | 0 | 0 |6911k| 0 | 6.270000e+02 | 5.255000e+03 | 738.12%
1742.46/1743.08 c 1644s| 3900k| 249 | 0 | 0.0 |1257M| 322 | - | 634 |3886k| 0 | 0 | 0 |6930k| 0 | 6.270000e+02 | 5.255000e+03 | 738.12%
1746.56/1747.10 c pressed CTRL-C 1 times (5 times for forcing termination)
1746.56/1747.10 c
1746.56/1747.10 c SCIP Status : solving was interrupted [user interrupt]
1746.56/1747.10 c Solving Time (sec) : 1647.45
1746.56/1747.10 c Solving Nodes : 3909058
1746.56/1747.10 c Primal Bound : +5.25500000000000e+03 (64 solutions)
1746.56/1747.10 c Dual Bound : +6.27000000000000e+02
1746.56/1747.10 c Gap : 738.12 %
1746.56/1747.11 s SATISFIABLE
1746.56/1747.11 v -x651 -x650 -x649 -x648 -x647 x646 x645 x644 -x643 -x642 -x641 -x640 -x639 -x638 x637 x636 -x635 -x634 x633 x632 x631 -x630 -x629
1746.56/1747.11 v x628 x627 -x626 -x625 -x624 -x623 -x622 -x621 x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608
1746.56/1747.11 v -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 x592 -x591 -x590 -x589 x588 -x587
1746.56/1747.11 v -x586 -x585 x584 -x583 -x582 -x581 -x580 -x579 x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565
1746.56/1747.11 v -x564 -x563 -x562 -x561 -x560 x559 -x558 -x557 x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544
1746.56/1747.11 v -x543 -x542 -x541 -x540 -x539 -x538 x537 -x536 -x535 x534 -x533 x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523
1746.56/1747.11 v -x522 -x521 -x520 -x519 x518 x517 -x516 x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 x506 -x505 -x504 -x503 -x502 -x501
1746.56/1747.11 v -x500 -x499 -x498 -x497 -x496 -x495 -x494 x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480
1746.56/1747.11 v -x479 x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 x469 -x468 -x467 x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459
1746.56/1747.11 v x458 -x457 -x456 x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 x444 -x443 x442 -x441 -x440 -x439 x438 x437
1746.56/1747.11 v -x436 x435 -x434 -x433 x432 -x431 -x430 -x429 x428 -x427 -x426 -x425 -x424 -x423 x422 -x421 -x420 -x419 -x418 -x417 -x416
1746.56/1747.11 v -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 x401 -x400 -x399 -x398 -x397 -x396 -x395
1746.56/1747.11 v -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 x376 -x375 x374
1746.56/1747.11 v -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353
1746.56/1747.11 v -x352 -x351 -x350 -x349 x348 x347 -x346 -x345 -x344 -x343 -x342 -x341 x340 -x339 -x338 -x337 -x336 x335 -x334 -x333 -x332 -x331
1746.56/1747.11 v -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 x311 -x310
1746.56/1747.11 v -x309 -x308 -x307 x306 -x305 -x304 -x303 -x302 -x301 -x300 x299 x298 x297 x296 -x295 x294 -x293 -x292 -x291 x290 -x289 -x288
1746.56/1747.11 v x287 x286 -x285 -x284 -x283 -x282 -x281 x280 -x279 -x278 -x277 -x276 -x275 -x274 x273 x272 -x271 -x270 x269 -x268 x267 -x266
1746.56/1747.11 v -x265 -x264 -x263 -x262 -x261 x260 -x259 -x258 -x257 x256 -x255 -x254 -x253 x252 x251 -x250 x249 x248 x247 -x246 -x245 x244
1746.56/1747.11 v -x243 -x242 x241 x240 x239 -x238 x237 -x236 x235 x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222
1746.56/1747.11 v x221 x220 x219 -x218 -x217 -x216 -x215 -x214 -x213 x212 x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200
1746.56/1747.11 v -x199 -x198 -x197 -x196 -x195 x194 -x193 -x192 x191 -x190 -x189 x188 x187 x186 x185 -x184 x183 -x182 x181 -x180 x179 -x178
1746.56/1747.11 v -x177 x176 -x175 -x174 -x173 -x172 -x171 x170 -x169 -x168 x167 x166 -x165 -x164 -x163 -x162 -x161 -x160 x159 -x158 -x157 -x156
1746.56/1747.11 v -x155 -x154 x153 -x152 x151 -x150 -x149 -x148 x147 -x146 -x145 x144 -x143 x142 x141 x140 x139 -x138 -x137 -x136 -x135 -x134
1746.56/1747.11 v x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 x116 -x115 x114 -x113
1746.56/1747.11 v -x112 -x111 x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 x99 -x98 -x97 -x96 -x95 x94 -x93 -x92 x91 -x90
1746.56/1747.11 v -x89 x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 x80 x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64
1746.56/1747.11 v -x63 -x62 -x61 -x60 x59 -x58 -x57 -x56 -x55 -x54 x53 -x52 -x51 -x50 x49 -x48 -x47 -x46 -x45 -x44 -x43 x42 -x41 -x40 x39 -x38
1746.56/1747.11 v x37 -x36 -x35 -x34 x33 -x32 x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12
1746.56/1747.11 v -x11 x10 -x9 x8 x7 -x6 -x5 -x4 -x3 -x2 -x1
1746.56/1747.11 c SCIP Status : solving was interrupted [user interrupt]
1746.56/1747.11 c Solving Time : 1647.45
1746.56/1747.11 c Original Problem :
1746.56/1747.11 c Problem name : HOME/instance-2664607-1276402617.opb
1746.56/1747.11 c Variables : 651 (651 binary, 0 integer, 0 implicit integer, 0 continuous)
1746.56/1747.11 c Constraints : 1658 initial, 1658 maximal
1746.56/1747.11 c Presolved Problem :
1746.56/1747.11 c Problem name : t_HOME/instance-2664607-1276402617.opb
1746.56/1747.11 c Variables : 634 (634 binary, 0 integer, 0 implicit integer, 0 continuous)
1746.56/1747.11 c Constraints : 1382 initial, 3897271 maximal
1746.56/1747.11 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1746.56/1747.11 c trivial : 0.00 0 0 0 0 0 0 0 0
1746.56/1747.11 c dualfix : 0.00 0 0 0 0 0 0 0 0
1746.56/1747.11 c boundshift : 0.00 0 0 0 0 0 0 0 0
1746.56/1747.11 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1746.56/1747.11 c implics : 0.00 0 0 0 0 0 0 0 0
1746.56/1747.11 c probing : 0.01 0 0 0 0 0 0 0 0
1746.56/1747.11 c linear : 0.03 17 0 0 17 0 170 5 9
1746.56/1747.11 c logicor : 0.06 0 0 0 0 0 106 0 0
1746.56/1747.11 c root node : - 0 - - 0 - - - -
1746.56/1747.11 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1746.56/1747.11 c integral : 0 0 0 0 0 0 0 0 0 0
1746.56/1747.11 c logicor : 1382+ 0 8687387 0 64 612752 10367579 0 0 0
1746.56/1747.11 c countsols : 0 0 0 0 64 0 0 0 0 0
1746.56/1747.11 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1746.56/1747.11 c integral : 0.00 0.00 0.00 0.00 0.00
1746.56/1747.11 c logicor : 287.53 0.00 287.52 0.00 0.01
1746.56/1747.11 c countsols : 0.00 0.00 0.00 0.00 0.00
1746.56/1747.11 c Propagators : Time Calls Cutoffs DomReds
1746.56/1747.11 c vbounds : 7.60 2 0 0
1746.56/1747.11 c rootredcost : 6.67 0 0 0
1746.56/1747.11 c pseudoobj : 996.72 15418712 1702559 43173820
1746.56/1747.11 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1746.56/1747.11 c propagation : 743.16 2313255 2313255 2313255 119.5 4629888 13.6 -
1746.56/1747.11 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1746.56/1747.11 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1746.56/1747.11 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1746.56/1747.11 c pseudo solution : 1.04 2585 2585 2585 118.8 5220 14.6 -
1746.56/1747.11 c applied globally : - - - 4630976 13.5 - - -
1746.56/1747.11 c applied locally : - - - 2315230 119.5 - - -
1746.56/1747.11 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1746.56/1747.11 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1746.56/1747.11 c redcost : 0.00 0 0 0 0 0
1746.56/1747.11 c impliedbounds : 0.00 0 0 0 0 0
1746.56/1747.11 c intobj : 0.00 0 0 0 0 0
1746.56/1747.11 c cgmip : 0.00 0 0 0 0 0
1746.56/1747.11 c gomory : 0.00 0 0 0 0 0
1746.56/1747.11 c strongcg : 0.00 0 0 0 0 0
1746.56/1747.11 c cmir : 0.00 0 0 0 0 0
1746.56/1747.11 c flowcover : 0.00 0 0 0 0 0
1746.56/1747.11 c clique : 0.00 0 0 0 0 0
1746.56/1747.11 c zerohalf : 0.00 0 0 0 0 0
1746.56/1747.11 c mcf : 0.00 0 0 0 0 0
1746.56/1747.11 c rapidlearning : 0.00 0 0 0 0 0
1746.56/1747.11 c Pricers : Time Calls Vars
1746.56/1747.11 c problem variables: 0.00 0 0
1746.56/1747.11 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1746.56/1747.11 c relpscost : 0.00 0 0 0 0 0 0
1746.56/1747.11 c pscost : 0.00 0 0 0 0 0 0
1746.56/1747.11 c inference : 46.21 2703907 0 0 0 0 5407814
1746.56/1747.11 c mostinf : 0.00 0 0 0 0 0 0
1746.56/1747.11 c leastinf : 0.00 0 0 0 0 0 0
1746.56/1747.11 c fullstrong : 0.00 0 0 0 0 0 0
1746.56/1747.11 c allfullstrong : 0.00 0 0 0 0 0 0
1746.56/1747.11 c random : 0.00 0 0 0 0 0 0
1746.56/1747.11 c Primal Heuristics : Time Calls Found
1746.56/1747.11 c LP solutions : 0.00 - 0
1746.56/1747.11 c pseudo solutions : 0.02 - 64
1746.56/1747.11 c oneopt : 2.59 0 0
1746.56/1747.11 c trivial : 0.01 2 0
1746.56/1747.11 c simplerounding : 0.00 0 0
1746.56/1747.11 c zirounding : 0.00 0 0
1746.56/1747.11 c rounding : 0.00 0 0
1746.56/1747.11 c shifting : 0.00 0 0
1746.56/1747.11 c intshifting : 0.00 0 0
1746.56/1747.11 c twoopt : 0.00 0 0
1746.56/1747.11 c fixandinfer : 0.00 0 0
1746.56/1747.11 c feaspump : 0.00 0 0
1746.56/1747.11 c coefdiving : 0.00 0 0
1746.56/1747.11 c pscostdiving : 0.00 0 0
1746.56/1747.11 c fracdiving : 0.00 0 0
1746.56/1747.11 c veclendiving : 0.00 0 0
1746.56/1747.11 c intdiving : 0.00 0 0
1746.56/1747.11 c actconsdiving : 0.00 0 0
1746.56/1747.11 c objpscostdiving : 0.00 0 0
1746.56/1747.11 c rootsoldiving : 0.00 0 0
1746.56/1747.11 c linesearchdiving : 0.00 0 0
1746.56/1747.11 c guideddiving : 0.00 0 0
1746.56/1747.11 c octane : 0.00 0 0
1746.56/1747.11 c rens : 0.00 0 0
1746.56/1747.11 c rins : 0.00 0 0
1746.56/1747.11 c localbranching : 0.00 0 0
1746.56/1747.11 c mutation : 0.00 0 0
1746.56/1747.11 c crossover : 0.00 0 0
1746.56/1747.11 c dins : 0.00 0 0
1746.56/1747.11 c undercover : 0.00 0 0
1746.56/1747.11 c nlp : 1.70 0 0
1746.56/1747.11 c trysol : 1.78 0 0
1746.56/1747.11 c LP : Time Calls Iterations Iter/call Iter/sec
1746.56/1747.11 c primal LP : 0.00 0 0 0.00 -
1746.56/1747.11 c dual LP : 0.00 0 0 0.00 -
1746.56/1747.11 c lex dual LP : 0.00 0 0 0.00 -
1746.56/1747.11 c barrier LP : 0.00 0 0 0.00 -
1746.56/1747.11 c diving/probing LP: 0.00 0 0 0.00 -
1746.56/1747.11 c strong branching : 0.00 0 0 0.00 -
1746.56/1747.11 c (at root node) : - 0 0 0.00 -
1746.56/1747.11 c conflict analysis: 0.00 0 0 0.00 -
1746.56/1747.11 c B&B Tree :
1746.56/1747.11 c number of runs : 1
1746.56/1747.11 c nodes : 3909058
1746.56/1747.11 c nodes (total) : 3909058
1746.56/1747.11 c nodes left : 253
1746.56/1747.11 c max depth : 322
1746.56/1747.11 c max depth (total): 322
1746.56/1747.11 c backtracks : 1243168 (31.8%)
1746.56/1747.11 c delayed cutoffs : 1446101
1746.56/1747.11 c repropagations : 2938253 (28201492 domain reductions, 1112809 cutoffs)
1746.56/1747.11 c avg switch length: 2.46
1746.56/1747.11 c switching time : 85.67
1746.56/1747.11 c Solution :
1746.56/1747.11 c Solutions found : 64 (64 improvements)
1746.56/1747.11 c First Solution : +5.45400000000000e+03 (in run 1, after 322 nodes, 0.16 seconds, depth 320, found by <relaxation>)
1746.56/1747.11 c Primal Bound : +5.25500000000000e+03 (in run 1, after 3470915 nodes, 1461.20 seconds, depth 271, found by <relaxation>)
1746.56/1747.11 c Dual Bound : +6.27000000000000e+02
1746.56/1747.11 c Gap : 738.12 %
1746.56/1747.11 c Root Dual Bound : +5.95000000000000e+02
1746.56/1747.11 c Root Iterations : 0
OK 5255
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2664607-1276402617/watcher-2664607-1276402617 -o /tmp/evaluation-result-2664607-1276402617/solver-2664607-1276402617 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664607-1276402617.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.08 1.02 1.01 2/106 22283 /proc/meminfo: memFree=1773316/2059040 swapFree=4135852/4192956 [pid=22283] ppid=22281 vsize=6584 CPUtime=0 /proc/22283/stat : 22283 (pbscip.linux.x8) R 22281 22283 22158 0 -1 4202496 969 0 0 0 0 0 0 0 20 0 1 0 15863038 6742016 891 1992294400 4194304 7136930 140736241322864 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/22283/statm: 1646 901 254 719 0 925 0 [startup+0.074399 s] /proc/loadavg: 1.08 1.02 1.01 2/106 22283 /proc/meminfo: memFree=1773316/2059040 swapFree=4135852/4192956 [pid=22283] ppid=22281 vsize=14696 CPUtime=0.07 /proc/22283/stat : 22283 (pbscip.linux.x8) R 22281 22283 22158 0 -1 4202496 3593 0 0 0 5 2 0 0 20 0 1 0 15863038 15048704 2904 1992294400 4194304 7136930 140736241322864 18446744073709551615 4333573 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22283/statm: 3674 2904 344 719 0 2953 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 14696 [startup+0.101402 s] /proc/loadavg: 1.08 1.02 1.01 2/106 22283 /proc/meminfo: memFree=1773316/2059040 swapFree=4135852/4192956 [pid=22283] ppid=22281 vsize=14672 CPUtime=0.09 /proc/22283/stat : 22283 (pbscip.linux.x8) R 22281 22283 22158 0 -1 4202496 3807 0 0 0 7 2 0 0 20 0 1 0 15863038 15024128 2862 1992294400 4194304 7136930 140736241322864 18446744073709551615 6164672 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22283/statm: 3668 2874 348 719 0 2947 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14672 [startup+0.301421 s] /proc/loadavg: 1.08 1.02 1.01 2/106 22283 /proc/meminfo: memFree=1773316/2059040 swapFree=4135852/4192956 [pid=22283] ppid=22281 vsize=16296 CPUtime=0.29 /proc/22283/stat : 22283 (pbscip.linux.x8) R 22281 22283 22158 0 -1 4202496 5072 0 0 0 25 4 0 0 20 0 1 0 15863038 16687104 3352 1992294400 4194304 7136930 140736241322864 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22283/statm: 4074 3352 385 719 0 3353 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 16296 [startup+0.701458 s] /proc/loadavg: 1.08 1.02 1.01 2/106 22283 /proc/meminfo: memFree=1773316/2059040 swapFree=4135852/4192956 [pid=22283] ppid=22281 vsize=16820 CPUtime=0.69 /proc/22283/stat : 22283 (pbscip.linux.x8) R 22281 22283 22158 0 -1 4202496 5210 0 0 0 64 5 0 0 21 0 1 0 15863038 17223680 3490 1992294400 4194304 7136930 140736241322864 18446744073709551615 5906008 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22283/statm: 4205 3490 386 719 0 3484 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 16820 [startup+1.50153 s] /proc/loadavg: 1.07 1.02 1.00 2/107 22284 /proc/meminfo: memFree=1759792/2059040 swapFree=4135852/4192956 [pid=22283] ppid=22281 vsize=18556 CPUtime=1.49 /proc/22283/stat : 22283 (pbscip.linux.x8) R 22281 22283 22158 0 -1 4202496 5573 0 0 0 139 10 0 0 23 0 1 0 15863038 19001344 3853 1992294400 4194304 7136930 140736241322864 18446744073709551615 5908713 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22283/statm: 4639 3853 386 719 0 3918 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 18556 [startup+3.10169 s] /proc/loadavg: 1.07 1.02 1.00 2/107 22284 /proc/meminfo: memFree=1757436/2059040 swapFree=4135852/4192956 [pid=22283] ppid=22281 vsize=21596 CPUtime=3.09 /proc/22283/stat : 22283 (pbscip.linux.x8) R 22281 22283 22158 0 -1 4202496 6209 0 0 0 291 18 0 0 25 0 1 0 15863038 22114304 4489 1992294400 4194304 7136930 140736241322864 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22283/statm: 5399 4489 386 719 0 4678 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21596 [startup+6.30099 s] /proc/loadavg: 1.07 1.02 1.00 2/107 22284 /proc/meminfo: memFree=1753468/2059040 swapFree=4135852/4192956 [pid=22283] ppid=22281 vsize=27288 CPUtime=6.29 /proc/22283/stat : 22283 (pbscip.linux.x8) R 22281 22283 22158 0 -1 4202496 7364 0 0 0 592 37 0 0 25 0 1 0 15863038 27942912 5644 1992294400 4194304 7136930 140736241322864 18446744073709551615 4240461 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22283/statm: 6822 5644 386 719 0 6101 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 27288 [startup+12.7016 s] /proc/loadavg: 1.06 1.02 1.00 2/107 22284 /proc/meminfo: memFree=1744292/2059040 swapFree=4135852/4192956 [pid=22283] ppid=22281 vsize=37332 CPUtime=12.69 /proc/22283/stat : 22283 (pbscip.linux.x8) R 22281 22283 22158 0 -1 4202496 9487 0 0 0 1195 74 0 0 25 0 1 0 15863038 38227968 7767 1992294400 4194304 7136930 140736241322864 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22283/statm: 9333 7767 386 719 0 8612 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 37332 [startup+25.5008 s] /proc/loadavg: 1.05 1.01 1.00 2/107 22286 /proc/meminfo: memFree=1726808/2059040 swapFree=4135852/4192956 [pid=22283] ppid=22281 vsize=57632 CPUtime=25.48 /proc/22283/stat : 22283 (pbscip.linux.x8) R 22281 22283 22158 0 -1 4202496 13593 0 0 0 2402 146 0 0 25 0 1 0 15863038 59015168 11873 1992294400 4194304 7136930 140736241322864 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22283/statm: 14408 11873 386 719 0 13687 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 57632 [startup+51.1012 s] /proc/loadavg: 1.03 1.01 1.00 2/107 22286 /proc/meminfo: memFree=1694940/2059040 swapFree=4135852/4192956 [pid=22283] ppid=22281 vsize=94684 CPUtime=51.07 /proc/22283/stat : 22283 (pbscip.linux.x8) R 22281 22283 22158 0 -1 4202496 21779 0 0 0 4808 299 0 0 25 0 1 0 15863038 96956416 20059 1992294400 4194304 7136930 140736241322864 18446744073709551615 4434043 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22283/statm: 23671 20059 386 719 0 22950 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 94684 [startup+102.308 s] /proc/loadavg: 1.01 1.01 1.00 2/107 22288 /proc/meminfo: memFree=1628228/2059040 swapFree=4135852/4192956 [pid=22283] ppid=22281 vsize=161948 CPUtime=102.26 /proc/22283/stat : 22283 (pbscip.linux.x8) R 22281 22283 22158 0 -1 4202496 38131 0 0 0 9633 593 0 0 25 0 1 0 15863038 165834752 36411 1992294400 4194304 7136930 140736241322864 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22283/statm: 40487 36411 386 719 0 39766 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 161948 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22288 /proc/meminfo: memFree=1558540/2059040 swapFree=4135852/4192956 [pid=22283] ppid=22281 vsize=231820 CPUtime=162.23 /proc/22283/stat : 22283 (pbscip.linux.x8) R 22281 22283 22158 0 -1 4202496 55760 0 0 0 15279 944 0 0 25 0 1 0 15863038 237383680 54040 1992294400 4194304 7136930 140736241322864 18446744073709551615 4240323 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22283/statm: 57955 54040 386 719 0 57234 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 231820 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22290 /proc/meminfo: memFree=1480544/2059040 swapFree=4135852/4192956 [pid=22283] ppid=22281 vsize=311196 CPUtime=222.22 /proc/22283/stat : 22283 (pbscip.linux.x8) R 22281 22283 22158 0 -1 4202496 75013 0 0 0 20919 1303 0 0 25 0 1 0 15863038 318664704 73294 1992294400 4194304 7136930 140736241322864 18446744073709551615 6164672 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22283/statm: 77799 73306 386 719 0 77078 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 311196 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22292 /proc/meminfo: memFree=1580984/2059040 swapFree=4135852/4192956 [pid=22283] ppid=22281 vsize=214284 CPUtime=282.19 /proc/22283/stat : 22283 (pbscip.linux.x8) R 22281 22283 22158 0 -1 4202496 98715 0 0 0 26571 1648 0 0 25 0 1 0 15863038 219426816 48083 1992294400 4194304 7136930 140736241322864 18446744073709551615 5925877 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22283/statm: 53571 48083 386 719 0 52850 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 214284 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22294 /proc/meminfo: memFree=1543536/2059040 swapFree=4135852/4192956 [pid=22283] ppid=22281 vsize=251524 CPUtime=342.17 /proc/22283/stat : 22283 (pbscip.linux.x8) R 22281 22283 22158 0 -1 4202496 108026 0 0 0 32226 1991 0 0 25 0 1 0 15863038 257560576 57394 1992294400 4194304 7136930 140736241322864 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22283/statm: 62881 57394 386 719 0 62160 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 251524 [startup+402.301 s] /proc/loadavg: 1.06 1.02 1.00 2/107 22296 /proc/meminfo: memFree=1497284/2059040 swapFree=4135852/4192956 [pid=22283] ppid=22281 vsize=298512 CPUtime=402.16 /proc/22283/stat : 22283 (pbscip.linux.x8) R 22281 22283 22158 0 -1 4202496 119565 0 0 0 37886 2330 0 0 25 0 1 0 15863038 305676288 68933 1992294400 4194304 7136930 140736241322864 18446744073709551615 6360954 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22283/statm: 74628 68943 386 719 0 73907 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 298512 [startup+462.301 s] /proc/loadavg: 1.02 1.01 1.00 2/107 22296 /proc/meminfo: memFree=1450412/2059040 swapFree=4135852/4192956 [pid=22283] ppid=22281 vsize=344276 CPUtime=462.14 /proc/22283/stat : 22283 (pbscip.linux.x8) R 22281 22283 22158 0 -1 4202496 131214 0 0 0 43549 2665 0 0 25 0 1 0 15863038 352538624 80582 1992294400 4194304 7136930 140736241322864 18446744073709551615 4349945 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22283/statm: 86069 80582 386 719 0 85348 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 344276 [startup+522.301 s] /proc/loadavg: 1.01 1.00 1.00 2/107 22298 /proc/meminfo: memFree=1405276/2059040 swapFree=4135852/4192956 [pid=22283] ppid=22281 vsize=390428 CPUtime=522.12 /proc/22283/stat : 22283 (pbscip.linux.x8) R 22281 22283 22158 0 -1 4202496 142752 0 0 0 49211 3001 0 0 25 0 1 0 15863038 399798272 92120 1992294400 4194304 7136930 140736241322864 18446744073709551615 5906008 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22283/statm: 97607 92120 386 719 0 96886 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 390428 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22300 /proc/meminfo: memFree=1336580/2059040 swapFree=4135852/4192956 [pid=22283] ppid=22281 vsize=457996 CPUtime=582.1 /proc/22283/stat : 22283 (pbscip.linux.x8) R 22281 22283 22158 0 -1 4202496 159685 0 0 0 54866 3344 0 0 25 0 1 0 15863038 468987904 109053 1992294400 4194304 7136930 140736241322864 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22283/statm: 114499 109053 386 719 0 113778 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 457996 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22302 /proc/meminfo: memFree=1259824/2059040 swapFree=4135852/4192956 [pid=22283] ppid=22281 vsize=534980 CPUtime=642.1 /proc/22283/stat : 22283 (pbscip.linux.x8) R 22281 22283 22158 0 -1 4202496 178733 0 0 0 60522 3688 0 0 25 0 1 0 15863038 547819520 128101 1992294400 4194304 7136930 140736241322864 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22283/statm: 133745 128101 386 719 0 133024 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 534980 [startup+702.301 s] ################ # More data... # ################ /proc/22283/statm: 338399 333277 386 719 0 337678 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 1353596 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22322 /proc/meminfo: memFree=318416/2059040 swapFree=4135852/4192956 [pid=22283] ppid=22281 vsize=1488080 CPUtime=1421.86 /proc/22283/stat : 22283 (pbscip.linux.x8) R 22281 22283 22158 0 -1 4202496 413300 0 0 0 134095 8091 0 0 25 0 1 0 15863038 1523793920 362668 1992294400 4194304 7136930 140736241322864 18446744073709551615 5918632 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22283/statm: 372020 362668 386 719 0 371299 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 1488080 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22324 /proc/meminfo: memFree=267700/2059040 swapFree=4135852/4192956 [pid=22283] ppid=22281 vsize=1533844 CPUtime=1481.84 /proc/22283/stat : 22283 (pbscip.linux.x8) R 22281 22283 22158 0 -1 4202496 426273 0 0 0 139756 8428 0 0 25 0 1 0 15863038 1570656256 375641 1992294400 4194304 7136930 140736241322864 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22283/statm: 383461 375641 386 719 0 382740 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 1533844 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22326 /proc/meminfo: memFree=216116/2059040 swapFree=4135852/4192956 [pid=22283] ppid=22281 vsize=1577740 CPUtime=1541.82 /proc/22283/stat : 22283 (pbscip.linux.x8) R 22281 22283 22158 0 -1 4202496 438772 0 0 0 145428 8754 0 0 25 0 1 0 15863038 1615605760 388140 1992294400 4194304 7136930 140736241322864 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22283/statm: 394435 388140 386 719 0 393714 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 1577740 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22328 /proc/meminfo: memFree=82320/2059040 swapFree=4135852/4192956 [pid=22283] ppid=22281 vsize=1721492 CPUtime=1601.8 /proc/22283/stat : 22283 (pbscip.linux.x8) R 22281 22283 22158 0 -1 4202496 472175 0 0 0 151089 9091 0 0 25 0 1 0 15863038 1762807808 421543 1992294400 4194304 7136930 140736241322864 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22283/statm: 430373 421543 386 719 0 429652 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 1721492 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22328 /proc/meminfo: memFree=28628/2059040 swapFree=4135852/4192956 [pid=22283] ppid=22281 vsize=1779852 CPUtime=1661.79 /proc/22283/stat : 22283 (pbscip.linux.x8) R 22281 22283 22158 0 -1 4202496 485523 0 0 0 156743 9436 0 0 25 0 1 0 15863038 1822568448 434891 1992294400 4194304 7136930 140736241322864 18446744073709551615 4998689 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22283/statm: 444963 434891 386 719 0 444242 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 1779852 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22330 /proc/meminfo: memFree=10332/2059040 swapFree=4135852/4192956 [pid=22283] ppid=22281 vsize=1824584 CPUtime=1721.77 /proc/22283/stat : 22283 (pbscip.linux.x8) R 22281 22283 22158 0 -1 4202496 498244 0 0 0 162407 9770 0 0 25 0 1 0 15863038 1868374016 447612 1992294400 4194304 7136930 140736241322864 18446744073709551615 5918697 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22283/statm: 456146 447612 386 719 0 455425 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 1824584 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1747.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22332 /proc/meminfo: memFree=9252/2059040 swapFree=4135852/4192956 [pid=22283] ppid=22281 vsize=1843432 CPUtime=1746.56 /proc/22283/stat : 22283 (pbscip.linux.x8) R 22281 22283 22158 0 -1 4202496 503596 0 0 0 164748 9908 0 0 25 0 1 0 15863038 1887674368 452964 1992294400 4194304 7136930 140736241322864 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22283/statm: 460858 452964 386 719 0 460137 0 Current children cumulated CPU time (s) 1746.56 Current children cumulated vsize (KiB) 1843432 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -22283 [startup+1782.31 s] /proc/loadavg: 2.88 1.50 1.17 1/107 22341 /proc/meminfo: memFree=10056/2059040 swapFree=3753932/4192956 [pid=22283] ppid=22281 vsize=1893352 CPUtime=1750.28 /proc/22283/stat : 22283 (pbscip.linux.x8) D 22281 22283 22158 0 -1 4204032 550273 0 5183 0 164845 10183 0 0 18 0 1 0 15863038 1938792448 409503 1992294400 4194304 7136930 140736241322864 18446744073709551615 371733776 0 0 4096 0 18446744071562234166 0 0 17 1 0 0 3104 /proc/22283/statm: 473338 409503 186 719 0 472617 0 Current children cumulated CPU time (s) 1750.28 Current children cumulated vsize (KiB) 1893352 [startup+1842.31 s] /proc/loadavg: 2.62 1.68 1.25 1/107 22348 /proc/meminfo: memFree=10348/2059040 swapFree=3052200/4192956 [pid=22283] ppid=22281 vsize=1893352 CPUtime=1753.81 /proc/22283/stat : 22283 (pbscip.linux.x8) D 22281 22283 22158 0 -1 4204032 639853 0 18709 0 164845 10536 0 0 18 0 1 0 15863038 1938792448 337176 1992294400 4194304 7136930 140736241322864 18446744073709551615 371733776 0 0 4096 0 18446744071562234166 0 0 17 1 0 0 8690 /proc/22283/statm: 473338 337176 186 719 0 472617 0 Current children cumulated CPU time (s) 1753.81 Current children cumulated vsize (KiB) 1893352 [startup+1902.61 s] /proc/loadavg: 2.69 1.84 1.33 3/107 22355 /proc/meminfo: memFree=8156/2059040 swapFree=2816420/4192956 [pid=22283] ppid=22281 vsize=1893352 CPUtime=1759.16 /proc/22283/stat : 22283 (pbscip.linux.x8) D 22281 22283 22158 0 -1 4204032 775731 0 38806 0 164845 11071 0 0 18 0 1 0 15863038 1938792448 429763 1992294400 4194304 7136930 140736241322864 18446744073709551615 371733776 0 0 4096 0 18446744071562234166 0 0 17 1 0 0 14052 /proc/22283/statm: 473338 429763 186 719 0 472617 0 Current children cumulated CPU time (s) 1759.16 Current children cumulated vsize (KiB) 1893352 Solver just ended. Dumping a history of the last processes samples [startup+1914.5 s] /proc/loadavg: 2.46 1.83 1.33 1/107 22356 /proc/meminfo: memFree=11000/2059040 swapFree=2769316/4192956 [pid=22283] ppid=22281 vsize=1893352 CPUtime=1759.39 /proc/22283/stat : 22283 (pbscip.linux.x8) D 22281 22283 22158 0 -1 4204032 777756 0 41396 0 164845 11094 0 0 18 0 1 0 15863038 1938792448 427048 1992294400 4194304 7136930 140736241322864 18446744073709551615 371733776 0 0 4096 0 18446744071562234166 0 0 17 1 0 0 15222 /proc/22283/statm: 473338 427048 186 719 0 472617 0 Current children cumulated CPU time (s) 1759.39 Current children cumulated vsize (KiB) 1893352 [startup+1920.9 s] /proc/loadavg: 2.34 1.82 1.33 1/107 22356 /proc/meminfo: memFree=9536/2059040 swapFree=2757912/4192956 [pid=22283] ppid=22281 vsize=1893352 CPUtime=1759.92 /proc/22283/stat : 22283 (pbscip.linux.x8) D 22281 22283 22158 0 -1 4204032 789112 0 43100 0 164845 11147 0 0 18 0 1 0 15863038 1938792448 435889 1992294400 4194304 7136930 140736241322864 18446744073709551615 371733776 0 0 4096 0 18446744071562234166 0 0 17 1 0 0 15797 /proc/22283/statm: 473338 435889 1 719 0 472617 0 Current children cumulated CPU time (s) 1759.92 Current children cumulated vsize (KiB) 1893352 [startup+1922.5 s] /proc/loadavg: 2.31 1.82 1.33 1/107 22356 /proc/meminfo: memFree=10332/2059040 swapFree=2714768/4192956 [pid=22283] ppid=22281 vsize=1893352 CPUtime=1760 /proc/22283/stat : 22283 (pbscip.linux.x8) D 22281 22283 22158 0 -1 4204032 790469 0 43571 0 164845 11155 0 0 18 0 1 0 15863038 1938792448 428118 1992294400 4194304 7136930 140736241322864 18446744073709551615 371733776 0 0 4096 0 18446744071562234166 0 0 17 1 0 0 15941 /proc/22283/statm: 473338 428118 1 719 0 472617 0 Current children cumulated CPU time (s) 1760 Current children cumulated vsize (KiB) 1893352 [startup+1923.3 s] /proc/loadavg: 2.31 1.82 1.33 1/107 22356 /proc/meminfo: memFree=10332/2059040 swapFree=2714768/4192956 [pid=22283] ppid=22281 vsize=1893352 CPUtime=1760.17 /proc/22283/stat : 22283 (pbscip.linux.x8) D 22281 22283 22158 0 -1 4204032 794958 0 44229 0 164845 11172 0 0 18 0 1 0 15863038 1938792448 429265 1992294400 4194304 7136930 140736241322864 18446744073709551615 371733776 0 0 4096 0 18446744071562234166 0 0 17 1 0 0 16007 /proc/22283/statm: 473338 429265 0 719 0 472617 0 Current children cumulated CPU time (s) 1760.17 Current children cumulated vsize (KiB) 1893352 [startup+1923.71 s] /proc/loadavg: 2.31 1.82 1.33 1/107 22356 /proc/meminfo: memFree=8340/2059040 swapFree=2673808/4192956 [pid=22283] ppid=22281 vsize=0 CPUtime=1760.34 /proc/22283/stat : 22283 (pbscip.linux.x8) R 22281 22283 22158 0 -1 4204036 798753 0 44241 0 164845 11189 0 0 18 0 1 0 15863038 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 16028 /proc/22283/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1760.34 Current children cumulated vsize (KiB) 0 [startup+1923.9 s] /proc/loadavg: 2.31 1.82 1.33 1/107 22356 /proc/meminfo: memFree=8340/2059040 swapFree=2673808/4192956 [pid=22283] ppid=22281 vsize=0 CPUtime=1760.53 /proc/22283/stat : 22283 (pbscip.linux.x8) R 22281 22283 22158 0 -1 4204036 798753 0 44241 0 164845 11208 0 0 18 0 1 0 15863038 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 16028 /proc/22283/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1760.53 Current children cumulated vsize (KiB) 0 [startup+1924 s] /proc/loadavg: 2.31 1.82 1.33 1/107 22356 /proc/meminfo: memFree=8340/2059040 swapFree=2673808/4192956 [pid=22283] ppid=22281 vsize=0 CPUtime=1760.63 /proc/22283/stat : 22283 (pbscip.linux.x8) R 22281 22283 22158 0 -1 4204036 798753 0 44241 0 164845 11218 0 0 18 0 1 0 15863038 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 16028 /proc/22283/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1760.63 Current children cumulated vsize (KiB) 0 Child ended because it received signal 11 (SIGSEGV) Child dumped core Real time (s): 1924.13 CPU time (s): 1760.68 CPU user time (s): 1648.45 CPU system time (s): 112.229 CPU usage (%): 91.5053 Max. virtual memory (cumulated for all children) (KiB): 1893352 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1648.45 system time used= 112.229 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 798753 page faults= 44241 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 79499 involuntary context switches= 23540 runsolver used 3.42948 second user time and 8.97963 second system time The end
Begin job on node015 at 2010-06-13 06:16:57 IDJOB=2664607 IDBENCH=2017 IDSOLVER=1167 FILE ID=node015/2664607-1276402617 PBS_JOBID= 11173274 Free space on /tmp= 62548 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-9symml.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2664607-1276402617/watcher-2664607-1276402617 -o /tmp/evaluation-result-2664607-1276402617/solver-2664607-1276402617 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664607-1276402617.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 866c660dea8282137b8c78839dd4c03f RANDOM SEED=1273055620 node015.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.244 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.48 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.244 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.36 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1773844 kB Buffers: 58780 kB Cached: 144996 kB SwapCached: 14552 kB Active: 133864 kB Inactive: 87172 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1773844 kB SwapTotal: 4192956 kB SwapFree: 4135852 kB Dirty: 3280 kB Writeback: 0 kB AnonPages: 11992 kB Mapped: 9124 kB Slab: 42388 kB PageTables: 4040 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182076 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 60732 MiB End job on node015 at 2010-06-13 06:49:02