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 | 10 | 1791.09 | 1791.69 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_7_60_3.opb |
| MD5SUM | 474916db0f2f0be5831d97827cee8e55 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 10 |
| Best CPU time to get the best result obtained on this benchmark | 1791.09 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 16 |
| Optimality of the best value was proved | NO |
| Number of variables | 172 |
| Total number of constraints | 14 |
| 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 | 14 |
| Minimum length of a constraint | 75 |
| Maximum length of a constraint | 76 |
| Number of terms in the objective function | 112 |
| 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 | 3570 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1901 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 6214 |
| 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-2703936-1278562944.opb>
0.00/0.01 c original problem has 172 variables (172 bin, 0 int, 0 impl, 0 cont) and 14 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, 7 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.01/0.03 c (0.0s) probing: 101/172 (58.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.01/0.03 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.01/0.03 c presolving (2 rounds):
0.01/0.03 c 0 deleted vars, 7 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.01/0.03 c 0 implications, 0 cliques
0.01/0.03 c presolved problem has 172 variables (172 bin, 0 int, 0 impl, 0 cont) and 7 constraints
0.01/0.03 c 7 constraints of type <linear>
0.01/0.03 c transformed objective value is always integral (scale: 1)
0.01/0.03 c Presolving Time: 0.01
0.01/0.03 c - non default parameters ----------------------------------------------------------------------
0.01/0.03 c # SCIP version 1.2.1.3
0.01/0.03 c
0.01/0.03 c # frequency for displaying node information lines
0.01/0.03 c # [type: int, range: [-1,2147483647], default: 100]
0.01/0.03 c display/freq = 10000
0.01/0.03 c
0.01/0.03 c # maximal time in seconds to run
0.01/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.03 c limits/time = 1790
0.01/0.03 c
0.01/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.01/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.03 c limits/memory = 1620
0.01/0.03 c
0.01/0.03 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.01/0.03 c # [type: int, range: [1,2], default: 1]
0.01/0.03 c timing/clocktype = 2
0.01/0.03 c
0.01/0.03 c # should presolving try to simplify inequalities
0.01/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.03 c constraints/linear/simplifyinequalities = TRUE
0.01/0.03 c
0.01/0.03 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.01/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.03 c constraints/indicator/addCouplingCons = TRUE
0.01/0.03 c
0.01/0.03 c # should presolving try to simplify knapsacks
0.01/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.03 c constraints/knapsack/simplifyinequalities = TRUE
0.01/0.03 c
0.01/0.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.01/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.03 c separating/rapidlearning/freq = 0
0.01/0.03 c
0.01/0.03 c -----------------------------------------------------------------------------------------------
0.01/0.03 c start solving
0.01/0.03 c
0.01/0.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.01/0.03 c 0.0s| 1 | 0 | 41 | - | 565k| 0 | 7 | 172 | 7 | 172 | 7 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.14 o 1126
0.09/0.14 c y 0.1s| 1 | 0 | 70 | - | 627k| 0 | 7 | 172 | 7 | 172 | 7 | 0 | 0 | 0 | 0.000000e+00 | 1.126000e+03 | Inf
0.09/0.15 c 0.1s| 1 | 0 | 80 | - | 733k| 0 | 13 | 172 | 59 | 172 | 16 | 9 | 0 | 0 | 0.000000e+00 | 1.126000e+03 | Inf
0.09/0.16 c 0.2s| 1 | 0 | 87 | - | 790k| 0 | 17 | 172 | 59 | 172 | 21 | 14 | 0 | 0 | 0.000000e+00 | 1.126000e+03 | Inf
0.09/0.18 c 0.2s| 1 | 0 | 89 | - | 798k| 0 | 18 | 172 | 59 | 172 | 22 | 15 | 0 | 0 | 0.000000e+00 | 1.126000e+03 | Inf
0.19/0.20 c 0.2s| 1 | 0 | 97 | - | 812k| 0 | 20 | 172 | 59 | 172 | 24 | 17 | 0 | 0 | 0.000000e+00 | 1.126000e+03 | Inf
0.19/0.23 c 0.2s| 1 | 0 | 99 | - | 822k| 0 | 22 | 172 | 59 | 172 | 26 | 19 | 0 | 0 | 0.000000e+00 | 1.126000e+03 | Inf
0.19/0.25 c 0.2s| 1 | 0 | 102 | - | 827k| 0 | 23 | 172 | 59 | 172 | 27 | 20 | 0 | 0 | 0.000000e+00 | 1.126000e+03 | Inf
0.29/0.36 c 0.3s| 1 | 2 | 102 | - | 827k| 0 | 23 | 172 | 59 | 172 | 27 | 20 | 0 | 9 | 0.000000e+00 | 1.126000e+03 | Inf
0.49/0.52 o 736
0.49/0.52 c p 0.5s| 38 | 39 | 421 | 8.6 | 935k| 23 | - | 172 | 59 | 172 | 23 | 20 | 3 | 193 | 0.000000e+00 | 7.360000e+02 | Inf
0.49/0.56 o 534
0.49/0.56 c f 0.5s| 52 | 53 | 562 | 9.0 | 952k| 23 | - | 172 | 59 | 172 | 23 | 20 | 4 | 226 | 0.000000e+00 | 5.340000e+02 | Inf
0.89/0.99 o 414
0.89/0.99 c f 1.0s| 487 | 486 | 2886 | 5.7 |1139k| 56 | - | 172 | 67 | 172 | 23 | 20 | 20 | 509 | 0.000000e+00 | 4.140000e+02 | Inf
1.10/1.13 o 330
1.10/1.13 c f 1.1s| 668 | 660 | 3712 | 5.4 |1218k| 56 | - | 172 | 67 | 172 | 23 | 20 | 22 | 524 | 0.000000e+00 | 3.300000e+02 | Inf
1.59/1.64 o 263
1.59/1.64 c g 1.6s| 1318 | 1309 | 7478 | 5.6 |1492k| 56 | - | 172 | 71 | 172 | 23 | 20 | 44 | 541 | 0.000000e+00 | 2.630000e+02 | Inf
1.99/2.01 o 185
1.99/2.01 c g 2.0s| 1848 | 1820 | 10141 | 5.4 |1702k| 56 | - | 172 | 73 | 172 | 23 | 20 | 61 | 543 | 0.000000e+00 | 1.850000e+02 | Inf
4.49/4.59 o 184
4.49/4.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
4.49/4.59 c p 4.6s| 4772 | 4740 | 30498 | 6.4 |3030k| 56 | - | 172 | 78 | 172 | 23 | 20 | 212 | 603 | 0.000000e+00 | 1.840000e+02 | Inf
6.50/6.57 o 143
6.50/6.57 c g 6.6s| 6995 | 6910 | 45979 | 6.6 |3982k| 56 | - | 172 | 25 | 172 | 23 | 20 | 309 | 658 | 0.000000e+00 | 1.430000e+02 | Inf
6.60/6.68 o 128
6.60/6.68 c f 6.7s| 7137 | 7010 | 46792 | 6.5 |4022k| 56 | - | 172 | 25 | 172 | 23 | 20 | 313 | 660 | 0.000000e+00 | 1.280000e+02 | Inf
9.29/9.35 c 9.3s| 10000 | 9838 | 67738 | 6.8 |5133k| 56 | 7 | 172 | 25 | 172 | 23 | 20 | 468 | 779 | 0.000000e+00 | 1.280000e+02 | Inf
9.90/10.00 o 103
9.90/10.00 c f10.0s| 10659 | 10399 | 72392 | 6.8 |5368k| 56 | - | 172 | 25 | 172 | 23 | 20 | 517 | 810 | 0.000000e+00 | 1.030000e+02 | Inf
16.50/16.52 o 101
16.50/16.52 c v16.5s| 19675 | 18987 |121082 | 6.1 |9134k| 56 | - | 172 | 29 | 172 | 23 | 20 | 807 |1256 | 0.000000e+00 | 1.010000e+02 | Inf
16.50/16.52 o 99
16.50/16.52 c p16.5s| 19675 | 18965 |121082 | 6.1 |9121k| 56 | - | 172 | 29 | 172 | 23 | 20 | 810 |1256 | 0.000000e+00 | 9.900000e+01 | Inf
16.79/16.80 c 16.8s| 20000 | 19254 |123194 | 6.2 |9261k| 56 | 7 | 172 | 30 | 172 | 23 | 20 | 828 |1276 | 0.000000e+00 | 9.900000e+01 | Inf
17.39/17.48 o 98
17.39/17.48 c p17.5s| 20778 | 19959 |128711 | 6.2 |9600k| 56 | - | 172 | 33 | 172 | 23 | 20 | 864 |1332 | 0.000000e+00 | 9.800000e+01 | Inf
18.29/18.33 o 96
18.29/18.33 c *18.3s| 21562 | 20628 |135004 | 6.3 |9894k| 56 | - | 172 | 35 | 172 | 23 | 20 | 919 |1366 | 0.000000e+00 | 9.600000e+01 | Inf
19.39/19.40 o 95
19.39/19.40 c *19.4s| 22860 | 21800 |142961 | 6.2 | 10M| 56 | - | 172 | 35 | 172 | 23 | 20 | 977 |1420 | 0.000000e+00 | 9.500000e+01 | Inf
19.39/19.40 o 93
19.39/19.40 c *19.4s| 22861 | 21769 |142961 | 6.2 | 10M| 56 | - | 172 | 35 | 172 | 23 | 20 | 977 |1420 | 0.000000e+00 | 9.300000e+01 | Inf
19.39/19.41 o 92
19.39/19.41 c *19.4s| 22867 | 21752 |142996 | 6.2 | 10M| 56 | - | 172 | 35 | 172 | 23 | 20 | 977 |1432 | 0.000000e+00 | 9.200000e+01 | Inf
19.39/19.41 o 90
19.39/19.41 c *19.4s| 22869 | 21715 |142996 | 6.2 | 10M| 56 | - | 172 | 35 | 172 | 23 | 20 | 977 |1436 | 0.000000e+00 | 9.000000e+01 | Inf
19.39/19.42 o 88
19.39/19.42 c *19.4s| 22870 | 21681 |142996 | 6.2 | 10M| 56 | - | 172 | 35 | 172 | 23 | 20 | 977 |1436 | 0.000000e+00 | 8.800000e+01 | Inf
21.09/21.18 o 87
21.09/21.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
21.09/21.18 c *21.2s| 25250 | 23720 |156201 | 6.2 | 11M| 56 | - | 172 | 35 | 172 | 23 | 20 |1066 |1587 | 0.000000e+00 | 8.700000e+01 | Inf
26.69/26.76 c 26.7s| 30000 | 27787 |183418 | 6.1 | 13M| 56 | 7 | 172 | 35 | 172 | 23 | 20 |1266 |1830 | 0.000000e+00 | 8.700000e+01 | Inf
27.29/27.38 o 86
27.29/27.38 c v27.4s| 30845 | 28435 |188203 | 6.1 | 13M| 56 | - | 172 | 34 | 172 | 23 | 20 |1310 |1881 | 0.000000e+00 | 8.600000e+01 | Inf
28.08/28.17 o 84
28.08/28.17 c v28.2s| 31692 | 29093 |194549 | 6.1 | 14M| 56 | - | 172 | 39 | 172 | 23 | 20 |1385 |1928 | 0.000000e+00 | 8.400000e+01 | Inf
30.38/30.47 o 82
30.38/30.47 c f30.5s| 34639 | 31501 |212496 | 6.1 | 15M| 56 | - | 172 | 36 | 172 | 23 | 20 |1547 |2074 | 0.000000e+00 | 8.200000e+01 | Inf
34.68/34.71 c 34.7s| 40000 | 35870 |244242 | 6.1 | 18M| 56 | 7 | 172 | 29 | 172 | 23 | 20 |1826 |2311 | 0.000000e+00 | 8.200000e+01 | Inf
35.38/35.46 o 81
35.38/35.46 c *35.4s| 40958 | 36635 |250008 | 6.1 | 18M| 56 | - | 172 | 29 | 172 | 23 | 20 |1865 |2352 | 0.000000e+00 | 8.100000e+01 | Inf
36.58/36.68 o 79
36.58/36.68 c *36.7s| 42644 | 37873 |259119 | 6.1 | 19M| 56 | - | 172 | 25 | 172 | 23 | 20 |1924 |2407 | 0.000000e+00 | 7.900000e+01 | Inf
40.78/40.84 o 77
40.78/40.84 c l40.8s| 48123 | 42082 |290580 | 6.0 | 21M| 56 | - | 172 | 24 | 172 | 23 | 20 |2206 |2627 | 0.000000e+00 | 7.700000e+01 | Inf
41.58/41.65 o 76
41.58/41.65 c l41.6s| 49013 | 42724 |296906 | 6.1 | 22M| 56 | - | 172 | 24 | 172 | 23 | 20 |2267 |2676 | 0.000000e+00 | 7.600000e+01 | Inf
42.48/42.59 c 42.6s| 50000 | 43486 |304032 | 6.1 | 22M| 56 | 7 | 172 | 24 | 172 | 23 | 20 |2337 |2711 | 0.000000e+00 | 7.600000e+01 | Inf
44.48/44.56 o 74
44.48/44.56 c *44.5s| 52319 | 45027 |318794 | 6.1 | 23M| 56 | - | 172 | 24 | 172 | 23 | 20 |2511 |2811 | 0.000000e+00 | 7.400000e+01 | Inf
44.98/45.06 o 73
44.98/45.06 c *45.0s| 52951 | 45364 |322337 | 6.1 | 23M| 56 | - | 172 | 24 | 172 | 23 | 20 |2560 |2851 | 0.000000e+00 | 7.300000e+01 | Inf
44.98/45.06 o 71
44.98/45.06 c *45.1s| 52955 | 45084 |322343 | 6.1 | 23M| 56 | - | 172 | 24 | 172 | 23 | 20 |2560 |2867 | 0.000000e+00 | 7.100000e+01 | Inf
44.98/45.07 o 69
44.98/45.07 c *45.1s| 52961 | 44801 |322366 | 6.1 | 23M| 56 | - | 172 | 24 | 172 | 23 | 20 |2561 |2876 | 0.000000e+00 | 6.900000e+01 | Inf
44.98/45.08 o 67
44.98/45.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
44.98/45.08 c *45.1s| 52962 | 44455 |322366 | 6.1 | 22M| 56 | - | 172 | 24 | 172 | 23 | 20 |2561 |2876 | 0.000000e+00 | 6.700000e+01 | Inf
44.98/45.08 o 65
44.98/45.08 c *45.1s| 52969 | 44144 |322381 | 6.1 | 22M| 56 | - | 172 | 24 | 172 | 23 | 20 |2562 |2876 | 0.000000e+00 | 6.500000e+01 | Inf
46.09/46.10 o 64
46.09/46.10 c *46.1s| 54326 | 43999 |329897 | 6.1 | 22M| 56 | - | 172 | 28 | 172 | 23 | 20 |2632 |2902 | 0.000000e+00 | 6.400000e+01 | Inf
46.09/46.10 o 62
46.09/46.10 c *46.1s| 54327 | 43669 |329897 | 6.1 | 22M| 56 | - | 172 | 28 | 172 | 23 | 20 |2632 |2902 | 0.000000e+00 | 6.200000e+01 | Inf
49.97/50.09 c 50.1s| 60000 | 48116 |363116 | 6.1 | 24M| 56 | 7 | 172 | 29 | 172 | 23 | 20 |2892 |3103 | 0.000000e+00 | 6.200000e+01 | Inf
56.97/57.01 c 57.0s| 70000 | 55852 |420120 | 6.0 | 29M| 56 | - | 172 | 34 | 172 | 23 | 20 |3400 |3384 | 0.000000e+00 | 6.200000e+01 | Inf
63.27/63.37 o 60
63.27/63.37 c *63.4s| 79272 | 62425 |473177 | 6.0 | 33M| 58 | - | 172 | 37 | 172 | 23 | 20 |3913 |3664 | 0.000000e+00 | 6.000000e+01 | Inf
63.27/63.37 o 58
63.27/63.37 c *63.4s| 79274 | 61949 |473178 | 6.0 | 32M| 58 | - | 172 | 37 | 172 | 23 | 20 |3913 |3668 | 0.000000e+00 | 5.800000e+01 | Inf
63.38/63.40 o 56
63.38/63.40 c *63.4s| 79306 | 61412 |473325 | 6.0 | 32M| 58 | - | 172 | 37 | 172 | 23 | 20 |3919 |3694 | 0.000000e+00 | 5.600000e+01 | Inf
63.38/63.41 o 54
63.38/63.41 c *63.4s| 79307 | 60841 |473325 | 6.0 | 31M| 58 | - | 172 | 37 | 172 | 23 | 20 |3919 |3694 | 0.000000e+00 | 5.400000e+01 | Inf
63.87/63.90 c 63.9s| 80000 | 61327 |477128 | 6.0 | 32M| 58 | 7 | 172 | 37 | 172 | 23 | 20 |3954 |3714 | 0.000000e+00 | 5.400000e+01 | Inf
65.37/65.48 o 53
65.37/65.48 c l65.5s| 82264 | 62475 |489690 | 6.0 | 32M| 58 | - | 172 | 37 | 172 | 23 | 20 |4097 |3816 | 0.000000e+00 | 5.300000e+01 | Inf
70.87/70.92 c 70.9s| 90000 | 67450 |533393 | 5.9 | 36M| 58 | - | 172 | 28 | 0 | 0 | 20 |4585 |4088 | 0.000000e+00 | 5.300000e+01 | Inf
80.18/80.21 c 80.2s|100000 | 73683 |589208 | 5.9 | 40M| 58 | 7 | 172 | 36 | 172 | 23 | 20 |5244 |4432 | 0.000000e+00 | 5.300000e+01 | Inf
80.97/81.06 o 51
80.97/81.06 c *81.0s|101296 | 73484 |596175 | 5.9 | 40M| 60 | - | 172 | 36 | 172 | 23 | 20 |5325 |4460 | 0.000000e+00 | 5.100000e+01 | Inf
86.27/86.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
86.27/86.34 c 86.3s|110000 | 77999 |639151 | 5.8 | 43M| 62 | 7 | 172 | 36 | 172 | 23 | 20 |5739 |4683 | 0.000000e+00 | 5.100000e+01 | Inf
92.27/92.32 c 92.3s|120000 | 82696 |688667 | 5.7 | 47M| 62 | - | 172 | 36 | 172 | 23 | 20 |6325 |4895 | 0.000000e+00 | 5.100000e+01 | Inf
98.37/98.42 c 98.4s|130000 | 88051 |738388 | 5.7 | 51M| 62 | 7 | 172 | 33 | 172 | 23 | 20 |6858 |5098 | 0.000000e+00 | 5.100000e+01 | Inf
101.56/101.61 o 50
101.56/101.61 c * 102s|134951 | 90144 |764308 | 5.7 | 52M| 62 | - | 172 | 26 | 172 | 23 | 20 |7110 |5188 | 0.000000e+00 | 5.000000e+01 | Inf
101.56/101.62 o 48
101.56/101.62 c * 102s|134953 | 87279 |764309 | 5.7 | 50M| 62 | - | 172 | 26 | 172 | 23 | 20 |7110 |5189 | 0.000000e+00 | 4.800000e+01 | Inf
101.56/101.63 o 46
101.56/101.63 c * 102s|134954 | 86264 |764309 | 5.7 | 48M| 62 | - | 172 | 26 | 172 | 23 | 20 |7110 |5189 | 0.000000e+00 | 4.600000e+01 | Inf
106.46/106.56 c 107s|140000 | 88601 |789695 | 5.6 | 50M| 62 | 7 | 172 | 28 | 172 | 23 | 20 |7328 |5299 | 0.000000e+00 | 4.600000e+01 | Inf
107.96/108.01 o 44
107.96/108.01 c * 108s|142357 | 88504 |801851 | 5.6 | 50M| 62 | - | 172 | 32 | 172 | 23 | 20 |7456 |5345 | 0.000000e+00 | 4.400000e+01 | Inf
114.46/114.54 c 115s|150000 | 92210 |839762 | 5.6 | 53M| 62 | 7 | 172 | 29 | 172 | 23 | 20 |7823 |5477 | 0.000000e+00 | 4.400000e+01 | Inf
120.65/120.72 c 121s|160000 | 97337 |889811 | 5.6 | 57M| 62 | 7 | 172 | 31 | 172 | 23 | 20 |8356 |5663 | 0.000000e+00 | 4.400000e+01 | Inf
127.35/127.48 c 127s|170000 |103406 |943537 | 5.5 | 61M| 62 | 7 | 172 | 35 | 172 | 23 | 20 |8845 |5803 | 0.000000e+00 | 4.400000e+01 | Inf
133.75/133.83 c 134s|180000 |109029 |994996 | 5.5 | 64M| 62 | 7 | 172 | 34 | 172 | 23 | 20 |9320 |5970 | 0.000000e+00 | 4.400000e+01 | Inf
140.05/140.15 c 140s|190000 |114293 | 1046k| 5.5 | 68M| 62 | - | 172 | 34 | 0 | 0 | 20 |9866 |6141 | 0.000000e+00 | 4.400000e+01 | Inf
141.76/141.82 o 43
141.76/141.82 c * 142s|192677 |115036 | 1059k| 5.5 | 68M| 62 | - | 172 | 32 | 172 | 23 | 20 | 10k|6176 | 0.000000e+00 | 4.300000e+01 | Inf
146.15/146.22 c 146s|200000 |118372 | 1094k| 5.5 | 71M| 62 | 7 | 172 | 20 | 172 | 23 | 20 | 10k|6298 | 0.000000e+00 | 4.300000e+01 | Inf
146.35/146.48 o 41
146.35/146.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
146.35/146.48 c * 146s|200428 |116958 | 1096k| 5.5 | 69M| 62 | - | 172 | 22 | 172 | 23 | 20 | 10k|6305 | 0.000000e+00 | 4.100000e+01 | Inf
146.35/146.49 o 39
146.35/146.49 c * 146s|200429 |115163 | 1096k| 5.5 | 68M| 62 | - | 172 | 22 | 172 | 23 | 20 | 10k|6305 | 0.000000e+00 | 3.900000e+01 | Inf
151.35/151.41 o 38
151.35/151.41 c f 151s|208900 |117478 | 1135k| 5.4 | 70M| 62 | - | 172 | 22 | 172 | 23 | 20 | 10k|6477 | 0.000000e+00 | 3.800000e+01 | Inf
151.35/151.42 o 36
151.35/151.42 c p 151s|208900 |115468 | 1135k| 5.4 | 68M| 62 | - | 172 | 22 | 172 | 23 | 20 | 10k|6477 | 0.000000e+00 | 3.600000e+01 | Inf
151.94/152.04 c 152s|210000 |115839 | 1140k| 5.4 | 68M| 62 | 7 | 172 | 20 | 172 | 23 | 20 | 10k|6508 | 0.000000e+00 | 3.600000e+01 | Inf
156.84/156.93 o 34
156.84/156.93 c * 157s|218160 |117187 | 1176k| 5.4 | 69M| 62 | - | 172 | 21 | 172 | 23 | 20 | 11k|6637 | 0.000000e+00 | 3.400000e+01 | Inf
158.04/158.15 c 158s|220000 |118131 | 1185k| 5.4 | 69M| 62 | 7 | 172 | 22 | 172 | 23 | 20 | 11k|6661 | 0.000000e+00 | 3.400000e+01 | Inf
166.04/166.14 c 166s|230000 |122032 | 1231k| 5.4 | 73M| 62 | 7 | 172 | 22 | 172 | 23 | 20 | 12k|6774 | 0.000000e+00 | 3.400000e+01 | Inf
171.84/171.98 c 172s|240000 |125799 | 1276k| 5.3 | 76M| 62 | 7 | 172 | 20 | 172 | 23 | 20 | 12k|6911 | 0.000000e+00 | 3.400000e+01 | Inf
177.93/178.05 c 178s|250000 |130256 | 1323k| 5.3 | 79M| 62 | 7 | 172 | 17 | 172 | 23 | 20 | 13k|7028 | 0.000000e+00 | 3.400000e+01 | Inf
183.13/183.25 o 32
183.13/183.25 c * 183s|258806 |114182 | 1363k| 5.3 | 67M| 62 | - | 172 | 17 | 172 | 23 | 20 | 13k|7146 | 0.000000e+00 | 3.200000e+01 | Inf
183.13/183.26 o 30
183.13/183.26 c * 183s|258808 |112851 | 1363k| 5.3 | 66M| 62 | - | 172 | 14 | 172 | 23 | 20 | 13k|7150 | 0.000000e+00 | 3.000000e+01 | Inf
183.13/183.28 o 28
183.13/183.28 c * 183s|258810 |111338 | 1363k| 5.3 | 64M| 62 | - | 172 | 14 | 172 | 23 | 20 | 13k|7153 | 0.000000e+00 | 2.800000e+01 | Inf
183.13/183.29 o 26
183.13/183.29 c * 183s|258811 |109718 | 1363k| 5.3 | 63M| 62 | - | 172 | 14 | 172 | 23 | 20 | 13k|7153 | 0.000000e+00 | 2.600000e+01 | Inf
185.33/185.44 c 185s|260000 |110106 | 1369k| 5.3 | 63M| 62 | - | 172 | 15 | 0 | 0 | 20 | 13k|7171 | 0.000000e+00 | 2.600000e+01 | Inf
189.43/189.52 o 25
189.43/189.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
189.43/189.52 c * 190s|267410 |111589 | 1403k| 5.2 | 64M| 62 | - | 172 | 16 | 172 | 23 | 20 | 13k|7281 | 0.000000e+00 | 2.500000e+01 | Inf
192.23/192.31 c 192s|270000 |112266 | 1415k| 5.2 | 64M| 62 | - | 172 | 14 | 172 | 23 | 20 | 13k|7324 | 0.000000e+00 | 2.500000e+01 | Inf
197.62/197.75 c 198s|280000 |115304 | 1460k| 5.2 | 67M| 62 | - | 172 | 16 | 172 | 23 | 20 | 14k|7478 | 0.000000e+00 | 2.500000e+01 | Inf
203.02/203.13 c 203s|290000 |118129 | 1504k| 5.2 | 69M| 62 | 7 | 172 | 18 | 172 | 23 | 20 | 14k|7613 | 0.000000e+00 | 2.500000e+01 | Inf
208.42/208.51 c 208s|300000 |120660 | 1549k| 5.2 | 71M| 62 | 7 | 172 | 15 | 172 | 23 | 20 | 14k|7760 | 0.000000e+00 | 2.500000e+01 | Inf
213.82/213.91 c 214s|310000 |123383 | 1594k| 5.1 | 73M| 62 | 7 | 172 | 16 | 172 | 23 | 20 | 15k|7891 | 0.000000e+00 | 2.500000e+01 | Inf
219.12/219.27 c 219s|320000 |126194 | 1638k| 5.1 | 75M| 62 | 7 | 172 | 16 | 172 | 23 | 20 | 15k|8045 | 0.000000e+00 | 2.500000e+01 | Inf
224.72/224.83 c 225s|330000 |129224 | 1683k| 5.1 | 77M| 62 | 7 | 172 | 19 | 172 | 23 | 20 | 16k|8179 | 0.000000e+00 | 2.500000e+01 | Inf
230.01/230.15 c 230s|340000 |132033 | 1727k| 5.1 | 79M| 62 | - | 172 | 17 | 172 | 23 | 20 | 16k|8295 | 0.000000e+00 | 2.500000e+01 | Inf
235.32/235.41 c 235s|350000 |134525 | 1770k| 5.1 | 81M| 62 | - | 172 | 21 | 0 | 0 | 20 | 16k|8418 | 0.000000e+00 | 2.500000e+01 | Inf
240.41/240.51 c 241s|360000 |136678 | 1811k| 5.0 | 83M| 62 | - | 172 | 16 | 172 | 23 | 20 | 17k|8548 | 0.000000e+00 | 2.500000e+01 | Inf
244.61/244.74 o 24
244.61/244.74 c * 245s|368292 |137338 | 1846k| 5.0 | 83M| 62 | - | 172 | 16 | 172 | 23 | 20 | 17k|8648 | 0.000000e+00 | 2.400000e+01 | Inf
244.61/244.76 o 22
244.61/244.76 c * 245s|368293 |134997 | 1846k| 5.0 | 81M| 62 | - | 172 | 16 | 172 | 23 | 20 | 17k|8648 | 0.000000e+00 | 2.200000e+01 | Inf
244.61/244.78 o 20
244.61/244.78 c * 245s|368298 |132213 | 1846k| 5.0 | 78M| 62 | - | 172 | 16 | 172 | 23 | 20 | 17k|8652 | 0.000000e+00 | 2.000000e+01 | Inf
244.61/244.80 o 18
244.61/244.80 c * 245s|368303 |129149 | 1846k| 5.0 | 75M| 62 | - | 172 | 16 | 172 | 23 | 20 | 17k|8656 | 0.000000e+00 | 1.800000e+01 | Inf
244.72/244.82 o 16
244.72/244.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
244.72/244.82 c * 245s|368304 |123772 | 1846k| 5.0 | 70M| 62 | - | 172 | 16 | 172 | 23 | 20 | 17k|8656 | 0.000000e+00 | 1.600000e+01 | Inf
244.81/244.90 o 14
244.81/244.90 c * 245s|368435 |119871 | 1846k| 5.0 | 67M| 62 | - | 172 | 16 | 172 | 23 | 20 | 17k|8658 | 0.000000e+00 | 1.400000e+01 | Inf
245.61/245.73 c 246s|370000 |120295 | 1854k| 5.0 | 67M| 62 | 7 | 172 | 18 | 172 | 23 | 20 | 17k|8664 | 0.000000e+00 | 1.400000e+01 | Inf
252.31/252.41 c 252s|380000 |121974 | 1896k| 5.0 | 68M| 62 | 7 | 172 | 20 | 172 | 23 | 20 | 17k|8801 | 0.000000e+00 | 1.400000e+01 | Inf
257.11/257.23 c 257s|390000 |123308 | 1938k| 5.0 | 69M| 62 | - | 172 | 17 | 172 | 23 | 20 | 17k|8916 | 0.000000e+00 | 1.400000e+01 | Inf
262.90/263.00 c 263s|400000 |125094 | 1979k| 4.9 | 70M| 62 | - | 172 | 18 | 172 | 23 | 20 | 18k|9049 | 0.000000e+00 | 1.400000e+01 | Inf
267.61/267.71 c 268s|410000 |126301 | 2018k| 4.9 | 71M| 62 | - | 172 | 18 | 172 | 23 | 20 | 18k|9178 | 0.000000e+00 | 1.400000e+01 | Inf
272.41/272.55 c 273s|420000 |127298 | 2059k| 4.9 | 72M| 62 | 7 | 172 | 19 | 172 | 23 | 20 | 18k|9296 | 0.000000e+00 | 1.400000e+01 | Inf
277.01/277.17 c 277s|430000 |128371 | 2097k| 4.9 | 73M| 62 | 7 | 172 | 18 | 172 | 23 | 20 | 19k|9424 | 0.000000e+00 | 1.400000e+01 | Inf
281.70/281.86 c 282s|440000 |129565 | 2138k| 4.9 | 74M| 62 | 7 | 172 | 18 | 172 | 23 | 20 | 19k|9550 | 0.000000e+00 | 1.400000e+01 | Inf
286.50/286.60 c 287s|450000 |130742 | 2177k| 4.8 | 74M| 62 | 7 | 172 | 20 | 172 | 23 | 20 | 19k|9666 | 0.000000e+00 | 1.400000e+01 | Inf
291.20/291.33 c 291s|460000 |131277 | 2216k| 4.8 | 75M| 62 | 7 | 172 | 16 | 172 | 23 | 20 | 19k|9786 | 0.000000e+00 | 1.400000e+01 | Inf
295.90/296.02 c 296s|470000 |131934 | 2254k| 4.8 | 76M| 62 | - | 172 | 16 | 172 | 23 | 20 | 20k|9903 | 0.000000e+00 | 1.400000e+01 | Inf
302.59/302.71 c 303s|480000 |133089 | 2294k| 4.8 | 77M| 62 | - | 172 | 16 | 172 | 23 | 20 | 20k| 10k| 0.000000e+00 | 1.400000e+01 | Inf
307.30/307.40 c 307s|490000 |133626 | 2335k| 4.8 | 77M| 62 | - | 172 | 16 | 172 | 23 | 20 | 20k| 10k| 0.000000e+00 | 1.400000e+01 | Inf
311.89/312.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
311.89/312.07 c 312s|500000 |134343 | 2375k| 4.8 | 78M| 62 | - | 172 | 16 | 172 | 23 | 20 | 20k| 10k| 0.000000e+00 | 1.400000e+01 | Inf
316.70/316.80 c 317s|510000 |135008 | 2416k| 4.7 | 79M| 62 | 7 | 172 | 18 | 172 | 23 | 20 | 21k| 10k| 0.000000e+00 | 1.400000e+01 | Inf
321.39/321.58 c 322s|520000 |136139 | 2459k| 4.7 | 80M| 62 | 7 | 172 | 16 | 172 | 23 | 20 | 21k| 10k| 0.000000e+00 | 1.400000e+01 | Inf
326.19/326.33 c 326s|530000 |136815 | 2501k| 4.7 | 80M| 62 | - | 172 | 16 | 172 | 23 | 20 | 21k| 10k| 0.000000e+00 | 1.400000e+01 | Inf
330.89/331.03 c 331s|540000 |137440 | 2543k| 4.7 | 81M| 62 | 7 | 172 | 19 | 172 | 23 | 20 | 21k| 10k| 0.000000e+00 | 1.400000e+01 | Inf
335.68/335.87 c 336s|550000 |138680 | 2586k| 4.7 | 82M| 62 | 7 | 172 | 19 | 172 | 23 | 20 | 22k| 10k| 0.000000e+00 | 1.400000e+01 | Inf
340.38/340.56 c 341s|560000 |140068 | 2628k| 4.7 | 83M| 62 | 7 | 172 | 21 | 172 | 23 | 20 | 22k| 10k| 0.000000e+00 | 1.400000e+01 | Inf
345.09/345.22 c 345s|570000 |140885 | 2668k| 4.7 | 84M| 62 | 7 | 172 | 18 | 172 | 23 | 20 | 22k| 11k| 0.000000e+00 | 1.400000e+01 | Inf
349.70/349.89 c 350s|580000 |141415 | 2708k| 4.7 | 84M| 62 | - | 172 | 19 | 172 | 23 | 20 | 23k| 11k| 0.000000e+00 | 1.400000e+01 | Inf
354.38/354.52 c 355s|590000 |142029 | 2748k| 4.7 | 85M| 62 | - | 172 | 20 | 172 | 23 | 20 | 23k| 11k| 0.000000e+00 | 1.400000e+01 | Inf
358.97/359.16 c 359s|600000 |142274 | 2788k| 4.6 | 86M| 62 | - | 172 | 21 | 172 | 23 | 20 | 23k| 11k| 0.000000e+00 | 1.400000e+01 | Inf
363.58/363.74 c 364s|610000 |142526 | 2827k| 4.6 | 86M| 62 | - | 172 | 17 | 172 | 23 | 20 | 23k| 11k| 0.000000e+00 | 1.400000e+01 | Inf
368.17/368.37 c 368s|620000 |143239 | 2866k| 4.6 | 87M| 62 | - | 172 | 18 | 172 | 23 | 20 | 24k| 11k| 0.000000e+00 | 1.400000e+01 | Inf
372.87/373.02 c 373s|630000 |143724 | 2906k| 4.6 | 87M| 62 | 7 | 172 | 17 | 172 | 23 | 20 | 24k| 11k| 0.000000e+00 | 1.400000e+01 | Inf
377.57/377.70 c 378s|640000 |144399 | 2947k| 4.6 | 88M| 62 | - | 172 | 16 | 172 | 23 | 20 | 24k| 11k| 0.000000e+00 | 1.400000e+01 | Inf
382.27/382.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
382.27/382.42 c 382s|650000 |144988 | 2988k| 4.6 | 89M| 62 | - | 172 | 18 | 0 | 0 | 20 | 24k| 11k| 0.000000e+00 | 1.400000e+01 | Inf
386.98/387.11 c 387s|660000 |146068 | 3029k| 4.6 | 90M| 62 | - | 172 | 23 | 172 | 23 | 20 | 25k| 11k| 0.000000e+00 | 1.400000e+01 | Inf
391.57/391.72 c 392s|670000 |147106 | 3069k| 4.6 | 91M| 62 | 7 | 172 | 20 | 172 | 23 | 20 | 25k| 12k| 0.000000e+00 | 1.400000e+01 | Inf
396.16/396.37 c 396s|680000 |148035 | 3109k| 4.6 | 91M| 62 | 7 | 172 | 18 | 172 | 23 | 20 | 25k| 12k| 0.000000e+00 | 1.400000e+01 | Inf
400.96/401.11 c 401s|690000 |149364 | 3149k| 4.6 | 92M| 62 | 7 | 172 | 22 | 172 | 23 | 20 | 26k| 12k| 0.000000e+00 | 1.400000e+01 | Inf
405.67/405.80 c 406s|700000 |150913 | 3191k| 4.6 | 93M| 62 | - | 172 | 22 | 0 | 0 | 20 | 26k| 12k| 0.000000e+00 | 1.400000e+01 | Inf
410.26/410.47 c 410s|710000 |151821 | 3232k| 4.6 | 94M| 62 | 7 | 172 | 18 | 172 | 23 | 20 | 26k| 12k| 0.000000e+00 | 1.400000e+01 | Inf
414.96/415.14 c 415s|720000 |152569 | 3272k| 4.5 | 95M| 62 | - | 172 | 18 | 172 | 23 | 20 | 26k| 12k| 0.000000e+00 | 1.400000e+01 | Inf
419.66/419.86 c 420s|730000 |152984 | 3313k| 4.5 | 96M| 62 | - | 172 | 23 | 172 | 23 | 20 | 27k| 12k| 0.000000e+00 | 1.400000e+01 | Inf
424.37/424.56 c 425s|740000 |153847 | 3354k| 4.5 | 96M| 62 | - | 172 | 23 | 172 | 23 | 20 | 27k| 12k| 0.000000e+00 | 1.400000e+01 | Inf
428.95/429.19 c 429s|750000 |154840 | 3394k| 4.5 | 97M| 62 | 7 | 172 | 25 | 172 | 23 | 20 | 27k| 12k| 0.000000e+00 | 1.400000e+01 | Inf
433.65/433.85 c 434s|760000 |155288 | 3435k| 4.5 | 98M| 62 | 7 | 172 | 22 | 172 | 23 | 20 | 28k| 12k| 0.000000e+00 | 1.400000e+01 | Inf
438.35/438.53 c 439s|770000 |155723 | 3475k| 4.5 | 98M| 62 | 7 | 172 | 19 | 172 | 23 | 20 | 28k| 13k| 0.000000e+00 | 1.400000e+01 | Inf
442.95/443.18 c 443s|780000 |156072 | 3515k| 4.5 | 99M| 62 | - | 172 | 16 | 0 | 0 | 20 | 28k| 13k| 0.000000e+00 | 1.400000e+01 | Inf
447.64/447.81 c 448s|790000 |156552 | 3555k| 4.5 | 100M| 62 | 7 | 172 | 20 | 172 | 23 | 20 | 29k| 13k| 0.000000e+00 | 1.400000e+01 | Inf
452.25/452.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
452.25/452.42 c 452s|800000 |157408 | 3595k| 4.5 | 100M| 62 | - | 172 | 18 | 172 | 23 | 20 | 29k| 13k| 0.000000e+00 | 1.400000e+01 | Inf
456.85/457.05 c 457s|810000 |157942 | 3635k| 4.5 | 101M| 62 | 7 | 172 | 17 | 172 | 23 | 20 | 29k| 13k| 0.000000e+00 | 1.400000e+01 | Inf
461.45/461.68 c 462s|820000 |158227 | 3674k| 4.5 | 102M| 62 | 7 | 172 | 20 | 172 | 23 | 20 | 29k| 13k| 0.000000e+00 | 1.400000e+01 | Inf
466.15/466.34 c 466s|830000 |158465 | 3714k| 4.5 | 102M| 62 | 7 | 172 | 16 | 172 | 23 | 20 | 30k| 13k| 0.000000e+00 | 1.400000e+01 | Inf
470.85/471.00 c 471s|840000 |159048 | 3754k| 4.5 | 103M| 62 | 7 | 172 | 18 | 172 | 23 | 20 | 30k| 13k| 0.000000e+00 | 1.400000e+01 | Inf
475.44/475.66 c 476s|850000 |159924 | 3795k| 4.5 | 103M| 62 | 7 | 172 | 17 | 172 | 23 | 20 | 30k| 13k| 0.000000e+00 | 1.400000e+01 | Inf
480.04/480.27 c 480s|860000 |160473 | 3835k| 4.5 | 104M| 62 | 7 | 172 | 17 | 172 | 23 | 20 | 30k| 13k| 0.000000e+00 | 1.400000e+01 | Inf
484.64/484.87 c 485s|870000 |160714 | 3874k| 4.5 | 105M| 62 | - | 172 | 17 | 172 | 23 | 20 | 31k| 13k| 0.000000e+00 | 1.400000e+01 | Inf
489.25/489.46 c 489s|880000 |161261 | 3914k| 4.4 | 105M| 62 | 7 | 172 | 17 | 172 | 23 | 20 | 31k| 13k| 0.000000e+00 | 1.400000e+01 | Inf
494.03/494.21 c 494s|890000 |163014 | 3955k| 4.4 | 106M| 62 | - | 172 | 18 | 172 | 23 | 20 | 31k| 14k| 0.000000e+00 | 1.400000e+01 | Inf
498.63/498.87 c 499s|900000 |164584 | 3995k| 4.4 | 107M| 62 | 7 | 172 | 22 | 172 | 23 | 20 | 31k| 14k| 0.000000e+00 | 1.400000e+01 | Inf
503.33/503.51 c 504s|910000 |165900 | 4035k| 4.4 | 108M| 62 | 7 | 172 | 21 | 172 | 23 | 20 | 32k| 14k| 0.000000e+00 | 1.400000e+01 | Inf
507.94/508.11 c 508s|920000 |167238 | 4074k| 4.4 | 109M| 62 | 7 | 172 | 17 | 172 | 23 | 20 | 32k| 14k| 0.000000e+00 | 1.400000e+01 | Inf
512.44/512.69 c 513s|930000 |168523 | 4113k| 4.4 | 110M| 62 | 7 | 172 | 21 | 172 | 23 | 20 | 32k| 14k| 0.000000e+00 | 1.400000e+01 | Inf
517.03/517.26 c 517s|940000 |169530 | 4152k| 4.4 | 111M| 62 | 7 | 172 | 20 | 172 | 23 | 20 | 32k| 14k| 0.000000e+00 | 1.400000e+01 | Inf
521.63/521.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
521.63/521.88 c 522s|950000 |170256 | 4192k| 4.4 | 112M| 62 | - | 172 | 18 | 0 | 0 | 20 | 33k| 14k| 0.000000e+00 | 1.400000e+01 | Inf
526.33/526.52 c 527s|960000 |170974 | 4232k| 4.4 | 113M| 62 | 7 | 172 | 18 | 172 | 23 | 20 | 33k| 14k| 0.000000e+00 | 1.400000e+01 | Inf
531.04/531.29 c 531s|970000 |172084 | 4275k| 4.4 | 114M| 62 | - | 172 | 21 | 172 | 23 | 20 | 33k| 14k| 0.000000e+00 | 1.400000e+01 | Inf
535.72/535.91 c 536s|980000 |172840 | 4315k| 4.4 | 114M| 62 | 7 | 172 | 20 | 172 | 23 | 20 | 33k| 14k| 0.000000e+00 | 1.400000e+01 | Inf
540.43/540.60 c 541s|990000 |174098 | 4357k| 4.4 | 115M| 62 | 7 | 172 | 19 | 172 | 23 | 20 | 34k| 14k| 0.000000e+00 | 1.400000e+01 | Inf
545.12/545.31 c 545s| 1000k|175021 | 4399k| 4.4 | 116M| 62 | - | 172 | 16 | 172 | 23 | 20 | 34k| 14k| 0.000000e+00 | 1.400000e+01 | Inf
549.83/550.02 c 550s| 1010k|176189 | 4439k| 4.4 | 117M| 62 | - | 172 | 16 | 172 | 23 | 20 | 34k| 15k| 0.000000e+00 | 1.400000e+01 | Inf
554.51/554.78 c 555s| 1020k|177065 | 4481k| 4.4 | 118M| 62 | - | 172 | 18 | 172 | 23 | 20 | 35k| 15k| 0.000000e+00 | 1.400000e+01 | Inf
559.21/559.45 c 559s| 1030k|177954 | 4522k| 4.4 | 119M| 62 | 7 | 172 | 16 | 172 | 23 | 20 | 35k| 15k| 0.000000e+00 | 1.400000e+01 | Inf
563.81/564.09 c 564s| 1040k|178634 | 4562k| 4.4 | 120M| 62 | - | 172 | 20 | 172 | 23 | 20 | 35k| 15k| 0.000000e+00 | 1.400000e+01 | Inf
568.52/568.80 c 569s| 1050k|179445 | 4603k| 4.4 | 120M| 62 | - | 172 | 18 | 172 | 23 | 20 | 35k| 15k| 0.000000e+00 | 1.400000e+01 | Inf
573.31/573.51 c 573s| 1060k|180514 | 4644k| 4.4 | 121M| 62 | 7 | 172 | 17 | 172 | 23 | 20 | 35k| 15k| 0.000000e+00 | 1.400000e+01 | Inf
577.91/578.13 c 578s| 1070k|181460 | 4685k| 4.4 | 122M| 62 | - | 172 | 18 | 172 | 23 | 20 | 36k| 15k| 0.000000e+00 | 1.400000e+01 | Inf
582.51/582.78 c 583s| 1080k|182061 | 4725k| 4.4 | 123M| 62 | 7 | 172 | 23 | 172 | 23 | 20 | 36k| 15k| 0.000000e+00 | 1.400000e+01 | Inf
587.21/587.46 c 587s| 1090k|182658 | 4765k| 4.4 | 123M| 62 | - | 172 | 23 | 172 | 23 | 20 | 36k| 15k| 0.000000e+00 | 1.400000e+01 | Inf
592.01/592.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
592.01/592.26 c 592s| 1100k|184859 | 4807k| 4.4 | 125M| 62 | 7 | 172 | 20 | 172 | 23 | 20 | 37k| 15k| 0.000000e+00 | 1.400000e+01 | Inf
596.90/597.13 c 597s| 1110k|186967 | 4849k| 4.4 | 126M| 62 | 7 | 172 | 16 | 172 | 23 | 20 | 37k| 15k| 0.000000e+00 | 1.400000e+01 | Inf
601.60/601.83 c 602s| 1120k|188764 | 4890k| 4.4 | 127M| 62 | - | 172 | 16 | 0 | 0 | 20 | 37k| 15k| 0.000000e+00 | 1.400000e+01 | Inf
606.40/606.63 c 607s| 1130k|190416 | 4932k| 4.4 | 128M| 62 | 7 | 172 | 21 | 172 | 23 | 20 | 37k| 15k| 0.000000e+00 | 1.400000e+01 | Inf
611.20/611.44 c 611s| 1140k|192172 | 4974k| 4.4 | 130M| 62 | 7 | 172 | 21 | 172 | 23 | 20 | 38k| 16k| 0.000000e+00 | 1.400000e+01 | Inf
616.00/616.24 c 616s| 1150k|194231 | 5016k| 4.4 | 131M| 62 | - | 172 | 22 | 172 | 23 | 20 | 38k| 16k| 0.000000e+00 | 1.400000e+01 | Inf
620.79/621.06 c 621s| 1160k|195508 | 5059k| 4.4 | 132M| 62 | - | 172 | 17 | 172 | 23 | 20 | 38k| 16k| 0.000000e+00 | 1.400000e+01 | Inf
625.60/625.87 c 626s| 1170k|197377 | 5101k| 4.4 | 133M| 62 | - | 172 | 16 | 172 | 23 | 20 | 38k| 16k| 0.000000e+00 | 1.400000e+01 | Inf
630.29/630.54 c 631s| 1180k|198906 | 5141k| 4.4 | 134M| 62 | 7 | 172 | 19 | 172 | 23 | 20 | 39k| 16k| 0.000000e+00 | 1.400000e+01 | Inf
635.39/635.63 c 636s| 1190k|201300 | 5186k| 4.4 | 136M| 62 | 7 | 172 | 18 | 172 | 23 | 20 | 39k| 16k| 0.000000e+00 | 1.400000e+01 | Inf
640.48/640.72 c 641s| 1200k|203887 | 5231k| 4.4 | 138M| 62 | 7 | 172 | 17 | 172 | 23 | 20 | 39k| 16k| 0.000000e+00 | 1.400000e+01 | Inf
645.49/645.75 c 646s| 1210k|206304 | 5276k| 4.4 | 139M| 62 | - | 172 | 20 | 172 | 23 | 20 | 39k| 16k| 0.000000e+00 | 1.400000e+01 | Inf
650.38/650.63 c 651s| 1220k|208497 | 5319k| 4.4 | 141M| 62 | 7 | 172 | 19 | 172 | 23 | 20 | 40k| 16k| 0.000000e+00 | 1.400000e+01 | Inf
655.29/655.59 c 656s| 1230k|210951 | 5362k| 4.4 | 142M| 62 | 7 | 172 | 22 | 172 | 23 | 20 | 40k| 16k| 0.000000e+00 | 1.400000e+01 | Inf
660.38/660.60 c 661s| 1240k|213442 | 5406k| 4.4 | 144M| 62 | 7 | 172 | 19 | 172 | 23 | 20 | 40k| 16k| 0.000000e+00 | 1.400000e+01 | Inf
665.19/665.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
665.19/665.44 c 665s| 1250k|215393 | 5449k| 4.4 | 145M| 62 | 7 | 172 | 20 | 172 | 23 | 20 | 41k| 16k| 0.000000e+00 | 1.400000e+01 | Inf
669.97/670.28 c 670s| 1260k|217285 | 5492k| 4.4 | 146M| 62 | 7 | 172 | 19 | 172 | 23 | 20 | 41k| 16k| 0.000000e+00 | 1.400000e+01 | Inf
674.97/675.23 c 675s| 1270k|219502 | 5536k| 4.4 | 148M| 62 | 7 | 172 | 22 | 172 | 23 | 20 | 41k| 16k| 0.000000e+00 | 1.400000e+01 | Inf
679.77/680.08 c 680s| 1280k|221951 | 5578k| 4.4 | 149M| 62 | 7 | 172 | 20 | 172 | 23 | 20 | 41k| 16k| 0.000000e+00 | 1.400000e+01 | Inf
684.77/685.07 c 685s| 1290k|224663 | 5621k| 4.4 | 151M| 62 | - | 172 | 24 | 172 | 23 | 20 | 42k| 17k| 0.000000e+00 | 1.400000e+01 | Inf
689.66/689.96 c 690s| 1300k|226709 | 5664k| 4.4 | 152M| 62 | 7 | 172 | 16 | 172 | 23 | 20 | 42k| 17k| 0.000000e+00 | 1.400000e+01 | Inf
694.47/694.76 c 695s| 1310k|228901 | 5706k| 4.4 | 154M| 62 | 7 | 172 | 22 | 172 | 23 | 20 | 42k| 17k| 0.000000e+00 | 1.400000e+01 | Inf
699.27/699.58 c 700s| 1320k|231144 | 5748k| 4.4 | 155M| 62 | - | 172 | 20 | 0 | 0 | 20 | 43k| 17k| 0.000000e+00 | 1.400000e+01 | Inf
704.16/704.43 c 704s| 1330k|233019 | 5790k| 4.4 | 156M| 62 | 7 | 172 | 20 | 172 | 23 | 20 | 43k| 17k| 0.000000e+00 | 1.400000e+01 | Inf
708.86/709.16 c 709s| 1340k|235048 | 5831k| 4.4 | 158M| 62 | - | 172 | 16 | 172 | 23 | 20 | 43k| 17k| 0.000000e+00 | 1.400000e+01 | Inf
713.66/713.96 c 714s| 1350k|236646 | 5874k| 4.4 | 159M| 62 | - | 172 | 17 | 0 | 0 | 20 | 44k| 17k| 0.000000e+00 | 1.400000e+01 | Inf
718.46/718.75 c 719s| 1360k|238269 | 5915k| 4.3 | 160M| 62 | - | 172 | 22 | 172 | 23 | 20 | 44k| 17k| 0.000000e+00 | 1.400000e+01 | Inf
723.26/723.56 c 724s| 1370k|240147 | 5957k| 4.3 | 161M| 62 | 7 | 172 | 19 | 172 | 23 | 20 | 44k| 17k| 0.000000e+00 | 1.400000e+01 | Inf
728.06/728.35 c 728s| 1380k|241941 | 5999k| 4.3 | 163M| 62 | - | 172 | 17 | 172 | 23 | 20 | 44k| 17k| 0.000000e+00 | 1.400000e+01 | Inf
733.05/733.33 c 733s| 1390k|244009 | 6044k| 4.3 | 164M| 62 | 7 | 172 | 20 | 172 | 23 | 20 | 45k| 17k| 0.000000e+00 | 1.400000e+01 | Inf
737.86/738.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
737.86/738.15 c 738s| 1400k|245842 | 6087k| 4.3 | 165M| 62 | - | 172 | 24 | 172 | 23 | 20 | 45k| 17k| 0.000000e+00 | 1.400000e+01 | Inf
742.56/742.89 c 743s| 1410k|247323 | 6127k| 4.3 | 166M| 62 | - | 172 | 17 | 172 | 23 | 20 | 45k| 17k| 0.000000e+00 | 1.400000e+01 | Inf
747.45/747.72 c 748s| 1420k|249098 | 6169k| 4.3 | 168M| 62 | - | 172 | 18 | 172 | 23 | 20 | 46k| 17k| 0.000000e+00 | 1.400000e+01 | Inf
752.16/752.46 c 752s| 1430k|250671 | 6210k| 4.3 | 169M| 62 | 7 | 172 | 22 | 172 | 23 | 20 | 46k| 17k| 0.000000e+00 | 1.400000e+01 | Inf
756.95/757.29 c 757s| 1440k|252488 | 6253k| 4.3 | 170M| 62 | 7 | 172 | 19 | 172 | 23 | 20 | 46k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
761.74/762.03 c 762s| 1450k|253680 | 6295k| 4.3 | 171M| 62 | 7 | 172 | 16 | 172 | 23 | 20 | 47k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
766.64/766.98 c 767s| 1460k|256032 | 6339k| 4.3 | 172M| 62 | - | 172 | 20 | 172 | 23 | 20 | 47k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
771.44/771.77 c 772s| 1470k|257840 | 6380k| 4.3 | 174M| 62 | - | 172 | 21 | 0 | 0 | 20 | 47k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
776.35/776.69 c 777s| 1480k|259868 | 6424k| 4.3 | 175M| 62 | - | 172 | 21 | 172 | 23 | 20 | 47k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
781.14/781.45 c 781s| 1490k|261275 | 6465k| 4.3 | 176M| 62 | - | 172 | 24 | 172 | 23 | 20 | 48k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
785.94/786.21 c 786s| 1500k|262856 | 6507k| 4.3 | 177M| 62 | - | 172 | 23 | 172 | 23 | 20 | 48k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
790.64/790.91 c 791s| 1510k|264322 | 6549k| 4.3 | 178M| 62 | - | 172 | 18 | 172 | 23 | 20 | 48k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
795.34/795.62 c 796s| 1520k|265800 | 6590k| 4.3 | 179M| 62 | 7 | 172 | 18 | 172 | 23 | 20 | 49k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
800.04/800.30 c 800s| 1530k|266759 | 6632k| 4.3 | 180M| 62 | 7 | 172 | 20 | 172 | 23 | 20 | 49k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
804.73/805.03 c 805s| 1540k|267881 | 6674k| 4.3 | 181M| 62 | 7 | 172 | 23 | 172 | 23 | 20 | 49k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
809.43/809.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
809.43/809.74 c 810s| 1550k|268970 | 6715k| 4.3 | 182M| 62 | - | 172 | 19 | 172 | 23 | 20 | 50k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
814.13/814.41 c 814s| 1560k|270312 | 6757k| 4.3 | 183M| 62 | 7 | 172 | 20 | 172 | 23 | 20 | 50k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
818.83/819.19 c 819s| 1570k|271982 | 6800k| 4.3 | 184M| 62 | 7 | 172 | 20 | 172 | 23 | 20 | 50k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
823.53/823.83 c 824s| 1580k|273362 | 6841k| 4.3 | 185M| 62 | 7 | 172 | 20 | 172 | 23 | 20 | 50k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
828.22/828.58 c 829s| 1590k|274497 | 6883k| 4.3 | 186M| 62 | 7 | 172 | 18 | 172 | 23 | 20 | 51k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
833.02/833.34 c 833s| 1600k|275732 | 6925k| 4.3 | 187M| 62 | 7 | 172 | 17 | 172 | 23 | 20 | 51k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
837.72/838.05 c 838s| 1610k|276709 | 6966k| 4.3 | 188M| 62 | - | 172 | 16 | 172 | 23 | 20 | 51k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
842.52/842.83 c 843s| 1620k|277821 | 7007k| 4.3 | 189M| 62 | - | 172 | 17 | 172 | 23 | 20 | 51k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
847.12/847.48 c 847s| 1630k|279141 | 7047k| 4.3 | 190M| 62 | - | 172 | 18 | 172 | 23 | 20 | 52k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
851.91/852.22 c 852s| 1640k|280496 | 7090k| 4.3 | 191M| 62 | - | 172 | 17 | 0 | 0 | 20 | 52k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
856.62/856.93 c 857s| 1650k|281568 | 7132k| 4.3 | 192M| 62 | 7 | 172 | 15 | 172 | 23 | 20 | 52k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
861.32/861.66 c 862s| 1660k|282579 | 7173k| 4.3 | 193M| 62 | 7 | 172 | 17 | 172 | 23 | 20 | 53k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
866.11/866.44 c 866s| 1670k|284088 | 7216k| 4.3 | 194M| 62 | - | 172 | 17 | 172 | 23 | 20 | 53k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
870.72/871.10 c 871s| 1680k|285086 | 7257k| 4.3 | 195M| 62 | 7 | 172 | 16 | 172 | 23 | 20 | 53k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
875.50/875.86 c 876s| 1690k|286137 | 7300k| 4.3 | 196M| 62 | 7 | 172 | 18 | 172 | 23 | 20 | 53k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
880.21/880.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
880.21/880.55 c 881s| 1700k|286872 | 7341k| 4.3 | 197M| 62 | - | 172 | 18 | 172 | 23 | 20 | 54k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
884.90/885.24 c 885s| 1710k|287753 | 7383k| 4.3 | 197M| 62 | - | 172 | 18 | 172 | 23 | 20 | 54k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
889.61/889.92 c 890s| 1720k|289174 | 7424k| 4.3 | 198M| 62 | 7 | 172 | 18 | 172 | 23 | 20 | 54k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
894.31/894.64 c 895s| 1730k|290033 | 7464k| 4.3 | 199M| 62 | 7 | 172 | 20 | 172 | 23 | 20 | 55k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
899.10/899.49 c 899s| 1740k|291258 | 7507k| 4.3 | 200M| 62 | 7 | 172 | 16 | 172 | 23 | 20 | 55k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
903.91/904.24 c 904s| 1750k|291892 | 7548k| 4.3 | 201M| 62 | 7 | 172 | 18 | 172 | 23 | 20 | 55k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
908.60/908.91 c 909s| 1760k|292977 | 7589k| 4.3 | 202M| 62 | 7 | 172 | 18 | 172 | 23 | 20 | 56k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
913.40/913.71 c 914s| 1770k|294120 | 7632k| 4.3 | 203M| 62 | 7 | 172 | 18 | 172 | 23 | 20 | 56k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
918.00/918.36 c 918s| 1780k|295179 | 7673k| 4.3 | 204M| 62 | - | 172 | 17 | 172 | 23 | 20 | 56k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
922.80/923.17 c 923s| 1790k|295828 | 7715k| 4.3 | 205M| 62 | 7 | 172 | 17 | 172 | 23 | 20 | 57k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
927.49/927.86 c 928s| 1800k|296569 | 7757k| 4.3 | 205M| 62 | 7 | 172 | 18 | 172 | 23 | 20 | 57k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
932.29/932.62 c 933s| 1810k|297855 | 7798k| 4.3 | 206M| 62 | 7 | 172 | 20 | 172 | 23 | 20 | 57k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
936.99/937.36 c 937s| 1820k|299235 | 7839k| 4.3 | 207M| 62 | - | 172 | 18 | 172 | 23 | 20 | 58k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
941.69/942.04 c 942s| 1830k|300060 | 7880k| 4.3 | 208M| 62 | 7 | 172 | 20 | 172 | 23 | 20 | 58k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
946.39/946.71 c 947s| 1840k|301131 | 7921k| 4.3 | 209M| 62 | 7 | 172 | 18 | 172 | 23 | 20 | 58k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
951.09/951.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
951.09/951.49 c 951s| 1850k|302032 | 7963k| 4.3 | 210M| 62 | 7 | 172 | 25 | 172 | 23 | 20 | 58k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
955.89/956.25 c 956s| 1860k|303109 | 8005k| 4.3 | 211M| 62 | 7 | 172 | 17 | 172 | 23 | 20 | 59k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
960.58/960.98 c 961s| 1870k|304210 | 8047k| 4.3 | 212M| 62 | 7 | 172 | 19 | 172 | 23 | 20 | 59k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
965.39/965.71 c 966s| 1880k|304953 | 8089k| 4.3 | 212M| 62 | 7 | 172 | 15 | 172 | 23 | 20 | 59k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
969.98/970.39 c 970s| 1890k|305520 | 8130k| 4.3 | 213M| 62 | - | 172 | 15 | 172 | 23 | 20 | 60k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
974.78/975.16 c 975s| 1900k|306439 | 8172k| 4.3 | 214M| 62 | - | 172 | 19 | 172 | 23 | 20 | 60k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
979.57/980.00 c 980s| 1910k|308048 | 8215k| 4.3 | 215M| 62 | - | 172 | 17 | 172 | 23 | 20 | 60k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
984.38/984.78 c 985s| 1920k|309218 | 8257k| 4.3 | 216M| 62 | - | 172 | 16 | 0 | 0 | 20 | 61k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
989.17/989.55 c 990s| 1930k|310460 | 8300k| 4.3 | 217M| 62 | 7 | 172 | 19 | 172 | 23 | 20 | 61k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
993.87/994.26 c 994s| 1940k|311694 | 8342k| 4.3 | 218M| 62 | - | 172 | 17 | 172 | 23 | 20 | 61k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
998.67/999.01 c 999s| 1950k|312725 | 8384k| 4.3 | 219M| 62 | - | 172 | 17 | 172 | 23 | 20 | 62k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1003.37/1003.76 c 1004s| 1960k|313444 | 8426k| 4.3 | 220M| 62 | 7 | 172 | 17 | 172 | 23 | 20 | 62k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1008.07/1008.47 c 1008s| 1970k|314122 | 8468k| 4.3 | 221M| 62 | 7 | 172 | 17 | 172 | 23 | 20 | 62k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1012.86/1013.23 c 1013s| 1980k|314821 | 8510k| 4.3 | 221M| 62 | - | 172 | 22 | 172 | 23 | 20 | 63k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1017.46/1017.87 c 1018s| 1990k|315492 | 8550k| 4.3 | 222M| 62 | 7 | 172 | 18 | 172 | 23 | 20 | 63k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1022.26/1022.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1022.26/1022.64 c 1023s| 2000k|315977 | 8592k| 4.3 | 223M| 62 | 7 | 172 | 16 | 172 | 23 | 20 | 63k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1026.96/1027.38 c 1027s| 2010k|316523 | 8634k| 4.3 | 223M| 62 | 7 | 172 | 19 | 172 | 23 | 20 | 64k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1031.66/1032.07 c 1032s| 2020k|317055 | 8675k| 4.3 | 224M| 62 | 7 | 172 | 17 | 172 | 23 | 20 | 64k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1036.36/1036.76 c 1037s| 2030k|317648 | 8716k| 4.3 | 225M| 62 | - | 172 | 16 | 0 | 0 | 20 | 64k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1041.15/1041.54 c 1042s| 2040k|318204 | 8757k| 4.3 | 225M| 62 | 7 | 172 | 22 | 172 | 23 | 20 | 64k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1045.85/1046.27 c 1046s| 2050k|319040 | 8799k| 4.3 | 226M| 62 | - | 172 | 21 | 0 | 0 | 20 | 65k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1050.55/1050.90 c 1051s| 2060k|319761 | 8839k| 4.3 | 227M| 62 | 7 | 172 | 17 | 172 | 23 | 20 | 65k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1055.15/1055.58 c 1056s| 2070k|321131 | 8879k| 4.3 | 228M| 62 | 7 | 172 | 18 | 172 | 23 | 20 | 65k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1059.85/1060.26 c 1060s| 2080k|321894 | 8921k| 4.3 | 228M| 62 | 7 | 172 | 19 | 172 | 23 | 20 | 66k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1064.55/1064.98 c 1065s| 2090k|322578 | 8962k| 4.3 | 229M| 62 | 7 | 172 | 15 | 172 | 23 | 20 | 66k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1069.24/1069.68 c 1070s| 2100k|323450 | 9004k| 4.3 | 230M| 62 | 7 | 172 | 15 | 172 | 23 | 20 | 66k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1073.93/1074.35 c 1074s| 2110k|324241 | 9045k| 4.3 | 231M| 62 | - | 172 | 17 | 0 | 0 | 20 | 67k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1078.65/1079.07 c 1079s| 2120k|325024 | 9087k| 4.3 | 231M| 62 | 7 | 172 | 19 | 172 | 23 | 20 | 67k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1083.34/1083.73 c 1084s| 2130k|325846 | 9127k| 4.3 | 232M| 62 | - | 172 | 16 | 172 | 23 | 20 | 67k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1087.94/1088.37 c 1088s| 2140k|326543 | 9167k| 4.3 | 233M| 62 | - | 172 | 15 | 0 | 0 | 20 | 67k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1092.63/1093.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1092.63/1093.02 c 1093s| 2150k|327463 | 9209k| 4.3 | 234M| 62 | - | 172 | 14 | 0 | 0 | 20 | 68k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1097.23/1097.60 c 1098s| 2160k|328079 | 9249k| 4.3 | 234M| 62 | 7 | 172 | 16 | 172 | 23 | 20 | 68k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1101.84/1102.22 c 1102s| 2170k|328682 | 9290k| 4.3 | 235M| 62 | - | 172 | 15 | 172 | 23 | 20 | 68k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1106.42/1106.84 c 1107s| 2180k|329269 | 9331k| 4.3 | 236M| 62 | - | 172 | 16 | 0 | 0 | 20 | 68k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1111.12/1111.59 c 1112s| 2190k|330032 | 9373k| 4.3 | 236M| 62 | - | 172 | 17 | 172 | 23 | 20 | 69k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1115.82/1116.27 c 1116s| 2200k|330616 | 9414k| 4.3 | 237M| 62 | - | 172 | 17 | 172 | 23 | 20 | 69k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1120.42/1120.89 c 1121s| 2210k|331412 | 9455k| 4.3 | 238M| 62 | 7 | 172 | 18 | 172 | 23 | 20 | 69k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1125.12/1125.54 c 1126s| 2220k|332134 | 9496k| 4.3 | 238M| 62 | 7 | 172 | 19 | 172 | 23 | 20 | 69k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1129.72/1130.19 c 1130s| 2230k|333335 | 9537k| 4.3 | 239M| 62 | 7 | 172 | 15 | 172 | 23 | 20 | 70k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1134.41/1134.89 c 1135s| 2240k|334272 | 9578k| 4.3 | 240M| 62 | - | 172 | 20 | 172 | 23 | 20 | 70k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1139.12/1139.53 c 1140s| 2250k|335583 | 9618k| 4.3 | 241M| 62 | 7 | 172 | 16 | 172 | 23 | 20 | 70k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1143.71/1144.17 c 1144s| 2260k|336297 | 9659k| 4.3 | 242M| 62 | - | 172 | 16 | 172 | 23 | 20 | 71k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1148.32/1148.77 c 1149s| 2270k|336758 | 9699k| 4.3 | 243M| 62 | 7 | 172 | 19 | 172 | 23 | 20 | 71k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1153.01/1153.47 c 1153s| 2280k|337840 | 9740k| 4.3 | 243M| 62 | - | 172 | 18 | 0 | 0 | 20 | 71k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1157.92/1158.39 c 1158s| 2290k|339771 | 9785k| 4.3 | 245M| 62 | 7 | 172 | 17 | 172 | 23 | 20 | 72k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1162.71/1163.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1162.71/1163.12 c 1163s| 2300k|341099 | 9827k| 4.3 | 246M| 62 | - | 172 | 17 | 172 | 23 | 20 | 72k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1167.51/1167.91 c 1168s| 2310k|342304 | 9869k| 4.3 | 247M| 62 | - | 172 | 20 | 172 | 23 | 20 | 72k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1172.21/1172.68 c 1173s| 2320k|343887 | 9911k| 4.3 | 248M| 62 | - | 172 | 19 | 172 | 23 | 20 | 73k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1176.90/1177.39 c 1177s| 2330k|344723 | 9953k| 4.3 | 248M| 62 | - | 172 | 18 | 0 | 0 | 20 | 73k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1181.70/1182.19 c 1182s| 2340k|345464 | 9996k| 4.3 | 249M| 62 | 7 | 172 | 17 | 172 | 23 | 20 | 73k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1186.51/1186.94 c 1187s| 2350k|346331 | 10039k| 4.3 | 250M| 62 | 7 | 172 | 16 | 172 | 23 | 20 | 74k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1191.19/1191.64 c 1192s| 2360k|346852 | 10081k| 4.3 | 251M| 62 | 7 | 172 | 17 | 172 | 23 | 20 | 74k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1195.90/1196.32 c 1196s| 2370k|347508 | 10122k| 4.3 | 251M| 62 | - | 172 | 18 | 172 | 23 | 20 | 74k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1200.60/1201.06 c 1201s| 2380k|347766 | 10164k| 4.3 | 252M| 62 | - | 172 | 18 | 172 | 23 | 20 | 75k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1205.29/1205.79 c 1206s| 2390k|348550 | 10206k| 4.3 | 253M| 62 | 7 | 172 | 19 | 172 | 23 | 20 | 75k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1209.99/1210.45 c 1210s| 2400k|349146 | 10248k| 4.3 | 253M| 62 | 7 | 172 | 17 | 172 | 23 | 20 | 75k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1214.69/1215.14 c 1215s| 2410k|349762 | 10289k| 4.3 | 254M| 62 | - | 172 | 20 | 172 | 23 | 20 | 75k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1219.40/1219.83 c 1220s| 2420k|350483 | 10331k| 4.3 | 255M| 62 | - | 172 | 18 | 0 | 0 | 20 | 76k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1224.09/1224.56 c 1225s| 2430k|350970 | 10372k| 4.3 | 255M| 62 | 7 | 172 | 21 | 172 | 23 | 20 | 76k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1228.78/1229.26 c 1229s| 2440k|351510 | 10414k| 4.3 | 256M| 62 | 7 | 172 | 19 | 172 | 23 | 20 | 76k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1233.48/1233.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1233.48/1233.98 c 1234s| 2450k|351778 | 10456k| 4.3 | 256M| 62 | - | 172 | 19 | 172 | 23 | 20 | 77k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1238.19/1238.68 c 1239s| 2460k|352187 | 10497k| 4.3 | 257M| 62 | 7 | 172 | 19 | 172 | 23 | 20 | 77k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1242.78/1243.25 c 1243s| 2470k|352847 | 10537k| 4.3 | 257M| 62 | - | 172 | 18 | 172 | 23 | 20 | 77k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1247.48/1247.96 c 1248s| 2480k|353434 | 10579k| 4.3 | 258M| 62 | - | 172 | 22 | 172 | 23 | 20 | 78k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1252.28/1252.72 c 1253s| 2490k|353950 | 10622k| 4.3 | 259M| 62 | - | 172 | 20 | 0 | 0 | 20 | 78k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1256.89/1257.34 c 1257s| 2500k|354447 | 10663k| 4.3 | 259M| 62 | - | 172 | 19 | 172 | 23 | 20 | 78k| 24k| 0.000000e+00 | 1.400000e+01 | Inf
1261.57/1262.03 c 1262s| 2510k|355338 | 10704k| 4.3 | 260M| 62 | 7 | 172 | 20 | 172 | 23 | 20 | 78k| 24k| 0.000000e+00 | 1.400000e+01 | Inf
1266.28/1266.71 c 1267s| 2520k|355801 | 10746k| 4.3 | 261M| 62 | 7 | 172 | 17 | 172 | 23 | 20 | 79k| 24k| 0.000000e+00 | 1.400000e+01 | Inf
1270.98/1271.42 c 1271s| 2530k|357123 | 10787k| 4.3 | 262M| 62 | - | 172 | 17 | 172 | 23 | 20 | 79k| 24k| 0.000000e+00 | 1.400000e+01 | Inf
1275.67/1276.10 c 1276s| 2540k|357997 | 10828k| 4.3 | 263M| 62 | - | 172 | 16 | 0 | 0 | 20 | 79k| 24k| 0.000000e+00 | 1.400000e+01 | Inf
1280.37/1280.80 c 1281s| 2550k|358615 | 10869k| 4.3 | 263M| 62 | - | 172 | 15 | 172 | 23 | 20 | 80k| 24k| 0.000000e+00 | 1.400000e+01 | Inf
1284.97/1285.50 c 1285s| 2560k|359390 | 10910k| 4.3 | 264M| 62 | - | 172 | 16 | 0 | 0 | 20 | 80k| 24k| 0.000000e+00 | 1.400000e+01 | Inf
1288.87/1289.37 o 12
1288.87/1289.37 c *1289s| 2568k|353245 | 10944k| 4.3 | 255M| 62 | - | 172 | 16 | 172 | 23 | 20 | 80k| 24k| 0.000000e+00 | 1.200000e+01 | Inf
1288.97/1289.43 o 10
1288.97/1289.43 c *1289s| 2568k|342892 | 10944k| 4.3 | 241M| 62 | - | 172 | 16 | 172 | 23 | 20 | 80k| 24k| 0.000000e+00 | 1.000000e+01 | Inf
1289.78/1290.27 c 1290s| 2570k|342906 | 10952k| 4.3 | 241M| 62 | - | 172 | 17 | 172 | 23 | 20 | 80k| 24k| 0.000000e+00 | 1.000000e+01 | Inf
1294.37/1294.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1294.37/1294.88 c 1295s| 2580k|343208 | 10991k| 4.3 | 241M| 62 | - | 172 | 16 | 0 | 0 | 20 | 80k| 24k| 0.000000e+00 | 1.000000e+01 | Inf
1300.27/1300.79 c 1301s| 2590k|343875 | 11030k| 4.3 | 242M| 62 | 7 | 172 | 16 | 172 | 23 | 20 | 81k| 24k| 0.000000e+00 | 1.000000e+01 | Inf
1306.67/1307.15 c 1307s| 2600k|344056 | 11068k| 4.3 | 242M| 62 | - | 172 | 18 | 172 | 23 | 20 | 81k| 24k| 0.000000e+00 | 1.000000e+01 | Inf
1311.16/1311.63 c 1312s| 2610k|344240 | 11106k| 4.3 | 243M| 62 | 7 | 172 | 19 | 172 | 23 | 20 | 81k| 24k| 0.000000e+00 | 1.000000e+01 | Inf
1315.76/1316.22 c 1316s| 2620k|345278 | 11146k| 4.3 | 243M| 62 | 7 | 172 | 19 | 172 | 23 | 20 | 81k| 24k| 0.000000e+00 | 1.000000e+01 | Inf
1321.86/1322.34 c 1322s| 2630k|346027 | 11184k| 4.3 | 244M| 62 | 7 | 172 | 20 | 172 | 23 | 20 | 82k| 24k| 0.000000e+00 | 1.000000e+01 | Inf
1326.26/1326.79 c 1327s| 2640k|346537 | 11222k| 4.3 | 244M| 62 | - | 172 | 18 | 172 | 23 | 20 | 82k| 24k| 0.000000e+00 | 1.000000e+01 | Inf
1330.86/1331.36 c 1331s| 2650k|347350 | 11261k| 4.2 | 245M| 62 | 7 | 172 | 20 | 172 | 23 | 20 | 82k| 24k| 0.000000e+00 | 1.000000e+01 | Inf
1335.35/1335.80 c 1336s| 2660k|347880 | 11298k| 4.2 | 246M| 62 | - | 172 | 18 | 172 | 23 | 20 | 83k| 24k| 0.000000e+00 | 1.000000e+01 | Inf
1339.85/1340.34 c 1340s| 2670k|348296 | 11336k| 4.2 | 246M| 62 | - | 172 | 21 | 172 | 23 | 20 | 83k| 24k| 0.000000e+00 | 1.000000e+01 | Inf
1344.56/1345.04 c 1345s| 2680k|348631 | 11375k| 4.2 | 246M| 62 | - | 172 | 17 | 172 | 23 | 20 | 83k| 25k| 0.000000e+00 | 1.000000e+01 | Inf
1349.05/1349.60 c 1350s| 2690k|348836 | 11414k| 4.2 | 247M| 62 | 7 | 172 | 19 | 172 | 23 | 20 | 84k| 25k| 0.000000e+00 | 1.000000e+01 | Inf
1353.66/1354.12 c 1354s| 2700k|349386 | 11451k| 4.2 | 247M| 62 | 7 | 172 | 17 | 172 | 23 | 20 | 84k| 25k| 0.000000e+00 | 1.000000e+01 | Inf
1358.15/1358.65 c 1359s| 2710k|349522 | 11488k| 4.2 | 248M| 62 | - | 172 | 19 | 172 | 23 | 20 | 84k| 25k| 0.000000e+00 | 1.000000e+01 | Inf
1362.65/1363.12 c 1363s| 2720k|349971 | 11525k| 4.2 | 248M| 62 | 7 | 172 | 18 | 172 | 23 | 20 | 84k| 25k| 0.000000e+00 | 1.000000e+01 | Inf
1367.05/1367.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1367.05/1367.57 c 1368s| 2730k|350167 | 11563k| 4.2 | 248M| 62 | - | 172 | 15 | 172 | 23 | 20 | 85k| 25k| 0.000000e+00 | 1.000000e+01 | Inf
1371.64/1372.11 c 1372s| 2740k|350489 | 11601k| 4.2 | 249M| 62 | 7 | 172 | 15 | 172 | 23 | 20 | 85k| 25k| 0.000000e+00 | 1.000000e+01 | Inf
1376.15/1376.66 c 1377s| 2750k|350711 | 11639k| 4.2 | 249M| 62 | 7 | 172 | 14 | 172 | 23 | 20 | 85k| 25k| 0.000000e+00 | 1.000000e+01 | Inf
1380.64/1381.18 c 1381s| 2760k|350916 | 11678k| 4.2 | 250M| 62 | - | 172 | 18 | 172 | 23 | 20 | 86k| 25k| 0.000000e+00 | 1.000000e+01 | Inf
1385.24/1385.70 c 1386s| 2770k|350976 | 11715k| 4.2 | 250M| 62 | - | 172 | 18 | 172 | 23 | 20 | 86k| 25k| 0.000000e+00 | 1.000000e+01 | Inf
1389.84/1390.33 c 1390s| 2780k|351744 | 11755k| 4.2 | 250M| 62 | 7 | 172 | 21 | 172 | 23 | 20 | 86k| 25k| 0.000000e+00 | 1.000000e+01 | Inf
1394.34/1394.86 c 1395s| 2790k|352407 | 11793k| 4.2 | 251M| 62 | 7 | 172 | 15 | 172 | 23 | 20 | 86k| 25k| 0.000000e+00 | 1.000000e+01 | Inf
1398.83/1399.35 c 1399s| 2800k|352563 | 11831k| 4.2 | 251M| 62 | 7 | 172 | 15 | 172 | 23 | 20 | 87k| 25k| 0.000000e+00 | 1.000000e+01 | Inf
1403.43/1403.90 c 1404s| 2810k|352559 | 11869k| 4.2 | 252M| 62 | - | 172 | 17 | 172 | 23 | 20 | 87k| 25k| 0.000000e+00 | 1.000000e+01 | Inf
1407.83/1408.38 c 1408s| 2820k|352783 | 11906k| 4.2 | 252M| 62 | - | 172 | 20 | 172 | 23 | 20 | 87k| 25k| 0.000000e+00 | 1.000000e+01 | Inf
1412.33/1412.87 c 1413s| 2830k|353322 | 11945k| 4.2 | 252M| 62 | 7 | 172 | 17 | 172 | 23 | 20 | 88k| 25k| 0.000000e+00 | 1.000000e+01 | Inf
1416.82/1417.32 c 1417s| 2840k|353939 | 11982k| 4.2 | 253M| 62 | 7 | 172 | 19 | 172 | 23 | 20 | 88k| 25k| 0.000000e+00 | 1.000000e+01 | Inf
1421.33/1421.84 c 1422s| 2850k|355641 | 12019k| 4.2 | 254M| 62 | 7 | 172 | 18 | 172 | 23 | 20 | 88k| 26k| 0.000000e+00 | 1.000000e+01 | Inf
1425.93/1426.46 c 1426s| 2860k|357433 | 12059k| 4.2 | 255M| 62 | 7 | 172 | 20 | 172 | 23 | 20 | 89k| 26k| 0.000000e+00 | 1.000000e+01 | Inf
1430.43/1430.97 c 1431s| 2870k|358821 | 12097k| 4.2 | 256M| 62 | - | 172 | 17 | 172 | 23 | 20 | 89k| 26k| 0.000000e+00 | 1.000000e+01 | Inf
1434.92/1435.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1434.92/1435.42 c 1435s| 2880k|359781 | 12133k| 4.2 | 257M| 62 | 7 | 172 | 16 | 172 | 23 | 20 | 89k| 26k| 0.000000e+00 | 1.000000e+01 | Inf
1439.42/1439.92 c 1440s| 2890k|361070 | 12171k| 4.2 | 258M| 62 | 7 | 172 | 17 | 172 | 23 | 20 | 89k| 26k| 0.000000e+00 | 1.000000e+01 | Inf
1443.91/1444.42 c 1444s| 2900k|362005 | 12209k| 4.2 | 258M| 62 | - | 172 | 17 | 172 | 23 | 20 | 90k| 26k| 0.000000e+00 | 1.000000e+01 | Inf
1448.42/1448.95 c 1449s| 2910k|362780 | 12247k| 4.2 | 259M| 62 | - | 172 | 18 | 172 | 23 | 20 | 90k| 26k| 0.000000e+00 | 1.000000e+01 | Inf
1452.92/1453.41 c 1453s| 2920k|363460 | 12284k| 4.2 | 259M| 62 | 7 | 172 | 17 | 172 | 23 | 20 | 90k| 26k| 0.000000e+00 | 1.000000e+01 | Inf
1457.31/1457.84 c 1458s| 2930k|364444 | 12321k| 4.2 | 260M| 62 | 7 | 172 | 17 | 172 | 23 | 20 | 91k| 26k| 0.000000e+00 | 1.000000e+01 | Inf
1461.81/1462.33 c 1462s| 2940k|365382 | 12359k| 4.2 | 261M| 62 | - | 172 | 16 | 172 | 23 | 20 | 91k| 26k| 0.000000e+00 | 1.000000e+01 | Inf
1466.21/1466.79 c 1467s| 2950k|366112 | 12396k| 4.2 | 261M| 62 | - | 172 | 16 | 172 | 23 | 20 | 91k| 26k| 0.000000e+00 | 1.000000e+01 | Inf
1470.71/1471.25 c 1471s| 2960k|366504 | 12433k| 4.2 | 262M| 62 | - | 172 | 16 | 0 | 0 | 20 | 92k| 26k| 0.000000e+00 | 1.000000e+01 | Inf
1475.20/1475.72 c 1476s| 2970k|367083 | 12470k| 4.2 | 262M| 62 | - | 172 | 19 | 172 | 23 | 20 | 92k| 26k| 0.000000e+00 | 1.000000e+01 | Inf
1479.70/1480.26 c 1480s| 2980k|367356 | 12508k| 4.2 | 263M| 62 | - | 172 | 25 | 0 | 0 | 20 | 92k| 26k| 0.000000e+00 | 1.000000e+01 | Inf
1484.20/1484.75 c 1485s| 2990k|367744 | 12545k| 4.2 | 263M| 62 | 7 | 172 | 24 | 172 | 23 | 20 | 93k| 26k| 0.000000e+00 | 1.000000e+01 | Inf
1488.81/1489.31 c 1489s| 3000k|368223 | 12582k| 4.2 | 264M| 62 | 7 | 172 | 24 | 172 | 23 | 20 | 93k| 26k| 0.000000e+00 | 1.000000e+01 | Inf
1493.20/1493.75 c 1494s| 3010k|368930 | 12618k| 4.2 | 264M| 62 | - | 172 | 24 | 172 | 23 | 20 | 93k| 26k| 0.000000e+00 | 1.000000e+01 | Inf
1497.71/1498.25 c 1498s| 3020k|369559 | 12655k| 4.2 | 265M| 62 | 7 | 172 | 25 | 172 | 23 | 20 | 94k| 27k| 0.000000e+00 | 1.000000e+01 | Inf
1502.20/1502.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1502.20/1502.77 c 1503s| 3030k|369808 | 12692k| 4.2 | 265M| 62 | 7 | 172 | 21 | 172 | 23 | 20 | 94k| 27k| 0.000000e+00 | 1.000000e+01 | Inf
1506.70/1507.27 c 1507s| 3040k|370188 | 12729k| 4.2 | 266M| 62 | 7 | 172 | 23 | 172 | 23 | 20 | 95k| 27k| 0.000000e+00 | 1.000000e+01 | Inf
1511.29/1511.84 c 1512s| 3050k|370784 | 12766k| 4.2 | 266M| 62 | 7 | 172 | 21 | 172 | 23 | 20 | 95k| 27k| 0.000000e+00 | 1.000000e+01 | Inf
1515.79/1516.33 c 1516s| 3060k|371933 | 12803k| 4.2 | 267M| 62 | - | 172 | 18 | 0 | 0 | 20 | 95k| 27k| 0.000000e+00 | 1.000000e+01 | Inf
1520.29/1520.87 c 1521s| 3070k|372792 | 12842k| 4.2 | 268M| 62 | 7 | 172 | 21 | 172 | 23 | 20 | 96k| 27k| 0.000000e+00 | 1.000000e+01 | Inf
1524.79/1525.33 c 1525s| 3080k|373350 | 12878k| 4.2 | 268M| 62 | 7 | 172 | 20 | 172 | 23 | 20 | 96k| 27k| 0.000000e+00 | 1.000000e+01 | Inf
1529.19/1529.78 c 1530s| 3090k|373729 | 12915k| 4.2 | 269M| 62 | 7 | 172 | 20 | 172 | 23 | 20 | 96k| 27k| 0.000000e+00 | 1.000000e+01 | Inf
1533.69/1534.21 c 1534s| 3100k|373924 | 12950k| 4.2 | 269M| 62 | 7 | 172 | 23 | 172 | 23 | 20 | 97k| 27k| 0.000000e+00 | 1.000000e+01 | Inf
1538.09/1538.60 c 1539s| 3110k|374545 | 12986k| 4.2 | 270M| 62 | 7 | 172 | 24 | 172 | 23 | 20 | 97k| 27k| 0.000000e+00 | 1.000000e+01 | Inf
1542.38/1542.94 c 1543s| 3120k|375367 | 13020k| 4.2 | 270M| 62 | 7 | 172 | 23 | 172 | 23 | 20 | 97k| 27k| 0.000000e+00 | 1.000000e+01 | Inf
1546.78/1547.30 c 1547s| 3130k|375503 | 13055k| 4.2 | 270M| 62 | 7 | 172 | 20 | 172 | 23 | 20 | 98k| 27k| 0.000000e+00 | 1.000000e+01 | Inf
1551.19/1551.74 c 1552s| 3140k|375808 | 13091k| 4.2 | 271M| 62 | 7 | 172 | 21 | 172 | 23 | 20 | 98k| 27k| 0.000000e+00 | 1.000000e+01 | Inf
1555.58/1556.15 c 1556s| 3150k|376074 | 13126k| 4.2 | 271M| 62 | 7 | 172 | 19 | 172 | 23 | 20 | 98k| 27k| 0.000000e+00 | 1.000000e+01 | Inf
1560.08/1560.64 c 1561s| 3160k|376669 | 13163k| 4.2 | 272M| 62 | 7 | 172 | 21 | 172 | 23 | 20 | 99k| 27k| 0.000000e+00 | 1.000000e+01 | Inf
1564.48/1565.07 c 1565s| 3170k|376827 | 13198k| 4.2 | 272M| 62 | 7 | 172 | 22 | 172 | 23 | 20 | 99k| 27k| 0.000000e+00 | 1.000000e+01 | Inf
1568.98/1569.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1568.98/1569.54 c 1570s| 3180k|377147 | 13235k| 4.2 | 272M| 62 | - | 172 | 26 | 172 | 23 | 20 | 100k| 27k| 0.000000e+00 | 1.000000e+01 | Inf
1573.38/1574.00 c 1574s| 3190k|377165 | 13271k| 4.2 | 273M| 62 | 7 | 172 | 23 | 172 | 23 | 20 | 100k| 27k| 0.000000e+00 | 1.000000e+01 | Inf
1577.78/1578.39 c 1578s| 3200k|377476 | 13305k| 4.2 | 273M| 62 | 7 | 172 | 20 | 172 | 23 | 20 | 100k| 27k| 0.000000e+00 | 1.000000e+01 | Inf
1582.28/1582.87 c 1583s| 3210k|377908 | 13342k| 4.2 | 273M| 62 | - | 172 | 21 | 172 | 23 | 20 | 101k| 28k| 0.000000e+00 | 1.000000e+01 | Inf
1586.68/1587.29 c 1587s| 3220k|378215 | 13378k| 4.2 | 274M| 62 | - | 172 | 21 | 172 | 23 | 20 | 101k| 28k| 0.000000e+00 | 1.000000e+01 | Inf
1591.37/1591.90 c 1592s| 3230k|378893 | 13417k| 4.2 | 274M| 62 | 7 | 172 | 19 | 172 | 23 | 20 | 101k| 28k| 0.000000e+00 | 1.000000e+01 | Inf
1595.87/1596.50 c 1596s| 3240k|379928 | 13456k| 4.2 | 275M| 62 | 7 | 172 | 22 | 172 | 23 | 20 | 102k| 28k| 0.000000e+00 | 1.000000e+01 | Inf
1600.47/1601.05 c 1601s| 3250k|380744 | 13495k| 4.2 | 276M| 62 | - | 172 | 21 | 172 | 23 | 20 | 102k| 28k| 0.000000e+00 | 1.000000e+01 | Inf
1605.06/1605.60 c 1606s| 3260k|381169 | 13534k| 4.2 | 276M| 62 | - | 172 | 24 | 172 | 23 | 20 | 102k| 28k| 0.000000e+00 | 1.000000e+01 | Inf
1609.57/1610.19 c 1610s| 3270k|381223 | 13573k| 4.2 | 277M| 62 | - | 172 | 21 | 0 | 0 | 20 | 102k| 28k| 0.000000e+00 | 1.000000e+01 | Inf
1614.18/1614.75 c 1615s| 3280k|381287 | 13611k| 4.1 | 277M| 62 | - | 172 | 24 | 172 | 23 | 20 | 103k| 28k| 0.000000e+00 | 1.000000e+01 | Inf
1618.76/1619.31 c 1619s| 3290k|381268 | 13649k| 4.1 | 277M| 62 | - | 172 | 23 | 172 | 23 | 20 | 103k| 28k| 0.000000e+00 | 1.000000e+01 | Inf
1623.27/1623.84 c 1624s| 3300k|381290 | 13687k| 4.1 | 277M| 62 | - | 172 | 22 | 0 | 0 | 20 | 103k| 28k| 0.000000e+00 | 1.000000e+01 | Inf
1627.66/1628.29 c 1628s| 3310k|381434 | 13724k| 4.1 | 278M| 62 | - | 172 | 20 | 172 | 23 | 20 | 103k| 28k| 0.000000e+00 | 1.000000e+01 | Inf
1632.16/1632.70 c 1633s| 3320k|381386 | 13760k| 4.1 | 278M| 62 | - | 172 | 24 | 0 | 0 | 20 | 104k| 28k| 0.000000e+00 | 1.000000e+01 | Inf
1636.66/1637.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1636.66/1637.27 c 1637s| 3330k|382197 | 13799k| 4.1 | 279M| 62 | - | 172 | 24 | 0 | 0 | 20 | 104k| 28k| 0.000000e+00 | 1.000000e+01 | Inf
1641.16/1641.80 c 1642s| 3340k|382703 | 13836k| 4.1 | 279M| 62 | - | 172 | 23 | 172 | 23 | 20 | 104k| 28k| 0.000000e+00 | 1.000000e+01 | Inf
1645.76/1646.36 c 1646s| 3350k|382797 | 13874k| 4.1 | 279M| 62 | - | 172 | 21 | 172 | 23 | 20 | 105k| 28k| 0.000000e+00 | 1.000000e+01 | Inf
1650.16/1650.74 c 1651s| 3360k|383268 | 13909k| 4.1 | 280M| 62 | - | 172 | 20 | 172 | 23 | 20 | 105k| 28k| 0.000000e+00 | 1.000000e+01 | Inf
1654.65/1655.21 c 1655s| 3370k|383826 | 13946k| 4.1 | 280M| 62 | - | 172 | 16 | 0 | 0 | 20 | 105k| 28k| 0.000000e+00 | 1.000000e+01 | Inf
1659.36/1659.95 c 1660s| 3380k|385886 | 13986k| 4.1 | 282M| 62 | 7 | 172 | 18 | 172 | 23 | 20 | 105k| 28k| 0.000000e+00 | 1.000000e+01 | Inf
1663.95/1664.56 c 1665s| 3390k|387612 | 14024k| 4.1 | 283M| 62 | - | 172 | 18 | 0 | 0 | 20 | 106k| 29k| 0.000000e+00 | 1.000000e+01 | Inf
1669.45/1670.05 c 1670s| 3400k|389553 | 14063k| 4.1 | 284M| 62 | 7 | 172 | 22 | 172 | 23 | 20 | 106k| 29k| 0.000000e+00 | 1.000000e+01 | Inf
1673.94/1674.58 c 1675s| 3410k|390911 | 14100k| 4.1 | 285M| 62 | 7 | 172 | 18 | 172 | 23 | 20 | 106k| 29k| 0.000000e+00 | 1.000000e+01 | Inf
1678.55/1679.13 c 1679s| 3420k|392725 | 14137k| 4.1 | 286M| 62 | 7 | 172 | 25 | 172 | 23 | 20 | 107k| 29k| 0.000000e+00 | 1.000000e+01 | Inf
1683.24/1683.82 c 1684s| 3430k|394851 | 14176k| 4.1 | 287M| 62 | 7 | 172 | 20 | 172 | 23 | 20 | 107k| 29k| 0.000000e+00 | 1.000000e+01 | Inf
1687.84/1688.45 c 1688s| 3440k|396545 | 14215k| 4.1 | 288M| 62 | 7 | 172 | 17 | 172 | 23 | 20 | 107k| 29k| 0.000000e+00 | 1.000000e+01 | Inf
1692.44/1693.07 c 1693s| 3450k|398559 | 14253k| 4.1 | 289M| 62 | - | 172 | 18 | 0 | 0 | 20 | 108k| 29k| 0.000000e+00 | 1.000000e+01 | Inf
1697.04/1697.66 c 1698s| 3460k|399997 | 14290k| 4.1 | 290M| 62 | - | 172 | 19 | 172 | 23 | 20 | 108k| 29k| 0.000000e+00 | 1.000000e+01 | Inf
1701.74/1702.30 c 1702s| 3470k|401664 | 14329k| 4.1 | 291M| 62 | 7 | 172 | 21 | 172 | 23 | 20 | 109k| 29k| 0.000000e+00 | 1.000000e+01 | Inf
1706.33/1706.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1706.33/1706.92 c 1707s| 3480k|402968 | 14367k| 4.1 | 292M| 62 | - | 172 | 21 | 172 | 23 | 20 | 109k| 29k| 0.000000e+00 | 1.000000e+01 | Inf
1710.83/1711.46 c 1711s| 3490k|404404 | 14404k| 4.1 | 293M| 62 | 7 | 172 | 23 | 172 | 23 | 20 | 109k| 29k| 0.000000e+00 | 1.000000e+01 | Inf
1715.53/1716.10 c 1716s| 3500k|405581 | 14443k| 4.1 | 294M| 62 | - | 172 | 20 | 172 | 23 | 20 | 109k| 29k| 0.000000e+00 | 1.000000e+01 | Inf
1720.03/1720.61 c 1721s| 3510k|407140 | 14481k| 4.1 | 295M| 62 | 7 | 172 | 26 | 172 | 23 | 20 | 110k| 29k| 0.000000e+00 | 1.000000e+01 | Inf
1724.53/1725.15 c 1725s| 3520k|408637 | 14518k| 4.1 | 296M| 62 | 7 | 172 | 22 | 172 | 23 | 20 | 110k| 29k| 0.000000e+00 | 1.000000e+01 | Inf
1729.13/1729.77 c 1730s| 3530k|409866 | 14556k| 4.1 | 297M| 62 | 7 | 172 | 17 | 172 | 23 | 20 | 110k| 29k| 0.000000e+00 | 1.000000e+01 | Inf
1733.82/1734.44 c 1734s| 3540k|411337 | 14595k| 4.1 | 298M| 62 | - | 172 | 18 | 0 | 0 | 20 | 111k| 29k| 0.000000e+00 | 1.000000e+01 | Inf
1738.44/1739.07 c 1739s| 3550k|412378 | 14634k| 4.1 | 299M| 62 | - | 172 | 23 | 172 | 23 | 20 | 111k| 29k| 0.000000e+00 | 1.000000e+01 | Inf
1743.02/1743.65 c 1744s| 3560k|413618 | 14673k| 4.1 | 300M| 62 | 7 | 172 | 19 | 172 | 23 | 20 | 111k| 29k| 0.000000e+00 | 1.000000e+01 | Inf
1747.52/1748.17 c 1748s| 3570k|414816 | 14710k| 4.1 | 301M| 62 | 7 | 172 | 20 | 172 | 23 | 20 | 112k| 30k| 0.000000e+00 | 1.000000e+01 | Inf
1752.12/1752.71 c 1753s| 3580k|415808 | 14749k| 4.1 | 301M| 62 | 7 | 172 | 19 | 172 | 23 | 20 | 112k| 30k| 0.000000e+00 | 1.000000e+01 | Inf
1756.81/1757.44 c 1757s| 3590k|417676 | 14788k| 4.1 | 302M| 62 | 7 | 172 | 20 | 172 | 23 | 20 | 112k| 30k| 0.000000e+00 | 1.000000e+01 | Inf
1761.52/1762.11 c 1762s| 3600k|419231 | 14828k| 4.1 | 303M| 62 | - | 172 | 17 | 172 | 23 | 20 | 112k| 30k| 0.000000e+00 | 1.000000e+01 | Inf
1766.11/1766.73 c 1767s| 3610k|420629 | 14867k| 4.1 | 304M| 62 | - | 172 | 21 | 172 | 23 | 20 | 113k| 30k| 0.000000e+00 | 1.000000e+01 | Inf
1770.71/1771.32 c 1771s| 3620k|421808 | 14906k| 4.1 | 305M| 62 | - | 172 | 18 | 172 | 23 | 20 | 113k| 30k| 0.000000e+00 | 1.000000e+01 | Inf
1775.21/1775.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1775.21/1775.87 c 1776s| 3630k|422647 | 14944k| 4.1 | 306M| 62 | - | 172 | 21 | 172 | 23 | 20 | 113k| 30k| 0.000000e+00 | 1.000000e+01 | Inf
1779.80/1780.50 c 1780s| 3640k|423501 | 14983k| 4.1 | 307M| 62 | - | 172 | 17 | 172 | 23 | 20 | 114k| 30k| 0.000000e+00 | 1.000000e+01 | Inf
1784.40/1785.02 c 1785s| 3650k|424375 | 15020k| 4.1 | 307M| 62 | - | 172 | 27 | 172 | 23 | 20 | 114k| 30k| 0.000000e+00 | 1.000000e+01 | Inf
1789.11/1789.73 c 1790s| 3660k|426196 | 15059k| 4.1 | 309M| 62 | - | 172 | 22 | 172 | 23 | 20 | 114k| 30k| 0.000000e+00 | 1.000000e+01 | Inf
1789.41/1790.01 c
1789.41/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.41/1790.01 c Solving Time (sec) : 1790.00
1789.41/1790.01 c Solving Nodes : 3660624
1789.41/1790.01 c Primal Bound : +1.00000000000000e+01 (69 solutions)
1789.41/1790.01 c Dual Bound : +0.00000000000000e+00
1789.41/1790.01 c Gap : infinite
1789.41/1790.01 s SATISFIABLE
1789.41/1790.01 v x172 x171 -x170 x169 x168 x167 x166 x165 x164 x163 x162 -x161 -x160 -x159 -x158 x157 x156 -x155 x154 -x153 -x152 x151 -x150 -x149
1789.41/1790.01 v x148 x147 x146 -x145 x144 -x143 -x142 -x141 x140 -x139 x138 -x137 -x136 -x135 -x134 x133 -x132 -x131 -x130 x129 x128 -x127
1789.41/1790.01 v x126 x125 -x124 -x123 -x122 -x121 -x120 x119 -x118 x117 -x116 x115 x114 x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105
1789.41/1790.01 v -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81
1789.41/1790.01 v -x80 -x79 -x78 -x77 -x76 x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55
1789.41/1790.01 v -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 x33 -x32 -x31 -x30
1789.41/1790.01 v -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4
1789.41/1790.01 v -x3 x2 -x1
1789.41/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.41/1790.01 c Solving Time : 1790.00
1789.41/1790.01 c Original Problem :
1789.41/1790.01 c Problem name : HOME/instance-2703936-1278562944.opb
1789.41/1790.01 c Variables : 172 (172 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.41/1790.01 c Constraints : 14 initial, 14 maximal
1789.41/1790.01 c Presolved Problem :
1789.41/1790.01 c Problem name : t_HOME/instance-2703936-1278562944.opb
1789.41/1790.01 c Variables : 172 (172 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.41/1790.01 c Constraints : 7 initial, 78 maximal
1789.41/1790.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.41/1790.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1789.41/1790.01 c dualfix : 0.00 0 0 0 0 0 0 0 0
1789.41/1790.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.41/1790.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.41/1790.01 c implics : 0.00 0 0 0 0 0 0 0 0
1789.41/1790.01 c probing : 0.01 0 0 0 0 0 0 0 0
1789.41/1790.01 c linear : 0.00 0 0 0 0 0 7 0 0
1789.41/1790.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1789.41/1790.01 c root node : - 56 - - 56 - - - -
1789.41/1790.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.41/1790.01 c integral : 0 0 0 2102459 0 531 6931 0 0 4190386
1789.41/1790.01 c linear : 7+ 7 5378487 0 0 472887 3194031 0 0 0
1789.41/1790.01 c logicor : 0+ 0 720756 0 0 2165 37530 0 0 0
1789.41/1790.01 c countsols : 0 0 0 43 1 0 0 0 0 0
1789.41/1790.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.41/1790.01 c integral : 31.07 0.00 0.00 31.07 0.00
1789.41/1790.01 c linear : 415.92 0.00 415.92 0.00 0.00
1789.41/1790.01 c logicor : 2.04 0.00 2.04 0.00 0.00
1789.41/1790.01 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.41/1790.01 c Propagators : Time Calls Cutoffs DomReds
1789.41/1790.01 c vbounds : 2.11 2 0 0
1789.41/1790.01 c rootredcost : 2.14 65 0 56
1789.41/1790.01 c pseudoobj : 45.31 5382555 4219 491397
1789.41/1790.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.41/1790.01 c propagation : 34.25 477529 102884 120483 59.9 12 38.3 -
1789.41/1790.01 c infeasible LP : 1.19 13152 12417 17198 40.9 0 0.0 0
1789.41/1790.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.41/1790.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.41/1790.01 c pseudo solution : 0.00 8 8 8 2.5 0 0.0 -
1789.41/1790.01 c applied globally : - - - 4807 26.9 - - -
1789.41/1790.01 c applied locally : - - - 109875 58.2 - - -
1789.41/1790.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.41/1790.01 c cut pool : 0.00 5 - - 2 - (maximal pool size: 49)
1789.41/1790.01 c redcost : 72.06 2986543 0 18088408 0 0
1789.41/1790.01 c impliedbounds : 0.00 6 0 0 0 0
1789.41/1790.01 c intobj : 0.00 0 0 0 0 0
1789.41/1790.01 c cgmip : 0.00 0 0 0 0 0
1789.41/1790.01 c gomory : 0.01 6 0 0 0 0
1789.41/1790.01 c strongcg : 0.01 6 0 0 17 0
1789.41/1790.01 c cmir : 0.03 6 0 0 12 0
1789.41/1790.01 c flowcover : 0.05 6 0 0 23 0
1789.41/1790.01 c clique : 0.00 1 0 0 0 0
1789.41/1790.01 c zerohalf : 0.00 0 0 0 0 0
1789.41/1790.01 c mcf : 0.00 1 0 0 0 0
1789.41/1790.01 c rapidlearning : 0.10 1 0 0 0 52
1789.41/1790.01 c Pricers : Time Calls Vars
1789.41/1790.01 c problem variables: 0.00 0 0
1789.41/1790.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.41/1790.01 c relpscost : 28.84 2102416 531 6931 0 0 4190386
1789.41/1790.01 c pscost : 0.00 0 0 0 0 0 0
1789.41/1790.01 c inference : 0.00 1 0 0 0 0 2
1789.41/1790.01 c mostinf : 0.00 0 0 0 0 0 0
1789.41/1790.01 c leastinf : 0.00 0 0 0 0 0 0
1789.41/1790.01 c fullstrong : 0.00 0 0 0 0 0 0
1789.41/1790.01 c allfullstrong : 0.00 0 0 0 0 0 0
1789.41/1790.01 c random : 0.00 0 0 0 0 0 0
1789.41/1790.01 c Primal Heuristics : Time Calls Found
1789.41/1790.01 c LP solutions : 0.41 - 43
1789.41/1790.01 c pseudo solutions : 0.00 - 0
1789.41/1790.01 c feaspump : 0.27 1 0
1789.41/1790.01 c oneopt : 1.55 63 0
1789.41/1790.01 c crossover : 27.02 21 0
1789.41/1790.01 c rootsoldiving : 6.47 1159 3
1789.41/1790.01 c guideddiving : 10.31 3587 3
1789.41/1790.01 c objpscostdiving : 3.95 1794 0
1789.41/1790.01 c coefdiving : 21.30 3588 0
1789.41/1790.01 c pscostdiving : 12.85 3588 5
1789.41/1790.01 c fracdiving : 13.02 3588 7
1789.41/1790.01 c veclendiving : 7.97 3588 3
1789.41/1790.01 c linesearchdiving : 9.26 3588 3
1789.41/1790.01 c trivial : 0.00 2 0
1789.41/1790.01 c simplerounding : 1.54 0 0
1789.41/1790.01 c zirounding : 1.35 1000 0
1789.41/1790.01 c rounding : 2.85 21358 0
1789.41/1790.01 c shifting : 10.39 9594 1
1789.41/1790.01 c intshifting : 0.12 0 0
1789.41/1790.02 c twoopt : 0.00 0 0
1789.41/1790.02 c fixandinfer : 0.00 0 0
1789.41/1790.02 c intdiving : 0.00 0 0
1789.41/1790.02 c actconsdiving : 0.00 0 0
1789.41/1790.02 c octane : 0.00 0 0
1789.41/1790.02 c rens : 0.09 1 0
1789.41/1790.02 c rins : 0.00 0 0
1789.41/1790.02 c localbranching : 0.00 0 0
1789.41/1790.02 c mutation : 0.00 0 0
1789.41/1790.02 c dins : 0.00 0 0
1789.41/1790.02 c undercover : 0.00 0 0
1789.41/1790.02 c nlp : 1.09 0 0
1789.41/1790.02 c trysol : 1.96 0 0
1789.41/1790.02 c LP : Time Calls Iterations Iter/call Iter/sec
1789.41/1790.02 c primal LP : 0.00 0 0 0.00 -
1789.41/1790.02 c dual LP : 718.70 3411764 14317568 4.20 19921.38
1789.41/1790.02 c lex dual LP : 0.00 0 0 0.00 -
1789.41/1790.02 c barrier LP : 0.00 0 0 0.00 -
1789.41/1790.02 c diving/probing LP: 44.28 326292 744115 2.28 16805.32
1789.41/1790.02 c strong branching : 8.26 30478 95281 3.13 11530.51
1789.41/1790.02 c (at root node) : - 9 326 36.22 -
1789.41/1790.02 c conflict analysis: 0.00 0 0 0.00 -
1789.41/1790.02 c B&B Tree :
1789.41/1790.02 c number of runs : 1
1789.41/1790.02 c nodes : 3660624
1789.41/1790.02 c nodes (total) : 3660624
1789.41/1790.02 c nodes left : 426382
1789.41/1790.02 c max depth : 62
1789.41/1790.02 c max depth (total): 62
1789.41/1790.02 c backtracks : 763129 (20.8%)
1789.41/1790.02 c delayed cutoffs : 21114
1789.41/1790.02 c repropagations : 38410 (143443 domain reductions, 21101 cutoffs)
1789.41/1790.02 c avg switch length: 5.68
1789.41/1790.02 c switching time : 122.80
1789.41/1790.02 c Solution :
1789.41/1790.02 c Solutions found : 69 (65 improvements)
1789.41/1790.02 c First Solution : +1.12600000000000e+03 (in run 1, after 1 nodes, 0.13 seconds, depth 0, found by <trysol>)
1789.41/1790.02 c Primal Bound : +1.00000000000000e+01 (in run 1, after 2568118 nodes, 1289.36 seconds, depth 42, found by <relaxation>)
1789.41/1790.02 c Dual Bound : +0.00000000000000e+00
1789.41/1790.02 c Gap : infinite
1789.41/1790.02 c Root Dual Bound : +0.00000000000000e+00
1789.41/1790.02 c Root Iterations : 102
1791.00/1791.68 c Time complete: 1791.08.
OK 10
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2703936-1278562944/watcher-2703936-1278562944 -o /tmp/evaluation-result-2703936-1278562944/solver-2703936-1278562944 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703936-1278562944.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.99 0.98 0.99 3/106 28380 /proc/meminfo: memFree=1722528/2059040 swapFree=4139544/4192956 [pid=28380] ppid=28378 vsize=7904 CPUtime=0 /proc/28380/stat : 28380 (pbscip.linux.x8) R 28378 28380 28268 0 -1 4202496 1201 0 0 0 0 0 0 0 25 0 1 0 24505899 8093696 1114 1992294400 4194304 8395647 140735561154576 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28380/statm: 1976 1124 365 1026 0 946 0 [startup+0.0247601 s] /proc/loadavg: 0.99 0.98 0.99 3/106 28380 /proc/meminfo: memFree=1722528/2059040 swapFree=4139544/4192956 [pid=28380] ppid=28378 vsize=13852 CPUtime=0.01 /proc/28380/stat : 28380 (pbscip.linux.x8) R 28378 28380 28268 0 -1 4202496 2853 0 0 0 1 0 0 0 25 0 1 0 24505899 14184448 2412 1992294400 4194304 8395647 140735561154576 18446744073709551615 5006061 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28380/statm: 3463 2412 477 1026 0 2433 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 13852 [startup+0.101767 s] /proc/loadavg: 0.99 0.98 0.99 3/106 28380 /proc/meminfo: memFree=1722528/2059040 swapFree=4139544/4192956 [pid=28380] ppid=28378 vsize=23016 CPUtime=0.09 /proc/28380/stat : 28380 (pbscip.linux.x8) R 28378 28380 28268 0 -1 4202496 4944 0 0 0 8 1 0 0 25 0 1 0 24505899 23568384 4503 1992294400 4194304 8395647 140735561154576 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28380/statm: 5754 4503 597 1026 0 4724 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 23016 [startup+0.301787 s] /proc/loadavg: 0.99 0.98 0.99 3/106 28380 /proc/meminfo: memFree=1722528/2059040 swapFree=4139544/4192956 [pid=28380] ppid=28378 vsize=24340 CPUtime=0.29 /proc/28380/stat : 28380 (pbscip.linux.x8) R 28378 28380 28268 0 -1 4202496 5665 0 0 0 26 3 0 0 25 0 1 0 24505899 24924160 5224 1992294400 4194304 8395647 140735561154576 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28380/statm: 6085 5224 620 1026 0 5055 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24340 [startup+0.701828 s] /proc/loadavg: 0.99 0.98 0.99 3/106 28380 /proc/meminfo: memFree=1722528/2059040 swapFree=4139544/4192956 [pid=28380] ppid=28378 vsize=24340 CPUtime=0.7 /proc/28380/stat : 28380 (pbscip.linux.x8) R 28378 28380 28268 0 -1 4202496 5667 0 0 0 63 7 0 0 25 0 1 0 24505899 24924160 5226 1992294400 4194304 8395647 140735561154576 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28380/statm: 6085 5226 622 1026 0 5055 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 24340 [startup+1.50191 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28381 /proc/meminfo: memFree=1704044/2059040 swapFree=4139544/4192956 [pid=28380] ppid=28378 vsize=24340 CPUtime=1.49 /proc/28380/stat : 28380 (pbscip.linux.x8) R 28378 28380 28268 0 -1 4202496 5672 0 0 0 140 9 0 0 25 0 1 0 24505899 24924160 5231 1992294400 4194304 8395647 140735561154576 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28380/statm: 6085 5231 623 1026 0 5055 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 24340 [startup+3.10107 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28381 /proc/meminfo: memFree=1703672/2059040 swapFree=4139544/4192956 [pid=28380] ppid=28378 vsize=24340 CPUtime=3.09 /proc/28380/stat : 28380 (pbscip.linux.x8) R 28378 28380 28268 0 -1 4202496 5680 0 0 0 293 16 0 0 25 0 1 0 24505899 24924160 5239 1992294400 4194304 8395647 140735561154576 18446744073709551615 7185507 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28380/statm: 6085 5239 623 1026 0 5055 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 24340 [startup+6.3014 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28381 /proc/meminfo: memFree=1703300/2059040 swapFree=4139544/4192956 [pid=28380] ppid=28378 vsize=24340 CPUtime=6.29 /proc/28380/stat : 28380 (pbscip.linux.x8) R 28378 28380 28268 0 -1 4202496 5693 0 0 0 601 28 0 0 25 0 1 0 24505899 24924160 5252 1992294400 4194304 8395647 140735561154576 18446744073709551615 4433659 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28380/statm: 6085 5252 623 1026 0 5055 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 24340 [startup+12.701 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28382 /proc/meminfo: memFree=1703176/2059040 swapFree=4139544/4192956 [pid=28380] ppid=28378 vsize=23316 CPUtime=12.69 /proc/28380/stat : 28380 (pbscip.linux.x8) R 28378 28380 28268 0 -1 4202496 6234 0 0 0 1215 54 0 0 25 0 1 0 24505899 23875584 5056 1992294400 4194304 8395647 140735561154576 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28380/statm: 5829 5056 623 1026 0 4799 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 23316 [startup+25.5013 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28382 /proc/meminfo: memFree=1690528/2059040 swapFree=4139544/4192956 [pid=28380] ppid=28378 vsize=28420 CPUtime=25.48 /proc/28380/stat : 28380 (pbscip.linux.x8) R 28378 28380 28268 0 -1 4202496 20899 0 0 0 2422 126 0 0 25 0 1 0 24505899 29102080 6383 1992294400 4194304 8395647 140735561154576 18446744073709551615 7385335 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28380/statm: 7105 6383 624 1026 0 6075 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 28420 [startup+51.101 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28383 /proc/meminfo: memFree=1679616/2059040 swapFree=4139544/4192956 [pid=28380] ppid=28378 vsize=43248 CPUtime=51.08 /proc/28380/stat : 28380 (pbscip.linux.x8) R 28378 28380 28268 0 -1 4202496 53212 0 0 0 4875 233 0 0 25 0 1 0 24505899 44285952 10185 1992294400 4194304 8395647 140735561154576 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28380/statm: 10812 10185 630 1026 0 9782 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 43248 [startup+102.309 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28384 /proc/meminfo: memFree=1643780/2059040 swapFree=4139544/4192956 [pid=28380] ppid=28378 vsize=85384 CPUtime=102.27 /proc/28380/stat : 28380 (pbscip.linux.x8) R 28378 28380 28268 0 -1 4202496 79221 0 0 0 9771 456 0 0 25 0 1 0 24505899 87433216 20142 1992294400 4194304 8395647 140735561154576 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28380/statm: 21346 20142 630 1026 0 20316 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 85384 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28386 /proc/meminfo: memFree=1620096/2059040 swapFree=4139544/4192956 [pid=28380] ppid=28378 vsize=109204 CPUtime=162.23 /proc/28380/stat : 28380 (pbscip.linux.x8) R 28378 28380 28268 0 -1 4202496 115240 0 0 0 15488 735 0 0 25 0 1 0 24505899 111824896 26161 1992294400 4194304 8395647 140735561154576 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28380/statm: 27301 26161 630 1026 0 26271 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 109204 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28387 /proc/meminfo: memFree=1615756/2059040 swapFree=4139544/4192956 [pid=28380] ppid=28378 vsize=111104 CPUtime=222.22 /proc/28380/stat : 28380 (pbscip.linux.x8) R 28378 28380 28268 0 -1 4202496 132626 0 0 0 21227 995 0 0 25 0 1 0 24505899 113770496 26996 1992294400 4194304 8395647 140735561154576 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28380/statm: 27776 26996 630 1026 0 26746 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 111104 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28389 /proc/meminfo: memFree=1609928/2059040 swapFree=4139544/4192956 [pid=28380] ppid=28378 vsize=116324 CPUtime=282.2 /proc/28380/stat : 28380 (pbscip.linux.x8) R 28378 28380 28268 0 -1 4202496 144926 0 0 0 26968 1252 0 0 25 0 1 0 24505899 119115776 28345 1992294400 4194304 8395647 140735561154576 18446744073709551615 5026755 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28380/statm: 29081 28345 630 1026 0 28051 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 116324 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28390 /proc/meminfo: memFree=1605836/2059040 swapFree=4139544/4192956 [pid=28380] ppid=28378 vsize=121136 CPUtime=342.19 /proc/28380/stat : 28380 (pbscip.linux.x8) R 28378 28380 28268 0 -1 4202496 148210 0 0 0 32719 1500 0 0 25 0 1 0 24505899 124043264 29522 1992294400 4194304 8395647 140735561154576 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28380/statm: 30284 29522 630 1026 0 29254 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 121136 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28392 /proc/meminfo: memFree=1599760/2059040 swapFree=4139544/4192956 [pid=28380] ppid=28378 vsize=126996 CPUtime=402.16 /proc/28380/stat : 28380 (pbscip.linux.x8) R 28378 28380 28268 0 -1 4202496 151495 0 0 0 38490 1726 0 0 25 0 1 0 24505899 130043904 31016 1992294400 4194304 8395647 140735561154576 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28380/statm: 31749 31016 630 1026 0 30719 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 126996 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28394 /proc/meminfo: memFree=1592444/2059040 swapFree=4139544/4192956 [pid=28380] ppid=28378 vsize=134060 CPUtime=462.14 /proc/28380/stat : 28380 (pbscip.linux.x8) R 28378 28380 28268 0 -1 4202496 154144 0 0 0 44261 1953 0 0 25 0 1 0 24505899 137277440 32808 1992294400 4194304 8395647 140735561154576 18446744073709551615 5026896 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28380/statm: 33515 32808 630 1026 0 32485 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 134060 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28395 /proc/meminfo: memFree=1582648/2059040 swapFree=4139544/4192956 [pid=28380] ppid=28378 vsize=143688 CPUtime=522.12 /proc/28380/stat : 28380 (pbscip.linux.x8) R 28378 28380 28268 0 -1 4202496 156585 0 0 0 50029 2183 0 0 25 0 1 0 24505899 147136512 35249 1992294400 4194304 8395647 140735561154576 18446744073709551615 5027383 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28380/statm: 35922 35249 630 1026 0 34892 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 143688 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28397 /proc/meminfo: memFree=1573472/2059040 swapFree=4139544/4192956 [pid=28380] ppid=28378 vsize=152628 CPUtime=582.1 /proc/28380/stat : 28380 (pbscip.linux.x8) R 28378 28380 28268 0 -1 4202496 158855 0 0 0 55806 2404 0 0 25 0 1 0 24505899 156291072 37519 1992294400 4194304 8395647 140735561154576 18446744073709551615 18446744073699065911 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28380/statm: 38157 37519 630 1026 0 37127 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 152628 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28398 /proc/meminfo: memFree=1557352/2059040 swapFree=4139544/4192956 [pid=28380] ppid=28378 vsize=171772 CPUtime=642.09 /proc/28380/stat : 28380 (pbscip.linux.x8) R 28378 28380 28268 0 -1 4202496 163544 0 0 0 61576 2633 0 0 25 0 1 0 24505899 175894528 41351 1992294400 4194304 8395647 140735561154576 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28380/statm: 42943 41351 630 1026 0 41913 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 171772 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1464352/2059040 swapFree=4139544/4192956 [pid=28380] ppid=28378 vsize=262728 CPUtime=1061.95 /proc/28380/stat : 28380 (pbscip.linux.x8) R 28378 28380 28268 0 -1 4202496 187595 0 0 0 101932 4263 0 0 25 0 1 0 24505899 269033472 64550 1992294400 4194304 8395647 140735561154576 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28380/statm: 65682 64550 630 1026 0 64652 0 Current children cumulated CPU time (s) 1061.95 Current children cumulated vsize (KiB) 262728 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28411 /proc/meminfo: memFree=1455176/2059040 swapFree=4139544/4192956 [pid=28380] ppid=28378 vsize=271652 CPUtime=1121.92 /proc/28380/stat : 28380 (pbscip.linux.x8) R 28378 28380 28268 0 -1 4202496 189861 0 0 0 107695 4497 0 0 25 0 1 0 24505899 278171648 66816 1992294400 4194304 8395647 140735561154576 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28380/statm: 67913 66816 630 1026 0 66883 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 271652 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28413 /proc/meminfo: memFree=1440792/2059040 swapFree=4139544/4192956 [pid=28380] ppid=28378 vsize=286168 CPUtime=1181.9 /proc/28380/stat : 28380 (pbscip.linux.x8) R 28378 28380 28268 0 -1 4202496 193545 0 0 0 113463 4727 0 0 25 0 1 0 24505899 293036032 70500 1992294400 4194304 8395647 140735561154576 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28380/statm: 71542 70500 630 1026 0 70512 0 Current children cumulated CPU time (s) 1181.9 Current children cumulated vsize (KiB) 286168 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28414 /proc/meminfo: memFree=1434468/2059040 swapFree=4139544/4192956 [pid=28380] ppid=28378 vsize=291716 CPUtime=1241.88 /proc/28380/stat : 28380 (pbscip.linux.x8) R 28378 28380 28268 0 -1 4202496 194962 0 0 0 119223 4965 0 0 25 0 1 0 24505899 298717184 71917 1992294400 4194304 8395647 140735561154576 18446744073709551615 4420653 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28380/statm: 72929 71917 630 1026 0 71899 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 291716 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28416 /proc/meminfo: memFree=1426036/2059040 swapFree=4139544/4192956 [pid=28380] ppid=28378 vsize=299048 CPUtime=1301.88 /proc/28380/stat : 28380 (pbscip.linux.x8) R 28378 28380 28268 0 -1 4202496 204069 0 0 0 124979 5209 0 0 25 0 1 0 24505899 306225152 73808 1992294400 4194304 8395647 140735561154576 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28380/statm: 74762 73808 630 1026 0 73732 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 299048 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28418 /proc/meminfo: memFree=1426036/2059040 swapFree=4139544/4192956 [pid=28380] ppid=28378 vsize=299048 CPUtime=1361.85 /proc/28380/stat : 28380 (pbscip.linux.x8) R 28378 28380 28268 0 -1 4202496 209966 0 0 0 130714 5471 0 0 25 0 1 0 24505899 306225152 73808 1992294400 4194304 8395647 140735561154576 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28380/statm: 74762 73808 630 1026 0 73732 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 299048 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28419 /proc/meminfo: memFree=1424672/2059040 swapFree=4139544/4192956 [pid=28380] ppid=28378 vsize=301096 CPUtime=1421.83 /proc/28380/stat : 28380 (pbscip.linux.x8) R 28378 28380 28268 0 -1 4202496 211300 0 0 0 136485 5698 0 0 25 0 1 0 24505899 308322304 74290 1992294400 4194304 8395647 140735561154576 18446744073709551615 5026843 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28380/statm: 75274 74290 630 1026 0 74244 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 301096 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28421 /proc/meminfo: memFree=1417108/2059040 swapFree=4139544/4192956 [pid=28380] ppid=28378 vsize=307824 CPUtime=1481.8 /proc/28380/stat : 28380 (pbscip.linux.x8) R 28378 28380 28268 0 -1 4202496 213895 0 0 0 142259 5921 0 0 25 0 1 0 24505899 315211776 76034 1992294400 4194304 8395647 140735561154576 18446744073709551615 5005929 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28380/statm: 76956 76034 630 1026 0 75926 0 Current children cumulated CPU time (s) 1481.8 Current children cumulated vsize (KiB) 307824 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28422 /proc/meminfo: memFree=1412396/2059040 swapFree=4139544/4192956 [pid=28380] ppid=28378 vsize=313004 CPUtime=1541.78 /proc/28380/stat : 28380 (pbscip.linux.x8) R 28378 28380 28268 0 -1 4202496 215187 0 0 0 148042 6136 0 0 25 0 1 0 24505899 320516096 77326 1992294400 4194304 8395647 140735561154576 18446744073709551615 6262410 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28380/statm: 78251 77326 630 1026 0 77221 0 Current children cumulated CPU time (s) 1541.78 Current children cumulated vsize (KiB) 313004 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28424 /proc/meminfo: memFree=1407188/2059040 swapFree=4139544/4192956 [pid=28380] ppid=28378 vsize=318052 CPUtime=1601.77 /proc/28380/stat : 28380 (pbscip.linux.x8) R 28378 28380 28268 0 -1 4202496 216470 0 0 0 153824 6353 0 0 25 0 1 0 24505899 325685248 78609 1992294400 4194304 8395647 140735561154576 18446744073709551615 5006496 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28380/statm: 79513 78609 630 1026 0 78483 0 Current children cumulated CPU time (s) 1601.77 Current children cumulated vsize (KiB) 318052 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28426 /proc/meminfo: memFree=1399260/2059040 swapFree=4139544/4192956 [pid=28380] ppid=28378 vsize=324772 CPUtime=1661.75 /proc/28380/stat : 28380 (pbscip.linux.x8) R 28378 28380 28268 0 -1 4202496 218173 0 0 0 159600 6575 0 0 25 0 1 0 24505899 332566528 80312 1992294400 4194304 8395647 140735561154576 18446744073709551615 4995169 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28380/statm: 81193 80312 630 1026 0 80163 0 Current children cumulated CPU time (s) 1661.75 Current children cumulated vsize (KiB) 324772 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28427 /proc/meminfo: memFree=1387976/2059040 swapFree=4139544/4192956 [pid=28380] ppid=28378 vsize=335960 CPUtime=1721.73 /proc/28380/stat : 28380 (pbscip.linux.x8) R 28378 28380 28268 0 -1 4202496 222932 0 0 0 165357 6816 0 0 25 0 1 0 24505899 344023040 83192 1992294400 4194304 8395647 140735561154576 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28380/statm: 83990 83192 630 1026 0 82960 0 Current children cumulated CPU time (s) 1721.73 Current children cumulated vsize (KiB) 335960 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28429 /proc/meminfo: memFree=1376940/2059040 swapFree=4139544/4192956 [pid=28380] ppid=28378 vsize=346152 CPUtime=1781.71 /proc/28380/stat : 28380 (pbscip.linux.x8) R 28378 28380 28268 0 -1 4202496 225541 0 0 0 171126 7045 0 0 25 0 1 0 24505899 354459648 85801 1992294400 4194304 8395647 140735561154576 18446744073709551615 4680895 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28380/statm: 86538 85801 630 1026 0 85508 0 Current children cumulated CPU time (s) 1781.71 Current children cumulated vsize (KiB) 346152 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28429 /proc/meminfo: memFree=1376444/2059040 swapFree=4139544/4192956 [pid=28380] ppid=28378 vsize=347040 CPUtime=1784.91 /proc/28380/stat : 28380 (pbscip.linux.x8) R 28378 28380 28268 0 -1 4202496 225767 0 0 0 171433 7058 0 0 25 0 1 0 24505899 355368960 86027 1992294400 4194304 8395647 140735561154576 18446744073709551615 4243449 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28380/statm: 86760 86027 630 1026 0 85730 0 Current children cumulated CPU time (s) 1784.91 Current children cumulated vsize (KiB) 347040 [startup+1788.7 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28429 /proc/meminfo: memFree=1375824/2059040 swapFree=4139544/4192956 [pid=28380] ppid=28378 vsize=347176 CPUtime=1788.1 /proc/28380/stat : 28380 (pbscip.linux.x8) R 28378 28380 28268 0 -1 4202496 225805 0 0 0 171740 7070 0 0 25 0 1 0 24505899 355508224 86065 1992294400 4194304 8395647 140735561154576 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28380/statm: 86794 86065 630 1026 0 85764 0 Current children cumulated CPU time (s) 1788.1 Current children cumulated vsize (KiB) 347176 [startup+1790.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28429 /proc/meminfo: memFree=1375452/2059040 swapFree=4139544/4192956 [pid=28380] ppid=28378 vsize=347552 CPUtime=1789.7 /proc/28380/stat : 28380 (pbscip.linux.x8) R 28378 28380 28268 0 -1 4202496 225906 0 0 0 171894 7076 0 0 25 0 1 0 24505899 355893248 86166 1992294400 4194304 8395647 140735561154576 18446744073709551615 4723516 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28380/statm: 86888 86166 632 1026 0 85858 0 Current children cumulated CPU time (s) 1789.7 Current children cumulated vsize (KiB) 347552 [startup+1791.1 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28429 /proc/meminfo: memFree=1375452/2059040 swapFree=4139544/4192956 [pid=28380] ppid=28378 vsize=347552 CPUtime=1790.5 /proc/28380/stat : 28380 (pbscip.linux.x8) R 28378 28380 28268 0 -1 4202496 225906 0 0 0 171974 7076 0 0 25 0 1 0 24505899 355893248 86166 1992294400 4194304 8395647 140735561154576 18446744073709551615 4665803 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28380/statm: 86888 86166 632 1026 0 85858 0 Current children cumulated CPU time (s) 1790.5 Current children cumulated vsize (KiB) 347552 [startup+1791.5 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28429 /proc/meminfo: memFree=1375452/2059040 swapFree=4139544/4192956 [pid=28380] ppid=28378 vsize=347552 CPUtime=1790.9 /proc/28380/stat : 28380 (pbscip.linux.x8) R 28378 28380 28268 0 -1 4202496 225906 0 0 0 172014 7076 0 0 25 0 1 0 24505899 355893248 86166 1992294400 4194304 8395647 140735561154576 18446744073709551615 6345370 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28380/statm: 86888 86166 632 1026 0 85858 0 Current children cumulated CPU time (s) 1790.9 Current children cumulated vsize (KiB) 347552 [startup+1791.6 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28429 /proc/meminfo: memFree=1375452/2059040 swapFree=4139544/4192956 [pid=28380] ppid=28378 vsize=347552 CPUtime=1791 /proc/28380/stat : 28380 (pbscip.linux.x8) R 28378 28380 28268 0 -1 4202496 225906 0 0 0 172024 7076 0 0 25 0 1 0 24505899 355893248 86166 1992294400 4194304 8395647 140735561154576 18446744073709551615 6345211 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28380/statm: 86888 86166 632 1026 0 85858 0 Current children cumulated CPU time (s) 1791 Current children cumulated vsize (KiB) 347552 Child status: 0 Real time (s): 1791.69 CPU time (s): 1791.09 CPU user time (s): 1720.3 CPU system time (s): 70.7992 CPU usage (%): 99.967 Max. virtual memory (cumulated for all children) (KiB): 347552 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1720.3 system time used= 70.7992 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 225909 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= 1 involuntary context switches= 2619 runsolver used 4.17636 second user time and 8.70468 second system time The end
Begin job on node027 at 2010-07-08 06:22:24 IDJOB=2703936 IDBENCH=2932 IDSOLVER=1213 FILE ID=node027/2703936-1278562944 PBS_JOBID= 11239551 Free space on /tmp= 62536 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_7_60_3.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-2703936-1278562944/watcher-2703936-1278562944 -o /tmp/evaluation-result-2703936-1278562944/solver-2703936-1278562944 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703936-1278562944.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 474916db0f2f0be5831d97827cee8e55 RANDOM SEED=1480320728 node027.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 : 2800.222 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 : 5600.44 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 : 2800.222 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: 1723056 kB Buffers: 52208 kB Cached: 184712 kB SwapCached: 6688 kB Active: 86228 kB Inactive: 164228 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1723056 kB SwapTotal: 4192956 kB SwapFree: 4139544 kB Dirty: 10328 kB Writeback: 0 kB AnonPages: 11436 kB Mapped: 11856 kB Slab: 63452 kB PageTables: 4248 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181164 kB VmallocTotal: 34359738367 kB VmallocUsed: 264952 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62524 MiB End job on node027 at 2010-07-08 06:52:16