Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | SAT | 17 | 1792.56 | 1792.99 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_8_70_1.opb |
| MD5SUM | 0263d0a7c5e3320bd7cce9534c14bf27 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 17 |
| Best CPU time to get the best result obtained on this benchmark | 1792.56 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 32 |
| 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 | 85 |
| 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 | 1884 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 6162 |
| Number of bits of the biggest sum of numbers | 13 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2703916-1278562653.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.02 c presolving:
0.00/0.02 c (round 1) 0 del vars, 8 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.03 c (0.0s) probing: 101/198 (51.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.03 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.03 c presolving (2 rounds):
0.00/0.03 c 0 deleted vars, 8 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.03 c 0 implications, 0 cliques
0.00/0.03 c presolved problem has 198 variables (198 bin, 0 int, 0 impl, 0 cont) and 8 constraints
0.00/0.03 c 8 constraints of type <linear>
0.00/0.03 c transformed objective value is always integral (scale: 1)
0.00/0.03 c Presolving Time: 0.02
0.00/0.03 c - non default parameters ----------------------------------------------------------------------
0.00/0.03 c # SCIP version 1.2.1.3
0.00/0.03 c
0.00/0.03 c # frequency for displaying node information lines
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.03 c display/freq = 10000
0.00/0.03 c
0.00/0.03 c # maximal time in seconds to run
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/time = 1789.99
0.00/0.03 c
0.00/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/memory = 1620
0.00/0.03 c
0.00/0.03 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.03 c # [type: int, range: [1,2], default: 1]
0.00/0.03 c timing/clocktype = 2
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify inequalities
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/linear/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/indicator/addCouplingCons = TRUE
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify knapsacks
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c separating/rapidlearning/freq = 0
0.00/0.03 c
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c start solving
0.00/0.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 | 51 | - | 634k| 0 | 8 | 198 | 8 | 198 | 8 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.17 o 1044
0.09/0.17 c y 0.2s| 1 | 0 | 101 | - | 707k| 0 | 8 | 198 | 8 | 198 | 8 | 0 | 0 | 0 | 0.000000e+00 | 1.044000e+03 | Inf
0.09/0.18 c 0.2s| 1 | 0 | 116 | - | 843k| 0 | 15 | 198 | 71 | 198 | 16 | 8 | 0 | 0 | 0.000000e+00 | 1.044000e+03 | Inf
0.19/0.20 c 0.2s| 1 | 0 | 125 | - | 929k| 0 | 18 | 198 | 71 | 198 | 20 | 12 | 0 | 0 | 0.000000e+00 | 1.044000e+03 | Inf
0.19/0.22 c 0.2s| 1 | 0 | 137 | - | 966k| 0 | 19 | 198 | 71 | 198 | 23 | 15 | 0 | 0 | 0.000000e+00 | 1.044000e+03 | Inf
0.19/0.25 c 0.2s| 1 | 0 | 149 | - | 981k| 0 | 19 | 198 | 71 | 198 | 26 | 18 | 0 | 0 | 0.000000e+00 | 1.044000e+03 | Inf
0.19/0.27 c 0.3s| 1 | 0 | 157 | - | 999k| 0 | 20 | 198 | 71 | 198 | 28 | 20 | 0 | 0 | 0.000000e+00 | 1.044000e+03 | Inf
0.29/0.30 c 0.3s| 1 | 0 | 161 | - |1000k| 0 | 22 | 198 | 71 | 198 | 29 | 21 | 0 | 0 | 0.000000e+00 | 1.044000e+03 | Inf
0.29/0.39 c 0.4s| 1 | 2 | 161 | - |1000k| 0 | 22 | 198 | 71 | 198 | 29 | 21 | 0 | 14 | 0.000000e+00 | 1.044000e+03 | Inf
0.79/0.85 o 574
0.79/0.85 c g 0.8s| 181 | 182 | 2105 | 10.8 |1183k| 53 | - | 198 | 71 | 198 | 22 | 21 | 7 | 498 | 0.000000e+00 | 5.740000e+02 | Inf
1.20/1.28 o 415
1.20/1.28 c c 1.3s| 623 | 623 | 5071 | 7.9 |1377k| 53 | - | 198 | 71 | 198 | 22 | 21 | 18 | 570 | 0.000000e+00 | 4.150000e+02 | Inf
1.29/1.31 o 414
1.29/1.31 c * 1.3s| 654 | 646 | 5215 | 7.7 |1373k| 54 | - | 198 | 71 | 198 | 22 | 21 | 18 | 588 | 0.000000e+00 | 4.140000e+02 | Inf
1.29/1.31 o 412
1.29/1.31 c * 1.3s| 656 | 646 | 5215 | 7.7 |1376k| 55 | - | 198 | 71 | 198 | 22 | 21 | 18 | 592 | 0.000000e+00 | 4.120000e+02 | Inf
1.29/1.31 o 410
1.29/1.31 c * 1.3s| 657 | 645 | 5215 | 7.7 |1378k| 55 | - | 198 | 71 | 198 | 22 | 21 | 18 | 592 | 0.000000e+00 | 4.100000e+02 | Inf
1.29/1.35 o 289
1.29/1.35 c f 1.3s| 686 | 670 | 5423 | 7.7 |1419k| 55 | - | 198 | 71 | 198 | 22 | 21 | 18 | 592 | 0.000000e+00 | 2.890000e+02 | Inf
2.19/2.29 o 135
2.19/2.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.19/2.29 c c 2.3s| 1033 | 956 | 7355 | 7.0 |1540k| 57 | - | 198 | 71 | 198 | 22 | 21 | 26 | 656 | 0.000000e+00 | 1.350000e+02 | Inf
9.29/9.30 o 134
9.29/9.30 c * 9.3s| 7670 | 7512 | 56342 | 7.3 |4823k| 57 | - | 198 | 12 | 198 | 22 | 21 | 251 | 891 | 0.000000e+00 | 1.340000e+02 | Inf
11.39/11.49 c 11.5s| 10000 | 9828 | 72497 | 7.2 |5910k| 57 | 8 | 198 | 12 | 198 | 22 | 21 | 320 |1027 | 0.000000e+00 | 1.340000e+02 | Inf
13.09/13.10 o 77
13.09/13.10 c g13.1s| 12050 | 11612 | 84422 | 7.0 |6650k| 57 | - | 198 | 12 | 198 | 22 | 21 | 357 |1136 | 0.000000e+00 | 7.700000e+01 | Inf
19.18/19.20 o 76
19.18/19.20 c *19.2s| 19453 | 18494 |125932 | 6.5 |9985k| 57 | - | 198 | 9 | 198 | 22 | 21 | 505 |1538 | 0.000000e+00 | 7.600000e+01 | Inf
19.18/19.21 o 74
19.18/19.21 c *19.2s| 19455 | 18476 |125932 | 6.5 |9957k| 57 | - | 198 | 9 | 198 | 22 | 21 | 505 |1542 | 0.000000e+00 | 7.400000e+01 | Inf
19.58/19.60 c 19.6s| 20000 | 18985 |128607 | 6.4 | 10M| 57 | 8 | 198 | 9 | 198 | 22 | 21 | 511 |1561 | 0.000000e+00 | 7.400000e+01 | Inf
23.98/24.09 o 73
23.98/24.09 c *24.1s| 25750 | 24041 |160347 | 6.2 | 12M| 57 | - | 198 | 9 | 198 | 22 | 21 | 632 |1916 | 0.000000e+00 | 7.300000e+01 | Inf
28.38/28.43 o 72
28.38/28.43 c *28.4s| 29961 | 27654 |184523 | 6.2 | 15M| 57 | - | 198 | 9 | 198 | 22 | 21 | 747 |2186 | 0.000000e+00 | 7.200000e+01 | Inf
28.38/28.43 o 70
28.38/28.43 c *28.4s| 29962 | 27578 |184523 | 6.2 | 14M| 57 | - | 198 | 9 | 198 | 22 | 21 | 747 |2186 | 0.000000e+00 | 7.000000e+01 | Inf
28.38/28.49 c 28.5s| 30000 | 27610 |184882 | 6.2 | 14M| 57 | 8 | 198 | 9 | 198 | 22 | 21 | 753 |2188 | 0.000000e+00 | 7.000000e+01 | Inf
36.68/36.70 c 36.7s| 40000 | 35560 |243685 | 6.1 | 19M| 59 | 8 | 198 | 9 | 198 | 22 | 21 |1078 |2702 | 0.000000e+00 | 7.000000e+01 | Inf
44.69/44.76 c 44.7s| 50000 | 43639 |302061 | 6.0 | 24M| 59 | 8 | 198 | 9 | 198 | 22 | 21 |1383 |3131 | 0.000000e+00 | 7.000000e+01 | Inf
51.28/51.38 o 69
51.28/51.38 c *51.4s| 58239 | 50285 |350184 | 6.0 | 29M| 59 | - | 198 | 10 | 198 | 22 | 21 |1641 |3446 | 0.000000e+00 | 6.900000e+01 | Inf
51.28/51.38 o 67
51.28/51.38 c *51.4s| 58241 | 50141 |350184 | 6.0 | 28M| 59 | - | 198 | 10 | 198 | 22 | 21 |1641 |3449 | 0.000000e+00 | 6.700000e+01 | Inf
51.28/51.39 o 65
51.28/51.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
51.28/51.39 c *51.4s| 58242 | 49977 |350184 | 6.0 | 28M| 59 | - | 198 | 10 | 198 | 22 | 21 |1641 |3449 | 0.000000e+00 | 6.500000e+01 | Inf
54.38/54.42 c 54.4s| 60000 | 51317 |360583 | 6.0 | 29M| 59 | 8 | 198 | 11 | 198 | 22 | 21 |1689 |3513 | 0.000000e+00 | 6.500000e+01 | Inf
60.08/60.11 o 63
60.08/60.11 c *60.1s| 66896 | 55334 |402394 | 6.0 | 31M| 59 | - | 198 | 10 | 198 | 22 | 21 |1951 |3771 | 0.000000e+00 | 6.300000e+01 | Inf
62.98/63.07 c 63.1s| 70000 | 57989 |421224 | 6.0 | 33M| 59 | 8 | 198 | 9 | 198 | 22 | 21 |2028 |3865 | 0.000000e+00 | 6.300000e+01 | Inf
63.58/63.63 o 61
63.58/63.63 c *63.6s| 70689 | 58255 |425842 | 6.0 | 33M| 59 | - | 198 | 9 | 198 | 22 | 21 |2051 |3909 | 0.000000e+00 | 6.100000e+01 | Inf
70.68/70.78 c 70.8s| 80000 | 65728 |481971 | 6.0 | 37M| 59 | 8 | 198 | 8 | 198 | 22 | 21 |2364 |4221 | 0.000000e+00 | 6.100000e+01 | Inf
78.58/78.67 c 78.7s| 90000 | 73463 |544602 | 6.0 | 42M| 59 | 8 | 198 | 9 | 198 | 22 | 21 |2767 |4506 | 0.000000e+00 | 6.100000e+01 | Inf
88.67/88.71 c 88.7s|100000 | 81218 |608352 | 6.1 | 47M| 59 | 8 | 198 | 13 | 198 | 22 | 21 |3145 |4812 | 0.000000e+00 | 6.100000e+01 | Inf
96.47/96.54 c 96.5s|110000 | 88967 |671025 | 6.1 | 52M| 60 | - | 198 | 12 | 198 | 22 | 21 |3503 |5061 | 0.000000e+00 | 6.100000e+01 | Inf
104.26/104.39 c 104s|120000 | 96126 |734456 | 6.1 | 57M| 60 | 8 | 198 | 11 | 198 | 22 | 21 |3975 |5351 | 0.000000e+00 | 6.100000e+01 | Inf
107.46/107.57 o 60
107.46/107.57 c * 108s|124141 | 98957 |759782 | 6.1 | 58M| 60 | - | 198 | 10 | 198 | 22 | 21 |4129 |5447 | 0.000000e+00 | 6.000000e+01 | Inf
112.07/112.17 c 112s|130000 |103172 |796184 | 6.1 | 61M| 60 | 8 | 198 | 11 | 198 | 22 | 21 |4407 |5601 | 0.000000e+00 | 6.000000e+01 | Inf
115.76/115.85 o 59
115.76/115.85 c * 116s|134640 |106119 |825441 | 6.1 | 63M| 60 | - | 198 | 12 | 198 | 22 | 21 |4614 |5690 | 0.000000e+00 | 5.900000e+01 | Inf
119.96/120.04 c 120s|140000 |109973 |858916 | 6.1 | 65M| 60 | - | 198 | 9 | 198 | 22 | 21 |4827 |5821 | 0.000000e+00 | 5.900000e+01 | Inf
127.87/128.00 c 128s|150000 |116702 |921734 | 6.1 | 69M| 60 | 8 | 198 | 10 | 198 | 22 | 21 |5288 |6042 | 0.000000e+00 | 5.900000e+01 | Inf
135.66/135.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
135.66/135.76 c 136s|160000 |123770 |982642 | 6.1 | 74M| 60 | 8 | 198 | 11 | 198 | 22 | 21 |5727 |6233 | 0.000000e+00 | 5.900000e+01 | Inf
143.46/143.59 c 144s|170000 |130909 | 1044k| 6.1 | 78M| 60 | - | 198 | 11 | 198 | 22 | 21 |6153 |6425 | 0.000000e+00 | 5.900000e+01 | Inf
151.35/151.49 c 151s|180000 |137802 | 1107k| 6.2 | 83M| 61 | 8 | 198 | 11 | 198 | 22 | 21 |6622 |6601 | 0.000000e+00 | 5.900000e+01 | Inf
156.06/156.15 o 58
156.06/156.15 c * 156s|185812 |141166 | 1143k| 6.2 | 84M| 61 | - | 198 | 11 | 198 | 22 | 21 |6962 |6711 | 0.000000e+00 | 5.800000e+01 | Inf
160.85/160.92 o 56
160.85/160.92 c * 161s|189317 |142432 | 1166k| 6.2 | 84M| 61 | - | 198 | 12 | 198 | 22 | 21 |7156 |6793 | 0.000000e+00 | 5.600000e+01 | Inf
163.65/163.77 c 164s|190000 |142913 | 1170k| 6.2 | 85M| 61 | - | 198 | 12 | 198 | 22 | 21 |7184 |6806 | 0.000000e+00 | 5.600000e+01 | Inf
166.55/166.64 o 55
166.55/166.64 c * 167s|193696 |144876 | 1193k| 6.2 | 85M| 61 | - | 198 | 13 | 198 | 22 | 21 |7369 |6867 | 0.000000e+00 | 5.500000e+01 | Inf
171.56/171.67 c 172s|200000 |149023 | 1232k| 6.2 | 88M| 61 | 8 | 198 | 10 | 198 | 22 | 21 |7666 |6957 | 0.000000e+00 | 5.500000e+01 | Inf
174.35/174.47 o 53
174.35/174.47 c * 174s|203540 |149914 | 1253k| 6.2 | 88M| 61 | - | 198 | 10 | 198 | 22 | 21 |7839 |7017 | 0.000000e+00 | 5.300000e+01 | Inf
179.55/179.66 c 180s|210000 |153997 | 1294k| 6.2 | 90M| 61 | 8 | 198 | 10 | 198 | 22 | 21 |8146 |7133 | 0.000000e+00 | 5.300000e+01 | Inf
187.44/187.56 c 188s|220000 |160221 | 1355k| 6.2 | 94M| 61 | 8 | 198 | 10 | 198 | 22 | 21 |8642 |7304 | 0.000000e+00 | 5.300000e+01 | Inf
195.65/195.75 c 196s|230000 |166342 | 1422k| 6.2 | 99M| 61 | 8 | 198 | 16 | 198 | 22 | 21 |9125 |7460 | 0.000000e+00 | 5.300000e+01 | Inf
196.04/196.10 o 52
196.04/196.10 c * 196s|230449 |165880 | 1424k| 6.2 | 98M| 61 | - | 198 | 16 | 198 | 22 | 21 |9144 |7467 | 0.000000e+00 | 5.200000e+01 | Inf
203.75/203.86 c 204s|240000 |171983 | 1485k| 6.2 | 102M| 61 | 8 | 198 | 12 | 198 | 22 | 21 |9580 |7616 | 0.000000e+00 | 5.200000e+01 | Inf
211.84/211.96 c 212s|250000 |177821 | 1548k| 6.2 | 106M| 61 | 8 | 198 | 10 | 198 | 22 | 21 | 10k|7776 | 0.000000e+00 | 5.200000e+01 | Inf
219.74/219.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
219.74/219.86 c 220s|260000 |183952 | 1609k| 6.2 | 110M| 61 | 8 | 198 | 10 | 198 | 22 | 21 | 10k|7937 | 0.000000e+00 | 5.200000e+01 | Inf
224.64/224.75 o 50
224.64/224.75 c * 225s|266120 |185750 | 1647k| 6.2 | 110M| 61 | - | 198 | 9 | 198 | 22 | 21 | 10k|8023 | 0.000000e+00 | 5.000000e+01 | Inf
226.64/226.73 o 49
226.64/226.73 c * 227s|268511 |186174 | 1662k| 6.2 | 110M| 61 | - | 198 | 8 | 198 | 22 | 21 | 10k|8063 | 0.000000e+00 | 4.900000e+01 | Inf
226.64/226.75 o 47
226.64/226.75 c * 227s|268512 |182381 | 1662k| 6.2 | 106M| 61 | - | 198 | 8 | 198 | 22 | 21 | 10k|8063 | 0.000000e+00 | 4.700000e+01 | Inf
227.83/227.97 c 228s|270000 |183253 | 1672k| 6.2 | 107M| 61 | - | 198 | 9 | 198 | 22 | 21 | 11k|8076 | 0.000000e+00 | 4.700000e+01 | Inf
235.93/236.07 c 236s|280000 |188919 | 1734k| 6.2 | 111M| 61 | - | 198 | 9 | 0 | 0 | 21 | 11k|8247 | 0.000000e+00 | 4.700000e+01 | Inf
237.03/237.10 o 45
237.03/237.10 c * 237s|281234 |187499 | 1742k| 6.2 | 109M| 61 | - | 198 | 9 | 198 | 22 | 21 | 11k|8264 | 0.000000e+00 | 4.500000e+01 | Inf
237.03/237.12 o 43
237.03/237.12 c c 237s|281236 |185233 | 1742k| 6.2 | 106M| 61 | - | 198 | 9 | 198 | 22 | 21 | 11k|8268 | 0.000000e+00 | 4.300000e+01 | Inf
237.03/237.14 o 41
237.03/237.14 c v 237s|281236 |182562 | 1742k| 6.2 | 104M| 61 | - | 198 | 9 | 198 | 22 | 21 | 11k|8268 | 0.000000e+00 | 4.100000e+01 | Inf
246.43/246.51 c 246s|290000 |187451 | 1798k| 6.2 | 107M| 61 | 8 | 198 | 8 | 198 | 22 | 21 | 11k|8406 | 0.000000e+00 | 4.100000e+01 | Inf
252.03/252.19 o 39
252.03/252.19 c * 252s|297294 |188421 | 1841k| 6.2 | 107M| 61 | - | 198 | 10 | 198 | 22 | 21 | 12k|8550 | 0.000000e+00 | 3.900000e+01 | Inf
254.13/254.27 c 254s|300000 |189706 | 1857k| 6.2 | 108M| 61 | 8 | 198 | 9 | 198 | 22 | 21 | 12k|8595 | 0.000000e+00 | 3.900000e+01 | Inf
262.03/262.18 c 262s|310000 |195056 | 1917k| 6.2 | 112M| 61 | - | 198 | 8 | 198 | 22 | 21 | 12k|8762 | 0.000000e+00 | 3.900000e+01 | Inf
269.83/269.98 c 270s|320000 |200317 | 1977k| 6.2 | 115M| 61 | - | 198 | 9 | 198 | 22 | 21 | 13k|8931 | 0.000000e+00 | 3.900000e+01 | Inf
277.63/277.79 c 278s|330000 |205576 | 2035k| 6.2 | 119M| 61 | - | 198 | 9 | 198 | 22 | 21 | 13k|9090 | 0.000000e+00 | 3.900000e+01 | Inf
285.43/285.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
285.43/285.52 c 286s|340000 |210901 | 2094k| 6.2 | 123M| 61 | - | 198 | 9 | 198 | 22 | 21 | 14k|9241 | 0.000000e+00 | 3.900000e+01 | Inf
293.03/293.13 c 293s|350000 |215906 | 2152k| 6.1 | 127M| 61 | 8 | 198 | 10 | 198 | 22 | 21 | 14k|9386 | 0.000000e+00 | 3.900000e+01 | Inf
300.82/300.98 c 301s|360000 |221316 | 2212k| 6.1 | 130M| 61 | - | 198 | 8 | 198 | 22 | 21 | 14k|9531 | 0.000000e+00 | 3.900000e+01 | Inf
308.71/308.87 c 309s|370000 |226778 | 2271k| 6.1 | 134M| 61 | 8 | 198 | 8 | 198 | 22 | 21 | 15k|9663 | 0.000000e+00 | 3.900000e+01 | Inf
316.52/316.68 c 317s|380000 |232164 | 2330k| 6.1 | 138M| 61 | 8 | 198 | 8 | 198 | 22 | 21 | 15k|9810 | 0.000000e+00 | 3.900000e+01 | Inf
324.42/324.56 c 325s|390000 |237758 | 2390k| 6.1 | 142M| 61 | - | 198 | 8 | 0 | 0 | 21 | 16k|9952 | 0.000000e+00 | 3.900000e+01 | Inf
331.91/332.07 c 332s|400000 |242539 | 2447k| 6.1 | 145M| 61 | 8 | 198 | 8 | 198 | 22 | 21 | 16k| 10k| 0.000000e+00 | 3.900000e+01 | Inf
340.01/340.13 c 340s|410000 |248329 | 2508k| 6.1 | 149M| 61 | - | 198 | 8 | 0 | 0 | 21 | 17k| 10k| 0.000000e+00 | 3.900000e+01 | Inf
345.31/345.44 o 37
345.31/345.44 c * 345s|416919 |248604 | 2548k| 6.1 | 148M| 61 | - | 198 | 8 | 198 | 22 | 21 | 17k| 10k| 0.000000e+00 | 3.700000e+01 | Inf
347.61/347.70 c 348s|420000 |249931 | 2565k| 6.1 | 149M| 61 | - | 198 | 8 | 198 | 22 | 21 | 17k| 10k| 0.000000e+00 | 3.700000e+01 | Inf
356.90/357.07 c 357s|430000 |255046 | 2622k| 6.1 | 153M| 61 | 8 | 198 | 8 | 198 | 22 | 21 | 17k| 10k| 0.000000e+00 | 3.700000e+01 | Inf
364.40/364.50 c 364s|440000 |259756 | 2678k| 6.1 | 156M| 61 | 8 | 198 | 8 | 198 | 22 | 21 | 18k| 10k| 0.000000e+00 | 3.700000e+01 | Inf
371.80/371.94 c 372s|450000 |264539 | 2735k| 6.1 | 160M| 61 | 8 | 198 | 9 | 198 | 22 | 21 | 18k| 10k| 0.000000e+00 | 3.700000e+01 | Inf
379.50/379.67 c 380s|460000 |269818 | 2792k| 6.1 | 164M| 61 | 8 | 198 | 8 | 198 | 22 | 21 | 19k| 10k| 0.000000e+00 | 3.700000e+01 | Inf
386.89/387.01 c 387s|470000 |274830 | 2848k| 6.1 | 167M| 61 | - | 198 | 8 | 198 | 22 | 21 | 19k| 11k| 0.000000e+00 | 3.700000e+01 | Inf
394.09/394.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
394.09/394.29 c 394s|480000 |279565 | 2903k| 6.0 | 171M| 62 | 8 | 198 | 8 | 198 | 22 | 21 | 20k| 11k| 0.000000e+00 | 3.700000e+01 | Inf
401.69/401.86 c 402s|490000 |284667 | 2960k| 6.0 | 175M| 62 | 8 | 198 | 8 | 198 | 22 | 21 | 20k| 11k| 0.000000e+00 | 3.700000e+01 | Inf
409.19/409.40 c 409s|500000 |290004 | 3016k| 6.0 | 178M| 62 | 8 | 198 | 8 | 198 | 22 | 21 | 20k| 11k| 0.000000e+00 | 3.700000e+01 | Inf
415.09/415.27 o 36
415.09/415.27 c * 415s|507860 |292444 | 3060k| 6.0 | 179M| 62 | - | 198 | 8 | 198 | 22 | 21 | 21k| 11k| 0.000000e+00 | 3.600000e+01 | Inf
415.19/415.30 o 34
415.19/415.30 c * 415s|507865 |288615 | 3060k| 6.0 | 175M| 62 | - | 198 | 8 | 198 | 22 | 21 | 21k| 11k| 0.000000e+00 | 3.400000e+01 | Inf
415.19/415.34 o 32
415.19/415.34 c * 415s|507866 |275746 | 3060k| 6.0 | 165M| 62 | - | 198 | 8 | 198 | 22 | 21 | 21k| 11k| 0.000000e+00 | 3.200000e+01 | Inf
416.69/416.85 c 417s|510000 |276728 | 3072k| 6.0 | 165M| 62 | - | 198 | 11 | 198 | 22 | 21 | 21k| 11k| 0.000000e+00 | 3.200000e+01 | Inf
417.80/417.99 o 30
417.80/417.99 c * 418s|511566 |273415 | 3081k| 6.0 | 161M| 62 | - | 198 | 10 | 198 | 22 | 21 | 21k| 11k| 0.000000e+00 | 3.000000e+01 | Inf
417.90/418.02 o 28
417.90/418.02 c * 418s|511567 |268939 | 3081k| 6.0 | 157M| 62 | - | 198 | 10 | 198 | 22 | 21 | 21k| 11k| 0.000000e+00 | 2.800000e+01 | Inf
423.69/423.88 c 424s|520000 |272740 | 3128k| 6.0 | 159M| 62 | 8 | 198 | 11 | 198 | 22 | 21 | 21k| 11k| 0.000000e+00 | 2.800000e+01 | Inf
430.69/430.85 c 431s|530000 |277268 | 3185k| 6.0 | 162M| 62 | 8 | 198 | 11 | 198 | 22 | 21 | 22k| 11k| 0.000000e+00 | 2.800000e+01 | Inf
437.70/437.89 c 438s|540000 |282000 | 3241k| 6.0 | 166M| 62 | 8 | 198 | 9 | 198 | 22 | 21 | 22k| 11k| 0.000000e+00 | 2.800000e+01 | Inf
444.58/444.75 c 445s|550000 |286362 | 3297k| 6.0 | 169M| 62 | 8 | 198 | 8 | 198 | 22 | 21 | 22k| 12k| 0.000000e+00 | 2.800000e+01 | Inf
451.89/452.02 c 452s|560000 |291139 | 3356k| 6.0 | 172M| 62 | 8 | 198 | 8 | 198 | 22 | 21 | 23k| 12k| 0.000000e+00 | 2.800000e+01 | Inf
458.78/458.92 c 459s|570000 |295775 | 3413k| 6.0 | 175M| 62 | 8 | 198 | 9 | 198 | 22 | 21 | 23k| 12k| 0.000000e+00 | 2.800000e+01 | Inf
465.58/465.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
465.58/465.70 c 466s|580000 |299881 | 3468k| 6.0 | 178M| 62 | 8 | 198 | 9 | 198 | 22 | 21 | 24k| 12k| 0.000000e+00 | 2.800000e+01 | Inf
472.57/472.70 c 473s|590000 |304818 | 3525k| 6.0 | 181M| 62 | 8 | 198 | 9 | 198 | 22 | 21 | 24k| 12k| 0.000000e+00 | 2.800000e+01 | Inf
479.18/479.34 c 479s|600000 |308815 | 3579k| 6.0 | 184M| 62 | - | 198 | 8 | 0 | 0 | 21 | 24k| 12k| 0.000000e+00 | 2.800000e+01 | Inf
485.67/485.89 c 486s|610000 |312769 | 3634k| 6.0 | 186M| 62 | 8 | 198 | 10 | 198 | 22 | 21 | 25k| 12k| 0.000000e+00 | 2.800000e+01 | Inf
492.47/492.69 c 493s|620000 |316875 | 3689k| 6.0 | 189M| 62 | 8 | 198 | 10 | 198 | 22 | 21 | 25k| 12k| 0.000000e+00 | 2.800000e+01 | Inf
499.18/499.38 c 499s|630000 |320939 | 3743k| 5.9 | 192M| 62 | 8 | 198 | 8 | 198 | 22 | 21 | 26k| 12k| 0.000000e+00 | 2.800000e+01 | Inf
506.07/506.21 c 506s|640000 |325270 | 3798k| 5.9 | 195M| 62 | 8 | 198 | 11 | 198 | 22 | 21 | 26k| 13k| 0.000000e+00 | 2.800000e+01 | Inf
512.56/512.73 c 513s|650000 |329081 | 3851k| 5.9 | 198M| 62 | - | 198 | 8 | 198 | 22 | 21 | 26k| 13k| 0.000000e+00 | 2.800000e+01 | Inf
519.17/519.31 c 519s|660000 |333041 | 3905k| 5.9 | 201M| 62 | 8 | 198 | 8 | 198 | 22 | 21 | 27k| 13k| 0.000000e+00 | 2.800000e+01 | Inf
525.87/526.03 c 526s|670000 |336931 | 3960k| 5.9 | 204M| 62 | 8 | 198 | 9 | 198 | 22 | 21 | 27k| 13k| 0.000000e+00 | 2.800000e+01 | Inf
532.46/532.67 c 533s|680000 |340871 | 4013k| 5.9 | 206M| 62 | 8 | 198 | 8 | 198 | 22 | 21 | 28k| 13k| 0.000000e+00 | 2.800000e+01 | Inf
539.06/539.23 c 539s|690000 |344608 | 4068k| 5.9 | 209M| 62 | 8 | 198 | 8 | 198 | 22 | 21 | 28k| 13k| 0.000000e+00 | 2.800000e+01 | Inf
545.86/546.02 c 546s|700000 |349071 | 4123k| 5.9 | 212M| 62 | - | 198 | 8 | 198 | 22 | 21 | 29k| 13k| 0.000000e+00 | 2.800000e+01 | Inf
552.46/552.63 c 553s|710000 |353006 | 4177k| 5.9 | 215M| 62 | - | 198 | 10 | 198 | 22 | 21 | 29k| 13k| 0.000000e+00 | 2.800000e+01 | Inf
559.16/559.31 c 559s|720000 |356874 | 4232k| 5.9 | 217M| 62 | - | 198 | 8 | 0 | 0 | 21 | 29k| 13k| 0.000000e+00 | 2.800000e+01 | Inf
566.15/566.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
566.15/566.32 c 566s|730000 |361461 | 4288k| 5.9 | 221M| 62 | 8 | 198 | 8 | 198 | 22 | 21 | 30k| 13k| 0.000000e+00 | 2.800000e+01 | Inf
572.56/572.77 c 573s|740000 |364976 | 4340k| 5.9 | 223M| 62 | 8 | 198 | 8 | 198 | 22 | 21 | 30k| 14k| 0.000000e+00 | 2.800000e+01 | Inf
579.05/579.21 c 579s|750000 |368406 | 4393k| 5.9 | 226M| 63 | - | 198 | 9 | 0 | 0 | 21 | 30k| 14k| 0.000000e+00 | 2.800000e+01 | Inf
585.55/585.76 c 586s|760000 |372004 | 4447k| 5.9 | 228M| 63 | - | 198 | 10 | 198 | 22 | 21 | 31k| 14k| 0.000000e+00 | 2.800000e+01 | Inf
592.05/592.22 c 592s|770000 |375517 | 4500k| 5.8 | 231M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 31k| 14k| 0.000000e+00 | 2.800000e+01 | Inf
599.55/599.77 c 600s|780000 |380541 | 4559k| 5.8 | 234M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 32k| 14k| 0.000000e+00 | 2.800000e+01 | Inf
607.25/607.40 c 607s|790000 |386311 | 4619k| 5.8 | 237M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 32k| 14k| 0.000000e+00 | 2.800000e+01 | Inf
614.24/614.44 c 614s|800000 |391178 | 4676k| 5.8 | 240M| 63 | - | 198 | 9 | 198 | 22 | 21 | 33k| 14k| 0.000000e+00 | 2.800000e+01 | Inf
621.15/621.36 c 621s|810000 |395614 | 4732k| 5.8 | 243M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 33k| 14k| 0.000000e+00 | 2.800000e+01 | Inf
627.95/628.19 c 628s|820000 |400077 | 4787k| 5.8 | 246M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 33k| 14k| 0.000000e+00 | 2.800000e+01 | Inf
634.54/634.77 c 635s|830000 |403992 | 4840k| 5.8 | 249M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 34k| 14k| 0.000000e+00 | 2.800000e+01 | Inf
641.15/641.36 c 641s|840000 |408201 | 4894k| 5.8 | 252M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 34k| 14k| 0.000000e+00 | 2.800000e+01 | Inf
647.64/647.89 c 648s|850000 |412374 | 4947k| 5.8 | 255M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 35k| 15k| 0.000000e+00 | 2.800000e+01 | Inf
654.13/654.37 c 654s|860000 |416104 | 4999k| 5.8 | 257M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 35k| 15k| 0.000000e+00 | 2.800000e+01 | Inf
660.73/660.94 c 661s|870000 |419847 | 5053k| 5.8 | 260M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 36k| 15k| 0.000000e+00 | 2.800000e+01 | Inf
667.23/667.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
667.23/667.41 c 667s|880000 |423668 | 5105k| 5.8 | 263M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 36k| 15k| 0.000000e+00 | 2.800000e+01 | Inf
673.82/674.04 c 674s|890000 |427698 | 5159k| 5.8 | 265M| 63 | 8 | 198 | 11 | 198 | 22 | 21 | 36k| 15k| 0.000000e+00 | 2.800000e+01 | Inf
680.22/680.44 c 680s|900000 |431457 | 5212k| 5.8 | 268M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 37k| 15k| 0.000000e+00 | 2.800000e+01 | Inf
686.72/686.92 c 687s|910000 |434890 | 5264k| 5.8 | 270M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 37k| 15k| 0.000000e+00 | 2.800000e+01 | Inf
693.22/693.41 c 693s|920000 |438497 | 5317k| 5.8 | 273M| 63 | 8 | 198 | 10 | 198 | 22 | 21 | 38k| 15k| 0.000000e+00 | 2.800000e+01 | Inf
700.02/700.20 c 700s|930000 |442441 | 5372k| 5.8 | 276M| 63 | - | 198 | 8 | 198 | 22 | 21 | 38k| 15k| 0.000000e+00 | 2.800000e+01 | Inf
707.52/707.73 c 708s|940000 |448117 | 5432k| 5.8 | 279M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 38k| 15k| 0.000000e+00 | 2.800000e+01 | Inf
714.22/714.41 c 714s|950000 |452442 | 5487k| 5.8 | 282M| 63 | - | 198 | 8 | 198 | 22 | 21 | 39k| 15k| 0.000000e+00 | 2.800000e+01 | Inf
720.81/721.03 c 721s|960000 |456443 | 5541k| 5.8 | 284M| 63 | - | 198 | 8 | 198 | 22 | 21 | 39k| 15k| 0.000000e+00 | 2.800000e+01 | Inf
727.42/727.62 c 728s|970000 |460095 | 5594k| 5.8 | 287M| 63 | - | 198 | 8 | 198 | 22 | 21 | 40k| 16k| 0.000000e+00 | 2.800000e+01 | Inf
734.02/734.22 c 734s|980000 |463797 | 5648k| 5.8 | 290M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 40k| 16k| 0.000000e+00 | 2.800000e+01 | Inf
740.41/740.65 c 741s|990000 |466988 | 5701k| 5.8 | 292M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 40k| 16k| 0.000000e+00 | 2.800000e+01 | Inf
747.51/747.73 c 748s| 1000k|471331 | 5758k| 5.8 | 295M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 41k| 16k| 0.000000e+00 | 2.800000e+01 | Inf
754.32/754.58 c 755s| 1010k|475291 | 5815k| 5.8 | 298M| 63 | - | 198 | 15 | 0 | 0 | 21 | 41k| 16k| 0.000000e+00 | 2.800000e+01 | Inf
761.81/762.09 c 762s| 1020k|480428 | 5874k| 5.8 | 301M| 63 | - | 198 | 11 | 0 | 0 | 21 | 42k| 16k| 0.000000e+00 | 2.800000e+01 | Inf
769.10/769.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
769.10/769.30 c 769s| 1030k|485453 | 5932k| 5.8 | 304M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 42k| 16k| 0.000000e+00 | 2.800000e+01 | Inf
776.11/776.33 c 776s| 1040k|489942 | 5988k| 5.8 | 307M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 42k| 16k| 0.000000e+00 | 2.800000e+01 | Inf
782.70/782.92 c 783s| 1050k|493731 | 6042k| 5.8 | 310M| 63 | - | 198 | 10 | 0 | 0 | 21 | 43k| 16k| 0.000000e+00 | 2.800000e+01 | Inf
789.61/789.83 c 790s| 1060k|498069 | 6099k| 5.8 | 313M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 43k| 16k| 0.000000e+00 | 2.800000e+01 | Inf
796.40/796.67 c 797s| 1070k|502137 | 6154k| 5.8 | 315M| 63 | - | 198 | 9 | 198 | 22 | 21 | 43k| 16k| 0.000000e+00 | 2.800000e+01 | Inf
803.50/803.75 c 804s| 1080k|506964 | 6211k| 5.8 | 318M| 63 | - | 198 | 8 | 198 | 22 | 21 | 44k| 16k| 0.000000e+00 | 2.800000e+01 | Inf
810.40/810.62 c 811s| 1090k|511290 | 6267k| 5.7 | 321M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 44k| 16k| 0.000000e+00 | 2.800000e+01 | Inf
817.00/817.29 c 817s| 1100k|515192 | 6321k| 5.7 | 324M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 45k| 17k| 0.000000e+00 | 2.800000e+01 | Inf
823.60/823.87 c 824s| 1110k|518787 | 6375k| 5.7 | 327M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 45k| 17k| 0.000000e+00 | 2.800000e+01 | Inf
830.20/830.44 c 830s| 1120k|522307 | 6429k| 5.7 | 329M| 63 | - | 198 | 9 | 198 | 22 | 21 | 45k| 17k| 0.000000e+00 | 2.800000e+01 | Inf
836.80/837.04 c 837s| 1130k|525714 | 6483k| 5.7 | 332M| 63 | - | 198 | 9 | 198 | 22 | 21 | 46k| 17k| 0.000000e+00 | 2.800000e+01 | Inf
843.39/843.63 c 844s| 1140k|529356 | 6538k| 5.7 | 334M| 63 | - | 198 | 10 | 198 | 22 | 21 | 46k| 17k| 0.000000e+00 | 2.800000e+01 | Inf
849.78/850.08 c 850s| 1150k|532505 | 6592k| 5.7 | 337M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 46k| 17k| 0.000000e+00 | 2.800000e+01 | Inf
856.28/856.55 c 857s| 1160k|535569 | 6645k| 5.7 | 340M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 47k| 17k| 0.000000e+00 | 2.800000e+01 | Inf
862.78/863.09 c 863s| 1170k|538901 | 6699k| 5.7 | 342M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 47k| 17k| 0.000000e+00 | 2.800000e+01 | Inf
869.28/869.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
869.28/869.59 c 870s| 1180k|542430 | 6751k| 5.7 | 345M| 63 | 8 | 198 | 10 | 198 | 22 | 21 | 47k| 17k| 0.000000e+00 | 2.800000e+01 | Inf
875.88/876.14 c 876s| 1190k|545889 | 6804k| 5.7 | 347M| 63 | - | 198 | 8 | 198 | 22 | 21 | 48k| 17k| 0.000000e+00 | 2.800000e+01 | Inf
882.37/882.69 c 883s| 1200k|549296 | 6859k| 5.7 | 350M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 48k| 17k| 0.000000e+00 | 2.800000e+01 | Inf
888.97/889.22 c 889s| 1210k|552598 | 6912k| 5.7 | 353M| 63 | - | 198 | 8 | 0 | 0 | 21 | 49k| 17k| 0.000000e+00 | 2.800000e+01 | Inf
895.38/895.63 c 896s| 1220k|555981 | 6964k| 5.7 | 355M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 49k| 18k| 0.000000e+00 | 2.800000e+01 | Inf
902.07/902.31 c 902s| 1230k|560072 | 7018k| 5.7 | 358M| 63 | - | 198 | 9 | 198 | 22 | 21 | 49k| 18k| 0.000000e+00 | 2.800000e+01 | Inf
908.57/908.81 c 909s| 1240k|563453 | 7071k| 5.7 | 360M| 63 | - | 198 | 9 | 198 | 22 | 21 | 50k| 18k| 0.000000e+00 | 2.800000e+01 | Inf
914.47/914.74 o 26
914.47/914.74 c * 915s| 1249k|560097 | 7120k| 5.7 | 353M| 63 | - | 198 | 10 | 198 | 22 | 21 | 50k| 18k| 0.000000e+00 | 2.600000e+01 | Inf
915.07/915.35 c 915s| 1250k|560461 | 7124k| 5.7 | 353M| 63 | 8 | 198 | 10 | 198 | 22 | 21 | 50k| 18k| 0.000000e+00 | 2.600000e+01 | Inf
921.67/921.97 c 922s| 1260k|563936 | 7177k| 5.7 | 356M| 63 | - | 198 | 12 | 198 | 22 | 21 | 51k| 18k| 0.000000e+00 | 2.600000e+01 | Inf
930.47/930.79 c 931s| 1270k|567038 | 7228k| 5.7 | 358M| 63 | 8 | 198 | 10 | 198 | 22 | 21 | 51k| 18k| 0.000000e+00 | 2.600000e+01 | Inf
936.76/937.09 c 937s| 1280k|569930 | 7281k| 5.7 | 361M| 63 | 8 | 198 | 10 | 198 | 22 | 21 | 51k| 18k| 0.000000e+00 | 2.600000e+01 | Inf
943.16/943.44 c 943s| 1290k|573467 | 7333k| 5.7 | 363M| 63 | - | 198 | 10 | 198 | 22 | 21 | 52k| 18k| 0.000000e+00 | 2.600000e+01 | Inf
949.26/949.55 c 950s| 1300k|576135 | 7384k| 5.7 | 366M| 63 | 8 | 198 | 10 | 198 | 22 | 21 | 52k| 18k| 0.000000e+00 | 2.600000e+01 | Inf
955.46/955.79 c 956s| 1310k|579317 | 7435k| 5.7 | 368M| 63 | 8 | 198 | 11 | 198 | 22 | 21 | 52k| 18k| 0.000000e+00 | 2.600000e+01 | Inf
961.66/961.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
961.66/961.94 c 962s| 1320k|582007 | 7485k| 5.7 | 371M| 63 | - | 198 | 9 | 0 | 0 | 21 | 53k| 18k| 0.000000e+00 | 2.600000e+01 | Inf
968.06/968.36 c 968s| 1330k|585548 | 7538k| 5.7 | 373M| 63 | - | 198 | 9 | 198 | 22 | 21 | 53k| 18k| 0.000000e+00 | 2.600000e+01 | Inf
974.36/974.64 c 975s| 1340k|588920 | 7590k| 5.7 | 376M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 54k| 18k| 0.000000e+00 | 2.600000e+01 | Inf
980.56/980.82 c 981s| 1350k|591875 | 7641k| 5.7 | 378M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 54k| 19k| 0.000000e+00 | 2.600000e+01 | Inf
986.55/986.86 c 987s| 1360k|594371 | 7691k| 5.7 | 380M| 63 | 8 | 198 | 10 | 198 | 22 | 21 | 54k| 19k| 0.000000e+00 | 2.600000e+01 | Inf
992.75/993.03 c 993s| 1370k|597462 | 7742k| 5.7 | 383M| 63 | - | 198 | 10 | 198 | 22 | 21 | 55k| 19k| 0.000000e+00 | 2.600000e+01 | Inf
999.05/999.37 c 999s| 1380k|600498 | 7794k| 5.6 | 385M| 63 | 8 | 198 | 10 | 198 | 22 | 21 | 55k| 19k| 0.000000e+00 | 2.600000e+01 | Inf
1005.45/1005.78 c 1006s| 1390k|603666 | 7847k| 5.6 | 388M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 55k| 19k| 0.000000e+00 | 2.600000e+01 | Inf
1011.65/1012.00 c 1012s| 1400k|606245 | 7900k| 5.6 | 390M| 63 | - | 198 | 9 | 198 | 22 | 21 | 56k| 19k| 0.000000e+00 | 2.600000e+01 | Inf
1017.94/1018.20 c 1018s| 1410k|609152 | 7951k| 5.6 | 392M| 63 | - | 198 | 9 | 198 | 22 | 21 | 56k| 19k| 0.000000e+00 | 2.600000e+01 | Inf
1023.94/1024.28 c 1024s| 1420k|611890 | 8001k| 5.6 | 395M| 63 | 8 | 198 | 13 | 198 | 22 | 21 | 57k| 19k| 0.000000e+00 | 2.600000e+01 | Inf
1030.14/1030.42 c 1030s| 1430k|614842 | 8052k| 5.6 | 397M| 63 | 8 | 198 | 11 | 198 | 22 | 21 | 57k| 19k| 0.000000e+00 | 2.600000e+01 | Inf
1036.14/1036.49 c 1036s| 1440k|617804 | 8104k| 5.6 | 399M| 63 | - | 198 | 8 | 0 | 0 | 21 | 57k| 19k| 0.000000e+00 | 2.600000e+01 | Inf
1042.24/1042.51 c 1042s| 1450k|620455 | 8154k| 5.6 | 402M| 63 | 8 | 198 | 10 | 198 | 22 | 21 | 58k| 19k| 0.000000e+00 | 2.600000e+01 | Inf
1047.73/1048.07 o 24
1047.73/1048.07 c *1048s| 1458k|614546 | 8199k| 5.6 | 392M| 63 | - | 198 | 9 | 198 | 22 | 21 | 58k| 19k| 0.000000e+00 | 2.400000e+01 | Inf
1047.83/1048.14 o 22
1047.83/1048.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1047.83/1048.14 c *1048s| 1458k|604372 | 8199k| 5.6 | 379M| 63 | - | 198 | 9 | 198 | 22 | 21 | 58k| 19k| 0.000000e+00 | 2.200000e+01 | Inf
1048.54/1048.88 c 1049s| 1460k|604772 | 8205k| 5.6 | 380M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 58k| 19k| 0.000000e+00 | 2.200000e+01 | Inf
1054.64/1054.96 c 1055s| 1470k|607107 | 8253k| 5.6 | 382M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 59k| 19k| 0.000000e+00 | 2.200000e+01 | Inf
1060.83/1061.19 c 1061s| 1480k|610084 | 8302k| 5.6 | 384M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 59k| 20k| 0.000000e+00 | 2.200000e+01 | Inf
1067.03/1067.39 c 1067s| 1490k|612807 | 8349k| 5.6 | 386M| 63 | - | 198 | 9 | 0 | 0 | 21 | 59k| 20k| 0.000000e+00 | 2.200000e+01 | Inf
1073.13/1073.40 c 1073s| 1500k|615181 | 8397k| 5.6 | 388M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 60k| 20k| 0.000000e+00 | 2.200000e+01 | Inf
1079.13/1079.49 c 1079s| 1510k|617436 | 8446k| 5.6 | 390M| 63 | - | 198 | 11 | 198 | 22 | 21 | 60k| 20k| 0.000000e+00 | 2.200000e+01 | Inf
1085.34/1085.62 c 1086s| 1520k|620230 | 8495k| 5.6 | 392M| 63 | 8 | 198 | 11 | 198 | 22 | 21 | 60k| 20k| 0.000000e+00 | 2.200000e+01 | Inf
1091.33/1091.65 c 1092s| 1530k|622881 | 8543k| 5.6 | 394M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 61k| 20k| 0.000000e+00 | 2.200000e+01 | Inf
1097.43/1097.72 c 1098s| 1540k|625799 | 8591k| 5.6 | 396M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 61k| 20k| 0.000000e+00 | 2.200000e+01 | Inf
1103.32/1103.66 c 1104s| 1550k|628347 | 8639k| 5.6 | 399M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 62k| 20k| 0.000000e+00 | 2.200000e+01 | Inf
1109.53/1109.87 c 1110s| 1560k|631126 | 8689k| 5.6 | 401M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 62k| 20k| 0.000000e+00 | 2.200000e+01 | Inf
1115.52/1115.84 c 1116s| 1570k|633744 | 8736k| 5.6 | 403M| 63 | - | 198 | 8 | 198 | 22 | 21 | 62k| 20k| 0.000000e+00 | 2.200000e+01 | Inf
1121.42/1121.74 c 1122s| 1580k|635885 | 8783k| 5.6 | 405M| 63 | - | 198 | 8 | 198 | 22 | 21 | 63k| 20k| 0.000000e+00 | 2.200000e+01 | Inf
1127.42/1127.71 c 1128s| 1590k|638399 | 8831k| 5.6 | 407M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 63k| 20k| 0.000000e+00 | 2.200000e+01 | Inf
1133.32/1133.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1133.32/1133.66 c 1134s| 1600k|640657 | 8879k| 5.5 | 409M| 63 | - | 198 | 8 | 198 | 22 | 21 | 63k| 20k| 0.000000e+00 | 2.200000e+01 | Inf
1139.33/1139.65 c 1140s| 1610k|642894 | 8927k| 5.5 | 411M| 63 | - | 198 | 8 | 198 | 22 | 21 | 64k| 21k| 0.000000e+00 | 2.200000e+01 | Inf
1145.22/1145.59 c 1146s| 1620k|645166 | 8974k| 5.5 | 413M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 64k| 21k| 0.000000e+00 | 2.200000e+01 | Inf
1151.21/1151.54 c 1152s| 1630k|647517 | 9022k| 5.5 | 415M| 63 | - | 198 | 8 | 0 | 0 | 21 | 65k| 21k| 0.000000e+00 | 2.200000e+01 | Inf
1157.21/1157.51 c 1158s| 1640k|649927 | 9069k| 5.5 | 417M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 65k| 21k| 0.000000e+00 | 2.200000e+01 | Inf
1163.11/1163.45 c 1163s| 1650k|652304 | 9116k| 5.5 | 419M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 65k| 21k| 0.000000e+00 | 2.200000e+01 | Inf
1169.11/1169.49 c 1169s| 1660k|654666 | 9165k| 5.5 | 422M| 63 | - | 198 | 9 | 198 | 22 | 21 | 66k| 21k| 0.000000e+00 | 2.200000e+01 | Inf
1175.10/1175.43 c 1175s| 1670k|656683 | 9213k| 5.5 | 423M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 66k| 21k| 0.000000e+00 | 2.200000e+01 | Inf
1181.02/1181.33 c 1181s| 1680k|658931 | 9261k| 5.5 | 425M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 67k| 21k| 0.000000e+00 | 2.200000e+01 | Inf
1186.90/1187.27 c 1187s| 1690k|661057 | 9308k| 5.5 | 427M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 67k| 21k| 0.000000e+00 | 2.200000e+01 | Inf
1192.80/1193.20 c 1193s| 1700k|663287 | 9355k| 5.5 | 429M| 63 | 8 | 198 | 10 | 198 | 22 | 21 | 67k| 21k| 0.000000e+00 | 2.200000e+01 | Inf
1198.80/1199.13 c 1199s| 1710k|665510 | 9402k| 5.5 | 431M| 63 | - | 198 | 8 | 198 | 22 | 21 | 68k| 21k| 0.000000e+00 | 2.200000e+01 | Inf
1204.80/1205.11 c 1205s| 1720k|667671 | 9451k| 5.5 | 433M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 68k| 21k| 0.000000e+00 | 2.200000e+01 | Inf
1210.70/1211.03 c 1211s| 1730k|669865 | 9498k| 5.5 | 435M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 69k| 21k| 0.000000e+00 | 2.200000e+01 | Inf
1216.50/1216.87 c 1217s| 1740k|671926 | 9545k| 5.5 | 437M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 69k| 21k| 0.000000e+00 | 2.200000e+01 | Inf
1222.50/1222.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1222.50/1222.86 c 1223s| 1750k|674567 | 9593k| 5.5 | 439M| 63 | - | 198 | 9 | 198 | 22 | 21 | 69k| 22k| 0.000000e+00 | 2.200000e+01 | Inf
1228.49/1228.86 c 1229s| 1760k|676699 | 9641k| 5.5 | 441M| 63 | - | 198 | 8 | 198 | 22 | 21 | 70k| 22k| 0.000000e+00 | 2.200000e+01 | Inf
1234.69/1235.01 c 1235s| 1770k|679599 | 9691k| 5.5 | 444M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 70k| 22k| 0.000000e+00 | 2.200000e+01 | Inf
1240.89/1241.24 c 1241s| 1780k|682798 | 9741k| 5.5 | 446M| 63 | - | 198 | 8 | 0 | 0 | 21 | 70k| 22k| 0.000000e+00 | 2.200000e+01 | Inf
1246.79/1247.19 c 1247s| 1790k|685734 | 9789k| 5.5 | 448M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 71k| 22k| 0.000000e+00 | 2.200000e+01 | Inf
1252.79/1253.10 c 1253s| 1800k|687812 | 9836k| 5.5 | 450M| 63 | - | 198 | 8 | 198 | 22 | 21 | 71k| 22k| 0.000000e+00 | 2.200000e+01 | Inf
1258.69/1259.05 c 1259s| 1810k|690120 | 9883k| 5.5 | 452M| 63 | - | 198 | 8 | 198 | 22 | 21 | 72k| 22k| 0.000000e+00 | 2.200000e+01 | Inf
1264.59/1264.91 c 1265s| 1820k|692053 | 9931k| 5.5 | 454M| 63 | - | 198 | 8 | 198 | 22 | 21 | 72k| 22k| 0.000000e+00 | 2.200000e+01 | Inf
1270.58/1270.95 c 1271s| 1830k|694254 | 9980k| 5.5 | 456M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 72k| 22k| 0.000000e+00 | 2.200000e+01 | Inf
1276.49/1276.81 c 1277s| 1840k|696412 | 10026k| 5.4 | 458M| 63 | - | 198 | 8 | 198 | 22 | 21 | 73k| 22k| 0.000000e+00 | 2.200000e+01 | Inf
1282.48/1282.88 c 1283s| 1850k|698896 | 10077k| 5.4 | 460M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 73k| 22k| 0.000000e+00 | 2.200000e+01 | Inf
1288.57/1288.94 c 1289s| 1860k|701423 | 10126k| 5.4 | 462M| 63 | - | 198 | 8 | 198 | 22 | 21 | 73k| 22k| 0.000000e+00 | 2.200000e+01 | Inf
1294.68/1295.00 c 1295s| 1870k|704092 | 10174k| 5.4 | 464M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 74k| 22k| 0.000000e+00 | 2.200000e+01 | Inf
1300.48/1300.87 c 1301s| 1880k|706211 | 10221k| 5.4 | 466M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 74k| 23k| 0.000000e+00 | 2.200000e+01 | Inf
1306.78/1307.14 c 1307s| 1890k|709578 | 10271k| 5.4 | 469M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 74k| 23k| 0.000000e+00 | 2.200000e+01 | Inf
1312.67/1313.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1312.67/1313.09 c 1313s| 1900k|712344 | 10318k| 5.4 | 471M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 75k| 23k| 0.000000e+00 | 2.200000e+01 | Inf
1318.68/1319.00 c 1319s| 1910k|714565 | 10367k| 5.4 | 473M| 63 | - | 198 | 8 | 198 | 22 | 21 | 75k| 23k| 0.000000e+00 | 2.200000e+01 | Inf
1324.97/1325.32 c 1325s| 1920k|717768 | 10417k| 5.4 | 475M| 63 | - | 198 | 8 | 198 | 22 | 21 | 76k| 23k| 0.000000e+00 | 2.200000e+01 | Inf
1330.87/1331.22 c 1331s| 1930k|720130 | 10464k| 5.4 | 477M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 76k| 23k| 0.000000e+00 | 2.200000e+01 | Inf
1336.97/1337.38 c 1337s| 1940k|722951 | 10512k| 5.4 | 479M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 76k| 23k| 0.000000e+00 | 2.200000e+01 | Inf
1343.46/1343.82 c 1344s| 1950k|726961 | 10563k| 5.4 | 482M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 76k| 23k| 0.000000e+00 | 2.200000e+01 | Inf
1349.46/1349.86 c 1350s| 1960k|730068 | 10612k| 5.4 | 484M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 77k| 23k| 0.000000e+00 | 2.200000e+01 | Inf
1355.36/1355.79 c 1356s| 1970k|732341 | 10659k| 5.4 | 486M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 77k| 23k| 0.000000e+00 | 2.200000e+01 | Inf
1361.36/1361.76 c 1362s| 1980k|734611 | 10706k| 5.4 | 488M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 78k| 23k| 0.000000e+00 | 2.200000e+01 | Inf
1367.56/1367.91 c 1368s| 1990k|737742 | 10756k| 5.4 | 491M| 63 | - | 198 | 8 | 198 | 22 | 21 | 78k| 23k| 0.000000e+00 | 2.200000e+01 | Inf
1373.66/1374.02 c 1374s| 2000k|740414 | 10804k| 5.4 | 493M| 63 | - | 198 | 8 | 198 | 22 | 21 | 78k| 23k| 0.000000e+00 | 2.200000e+01 | Inf
1379.96/1380.35 c 1380s| 2010k|743561 | 10855k| 5.4 | 495M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 78k| 23k| 0.000000e+00 | 2.200000e+01 | Inf
1386.16/1386.55 c 1387s| 2020k|746734 | 10904k| 5.4 | 498M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 79k| 23k| 0.000000e+00 | 2.200000e+01 | Inf
1392.36/1392.75 c 1393s| 2030k|749673 | 10953k| 5.4 | 500M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 79k| 23k| 0.000000e+00 | 2.200000e+01 | Inf
1398.95/1399.38 c 1399s| 2040k|753568 | 11006k| 5.4 | 502M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 79k| 24k| 0.000000e+00 | 2.200000e+01 | Inf
1405.06/1405.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1405.06/1405.45 c 1405s| 2050k|756328 | 11054k| 5.4 | 505M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 80k| 24k| 0.000000e+00 | 2.200000e+01 | Inf
1411.25/1411.61 c 1412s| 2060k|759111 | 11102k| 5.4 | 507M| 63 | - | 198 | 8 | 198 | 22 | 21 | 80k| 24k| 0.000000e+00 | 2.200000e+01 | Inf
1417.65/1418.09 c 1418s| 2070k|762570 | 11153k| 5.4 | 509M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 80k| 24k| 0.000000e+00 | 2.200000e+01 | Inf
1423.75/1424.19 c 1424s| 2080k|765338 | 11202k| 5.4 | 511M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 81k| 24k| 0.000000e+00 | 2.200000e+01 | Inf
1429.74/1430.19 c 1430s| 2090k|768147 | 11249k| 5.4 | 514M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 81k| 24k| 0.000000e+00 | 2.200000e+01 | Inf
1436.15/1436.55 c 1437s| 2100k|771505 | 11299k| 5.4 | 516M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 82k| 24k| 0.000000e+00 | 2.200000e+01 | Inf
1442.75/1443.19 c 1443s| 2110k|775324 | 11351k| 5.4 | 519M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 82k| 24k| 0.000000e+00 | 2.200000e+01 | Inf
1449.14/1449.59 c 1450s| 2120k|778900 | 11402k| 5.4 | 521M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 82k| 24k| 0.000000e+00 | 2.200000e+01 | Inf
1455.64/1456.04 c 1456s| 2130k|782306 | 11453k| 5.4 | 524M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 82k| 24k| 0.000000e+00 | 2.200000e+01 | Inf
1457.64/1458.01 o 21
1457.64/1458.01 c *1458s| 2133k|776700 | 11469k| 5.4 | 516M| 63 | - | 198 | 10 | 198 | 22 | 21 | 83k| 24k| 0.000000e+00 | 2.100000e+01 | Inf
1461.83/1462.28 c 1462s| 2140k|778301 | 11502k| 5.4 | 517M| 63 | - | 198 | 9 | 198 | 22 | 21 | 83k| 24k| 0.000000e+00 | 2.100000e+01 | Inf
1468.05/1468.43 c 1468s| 2150k|780705 | 11552k| 5.4 | 519M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 83k| 24k| 0.000000e+00 | 2.100000e+01 | Inf
1474.13/1474.50 c 1474s| 2160k|782927 | 11600k| 5.4 | 521M| 63 | - | 198 | 8 | 0 | 0 | 21 | 84k| 24k| 0.000000e+00 | 2.100000e+01 | Inf
1480.24/1480.64 c 1481s| 2170k|785516 | 11651k| 5.4 | 523M| 63 | - | 198 | 10 | 0 | 0 | 21 | 84k| 24k| 0.000000e+00 | 2.100000e+01 | Inf
1486.13/1486.54 o 19
1486.13/1486.54 c *1487s| 2179k|773055 | 11697k| 5.4 | 507M| 63 | - | 198 | 10 | 198 | 22 | 21 | 84k| 25k| 0.000000e+00 | 1.900000e+01 | Inf
1486.23/1486.64 o 17
1486.23/1486.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1486.23/1486.64 c *1487s| 2179k|755147 | 11697k| 5.4 | 486M| 63 | - | 198 | 10 | 198 | 22 | 21 | 84k| 25k| 0.000000e+00 | 1.700000e+01 | Inf
1486.53/1486.96 c 1487s| 2180k|755206 | 11699k| 5.4 | 486M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 84k| 25k| 0.000000e+00 | 1.700000e+01 | Inf
1492.43/1492.85 c 1493s| 2190k|757302 | 11745k| 5.4 | 487M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 84k| 25k| 0.000000e+00 | 1.700000e+01 | Inf
1498.33/1498.77 c 1499s| 2200k|760036 | 11792k| 5.4 | 489M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 85k| 25k| 0.000000e+00 | 1.700000e+01 | Inf
1504.23/1504.61 c 1505s| 2210k|762364 | 11838k| 5.4 | 491M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 85k| 25k| 0.000000e+00 | 1.700000e+01 | Inf
1510.02/1510.48 c 1510s| 2220k|764500 | 11883k| 5.4 | 493M| 63 | - | 198 | 8 | 198 | 22 | 21 | 85k| 25k| 0.000000e+00 | 1.700000e+01 | Inf
1516.02/1516.44 c 1516s| 2230k|766576 | 11930k| 5.3 | 495M| 63 | - | 198 | 8 | 198 | 22 | 21 | 86k| 25k| 0.000000e+00 | 1.700000e+01 | Inf
1522.03/1522.45 c 1522s| 2240k|769319 | 11976k| 5.3 | 496M| 63 | - | 198 | 8 | 198 | 22 | 21 | 86k| 25k| 0.000000e+00 | 1.700000e+01 | Inf
1527.92/1528.31 c 1528s| 2250k|771685 | 12021k| 5.3 | 498M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 86k| 25k| 0.000000e+00 | 1.700000e+01 | Inf
1533.72/1534.15 c 1534s| 2260k|773486 | 12066k| 5.3 | 500M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 87k| 25k| 0.000000e+00 | 1.700000e+01 | Inf
1539.62/1540.02 c 1540s| 2270k|775558 | 12111k| 5.3 | 502M| 63 | - | 198 | 8 | 0 | 0 | 21 | 87k| 25k| 0.000000e+00 | 1.700000e+01 | Inf
1545.32/1545.77 c 1546s| 2280k|777423 | 12155k| 5.3 | 503M| 63 | - | 198 | 10 | 198 | 22 | 21 | 87k| 25k| 0.000000e+00 | 1.700000e+01 | Inf
1551.12/1551.54 c 1552s| 2290k|779280 | 12200k| 5.3 | 505M| 63 | 8 | 198 | 10 | 198 | 22 | 21 | 88k| 25k| 0.000000e+00 | 1.700000e+01 | Inf
1556.91/1557.36 c 1557s| 2300k|781143 | 12245k| 5.3 | 506M| 63 | 8 | 198 | 11 | 198 | 22 | 21 | 88k| 25k| 0.000000e+00 | 1.700000e+01 | Inf
1562.91/1563.31 c 1563s| 2310k|783441 | 12291k| 5.3 | 508M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 88k| 25k| 0.000000e+00 | 1.700000e+01 | Inf
1568.71/1569.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1568.71/1569.19 c 1569s| 2320k|785863 | 12337k| 5.3 | 510M| 63 | - | 198 | 8 | 198 | 22 | 21 | 89k| 25k| 0.000000e+00 | 1.700000e+01 | Inf
1574.72/1575.11 c 1575s| 2330k|788195 | 12384k| 5.3 | 512M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 89k| 26k| 0.000000e+00 | 1.700000e+01 | Inf
1580.61/1581.04 c 1581s| 2340k|790622 | 12429k| 5.3 | 514M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 89k| 26k| 0.000000e+00 | 1.700000e+01 | Inf
1586.51/1586.98 c 1587s| 2350k|793227 | 12475k| 5.3 | 515M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 90k| 26k| 0.000000e+00 | 1.700000e+01 | Inf
1592.41/1592.87 c 1593s| 2360k|795693 | 12520k| 5.3 | 517M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 90k| 26k| 0.000000e+00 | 1.700000e+01 | Inf
1598.30/1598.75 c 1599s| 2370k|798302 | 12566k| 5.3 | 519M| 63 | - | 198 | 8 | 198 | 22 | 21 | 90k| 26k| 0.000000e+00 | 1.700000e+01 | Inf
1604.20/1604.61 c 1605s| 2380k|800845 | 12610k| 5.3 | 521M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 91k| 26k| 0.000000e+00 | 1.700000e+01 | Inf
1610.10/1610.53 c 1611s| 2390k|803280 | 12656k| 5.3 | 523M| 63 | 8 | 198 | 11 | 198 | 22 | 21 | 91k| 26k| 0.000000e+00 | 1.700000e+01 | Inf
1615.80/1616.30 c 1616s| 2400k|805388 | 12701k| 5.3 | 525M| 63 | - | 198 | 8 | 0 | 0 | 21 | 91k| 26k| 0.000000e+00 | 1.700000e+01 | Inf
1621.70/1622.12 c 1622s| 2410k|807637 | 12747k| 5.3 | 527M| 63 | 8 | 198 | 10 | 198 | 22 | 21 | 92k| 26k| 0.000000e+00 | 1.700000e+01 | Inf
1627.50/1627.92 c 1628s| 2420k|809746 | 12792k| 5.3 | 528M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 92k| 26k| 0.000000e+00 | 1.700000e+01 | Inf
1633.19/1633.69 c 1634s| 2430k|811688 | 12837k| 5.3 | 530M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 92k| 26k| 0.000000e+00 | 1.700000e+01 | Inf
1638.89/1639.37 c 1639s| 2440k|813540 | 12881k| 5.3 | 532M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 93k| 26k| 0.000000e+00 | 1.700000e+01 | Inf
1644.69/1645.17 c 1645s| 2450k|815768 | 12925k| 5.3 | 533M| 63 | - | 198 | 8 | 198 | 22 | 21 | 93k| 26k| 0.000000e+00 | 1.700000e+01 | Inf
1650.49/1650.97 c 1651s| 2460k|818098 | 12969k| 5.3 | 535M| 63 | - | 198 | 9 | 0 | 0 | 21 | 93k| 26k| 0.000000e+00 | 1.700000e+01 | Inf
1656.29/1656.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1656.29/1656.73 c 1657s| 2470k|819930 | 13015k| 5.3 | 537M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 94k| 26k| 0.000000e+00 | 1.700000e+01 | Inf
1662.19/1662.69 c 1663s| 2480k|822161 | 13060k| 5.3 | 538M| 63 | - | 198 | 9 | 198 | 22 | 21 | 94k| 27k| 0.000000e+00 | 1.700000e+01 | Inf
1667.99/1668.43 c 1668s| 2490k|824386 | 13105k| 5.3 | 540M| 63 | - | 198 | 8 | 198 | 22 | 21 | 94k| 27k| 0.000000e+00 | 1.700000e+01 | Inf
1673.69/1674.18 c 1674s| 2500k|826096 | 13149k| 5.3 | 542M| 63 | - | 198 | 9 | 198 | 22 | 21 | 95k| 27k| 0.000000e+00 | 1.700000e+01 | Inf
1679.48/1679.97 c 1680s| 2510k|827855 | 13193k| 5.3 | 543M| 63 | 8 | 198 | 10 | 198 | 22 | 21 | 95k| 27k| 0.000000e+00 | 1.700000e+01 | Inf
1685.38/1685.86 c 1686s| 2520k|830140 | 13239k| 5.3 | 545M| 63 | - | 198 | 11 | 198 | 22 | 21 | 95k| 27k| 0.000000e+00 | 1.700000e+01 | Inf
1691.58/1692.02 c 1692s| 2530k|833240 | 13287k| 5.3 | 547M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 96k| 27k| 0.000000e+00 | 1.700000e+01 | Inf
1697.38/1697.89 c 1698s| 2540k|836013 | 13333k| 5.2 | 549M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 96k| 27k| 0.000000e+00 | 1.700000e+01 | Inf
1703.38/1703.84 c 1704s| 2550k|838587 | 13379k| 5.2 | 551M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 96k| 27k| 0.000000e+00 | 1.700000e+01 | Inf
1709.38/1709.83 c 1710s| 2560k|841191 | 13426k| 5.2 | 553M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 97k| 27k| 0.000000e+00 | 1.700000e+01 | Inf
1715.37/1715.89 c 1716s| 2570k|843931 | 13474k| 5.2 | 555M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 97k| 27k| 0.000000e+00 | 1.700000e+01 | Inf
1721.37/1721.88 c 1722s| 2580k|846534 | 13521k| 5.2 | 557M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 97k| 27k| 0.000000e+00 | 1.700000e+01 | Inf
1727.68/1728.13 c 1728s| 2590k|850074 | 13568k| 5.2 | 559M| 63 | 8 | 198 | 10 | 198 | 22 | 21 | 98k| 27k| 0.000000e+00 | 1.700000e+01 | Inf
1733.57/1734.03 c 1734s| 2600k|852732 | 13614k| 5.2 | 561M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 98k| 27k| 0.000000e+00 | 1.700000e+01 | Inf
1739.37/1739.87 c 1740s| 2610k|855494 | 13660k| 5.2 | 563M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 98k| 27k| 0.000000e+00 | 1.700000e+01 | Inf
1745.17/1745.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1745.17/1745.61 c 1746s| 2620k|857592 | 13705k| 5.2 | 565M| 63 | - | 198 | 9 | 198 | 22 | 21 | 99k| 27k| 0.000000e+00 | 1.700000e+01 | Inf
1751.16/1751.62 c 1752s| 2630k|860252 | 13751k| 5.2 | 567M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 99k| 28k| 0.000000e+00 | 1.700000e+01 | Inf
1757.16/1757.68 c 1758s| 2640k|863155 | 13799k| 5.2 | 569M| 63 | - | 198 | 8 | 198 | 22 | 21 | 99k| 28k| 0.000000e+00 | 1.700000e+01 | Inf
1763.27/1763.76 c 1764s| 2650k|865773 | 13846k| 5.2 | 571M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 100k| 28k| 0.000000e+00 | 1.700000e+01 | Inf
1769.16/1769.65 c 1770s| 2660k|867796 | 13891k| 5.2 | 573M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 100k| 28k| 0.000000e+00 | 1.700000e+01 | Inf
1774.97/1775.44 c 1775s| 2670k|869936 | 13935k| 5.2 | 575M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 101k| 28k| 0.000000e+00 | 1.700000e+01 | Inf
1780.86/1781.37 c 1781s| 2680k|872588 | 13981k| 5.2 | 577M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 101k| 28k| 0.000000e+00 | 1.700000e+01 | Inf
1786.56/1787.08 c 1787s| 2690k|874730 | 14026k| 5.2 | 579M| 63 | - | 198 | 10 | 198 | 22 | 21 | 101k| 28k| 0.000000e+00 | 1.700000e+01 | Inf
1789.56/1790.00 c
1789.56/1790.00 c SCIP Status : solving was interrupted [time limit reached]
1789.56/1790.00 c Solving Time (sec) : 1789.99
1789.56/1790.00 c Solving Nodes : 2695122
1789.56/1790.00 c Primal Bound : +1.70000000000000e+01 (60 solutions)
1789.56/1790.00 c Dual Bound : +0.00000000000000e+00
1789.56/1790.00 c Gap : infinite
1789.56/1790.00 s SATISFIABLE
1789.56/1790.00 v x143 x198 x197 -x196 -x195 -x194 x193 -x192 -x191 -x190 x189 x188 -x187 x186 -x185 x184 -x183 -x182 x181 -x180 x179 -x178 x177
1789.56/1790.00 v -x176 -x175 x174 x173 x172 x171 x170 -x169 -x168 -x167 x166 x165 -x164 x163 -x162 x161 -x160 -x159 -x158 x157 -x156 x155 x154
1789.56/1790.00 v -x153 x152 -x151 x150 -x149 x148 -x147 x146 x145 -x144 x142 x141 -x140 -x139 -x138 x137 -x136 -x135 -x134 x133 x132 -x131 -x130
1789.56/1790.00 v x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 x113 -x112 -x111 -x110 -x109
1789.56/1790.00 v -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 x98 x97 -x96 -x95 -x94 -x93 -x92 x91 -x90 -x89 -x88 -x87 -x86 -x85
1789.56/1790.00 v -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 x74 -x73 -x72 -x71 -x70 -x69 -x68 x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60
1789.56/1790.00 v -x59 x58 x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35
1789.56/1790.00 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
1789.56/1790.00 v -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1789.56/1790.00 c SCIP Status : solving was interrupted [time limit reached]
1789.56/1790.00 c Solving Time : 1789.99
1789.56/1790.00 c Original Problem :
1789.56/1790.00 c Problem name : HOME/instance-2703916-1278562653.opb
1789.56/1790.00 c Variables : 198 (198 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.56/1790.00 c Constraints : 16 initial, 16 maximal
1789.56/1790.00 c Presolved Problem :
1789.56/1790.00 c Problem name : t_HOME/instance-2703916-1278562653.opb
1789.56/1790.00 c Variables : 198 (198 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.56/1790.00 c Constraints : 8 initial, 71 maximal
1789.56/1790.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.56/1790.00 c trivial : 0.00 0 0 0 0 0 0 0 0
1789.56/1790.00 c dualfix : 0.00 0 0 0 0 0 0 0 0
1789.56/1790.00 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.56/1790.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.56/1790.00 c implics : 0.00 0 0 0 0 0 0 0 0
1789.56/1790.00 c probing : 0.02 0 0 0 0 0 0 0 0
1789.56/1790.00 c linear : 0.00 0 0 0 0 0 8 0 0
1789.56/1790.00 c logicor : 0.00 0 0 0 0 0 0 0 0
1789.56/1790.00 c root node : - 48 - - 48 - - - -
1789.56/1790.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.56/1790.00 c integral : 0 0 0 1859981 0 160 7399 0 0 3705586
1789.56/1790.00 c linear : 8+ 7 4869582 0 0 262235 1854288 0 0 0
1789.56/1790.00 c logicor : 0+ 0 147484 0 0 2614 31879 0 0 0
1789.56/1790.00 c countsols : 0 0 0 38 0 0 0 0 0 0
1789.56/1790.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.56/1790.00 c integral : 29.36 0.00 0.00 29.36 0.00
1789.56/1790.00 c linear : 437.06 0.00 437.06 0.00 0.00
1789.56/1790.00 c logicor : 0.54 0.00 0.54 0.00 0.00
1789.56/1790.00 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.56/1790.00 c Propagators : Time Calls Cutoffs DomReds
1789.56/1790.00 c vbounds : 1.93 2 0 0
1789.56/1790.00 c rootredcost : 1.93 46 0 48
1789.56/1790.00 c pseudoobj : 45.06 4872996 3576 365063
1789.56/1790.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.56/1790.00 c propagation : 23.78 265875 96192 116340 72.1 21 38.4 -
1789.56/1790.00 c infeasible LP : 1.26 14774 7931 10611 47.9 0 0.0 0
1789.56/1790.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.56/1790.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.56/1790.00 c pseudo solution : 0.00 8 8 8 2.6 0 0.0 -
1789.56/1790.00 c applied globally : - - - 467 28.3 - - -
1789.56/1790.00 c applied locally : - - - 101424 70.6 - - -
1789.56/1790.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.56/1790.00 c cut pool : 0.00 5 - - 14 - (maximal pool size: 56)
1789.56/1790.00 c redcost : 80.37 2718741 0 16720191 0 0
1789.56/1790.00 c impliedbounds : 0.00 6 0 0 0 0
1789.56/1790.00 c intobj : 0.00 0 0 0 0 0
1789.56/1790.00 c cgmip : 0.00 0 0 0 0 0
1789.56/1790.00 c gomory : 0.01 6 0 0 0 0
1789.56/1790.00 c strongcg : 0.01 6 0 0 26 0
1789.56/1790.00 c cmir : 0.04 6 0 0 20 0
1789.56/1790.00 c flowcover : 0.06 6 0 0 23 0
1789.56/1790.00 c clique : 0.00 1 0 0 0 0
1789.56/1790.00 c zerohalf : 0.00 0 0 0 0 0
1789.56/1790.00 c mcf : 0.00 1 0 0 0 0
1789.56/1790.00 c rapidlearning : 0.12 1 0 0 0 63
1789.56/1790.00 c Pricers : Time Calls Vars
1789.56/1790.00 c problem variables: 0.00 0 0
1789.56/1790.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.56/1790.00 c relpscost : 27.50 1859943 160 7399 0 0 3705586
1789.56/1790.00 c pscost : 0.00 0 0 0 0 0 0
1789.56/1790.00 c inference : 0.00 0 0 0 0 0 0
1789.56/1790.00 c mostinf : 0.00 0 0 0 0 0 0
1789.56/1790.00 c leastinf : 0.00 0 0 0 0 0 0
1789.56/1790.00 c fullstrong : 0.00 0 0 0 0 0 0
1789.56/1790.00 c allfullstrong : 0.00 0 0 0 0 0 0
1789.56/1790.00 c random : 0.00 0 0 0 0 0 0
1789.56/1790.00 c Primal Heuristics : Time Calls Found
1789.56/1790.00 c LP solutions : 0.73 - 38
1789.56/1790.00 c pseudo solutions : 0.00 - 0
1789.56/1790.00 c feaspump : 0.13 2 0
1789.56/1790.00 c oneopt : 1.22 45 0
1789.56/1790.00 c crossover : 19.03 12 0
1789.56/1790.00 c rootsoldiving : 6.46 789 14
1789.56/1790.00 c objpscostdiving : 8.72 3416 0
1789.56/1790.00 c fracdiving : 41.40 7443 1
1789.56/1790.00 c coefdiving : 71.99 7443 3
1789.56/1790.00 c pscostdiving : 40.56 7443 0
1789.56/1790.00 c veclendiving : 23.79 7443 1
1789.56/1790.00 c linesearchdiving : 28.54 7443 0
1789.56/1790.00 c guideddiving : 30.96 7443 2
1789.56/1790.00 c trivial : 0.00 2 0
1789.56/1790.00 c simplerounding : 1.10 0 0
1789.56/1790.00 c zirounding : 1.03 1000 0
1789.56/1790.00 c rounding : 2.78 19697 0
1789.56/1790.00 c shifting : 6.35 6119 0
1789.56/1790.00 c intshifting : 0.09 0 0
1789.56/1790.00 c twoopt : 0.00 0 0
1789.56/1790.00 c fixandinfer : 0.00 0 0
1789.56/1790.00 c intdiving : 0.00 0 0
1789.56/1790.00 c actconsdiving : 0.00 0 0
1789.56/1790.00 c octane : 0.00 0 0
1789.56/1790.00 c rens : 0.04 1 0
1789.56/1790.00 c rins : 0.00 0 0
1789.56/1790.00 c localbranching : 0.00 0 0
1789.56/1790.00 c mutation : 0.00 0 0
1789.56/1790.00 c dins : 0.00 0 0
1789.56/1790.00 c undercover : 0.00 0 0
1789.56/1790.00 c nlp : 0.78 0 0
1789.56/1790.00 c trysol : 1.57 0 0
1789.56/1790.00 c LP : Time Calls Iterations Iter/call Iter/sec
1789.56/1790.00 c primal LP : 0.00 0 0 0.00 -
1789.56/1790.00 c dual LP : 635.92 2575231 12178627 4.73 19151.12
1789.56/1790.00 c lex dual LP : 0.00 0 0 0.00 -
1789.56/1790.00 c barrier LP : 0.00 0 0 0.00 -
1789.56/1790.00 c diving/probing LP: 127.29 938374 1870066 1.99 14691.93
1789.56/1790.00 c strong branching : 8.48 28408 99923 3.52 11780.92
1789.56/1790.00 c (at root node) : - 14 806 57.57 -
1789.56/1790.00 c conflict analysis: 0.00 0 0 0.00 -
1789.56/1790.00 c B&B Tree :
1789.56/1790.00 c number of runs : 1
1789.56/1790.00 c nodes : 2695122
1789.56/1790.00 c nodes (total) : 2695122
1789.56/1790.00 c nodes left : 875603
1789.56/1790.00 c max depth : 63
1789.56/1790.00 c max depth (total): 63
1789.56/1790.00 c backtracks : 418559 (15.5%)
1789.56/1790.00 c delayed cutoffs : 16674
1789.56/1790.00 c repropagations : 32878 (126983 domain reductions, 16673 cutoffs)
1789.56/1790.00 c avg switch length: 5.87
1789.56/1790.00 c switching time : 115.88
1789.56/1790.00 c Solution :
1789.56/1790.00 c Solutions found : 60 (46 improvements)
1789.56/1790.00 c First Solution : +1.04400000000000e+03 (in run 1, after 1 nodes, 0.16 seconds, depth 0, found by <trysol>)
1789.56/1790.00 c Primal Bound : +1.70000000000000e+01 (in run 1, after 2179475 nodes, 1486.53 seconds, depth 49, found by <relaxation>)
1789.56/1790.00 c Dual Bound : +0.00000000000000e+00
1789.56/1790.00 c Gap : infinite
1789.56/1790.00 c Root Dual Bound : +0.00000000000000e+00
1789.56/1790.00 c Root Iterations : 161
1792.46/1792.98 c Time complete: 1792.55.
OK 17
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2703916-1278562653/watcher-2703916-1278562653 -o /tmp/evaluation-result-2703916-1278562653/solver-2703916-1278562653 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703916-1278562653.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 0.99 0.99 3/106 28760 /proc/meminfo: memFree=1853544/2059040 swapFree=4134896/4192956 [pid=28760] ppid=28758 vsize=7904 CPUtime=0 /proc/28760/stat : 28760 (pbscip.linux.x8) R 28758 28760 28624 0 -1 4202496 1060 0 0 0 0 0 0 0 23 0 1 0 24472203 8093696 972 1992294400 4194304 8395647 140735875143776 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28760/statm: 1976 980 365 1026 0 946 0 [startup+0.0488941 s] /proc/loadavg: 1.00 0.99 0.99 3/106 28760 /proc/meminfo: memFree=1853544/2059040 swapFree=4134896/4192956 [pid=28760] ppid=28758 vsize=14968 CPUtime=0.04 /proc/28760/stat : 28760 (pbscip.linux.x8) R 28758 28760 28624 0 -1 4202496 3232 0 0 0 4 0 0 0 23 0 1 0 24472203 15327232 2790 1992294400 4194304 8395647 140735875143776 18446744073709551615 6107082 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28760/statm: 3742 2790 570 1026 0 2712 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 14968 [startup+0.101903 s] /proc/loadavg: 1.00 0.99 0.99 3/106 28760 /proc/meminfo: memFree=1853544/2059040 swapFree=4134896/4192956 [pid=28760] ppid=28758 vsize=23108 CPUtime=0.09 /proc/28760/stat : 28760 (pbscip.linux.x8) R 28758 28760 28624 0 -1 4202496 4974 0 0 0 8 1 0 0 23 0 1 0 24472203 23662592 4532 1992294400 4194304 8395647 140735875143776 18446744073709551615 6028423 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28760/statm: 5777 4532 597 1026 0 4747 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 23108 [startup+0.300916 s] /proc/loadavg: 1.00 0.99 0.99 3/106 28760 /proc/meminfo: memFree=1853544/2059040 swapFree=4134896/4192956 [pid=28760] ppid=28758 vsize=23504 CPUtime=0.29 /proc/28760/stat : 28760 (pbscip.linux.x8) R 28758 28760 28624 0 -1 4202496 5137 0 0 0 28 1 0 0 23 0 1 0 24472203 24068096 4695 1992294400 4194304 8395647 140735875143776 18446744073709551615 6107088 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28760/statm: 5876 4695 607 1026 0 4846 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 23504 [startup+0.700951 s] /proc/loadavg: 1.00 0.99 0.99 3/106 28760 /proc/meminfo: memFree=1853544/2059040 swapFree=4134896/4192956 [pid=28760] ppid=28758 vsize=24600 CPUtime=0.69 /proc/28760/stat : 28760 (pbscip.linux.x8) R 28758 28760 28624 0 -1 4202496 5736 0 0 0 66 3 0 0 25 0 1 0 24472203 25190400 5294 1992294400 4194304 8395647 140735875143776 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28760/statm: 6150 5294 621 1026 0 5120 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 24600 [startup+1.50102 s] /proc/loadavg: 1.00 0.99 0.99 2/107 28761 /proc/meminfo: memFree=1834688/2059040 swapFree=4134896/4192956 [pid=28760] ppid=28758 vsize=24600 CPUtime=1.49 /proc/28760/stat : 28760 (pbscip.linux.x8) R 28758 28760 28624 0 -1 4202496 5741 0 0 0 142 7 0 0 25 0 1 0 24472203 25190400 5299 1992294400 4194304 8395647 140735875143776 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28760/statm: 6150 5299 622 1026 0 5120 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 24600 [startup+3.10116 s] /proc/loadavg: 1.00 0.99 0.99 2/107 28761 /proc/meminfo: memFree=1833944/2059040 swapFree=4134896/4192956 [pid=28760] ppid=28758 vsize=25020 CPUtime=3.09 /proc/28760/stat : 28760 (pbscip.linux.x8) R 28758 28760 28624 0 -1 4202496 5871 0 0 0 290 19 0 0 25 0 1 0 24472203 25620480 5429 1992294400 4194304 8395647 140735875143776 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28760/statm: 6255 5429 623 1026 0 5225 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 25020 [startup+6.30144 s] /proc/loadavg: 1.00 0.99 0.99 2/107 28761 /proc/meminfo: memFree=1833448/2059040 swapFree=4134896/4192956 [pid=28760] ppid=28758 vsize=23576 CPUtime=6.29 /proc/28760/stat : 28760 (pbscip.linux.x8) R 28758 28760 28624 0 -1 4202496 6260 0 0 0 595 34 0 0 25 0 1 0 24472203 24141824 5089 1992294400 4194304 8395647 140735875143776 18446744073709551615 5026720 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28760/statm: 5894 5089 623 1026 0 4864 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 23576 [startup+12.701 s] /proc/loadavg: 1.00 0.99 0.99 2/107 28761 /proc/meminfo: memFree=1833944/2059040 swapFree=4134896/4192956 [pid=28760] ppid=28758 vsize=24600 CPUtime=12.69 /proc/28760/stat : 28760 (pbscip.linux.x8) R 28758 28760 28624 0 -1 4202496 6532 0 0 0 1213 56 0 0 25 0 1 0 24472203 25190400 5361 1992294400 4194304 8395647 140735875143776 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28760/statm: 6150 5361 623 1026 0 5120 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 24600 [startup+25.5011 s] /proc/loadavg: 1.00 0.99 0.99 2/107 28761 /proc/meminfo: memFree=1827868/2059040 swapFree=4134896/4192956 [pid=28760] ppid=28758 vsize=39192 CPUtime=25.48 /proc/28760/stat : 28760 (pbscip.linux.x8) R 28758 28760 28624 0 -1 4202496 20226 0 0 0 2440 108 0 0 25 0 1 0 24472203 40132608 8719 1992294400 4194304 8395647 140735875143776 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28760/statm: 9798 8719 624 1026 0 8768 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 39192 [startup+51.1014 s] /proc/loadavg: 1.00 0.99 0.99 2/107 28763 /proc/meminfo: memFree=1811128/2059040 swapFree=4134896/4192956 [pid=28760] ppid=28758 vsize=47020 CPUtime=51.08 /proc/28760/stat : 28760 (pbscip.linux.x8) R 28758 28760 28624 0 -1 4202496 29695 0 0 0 4901 207 0 0 25 0 1 0 24472203 48148480 11124 1992294400 4194304 8395647 140735875143776 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28760/statm: 11755 11124 624 1026 0 10725 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 47020 [startup+102.309 s] /proc/loadavg: 1.00 0.99 0.99 2/107 28763 /proc/meminfo: memFree=1779508/2059040 swapFree=4134896/4192956 [pid=28760] ppid=28758 vsize=79440 CPUtime=102.28 /proc/28760/stat : 28760 (pbscip.linux.x8) R 28758 28760 28624 0 -1 4202496 49565 0 0 0 9794 434 0 0 25 0 1 0 24472203 81346560 18971 1992294400 4194304 8395647 140735875143776 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28760/statm: 19860 18971 624 1026 0 18830 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 79440 [startup+162.301 s] /proc/loadavg: 1.00 0.99 0.99 2/107 28768 /proc/meminfo: memFree=1735488/2059040 swapFree=4134896/4192956 [pid=28760] ppid=28758 vsize=123888 CPUtime=162.25 /proc/28760/stat : 28760 (pbscip.linux.x8) R 28758 28760 28624 0 -1 4202496 75396 0 0 0 15543 682 0 0 25 0 1 0 24472203 126861312 29912 1992294400 4194304 8395647 140735875143776 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28760/statm: 30972 29912 624 1026 0 29942 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 123888 [startup+222.301 s] /proc/loadavg: 1.00 0.99 0.99 2/107 28770 /proc/meminfo: memFree=1713912/2059040 swapFree=4134896/4192956 [pid=28760] ppid=28758 vsize=143284 CPUtime=222.24 /proc/28760/stat : 28760 (pbscip.linux.x8) R 28758 28760 28624 0 -1 4202496 94569 0 0 0 21317 907 0 0 25 0 1 0 24472203 146722816 35193 1992294400 4194304 8395647 140735875143776 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28760/statm: 35821 35193 624 1026 0 34791 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 143284 [startup+282.302 s] /proc/loadavg: 1.00 0.99 0.99 2/107 28772 /proc/meminfo: memFree=1701512/2059040 swapFree=4134896/4192956 [pid=28760] ppid=28758 vsize=158556 CPUtime=282.22 /proc/28760/stat : 28760 (pbscip.linux.x8) R 28758 28760 28624 0 -1 4202496 114396 0 0 0 27078 1144 0 0 25 0 1 0 24472203 162361344 38305 1992294400 4194304 8395647 140735875143776 18446744073709551615 5005948 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28760/statm: 39639 38305 624 1026 0 38609 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 158556 [startup+342.302 s] /proc/loadavg: 1.00 0.99 0.99 2/107 28774 /proc/meminfo: memFree=1673116/2059040 swapFree=4134896/4192956 [pid=28760] ppid=28758 vsize=186284 CPUtime=342.21 /proc/28760/stat : 28760 (pbscip.linux.x8) R 28758 28760 28624 0 -1 4202496 122335 0 0 0 32860 1361 0 0 25 0 1 0 24472203 190754816 45391 1992294400 4194304 8395647 140735875143776 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28760/statm: 46571 45391 624 1026 0 45541 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 186284 [startup+402.301 s] /proc/loadavg: 1.00 0.99 0.99 2/107 28774 /proc/meminfo: memFree=1650672/2059040 swapFree=4134896/4192956 [pid=28760] ppid=28758 vsize=209296 CPUtime=402.2 /proc/28760/stat : 28760 (pbscip.linux.x8) R 28758 28760 28624 0 -1 4202496 134106 0 0 0 38634 1586 0 0 25 0 1 0 24472203 214319104 51214 1992294400 4194304 8395647 140735875143776 18446744073709551615 6015925 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28760/statm: 52324 51214 624 1026 0 51294 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 209296 [startup+462.301 s] /proc/loadavg: 1.00 0.99 0.99 2/107 28776 /proc/meminfo: memFree=1635668/2059040 swapFree=4134896/4192956 [pid=28760] ppid=28758 vsize=223040 CPUtime=462.18 /proc/28760/stat : 28760 (pbscip.linux.x8) R 28758 28760 28624 0 -1 4202496 146706 0 0 0 44423 1795 0 0 25 0 1 0 24472203 228392960 54690 1992294400 4194304 8395647 140735875143776 18446744073709551615 6586922 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28760/statm: 55760 54690 624 1026 0 54730 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 223040 [startup+522.302 s] /proc/loadavg: 1.03 1.00 1.00 2/107 28778 /proc/meminfo: memFree=1619300/2059040 swapFree=4134896/4192956 [pid=28760] ppid=28758 vsize=238948 CPUtime=522.16 /proc/28760/stat : 28760 (pbscip.linux.x8) R 28758 28760 28624 0 -1 4202496 151645 0 0 0 50208 2008 0 0 25 0 1 0 24472203 244682752 58775 1992294400 4194304 8395647 140735875143776 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28760/statm: 59737 58775 624 1026 0 58707 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 238948 [startup+582.302 s] /proc/loadavg: 1.12 1.03 1.01 2/107 28780 /proc/meminfo: memFree=1593632/2059040 swapFree=4134896/4192956 [pid=28760] ppid=28758 vsize=264120 CPUtime=582.15 /proc/28760/stat : 28760 (pbscip.linux.x8) R 28758 28760 28624 0 -1 4202496 158894 0 0 0 55996 2219 0 0 25 0 1 0 24472203 270458880 65170 1992294400 4194304 8395647 140735875143776 18446744073709551615 4962572 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28760/statm: 66030 65170 624 1026 0 65000 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 264120 [startup+642.301 s] /proc/loadavg: 1.12 1.04 1.00 2/107 28782 /proc/meminfo: memFree=1568460/2059040 swapFree=4134896/4192956 [pid=28760] ppid=28758 vsize=288760 CPUtime=642.14 /proc/28760/stat : 28760 (pbscip.linux.x8) R 28758 28760 28624 0 -1 4202496 165168 0 0 0 61773 2441 0 0 25 0 1 0 24472203 295690240 71444 1992294400 4194304 8395647 140735875143776 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28760/statm: 72190 71444 624 1026 0 71160 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 288760 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1410236/2059040 swapFree=4134896/4192956 [pid=28760] ppid=28758 vsize=451076 CPUtime=1062.03 /proc/28760/stat : 28760 (pbscip.linux.x8) R 28758 28760 28624 0 -1 4202496 215388 0 0 0 102243 3960 0 0 25 0 1 0 24472203 461901824 110764 1992294400 4194304 8395647 140735875143776 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28760/statm: 112769 110764 624 1026 0 111739 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 451076 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28794 /proc/meminfo: memFree=1402672/2059040 swapFree=4134896/4192956 [pid=28760] ppid=28758 vsize=458224 CPUtime=1122.02 /proc/28760/stat : 28760 (pbscip.linux.x8) R 28758 28760 28624 0 -1 4202496 218720 0 0 0 108026 4176 0 0 25 0 1 0 24472203 469221376 112602 1992294400 4194304 8395647 140735875143776 18446744073709551615 5006496 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28760/statm: 114556 112602 624 1026 0 113526 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 458224 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28796 /proc/meminfo: memFree=1384816/2059040 swapFree=4134896/4192956 [pid=28760] ppid=28758 vsize=475524 CPUtime=1182 /proc/28760/stat : 28760 (pbscip.linux.x8) R 28758 28760 28624 0 -1 4202496 223134 0 0 0 113817 4383 0 0 25 0 1 0 24472203 486936576 117016 1992294400 4194304 8395647 140735875143776 18446744073709551615 18446744073699065949 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28760/statm: 118881 117016 624 1026 0 117851 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 475524 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28798 /proc/meminfo: memFree=1370680/2059040 swapFree=4134896/4192956 [pid=28760] ppid=28758 vsize=489000 CPUtime=1242 /proc/28760/stat : 28760 (pbscip.linux.x8) R 28758 28760 28624 0 -1 4202496 226595 0 0 0 119610 4590 0 0 25 0 1 0 24472203 500736000 120477 1992294400 4194304 8395647 140735875143776 18446744073709551615 5029708 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28760/statm: 122250 120477 624 1026 0 121220 0 Current children cumulated CPU time (s) 1242 Current children cumulated vsize (KiB) 489000 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28798 /proc/meminfo: memFree=1347864/2059040 swapFree=4134896/4192956 [pid=28760] ppid=28758 vsize=511188 CPUtime=1301.98 /proc/28760/stat : 28760 (pbscip.linux.x8) R 28758 28760 28624 0 -1 4202496 233118 0 0 0 125400 4798 0 0 25 0 1 0 24472203 523456512 126148 1992294400 4194304 8395647 140735875143776 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28760/statm: 127797 126148 624 1026 0 126767 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 511188 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28800 /proc/meminfo: memFree=1325296/2059040 swapFree=4134896/4192956 [pid=28760] ppid=28758 vsize=533428 CPUtime=1361.96 /proc/28760/stat : 28760 (pbscip.linux.x8) R 28758 28760 28624 0 -1 4202496 238757 0 0 0 131187 5009 0 0 25 0 1 0 24472203 546230272 131787 1992294400 4194304 8395647 140735875143776 18446744073709551615 6119686 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28760/statm: 133357 131787 624 1026 0 132327 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 533428 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28802 /proc/meminfo: memFree=1304464/2059040 swapFree=4134896/4192956 [pid=28760] ppid=28758 vsize=553608 CPUtime=1421.96 /proc/28760/stat : 28760 (pbscip.linux.x8) R 28758 28760 28624 0 -1 4202496 243916 0 0 0 136975 5221 0 0 25 0 1 0 24472203 566894592 136946 1992294400 4194304 8395647 140735875143776 18446744073709551615 6262410 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28760/statm: 138402 136946 624 1026 0 137372 0 Current children cumulated CPU time (s) 1421.96 Current children cumulated vsize (KiB) 553608 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28804 /proc/meminfo: memFree=1289460/2059040 swapFree=4134896/4192956 [pid=28760] ppid=28758 vsize=568360 CPUtime=1481.94 /proc/28760/stat : 28760 (pbscip.linux.x8) R 28758 28760 28624 0 -1 4202496 253645 0 0 0 142767 5427 0 0 25 0 1 0 24472203 582000640 140718 1992294400 4194304 8395647 140735875143776 18446744073709551615 6119715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28760/statm: 142090 140718 624 1026 0 141060 0 Current children cumulated CPU time (s) 1481.94 Current children cumulated vsize (KiB) 568360 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28806 /proc/meminfo: memFree=1286484/2059040 swapFree=4134896/4192956 [pid=28760] ppid=28758 vsize=571008 CPUtime=1541.92 /proc/28760/stat : 28760 (pbscip.linux.x8) R 28758 28760 28624 0 -1 4202496 261132 0 0 0 148555 5637 0 0 25 0 1 0 24472203 584712192 141389 1992294400 4194304 8395647 140735875143776 18446744073709551615 5031850 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28760/statm: 142752 141389 624 1026 0 141722 0 Current children cumulated CPU time (s) 1541.92 Current children cumulated vsize (KiB) 571008 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28806 /proc/meminfo: memFree=1277804/2059040 swapFree=4134896/4192956 [pid=28760] ppid=28758 vsize=579464 CPUtime=1601.91 /proc/28760/stat : 28760 (pbscip.linux.x8) R 28758 28760 28624 0 -1 4202496 264154 0 0 0 154347 5844 0 0 25 0 1 0 24472203 593371136 143560 1992294400 4194304 8395647 140735875143776 18446744073709551615 5026530 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28760/statm: 144866 143560 624 1026 0 143836 0 Current children cumulated CPU time (s) 1601.91 Current children cumulated vsize (KiB) 579464 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28808 /proc/meminfo: memFree=1264784/2059040 swapFree=4134896/4192956 [pid=28760] ppid=28758 vsize=591876 CPUtime=1661.88 /proc/28760/stat : 28760 (pbscip.linux.x8) R 28758 28760 28624 0 -1 4202496 268183 0 0 0 160149 6039 0 0 25 0 1 0 24472203 606081024 146737 1992294400 4194304 8395647 140735875143776 18446744073709551615 5026819 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28760/statm: 147969 146737 624 1026 0 146939 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 591876 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28810 /proc/meminfo: memFree=1247052/2059040 swapFree=4134896/4192956 [pid=28760] ppid=28758 vsize=609104 CPUtime=1721.87 /proc/28760/stat : 28760 (pbscip.linux.x8) R 28758 28760 28624 0 -1 4202496 272618 0 0 0 165943 6244 0 0 25 0 1 0 24472203 623722496 151172 1992294400 4194304 8395647 140735875143776 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28760/statm: 152276 151172 624 1026 0 151246 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 609104 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28812 /proc/meminfo: memFree=1228204/2059040 swapFree=4134896/4192956 [pid=28760] ppid=28758 vsize=627180 CPUtime=1781.86 /proc/28760/stat : 28760 (pbscip.linux.x8) R 28758 28760 28624 0 -1 4202496 278063 0 0 0 171736 6450 0 0 25 0 1 0 24472203 642232320 155765 1992294400 4194304 8395647 140735875143776 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28760/statm: 156795 155765 624 1026 0 155765 0 Current children cumulated CPU time (s) 1781.86 Current children cumulated vsize (KiB) 627180 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28812 /proc/meminfo: memFree=1228204/2059040 swapFree=4134896/4192956 [pid=28760] ppid=28758 vsize=627688 CPUtime=1785.06 /proc/28760/stat : 28760 (pbscip.linux.x8) R 28758 28760 28624 0 -1 4202496 278192 0 0 0 172045 6461 0 0 25 0 1 0 24472203 642752512 155894 1992294400 4194304 8395647 140735875143776 18446744073709551615 4962588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28760/statm: 156922 155894 624 1026 0 155892 0 Current children cumulated CPU time (s) 1785.06 Current children cumulated vsize (KiB) 627688 [startup+1788.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28812 /proc/meminfo: memFree=1226964/2059040 swapFree=4134896/4192956 [pid=28760] ppid=28758 vsize=628368 CPUtime=1788.26 /proc/28760/stat : 28760 (pbscip.linux.x8) R 28758 28760 28624 0 -1 4202496 278368 0 0 0 172354 6472 0 0 25 0 1 0 24472203 643448832 156070 1992294400 4194304 8395647 140735875143776 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28760/statm: 157092 156070 624 1026 0 156062 0 Current children cumulated CPU time (s) 1788.26 Current children cumulated vsize (KiB) 628368 [startup+1790.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28812 /proc/meminfo: memFree=1226964/2059040 swapFree=4134896/4192956 [pid=28760] ppid=28758 vsize=628752 CPUtime=1789.86 /proc/28760/stat : 28760 (pbscip.linux.x8) R 28758 28760 28624 0 -1 4202496 278468 0 0 0 172510 6476 0 0 25 0 1 0 24472203 643842048 156170 1992294400 4194304 8395647 140735875143776 18446744073709551615 4723516 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28760/statm: 157188 156170 626 1026 0 156158 0 Current children cumulated CPU time (s) 1789.86 Current children cumulated vsize (KiB) 628752 [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28812 /proc/meminfo: memFree=1226592/2059040 swapFree=4134896/4192956 [pid=28760] ppid=28758 vsize=628752 CPUtime=1791.47 /proc/28760/stat : 28760 (pbscip.linux.x8) R 28758 28760 28624 0 -1 4202496 278468 0 0 0 172671 6476 0 0 25 0 1 0 24472203 643842048 156170 1992294400 4194304 8395647 140735875143776 18446744073709551615 6345370 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28760/statm: 157188 156170 626 1026 0 156158 0 Current children cumulated CPU time (s) 1791.47 Current children cumulated vsize (KiB) 628752 [startup+1792.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28812 /proc/meminfo: memFree=1226592/2059040 swapFree=4134896/4192956 [pid=28760] ppid=28758 vsize=628752 CPUtime=1792.26 /proc/28760/stat : 28760 (pbscip.linux.x8) R 28758 28760 28624 0 -1 4202496 278468 0 0 0 172750 6476 0 0 25 0 1 0 24472203 643842048 156170 1992294400 4194304 8395647 140735875143776 18446744073709551615 4653837 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28760/statm: 157188 156170 626 1026 0 156158 0 Current children cumulated CPU time (s) 1792.26 Current children cumulated vsize (KiB) 628752 [startup+1792.9 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28812 /proc/meminfo: memFree=1226592/2059040 swapFree=4134896/4192956 [pid=28760] ppid=28758 vsize=628752 CPUtime=1792.46 /proc/28760/stat : 28760 (pbscip.linux.x8) R 28758 28760 28624 0 -1 4202496 278468 0 0 0 172770 6476 0 0 25 0 1 0 24472203 643842048 156170 1992294400 4194304 8395647 140735875143776 18446744073709551615 6345248 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28760/statm: 157188 156170 626 1026 0 156158 0 Current children cumulated CPU time (s) 1792.46 Current children cumulated vsize (KiB) 628752 Child status: 0 Real time (s): 1792.99 CPU time (s): 1792.56 CPU user time (s): 1727.73 CPU system time (s): 64.8261 CPU usage (%): 99.9758 Max. virtual memory (cumulated for all children) (KiB): 628752 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1727.73 system time used= 64.8261 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 278471 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 5074 runsolver used 3.08753 second user time and 8.36773 second system time The end
Begin job on node050 at 2010-07-08 06:17:34 IDJOB=2703916 IDBENCH=2920 IDSOLVER=1213 FILE ID=node050/2703916-1278562653 PBS_JOBID= 11239538 Free space on /tmp= 62476 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_1.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2703916-1278562653/watcher-2703916-1278562653 -o /tmp/evaluation-result-2703916-1278562653/solver-2703916-1278562653 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703916-1278562653.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0263d0a7c5e3320bd7cce9534c14bf27 RANDOM SEED=1845417424 node050.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.248 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.49 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.248 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.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1854072 kB Buffers: 20156 kB Cached: 95676 kB SwapCached: 12252 kB Active: 91576 kB Inactive: 39236 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1854072 kB SwapTotal: 4192956 kB SwapFree: 4134896 kB Dirty: 10320 kB Writeback: 0 kB AnonPages: 12332 kB Mapped: 8324 kB Slab: 52248 kB PageTables: 4240 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183708 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= 62468 MiB End job on node050 at 2010-07-08 06:47:27