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) | 23 | 1802.07 | 1802.56 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_8_70_2.opb |
| MD5SUM | 1d334f36842eecbe8db395477b7c6bcb |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 15 |
| Best CPU time to get the best result obtained on this benchmark | 1791.89 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 38 |
| 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 | 1943 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 6340 |
| 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-2665658-1276599083.opb>
0.00/0.01 c original problem has 198 variables (198 bin, 0 int, 0 impl, 0 cont) and 16 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c presolving:
0.00/0.02 c (round 1) 0 del vars, 8 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.03 c (0.0s) probing: 101/198 (51.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.03 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.03 c presolving (2 rounds):
0.00/0.03 c 0 deleted vars, 8 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.03 c 0 implications, 0 cliques
0.00/0.03 c presolved problem has 198 variables (198 bin, 0 int, 0 impl, 0 cont) and 8 constraints
0.00/0.03 c 8 constraints of type <linear>
0.00/0.03 c transformed objective value is always integral (scale: 1)
0.00/0.03 c Presolving Time: 0.02
0.00/0.03 c - non default parameters ----------------------------------------------------------------------
0.00/0.03 c # SCIP version 1.2.1.2
0.00/0.03 c
0.00/0.03 c # frequency for displaying node information lines
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.03 c display/freq = 10000
0.00/0.03 c
0.00/0.03 c # maximal time in seconds to run
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/time = 1800
0.00/0.03 c
0.00/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/memory = 1620
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify inequalities
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/linear/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify knapsacks
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c separating/rapidlearning/freq = 0
0.00/0.03 c
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c start solving
0.03/0.03 c
0.03/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.03/0.04 c 0.0s| 1 | 0 | 41 | - | 633k| 0 | 8 | 198 | 8 | 198 | 8 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.16 o 987
0.09/0.16 c y 0.1s| 1 | 0 | 41 | - | 692k| 0 | 8 | 198 | 8 | 198 | 8 | 0 | 0 | 0 | 0.000000e+00 | 9.870000e+02 | Inf
0.09/0.17 c 0.1s| 1 | 0 | 47 | - | 818k| 0 | 11 | 198 | 70 | 198 | 14 | 6 | 0 | 0 | 0.000000e+00 | 9.870000e+02 | Inf
0.09/0.19 c 0.2s| 1 | 0 | 61 | - | 902k| 0 | 14 | 198 | 70 | 198 | 19 | 11 | 0 | 0 | 0.000000e+00 | 9.870000e+02 | Inf
0.19/0.21 c 0.2s| 1 | 0 | 69 | - | 964k| 0 | 15 | 198 | 70 | 198 | 24 | 16 | 0 | 0 | 0.000000e+00 | 9.870000e+02 | Inf
0.19/0.23 c 0.2s| 1 | 0 | 74 | - | 993k| 0 | 18 | 198 | 70 | 198 | 26 | 18 | 0 | 0 | 0.000000e+00 | 9.870000e+02 | Inf
0.19/0.26 c 0.2s| 1 | 0 | 89 | - |1001k| 0 | 16 | 198 | 70 | 198 | 28 | 20 | 0 | 0 | 0.000000e+00 | 9.870000e+02 | Inf
0.19/0.29 c 0.3s| 1 | 0 | 105 | - |1031k| 0 | 18 | 198 | 70 | 198 | 32 | 24 | 0 | 0 | 0.000000e+00 | 9.870000e+02 | Inf
0.29/0.35 c 0.3s| 1 | 2 | 105 | - |1031k| 0 | 18 | 198 | 70 | 198 | 32 | 24 | 0 | 9 | 0.000000e+00 | 9.870000e+02 | Inf
0.59/0.60 o 235
0.59/0.60 c c 0.5s| 52 | 51 | 375 | 5.3 |1110k| 51 | - | 198 | 70 | 198 | 18 | 24 | 0 | 269 | 0.000000e+00 | 2.350000e+02 | Inf
1.10/1.13 o 233
1.10/1.13 c * 1.0s| 364 | 354 | 1895 | 4.9 |1271k| 62 | - | 198 | 70 | 198 | 18 | 24 | 6 | 670 | 0.000000e+00 | 2.330000e+02 | Inf
1.69/1.75 o 232
1.69/1.75 c * 1.5s| 883 | 853 | 4708 | 5.2 |1520k| 62 | - | 198 | 70 | 198 | 18 | 24 | 19 | 795 | 0.000000e+00 | 2.320000e+02 | Inf
1.69/1.76 o 231
1.69/1.76 c * 1.5s| 885 | 852 | 4722 | 5.2 |1521k| 62 | - | 198 | 70 | 198 | 18 | 24 | 19 | 801 | 0.000000e+00 | 2.310000e+02 | Inf
1.69/1.77 o 229
1.69/1.77 c l 1.6s| 888 | 853 | 4724 | 5.2 |1540k| 62 | - | 198 | 70 | 198 | 18 | 24 | 20 | 812 | 0.000000e+00 | 2.290000e+02 | Inf
1.69/1.77 o 227
1.69/1.77 c g 1.6s| 888 | 852 | 4724 | 5.2 |1543k| 62 | - | 198 | 70 | 198 | 18 | 24 | 21 | 812 | 0.000000e+00 | 2.270000e+02 | Inf
2.59/2.65 o 167
2.59/2.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.59/2.65 c g 2.3s| 1582 | 1506 | 9473 | 5.9 |1857k| 62 | - | 198 | 70 | 198 | 18 | 24 | 39 | 879 | 0.000000e+00 | 1.670000e+02 | Inf
4.69/4.73 o 118
4.69/4.73 c g 4.2s| 3213 | 3041 | 20954 | 6.5 |2585k| 62 | - | 198 | 70 | 198 | 18 | 24 | 122 | 903 | 0.000000e+00 | 1.180000e+02 | Inf
12.69/12.71 o 116
12.69/12.71 c *11.3s| 9695 | 9360 | 65121 | 6.7 |5595k| 62 | - | 198 | 9 | 198 | 18 | 24 | 340 |1011 | 0.000000e+00 | 1.160000e+02 | Inf
12.99/13.00 c 11.6s| 10000 | 9653 | 66753 | 6.7 |5726k| 62 | 8 | 198 | 9 | 198 | 18 | 24 | 344 |1021 | 0.000000e+00 | 1.160000e+02 | Inf
15.39/15.45 o 114
15.39/15.45 c l13.7s| 12409 | 11945 | 80676 | 6.5 |6805k| 62 | - | 198 | 9 | 198 | 18 | 24 | 401 |1130 | 0.000000e+00 | 1.140000e+02 | Inf
15.99/16.03 o 113
15.99/16.03 c f14.2s| 12877 | 12396 | 84067 | 6.5 |7018k| 62 | - | 198 | 9 | 198 | 18 | 24 | 416 |1159 | 0.000000e+00 | 1.130000e+02 | Inf
22.48/22.50 o 74
22.48/22.50 c f20.0s| 18821 | 17620 |119433 | 6.3 |9100k| 62 | - | 198 | 9 | 198 | 18 | 24 | 581 |1385 | 0.000000e+00 | 7.400000e+01 | Inf
24.99/25.00 c 22.2s| 20000 | 18634 |127801 | 6.4 |9597k| 62 | 8 | 198 | 9 | 198 | 18 | 24 | 636 |1463 | 0.000000e+00 | 7.400000e+01 | Inf
33.28/33.37 o 72
33.28/33.37 c *29.7s| 28025 | 25326 |173126 | 6.2 | 13M| 62 | - | 198 | 9 | 198 | 18 | 24 | 831 |1965 | 0.000000e+00 | 7.200000e+01 | Inf
33.28/33.38 o 70
33.28/33.38 c *29.7s| 28027 | 25278 |173126 | 6.2 | 13M| 62 | - | 198 | 9 | 198 | 18 | 24 | 831 |1968 | 0.000000e+00 | 7.000000e+01 | Inf
37.29/37.33 c 33.1s| 30000 | 26978 |184028 | 6.1 | 14M| 62 | 8 | 198 | 9 | 198 | 18 | 24 | 873 |2069 | 0.000000e+00 | 7.000000e+01 | Inf
47.48/47.59 c 42.2s| 40000 | 34759 |242153 | 6.1 | 18M| 62 | 8 | 198 | 9 | 198 | 18 | 24 |1128 |2582 | 0.000000e+00 | 7.000000e+01 | Inf
57.97/58.02 c 51.5s| 50000 | 42283 |302606 | 6.1 | 23M| 62 | - | 198 | 11 | 198 | 18 | 24 |1435 |3080 | 0.000000e+00 | 7.000000e+01 | Inf
59.68/59.79 o 69
59.68/59.79 c *53.1s| 51761 | 43649 |312940 | 6.0 | 24M| 62 | - | 198 | 11 | 198 | 18 | 24 |1489 |3136 | 0.000000e+00 | 6.900000e+01 | Inf
68.08/68.13 o 68
68.08/68.13 c *60.6s| 59735 | 49602 |363493 | 6.1 | 28M| 62 | - | 198 | 12 | 198 | 18 | 24 |1751 |3451 | 0.000000e+00 | 6.800000e+01 | Inf
68.37/68.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
68.37/68.45 c 60.9s| 60000 | 49781 |365418 | 6.1 | 28M| 62 | 8 | 198 | 12 | 198 | 18 | 24 |1767 |3460 | 0.000000e+00 | 6.800000e+01 | Inf
79.47/79.59 c 70.8s| 70000 | 57155 |426149 | 6.1 | 33M| 62 | 8 | 198 | 11 | 198 | 18 | 24 |2094 |3792 | 0.000000e+00 | 6.800000e+01 | Inf
84.47/84.50 o 66
84.47/84.50 c *75.2s| 74924 | 60608 |454988 | 6.1 | 35M| 62 | - | 198 | 12 | 198 | 18 | 24 |2217 |3931 | 0.000000e+00 | 6.600000e+01 | Inf
89.66/89.79 c 80.0s| 80000 | 64238 |485843 | 6.1 | 38M| 62 | 8 | 198 | 11 | 198 | 18 | 24 |2385 |4101 | 0.000000e+00 | 6.600000e+01 | Inf
100.07/100.16 c 89.2s| 90000 | 71669 |548551 | 6.1 | 43M| 62 | 8 | 198 | 10 | 198 | 18 | 24 |2716 |4396 | 0.000000e+00 | 6.600000e+01 | Inf
110.16/110.23 c 98.2s|100000 | 78915 |609927 | 6.1 | 48M| 62 | 8 | 198 | 10 | 198 | 18 | 24 |3029 |4669 | 0.000000e+00 | 6.600000e+01 | Inf
120.26/120.38 c 107s|110000 | 86381 |670282 | 6.1 | 53M| 62 | - | 198 | 10 | 198 | 18 | 24 |3386 |4940 | 0.000000e+00 | 6.600000e+01 | Inf
130.36/130.47 c 116s|120000 | 93618 |731317 | 6.1 | 58M| 62 | 8 | 198 | 9 | 198 | 18 | 24 |3674 |5186 | 0.000000e+00 | 6.600000e+01 | Inf
136.95/137.05 o 64
136.95/137.05 c * 122s|126542 | 95956 |771548 | 6.1 | 58M| 62 | - | 198 | 9 | 198 | 18 | 24 |3882 |5357 | 0.000000e+00 | 6.400000e+01 | Inf
136.95/137.07 o 62
136.95/137.07 c * 122s|126545 | 95543 |771553 | 6.1 | 57M| 62 | - | 198 | 9 | 198 | 18 | 24 |3882 |5367 | 0.000000e+00 | 6.200000e+01 | Inf
140.45/140.56 c 125s|130000 | 97930 |794128 | 6.1 | 59M| 62 | - | 198 | 9 | 198 | 18 | 24 |3995 |5475 | 0.000000e+00 | 6.200000e+01 | Inf
150.66/150.73 c 134s|140000 |104988 |860913 | 6.1 | 63M| 62 | 8 | 198 | 11 | 198 | 18 | 24 |4341 |5731 | 0.000000e+00 | 6.200000e+01 | Inf
158.86/158.94 o 60
158.86/158.94 c * 142s|148072 |110414 |914688 | 6.2 | 66M| 62 | - | 198 | 12 | 198 | 18 | 24 |4610 |5914 | 0.000000e+00 | 6.000000e+01 | Inf
158.86/158.95 o 56
158.86/158.95 c g 142s|148074 |108807 |914692 | 6.2 | 64M| 62 | - | 198 | 12 | 198 | 18 | 24 |4610 |5918 | 0.000000e+00 | 5.600000e+01 | Inf
161.05/161.19 c 144s|150000 |110022 |929283 | 6.2 | 65M| 62 | 8 | 198 | 14 | 198 | 18 | 24 |4708 |5962 | 0.000000e+00 | 5.600000e+01 | Inf
170.75/170.81 o 55
170.75/170.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
170.75/170.81 c * 152s|159313 |115936 |992488 | 6.2 | 68M| 62 | - | 198 | 12 | 198 | 18 | 24 |4989 |6160 | 0.000000e+00 | 5.500000e+01 | Inf
171.34/171.48 c 153s|160000 |116375 |996727 | 6.2 | 68M| 62 | 8 | 198 | 12 | 198 | 18 | 24 |5007 |6164 | 0.000000e+00 | 5.500000e+01 | Inf
181.46/181.56 c 162s|170000 |123056 | 1062k| 6.3 | 73M| 62 | - | 198 | 10 | 198 | 18 | 24 |5343 |6374 | 0.000000e+00 | 5.500000e+01 | Inf
191.64/191.73 c 171s|180000 |129763 | 1129k| 6.3 | 77M| 62 | - | 198 | 13 | 198 | 18 | 24 |5676 |6566 | 0.000000e+00 | 5.500000e+01 | Inf
201.84/201.93 c 180s|190000 |136566 | 1196k| 6.3 | 81M| 62 | 8 | 198 | 15 | 198 | 18 | 24 |6024 |6751 | 0.000000e+00 | 5.500000e+01 | Inf
212.14/212.29 c 190s|200000 |142846 | 1265k| 6.3 | 86M| 62 | 8 | 198 | 14 | 198 | 18 | 24 |6427 |6923 | 0.000000e+00 | 5.500000e+01 | Inf
222.53/222.64 c 199s|210000 |149487 | 1335k| 6.4 | 90M| 62 | 8 | 198 | 14 | 198 | 18 | 24 |6764 |7100 | 0.000000e+00 | 5.500000e+01 | Inf
232.83/232.95 c 208s|220000 |156008 | 1402k| 6.4 | 94M| 62 | - | 198 | 10 | 198 | 18 | 24 |7117 |7259 | 0.000000e+00 | 5.500000e+01 | Inf
238.43/238.58 o 54
238.43/238.58 c * 213s|225572 |159218 | 1439k| 6.4 | 96M| 62 | - | 198 | 11 | 198 | 18 | 24 |7311 |7349 | 0.000000e+00 | 5.400000e+01 | Inf
238.43/238.59 o 52
238.43/238.59 c * 213s|225573 |157821 | 1439k| 6.4 | 94M| 62 | - | 198 | 11 | 198 | 18 | 24 |7311 |7349 | 0.000000e+00 | 5.200000e+01 | Inf
238.83/238.99 o 51
238.83/238.99 c * 214s|225984 |157203 | 1441k| 6.4 | 93M| 62 | - | 198 | 11 | 198 | 18 | 24 |7328 |7364 | 0.000000e+00 | 5.100000e+01 | Inf
238.93/239.01 o 49
238.93/239.01 c * 214s|225986 |155555 | 1441k| 6.4 | 91M| 62 | - | 198 | 11 | 198 | 18 | 24 |7328 |7367 | 0.000000e+00 | 4.900000e+01 | Inf
242.93/243.04 c 217s|230000 |158149 | 1468k| 6.4 | 93M| 62 | 8 | 198 | 12 | 198 | 18 | 24 |7455 |7420 | 0.000000e+00 | 4.900000e+01 | Inf
253.13/253.23 c 226s|240000 |164226 | 1534k| 6.4 | 97M| 62 | 8 | 198 | 12 | 198 | 18 | 24 |7815 |7575 | 0.000000e+00 | 4.900000e+01 | Inf
263.32/263.47 c 235s|250000 |170450 | 1601k| 6.4 | 101M| 62 | 8 | 198 | 10 | 198 | 18 | 24 |8168 |7737 | 0.000000e+00 | 4.900000e+01 | Inf
273.62/273.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
273.62/273.71 c 245s|260000 |176481 | 1668k| 6.4 | 105M| 62 | 8 | 198 | 10 | 198 | 18 | 24 |8598 |7897 | 0.000000e+00 | 4.900000e+01 | Inf
275.12/275.21 o 47
275.12/275.21 c * 246s|261427 |175008 | 1677k| 6.4 | 103M| 62 | - | 198 | 10 | 198 | 18 | 24 |8657 |7935 | 0.000000e+00 | 4.700000e+01 | Inf
278.62/278.79 o 46
278.62/278.79 c * 249s|264961 |176218 | 1700k| 6.4 | 104M| 62 | - | 198 | 9 | 198 | 18 | 24 |8769 |8005 | 0.000000e+00 | 4.600000e+01 | Inf
278.72/278.80 o 44
278.72/278.80 c * 249s|264962 |174121 | 1700k| 6.4 | 101M| 62 | - | 198 | 9 | 198 | 18 | 24 |8769 |8005 | 0.000000e+00 | 4.400000e+01 | Inf
284.42/284.56 o 43
284.42/284.56 c * 254s|267437 |174491 | 1716k| 6.4 | 101M| 62 | - | 198 | 9 | 198 | 18 | 24 |8853 |8030 | 0.000000e+00 | 4.300000e+01 | Inf
287.03/287.19 c 256s|270000 |175934 | 1733k| 6.4 | 102M| 62 | 8 | 198 | 9 | 198 | 18 | 24 |8971 |8071 | 0.000000e+00 | 4.300000e+01 | Inf
297.11/297.27 c 266s|280000 |181554 | 1799k| 6.4 | 106M| 62 | - | 198 | 9 | 198 | 18 | 24 |9296 |8237 | 0.000000e+00 | 4.300000e+01 | Inf
307.41/307.50 c 275s|290000 |187447 | 1864k| 6.4 | 110M| 62 | 8 | 198 | 10 | 198 | 18 | 24 |9641 |8373 | 0.000000e+00 | 4.300000e+01 | Inf
317.61/317.73 c 284s|300000 |192985 | 1930k| 6.4 | 114M| 62 | 8 | 198 | 13 | 198 | 18 | 24 |9974 |8517 | 0.000000e+00 | 4.300000e+01 | Inf
327.91/328.04 c 293s|310000 |198576 | 1997k| 6.4 | 118M| 62 | 8 | 198 | 11 | 198 | 18 | 24 | 10k|8679 | 0.000000e+00 | 4.300000e+01 | Inf
338.10/338.29 c 302s|320000 |204053 | 2064k| 6.5 | 122M| 62 | 8 | 198 | 13 | 198 | 18 | 24 | 10k|8814 | 0.000000e+00 | 4.300000e+01 | Inf
348.00/348.18 c 311s|330000 |209463 | 2127k| 6.4 | 125M| 62 | - | 198 | 11 | 198 | 18 | 24 | 10k|8959 | 0.000000e+00 | 4.300000e+01 | Inf
358.30/358.43 c 320s|340000 |214994 | 2193k| 6.5 | 129M| 62 | 8 | 198 | 10 | 198 | 18 | 24 | 11k|9104 | 0.000000e+00 | 4.300000e+01 | Inf
368.60/368.71 c 330s|350000 |220928 | 2259k| 6.5 | 133M| 62 | 8 | 198 | 10 | 198 | 18 | 24 | 11k|9237 | 0.000000e+00 | 4.300000e+01 | Inf
378.50/378.63 c 339s|360000 |226463 | 2323k| 6.5 | 137M| 62 | 8 | 198 | 9 | 198 | 18 | 24 | 11k|9361 | 0.000000e+00 | 4.300000e+01 | Inf
388.59/388.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
388.59/388.75 c 348s|370000 |231876 | 2388k| 6.5 | 141M| 62 | 8 | 198 | 10 | 198 | 18 | 24 | 12k|9504 | 0.000000e+00 | 4.300000e+01 | Inf
398.59/398.76 c 357s|380000 |237227 | 2453k| 6.5 | 144M| 62 | 8 | 198 | 11 | 198 | 18 | 24 | 12k|9650 | 0.000000e+00 | 4.300000e+01 | Inf
406.19/406.37 o 41
406.19/406.37 c v 364s|387685 |238530 | 2501k| 6.5 | 144M| 62 | - | 198 | 12 | 198 | 18 | 24 | 12k|9770 | 0.000000e+00 | 4.100000e+01 | Inf
406.19/406.39 o 39
406.19/406.39 c g 364s|387685 |235598 | 2501k| 6.5 | 141M| 62 | - | 198 | 12 | 198 | 18 | 24 | 12k|9770 | 0.000000e+00 | 3.900000e+01 | Inf
408.58/408.74 c 366s|390000 |236857 | 2519k| 6.5 | 141M| 62 | 8 | 198 | 12 | 198 | 18 | 24 | 12k|9789 | 0.000000e+00 | 3.900000e+01 | Inf
418.68/418.81 c 375s|400000 |242348 | 2585k| 6.5 | 145M| 62 | 8 | 198 | 10 | 198 | 18 | 24 | 13k|9924 | 0.000000e+00 | 3.900000e+01 | Inf
428.48/428.62 c 384s|410000 |247418 | 2648k| 6.5 | 149M| 62 | 8 | 198 | 11 | 198 | 18 | 24 | 13k| 10k| 0.000000e+00 | 3.900000e+01 | Inf
438.38/438.51 c 392s|420000 |252525 | 2711k| 6.5 | 153M| 62 | - | 198 | 10 | 198 | 18 | 24 | 13k| 10k| 0.000000e+00 | 3.900000e+01 | Inf
448.28/448.49 c 401s|430000 |257730 | 2775k| 6.5 | 156M| 62 | 8 | 198 | 10 | 198 | 18 | 24 | 14k| 10k| 0.000000e+00 | 3.900000e+01 | Inf
457.38/457.51 o 38
457.38/457.51 c * 409s|438974 |260834 | 2832k| 6.5 | 158M| 62 | - | 198 | 9 | 198 | 18 | 24 | 14k| 10k| 0.000000e+00 | 3.800000e+01 | Inf
457.38/457.53 o 36
457.38/457.53 c c 409s|438976 |257248 | 2833k| 6.5 | 154M| 62 | - | 198 | 9 | 198 | 18 | 24 | 14k| 10k| 0.000000e+00 | 3.600000e+01 | Inf
457.38/457.56 o 34
457.38/457.56 c l 410s|438976 |253352 | 2833k| 6.5 | 150M| 62 | - | 198 | 9 | 198 | 18 | 24 | 14k| 10k| 0.000000e+00 | 3.400000e+01 | Inf
458.58/458.74 c 411s|440000 |253795 | 2839k| 6.5 | 150M| 62 | - | 198 | 9 | 198 | 18 | 24 | 14k| 10k| 0.000000e+00 | 3.400000e+01 | Inf
468.87/469.04 c 420s|450000 |258074 | 2904k| 6.5 | 153M| 62 | 8 | 198 | 10 | 198 | 18 | 24 | 14k| 10k| 0.000000e+00 | 3.400000e+01 | Inf
478.46/478.64 c 428s|460000 |262709 | 2966k| 6.4 | 157M| 62 | 8 | 198 | 10 | 198 | 18 | 24 | 14k| 10k| 0.000000e+00 | 3.400000e+01 | Inf
488.06/488.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
488.06/488.28 c 437s|470000 |267346 | 3029k| 6.4 | 160M| 62 | - | 198 | 9 | 0 | 0 | 24 | 15k| 10k| 0.000000e+00 | 3.400000e+01 | Inf
497.36/497.52 c 445s|480000 |271625 | 3091k| 6.4 | 164M| 62 | - | 198 | 10 | 0 | 0 | 24 | 15k| 10k| 0.000000e+00 | 3.400000e+01 | Inf
506.56/506.75 c 453s|490000 |275913 | 3152k| 6.4 | 167M| 62 | 8 | 198 | 10 | 198 | 18 | 24 | 15k| 11k| 0.000000e+00 | 3.400000e+01 | Inf
516.36/516.56 c 462s|500000 |280846 | 3215k| 6.4 | 171M| 62 | 8 | 198 | 11 | 198 | 18 | 24 | 15k| 11k| 0.000000e+00 | 3.400000e+01 | Inf
525.85/526.08 c 471s|510000 |285676 | 3277k| 6.4 | 174M| 62 | 8 | 198 | 9 | 198 | 18 | 24 | 16k| 11k| 0.000000e+00 | 3.400000e+01 | Inf
535.26/535.41 c 479s|520000 |290388 | 3339k| 6.4 | 177M| 62 | 8 | 198 | 10 | 198 | 18 | 24 | 16k| 11k| 0.000000e+00 | 3.400000e+01 | Inf
544.45/544.64 c 487s|530000 |294831 | 3400k| 6.4 | 181M| 62 | 8 | 198 | 10 | 198 | 18 | 24 | 16k| 11k| 0.000000e+00 | 3.400000e+01 | Inf
552.85/553.00 o 33
552.85/553.00 c * 495s|539174 |296320 | 3456k| 6.4 | 181M| 62 | - | 198 | 9 | 198 | 18 | 24 | 17k| 11k| 0.000000e+00 | 3.300000e+01 | Inf
552.85/553.05 o 31
552.85/553.05 c * 495s|539175 |284642 | 3456k| 6.4 | 172M| 62 | - | 198 | 9 | 198 | 18 | 24 | 17k| 11k| 0.000000e+00 | 3.100000e+01 | Inf
553.54/553.76 c 496s|540000 |284915 | 3461k| 6.4 | 172M| 62 | - | 198 | 9 | 0 | 0 | 24 | 17k| 11k| 0.000000e+00 | 3.100000e+01 | Inf
562.74/562.91 c 504s|550000 |289148 | 3527k| 6.4 | 175M| 62 | 8 | 198 | 9 | 198 | 18 | 24 | 17k| 11k| 0.000000e+00 | 3.100000e+01 | Inf
571.75/571.96 c 512s|560000 |293425 | 3593k| 6.4 | 178M| 62 | - | 198 | 11 | 198 | 18 | 24 | 17k| 12k| 0.000000e+00 | 3.100000e+01 | Inf
580.82/581.01 c 520s|570000 |297479 | 3659k| 6.4 | 181M| 62 | 8 | 198 | 10 | 198 | 18 | 24 | 17k| 12k| 0.000000e+00 | 3.100000e+01 | Inf
589.73/589.96 c 528s|580000 |301690 | 3725k| 6.4 | 184M| 62 | - | 198 | 14 | 198 | 18 | 24 | 18k| 12k| 0.000000e+00 | 3.100000e+01 | Inf
598.82/599.01 c 536s|590000 |305929 | 3791k| 6.4 | 187M| 62 | - | 198 | 10 | 0 | 0 | 24 | 18k| 12k| 0.000000e+00 | 3.100000e+01 | Inf
607.62/607.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
607.62/607.86 c 544s|600000 |309719 | 3858k| 6.4 | 189M| 62 | - | 198 | 12 | 198 | 18 | 24 | 18k| 12k| 0.000000e+00 | 3.100000e+01 | Inf
616.52/616.71 c 552s|610000 |313569 | 3924k| 6.4 | 192M| 62 | - | 198 | 13 | 198 | 18 | 24 | 18k| 12k| 0.000000e+00 | 3.100000e+01 | Inf
625.41/625.65 c 560s|620000 |317528 | 3990k| 6.4 | 195M| 62 | - | 198 | 10 | 198 | 18 | 24 | 18k| 12k| 0.000000e+00 | 3.100000e+01 | Inf
634.42/634.65 c 568s|630000 |321626 | 4056k| 6.4 | 197M| 62 | - | 198 | 11 | 198 | 18 | 24 | 19k| 12k| 0.000000e+00 | 3.100000e+01 | Inf
643.41/643.66 c 576s|640000 |325503 | 4123k| 6.4 | 200M| 62 | 8 | 198 | 11 | 198 | 18 | 24 | 19k| 13k| 0.000000e+00 | 3.100000e+01 | Inf
652.61/652.85 c 584s|650000 |329862 | 4190k| 6.4 | 203M| 62 | 8 | 198 | 9 | 198 | 18 | 24 | 19k| 13k| 0.000000e+00 | 3.100000e+01 | Inf
661.50/661.73 c 592s|660000 |333746 | 4256k| 6.4 | 206M| 62 | 8 | 198 | 10 | 198 | 18 | 24 | 19k| 13k| 0.000000e+00 | 3.100000e+01 | Inf
670.50/670.70 c 600s|670000 |337981 | 4323k| 6.5 | 208M| 62 | 8 | 198 | 12 | 198 | 18 | 24 | 20k| 13k| 0.000000e+00 | 3.100000e+01 | Inf
679.30/679.53 c 608s|680000 |341685 | 4388k| 6.5 | 211M| 62 | 8 | 198 | 11 | 198 | 18 | 24 | 20k| 13k| 0.000000e+00 | 3.100000e+01 | Inf
688.10/688.34 c 616s|690000 |345469 | 4455k| 6.5 | 214M| 62 | - | 198 | 12 | 198 | 18 | 24 | 20k| 13k| 0.000000e+00 | 3.100000e+01 | Inf
696.80/697.08 c 624s|700000 |349574 | 4520k| 6.5 | 216M| 62 | - | 198 | 14 | 198 | 18 | 24 | 20k| 13k| 0.000000e+00 | 3.100000e+01 | Inf
705.70/705.95 c 632s|710000 |353612 | 4585k| 6.5 | 219M| 62 | - | 198 | 11 | 198 | 18 | 24 | 20k| 13k| 0.000000e+00 | 3.100000e+01 | Inf
714.39/714.68 c 640s|720000 |357294 | 4650k| 6.5 | 222M| 62 | 8 | 198 | 11 | 198 | 18 | 24 | 21k| 13k| 0.000000e+00 | 3.100000e+01 | Inf
723.09/723.39 c 648s|730000 |360955 | 4714k| 6.5 | 224M| 62 | 8 | 198 | 11 | 198 | 18 | 24 | 21k| 14k| 0.000000e+00 | 3.100000e+01 | Inf
731.89/732.16 c 655s|740000 |364927 | 4779k| 6.5 | 227M| 62 | - | 198 | 11 | 198 | 18 | 24 | 21k| 14k| 0.000000e+00 | 3.100000e+01 | Inf
743.79/744.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
743.79/744.08 c 666s|750000 |368800 | 4844k| 6.5 | 230M| 62 | 8 | 198 | 11 | 198 | 18 | 24 | 21k| 14k| 0.000000e+00 | 3.100000e+01 | Inf
751.78/752.08 o 29
751.78/752.08 c * 673s|758614 |367825 | 4902k| 6.5 | 227M| 62 | - | 198 | 11 | 198 | 18 | 24 | 22k| 14k| 0.000000e+00 | 2.900000e+01 | Inf
753.08/753.37 c 674s|760000 |368404 | 4912k| 6.5 | 227M| 62 | - | 198 | 11 | 198 | 18 | 24 | 22k| 14k| 0.000000e+00 | 2.900000e+01 | Inf
762.57/762.80 o 28
762.57/762.80 c * 682s|767017 |368341 | 4958k| 6.5 | 226M| 62 | - | 198 | 11 | 198 | 18 | 24 | 22k| 14k| 0.000000e+00 | 2.800000e+01 | Inf
762.57/762.84 o 26
762.57/762.84 c * 682s|767018 |362693 | 4958k| 6.5 | 219M| 62 | - | 198 | 11 | 198 | 18 | 24 | 22k| 14k| 0.000000e+00 | 2.600000e+01 | Inf
765.18/765.43 c 685s|770000 |363631 | 4978k| 6.5 | 220M| 62 | 8 | 198 | 14 | 198 | 18 | 24 | 22k| 14k| 0.000000e+00 | 2.600000e+01 | Inf
773.98/774.25 c 693s|780000 |367112 | 5042k| 6.5 | 222M| 62 | - | 198 | 16 | 198 | 18 | 24 | 22k| 14k| 0.000000e+00 | 2.600000e+01 | Inf
782.37/782.66 c 700s|790000 |370258 | 5105k| 6.5 | 225M| 62 | - | 198 | 13 | 198 | 18 | 24 | 22k| 14k| 0.000000e+00 | 2.600000e+01 | Inf
791.28/791.55 c 708s|800000 |374322 | 5170k| 6.5 | 227M| 62 | 8 | 198 | 12 | 198 | 18 | 24 | 22k| 14k| 0.000000e+00 | 2.600000e+01 | Inf
799.97/800.24 c 716s|810000 |377879 | 5235k| 6.5 | 230M| 62 | - | 198 | 13 | 0 | 0 | 24 | 23k| 14k| 0.000000e+00 | 2.600000e+01 | Inf
808.57/808.84 c 724s|820000 |381335 | 5298k| 6.5 | 232M| 62 | 8 | 198 | 12 | 198 | 18 | 24 | 23k| 14k| 0.000000e+00 | 2.600000e+01 | Inf
817.27/817.58 c 731s|830000 |385187 | 5363k| 6.5 | 235M| 62 | 8 | 198 | 12 | 198 | 18 | 24 | 23k| 14k| 0.000000e+00 | 2.600000e+01 | Inf
825.57/825.81 c 739s|840000 |388371 | 5423k| 6.5 | 237M| 62 | - | 198 | 15 | 198 | 18 | 24 | 23k| 15k| 0.000000e+00 | 2.600000e+01 | Inf
834.26/834.54 c 747s|850000 |392119 | 5484k| 6.5 | 240M| 62 | - | 198 | 10 | 0 | 0 | 24 | 23k| 15k| 0.000000e+00 | 2.600000e+01 | Inf
842.86/843.16 c 754s|860000 |395847 | 5545k| 6.4 | 242M| 62 | - | 198 | 12 | 198 | 18 | 24 | 24k| 15k| 0.000000e+00 | 2.600000e+01 | Inf
851.16/851.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
851.16/851.46 c 762s|870000 |399034 | 5605k| 6.4 | 244M| 62 | 8 | 198 | 12 | 198 | 18 | 24 | 24k| 15k| 0.000000e+00 | 2.600000e+01 | Inf
862.86/863.14 c 772s|880000 |402125 | 5666k| 6.4 | 247M| 62 | 8 | 198 | 13 | 198 | 18 | 24 | 24k| 15k| 0.000000e+00 | 2.600000e+01 | Inf
871.25/871.52 c 779s|890000 |405225 | 5728k| 6.4 | 249M| 62 | 8 | 198 | 13 | 198 | 18 | 24 | 24k| 15k| 0.000000e+00 | 2.600000e+01 | Inf
879.65/880.00 c 787s|900000 |408303 | 5790k| 6.4 | 251M| 62 | - | 198 | 12 | 0 | 0 | 24 | 25k| 15k| 0.000000e+00 | 2.600000e+01 | Inf
888.55/888.87 c 795s|910000 |411706 | 5855k| 6.4 | 254M| 62 | 8 | 198 | 12 | 198 | 18 | 24 | 25k| 15k| 0.000000e+00 | 2.600000e+01 | Inf
896.84/897.13 o 25
896.84/897.13 c * 802s|919740 |411715 | 5917k| 6.4 | 252M| 62 | - | 198 | 13 | 198 | 18 | 24 | 25k| 15k| 0.000000e+00 | 2.500000e+01 | Inf
896.84/897.18 o 23
896.84/897.18 c * 802s|919741 |404616 | 5917k| 6.4 | 244M| 62 | - | 198 | 13 | 198 | 18 | 24 | 25k| 15k| 0.000000e+00 | 2.300000e+01 | Inf
897.05/897.38 c 802s|920000 |404665 | 5918k| 6.4 | 244M| 62 | - | 198 | 13 | 0 | 0 | 24 | 25k| 15k| 0.000000e+00 | 2.300000e+01 | Inf
905.45/905.71 c 810s|930000 |407537 | 5982k| 6.4 | 247M| 62 | 8 | 198 | 11 | 198 | 18 | 24 | 25k| 15k| 0.000000e+00 | 2.300000e+01 | Inf
913.85/914.13 c 817s|940000 |410882 | 6044k| 6.4 | 249M| 62 | 8 | 198 | 11 | 198 | 18 | 24 | 25k| 15k| 0.000000e+00 | 2.300000e+01 | Inf
922.14/922.46 c 825s|950000 |414237 | 6105k| 6.4 | 251M| 62 | 8 | 198 | 12 | 198 | 18 | 24 | 26k| 15k| 0.000000e+00 | 2.300000e+01 | Inf
930.03/930.34 c 832s|960000 |416908 | 6165k| 6.4 | 253M| 62 | 8 | 198 | 11 | 198 | 18 | 24 | 26k| 16k| 0.000000e+00 | 2.300000e+01 | Inf
938.23/938.51 c 839s|970000 |419744 | 6226k| 6.4 | 256M| 62 | 8 | 198 | 12 | 198 | 18 | 24 | 26k| 16k| 0.000000e+00 | 2.300000e+01 | Inf
946.43/946.72 c 847s|980000 |422494 | 6288k| 6.4 | 258M| 62 | 8 | 198 | 11 | 198 | 18 | 24 | 26k| 16k| 0.000000e+00 | 2.300000e+01 | Inf
955.33/955.68 c 855s|990000 |426818 | 6350k| 6.4 | 260M| 62 | - | 198 | 17 | 0 | 0 | 24 | 26k| 16k| 0.000000e+00 | 2.300000e+01 | Inf
963.92/964.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
963.92/964.26 c 862s| 1000k|430687 | 6411k| 6.4 | 263M| 62 | 8 | 198 | 11 | 198 | 18 | 24 | 27k| 16k| 0.000000e+00 | 2.300000e+01 | Inf
971.92/972.29 c 870s| 1010k|433724 | 6470k| 6.4 | 265M| 62 | - | 198 | 13 | 198 | 18 | 24 | 27k| 16k| 0.000000e+00 | 2.300000e+01 | Inf
979.92/980.24 c 877s| 1020k|436774 | 6529k| 6.4 | 267M| 62 | - | 198 | 13 | 198 | 18 | 24 | 27k| 16k| 0.000000e+00 | 2.300000e+01 | Inf
990.92/991.27 c 886s| 1030k|439571 | 6590k| 6.4 | 269M| 62 | - | 198 | 12 | 198 | 18 | 24 | 27k| 16k| 0.000000e+00 | 2.300000e+01 | Inf
998.91/999.26 c 893s| 1040k|442392 | 6649k| 6.4 | 271M| 62 | 8 | 198 | 11 | 198 | 18 | 24 | 28k| 16k| 0.000000e+00 | 2.300000e+01 | Inf
1006.72/1007.06 c 900s| 1050k|444797 | 6708k| 6.4 | 273M| 62 | - | 198 | 12 | 198 | 18 | 24 | 28k| 16k| 0.000000e+00 | 2.300000e+01 | Inf
1015.02/1015.35 c 908s| 1060k|447931 | 6770k| 6.4 | 275M| 62 | 8 | 198 | 13 | 198 | 18 | 24 | 28k| 16k| 0.000000e+00 | 2.300000e+01 | Inf
1022.91/1023.30 c 915s| 1070k|450589 | 6831k| 6.4 | 277M| 62 | - | 198 | 13 | 198 | 18 | 24 | 28k| 17k| 0.000000e+00 | 2.300000e+01 | Inf
1030.91/1031.25 c 922s| 1080k|453087 | 6893k| 6.4 | 279M| 62 | 8 | 198 | 9 | 198 | 18 | 24 | 28k| 17k| 0.000000e+00 | 2.300000e+01 | Inf
1039.81/1040.11 c 930s| 1090k|457372 | 6956k| 6.4 | 282M| 62 | 8 | 198 | 9 | 198 | 18 | 24 | 29k| 17k| 0.000000e+00 | 2.300000e+01 | Inf
1048.01/1048.32 c 937s| 1100k|460727 | 7018k| 6.4 | 284M| 62 | - | 198 | 10 | 198 | 18 | 24 | 29k| 17k| 0.000000e+00 | 2.300000e+01 | Inf
1056.31/1056.64 c 945s| 1110k|463725 | 7081k| 6.4 | 286M| 62 | 8 | 198 | 13 | 198 | 18 | 24 | 29k| 17k| 0.000000e+00 | 2.300000e+01 | Inf
1064.70/1065.01 c 952s| 1120k|466905 | 7145k| 6.4 | 289M| 62 | - | 198 | 11 | 198 | 18 | 24 | 29k| 17k| 0.000000e+00 | 2.300000e+01 | Inf
1074.20/1074.53 c 961s| 1130k|471294 | 7213k| 6.4 | 291M| 62 | 8 | 198 | 10 | 198 | 18 | 24 | 30k| 17k| 0.000000e+00 | 2.300000e+01 | Inf
1083.11/1083.47 c 969s| 1140k|475299 | 7278k| 6.4 | 294M| 62 | 8 | 198 | 11 | 198 | 18 | 24 | 30k| 17k| 0.000000e+00 | 2.300000e+01 | Inf
1092.20/1092.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1092.20/1092.54 c 977s| 1150k|479795 | 7343k| 6.4 | 296M| 62 | - | 198 | 12 | 198 | 18 | 24 | 30k| 17k| 0.000000e+00 | 2.300000e+01 | Inf
1100.70/1101.10 c 985s| 1160k|483250 | 7409k| 6.4 | 299M| 62 | - | 198 | 15 | 0 | 0 | 24 | 30k| 17k| 0.000000e+00 | 2.300000e+01 | Inf
1109.60/1109.92 c 993s| 1170k|487206 | 7474k| 6.4 | 301M| 62 | 8 | 198 | 13 | 198 | 18 | 24 | 30k| 17k| 0.000000e+00 | 2.300000e+01 | Inf
1118.78/1119.10 c 1001s| 1180k|491630 | 7541k| 6.4 | 304M| 62 | - | 198 | 20 | 198 | 18 | 24 | 31k| 17k| 0.000000e+00 | 2.300000e+01 | Inf
1127.38/1127.71 c 1008s| 1190k|495592 | 7605k| 6.4 | 306M| 62 | 8 | 198 | 11 | 198 | 18 | 24 | 31k| 17k| 0.000000e+00 | 2.300000e+01 | Inf
1136.08/1136.41 c 1016s| 1200k|499261 | 7669k| 6.4 | 309M| 62 | - | 198 | 10 | 198 | 18 | 24 | 31k| 18k| 0.000000e+00 | 2.300000e+01 | Inf
1144.69/1145.01 c 1024s| 1210k|502927 | 7733k| 6.4 | 311M| 62 | 8 | 198 | 10 | 198 | 18 | 24 | 31k| 18k| 0.000000e+00 | 2.300000e+01 | Inf
1152.97/1153.33 c 1031s| 1220k|506322 | 7795k| 6.4 | 314M| 62 | 8 | 198 | 10 | 198 | 18 | 24 | 32k| 18k| 0.000000e+00 | 2.300000e+01 | Inf
1161.87/1162.28 c 1039s| 1230k|510554 | 7860k| 6.4 | 316M| 62 | 8 | 198 | 11 | 198 | 18 | 24 | 32k| 18k| 0.000000e+00 | 2.300000e+01 | Inf
1170.67/1171.07 c 1047s| 1240k|514565 | 7924k| 6.4 | 318M| 62 | - | 198 | 10 | 0 | 0 | 24 | 32k| 18k| 0.000000e+00 | 2.300000e+01 | Inf
1179.17/1179.52 c 1055s| 1250k|518297 | 7986k| 6.4 | 321M| 62 | - | 198 | 11 | 198 | 18 | 24 | 32k| 18k| 0.000000e+00 | 2.300000e+01 | Inf
1187.68/1188.05 c 1062s| 1260k|521799 | 8050k| 6.4 | 323M| 62 | - | 198 | 10 | 198 | 18 | 24 | 32k| 18k| 0.000000e+00 | 2.300000e+01 | Inf
1196.26/1196.62 c 1070s| 1270k|525411 | 8114k| 6.4 | 326M| 62 | 8 | 198 | 11 | 198 | 18 | 24 | 33k| 18k| 0.000000e+00 | 2.300000e+01 | Inf
1204.56/1204.92 c 1077s| 1280k|528902 | 8176k| 6.4 | 328M| 62 | - | 198 | 9 | 0 | 0 | 24 | 33k| 18k| 0.000000e+00 | 2.300000e+01 | Inf
1212.56/1212.99 c 1085s| 1290k|532268 | 8238k| 6.4 | 330M| 62 | - | 198 | 9 | 198 | 18 | 24 | 33k| 18k| 0.000000e+00 | 2.300000e+01 | Inf
1220.66/1221.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1220.66/1221.09 c 1092s| 1300k|535332 | 8301k| 6.4 | 332M| 62 | 8 | 198 | 11 | 198 | 18 | 24 | 33k| 18k| 0.000000e+00 | 2.300000e+01 | Inf
1228.66/1229.06 c 1099s| 1310k|538418 | 8360k| 6.4 | 334M| 62 | 8 | 198 | 10 | 198 | 18 | 24 | 33k| 18k| 0.000000e+00 | 2.300000e+01 | Inf
1236.86/1237.27 c 1106s| 1320k|541526 | 8421k| 6.4 | 337M| 62 | 8 | 198 | 12 | 198 | 18 | 24 | 34k| 18k| 0.000000e+00 | 2.300000e+01 | Inf
1244.96/1245.31 c 1114s| 1330k|544631 | 8480k| 6.4 | 339M| 62 | 8 | 198 | 12 | 198 | 18 | 24 | 34k| 19k| 0.000000e+00 | 2.300000e+01 | Inf
1252.95/1253.37 c 1121s| 1340k|547502 | 8540k| 6.4 | 341M| 62 | 8 | 198 | 13 | 198 | 18 | 24 | 34k| 19k| 0.000000e+00 | 2.300000e+01 | Inf
1261.15/1261.56 c 1128s| 1350k|550585 | 8601k| 6.4 | 343M| 62 | 8 | 198 | 12 | 198 | 18 | 24 | 34k| 19k| 0.000000e+00 | 2.300000e+01 | Inf
1269.15/1269.52 c 1135s| 1360k|553491 | 8660k| 6.4 | 345M| 62 | 8 | 198 | 15 | 198 | 18 | 24 | 35k| 19k| 0.000000e+00 | 2.300000e+01 | Inf
1277.14/1277.51 c 1142s| 1370k|556546 | 8719k| 6.4 | 348M| 62 | - | 198 | 17 | 0 | 0 | 24 | 35k| 19k| 0.000000e+00 | 2.300000e+01 | Inf
1285.04/1285.47 c 1149s| 1380k|559266 | 8778k| 6.4 | 350M| 62 | 8 | 198 | 14 | 198 | 18 | 24 | 35k| 19k| 0.000000e+00 | 2.300000e+01 | Inf
1293.14/1293.51 c 1157s| 1390k|562149 | 8839k| 6.4 | 352M| 62 | - | 198 | 14 | 198 | 18 | 24 | 35k| 19k| 0.000000e+00 | 2.300000e+01 | Inf
1302.14/1302.58 c 1165s| 1400k|566444 | 8901k| 6.4 | 354M| 62 | 8 | 198 | 13 | 198 | 18 | 24 | 36k| 19k| 0.000000e+00 | 2.300000e+01 | Inf
1310.54/1310.97 c 1172s| 1410k|570198 | 8961k| 6.4 | 357M| 62 | 8 | 198 | 12 | 198 | 18 | 24 | 36k| 19k| 0.000000e+00 | 2.300000e+01 | Inf
1319.03/1319.43 c 1180s| 1420k|573507 | 9033k| 6.4 | 359M| 62 | 8 | 198 | 15 | 198 | 18 | 24 | 36k| 19k| 0.000000e+00 | 2.300000e+01 | Inf
1327.24/1327.63 c 1187s| 1430k|576187 | 9104k| 6.4 | 361M| 62 | 8 | 198 | 13 | 198 | 18 | 24 | 36k| 19k| 0.000000e+00 | 2.300000e+01 | Inf
1335.23/1335.60 c 1194s| 1440k|578920 | 9166k| 6.4 | 363M| 62 | - | 198 | 12 | 198 | 18 | 24 | 36k| 19k| 0.000000e+00 | 2.300000e+01 | Inf
1343.23/1343.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1343.23/1343.69 c 1202s| 1450k|581694 | 9227k| 6.4 | 365M| 62 | 8 | 198 | 14 | 198 | 18 | 24 | 37k| 19k| 0.000000e+00 | 2.300000e+01 | Inf
1351.43/1351.82 c 1209s| 1460k|584672 | 9288k| 6.4 | 367M| 62 | - | 198 | 13 | 198 | 18 | 24 | 37k| 19k| 0.000000e+00 | 2.300000e+01 | Inf
1359.33/1359.74 c 1216s| 1470k|587299 | 9348k| 6.4 | 369M| 62 | - | 198 | 12 | 0 | 0 | 24 | 37k| 20k| 0.000000e+00 | 2.300000e+01 | Inf
1367.12/1367.59 c 1223s| 1480k|589699 | 9407k| 6.4 | 371M| 62 | - | 198 | 16 | 198 | 18 | 24 | 37k| 20k| 0.000000e+00 | 2.300000e+01 | Inf
1375.42/1375.85 c 1230s| 1490k|593110 | 9467k| 6.4 | 373M| 62 | 8 | 198 | 16 | 198 | 18 | 24 | 38k| 20k| 0.000000e+00 | 2.300000e+01 | Inf
1383.22/1383.69 c 1237s| 1500k|595391 | 9526k| 6.4 | 375M| 62 | 8 | 198 | 14 | 198 | 18 | 24 | 38k| 20k| 0.000000e+00 | 2.300000e+01 | Inf
1391.32/1391.73 c 1245s| 1510k|598381 | 9586k| 6.3 | 377M| 62 | 8 | 198 | 14 | 198 | 18 | 24 | 38k| 20k| 0.000000e+00 | 2.300000e+01 | Inf
1399.11/1399.53 c 1251s| 1520k|600919 | 9644k| 6.3 | 379M| 62 | - | 198 | 12 | 198 | 18 | 24 | 38k| 20k| 0.000000e+00 | 2.300000e+01 | Inf
1407.41/1407.84 c 1259s| 1530k|604240 | 9706k| 6.3 | 381M| 62 | - | 198 | 15 | 0 | 0 | 24 | 38k| 20k| 0.000000e+00 | 2.300000e+01 | Inf
1415.22/1415.65 c 1266s| 1540k|606994 | 9765k| 6.3 | 383M| 62 | 8 | 198 | 12 | 198 | 18 | 24 | 39k| 20k| 0.000000e+00 | 2.300000e+01 | Inf
1423.02/1423.42 c 1273s| 1550k|609373 | 9824k| 6.3 | 385M| 62 | 8 | 198 | 14 | 198 | 18 | 24 | 39k| 20k| 0.000000e+00 | 2.300000e+01 | Inf
1430.81/1431.22 c 1280s| 1560k|611675 | 9882k| 6.3 | 387M| 62 | 8 | 198 | 14 | 198 | 18 | 24 | 39k| 20k| 0.000000e+00 | 2.300000e+01 | Inf
1438.70/1439.15 c 1287s| 1570k|614120 | 9943k| 6.3 | 389M| 62 | 8 | 198 | 14 | 198 | 18 | 24 | 39k| 20k| 0.000000e+00 | 2.300000e+01 | Inf
1446.70/1447.17 c 1294s| 1580k|616779 | 10003k| 6.3 | 391M| 62 | 8 | 198 | 12 | 198 | 18 | 24 | 40k| 20k| 0.000000e+00 | 2.300000e+01 | Inf
1454.69/1455.12 c 1301s| 1590k|619463 | 10063k| 6.3 | 393M| 62 | 8 | 198 | 14 | 198 | 18 | 24 | 40k| 20k| 0.000000e+00 | 2.300000e+01 | Inf
1462.50/1462.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1462.50/1462.97 c 1308s| 1600k|622274 | 10122k| 6.3 | 395M| 62 | 8 | 198 | 14 | 198 | 18 | 24 | 40k| 20k| 0.000000e+00 | 2.300000e+01 | Inf
1470.40/1470.85 c 1315s| 1610k|624888 | 10182k| 6.3 | 397M| 62 | 8 | 198 | 14 | 198 | 18 | 24 | 40k| 20k| 0.000000e+00 | 2.300000e+01 | Inf
1478.19/1478.69 c 1322s| 1620k|627175 | 10242k| 6.3 | 399M| 62 | 8 | 198 | 13 | 198 | 18 | 24 | 40k| 20k| 0.000000e+00 | 2.300000e+01 | Inf
1486.10/1486.56 c 1329s| 1630k|629211 | 10304k| 6.3 | 401M| 62 | 8 | 198 | 12 | 198 | 18 | 24 | 41k| 20k| 0.000000e+00 | 2.300000e+01 | Inf
1493.89/1494.39 c 1336s| 1640k|631409 | 10363k| 6.3 | 403M| 62 | - | 198 | 16 | 198 | 18 | 24 | 41k| 21k| 0.000000e+00 | 2.300000e+01 | Inf
1501.68/1502.12 c 1343s| 1650k|633476 | 10423k| 6.3 | 404M| 62 | 8 | 198 | 15 | 198 | 18 | 24 | 41k| 21k| 0.000000e+00 | 2.300000e+01 | Inf
1509.48/1509.97 c 1350s| 1660k|635791 | 10484k| 6.3 | 406M| 62 | - | 198 | 14 | 0 | 0 | 24 | 41k| 21k| 0.000000e+00 | 2.300000e+01 | Inf
1517.49/1517.97 c 1357s| 1670k|638100 | 10545k| 6.3 | 408M| 62 | 8 | 198 | 13 | 198 | 18 | 24 | 41k| 21k| 0.000000e+00 | 2.300000e+01 | Inf
1525.68/1526.11 c 1365s| 1680k|641091 | 10606k| 6.3 | 410M| 62 | 8 | 198 | 17 | 198 | 18 | 24 | 42k| 21k| 0.000000e+00 | 2.300000e+01 | Inf
1533.58/1534.05 c 1372s| 1690k|644013 | 10667k| 6.3 | 412M| 62 | - | 198 | 15 | 198 | 18 | 24 | 42k| 21k| 0.000000e+00 | 2.300000e+01 | Inf
1541.28/1541.76 c 1379s| 1700k|646161 | 10727k| 6.3 | 414M| 62 | - | 198 | 13 | 198 | 18 | 24 | 42k| 21k| 0.000000e+00 | 2.300000e+01 | Inf
1548.97/1549.48 c 1386s| 1710k|648269 | 10786k| 6.3 | 416M| 62 | 8 | 198 | 13 | 198 | 18 | 24 | 42k| 21k| 0.000000e+00 | 2.300000e+01 | Inf
1556.77/1557.22 c 1392s| 1720k|650566 | 10844k| 6.3 | 418M| 62 | - | 198 | 12 | 198 | 18 | 24 | 42k| 21k| 0.000000e+00 | 2.300000e+01 | Inf
1564.67/1565.17 c 1400s| 1730k|652920 | 10906k| 6.3 | 419M| 62 | 8 | 198 | 14 | 198 | 18 | 24 | 43k| 21k| 0.000000e+00 | 2.300000e+01 | Inf
1572.57/1573.04 c 1407s| 1740k|655448 | 10966k| 6.3 | 421M| 62 | 8 | 198 | 13 | 198 | 18 | 24 | 43k| 21k| 0.000000e+00 | 2.300000e+01 | Inf
1580.28/1580.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1580.28/1580.71 c 1414s| 1750k|657807 | 11026k| 6.3 | 423M| 62 | 8 | 198 | 12 | 198 | 18 | 24 | 43k| 21k| 0.000000e+00 | 2.300000e+01 | Inf
1587.98/1588.45 c 1421s| 1760k|660087 | 11085k| 6.3 | 425M| 62 | - | 198 | 13 | 198 | 18 | 24 | 43k| 21k| 0.000000e+00 | 2.300000e+01 | Inf
1595.77/1596.28 c 1428s| 1770k|662161 | 11145k| 6.3 | 427M| 62 | 8 | 198 | 14 | 198 | 18 | 24 | 43k| 21k| 0.000000e+00 | 2.300000e+01 | Inf
1603.56/1604.03 c 1434s| 1780k|664355 | 11204k| 6.3 | 429M| 62 | 8 | 198 | 15 | 198 | 18 | 24 | 44k| 21k| 0.000000e+00 | 2.300000e+01 | Inf
1611.26/1611.79 c 1441s| 1790k|666764 | 11263k| 6.3 | 430M| 62 | 8 | 198 | 14 | 198 | 18 | 24 | 44k| 21k| 0.000000e+00 | 2.300000e+01 | Inf
1619.96/1620.47 c 1449s| 1800k|670373 | 11325k| 6.3 | 433M| 62 | - | 198 | 14 | 198 | 18 | 24 | 44k| 21k| 0.000000e+00 | 2.300000e+01 | Inf
1627.86/1628.35 c 1456s| 1810k|673255 | 11383k| 6.3 | 435M| 62 | 8 | 198 | 14 | 198 | 18 | 24 | 44k| 21k| 0.000000e+00 | 2.300000e+01 | Inf
1635.75/1636.20 c 1463s| 1820k|675850 | 11441k| 6.3 | 437M| 62 | 8 | 198 | 16 | 198 | 18 | 24 | 45k| 22k| 0.000000e+00 | 2.300000e+01 | Inf
1643.55/1644.09 c 1470s| 1830k|678438 | 11501k| 6.3 | 439M| 62 | - | 198 | 13 | 0 | 0 | 24 | 45k| 22k| 0.000000e+00 | 2.300000e+01 | Inf
1651.34/1651.83 c 1477s| 1840k|680727 | 11560k| 6.3 | 440M| 62 | - | 198 | 15 | 0 | 0 | 24 | 45k| 22k| 0.000000e+00 | 2.300000e+01 | Inf
1659.05/1659.58 c 1484s| 1850k|682998 | 11619k| 6.3 | 442M| 62 | 8 | 198 | 13 | 198 | 18 | 24 | 45k| 22k| 0.000000e+00 | 2.300000e+01 | Inf
1666.85/1667.34 c 1491s| 1860k|685210 | 11678k| 6.3 | 444M| 62 | - | 198 | 16 | 198 | 18 | 24 | 45k| 22k| 0.000000e+00 | 2.300000e+01 | Inf
1674.54/1675.09 c 1498s| 1870k|687363 | 11737k| 6.3 | 446M| 62 | - | 198 | 13 | 198 | 18 | 24 | 46k| 22k| 0.000000e+00 | 2.300000e+01 | Inf
1682.34/1682.89 c 1505s| 1880k|689784 | 11795k| 6.3 | 448M| 62 | - | 198 | 14 | 198 | 18 | 24 | 46k| 22k| 0.000000e+00 | 2.300000e+01 | Inf
1690.34/1690.88 c 1512s| 1890k|692377 | 11855k| 6.3 | 450M| 62 | 8 | 198 | 14 | 198 | 18 | 24 | 46k| 22k| 0.000000e+00 | 2.300000e+01 | Inf
1698.23/1698.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1698.23/1698.73 c 1519s| 1900k|694908 | 11914k| 6.3 | 451M| 62 | 8 | 198 | 15 | 198 | 18 | 24 | 46k| 22k| 0.000000e+00 | 2.300000e+01 | Inf
1706.04/1706.54 c 1526s| 1910k|697251 | 11972k| 6.3 | 453M| 62 | 8 | 198 | 16 | 198 | 18 | 24 | 47k| 22k| 0.000000e+00 | 2.300000e+01 | Inf
1714.24/1714.72 c 1533s| 1920k|699778 | 12035k| 6.3 | 455M| 62 | 8 | 198 | 13 | 198 | 18 | 24 | 47k| 22k| 0.000000e+00 | 2.300000e+01 | Inf
1722.93/1723.40 c 1541s| 1930k|703529 | 12098k| 6.3 | 458M| 62 | 8 | 198 | 15 | 198 | 18 | 24 | 47k| 22k| 0.000000e+00 | 2.300000e+01 | Inf
1730.94/1731.49 c 1548s| 1940k|706558 | 12160k| 6.3 | 460M| 62 | - | 198 | 13 | 198 | 18 | 24 | 47k| 22k| 0.000000e+00 | 2.300000e+01 | Inf
1738.82/1739.34 c 1555s| 1950k|709111 | 12220k| 6.3 | 462M| 62 | - | 198 | 15 | 198 | 18 | 24 | 47k| 22k| 0.000000e+00 | 2.300000e+01 | Inf
1746.73/1747.23 c 1562s| 1960k|711606 | 12280k| 6.3 | 464M| 62 | 8 | 198 | 16 | 198 | 18 | 24 | 48k| 22k| 0.000000e+00 | 2.300000e+01 | Inf
1754.32/1754.88 c 1569s| 1970k|713749 | 12339k| 6.3 | 465M| 62 | 8 | 198 | 13 | 198 | 18 | 24 | 48k| 22k| 0.000000e+00 | 2.300000e+01 | Inf
1762.12/1762.62 c 1576s| 1980k|715988 | 12400k| 6.3 | 467M| 62 | - | 198 | 13 | 0 | 0 | 24 | 48k| 22k| 0.000000e+00 | 2.300000e+01 | Inf
1769.91/1770.41 c 1583s| 1990k|718148 | 12460k| 6.3 | 469M| 62 | 8 | 198 | 13 | 198 | 18 | 24 | 48k| 22k| 0.000000e+00 | 2.300000e+01 | Inf
1777.71/1778.22 c 1590s| 2000k|720456 | 12520k| 6.3 | 471M| 62 | - | 198 | 13 | 198 | 18 | 24 | 48k| 23k| 0.000000e+00 | 2.300000e+01 | Inf
1785.42/1785.94 c 1597s| 2010k|722417 | 12579k| 6.3 | 473M| 62 | - | 198 | 13 | 198 | 18 | 24 | 49k| 23k| 0.000000e+00 | 2.300000e+01 | Inf
1793.12/1793.60 c 1604s| 2020k|724292 | 12638k| 6.3 | 474M| 62 | - | 198 | 14 | 198 | 18 | 24 | 49k| 23k| 0.000000e+00 | 2.300000e+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) : 1609.93
1800.02/1800.50 c Solving Nodes : 2028996
1800.02/1800.50 c Primal Bound : +2.30000000000000e+01 (60 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 -x198 x197 x196 x195 x194 x193 -x192 -x191 -x190 x189 x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 x180 -x179 -x178 x177 -x176
1800.02/1800.50 v x175 x174 -x173 x172 -x171 x170 -x169 x168 x167 -x166 -x165 -x164 x163 x162 -x161 -x160 -x159 x158 x157 x156 x155 x154 x153
1800.02/1800.50 v -x152 -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 -x85
1800.02/1800.50 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
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 -x34
1800.02/1800.50 v -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 : 1609.93
1800.02/1800.50 c Original Problem :
1800.02/1800.50 c Problem name : HOME/instance-2665658-1276599083.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-2665658-1276599083.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, 70 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.02 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 1419191 0 55 3989 0 0 2830598
1800.02/1800.50 c linear : 8+ 7 3672481 0 0 182273 1274775 0 0 0
1800.02/1800.50 c logicor : 0+ 0 194342 0 0 1714 13080 0 0 0
1800.02/1800.50 c countsols : 0 0 0 29 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.11 0.00 0.00 25.11 0.00
1800.02/1800.50 c linear : 327.91 0.00 327.91 0.00 0.00
1800.02/1800.50 c logicor : 0.68 0.00 0.68 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.87 2 0 0
1800.02/1800.50 c rootredcost : 1.53 43 0 48
1800.02/1800.51 c pseudoobj : 34.41 3675276 2965 341838
1800.02/1800.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.51 c propagation : 16.03 185278 36611 48005 72.8 26 36.4 -
1800.02/1800.51 c infeasible LP : 1.84 22248 16530 19746 44.0 2 54.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 2 2 2 2.5 0 0.0 -
1800.02/1800.51 c applied globally : - - - 1046 28.5 - - -
1800.02/1800.51 c applied locally : - - - 48379 65.2 - - -
1800.02/1800.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.51 c cut pool : 0.00 5 - - 9 - (maximal pool size: 70)
1800.02/1800.51 c redcost : 56.41 2028406 0 11824569 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.00 6 0 0 0 0
1800.02/1800.51 c strongcg : 0.01 6 0 0 28 0
1800.02/1800.51 c cmir : 0.05 6 0 0 20 0
1800.02/1800.51 c flowcover : 0.06 6 0 0 26 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 62
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.39 1419162 55 3989 0 0 2830598
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.37 - 29
1800.02/1800.51 c pseudo solutions : 0.00 - 0
1800.02/1800.51 c feaspump : 0.15 1 0
1800.02/1800.51 c oneopt : 1.24 40 0
1800.02/1800.51 c crossover : 17.54 11 0
1800.02/1800.51 c rootsoldiving : 9.87 1309 17
1800.02/1800.51 c objpscostdiving : 5.75 1840 0
1800.02/1800.51 c guideddiving : 32.63 5884 5
1800.02/1800.51 c coefdiving : 80.49 5885 2
1800.02/1800.51 c pscostdiving : 40.35 5885 0
1800.02/1800.51 c fracdiving : 42.61 5885 2
1800.02/1800.51 c veclendiving : 25.79 5885 1
1800.02/1800.51 c linesearchdiving : 27.74 5885 3
1800.02/1800.51 c trivial : 0.00 2 0
1800.02/1800.51 c simplerounding : 1.36 0 0
1800.02/1800.51 c zirounding : 1.16 1000 0
1800.02/1800.51 c rounding : 2.29 17179 0
1800.02/1800.51 c shifting : 5.79 5385 0
1800.02/1800.51 c intshifting : 0.06 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.76 0 0
1800.02/1800.51 c trysol : 1.81 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 : 699.30 1936508 10884373 5.62 15564.67
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: 168.08 770463 1807661 2.35 10754.77
1800.02/1800.51 c strong branching : 9.02 23192 93801 4.04 10399.22
1800.02/1800.51 c (at root node) : - 9 480 53.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 : 2028996
1800.02/1800.51 c nodes (total) : 2028996
1800.02/1800.51 c nodes left : 726114
1800.02/1800.51 c max depth : 62
1800.02/1800.51 c max depth (total): 62
1800.02/1800.51 c backtracks : 305648 (15.1%)
1800.02/1800.51 c delayed cutoffs : 5994
1800.02/1800.51 c repropagations : 13975 (49165 domain reductions, 5994 cutoffs)
1800.02/1800.51 c avg switch length: 5.52
1800.02/1800.51 c switching time : 75.00
1800.02/1800.51 c Solution :
1800.02/1800.51 c Solutions found : 60 (43 improvements)
1800.02/1800.51 c First Solution : +9.87000000000000e+02 (in run 1, after 1 nodes, 0.14 seconds, depth 0, found by <trysol>)
1800.02/1800.51 c Primal Bound : +2.30000000000000e+01 (in run 1, after 919741 nodes, 802.28 seconds, depth 48, 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 : 105
OK 23
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665658-1276599083/watcher-2665658-1276599083 -o /tmp/evaluation-result-2665658-1276599083/solver-2665658-1276599083 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665658-1276599083.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.98 0.99 3/105 9311 /proc/meminfo: memFree=1537236/2059040 swapFree=4192956/4192956 [pid=9311] ppid=9309 vsize=9288 CPUtime=0 /proc/9311/stat : 9311 (pbscip.linux.x8) R 9309 9311 2452 0 -1 4202496 1132 0 0 0 0 0 0 0 25 0 1 0 1202440 9510912 1053 1992294400 4194304 9819077 140733737686384 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9311/statm: 2322 1062 371 1374 0 943 0 [startup+0.0392959 s] /proc/loadavg: 0.99 0.98 0.99 3/105 9311 /proc/meminfo: memFree=1537236/2059040 swapFree=4192956/4192956 [pid=9311] ppid=9309 vsize=13992 CPUtime=0.03 /proc/9311/stat : 9311 (pbscip.linux.x8) R 9309 9311 2452 0 -1 4202496 2811 0 0 0 3 0 0 0 25 0 1 0 1202440 14327808 2122 1992294400 4194304 9819077 140733737686384 18446744073709551615 8675093 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9311/statm: 3498 2138 506 1374 0 2119 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 13992 [startup+0.101301 s] /proc/loadavg: 0.99 0.98 0.99 3/105 9311 /proc/meminfo: memFree=1537236/2059040 swapFree=4192956/4192956 [pid=9311] ppid=9309 vsize=22876 CPUtime=0.09 /proc/9311/stat : 9311 (pbscip.linux.x8) R 9309 9311 2452 0 -1 4202496 5060 0 0 0 8 1 0 0 25 0 1 0 1202440 23425024 4104 1992294400 4194304 9819077 140733737686384 18446744073709551615 5908915 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9311/statm: 5719 4104 673 1374 0 4340 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 22876 [startup+0.301322 s] /proc/loadavg: 0.99 0.98 0.99 3/105 9311 /proc/meminfo: memFree=1537236/2059040 swapFree=4192956/4192956 [pid=9311] ppid=9309 vsize=20972 CPUtime=0.29 /proc/9311/stat : 9311 (pbscip.linux.x8) R 9309 9311 2452 0 -1 4202496 6247 0 0 0 27 2 0 0 25 0 1 0 1202440 21475328 3968 1992294400 4194304 9819077 140733737686384 18446744073709551615 8675093 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9311/statm: 5243 3968 686 1374 0 3864 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 20972 [startup+0.701364 s] /proc/loadavg: 0.99 0.98 0.99 3/105 9311 /proc/meminfo: memFree=1537236/2059040 swapFree=4192956/4192956 [pid=9311] ppid=9309 vsize=17628 CPUtime=0.69 /proc/9311/stat : 9311 (pbscip.linux.x8) R 9309 9311 2452 0 -1 4202496 13416 0 0 0 61 8 0 0 25 0 1 0 1202440 18051072 3010 1992294400 4194304 9819077 140733737686384 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9311/statm: 4327 3008 722 1374 0 2948 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17628 [startup+1.50145 s] /proc/loadavg: 0.99 0.98 0.99 2/106 9312 /proc/meminfo: memFree=1527184/2059040 swapFree=4192956/4192956 [pid=9311] ppid=9309 vsize=17148 CPUtime=1.49 /proc/9311/stat : 9311 (pbscip.linux.x8) R 9309 9311 2452 0 -1 4202496 22525 0 0 0 131 18 0 0 25 0 1 0 1202440 17559552 3010 1992294400 4194304 9819077 140733737686384 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9311/statm: 4287 3010 724 1374 0 2908 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17148 [startup+3.10161 s] /proc/loadavg: 0.99 0.98 0.99 2/106 9312 /proc/meminfo: memFree=1527184/2059040 swapFree=4192956/4192956 [pid=9311] ppid=9309 vsize=17648 CPUtime=3.09 /proc/9311/stat : 9311 (pbscip.linux.x8) R 9309 9311 2452 0 -1 4202496 41417 0 0 0 271 38 0 0 25 0 1 0 1202440 18071552 3123 1992294400 4194304 9819077 140733737686384 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9311/statm: 4412 3123 726 1374 0 3033 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17648 [startup+6.30095 s] /proc/loadavg: 0.99 0.98 0.99 2/106 9312 /proc/meminfo: memFree=1525696/2059040 swapFree=4192956/4192956 [pid=9311] ppid=9309 vsize=19312 CPUtime=6.29 /proc/9311/stat : 9311 (pbscip.linux.x8) R 9309 9311 2452 0 -1 4202496 70389 0 0 0 558 71 0 0 25 0 1 0 1202440 19775488 3521 1992294400 4194304 9819077 140733737686384 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9311/statm: 4828 3521 726 1374 0 3449 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19312 [startup+12.7016 s] /proc/loadavg: 0.99 0.98 0.99 2/106 9312 /proc/meminfo: memFree=1522844/2059040 swapFree=4192956/4192956 [pid=9311] ppid=9309 vsize=21912 CPUtime=12.69 /proc/9311/stat : 9311 (pbscip.linux.x8) R 9309 9311 2452 0 -1 4202496 127532 0 0 0 1130 139 0 0 25 0 1 0 1202440 22437888 4226 1992294400 4194304 9819077 140733737686384 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9311/statm: 5518 4227 726 1374 0 4139 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 21912 [startup+25.501 s] /proc/loadavg: 0.99 0.98 0.99 2/106 9312 /proc/meminfo: memFree=1517760/2059040 swapFree=4192956/4192956 [pid=9311] ppid=9309 vsize=26408 CPUtime=25.48 /proc/9311/stat : 9311 (pbscip.linux.x8) R 9309 9311 2452 0 -1 4202496 258140 0 0 0 2263 285 0 0 25 0 1 0 1202440 27041792 5380 1992294400 4194304 9819077 140733737686384 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9311/statm: 6602 5380 727 1374 0 5223 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 26408 [startup+51.1006 s] /proc/loadavg: 0.99 0.98 0.99 2/106 9314 /proc/meminfo: memFree=1505732/2059040 swapFree=4192956/4192956 [pid=9311] ppid=9309 vsize=38776 CPUtime=51.08 /proc/9311/stat : 9311 (pbscip.linux.x8) R 9309 9311 2452 0 -1 4202496 503858 0 0 0 4536 572 0 0 25 0 1 0 1202440 39706624 8516 1992294400 4194304 9819077 140733737686384 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9311/statm: 9694 8516 727 1374 0 8315 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 38776 [startup+102.308 s] /proc/loadavg: 0.99 0.98 0.99 2/106 9314 /proc/meminfo: memFree=1475848/2059040 swapFree=4192956/4192956 [pid=9311] ppid=9309 vsize=69844 CPUtime=102.27 /proc/9311/stat : 9311 (pbscip.linux.x8) R 9309 9311 2452 0 -1 4202496 960405 0 0 0 9117 1110 0 0 25 0 1 0 1202440 71520256 15914 1992294400 4194304 9819077 140733737686384 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9311/statm: 17461 15914 727 1374 0 16082 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 69844 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/106 9316 /proc/meminfo: memFree=1446832/2059040 swapFree=4192956/4192956 [pid=9311] ppid=9309 vsize=97460 CPUtime=162.25 /proc/9311/stat : 9311 (pbscip.linux.x8) R 9309 9311 2452 0 -1 4202496 1468732 0 0 0 14475 1750 0 0 25 0 1 0 1202440 99799040 22979 1992294400 4194304 9819077 140733737686384 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9311/statm: 24365 22979 727 1374 0 22986 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 97460 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/106 9318 /proc/meminfo: memFree=1422156/2059040 swapFree=4192956/4192956 [pid=9311] ppid=9309 vsize=122684 CPUtime=222.23 /proc/9311/stat : 9311 (pbscip.linux.x8) R 9309 9311 2452 0 -1 4202496 1971828 0 0 0 19849 2374 0 0 25 0 1 0 1202440 125628416 29384 1992294400 4194304 9819077 140733737686384 18446744073709551615 7816434 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9311/statm: 30671 29384 727 1374 0 29292 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 122684 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/106 9320 /proc/meminfo: memFree=1397232/2059040 swapFree=4192956/4192956 [pid=9311] ppid=9309 vsize=149076 CPUtime=282.22 /proc/9311/stat : 9311 (pbscip.linux.x8) R 9309 9311 2452 0 -1 4202496 2495420 0 0 0 25211 3011 0 0 25 0 1 0 1202440 152653824 35615 1992294400 4194304 9819077 140733737686384 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9311/statm: 37269 35615 727 1374 0 35890 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 149076 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/106 9322 /proc/meminfo: memFree=1387064/2059040 swapFree=4192956/4192956 [pid=9311] ppid=9309 vsize=160264 CPUtime=342.2 /proc/9311/stat : 9311 (pbscip.linux.x8) R 9309 9311 2452 0 -1 4202496 3000007 0 0 0 30600 3620 0 0 25 0 1 0 1202440 164110336 37984 1992294400 4194304 9819077 140733737686384 18446744073709551615 4978487 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9311/statm: 40066 37984 727 1374 0 38687 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 160264 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/106 9322 /proc/meminfo: memFree=1360528/2059040 swapFree=4192956/4192956 [pid=9311] ppid=9309 vsize=187188 CPUtime=402.18 /proc/9311/stat : 9311 (pbscip.linux.x8) R 9309 9311 2452 0 -1 4202496 3500613 0 0 0 35985 4233 0 0 25 0 1 0 1202440 191680512 44883 1992294400 4194304 9819077 140733737686384 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9311/statm: 46837 44884 727 1374 0 45458 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 187188 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/106 9324 /proc/meminfo: memFree=1345772/2059040 swapFree=4192956/4192956 [pid=9311] ppid=9309 vsize=199832 CPUtime=462.18 /proc/9311/stat : 9311 (pbscip.linux.x8) R 9309 9311 2452 0 -1 4202496 4003582 0 0 0 41375 4843 0 0 25 0 1 0 1202440 204627968 48147 1992294400 4194304 9819077 140733737686384 18446744073709551615 4979102 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9311/statm: 49958 48147 727 1374 0 48579 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 199832 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/106 9326 /proc/meminfo: memFree=1331884/2059040 swapFree=4192956/4192956 [pid=9311] ppid=9309 vsize=214004 CPUtime=522.15 /proc/9311/stat : 9311 (pbscip.linux.x8) R 9309 9311 2452 0 -1 4202496 4506408 0 0 0 46745 5470 0 0 25 0 1 0 1202440 219140096 51745 1992294400 4194304 9819077 140733737686384 18446744073709551615 7816416 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9311/statm: 53501 51745 727 1374 0 52122 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 214004 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/106 9337 /proc/meminfo: memFree=1319856/2059040 swapFree=4192956/4192956 [pid=9311] ppid=9309 vsize=225376 CPUtime=582.13 /proc/9311/stat : 9311 (pbscip.linux.x8) R 9309 9311 2452 0 -1 4202496 5009870 0 0 0 52133 6080 0 0 25 0 1 0 1202440 230785024 54660 1992294400 4194304 9819077 140733737686384 18446744073709551615 4979111 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9311/statm: 56344 54660 727 1374 0 54965 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 225376 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/106 9339 /proc/meminfo: memFree=1303860/2059040 swapFree=4192956/4192956 [pid=9311] ppid=9309 vsize=241072 CPUtime=642.12 /proc/9311/stat : 9311 (pbscip.linux.x8) R 9309 9311 2452 0 -1 4202496 5513607 0 0 0 57499 6713 0 0 25 0 1 0 1202440 246857728 58656 1992294400 4194304 9819077 140733737686384 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9311/statm: 60268 58656 727 1374 0 58889 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 241072 [startup+702.301 s] ################ # More data... # ################ /proc/9311/stat : 9311 (pbscip.linux.x8) R 9309 9311 2452 0 -1 4202496 9171136 0 0 0 94989 11211 0 0 25 0 1 0 1202440 343859200 80845 1992294400 4194304 9819077 140733737686384 18446744073709551615 6589170 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9311/statm: 83950 80845 727 1374 0 82571 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 335800 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 9351 /proc/meminfo: memFree=1199328/2059040 swapFree=4192956/4192956 [pid=9311] ppid=9309 vsize=350392 CPUtime=1121.99 /proc/9311/stat : 9311 (pbscip.linux.x8) R 9309 9311 2452 0 -1 4202496 9681725 0 0 0 100356 11843 0 0 25 0 1 0 1202440 358801408 84610 1992294400 4194304 9819077 140733737686384 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9311/statm: 87598 84610 727 1374 0 86219 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 350392 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 9353 /proc/meminfo: memFree=1176512/2059040 swapFree=4192956/4192956 [pid=9311] ppid=9309 vsize=372568 CPUtime=1181.97 /proc/9311/stat : 9311 (pbscip.linux.x8) R 9309 9311 2452 0 -1 4202496 10192795 0 0 0 105723 12474 0 0 25 0 1 0 1202440 381509632 90244 1992294400 4194304 9819077 140733737686384 18446744073709551615 6372765 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9311/statm: 93142 90244 727 1374 0 91763 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 372568 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 9355 /proc/meminfo: memFree=1160020/2059040 swapFree=4192956/4192956 [pid=9311] ppid=9309 vsize=388432 CPUtime=1241.95 /proc/9311/stat : 9311 (pbscip.linux.x8) R 9309 9311 2452 0 -1 4202496 10705359 0 0 0 111086 13109 0 0 25 0 1 0 1202440 397754368 94302 1992294400 4194304 9819077 140733737686384 18446744073709551615 4978064 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9311/statm: 97108 94302 727 1374 0 95729 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 388432 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 9355 /proc/meminfo: memFree=1145636/2059040 swapFree=4192956/4192956 [pid=9311] ppid=9309 vsize=402360 CPUtime=1301.95 /proc/9311/stat : 9311 (pbscip.linux.x8) R 9309 9311 2452 0 -1 4202496 11216421 0 0 0 116457 13738 0 0 25 0 1 0 1202440 412016640 97887 1992294400 4194304 9819077 140733737686384 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9311/statm: 100590 97887 727 1374 0 99211 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 402360 [startup+1362.3 s] /proc/loadavg: 1.07 1.02 1.00 2/106 9357 /proc/meminfo: memFree=1130880/2059040 swapFree=4192956/4192956 [pid=9311] ppid=9309 vsize=417208 CPUtime=1361.92 /proc/9311/stat : 9311 (pbscip.linux.x8) R 9309 9311 2452 0 -1 4202496 11721188 0 0 0 121820 14372 0 0 25 0 1 0 1202440 427220992 101635 1992294400 4194304 9819077 140733737686384 18446744073709551615 4979093 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9311/statm: 104302 101635 727 1374 0 102923 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 417208 [startup+1422.31 s] /proc/loadavg: 1.02 1.01 1.00 2/106 9359 /proc/meminfo: memFree=1114636/2059040 swapFree=4192956/4192956 [pid=9311] ppid=9309 vsize=432812 CPUtime=1421.92 /proc/9311/stat : 9311 (pbscip.linux.x8) R 9309 9311 2452 0 -1 4202496 12226390 0 0 0 127186 15006 0 0 25 0 1 0 1202440 443199488 105698 1992294400 4194304 9819077 140733737686384 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9311/statm: 108243 105699 727 1374 0 106864 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 432812 [startup+1482.3 s] /proc/loadavg: 1.01 1.00 1.00 2/106 9361 /proc/meminfo: memFree=1095788/2059040 swapFree=4192956/4192956 [pid=9311] ppid=9309 vsize=450908 CPUtime=1481.89 /proc/9311/stat : 9311 (pbscip.linux.x8) R 9309 9311 2452 0 -1 4202496 12733212 0 0 0 132548 15641 0 0 25 0 1 0 1202440 461729792 110244 1992294400 4194304 9819077 140733737686384 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9311/statm: 112727 110244 727 1374 0 111348 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 450908 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 9363 /proc/meminfo: memFree=1083140/2059040 swapFree=4192956/4192956 [pid=9311] ppid=9309 vsize=463188 CPUtime=1541.88 /proc/9311/stat : 9311 (pbscip.linux.x8) R 9309 9311 2452 0 -1 4202496 13240190 0 0 0 137916 16272 0 0 25 0 1 0 1202440 474304512 113377 1992294400 4194304 9819077 140733737686384 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9311/statm: 115797 113377 727 1374 0 114418 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 463188 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 9363 /proc/meminfo: memFree=1070740/2059040 swapFree=4192956/4192956 [pid=9311] ppid=9309 vsize=475312 CPUtime=1601.86 /proc/9311/stat : 9311 (pbscip.linux.x8) R 9309 9311 2452 0 -1 4202496 13749478 0 0 0 143293 16893 0 0 25 0 1 0 1202440 486719488 116486 1992294400 4194304 9819077 140733737686384 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9311/statm: 118828 116486 727 1374 0 117449 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 475312 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 9365 /proc/meminfo: memFree=1054744/2059040 swapFree=4192956/4192956 [pid=9311] ppid=9309 vsize=491304 CPUtime=1661.84 /proc/9311/stat : 9311 (pbscip.linux.x8) R 9309 9311 2452 0 -1 4202496 14260781 0 0 0 148658 17526 0 0 25 0 1 0 1202440 503095296 120553 1992294400 4194304 9819077 140733737686384 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9311/statm: 122826 120553 727 1374 0 121447 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 491304 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 9367 /proc/meminfo: memFree=1040608/2059040 swapFree=4192956/4192956 [pid=9311] ppid=9309 vsize=504960 CPUtime=1721.83 /proc/9311/stat : 9311 (pbscip.linux.x8) R 9309 9311 2452 0 -1 4202496 14772517 0 0 0 154013 18170 0 0 25 0 1 0 1202440 517079040 124046 1992294400 4194304 9819077 140733737686384 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9311/statm: 126000 124041 727 1374 0 124621 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 504960 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 9369 /proc/meminfo: memFree=1023992/2059040 swapFree=4192956/4192956 [pid=9311] ppid=9309 vsize=520712 CPUtime=1781.81 /proc/9311/stat : 9311 (pbscip.linux.x8) R 9309 9311 2452 0 -1 4202496 15281946 0 0 0 159368 18813 0 0 25 0 1 0 1202440 533209088 128026 1992294400 4194304 9819077 140733737686384 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9311/statm: 130178 128026 727 1374 0 128799 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 520712 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/106 9369 /proc/meminfo: memFree=1021264/2059040 swapFree=4192956/4192956 [pid=9311] ppid=9309 vsize=523300 CPUtime=1800.02 /proc/9311/stat : 9311 (pbscip.linux.x8) R 9309 9311 2452 0 -1 4202496 15435799 0 0 0 160993 19009 0 0 25 0 1 0 1202440 535859200 128719 1992294400 4194304 9819077 140733737686384 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9311/statm: 130825 128719 727 1374 0 129446 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 523300 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -9311 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9370 /proc/meminfo: memFree=1021256/2059040 swapFree=4192956/4192956 [pid=9311] ppid=9309 vsize=523300 CPUtime=1800.91 /proc/9311/stat : 9311 (pbscip.linux.x8) R 9309 9311 2452 0 -1 4202496 15435805 0 0 0 161082 19009 0 0 19 0 1 0 1202440 535859200 128720 1992294400 4194304 9819077 140733737686384 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9311/statm: 130825 128720 728 1374 0 129446 0 Current children cumulated CPU time (s) 1800.91 Current children cumulated vsize (KiB) 523300 [startup+1802.2 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9370 /proc/meminfo: memFree=1021132/2059040 swapFree=4192956/4192956 [pid=9311] ppid=9309 vsize=523300 CPUtime=1801.71 /proc/9311/stat : 9311 (pbscip.linux.x8) R 9309 9311 2452 0 -1 4202496 15435805 0 0 0 161162 19009 0 0 20 0 1 0 1202440 535859200 128720 1992294400 4194304 9819077 140733737686384 18446744073709551615 6180095 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9311/statm: 130825 128720 728 1374 0 129446 0 Current children cumulated CPU time (s) 1801.71 Current children cumulated vsize (KiB) 523300 [startup+1802.4 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9370 /proc/meminfo: memFree=1021132/2059040 swapFree=4192956/4192956 [pid=9311] ppid=9309 vsize=520980 CPUtime=1801.91 /proc/9311/stat : 9311 (pbscip.linux.x8) R 9309 9311 2452 0 -1 4202496 15435805 0 0 0 161182 19009 0 0 20 0 1 0 1202440 533483520 128140 1992294400 4194304 9819077 140733737686384 18446744073709551615 6179930 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9311/statm: 130245 128140 728 1374 0 128866 0 Current children cumulated CPU time (s) 1801.91 Current children cumulated vsize (KiB) 520980 [startup+1802.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9370 /proc/meminfo: memFree=1021132/2059040 swapFree=4192956/4192956 [pid=9311] ppid=9309 vsize=519956 CPUtime=1802.01 /proc/9311/stat : 9311 (pbscip.linux.x8) R 9309 9311 2452 0 -1 4202496 15435805 0 0 0 161192 19009 0 0 21 0 1 0 1202440 532434944 127884 1992294400 4194304 9819077 140733737686384 18446744073709551615 6180095 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9311/statm: 129989 127884 728 1374 0 128610 0 Current children cumulated CPU time (s) 1802.01 Current children cumulated vsize (KiB) 519956 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.56 CPU time (s): 1802.07 CPU user time (s): 1611.93 CPU system time (s): 190.142 CPU usage (%): 99.9733 Max. virtual memory (cumulated for all children) (KiB): 523300 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1611.93 system time used= 190.142 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 15435805 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= 1293 runsolver used 3.11153 second user time and 8.39272 second system time The end
Begin job on node081 at 2010-06-15 12:51:23 IDJOB=2665658 IDBENCH=2895 IDSOLVER=1168 FILE ID=node081/2665658-1276599083 PBS_JOBID= 11173553 Free space on /tmp= 121808 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_2.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2665658-1276599083/watcher-2665658-1276599083 -o /tmp/evaluation-result-2665658-1276599083/solver-2665658-1276599083 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665658-1276599083.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 1d334f36842eecbe8db395477b7c6bcb RANDOM SEED=2034689974 node081.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.212 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.42 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.212 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.41 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1537764 kB Buffers: 48292 kB Cached: 346252 kB SwapCached: 0 kB Active: 185536 kB Inactive: 268564 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1537764 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 6208 kB Writeback: 0 kB AnonPages: 59592 kB Mapped: 15368 kB Slab: 45428 kB PageTables: 3940 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180536 kB VmallocTotal: 34359738367 kB VmallocUsed: 264964 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 121804 MiB End job on node081 at 2010-06-15 13:21:26