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) | 3 | 1800.61 | 1801.17 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_5_40_1.opb |
| MD5SUM | 5bf563c7058af01702ea80887f1d43ad |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 2 |
| Best CPU time to get the best result obtained on this benchmark | 1800.03 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 1 |
| Optimality of the best value was proved | NO |
| Number of variables | 120 |
| Total number of constraints | 10 |
| 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 | 10 |
| Minimum length of a constraint | 55 |
| Maximum length of a constraint | 56 |
| Number of terms in the objective function | 80 |
| 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 | 2550 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1086 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 3768 |
| Number of bits of the biggest sum of numbers | 12 |
| 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-2665664-1276616201.opb>
0.00/0.01 c original problem has 120 variables (120 bin, 0 int, 0 impl, 0 cont) and 10 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.01 c (round 1) 0 del vars, 5 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02 c (0.0s) probing: 101/120 (84.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.02 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.02 c presolving (2 rounds):
0.00/0.02 c 0 deleted vars, 5 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.02 c 0 implications, 0 cliques
0.00/0.02 c presolved problem has 120 variables (120 bin, 0 int, 0 impl, 0 cont) and 5 constraints
0.00/0.02 c 5 constraints of type <linear>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.01
0.00/0.02 c - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 1.2.1.2
0.00/0.02 c
0.00/0.02 c # frequency for displaying node information lines
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02 c display/freq = 10000
0.00/0.02 c
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = 1800
0.00/0.02 c
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = 1620
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify inequalities
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/linear/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify knapsacks
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c separating/rapidlearning/freq = 0
0.00/0.02 c
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving
0.00/0.02 c
0.00/0.02 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.02 c 0.0s| 1 | 0 | 23 | - | 422k| 0 | 5 | 120 | 5 | 120 | 5 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.10 o 996
0.09/0.10 c y 0.1s| 1 | 0 | 23 | - | 456k| 0 | 5 | 120 | 5 | 120 | 5 | 0 | 0 | 0 | 0.000000e+00 | 9.960000e+02 | Inf
0.09/0.10 c 0.1s| 1 | 0 | 29 | - | 585k| 0 | 10 | 120 | 92 | 120 | 11 | 6 | 0 | 0 | 0.000000e+00 | 9.960000e+02 | Inf
0.09/0.11 c 0.1s| 1 | 0 | 36 | - | 629k| 0 | 10 | 120 | 92 | 120 | 16 | 11 | 0 | 0 | 0.000000e+00 | 9.960000e+02 | Inf
0.09/0.12 c 0.1s| 1 | 0 | 43 | - | 683k| 0 | 11 | 120 | 92 | 120 | 22 | 17 | 0 | 0 | 0.000000e+00 | 9.960000e+02 | Inf
0.09/0.14 c 0.1s| 1 | 0 | 48 | - | 727k| 0 | 11 | 120 | 92 | 120 | 27 | 22 | 0 | 0 | 0.000000e+00 | 9.960000e+02 | Inf
0.09/0.15 c 0.1s| 1 | 0 | 53 | - | 773k| 0 | 14 | 120 | 92 | 120 | 30 | 25 | 0 | 0 | 0.000000e+00 | 9.960000e+02 | Inf
0.09/0.17 c 0.1s| 1 | 0 | 59 | - | 786k| 0 | 12 | 120 | 92 | 120 | 32 | 27 | 0 | 0 | 0.000000e+00 | 9.960000e+02 | Inf
0.19/0.21 c 0.2s| 1 | 2 | 59 | - | 787k| 0 | 12 | 120 | 92 | 120 | 32 | 27 | 0 | 9 | 0.000000e+00 | 9.960000e+02 | Inf
0.19/0.27 o 198
0.19/0.27 c c 0.2s| 25 | 26 | 189 | 5.4 | 824k| 24 | - | 120 | 92 | 120 | 12 | 27 | 0 | 117 | 0.000000e+00 | 1.980000e+02 | Inf
0.29/0.34 o 80
0.29/0.34 c s 0.3s| 68 | 63 | 383 | 4.8 | 839k| 31 | 5 | 120 | 92 | 120 | 12 | 27 | 1 | 206 | 0.000000e+00 | 8.000000e+01 | Inf
0.29/0.36 o 78
0.29/0.36 c * 0.3s| 80 | 75 | 420 | 4.6 | 850k| 31 | - | 120 | 91 | 120 | 12 | 27 | 1 | 230 | 0.000000e+00 | 7.800000e+01 | Inf
0.59/0.66 o 77
0.59/0.66 c l 0.5s| 402 | 377 | 1891 | 4.6 |1041k| 33 | - | 120 | 110 | 120 | 12 | 27 | 34 | 372 | 0.000000e+00 | 7.700000e+01 | Inf
0.59/0.66 o 75
0.59/0.66 c g 0.5s| 402 | 373 | 1891 | 4.6 |1040k| 33 | - | 120 | 110 | 120 | 12 | 27 | 34 | 372 | 0.000000e+00 | 7.500000e+01 | Inf
1.19/1.27 o 58
1.19/1.27 c c 1.0s| 1020 | 938 | 5440 | 5.3 |1330k| 33 | - | 120 | 120 | 120 | 12 | 27 | 85 | 476 | 0.000000e+00 | 5.800000e+01 | Inf
1.29/1.30 o 57
1.29/1.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.29/1.30 c p 1.1s| 1050 | 968 | 5572 | 5.3 |1344k| 33 | - | 120 | 35 | 120 | 12 | 27 | 89 | 481 | 0.000000e+00 | 5.700000e+01 | Inf
1.59/1.60 o 56
1.59/1.60 c * 1.3s| 1423 | 1323 | 7668 | 5.4 |1496k| 33 | - | 120 | 43 | 120 | 12 | 27 | 121 | 506 | 0.000000e+00 | 5.600000e+01 | Inf
1.69/1.70 o 55
1.69/1.70 c * 1.4s| 1535 | 1411 | 8371 | 5.4 |1548k| 36 | - | 120 | 48 | 120 | 12 | 27 | 137 | 518 | 0.000000e+00 | 5.500000e+01 | Inf
1.79/1.80 o 32
1.79/1.80 c g 1.5s| 1670 | 1374 | 9103 | 5.4 |1541k| 36 | - | 120 | 53 | 120 | 12 | 27 | 154 | 519 | 0.000000e+00 | 3.200000e+01 | Inf
2.49/2.55 o 31
2.49/2.55 c v 2.1s| 2375 | 1983 | 14463 | 6.1 |1808k| 36 | - | 120 | 71 | 120 | 12 | 27 | 260 | 538 | 0.000000e+00 | 3.100000e+01 | Inf
3.39/3.45 o 29
3.39/3.45 c p 2.9s| 3128 | 2614 | 20607 | 6.6 |2097k| 36 | - | 120 | 96 | 120 | 12 | 27 | 440 | 553 | 0.000000e+00 | 2.900000e+01 | Inf
3.39/3.45 o 27
3.39/3.45 c l 2.9s| 3128 | 2589 | 20607 | 6.6 |2084k| 36 | - | 120 | 96 | 120 | 12 | 27 | 443 | 553 | 0.000000e+00 | 2.700000e+01 | Inf
4.89/4.91 o 25
4.89/4.91 c * 4.1s| 4277 | 3519 | 30324 | 7.1 |2502k| 36 | - | 120 | 116 | 120 | 12 | 27 | 688 | 592 | 0.000000e+00 | 2.500000e+01 | Inf
6.49/6.53 o 24
6.49/6.53 c * 5.5s| 5807 | 4663 | 41028 | 7.1 |3051k| 36 | - | 120 | 116 | 120 | 12 | 27 | 953 | 680 | 0.000000e+00 | 2.400000e+01 | Inf
6.60/6.67 o 22
6.60/6.67 c v 5.6s| 5970 | 4739 | 41821 | 7.0 |3085k| 36 | - | 120 | 116 | 120 | 12 | 27 | 975 | 685 | 0.000000e+00 | 2.200000e+01 | Inf
6.60/6.67 o 20
6.60/6.67 c l 5.6s| 5970 | 4663 | 41821 | 7.0 |3033k| 36 | - | 120 | 116 | 120 | 12 | 27 | 976 | 685 | 0.000000e+00 | 2.000000e+01 | Inf
6.89/6.97 o 19
6.89/6.97 c c 5.9s| 6307 | 4844 | 43947 | 7.0 |3131k| 36 | - | 120 | 120 | 120 | 12 | 27 |1021 | 689 | 0.000000e+00 | 1.900000e+01 | Inf
7.39/7.42 o 9
7.39/7.42 c g 6.2s| 6761 | 4439 | 46921 | 6.9 |2865k| 36 | - | 120 | 120 | 120 | 12 | 27 |1086 | 716 | 0.000000e+00 | 9.000000e+00 | Inf
9.79/9.85 c 8.3s| 10000 | 5993 | 64015 | 6.4 |3520k| 36 | 5 | 120 | 168 | 120 | 12 | 27 |1436 | 915 | 0.000000e+00 | 9.000000e+00 | Inf
15.49/15.55 c 13.3s| 20000 | 8592 |104846 | 5.2 |5022k| 36 | 5 | 120 | 244 | 120 | 12 | 27 |2339 |1263 | 0.000000e+00 | 9.000000e+00 | Inf
20.68/20.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
20.68/20.75 c 17.8s| 30000 | 9461 |140039 | 4.7 |5752k| 36 | 5 | 120 | 264 | 120 | 12 | 27 |3095 |1621 | 0.000000e+00 | 9.000000e+00 | Inf
25.78/25.83 c 22.1s| 40000 | 9548 |175792 | 4.4 |6019k| 36 | - | 120 | 264 | 120 | 12 | 27 |3736 |1968 | 0.000000e+00 | 9.000000e+00 | Inf
26.98/27.02 o 8
26.98/27.02 c *23.1s| 42243 | 9691 |184121 | 4.4 |6137k| 36 | - | 120 | 264 | 120 | 12 | 27 |3901 |2060 | 0.000000e+00 | 8.000000e+00 | Inf
30.79/30.82 c 26.3s| 50000 | 10740 |210960 | 4.2 |6826k| 36 | 5 | 120 | 317 | 120 | 12 | 27 |4480 |2208 | 0.000000e+00 | 8.000000e+00 | Inf
35.68/35.75 c 30.5s| 60000 | 11395 |246991 | 4.1 |7397k| 36 | 5 | 120 | 361 | 120 | 12 | 27 |5248 |2428 | 0.000000e+00 | 8.000000e+00 | Inf
40.59/40.66 c 34.6s| 70000 | 11741 |282010 | 4.0 |7837k| 36 | 5 | 120 | 374 | 120 | 12 | 27 |6044 |2594 | 0.000000e+00 | 8.000000e+00 | Inf
44.68/44.73 o 7
44.68/44.73 c *37.9s| 78341 | 11739 |312796 | 4.0 |7883k| 36 | - | 120 | 372 | 120 | 12 | 27 |6579 |2737 | 0.000000e+00 | 7.000000e+00 | Inf
44.68/44.74 o 5
44.68/44.74 c *37.9s| 78342 | 11344 |312796 | 4.0 |7338k| 36 | - | 120 | 372 | 120 | 12 | 27 |6579 |2737 | 0.000000e+00 | 5.000000e+00 | Inf
45.48/45.58 c 38.6s| 80000 | 11250 |319341 | 4.0 |7297k| 36 | - | 120 | 363 | 120 | 12 | 27 |6675 |2793 | 0.000000e+00 | 5.000000e+00 | Inf
50.27/50.36 c 42.5s| 90000 | 11189 |357641 | 4.0 |7346k| 36 | - | 120 | 412 | 120 | 12 | 27 |7192 |2973 | 0.000000e+00 | 5.000000e+00 | Inf
55.07/55.15 c 46.6s|100000 | 10991 |393821 | 3.9 |7265k| 36 | - | 120 | 379 | 120 | 12 | 27 |7650 |3158 | 0.000000e+00 | 5.000000e+00 | Inf
59.87/59.93 c 50.5s|110000 | 10766 |429192 | 3.9 |7153k| 36 | - | 120 | 383 | 120 | 12 | 27 |8223 |3347 | 0.000000e+00 | 5.000000e+00 | Inf
60.17/60.28 o 4
60.17/60.28 c *50.8s|110705 | 10359 |431699 | 3.9 |6698k| 36 | - | 120 | 375 | 120 | 12 | 27 |8256 |3364 | 0.000000e+00 | 4.000000e+00 | Inf
64.48/64.56 c 54.3s|120000 | 10098 |463923 | 3.9 |6568k| 36 | - | 120 | 407 | 120 | 12 | 27 |8906 |3479 | 0.000000e+00 | 4.000000e+00 | Inf
69.07/69.15 c 58.1s|130000 | 9734 |498566 | 3.8 |6329k| 36 | 5 | 120 | 404 | 120 | 12 | 27 |9621 |3592 | 0.000000e+00 | 4.000000e+00 | Inf
73.68/73.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
73.68/73.74 c 61.9s|140000 | 9375 |532961 | 3.8 |6031k| 36 | 5 | 120 | 313 | 120 | 12 | 27 | 10k|3716 | 0.000000e+00 | 4.000000e+00 | Inf
78.27/78.30 c 65.6s|150000 | 9263 |567803 | 3.8 |5966k| 37 | 5 | 120 | 356 | 120 | 12 | 27 | 11k|3860 | 0.000000e+00 | 4.000000e+00 | Inf
82.76/82.89 c 69.4s|160000 | 9100 |603198 | 3.8 |5834k| 37 | 5 | 120 | 318 | 120 | 12 | 27 | 11k|3984 | 0.000000e+00 | 4.000000e+00 | Inf
87.36/87.40 c 73.2s|170000 | 9185 |637745 | 3.8 |5845k| 37 | 5 | 120 | 326 | 120 | 12 | 27 | 12k|4075 | 0.000000e+00 | 4.000000e+00 | Inf
91.86/91.96 c 76.8s|180000 | 8986 |673627 | 3.7 |5746k| 37 | 5 | 120 | 357 | 120 | 12 | 27 | 13k|4224 | 0.000000e+00 | 4.000000e+00 | Inf
96.46/96.52 c 80.6s|190000 | 9007 |708618 | 3.7 |5766k| 37 | - | 120 | 358 | 120 | 12 | 27 | 13k|4322 | 0.000000e+00 | 4.000000e+00 | Inf
100.96/101.06 c 84.3s|200000 | 8948 |745605 | 3.7 |5836k| 37 | - | 120 | 425 | 120 | 12 | 27 | 14k|4435 | 0.000000e+00 | 4.000000e+00 | Inf
105.57/105.67 c 88.1s|210000 | 9167 |782329 | 3.7 |5968k| 37 | - | 120 | 461 | 120 | 12 | 27 | 15k|4526 | 0.000000e+00 | 4.000000e+00 | Inf
111.96/112.05 c 93.2s|220000 | 9227 |816972 | 3.7 |6089k| 37 | - | 120 | 455 | 120 | 12 | 27 | 15k|4631 | 0.000000e+00 | 4.000000e+00 | Inf
116.46/116.55 c 96.9s|230000 | 8811 |851291 | 3.7 |5683k| 37 | - | 120 | 412 | 120 | 12 | 27 | 16k|4731 | 0.000000e+00 | 4.000000e+00 | Inf
121.15/121.29 c 101s|240000 | 9922 |888573 | 3.7 |6369k| 37 | - | 120 | 461 | 120 | 12 | 27 | 17k|4826 | 0.000000e+00 | 4.000000e+00 | Inf
125.65/125.79 c 104s|250000 | 9836 |923113 | 3.7 |6481k| 37 | 5 | 120 | 408 | 120 | 12 | 27 | 17k|4937 | 0.000000e+00 | 4.000000e+00 | Inf
130.15/130.28 c 108s|260000 | 9602 |957161 | 3.7 |6428k| 37 | 5 | 120 | 399 | 120 | 12 | 27 | 18k|5057 | 0.000000e+00 | 4.000000e+00 | Inf
134.75/134.85 c 112s|270000 | 9586 |992426 | 3.7 |6505k| 37 | 5 | 120 | 435 | 120 | 12 | 27 | 19k|5138 | 0.000000e+00 | 4.000000e+00 | Inf
139.25/139.38 c 116s|280000 | 9519 | 1026k| 3.7 |6509k| 37 | 5 | 120 | 478 | 120 | 12 | 27 | 19k|5238 | 0.000000e+00 | 4.000000e+00 | Inf
143.74/143.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
143.74/143.87 c 119s|290000 | 9347 | 1061k| 3.7 |6432k| 37 | - | 120 | 455 | 120 | 12 | 27 | 20k|5333 | 0.000000e+00 | 4.000000e+00 | Inf
148.36/148.45 c 123s|300000 | 9839 | 1098k| 3.7 |6800k| 37 | 5 | 120 | 499 | 120 | 12 | 27 | 21k|5417 | 0.000000e+00 | 4.000000e+00 | Inf
152.94/153.01 c 127s|310000 | 9730 | 1133k| 3.7 |6841k| 37 | 5 | 120 | 474 | 120 | 12 | 27 | 21k|5529 | 0.000000e+00 | 4.000000e+00 | Inf
157.44/157.54 c 131s|320000 | 9476 | 1167k| 3.6 |6676k| 37 | - | 120 | 437 | 120 | 12 | 27 | 22k|5601 | 0.000000e+00 | 4.000000e+00 | Inf
161.94/162.08 c 134s|330000 | 9598 | 1202k| 3.6 |6654k| 37 | 5 | 120 | 454 | 120 | 12 | 27 | 23k|5691 | 0.000000e+00 | 4.000000e+00 | Inf
166.45/166.54 c 138s|340000 | 9681 | 1236k| 3.6 |6853k| 37 | - | 120 | 458 | 0 | 0 | 27 | 23k|5759 | 0.000000e+00 | 4.000000e+00 | Inf
170.84/170.94 c 142s|350000 | 9676 | 1269k| 3.6 |6898k| 37 | - | 120 | 455 | 0 | 0 | 27 | 24k|5829 | 0.000000e+00 | 4.000000e+00 | Inf
175.24/175.32 c 145s|360000 | 9194 | 1301k| 3.6 |6503k| 37 | - | 120 | 455 | 120 | 12 | 27 | 25k|5908 | 0.000000e+00 | 4.000000e+00 | Inf
179.74/179.86 c 149s|370000 | 9076 | 1337k| 3.6 |6440k| 37 | - | 120 | 505 | 120 | 12 | 27 | 25k|5993 | 0.000000e+00 | 4.000000e+00 | Inf
184.34/184.44 c 153s|380000 | 9445 | 1374k| 3.6 |6724k| 37 | - | 120 | 459 | 120 | 12 | 27 | 26k|6073 | 0.000000e+00 | 4.000000e+00 | Inf
188.83/188.94 c 156s|390000 | 9868 | 1411k| 3.6 |7054k| 37 | - | 120 | 481 | 120 | 12 | 27 | 26k|6149 | 0.000000e+00 | 4.000000e+00 | Inf
193.33/193.45 c 160s|400000 | 10015 | 1446k| 3.6 |7261k| 37 | - | 120 | 459 | 120 | 12 | 27 | 27k|6227 | 0.000000e+00 | 4.000000e+00 | Inf
197.84/197.97 c 164s|410000 | 9675 | 1481k| 3.6 |7135k| 37 | 5 | 120 | 454 | 120 | 12 | 27 | 28k|6297 | 0.000000e+00 | 4.000000e+00 | Inf
202.24/202.40 c 167s|420000 | 9466 | 1515k| 3.6 |7029k| 37 | 5 | 120 | 414 | 120 | 12 | 27 | 28k|6354 | 0.000000e+00 | 4.000000e+00 | Inf
206.74/206.89 c 171s|430000 | 9211 | 1551k| 3.6 |6823k| 37 | 5 | 120 | 393 | 120 | 12 | 27 | 29k|6416 | 0.000000e+00 | 4.000000e+00 | Inf
211.33/211.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
211.33/211.45 c 175s|440000 | 9640 | 1588k| 3.6 |6992k| 37 | 5 | 120 | 413 | 120 | 12 | 27 | 30k|6479 | 0.000000e+00 | 4.000000e+00 | Inf
215.83/215.99 c 179s|450000 | 10279 | 1624k| 3.6 |7490k| 37 | 5 | 120 | 413 | 120 | 12 | 27 | 30k|6542 | 0.000000e+00 | 4.000000e+00 | Inf
220.32/220.47 c 182s|460000 | 10280 | 1658k| 3.6 |7657k| 37 | - | 120 | 442 | 120 | 12 | 27 | 31k|6599 | 0.000000e+00 | 4.000000e+00 | Inf
220.93/221.04 o 3
220.93/221.04 c * 183s|461200 | 9860 | 1662k| 3.6 |6998k| 37 | - | 120 | 437 | 120 | 12 | 27 | 31k|6607 | 0.000000e+00 | 3.000000e+00 | Inf
225.43/225.51 c 186s|470000 | 9598 | 1691k| 3.6 |6889k| 37 | 5 | 120 | 449 | 120 | 12 | 27 | 32k|6668 | 0.000000e+00 | 3.000000e+00 | Inf
229.73/229.86 c 190s|480000 | 9580 | 1725k| 3.6 |6965k| 37 | 5 | 120 | 521 | 120 | 12 | 27 | 32k|6732 | 0.000000e+00 | 3.000000e+00 | Inf
234.23/234.34 c 194s|490000 | 9140 | 1759k| 3.6 |6640k| 37 | - | 120 | 488 | 120 | 12 | 27 | 33k|6855 | 0.000000e+00 | 3.000000e+00 | Inf
238.62/238.73 c 197s|500000 | 8679 | 1792k| 3.6 |6157k| 37 | 5 | 120 | 504 | 120 | 12 | 27 | 34k|6948 | 0.000000e+00 | 3.000000e+00 | Inf
243.22/243.35 c 201s|510000 | 9387 | 1829k| 3.6 |6472k| 37 | 5 | 120 | 552 | 120 | 12 | 27 | 34k|7059 | 0.000000e+00 | 3.000000e+00 | Inf
247.62/247.79 c 205s|520000 | 9252 | 1863k| 3.6 |6522k| 37 | 5 | 120 | 567 | 120 | 12 | 27 | 35k|7159 | 0.000000e+00 | 3.000000e+00 | Inf
252.12/252.24 c 208s|530000 | 8841 | 1896k| 3.6 |6293k| 37 | - | 120 | 537 | 120 | 12 | 27 | 36k|7294 | 0.000000e+00 | 3.000000e+00 | Inf
256.61/256.74 c 212s|540000 | 8519 | 1931k| 3.6 |5908k| 37 | 5 | 120 | 543 | 120 | 12 | 27 | 36k|7432 | 0.000000e+00 | 3.000000e+00 | Inf
261.11/261.21 c 216s|550000 | 8816 | 1964k| 3.6 |6208k| 37 | 5 | 120 | 645 | 120 | 12 | 27 | 37k|7559 | 0.000000e+00 | 3.000000e+00 | Inf
265.61/265.73 c 220s|560000 | 9083 | 1998k| 3.6 |6141k| 37 | 5 | 120 | 583 | 120 | 12 | 27 | 38k|7650 | 0.000000e+00 | 3.000000e+00 | Inf
270.11/270.25 c 223s|570000 | 10073 | 2034k| 3.6 |6785k| 37 | - | 120 | 576 | 120 | 12 | 27 | 38k|7747 | 0.000000e+00 | 3.000000e+00 | Inf
274.51/274.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
274.51/274.66 c 227s|580000 | 10337 | 2068k| 3.6 |7094k| 37 | 5 | 120 | 588 | 120 | 12 | 27 | 39k|7869 | 0.000000e+00 | 3.000000e+00 | Inf
278.90/279.06 c 230s|590000 | 10436 | 2103k| 3.6 |7277k| 37 | - | 120 | 552 | 120 | 12 | 27 | 39k|7951 | 0.000000e+00 | 3.000000e+00 | Inf
283.31/283.47 c 234s|600000 | 10150 | 2138k| 3.6 |7207k| 37 | - | 120 | 517 | 120 | 12 | 27 | 40k|8064 | 0.000000e+00 | 3.000000e+00 | Inf
287.71/287.83 c 238s|610000 | 9866 | 2171k| 3.6 |7113k| 37 | 5 | 120 | 558 | 120 | 12 | 27 | 40k|8163 | 0.000000e+00 | 3.000000e+00 | Inf
292.11/292.20 c 241s|620000 | 9370 | 2204k| 3.6 |6806k| 37 | 5 | 120 | 541 | 120 | 12 | 27 | 41k|8264 | 0.000000e+00 | 3.000000e+00 | Inf
296.51/296.60 c 245s|630000 | 9056 | 2238k| 3.6 |6559k| 37 | 5 | 120 | 520 | 120 | 12 | 27 | 42k|8391 | 0.000000e+00 | 3.000000e+00 | Inf
300.80/300.98 c 248s|640000 | 8905 | 2273k| 3.6 |6473k| 37 | - | 120 | 554 | 0 | 0 | 27 | 42k|8482 | 0.000000e+00 | 3.000000e+00 | Inf
305.29/305.40 c 252s|650000 | 8425 | 2308k| 3.6 |5922k| 37 | 5 | 120 | 490 | 120 | 12 | 27 | 43k|8612 | 0.000000e+00 | 3.000000e+00 | Inf
309.70/309.85 c 256s|660000 | 8744 | 2344k| 3.6 |6002k| 37 | 5 | 120 | 505 | 120 | 12 | 27 | 43k|8712 | 0.000000e+00 | 3.000000e+00 | Inf
314.20/314.31 c 259s|670000 | 8961 | 2380k| 3.6 |6224k| 37 | - | 120 | 504 | 120 | 12 | 27 | 43k|8804 | 0.000000e+00 | 3.000000e+00 | Inf
318.49/318.68 c 263s|680000 | 8698 | 2415k| 3.6 |6086k| 37 | - | 120 | 494 | 120 | 12 | 27 | 44k|8898 | 0.000000e+00 | 3.000000e+00 | Inf
322.90/323.05 c 266s|690000 | 8702 | 2450k| 3.6 |6037k| 37 | 5 | 120 | 505 | 120 | 12 | 27 | 44k|8991 | 0.000000e+00 | 3.000000e+00 | Inf
327.20/327.34 c 270s|700000 | 8239 | 2483k| 3.5 |5587k| 37 | - | 120 | 501 | 0 | 0 | 27 | 45k|9105 | 0.000000e+00 | 3.000000e+00 | Inf
331.89/332.03 c 274s|710000 | 8741 | 2524k| 3.6 |5528k| 37 | 5 | 120 | 450 | 120 | 12 | 27 | 45k|9202 | 0.000000e+00 | 3.000000e+00 | Inf
336.50/336.64 c 278s|720000 | 9752 | 2565k| 3.6 |6206k| 37 | 5 | 120 | 455 | 120 | 12 | 27 | 46k|9275 | 0.000000e+00 | 3.000000e+00 | Inf
341.19/341.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
341.19/341.31 c 282s|730000 | 10873 | 2604k| 3.6 |6921k| 37 | 5 | 120 | 498 | 120 | 12 | 27 | 46k|9399 | 0.000000e+00 | 3.000000e+00 | Inf
345.69/345.84 c 285s|740000 | 11103 | 2643k| 3.6 |7209k| 37 | 5 | 120 | 457 | 120 | 12 | 27 | 47k|9509 | 0.000000e+00 | 3.000000e+00 | Inf
350.19/350.34 c 289s|750000 | 11111 | 2681k| 3.6 |7357k| 37 | - | 120 | 461 | 120 | 12 | 27 | 47k|9620 | 0.000000e+00 | 3.000000e+00 | Inf
354.79/354.95 c 293s|760000 | 11585 | 2718k| 3.6 |7705k| 37 | - | 120 | 481 | 120 | 12 | 27 | 48k|9769 | 0.000000e+00 | 3.000000e+00 | Inf
359.29/359.42 c 296s|770000 | 12448 | 2754k| 3.6 |8285k| 37 | 5 | 120 | 476 | 120 | 12 | 27 | 48k|9856 | 0.000000e+00 | 3.000000e+00 | Inf
363.69/363.85 c 300s|780000 | 12659 | 2789k| 3.6 |8583k| 37 | 5 | 120 | 460 | 120 | 12 | 27 | 48k|9973 | 0.000000e+00 | 3.000000e+00 | Inf
368.08/368.25 c 304s|790000 | 12685 | 2824k| 3.6 |8752k| 37 | 5 | 120 | 485 | 120 | 12 | 27 | 49k| 10k| 0.000000e+00 | 3.000000e+00 | Inf
372.48/372.68 c 307s|800000 | 12997 | 2858k| 3.6 |9071k| 37 | - | 120 | 534 | 120 | 12 | 27 | 50k| 10k| 0.000000e+00 | 3.000000e+00 | Inf
376.88/377.08 c 311s|810000 | 12861 | 2893k| 3.6 |9114k| 37 | - | 120 | 494 | 120 | 12 | 27 | 50k| 10k| 0.000000e+00 | 3.000000e+00 | Inf
381.38/381.54 c 314s|820000 | 12616 | 2929k| 3.6 |9076k| 37 | - | 120 | 488 | 120 | 12 | 27 | 50k| 10k| 0.000000e+00 | 3.000000e+00 | Inf
385.78/385.95 c 318s|830000 | 12722 | 2965k| 3.6 |9255k| 37 | - | 120 | 519 | 120 | 12 | 27 | 51k| 10k| 0.000000e+00 | 3.000000e+00 | Inf
390.17/390.33 c 322s|840000 | 12640 | 3001k| 3.6 |9281k| 37 | 5 | 120 | 523 | 120 | 12 | 27 | 51k| 10k| 0.000000e+00 | 3.000000e+00 | Inf
394.57/394.73 c 325s|850000 | 12469 | 3037k| 3.6 |9252k| 38 | 5 | 120 | 500 | 120 | 12 | 27 | 52k| 10k| 0.000000e+00 | 3.000000e+00 | Inf
398.98/399.13 c 329s|860000 | 12294 | 3074k| 3.6 |9177k| 38 | - | 120 | 468 | 120 | 12 | 27 | 52k| 10k| 0.000000e+00 | 3.000000e+00 | Inf
403.37/403.57 c 333s|870000 | 12177 | 3110k| 3.6 |9164k| 38 | 5 | 120 | 503 | 120 | 12 | 27 | 53k| 11k| 0.000000e+00 | 3.000000e+00 | Inf
409.26/409.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
409.26/409.48 c 337s|880000 | 12019 | 3146k| 3.6 |9113k| 38 | - | 120 | 474 | 120 | 12 | 27 | 53k| 11k| 0.000000e+00 | 3.000000e+00 | Inf
413.77/413.90 c 341s|890000 | 11432 | 3183k| 3.6 |8729k| 38 | 5 | 120 | 438 | 120 | 12 | 27 | 53k| 11k| 0.000000e+00 | 3.000000e+00 | Inf
418.17/418.34 c 345s|900000 | 11261 | 3219k| 3.6 |8657k| 38 | 5 | 120 | 445 | 120 | 12 | 27 | 54k| 11k| 0.000000e+00 | 3.000000e+00 | Inf
422.56/422.77 c 348s|910000 | 10964 | 3257k| 3.6 |8514k| 38 | 5 | 120 | 500 | 120 | 12 | 27 | 54k| 11k| 0.000000e+00 | 3.000000e+00 | Inf
426.96/427.18 c 352s|920000 | 11011 | 3294k| 3.6 |8584k| 38 | - | 120 | 516 | 120 | 12 | 27 | 55k| 11k| 0.000000e+00 | 3.000000e+00 | Inf
431.36/431.56 c 355s|930000 | 10833 | 3330k| 3.6 |8493k| 38 | - | 120 | 509 | 120 | 12 | 27 | 55k| 11k| 0.000000e+00 | 3.000000e+00 | Inf
435.76/435.97 c 359s|940000 | 10648 | 3366k| 3.6 |8378k| 38 | - | 120 | 507 | 120 | 12 | 27 | 56k| 11k| 0.000000e+00 | 3.000000e+00 | Inf
440.26/440.46 c 363s|950000 | 10496 | 3404k| 3.6 |8287k| 38 | 5 | 120 | 477 | 120 | 12 | 27 | 56k| 11k| 0.000000e+00 | 3.000000e+00 | Inf
444.66/444.88 c 366s|960000 | 10176 | 3442k| 3.6 |8030k| 38 | - | 120 | 445 | 120 | 12 | 27 | 56k| 12k| 0.000000e+00 | 3.000000e+00 | Inf
449.16/449.35 c 370s|970000 | 10488 | 3479k| 3.6 |8223k| 38 | 5 | 120 | 458 | 120 | 12 | 27 | 57k| 12k| 0.000000e+00 | 3.000000e+00 | Inf
453.56/453.76 c 373s|980000 | 10474 | 3514k| 3.6 |8347k| 38 | - | 120 | 455 | 120 | 12 | 27 | 58k| 12k| 0.000000e+00 | 3.000000e+00 | Inf
457.95/458.15 c 377s|990000 | 10470 | 3550k| 3.6 |8387k| 38 | - | 120 | 451 | 120 | 12 | 27 | 58k| 12k| 0.000000e+00 | 3.000000e+00 | Inf
462.45/462.60 c 381s| 1000k| 10688 | 3588k| 3.6 |8657k| 38 | - | 120 | 439 | 120 | 12 | 27 | 58k| 12k| 0.000000e+00 | 3.000000e+00 | Inf
466.75/466.98 c 384s| 1010k| 10758 | 3625k| 3.6 |8783k| 38 | - | 120 | 454 | 120 | 12 | 27 | 59k| 12k| 0.000000e+00 | 3.000000e+00 | Inf
471.15/471.33 c 388s| 1020k| 10922 | 3661k| 3.6 |8955k| 38 | - | 120 | 433 | 120 | 12 | 27 | 59k| 12k| 0.000000e+00 | 3.000000e+00 | Inf
475.55/475.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
475.55/475.72 c 391s| 1030k| 11005 | 3697k| 3.6 |9128k| 38 | 5 | 120 | 427 | 120 | 12 | 27 | 60k| 12k| 0.000000e+00 | 3.000000e+00 | Inf
479.95/480.12 c 395s| 1040k| 10764 | 3733k| 3.6 |9013k| 38 | - | 120 | 414 | 120 | 12 | 27 | 60k| 12k| 0.000000e+00 | 3.000000e+00 | Inf
484.34/484.58 c 399s| 1050k| 10660 | 3770k| 3.6 |8988k| 38 | - | 120 | 398 | 120 | 12 | 27 | 61k| 13k| 0.000000e+00 | 3.000000e+00 | Inf
488.74/488.98 c 402s| 1060k| 10478 | 3806k| 3.6 |8859k| 38 | - | 120 | 402 | 120 | 12 | 27 | 61k| 13k| 0.000000e+00 | 3.000000e+00 | Inf
493.34/493.56 c 406s| 1070k| 10895 | 3847k| 3.6 |9163k| 38 | - | 120 | 439 | 120 | 12 | 27 | 62k| 13k| 0.000000e+00 | 3.000000e+00 | Inf
497.94/498.11 c 410s| 1080k| 10912 | 3887k| 3.6 |9301k| 38 | 5 | 120 | 422 | 120 | 12 | 27 | 62k| 13k| 0.000000e+00 | 3.000000e+00 | Inf
502.44/502.60 c 413s| 1090k| 10678 | 3926k| 3.6 |9199k| 38 | 5 | 120 | 443 | 120 | 12 | 27 | 63k| 13k| 0.000000e+00 | 3.000000e+00 | Inf
506.85/507.03 c 417s| 1100k| 10841 | 3963k| 3.6 |9399k| 38 | 5 | 120 | 458 | 120 | 12 | 27 | 63k| 13k| 0.000000e+00 | 3.000000e+00 | Inf
511.25/511.50 c 421s| 1110k| 10615 | 4000k| 3.6 |9216k| 38 | 5 | 120 | 431 | 120 | 12 | 27 | 63k| 13k| 0.000000e+00 | 3.000000e+00 | Inf
515.93/516.11 c 424s| 1120k| 11113 | 4036k| 3.6 |9592k| 38 | - | 120 | 481 | 120 | 12 | 27 | 64k| 13k| 0.000000e+00 | 3.000000e+00 | Inf
520.43/520.67 c 428s| 1130k| 11692 | 4072k| 3.6 | 10M| 38 | - | 120 | 505 | 120 | 12 | 27 | 65k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
525.03/525.22 c 432s| 1140k| 12322 | 4107k| 3.6 | 10M| 38 | - | 120 | 482 | 0 | 0 | 27 | 65k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
529.74/529.90 c 436s| 1150k| 13947 | 4145k| 3.6 | 11M| 38 | 5 | 120 | 537 | 120 | 12 | 27 | 66k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
534.33/534.54 c 439s| 1160k| 15260 | 4183k| 3.6 | 12M| 38 | - | 120 | 522 | 120 | 12 | 27 | 67k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
538.93/539.18 c 443s| 1170k| 16849 | 4222k| 3.6 | 13M| 38 | 5 | 120 | 533 | 120 | 12 | 27 | 67k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
543.43/543.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
543.43/543.69 c 447s| 1180k| 17497 | 4260k| 3.6 | 13M| 38 | - | 120 | 493 | 120 | 12 | 27 | 68k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
547.92/548.13 c 451s| 1190k| 17785 | 4296k| 3.6 | 14M| 38 | - | 120 | 454 | 120 | 12 | 27 | 68k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
552.42/552.62 c 454s| 1200k| 18080 | 4333k| 3.6 | 14M| 38 | 5 | 120 | 437 | 120 | 12 | 27 | 68k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
556.92/557.10 c 458s| 1210k| 18374 | 4369k| 3.6 | 14M| 38 | 5 | 120 | 449 | 120 | 12 | 27 | 69k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
561.32/561.52 c 462s| 1220k| 18805 | 4405k| 3.6 | 15M| 38 | 5 | 120 | 483 | 120 | 12 | 27 | 70k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
565.82/566.02 c 465s| 1230k| 19360 | 4441k| 3.6 | 15M| 38 | - | 120 | 480 | 120 | 12 | 27 | 70k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
570.22/570.49 c 469s| 1240k| 19625 | 4477k| 3.6 | 16M| 38 | - | 120 | 470 | 120 | 12 | 27 | 71k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
574.72/574.98 c 473s| 1250k| 19748 | 4513k| 3.6 | 16M| 38 | - | 120 | 458 | 120 | 12 | 27 | 71k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
579.22/579.46 c 476s| 1260k| 19712 | 4549k| 3.6 | 16M| 38 | 5 | 120 | 458 | 120 | 12 | 27 | 72k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
583.72/583.96 c 480s| 1270k| 19894 | 4587k| 3.6 | 16M| 38 | - | 120 | 479 | 120 | 12 | 27 | 72k| 15k| 0.000000e+00 | 3.000000e+00 | Inf
588.22/588.42 c 484s| 1280k| 20050 | 4622k| 3.6 | 17M| 38 | 5 | 120 | 456 | 120 | 12 | 27 | 73k| 15k| 0.000000e+00 | 3.000000e+00 | Inf
592.82/593.03 c 487s| 1290k| 20035 | 4659k| 3.6 | 17M| 38 | - | 120 | 456 | 120 | 12 | 27 | 73k| 15k| 0.000000e+00 | 3.000000e+00 | Inf
597.31/597.54 c 491s| 1300k| 20053 | 4695k| 3.6 | 17M| 38 | - | 120 | 426 | 0 | 0 | 27 | 74k| 15k| 0.000000e+00 | 3.000000e+00 | Inf
601.81/602.01 c 495s| 1310k| 20433 | 4729k| 3.6 | 17M| 38 | 5 | 120 | 399 | 120 | 12 | 27 | 75k| 15k| 0.000000e+00 | 3.000000e+00 | Inf
606.31/606.55 c 498s| 1320k| 20723 | 4769k| 3.6 | 18M| 38 | - | 120 | 433 | 120 | 12 | 27 | 75k| 15k| 0.000000e+00 | 3.000000e+00 | Inf
610.90/611.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
610.90/611.12 c 502s| 1330k| 21442 | 4807k| 3.6 | 18M| 38 | 5 | 120 | 474 | 120 | 12 | 27 | 76k| 15k| 0.000000e+00 | 3.000000e+00 | Inf
615.31/615.56 c 506s| 1340k| 21414 | 4844k| 3.6 | 19M| 38 | - | 120 | 473 | 120 | 12 | 27 | 76k| 15k| 0.000000e+00 | 3.000000e+00 | Inf
619.91/620.11 c 510s| 1350k| 22398 | 4880k| 3.6 | 19M| 38 | 5 | 120 | 520 | 120 | 12 | 27 | 77k| 15k| 0.000000e+00 | 3.000000e+00 | Inf
624.40/624.60 c 513s| 1360k| 22906 | 4917k| 3.6 | 20M| 38 | 5 | 120 | 518 | 120 | 12 | 27 | 77k| 15k| 0.000000e+00 | 3.000000e+00 | Inf
628.91/629.17 c 517s| 1370k| 23471 | 4954k| 3.6 | 20M| 38 | 5 | 120 | 509 | 120 | 12 | 27 | 78k| 15k| 0.000000e+00 | 3.000000e+00 | Inf
633.41/633.64 c 521s| 1380k| 23699 | 4990k| 3.6 | 21M| 38 | 5 | 120 | 510 | 120 | 12 | 27 | 78k| 15k| 0.000000e+00 | 3.000000e+00 | Inf
637.90/638.13 c 524s| 1390k| 23369 | 5026k| 3.6 | 21M| 38 | - | 120 | 511 | 120 | 12 | 27 | 79k| 15k| 0.000000e+00 | 3.000000e+00 | Inf
642.40/642.61 c 528s| 1400k| 23264 | 5062k| 3.6 | 21M| 38 | - | 120 | 542 | 120 | 12 | 27 | 80k| 15k| 0.000000e+00 | 3.000000e+00 | Inf
646.89/647.17 c 532s| 1410k| 23344 | 5100k| 3.6 | 21M| 38 | 5 | 120 | 464 | 120 | 12 | 27 | 80k| 15k| 0.000000e+00 | 3.000000e+00 | Inf
651.50/651.70 c 536s| 1420k| 24568 | 5136k| 3.6 | 22M| 38 | 5 | 120 | 478 | 120 | 12 | 27 | 81k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
655.99/656.21 c 539s| 1430k| 25228 | 5172k| 3.6 | 22M| 38 | - | 120 | 469 | 120 | 12 | 27 | 81k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
660.49/660.76 c 543s| 1440k| 26213 | 5209k| 3.6 | 23M| 38 | - | 120 | 467 | 120 | 12 | 27 | 82k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
664.99/665.24 c 547s| 1450k| 26917 | 5247k| 3.6 | 24M| 38 | 5 | 120 | 503 | 120 | 12 | 27 | 82k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
669.49/669.72 c 550s| 1460k| 27437 | 5284k| 3.6 | 24M| 38 | - | 120 | 483 | 120 | 12 | 27 | 83k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
673.99/674.20 c 554s| 1470k| 27728 | 5320k| 3.6 | 24M| 38 | 5 | 120 | 475 | 120 | 12 | 27 | 83k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
678.49/678.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
678.49/678.71 c 558s| 1480k| 28022 | 5357k| 3.6 | 25M| 38 | 5 | 120 | 462 | 120 | 12 | 27 | 84k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
682.98/683.28 c 561s| 1490k| 28655 | 5394k| 3.6 | 25M| 38 | 5 | 120 | 472 | 120 | 12 | 27 | 84k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
687.58/687.82 c 565s| 1500k| 29347 | 5431k| 3.6 | 26M| 38 | - | 120 | 470 | 120 | 12 | 27 | 85k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
692.08/692.31 c 569s| 1510k| 30068 | 5467k| 3.6 | 26M| 38 | - | 120 | 481 | 120 | 12 | 27 | 85k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
696.47/696.77 c 572s| 1520k| 30511 | 5503k| 3.6 | 27M| 38 | 5 | 120 | 510 | 120 | 12 | 27 | 86k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
701.07/701.32 c 576s| 1530k| 30932 | 5542k| 3.6 | 27M| 38 | 5 | 120 | 485 | 120 | 12 | 27 | 87k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
705.68/705.90 c 580s| 1540k| 31850 | 5579k| 3.6 | 28M| 38 | 5 | 120 | 428 | 120 | 12 | 27 | 87k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
710.17/710.45 c 584s| 1550k| 31940 | 5615k| 3.6 | 28M| 38 | 5 | 120 | 411 | 120 | 12 | 27 | 88k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
714.68/714.93 c 587s| 1560k| 32202 | 5651k| 3.6 | 29M| 38 | 5 | 120 | 405 | 120 | 12 | 27 | 88k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
719.08/719.40 c 591s| 1570k| 32481 | 5687k| 3.6 | 29M| 38 | - | 120 | 390 | 120 | 12 | 27 | 89k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
723.67/723.91 c 595s| 1580k| 32937 | 5724k| 3.6 | 29M| 38 | - | 120 | 391 | 120 | 12 | 27 | 89k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
728.07/728.30 c 598s| 1590k| 33042 | 5759k| 3.6 | 30M| 38 | 5 | 120 | 365 | 120 | 12 | 27 | 90k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
732.47/732.77 c 602s| 1600k| 33390 | 5794k| 3.6 | 30M| 38 | - | 120 | 424 | 120 | 12 | 27 | 91k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
736.97/737.27 c 606s| 1610k| 33872 | 5829k| 3.6 | 30M| 38 | 5 | 120 | 377 | 120 | 12 | 27 | 91k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
741.47/741.72 c 609s| 1620k| 33901 | 5863k| 3.6 | 31M| 38 | 5 | 120 | 377 | 120 | 12 | 27 | 92k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
745.96/746.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
745.96/746.29 c 613s| 1630k| 34565 | 5900k| 3.6 | 31M| 38 | 5 | 120 | 370 | 120 | 12 | 27 | 92k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
750.56/750.80 c 617s| 1640k| 35052 | 5937k| 3.6 | 32M| 38 | - | 120 | 372 | 120 | 12 | 27 | 93k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
754.96/755.26 c 620s| 1650k| 35442 | 5973k| 3.6 | 32M| 38 | 5 | 120 | 374 | 120 | 12 | 27 | 94k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
759.46/759.71 c 624s| 1660k| 35181 | 6007k| 3.6 | 32M| 39 | 5 | 120 | 355 | 120 | 12 | 27 | 94k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
763.86/764.19 c 628s| 1670k| 35640 | 6044k| 3.6 | 33M| 39 | 5 | 120 | 418 | 120 | 12 | 27 | 95k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
768.26/768.59 c 631s| 1680k| 35714 | 6079k| 3.6 | 33M| 39 | - | 120 | 433 | 0 | 0 | 27 | 95k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
772.75/773.07 c 635s| 1690k| 36125 | 6115k| 3.6 | 33M| 39 | 5 | 120 | 435 | 120 | 12 | 27 | 96k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
777.26/777.57 c 639s| 1700k| 36344 | 6150k| 3.6 | 33M| 39 | 5 | 120 | 509 | 120 | 12 | 27 | 97k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
781.76/782.06 c 642s| 1710k| 36135 | 6186k| 3.6 | 34M| 39 | 5 | 120 | 440 | 120 | 12 | 27 | 97k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
786.26/786.55 c 646s| 1720k| 36389 | 6221k| 3.6 | 34M| 39 | 5 | 120 | 473 | 120 | 12 | 27 | 98k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
790.75/791.00 c 650s| 1730k| 36169 | 6255k| 3.6 | 34M| 39 | - | 120 | 454 | 120 | 12 | 27 | 98k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
795.25/795.52 c 653s| 1740k| 36273 | 6291k| 3.6 | 34M| 39 | - | 120 | 495 | 120 | 12 | 27 | 99k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
799.75/800.03 c 657s| 1750k| 36366 | 6327k| 3.6 | 34M| 39 | 5 | 120 | 476 | 120 | 12 | 27 | 100k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
804.24/804.55 c 661s| 1760k| 36040 | 6362k| 3.6 | 34M| 39 | 5 | 120 | 437 | 120 | 12 | 27 | 100k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
808.75/809.08 c 665s| 1770k| 35946 | 6398k| 3.6 | 34M| 39 | 5 | 120 | 434 | 120 | 12 | 27 | 101k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
813.24/813.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
813.24/813.53 c 668s| 1780k| 35788 | 6432k| 3.6 | 34M| 39 | 5 | 120 | 444 | 120 | 12 | 27 | 101k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
817.75/818.05 c 672s| 1790k| 35441 | 6467k| 3.6 | 34M| 39 | 5 | 120 | 457 | 120 | 12 | 27 | 102k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
822.24/822.53 c 676s| 1800k| 35215 | 6503k| 3.6 | 34M| 39 | 5 | 120 | 455 | 120 | 12 | 27 | 103k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
826.74/827.07 c 679s| 1810k| 34750 | 6538k| 3.6 | 34M| 39 | - | 120 | 442 | 120 | 12 | 27 | 103k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
831.25/831.57 c 683s| 1820k| 34498 | 6574k| 3.6 | 34M| 39 | - | 120 | 400 | 120 | 12 | 27 | 104k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
835.74/836.09 c 687s| 1830k| 35150 | 6612k| 3.6 | 35M| 39 | - | 120 | 375 | 120 | 12 | 27 | 104k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
840.24/840.58 c 690s| 1840k| 34640 | 6648k| 3.6 | 35M| 39 | 5 | 120 | 379 | 120 | 12 | 27 | 105k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
844.83/845.11 c 694s| 1850k| 34327 | 6684k| 3.6 | 34M| 39 | 5 | 120 | 417 | 120 | 12 | 27 | 106k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
849.44/849.70 c 698s| 1860k| 34743 | 6722k| 3.6 | 35M| 39 | 5 | 120 | 431 | 120 | 12 | 27 | 106k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
853.93/854.22 c 702s| 1870k| 35350 | 6758k| 3.6 | 35M| 39 | - | 120 | 408 | 120 | 12 | 27 | 107k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
858.33/858.66 c 705s| 1880k| 36101 | 6793k| 3.6 | 36M| 39 | - | 120 | 409 | 120 | 12 | 27 | 107k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
862.73/863.06 c 709s| 1890k| 36321 | 6828k| 3.6 | 36M| 39 | - | 120 | 373 | 120 | 12 | 27 | 108k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
867.23/867.53 c 712s| 1900k| 36060 | 6863k| 3.6 | 36M| 39 | - | 120 | 360 | 120 | 12 | 27 | 109k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
871.73/872.07 c 716s| 1910k| 35836 | 6899k| 3.6 | 37M| 39 | 5 | 120 | 351 | 120 | 12 | 27 | 109k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
876.34/876.62 c 720s| 1920k| 36448 | 6936k| 3.6 | 37M| 39 | - | 120 | 380 | 120 | 12 | 27 | 110k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
880.74/881.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
880.74/881.07 c 723s| 1930k| 37313 | 6973k| 3.6 | 38M| 39 | - | 120 | 350 | 120 | 12 | 27 | 110k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
885.23/885.59 c 727s| 1940k| 38108 | 7009k| 3.6 | 38M| 39 | - | 120 | 389 | 120 | 12 | 27 | 111k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
889.72/890.01 c 731s| 1950k| 38896 | 7045k| 3.6 | 39M| 39 | - | 120 | 370 | 120 | 12 | 27 | 112k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
894.22/894.53 c 734s| 1960k| 39101 | 7081k| 3.6 | 39M| 39 | 5 | 120 | 357 | 120 | 12 | 27 | 112k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
898.61/898.98 c 738s| 1970k| 38873 | 7115k| 3.6 | 39M| 39 | - | 120 | 367 | 120 | 12 | 27 | 113k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
903.12/903.46 c 742s| 1980k| 38693 | 7151k| 3.6 | 40M| 39 | 5 | 120 | 370 | 120 | 12 | 27 | 114k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
907.62/907.91 c 745s| 1990k| 38398 | 7186k| 3.6 | 40M| 39 | 5 | 120 | 373 | 120 | 12 | 27 | 114k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
912.12/912.49 c 749s| 2000k| 37675 | 7221k| 3.6 | 39M| 39 | - | 120 | 355 | 0 | 0 | 27 | 115k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
916.61/916.95 c 753s| 2010k| 37602 | 7256k| 3.6 | 39M| 39 | 5 | 120 | 384 | 120 | 12 | 27 | 115k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
921.11/921.41 c 756s| 2020k| 37856 | 7291k| 3.6 | 40M| 39 | 5 | 120 | 404 | 120 | 12 | 27 | 116k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
925.61/925.94 c 760s| 2030k| 38049 | 7327k| 3.6 | 40M| 39 | 5 | 120 | 399 | 120 | 12 | 27 | 117k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
930.01/930.39 c 764s| 2040k| 38333 | 7364k| 3.6 | 40M| 39 | - | 120 | 402 | 120 | 12 | 27 | 117k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
934.50/934.87 c 767s| 2050k| 38602 | 7402k| 3.6 | 41M| 39 | 5 | 120 | 425 | 120 | 12 | 27 | 118k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
939.01/939.31 c 771s| 2060k| 38137 | 7436k| 3.6 | 41M| 39 | 5 | 120 | 422 | 120 | 12 | 27 | 118k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
943.52/943.84 c 775s| 2070k| 37990 | 7471k| 3.6 | 41M| 39 | - | 120 | 429 | 120 | 12 | 27 | 119k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
948.00/948.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
948.00/948.35 c 778s| 2080k| 37881 | 7507k| 3.6 | 41M| 39 | 5 | 120 | 451 | 120 | 12 | 27 | 120k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
952.60/952.90 c 782s| 2090k| 37697 | 7543k| 3.6 | 41M| 39 | 5 | 120 | 454 | 120 | 12 | 27 | 120k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
957.00/957.35 c 786s| 2100k| 37475 | 7578k| 3.6 | 41M| 39 | 5 | 120 | 449 | 120 | 12 | 27 | 121k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
961.49/961.83 c 790s| 2110k| 37138 | 7612k| 3.6 | 41M| 39 | - | 120 | 469 | 0 | 0 | 27 | 121k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
966.00/966.37 c 793s| 2120k| 37014 | 7647k| 3.6 | 41M| 39 | 5 | 120 | 493 | 120 | 12 | 27 | 122k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
970.60/970.93 c 797s| 2130k| 36919 | 7683k| 3.6 | 41M| 39 | 5 | 120 | 448 | 120 | 12 | 27 | 123k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
975.10/975.41 c 801s| 2140k| 36837 | 7717k| 3.6 | 41M| 39 | 5 | 120 | 460 | 120 | 12 | 27 | 123k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
979.49/979.81 c 804s| 2150k| 37437 | 7750k| 3.6 | 41M| 39 | 5 | 120 | 546 | 120 | 12 | 27 | 124k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
983.99/984.30 c 808s| 2160k| 37111 | 7784k| 3.6 | 41M| 39 | 5 | 120 | 473 | 120 | 12 | 27 | 125k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
988.39/988.73 c 812s| 2170k| 37703 | 7819k| 3.6 | 42M| 39 | - | 120 | 523 | 120 | 12 | 27 | 125k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
992.78/993.13 c 815s| 2180k| 37548 | 7854k| 3.6 | 42M| 39 | - | 120 | 557 | 120 | 12 | 27 | 126k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
997.29/997.61 c 819s| 2190k| 37489 | 7890k| 3.6 | 42M| 39 | - | 120 | 549 | 120 | 12 | 27 | 127k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
1001.69/1002.07 c 823s| 2200k| 37222 | 7924k| 3.6 | 42M| 39 | - | 120 | 510 | 120 | 12 | 27 | 127k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
1006.19/1006.58 c 826s| 2210k| 36828 | 7960k| 3.6 | 42M| 39 | - | 120 | 476 | 120 | 12 | 27 | 128k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
1010.78/1011.12 c 830s| 2220k| 36496 | 7995k| 3.6 | 42M| 39 | 5 | 120 | 507 | 120 | 12 | 27 | 128k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
1015.28/1015.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1015.28/1015.67 c 834s| 2230k| 36374 | 8030k| 3.6 | 42M| 39 | - | 120 | 517 | 120 | 12 | 27 | 129k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
1019.88/1020.23 c 837s| 2240k| 36208 | 8065k| 3.6 | 42M| 39 | - | 120 | 535 | 120 | 12 | 27 | 130k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
1024.38/1024.72 c 841s| 2250k| 36073 | 8100k| 3.6 | 42M| 39 | - | 120 | 479 | 0 | 0 | 27 | 130k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
1028.88/1029.20 c 845s| 2260k| 36372 | 8138k| 3.6 | 42M| 39 | - | 120 | 467 | 120 | 12 | 27 | 131k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
1033.28/1033.64 c 848s| 2270k| 36940 | 8174k| 3.6 | 43M| 39 | 5 | 120 | 486 | 120 | 12 | 27 | 132k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
1037.67/1038.02 c 852s| 2280k| 37436 | 8210k| 3.6 | 43M| 39 | 5 | 120 | 455 | 120 | 12 | 27 | 132k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
1042.28/1042.70 c 856s| 2290k| 39500 | 8250k| 3.6 | 44M| 39 | 5 | 120 | 490 | 120 | 12 | 27 | 133k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
1047.08/1047.43 c 860s| 2300k| 41607 | 8290k| 3.6 | 45M| 39 | 5 | 120 | 418 | 120 | 12 | 27 | 133k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
1051.57/1051.99 c 863s| 2310k| 43166 | 8329k| 3.6 | 46M| 39 | - | 120 | 430 | 120 | 12 | 27 | 134k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
1056.17/1056.52 c 867s| 2320k| 44479 | 8366k| 3.6 | 47M| 39 | - | 120 | 418 | 120 | 12 | 27 | 134k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
1060.57/1060.97 c 871s| 2330k| 45728 | 8402k| 3.6 | 48M| 39 | - | 120 | 401 | 120 | 12 | 27 | 135k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
1064.97/1065.39 c 874s| 2340k| 46642 | 8438k| 3.6 | 49M| 39 | 5 | 120 | 364 | 120 | 12 | 27 | 135k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
1069.47/1069.83 c 878s| 2350k| 47928 | 8474k| 3.6 | 49M| 39 | - | 120 | 367 | 120 | 12 | 27 | 136k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
1073.86/1074.23 c 882s| 2360k| 48745 | 8510k| 3.6 | 50M| 39 | 5 | 120 | 350 | 120 | 12 | 27 | 136k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
1078.27/1078.64 c 885s| 2370k| 49508 | 8546k| 3.6 | 51M| 39 | 5 | 120 | 356 | 120 | 12 | 27 | 137k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
1082.76/1083.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1082.76/1083.14 c 889s| 2380k| 50658 | 8583k| 3.6 | 52M| 39 | 5 | 120 | 352 | 120 | 12 | 27 | 137k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
1087.26/1087.69 c 893s| 2390k| 51674 | 8621k| 3.6 | 52M| 39 | - | 120 | 320 | 0 | 0 | 27 | 138k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
1091.76/1092.11 c 896s| 2400k| 52677 | 8657k| 3.6 | 53M| 39 | 5 | 120 | 340 | 120 | 12 | 27 | 138k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
1096.16/1096.58 c 900s| 2410k| 53472 | 8695k| 3.6 | 54M| 39 | - | 120 | 333 | 120 | 12 | 27 | 139k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
1100.66/1101.04 c 904s| 2420k| 54445 | 8732k| 3.6 | 54M| 39 | - | 120 | 332 | 120 | 12 | 27 | 139k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
1105.06/1105.45 c 907s| 2430k| 54936 | 8766k| 3.6 | 55M| 39 | 5 | 120 | 315 | 120 | 12 | 27 | 140k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
1109.46/1109.82 c 911s| 2440k| 55713 | 8802k| 3.6 | 55M| 39 | - | 120 | 327 | 120 | 12 | 27 | 140k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
1113.86/1114.30 c 914s| 2450k| 56257 | 8838k| 3.6 | 56M| 39 | 5 | 120 | 338 | 120 | 12 | 27 | 141k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
1118.36/1118.76 c 918s| 2460k| 56590 | 8874k| 3.6 | 56M| 39 | - | 120 | 315 | 120 | 12 | 27 | 141k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
1122.85/1123.24 c 922s| 2470k| 57065 | 8909k| 3.6 | 57M| 39 | - | 120 | 336 | 120 | 12 | 27 | 142k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
1127.25/1127.68 c 925s| 2480k| 57784 | 8945k| 3.6 | 57M| 39 | - | 120 | 320 | 120 | 12 | 27 | 142k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
1131.75/1132.10 c 929s| 2490k| 58378 | 8982k| 3.6 | 58M| 39 | 5 | 120 | 316 | 120 | 12 | 27 | 143k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
1136.14/1136.58 c 933s| 2500k| 59316 | 9019k| 3.6 | 59M| 39 | - | 120 | 301 | 120 | 12 | 27 | 143k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
1140.64/1141.03 c 936s| 2510k| 60148 | 9056k| 3.6 | 59M| 39 | - | 120 | 332 | 120 | 12 | 27 | 144k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
1145.04/1145.41 c 940s| 2520k| 60882 | 9090k| 3.6 | 60M| 39 | - | 120 | 339 | 120 | 12 | 27 | 144k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
1149.44/1149.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1149.44/1149.82 c 943s| 2530k| 61172 | 9125k| 3.6 | 60M| 39 | 5 | 120 | 343 | 120 | 12 | 27 | 145k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
1153.84/1154.27 c 947s| 2540k| 61512 | 9161k| 3.6 | 61M| 39 | 5 | 120 | 336 | 120 | 12 | 27 | 145k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
1158.24/1158.67 c 951s| 2550k| 62045 | 9197k| 3.6 | 61M| 39 | - | 120 | 356 | 120 | 12 | 27 | 146k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
1162.74/1163.10 c 954s| 2560k| 62196 | 9232k| 3.6 | 62M| 39 | 5 | 120 | 358 | 120 | 12 | 27 | 146k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
1167.14/1167.50 c 958s| 2570k| 62606 | 9267k| 3.6 | 62M| 39 | 5 | 120 | 320 | 120 | 12 | 27 | 147k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
1171.53/1171.91 c 961s| 2580k| 62806 | 9302k| 3.6 | 62M| 39 | - | 120 | 331 | 120 | 12 | 27 | 147k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
1175.93/1176.33 c 965s| 2590k| 63090 | 9337k| 3.6 | 63M| 39 | 5 | 120 | 302 | 120 | 12 | 27 | 148k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
1180.33/1180.77 c 969s| 2600k| 63736 | 9373k| 3.6 | 63M| 39 | - | 120 | 358 | 120 | 12 | 27 | 149k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
1184.73/1185.17 c 972s| 2610k| 64244 | 9408k| 3.6 | 64M| 39 | - | 120 | 368 | 120 | 12 | 27 | 149k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
1189.23/1189.61 c 976s| 2620k| 64395 | 9443k| 3.6 | 64M| 39 | 5 | 120 | 355 | 120 | 12 | 27 | 150k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
1193.62/1194.03 c 980s| 2630k| 64843 | 9479k| 3.6 | 64M| 39 | - | 120 | 367 | 120 | 12 | 27 | 150k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
1198.03/1198.46 c 983s| 2640k| 65035 | 9515k| 3.6 | 65M| 39 | 5 | 120 | 364 | 120 | 12 | 27 | 151k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
1202.42/1202.89 c 987s| 2650k| 65709 | 9550k| 3.6 | 65M| 39 | - | 120 | 389 | 120 | 12 | 27 | 151k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
1206.92/1207.31 c 990s| 2660k| 66189 | 9584k| 3.6 | 66M| 39 | 5 | 120 | 404 | 120 | 12 | 27 | 152k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
1211.32/1211.79 c 994s| 2670k| 66577 | 9619k| 3.6 | 66M| 39 | 5 | 120 | 365 | 120 | 12 | 27 | 152k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
1215.82/1216.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1215.82/1216.23 c 998s| 2680k| 66472 | 9654k| 3.6 | 66M| 39 | - | 120 | 360 | 120 | 12 | 27 | 153k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
1220.22/1220.61 c 1001s| 2690k| 66366 | 9689k| 3.6 | 67M| 39 | - | 120 | 352 | 120 | 12 | 27 | 153k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
1224.52/1224.99 c 1005s| 2700k| 66660 | 9724k| 3.6 | 67M| 39 | - | 120 | 354 | 120 | 12 | 27 | 154k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
1229.02/1229.40 c 1008s| 2710k| 67022 | 9759k| 3.6 | 67M| 39 | 5 | 120 | 382 | 120 | 12 | 27 | 154k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
1233.41/1233.88 c 1012s| 2720k| 67176 | 9795k| 3.6 | 68M| 39 | 5 | 120 | 376 | 120 | 12 | 27 | 155k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
1237.81/1238.26 c 1016s| 2730k| 67626 | 9829k| 3.6 | 68M| 39 | 5 | 120 | 412 | 120 | 12 | 27 | 155k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
1242.31/1242.78 c 1019s| 2740k| 67861 | 9865k| 3.6 | 68M| 39 | - | 120 | 380 | 120 | 12 | 27 | 156k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
1246.81/1247.21 c 1023s| 2750k| 68155 | 9900k| 3.6 | 69M| 39 | - | 120 | 370 | 120 | 12 | 27 | 156k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
1251.22/1251.66 c 1026s| 2760k| 68491 | 9935k| 3.6 | 69M| 39 | 5 | 120 | 390 | 120 | 12 | 27 | 157k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
1255.72/1256.12 c 1030s| 2770k| 68389 | 9970k| 3.6 | 69M| 39 | - | 120 | 367 | 120 | 12 | 27 | 157k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
1260.21/1260.62 c 1034s| 2780k| 68794 | 10006k| 3.6 | 70M| 39 | - | 120 | 385 | 120 | 12 | 27 | 158k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
1264.61/1265.04 c 1037s| 2790k| 68812 | 10041k| 3.6 | 70M| 39 | 5 | 120 | 360 | 120 | 12 | 27 | 158k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
1269.10/1269.51 c 1041s| 2800k| 68989 | 10076k| 3.6 | 70M| 39 | 5 | 120 | 348 | 120 | 12 | 27 | 159k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
1273.50/1273.92 c 1045s| 2810k| 69071 | 10110k| 3.6 | 71M| 39 | 5 | 120 | 371 | 120 | 12 | 27 | 159k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
1278.00/1278.44 c 1048s| 2820k| 69775 | 10146k| 3.6 | 71M| 39 | 5 | 120 | 354 | 120 | 12 | 27 | 160k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
1282.50/1282.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1282.50/1282.92 c 1052s| 2830k| 70570 | 10183k| 3.6 | 72M| 39 | 5 | 120 | 360 | 120 | 12 | 27 | 160k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
1286.89/1287.35 c 1056s| 2840k| 70965 | 10218k| 3.6 | 72M| 39 | - | 120 | 356 | 120 | 12 | 27 | 161k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
1291.29/1291.79 c 1059s| 2850k| 71187 | 10253k| 3.6 | 73M| 39 | - | 120 | 373 | 120 | 12 | 27 | 161k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
1295.79/1296.25 c 1063s| 2860k| 71477 | 10288k| 3.6 | 73M| 39 | - | 120 | 347 | 120 | 12 | 27 | 162k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
1300.20/1300.68 c 1067s| 2870k| 71272 | 10322k| 3.6 | 73M| 39 | - | 120 | 354 | 120 | 12 | 27 | 162k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
1304.70/1305.13 c 1070s| 2880k| 71263 | 10357k| 3.6 | 73M| 39 | 5 | 120 | 370 | 120 | 12 | 27 | 163k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
1309.09/1309.58 c 1074s| 2890k| 71134 | 10393k| 3.6 | 73M| 39 | - | 120 | 353 | 120 | 12 | 27 | 163k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
1313.59/1314.03 c 1077s| 2900k| 71287 | 10426k| 3.6 | 74M| 39 | - | 120 | 361 | 120 | 12 | 27 | 164k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
1317.99/1318.48 c 1081s| 2910k| 71220 | 10461k| 3.6 | 74M| 39 | - | 120 | 384 | 120 | 12 | 27 | 164k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
1322.49/1322.93 c 1085s| 2920k| 71225 | 10496k| 3.6 | 74M| 39 | - | 120 | 418 | 120 | 12 | 27 | 165k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
1326.99/1327.45 c 1088s| 2930k| 72342 | 10535k| 3.6 | 75M| 39 | - | 120 | 404 | 120 | 12 | 27 | 165k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
1331.49/1331.91 c 1092s| 2940k| 72832 | 10572k| 3.6 | 75M| 39 | 5 | 120 | 385 | 120 | 12 | 27 | 166k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
1335.88/1336.38 c 1096s| 2950k| 73187 | 10609k| 3.6 | 76M| 39 | - | 120 | 391 | 0 | 0 | 27 | 166k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
1340.39/1340.82 c 1099s| 2960k| 73599 | 10645k| 3.6 | 76M| 39 | - | 120 | 390 | 120 | 12 | 27 | 167k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1344.79/1345.28 c 1103s| 2970k| 72997 | 10680k| 3.6 | 76M| 39 | - | 120 | 366 | 120 | 12 | 27 | 167k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1349.29/1349.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1349.29/1349.72 c 1107s| 2980k| 72900 | 10714k| 3.6 | 76M| 39 | 5 | 120 | 379 | 120 | 12 | 27 | 168k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1353.78/1354.21 c 1110s| 2990k| 73151 | 10749k| 3.6 | 77M| 39 | - | 120 | 444 | 120 | 12 | 27 | 168k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1358.17/1358.68 c 1114s| 3000k| 73149 | 10783k| 3.6 | 77M| 39 | 5 | 120 | 431 | 120 | 12 | 27 | 169k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1362.68/1363.11 c 1117s| 3010k| 72985 | 10817k| 3.6 | 77M| 41 | - | 120 | 441 | 120 | 12 | 27 | 170k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1367.07/1367.58 c 1121s| 3020k| 72811 | 10853k| 3.6 | 77M| 41 | - | 120 | 410 | 120 | 12 | 27 | 170k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1371.57/1372.04 c 1125s| 3030k| 72354 | 10888k| 3.6 | 77M| 41 | - | 120 | 378 | 120 | 12 | 27 | 171k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1375.97/1376.48 c 1128s| 3040k| 72202 | 10923k| 3.6 | 77M| 41 | 5 | 120 | 376 | 120 | 12 | 27 | 171k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1380.47/1380.91 c 1132s| 3050k| 71777 | 10958k| 3.6 | 77M| 41 | 5 | 120 | 375 | 120 | 12 | 27 | 172k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1384.87/1385.30 c 1136s| 3060k| 72286 | 10992k| 3.6 | 77M| 41 | - | 120 | 426 | 120 | 12 | 27 | 172k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1389.16/1389.64 c 1139s| 3070k| 73615 | 11026k| 3.6 | 78M| 41 | 5 | 120 | 451 | 120 | 12 | 27 | 173k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1393.46/1393.97 c 1143s| 3080k| 74875 | 11061k| 3.6 | 79M| 41 | 5 | 120 | 465 | 120 | 12 | 27 | 173k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1397.86/1398.31 c 1146s| 3090k| 76236 | 11095k| 3.6 | 80M| 41 | - | 120 | 462 | 0 | 0 | 27 | 173k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
1402.16/1402.64 c 1150s| 3100k| 76913 | 11131k| 3.6 | 80M| 41 | - | 120 | 439 | 120 | 12 | 27 | 174k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
1406.47/1406.92 c 1153s| 3110k| 77630 | 11164k| 3.6 | 81M| 41 | 5 | 120 | 428 | 120 | 12 | 27 | 174k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
1410.77/1411.27 c 1157s| 3120k| 78217 | 11199k| 3.6 | 82M| 41 | - | 120 | 471 | 120 | 12 | 27 | 175k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
1415.06/1415.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1415.06/1415.57 c 1160s| 3130k| 78409 | 11232k| 3.6 | 82M| 41 | 5 | 120 | 437 | 120 | 12 | 27 | 175k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
1419.36/1419.87 c 1164s| 3140k| 78960 | 11265k| 3.6 | 82M| 41 | 5 | 120 | 433 | 120 | 12 | 27 | 175k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
1423.66/1424.18 c 1167s| 3150k| 79017 | 11298k| 3.6 | 83M| 41 | - | 120 | 421 | 120 | 12 | 27 | 176k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
1428.05/1428.50 c 1171s| 3160k| 79398 | 11331k| 3.6 | 83M| 41 | - | 120 | 448 | 120 | 12 | 27 | 176k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
1432.35/1432.82 c 1174s| 3170k| 79804 | 11365k| 3.6 | 83M| 41 | - | 120 | 443 | 120 | 12 | 27 | 177k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
1436.65/1437.19 c 1178s| 3180k| 80151 | 11400k| 3.6 | 84M| 41 | 5 | 120 | 432 | 120 | 12 | 27 | 177k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
1441.05/1441.51 c 1181s| 3190k| 80996 | 11434k| 3.6 | 85M| 41 | 5 | 120 | 503 | 120 | 12 | 27 | 178k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
1445.35/1445.85 c 1185s| 3200k| 81038 | 11467k| 3.6 | 85M| 41 | 5 | 120 | 457 | 120 | 12 | 27 | 178k| 29k| 0.000000e+00 | 3.000000e+00 | Inf
1449.65/1450.13 c 1189s| 3210k| 81310 | 11501k| 3.6 | 85M| 41 | 5 | 120 | 465 | 120 | 12 | 27 | 179k| 29k| 0.000000e+00 | 3.000000e+00 | Inf
1454.05/1454.50 c 1192s| 3220k| 81221 | 11534k| 3.6 | 85M| 41 | 5 | 120 | 430 | 120 | 12 | 27 | 179k| 29k| 0.000000e+00 | 3.000000e+00 | Inf
1458.35/1458.87 c 1196s| 3230k| 81384 | 11569k| 3.6 | 86M| 41 | 5 | 120 | 457 | 120 | 12 | 27 | 180k| 29k| 0.000000e+00 | 3.000000e+00 | Inf
1462.74/1463.20 c 1199s| 3240k| 81620 | 11602k| 3.6 | 86M| 41 | 5 | 120 | 454 | 120 | 12 | 27 | 180k| 29k| 0.000000e+00 | 3.000000e+00 | Inf
1467.13/1467.62 c 1203s| 3250k| 81434 | 11636k| 3.6 | 86M| 41 | 5 | 120 | 417 | 120 | 12 | 27 | 181k| 29k| 0.000000e+00 | 3.000000e+00 | Inf
1471.43/1471.90 c 1206s| 3260k| 81710 | 11672k| 3.6 | 86M| 41 | 5 | 120 | 446 | 120 | 12 | 27 | 181k| 29k| 0.000000e+00 | 3.000000e+00 | Inf
1475.74/1476.28 c 1210s| 3270k| 81371 | 11705k| 3.6 | 86M| 41 | 5 | 120 | 428 | 120 | 12 | 27 | 181k| 29k| 0.000000e+00 | 3.000000e+00 | Inf
1480.14/1480.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1480.14/1480.63 c 1213s| 3280k| 81214 | 11739k| 3.6 | 86M| 41 | 5 | 120 | 428 | 120 | 12 | 27 | 182k| 29k| 0.000000e+00 | 3.000000e+00 | Inf
1484.33/1484.87 c 1217s| 3290k| 81405 | 11771k| 3.6 | 87M| 41 | 5 | 120 | 452 | 120 | 12 | 27 | 182k| 29k| 0.000000e+00 | 3.000000e+00 | Inf
1488.73/1489.28 c 1220s| 3300k| 80722 | 11804k| 3.6 | 86M| 41 | 5 | 120 | 425 | 120 | 12 | 27 | 183k| 29k| 0.000000e+00 | 3.000000e+00 | Inf
1493.23/1493.72 c 1224s| 3310k| 80405 | 11838k| 3.6 | 86M| 41 | 5 | 120 | 435 | 120 | 12 | 27 | 183k| 29k| 0.000000e+00 | 3.000000e+00 | Inf
1497.63/1498.19 c 1228s| 3320k| 80006 | 11872k| 3.6 | 86M| 41 | - | 120 | 408 | 120 | 12 | 27 | 184k| 30k| 0.000000e+00 | 3.000000e+00 | Inf
1502.13/1502.64 c 1231s| 3330k| 79508 | 11906k| 3.6 | 86M| 41 | - | 120 | 407 | 120 | 12 | 27 | 184k| 30k| 0.000000e+00 | 3.000000e+00 | Inf
1506.52/1507.08 c 1235s| 3340k| 79567 | 11942k| 3.6 | 86M| 41 | - | 120 | 395 | 120 | 12 | 27 | 185k| 30k| 0.000000e+00 | 3.000000e+00 | Inf
1510.82/1511.37 c 1238s| 3350k| 79653 | 11975k| 3.6 | 87M| 41 | - | 120 | 436 | 120 | 12 | 27 | 185k| 30k| 0.000000e+00 | 3.000000e+00 | Inf
1515.23/1515.79 c 1242s| 3360k| 79170 | 12009k| 3.6 | 87M| 41 | - | 120 | 422 | 120 | 12 | 27 | 186k| 30k| 0.000000e+00 | 3.000000e+00 | Inf
1519.63/1520.15 c 1246s| 3370k| 79970 | 12044k| 3.6 | 87M| 41 | 5 | 120 | 432 | 120 | 12 | 27 | 186k| 30k| 0.000000e+00 | 3.000000e+00 | Inf
1523.92/1524.46 c 1249s| 3380k| 80191 | 12078k| 3.6 | 87M| 41 | - | 120 | 415 | 120 | 12 | 27 | 187k| 30k| 0.000000e+00 | 3.000000e+00 | Inf
1528.32/1528.83 c 1253s| 3390k| 79899 | 12112k| 3.6 | 87M| 41 | - | 120 | 425 | 120 | 12 | 27 | 187k| 30k| 0.000000e+00 | 3.000000e+00 | Inf
1532.82/1533.33 c 1256s| 3400k| 79302 | 12146k| 3.6 | 87M| 41 | - | 120 | 426 | 120 | 12 | 27 | 188k| 30k| 0.000000e+00 | 3.000000e+00 | Inf
1537.22/1537.75 c 1260s| 3410k| 78724 | 12179k| 3.6 | 87M| 41 | - | 120 | 396 | 120 | 12 | 27 | 188k| 30k| 0.000000e+00 | 3.000000e+00 | Inf
1541.61/1542.20 c 1264s| 3420k| 78049 | 12212k| 3.6 | 87M| 41 | - | 120 | 423 | 120 | 12 | 27 | 189k| 30k| 0.000000e+00 | 3.000000e+00 | Inf
1546.11/1546.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1546.11/1546.61 c 1267s| 3430k| 78188 | 12247k| 3.6 | 87M| 41 | - | 120 | 459 | 120 | 12 | 27 | 189k| 30k| 0.000000e+00 | 3.000000e+00 | Inf
1550.42/1550.95 c 1271s| 3440k| 78064 | 12280k| 3.6 | 87M| 41 | 5 | 120 | 437 | 120 | 12 | 27 | 190k| 31k| 0.000000e+00 | 3.000000e+00 | Inf
1554.81/1555.36 c 1274s| 3450k| 77791 | 12315k| 3.6 | 87M| 41 | - | 120 | 454 | 120 | 12 | 27 | 190k| 31k| 0.000000e+00 | 3.000000e+00 | Inf
1559.31/1559.81 c 1278s| 3460k| 77349 | 12348k| 3.6 | 87M| 41 | 5 | 120 | 427 | 120 | 12 | 27 | 191k| 31k| 0.000000e+00 | 3.000000e+00 | Inf
1563.80/1564.32 c 1282s| 3470k| 76590 | 12382k| 3.6 | 87M| 41 | - | 120 | 435 | 120 | 12 | 27 | 191k| 31k| 0.000000e+00 | 3.000000e+00 | Inf
1568.20/1568.79 c 1285s| 3480k| 75962 | 12415k| 3.6 | 86M| 41 | - | 120 | 441 | 120 | 12 | 27 | 192k| 31k| 0.000000e+00 | 3.000000e+00 | Inf
1572.80/1573.33 c 1289s| 3490k| 74986 | 12449k| 3.6 | 86M| 41 | - | 120 | 406 | 120 | 12 | 27 | 193k| 31k| 0.000000e+00 | 3.000000e+00 | Inf
1577.30/1577.81 c 1293s| 3500k| 74475 | 12482k| 3.6 | 86M| 41 | 5 | 120 | 417 | 120 | 12 | 27 | 193k| 31k| 0.000000e+00 | 3.000000e+00 | Inf
1581.90/1582.41 c 1297s| 3510k| 73360 | 12517k| 3.6 | 85M| 41 | 5 | 120 | 418 | 120 | 12 | 27 | 194k| 31k| 0.000000e+00 | 3.000000e+00 | Inf
1586.30/1586.82 c 1300s| 3520k| 73193 | 12551k| 3.6 | 85M| 41 | 5 | 120 | 427 | 120 | 12 | 27 | 194k| 31k| 0.000000e+00 | 3.000000e+00 | Inf
1590.50/1591.06 c 1304s| 3530k| 73740 | 12584k| 3.6 | 86M| 41 | 5 | 120 | 443 | 120 | 12 | 27 | 195k| 31k| 0.000000e+00 | 3.000000e+00 | Inf
1595.00/1595.54 c 1307s| 3540k| 73036 | 12617k| 3.6 | 85M| 41 | 5 | 120 | 404 | 120 | 12 | 27 | 195k| 32k| 0.000000e+00 | 3.000000e+00 | Inf
1599.39/1599.97 c 1311s| 3550k| 72652 | 12651k| 3.6 | 85M| 41 | - | 120 | 393 | 120 | 12 | 27 | 196k| 32k| 0.000000e+00 | 3.000000e+00 | Inf
1603.99/1604.55 c 1315s| 3560k| 71431 | 12684k| 3.6 | 84M| 41 | - | 120 | 388 | 120 | 12 | 27 | 196k| 32k| 0.000000e+00 | 3.000000e+00 | Inf
1608.59/1609.13 c 1318s| 3570k| 70625 | 12718k| 3.6 | 84M| 41 | 5 | 120 | 410 | 120 | 12 | 27 | 197k| 32k| 0.000000e+00 | 3.000000e+00 | Inf
1612.89/1613.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1612.89/1613.43 c 1322s| 3580k| 71033 | 12753k| 3.6 | 84M| 41 | - | 120 | 405 | 120 | 12 | 27 | 197k| 32k| 0.000000e+00 | 3.000000e+00 | Inf
1617.39/1617.91 c 1325s| 3590k| 70177 | 12787k| 3.6 | 84M| 41 | - | 120 | 412 | 120 | 12 | 27 | 198k| 32k| 0.000000e+00 | 3.000000e+00 | Inf
1621.78/1622.32 c 1329s| 3600k| 69656 | 12820k| 3.6 | 84M| 41 | - | 120 | 430 | 120 | 12 | 27 | 198k| 32k| 0.000000e+00 | 3.000000e+00 | Inf
1626.29/1626.83 c 1333s| 3610k| 68783 | 12853k| 3.6 | 83M| 41 | - | 120 | 445 | 120 | 12 | 27 | 199k| 32k| 0.000000e+00 | 3.000000e+00 | Inf
1630.58/1631.17 c 1336s| 3620k| 69266 | 12889k| 3.6 | 84M| 41 | - | 120 | 480 | 120 | 12 | 27 | 199k| 32k| 0.000000e+00 | 3.000000e+00 | Inf
1635.09/1635.63 c 1340s| 3630k| 68516 | 12923k| 3.6 | 83M| 41 | - | 120 | 438 | 120 | 12 | 27 | 200k| 32k| 0.000000e+00 | 3.000000e+00 | Inf
1639.78/1640.39 c 1344s| 3640k| 66811 | 12957k| 3.6 | 82M| 41 | 5 | 120 | 422 | 120 | 12 | 27 | 201k| 33k| 0.000000e+00 | 3.000000e+00 | Inf
1644.38/1644.92 c 1347s| 3650k| 65749 | 12989k| 3.6 | 81M| 41 | 5 | 120 | 445 | 120 | 12 | 27 | 201k| 33k| 0.000000e+00 | 3.000000e+00 | Inf
1648.78/1649.35 c 1351s| 3660k| 66257 | 13024k| 3.6 | 82M| 41 | - | 120 | 442 | 120 | 12 | 27 | 202k| 33k| 0.000000e+00 | 3.000000e+00 | Inf
1653.07/1653.65 c 1355s| 3670k| 66885 | 13058k| 3.6 | 82M| 41 | - | 120 | 488 | 120 | 12 | 27 | 203k| 33k| 0.000000e+00 | 3.000000e+00 | Inf
1657.38/1657.99 c 1358s| 3680k| 66682 | 13091k| 3.6 | 82M| 41 | - | 120 | 455 | 120 | 12 | 27 | 203k| 33k| 0.000000e+00 | 3.000000e+00 | Inf
1661.87/1662.40 c 1362s| 3690k| 66463 | 13125k| 3.6 | 82M| 41 | - | 120 | 477 | 120 | 12 | 27 | 204k| 33k| 0.000000e+00 | 3.000000e+00 | Inf
1666.37/1666.94 c 1366s| 3700k| 67631 | 13161k| 3.6 | 83M| 41 | 5 | 120 | 445 | 120 | 12 | 27 | 204k| 33k| 0.000000e+00 | 3.000000e+00 | Inf
1670.67/1671.25 c 1369s| 3710k| 69028 | 13197k| 3.6 | 84M| 41 | 5 | 120 | 445 | 120 | 12 | 27 | 205k| 33k| 0.000000e+00 | 3.000000e+00 | Inf
1674.97/1675.60 c 1373s| 3720k| 70154 | 13233k| 3.6 | 84M| 41 | - | 120 | 463 | 120 | 12 | 27 | 205k| 33k| 0.000000e+00 | 3.000000e+00 | Inf
1679.37/1679.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1679.37/1679.94 c 1376s| 3730k| 71090 | 13268k| 3.6 | 85M| 41 | 5 | 120 | 439 | 120 | 12 | 27 | 205k| 33k| 0.000000e+00 | 3.000000e+00 | Inf
1683.67/1684.27 c 1380s| 3740k| 71852 | 13303k| 3.6 | 86M| 41 | - | 120 | 447 | 120 | 12 | 27 | 206k| 33k| 0.000000e+00 | 3.000000e+00 | Inf
1687.98/1688.56 c 1383s| 3750k| 72681 | 13337k| 3.6 | 86M| 41 | 5 | 120 | 459 | 120 | 12 | 27 | 206k| 33k| 0.000000e+00 | 3.000000e+00 | Inf
1692.37/1692.97 c 1387s| 3760k| 74022 | 13373k| 3.6 | 87M| 41 | 5 | 120 | 489 | 120 | 12 | 27 | 207k| 33k| 0.000000e+00 | 3.000000e+00 | Inf
1696.67/1697.28 c 1390s| 3770k| 74752 | 13407k| 3.6 | 88M| 41 | 5 | 120 | 463 | 120 | 12 | 27 | 207k| 33k| 0.000000e+00 | 3.000000e+00 | Inf
1700.96/1701.56 c 1394s| 3780k| 75252 | 13441k| 3.6 | 88M| 41 | - | 120 | 420 | 120 | 12 | 27 | 207k| 33k| 0.000000e+00 | 3.000000e+00 | Inf
1705.36/1705.90 c 1397s| 3790k| 75541 | 13475k| 3.6 | 89M| 41 | 5 | 120 | 437 | 120 | 12 | 27 | 208k| 33k| 0.000000e+00 | 3.000000e+00 | Inf
1709.66/1710.23 c 1401s| 3800k| 75532 | 13509k| 3.6 | 89M| 41 | 5 | 120 | 434 | 120 | 12 | 27 | 208k| 33k| 0.000000e+00 | 3.000000e+00 | Inf
1713.96/1714.51 c 1404s| 3810k| 76023 | 13543k| 3.6 | 89M| 41 | 5 | 120 | 448 | 120 | 12 | 27 | 209k| 33k| 0.000000e+00 | 3.000000e+00 | Inf
1718.25/1718.81 c 1408s| 3820k| 75985 | 13576k| 3.6 | 90M| 41 | - | 120 | 425 | 120 | 12 | 27 | 209k| 33k| 0.000000e+00 | 3.000000e+00 | Inf
1722.45/1723.04 c 1411s| 3830k| 76114 | 13609k| 3.6 | 90M| 41 | - | 120 | 443 | 120 | 12 | 27 | 209k| 34k| 0.000000e+00 | 3.000000e+00 | Inf
1726.76/1727.39 c 1415s| 3840k| 76566 | 13645k| 3.6 | 90M| 41 | 5 | 120 | 423 | 120 | 12 | 27 | 210k| 34k| 0.000000e+00 | 3.000000e+00 | Inf
1731.15/1731.76 c 1419s| 3850k| 77112 | 13682k| 3.6 | 91M| 41 | - | 120 | 423 | 120 | 12 | 27 | 210k| 34k| 0.000000e+00 | 3.000000e+00 | Inf
1735.45/1736.08 c 1422s| 3860k| 77115 | 13717k| 3.6 | 91M| 41 | - | 120 | 430 | 120 | 12 | 27 | 211k| 34k| 0.000000e+00 | 3.000000e+00 | Inf
1739.75/1740.36 c 1426s| 3870k| 77112 | 13750k| 3.6 | 91M| 41 | - | 120 | 435 | 0 | 0 | 27 | 211k| 34k| 0.000000e+00 | 3.000000e+00 | Inf
1744.06/1744.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1744.06/1744.66 c 1429s| 3880k| 77280 | 13785k| 3.6 | 92M| 41 | - | 120 | 455 | 0 | 0 | 27 | 211k| 34k| 0.000000e+00 | 3.000000e+00 | Inf
1748.35/1748.98 c 1433s| 3890k| 77424 | 13818k| 3.6 | 92M| 41 | 5 | 120 | 454 | 120 | 12 | 27 | 212k| 34k| 0.000000e+00 | 3.000000e+00 | Inf
1752.75/1753.30 c 1436s| 3900k| 77245 | 13852k| 3.6 | 92M| 41 | - | 120 | 456 | 120 | 12 | 27 | 212k| 34k| 0.000000e+00 | 3.000000e+00 | Inf
1757.04/1757.66 c 1440s| 3910k| 76992 | 13887k| 3.6 | 92M| 41 | - | 120 | 431 | 120 | 12 | 27 | 213k| 34k| 0.000000e+00 | 3.000000e+00 | Inf
1761.45/1762.01 c 1443s| 3920k| 76407 | 13919k| 3.6 | 92M| 41 | - | 120 | 434 | 120 | 12 | 27 | 213k| 34k| 0.000000e+00 | 3.000000e+00 | Inf
1765.74/1766.40 c 1447s| 3930k| 76349 | 13955k| 3.6 | 92M| 41 | 5 | 120 | 447 | 120 | 12 | 27 | 213k| 34k| 0.000000e+00 | 3.000000e+00 | Inf
1770.14/1770.72 c 1450s| 3940k| 76680 | 13990k| 3.6 | 92M| 41 | - | 120 | 482 | 0 | 0 | 27 | 214k| 34k| 0.000000e+00 | 3.000000e+00 | Inf
1774.64/1775.26 c 1454s| 3950k| 75457 | 14024k| 3.6 | 92M| 41 | - | 120 | 428 | 120 | 12 | 27 | 214k| 34k| 0.000000e+00 | 3.000000e+00 | Inf
1779.64/1780.23 c 1458s| 3960k| 71965 | 14056k| 3.5 | 89M| 41 | - | 120 | 418 | 120 | 12 | 27 | 215k| 34k| 0.000000e+00 | 3.000000e+00 | Inf
1784.34/1784.93 c 1462s| 3970k| 70545 | 14091k| 3.5 | 88M| 41 | 5 | 120 | 402 | 120 | 12 | 27 | 216k| 34k| 0.000000e+00 | 3.000000e+00 | Inf
1788.74/1789.32 c 1466s| 3980k| 70289 | 14124k| 3.5 | 88M| 41 | - | 120 | 449 | 0 | 0 | 27 | 216k| 35k| 0.000000e+00 | 3.000000e+00 | Inf
1793.23/1793.83 c 1469s| 3990k| 69945 | 14158k| 3.5 | 88M| 41 | - | 120 | 416 | 120 | 12 | 27 | 217k| 35k| 0.000000e+00 | 3.000000e+00 | Inf
1797.84/1798.42 c 1473s| 4000k| 69198 | 14193k| 3.5 | 88M| 41 | - | 120 | 408 | 120 | 12 | 27 | 218k| 35k| 0.000000e+00 | 3.000000e+00 | Inf
1800.04/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.61 c
1800.04/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.61 c Solving Time (sec) : 1474.83
1800.04/1800.61 c Solving Nodes : 4004544
1800.04/1800.61 c Primal Bound : +3.00000000000000e+00 (34 solutions)
1800.04/1800.61 c Dual Bound : +0.00000000000000e+00
1800.04/1800.61 c Gap : infinite
1800.04/1800.61 s SATISFIABLE
1800.04/1800.61 v x90 x120 -x119 -x118 -x117 x116 -x115 -x114 -x113 -x112 x111 x110 x109 x108 -x107 -x106 x105 -x104 -x103 x102 x101 -x100 -x99 x98
1800.04/1800.61 v x97 x96 -x95 -x94 -x93 x92 -x91 -x89 -x88 x87 -x86 x85 -x84 x83 -x82 x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71
1800.04/1800.61 v -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46
1800.04/1800.61 v -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21
1800.04/1800.61 v -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 x2 x1
1800.04/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.61 c Solving Time : 1474.83
1800.04/1800.61 c Original Problem :
1800.04/1800.61 c Problem name : HOME/instance-2665664-1276616201.opb
1800.04/1800.61 c Variables : 120 (120 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.61 c Constraints : 10 initial, 10 maximal
1800.04/1800.61 c Presolved Problem :
1800.04/1800.61 c Problem name : t_HOME/instance-2665664-1276616201.opb
1800.04/1800.61 c Variables : 120 (120 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.61 c Constraints : 5 initial, 647 maximal
1800.04/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.61 c probing : 0.01 0 0 0 0 0 0 0 0
1800.04/1800.61 c linear : 0.00 0 0 0 0 0 5 0 0
1800.04/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.61 c root node : - 60 - - 60 - - - -
1800.04/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.61 c integral : 0 0 0 2074510 0 3044 26453 0 0 4090082
1800.04/1800.61 c linear : 5+ 7 5233790 0 0 501366 3182956 0 0 0
1800.04/1800.61 c logicor : 0+ 0 2543016 0 0 8858 99726 0 0 0
1800.04/1800.61 c countsols : 0 0 0 10 0 0 0 0 0 0
1800.04/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.61 c integral : 29.15 0.00 0.00 29.15 0.00
1800.04/1800.61 c linear : 229.31 0.00 229.31 0.00 0.00
1800.04/1800.61 c logicor : 24.05 0.00 24.05 0.00 0.00
1800.04/1800.61 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.61 c vbounds : 2.50 2 0 0
1800.04/1800.61 c rootredcost : 2.21 25 0 60
1800.04/1800.61 c pseudoobj : 32.59 5239406 5802 212221
1800.04/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.61 c propagation : 22.69 516026 128188 177939 35.9 10 24.5 -
1800.04/1800.61 c infeasible LP : 4.20 84579 84191 98306 20.8 22 25.5 0
1800.04/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1800.61 c applied globally : - - - 97969 19.8 - - -
1800.04/1800.61 c applied locally : - - - 120409 36.6 - - -
1800.04/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.61 c cut pool : 0.00 5 - - 12 - (maximal pool size: 96)
1800.04/1800.61 c redcost : 24.80 2346468 0 4879837 0 0
1800.04/1800.61 c impliedbounds : 0.00 6 0 0 0 0
1800.04/1800.61 c intobj : 0.00 0 0 0 0 0
1800.04/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.61 c gomory : 0.00 6 0 0 0 0
1800.04/1800.61 c strongcg : 0.00 6 0 0 31 0
1800.04/1800.61 c cmir : 0.04 6 0 0 35 0
1800.04/1800.61 c flowcover : 0.03 6 0 0 52 0
1800.04/1800.61 c clique : 0.00 1 0 0 0 0
1800.04/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.61 c mcf : 0.00 1 0 0 0 0
1800.04/1800.61 c rapidlearning : 0.05 1 0 0 0 87
1800.04/1800.61 c Pricers : Time Calls Vars
1800.04/1800.61 c problem variables: 0.00 0 0
1800.04/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.61 c relpscost : 26.24 2074500 3044 26453 0 0 4090082
1800.04/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.61 c inference : 0.00 0 0 0 0 0 0
1800.04/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.61 c random : 0.00 0 0 0 0 0 0
1800.04/1800.61 c Primal Heuristics : Time Calls Found
1800.04/1800.61 c LP solutions : 0.02 - 10
1800.04/1800.61 c pseudo solutions : 0.00 - 0
1800.04/1800.61 c feaspump : 0.18 1 0
1800.04/1800.61 c oneopt : 2.66 22 0
1800.04/1800.61 c crossover : 5.40 6 0
1800.04/1800.61 c fracdiving : 7.52 6886 0
1800.04/1800.61 c veclendiving : 8.02 6886 2
1800.04/1800.61 c linesearchdiving : 7.33 6886 3
1800.04/1800.61 c coefdiving : 9.70 6887 3
1800.04/1800.61 c guideddiving : 7.21 6887 3
1800.04/1800.61 c pscostdiving : 8.30 6887 2
1800.04/1800.61 c rootsoldiving : 6.69 3446 1
1800.04/1800.61 c objpscostdiving : 2.68 3446 1
1800.04/1800.61 c trivial : 0.00 2 0
1800.04/1800.61 c simplerounding : 1.52 0 0
1800.04/1800.61 c zirounding : 1.86 1000 0
1800.04/1800.61 c rounding : 2.23 21481 0
1800.04/1800.61 c shifting : 20.23 32045 8
1800.04/1800.61 c intshifting : 0.15 0 0
1800.04/1800.61 c twoopt : 0.00 0 0
1800.04/1800.61 c fixandinfer : 0.00 0 0
1800.04/1800.61 c intdiving : 0.00 0 0
1800.04/1800.61 c actconsdiving : 0.00 0 0
1800.04/1800.61 c octane : 0.00 0 0
1800.04/1800.61 c rens : 0.02 1 0
1800.04/1800.61 c rins : 0.00 0 0
1800.04/1800.61 c localbranching : 0.00 0 0
1800.04/1800.61 c mutation : 0.00 0 0
1800.04/1800.61 c dins : 0.00 0 0
1800.04/1800.61 c undercover : 0.00 0 0
1800.04/1800.61 c nlp : 1.51 0 0
1800.04/1800.61 c trysol : 2.73 0 0
1800.04/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.61 c dual LP : 734.16 3789058 13743408 3.63 18719.91
1800.04/1800.61 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.61 c diving/probing LP: 30.76 179839 465381 2.59 15129.42
1800.04/1800.61 c strong branching : 8.79 35316 92128 2.61 10481.00
1800.04/1800.61 c (at root node) : - 9 212 23.56 -
1800.04/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.61 c B&B Tree :
1800.04/1800.61 c number of runs : 1
1800.04/1800.61 c nodes : 4004544
1800.04/1800.61 c nodes (total) : 4004544
1800.04/1800.61 c nodes left : 68513
1800.04/1800.61 c max depth : 41
1800.04/1800.61 c max depth (total): 41
1800.04/1800.61 c backtracks : 1099563 (27.5%)
1800.04/1800.61 c delayed cutoffs : 14565
1800.04/1800.61 c repropagations : 137540 (119365 domain reductions, 12672 cutoffs)
1800.04/1800.61 c avg switch length: 5.37
1800.04/1800.61 c switching time : 96.98
1800.04/1800.61 c Solution :
1800.04/1800.61 c Solutions found : 34 (25 improvements)
1800.04/1800.61 c First Solution : +9.96000000000000e+02 (in run 1, after 1 nodes, 0.07 seconds, depth 0, found by <trysol>)
1800.04/1800.61 c Primal Bound : +3.00000000000000e+00 (in run 1, after 461200 nodes, 182.81 seconds, depth 28, found by <relaxation>)
1800.04/1800.61 c Dual Bound : +0.00000000000000e+00
1800.04/1800.61 c Gap : infinite
1800.04/1800.61 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.61 c Root Iterations : 59
1800.53/1801.17 c Time complete: 1800.61.
OK 3
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665664-1276616201/watcher-2665664-1276616201 -o /tmp/evaluation-result-2665664-1276616201/solver-2665664-1276616201 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665664-1276616201.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.84 0.95 0.98 2/105 10070 /proc/meminfo: memFree=1507980/2059040 swapFree=4192956/4192956 [pid=10070] ppid=10068 vsize=9288 CPUtime=0 /proc/10070/stat : 10070 (pbscip.linux.x8) R 10068 10070 10045 0 -1 4202496 1159 0 0 0 0 0 0 0 22 0 1 0 2913644 9510912 1079 1992294400 4194304 9819077 140737108804048 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10070/statm: 2322 1089 371 1374 0 943 0 [startup+0.0745549 s] /proc/loadavg: 0.84 0.95 0.98 2/105 10070 /proc/meminfo: memFree=1507980/2059040 swapFree=4192956/4192956 [pid=10070] ppid=10068 vsize=22104 CPUtime=0.06 /proc/10070/stat : 10070 (pbscip.linux.x8) R 10068 10070 10045 0 -1 4202496 4878 0 0 0 4 2 0 0 25 0 1 0 2913644 22634496 3921 1992294400 4194304 9819077 140737108804048 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10070/statm: 5526 3921 673 1374 0 4147 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 22104 [startup+0.100558 s] /proc/loadavg: 0.84 0.95 0.98 2/105 10070 /proc/meminfo: memFree=1507980/2059040 swapFree=4192956/4192956 [pid=10070] ppid=10068 vsize=22236 CPUtime=0.09 /proc/10070/stat : 10070 (pbscip.linux.x8) R 10068 10070 10045 0 -1 4202496 4891 0 0 0 7 2 0 0 25 0 1 0 2913644 22769664 3934 1992294400 4194304 9819077 140737108804048 18446744073709551615 5928826 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10070/statm: 5559 3934 673 1374 0 4180 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 22236 [startup+0.300581 s] /proc/loadavg: 0.84 0.95 0.98 2/105 10070 /proc/meminfo: memFree=1507980/2059040 swapFree=4192956/4192956 [pid=10070] ppid=10068 vsize=16632 CPUtime=0.29 /proc/10070/stat : 10070 (pbscip.linux.x8) R 10068 10070 10045 0 -1 4202496 10585 0 0 0 24 5 0 0 25 0 1 0 2913644 17031168 2804 1992294400 4194304 9819077 140737108804048 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10070/statm: 4198 2805 724 1374 0 2819 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 16632 [startup+0.700627 s] /proc/loadavg: 0.84 0.95 0.98 2/105 10070 /proc/meminfo: memFree=1507980/2059040 swapFree=4192956/4192956 [pid=10070] ppid=10068 vsize=16472 CPUtime=0.69 /proc/10070/stat : 10070 (pbscip.linux.x8) R 10068 10070 10045 0 -1 4202496 16902 0 0 0 56 13 0 0 25 0 1 0 2913644 16867328 2828 1992294400 4194304 9819077 140737108804048 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10070/statm: 4118 2828 727 1374 0 2739 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 16472 [startup+1.50072 s] /proc/loadavg: 0.84 0.95 0.98 2/106 10071 /proc/meminfo: memFree=1498672/2059040 swapFree=4192956/4192956 [pid=10070] ppid=10068 vsize=16664 CPUtime=1.49 /proc/10070/stat : 10070 (pbscip.linux.x8) R 10068 10070 10045 0 -1 4202496 30795 0 0 0 124 25 0 0 25 0 1 0 2913644 17063936 2895 1992294400 4194304 9819077 140737108804048 18446744073709551615 6361856 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10070/statm: 4166 2895 727 1374 0 2787 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16664 [startup+3.1009 s] /proc/loadavg: 0.84 0.95 0.98 2/106 10071 /proc/meminfo: memFree=1498300/2059040 swapFree=4192956/4192956 [pid=10070] ppid=10068 vsize=17296 CPUtime=3.09 /proc/10070/stat : 10070 (pbscip.linux.x8) R 10068 10070 10045 0 -1 4202496 51273 0 0 0 260 49 0 0 25 0 1 0 2913644 17711104 3048 1992294400 4194304 9819077 140737108804048 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10070/statm: 4324 3048 727 1374 0 2945 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17296 [startup+6.30027 s] /proc/loadavg: 0.85 0.95 0.98 2/106 10071 /proc/meminfo: memFree=1496820/2059040 swapFree=4192956/4192956 [pid=10070] ppid=10068 vsize=18836 CPUtime=6.29 /proc/10070/stat : 10070 (pbscip.linux.x8) R 10068 10070 10045 0 -1 4202496 94637 0 0 0 530 99 0 0 25 0 1 0 2913644 19288064 3405 1992294400 4194304 9819077 140737108804048 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10070/statm: 4550 3401 727 1374 0 3171 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 18836 [startup+12.701 s] /proc/loadavg: 0.87 0.95 0.98 2/106 10071 /proc/meminfo: memFree=1494216/2059040 swapFree=4192956/4192956 [pid=10070] ppid=10068 vsize=20564 CPUtime=12.69 /proc/10070/stat : 10070 (pbscip.linux.x8) R 10068 10070 10045 0 -1 4202496 168793 0 0 0 1081 188 0 0 25 0 1 0 2913644 21057536 3989 1992294400 4194304 9819077 140737108804048 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10070/statm: 5141 3989 727 1374 0 3762 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 20564 [startup+25.5005 s] /proc/loadavg: 0.89 0.95 0.98 2/106 10071 /proc/meminfo: memFree=1492356/2059040 swapFree=4192956/4192956 [pid=10070] ppid=10068 vsize=22828 CPUtime=25.48 /proc/10070/stat : 10070 (pbscip.linux.x8) R 10068 10070 10045 0 -1 4202496 302961 0 0 0 2178 370 0 0 25 0 1 0 2913644 23375872 4501 1992294400 4194304 9819077 140737108804048 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10070/statm: 5508 4497 727 1374 0 4129 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 22828 [startup+51.1014 s] /proc/loadavg: 0.93 0.96 0.98 2/106 10073 /proc/meminfo: memFree=1489752/2059040 swapFree=4192956/4192956 [pid=10070] ppid=10068 vsize=25032 CPUtime=51.08 /proc/10070/stat : 10070 (pbscip.linux.x8) R 10068 10070 10045 0 -1 4202496 626227 0 0 0 4318 790 0 0 25 0 1 0 2913644 25632768 5028 1992294400 4194304 9819077 140737108804048 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10070/statm: 6258 5028 727 1374 0 4879 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 25032 [startup+102.308 s] /proc/loadavg: 0.97 0.96 0.98 2/106 10073 /proc/meminfo: memFree=1489504/2059040 swapFree=4192956/4192956 [pid=10070] ppid=10068 vsize=25032 CPUtime=102.27 /proc/10070/stat : 10070 (pbscip.linux.x8) R 10068 10070 10045 0 -1 4202496 1360668 0 0 0 8534 1693 0 0 25 0 1 0 2913644 25632768 5028 1992294400 4194304 9819077 140737108804048 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10070/statm: 6258 5028 727 1374 0 4879 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 25032 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.98 2/106 10075 /proc/meminfo: memFree=1489504/2059040 swapFree=4192956/4192956 [pid=10070] ppid=10068 vsize=25032 CPUtime=162.24 /proc/10070/stat : 10070 (pbscip.linux.x8) R 10068 10070 10045 0 -1 4202496 2237343 0 0 0 13440 2784 0 0 25 0 1 0 2913644 25632768 5028 1992294400 4194304 9819077 140737108804048 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10070/statm: 6258 5028 727 1374 0 4879 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 25032 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.98 2/106 10077 /proc/meminfo: memFree=1483800/2059040 swapFree=4192956/4192956 [pid=10070] ppid=10068 vsize=25136 CPUtime=222.22 /proc/10070/stat : 10070 (pbscip.linux.x8) R 10068 10070 10045 0 -1 4202496 3099082 0 0 0 18381 3841 0 0 25 0 1 0 2913644 25739264 5042 1992294400 4194304 9819077 140737108804048 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10070/statm: 6284 5042 727 1374 0 4905 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 25136 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.98 2/106 10079 /proc/meminfo: memFree=1489380/2059040 swapFree=4192956/4192956 [pid=10070] ppid=10068 vsize=25136 CPUtime=282.21 /proc/10070/stat : 10070 (pbscip.linux.x8) R 10068 10070 10045 0 -1 4202496 3979653 0 0 0 23314 4907 0 0 25 0 1 0 2913644 25739264 5042 1992294400 4194304 9819077 140737108804048 18446744073709551615 4983706 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10070/statm: 6284 5042 727 1374 0 4905 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 25136 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.98 2/106 10079 /proc/meminfo: memFree=1489380/2059040 swapFree=4192956/4192956 [pid=10070] ppid=10068 vsize=24500 CPUtime=342.19 /proc/10070/stat : 10070 (pbscip.linux.x8) R 10068 10070 10045 0 -1 4202496 4858509 0 0 0 28242 5977 0 0 25 0 1 0 2913644 25088000 5039 1992294400 4194304 9819077 140737108804048 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10070/statm: 6244 5041 727 1374 0 4865 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 24500 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.98 2/106 10081 /proc/meminfo: memFree=1488016/2059040 swapFree=4192956/4192956 [pid=10070] ppid=10068 vsize=26996 CPUtime=402.17 /proc/10070/stat : 10070 (pbscip.linux.x8) R 10068 10070 10045 0 -1 4202496 5751607 0 0 0 33149 7068 0 0 25 0 1 0 2913644 27643904 5484 1992294400 4194304 9819077 140737108804048 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10070/statm: 6749 5484 727 1374 0 5370 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 26996 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.98 2/106 10083 /proc/meminfo: memFree=1487272/2059040 swapFree=4192956/4192956 [pid=10070] ppid=10068 vsize=27024 CPUtime=462.15 /proc/10070/stat : 10070 (pbscip.linux.x8) R 10068 10070 10045 0 -1 4202496 6654722 0 0 0 38041 8174 0 0 25 0 1 0 2913644 27672576 5512 1992294400 4194304 9819077 140737108804048 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10070/statm: 6756 5512 727 1374 0 5377 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 27024 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.98 2/106 10085 /proc/meminfo: memFree=1487272/2059040 swapFree=4192956/4192956 [pid=10070] ppid=10068 vsize=27004 CPUtime=522.14 /proc/10070/stat : 10070 (pbscip.linux.x8) R 10068 10070 10045 0 -1 4202496 7550460 0 0 0 42941 9273 0 0 25 0 1 0 2913644 27652096 5574 1992294400 4194304 9819077 140737108804048 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10070/statm: 6790 5574 727 1374 0 5411 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 27004 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.98 2/106 10087 /proc/meminfo: memFree=1480576/2059040 swapFree=4192956/4192956 [pid=10070] ppid=10068 vsize=35256 CPUtime=582.11 /proc/10070/stat : 10070 (pbscip.linux.x8) R 10068 10070 10045 0 -1 4202496 8433474 0 0 0 47863 10348 0 0 25 0 1 0 2913644 36102144 7333 1992294400 4194304 9819077 140737108804048 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10070/statm: 8615 7329 727 1374 0 7236 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 35256 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.98 2/106 10087 /proc/meminfo: memFree=1475616/2059040 swapFree=4192956/4192956 [pid=10070] ppid=10068 vsize=38912 CPUtime=642.1 /proc/10070/stat : 10070 (pbscip.linux.x8) R 10068 10070 10045 0 -1 4202496 9318474 0 0 0 52786 11424 0 0 25 0 1 0 2913644 39845888 8514 1992294400 4194304 9819077 140737108804048 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10070/statm: 9728 8514 727 1374 0 8349 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 38912 [startup+702.301 s] ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.98 2/106 10095 /proc/meminfo: memFree=1453420/2059040 swapFree=4192956/4192956 [pid=10070] ppid=10068 vsize=60128 CPUtime=942.01 /proc/10070/stat : 10070 (pbscip.linux.x8) R 10068 10070 10045 0 -1 4202496 13707127 0 0 0 77350 16851 0 0 25 0 1 0 2913644 61571072 13927 1992294400 4194304 9819077 140737108804048 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10070/statm: 15152 13930 728 1374 0 13773 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 60128 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.98 2/106 10097 /proc/meminfo: memFree=1451560/2059040 swapFree=4192956/4192956 [pid=10070] ppid=10068 vsize=62272 CPUtime=1001.99 /proc/10070/stat : 10070 (pbscip.linux.x8) R 10068 10070 10045 0 -1 4202496 14578681 0 0 0 82282 17917 0 0 25 0 1 0 2913644 63766528 14396 1992294400 4194304 9819077 140737108804048 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10070/statm: 15568 14396 728 1374 0 14189 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 62272 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.98 2/106 10099 /proc/meminfo: memFree=1445732/2059040 swapFree=4192956/4192956 [pid=10070] ppid=10068 vsize=68176 CPUtime=1061.97 /proc/10070/stat : 10070 (pbscip.linux.x8) R 10068 10070 10045 0 -1 4202496 15453378 0 0 0 87193 19004 0 0 25 0 1 0 2913644 69812224 15939 1992294400 4194304 9819077 140737108804048 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10070/statm: 17084 15940 728 1374 0 15705 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 68176 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.98 2/106 10101 /proc/meminfo: memFree=1436060/2059040 swapFree=4192956/4192956 [pid=10070] ppid=10068 vsize=77384 CPUtime=1121.95 /proc/10070/stat : 10070 (pbscip.linux.x8) R 10068 10070 10045 0 -1 4202496 16333390 0 0 0 92097 20098 0 0 25 0 1 0 2913644 79241216 18240 1992294400 4194304 9819077 140737108804048 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10070/statm: 19346 18240 728 1374 0 17967 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 77384 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.98 2/106 10103 /proc/meminfo: memFree=1428620/2059040 swapFree=4192956/4192956 [pid=10070] ppid=10068 vsize=84800 CPUtime=1181.93 /proc/10070/stat : 10070 (pbscip.linux.x8) R 10068 10070 10045 0 -1 4202496 17214292 0 0 0 96998 21195 0 0 25 0 1 0 2913644 86835200 20123 1992294400 4194304 9819077 140737108804048 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10070/statm: 21200 20123 728 1374 0 19821 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 84800 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.98 2/106 10103 /proc/meminfo: memFree=1422296/2059040 swapFree=4192956/4192956 [pid=10070] ppid=10068 vsize=92572 CPUtime=1241.91 /proc/10070/stat : 10070 (pbscip.linux.x8) R 10068 10070 10045 0 -1 4202496 18093077 0 0 0 101883 22308 0 0 25 0 1 0 2913644 94793728 21564 1992294400 4194304 9819077 140737108804048 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10070/statm: 23143 21564 728 1374 0 21764 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 92572 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.98 2/106 10105 /proc/meminfo: memFree=1416964/2059040 swapFree=4192956/4192956 [pid=10070] ppid=10068 vsize=97732 CPUtime=1301.9 /proc/10070/stat : 10070 (pbscip.linux.x8) R 10068 10070 10045 0 -1 4202496 18969676 0 0 0 106782 23408 0 0 25 0 1 0 2913644 100077568 22850 1992294400 4194304 9819077 140737108804048 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10070/statm: 24433 22850 728 1374 0 23054 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 97732 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.98 2/106 10107 /proc/meminfo: memFree=1412872/2059040 swapFree=4192956/4192956 [pid=10070] ppid=10068 vsize=102716 CPUtime=1361.87 /proc/10070/stat : 10070 (pbscip.linux.x8) R 10068 10070 10045 0 -1 4202496 19844966 0 0 0 111679 24508 0 0 25 0 1 0 2913644 105181184 23870 1992294400 4194304 9819077 140737108804048 18446744073709551615 8655604 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10070/statm: 25480 23866 728 1374 0 24101 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 102716 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.98 2/106 10109 /proc/meminfo: memFree=1407044/2059040 swapFree=4192956/4192956 [pid=10070] ppid=10068 vsize=107508 CPUtime=1421.87 /proc/10070/stat : 10070 (pbscip.linux.x8) R 10068 10070 10045 0 -1 4202496 20720880 0 0 0 116585 25602 0 0 25 0 1 0 2913644 110088192 25318 1992294400 4194304 9819077 140737108804048 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10070/statm: 26877 25318 728 1374 0 25498 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 107508 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.98 2/106 10120 /proc/meminfo: memFree=1402580/2059040 swapFree=4192956/4192956 [pid=10070] ppid=10068 vsize=111876 CPUtime=1481.83 /proc/10070/stat : 10070 (pbscip.linux.x8) R 10068 10070 10045 0 -1 4202496 21600512 0 0 0 121469 26714 0 0 25 0 1 0 2913644 114561024 26420 1992294400 4194304 9819077 140737108804048 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10070/statm: 27969 26420 728 1374 0 26590 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 111876 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.98 2/106 10120 /proc/meminfo: memFree=1402084/2059040 swapFree=4192956/4192956 [pid=10070] ppid=10068 vsize=111924 CPUtime=1541.81 /proc/10070/stat : 10070 (pbscip.linux.x8) R 10068 10070 10045 0 -1 4202496 22476278 0 0 0 126373 27808 0 0 25 0 1 0 2913644 114610176 26434 1992294400 4194304 9819077 140737108804048 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10070/statm: 27821 26429 728 1374 0 26442 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 111924 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.98 2/106 10122 /proc/meminfo: memFree=1401588/2059040 swapFree=4192956/4192956 [pid=10070] ppid=10068 vsize=112364 CPUtime=1601.79 /proc/10070/stat : 10070 (pbscip.linux.x8) R 10068 10070 10045 0 -1 4202496 23347550 0 0 0 131274 28905 0 0 25 0 1 0 2913644 115060736 26545 1992294400 4194304 9819077 140737108804048 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10070/statm: 27971 26541 728 1374 0 26592 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 112364 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.98 2/106 10124 /proc/meminfo: memFree=1401464/2059040 swapFree=4192956/4192956 [pid=10070] ppid=10068 vsize=112260 CPUtime=1661.77 /proc/10070/stat : 10070 (pbscip.linux.x8) R 10068 10070 10045 0 -1 4202496 24212583 0 0 0 136170 30007 0 0 25 0 1 0 2913644 114954240 26560 1992294400 4194304 9819077 140737108804048 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10070/statm: 28105 26561 728 1374 0 26726 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 112260 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.98 2/106 10126 /proc/meminfo: memFree=1399604/2059040 swapFree=4192956/4192956 [pid=10070] ppid=10068 vsize=114340 CPUtime=1721.75 /proc/10070/stat : 10070 (pbscip.linux.x8) R 10068 10070 10045 0 -1 4202496 25072651 0 0 0 141083 31092 0 0 25 0 1 0 2913644 117084160 27033 1992294400 4194304 9819077 140737108804048 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10070/statm: 28585 27033 728 1374 0 27206 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 114340 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.98 2/106 10128 /proc/meminfo: memFree=1397124/2059040 swapFree=4192956/4192956 [pid=10070] ppid=10068 vsize=116524 CPUtime=1781.74 /proc/10070/stat : 10070 (pbscip.linux.x8) R 10068 10070 10045 0 -1 4202496 25945135 0 0 0 145981 32193 0 0 25 0 1 0 2913644 119320576 27594 1992294400 4194304 9819077 140737108804048 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10070/statm: 29131 27594 728 1374 0 27752 0 Current children cumulated CPU time (s) 1781.74 Current children cumulated vsize (KiB) 116524 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.97 0.98 2/106 10128 /proc/meminfo: memFree=1397124/2059040 swapFree=4192956/4192956 [pid=10070] ppid=10068 vsize=116524 CPUtime=1800.04 /proc/10070/stat : 10070 (pbscip.linux.x8) R 10068 10070 10045 0 -1 4202496 26207661 0 0 0 147483 32521 0 0 25 0 1 0 2913644 119320576 27594 1992294400 4194304 9819077 140737108804048 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10070/statm: 29131 27594 728 1374 0 27752 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 116524 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801 s] /proc/loadavg: 0.99 0.97 0.98 2/106 10128 /proc/meminfo: memFree=1397124/2059040 swapFree=4192956/4192956 [pid=10070] ppid=10068 vsize=116524 CPUtime=1800.43 /proc/10070/stat : 10070 (pbscip.linux.x8) R 10068 10070 10045 0 -1 4202496 26207667 0 0 0 147522 32521 0 0 25 0 1 0 2913644 119320576 27595 1992294400 4194304 9819077 140737108804048 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10070/statm: 29131 27595 729 1374 0 27752 0 Current children cumulated CPU time (s) 1800.43 Current children cumulated vsize (KiB) 116524 [startup+1801.1 s] /proc/loadavg: 0.99 0.97 0.98 2/106 10128 /proc/meminfo: memFree=1397124/2059040 swapFree=4192956/4192956 [pid=10070] ppid=10068 vsize=116524 CPUtime=1800.53 /proc/10070/stat : 10070 (pbscip.linux.x8) R 10068 10070 10045 0 -1 4202496 26207667 0 0 0 147532 32521 0 0 25 0 1 0 2913644 119320576 27595 1992294400 4194304 9819077 140737108804048 18446744073709551615 6180581 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10070/statm: 29131 27595 729 1374 0 27752 0 Current children cumulated CPU time (s) 1800.53 Current children cumulated vsize (KiB) 116524 Child status: 0 Real time (s): 1801.17 CPU time (s): 1800.61 CPU user time (s): 1475.38 CPU system time (s): 325.232 CPU usage (%): 99.9689 Max. virtual memory (cumulated for all children) (KiB): 117400 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1475.38 system time used= 325.232 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 26207671 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= 1712 runsolver used 3.05354 second user time and 8.46171 second system time The end
Begin job on node088 at 2010-06-15 17:36:41 IDJOB=2665664 IDBENCH=2923 IDSOLVER=1168 FILE ID=node088/2665664-1276616201 PBS_JOBID= 11172312 Free space on /tmp= 62564 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_5_40_1.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-2665664-1276616201/watcher-2665664-1276616201 -o /tmp/evaluation-result-2665664-1276616201/solver-2665664-1276616201 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665664-1276616201.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 5bf563c7058af01702ea80887f1d43ad RANDOM SEED=35335568 node088.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.217 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.43 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.217 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: 1508508 kB Buffers: 76936 kB Cached: 346380 kB SwapCached: 0 kB Active: 193160 kB Inactive: 289888 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1508508 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 6268 kB Writeback: 0 kB AnonPages: 59744 kB Mapped: 15516 kB Slab: 45860 kB PageTables: 4036 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180632 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= 62556 MiB End job on node088 at 2010-06-15 18:06:43