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 (TO) | 64 | 1800.12 | 1800.64 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-alu4.b.opb |
| MD5SUM | 9c27419d6022516b3a8580fda3ca43ee |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 50 |
| Best CPU time to get the best result obtained on this benchmark | 9.23959 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 50 |
| Optimality of the best value was proved | NO |
| Number of variables | 807 |
| Total number of constraints | 1823 |
| Number of constraints which are clauses | 1823 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 98 |
| Number of terms in the objective function | 807 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 807 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 807 |
| Number of bits of the biggest sum of numbers | 10 |
| 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-2664189-1276414021.opb>
0.02/0.09 c original problem has 807 variables (807 bin, 0 int, 0 impl, 0 cont) and 1823 constraints
0.02/0.09 c problem read
0.02/0.09 c presolving settings loaded
0.02/0.09 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.10/0.12 o 807
0.10/0.12 c feasible solution found by trivial heuristic, objective value 8.070000e+02
0.10/0.12 c presolving:
0.10/0.15 c (round 1) 16 del vars, 128 del conss, 16 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 10 impls, 0 clqs
0.10/0.15 c (round 2) 16 del vars, 129 del conss, 16 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 10 impls, 0 clqs
0.19/0.25 c (round 3) 16 del vars, 1007 del conss, 16 chg bounds, 17 chg sides, 0 chg coeffs, 1630 upgd conss, 10 impls, 0 clqs
0.19/0.25 c (round 4) 18 del vars, 1009 del conss, 16 chg bounds, 17 chg sides, 0 chg coeffs, 1630 upgd conss, 10 impls, 0 clqs
0.19/0.26 c (round 5) 19 del vars, 1013 del conss, 16 chg bounds, 17 chg sides, 0 chg coeffs, 1640 upgd conss, 10 impls, 0 clqs
0.19/0.26 c (round 6) 19 del vars, 1014 del conss, 16 chg bounds, 17 chg sides, 0 chg coeffs, 1644 upgd conss, 10 impls, 0 clqs
0.19/0.27 c (0.2s) probing: 101/788 (12.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.27 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.19/0.27 c presolving (7 rounds):
0.19/0.27 c 19 deleted vars, 1014 deleted constraints, 16 tightened bounds, 0 added holes, 17 changed sides, 0 changed coefficients
0.19/0.27 c 10 implications, 0 cliques
0.19/0.27 c presolved problem has 788 variables (788 bin, 0 int, 0 impl, 0 cont) and 809 constraints
0.19/0.27 c 809 constraints of type <logicor>
0.19/0.27 c transformed objective value is always integral (scale: 1)
0.19/0.27 c Presolving Time: 0.15
0.19/0.27 c - non default parameters ----------------------------------------------------------------------
0.19/0.27 c # SCIP version 1.2.1.2
0.19/0.27 c
0.19/0.27 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.19/0.27 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.27 c conflict/interconss = 0
0.19/0.27 c
0.19/0.27 c # should binary conflicts be preferred?
0.19/0.27 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.27 c conflict/preferbinary = TRUE
0.19/0.27 c
0.19/0.27 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.19/0.27 c # [type: int, range: [-1,2147483647], default: 0]
0.19/0.27 c constraints/agelimit = 1
0.19/0.27 c
0.19/0.27 c # should enforcement of pseudo solution be disabled?
0.19/0.27 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.27 c constraints/disableenfops = TRUE
0.19/0.27 c
0.19/0.27 c # frequency for displaying node information lines
0.19/0.27 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.27 c display/freq = 10000
0.19/0.27 c
0.19/0.27 c # maximal time in seconds to run
0.19/0.27 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.27 c limits/time = 1799.92
0.19/0.27 c
0.19/0.27 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.27 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.27 c limits/memory = 1620
0.19/0.27 c
0.19/0.27 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.19/0.27 c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.27 c lp/solvefreq = -1
0.19/0.27 c
0.19/0.27 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.19/0.27 c # [type: char, range: {lafpsqd}, default: l]
0.19/0.27 c lp/pricing = a
0.19/0.27 c
0.19/0.27 c # should presolving try to simplify inequalities
0.19/0.27 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.27 c constraints/linear/simplifyinequalities = TRUE
0.19/0.27 c
0.19/0.27 c # should presolving try to simplify knapsacks
0.19/0.27 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.27 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.27 c
0.19/0.27 c # priority of node selection rule <dfs> in standard mode
0.19/0.27 c # [type: int, range: [-536870912,536870911], default: 0]
0.19/0.27 c nodeselection/dfs/stdpriority = 1000000
0.19/0.27 c
0.19/0.27 c -----------------------------------------------------------------------------------------------
0.19/0.27 c start solving
0.19/0.27 c
0.19/0.27 o 805
0.19/0.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.28 c t 0.2s| 1 | 0 | 0 | - |4300k| 0 | - | 788 | 809 | 0 | 0 | 0 | 0 | 0 | -- | 8.050000e+02 | Inf
0.19/0.28 o 728
0.19/0.28 c t 0.2s| 1 | 0 | 0 | - |4311k| 0 | - | 788 | 809 | 0 | 0 | 0 | 0 | 0 | -- | 7.280000e+02 | Inf
0.19/0.28 c 0.2s| 1 | 2 | 0 | - |4288k| 0 | - | 788 | 809 | 0 | 0 | 0 | 0 | 0 | 1.800000e+01 | 7.280000e+02 |3944.44%
0.29/0.38 o 67
0.29/0.38 c * 0.3s| 740 | 731 | 0 | 0.0 |4670k| 739 | - | 788 | 809 | 0 | 0 | 0 | 0 | 0 | 1.900000e+01 | 6.700000e+01 | 252.63%
0.39/0.46 o 66
0.39/0.46 c * 0.3s| 911 | 721 | 0 | 0.0 |4695k| 739 | - | 788 | 809 | 0 | 0 | 0 | 109 | 0 | 1.900000e+01 | 6.600000e+01 | 247.37%
4.58/4.65 c 4.3s| 10000 | 688 | 0 | 0.0 |4700k| 739 | - | 788 | 810 | 0 | 0 | 0 |5693 | 0 | 1.900000e+01 | 6.600000e+01 | 247.37%
9.18/9.28 c 8.6s| 20000 | 686 | 0 | 0.0 |4705k| 739 | - | 788 | 809 | 0 | 0 | 0 | 11k| 0 | 1.900000e+01 | 6.600000e+01 | 247.37%
13.88/13.93 c 13.0s| 30000 | 686 | 0 | 0.0 |4702k| 739 | - | 788 | 809 | 0 | 0 | 0 | 18k| 0 | 1.900000e+01 | 6.600000e+01 | 247.37%
18.28/18.34 c 17.2s| 40000 | 686 | 0 | 0.0 |4702k| 739 | - | 788 | 810 | 0 | 0 | 0 | 24k| 0 | 1.900000e+01 | 6.600000e+01 | 247.37%
22.68/22.71 c 21.3s| 50000 | 685 | 0 | 0.0 |4701k| 739 | - | 788 | 809 | 0 | 0 | 0 | 30k| 0 | 1.900000e+01 | 6.600000e+01 | 247.37%
27.28/27.32 c 25.7s| 60000 | 678 | 0 | 0.0 |4699k| 739 | - | 788 | 809 | 0 | 0 | 0 | 36k| 0 | 1.900000e+01 | 6.600000e+01 | 247.37%
32.17/32.23 c 30.4s| 70000 | 683 | 0 | 0.0 |4703k| 739 | - | 788 | 809 | 0 | 0 | 0 | 42k| 0 | 1.900000e+01 | 6.600000e+01 | 247.37%
36.78/36.81 c 34.7s| 80000 | 681 | 0 | 0.0 |4700k| 739 | - | 788 | 809 | 0 | 0 | 0 | 49k| 0 | 1.900000e+01 | 6.600000e+01 | 247.37%
41.17/41.29 c 39.0s| 90000 | 681 | 0 | 0.0 |4706k| 739 | - | 788 | 809 | 0 | 0 | 0 | 54k| 0 | 1.900000e+01 | 6.600000e+01 | 247.37%
45.77/45.84 c 43.2s|100000 | 678 | 0 | 0.0 |4702k| 739 | - | 788 | 810 | 0 | 0 | 0 | 61k| 0 | 1.900000e+01 | 6.600000e+01 | 247.37%
50.27/50.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
50.27/50.30 c 47.4s|110000 | 679 | 0 | 0.0 |4700k| 739 | - | 788 | 809 | 0 | 0 | 0 | 66k| 0 | 1.900000e+01 | 6.600000e+01 | 247.37%
54.57/54.62 c 51.5s|120000 | 680 | 0 | 0.0 |4707k| 739 | - | 788 | 809 | 0 | 0 | 0 | 72k| 0 | 1.900000e+01 | 6.600000e+01 | 247.37%
58.97/59.06 c 55.7s|130000 | 682 | 0 | 0.0 |4702k| 739 | - | 788 | 809 | 0 | 0 | 0 | 78k| 0 | 1.900000e+01 | 6.600000e+01 | 247.37%
63.37/63.44 c 59.8s|140000 | 682 | 0 | 0.0 |4702k| 739 | - | 788 | 810 | 0 | 0 | 0 | 84k| 0 | 1.900000e+01 | 6.600000e+01 | 247.37%
67.86/67.90 c 64.1s|150000 | 678 | 0 | 0.0 |4702k| 739 | - | 788 | 811 | 0 | 0 | 0 | 91k| 0 | 1.900000e+01 | 6.600000e+01 | 247.37%
72.17/72.25 c 68.2s|160000 | 680 | 0 | 0.0 |4705k| 739 | - | 788 | 810 | 0 | 0 | 0 | 97k| 0 | 1.900000e+01 | 6.600000e+01 | 247.37%
76.66/76.73 c 72.4s|170000 | 682 | 0 | 0.0 |4706k| 739 | - | 788 | 810 | 0 | 0 | 0 | 103k| 0 | 1.900000e+01 | 6.600000e+01 | 247.37%
80.96/81.05 c 76.5s|180000 | 677 | 0 | 0.0 |4704k| 739 | - | 788 | 810 | 0 | 0 | 0 | 109k| 0 | 1.900000e+01 | 6.600000e+01 | 247.37%
85.36/85.43 c 80.6s|190000 | 681 | 0 | 0.0 |4705k| 739 | - | 788 | 810 | 0 | 0 | 0 | 115k| 0 | 1.900000e+01 | 6.600000e+01 | 247.37%
89.86/89.93 c 84.9s|200000 | 675 | 0 | 0.0 |4700k| 739 | - | 788 | 810 | 0 | 0 | 0 | 121k| 0 | 1.900000e+01 | 6.600000e+01 | 247.37%
94.16/94.25 c 88.9s|210000 | 682 | 0 | 0.0 |4701k| 739 | - | 788 | 809 | 0 | 0 | 0 | 127k| 0 | 1.900000e+01 | 6.600000e+01 | 247.37%
98.55/98.68 c 93.1s|220000 | 680 | 0 | 0.0 |4700k| 739 | - | 788 | 809 | 0 | 0 | 0 | 133k| 0 | 1.900000e+01 | 6.600000e+01 | 247.37%
102.95/103.08 c 97.3s|230000 | 680 | 0 | 0.0 |4702k| 739 | - | 788 | 809 | 0 | 0 | 0 | 139k| 0 | 1.900000e+01 | 6.600000e+01 | 247.37%
107.36/107.44 c 101s|240000 | 676 | 0 | 0.0 |4706k| 739 | - | 788 | 809 | 0 | 0 | 0 | 145k| 0 | 1.900000e+01 | 6.600000e+01 | 247.37%
111.75/111.86 c 106s|250000 | 681 | 0 | 0.0 |4709k| 739 | - | 788 | 809 | 0 | 0 | 0 | 152k| 0 | 1.900000e+01 | 6.600000e+01 | 247.37%
116.16/116.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
116.16/116.28 c 110s|260000 | 677 | 0 | 0.0 |4700k| 739 | - | 788 | 809 | 0 | 0 | 0 | 158k| 0 | 1.900000e+01 | 6.600000e+01 | 247.37%
120.45/120.53 c 114s|270000 | 676 | 0 | 0.0 |4707k| 739 | - | 788 | 809 | 0 | 0 | 0 | 164k| 0 | 1.900000e+01 | 6.600000e+01 | 247.37%
124.65/124.72 c 118s|280000 | 683 | 0 | 0.0 |4704k| 739 | - | 788 | 811 | 0 | 0 | 0 | 170k| 0 | 1.900000e+01 | 6.600000e+01 | 247.37%
129.15/129.25 c 122s|290000 | 675 | 0 | 0.0 |4702k| 739 | - | 788 | 809 | 0 | 0 | 0 | 176k| 0 | 1.900000e+01 | 6.600000e+01 | 247.37%
133.94/134.01 c 126s|300000 | 679 | 0 | 0.0 |4701k| 739 | - | 788 | 809 | 0 | 0 | 0 | 182k| 0 | 1.900000e+01 | 6.600000e+01 | 247.37%
138.55/138.67 c 131s|310000 | 673 | 0 | 0.0 |4703k| 739 | - | 788 | 809 | 0 | 0 | 0 | 189k| 0 | 1.900000e+01 | 6.600000e+01 | 247.37%
143.05/143.11 c 135s|320000 | 678 | 0 | 0.0 |4703k| 739 | - | 788 | 809 | 0 | 0 | 0 | 195k| 0 | 1.900000e+01 | 6.600000e+01 | 247.37%
147.75/147.86 c 140s|330000 | 681 | 0 | 0.0 |4706k| 739 | - | 788 | 809 | 0 | 0 | 0 | 201k| 0 | 1.900000e+01 | 6.600000e+01 | 247.37%
152.14/152.27 c 144s|340000 | 676 | 0 | 0.0 |4707k| 739 | - | 788 | 809 | 0 | 0 | 0 | 207k| 0 | 1.900000e+01 | 6.600000e+01 | 247.37%
156.64/156.75 c 148s|350000 | 676 | 0 | 0.0 |4701k| 739 | - | 788 | 809 | 0 | 0 | 0 | 213k| 0 | 1.900000e+01 | 6.600000e+01 | 247.37%
161.04/161.16 c 152s|360000 | 672 | 0 | 0.0 |4702k| 739 | - | 788 | 809 | 0 | 0 | 0 | 220k| 0 | 1.900000e+01 | 6.600000e+01 | 247.37%
165.43/165.50 c 156s|370000 | 673 | 0 | 0.0 |4701k| 739 | - | 788 | 809 | 0 | 0 | 0 | 226k| 0 | 1.900000e+01 | 6.600000e+01 | 247.37%
169.04/169.10 o 65
169.04/169.10 c * 160s|378437 | 687 | 0 | 0.0 |4716k| 739 | - | 788 | 809 | 0 | 0 | 0 | 231k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
169.73/169.84 c 160s|380000 | 683 | 0 | 0.0 |4714k| 739 | - | 788 | 809 | 0 | 0 | 0 | 232k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
174.53/174.69 c 165s|390000 | 681 | 0 | 0.0 |4714k| 739 | - | 788 | 809 | 0 | 0 | 0 | 238k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
179.43/179.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
179.43/179.53 c 170s|400000 | 676 | 0 | 0.0 |4717k| 739 | - | 788 | 811 | 0 | 0 | 0 | 245k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
183.93/184.03 c 174s|410000 | 675 | 0 | 0.0 |4715k| 739 | - | 788 | 809 | 0 | 0 | 0 | 251k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
188.53/188.60 c 178s|420000 | 677 | 0 | 0.0 |4716k| 739 | - | 788 | 809 | 0 | 0 | 0 | 257k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
192.73/192.81 c 182s|430000 | 670 | 0 | 0.0 |4720k| 739 | - | 788 | 809 | 0 | 0 | 0 | 263k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
196.93/197.08 c 186s|440000 | 680 | 0 | 0.0 |4713k| 739 | - | 788 | 809 | 0 | 0 | 0 | 269k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
201.92/202.02 c 191s|450000 | 672 | 0 | 0.0 |4722k| 739 | - | 788 | 817 | 0 | 0 | 0 | 275k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
206.73/206.84 c 195s|460000 | 671 | 0 | 0.0 |4716k| 739 | - | 788 | 810 | 0 | 0 | 0 | 282k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
211.82/211.99 c 200s|470000 | 673 | 0 | 0.0 |4721k| 739 | - | 788 | 811 | 0 | 0 | 0 | 288k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
216.63/216.74 c 205s|480000 | 668 | 0 | 0.0 |4712k| 739 | - | 788 | 809 | 0 | 0 | 0 | 295k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
221.42/221.51 c 209s|490000 | 674 | 0 | 0.0 |4717k| 739 | - | 788 | 811 | 0 | 0 | 0 | 301k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
226.22/226.34 c 214s|500000 | 674 | 0 | 0.0 |4719k| 739 | - | 788 | 811 | 0 | 0 | 0 | 307k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
230.62/230.71 c 218s|510000 | 675 | 0 | 0.0 |4716k| 739 | - | 788 | 809 | 0 | 0 | 0 | 313k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
235.22/235.30 c 222s|520000 | 674 | 0 | 0.0 |4716k| 739 | - | 788 | 809 | 0 | 0 | 0 | 320k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
239.72/239.81 c 226s|530000 | 672 | 0 | 0.0 |4715k| 739 | - | 788 | 809 | 0 | 0 | 0 | 326k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
244.22/244.32 c 231s|540000 | 673 | 0 | 0.0 |4720k| 739 | - | 788 | 809 | 0 | 0 | 0 | 332k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
248.61/248.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
248.61/248.74 c 235s|550000 | 679 | 0 | 0.0 |4717k| 739 | - | 788 | 809 | 0 | 0 | 0 | 338k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
253.21/253.39 c 239s|560000 | 671 | 0 | 0.0 |4718k| 739 | - | 788 | 813 | 0 | 0 | 0 | 345k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
258.32/258.42 c 244s|570000 | 671 | 0 | 0.0 |4718k| 739 | - | 788 | 813 | 0 | 0 | 0 | 351k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
262.61/262.80 c 248s|580000 | 667 | 0 | 0.0 |4717k| 739 | - | 788 | 814 | 0 | 0 | 0 | 357k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
267.41/267.54 c 253s|590000 | 675 | 0 | 0.0 |4717k| 739 | - | 788 | 809 | 0 | 0 | 0 | 364k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
272.00/272.13 c 257s|600000 | 673 | 0 | 0.0 |4715k| 739 | - | 788 | 809 | 0 | 0 | 0 | 370k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
276.81/276.91 c 261s|610000 | 676 | 0 | 0.0 |4716k| 739 | - | 788 | 809 | 0 | 0 | 0 | 376k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
281.51/281.64 c 266s|620000 | 678 | 0 | 0.0 |4722k| 739 | - | 788 | 811 | 0 | 0 | 0 | 383k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
286.00/286.17 c 270s|630000 | 674 | 0 | 0.0 |4716k| 739 | - | 788 | 809 | 0 | 0 | 0 | 389k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
290.70/290.85 c 275s|640000 | 670 | 0 | 0.0 |4718k| 739 | - | 788 | 813 | 0 | 0 | 0 | 395k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
295.30/295.49 c 279s|650000 | 668 | 0 | 0.0 |4721k| 739 | - | 788 | 811 | 0 | 0 | 0 | 401k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
300.00/300.17 c 283s|660000 | 673 | 0 | 0.0 |4716k| 739 | - | 788 | 809 | 0 | 0 | 0 | 408k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
304.70/304.80 c 288s|670000 | 670 | 0 | 0.0 |4715k| 739 | - | 788 | 809 | 0 | 0 | 0 | 414k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
309.01/309.12 c 292s|680000 | 671 | 0 | 0.0 |4719k| 739 | - | 788 | 809 | 0 | 0 | 0 | 420k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
313.49/313.61 c 296s|690000 | 674 | 0 | 0.0 |4716k| 739 | - | 788 | 809 | 0 | 0 | 0 | 426k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
318.30/318.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
318.30/318.44 c 300s|700000 | 674 | 0 | 0.0 |4720k| 739 | - | 788 | 809 | 0 | 0 | 0 | 433k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
322.59/322.78 c 305s|710000 | 668 | 0 | 0.0 |4714k| 739 | - | 788 | 809 | 0 | 0 | 0 | 439k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
326.99/327.17 c 309s|720000 | 672 | 0 | 0.0 |4722k| 739 | - | 788 | 809 | 0 | 0 | 0 | 445k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
331.49/331.64 c 313s|730000 | 673 | 0 | 0.0 |4716k| 739 | - | 788 | 809 | 0 | 0 | 0 | 451k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
335.89/336.01 c 317s|740000 | 672 | 0 | 0.0 |4720k| 739 | - | 788 | 810 | 0 | 0 | 0 | 457k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
340.69/340.83 c 322s|750000 | 671 | 0 | 0.0 |4720k| 739 | - | 788 | 812 | 0 | 0 | 0 | 463k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
345.39/345.53 c 326s|760000 | 678 | 0 | 0.0 |4721k| 739 | - | 788 | 811 | 0 | 0 | 0 | 469k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
349.89/350.05 c 330s|770000 | 673 | 0 | 0.0 |4718k| 739 | - | 788 | 809 | 0 | 0 | 0 | 476k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
354.48/354.62 c 335s|780000 | 675 | 0 | 0.0 |4717k| 739 | - | 788 | 809 | 0 | 0 | 0 | 482k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
358.68/358.86 c 339s|790000 | 670 | 0 | 0.0 |4718k| 739 | - | 788 | 810 | 0 | 0 | 0 | 488k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
362.88/363.08 c 343s|800000 | 672 | 0 | 0.0 |4723k| 739 | - | 788 | 810 | 0 | 0 | 0 | 494k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
367.18/367.35 c 347s|810000 | 666 | 0 | 0.0 |4716k| 739 | - | 788 | 810 | 0 | 0 | 0 | 500k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
371.37/371.57 c 351s|820000 | 677 | 0 | 0.0 |4719k| 739 | - | 788 | 809 | 0 | 0 | 0 | 506k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
375.78/375.99 c 355s|830000 | 669 | 0 | 0.0 |4716k| 739 | - | 788 | 810 | 0 | 0 | 0 | 513k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
380.28/380.46 c 359s|840000 | 665 | 0 | 0.0 |4718k| 739 | - | 788 | 810 | 0 | 0 | 0 | 519k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
384.47/384.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
384.47/384.65 c 363s|850000 | 674 | 0 | 0.0 |4716k| 739 | - | 788 | 809 | 0 | 0 | 0 | 525k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
388.77/388.90 c 367s|860000 | 670 | 0 | 0.0 |4719k| 739 | - | 788 | 809 | 0 | 0 | 0 | 531k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
393.08/393.20 c 371s|870000 | 675 | 0 | 0.0 |4721k| 739 | - | 788 | 809 | 0 | 0 | 0 | 537k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
397.67/397.81 c 375s|880000 | 669 | 0 | 0.0 |4715k| 739 | - | 788 | 809 | 0 | 0 | 0 | 543k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
402.17/402.31 c 380s|890000 | 670 | 0 | 0.0 |4718k| 739 | - | 788 | 809 | 0 | 0 | 0 | 550k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
406.47/406.60 c 384s|900000 | 671 | 0 | 0.0 |4718k| 739 | - | 788 | 810 | 0 | 0 | 0 | 555k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
411.27/411.45 c 388s|910000 | 669 | 0 | 0.0 |4719k| 739 | - | 788 | 809 | 0 | 0 | 0 | 562k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
416.47/416.62 c 393s|920000 | 672 | 0 | 0.0 |4716k| 739 | - | 788 | 809 | 0 | 0 | 0 | 569k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
420.96/421.14 c 397s|930000 | 669 | 0 | 0.0 |4720k| 739 | - | 788 | 809 | 0 | 0 | 0 | 575k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
425.36/425.59 c 401s|940000 | 667 | 0 | 0.0 |4718k| 739 | - | 788 | 809 | 0 | 0 | 0 | 581k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
430.06/430.21 c 406s|950000 | 672 | 0 | 0.0 |4719k| 739 | - | 788 | 811 | 0 | 0 | 0 | 587k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
434.56/434.73 c 410s|960000 | 671 | 0 | 0.0 |4717k| 739 | - | 788 | 810 | 0 | 0 | 0 | 593k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
438.96/439.18 c 414s|970000 | 671 | 0 | 0.0 |4717k| 739 | - | 788 | 809 | 0 | 0 | 0 | 600k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
443.26/443.46 c 418s|980000 | 666 | 0 | 0.0 |4715k| 739 | - | 788 | 809 | 0 | 0 | 0 | 606k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
447.66/447.86 c 422s|990000 | 668 | 0 | 0.0 |4719k| 739 | - | 788 | 810 | 0 | 0 | 0 | 612k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
452.06/452.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
452.06/452.25 c 427s| 1000k| 667 | 0 | 0.0 |4717k| 739 | - | 788 | 809 | 0 | 0 | 0 | 618k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
456.45/456.69 c 431s| 1010k| 672 | 0 | 0.0 |4717k| 739 | - | 788 | 809 | 0 | 0 | 0 | 625k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
460.76/460.99 c 435s| 1020k| 668 | 0 | 0.0 |4715k| 739 | - | 788 | 809 | 0 | 0 | 0 | 631k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
465.25/465.47 c 439s| 1030k| 668 | 0 | 0.0 |4718k| 739 | - | 788 | 810 | 0 | 0 | 0 | 637k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
469.74/469.99 c 443s| 1040k| 670 | 0 | 0.0 |4717k| 739 | - | 788 | 809 | 0 | 0 | 0 | 643k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
474.15/474.34 c 447s| 1050k| 669 | 0 | 0.0 |4717k| 739 | - | 788 | 810 | 0 | 0 | 0 | 650k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
478.75/478.95 c 452s| 1060k| 671 | 0 | 0.0 |4717k| 739 | - | 788 | 809 | 0 | 0 | 0 | 656k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
483.15/483.38 c 456s| 1070k| 668 | 0 | 0.0 |4717k| 739 | - | 788 | 810 | 0 | 0 | 0 | 662k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
487.94/488.12 c 460s| 1080k| 673 | 0 | 0.0 |4720k| 739 | - | 788 | 812 | 0 | 0 | 0 | 668k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
492.55/492.76 c 465s| 1090k| 665 | 0 | 0.0 |4720k| 739 | - | 788 | 811 | 0 | 0 | 0 | 675k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
497.05/497.23 c 469s| 1100k| 669 | 0 | 0.0 |4716k| 739 | - | 788 | 809 | 0 | 0 | 0 | 681k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
501.44/501.66 c 473s| 1110k| 664 | 0 | 0.0 |4717k| 739 | - | 788 | 809 | 0 | 0 | 0 | 687k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
506.24/506.47 c 478s| 1120k| 669 | 0 | 0.0 |4717k| 739 | - | 788 | 810 | 0 | 0 | 0 | 694k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
510.94/511.11 c 482s| 1130k| 668 | 0 | 0.0 |4716k| 739 | - | 788 | 809 | 0 | 0 | 0 | 700k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
515.34/515.52 c 486s| 1140k| 671 | 0 | 0.0 |4719k| 739 | - | 788 | 810 | 0 | 0 | 0 | 707k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
519.84/520.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
519.84/520.04 c 491s| 1150k| 672 | 0 | 0.0 |4717k| 739 | - | 788 | 809 | 0 | 0 | 0 | 713k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
524.24/524.44 c 495s| 1160k| 668 | 0 | 0.0 |4716k| 739 | - | 788 | 809 | 0 | 0 | 0 | 719k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
528.63/528.84 c 499s| 1170k| 664 | 0 | 0.0 |4715k| 739 | - | 788 | 809 | 0 | 0 | 0 | 725k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
533.24/533.44 c 503s| 1180k| 669 | 0 | 0.0 |4720k| 739 | - | 788 | 809 | 0 | 0 | 0 | 731k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
537.93/538.11 c 508s| 1190k| 667 | 0 | 0.0 |4716k| 739 | - | 788 | 809 | 0 | 0 | 0 | 738k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
542.43/542.62 c 512s| 1200k| 674 | 0 | 0.0 |4719k| 739 | - | 788 | 810 | 0 | 0 | 0 | 744k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
547.03/547.23 c 516s| 1210k| 668 | 0 | 0.0 |4716k| 739 | - | 788 | 809 | 0 | 0 | 0 | 750k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
551.63/551.89 c 521s| 1220k| 670 | 0 | 0.0 |4716k| 739 | - | 788 | 809 | 0 | 0 | 0 | 756k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
556.43/556.61 c 525s| 1230k| 665 | 0 | 0.0 |4715k| 739 | - | 788 | 809 | 0 | 0 | 0 | 762k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
560.93/561.14 c 529s| 1240k| 669 | 0 | 0.0 |4716k| 739 | - | 788 | 809 | 0 | 0 | 0 | 769k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
566.02/566.23 c 534s| 1250k| 672 | 0 | 0.0 |4720k| 739 | - | 788 | 809 | 0 | 0 | 0 | 775k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
570.92/571.13 c 539s| 1260k| 662 | 0 | 0.0 |4721k| 739 | - | 788 | 812 | 0 | 0 | 0 | 782k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
575.52/575.79 c 543s| 1270k| 671 | 0 | 0.0 |4723k| 739 | - | 788 | 813 | 0 | 0 | 0 | 788k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
580.32/580.56 c 548s| 1280k| 662 | 0 | 0.0 |4718k| 739 | - | 788 | 810 | 0 | 0 | 0 | 795k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
584.92/585.16 c 552s| 1290k| 669 | 0 | 0.0 |4716k| 739 | - | 788 | 809 | 0 | 0 | 0 | 801k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
589.71/589.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
589.71/589.94 c 557s| 1300k| 671 | 0 | 0.0 |4718k| 739 | - | 788 | 810 | 0 | 0 | 0 | 807k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
594.21/594.46 c 561s| 1310k| 672 | 0 | 0.0 |4719k| 739 | - | 788 | 809 | 0 | 0 | 0 | 813k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
598.71/598.98 c 565s| 1320k| 670 | 0 | 0.0 |4717k| 739 | - | 788 | 809 | 0 | 0 | 0 | 820k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
603.22/603.40 c 569s| 1330k| 668 | 0 | 0.0 |4721k| 739 | - | 788 | 810 | 0 | 0 | 0 | 826k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
607.41/607.60 c 573s| 1340k| 666 | 0 | 0.0 |4718k| 739 | - | 788 | 810 | 0 | 0 | 0 | 832k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
611.71/611.90 c 577s| 1350k| 669 | 0 | 0.0 |4717k| 739 | - | 788 | 809 | 0 | 0 | 0 | 838k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
616.00/616.21 c 581s| 1360k| 666 | 0 | 0.0 |4716k| 739 | - | 788 | 809 | 0 | 0 | 0 | 844k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
620.50/620.79 c 586s| 1370k| 666 | 0 | 0.0 |4718k| 739 | - | 788 | 810 | 0 | 0 | 0 | 850k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
624.90/625.13 c 590s| 1380k| 672 | 0 | 0.0 |4718k| 739 | - | 788 | 810 | 0 | 0 | 0 | 856k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
629.20/629.49 c 594s| 1390k| 669 | 0 | 0.0 |4716k| 739 | - | 788 | 809 | 0 | 0 | 0 | 862k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
633.51/633.78 c 598s| 1400k| 669 | 0 | 0.0 |4721k| 739 | - | 788 | 809 | 0 | 0 | 0 | 868k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
637.81/638.01 c 602s| 1410k| 671 | 0 | 0.0 |4717k| 739 | - | 788 | 809 | 0 | 0 | 0 | 874k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
642.00/642.27 c 606s| 1420k| 664 | 0 | 0.0 |4717k| 739 | - | 788 | 809 | 0 | 0 | 0 | 880k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
646.40/646.60 c 610s| 1430k| 673 | 0 | 0.0 |4719k| 739 | - | 788 | 809 | 0 | 0 | 0 | 887k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
650.80/651.00 c 614s| 1440k| 665 | 0 | 0.0 |4717k| 739 | - | 788 | 809 | 0 | 0 | 0 | 893k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
655.20/655.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
655.20/655.45 c 618s| 1450k| 672 | 0 | 0.0 |4720k| 739 | - | 788 | 809 | 0 | 0 | 0 | 899k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
659.60/659.83 c 622s| 1460k| 666 | 0 | 0.0 |4721k| 739 | - | 788 | 814 | 0 | 0 | 0 | 905k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
664.00/664.20 c 627s| 1470k| 668 | 0 | 0.0 |4722k| 739 | - | 788 | 809 | 0 | 0 | 0 | 911k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
668.30/668.51 c 631s| 1480k| 667 | 0 | 0.0 |4718k| 739 | - | 788 | 810 | 0 | 0 | 0 | 917k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
672.59/672.80 c 635s| 1490k| 662 | 0 | 0.0 |4719k| 739 | - | 788 | 809 | 0 | 0 | 0 | 923k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
676.79/677.09 c 639s| 1500k| 670 | 0 | 0.0 |4717k| 739 | - | 788 | 809 | 0 | 0 | 0 | 930k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
681.49/681.72 c 643s| 1510k| 671 | 0 | 0.0 |4717k| 739 | - | 788 | 809 | 0 | 0 | 0 | 936k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
686.20/686.50 c 648s| 1520k| 671 | 0 | 0.0 |4719k| 739 | - | 788 | 809 | 0 | 0 | 0 | 942k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
690.79/691.09 c 652s| 1530k| 670 | 0 | 0.0 |4720k| 739 | - | 788 | 812 | 0 | 0 | 0 | 948k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
695.39/695.67 c 656s| 1540k| 669 | 0 | 0.0 |4717k| 739 | - | 788 | 809 | 0 | 0 | 0 | 955k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
700.39/700.60 c 661s| 1550k| 668 | 0 | 0.0 |4716k| 739 | - | 788 | 809 | 0 | 0 | 0 | 961k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
704.89/705.12 c 665s| 1560k| 666 | 0 | 0.0 |4721k| 739 | - | 788 | 810 | 0 | 0 | 0 | 967k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
709.29/709.55 c 669s| 1570k| 669 | 0 | 0.0 |4717k| 739 | - | 788 | 809 | 0 | 0 | 0 | 974k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
713.78/714.00 c 674s| 1580k| 674 | 0 | 0.0 |4720k| 739 | - | 788 | 810 | 0 | 0 | 0 | 980k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
718.09/718.31 c 678s| 1590k| 668 | 0 | 0.0 |4716k| 739 | - | 788 | 809 | 0 | 0 | 0 | 986k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
722.38/722.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
722.38/722.66 c 682s| 1600k| 666 | 0 | 0.0 |4717k| 739 | - | 788 | 809 | 0 | 0 | 0 | 992k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
726.88/727.18 c 686s| 1610k| 670 | 0 | 0.0 |4721k| 739 | - | 788 | 809 | 0 | 0 | 0 | 998k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
731.77/732.05 c 691s| 1620k| 670 | 0 | 0.0 |4717k| 739 | - | 788 | 809 | 0 | 0 | 0 |1005k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
736.58/736.83 c 695s| 1630k| 668 | 0 | 0.0 |4720k| 739 | - | 788 | 810 | 0 | 0 | 0 |1011k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
741.18/741.46 c 699s| 1640k| 668 | 0 | 0.0 |4720k| 739 | - | 788 | 812 | 0 | 0 | 0 |1017k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
745.87/746.12 c 704s| 1650k| 665 | 0 | 0.0 |4717k| 739 | - | 788 | 811 | 0 | 0 | 0 |1023k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
750.16/750.49 c 708s| 1660k| 672 | 0 | 0.0 |4717k| 739 | - | 788 | 809 | 0 | 0 | 0 |1029k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
754.67/754.97 c 712s| 1670k| 672 | 0 | 0.0 |4717k| 739 | - | 788 | 809 | 0 | 0 | 0 |1035k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
759.56/759.81 c 717s| 1680k| 665 | 0 | 0.0 |4716k| 739 | - | 788 | 809 | 0 | 0 | 0 |1042k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
764.27/764.59 c 721s| 1690k| 672 | 0 | 0.0 |4718k| 739 | - | 788 | 809 | 0 | 0 | 0 |1048k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
769.27/769.50 c 726s| 1700k| 669 | 0 | 0.0 |4720k| 739 | - | 788 | 813 | 0 | 0 | 0 |1055k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
773.66/773.90 c 730s| 1710k| 674 | 0 | 0.0 |4718k| 739 | - | 788 | 809 | 0 | 0 | 0 |1061k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
778.86/779.14 c 735s| 1720k| 658 | 0 | 0.0 |4720k| 739 | - | 788 | 811 | 0 | 0 | 0 |1068k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
783.46/783.75 c 739s| 1730k| 671 | 0 | 0.0 |4723k| 739 | - | 788 | 810 | 0 | 0 | 0 |1074k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
787.96/788.25 c 744s| 1740k| 670 | 0 | 0.0 |4721k| 739 | - | 788 | 809 | 0 | 0 | 0 |1080k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
792.46/792.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
792.46/792.70 c 748s| 1750k| 670 | 0 | 0.0 |4719k| 739 | - | 788 | 810 | 0 | 0 | 0 |1086k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
796.85/797.18 c 752s| 1760k| 669 | 0 | 0.0 |4720k| 739 | - | 788 | 809 | 0 | 0 | 0 |1092k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
801.35/801.66 c 756s| 1770k| 673 | 0 | 0.0 |4718k| 739 | - | 788 | 809 | 0 | 0 | 0 |1098k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
805.85/806.17 c 760s| 1780k| 668 | 0 | 0.0 |4717k| 739 | - | 788 | 809 | 0 | 0 | 0 |1105k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
810.56/810.89 c 765s| 1790k| 671 | 0 | 0.0 |4720k| 739 | - | 788 | 809 | 0 | 0 | 0 |1111k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
815.16/815.41 c 769s| 1800k| 665 | 0 | 0.0 |4716k| 739 | - | 788 | 809 | 0 | 0 | 0 |1117k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
819.55/819.83 c 773s| 1810k| 665 | 0 | 0.0 |4716k| 739 | - | 788 | 809 | 0 | 0 | 0 |1123k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
823.94/824.20 c 778s| 1820k| 670 | 0 | 0.0 |4717k| 739 | - | 788 | 809 | 0 | 0 | 0 |1129k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
828.35/828.69 c 782s| 1830k| 661 | 0 | 0.0 |4716k| 739 | - | 788 | 811 | 0 | 0 | 0 |1135k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
832.74/833.09 c 786s| 1840k| 668 | 0 | 0.0 |4717k| 739 | - | 788 | 809 | 0 | 0 | 0 |1141k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
837.14/837.49 c 790s| 1850k| 665 | 0 | 0.0 |4716k| 739 | - | 788 | 809 | 0 | 0 | 0 |1147k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
841.65/841.92 c 794s| 1860k| 669 | 0 | 0.0 |4720k| 739 | - | 788 | 809 | 0 | 0 | 0 |1153k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
846.34/846.69 c 799s| 1870k| 666 | 0 | 0.0 |4723k| 739 | - | 788 | 812 | 0 | 0 | 0 |1160k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
851.44/851.76 c 804s| 1880k| 669 | 0 | 0.0 |4722k| 739 | - | 788 | 813 | 0 | 0 | 0 |1166k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
856.13/856.47 c 808s| 1890k| 666 | 0 | 0.0 |4717k| 739 | - | 788 | 809 | 0 | 0 | 0 |1172k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
861.04/861.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
861.04/861.39 c 813s| 1900k| 668 | 0 | 0.0 |4722k| 739 | - | 788 | 813 | 0 | 0 | 0 |1179k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
865.84/866.17 c 817s| 1910k| 667 | 0 | 0.0 |4717k| 739 | - | 788 | 809 | 0 | 0 | 0 |1185k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
870.64/870.91 c 822s| 1920k| 665 | 0 | 0.0 |4721k| 739 | - | 788 | 809 | 0 | 0 | 0 |1192k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
875.13/875.43 c 826s| 1930k| 666 | 0 | 0.0 |4718k| 739 | - | 788 | 809 | 0 | 0 | 0 |1198k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
879.64/879.98 c 830s| 1940k| 665 | 0 | 0.0 |4717k| 739 | - | 788 | 809 | 0 | 0 | 0 |1204k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
884.33/884.69 c 835s| 1950k| 663 | 0 | 0.0 |4717k| 739 | - | 788 | 809 | 0 | 0 | 0 |1210k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
888.93/889.22 c 839s| 1960k| 668 | 0 | 0.0 |4717k| 739 | - | 788 | 809 | 0 | 0 | 0 |1216k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
893.73/894.00 c 843s| 1970k| 672 | 0 | 0.0 |4720k| 739 | - | 788 | 810 | 0 | 0 | 0 |1222k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
898.53/898.84 c 848s| 1980k| 668 | 0 | 0.0 |4721k| 739 | - | 788 | 809 | 0 | 0 | 0 |1229k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
903.33/903.68 c 853s| 1990k| 671 | 0 | 0.0 |4722k| 739 | - | 788 | 810 | 0 | 0 | 0 |1235k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
908.12/908.50 c 857s| 2000k| 670 | 0 | 0.0 |4722k| 739 | - | 788 | 810 | 0 | 0 | 0 |1241k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
913.02/913.35 c 862s| 2010k| 661 | 0 | 0.0 |4722k| 739 | - | 788 | 813 | 0 | 0 | 0 |1247k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
917.93/918.26 c 866s| 2020k| 666 | 0 | 0.0 |4717k| 739 | - | 788 | 809 | 0 | 0 | 0 |1253k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
922.62/922.99 c 871s| 2030k| 672 | 0 | 0.0 |4719k| 739 | - | 788 | 809 | 0 | 0 | 0 |1260k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
927.52/927.82 c 875s| 2040k| 666 | 0 | 0.0 |4717k| 739 | - | 788 | 809 | 0 | 0 | 0 |1266k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
932.32/932.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
932.32/932.65 c 880s| 2050k| 663 | 0 | 0.0 |4729k| 739 | - | 788 | 812 | 0 | 0 | 0 |1273k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
937.01/937.39 c 884s| 2060k| 667 | 0 | 0.0 |4718k| 739 | - | 788 | 809 | 0 | 0 | 0 |1279k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
941.81/942.16 c 889s| 2070k| 665 | 0 | 0.0 |4719k| 739 | - | 788 | 810 | 0 | 0 | 0 |1285k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
946.42/946.73 c 893s| 2080k| 663 | 0 | 0.0 |4722k| 739 | - | 788 | 814 | 0 | 0 | 0 |1292k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
951.12/951.41 c 898s| 2090k| 669 | 0 | 0.0 |4722k| 739 | - | 788 | 812 | 0 | 0 | 0 |1298k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
955.71/956.03 c 902s| 2100k| 665 | 0 | 0.0 |4722k| 739 | - | 788 | 809 | 0 | 0 | 0 |1304k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
960.11/960.50 c 906s| 2110k| 662 | 0 | 0.0 |4721k| 739 | - | 788 | 809 | 0 | 0 | 0 |1311k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
964.60/964.94 c 910s| 2120k| 662 | 0 | 0.0 |4724k| 739 | - | 788 | 810 | 0 | 0 | 0 |1317k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
969.41/969.71 c 915s| 2130k| 669 | 0 | 0.0 |4719k| 739 | - | 788 | 809 | 0 | 0 | 0 |1323k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
974.10/974.42 c 919s| 2140k| 661 | 0 | 0.0 |4716k| 739 | - | 788 | 809 | 0 | 0 | 0 |1330k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
978.80/979.13 c 924s| 2150k| 665 | 0 | 0.0 |4718k| 739 | - | 788 | 809 | 0 | 0 | 0 |1336k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
983.40/983.79 c 928s| 2160k| 673 | 0 | 0.0 |4721k| 739 | - | 788 | 809 | 0 | 0 | 0 |1342k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
988.20/988.51 c 933s| 2170k| 661 | 0 | 0.0 |4720k| 739 | - | 788 | 809 | 0 | 0 | 0 |1348k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
993.10/993.44 c 937s| 2180k| 662 | 0 | 0.0 |4716k| 739 | - | 788 | 809 | 0 | 0 | 0 |1355k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
997.80/998.13 c 942s| 2190k| 668 | 0 | 0.0 |4718k| 739 | - | 788 | 809 | 0 | 0 | 0 |1361k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1002.81/1003.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1002.81/1003.11 c 946s| 2200k| 672 | 0 | 0.0 |4719k| 739 | - | 788 | 809 | 0 | 0 | 0 |1367k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1007.59/1007.90 c 951s| 2210k| 670 | 0 | 0.0 |4719k| 739 | - | 788 | 809 | 0 | 0 | 0 |1374k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1012.80/1013.13 c 956s| 2220k| 666 | 0 | 0.0 |4718k| 739 | - | 788 | 809 | 0 | 0 | 0 |1380k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1017.69/1018.02 c 960s| 2230k| 664 | 0 | 0.0 |4717k| 739 | - | 788 | 809 | 0 | 0 | 0 |1386k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1022.49/1022.82 c 965s| 2240k| 662 | 0 | 0.0 |4717k| 739 | - | 788 | 809 | 0 | 0 | 0 |1393k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1027.39/1027.73 c 970s| 2250k| 667 | 0 | 0.0 |4722k| 739 | - | 788 | 809 | 0 | 0 | 0 |1399k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1032.39/1032.70 c 974s| 2260k| 669 | 0 | 0.0 |4720k| 739 | - | 788 | 809 | 0 | 0 | 0 |1406k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1037.19/1037.57 c 979s| 2270k| 670 | 0 | 0.0 |4720k| 739 | - | 788 | 809 | 0 | 0 | 0 |1412k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1042.28/1042.69 c 984s| 2280k| 668 | 0 | 0.0 |4724k| 739 | - | 788 | 811 | 0 | 0 | 0 |1418k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1046.89/1047.29 c 988s| 2290k| 661 | 0 | 0.0 |4721k| 739 | - | 788 | 813 | 0 | 0 | 0 |1424k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1051.58/1051.98 c 992s| 2300k| 663 | 0 | 0.0 |4724k| 739 | - | 788 | 814 | 0 | 0 | 0 |1431k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1056.19/1056.55 c 997s| 2310k| 670 | 0 | 0.0 |4720k| 739 | - | 788 | 809 | 0 | 0 | 0 |1437k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1060.88/1061.29 c 1001s| 2320k| 661 | 0 | 0.0 |4717k| 739 | - | 788 | 809 | 0 | 0 | 0 |1443k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1065.88/1066.21 c 1006s| 2330k| 663 | 0 | 0.0 |4723k| 739 | - | 788 | 809 | 0 | 0 | 0 |1449k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1070.48/1070.85 c 1010s| 2340k| 667 | 0 | 0.0 |4721k| 739 | - | 788 | 809 | 0 | 0 | 0 |1455k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1075.38/1075.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1075.38/1075.72 c 1015s| 2350k| 664 | 0 | 0.0 |4717k| 739 | - | 788 | 809 | 0 | 0 | 0 |1461k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1080.27/1080.68 c 1020s| 2360k| 661 | 0 | 0.0 |4722k| 739 | - | 788 | 812 | 0 | 0 | 0 |1468k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1085.17/1085.52 c 1024s| 2370k| 667 | 0 | 0.0 |4721k| 739 | - | 788 | 810 | 0 | 0 | 0 |1474k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1089.87/1090.23 c 1029s| 2380k| 664 | 0 | 0.0 |4717k| 739 | - | 788 | 809 | 0 | 0 | 0 |1481k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1094.67/1095.08 c 1033s| 2390k| 663 | 0 | 0.0 |4717k| 739 | - | 788 | 809 | 0 | 0 | 0 |1487k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1099.58/1099.94 c 1038s| 2400k| 668 | 0 | 0.0 |4718k| 739 | - | 788 | 809 | 0 | 0 | 0 |1493k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1104.67/1105.02 c 1043s| 2410k| 670 | 0 | 0.0 |4723k| 739 | - | 788 | 809 | 0 | 0 | 0 |1500k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1109.77/1110.14 c 1047s| 2420k| 670 | 0 | 0.0 |4722k| 739 | - | 788 | 810 | 0 | 0 | 0 |1506k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1114.77/1115.17 c 1052s| 2430k| 667 | 0 | 0.0 |4718k| 739 | - | 788 | 809 | 0 | 0 | 0 |1512k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1119.86/1120.20 c 1057s| 2440k| 659 | 0 | 0.0 |4726k| 739 | - | 788 | 815 | 0 | 0 | 0 |1519k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1124.87/1125.21 c 1062s| 2450k| 668 | 0 | 0.0 |4718k| 739 | - | 788 | 809 | 0 | 0 | 0 |1525k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1129.56/1129.93 c 1066s| 2460k| 667 | 0 | 0.0 |4719k| 739 | - | 788 | 809 | 0 | 0 | 0 |1531k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1134.66/1135.04 c 1071s| 2470k| 664 | 0 | 0.0 |4724k| 739 | - | 788 | 809 | 0 | 0 | 0 |1537k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1139.66/1140.03 c 1076s| 2480k| 668 | 0 | 0.0 |4723k| 739 | - | 788 | 809 | 0 | 0 | 0 |1543k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1144.77/1145.12 c 1080s| 2490k| 664 | 0 | 0.0 |4721k| 739 | - | 788 | 810 | 0 | 0 | 0 |1550k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1149.66/1150.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1149.66/1150.06 c 1085s| 2500k| 665 | 0 | 0.0 |4718k| 739 | - | 788 | 809 | 0 | 0 | 0 |1556k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1154.56/1155.00 c 1090s| 2510k| 664 | 0 | 0.0 |4718k| 739 | - | 788 | 809 | 0 | 0 | 0 |1562k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1159.75/1160.19 c 1095s| 2520k| 666 | 0 | 0.0 |4718k| 739 | - | 788 | 809 | 0 | 0 | 0 |1569k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1164.56/1164.94 c 1099s| 2530k| 668 | 0 | 0.0 |4720k| 739 | - | 788 | 809 | 0 | 0 | 0 |1575k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1169.35/1169.73 c 1104s| 2540k| 661 | 0 | 0.0 |4717k| 739 | - | 788 | 809 | 0 | 0 | 0 |1581k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1173.84/1174.27 c 1108s| 2550k| 672 | 0 | 0.0 |4723k| 739 | - | 788 | 810 | 0 | 0 | 0 |1587k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1178.65/1179.00 c 1112s| 2560k| 665 | 0 | 0.0 |4722k| 739 | - | 788 | 810 | 0 | 0 | 0 |1594k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1183.74/1184.10 c 1117s| 2570k| 659 | 0 | 0.0 |4723k| 739 | - | 788 | 811 | 0 | 0 | 0 |1600k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1188.85/1189.24 c 1122s| 2580k| 660 | 0 | 0.0 |4718k| 739 | - | 788 | 810 | 0 | 0 | 0 |1607k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1194.04/1194.47 c 1127s| 2590k| 665 | 0 | 0.0 |4719k| 739 | - | 788 | 810 | 0 | 0 | 0 |1613k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1199.04/1199.41 c 1132s| 2600k| 663 | 0 | 0.0 |4719k| 739 | - | 788 | 810 | 0 | 0 | 0 |1619k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1204.14/1204.53 c 1137s| 2610k| 667 | 0 | 0.0 |4720k| 739 | - | 788 | 810 | 0 | 0 | 0 |1626k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1209.14/1209.54 c 1141s| 2620k| 663 | 0 | 0.0 |4722k| 739 | - | 788 | 813 | 0 | 0 | 0 |1632k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1213.84/1214.28 c 1146s| 2630k| 658 | 0 | 0.0 |4719k| 739 | - | 788 | 810 | 0 | 0 | 0 |1638k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1218.73/1219.17 c 1150s| 2640k| 666 | 0 | 0.0 |4724k| 739 | - | 788 | 814 | 0 | 0 | 0 |1644k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1223.34/1223.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1223.34/1223.76 c 1155s| 2650k| 665 | 0 | 0.0 |4723k| 739 | - | 788 | 810 | 0 | 0 | 0 |1650k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1228.53/1228.90 c 1160s| 2660k| 666 | 0 | 0.0 |4719k| 739 | - | 788 | 809 | 0 | 0 | 0 |1657k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1233.63/1234.04 c 1164s| 2670k| 665 | 0 | 0.0 |4720k| 739 | - | 788 | 809 | 0 | 0 | 0 |1663k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1238.23/1238.62 c 1169s| 2680k| 659 | 0 | 0.0 |4720k| 739 | - | 788 | 812 | 0 | 0 | 0 |1670k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1243.43/1243.84 c 1174s| 2690k| 658 | 0 | 0.0 |4725k| 739 | - | 788 | 809 | 0 | 0 | 0 |1676k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1248.03/1248.41 c 1178s| 2700k| 668 | 0 | 0.0 |4721k| 739 | - | 788 | 809 | 0 | 0 | 0 |1682k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1252.92/1253.32 c 1183s| 2710k| 667 | 0 | 0.0 |4719k| 739 | - | 788 | 809 | 0 | 0 | 0 |1689k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1257.82/1258.22 c 1187s| 2720k| 660 | 0 | 0.0 |4717k| 739 | - | 788 | 809 | 0 | 0 | 0 |1695k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1262.82/1263.29 c 1192s| 2730k| 669 | 0 | 0.0 |4724k| 739 | - | 788 | 810 | 0 | 0 | 0 |1701k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1267.72/1268.17 c 1197s| 2740k| 665 | 0 | 0.0 |4719k| 739 | - | 788 | 809 | 0 | 0 | 0 |1707k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1272.92/1273.31 c 1201s| 2750k| 666 | 0 | 0.0 |4721k| 739 | - | 788 | 809 | 0 | 0 | 0 |1714k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1277.73/1278.11 c 1206s| 2760k| 664 | 0 | 0.0 |4719k| 739 | - | 788 | 809 | 0 | 0 | 0 |1720k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1282.82/1283.21 c 1211s| 2770k| 658 | 0 | 0.0 |4722k| 739 | - | 788 | 810 | 0 | 0 | 0 |1726k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1287.82/1288.25 c 1216s| 2780k| 660 | 0 | 0.0 |4718k| 739 | - | 788 | 809 | 0 | 0 | 0 |1732k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1292.62/1293.01 c 1220s| 2790k| 662 | 0 | 0.0 |4726k| 739 | - | 788 | 810 | 0 | 0 | 0 |1739k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1297.71/1298.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1297.71/1298.19 c 1225s| 2800k| 659 | 0 | 0.0 |4724k| 739 | - | 788 | 813 | 0 | 0 | 0 |1745k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1302.81/1303.26 c 1230s| 2810k| 664 | 0 | 0.0 |4724k| 739 | - | 788 | 814 | 0 | 0 | 0 |1751k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1307.71/1308.18 c 1234s| 2820k| 667 | 0 | 0.0 |4720k| 739 | - | 788 | 809 | 0 | 0 | 0 |1757k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1312.81/1313.23 c 1239s| 2830k| 662 | 0 | 0.0 |4729k| 739 | - | 788 | 814 | 0 | 0 | 0 |1764k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1318.01/1318.45 c 1244s| 2840k| 666 | 0 | 0.0 |4719k| 739 | - | 788 | 809 | 0 | 0 | 0 |1770k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1322.92/1323.38 c 1249s| 2850k| 661 | 0 | 0.0 |4718k| 739 | - | 788 | 809 | 0 | 0 | 0 |1776k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1327.90/1328.35 c 1253s| 2860k| 662 | 0 | 0.0 |4720k| 739 | - | 788 | 809 | 0 | 0 | 0 |1783k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1333.00/1333.43 c 1258s| 2870k| 658 | 0 | 0.0 |4717k| 739 | - | 788 | 809 | 0 | 0 | 0 |1789k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1338.10/1338.54 c 1263s| 2880k| 660 | 0 | 0.0 |4718k| 739 | - | 788 | 809 | 0 | 0 | 0 |1795k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1343.10/1343.51 c 1268s| 2890k| 665 | 0 | 0.0 |4719k| 739 | - | 788 | 809 | 0 | 0 | 0 |1801k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1348.20/1348.60 c 1272s| 2900k| 659 | 0 | 0.0 |4718k| 739 | - | 788 | 809 | 0 | 0 | 0 |1808k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1353.39/1353.80 c 1277s| 2910k| 659 | 0 | 0.0 |4718k| 739 | - | 788 | 809 | 0 | 0 | 0 |1814k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1358.40/1358.86 c 1282s| 2920k| 663 | 0 | 0.0 |4720k| 739 | - | 788 | 811 | 0 | 0 | 0 |1820k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1363.69/1364.19 c 1287s| 2930k| 662 | 0 | 0.0 |4723k| 739 | - | 788 | 811 | 0 | 0 | 0 |1826k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1369.00/1369.43 c 1292s| 2940k| 663 | 0 | 0.0 |4720k| 739 | - | 788 | 811 | 0 | 0 | 0 |1833k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1373.79/1374.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1373.79/1374.22 c 1297s| 2950k| 664 | 0 | 0.0 |4720k| 739 | - | 788 | 811 | 0 | 0 | 0 |1839k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1378.79/1379.28 c 1301s| 2960k| 662 | 0 | 0.0 |4722k| 739 | - | 788 | 812 | 0 | 0 | 0 |1845k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1383.88/1384.32 c 1306s| 2970k| 669 | 0 | 0.0 |4724k| 739 | - | 788 | 812 | 0 | 0 | 0 |1851k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1388.68/1389.17 c 1311s| 2980k| 664 | 0 | 0.0 |4725k| 739 | - | 788 | 812 | 0 | 0 | 0 |1858k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1393.39/1393.84 c 1315s| 2990k| 661 | 0 | 0.0 |4720k| 739 | - | 788 | 812 | 0 | 0 | 0 |1864k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1398.28/1398.78 c 1320s| 3000k| 658 | 0 | 0.0 |4719k| 739 | - | 788 | 812 | 0 | 0 | 0 |1870k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1403.09/1403.56 c 1324s| 3010k| 657 | 0 | 0.0 |4725k| 739 | - | 788 | 812 | 0 | 0 | 0 |1876k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1407.68/1408.20 c 1329s| 3020k| 660 | 0 | 0.0 |4726k| 739 | - | 788 | 813 | 0 | 0 | 0 |1883k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1412.58/1413.08 c 1333s| 3030k| 657 | 0 | 0.0 |4719k| 739 | - | 788 | 812 | 0 | 0 | 0 |1889k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1417.39/1417.87 c 1338s| 3040k| 666 | 0 | 0.0 |4722k| 739 | - | 788 | 809 | 0 | 0 | 0 |1895k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1422.48/1422.96 c 1343s| 3050k| 666 | 0 | 0.0 |4720k| 739 | - | 788 | 809 | 0 | 0 | 0 |1902k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1427.28/1427.72 c 1347s| 3060k| 664 | 0 | 0.0 |4721k| 739 | - | 788 | 809 | 0 | 0 | 0 |1908k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1432.28/1432.72 c 1352s| 3070k| 665 | 0 | 0.0 |4722k| 739 | - | 788 | 813 | 0 | 0 | 0 |1914k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1436.97/1437.42 c 1356s| 3080k| 665 | 0 | 0.0 |4720k| 739 | - | 788 | 810 | 0 | 0 | 0 |1920k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1441.87/1442.33 c 1361s| 3090k| 661 | 0 | 0.0 |4719k| 739 | - | 788 | 810 | 0 | 0 | 0 |1927k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1447.08/1447.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1447.08/1447.51 c 1366s| 3100k| 662 | 0 | 0.0 |4718k| 739 | - | 788 | 809 | 0 | 0 | 0 |1933k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1452.17/1452.63 c 1371s| 3110k| 664 | 0 | 0.0 |4719k| 739 | - | 788 | 809 | 0 | 0 | 0 |1939k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1457.07/1457.57 c 1375s| 3120k| 666 | 0 | 0.0 |4723k| 739 | - | 788 | 809 | 0 | 0 | 0 |1945k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1461.96/1462.42 c 1380s| 3130k| 661 | 0 | 0.0 |4718k| 739 | - | 788 | 809 | 0 | 0 | 0 |1952k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1467.26/1467.75 c 1385s| 3140k| 664 | 0 | 0.0 |4722k| 739 | - | 788 | 810 | 0 | 0 | 0 |1958k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1472.37/1472.82 c 1390s| 3150k| 666 | 0 | 0.0 |4722k| 739 | - | 788 | 809 | 0 | 0 | 0 |1964k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1477.26/1477.72 c 1394s| 3160k| 661 | 0 | 0.0 |4722k| 739 | - | 788 | 812 | 0 | 0 | 0 |1970k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1482.26/1482.72 c 1399s| 3170k| 667 | 0 | 0.0 |4722k| 739 | - | 788 | 809 | 0 | 0 | 0 |1977k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1487.26/1487.75 c 1404s| 3180k| 663 | 0 | 0.0 |4722k| 739 | - | 788 | 810 | 0 | 0 | 0 |1983k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1492.17/1492.68 c 1408s| 3190k| 667 | 0 | 0.0 |4728k| 739 | - | 788 | 811 | 0 | 0 | 0 |1989k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1497.06/1497.53 c 1413s| 3200k| 665 | 0 | 0.0 |4725k| 739 | - | 788 | 811 | 0 | 0 | 0 |1995k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1501.85/1502.37 c 1418s| 3210k| 662 | 0 | 0.0 |4720k| 739 | - | 788 | 811 | 0 | 0 | 0 |2001k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1506.86/1507.34 c 1422s| 3220k| 671 | 0 | 0.0 |4721k| 739 | - | 788 | 809 | 0 | 0 | 0 |2008k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1511.55/1512.05 c 1427s| 3230k| 663 | 0 | 0.0 |4719k| 739 | - | 788 | 809 | 0 | 0 | 0 |2014k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1516.25/1516.71 c 1431s| 3240k| 662 | 0 | 0.0 |4719k| 739 | - | 788 | 809 | 0 | 0 | 0 |2020k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1521.55/1522.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1521.55/1522.02 c 1436s| 3250k| 662 | 0 | 0.0 |4719k| 739 | - | 788 | 809 | 0 | 0 | 0 |2026k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1526.45/1526.92 c 1441s| 3260k| 656 | 0 | 0.0 |4722k| 739 | - | 788 | 809 | 0 | 0 | 0 |2032k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1531.45/1531.98 c 1445s| 3270k| 659 | 0 | 0.0 |4718k| 739 | - | 788 | 809 | 0 | 0 | 0 |2039k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1536.64/1537.19 c 1450s| 3280k| 665 | 0 | 0.0 |4721k| 739 | - | 788 | 809 | 0 | 0 | 0 |2045k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1541.75/1542.29 c 1455s| 3290k| 659 | 0 | 0.0 |4719k| 739 | - | 788 | 812 | 0 | 0 | 0 |2051k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1546.75/1547.23 c 1460s| 3300k| 663 | 0 | 0.0 |4719k| 739 | - | 788 | 809 | 0 | 0 | 0 |2058k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1552.04/1552.52 c 1465s| 3310k| 663 | 0 | 0.0 |4723k| 739 | - | 788 | 809 | 0 | 0 | 0 |2064k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1557.23/1557.74 c 1470s| 3320k| 672 | 0 | 0.0 |4723k| 739 | - | 788 | 810 | 0 | 0 | 0 |2071k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1562.34/1562.83 c 1475s| 3330k| 664 | 0 | 0.0 |4722k| 739 | - | 788 | 810 | 0 | 0 | 0 |2077k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1567.14/1567.69 c 1479s| 3340k| 665 | 0 | 0.0 |4720k| 739 | - | 788 | 809 | 0 | 0 | 0 |2083k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1572.03/1572.51 c 1484s| 3350k| 661 | 0 | 0.0 |4718k| 739 | - | 788 | 809 | 0 | 0 | 0 |2089k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1576.73/1577.21 c 1488s| 3360k| 663 | 0 | 0.0 |4725k| 739 | - | 788 | 811 | 0 | 0 | 0 |2096k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1581.84/1582.33 c 1493s| 3370k| 660 | 0 | 0.0 |4718k| 739 | - | 788 | 809 | 0 | 0 | 0 |2102k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1586.84/1587.38 c 1498s| 3380k| 673 | 0 | 0.0 |4724k| 739 | - | 788 | 810 | 0 | 0 | 0 |2108k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1591.53/1592.03 c 1502s| 3390k| 661 | 0 | 0.0 |4723k| 739 | - | 788 | 813 | 0 | 0 | 0 |2114k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1596.63/1597.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1596.63/1597.16 c 1507s| 3400k| 664 | 0 | 0.0 |4719k| 739 | - | 788 | 809 | 0 | 0 | 0 |2121k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1601.82/1602.37 c 1512s| 3410k| 659 | 0 | 0.0 |4718k| 739 | - | 788 | 809 | 0 | 0 | 0 |2127k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1606.63/1607.16 c 1516s| 3420k| 661 | 0 | 0.0 |4725k| 739 | - | 788 | 810 | 0 | 0 | 0 |2133k| 0 | 1.900000e+01 | 6.500000e+01 | 242.11%
1611.32/1611.84 o 64
1611.32/1611.84 c *1521s| 3429k| 687 | 0 | 0.0 |4737k| 739 | - | 788 | 809 | 0 | 0 | 0 |2138k| 0 | 1.900000e+01 | 6.400000e+01 | 236.84%
1611.72/1612.24 c 1521s| 3430k| 672 | 0 | 0.0 |4732k| 739 | - | 788 | 809 | 0 | 0 | 0 |2139k| 0 | 1.900000e+01 | 6.400000e+01 | 236.84%
1616.72/1617.21 c 1526s| 3440k| 662 | 0 | 0.0 |4728k| 739 | - | 788 | 809 | 0 | 0 | 0 |2145k| 0 | 1.900000e+01 | 6.400000e+01 | 236.84%
1621.82/1622.31 c 1531s| 3450k| 663 | 0 | 0.0 |4735k| 739 | - | 788 | 813 | 0 | 0 | 0 |2151k| 0 | 1.900000e+01 | 6.400000e+01 | 236.84%
1626.72/1627.22 c 1535s| 3460k| 659 | 0 | 0.0 |4728k| 739 | - | 788 | 809 | 0 | 0 | 0 |2158k| 0 | 1.900000e+01 | 6.400000e+01 | 236.84%
1631.42/1631.94 c 1540s| 3470k| 664 | 0 | 0.0 |4731k| 739 | - | 788 | 813 | 0 | 0 | 0 |2164k| 0 | 1.900000e+01 | 6.400000e+01 | 236.84%
1636.42/1636.98 c 1545s| 3480k| 662 | 0 | 0.0 |4729k| 739 | - | 788 | 809 | 0 | 0 | 0 |2170k| 0 | 1.900000e+01 | 6.400000e+01 | 236.84%
1641.72/1642.22 c 1550s| 3490k| 663 | 0 | 0.0 |4733k| 739 | - | 788 | 812 | 0 | 0 | 0 |2176k| 0 | 1.900000e+01 | 6.400000e+01 | 236.84%
1646.72/1647.24 c 1554s| 3500k| 660 | 0 | 0.0 |4728k| 739 | - | 788 | 809 | 0 | 0 | 0 |2182k| 0 | 1.900000e+01 | 6.400000e+01 | 236.84%
1651.72/1652.25 c 1559s| 3510k| 663 | 0 | 0.0 |4735k| 739 | - | 788 | 809 | 0 | 0 | 0 |2189k| 0 | 1.900000e+01 | 6.400000e+01 | 236.84%
1656.71/1657.26 c 1564s| 3520k| 659 | 0 | 0.0 |4729k| 739 | - | 788 | 811 | 0 | 0 | 0 |2195k| 0 | 1.900000e+01 | 6.400000e+01 | 236.84%
1661.52/1662.03 c 1568s| 3530k| 663 | 0 | 0.0 |4733k| 739 | - | 788 | 811 | 0 | 0 | 0 |2201k| 0 | 1.900000e+01 | 6.400000e+01 | 236.84%
1666.11/1666.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1666.11/1666.66 c 1573s| 3540k| 659 | 0 | 0.0 |4730k| 739 | - | 788 | 811 | 0 | 0 | 0 |2207k| 0 | 1.900000e+01 | 6.400000e+01 | 236.84%
1671.00/1671.56 c 1577s| 3550k| 658 | 0 | 0.0 |4728k| 739 | - | 788 | 809 | 0 | 0 | 0 |2213k| 0 | 1.900000e+01 | 6.400000e+01 | 236.84%
1676.21/1676.79 c 1582s| 3560k| 653 | 0 | 0.0 |4728k| 739 | - | 788 | 811 | 0 | 0 | 0 |2220k| 0 | 1.900000e+01 | 6.400000e+01 | 236.84%
1681.20/1681.71 c 1587s| 3570k| 664 | 0 | 0.0 |4730k| 739 | - | 788 | 810 | 0 | 0 | 0 |2226k| 0 | 1.900000e+01 | 6.400000e+01 | 236.84%
1685.81/1686.32 c 1591s| 3580k| 661 | 0 | 0.0 |4731k| 739 | - | 788 | 810 | 0 | 0 | 0 |2232k| 0 | 1.900000e+01 | 6.400000e+01 | 236.84%
1690.40/1690.95 c 1596s| 3590k| 660 | 0 | 0.0 |4728k| 739 | - | 788 | 809 | 0 | 0 | 0 |2238k| 0 | 1.900000e+01 | 6.400000e+01 | 236.84%
1695.10/1695.70 c 1600s| 3600k| 656 | 0 | 0.0 |4730k| 739 | - | 788 | 810 | 0 | 0 | 0 |2244k| 0 | 1.900000e+01 | 6.400000e+01 | 236.84%
1699.70/1700.29 c 1604s| 3610k| 663 | 0 | 0.0 |4729k| 739 | - | 788 | 809 | 0 | 0 | 0 |2250k| 0 | 1.900000e+01 | 6.400000e+01 | 236.84%
1704.50/1705.05 c 1609s| 3620k| 661 | 0 | 0.0 |4736k| 739 | - | 788 | 815 | 0 | 0 | 0 |2257k| 0 | 1.900000e+01 | 6.400000e+01 | 236.84%
1709.30/1709.81 c 1613s| 3630k| 661 | 0 | 0.0 |4736k| 739 | - | 788 | 812 | 0 | 0 | 0 |2263k| 0 | 1.900000e+01 | 6.400000e+01 | 236.84%
1713.80/1714.37 c 1618s| 3640k| 659 | 0 | 0.0 |4728k| 739 | - | 788 | 809 | 0 | 0 | 0 |2269k| 0 | 1.900000e+01 | 6.400000e+01 | 236.84%
1718.39/1718.94 c 1622s| 3650k| 661 | 0 | 0.0 |4729k| 739 | - | 788 | 809 | 0 | 0 | 0 |2275k| 0 | 1.900000e+01 | 6.400000e+01 | 236.84%
1722.89/1723.42 c 1626s| 3660k| 662 | 0 | 0.0 |4729k| 739 | - | 788 | 809 | 0 | 0 | 0 |2281k| 0 | 1.900000e+01 | 6.400000e+01 | 236.84%
1727.50/1728.04 c 1631s| 3670k| 658 | 0 | 0.0 |4728k| 739 | - | 788 | 809 | 0 | 0 | 0 |2287k| 0 | 1.900000e+01 | 6.400000e+01 | 236.84%
1732.09/1732.66 c 1635s| 3680k| 661 | 0 | 0.0 |4733k| 739 | - | 788 | 810 | 0 | 0 | 0 |2293k| 0 | 1.900000e+01 | 6.400000e+01 | 236.84%
1736.69/1737.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1736.69/1737.27 c 1639s| 3690k| 653 | 0 | 0.0 |4733k| 739 | - | 788 | 810 | 0 | 0 | 0 |2300k| 0 | 1.900000e+01 | 6.400000e+01 | 236.84%
1741.38/1741.91 c 1644s| 3700k| 663 | 0 | 0.0 |4730k| 739 | - | 788 | 809 | 0 | 0 | 0 |2306k| 0 | 1.900000e+01 | 6.400000e+01 | 236.84%
1746.08/1746.68 c 1648s| 3710k| 664 | 0 | 0.0 |4735k| 739 | - | 788 | 809 | 0 | 0 | 0 |2312k| 0 | 1.900000e+01 | 6.400000e+01 | 236.84%
1751.09/1751.63 c 1653s| 3720k| 666 | 0 | 0.0 |4730k| 739 | - | 788 | 809 | 0 | 0 | 0 |2318k| 0 | 1.900000e+01 | 6.400000e+01 | 236.84%
1756.09/1756.67 c 1658s| 3730k| 659 | 0 | 0.0 |4736k| 739 | - | 788 | 813 | 0 | 0 | 0 |2324k| 0 | 1.900000e+01 | 6.400000e+01 | 236.84%
1761.08/1761.66 c 1662s| 3740k| 656 | 0 | 0.0 |4733k| 739 | - | 788 | 810 | 0 | 0 | 0 |2330k| 0 | 1.900000e+01 | 6.400000e+01 | 236.84%
1765.78/1766.32 c 1667s| 3750k| 670 | 0 | 0.0 |4734k| 739 | - | 788 | 809 | 0 | 0 | 0 |2336k| 0 | 1.900000e+01 | 6.400000e+01 | 236.84%
1770.38/1770.98 c 1671s| 3760k| 660 | 0 | 0.0 |4735k| 739 | - | 788 | 811 | 0 | 0 | 0 |2342k| 0 | 1.900000e+01 | 6.400000e+01 | 236.84%
1775.28/1775.80 c 1676s| 3770k| 661 | 0 | 0.0 |4729k| 739 | - | 788 | 809 | 0 | 0 | 0 |2348k| 0 | 1.900000e+01 | 6.400000e+01 | 236.84%
1780.18/1780.79 c 1680s| 3780k| 661 | 0 | 0.0 |4729k| 739 | - | 788 | 809 | 0 | 0 | 0 |2355k| 0 | 1.900000e+01 | 6.400000e+01 | 236.84%
1784.97/1785.57 c 1685s| 3790k| 654 | 0 | 0.0 |4733k| 739 | - | 788 | 813 | 0 | 0 | 0 |2361k| 0 | 1.900000e+01 | 6.400000e+01 | 236.84%
1789.87/1790.46 c 1689s| 3800k| 658 | 0 | 0.0 |4739k| 739 | - | 788 | 815 | 0 | 0 | 0 |2367k| 0 | 1.900000e+01 | 6.400000e+01 | 236.84%
1794.68/1795.22 c 1694s| 3810k| 658 | 0 | 0.0 |4731k| 739 | - | 788 | 811 | 0 | 0 | 0 |2373k| 0 | 1.900000e+01 | 6.400000e+01 | 236.84%
1799.47/1800.01 c 1698s| 3820k| 662 | 0 | 0.0 |4729k| 739 | - | 788 | 809 | 0 | 0 | 0 |2380k| 0 | 1.900000e+01 | 6.400000e+01 | 236.84%
1800.08/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.08/1800.61 c
1800.08/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.61 c Solving Time (sec) : 1699.06
1800.08/1800.61 c Solving Nodes : 3821239
1800.08/1800.61 c Primal Bound : +6.40000000000000e+01 (7 solutions)
1800.08/1800.61 c Dual Bound : +1.90000000000000e+01
1800.08/1800.61 c Gap : 236.84 %
1800.08/1800.62 s SATISFIABLE
1800.08/1800.62 v -x807 -x806 -x805 -x804 x803 -x802 -x801 -x800 -x799 -x798 x797 x796 x795 -x794 x793 -x792 -x791 -x790 x789 -x788 -x787 -x786 x785
1800.08/1800.62 v -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 x768 x767 x766 -x765 -x764
1800.08/1800.62 v -x763 -x762 -x761 -x760 -x759 -x758 -x757 x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743
1800.08/1800.62 v -x742 -x741 -x740 -x739 -x738 -x737 x736 -x735 x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722
1800.08/1800.62 v -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701
1800.08/1800.62 v -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680
1800.08/1800.62 v -x679 -x678 -x677 -x676 x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659
1800.08/1800.62 v -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 x650 -x649 -x648 -x647 x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 x638
1800.08/1800.62 v x637 x636 -x635 -x634 -x633 -x632 -x631 -x630 x629 -x628 x627 -x626 x625 -x624 -x623 x622 -x621 -x620 -x619 -x618 -x617 -x616
1800.08/1800.62 v -x615 -x614 -x613 -x612 -x611 -x610 x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 x596 -x595
1800.08/1800.62 v x594 x593 x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573
1800.08/1800.62 v -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 x554 -x553 -x552
1800.08/1800.62 v -x551 -x550 -x549 -x548 -x547 -x546 x545 -x544 x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531
1800.08/1800.62 v -x530 -x529 -x528 -x527 x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 x512 -x511 -x510
1800.08/1800.62 v -x509 -x508 x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489
1800.08/1800.62 v -x488 -x487 -x486 -x485 -x484 -x483 -x482 x481 -x480 -x479 -x478 -x477 -x476 -x475 x474 -x473 -x472 -x471 -x470 -x469 -x468
1800.08/1800.62 v -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 x448 -x447
1800.08/1800.62 v -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426
1800.08/1800.62 v x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405
1800.08/1800.62 v -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384
1800.08/1800.62 v -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 x364 -x363
1800.08/1800.62 v -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342
1800.08/1800.62 v x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321
1800.08/1800.62 v -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300
1800.08/1800.62 v -x299 -x298 -x297 -x296 x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279
1800.08/1800.62 v -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 x269 x268 -x267 x266 -x265 -x264 -x263 -x262 -x261 x260 -x259 -x258
1800.08/1800.62 v -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 x242 -x241 -x240 -x239 -x238 -x237
1800.08/1800.62 v x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215
1800.08/1800.62 v -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195
1800.08/1800.62 v -x194 -x193 x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174
1800.08/1800.62 v -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 x159 -x158 -x157 -x156 x155 -x154 -x153 -x152
1800.08/1800.62 v -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132
1800.08/1800.62 v x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111
1800.08/1800.62 v -x110 -x109 x108 -x107 -x106 -x105 -x104 x103 -x102 -x101 -x100 -x99 -x98 -x97 x96 -x95 -x94 -x93 x92 -x91 -x90 -x89 -x88 -x87
1800.08/1800.62 v -x86 -x85 -x84 -x83 x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62
1800.08/1800.62 v -x61 -x60 -x59 -x58 x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37
1800.08/1800.62 v 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 -x11
1800.08/1800.62 v -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.08/1800.62 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.62 c Solving Time : 1699.06
1800.08/1800.62 c Original Problem :
1800.08/1800.62 c Problem name : HOME/instance-2664189-1276414021.opb
1800.08/1800.62 c Variables : 807 (807 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.62 c Constraints : 1823 initial, 1823 maximal
1800.08/1800.62 c Presolved Problem :
1800.08/1800.62 c Problem name : t_HOME/instance-2664189-1276414021.opb
1800.08/1800.62 c Variables : 788 (788 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.62 c Constraints : 809 initial, 833 maximal
1800.08/1800.62 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.08/1800.62 c trivial : 0.01 0 0 0 0 0 0 0 0
1800.08/1800.62 c dualfix : 0.00 1 0 0 0 0 0 0 0
1800.08/1800.62 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.62 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.62 c implics : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.62 c probing : 0.01 0 0 0 0 0 0 0 0
1800.08/1800.62 c linear : 0.06 16 2 0 16 0 179 17 0
1800.08/1800.62 c logicor : 0.06 0 0 0 0 0 835 0 0
1800.08/1800.62 c root node : - 0 - - 0 - - - -
1800.08/1800.62 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.08/1800.62 c integral : 0 0 0 0 0 0 0 0 0 0
1800.08/1800.62 c logicor : 809+ 0 8026553 0 4 1004825 5813114 0 0 0
1800.08/1800.62 c countsols : 0 0 0 0 4 0 0 0 0 0
1800.08/1800.62 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.08/1800.62 c integral : 0.00 0.00 0.00 0.00 0.00
1800.08/1800.62 c logicor : 367.35 0.00 367.35 0.00 0.00
1800.08/1800.62 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.08/1800.62 c Propagators : Time Calls Cutoffs DomReds
1800.08/1800.62 c vbounds : 7.25 2 0 0
1800.08/1800.62 c rootredcost : 7.52 0 0 0
1800.08/1800.62 c pseudoobj : 997.74 16824471 1370072 76680668
1800.08/1800.62 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.08/1800.62 c propagation : 720.20 2374085 2374085 2374085 114.7 6365 136.3 -
1800.08/1800.62 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.62 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.62 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.62 c pseudo solution : 2.15 6816 6816 6816 119.3 303 116.3 -
1800.08/1800.62 c applied globally : - - - 666221 67.2 - - -
1800.08/1800.62 c applied locally : - - - 1714768 133.2 - - -
1800.08/1800.62 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.08/1800.62 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.08/1800.62 c redcost : 0.00 0 0 0 0 0
1800.08/1800.62 c impliedbounds : 0.00 0 0 0 0 0
1800.08/1800.62 c intobj : 0.00 0 0 0 0 0
1800.08/1800.62 c cgmip : 0.00 0 0 0 0 0
1800.08/1800.62 c gomory : 0.00 0 0 0 0 0
1800.08/1800.62 c strongcg : 0.00 0 0 0 0 0
1800.08/1800.62 c cmir : 0.00 0 0 0 0 0
1800.08/1800.62 c flowcover : 0.00 0 0 0 0 0
1800.08/1800.62 c clique : 0.00 0 0 0 0 0
1800.08/1800.62 c zerohalf : 0.00 0 0 0 0 0
1800.08/1800.62 c mcf : 0.00 0 0 0 0 0
1800.08/1800.62 c rapidlearning : 0.00 0 0 0 0 0
1800.08/1800.62 c Pricers : Time Calls Vars
1800.08/1800.62 c problem variables: 0.00 0 0
1800.08/1800.62 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.08/1800.62 c relpscost : 0.00 0 0 0 0 0 0
1800.08/1800.62 c pscost : 0.00 0 0 0 0 0 0
1800.08/1800.62 c inference : 46.98 2634942 0 0 0 0 5269884
1800.08/1800.62 c mostinf : 0.00 0 0 0 0 0 0
1800.08/1800.62 c leastinf : 0.00 0 0 0 0 0 0
1800.08/1800.62 c fullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.62 c allfullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.62 c random : 0.00 0 0 0 0 0 0
1800.08/1800.62 c Primal Heuristics : Time Calls Found
1800.08/1800.62 c LP solutions : 0.00 - 0
1800.08/1800.62 c pseudo solutions : 0.01 - 4
1800.08/1800.62 c oneopt : 2.58 0 0
1800.08/1800.62 c trivial : 0.00 2 3
1800.08/1800.62 c simplerounding : 0.00 0 0
1800.08/1800.62 c zirounding : 0.00 0 0
1800.08/1800.62 c rounding : 0.00 0 0
1800.08/1800.62 c shifting : 0.00 0 0
1800.08/1800.62 c intshifting : 0.00 0 0
1800.08/1800.62 c twoopt : 0.00 0 0
1800.08/1800.62 c fixandinfer : 0.00 0 0
1800.08/1800.62 c feaspump : 0.00 0 0
1800.08/1800.62 c coefdiving : 0.00 0 0
1800.08/1800.62 c pscostdiving : 0.00 0 0
1800.08/1800.62 c fracdiving : 0.00 0 0
1800.08/1800.62 c veclendiving : 0.00 0 0
1800.08/1800.62 c intdiving : 0.00 0 0
1800.08/1800.62 c actconsdiving : 0.00 0 0
1800.08/1800.62 c objpscostdiving : 0.00 0 0
1800.08/1800.62 c rootsoldiving : 0.00 0 0
1800.08/1800.62 c linesearchdiving : 0.00 0 0
1800.08/1800.62 c guideddiving : 0.00 0 0
1800.08/1800.62 c octane : 0.00 0 0
1800.08/1800.62 c rens : 0.00 0 0
1800.08/1800.62 c rins : 0.00 0 0
1800.08/1800.62 c localbranching : 0.00 0 0
1800.08/1800.62 c mutation : 0.00 0 0
1800.08/1800.62 c crossover : 0.00 0 0
1800.08/1800.62 c dins : 0.00 0 0
1800.08/1800.62 c undercover : 0.00 0 0
1800.08/1800.62 c nlp : 1.52 0 0
1800.08/1800.62 c trysol : 1.81 0 0
1800.08/1800.62 c LP : Time Calls Iterations Iter/call Iter/sec
1800.08/1800.62 c primal LP : 0.00 0 0 0.00 -
1800.08/1800.62 c dual LP : 0.00 0 0 0.00 -
1800.08/1800.62 c lex dual LP : 0.00 0 0 0.00 -
1800.08/1800.62 c barrier LP : 0.00 0 0 0.00 -
1800.08/1800.62 c diving/probing LP: 0.00 0 0 0.00 -
1800.08/1800.62 c strong branching : 0.00 0 0 0.00 -
1800.08/1800.62 c (at root node) : - 0 0 0.00 -
1800.08/1800.62 c conflict analysis: 0.00 0 0 0.00 -
1800.08/1800.62 c B&B Tree :
1800.08/1800.62 c number of runs : 1
1800.08/1800.62 c nodes : 3821239
1800.08/1800.62 c nodes (total) : 3821239
1800.08/1800.62 c nodes left : 658
1800.08/1800.62 c max depth : 739
1800.08/1800.62 c max depth (total): 739
1800.08/1800.62 c backtracks : 1594304 (41.7%)
1800.08/1800.62 c delayed cutoffs : 1447971
1800.08/1800.62 c repropagations : 3320275 (40153486 domain reductions, 1195420 cutoffs)
1800.08/1800.62 c avg switch length: 2.77
1800.08/1800.62 c switching time : 82.29
1800.08/1800.62 c Solution :
1800.08/1800.62 c Solutions found : 7 (7 improvements)
1800.08/1800.62 c First Solution : +8.07000000000000e+02 (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1800.08/1800.62 c Primal Bound : +6.40000000000000e+01 (in run 1, after 3429036 nodes, 1520.78 seconds, depth 692, found by <relaxation>)
1800.08/1800.62 c Dual Bound : +1.90000000000000e+01
1800.08/1800.62 c Gap : 236.84 %
1800.08/1800.62 c Root Dual Bound : +1.80000000000000e+01
1800.08/1800.62 c Root Iterations : 0
1800.08/1800.63 c Time complete: 1800.11.
OK 64
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2664189-1276414021/watcher-2664189-1276414021 -o /tmp/evaluation-result-2664189-1276414021/solver-2664189-1276414021 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664189-1276414021.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.00 1.00 1.00 3/106 21336 /proc/meminfo: memFree=1776860/2059040 swapFree=4140272/4192956 [pid=21336] ppid=21334 vsize=6584 CPUtime=0 /proc/21336/stat : 21336 (pbscip.linux.x8) R 21334 21336 20966 0 -1 4202496 952 0 0 0 0 0 0 0 22 0 1 0 17003621 6742016 874 1992294400 4194304 7136930 140736423487424 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/21336/statm: 1646 883 254 719 0 925 0 [startup+0.027874 s] /proc/loadavg: 1.00 1.00 1.00 3/106 21336 /proc/meminfo: memFree=1776860/2059040 swapFree=4140272/4192956 [pid=21336] ppid=21334 vsize=8796 CPUtime=0.02 /proc/21336/stat : 21336 (pbscip.linux.x8) R 21334 21336 20966 0 -1 4202496 1688 0 0 0 2 0 0 0 25 0 1 0 17003621 9007104 1610 1992294400 4194304 7136930 140736423487424 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/21336/statm: 2199 1615 271 719 0 1478 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 8796 [startup+0.101885 s] /proc/loadavg: 1.00 1.00 1.00 3/106 21336 /proc/meminfo: memFree=1776860/2059040 swapFree=4140272/4192956 [pid=21336] ppid=21334 vsize=11116 CPUtime=0.1 /proc/21336/stat : 21336 (pbscip.linux.x8) R 21334 21336 20966 0 -1 4202496 2624 0 0 0 9 1 0 0 25 0 1 0 17003621 11382784 2192 1992294400 4194304 7136930 140736423487424 18446744073709551615 6328631 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21336/statm: 2779 2198 282 719 0 2058 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 11116 [startup+0.30091 s] /proc/loadavg: 1.00 1.00 1.00 3/106 21336 /proc/meminfo: memFree=1776860/2059040 swapFree=4140272/4192956 [pid=21336] ppid=21334 vsize=19716 CPUtime=0.29 /proc/21336/stat : 21336 (pbscip.linux.x8) R 21334 21336 20966 0 -1 4202496 6705 0 0 0 26 3 0 0 25 0 1 0 17003621 20189184 4214 1992294400 4194304 7136930 140736423487424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21336/statm: 4929 4214 384 719 0 4208 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 19716 [startup+0.700966 s] /proc/loadavg: 1.00 1.00 1.00 3/106 21336 /proc/meminfo: memFree=1776860/2059040 swapFree=4140272/4192956 [pid=21336] ppid=21334 vsize=20244 CPUtime=0.69 /proc/21336/stat : 21336 (pbscip.linux.x8) R 21334 21336 20966 0 -1 4202496 6824 0 0 0 63 6 0 0 25 0 1 0 17003621 20729856 4333 1992294400 4194304 7136930 140736423487424 18446744073709551615 4703926 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21336/statm: 5061 4333 389 719 0 4340 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 20244 [startup+1.50107 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21337 /proc/meminfo: memFree=1760856/2059040 swapFree=4140272/4192956 [pid=21336] ppid=21334 vsize=20508 CPUtime=1.48 /proc/21336/stat : 21336 (pbscip.linux.x8) R 21334 21336 20966 0 -1 4202496 6911 0 0 0 138 10 0 0 25 0 1 0 17003621 21000192 4420 1992294400 4194304 7136930 140736423487424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21336/statm: 5127 4420 390 719 0 4406 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 20508 [startup+3.10028 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21337 /proc/meminfo: memFree=1760236/2059040 swapFree=4140272/4192956 [pid=21336] ppid=21334 vsize=20908 CPUtime=3.08 /proc/21336/stat : 21336 (pbscip.linux.x8) R 21334 21336 20966 0 -1 4202496 7000 0 0 0 289 19 0 0 25 0 1 0 17003621 21409792 4509 1992294400 4194304 7136930 140736423487424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21336/statm: 5227 4509 390 719 0 4506 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 20908 [startup+6.3007 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21337 /proc/meminfo: memFree=1759740/2059040 swapFree=4140272/4192956 [pid=21336] ppid=21334 vsize=21040 CPUtime=6.29 /proc/21336/stat : 21336 (pbscip.linux.x8) R 21334 21336 20966 0 -1 4202496 7035 0 0 0 591 38 0 0 25 0 1 0 17003621 21544960 4544 1992294400 4194304 7136930 140736423487424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21336/statm: 5260 4544 390 719 0 4539 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 21040 [startup+12.7005 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21337 /proc/meminfo: memFree=1759492/2059040 swapFree=4140272/4192956 [pid=21336] ppid=21334 vsize=21308 CPUtime=12.68 /proc/21336/stat : 21336 (pbscip.linux.x8) R 21334 21336 20966 0 -1 4202496 7095 0 0 0 1194 74 0 0 25 0 1 0 17003621 21819392 4604 1992294400 4194304 7136930 140736423487424 18446744073709551615 5506163 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21336/statm: 5327 4604 390 719 0 4606 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 21308 [startup+25.5012 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21339 /proc/meminfo: memFree=1759120/2059040 swapFree=4140272/4192956 [pid=21336] ppid=21334 vsize=21708 CPUtime=25.47 /proc/21336/stat : 21336 (pbscip.linux.x8) R 21334 21336 20966 0 -1 4202496 7185 0 0 0 2404 143 0 0 25 0 1 0 17003621 22228992 4694 1992294400 4194304 7136930 140736423487424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21336/statm: 5427 4694 390 719 0 4706 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 21708 [startup+51.1016 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21339 /proc/meminfo: memFree=1758996/2059040 swapFree=4140272/4192956 [pid=21336] ppid=21334 vsize=21840 CPUtime=51.07 /proc/21336/stat : 21336 (pbscip.linux.x8) R 21334 21336 20966 0 -1 4202496 7218 0 0 0 4828 279 0 0 25 0 1 0 17003621 22364160 4727 1992294400 4194304 7136930 140736423487424 18446744073709551615 5909098 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21336/statm: 5460 4727 390 719 0 4739 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 21840 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21341 /proc/meminfo: memFree=1758748/2059040 swapFree=4140272/4192956 [pid=21336] ppid=21334 vsize=21840 CPUtime=102.26 /proc/21336/stat : 21336 (pbscip.linux.x8) R 21334 21336 20966 0 -1 4202496 7234 0 0 0 9662 564 0 0 25 0 1 0 17003621 22364160 4743 1992294400 4194304 7136930 140736423487424 18446744073709551615 5905982 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21336/statm: 5460 4743 390 719 0 4739 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 21840 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21341 /proc/meminfo: memFree=1758252/2059040 swapFree=4140272/4192956 [pid=21336] ppid=21334 vsize=22248 CPUtime=162.24 /proc/21336/stat : 21336 (pbscip.linux.x8) R 21334 21336 20966 0 -1 4202496 7323 0 0 0 15332 892 0 0 25 0 1 0 17003621 22781952 4832 1992294400 4194304 7136930 140736423487424 18446744073709551615 5508637 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21336/statm: 5562 4832 390 719 0 4841 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 22248 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21343 /proc/meminfo: memFree=1758004/2059040 swapFree=4140272/4192956 [pid=21336] ppid=21334 vsize=22248 CPUtime=222.22 /proc/21336/stat : 21336 (pbscip.linux.x8) R 21334 21336 20966 0 -1 4202496 7347 0 0 0 20993 1229 0 0 25 0 1 0 17003621 22781952 4856 1992294400 4194304 7136930 140736423487424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21336/statm: 5562 4856 390 719 0 4841 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 22248 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21345 /proc/meminfo: memFree=1758004/2059040 swapFree=4140272/4192956 [pid=21336] ppid=21334 vsize=22384 CPUtime=282.21 /proc/21336/stat : 21336 (pbscip.linux.x8) R 21334 21336 20966 0 -1 4202496 7365 0 0 0 26654 1567 0 0 25 0 1 0 17003621 22921216 4874 1992294400 4194304 7136930 140736423487424 18446744073709551615 5506109 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21336/statm: 5596 4874 390 719 0 4875 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 22384 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21347 /proc/meminfo: memFree=1757880/2059040 swapFree=4140272/4192956 [pid=21336] ppid=21334 vsize=22384 CPUtime=342.19 /proc/21336/stat : 21336 (pbscip.linux.x8) R 21334 21336 20966 0 -1 4202496 7375 0 0 0 32315 1904 0 0 25 0 1 0 17003621 22921216 4884 1992294400 4194304 7136930 140736423487424 18446744073709551615 5925746 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21336/statm: 5596 4884 390 719 0 4875 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 22384 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21349 /proc/meminfo: memFree=1757756/2059040 swapFree=4140272/4192956 [pid=21336] ppid=21334 vsize=22516 CPUtime=402.17 /proc/21336/stat : 21336 (pbscip.linux.x8) R 21334 21336 20966 0 -1 4202496 7391 0 0 0 37966 2251 0 0 25 0 1 0 17003621 23056384 4900 1992294400 4194304 7136930 140736423487424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21336/statm: 5629 4900 390 719 0 4908 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 22516 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21349 /proc/meminfo: memFree=1757632/2059040 swapFree=4140272/4192956 [pid=21336] ppid=21334 vsize=22516 CPUtime=462.16 /proc/21336/stat : 21336 (pbscip.linux.x8) R 21334 21336 20966 0 -1 4202496 7392 0 0 0 43618 2598 0 0 25 0 1 0 17003621 23056384 4901 1992294400 4194304 7136930 140736423487424 18446744073709551615 4434027 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21336/statm: 5629 4901 390 719 0 4908 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 22516 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21351 /proc/meminfo: memFree=1757508/2059040 swapFree=4140272/4192956 [pid=21336] ppid=21334 vsize=22516 CPUtime=522.13 /proc/21336/stat : 21336 (pbscip.linux.x8) R 21334 21336 20966 0 -1 4202496 7412 0 0 0 49278 2935 0 0 25 0 1 0 17003621 23056384 4921 1992294400 4194304 7136930 140736423487424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21336/statm: 5629 4921 390 719 0 4908 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 22516 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21353 /proc/meminfo: memFree=1757260/2059040 swapFree=4140272/4192956 [pid=21336] ppid=21334 vsize=22652 CPUtime=582.12 /proc/21336/stat : 21336 (pbscip.linux.x8) R 21334 21336 20966 0 -1 4202496 7431 0 0 0 54942 3270 0 0 25 0 1 0 17003621 23195648 4940 1992294400 4194304 7136930 140736423487424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21336/statm: 5663 4940 390 719 0 4942 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 22652 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21355 /proc/meminfo: memFree=1757136/2059040 swapFree=4140272/4192956 [pid=21336] ppid=21334 vsize=22652 CPUtime=642.11 /proc/21336/stat : 21336 (pbscip.linux.x8) R 21334 21336 20966 0 -1 4202496 7441 0 0 0 60601 3610 0 0 25 0 1 0 17003621 23195648 4950 1992294400 4194304 7136930 140736423487424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21336/statm: 5663 4950 390 719 0 4942 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 22652 [startup+702.302 s] ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21359 /proc/meminfo: memFree=1756764/2059040 swapFree=4140272/4192956 [pid=21336] ppid=21334 vsize=22784 CPUtime=822.05 /proc/21336/stat : 21336 (pbscip.linux.x8) R 21334 21336 20966 0 -1 4202496 7470 0 0 0 77582 4623 0 0 25 0 1 0 17003621 23330816 4979 1992294400 4194304 7136930 140736423487424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21336/statm: 5696 4979 390 719 0 4975 0 Current children cumulated CPU time (s) 822.05 Current children cumulated vsize (KiB) 22784 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21361 /proc/meminfo: memFree=1756516/2059040 swapFree=4140272/4192956 [pid=21336] ppid=21334 vsize=22916 CPUtime=882.03 /proc/21336/stat : 21336 (pbscip.linux.x8) R 21334 21336 20966 0 -1 4202496 7496 0 0 0 83246 4957 0 0 25 0 1 0 17003621 23465984 5005 1992294400 4194304 7136930 140736423487424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21336/statm: 5729 5005 390 719 0 5008 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 22916 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21363 /proc/meminfo: memFree=1756392/2059040 swapFree=4140272/4192956 [pid=21336] ppid=21334 vsize=22916 CPUtime=942.01 /proc/21336/stat : 21336 (pbscip.linux.x8) R 21334 21336 20966 0 -1 4202496 7497 0 0 0 88910 5291 0 0 25 0 1 0 17003621 23465984 5006 1992294400 4194304 7136930 140736423487424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21336/statm: 5729 5006 390 719 0 5008 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 22916 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21365 /proc/meminfo: memFree=1756268/2059040 swapFree=4140272/4192956 [pid=21336] ppid=21334 vsize=22916 CPUtime=1001.99 /proc/21336/stat : 21336 (pbscip.linux.x8) R 21334 21336 20966 0 -1 4202496 7509 0 0 0 94561 5638 0 0 25 0 1 0 17003621 23465984 5018 1992294400 4194304 7136930 140736423487424 18446744073709551615 5923970 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21336/statm: 5729 5018 390 719 0 5008 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 22916 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21365 /proc/meminfo: memFree=1755896/2059040 swapFree=4140272/4192956 [pid=21336] ppid=21334 vsize=23324 CPUtime=1061.98 /proc/21336/stat : 21336 (pbscip.linux.x8) R 21334 21336 20966 0 -1 4202496 7585 0 0 0 100225 5973 0 0 25 0 1 0 17003621 23883776 5094 1992294400 4194304 7136930 140736423487424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21336/statm: 5831 5094 390 719 0 5110 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 23324 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21367 /proc/meminfo: memFree=1755772/2059040 swapFree=4140272/4192956 [pid=21336] ppid=21334 vsize=23324 CPUtime=1121.97 /proc/21336/stat : 21336 (pbscip.linux.x8) R 21334 21336 20966 0 -1 4202496 7605 0 0 0 105898 6299 0 0 25 0 1 0 17003621 23883776 5114 1992294400 4194304 7136930 140736423487424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21336/statm: 5831 5114 390 719 0 5110 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 23324 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21369 /proc/meminfo: memFree=1755524/2059040 swapFree=4140272/4192956 [pid=21336] ppid=21334 vsize=23464 CPUtime=1181.94 /proc/21336/stat : 21336 (pbscip.linux.x8) R 21334 21336 20966 0 -1 4202496 7633 0 0 0 111569 6625 0 0 25 0 1 0 17003621 24027136 5142 1992294400 4194304 7136930 140736423487424 18446744073709551615 5507883 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21336/statm: 5866 5142 390 719 0 5145 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 23464 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21371 /proc/meminfo: memFree=1755400/2059040 swapFree=4140272/4192956 [pid=21336] ppid=21334 vsize=23464 CPUtime=1241.93 /proc/21336/stat : 21336 (pbscip.linux.x8) R 21334 21336 20966 0 -1 4202496 7648 0 0 0 117231 6962 0 0 25 0 1 0 17003621 24027136 5157 1992294400 4194304 7136930 140736423487424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21336/statm: 5866 5157 390 719 0 5145 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 23464 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21373 /proc/meminfo: memFree=1755028/2059040 swapFree=4140272/4192956 [pid=21336] ppid=21334 vsize=23604 CPUtime=1301.92 /proc/21336/stat : 21336 (pbscip.linux.x8) R 21334 21336 20966 0 -1 4202496 7674 0 0 0 122891 7301 0 0 25 0 1 0 17003621 24170496 5183 1992294400 4194304 7136930 140736423487424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21336/statm: 5901 5183 390 719 0 5180 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 23604 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21373 /proc/meminfo: memFree=1755028/2059040 swapFree=4140272/4192956 [pid=21336] ppid=21334 vsize=23604 CPUtime=1361.9 /proc/21336/stat : 21336 (pbscip.linux.x8) R 21334 21336 20966 0 -1 4202496 7678 0 0 0 128543 7647 0 0 25 0 1 0 17003621 24170496 5187 1992294400 4194304 7136930 140736423487424 18446744073709551615 5906008 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21336/statm: 5901 5187 390 719 0 5180 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 23604 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21375 /proc/meminfo: memFree=1754904/2059040 swapFree=4140272/4192956 [pid=21336] ppid=21334 vsize=23736 CPUtime=1421.88 /proc/21336/stat : 21336 (pbscip.linux.x8) R 21334 21336 20966 0 -1 4202496 7702 0 0 0 134200 7988 0 0 25 0 1 0 17003621 24305664 5211 1992294400 4194304 7136930 140736423487424 18446744073709551615 5902650 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21336/statm: 5934 5211 390 719 0 5213 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 23736 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21377 /proc/meminfo: memFree=1754780/2059040 swapFree=4140272/4192956 [pid=21336] ppid=21334 vsize=23736 CPUtime=1481.86 /proc/21336/stat : 21336 (pbscip.linux.x8) R 21334 21336 20966 0 -1 4202496 7718 0 0 0 139862 8324 0 0 25 0 1 0 17003621 24305664 5227 1992294400 4194304 7136930 140736423487424 18446744073709551615 5909111 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21336/statm: 5934 5227 390 719 0 5213 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 23736 [startup+1542.3 s] /proc/loadavg: 1.12 1.03 1.01 2/107 21379 /proc/meminfo: memFree=1754532/2059040 swapFree=4140272/4192956 [pid=21336] ppid=21334 vsize=23868 CPUtime=1541.84 /proc/21336/stat : 21336 (pbscip.linux.x8) R 21334 21336 20966 0 -1 4202496 7733 0 0 0 145526 8658 0 0 25 0 1 0 17003621 24440832 5242 1992294400 4194304 7136930 140736423487424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21336/statm: 5967 5242 390 719 0 5246 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 23868 [startup+1602.3 s] /proc/loadavg: 1.14 1.05 1.01 3/107 21381 /proc/meminfo: memFree=1754284/2059040 swapFree=4140272/4192956 [pid=21336] ppid=21334 vsize=24272 CPUtime=1601.82 /proc/21336/stat : 21336 (pbscip.linux.x8) R 21334 21336 20966 0 -1 4202496 7821 0 0 0 151186 8996 0 0 25 0 1 0 17003621 24854528 5330 1992294400 4194304 7136930 140736423487424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21336/statm: 6068 5330 390 719 0 5347 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 24272 [startup+1662.3 s] /proc/loadavg: 1.11 1.06 1.01 2/107 21381 /proc/meminfo: memFree=1754036/2059040 swapFree=4140272/4192956 [pid=21336] ppid=21334 vsize=24272 CPUtime=1661.81 /proc/21336/stat : 21336 (pbscip.linux.x8) R 21334 21336 20966 0 -1 4202496 7839 0 0 0 156859 9322 0 0 25 0 1 0 17003621 24854528 5348 1992294400 4194304 7136930 140736423487424 18446744073709551615 4704055 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21336/statm: 6068 5348 390 719 0 5347 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 24272 [startup+1722.3 s] /proc/loadavg: 1.09 1.06 1.01 2/107 21383 /proc/meminfo: memFree=1753912/2059040 swapFree=4140272/4192956 [pid=21336] ppid=21334 vsize=24272 CPUtime=1721.79 /proc/21336/stat : 21336 (pbscip.linux.x8) R 21334 21336 20966 0 -1 4202496 7846 0 0 0 162524 9655 0 0 25 0 1 0 17003621 24854528 5355 1992294400 4194304 7136930 140736423487424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21336/statm: 6068 5355 390 719 0 5347 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 24272 [startup+1782.3 s] /proc/loadavg: 1.08 1.06 1.01 2/107 21385 /proc/meminfo: memFree=1753540/2059040 swapFree=4140272/4192956 [pid=21336] ppid=21334 vsize=24272 CPUtime=1781.78 /proc/21336/stat : 21336 (pbscip.linux.x8) R 21334 21336 20966 0 -1 4202496 7848 0 0 0 168185 9993 0 0 25 0 1 0 17003621 24854528 5357 1992294400 4194304 7136930 140736423487424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21336/statm: 6068 5357 390 719 0 5347 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 24272 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.06 1.06 1.01 2/107 21385 /proc/meminfo: memFree=1753540/2059040 swapFree=4140272/4192956 [pid=21336] ppid=21334 vsize=24412 CPUtime=1800.08 /proc/21336/stat : 21336 (pbscip.linux.x8) R 21334 21336 20966 0 -1 4202496 7854 0 0 0 169914 10094 0 0 25 0 1 0 17003621 24997888 5363 1992294400 4194304 7136930 140736423487424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21336/statm: 6103 5363 390 719 0 5382 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 24412 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.64 CPU time (s): 1800.12 CPU user time (s): 1699.16 CPU system time (s): 100.952 CPU usage (%): 99.971 Max. virtual memory (cumulated for all children) (KiB): 24412 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1699.16 system time used= 100.952 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 7870 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 3202 runsolver used 3.13852 second user time and 8.37173 second system time The end
Begin job on node013 at 2010-06-13 09:27:01 IDJOB=2664189 IDBENCH=2052 IDSOLVER=1167 FILE ID=node013/2664189-1276414021 PBS_JOBID= 11173285 Free space on /tmp= 62464 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-alu4.b.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-2664189-1276414021/watcher-2664189-1276414021 -o /tmp/evaluation-result-2664189-1276414021/solver-2664189-1276414021 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664189-1276414021.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9c27419d6022516b3a8580fda3ca43ee RANDOM SEED=507504316 node013.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.253 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.50 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.253 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.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1777388 kB Buffers: 51592 kB Cached: 150284 kB SwapCached: 6804 kB Active: 135728 kB Inactive: 80212 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1777388 kB SwapTotal: 4192956 kB SwapFree: 4140272 kB Dirty: 3540 kB Writeback: 0 kB AnonPages: 11644 kB Mapped: 12840 kB Slab: 43892 kB PageTables: 4000 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181512 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= 62460 MiB End job on node013 at 2010-06-13 09:57:04