0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3488762-1307765267.opb>
0.08/0.08 c original problem has 6352 variables (6352 bin, 0 int, 0 impl, 0 cont) and 13473 constraints
0.08/0.08 c problem read
0.08/0.08 c presolving settings loaded
0.09/0.12 c presolving:
0.09/0.16 c (round 1) 2944 del vars, 496 del conss, 0 add conss, 325 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 38274 impls, 0 clqs
0.09/0.18 c (round 2) 3207 del vars, 4467 del conss, 0 add conss, 356 chg bounds, 1 chg sides, 2 chg coeffs, 0 upgd conss, 47718 impls, 0 clqs
0.09/0.19 c (round 3) 3240 del vars, 4891 del conss, 0 add conss, 371 chg bounds, 3 chg sides, 6 chg coeffs, 0 upgd conss, 47987 impls, 0 clqs
0.09/0.19 c (round 4) 3275 del vars, 4972 del conss, 0 add conss, 387 chg bounds, 6 chg sides, 12 chg coeffs, 0 upgd conss, 48326 impls, 0 clqs
0.09/0.19 c (round 5) 3310 del vars, 5064 del conss, 0 add conss, 401 chg bounds, 9 chg sides, 18 chg coeffs, 0 upgd conss, 48683 impls, 0 clqs
0.09/0.19 c (round 6) 3339 del vars, 5138 del conss, 0 add conss, 413 chg bounds, 12 chg sides, 24 chg coeffs, 0 upgd conss, 49050 impls, 0 clqs
0.09/0.19 c (round 7) 3362 del vars, 5205 del conss, 0 add conss, 425 chg bounds, 16 chg sides, 32 chg coeffs, 0 upgd conss, 49290 impls, 0 clqs
0.09/0.20 c (round 8) 3386 del vars, 5263 del conss, 0 add conss, 434 chg bounds, 19 chg sides, 38 chg coeffs, 0 upgd conss, 49503 impls, 0 clqs
0.19/0.20 c (round 9) 3402 del vars, 5310 del conss, 0 add conss, 442 chg bounds, 23 chg sides, 46 chg coeffs, 0 upgd conss, 49664 impls, 0 clqs
0.19/0.20 c (round 10) 3418 del vars, 5350 del conss, 0 add conss, 450 chg bounds, 27 chg sides, 54 chg coeffs, 0 upgd conss, 49805 impls, 0 clqs
0.19/0.20 c (round 11) 3434 del vars, 5390 del conss, 0 add conss, 458 chg bounds, 31 chg sides, 62 chg coeffs, 0 upgd conss, 49928 impls, 0 clqs
0.19/0.20 c (round 12) 3450 del vars, 5430 del conss, 0 add conss, 466 chg bounds, 35 chg sides, 70 chg coeffs, 0 upgd conss, 50061 impls, 0 clqs
0.19/0.20 c (round 13) 3466 del vars, 5470 del conss, 0 add conss, 474 chg bounds, 39 chg sides, 78 chg coeffs, 0 upgd conss, 50182 impls, 0 clqs
0.19/0.21 c (round 14) 3482 del vars, 5510 del conss, 0 add conss, 482 chg bounds, 43 chg sides, 86 chg coeffs, 0 upgd conss, 50325 impls, 0 clqs
0.19/0.21 c (round 15) 3499 del vars, 5551 del conss, 0 add conss, 491 chg bounds, 47 chg sides, 94 chg coeffs, 0 upgd conss, 50508 impls, 0 clqs
0.19/0.21 c (round 16) 3515 del vars, 5591 del conss, 0 add conss, 499 chg bounds, 51 chg sides, 102 chg coeffs, 0 upgd conss, 50725 impls, 0 clqs
0.19/0.21 c (round 17) 3531 del vars, 5631 del conss, 0 add conss, 507 chg bounds, 55 chg sides, 110 chg coeffs, 0 upgd conss, 50918 impls, 0 clqs
0.19/0.21 c (round 18) 3547 del vars, 5671 del conss, 0 add conss, 515 chg bounds, 59 chg sides, 118 chg coeffs, 0 upgd conss, 51049 impls, 0 clqs
0.19/0.21 c (round 19) 3563 del vars, 5711 del conss, 0 add conss, 523 chg bounds, 63 chg sides, 126 chg coeffs, 0 upgd conss, 51190 impls, 0 clqs
0.19/0.22 c (round 20) 3579 del vars, 5751 del conss, 0 add conss, 531 chg bounds, 67 chg sides, 134 chg coeffs, 0 upgd conss, 51333 impls, 0 clqs
0.19/0.22 c (round 21) 3592 del vars, 5784 del conss, 0 add conss, 536 chg bounds, 69 chg sides, 138 chg coeffs, 0 upgd conss, 51499 impls, 0 clqs
0.19/0.22 c (round 22) 3609 del vars, 5825 del conss, 0 add conss, 546 chg bounds, 72 chg sides, 144 chg coeffs, 0 upgd conss, 51613 impls, 0 clqs
0.19/0.22 c (round 23) 3622 del vars, 5872 del conss, 0 add conss, 556 chg bounds, 75 chg sides, 150 chg coeffs, 0 upgd conss, 51677 impls, 0 clqs
0.19/0.22 c (round 24) 3640 del vars, 5910 del conss, 0 add conss, 568 chg bounds, 76 chg sides, 152 chg coeffs, 0 upgd conss, 51800 impls, 0 clqs
0.19/0.22 c (round 25) 3654 del vars, 5949 del conss, 0 add conss, 577 chg bounds, 77 chg sides, 154 chg coeffs, 0 upgd conss, 51911 impls, 0 clqs
0.19/0.23 c (round 26) 3670 del vars, 5987 del conss, 0 add conss, 587 chg bounds, 78 chg sides, 156 chg coeffs, 0 upgd conss, 52054 impls, 0 clqs
0.19/0.23 c (round 27) 3690 del vars, 6027 del conss, 0 add conss, 597 chg bounds, 80 chg sides, 160 chg coeffs, 0 upgd conss, 52205 impls, 0 clqs
0.19/0.23 c (round 28) 3697 del vars, 6068 del conss, 0 add conss, 606 chg bounds, 82 chg sides, 164 chg coeffs, 0 upgd conss, 52223 impls, 0 clqs
0.19/0.23 c (round 29) 3713 del vars, 6097 del conss, 0 add conss, 616 chg bounds, 85 chg sides, 170 chg coeffs, 0 upgd conss, 52300 impls, 0 clqs
0.19/0.23 c (round 30) 3727 del vars, 6136 del conss, 0 add conss, 628 chg bounds, 86 chg sides, 172 chg coeffs, 0 upgd conss, 52349 impls, 0 clqs
0.19/0.23 c (round 31) 3742 del vars, 6172 del conss, 0 add conss, 640 chg bounds, 87 chg sides, 174 chg coeffs, 0 upgd conss, 52408 impls, 0 clqs
0.19/0.24 c (round 32) 3759 del vars, 6211 del conss, 0 add conss, 653 chg bounds, 88 chg sides, 176 chg coeffs, 0 upgd conss, 52441 impls, 0 clqs
0.19/0.24 c (round 33) 3778 del vars, 6252 del conss, 0 add conss, 666 chg bounds, 89 chg sides, 178 chg coeffs, 0 upgd conss, 52548 impls, 0 clqs
0.19/0.24 c (round 34) 3795 del vars, 6294 del conss, 0 add conss, 676 chg bounds, 90 chg sides, 180 chg coeffs, 0 upgd conss, 52671 impls, 0 clqs
0.19/0.24 c (round 35) 3807 del vars, 6327 del conss, 0 add conss, 686 chg bounds, 92 chg sides, 185 chg coeffs, 0 upgd conss, 52708 impls, 0 clqs
0.19/0.24 c (round 36) 3816 del vars, 6357 del conss, 0 add conss, 694 chg bounds, 95 chg sides, 191 chg coeffs, 0 upgd conss, 52762 impls, 0 clqs
0.19/0.24 c (round 37) 3836 del vars, 6398 del conss, 0 add conss, 707 chg bounds, 96 chg sides, 193 chg coeffs, 0 upgd conss, 52853 impls, 0 clqs
0.19/0.24 c (round 38) 3846 del vars, 6439 del conss, 0 add conss, 716 chg bounds, 96 chg sides, 193 chg coeffs, 0 upgd conss, 52881 impls, 0 clqs
0.19/0.25 c (round 39) 3863 del vars, 6472 del conss, 0 add conss, 731 chg bounds, 100 chg sides, 201 chg coeffs, 0 upgd conss, 52932 impls, 0 clqs
0.19/0.25 c (round 40) 3878 del vars, 6516 del conss, 0 add conss, 743 chg bounds, 102 chg sides, 205 chg coeffs, 0 upgd conss, 52989 impls, 0 clqs
0.19/0.25 c (round 41) 3892 del vars, 6554 del conss, 0 add conss, 759 chg bounds, 107 chg sides, 215 chg coeffs, 0 upgd conss, 53019 impls, 0 clqs
0.19/0.25 c (round 42) 3910 del vars, 6592 del conss, 0 add conss, 773 chg bounds, 109 chg sides, 219 chg coeffs, 0 upgd conss, 53112 impls, 0 clqs
0.19/0.25 c (round 43) 3922 del vars, 6632 del conss, 0 add conss, 787 chg bounds, 112 chg sides, 225 chg coeffs, 0 upgd conss, 53133 impls, 0 clqs
0.19/0.25 c (round 44) 3943 del vars, 6667 del conss, 0 add conss, 802 chg bounds, 114 chg sides, 229 chg coeffs, 0 upgd conss, 53246 impls, 0 clqs
0.19/0.26 c (round 45) 3956 del vars, 6711 del conss, 0 add conss, 815 chg bounds, 117 chg sides, 235 chg coeffs, 0 upgd conss, 53276 impls, 0 clqs
0.19/0.26 c (round 46) 3974 del vars, 6749 del conss, 0 add conss, 830 chg bounds, 120 chg sides, 241 chg coeffs, 0 upgd conss, 53396 impls, 0 clqs
0.19/0.26 c (round 47) 3985 del vars, 6790 del conss, 0 add conss, 842 chg bounds, 123 chg sides, 247 chg coeffs, 0 upgd conss, 53422 impls, 0 clqs
0.19/0.26 c (round 48) 4000 del vars, 6823 del conss, 0 add conss, 855 chg bounds, 125 chg sides, 251 chg coeffs, 0 upgd conss, 53441 impls, 0 clqs
0.19/0.26 c (round 49) 4017 del vars, 6864 del conss, 0 add conss, 871 chg bounds, 127 chg sides, 255 chg coeffs, 0 upgd conss, 53531 impls, 0 clqs
0.19/0.26 c (round 50) 4031 del vars, 6898 del conss, 0 add conss, 883 chg bounds, 128 chg sides, 257 chg coeffs, 0 upgd conss, 53574 impls, 0 clqs
0.19/0.26 c (round 51) 4051 del vars, 6943 del conss, 0 add conss, 901 chg bounds, 130 chg sides, 261 chg coeffs, 0 upgd conss, 53725 impls, 0 clqs
0.19/0.27 c (round 52) 4067 del vars, 6992 del conss, 0 add conss, 916 chg bounds, 134 chg sides, 269 chg coeffs, 0 upgd conss, 53788 impls, 0 clqs
0.19/0.27 c (round 53) 4080 del vars, 7026 del conss, 0 add conss, 930 chg bounds, 139 chg sides, 279 chg coeffs, 0 upgd conss, 53823 impls, 0 clqs
0.19/0.27 c (round 54) 4101 del vars, 7062 del conss, 0 add conss, 943 chg bounds, 140 chg sides, 281 chg coeffs, 0 upgd conss, 53946 impls, 0 clqs
0.19/0.27 c (round 55) 4114 del vars, 7108 del conss, 0 add conss, 955 chg bounds, 143 chg sides, 287 chg coeffs, 0 upgd conss, 54060 impls, 0 clqs
0.19/0.27 c (round 56) 4129 del vars, 7152 del conss, 0 add conss, 970 chg bounds, 145 chg sides, 291 chg coeffs, 0 upgd conss, 54088 impls, 0 clqs
0.19/0.27 c (round 57) 4149 del vars, 7184 del conss, 0 add conss, 984 chg bounds, 149 chg sides, 297 chg coeffs, 0 upgd conss, 54194 impls, 0 clqs
0.19/0.27 c (round 58) 4159 del vars, 7225 del conss, 0 add conss, 994 chg bounds, 151 chg sides, 301 chg coeffs, 0 upgd conss, 54226 impls, 0 clqs
0.19/0.28 c (round 59) 4174 del vars, 7249 del conss, 0 add conss, 1006 chg bounds, 153 chg sides, 305 chg coeffs, 0 upgd conss, 54313 impls, 0 clqs
0.19/0.28 c (round 60) 4182 del vars, 7284 del conss, 0 add conss, 1013 chg bounds, 153 chg sides, 305 chg coeffs, 0 upgd conss, 54337 impls, 0 clqs
0.19/0.28 c (round 61) 4189 del vars, 7299 del conss, 0 add conss, 1022 chg bounds, 155 chg sides, 309 chg coeffs, 0 upgd conss, 54356 impls, 0 clqs
0.19/0.28 c (round 62) 4197 del vars, 7320 del conss, 0 add conss, 1028 chg bounds, 155 chg sides, 309 chg coeffs, 0 upgd conss, 54396 impls, 0 clqs
0.19/0.28 c (round 63) 4202 del vars, 7334 del conss, 0 add conss, 1033 chg bounds, 157 chg sides, 313 chg coeffs, 0 upgd conss, 54421 impls, 0 clqs
0.19/0.28 c (round 64) 4210 del vars, 7345 del conss, 0 add conss, 1037 chg bounds, 157 chg sides, 313 chg coeffs, 0 upgd conss, 54471 impls, 0 clqs
0.19/0.28 c (round 65) 4214 del vars, 7364 del conss, 0 add conss, 1041 chg bounds, 158 chg sides, 315 chg coeffs, 0 upgd conss, 54527 impls, 0 clqs
0.19/0.28 c (round 66) 4214 del vars, 7366 del conss, 0 add conss, 1041 chg bounds, 158 chg sides, 315 chg coeffs, 0 upgd conss, 54535 impls, 0 clqs
0.29/0.32 c (round 67) 4214 del vars, 7367 del conss, 0 add conss, 1041 chg bounds, 159 chg sides, 315 chg coeffs, 6106 upgd conss, 54535 impls, 0 clqs
0.39/0.42 c (round 68) 4264 del vars, 7367 del conss, 0 add conss, 1041 chg bounds, 159 chg sides, 315 chg coeffs, 6106 upgd conss, 105479 impls, 0 clqs
0.39/0.43 c (round 69) 4264 del vars, 7421 del conss, 0 add conss, 1041 chg bounds, 159 chg sides, 315 chg coeffs, 6106 upgd conss, 105487 impls, 0 clqs
0.49/0.52 c (round 70) 4314 del vars, 7421 del conss, 0 add conss, 1041 chg bounds, 159 chg sides, 315 chg coeffs, 6106 upgd conss, 111775 impls, 0 clqs
0.49/0.53 c (round 71) 4314 del vars, 7471 del conss, 0 add conss, 1041 chg bounds, 159 chg sides, 315 chg coeffs, 6106 upgd conss, 111775 impls, 0 clqs
0.49/0.59 c (round 72) 4364 del vars, 7471 del conss, 0 add conss, 1041 chg bounds, 159 chg sides, 315 chg coeffs, 6106 upgd conss, 112843 impls, 0 clqs
0.59/0.60 c (round 73) 4364 del vars, 7521 del conss, 0 add conss, 1041 chg bounds, 159 chg sides, 315 chg coeffs, 6106 upgd conss, 112843 impls, 0 clqs
0.59/0.67 c (0.7s) probing: 835/2138 (39.1%) - 1 fixings, 186 aggregations, 5637 implications, 0 bound changes
0.59/0.67 c (0.7s) probing aborted: 100/100 successive totally useless probings
0.59/0.67 c (round 74) 4401 del vars, 7521 del conss, 0 add conss, 1041 chg bounds, 159 chg sides, 315 chg coeffs, 6106 upgd conss, 113313 impls, 0 clqs
0.59/0.68 c (round 75) 4401 del vars, 7558 del conss, 0 add conss, 1041 chg bounds, 159 chg sides, 315 chg coeffs, 6106 upgd conss, 113313 impls, 0 clqs
0.59/0.69 c (0.7s) probing: 845/2138 (39.5%) - 1 fixings, 186 aggregations, 5637 implications, 0 bound changes
0.59/0.69 c (0.7s) probing aborted: 100/100 successive totally useless probings
0.59/0.69 c presolving (76 rounds):
0.59/0.69 c 4401 deleted vars, 7558 deleted constraints, 0 added constraints, 1041 tightened bounds, 0 added holes, 159 changed sides, 315 changed coefficients
0.59/0.69 c 113313 implications, 0 cliques
0.59/0.69 c presolved problem has 1951 variables (1951 bin, 0 int, 0 impl, 0 cont) and 5915 constraints
0.59/0.69 c 996 constraints of type <setppc>
0.59/0.69 c 4919 constraints of type <logicor>
0.59/0.69 c transformed objective value is always integral (scale: 1)
0.59/0.69 c Presolving Time: 0.58
0.59/0.69 c - non default parameters ----------------------------------------------------------------------
0.59/0.69 c # SCIP version 2.0.1.5
0.59/0.69 c
0.59/0.69 c # frequency for displaying node information lines
0.59/0.69 c # [type: int, range: [-1,2147483647], default: 100]
0.59/0.69 c display/freq = 10000
0.59/0.69 c
0.59/0.69 c # maximal time in seconds to run
0.59/0.69 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.69 c limits/time = 1797
0.59/0.69 c
0.59/0.69 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.59/0.69 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.69 c limits/memory = 13950
0.59/0.69 c
0.59/0.69 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.59/0.69 c # [type: int, range: [1,2], default: 1]
0.59/0.69 c timing/clocktype = 2
0.59/0.69 c
0.59/0.69 c # belongs reading time to solving time?
0.59/0.69 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.69 c timing/reading = TRUE
0.59/0.69 c
0.59/0.69 c # should presolving try to simplify inequalities
0.59/0.69 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.69 c constraints/linear/simplifyinequalities = TRUE
0.59/0.69 c
0.59/0.69 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.59/0.69 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.69 c constraints/indicator/addCouplingCons = TRUE
0.59/0.69 c
0.59/0.69 c # should presolving try to simplify knapsacks
0.59/0.69 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.69 c constraints/knapsack/simplifyinequalities = TRUE
0.59/0.69 c
0.59/0.69 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.59/0.69 c # [type: int, range: [-1,2147483647], default: -1]
0.59/0.69 c separating/rapidlearning/freq = 0
0.59/0.69 c
0.59/0.69 c -----------------------------------------------------------------------------------------------
0.59/0.69 c start solving
0.59/0.69 c
0.89/0.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.89/0.92 c 0.9s| 1 | 0 | 2180 | - | 22M| 0 |1245 |1951 |5969 |1951 |5913 | 0 | 54 | 0 | 2.808013e+03 | -- | Inf
2.00/2.10 c 2.1s| 1 | 0 | 7904 | - | 24M| 0 |1226 |1951 |5969 |1951 |7913 |2000 | 54 | 0 | 2.815667e+03 | -- | Inf
3.39/3.45 c 3.5s| 1 | 0 | 9148 | - | 27M| 0 |1161 |1951 |7374 |1951 |7951 |2038 | 54 | 0 | 2.839750e+03 | -- | Inf
3.69/3.70 c 3.7s| 1 | 0 | 9445 | - | 27M| 0 |1159 |1951 |7374 |1951 |7975 |2062 | 54 | 0 | 2.843792e+03 | -- | Inf
3.99/4.05 c 4.0s| 1 | 0 | 9996 | - | 28M| 0 |1186 |1951 |7374 |1951 |8002 |2089 | 54 | 0 | 2.846141e+03 | -- | Inf
4.49/4.50 c 4.5s| 1 | 0 | 10950 | - | 30M| 0 |1182 |1951 |7374 |1951 |8042 |2129 | 54 | 0 | 2.849623e+03 | -- | Inf
4.99/5.02 c 5.0s| 1 | 0 | 11662 | - | 31M| 0 |1227 |1951 |7374 |1951 |8093 |2180 | 54 | 0 | 2.854371e+03 | -- | Inf
5.40/5.41 c 5.4s| 1 | 0 | 12057 | - | 33M| 0 |1249 |1951 |7374 |1951 |8130 |2217 | 54 | 0 | 2.857233e+03 | -- | Inf
5.79/5.84 c 5.8s| 1 | 0 | 12645 | - | 36M| 0 |1267 |1951 |7374 |1951 |8166 |2253 | 54 | 0 | 2.859741e+03 | -- | Inf
6.69/6.73 c 6.7s| 1 | 0 | 13953 | - | 38M| 0 |1289 |1951 |7374 |1951 |8224 |2311 | 54 | 0 | 2.866279e+03 | -- | Inf
7.69/7.76 c 7.8s| 1 | 0 | 15369 | - | 40M| 0 |1294 |1951 |7374 |1951 |8276 |2363 | 54 | 0 | 2.872927e+03 | -- | Inf
8.29/8.37 c 8.4s| 1 | 0 | 16096 | - | 42M| 0 |1335 |1951 |7374 |1951 |8333 |2420 | 54 | 0 | 2.877990e+03 | -- | Inf
9.09/9.14 c 9.1s| 1 | 0 | 17735 | - | 43M| 0 |1305 |1951 |7374 |1951 |8388 |2475 | 54 | 0 | 2.884525e+03 | -- | Inf
9.90/9.93 c 9.9s| 1 | 0 | 19134 | - | 45M| 0 |1334 |1951 |7374 |1951 |6470 |2526 | 54 | 0 | 2.891003e+03 | -- | Inf
10.49/10.51 c 10.5s| 1 | 0 | 20148 | - | 46M| 0 |1336 |1951 |7374 |1951 |6525 |2581 | 54 | 0 | 2.896869e+03 | -- | Inf
10.99/11.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
10.99/11.07 c 11.1s| 1 | 0 | 21252 | - | 48M| 0 |1360 |1951 |7374 |1951 |6572 |2628 | 54 | 0 | 2.903146e+03 | -- | Inf
12.00/12.08 c 12.1s| 1 | 0 | 22501 | - | 48M| 0 |1355 |1951 |7374 |1951 |6619 |2675 | 54 | 0 | 2.906451e+03 | -- | Inf
13.20/13.27 c 13.3s| 1 | 0 | 24948 | - | 50M| 0 |1375 |1951 |7374 |1951 |6676 |2732 | 54 | 0 | 2.913236e+03 | -- | Inf
14.50/14.60 c 14.6s| 1 | 0 | 27444 | - | 52M| 0 |1427 |1951 |7374 |1951 |6728 |2784 | 54 | 0 | 2.918133e+03 | -- | Inf
15.59/15.63 c 15.6s| 1 | 0 | 28928 | - | 56M| 0 |1446 |1951 |7374 |1951 |6640 |2836 | 54 | 0 | 2.922234e+03 | -- | Inf
16.69/16.73 c 16.7s| 1 | 0 | 30143 | - | 59M| 0 |1460 |1951 |7374 |1951 |6691 |2887 | 54 | 0 | 2.926174e+03 | -- | Inf
18.39/18.42 c 18.4s| 1 | 0 | 32036 | - | 63M| 0 |1453 |1951 |7374 |1951 |6759 |2955 | 54 | 0 | 2.936328e+03 | -- | Inf
19.59/19.60 c 19.6s| 1 | 0 | 34319 | - | 63M| 0 |1460 |1951 |7374 |1951 |6817 |3013 | 54 | 0 | 2.938880e+03 | -- | Inf
20.79/20.86 c 20.9s| 1 | 0 | 37450 | - | 64M| 0 |1497 |1951 |7374 |1951 |6883 |3079 | 54 | 0 | 2.943884e+03 | -- | Inf
21.90/21.97 c 22.0s| 1 | 0 | 39646 | - | 64M| 0 |1486 |1951 |7374 |1951 |6945 |3141 | 54 | 0 | 2.948927e+03 | -- | Inf
23.40/23.47 c 23.5s| 1 | 0 | 41609 | - | 64M| 0 |1475 |1951 |7374 |1951 |6794 |3204 | 54 | 0 | 2.956102e+03 | -- | Inf
24.59/24.64 c 24.6s| 1 | 0 | 44657 | - | 65M| 0 |1464 |1951 |7374 |1951 |6842 |3252 | 54 | 0 | 2.959497e+03 | -- | Inf
24.99/25.04 c 25.0s| 1 | 0 | 45550 | - | 66M| 0 |1465 |1951 |7374 |1951 |6900 |3310 | 54 | 0 | 2.961612e+03 | -- | Inf
26.09/26.20 c 26.2s| 1 | 0 | 48757 | - | 66M| 0 |1484 |1951 |7374 |1951 |6948 |3358 | 54 | 0 | 2.964211e+03 | -- | Inf
27.50/27.58 c 27.6s| 1 | 0 | 52010 | - | 68M| 0 |1521 |1951 |7374 |1951 |7000 |3410 | 54 | 0 | 2.967947e+03 | -- | Inf
28.69/28.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
28.69/28.71 c 28.7s| 1 | 0 | 54338 | - | 68M| 0 |1569 |1951 |7374 |1951 |7043 |3453 | 54 | 0 | 2.970981e+03 | -- | Inf
29.49/29.54 c 29.5s| 1 | 0 | 56269 | - | 69M| 0 |1611 |1951 |7374 |1951 |6801 |3489 | 54 | 0 | 2.973090e+03 | -- | Inf
31.40/31.40 c 31.4s| 1 | 0 | 59214 | - | 70M| 0 |1582 |1951 |7374 |1951 |6870 |3558 | 54 | 0 | 2.980805e+03 | -- | Inf
32.09/32.15 c 32.2s| 1 | 0 | 61171 | - | 71M| 0 |1569 |1951 |7374 |1951 |6914 |3602 | 54 | 0 | 2.983913e+03 | -- | Inf
32.89/33.00 c 33.0s| 1 | 0 | 63497 | - | 73M| 0 |1590 |1951 |7374 |1951 |6953 |3641 | 54 | 0 | 2.985577e+03 | -- | Inf
34.19/34.29 c 34.3s| 1 | 0 | 65403 | - | 73M| 0 |1607 |1951 |7374 |1951 |6994 |3682 | 54 | 0 | 2.989563e+03 | -- | Inf
35.19/35.22 c 35.2s| 1 | 0 | 67567 | - | 74M| 0 |1624 |1951 |7374 |1951 |7029 |3717 | 54 | 0 | 2.991306e+03 | -- | Inf
36.30/36.32 c 36.3s| 1 | 0 | 69792 | - | 75M| 0 |1684 |1951 |7374 |1951 |6779 |3760 | 54 | 0 | 2.994324e+03 | -- | Inf
38.59/38.68 c 38.7s| 1 | 0 | 73436 | - | 75M| 0 |1570 |1951 |7374 |1951 |6839 |3820 | 54 | 0 | 3.001320e+03 | -- | Inf
39.69/39.77 c 39.8s| 1 | 0 | 74649 | - | 76M| 0 |1600 |1951 |7374 |1951 |6879 |3860 | 54 | 0 | 3.003560e+03 | -- | Inf
40.60/40.66 c 40.7s| 1 | 0 | 76942 | - | 77M| 0 |1645 |1951 |7374 |1951 |6919 |3900 | 54 | 0 | 3.006697e+03 | -- | Inf
41.49/41.52 c 41.5s| 1 | 0 | 78925 | - | 78M| 0 |1657 |1951 |7374 |1951 |6950 |3931 | 54 | 0 | 3.009087e+03 | -- | Inf
42.59/42.66 c 42.7s| 1 | 0 | 79951 | - | 78M| 0 |1671 |1951 |7374 |1951 |7002 |3983 | 54 | 0 | 3.012159e+03 | -- | Inf
44.09/44.10 c 44.1s| 1 | 0 | 80759 | - | 78M| 0 |1624 |1951 |7374 |1951 |6780 |4011 | 54 | 0 | 3.013963e+03 | -- | Inf
44.70/44.77 c 44.8s| 1 | 0 | 81243 | - | 79M| 0 |1648 |1951 |7374 |1951 |6803 |4034 | 54 | 0 | 3.014779e+03 | -- | Inf
45.79/45.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
45.79/45.89 c 45.9s| 1 | 0 | 82229 | - | 79M| 0 |1637 |1951 |7374 |1951 |6830 |4061 | 54 | 0 | 3.015365e+03 | -- | Inf
47.10/47.17 c 47.2s| 1 | 0 | 84127 | - | 80M| 0 |1661 |1951 |7374 |1951 |6868 |4099 | 54 | 0 | 3.017736e+03 | -- | Inf
48.69/48.75 c 48.7s| 1 | 0 | 85693 | - | 80M| 0 |1640 |1951 |7374 |1951 |6901 |4132 | 54 | 0 | 3.019485e+03 | -- | Inf
49.79/49.82 c 49.8s| 1 | 0 | 86495 | - | 80M| 0 |1602 |1951 |7374 |1951 |6926 |4157 | 54 | 0 | 3.020031e+03 | -- | Inf
50.39/50.50 c 50.5s| 1 | 0 | 87176 | - | 81M| 0 |1650 |1951 |7374 |1951 |6730 |4182 | 54 | 0 | 3.020814e+03 | -- | Inf
51.70/51.77 c 51.8s| 1 | 0 | 88281 | - | 81M| 0 |1589 |1951 |7374 |1951 |6771 |4223 | 54 | 0 | 3.024587e+03 | -- | Inf
52.09/52.19 c 52.2s| 1 | 0 | 89366 | - | 82M| 0 |1653 |1951 |7374 |1951 |6797 |4249 | 54 | 0 | 3.026841e+03 | -- | Inf
52.70/52.76 c 52.8s| 1 | 0 | 90382 | - | 82M| 0 |1628 |1951 |7374 |1951 |6831 |4283 | 54 | 0 | 3.027681e+03 | -- | Inf
53.49/53.54 c 53.5s| 1 | 0 | 92206 | - | 83M| 0 |1670 |1951 |7374 |1951 |6855 |4307 | 54 | 0 | 3.028660e+03 | -- | Inf
55.00/55.09 c 55.1s| 1 | 0 | 93699 | - | 83M| 0 |1623 |1951 |7374 |1951 |6897 |4349 | 54 | 0 | 3.031132e+03 | -- | Inf
56.29/56.35 c 56.4s| 1 | 0 | 94804 | - | 83M| 0 |1643 |1951 |7374 |1951 |6752 |4386 | 54 | 0 | 3.033751e+03 | -- | Inf
57.80/57.87 c 57.9s| 1 | 0 | 96468 | - | 83M| 0 |1577 |1951 |7374 |1951 |6791 |4425 | 54 | 0 | 3.037064e+03 | -- | Inf
58.50/58.55 c 58.6s| 1 | 0 | 97543 | - | 84M| 0 |1604 |1951 |7374 |1951 |6815 |4449 | 54 | 0 | 3.038981e+03 | -- | Inf
59.09/59.10 c 59.1s| 1 | 0 | 98112 | - | 85M| 0 |1596 |1951 |7374 |1951 |6836 |4470 | 54 | 0 | 3.040132e+03 | -- | Inf
59.59/59.65 c 59.7s| 1 | 0 | 98828 | - | 85M| 0 |1596 |1951 |7374 |1951 |6863 |4497 | 54 | 0 | 3.042013e+03 | -- | Inf
60.29/60.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
60.29/60.31 c 60.3s| 1 | 0 | 99859 | - | 86M| 0 |1624 |1951 |7374 |1951 |6887 |4521 | 54 | 0 | 3.043502e+03 | -- | Inf
61.60/61.62 c 61.6s| 1 | 0 |100663 | - | 86M| 0 |1591 |1951 |7374 |1951 |6740 |4548 | 54 | 0 | 3.044646e+03 | -- | Inf
62.69/62.73 c 62.7s| 1 | 0 |101225 | - | 86M| 0 |1644 |1951 |7374 |1951 |6761 |4569 | 54 | 0 | 3.045038e+03 | -- | Inf
63.59/63.61 c 63.6s| 1 | 0 |101794 | - | 87M| 0 |1664 |1951 |7374 |1951 |6788 |4596 | 54 | 0 | 3.045330e+03 | -- | Inf
64.99/65.01 c 65.0s| 1 | 0 |102755 | - | 87M| 0 |1622 |1951 |7374 |1951 |6813 |4621 | 54 | 0 | 3.046582e+03 | -- | Inf
66.00/66.03 c 66.0s| 1 | 0 |103308 | - | 87M| 0 |1651 |1951 |7374 |1951 |6844 |4652 | 54 | 0 | 3.049364e+03 | -- | Inf
66.80/66.89 c 66.9s| 1 | 0 |103531 | - | 88M| 0 |1661 |1951 |7374 |1951 |6870 |4678 | 54 | 0 | 3.050701e+03 | -- | Inf
67.40/67.49 c 67.5s| 1 | 0 |104138 | - | 89M| 0 |1668 |1951 |7374 |1951 |6715 |4696 | 54 | 0 | 3.051506e+03 | -- | Inf
68.79/68.88 c 68.9s| 1 | 0 |104842 | - | 89M| 0 |1659 |1951 |7374 |1951 |6742 |4723 | 54 | 0 | 3.053061e+03 | -- | Inf
69.99/70.08 c 70.1s| 1 | 0 |105187 | - | 89M| 0 |1691 |1951 |7374 |1951 |6766 |4747 | 54 | 0 | 3.054063e+03 | -- | Inf
71.40/71.45 c 71.5s| 1 | 0 |105677 | - | 89M| 0 |1681 |1951 |7374 |1951 |6780 |4761 | 54 | 0 | 3.054465e+03 | -- | Inf
72.90/72.91 c 72.9s| 1 | 0 |106255 | - | 89M| 0 |1690 |1951 |7374 |1951 |6788 |4769 | 54 | 0 | 3.055227e+03 | -- | Inf
74.19/74.29 c 74.3s| 1 | 0 |106515 | - | 89M| 0 |1672 |1951 |7374 |1951 |6795 |4776 | 54 | 0 | 3.055355e+03 | -- | Inf
75.50/75.53 c 75.5s| 1 | 0 |106783 | - | 89M| 0 |1687 |1951 |7374 |1951 |6694 |4790 | 54 | 0 | 3.055706e+03 | -- | Inf
76.69/76.79 c 76.8s| 1 | 0 |107504 | - | 90M| 0 |1651 |1951 |7374 |1951 |6710 |4806 | 54 | 0 | 3.056720e+03 | -- | Inf
77.90/77.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
77.90/77.92 c 77.9s| 1 | 0 |108053 | - | 90M| 0 |1646 |1951 |7374 |1951 |6730 |4826 | 54 | 0 | 3.058543e+03 | -- | Inf
78.70/78.77 c 78.8s| 1 | 0 |108515 | - | 90M| 0 |1655 |1951 |7374 |1951 |6757 |4853 | 54 | 0 | 3.059605e+03 | -- | Inf
79.39/79.48 c 79.5s| 1 | 0 |109384 | - | 90M| 0 |1659 |1951 |7374 |1951 |6776 |4872 | 54 | 0 | 3.062595e+03 | -- | Inf
80.09/80.10 c 80.1s| 1 | 0 |109725 | - | 91M| 0 |1650 |1951 |7374 |1951 |6796 |4892 | 54 | 0 | 3.062985e+03 | -- | Inf
81.19/81.22 c 81.2s| 1 | 0 |110692 | - | 91M| 0 |1642 |1951 |7374 |1951 |6706 |4918 | 54 | 0 | 3.064220e+03 | -- | Inf
81.90/81.93 c 81.9s| 1 | 0 |111126 | - | 92M| 0 |1652 |1951 |7374 |1951 |6728 |4940 | 54 | 0 | 3.065274e+03 | -- | Inf
82.99/83.09 c 83.1s| 1 | 0 |112167 | - | 92M| 0 |1666 |1951 |7374 |1951 |6754 |4966 | 54 | 0 | 3.066338e+03 | -- | Inf
84.10/84.17 c 84.2s| 1 | 0 |112516 | - | 92M| 0 |1657 |1951 |7374 |1951 |6772 |4984 | 54 | 0 | 3.067461e+03 | -- | Inf
85.19/85.21 c 85.2s| 1 | 0 |112960 | - | 93M| 0 |1660 |1951 |7374 |1951 |6781 |4993 | 54 | 0 | 3.067798e+03 | -- | Inf
86.20/86.28 c 86.3s| 1 | 0 |113512 | - | 93M| 0 |1649 |1951 |7374 |1951 |6801 |5013 | 54 | 0 | 3.068236e+03 | -- | Inf
86.90/86.95 c 86.9s| 1 | 0 |114110 | - | 93M| 0 |1659 |1951 |7374 |1951 |6743 |5031 | 54 | 0 | 3.069544e+03 | -- | Inf
88.19/88.20 c 88.2s| 1 | 0 |114660 | - | 93M| 0 |1666 |1951 |7374 |1951 |6760 |5048 | 54 | 0 | 3.070365e+03 | -- | Inf
89.39/89.41 c 89.4s| 1 | 0 |115117 | - | 93M| 0 |1662 |1951 |7374 |1951 |6781 |5069 | 54 | 0 | 3.071311e+03 | -- | Inf
90.00/90.08 c 90.1s| 1 | 0 |115636 | - | 94M| 0 |1667 |1951 |7374 |1951 |6794 |5082 | 54 | 0 | 3.072763e+03 | -- | Inf
91.00/91.07 c 91.1s| 1 | 0 |116549 | - | 95M| 0 |1655 |1951 |7374 |1951 |6813 |5101 | 54 | 0 | 3.074285e+03 | -- | Inf
92.09/92.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
92.09/92.18 c 92.2s| 1 | 0 |117172 | - | 95M| 0 |1662 |1951 |7374 |1951 |6832 |5120 | 54 | 0 | 3.075529e+03 | -- | Inf
93.19/93.26 c 93.3s| 1 | 0 |117623 | - | 95M| 0 |1638 |1951 |7374 |1951 |6718 |5137 | 54 | 0 | 3.076278e+03 | -- | Inf
93.99/94.05 c 94.0s| 1 | 0 |118093 | - | 95M| 0 |1646 |1951 |7374 |1951 |6734 |5153 | 54 | 0 | 3.077305e+03 | -- | Inf
95.09/95.19 c 95.2s| 1 | 0 |118545 | - | 95M| 0 |1642 |1951 |7374 |1951 |6765 |5184 | 54 | 0 | 3.078377e+03 | -- | Inf
96.50/96.50 c 96.5s| 1 | 0 |118858 | - | 95M| 0 |1634 |1951 |7374 |1951 |6773 |5192 | 54 | 0 | 3.079249e+03 | -- | Inf
97.50/97.59 c 97.6s| 1 | 0 |119645 | - | 95M| 0 |1635 |1951 |7374 |1951 |6787 |5206 | 54 | 0 | 3.080493e+03 | -- | Inf
98.59/98.60 c 98.6s| 1 | 0 |120325 | - | 96M| 0 |1663 |1951 |7374 |1951 |6806 |5225 | 54 | 0 | 3.081908e+03 | -- | Inf
99.49/99.59 c 99.6s| 1 | 0 |120795 | - | 96M| 0 |1604 |1951 |7374 |1951 |6743 |5248 | 54 | 0 | 3.082431e+03 | -- | Inf
100.59/100.62 c 101s| 1 | 0 |121778 | - | 96M| 0 |1613 |1951 |7374 |1951 |6766 |5271 | 54 | 0 | 3.083556e+03 | -- | Inf
101.29/101.38 c 101s| 1 | 0 |122166 | - | 96M| 0 |1628 |1951 |7374 |1951 |6781 |5286 | 54 | 0 | 3.084459e+03 | -- | Inf
102.00/102.08 c 102s| 1 | 0 |122691 | - | 96M| 0 |1639 |1951 |7374 |1951 |6800 |5305 | 54 | 0 | 3.085046e+03 | -- | Inf
102.89/102.99 c 103s| 1 | 0 |123097 | - | 96M| 0 |1646 |1951 |7374 |1951 |6815 |5320 | 54 | 0 | 3.085753e+03 | -- | Inf
103.69/103.79 c 104s| 1 | 0 |123949 | - | 97M| 0 |1638 |1951 |7374 |1951 |6829 |5334 | 54 | 0 | 3.087616e+03 | -- | Inf
104.29/104.33 c 104s| 1 | 0 |124265 | - | 97M| 0 |1664 |1951 |7374 |1951 |6721 |5344 | 54 | 0 | 3.087866e+03 | -- | Inf
105.19/105.27 c 105s| 1 | 0 |124697 | - | 97M| 0 |1652 |1951 |7374 |1951 |6732 |5355 | 54 | 0 | 3.088551e+03 | -- | Inf
106.10/106.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
106.10/106.16 c 106s| 1 | 0 |125093 | - | 96M| 0 |1640 |1951 |7374 |1951 |6742 |5365 | 54 | 0 | 3.088895e+03 | -- | Inf
106.99/107.02 c 107s| 1 | 0 |125119 | - | 94M| 0 |1646 |1951 |7374 |1951 |6747 |5370 | 54 | 0 | 3.088903e+03 | -- | Inf
107.90/107.92 c 108s| 1 | 0 |125369 | - | 93M| 0 |1652 |1951 |7374 |1951 |6750 |5373 | 54 | 0 | 3.089012e+03 | -- | Inf
108.80/108.83 c 109s| 1 | 0 |125562 | - | 91M| 0 |1645 |1951 |7374 |1951 |6754 |5377 | 54 | 0 | 3.089026e+03 | -- | Inf
109.69/109.75 c 110s| 1 | 0 |125637 | - | 88M| 0 |1647 |1951 |7374 |1951 |6663 |5381 | 54 | 0 | 3.089037e+03 | -- | Inf
110.60/110.65 c 111s| 1 | 0 |125774 | - | 87M| 0 |1640 |1951 |7374 |1951 |6666 |5384 | 54 | 0 | 3.089060e+03 | -- | Inf
111.49/111.54 c 112s| 1 | 0 |125777 | - | 85M| 0 |1642 |1951 |7374 |1951 |6667 |5385 | 54 | 0 | 3.089060e+03 | -- | Inf
112.39/112.45 c 112s| 1 | 0 |125858 | - | 83M| 0 |1645 |1951 |7374 |1951 |6668 |5386 | 54 | 0 | 3.089080e+03 | -- | Inf
113.30/113.36 c 113s| 1 | 0 |126017 | - | 82M| 0 |1644 |1951 |7374 |1951 |6669 |5387 | 54 | 0 | 3.089100e+03 | -- | Inf
114.19/114.26 c 114s| 1 | 0 |126035 | - | 79M| 0 |1642 |1951 |7374 |1951 |6670 |5388 | 54 | 0 | 3.089100e+03 | -- | Inf
117.39/117.40 c 117s| 1 | 2 |126035 | - | 78M| 0 |1642 |1951 |7374 |1951 |6670 |5388 | 54 | 13 | 3.089100e+03 | -- | Inf
1671.24/1671.28 c 1671s| 10000 | 4085 | 5355k| 523.0 | 87M| 44 |1610 |1951 |7005 |1951 |6415 |5388 | 13k|6419 | 3.137097e+03 | -- | Inf
1797.05/1797.08 c
1797.05/1797.08 c SCIP Status : solving was interrupted [time limit reached]
1797.05/1797.08 c Solving Time (sec) : 1797.08
1797.05/1797.08 c Solving Nodes : 10923
1797.05/1797.08 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.05/1797.08 c Dual Bound : +3.13755947697866e+03
1797.05/1797.08 c Gap : infinite
1797.05/1797.08 s UNKNOWN
1797.05/1797.08 c SCIP Status : solving was interrupted [time limit reached]
1797.05/1797.08 c Total Time : 1797.08
1797.05/1797.08 c solving : 1797.08
1797.05/1797.08 c presolving : 0.58 (included in solving)
1797.05/1797.08 c reading : 0.08 (included in solving)
1797.05/1797.08 c Original Problem :
1797.05/1797.08 c Problem name : HOME/instance-3488762-1307765267.opb
1797.05/1797.08 c Variables : 6352 (6352 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.05/1797.08 c Constraints : 13473 initial, 13473 maximal
1797.05/1797.08 c Presolved Problem :
1797.05/1797.08 c Problem name : t_HOME/instance-3488762-1307765267.opb
1797.05/1797.08 c Variables : 1951 (1951 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.05/1797.08 c Constraints : 5915 initial, 8334 maximal
1797.05/1797.08 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.05/1797.08 c trivial : 0.01 40 0 0 0 0 0 0 0 0
1797.05/1797.08 c dualfix : 0.01 0 0 0 0 0 0 0 0 0
1797.05/1797.08 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.08 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.08 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.08 c implics : 0.02 0 3128 0 0 0 0 0 0 0
1797.05/1797.08 c probing : 0.29 1 186 0 0 0 0 0 0 0
1797.05/1797.08 c setppc : 0.02 0 0 0 0 0 189 0 0 0
1797.05/1797.08 c linear : 0.13 1001 45 0 1041 0 7367 0 159 315
1797.05/1797.08 c logicor : 0.06 0 0 0 0 0 2 0 0 0
1797.05/1797.08 c root node : - 0 - - 0 - - - - -
1797.05/1797.08 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.05/1797.08 c integral : 0 0 0 8811 0 4 0 36 110 0 0 17428
1797.05/1797.08 c setppc : 996 115 242137 0 0 3 427341 1456 639760 0 0 0
1797.05/1797.08 c linear : 0+ 114 237367 0 0 0 2121 2 1406 351 0 0
1797.05/1797.08 c logicor : 4919+ 115 205898 0 0 0 569569 2707 1182913 0 0 0
1797.05/1797.08 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1797.05/1797.08 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.05/1797.08 c integral : 390.74 0.00 0.00 390.74 0.00 0.00 0.00
1797.05/1797.08 c setppc : 6.11 0.01 5.94 0.00 0.00 0.00 0.16
1797.05/1797.08 c linear : 1.37 0.09 1.28 0.00 0.00 0.00 0.00
1797.05/1797.08 c logicor : 8.23 0.04 7.88 0.00 0.00 0.00 0.30
1797.05/1797.08 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.05/1797.08 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.05/1797.08 c vbounds : 0 0 0 0
1797.05/1797.08 c rootredcost : 0 0 0 0
1797.05/1797.08 c pseudoobj : 239443 0 0 0
1797.05/1797.08 c Propagator Timings : TotalTime Propagate Resprop
1797.05/1797.08 c vbounds : 0.05 0.05 0.00
1797.05/1797.08 c rootredcost : 0.05 0.05 0.00
1797.05/1797.08 c pseudoobj : 6.05 6.05 0.00
1797.05/1797.08 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.05/1797.08 c propagation : 0.73 4164 3865 42339 39.9 520 10.3 -
1797.05/1797.08 c infeasible LP : 0.55 741 740 10944 51.6 57 6.4 0
1797.05/1797.08 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.05/1797.08 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.05/1797.08 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.05/1797.08 c applied globally : - - - 15523 36.4 - - -
1797.05/1797.08 c applied locally : - - - 0 0.0 - - -
1797.05/1797.08 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.05/1797.08 c cut pool : 1.29 114 - - 4735 - (maximal pool size: 28578)
1797.05/1797.08 c redcost : 0.20 8925 0 0 0 0
1797.05/1797.08 c impliedbounds : 0.05 115 0 0 4115 0
1797.05/1797.08 c intobj : 0.00 0 0 0 0 0
1797.05/1797.08 c gomory : 74.33 114 0 0 43486 0
1797.05/1797.08 c cgmip : 0.00 0 0 0 0 0
1797.05/1797.08 c closecuts : 0.00 0 0 0 0 0
1797.05/1797.08 c strongcg : 2.88 20 0 0 10000 0
1797.05/1797.08 c cmir : 0.32 10 0 0 0 0
1797.05/1797.08 c flowcover : 0.31 10 0 0 0 0
1797.05/1797.08 c clique : 0.15 114 0 0 23 0
1797.05/1797.08 c zerohalf : 0.00 0 0 0 0 0
1797.05/1797.08 c mcf : 0.01 1 0 0 0 0
1797.05/1797.08 c oddcycle : 0.00 0 0 0 0 0
1797.05/1797.08 c rapidlearning : 0.90 1 0 0 0 1405
1797.05/1797.08 c Pricers : Time Calls Vars
1797.05/1797.08 c problem variables: 0.00 0 0
1797.05/1797.08 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.05/1797.08 c relpscost : 390.73 8811 36 110 0 0 17428
1797.05/1797.08 c pscost : 0.00 0 0 0 0 0 0
1797.05/1797.08 c inference : 0.00 0 0 0 0 0 0
1797.05/1797.08 c mostinf : 0.00 0 0 0 0 0 0
1797.05/1797.08 c leastinf : 0.00 0 0 0 0 0 0
1797.05/1797.08 c fullstrong : 0.00 0 0 0 0 0 0
1797.05/1797.08 c allfullstrong : 0.00 0 0 0 0 0 0
1797.05/1797.08 c random : 0.00 0 0 0 0 0 0
1797.05/1797.08 c Primal Heuristics : Time Calls Found
1797.05/1797.08 c LP solutions : 0.00 - 0
1797.05/1797.08 c pseudo solutions : 0.00 - 0
1797.05/1797.08 c oneopt : 0.01 0 0
1797.05/1797.08 c crossover : 0.00 0 0
1797.05/1797.08 c veclendiving : 53.63 69 0
1797.05/1797.08 c pscostdiving : 69.80 91 0
1797.05/1797.08 c coefdiving : 78.16 101 0
1797.05/1797.08 c linesearchdiving : 73.62 115 0
1797.05/1797.08 c fracdiving : 81.64 116 0
1797.05/1797.08 c trivial : 0.01 2 0
1797.05/1797.08 c shiftandpropagate: 0.02 1 0
1797.05/1797.08 c simplerounding : 0.00 0 0
1797.05/1797.08 c zirounding : 0.75 1000 0
1797.05/1797.08 c rounding : 0.61 1278 0
1797.05/1797.08 c shifting : 1.55 442 0
1797.05/1797.08 c intshifting : 0.00 0 0
1797.05/1797.08 c twoopt : 0.00 0 0
1797.05/1797.08 c fixandinfer : 0.00 0 0
1797.05/1797.08 c feaspump : 26.24 15 0
1797.05/1797.08 c clique : 0.00 0 0
1797.05/1797.08 c intdiving : 0.00 0 0
1797.05/1797.08 c actconsdiving : 0.00 0 0
1797.05/1797.08 c objpscostdiving : 26.19 7 0
1797.05/1797.08 c rootsoldiving : 24.04 11 0
1797.05/1797.08 c guideddiving : 0.00 0 0
1797.05/1797.08 c octane : 0.00 0 0
1797.05/1797.08 c rens : 0.03 0 0
1797.05/1797.08 c rins : 0.00 0 0
1797.05/1797.08 c localbranching : 0.00 0 0
1797.05/1797.08 c mutation : 0.00 0 0
1797.05/1797.08 c dins : 0.00 0 0
1797.05/1797.08 c vbounds : 0.00 0 0
1797.05/1797.08 c undercover : 0.00 0 0
1797.05/1797.08 c subnlp : 0.00 0 0
1797.05/1797.08 c trysol : 0.00 0 0
1797.05/1797.08 c LP : Time Calls Iterations Iter/call Iter/sec
1797.05/1797.08 c primal LP : 0.08 0 0 0.00 0.00
1797.05/1797.08 c dual LP : 855.52 9448 4331139 458.42 5062.59
1797.05/1797.08 c lex dual LP : 0.00 0 0 0.00 -
1797.05/1797.08 c barrier LP : 0.00 0 0 0.00 -
1797.05/1797.08 c diving/probing LP: 391.56 35863 1473657 41.09 3763.60
1797.05/1797.08 c strong branching : 387.23 6781 1599783 235.92 4131.35
1797.05/1797.08 c (at root node) : - 13 10535 810.38 -
1797.05/1797.08 c conflict analysis: 0.00 0 0 0.00 -
1797.05/1797.08 c B&B Tree :
1797.05/1797.08 c number of runs : 1
1797.05/1797.08 c nodes : 10923
1797.05/1797.08 c nodes (total) : 10923
1797.05/1797.08 c nodes left : 4364
1797.05/1797.08 c max depth : 44
1797.05/1797.08 c max depth (total): 44
1797.05/1797.08 c backtracks : 3926 (35.9%)
1797.05/1797.08 c delayed cutoffs : 2142
1797.05/1797.08 c repropagations : 4970 (864612 domain reductions, 1571 cutoffs)
1797.05/1797.08 c avg switch length: 5.87
1797.05/1797.08 c switching time : 6.67
1797.05/1797.08 c Solution :
1797.05/1797.08 c Solutions found : 0 (0 improvements)
1797.05/1797.08 c Primal Bound : -
1797.05/1797.08 c Dual Bound : +3.13755947697866e+03
1797.05/1797.08 c Gap : infinite
1797.05/1797.08 c Root Dual Bound : +3.08910038923923e+03
1797.05/1797.08 c Root Iterations : 126035
1797.15/1797.16 c Time complete: 1797.21.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3488762-1307765267/watcher-3488762-1307765267 -o /tmp/evaluation-result-3488762-1307765267/solver-3488762-1307765267 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488762-1307765267.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 2/174 32249
/proc/meminfo: memFree=31425928/32951124 swapFree=67064368/67111528
[pid=32249] ppid=32247 vsize=12696 CPUtime=0 cores=0,2,4,6
/proc/32249/stat : 32249 (scip-2.0.1.4b_2) R 32247 32249 29294 0 -1 4202496 2145 0 0 0 0 0 0 0 25 0 1 0 888127146 13000704 2099 33554432000 4194304 9016284 140736510106336 18446744073709551615 7824814 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/32249/statm: 3174 2099 353 1178 0 1992 0
[startup+0.0864999 s]
/proc/loadavg: 2.00 2.00 2.00 2/174 32249
/proc/meminfo: memFree=31425928/32951124 swapFree=67064368/67111528
[pid=32249] ppid=32247 vsize=23420 CPUtime=0.08 cores=0,2,4,6
/proc/32249/stat : 32249 (scip-2.0.1.4b_2) R 32247 32249 29294 0 -1 4202496 4872 0 0 0 8 0 0 0 25 0 1 0 888127146 23982080 4826 33554432000 4194304 9016284 140736510106336 18446744073709551615 7870473 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/32249/statm: 5855 4826 360 1178 0 4673 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 23420
[startup+0.100499 s]
/proc/loadavg: 2.00 2.00 2.00 2/174 32249
/proc/meminfo: memFree=31425928/32951124 swapFree=67064368/67111528
[pid=32249] ppid=32247 vsize=34544 CPUtime=0.09 cores=0,2,4,6
/proc/32249/stat : 32249 (scip-2.0.1.4b_2) R 32247 32249 29294 0 -1 4202496 7599 0 0 0 9 0 0 0 25 0 1 0 888127146 35373056 7553 33554432000 4194304 9016284 140736510106336 18446744073709551615 6813403 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32249/statm: 8636 7553 406 1178 0 7454 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34544
[startup+0.300458 s]
/proc/loadavg: 2.00 2.00 2.00 2/174 32249
/proc/meminfo: memFree=31425928/32951124 swapFree=67064368/67111528
[pid=32249] ppid=32247 vsize=47224 CPUtime=0.29 cores=0,2,4,6
/proc/32249/stat : 32249 (scip-2.0.1.4b_2) R 32247 32249 29294 0 -1 4202496 10823 0 0 0 28 1 0 0 25 0 1 0 888127146 48357376 10520 33554432000 4194304 9016284 140736510106336 18446744073709551615 4202481 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32249/statm: 11806 10520 500 1178 0 10624 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 47224
[startup+0.700368 s]
/proc/loadavg: 2.00 2.00 2.00 2/174 32249
/proc/meminfo: memFree=31425928/32951124 swapFree=67064368/67111528
[pid=32249] ppid=32247 vsize=51032 CPUtime=0.69 cores=0,2,4,6
/proc/32249/stat : 32249 (scip-2.0.1.4b_2) R 32247 32249 29294 0 -1 4202496 11837 0 0 0 68 1 0 0 25 0 1 0 888127146 52256768 11535 33554432000 4194304 9016284 140736510106336 18446744073709551615 6813403 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32249/statm: 12758 11537 564 1178 0 11576 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 51032
[startup+1.50022 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 32250
/proc/meminfo: memFree=31371388/32951124 swapFree=67064368/67111528
[pid=32249] ppid=32247 vsize=62908 CPUtime=1.49 cores=0,2,4,6
/proc/32249/stat : 32249 (scip-2.0.1.4b_2) R 32247 32249 29294 0 -1 4202496 15212 0 0 0 147 2 0 0 25 0 1 0 888127146 64417792 14642 33554432000 4194304 9016284 140736510106336 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32249/statm: 15727 14642 681 1178 0 14545 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 62908
[startup+3.10093 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 32250
/proc/meminfo: memFree=31366924/32951124 swapFree=67064368/67111528
[pid=32249] ppid=32247 vsize=103680 CPUtime=3.09 cores=0,2,4,6
/proc/32249/stat : 32249 (scip-2.0.1.4b_2) R 32247 32249 29294 0 -1 4202496 25643 0 0 0 305 4 0 0 25 0 1 0 888127146 106168320 24487 33554432000 4194304 9016284 140736510106336 18446744073709551615 5325772 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32249/statm: 25920 24487 710 1178 0 24738 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 103680
[startup+6.30032 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 32250
/proc/meminfo: memFree=31328728/32951124 swapFree=67064368/67111528
[pid=32249] ppid=32247 vsize=104188 CPUtime=6.29 cores=0,2,4,6
/proc/32249/stat : 32249 (scip-2.0.1.4b_2) R 32247 32249 29294 0 -1 4202496 26823 0 0 0 624 5 0 0 25 0 1 0 888127146 106688512 24832 33554432000 4194304 9016284 140736510106336 18446744073709551615 6562128 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32249/statm: 26047 24832 714 1178 0 24865 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 104188
[startup+12.7011 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 32250
/proc/meminfo: memFree=31319352/32951124 swapFree=67064368/67111528
[pid=32249] ppid=32247 vsize=113432 CPUtime=12.69 cores=0,2,4,6
/proc/32249/stat : 32249 (scip-2.0.1.4b_2) R 32247 32249 29294 0 -1 4202496 29259 0 0 0 1261 8 0 0 25 0 1 0 888127146 116154368 26887 33554432000 4194304 9016284 140736510106336 18446744073709551615 7080864 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32249/statm: 28358 26887 744 1178 0 27176 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 113432
[startup+25.5007 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 32250
/proc/meminfo: memFree=31297600/32951124 swapFree=67064368/67111528
[pid=32249] ppid=32247 vsize=136308 CPUtime=25.5 cores=0,2,4,6
/proc/32249/stat : 32249 (scip-2.0.1.4b_2) R 32247 32249 29294 0 -1 4202496 42332 0 0 0 2534 16 0 0 25 0 1 0 888127146 139579392 32275 33554432000 4194304 9016284 140736510106336 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32249/statm: 34077 32275 773 1178 0 32895 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 136308
[startup+51.101 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 32251
/proc/meminfo: memFree=31281236/32951124 swapFree=67064368/67111528
[pid=32249] ppid=32247 vsize=153572 CPUtime=51.1 cores=0,2,4,6
/proc/32249/stat : 32249 (scip-2.0.1.4b_2) R 32247 32249 29294 0 -1 4202496 50173 0 0 0 5081 29 0 0 25 0 1 0 888127146 157257728 36231 33554432000 4194304 9016284 140736510106336 18446744073709551615 4438710 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32249/statm: 38393 36231 852 1178 0 37211 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 153572
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 32252
/proc/meminfo: memFree=31264188/32951124 swapFree=67064368/67111528
[pid=32249] ppid=32247 vsize=169148 CPUtime=102.3 cores=0,2,4,6
/proc/32249/stat : 32249 (scip-2.0.1.4b_2) R 32247 32249 29294 0 -1 4202496 56666 0 0 0 10179 51 0 0 25 0 1 0 888127146 173207552 40231 33554432000 4194304 9016284 140736510106336 18446744073709551615 6520756 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32249/statm: 42287 40231 900 1178 0 41105 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 169148
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 32254
/proc/meminfo: memFree=31261616/32951124 swapFree=67064368/67111528
[pid=32249] ppid=32247 vsize=168596 CPUtime=162.3 cores=0,2,4,6
/proc/32249/stat : 32249 (scip-2.0.1.4b_2) R 32247 32249 29294 0 -1 4202496 58730 0 0 0 16148 82 0 0 25 0 1 0 888127146 172642304 40419 33554432000 4194304 9016284 140736510106336 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32249/statm: 42149 40419 822 1178 0 40967 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 168596
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 32256
/proc/meminfo: memFree=31260336/32951124 swapFree=67064368/67111528
[pid=32249] ppid=32247 vsize=169640 CPUtime=222.29 cores=0,2,4,6
/proc/32249/stat : 32249 (scip-2.0.1.4b_2) R 32247 32249 29294 0 -1 4202496 59011 0 0 0 22118 111 0 0 25 0 1 0 888127146 173711360 40688 33554432000 4194304 9016284 140736510106336 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32249/statm: 42410 40688 813 1178 0 41228 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 169640
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 32257
/proc/meminfo: memFree=31258680/32951124 swapFree=67064368/67111528
[pid=32249] ppid=32247 vsize=169640 CPUtime=282.3 cores=0,2,4,6
/proc/32249/stat : 32249 (scip-2.0.1.4b_2) R 32247 32249 29294 0 -1 4202496 59014 0 0 0 28089 141 0 0 25 0 1 0 888127146 173711360 40688 33554432000 4194304 9016284 140736510106336 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32249/statm: 42410 40688 810 1178 0 41228 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 169640
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 32259
/proc/meminfo: memFree=31258260/32951124 swapFree=67064368/67111528
[pid=32249] ppid=32247 vsize=169640 CPUtime=342.3 cores=0,2,4,6
/proc/32249/stat : 32249 (scip-2.0.1.4b_2) R 32247 32249 29294 0 -1 4202496 59033 0 0 0 34060 170 0 0 25 0 1 0 888127146 173711360 40689 33554432000 4194304 9016284 140736510106336 18446744073709551615 7180575 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32249/statm: 42410 40689 792 1178 0 41228 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 169640
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 32260
/proc/meminfo: memFree=31256088/32951124 swapFree=67064368/67111528
[pid=32249] ppid=32247 vsize=171240 CPUtime=402.3 cores=0,2,4,6
/proc/32249/stat : 32249 (scip-2.0.1.4b_2) R 32247 32249 29294 0 -1 4202496 59207 0 0 0 40026 204 0 0 25 0 1 0 888127146 175349760 40860 33554432000 4194304 9016284 140736510106336 18446744073709551615 7199008 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32249/statm: 42810 40860 789 1178 0 41628 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 171240
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 32262
/proc/meminfo: memFree=31255544/32951124 swapFree=67064368/67111528
[pid=32249] ppid=32247 vsize=171240 CPUtime=462.3 cores=0,2,4,6
/proc/32249/stat : 32249 (scip-2.0.1.4b_2) R 32247 32249 29294 0 -1 4202496 59302 0 0 0 45989 241 0 0 25 0 1 0 888127146 175349760 40954 33554432000 4194304 9016284 140736510106336 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32249/statm: 42810 40954 788 1178 0 41628 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 171240
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 32264
/proc/meminfo: memFree=31251148/32951124 swapFree=67064368/67111528
[pid=32249] ppid=32247 vsize=172256 CPUtime=522.31 cores=0,2,4,6
/proc/32249/stat : 32249 (scip-2.0.1.4b_2) R 32247 32249 29294 0 -1 4202496 59591 0 0 0 51953 278 0 0 25 0 1 0 888127146 176390144 41243 33554432000 4194304 9016284 140736510106336 18446744073709551615 6776119 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32249/statm: 43064 41243 788 1178 0 41882 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 172256
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 32265
/proc/meminfo: memFree=31248748/32951124 swapFree=67064368/67111528
[pid=32249] ppid=32247 vsize=172256 CPUtime=582.31 cores=0,2,4,6
/proc/32249/stat : 32249 (scip-2.0.1.4b_2) R 32247 32249 29294 0 -1 4202496 59699 0 0 0 57919 312 0 0 25 0 1 0 888127146 176390144 41350 33554432000 4194304 9016284 140736510106336 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32249/statm: 43064 41350 787 1178 0 41882 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 172256
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=31220444/32951124 swapFree=67064368/67111528
[pid=32249] ppid=32247 vsize=187796 CPUtime=1062.32 cores=0,2,4,6
/proc/32249/stat : 32249 (scip-2.0.1.4b_2) R 32247 32249 29294 0 -1 4202496 64394 0 0 0 105644 588 0 0 25 0 1 0 888127146 192303104 45116 33554432000 4194304 9016284 140736510106336 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32249/statm: 46949 45116 733 1178 0 45767 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 187796
[startup+1122.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 32280
/proc/meminfo: memFree=31218772/32951124 swapFree=67064368/67111528
[pid=32249] ppid=32247 vsize=188996 CPUtime=1122.33 cores=0,2,4,6
/proc/32249/stat : 32249 (scip-2.0.1.4b_2) R 32247 32249 29294 0 -1 4202496 65643 0 0 0 111614 619 0 0 25 0 1 0 888127146 193531904 45479 33554432000 4194304 9016284 140736510106336 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32249/statm: 47249 45479 733 1178 0 46067 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 188996
[startup+1182.3 s]
/proc/loadavg: 1.56 1.89 1.96 2/169 32305
/proc/meminfo: memFree=31484936/32951124 swapFree=67064368/67111528
[pid=32249] ppid=32247 vsize=189688 CPUtime=1182.32 cores=0,2,4,6
/proc/32249/stat : 32249 (scip-2.0.1.4b_2) R 32247 32249 29294 0 -1 4202496 66594 0 0 0 117579 653 0 0 25 0 1 0 888127146 194240512 45645 33554432000 4194304 9016284 140736510106336 18446744073709551615 7213495 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32249/statm: 47422 45645 733 1178 0 46240 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 189688
[startup+1242.3 s]
/proc/loadavg: 1.19 1.72 1.89 2/169 32307
/proc/meminfo: memFree=31482552/32951124 swapFree=67064368/67111528
[pid=32249] ppid=32247 vsize=191480 CPUtime=1242.33 cores=0,2,4,6
/proc/32249/stat : 32249 (scip-2.0.1.4b_2) R 32247 32249 29294 0 -1 4202496 67122 0 0 0 123546 687 0 0 25 0 1 0 888127146 196075520 46173 33554432000 4194304 9016284 140736510106336 18446744073709551615 6927150 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32249/statm: 47870 46173 733 1178 0 46688 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 191480
[startup+1302.3 s]
/proc/loadavg: 1.07 1.58 1.84 2/169 32308
/proc/meminfo: memFree=31481872/32951124 swapFree=67064368/67111528
[pid=32249] ppid=32247 vsize=192088 CPUtime=1302.34 cores=0,2,4,6
/proc/32249/stat : 32249 (scip-2.0.1.4b_2) R 32247 32249 29294 0 -1 4202496 67290 0 0 0 129509 725 0 0 25 0 1 0 888127146 196698112 46341 33554432000 4194304 9016284 140736510106336 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32249/statm: 48022 46341 733 1178 0 46840 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 192088
[startup+1362.3 s]
/proc/loadavg: 1.02 1.47 1.78 2/169 32310
/proc/meminfo: memFree=31481104/32951124 swapFree=67064368/67111528
[pid=32249] ppid=32247 vsize=193560 CPUtime=1362.33 cores=0,2,4,6
/proc/32249/stat : 32249 (scip-2.0.1.4b_2) R 32247 32249 29294 0 -1 4202496 69204 0 0 0 135471 762 0 0 25 0 1 0 888127146 198205440 46572 33554432000 4194304 9016284 140736510106336 18446744073709551615 7178517 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32249/statm: 48390 46572 733 1178 0 47208 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 193560
[startup+1422.31 s]
/proc/loadavg: 1.01 1.39 1.73 2/169 32312
/proc/meminfo: memFree=31480184/32951124 swapFree=67064368/67111528
[pid=32249] ppid=32247 vsize=194184 CPUtime=1422.34 cores=0,2,4,6
/proc/32249/stat : 32249 (scip-2.0.1.4b_2) R 32247 32249 29294 0 -1 4202496 69415 0 0 0 141433 801 0 0 25 0 1 0 888127146 198844416 46783 33554432000 4194304 9016284 140736510106336 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32249/statm: 48546 46783 733 1178 0 47364 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 194184
[startup+1482.3 s]
/proc/loadavg: 1.00 1.32 1.68 2/169 32313
/proc/meminfo: memFree=31478268/32951124 swapFree=67064368/67111528
[pid=32249] ppid=32247 vsize=195924 CPUtime=1482.33 cores=0,2,4,6
/proc/32249/stat : 32249 (scip-2.0.1.4b_2) R 32247 32249 29294 0 -1 4202496 69983 0 0 0 147395 838 0 0 25 0 1 0 888127146 200626176 47286 33554432000 4194304 9016284 140736510106336 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32249/statm: 48981 47286 733 1178 0 47799 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 195924
[startup+1542.3 s]
/proc/loadavg: 1.00 1.25 1.63 2/169 32315
/proc/meminfo: memFree=31477856/32951124 swapFree=67064368/67111528
[pid=32249] ppid=32247 vsize=196340 CPUtime=1542.34 cores=0,2,4,6
/proc/32249/stat : 32249 (scip-2.0.1.4b_2) R 32247 32249 29294 0 -1 4202496 70086 0 0 0 153360 874 0 0 25 0 1 0 888127146 201052160 47389 33554432000 4194304 9016284 140736510106336 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32249/statm: 49085 47389 733 1178 0 47903 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 196340
[startup+1602.3 s]
/proc/loadavg: 1.07 1.22 1.60 2/169 32316
/proc/meminfo: memFree=31477172/32951124 swapFree=67064368/67111528
[pid=32249] ppid=32247 vsize=196932 CPUtime=1602.34 cores=0,2,4,6
/proc/32249/stat : 32249 (scip-2.0.1.4b_2) R 32247 32249 29294 0 -1 4202496 70233 0 0 0 159320 914 0 0 25 0 1 0 888127146 201658368 47536 33554432000 4194304 9016284 140736510106336 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32249/statm: 49233 47536 733 1178 0 48051 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 196932
[startup+1662.3 s]
/proc/loadavg: 1.02 1.18 1.56 2/169 32318
/proc/meminfo: memFree=31477264/32951124 swapFree=67064368/67111528
[pid=32249] ppid=32247 vsize=197124 CPUtime=1662.34 cores=0,2,4,6
/proc/32249/stat : 32249 (scip-2.0.1.4b_2) R 32247 32249 29294 0 -1 4202496 70241 0 0 0 165290 944 0 0 25 0 1 0 888127146 201854976 47544 33554432000 4194304 9016284 140736510106336 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32249/statm: 49281 47544 733 1178 0 48099 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 197124
[startup+1722.3 s]
/proc/loadavg: 1.01 1.14 1.52 2/169 32320
/proc/meminfo: memFree=31475472/32951124 swapFree=67064368/67111528
[pid=32249] ppid=32247 vsize=199196 CPUtime=1722.34 cores=0,2,4,6
/proc/32249/stat : 32249 (scip-2.0.1.4b_2) R 32247 32249 29294 0 -1 4202496 70673 0 0 0 171253 981 0 0 25 0 1 0 888127146 203976704 47976 33554432000 4194304 9016284 140736510106336 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32249/statm: 49799 47976 733 1178 0 48617 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 199196
[startup+1782.3 s]
/proc/loadavg: 1.00 1.11 1.48 2/169 32321
/proc/meminfo: memFree=31474692/32951124 swapFree=67064368/67111528
[pid=32249] ppid=32247 vsize=199652 CPUtime=1782.34 cores=0,2,4,6
/proc/32249/stat : 32249 (scip-2.0.1.4b_2) R 32247 32249 29294 0 -1 4202496 70827 0 0 0 177218 1016 0 0 25 0 1 0 888127146 204443648 48130 33554432000 4194304 9016284 140736510106336 18446744073709551615 7082078 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32249/statm: 49913 48130 733 1178 0 48731 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 199652
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 1.00 1.11 1.48 2/169 32321
/proc/meminfo: memFree=31474692/32951124 swapFree=67064368/67111528
[pid=32249] ppid=32247 vsize=199652 CPUtime=1785.55 cores=0,2,4,6
/proc/32249/stat : 32249 (scip-2.0.1.4b_2) R 32247 32249 29294 0 -1 4202496 70827 0 0 0 177537 1018 0 0 25 0 1 0 888127146 204443648 48130 33554432000 4194304 9016284 140736510106336 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32249/statm: 49913 48130 733 1178 0 48731 0
Current children cumulated CPU time (s) 1785.55
Current children cumulated vsize (KiB) 199652
[startup+1791.91 s]
/proc/loadavg: 1.00 1.11 1.48 2/169 32322
/proc/meminfo: memFree=31474548/32951124 swapFree=67064368/67111528
[pid=32249] ppid=32247 vsize=199652 CPUtime=1791.96 cores=0,2,4,6
/proc/32249/stat : 32249 (scip-2.0.1.4b_2) R 32247 32249 29294 0 -1 4202496 70827 0 0 0 178174 1022 0 0 25 0 1 0 888127146 204443648 48130 33554432000 4194304 9016284 140736510106336 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32249/statm: 49913 48130 733 1178 0 48731 0
Current children cumulated CPU time (s) 1791.96
Current children cumulated vsize (KiB) 199652
[startup+1795.1 s]
/proc/loadavg: 1.00 1.11 1.48 2/169 32322
/proc/meminfo: memFree=31474668/32951124 swapFree=67064368/67111528
[pid=32249] ppid=32247 vsize=199652 CPUtime=1795.15 cores=0,2,4,6
/proc/32249/stat : 32249 (scip-2.0.1.4b_2) R 32247 32249 29294 0 -1 4202496 70828 0 0 0 178492 1023 0 0 25 0 1 0 888127146 204443648 48131 33554432000 4194304 9016284 140736510106336 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32249/statm: 49913 48131 733 1178 0 48731 0
Current children cumulated CPU time (s) 1795.15
Current children cumulated vsize (KiB) 199652
[startup+1795.9 s]
/proc/loadavg: 1.00 1.11 1.48 2/169 32322
/proc/meminfo: memFree=31474668/32951124 swapFree=67064368/67111528
[pid=32249] ppid=32247 vsize=199652 CPUtime=1795.94 cores=0,2,4,6
/proc/32249/stat : 32249 (scip-2.0.1.4b_2) R 32247 32249 29294 0 -1 4202496 70828 0 0 0 178571 1023 0 0 25 0 1 0 888127146 204443648 48131 33554432000 4194304 9016284 140736510106336 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32249/statm: 49913 48131 733 1178 0 48731 0
Current children cumulated CPU time (s) 1795.94
Current children cumulated vsize (KiB) 199652
[startup+1796.7 s]
/proc/loadavg: 1.00 1.11 1.48 2/169 32322
/proc/meminfo: memFree=31474544/32951124 swapFree=67064368/67111528
[pid=32249] ppid=32247 vsize=199652 CPUtime=1796.75 cores=0,2,4,6
/proc/32249/stat : 32249 (scip-2.0.1.4b_2) R 32247 32249 29294 0 -1 4202496 70828 0 0 0 178651 1024 0 0 25 0 1 0 888127146 204443648 48131 33554432000 4194304 9016284 140736510106336 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32249/statm: 49913 48131 733 1178 0 48731 0
Current children cumulated CPU time (s) 1796.75
Current children cumulated vsize (KiB) 199652
[startup+1797.1 s]
/proc/loadavg: 1.00 1.11 1.48 2/169 32322
/proc/meminfo: memFree=31474544/32951124 swapFree=67064368/67111528
[pid=32249] ppid=32247 vsize=199652 CPUtime=1797.15 cores=0,2,4,6
/proc/32249/stat : 32249 (scip-2.0.1.4b_2) R 32247 32249 29294 0 -1 4202496 70830 0 0 0 178691 1024 0 0 25 0 1 0 888127146 204443648 48133 33554432000 4194304 9016284 140736510106336 18446744073709551615 6817804 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/32249/statm: 49913 48133 735 1178 0 48731 0
Current children cumulated CPU time (s) 1797.15
Current children cumulated vsize (KiB) 199652
Child status: 0
Real time (s): 1797.17
CPU time (s): 1797.22
CPU user time (s): 1786.97
CPU system time (s): 10.2514
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 199652
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1786.97
system time used= 10.2514
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70835
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= 5353
runsolver used 2.55261 second user time and 5.62714 second system time
The end