0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2664238-1276465093.opb>
0.29/0.32 c original problem has 2490 variables (2490 bin, 0 int, 0 impl, 0 cont) and 16011 constraints
0.29/0.32 c problem read
0.29/0.32 c presolving settings loaded
0.29/0.32 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.39/0.40 c presolving:
0.59/0.69 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 15246 upgd conss, 102330 impls, 0 clqs
0.69/0.75 c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 16011 upgd conss, 102330 impls, 0 clqs
0.79/0.88 c (0.5s) probing: 101/2490 (4.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.79/0.88 c (0.5s) probing aborted: 100/100 successive totally useless probings
0.79/0.88 c presolving (3 rounds):
0.79/0.88 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.79/0.88 c 102330 implications, 0 cliques
0.79/0.88 c presolved problem has 2490 variables (2490 bin, 0 int, 0 impl, 0 cont) and 16011 constraints
0.79/0.88 c 16011 constraints of type <logicor>
0.79/0.88 c transformed objective value is always integral (scale: 1)
0.79/0.88 c Presolving Time: 0.43
0.79/0.88 c - non default parameters ----------------------------------------------------------------------
0.79/0.88 c # SCIP version 1.2.1.2
0.79/0.88 c
0.79/0.88 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.79/0.88 c # [type: int, range: [-1,2147483647], default: -1]
0.79/0.88 c conflict/interconss = 0
0.79/0.88 c
0.79/0.88 c # should binary conflicts be preferred?
0.79/0.88 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.79/0.88 c conflict/preferbinary = TRUE
0.79/0.88 c
0.79/0.88 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.79/0.88 c # [type: int, range: [-1,2147483647], default: 0]
0.79/0.88 c constraints/agelimit = 1
0.79/0.88 c
0.79/0.88 c # should enforcement of pseudo solution be disabled?
0.79/0.88 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.79/0.88 c constraints/disableenfops = TRUE
0.79/0.88 c
0.79/0.88 c # frequency for displaying node information lines
0.79/0.88 c # [type: int, range: [-1,2147483647], default: 100]
0.79/0.88 c display/freq = 10000
0.79/0.88 c
0.79/0.88 c # maximal time in seconds to run
0.79/0.88 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.79/0.88 c limits/time = 1799.69
0.79/0.88 c
0.79/0.88 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.79/0.88 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.79/0.88 c limits/memory = 1620
0.79/0.88 c
0.79/0.88 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.79/0.88 c # [type: int, range: [-1,2147483647], default: 1]
0.79/0.88 c lp/solvefreq = -1
0.79/0.88 c
0.79/0.88 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
0.79/0.88 c # [type: char, range: {lafpsqd}, default: l]
0.79/0.88 c lp/pricing = a
0.79/0.88 c
0.79/0.88 c # should presolving try to simplify inequalities
0.79/0.88 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.79/0.88 c constraints/linear/simplifyinequalities = TRUE
0.79/0.88 c
0.79/0.88 c # should presolving try to simplify knapsacks
0.79/0.88 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.79/0.88 c constraints/knapsack/simplifyinequalities = TRUE
0.79/0.88 c
0.79/0.88 c # priority of node selection rule <dfs> in standard mode
0.79/0.88 c # [type: int, range: [-536870912,536870911], default: 0]
0.79/0.88 c nodeselection/dfs/stdpriority = 1000000
0.79/0.88 c
0.79/0.88 c -----------------------------------------------------------------------------------------------
0.79/0.88 c start solving
0.79/0.89 c
0.79/0.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.79/0.89 c 0.5s| 1 | 2 | 0 | - | 20M| 0 | - |2490 | 16k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
5.28/5.31 o 1156
5.28/5.31 c * 4.8s| 1968 | 435 | 0 | 0.0 | 20M| 455 | - |2490 | 16k| 0 | 0 | 0 | 973 | 0 | 1.000000e+00 | 1.156000e+03 | Large
13.08/13.10 c 12.5s| 10000 | 426 | 0 | 0.0 | 20M| 455 | - |2490 | 16k| 0 | 0 | 0 |1343 | 0 | 1.000000e+00 | 1.156000e+03 | Large
22.78/22.81 c 22.0s| 20000 | 422 | 0 | 0.0 | 20M| 455 | - |2490 | 16k| 0 | 0 | 0 |1787 | 0 | 1.000000e+00 | 1.156000e+03 | Large
32.77/32.81 c 31.9s| 30000 | 425 | 0 | 0.0 | 20M| 455 | - |2490 | 16k| 0 | 0 | 0 |2303 | 0 | 1.000000e+00 | 1.156000e+03 | Large
42.37/42.46 c 41.4s| 40000 | 424 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 |2804 | 0 | 1.000000e+00 | 1.156000e+03 | Large
52.47/52.55 c 51.4s| 50000 | 424 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 |3315 | 0 | 1.000000e+00 | 1.156000e+03 | Large
62.36/62.46 c 61.1s| 60000 | 422 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 |3836 | 0 | 1.000000e+00 | 1.156000e+03 | Large
72.36/72.41 c 71.0s| 70000 | 422 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 |4393 | 0 | 1.000000e+00 | 1.156000e+03 | Large
82.47/82.50 c 80.9s| 80000 | 419 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 |4986 | 0 | 1.000000e+00 | 1.156000e+03 | Large
92.56/92.61 c 90.9s| 90000 | 421 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 |5527 | 0 | 1.000000e+00 | 1.156000e+03 | Large
102.55/102.65 c 101s|100000 | 422 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 |6064 | 0 | 1.000000e+00 | 1.156000e+03 | Large
112.54/112.64 c 111s|110000 | 419 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 |6614 | 0 | 1.000000e+00 | 1.156000e+03 | Large
122.94/123.10 c 121s|120000 | 420 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 |7234 | 0 | 1.000000e+00 | 1.156000e+03 | Large
133.14/133.22 c 131s|130000 | 419 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 |7808 | 0 | 1.000000e+00 | 1.156000e+03 | Large
143.14/143.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
143.14/143.28 c 141s|140000 | 417 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 |8362 | 0 | 1.000000e+00 | 1.156000e+03 | Large
153.24/153.36 c 151s|150000 | 418 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 |8947 | 0 | 1.000000e+00 | 1.156000e+03 | Large
163.73/163.85 c 161s|160000 | 420 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 |9549 | 0 | 1.000000e+00 | 1.156000e+03 | Large
174.13/174.26 c 171s|170000 | 416 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 10k| 0 | 1.000000e+00 | 1.156000e+03 | Large
184.32/184.43 c 181s|180000 | 415 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 10k| 0 | 1.000000e+00 | 1.156000e+03 | Large
194.22/194.34 c 191s|190000 | 420 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 11k| 0 | 1.000000e+00 | 1.156000e+03 | Large
204.62/204.71 c 201s|200000 | 415 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 11k| 0 | 1.000000e+00 | 1.156000e+03 | Large
215.11/215.30 c 212s|210000 | 416 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 12k| 0 | 1.000000e+00 | 1.156000e+03 | Large
226.01/226.11 c 223s|220000 | 415 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 13k| 0 | 1.000000e+00 | 1.156000e+03 | Large
236.30/236.46 c 233s|230000 | 419 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 13k| 0 | 1.000000e+00 | 1.156000e+03 | Large
246.70/246.84 c 243s|240000 | 416 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 14k| 0 | 1.000000e+00 | 1.156000e+03 | Large
257.20/257.33 c 253s|250000 | 416 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 14k| 0 | 1.000000e+00 | 1.156000e+03 | Large
267.60/267.79 c 264s|260000 | 413 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 15k| 0 | 1.000000e+00 | 1.156000e+03 | Large
278.59/278.71 c 274s|270000 | 410 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 16k| 0 | 1.000000e+00 | 1.156000e+03 | Large
289.39/289.51 c 285s|280000 | 412 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 16k| 0 | 1.000000e+00 | 1.156000e+03 | Large
300.08/300.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
300.08/300.20 c 296s|290000 | 414 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 17k| 0 | 1.000000e+00 | 1.156000e+03 | Large
310.58/310.78 c 306s|300000 | 411 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 18k| 0 | 1.000000e+00 | 1.156000e+03 | Large
321.37/321.53 c 317s|310000 | 413 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 18k| 0 | 1.000000e+00 | 1.156000e+03 | Large
332.08/332.23 c 327s|320000 | 413 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 19k| 0 | 1.000000e+00 | 1.156000e+03 | Large
342.77/342.96 c 338s|330000 | 410 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 20k| 0 | 1.000000e+00 | 1.156000e+03 | Large
353.47/353.68 c 348s|340000 | 413 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 20k| 0 | 1.000000e+00 | 1.156000e+03 | Large
363.97/364.19 c 359s|350000 | 412 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 21k| 0 | 1.000000e+00 | 1.156000e+03 | Large
374.35/374.52 c 369s|360000 | 413 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 21k| 0 | 1.000000e+00 | 1.156000e+03 | Large
384.76/384.92 c 379s|370000 | 411 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 22k| 0 | 1.000000e+00 | 1.156000e+03 | Large
395.45/395.62 c 390s|380000 | 411 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 23k| 0 | 1.000000e+00 | 1.156000e+03 | Large
405.75/405.98 c 400s|390000 | 413 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 23k| 0 | 1.000000e+00 | 1.156000e+03 | Large
416.24/416.41 c 410s|400000 | 412 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 24k| 0 | 1.000000e+00 | 1.156000e+03 | Large
426.85/427.04 c 421s|410000 | 406 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 25k| 0 | 1.000000e+00 | 1.156000e+03 | Large
437.53/437.77 c 431s|420000 | 408 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 25k| 0 | 1.000000e+00 | 1.156000e+03 | Large
448.13/448.34 c 442s|430000 | 409 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 26k| 0 | 1.000000e+00 | 1.156000e+03 | Large
458.64/458.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
458.64/458.82 c 452s|440000 | 403 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 26k| 0 | 1.000000e+00 | 1.156000e+03 | Large
468.72/468.93 c 462s|450000 | 406 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 27k| 0 | 1.000000e+00 | 1.156000e+03 | Large
479.43/479.66 c 473s|460000 | 407 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 28k| 0 | 1.000000e+00 | 1.156000e+03 | Large
489.92/490.13 c 483s|470000 | 407 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 28k| 0 | 1.000000e+00 | 1.156000e+03 | Large
500.32/500.51 c 493s|480000 | 406 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 29k| 0 | 1.000000e+00 | 1.156000e+03 | Large
510.72/510.99 c 503s|490000 | 404 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 29k| 0 | 1.000000e+00 | 1.156000e+03 | Large
521.41/521.62 c 514s|500000 | 400 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 30k| 0 | 1.000000e+00 | 1.156000e+03 | Large
532.31/532.58 c 525s|510000 | 403 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 31k| 0 | 1.000000e+00 | 1.156000e+03 | Large
543.31/543.53 c 536s|520000 | 403 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 31k| 0 | 1.000000e+00 | 1.156000e+03 | Large
553.89/554.10 c 546s|530000 | 402 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 32k| 0 | 1.000000e+00 | 1.156000e+03 | Large
564.60/564.83 c 557s|540000 | 400 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 33k| 0 | 1.000000e+00 | 1.156000e+03 | Large
575.09/575.30 c 567s|550000 | 405 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 33k| 0 | 1.000000e+00 | 1.156000e+03 | Large
585.58/585.81 c 577s|560000 | 399 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 34k| 0 | 1.000000e+00 | 1.156000e+03 | Large
596.58/596.80 c 588s|570000 | 400 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 35k| 0 | 1.000000e+00 | 1.156000e+03 | Large
606.98/607.21 c 598s|580000 | 399 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 35k| 0 | 1.000000e+00 | 1.156000e+03 | Large
617.58/617.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
617.58/617.88 c 609s|590000 | 401 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 36k| 0 | 1.000000e+00 | 1.156000e+03 | Large
628.47/628.76 c 620s|600000 | 400 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 36k| 0 | 1.000000e+00 | 1.156000e+03 | Large
639.17/639.44 c 630s|610000 | 394 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 37k| 0 | 1.000000e+00 | 1.156000e+03 | Large
649.87/650.16 c 641s|620000 | 397 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 38k| 0 | 1.000000e+00 | 1.156000e+03 | Large
661.16/661.47 c 652s|630000 | 393 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 38k| 0 | 1.000000e+00 | 1.156000e+03 | Large
672.36/672.67 c 663s|640000 | 392 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 39k| 0 | 1.000000e+00 | 1.156000e+03 | Large
683.25/683.58 c 674s|650000 | 395 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 40k| 0 | 1.000000e+00 | 1.156000e+03 | Large
694.15/694.47 c 684s|660000 | 394 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 41k| 0 | 1.000000e+00 | 1.156000e+03 | Large
705.15/705.46 c 695s|670000 | 394 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 41k| 0 | 1.000000e+00 | 1.156000e+03 | Large
716.44/716.76 c 706s|680000 | 393 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 42k| 0 | 1.000000e+00 | 1.156000e+03 | Large
727.14/727.41 c 717s|690000 | 392 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 43k| 0 | 1.000000e+00 | 1.156000e+03 | Large
738.14/738.48 c 728s|700000 | 395 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 43k| 0 | 1.000000e+00 | 1.156000e+03 | Large
749.13/749.43 c 739s|710000 | 390 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 44k| 0 | 1.000000e+00 | 1.156000e+03 | Large
759.93/760.25 c 749s|720000 | 391 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 45k| 0 | 1.000000e+00 | 1.156000e+03 | Large
770.93/771.27 c 760s|730000 | 391 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 45k| 0 | 1.000000e+00 | 1.156000e+03 | Large
781.92/782.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
781.92/782.24 c 771s|740000 | 390 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 46k| 0 | 1.000000e+00 | 1.156000e+03 | Large
792.42/792.70 c 781s|750000 | 391 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 47k| 0 | 1.000000e+00 | 1.156000e+03 | Large
802.91/803.29 c 792s|760000 | 393 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 47k| 0 | 1.000000e+00 | 1.156000e+03 | Large
813.72/814.07 c 802s|770000 | 389 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 48k| 0 | 1.000000e+00 | 1.156000e+03 | Large
824.61/824.92 c 813s|780000 | 387 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 48k| 0 | 1.000000e+00 | 1.156000e+03 | Large
835.51/835.80 c 824s|790000 | 391 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 49k| 0 | 1.000000e+00 | 1.156000e+03 | Large
846.30/846.62 c 834s|800000 | 391 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 50k| 0 | 1.000000e+00 | 1.156000e+03 | Large
856.99/857.33 c 845s|810000 | 389 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 50k| 0 | 1.000000e+00 | 1.156000e+03 | Large
867.89/868.29 c 856s|820000 | 387 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 51k| 0 | 1.000000e+00 | 1.156000e+03 | Large
878.70/879.04 c 866s|830000 | 387 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 52k| 0 | 1.000000e+00 | 1.156000e+03 | Large
889.48/889.84 c 877s|840000 | 389 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 52k| 0 | 1.000000e+00 | 1.156000e+03 | Large
900.38/900.71 c 888s|850000 | 388 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 53k| 0 | 1.000000e+00 | 1.156000e+03 | Large
911.18/911.54 c 898s|860000 | 390 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 54k| 0 | 1.000000e+00 | 1.156000e+03 | Large
921.27/921.65 c 908s|870000 | 389 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 54k| 0 | 1.000000e+00 | 1.156000e+03 | Large
931.77/932.14 c 919s|880000 | 387 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 55k| 0 | 1.000000e+00 | 1.156000e+03 | Large
941.77/942.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
941.77/942.12 c 929s|890000 | 384 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 55k| 0 | 1.000000e+00 | 1.156000e+03 | Large
952.16/952.57 c 939s|900000 | 387 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 56k| 0 | 1.000000e+00 | 1.156000e+03 | Large
962.96/963.36 c 950s|910000 | 386 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 56k| 0 | 1.000000e+00 | 1.156000e+03 | Large
973.45/973.80 c 960s|920000 | 386 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 57k| 0 | 1.000000e+00 | 1.156000e+03 | Large
984.05/984.43 c 970s|930000 | 387 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 58k| 0 | 1.000000e+00 | 1.156000e+03 | Large
994.55/994.97 c 981s|940000 | 386 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 58k| 0 | 1.000000e+00 | 1.156000e+03 | Large
1004.94/1005.32 c 991s|950000 | 389 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 59k| 0 | 1.000000e+00 | 1.156000e+03 | Large
1015.24/1015.68 c 1001s|960000 | 390 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 59k| 0 | 1.000000e+00 | 1.156000e+03 | Large
1025.95/1026.35 c 1012s|970000 | 384 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 60k| 0 | 1.000000e+00 | 1.156000e+03 | Large
1036.14/1036.56 c 1022s|980000 | 386 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 60k| 0 | 1.000000e+00 | 1.156000e+03 | Large
1046.43/1046.87 c 1032s|990000 | 387 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 61k| 0 | 1.000000e+00 | 1.156000e+03 | Large
1056.33/1056.78 c 1042s| 1000k| 386 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 61k| 0 | 1.000000e+00 | 1.156000e+03 | Large
1066.12/1066.59 c 1051s| 1010k| 393 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 62k| 0 | 1.000000e+00 | 1.156000e+03 | Large
1076.42/1076.81 c 1061s| 1020k| 383 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 62k| 0 | 1.000000e+00 | 1.156000e+03 | Large
1086.21/1086.62 c 1071s| 1030k| 385 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 63k| 0 | 1.000000e+00 | 1.156000e+03 | Large
1096.52/1096.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1096.52/1096.95 c 1081s| 1040k| 381 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 63k| 0 | 1.000000e+00 | 1.156000e+03 | Large
1106.51/1106.97 c 1091s| 1050k| 391 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 64k| 0 | 1.000000e+00 | 1.156000e+03 | Large
1117.51/1117.92 c 1102s| 1060k| 384 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 65k| 0 | 1.000000e+00 | 1.156000e+03 | Large
1127.21/1127.65 c 1111s| 1070k| 390 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 65k| 0 | 1.000000e+00 | 1.156000e+03 | Large
1136.71/1137.11 c 1121s| 1080k| 385 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 65k| 0 | 1.000000e+00 | 1.156000e+03 | Large
1146.69/1147.14 c 1130s| 1090k| 383 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 66k| 0 | 1.000000e+00 | 1.156000e+03 | Large
1156.30/1156.72 c 1140s| 1100k| 384 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 66k| 0 | 1.000000e+00 | 1.156000e+03 | Large
1166.39/1166.88 c 1150s| 1110k| 385 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 67k| 0 | 1.000000e+00 | 1.156000e+03 | Large
1176.98/1177.41 c 1160s| 1120k| 386 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 67k| 0 | 1.000000e+00 | 1.156000e+03 | Large
1187.69/1188.18 c 1171s| 1130k| 386 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 68k| 0 | 1.000000e+00 | 1.156000e+03 | Large
1198.18/1198.67 c 1181s| 1140k| 386 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 69k| 0 | 1.000000e+00 | 1.156000e+03 | Large
1208.77/1209.28 c 1192s| 1150k| 385 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 69k| 0 | 1.000000e+00 | 1.156000e+03 | Large
1219.18/1219.69 c 1202s| 1160k| 383 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 70k| 0 | 1.000000e+00 | 1.156000e+03 | Large
1229.38/1229.89 c 1212s| 1170k| 384 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 71k| 0 | 1.000000e+00 | 1.156000e+03 | Large
1239.37/1239.86 c 1222s| 1180k| 382 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 71k| 0 | 1.000000e+00 | 1.156000e+03 | Large
1249.27/1249.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1249.27/1249.78 c 1231s| 1190k| 383 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 72k| 0 | 1.000000e+00 | 1.156000e+03 | Large
1259.46/1259.92 c 1241s| 1200k| 388 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 72k| 0 | 1.000000e+00 | 1.156000e+03 | Large
1269.95/1270.43 c 1252s| 1210k| 384 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 73k| 0 | 1.000000e+00 | 1.156000e+03 | Large
1279.75/1280.20 c 1261s| 1220k| 385 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 73k| 0 | 1.000000e+00 | 1.156000e+03 | Large
1288.95/1289.49 c 1270s| 1230k| 383 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 73k| 0 | 1.000000e+00 | 1.156000e+03 | Large
1298.05/1298.57 c 1279s| 1240k| 385 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 74k| 0 | 1.000000e+00 | 1.156000e+03 | Large
1308.34/1308.86 c 1290s| 1250k| 382 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 74k| 0 | 1.000000e+00 | 1.156000e+03 | Large
1318.64/1319.18 c 1300s| 1260k| 384 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 75k| 0 | 1.000000e+00 | 1.156000e+03 | Large
1329.04/1329.51 c 1310s| 1270k| 388 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 75k| 0 | 1.000000e+00 | 1.156000e+03 | Large
1339.03/1339.52 c 1320s| 1280k| 383 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 76k| 0 | 1.000000e+00 | 1.156000e+03 | Large
1349.63/1350.17 c 1330s| 1290k| 385 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 77k| 0 | 1.000000e+00 | 1.156000e+03 | Large
1359.53/1360.07 c 1340s| 1300k| 384 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 77k| 0 | 1.000000e+00 | 1.156000e+03 | Large
1369.40/1369.92 c 1350s| 1310k| 384 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 77k| 0 | 1.000000e+00 | 1.156000e+03 | Large
1379.30/1379.89 c 1359s| 1320k| 381 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 78k| 0 | 1.000000e+00 | 1.156000e+03 | Large
1389.69/1390.25 c 1370s| 1330k| 381 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 79k| 0 | 1.000000e+00 | 1.156000e+03 | Large
1399.39/1399.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1399.39/1399.94 c 1379s| 1340k| 382 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 79k| 0 | 1.000000e+00 | 1.156000e+03 | Large
1409.09/1409.66 c 1389s| 1350k| 391 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 79k| 0 | 1.000000e+00 | 1.156000e+03 | Large
1409.29/1409.88 o 1155
1409.29/1409.88 c *1389s| 1350k| 388 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 79k| 0 | 1.000000e+00 | 1.155000e+03 | Large
1418.49/1419.09 o 1154
1418.49/1419.09 c *1398s| 1359k| 383 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 80k| 0 | 1.000000e+00 | 1.154000e+03 | Large
1419.29/1419.83 c 1399s| 1360k| 381 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 80k| 0 | 1.000000e+00 | 1.154000e+03 | Large
1429.28/1429.82 c 1408s| 1370k| 382 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 80k| 0 | 1.000000e+00 | 1.154000e+03 | Large
1439.38/1439.95 c 1418s| 1380k| 388 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 81k| 0 | 1.000000e+00 | 1.154000e+03 | Large
1450.17/1450.77 c 1429s| 1390k| 384 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 81k| 0 | 1.000000e+00 | 1.154000e+03 | Large
1460.57/1461.18 c 1439s| 1400k| 382 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 82k| 0 | 1.000000e+00 | 1.154000e+03 | Large
1471.77/1472.34 c 1450s| 1410k| 386 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 83k| 0 | 1.000000e+00 | 1.154000e+03 | Large
1482.17/1482.80 c 1461s| 1420k| 384 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 83k| 0 | 1.000000e+00 | 1.154000e+03 | Large
1491.56/1492.16 c 1470s| 1430k| 383 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 83k| 0 | 1.000000e+00 | 1.154000e+03 | Large
1500.66/1501.29 c 1479s| 1440k| 385 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 84k| 0 | 1.000000e+00 | 1.154000e+03 | Large
1508.76/1509.36 o 1153
1508.76/1509.36 c *1487s| 1448k| 386 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 84k| 0 | 1.000000e+00 | 1.153000e+03 | Large
1510.45/1511.08 c 1488s| 1450k| 384 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 84k| 0 | 1.000000e+00 | 1.153000e+03 | Large
1519.85/1520.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1519.85/1520.43 c 1498s| 1460k| 384 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 84k| 0 | 1.000000e+00 | 1.153000e+03 | Large
1529.45/1530.02 c 1507s| 1470k| 388 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 85k| 0 | 1.000000e+00 | 1.153000e+03 | Large
1539.64/1540.25 c 1517s| 1480k| 385 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 85k| 0 | 1.000000e+00 | 1.153000e+03 | Large
1549.54/1550.11 c 1527s| 1490k| 382 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 86k| 0 | 1.000000e+00 | 1.153000e+03 | Large
1558.54/1559.11 c 1536s| 1500k| 383 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 86k| 0 | 1.000000e+00 | 1.153000e+03 | Large
1568.54/1569.17 c 1546s| 1510k| 380 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 86k| 0 | 1.000000e+00 | 1.153000e+03 | Large
1578.23/1578.85 c 1555s| 1520k| 382 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 87k| 0 | 1.000000e+00 | 1.153000e+03 | Large
1587.94/1588.57 c 1565s| 1530k| 382 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 87k| 0 | 1.000000e+00 | 1.153000e+03 | Large
1598.03/1598.67 c 1575s| 1540k| 384 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 88k| 0 | 1.000000e+00 | 1.153000e+03 | Large
1607.42/1608.08 c 1584s| 1550k| 383 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 88k| 0 | 1.000000e+00 | 1.153000e+03 | Large
1616.62/1617.22 c 1593s| 1560k| 383 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 88k| 0 | 1.000000e+00 | 1.153000e+03 | Large
1625.11/1625.73 c 1601s| 1570k| 384 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 89k| 0 | 1.000000e+00 | 1.153000e+03 | Large
1635.31/1635.98 c 1611s| 1580k| 383 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 89k| 0 | 1.000000e+00 | 1.153000e+03 | Large
1645.50/1646.17 c 1621s| 1590k| 382 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 90k| 0 | 1.000000e+00 | 1.153000e+03 | Large
1655.21/1655.87 c 1631s| 1600k| 384 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 90k| 0 | 1.000000e+00 | 1.153000e+03 | Large
1665.00/1665.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1665.00/1665.67 c 1640s| 1610k| 384 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 90k| 0 | 1.000000e+00 | 1.153000e+03 | Large
1674.81/1675.43 c 1650s| 1620k| 390 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 91k| 0 | 1.000000e+00 | 1.153000e+03 | Large
1684.90/1685.51 c 1660s| 1630k| 384 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 91k| 0 | 1.000000e+00 | 1.153000e+03 | Large
1694.29/1694.90 c 1669s| 1640k| 380 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 92k| 0 | 1.000000e+00 | 1.153000e+03 | Large
1704.40/1705.01 c 1679s| 1650k| 381 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 92k| 0 | 1.000000e+00 | 1.153000e+03 | Large
1714.08/1714.73 c 1689s| 1660k| 384 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 92k| 0 | 1.000000e+00 | 1.153000e+03 | Large
1724.08/1724.79 c 1699s| 1670k| 381 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 93k| 0 | 1.000000e+00 | 1.153000e+03 | Large
1734.08/1734.79 c 1708s| 1680k| 381 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 93k| 0 | 1.000000e+00 | 1.153000e+03 | Large
1744.37/1745.01 c 1718s| 1690k| 379 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 94k| 0 | 1.000000e+00 | 1.153000e+03 | Large
1754.67/1755.33 c 1729s| 1700k| 384 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 94k| 0 | 1.000000e+00 | 1.153000e+03 | Large
1764.77/1765.48 c 1739s| 1710k| 383 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 95k| 0 | 1.000000e+00 | 1.153000e+03 | Large
1774.47/1775.19 c 1748s| 1720k| 384 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 95k| 0 | 1.000000e+00 | 1.153000e+03 | Large
1783.96/1784.68 c 1757s| 1730k| 386 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 96k| 0 | 1.000000e+00 | 1.153000e+03 | Large
1794.05/1794.76 c 1767s| 1740k| 381 | 0 | 0.0 | 20M| 458 | - |2490 | 16k| 0 | 0 | 0 | 96k| 0 | 1.000000e+00 | 1.153000e+03 | Large
1800.07/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.07/1800.71 c
1800.07/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.71 c Solving Time (sec) : 1773.19
1800.07/1800.71 c Solving Nodes : 1746124
1800.07/1800.71 c Primal Bound : +1.15300000000000e+03 (4 solutions)
1800.07/1800.71 c Dual Bound : +1.00000000000000e+00
1800.07/1800.71 c Gap : 115200.00 %
1800.07/1800.73 s SATISFIABLE
1800.07/1800.73 v x2490 -x2489 x2488 -x2487 x2486 -x2485 x2484 -x2483 -x2482 -x2481 -x2480 x2479 -x2478 -x2477 x2476 -x2475 x2474 -x2473 x2472 -x2471
1800.07/1800.73 v x2470 -x2469 x2468 -x2467 x2466 -x2465 x2464 -x2463 x2462 -x2461 x2460 -x2459 x2458 -x2457 x2456 -x2455 -x2454 -x2453 x2452
1800.07/1800.73 v -x2451 x2450 -x2449 x2448 -x2447 x2446 -x2445 x2444 -x2443 x2442 -x2441 x2440 -x2439 -x2438 x2437 x2436 -x2435 x2434 -x2433
1800.07/1800.73 v x2432 -x2431 -x2430 x2429 x2428 -x2427 x2426 -x2425 x2424 -x2423 x2422 -x2421 x2420 -x2419 x2418 -x2417 x2416 -x2415 x2414
1800.07/1800.73 v -x2413 x2412 -x2411 x2410 -x2409 x2408 -x2407 x2406 -x2405 x2404 -x2403 x2402 -x2401 x2400 -x2399 x2398 -x2397 x2396 -x2395
1800.07/1800.73 v -x2394 x2393 x2392 -x2391 x2390 -x2389 x2388 -x2387 x2386 -x2385 x2384 -x2383 x2382 -x2381 x2380 -x2379 x2378 -x2377 x2376 -x2375
1800.07/1800.73 v x2374 -x2373 x2372 -x2371 x2370 -x2369 x2368 -x2367 x2366 -x2365 x2364 -x2363 -x2362 x2361 x2360 -x2359 x2358 -x2357 x2356
1800.07/1800.73 v -x2355 x2354 -x2353 x2352 -x2351 x2350 -x2349 x2348 -x2347 x2346 -x2345 x2344 -x2343 x2342 -x2341 x2340 -x2339 -x2338 x2337
1800.07/1800.73 v x2336 -x2335 x2334 -x2333 x2332 -x2331 x2330 -x2329 x2328 -x2327 x2326 -x2325 x2324 -x2323 x2322 -x2321 x2320 -x2319 x2318
1800.07/1800.73 v -x2317 x2316 -x2315 x2314 -x2313 x2312 -x2311 x2310 -x2309 x2308 -x2307 x2306 -x2305 -x2304 x2303 x2302 -x2301 x2300 -x2299 x2298
1800.07/1800.73 v -x2297 x2296 -x2295 x2294 -x2293 x2292 -x2291 x2290 -x2289 x2288 -x2287 x2286 -x2285 x2284 -x2283 x2282 -x2281 x2280 -x2279
1800.07/1800.73 v x2278 -x2277 x2276 -x2275 x2274 -x2273 x2272 -x2271 x2270 -x2269 x2268 -x2267 -x2266 x2265 x2264 -x2263 x2262 -x2261 x2260
1800.07/1800.73 v -x2259 x2258 -x2257 x2256 -x2255 x2254 -x2253 x2252 -x2251 x2250 -x2249 x2248 -x2247 x2246 -x2245 x2244 -x2243 x2242 -x2241
1800.07/1800.73 v x2240 -x2239 x2238 -x2237 x2236 -x2235 x2234 -x2233 x2232 -x2231 x2230 -x2229 -x2228 x2227 x2226 -x2225 x2224 -x2223 x2222 -x2221
1800.07/1800.73 v x2220 -x2219 x2218 -x2217 x2216 -x2215 x2214 -x2213 -x2212 -x2211 x2210 -x2209 x2208 -x2207 x2206 -x2205 x2204 -x2203 x2202
1800.07/1800.73 v -x2201 -x2200 x2199 x2198 -x2197 x2196 -x2195 x2194 -x2193 x2192 -x2191 x2190 -x2189 x2188 -x2187 x2186 -x2185 x2184 -x2183
1800.07/1800.73 v x2182 -x2181 x2180 -x2179 x2178 -x2177 x2176 -x2175 x2174 -x2173 x2172 -x2171 x2170 -x2169 x2168 -x2167 x2166 -x2165 x2164
1800.07/1800.73 v -x2163 -x2162 x2161 x2160 -x2159 x2158 -x2157 x2156 -x2155 x2154 -x2153 x2152 -x2151 x2150 -x2149 x2148 -x2147 x2146 -x2145
1800.07/1800.73 v x2144 -x2143 -x2142 x2141 x2140 -x2139 x2138 -x2137 x2136 -x2135 x2134 -x2133 x2132 -x2131 x2130 -x2129 x2128 -x2127 x2126 -x2125
1800.07/1800.73 v x2124 -x2123 x2122 -x2121 x2120 -x2119 -x2118 x2117 x2116 -x2115 x2114 -x2113 x2112 -x2111 x2110 -x2109 x2108 -x2107 x2106
1800.07/1800.73 v -x2105 x2104 -x2103 x2102 -x2101 x2100 -x2099 x2098 -x2097 x2096 -x2095 x2094 -x2093 x2092 -x2091 x2090 -x2089 x2088 -x2087
1800.07/1800.73 v x2086 -x2085 -x2084 -x2083 x2082 -x2081 x2080 -x2079 -x2078 x2077 x2076 -x2075 x2074 -x2073 x2072 -x2071 x2070 -x2069 x2068
1800.07/1800.73 v -x2067 x2066 -x2065 x2064 -x2063 x2062 -x2061 x2060 -x2059 x2058 -x2057 x2056 -x2055 -x2054 x2053 x2052 -x2051 x2050 -x2049
1800.07/1800.73 v x2048 -x2047 x2046 -x2045 x2044 -x2043 x2042 -x2041 -x2040 x2039 x2038 -x2037 x2036 -x2035 x2034 -x2033 x2032 -x2031 x2030 -x2029
1800.07/1800.73 v x2028 -x2027 x2026 -x2025 x2024 -x2023 x2022 -x2021 x2020 -x2019 x2018 -x2017 x2016 -x2015 x2014 -x2013 x2012 -x2011 x2010
1800.07/1800.73 v -x2009 x2008 -x2007 x2006 -x2005 x2004 -x2003 x2002 -x2001 x2000 -x1999 x1998 -x1997 -x1996 x1995 x1994 -x1993 x1992 -x1991
1800.07/1800.73 v x1990 -x1989 x1988 -x1987 x1986 -x1985 x1984 -x1983 -x1982 -x1981 x1980 -x1979 x1978 -x1977 x1976 -x1975 x1974 -x1973 x1972
1800.07/1800.73 v -x1971 x1970 -x1969 x1968 -x1967 x1966 -x1965 x1964 -x1963 x1962 -x1961 x1960 -x1959 x1958 -x1957 x1956 -x1955 x1954 -x1953
1800.07/1800.73 v -x1952 x1951 x1950 -x1949 x1948 -x1947 x1946 -x1945 x1944 -x1943 x1942 -x1941 x1940 -x1939 x1938 -x1937 x1936 -x1935 -x1934
1800.07/1800.73 v x1933 x1932 -x1931 x1930 -x1929 x1928 -x1927 x1926 -x1925 x1924 -x1923 x1922 -x1921 x1920 -x1919 x1918 -x1917 x1916 -x1915 x1914
1800.07/1800.73 v -x1913 x1912 -x1911 x1910 -x1909 x1908 -x1907 x1906 -x1905 x1904 -x1903 x1902 -x1901 x1900 -x1899 x1898 -x1897 x1896 -x1895
1800.07/1800.73 v x1894 -x1893 -x1892 x1891 x1890 -x1889 x1888 -x1887 x1886 -x1885 x1884 -x1883 -x1882 x1881 x1880 -x1879 x1878 -x1877 x1876
1800.07/1800.73 v -x1875 x1874 -x1873 x1872 -x1871 x1870 -x1869 x1868 -x1867 x1866 -x1865 x1864 -x1863 x1862 -x1861 x1860 -x1859 x1858 -x1857
1800.07/1800.73 v x1856 -x1855 x1854 -x1853 x1852 -x1851 x1850 -x1849 x1848 -x1847 x1846 -x1845 x1844 -x1843 x1842 -x1841 -x1840 x1839 x1838 -x1837
1800.07/1800.73 v x1836 -x1835 x1834 -x1833 x1832 -x1831 x1830 -x1829 -x1828 x1827 x1826 -x1825 x1824 -x1823 x1822 -x1821 x1820 -x1819 x1818
1800.07/1800.73 v -x1817 x1816 -x1815 x1814 -x1813 x1812 -x1811 x1810 -x1809 x1808 -x1807 x1806 -x1805 x1804 -x1803 x1802 -x1801 x1800 -x1799
1800.07/1800.73 v x1798 -x1797 x1796 -x1795 x1794 -x1793 -x1792 -x1791 -x1790 x1789 -x1788 -x1787 x1786 -x1785 x1784 -x1783 x1782 -x1781 x1780
1800.07/1800.73 v -x1779 x1778 -x1777 x1776 -x1775 x1774 -x1773 x1772 -x1771 x1770 -x1769 x1768 -x1767 x1766 -x1765 x1764 -x1763 x1762 -x1761
1800.07/1800.73 v x1760 -x1759 x1758 -x1757 x1756 -x1755 -x1754 x1753 x1752 -x1751 x1750 -x1749 x1748 -x1747 x1746 -x1745 x1744 -x1743 x1742 -x1741
1800.07/1800.73 v x1740 -x1739 x1738 -x1737 x1736 -x1735 x1734 -x1733 -x1732 x1731 x1730 -x1729 x1728 -x1727 x1726 -x1725 x1724 -x1723 x1722
1800.07/1800.73 v -x1721 x1720 -x1719 x1718 -x1717 x1716 -x1715 x1714 -x1713 x1712 -x1711 x1710 -x1709 x1708 -x1707 x1706 -x1705 x1704 -x1703
1800.07/1800.73 v x1702 -x1701 x1700 -x1699 -x1698 -x1697 x1696 -x1695 -x1694 x1693 x1692 -x1691 x1690 -x1689 x1688 -x1687 x1686 -x1685 x1684
1800.07/1800.73 v -x1683 x1682 -x1681 x1680 -x1679 x1678 -x1677 x1676 -x1675 x1674 -x1673 x1672 -x1671 x1670 -x1669 x1668 -x1667 x1666 -x1665
1800.07/1800.73 v -x1664 x1663 x1662 -x1661 x1660 -x1659 x1658 -x1657 x1656 -x1655 x1654 -x1653 x1652 -x1651 x1650 -x1649 x1648 -x1647 x1646 -x1645
1800.07/1800.73 v x1644 -x1643 -x1642 x1641 x1640 -x1639 x1638 -x1637 x1636 -x1635 x1634 -x1633 x1632 -x1631 x1630 -x1629 x1628 -x1627 x1626
1800.07/1800.73 v -x1625 x1624 -x1623 x1622 -x1621 x1620 -x1619 x1618 -x1617 x1616 -x1615 x1614 -x1613 -x1612 x1611 x1610 -x1609 x1608 -x1607
1800.07/1800.73 v x1606 -x1605 x1604 -x1603 x1602 -x1601 x1600 -x1599 x1598 -x1597 x1596 -x1595 x1594 -x1593 x1592 -x1591 x1590 -x1589 x1588
1800.07/1800.73 v -x1587 x1586 -x1585 x1584 -x1583 -x1582 x1581 x1580 -x1579 x1578 -x1577 x1576 -x1575 x1574 -x1573 x1572 -x1571 x1570 -x1569
1800.07/1800.73 v x1568 -x1567 x1566 -x1565 x1564 -x1563 x1562 -x1561 x1560 -x1559 x1558 -x1557 x1556 -x1555 x1554 -x1553 x1552 -x1551 x1550 -x1549
1800.07/1800.73 v x1548 -x1547 x1546 -x1545 -x1544 x1543 x1542 -x1541 x1540 -x1539 x1538 -x1537 x1536 -x1535 x1534 -x1533 x1532 -x1531 x1530
1800.07/1800.73 v -x1529 x1528 -x1527 x1526 -x1525 x1524 -x1523 -x1522 -x1521 x1520 -x1519 -x1518 -x1517 x1516 -x1515 -x1514 x1513 x1512 -x1511
1800.07/1800.73 v x1510 -x1509 x1508 -x1507 x1506 -x1505 x1504 -x1503 x1502 -x1501 x1500 -x1499 x1498 -x1497 x1496 -x1495 x1494 -x1493 x1492
1800.07/1800.73 v -x1491 x1490 -x1489 x1488 -x1487 x1486 -x1485 x1484 -x1483 -x1482 x1481 x1480 -x1479 x1478 -x1477 x1476 -x1475 x1474 -x1473
1800.07/1800.73 v x1472 -x1471 -x1470 x1469 x1468 -x1467 x1466 -x1465 x1464 -x1463 x1462 -x1461 x1460 -x1459 -x1458 -x1457 x1456 -x1455 x1454
1800.07/1800.73 v -x1453 x1452 -x1451 x1450 -x1449 x1448 -x1447 x1446 -x1445 x1444 -x1443 x1442 -x1441 x1440 -x1439 x1438 -x1437 x1436 -x1435 x1434
1800.07/1800.73 v -x1433 -x1432 x1431 x1430 -x1429 x1428 -x1427 x1426 -x1425 x1424 -x1423 x1422 -x1421 x1420 -x1419 x1418 -x1417 x1416 -x1415
1800.07/1800.73 v x1414 -x1413 x1412 -x1411 x1410 -x1409 -x1408 x1407 x1406 -x1405 x1404 -x1403 x1402 -x1401 x1400 -x1399 x1398 -x1397 x1396
1800.07/1800.73 v -x1395 -x1394 -x1393 x1392 -x1391 x1390 -x1389 x1388 -x1387 x1386 -x1385 x1384 -x1383 x1382 -x1381 x1380 -x1379 x1378 -x1377
1800.07/1800.73 v x1376 -x1375 x1374 -x1373 x1372 -x1371 x1370 -x1369 x1368 -x1367 x1366 -x1365 x1364 -x1363 x1362 -x1361 x1360 -x1359 x1358
1800.07/1800.73 v -x1357 x1356 -x1355 x1354 -x1353 -x1352 x1351 -x1350 -x1349 x1348 -x1347 x1346 -x1345 x1344 -x1343 x1342 -x1341 -x1340 -x1339
1800.07/1800.73 v -x1338 x1337 x1336 -x1335 x1334 -x1333 x1332 -x1331 x1330 -x1329 x1328 -x1327 x1326 -x1325 x1324 -x1323 x1322 -x1321 x1320 -x1319
1800.07/1800.73 v x1318 -x1317 x1316 -x1315 x1314 -x1313 -x1312 x1311 x1310 -x1309 x1308 -x1307 x1306 -x1305 x1304 -x1303 x1302 -x1301 x1300
1800.07/1800.73 v -x1299 x1298 -x1297 x1296 -x1295 x1294 -x1293 x1292 -x1291 x1290 -x1289 x1288 -x1287 x1286 -x1285 x1284 -x1283 x1282 -x1281
1800.07/1800.73 v x1280 -x1279 x1278 -x1277 x1276 -x1275 x1274 -x1273 -x1272 x1271 x1270 -x1269 x1268 -x1267 x1266 -x1265 x1264 -x1263 x1262
1800.07/1800.73 v -x1261 x1260 -x1259 x1258 -x1257 x1256 -x1255 x1254 -x1253 -x1252 x1251 x1250 -x1249 x1248 -x1247 x1246 -x1245 x1244 -x1243
1800.07/1800.73 v x1242 -x1241 x1240 -x1239 x1238 -x1237 x1236 -x1235 x1234 -x1233 x1232 -x1231 x1230 -x1229 x1228 -x1227 -x1226 x1225 x1224 -x1223
1800.07/1800.73 v x1222 -x1221 x1220 -x1219 x1218 -x1217 x1216 -x1215 x1214 -x1213 x1212 -x1211 x1210 -x1209 x1208 -x1207 x1206 -x1205 x1204
1800.07/1800.73 v -x1203 x1202 -x1201 x1200 -x1199 x1198 -x1197 x1196 -x1195 x1194 -x1193 -x1192 x1191 x1190 -x1189 x1188 -x1187 x1186 -x1185
1800.07/1800.73 v x1184 -x1183 x1182 -x1181 x1180 -x1179 x1178 -x1177 x1176 -x1175 x1174 -x1173 x1172 -x1171 x1170 -x1169 x1168 -x1167 x1166
1800.07/1800.73 v -x1165 x1164 -x1163 x1162 -x1161 x1160 -x1159 x1158 -x1157 x1156 -x1155 x1154 -x1153 x1152 -x1151 x1150 -x1149 x1148 -x1147 x1146
1800.07/1800.73 v -x1145 x1144 -x1143 -x1142 x1141 -x1140 -x1139 x1138 -x1137 x1136 -x1135 x1134 -x1133 x1132 -x1131 x1130 -x1129 -x1128 x1127
1800.07/1800.73 v x1126 -x1125 x1124 -x1123 x1122 -x1121 x1120 -x1119 x1118 -x1117 x1116 -x1115 x1114 -x1113 x1112 -x1111 x1110 -x1109 x1108
1800.07/1800.73 v -x1107 x1106 -x1105 x1104 -x1103 -x1102 x1101 x1100 -x1099 x1098 -x1097 x1096 -x1095 x1094 -x1093 x1092 -x1091 x1090 -x1089
1800.07/1800.73 v x1088 -x1087 x1086 -x1085 x1084 -x1083 x1082 -x1081 x1080 -x1079 x1078 -x1077 x1076 -x1075 x1074 -x1073 x1072 -x1071 x1070
1800.07/1800.73 v -x1069 -x1068 x1067 x1066 -x1065 x1064 -x1063 x1062 -x1061 x1060 -x1059 x1058 -x1057 x1056 -x1055 x1054 -x1053 x1052 -x1051 x1050
1800.07/1800.73 v -x1049 x1048 -x1047 x1046 -x1045 x1044 -x1043 -x1042 x1041 x1040 -x1039 -x1038 -x1037 x1036 -x1035 x1034 -x1033 x1032 -x1031
1800.07/1800.73 v x1030 -x1029 x1028 -x1027 x1026 -x1025 x1024 -x1023 x1022 -x1021 x1020 -x1019 x1018 -x1017 x1016 -x1015 x1014 -x1013 -x1012
1800.07/1800.73 v -x1011 x1010 -x1009 x1008 -x1007 x1006 -x1005 x1004 -x1003 x1002 -x1001 -x1000 x999 x998 -x997 x996 -x995 x994 -x993 x992
1800.07/1800.73 v -x991 x990 -x989 x988 -x987 x986 -x985 x984 -x983 x982 -x981 x980 -x979 x978 -x977 x976 -x975 -x974 x973 x972 -x971 x970 -x969
1800.07/1800.73 v x968 -x967 x966 -x965 x964 -x963 x962 -x961 -x960 x959 -x958 x957 -x956 x955 -x954 x953 -x952 x951 -x950 x949 -x948 -x947
1800.07/1800.73 v -x946 x945 -x944 x943 -x942 -x941 -x940 x939 -x938 x937 -x936 x935 -x934 x933 -x932 x931 -x930 x929 -x928 x927 x926 -x925 x924
1800.07/1800.73 v -x923 -x922 x921 -x920 x919 x918 -x917 -x916 x915 x914 -x913 -x912 x911 -x910 x909 -x908 x907 -x906 x905 -x904 x903 -x902 x901
1800.07/1800.73 v -x900 x899 -x898 -x897 -x896 x895 -x894 x893 -x892 -x891 -x890 x889 -x888 x887 -x886 x885 -x884 -x883 -x882 x881 x880 -x879
1800.07/1800.73 v -x878 x877 -x876 x875 x874 -x873 x872 -x871 -x870 x869 -x868 x867 x866 -x865 -x864 x863 -x862 x861 -x860 x859 -x858 x857 -x856
1800.07/1800.73 v x855 -x854 x853 -x852 -x851 -x850 x849 -x848 x847 -x846 -x845 -x844 x843 -x842 x841 -x840 -x839 -x838 x837 -x836 -x835 -x834
1800.07/1800.73 v x833 -x832 -x831 -x830 x829 -x828 -x827 -x826 x825 -x824 -x823 -x822 x821 -x820 -x819 -x818 x817 -x816 -x815 -x814 x813
1800.07/1800.73 v x812 -x811 -x810 x809 -x808 x807 -x806 -x805 -x804 -x803 -x802 x801 -x800 x799 x798 -x797 -x796 -x795 -x794 x793 -x792 x791 x790
1800.07/1800.73 v -x789 -x788 x787 -x786 -x785 -x784 x783 -x782 -x781 -x780 x779 -x778 -x777 -x776 x775 x774 -x773 x772 -x771 -x770 x769 -x768
1800.07/1800.73 v x767 -x766 -x765 -x764 x763 -x762 x761 -x760 -x759 -x758 x757 -x756 x755 -x754 x753 x752 -x751 -x750 x749 -x748 x747 x746
1800.07/1800.73 v -x745 x744 -x743 -x742 x741 -x740 x739 x738 -x737 -x736 x735 -x734 x733 -x732 x731 -x730 -x729 -x728 -x727 -x726 x725 -x724
1800.07/1800.73 v x723 -x722 -x721 -x720 -x719 -x718 x717 -x716 x715 -x714 x713 -x712 x711 -x710 x709 -x708 -x707 -x706 x705 -x704 x703 -x702 x701
1800.07/1800.73 v -x700 x699 -x698 x697 -x696 x695 -x694 x693 -x692 x691 -x690 x689 -x688 x687 -x686 x685 -x684 x683 -x682 x681 -x680 x679
1800.07/1800.73 v -x678 x677 -x676 x675 -x674 x673 -x672 x671 -x670 x669 -x668 x667 -x666 x665 -x664 x663 -x662 x661 -x660 x659 -x658 x657 x656
1800.07/1800.73 v -x655 -x654 x653 -x652 x651 x650 -x649 x648 -x647 -x646 x645 -x644 x643 x642 -x641 -x640 x639 -x638 x637 -x636 x635 -x634 -x633
1800.07/1800.73 v -x632 x631 -x630 x629 x628 -x627 -x626 x625 -x624 x623 -x622 x621 -x620 x619 x618 -x617 -x616 x615 -x614 -x613 -x612 x611
1800.07/1800.73 v -x610 x609 -x608 x607 x606 -x605 -x604 x603 -x602 x601 -x600 x599 x598 -x597 -x596 x595 -x594 -x593 -x592 x591 -x590 x589 -x588
1800.07/1800.73 v x587 -x586 x585 -x584 -x583 -x582 x581 -x580 x579 x578 -x577 -x576 x575 -x574 x573 -x572 x571 -x570 x569 -x568 x567 -x566
1800.07/1800.73 v x565 -x564 x563 -x562 x561 -x560 x559 -x558 x557 -x556 x555 -x554 x553 -x552 x551 -x550 x549 -x548 x547 -x546 x545 -x544 x543
1800.07/1800.73 v x542 -x541 -x540 x539 -x538 x537 -x536 x535 x534 -x533 -x532 x531 x530 -x529 -x528 x527 -x526 x525 -x524 x523 -x522 x521 x520
1800.07/1800.73 v -x519 -x518 x517 -x516 x515 x514 -x513 -x512 x511 x510 -x509 x508 -x507 -x506 x505 -x504 x503 -x502 -x501 x500 -x499 -x498
1800.07/1800.73 v x497 -x496 x495 -x494 x493 -x492 x491 x490 -x489 -x488 x487 -x486 x485 -x484 x483 -x482 -x481 -x480 -x479 -x478 x477 -x476 -x475
1800.07/1800.73 v -x474 x473 -x472 -x471 -x470 x469 -x468 -x467 -x466 x465 x464 -x463 -x462 x461 -x460 -x459 -x458 x457 -x456 x455 -x454 x453
1800.07/1800.73 v -x452 -x451 -x450 x449 -x448 x447 -x446 x445 -x444 x443 -x442 x441 -x440 x439 -x438 x437 -x436 x435 -x434 x433 x432 -x431
1800.07/1800.73 v -x430 x429 -x428 x427 x426 -x425 x424 -x423 -x422 x421 -x420 x419 x418 -x417 -x416 x415 -x414 x413 -x412 x411 -x410 x409 -x408
1800.07/1800.73 v x407 -x406 -x405 -x404 x403 -x402 x401 -x400 x399 -x398 x397 -x396 x395 -x394 x393 -x392 x391 -x390 x389 -x388 x387 -x386
1800.07/1800.73 v x385 -x384 x383 -x382 x381 -x380 x379 -x378 x377 -x376 x375 -x374 x373 -x372 x371 -x370 -x369 -x368 x367 x366 -x365 -x364 x363
1800.07/1800.73 v -x362 x361 -x360 x359 -x358 x357 -x356 x355 -x354 x353 -x352 x351 x350 -x349 -x348 -x347 -x346 x345 -x344 x343 x342 -x341 -x340
1800.07/1800.73 v x339 -x338 -x337 -x336 x335 -x334 x333 -x332 x331 -x330 x329 -x328 x327 x326 -x325 x324 -x323 -x322 x321 -x320 x319 x318
1800.07/1800.73 v -x317 -x316 x315 -x314 x313 -x312 x311 -x310 x309 -x308 x307 -x306 x305 -x304 x303 x302 -x301 -x300 -x299 -x298 x297 -x296 x295
1800.07/1800.73 v -x294 x293 -x292 x291 -x290 x289 -x288 x287 x286 -x285 -x284 x283 -x282 x281 -x280 x279 -x278 x277 -x276 -x275 -x274 x273
1800.07/1800.73 v x272 -x271 -x270 x269 -x268 x267 -x266 x265 x264 -x263 -x262 x261 -x260 x259 x258 -x257 -x256 x255 -x254 -x253 x252 -x251 -x250
1800.07/1800.73 v x249 -x248 x247 -x246 x245 -x244 x243 -x242 x241 x240 -x239 -x238 x237 -x236 x235 -x234 x233 -x232 -x231 -x230 x229 -x228
1800.07/1800.73 v x227 x226 -x225 -x224 x223 -x222 x221 -x220 x219 -x218 x217 -x216 x215 -x214 x213 -x212 x211 x210 -x209 -x208 -x207 -x206 x205
1800.07/1800.73 v -x204 -x203 -x202 x201 -x200 x199 x198 -x197 -x196 -x195 -x194 x193 -x192 -x191 -x190 x189 -x188 x187 -x186 -x185 -x184 -x183
1800.07/1800.73 v -x182 x181 -x180 x179 -x178 -x177 -x176 x175 x174 -x173 -x172 x171 -x170 -x169 x168 -x167 -x166 x165 -x164 x163 -x162 -x161
1800.07/1800.73 v -x160 -x159 -x158 x157 -x156 x155 -x154 -x153 -x152 -x151 -x150 x149 x148 -x147 -x146 x145 -x144 -x143 -x142 x141 -x140 -x139
1800.07/1800.73 v -x138 x137 -x136 x135 x134 -x133 x132 -x131 -x130 x129 -x128 -x127 -x126 x125 -x124 x123 -x122 -x121 -x120 -x119 -x118 x117
1800.07/1800.73 v -x116 x115 -x114 -x113 -x112 x111 -x110 -x109 -x108 -x107 -x106 x105 x104 -x103 -x102 x101 -x100 x99 x98 -x97 -x96 -x95 -x94
1800.07/1800.73 v x93 -x92 x91 -x90 -x89 -x88 -x87 -x86 x85 x84 -x83 -x82 x81 -x80 -x79 -x78 x77 -x76 -x75 -x74 x73 -x72 x71 x70 -x69 x68 -x67
1800.07/1800.73 v -x66 x65 -x64 x63 x62 -x61 x60 -x59 -x58 x57 -x56 x55 -x54 -x53 x52 -x51 -x50 x49 -x48 x47 -x46 x45 -x44 x43 x42 -x41 -x40
1800.07/1800.73 v x39 -x38 x37 -x36 x35 -x34 x33 -x32 x31 -x30 x29 -x28 x27 -x26 x25 -x24 -x23 -x22 x21 -x20 x19 -x18 x17 -x16 x15 -x14 x13 -x12
1800.07/1800.73 v x11 -x10 x9 -x8 x7 x6 -x5 -x4 x3 -x2 x1
1800.07/1800.73 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.73 c Solving Time : 1773.19
1800.07/1800.73 c Original Problem :
1800.07/1800.73 c Problem name : HOME/instance-2664238-1276465093.opb
1800.07/1800.73 c Variables : 2490 (2490 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.73 c Constraints : 16011 initial, 16011 maximal
1800.07/1800.73 c Presolved Problem :
1800.07/1800.73 c Problem name : t_HOME/instance-2664238-1276465093.opb
1800.07/1800.73 c Variables : 2490 (2490 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.73 c Constraints : 16011 initial, 16104 maximal
1800.07/1800.73 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.07/1800.73 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.73 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.73 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.73 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.73 c implics : 0.01 0 0 0 0 0 0 0 0
1800.07/1800.73 c probing : 0.08 0 0 0 0 0 0 0 0
1800.07/1800.73 c logicor : 0.10 0 0 0 0 0 0 0 0
1800.07/1800.73 c root node : - 0 - - 0 - - - -
1800.07/1800.73 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.07/1800.73 c integral : 0 0 0 0 0 0 0 0 0 0
1800.07/1800.73 c logicor : 16011+ 0 1768855 0 4 96621 1936516 0 0 0
1800.07/1800.73 c countsols : 0 0 0 0 4 0 0 0 0 0
1800.07/1800.73 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.07/1800.73 c integral : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.73 c logicor : 455.20 0.00 455.19 0.00 0.01
1800.07/1800.73 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.73 c Propagators : Time Calls Cutoffs DomReds
1800.07/1800.73 c vbounds : 1.89 2 0 0
1800.07/1800.73 c rootredcost : 1.75 0 0 0
1800.07/1800.73 c pseudoobj : 578.06 3167493 485115 2077420
1800.07/1800.73 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.07/1800.73 c propagation : 415.96 96621 96621 96621 307.0 248 37.0 -
1800.07/1800.73 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.73 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.73 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.73 c pseudo solution : 602.24 259793 0 0 0.0 0 0.0 -
1800.07/1800.73 c applied globally : - - - 976 57.0 - - -
1800.07/1800.73 c applied locally : - - - 95886 308.8 - - -
1800.07/1800.73 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.07/1800.73 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.07/1800.73 c redcost : 0.00 0 0 0 0 0
1800.07/1800.73 c impliedbounds : 0.00 0 0 0 0 0
1800.07/1800.73 c intobj : 0.00 0 0 0 0 0
1800.07/1800.73 c cgmip : 0.00 0 0 0 0 0
1800.07/1800.73 c gomory : 0.00 0 0 0 0 0
1800.07/1800.73 c strongcg : 0.00 0 0 0 0 0
1800.07/1800.73 c cmir : 0.00 0 0 0 0 0
1800.07/1800.73 c flowcover : 0.00 0 0 0 0 0
1800.07/1800.73 c clique : 0.00 0 0 0 0 0
1800.07/1800.73 c zerohalf : 0.00 0 0 0 0 0
1800.07/1800.73 c mcf : 0.00 0 0 0 0 0
1800.07/1800.73 c rapidlearning : 0.00 0 0 0 0 0
1800.07/1800.73 c Pricers : Time Calls Vars
1800.07/1800.73 c problem variables: 0.00 0 0
1800.07/1800.73 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.07/1800.73 c relpscost : 0.00 0 0 0 0 0 0
1800.07/1800.73 c pscost : 0.00 0 0 0 0 0 0
1800.07/1800.73 c inference : 17.47 943358 0 0 0 0 1886716
1800.07/1800.73 c mostinf : 0.00 0 0 0 0 0 0
1800.07/1800.73 c leastinf : 0.00 0 0 0 0 0 0
1800.07/1800.73 c fullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.73 c allfullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.73 c random : 0.00 0 0 0 0 0 0
1800.07/1800.73 c Primal Heuristics : Time Calls Found
1800.07/1800.73 c LP solutions : 0.00 - 0
1800.07/1800.73 c pseudo solutions : 0.00 - 4
1800.07/1800.73 c oneopt : 2.31 0 0
1800.07/1800.73 c trivial : 0.01 2 0
1800.07/1800.73 c simplerounding : 0.00 0 0
1800.07/1800.73 c zirounding : 0.00 0 0
1800.07/1800.73 c rounding : 0.00 0 0
1800.07/1800.73 c shifting : 0.00 0 0
1800.07/1800.73 c intshifting : 0.00 0 0
1800.07/1800.73 c twoopt : 0.00 0 0
1800.07/1800.73 c fixandinfer : 0.00 0 0
1800.07/1800.73 c feaspump : 0.00 0 0
1800.07/1800.73 c coefdiving : 0.00 0 0
1800.07/1800.73 c pscostdiving : 0.00 0 0
1800.07/1800.73 c fracdiving : 0.00 0 0
1800.07/1800.73 c veclendiving : 0.00 0 0
1800.07/1800.73 c intdiving : 0.00 0 0
1800.07/1800.73 c actconsdiving : 0.00 0 0
1800.07/1800.73 c objpscostdiving : 0.00 0 0
1800.07/1800.73 c rootsoldiving : 0.00 0 0
1800.07/1800.73 c linesearchdiving : 0.00 0 0
1800.07/1800.73 c guideddiving : 0.00 0 0
1800.07/1800.73 c octane : 0.00 0 0
1800.07/1800.73 c rens : 0.00 0 0
1800.07/1800.73 c rins : 0.00 0 0
1800.07/1800.73 c localbranching : 0.00 0 0
1800.07/1800.73 c mutation : 0.00 0 0
1800.07/1800.73 c crossover : 0.00 0 0
1800.07/1800.73 c dins : 0.00 0 0
1800.07/1800.73 c undercover : 0.00 0 0
1800.07/1800.73 c nlp : 0.84 0 0
1800.07/1800.73 c trysol : 1.07 0 0
1800.07/1800.73 c LP : Time Calls Iterations Iter/call Iter/sec
1800.07/1800.73 c primal LP : 0.00 0 0 0.00 -
1800.07/1800.73 c dual LP : 0.00 0 0 0.00 -
1800.07/1800.73 c lex dual LP : 0.00 0 0 0.00 -
1800.07/1800.73 c barrier LP : 0.00 0 0 0.00 -
1800.07/1800.73 c diving/probing LP: 0.00 0 0 0.00 -
1800.07/1800.73 c strong branching : 0.00 0 0 0.00 -
1800.07/1800.73 c (at root node) : - 0 0 0.00 -
1800.07/1800.73 c conflict analysis: 0.00 0 0 0.00 -
1800.07/1800.73 c B&B Tree :
1800.07/1800.73 c number of runs : 1
1800.07/1800.73 c nodes : 1746124
1800.07/1800.73 c nodes (total) : 1746124
1800.07/1800.73 c nodes left : 378
1800.07/1800.73 c max depth : 458
1800.07/1800.73 c max depth (total): 458
1800.07/1800.73 c backtracks : 405471 (23.2%)
1800.07/1800.73 c delayed cutoffs : 40885
1800.07/1800.73 c repropagations : 69022 (357185 domain reductions, 38767 cutoffs)
1800.07/1800.73 c avg switch length: 2.01
1800.07/1800.73 c switching time : 47.17
1800.07/1800.73 c Solution :
1800.07/1800.73 c Solutions found : 4 (4 improvements)
1800.07/1800.73 c First Solution : +1.15600000000000e+03 (in run 1, after 1968 nodes, 4.78 seconds, depth 455, found by <relaxation>)
1800.07/1800.73 c Primal Bound : +1.15300000000000e+03 (in run 1, after 1448279 nodes, 1486.75 seconds, depth 434, found by <relaxation>)
1800.07/1800.73 c Dual Bound : +1.00000000000000e+00
1800.07/1800.73 c Gap : 115200.00 %
1800.07/1800.73 c Root Dual Bound : +0.00000000000000e+00
1800.07/1800.73 c Root Iterations : 0
1800.07/1800.79 c Time complete: 1800.15.