0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00 c Copyright (c) 2002-2011 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-3485561-1307774948.opb>
0.00/0.00 c original problem has 120 variables (120 bin, 0 int, 0 impl, 0 cont) and 10 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.00 c presolving:
0.00/0.00 c (round 1) 0 del vars, 5 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.01 c (0.0s) probing: 101/120 (84.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.01 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.01 c presolving (2 rounds):
0.00/0.01 c 0 deleted vars, 5 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.01 c 0 implications, 0 cliques
0.00/0.01 c presolved problem has 120 variables (120 bin, 0 int, 0 impl, 0 cont) and 5 constraints
0.00/0.01 c 5 constraints of type <linear>
0.00/0.01 c transformed objective value is always integral (scale: 1)
0.00/0.01 c Presolving Time: 0.00
0.00/0.01 c - non default parameters ----------------------------------------------------------------------
0.00/0.01 c # SCIP version 2.0.1.4
0.00/0.01 c
0.00/0.01 c # frequency for displaying node information lines
0.00/0.01 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.01 c display/freq = 10000
0.00/0.01 c
0.00/0.01 c # maximal time in seconds to run
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01 c limits/time = 1797
0.00/0.01 c
0.00/0.01 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01 c limits/memory = 13950
0.00/0.01 c
0.00/0.01 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.01 c # [type: int, range: [1,2], default: 1]
0.00/0.01 c timing/clocktype = 2
0.00/0.01 c
0.00/0.01 c # belongs reading time to solving time?
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c timing/reading = TRUE
0.00/0.01 c
0.00/0.01 c # should presolving try to simplify inequalities
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/linear/simplifyinequalities = TRUE
0.00/0.01 c
0.00/0.01 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/indicator/addCouplingCons = TRUE
0.00/0.01 c
0.00/0.01 c # should presolving try to simplify knapsacks
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.01 c
0.00/0.01 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.01 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.01 c separating/rapidlearning/freq = 0
0.00/0.01 c
0.00/0.01 c -----------------------------------------------------------------------------------------------
0.00/0.01 c start solving
0.00/0.01 c
0.00/0.01 o 1352
0.00/0.01 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.01 c T 0.0s| 1 | 0 | 0 | - | 466k| 0 | - | 120 | 5 | 120 | 5 | 0 | 0 | 0 | -- | 1.352000e+03 | Inf
0.00/0.01 c 0.0s| 1 | 0 | 25 | - | 446k| 0 | 5 | 120 | 5 | 120 | 5 | 0 | 0 | 0 | 0.000000e+00 | 1.352000e+03 | Inf
0.00/0.02 o 1345
0.00/0.02 c y 0.0s| 1 | 0 | 25 | - | 482k| 0 | 5 | 120 | 5 | 120 | 5 | 0 | 0 | 0 | 0.000000e+00 | 1.345000e+03 | Inf
0.00/0.02 c 0.0s| 1 | 0 | 29 | - | 485k| 0 | 8 | 120 | 7 | 120 | 11 | 6 | 0 | 0 | 0.000000e+00 | 1.345000e+03 | Inf
0.00/0.02 c 0.0s| 1 | 0 | 38 | - | 525k| 0 | 12 | 120 | 7 | 120 | 15 | 10 | 0 | 0 | 0.000000e+00 | 1.345000e+03 | Inf
0.00/0.03 c 0.0s| 1 | 0 | 43 | - | 550k| 0 | 15 | 120 | 7 | 120 | 19 | 14 | 0 | 0 | 0.000000e+00 | 1.345000e+03 | Inf
0.00/0.04 c 0.0s| 1 | 0 | 47 | - | 576k| 0 | 16 | 120 | 7 | 120 | 23 | 18 | 0 | 0 | 0.000000e+00 | 1.345000e+03 | Inf
0.00/0.04 c 0.0s| 1 | 0 | 53 | - | 596k| 0 | 19 | 120 | 7 | 120 | 25 | 20 | 0 | 0 | 0.000000e+00 | 1.345000e+03 | Inf
0.00/0.05 c 0.1s| 1 | 0 | 61 | - | 609k| 0 | 20 | 120 | 7 | 120 | 28 | 23 | 0 | 0 | 0.000000e+00 | 1.345000e+03 | Inf
0.09/0.11 c 0.1s| 1 | 2 | 160 | - | 610k| 0 | 20 | 120 | 7 | 120 | 28 | 23 | 0 | 11 | 0.000000e+00 | 1.345000e+03 | Inf
0.09/0.15 o 907
0.09/0.15 c c 0.2s| 36 | 37 | 371 | 8.9 | 643k| 35 | - | 120 | 7 | 120 | 20 | 23 | 0 | 178 | 0.000000e+00 | 9.070000e+02 | Inf
0.09/0.16 o 728
0.09/0.16 c p 0.2s| 50 | 49 | 441 | 7.8 | 650k| 36 | - | 120 | 7 | 120 | 20 | 23 | 0 | 214 | 0.000000e+00 | 7.280000e+02 | Inf
0.09/0.18 o 96
0.09/0.18 c f 0.2s| 71 | 53 | 601 | 7.7 | 661k| 36 | - | 120 | 7 | 120 | 20 | 23 | 0 | 273 | 0.000000e+00 | 9.600000e+01 | Inf
0.09/0.19 o 94
0.09/0.19 c v 0.2s| 85 | 67 | 650 | 7.0 | 686k| 36 | - | 120 | 5 | 120 | 20 | 23 | 5 | 312 | 0.000000e+00 | 9.400000e+01 | Inf
0.19/0.23 o 92
0.19/0.23 c l 0.2s| 203 | 160 | 1133 | 5.3 | 754k| 39 | - | 120 | 11 | 120 | 20 | 23 | 19 | 421 | 0.000000e+00 | 9.200000e+01 | Inf
0.19/0.24 o 90
0.19/0.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.24 c * 0.2s| 267 | 214 | 1417 | 5.1 | 780k| 39 | - | 120 | 11 | 120 | 20 | 23 | 20 | 455 | 0.000000e+00 | 9.000000e+01 | Inf
0.19/0.25 o 88
0.19/0.25 c * 0.2s| 269 | 214 | 1417 | 5.1 | 781k| 39 | - | 120 | 11 | 120 | 20 | 23 | 20 | 458 | 0.000000e+00 | 8.800000e+01 | Inf
0.19/0.25 o 86
0.19/0.25 c p 0.2s| 272 | 215 | 1419 | 5.0 | 781k| 39 | - | 120 | 11 | 120 | 20 | 23 | 20 | 463 | 0.000000e+00 | 8.600000e+01 | Inf
0.19/0.25 o 84
0.19/0.25 c f 0.2s| 272 | 212 | 1419 | 5.0 | 785k| 39 | - | 120 | 11 | 120 | 20 | 23 | 21 | 463 | 0.000000e+00 | 8.400000e+01 | Inf
0.19/0.26 o 83
0.19/0.26 c * 0.3s| 312 | 244 | 1558 | 4.8 | 805k| 39 | - | 120 | 12 | 120 | 20 | 23 | 22 | 475 | 0.000000e+00 | 8.300000e+01 | Inf
0.19/0.26 o 81
0.19/0.26 c * 0.3s| 313 | 239 | 1558 | 4.8 | 800k| 39 | - | 120 | 12 | 120 | 20 | 23 | 22 | 475 | 0.000000e+00 | 8.100000e+01 | Inf
0.19/0.27 o 79
0.19/0.27 c * 0.3s| 360 | 278 | 1781 | 4.8 | 822k| 39 | - | 120 | 12 | 120 | 20 | 23 | 26 | 492 | 0.000000e+00 | 7.900000e+01 | Inf
0.19/0.27 o 77
0.19/0.27 c * 0.3s| 361 | 273 | 1781 | 4.8 | 819k| 39 | - | 120 | 12 | 120 | 20 | 23 | 26 | 492 | 0.000000e+00 | 7.700000e+01 | Inf
0.19/0.28 o 73
0.19/0.28 c * 0.3s| 390 | 289 | 1890 | 4.7 | 829k| 39 | - | 120 | 12 | 120 | 20 | 23 | 26 | 506 | 0.000000e+00 | 7.300000e+01 | Inf
0.29/0.32 o 72
0.29/0.32 c * 0.3s| 461 | 354 | 2303 | 4.9 | 860k| 39 | - | 120 | 12 | 120 | 20 | 23 | 30 | 510 | 0.000000e+00 | 7.200000e+01 | Inf
0.29/0.32 o 69
0.29/0.32 c * 0.3s| 464 | 345 | 2313 | 4.9 | 855k| 39 | - | 120 | 12 | 120 | 20 | 23 | 30 | 511 | 0.000000e+00 | 6.900000e+01 | Inf
0.29/0.32 o 21
0.29/0.32 c s 0.3s| 484 | 292 | 2386 | 4.8 | 823k| 39 | 5 | 120 | 13 | 120 | 20 | 23 | 31 | 513 | 0.000000e+00 | 2.100000e+01 | Inf
0.29/0.32 o 20
0.29/0.32 c f 0.3s| 484 | 291 | 2396 | 4.8 | 833k| 39 | - | 120 | 15 | 120 | 20 | 23 | 35 | 518 | 0.000000e+00 | 2.000000e+01 | Inf
1.29/1.37 o 19
1.29/1.37 c * 1.4s| 4682 | 3550 | 22448 | 4.8 |2387k| 39 | - | 120 | 107 | 120 | 20 | 23 | 708 | 614 | 0.000000e+00 | 1.900000e+01 | Inf
1.29/1.37 o 17
1.29/1.37 c * 1.4s| 4683 | 3524 | 22448 | 4.8 |2360k| 39 | - | 120 | 107 | 120 | 20 | 23 | 708 | 614 | 0.000000e+00 | 1.700000e+01 | Inf
1.39/1.47 o 15
1.39/1.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.39/1.47 c * 1.5s| 4976 | 3654 | 24289 | 4.9 |2405k| 39 | - | 120 | 116 | 120 | 20 | 23 | 781 | 614 | 0.000000e+00 | 1.500000e+01 | Inf
2.59/2.63 o 14
2.59/2.63 c * 2.6s| 9166 | 6403 | 45705 | 5.0 |3668k| 39 | - | 120 | 177 | 120 | 20 | 23 |1594 | 710 | 0.000000e+00 | 1.400000e+01 | Inf
2.79/2.84 c 2.8s| 10000 | 6886 | 49415 | 4.9 |3882k| 39 | 5 | 120 | 184 | 120 | 20 | 23 |1723 | 736 | 0.000000e+00 | 1.400000e+01 | Inf
4.19/4.22 o 13
4.19/4.22 c p 4.2s| 16567 | 10184 | 74695 | 4.5 |5505k| 39 | - | 120 | 220 | 120 | 20 | 23 |2724 | 948 | 0.000000e+00 | 1.300000e+01 | Inf
4.19/4.22 o 11
4.19/4.22 c f 4.2s| 16567 | 10112 | 74695 | 4.5 |5429k| 39 | - | 120 | 221 | 120 | 20 | 23 |2727 | 948 | 0.000000e+00 | 1.100000e+01 | Inf
5.40/5.41 c 5.4s| 20000 | 11535 | 86696 | 4.3 |6153k| 39 | - | 120 | 215 | 0 | 0 | 23 |3122 |1025 | 0.000000e+00 | 1.100000e+01 | Inf
6.09/6.13 o 9
6.09/6.13 c * 6.1s| 24098 | 12919 |101039 | 4.2 |6777k| 39 | - | 120 | 234 | 120 | 20 | 23 |3633 |1148 | 0.000000e+00 | 9.000000e+00 | Inf
6.09/6.19 o 8
6.09/6.19 c * 6.2s| 24454 | 12738 |102209 | 4.2 |6604k| 39 | - | 120 | 230 | 120 | 20 | 23 |3672 |1169 | 0.000000e+00 | 8.000000e+00 | Inf
6.09/6.19 o 6
6.09/6.19 c * 6.2s| 24455 | 12446 |102209 | 4.2 |6309k| 39 | - | 120 | 230 | 120 | 20 | 23 |3672 |1169 | 0.000000e+00 | 6.000000e+00 | Inf
7.10/7.12 c 7.1s| 30000 | 14005 |119930 | 4.0 |7092k| 39 | 5 | 120 | 248 | 120 | 20 | 23 |4237 |1371 | 0.000000e+00 | 6.000000e+00 | Inf
8.49/8.59 c 8.6s| 40000 | 15780 |148504 | 3.7 |8138k| 39 | 5 | 120 | 314 | 120 | 20 | 23 |5291 |1621 | 0.000000e+00 | 6.000000e+00 | Inf
10.19/10.27 c 10.3s| 50000 | 16505 |177275 | 3.5 |8774k| 39 | 5 | 120 | 408 | 120 | 20 | 23 |6365 |1867 | 0.000000e+00 | 6.000000e+00 | Inf
11.69/11.75 c 11.8s| 60000 | 16718 |205970 | 3.4 |9098k| 39 | - | 120 | 454 | 120 | 20 | 23 |7624 |2047 | 0.000000e+00 | 6.000000e+00 | Inf
13.09/13.15 c 13.2s| 70000 | 16968 |234692 | 3.4 |9400k| 39 | 5 | 120 | 469 | 120 | 20 | 23 |8786 |2210 | 0.000000e+00 | 6.000000e+00 | Inf
14.49/14.59 c 14.6s| 80000 | 17095 |264161 | 3.3 |9580k| 39 | 5 | 120 | 422 | 120 | 20 | 23 |9947 |2429 | 0.000000e+00 | 6.000000e+00 | Inf
15.99/16.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
15.99/16.00 c 16.0s| 90000 | 17155 |292310 | 3.2 |9769k| 39 | - | 120 | 423 | 120 | 20 | 23 | 11k|2682 | 0.000000e+00 | 6.000000e+00 | Inf
17.39/17.42 c 17.4s|100000 | 17372 |320689 | 3.2 |9974k| 39 | 5 | 120 | 350 | 120 | 20 | 23 | 12k|2918 | 0.000000e+00 | 6.000000e+00 | Inf
18.70/18.78 c 18.8s|110000 | 17422 |348290 | 3.2 | 10M| 39 | 5 | 120 | 363 | 120 | 20 | 23 | 13k|3080 | 0.000000e+00 | 6.000000e+00 | Inf
20.09/20.14 c 20.1s|120000 | 17586 |375866 | 3.1 | 10M| 39 | 5 | 120 | 347 | 120 | 20 | 23 | 14k|3231 | 0.000000e+00 | 6.000000e+00 | Inf
21.49/21.55 c 21.5s|130000 | 18389 |406275 | 3.1 | 10M| 39 | 5 | 120 | 251 | 120 | 20 | 23 | 15k|3360 | 0.000000e+00 | 6.000000e+00 | Inf
22.89/22.96 c 23.0s|140000 | 19316 |435927 | 3.1 | 11M| 39 | 5 | 120 | 194 | 120 | 20 | 23 | 16k|3496 | 0.000000e+00 | 6.000000e+00 | Inf
24.29/24.34 c 24.3s|150000 | 20565 |465770 | 3.1 | 12M| 39 | 5 | 120 | 177 | 120 | 20 | 23 | 17k|3656 | 0.000000e+00 | 6.000000e+00 | Inf
25.69/25.70 c 25.7s|160000 | 21090 |493836 | 3.1 | 12M| 39 | - | 120 | 149 | 120 | 20 | 23 | 18k|3815 | 0.000000e+00 | 6.000000e+00 | Inf
26.99/27.05 c 27.1s|170000 | 21257 |522263 | 3.1 | 13M| 39 | 5 | 120 | 162 | 120 | 20 | 23 | 20k|3982 | 0.000000e+00 | 6.000000e+00 | Inf
28.40/28.46 c 28.5s|180000 | 22634 |551978 | 3.1 | 14M| 39 | 5 | 120 | 120 | 120 | 20 | 23 | 21k|4108 | 0.000000e+00 | 6.000000e+00 | Inf
29.79/29.82 c 29.8s|190000 | 23495 |580222 | 3.1 | 14M| 39 | - | 120 | 116 | 120 | 20 | 23 | 22k|4241 | 0.000000e+00 | 6.000000e+00 | Inf
31.09/31.17 c 31.2s|200000 | 23495 |608052 | 3.0 | 15M| 39 | 5 | 120 | 117 | 120 | 20 | 23 | 23k|4386 | 0.000000e+00 | 6.000000e+00 | Inf
32.49/32.51 c 32.5s|210000 | 23485 |635930 | 3.0 | 15M| 39 | - | 120 | 133 | 120 | 20 | 23 | 25k|4505 | 0.000000e+00 | 6.000000e+00 | Inf
33.79/33.86 c 33.9s|220000 | 23594 |664375 | 3.0 | 15M| 39 | - | 120 | 159 | 120 | 20 | 23 | 26k|4613 | 0.000000e+00 | 6.000000e+00 | Inf
35.20/35.21 c 35.2s|230000 | 23540 |692509 | 3.0 | 15M| 39 | 5 | 120 | 118 | 120 | 20 | 23 | 27k|4768 | 0.000000e+00 | 6.000000e+00 | Inf
36.49/36.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
36.49/36.54 c 36.5s|240000 | 23393 |719115 | 3.0 | 15M| 39 | 5 | 120 | 144 | 120 | 20 | 23 | 28k|4892 | 0.000000e+00 | 6.000000e+00 | Inf
37.79/37.87 c 37.9s|250000 | 23275 |746303 | 3.0 | 15M| 39 | 5 | 120 | 149 | 120 | 20 | 23 | 30k|4998 | 0.000000e+00 | 6.000000e+00 | Inf
39.19/39.21 c 39.2s|260000 | 23078 |773124 | 3.0 | 15M| 39 | - | 120 | 150 | 120 | 20 | 23 | 31k|5118 | 0.000000e+00 | 6.000000e+00 | Inf
40.49/40.55 c 40.6s|270000 | 22988 |800948 | 3.0 | 15M| 39 | - | 120 | 138 | 120 | 20 | 23 | 32k|5221 | 0.000000e+00 | 6.000000e+00 | Inf
41.19/41.23 o 5
41.19/41.23 c *41.2s|274965 | 22711 |814610 | 3.0 | 15M| 39 | - | 120 | 151 | 120 | 20 | 23 | 33k|5272 | 0.000000e+00 | 5.000000e+00 | Inf
41.89/41.91 c 41.9s|280000 | 22512 |828121 | 3.0 | 15M| 39 | 5 | 120 | 160 | 120 | 20 | 23 | 33k|5358 | 0.000000e+00 | 5.000000e+00 | Inf
43.19/43.24 c 43.2s|290000 | 22301 |856432 | 3.0 | 15M| 39 | 5 | 120 | 160 | 120 | 20 | 23 | 34k|5499 | 0.000000e+00 | 5.000000e+00 | Inf
44.49/44.54 c 44.5s|300000 | 22344 |883619 | 2.9 | 15M| 39 | - | 120 | 181 | 120 | 20 | 23 | 36k|5652 | 0.000000e+00 | 5.000000e+00 | Inf
45.80/45.83 c 45.8s|310000 | 22058 |910059 | 2.9 | 15M| 39 | 5 | 120 | 163 | 120 | 20 | 23 | 37k|5801 | 0.000000e+00 | 5.000000e+00 | Inf
47.09/47.15 c 47.2s|320000 | 21337 |936726 | 2.9 | 15M| 39 | - | 120 | 161 | 120 | 20 | 23 | 38k|5970 | 0.000000e+00 | 5.000000e+00 | Inf
48.40/48.49 c 48.5s|330000 | 21636 |964439 | 2.9 | 15M| 39 | - | 120 | 194 | 120 | 20 | 23 | 39k|6112 | 0.000000e+00 | 5.000000e+00 | Inf
49.79/49.80 c 49.8s|340000 | 21943 |993008 | 2.9 | 15M| 39 | - | 120 | 184 | 120 | 20 | 23 | 40k|6284 | 0.000000e+00 | 5.000000e+00 | Inf
51.10/51.12 c 51.1s|350000 | 22760 | 1020k| 2.9 | 16M| 39 | - | 120 | 241 | 120 | 20 | 23 | 41k|6444 | 0.000000e+00 | 5.000000e+00 | Inf
52.49/52.51 c 52.5s|360000 | 24742 | 1050k| 2.9 | 17M| 39 | - | 120 | 262 | 120 | 20 | 23 | 42k|6546 | 0.000000e+00 | 5.000000e+00 | Inf
53.80/53.81 c 53.8s|370000 | 25794 | 1076k| 2.9 | 18M| 39 | 5 | 120 | 251 | 120 | 20 | 23 | 43k|6672 | 0.000000e+00 | 5.000000e+00 | Inf
55.10/55.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
55.10/55.17 c 55.2s|380000 | 27558 | 1104k| 2.9 | 19M| 39 | - | 120 | 239 | 120 | 20 | 23 | 44k|6775 | 0.000000e+00 | 5.000000e+00 | Inf
56.39/56.49 c 56.5s|390000 | 28985 | 1132k| 2.9 | 20M| 39 | 5 | 120 | 234 | 120 | 20 | 23 | 45k|6886 | 0.000000e+00 | 5.000000e+00 | Inf
57.70/57.78 c 57.8s|400000 | 29823 | 1158k| 2.9 | 20M| 39 | - | 120 | 243 | 120 | 20 | 23 | 46k|7002 | 0.000000e+00 | 5.000000e+00 | Inf
59.10/59.11 c 59.1s|410000 | 30560 | 1185k| 2.9 | 21M| 39 | - | 120 | 240 | 0 | 0 | 23 | 47k|7154 | 0.000000e+00 | 5.000000e+00 | Inf
60.40/60.41 c 60.4s|420000 | 31210 | 1212k| 2.9 | 21M| 39 | - | 120 | 207 | 120 | 20 | 23 | 48k|7285 | 0.000000e+00 | 5.000000e+00 | Inf
61.69/61.70 c 61.7s|430000 | 31462 | 1239k| 2.9 | 22M| 39 | 5 | 120 | 229 | 120 | 20 | 23 | 49k|7383 | 0.000000e+00 | 5.000000e+00 | Inf
62.89/62.98 c 63.0s|440000 | 32000 | 1265k| 2.9 | 22M| 39 | 5 | 120 | 207 | 120 | 20 | 23 | 50k|7514 | 0.000000e+00 | 5.000000e+00 | Inf
64.19/64.25 c 64.3s|450000 | 32270 | 1291k| 2.9 | 22M| 39 | 5 | 120 | 220 | 120 | 20 | 23 | 51k|7621 | 0.000000e+00 | 5.000000e+00 | Inf
65.49/65.51 c 65.5s|460000 | 32469 | 1316k| 2.9 | 23M| 39 | 5 | 120 | 204 | 120 | 20 | 23 | 52k|7733 | 0.000000e+00 | 5.000000e+00 | Inf
66.69/66.77 c 66.8s|470000 | 32641 | 1341k| 2.9 | 23M| 39 | - | 120 | 214 | 120 | 20 | 23 | 54k|7845 | 0.000000e+00 | 5.000000e+00 | Inf
67.99/68.08 c 68.1s|480000 | 33018 | 1368k| 2.9 | 23M| 39 | 5 | 120 | 192 | 120 | 20 | 23 | 55k|7955 | 0.000000e+00 | 5.000000e+00 | Inf
69.30/69.33 c 69.3s|490000 | 32917 | 1394k| 2.8 | 23M| 39 | 5 | 120 | 211 | 120 | 20 | 23 | 56k|8050 | 0.000000e+00 | 5.000000e+00 | Inf
70.49/70.59 c 70.6s|500000 | 33046 | 1419k| 2.8 | 24M| 39 | 5 | 120 | 251 | 120 | 20 | 23 | 57k|8164 | 0.000000e+00 | 5.000000e+00 | Inf
71.79/71.86 c 71.9s|510000 | 33126 | 1445k| 2.8 | 24M| 39 | 5 | 120 | 220 | 120 | 20 | 23 | 58k|8264 | 0.000000e+00 | 5.000000e+00 | Inf
73.09/73.12 c 73.1s|520000 | 33037 | 1470k| 2.8 | 24M| 39 | - | 120 | 258 | 0 | 0 | 23 | 59k|8365 | 0.000000e+00 | 5.000000e+00 | Inf
74.30/74.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
74.30/74.39 c 74.4s|530000 | 33152 | 1496k| 2.8 | 24M| 39 | 5 | 120 | 262 | 120 | 20 | 23 | 60k|8453 | 0.000000e+00 | 5.000000e+00 | Inf
75.59/75.64 c 75.6s|540000 | 32967 | 1520k| 2.8 | 24M| 39 | - | 120 | 269 | 120 | 20 | 23 | 61k|8536 | 0.000000e+00 | 5.000000e+00 | Inf
76.90/76.93 c 76.9s|550000 | 33114 | 1546k| 2.8 | 24M| 39 | 5 | 120 | 266 | 120 | 20 | 23 | 62k|8632 | 0.000000e+00 | 5.000000e+00 | Inf
78.09/78.19 c 78.2s|560000 | 33111 | 1570k| 2.8 | 24M| 39 | - | 120 | 304 | 120 | 20 | 23 | 63k|8721 | 0.000000e+00 | 5.000000e+00 | Inf
79.39/79.48 c 79.5s|570000 | 33294 | 1595k| 2.8 | 25M| 39 | 5 | 120 | 326 | 120 | 20 | 23 | 64k|8808 | 0.000000e+00 | 5.000000e+00 | Inf
80.70/80.73 c 80.7s|580000 | 33199 | 1620k| 2.8 | 25M| 39 | - | 120 | 351 | 120 | 20 | 23 | 65k|8893 | 0.000000e+00 | 5.000000e+00 | Inf
82.00/82.03 c 82.0s|590000 | 33434 | 1646k| 2.8 | 25M| 39 | - | 120 | 296 | 120 | 20 | 23 | 66k|9002 | 0.000000e+00 | 5.000000e+00 | Inf
83.30/83.35 c 83.3s|600000 | 34399 | 1672k| 2.8 | 26M| 39 | - | 120 | 289 | 0 | 0 | 23 | 67k|9107 | 0.000000e+00 | 5.000000e+00 | Inf
84.60/84.65 c 84.6s|610000 | 35097 | 1699k| 2.8 | 26M| 39 | - | 120 | 288 | 120 | 20 | 23 | 69k|9194 | 0.000000e+00 | 5.000000e+00 | Inf
85.89/85.92 c 85.9s|620000 | 35269 | 1725k| 2.8 | 26M| 39 | 5 | 120 | 298 | 120 | 20 | 23 | 70k|9289 | 0.000000e+00 | 5.000000e+00 | Inf
86.30/86.31 o 4
86.30/86.31 c f86.3s|623206 | 34748 | 1734k| 2.8 | 25M| 39 | - | 120 | 311 | 120 | 20 | 23 | 70k|9308 | 0.000000e+00 | 4.000000e+00 | Inf
86.30/86.32 o 2
86.30/86.32 c *86.3s|623219 | 32650 | 1734k| 2.8 | 22M| 39 | - | 120 | 298 | 120 | 20 | 23 | 70k|9308 | 0.000000e+00 | 2.000000e+00 | Inf
87.09/87.13 c 87.1s|630000 | 32496 | 1750k| 2.8 | 22M| 39 | - | 120 | 301 | 120 | 20 | 23 | 70k|9322 | 0.000000e+00 | 2.000000e+00 | Inf
88.19/88.26 c 88.3s|640000 | 32723 | 1774k| 2.8 | 22M| 39 | 5 | 120 | 398 | 120 | 20 | 23 | 71k|9355 | 0.000000e+00 | 2.000000e+00 | Inf
89.40/89.43 c 89.4s|650000 | 33048 | 1798k| 2.8 | 22M| 39 | - | 120 | 365 | 0 | 0 | 23 | 72k|9420 | 0.000000e+00 | 2.000000e+00 | Inf
90.49/90.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
90.49/90.55 c 90.6s|660000 | 33426 | 1822k| 2.8 | 23M| 39 | 5 | 120 | 404 | 120 | 20 | 23 | 73k|9443 | 0.000000e+00 | 2.000000e+00 | Inf
91.30/91.31 o 1
91.30/91.31 c *91.3s|666669 | 32817 | 1837k| 2.8 | 22M| 39 | - | 120 | 420 | 120 | 20 | 23 | 74k|9454 | 0.000000e+00 | 1.000000e+00 | Inf
92.19/92.29 c 92.3s|670000 | 32650 | 1843k| 2.8 | 23M| 39 | 5 | 120 |1786 | 120 | 20 | 23 | 76k|9454 | 0.000000e+00 | 1.000000e+00 | Inf
94.19/94.25 c 94.3s|680000 | 33228 | 1863k| 2.7 | 24M| 39 | 5 | 120 |3995 | 120 | 20 | 23 | 83k|9454 | 0.000000e+00 | 1.000000e+00 | Inf
96.50/96.51 c 96.5s|690000 | 32613 | 1881k| 2.7 | 24M| 39 | 5 | 120 |2793 | 120 | 20 | 23 | 91k|9454 | 0.000000e+00 | 1.000000e+00 | Inf
98.60/98.61 c 98.6s|700000 | 31775 | 1900k| 2.7 | 23M| 39 | - | 120 |2149 | 120 | 20 | 23 | 99k|9454 | 0.000000e+00 | 1.000000e+00 | Inf
100.59/100.67 c 101s|710000 | 31128 | 1919k| 2.7 | 23M| 39 | 5 | 120 |3965 | 120 | 20 | 23 | 107k|9454 | 0.000000e+00 | 1.000000e+00 | Inf
102.89/102.95 c 103s|720000 | 30741 | 1939k| 2.7 | 23M| 39 | - | 120 |4042 | 120 | 20 | 23 | 115k|9454 | 0.000000e+00 | 1.000000e+00 | Inf
105.30/105.31 c 105s|730000 | 30196 | 1959k| 2.7 | 23M| 39 | 5 | 120 |4746 | 120 | 20 | 23 | 123k|9467 | 0.000000e+00 | 1.000000e+00 | Inf
107.70/107.73 c 108s|740000 | 29472 | 1979k| 2.7 | 23M| 39 | - | 120 |5241 | 120 | 20 | 23 | 131k|9468 | 0.000000e+00 | 1.000000e+00 | Inf
110.10/110.12 c 110s|750000 | 29227 | 1998k| 2.7 | 23M| 39 | 5 | 120 |5413 | 120 | 20 | 23 | 138k|9468 | 0.000000e+00 | 1.000000e+00 | Inf
112.49/112.57 c 113s|760000 | 28653 | 2019k| 2.7 | 23M| 39 | - | 120 |5233 | 120 | 20 | 23 | 146k|9469 | 0.000000e+00 | 1.000000e+00 | Inf
114.89/114.94 c 115s|770000 | 28477 | 2039k| 2.6 | 23M| 39 | 5 | 120 |5786 | 120 | 20 | 23 | 154k|9469 | 0.000000e+00 | 1.000000e+00 | Inf
117.39/117.45 c 117s|780000 | 27891 | 2059k| 2.6 | 23M| 39 | - | 120 |5725 | 120 | 20 | 23 | 162k|9470 | 0.000000e+00 | 1.000000e+00 | Inf
119.90/119.98 c 120s|790000 | 27629 | 2079k| 2.6 | 22M| 39 | 5 | 120 |5669 | 120 | 20 | 23 | 170k|9472 | 0.000000e+00 | 1.000000e+00 | Inf
122.29/122.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
122.29/122.35 c 122s|800000 | 27440 | 2099k| 2.6 | 23M| 39 | 5 | 120 |6093 | 120 | 20 | 23 | 178k|9472 | 0.000000e+00 | 1.000000e+00 | Inf
124.89/124.92 c 125s|810000 | 26788 | 2119k| 2.6 | 22M| 39 | 5 | 120 |5952 | 120 | 20 | 23 | 186k|9472 | 0.000000e+00 | 1.000000e+00 | Inf
127.40/127.43 c 127s|820000 | 26241 | 2139k| 2.6 | 22M| 39 | - | 120 |5496 | 120 | 20 | 23 | 194k|9472 | 0.000000e+00 | 1.000000e+00 | Inf
129.90/129.90 c 130s|830000 | 25875 | 2159k| 2.6 | 22M| 39 | - | 120 |6355 | 120 | 20 | 23 | 202k|9476 | 0.000000e+00 | 1.000000e+00 | Inf
132.40/132.47 c 132s|840000 | 25496 | 2180k| 2.6 | 21M| 39 | - | 120 |6002 | 120 | 20 | 23 | 210k|9476 | 0.000000e+00 | 1.000000e+00 | Inf
134.90/134.95 c 135s|850000 | 25174 | 2199k| 2.6 | 21M| 39 | 5 | 120 |6939 | 120 | 20 | 23 | 218k|9481 | 0.000000e+00 | 1.000000e+00 | Inf
137.29/137.37 c 137s|860000 | 25831 | 2220k| 2.6 | 23M| 39 | 5 | 120 |8916 | 120 | 20 | 23 | 226k|9481 | 0.000000e+00 | 1.000000e+00 | Inf
139.90/139.95 c 140s|870000 | 26181 | 2241k| 2.6 | 23M| 39 | 5 | 120 |9275 | 120 | 20 | 23 | 233k|9481 | 0.000000e+00 | 1.000000e+00 | Inf
142.70/142.73 c 143s|880000 | 25679 | 2260k| 2.6 | 23M| 39 | 5 | 120 |8899 | 120 | 20 | 23 | 242k|9481 | 0.000000e+00 | 1.000000e+00 | Inf
145.49/145.56 c 146s|890000 | 25234 | 2280k| 2.6 | 23M| 39 | - | 120 |9154 | 120 | 20 | 23 | 250k|9481 | 0.000000e+00 | 1.000000e+00 | Inf
148.20/148.27 c 148s|900000 | 25311 | 2298k| 2.6 | 22M| 39 | - | 120 |8071 | 120 | 20 | 23 | 257k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
150.70/150.71 c 151s|910000 | 26064 | 2318k| 2.5 | 23M| 39 | - | 120 |8355 | 120 | 20 | 23 | 263k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
153.09/153.17 c 153s|920000 | 27499 | 2340k| 2.5 | 25M| 39 | 5 | 120 | 10k| 120 | 20 | 23 | 270k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
155.79/155.83 c 156s|930000 | 28391 | 2359k| 2.5 | 26M| 39 | 5 | 120 | 11k| 120 | 20 | 23 | 277k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
158.60/158.67 c 159s|940000 | 28658 | 2379k| 2.5 | 27M| 39 | 5 | 120 | 10k| 120 | 20 | 23 | 285k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
161.50/161.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
161.50/161.57 c 162s|950000 | 28797 | 2399k| 2.5 | 27M| 39 | 5 | 120 | 11k| 120 | 20 | 23 | 293k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
164.50/164.54 c 165s|960000 | 28685 | 2418k| 2.5 | 28M| 39 | - | 120 | 12k| 120 | 20 | 23 | 301k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
167.50/167.58 c 168s|970000 | 28604 | 2438k| 2.5 | 28M| 39 | - | 120 | 10k| 0 | 0 | 23 | 308k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
170.59/170.66 c 171s|980000 | 28356 | 2456k| 2.5 | 28M| 39 | - | 120 | 10k| 120 | 20 | 23 | 316k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
173.60/173.69 c 174s|990000 | 28017 | 2474k| 2.5 | 27M| 39 | - | 120 | 10k| 120 | 20 | 23 | 324k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
176.70/176.74 c 177s| 1000k| 27850 | 2493k| 2.5 | 27M| 39 | - | 120 | 10k| 120 | 20 | 23 | 332k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
179.59/179.61 c 180s| 1010k| 27977 | 2513k| 2.5 | 28M| 39 | 5 | 120 | 11k| 120 | 20 | 23 | 340k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
182.70/182.70 c 183s| 1020k| 27680 | 2532k| 2.5 | 28M| 39 | - | 120 | 12k| 120 | 20 | 23 | 348k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
185.59/185.69 c 186s| 1030k| 28011 | 2551k| 2.5 | 29M| 39 | 5 | 120 | 12k| 120 | 20 | 23 | 355k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
189.00/189.01 c 189s| 1040k| 27599 | 2570k| 2.5 | 28M| 39 | 5 | 120 | 12k| 120 | 20 | 23 | 363k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
192.20/192.29 c 192s| 1050k| 27089 | 2589k| 2.5 | 27M| 39 | 5 | 120 | 11k| 120 | 20 | 23 | 372k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
195.20/195.27 c 195s| 1060k| 26968 | 2608k| 2.5 | 28M| 39 | - | 120 | 13k| 120 | 20 | 23 | 379k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
198.70/198.75 c 199s| 1070k| 26286 | 2627k| 2.5 | 26M| 39 | 5 | 120 | 10k| 120 | 20 | 23 | 388k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
201.80/201.87 c 202s| 1080k| 26240 | 2647k| 2.5 | 26M| 39 | 5 | 120 | 11k| 120 | 20 | 23 | 395k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
204.79/204.88 c 205s| 1090k| 26444 | 2666k| 2.4 | 27M| 39 | 5 | 120 | 12k| 120 | 20 | 23 | 403k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
208.10/208.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
208.10/208.18 c 208s| 1100k| 25771 | 2685k| 2.4 | 26M| 39 | - | 120 | 12k| 120 | 20 | 23 | 411k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
211.00/211.10 c 211s| 1110k| 26200 | 2704k| 2.4 | 26M| 39 | - | 120 | 13k| 0 | 0 | 23 | 418k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
214.40/214.49 c 214s| 1120k| 25649 | 2722k| 2.4 | 25M| 39 | 5 | 120 | 12k| 120 | 20 | 23 | 426k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
217.90/217.94 c 218s| 1130k| 25156 | 2741k| 2.4 | 24M| 39 | - | 120 | 11k| 120 | 20 | 23 | 434k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
220.79/220.86 c 221s| 1140k| 25243 | 2760k| 2.4 | 24M| 39 | 5 | 120 | 11k| 120 | 20 | 23 | 441k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
223.70/223.79 c 224s| 1150k| 26235 | 2780k| 2.4 | 25M| 39 | - | 120 | 12k| 120 | 20 | 23 | 448k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
226.90/226.91 c 227s| 1160k| 26784 | 2800k| 2.4 | 26M| 39 | - | 120 | 13k| 0 | 0 | 23 | 456k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
230.00/230.01 c 230s| 1170k| 27070 | 2819k| 2.4 | 27M| 39 | 5 | 120 | 14k| 120 | 20 | 23 | 463k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
233.40/233.42 c 233s| 1180k| 26965 | 2837k| 2.4 | 27M| 39 | 5 | 120 | 13k| 120 | 20 | 23 | 470k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
236.70/236.70 c 237s| 1190k| 26964 | 2856k| 2.4 | 28M| 39 | 5 | 120 | 13k| 120 | 20 | 23 | 478k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
240.10/240.12 c 240s| 1200k| 26703 | 2875k| 2.4 | 28M| 39 | - | 120 | 14k| 120 | 20 | 23 | 486k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
243.40/243.46 c 243s| 1210k| 26450 | 2894k| 2.4 | 28M| 39 | 5 | 120 | 14k| 120 | 20 | 23 | 494k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
247.10/247.14 c 247s| 1220k| 25885 | 2912k| 2.4 | 27M| 39 | 5 | 120 | 13k| 120 | 20 | 23 | 502k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
251.20/251.20 c 251s| 1230k| 24665 | 2931k| 2.4 | 23M| 39 | - | 120 | 10k| 120 | 20 | 23 | 511k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
254.11/254.15 c 254s| 1240k| 24236 | 2950k| 2.4 | 22M| 39 | - | 120 |9392 | 120 | 20 | 23 | 519k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
256.80/256.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
256.80/256.80 c 257s| 1250k| 24877 | 2971k| 2.4 | 23M| 39 | - | 120 | 10k| 120 | 20 | 23 | 527k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
259.41/259.50 c 260s| 1260k| 25622 | 2991k| 2.4 | 25M| 39 | 5 | 120 | 12k| 120 | 20 | 23 | 534k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
262.70/262.70 c 263s| 1270k| 25612 | 3010k| 2.4 | 25M| 39 | - | 120 | 11k| 120 | 20 | 23 | 542k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
265.71/265.76 c 266s| 1280k| 25463 | 3029k| 2.4 | 25M| 39 | 5 | 120 | 11k| 120 | 20 | 23 | 550k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
268.90/268.92 c 269s| 1290k| 25058 | 3048k| 2.4 | 25M| 39 | 5 | 120 | 12k| 120 | 20 | 23 | 558k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
272.00/272.08 c 272s| 1300k| 24809 | 3066k| 2.4 | 25M| 39 | - | 120 | 12k| 0 | 0 | 23 | 566k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
275.30/275.32 c 275s| 1310k| 24659 | 3086k| 2.4 | 24M| 39 | - | 120 | 12k| 120 | 20 | 23 | 575k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
278.41/278.44 c 278s| 1320k| 24695 | 3106k| 2.4 | 25M| 39 | - | 120 | 12k| 120 | 20 | 23 | 583k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
281.70/281.71 c 282s| 1330k| 24270 | 3126k| 2.4 | 24M| 39 | 5 | 120 | 13k| 120 | 20 | 23 | 591k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
285.00/285.04 c 285s| 1340k| 24422 | 3145k| 2.3 | 25M| 39 | 5 | 120 | 16k| 120 | 20 | 23 | 599k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
288.60/288.65 c 289s| 1350k| 24639 | 3165k| 2.3 | 27M| 39 | 5 | 120 | 18k| 120 | 20 | 23 | 607k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
292.61/292.63 c 293s| 1360k| 24707 | 3183k| 2.3 | 27M| 39 | 5 | 120 | 18k| 120 | 20 | 23 | 615k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
297.01/297.02 c 297s| 1370k| 24652 | 3202k| 2.3 | 27M| 39 | 5 | 120 | 18k| 120 | 20 | 23 | 623k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
301.51/301.57 c 302s| 1380k| 24174 | 3222k| 2.3 | 25M| 39 | 5 | 120 | 12k| 120 | 20 | 23 | 632k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
304.71/304.72 c 305s| 1390k| 24307 | 3242k| 2.3 | 26M| 39 | - | 120 | 14k| 120 | 20 | 23 | 639k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
308.31/308.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
308.31/308.38 c 308s| 1400k| 24081 | 3262k| 2.3 | 26M| 39 | - | 120 | 14k| 120 | 20 | 23 | 648k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
312.00/312.00 c 312s| 1410k| 23679 | 3282k| 2.3 | 25M| 39 | 5 | 120 | 12k| 120 | 20 | 23 | 656k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
315.40/315.50 c 315s| 1420k| 23124 | 3302k| 2.3 | 24M| 39 | 5 | 120 | 11k| 120 | 20 | 23 | 665k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
318.70/318.72 c 319s| 1430k| 22895 | 3321k| 2.3 | 24M| 39 | - | 120 | 10k| 120 | 20 | 23 | 673k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
321.80/321.83 c 322s| 1440k| 22516 | 3341k| 2.3 | 23M| 39 | 5 | 120 | 10k| 120 | 20 | 23 | 681k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
324.81/324.86 c 325s| 1450k| 22180 | 3361k| 2.3 | 23M| 39 | - | 120 | 11k| 120 | 20 | 23 | 690k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
328.31/328.30 c 328s| 1460k| 21516 | 3379k| 2.3 | 21M| 39 | - | 120 |8776 | 120 | 20 | 23 | 698k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
331.71/331.75 c 332s| 1470k| 20660 | 3399k| 2.3 | 20M| 39 | - | 120 |8253 | 120 | 20 | 23 | 706k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
334.41/334.49 c 334s| 1480k| 21003 | 3419k| 2.3 | 21M| 39 | 5 | 120 |8777 | 120 | 20 | 23 | 714k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
337.01/337.06 c 337s| 1490k| 21108 | 3438k| 2.3 | 22M| 39 | - | 120 |9932 | 0 | 0 | 23 | 721k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
339.70/339.78 c 340s| 1500k| 21237 | 3457k| 2.3 | 22M| 39 | - | 120 |9807 | 120 | 20 | 23 | 729k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
342.51/342.54 c 343s| 1510k| 21123 | 3475k| 2.3 | 22M| 39 | 5 | 120 | 10k| 120 | 20 | 23 | 736k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
345.20/345.25 c 345s| 1520k| 21325 | 3494k| 2.3 | 23M| 39 | 5 | 120 | 11k| 120 | 20 | 23 | 744k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
348.10/348.14 c 348s| 1530k| 20968 | 3512k| 2.3 | 22M| 39 | 5 | 120 | 10k| 120 | 20 | 23 | 752k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
351.00/351.03 c 351s| 1540k| 20660 | 3530k| 2.3 | 22M| 39 | - | 120 | 11k| 0 | 0 | 23 | 761k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
353.60/353.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
353.60/353.66 c 354s| 1550k| 21933 | 3551k| 2.3 | 24M| 39 | 5 | 120 | 12k| 120 | 20 | 23 | 767k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
356.50/356.57 c 357s| 1560k| 22418 | 3570k| 2.3 | 25M| 39 | - | 120 | 13k| 120 | 20 | 23 | 774k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
359.61/359.68 c 360s| 1570k| 22558 | 3589k| 2.3 | 25M| 39 | 5 | 120 | 13k| 120 | 20 | 23 | 782k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
362.81/362.85 c 363s| 1580k| 22392 | 3608k| 2.3 | 25M| 39 | 5 | 120 | 13k| 120 | 20 | 23 | 789k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
365.90/365.97 c 366s| 1590k| 22476 | 3626k| 2.3 | 26M| 39 | 5 | 120 | 13k| 120 | 20 | 23 | 797k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
369.30/369.36 c 369s| 1600k| 21904 | 3645k| 2.3 | 25M| 39 | 5 | 120 | 13k| 120 | 20 | 23 | 805k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
372.30/372.35 c 372s| 1610k| 22710 | 3664k| 2.3 | 27M| 39 | 5 | 120 | 15k| 120 | 20 | 23 | 812k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
375.61/375.63 c 376s| 1620k| 22859 | 3682k| 2.3 | 27M| 39 | - | 120 | 14k| 120 | 20 | 23 | 819k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
378.71/378.77 c 379s| 1630k| 23351 | 3701k| 2.3 | 28M| 39 | 5 | 120 | 16k| 120 | 20 | 23 | 826k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
382.21/382.28 c 382s| 1640k| 23402 | 3719k| 2.3 | 28M| 39 | - | 120 | 16k| 120 | 20 | 23 | 833k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
386.01/386.05 c 386s| 1650k| 22633 | 3737k| 2.3 | 27M| 39 | - | 120 | 14k| 120 | 20 | 23 | 841k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
389.70/389.75 c 390s| 1660k| 22145 | 3755k| 2.3 | 27M| 39 | 5 | 120 | 14k| 120 | 20 | 23 | 849k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
393.00/393.01 c 393s| 1670k| 22431 | 3775k| 2.3 | 28M| 39 | 5 | 120 | 16k| 120 | 20 | 23 | 856k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
396.90/396.96 c 397s| 1680k| 21883 | 3794k| 2.3 | 26M| 39 | - | 120 | 14k| 120 | 20 | 23 | 864k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
401.31/401.34 c 401s| 1690k| 20549 | 3811k| 2.3 | 22M| 39 | - | 120 | 11k| 0 | 0 | 23 | 873k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
404.61/404.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
404.61/404.68 c 405s| 1700k| 20084 | 3831k| 2.3 | 21M| 39 | - | 120 | 11k| 120 | 20 | 23 | 881k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
408.01/408.07 c 408s| 1710k| 19815 | 3850k| 2.3 | 20M| 39 | - | 120 | 10k| 120 | 20 | 23 | 889k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
410.70/410.73 c 411s| 1720k| 20460 | 3870k| 2.3 | 21M| 39 | 5 | 120 | 11k| 120 | 20 | 23 | 896k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
413.40/413.48 c 413s| 1730k| 20386 | 3888k| 2.2 | 21M| 39 | 5 | 120 | 11k| 120 | 20 | 23 | 903k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
416.41/416.41 c 416s| 1740k| 19858 | 3905k| 2.2 | 21M| 39 | 5 | 120 | 12k| 120 | 20 | 23 | 910k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
419.41/419.41 c 419s| 1750k| 20139 | 3925k| 2.2 | 22M| 39 | 5 | 120 | 13k| 120 | 20 | 23 | 918k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
422.31/422.38 c 422s| 1760k| 20618 | 3944k| 2.2 | 23M| 39 | 5 | 120 | 14k| 120 | 20 | 23 | 925k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
425.61/425.64 c 426s| 1770k| 20340 | 3962k| 2.2 | 23M| 39 | 5 | 120 | 14k| 120 | 20 | 23 | 932k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
428.80/428.80 c 429s| 1780k| 20289 | 3982k| 2.2 | 23M| 39 | 5 | 120 | 14k| 120 | 20 | 23 | 940k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
432.41/432.48 c 432s| 1790k| 19632 | 4000k| 2.2 | 21M| 39 | 5 | 120 | 12k| 120 | 20 | 23 | 948k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
435.51/435.54 c 436s| 1800k| 19626 | 4018k| 2.2 | 21M| 39 | - | 120 | 13k| 0 | 0 | 23 | 956k|9546 | 0.000000e+00 | 1.000000e+00 | Inf
439.20/439.25 c 439s| 1810k| 19289 | 4038k| 2.2 | 20M| 39 | - | 120 | 10k| 120 | 20 | 23 | 964k|9548 | 0.000000e+00 | 1.000000e+00 | Inf
442.51/442.54 c 443s| 1820k| 18683 | 4058k| 2.2 | 19M| 39 | - | 120 | 11k| 120 | 20 | 23 | 972k|9550 | 0.000000e+00 | 1.000000e+00 | Inf
445.60/445.60 c 446s| 1830k| 18624 | 4078k| 2.2 | 20M| 39 | 5 | 120 | 13k| 120 | 20 | 23 | 980k|9556 | 0.000000e+00 | 1.000000e+00 | Inf
449.21/449.20 c 449s| 1840k| 18189 | 4098k| 2.2 | 19M| 39 | - | 120 | 11k| 120 | 20 | 23 | 989k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
452.11/452.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
452.11/452.17 c 452s| 1850k| 18195 | 4118k| 2.2 | 20M| 39 | - | 120 | 15k| 120 | 20 | 23 | 997k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
455.91/455.99 c 456s| 1860k| 17553 | 4139k| 2.2 | 17M| 39 | - | 120 |9525 | 120 | 20 | 23 |1006k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
459.20/459.23 c 459s| 1870k| 16931 | 4159k| 2.2 | 17M| 39 | - | 120 | 10k| 120 | 20 | 23 |1014k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
462.61/462.60 c 463s| 1880k| 16133 | 4180k| 2.2 | 16M| 39 | - | 120 |9958 | 120 | 20 | 23 |1023k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
465.51/465.57 c 466s| 1890k| 15871 | 4200k| 2.2 | 16M| 39 | 5 | 120 | 11k| 120 | 20 | 23 |1031k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
468.41/468.49 c 468s| 1900k| 15977 | 4220k| 2.2 | 17M| 39 | 5 | 120 | 14k| 120 | 20 | 23 |1039k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
472.11/472.15 c 472s| 1910k| 15334 | 4241k| 2.2 | 15M| 39 | - | 120 | 11k| 120 | 20 | 23 |1049k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
475.01/475.05 c 475s| 1920k| 15199 | 4261k| 2.2 | 15M| 39 | 5 | 120 | 12k| 120 | 20 | 23 |1057k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
478.21/478.27 c 478s| 1930k| 15426 | 4282k| 2.2 | 17M| 39 | - | 120 | 15k| 120 | 20 | 23 |1065k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
482.01/482.03 c 482s| 1940k| 15446 | 4302k| 2.2 | 18M| 39 | 5 | 120 | 17k| 120 | 20 | 23 |1073k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
485.61/485.62 c 486s| 1950k| 15582 | 4323k| 2.2 | 17M| 39 | 5 | 120 | 15k| 120 | 20 | 23 |1081k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
489.01/489.03 c 489s| 1960k| 16015 | 4343k| 2.2 | 19M| 39 | 5 | 120 | 18k| 120 | 20 | 23 |1088k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
492.72/492.75 c 493s| 1970k| 16550 | 4363k| 2.2 | 19M| 39 | 5 | 120 | 16k| 120 | 20 | 23 |1096k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
496.31/496.36 c 496s| 1980k| 16879 | 4383k| 2.2 | 20M| 39 | - | 120 | 17k| 0 | 0 | 23 |1103k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
499.71/499.78 c 500s| 1990k| 17109 | 4403k| 2.2 | 21M| 39 | 5 | 120 | 19k| 120 | 20 | 23 |1111k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
503.51/503.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
503.51/503.50 c 504s| 2000k| 17632 | 4423k| 2.2 | 22M| 39 | 5 | 120 | 20k| 120 | 20 | 23 |1119k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
507.81/507.85 c 508s| 2010k| 17596 | 4443k| 2.2 | 23M| 39 | - | 120 | 19k| 120 | 20 | 23 |1127k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
512.11/512.16 c 512s| 2020k| 17412 | 4462k| 2.2 | 22M| 39 | - | 120 | 19k| 120 | 20 | 23 |1135k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
516.11/516.11 c 516s| 2030k| 17401 | 4483k| 2.2 | 23M| 39 | - | 120 | 20k| 0 | 0 | 23 |1143k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
520.51/520.56 c 521s| 2040k| 17072 | 4502k| 2.2 | 22M| 39 | 5 | 120 | 18k| 120 | 20 | 23 |1151k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
524.41/524.48 c 524s| 2050k| 16967 | 4523k| 2.2 | 22M| 39 | 5 | 120 | 18k| 120 | 20 | 23 |1160k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
528.11/528.16 c 528s| 2060k| 17286 | 4543k| 2.2 | 23M| 39 | 5 | 120 | 18k| 120 | 20 | 23 |1168k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
532.21/532.29 c 532s| 2070k| 17115 | 4563k| 2.2 | 23M| 39 | 5 | 120 | 19k| 120 | 20 | 23 |1177k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
536.31/536.34 c 536s| 2080k| 17358 | 4584k| 2.2 | 24M| 39 | 5 | 120 | 20k| 120 | 20 | 23 |1184k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
541.11/541.11 c 541s| 2090k| 17283 | 4604k| 2.2 | 24M| 39 | 5 | 120 | 21k| 120 | 20 | 23 |1192k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
545.62/545.61 c 546s| 2100k| 17623 | 4625k| 2.2 | 26M| 39 | 5 | 120 | 23k| 120 | 20 | 23 |1200k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
550.52/550.56 c 551s| 2110k| 17327 | 4645k| 2.2 | 25M| 39 | 5 | 120 | 21k| 120 | 20 | 23 |1208k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
557.22/557.26 c 557s| 2120k| 15185 | 4664k| 2.2 | 17M| 39 | 5 | 120 | 17k| 120 | 20 | 23 |1218k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
560.51/560.57 c 561s| 2130k| 15504 | 4684k| 2.2 | 19M| 39 | 5 | 120 | 20k| 120 | 20 | 23 |1225k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
564.42/564.44 c 564s| 2140k| 15482 | 4704k| 2.2 | 19M| 39 | 5 | 120 | 20k| 120 | 20 | 23 |1233k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
568.42/568.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
568.42/568.43 c 568s| 2150k| 15203 | 4724k| 2.2 | 18M| 39 | - | 120 | 18k| 120 | 20 | 23 |1241k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
572.21/572.23 c 572s| 2160k| 14993 | 4743k| 2.2 | 18M| 39 | 5 | 120 | 18k| 120 | 20 | 23 |1249k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
575.51/575.56 c 576s| 2170k| 15125 | 4764k| 2.2 | 18M| 39 | 5 | 120 | 18k| 120 | 20 | 23 |1257k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
578.92/578.97 c 579s| 2180k| 15246 | 4784k| 2.2 | 20M| 39 | - | 120 | 21k| 120 | 20 | 23 |1265k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
583.21/583.25 c 583s| 2190k| 15112 | 4804k| 2.2 | 19M| 39 | - | 120 | 20k| 120 | 20 | 23 |1274k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
587.42/587.45 c 587s| 2200k| 15230 | 4824k| 2.2 | 20M| 39 | 5 | 120 | 22k| 120 | 20 | 23 |1282k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
592.22/592.22 c 592s| 2210k| 14926 | 4843k| 2.2 | 19M| 39 | 5 | 120 | 21k| 120 | 20 | 23 |1290k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
596.22/596.27 c 596s| 2220k| 15686 | 4864k| 2.2 | 21M| 39 | 5 | 120 | 23k| 120 | 20 | 23 |1297k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
600.92/600.94 c 601s| 2230k| 15597 | 4883k| 2.2 | 21M| 39 | 5 | 120 | 22k| 120 | 20 | 23 |1304k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
605.22/605.29 c 605s| 2240k| 15944 | 4904k| 2.2 | 22M| 39 | - | 120 | 23k| 120 | 20 | 23 |1311k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
610.01/610.09 c 610s| 2250k| 16057 | 4923k| 2.2 | 22M| 39 | - | 120 | 23k| 0 | 0 | 23 |1318k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
615.02/615.03 c 615s| 2260k| 15869 | 4942k| 2.2 | 22M| 39 | - | 120 | 22k| 120 | 20 | 23 |1325k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
619.72/619.74 c 620s| 2270k| 15906 | 4962k| 2.2 | 22M| 39 | - | 120 | 23k| 0 | 0 | 23 |1332k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
625.12/625.11 c 625s| 2280k| 15071 | 4981k| 2.2 | 20M| 39 | 5 | 120 | 22k| 120 | 20 | 23 |1340k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
629.71/629.73 c 630s| 2290k| 15258 | 5002k| 2.2 | 21M| 39 | 5 | 120 | 24k| 120 | 20 | 23 |1348k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
634.81/634.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
634.81/634.87 c 635s| 2300k| 15224 | 5022k| 2.2 | 21M| 39 | 5 | 120 | 25k| 120 | 20 | 23 |1356k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
639.82/639.83 c 640s| 2310k| 15441 | 5043k| 2.2 | 23M| 39 | - | 120 | 27k| 120 | 20 | 23 |1365k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
645.81/645.89 c 646s| 2320k| 15215 | 5063k| 2.2 | 22M| 39 | 5 | 120 | 26k| 120 | 20 | 23 |1374k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
650.51/650.58 c 651s| 2330k| 15538 | 5084k| 2.2 | 20M| 39 | - | 120 | 22k| 120 | 20 | 23 |1381k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
654.92/654.93 c 655s| 2340k| 15482 | 5103k| 2.2 | 21M| 39 | - | 120 | 23k| 120 | 20 | 23 |1389k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
659.22/659.29 c 659s| 2350k| 15578 | 5124k| 2.2 | 21M| 39 | 5 | 120 | 24k| 120 | 20 | 23 |1397k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
664.01/664.05 c 664s| 2360k| 15575 | 5144k| 2.2 | 22M| 39 | 5 | 120 | 25k| 120 | 20 | 23 |1405k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
669.22/669.26 c 669s| 2370k| 15405 | 5164k| 2.2 | 21M| 39 | - | 120 | 25k| 120 | 20 | 23 |1413k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
674.02/674.00 c 674s| 2380k| 15486 | 5184k| 2.2 | 22M| 39 | - | 120 | 26k| 120 | 20 | 23 |1421k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
679.32/679.33 c 679s| 2390k| 15505 | 5205k| 2.2 | 22M| 39 | 5 | 120 | 26k| 120 | 20 | 23 |1429k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
684.62/684.63 c 685s| 2400k| 15126 | 5224k| 2.2 | 21M| 39 | 5 | 120 | 24k| 120 | 20 | 23 |1436k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
689.22/689.22 c 689s| 2410k| 15127 | 5245k| 2.2 | 21M| 39 | 5 | 120 | 24k| 120 | 20 | 23 |1444k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
693.92/693.90 c 694s| 2420k| 15850 | 5266k| 2.2 | 22M| 39 | 5 | 120 | 26k| 120 | 20 | 23 |1452k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
698.72/698.71 c 699s| 2430k| 16441 | 5287k| 2.2 | 24M| 39 | - | 120 | 28k| 120 | 20 | 23 |1459k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
703.92/703.91 c 704s| 2440k| 16729 | 5307k| 2.2 | 24M| 39 | 5 | 120 | 27k| 120 | 20 | 23 |1467k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
709.12/709.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
709.12/709.12 c 709s| 2450k| 16561 | 5326k| 2.2 | 24M| 39 | - | 120 | 26k| 0 | 0 | 23 |1475k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
714.02/714.06 c 714s| 2460k| 16812 | 5347k| 2.2 | 25M| 39 | 5 | 120 | 27k| 120 | 20 | 23 |1483k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
719.22/719.26 c 719s| 2470k| 16938 | 5367k| 2.2 | 26M| 39 | - | 120 | 28k| 120 | 20 | 23 |1490k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
726.02/726.07 c 726s| 2480k| 15802 | 5387k| 2.2 | 23M| 39 | - | 120 | 26k| 120 | 20 | 23 |1499k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
731.02/731.00 c 731s| 2490k| 16321 | 5408k| 2.2 | 24M| 39 | 5 | 120 | 27k| 120 | 20 | 23 |1507k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
736.11/736.12 c 736s| 2500k| 16445 | 5428k| 2.2 | 25M| 39 | - | 120 | 27k| 120 | 20 | 23 |1515k|9558 | 0.000000e+00 | 1.000000e+00 | Inf
743.02/743.08 c 743s| 2510k| 14970 | 5448k| 2.2 | 20M| 39 | - | 120 | 23k| 120 | 20 | 23 |1524k|9569 | 0.000000e+00 | 1.000000e+00 | Inf
747.12/747.14 c 747s| 2520k| 15156 | 5468k| 2.2 | 21M| 39 | - | 120 | 24k| 120 | 20 | 23 |1532k|9569 | 0.000000e+00 | 1.000000e+00 | Inf
751.23/751.25 c 751s| 2530k| 15449 | 5488k| 2.2 | 22M| 39 | - | 120 | 26k| 120 | 20 | 23 |1539k|9569 | 0.000000e+00 | 1.000000e+00 | Inf
755.52/755.57 c 756s| 2540k| 15991 | 5507k| 2.2 | 24M| 39 | 5 | 120 | 28k| 120 | 20 | 23 |1546k|9569 | 0.000000e+00 | 1.000000e+00 | Inf
760.22/760.29 c 760s| 2550k| 16005 | 5527k| 2.2 | 24M| 39 | 5 | 120 | 28k| 120 | 20 | 23 |1553k|9569 | 0.000000e+00 | 1.000000e+00 | Inf
764.92/764.94 c 765s| 2560k| 16093 | 5547k| 2.2 | 25M| 39 | 5 | 120 | 28k| 120 | 20 | 23 |1561k|9569 | 0.000000e+00 | 1.000000e+00 | Inf
769.92/769.96 c 770s| 2570k| 16097 | 5566k| 2.2 | 25M| 39 | 5 | 120 | 28k| 120 | 20 | 23 |1568k|9569 | 0.000000e+00 | 1.000000e+00 | Inf
775.43/775.47 c 775s| 2580k| 15445 | 5584k| 2.2 | 24M| 39 | - | 120 | 28k| 120 | 20 | 23 |1576k|9569 | 0.000000e+00 | 1.000000e+00 | Inf
780.12/780.12 c 780s| 2590k| 15544 | 5603k| 2.2 | 24M| 39 | 5 | 120 | 28k| 120 | 20 | 23 |1583k|9569 | 0.000000e+00 | 1.000000e+00 | Inf
784.72/784.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
784.72/784.70 c 785s| 2600k| 15890 | 5622k| 2.2 | 25M| 39 | 5 | 120 | 29k| 120 | 20 | 23 |1590k|9569 | 0.000000e+00 | 1.000000e+00 | Inf
790.72/790.79 c 791s| 2610k| 15680 | 5643k| 2.2 | 22M| 39 | 5 | 120 | 24k| 120 | 20 | 23 |1598k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
795.12/795.20 c 795s| 2620k| 17391 | 5665k| 2.2 | 23M| 39 | 5 | 120 | 25k| 120 | 20 | 23 |1605k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
799.82/799.86 c 800s| 2630k| 18471 | 5686k| 2.2 | 25M| 39 | 5 | 120 | 25k| 120 | 20 | 23 |1612k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
804.42/804.49 c 804s| 2640k| 19643 | 5707k| 2.2 | 26M| 39 | 5 | 120 | 26k| 120 | 20 | 23 |1618k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
809.52/809.53 c 810s| 2650k| 20418 | 5728k| 2.2 | 27M| 39 | - | 120 | 26k| 120 | 20 | 23 |1626k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
814.22/814.29 c 814s| 2660k| 21268 | 5749k| 2.2 | 28M| 39 | 5 | 120 | 27k| 120 | 20 | 23 |1633k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
819.03/819.08 c 819s| 2670k| 22046 | 5770k| 2.2 | 30M| 39 | - | 120 | 27k| 120 | 20 | 23 |1640k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
823.83/823.83 c 824s| 2680k| 22794 | 5790k| 2.2 | 31M| 39 | 5 | 120 | 27k| 120 | 20 | 23 |1647k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
829.43/829.45 c 829s| 2690k| 22972 | 5809k| 2.2 | 31M| 39 | - | 120 | 26k| 120 | 20 | 23 |1655k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
834.52/834.59 c 835s| 2700k| 23350 | 5829k| 2.2 | 32M| 39 | - | 120 | 27k| 120 | 20 | 23 |1662k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
840.12/840.15 c 840s| 2710k| 23427 | 5848k| 2.2 | 33M| 39 | - | 120 | 27k| 120 | 20 | 23 |1669k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
845.62/845.60 c 846s| 2720k| 23740 | 5868k| 2.2 | 33M| 39 | - | 120 | 27k| 120 | 20 | 23 |1677k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
850.12/850.14 c 850s| 2730k| 24525 | 5889k| 2.2 | 35M| 39 | 5 | 120 | 30k| 120 | 20 | 23 |1684k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
855.62/855.60 c 856s| 2740k| 25004 | 5909k| 2.2 | 36M| 39 | 5 | 120 | 29k| 120 | 20 | 23 |1692k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
861.02/861.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
861.02/861.03 c 861s| 2750k| 25608 | 5930k| 2.2 | 37M| 39 | - | 120 | 30k| 120 | 20 | 23 |1699k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
867.02/867.08 c 867s| 2760k| 25753 | 5949k| 2.2 | 37M| 39 | 5 | 120 | 28k| 120 | 20 | 23 |1707k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
872.73/872.78 c 873s| 2770k| 25821 | 5968k| 2.2 | 38M| 39 | - | 120 | 28k| 120 | 20 | 23 |1714k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
878.73/878.75 c 879s| 2780k| 25716 | 5988k| 2.2 | 38M| 39 | 5 | 120 | 28k| 120 | 20 | 23 |1722k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
884.63/884.60 c 885s| 2790k| 25658 | 6008k| 2.2 | 38M| 39 | - | 120 | 28k| 120 | 20 | 23 |1730k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
890.32/890.38 c 890s| 2800k| 26241 | 6029k| 2.2 | 39M| 39 | 5 | 120 | 29k| 120 | 20 | 23 |1738k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
895.33/895.37 c 895s| 2810k| 26900 | 6050k| 2.2 | 41M| 39 | - | 120 | 30k| 120 | 20 | 23 |1745k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
901.12/901.13 c 901s| 2820k| 26843 | 6070k| 2.2 | 41M| 39 | 5 | 120 | 30k| 120 | 20 | 23 |1753k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
907.22/907.20 c 907s| 2830k| 27565 | 6091k| 2.2 | 41M| 39 | 5 | 120 | 29k| 120 | 20 | 23 |1761k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
912.13/912.18 c 912s| 2840k| 28531 | 6111k| 2.2 | 43M| 39 | 5 | 120 | 30k| 120 | 20 | 23 |1768k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
917.33/917.31 c 917s| 2850k| 29152 | 6131k| 2.2 | 44M| 39 | - | 120 | 30k| 120 | 20 | 23 |1775k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
922.83/922.89 c 923s| 2860k| 29482 | 6151k| 2.2 | 45M| 39 | 5 | 120 | 30k| 120 | 20 | 23 |1782k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
928.52/928.51 c 929s| 2870k| 30040 | 6170k| 2.2 | 46M| 39 | 5 | 120 | 31k| 120 | 20 | 23 |1789k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
933.93/933.99 c 934s| 2880k| 31868 | 6192k| 2.2 | 47M| 39 | 5 | 120 | 31k| 120 | 20 | 23 |1796k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
940.03/940.09 c 940s| 2890k| 32675 | 6214k| 2.2 | 49M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |1803k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
945.94/945.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
945.94/945.93 c 946s| 2900k| 33807 | 6234k| 2.1 | 50M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |1809k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
952.43/952.42 c 952s| 2910k| 34242 | 6254k| 2.1 | 51M| 39 | - | 120 | 32k| 120 | 20 | 23 |1816k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
958.83/958.87 c 959s| 2920k| 34368 | 6273k| 2.1 | 51M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |1824k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
965.03/965.06 c 965s| 2930k| 34414 | 6292k| 2.1 | 52M| 39 | 5 | 120 | 31k| 120 | 20 | 23 |1831k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
971.13/971.17 c 971s| 2940k| 34556 | 6312k| 2.1 | 52M| 39 | 5 | 120 | 31k| 120 | 20 | 23 |1838k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
977.33/977.35 c 977s| 2950k| 34380 | 6331k| 2.1 | 52M| 39 | - | 120 | 31k| 120 | 20 | 23 |1846k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
983.52/983.52 c 984s| 2960k| 34315 | 6351k| 2.1 | 53M| 39 | 5 | 120 | 31k| 120 | 20 | 23 |1854k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
989.63/989.60 c 990s| 2970k| 34467 | 6370k| 2.1 | 54M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |1862k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
996.33/996.30 c 996s| 2980k| 34093 | 6389k| 2.1 | 53M| 39 | - | 120 | 30k| 120 | 20 | 23 |1870k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1002.53/1002.51 c 1003s| 2990k| 34324 | 6409k| 2.1 | 53M| 39 | 5 | 120 | 29k| 120 | 20 | 23 |1877k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1007.83/1007.89 c 1008s| 3000k| 35088 | 6429k| 2.1 | 54M| 39 | 5 | 120 | 30k| 120 | 20 | 23 |1884k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1013.43/1013.48 c 1013s| 3010k| 35403 | 6449k| 2.1 | 55M| 39 | - | 120 | 31k| 0 | 0 | 23 |1892k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1019.33/1019.34 c 1019s| 3020k| 35332 | 6469k| 2.1 | 56M| 39 | - | 120 | 31k| 120 | 20 | 23 |1900k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1025.33/1025.33 c 1025s| 3030k| 35445 | 6489k| 2.1 | 56M| 39 | - | 120 | 31k| 0 | 0 | 23 |1907k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1031.22/1031.21 c 1031s| 3040k| 35597 | 6509k| 2.1 | 57M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |1915k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1037.03/1037.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1037.03/1037.00 c 1037s| 3050k| 36317 | 6529k| 2.1 | 58M| 39 | 5 | 120 | 33k| 120 | 20 | 23 |1922k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1043.33/1043.37 c 1043s| 3060k| 36215 | 6548k| 2.1 | 58M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |1929k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1049.63/1049.69 c 1050s| 3070k| 36113 | 6567k| 2.1 | 58M| 39 | 5 | 120 | 31k| 120 | 20 | 23 |1937k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1055.03/1055.00 c 1055s| 3080k| 36950 | 6588k| 2.1 | 59M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |1944k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1060.63/1060.62 c 1061s| 3090k| 37421 | 6608k| 2.1 | 61M| 39 | 5 | 120 | 33k| 120 | 20 | 23 |1952k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1067.13/1067.14 c 1067s| 3100k| 38051 | 6629k| 2.1 | 62M| 39 | - | 120 | 34k| 120 | 20 | 23 |1959k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1073.13/1073.17 c 1073s| 3110k| 38643 | 6648k| 2.1 | 63M| 39 | 5 | 120 | 34k| 120 | 20 | 23 |1966k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1079.83/1079.86 c 1080s| 3120k| 38941 | 6668k| 2.1 | 63M| 39 | 5 | 120 | 33k| 120 | 20 | 23 |1974k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1086.23/1086.20 c 1086s| 3130k| 39353 | 6688k| 2.1 | 64M| 39 | 5 | 120 | 34k| 120 | 20 | 23 |1982k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1092.13/1092.17 c 1092s| 3140k| 39571 | 6708k| 2.1 | 65M| 39 | - | 120 | 35k| 120 | 20 | 23 |1989k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1099.23/1099.24 c 1099s| 3150k| 39273 | 6727k| 2.1 | 65M| 39 | - | 120 | 33k| 120 | 20 | 23 |1997k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1105.93/1105.98 c 1106s| 3160k| 39159 | 6747k| 2.1 | 65M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |2006k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1111.53/1111.56 c 1112s| 3170k| 39396 | 6767k| 2.1 | 65M| 39 | - | 120 | 32k| 120 | 20 | 23 |2013k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1117.33/1117.33 c 1117s| 3180k| 39520 | 6787k| 2.1 | 66M| 39 | 5 | 120 | 33k| 120 | 20 | 23 |2021k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1124.14/1124.12 c 1124s| 3190k| 39329 | 6806k| 2.1 | 66M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |2029k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1132.23/1132.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1132.23/1132.25 c 1132s| 3200k| 38577 | 6825k| 2.1 | 65M| 39 | 5 | 120 | 29k| 120 | 20 | 23 |2037k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1138.33/1138.31 c 1138s| 3210k| 38682 | 6845k| 2.1 | 65M| 39 | - | 120 | 30k| 120 | 20 | 23 |2045k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1145.04/1145.06 c 1145s| 3220k| 38380 | 6865k| 2.1 | 65M| 39 | - | 120 | 30k| 120 | 20 | 23 |2053k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1152.23/1152.27 c 1152s| 3230k| 37839 | 6884k| 2.1 | 65M| 39 | 5 | 120 | 30k| 120 | 20 | 23 |2061k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1158.44/1158.49 c 1158s| 3240k| 38232 | 6904k| 2.1 | 66M| 39 | - | 120 | 31k| 120 | 20 | 23 |2069k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1164.14/1164.17 c 1164s| 3250k| 39056 | 6924k| 2.1 | 67M| 39 | - | 120 | 32k| 120 | 20 | 23 |2076k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1170.14/1170.18 c 1170s| 3260k| 39379 | 6944k| 2.1 | 68M| 39 | - | 120 | 33k| 120 | 20 | 23 |2083k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1176.33/1176.36 c 1176s| 3270k| 39306 | 6963k| 2.1 | 68M| 39 | - | 120 | 32k| 120 | 20 | 23 |2091k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1184.74/1184.75 c 1185s| 3280k| 38215 | 6982k| 2.1 | 67M| 39 | 5 | 120 | 30k| 120 | 20 | 23 |2099k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1191.14/1191.10 c 1191s| 3290k| 38290 | 7001k| 2.1 | 67M| 39 | - | 120 | 32k| 120 | 20 | 23 |2107k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1197.63/1197.60 c 1198s| 3300k| 38172 | 7020k| 2.1 | 67M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |2115k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1203.53/1203.51 c 1204s| 3310k| 38248 | 7040k| 2.1 | 68M| 39 | - | 120 | 33k| 120 | 20 | 23 |2123k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1211.04/1211.04 c 1211s| 3320k| 37829 | 7060k| 2.1 | 67M| 39 | 5 | 120 | 31k| 120 | 20 | 23 |2131k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1217.04/1217.07 c 1217s| 3330k| 37828 | 7080k| 2.1 | 68M| 39 | - | 120 | 32k| 120 | 20 | 23 |2139k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1222.93/1222.99 c 1223s| 3340k| 37860 | 7100k| 2.1 | 69M| 39 | 5 | 120 | 33k| 120 | 20 | 23 |2147k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1228.94/1228.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1228.94/1228.96 c 1229s| 3350k| 38161 | 7120k| 2.1 | 69M| 39 | 5 | 120 | 34k| 120 | 20 | 23 |2154k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1235.24/1235.27 c 1235s| 3360k| 38295 | 7140k| 2.1 | 70M| 39 | 5 | 120 | 34k| 120 | 20 | 23 |2162k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1243.34/1243.34 c 1243s| 3370k| 37599 | 7158k| 2.1 | 68M| 39 | 5 | 120 | 30k| 120 | 20 | 23 |2171k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1250.64/1250.68 c 1251s| 3380k| 37067 | 7178k| 2.1 | 67M| 39 | 5 | 120 | 30k| 120 | 20 | 23 |2179k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1257.14/1257.16 c 1257s| 3390k| 36987 | 7198k| 2.1 | 68M| 39 | 5 | 120 | 31k| 120 | 20 | 23 |2187k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1263.54/1263.51 c 1264s| 3400k| 36715 | 7217k| 2.1 | 67M| 39 | 5 | 120 | 31k| 120 | 20 | 23 |2195k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1270.64/1270.64 c 1271s| 3410k| 36238 | 7237k| 2.1 | 67M| 39 | - | 120 | 31k| 0 | 0 | 23 |2204k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1276.44/1276.44 c 1276s| 3420k| 37550 | 7259k| 2.1 | 68M| 39 | - | 120 | 32k| 120 | 20 | 23 |2211k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1282.34/1282.36 c 1282s| 3430k| 38224 | 7280k| 2.1 | 70M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |2218k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1288.74/1288.79 c 1289s| 3440k| 38369 | 7300k| 2.1 | 70M| 39 | - | 120 | 32k| 120 | 20 | 23 |2226k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1294.84/1294.81 c 1295s| 3450k| 38581 | 7321k| 2.1 | 71M| 39 | - | 120 | 33k| 0 | 0 | 23 |2234k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1300.94/1300.94 c 1301s| 3460k| 38809 | 7341k| 2.1 | 71M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |2241k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1307.14/1307.19 c 1307s| 3470k| 38885 | 7361k| 2.1 | 72M| 39 | 5 | 120 | 33k| 120 | 20 | 23 |2249k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1313.64/1313.67 c 1314s| 3480k| 38603 | 7382k| 2.1 | 72M| 39 | 5 | 120 | 33k| 120 | 20 | 23 |2258k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1319.74/1319.72 c 1320s| 3490k| 38583 | 7401k| 2.1 | 73M| 39 | 5 | 120 | 34k| 120 | 20 | 23 |2266k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1326.14/1326.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1326.14/1326.18 c 1326s| 3500k| 38394 | 7421k| 2.1 | 72M| 39 | - | 120 | 34k| 120 | 20 | 23 |2274k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1332.74/1332.72 c 1333s| 3510k| 38177 | 7440k| 2.1 | 72M| 39 | 5 | 120 | 33k| 120 | 20 | 23 |2282k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1342.24/1342.22 c 1342s| 3520k| 36691 | 7459k| 2.1 | 69M| 39 | 5 | 120 | 30k| 120 | 20 | 23 |2291k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1349.54/1349.59 c 1350s| 3530k| 36151 | 7478k| 2.1 | 68M| 39 | 5 | 120 | 31k| 120 | 20 | 23 |2299k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1358.04/1358.05 c 1358s| 3540k| 35440 | 7498k| 2.1 | 67M| 39 | 5 | 120 | 30k| 120 | 20 | 23 |2307k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1365.44/1365.48 c 1365s| 3550k| 34838 | 7517k| 2.1 | 66M| 39 | - | 120 | 30k| 0 | 0 | 23 |2315k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1371.84/1371.84 c 1372s| 3560k| 34863 | 7537k| 2.1 | 67M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |2323k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1378.85/1378.82 c 1379s| 3570k| 34943 | 7557k| 2.1 | 67M| 39 | - | 120 | 32k| 120 | 20 | 23 |2331k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1384.75/1384.77 c 1385s| 3580k| 35171 | 7577k| 2.1 | 67M| 39 | - | 120 | 32k| 120 | 20 | 23 |2339k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1390.84/1390.82 c 1391s| 3590k| 35070 | 7597k| 2.1 | 68M| 39 | - | 120 | 33k| 120 | 20 | 23 |2346k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1397.25/1397.26 c 1397s| 3600k| 35055 | 7616k| 2.1 | 68M| 39 | 5 | 120 | 33k| 120 | 20 | 23 |2354k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1404.54/1404.57 c 1405s| 3610k| 34512 | 7635k| 2.1 | 67M| 39 | - | 120 | 32k| 120 | 20 | 23 |2362k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1411.75/1411.77 c 1412s| 3620k| 34166 | 7655k| 2.1 | 66M| 39 | - | 120 | 31k| 120 | 20 | 23 |2370k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1420.55/1420.58 c 1421s| 3630k| 33175 | 7675k| 2.1 | 64M| 39 | 5 | 120 | 31k| 120 | 20 | 23 |2379k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1427.64/1427.69 c 1428s| 3640k| 32909 | 7695k| 2.1 | 64M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |2387k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1433.75/1433.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1433.75/1433.72 c 1434s| 3650k| 33943 | 7717k| 2.1 | 66M| 39 | - | 120 | 34k| 120 | 20 | 23 |2394k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1439.85/1439.84 c 1440s| 3660k| 34856 | 7737k| 2.1 | 67M| 39 | 5 | 120 | 34k| 120 | 20 | 23 |2401k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1446.05/1446.01 c 1446s| 3670k| 35476 | 7757k| 2.1 | 68M| 39 | - | 120 | 35k| 0 | 0 | 23 |2408k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1452.85/1452.86 c 1453s| 3680k| 35624 | 7776k| 2.1 | 69M| 39 | - | 120 | 34k| 120 | 20 | 23 |2416k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1459.55/1459.52 c 1460s| 3690k| 35591 | 7796k| 2.1 | 69M| 39 | - | 120 | 34k| 120 | 20 | 23 |2424k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1466.15/1466.19 c 1466s| 3700k| 35251 | 7815k| 2.1 | 69M| 39 | 5 | 120 | 33k| 120 | 20 | 23 |2432k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1473.05/1473.09 c 1473s| 3710k| 34942 | 7835k| 2.1 | 69M| 39 | 5 | 120 | 34k| 120 | 20 | 23 |2440k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1481.24/1481.23 c 1481s| 3720k| 33881 | 7854k| 2.1 | 68M| 39 | 5 | 120 | 34k| 120 | 20 | 23 |2448k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1488.75/1488.72 c 1489s| 3730k| 33266 | 7873k| 2.1 | 67M| 39 | - | 120 | 35k| 120 | 20 | 23 |2457k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1496.74/1496.79 c 1497s| 3740k| 32941 | 7894k| 2.1 | 65M| 39 | - | 120 | 33k| 120 | 20 | 23 |2465k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1503.14/1503.10 c 1503s| 3750k| 33205 | 7914k| 2.1 | 66M| 39 | - | 120 | 34k| 0 | 0 | 23 |2473k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1509.84/1509.88 c 1510s| 3760k| 33377 | 7934k| 2.1 | 67M| 39 | - | 120 | 35k| 120 | 20 | 23 |2481k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1516.75/1516.74 c 1517s| 3770k| 33428 | 7955k| 2.1 | 68M| 39 | 5 | 120 | 36k| 120 | 20 | 23 |2489k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1524.65/1524.63 c 1525s| 3780k| 32936 | 7975k| 2.1 | 66M| 39 | - | 120 | 34k| 0 | 0 | 23 |2497k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1531.75/1531.73 c 1532s| 3790k| 33144 | 7995k| 2.1 | 66M| 39 | 5 | 120 | 34k| 120 | 20 | 23 |2505k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1538.05/1538.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1538.05/1538.02 c 1538s| 3800k| 33296 | 8014k| 2.1 | 67M| 39 | 5 | 120 | 35k| 120 | 20 | 23 |2513k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1545.65/1545.67 c 1546s| 3810k| 32470 | 8032k| 2.1 | 65M| 39 | - | 120 | 34k| 120 | 20 | 23 |2522k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1553.45/1553.49 c 1553s| 3820k| 32635 | 8052k| 2.1 | 65M| 39 | 5 | 120 | 33k| 120 | 20 | 23 |2529k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1560.15/1560.10 c 1560s| 3830k| 32905 | 8071k| 2.1 | 66M| 39 | 5 | 120 | 34k| 120 | 20 | 23 |2536k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1568.56/1568.56 c 1569s| 3840k| 31909 | 8089k| 2.1 | 64M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |2544k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1576.65/1576.66 c 1577s| 3850k| 31663 | 8109k| 2.1 | 63M| 39 | - | 120 | 32k| 120 | 20 | 23 |2552k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1582.15/1582.14 c 1582s| 3860k| 32053 | 8130k| 2.1 | 64M| 39 | 5 | 120 | 33k| 120 | 20 | 23 |2560k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1589.25/1589.26 c 1589s| 3870k| 31159 | 8148k| 2.1 | 63M| 39 | - | 120 | 33k| 120 | 20 | 23 |2569k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1597.26/1597.23 c 1597s| 3880k| 30874 | 8169k| 2.1 | 62M| 39 | 5 | 120 | 33k| 120 | 20 | 23 |2577k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1603.25/1603.25 c 1603s| 3890k| 31061 | 8190k| 2.1 | 63M| 39 | 5 | 120 | 35k| 120 | 20 | 23 |2585k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1609.05/1609.08 c 1609s| 3900k| 31949 | 8209k| 2.1 | 64M| 39 | - | 120 | 35k| 120 | 20 | 23 |2592k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1615.35/1615.39 c 1615s| 3910k| 31945 | 8228k| 2.1 | 65M| 39 | - | 120 | 35k| 120 | 20 | 23 |2599k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1622.35/1622.31 c 1622s| 3920k| 31421 | 8248k| 2.1 | 64M| 39 | 5 | 120 | 35k| 120 | 20 | 23 |2608k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1631.65/1631.65 c 1632s| 3930k| 30027 | 8267k| 2.1 | 61M| 39 | - | 120 | 33k| 120 | 20 | 23 |2617k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1639.25/1639.28 c 1639s| 3940k| 29631 | 8286k| 2.1 | 61M| 39 | 5 | 120 | 34k| 120 | 20 | 23 |2625k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1645.45/1645.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1645.45/1645.44 c 1645s| 3950k| 29714 | 8307k| 2.1 | 61M| 39 | 5 | 120 | 36k| 120 | 20 | 23 |2634k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1652.45/1652.46 c 1652s| 3960k| 29391 | 8326k| 2.1 | 60M| 39 | 5 | 120 | 35k| 120 | 20 | 23 |2642k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1657.95/1657.96 c 1658s| 3970k| 29843 | 8346k| 2.1 | 62M| 39 | 5 | 120 | 37k| 120 | 20 | 23 |2649k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1665.75/1665.78 c 1666s| 3980k| 29331 | 8365k| 2.1 | 60M| 39 | 5 | 120 | 34k| 120 | 20 | 23 |2657k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1672.86/1672.86 c 1673s| 3990k| 29643 | 8385k| 2.1 | 61M| 39 | - | 120 | 36k| 120 | 20 | 23 |2664k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1680.35/1680.38 c 1680s| 4000k| 29192 | 8403k| 2.1 | 61M| 39 | 5 | 120 | 37k| 120 | 20 | 23 |2672k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1692.55/1692.55 c 1693s| 4010k| 27473 | 8421k| 2.1 | 56M| 39 | - | 120 | 33k| 120 | 20 | 23 |2682k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1701.86/1701.87 c 1702s| 4020k| 26476 | 8441k| 2.1 | 54M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |2690k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1709.96/1709.97 c 1710s| 4030k| 25707 | 8460k| 2.1 | 52M| 39 | - | 120 | 32k| 120 | 20 | 23 |2699k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1715.75/1715.74 c 1716s| 4040k| 26698 | 8481k| 2.1 | 53M| 39 | 5 | 120 | 34k| 120 | 20 | 23 |2706k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1721.76/1721.75 c 1722s| 4050k| 27310 | 8500k| 2.1 | 55M| 39 | 5 | 120 | 35k| 120 | 20 | 23 |2714k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1728.35/1728.39 c 1728s| 4060k| 27409 | 8519k| 2.1 | 55M| 39 | 5 | 120 | 35k| 120 | 20 | 23 |2721k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1734.85/1734.85 c 1735s| 4070k| 27651 | 8538k| 2.1 | 56M| 39 | 5 | 120 | 36k| 120 | 20 | 23 |2729k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1741.16/1741.14 c 1741s| 4080k| 27969 | 8557k| 2.1 | 57M| 39 | - | 120 | 37k| 120 | 20 | 23 |2736k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1748.06/1748.06 c 1748s| 4090k| 27987 | 8576k| 2.1 | 57M| 39 | 5 | 120 | 37k| 120 | 20 | 23 |2744k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1755.36/1755.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1755.36/1755.36 c 1755s| 4100k| 27617 | 8595k| 2.1 | 57M| 39 | - | 120 | 36k| 120 | 20 | 23 |2752k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1761.96/1761.91 c 1762s| 4110k| 27938 | 8614k| 2.1 | 58M| 39 | - | 120 | 37k| 0 | 0 | 23 |2760k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1769.56/1769.59 c 1770s| 4120k| 27268 | 8633k| 2.1 | 57M| 39 | - | 120 | 36k| 0 | 0 | 23 |2768k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1779.36/1779.37 c 1779s| 4130k| 25553 | 8651k| 2.1 | 53M| 39 | 5 | 120 | 36k| 120 | 20 | 23 |2777k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1786.96/1786.93 c 1787s| 4140k| 25538 | 8671k| 2.1 | 53M| 39 | - | 120 | 36k| 120 | 20 | 23 |2785k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1794.25/1794.29 c 1794s| 4150k| 25046 | 8689k| 2.1 | 52M| 39 | - | 120 | 37k| 0 | 0 | 23 |2793k|9590 | 0.000000e+00 | 1.000000e+00 | Inf
1797.05/1797.00 c
1797.05/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.05/1797.00 c Solving Time (sec) : 1797.00
1797.05/1797.00 c Solving Nodes : 4153692
1797.05/1797.00 c Primal Bound : +1.00000000000000e+00 (39 solutions)
1797.05/1797.00 c Dual Bound : +0.00000000000000e+00
1797.05/1797.00 c Gap : infinite
1797.05/1797.00 s SATISFIABLE
1797.05/1797.00 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
1797.05/1797.00 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 -x70
1797.05/1797.00 v -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45
1797.05/1797.00 v -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20
1797.05/1797.00 v -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 x1
1797.05/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.05/1797.00 c Total Time : 1797.00
1797.05/1797.00 c solving : 1797.00
1797.05/1797.00 c presolving : 0.00 (included in solving)
1797.05/1797.00 c reading : 0.00 (included in solving)
1797.05/1797.00 c Original Problem :
1797.05/1797.00 c Problem name : HOME/instance-3485561-1307774948.opb
1797.05/1797.00 c Variables : 120 (120 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.05/1797.00 c Constraints : 10 initial, 10 maximal
1797.05/1797.00 c Presolved Problem :
1797.05/1797.00 c Problem name : t_HOME/instance-3485561-1307774948.opb
1797.05/1797.00 c Variables : 120 (120 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.05/1797.00 c Constraints : 5 initial, 38516 maximal
1797.05/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.05/1797.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c probing : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c linear : 0.00 0 0 0 0 0 5 0 0 0
1797.05/1797.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c root node : - 80 - - 80 - - - - -
1797.05/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.05/1797.00 c integral : 0 0 0 2264258 0 28 0 225 4576 0 0 4518944
1797.05/1797.00 c linear : 5+ 7 10436853 2 1 25 4615840 713899 4974743 0 0 0
1797.05/1797.00 c logicor : 0+ 0 5657379 0 0 0 5250508 47555 2696011 0 0 0
1797.05/1797.00 c countsols : 0 0 0 19 1 22 0 0 0 0 0 0
1797.05/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.05/1797.00 c integral : 13.59 0.00 0.00 13.59 0.00 0.00 0.00
1797.05/1797.00 c linear : 113.84 0.00 102.86 0.00 0.00 0.00 10.98
1797.05/1797.00 c logicor : 607.34 0.00 601.24 0.00 0.00 0.00 6.10
1797.05/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.05/1797.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.05/1797.00 c vbounds : 0 0 0 0
1797.05/1797.00 c rootredcost : 32 0 0 80
1797.05/1797.00 c pseudoobj : 10438566 7912 1892 49129
1797.05/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1797.05/1797.00 c vbounds : 1.45 1.45 0.00
1797.05/1797.00 c rootredcost : 1.55 1.55 0.00
1797.05/1797.00 c pseudoobj : 17.63 17.63 0.01
1797.05/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.05/1797.00 c propagation : 21.10 763346 566355 1591176 29.4 428 25.0 -
1797.05/1797.00 c infeasible LP : 36.36 1287573 1287544 2595442 20.1 20040 24.0 0
1797.05/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.05/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.05/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.05/1797.00 c applied globally : - - - 2662510 20.2 - - -
1797.05/1797.00 c applied locally : - - - 133506 33.0 - - -
1797.05/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.05/1797.00 c cut pool : 0.00 5 - - 22 - (maximal pool size: 77)
1797.05/1797.00 c redcost : 6.55 2345114 0 1537992 0 0
1797.05/1797.00 c impliedbounds : 0.00 6 0 0 0 0
1797.05/1797.00 c intobj : 0.00 0 0 0 0 0
1797.05/1797.00 c gomory : 0.00 6 0 0 1 0
1797.05/1797.00 c cgmip : 0.00 0 0 0 0 0
1797.05/1797.00 c closecuts : 0.00 0 0 0 0 0
1797.05/1797.00 c strongcg : 0.00 6 0 0 12 0
1797.05/1797.00 c cmir : 0.01 6 0 0 39 0
1797.05/1797.00 c flowcover : 0.01 6 0 0 54 0
1797.05/1797.00 c clique : 0.00 1 0 0 0 0
1797.05/1797.00 c zerohalf : 0.00 0 0 0 0 0
1797.05/1797.00 c mcf : 0.00 1 0 0 0 0
1797.05/1797.00 c oddcycle : 0.00 0 0 0 0 0
1797.05/1797.00 c rapidlearning : 0.01 1 0 0 0 2
1797.05/1797.00 c Pricers : Time Calls Vars
1797.05/1797.00 c problem variables: 0.00 0 0
1797.05/1797.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.05/1797.00 c relpscost : 12.25 2264239 225 4576 0 0 4518944
1797.05/1797.00 c pscost : 0.00 0 0 0 0 0 0
1797.05/1797.00 c inference : 0.00 1 0 0 0 0 2
1797.05/1797.00 c mostinf : 0.00 0 0 0 0 0 0
1797.05/1797.00 c leastinf : 0.00 0 0 0 0 0 0
1797.05/1797.00 c fullstrong : 0.00 0 0 0 0 0 0
1797.05/1797.00 c allfullstrong : 0.00 0 0 0 0 0 0
1797.05/1797.00 c random : 0.00 0 0 0 0 0 0
1797.05/1797.00 c Primal Heuristics : Time Calls Found
1797.05/1797.00 c LP solutions : 0.01 - 19
1797.05/1797.00 c pseudo solutions : 0.00 - 0
1797.05/1797.00 c intshifting : 0.09 0 0
1797.05/1797.00 c oneopt : 0.99 31 0
1797.05/1797.00 c crossover : 2.29 7 0
1797.05/1797.00 c coefdiving : 5.30 6363 1
1797.05/1797.00 c pscostdiving : 4.96 6363 3
1797.05/1797.00 c fracdiving : 4.92 6363 5
1797.05/1797.00 c objpscostdiving : 1.34 3182 1
1797.05/1797.00 c linesearchdiving : 4.89 6364 1
1797.05/1797.00 c guideddiving : 4.81 6364 0
1797.05/1797.00 c veclendiving : 5.64 6364 1
1797.05/1797.00 c rootsoldiving : 2.65 3183 1
1797.05/1797.00 c trivial : 0.00 2 0
1797.05/1797.00 c shiftandpropagate: 0.00 1 1
1797.05/1797.00 c simplerounding : 0.51 0 0
1797.05/1797.00 c zirounding : 5.97 0 0
1797.05/1797.00 c rounding : 0.91 21624 0
1797.05/1797.00 c shifting : 8.36 28397 5
1797.05/1797.00 c twoopt : 0.00 0 0
1797.05/1797.00 c fixandinfer : 0.00 0 0
1797.05/1797.00 c feaspump : 0.05 1 0
1797.05/1797.00 c clique : 0.00 0 0
1797.05/1797.00 c intdiving : 0.00 0 0
1797.05/1797.00 c actconsdiving : 0.00 0 0
1797.05/1797.00 c octane : 0.00 0 0
1797.05/1797.00 c rens : 0.05 1 0
1797.05/1797.00 c rins : 0.00 0 0
1797.05/1797.00 c localbranching : 0.00 0 0
1797.05/1797.00 c mutation : 0.00 0 0
1797.05/1797.00 c dins : 0.00 0 0
1797.05/1797.00 c vbounds : 0.00 0 0
1797.05/1797.00 c undercover : 0.00 0 0
1797.05/1797.00 c subnlp : 0.54 0 0
1797.05/1797.00 c trysol : 0.71 0 0
1797.05/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec
1797.05/1797.00 c primal LP : 0.00 0 0 0.00 -
1797.05/1797.00 c dual LP : 211.88 3624948 8341795 2.30 39371.03
1797.05/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1797.05/1797.00 c barrier LP : 0.00 0 0 0.00 -
1797.05/1797.00 c diving/probing LP: 10.39 183861 355232 1.93 34202.52
1797.05/1797.00 c strong branching : 0.94 9590 32043 3.34 34007.40
1797.05/1797.00 c (at root node) : - 11 630 57.27 -
1797.05/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1797.05/1797.00 c B&B Tree :
1797.05/1797.00 c number of runs : 1
1797.05/1797.00 c nodes : 4153692
1797.05/1797.00 c nodes (total) : 4153692
1797.05/1797.00 c nodes left : 25302
1797.05/1797.00 c max depth : 39
1797.05/1797.00 c max depth (total): 39
1797.05/1797.00 c backtracks : 1271193 (30.6%)
1797.05/1797.00 c delayed cutoffs : 335334
1797.05/1797.00 c repropagations : 3393797 (3755606 domain reductions, 268497 cutoffs)
1797.05/1797.00 c avg switch length: 5.57
1797.05/1797.00 c switching time : 462.94
1797.05/1797.00 c Solution :
1797.05/1797.00 c Solutions found : 39 (33 improvements)
1797.05/1797.00 c First Solution : +1.35200000000000e+03 (in run 1, after 1 nodes, 0.01 seconds, depth 50, found by <shiftandpropagate>)
1797.05/1797.00 c Primal Bound : +1.00000000000000e+00 (in run 1, after 666669 nodes, 91.31 seconds, depth 34, found by <relaxation>)
1797.05/1797.00 c Dual Bound : +0.00000000000000e+00
1797.05/1797.00 c Gap : infinite
1797.05/1797.00 c Root Dual Bound : +0.00000000000000e+00
1797.05/1797.00 c Root Iterations : 61
1797.15/1797.13 c Time complete: 1797.19.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3485561-1307774948/watcher-3485561-1307774948 -o /tmp/evaluation-result-3485561-1307774948/solver-3485561-1307774948 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485561-1307774948.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 1.98 2/177 8413
/proc/meminfo: memFree=31232968/32950928 swapFree=67056212/67111528
[pid=8413] ppid=8411 vsize=12216 CPUtime=0 cores=1,3,5,7
/proc/8413/stat : 8413 (scip-2.0.1.4_2.) R 8411 8413 2370 0 -1 4202496 2009 0 0 0 0 0 0 0 23 0 1 0 967725473 12509184 1965 33554432000 4194304 8979876 140736645986624 18446744073709551615 7836189 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8413/statm: 3054 1976 410 1169 0 1881 0
[startup+0.06704 s]
/proc/loadavg: 2.00 2.00 1.98 2/177 8413
/proc/meminfo: memFree=31232968/32950928 swapFree=67056212/67111528
[pid=8413] ppid=8411 vsize=27804 CPUtime=0.05 cores=1,3,5,7
/proc/8413/stat : 8413 (scip-2.0.1.4_2.) R 8411 8413 2370 0 -1 4202496 6258 0 0 0 5 0 0 0 18 0 1 0 967725473 28471296 5603 33554432000 4194304 8979876 140736645986624 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8413/statm: 6951 5603 698 1169 0 5778 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 27804
[startup+0.101022 s]
/proc/loadavg: 2.00 2.00 1.98 2/177 8413
/proc/meminfo: memFree=31232968/32950928 swapFree=67056212/67111528
[pid=8413] ppid=8411 vsize=27804 CPUtime=0.09 cores=1,3,5,7
/proc/8413/stat : 8413 (scip-2.0.1.4_2.) R 8411 8413 2370 0 -1 4202496 6267 0 0 0 8 1 0 0 18 0 1 0 967725473 28471296 5612 33554432000 4194304 8979876 140736645986624 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8413/statm: 6951 5612 698 1169 0 5778 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27804
[startup+0.300984 s]
/proc/loadavg: 2.00 2.00 1.98 2/177 8413
/proc/meminfo: memFree=31232968/32950928 swapFree=67056212/67111528
[pid=8413] ppid=8411 vsize=27804 CPUtime=0.29 cores=1,3,5,7
/proc/8413/stat : 8413 (scip-2.0.1.4_2.) R 8411 8413 2370 0 -1 4202496 6274 0 0 0 24 5 0 0 18 0 1 0 967725473 28471296 5619 33554432000 4194304 8979876 140736645986624 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8413/statm: 6951 5619 704 1169 0 5778 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27804
[startup+0.700915 s]
/proc/loadavg: 2.00 2.00 1.98 2/177 8413
/proc/meminfo: memFree=31232968/32950928 swapFree=67056212/67111528
[pid=8413] ppid=8411 vsize=27804 CPUtime=0.69 cores=1,3,5,7
/proc/8413/stat : 8413 (scip-2.0.1.4_2.) R 8411 8413 2370 0 -1 4202496 6280 0 0 0 58 11 0 0 18 0 1 0 967725473 28471296 5625 33554432000 4194304 8979876 140736645986624 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8413/statm: 6951 5625 705 1169 0 5778 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27804
[startup+1.50076 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 8414
/proc/meminfo: memFree=31212524/32950928 swapFree=67056212/67111528
[pid=8413] ppid=8411 vsize=27804 CPUtime=1.49 cores=1,3,5,7
/proc/8413/stat : 8413 (scip-2.0.1.4_2.) R 8411 8413 2370 0 -1 4202496 6288 0 0 0 128 21 0 0 20 0 1 0 967725473 28471296 5633 33554432000 4194304 8979876 140736645986624 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8413/statm: 6951 5633 705 1169 0 5778 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27804
[startup+3.10045 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 8414
/proc/meminfo: memFree=31212648/32950928 swapFree=67056212/67111528
[pid=8413] ppid=8411 vsize=25300 CPUtime=3.09 cores=1,3,5,7
/proc/8413/stat : 8413 (scip-2.0.1.4_2.) R 8411 8413 2370 0 -1 4202496 6997 0 0 0 264 45 0 0 25 0 1 0 967725473 25907200 5365 33554432000 4194304 8979876 140736645986624 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8413/statm: 6325 5365 706 1169 0 5152 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 25300
[startup+6.30085 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 8414
/proc/meminfo: memFree=31211284/32950928 swapFree=67056212/67111528
[pid=8413] ppid=8411 vsize=25300 CPUtime=6.29 cores=1,3,5,7
/proc/8413/stat : 8413 (scip-2.0.1.4_2.) R 8411 8413 2370 0 -1 4202496 12587 0 0 0 511 118 0 0 25 0 1 0 967725473 25907200 5386 33554432000 4194304 8979876 140736645986624 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8413/statm: 6325 5386 706 1169 0 5152 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 25300
[startup+12.7006 s]
/proc/loadavg: 2.08 2.02 1.98 3/178 8414
/proc/meminfo: memFree=31207364/32950928 swapFree=67056212/67111528
[pid=8413] ppid=8411 vsize=27340 CPUtime=12.7 cores=1,3,5,7
/proc/8413/stat : 8413 (scip-2.0.1.4_2.) R 8411 8413 2370 0 -1 4202496 19183 0 0 0 1052 218 0 0 25 0 1 0 967725473 27996160 5874 33554432000 4194304 8979876 140736645986624 18446744073709551615 7226462 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8413/statm: 6835 5874 706 1169 0 5662 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 27340
[startup+25.5002 s]
/proc/loadavg: 2.07 2.02 1.98 3/178 8414
/proc/meminfo: memFree=31193200/32950928 swapFree=67056212/67111528
[pid=8413] ppid=8411 vsize=30784 CPUtime=25.49 cores=1,3,5,7
/proc/8413/stat : 8413 (scip-2.0.1.4_2.) R 8411 8413 2370 0 -1 4202496 22698 0 0 0 2139 410 0 0 25 0 1 0 967725473 31522816 6694 33554432000 4194304 8979876 140736645986624 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8413/statm: 7696 6694 706 1169 0 6523 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 30784
[startup+51.1003 s]
/proc/loadavg: 2.04 2.01 1.98 3/178 8415
/proc/meminfo: memFree=31172700/32950928 swapFree=67056212/67111528
[pid=8413] ppid=8411 vsize=34672 CPUtime=51.1 cores=1,3,5,7
/proc/8413/stat : 8413 (scip-2.0.1.4_2.) R 8411 8413 2370 0 -1 4202496 32256 0 0 0 4320 790 0 0 25 0 1 0 967725473 35504128 7673 33554432000 4194304 8979876 140736645986624 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8413/statm: 8668 7673 706 1169 0 7495 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 34672
[startup+102.307 s]
/proc/loadavg: 2.02 2.01 1.98 3/178 8416
/proc/meminfo: memFree=31138544/32950928 swapFree=67056212/67111528
[pid=8413] ppid=8411 vsize=49068 CPUtime=102.3 cores=1,3,5,7
/proc/8413/stat : 8413 (scip-2.0.1.4_2.) R 8411 8413 2370 0 -1 4202496 52417 0 0 0 8736 1494 0 0 25 0 1 0 967725473 50245632 11313 33554432000 4194304 8979876 140736645986624 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8413/statm: 12267 11313 706 1169 0 11094 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 49068
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 8418
/proc/meminfo: memFree=31100888/32950928 swapFree=67056212/67111528
[pid=8413] ppid=8411 vsize=55264 CPUtime=162.29 cores=1,3,5,7
/proc/8413/stat : 8413 (scip-2.0.1.4_2.) R 8411 8413 2370 0 -1 4202496 56082 0 0 0 14321 1908 0 0 25 0 1 0 967725473 56590336 12867 33554432000 4194304 8979876 140736645986624 18446744073709551615 18446744073699065939 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8413/statm: 13816 12867 706 1169 0 12643 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 55264
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 8420
/proc/meminfo: memFree=31071316/32950928 swapFree=67056212/67111528
[pid=8413] ppid=8411 vsize=58180 CPUtime=222.3 cores=1,3,5,7
/proc/8413/stat : 8413 (scip-2.0.1.4_2.) R 8411 8413 2370 0 -1 4202496 57590 0 0 0 19998 2232 0 0 25 0 1 0 967725473 59576320 13608 33554432000 4194304 8979876 140736645986624 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8413/statm: 14545 13608 706 1169 0 13372 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 58180
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 8421
/proc/meminfo: memFree=31044708/32950928 swapFree=67056212/67111528
[pid=8413] ppid=8411 vsize=59584 CPUtime=282.31 cores=1,3,5,7
/proc/8413/stat : 8413 (scip-2.0.1.4_2.) R 8411 8413 2370 0 -1 4202496 57733 0 0 0 25680 2551 0 0 25 0 1 0 967725473 61014016 13751 33554432000 4194304 8979876 140736645986624 18446744073709551615 5383628 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8413/statm: 14896 13751 706 1169 0 13723 0
Current children cumulated CPU time (s) 282.31
Current children cumulated vsize (KiB) 59584
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 8423
/proc/meminfo: memFree=31026804/32950928 swapFree=67056212/67111528
[pid=8413] ppid=8411 vsize=61144 CPUtime=342.3 cores=1,3,5,7
/proc/8413/stat : 8413 (scip-2.0.1.4_2.) R 8411 8413 2370 0 -1 4202496 59120 0 0 0 31387 2843 0 0 25 0 1 0 967725473 62611456 14114 33554432000 4194304 8979876 140736645986624 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8413/statm: 15286 14114 706 1169 0 14113 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 61144
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 8424
/proc/meminfo: memFree=31004540/32950928 swapFree=67056212/67111528
[pid=8413] ppid=8411 vsize=62608 CPUtime=402.31 cores=1,3,5,7
/proc/8413/stat : 8413 (scip-2.0.1.4_2.) R 8411 8413 2370 0 -1 4202496 59425 0 0 0 37083 3148 0 0 25 0 1 0 967725473 64110592 14419 33554432000 4194304 8979876 140736645986624 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8413/statm: 15652 14419 706 1169 0 14479 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 62608
[startup+462.3 s]
/proc/loadavg: 2.07 2.02 1.99 3/178 8426
/proc/meminfo: memFree=30986764/32950928 swapFree=67056212/67111528
[pid=8413] ppid=8411 vsize=63004 CPUtime=462.31 cores=1,3,5,7
/proc/8413/stat : 8413 (scip-2.0.1.4_2.) R 8411 8413 2370 0 -1 4202496 59473 0 0 0 42765 3466 0 0 25 0 1 0 967725473 64516096 14467 33554432000 4194304 8979876 140736645986624 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8413/statm: 15751 14467 706 1169 0 14578 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 63004
[startup+522.301 s]
/proc/loadavg: 2.03 2.01 1.99 3/178 8427
/proc/meminfo: memFree=30972200/32950928 swapFree=67056212/67111528
[pid=8413] ppid=8411 vsize=63308 CPUtime=522.31 cores=1,3,5,7
/proc/8413/stat : 8413 (scip-2.0.1.4_2.) R 8411 8413 2370 0 -1 4202496 59522 0 0 0 48489 3742 0 0 25 0 1 0 967725473 64827392 14516 33554432000 4194304 8979876 140736645986624 18446744073709551615 5381809 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8413/statm: 15827 14516 706 1169 0 14654 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 63308
[startup+582.3 s]
/proc/loadavg: 2.01 2.00 1.99 3/178 8429
/proc/meminfo: memFree=30957512/32950928 swapFree=67056212/67111528
[pid=8413] ppid=8411 vsize=66224 CPUtime=582.31 cores=1,3,5,7
/proc/8413/stat : 8413 (scip-2.0.1.4_2.) R 8411 8413 2370 0 -1 4202496 60223 0 0 0 54252 3979 0 0 25 0 1 0 967725473 67813376 15217 33554432000 4194304 8979876 140736645986624 18446744073709551615 5381842 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8413/statm: 16556 15217 706 1169 0 15383 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 66224
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=30780200/32950928 swapFree=67056212/67111528
[pid=8413] ppid=8411 vsize=94064 CPUtime=1062.33 cores=1,3,5,7
/proc/8413/stat : 8413 (scip-2.0.1.4_2.) R 8411 8413 2370 0 -1 4202496 68116 0 0 0 100710 5523 0 0 25 0 1 0 967725473 96321536 21980 33554432000 4194304 8979876 140736645986624 18446744073709551615 4329904 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8413/statm: 23516 21980 706 1169 0 22343 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 94064
[startup+1122.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 8452
/proc/meminfo: memFree=30740948/32950928 swapFree=67056212/67111528
[pid=8413] ppid=8411 vsize=102600 CPUtime=1122.34 cores=1,3,5,7
/proc/8413/stat : 8413 (scip-2.0.1.4_2.) R 8411 8413 2370 0 -1 4202496 70310 0 0 0 106547 5687 0 0 25 0 1 0 967725473 105062400 24174 33554432000 4194304 8979876 140736645986624 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8413/statm: 25650 24174 706 1169 0 24477 0
Current children cumulated CPU time (s) 1122.34
Current children cumulated vsize (KiB) 102600
[startup+1182.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 8454
/proc/meminfo: memFree=30704184/32950928 swapFree=67056212/67111528
[pid=8413] ppid=8411 vsize=103564 CPUtime=1182.33 cores=1,3,5,7
/proc/8413/stat : 8413 (scip-2.0.1.4_2.) R 8411 8413 2370 0 -1 4202496 70558 0 0 0 112393 5840 0 0 25 0 1 0 967725473 106049536 24422 33554432000 4194304 8979876 140736645986624 18446744073709551615 5381791 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8413/statm: 25891 24422 706 1169 0 24718 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 103564
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8456
/proc/meminfo: memFree=30660588/32950928 swapFree=67056212/67111528
[pid=8413] ppid=8411 vsize=106244 CPUtime=1242.34 cores=1,3,5,7
/proc/8413/stat : 8413 (scip-2.0.1.4_2.) R 8411 8413 2370 0 -1 4202496 71255 0 0 0 118234 6000 0 0 25 0 1 0 967725473 108793856 25119 33554432000 4194304 8979876 140736645986624 18446744073709551615 5381842 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8413/statm: 26561 25119 706 1169 0 25388 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 106244
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8457
/proc/meminfo: memFree=30625796/32950928 swapFree=67056212/67111528
[pid=8413] ppid=8411 vsize=107232 CPUtime=1302.35 cores=1,3,5,7
/proc/8413/stat : 8413 (scip-2.0.1.4_2.) R 8411 8413 2370 0 -1 4202496 71469 0 0 0 124071 6164 0 0 25 0 1 0 967725473 109805568 25333 33554432000 4194304 8979876 140736645986624 18446744073709551615 5381814 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8413/statm: 26808 25333 706 1169 0 25635 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 107232
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8459
/proc/meminfo: memFree=30587528/32950928 swapFree=67056212/67111528
[pid=8413] ppid=8411 vsize=107616 CPUtime=1362.34 cores=1,3,5,7
/proc/8413/stat : 8413 (scip-2.0.1.4_2.) R 8411 8413 2370 0 -1 4202496 71571 0 0 0 129931 6303 0 0 25 0 1 0 967725473 110198784 25435 33554432000 4194304 8979876 140736645986624 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8413/statm: 26904 25435 706 1169 0 25731 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 107616
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8461
/proc/meminfo: memFree=30559796/32950928 swapFree=67056212/67111528
[pid=8413] ppid=8411 vsize=107616 CPUtime=1422.36 cores=1,3,5,7
/proc/8413/stat : 8413 (scip-2.0.1.4_2.) R 8411 8413 2370 0 -1 4202496 71571 0 0 0 135786 6450 0 0 25 0 1 0 967725473 110198784 25435 33554432000 4194304 8979876 140736645986624 18446744073709551615 5381809 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8413/statm: 26904 25435 706 1169 0 25731 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 107616
[startup+1482.3 s]
/proc/loadavg: 1.40 1.83 1.94 2/172 8486
/proc/meminfo: memFree=31443828/32950928 swapFree=67056212/67111528
[pid=8413] ppid=8411 vsize=107616 CPUtime=1482.35 cores=1,3,5,7
/proc/8413/stat : 8413 (scip-2.0.1.4_2.) R 8411 8413 2370 0 -1 4202496 71571 0 0 0 141596 6639 0 0 25 0 1 0 967725473 110198784 25435 33554432000 4194304 8979876 140736645986624 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8413/statm: 26904 25435 706 1169 0 25731 0
Current children cumulated CPU time (s) 1482.35
Current children cumulated vsize (KiB) 107616
[startup+1542.3 s]
/proc/loadavg: 1.20 1.69 1.88 2/172 8488
/proc/meminfo: memFree=31444024/32950928 swapFree=67056212/67111528
[pid=8413] ppid=8411 vsize=107616 CPUtime=1542.35 cores=1,3,5,7
/proc/8413/stat : 8413 (scip-2.0.1.4_2.) R 8411 8413 2370 0 -1 4202496 71573 0 0 0 147403 6832 0 0 25 0 1 0 967725473 110198784 25437 33554432000 4194304 8979876 140736645986624 18446744073709551615 4347574 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8413/statm: 26904 25437 706 1169 0 25731 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 107616
[startup+1602.3 s]
/proc/loadavg: 1.07 1.56 1.82 2/172 8489
/proc/meminfo: memFree=31443988/32950928 swapFree=67056212/67111528
[pid=8413] ppid=8411 vsize=107616 CPUtime=1602.35 cores=1,3,5,7
/proc/8413/stat : 8413 (scip-2.0.1.4_2.) R 8411 8413 2370 0 -1 4202496 71573 0 0 0 153226 7009 0 0 25 0 1 0 967725473 110198784 25437 33554432000 4194304 8979876 140736645986624 18446744073709551615 4347632 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8413/statm: 26904 25437 706 1169 0 25731 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 107616
[startup+1662.3 s]
/proc/loadavg: 1.02 1.46 1.77 2/172 8491
/proc/meminfo: memFree=31443452/32950928 swapFree=67056212/67111528
[pid=8413] ppid=8411 vsize=107816 CPUtime=1662.36 cores=1,3,5,7
/proc/8413/stat : 8413 (scip-2.0.1.4_2.) R 8411 8413 2370 0 -1 4202496 72753 0 0 0 159038 7198 0 0 25 0 1 0 967725473 110403584 25521 33554432000 4194304 8979876 140736645986624 18446744073709551615 4347574 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8413/statm: 26954 25521 706 1169 0 25781 0
Current children cumulated CPU time (s) 1662.36
Current children cumulated vsize (KiB) 107816
[startup+1722.3 s]
/proc/loadavg: 1.01 1.37 1.72 2/172 8492
/proc/meminfo: memFree=31443292/32950928 swapFree=67056212/67111528
[pid=8413] ppid=8411 vsize=107816 CPUtime=1722.36 cores=1,3,5,7
/proc/8413/stat : 8413 (scip-2.0.1.4_2.) R 8411 8413 2370 0 -1 4202496 72753 0 0 0 164874 7362 0 0 25 0 1 0 967725473 110403584 25521 33554432000 4194304 8979876 140736645986624 18446744073709551615 5381809 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8413/statm: 26954 25521 706 1169 0 25781 0
Current children cumulated CPU time (s) 1722.36
Current children cumulated vsize (KiB) 107816
[startup+1782.3 s]
/proc/loadavg: 1.00 1.30 1.67 2/172 8494
/proc/meminfo: memFree=31443368/32950928 swapFree=67056212/67111528
[pid=8413] ppid=8411 vsize=107816 CPUtime=1782.36 cores=1,3,5,7
/proc/8413/stat : 8413 (scip-2.0.1.4_2.) R 8411 8413 2370 0 -1 4202496 72760 0 0 0 170696 7540 0 0 25 0 1 0 967725473 110403584 25528 33554432000 4194304 8979876 140736645986624 18446744073709551615 5381791 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8413/statm: 26954 25528 706 1169 0 25781 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 107816
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 1.00 1.30 1.67 2/172 8494
/proc/meminfo: memFree=31443244/32950928 swapFree=67056212/67111528
[pid=8413] ppid=8411 vsize=107816 CPUtime=1785.56 cores=1,3,5,7
/proc/8413/stat : 8413 (scip-2.0.1.4_2.) R 8411 8413 2370 0 -1 4202496 72760 0 0 0 171006 7550 0 0 25 0 1 0 967725473 110403584 25528 33554432000 4194304 8979876 140736645986624 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8413/statm: 26954 25528 706 1169 0 25781 0
Current children cumulated CPU time (s) 1785.56
Current children cumulated vsize (KiB) 107816
[startup+1791.91 s]
/proc/loadavg: 1.00 1.29 1.66 2/172 8494
/proc/meminfo: memFree=31443356/32950928 swapFree=67056212/67111528
[pid=8413] ppid=8411 vsize=107816 CPUtime=1791.97 cores=1,3,5,7
/proc/8413/stat : 8413 (scip-2.0.1.4_2.) R 8411 8413 2370 0 -1 4202496 72803 0 0 0 171629 7568 0 0 25 0 1 0 967725473 110403584 25571 33554432000 4194304 8979876 140736645986624 18446744073709551615 5382424 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8413/statm: 26954 25571 706 1169 0 25781 0
Current children cumulated CPU time (s) 1791.97
Current children cumulated vsize (KiB) 107816
[startup+1795.1 s]
/proc/loadavg: 1.00 1.29 1.66 2/172 8494
/proc/meminfo: memFree=31443356/32950928 swapFree=67056212/67111528
[pid=8413] ppid=8411 vsize=107816 CPUtime=1795.16 cores=1,3,5,7
/proc/8413/stat : 8413 (scip-2.0.1.4_2.) R 8411 8413 2370 0 -1 4202496 72803 0 0 0 171942 7574 0 0 25 0 1 0 967725473 110403584 25571 33554432000 4194304 8979876 140736645986624 18446744073709551615 4330762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8413/statm: 26954 25571 706 1169 0 25781 0
Current children cumulated CPU time (s) 1795.16
Current children cumulated vsize (KiB) 107816
[startup+1795.9 s]
/proc/loadavg: 1.00 1.29 1.66 2/172 8494
/proc/meminfo: memFree=31443356/32950928 swapFree=67056212/67111528
[pid=8413] ppid=8411 vsize=107816 CPUtime=1795.96 cores=1,3,5,7
/proc/8413/stat : 8413 (scip-2.0.1.4_2.) R 8411 8413 2370 0 -1 4202496 72805 0 0 0 172019 7577 0 0 25 0 1 0 967725473 110403584 25573 33554432000 4194304 8979876 140736645986624 18446744073709551615 4330762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8413/statm: 26954 25573 706 1169 0 25781 0
Current children cumulated CPU time (s) 1795.96
Current children cumulated vsize (KiB) 107816
[startup+1796.7 s]
/proc/loadavg: 1.00 1.29 1.66 2/172 8494
/proc/meminfo: memFree=31443356/32950928 swapFree=67056212/67111528
[pid=8413] ppid=8411 vsize=107816 CPUtime=1796.76 cores=1,3,5,7
/proc/8413/stat : 8413 (scip-2.0.1.4_2.) R 8411 8413 2370 0 -1 4202496 72805 0 0 0 172095 7581 0 0 25 0 1 0 967725473 110403584 25573 33554432000 4194304 8979876 140736645986624 18446744073709551615 4349783 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8413/statm: 26954 25573 706 1169 0 25781 0
Current children cumulated CPU time (s) 1796.76
Current children cumulated vsize (KiB) 107816
[startup+1797.1 s]
/proc/loadavg: 1.00 1.29 1.66 2/172 8494
/proc/meminfo: memFree=31443356/32950928 swapFree=67056212/67111528
[pid=8413] ppid=8411 vsize=106696 CPUtime=1797.15 cores=1,3,5,7
/proc/8413/stat : 8413 (scip-2.0.1.4_2.) R 8411 8413 2370 0 -1 4202496 72894 0 0 0 172134 7581 0 0 25 0 1 0 967725473 109256704 25309 33554432000 4194304 8979876 140736645986624 18446744073709551615 6778220 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/8413/statm: 26674 25309 709 1169 0 25501 0
Current children cumulated CPU time (s) 1797.15
Current children cumulated vsize (KiB) 106696
Child status: 0
Real time (s): 1797.13
CPU time (s): 1797.2
CPU user time (s): 1721.38
CPU system time (s): 75.8235
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 107816
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1721.38
system time used= 75.8235
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72899
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= 7
involuntary context switches= 22201
runsolver used 2.6276 second user time and 6.22005 second system time
The end