0.00/0.03 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.03 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.03 c
0.00/0.03 c user parameter file <scip.set> not found - using default parameters
0.00/0.03 c reading problem <HOME/instance-3451083-1307095713.opb>
0.00/0.04 c original problem has 120 variables (120 bin, 0 int, 0 impl, 0 cont) and 10 constraints
0.00/0.04 c problem read
0.00/0.04 c presolving settings loaded
0.00/0.04 c presolving:
0.00/0.04 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.04 c (0.0s) probing: 101/120 (84.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.04 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.04 c presolving (2 rounds):
0.00/0.04 c 0 deleted vars, 5 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.04 c 0 implications, 0 cliques
0.00/0.04 c presolved problem has 120 variables (120 bin, 0 int, 0 impl, 0 cont) and 5 constraints
0.00/0.04 c 5 constraints of type <linear>
0.00/0.04 c transformed objective value is always integral (scale: 1)
0.00/0.04 c Presolving Time: 0.00
0.00/0.04 c - non default parameters ----------------------------------------------------------------------
0.00/0.04 c # SCIP version 2.0.1.5
0.00/0.04 c
0.00/0.04 c # frequency for displaying node information lines
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.04 c display/freq = 10000
0.00/0.04 c
0.00/0.04 c # maximal time in seconds to run
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/time = 1800
0.00/0.04 c
0.00/0.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/memory = 13950
0.00/0.04 c
0.00/0.04 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.04 c # [type: int, range: [1,2], default: 1]
0.00/0.04 c timing/clocktype = 2
0.00/0.04 c
0.00/0.04 c # belongs reading time to solving time?
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c timing/reading = TRUE
0.00/0.04 c
0.00/0.04 c # should presolving try to simplify inequalities
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/linear/simplifyinequalities = TRUE
0.00/0.04 c
0.00/0.04 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/indicator/addCouplingCons = TRUE
0.00/0.04 c
0.00/0.04 c # should presolving try to simplify knapsacks
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.04 c
0.00/0.04 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.04 c separating/rapidlearning/freq = 0
0.00/0.04 c
0.00/0.04 c -----------------------------------------------------------------------------------------------
0.00/0.04 c start solving
0.00/0.04 c
0.00/0.04 o 1352
0.00/0.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.04 c T 0.0s| 1 | 0 | 0 | - | 466k| 0 | - | 120 | 5 | 120 | 5 | 0 | 0 | 0 | -- | 1.352000e+03 | Inf
0.00/0.04 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.06 o 1345
0.00/0.06 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.06 c 0.0s| 1 | 0 | 29 | - | 484k| 0 | 8 | 120 | 7 | 120 | 11 | 6 | 0 | 0 | 0.000000e+00 | 1.345000e+03 | Inf
0.00/0.06 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.07 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.07 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.08 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.09 c 0.1s| 1 | 0 | 61 | - | 608k| 0 | 20 | 120 | 7 | 120 | 28 | 23 | 0 | 0 | 0.000000e+00 | 1.345000e+03 | Inf
0.05/0.14 c 0.1s| 1 | 2 | 160 | - | 609k| 0 | 20 | 120 | 7 | 120 | 28 | 23 | 0 | 11 | 0.000000e+00 | 1.345000e+03 | Inf
0.05/0.18 o 907
0.05/0.18 c c 0.1s| 36 | 37 | 371 | 8.9 | 642k| 35 | - | 120 | 7 | 120 | 20 | 23 | 0 | 178 | 0.000000e+00 | 9.070000e+02 | Inf
0.05/0.19 o 728
0.05/0.19 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.16/0.21 o 96
0.16/0.21 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.16/0.21 o 94
0.16/0.21 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.16/0.25 o 92
0.16/0.25 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.16/0.27 o 90
0.16/0.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.16/0.27 c * 0.2s| 267 | 214 | 1417 | 5.1 | 779k| 39 | - | 120 | 11 | 120 | 20 | 23 | 20 | 455 | 0.000000e+00 | 9.000000e+01 | Inf
0.16/0.27 o 88
0.16/0.27 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.16/0.27 o 86
0.16/0.27 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.16/0.27 o 84
0.16/0.27 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.16/0.28 o 83
0.16/0.28 c * 0.2s| 312 | 244 | 1558 | 4.8 | 805k| 39 | - | 120 | 12 | 120 | 20 | 23 | 22 | 475 | 0.000000e+00 | 8.300000e+01 | Inf
0.16/0.28 o 81
0.16/0.28 c * 0.2s| 313 | 239 | 1558 | 4.8 | 800k| 39 | - | 120 | 12 | 120 | 20 | 23 | 22 | 475 | 0.000000e+00 | 8.100000e+01 | Inf
0.26/0.30 o 79
0.26/0.30 c * 0.3s| 360 | 278 | 1781 | 4.8 | 821k| 39 | - | 120 | 12 | 120 | 20 | 23 | 26 | 492 | 0.000000e+00 | 7.900000e+01 | Inf
0.26/0.30 o 77
0.26/0.30 c * 0.3s| 361 | 273 | 1781 | 4.8 | 818k| 39 | - | 120 | 12 | 120 | 20 | 23 | 26 | 492 | 0.000000e+00 | 7.700000e+01 | Inf
0.26/0.30 o 73
0.26/0.30 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.26/0.32 o 72
0.26/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.26/0.33 o 69
0.26/0.33 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.26/0.33 o 21
0.26/0.33 c s 0.3s| 484 | 292 | 2386 | 4.8 | 822k| 39 | 5 | 120 | 13 | 120 | 20 | 23 | 31 | 513 | 0.000000e+00 | 2.100000e+01 | Inf
0.26/0.33 o 20
0.26/0.33 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.35/1.40 o 19
1.35/1.40 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.35/1.40 o 17
1.35/1.40 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.46/1.51 o 15
1.46/1.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.46/1.51 c * 1.5s| 4976 | 3654 | 24289 | 4.9 |2404k| 39 | - | 120 | 116 | 120 | 20 | 23 | 781 | 614 | 0.000000e+00 | 1.500000e+01 | Inf
2.55/2.67 o 14
2.55/2.67 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.75/2.89 c 2.8s| 10000 | 6886 | 49415 | 4.9 |3881k| 39 | 5 | 120 | 184 | 120 | 20 | 23 |1723 | 736 | 0.000000e+00 | 1.400000e+01 | Inf
4.16/4.26 o 13
4.16/4.26 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.16/4.26 o 11
4.16/4.26 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.25/5.35 c 5.3s| 20000 | 11535 | 86696 | 4.3 |6153k| 39 | - | 120 | 215 | 0 | 0 | 23 |3122 |1025 | 0.000000e+00 | 1.100000e+01 | Inf
5.96/6.07 o 9
5.96/6.07 c * 6.0s| 24098 | 12919 |101039 | 4.2 |6777k| 39 | - | 120 | 234 | 120 | 20 | 23 |3633 |1148 | 0.000000e+00 | 9.000000e+00 | Inf
6.06/6.14 o 8
6.06/6.14 c * 6.1s| 24454 | 12738 |102209 | 4.2 |6603k| 39 | - | 120 | 230 | 120 | 20 | 23 |3672 |1169 | 0.000000e+00 | 8.000000e+00 | Inf
6.06/6.14 o 6
6.06/6.14 c * 6.1s| 24455 | 12446 |102209 | 4.2 |6309k| 39 | - | 120 | 230 | 120 | 20 | 23 |3672 |1169 | 0.000000e+00 | 6.000000e+00 | Inf
6.95/7.06 c 7.0s| 30000 | 14005 |119930 | 4.0 |7091k| 39 | 5 | 120 | 248 | 120 | 20 | 23 |4237 |1371 | 0.000000e+00 | 6.000000e+00 | Inf
8.46/8.54 c 8.5s| 40000 | 15780 |148504 | 3.7 |8137k| 39 | 5 | 120 | 314 | 120 | 20 | 23 |5291 |1621 | 0.000000e+00 | 6.000000e+00 | Inf
10.06/10.18 c 10.1s| 50000 | 16505 |177275 | 3.5 |8774k| 39 | 5 | 120 | 408 | 120 | 20 | 23 |6365 |1867 | 0.000000e+00 | 6.000000e+00 | Inf
11.56/11.64 c 11.6s| 60000 | 16722 |206180 | 3.4 |9113k| 39 | - | 120 | 452 | 0 | 0 | 23 |7604 |2066 | 0.000000e+00 | 6.000000e+00 | Inf
12.95/13.05 c 13.0s| 70000 | 16907 |235042 | 3.4 |9403k| 39 | 5 | 120 | 489 | 120 | 20 | 23 |8816 |2240 | 0.000000e+00 | 6.000000e+00 | Inf
14.36/14.48 c 14.4s| 80000 | 17165 |264484 | 3.3 |9696k| 39 | - | 120 | 485 | 120 | 20 | 23 |9944 |2447 | 0.000000e+00 | 6.000000e+00 | Inf
15.85/15.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
15.85/15.91 c 15.9s| 90000 | 16978 |292167 | 3.2 |9677k| 39 | 5 | 120 | 443 | 120 | 20 | 23 | 11k|2720 | 0.000000e+00 | 6.000000e+00 | Inf
17.26/17.31 c 17.3s|100000 | 17193 |321001 | 3.2 |9940k| 39 | - | 120 | 395 | 0 | 0 | 23 | 12k|2955 | 0.000000e+00 | 6.000000e+00 | Inf
18.56/18.69 c 18.7s|110000 | 17553 |349196 | 3.2 | 10M| 39 | 5 | 120 | 433 | 120 | 20 | 23 | 13k|3132 | 0.000000e+00 | 6.000000e+00 | Inf
19.96/20.06 c 20.0s|120000 | 17412 |377093 | 3.1 | 10M| 39 | - | 120 | 368 | 120 | 20 | 23 | 14k|3278 | 0.000000e+00 | 6.000000e+00 | Inf
21.35/21.43 c 21.4s|130000 | 17344 |405461 | 3.1 | 10M| 39 | 5 | 120 | 303 | 120 | 20 | 23 | 15k|3410 | 0.000000e+00 | 6.000000e+00 | Inf
22.75/22.87 c 22.8s|140000 | 18124 |435017 | 3.1 | 10M| 39 | 5 | 120 | 224 | 120 | 20 | 23 | 16k|3530 | 0.000000e+00 | 6.000000e+00 | Inf
24.17/24.25 c 24.2s|150000 | 19129 |464253 | 3.1 | 11M| 39 | 5 | 120 | 147 | 120 | 20 | 23 | 17k|3656 | 0.000000e+00 | 6.000000e+00 | Inf
25.55/25.61 c 25.6s|160000 | 19529 |493346 | 3.1 | 11M| 39 | 5 | 120 | 136 | 120 | 20 | 23 | 19k|3786 | 0.000000e+00 | 6.000000e+00 | Inf
26.85/26.98 c 26.9s|170000 | 19814 |522186 | 3.1 | 12M| 39 | - | 120 | 166 | 120 | 20 | 23 | 20k|3922 | 0.000000e+00 | 6.000000e+00 | Inf
28.26/28.35 c 28.3s|180000 | 20552 |551203 | 3.1 | 12M| 39 | - | 120 | 174 | 120 | 20 | 23 | 21k|4030 | 0.000000e+00 | 6.000000e+00 | Inf
29.67/29.71 c 29.7s|190000 | 21584 |580280 | 3.1 | 13M| 39 | - | 120 | 110 | 120 | 20 | 23 | 22k|4166 | 0.000000e+00 | 6.000000e+00 | Inf
30.96/31.04 c 31.0s|200000 | 22196 |609297 | 3.0 | 13M| 39 | 5 | 120 | 95 | 120 | 20 | 23 | 24k|4303 | 0.000000e+00 | 6.000000e+00 | Inf
32.36/32.40 c 32.4s|210000 | 22830 |637704 | 3.0 | 14M| 39 | - | 120 | 104 | 120 | 20 | 23 | 25k|4458 | 0.000000e+00 | 6.000000e+00 | Inf
33.66/33.75 c 33.7s|220000 | 23013 |665684 | 3.0 | 14M| 39 | 5 | 120 | 120 | 120 | 20 | 23 | 26k|4607 | 0.000000e+00 | 6.000000e+00 | Inf
34.95/35.08 c 35.0s|230000 | 22810 |693388 | 3.0 | 14M| 39 | - | 120 | 114 | 120 | 20 | 23 | 27k|4738 | 0.000000e+00 | 6.000000e+00 | Inf
36.36/36.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
36.36/36.43 c 36.4s|240000 | 22853 |722090 | 3.0 | 15M| 39 | - | 120 | 139 | 120 | 20 | 23 | 28k|4885 | 0.000000e+00 | 6.000000e+00 | Inf
37.66/37.77 c 37.7s|250000 | 22586 |749949 | 3.0 | 15M| 39 | - | 120 | 139 | 120 | 20 | 23 | 30k|4995 | 0.000000e+00 | 6.000000e+00 | Inf
39.05/39.10 c 39.1s|260000 | 22555 |777530 | 3.0 | 15M| 39 | - | 120 | 155 | 120 | 20 | 23 | 31k|5125 | 0.000000e+00 | 6.000000e+00 | Inf
40.36/40.43 c 40.4s|270000 | 22380 |804862 | 3.0 | 15M| 39 | - | 120 | 165 | 120 | 20 | 23 | 32k|5227 | 0.000000e+00 | 6.000000e+00 | Inf
41.66/41.76 c 41.7s|280000 | 22205 |832823 | 3.0 | 15M| 39 | 5 | 120 | 166 | 120 | 20 | 23 | 33k|5344 | 0.000000e+00 | 6.000000e+00 | Inf
43.06/43.10 c 43.1s|290000 | 22173 |859914 | 3.0 | 15M| 39 | 5 | 120 | 166 | 120 | 20 | 23 | 35k|5439 | 0.000000e+00 | 6.000000e+00 | Inf
44.36/44.48 c 44.4s|300000 | 23187 |890531 | 3.0 | 16M| 39 | - | 120 | 136 | 120 | 20 | 23 | 36k|5566 | 0.000000e+00 | 6.000000e+00 | Inf
45.75/45.86 c 45.8s|310000 | 24761 |919766 | 3.0 | 17M| 39 | - | 120 | 130 | 120 | 20 | 23 | 37k|5676 | 0.000000e+00 | 6.000000e+00 | Inf
47.16/47.25 c 47.2s|320000 | 26598 |950187 | 3.0 | 18M| 39 | 5 | 120 | 135 | 120 | 20 | 23 | 38k|5757 | 0.000000e+00 | 6.000000e+00 | Inf
48.55/48.60 c 48.6s|330000 | 28219 |978187 | 3.0 | 19M| 39 | 5 | 120 | 137 | 120 | 20 | 23 | 39k|5860 | 0.000000e+00 | 6.000000e+00 | Inf
49.86/49.92 c 49.9s|340000 | 29272 | 1005k| 3.0 | 20M| 39 | - | 120 | 137 | 120 | 20 | 23 | 40k|5947 | 0.000000e+00 | 6.000000e+00 | Inf
51.16/51.27 c 51.2s|350000 | 30299 | 1034k| 3.0 | 20M| 39 | 5 | 120 | 146 | 120 | 20 | 23 | 42k|6031 | 0.000000e+00 | 6.000000e+00 | Inf
52.55/52.60 c 52.6s|360000 | 30764 | 1061k| 2.9 | 21M| 39 | - | 120 | 143 | 0 | 0 | 23 | 43k|6132 | 0.000000e+00 | 6.000000e+00 | Inf
53.77/53.91 c 53.9s|370000 | 31400 | 1088k| 2.9 | 21M| 39 | 5 | 120 | 97 | 120 | 20 | 23 | 44k|6222 | 0.000000e+00 | 6.000000e+00 | Inf
55.16/55.24 c 55.2s|380000 | 31933 | 1116k| 2.9 | 22M| 39 | 5 | 120 | 114 | 120 | 20 | 23 | 45k|6319 | 0.000000e+00 | 6.000000e+00 | Inf
56.46/56.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
56.46/56.59 c 56.6s|390000 | 32504 | 1144k| 2.9 | 22M| 39 | - | 120 | 108 | 120 | 20 | 23 | 46k|6420 | 0.000000e+00 | 6.000000e+00 | Inf
57.85/57.91 c 57.9s|400000 | 33076 | 1173k| 2.9 | 23M| 39 | - | 120 | 113 | 120 | 20 | 23 | 47k|6503 | 0.000000e+00 | 6.000000e+00 | Inf
59.15/59.22 c 59.2s|410000 | 33389 | 1200k| 2.9 | 23M| 39 | - | 120 | 120 | 0 | 0 | 23 | 49k|6585 | 0.000000e+00 | 6.000000e+00 | Inf
60.48/60.51 c 60.5s|420000 | 33596 | 1227k| 2.9 | 23M| 39 | - | 120 | 119 | 120 | 20 | 23 | 50k|6666 | 0.000000e+00 | 6.000000e+00 | Inf
61.76/61.82 c 61.8s|430000 | 33787 | 1253k| 2.9 | 24M| 39 | - | 120 | 128 | 120 | 20 | 23 | 51k|6764 | 0.000000e+00 | 6.000000e+00 | Inf
63.05/63.11 c 63.1s|440000 | 34132 | 1280k| 2.9 | 24M| 39 | - | 120 | 154 | 120 | 20 | 23 | 52k|6849 | 0.000000e+00 | 6.000000e+00 | Inf
64.36/64.46 c 64.4s|450000 | 34806 | 1308k| 2.9 | 25M| 39 | 5 | 120 | 156 | 120 | 20 | 23 | 53k|6940 | 0.000000e+00 | 6.000000e+00 | Inf
65.76/65.83 c 65.8s|460000 | 35391 | 1336k| 2.9 | 25M| 39 | 5 | 120 | 148 | 120 | 20 | 23 | 55k|7020 | 0.000000e+00 | 6.000000e+00 | Inf
67.08/67.15 c 67.1s|470000 | 36311 | 1365k| 2.9 | 26M| 39 | - | 120 | 134 | 120 | 20 | 23 | 56k|7086 | 0.000000e+00 | 6.000000e+00 | Inf
68.36/68.46 c 68.4s|480000 | 36567 | 1393k| 2.9 | 26M| 39 | 5 | 120 | 156 | 120 | 20 | 23 | 57k|7158 | 0.000000e+00 | 6.000000e+00 | Inf
69.66/69.77 c 69.7s|490000 | 37206 | 1421k| 2.9 | 27M| 39 | - | 120 | 177 | 120 | 20 | 23 | 58k|7234 | 0.000000e+00 | 6.000000e+00 | Inf
70.95/71.05 c 71.0s|500000 | 37385 | 1449k| 2.9 | 27M| 39 | 5 | 120 | 160 | 120 | 20 | 23 | 59k|7307 | 0.000000e+00 | 6.000000e+00 | Inf
72.25/72.33 c 72.3s|510000 | 37537 | 1475k| 2.9 | 27M| 39 | - | 120 | 133 | 120 | 20 | 23 | 60k|7394 | 0.000000e+00 | 6.000000e+00 | Inf
73.57/73.63 c 73.6s|520000 | 37724 | 1503k| 2.9 | 27M| 39 | - | 120 | 176 | 120 | 20 | 23 | 62k|7462 | 0.000000e+00 | 6.000000e+00 | Inf
74.86/74.97 c 74.9s|530000 | 38472 | 1529k| 2.9 | 28M| 39 | 5 | 120 | 193 | 120 | 20 | 23 | 63k|7564 | 0.000000e+00 | 6.000000e+00 | Inf
76.15/76.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
76.15/76.27 c 76.2s|540000 | 38810 | 1555k| 2.9 | 28M| 39 | - | 120 | 177 | 120 | 20 | 23 | 64k|7646 | 0.000000e+00 | 6.000000e+00 | Inf
77.46/77.56 c 77.5s|550000 | 39095 | 1581k| 2.9 | 29M| 39 | 5 | 120 | 176 | 120 | 20 | 23 | 66k|7716 | 0.000000e+00 | 6.000000e+00 | Inf
78.76/78.87 c 78.8s|560000 | 39074 | 1608k| 2.9 | 29M| 39 | 5 | 120 | 180 | 120 | 20 | 23 | 67k|7775 | 0.000000e+00 | 6.000000e+00 | Inf
80.05/80.17 c 80.1s|570000 | 40004 | 1636k| 2.9 | 29M| 39 | - | 120 | 217 | 120 | 20 | 23 | 68k|7834 | 0.000000e+00 | 6.000000e+00 | Inf
81.37/81.48 c 81.4s|580000 | 40362 | 1664k| 2.9 | 30M| 39 | 5 | 120 | 190 | 120 | 20 | 23 | 69k|7900 | 0.000000e+00 | 6.000000e+00 | Inf
82.66/82.78 c 82.7s|590000 | 40468 | 1691k| 2.9 | 30M| 39 | 5 | 120 | 216 | 120 | 20 | 23 | 70k|7958 | 0.000000e+00 | 6.000000e+00 | Inf
83.95/84.09 c 84.1s|600000 | 40042 | 1717k| 2.9 | 30M| 39 | - | 120 | 160 | 120 | 20 | 23 | 71k|8025 | 0.000000e+00 | 6.000000e+00 | Inf
85.36/85.41 c 85.4s|610000 | 39946 | 1744k| 2.9 | 30M| 39 | - | 120 | 157 | 120 | 20 | 23 | 73k|8101 | 0.000000e+00 | 6.000000e+00 | Inf
86.66/86.70 c 86.7s|620000 | 40273 | 1771k| 2.9 | 30M| 39 | - | 120 | 177 | 120 | 20 | 23 | 74k|8162 | 0.000000e+00 | 6.000000e+00 | Inf
87.87/87.99 c 88.0s|630000 | 39944 | 1799k| 2.9 | 30M| 39 | - | 120 | 154 | 120 | 20 | 23 | 75k|8242 | 0.000000e+00 | 6.000000e+00 | Inf
89.16/89.28 c 89.2s|640000 | 39760 | 1825k| 2.9 | 30M| 39 | - | 120 | 171 | 120 | 20 | 23 | 76k|8318 | 0.000000e+00 | 6.000000e+00 | Inf
90.46/90.58 c 90.5s|650000 | 39494 | 1853k| 2.9 | 30M| 39 | 5 | 120 | 174 | 120 | 20 | 23 | 77k|8384 | 0.000000e+00 | 6.000000e+00 | Inf
91.76/91.89 c 91.9s|660000 | 39503 | 1880k| 2.8 | 31M| 39 | 5 | 120 | 199 | 120 | 20 | 23 | 79k|8443 | 0.000000e+00 | 6.000000e+00 | Inf
93.06/93.18 c 93.1s|670000 | 39692 | 1908k| 2.8 | 31M| 39 | - | 120 | 210 | 120 | 20 | 23 | 80k|8516 | 0.000000e+00 | 6.000000e+00 | Inf
94.36/94.45 c 94.4s|680000 | 39463 | 1934k| 2.8 | 31M| 39 | 5 | 120 | 198 | 120 | 20 | 23 | 81k|8585 | 0.000000e+00 | 6.000000e+00 | Inf
95.68/95.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
95.68/95.75 c 95.7s|690000 | 39493 | 1961k| 2.8 | 31M| 39 | 5 | 120 | 173 | 120 | 20 | 23 | 82k|8642 | 0.000000e+00 | 6.000000e+00 | Inf
96.96/97.08 c 97.0s|700000 | 40028 | 1990k| 2.8 | 31M| 39 | - | 120 | 166 | 120 | 20 | 23 | 83k|8711 | 0.000000e+00 | 6.000000e+00 | Inf
98.26/98.37 c 98.3s|710000 | 40394 | 2018k| 2.8 | 32M| 39 | - | 120 | 189 | 120 | 20 | 23 | 84k|8773 | 0.000000e+00 | 6.000000e+00 | Inf
99.56/99.65 c 99.6s|720000 | 40164 | 2046k| 2.8 | 32M| 39 | 5 | 120 | 181 | 120 | 20 | 23 | 85k|8842 | 0.000000e+00 | 6.000000e+00 | Inf
100.86/100.95 c 101s|730000 | 40883 | 2073k| 2.8 | 32M| 39 | 5 | 120 | 202 | 120 | 20 | 23 | 86k|8881 | 0.000000e+00 | 6.000000e+00 | Inf
102.17/102.23 c 102s|740000 | 40865 | 2099k| 2.8 | 33M| 39 | - | 120 | 187 | 0 | 0 | 23 | 87k|8944 | 0.000000e+00 | 6.000000e+00 | Inf
103.46/103.51 c 103s|750000 | 40440 | 2125k| 2.8 | 32M| 39 | - | 120 | 177 | 120 | 20 | 23 | 89k|9012 | 0.000000e+00 | 6.000000e+00 | Inf
104.76/104.82 c 105s|760000 | 40220 | 2152k| 2.8 | 32M| 39 | 5 | 120 | 201 | 120 | 20 | 23 | 90k|9061 | 0.000000e+00 | 6.000000e+00 | Inf
106.06/106.12 c 106s|770000 | 39868 | 2178k| 2.8 | 32M| 39 | 5 | 120 | 178 | 120 | 20 | 23 | 91k|9126 | 0.000000e+00 | 6.000000e+00 | Inf
107.06/107.15 o 4
107.06/107.15 c * 107s|777635 | 38924 | 2200k| 2.8 | 30M| 39 | - | 120 | 211 | 120 | 20 | 23 | 92k|9168 | 0.000000e+00 | 4.000000e+00 | Inf
107.06/107.16 o 2
107.06/107.16 c * 107s|777636 | 36061 | 2200k| 2.8 | 25M| 39 | - | 120 | 211 | 120 | 20 | 23 | 92k|9168 | 0.000000e+00 | 2.000000e+00 | Inf
107.36/107.45 c 107s|780000 | 36013 | 2206k| 2.8 | 25M| 39 | 5 | 120 | 196 | 120 | 20 | 23 | 92k|9172 | 0.000000e+00 | 2.000000e+00 | Inf
108.46/108.58 c 109s|790000 | 35711 | 2230k| 2.8 | 25M| 39 | - | 120 | 160 | 120 | 20 | 23 | 93k|9200 | 0.000000e+00 | 2.000000e+00 | Inf
109.66/109.72 c 110s|800000 | 35814 | 2255k| 2.8 | 25M| 39 | - | 120 | 139 | 120 | 20 | 23 | 94k|9253 | 0.000000e+00 | 2.000000e+00 | Inf
110.76/110.85 c 111s|810000 | 36083 | 2281k| 2.8 | 26M| 39 | - | 120 | 164 | 120 | 20 | 23 | 94k|9326 | 0.000000e+00 | 2.000000e+00 | Inf
111.86/111.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
111.86/111.97 c 112s|820000 | 35463 | 2307k| 2.8 | 25M| 39 | 5 | 120 | 119 | 120 | 20 | 23 | 95k|9394 | 0.000000e+00 | 2.000000e+00 | Inf
113.05/113.12 c 113s|830000 | 35108 | 2332k| 2.8 | 25M| 39 | 5 | 120 | 102 | 120 | 20 | 23 | 96k|9469 | 0.000000e+00 | 2.000000e+00 | Inf
114.16/114.25 c 114s|840000 | 34643 | 2357k| 2.8 | 25M| 39 | 5 | 120 | 131 | 120 | 20 | 23 | 97k|9520 | 0.000000e+00 | 2.000000e+00 | Inf
115.26/115.38 c 115s|850000 | 34487 | 2383k| 2.8 | 25M| 39 | 5 | 120 | 146 | 120 | 20 | 23 | 97k|9581 | 0.000000e+00 | 2.000000e+00 | Inf
116.36/116.51 c 116s|860000 | 34098 | 2408k| 2.8 | 25M| 39 | 5 | 120 | 119 | 120 | 20 | 23 | 98k|9672 | 0.000000e+00 | 2.000000e+00 | Inf
117.57/117.61 c 118s|870000 | 33971 | 2433k| 2.8 | 25M| 39 | - | 120 | 131 | 120 | 20 | 23 | 99k|9719 | 0.000000e+00 | 2.000000e+00 | Inf
118.67/118.75 c 119s|880000 | 33433 | 2458k| 2.8 | 24M| 39 | 5 | 120 | 153 | 120 | 20 | 23 | 100k|9770 | 0.000000e+00 | 2.000000e+00 | Inf
119.77/119.87 c 120s|890000 | 33112 | 2484k| 2.8 | 24M| 39 | - | 120 | 160 | 120 | 20 | 23 | 100k|9826 | 0.000000e+00 | 2.000000e+00 | Inf
120.87/121.00 c 121s|900000 | 32700 | 2510k| 2.8 | 24M| 39 | - | 120 | 139 | 120 | 20 | 23 | 101k|9899 | 0.000000e+00 | 2.000000e+00 | Inf
121.97/122.11 c 122s|910000 | 33096 | 2536k| 2.8 | 24M| 39 | 5 | 120 | 196 | 120 | 20 | 23 | 102k|9935 | 0.000000e+00 | 2.000000e+00 | Inf
123.07/123.20 c 123s|920000 | 32953 | 2562k| 2.8 | 24M| 39 | 5 | 120 | 173 | 120 | 20 | 23 | 103k|9969 | 0.000000e+00 | 2.000000e+00 | Inf
124.17/124.30 c 124s|930000 | 32441 | 2587k| 2.8 | 24M| 39 | 5 | 120 | 139 | 120 | 20 | 23 | 103k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
125.37/125.43 c 125s|940000 | 31907 | 2611k| 2.8 | 23M| 39 | 5 | 120 | 169 | 120 | 20 | 23 | 104k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
126.47/126.53 c 126s|950000 | 31780 | 2636k| 2.8 | 23M| 39 | - | 120 | 197 | 120 | 20 | 23 | 105k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
127.66/127.71 c 128s|960000 | 32201 | 2663k| 2.8 | 24M| 39 | - | 120 | 218 | 120 | 20 | 23 | 106k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
128.76/128.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
128.76/128.83 c 129s|970000 | 32713 | 2691k| 2.8 | 24M| 39 | 5 | 120 | 197 | 120 | 20 | 23 | 106k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
129.86/129.93 c 130s|980000 | 32809 | 2717k| 2.8 | 24M| 39 | - | 120 | 210 | 120 | 20 | 23 | 107k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
130.96/131.07 c 131s|990000 | 33210 | 2742k| 2.8 | 24M| 39 | 5 | 120 | 247 | 120 | 20 | 23 | 107k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
132.06/132.18 c 132s| 1000k| 33012 | 2768k| 2.8 | 24M| 39 | 5 | 120 | 208 | 120 | 20 | 23 | 108k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
133.16/133.28 c 133s| 1010k| 32695 | 2793k| 2.8 | 24M| 39 | - | 120 | 214 | 120 | 20 | 23 | 109k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
134.26/134.38 c 134s| 1020k| 32157 | 2818k| 2.8 | 24M| 39 | 5 | 120 | 226 | 120 | 20 | 23 | 110k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
135.36/135.47 c 135s| 1030k| 31691 | 2841k| 2.8 | 23M| 39 | - | 120 | 233 | 120 | 20 | 23 | 110k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
136.56/136.62 c 137s| 1040k| 32354 | 2867k| 2.8 | 24M| 39 | - | 120 | 330 | 120 | 20 | 23 | 111k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
137.66/137.74 c 138s| 1050k| 32109 | 2891k| 2.8 | 24M| 39 | - | 120 | 383 | 120 | 20 | 23 | 112k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
138.76/138.87 c 139s| 1060k| 31908 | 2914k| 2.7 | 24M| 39 | 5 | 120 | 387 | 120 | 20 | 23 | 113k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
139.96/140.00 c 140s| 1070k| 30881 | 2938k| 2.7 | 23M| 39 | - | 120 | 145 | 120 | 20 | 23 | 114k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
141.06/141.13 c 141s| 1080k| 31283 | 2964k| 2.7 | 23M| 39 | 5 | 120 | 238 | 120 | 20 | 23 | 114k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
142.16/142.26 c 142s| 1090k| 31976 | 2989k| 2.7 | 23M| 39 | 5 | 120 | 244 | 120 | 20 | 23 | 115k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
143.26/143.37 c 143s| 1100k| 32237 | 3012k| 2.7 | 24M| 39 | - | 120 | 304 | 120 | 20 | 23 | 116k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
144.36/144.48 c 144s| 1110k| 31813 | 3036k| 2.7 | 24M| 39 | - | 120 | 249 | 120 | 20 | 23 | 117k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
145.46/145.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
145.46/145.58 c 146s| 1120k| 30842 | 3059k| 2.7 | 23M| 39 | - | 120 | 282 | 0 | 0 | 23 | 117k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
146.66/146.70 c 147s| 1130k| 30987 | 3083k| 2.7 | 23M| 39 | - | 120 | 310 | 120 | 20 | 23 | 118k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
147.76/147.82 c 148s| 1140k| 30462 | 3107k| 2.7 | 23M| 39 | - | 120 | 180 | 120 | 20 | 23 | 119k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
148.86/148.96 c 149s| 1150k| 30908 | 3132k| 2.7 | 23M| 39 | - | 120 | 267 | 0 | 0 | 23 | 120k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
149.96/150.08 c 150s| 1160k| 31305 | 3156k| 2.7 | 23M| 39 | 5 | 120 | 262 | 120 | 20 | 23 | 121k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
151.16/151.20 c 151s| 1170k| 32010 | 3181k| 2.7 | 24M| 39 | 5 | 120 | 305 | 120 | 20 | 23 | 121k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
152.26/152.32 c 152s| 1180k| 32127 | 3207k| 2.7 | 24M| 39 | 5 | 120 | 350 | 120 | 20 | 23 | 122k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
153.36/153.44 c 153s| 1190k| 32054 | 3230k| 2.7 | 24M| 39 | - | 120 | 304 | 0 | 0 | 23 | 123k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
154.46/154.57 c 155s| 1200k| 32697 | 3254k| 2.7 | 24M| 39 | 5 | 120 | 317 | 120 | 20 | 23 | 124k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
155.66/155.70 c 156s| 1210k| 32637 | 3278k| 2.7 | 24M| 39 | - | 120 | 305 | 0 | 0 | 23 | 125k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
156.76/156.81 c 157s| 1220k| 32367 | 3302k| 2.7 | 24M| 39 | - | 120 | 317 | 120 | 20 | 23 | 125k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
157.86/157.94 c 158s| 1230k| 32232 | 3326k| 2.7 | 24M| 39 | - | 120 | 319 | 120 | 20 | 23 | 126k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
158.96/159.07 c 159s| 1240k| 31628 | 3350k| 2.7 | 24M| 39 | 5 | 120 | 284 | 120 | 20 | 23 | 127k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
159.16/159.24 o 1
159.16/159.24 c * 159s| 1241k| 31126 | 3354k| 2.7 | 23M| 39 | - | 120 | 298 | 120 | 20 | 23 | 127k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
161.16/161.30 c 161s| 1250k| 30145 | 3371k| 2.7 | 23M| 39 | - | 120 |2003 | 120 | 20 | 23 | 134k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
163.26/163.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
163.26/163.35 c 163s| 1260k| 29127 | 3391k| 2.7 | 23M| 39 | - | 120 |2539 | 120 | 20 | 23 | 142k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
165.66/165.79 c 166s| 1270k| 29055 | 3414k| 2.7 | 23M| 39 | - | 120 |3798 | 120 | 20 | 23 | 150k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
167.76/167.89 c 168s| 1280k| 29399 | 3435k| 2.7 | 24M| 39 | - | 120 |4476 | 120 | 20 | 23 | 157k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
170.06/170.10 c 170s| 1290k| 29374 | 3455k| 2.7 | 25M| 39 | - | 120 |5260 | 120 | 20 | 23 | 166k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
172.36/172.49 c 172s| 1300k| 28924 | 3475k| 2.7 | 24M| 39 | 5 | 120 |5073 | 120 | 20 | 23 | 174k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
174.66/174.80 c 175s| 1310k| 28098 | 3495k| 2.7 | 23M| 39 | - | 120 |3677 | 120 | 20 | 23 | 182k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
176.86/176.92 c 177s| 1320k| 28142 | 3517k| 2.7 | 23M| 39 | 5 | 120 |4106 | 120 | 20 | 23 | 190k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
178.96/179.02 c 179s| 1330k| 28859 | 3539k| 2.7 | 24M| 39 | - | 120 |5725 | 0 | 0 | 23 | 197k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
181.16/181.29 c 181s| 1340k| 29661 | 3560k| 2.7 | 26M| 39 | 5 | 120 |6730 | 120 | 20 | 23 | 204k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
183.76/183.83 c 184s| 1350k| 29788 | 3580k| 2.7 | 26M| 39 | 5 | 120 |5737 | 120 | 20 | 23 | 212k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
186.16/186.26 c 186s| 1360k| 29826 | 3600k| 2.6 | 27M| 39 | - | 120 |6230 | 120 | 20 | 23 | 220k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
188.46/188.58 c 189s| 1370k| 30793 | 3621k| 2.6 | 28M| 39 | 5 | 120 |7609 | 120 | 20 | 23 | 226k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
191.06/191.19 c 191s| 1380k| 30896 | 3641k| 2.6 | 29M| 39 | - | 120 |7466 | 120 | 20 | 23 | 234k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
193.76/193.80 c 194s| 1390k| 30782 | 3660k| 2.6 | 29M| 39 | - | 120 |7552 | 120 | 20 | 23 | 241k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
196.36/196.41 c 196s| 1400k| 30765 | 3679k| 2.6 | 29M| 39 | - | 120 |7191 | 120 | 20 | 23 | 249k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
198.86/198.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
198.86/198.96 c 199s| 1410k| 30831 | 3698k| 2.6 | 30M| 39 | 5 | 120 |7985 | 120 | 20 | 23 | 256k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
201.76/201.80 c 202s| 1420k| 30238 | 3717k| 2.6 | 29M| 39 | 5 | 120 |7045 | 120 | 20 | 23 | 264k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
204.26/204.30 c 204s| 1430k| 30479 | 3737k| 2.6 | 30M| 39 | 5 | 120 |8770 | 120 | 20 | 23 | 272k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
206.87/206.90 c 207s| 1440k| 31456 | 3759k| 2.6 | 30M| 39 | 5 | 120 |8136 | 120 | 20 | 23 | 279k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
209.27/209.33 c 209s| 1450k| 33000 | 3781k| 2.6 | 32M| 39 | 5 | 120 |9357 | 120 | 20 | 23 | 285k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
211.86/211.95 c 212s| 1460k| 33681 | 3801k| 2.6 | 33M| 39 | 5 | 120 |8797 | 120 | 20 | 23 | 292k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
214.37/214.48 c 214s| 1470k| 34612 | 3822k| 2.6 | 34M| 39 | - | 120 |9422 | 120 | 20 | 23 | 299k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
217.06/217.19 c 217s| 1480k| 34927 | 3842k| 2.6 | 35M| 39 | - | 120 |8735 | 120 | 20 | 23 | 306k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
219.76/219.90 c 220s| 1490k| 35185 | 3861k| 2.6 | 35M| 39 | - | 120 |9301 | 120 | 20 | 23 | 314k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
222.56/222.68 c 223s| 1500k| 35210 | 3881k| 2.6 | 36M| 39 | - | 120 |9296 | 0 | 0 | 23 | 321k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
225.48/225.58 c 226s| 1510k| 34920 | 3900k| 2.6 | 36M| 39 | 5 | 120 |9452 | 120 | 20 | 23 | 329k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
228.46/228.59 c 229s| 1520k| 34634 | 3919k| 2.6 | 36M| 39 | 5 | 120 |9529 | 120 | 20 | 23 | 337k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
231.46/231.57 c 232s| 1530k| 34362 | 3939k| 2.6 | 36M| 39 | 5 | 120 |9661 | 120 | 20 | 23 | 345k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
234.18/234.25 c 234s| 1540k| 34934 | 3958k| 2.6 | 37M| 39 | - | 120 | 10k| 0 | 0 | 23 | 352k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
237.26/237.33 c 237s| 1550k| 34424 | 3977k| 2.6 | 37M| 39 | 5 | 120 | 10k| 120 | 20 | 23 | 360k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
240.36/240.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
240.36/240.49 c 240s| 1560k| 33862 | 3997k| 2.6 | 36M| 39 | - | 120 |9809 | 0 | 0 | 23 | 368k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
243.47/243.59 c 244s| 1570k| 33336 | 4016k| 2.6 | 36M| 39 | - | 120 |9919 | 120 | 20 | 23 | 375k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
246.67/246.72 c 247s| 1580k| 32801 | 4035k| 2.6 | 35M| 39 | 5 | 120 | 10k| 120 | 20 | 23 | 383k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
249.68/249.75 c 250s| 1590k| 32492 | 4054k| 2.6 | 35M| 39 | 5 | 120 | 10k| 120 | 20 | 23 | 391k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
252.98/253.02 c 253s| 1600k| 31834 | 4073k| 2.5 | 34M| 39 | - | 120 | 10k| 120 | 20 | 23 | 399k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
256.36/256.43 c 256s| 1610k| 30937 | 4093k| 2.5 | 32M| 39 | - | 120 |9855 | 0 | 0 | 23 | 408k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
259.86/259.90 c 260s| 1620k| 30234 | 4113k| 2.5 | 31M| 39 | - | 120 |9649 | 120 | 20 | 23 | 416k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
262.36/262.49 c 262s| 1630k| 30128 | 4132k| 2.5 | 31M| 39 | - | 120 | 10k| 120 | 20 | 23 | 423k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
265.96/266.00 c 266s| 1640k| 29083 | 4151k| 2.5 | 29M| 39 | 5 | 120 |9669 | 120 | 20 | 23 | 432k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
269.87/269.97 c 270s| 1650k| 27467 | 4171k| 2.5 | 25M| 39 | - | 120 |8381 | 120 | 20 | 23 | 441k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
272.36/272.46 c 272s| 1660k| 27106 | 4191k| 2.5 | 23M| 39 | - | 120 |4826 | 120 | 20 | 23 | 449k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
274.77/274.86 c 275s| 1670k| 26378 | 4211k| 2.5 | 23M| 39 | - | 120 |4280 | 120 | 20 | 23 | 457k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
277.17/277.27 c 277s| 1680k| 25692 | 4232k| 2.5 | 22M| 39 | 5 | 120 |3924 | 120 | 20 | 23 | 465k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
279.38/279.49 c 279s| 1690k| 25230 | 4251k| 2.5 | 22M| 39 | - | 120 |5418 | 120 | 20 | 23 | 473k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
281.76/281.83 c 282s| 1700k| 24780 | 4272k| 2.5 | 21M| 39 | 5 | 120 |4386 | 120 | 20 | 23 | 481k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
284.06/284.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
284.06/284.19 c 284s| 1710k| 24100 | 4293k| 2.5 | 21M| 39 | - | 120 |3853 | 0 | 0 | 23 | 489k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
286.36/286.49 c 286s| 1720k| 23504 | 4314k| 2.5 | 20M| 39 | 5 | 120 |3971 | 120 | 20 | 23 | 497k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
288.86/288.94 c 289s| 1730k| 22504 | 4335k| 2.5 | 19M| 39 | 5 | 120 |3274 | 120 | 20 | 23 | 506k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
290.86/290.99 c 291s| 1740k| 23305 | 4356k| 2.5 | 20M| 39 | 5 | 120 |5617 | 120 | 20 | 23 | 512k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
293.26/293.30 c 293s| 1750k| 23404 | 4376k| 2.5 | 21M| 39 | - | 120 |5524 | 120 | 20 | 23 | 520k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
295.67/295.74 c 296s| 1760k| 23162 | 4396k| 2.5 | 21M| 39 | 5 | 120 |5700 | 120 | 20 | 23 | 528k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
298.16/298.20 c 298s| 1770k| 22696 | 4416k| 2.5 | 20M| 39 | 5 | 120 |5995 | 120 | 20 | 23 | 536k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
300.46/300.58 c 301s| 1780k| 22887 | 4438k| 2.5 | 21M| 39 | 5 | 120 |7308 | 120 | 20 | 23 | 543k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
303.17/303.30 c 303s| 1790k| 22327 | 4458k| 2.5 | 20M| 39 | - | 120 |6617 | 120 | 20 | 23 | 551k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
305.57/305.69 c 306s| 1800k| 21938 | 4479k| 2.5 | 19M| 39 | - | 120 |4220 | 120 | 20 | 23 | 559k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
307.88/307.98 c 308s| 1810k| 21401 | 4499k| 2.5 | 18M| 39 | - | 120 |3426 | 120 | 20 | 23 | 567k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
310.26/310.31 c 310s| 1820k| 20612 | 4520k| 2.5 | 17M| 39 | 5 | 120 |3440 | 120 | 20 | 23 | 575k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
312.46/312.51 c 312s| 1830k| 20715 | 4540k| 2.5 | 18M| 39 | - | 120 |5598 | 0 | 0 | 23 | 583k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
314.86/314.97 c 315s| 1840k| 20223 | 4561k| 2.5 | 18M| 39 | - | 120 |5639 | 120 | 20 | 23 | 591k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
317.37/317.47 c 317s| 1850k| 19566 | 4581k| 2.5 | 17M| 39 | 5 | 120 |4366 | 120 | 20 | 23 | 599k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
319.67/319.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
319.67/319.78 c 320s| 1860k| 19208 | 4602k| 2.5 | 17M| 39 | 5 | 120 |5402 | 120 | 20 | 23 | 607k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
322.28/322.38 c 322s| 1870k| 18533 | 4623k| 2.5 | 16M| 39 | 5 | 120 |4971 | 120 | 20 | 23 | 615k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
324.56/324.66 c 325s| 1880k| 18761 | 4643k| 2.5 | 17M| 39 | - | 120 |7579 | 120 | 20 | 23 | 623k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
327.26/327.34 c 327s| 1890k| 18177 | 4664k| 2.5 | 16M| 39 | 5 | 120 |6686 | 120 | 20 | 23 | 632k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
329.87/329.98 c 330s| 1900k| 18008 | 4685k| 2.5 | 16M| 39 | 5 | 120 |6771 | 120 | 20 | 23 | 640k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
332.36/332.49 c 332s| 1910k| 17687 | 4705k| 2.5 | 15M| 39 | - | 120 |5458 | 120 | 20 | 23 | 648k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
334.67/334.79 c 335s| 1920k| 17873 | 4724k| 2.5 | 16M| 39 | - | 120 |7105 | 120 | 20 | 23 | 655k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
337.36/337.43 c 337s| 1930k| 17512 | 4743k| 2.5 | 16M| 39 | - | 120 |7329 | 0 | 0 | 23 | 663k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
339.88/339.99 c 340s| 1940k| 17145 | 4765k| 2.5 | 15M| 39 | 5 | 120 |6407 | 120 | 20 | 23 | 671k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
342.46/342.51 c 342s| 1950k| 16910 | 4785k| 2.5 | 15M| 39 | 5 | 120 |8122 | 120 | 20 | 23 | 679k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
345.27/345.40 c 345s| 1960k| 15976 | 4805k| 2.5 | 13M| 39 | 5 | 120 |3954 | 120 | 20 | 23 | 688k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
347.77/347.85 c 348s| 1970k| 15542 | 4826k| 2.4 | 12M| 39 | - | 120 |4997 | 120 | 20 | 23 | 696k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
350.26/350.33 c 350s| 1980k| 15032 | 4845k| 2.4 | 12M| 39 | - | 120 |6427 | 120 | 20 | 23 | 704k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
352.57/352.68 c 353s| 1990k| 15256 | 4866k| 2.4 | 13M| 39 | - | 120 |7794 | 120 | 20 | 23 | 711k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
355.06/355.18 c 355s| 2000k| 16113 | 4887k| 2.4 | 14M| 39 | 5 | 120 |8998 | 120 | 20 | 23 | 718k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
357.96/358.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
357.96/358.08 c 358s| 2010k| 15536 | 4906k| 2.4 | 14M| 39 | - | 120 |9297 | 120 | 20 | 23 | 726k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
360.87/360.91 c 361s| 2020k| 15254 | 4926k| 2.4 | 14M| 39 | - | 120 | 10k| 120 | 20 | 23 | 734k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
363.56/363.64 c 364s| 2030k| 15494 | 4947k| 2.4 | 15M| 39 | 5 | 120 | 11k| 120 | 20 | 23 | 743k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
366.66/366.77 c 367s| 2040k| 15473 | 4968k| 2.4 | 16M| 39 | 5 | 120 | 13k| 120 | 20 | 23 | 751k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
369.97/370.04 c 370s| 2050k| 15919 | 4988k| 2.4 | 17M| 39 | - | 120 | 16k| 0 | 0 | 23 | 759k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
373.88/374.00 c 374s| 2060k| 15791 | 5008k| 2.4 | 17M| 39 | 5 | 120 | 14k| 120 | 20 | 23 | 767k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
377.28/377.32 c 377s| 2070k| 16879 | 5029k| 2.4 | 19M| 39 | 5 | 120 | 17k| 120 | 20 | 23 | 774k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
381.36/381.40 c 381s| 2080k| 16888 | 5049k| 2.4 | 20M| 39 | 5 | 120 | 18k| 120 | 20 | 23 | 782k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
385.46/385.54 c 386s| 2090k| 16845 | 5068k| 2.4 | 20M| 39 | 5 | 120 | 18k| 120 | 20 | 23 | 790k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
389.57/389.69 c 390s| 2100k| 16690 | 5088k| 2.4 | 21M| 39 | - | 120 | 20k| 120 | 20 | 23 | 798k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
393.78/393.89 c 394s| 2110k| 17039 | 5108k| 2.4 | 21M| 39 | - | 120 | 21k| 0 | 0 | 23 | 806k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
398.77/398.87 c 399s| 2120k| 16499 | 5129k| 2.4 | 20M| 39 | 5 | 120 | 18k| 120 | 20 | 23 | 814k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
402.77/402.81 c 403s| 2130k| 17122 | 5149k| 2.4 | 21M| 39 | 5 | 120 | 18k| 120 | 20 | 23 | 822k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
406.67/406.75 c 407s| 2140k| 17307 | 5169k| 2.4 | 22M| 39 | - | 120 | 19k| 0 | 0 | 23 | 829k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
410.86/410.96 c 411s| 2150k| 17266 | 5189k| 2.4 | 22M| 39 | - | 120 | 19k| 120 | 20 | 23 | 837k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
415.17/415.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
415.17/415.24 c 415s| 2160k| 17175 | 5209k| 2.4 | 22M| 39 | 5 | 120 | 20k| 120 | 20 | 23 | 845k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
419.56/419.63 c 420s| 2170k| 17164 | 5228k| 2.4 | 23M| 39 | 5 | 120 | 21k| 120 | 20 | 23 | 853k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
425.68/425.74 c 426s| 2180k| 15631 | 5246k| 2.4 | 18M| 39 | 5 | 120 | 16k| 120 | 20 | 23 | 862k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
429.77/429.85 c 430s| 2190k| 15835 | 5267k| 2.4 | 18M| 39 | - | 120 | 18k| 120 | 20 | 23 | 869k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
433.47/433.58 c 434s| 2200k| 15872 | 5286k| 2.4 | 18M| 39 | - | 120 | 18k| 0 | 0 | 23 | 877k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
437.56/437.67 c 438s| 2210k| 15074 | 5305k| 2.4 | 17M| 39 | 5 | 120 | 18k| 120 | 20 | 23 | 885k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
440.98/441.09 c 441s| 2220k| 15071 | 5326k| 2.4 | 16M| 39 | - | 120 | 14k| 120 | 20 | 23 | 892k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
444.47/444.56 c 445s| 2230k| 14890 | 5346k| 2.4 | 15M| 39 | - | 120 | 12k| 120 | 20 | 23 | 900k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
447.58/447.62 c 448s| 2240k| 14773 | 5366k| 2.4 | 15M| 39 | 5 | 120 | 11k| 120 | 20 | 23 | 908k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
450.27/450.39 c 450s| 2250k| 15094 | 5385k| 2.4 | 16M| 39 | - | 120 | 13k| 120 | 20 | 23 | 915k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
453.37/453.45 c 453s| 2260k| 15158 | 5405k| 2.4 | 17M| 39 | 5 | 120 | 15k| 120 | 20 | 23 | 923k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
456.77/456.89 c 457s| 2270k| 14982 | 5426k| 2.4 | 16M| 39 | 5 | 120 | 15k| 120 | 20 | 23 | 931k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
460.17/460.20 c 460s| 2280k| 15193 | 5446k| 2.4 | 17M| 39 | 5 | 120 | 16k| 120 | 20 | 23 | 939k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
463.66/463.71 c 464s| 2290k| 15027 | 5467k| 2.4 | 17M| 39 | - | 120 | 15k| 120 | 20 | 23 | 947k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
467.17/467.27 c 467s| 2300k| 15608 | 5487k| 2.4 | 18M| 39 | 5 | 120 | 17k| 120 | 20 | 23 | 954k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
470.86/470.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
470.86/470.99 c 471s| 2310k| 16088 | 5507k| 2.4 | 19M| 39 | - | 120 | 18k| 120 | 20 | 23 | 961k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
474.76/474.82 c 475s| 2320k| 16282 | 5526k| 2.4 | 20M| 39 | 5 | 120 | 18k| 120 | 20 | 23 | 967k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
478.56/478.67 c 479s| 2330k| 16673 | 5546k| 2.4 | 21M| 39 | - | 120 | 20k| 120 | 20 | 23 | 974k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
483.07/483.13 c 483s| 2340k| 16571 | 5566k| 2.4 | 21M| 39 | 5 | 120 | 19k| 120 | 20 | 23 | 982k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
487.47/487.57 c 488s| 2350k| 16354 | 5585k| 2.4 | 21M| 39 | 5 | 120 | 19k| 120 | 20 | 23 | 989k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
492.07/492.17 c 492s| 2360k| 15832 | 5605k| 2.4 | 21M| 39 | - | 120 | 20k| 0 | 0 | 23 | 997k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
496.97/497.02 c 497s| 2370k| 15204 | 5624k| 2.4 | 18M| 39 | - | 120 | 18k| 120 | 20 | 23 |1005k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
500.77/500.86 c 501s| 2380k| 15684 | 5643k| 2.4 | 19M| 39 | - | 120 | 20k| 120 | 20 | 23 |1011k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
504.78/504.82 c 505s| 2390k| 15929 | 5661k| 2.4 | 20M| 39 | 5 | 120 | 20k| 120 | 20 | 23 |1018k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
508.87/508.96 c 509s| 2400k| 15931 | 5680k| 2.4 | 20M| 39 | 5 | 120 | 20k| 120 | 20 | 23 |1026k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
513.37/513.45 c 513s| 2410k| 15308 | 5698k| 2.4 | 19M| 39 | - | 120 | 20k| 120 | 20 | 23 |1033k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
517.17/517.27 c 517s| 2420k| 15982 | 5717k| 2.4 | 21M| 39 | 5 | 120 | 22k| 120 | 20 | 23 |1040k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
521.46/521.59 c 522s| 2430k| 15959 | 5736k| 2.4 | 21M| 39 | - | 120 | 22k| 0 | 0 | 23 |1048k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
526.07/526.16 c 526s| 2440k| 15715 | 5754k| 2.4 | 21M| 39 | 5 | 120 | 22k| 120 | 20 | 23 |1056k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
531.28/531.35 c 531s| 2450k| 14964 | 5774k| 2.4 | 18M| 39 | 5 | 120 | 17k| 120 | 20 | 23 |1064k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
534.67/534.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
534.67/534.76 c 535s| 2460k| 15567 | 5794k| 2.4 | 19M| 39 | 5 | 120 | 19k| 120 | 20 | 23 |1071k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
538.37/538.49 c 538s| 2470k| 15637 | 5813k| 2.4 | 20M| 39 | - | 120 | 20k| 120 | 20 | 23 |1079k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
542.37/542.49 c 542s| 2480k| 15472 | 5832k| 2.4 | 20M| 39 | - | 120 | 21k| 120 | 20 | 23 |1087k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
546.37/546.49 c 546s| 2490k| 15542 | 5852k| 2.4 | 20M| 39 | 5 | 120 | 21k| 120 | 20 | 23 |1095k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
550.77/550.82 c 551s| 2500k| 15117 | 5871k| 2.3 | 19M| 39 | - | 120 | 21k| 120 | 20 | 23 |1103k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
554.67/554.77 c 555s| 2510k| 15575 | 5891k| 2.3 | 20M| 39 | 5 | 120 | 22k| 120 | 20 | 23 |1110k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
559.17/559.26 c 559s| 2520k| 15573 | 5910k| 2.3 | 21M| 39 | 5 | 120 | 23k| 120 | 20 | 23 |1118k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
564.28/564.40 c 564s| 2530k| 14961 | 5929k| 2.3 | 19M| 39 | 5 | 120 | 21k| 120 | 20 | 23 |1126k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
568.58/568.66 c 569s| 2540k| 14896 | 5949k| 2.3 | 20M| 39 | - | 120 | 22k| 120 | 20 | 23 |1134k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
572.56/572.62 c 573s| 2550k| 15847 | 5970k| 2.3 | 20M| 39 | 5 | 120 | 23k| 120 | 20 | 23 |1141k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
576.57/576.67 c 577s| 2560k| 16426 | 5990k| 2.3 | 22M| 39 | 5 | 120 | 25k| 120 | 20 | 23 |1148k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
581.56/581.67 c 582s| 2570k| 16263 | 6008k| 2.3 | 22M| 39 | 5 | 120 | 24k| 120 | 20 | 23 |1156k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
586.06/586.18 c 586s| 2580k| 16406 | 6027k| 2.3 | 23M| 39 | - | 120 | 26k| 0 | 0 | 23 |1163k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
590.87/590.91 c 591s| 2590k| 16619 | 6046k| 2.3 | 24M| 39 | 5 | 120 | 26k| 120 | 20 | 23 |1171k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
596.08/596.14 c 596s| 2600k| 16251 | 6065k| 2.3 | 23M| 39 | - | 120 | 26k| 120 | 20 | 23 |1179k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
602.57/602.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
602.57/602.70 c 603s| 2610k| 14981 | 6084k| 2.3 | 21M| 39 | - | 120 | 25k| 120 | 20 | 23 |1188k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
607.09/607.17 c 607s| 2620k| 15558 | 6104k| 2.3 | 22M| 39 | - | 120 | 26k| 120 | 20 | 23 |1196k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
611.77/611.83 c 612s| 2630k| 15695 | 6124k| 2.3 | 23M| 39 | - | 120 | 27k| 120 | 20 | 23 |1203k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
617.27/617.38 c 617s| 2640k| 15241 | 6143k| 2.3 | 22M| 39 | 5 | 120 | 27k| 120 | 20 | 23 |1211k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
622.37/622.47 c 622s| 2650k| 15428 | 6164k| 2.3 | 21M| 39 | - | 120 | 24k| 120 | 20 | 23 |1219k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
626.77/626.80 c 627s| 2660k| 15749 | 6184k| 2.3 | 22M| 39 | - | 120 | 26k| 120 | 20 | 23 |1227k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
631.47/631.57 c 632s| 2670k| 15578 | 6205k| 2.3 | 22M| 39 | 5 | 120 | 25k| 120 | 20 | 23 |1235k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
635.68/635.80 c 636s| 2680k| 16438 | 6226k| 2.3 | 24M| 39 | - | 120 | 27k| 0 | 0 | 23 |1242k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
640.27/640.38 c 640s| 2690k| 16677 | 6247k| 2.3 | 25M| 39 | - | 120 | 27k| 120 | 20 | 23 |1249k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
645.58/645.62 c 646s| 2700k| 16186 | 6267k| 2.3 | 25M| 39 | - | 120 | 27k| 120 | 20 | 23 |1258k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
652.18/652.22 c 652s| 2710k| 14821 | 6287k| 2.3 | 21M| 39 | 5 | 120 | 26k| 120 | 20 | 23 |1267k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
656.37/656.43 c 656s| 2720k| 15547 | 6307k| 2.3 | 23M| 39 | 5 | 120 | 28k| 120 | 20 | 23 |1274k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
661.09/661.12 c 661s| 2730k| 15528 | 6327k| 2.3 | 23M| 39 | 5 | 120 | 28k| 120 | 20 | 23 |1282k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
666.37/666.45 c 666s| 2740k| 15710 | 6348k| 2.3 | 21M| 39 | 5 | 120 | 23k| 120 | 20 | 23 |1290k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
670.17/670.26 c 670s| 2750k| 17763 | 6371k| 2.3 | 23M| 39 | 5 | 120 | 24k| 120 | 20 | 23 |1296k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
674.29/674.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
674.29/674.34 c 674s| 2760k| 19267 | 6392k| 2.3 | 24M| 39 | - | 120 | 25k| 120 | 20 | 23 |1302k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
678.59/678.68 c 679s| 2770k| 20447 | 6412k| 2.3 | 26M| 39 | - | 120 | 25k| 120 | 20 | 23 |1309k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
682.98/683.10 c 683s| 2780k| 21382 | 6433k| 2.3 | 27M| 39 | - | 120 | 25k| 120 | 20 | 23 |1316k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
687.57/687.64 c 688s| 2790k| 22252 | 6453k| 2.3 | 28M| 39 | - | 120 | 26k| 120 | 20 | 23 |1323k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
691.89/691.97 c 692s| 2800k| 23309 | 6474k| 2.3 | 29M| 39 | - | 120 | 26k| 120 | 20 | 23 |1329k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
696.07/696.19 c 696s| 2810k| 24253 | 6494k| 2.3 | 31M| 39 | - | 120 | 28k| 0 | 0 | 23 |1336k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
701.17/701.22 c 701s| 2820k| 24934 | 6514k| 2.3 | 32M| 39 | - | 120 | 28k| 120 | 20 | 23 |1343k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
705.48/705.51 c 705s| 2830k| 25856 | 6534k| 2.3 | 33M| 39 | - | 120 | 29k| 120 | 20 | 23 |1350k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
711.07/711.12 c 711s| 2840k| 26149 | 6554k| 2.3 | 34M| 39 | - | 120 | 27k| 120 | 20 | 23 |1357k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
716.09/716.19 c 716s| 2850k| 26971 | 6575k| 2.3 | 35M| 39 | 5 | 120 | 27k| 120 | 20 | 23 |1364k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
720.67/720.73 c 721s| 2860k| 27933 | 6596k| 2.3 | 37M| 39 | 5 | 120 | 30k| 120 | 20 | 23 |1372k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
725.67/725.76 c 726s| 2870k| 28631 | 6616k| 2.3 | 38M| 39 | 5 | 120 | 31k| 120 | 20 | 23 |1379k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
731.58/731.60 c 732s| 2880k| 29265 | 6635k| 2.3 | 39M| 39 | - | 120 | 30k| 120 | 20 | 23 |1386k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
736.68/736.70 c 737s| 2890k| 30038 | 6655k| 2.3 | 40M| 39 | 5 | 120 | 31k| 120 | 20 | 23 |1393k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
742.39/742.49 c 742s| 2900k| 30625 | 6675k| 2.3 | 41M| 39 | 5 | 120 | 31k| 120 | 20 | 23 |1400k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
748.07/748.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
748.07/748.10 c 748s| 2910k| 30974 | 6694k| 2.3 | 42M| 39 | 5 | 120 | 30k| 120 | 20 | 23 |1408k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
753.88/753.96 c 754s| 2920k| 31582 | 6715k| 2.3 | 42M| 39 | 5 | 120 | 29k| 120 | 20 | 23 |1415k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
758.47/758.59 c 759s| 2930k| 32676 | 6735k| 2.3 | 44M| 39 | - | 120 | 31k| 120 | 20 | 23 |1422k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
763.48/763.53 c 763s| 2940k| 33127 | 6755k| 2.3 | 45M| 39 | 5 | 120 | 31k| 120 | 20 | 23 |1429k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
768.67/768.75 c 769s| 2950k| 33419 | 6774k| 2.3 | 45M| 39 | - | 120 | 31k| 0 | 0 | 23 |1436k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
773.97/774.02 c 774s| 2960k| 33830 | 6793k| 2.3 | 47M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |1444k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
780.07/780.11 c 780s| 2970k| 34406 | 6813k| 2.3 | 47M| 39 | - | 120 | 31k| 120 | 20 | 23 |1451k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
785.28/785.40 c 785s| 2980k| 35241 | 6834k| 2.3 | 49M| 39 | - | 120 | 34k| 120 | 20 | 23 |1458k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
791.37/791.40 c 791s| 2990k| 35500 | 6854k| 2.3 | 49M| 39 | 5 | 120 | 33k| 120 | 20 | 23 |1466k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
798.37/798.47 c 798s| 3000k| 35450 | 6873k| 2.3 | 49M| 39 | - | 120 | 30k| 120 | 20 | 23 |1474k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
804.67/804.71 c 805s| 3010k| 35493 | 6892k| 2.3 | 50M| 39 | - | 120 | 30k| 0 | 0 | 23 |1482k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
809.37/809.44 c 809s| 3020k| 35996 | 6911k| 2.3 | 51M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |1489k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
814.77/814.89 c 815s| 3030k| 36553 | 6932k| 2.3 | 52M| 39 | - | 120 | 33k| 120 | 20 | 23 |1497k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
820.67/820.74 c 821s| 3040k| 37106 | 6951k| 2.3 | 53M| 39 | - | 120 | 34k| 120 | 20 | 23 |1504k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
826.58/826.64 c 827s| 3050k| 37436 | 6971k| 2.3 | 54M| 39 | 5 | 120 | 36k| 120 | 20 | 23 |1511k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
833.38/833.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
833.38/833.48 c 833s| 3060k| 37599 | 6990k| 2.3 | 54M| 39 | 5 | 120 | 33k| 120 | 20 | 23 |1519k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
840.08/840.14 c 840s| 3070k| 37741 | 7009k| 2.3 | 54M| 39 | - | 120 | 32k| 120 | 20 | 23 |1526k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
845.18/845.21 c 845s| 3080k| 38325 | 7029k| 2.3 | 56M| 39 | - | 120 | 34k| 0 | 0 | 23 |1534k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
851.47/851.51 c 851s| 3090k| 38312 | 7048k| 2.3 | 56M| 39 | - | 120 | 33k| 120 | 20 | 23 |1541k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
856.90/856.96 c 857s| 3100k| 39372 | 7069k| 2.3 | 58M| 39 | - | 120 | 35k| 120 | 20 | 23 |1549k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
862.57/862.66 c 863s| 3110k| 39591 | 7088k| 2.3 | 59M| 39 | 5 | 120 | 35k| 120 | 20 | 23 |1556k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
868.37/868.47 c 868s| 3120k| 40303 | 7108k| 2.3 | 60M| 39 | 5 | 120 | 37k| 120 | 20 | 23 |1563k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
874.49/874.52 c 874s| 3130k| 41076 | 7128k| 2.3 | 61M| 39 | 5 | 120 | 38k| 120 | 20 | 23 |1570k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
880.87/880.98 c 881s| 3140k| 41439 | 7146k| 2.3 | 62M| 39 | - | 120 | 38k| 120 | 20 | 23 |1577k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
887.48/887.58 c 888s| 3150k| 41651 | 7165k| 2.3 | 63M| 39 | - | 120 | 38k| 120 | 20 | 23 |1584k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
895.29/895.32 c 895s| 3160k| 41150 | 7184k| 2.3 | 62M| 39 | 5 | 120 | 36k| 120 | 20 | 23 |1592k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
901.99/902.03 c 902s| 3170k| 41581 | 7203k| 2.3 | 63M| 39 | 5 | 120 | 38k| 120 | 20 | 23 |1600k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
909.98/910.09 c 910s| 3180k| 41578 | 7223k| 2.3 | 62M| 39 | - | 120 | 32k| 120 | 20 | 23 |1608k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
915.77/915.85 c 916s| 3190k| 42161 | 7245k| 2.3 | 63M| 39 | - | 120 | 34k| 120 | 20 | 23 |1616k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
921.69/921.74 c 922s| 3200k| 42683 | 7265k| 2.3 | 65M| 39 | 5 | 120 | 35k| 120 | 20 | 23 |1623k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
928.48/928.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
928.48/928.51 c 928s| 3210k| 42462 | 7284k| 2.3 | 64M| 39 | - | 120 | 34k| 0 | 0 | 23 |1632k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
935.58/935.69 c 936s| 3220k| 42290 | 7304k| 2.3 | 64M| 39 | - | 120 | 33k| 120 | 20 | 23 |1640k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
942.18/942.22 c 942s| 3230k| 42232 | 7323k| 2.3 | 64M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |1647k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
948.58/948.66 c 949s| 3240k| 42096 | 7343k| 2.3 | 64M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |1655k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
954.98/955.03 c 955s| 3250k| 42017 | 7361k| 2.3 | 65M| 39 | - | 120 | 32k| 120 | 20 | 23 |1663k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
961.29/961.35 c 961s| 3260k| 41877 | 7380k| 2.3 | 65M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |1671k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
966.90/966.93 c 967s| 3270k| 42407 | 7400k| 2.3 | 66M| 39 | - | 120 | 33k| 120 | 20 | 23 |1678k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
973.57/973.61 c 974s| 3280k| 41984 | 7418k| 2.3 | 65M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |1686k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
978.99/979.07 c 979s| 3290k| 42661 | 7438k| 2.3 | 67M| 39 | - | 120 | 33k| 0 | 0 | 23 |1693k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
984.57/984.66 c 985s| 3300k| 42770 | 7456k| 2.3 | 67M| 39 | - | 120 | 33k| 120 | 20 | 23 |1701k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
990.37/990.41 c 990s| 3310k| 42741 | 7474k| 2.3 | 67M| 39 | 5 | 120 | 34k| 120 | 20 | 23 |1708k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
997.78/997.86 c 998s| 3320k| 42399 | 7494k| 2.3 | 67M| 39 | - | 120 | 32k| 120 | 20 | 23 |1716k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1003.68/1003.71 c 1004s| 3330k| 42661 | 7513k| 2.3 | 68M| 39 | 5 | 120 | 34k| 120 | 20 | 23 |1724k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1010.28/1010.36 c 1010s| 3340k| 42653 | 7533k| 2.3 | 68M| 39 | - | 120 | 34k| 120 | 20 | 23 |1732k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1016.68/1016.70 c 1017s| 3350k| 42648 | 7553k| 2.3 | 69M| 39 | 5 | 120 | 36k| 120 | 20 | 23 |1739k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1022.48/1022.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1022.48/1022.52 c 1022s| 3360k| 42951 | 7572k| 2.3 | 70M| 39 | 5 | 120 | 38k| 120 | 20 | 23 |1747k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1028.98/1029.06 c 1029s| 3370k| 42976 | 7592k| 2.3 | 71M| 39 | 5 | 120 | 39k| 120 | 20 | 23 |1755k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1036.97/1037.00 c 1037s| 3380k| 42766 | 7612k| 2.3 | 69M| 39 | 5 | 120 | 34k| 120 | 20 | 23 |1763k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1043.98/1044.03 c 1044s| 3390k| 42507 | 7631k| 2.3 | 69M| 39 | - | 120 | 33k| 120 | 20 | 23 |1771k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1049.58/1049.60 c 1050s| 3400k| 42715 | 7651k| 2.3 | 70M| 39 | 5 | 120 | 34k| 120 | 20 | 23 |1778k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1055.77/1055.84 c 1056s| 3410k| 42405 | 7670k| 2.2 | 69M| 39 | - | 120 | 34k| 120 | 20 | 23 |1786k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1063.18/1063.24 c 1063s| 3420k| 42004 | 7689k| 2.2 | 69M| 39 | 5 | 120 | 33k| 120 | 20 | 23 |1794k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1069.68/1069.73 c 1070s| 3430k| 42171 | 7709k| 2.2 | 69M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |1802k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1075.69/1075.74 c 1076s| 3440k| 42619 | 7728k| 2.2 | 70M| 39 | 5 | 120 | 33k| 120 | 20 | 23 |1809k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1081.98/1082.04 c 1082s| 3450k| 42547 | 7747k| 2.2 | 70M| 39 | 5 | 120 | 34k| 120 | 20 | 23 |1817k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1089.08/1089.15 c 1089s| 3460k| 42129 | 7767k| 2.2 | 69M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |1826k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1095.07/1095.13 c 1095s| 3470k| 42107 | 7786k| 2.2 | 70M| 39 | - | 120 | 32k| 120 | 20 | 23 |1833k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1101.09/1101.13 c 1101s| 3480k| 41959 | 7806k| 2.2 | 70M| 39 | - | 120 | 33k| 120 | 20 | 23 |1841k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1108.58/1108.61 c 1109s| 3490k| 41472 | 7826k| 2.2 | 70M| 39 | 5 | 120 | 33k| 120 | 20 | 23 |1850k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1114.68/1114.74 c 1115s| 3500k| 41615 | 7846k| 2.2 | 70M| 39 | - | 120 | 33k| 0 | 0 | 23 |1857k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1120.58/1120.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1120.58/1120.65 c 1121s| 3510k| 41412 | 7865k| 2.2 | 70M| 39 | 5 | 120 | 33k| 120 | 20 | 23 |1865k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1127.78/1127.82 c 1128s| 3520k| 40902 | 7884k| 2.2 | 69M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |1873k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1134.09/1134.15 c 1134s| 3530k| 40727 | 7904k| 2.2 | 69M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |1881k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1139.18/1139.28 c 1139s| 3540k| 41209 | 7924k| 2.2 | 70M| 39 | - | 120 | 34k| 0 | 0 | 23 |1888k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1146.20/1146.25 c 1146s| 3550k| 40587 | 7942k| 2.2 | 69M| 39 | - | 120 | 33k| 120 | 20 | 23 |1897k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1152.48/1152.57 c 1153s| 3560k| 40387 | 7961k| 2.2 | 70M| 39 | 5 | 120 | 35k| 120 | 20 | 23 |1905k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1160.08/1160.13 c 1160s| 3570k| 39982 | 7980k| 2.2 | 69M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |1913k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1167.98/1168.02 c 1168s| 3580k| 39287 | 8000k| 2.2 | 68M| 39 | - | 120 | 32k| 120 | 20 | 23 |1921k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1175.68/1175.80 c 1176s| 3590k| 38595 | 8020k| 2.2 | 67M| 39 | - | 120 | 31k| 120 | 20 | 23 |1930k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1183.60/1183.61 c 1184s| 3600k| 37717 | 8038k| 2.2 | 66M| 39 | - | 120 | 31k| 0 | 0 | 23 |1938k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1190.09/1190.18 c 1190s| 3610k| 37425 | 8057k| 2.2 | 66M| 39 | - | 120 | 33k| 120 | 20 | 23 |1946k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1196.98/1197.02 c 1197s| 3620k| 37251 | 8078k| 2.2 | 65M| 39 | - | 120 | 33k| 120 | 20 | 23 |1954k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1202.88/1202.95 c 1203s| 3630k| 37124 | 8097k| 2.2 | 66M| 39 | - | 120 | 34k| 0 | 0 | 23 |1963k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1210.29/1210.37 c 1210s| 3640k| 37143 | 8117k| 2.2 | 65M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |1970k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1215.50/1215.53 c 1215s| 3650k| 38245 | 8136k| 2.2 | 66M| 39 | - | 120 | 34k| 0 | 0 | 23 |1977k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1221.49/1221.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1221.49/1221.56 c 1222s| 3660k| 38703 | 8156k| 2.2 | 67M| 39 | - | 120 | 34k| 120 | 20 | 23 |1984k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1226.99/1227.08 c 1227s| 3670k| 39024 | 8174k| 2.2 | 68M| 39 | - | 120 | 35k| 120 | 20 | 23 |1991k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1232.49/1232.57 c 1233s| 3680k| 39632 | 8195k| 2.2 | 70M| 39 | 5 | 120 | 37k| 120 | 20 | 23 |1998k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1239.38/1239.41 c 1239s| 3690k| 39780 | 8214k| 2.2 | 70M| 39 | - | 120 | 36k| 120 | 20 | 23 |2005k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1245.59/1245.63 c 1246s| 3700k| 40401 | 8233k| 2.2 | 71M| 39 | 5 | 120 | 37k| 120 | 20 | 23 |2012k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1252.08/1252.15 c 1252s| 3710k| 40588 | 8253k| 2.2 | 72M| 39 | 5 | 120 | 38k| 120 | 20 | 23 |2019k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1258.78/1258.80 c 1259s| 3720k| 40646 | 8272k| 2.2 | 72M| 39 | - | 120 | 37k| 120 | 20 | 23 |2027k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1265.99/1266.09 c 1266s| 3730k| 40525 | 8291k| 2.2 | 72M| 39 | 5 | 120 | 37k| 120 | 20 | 23 |2035k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1273.18/1273.23 c 1273s| 3740k| 40204 | 8309k| 2.2 | 72M| 39 | - | 120 | 37k| 120 | 20 | 23 |2042k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1279.88/1279.94 c 1280s| 3750k| 40060 | 8328k| 2.2 | 72M| 39 | 5 | 120 | 38k| 120 | 20 | 23 |2050k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1286.58/1286.64 c 1287s| 3760k| 40128 | 8348k| 2.2 | 73M| 39 | - | 120 | 39k| 0 | 0 | 23 |2057k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1293.78/1293.85 c 1294s| 3770k| 39809 | 8367k| 2.2 | 73M| 39 | - | 120 | 38k| 120 | 20 | 23 |2065k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1301.30/1301.39 c 1301s| 3780k| 39420 | 8385k| 2.2 | 72M| 39 | 5 | 120 | 38k| 120 | 20 | 23 |2073k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1309.09/1309.17 c 1309s| 3790k| 38860 | 8404k| 2.2 | 71M| 39 | 5 | 120 | 38k| 120 | 20 | 23 |2081k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1316.48/1316.59 c 1317s| 3800k| 38247 | 8423k| 2.2 | 70M| 39 | 5 | 120 | 38k| 120 | 20 | 23 |2089k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1324.18/1324.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1324.18/1324.26 c 1324s| 3810k| 37652 | 8442k| 2.2 | 69M| 39 | - | 120 | 37k| 120 | 20 | 23 |2097k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1330.78/1330.89 c 1331s| 3820k| 37335 | 8461k| 2.2 | 69M| 39 | 5 | 120 | 39k| 120 | 20 | 23 |2104k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1338.28/1338.39 c 1338s| 3830k| 36994 | 8481k| 2.2 | 68M| 39 | 5 | 120 | 39k| 120 | 20 | 23 |2112k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1345.09/1345.16 c 1345s| 3840k| 37244 | 8502k| 2.2 | 68M| 39 | 5 | 120 | 38k| 120 | 20 | 23 |2120k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1351.68/1351.70 c 1352s| 3850k| 37288 | 8522k| 2.2 | 69M| 39 | - | 120 | 39k| 0 | 0 | 23 |2129k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1359.60/1359.65 c 1360s| 3860k| 36687 | 8541k| 2.2 | 67M| 39 | 5 | 120 | 37k| 120 | 20 | 23 |2137k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1367.88/1367.96 c 1368s| 3870k| 36142 | 8560k| 2.2 | 66M| 39 | 5 | 120 | 37k| 120 | 20 | 23 |2145k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1375.89/1376.01 c 1376s| 3880k| 35650 | 8580k| 2.2 | 64M| 39 | 5 | 120 | 33k| 120 | 20 | 23 |2153k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1383.58/1383.64 c 1384s| 3890k| 35183 | 8599k| 2.2 | 64M| 39 | - | 120 | 33k| 120 | 20 | 23 |2162k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1391.29/1391.32 c 1391s| 3900k| 34550 | 8618k| 2.2 | 63M| 39 | 5 | 120 | 33k| 120 | 20 | 23 |2170k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1399.88/1399.93 c 1400s| 3910k| 33567 | 8637k| 2.2 | 61M| 39 | 5 | 120 | 32k| 120 | 20 | 23 |2179k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1405.80/1405.85 c 1406s| 3920k| 33324 | 8656k| 2.2 | 61M| 39 | 5 | 120 | 34k| 120 | 20 | 23 |2186k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1412.48/1412.59 c 1413s| 3930k| 32981 | 8674k| 2.2 | 61M| 39 | - | 120 | 34k| 0 | 0 | 23 |2194k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1420.98/1421.02 c 1421s| 3940k| 32246 | 8694k| 2.2 | 59M| 39 | 5 | 120 | 34k| 120 | 20 | 23 |2203k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1428.99/1429.03 c 1429s| 3950k| 31633 | 8712k| 2.2 | 58M| 39 | 5 | 120 | 33k| 120 | 20 | 23 |2211k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1436.89/1436.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1436.89/1436.93 c 1437s| 3960k| 30881 | 8731k| 2.2 | 57M| 39 | - | 120 | 33k| 120 | 20 | 23 |2219k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1442.79/1442.86 c 1443s| 3970k| 30896 | 8750k| 2.2 | 58M| 39 | 5 | 120 | 34k| 120 | 20 | 23 |2227k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1449.38/1449.48 c 1449s| 3980k| 30384 | 8769k| 2.2 | 57M| 39 | 5 | 120 | 34k| 120 | 20 | 23 |2236k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1456.19/1456.25 c 1456s| 3990k| 30175 | 8789k| 2.2 | 56M| 39 | 5 | 120 | 34k| 120 | 20 | 23 |2244k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1462.28/1462.35 c 1462s| 4000k| 30102 | 8808k| 2.2 | 57M| 39 | - | 120 | 35k| 120 | 20 | 23 |2252k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1468.40/1468.51 c 1468s| 4010k| 29828 | 8827k| 2.2 | 57M| 39 | - | 120 | 36k| 120 | 20 | 23 |2260k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1475.69/1475.71 c 1476s| 4020k| 29578 | 8847k| 2.2 | 56M| 39 | 5 | 120 | 36k| 120 | 20 | 23 |2268k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1482.80/1482.84 c 1483s| 4030k| 29360 | 8866k| 2.2 | 56M| 39 | - | 120 | 36k| 120 | 20 | 23 |2276k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1490.79/1490.81 c 1491s| 4040k| 28975 | 8885k| 2.2 | 54M| 39 | - | 120 | 34k| 0 | 0 | 23 |2284k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1496.89/1496.98 c 1497s| 4050k| 29292 | 8905k| 2.2 | 56M| 39 | 5 | 120 | 37k| 120 | 20 | 23 |2291k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1503.99/1504.04 c 1504s| 4060k| 29201 | 8925k| 2.2 | 56M| 39 | - | 120 | 37k| 120 | 20 | 23 |2299k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1510.99/1511.08 c 1511s| 4070k| 28922 | 8945k| 2.2 | 56M| 39 | - | 120 | 38k| 120 | 20 | 23 |2307k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1518.09/1518.15 c 1518s| 4080k| 28752 | 8963k| 2.2 | 55M| 39 | 5 | 120 | 37k| 120 | 20 | 23 |2315k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1525.79/1525.89 c 1526s| 4090k| 28255 | 8982k| 2.2 | 54M| 39 | 5 | 120 | 35k| 120 | 20 | 23 |2323k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1533.19/1533.27 c 1533s| 4100k| 27757 | 9002k| 2.2 | 53M| 39 | 5 | 120 | 35k| 120 | 20 | 23 |2331k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1539.69/1539.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1539.69/1539.76 c 1540s| 4110k| 27538 | 9021k| 2.2 | 53M| 39 | - | 120 | 35k| 120 | 20 | 23 |2338k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1546.89/1546.99 c 1547s| 4120k| 27275 | 9040k| 2.2 | 52M| 39 | 5 | 120 | 35k| 120 | 20 | 23 |2346k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1553.29/1553.30 c 1553s| 4130k| 27168 | 9059k| 2.2 | 52M| 39 | 5 | 120 | 35k| 120 | 20 | 23 |2354k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1560.49/1560.54 c 1561s| 4140k| 26754 | 9079k| 2.2 | 51M| 39 | - | 120 | 34k| 120 | 20 | 23 |2362k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1566.49/1566.56 c 1567s| 4150k| 26808 | 9099k| 2.2 | 52M| 39 | - | 120 | 36k| 120 | 20 | 23 |2369k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1574.59/1574.60 c 1575s| 4160k| 26330 | 9118k| 2.2 | 50M| 39 | 5 | 120 | 34k| 120 | 20 | 23 |2378k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1580.09/1580.19 c 1580s| 4170k| 26891 | 9137k| 2.2 | 51M| 39 | 5 | 120 | 35k| 120 | 20 | 23 |2385k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1585.89/1585.98 c 1586s| 4180k| 27008 | 9156k| 2.2 | 52M| 39 | 5 | 120 | 37k| 120 | 20 | 23 |2392k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1592.70/1592.76 c 1593s| 4190k| 26596 | 9174k| 2.2 | 51M| 39 | - | 120 | 36k| 120 | 20 | 23 |2400k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1600.29/1600.34 c 1600s| 4200k| 25993 | 9193k| 2.2 | 50M| 39 | - | 120 | 35k| 0 | 0 | 23 |2408k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1607.99/1608.10 c 1608s| 4210k| 25440 | 9212k| 2.2 | 49M| 39 | - | 120 | 35k| 120 | 20 | 23 |2416k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1614.59/1614.69 c 1615s| 4220k| 26009 | 9232k| 2.2 | 49M| 39 | 5 | 120 | 36k| 120 | 20 | 23 |2424k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1620.60/1620.65 c 1621s| 4230k| 26776 | 9253k| 2.2 | 51M| 39 | 5 | 120 | 37k| 120 | 20 | 23 |2430k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1626.99/1627.03 c 1627s| 4240k| 27193 | 9272k| 2.2 | 52M| 39 | 5 | 120 | 38k| 120 | 20 | 23 |2437k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1634.09/1634.12 c 1634s| 4250k| 27168 | 9291k| 2.2 | 52M| 39 | - | 120 | 36k| 0 | 0 | 23 |2445k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1640.19/1640.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1640.19/1640.28 c 1640s| 4260k| 27646 | 9310k| 2.2 | 52M| 39 | 5 | 120 | 37k| 120 | 20 | 23 |2452k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1647.60/1647.65 c 1648s| 4270k| 27409 | 9329k| 2.2 | 52M| 39 | 5 | 120 | 37k| 120 | 20 | 23 |2460k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1653.59/1653.63 c 1654s| 4280k| 28241 | 9349k| 2.2 | 54M| 39 | - | 120 | 39k| 120 | 20 | 23 |2466k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1660.09/1660.16 c 1660s| 4290k| 28455 | 9368k| 2.2 | 54M| 39 | - | 120 | 39k| 120 | 20 | 23 |2473k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1666.29/1666.36 c 1666s| 4300k| 29012 | 9387k| 2.2 | 56M| 39 | - | 120 | 41k| 120 | 20 | 23 |2480k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1673.20/1673.25 c 1673s| 4310k| 29099 | 9405k| 2.2 | 56M| 39 | - | 120 | 40k| 0 | 0 | 23 |2487k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1680.40/1680.40 c 1680s| 4320k| 29024 | 9423k| 2.2 | 56M| 39 | 5 | 120 | 39k| 120 | 20 | 23 |2494k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1687.41/1687.47 c 1687s| 4330k| 28896 | 9443k| 2.2 | 56M| 39 | - | 120 | 39k| 120 | 20 | 23 |2502k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1693.80/1693.84 c 1694s| 4340k| 28975 | 9462k| 2.2 | 56M| 39 | 5 | 120 | 40k| 120 | 20 | 23 |2509k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1701.29/1701.37 c 1701s| 4350k| 28691 | 9481k| 2.2 | 56M| 39 | - | 120 | 39k| 120 | 20 | 23 |2517k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1708.30/1708.32 c 1708s| 4360k| 29010 | 9500k| 2.2 | 57M| 39 | 5 | 120 | 40k| 120 | 20 | 23 |2524k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1715.59/1715.67 c 1716s| 4370k| 29037 | 9519k| 2.2 | 57M| 39 | 5 | 120 | 41k| 120 | 20 | 23 |2532k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1723.29/1723.34 c 1723s| 4380k| 28937 | 9538k| 2.2 | 57M| 39 | 5 | 120 | 40k| 120 | 20 | 23 |2539k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1730.69/1730.71 c 1731s| 4390k| 28467 | 9556k| 2.2 | 56M| 39 | - | 120 | 39k| 120 | 20 | 23 |2547k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1737.90/1737.98 c 1738s| 4400k| 28073 | 9575k| 2.2 | 56M| 39 | - | 120 | 39k| 120 | 20 | 23 |2554k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1745.40/1745.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1745.40/1745.45 c 1745s| 4410k| 27815 | 9594k| 2.2 | 55M| 39 | 5 | 120 | 39k| 120 | 20 | 23 |2562k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1752.90/1752.97 c 1753s| 4420k| 27364 | 9613k| 2.2 | 55M| 39 | - | 120 | 40k| 120 | 20 | 23 |2570k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1759.70/1759.77 c 1760s| 4430k| 27126 | 9632k| 2.2 | 55M| 39 | 5 | 120 | 40k| 120 | 20 | 23 |2578k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1766.39/1766.46 c 1766s| 4440k| 27516 | 9652k| 2.2 | 55M| 39 | 5 | 120 | 41k| 120 | 20 | 23 |2585k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1773.11/1773.18 c 1773s| 4450k| 28002 | 9671k| 2.2 | 57M| 39 | 5 | 120 | 43k| 120 | 20 | 23 |2592k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1781.00/1781.00 c 1781s| 4460k| 28316 | 9691k| 2.2 | 57M| 39 | - | 120 | 43k| 120 | 20 | 23 |2599k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1789.00/1789.02 c 1789s| 4470k| 28376 | 9710k| 2.2 | 58M| 39 | - | 120 | 44k| 0 | 0 | 23 |2607k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1796.39/1796.49 c 1796s| 4480k| 29008 | 9730k| 2.2 | 59M| 39 | - | 120 | 45k| 0 | 0 | 23 |2613k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1799.99/1800.04 c
1799.99/1800.04 c SCIP Status : solving was interrupted [time limit reached]
1799.99/1800.04 c Solving Time (sec) : 1800.00
1799.99/1800.04 c Solving Nodes : 4484464
1799.99/1800.04 c Primal Bound : +1.00000000000002e+00 (40 solutions)
1799.99/1800.04 c Dual Bound : +0.00000000000000e+00
1799.99/1800.04 c Gap : infinite
1799.99/1800.04 s SATISFIABLE
1799.99/1800.04 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
1799.99/1800.04 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
1799.99/1800.04 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
1799.99/1800.04 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
1799.99/1800.04 v -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 x1
1799.99/1800.04 c SCIP Status : solving was interrupted [time limit reached]
1799.99/1800.04 c Total Time : 1800.00
1799.99/1800.04 c solving : 1800.00
1799.99/1800.04 c presolving : 0.00 (included in solving)
1799.99/1800.04 c reading : 0.00 (included in solving)
1799.99/1800.04 c Original Problem :
1799.99/1800.04 c Problem name : HOME/instance-3451083-1307095713.opb
1799.99/1800.04 c Variables : 120 (120 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.99/1800.04 c Constraints : 10 initial, 10 maximal
1799.99/1800.04 c Presolved Problem :
1799.99/1800.04 c Problem name : t_HOME/instance-3451083-1307095713.opb
1799.99/1800.04 c Variables : 120 (120 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.99/1800.04 c Constraints : 5 initial, 45881 maximal
1799.99/1800.04 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1799.99/1800.04 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1799.99/1800.04 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1799.99/1800.04 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1799.99/1800.04 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1799.99/1800.04 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1799.99/1800.04 c implics : 0.00 0 0 0 0 0 0 0 0 0
1799.99/1800.04 c probing : 0.00 0 0 0 0 0 0 0 0 0
1799.99/1800.04 c linear : 0.00 0 0 0 0 0 5 0 0 0
1799.99/1800.04 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1799.99/1800.04 c root node : - 80 - - 80 - - - - -
1799.99/1800.04 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1799.99/1800.04 c integral : 0 0 0 2435769 0 27 0 790 4775 0 0 4860434
1799.99/1800.04 c linear : 5+ 7 10611814 2 0 24 5133071 807800 5585156 0 0 0
1799.99/1800.04 c logicor : 0+ 0 5587685 0 0 0 4877561 41610 2420536 0 0 0
1799.99/1800.04 c countsols : 0 0 0 19 0 23 0 0 0 0 0 0
1799.99/1800.04 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1799.99/1800.04 c integral : 14.42 0.00 0.00 14.42 0.00 0.00 0.00
1799.99/1800.04 c linear : 111.90 0.00 99.13 0.00 0.00 0.00 12.77
1799.99/1800.04 c logicor : 611.86 0.00 606.19 0.00 0.00 0.00 5.67
1799.99/1800.04 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1799.99/1800.04 c Propagators : #Propagate #Resprop Cutoffs DomReds
1799.99/1800.04 c vbounds : 0 0 0 0
1799.99/1800.04 c rootredcost : 31 0 0 80
1799.99/1800.04 c pseudoobj : 10614285 5679 2651 59530
1799.99/1800.04 c Propagator Timings : TotalTime Propagate Resprop
1799.99/1800.04 c vbounds : 1.73 1.73 0.00
1799.99/1800.04 c rootredcost : 2.02 2.02 0.00
1799.99/1800.04 c pseudoobj : 20.71 20.71 0.01
1799.99/1800.04 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1799.99/1800.04 c propagation : 23.33 852061 614666 1670536 29.6 370 25.8 -
1799.99/1800.04 c infeasible LP : 31.82 1164410 1164397 2351242 20.1 17460 24.0 0
1799.99/1800.04 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1799.99/1800.04 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1799.99/1800.04 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1799.99/1800.04 c applied globally : - - - 2440429 20.4 - - -
1799.99/1800.04 c applied locally : - - - 176783 33.1 - - -
1799.99/1800.04 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1799.99/1800.04 c cut pool : 0.00 5 - - 22 - (maximal pool size: 77)
1799.99/1800.04 c redcost : 8.09 2560056 0 2189094 0 0
1799.99/1800.04 c impliedbounds : 0.00 6 0 0 0 0
1799.99/1800.04 c intobj : 0.00 0 0 0 0 0
1799.99/1800.04 c gomory : 0.00 6 0 0 1 0
1799.99/1800.04 c cgmip : 0.00 0 0 0 0 0
1799.99/1800.04 c closecuts : 0.00 0 0 0 0 0
1799.99/1800.04 c strongcg : 0.00 6 0 0 12 0
1799.99/1800.04 c cmir : 0.01 6 0 0 39 0
1799.99/1800.04 c flowcover : 0.01 6 0 0 54 0
1799.99/1800.04 c clique : 0.00 1 0 0 0 0
1799.99/1800.04 c zerohalf : 0.00 0 0 0 0 0
1799.99/1800.04 c mcf : 0.00 1 0 0 0 0
1799.99/1800.04 c oddcycle : 0.00 0 0 0 0 0
1799.99/1800.04 c rapidlearning : 0.01 1 0 0 0 2
1799.99/1800.04 c Pricers : Time Calls Vars
1799.99/1800.04 c problem variables: 0.00 0 0
1799.99/1800.04 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1799.99/1800.04 c relpscost : 13.12 2435750 790 4775 0 0 4860434
1799.99/1800.04 c pscost : 0.00 0 0 0 0 0 0
1799.99/1800.04 c inference : 0.00 0 0 0 0 0 0
1799.99/1800.04 c mostinf : 0.00 0 0 0 0 0 0
1799.99/1800.04 c leastinf : 0.00 0 0 0 0 0 0
1799.99/1800.04 c fullstrong : 0.00 0 0 0 0 0 0
1799.99/1800.04 c allfullstrong : 0.00 0 0 0 0 0 0
1799.99/1800.04 c random : 0.00 0 0 0 0 0 0
1799.99/1800.04 c Primal Heuristics : Time Calls Found
1799.99/1800.04 c LP solutions : 0.01 - 19
1799.99/1800.04 c pseudo solutions : 0.00 - 0
1799.99/1800.04 c oneopt : 1.02 30 0
1799.99/1800.04 c crossover : 3.38 11 0
1799.99/1800.04 c guideddiving : 4.65 6868 0
1799.99/1800.04 c fracdiving : 4.70 6868 4
1799.99/1800.04 c coefdiving : 5.18 6868 1
1799.99/1800.04 c pscostdiving : 4.75 6869 3
1799.99/1800.04 c veclendiving : 5.47 6869 1
1799.99/1800.04 c linesearchdiving : 4.76 6869 1
1799.99/1800.04 c objpscostdiving : 1.47 3435 1
1799.99/1800.04 c rootsoldiving : 2.84 3435 0
1799.99/1800.04 c trivial : 0.00 2 0
1799.99/1800.04 c shiftandpropagate: 0.00 1 1
1799.99/1800.04 c simplerounding : 0.45 0 0
1799.99/1800.04 c zirounding : 6.80 0 0
1799.99/1800.04 c rounding : 1.15 22476 0
1799.99/1800.04 c shifting : 9.76 32524 8
1799.99/1800.04 c intshifting : 0.08 0 0
1799.99/1800.04 c twoopt : 0.00 0 0
1799.99/1800.04 c fixandinfer : 0.00 0 0
1799.99/1800.04 c feaspump : 0.05 1 0
1799.99/1800.04 c clique : 0.00 0 0
1799.99/1800.04 c intdiving : 0.00 0 0
1799.99/1800.04 c actconsdiving : 0.00 0 0
1799.99/1800.04 c octane : 0.00 0 0
1799.99/1800.04 c rens : 0.04 1 0
1799.99/1800.04 c rins : 0.00 0 0
1799.99/1800.04 c localbranching : 0.00 0 0
1799.99/1800.04 c mutation : 0.00 0 0
1799.99/1800.04 c dins : 0.00 0 0
1799.99/1800.04 c vbounds : 0.00 0 0
1799.99/1800.04 c undercover : 0.00 0 0
1799.99/1800.04 c subnlp : 0.64 0 0
1799.99/1800.04 c trysol : 0.82 0 0
1799.99/1800.04 c LP : Time Calls Iterations Iter/call Iter/sec
1799.99/1800.04 c primal LP : 0.00 0 0 0.00 -
1799.99/1800.04 c dual LP : 221.52 3931977 9356368 2.38 42237.90
1799.99/1800.04 c lex dual LP : 0.00 0 0 0.00 -
1799.99/1800.04 c barrier LP : 0.00 0 0 0.00 -
1799.99/1800.04 c diving/probing LP: 10.30 186211 383008 2.06 37191.31
1799.99/1800.04 c strong branching : 1.03 11300 33563 2.97 32648.01
1799.99/1800.04 c (at root node) : - 11 630 57.27 -
1799.99/1800.04 c conflict analysis: 0.00 0 0 0.00 -
1799.99/1800.04 c B&B Tree :
1799.99/1800.04 c number of runs : 1
1799.99/1800.04 c nodes : 4484464
1799.99/1800.04 c nodes (total) : 4484464
1799.99/1800.04 c nodes left : 29067
1799.99/1800.04 c max depth : 39
1799.99/1800.04 c max depth (total): 39
1799.99/1800.04 c backtracks : 1368056 (30.5%)
1799.99/1800.04 c delayed cutoffs : 340959
1799.99/1800.04 c repropagations : 3217003 (3657661 domain reductions, 276624 cutoffs)
1799.99/1800.04 c avg switch length: 5.53
1799.99/1800.04 c switching time : 462.12
1799.99/1800.04 c Solution :
1799.99/1800.04 c Solutions found : 40 (32 improvements)
1799.99/1800.04 c First Solution : +1.35200000000000e+03 (in run 1, after 1 nodes, 0.01 seconds, depth 50, found by <shiftandpropagate>)
1799.99/1800.04 c Primal Bound : +1.00000000000002e+00 (in run 1, after 1241561 nodes, 159.21 seconds, depth 33, found by <relaxation>)
1799.99/1800.04 c Dual Bound : +0.00000000000000e+00
1799.99/1800.04 c Gap : infinite
1799.99/1800.04 c Root Dual Bound : +0.00000000000000e+00
1799.99/1800.04 c Root Iterations : 61
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3451083-1307095713/watcher-3451083-1307095713 -o /tmp/evaluation-result-3451083-1307095713/solver-3451083-1307095713 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451083-1307095713.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.07 2.04 2.00 2/434 27313
/proc/meminfo: memFree=12380320/32951132 swapFree=67093840/67111528
[pid=27313] ppid=27311 vsize=11796 CPUtime=0 cores=1,3,5,7
/proc/27313/stat : 27313 (runsolver) S 27311 27313 27022 0 -1 4202560 42 0 0 0 0 0 0 0 22 0 1 0 821170946 12079104 51 33554432000 4194304 5432328 140735399986240 18446744073709551615 4881591 0 2147483391 4096 24578 18446744071699870519 0 0 17 1 0 0 0
/proc/27313/statm: 2949 51 31 303 0 2643 0
[startup+0.019364 s]
/proc/loadavg: 2.07 2.04 2.00 2/434 27313
/proc/meminfo: memFree=12380320/32951132 swapFree=67093840/67111528
[pid=27313] ppid=27311 vsize=11796 CPUtime=0 cores=1,3,5,7
/proc/27313/stat : 27313 (runsolver) S 27311 27313 27022 0 -1 4202560 42 0 0 0 0 0 0 0 22 0 1 0 821170946 12079104 51 33554432000 4194304 5432328 140735399986240 18446744073709551615 4881591 0 2147483391 4096 24578 18446744071699870519 0 0 17 1 0 0 0
/proc/27313/statm: 2949 51 31 303 0 2643 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11796
[startup+0.100354 s]
/proc/loadavg: 2.07 2.04 2.00 2/434 27313
/proc/meminfo: memFree=12380320/32951132 swapFree=67093840/67111528
[pid=27313] ppid=27311 vsize=26800 CPUtime=0.05 cores=1,3,5,7
/proc/27313/stat : 27313 (scip-2.0.1.4b.l) R 27311 27313 27022 0 -1 4202496 6655 0 0 0 5 0 0 0 23 0 1 0 821170946 27443200 5646 33554432000 4194304 9163163 140737166200304 18446744073709551615 4417539 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27313/statm: 6700 5646 697 1214 0 5482 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 26800
[startup+0.300317 s]
/proc/loadavg: 2.07 2.04 2.00 2/434 27313
/proc/meminfo: memFree=12380320/32951132 swapFree=67093840/67111528
[pid=27313] ppid=27311 vsize=26880 CPUtime=0.26 cores=1,3,5,7
/proc/27313/stat : 27313 (scip-2.0.1.4b.l) R 27311 27313 27022 0 -1 4202496 7185 0 0 0 22 4 0 0 24 0 1 0 821170946 27525120 5689 33554432000 4194304 9163163 140737166200304 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27313/statm: 6720 5689 708 1214 0 5502 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 26880
[startup+0.700248 s]
/proc/loadavg: 2.07 2.04 2.00 2/434 27313
/proc/meminfo: memFree=12380320/32951132 swapFree=67093840/67111528
[pid=27313] ppid=27311 vsize=26880 CPUtime=0.65 cores=1,3,5,7
/proc/27313/stat : 27313 (scip-2.0.1.4b.l) R 27311 27313 27022 0 -1 4202496 7190 0 0 0 56 9 0 0 25 0 1 0 821170946 27525120 5694 33554432000 4194304 9163163 140737166200304 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27313/statm: 6720 5694 708 1214 0 5502 0
Current children cumulated CPU time (s) 0.65
Current children cumulated vsize (KiB) 26880
[startup+1.50011 s]
/proc/loadavg: 2.07 2.04 2.00 3/435 27314
/proc/meminfo: memFree=12358924/32951132 swapFree=67093840/67111528
[pid=27313] ppid=27311 vsize=28036 CPUtime=1.46 cores=1,3,5,7
/proc/27313/stat : 27313 (scip-2.0.1.4b.l) R 27311 27313 27022 0 -1 4202496 7471 0 0 0 125 21 0 0 25 0 1 0 821170946 28708864 5975 33554432000 4194304 9163163 140737166200304 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27313/statm: 7009 5975 708 1214 0 5791 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 28036
[startup+3.10083 s]
/proc/loadavg: 2.06 2.04 2.00 3/435 27314
/proc/meminfo: memFree=12358140/32951132 swapFree=67093840/67111528
[pid=27313] ppid=27311 vsize=26880 CPUtime=3.06 cores=1,3,5,7
/proc/27313/stat : 27313 (scip-2.0.1.4b.l) R 27311 27313 27022 0 -1 4202496 9329 0 0 0 265 41 0 0 25 0 1 0 821170946 27525120 5717 33554432000 4194304 9163163 140737166200304 18446744073709551615 7447770 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27313/statm: 6720 5717 708 1214 0 5502 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 26880
[startup+6.30028 s]
/proc/loadavg: 2.06 2.04 2.00 3/435 27315
/proc/meminfo: memFree=12357416/32951132 swapFree=67093840/67111528
[pid=27313] ppid=27311 vsize=26880 CPUtime=6.26 cores=1,3,5,7
/proc/27313/stat : 27313 (scip-2.0.1.4b.l) R 27311 27313 27022 0 -1 4202496 19303 0 0 0 542 84 0 0 25 0 1 0 821170946 27525120 5739 33554432000 4194304 9163163 140737166200304 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27313/statm: 6720 5739 709 1214 0 5502 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 26880
[startup+12.7002 s]
/proc/loadavg: 2.12 2.05 2.01 3/435 27315
/proc/meminfo: memFree=12352404/32951132 swapFree=67093840/67111528
[pid=27313] ppid=27311 vsize=28804 CPUtime=12.65 cores=1,3,5,7
/proc/27313/stat : 27313 (scip-2.0.1.4b.l) R 27311 27313 27022 0 -1 4202496 31297 0 0 0 1100 165 0 0 25 0 1 0 821170946 29495296 6167 33554432000 4194304 9163163 140737166200304 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27313/statm: 7201 6167 709 1214 0 5983 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 28804
[startup+25.5009 s]
/proc/loadavg: 2.11 2.05 2.00 3/435 27315
/proc/meminfo: memFree=12340012/32951132 swapFree=67093840/67111528
[pid=27313] ppid=27311 vsize=31156 CPUtime=25.46 cores=1,3,5,7
/proc/27313/stat : 27313 (scip-2.0.1.4b.l) R 27311 27313 27022 0 -1 4202496 36636 0 0 0 2217 329 0 0 25 0 1 0 821170946 31903744 6722 33554432000 4194304 9163163 140737166200304 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27313/statm: 7789 6722 709 1214 0 6571 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 31156
[startup+51.1005 s]
/proc/loadavg: 2.07 2.05 2.00 3/435 27316
/proc/meminfo: memFree=12309932/32951132 swapFree=67093840/67111528
[pid=27313] ppid=27311 vsize=40424 CPUtime=51.06 cores=1,3,5,7
/proc/27313/stat : 27313 (scip-2.0.1.4b.l) R 27311 27313 27022 0 -1 4202496 40705 0 0 0 4450 656 0 0 25 0 1 0 821170946 41394176 9093 33554432000 4194304 9163163 140737166200304 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27313/statm: 10106 9093 709 1214 0 8888 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 40424
[startup+102.316 s]
/proc/loadavg: 2.06 2.05 2.00 3/435 27317
/proc/meminfo: memFree=12250332/32951132 swapFree=67093840/67111528
[pid=27313] ppid=27311 vsize=54192 CPUtime=102.27 cores=1,3,5,7
/proc/27313/stat : 27313 (scip-2.0.1.4b.l) R 27311 27313 27022 0 -1 4202496 45855 0 0 0 8903 1324 0 0 25 0 1 0 821170946 55492608 12573 33554432000 4194304 9163163 140737166200304 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27313/statm: 13548 12573 709 1214 0 12330 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 54192
[startup+162.3 s]
/proc/loadavg: 2.06 2.05 2.00 3/435 27319
/proc/meminfo: memFree=12213732/32951132 swapFree=67093840/67111528
[pid=27313] ppid=27311 vsize=55820 CPUtime=162.26 cores=1,3,5,7
/proc/27313/stat : 27313 (scip-2.0.1.4b.l) R 27311 27313 27022 0 -1 4202496 84825 0 0 0 14106 2120 0 0 25 0 1 0 821170946 57159680 13011 33554432000 4194304 9163163 140737166200304 18446744073709551615 4593111 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27313/statm: 13955 13011 709 1214 0 12737 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 55820
[startup+222.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/435 27320
/proc/meminfo: memFree=12195248/32951132 swapFree=67093840/67111528
[pid=27313] ppid=27311 vsize=66568 CPUtime=222.26 cores=1,3,5,7
/proc/27313/stat : 27313 (scip-2.0.1.4b.l) R 27311 27313 27022 0 -1 4202496 103123 0 0 0 19716 2510 0 0 25 0 1 0 821170946 68165632 15609 33554432000 4194304 9163163 140737166200304 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27313/statm: 16642 15609 709 1214 0 15424 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 66568
[startup+282.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/435 27322
/proc/meminfo: memFree=12172916/32951132 swapFree=67093840/67111528
[pid=27313] ppid=27311 vsize=70180 CPUtime=282.26 cores=1,3,5,7
/proc/27313/stat : 27313 (scip-2.0.1.4b.l) R 27311 27313 27022 0 -1 4202496 107127 0 0 0 25420 2806 0 0 25 0 1 0 821170946 71864320 16458 33554432000 4194304 9163163 140737166200304 18446744073709551615 5842790 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27313/statm: 17545 16458 709 1214 0 16327 0
Current children cumulated CPU time (s) 282.26
Current children cumulated vsize (KiB) 70180
[startup+342.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/435 27323
/proc/meminfo: memFree=12152200/32951132 swapFree=67093840/67111528
[pid=27313] ppid=27311 vsize=70408 CPUtime=342.27 cores=1,3,5,7
/proc/27313/stat : 27313 (scip-2.0.1.4b.l) R 27311 27313 27022 0 -1 4202496 107161 0 0 0 31029 3198 0 0 25 0 1 0 821170946 72097792 16492 33554432000 4194304 9163163 140737166200304 18446744073709551615 5275787 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27313/statm: 17602 16492 709 1214 0 16384 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 70408
[startup+402.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/435 27325
/proc/meminfo: memFree=12127636/32951132 swapFree=67093840/67111528
[pid=27313] ppid=27311 vsize=72412 CPUtime=402.26 cores=1,3,5,7
/proc/27313/stat : 27313 (scip-2.0.1.4b.l) R 27311 27313 27022 0 -1 4202496 112302 0 0 0 36761 3465 0 0 25 0 1 0 821170946 74149888 16827 33554432000 4194304 9163163 140737166200304 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27313/statm: 18103 16827 709 1214 0 16885 0
Current children cumulated CPU time (s) 402.26
Current children cumulated vsize (KiB) 72412
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/435 27327
/proc/meminfo: memFree=12099480/32951132 swapFree=67093840/67111528
[pid=27313] ppid=27311 vsize=74064 CPUtime=462.26 cores=1,3,5,7
/proc/27313/stat : 27313 (scip-2.0.1.4b.l) R 27311 27313 27022 0 -1 4202496 112671 0 0 0 42532 3694 0 0 25 0 1 0 821170946 75841536 17196 33554432000 4194304 9163163 140737166200304 18446744073709551615 5275463 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27313/statm: 18516 17196 709 1214 0 17298 0
Current children cumulated CPU time (s) 462.26
Current children cumulated vsize (KiB) 74064
[startup+522.301 s]
/proc/loadavg: 2.14 2.05 2.01 3/435 27328
/proc/meminfo: memFree=12071200/32951132 swapFree=67093840/67111528
[pid=27313] ppid=27311 vsize=74748 CPUtime=522.26 cores=1,3,5,7
/proc/27313/stat : 27313 (scip-2.0.1.4b.l) R 27311 27313 27022 0 -1 4202496 112762 0 0 0 48322 3904 0 0 25 0 1 0 821170946 76541952 17287 33554432000 4194304 9163163 140737166200304 18446744073709551615 5275463 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27313/statm: 18687 17287 709 1214 0 17469 0
Current children cumulated CPU time (s) 522.26
Current children cumulated vsize (KiB) 74748
[startup+582.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/435 27330
/proc/meminfo: memFree=12056436/32951132 swapFree=67093840/67111528
[pid=27313] ppid=27311 vsize=76152 CPUtime=582.27 cores=1,3,5,7
/proc/27313/stat : 27313 (scip-2.0.1.4b.l) R 27311 27313 27022 0 -1 4202496 113016 0 0 0 54112 4115 0 0 25 0 1 0 821170946 77979648 17541 33554432000 4194304 9163163 140737166200304 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27313/statm: 19038 17541 709 1214 0 17820 0
Current children cumulated CPU time (s) 582.27
Current children cumulated vsize (KiB) 76152
[startup+642.301 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/435 27338
/proc/meminfo: memFree=11911404/32951132 swapFree=67093840/67111528
[pid=27313] ppid=27311 vsize=100252 CPUtime=882.28 cores=1,3,5,7
/proc/27313/stat : 27313 (scip-2.0.1.4b.l) R 27311 27313 27022 0 -1 4202496 127110 0 0 0 83260 4968 0 0 25 0 1 0 821170946 102658048 23539 33554432000 4194304 9163163 140737166200304 18446744073709551615 6555941 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27313/statm: 25063 23539 709 1214 0 23845 0
Current children cumulated CPU time (s) 882.28
Current children cumulated vsize (KiB) 100252
[startup+942.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/435 27339
/proc/meminfo: memFree=11888696/32951132 swapFree=67093840/67111528
[pid=27313] ppid=27311 vsize=103856 CPUtime=942.28 cores=1,3,5,7
/proc/27313/stat : 27313 (scip-2.0.1.4b.l) R 27311 27313 27022 0 -1 4202496 127839 0 0 0 89125 5103 0 0 25 0 1 0 821170946 106348544 24268 33554432000 4194304 9163163 140737166200304 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27313/statm: 25964 24268 709 1214 0 24746 0
Current children cumulated CPU time (s) 942.28
Current children cumulated vsize (KiB) 103856
[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/435 27341
/proc/meminfo: memFree=11870076/32951132 swapFree=67093840/67111528
[pid=27313] ppid=27311 vsize=106992 CPUtime=1002.28 cores=1,3,5,7
/proc/27313/stat : 27313 (scip-2.0.1.4b.l) R 27311 27313 27022 0 -1 4202496 128667 0 0 0 94988 5240 0 0 25 0 1 0 821170946 109559808 25096 33554432000 4194304 9163163 140737166200304 18446744073709551615 4240446 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27313/statm: 26748 25096 709 1214 0 25530 0
Current children cumulated CPU time (s) 1002.28
Current children cumulated vsize (KiB) 106992
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/435 27343
/proc/meminfo: memFree=11836704/32951132 swapFree=67093840/67111528
[pid=27313] ppid=27311 vsize=109536 CPUtime=1062.28 cores=1,3,5,7
/proc/27313/stat : 27313 (scip-2.0.1.4b.l) R 27311 27313 27022 0 -1 4202496 129327 0 0 0 100853 5375 0 0 25 0 1 0 821170946 112164864 25756 33554432000 4194304 9163163 140737166200304 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27313/statm: 27384 25756 709 1214 0 26166 0
Current children cumulated CPU time (s) 1062.28
Current children cumulated vsize (KiB) 109536
[startup+1122.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/435 27344
/proc/meminfo: memFree=11810772/32951132 swapFree=67093840/67111528
[pid=27313] ppid=27311 vsize=110204 CPUtime=1122.28 cores=1,3,5,7
/proc/27313/stat : 27313 (scip-2.0.1.4b.l) R 27311 27313 27022 0 -1 4202496 129456 0 0 0 106716 5512 0 0 25 0 1 0 821170946 112848896 25885 33554432000 4194304 9163163 140737166200304 18446744073709551615 5275439 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27313/statm: 27551 25885 709 1214 0 26333 0
Current children cumulated CPU time (s) 1122.28
Current children cumulated vsize (KiB) 110204
[startup+1182.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/435 27346
/proc/meminfo: memFree=11784460/32951132 swapFree=67093840/67111528
[pid=27313] ppid=27311 vsize=110204 CPUtime=1182.28 cores=1,3,5,7
/proc/27313/stat : 27313 (scip-2.0.1.4b.l) R 27311 27313 27022 0 -1 4202496 129472 0 0 0 112583 5645 0 0 25 0 1 0 821170946 112848896 25901 33554432000 4194304 9163163 140737166200304 18446744073709551615 4219851 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27313/statm: 27551 25901 709 1214 0 26333 0
Current children cumulated CPU time (s) 1182.28
Current children cumulated vsize (KiB) 110204
[startup+1242.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/435 27347
/proc/meminfo: memFree=11762864/32951132 swapFree=67093840/67111528
[pid=27313] ppid=27311 vsize=110204 CPUtime=1242.29 cores=1,3,5,7
/proc/27313/stat : 27313 (scip-2.0.1.4b.l) R 27311 27313 27022 0 -1 4202496 129487 0 0 0 118446 5783 0 0 25 0 1 0 821170946 112848896 25916 33554432000 4194304 9163163 140737166200304 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27313/statm: 27551 25916 709 1214 0 26333 0
Current children cumulated CPU time (s) 1242.29
Current children cumulated vsize (KiB) 110204
[startup+1302.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/435 27349
/proc/meminfo: memFree=11724544/32951132 swapFree=67093840/67111528
[pid=27313] ppid=27311 vsize=113740 CPUtime=1302.3 cores=1,3,5,7
/proc/27313/stat : 27313 (scip-2.0.1.4b.l) R 27311 27313 27022 0 -1 4202496 130395 0 0 0 124324 5906 0 0 25 0 1 0 821170946 116469760 26824 33554432000 4194304 9163163 140737166200304 18446744073709551615 5263715 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27313/statm: 28435 26824 709 1214 0 27217 0
Current children cumulated CPU time (s) 1302.3
Current children cumulated vsize (KiB) 113740
[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/435 27351
/proc/meminfo: memFree=11687580/32951132 swapFree=67093840/67111528
[pid=27313] ppid=27311 vsize=113740 CPUtime=1362.29 cores=1,3,5,7
/proc/27313/stat : 27313 (scip-2.0.1.4b.l) R 27311 27313 27022 0 -1 4202496 130476 0 0 0 130211 6018 0 0 25 0 1 0 821170946 116469760 26905 33554432000 4194304 9163163 140737166200304 18446744073709551615 6923311 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27313/statm: 28435 26905 709 1214 0 27217 0
Current children cumulated CPU time (s) 1362.29
Current children cumulated vsize (KiB) 113740
[startup+1422.32 s]
/proc/loadavg: 2.00 2.01 2.00 3/435 27352
/proc/meminfo: memFree=11650240/32951132 swapFree=67093840/67111528
[pid=27313] ppid=27311 vsize=113740 CPUtime=1422.3 cores=1,3,5,7
/proc/27313/stat : 27313 (scip-2.0.1.4b.l) R 27311 27313 27022 0 -1 4202496 130478 0 0 0 136091 6139 0 0 25 0 1 0 821170946 116469760 26907 33554432000 4194304 9163163 140737166200304 18446744073709551615 5275463 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27313/statm: 28435 26907 709 1214 0 27217 0
Current children cumulated CPU time (s) 1422.3
Current children cumulated vsize (KiB) 113740
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/435 27354
/proc/meminfo: memFree=11604100/32951132 swapFree=67093840/67111528
[pid=27313] ppid=27311 vsize=113740 CPUtime=1482.29 cores=1,3,5,7
/proc/27313/stat : 27313 (scip-2.0.1.4b.l) R 27311 27313 27022 0 -1 4202496 130478 0 0 0 141959 6270 0 0 25 0 1 0 821170946 116469760 26907 33554432000 4194304 9163163 140737166200304 18446744073709551615 5275961 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27313/statm: 28435 26907 709 1214 0 27217 0
Current children cumulated CPU time (s) 1482.29
Current children cumulated vsize (KiB) 113740
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/435 27355
/proc/meminfo: memFree=11568876/32951132 swapFree=67093840/67111528
[pid=27313] ppid=27311 vsize=113740 CPUtime=1542.29 cores=1,3,5,7
/proc/27313/stat : 27313 (scip-2.0.1.4b.l) R 27311 27313 27022 0 -1 4202496 130481 0 0 0 147835 6394 0 0 25 0 1 0 821170946 116469760 26910 33554432000 4194304 9163163 140737166200304 18446744073709551615 5275463 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27313/statm: 28435 26910 709 1214 0 27217 0
Current children cumulated CPU time (s) 1542.29
Current children cumulated vsize (KiB) 113740
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/435 27357
/proc/meminfo: memFree=11528944/32951132 swapFree=67093840/67111528
[pid=27313] ppid=27311 vsize=113740 CPUtime=1602.29 cores=1,3,5,7
/proc/27313/stat : 27313 (scip-2.0.1.4b.l) R 27311 27313 27022 0 -1 4202496 130481 0 0 0 153699 6530 0 0 25 0 1 0 821170946 116469760 26910 33554432000 4194304 9163163 140737166200304 18446744073709551615 5275452 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27313/statm: 28435 26910 709 1214 0 27217 0
Current children cumulated CPU time (s) 1602.29
Current children cumulated vsize (KiB) 113740
[startup+1662.3 s]
/proc/loadavg: 2.11 2.03 2.01 3/435 27359
/proc/meminfo: memFree=11494716/32951132 swapFree=67093840/67111528
[pid=27313] ppid=27311 vsize=113740 CPUtime=1662.29 cores=1,3,5,7
/proc/27313/stat : 27313 (scip-2.0.1.4b.l) R 27311 27313 27022 0 -1 4202496 130481 0 0 0 159565 6664 0 0 25 0 1 0 821170946 116469760 26910 33554432000 4194304 9163163 140737166200304 18446744073709551615 4209482 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27313/statm: 28435 26910 709 1214 0 27217 0
Current children cumulated CPU time (s) 1662.29
Current children cumulated vsize (KiB) 113740
[startup+1722.3 s]
/proc/loadavg: 2.22 2.07 2.02 3/435 27388
/proc/meminfo: memFree=12352876/32951132 swapFree=67093840/67111528
[pid=27313] ppid=27311 vsize=113740 CPUtime=1722.29 cores=1,3,5,7
/proc/27313/stat : 27313 (scip-2.0.1.4b.l) R 27311 27313 27022 0 -1 4202496 130481 0 0 0 165434 6795 0 0 25 0 1 0 821170946 116469760 26910 33554432000 4194304 9163163 140737166200304 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27313/statm: 28435 26910 709 1214 0 27217 0
Current children cumulated CPU time (s) 1722.29
Current children cumulated vsize (KiB) 113740
[startup+1782.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/435 27390
/proc/meminfo: memFree=12351624/32951132 swapFree=67093840/67111528
[pid=27313] ppid=27311 vsize=113740 CPUtime=1782.3 cores=1,3,5,7
/proc/27313/stat : 27313 (scip-2.0.1.4b.l) R 27311 27313 27022 0 -1 4202496 130481 0 0 0 171326 6904 0 0 25 0 1 0 821170946 116469760 26910 33554432000 4194304 9163163 140737166200304 18446744073709551615 5275439 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27313/statm: 28435 26910 709 1214 0 27217 0
Current children cumulated CPU time (s) 1782.3
Current children cumulated vsize (KiB) 113740
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.1 s]
/proc/loadavg: 2.13 2.07 2.02 3/435 27390
/proc/meminfo: memFree=12348152/32951132 swapFree=67093840/67111528
[pid=27313] ppid=27311 vsize=115208 CPUtime=1800.11 cores=1,3,5,7
/proc/27313/stat : 27313 (scip-2.0.1.4b.l) R 27311 27313 27022 0 -1 4202496 130850 0 0 0 173081 6930 0 0 25 0 1 0 821170946 117972992 27279 33554432000 4194304 9163163 140737166200304 18446744073709551615 6918256 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/27313/statm: 28802 27279 712 1214 0 27584 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 115208
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.1 s]
/proc/loadavg: 2.13 2.07 2.02 3/435 27390
/proc/meminfo: memFree=12348152/32951132 swapFree=67093840/67111528
[pid=27313] ppid=27311 vsize=115208 CPUtime=1800.11 cores=1,3,5,7
/proc/27313/stat : 27313 (scip-2.0.1.4b.l) R 27311 27313 27022 0 -1 4202496 130850 0 0 0 173081 6930 0 0 25 0 1 0 821170946 117972992 27279 33554432000 4194304 9163163 140737166200304 18446744073709551615 6918256 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/27313/statm: 28802 27279 712 1214 0 27584 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 115208
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.12
CPU time (s): 1800.13
CPU user time (s): 1730.82
CPU system time (s): 69.3095
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 115208
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1730.82
system time used= 69.3095
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 130850
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= 5
involuntary context switches= 3080
runsolver used 7.46986 second user time and 17.9163 second system time
The end