Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | SAT | 26 | 1793.29 | 1793.84 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_8_70_4.opb |
| MD5SUM | 87341d3e4752b9f90faef0f8d9385430 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 26 |
| Best CPU time to get the best result obtained on this benchmark | 1793.29 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 44 |
| Optimality of the best value was proved | NO |
| Number of variables | 198 |
| Total number of constraints | 16 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 16 |
| Minimum length of a constraint | 84 |
| Maximum length of a constraint | 86 |
| Number of terms in the objective function | 128 |
| Biggest coefficient in the objective function | 128 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 4080 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1881 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 6154 |
| Number of bits of the biggest sum of numbers | 13 |
| 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.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
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-2703930-1278561917.opb>
0.00/0.01 c original problem has 198 variables (198 bin, 0 int, 0 impl, 0 cont) and 16 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c presolving:
0.00/0.02 c (round 1) 0 del vars, 8 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.03 c (0.0s) probing: 101/198 (51.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.03 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.03 c presolving (2 rounds):
0.00/0.03 c 0 deleted vars, 8 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.03 c 0 implications, 0 cliques
0.00/0.03 c presolved problem has 198 variables (198 bin, 0 int, 0 impl, 0 cont) and 8 constraints
0.00/0.03 c 8 constraints of type <linear>
0.00/0.03 c transformed objective value is always integral (scale: 1)
0.00/0.03 c Presolving Time: 0.02
0.00/0.03 c - non default parameters ----------------------------------------------------------------------
0.00/0.03 c # SCIP version 1.2.1.3
0.00/0.03 c
0.00/0.03 c # frequency for displaying node information lines
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.03 c display/freq = 10000
0.00/0.03 c
0.00/0.03 c # maximal time in seconds to run
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/time = 1790
0.00/0.03 c
0.00/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/memory = 1620
0.00/0.03 c
0.00/0.03 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.03 c # [type: int, range: [1,2], default: 1]
0.00/0.03 c timing/clocktype = 2
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify inequalities
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/linear/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/indicator/addCouplingCons = TRUE
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify knapsacks
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c separating/rapidlearning/freq = 0
0.00/0.03 c
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c start solving
0.00/0.03 c
0.00/0.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.04 c 0.0s| 1 | 0 | 44 | - | 634k| 0 | 8 | 198 | 8 | 198 | 8 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.17 o 1242
0.09/0.17 c y 0.2s| 1 | 0 | 110 | - | 698k| 0 | 8 | 198 | 8 | 198 | 8 | 0 | 0 | 0 | 0.000000e+00 | 1.242000e+03 | Inf
0.09/0.17 c 0.2s| 1 | 0 | 118 | - | 787k| 0 | 13 | 198 | 45 | 198 | 15 | 7 | 0 | 0 | 0.000000e+00 | 1.242000e+03 | Inf
0.09/0.19 c 0.2s| 1 | 0 | 125 | - | 859k| 0 | 15 | 198 | 45 | 198 | 17 | 9 | 0 | 0 | 0.000000e+00 | 1.242000e+03 | Inf
0.19/0.21 c 0.2s| 1 | 0 | 132 | - | 878k| 0 | 19 | 198 | 45 | 198 | 21 | 13 | 0 | 0 | 0.000000e+00 | 1.242000e+03 | Inf
0.19/0.23 c 0.2s| 1 | 0 | 148 | - | 898k| 0 | 18 | 198 | 45 | 198 | 23 | 15 | 0 | 0 | 0.000000e+00 | 1.242000e+03 | Inf
0.19/0.25 c 0.2s| 1 | 0 | 167 | - | 918k| 0 | 16 | 198 | 45 | 198 | 24 | 16 | 0 | 0 | 0.000000e+00 | 1.242000e+03 | Inf
0.19/0.28 c 0.3s| 1 | 0 | 187 | - | 939k| 0 | 17 | 198 | 45 | 198 | 26 | 18 | 0 | 0 | 0.000000e+00 | 1.242000e+03 | Inf
0.29/0.33 c 0.3s| 1 | 2 | 187 | - | 940k| 0 | 17 | 198 | 45 | 198 | 26 | 18 | 0 | 9 | 0.000000e+00 | 1.242000e+03 | Inf
0.49/0.51 o 616
0.49/0.51 c p 0.5s| 32 | 33 | 602 | 13.4 |1058k| 18 | - | 198 | 45 | 198 | 17 | 18 | 2 | 218 | 0.000000e+00 | 6.160000e+02 | Inf
0.69/0.76 o 446
0.69/0.76 c c 0.8s| 209 | 210 | 1912 | 8.3 |1145k| 49 | - | 198 | 45 | 198 | 17 | 18 | 6 | 499 | 0.000000e+00 | 4.460000e+02 | Inf
0.99/1.08 o 304
0.99/1.08 c g 1.1s| 535 | 534 | 4212 | 7.5 |1291k| 52 | - | 198 | 46 | 198 | 17 | 18 | 24 | 563 | 0.000000e+00 | 3.040000e+02 | Inf
1.19/1.20 o 303
1.19/1.20 c l 1.2s| 657 | 656 | 4962 | 7.3 |1336k| 52 | - | 198 | 46 | 198 | 17 | 18 | 30 | 599 | 0.000000e+00 | 3.030000e+02 | Inf
1.49/1.52 o 153
1.49/1.52 c g 1.5s| 1017 | 991 | 7307 | 7.0 |1506k| 52 | - | 198 | 46 | 198 | 17 | 18 | 41 | 612 | 0.000000e+00 | 1.530000e+02 | Inf
5.50/5.58 o 112
5.50/5.58 c g 5.6s| 5277 | 5187 | 35134 | 6.6 |3411k| 53 | - | 198 | 46 | 198 | 17 | 18 | 194 | 760 | 0.000000e+00 | 1.120000e+02 | Inf
9.29/9.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
9.29/9.36 c 9.4s| 10000 | 9857 | 66327 | 6.6 |5453k| 55 | 8 | 198 | 9 | 198 | 17 | 18 | 338 | 869 | 0.000000e+00 | 1.120000e+02 | Inf
15.99/16.09 c 16.1s| 20000 | 19761 |121847 | 6.1 |9726k| 59 | 8 | 198 | 9 | 198 | 17 | 18 | 523 |1236 | 0.000000e+00 | 1.120000e+02 | Inf
19.88/19.97 o 110
19.88/19.97 c *20.0s| 25970 | 25620 |154363 | 5.9 | 12M| 59 | - | 198 | 9 | 198 | 17 | 18 | 620 |1462 | 0.000000e+00 | 1.100000e+02 | Inf
19.88/19.97 o 108
19.88/19.97 c *20.0s| 25971 | 25613 |154363 | 5.9 | 12M| 59 | - | 198 | 9 | 198 | 17 | 18 | 620 |1462 | 0.000000e+00 | 1.080000e+02 | Inf
20.98/21.04 o 107
20.98/21.04 c *21.0s| 27619 | 27211 |163168 | 5.9 | 13M| 59 | - | 198 | 9 | 198 | 17 | 18 | 647 |1544 | 0.000000e+00 | 1.070000e+02 | Inf
21.39/21.45 o 83
21.39/21.45 c g21.4s| 28238 | 27564 |166336 | 5.9 | 13M| 59 | - | 198 | 9 | 198 | 17 | 18 | 662 |1559 | 0.000000e+00 | 8.300000e+01 | Inf
21.39/21.48 o 80
21.39/21.48 c g21.5s| 28266 | 27552 |166520 | 5.9 | 13M| 59 | - | 198 | 9 | 198 | 17 | 18 | 663 |1565 | 0.000000e+00 | 8.000000e+01 | Inf
22.99/23.04 c 23.0s| 30000 | 29129 |178930 | 6.0 | 13M| 59 | 8 | 198 | 9 | 198 | 17 | 18 | 715 |1670 | 0.000000e+00 | 8.000000e+01 | Inf
29.88/29.96 o 79
29.88/29.96 c *30.0s| 39998 | 38017 |234305 | 5.9 | 18M| 59 | - | 198 | 9 | 198 | 17 | 18 | 980 |2187 | 0.000000e+00 | 7.900000e+01 | Inf
29.88/29.97 c 30.0s| 40000 | 38019 |234311 | 5.9 | 18M| 59 | 8 | 198 | 9 | 198 | 17 | 18 | 980 |2187 | 0.000000e+00 | 7.900000e+01 | Inf
34.09/34.20 o 77
34.09/34.20 c *34.2s| 45936 | 42982 |268765 | 5.8 | 21M| 59 | - | 198 | 9 | 198 | 17 | 18 |1124 |2500 | 0.000000e+00 | 7.700000e+01 | Inf
36.98/37.08 c 37.1s| 50000 | 46446 |291736 | 5.8 | 23M| 59 | 8 | 198 | 9 | 198 | 17 | 18 |1218 |2701 | 0.000000e+00 | 7.700000e+01 | Inf
43.88/43.91 c 43.9s| 60000 | 55115 |348170 | 5.8 | 28M| 59 | 8 | 198 | 9 | 198 | 17 | 18 |1427 |3122 | 0.000000e+00 | 7.700000e+01 | Inf
43.99/44.02 o 75
43.99/44.02 c *44.0s| 60179 | 55193 |348977 | 5.8 | 28M| 59 | - | 198 | 9 | 198 | 17 | 18 |1429 |3125 | 0.000000e+00 | 7.500000e+01 | Inf
50.78/50.86 c 50.9s| 70000 | 63370 |404430 | 5.8 | 33M| 59 | - | 198 | 9 | 198 | 17 | 18 |1688 |3508 | 0.000000e+00 | 7.500000e+01 | Inf
51.69/51.73 o 73
51.69/51.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
51.69/51.73 c *51.7s| 71231 | 64298 |411501 | 5.8 | 33M| 59 | - | 198 | 9 | 198 | 17 | 18 |1726 |3559 | 0.000000e+00 | 7.300000e+01 | Inf
57.78/57.84 c 57.8s| 80000 | 71584 |461418 | 5.8 | 37M| 61 | 8 | 198 | 9 | 198 | 17 | 18 |1919 |3887 | 0.000000e+00 | 7.300000e+01 | Inf
57.87/57.96 o 72
57.87/57.96 c v57.9s| 80162 | 71624 |462350 | 5.8 | 37M| 61 | - | 198 | 9 | 198 | 17 | 18 |1934 |3899 | 0.000000e+00 | 7.200000e+01 | Inf
59.57/59.69 o 71
59.57/59.69 c v59.7s| 82214 | 73123 |477168 | 5.8 | 38M| 61 | - | 198 | 9 | 198 | 17 | 18 |2045 |3958 | 0.000000e+00 | 7.100000e+01 | Inf
62.58/62.68 o 69
62.58/62.68 c *62.7s| 85885 | 75593 |502717 | 5.9 | 40M| 61 | - | 198 | 9 | 198 | 17 | 18 |2226 |4117 | 0.000000e+00 | 6.900000e+01 | Inf
65.47/65.58 c 65.6s| 90000 | 78640 |525872 | 5.8 | 42M| 61 | 8 | 198 | 9 | 198 | 17 | 18 |2351 |4233 | 0.000000e+00 | 6.900000e+01 | Inf
72.37/72.42 c 72.4s|100000 | 86319 |580730 | 5.8 | 46M| 61 | 8 | 198 | 9 | 198 | 17 | 18 |2685 |4531 | 0.000000e+00 | 6.900000e+01 | Inf
79.17/79.28 c 79.3s|110000 | 93986 |635793 | 5.8 | 51M| 61 | 8 | 198 | 10 | 198 | 17 | 18 |3008 |4819 | 0.000000e+00 | 6.900000e+01 | Inf
79.56/79.68 o 68
79.56/79.68 c *79.7s|110542 | 94207 |639139 | 5.8 | 51M| 61 | - | 198 | 10 | 198 | 17 | 18 |3028 |4839 | 0.000000e+00 | 6.800000e+01 | Inf
82.27/82.33 o 67
82.27/82.33 c l82.3s|114378 | 96917 |659781 | 5.8 | 53M| 61 | - | 198 | 10 | 198 | 17 | 18 |3180 |4932 | 0.000000e+00 | 6.700000e+01 | Inf
85.86/85.92 o 66
85.86/85.92 c *85.9s|119104 |100183 |689008 | 5.8 | 55M| 61 | - | 198 | 10 | 198 | 17 | 18 |3372 |5043 | 0.000000e+00 | 6.600000e+01 | Inf
85.86/85.93 o 64
85.86/85.93 c *85.9s|119105 | 98010 |689008 | 5.8 | 53M| 61 | - | 198 | 10 | 198 | 17 | 18 |3372 |5043 | 0.000000e+00 | 6.400000e+01 | Inf
86.46/86.58 c 86.6s|120000 | 98697 |694311 | 5.8 | 53M| 61 | 8 | 198 | 14 | 198 | 17 | 18 |3396 |5081 | 0.000000e+00 | 6.400000e+01 | Inf
93.26/93.36 c 93.4s|130000 |106676 |753566 | 5.8 | 58M| 61 | - | 198 | 36 | 198 | 17 | 18 |3718 |5319 | 0.000000e+00 | 6.400000e+01 | Inf
100.16/100.20 c 100s|140000 |114550 |812341 | 5.8 | 63M| 61 | 8 | 198 | 38 | 198 | 17 | 18 |4047 |5609 | 0.000000e+00 | 6.400000e+01 | Inf
106.75/106.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
106.75/106.88 c 107s|150000 |122407 |869205 | 5.8 | 67M| 61 | 8 | 198 | 37 | 198 | 17 | 18 |4380 |5841 | 0.000000e+00 | 6.400000e+01 | Inf
107.15/107.23 o 63
107.15/107.23 c * 107s|150484 |122529 |872136 | 5.8 | 67M| 61 | - | 198 | 37 | 198 | 17 | 18 |4400 |5853 | 0.000000e+00 | 6.300000e+01 | Inf
107.15/107.23 o 61
107.15/107.23 c * 107s|150485 |122001 |872136 | 5.8 | 66M| 61 | - | 198 | 37 | 198 | 17 | 18 |4400 |5853 | 0.000000e+00 | 6.100000e+01 | Inf
115.76/115.86 c 116s|160000 |129362 |927803 | 5.8 | 71M| 61 | 8 | 198 | 20 | 198 | 17 | 18 |4746 |6066 | 0.000000e+00 | 6.100000e+01 | Inf
122.65/122.70 c 123s|170000 |136827 |987740 | 5.8 | 76M| 61 | 8 | 198 | 19 | 198 | 17 | 18 |5132 |6274 | 0.000000e+00 | 6.100000e+01 | Inf
129.45/129.54 c 130s|180000 |144263 | 1047k| 5.8 | 80M| 61 | 8 | 198 | 15 | 198 | 17 | 18 |5534 |6490 | 0.000000e+00 | 6.100000e+01 | Inf
136.26/136.33 c 136s|190000 |151559 | 1107k| 5.8 | 85M| 61 | 8 | 198 | 14 | 198 | 17 | 18 |5907 |6678 | 0.000000e+00 | 6.100000e+01 | Inf
139.15/139.24 o 60
139.15/139.24 c v 139s|194387 |154339 | 1132k| 5.8 | 86M| 61 | - | 198 | 14 | 198 | 17 | 18 |6053 |6747 | 0.000000e+00 | 6.000000e+01 | Inf
139.15/139.25 o 58
139.15/139.25 c f 139s|194387 |153359 | 1132k| 5.8 | 85M| 61 | - | 198 | 14 | 198 | 17 | 18 |6056 |6747 | 0.000000e+00 | 5.800000e+01 | Inf
143.65/143.73 c 144s|200000 |157282 | 1170k| 5.9 | 87M| 61 | 8 | 198 | 17 | 198 | 17 | 18 |6358 |6867 | 0.000000e+00 | 5.800000e+01 | Inf
150.66/150.79 c 151s|210000 |164470 | 1232k| 5.9 | 92M| 61 | 8 | 198 | 12 | 198 | 17 | 18 |6774 |7062 | 0.000000e+00 | 5.800000e+01 | Inf
157.25/157.38 c 157s|220000 |171872 | 1289k| 5.9 | 97M| 61 | 8 | 198 | 12 | 198 | 17 | 18 |7111 |7246 | 0.000000e+00 | 5.800000e+01 | Inf
163.84/163.99 c 164s|230000 |179277 | 1347k| 5.9 | 101M| 61 | 8 | 198 | 11 | 198 | 17 | 18 |7481 |7409 | 0.000000e+00 | 5.800000e+01 | Inf
170.64/170.77 c 171s|240000 |186418 | 1405k| 5.9 | 106M| 62 | 8 | 198 | 12 | 198 | 17 | 18 |7886 |7558 | 0.000000e+00 | 5.800000e+01 | Inf
177.44/177.56 c 178s|250000 |193360 | 1464k| 5.9 | 110M| 62 | 8 | 198 | 10 | 198 | 17 | 18 |8342 |7731 | 0.000000e+00 | 5.800000e+01 | Inf
184.13/184.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
184.13/184.20 c 184s|260000 |200516 | 1521k| 5.9 | 115M| 62 | 8 | 198 | 10 | 198 | 17 | 18 |8765 |7876 | 0.000000e+00 | 5.800000e+01 | Inf
186.13/186.23 o 57
186.13/186.23 c * 186s|262943 |202026 | 1539k| 5.9 | 115M| 62 | - | 198 | 10 | 198 | 17 | 18 |8893 |7923 | 0.000000e+00 | 5.700000e+01 | Inf
186.13/186.24 o 55
186.13/186.24 c * 186s|262944 |200422 | 1539k| 5.9 | 113M| 62 | - | 198 | 10 | 198 | 17 | 18 |8893 |7923 | 0.000000e+00 | 5.500000e+01 | Inf
190.83/190.98 c 191s|270000 |205642 | 1579k| 5.8 | 116M| 62 | - | 198 | 12 | 198 | 17 | 18 |9112 |8044 | 0.000000e+00 | 5.500000e+01 | Inf
195.23/195.36 o 54
195.23/195.36 c * 195s|276330 |209032 | 1617k| 5.9 | 118M| 62 | - | 198 | 13 | 198 | 17 | 18 |9368 |8153 | 0.000000e+00 | 5.400000e+01 | Inf
195.23/195.37 o 52
195.23/195.37 c * 195s|276331 |207064 | 1617k| 5.9 | 115M| 62 | - | 198 | 13 | 198 | 17 | 18 |9368 |8153 | 0.000000e+00 | 5.200000e+01 | Inf
197.73/197.86 c 198s|280000 |209565 | 1637k| 5.8 | 117M| 62 | 8 | 198 | 11 | 198 | 17 | 18 |9503 |8208 | 0.000000e+00 | 5.200000e+01 | Inf
204.43/204.51 c 204s|290000 |216232 | 1694k| 5.8 | 121M| 62 | 8 | 198 | 10 | 198 | 17 | 18 |9905 |8376 | 0.000000e+00 | 5.200000e+01 | Inf
211.22/211.31 c 211s|300000 |222819 | 1753k| 5.8 | 125M| 62 | 8 | 198 | 10 | 198 | 17 | 18 | 10k|8530 | 0.000000e+00 | 5.200000e+01 | Inf
216.43/216.52 o 50
216.43/216.52 c * 217s|307827 |225724 | 1797k| 5.8 | 126M| 62 | - | 198 | 10 | 198 | 17 | 18 | 10k|8640 | 0.000000e+00 | 5.000000e+01 | Inf
216.43/216.54 o 48
216.43/216.54 c * 217s|307828 |220473 | 1797k| 5.8 | 122M| 62 | - | 198 | 10 | 198 | 17 | 18 | 10k|8640 | 0.000000e+00 | 4.800000e+01 | Inf
217.93/218.06 c 218s|310000 |221861 | 1810k| 5.8 | 123M| 62 | - | 198 | 13 | 0 | 0 | 18 | 10k|8686 | 0.000000e+00 | 4.800000e+01 | Inf
224.72/224.85 c 225s|320000 |227987 | 1869k| 5.8 | 127M| 62 | 8 | 198 | 11 | 198 | 17 | 18 | 11k|8825 | 0.000000e+00 | 4.800000e+01 | Inf
233.42/233.54 c 234s|330000 |234191 | 1926k| 5.8 | 131M| 64 | 8 | 198 | 15 | 198 | 17 | 18 | 11k|8955 | 0.000000e+00 | 4.800000e+01 | Inf
242.12/242.28 c 242s|340000 |241013 | 1982k| 5.8 | 135M| 64 | 8 | 198 | 12 | 198 | 17 | 18 | 11k|9066 | 0.000000e+00 | 4.800000e+01 | Inf
248.92/249.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
248.92/249.06 c 249s|350000 |247301 | 2040k| 5.8 | 139M| 64 | 8 | 198 | 12 | 198 | 17 | 18 | 12k|9200 | 0.000000e+00 | 4.800000e+01 | Inf
255.81/255.95 c 256s|360000 |253429 | 2099k| 5.8 | 143M| 64 | 8 | 198 | 13 | 198 | 17 | 18 | 12k|9334 | 0.000000e+00 | 4.800000e+01 | Inf
262.61/262.76 c 263s|370000 |259661 | 2156k| 5.8 | 147M| 64 | 8 | 198 | 13 | 198 | 17 | 18 | 12k|9443 | 0.000000e+00 | 4.800000e+01 | Inf
269.51/269.61 c 270s|380000 |265732 | 2215k| 5.8 | 151M| 64 | 8 | 198 | 12 | 198 | 17 | 18 | 13k|9582 | 0.000000e+00 | 4.800000e+01 | Inf
276.41/276.51 c 276s|390000 |271709 | 2274k| 5.8 | 155M| 64 | 8 | 198 | 13 | 198 | 17 | 18 | 13k|9715 | 0.000000e+00 | 4.800000e+01 | Inf
283.10/283.29 c 283s|400000 |277686 | 2332k| 5.8 | 159M| 64 | - | 198 | 12 | 0 | 0 | 18 | 14k|9811 | 0.000000e+00 | 4.800000e+01 | Inf
289.90/290.03 c 290s|410000 |283538 | 2390k| 5.8 | 163M| 64 | 8 | 198 | 11 | 198 | 17 | 18 | 14k|9937 | 0.000000e+00 | 4.800000e+01 | Inf
296.81/296.98 c 297s|420000 |289175 | 2449k| 5.8 | 167M| 64 | 8 | 198 | 11 | 198 | 17 | 18 | 14k| 10k| 0.000000e+00 | 4.800000e+01 | Inf
303.80/303.99 c 304s|430000 |295201 | 2509k| 5.8 | 171M| 64 | - | 198 | 12 | 198 | 17 | 18 | 15k| 10k| 0.000000e+00 | 4.800000e+01 | Inf
310.59/310.73 c 311s|440000 |301370 | 2566k| 5.8 | 175M| 64 | 8 | 198 | 11 | 198 | 17 | 18 | 15k| 10k| 0.000000e+00 | 4.800000e+01 | Inf
317.49/317.60 c 318s|450000 |307396 | 2625k| 5.8 | 179M| 64 | - | 198 | 12 | 0 | 0 | 18 | 16k| 10k| 0.000000e+00 | 4.800000e+01 | Inf
324.30/324.42 c 324s|460000 |313548 | 2683k| 5.8 | 183M| 64 | 8 | 198 | 12 | 198 | 17 | 18 | 16k| 10k| 0.000000e+00 | 4.800000e+01 | Inf
331.19/331.32 c 331s|470000 |319355 | 2742k| 5.8 | 187M| 64 | 8 | 198 | 11 | 198 | 17 | 18 | 16k| 10k| 0.000000e+00 | 4.800000e+01 | Inf
337.99/338.19 c 338s|480000 |324902 | 2802k| 5.8 | 191M| 64 | 8 | 198 | 12 | 198 | 17 | 18 | 17k| 10k| 0.000000e+00 | 4.800000e+01 | Inf
343.69/343.82 o 47
343.69/343.82 c * 344s|487922 |328469 | 2850k| 5.8 | 192M| 64 | - | 198 | 12 | 198 | 17 | 18 | 17k| 10k| 0.000000e+00 | 4.700000e+01 | Inf
345.09/345.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
345.09/345.28 c 345s|490000 |329684 | 2862k| 5.8 | 193M| 64 | 8 | 198 | 12 | 198 | 17 | 18 | 17k| 10k| 0.000000e+00 | 4.700000e+01 | Inf
352.18/352.39 c 352s|500000 |335568 | 2924k| 5.8 | 197M| 64 | 8 | 198 | 10 | 198 | 17 | 18 | 18k| 10k| 0.000000e+00 | 4.700000e+01 | Inf
358.98/359.18 c 359s|510000 |341609 | 2981k| 5.8 | 201M| 64 | 8 | 198 | 10 | 198 | 17 | 18 | 18k| 11k| 0.000000e+00 | 4.700000e+01 | Inf
365.78/365.98 c 366s|520000 |347504 | 3040k| 5.8 | 205M| 64 | 8 | 198 | 10 | 198 | 17 | 18 | 18k| 11k| 0.000000e+00 | 4.700000e+01 | Inf
368.48/368.65 o 45
368.48/368.65 c * 369s|523783 |346862 | 3063k| 5.8 | 202M| 64 | - | 198 | 10 | 198 | 17 | 18 | 19k| 11k| 0.000000e+00 | 4.500000e+01 | Inf
368.48/368.67 o 43
368.48/368.67 c * 369s|523785 |343405 | 3063k| 5.8 | 198M| 64 | - | 198 | 10 | 198 | 17 | 18 | 19k| 11k| 0.000000e+00 | 4.300000e+01 | Inf
368.58/368.70 o 41
368.58/368.70 c * 369s|523787 |339497 | 3063k| 5.8 | 193M| 64 | - | 198 | 10 | 198 | 17 | 18 | 19k| 11k| 0.000000e+00 | 4.100000e+01 | Inf
370.78/370.94 o 39
370.78/370.94 c * 371s|527011 |336883 | 3081k| 5.8 | 190M| 64 | - | 198 | 11 | 198 | 17 | 18 | 19k| 11k| 0.000000e+00 | 3.900000e+01 | Inf
370.78/370.97 o 37
370.78/370.97 c * 371s|527012 |332110 | 3081k| 5.8 | 185M| 64 | - | 198 | 11 | 198 | 17 | 18 | 19k| 11k| 0.000000e+00 | 3.700000e+01 | Inf
372.37/372.50 o 35
372.37/372.50 c C 372s|528762 |328297 | 3091k| 5.8 | 181M| 64 | 8 | 198 | 10 | 198 | 17 | 18 | 19k| 11k| 0.000000e+00 | 3.500000e+01 | Inf
373.18/373.38 c 373s|530000 |328996 | 3098k| 5.8 | 181M| 64 | - | 198 | 10 | 198 | 17 | 18 | 19k| 11k| 0.000000e+00 | 3.500000e+01 | Inf
379.88/380.06 c 380s|540000 |334066 | 3153k| 5.8 | 185M| 64 | 8 | 198 | 10 | 198 | 17 | 18 | 19k| 11k| 0.000000e+00 | 3.500000e+01 | Inf
386.48/386.68 c 387s|550000 |339161 | 3207k| 5.8 | 188M| 64 | 8 | 198 | 10 | 198 | 17 | 18 | 19k| 11k| 0.000000e+00 | 3.500000e+01 | Inf
393.17/393.33 c 393s|560000 |344163 | 3262k| 5.8 | 192M| 64 | - | 198 | 10 | 198 | 17 | 18 | 20k| 11k| 0.000000e+00 | 3.500000e+01 | Inf
399.67/399.86 c 400s|570000 |349152 | 3316k| 5.8 | 195M| 64 | 8 | 198 | 10 | 198 | 17 | 18 | 20k| 11k| 0.000000e+00 | 3.500000e+01 | Inf
406.27/406.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
406.27/406.43 c 406s|580000 |354087 | 3369k| 5.8 | 199M| 64 | 8 | 198 | 11 | 198 | 17 | 18 | 20k| 11k| 0.000000e+00 | 3.500000e+01 | Inf
412.76/412.99 c 413s|590000 |359198 | 3423k| 5.8 | 202M| 64 | 8 | 198 | 10 | 198 | 17 | 18 | 21k| 11k| 0.000000e+00 | 3.500000e+01 | Inf
419.26/419.48 c 419s|600000 |364162 | 3477k| 5.8 | 206M| 64 | 8 | 198 | 11 | 198 | 17 | 18 | 21k| 12k| 0.000000e+00 | 3.500000e+01 | Inf
426.06/426.26 c 426s|610000 |369654 | 3534k| 5.8 | 209M| 64 | - | 198 | 11 | 0 | 0 | 18 | 21k| 12k| 0.000000e+00 | 3.500000e+01 | Inf
432.65/432.82 c 433s|620000 |374795 | 3587k| 5.8 | 213M| 64 | 8 | 198 | 10 | 198 | 17 | 18 | 22k| 12k| 0.000000e+00 | 3.500000e+01 | Inf
438.76/438.91 o 34
438.76/438.91 c * 439s|629089 |377133 | 3637k| 5.8 | 213M| 64 | - | 198 | 10 | 198 | 17 | 18 | 22k| 12k| 0.000000e+00 | 3.400000e+01 | Inf
439.36/439.57 c 440s|630000 |377716 | 3643k| 5.8 | 214M| 64 | 8 | 198 | 12 | 198 | 17 | 18 | 22k| 12k| 0.000000e+00 | 3.400000e+01 | Inf
445.95/446.12 c 446s|640000 |382923 | 3696k| 5.8 | 217M| 64 | 8 | 198 | 10 | 198 | 17 | 18 | 22k| 12k| 0.000000e+00 | 3.400000e+01 | Inf
452.65/452.84 c 453s|650000 |387982 | 3749k| 5.8 | 221M| 64 | 8 | 198 | 10 | 198 | 17 | 18 | 22k| 12k| 0.000000e+00 | 3.400000e+01 | Inf
458.95/459.12 c 459s|660000 |392625 | 3802k| 5.8 | 224M| 64 | 8 | 198 | 10 | 198 | 17 | 18 | 23k| 12k| 0.000000e+00 | 3.400000e+01 | Inf
465.15/465.39 c 465s|670000 |397140 | 3853k| 5.8 | 227M| 64 | 8 | 198 | 10 | 198 | 17 | 18 | 23k| 12k| 0.000000e+00 | 3.400000e+01 | Inf
471.66/471.85 c 472s|680000 |401844 | 3907k| 5.7 | 231M| 64 | 8 | 198 | 10 | 198 | 17 | 18 | 23k| 12k| 0.000000e+00 | 3.400000e+01 | Inf
477.95/478.10 c 478s|690000 |406241 | 3959k| 5.7 | 234M| 64 | 8 | 198 | 10 | 198 | 17 | 18 | 24k| 12k| 0.000000e+00 | 3.400000e+01 | Inf
484.24/484.49 c 484s|700000 |411025 | 4011k| 5.7 | 238M| 64 | - | 198 | 10 | 198 | 17 | 18 | 24k| 12k| 0.000000e+00 | 3.400000e+01 | Inf
490.64/490.84 c 491s|710000 |415699 | 4063k| 5.7 | 241M| 64 | 8 | 198 | 10 | 198 | 17 | 18 | 24k| 13k| 0.000000e+00 | 3.400000e+01 | Inf
497.04/497.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
497.04/497.21 c 497s|720000 |420389 | 4116k| 5.7 | 244M| 64 | - | 198 | 10 | 0 | 0 | 18 | 25k| 13k| 0.000000e+00 | 3.400000e+01 | Inf
503.55/503.71 c 504s|730000 |425316 | 4169k| 5.7 | 248M| 64 | - | 198 | 10 | 198 | 17 | 18 | 25k| 13k| 0.000000e+00 | 3.400000e+01 | Inf
509.83/510.08 c 510s|740000 |430104 | 4222k| 5.7 | 251M| 64 | - | 198 | 10 | 198 | 17 | 18 | 25k| 13k| 0.000000e+00 | 3.400000e+01 | Inf
516.03/516.23 c 516s|750000 |434633 | 4272k| 5.7 | 254M| 64 | 8 | 198 | 10 | 198 | 17 | 18 | 26k| 13k| 0.000000e+00 | 3.400000e+01 | Inf
522.43/522.65 c 523s|760000 |439538 | 4326k| 5.7 | 258M| 64 | 8 | 198 | 10 | 198 | 17 | 18 | 26k| 13k| 0.000000e+00 | 3.400000e+01 | Inf
529.13/529.35 c 529s|770000 |444789 | 4380k| 5.7 | 261M| 64 | 8 | 198 | 11 | 198 | 17 | 18 | 26k| 13k| 0.000000e+00 | 3.400000e+01 | Inf
535.73/535.96 c 536s|780000 |449971 | 4434k| 5.7 | 265M| 64 | - | 198 | 10 | 198 | 17 | 18 | 27k| 13k| 0.000000e+00 | 3.400000e+01 | Inf
542.22/542.46 c 542s|790000 |454869 | 4487k| 5.7 | 268M| 64 | 8 | 198 | 10 | 198 | 17 | 18 | 27k| 13k| 0.000000e+00 | 3.400000e+01 | Inf
548.73/548.96 c 549s|800000 |459714 | 4541k| 5.7 | 272M| 64 | 8 | 198 | 11 | 198 | 17 | 18 | 27k| 13k| 0.000000e+00 | 3.400000e+01 | Inf
555.33/555.56 c 556s|810000 |464691 | 4595k| 5.7 | 275M| 64 | - | 198 | 10 | 198 | 17 | 18 | 28k| 13k| 0.000000e+00 | 3.400000e+01 | Inf
561.62/561.81 c 562s|820000 |469409 | 4647k| 5.7 | 279M| 64 | 8 | 198 | 10 | 198 | 17 | 18 | 28k| 13k| 0.000000e+00 | 3.400000e+01 | Inf
568.02/568.22 c 568s|830000 |474249 | 4699k| 5.7 | 282M| 64 | 8 | 198 | 11 | 198 | 17 | 18 | 28k| 14k| 0.000000e+00 | 3.400000e+01 | Inf
574.61/574.81 c 575s|840000 |479558 | 4753k| 5.7 | 285M| 64 | 8 | 198 | 11 | 198 | 17 | 18 | 28k| 14k| 0.000000e+00 | 3.400000e+01 | Inf
581.01/581.22 c 581s|850000 |484547 | 4805k| 5.7 | 289M| 64 | 8 | 198 | 10 | 198 | 17 | 18 | 29k| 14k| 0.000000e+00 | 3.400000e+01 | Inf
587.81/588.08 c 588s|860000 |489828 | 4861k| 5.7 | 292M| 64 | 8 | 198 | 10 | 198 | 17 | 18 | 29k| 14k| 0.000000e+00 | 3.400000e+01 | Inf
594.31/594.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
594.31/594.59 c 595s|870000 |495022 | 4915k| 5.6 | 296M| 64 | 8 | 198 | 10 | 198 | 17 | 18 | 29k| 14k| 0.000000e+00 | 3.400000e+01 | Inf
600.80/601.06 c 601s|880000 |499713 | 4968k| 5.6 | 299M| 64 | - | 198 | 10 | 0 | 0 | 18 | 30k| 14k| 0.000000e+00 | 3.400000e+01 | Inf
607.31/607.52 c 608s|890000 |504420 | 5022k| 5.6 | 303M| 64 | 8 | 198 | 11 | 198 | 17 | 18 | 30k| 14k| 0.000000e+00 | 3.400000e+01 | Inf
613.40/613.65 c 614s|900000 |508887 | 5073k| 5.6 | 306M| 64 | 8 | 198 | 10 | 198 | 17 | 18 | 30k| 14k| 0.000000e+00 | 3.400000e+01 | Inf
619.80/620.00 c 620s|910000 |513455 | 5125k| 5.6 | 309M| 64 | - | 198 | 10 | 198 | 17 | 18 | 31k| 14k| 0.000000e+00 | 3.400000e+01 | Inf
625.90/626.14 c 626s|920000 |518046 | 5176k| 5.6 | 313M| 64 | 8 | 198 | 10 | 198 | 17 | 18 | 31k| 14k| 0.000000e+00 | 3.400000e+01 | Inf
632.20/632.41 c 632s|930000 |522619 | 5228k| 5.6 | 316M| 64 | 8 | 198 | 10 | 198 | 17 | 18 | 31k| 14k| 0.000000e+00 | 3.400000e+01 | Inf
638.19/638.48 c 638s|940000 |527105 | 5277k| 5.6 | 320M| 64 | 8 | 198 | 10 | 198 | 17 | 18 | 32k| 15k| 0.000000e+00 | 3.400000e+01 | Inf
644.40/644.67 c 645s|950000 |531750 | 5327k| 5.6 | 323M| 64 | - | 198 | 12 | 198 | 17 | 18 | 32k| 15k| 0.000000e+00 | 3.400000e+01 | Inf
650.69/650.97 c 651s|960000 |536392 | 5379k| 5.6 | 326M| 64 | 8 | 198 | 10 | 198 | 17 | 18 | 32k| 15k| 0.000000e+00 | 3.400000e+01 | Inf
656.79/657.03 c 657s|970000 |540603 | 5429k| 5.6 | 329M| 64 | 8 | 198 | 11 | 198 | 17 | 18 | 32k| 15k| 0.000000e+00 | 3.400000e+01 | Inf
662.79/663.05 c 663s|980000 |544720 | 5479k| 5.6 | 333M| 64 | 8 | 198 | 10 | 198 | 17 | 18 | 33k| 15k| 0.000000e+00 | 3.400000e+01 | Inf
668.88/669.15 c 669s|990000 |549029 | 5529k| 5.6 | 336M| 64 | - | 198 | 10 | 0 | 0 | 18 | 33k| 15k| 0.000000e+00 | 3.400000e+01 | Inf
674.99/675.28 c 675s| 1000k|553312 | 5579k| 5.6 | 339M| 64 | 8 | 198 | 10 | 198 | 17 | 18 | 33k| 15k| 0.000000e+00 | 3.400000e+01 | Inf
681.18/681.40 c 681s| 1010k|557558 | 5629k| 5.6 | 343M| 64 | 8 | 198 | 11 | 198 | 17 | 18 | 34k| 15k| 0.000000e+00 | 3.400000e+01 | Inf
687.29/687.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
687.29/687.55 c 688s| 1020k|561886 | 5680k| 5.6 | 346M| 64 | 8 | 198 | 10 | 198 | 17 | 18 | 34k| 15k| 0.000000e+00 | 3.400000e+01 | Inf
693.58/693.84 c 694s| 1030k|566457 | 5731k| 5.6 | 349M| 64 | - | 198 | 11 | 198 | 17 | 18 | 34k| 15k| 0.000000e+00 | 3.400000e+01 | Inf
699.57/699.85 c 700s| 1040k|570710 | 5781k| 5.6 | 352M| 64 | 8 | 198 | 10 | 198 | 17 | 18 | 35k| 15k| 0.000000e+00 | 3.400000e+01 | Inf
705.47/705.78 c 706s| 1050k|574827 | 5830k| 5.6 | 356M| 64 | 8 | 198 | 10 | 198 | 17 | 18 | 35k| 15k| 0.000000e+00 | 3.400000e+01 | Inf
709.57/709.86 o 32
709.57/709.86 c * 710s| 1056k|554686 | 5863k| 5.5 | 339M| 64 | - | 198 | 10 | 198 | 17 | 18 | 35k| 15k| 0.000000e+00 | 3.200000e+01 | Inf
709.67/709.90 o 30
709.67/709.90 c * 710s| 1056k|548946 | 5863k| 5.5 | 331M| 64 | - | 198 | 10 | 198 | 17 | 18 | 35k| 15k| 0.000000e+00 | 3.000000e+01 | Inf
711.57/711.89 c 712s| 1060k|550296 | 5880k| 5.5 | 332M| 64 | - | 198 | 10 | 198 | 17 | 18 | 35k| 15k| 0.000000e+00 | 3.000000e+01 | Inf
717.67/717.93 c 718s| 1070k|554462 | 5934k| 5.5 | 335M| 64 | 8 | 198 | 10 | 198 | 17 | 18 | 35k| 16k| 0.000000e+00 | 3.000000e+01 | Inf
723.86/724.11 c 724s| 1080k|559003 | 5990k| 5.5 | 338M| 64 | 8 | 198 | 10 | 198 | 17 | 18 | 36k| 16k| 0.000000e+00 | 3.000000e+01 | Inf
729.97/730.24 c 730s| 1090k|563293 | 6045k| 5.5 | 341M| 64 | - | 198 | 11 | 198 | 17 | 18 | 36k| 16k| 0.000000e+00 | 3.000000e+01 | Inf
736.16/736.43 c 736s| 1100k|567837 | 6100k| 5.5 | 344M| 64 | 8 | 198 | 9 | 198 | 17 | 18 | 36k| 16k| 0.000000e+00 | 3.000000e+01 | Inf
742.36/742.62 c 743s| 1110k|572414 | 6156k| 5.5 | 347M| 64 | - | 198 | 9 | 198 | 17 | 18 | 37k| 16k| 0.000000e+00 | 3.000000e+01 | Inf
748.26/748.54 c 749s| 1120k|576719 | 6208k| 5.5 | 349M| 64 | - | 198 | 10 | 198 | 17 | 18 | 37k| 16k| 0.000000e+00 | 3.000000e+01 | Inf
754.16/754.43 c 754s| 1130k|580709 | 6262k| 5.5 | 352M| 64 | 8 | 198 | 9 | 198 | 17 | 18 | 37k| 16k| 0.000000e+00 | 3.000000e+01 | Inf
760.06/760.30 c 760s| 1140k|584495 | 6315k| 5.5 | 355M| 64 | - | 198 | 9 | 198 | 17 | 18 | 37k| 16k| 0.000000e+00 | 3.000000e+01 | Inf
766.46/766.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
766.46/766.72 c 767s| 1150k|589725 | 6372k| 5.5 | 358M| 64 | 8 | 198 | 11 | 198 | 17 | 18 | 38k| 16k| 0.000000e+00 | 3.000000e+01 | Inf
773.15/773.46 c 773s| 1160k|595726 | 6430k| 5.5 | 361M| 64 | 8 | 198 | 10 | 198 | 17 | 18 | 38k| 16k| 0.000000e+00 | 3.000000e+01 | Inf
779.25/779.58 c 780s| 1170k|600539 | 6485k| 5.5 | 364M| 64 | - | 198 | 10 | 0 | 0 | 18 | 38k| 16k| 0.000000e+00 | 3.000000e+01 | Inf
785.35/785.61 c 786s| 1180k|605311 | 6539k| 5.5 | 367M| 64 | 8 | 198 | 10 | 198 | 17 | 18 | 39k| 16k| 0.000000e+00 | 3.000000e+01 | Inf
791.25/791.58 c 792s| 1190k|609835 | 6592k| 5.5 | 370M| 64 | 8 | 198 | 11 | 198 | 17 | 18 | 39k| 17k| 0.000000e+00 | 3.000000e+01 | Inf
797.35/797.60 c 798s| 1200k|614465 | 6646k| 5.5 | 373M| 64 | - | 198 | 12 | 198 | 17 | 18 | 39k| 17k| 0.000000e+00 | 3.000000e+01 | Inf
803.24/803.55 c 804s| 1210k|618766 | 6699k| 5.5 | 376M| 64 | 8 | 198 | 10 | 198 | 17 | 18 | 40k| 17k| 0.000000e+00 | 3.000000e+01 | Inf
809.25/809.53 c 810s| 1220k|623049 | 6753k| 5.5 | 379M| 64 | 8 | 198 | 11 | 198 | 17 | 18 | 40k| 17k| 0.000000e+00 | 3.000000e+01 | Inf
815.04/815.39 c 815s| 1230k|627095 | 6806k| 5.5 | 381M| 64 | 8 | 198 | 9 | 198 | 17 | 18 | 40k| 17k| 0.000000e+00 | 3.000000e+01 | Inf
820.94/821.28 c 821s| 1240k|631349 | 6859k| 5.5 | 384M| 64 | 8 | 198 | 10 | 198 | 17 | 18 | 41k| 17k| 0.000000e+00 | 3.000000e+01 | Inf
826.85/827.17 c 827s| 1250k|635018 | 6912k| 5.5 | 387M| 64 | 8 | 198 | 9 | 198 | 17 | 18 | 41k| 17k| 0.000000e+00 | 3.000000e+01 | Inf
832.74/833.05 c 833s| 1260k|638844 | 6966k| 5.5 | 390M| 64 | 8 | 198 | 9 | 198 | 17 | 18 | 41k| 17k| 0.000000e+00 | 3.000000e+01 | Inf
838.64/838.98 c 839s| 1270k|642926 | 7020k| 5.5 | 392M| 64 | 8 | 198 | 11 | 198 | 17 | 18 | 41k| 17k| 0.000000e+00 | 3.000000e+01 | Inf
844.44/844.75 c 845s| 1280k|646703 | 7072k| 5.5 | 395M| 64 | 8 | 198 | 11 | 198 | 17 | 18 | 42k| 17k| 0.000000e+00 | 3.000000e+01 | Inf
850.23/850.58 c 851s| 1290k|650667 | 7126k| 5.5 | 398M| 64 | 8 | 198 | 10 | 198 | 17 | 18 | 42k| 17k| 0.000000e+00 | 3.000000e+01 | Inf
856.12/856.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
856.12/856.41 c 856s| 1300k|654461 | 7180k| 5.5 | 400M| 64 | - | 198 | 10 | 198 | 17 | 18 | 42k| 17k| 0.000000e+00 | 3.000000e+01 | Inf
862.03/862.31 c 862s| 1310k|658336 | 7234k| 5.5 | 403M| 64 | 8 | 198 | 10 | 198 | 17 | 18 | 43k| 17k| 0.000000e+00 | 3.000000e+01 | Inf
867.93/868.27 c 868s| 1320k|662380 | 7288k| 5.5 | 406M| 64 | 8 | 198 | 9 | 198 | 17 | 18 | 43k| 18k| 0.000000e+00 | 3.000000e+01 | Inf
874.02/874.30 c 874s| 1330k|666354 | 7343k| 5.5 | 409M| 64 | 8 | 198 | 9 | 198 | 17 | 18 | 43k| 18k| 0.000000e+00 | 3.000000e+01 | Inf
879.92/880.23 c 880s| 1340k|670131 | 7397k| 5.5 | 411M| 64 | 8 | 198 | 9 | 198 | 17 | 18 | 44k| 18k| 0.000000e+00 | 3.000000e+01 | Inf
885.92/886.23 c 886s| 1350k|674398 | 7451k| 5.5 | 414M| 64 | - | 198 | 10 | 198 | 17 | 18 | 44k| 18k| 0.000000e+00 | 3.000000e+01 | Inf
891.72/892.05 c 892s| 1360k|678063 | 7504k| 5.5 | 416M| 64 | - | 198 | 10 | 198 | 17 | 18 | 44k| 18k| 0.000000e+00 | 3.000000e+01 | Inf
897.71/898.07 c 898s| 1370k|682034 | 7560k| 5.5 | 419M| 64 | 8 | 198 | 10 | 198 | 17 | 18 | 44k| 18k| 0.000000e+00 | 3.000000e+01 | Inf
903.51/903.84 c 904s| 1380k|685240 | 7614k| 5.5 | 422M| 64 | 8 | 198 | 12 | 198 | 17 | 18 | 45k| 18k| 0.000000e+00 | 3.000000e+01 | Inf
909.42/909.75 c 910s| 1390k|689092 | 7668k| 5.5 | 424M| 64 | - | 198 | 9 | 198 | 17 | 18 | 45k| 18k| 0.000000e+00 | 3.000000e+01 | Inf
915.21/915.58 c 916s| 1400k|692864 | 7721k| 5.5 | 427M| 64 | 8 | 198 | 10 | 198 | 17 | 18 | 45k| 18k| 0.000000e+00 | 3.000000e+01 | Inf
921.11/921.45 c 921s| 1410k|696831 | 7774k| 5.5 | 430M| 64 | - | 198 | 10 | 198 | 17 | 18 | 45k| 18k| 0.000000e+00 | 3.000000e+01 | Inf
927.01/927.33 c 927s| 1420k|700887 | 7827k| 5.5 | 432M| 64 | - | 198 | 11 | 198 | 17 | 18 | 46k| 18k| 0.000000e+00 | 3.000000e+01 | Inf
929.70/930.03 o 28
929.70/930.03 c * 930s| 1424k|695219 | 7851k| 5.5 | 423M| 64 | - | 198 | 11 | 198 | 17 | 18 | 46k| 18k| 0.000000e+00 | 2.800000e+01 | Inf
935.01/935.36 c 935s| 1430k|697375 | 7879k| 5.5 | 425M| 64 | 8 | 198 | 12 | 198 | 17 | 18 | 46k| 18k| 0.000000e+00 | 2.800000e+01 | Inf
943.29/943.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
943.29/943.63 c 944s| 1440k|702083 | 7934k| 5.5 | 427M| 64 | 8 | 198 | 12 | 198 | 17 | 18 | 46k| 18k| 0.000000e+00 | 2.800000e+01 | Inf
949.20/949.54 c 950s| 1450k|706208 | 7986k| 5.5 | 430M| 66 | - | 198 | 11 | 0 | 0 | 18 | 47k| 18k| 0.000000e+00 | 2.800000e+01 | Inf
955.30/955.61 c 956s| 1460k|710282 | 8039k| 5.5 | 433M| 66 | 8 | 198 | 10 | 198 | 17 | 18 | 47k| 19k| 0.000000e+00 | 2.800000e+01 | Inf
961.11/961.46 c 961s| 1470k|713922 | 8092k| 5.5 | 435M| 66 | 8 | 198 | 10 | 198 | 17 | 18 | 47k| 19k| 0.000000e+00 | 2.800000e+01 | Inf
966.89/967.20 c 967s| 1480k|717186 | 8144k| 5.5 | 438M| 66 | 8 | 198 | 10 | 198 | 17 | 18 | 47k| 19k| 0.000000e+00 | 2.800000e+01 | Inf
972.59/972.93 c 973s| 1490k|720654 | 8195k| 5.5 | 440M| 66 | 8 | 198 | 9 | 198 | 17 | 18 | 48k| 19k| 0.000000e+00 | 2.800000e+01 | Inf
978.29/978.64 c 979s| 1500k|724085 | 8247k| 5.5 | 443M| 66 | - | 198 | 10 | 198 | 17 | 18 | 48k| 19k| 0.000000e+00 | 2.800000e+01 | Inf
983.99/984.39 c 984s| 1510k|727456 | 8300k| 5.5 | 445M| 66 | 8 | 198 | 9 | 198 | 17 | 18 | 48k| 19k| 0.000000e+00 | 2.800000e+01 | Inf
989.79/990.11 c 990s| 1520k|730792 | 8352k| 5.5 | 448M| 66 | 8 | 198 | 9 | 198 | 17 | 18 | 48k| 19k| 0.000000e+00 | 2.800000e+01 | Inf
996.19/996.53 c 997s| 1530k|735685 | 8408k| 5.5 | 451M| 66 | 8 | 198 | 10 | 198 | 17 | 18 | 49k| 19k| 0.000000e+00 | 2.800000e+01 | Inf
1001.99/1002.37 c 1002s| 1540k|739704 | 8460k| 5.5 | 453M| 66 | 8 | 198 | 9 | 198 | 17 | 18 | 49k| 19k| 0.000000e+00 | 2.800000e+01 | Inf
1007.88/1008.27 c 1008s| 1550k|743492 | 8513k| 5.5 | 456M| 66 | - | 198 | 11 | 198 | 17 | 18 | 49k| 19k| 0.000000e+00 | 2.800000e+01 | Inf
1013.68/1014.05 c 1014s| 1560k|747262 | 8565k| 5.5 | 459M| 66 | - | 198 | 9 | 198 | 17 | 18 | 49k| 19k| 0.000000e+00 | 2.800000e+01 | Inf
1019.39/1019.77 c 1020s| 1570k|750608 | 8616k| 5.5 | 461M| 66 | - | 198 | 9 | 198 | 17 | 18 | 50k| 19k| 0.000000e+00 | 2.800000e+01 | Inf
1025.08/1025.49 c 1025s| 1580k|753785 | 8668k| 5.5 | 464M| 66 | 8 | 198 | 9 | 198 | 17 | 18 | 50k| 19k| 0.000000e+00 | 2.800000e+01 | Inf
1031.67/1032.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1031.67/1032.06 c 1032s| 1590k|758612 | 8725k| 5.5 | 466M| 66 | 8 | 198 | 10 | 198 | 17 | 18 | 50k| 19k| 0.000000e+00 | 2.800000e+01 | Inf
1037.77/1038.16 c 1038s| 1600k|763715 | 8778k| 5.5 | 469M| 66 | - | 198 | 10 | 198 | 17 | 18 | 50k| 19k| 0.000000e+00 | 2.800000e+01 | Inf
1043.67/1044.08 c 1044s| 1610k|768054 | 8829k| 5.5 | 472M| 66 | 8 | 198 | 10 | 198 | 17 | 18 | 51k| 19k| 0.000000e+00 | 2.800000e+01 | Inf
1049.47/1049.87 c 1050s| 1620k|772050 | 8880k| 5.5 | 475M| 66 | - | 198 | 10 | 198 | 17 | 18 | 51k| 20k| 0.000000e+00 | 2.800000e+01 | Inf
1055.46/1055.80 c 1056s| 1630k|776248 | 8934k| 5.5 | 477M| 66 | 8 | 198 | 9 | 198 | 17 | 18 | 51k| 20k| 0.000000e+00 | 2.800000e+01 | Inf
1061.07/1061.42 c 1061s| 1640k|779790 | 8984k| 5.5 | 480M| 66 | 8 | 198 | 9 | 198 | 17 | 18 | 52k| 20k| 0.000000e+00 | 2.800000e+01 | Inf
1066.67/1067.10 c 1067s| 1650k|783234 | 9036k| 5.5 | 483M| 66 | - | 198 | 9 | 198 | 17 | 18 | 52k| 20k| 0.000000e+00 | 2.800000e+01 | Inf
1072.36/1072.76 c 1073s| 1660k|786481 | 9086k| 5.5 | 485M| 66 | - | 198 | 9 | 198 | 17 | 18 | 52k| 20k| 0.000000e+00 | 2.800000e+01 | Inf
1078.26/1078.61 c 1079s| 1670k|790244 | 9138k| 5.5 | 488M| 66 | 8 | 198 | 10 | 198 | 17 | 18 | 52k| 20k| 0.000000e+00 | 2.800000e+01 | Inf
1083.86/1084.28 c 1084s| 1680k|793187 | 9189k| 5.5 | 490M| 66 | - | 198 | 11 | 198 | 17 | 18 | 53k| 20k| 0.000000e+00 | 2.800000e+01 | Inf
1089.96/1090.35 c 1090s| 1690k|797354 | 9243k| 5.5 | 493M| 66 | 8 | 198 | 9 | 198 | 17 | 18 | 53k| 20k| 0.000000e+00 | 2.800000e+01 | Inf
1095.85/1096.27 c 1096s| 1700k|801621 | 9295k| 5.5 | 495M| 66 | 8 | 198 | 9 | 198 | 17 | 18 | 53k| 20k| 0.000000e+00 | 2.800000e+01 | Inf
1101.55/1101.95 c 1102s| 1710k|805049 | 9345k| 5.5 | 498M| 66 | - | 198 | 10 | 198 | 17 | 18 | 53k| 20k| 0.000000e+00 | 2.800000e+01 | Inf
1107.26/1107.66 c 1108s| 1720k|808563 | 9396k| 5.5 | 500M| 66 | 8 | 198 | 10 | 198 | 17 | 18 | 54k| 20k| 0.000000e+00 | 2.800000e+01 | Inf
1112.95/1113.30 c 1113s| 1730k|811447 | 9447k| 5.5 | 502M| 66 | 8 | 198 | 9 | 198 | 17 | 18 | 54k| 20k| 0.000000e+00 | 2.800000e+01 | Inf
1118.45/1118.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1118.45/1118.87 c 1119s| 1740k|814556 | 9496k| 5.5 | 505M| 66 | 8 | 198 | 9 | 198 | 17 | 18 | 54k| 20k| 0.000000e+00 | 2.800000e+01 | Inf
1124.15/1124.54 c 1125s| 1750k|818034 | 9548k| 5.5 | 507M| 66 | 8 | 198 | 12 | 198 | 17 | 18 | 54k| 20k| 0.000000e+00 | 2.800000e+01 | Inf
1129.74/1130.19 c 1130s| 1760k|821328 | 9598k| 5.5 | 509M| 66 | - | 198 | 10 | 0 | 0 | 18 | 55k| 20k| 0.000000e+00 | 2.800000e+01 | Inf
1135.44/1135.80 c 1136s| 1770k|824332 | 9648k| 5.5 | 512M| 66 | - | 198 | 11 | 198 | 17 | 18 | 55k| 20k| 0.000000e+00 | 2.800000e+01 | Inf
1140.93/1141.36 c 1141s| 1780k|827414 | 9698k| 5.4 | 514M| 66 | - | 198 | 11 | 0 | 0 | 18 | 55k| 21k| 0.000000e+00 | 2.800000e+01 | Inf
1146.44/1146.88 c 1147s| 1790k|830604 | 9746k| 5.4 | 516M| 66 | 8 | 198 | 10 | 198 | 17 | 18 | 55k| 21k| 0.000000e+00 | 2.800000e+01 | Inf
1152.24/1152.63 c 1153s| 1800k|833776 | 9797k| 5.4 | 518M| 66 | - | 198 | 9 | 198 | 17 | 18 | 56k| 21k| 0.000000e+00 | 2.800000e+01 | Inf
1157.73/1158.20 c 1158s| 1810k|836872 | 9847k| 5.4 | 521M| 66 | 8 | 198 | 9 | 198 | 17 | 18 | 56k| 21k| 0.000000e+00 | 2.800000e+01 | Inf
1163.63/1164.08 c 1164s| 1820k|841014 | 9898k| 5.4 | 523M| 66 | 8 | 198 | 9 | 198 | 17 | 18 | 56k| 21k| 0.000000e+00 | 2.800000e+01 | Inf
1169.43/1169.80 c 1170s| 1830k|844968 | 9948k| 5.4 | 526M| 66 | - | 198 | 9 | 198 | 17 | 18 | 56k| 21k| 0.000000e+00 | 2.800000e+01 | Inf
1174.92/1175.33 c 1175s| 1840k|848075 | 9997k| 5.4 | 528M| 66 | - | 198 | 9 | 198 | 17 | 18 | 57k| 21k| 0.000000e+00 | 2.800000e+01 | Inf
1180.63/1181.02 c 1181s| 1850k|850996 | 10048k| 5.4 | 530M| 66 | 8 | 198 | 10 | 198 | 17 | 18 | 57k| 21k| 0.000000e+00 | 2.800000e+01 | Inf
1186.22/1186.67 c 1187s| 1860k|854572 | 10099k| 5.4 | 533M| 66 | 8 | 198 | 10 | 198 | 17 | 18 | 57k| 21k| 0.000000e+00 | 2.800000e+01 | Inf
1191.82/1192.29 c 1192s| 1870k|857729 | 10150k| 5.4 | 535M| 66 | - | 198 | 10 | 198 | 17 | 18 | 57k| 21k| 0.000000e+00 | 2.800000e+01 | Inf
1197.43/1197.83 c 1198s| 1880k|860739 | 10198k| 5.4 | 538M| 66 | 8 | 198 | 9 | 198 | 17 | 18 | 58k| 21k| 0.000000e+00 | 2.800000e+01 | Inf
1203.12/1203.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1203.12/1203.51 c 1203s| 1890k|863745 | 10250k| 5.4 | 540M| 66 | 8 | 198 | 13 | 198 | 17 | 18 | 58k| 21k| 0.000000e+00 | 2.800000e+01 | Inf
1205.92/1206.36 o 27
1205.92/1206.36 c *1206s| 1894k|861175 | 10275k| 5.4 | 535M| 66 | - | 198 | 12 | 198 | 17 | 18 | 58k| 21k| 0.000000e+00 | 2.700000e+01 | Inf
1208.82/1209.27 c 1209s| 1900k|862681 | 10301k| 5.4 | 536M| 66 | 8 | 198 | 10 | 198 | 17 | 18 | 58k| 21k| 0.000000e+00 | 2.700000e+01 | Inf
1214.72/1215.13 c 1215s| 1910k|865873 | 10353k| 5.4 | 539M| 66 | 8 | 198 | 11 | 198 | 17 | 18 | 58k| 21k| 0.000000e+00 | 2.700000e+01 | Inf
1220.31/1220.77 c 1221s| 1920k|868818 | 10404k| 5.4 | 541M| 66 | 8 | 198 | 9 | 198 | 17 | 18 | 59k| 21k| 0.000000e+00 | 2.700000e+01 | Inf
1226.21/1226.68 c 1227s| 1930k|872731 | 10456k| 5.4 | 544M| 66 | 8 | 198 | 10 | 198 | 17 | 18 | 59k| 21k| 0.000000e+00 | 2.700000e+01 | Inf
1232.11/1232.57 c 1233s| 1940k|876695 | 10510k| 5.4 | 546M| 66 | 8 | 198 | 10 | 198 | 17 | 18 | 59k| 22k| 0.000000e+00 | 2.700000e+01 | Inf
1237.91/1238.31 c 1238s| 1950k|879818 | 10561k| 5.4 | 549M| 66 | 8 | 198 | 9 | 198 | 17 | 18 | 59k| 22k| 0.000000e+00 | 2.700000e+01 | Inf
1243.50/1243.91 c 1244s| 1960k|883046 | 10611k| 5.4 | 551M| 66 | - | 198 | 9 | 198 | 17 | 18 | 60k| 22k| 0.000000e+00 | 2.700000e+01 | Inf
1249.11/1249.52 c 1250s| 1970k|886148 | 10663k| 5.4 | 553M| 66 | 8 | 198 | 11 | 198 | 17 | 18 | 60k| 22k| 0.000000e+00 | 2.700000e+01 | Inf
1255.00/1255.41 c 1255s| 1980k|889787 | 10715k| 5.4 | 556M| 66 | 8 | 198 | 10 | 198 | 17 | 18 | 60k| 22k| 0.000000e+00 | 2.700000e+01 | Inf
1261.21/1261.70 c 1262s| 1990k|894405 | 10771k| 5.4 | 559M| 66 | - | 198 | 12 | 0 | 0 | 18 | 60k| 22k| 0.000000e+00 | 2.700000e+01 | Inf
1267.20/1267.69 c 1268s| 2000k|898493 | 10825k| 5.4 | 561M| 66 | - | 198 | 9 | 198 | 17 | 18 | 61k| 22k| 0.000000e+00 | 2.700000e+01 | Inf
1273.30/1273.72 c 1274s| 2010k|902568 | 10879k| 5.4 | 564M| 66 | 8 | 198 | 9 | 198 | 17 | 18 | 61k| 22k| 0.000000e+00 | 2.700000e+01 | Inf
1279.00/1279.48 c 1279s| 2020k|906155 | 10931k| 5.4 | 567M| 66 | 8 | 198 | 9 | 198 | 17 | 18 | 61k| 22k| 0.000000e+00 | 2.700000e+01 | Inf
1284.70/1285.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1284.70/1285.19 c 1285s| 2030k|909402 | 10982k| 5.4 | 569M| 66 | 8 | 198 | 10 | 198 | 17 | 18 | 61k| 22k| 0.000000e+00 | 2.700000e+01 | Inf
1290.90/1291.34 c 1291s| 2040k|913762 | 11036k| 5.4 | 572M| 66 | 8 | 198 | 9 | 198 | 17 | 18 | 62k| 22k| 0.000000e+00 | 2.700000e+01 | Inf
1296.80/1297.27 c 1297s| 2050k|917876 | 11089k| 5.4 | 574M| 66 | 8 | 198 | 9 | 198 | 17 | 18 | 62k| 22k| 0.000000e+00 | 2.700000e+01 | Inf
1302.49/1302.97 c 1303s| 2060k|921341 | 11140k| 5.4 | 577M| 66 | 8 | 198 | 9 | 198 | 17 | 18 | 62k| 22k| 0.000000e+00 | 2.700000e+01 | Inf
1308.29/1308.76 c 1309s| 2070k|924675 | 11193k| 5.4 | 579M| 66 | 8 | 198 | 9 | 198 | 17 | 18 | 62k| 22k| 0.000000e+00 | 2.700000e+01 | Inf
1314.09/1314.52 c 1315s| 2080k|928421 | 11243k| 5.4 | 582M| 66 | 8 | 198 | 10 | 198 | 17 | 18 | 63k| 22k| 0.000000e+00 | 2.700000e+01 | Inf
1319.69/1320.15 c 1320s| 2090k|931776 | 11293k| 5.4 | 584M| 66 | 8 | 198 | 9 | 198 | 17 | 18 | 63k| 22k| 0.000000e+00 | 2.700000e+01 | Inf
1325.48/1325.97 c 1326s| 2100k|935185 | 11345k| 5.4 | 587M| 66 | 8 | 198 | 9 | 198 | 17 | 18 | 63k| 22k| 0.000000e+00 | 2.700000e+01 | Inf
1331.18/1331.66 c 1332s| 2110k|938667 | 11396k| 5.4 | 589M| 66 | 8 | 198 | 9 | 198 | 17 | 18 | 63k| 23k| 0.000000e+00 | 2.700000e+01 | Inf
1336.98/1337.42 c 1337s| 2120k|942169 | 11446k| 5.4 | 592M| 66 | 8 | 198 | 9 | 198 | 17 | 18 | 64k| 23k| 0.000000e+00 | 2.700000e+01 | Inf
1342.68/1343.11 c 1343s| 2130k|946189 | 11495k| 5.4 | 594M| 66 | 8 | 198 | 11 | 198 | 17 | 18 | 64k| 23k| 0.000000e+00 | 2.700000e+01 | Inf
1348.78/1349.24 c 1349s| 2140k|950687 | 11549k| 5.4 | 597M| 66 | - | 198 | 11 | 198 | 17 | 18 | 64k| 23k| 0.000000e+00 | 2.700000e+01 | Inf
1354.58/1355.03 c 1355s| 2150k|954422 | 11601k| 5.4 | 599M| 66 | 8 | 198 | 11 | 198 | 17 | 18 | 64k| 23k| 0.000000e+00 | 2.700000e+01 | Inf
1360.87/1361.35 c 1361s| 2160k|958996 | 11657k| 5.4 | 602M| 66 | 8 | 198 | 10 | 198 | 17 | 18 | 65k| 23k| 0.000000e+00 | 2.700000e+01 | Inf
1367.17/1367.69 c 1368s| 2170k|963494 | 11714k| 5.4 | 605M| 66 | 8 | 198 | 9 | 198 | 17 | 18 | 65k| 23k| 0.000000e+00 | 2.700000e+01 | Inf
1373.17/1373.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1373.17/1373.62 c 1374s| 2180k|967627 | 11766k| 5.4 | 608M| 66 | - | 198 | 9 | 198 | 17 | 18 | 65k| 23k| 0.000000e+00 | 2.700000e+01 | Inf
1378.88/1379.39 c 1379s| 2190k|971236 | 11818k| 5.4 | 610M| 66 | - | 198 | 11 | 198 | 17 | 18 | 65k| 23k| 0.000000e+00 | 2.700000e+01 | Inf
1384.66/1385.16 c 1385s| 2200k|974570 | 11870k| 5.4 | 613M| 66 | 8 | 198 | 10 | 198 | 17 | 18 | 66k| 23k| 0.000000e+00 | 2.700000e+01 | Inf
1390.36/1390.83 c 1391s| 2210k|977755 | 11921k| 5.4 | 615M| 66 | - | 198 | 11 | 198 | 17 | 18 | 66k| 23k| 0.000000e+00 | 2.700000e+01 | Inf
1396.16/1396.61 c 1397s| 2220k|981225 | 11973k| 5.4 | 617M| 66 | 8 | 198 | 10 | 198 | 17 | 18 | 66k| 23k| 0.000000e+00 | 2.700000e+01 | Inf
1401.76/1402.27 c 1402s| 2230k|984473 | 12023k| 5.4 | 620M| 66 | - | 198 | 9 | 198 | 17 | 18 | 66k| 23k| 0.000000e+00 | 2.700000e+01 | Inf
1407.35/1407.85 c 1408s| 2240k|987462 | 12073k| 5.4 | 622M| 66 | 8 | 198 | 10 | 198 | 17 | 18 | 67k| 23k| 0.000000e+00 | 2.700000e+01 | Inf
1413.16/1413.68 c 1414s| 2250k|990811 | 12125k| 5.4 | 624M| 66 | 8 | 198 | 10 | 198 | 17 | 18 | 67k| 23k| 0.000000e+00 | 2.700000e+01 | Inf
1418.85/1419.33 c 1419s| 2260k|994265 | 12176k| 5.4 | 627M| 66 | 8 | 198 | 9 | 198 | 17 | 18 | 67k| 23k| 0.000000e+00 | 2.700000e+01 | Inf
1424.45/1424.98 c 1425s| 2270k|997523 | 12226k| 5.4 | 629M| 66 | - | 198 | 9 | 198 | 17 | 18 | 67k| 23k| 0.000000e+00 | 2.700000e+01 | Inf
1430.25/1430.76 c 1431s| 2280k| 1001k| 12277k| 5.4 | 632M| 66 | 8 | 198 | 9 | 198 | 17 | 18 | 68k| 23k| 0.000000e+00 | 2.700000e+01 | Inf
1435.75/1436.21 c 1436s| 2290k| 1004k| 12326k| 5.4 | 634M| 66 | - | 198 | 9 | 198 | 17 | 18 | 68k| 24k| 0.000000e+00 | 2.700000e+01 | Inf
1441.34/1441.86 c 1442s| 2300k| 1008k| 12376k| 5.4 | 636M| 66 | 8 | 198 | 9 | 198 | 17 | 18 | 68k| 24k| 0.000000e+00 | 2.700000e+01 | Inf
1446.95/1447.49 c 1447s| 2310k| 1011k| 12427k| 5.4 | 639M| 66 | - | 198 | 9 | 0 | 0 | 18 | 68k| 24k| 0.000000e+00 | 2.700000e+01 | Inf
1452.65/1453.11 c 1453s| 2320k| 1015k| 12477k| 5.4 | 641M| 66 | - | 198 | 9 | 198 | 17 | 18 | 69k| 24k| 0.000000e+00 | 2.700000e+01 | Inf
1458.05/1458.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1458.05/1458.60 c 1459s| 2330k| 1018k| 12526k| 5.4 | 644M| 66 | 8 | 198 | 9 | 198 | 17 | 18 | 69k| 24k| 0.000000e+00 | 2.700000e+01 | Inf
1463.74/1464.21 c 1464s| 2340k| 1022k| 12576k| 5.4 | 646M| 66 | 8 | 198 | 9 | 198 | 17 | 18 | 69k| 24k| 0.000000e+00 | 2.700000e+01 | Inf
1469.44/1469.96 c 1470s| 2350k| 1025k| 12628k| 5.4 | 649M| 66 | 8 | 198 | 9 | 198 | 17 | 18 | 69k| 24k| 0.000000e+00 | 2.700000e+01 | Inf
1475.54/1476.09 c 1476s| 2360k| 1030k| 12682k| 5.4 | 651M| 66 | 8 | 198 | 9 | 198 | 17 | 18 | 70k| 24k| 0.000000e+00 | 2.700000e+01 | Inf
1481.24/1481.72 c 1482s| 2370k| 1033k| 12734k| 5.4 | 654M| 66 | - | 198 | 11 | 198 | 17 | 18 | 70k| 24k| 0.000000e+00 | 2.700000e+01 | Inf
1486.74/1487.29 c 1487s| 2380k| 1036k| 12784k| 5.4 | 656M| 66 | - | 198 | 10 | 0 | 0 | 18 | 70k| 24k| 0.000000e+00 | 2.700000e+01 | Inf
1492.33/1492.85 c 1493s| 2390k| 1040k| 12834k| 5.4 | 658M| 66 | 8 | 198 | 11 | 198 | 17 | 18 | 71k| 24k| 0.000000e+00 | 2.700000e+01 | Inf
1497.83/1498.33 c 1498s| 2400k| 1043k| 12883k| 5.4 | 661M| 66 | - | 198 | 12 | 198 | 17 | 18 | 71k| 24k| 0.000000e+00 | 2.700000e+01 | Inf
1503.43/1503.94 c 1504s| 2410k| 1046k| 12934k| 5.4 | 663M| 66 | 8 | 198 | 10 | 198 | 17 | 18 | 71k| 24k| 0.000000e+00 | 2.700000e+01 | Inf
1508.93/1509.44 c 1509s| 2420k| 1049k| 12983k| 5.4 | 665M| 66 | 8 | 198 | 9 | 198 | 17 | 18 | 71k| 24k| 0.000000e+00 | 2.700000e+01 | Inf
1514.33/1514.83 c 1515s| 2430k| 1052k| 13032k| 5.4 | 667M| 66 | 8 | 198 | 10 | 198 | 17 | 18 | 72k| 24k| 0.000000e+00 | 2.700000e+01 | Inf
1519.82/1520.33 c 1520s| 2440k| 1055k| 13081k| 5.4 | 670M| 66 | 8 | 198 | 10 | 198 | 17 | 18 | 72k| 24k| 0.000000e+00 | 2.700000e+01 | Inf
1525.32/1525.81 c 1526s| 2450k| 1057k| 13131k| 5.4 | 672M| 66 | - | 198 | 9 | 198 | 17 | 18 | 72k| 24k| 0.000000e+00 | 2.700000e+01 | Inf
1530.63/1531.14 c 1531s| 2460k| 1060k| 13179k| 5.4 | 674M| 66 | - | 198 | 10 | 0 | 0 | 18 | 72k| 24k| 0.000000e+00 | 2.700000e+01 | Inf
1536.23/1536.71 c 1537s| 2470k| 1063k| 13229k| 5.4 | 676M| 66 | - | 198 | 13 | 198 | 17 | 18 | 73k| 24k| 0.000000e+00 | 2.700000e+01 | Inf
1541.63/1542.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1541.63/1542.16 c 1542s| 2480k| 1066k| 13279k| 5.4 | 678M| 66 | - | 198 | 11 | 198 | 17 | 18 | 73k| 25k| 0.000000e+00 | 2.700000e+01 | Inf
1547.12/1547.60 c 1548s| 2490k| 1069k| 13329k| 5.4 | 681M| 66 | 8 | 198 | 9 | 198 | 17 | 18 | 73k| 25k| 0.000000e+00 | 2.700000e+01 | Inf
1552.52/1553.07 c 1553s| 2500k| 1072k| 13379k| 5.4 | 683M| 66 | 8 | 198 | 10 | 198 | 17 | 18 | 73k| 25k| 0.000000e+00 | 2.700000e+01 | Inf
1558.01/1558.51 c 1559s| 2510k| 1074k| 13428k| 5.4 | 685M| 66 | - | 198 | 10 | 198 | 17 | 18 | 74k| 25k| 0.000000e+00 | 2.700000e+01 | Inf
1563.31/1563.89 c 1564s| 2520k| 1077k| 13477k| 5.3 | 687M| 66 | - | 198 | 11 | 198 | 17 | 18 | 74k| 25k| 0.000000e+00 | 2.700000e+01 | Inf
1568.71/1569.25 c 1569s| 2530k| 1080k| 13527k| 5.3 | 689M| 66 | - | 198 | 10 | 198 | 17 | 18 | 74k| 25k| 0.000000e+00 | 2.700000e+01 | Inf
1574.11/1574.69 c 1575s| 2540k| 1082k| 13576k| 5.3 | 691M| 66 | - | 198 | 10 | 198 | 17 | 18 | 74k| 25k| 0.000000e+00 | 2.700000e+01 | Inf
1579.61/1580.16 c 1580s| 2550k| 1085k| 13626k| 5.3 | 694M| 66 | 8 | 198 | 12 | 198 | 17 | 18 | 75k| 25k| 0.000000e+00 | 2.700000e+01 | Inf
1585.00/1585.56 c 1586s| 2560k| 1088k| 13676k| 5.3 | 696M| 66 | 8 | 198 | 11 | 198 | 17 | 18 | 75k| 25k| 0.000000e+00 | 2.700000e+01 | Inf
1590.50/1591.01 c 1591s| 2570k| 1090k| 13726k| 5.3 | 698M| 66 | - | 198 | 10 | 0 | 0 | 18 | 75k| 25k| 0.000000e+00 | 2.700000e+01 | Inf
1596.10/1596.63 c 1597s| 2580k| 1093k| 13777k| 5.3 | 700M| 66 | 8 | 198 | 9 | 198 | 17 | 18 | 75k| 25k| 0.000000e+00 | 2.700000e+01 | Inf
1601.60/1602.12 c 1602s| 2590k| 1096k| 13827k| 5.3 | 702M| 66 | 8 | 198 | 9 | 198 | 17 | 18 | 76k| 25k| 0.000000e+00 | 2.700000e+01 | Inf
1607.00/1607.57 c 1608s| 2600k| 1099k| 13876k| 5.3 | 705M| 66 | 8 | 198 | 9 | 198 | 17 | 18 | 76k| 25k| 0.000000e+00 | 2.700000e+01 | Inf
1612.40/1613.00 c 1613s| 2610k| 1102k| 13926k| 5.3 | 707M| 66 | 8 | 198 | 9 | 198 | 17 | 18 | 76k| 25k| 0.000000e+00 | 2.700000e+01 | Inf
1618.09/1618.63 c 1619s| 2620k| 1105k| 13977k| 5.3 | 709M| 66 | - | 198 | 9 | 198 | 17 | 18 | 76k| 25k| 0.000000e+00 | 2.700000e+01 | Inf
1623.49/1624.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1623.49/1624.08 c 1624s| 2630k| 1107k| 14027k| 5.3 | 711M| 66 | - | 198 | 10 | 198 | 17 | 18 | 76k| 25k| 0.000000e+00 | 2.700000e+01 | Inf
1628.99/1629.56 c 1630s| 2640k| 1110k| 14077k| 5.3 | 713M| 66 | 8 | 198 | 9 | 198 | 17 | 18 | 77k| 25k| 0.000000e+00 | 2.700000e+01 | Inf
1634.38/1634.98 c 1635s| 2650k| 1113k| 14126k| 5.3 | 715M| 66 | - | 198 | 9 | 0 | 0 | 18 | 77k| 25k| 0.000000e+00 | 2.700000e+01 | Inf
1639.99/1640.57 c 1641s| 2660k| 1116k| 14176k| 5.3 | 717M| 66 | - | 198 | 9 | 198 | 17 | 18 | 77k| 26k| 0.000000e+00 | 2.700000e+01 | Inf
1645.49/1646.09 c 1646s| 2670k| 1118k| 14228k| 5.3 | 720M| 66 | 8 | 198 | 9 | 198 | 17 | 18 | 77k| 26k| 0.000000e+00 | 2.700000e+01 | Inf
1650.98/1651.51 c 1652s| 2680k| 1121k| 14277k| 5.3 | 722M| 66 | - | 198 | 9 | 198 | 17 | 18 | 78k| 26k| 0.000000e+00 | 2.700000e+01 | Inf
1656.48/1657.05 c 1657s| 2690k| 1123k| 14329k| 5.3 | 724M| 66 | 8 | 198 | 9 | 198 | 17 | 18 | 78k| 26k| 0.000000e+00 | 2.700000e+01 | Inf
1661.88/1662.42 c 1662s| 2700k| 1126k| 14378k| 5.3 | 726M| 66 | - | 198 | 9 | 198 | 17 | 18 | 78k| 26k| 0.000000e+00 | 2.700000e+01 | Inf
1667.28/1667.86 c 1668s| 2710k| 1128k| 14428k| 5.3 | 728M| 66 | - | 198 | 9 | 0 | 0 | 18 | 78k| 26k| 0.000000e+00 | 2.700000e+01 | Inf
1672.78/1673.30 c 1673s| 2720k| 1131k| 14477k| 5.3 | 730M| 66 | 8 | 198 | 10 | 198 | 17 | 18 | 79k| 26k| 0.000000e+00 | 2.700000e+01 | Inf
1678.28/1678.86 c 1679s| 2730k| 1135k| 14525k| 5.3 | 732M| 66 | 8 | 198 | 10 | 198 | 17 | 18 | 79k| 26k| 0.000000e+00 | 2.700000e+01 | Inf
1683.68/1684.26 c 1684s| 2740k| 1137k| 14573k| 5.3 | 734M| 66 | 8 | 198 | 10 | 198 | 17 | 18 | 79k| 26k| 0.000000e+00 | 2.700000e+01 | Inf
1687.67/1688.28 o 26
1687.67/1688.28 c *1688s| 2747k| 1134k| 14608k| 5.3 | 728M| 66 | - | 198 | 10 | 198 | 17 | 18 | 79k| 26k| 0.000000e+00 | 2.600000e+01 | Inf
1689.28/1689.86 c 1690s| 2750k| 1135k| 14621k| 5.3 | 728M| 66 | 8 | 198 | 10 | 198 | 17 | 18 | 79k| 26k| 0.000000e+00 | 2.600000e+01 | Inf
1695.27/1695.86 c 1696s| 2760k| 1139k| 14672k| 5.3 | 731M| 66 | - | 198 | 10 | 198 | 17 | 18 | 80k| 26k| 0.000000e+00 | 2.600000e+01 | Inf
1700.87/1701.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1700.87/1701.40 c 1701s| 2770k| 1142k| 14722k| 5.3 | 733M| 66 | 8 | 198 | 10 | 198 | 17 | 18 | 80k| 26k| 0.000000e+00 | 2.600000e+01 | Inf
1706.46/1707.01 c 1707s| 2780k| 1145k| 14771k| 5.3 | 736M| 66 | 8 | 198 | 10 | 198 | 17 | 18 | 80k| 26k| 0.000000e+00 | 2.600000e+01 | Inf
1711.97/1712.53 c 1713s| 2790k| 1147k| 14821k| 5.3 | 738M| 66 | 8 | 198 | 13 | 198 | 17 | 18 | 80k| 26k| 0.000000e+00 | 2.600000e+01 | Inf
1717.46/1718.08 c 1718s| 2800k| 1150k| 14870k| 5.3 | 740M| 66 | - | 198 | 12 | 198 | 17 | 18 | 81k| 26k| 0.000000e+00 | 2.600000e+01 | Inf
1722.86/1723.47 c 1723s| 2810k| 1153k| 14918k| 5.3 | 742M| 66 | - | 198 | 10 | 198 | 17 | 18 | 81k| 26k| 0.000000e+00 | 2.600000e+01 | Inf
1728.26/1728.88 c 1729s| 2820k| 1155k| 14966k| 5.3 | 744M| 66 | 8 | 198 | 9 | 198 | 17 | 18 | 81k| 26k| 0.000000e+00 | 2.600000e+01 | Inf
1733.66/1734.29 c 1734s| 2830k| 1158k| 15015k| 5.3 | 746M| 66 | 8 | 198 | 9 | 198 | 17 | 18 | 81k| 26k| 0.000000e+00 | 2.600000e+01 | Inf
1739.16/1739.77 c 1740s| 2840k| 1161k| 15065k| 5.3 | 748M| 66 | - | 198 | 10 | 198 | 17 | 18 | 82k| 27k| 0.000000e+00 | 2.600000e+01 | Inf
1744.45/1745.09 c 1745s| 2850k| 1163k| 15113k| 5.3 | 750M| 66 | 8 | 198 | 9 | 198 | 17 | 18 | 82k| 27k| 0.000000e+00 | 2.600000e+01 | Inf
1750.06/1750.69 c 1751s| 2860k| 1166k| 15164k| 5.3 | 753M| 66 | 8 | 198 | 9 | 198 | 17 | 18 | 82k| 27k| 0.000000e+00 | 2.600000e+01 | Inf
1755.65/1756.29 c 1756s| 2870k| 1169k| 15214k| 5.3 | 755M| 66 | - | 198 | 9 | 0 | 0 | 18 | 82k| 27k| 0.000000e+00 | 2.600000e+01 | Inf
1761.15/1761.74 c 1762s| 2880k| 1172k| 15262k| 5.3 | 757M| 66 | - | 198 | 9 | 198 | 17 | 18 | 83k| 27k| 0.000000e+00 | 2.600000e+01 | Inf
1766.55/1767.14 c 1767s| 2890k| 1174k| 15311k| 5.3 | 759M| 66 | - | 198 | 9 | 0 | 0 | 18 | 83k| 27k| 0.000000e+00 | 2.600000e+01 | Inf
1771.95/1772.56 c 1773s| 2900k| 1177k| 15359k| 5.3 | 761M| 66 | - | 198 | 9 | 198 | 17 | 18 | 83k| 27k| 0.000000e+00 | 2.600000e+01 | Inf
1777.35/1777.98 c 1778s| 2910k| 1180k| 15408k| 5.3 | 763M| 66 | 8 | 198 | 9 | 198 | 17 | 18 | 83k| 27k| 0.000000e+00 | 2.600000e+01 | Inf
1782.94/1783.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1782.94/1783.52 c 1784s| 2920k| 1182k| 15459k| 5.3 | 765M| 66 | - | 198 | 9 | 198 | 17 | 18 | 84k| 27k| 0.000000e+00 | 2.600000e+01 | Inf
1788.34/1788.98 c 1789s| 2930k| 1185k| 15509k| 5.3 | 768M| 66 | - | 198 | 9 | 0 | 0 | 18 | 84k| 27k| 0.000000e+00 | 2.600000e+01 | Inf
1789.44/1790.01 c
1789.44/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.44/1790.01 c Solving Time (sec) : 1790.00
1789.44/1790.01 c Solving Nodes : 2931843
1789.44/1790.01 c Primal Bound : +2.60000000000000e+01 (85 solutions)
1789.44/1790.01 c Dual Bound : +0.00000000000000e+00
1789.44/1790.01 c Gap : infinite
1789.44/1790.01 s SATISFIABLE
1789.44/1790.01 v x198 x197 x196 -x195 x194 -x193 x192 -x191 x190 x189 -x188 -x187 x186 x185 -x184 x183 x182 x181 x180 -x179 -x178 -x177 x176 x175
1789.44/1790.01 v -x174 -x173 x172 -x171 x170 -x169 x168 -x167 -x166 -x165 x164 x163 -x162 x161 x160 x159 -x158 x157 x156 -x155 -x154 x153 -x152
1789.44/1790.01 v -x151 x150 x149 -x148 -x147 -x146 x145 -x144 x143 -x142 -x141 x140 -x139 x138 -x137 x136 -x135 -x134 -x133 x132 -x131 x130
1789.44/1790.01 v x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109
1789.44/1790.01 v -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86
1789.44/1790.01 v -x85 -x84 x83 -x82 x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 x60
1789.44/1790.01 v x59 x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35
1789.44/1790.01 v -x34 x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9
1789.44/1790.01 v -x8 -x7 -x6 -x5 -x4 -x3 x2 x1
1789.44/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.44/1790.01 c Solving Time : 1790.00
1789.44/1790.01 c Original Problem :
1789.44/1790.01 c Problem name : HOME/instance-2703930-1278561917.opb
1789.44/1790.01 c Variables : 198 (198 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.44/1790.01 c Constraints : 16 initial, 16 maximal
1789.44/1790.01 c Presolved Problem :
1789.44/1790.01 c Problem name : t_HOME/instance-2703930-1278561917.opb
1789.44/1790.01 c Variables : 198 (198 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.44/1790.01 c Constraints : 8 initial, 46 maximal
1789.44/1790.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.44/1790.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1789.44/1790.01 c dualfix : 0.00 0 0 0 0 0 0 0 0
1789.44/1790.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.44/1790.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.44/1790.01 c implics : 0.00 0 0 0 0 0 0 0 0
1789.44/1790.01 c probing : 0.01 0 0 0 0 0 0 0 0
1789.44/1790.01 c linear : 0.00 0 0 0 0 0 8 0 0
1789.44/1790.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1789.44/1790.01 c root node : - 48 - - 48 - - - -
1789.44/1790.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.44/1790.01 c integral : 0 0 0 2115810 0 119 5394 0 0 4221106
1789.44/1790.01 c linear : 8+ 7 5528141 0 0 281700 1908896 0 0 0
1789.44/1790.01 c logicor : 0+ 0 170474 0 0 2490 31608 0 0 0
1789.44/1790.01 c countsols : 0 0 0 31 0 0 0 0 0 0
1789.44/1790.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.44/1790.01 c integral : 28.44 0.00 0.00 28.44 0.00
1789.44/1790.01 c linear : 451.14 0.00 451.14 0.00 0.00
1789.44/1790.01 c logicor : 0.48 0.00 0.48 0.00 0.00
1789.44/1790.01 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.44/1790.01 c Propagators : Time Calls Cutoffs DomReds
1789.44/1790.01 c vbounds : 2.03 2 0 0
1789.44/1790.01 c rootredcost : 2.08 46 0 48
1789.44/1790.01 c pseudoobj : 47.26 5532556 4579 518884
1789.44/1790.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.44/1790.01 c propagation : 23.49 286354 79410 101630 72.4 39 38.6 -
1789.44/1790.01 c infeasible LP : 1.17 15965 7859 10004 45.6 2 46.0 0
1789.44/1790.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.44/1790.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.44/1790.01 c pseudo solution : 0.00 119 119 119 2.1 0 0.0 -
1789.44/1790.01 c applied globally : - - - 500 22.6 - - -
1789.44/1790.01 c applied locally : - - - 83874 70.7 - - -
1789.44/1790.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.44/1790.01 c cut pool : 0.00 5 - - 1 - (maximal pool size: 60)
1789.44/1790.01 c redcost : 74.12 3045960 0 16628025 0 0
1789.44/1790.01 c impliedbounds : 0.00 6 0 0 0 0
1789.44/1790.01 c intobj : 0.00 0 0 0 0 0
1789.44/1790.01 c cgmip : 0.00 0 0 0 0 0
1789.44/1790.01 c gomory : 0.01 6 0 0 0 0
1789.44/1790.01 c strongcg : 0.01 6 0 0 20 0
1789.44/1790.01 c cmir : 0.03 6 0 0 19 0
1789.44/1790.01 c flowcover : 0.05 6 0 0 23 0
1789.44/1790.01 c clique : 0.00 1 0 0 0 0
1789.44/1790.01 c zerohalf : 0.00 0 0 0 0 0
1789.44/1790.01 c mcf : 0.00 1 0 0 0 0
1789.44/1790.01 c rapidlearning : 0.12 1 0 0 0 37
1789.44/1790.01 c Pricers : Time Calls Vars
1789.44/1790.01 c problem variables: 0.00 0 0
1789.44/1790.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.44/1790.01 c relpscost : 26.50 2115779 119 5394 0 0 4221106
1789.44/1790.01 c pscost : 0.00 0 0 0 0 0 0
1789.44/1790.01 c inference : 0.00 0 0 0 0 0 0
1789.44/1790.01 c mostinf : 0.00 0 0 0 0 0 0
1789.44/1790.01 c leastinf : 0.00 0 0 0 0 0 0
1789.44/1790.01 c fullstrong : 0.00 0 0 0 0 0 0
1789.44/1790.01 c allfullstrong : 0.00 0 0 0 0 0 0
1789.44/1790.01 c random : 0.00 0 0 0 0 0 0
1789.44/1790.01 c Primal Heuristics : Time Calls Found
1789.44/1790.01 c LP solutions : 0.61 - 31
1789.44/1790.01 c pseudo solutions : 0.00 - 0
1789.44/1790.01 c feaspump : 0.14 1 0
1789.44/1790.01 c oneopt : 1.17 45 0
1789.44/1790.01 c crossover : 13.85 8 1
1789.44/1790.01 c rootsoldiving : 7.40 997 39
1789.44/1790.01 c objpscostdiving : 8.28 3779 0
1789.44/1790.01 c veclendiving : 28.09 9641 3
1789.44/1790.01 c linesearchdiving : 33.71 9641 2
1789.44/1790.01 c guideddiving : 38.24 9641 5
1789.44/1790.01 c fracdiving : 49.61 9641 1
1789.44/1790.01 c pscostdiving : 49.97 9641 1
1789.44/1790.01 c coefdiving : 87.67 9642 1
1789.44/1790.01 c trivial : 0.00 2 0
1789.44/1790.01 c simplerounding : 1.18 0 0
1789.44/1790.01 c zirounding : 1.05 1000 0
1789.44/1790.01 c rounding : 2.84 21074 0
1789.44/1790.01 c shifting : 7.07 6597 0
1789.44/1790.01 c intshifting : 0.09 0 0
1789.44/1790.01 c twoopt : 0.00 0 0
1789.44/1790.01 c fixandinfer : 0.00 0 0
1789.44/1790.01 c intdiving : 0.00 0 0
1789.44/1790.01 c actconsdiving : 0.00 0 0
1789.44/1790.01 c octane : 0.00 0 0
1789.44/1790.01 c rens : 0.03 1 0
1789.44/1790.01 c rins : 0.00 0 0
1789.44/1790.01 c localbranching : 0.00 0 0
1789.44/1790.01 c mutation : 0.00 0 0
1789.44/1790.01 c dins : 0.00 0 0
1789.44/1790.01 c undercover : 0.00 0 0
1789.44/1790.01 c nlp : 0.83 0 0
1789.44/1790.01 c trysol : 1.62 0 0
1789.44/1790.01 c LP : Time Calls Iterations Iter/call Iter/sec
1789.44/1790.01 c primal LP : 0.00 0 0 0.00 -
1789.44/1790.01 c dual LP : 600.73 2794268 13020501 4.66 21674.48
1789.44/1790.01 c lex dual LP : 0.00 0 0 0.00 -
1789.44/1790.01 c barrier LP : 0.00 0 0 0.00 -
1789.44/1790.01 c diving/probing LP: 149.29 1274117 2497798 1.96 16730.80
1789.44/1790.01 c strong branching : 7.19 27509 94269 3.43 13106.20
1789.44/1790.01 c (at root node) : - 9 385 42.78 -
1789.44/1790.01 c conflict analysis: 0.00 0 0 0.00 -
1789.44/1790.01 c B&B Tree :
1789.44/1790.01 c number of runs : 1
1789.44/1790.01 c nodes : 2931843
1789.44/1790.01 c nodes (total) : 2931843
1789.44/1790.01 c nodes left : 1186050
1789.44/1790.01 c max depth : 66
1789.44/1790.01 c max depth (total): 66
1789.44/1790.01 c backtracks : 420177 (14.3%)
1789.44/1790.01 c delayed cutoffs : 11522
1789.44/1790.01 c repropagations : 23481 (86598 domain reductions, 11521 cutoffs)
1789.44/1790.01 c avg switch length: 5.75
1789.44/1790.01 c switching time : 108.26
1789.44/1790.01 c Solution :
1789.44/1790.01 c Solutions found : 85 (46 improvements)
1789.44/1790.01 c First Solution : +1.24200000000000e+03 (in run 1, after 1 nodes, 0.16 seconds, depth 0, found by <trysol>)
1789.44/1790.01 c Primal Bound : +2.60000000000000e+01 (in run 1, after 2747089 nodes, 1688.20 seconds, depth 48, found by <relaxation>)
1789.44/1790.01 c Dual Bound : +0.00000000000000e+00
1789.44/1790.01 c Gap : infinite
1789.44/1790.01 c Root Dual Bound : +0.00000000000000e+00
1789.44/1790.01 c Root Iterations : 187
1793.24/1793.83 c Time complete: 1793.28.
OK 26
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2703930-1278561917/watcher-2703930-1278561917 -o /tmp/evaluation-result-2703930-1278561917/solver-2703930-1278561917 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703930-1278561917.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/105 30467 /proc/meminfo: memFree=1793748/2059040 swapFree=4140272/4192956 [pid=30467] ppid=30465 vsize=8936 CPUtime=0 /proc/30467/stat : 30467 (pbscip.linux.x8) R 30465 30467 30257 0 -1 4202496 1296 0 0 0 0 0 0 0 25 0 1 0 24399663 9150464 1207 1992294400 4194304 8395647 140733463004496 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/30467/statm: 2234 1215 374 1026 0 1204 0 [startup+0.0505121 s] /proc/loadavg: 0.92 0.98 0.99 3/105 30467 /proc/meminfo: memFree=1793748/2059040 swapFree=4140272/4192956 [pid=30467] ppid=30465 vsize=14976 CPUtime=0.04 /proc/30467/stat : 30467 (pbscip.linux.x8) R 30465 30467 30257 0 -1 4202496 3243 0 0 0 4 0 0 0 25 0 1 0 24399663 15335424 2801 1992294400 4194304 8395647 140733463004496 18446744073709551615 6152569 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30467/statm: 3744 2801 577 1026 0 2714 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 14976 [startup+0.101519 s] /proc/loadavg: 0.92 0.98 0.99 3/105 30467 /proc/meminfo: memFree=1793748/2059040 swapFree=4140272/4192956 [pid=30467] ppid=30465 vsize=23108 CPUtime=0.09 /proc/30467/stat : 30467 (pbscip.linux.x8) R 30465 30467 30257 0 -1 4202496 4980 0 0 0 8 1 0 0 25 0 1 0 24399663 23662592 4538 1992294400 4194304 8395647 140733463004496 18446744073709551615 6019948 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30467/statm: 5777 4538 597 1026 0 4747 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 23108 [startup+0.301543 s] /proc/loadavg: 0.92 0.98 0.99 3/105 30467 /proc/meminfo: memFree=1793748/2059040 swapFree=4140272/4192956 [pid=30467] ppid=30465 vsize=24432 CPUtime=0.29 /proc/30467/stat : 30467 (pbscip.linux.x8) R 30465 30467 30257 0 -1 4202496 5692 0 0 0 27 2 0 0 25 0 1 0 24399663 25018368 5250 1992294400 4194304 8395647 140733463004496 18446744073709551615 5541201 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30467/statm: 6108 5250 619 1026 0 5078 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24432 [startup+0.700593 s] /proc/loadavg: 0.92 0.98 0.99 3/105 30467 /proc/meminfo: memFree=1793748/2059040 swapFree=4140272/4192956 [pid=30467] ppid=30465 vsize=24432 CPUtime=0.69 /proc/30467/stat : 30467 (pbscip.linux.x8) R 30465 30467 30257 0 -1 4202496 5694 0 0 0 65 4 0 0 25 0 1 0 24399663 25018368 5252 1992294400 4194304 8395647 140733463004496 18446744073709551615 6119562 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30467/statm: 6108 5252 621 1026 0 5078 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 24432 [startup+1.50069 s] /proc/loadavg: 0.92 0.98 0.99 2/106 30468 /proc/meminfo: memFree=1774644/2059040 swapFree=4140272/4192956 [pid=30467] ppid=30465 vsize=24432 CPUtime=1.49 /proc/30467/stat : 30467 (pbscip.linux.x8) R 30465 30467 30257 0 -1 4202496 5699 0 0 0 142 7 0 0 25 0 1 0 24399663 25018368 5257 1992294400 4194304 8395647 140733463004496 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30467/statm: 6108 5257 622 1026 0 5078 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 24432 [startup+3.10089 s] /proc/loadavg: 0.92 0.98 0.99 2/106 30468 /proc/meminfo: memFree=1773900/2059040 swapFree=4140272/4192956 [pid=30467] ppid=30465 vsize=24964 CPUtime=3.09 /proc/30467/stat : 30467 (pbscip.linux.x8) R 30465 30467 30257 0 -1 4202496 5842 0 0 0 293 16 0 0 25 0 1 0 24399663 25563136 5400 1992294400 4194304 8395647 140733463004496 18446744073709551615 4645000 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30467/statm: 6241 5400 623 1026 0 5211 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 24964 [startup+6.30128 s] /proc/loadavg: 0.93 0.98 0.99 2/106 30468 /proc/meminfo: memFree=1773900/2059040 swapFree=4140272/4192956 [pid=30467] ppid=30465 vsize=24964 CPUtime=6.29 /proc/30467/stat : 30467 (pbscip.linux.x8) R 30465 30467 30257 0 -1 4202496 5857 0 0 0 601 28 0 0 25 0 1 0 24399663 25563136 5415 1992294400 4194304 8395647 140733463004496 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30467/statm: 6241 5415 623 1026 0 5211 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 24964 [startup+12.7011 s] /proc/loadavg: 0.93 0.98 0.99 2/106 30468 /proc/meminfo: memFree=1773280/2059040 swapFree=4140272/4192956 [pid=30467] ppid=30465 vsize=25460 CPUtime=12.68 /proc/30467/stat : 30467 (pbscip.linux.x8) R 30465 30467 30257 0 -1 4202496 6010 0 0 0 1216 52 0 0 25 0 1 0 24399663 26071040 5568 1992294400 4194304 8395647 140733463004496 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30467/statm: 6365 5568 623 1026 0 5335 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 25460 [startup+25.5016 s] /proc/loadavg: 0.95 0.98 0.99 2/106 30468 /proc/meminfo: memFree=1767088/2059040 swapFree=4140272/4192956 [pid=30467] ppid=30465 vsize=31908 CPUtime=25.48 /proc/30467/stat : 30467 (pbscip.linux.x8) R 30465 30467 30257 0 -1 4202496 16375 0 0 0 2444 104 0 0 25 0 1 0 24399663 32673792 7257 1992294400 4194304 8395647 140733463004496 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30467/statm: 7977 7257 624 1026 0 6947 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 31908 [startup+51.1018 s] /proc/loadavg: 0.96 0.98 0.99 2/106 30468 /proc/meminfo: memFree=1747248/2059040 swapFree=4140272/4192956 [pid=30467] ppid=30465 vsize=51168 CPUtime=51.08 /proc/30467/stat : 30467 (pbscip.linux.x8) R 30465 30467 30257 0 -1 4202496 35120 0 0 0 4898 210 0 0 25 0 1 0 24399663 52396032 12207 1992294400 4194304 8395647 140733463004496 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30467/statm: 12792 12207 624 1026 0 11762 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 51168 [startup+102.309 s] /proc/loadavg: 0.98 0.98 0.99 2/106 30470 /proc/meminfo: memFree=1710792/2059040 swapFree=4140272/4192956 [pid=30467] ppid=30465 vsize=88240 CPUtime=102.27 /proc/30467/stat : 30467 (pbscip.linux.x8) R 30465 30467 30257 0 -1 4202496 69831 0 0 0 9821 406 0 0 25 0 1 0 24399663 90357760 21227 1992294400 4194304 8395647 140733463004496 18446744073709551615 18446744073699066034 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30467/statm: 22060 21227 624 1026 0 21030 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 88240 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/106 30472 /proc/meminfo: memFree=1671112/2059040 swapFree=4140272/4192956 [pid=30467] ppid=30465 vsize=127032 CPUtime=162.25 /proc/30467/stat : 30467 (pbscip.linux.x8) R 30465 30467 30257 0 -1 4202496 94063 0 0 0 15568 657 0 0 25 0 1 0 24399663 130080768 31102 1992294400 4194304 8395647 140733463004496 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30467/statm: 31758 31102 624 1026 0 30728 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 127032 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/106 30474 /proc/meminfo: memFree=1635524/2059040 swapFree=4140272/4192956 [pid=30467] ppid=30465 vsize=165592 CPUtime=222.23 /proc/30467/stat : 30467 (pbscip.linux.x8) R 30465 30467 30257 0 -1 4202496 113156 0 0 0 21335 888 0 0 25 0 1 0 24399663 169566208 39898 1992294400 4194304 8395647 140733463004496 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30467/statm: 41398 39898 624 1026 0 40368 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 165592 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/106 30476 /proc/meminfo: memFree=1611592/2059040 swapFree=4140272/4192956 [pid=30467] ppid=30465 vsize=190964 CPUtime=282.21 /proc/30467/stat : 30467 (pbscip.linux.x8) R 30465 30467 30257 0 -1 4202496 123825 0 0 0 27075 1146 0 0 25 0 1 0 24399663 195547136 46430 1992294400 4194304 8395647 140733463004496 18446744073709551615 5614700 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30467/statm: 47741 46430 624 1026 0 46711 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 190964 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/106 30476 /proc/meminfo: memFree=1569184/2059040 swapFree=4140272/4192956 [pid=30467] ppid=30465 vsize=230708 CPUtime=342.19 /proc/30467/stat : 30467 (pbscip.linux.x8) R 30465 30467 30257 0 -1 4202496 134827 0 0 0 32851 1368 0 0 25 0 1 0 24399663 236244992 56568 1992294400 4194304 8395647 140733463004496 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30467/statm: 57677 56568 624 1026 0 56647 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 230708 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/106 30478 /proc/meminfo: memFree=1555544/2059040 swapFree=4140272/4192956 [pid=30467] ppid=30465 vsize=243528 CPUtime=402.17 /proc/30467/stat : 30467 (pbscip.linux.x8) R 30465 30467 30257 0 -1 4202496 155941 0 0 0 38625 1592 0 0 25 0 1 0 24399663 249372672 59861 1992294400 4194304 8395647 140733463004496 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30467/statm: 60882 59861 624 1026 0 59852 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 243528 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/106 30480 /proc/meminfo: memFree=1532976/2059040 swapFree=4140272/4192956 [pid=30467] ppid=30465 vsize=265084 CPUtime=462.15 /proc/30467/stat : 30467 (pbscip.linux.x8) R 30465 30467 30257 0 -1 4202496 166609 0 0 0 44408 1807 0 0 25 0 1 0 24399663 271446016 65422 1992294400 4194304 8395647 140733463004496 18446744073709551615 4227985 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30467/statm: 66271 65422 624 1026 0 65241 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 265084 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/106 30482 /proc/meminfo: memFree=1503340/2059040 swapFree=4140272/4192956 [pid=30467] ppid=30465 vsize=295104 CPUtime=522.13 /proc/30467/stat : 30467 (pbscip.linux.x8) R 30465 30467 30257 0 -1 4202496 175996 0 0 0 50189 2024 0 0 25 0 1 0 24399663 302186496 73095 1992294400 4194304 8395647 140733463004496 18446744073709551615 4706433 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30467/statm: 73776 73095 624 1026 0 72746 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 295104 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/106 30484 /proc/meminfo: memFree=1472340/2059040 swapFree=4140272/4192956 [pid=30467] ppid=30465 vsize=332556 CPUtime=582.11 /proc/30467/stat : 30467 (pbscip.linux.x8) R 30465 30467 30257 0 -1 4202496 184353 0 0 0 55973 2238 0 0 25 0 1 0 24399663 340537344 80593 1992294400 4194304 8395647 140733463004496 18446744073709551615 5026819 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30467/statm: 83139 80593 624 1026 0 82109 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 332556 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/106 30484 /proc/meminfo: memFree=1437620/2059040 swapFree=4140272/4192956 [pid=30467] ppid=30465 vsize=365984 CPUtime=642.1 /proc/30467/stat : 30467 (pbscip.linux.x8) R 30465 30467 30257 0 -1 4202496 192886 0 0 0 61747 2463 0 0 25 0 1 0 24399663 374767616 89126 1992294400 4194304 8395647 140733463004496 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30467/statm: 91496 89126 624 1026 0 90466 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 365984 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1247032/2059040 swapFree=4140272/4192956 [pid=30467] ppid=30465 vsize=550748 CPUtime=1121.95 /proc/30467/stat : 30467 (pbscip.linux.x8) R 30465 30467 30257 0 -1 4202496 259802 0 0 0 107943 4252 0 0 25 0 1 0 24399663 563965952 136433 1992294400 4194304 8395647 140733463004496 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30467/statm: 137687 136433 624 1026 0 136657 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 550748 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30503 /proc/meminfo: memFree=1224464/2059040 swapFree=4140272/4192956 [pid=30467] ppid=30465 vsize=572676 CPUtime=1181.93 /proc/30467/stat : 30467 (pbscip.linux.x8) R 30465 30467 30257 0 -1 4202496 265423 0 0 0 113730 4463 0 0 25 0 1 0 24399663 586420224 142054 1992294400 4194304 8395647 140733463004496 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30467/statm: 143169 142054 624 1026 0 142139 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 572676 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30503 /proc/meminfo: memFree=1202392/2059040 swapFree=4140272/4192956 [pid=30467] ppid=30465 vsize=593920 CPUtime=1241.91 /proc/30467/stat : 30467 (pbscip.linux.x8) R 30465 30467 30257 0 -1 4202496 277705 0 0 0 119504 4687 0 0 25 0 1 0 24399663 608174080 147482 1992294400 4194304 8395647 140733463004496 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30467/statm: 148480 147482 624 1026 0 147450 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 593920 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30505 /proc/meminfo: memFree=1175732/2059040 swapFree=4140272/4192956 [pid=30467] ppid=30465 vsize=619716 CPUtime=1301.89 /proc/30467/stat : 30467 (pbscip.linux.x8) R 30465 30467 30257 0 -1 4202496 285195 0 0 0 125286 4903 0 0 25 0 1 0 24399663 634589184 154114 1992294400 4194304 8395647 140733463004496 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30467/statm: 154929 154114 624 1026 0 153899 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 619716 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30507 /proc/meminfo: memFree=1149072/2059040 swapFree=4140272/4192956 [pid=30467] ppid=30465 vsize=645800 CPUtime=1361.87 /proc/30467/stat : 30467 (pbscip.linux.x8) R 30465 30467 30257 0 -1 4202496 292693 0 0 0 131070 5117 0 0 25 0 1 0 24399663 661299200 160755 1992294400 4194304 8395647 140733463004496 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30467/statm: 161450 160755 624 1026 0 160420 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 645800 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30509 /proc/meminfo: memFree=1123776/2059040 swapFree=4140272/4192956 [pid=30467] ppid=30465 vsize=686640 CPUtime=1421.86 /proc/30467/stat : 30467 (pbscip.linux.x8) R 30465 30467 30257 0 -1 4202496 298980 0 0 0 136846 5340 0 0 25 0 1 0 24399663 703119360 167042 1992294400 4194304 8395647 140733463004496 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30467/statm: 171660 167042 624 1026 0 170630 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 686640 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30511 /proc/meminfo: memFree=1099100/2059040 swapFree=4140272/4192956 [pid=30467] ppid=30465 vsize=710848 CPUtime=1481.83 /proc/30467/stat : 30467 (pbscip.linux.x8) R 30465 30467 30257 0 -1 4202496 305148 0 0 0 142622 5561 0 0 25 0 1 0 24399663 727908352 173210 1992294400 4194304 8395647 140733463004496 18446744073709551615 4326043 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30467/statm: 177712 173210 624 1026 0 176682 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 710848 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30511 /proc/meminfo: memFree=1071324/2059040 swapFree=4140272/4192956 [pid=30467] ppid=30465 vsize=737840 CPUtime=1541.82 /proc/30467/stat : 30467 (pbscip.linux.x8) R 30465 30467 30257 0 -1 4202496 312023 0 0 0 148406 5776 0 0 25 0 1 0 24399663 755548160 180085 1992294400 4194304 8395647 140733463004496 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30467/statm: 184460 180085 624 1026 0 183430 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 737840 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30513 /proc/meminfo: memFree=1049748/2059040 swapFree=4140272/4192956 [pid=30467] ppid=30465 vsize=759208 CPUtime=1601.8 /proc/30467/stat : 30467 (pbscip.linux.x8) R 30465 30467 30257 0 -1 4202496 317484 0 0 0 154178 6002 0 0 25 0 1 0 24399663 777428992 185546 1992294400 4194304 8395647 140733463004496 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30467/statm: 189802 185546 624 1026 0 188772 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 759208 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30515 /proc/meminfo: memFree=1024576/2059040 swapFree=4140272/4192956 [pid=30467] ppid=30465 vsize=783320 CPUtime=1661.78 /proc/30467/stat : 30467 (pbscip.linux.x8) R 30465 30467 30257 0 -1 4202496 323661 0 0 0 159963 6215 0 0 25 0 1 0 24399663 802119680 191723 1992294400 4194304 8395647 140733463004496 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30467/statm: 195830 191723 624 1026 0 194800 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 783320 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30517 /proc/meminfo: memFree=1005232/2059040 swapFree=4140272/4192956 [pid=30467] ppid=30465 vsize=803432 CPUtime=1721.76 /proc/30467/stat : 30467 (pbscip.linux.x8) R 30465 30467 30257 0 -1 4202496 336476 0 0 0 165742 6434 0 0 25 0 1 0 24399663 822714368 196820 1992294400 4194304 8395647 140733463004496 18446744073709551615 6262410 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30467/statm: 200858 196820 624 1026 0 199828 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 803432 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30519 /proc/meminfo: memFree=984276/2059040 swapFree=4140272/4192956 [pid=30467] ppid=30465 vsize=822832 CPUtime=1781.75 /proc/30467/stat : 30467 (pbscip.linux.x8) R 30465 30467 30257 0 -1 4202496 342300 0 0 0 171524 6651 0 0 25 0 1 0 24399663 842579968 201786 1992294400 4194304 8395647 140733463004496 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30467/statm: 205708 201786 624 1026 0 204678 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 822832 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30519 /proc/meminfo: memFree=981672/2059040 swapFree=4140272/4192956 [pid=30467] ppid=30465 vsize=824816 CPUtime=1784.95 /proc/30467/stat : 30467 (pbscip.linux.x8) R 30465 30467 30257 0 -1 4202496 342806 0 0 0 171832 6663 0 0 25 0 1 0 24399663 844611584 202292 1992294400 4194304 8395647 140733463004496 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30467/statm: 206204 202292 624 1026 0 205174 0 Current children cumulated CPU time (s) 1784.95 Current children cumulated vsize (KiB) 824816 [startup+1788.7 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30519 /proc/meminfo: memFree=981672/2059040 swapFree=4140272/4192956 [pid=30467] ppid=30465 vsize=824816 CPUtime=1788.14 /proc/30467/stat : 30467 (pbscip.linux.x8) R 30465 30467 30257 0 -1 4202496 342811 0 0 0 172141 6673 0 0 25 0 1 0 24399663 844611584 202297 1992294400 4194304 8395647 140733463004496 18446744073709551615 5028186 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30467/statm: 206204 202297 624 1026 0 205174 0 Current children cumulated CPU time (s) 1788.14 Current children cumulated vsize (KiB) 824816 [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30519 /proc/meminfo: memFree=980556/2059040 swapFree=4140272/4192956 [pid=30467] ppid=30465 vsize=825840 CPUtime=1791.35 /proc/30467/stat : 30467 (pbscip.linux.x8) R 30465 30467 30257 0 -1 4202496 343069 0 0 0 172457 6678 0 0 20 0 1 0 24399663 845660160 202555 1992294400 4194304 8395647 140733463004496 18446744073709551615 6345233 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/30467/statm: 206460 202555 626 1026 0 205430 0 Current children cumulated CPU time (s) 1791.35 Current children cumulated vsize (KiB) 825840 [startup+1792.7 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30519 /proc/meminfo: memFree=980556/2059040 swapFree=4140272/4192956 [pid=30467] ppid=30465 vsize=825840 CPUtime=1792.14 /proc/30467/stat : 30467 (pbscip.linux.x8) R 30465 30467 30257 0 -1 4202496 343069 0 0 0 172536 6678 0 0 23 0 1 0 24399663 845660160 202555 1992294400 4194304 8395647 140733463004496 18446744073709551615 6345370 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/30467/statm: 206460 202555 626 1026 0 205430 0 Current children cumulated CPU time (s) 1792.14 Current children cumulated vsize (KiB) 825840 [startup+1793.5 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30519 /proc/meminfo: memFree=980556/2059040 swapFree=4140272/4192956 [pid=30467] ppid=30465 vsize=825840 CPUtime=1792.94 /proc/30467/stat : 30467 (pbscip.linux.x8) R 30465 30467 30257 0 -1 4202496 343069 0 0 0 172616 6678 0 0 25 0 1 0 24399663 845660160 202555 1992294400 4194304 8395647 140733463004496 18446744073709551615 6310374 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/30467/statm: 206460 202555 626 1026 0 205430 0 Current children cumulated CPU time (s) 1792.94 Current children cumulated vsize (KiB) 825840 [startup+1793.7 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30519 /proc/meminfo: memFree=980556/2059040 swapFree=4140272/4192956 [pid=30467] ppid=30465 vsize=825840 CPUtime=1793.14 /proc/30467/stat : 30467 (pbscip.linux.x8) R 30465 30467 30257 0 -1 4202496 343069 0 0 0 172636 6678 0 0 25 0 1 0 24399663 845660160 202555 1992294400 4194304 8395647 140733463004496 18446744073709551615 4723516 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/30467/statm: 206460 202555 626 1026 0 205430 0 Current children cumulated CPU time (s) 1793.14 Current children cumulated vsize (KiB) 825840 [startup+1793.8 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30519 /proc/meminfo: memFree=980556/2059040 swapFree=4140272/4192956 [pid=30467] ppid=30465 vsize=692184 CPUtime=1793.24 /proc/30467/stat : 30467 (pbscip.linux.x8) R 30465 30467 30257 0 -1 4202496 343069 0 0 0 172642 6682 0 0 25 0 1 0 24399663 708796416 95381 1992294400 4194304 8395647 140733463004496 18446744073709551615 7602442 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/30467/statm: 173046 95381 626 1026 0 172016 0 Current children cumulated CPU time (s) 1793.24 Current children cumulated vsize (KiB) 692184 Child status: 0 Real time (s): 1793.84 CPU time (s): 1793.29 CPU user time (s): 1726.42 CPU system time (s): 66.8618 CPU usage (%): 99.9693 Max. virtual memory (cumulated for all children) (KiB): 825840 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1726.42 system time used= 66.8618 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 343072 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= 2326 runsolver used 3.03254 second user time and 8.41272 second system time The end
Begin job on node080 at 2010-07-08 06:05:18 IDJOB=2703930 IDBENCH=2904 IDSOLVER=1213 FILE ID=node080/2703930-1278561917 PBS_JOBID= 11239561 Free space on /tmp= 62548 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_4.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2703930-1278561917/watcher-2703930-1278561917 -o /tmp/evaluation-result-2703930-1278561917/solver-2703930-1278561917 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703930-1278561917.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 87341d3e4752b9f90faef0f8d9385430 RANDOM SEED=426879236 node080.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.255 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.51 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.255 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.50 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1794152 kB Buffers: 16312 kB Cached: 147756 kB SwapCached: 11268 kB Active: 91096 kB Inactive: 91288 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1794152 kB SwapTotal: 4192956 kB SwapFree: 4140272 kB Dirty: 10376 kB Writeback: 0 kB AnonPages: 11432 kB Mapped: 12000 kB Slab: 60568 kB PageTables: 4044 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180864 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= 62540 MiB End job on node080 at 2010-07-08 06:35:12