Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver | SAT (TO) | 6 | 1800.56 | 1801.13 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_6_50_2.opb |
| MD5SUM | b690996610ff381ef60353517fe5a0e9 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 6 |
| Best CPU time to get the best result obtained on this benchmark | 1800.56 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 6 |
| Optimality of the best value was proved | NO |
| Number of variables | 146 |
| Total number of constraints | 12 |
| 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 | 12 |
| Minimum length of a constraint | 64 |
| Maximum length of a constraint | 66 |
| Number of terms in the objective function | 96 |
| 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 | 3060 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1293 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 4389 |
| 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.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2665657-1276602148.opb>
0.00/0.01 c original problem has 146 variables (146 bin, 0 int, 0 impl, 0 cont) and 12 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, 6 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.03 c (0.0s) probing: 101/146 (69.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.03 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.03 c presolving (2 rounds):
0.00/0.03 c 0 deleted vars, 6 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.03 c 0 implications, 0 cliques
0.00/0.03 c presolved problem has 146 variables (146 bin, 0 int, 0 impl, 0 cont) and 6 constraints
0.00/0.03 c 6 constraints of type <linear>
0.00/0.03 c transformed objective value is always integral (scale: 1)
0.00/0.03 c Presolving Time: 0.02
0.00/0.03 c - non default parameters ----------------------------------------------------------------------
0.00/0.03 c # SCIP version 1.2.1.2
0.00/0.03 c
0.00/0.03 c # frequency for displaying node information lines
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.03 c display/freq = 10000
0.00/0.03 c
0.00/0.03 c # maximal time in seconds to run
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/time = 1800
0.00/0.03 c
0.00/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/memory = 1620
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify inequalities
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/linear/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify knapsacks
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c separating/rapidlearning/freq = 0
0.00/0.03 c
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c start solving
0.00/0.03 c
0.00/0.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.03 c 0.0s| 1 | 0 | 31 | - | 488k| 0 | 6 | 146 | 6 | 146 | 6 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.10/0.15 o 757
0.10/0.15 c y 0.1s| 1 | 0 | 31 | - | 531k| 0 | 6 | 146 | 6 | 146 | 6 | 0 | 0 | 0 | 0.000000e+00 | 7.570000e+02 | Inf
0.10/0.16 c 0.1s| 1 | 0 | 42 | - | 713k| 0 | 11 | 146 | 114 | 146 | 12 | 6 | 0 | 0 | 0.000000e+00 | 7.570000e+02 | Inf
0.10/0.17 c 0.1s| 1 | 0 | 54 | - | 765k| 0 | 14 | 146 | 114 | 146 | 17 | 11 | 0 | 0 | 0.000000e+00 | 7.570000e+02 | Inf
0.10/0.19 c 0.2s| 1 | 0 | 69 | - | 810k| 0 | 15 | 146 | 114 | 146 | 20 | 14 | 0 | 0 | 0.000000e+00 | 7.570000e+02 | Inf
0.19/0.20 c 0.2s| 1 | 0 | 81 | - | 841k| 0 | 15 | 146 | 114 | 146 | 23 | 17 | 0 | 0 | 0.000000e+00 | 7.570000e+02 | Inf
0.19/0.22 c 0.2s| 1 | 0 | 88 | - | 869k| 0 | 16 | 146 | 114 | 146 | 26 | 20 | 0 | 0 | 0.000000e+00 | 7.570000e+02 | Inf
0.19/0.24 c 0.2s| 1 | 0 | 97 | - | 896k| 0 | 17 | 146 | 114 | 146 | 29 | 23 | 0 | 0 | 0.000000e+00 | 7.570000e+02 | Inf
0.29/0.34 c 0.3s| 1 | 2 | 97 | - | 897k| 0 | 17 | 146 | 114 | 146 | 29 | 23 | 0 | 12 | 0.000000e+00 | 7.570000e+02 | Inf
0.49/0.59 o 244
0.49/0.59 c f 0.5s| 76 | 77 | 532 | 5.8 | 992k| 37 | - | 146 | 114 | 146 | 17 | 23 | 5 | 286 | 0.000000e+00 | 2.440000e+02 | Inf
0.79/0.81 o 241
0.79/0.81 c f 0.7s| 245 | 242 | 1407 | 5.4 |1059k| 49 | - | 146 | 118 | 146 | 17 | 23 | 14 | 431 | 0.000000e+00 | 2.410000e+02 | Inf
0.79/0.89 o 239
0.79/0.89 c * 0.8s| 338 | 332 | 1807 | 5.1 |1103k| 49 | - | 146 | 118 | 146 | 17 | 23 | 15 | 462 | 0.000000e+00 | 2.390000e+02 | Inf
1.10/1.14 o 162
1.10/1.14 c f 1.0s| 577 | 551 | 2922 | 4.9 |1226k| 52 | - | 146 | 118 | 146 | 17 | 23 | 22 | 519 | 0.000000e+00 | 1.620000e+02 | Inf
1.20/1.24 o 161
1.20/1.24 c * 1.1s| 673 | 637 | 3380 | 4.9 |1252k| 52 | - | 146 | 118 | 146 | 17 | 23 | 22 | 534 | 0.000000e+00 | 1.610000e+02 | Inf
1.29/1.33 o 128
1.29/1.33 c f 1.2s| 747 | 698 | 3751 | 4.9 |1305k| 52 | - | 146 | 118 | 146 | 17 | 23 | 25 | 547 | 0.000000e+00 | 1.280000e+02 | Inf
1.29/1.36 o 126
1.29/1.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.29/1.36 c * 1.2s| 778 | 723 | 3850 | 4.8 |1302k| 52 | - | 146 | 118 | 146 | 17 | 23 | 25 | 561 | 0.000000e+00 | 1.260000e+02 | Inf
1.29/1.36 o 124
1.29/1.36 c * 1.2s| 779 | 722 | 3850 | 4.8 |1303k| 52 | - | 146 | 118 | 146 | 17 | 23 | 25 | 561 | 0.000000e+00 | 1.240000e+02 | Inf
1.49/1.51 o 87
1.49/1.51 c g 1.3s| 908 | 800 | 4533 | 4.9 |1354k| 52 | - | 146 | 119 | 146 | 17 | 23 | 32 | 588 | 0.000000e+00 | 8.700000e+01 | Inf
5.09/5.15 o 71
5.09/5.15 c f 4.5s| 4244 | 4040 | 22841 | 5.4 |2994k| 52 | - | 146 | 161 | 146 | 17 | 23 | 245 | 678 | 0.000000e+00 | 7.100000e+01 | Inf
5.19/5.22 o 67
5.19/5.22 c o 4.5s| 4339 | 4135 | 23229 | 5.3 |3027k| 52 | 0 | 146 | 161 | 146 | 17 | 23 | 248 | 680 | 0.000000e+00 | 6.700000e+01 | Inf
7.19/7.26 o 66
7.19/7.26 c l 6.3s| 5947 | 5600 | 34433 | 5.8 |3832k| 52 | - | 146 | 161 | 146 | 17 | 23 | 377 | 710 | 0.000000e+00 | 6.600000e+01 | Inf
11.39/11.44 o 64
11.39/11.44 c * 9.9s| 8809 | 7867 | 52552 | 6.0 |5001k| 52 | - | 146 | 47 | 146 | 17 | 23 | 676 | 790 | 0.000000e+00 | 6.400000e+01 | Inf
11.39/11.44 o 62
11.39/11.44 c * 9.9s| 8810 | 7851 | 52552 | 6.0 |4988k| 52 | - | 146 | 47 | 146 | 17 | 23 | 676 | 790 | 0.000000e+00 | 6.200000e+01 | Inf
12.38/12.47 c 10.8s| 10000 | 8869 | 58319 | 5.8 |5444k| 52 | 6 | 146 | 48 | 146 | 17 | 23 | 757 | 842 | 0.000000e+00 | 6.200000e+01 | Inf
12.49/12.56 o 60
12.49/12.56 c *10.9s| 10091 | 8943 | 58846 | 5.8 |5478k| 52 | - | 146 | 48 | 146 | 17 | 23 | 762 | 844 | 0.000000e+00 | 6.000000e+01 | Inf
12.49/12.58 o 58
12.49/12.58 c *10.9s| 10113 | 8936 | 58914 | 5.8 |5462k| 52 | - | 146 | 48 | 146 | 17 | 23 | 762 | 850 | 0.000000e+00 | 5.800000e+01 | Inf
12.49/12.58 o 56
12.49/12.58 c *10.9s| 10115 | 8921 | 58914 | 5.8 |5447k| 52 | - | 146 | 48 | 146 | 17 | 23 | 762 | 853 | 0.000000e+00 | 5.600000e+01 | Inf
13.30/13.37 o 55
13.30/13.37 c *11.6s| 11054 | 9700 | 63058 | 5.7 |5787k| 52 | - | 146 | 52 | 146 | 17 | 23 | 811 | 913 | 0.000000e+00 | 5.500000e+01 | Inf
13.39/13.46 o 53
13.39/13.46 c l11.7s| 11143 | 9748 | 63507 | 5.7 |5808k| 52 | - | 146 | 51 | 146 | 17 | 23 | 820 | 923 | 0.000000e+00 | 5.300000e+01 | Inf
13.39/13.48 o 51
13.39/13.48 c g11.7s| 11164 | 9730 | 63578 | 5.7 |5797k| 52 | - | 146 | 51 | 146 | 17 | 23 | 822 | 939 | 0.000000e+00 | 5.100000e+01 | Inf
13.39/13.49 o 49
13.39/13.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
13.39/13.49 c l11.7s| 11164 | 9688 | 63578 | 5.7 |5757k| 52 | - | 146 | 51 | 146 | 17 | 23 | 825 | 939 | 0.000000e+00 | 4.900000e+01 | Inf
13.99/14.04 o 48
13.99/14.04 c *12.2s| 11608 | 10033 | 66543 | 5.7 |5902k| 52 | - | 146 | 50 | 146 | 17 | 23 | 864 | 958 | 0.000000e+00 | 4.800000e+01 | Inf
15.19/15.22 o 47
15.19/15.22 c p13.2s| 12255 | 10519 | 70546 | 5.7 |6144k| 52 | - | 146 | 53 | 146 | 17 | 23 | 928 |1005 | 0.000000e+00 | 4.700000e+01 | Inf
15.19/15.27 o 45
15.19/15.27 c *13.2s| 12295 | 10484 | 70813 | 5.8 |6108k| 52 | - | 146 | 53 | 146 | 17 | 23 | 931 |1010 | 0.000000e+00 | 4.500000e+01 | Inf
16.28/16.37 o 43
16.28/16.37 c *14.2s| 13334 | 11176 | 76783 | 5.8 |6455k| 52 | - | 146 | 50 | 146 | 17 | 23 |1054 |1053 | 0.000000e+00 | 4.300000e+01 | Inf
16.28/16.37 o 41
16.28/16.37 c *14.2s| 13335 | 11120 | 76783 | 5.8 |6419k| 52 | - | 146 | 50 | 146 | 17 | 23 |1054 |1053 | 0.000000e+00 | 4.100000e+01 | Inf
18.58/18.69 o 39
18.58/18.69 c *16.2s| 15783 | 12864 | 89413 | 5.7 |7293k| 52 | - | 146 | 67 | 146 | 17 | 23 |1278 |1161 | 0.000000e+00 | 3.900000e+01 | Inf
18.58/18.69 o 37
18.58/18.69 c *16.2s| 15784 | 12792 | 89413 | 5.7 |7235k| 52 | - | 146 | 67 | 146 | 17 | 23 |1278 |1161 | 0.000000e+00 | 3.700000e+01 | Inf
20.99/21.06 o 35
20.99/21.06 c *18.2s| 18512 | 14428 |101931 | 5.5 |8161k| 52 | - | 146 | 70 | 146 | 17 | 23 |1501 |1320 | 0.000000e+00 | 3.500000e+01 | Inf
20.99/21.07 o 33
20.99/21.07 c *18.2s| 18514 | 14330 |101932 | 5.5 |8083k| 52 | - | 146 | 70 | 146 | 17 | 23 |1501 |1323 | 0.000000e+00 | 3.300000e+01 | Inf
20.99/21.07 o 29
20.99/21.07 c *18.2s| 18515 | 13680 |101932 | 5.5 |7663k| 52 | - | 146 | 70 | 146 | 17 | 23 |1501 |1323 | 0.000000e+00 | 2.900000e+01 | Inf
22.98/23.01 c 19.9s| 20000 | 14608 |109142 | 5.5 |8117k| 52 | 6 | 146 | 58 | 146 | 17 | 23 |1625 |1381 | 0.000000e+00 | 2.900000e+01 | Inf
31.18/31.29 c 27.0s| 30000 | 19915 |155595 | 5.2 | 11M| 52 | - | 146 | 74 | 146 | 17 | 23 |2510 |1777 | 0.000000e+00 | 2.900000e+01 | Inf
37.98/38.00 o 27
37.98/38.00 c *32.8s| 39183 | 24170 |195457 | 5.0 | 13M| 52 | - | 146 | 83 | 146 | 17 | 23 |3369 |2070 | 0.000000e+00 | 2.700000e+01 | Inf
38.18/38.21 o 26
38.18/38.21 c *33.0s| 39426 | 24221 |196650 | 5.0 | 13M| 52 | - | 146 | 87 | 146 | 17 | 23 |3384 |2074 | 0.000000e+00 | 2.600000e+01 | Inf
38.58/38.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
38.58/38.69 c 33.4s| 40000 | 24547 |199436 | 5.0 | 13M| 52 | 6 | 146 | 85 | 146 | 17 | 23 |3439 |2086 | 0.000000e+00 | 2.600000e+01 | Inf
42.37/42.44 o 24
42.37/42.44 c *36.7s| 44971 | 26661 |221195 | 4.9 | 14M| 52 | - | 146 | 88 | 146 | 17 | 23 |3907 |2245 | 0.000000e+00 | 2.400000e+01 | Inf
43.67/43.78 o 22
43.67/43.78 c *37.8s| 46912 | 26987 |228860 | 4.9 | 15M| 52 | - | 146 | 83 | 146 | 17 | 23 |4098 |2310 | 0.000000e+00 | 2.200000e+01 | Inf
43.67/43.79 o 20
43.67/43.79 c *37.8s| 46913 | 26483 |228860 | 4.9 | 14M| 52 | - | 146 | 83 | 146 | 17 | 23 |4098 |2310 | 0.000000e+00 | 2.000000e+01 | Inf
47.07/47.14 c 40.6s| 50000 | 27608 |240941 | 4.8 | 15M| 52 | - | 146 | 79 | 146 | 17 | 23 |4357 |2389 | 0.000000e+00 | 2.000000e+01 | Inf
53.98/54.01 c 46.7s| 60000 | 30827 |282313 | 4.7 | 17M| 52 | 6 | 146 | 93 | 146 | 17 | 23 |5133 |2665 | 0.000000e+00 | 2.000000e+01 | Inf
60.47/60.53 c 52.6s| 70000 | 33755 |323921 | 4.6 | 19M| 52 | - | 146 | 90 | 146 | 17 | 23 |5877 |2925 | 0.000000e+00 | 2.000000e+01 | Inf
66.87/66.97 o 19
66.87/66.97 c *58.4s| 79615 | 36482 |364706 | 4.6 | 20M| 52 | - | 146 | 113 | 146 | 17 | 23 |6616 |3140 | 0.000000e+00 | 1.900000e+01 | Inf
66.87/66.98 o 17
66.87/66.98 c *58.4s| 79616 | 35833 |364706 | 4.6 | 20M| 52 | - | 146 | 113 | 146 | 17 | 23 |6616 |3140 | 0.000000e+00 | 1.700000e+01 | Inf
67.17/67.23 c 58.6s| 80000 | 35893 |366123 | 4.6 | 20M| 52 | - | 146 | 112 | 0 | 0 | 23 |6652 |3155 | 0.000000e+00 | 1.700000e+01 | Inf
74.56/74.68 c 65.1s| 90000 | 37809 |404946 | 4.5 | 21M| 52 | - | 146 | 109 | 146 | 17 | 23 |7551 |3377 | 0.000000e+00 | 1.700000e+01 | Inf
81.06/81.15 c 70.8s|100000 | 39406 |444648 | 4.4 | 22M| 52 | 6 | 146 | 74 | 146 | 17 | 23 |8446 |3586 | 0.000000e+00 | 1.700000e+01 | Inf
81.86/81.90 o 15
81.86/81.90 c *71.5s|101153 | 37669 |449045 | 4.4 | 21M| 52 | - | 146 | 75 | 146 | 17 | 23 |8534 |3598 | 0.000000e+00 | 1.500000e+01 | Inf
87.56/87.62 c 76.5s|110000 | 39134 |487301 | 4.4 | 22M| 52 | 6 | 146 | 75 | 146 | 17 | 23 |9233 |3776 | 0.000000e+00 | 1.500000e+01 | Inf
93.96/94.04 c 82.1s|120000 | 41655 |529726 | 4.4 | 24M| 52 | 6 | 146 | 67 | 146 | 17 | 23 | 10k|3974 | 0.000000e+00 | 1.500000e+01 | Inf
94.57/94.62 o 14
94.57/94.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
94.57/94.62 c *82.6s|120879 | 41523 |533594 | 4.4 | 23M| 52 | - | 146 | 69 | 146 | 17 | 23 | 10k|3987 | 0.000000e+00 | 1.400000e+01 | Inf
101.75/101.81 o 13
101.75/101.81 c *88.6s|128920 | 43004 |566805 | 4.4 | 24M| 52 | - | 146 | 69 | 146 | 17 | 23 | 10k|4133 | 0.000000e+00 | 1.300000e+01 | Inf
102.45/102.54 c 89.2s|130000 | 43343 |571813 | 4.4 | 24M| 52 | 6 | 146 | 74 | 146 | 17 | 23 | 10k|4157 | 0.000000e+00 | 1.300000e+01 | Inf
109.55/109.69 c 95.3s|140000 | 45759 |613360 | 4.4 | 25M| 52 | 6 | 146 | 59 | 146 | 17 | 23 | 11k|4338 | 0.000000e+00 | 1.300000e+01 | Inf
115.65/115.79 c 101s|150000 | 47540 |652901 | 4.4 | 27M| 52 | - | 146 | 49 | 146 | 17 | 23 | 12k|4501 | 0.000000e+00 | 1.300000e+01 | Inf
121.75/121.82 c 106s|160000 | 48897 |693655 | 4.3 | 27M| 52 | - | 146 | 53 | 146 | 17 | 23 | 13k|4680 | 0.000000e+00 | 1.300000e+01 | Inf
127.65/127.73 c 111s|170000 | 50087 |732962 | 4.3 | 28M| 52 | - | 146 | 51 | 146 | 17 | 23 | 13k|4856 | 0.000000e+00 | 1.300000e+01 | Inf
133.55/133.65 c 116s|180000 | 50935 |771827 | 4.3 | 29M| 52 | - | 146 | 55 | 146 | 17 | 23 | 14k|5013 | 0.000000e+00 | 1.300000e+01 | Inf
141.44/141.52 c 123s|190000 | 51713 |811402 | 4.3 | 30M| 52 | - | 146 | 52 | 146 | 17 | 23 | 15k|5172 | 0.000000e+00 | 1.300000e+01 | Inf
147.45/147.52 c 128s|200000 | 53047 |851955 | 4.3 | 31M| 52 | - | 146 | 61 | 0 | 0 | 23 | 16k|5324 | 0.000000e+00 | 1.300000e+01 | Inf
153.44/153.59 c 133s|210000 | 54286 |891644 | 4.2 | 32M| 52 | 6 | 146 | 65 | 146 | 17 | 23 | 16k|5466 | 0.000000e+00 | 1.300000e+01 | Inf
159.44/159.51 c 138s|220000 | 55302 |930370 | 4.2 | 32M| 52 | 6 | 146 | 56 | 146 | 17 | 23 | 17k|5607 | 0.000000e+00 | 1.300000e+01 | Inf
165.33/165.48 c 144s|230000 | 55795 |970305 | 4.2 | 33M| 52 | 6 | 146 | 53 | 146 | 17 | 23 | 18k|5751 | 0.000000e+00 | 1.300000e+01 | Inf
171.44/171.56 c 149s|240000 | 57361 | 1010k| 4.2 | 34M| 52 | 6 | 146 | 47 | 146 | 17 | 23 | 19k|5914 | 0.000000e+00 | 1.300000e+01 | Inf
177.43/177.56 c 154s|250000 | 58512 | 1052k| 4.2 | 35M| 52 | - | 146 | 51 | 146 | 17 | 23 | 19k|6068 | 0.000000e+00 | 1.300000e+01 | Inf
183.43/183.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
183.43/183.50 c 159s|260000 | 59407 | 1093k| 4.2 | 35M| 52 | - | 146 | 45 | 146 | 17 | 23 | 20k|6189 | 0.000000e+00 | 1.300000e+01 | Inf
189.73/189.80 c 165s|270000 | 61536 | 1135k| 4.2 | 37M| 52 | - | 146 | 47 | 146 | 17 | 23 | 21k|6314 | 0.000000e+00 | 1.300000e+01 | Inf
195.84/195.93 c 170s|280000 | 64074 | 1176k| 4.2 | 38M| 52 | - | 146 | 47 | 146 | 17 | 23 | 22k|6430 | 0.000000e+00 | 1.300000e+01 | Inf
202.02/202.10 c 175s|290000 | 66553 | 1218k| 4.2 | 39M| 52 | 6 | 146 | 45 | 146 | 17 | 23 | 22k|6545 | 0.000000e+00 | 1.300000e+01 | Inf
204.92/205.03 o 11
204.92/205.03 c * 178s|294936 | 66105 | 1238k| 4.2 | 38M| 52 | - | 146 | 51 | 146 | 17 | 23 | 23k|6606 | 0.000000e+00 | 1.100000e+01 | Inf
204.92/205.04 o 9
204.92/205.04 c * 178s|294937 | 64539 | 1238k| 4.2 | 37M| 52 | - | 146 | 51 | 146 | 17 | 23 | 23k|6606 | 0.000000e+00 | 9.000000e+00 | Inf
208.02/208.13 c 181s|300000 | 65657 | 1259k| 4.2 | 37M| 52 | 6 | 146 | 50 | 146 | 17 | 23 | 23k|6687 | 0.000000e+00 | 9.000000e+00 | Inf
213.92/214.09 c 186s|310000 | 67074 | 1300k| 4.2 | 38M| 52 | 6 | 146 | 57 | 146 | 17 | 23 | 24k|6837 | 0.000000e+00 | 9.000000e+00 | Inf
220.03/220.18 c 191s|320000 | 68770 | 1343k| 4.2 | 39M| 52 | 6 | 146 | 47 | 146 | 17 | 23 | 24k|7009 | 0.000000e+00 | 9.000000e+00 | Inf
226.12/226.28 c 196s|330000 | 69916 | 1385k| 4.2 | 40M| 52 | 6 | 146 | 46 | 146 | 17 | 23 | 25k|7174 | 0.000000e+00 | 9.000000e+00 | Inf
232.02/232.15 c 201s|340000 | 71029 | 1425k| 4.2 | 41M| 52 | - | 146 | 47 | 146 | 17 | 23 | 25k|7329 | 0.000000e+00 | 9.000000e+00 | Inf
237.92/238.06 c 207s|350000 | 72005 | 1466k| 4.2 | 41M| 52 | 6 | 146 | 46 | 146 | 17 | 23 | 26k|7488 | 0.000000e+00 | 9.000000e+00 | Inf
243.82/243.92 c 212s|360000 | 72666 | 1505k| 4.2 | 42M| 52 | - | 146 | 44 | 146 | 17 | 23 | 26k|7630 | 0.000000e+00 | 9.000000e+00 | Inf
249.72/249.85 c 217s|370000 | 73667 | 1545k| 4.2 | 42M| 52 | 6 | 146 | 51 | 146 | 17 | 23 | 27k|7779 | 0.000000e+00 | 9.000000e+00 | Inf
255.61/255.77 c 222s|380000 | 74140 | 1586k| 4.2 | 43M| 52 | - | 146 | 47 | 0 | 0 | 23 | 28k|7930 | 0.000000e+00 | 9.000000e+00 | Inf
261.51/261.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
261.51/261.66 c 227s|390000 | 74466 | 1626k| 4.2 | 43M| 52 | 6 | 146 | 45 | 146 | 17 | 23 | 29k|8072 | 0.000000e+00 | 9.000000e+00 | Inf
267.50/267.60 c 232s|400000 | 75137 | 1666k| 4.2 | 44M| 52 | 6 | 146 | 49 | 146 | 17 | 23 | 29k|8215 | 0.000000e+00 | 9.000000e+00 | Inf
273.41/273.51 c 237s|410000 | 75412 | 1707k| 4.2 | 44M| 52 | - | 146 | 53 | 146 | 17 | 23 | 30k|8380 | 0.000000e+00 | 9.000000e+00 | Inf
279.31/279.48 c 242s|420000 | 75690 | 1747k| 4.2 | 45M| 52 | - | 146 | 47 | 146 | 17 | 23 | 30k|8556 | 0.000000e+00 | 9.000000e+00 | Inf
285.21/285.36 c 247s|430000 | 76182 | 1786k| 4.2 | 45M| 52 | 6 | 146 | 45 | 146 | 17 | 23 | 31k|8697 | 0.000000e+00 | 9.000000e+00 | Inf
291.20/291.39 c 252s|440000 | 76902 | 1827k| 4.2 | 45M| 52 | 6 | 146 | 53 | 146 | 17 | 23 | 32k|8849 | 0.000000e+00 | 9.000000e+00 | Inf
297.20/297.38 c 258s|450000 | 78659 | 1868k| 4.2 | 47M| 52 | 6 | 146 | 47 | 146 | 17 | 23 | 32k|9014 | 0.000000e+00 | 9.000000e+00 | Inf
303.20/303.32 c 263s|460000 | 80033 | 1908k| 4.1 | 47M| 52 | 6 | 146 | 53 | 146 | 17 | 23 | 33k|9146 | 0.000000e+00 | 9.000000e+00 | Inf
309.11/309.22 c 268s|470000 | 81126 | 1949k| 4.1 | 48M| 52 | 6 | 146 | 51 | 146 | 17 | 23 | 33k|9282 | 0.000000e+00 | 9.000000e+00 | Inf
314.99/315.16 c 273s|480000 | 82272 | 1989k| 4.1 | 49M| 52 | 6 | 146 | 55 | 146 | 17 | 23 | 34k|9433 | 0.000000e+00 | 9.000000e+00 | Inf
320.79/320.97 c 278s|490000 | 83418 | 2028k| 4.1 | 50M| 52 | - | 146 | 46 | 146 | 17 | 23 | 35k|9566 | 0.000000e+00 | 9.000000e+00 | Inf
326.79/326.91 c 283s|500000 | 84404 | 2068k| 4.1 | 50M| 52 | - | 146 | 65 | 146 | 17 | 23 | 35k|9722 | 0.000000e+00 | 9.000000e+00 | Inf
332.59/332.72 c 288s|510000 | 85457 | 2106k| 4.1 | 51M| 52 | 6 | 146 | 50 | 146 | 17 | 23 | 36k|9828 | 0.000000e+00 | 9.000000e+00 | Inf
338.39/338.51 c 293s|520000 | 85859 | 2144k| 4.1 | 52M| 52 | 6 | 146 | 51 | 146 | 17 | 23 | 36k|9963 | 0.000000e+00 | 9.000000e+00 | Inf
344.09/344.25 c 298s|530000 | 86081 | 2182k| 4.1 | 52M| 52 | - | 146 | 48 | 146 | 17 | 23 | 37k| 10k| 0.000000e+00 | 9.000000e+00 | Inf
349.98/350.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
349.98/350.13 c 303s|540000 | 86978 | 2221k| 4.1 | 53M| 52 | 6 | 146 | 48 | 146 | 17 | 23 | 38k| 10k| 0.000000e+00 | 9.000000e+00 | Inf
355.78/355.95 c 308s|550000 | 87422 | 2259k| 4.1 | 53M| 52 | 6 | 146 | 48 | 146 | 17 | 23 | 38k| 10k| 0.000000e+00 | 9.000000e+00 | Inf
361.68/361.81 c 313s|560000 | 87924 | 2299k| 4.1 | 53M| 52 | 6 | 146 | 43 | 146 | 17 | 23 | 39k| 10k| 0.000000e+00 | 9.000000e+00 | Inf
367.47/367.65 c 318s|570000 | 88274 | 2337k| 4.1 | 54M| 52 | 6 | 146 | 50 | 146 | 17 | 23 | 39k| 10k| 0.000000e+00 | 9.000000e+00 | Inf
373.38/373.59 c 323s|580000 | 89446 | 2378k| 4.1 | 55M| 52 | 6 | 146 | 47 | 146 | 17 | 23 | 40k| 10k| 0.000000e+00 | 9.000000e+00 | Inf
379.27/379.49 c 328s|590000 | 91029 | 2418k| 4.1 | 56M| 52 | - | 146 | 47 | 146 | 17 | 23 | 41k| 10k| 0.000000e+00 | 9.000000e+00 | Inf
385.17/385.38 c 333s|600000 | 91892 | 2456k| 4.1 | 56M| 52 | - | 146 | 45 | 146 | 17 | 23 | 41k| 11k| 0.000000e+00 | 9.000000e+00 | Inf
391.06/391.22 c 338s|610000 | 92712 | 2494k| 4.1 | 57M| 52 | - | 146 | 45 | 146 | 17 | 23 | 42k| 11k| 0.000000e+00 | 9.000000e+00 | Inf
396.86/397.06 c 343s|620000 | 93414 | 2532k| 4.1 | 57M| 52 | 6 | 146 | 43 | 146 | 17 | 23 | 43k| 11k| 0.000000e+00 | 9.000000e+00 | Inf
402.76/402.91 c 348s|630000 | 93697 | 2570k| 4.1 | 58M| 52 | - | 146 | 43 | 0 | 0 | 23 | 43k| 11k| 0.000000e+00 | 9.000000e+00 | Inf
408.66/408.83 c 353s|640000 | 94514 | 2609k| 4.1 | 58M| 52 | 6 | 146 | 51 | 146 | 17 | 23 | 44k| 11k| 0.000000e+00 | 9.000000e+00 | Inf
414.56/414.71 c 358s|650000 | 95180 | 2650k| 4.1 | 59M| 52 | - | 146 | 53 | 146 | 17 | 23 | 45k| 11k| 0.000000e+00 | 9.000000e+00 | Inf
420.46/420.60 c 363s|660000 | 95915 | 2689k| 4.1 | 59M| 52 | 6 | 146 | 47 | 146 | 17 | 23 | 45k| 11k| 0.000000e+00 | 9.000000e+00 | Inf
426.25/426.49 c 368s|670000 | 96389 | 2728k| 4.1 | 60M| 52 | 6 | 146 | 46 | 146 | 17 | 23 | 46k| 11k| 0.000000e+00 | 9.000000e+00 | Inf
432.16/432.36 c 373s|680000 | 96671 | 2768k| 4.1 | 60M| 52 | 6 | 146 | 52 | 146 | 17 | 23 | 46k| 12k| 0.000000e+00 | 9.000000e+00 | Inf
438.05/438.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
438.05/438.26 c 378s|690000 | 96812 | 2807k| 4.1 | 60M| 52 | 6 | 146 | 41 | 146 | 17 | 23 | 47k| 12k| 0.000000e+00 | 9.000000e+00 | Inf
443.95/444.19 c 383s|700000 | 97001 | 2845k| 4.1 | 61M| 52 | 6 | 146 | 42 | 146 | 17 | 23 | 48k| 12k| 0.000000e+00 | 9.000000e+00 | Inf
449.94/450.19 c 389s|710000 | 97698 | 2886k| 4.1 | 61M| 52 | - | 146 | 53 | 146 | 17 | 23 | 48k| 12k| 0.000000e+00 | 9.000000e+00 | Inf
455.85/456.08 c 394s|720000 | 98328 | 2925k| 4.1 | 62M| 52 | 6 | 146 | 43 | 146 | 17 | 23 | 49k| 12k| 0.000000e+00 | 9.000000e+00 | Inf
461.75/461.92 c 399s|730000 | 98459 | 2964k| 4.1 | 62M| 52 | - | 146 | 46 | 146 | 17 | 23 | 49k| 12k| 0.000000e+00 | 9.000000e+00 | Inf
467.54/467.76 c 404s|740000 | 98628 | 3003k| 4.1 | 62M| 52 | 6 | 146 | 44 | 146 | 17 | 23 | 50k| 12k| 0.000000e+00 | 9.000000e+00 | Inf
473.44/473.69 c 409s|750000 | 98628 | 3042k| 4.1 | 62M| 52 | - | 146 | 43 | 146 | 17 | 23 | 50k| 12k| 0.000000e+00 | 9.000000e+00 | Inf
479.34/479.56 c 414s|760000 | 98584 | 3081k| 4.1 | 63M| 52 | - | 146 | 44 | 146 | 17 | 23 | 51k| 13k| 0.000000e+00 | 9.000000e+00 | Inf
485.33/485.52 c 419s|770000 | 98907 | 3120k| 4.1 | 63M| 52 | 6 | 146 | 94 | 146 | 17 | 23 | 52k| 13k| 0.000000e+00 | 9.000000e+00 | Inf
491.44/491.65 c 424s|780000 |101203 | 3161k| 4.1 | 64M| 52 | - | 146 | 53 | 146 | 17 | 23 | 52k| 13k| 0.000000e+00 | 9.000000e+00 | Inf
497.33/497.51 c 429s|790000 |102561 | 3200k| 4.1 | 65M| 52 | - | 146 | 46 | 146 | 17 | 23 | 52k| 13k| 0.000000e+00 | 9.000000e+00 | Inf
503.23/503.47 c 434s|800000 |103999 | 3239k| 4.0 | 66M| 52 | 6 | 146 | 44 | 146 | 17 | 23 | 53k| 13k| 0.000000e+00 | 9.000000e+00 | Inf
509.14/509.38 c 439s|810000 |105105 | 3277k| 4.0 | 67M| 52 | - | 146 | 45 | 146 | 17 | 23 | 54k| 13k| 0.000000e+00 | 9.000000e+00 | Inf
515.02/515.27 c 444s|820000 |105974 | 3316k| 4.0 | 67M| 52 | - | 146 | 43 | 0 | 0 | 23 | 54k| 13k| 0.000000e+00 | 9.000000e+00 | Inf
520.93/521.19 c 449s|830000 |106713 | 3354k| 4.0 | 68M| 52 | - | 146 | 50 | 146 | 17 | 23 | 55k| 13k| 0.000000e+00 | 9.000000e+00 | Inf
526.83/527.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
526.83/527.04 c 454s|840000 |107306 | 3392k| 4.0 | 68M| 52 | - | 146 | 49 | 146 | 17 | 23 | 55k| 13k| 0.000000e+00 | 9.000000e+00 | Inf
532.62/532.89 c 460s|850000 |107604 | 3430k| 4.0 | 69M| 52 | - | 146 | 46 | 146 | 17 | 23 | 55k| 14k| 0.000000e+00 | 9.000000e+00 | Inf
538.52/538.78 c 465s|860000 |108080 | 3469k| 4.0 | 69M| 52 | - | 146 | 50 | 146 | 17 | 23 | 56k| 14k| 0.000000e+00 | 9.000000e+00 | Inf
544.52/544.71 c 470s|870000 |108483 | 3508k| 4.0 | 70M| 52 | - | 146 | 51 | 146 | 17 | 23 | 56k| 14k| 0.000000e+00 | 9.000000e+00 | Inf
550.41/550.65 c 475s|880000 |109277 | 3549k| 4.0 | 70M| 52 | - | 146 | 52 | 146 | 17 | 23 | 57k| 14k| 0.000000e+00 | 9.000000e+00 | Inf
556.32/556.57 c 480s|890000 |110224 | 3588k| 4.0 | 71M| 52 | - | 146 | 54 | 146 | 17 | 23 | 57k| 14k| 0.000000e+00 | 9.000000e+00 | Inf
562.21/562.46 c 485s|900000 |110781 | 3626k| 4.0 | 72M| 52 | 6 | 146 | 52 | 146 | 17 | 23 | 58k| 14k| 0.000000e+00 | 9.000000e+00 | Inf
568.21/568.40 c 490s|910000 |110958 | 3664k| 4.0 | 72M| 52 | 6 | 146 | 47 | 146 | 17 | 23 | 58k| 14k| 0.000000e+00 | 9.000000e+00 | Inf
574.30/574.53 c 495s|920000 |111763 | 3705k| 4.0 | 73M| 52 | - | 146 | 43 | 146 | 17 | 23 | 59k| 14k| 0.000000e+00 | 9.000000e+00 | Inf
580.21/580.47 c 500s|930000 |112303 | 3743k| 4.0 | 73M| 52 | - | 146 | 43 | 0 | 0 | 23 | 59k| 14k| 0.000000e+00 | 9.000000e+00 | Inf
586.31/586.51 c 505s|940000 |112514 | 3782k| 4.0 | 73M| 52 | - | 146 | 44 | 146 | 17 | 23 | 60k| 14k| 0.000000e+00 | 9.000000e+00 | Inf
592.30/592.53 c 510s|950000 |112564 | 3821k| 4.0 | 74M| 52 | - | 146 | 47 | 0 | 0 | 23 | 60k| 15k| 0.000000e+00 | 9.000000e+00 | Inf
598.31/598.51 c 515s|960000 |112617 | 3859k| 4.0 | 74M| 52 | - | 146 | 49 | 146 | 17 | 23 | 61k| 15k| 0.000000e+00 | 9.000000e+00 | Inf
604.30/604.56 c 520s|970000 |112652 | 3898k| 4.0 | 74M| 52 | 6 | 146 | 43 | 146 | 17 | 23 | 61k| 15k| 0.000000e+00 | 9.000000e+00 | Inf
610.31/610.52 c 526s|980000 |113064 | 3936k| 4.0 | 74M| 52 | 6 | 146 | 51 | 146 | 17 | 23 | 62k| 15k| 0.000000e+00 | 9.000000e+00 | Inf
616.30/616.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
616.30/616.51 c 531s|990000 |114117 | 3974k| 4.0 | 75M| 52 | 6 | 146 | 47 | 146 | 17 | 23 | 62k| 15k| 0.000000e+00 | 9.000000e+00 | Inf
622.19/622.44 c 536s| 1000k|114525 | 4012k| 4.0 | 76M| 52 | 6 | 146 | 45 | 146 | 17 | 23 | 63k| 15k| 0.000000e+00 | 9.000000e+00 | Inf
628.09/628.34 c 541s| 1010k|114527 | 4050k| 4.0 | 76M| 52 | - | 146 | 47 | 0 | 0 | 23 | 64k| 15k| 0.000000e+00 | 9.000000e+00 | Inf
634.09/634.32 c 546s| 1020k|114962 | 4089k| 4.0 | 76M| 52 | - | 146 | 50 | 146 | 17 | 23 | 64k| 15k| 0.000000e+00 | 9.000000e+00 | Inf
640.09/640.32 c 551s| 1030k|115001 | 4128k| 4.0 | 76M| 52 | 6 | 146 | 47 | 146 | 17 | 23 | 65k| 15k| 0.000000e+00 | 9.000000e+00 | Inf
646.08/646.37 c 556s| 1040k|114841 | 4166k| 4.0 | 76M| 52 | - | 146 | 46 | 146 | 17 | 23 | 65k| 15k| 0.000000e+00 | 9.000000e+00 | Inf
652.09/652.35 c 561s| 1050k|114841 | 4205k| 4.0 | 77M| 52 | - | 146 | 50 | 146 | 17 | 23 | 66k| 16k| 0.000000e+00 | 9.000000e+00 | Inf
658.07/658.31 c 566s| 1060k|115430 | 4243k| 4.0 | 77M| 52 | 6 | 146 | 47 | 146 | 17 | 23 | 66k| 16k| 0.000000e+00 | 9.000000e+00 | Inf
663.87/664.17 c 571s| 1070k|115761 | 4281k| 4.0 | 77M| 52 | - | 146 | 45 | 146 | 17 | 23 | 67k| 16k| 0.000000e+00 | 9.000000e+00 | Inf
669.78/670.09 c 576s| 1080k|115947 | 4319k| 4.0 | 78M| 52 | - | 146 | 46 | 146 | 17 | 23 | 67k| 16k| 0.000000e+00 | 9.000000e+00 | Inf
675.67/675.97 c 581s| 1090k|116312 | 4356k| 4.0 | 78M| 52 | - | 146 | 46 | 146 | 17 | 23 | 68k| 16k| 0.000000e+00 | 9.000000e+00 | Inf
681.67/681.91 c 586s| 1100k|116336 | 4394k| 4.0 | 78M| 52 | - | 146 | 47 | 146 | 17 | 23 | 68k| 16k| 0.000000e+00 | 9.000000e+00 | Inf
687.57/687.88 c 591s| 1110k|116143 | 4433k| 4.0 | 78M| 52 | - | 146 | 45 | 146 | 17 | 23 | 69k| 16k| 0.000000e+00 | 9.000000e+00 | Inf
693.56/693.89 c 596s| 1120k|115996 | 4471k| 4.0 | 78M| 52 | 6 | 146 | 48 | 146 | 17 | 23 | 69k| 16k| 0.000000e+00 | 9.000000e+00 | Inf
699.56/699.84 c 601s| 1130k|116256 | 4510k| 4.0 | 79M| 52 | - | 146 | 49 | 0 | 0 | 23 | 70k| 16k| 0.000000e+00 | 9.000000e+00 | Inf
705.46/705.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
705.46/705.76 c 606s| 1140k|116605 | 4547k| 4.0 | 79M| 52 | - | 146 | 47 | 146 | 17 | 23 | 70k| 17k| 0.000000e+00 | 9.000000e+00 | Inf
711.47/711.77 c 611s| 1150k|116328 | 4585k| 4.0 | 79M| 52 | - | 146 | 50 | 146 | 17 | 23 | 71k| 17k| 0.000000e+00 | 9.000000e+00 | Inf
717.46/717.78 c 616s| 1160k|116442 | 4623k| 4.0 | 79M| 52 | 6 | 146 | 50 | 146 | 17 | 23 | 71k| 17k| 0.000000e+00 | 9.000000e+00 | Inf
723.46/723.75 c 622s| 1170k|116968 | 4661k| 4.0 | 80M| 52 | - | 146 | 50 | 0 | 0 | 23 | 72k| 17k| 0.000000e+00 | 9.000000e+00 | Inf
729.45/729.72 c 627s| 1180k|116742 | 4699k| 4.0 | 80M| 52 | 6 | 146 | 48 | 146 | 17 | 23 | 73k| 17k| 0.000000e+00 | 9.000000e+00 | Inf
735.35/735.68 c 632s| 1190k|116855 | 4737k| 4.0 | 80M| 52 | 6 | 146 | 49 | 146 | 17 | 23 | 73k| 17k| 0.000000e+00 | 9.000000e+00 | Inf
741.36/741.65 c 637s| 1200k|116688 | 4775k| 4.0 | 80M| 52 | 6 | 146 | 56 | 146 | 17 | 23 | 74k| 17k| 0.000000e+00 | 9.000000e+00 | Inf
747.35/747.63 c 642s| 1210k|116952 | 4814k| 4.0 | 80M| 52 | 6 | 146 | 49 | 146 | 17 | 23 | 74k| 17k| 0.000000e+00 | 9.000000e+00 | Inf
753.26/753.53 c 647s| 1220k|116712 | 4851k| 4.0 | 80M| 52 | 6 | 146 | 47 | 146 | 17 | 23 | 75k| 17k| 0.000000e+00 | 9.000000e+00 | Inf
759.35/759.66 c 652s| 1230k|116632 | 4891k| 4.0 | 80M| 52 | 6 | 146 | 56 | 146 | 17 | 23 | 75k| 17k| 0.000000e+00 | 9.000000e+00 | Inf
765.35/765.61 c 657s| 1240k|116623 | 4930k| 4.0 | 81M| 52 | 6 | 146 | 55 | 146 | 17 | 23 | 76k| 18k| 0.000000e+00 | 9.000000e+00 | Inf
771.24/771.58 c 662s| 1250k|116316 | 4968k| 4.0 | 80M| 52 | 6 | 146 | 51 | 146 | 17 | 23 | 77k| 18k| 0.000000e+00 | 9.000000e+00 | Inf
777.24/777.58 c 667s| 1260k|116070 | 5007k| 4.0 | 80M| 52 | - | 146 | 52 | 146 | 17 | 23 | 77k| 18k| 0.000000e+00 | 9.000000e+00 | Inf
783.34/783.60 c 672s| 1270k|115855 | 5045k| 4.0 | 80M| 52 | 6 | 146 | 51 | 146 | 17 | 23 | 78k| 18k| 0.000000e+00 | 9.000000e+00 | Inf
789.23/789.56 c 677s| 1280k|116629 | 5083k| 4.0 | 81M| 52 | 6 | 146 | 51 | 146 | 17 | 23 | 78k| 18k| 0.000000e+00 | 9.000000e+00 | Inf
795.14/795.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
795.14/795.47 c 682s| 1290k|116640 | 5120k| 4.0 | 81M| 52 | 6 | 146 | 50 | 146 | 17 | 23 | 78k| 18k| 0.000000e+00 | 9.000000e+00 | Inf
801.13/801.44 c 687s| 1300k|116582 | 5159k| 4.0 | 81M| 52 | - | 146 | 49 | 0 | 0 | 23 | 79k| 18k| 0.000000e+00 | 9.000000e+00 | Inf
807.13/807.41 c 692s| 1310k|116236 | 5197k| 4.0 | 81M| 52 | - | 146 | 46 | 146 | 17 | 23 | 80k| 18k| 0.000000e+00 | 9.000000e+00 | Inf
813.13/813.41 c 698s| 1320k|116555 | 5236k| 4.0 | 81M| 52 | - | 146 | 53 | 146 | 17 | 23 | 80k| 18k| 0.000000e+00 | 9.000000e+00 | Inf
819.03/819.38 c 703s| 1330k|117061 | 5276k| 4.0 | 82M| 52 | 6 | 146 | 53 | 146 | 17 | 23 | 80k| 18k| 0.000000e+00 | 9.000000e+00 | Inf
825.03/825.35 c 708s| 1340k|116974 | 5314k| 4.0 | 82M| 52 | 6 | 146 | 45 | 146 | 17 | 23 | 81k| 18k| 0.000000e+00 | 9.000000e+00 | Inf
830.92/831.23 c 713s| 1350k|117173 | 5352k| 4.0 | 82M| 52 | - | 146 | 49 | 146 | 17 | 23 | 82k| 19k| 0.000000e+00 | 9.000000e+00 | Inf
837.02/837.30 c 718s| 1360k|116835 | 5391k| 4.0 | 82M| 52 | 6 | 146 | 48 | 146 | 17 | 23 | 82k| 19k| 0.000000e+00 | 9.000000e+00 | Inf
843.02/843.37 c 723s| 1370k|117360 | 5431k| 4.0 | 83M| 52 | - | 146 | 47 | 146 | 17 | 23 | 83k| 19k| 0.000000e+00 | 9.000000e+00 | Inf
849.11/849.45 c 728s| 1380k|118518 | 5472k| 4.0 | 83M| 52 | 6 | 146 | 45 | 146 | 17 | 23 | 83k| 19k| 0.000000e+00 | 9.000000e+00 | Inf
855.12/855.47 c 733s| 1390k|119543 | 5513k| 4.0 | 84M| 52 | - | 146 | 50 | 146 | 17 | 23 | 84k| 19k| 0.000000e+00 | 9.000000e+00 | Inf
861.12/861.43 c 738s| 1400k|120195 | 5552k| 4.0 | 85M| 52 | 6 | 146 | 53 | 146 | 17 | 23 | 84k| 19k| 0.000000e+00 | 9.000000e+00 | Inf
867.11/867.43 c 743s| 1410k|120633 | 5591k| 4.0 | 85M| 52 | - | 146 | 46 | 146 | 17 | 23 | 85k| 19k| 0.000000e+00 | 9.000000e+00 | Inf
873.01/873.37 c 748s| 1420k|121348 | 5630k| 4.0 | 86M| 52 | 6 | 146 | 48 | 146 | 17 | 23 | 85k| 19k| 0.000000e+00 | 9.000000e+00 | Inf
879.00/879.33 c 753s| 1430k|121634 | 5669k| 4.0 | 86M| 52 | 6 | 146 | 51 | 146 | 17 | 23 | 86k| 19k| 0.000000e+00 | 9.000000e+00 | Inf
885.01/885.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
885.01/885.33 c 759s| 1440k|121767 | 5708k| 4.0 | 86M| 52 | - | 146 | 44 | 146 | 17 | 23 | 86k| 19k| 0.000000e+00 | 9.000000e+00 | Inf
890.91/891.23 c 764s| 1450k|122575 | 5747k| 4.0 | 87M| 52 | 6 | 146 | 45 | 146 | 17 | 23 | 87k| 20k| 0.000000e+00 | 9.000000e+00 | Inf
896.90/897.21 c 769s| 1460k|122526 | 5786k| 4.0 | 87M| 52 | - | 146 | 44 | 146 | 17 | 23 | 87k| 20k| 0.000000e+00 | 9.000000e+00 | Inf
902.91/903.21 c 774s| 1470k|122652 | 5826k| 4.0 | 88M| 52 | - | 146 | 50 | 146 | 17 | 23 | 88k| 20k| 0.000000e+00 | 9.000000e+00 | Inf
908.79/909.13 c 779s| 1480k|122765 | 5864k| 4.0 | 88M| 52 | 6 | 146 | 44 | 146 | 17 | 23 | 88k| 20k| 0.000000e+00 | 9.000000e+00 | Inf
914.70/915.04 c 784s| 1490k|122989 | 5902k| 4.0 | 88M| 52 | - | 146 | 49 | 146 | 17 | 23 | 89k| 20k| 0.000000e+00 | 9.000000e+00 | Inf
920.69/921.00 c 789s| 1500k|122941 | 5942k| 4.0 | 88M| 52 | - | 146 | 44 | 146 | 17 | 23 | 89k| 20k| 0.000000e+00 | 9.000000e+00 | Inf
926.80/927.11 c 794s| 1510k|124328 | 5982k| 4.0 | 89M| 52 | 6 | 146 | 55 | 146 | 17 | 23 | 90k| 20k| 0.000000e+00 | 9.000000e+00 | Inf
932.79/933.13 c 799s| 1520k|125417 | 6022k| 4.0 | 90M| 52 | - | 146 | 48 | 146 | 17 | 23 | 91k| 20k| 0.000000e+00 | 9.000000e+00 | Inf
938.69/939.06 c 804s| 1530k|126217 | 6061k| 4.0 | 90M| 52 | 6 | 146 | 43 | 146 | 17 | 23 | 91k| 20k| 0.000000e+00 | 9.000000e+00 | Inf
944.70/945.02 c 809s| 1540k|127341 | 6100k| 4.0 | 91M| 52 | - | 146 | 45 | 146 | 17 | 23 | 92k| 20k| 0.000000e+00 | 9.000000e+00 | Inf
950.69/951.01 c 814s| 1550k|127833 | 6140k| 4.0 | 92M| 52 | - | 146 | 44 | 146 | 17 | 23 | 93k| 21k| 0.000000e+00 | 9.000000e+00 | Inf
956.59/956.94 c 819s| 1560k|128604 | 6178k| 4.0 | 92M| 52 | 6 | 146 | 44 | 146 | 17 | 23 | 93k| 21k| 0.000000e+00 | 9.000000e+00 | Inf
962.59/962.93 c 824s| 1570k|128927 | 6218k| 4.0 | 93M| 52 | - | 146 | 44 | 0 | 0 | 23 | 94k| 21k| 0.000000e+00 | 9.000000e+00 | Inf
968.58/968.96 c 830s| 1580k|129983 | 6258k| 4.0 | 94M| 52 | 6 | 146 | 43 | 146 | 17 | 23 | 95k| 21k| 0.000000e+00 | 9.000000e+00 | Inf
974.58/974.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
974.58/974.96 c 835s| 1590k|130412 | 6298k| 4.0 | 94M| 52 | - | 146 | 42 | 0 | 0 | 23 | 95k| 21k| 0.000000e+00 | 9.000000e+00 | Inf
980.58/980.96 c 840s| 1600k|130642 | 6337k| 4.0 | 94M| 52 | - | 146 | 40 | 146 | 17 | 23 | 96k| 21k| 0.000000e+00 | 9.000000e+00 | Inf
986.67/987.07 c 845s| 1610k|130826 | 6378k| 4.0 | 95M| 52 | 6 | 146 | 41 | 146 | 17 | 23 | 96k| 21k| 0.000000e+00 | 9.000000e+00 | Inf
992.67/993.05 c 850s| 1620k|131160 | 6418k| 4.0 | 95M| 52 | 6 | 146 | 43 | 146 | 17 | 23 | 97k| 21k| 0.000000e+00 | 9.000000e+00 | Inf
998.78/999.11 c 855s| 1630k|131321 | 6458k| 4.0 | 95M| 52 | - | 146 | 46 | 146 | 17 | 23 | 97k| 21k| 0.000000e+00 | 9.000000e+00 | Inf
1004.77/1005.11 c 860s| 1640k|131379 | 6497k| 4.0 | 96M| 52 | - | 146 | 42 | 146 | 17 | 23 | 98k| 21k| 0.000000e+00 | 9.000000e+00 | Inf
1010.77/1011.19 c 865s| 1650k|131687 | 6536k| 4.0 | 96M| 52 | - | 146 | 41 | 146 | 17 | 23 | 99k| 21k| 0.000000e+00 | 9.000000e+00 | Inf
1016.77/1017.17 c 870s| 1660k|132054 | 6575k| 4.0 | 96M| 52 | 6 | 146 | 48 | 146 | 17 | 23 | 99k| 22k| 0.000000e+00 | 9.000000e+00 | Inf
1022.77/1023.13 c 875s| 1670k|132406 | 6614k| 4.0 | 97M| 52 | - | 146 | 46 | 0 | 0 | 23 | 100k| 22k| 0.000000e+00 | 9.000000e+00 | Inf
1028.77/1029.15 c 881s| 1680k|132326 | 6653k| 4.0 | 97M| 52 | - | 146 | 41 | 146 | 17 | 23 | 101k| 22k| 0.000000e+00 | 9.000000e+00 | Inf
1034.87/1035.21 c 886s| 1690k|132274 | 6692k| 4.0 | 97M| 52 | 6 | 146 | 41 | 146 | 17 | 23 | 101k| 22k| 0.000000e+00 | 9.000000e+00 | Inf
1040.86/1041.24 c 891s| 1700k|133425 | 6731k| 4.0 | 98M| 52 | - | 146 | 41 | 146 | 17 | 23 | 102k| 22k| 0.000000e+00 | 9.000000e+00 | Inf
1046.86/1047.21 c 896s| 1710k|133999 | 6769k| 4.0 | 99M| 52 | - | 146 | 38 | 146 | 17 | 23 | 103k| 22k| 0.000000e+00 | 9.000000e+00 | Inf
1052.86/1053.22 c 901s| 1720k|134256 | 6807k| 4.0 | 99M| 52 | 6 | 146 | 42 | 146 | 17 | 23 | 103k| 22k| 0.000000e+00 | 9.000000e+00 | Inf
1058.76/1059.17 c 906s| 1730k|134250 | 6845k| 4.0 | 99M| 52 | 6 | 146 | 43 | 146 | 17 | 23 | 104k| 22k| 0.000000e+00 | 9.000000e+00 | Inf
1064.85/1065.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1064.85/1065.20 c 911s| 1740k|134118 | 6883k| 4.0 | 99M| 52 | - | 146 | 42 | 146 | 17 | 23 | 105k| 22k| 0.000000e+00 | 9.000000e+00 | Inf
1070.85/1071.27 c 916s| 1750k|133766 | 6922k| 4.0 | 99M| 52 | - | 146 | 44 | 146 | 17 | 23 | 105k| 22k| 0.000000e+00 | 9.000000e+00 | Inf
1076.85/1077.26 c 921s| 1760k|133444 | 6961k| 4.0 | 99M| 52 | 6 | 146 | 40 | 146 | 17 | 23 | 106k| 23k| 0.000000e+00 | 9.000000e+00 | Inf
1082.85/1083.26 c 926s| 1770k|133209 | 7000k| 4.0 | 99M| 52 | 6 | 146 | 49 | 146 | 17 | 23 | 107k| 23k| 0.000000e+00 | 9.000000e+00 | Inf
1088.85/1089.23 c 931s| 1780k|133438 | 7040k| 4.0 | 99M| 52 | - | 146 | 47 | 0 | 0 | 23 | 107k| 23k| 0.000000e+00 | 9.000000e+00 | Inf
1094.84/1095.28 c 937s| 1790k|133360 | 7079k| 4.0 | 100M| 52 | 6 | 146 | 48 | 146 | 17 | 23 | 108k| 23k| 0.000000e+00 | 9.000000e+00 | Inf
1100.85/1101.25 c 942s| 1800k|133334 | 7118k| 4.0 | 100M| 52 | 6 | 146 | 49 | 146 | 17 | 23 | 109k| 23k| 0.000000e+00 | 9.000000e+00 | Inf
1106.84/1107.20 c 947s| 1810k|133936 | 7155k| 4.0 | 100M| 52 | - | 146 | 49 | 146 | 17 | 23 | 110k| 23k| 0.000000e+00 | 9.000000e+00 | Inf
1112.72/1113.18 c 952s| 1820k|133626 | 7193k| 4.0 | 100M| 52 | 6 | 146 | 47 | 146 | 17 | 23 | 110k| 23k| 0.000000e+00 | 9.000000e+00 | Inf
1118.81/1119.26 c 957s| 1830k|133413 | 7232k| 4.0 | 100M| 52 | - | 146 | 51 | 146 | 17 | 23 | 111k| 23k| 0.000000e+00 | 9.000000e+00 | Inf
1124.81/1125.26 c 962s| 1840k|133527 | 7271k| 4.0 | 100M| 52 | 6 | 146 | 48 | 146 | 17 | 23 | 111k| 23k| 0.000000e+00 | 9.000000e+00 | Inf
1130.81/1131.24 c 967s| 1850k|133803 | 7310k| 4.0 | 101M| 52 | - | 146 | 47 | 0 | 0 | 23 | 112k| 23k| 0.000000e+00 | 9.000000e+00 | Inf
1136.80/1137.26 c 972s| 1860k|133295 | 7350k| 4.0 | 101M| 52 | - | 146 | 52 | 146 | 17 | 23 | 113k| 24k| 0.000000e+00 | 9.000000e+00 | Inf
1142.81/1143.29 c 977s| 1870k|133269 | 7389k| 4.0 | 101M| 52 | - | 146 | 49 | 146 | 17 | 23 | 113k| 24k| 0.000000e+00 | 9.000000e+00 | Inf
1148.80/1149.28 c 982s| 1880k|133160 | 7428k| 4.0 | 101M| 52 | - | 146 | 47 | 146 | 17 | 23 | 114k| 24k| 0.000000e+00 | 9.000000e+00 | Inf
1154.80/1155.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1154.80/1155.29 c 987s| 1890k|132775 | 7466k| 4.0 | 101M| 52 | 6 | 146 | 44 | 146 | 17 | 23 | 115k| 24k| 0.000000e+00 | 9.000000e+00 | Inf
1160.90/1161.34 c 993s| 1900k|132304 | 7505k| 4.0 | 101M| 52 | - | 146 | 42 | 146 | 17 | 23 | 115k| 24k| 0.000000e+00 | 9.000000e+00 | Inf
1166.90/1167.39 c 998s| 1910k|131707 | 7544k| 3.9 | 100M| 52 | - | 146 | 44 | 146 | 17 | 23 | 116k| 24k| 0.000000e+00 | 9.000000e+00 | Inf
1172.90/1173.39 c 1003s| 1920k|131445 | 7583k| 3.9 | 100M| 52 | 6 | 146 | 44 | 146 | 17 | 23 | 116k| 24k| 0.000000e+00 | 9.000000e+00 | Inf
1179.00/1179.46 c 1008s| 1930k|131073 | 7623k| 3.9 | 100M| 52 | 6 | 146 | 43 | 146 | 17 | 23 | 117k| 24k| 0.000000e+00 | 9.000000e+00 | Inf
1185.19/1185.62 c 1013s| 1940k|131806 | 7663k| 4.0 | 101M| 52 | 6 | 146 | 44 | 146 | 17 | 23 | 118k| 24k| 0.000000e+00 | 9.000000e+00 | Inf
1191.19/1191.68 c 1018s| 1950k|131705 | 7703k| 4.0 | 101M| 52 | 6 | 146 | 42 | 146 | 17 | 23 | 118k| 24k| 0.000000e+00 | 9.000000e+00 | Inf
1197.29/1197.72 c 1024s| 1960k|132397 | 7743k| 4.0 | 101M| 52 | 6 | 146 | 42 | 146 | 17 | 23 | 119k| 24k| 0.000000e+00 | 9.000000e+00 | Inf
1203.29/1203.78 c 1029s| 1970k|132473 | 7783k| 4.0 | 102M| 52 | 6 | 146 | 47 | 146 | 17 | 23 | 119k| 25k| 0.000000e+00 | 9.000000e+00 | Inf
1209.39/1209.88 c 1034s| 1980k|132329 | 7823k| 4.0 | 102M| 52 | - | 146 | 45 | 146 | 17 | 23 | 120k| 25k| 0.000000e+00 | 9.000000e+00 | Inf
1215.48/1215.93 c 1039s| 1990k|132264 | 7864k| 4.0 | 102M| 52 | - | 146 | 52 | 146 | 17 | 23 | 121k| 25k| 0.000000e+00 | 9.000000e+00 | Inf
1221.48/1221.97 c 1044s| 2000k|132000 | 7902k| 4.0 | 102M| 52 | - | 146 | 45 | 146 | 17 | 23 | 121k| 25k| 0.000000e+00 | 9.000000e+00 | Inf
1227.68/1228.12 c 1049s| 2010k|131627 | 7942k| 4.0 | 102M| 52 | - | 146 | 48 | 146 | 17 | 23 | 122k| 25k| 0.000000e+00 | 9.000000e+00 | Inf
1233.68/1234.19 c 1054s| 2020k|130913 | 7981k| 4.0 | 101M| 52 | - | 146 | 48 | 146 | 17 | 23 | 123k| 25k| 0.000000e+00 | 9.000000e+00 | Inf
1239.78/1240.23 c 1060s| 2030k|130661 | 8021k| 4.0 | 101M| 52 | - | 146 | 45 | 146 | 17 | 23 | 123k| 25k| 0.000000e+00 | 9.000000e+00 | Inf
1245.78/1246.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1245.78/1246.28 c 1065s| 2040k|130703 | 8062k| 4.0 | 101M| 52 | - | 146 | 48 | 0 | 0 | 23 | 124k| 25k| 0.000000e+00 | 9.000000e+00 | Inf
1251.77/1252.24 c 1070s| 2050k|130624 | 8100k| 4.0 | 101M| 52 | - | 146 | 43 | 146 | 17 | 23 | 124k| 25k| 0.000000e+00 | 9.000000e+00 | Inf
1252.08/1252.50 o 8
1252.08/1252.50 c *1070s| 2050k|129157 | 8102k| 4.0 | 99M| 52 | - | 146 | 44 | 146 | 17 | 23 | 124k| 25k| 0.000000e+00 | 8.000000e+00 | Inf
1252.08/1252.53 o 6
1252.08/1252.53 c *1070s| 2050k|125286 | 8102k| 4.0 | 93M| 52 | - | 146 | 44 | 146 | 17 | 23 | 124k| 25k| 0.000000e+00 | 6.000000e+00 | Inf
1257.57/1258.04 c 1075s| 2060k|124719 | 8141k| 4.0 | 92M| 52 | - | 146 | 55 | 146 | 17 | 23 | 125k| 25k| 0.000000e+00 | 6.000000e+00 | Inf
1263.28/1263.76 c 1079s| 2070k|124170 | 8181k| 4.0 | 92M| 52 | - | 146 | 68 | 146 | 17 | 23 | 126k| 25k| 0.000000e+00 | 6.000000e+00 | Inf
1269.08/1269.54 c 1084s| 2080k|123717 | 8223k| 4.0 | 92M| 52 | 6 | 146 | 73 | 146 | 17 | 23 | 126k| 25k| 0.000000e+00 | 6.000000e+00 | Inf
1274.87/1275.35 c 1089s| 2090k|123172 | 8265k| 4.0 | 91M| 52 | - | 146 | 65 | 0 | 0 | 23 | 127k| 26k| 0.000000e+00 | 6.000000e+00 | Inf
1280.57/1281.08 c 1094s| 2100k|123366 | 8306k| 4.0 | 91M| 52 | - | 146 | 70 | 0 | 0 | 23 | 127k| 26k| 0.000000e+00 | 6.000000e+00 | Inf
1286.26/1286.77 c 1099s| 2110k|123697 | 8345k| 4.0 | 92M| 52 | - | 146 | 85 | 146 | 17 | 23 | 128k| 26k| 0.000000e+00 | 6.000000e+00 | Inf
1291.96/1292.44 c 1103s| 2120k|123574 | 8385k| 4.0 | 92M| 52 | 6 | 146 | 83 | 146 | 17 | 23 | 128k| 26k| 0.000000e+00 | 6.000000e+00 | Inf
1297.57/1298.07 c 1108s| 2130k|123169 | 8424k| 4.0 | 91M| 52 | 6 | 146 | 58 | 146 | 17 | 23 | 129k| 26k| 0.000000e+00 | 6.000000e+00 | Inf
1303.26/1303.73 c 1113s| 2140k|122686 | 8464k| 4.0 | 91M| 52 | 6 | 146 | 72 | 146 | 17 | 23 | 129k| 26k| 0.000000e+00 | 6.000000e+00 | Inf
1308.96/1309.42 c 1118s| 2150k|122258 | 8504k| 4.0 | 91M| 52 | 6 | 146 | 62 | 146 | 17 | 23 | 130k| 26k| 0.000000e+00 | 6.000000e+00 | Inf
1314.66/1315.13 c 1122s| 2160k|121497 | 8544k| 4.0 | 90M| 52 | - | 146 | 72 | 146 | 17 | 23 | 130k| 26k| 0.000000e+00 | 6.000000e+00 | Inf
1320.35/1320.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1320.35/1320.89 c 1127s| 2170k|120707 | 8585k| 4.0 | 90M| 52 | 6 | 146 | 67 | 146 | 17 | 23 | 131k| 26k| 0.000000e+00 | 6.000000e+00 | Inf
1326.06/1326.54 c 1132s| 2180k|120278 | 8625k| 4.0 | 89M| 52 | 6 | 146 | 72 | 146 | 17 | 23 | 131k| 26k| 0.000000e+00 | 6.000000e+00 | Inf
1331.76/1332.24 c 1137s| 2190k|120092 | 8665k| 4.0 | 89M| 52 | - | 146 | 69 | 146 | 17 | 23 | 131k| 26k| 0.000000e+00 | 6.000000e+00 | Inf
1337.45/1337.99 c 1142s| 2200k|119568 | 8706k| 4.0 | 89M| 52 | 6 | 146 | 81 | 146 | 17 | 23 | 132k| 26k| 0.000000e+00 | 6.000000e+00 | Inf
1343.15/1343.68 c 1146s| 2210k|119506 | 8746k| 4.0 | 89M| 52 | - | 146 | 79 | 146 | 17 | 23 | 132k| 26k| 0.000000e+00 | 6.000000e+00 | Inf
1348.85/1349.39 c 1151s| 2220k|119034 | 8786k| 4.0 | 89M| 52 | - | 146 | 77 | 146 | 17 | 23 | 133k| 26k| 0.000000e+00 | 6.000000e+00 | Inf
1354.54/1355.06 c 1156s| 2230k|118572 | 8826k| 4.0 | 88M| 52 | 6 | 146 | 80 | 146 | 17 | 23 | 133k| 26k| 0.000000e+00 | 6.000000e+00 | Inf
1360.25/1360.75 c 1161s| 2240k|117953 | 8866k| 4.0 | 88M| 52 | 6 | 146 | 88 | 146 | 17 | 23 | 134k| 26k| 0.000000e+00 | 6.000000e+00 | Inf
1365.85/1366.34 c 1165s| 2250k|117883 | 8905k| 4.0 | 88M| 52 | 6 | 146 | 88 | 146 | 17 | 23 | 134k| 26k| 0.000000e+00 | 6.000000e+00 | Inf
1371.65/1372.13 c 1170s| 2260k|117884 | 8948k| 4.0 | 88M| 52 | 6 | 146 | 79 | 146 | 17 | 23 | 135k| 26k| 0.000000e+00 | 6.000000e+00 | Inf
1377.45/1377.98 c 1175s| 2270k|118208 | 8991k| 4.0 | 88M| 52 | - | 146 | 74 | 146 | 17 | 23 | 135k| 26k| 0.000000e+00 | 6.000000e+00 | Inf
1383.24/1383.75 c 1180s| 2280k|118883 | 9034k| 4.0 | 89M| 52 | 6 | 146 | 61 | 146 | 17 | 23 | 136k| 26k| 0.000000e+00 | 6.000000e+00 | Inf
1389.04/1389.57 c 1185s| 2290k|119252 | 9077k| 4.0 | 89M| 52 | 6 | 146 | 68 | 146 | 17 | 23 | 136k| 27k| 0.000000e+00 | 6.000000e+00 | Inf
1394.84/1395.32 c 1190s| 2300k|119633 | 9120k| 4.0 | 89M| 52 | 6 | 146 | 68 | 146 | 17 | 23 | 137k| 27k| 0.000000e+00 | 6.000000e+00 | Inf
1400.54/1401.02 c 1195s| 2310k|119674 | 9161k| 4.0 | 89M| 52 | - | 146 | 62 | 146 | 17 | 23 | 137k| 27k| 0.000000e+00 | 6.000000e+00 | Inf
1406.33/1406.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1406.33/1406.81 c 1200s| 2320k|119432 | 9203k| 4.0 | 89M| 52 | 6 | 146 | 66 | 146 | 17 | 23 | 138k| 27k| 0.000000e+00 | 6.000000e+00 | Inf
1412.04/1412.56 c 1204s| 2330k|118979 | 9246k| 4.0 | 89M| 52 | - | 146 | 60 | 146 | 17 | 23 | 138k| 27k| 0.000000e+00 | 6.000000e+00 | Inf
1417.83/1418.32 c 1209s| 2340k|118689 | 9288k| 4.0 | 89M| 52 | 6 | 146 | 64 | 146 | 17 | 23 | 138k| 27k| 0.000000e+00 | 6.000000e+00 | Inf
1423.62/1424.12 c 1214s| 2350k|118171 | 9331k| 4.0 | 89M| 52 | - | 146 | 66 | 146 | 17 | 23 | 139k| 27k| 0.000000e+00 | 6.000000e+00 | Inf
1429.32/1429.85 c 1219s| 2360k|117554 | 9372k| 4.0 | 88M| 52 | - | 146 | 68 | 0 | 0 | 23 | 140k| 27k| 0.000000e+00 | 6.000000e+00 | Inf
1435.03/1435.55 c 1224s| 2370k|117984 | 9413k| 4.0 | 88M| 52 | - | 146 | 86 | 146 | 17 | 23 | 140k| 27k| 0.000000e+00 | 6.000000e+00 | Inf
1440.63/1441.17 c 1228s| 2380k|118150 | 9452k| 4.0 | 89M| 52 | - | 146 | 84 | 146 | 17 | 23 | 140k| 27k| 0.000000e+00 | 6.000000e+00 | Inf
1446.23/1446.79 c 1233s| 2390k|118674 | 9492k| 4.0 | 89M| 52 | - | 146 | 93 | 146 | 17 | 23 | 141k| 27k| 0.000000e+00 | 6.000000e+00 | Inf
1451.92/1452.49 c 1238s| 2400k|118771 | 9532k| 4.0 | 89M| 52 | 6 | 146 | 87 | 146 | 17 | 23 | 142k| 27k| 0.000000e+00 | 6.000000e+00 | Inf
1457.62/1458.16 c 1243s| 2410k|118379 | 9572k| 4.0 | 89M| 52 | - | 146 | 82 | 146 | 17 | 23 | 142k| 27k| 0.000000e+00 | 6.000000e+00 | Inf
1463.22/1463.76 c 1247s| 2420k|118147 | 9610k| 4.0 | 89M| 52 | 6 | 146 | 80 | 146 | 17 | 23 | 143k| 27k| 0.000000e+00 | 6.000000e+00 | Inf
1468.92/1469.41 c 1252s| 2430k|117872 | 9650k| 4.0 | 89M| 52 | - | 146 | 83 | 0 | 0 | 23 | 143k| 27k| 0.000000e+00 | 6.000000e+00 | Inf
1474.62/1475.10 c 1257s| 2440k|117271 | 9690k| 4.0 | 88M| 52 | 6 | 146 | 68 | 146 | 17 | 23 | 144k| 27k| 0.000000e+00 | 6.000000e+00 | Inf
1480.12/1480.69 c 1262s| 2450k|117172 | 9730k| 4.0 | 88M| 52 | 6 | 146 | 70 | 146 | 17 | 23 | 144k| 27k| 0.000000e+00 | 6.000000e+00 | Inf
1485.91/1486.41 c 1266s| 2460k|117225 | 9770k| 4.0 | 88M| 52 | - | 146 | 88 | 146 | 17 | 23 | 144k| 27k| 0.000000e+00 | 6.000000e+00 | Inf
1491.51/1492.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1491.51/1492.06 c 1271s| 2470k|117417 | 9810k| 4.0 | 88M| 52 | - | 146 | 80 | 146 | 17 | 23 | 145k| 27k| 0.000000e+00 | 6.000000e+00 | Inf
1497.20/1497.76 c 1276s| 2480k|117284 | 9850k| 4.0 | 88M| 52 | 6 | 146 | 76 | 146 | 17 | 23 | 145k| 27k| 0.000000e+00 | 6.000000e+00 | Inf
1502.80/1503.39 c 1281s| 2490k|117288 | 9889k| 4.0 | 88M| 52 | 6 | 146 | 81 | 146 | 17 | 23 | 146k| 27k| 0.000000e+00 | 6.000000e+00 | Inf
1508.41/1508.96 c 1285s| 2500k|117296 | 9926k| 4.0 | 88M| 52 | 6 | 146 | 85 | 146 | 17 | 23 | 147k| 28k| 0.000000e+00 | 6.000000e+00 | Inf
1514.00/1514.60 c 1290s| 2510k|117148 | 9966k| 4.0 | 88M| 52 | 6 | 146 | 85 | 146 | 17 | 23 | 147k| 28k| 0.000000e+00 | 6.000000e+00 | Inf
1519.71/1520.30 c 1295s| 2520k|117239 | 10007k| 4.0 | 88M| 52 | - | 146 | 94 | 0 | 0 | 23 | 148k| 28k| 0.000000e+00 | 6.000000e+00 | Inf
1525.49/1526.02 c 1300s| 2530k|117237 | 10049k| 4.0 | 88M| 52 | - | 146 | 90 | 146 | 17 | 23 | 148k| 28k| 0.000000e+00 | 6.000000e+00 | Inf
1531.20/1531.70 c 1305s| 2540k|117026 | 10089k| 4.0 | 88M| 52 | - | 146 | 84 | 146 | 17 | 23 | 149k| 28k| 0.000000e+00 | 6.000000e+00 | Inf
1536.79/1537.35 c 1309s| 2550k|116662 | 10129k| 4.0 | 88M| 52 | 6 | 146 | 87 | 146 | 17 | 23 | 149k| 28k| 0.000000e+00 | 6.000000e+00 | Inf
1542.49/1543.01 c 1314s| 2560k|116276 | 10169k| 4.0 | 88M| 52 | 6 | 146 | 74 | 146 | 17 | 23 | 150k| 28k| 0.000000e+00 | 6.000000e+00 | Inf
1548.19/1548.74 c 1319s| 2570k|115663 | 10210k| 4.0 | 87M| 52 | 6 | 146 | 84 | 146 | 17 | 23 | 150k| 28k| 0.000000e+00 | 6.000000e+00 | Inf
1553.90/1554.44 c 1324s| 2580k|116078 | 10250k| 4.0 | 88M| 52 | - | 146 | 84 | 0 | 0 | 23 | 151k| 28k| 0.000000e+00 | 6.000000e+00 | Inf
1559.59/1560.16 c 1328s| 2590k|115802 | 10292k| 4.0 | 88M| 52 | - | 146 | 81 | 146 | 17 | 23 | 151k| 28k| 0.000000e+00 | 6.000000e+00 | Inf
1565.19/1565.78 c 1333s| 2600k|115048 | 10332k| 4.0 | 87M| 52 | - | 146 | 77 | 146 | 17 | 23 | 152k| 28k| 0.000000e+00 | 6.000000e+00 | Inf
1570.88/1571.42 c 1338s| 2610k|114874 | 10371k| 4.0 | 87M| 52 | - | 146 | 82 | 0 | 0 | 23 | 152k| 28k| 0.000000e+00 | 6.000000e+00 | Inf
1576.49/1577.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1576.49/1577.08 c 1343s| 2620k|114352 | 10411k| 4.0 | 87M| 52 | - | 146 | 92 | 146 | 17 | 23 | 153k| 28k| 0.000000e+00 | 6.000000e+00 | Inf
1582.08/1582.68 c 1347s| 2630k|114642 | 10451k| 4.0 | 87M| 52 | 6 | 146 | 93 | 146 | 17 | 23 | 153k| 28k| 0.000000e+00 | 6.000000e+00 | Inf
1587.78/1588.35 c 1352s| 2640k|114461 | 10491k| 4.0 | 87M| 52 | 6 | 146 | 99 | 146 | 17 | 23 | 153k| 28k| 0.000000e+00 | 6.000000e+00 | Inf
1593.39/1593.98 c 1357s| 2650k|114927 | 10531k| 4.0 | 87M| 52 | - | 146 | 102 | 146 | 17 | 23 | 154k| 28k| 0.000000e+00 | 6.000000e+00 | Inf
1598.99/1599.59 c 1362s| 2660k|115040 | 10570k| 4.0 | 87M| 52 | 6 | 146 | 97 | 146 | 17 | 23 | 154k| 28k| 0.000000e+00 | 6.000000e+00 | Inf
1604.68/1605.26 c 1366s| 2670k|114316 | 10609k| 4.0 | 87M| 52 | - | 146 | 92 | 146 | 17 | 23 | 155k| 28k| 0.000000e+00 | 6.000000e+00 | Inf
1610.37/1610.97 c 1371s| 2680k|115109 | 10650k| 4.0 | 87M| 52 | - | 146 | 72 | 146 | 17 | 23 | 156k| 28k| 0.000000e+00 | 6.000000e+00 | Inf
1616.07/1616.64 c 1376s| 2690k|115958 | 10690k| 4.0 | 88M| 52 | - | 146 | 68 | 0 | 0 | 23 | 156k| 28k| 0.000000e+00 | 6.000000e+00 | Inf
1621.77/1622.32 c 1381s| 2700k|116360 | 10730k| 4.0 | 88M| 52 | 6 | 146 | 78 | 146 | 17 | 23 | 157k| 28k| 0.000000e+00 | 6.000000e+00 | Inf
1627.37/1628.00 c 1386s| 2710k|116713 | 10770k| 4.0 | 88M| 52 | - | 146 | 81 | 146 | 17 | 23 | 157k| 29k| 0.000000e+00 | 6.000000e+00 | Inf
1632.98/1633.58 c 1390s| 2720k|117081 | 10808k| 4.0 | 89M| 52 | 6 | 146 | 75 | 146 | 17 | 23 | 157k| 29k| 0.000000e+00 | 6.000000e+00 | Inf
1638.57/1639.17 c 1395s| 2730k|117007 | 10847k| 4.0 | 89M| 52 | 6 | 146 | 68 | 146 | 17 | 23 | 158k| 29k| 0.000000e+00 | 6.000000e+00 | Inf
1644.26/1644.86 c 1400s| 2740k|116758 | 10886k| 4.0 | 89M| 52 | - | 146 | 63 | 146 | 17 | 23 | 159k| 29k| 0.000000e+00 | 6.000000e+00 | Inf
1649.86/1650.49 c 1404s| 2750k|116379 | 10926k| 4.0 | 89M| 52 | 6 | 146 | 70 | 146 | 17 | 23 | 159k| 29k| 0.000000e+00 | 6.000000e+00 | Inf
1655.46/1656.07 c 1409s| 2760k|116413 | 10964k| 4.0 | 89M| 52 | 6 | 146 | 72 | 146 | 17 | 23 | 159k| 29k| 0.000000e+00 | 6.000000e+00 | Inf
1661.07/1661.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1661.07/1661.67 c 1414s| 2770k|116452 | 11002k| 4.0 | 89M| 52 | 6 | 146 | 73 | 146 | 17 | 23 | 160k| 29k| 0.000000e+00 | 6.000000e+00 | Inf
1666.66/1667.28 c 1419s| 2780k|116017 | 11041k| 4.0 | 89M| 52 | - | 146 | 67 | 146 | 17 | 23 | 160k| 29k| 0.000000e+00 | 6.000000e+00 | Inf
1672.35/1672.93 c 1423s| 2790k|116251 | 11080k| 4.0 | 89M| 52 | - | 146 | 65 | 146 | 17 | 23 | 161k| 29k| 0.000000e+00 | 6.000000e+00 | Inf
1677.95/1678.56 c 1428s| 2800k|116881 | 11120k| 4.0 | 89M| 52 | 6 | 146 | 73 | 146 | 17 | 23 | 161k| 29k| 0.000000e+00 | 6.000000e+00 | Inf
1683.56/1684.14 c 1433s| 2810k|117199 | 11158k| 4.0 | 89M| 52 | 6 | 146 | 80 | 146 | 17 | 23 | 162k| 29k| 0.000000e+00 | 6.000000e+00 | Inf
1689.16/1689.75 c 1438s| 2820k|116944 | 11198k| 4.0 | 89M| 52 | 6 | 146 | 70 | 146 | 17 | 23 | 162k| 29k| 0.000000e+00 | 6.000000e+00 | Inf
1694.85/1695.45 c 1442s| 2830k|116254 | 11237k| 4.0 | 89M| 52 | 6 | 146 | 69 | 146 | 17 | 23 | 163k| 29k| 0.000000e+00 | 6.000000e+00 | Inf
1700.55/1701.11 c 1447s| 2840k|116025 | 11276k| 4.0 | 89M| 52 | - | 146 | 63 | 146 | 17 | 23 | 163k| 29k| 0.000000e+00 | 6.000000e+00 | Inf
1706.15/1706.72 c 1452s| 2850k|115885 | 11315k| 4.0 | 89M| 52 | - | 146 | 73 | 146 | 17 | 23 | 164k| 29k| 0.000000e+00 | 6.000000e+00 | Inf
1711.74/1712.37 c 1457s| 2860k|115578 | 11355k| 4.0 | 88M| 52 | - | 146 | 65 | 146 | 17 | 23 | 164k| 29k| 0.000000e+00 | 6.000000e+00 | Inf
1717.45/1718.00 c 1461s| 2870k|115534 | 11394k| 4.0 | 88M| 52 | - | 146 | 77 | 146 | 17 | 23 | 165k| 29k| 0.000000e+00 | 6.000000e+00 | Inf
1723.15/1723.72 c 1466s| 2880k|115425 | 11434k| 4.0 | 88M| 52 | - | 146 | 73 | 146 | 17 | 23 | 165k| 29k| 0.000000e+00 | 6.000000e+00 | Inf
1728.84/1729.45 c 1471s| 2890k|114883 | 11474k| 4.0 | 88M| 52 | - | 146 | 62 | 146 | 17 | 23 | 166k| 29k| 0.000000e+00 | 6.000000e+00 | Inf
1734.54/1735.15 c 1476s| 2900k|115129 | 11515k| 4.0 | 88M| 52 | - | 146 | 85 | 146 | 17 | 23 | 166k| 29k| 0.000000e+00 | 6.000000e+00 | Inf
1740.23/1740.88 c 1481s| 2910k|114648 | 11555k| 4.0 | 88M| 52 | 6 | 146 | 76 | 146 | 17 | 23 | 167k| 29k| 0.000000e+00 | 6.000000e+00 | Inf
1745.94/1746.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1745.94/1746.50 c 1485s| 2920k|115214 | 11594k| 4.0 | 88M| 52 | - | 146 | 82 | 0 | 0 | 23 | 167k| 29k| 0.000000e+00 | 6.000000e+00 | Inf
1751.54/1752.10 c 1490s| 2930k|114932 | 11633k| 4.0 | 88M| 52 | 6 | 146 | 87 | 146 | 17 | 23 | 168k| 29k| 0.000000e+00 | 6.000000e+00 | Inf
1757.03/1757.68 c 1495s| 2940k|114436 | 11671k| 4.0 | 88M| 52 | - | 146 | 93 | 146 | 17 | 23 | 168k| 30k| 0.000000e+00 | 6.000000e+00 | Inf
1762.74/1763.37 c 1499s| 2950k|113735 | 11710k| 4.0 | 87M| 52 | 6 | 146 | 109 | 146 | 17 | 23 | 169k| 30k| 0.000000e+00 | 6.000000e+00 | Inf
1768.43/1769.06 c 1504s| 2960k|113191 | 11751k| 4.0 | 87M| 52 | 6 | 146 | 94 | 146 | 17 | 23 | 169k| 30k| 0.000000e+00 | 6.000000e+00 | Inf
1774.13/1774.70 c 1509s| 2970k|112910 | 11790k| 4.0 | 86M| 52 | - | 146 | 84 | 146 | 17 | 23 | 170k| 30k| 0.000000e+00 | 6.000000e+00 | Inf
1779.82/1780.42 c 1514s| 2980k|112491 | 11832k| 4.0 | 86M| 52 | 6 | 146 | 85 | 146 | 17 | 23 | 170k| 30k| 0.000000e+00 | 6.000000e+00 | Inf
1785.53/1786.15 c 1519s| 2990k|113424 | 11873k| 4.0 | 87M| 52 | 6 | 146 | 92 | 146 | 17 | 23 | 171k| 30k| 0.000000e+00 | 6.000000e+00 | Inf
1791.22/1791.84 c 1523s| 3000k|113315 | 11913k| 4.0 | 87M| 52 | - | 146 | 93 | 146 | 17 | 23 | 171k| 30k| 0.000000e+00 | 6.000000e+00 | Inf
1796.82/1797.49 c 1528s| 3010k|112751 | 11952k| 4.0 | 86M| 52 | 6 | 146 | 100 | 146 | 17 | 23 | 172k| 30k| 0.000000e+00 | 6.000000e+00 | Inf
1800.03/1800.60 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.60 c
1800.03/1800.60 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.60 c Solving Time (sec) : 1530.76
1800.03/1800.60 c Solving Nodes : 3015454
1800.03/1800.60 c Primal Bound : +6.00000000000000e+00 (54 solutions)
1800.03/1800.60 c Dual Bound : +0.00000000000000e+00
1800.03/1800.60 c Gap : infinite
1800.03/1800.60 s SATISFIABLE
1800.03/1800.60 v x117 x146 x145 -x144 -x143 -x142 x141 -x140 x139 -x138 x137 x136 -x135 x134 -x133 -x132 x131 x130 x129 x128 -x127 x126 -x125 -x124
1800.03/1800.60 v -x123 x122 x121 x120 -x119 x118 x116 x115 x114 -x113 -x112 -x111 x110 x109 -x108 -x107 -x106 x105 -x104 -x103 -x102 -x101
1800.03/1800.60 v -x100 x99 x98 x97 -x96 -x95 -x94 -x93 -x92 -x91 x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75
1800.03/1800.60 v -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50
1800.03/1800.60 v -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 x26 -x25
1800.03/1800.60 v -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 x1
1800.03/1800.60 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.60 c Solving Time : 1530.76
1800.03/1800.60 c Original Problem :
1800.03/1800.60 c Problem name : HOME/instance-2665657-1276602148.opb
1800.03/1800.60 c Variables : 146 (146 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.60 c Constraints : 12 initial, 12 maximal
1800.03/1800.60 c Presolved Problem :
1800.03/1800.60 c Problem name : t_HOME/instance-2665657-1276602148.opb
1800.03/1800.60 c Variables : 146 (146 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.60 c Constraints : 6 initial, 163 maximal
1800.03/1800.60 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.60 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.60 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.60 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.60 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.60 c implics : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.60 c probing : 0.01 0 0 0 0 0 0 0 0
1800.03/1800.60 c linear : 0.01 0 0 0 0 0 6 0 0
1800.03/1800.60 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.60 c root node : - 60 - - 60 - - - -
1800.03/1800.60 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.60 c integral : 0 0 0 1606757 0 636 18269 0 0 3175858
1800.03/1800.60 c linear : 6+ 7 4111950 1 0 558591 3760701 0 0 0
1800.03/1800.60 c logicor : 0+ 0 1242438 0 0 2875 55292 0 0 0
1800.03/1800.60 c countsols : 0 0 0 33 0 0 0 0 0 0
1800.03/1800.60 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.60 c integral : 29.91 0.00 0.00 29.91 0.00
1800.03/1800.60 c linear : 279.74 0.00 279.74 0.00 0.00
1800.03/1800.60 c logicor : 4.21 0.00 4.21 0.00 0.00
1800.03/1800.60 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.60 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.60 c vbounds : 2.31 2 0 0
1800.03/1800.60 c rootredcost : 1.86 46 0 60
1800.03/1800.60 c pseudoobj : 36.47 4120513 8729 399843
1800.03/1800.60 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.60 c propagation : 34.94 569999 155418 181302 47.5 14 26.2 -
1800.03/1800.60 c infeasible LP : 1.50 16966 16914 22880 29.5 1 42.0 0
1800.03/1800.60 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.60 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.60 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.03/1800.60 c applied globally : - - - 14275 22.3 - - -
1800.03/1800.60 c applied locally : - - - 158710 47.4 - - -
1800.03/1800.60 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.60 c cut pool : 0.00 5 - - 58 - (maximal pool size: 93)
1800.03/1800.60 c redcost : 55.79 2072254 0 10383337 0 0
1800.03/1800.60 c impliedbounds : 0.00 6 0 0 0 0
1800.03/1800.60 c intobj : 0.00 0 0 0 0 0
1800.03/1800.60 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.60 c gomory : 0.01 6 0 0 0 0
1800.03/1800.60 c strongcg : 0.01 6 0 0 20 0
1800.03/1800.60 c cmir : 0.02 6 0 0 41 0
1800.03/1800.60 c flowcover : 0.03 6 0 0 54 0
1800.03/1800.60 c clique : 0.00 1 0 0 0 0
1800.03/1800.60 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.60 c mcf : 0.00 1 0 0 0 0
1800.03/1800.61 c rapidlearning : 0.11 1 0 0 0 108
1800.03/1800.61 c Pricers : Time Calls Vars
1800.03/1800.61 c problem variables: 0.00 0 0
1800.03/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.61 c relpscost : 27.30 1606724 636 18269 0 0 3175858
1800.03/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.61 c inference : 0.00 0 0 0 0 0 0
1800.03/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.61 c random : 0.00 0 0 0 0 0 0
1800.03/1800.61 c Primal Heuristics : Time Calls Found
1800.03/1800.61 c LP solutions : 0.09 - 33
1800.03/1800.61 c pseudo solutions : 0.00 - 0
1800.03/1800.61 c oneopt : 2.12 45 0
1800.03/1800.61 c crossover : 10.20 14 0
1800.03/1800.61 c trivial : 0.00 2 0
1800.03/1800.61 c simplerounding : 1.28 0 0
1800.03/1800.61 c zirounding : 1.65 1000 0
1800.03/1800.61 c rounding : 2.56 19393 0
1800.03/1800.61 c shifting : 6.57 8052 1
1800.03/1800.61 c intshifting : 0.13 0 0
1800.03/1800.61 c twoopt : 0.00 0 0
1800.03/1800.61 c fixandinfer : 0.00 0 0
1800.03/1800.61 c feaspump : 0.32 1 0
1800.03/1800.61 c coefdiving : 9.16 2309 0
1800.03/1800.61 c pscostdiving : 5.36 2309 1
1800.03/1800.61 c fracdiving : 5.70 2309 5
1800.03/1800.61 c veclendiving : 4.59 2309 0
1800.03/1800.61 c intdiving : 0.00 0 0
1800.03/1800.61 c actconsdiving : 0.00 0 0
1800.03/1800.61 c objpscostdiving : 1.97 1156 1
1800.03/1800.61 c rootsoldiving : 4.87 1153 7
1800.03/1800.61 c linesearchdiving : 4.73 2309 3
1800.03/1800.61 c guideddiving : 5.12 2309 2
1800.03/1800.61 c octane : 0.00 0 0
1800.03/1800.61 c rens : 0.04 1 0
1800.03/1800.61 c rins : 0.00 0 0
1800.03/1800.61 c localbranching : 0.00 0 0
1800.03/1800.61 c mutation : 0.00 0 0
1800.03/1800.61 c dins : 0.00 0 0
1800.03/1800.61 c undercover : 0.00 0 0
1800.03/1800.61 c nlp : 1.27 0 0
1800.03/1800.61 c trysol : 2.40 0 0
1800.03/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.61 c dual LP : 772.37 2781051 11659272 4.19 15095.45
1800.03/1800.61 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.61 c diving/probing LP: 24.06 111860 314875 2.81 13087.07
1800.03/1800.61 c strong branching : 10.45 30364 125736 4.14 12032.15
1800.03/1800.61 c (at root node) : - 12 721 60.08 -
1800.03/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.61 c B&B Tree :
1800.03/1800.61 c number of runs : 1
1800.03/1800.61 c nodes : 3015454
1800.03/1800.61 c nodes (total) : 3015454
1800.03/1800.61 c nodes left : 112617
1800.03/1800.61 c max depth : 52
1800.03/1800.61 c max depth (total): 52
1800.03/1800.61 c backtracks : 723571 (24.0%)
1800.03/1800.61 c delayed cutoffs : 32841
1800.03/1800.61 c repropagations : 62958 (212835 domain reductions, 32539 cutoffs)
1800.03/1800.61 c avg switch length: 4.98
1800.03/1800.61 c switching time : 96.65
1800.03/1800.61 c Solution :
1800.03/1800.61 c Solutions found : 54 (46 improvements)
1800.03/1800.61 c First Solution : +7.57000000000000e+02 (in run 1, after 1 nodes, 0.12 seconds, depth 0, found by <trysol>)
1800.03/1800.61 c Primal Bound : +6.00000000000000e+00 (in run 1, after 2050441 nodes, 1069.94 seconds, depth 40, found by <relaxation>)
1800.03/1800.61 c Dual Bound : +0.00000000000000e+00
1800.03/1800.61 c Gap : infinite
1800.03/1800.61 c Root Dual Bound : +0.00000000000000e+00
1800.03/1800.61 c Root Iterations : 97
1800.52/1801.13 c Time complete: 1800.55.
OK 6
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665657-1276602148/watcher-2665657-1276602148 -o /tmp/evaluation-result-2665657-1276602148/solver-2665657-1276602148 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665657-1276602148.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.94 1.90 1.78 3/106 9708 /proc/meminfo: memFree=1846904/2059040 swapFree=4135684/4192956 [pid=9708] ppid=9706 vsize=9288 CPUtime=0 /proc/9708/stat : 9708 (pbscip.linux.x8) R 9706 9708 4850 0 -1 4202496 1026 0 0 0 0 0 0 0 18 0 1 0 35818748 9510912 946 1992294400 4194304 9819077 140734679767808 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9708/statm: 2322 955 371 1374 0 943 0 [startup+0.109834 s] /proc/loadavg: 1.94 1.90 1.78 3/106 9708 /proc/meminfo: memFree=1846904/2059040 swapFree=4135684/4192956 [pid=9708] ppid=9706 vsize=22612 CPUtime=0.1 /proc/9708/stat : 9708 (pbscip.linux.x8) R 9706 9708 4850 0 -1 4202496 4987 0 0 0 8 2 0 0 21 0 1 0 35818748 23154688 4030 1992294400 4194304 9819077 140734679767808 18446744073709551615 4648619 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9708/statm: 5653 4030 673 1374 0 4274 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 22612 [startup+0.201843 s] /proc/loadavg: 1.94 1.90 1.78 3/106 9708 /proc/meminfo: memFree=1846904/2059040 swapFree=4135684/4192956 [pid=9708] ppid=9706 vsize=16204 CPUtime=0.19 /proc/9708/stat : 9708 (pbscip.linux.x8) R 9706 9708 4850 0 -1 4202496 5115 0 0 0 17 2 0 0 21 0 1 0 35818748 16592896 2861 1992294400 4194304 9819077 140734679767808 18446744073709551615 6046755 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9708/statm: 4051 2861 686 1374 0 2672 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 16204 [startup+0.301854 s] /proc/loadavg: 1.94 1.90 1.78 3/106 9708 /proc/meminfo: memFree=1846904/2059040 swapFree=4135684/4192956 [pid=9708] ppid=9706 vsize=24472 CPUtime=0.29 /proc/9708/stat : 9708 (pbscip.linux.x8) R 9706 9708 4850 0 -1 4202496 8795 0 0 0 25 4 0 0 21 0 1 0 35818748 25059328 4452 1992294400 4194304 9819077 140734679767808 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9708/statm: 6118 4452 714 1374 0 4739 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24472 [startup+0.701894 s] /proc/loadavg: 1.94 1.90 1.78 3/106 9708 /proc/meminfo: memFree=1846904/2059040 swapFree=4135684/4192956 [pid=9708] ppid=9706 vsize=16428 CPUtime=0.69 /proc/9708/stat : 9708 (pbscip.linux.x8) R 9706 9708 4850 0 -1 4202496 13262 0 0 0 61 8 0 0 22 0 1 0 35818748 16822272 2947 1992294400 4194304 9819077 140734679767808 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9708/statm: 4107 2947 724 1374 0 2728 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 16428 [startup+1.50198 s] /proc/loadavg: 1.94 1.90 1.78 2/107 9709 /proc/meminfo: memFree=1837224/2059040 swapFree=4135684/4192956 [pid=9708] ppid=9706 vsize=16748 CPUtime=1.49 /proc/9708/stat : 9708 (pbscip.linux.x8) R 9706 9708 4850 0 -1 4202496 20833 0 0 0 132 17 0 0 25 0 1 0 35818748 17149952 2950 1992294400 4194304 9819077 140734679767808 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9708/statm: 4187 2950 725 1374 0 2808 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16748 [startup+3.10114 s] /proc/loadavg: 1.94 1.90 1.78 2/107 9709 /proc/meminfo: memFree=1836976/2059040 swapFree=4135684/4192956 [pid=9708] ppid=9706 vsize=17420 CPUtime=3.08 /proc/9708/stat : 9708 (pbscip.linux.x8) R 9706 9708 4850 0 -1 4202496 40718 0 0 0 268 40 0 0 25 0 1 0 35818748 17838080 3058 1992294400 4194304 9819077 140734679767808 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9708/statm: 4355 3058 725 1374 0 2976 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 17420 [startup+6.30147 s] /proc/loadavg: 1.95 1.90 1.78 2/107 9709 /proc/meminfo: memFree=1834248/2059040 swapFree=4135684/4192956 [pid=9708] ppid=9706 vsize=19436 CPUtime=6.28 /proc/9708/stat : 9708 (pbscip.linux.x8) R 9706 9708 4850 0 -1 4202496 71897 0 0 0 549 79 0 0 25 0 1 0 35818748 19902464 3579 1992294400 4194304 9819077 140734679767808 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9708/statm: 4859 3579 725 1374 0 3480 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 19436 [startup+12.7011 s] /proc/loadavg: 1.87 1.89 1.78 2/107 9709 /proc/meminfo: memFree=1832636/2059040 swapFree=4135684/4192956 [pid=9708] ppid=9706 vsize=21852 CPUtime=12.68 /proc/9708/stat : 9708 (pbscip.linux.x8) R 9706 9708 4850 0 -1 4202496 142435 0 0 0 1102 166 0 0 25 0 1 0 35818748 22376448 4185 1992294400 4194304 9819077 140734679767808 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9708/statm: 5463 4185 725 1374 0 4084 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 21852 [startup+25.5014 s] /proc/loadavg: 1.68 1.84 1.77 2/107 9709 /proc/meminfo: memFree=1828048/2059040 swapFree=4135684/4192956 [pid=9708] ppid=9706 vsize=26152 CPUtime=25.48 /proc/9708/stat : 9708 (pbscip.linux.x8) R 9706 9708 4850 0 -1 4202496 286038 0 0 0 2203 345 0 0 25 0 1 0 35818748 26779648 5275 1992294400 4194304 9819077 140734679767808 18446744073709551615 4979093 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9708/statm: 6538 5275 725 1374 0 5159 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 26152 [startup+51.1011 s] /proc/loadavg: 1.45 1.77 1.74 2/107 9709 /proc/meminfo: memFree=1819244/2059040 swapFree=4135684/4192956 [pid=9708] ppid=9706 vsize=35116 CPUtime=51.07 /proc/9708/stat : 9708 (pbscip.linux.x8) R 9706 9708 4850 0 -1 4202496 563443 0 0 0 4409 698 0 0 25 0 1 0 35818748 35958784 7595 1992294400 4194304 9819077 140734679767808 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9708/statm: 8619 7590 725 1374 0 7240 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 35116 [startup+102.301 s] /proc/loadavg: 1.28 1.67 1.71 2/107 9711 /proc/meminfo: memFree=1808952/2059040 swapFree=4135684/4192956 [pid=9708] ppid=9706 vsize=43920 CPUtime=102.27 /proc/9708/stat : 9708 (pbscip.linux.x8) R 9706 9708 4850 0 -1 4202496 963771 0 0 0 8901 1326 0 0 25 0 1 0 35818748 44974080 9886 1992294400 4194304 9819077 140734679767808 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9708/statm: 10980 9886 725 1374 0 9601 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 43920 [startup+162.301 s] /proc/loadavg: 1.15 1.57 1.67 2/107 9713 /proc/meminfo: memFree=1800520/2059040 swapFree=4135684/4192956 [pid=9708] ppid=9706 vsize=52732 CPUtime=162.24 /proc/9708/stat : 9708 (pbscip.linux.x8) R 9706 9708 4850 0 -1 4202496 1503935 0 0 0 14086 2138 0 0 25 0 1 0 35818748 53997568 12104 1992294400 4194304 9819077 140734679767808 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9708/statm: 13183 12104 725 1374 0 11804 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 52732 [startup+222.309 s] /proc/loadavg: 1.05 1.46 1.62 2/107 9715 /proc/meminfo: memFree=1791096/2059040 swapFree=4135684/4192956 [pid=9708] ppid=9706 vsize=63188 CPUtime=222.23 /proc/9708/stat : 9708 (pbscip.linux.x8) R 9706 9708 4850 0 -1 4202496 2014295 0 0 0 19295 2928 0 0 25 0 1 0 35818748 64704512 14289 1992294400 4194304 9819077 140734679767808 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9708/statm: 15797 14289 725 1374 0 14418 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 63188 [startup+282.302 s] /proc/loadavg: 1.02 1.38 1.58 3/107 9715 /proc/meminfo: memFree=1786384/2059040 swapFree=4135684/4192956 [pid=9708] ppid=9706 vsize=68296 CPUtime=282.2 /proc/9708/stat : 9708 (pbscip.linux.x8) R 9706 9708 4850 0 -1 4202496 2555338 0 0 0 24460 3760 0 0 25 0 1 0 35818748 69935104 15593 1992294400 4194304 9819077 140734679767808 18446744073709551615 4978436 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9708/statm: 17074 15593 725 1374 0 15695 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 68296 [startup+342.302 s] /proc/loadavg: 1.00 1.31 1.54 2/107 9717 /proc/meminfo: memFree=1780184/2059040 swapFree=4135684/4192956 [pid=9708] ppid=9706 vsize=74632 CPUtime=342.19 /proc/9708/stat : 9708 (pbscip.linux.x8) R 9706 9708 4850 0 -1 4202496 3124041 0 0 0 29593 4626 0 0 25 0 1 0 35818748 76423168 17147 1992294400 4194304 9819077 140734679767808 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9708/statm: 18658 17147 725 1374 0 17279 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 74632 [startup+402.301 s] /proc/loadavg: 1.00 1.25 1.51 2/107 9719 /proc/meminfo: memFree=1774108/2059040 swapFree=4135684/4192956 [pid=9708] ppid=9706 vsize=80636 CPUtime=402.16 /proc/9708/stat : 9708 (pbscip.linux.x8) R 9706 9708 4850 0 -1 4202496 3694152 0 0 0 34742 5474 0 0 25 0 1 0 35818748 82571264 18718 1992294400 4194304 9819077 140734679767808 18446744073709551615 4980271 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9708/statm: 20159 18718 725 1374 0 18780 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 80636 [startup+462.301 s] /proc/loadavg: 1.00 1.20 1.47 2/107 9721 /proc/meminfo: memFree=1769148/2059040 swapFree=4135684/4192956 [pid=9708] ppid=9706 vsize=84924 CPUtime=462.15 /proc/9708/stat : 9708 (pbscip.linux.x8) R 9706 9708 4850 0 -1 4202496 4256681 0 0 0 39896 6319 0 0 25 0 1 0 35818748 86962176 19804 1992294400 4194304 9819077 140734679767808 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9708/statm: 21231 19804 725 1374 0 19852 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 84924 [startup+522.301 s] /proc/loadavg: 1.00 1.16 1.44 2/107 9723 /proc/meminfo: memFree=1762452/2059040 swapFree=4135684/4192956 [pid=9708] ppid=9706 vsize=91424 CPUtime=522.12 /proc/9708/stat : 9708 (pbscip.linux.x8) R 9706 9708 4850 0 -1 4202496 4813567 0 0 0 45045 7167 0 0 25 0 1 0 35818748 93618176 21454 1992294400 4194304 9819077 140734679767808 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9708/statm: 22856 21454 725 1374 0 21477 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 91424 [startup+582.301 s] /proc/loadavg: 1.00 1.13 1.41 2/107 9723 /proc/meminfo: memFree=1756872/2059040 swapFree=4135684/4192956 [pid=9708] ppid=9706 vsize=96588 CPUtime=582.1 /proc/9708/stat : 9708 (pbscip.linux.x8) R 9706 9708 4850 0 -1 4202496 5409707 0 0 0 50158 8052 0 0 25 0 1 0 35818748 98906112 22789 1992294400 4194304 9819077 140734679767808 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9708/statm: 24187 22790 725 1374 0 22808 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 96588 [startup+642.302 s] /proc/loadavg: 1.00 1.10 1.38 2/107 9725 /proc/meminfo: memFree=1754020/2059040 swapFree=4135684/4192956 [pid=9708] ppid=9706 vsize=100144 CPUtime=642.09 /proc/9708/stat : 9708 (pbscip.linux.x8) R 9706 9708 4850 0 -1 4202496 6057424 0 0 0 55250 8959 0 0 25 0 1 0 35818748 102547456 23606 1992294400 4194304 9819077 140734679767808 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9708/statm: 25036 23606 725 1374 0 23657 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 100144 [startup+702.302 s] ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 1.00 1.03 1.26 2/107 9733 /proc/meminfo: memFree=1739016/2059040 swapFree=4135684/4192956 [pid=9708] ppid=9706 vsize=113824 CPUtime=941.99 /proc/9708/stat : 9708 (pbscip.linux.x8) R 9706 9708 4850 0 -1 4202496 9288466 0 0 0 80678 13521 0 0 25 0 1 0 35818748 116555776 27108 1992294400 4194304 9819077 140734679767808 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9708/statm: 28456 27108 725 1374 0 27077 0 Current children cumulated CPU time (s) 941.99 Current children cumulated vsize (KiB) 113824 [startup+1002.3 s] /proc/loadavg: 1.00 1.02 1.25 2/107 9735 /proc/meminfo: memFree=1733312/2059040 swapFree=4135684/4192956 [pid=9708] ppid=9706 vsize=118952 CPUtime=1001.97 /proc/9708/stat : 9708 (pbscip.linux.x8) R 9706 9708 4850 0 -1 4202496 9928635 0 0 0 85772 14425 0 0 25 0 1 0 35818748 121806848 28505 1992294400 4194304 9819077 140734679767808 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9708/statm: 29818 28507 725 1374 0 28439 0 Current children cumulated CPU time (s) 1001.97 Current children cumulated vsize (KiB) 118952 [startup+1062.3 s] /proc/loadavg: 1.00 1.02 1.23 2/107 9737 /proc/meminfo: memFree=1729468/2059040 swapFree=4135684/4192956 [pid=9708] ppid=9706 vsize=123448 CPUtime=1061.95 /proc/9708/stat : 9708 (pbscip.linux.x8) R 9706 9708 4850 0 -1 4202496 10565710 0 0 0 90860 15335 0 0 25 0 1 0 35818748 126410752 29525 1992294400 4194304 9819077 140734679767808 18446744073709551615 4925526 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9708/statm: 30862 29525 725 1374 0 29483 0 Current children cumulated CPU time (s) 1061.95 Current children cumulated vsize (KiB) 123448 [startup+1122.3 s] /proc/loadavg: 1.00 1.01 1.21 2/107 9748 /proc/meminfo: memFree=1725996/2059040 swapFree=4135684/4192956 [pid=9708] ppid=9706 vsize=125292 CPUtime=1121.91 /proc/9708/stat : 9708 (pbscip.linux.x8) R 9706 9708 4850 0 -1 4202496 11209081 0 0 0 95941 16250 0 0 25 0 1 0 35818748 128299008 30000 1992294400 4194304 9819077 140734679767808 18446744073709551615 6665251 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9708/statm: 31323 30000 725 1374 0 29944 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 125292 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.19 2/107 9748 /proc/meminfo: memFree=1725500/2059040 swapFree=4135684/4192956 [pid=9708] ppid=9706 vsize=126480 CPUtime=1181.89 /proc/9708/stat : 9708 (pbscip.linux.x8) R 9706 9708 4850 0 -1 4202496 11854286 0 0 0 101043 17146 0 0 25 0 1 0 35818748 129515520 30311 1992294400 4194304 9819077 140734679767808 18446744073709551615 4947664 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9708/statm: 31620 30311 725 1374 0 30241 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 126480 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.18 2/107 9750 /proc/meminfo: memFree=1723764/2059040 swapFree=4135684/4192956 [pid=9708] ppid=9706 vsize=128064 CPUtime=1241.88 /proc/9708/stat : 9708 (pbscip.linux.x8) R 9706 9708 4850 0 -1 4202496 12488347 0 0 0 106131 18057 0 0 25 0 1 0 35818748 131137536 30693 1992294400 4194304 9819077 140734679767808 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9708/statm: 32016 30693 725 1374 0 30637 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 128064 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.17 2/107 9752 /proc/meminfo: memFree=1723144/2059040 swapFree=4135684/4192956 [pid=9708] ppid=9706 vsize=128064 CPUtime=1301.86 /proc/9708/stat : 9708 (pbscip.linux.x8) R 9706 9708 4850 0 -1 4202496 13170046 0 0 0 111175 19011 0 0 25 0 1 0 35818748 131137536 30724 1992294400 4194304 9819077 140734679767808 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9708/statm: 32016 30724 725 1374 0 30637 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 128064 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.15 2/107 9754 /proc/meminfo: memFree=1723144/2059040 swapFree=4135684/4192956 [pid=9708] ppid=9706 vsize=128064 CPUtime=1361.85 /proc/9708/stat : 9708 (pbscip.linux.x8) R 9706 9708 4850 0 -1 4202496 13861250 0 0 0 116203 19982 0 0 25 0 1 0 35818748 131137536 30724 1992294400 4194304 9819077 140734679767808 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9708/statm: 32016 30724 725 1374 0 30637 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 128064 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.14 2/107 9756 /proc/meminfo: memFree=1723020/2059040 swapFree=4135684/4192956 [pid=9708] ppid=9706 vsize=128064 CPUtime=1421.83 /proc/9708/stat : 9708 (pbscip.linux.x8) R 9706 9708 4850 0 -1 4202496 14552944 0 0 0 121244 20939 0 0 25 0 1 0 35818748 131137536 30724 1992294400 4194304 9819077 140734679767808 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9708/statm: 32016 30724 725 1374 0 30637 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 128064 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.13 2/107 9756 /proc/meminfo: memFree=1722896/2059040 swapFree=4135684/4192956 [pid=9708] ppid=9706 vsize=128064 CPUtime=1481.81 /proc/9708/stat : 9708 (pbscip.linux.x8) R 9706 9708 4850 0 -1 4202496 15233435 0 0 0 126298 21883 0 0 25 0 1 0 35818748 131137536 30724 1992294400 4194304 9819077 140734679767808 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9708/statm: 32016 30724 725 1374 0 30637 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 128064 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 1.12 3/107 9758 /proc/meminfo: memFree=1722772/2059040 swapFree=4135684/4192956 [pid=9708] ppid=9706 vsize=128064 CPUtime=1541.8 /proc/9708/stat : 9708 (pbscip.linux.x8) R 9706 9708 4850 0 -1 4202496 15914796 0 0 0 131346 22834 0 0 25 0 1 0 35818748 131137536 30724 1992294400 4194304 9819077 140734679767808 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9708/statm: 32016 30724 725 1374 0 30637 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 128064 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.11 3/107 9760 /proc/meminfo: memFree=1722896/2059040 swapFree=4135684/4192956 [pid=9708] ppid=9706 vsize=128064 CPUtime=1601.77 /proc/9708/stat : 9708 (pbscip.linux.x8) R 9706 9708 4850 0 -1 4202496 16606302 0 0 0 136378 23799 0 0 25 0 1 0 35818748 131137536 30724 1992294400 4194304 9819077 140734679767808 18446744073709551615 7816434 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9708/statm: 32016 30724 725 1374 0 30637 0 Current children cumulated CPU time (s) 1601.77 Current children cumulated vsize (KiB) 128064 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.10 2/107 9762 /proc/meminfo: memFree=1722772/2059040 swapFree=4135684/4192956 [pid=9708] ppid=9706 vsize=127424 CPUtime=1661.76 /proc/9708/stat : 9708 (pbscip.linux.x8) R 9706 9708 4850 0 -1 4202496 17284555 0 0 0 141437 24739 0 0 25 0 1 0 35818748 130482176 30720 1992294400 4194304 9819077 140734679767808 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9708/statm: 32016 30724 725 1374 0 30637 0 Current children cumulated CPU time (s) 1661.76 Current children cumulated vsize (KiB) 127424 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.09 2/107 9764 /proc/meminfo: memFree=1722524/2059040 swapFree=4135684/4192956 [pid=9708] ppid=9706 vsize=127104 CPUtime=1721.74 /proc/9708/stat : 9708 (pbscip.linux.x8) R 9706 9708 4850 0 -1 4202496 17957682 0 0 0 146498 25676 0 0 25 0 1 0 35818748 130154496 30719 1992294400 4194304 9819077 140734679767808 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9708/statm: 31976 30723 725 1374 0 30597 0 Current children cumulated CPU time (s) 1721.74 Current children cumulated vsize (KiB) 127104 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.08 2/107 9764 /proc/meminfo: memFree=1722276/2059040 swapFree=4135684/4192956 [pid=9708] ppid=9706 vsize=128064 CPUtime=1781.72 /proc/9708/stat : 9708 (pbscip.linux.x8) R 9706 9708 4850 0 -1 4202496 18636775 0 0 0 151539 26633 0 0 25 0 1 0 35818748 131137536 30724 1992294400 4194304 9819077 140734679767808 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9708/statm: 31896 30722 725 1374 0 30517 0 Current children cumulated CPU time (s) 1781.72 Current children cumulated vsize (KiB) 128064 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.08 2/107 9766 /proc/meminfo: memFree=1722276/2059040 swapFree=4135684/4192956 [pid=9708] ppid=9706 vsize=128064 CPUtime=1800.03 /proc/9708/stat : 9708 (pbscip.linux.x8) R 9706 9708 4850 0 -1 4202496 18844169 0 0 0 153076 26927 0 0 25 0 1 0 35818748 131137536 30724 1992294400 4194304 9819077 140734679767808 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9708/statm: 32016 30724 725 1374 0 30637 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 128064 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.08 2/108 9767 /proc/meminfo: memFree=1722268/2059040 swapFree=4135684/4192956 [pid=9708] ppid=9706 vsize=128064 CPUtime=1800.13 /proc/9708/stat : 9708 (pbscip.linux.x8) R 9706 9708 4850 0 -1 4202496 18844180 0 0 0 153086 26927 0 0 25 0 1 0 35818748 131137536 30725 1992294400 4194304 9819077 140734679767808 18446744073709551615 6179993 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9708/statm: 32016 30725 726 1374 0 30637 0 Current children cumulated CPU time (s) 1800.13 Current children cumulated vsize (KiB) 128064 [startup+1801.1 s] /proc/loadavg: 1.00 1.00 1.08 2/108 9767 /proc/meminfo: memFree=1722268/2059040 swapFree=4135684/4192956 [pid=9708] ppid=9706 vsize=122428 CPUtime=1800.52 /proc/9708/stat : 9708 (pbscip.linux.x8) R 9706 9708 4850 0 -1 4202496 18844180 0 0 0 153125 26927 0 0 25 0 1 0 35818748 125366272 29318 1992294400 4194304 9819077 140734679767808 18446744073709551615 6179993 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9708/statm: 30607 29318 726 1374 0 29228 0 Current children cumulated CPU time (s) 1800.52 Current children cumulated vsize (KiB) 122428 Child status: 0 Real time (s): 1801.13 CPU time (s): 1800.56 CPU user time (s): 1531.27 CPU system time (s): 269.292 CPU usage (%): 99.9683 Max. virtual memory (cumulated for all children) (KiB): 129184 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1531.27 system time used= 269.292 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 18844184 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= 24359 runsolver used 3.02654 second user time and 8.47471 second system time The end
Begin job on node002 at 2010-06-15 13:42:28 IDJOB=2665657 IDBENCH=2908 IDSOLVER=1168 FILE ID=node002/2665657-1276602148 PBS_JOBID= 11172228 Free space on /tmp= 62572 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_6_50_2.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2665657-1276602148/watcher-2665657-1276602148 -o /tmp/evaluation-result-2665657-1276602148/solver-2665657-1276602148 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665657-1276602148.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= b690996610ff381ef60353517fe5a0e9 RANDOM SEED=759541801 node002.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.242 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.48 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.242 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.36 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1847432 kB Buffers: 13296 kB Cached: 106180 kB SwapCached: 10692 kB Active: 85164 kB Inactive: 47748 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1847432 kB SwapTotal: 4192956 kB SwapFree: 4135684 kB Dirty: 6256 kB Writeback: 0 kB AnonPages: 11732 kB Mapped: 9308 kB Slab: 56972 kB PageTables: 4044 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181484 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62564 MiB End job on node002 at 2010-06-15 14:12:31