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) | -40 | 1800.36 | 1801.07 |
| Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-1.opb |
| MD5SUM | 604c6b786f56b09c749bc0d6b7c8f76d |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -44 |
| Best CPU time to get the best result obtained on this benchmark | 1790.11 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -52 |
| Optimality of the best value was proved | NO |
| Number of variables | 1272 |
| Total number of constraints | 94227 |
| Number of constraints which are clauses | 94227 |
| 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 | 2 |
| Maximum length of a constraint | 2 |
| Number of terms in the objective function | 1272 |
| 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 | 1272 |
| Number of bits of the sum of numbers in the objective function | 11 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 1272 |
| Number of bits of the biggest sum of numbers | 11 |
| 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-2664080-1276504978.opb>
1.39/1.47 c original problem has 1272 variables (1272 bin, 0 int, 0 impl, 0 cont) and 94227 constraints
1.39/1.47 c problem read
1.39/1.47 c presolving settings loaded
1.39/1.47 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
1.69/1.71 o 0
1.69/1.71 c feasible solution found by trivial heuristic, objective value 0.000000e+00
1.69/1.71 c presolving:
2.89/2.98 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 94227 upgd conss, 188454 impls, 0 clqs
5.09/5.15 c (3.3s) probing: 101/1272 (7.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
5.09/5.15 c (3.3s) probing aborted: 100/100 successive totally useless probings
5.09/5.15 c presolving (2 rounds):
5.09/5.15 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
5.09/5.15 c 188454 implications, 0 cliques
5.09/5.15 c presolved problem has 1272 variables (1272 bin, 0 int, 0 impl, 0 cont) and 94227 constraints
5.09/5.15 c 94227 constraints of type <logicor>
5.09/5.15 c transformed objective value is always integral (scale: 1)
5.09/5.15 c Presolving Time: 3.18
5.09/5.15 c - non default parameters ----------------------------------------------------------------------
5.09/5.15 c # SCIP version 1.2.1.2
5.09/5.15 c
5.09/5.15 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
5.09/5.15 c # [type: int, range: [-1,2147483647], default: -1]
5.09/5.15 c conflict/interconss = 0
5.09/5.15 c
5.09/5.15 c # should binary conflicts be preferred?
5.09/5.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.09/5.15 c conflict/preferbinary = TRUE
5.09/5.15 c
5.09/5.15 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
5.09/5.15 c # [type: int, range: [-1,2147483647], default: 0]
5.09/5.15 c constraints/agelimit = 1
5.09/5.15 c
5.09/5.15 c # should enforcement of pseudo solution be disabled?
5.09/5.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.09/5.15 c constraints/disableenfops = TRUE
5.09/5.15 c
5.09/5.15 c # frequency for displaying node information lines
5.09/5.15 c # [type: int, range: [-1,2147483647], default: 100]
5.09/5.15 c display/freq = 10000
5.09/5.15 c
5.09/5.15 c # maximal time in seconds to run
5.09/5.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.09/5.15 c limits/time = 1798.54
5.09/5.15 c
5.09/5.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
5.09/5.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.09/5.15 c limits/memory = 1620
5.09/5.15 c
5.09/5.15 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
5.09/5.15 c # [type: int, range: [-1,2147483647], default: 1]
5.09/5.15 c lp/solvefreq = -1
5.09/5.15 c
5.09/5.15 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)
5.09/5.15 c # [type: char, range: {lafpsqd}, default: l]
5.09/5.15 c lp/pricing = a
5.09/5.15 c
5.09/5.15 c # should presolving try to simplify inequalities
5.09/5.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.09/5.15 c constraints/linear/simplifyinequalities = TRUE
5.09/5.15 c
5.09/5.15 c # should presolving try to simplify knapsacks
5.09/5.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.09/5.15 c constraints/knapsack/simplifyinequalities = TRUE
5.09/5.15 c
5.09/5.15 c # priority of node selection rule <dfs> in standard mode
5.09/5.15 c # [type: int, range: [-536870912,536870911], default: 0]
5.09/5.15 c nodeselection/dfs/stdpriority = 1000000
5.09/5.15 c
5.09/5.15 c -----------------------------------------------------------------------------------------------
5.09/5.15 c start solving
5.09/5.16 c
5.09/5.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
5.09/5.18 c t 3.4s| 1 | 2 | 0 | - | 66M| 0 | - |1272 | 94k| 0 | 0 | 0 | 0 | 0 |-1.272000e+03 | 0.000000e+00 | 100.00%
5.19/5.21 o -32
5.19/5.21 c * 3.4s| 33 | 28 | 0 | 0.0 | 66M| 32 | - |1272 | 94k| 0 | 0 | 0 | 0 | 0 |-1.271000e+03 |-3.200000e+01 | 97.48%
5.19/5.23 o -33
5.19/5.23 c * 3.4s| 39 | 27 | 0 | 0.0 | 66M| 33 | - |1272 | 94k| 0 | 0 | 0 | 0 | 0 |-1.271000e+03 |-3.300000e+01 | 97.40%
5.19/5.25 o -34
5.19/5.25 c * 3.4s| 51 | 28 | 0 | 0.0 | 66M| 36 | - |1272 | 94k| 0 | 0 | 0 | 0 | 0 |-1.271000e+03 |-3.400000e+01 | 97.32%
5.39/5.46 o -35
5.39/5.46 c * 3.6s| 296 | 25 | 0 | 0.0 | 66M| 36 | - |1272 | 94k| 0 | 0 | 0 | 5 | 0 |-1.271000e+03 |-3.500000e+01 | 97.25%
9.39/9.42 o -36
9.39/9.42 c * 7.5s| 5751 | 25 | 0 | 0.0 | 66M| 44 | - |1272 | 94k| 0 | 0 | 0 | 28 | 0 |-1.271000e+03 |-3.600000e+01 | 97.17%
12.38/12.43 c 10.5s| 10000 | 25 | 0 | 0.0 | 66M| 44 | - |1272 | 94k| 0 | 0 | 0 | 48 | 0 |-1.271000e+03 |-3.600000e+01 | 97.17%
19.09/19.12 c 17.0s| 20000 | 25 | 0 | 0.0 | 66M| 44 | - |1272 | 94k| 0 | 0 | 0 | 80 | 0 |-1.271000e+03 |-3.600000e+01 | 97.17%
25.98/26.05 c 23.8s| 30000 | 23 | 0 | 0.0 | 66M| 45 | - |1272 | 94k| 0 | 0 | 0 | 112 | 0 |-1.271000e+03 |-3.600000e+01 | 97.17%
32.88/32.90 c 30.5s| 40000 | 23 | 0 | 0.0 | 66M| 49 | - |1272 | 94k| 0 | 0 | 0 | 138 | 0 |-1.271000e+03 |-3.600000e+01 | 97.17%
39.58/39.61 c 37.1s| 50000 | 22 | 0 | 0.0 | 66M| 51 | - |1272 | 94k| 0 | 0 | 0 | 170 | 0 |-1.271000e+03 |-3.600000e+01 | 97.17%
46.27/46.37 c 43.7s| 60000 | 29 | 0 | 0.0 | 66M| 57 | - |1272 | 94k| 0 | 0 | 0 | 202 | 0 |-1.271000e+03 |-3.600000e+01 | 97.17%
53.37/53.41 c 50.6s| 70000 | 23 | 0 | 0.0 | 66M| 57 | - |1272 | 94k| 0 | 0 | 0 | 232 | 0 |-1.271000e+03 |-3.600000e+01 | 97.17%
60.37/60.42 c 57.5s| 80000 | 25 | 0 | 0.0 | 66M| 57 | - |1272 | 94k| 0 | 0 | 0 | 265 | 0 |-1.271000e+03 |-3.600000e+01 | 97.17%
67.36/67.40 c 64.3s| 90000 | 25 | 0 | 0.0 | 66M| 57 | - |1272 | 94k| 0 | 0 | 0 | 287 | 0 |-1.271000e+03 |-3.600000e+01 | 97.17%
74.46/74.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
74.46/74.51 c 71.3s|100000 | 22 | 0 | 0.0 | 66M| 57 | - |1272 | 94k| 0 | 0 | 0 | 334 | 0 |-1.271000e+03 |-3.600000e+01 | 97.17%
81.46/81.55 c 78.2s|110000 | 24 | 0 | 0.0 | 66M| 57 | - |1272 | 94k| 0 | 0 | 0 | 376 | 0 |-1.271000e+03 |-3.600000e+01 | 97.17%
88.35/88.47 c 85.0s|120000 | 23 | 0 | 0.0 | 66M| 57 | - |1272 | 94k| 0 | 0 | 0 | 407 | 0 |-1.271000e+03 |-3.600000e+01 | 97.17%
95.36/95.50 c 91.9s|130000 | 22 | 0 | 0.0 | 66M| 57 | - |1272 | 94k| 0 | 0 | 0 | 442 | 0 |-1.271000e+03 |-3.600000e+01 | 97.17%
100.26/100.38 o -37
100.26/100.38 c *96.6s|136925 | 26 | 0 | 0.0 | 66M| 57 | - |1272 | 94k| 0 | 0 | 0 | 487 | 0 |-1.271000e+03 |-3.700000e+01 | 97.09%
102.45/102.55 c 98.8s|140000 | 26 | 0 | 0.0 | 66M| 57 | - |1272 | 94k| 0 | 0 | 0 | 502 | 0 |-1.271000e+03 |-3.700000e+01 | 97.09%
109.25/109.38 c 105s|150000 | 24 | 0 | 0.0 | 66M| 57 | - |1272 | 94k| 0 | 0 | 0 | 546 | 0 |-1.271000e+03 |-3.700000e+01 | 97.09%
116.35/116.49 c 112s|160000 | 25 | 0 | 0.0 | 66M| 57 | - |1272 | 94k| 0 | 0 | 0 | 601 | 0 |-1.271000e+03 |-3.700000e+01 | 97.09%
123.25/123.39 c 119s|170000 | 22 | 0 | 0.0 | 66M| 57 | - |1272 | 94k| 0 | 0 | 0 | 648 | 0 |-1.271000e+03 |-3.700000e+01 | 97.09%
130.24/130.35 c 126s|180000 | 22 | 0 | 0.0 | 66M| 58 | - |1272 | 94k| 0 | 0 | 0 | 684 | 0 |-1.271000e+03 |-3.700000e+01 | 97.09%
137.14/137.29 c 133s|190000 | 23 | 0 | 0.0 | 66M| 58 | - |1272 | 94k| 0 | 0 | 0 | 724 | 0 |-1.271000e+03 |-3.700000e+01 | 97.09%
143.94/144.08 c 140s|200000 | 27 | 0 | 0.0 | 66M| 58 | - |1272 | 94k| 0 | 0 | 0 | 763 | 0 |-1.271000e+03 |-3.700000e+01 | 97.09%
150.33/150.48 c 146s|210000 | 24 | 0 | 0.0 | 66M| 58 | - |1272 | 94k| 0 | 0 | 0 | 809 | 0 |-1.271000e+03 |-3.700000e+01 | 97.09%
157.24/157.35 c 152s|220000 | 24 | 0 | 0.0 | 66M| 58 | - |1272 | 94k| 0 | 0 | 0 | 840 | 0 |-1.271000e+03 |-3.700000e+01 | 97.09%
164.23/164.33 c 159s|230000 | 25 | 0 | 0.0 | 66M| 58 | - |1272 | 94k| 0 | 0 | 0 | 909 | 0 |-1.271000e+03 |-3.700000e+01 | 97.09%
171.13/171.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
171.13/171.24 c 166s|240000 | 26 | 0 | 0.0 | 66M| 58 | - |1272 | 94k| 0 | 0 | 0 | 934 | 0 |-1.271000e+03 |-3.700000e+01 | 97.09%
177.72/177.89 c 173s|250000 | 21 | 0 | 0.0 | 66M| 58 | - |1272 | 94k| 0 | 0 | 0 | 969 | 0 |-1.271000e+03 |-3.700000e+01 | 97.09%
184.73/184.84 c 179s|260000 | 22 | 0 | 0.0 | 66M| 58 | - |1272 | 94k| 0 | 0 | 0 |1014 | 0 |-1.271000e+03 |-3.700000e+01 | 97.09%
191.72/191.82 c 186s|270000 | 22 | 0 | 0.0 | 66M| 58 | - |1272 | 94k| 0 | 0 | 0 |1045 | 0 |-1.271000e+03 |-3.700000e+01 | 97.09%
198.42/198.54 c 193s|280000 | 24 | 0 | 0.0 | 66M| 58 | - |1272 | 94k| 0 | 0 | 0 |1088 | 0 |-1.271000e+03 |-3.700000e+01 | 97.09%
204.71/204.81 c 199s|290000 | 23 | 0 | 0.0 | 66M| 58 | - |1272 | 94k| 0 | 0 | 0 |1112 | 0 |-1.271000e+03 |-3.700000e+01 | 97.09%
207.11/207.25 o -38
207.11/207.25 c * 201s|293571 | 24 | 0 | 0.0 | 66M| 58 | - |1272 | 94k| 0 | 0 | 0 |1124 | 0 |-1.271000e+03 |-3.800000e+01 | 97.01%
211.21/211.39 c 205s|300000 | 22 | 0 | 0.0 | 66M| 58 | - |1272 | 94k| 0 | 0 | 0 |1151 | 0 |-1.271000e+03 |-3.800000e+01 | 97.01%
217.90/218.07 c 212s|310000 | 22 | 0 | 0.0 | 66M| 58 | - |1272 | 94k| 0 | 0 | 0 |1194 | 0 |-1.271000e+03 |-3.800000e+01 | 97.01%
224.41/224.53 c 218s|320000 | 23 | 0 | 0.0 | 66M| 60 | - |1272 | 94k| 0 | 0 | 0 |1236 | 0 |-1.271000e+03 |-3.800000e+01 | 97.01%
230.91/231.01 c 225s|330000 | 23 | 0 | 0.0 | 66M| 61 | - |1272 | 94k| 0 | 0 | 0 |1271 | 0 |-1.271000e+03 |-3.800000e+01 | 97.01%
237.40/237.57 c 231s|340000 | 25 | 0 | 0.0 | 66M| 61 | - |1272 | 94k| 0 | 0 | 0 |1319 | 0 |-1.271000e+03 |-3.800000e+01 | 97.01%
244.10/244.28 c 238s|350000 | 21 | 0 | 0.0 | 66M| 61 | - |1272 | 94k| 0 | 0 | 0 |1356 | 0 |-1.271000e+03 |-3.800000e+01 | 97.01%
250.79/250.95 c 244s|360000 | 20 | 0 | 0.0 | 66M| 61 | - |1272 | 94k| 0 | 0 | 0 |1409 | 0 |-1.271000e+03 |-3.800000e+01 | 97.01%
257.39/257.59 c 251s|370000 | 22 | 0 | 0.0 | 66M| 61 | - |1272 | 94k| 0 | 0 | 0 |1438 | 0 |-1.271000e+03 |-3.800000e+01 | 97.01%
263.80/263.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
263.80/263.98 c 257s|380000 | 22 | 0 | 0.0 | 66M| 61 | - |1272 | 94k| 0 | 0 | 0 |1456 | 0 |-1.271000e+03 |-3.800000e+01 | 97.01%
270.59/270.72 c 263s|390000 | 21 | 0 | 0.0 | 66M| 61 | - |1272 | 94k| 0 | 0 | 0 |1476 | 0 |-1.271000e+03 |-3.800000e+01 | 97.01%
276.08/276.23 o -39
276.08/276.23 c * 269s|398121 | 24 | 0 | 0.0 | 66M| 61 | - |1272 | 94k| 0 | 0 | 0 |1501 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
277.38/277.53 c 270s|400000 | 23 | 0 | 0.0 | 66M| 61 | - |1272 | 94k| 0 | 0 | 0 |1503 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
284.09/284.21 c 277s|410000 | 22 | 0 | 0.0 | 66M| 61 | - |1272 | 94k| 0 | 0 | 0 |1536 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
290.48/290.65 c 283s|420000 | 20 | 0 | 0.0 | 66M| 61 | - |1272 | 94k| 0 | 0 | 0 |1574 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
297.18/297.31 c 289s|430000 | 21 | 0 | 0.0 | 66M| 61 | - |1272 | 94k| 0 | 0 | 0 |1602 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
304.18/304.38 c 296s|440000 | 23 | 0 | 0.0 | 66M| 61 | - |1272 | 94k| 0 | 0 | 0 |1631 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
310.98/311.19 c 303s|450000 | 23 | 0 | 0.0 | 66M| 61 | - |1272 | 94k| 0 | 0 | 0 |1661 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
317.57/317.73 c 309s|460000 | 22 | 0 | 0.0 | 66M| 61 | - |1272 | 94k| 0 | 0 | 0 |1682 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
324.47/324.64 c 316s|470000 | 23 | 0 | 0.0 | 66M| 61 | - |1272 | 94k| 0 | 0 | 0 |1715 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
331.46/331.63 c 323s|480000 | 22 | 0 | 0.0 | 66M| 61 | - |1272 | 94k| 0 | 0 | 0 |1746 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
338.16/338.39 c 330s|490000 | 20 | 0 | 0.0 | 66M| 61 | - |1272 | 94k| 0 | 0 | 0 |1777 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
344.86/345.06 c 336s|500000 | 21 | 0 | 0.0 | 66M| 61 | - |1272 | 94k| 0 | 0 | 0 |1816 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
351.66/351.83 c 343s|510000 | 19 | 0 | 0.0 | 66M| 61 | - |1272 | 94k| 0 | 0 | 0 |1850 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
357.95/358.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
357.95/358.15 c 349s|520000 | 21 | 0 | 0.0 | 66M| 61 | - |1272 | 94k| 0 | 0 | 0 |1893 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
364.85/365.07 c 356s|530000 | 26 | 0 | 0.0 | 66M| 61 | - |1272 | 94k| 0 | 0 | 0 |1928 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
371.75/371.96 c 363s|540000 | 24 | 0 | 0.0 | 66M| 61 | - |1272 | 94k| 0 | 0 | 0 |1967 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
378.64/378.88 c 369s|550000 | 25 | 0 | 0.0 | 66M| 61 | - |1272 | 94k| 0 | 0 | 0 |2027 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
385.45/385.64 c 376s|560000 | 24 | 0 | 0.0 | 66M| 61 | - |1272 | 94k| 0 | 0 | 0 |2056 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
392.13/392.33 c 383s|570000 | 25 | 0 | 0.0 | 66M| 61 | - |1272 | 94k| 0 | 0 | 0 |2087 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
399.04/399.22 c 389s|580000 | 23 | 0 | 0.0 | 66M| 61 | - |1272 | 94k| 0 | 0 | 0 |2121 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
406.14/406.33 c 396s|590000 | 25 | 0 | 0.0 | 66M| 61 | - |1272 | 94k| 0 | 0 | 0 |2149 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
412.93/413.18 c 403s|600000 | 25 | 0 | 0.0 | 66M| 61 | - |1272 | 94k| 0 | 0 | 0 |2186 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
419.83/420.06 c 410s|610000 | 25 | 0 | 0.0 | 66M| 61 | - |1272 | 94k| 0 | 0 | 0 |2244 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
426.63/426.83 c 416s|620000 | 24 | 0 | 0.0 | 66M| 61 | - |1272 | 94k| 0 | 0 | 0 |2293 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
433.42/433.65 c 423s|630000 | 25 | 0 | 0.0 | 66M| 61 | - |1272 | 94k| 0 | 0 | 0 |2340 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
440.03/440.29 c 430s|640000 | 24 | 0 | 0.0 | 66M| 61 | - |1272 | 94k| 0 | 0 | 0 |2379 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
446.51/446.71 c 436s|650000 | 23 | 0 | 0.0 | 66M| 61 | - |1272 | 94k| 0 | 0 | 0 |2433 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
453.02/453.24 c 442s|660000 | 21 | 0 | 0.0 | 66M| 61 | - |1272 | 94k| 0 | 0 | 0 |2462 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
459.91/460.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
459.91/460.14 c 449s|670000 | 25 | 0 | 0.0 | 66M| 61 | - |1272 | 94k| 0 | 0 | 0 |2502 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
467.00/467.25 c 456s|680000 | 25 | 0 | 0.0 | 66M| 61 | - |1272 | 94k| 0 | 0 | 0 |2555 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
474.50/474.75 c 463s|690000 | 29 | 0 | 0.0 | 66M| 61 | - |1272 | 94k| 0 | 0 | 0 |2606 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
481.41/481.60 c 470s|700000 | 27 | 0 | 0.0 | 66M| 61 | - |1272 | 94k| 0 | 0 | 0 |2658 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
488.39/488.61 c 477s|710000 | 26 | 0 | 0.0 | 66M| 61 | - |1272 | 94k| 0 | 0 | 0 |2715 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
495.59/495.81 c 484s|720000 | 26 | 0 | 0.0 | 66M| 61 | - |1272 | 94k| 0 | 0 | 0 |2760 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
502.90/503.14 c 491s|730000 | 24 | 0 | 0.0 | 66M| 61 | - |1272 | 94k| 0 | 0 | 0 |2805 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
510.20/510.45 c 498s|740000 | 24 | 0 | 0.0 | 66M| 61 | - |1272 | 94k| 0 | 0 | 0 |2843 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
517.29/517.52 c 505s|750000 | 24 | 0 | 0.0 | 66M| 61 | - |1272 | 94k| 0 | 0 | 0 |2883 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
524.69/525.00 c 513s|760000 | 25 | 0 | 0.0 | 66M| 61 | - |1272 | 94k| 0 | 0 | 0 |2930 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
532.19/532.41 c 520s|770000 | 26 | 0 | 0.0 | 66M| 61 | - |1272 | 94k| 0 | 0 | 0 |2972 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
538.88/539.19 c 527s|780000 | 26 | 0 | 0.0 | 66M| 61 | - |1272 | 94k| 0 | 0 | 0 |3011 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
545.97/546.26 c 533s|790000 | 25 | 0 | 0.0 | 66M| 61 | - |1272 | 94k| 0 | 0 | 0 |3055 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
552.77/553.06 c 540s|800000 | 23 | 0 | 0.0 | 66M| 61 | - |1272 | 94k| 0 | 0 | 0 |3103 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
559.68/559.96 c 547s|810000 | 23 | 0 | 0.0 | 66M| 61 | - |1272 | 94k| 0 | 0 | 0 |3165 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
566.87/567.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
566.87/567.19 c 554s|820000 | 24 | 0 | 0.0 | 66M| 61 | - |1272 | 94k| 0 | 0 | 0 |3201 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
573.97/574.24 c 561s|830000 | 21 | 0 | 0.0 | 66M| 61 | - |1272 | 94k| 0 | 0 | 0 |3251 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
581.36/581.68 c 568s|840000 | 26 | 0 | 0.0 | 66M| 61 | - |1272 | 94k| 0 | 0 | 0 |3296 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
588.56/588.88 c 575s|850000 | 29 | 0 | 0.0 | 66M| 61 | - |1272 | 94k| 0 | 0 | 0 |3357 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
595.76/596.01 c 582s|860000 | 24 | 0 | 0.0 | 66M| 61 | - |1272 | 94k| 0 | 0 | 0 |3412 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
603.15/603.49 c 590s|870000 | 24 | 0 | 0.0 | 66M| 61 | - |1272 | 94k| 0 | 0 | 0 |3457 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
610.56/610.81 c 597s|880000 | 25 | 0 | 0.0 | 66M| 61 | - |1272 | 94k| 0 | 0 | 0 |3528 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
617.65/617.94 c 604s|890000 | 24 | 0 | 0.0 | 66M| 61 | - |1272 | 94k| 0 | 0 | 0 |3590 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
624.85/625.12 c 611s|900000 | 25 | 0 | 0.0 | 66M| 61 | - |1272 | 94k| 0 | 0 | 0 |3645 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
632.25/632.56 c 618s|910000 | 24 | 0 | 0.0 | 66M| 61 | - |1272 | 94k| 0 | 0 | 0 |3712 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
639.44/639.77 c 625s|920000 | 24 | 0 | 0.0 | 66M| 61 | - |1272 | 94k| 0 | 0 | 0 |3749 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
646.34/646.69 c 632s|930000 | 26 | 0 | 0.0 | 66M| 61 | - |1272 | 94k| 0 | 0 | 0 |3781 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
653.64/653.90 c 639s|940000 | 23 | 0 | 0.0 | 66M| 61 | - |1272 | 94k| 0 | 0 | 0 |3839 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
660.44/660.75 c 646s|950000 | 25 | 0 | 0.0 | 66M| 61 | - |1272 | 94k| 0 | 0 | 0 |3889 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
667.63/667.94 c 653s|960000 | 22 | 0 | 0.0 | 66M| 61 | - |1272 | 94k| 0 | 0 | 0 |3929 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
675.03/675.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
675.03/675.31 c 660s|970000 | 25 | 0 | 0.0 | 66M| 61 | - |1272 | 94k| 0 | 0 | 0 |3966 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
682.12/682.47 c 667s|980000 | 23 | 0 | 0.0 | 66M| 61 | - |1272 | 94k| 0 | 0 | 0 |4025 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
689.33/689.61 c 674s|990000 | 22 | 0 | 0.0 | 66M| 61 | - |1272 | 94k| 0 | 0 | 0 |4051 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
696.42/696.73 c 681s| 1000k| 25 | 0 | 0.0 | 66M| 61 | - |1272 | 94k| 0 | 0 | 0 |4112 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
703.32/703.63 c 688s| 1010k| 25 | 0 | 0.0 | 66M| 61 | - |1272 | 94k| 0 | 0 | 0 |4168 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
710.33/710.69 c 695s| 1020k| 25 | 0 | 0.0 | 66M| 61 | - |1272 | 94k| 0 | 0 | 0 |4199 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
717.41/717.78 c 702s| 1030k| 25 | 0 | 0.0 | 66M| 61 | - |1272 | 94k| 0 | 0 | 0 |4246 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
724.31/724.63 c 708s| 1040k| 25 | 0 | 0.0 | 66M| 61 | - |1272 | 94k| 0 | 0 | 0 |4289 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
731.12/731.42 c 715s| 1050k| 23 | 0 | 0.0 | 66M| 61 | - |1272 | 94k| 0 | 0 | 0 |4334 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
738.11/738.41 c 722s| 1060k| 24 | 0 | 0.0 | 66M| 61 | - |1272 | 94k| 0 | 0 | 0 |4381 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
745.00/745.36 c 729s| 1070k| 24 | 0 | 0.0 | 66M| 61 | - |1272 | 94k| 0 | 0 | 0 |4422 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
752.00/752.30 c 736s| 1080k| 24 | 0 | 0.0 | 66M| 61 | - |1272 | 94k| 0 | 0 | 0 |4469 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
758.89/759.23 c 742s| 1090k| 23 | 0 | 0.0 | 66M| 61 | - |1272 | 94k| 0 | 0 | 0 |4495 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
765.89/766.22 c 749s| 1100k| 24 | 0 | 0.0 | 66M| 61 | - |1272 | 94k| 0 | 0 | 0 |4557 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
772.48/772.84 c 756s| 1110k| 25 | 0 | 0.0 | 66M| 61 | - |1272 | 94k| 0 | 0 | 0 |4590 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
779.09/779.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
779.09/779.48 c 762s| 1120k| 23 | 0 | 0.0 | 66M| 61 | - |1272 | 94k| 0 | 0 | 0 |4627 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
786.09/786.46 c 769s| 1130k| 22 | 0 | 0.0 | 66M| 61 | - |1272 | 94k| 0 | 0 | 0 |4682 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
793.27/793.68 c 776s| 1140k| 24 | 0 | 0.0 | 66M| 61 | - |1272 | 94k| 0 | 0 | 0 |4724 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
800.38/800.76 c 783s| 1150k| 24 | 0 | 0.0 | 66M| 61 | - |1272 | 94k| 0 | 0 | 0 |4769 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
806.98/807.34 c 789s| 1160k| 23 | 0 | 0.0 | 66M| 61 | - |1272 | 94k| 0 | 0 | 0 |4817 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
813.58/813.93 c 796s| 1170k| 25 | 0 | 0.0 | 66M| 61 | - |1272 | 94k| 0 | 0 | 0 |4864 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
820.47/820.82 c 803s| 1180k| 21 | 0 | 0.0 | 66M| 61 | - |1272 | 94k| 0 | 0 | 0 |4900 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
827.66/828.07 c 810s| 1190k| 24 | 0 | 0.0 | 66M| 61 | - |1272 | 94k| 0 | 0 | 0 |4953 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
834.47/834.88 c 816s| 1200k| 21 | 0 | 0.0 | 66M| 61 | - |1272 | 94k| 0 | 0 | 0 |4989 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
841.36/841.75 c 823s| 1210k| 22 | 0 | 0.0 | 66M| 61 | - |1272 | 94k| 0 | 0 | 0 |5032 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
848.06/848.46 c 830s| 1220k| 21 | 0 | 0.0 | 66M| 61 | - |1272 | 94k| 0 | 0 | 0 |5071 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
854.96/855.36 c 837s| 1230k| 25 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |5111 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
862.06/862.45 c 843s| 1240k| 25 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |5147 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
869.25/869.69 c 851s| 1250k| 22 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |5194 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
876.36/876.72 c 857s| 1260k| 23 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |5232 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
883.15/883.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
883.15/883.56 c 864s| 1270k| 24 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |5277 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
889.74/890.19 c 871s| 1280k| 23 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |5311 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
896.34/896.78 c 877s| 1290k| 24 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |5351 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
902.94/903.36 c 884s| 1300k| 23 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |5384 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
909.43/909.84 c 890s| 1310k| 23 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |5417 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
915.95/916.39 c 896s| 1320k| 24 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |5459 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
922.64/923.02 c 903s| 1330k| 23 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |5488 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
929.14/929.54 c 909s| 1340k| 25 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |5518 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
935.73/936.13 c 916s| 1350k| 23 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |5555 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
942.63/943.07 c 922s| 1360k| 21 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |5599 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
949.62/950.04 c 929s| 1370k| 24 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |5646 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
956.32/956.74 c 936s| 1380k| 24 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |5691 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
963.01/963.47 c 942s| 1390k| 24 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |5743 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
970.12/970.53 c 949s| 1400k| 23 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |5796 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
977.31/977.75 c 956s| 1410k| 25 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |5857 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
984.50/984.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
984.50/984.98 c 963s| 1420k| 22 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |5914 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
991.82/992.26 c 971s| 1430k| 24 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |5957 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
998.80/999.23 c 977s| 1440k| 27 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |6002 | 0 |-1.271000e+03 |-3.900000e+01 | 96.93%
999.41/999.81 o -40
999.41/999.81 c * 978s| 1440k| 24 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |6013 | 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1005.50/1005.99 c 984s| 1450k| 21 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |6047 | 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1012.10/1012.51 c 990s| 1460k| 25 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |6116 | 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1018.60/1019.00 c 997s| 1470k| 25 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |6160 | 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1025.19/1025.65 c 1003s| 1480k| 22 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |6209 | 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1031.98/1032.48 c 1010s| 1490k| 23 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |6256 | 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1038.78/1039.24 c 1017s| 1500k| 27 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |6291 | 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1045.38/1045.86 c 1023s| 1510k| 22 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |6334 | 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1051.98/1052.47 c 1030s| 1520k| 22 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |6372 | 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1058.78/1059.28 c 1036s| 1530k| 23 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |6409 | 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1065.28/1065.77 c 1043s| 1540k| 26 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |6460 | 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1071.87/1072.39 c 1049s| 1550k| 20 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |6511 | 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1078.77/1079.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1078.77/1079.28 c 1056s| 1560k| 23 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |6538 | 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1085.46/1085.93 c 1062s| 1570k| 20 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |6576 | 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1092.15/1092.60 c 1069s| 1580k| 23 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |6654 | 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1098.76/1099.24 c 1075s| 1590k| 25 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |6705 | 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1105.65/1106.15 c 1082s| 1600k| 24 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |6749 | 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1112.45/1112.96 c 1089s| 1610k| 23 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |6798 | 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1119.85/1120.33 c 1096s| 1620k| 23 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |6835 | 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1126.65/1127.11 c 1103s| 1630k| 21 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |6870 | 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1133.14/1133.64 c 1109s| 1640k| 21 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |6923 | 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1140.04/1140.55 c 1116s| 1650k| 23 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |6970 | 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1146.74/1147.23 c 1122s| 1660k| 22 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |7006 | 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1153.74/1154.23 c 1129s| 1670k| 25 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |7065 | 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1160.84/1161.36 c 1136s| 1680k| 24 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |7101 | 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1167.93/1168.45 c 1143s| 1690k| 25 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |7150 | 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1174.82/1175.37 c 1150s| 1700k| 23 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |7197 | 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1181.72/1182.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1181.72/1182.29 c 1157s| 1710k| 25 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |7251 | 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1188.82/1189.33 c 1164s| 1720k| 23 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |7295 | 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1195.52/1196.05 c 1170s| 1730k| 22 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |7348 | 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1202.02/1202.53 c 1176s| 1740k| 24 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |7398 | 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1208.61/1209.11 c 1183s| 1750k| 23 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |7450 | 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1215.41/1215.96 c 1190s| 1760k| 23 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |7495 | 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1222.01/1222.54 c 1196s| 1770k| 22 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |7536 | 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1228.70/1229.22 c 1203s| 1780k| 24 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |7563 | 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1234.91/1235.46 c 1209s| 1790k| 23 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |7608 | 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1241.81/1242.34 c 1215s| 1800k| 24 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |7640 | 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1248.80/1249.36 c 1222s| 1810k| 24 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |7666 | 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1255.70/1256.27 c 1229s| 1820k| 23 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |7705 | 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1262.50/1263.03 c 1236s| 1830k| 25 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |7760 | 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1269.49/1270.03 c 1243s| 1840k| 23 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |7808 | 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1276.60/1277.13 c 1250s| 1850k| 24 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |7849 | 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1283.38/1283.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1283.38/1283.91 c 1256s| 1860k| 23 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |7899 | 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1290.48/1291.07 c 1263s| 1870k| 25 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |7935 | 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1297.18/1297.70 c 1270s| 1880k| 24 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |7983 | 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1303.68/1304.25 c 1276s| 1890k| 23 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |8027 | 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1310.68/1311.26 c 1283s| 1900k| 22 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |8066 | 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1317.68/1318.29 c 1290s| 1910k| 22 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |8102 | 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1324.77/1325.32 c 1297s| 1920k| 22 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |8138 | 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1331.37/1331.96 c 1303s| 1930k| 25 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |8217 | 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1338.37/1338.91 c 1310s| 1940k| 23 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |8266 | 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1344.86/1345.46 c 1316s| 1950k| 25 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |8298 | 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1351.56/1352.17 c 1323s| 1960k| 23 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |8334 | 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1358.35/1358.95 c 1330s| 1970k| 22 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |8367 | 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1365.16/1365.79 c 1336s| 1980k| 24 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |8406 | 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1371.95/1372.53 c 1343s| 1990k| 25 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |8449 | 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1378.65/1379.21 c 1349s| 2000k| 22 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |8477 | 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1385.04/1385.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1385.04/1385.69 c 1356s| 2010k| 26 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |8517 | 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1391.54/1392.18 c 1362s| 2020k| 25 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |8553 | 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1397.75/1398.36 c 1368s| 2030k| 20 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |8588 | 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1404.73/1405.37 c 1375s| 2040k| 23 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |8622 | 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1411.53/1412.14 c 1382s| 2050k| 21 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |8664 | 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1417.84/1418.41 c 1388s| 2060k| 24 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |8701 | 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1424.43/1425.00 c 1394s| 2070k| 24 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |8732 | 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1430.82/1431.43 c 1400s| 2080k| 21 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |8782 | 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1437.42/1438.03 c 1407s| 2090k| 25 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |8827 | 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1444.03/1444.61 c 1413s| 2100k| 24 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |8879 | 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1450.72/1451.38 c 1420s| 2110k| 21 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |8927 | 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1457.32/1457.96 c 1426s| 2120k| 22 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |8954 | 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1463.71/1464.35 c 1433s| 2130k| 22 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |8984 | 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1470.61/1471.23 c 1439s| 2140k| 23 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |9025 | 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1477.31/1477.92 c 1446s| 2150k| 21 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |9054 | 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1484.00/1484.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1484.00/1484.62 c 1453s| 2160k| 23 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |9091 | 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1491.02/1491.61 c 1459s| 2170k| 22 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |9137 | 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1498.01/1498.66 c 1466s| 2180k| 22 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |9174 | 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1504.70/1505.32 c 1473s| 2190k| 20 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |9217 | 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1511.20/1511.83 c 1479s| 2200k| 23 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |9263 | 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1517.50/1518.19 c 1485s| 2210k| 23 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |9297 | 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1524.19/1524.83 c 1492s| 2220k| 24 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |9327 | 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1530.79/1531.43 c 1498s| 2230k| 22 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |9371 | 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1537.29/1537.93 c 1505s| 2240k| 23 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |9413 | 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1543.89/1544.53 c 1511s| 2250k| 21 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |9449 | 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1550.88/1551.50 c 1518s| 2260k| 22 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |9492 | 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1557.88/1558.52 c 1525s| 2270k| 24 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |9547 | 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1564.98/1565.67 c 1532s| 2280k| 24 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |9598 | 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1571.98/1572.62 c 1539s| 2290k| 23 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |9625 | 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1579.07/1579.75 c 1546s| 2300k| 22 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |9665 | 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1586.27/1586.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1586.27/1586.90 c 1553s| 2310k| 23 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |9708 | 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1593.57/1594.23 c 1560s| 2320k| 26 | 0 | 0.0 | 66M| 62 | - |1272 | 94k| 0 | 0 | 0 |9770 | 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1600.67/1601.33 c 1567s| 2330k| 22 | 0 | 0.0 | 66M| 64 | - |1272 | 94k| 0 | 0 | 0 |9819 | 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1608.26/1608.90 c 1574s| 2340k| 22 | 0 | 0.0 | 66M| 64 | - |1272 | 94k| 0 | 0 | 0 |9862 | 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1615.66/1616.36 c 1582s| 2350k| 23 | 0 | 0.0 | 66M| 64 | - |1272 | 94k| 0 | 0 | 0 |9900 | 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1622.76/1623.40 c 1589s| 2360k| 20 | 0 | 0.0 | 66M| 64 | - |1272 | 94k| 0 | 0 | 0 |9933 | 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1629.75/1630.40 c 1595s| 2370k| 20 | 0 | 0.0 | 66M| 64 | - |1272 | 94k| 0 | 0 | 0 |9974 | 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1636.45/1637.14 c 1602s| 2380k| 24 | 0 | 0.0 | 66M| 65 | - |1272 | 94k| 0 | 0 | 0 | 10k| 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1643.15/1643.84 c 1609s| 2390k| 24 | 0 | 0.0 | 66M| 65 | - |1272 | 94k| 0 | 0 | 0 | 10k| 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1649.74/1650.42 c 1615s| 2400k| 26 | 0 | 0.0 | 66M| 65 | - |1272 | 94k| 0 | 0 | 0 | 10k| 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1656.24/1656.93 c 1621s| 2410k| 22 | 0 | 0.0 | 66M| 65 | - |1272 | 94k| 0 | 0 | 0 | 10k| 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1663.13/1663.87 c 1628s| 2420k| 24 | 0 | 0.0 | 66M| 65 | - |1272 | 94k| 0 | 0 | 0 | 10k| 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1669.24/1669.98 c 1634s| 2430k| 23 | 0 | 0.0 | 66M| 65 | - |1272 | 94k| 0 | 0 | 0 | 10k| 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1675.84/1676.54 c 1641s| 2440k| 24 | 0 | 0.0 | 66M| 65 | - |1272 | 94k| 0 | 0 | 0 | 10k| 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1682.34/1683.08 c 1647s| 2450k| 25 | 0 | 0.0 | 66M| 67 | - |1272 | 94k| 0 | 0 | 0 | 10k| 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1688.53/1689.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1688.53/1689.26 c 1653s| 2460k| 22 | 0 | 0.0 | 66M| 67 | - |1272 | 94k| 0 | 0 | 0 | 10k| 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1694.83/1695.52 c 1659s| 2470k| 24 | 0 | 0.0 | 66M| 67 | - |1272 | 94k| 0 | 0 | 0 | 10k| 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1701.12/1701.85 c 1665s| 2480k| 22 | 0 | 0.0 | 66M| 67 | - |1272 | 94k| 0 | 0 | 0 | 10k| 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1707.42/1708.11 c 1671s| 2490k| 21 | 0 | 0.0 | 66M| 67 | - |1272 | 94k| 0 | 0 | 0 | 10k| 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1713.31/1714.05 c 1677s| 2500k| 21 | 0 | 0.0 | 66M| 67 | - |1272 | 94k| 0 | 0 | 0 | 10k| 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1719.21/1719.92 c 1683s| 2510k| 22 | 0 | 0.0 | 66M| 67 | - |1272 | 94k| 0 | 0 | 0 | 10k| 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1726.01/1726.77 c 1690s| 2520k| 24 | 0 | 0.0 | 66M| 67 | - |1272 | 94k| 0 | 0 | 0 | 10k| 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1732.40/1733.12 c 1696s| 2530k| 22 | 0 | 0.0 | 66M| 67 | - |1272 | 94k| 0 | 0 | 0 | 10k| 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1738.91/1739.68 c 1702s| 2540k| 20 | 0 | 0.0 | 66M| 67 | - |1272 | 94k| 0 | 0 | 0 | 10k| 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1745.71/1746.45 c 1709s| 2550k| 25 | 0 | 0.0 | 66M| 67 | - |1272 | 94k| 0 | 0 | 0 | 10k| 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1751.80/1752.54 c 1715s| 2560k| 23 | 0 | 0.0 | 66M| 67 | - |1272 | 94k| 0 | 0 | 0 | 10k| 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1757.89/1758.66 c 1721s| 2570k| 24 | 0 | 0.0 | 66M| 67 | - |1272 | 94k| 0 | 0 | 0 | 10k| 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1763.99/1764.75 c 1727s| 2580k| 22 | 0 | 0.0 | 66M| 67 | - |1272 | 94k| 0 | 0 | 0 | 10k| 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1770.09/1770.86 c 1733s| 2590k| 21 | 0 | 0.0 | 66M| 67 | - |1272 | 94k| 0 | 0 | 0 | 10k| 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1776.69/1777.42 c 1739s| 2600k| 20 | 0 | 0.0 | 66M| 68 | - |1272 | 94k| 0 | 0 | 0 | 10k| 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1783.19/1783.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1783.19/1783.95 c 1745s| 2610k| 22 | 0 | 0.0 | 66M| 68 | - |1272 | 94k| 0 | 0 | 0 | 10k| 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1789.68/1790.44 c 1752s| 2620k| 23 | 0 | 0.0 | 66M| 68 | - |1272 | 94k| 0 | 0 | 0 | 10k| 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1796.09/1796.84 c 1758s| 2630k| 22 | 0 | 0.0 | 66M| 68 | - |1272 | 94k| 0 | 0 | 0 | 11k| 0 |-1.271000e+03 |-4.000000e+01 | 96.85%
1800.09/1800.80 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.09/1800.81 c
1800.09/1800.81 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.81 c Solving Time (sec) : 1761.96
1800.09/1800.81 c Solving Nodes : 2636352
1800.09/1800.81 c Primal Bound : -4.00000000000000e+01 (12 solutions)
1800.09/1800.81 c Dual Bound : -1.27100000000000e+03
1800.09/1800.81 c Gap : 96.85 %
1800.09/1800.86 s SATISFIABLE
1800.09/1800.86 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28
1800.09/1800.86 v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53
1800.09/1800.86 v -x54 -x55 -x56 -x57 x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78
1800.09/1800.86 v -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103
1800.09/1800.86 v -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123
1800.09/1800.86 v -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144
1800.09/1800.86 v -x145 -x146 -x147 -x148 x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165
1800.09/1800.86 v -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186
1800.09/1800.86 v -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207
1800.09/1800.86 v -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228
1800.09/1800.86 v -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 x245 -x246 -x247 -x248 -x249
1800.09/1800.86 v -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270
1800.09/1800.86 v -x271 -x272 -x273 x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291
1800.09/1800.86 v -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312
1800.09/1800.86 v -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333
1800.09/1800.86 v -x334 -x335 x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354
1800.09/1800.86 v -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374
1800.09/1800.86 v -x375 -x376 x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395
1800.09/1800.86 v -x396 x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 x414 -x415 -x416 -x417
1800.09/1800.86 v -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437
1800.09/1800.86 v -x438 -x439 -x440 -x441 x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458
1800.09/1800.86 v -x459 -x460 -x461 -x462 -x463 -x464 x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479
1800.09/1800.86 v -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500
1800.09/1800.86 v -x501 x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521
1800.09/1800.86 v -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542
1800.09/1800.86 v -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563
1800.09/1800.86 v x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584
1800.09/1800.86 v x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 x605
1800.09/1800.86 v -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626
1800.09/1800.86 v -x627 -x628 -x629 x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647
1800.09/1800.86 v -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668
1800.09/1800.86 v -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689
1800.09/1800.86 v -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710
1800.09/1800.86 v -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 x726 -x727 -x728 -x729 -x730 -x731
1800.09/1800.86 v -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752
1800.09/1800.86 v -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 x769 -x770 -x771 -x772 -x773
1800.09/1800.86 v -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794
1800.09/1800.86 v -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814
1800.09/1800.86 v -x815 x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836
1800.09/1800.86 v -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857
1800.09/1800.86 v -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878
1800.09/1800.86 v -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 x893 -x894 -x895 -x896 -x897 -x898 -x899
1800.09/1800.86 v -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 x919 -x920
1800.09/1800.86 v -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940
1800.09/1800.86 v -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 x958 -x959 -x960 -x961
1800.09/1800.86 v -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982
1800.09/1800.86 v -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003
1800.09/1800.86 v -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021
1800.09/1800.86 v -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039
1800.09/1800.86 v -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 x1052 -x1053 -x1054 -x1055 -x1056 -x1057
1800.09/1800.86 v -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075
1800.09/1800.86 v -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093
1800.09/1800.86 v -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110
1800.09/1800.86 v -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128
1800.09/1800.86 v -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146
1800.09/1800.86 v -x1147 x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164
1800.09/1800.86 v -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 x1174 -x1175 -x1176 -x1177 x1178 -x1179 -x1180 -x1181 -x1182
1800.09/1800.86 v -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200
1800.09/1800.86 v -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218
1800.09/1800.86 v -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236
1800.09/1800.86 v -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254
1800.09/1800.86 v -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272
1800.09/1800.86 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.86 c Solving Time : 1761.96
1800.09/1800.86 c Original Problem :
1800.09/1800.86 c Problem name : HOME/instance-2664080-1276504978.opb
1800.09/1800.86 c Variables : 1272 (1272 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.86 c Constraints : 94227 initial, 94227 maximal
1800.09/1800.86 c Presolved Problem :
1800.09/1800.86 c Problem name : t_HOME/instance-2664080-1276504978.opb
1800.09/1800.86 c Variables : 1272 (1272 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.86 c Constraints : 94227 initial, 94236 maximal
1800.09/1800.86 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.09/1800.86 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.86 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.86 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.86 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.86 c implics : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.86 c probing : 1.99 0 0 0 0 0 0 0 0
1800.09/1800.86 c logicor : 0.29 0 0 0 0 0 0 0 0
1800.09/1800.86 c root node : - 0 - - 0 - - - -
1800.09/1800.86 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.09/1800.86 c integral : 0 0 0 0 0 0 0 0 0 0
1800.09/1800.86 c logicor : 94227+ 0 2692576 0 9 116133 3956575 0 0 0
1800.09/1800.86 c countsols : 0 0 0 0 9 0 0 0 0 0
1800.09/1800.86 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.09/1800.86 c integral : 0.00 0.00 0.00 0.00 0.00
1800.09/1800.86 c logicor : 440.34 0.00 440.17 0.00 0.17
1800.09/1800.86 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.09/1800.86 c Propagators : Time Calls Cutoffs DomReds
1800.09/1800.86 c vbounds : 2.73 2 0 0
1800.09/1800.86 c rootredcost : 1.85 0 0 0
1800.09/1800.86 c pseudoobj : 542.76 4398202 1021390 1625238
1800.09/1800.86 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.09/1800.86 c propagation : 193.28 116133 11056 11056 42.9 0 0.0 -
1800.09/1800.86 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.86 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.86 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.86 c pseudo solution : 459.17 179169 0 0 0.0 0 0.0 -
1800.09/1800.86 c applied globally : - - - 11056 42.9 - - -
1800.09/1800.86 c applied locally : - - - 0 0.0 - - -
1800.09/1800.86 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.09/1800.86 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.09/1800.86 c redcost : 0.00 0 0 0 0 0
1800.09/1800.86 c impliedbounds : 0.00 0 0 0 0 0
1800.09/1800.86 c intobj : 0.00 0 0 0 0 0
1800.09/1800.86 c cgmip : 0.00 0 0 0 0 0
1800.09/1800.86 c gomory : 0.00 0 0 0 0 0
1800.09/1800.86 c strongcg : 0.00 0 0 0 0 0
1800.09/1800.86 c cmir : 0.00 0 0 0 0 0
1800.09/1800.86 c flowcover : 0.00 0 0 0 0 0
1800.09/1800.86 c clique : 0.00 0 0 0 0 0
1800.09/1800.86 c zerohalf : 0.00 0 0 0 0 0
1800.09/1800.86 c mcf : 0.00 0 0 0 0 0
1800.09/1800.86 c rapidlearning : 0.00 0 0 0 0 0
1800.09/1800.86 c Pricers : Time Calls Vars
1800.09/1800.86 c problem variables: 0.00 0 0
1800.09/1800.86 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.09/1800.86 c relpscost : 0.00 0 0 0 0 0 0
1800.09/1800.86 c pscost : 0.00 0 0 0 0 0 0
1800.09/1800.86 c inference : 16.49 1327120 0 0 0 0 2654240
1800.09/1800.86 c mostinf : 0.00 0 0 0 0 0 0
1800.09/1800.86 c leastinf : 0.00 0 0 0 0 0 0
1800.09/1800.86 c fullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.86 c allfullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.86 c random : 0.00 0 0 0 0 0 0
1800.09/1800.86 c Primal Heuristics : Time Calls Found
1800.09/1800.86 c LP solutions : 0.00 - 0
1800.09/1800.86 c pseudo solutions : 0.01 - 9
1800.09/1800.86 c oneopt : 2.33 0 0
1800.09/1800.86 c trivial : 0.06 2 3
1800.09/1800.86 c simplerounding : 0.00 0 0
1800.09/1800.86 c zirounding : 0.00 0 0
1800.09/1800.86 c rounding : 0.00 0 0
1800.09/1800.86 c shifting : 0.00 0 0
1800.09/1800.86 c intshifting : 0.00 0 0
1800.09/1800.86 c twoopt : 0.00 0 0
1800.09/1800.86 c fixandinfer : 0.00 0 0
1800.09/1800.86 c feaspump : 0.00 0 0
1800.09/1800.86 c coefdiving : 0.00 0 0
1800.09/1800.86 c pscostdiving : 0.00 0 0
1800.09/1800.86 c fracdiving : 0.00 0 0
1800.09/1800.86 c veclendiving : 0.00 0 0
1800.09/1800.86 c intdiving : 0.00 0 0
1800.09/1800.86 c actconsdiving : 0.00 0 0
1800.09/1800.86 c objpscostdiving : 0.00 0 0
1800.09/1800.86 c rootsoldiving : 0.00 0 0
1800.09/1800.86 c linesearchdiving : 0.00 0 0
1800.09/1800.86 c guideddiving : 0.00 0 0
1800.09/1800.86 c octane : 0.00 0 0
1800.09/1800.86 c rens : 0.00 0 0
1800.09/1800.86 c rins : 0.00 0 0
1800.09/1800.86 c localbranching : 0.00 0 0
1800.09/1800.86 c mutation : 0.00 0 0
1800.09/1800.86 c crossover : 0.00 0 0
1800.09/1800.86 c dins : 0.00 0 0
1800.09/1800.86 c undercover : 0.00 0 0
1800.09/1800.86 c nlp : 1.51 0 0
1800.09/1800.86 c trysol : 1.06 0 0
1800.09/1800.86 c LP : Time Calls Iterations Iter/call Iter/sec
1800.09/1800.86 c primal LP : 0.00 0 0 0.00 -
1800.09/1800.86 c dual LP : 0.00 0 0 0.00 -
1800.09/1800.86 c lex dual LP : 0.00 0 0 0.00 -
1800.09/1800.86 c barrier LP : 0.00 0 0 0.00 -
1800.09/1800.86 c diving/probing LP: 0.00 0 0 0.00 -
1800.09/1800.86 c strong branching : 0.00 0 0 0.00 -
1800.09/1800.86 c (at root node) : - 0 0 0.00 -
1800.09/1800.86 c conflict analysis: 0.00 0 0 0.00 -
1800.09/1800.86 c B&B Tree :
1800.09/1800.86 c number of runs : 1
1800.09/1800.86 c nodes : 2636352
1800.09/1800.86 c nodes (total) : 2636352
1800.09/1800.86 c nodes left : 21
1800.09/1800.86 c max depth : 68
1800.09/1800.86 c max depth (total): 68
1800.09/1800.86 c backtracks : 516616 (19.6%)
1800.09/1800.86 c delayed cutoffs : 8459
1800.09/1800.86 c repropagations : 9721 (30016 domain reductions, 7469 cutoffs)
1800.09/1800.86 c avg switch length: 2.00
1800.09/1800.86 c switching time : 158.75
1800.09/1800.86 c Solution :
1800.09/1800.86 c Solutions found : 12 (10 improvements)
1800.09/1800.86 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.13 seconds, depth 0, found by <trivial>)
1800.09/1800.86 c Primal Bound : -4.00000000000000e+01 (in run 1, after 1440809 nodes, 977.92 seconds, depth 38, found by <relaxation>)
1800.09/1800.86 c Dual Bound : -1.27100000000000e+03
1800.09/1800.86 c Gap : 96.85 %
1800.09/1800.86 c Root Dual Bound : -1.27200000000000e+03
1800.09/1800.86 c Root Iterations : 0
1800.28/1801.06 c Time complete: 1800.34.
OK -40
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2664080-1276504978/watcher-2664080-1276504978 -o /tmp/evaluation-result-2664080-1276504978/solver-2664080-1276504978 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664080-1276504978.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 31016 /proc/meminfo: memFree=1800476/2059040 swapFree=4136184/4192956 [pid=31016] ppid=31014 vsize=6584 CPUtime=0 /proc/31016/stat : 31016 (pbscip.linux.x8) R 31014 31016 30867 0 -1 4202496 938 0 0 0 0 0 0 0 20 0 1 0 26099397 6742016 861 1992294400 4194304 7136930 140736477231616 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/31016/statm: 1646 873 254 719 0 925 0 [startup+0.0690759 s] /proc/loadavg: 1.00 1.00 1.00 3/106 31016 /proc/meminfo: memFree=1800476/2059040 swapFree=4136184/4192956 [pid=31016] ppid=31014 vsize=10852 CPUtime=0.06 /proc/31016/stat : 31016 (pbscip.linux.x8) R 31014 31016 30867 0 -1 4202496 2219 0 0 0 6 0 0 0 22 0 1 0 26099397 11112448 2142 1992294400 4194304 7136930 140736477231616 18446744073709551615 6340038 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/31016/statm: 2713 2142 271 719 0 1992 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 10852 [startup+0.101082 s] /proc/loadavg: 1.00 1.00 1.00 3/106 31016 /proc/meminfo: memFree=1800476/2059040 swapFree=4136184/4192956 [pid=31016] ppid=31014 vsize=12448 CPUtime=0.09 /proc/31016/stat : 31016 (pbscip.linux.x8) R 31014 31016 30867 0 -1 4202496 2588 0 0 0 9 0 0 0 22 0 1 0 26099397 12746752 2511 1992294400 4194304 7136930 140736477231616 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/31016/statm: 3112 2511 271 719 0 2391 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12448 [startup+0.301121 s] /proc/loadavg: 1.00 1.00 1.00 3/106 31016 /proc/meminfo: memFree=1800476/2059040 swapFree=4136184/4192956 [pid=31016] ppid=31014 vsize=16804 CPUtime=0.29 /proc/31016/stat : 31016 (pbscip.linux.x8) R 31014 31016 30867 0 -1 4202496 3691 0 0 0 29 0 0 0 22 0 1 0 26099397 17207296 3614 1992294400 4194304 7136930 140736477231616 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/31016/statm: 4201 3614 271 719 0 3480 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 16804 [startup+0.701199 s] /proc/loadavg: 1.00 1.00 1.00 3/106 31016 /proc/meminfo: memFree=1800476/2059040 swapFree=4136184/4192956 [pid=31016] ppid=31014 vsize=25584 CPUtime=0.69 /proc/31016/stat : 31016 (pbscip.linux.x8) R 31014 31016 30867 0 -1 4202496 5899 0 0 0 68 1 0 0 24 0 1 0 26099397 26198016 5822 1992294400 4194304 7136930 140736477231616 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/31016/statm: 6396 5822 271 719 0 5675 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 25584 [startup+1.50136 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31017 /proc/meminfo: memFree=1772072/2059040 swapFree=4136184/4192956 [pid=31016] ppid=31014 vsize=51164 CPUtime=1.49 /proc/31016/stat : 31016 (pbscip.linux.x8) R 31014 31016 30867 0 -1 4202496 12606 0 0 0 145 4 0 0 25 0 1 0 26099397 52391936 12175 1992294400 4194304 7136930 140736477231616 18446744073709551615 6350456 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31016/statm: 12791 12176 283 719 0 12070 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 51164 [startup+3.10167 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31017 /proc/meminfo: memFree=1703004/2059040 swapFree=4136184/4192956 [pid=31016] ppid=31014 vsize=116936 CPUtime=3.09 /proc/31016/stat : 31016 (pbscip.linux.x8) R 31014 31016 30867 0 -1 4202496 41723 0 0 0 270 39 0 0 25 0 1 0 26099397 119742464 27922 1992294400 4194304 7136930 140736477231616 18446744073709551615 4993940 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31016/statm: 29234 27922 350 719 0 28513 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 116936 [startup+6.30129 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31017 /proc/meminfo: memFree=1694448/2059040 swapFree=4136184/4192956 [pid=31016] ppid=31014 vsize=111984 CPUtime=6.29 /proc/31016/stat : 31016 (pbscip.linux.x8) R 31014 31016 30867 0 -1 4202496 43936 0 0 0 587 42 0 0 25 0 1 0 26099397 114671616 26695 1992294400 4194304 7136930 140736477231616 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31016/statm: 27996 26695 385 719 0 27275 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 111984 [startup+12.7015 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31017 /proc/meminfo: memFree=1694448/2059040 swapFree=4136184/4192956 [pid=31016] ppid=31014 vsize=111984 CPUtime=12.69 /proc/31016/stat : 31016 (pbscip.linux.x8) R 31014 31016 30867 0 -1 4202496 43936 0 0 0 1216 53 0 0 25 0 1 0 26099397 114671616 26695 1992294400 4194304 7136930 140736477231616 18446744073709551615 5907472 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31016/statm: 27996 26695 385 719 0 27275 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 111984 [startup+25.501 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31019 /proc/meminfo: memFree=1694448/2059040 swapFree=4136184/4192956 [pid=31016] ppid=31014 vsize=111984 CPUtime=25.49 /proc/31016/stat : 31016 (pbscip.linux.x8) R 31014 31016 30867 0 -1 4202496 43936 0 0 0 2470 79 0 0 25 0 1 0 26099397 114671616 26695 1992294400 4194304 7136930 140736477231616 18446744073709551615 4998689 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31016/statm: 27996 26695 385 719 0 27275 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 111984 [startup+51.1011 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31019 /proc/meminfo: memFree=1694448/2059040 swapFree=4136184/4192956 [pid=31016] ppid=31014 vsize=111984 CPUtime=51.07 /proc/31016/stat : 31016 (pbscip.linux.x8) R 31014 31016 30867 0 -1 4202496 43936 0 0 0 4976 131 0 0 25 0 1 0 26099397 114671616 26695 1992294400 4194304 7136930 140736477231616 18446744073709551615 5955538 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31016/statm: 27996 26695 385 719 0 27275 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 111984 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31021 /proc/meminfo: memFree=1694200/2059040 swapFree=4136184/4192956 [pid=31016] ppid=31014 vsize=111984 CPUtime=102.25 /proc/31016/stat : 31016 (pbscip.linux.x8) R 31014 31016 30867 0 -1 4202496 43936 0 0 0 9995 230 0 0 25 0 1 0 26099397 114671616 26695 1992294400 4194304 7136930 140736477231616 18446744073709551615 5907483 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31016/statm: 27996 26695 385 719 0 27275 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 111984 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31021 /proc/meminfo: memFree=1694076/2059040 swapFree=4136184/4192956 [pid=31016] ppid=31014 vsize=111984 CPUtime=162.23 /proc/31016/stat : 31016 (pbscip.linux.x8) R 31014 31016 30867 0 -1 4202496 43936 0 0 0 15877 346 0 0 25 0 1 0 26099397 114671616 26695 1992294400 4194304 7136930 140736477231616 18446744073709551615 4648619 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31016/statm: 27996 26695 385 719 0 27275 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 111984 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31023 /proc/meminfo: memFree=1693952/2059040 swapFree=4136184/4192956 [pid=31016] ppid=31014 vsize=111984 CPUtime=222.21 /proc/31016/stat : 31016 (pbscip.linux.x8) R 31014 31016 30867 0 -1 4202496 43936 0 0 0 21751 470 0 0 25 0 1 0 26099397 114671616 26695 1992294400 4194304 7136930 140736477231616 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31016/statm: 27996 26695 385 719 0 27275 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 111984 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31025 /proc/meminfo: memFree=1693828/2059040 swapFree=4136184/4192956 [pid=31016] ppid=31014 vsize=111984 CPUtime=282.18 /proc/31016/stat : 31016 (pbscip.linux.x8) R 31014 31016 30867 0 -1 4202496 43936 0 0 0 27619 599 0 0 25 0 1 0 26099397 114671616 26695 1992294400 4194304 7136930 140736477231616 18446744073709551615 5917627 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31016/statm: 27996 26695 385 719 0 27275 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 111984 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31027 /proc/meminfo: memFree=1693704/2059040 swapFree=4136184/4192956 [pid=31016] ppid=31014 vsize=111984 CPUtime=342.16 /proc/31016/stat : 31016 (pbscip.linux.x8) R 31014 31016 30867 0 -1 4202496 43936 0 0 0 33501 715 0 0 25 0 1 0 26099397 114671616 26695 1992294400 4194304 7136930 140736477231616 18446744073709551615 4210365 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31016/statm: 27996 26695 385 719 0 27275 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 111984 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31029 /proc/meminfo: memFree=1693580/2059040 swapFree=4136184/4192956 [pid=31016] ppid=31014 vsize=111984 CPUtime=402.13 /proc/31016/stat : 31016 (pbscip.linux.x8) R 31014 31016 30867 0 -1 4202496 43936 0 0 0 39377 836 0 0 25 0 1 0 26099397 114671616 26695 1992294400 4194304 7136930 140736477231616 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31016/statm: 27996 26695 385 719 0 27275 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 111984 [startup+462.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31029 /proc/meminfo: memFree=1693456/2059040 swapFree=4136184/4192956 [pid=31016] ppid=31014 vsize=111984 CPUtime=462.1 /proc/31016/stat : 31016 (pbscip.linux.x8) R 31014 31016 30867 0 -1 4202496 43936 0 0 0 45251 959 0 0 25 0 1 0 26099397 114671616 26695 1992294400 4194304 7136930 140736477231616 18446744073709551615 4219807 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31016/statm: 27996 26695 385 719 0 27275 0 Current children cumulated CPU time (s) 462.1 Current children cumulated vsize (KiB) 111984 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31031 /proc/meminfo: memFree=1693332/2059040 swapFree=4136184/4192956 [pid=31016] ppid=31014 vsize=111984 CPUtime=522.08 /proc/31016/stat : 31016 (pbscip.linux.x8) R 31014 31016 30867 0 -1 4202496 43936 0 0 0 51139 1069 0 0 25 0 1 0 26099397 114671616 26695 1992294400 4194304 7136930 140736477231616 18446744073709551615 4999902 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31016/statm: 27996 26695 385 719 0 27275 0 Current children cumulated CPU time (s) 522.08 Current children cumulated vsize (KiB) 111984 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31033 /proc/meminfo: memFree=1693208/2059040 swapFree=4136184/4192956 [pid=31016] ppid=31014 vsize=111984 CPUtime=582.07 /proc/31016/stat : 31016 (pbscip.linux.x8) R 31014 31016 30867 0 -1 4202496 43936 0 0 0 57021 1186 0 0 25 0 1 0 26099397 114671616 26695 1992294400 4194304 7136930 140736477231616 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31016/statm: 27996 26695 385 719 0 27275 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 111984 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31035 /proc/meminfo: memFree=1693084/2059040 swapFree=4136184/4192956 [pid=31016] ppid=31014 vsize=111984 CPUtime=642.05 /proc/31016/stat : 31016 (pbscip.linux.x8) R 31014 31016 30867 0 -1 4202496 43936 0 0 0 62910 1295 0 0 25 0 1 0 26099397 114671616 26695 1992294400 4194304 7136930 140736477231616 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31016/statm: 27996 26695 385 719 0 27275 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 111984 [startup+702.301 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31041 /proc/meminfo: memFree=1692588/2059040 swapFree=4136184/4192956 [pid=31016] ppid=31014 vsize=111984 CPUtime=881.95 /proc/31016/stat : 31016 (pbscip.linux.x8) R 31014 31016 30867 0 -1 4202496 43936 0 0 0 86434 1761 0 0 25 0 1 0 26099397 114671616 26695 1992294400 4194304 7136930 140736477231616 18446744073709551615 4648619 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31016/statm: 27996 26695 385 719 0 27275 0 Current children cumulated CPU time (s) 881.95 Current children cumulated vsize (KiB) 111984 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31043 /proc/meminfo: memFree=1692464/2059040 swapFree=4136184/4192956 [pid=31016] ppid=31014 vsize=111984 CPUtime=941.93 /proc/31016/stat : 31016 (pbscip.linux.x8) R 31014 31016 30867 0 -1 4202496 43936 0 0 0 92304 1889 0 0 25 0 1 0 26099397 114671616 26695 1992294400 4194304 7136930 140736477231616 18446744073709551615 4240470 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31016/statm: 27996 26695 385 719 0 27275 0 Current children cumulated CPU time (s) 941.93 Current children cumulated vsize (KiB) 111984 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31045 /proc/meminfo: memFree=1692340/2059040 swapFree=4136184/4192956 [pid=31016] ppid=31014 vsize=111984 CPUtime=1001.9 /proc/31016/stat : 31016 (pbscip.linux.x8) R 31014 31016 30867 0 -1 4202496 43936 0 0 0 98180 2010 0 0 25 0 1 0 26099397 114671616 26695 1992294400 4194304 7136930 140736477231616 18446744073709551615 5919075 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31016/statm: 27996 26695 385 719 0 27275 0 Current children cumulated CPU time (s) 1001.9 Current children cumulated vsize (KiB) 111984 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31045 /proc/meminfo: memFree=1692216/2059040 swapFree=4136184/4192956 [pid=31016] ppid=31014 vsize=111984 CPUtime=1061.88 /proc/31016/stat : 31016 (pbscip.linux.x8) R 31014 31016 30867 0 -1 4202496 43936 0 0 0 104055 2133 0 0 25 0 1 0 26099397 114671616 26695 1992294400 4194304 7136930 140736477231616 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31016/statm: 27996 26695 385 719 0 27275 0 Current children cumulated CPU time (s) 1061.88 Current children cumulated vsize (KiB) 111984 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31056 /proc/meminfo: memFree=1691968/2059040 swapFree=4136184/4192956 [pid=31016] ppid=31014 vsize=111984 CPUtime=1121.84 /proc/31016/stat : 31016 (pbscip.linux.x8) R 31014 31016 30867 0 -1 4202496 43936 0 0 0 109925 2259 0 0 25 0 1 0 26099397 114671616 26695 1992294400 4194304 7136930 140736477231616 18446744073709551615 4648638 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31016/statm: 27996 26695 385 719 0 27275 0 Current children cumulated CPU time (s) 1121.84 Current children cumulated vsize (KiB) 111984 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31058 /proc/meminfo: memFree=1691968/2059040 swapFree=4136184/4192956 [pid=31016] ppid=31014 vsize=111984 CPUtime=1181.83 /proc/31016/stat : 31016 (pbscip.linux.x8) R 31014 31016 30867 0 -1 4202496 43936 0 0 0 115804 2379 0 0 25 0 1 0 26099397 114671616 26695 1992294400 4194304 7136930 140736477231616 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31016/statm: 27996 26695 385 719 0 27275 0 Current children cumulated CPU time (s) 1181.83 Current children cumulated vsize (KiB) 111984 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31060 /proc/meminfo: memFree=1691968/2059040 swapFree=4136184/4192956 [pid=31016] ppid=31014 vsize=111984 CPUtime=1241.81 /proc/31016/stat : 31016 (pbscip.linux.x8) R 31014 31016 30867 0 -1 4202496 43936 0 0 0 121684 2497 0 0 25 0 1 0 26099397 114671616 26695 1992294400 4194304 7136930 140736477231616 18446744073709551615 5907479 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31016/statm: 27996 26695 385 719 0 27275 0 Current children cumulated CPU time (s) 1241.81 Current children cumulated vsize (KiB) 111984 [startup+1302.3 s] /proc/loadavg: 1.06 1.02 1.00 2/107 31062 /proc/meminfo: memFree=1691968/2059040 swapFree=4136184/4192956 [pid=31016] ppid=31014 vsize=111984 CPUtime=1301.79 /proc/31016/stat : 31016 (pbscip.linux.x8) R 31014 31016 30867 0 -1 4202496 43936 0 0 0 127562 2617 0 0 25 0 1 0 26099397 114671616 26695 1992294400 4194304 7136930 140736477231616 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31016/statm: 27996 26695 385 719 0 27275 0 Current children cumulated CPU time (s) 1301.79 Current children cumulated vsize (KiB) 111984 [startup+1362.3 s] /proc/loadavg: 1.02 1.01 1.00 2/107 31062 /proc/meminfo: memFree=1691968/2059040 swapFree=4136184/4192956 [pid=31016] ppid=31014 vsize=111984 CPUtime=1361.76 /proc/31016/stat : 31016 (pbscip.linux.x8) R 31014 31016 30867 0 -1 4202496 43936 0 0 0 133435 2741 0 0 25 0 1 0 26099397 114671616 26695 1992294400 4194304 7136930 140736477231616 18446744073709551615 4349951 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31016/statm: 27996 26695 385 719 0 27275 0 Current children cumulated CPU time (s) 1361.76 Current children cumulated vsize (KiB) 111984 [startup+1422.31 s] /proc/loadavg: 1.01 1.00 1.00 2/107 31064 /proc/meminfo: memFree=1691968/2059040 swapFree=4136184/4192956 [pid=31016] ppid=31014 vsize=111984 CPUtime=1421.74 /proc/31016/stat : 31016 (pbscip.linux.x8) R 31014 31016 30867 0 -1 4202496 43936 0 0 0 139300 2874 0 0 25 0 1 0 26099397 114671616 26695 1992294400 4194304 7136930 140736477231616 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31016/statm: 27996 26695 385 719 0 27275 0 Current children cumulated CPU time (s) 1421.74 Current children cumulated vsize (KiB) 111984 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31066 /proc/meminfo: memFree=1691844/2059040 swapFree=4136184/4192956 [pid=31016] ppid=31014 vsize=111984 CPUtime=1481.71 /proc/31016/stat : 31016 (pbscip.linux.x8) R 31014 31016 30867 0 -1 4202496 43936 0 0 0 145174 2997 0 0 25 0 1 0 26099397 114671616 26695 1992294400 4194304 7136930 140736477231616 18446744073709551615 4221155 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31016/statm: 27996 26695 385 719 0 27275 0 Current children cumulated CPU time (s) 1481.71 Current children cumulated vsize (KiB) 111984 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31068 /proc/meminfo: memFree=1691720/2059040 swapFree=4136184/4192956 [pid=31016] ppid=31014 vsize=111984 CPUtime=1541.69 /proc/31016/stat : 31016 (pbscip.linux.x8) R 31014 31016 30867 0 -1 4202496 43936 0 0 0 151048 3121 0 0 25 0 1 0 26099397 114671616 26695 1992294400 4194304 7136930 140736477231616 18446744073709551615 4998697 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31016/statm: 27996 26695 385 719 0 27275 0 Current children cumulated CPU time (s) 1541.69 Current children cumulated vsize (KiB) 111984 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31070 /proc/meminfo: memFree=1691596/2059040 swapFree=4136184/4192956 [pid=31016] ppid=31014 vsize=111984 CPUtime=1601.66 /proc/31016/stat : 31016 (pbscip.linux.x8) R 31014 31016 30867 0 -1 4202496 43936 0 0 0 156929 3237 0 0 25 0 1 0 26099397 114671616 26695 1992294400 4194304 7136930 140736477231616 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31016/statm: 27996 26695 385 719 0 27275 0 Current children cumulated CPU time (s) 1601.66 Current children cumulated vsize (KiB) 111984 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31070 /proc/meminfo: memFree=1691472/2059040 swapFree=4136184/4192956 [pid=31016] ppid=31014 vsize=111984 CPUtime=1661.64 /proc/31016/stat : 31016 (pbscip.linux.x8) R 31014 31016 30867 0 -1 4202496 43936 0 0 0 162809 3355 0 0 25 0 1 0 26099397 114671616 26695 1992294400 4194304 7136930 140736477231616 18446744073709551615 5909091 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31016/statm: 27996 26695 385 719 0 27275 0 Current children cumulated CPU time (s) 1661.64 Current children cumulated vsize (KiB) 111984 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31072 /proc/meminfo: memFree=1691348/2059040 swapFree=4136184/4192956 [pid=31016] ppid=31014 vsize=111984 CPUtime=1721.61 /proc/31016/stat : 31016 (pbscip.linux.x8) R 31014 31016 30867 0 -1 4202496 43936 0 0 0 168664 3497 0 0 25 0 1 0 26099397 114671616 26695 1992294400 4194304 7136930 140736477231616 18446744073709551615 5919066 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/31016/statm: 27996 26695 385 719 0 27275 0 Current children cumulated CPU time (s) 1721.61 Current children cumulated vsize (KiB) 111984 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31074 /proc/meminfo: memFree=1691100/2059040 swapFree=4136184/4192956 [pid=31016] ppid=31014 vsize=111984 CPUtime=1781.59 /proc/31016/stat : 31016 (pbscip.linux.x8) R 31014 31016 30867 0 -1 4202496 43936 0 0 0 174528 3631 0 0 25 0 1 0 26099397 114671616 26695 1992294400 4194304 7136930 140736477231616 18446744073709551615 4704784 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31016/statm: 27996 26695 385 719 0 27275 0 Current children cumulated CPU time (s) 1781.59 Current children cumulated vsize (KiB) 111984 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31074 /proc/meminfo: memFree=1691100/2059040 swapFree=4136184/4192956 [pid=31016] ppid=31014 vsize=111984 CPUtime=1800.09 /proc/31016/stat : 31016 (pbscip.linux.x8) R 31014 31016 30867 0 -1 4202496 43936 0 0 0 176339 3670 0 0 25 0 1 0 26099397 114671616 26695 1992294400 4194304 7136930 140736477231616 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31016/statm: 27996 26695 385 719 0 27275 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 111984 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31074 /proc/meminfo: memFree=1691100/2059040 swapFree=4136184/4192956 [pid=31016] ppid=31014 vsize=97892 CPUtime=1800.28 /proc/31016/stat : 31016 (pbscip.linux.x8) R 31014 31016 30867 0 -1 4202496 43942 0 0 0 176358 3670 0 0 25 0 1 0 26099397 100241408 23214 1992294400 4194304 7136930 140736477231616 18446744073709551615 6165594 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/31016/statm: 24473 23214 391 719 0 23752 0 Current children cumulated CPU time (s) 1800.28 Current children cumulated vsize (KiB) 97892 Child status: 0 Real time (s): 1801.07 CPU time (s): 1800.36 CPU user time (s): 1763.64 CPU system time (s): 36.7184 CPU usage (%): 99.9606 Max. virtual memory (cumulated for all children) (KiB): 123764 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1763.64 system time used= 36.7184 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 43949 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= 4 involuntary context switches= 5573 runsolver used 2.89656 second user time and 8.61069 second system time The end
Begin job on node011 at 2010-06-14 10:42:58 IDJOB=2664080 IDBENCH=2259 IDSOLVER=1167 FILE ID=node011/2664080-1276504978 PBS_JOBID= 11173417 Free space on /tmp= 62264 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-1.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-2664080-1276504978/watcher-2664080-1276504978 -o /tmp/evaluation-result-2664080-1276504978/solver-2664080-1276504978 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664080-1276504978.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 604c6b786f56b09c749bc0d6b7c8f76d RANDOM SEED=1529399057 node011.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.264 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.52 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.264 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.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1800880 kB Buffers: 77084 kB Cached: 105032 kB SwapCached: 9796 kB Active: 98620 kB Inactive: 95812 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1800880 kB SwapTotal: 4192956 kB SwapFree: 4136184 kB Dirty: 5488 kB Writeback: 0 kB AnonPages: 11024 kB Mapped: 9120 kB Slab: 41848 kB PageTables: 3912 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181888 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= 62260 MiB End job on node011 at 2010-06-14 11:13:01