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) | 19 | 1802.08 | 1802.56 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_8_70_3.opb |
| MD5SUM | 0278ee4f163393ac33163ff791a7f96d |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 16 |
| Best CPU time to get the best result obtained on this benchmark | 1791.86 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 24 |
| Optimality of the best value was proved | NO |
| Number of variables | 198 |
| Total number of constraints | 16 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 16 |
| Minimum length of a constraint | 82 |
| Maximum length of a constraint | 86 |
| Number of terms in the objective function | 128 |
| Biggest coefficient in the objective function | 128 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 4080 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1782 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 5856 |
| 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-2665665-1276612961.opb>
0.00/0.01 c original problem has 198 variables (198 bin, 0 int, 0 impl, 0 cont) and 16 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c presolving:
0.00/0.02 c (round 1) 0 del vars, 8 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.04 c (0.0s) probing: 101/198 (51.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.04 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.04 c presolving (2 rounds):
0.00/0.04 c 0 deleted vars, 8 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.04 c 0 implications, 0 cliques
0.00/0.04 c presolved problem has 198 variables (198 bin, 0 int, 0 impl, 0 cont) and 8 constraints
0.00/0.04 c 8 constraints of type <linear>
0.00/0.04 c transformed objective value is always integral (scale: 1)
0.00/0.04 c Presolving Time: 0.02
0.00/0.04 c - non default parameters ----------------------------------------------------------------------
0.00/0.04 c # SCIP version 1.2.1.2
0.00/0.04 c
0.00/0.04 c # frequency for displaying node information lines
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.04 c display/freq = 10000
0.00/0.04 c
0.00/0.04 c # maximal time in seconds to run
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/time = 1800
0.00/0.04 c
0.00/0.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/memory = 1620
0.00/0.04 c
0.00/0.04 c # should presolving try to simplify inequalities
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/linear/simplifyinequalities = TRUE
0.00/0.04 c
0.00/0.04 c # should presolving try to simplify knapsacks
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.04 c
0.00/0.04 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.04 c separating/rapidlearning/freq = 0
0.00/0.04 c
0.00/0.04 c -----------------------------------------------------------------------------------------------
0.00/0.04 c start solving
0.00/0.04 c
0.00/0.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.04 c 0.0s| 1 | 0 | 41 | - | 632k| 0 | 8 | 198 | 8 | 198 | 8 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.17 o 1094
0.09/0.17 c y 0.1s| 1 | 0 | 41 | - | 704k| 0 | 8 | 198 | 8 | 198 | 8 | 0 | 0 | 0 | 0.000000e+00 | 1.094000e+03 | Inf
0.09/0.18 c 0.1s| 1 | 0 | 54 | - | 854k| 0 | 16 | 198 | 76 | 198 | 16 | 8 | 0 | 0 | 0.000000e+00 | 1.094000e+03 | Inf
0.19/0.20 c 0.2s| 1 | 0 | 60 | - | 878k| 0 | 19 | 198 | 76 | 198 | 19 | 11 | 0 | 0 | 0.000000e+00 | 1.094000e+03 | Inf
0.19/0.22 c 0.2s| 1 | 0 | 79 | - | 887k| 0 | 18 | 198 | 76 | 198 | 21 | 13 | 0 | 0 | 0.000000e+00 | 1.094000e+03 | Inf
0.19/0.25 c 0.2s| 1 | 0 | 90 | - | 914k| 0 | 20 | 198 | 76 | 198 | 24 | 16 | 0 | 0 | 0.000000e+00 | 1.094000e+03 | Inf
0.19/0.27 c 0.2s| 1 | 0 | 111 | - | 926k| 0 | 18 | 198 | 76 | 198 | 26 | 18 | 0 | 0 | 0.000000e+00 | 1.094000e+03 | Inf
0.29/0.30 c 0.3s| 1 | 0 | 140 | - | 951k| 0 | 17 | 198 | 76 | 198 | 29 | 21 | 0 | 0 | 0.000000e+00 | 1.094000e+03 | Inf
0.29/0.37 c 0.3s| 1 | 2 | 140 | - | 951k| 0 | 17 | 198 | 76 | 198 | 29 | 21 | 0 | 9 | 0.000000e+00 | 1.094000e+03 | Inf
0.59/0.63 o 426
0.59/0.63 c p 0.6s| 38 | 39 | 600 | 12.4 |1092k| 23 | - | 198 | 76 | 198 | 20 | 21 | 4 | 224 | 0.000000e+00 | 4.260000e+02 | Inf
1.89/1.97 o 200
1.89/1.97 c f 1.8s| 885 | 874 | 6016 | 6.6 |1445k| 57 | - | 198 | 76 | 198 | 20 | 21 | 19 | 698 | 0.000000e+00 | 2.000000e+02 | Inf
2.39/2.45 o 135
2.39/2.45 c f 2.2s| 1272 | 1240 | 8243 | 6.4 |1604k| 57 | - | 198 | 76 | 198 | 20 | 21 | 28 | 730 | 0.000000e+00 | 1.350000e+02 | Inf
3.89/3.96 o 99
3.89/3.96 c g 3.5s| 1854 | 1785 | 11962 | 6.4 |1865k| 67 | - | 198 | 76 | 198 | 20 | 21 | 46 | 791 | 0.000000e+00 | 9.900000e+01 | Inf
10.99/11.06 o 97
10.99/11.06 c * 9.8s| 7956 | 7826 | 49083 | 6.2 |4666k| 67 | - | 198 | 71 | 198 | 20 | 21 | 208 | 874 | 0.000000e+00 | 9.700000e+01 | Inf
12.89/12.90 o 75
12.89/12.90 c g11.5s| 9411 | 9184 | 58237 | 6.2 |5292k| 67 | - | 198 | 71 | 198 | 20 | 21 | 256 | 934 | 0.000000e+00 | 7.500000e+01 | Inf
14.09/14.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
14.09/14.10 c 12.6s| 10000 | 9741 | 63688 | 6.4 |5572k| 67 | 8 | 198 | 71 | 198 | 20 | 21 | 288 | 950 | 0.000000e+00 | 7.500000e+01 | Inf
24.89/24.97 c 22.2s| 20000 | 19126 |117941 | 5.9 | 10M| 67 | 8 | 198 | 8 | 198 | 20 | 21 | 503 |1499 | 0.000000e+00 | 7.500000e+01 | Inf
35.29/35.38 c 31.5s| 30000 | 28169 |172755 | 5.8 | 14M| 67 | 8 | 198 | 11 | 198 | 20 | 21 | 749 |1962 | 0.000000e+00 | 7.500000e+01 | Inf
38.08/38.18 o 73
38.08/38.18 c *34.0s| 32782 | 30621 |187464 | 5.7 | 15M| 67 | - | 198 | 11 | 198 | 20 | 21 | 817 |2075 | 0.000000e+00 | 7.300000e+01 | Inf
38.08/38.19 o 71
38.08/38.19 c *34.0s| 32785 | 30581 |187467 | 5.7 | 15M| 67 | - | 198 | 11 | 198 | 20 | 21 | 817 |2083 | 0.000000e+00 | 7.100000e+01 | Inf
38.98/39.03 o 69
38.98/39.03 c *34.7s| 33557 | 31222 |191932 | 5.7 | 16M| 67 | - | 198 | 11 | 198 | 20 | 21 | 839 |2129 | 0.000000e+00 | 6.900000e+01 | Inf
41.69/41.74 o 68
41.69/41.74 c *37.1s| 36238 | 33539 |206092 | 5.7 | 17M| 67 | - | 198 | 11 | 198 | 20 | 21 | 907 |2224 | 0.000000e+00 | 6.800000e+01 | Inf
41.69/41.75 o 66
41.69/41.75 c *37.1s| 36239 | 33487 |206092 | 5.7 | 17M| 67 | - | 198 | 11 | 198 | 20 | 21 | 907 |2224 | 0.000000e+00 | 6.600000e+01 | Inf
45.88/45.90 c 40.8s| 40000 | 36614 |227326 | 5.7 | 19M| 67 | 8 | 198 | 9 | 198 | 20 | 21 |1035 |2393 | 0.000000e+00 | 6.600000e+01 | Inf
50.77/50.85 o 65
50.77/50.85 c *45.2s| 44777 | 40596 |253553 | 5.7 | 21M| 67 | - | 198 | 8 | 198 | 20 | 21 |1168 |2584 | 0.000000e+00 | 6.500000e+01 | Inf
55.28/55.32 o 63
55.28/55.32 c *48.9s| 45650 | 41003 |258268 | 5.7 | 21M| 67 | - | 198 | 8 | 198 | 20 | 21 |1193 |2604 | 0.000000e+00 | 6.300000e+01 | Inf
59.78/59.85 c 53.0s| 50000 | 44607 |282936 | 5.7 | 23M| 67 | 8 | 198 | 8 | 198 | 20 | 21 |1308 |2785 | 0.000000e+00 | 6.300000e+01 | Inf
71.77/71.82 c 63.4s| 60000 | 52622 |341546 | 5.7 | 27M| 67 | 8 | 198 | 9 | 198 | 20 | 21 |1645 |3249 | 0.000000e+00 | 6.300000e+01 | Inf
82.07/82.11 c 72.6s| 70000 | 60842 |399035 | 5.7 | 31M| 67 | 8 | 198 | 10 | 198 | 20 | 21 |1986 |3586 | 0.000000e+00 | 6.300000e+01 | Inf
83.77/83.87 o 62
83.77/83.87 c *74.2s| 71678 | 62102 |408519 | 5.7 | 32M| 67 | - | 198 | 10 | 198 | 20 | 21 |2050 |3626 | 0.000000e+00 | 6.200000e+01 | Inf
87.47/87.51 o 61
87.47/87.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
87.47/87.51 c *77.4s| 75017 | 64522 |428687 | 5.7 | 33M| 67 | - | 198 | 10 | 198 | 20 | 21 |2177 |3752 | 0.000000e+00 | 6.100000e+01 | Inf
87.47/87.52 o 59
87.47/87.52 c *77.4s| 75019 | 64365 |428689 | 5.7 | 33M| 67 | - | 198 | 10 | 198 | 20 | 21 |2177 |3757 | 0.000000e+00 | 5.900000e+01 | Inf
87.47/87.52 o 57
87.47/87.52 c *77.4s| 75021 | 64146 |428689 | 5.7 | 33M| 67 | - | 198 | 10 | 198 | 20 | 21 |2177 |3760 | 0.000000e+00 | 5.700000e+01 | Inf
89.16/89.29 o 56
89.16/89.29 c *79.0s| 76741 | 65313 |438657 | 5.7 | 33M| 67 | - | 198 | 10 | 198 | 20 | 21 |2213 |3808 | 0.000000e+00 | 5.600000e+01 | Inf
89.16/89.29 o 54
89.16/89.29 c *79.0s| 76743 | 65026 |438659 | 5.7 | 33M| 67 | - | 198 | 10 | 198 | 20 | 21 |2213 |3811 | 0.000000e+00 | 5.400000e+01 | Inf
94.86/94.95 c 83.8s| 80000 | 67409 |457663 | 5.7 | 34M| 67 | 8 | 198 | 9 | 198 | 20 | 21 |2346 |3889 | 0.000000e+00 | 5.400000e+01 | Inf
105.47/105.56 c 93.2s| 90000 | 74770 |517824 | 5.8 | 38M| 67 | 8 | 198 | 10 | 198 | 20 | 21 |2710 |4209 | 0.000000e+00 | 5.400000e+01 | Inf
115.76/115.87 c 102s|100000 | 82302 |576912 | 5.8 | 43M| 67 | 8 | 198 | 11 | 198 | 20 | 21 |3041 |4491 | 0.000000e+00 | 5.400000e+01 | Inf
126.56/126.65 c 112s|110000 | 89495 |639685 | 5.8 | 47M| 67 | 8 | 198 | 11 | 198 | 20 | 21 |3419 |4849 | 0.000000e+00 | 5.400000e+01 | Inf
137.05/137.15 c 121s|120000 | 96912 |702669 | 5.9 | 51M| 67 | - | 198 | 11 | 0 | 0 | 21 |3756 |5065 | 0.000000e+00 | 5.400000e+01 | Inf
137.36/137.41 o 52
137.36/137.41 c c 122s|120247 | 96641 |704213 | 5.9 | 51M| 67 | - | 198 | 11 | 198 | 20 | 21 |3767 |5069 | 0.000000e+00 | 5.200000e+01 | Inf
149.35/149.45 c 132s|130000 |103541 |771852 | 5.9 | 55M| 67 | 8 | 198 | 11 | 198 | 20 | 21 |4202 |5279 | 0.000000e+00 | 5.200000e+01 | Inf
160.15/160.22 c 142s|140000 |110402 |836653 | 6.0 | 59M| 67 | - | 198 | 10 | 0 | 0 | 21 |4610 |5505 | 0.000000e+00 | 5.200000e+01 | Inf
163.64/163.72 o 51
163.64/163.72 c v 145s|143234 |112370 |857274 | 6.0 | 60M| 67 | - | 198 | 13 | 198 | 20 | 21 |4741 |5568 | 0.000000e+00 | 5.100000e+01 | Inf
163.64/163.73 o 49
163.64/163.73 c f 145s|143234 |111773 |857274 | 6.0 | 59M| 67 | - | 198 | 13 | 198 | 20 | 21 |4741 |5568 | 0.000000e+00 | 4.900000e+01 | Inf
172.14/172.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
172.14/172.26 c 153s|150000 |116409 |908559 | 6.1 | 62M| 67 | - | 198 | 12 | 0 | 0 | 21 |5113 |5704 | 0.000000e+00 | 4.900000e+01 | Inf
183.15/183.23 c 162s|160000 |122934 |973947 | 6.1 | 66M| 67 | 8 | 198 | 14 | 198 | 20 | 21 |5538 |5920 | 0.000000e+00 | 4.900000e+01 | Inf
189.74/189.83 o 47
189.74/189.83 c * 168s|166046 |125936 | 1012k| 6.1 | 67M| 67 | - | 198 | 15 | 198 | 20 | 21 |5777 |6065 | 0.000000e+00 | 4.700000e+01 | Inf
194.04/194.19 c 172s|170000 |128552 | 1038k| 6.1 | 69M| 67 | 8 | 198 | 14 | 198 | 20 | 21 |5956 |6131 | 0.000000e+00 | 4.700000e+01 | Inf
205.04/205.19 c 182s|180000 |134921 | 1104k| 6.1 | 73M| 67 | 8 | 198 | 11 | 198 | 20 | 21 |6390 |6337 | 0.000000e+00 | 4.700000e+01 | Inf
206.44/206.50 o 45
206.44/206.50 c * 183s|181184 |134698 | 1113k| 6.1 | 72M| 67 | - | 198 | 11 | 198 | 20 | 21 |6443 |6359 | 0.000000e+00 | 4.500000e+01 | Inf
215.93/216.09 c 192s|190000 |140331 | 1169k| 6.2 | 76M| 67 | - | 198 | 10 | 198 | 20 | 21 |6805 |6515 | 0.000000e+00 | 4.500000e+01 | Inf
226.83/226.95 c 201s|200000 |146727 | 1232k| 6.2 | 80M| 67 | - | 198 | 9 | 198 | 20 | 21 |7273 |6740 | 0.000000e+00 | 4.500000e+01 | Inf
234.53/234.64 o 43
234.53/234.64 c * 208s|207004 |149957 | 1279k| 6.2 | 81M| 67 | - | 198 | 12 | 198 | 20 | 21 |7558 |6890 | 0.000000e+00 | 4.300000e+01 | Inf
234.53/234.65 o 41
234.53/234.65 c * 208s|207006 |148633 | 1279k| 6.2 | 80M| 67 | - | 198 | 12 | 198 | 20 | 21 |7558 |6891 | 0.000000e+00 | 4.100000e+01 | Inf
234.53/234.67 o 39
234.53/234.67 c * 208s|207007 |147210 | 1279k| 6.2 | 78M| 67 | - | 198 | 12 | 198 | 20 | 21 |7558 |6891 | 0.000000e+00 | 3.900000e+01 | Inf
237.73/237.85 c 211s|210000 |148861 | 1298k| 6.2 | 79M| 67 | 8 | 198 | 12 | 198 | 20 | 21 |7672 |6953 | 0.000000e+00 | 3.900000e+01 | Inf
248.63/248.78 c 221s|220000 |154479 | 1363k| 6.2 | 83M| 67 | - | 198 | 12 | 198 | 20 | 21 |8148 |7147 | 0.000000e+00 | 3.900000e+01 | Inf
259.43/259.60 c 230s|230000 |160157 | 1426k| 6.2 | 87M| 67 | 8 | 198 | 12 | 198 | 20 | 21 |8618 |7325 | 0.000000e+00 | 3.900000e+01 | Inf
270.22/270.31 c 240s|240000 |166083 | 1488k| 6.2 | 91M| 67 | - | 198 | 9 | 198 | 20 | 21 |9002 |7494 | 0.000000e+00 | 3.900000e+01 | Inf
280.82/280.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
280.82/280.93 c 250s|250000 |172131 | 1550k| 6.2 | 95M| 67 | 8 | 198 | 9 | 198 | 20 | 21 |9373 |7667 | 0.000000e+00 | 3.900000e+01 | Inf
283.92/284.08 o 38
283.92/284.08 c * 252s|252971 |173035 | 1569k| 6.2 | 95M| 67 | - | 198 | 9 | 198 | 20 | 21 |9479 |7715 | 0.000000e+00 | 3.800000e+01 | Inf
283.92/284.10 o 36
283.92/284.10 c * 252s|252972 |171238 | 1569k| 6.2 | 93M| 67 | - | 198 | 9 | 198 | 20 | 21 |9479 |7715 | 0.000000e+00 | 3.600000e+01 | Inf
291.43/291.55 c 259s|260000 |174986 | 1612k| 6.2 | 95M| 67 | 8 | 198 | 8 | 198 | 20 | 21 |9797 |7817 | 0.000000e+00 | 3.600000e+01 | Inf
294.41/294.53 o 35
294.41/294.53 c * 262s|262689 |175514 | 1629k| 6.2 | 95M| 67 | - | 198 | 8 | 198 | 20 | 21 |9912 |7863 | 0.000000e+00 | 3.500000e+01 | Inf
294.41/294.55 o 33
294.41/294.55 c * 262s|262690 |173438 | 1629k| 6.2 | 93M| 67 | - | 198 | 8 | 198 | 20 | 21 |9912 |7863 | 0.000000e+00 | 3.300000e+01 | Inf
305.61/305.73 c 271s|270000 |177356 | 1675k| 6.2 | 96M| 67 | 8 | 198 | 10 | 198 | 20 | 21 | 10k|7981 | 0.000000e+00 | 3.300000e+01 | Inf
316.62/316.78 c 281s|280000 |182717 | 1746k| 6.2 | 100M| 67 | 8 | 198 | 10 | 198 | 20 | 21 | 10k|8151 | 0.000000e+00 | 3.300000e+01 | Inf
327.80/327.97 c 291s|290000 |188027 | 1821k| 6.3 | 103M| 67 | 8 | 198 | 9 | 198 | 20 | 21 | 11k|8347 | 0.000000e+00 | 3.300000e+01 | Inf
338.90/339.06 c 301s|300000 |193343 | 1896k| 6.3 | 107M| 67 | 8 | 198 | 11 | 198 | 20 | 21 | 11k|8526 | 0.000000e+00 | 3.300000e+01 | Inf
349.80/349.90 c 311s|310000 |198569 | 1970k| 6.4 | 110M| 67 | 8 | 198 | 11 | 198 | 20 | 21 | 11k|8683 | 0.000000e+00 | 3.300000e+01 | Inf
360.80/360.93 c 321s|320000 |203877 | 2042k| 6.4 | 114M| 67 | - | 198 | 8 | 198 | 20 | 21 | 12k|8825 | 0.000000e+00 | 3.300000e+01 | Inf
371.49/371.61 c 330s|330000 |209368 | 2107k| 6.4 | 117M| 67 | 8 | 198 | 10 | 198 | 20 | 21 | 12k|8936 | 0.000000e+00 | 3.300000e+01 | Inf
381.99/382.12 c 340s|340000 |214356 | 2170k| 6.4 | 121M| 67 | - | 198 | 8 | 198 | 20 | 21 | 13k|9071 | 0.000000e+00 | 3.300000e+01 | Inf
392.79/392.99 c 350s|350000 |219792 | 2235k| 6.4 | 124M| 67 | - | 198 | 9 | 198 | 20 | 21 | 13k|9207 | 0.000000e+00 | 3.300000e+01 | Inf
402.99/403.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
402.99/403.13 c 359s|360000 |224693 | 2297k| 6.4 | 128M| 67 | 8 | 198 | 8 | 198 | 20 | 21 | 14k|9337 | 0.000000e+00 | 3.300000e+01 | Inf
413.39/413.54 c 368s|370000 |229609 | 2360k| 6.4 | 131M| 67 | 8 | 198 | 9 | 198 | 20 | 21 | 14k|9466 | 0.000000e+00 | 3.300000e+01 | Inf
423.78/423.95 c 377s|380000 |234296 | 2423k| 6.4 | 135M| 67 | 8 | 198 | 9 | 198 | 20 | 21 | 14k|9578 | 0.000000e+00 | 3.300000e+01 | Inf
434.68/434.83 c 387s|390000 |239410 | 2488k| 6.4 | 138M| 67 | - | 198 | 8 | 198 | 20 | 21 | 15k|9695 | 0.000000e+00 | 3.300000e+01 | Inf
444.78/444.95 c 396s|400000 |244314 | 2553k| 6.4 | 142M| 67 | 8 | 198 | 8 | 198 | 20 | 21 | 15k|9814 | 0.000000e+00 | 3.300000e+01 | Inf
454.67/454.88 c 405s|410000 |249082 | 2616k| 6.4 | 145M| 67 | 8 | 198 | 9 | 198 | 20 | 21 | 16k|9930 | 0.000000e+00 | 3.300000e+01 | Inf
465.27/465.44 c 415s|420000 |254141 | 2681k| 6.4 | 149M| 67 | - | 198 | 10 | 198 | 20 | 21 | 16k| 10k| 0.000000e+00 | 3.300000e+01 | Inf
475.57/475.76 c 424s|430000 |259004 | 2744k| 6.4 | 152M| 67 | 8 | 198 | 9 | 198 | 20 | 21 | 16k| 10k| 0.000000e+00 | 3.300000e+01 | Inf
485.76/485.92 c 433s|440000 |264037 | 2808k| 6.4 | 155M| 67 | 8 | 198 | 9 | 198 | 20 | 21 | 17k| 10k| 0.000000e+00 | 3.300000e+01 | Inf
495.46/495.62 c 442s|450000 |268618 | 2869k| 6.4 | 159M| 67 | 8 | 198 | 9 | 198 | 20 | 21 | 17k| 10k| 0.000000e+00 | 3.300000e+01 | Inf
505.26/505.47 c 451s|460000 |273105 | 2931k| 6.4 | 162M| 67 | 8 | 198 | 10 | 198 | 20 | 21 | 18k| 10k| 0.000000e+00 | 3.300000e+01 | Inf
515.25/515.45 c 460s|470000 |277691 | 2993k| 6.4 | 165M| 67 | - | 198 | 9 | 198 | 20 | 21 | 18k| 10k| 0.000000e+00 | 3.300000e+01 | Inf
525.25/525.43 c 469s|480000 |282462 | 3055k| 6.4 | 169M| 67 | 8 | 198 | 8 | 198 | 20 | 21 | 18k| 10k| 0.000000e+00 | 3.300000e+01 | Inf
525.35/525.53 o 31
525.35/525.53 c * 469s|480070 |274431 | 3056k| 6.4 | 162M| 67 | - | 198 | 8 | 198 | 20 | 21 | 18k| 10k| 0.000000e+00 | 3.100000e+01 | Inf
525.35/525.55 o 29
525.35/525.55 c * 469s|480072 |271890 | 3056k| 6.4 | 159M| 67 | - | 198 | 8 | 198 | 20 | 21 | 18k| 10k| 0.000000e+00 | 2.900000e+01 | Inf
525.35/525.57 o 27
525.35/525.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
525.35/525.57 c * 469s|480073 |268934 | 3056k| 6.4 | 155M| 67 | - | 198 | 8 | 198 | 20 | 21 | 18k| 10k| 0.000000e+00 | 2.700000e+01 | Inf
538.65/538.88 c 480s|490000 |273254 | 3120k| 6.4 | 158M| 67 | - | 198 | 10 | 198 | 20 | 21 | 19k| 10k| 0.000000e+00 | 2.700000e+01 | Inf
548.45/548.67 c 489s|500000 |277673 | 3184k| 6.4 | 161M| 67 | 8 | 198 | 8 | 198 | 20 | 21 | 19k| 10k| 0.000000e+00 | 2.700000e+01 | Inf
557.85/558.09 c 498s|510000 |281744 | 3246k| 6.4 | 164M| 67 | 8 | 198 | 12 | 198 | 20 | 21 | 20k| 11k| 0.000000e+00 | 2.700000e+01 | Inf
567.94/568.10 c 506s|520000 |286558 | 3312k| 6.4 | 166M| 67 | - | 198 | 9 | 198 | 20 | 21 | 20k| 11k| 0.000000e+00 | 2.700000e+01 | Inf
577.64/577.86 c 515s|530000 |291086 | 3376k| 6.4 | 169M| 67 | 8 | 198 | 10 | 198 | 20 | 21 | 20k| 11k| 0.000000e+00 | 2.700000e+01 | Inf
587.24/587.41 c 524s|540000 |295470 | 3438k| 6.4 | 172M| 67 | 8 | 198 | 11 | 198 | 20 | 21 | 21k| 11k| 0.000000e+00 | 2.700000e+01 | Inf
596.73/596.91 c 532s|550000 |299573 | 3501k| 6.4 | 175M| 67 | - | 198 | 11 | 198 | 20 | 21 | 21k| 11k| 0.000000e+00 | 2.700000e+01 | Inf
606.33/606.51 c 541s|560000 |303709 | 3567k| 6.4 | 177M| 67 | 8 | 198 | 10 | 198 | 20 | 21 | 22k| 11k| 0.000000e+00 | 2.700000e+01 | Inf
615.63/615.89 c 549s|570000 |307768 | 3631k| 6.4 | 180M| 67 | 8 | 198 | 11 | 198 | 20 | 21 | 22k| 11k| 0.000000e+00 | 2.700000e+01 | Inf
619.13/619.34 o 25
619.13/619.34 c * 552s|573480 |305808 | 3654k| 6.4 | 177M| 67 | - | 198 | 10 | 198 | 20 | 21 | 22k| 11k| 0.000000e+00 | 2.500000e+01 | Inf
625.33/625.58 c 558s|580000 |308331 | 3695k| 6.4 | 178M| 67 | 8 | 198 | 9 | 198 | 20 | 21 | 22k| 11k| 0.000000e+00 | 2.500000e+01 | Inf
631.02/631.20 o 24
631.02/631.20 c * 563s|585973 |308719 | 3734k| 6.4 | 178M| 67 | - | 198 | 9 | 198 | 20 | 21 | 23k| 12k| 0.000000e+00 | 2.400000e+01 | Inf
631.02/631.23 o 22
631.02/631.23 c * 563s|585974 |304153 | 3734k| 6.4 | 172M| 67 | - | 198 | 9 | 198 | 20 | 21 | 23k| 12k| 0.000000e+00 | 2.200000e+01 | Inf
634.72/634.97 c 566s|590000 |305682 | 3760k| 6.4 | 173M| 67 | - | 198 | 8 | 198 | 20 | 21 | 23k| 12k| 0.000000e+00 | 2.200000e+01 | Inf
643.92/644.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
643.92/644.13 c 575s|600000 |309247 | 3823k| 6.4 | 176M| 67 | - | 198 | 11 | 0 | 0 | 21 | 23k| 12k| 0.000000e+00 | 2.200000e+01 | Inf
653.32/653.53 c 583s|610000 |313195 | 3886k| 6.4 | 178M| 67 | 8 | 198 | 10 | 198 | 20 | 21 | 24k| 12k| 0.000000e+00 | 2.200000e+01 | Inf
662.51/662.70 c 591s|620000 |316897 | 3948k| 6.4 | 181M| 67 | 8 | 198 | 9 | 198 | 20 | 21 | 24k| 12k| 0.000000e+00 | 2.200000e+01 | Inf
672.02/672.28 c 600s|630000 |320832 | 4014k| 6.4 | 183M| 67 | - | 198 | 9 | 198 | 20 | 21 | 24k| 12k| 0.000000e+00 | 2.200000e+01 | Inf
681.51/681.79 c 608s|640000 |324851 | 4078k| 6.4 | 186M| 67 | - | 198 | 11 | 198 | 20 | 21 | 25k| 12k| 0.000000e+00 | 2.200000e+01 | Inf
691.01/691.27 c 617s|650000 |328718 | 4141k| 6.4 | 188M| 67 | 8 | 198 | 14 | 198 | 20 | 21 | 25k| 12k| 0.000000e+00 | 2.200000e+01 | Inf
700.01/700.29 c 625s|660000 |331912 | 4205k| 6.4 | 191M| 67 | 8 | 198 | 12 | 198 | 20 | 21 | 26k| 12k| 0.000000e+00 | 2.200000e+01 | Inf
709.01/709.23 c 633s|670000 |334900 | 4265k| 6.4 | 193M| 67 | 8 | 198 | 14 | 198 | 20 | 21 | 26k| 13k| 0.000000e+00 | 2.200000e+01 | Inf
718.01/718.23 c 641s|680000 |338104 | 4325k| 6.4 | 195M| 67 | 8 | 198 | 13 | 198 | 20 | 21 | 27k| 13k| 0.000000e+00 | 2.200000e+01 | Inf
730.40/730.62 c 652s|690000 |340947 | 4386k| 6.4 | 198M| 67 | - | 198 | 9 | 198 | 20 | 21 | 27k| 13k| 0.000000e+00 | 2.200000e+01 | Inf
739.39/739.66 c 660s|700000 |344365 | 4446k| 6.4 | 200M| 67 | 8 | 198 | 11 | 198 | 20 | 21 | 27k| 13k| 0.000000e+00 | 2.200000e+01 | Inf
748.50/748.79 c 668s|710000 |347727 | 4509k| 6.4 | 202M| 67 | 8 | 198 | 12 | 198 | 20 | 21 | 28k| 13k| 0.000000e+00 | 2.200000e+01 | Inf
757.80/758.08 c 676s|720000 |351000 | 4573k| 6.4 | 205M| 67 | 8 | 198 | 10 | 198 | 20 | 21 | 28k| 13k| 0.000000e+00 | 2.200000e+01 | Inf
767.09/767.36 c 685s|730000 |354610 | 4636k| 6.4 | 207M| 67 | - | 198 | 14 | 198 | 20 | 21 | 29k| 13k| 0.000000e+00 | 2.200000e+01 | Inf
775.79/776.08 c 693s|740000 |357548 | 4698k| 6.3 | 209M| 67 | 8 | 198 | 12 | 198 | 20 | 21 | 29k| 13k| 0.000000e+00 | 2.200000e+01 | Inf
784.38/784.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
784.38/784.60 c 700s|750000 |360577 | 4759k| 6.3 | 211M| 67 | - | 198 | 10 | 198 | 20 | 21 | 29k| 13k| 0.000000e+00 | 2.200000e+01 | Inf
792.98/793.24 c 708s|760000 |363516 | 4819k| 6.3 | 214M| 67 | - | 198 | 11 | 198 | 20 | 21 | 30k| 13k| 0.000000e+00 | 2.200000e+01 | Inf
802.08/802.33 c 716s|770000 |366924 | 4884k| 6.3 | 216M| 67 | 8 | 198 | 10 | 198 | 20 | 21 | 30k| 14k| 0.000000e+00 | 2.200000e+01 | Inf
811.18/811.41 c 724s|780000 |370540 | 4948k| 6.3 | 218M| 67 | - | 198 | 10 | 198 | 20 | 21 | 31k| 14k| 0.000000e+00 | 2.200000e+01 | Inf
820.08/820.39 c 732s|790000 |374159 | 5010k| 6.3 | 221M| 67 | 8 | 198 | 13 | 198 | 20 | 21 | 31k| 14k| 0.000000e+00 | 2.200000e+01 | Inf
828.77/829.07 c 740s|800000 |377172 | 5071k| 6.3 | 223M| 67 | - | 198 | 12 | 198 | 20 | 21 | 32k| 14k| 0.000000e+00 | 2.200000e+01 | Inf
837.27/837.53 c 748s|810000 |379699 | 5132k| 6.3 | 225M| 67 | 8 | 198 | 9 | 198 | 20 | 21 | 32k| 14k| 0.000000e+00 | 2.200000e+01 | Inf
846.07/846.35 c 755s|820000 |382941 | 5193k| 6.3 | 227M| 67 | 8 | 198 | 11 | 198 | 20 | 21 | 32k| 14k| 0.000000e+00 | 2.200000e+01 | Inf
854.77/855.02 c 763s|830000 |385752 | 5255k| 6.3 | 230M| 67 | 8 | 198 | 13 | 198 | 20 | 21 | 33k| 14k| 0.000000e+00 | 2.200000e+01 | Inf
862.47/862.77 o 21
862.47/862.77 c * 770s|838890 |385863 | 5308k| 6.3 | 228M| 67 | - | 198 | 11 | 198 | 20 | 21 | 33k| 14k| 0.000000e+00 | 2.100000e+01 | Inf
862.56/862.81 o 19
862.56/862.81 c * 770s|838891 |379770 | 5308k| 6.3 | 221M| 67 | - | 198 | 11 | 198 | 20 | 21 | 33k| 14k| 0.000000e+00 | 1.900000e+01 | Inf
863.47/863.73 c 771s|840000 |380079 | 5315k| 6.3 | 221M| 67 | - | 198 | 11 | 198 | 20 | 21 | 33k| 14k| 0.000000e+00 | 1.900000e+01 | Inf
875.46/875.78 c 782s|850000 |382271 | 5374k| 6.3 | 223M| 67 | 8 | 198 | 11 | 198 | 20 | 21 | 34k| 14k| 0.000000e+00 | 1.900000e+01 | Inf
887.36/887.63 c 792s|860000 |384530 | 5434k| 6.3 | 225M| 67 | 8 | 198 | 10 | 198 | 20 | 21 | 34k| 14k| 0.000000e+00 | 1.900000e+01 | Inf
895.86/896.11 c 799s|870000 |386910 | 5492k| 6.3 | 227M| 67 | 8 | 198 | 12 | 198 | 20 | 21 | 34k| 15k| 0.000000e+00 | 1.900000e+01 | Inf
904.46/904.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
904.46/904.79 c 807s|880000 |389280 | 5554k| 6.3 | 229M| 67 | - | 198 | 12 | 0 | 0 | 21 | 35k| 15k| 0.000000e+00 | 1.900000e+01 | Inf
912.95/913.29 c 815s|890000 |391262 | 5617k| 6.3 | 230M| 67 | 8 | 198 | 10 | 198 | 20 | 21 | 35k| 15k| 0.000000e+00 | 1.900000e+01 | Inf
921.75/922.09 c 823s|900000 |394209 | 5677k| 6.3 | 232M| 67 | 8 | 198 | 10 | 198 | 20 | 21 | 36k| 15k| 0.000000e+00 | 1.900000e+01 | Inf
930.25/930.52 c 830s|910000 |396661 | 5736k| 6.3 | 234M| 67 | 8 | 198 | 13 | 198 | 20 | 21 | 36k| 15k| 0.000000e+00 | 1.900000e+01 | Inf
938.64/938.92 c 838s|920000 |398713 | 5794k| 6.3 | 236M| 67 | 8 | 198 | 13 | 198 | 20 | 21 | 36k| 15k| 0.000000e+00 | 1.900000e+01 | Inf
947.05/947.37 c 845s|930000 |401069 | 5854k| 6.3 | 238M| 67 | 8 | 198 | 10 | 198 | 20 | 21 | 37k| 15k| 0.000000e+00 | 1.900000e+01 | Inf
955.34/955.67 c 853s|940000 |403126 | 5911k| 6.3 | 239M| 67 | - | 198 | 10 | 198 | 20 | 21 | 37k| 15k| 0.000000e+00 | 1.900000e+01 | Inf
963.63/963.97 c 860s|950000 |405085 | 5970k| 6.3 | 241M| 67 | 8 | 198 | 12 | 198 | 20 | 21 | 37k| 15k| 0.000000e+00 | 1.900000e+01 | Inf
972.04/972.36 c 868s|960000 |407353 | 6029k| 6.3 | 243M| 67 | 8 | 198 | 13 | 198 | 20 | 21 | 38k| 15k| 0.000000e+00 | 1.900000e+01 | Inf
980.43/980.70 c 875s|970000 |409177 | 6087k| 6.3 | 244M| 67 | - | 198 | 11 | 198 | 20 | 21 | 38k| 15k| 0.000000e+00 | 1.900000e+01 | Inf
988.83/989.18 c 883s|980000 |410949 | 6147k| 6.3 | 246M| 67 | - | 198 | 11 | 198 | 20 | 21 | 39k| 15k| 0.000000e+00 | 1.900000e+01 | Inf
997.34/997.64 c 890s|990000 |413220 | 6206k| 6.3 | 248M| 67 | - | 198 | 12 | 198 | 20 | 21 | 39k| 16k| 0.000000e+00 | 1.900000e+01 | Inf
1005.82/1006.12 c 898s| 1000k|415569 | 6264k| 6.3 | 249M| 67 | - | 198 | 11 | 0 | 0 | 21 | 40k| 16k| 0.000000e+00 | 1.900000e+01 | Inf
1014.23/1014.55 c 905s| 1010k|417852 | 6323k| 6.3 | 251M| 67 | 8 | 198 | 9 | 198 | 20 | 21 | 40k| 16k| 0.000000e+00 | 1.900000e+01 | Inf
1022.63/1022.98 c 913s| 1020k|420129 | 6383k| 6.3 | 253M| 67 | 8 | 198 | 10 | 198 | 20 | 21 | 40k| 16k| 0.000000e+00 | 1.900000e+01 | Inf
1031.02/1031.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1031.02/1031.36 c 920s| 1030k|421870 | 6442k| 6.3 | 255M| 67 | 8 | 198 | 12 | 198 | 20 | 21 | 41k| 16k| 0.000000e+00 | 1.900000e+01 | Inf
1039.52/1039.84 c 928s| 1040k|424197 | 6502k| 6.3 | 256M| 67 | 8 | 198 | 14 | 198 | 20 | 21 | 41k| 16k| 0.000000e+00 | 1.900000e+01 | Inf
1048.61/1048.94 c 936s| 1050k|427611 | 6564k| 6.3 | 259M| 67 | - | 198 | 12 | 198 | 20 | 21 | 42k| 16k| 0.000000e+00 | 1.900000e+01 | Inf
1057.31/1057.64 c 944s| 1060k|430734 | 6623k| 6.2 | 261M| 67 | - | 198 | 13 | 198 | 20 | 21 | 42k| 16k| 0.000000e+00 | 1.900000e+01 | Inf
1066.22/1066.52 c 952s| 1070k|433927 | 6684k| 6.2 | 263M| 67 | - | 198 | 11 | 0 | 0 | 21 | 42k| 16k| 0.000000e+00 | 1.900000e+01 | Inf
1075.11/1075.43 c 960s| 1080k|437399 | 6743k| 6.2 | 265M| 67 | 8 | 198 | 15 | 198 | 20 | 21 | 43k| 16k| 0.000000e+00 | 1.900000e+01 | Inf
1083.80/1084.17 c 968s| 1090k|440713 | 6801k| 6.2 | 267M| 67 | 8 | 198 | 9 | 198 | 20 | 21 | 43k| 16k| 0.000000e+00 | 1.900000e+01 | Inf
1092.60/1092.97 c 976s| 1100k|443797 | 6863k| 6.2 | 269M| 67 | 8 | 198 | 10 | 198 | 20 | 21 | 44k| 16k| 0.000000e+00 | 1.900000e+01 | Inf
1100.99/1101.35 c 983s| 1110k|446597 | 6922k| 6.2 | 271M| 67 | 8 | 198 | 11 | 198 | 20 | 21 | 44k| 16k| 0.000000e+00 | 1.900000e+01 | Inf
1110.30/1110.67 c 991s| 1120k|450261 | 6986k| 6.2 | 274M| 67 | 8 | 198 | 11 | 198 | 20 | 21 | 44k| 17k| 0.000000e+00 | 1.900000e+01 | Inf
1119.69/1120.00 c 1000s| 1130k|454147 | 7048k| 6.2 | 276M| 67 | 8 | 198 | 10 | 198 | 20 | 21 | 45k| 17k| 0.000000e+00 | 1.900000e+01 | Inf
1128.30/1128.63 c 1007s| 1140k|457187 | 7107k| 6.2 | 279M| 67 | - | 198 | 10 | 198 | 20 | 21 | 45k| 17k| 0.000000e+00 | 1.900000e+01 | Inf
1136.89/1137.26 c 1015s| 1150k|460107 | 7166k| 6.2 | 281M| 67 | 8 | 198 | 10 | 198 | 20 | 21 | 45k| 17k| 0.000000e+00 | 1.900000e+01 | Inf
1145.39/1145.76 c 1023s| 1160k|462511 | 7225k| 6.2 | 283M| 67 | 8 | 198 | 10 | 198 | 20 | 21 | 46k| 17k| 0.000000e+00 | 1.900000e+01 | Inf
1154.59/1154.98 c 1031s| 1170k|466169 | 7287k| 6.2 | 285M| 67 | - | 198 | 10 | 198 | 20 | 21 | 46k| 17k| 0.000000e+00 | 1.900000e+01 | Inf
1163.58/1163.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1163.58/1163.96 c 1039s| 1180k|469887 | 7347k| 6.2 | 287M| 67 | 8 | 198 | 10 | 198 | 20 | 21 | 47k| 17k| 0.000000e+00 | 1.900000e+01 | Inf
1172.37/1172.73 c 1047s| 1190k|473353 | 7405k| 6.2 | 289M| 67 | - | 198 | 11 | 198 | 20 | 21 | 47k| 17k| 0.000000e+00 | 1.900000e+01 | Inf
1180.98/1181.39 c 1055s| 1200k|476452 | 7464k| 6.2 | 291M| 67 | - | 198 | 12 | 0 | 0 | 21 | 48k| 17k| 0.000000e+00 | 1.900000e+01 | Inf
1189.68/1190.08 c 1062s| 1210k|479682 | 7523k| 6.2 | 294M| 67 | 8 | 198 | 11 | 198 | 20 | 21 | 48k| 17k| 0.000000e+00 | 1.900000e+01 | Inf
1198.77/1199.13 c 1071s| 1220k|483159 | 7585k| 6.2 | 296M| 67 | 8 | 198 | 9 | 198 | 20 | 21 | 48k| 17k| 0.000000e+00 | 1.900000e+01 | Inf
1207.57/1207.97 c 1078s| 1230k|486382 | 7644k| 6.2 | 298M| 67 | 8 | 198 | 14 | 198 | 20 | 21 | 49k| 17k| 0.000000e+00 | 1.900000e+01 | Inf
1216.27/1216.67 c 1086s| 1240k|489268 | 7705k| 6.2 | 300M| 67 | - | 198 | 16 | 198 | 20 | 21 | 49k| 17k| 0.000000e+00 | 1.900000e+01 | Inf
1224.76/1225.14 c 1094s| 1250k|491935 | 7764k| 6.2 | 302M| 67 | - | 198 | 13 | 198 | 20 | 21 | 50k| 17k| 0.000000e+00 | 1.900000e+01 | Inf
1236.46/1236.89 c 1104s| 1260k|494372 | 7823k| 6.2 | 304M| 67 | 8 | 198 | 9 | 198 | 20 | 21 | 50k| 18k| 0.000000e+00 | 1.900000e+01 | Inf
1245.15/1245.53 c 1112s| 1270k|497010 | 7881k| 6.2 | 306M| 67 | - | 198 | 12 | 198 | 20 | 21 | 51k| 18k| 0.000000e+00 | 1.900000e+01 | Inf
1254.15/1254.57 c 1120s| 1280k|500424 | 7940k| 6.2 | 308M| 67 | - | 198 | 8 | 198 | 20 | 21 | 51k| 18k| 0.000000e+00 | 1.900000e+01 | Inf
1263.05/1263.43 c 1128s| 1290k|503782 | 8000k| 6.2 | 310M| 67 | - | 198 | 10 | 198 | 20 | 21 | 51k| 18k| 0.000000e+00 | 1.900000e+01 | Inf
1272.05/1272.45 c 1136s| 1300k|507366 | 8059k| 6.2 | 313M| 67 | - | 198 | 13 | 198 | 20 | 21 | 52k| 18k| 0.000000e+00 | 1.900000e+01 | Inf
1281.06/1281.41 c 1144s| 1310k|510845 | 8118k| 6.2 | 315M| 67 | 8 | 198 | 10 | 198 | 20 | 21 | 52k| 18k| 0.000000e+00 | 1.900000e+01 | Inf
1289.44/1289.87 c 1151s| 1320k|513764 | 8176k| 6.2 | 317M| 67 | - | 198 | 10 | 198 | 20 | 21 | 53k| 18k| 0.000000e+00 | 1.900000e+01 | Inf
1297.94/1298.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1297.94/1298.32 c 1159s| 1330k|516497 | 8232k| 6.2 | 319M| 67 | 8 | 198 | 9 | 198 | 20 | 21 | 53k| 18k| 0.000000e+00 | 1.900000e+01 | Inf
1306.54/1306.91 c 1167s| 1340k|519410 | 8290k| 6.2 | 321M| 67 | - | 198 | 9 | 0 | 0 | 21 | 53k| 18k| 0.000000e+00 | 1.900000e+01 | Inf
1315.25/1315.62 c 1174s| 1350k|522390 | 8350k| 6.2 | 323M| 67 | 8 | 198 | 11 | 198 | 20 | 21 | 54k| 18k| 0.000000e+00 | 1.900000e+01 | Inf
1323.54/1323.95 c 1182s| 1360k|524590 | 8408k| 6.2 | 325M| 67 | 8 | 198 | 9 | 198 | 20 | 21 | 54k| 18k| 0.000000e+00 | 1.900000e+01 | Inf
1332.04/1332.49 c 1189s| 1370k|527151 | 8466k| 6.2 | 327M| 67 | 8 | 198 | 13 | 198 | 20 | 21 | 55k| 18k| 0.000000e+00 | 1.900000e+01 | Inf
1340.54/1340.96 c 1197s| 1380k|529560 | 8525k| 6.2 | 329M| 67 | - | 198 | 9 | 198 | 20 | 21 | 55k| 18k| 0.000000e+00 | 1.900000e+01 | Inf
1349.03/1349.49 c 1205s| 1390k|531932 | 8584k| 6.2 | 331M| 67 | 8 | 198 | 8 | 198 | 20 | 21 | 55k| 18k| 0.000000e+00 | 1.900000e+01 | Inf
1357.73/1358.11 c 1212s| 1400k|534509 | 8643k| 6.2 | 333M| 67 | 8 | 198 | 9 | 198 | 20 | 21 | 56k| 18k| 0.000000e+00 | 1.900000e+01 | Inf
1366.13/1366.57 c 1220s| 1410k|537041 | 8701k| 6.2 | 335M| 67 | 8 | 198 | 9 | 198 | 20 | 21 | 56k| 19k| 0.000000e+00 | 1.900000e+01 | Inf
1374.63/1375.06 c 1228s| 1420k|539696 | 8759k| 6.2 | 337M| 67 | - | 198 | 15 | 198 | 20 | 21 | 57k| 19k| 0.000000e+00 | 1.900000e+01 | Inf
1382.92/1383.34 c 1235s| 1430k|541912 | 8816k| 6.2 | 339M| 67 | 8 | 198 | 11 | 198 | 20 | 21 | 57k| 19k| 0.000000e+00 | 1.900000e+01 | Inf
1391.32/1391.75 c 1243s| 1440k|544152 | 8874k| 6.2 | 340M| 67 | - | 198 | 14 | 0 | 0 | 21 | 57k| 19k| 0.000000e+00 | 1.900000e+01 | Inf
1399.72/1400.13 c 1250s| 1450k|546556 | 8930k| 6.2 | 342M| 67 | - | 198 | 14 | 0 | 0 | 21 | 58k| 19k| 0.000000e+00 | 1.900000e+01 | Inf
1408.02/1408.47 c 1258s| 1460k|548784 | 8987k| 6.2 | 344M| 67 | 8 | 198 | 14 | 198 | 20 | 21 | 58k| 19k| 0.000000e+00 | 1.900000e+01 | Inf
1416.32/1416.74 c 1265s| 1470k|550770 | 9045k| 6.2 | 345M| 67 | - | 198 | 13 | 0 | 0 | 21 | 59k| 19k| 0.000000e+00 | 1.900000e+01 | Inf
1424.61/1425.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1424.61/1425.07 c 1272s| 1480k|552885 | 9102k| 6.2 | 347M| 67 | - | 198 | 13 | 198 | 20 | 21 | 59k| 19k| 0.000000e+00 | 1.900000e+01 | Inf
1433.10/1433.54 c 1280s| 1490k|554835 | 9162k| 6.1 | 349M| 67 | 8 | 198 | 10 | 198 | 20 | 21 | 60k| 19k| 0.000000e+00 | 1.900000e+01 | Inf
1441.61/1442.00 c 1287s| 1500k|556806 | 9222k| 6.1 | 350M| 67 | 8 | 198 | 13 | 198 | 20 | 21 | 60k| 19k| 0.000000e+00 | 1.900000e+01 | Inf
1449.90/1450.36 c 1295s| 1510k|558614 | 9281k| 6.1 | 352M| 67 | - | 198 | 10 | 198 | 20 | 21 | 61k| 19k| 0.000000e+00 | 1.900000e+01 | Inf
1458.11/1458.55 c 1302s| 1520k|560409 | 9340k| 6.1 | 354M| 67 | - | 198 | 10 | 0 | 0 | 21 | 61k| 19k| 0.000000e+00 | 1.900000e+01 | Inf
1466.50/1466.91 c 1310s| 1530k|562257 | 9399k| 6.1 | 355M| 67 | 8 | 198 | 13 | 198 | 20 | 21 | 61k| 19k| 0.000000e+00 | 1.900000e+01 | Inf
1474.90/1475.31 c 1317s| 1540k|564122 | 9459k| 6.1 | 357M| 67 | - | 198 | 12 | 198 | 20 | 21 | 62k| 19k| 0.000000e+00 | 1.900000e+01 | Inf
1483.30/1483.70 c 1325s| 1550k|566205 | 9517k| 6.1 | 359M| 67 | - | 198 | 12 | 198 | 20 | 21 | 62k| 19k| 0.000000e+00 | 1.900000e+01 | Inf
1491.69/1492.13 c 1332s| 1560k|568670 | 9576k| 6.1 | 360M| 67 | 8 | 198 | 12 | 198 | 20 | 21 | 63k| 20k| 0.000000e+00 | 1.900000e+01 | Inf
1499.90/1500.37 c 1340s| 1570k|570541 | 9636k| 6.1 | 362M| 67 | 8 | 198 | 9 | 198 | 20 | 21 | 63k| 20k| 0.000000e+00 | 1.900000e+01 | Inf
1508.29/1508.72 c 1347s| 1580k|572411 | 9694k| 6.1 | 364M| 67 | 8 | 198 | 9 | 198 | 20 | 21 | 64k| 20k| 0.000000e+00 | 1.900000e+01 | Inf
1516.79/1517.20 c 1355s| 1590k|574732 | 9754k| 6.1 | 365M| 67 | 8 | 198 | 9 | 198 | 20 | 21 | 64k| 20k| 0.000000e+00 | 1.900000e+01 | Inf
1524.98/1525.43 c 1362s| 1600k|576524 | 9813k| 6.1 | 367M| 67 | 8 | 198 | 9 | 198 | 20 | 21 | 64k| 20k| 0.000000e+00 | 1.900000e+01 | Inf
1533.48/1533.92 c 1370s| 1610k|578514 | 9872k| 6.1 | 369M| 67 | 8 | 198 | 9 | 198 | 20 | 21 | 65k| 20k| 0.000000e+00 | 1.900000e+01 | Inf
1541.79/1542.29 c 1377s| 1620k|580221 | 9931k| 6.1 | 370M| 67 | 8 | 198 | 9 | 198 | 20 | 21 | 65k| 20k| 0.000000e+00 | 1.900000e+01 | Inf
1550.38/1550.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1550.38/1550.85 c 1385s| 1630k|582569 | 9989k| 6.1 | 372M| 67 | 8 | 198 | 8 | 198 | 20 | 21 | 66k| 20k| 0.000000e+00 | 1.900000e+01 | Inf
1558.68/1559.12 c 1392s| 1640k|584296 | 10047k| 6.1 | 374M| 67 | 8 | 198 | 9 | 198 | 20 | 21 | 66k| 20k| 0.000000e+00 | 1.900000e+01 | Inf
1566.99/1567.49 c 1400s| 1650k|586396 | 10104k| 6.1 | 375M| 67 | 8 | 198 | 10 | 198 | 20 | 21 | 67k| 20k| 0.000000e+00 | 1.900000e+01 | Inf
1575.27/1575.71 c 1407s| 1660k|588415 | 10160k| 6.1 | 377M| 67 | - | 198 | 13 | 198 | 20 | 21 | 67k| 20k| 0.000000e+00 | 1.900000e+01 | Inf
1583.48/1583.99 c 1415s| 1670k|590337 | 10216k| 6.1 | 379M| 67 | 8 | 198 | 15 | 198 | 20 | 21 | 68k| 20k| 0.000000e+00 | 1.900000e+01 | Inf
1591.76/1592.26 c 1422s| 1680k|592119 | 10272k| 6.1 | 381M| 67 | 8 | 198 | 12 | 198 | 20 | 21 | 68k| 20k| 0.000000e+00 | 1.900000e+01 | Inf
1600.08/1600.57 c 1429s| 1690k|593701 | 10329k| 6.1 | 382M| 67 | - | 198 | 11 | 0 | 0 | 21 | 69k| 20k| 0.000000e+00 | 1.900000e+01 | Inf
1608.57/1609.06 c 1437s| 1700k|595863 | 10388k| 6.1 | 384M| 67 | 8 | 198 | 11 | 198 | 20 | 21 | 69k| 20k| 0.000000e+00 | 1.900000e+01 | Inf
1616.86/1617.33 c 1444s| 1710k|597657 | 10444k| 6.1 | 385M| 67 | 8 | 198 | 13 | 198 | 20 | 21 | 69k| 20k| 0.000000e+00 | 1.900000e+01 | Inf
1625.16/1625.66 c 1452s| 1720k|599682 | 10502k| 6.1 | 387M| 67 | 8 | 198 | 11 | 198 | 20 | 21 | 70k| 21k| 0.000000e+00 | 1.900000e+01 | Inf
1633.45/1633.94 c 1459s| 1730k|601189 | 10559k| 6.1 | 388M| 67 | - | 198 | 9 | 198 | 20 | 21 | 70k| 21k| 0.000000e+00 | 1.900000e+01 | Inf
1641.76/1642.25 c 1467s| 1740k|602836 | 10617k| 6.1 | 390M| 67 | - | 198 | 10 | 0 | 0 | 21 | 71k| 21k| 0.000000e+00 | 1.900000e+01 | Inf
1650.05/1650.59 c 1474s| 1750k|604775 | 10675k| 6.1 | 392M| 67 | - | 198 | 10 | 198 | 20 | 21 | 71k| 21k| 0.000000e+00 | 1.900000e+01 | Inf
1658.45/1658.97 c 1482s| 1760k|606647 | 10733k| 6.1 | 393M| 67 | - | 198 | 10 | 198 | 20 | 21 | 71k| 21k| 0.000000e+00 | 1.900000e+01 | Inf
1666.75/1667.26 c 1489s| 1770k|608264 | 10791k| 6.1 | 395M| 67 | 8 | 198 | 9 | 198 | 20 | 21 | 72k| 21k| 0.000000e+00 | 1.900000e+01 | Inf
1674.95/1675.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1674.95/1675.47 c 1496s| 1780k|609852 | 10848k| 6.1 | 397M| 67 | - | 198 | 10 | 198 | 20 | 21 | 72k| 21k| 0.000000e+00 | 1.900000e+01 | Inf
1683.24/1683.70 c 1504s| 1790k|611408 | 10904k| 6.1 | 398M| 67 | 8 | 198 | 12 | 198 | 20 | 21 | 73k| 21k| 0.000000e+00 | 1.900000e+01 | Inf
1691.44/1691.96 c 1511s| 1800k|613032 | 10961k| 6.1 | 400M| 67 | 8 | 198 | 9 | 198 | 20 | 21 | 73k| 21k| 0.000000e+00 | 1.900000e+01 | Inf
1699.84/1700.31 c 1519s| 1810k|614794 | 11020k| 6.1 | 401M| 67 | - | 198 | 12 | 198 | 20 | 21 | 74k| 21k| 0.000000e+00 | 1.900000e+01 | Inf
1708.14/1708.69 c 1526s| 1820k|616417 | 11078k| 6.1 | 403M| 67 | 8 | 198 | 14 | 198 | 20 | 21 | 74k| 21k| 0.000000e+00 | 1.900000e+01 | Inf
1716.43/1716.98 c 1533s| 1830k|618687 | 11135k| 6.1 | 405M| 67 | 8 | 198 | 15 | 198 | 20 | 21 | 74k| 21k| 0.000000e+00 | 1.900000e+01 | Inf
1724.73/1725.29 c 1541s| 1840k|620513 | 11192k| 6.1 | 406M| 67 | 8 | 198 | 12 | 198 | 20 | 21 | 75k| 21k| 0.000000e+00 | 1.900000e+01 | Inf
1733.04/1733.50 c 1548s| 1850k|622172 | 11249k| 6.1 | 408M| 67 | - | 198 | 13 | 198 | 20 | 21 | 75k| 21k| 0.000000e+00 | 1.900000e+01 | Inf
1741.33/1741.80 c 1556s| 1860k|623746 | 11308k| 6.1 | 409M| 67 | - | 198 | 15 | 198 | 20 | 21 | 76k| 22k| 0.000000e+00 | 1.900000e+01 | Inf
1749.63/1750.19 c 1563s| 1870k|625260 | 11367k| 6.1 | 411M| 67 | 8 | 198 | 13 | 198 | 20 | 21 | 76k| 22k| 0.000000e+00 | 1.900000e+01 | Inf
1757.93/1758.47 c 1571s| 1880k|626805 | 11426k| 6.1 | 412M| 67 | - | 198 | 8 | 0 | 0 | 21 | 77k| 22k| 0.000000e+00 | 1.900000e+01 | Inf
1766.32/1766.85 c 1578s| 1890k|628335 | 11487k| 6.1 | 414M| 67 | 8 | 198 | 11 | 198 | 20 | 21 | 77k| 22k| 0.000000e+00 | 1.900000e+01 | Inf
1774.72/1775.25 c 1585s| 1900k|629844 | 11547k| 6.1 | 415M| 67 | - | 198 | 8 | 198 | 20 | 21 | 77k| 22k| 0.000000e+00 | 1.900000e+01 | Inf
1783.01/1783.54 c 1593s| 1910k|631375 | 11606k| 6.1 | 416M| 67 | 8 | 198 | 10 | 198 | 20 | 21 | 78k| 22k| 0.000000e+00 | 1.900000e+01 | Inf
1791.42/1791.98 c 1600s| 1920k|632844 | 11665k| 6.1 | 418M| 67 | - | 198 | 9 | 198 | 20 | 21 | 78k| 22k| 0.000000e+00 | 1.900000e+01 | Inf
1799.91/1800.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1799.91/1800.46 c 1608s| 1930k|634664 | 11727k| 6.1 | 420M| 67 | - | 198 | 9 | 198 | 20 | 21 | 79k| 22k| 0.000000e+00 | 1.900000e+01 | Inf
1800.02/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.50 c
1800.02/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.50 c Solving Time (sec) : 1608.08
1800.02/1800.50 c Solving Nodes : 1930055
1800.02/1800.50 c Primal Bound : +1.89999999999992e+01 (58 solutions)
1800.02/1800.50 c Dual Bound : +0.00000000000000e+00
1800.02/1800.50 c Gap : infinite
1800.02/1800.50 s SATISFIABLE
1800.02/1800.50 v -x176 -x198 x197 -x196 x195 x194 x193 -x192 x191 -x190 -x189 x188 x187 -x186 x185 x184 -x183 x182 x181 x180 x179 x178 x177 -x175
1800.02/1800.50 v -x174 -x173 x172 x171 -x170 x169 x168 -x167 -x166 -x165 -x164 x163 -x162 -x161 -x160 x159 -x158 x157 x156 x155 x154 x153 x152
1800.02/1800.50 v -x151 x150 -x149 -x148 -x147 -x146 -x145 x144 -x143 x142 -x141 -x140 -x139 -x138 x137 x136 x135 -x134 -x133 -x132 x131 x130
1800.02/1800.50 v x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109
1800.02/1800.50 v -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86
1800.02/1800.50 v -x85 -x84 -x83 x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 x66 -x65 -x64 -x63 -x62 -x61 -x60
1800.02/1800.50 v -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35
1800.02/1800.50 v -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 x11 x10 x9
1800.02/1800.50 v -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.02/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.50 c Solving Time : 1608.08
1800.02/1800.50 c Original Problem :
1800.02/1800.50 c Problem name : HOME/instance-2665665-1276612961.opb
1800.02/1800.50 c Variables : 198 (198 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.50 c Constraints : 16 initial, 16 maximal
1800.02/1800.50 c Presolved Problem :
1800.02/1800.50 c Problem name : t_HOME/instance-2665665-1276612961.opb
1800.02/1800.50 c Variables : 198 (198 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.50 c Constraints : 8 initial, 76 maximal
1800.02/1800.50 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1800.50 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.50 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.50 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.50 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.50 c implics : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.50 c probing : 0.01 0 0 0 0 0 0 0 0
1800.02/1800.50 c linear : 0.00 0 0 0 0 0 8 0 0
1800.02/1800.50 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.50 c root node : - 48 - - 48 - - - -
1800.02/1800.50 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1800.50 c integral : 0 0 0 1318481 0 66 5862 0 0 2625408
1800.02/1800.50 c linear : 8+ 7 3348763 0 0 197024 1447247 0 0 0
1800.02/1800.50 c logicor : 0+ 0 201525 0 0 1443 26605 0 0 0
1800.02/1800.50 c countsols : 0 0 0 31 0 0 0 0 0 0
1800.02/1800.50 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.50 c integral : 25.48 0.00 0.00 25.48 0.00
1800.02/1800.50 c linear : 322.52 0.00 322.52 0.00 0.00
1800.02/1800.50 c logicor : 0.63 0.00 0.63 0.00 0.00
1800.02/1800.50 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.50 c Propagators : Time Calls Cutoffs DomReds
1800.02/1800.50 c vbounds : 1.71 2 0 0
1800.02/1800.50 c rootredcost : 1.60 40 0 48
1800.02/1800.51 c pseudoobj : 35.41 3351668 3073 256174
1800.02/1800.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.51 c propagation : 19.38 200127 67109 80154 71.9 17 36.8 -
1800.02/1800.51 c infeasible LP : 2.05 20391 15529 19135 45.3 2 53.5 0
1800.02/1800.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.51 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.02/1800.51 c applied globally : - - - 996 28.7 - - -
1800.02/1800.51 c applied locally : - - - 78212 67.6 - - -
1800.02/1800.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.51 c cut pool : 0.00 5 - - 7 - (maximal pool size: 54)
1800.02/1800.51 c redcost : 62.82 1869082 0 12074735 0 0
1800.02/1800.51 c impliedbounds : 0.00 6 0 0 0 0
1800.02/1800.51 c intobj : 0.00 0 0 0 0 0
1800.02/1800.51 c cgmip : 0.00 0 0 0 0 0
1800.02/1800.51 c gomory : 0.01 6 0 0 0 0
1800.02/1800.51 c strongcg : 0.01 6 0 0 13 0
1800.02/1800.51 c cmir : 0.05 6 0 0 22 0
1800.02/1800.51 c flowcover : 0.05 6 0 0 27 0
1800.02/1800.51 c clique : 0.00 1 0 0 0 0
1800.02/1800.51 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.51 c mcf : 0.00 1 0 0 0 0
1800.02/1800.51 c rapidlearning : 0.11 1 0 0 0 68
1800.02/1800.51 c Pricers : Time Calls Vars
1800.02/1800.51 c problem variables: 0.00 0 0
1800.02/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.51 c relpscost : 23.73 1318450 66 5862 0 0 2625408
1800.02/1800.51 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.51 c inference : 0.00 0 0 0 0 0 0
1800.02/1800.51 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.51 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.51 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.51 c random : 0.00 0 0 0 0 0 0
1800.02/1800.51 c Primal Heuristics : Time Calls Found
1800.02/1800.51 c LP solutions : 0.35 - 31
1800.02/1800.51 c pseudo solutions : 0.00 - 0
1800.02/1800.51 c oneopt : 1.29 39 0
1800.02/1800.51 c feaspump : 0.09 2 0
1800.02/1800.51 c crossover : 25.10 12 0
1800.02/1800.51 c rootsoldiving : 10.39 1265 18
1800.02/1800.51 c objpscostdiving : 6.17 1789 0
1800.02/1800.51 c pscostdiving : 34.50 4474 1
1800.02/1800.51 c fracdiving : 35.37 4474 3
1800.02/1800.51 c veclendiving : 21.23 4474 1
1800.02/1800.51 c linesearchdiving : 23.12 4474 0
1800.02/1800.51 c guideddiving : 26.42 4475 2
1800.02/1800.51 c coefdiving : 61.66 4475 1
1800.02/1800.51 c trivial : 0.00 2 0
1800.02/1800.51 c simplerounding : 1.25 0 0
1800.02/1800.51 c zirounding : 1.00 1000 0
1800.02/1800.51 c rounding : 2.34 16693 0
1800.02/1800.51 c shifting : 5.63 5298 0
1800.02/1800.51 c intshifting : 0.11 0 0
1800.02/1800.51 c twoopt : 0.00 0 0
1800.02/1800.51 c fixandinfer : 0.00 0 0
1800.02/1800.51 c intdiving : 0.00 0 0
1800.02/1800.51 c actconsdiving : 0.00 0 0
1800.02/1800.51 c octane : 0.00 0 0
1800.02/1800.51 c rens : 0.02 1 0
1800.02/1800.51 c rins : 0.00 0 0
1800.02/1800.51 c localbranching : 0.00 0 0
1800.02/1800.51 c mutation : 0.00 0 0
1800.02/1800.51 c dins : 0.00 0 0
1800.02/1800.51 c undercover : 0.00 0 0
1800.02/1800.51 c nlp : 0.78 0 0
1800.02/1800.51 c trysol : 1.76 0 0
1800.02/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.51 c primal LP : 0.00 0 0 0.00 -
1800.02/1800.51 c dual LP : 712.11 1839853 10289964 5.59 14449.96
1800.02/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.02/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.51 c diving/probing LP: 140.33 584369 1437402 2.46 10243.01
1800.02/1800.51 c strong branching : 9.20 22491 99553 4.43 10820.98
1800.02/1800.51 c (at root node) : - 9 642 71.33 -
1800.02/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.51 c B&B Tree :
1800.02/1800.51 c number of runs : 1
1800.02/1800.51 c nodes : 1930055
1800.02/1800.51 c nodes (total) : 1930055
1800.02/1800.51 c nodes left : 634672
1800.02/1800.51 c max depth : 67
1800.02/1800.51 c max depth (total): 67
1800.02/1800.51 c backtracks : 308881 (16.0%)
1800.02/1800.51 c delayed cutoffs : 13952
1800.02/1800.51 c repropagations : 27355 (109531 domain reductions, 13952 cutoffs)
1800.02/1800.51 c avg switch length: 6.06
1800.02/1800.51 c switching time : 80.46
1800.02/1800.51 c Solution :
1800.02/1800.51 c Solutions found : 58 (40 improvements)
1800.02/1800.51 c First Solution : +1.09400000000000e+03 (in run 1, after 1 nodes, 0.14 seconds, depth 0, found by <trysol>)
1800.02/1800.51 c Primal Bound : +1.89999999999992e+01 (in run 1, after 838891 nodes, 770.11 seconds, depth 52, found by <relaxation>)
1800.02/1800.51 c Dual Bound : +0.00000000000000e+00
1800.02/1800.51 c Gap : infinite
1800.02/1800.51 c Root Dual Bound : +0.00000000000000e+00
1800.02/1800.51 c Root Iterations : 140
OK 19
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665665-1276612961/watcher-2665665-1276612961 -o /tmp/evaluation-result-2665665-1276612961/solver-2665665-1276612961 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665665-1276612961.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/106 3096 /proc/meminfo: memFree=1643024/2059040 swapFree=4140260/4192956 [pid=3096] ppid=3094 vsize=9288 CPUtime=0 /proc/3096/stat : 3096 (pbscip.linux.x8) R 3094 3096 2877 0 -1 4202496 1052 0 0 0 0 0 0 0 20 0 1 0 36897840 9510912 973 1992294400 4194304 9819077 140735759349040 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/3096/statm: 2322 982 371 1374 0 943 0 [startup+0.0958439 s] /proc/loadavg: 1.00 1.00 1.00 3/106 3096 /proc/meminfo: memFree=1643024/2059040 swapFree=4140260/4192956 [pid=3096] ppid=3094 vsize=22828 CPUtime=0.09 /proc/3096/stat : 3096 (pbscip.linux.x8) R 3094 3096 2877 0 -1 4202496 5058 0 0 0 7 2 0 0 20 0 1 0 36897840 23375872 4102 1992294400 4194304 9819077 140735759349040 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3096/statm: 5707 4102 673 1374 0 4328 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 22828 [startup+0.100844 s] /proc/loadavg: 1.00 1.00 1.00 3/106 3096 /proc/meminfo: memFree=1643024/2059040 swapFree=4140260/4192956 [pid=3096] ppid=3094 vsize=22960 CPUtime=0.09 /proc/3096/stat : 3096 (pbscip.linux.x8) R 3094 3096 2877 0 -1 4202496 5061 0 0 0 7 2 0 0 20 0 1 0 36897840 23511040 4105 1992294400 4194304 9819077 140735759349040 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3096/statm: 5740 4105 673 1374 0 4361 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 22960 [startup+0.300866 s] /proc/loadavg: 1.00 1.00 1.00 3/106 3096 /proc/meminfo: memFree=1643024/2059040 swapFree=4140260/4192956 [pid=3096] ppid=3094 vsize=16744 CPUtime=0.29 /proc/3096/stat : 3096 (pbscip.linux.x8) R 3094 3096 2877 0 -1 4202496 5213 0 0 0 27 2 0 0 20 0 1 0 36897840 17145856 2952 1992294400 4194304 9819077 140735759349040 18446744073709551615 6044363 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3096/statm: 4186 2952 687 1374 0 2807 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 16744 [startup+0.700911 s] /proc/loadavg: 1.00 1.00 1.00 3/106 3096 /proc/meminfo: memFree=1643024/2059040 swapFree=4140260/4192956 [pid=3096] ppid=3094 vsize=16728 CPUtime=0.69 /proc/3096/stat : 3096 (pbscip.linux.x8) R 3094 3096 2877 0 -1 4202496 11276 0 0 0 63 6 0 0 20 0 1 0 36897840 17129472 3020 1992294400 4194304 9819077 140735759349040 18446744073709551615 7816457 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3096/statm: 4422 3025 722 1374 0 3043 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 16728 [startup+1.501 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3097 /proc/meminfo: memFree=1633096/2059040 swapFree=4140260/4192956 [pid=3096] ppid=3094 vsize=17048 CPUtime=1.49 /proc/3096/stat : 3096 (pbscip.linux.x8) R 3094 3096 2877 0 -1 4202496 19878 0 0 0 133 16 0 0 22 0 1 0 36897840 17457152 3025 1992294400 4194304 9819077 140735759349040 18446744073709551615 4947397 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3096/statm: 4262 3025 725 1374 0 2883 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17048 [startup+3.10018 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3097 /proc/meminfo: memFree=1632724/2059040 swapFree=4140260/4192956 [pid=3096] ppid=3094 vsize=25844 CPUtime=3.09 /proc/3096/stat : 3096 (pbscip.linux.x8) R 3094 3096 2877 0 -1 4202496 37323 0 0 0 274 35 0 0 25 0 1 0 36897840 26464256 4682 1992294400 4194304 9819077 140735759349040 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3096/statm: 6461 4682 725 1374 0 5082 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 25844 [startup+6.30053 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3097 /proc/meminfo: memFree=1632104/2059040 swapFree=4140260/4192956 [pid=3096] ppid=3094 vsize=18468 CPUtime=6.29 /proc/3096/stat : 3096 (pbscip.linux.x8) R 3094 3096 2877 0 -1 4202496 64490 0 0 0 560 69 0 0 25 0 1 0 36897840 18911232 3323 1992294400 4194304 9819077 140735759349040 18446744073709551615 4979111 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3096/statm: 4617 3323 725 1374 0 3238 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 18468 [startup+12.7002 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3097 /proc/meminfo: memFree=1628384/2059040 swapFree=4140260/4192956 [pid=3096] ppid=3094 vsize=21568 CPUtime=12.69 /proc/3096/stat : 3096 (pbscip.linux.x8) R 3094 3096 2877 0 -1 4202496 117814 0 0 0 1131 138 0 0 25 0 1 0 36897840 22085632 4107 1992294400 4194304 9819077 140735759349040 18446744073709551615 4979554 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3096/statm: 5392 4107 725 1374 0 4013 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 21568 [startup+25.5017 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3097 /proc/meminfo: memFree=1623176/2059040 swapFree=4140260/4192956 [pid=3096] ppid=3094 vsize=27356 CPUtime=25.49 /proc/3096/stat : 3096 (pbscip.linux.x8) R 3094 3096 2877 0 -1 4202496 229947 0 0 0 2265 284 0 0 25 0 1 0 36897840 28012544 5584 1992294400 4194304 9819077 140735759349040 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3096/statm: 6839 5584 725 1374 0 5460 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 27356 [startup+51.1015 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3099 /proc/meminfo: memFree=1610032/2059040 swapFree=4140260/4192956 [pid=3096] ppid=3094 vsize=40500 CPUtime=51.08 /proc/3096/stat : 3096 (pbscip.linux.x8) R 3094 3096 2877 0 -1 4202496 451823 0 0 0 4541 567 0 0 25 0 1 0 36897840 41472000 8860 1992294400 4194304 9819077 140735759349040 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3096/statm: 10245 8863 725 1374 0 8866 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 40500 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3099 /proc/meminfo: memFree=1591556/2059040 swapFree=4140260/4192956 [pid=3096] ppid=3094 vsize=59912 CPUtime=102.27 /proc/3096/stat : 3096 (pbscip.linux.x8) R 3094 3096 2877 0 -1 4202496 926203 0 0 0 9034 1193 0 0 25 0 1 0 36897840 61349888 13399 1992294400 4194304 9819077 140735759349040 18446744073709551615 6566472 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3096/statm: 14978 13399 725 1374 0 13599 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 59912 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3101 /proc/meminfo: memFree=1564400/2059040 swapFree=4140260/4192956 [pid=3096] ppid=3094 vsize=86400 CPUtime=162.25 /proc/3096/stat : 3096 (pbscip.linux.x8) R 3094 3096 2877 0 -1 4202496 1405043 0 0 0 14377 1848 0 0 25 0 1 0 36897840 88473600 20172 1992294400 4194304 9819077 140735759349040 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3096/statm: 21480 20170 725 1374 0 20101 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 86400 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3103 /proc/meminfo: memFree=1543444/2059040 swapFree=4140260/4192956 [pid=3096] ppid=3094 vsize=106620 CPUtime=222.23 /proc/3096/stat : 3096 (pbscip.linux.x8) R 3094 3096 2877 0 -1 4202496 1881200 0 0 0 19714 2509 0 0 25 0 1 0 36897840 109178880 25383 1992294400 4194304 9819077 140735759349040 18446744073709551615 6367498 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3096/statm: 26655 25383 727 1374 0 25276 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 106620 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3105 /proc/meminfo: memFree=1525464/2059040 swapFree=4140260/4192956 [pid=3096] ppid=3094 vsize=124180 CPUtime=282.21 /proc/3096/stat : 3096 (pbscip.linux.x8) R 3094 3096 2877 0 -1 4202496 2352108 0 0 0 25076 3145 0 0 25 0 1 0 36897840 127160320 29901 1992294400 4194304 9819077 140735759349040 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3096/statm: 31085 29902 727 1374 0 29706 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 124180 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3105 /proc/meminfo: memFree=1510832/2059040 swapFree=4140260/4192956 [pid=3096] ppid=3094 vsize=138348 CPUtime=342.2 /proc/3096/stat : 3096 (pbscip.linux.x8) R 3094 3096 2877 0 -1 4202496 2845091 0 0 0 30403 3817 0 0 25 0 1 0 36897840 141668352 33477 1992294400 4194304 9819077 140735759349040 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3096/statm: 34587 33477 727 1374 0 33208 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 138348 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3107 /proc/meminfo: memFree=1487520/2059040 swapFree=4140260/4192956 [pid=3096] ppid=3094 vsize=165736 CPUtime=402.18 /proc/3096/stat : 3096 (pbscip.linux.x8) R 3094 3096 2877 0 -1 4202496 3313034 0 0 0 35790 4428 0 0 25 0 1 0 36897840 169713664 39425 1992294400 4194304 9819077 140735759349040 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3096/statm: 41434 39425 727 1374 0 40055 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 165736 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3109 /proc/meminfo: memFree=1467308/2059040 swapFree=4140260/4192956 [pid=3096] ppid=3094 vsize=185320 CPUtime=462.17 /proc/3096/stat : 3096 (pbscip.linux.x8) R 3094 3096 2877 0 -1 4202496 3779665 0 0 0 41175 5042 0 0 25 0 1 0 36897840 189767680 44427 1992294400 4194304 9819077 140735759349040 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3096/statm: 46330 44427 727 1374 0 44951 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 185320 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3111 /proc/meminfo: memFree=1443252/2059040 swapFree=4140260/4192956 [pid=3096] ppid=3094 vsize=208780 CPUtime=522.16 /proc/3096/stat : 3096 (pbscip.linux.x8) R 3094 3096 2877 0 -1 4202496 4244808 0 0 0 46571 5645 0 0 25 0 1 0 36897840 213790720 50410 1992294400 4194304 9819077 140735759349040 18446744073709551615 4978991 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3096/statm: 52195 50410 727 1374 0 50816 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 208780 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3113 /proc/meminfo: memFree=1435440/2059040 swapFree=4140260/4192956 [pid=3096] ppid=3094 vsize=215272 CPUtime=582.14 /proc/3096/stat : 3096 (pbscip.linux.x8) R 3094 3096 2877 0 -1 4202496 4738246 0 0 0 51919 6295 0 0 25 0 1 0 36897840 220438528 52103 1992294400 4194304 9819077 140735759349040 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3096/statm: 53818 52103 727 1374 0 52439 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 215272 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3113 /proc/meminfo: memFree=1425768/2059040 swapFree=4140260/4192956 [pid=3096] ppid=3094 vsize=224820 CPUtime=642.13 /proc/3096/stat : 3096 (pbscip.linux.x8) R 3094 3096 2877 0 -1 4202496 5214401 0 0 0 57303 6910 0 0 25 0 1 0 36897840 230215680 54578 1992294400 4194304 9819077 140735759349040 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3096/statm: 56205 54578 727 1374 0 54826 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 224820 [startup+702.302 s] ################ # More data... # ################ /proc/3096/stat : 3096 (pbscip.linux.x8) R 3094 3096 2877 0 -1 4202496 8599684 0 0 0 94806 11395 0 0 25 0 1 0 36897840 311435264 74870 1992294400 4194304 9819077 140735759349040 18446744073709551615 7816457 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3096/statm: 76034 74870 727 1374 0 74655 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 304136 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3136 /proc/meminfo: memFree=1330784/2059040 swapFree=4140260/4192956 [pid=3096] ppid=3094 vsize=316604 CPUtime=1121.99 /proc/3096/stat : 3096 (pbscip.linux.x8) R 3094 3096 2877 0 -1 4202496 9074031 0 0 0 100177 12022 0 0 25 0 1 0 36897840 324202496 78060 1992294400 4194304 9819077 140735759349040 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3096/statm: 79151 78060 727 1374 0 77772 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 316604 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3138 /proc/meminfo: memFree=1315904/2059040 swapFree=4140260/4192956 [pid=3096] ppid=3094 vsize=339700 CPUtime=1181.97 /proc/3096/stat : 3096 (pbscip.linux.x8) R 3094 3096 2877 0 -1 4202496 9549302 0 0 0 105546 12651 0 0 25 0 1 0 36897840 347852800 81871 1992294400 4194304 9819077 140735759349040 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3096/statm: 84925 81871 727 1374 0 83546 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 339700 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3138 /proc/meminfo: memFree=1304248/2059040 swapFree=4140260/4192956 [pid=3096] ppid=3094 vsize=350764 CPUtime=1241.96 /proc/3096/stat : 3096 (pbscip.linux.x8) R 3094 3096 2877 0 -1 4202496 10047576 0 0 0 110874 13322 0 0 25 0 1 0 36897840 359182336 84691 1992294400 4194304 9819077 140735759349040 18446744073709551615 4619519 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3096/statm: 87691 84691 727 1374 0 86312 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 350764 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3140 /proc/meminfo: memFree=1284284/2059040 swapFree=4140260/4192956 [pid=3096] ppid=3094 vsize=370392 CPUtime=1301.95 /proc/3096/stat : 3096 (pbscip.linux.x8) R 3094 3096 2877 0 -1 4202496 10522300 0 0 0 116241 13954 0 0 25 0 1 0 36897840 379281408 89685 1992294400 4194304 9819077 140735759349040 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3096/statm: 92598 89685 727 1374 0 91219 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 370392 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3142 /proc/meminfo: memFree=1270148/2059040 swapFree=4140260/4192956 [pid=3096] ppid=3094 vsize=384252 CPUtime=1361.93 /proc/3096/stat : 3096 (pbscip.linux.x8) R 3094 3096 2877 0 -1 4202496 10994488 0 0 0 121612 14581 0 0 25 0 1 0 36897840 393474048 93209 1992294400 4194304 9819077 140735759349040 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3096/statm: 96063 93209 727 1374 0 94684 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 384252 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3144 /proc/meminfo: memFree=1257624/2059040 swapFree=4140260/4192956 [pid=3096] ppid=3094 vsize=396672 CPUtime=1421.92 /proc/3096/stat : 3096 (pbscip.linux.x8) R 3094 3096 2877 0 -1 4202496 11469939 0 0 0 126991 15201 0 0 25 0 1 0 36897840 406192128 96383 1992294400 4194304 9819077 140735759349040 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3096/statm: 99048 96381 727 1374 0 97669 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 396672 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3146 /proc/meminfo: memFree=1246836/2059040 swapFree=4140260/4192956 [pid=3096] ppid=3094 vsize=408024 CPUtime=1481.9 /proc/3096/stat : 3096 (pbscip.linux.x8) R 3094 3096 2877 0 -1 4202496 11941045 0 0 0 132356 15834 0 0 25 0 1 0 36897840 417816576 99276 1992294400 4194304 9819077 140735759349040 18446744073709551615 4948376 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3096/statm: 102006 99276 727 1374 0 100627 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 408024 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3146 /proc/meminfo: memFree=1232824/2059040 swapFree=4140260/4192956 [pid=3096] ppid=3094 vsize=420648 CPUtime=1541.88 /proc/3096/stat : 3096 (pbscip.linux.x8) R 3094 3096 2877 0 -1 4202496 12413586 0 0 0 137724 16464 0 0 25 0 1 0 36897840 430743552 102518 1992294400 4194304 9819077 140735759349040 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3096/statm: 105202 102519 727 1374 0 103823 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 420648 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3148 /proc/meminfo: memFree=1217944/2059040 swapFree=4140260/4192956 [pid=3096] ppid=3094 vsize=435168 CPUtime=1601.86 /proc/3096/stat : 3096 (pbscip.linux.x8) R 3094 3096 2877 0 -1 4202496 12888984 0 0 0 143090 17096 0 0 25 0 1 0 36897840 445612032 106203 1992294400 4194304 9819077 140735759349040 18446744073709551615 4924208 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3096/statm: 108792 106203 727 1374 0 107413 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 435168 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3150 /proc/meminfo: memFree=1205792/2059040 swapFree=4140260/4192956 [pid=3096] ppid=3094 vsize=446920 CPUtime=1661.85 /proc/3096/stat : 3096 (pbscip.linux.x8) R 3094 3096 2877 0 -1 4202496 13364358 0 0 0 148451 17734 0 0 25 0 1 0 36897840 457646080 109219 1992294400 4194304 9819077 140735759349040 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3096/statm: 111770 109220 727 1374 0 110391 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 446920 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 3/107 3152 /proc/meminfo: memFree=1196120/2059040 swapFree=4140260/4192956 [pid=3096] ppid=3094 vsize=456600 CPUtime=1721.84 /proc/3096/stat : 3096 (pbscip.linux.x8) R 3094 3096 2877 0 -1 4202496 13838814 0 0 0 153822 18362 0 0 25 0 1 0 36897840 467558400 111629 1992294400 4194304 9819077 140735759349040 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3096/statm: 114150 111629 727 1374 0 112771 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 456600 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3154 /proc/meminfo: memFree=1187316/2059040 swapFree=4140260/4192956 [pid=3096] ppid=3094 vsize=464852 CPUtime=1781.82 /proc/3096/stat : 3096 (pbscip.linux.x8) R 3094 3096 2877 0 -1 4202496 14311781 0 0 0 159176 19006 0 0 25 0 1 0 36897840 476008448 113751 1992294400 4194304 9819077 140735759349040 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3096/statm: 116213 113751 727 1374 0 114834 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 464852 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3154 /proc/meminfo: memFree=1182480/2059040 swapFree=4140260/4192956 [pid=3096] ppid=3094 vsize=469604 CPUtime=1800.02 /proc/3096/stat : 3096 (pbscip.linux.x8) R 3094 3096 2877 0 -1 4202496 14454695 0 0 0 160808 19194 0 0 25 0 1 0 36897840 480874496 114953 1992294400 4194304 9819077 140735759349040 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3096/statm: 117201 114949 727 1374 0 115822 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 469604 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -3096 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.00 1.00 1.00 2/108 3155 /proc/meminfo: memFree=1182472/2059040 swapFree=4140260/4192956 [pid=3096] ppid=3094 vsize=469604 CPUtime=1800.91 /proc/3096/stat : 3096 (pbscip.linux.x8) R 3094 3096 2877 0 -1 4202496 14454706 0 0 0 160897 19194 0 0 25 0 1 0 36897840 480874496 114954 1992294400 4194304 9819077 140735759349040 18446744073709551615 6180095 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/3096/statm: 117401 114954 728 1374 0 116022 0 Current children cumulated CPU time (s) 1800.91 Current children cumulated vsize (KiB) 469604 [startup+1802.2 s] /proc/loadavg: 1.00 1.00 1.00 2/108 3155 /proc/meminfo: memFree=1182348/2059040 swapFree=4140260/4192956 [pid=3096] ppid=3094 vsize=469604 CPUtime=1801.71 /proc/3096/stat : 3096 (pbscip.linux.x8) R 3094 3096 2877 0 -1 4202496 14454706 0 0 0 160977 19194 0 0 25 0 1 0 36897840 480874496 114954 1992294400 4194304 9819077 140735759349040 18446744073709551615 6179956 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/3096/statm: 117401 114954 728 1374 0 116022 0 Current children cumulated CPU time (s) 1801.71 Current children cumulated vsize (KiB) 469604 [startup+1802.4 s] /proc/loadavg: 1.00 1.00 1.00 2/108 3155 /proc/meminfo: memFree=1182348/2059040 swapFree=4140260/4192956 [pid=3096] ppid=3094 vsize=467920 CPUtime=1801.91 /proc/3096/stat : 3096 (pbscip.linux.x8) R 3094 3096 2877 0 -1 4202496 14454706 0 0 0 160997 19194 0 0 25 0 1 0 36897840 479150080 114533 1992294400 4194304 9819077 140735759349040 18446744073709551615 6180095 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/3096/statm: 116980 114533 728 1374 0 115601 0 Current children cumulated CPU time (s) 1801.91 Current children cumulated vsize (KiB) 467920 [startup+1802.5 s] /proc/loadavg: 1.00 1.00 1.00 2/108 3155 /proc/meminfo: memFree=1182348/2059040 swapFree=4140260/4192956 [pid=3096] ppid=3094 vsize=466500 CPUtime=1802.01 /proc/3096/stat : 3096 (pbscip.linux.x8) R 3094 3096 2877 0 -1 4202496 14454706 0 0 0 161007 19194 0 0 25 0 1 0 36897840 477696000 114178 1992294400 4194304 9819077 140735759349040 18446744073709551615 6179982 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/3096/statm: 116625 114178 728 1374 0 115246 0 Current children cumulated CPU time (s) 1802.01 Current children cumulated vsize (KiB) 466500 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.56 CPU time (s): 1802.08 CPU user time (s): 1610.08 CPU system time (s): 191.996 CPU usage (%): 99.9734 Max. virtual memory (cumulated for all children) (KiB): 469604 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1610.08 system time used= 191.996 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 14454706 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= 2 involuntary context switches= 2141 runsolver used 2.86756 second user time and 8.63569 second system time The end
Begin job on node009 at 2010-06-15 16:42:41 IDJOB=2665665 IDBENCH=2912 IDSOLVER=1168 FILE ID=node009/2665665-1276612961 PBS_JOBID= 11172288 Free space on /tmp= 62556 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_8_70_3.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-2665665-1276612961/watcher-2665665-1276612961 -o /tmp/evaluation-result-2665665-1276612961/solver-2665665-1276612961 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665665-1276612961.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0278ee4f163393ac33163ff791a7f96d RANDOM SEED=229231059 node009.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.199 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.39 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.199 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.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1643428 kB Buffers: 118036 kB Cached: 214996 kB SwapCached: 6532 kB Active: 118300 kB Inactive: 228340 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1643428 kB SwapTotal: 4192956 kB SwapFree: 4140260 kB Dirty: 6244 kB Writeback: 24 kB AnonPages: 11568 kB Mapped: 13024 kB Slab: 47248 kB PageTables: 4072 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180228 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= 62548 MiB End job on node009 at 2010-06-15 17:12:43