0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00 c Copyright (c) 2002-2012 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-3692837-1338027275.opb>
0.00/0.01 c original problem has 1328 variables (1328 bin, 0 int, 0 impl, 0 cont) and 3349 constraints
0.00/0.01 c problem read in 0.01
0.00/0.02 c presolving:
0.02/0.06 c (round 1) 269 del vars, 292 del conss, 0 add conss, 126 chg bounds, 92 chg sides, 256 chg coeffs, 0 upgd conss, 60878 impls, 0 clqs
0.02/0.07 c (round 2) 277 del vars, 672 del conss, 0 add conss, 134 chg bounds, 92 chg sides, 256 chg coeffs, 0 upgd conss, 60920 impls, 0 clqs
0.02/0.09 c (round 3) 277 del vars, 684 del conss, 0 add conss, 134 chg bounds, 92 chg sides, 256 chg coeffs, 2668 upgd conss, 60920 impls, 0 clqs
0.09/0.12 c (round 4) 302 del vars, 3119 del conss, 811 add conss, 136 chg bounds, 92 chg sides, 256 chg coeffs, 2668 upgd conss, 70366 impls, 0 clqs
0.09/0.13 c (round 5) 308 del vars, 3131 del conss, 811 add conss, 136 chg bounds, 92 chg sides, 262 chg coeffs, 2668 upgd conss, 70746 impls, 1 clqs
0.09/0.13 c (round 6) 345 del vars, 3247 del conss, 927 add conss, 136 chg bounds, 92 chg sides, 262 chg coeffs, 2668 upgd conss, 71340 impls, 1 clqs
0.09/0.14 c (round 7) 347 del vars, 3289 del conss, 968 add conss, 136 chg bounds, 92 chg sides, 262 chg coeffs, 2668 upgd conss, 71412 impls, 107 clqs
0.19/0.29 c (round 8) 351 del vars, 3305 del conss, 970 add conss, 136 chg bounds, 92 chg sides, 262 chg coeffs, 2668 upgd conss, 71434 impls, 112 clqs
0.29/0.30 c (round 9) 351 del vars, 3306 del conss, 971 add conss, 136 chg bounds, 92 chg sides, 262 chg coeffs, 2668 upgd conss, 71434 impls, 112 clqs
0.39/0.42 c (round 10) 352 del vars, 3307 del conss, 971 add conss, 136 chg bounds, 92 chg sides, 262 chg coeffs, 2668 upgd conss, 71440 impls, 112 clqs
0.39/0.43 c (round 11) 379 del vars, 3307 del conss, 971 add conss, 140 chg bounds, 92 chg sides, 262 chg coeffs, 2668 upgd conss, 81338 impls, 105 clqs
0.39/0.44 c (round 12) 397 del vars, 3332 del conss, 971 add conss, 140 chg bounds, 92 chg sides, 273 chg coeffs, 2670 upgd conss, 82145 impls, 105 clqs
0.39/0.44 c (round 13) 401 del vars, 3349 del conss, 988 add conss, 140 chg bounds, 92 chg sides, 273 chg coeffs, 2670 upgd conss, 82203 impls, 106 clqs
0.48/0.54 c (round 14) 404 del vars, 3357 del conss, 992 add conss, 140 chg bounds, 92 chg sides, 273 chg coeffs, 2670 upgd conss, 82301 impls, 116 clqs
0.48/0.55 c (round 15) 404 del vars, 3360 del conss, 993 add conss, 140 chg bounds, 92 chg sides, 273 chg coeffs, 2670 upgd conss, 82301 impls, 118 clqs
0.59/0.64 c (round 16) 406 del vars, 3362 del conss, 993 add conss, 140 chg bounds, 92 chg sides, 273 chg coeffs, 2670 upgd conss, 82309 impls, 118 clqs
0.59/0.64 c (round 17) 406 del vars, 3363 del conss, 993 add conss, 140 chg bounds, 92 chg sides, 273 chg coeffs, 2670 upgd conss, 82309 impls, 118 clqs
0.59/0.66 c (round 18) 432 del vars, 3363 del conss, 993 add conss, 148 chg bounds, 92 chg sides, 273 chg coeffs, 2670 upgd conss, 84261 impls, 115 clqs
0.59/0.66 c (round 19) 435 del vars, 3370 del conss, 993 add conss, 148 chg bounds, 92 chg sides, 275 chg coeffs, 2674 upgd conss, 84331 impls, 115 clqs
0.59/0.66 c (round 20) 437 del vars, 3380 del conss, 1003 add conss, 148 chg bounds, 92 chg sides, 275 chg coeffs, 2674 upgd conss, 84509 impls, 116 clqs
0.69/0.75 c (round 21) 437 del vars, 3382 del conss, 1005 add conss, 148 chg bounds, 92 chg sides, 275 chg coeffs, 2674 upgd conss, 84509 impls, 121 clqs
0.69/0.75 c (round 22) 437 del vars, 3384 del conss, 1005 add conss, 148 chg bounds, 92 chg sides, 275 chg coeffs, 2674 upgd conss, 84509 impls, 122 clqs
0.69/0.79 c (round 23) 462 del vars, 3384 del conss, 1005 add conss, 157 chg bounds, 92 chg sides, 275 chg coeffs, 2674 upgd conss, 98512 impls, 118 clqs
0.69/0.79 c (round 24) 465 del vars, 3391 del conss, 1005 add conss, 157 chg bounds, 92 chg sides, 277 chg coeffs, 2682 upgd conss, 98572 impls, 118 clqs
0.69/0.80 c (round 25) 472 del vars, 3416 del conss, 1025 add conss, 157 chg bounds, 92 chg sides, 277 chg coeffs, 2682 upgd conss, 98904 impls, 118 clqs
0.79/0.89 c (round 26) 473 del vars, 3430 del conss, 1034 add conss, 157 chg bounds, 92 chg sides, 277 chg coeffs, 2682 upgd conss, 98952 impls, 128 clqs
0.89/0.98 c (round 27) 473 del vars, 3431 del conss, 1034 add conss, 157 chg bounds, 92 chg sides, 277 chg coeffs, 2682 upgd conss, 98952 impls, 131 clqs
0.99/1.02 c (round 28) 498 del vars, 3431 del conss, 1034 add conss, 157 chg bounds, 92 chg sides, 277 chg coeffs, 2682 upgd conss, 107394 impls, 125 clqs
0.99/1.03 c (round 29) 502 del vars, 3442 del conss, 1034 add conss, 157 chg bounds, 92 chg sides, 279 chg coeffs, 2682 upgd conss, 107440 impls, 125 clqs
0.99/1.03 c (round 30) 504 del vars, 3450 del conss, 1042 add conss, 157 chg bounds, 92 chg sides, 279 chg coeffs, 2686 upgd conss, 107518 impls, 125 clqs
0.99/1.03 c (round 31) 505 del vars, 3452 del conss, 1044 add conss, 157 chg bounds, 92 chg sides, 279 chg coeffs, 2686 upgd conss, 107532 impls, 127 clqs
1.09/1.12 c (round 32) 505 del vars, 3453 del conss, 1045 add conss, 157 chg bounds, 92 chg sides, 279 chg coeffs, 2686 upgd conss, 107532 impls, 127 clqs
1.09/1.12 c (round 33) 505 del vars, 3454 del conss, 1045 add conss, 157 chg bounds, 92 chg sides, 279 chg coeffs, 2686 upgd conss, 107532 impls, 127 clqs
1.09/1.15 c (round 34) 530 del vars, 3454 del conss, 1045 add conss, 159 chg bounds, 92 chg sides, 279 chg coeffs, 2686 upgd conss, 110658 impls, 123 clqs
1.09/1.15 c (round 35) 540 del vars, 3466 del conss, 1045 add conss, 161 chg bounds, 92 chg sides, 286 chg coeffs, 2690 upgd conss, 111456 impls, 123 clqs
1.09/1.15 c (round 36) 545 del vars, 3469 del conss, 1045 add conss, 161 chg bounds, 92 chg sides, 288 chg coeffs, 2690 upgd conss, 111694 impls, 122 clqs
1.09/1.16 c (round 37) 549 del vars, 3485 del conss, 1059 add conss, 161 chg bounds, 92 chg sides, 288 chg coeffs, 2694 upgd conss, 111972 impls, 122 clqs
1.19/1.23 c (round 38) 551 del vars, 3492 del conss, 1063 add conss, 161 chg bounds, 92 chg sides, 288 chg coeffs, 2694 upgd conss, 112022 impls, 127 clqs
1.19/1.23 c (round 39) 551 del vars, 3493 del conss, 1063 add conss, 161 chg bounds, 92 chg sides, 288 chg coeffs, 2694 upgd conss, 112022 impls, 127 clqs
1.19/1.26 c (round 40) 579 del vars, 3493 del conss, 1063 add conss, 161 chg bounds, 92 chg sides, 288 chg coeffs, 2694 upgd conss, 116508 impls, 112 clqs
1.19/1.27 c (round 41) 594 del vars, 3547 del conss, 1063 add conss, 162 chg bounds, 92 chg sides, 294 chg coeffs, 2702 upgd conss, 117283 impls, 112 clqs
1.19/1.27 c (round 42) 603 del vars, 3561 del conss, 1076 add conss, 163 chg bounds, 92 chg sides, 294 chg coeffs, 2703 upgd conss, 117428 impls, 111 clqs
1.19/1.27 c (round 43) 612 del vars, 3572 del conss, 1086 add conss, 163 chg bounds, 92 chg sides, 294 chg coeffs, 2708 upgd conss, 117711 impls, 113 clqs
1.29/1.32 c (round 44) 613 del vars, 3587 del conss, 1093 add conss, 163 chg bounds, 92 chg sides, 294 chg coeffs, 2708 upgd conss, 117711 impls, 116 clqs
1.29/1.32 c (round 45) 613 del vars, 3589 del conss, 1093 add conss, 163 chg bounds, 92 chg sides, 294 chg coeffs, 2708 upgd conss, 117711 impls, 116 clqs
1.29/1.38 c (round 46) 638 del vars, 3589 del conss, 1093 add conss, 163 chg bounds, 92 chg sides, 294 chg coeffs, 2708 upgd conss, 124133 impls, 109 clqs
1.29/1.39 c (round 47) 642 del vars, 3597 del conss, 1093 add conss, 163 chg bounds, 92 chg sides, 297 chg coeffs, 2708 upgd conss, 124548 impls, 109 clqs
1.29/1.39 c (round 48) 647 del vars, 3600 del conss, 1093 add conss, 163 chg bounds, 92 chg sides, 298 chg coeffs, 2718 upgd conss, 124622 impls, 108 clqs
1.29/1.39 c (round 49) 657 del vars, 3613 del conss, 1101 add conss, 163 chg bounds, 92 chg sides, 298 chg coeffs, 2718 upgd conss, 124990 impls, 107 clqs
1.39/1.44 c (round 50) 659 del vars, 3626 del conss, 1111 add conss, 163 chg bounds, 92 chg sides, 298 chg coeffs, 2718 upgd conss, 124990 impls, 108 clqs
1.39/1.45 c (round 51) 660 del vars, 3628 del conss, 1111 add conss, 163 chg bounds, 92 chg sides, 298 chg coeffs, 2718 upgd conss, 124990 impls, 108 clqs
1.39/1.45 c (round 52) 660 del vars, 3639 del conss, 1111 add conss, 163 chg bounds, 92 chg sides, 298 chg coeffs, 2718 upgd conss, 124990 impls, 108 clqs
1.39/1.48 c (1.5s) probing: 810/1051 (77.1%) - 131 fixings, 92 aggregations, 15564 implications, 25 bound changes
1.39/1.48 c (1.5s) probing aborted: 50/50 successive totally useless probings
1.39/1.48 c (round 53) 677 del vars, 3639 del conss, 1111 add conss, 163 chg bounds, 92 chg sides, 298 chg coeffs, 2718 upgd conss, 125664 impls, 100 clqs
1.39/1.48 c (round 54) 697 del vars, 3671 del conss, 1111 add conss, 172 chg bounds, 92 chg sides, 305 chg coeffs, 2723 upgd conss, 127886 impls, 100 clqs
1.39/1.48 c (round 55) 731 del vars, 3711 del conss, 1111 add conss, 172 chg bounds, 92 chg sides, 307 chg coeffs, 2728 upgd conss, 129068 impls, 85 clqs
1.39/1.49 c presolving (56 rounds):
1.39/1.49 c 781 deleted vars, 3796 deleted constraints, 1111 added constraints, 172 tightened bounds, 0 added holes, 92 changed sides, 311 changed coefficients
1.39/1.49 c 131849 implications, 85 cliques
1.39/1.49 c presolving detected infeasibility
1.39/1.49 c Presolving Time: 1.47
1.39/1.49 c - non default parameters ----------------------------------------------------------------------
1.39/1.49 c # SCIP version 2.1.1.4
1.39/1.49 c
1.39/1.49 c # maximal time in seconds to run
1.39/1.49 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.39/1.49 c limits/time = 1797
1.39/1.49 c
1.39/1.49 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.39/1.49 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.39/1.49 c limits/memory = 13950
1.39/1.49 c
1.39/1.49 c # default clock type (1: CPU user seconds, 2: wall clock time)
1.39/1.49 c # [type: int, range: [1,2], default: 1]
1.39/1.49 c timing/clocktype = 2
1.39/1.49 c
1.39/1.49 c # belongs reading time to solving time?
1.39/1.49 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.39/1.49 c timing/reading = TRUE
1.39/1.49 c
1.39/1.49 c -----------------------------------------------------------------------------------------------
1.39/1.49 c start solving
1.39/1.49 s UNSATISFIABLE
1.39/1.49 c SCIP Status : problem is solved [infeasible]
1.39/1.49 c Total Time : 1.49
1.39/1.49 c solving : 1.49
1.39/1.49 c presolving : 1.47 (included in solving)
1.39/1.49 c reading : 0.01 (included in solving)
1.39/1.49 c copying : 0.00 (0 times copied the problem)
1.39/1.49 c Original Problem :
1.39/1.49 c Problem name : HOME/instance-3692837-1338027275.opb
1.39/1.49 c Variables : 1328 (1328 binary, 0 integer, 0 implicit integer, 0 continuous)
1.39/1.49 c Constraints : 3349 initial, 3349 maximal
1.39/1.49 c Objective sense : minimize
1.39/1.49 c Presolved Problem :
1.39/1.49 c Problem name : t_HOME/instance-3692837-1338027275.opb
1.39/1.49 c Variables : 547 (547 binary, 0 integer, 0 implicit integer, 0 continuous)
1.39/1.49 c Constraints : 567 initial, 567 maximal
1.39/1.49 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1.39/1.49 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1.39/1.49 c trivial : 0.00 0.00 22 0 0 0 0 0 0 0 0
1.39/1.49 c dualfix : 0.00 0.00 1 0 0 0 0 0 0 0 0
1.39/1.49 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1.39/1.49 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1.39/1.49 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1.39/1.49 c gateextraction : 0.01 0.00 0 0 0 0 0 2435 811 0 0
1.39/1.49 c implics : 0.01 0.00 0 138 0 0 0 0 0 0 0
1.39/1.49 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
1.39/1.49 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1.39/1.49 c probing : 0.23 0.00 131 92 0 25 0 0 0 0 0
1.39/1.49 c knapsack : 0.03 0.00 0 0 0 0 0 0 0 0 0
1.39/1.49 c setppc : 0.04 0.00 12 67 0 0 0 298 0 0 0
1.39/1.49 c and : 1.04 0.00 20 151 0 9 0 370 300 0 55
1.39/1.49 c linear : 0.06 0.00 134 8 0 134 0 684 0 92 256
1.39/1.49 c logicor : 0.02 0.00 5 0 0 4 0 9 0 0 0
1.39/1.49 c root node : - - 0 - - 0 - - - - -
1.39/1.49 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1.39/1.49 c integral : 0 0 0 0 0 0 0 0 0 0 0 0 0
1.39/1.49 c knapsack : 176 176 0 2915 0 0 0 0 0 0 0 0 0
1.39/1.49 c setppc : 81 81 0 2915 0 0 0 65 6 0 0 0 0
1.39/1.49 c and : 307 307 0 2909 0 0 0 144 28 0 0 0 0
1.39/1.49 c logicor : 3 3 0 282 0 0 0 0 0 0 0 0 0
1.39/1.49 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0
1.39/1.49 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1.39/1.49 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1.39/1.49 c knapsack : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00
1.39/1.49 c setppc : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00
1.39/1.49 c and : 0.04 0.00 0.00 0.04 0.00 0.00 0.00 0.00
1.39/1.49 c logicor : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1.39/1.49 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1.39/1.49 c Propagators : #Propagate #ResProp Cutoffs DomReds
1.39/1.49 c pseudoobj : 0 0 0 0
1.39/1.49 c rootredcost : 0 0 0 0
1.39/1.49 c vbounds : 0 0 0 0
1.39/1.49 c redcost : 0 0 0 0
1.39/1.49 c probing : 0 0 0 0
1.39/1.49 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1.39/1.49 c pseudoobj : 0.00 0.00 0.00 0.00 0.00
1.39/1.49 c rootredcost : 0.00 0.00 0.00 0.00 0.00
1.39/1.49 c vbounds : 0.00 0.00 0.00 0.00 0.00
1.39/1.49 c redcost : 0.00 0.00 0.00 0.00 0.00
1.39/1.49 c probing : 0.23 0.00 0.23 0.00 0.00
1.39/1.49 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1.39/1.49 c propagation : 0.00 34 0 0 0.0 0 0.0 -
1.39/1.49 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1.39/1.49 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1.39/1.49 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1.39/1.49 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1.39/1.49 c applied globally : - - - 0 0.0 - - -
1.39/1.49 c applied locally : - - - 0 0.0 - - -
1.39/1.49 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1.39/1.49 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1.39/1.49 c clique : 0.00 0.00 0 0 0 0 0
1.39/1.49 c closecuts : 0.00 0.00 0 0 0 0 0
1.39/1.49 c cgmip : 0.00 0.00 0 0 0 0 0
1.39/1.49 c cmir : 0.00 0.00 0 0 0 0 0
1.39/1.49 c flowcover : 0.00 0.00 0 0 0 0 0
1.39/1.49 c gomory : 0.00 0.00 0 0 0 0 0
1.39/1.49 c impliedbounds : 0.00 0.00 0 0 0 0 0
1.39/1.49 c intobj : 0.00 0.00 0 0 0 0 0
1.39/1.49 c mcf : 0.00 0.00 0 0 0 0 0
1.39/1.49 c oddcycle : 0.00 0.00 0 0 0 0 0
1.39/1.49 c rapidlearning : 0.00 0.00 0 0 0 0 0
1.39/1.49 c strongcg : 0.00 0.00 0 0 0 0 0
1.39/1.49 c zerohalf : 0.00 0.00 0 0 0 0 0
1.39/1.49 c Pricers : ExecTime SetupTime Calls Vars
1.39/1.49 c problem variables: 0.00 - 0 0
1.39/1.49 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1.39/1.49 c pscost : 0.00 0.00 0 0 0 0 0 0
1.39/1.49 c inference : 0.00 0.00 0 0 0 0 0 0
1.39/1.49 c mostinf : 0.00 0.00 0 0 0 0 0 0
1.39/1.49 c leastinf : 0.00 0.00 0 0 0 0 0 0
1.39/1.49 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1.39/1.49 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1.39/1.49 c random : 0.00 0.00 0 0 0 0 0 0
1.39/1.49 c relpscost : 0.00 0.00 0 0 0 0 0 0
1.39/1.49 c Primal Heuristics : ExecTime SetupTime Calls Found
1.39/1.49 c LP solutions : 0.00 - - 0
1.39/1.49 c pseudo solutions : 0.00 - - 0
1.39/1.49 c smallcard : 0.00 0.00 0 0
1.39/1.49 c trivial : 0.00 0.00 1 0
1.39/1.49 c shiftandpropagate: 0.00 0.00 0 0
1.39/1.49 c simplerounding : 0.00 0.00 0 0
1.39/1.49 c zirounding : 0.00 0.00 0 0
1.39/1.49 c rounding : 0.00 0.00 0 0
1.39/1.49 c shifting : 0.00 0.00 0 0
1.39/1.49 c intshifting : 0.00 0.00 0 0
1.39/1.49 c oneopt : 0.00 0.00 0 0
1.39/1.49 c twoopt : 0.00 0.00 0 0
1.39/1.49 c indtwoopt : 0.00 0.00 0 0
1.39/1.49 c indoneopt : 0.00 0.00 0 0
1.39/1.49 c fixandinfer : 0.00 0.00 0 0
1.39/1.49 c feaspump : 0.00 0.00 0 0
1.39/1.49 c clique : 0.00 0.00 0 0
1.39/1.49 c indrounding : 0.00 0.00 0 0
1.39/1.49 c indcoefdiving : 0.00 0.00 0 0
1.39/1.49 c coefdiving : 0.00 0.00 0 0
1.39/1.49 c pscostdiving : 0.00 0.00 0 0
1.39/1.49 c nlpdiving : 0.00 0.00 0 0
1.39/1.49 c fracdiving : 0.00 0.00 0 0
1.39/1.49 c veclendiving : 0.00 0.00 0 0
1.39/1.49 c intdiving : 0.00 0.00 0 0
1.39/1.49 c actconsdiving : 0.00 0.00 0 0
1.39/1.49 c objpscostdiving : 0.00 0.00 0 0
1.39/1.49 c rootsoldiving : 0.00 0.00 0 0
1.39/1.49 c linesearchdiving : 0.00 0.00 0 0
1.39/1.49 c guideddiving : 0.00 0.00 0 0
1.39/1.49 c octane : 0.00 0.00 0 0
1.39/1.49 c rens : 0.00 0.00 0 0
1.39/1.49 c rins : 0.00 0.00 0 0
1.39/1.49 c localbranching : 0.00 0.00 0 0
1.39/1.49 c mutation : 0.00 0.00 0 0
1.39/1.49 c crossover : 0.00 0.00 0 0
1.39/1.49 c dins : 0.00 0.00 0 0
1.39/1.49 c vbounds : 0.00 0.00 0 0
1.39/1.49 c undercover : 0.00 0.00 0 0
1.39/1.49 c subnlp : 0.00 0.00 0 0
1.39/1.49 c trysol : 0.00 0.00 0 0
1.39/1.49 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1.39/1.49 c primal LP : 0.00 0 0 0.00 - 0.00 0
1.39/1.49 c dual LP : 0.00 0 0 0.00 - 0.00 0
1.39/1.49 c lex dual LP : 0.00 0 0 0.00 -
1.39/1.49 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1.39/1.49 c diving/probing LP: 0.00 0 0 0.00 -
1.39/1.49 c strong branching : 0.00 0 0 0.00 -
1.39/1.49 c (at root node) : - 0 0 0.00 -
1.39/1.49 c conflict analysis: 0.00 0 0 0.00 -
1.39/1.49 c B&B Tree :
1.39/1.49 c number of runs : 1
1.39/1.49 c nodes : 0
1.39/1.49 c nodes (total) : 0
1.39/1.49 c nodes left : 1
1.39/1.49 c max depth : -1
1.39/1.49 c max depth (total): -1
1.39/1.49 c backtracks : 0 (0.0%)
1.39/1.49 c delayed cutoffs : 0
1.39/1.49 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1.39/1.49 c avg switch length: 0.00
1.39/1.49 c switching time : 0.00
1.39/1.49 c Solution :
1.39/1.49 c Solutions found : 0 (0 improvements)
1.39/1.49 c Primal Bound : infeasible
1.39/1.49 c Dual Bound : -
1.39/1.49 c Gap : infinite
1.39/1.49 c Root Dual Bound : -
1.39/1.49 c Root Iterations : 0
1.49/1.50 c Time complete: 1.5.