0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
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-2703490-1278559350.opb>
0.29/0.37 c [src/scip/reader_opb.c:3100] Warning: there might be <577> coefficients or weight out of range!
0.29/0.37 c original problem has 35070 variables (35070 bin, 0 int, 0 impl, 0 cont) and 488 constraints
0.29/0.37 c problem read
0.29/0.38 c presolving settings loaded
0.69/0.74 c presolving:
0.79/0.87 c (round 1) 12025 del vars, 36 del conss, 11899 chg bounds, 1 chg sides, 221 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.89/0.90 c (round 2) 12479 del vars, 37 del conss, 12353 chg bounds, 1 chg sides, 711 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.89/0.91 c (round 3) 12906 del vars, 37 del conss, 12780 chg bounds, 1 chg sides, 720 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.89/0.93 c (round 4) 13334 del vars, 37 del conss, 13208 chg bounds, 1 chg sides, 734 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.89/0.94 c (round 5) 13762 del vars, 37 del conss, 13636 chg bounds, 1 chg sides, 748 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.89/0.96 c (round 6) 14190 del vars, 37 del conss, 14064 chg bounds, 1 chg sides, 762 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.89/0.97 c (round 7) 14618 del vars, 37 del conss, 14492 chg bounds, 1 chg sides, 776 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.89/0.99 c (round 8) 15046 del vars, 37 del conss, 14920 chg bounds, 1 chg sides, 790 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.89/1.00 c (round 9) 15473 del vars, 37 del conss, 15347 chg bounds, 1 chg sides, 806 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
1.00/1.02 c (round 10) 15902 del vars, 37 del conss, 15776 chg bounds, 1 chg sides, 823 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
1.00/1.03 c (round 11) 16334 del vars, 37 del conss, 16208 chg bounds, 1 chg sides, 845 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
1.00/1.05 c (round 12) 16786 del vars, 37 del conss, 16660 chg bounds, 1 chg sides, 863 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
1.00/1.06 c (round 13) 17257 del vars, 37 del conss, 17131 chg bounds, 1 chg sides, 916 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
1.00/1.08 c (round 14) 17748 del vars, 37 del conss, 17622 chg bounds, 1 chg sides, 1004 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
1.00/1.10 c (round 15) 18347 del vars, 37 del conss, 18221 chg bounds, 1 chg sides, 1142 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
1.10/1.11 c (round 16) 18641 del vars, 37 del conss, 18515 chg bounds, 1 chg sides, 1406 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
1.10/1.13 c (round 17) 18703 del vars, 37 del conss, 18577 chg bounds, 1 chg sides, 1505 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
1.10/1.14 c (round 18) 18747 del vars, 37 del conss, 18621 chg bounds, 1 chg sides, 1586 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
1.10/1.15 c (round 19) 18787 del vars, 37 del conss, 18661 chg bounds, 1 chg sides, 1625 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
1.10/1.16 c (round 20) 18808 del vars, 37 del conss, 18682 chg bounds, 1 chg sides, 1658 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
1.10/1.17 c (round 21) 18821 del vars, 37 del conss, 18695 chg bounds, 1 chg sides, 1658 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
1.10/1.18 c (round 22) 18825 del vars, 37 del conss, 18699 chg bounds, 1 chg sides, 1658 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
1.19/1.27 c (round 23) 18825 del vars, 37 del conss, 18699 chg bounds, 1 chg sides, 1658 chg coeffs, 94 upgd conss, 0 impls, 0 clqs
1.29/1.32 c (round 24) 18833 del vars, 37 del conss, 18703 chg bounds, 69 chg sides, 8485 chg coeffs, 94 upgd conss, 70 impls, 42 clqs
1.29/1.34 c (round 25) 18833 del vars, 37 del conss, 18703 chg bounds, 87 chg sides, 8503 chg coeffs, 95 upgd conss, 76 impls, 42 clqs
1.29/1.36 c (round 26) 18833 del vars, 37 del conss, 18703 chg bounds, 90 chg sides, 8894 chg coeffs, 95 upgd conss, 76 impls, 46 clqs
1.39/1.48 c (round 27) 18883 del vars, 37 del conss, 18703 chg bounds, 90 chg sides, 8894 chg coeffs, 95 upgd conss, 1340 impls, 11 clqs
1.49/1.53 c (round 28) 18884 del vars, 37 del conss, 18704 chg bounds, 514 chg sides, 9318 chg coeffs, 95 upgd conss, 1356 impls, 25 clqs
2.49/2.57 c (round 29) 18934 del vars, 37 del conss, 18704 chg bounds, 514 chg sides, 9318 chg coeffs, 95 upgd conss, 1654 impls, 11 clqs
2.59/2.61 c (round 30) 18940 del vars, 37 del conss, 18708 chg bounds, 787 chg sides, 9592 chg coeffs, 95 upgd conss, 1690 impls, 15 clqs
2.59/2.63 c (round 31) 18946 del vars, 37 del conss, 18709 chg bounds, 836 chg sides, 9642 chg coeffs, 95 upgd conss, 1690 impls, 17 clqs
2.59/2.66 c (round 32) 18946 del vars, 37 del conss, 18709 chg bounds, 884 chg sides, 9690 chg coeffs, 95 upgd conss, 1690 impls, 17 clqs
2.79/2.88 c (round 33) 18997 del vars, 37 del conss, 18709 chg bounds, 884 chg sides, 9690 chg coeffs, 95 upgd conss, 1718 impls, 11 clqs
2.89/2.91 c (round 34) 18997 del vars, 37 del conss, 18709 chg bounds, 909 chg sides, 9716 chg coeffs, 95 upgd conss, 1718 impls, 14 clqs
3.39/3.43 c (round 35) 19047 del vars, 37 del conss, 18709 chg bounds, 909 chg sides, 9716 chg coeffs, 95 upgd conss, 5008 impls, 11 clqs
3.39/3.47 c (round 36) 19047 del vars, 37 del conss, 18709 chg bounds, 1092 chg sides, 9899 chg coeffs, 95 upgd conss, 5030 impls, 19 clqs
3.89/3.92 c (round 37) 19097 del vars, 37 del conss, 18709 chg bounds, 1092 chg sides, 9899 chg coeffs, 95 upgd conss, 26058 impls, 12 clqs
3.89/3.95 c (round 38) 19099 del vars, 37 del conss, 18711 chg bounds, 1188 chg sides, 9995 chg coeffs, 95 upgd conss, 26070 impls, 14 clqs
3.89/3.97 c (round 39) 19099 del vars, 37 del conss, 18711 chg bounds, 1250 chg sides, 10057 chg coeffs, 95 upgd conss, 26070 impls, 14 clqs
4.49/4.52 c (4.1s) probing: 781/16237 (4.8%) - 255 fixings, 0 aggregations, 2832 implications, 0 bound changes
4.49/4.52 c (4.1s) probing aborted: 100/100 successive totally useless probings
4.49/4.52 c (round 40) 19103 del vars, 37 del conss, 18711 chg bounds, 1250 chg sides, 10057 chg coeffs, 95 upgd conss, 26396 impls, 12 clqs
4.49/4.54 c (round 41) 19103 del vars, 37 del conss, 18711 chg bounds, 1280 chg sides, 10087 chg coeffs, 95 upgd conss, 26398 impls, 12 clqs
4.49/4.59 c (4.2s) probing: 791/16237 (4.9%) - 255 fixings, 0 aggregations, 2832 implications, 0 bound changes
4.49/4.59 c (4.2s) probing aborted: 100/100 successive totally useless probings
4.49/4.59 c presolving (42 rounds):
4.49/4.59 c 19103 deleted vars, 37 deleted constraints, 18711 tightened bounds, 0 added holes, 1280 changed sides, 10087 changed coefficients
4.49/4.59 c 26398 implications, 12 cliques
4.49/4.59 c presolved problem has 15967 variables (15967 bin, 0 int, 0 impl, 0 cont) and 451 constraints
4.49/4.59 c 95 constraints of type <knapsack>
4.49/4.59 c 356 constraints of type <linear>
4.49/4.59 c transformed objective value is always integral (scale: 1)
4.49/4.59 c Presolving Time: 4.07
4.49/4.59 c - non default parameters ----------------------------------------------------------------------
4.49/4.59 c # SCIP version 1.2.1.3
4.49/4.59 c
4.49/4.59 c # frequency for displaying node information lines
4.49/4.59 c # [type: int, range: [-1,2147483647], default: 100]
4.49/4.59 c display/freq = 10000
4.49/4.59 c
4.49/4.59 c # maximal time in seconds to run
4.49/4.59 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.49/4.59 c limits/time = 1789.64
4.49/4.59 c
4.49/4.59 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
4.49/4.59 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.49/4.59 c limits/memory = 1620
4.49/4.59 c
4.49/4.59 c # default clock type (1: CPU user seconds, 2: wall clock time)
4.49/4.59 c # [type: int, range: [1,2], default: 1]
4.49/4.59 c timing/clocktype = 2
4.49/4.59 c
4.49/4.59 c # should presolving try to simplify inequalities
4.49/4.59 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.49/4.59 c constraints/linear/simplifyinequalities = TRUE
4.49/4.59 c
4.49/4.59 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
4.49/4.59 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.49/4.59 c constraints/indicator/addCouplingCons = TRUE
4.49/4.59 c
4.49/4.59 c # should presolving try to simplify knapsacks
4.49/4.59 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.49/4.59 c constraints/knapsack/simplifyinequalities = TRUE
4.49/4.59 c
4.49/4.59 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
4.49/4.59 c # [type: int, range: [-1,2147483647], default: -1]
4.49/4.59 c separating/rapidlearning/freq = 0
4.49/4.59 c
4.49/4.59 c -----------------------------------------------------------------------------------------------
4.49/4.59 c start solving
4.59/4.61 c
4.89/4.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
4.89/4.96 c 4.6s| 1 | 0 | 2988 | - | 73M| 0 | - | 15k| 451 | 15k| 451 | 0 | 0 | 0 | -- | -- | 0.00%
4.89/4.96 c 4.6s| 1 | 0 | 2988 | - | 73M| 0 | - | 15k| 451 | 15k| 451 | 0 | 0 | 0 | -- | -- | 0.00%
4.89/4.96 c
4.89/4.96 c SCIP Status : problem is solved [infeasible]
4.89/4.96 c Solving Time (sec) : 4.58
4.89/4.96 c Solving Nodes : 1
4.89/4.96 c Primal Bound : +1.00000000000000e+20 (0 solutions)
4.89/4.96 c Dual Bound : +1.00000000000000e+20
4.89/4.96 c Gap : 0.00 %
4.89/4.96 s UNSATISFIABLE
4.89/4.96 c SCIP Status : problem is solved [infeasible]
4.89/4.96 c Solving Time : 4.58
4.89/4.96 c Original Problem :
4.89/4.96 c Problem name : HOME/instance-2703490-1278559350.opb
4.89/4.96 c Variables : 35070 (35070 binary, 0 integer, 0 implicit integer, 0 continuous)
4.89/4.96 c Constraints : 488 initial, 488 maximal
4.89/4.96 c Presolved Problem :
4.89/4.96 c Problem name : t_HOME/instance-2703490-1278559350.opb
4.89/4.96 c Variables : 15967 (15967 binary, 0 integer, 0 implicit integer, 0 continuous)
4.89/4.96 c Constraints : 451 initial, 451 maximal
4.89/4.96 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
4.89/4.96 c trivial : 0.14 0 0 0 0 0 0 0 0
4.89/4.96 c dualfix : 0.14 0 0 0 0 0 0 0 0
4.89/4.96 c boundshift : 0.00 0 0 0 0 0 0 0 0
4.89/4.96 c inttobinary : 0.00 0 0 0 0 0 0 0 0
4.89/4.96 c implics : 0.06 0 0 0 0 0 0 0 0
4.89/4.96 c probing : 2.87 255 0 0 0 0 0 0 0
4.89/4.96 c knapsack : 0.25 11 0 0 2 0 0 1279 8429
4.89/4.96 c linear : 0.35 18823 14 0 18709 0 37 1 1658
4.89/4.96 c root node : - 0 - - 0 - - - -
4.89/4.96 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
4.89/4.96 c integral : 0 0 0 0 0 0 0 0 0 0
4.89/4.96 c knapsack : 95 0 2212 0 0 19 0 0 0 0
4.89/4.96 c linear : 356 0 2193 0 0 84 0 0 0 0
4.89/4.96 c countsols : 0 0 0 0 0 0 0 0 0 0
4.89/4.96 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
4.89/4.96 c integral : 0.00 0.00 0.00 0.00 0.00
4.89/4.96 c knapsack : 0.10 0.00 0.10 0.00 0.00
4.89/4.96 c linear : 0.24 0.00 0.24 0.00 0.00
4.89/4.96 c countsols : 0.00 0.00 0.00 0.00 0.00
4.89/4.96 c Propagators : Time Calls Cutoffs DomReds
4.89/4.96 c vbounds : 0.00 2 0 0
4.89/4.96 c rootredcost : 0.00 0 0 0
4.89/4.96 c pseudoobj : 0.00 0 0 0
4.89/4.96 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
4.89/4.96 c propagation : 0.00 0 0 0 0.0 0 0.0 -
4.89/4.96 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
4.89/4.96 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
4.89/4.96 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
4.89/4.96 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
4.89/4.96 c applied globally : - - - 0 0.0 - - -
4.89/4.96 c applied locally : - - - 0 0.0 - - -
4.89/4.96 c Separators : Time Calls Cutoffs DomReds Cuts Conss
4.89/4.96 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
4.89/4.96 c redcost : 0.00 0 0 0 0 0
4.89/4.96 c impliedbounds : 0.00 0 0 0 0 0
4.89/4.96 c intobj : 0.00 0 0 0 0 0
4.89/4.96 c cgmip : 0.00 0 0 0 0 0
4.89/4.96 c gomory : 0.00 0 0 0 0 0
4.89/4.96 c strongcg : 0.00 0 0 0 0 0
4.89/4.96 c cmir : 0.00 0 0 0 0 0
4.89/4.96 c flowcover : 0.00 0 0 0 0 0
4.89/4.96 c clique : 0.00 0 0 0 0 0
4.89/4.96 c zerohalf : 0.00 0 0 0 0 0
4.89/4.96 c mcf : 0.00 0 0 0 0 0
4.89/4.96 c rapidlearning : 0.00 0 0 0 0 0
4.89/4.96 c Pricers : Time Calls Vars
4.89/4.96 c problem variables: 0.00 0 0
4.89/4.96 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
4.89/4.96 c pscost : 0.00 0 0 0 0 0 0
4.89/4.96 c inference : 0.00 0 0 0 0 0 0
4.89/4.96 c mostinf : 0.00 0 0 0 0 0 0
4.89/4.96 c leastinf : 0.00 0 0 0 0 0 0
4.89/4.96 c fullstrong : 0.00 0 0 0 0 0 0
4.89/4.96 c allfullstrong : 0.00 0 0 0 0 0 0
4.89/4.96 c random : 0.00 0 0 0 0 0 0
4.89/4.96 c relpscost : 0.00 0 0 0 0 0 0
4.89/4.96 c Primal Heuristics : Time Calls Found
4.89/4.96 c LP solutions : 0.00 - 0
4.89/4.96 c pseudo solutions : 0.00 - 0
4.89/4.96 c oneopt : 0.00 0 0
4.89/4.96 c trivial : 0.09 2 0
4.89/4.96 c simplerounding : 0.00 0 0
4.89/4.96 c zirounding : 0.00 0 0
4.89/4.96 c rounding : 0.00 0 0
4.89/4.96 c shifting : 0.00 0 0
4.89/4.96 c intshifting : 0.00 0 0
4.89/4.96 c twoopt : 0.00 0 0
4.89/4.96 c fixandinfer : 0.00 0 0
4.89/4.96 c feaspump : 0.00 0 0
4.89/4.96 c coefdiving : 0.00 0 0
4.89/4.96 c pscostdiving : 0.00 0 0
4.89/4.96 c fracdiving : 0.00 0 0
4.89/4.96 c veclendiving : 0.00 0 0
4.89/4.96 c intdiving : 0.00 0 0
4.89/4.96 c actconsdiving : 0.00 0 0
4.89/4.96 c objpscostdiving : 0.00 0 0
4.89/4.96 c rootsoldiving : 0.00 0 0
4.89/4.96 c linesearchdiving : 0.00 0 0
4.89/4.96 c guideddiving : 0.00 0 0
4.89/4.96 c octane : 0.00 0 0
4.89/4.96 c rens : 0.00 0 0
4.89/4.96 c rins : 0.00 0 0
4.89/4.96 c localbranching : 0.00 0 0
4.89/4.96 c mutation : 0.00 0 0
4.89/4.96 c crossover : 0.00 0 0
4.89/4.96 c dins : 0.00 0 0
4.89/4.96 c undercover : 0.00 0 0
4.89/4.96 c nlp : 0.00 0 0
4.89/4.96 c trysol : 0.00 0 0
4.89/4.96 c LP : Time Calls Iterations Iter/call Iter/sec
4.89/4.96 c primal LP : 0.00 0 0 0.00 -
4.89/4.96 c dual LP : 0.26 1 2988 2988.00 11496.15
4.89/4.96 c lex dual LP : 0.00 0 0 0.00 -
4.89/4.96 c barrier LP : 0.00 0 0 0.00 -
4.89/4.96 c diving/probing LP: 0.00 0 0 0.00 -
4.89/4.96 c strong branching : 0.00 0 0 0.00 -
4.89/4.96 c (at root node) : - 0 0 0.00 -
4.89/4.96 c conflict analysis: 0.00 0 0 0.00 -
4.89/4.96 c B&B Tree :
4.89/4.96 c number of runs : 1
4.89/4.96 c nodes : 1
4.89/4.96 c nodes (total) : 1
4.89/4.96 c nodes left : 0
4.89/4.96 c max depth : 0
4.89/4.96 c max depth (total): 0
4.89/4.96 c backtracks : 0 (0.0%)
4.89/4.96 c delayed cutoffs : 0
4.89/4.96 c repropagations : 0 (0 domain reductions, 0 cutoffs)
4.89/4.96 c avg switch length: 2.00
4.89/4.96 c switching time : 0.00
4.89/4.96 c Solution :
4.89/4.96 c Solutions found : 0 (0 improvements)
4.89/4.96 c Primal Bound : infeasible
4.89/4.96 c Dual Bound : -
4.89/4.96 c Gap : 0.00 %
4.89/4.96 c Root Dual Bound : -
4.89/4.96 c Root Iterations : 2988
5.09/5.12 c Time complete: 5.11.