0.00/0.00 c SCIP version 2.0.1.4 [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-3485320-1307762657.opb>
0.00/0.07 c original problem has 6352 variables (6352 bin, 0 int, 0 impl, 0 cont) and 13473 constraints
0.00/0.07 c problem read
0.00/0.07 c presolving settings loaded
0.09/0.12 c presolving:
0.09/0.15 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.17 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.18 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.18 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.18 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.18 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.18 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.18 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.09/0.19 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.09/0.19 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.09/0.19 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.09/0.19 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.09/0.19 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.09/0.19 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.09/0.20 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.20 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.20 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.20 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.20 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.20 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.20 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.21 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.21 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.21 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.21 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.21 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.21 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.21 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.22 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.22 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.22 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.22 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.22 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.22 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.22 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.22 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.23 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.23 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.23 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.23 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.23 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.23 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.23 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.24 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.24 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.24 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.24 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.24 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.24 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.24 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.24 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.25 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.25 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.25 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.25 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.25 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.25 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.25 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.25 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.26 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.26 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.26 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.26 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.26 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.26 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.26 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.30 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.29/0.39 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.29/0.39 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.39/0.47 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.39/0.48 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.54 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.49/0.54 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.61 c (0.6s) probing: 835/2138 (39.1%) - 1 fixings, 186 aggregations, 5637 implications, 0 bound changes
0.59/0.61 c (0.6s) probing aborted: 100/100 successive totally useless probings
0.59/0.61 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.62 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.63 c (0.6s) probing: 845/2138 (39.5%) - 1 fixings, 186 aggregations, 5637 implications, 0 bound changes
0.59/0.63 c (0.6s) probing aborted: 100/100 successive totally useless probings
0.59/0.63 c presolving (76 rounds):
0.59/0.63 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.63 c 113313 implications, 0 cliques
0.59/0.63 c presolved problem has 1951 variables (1951 bin, 0 int, 0 impl, 0 cont) and 5915 constraints
0.59/0.63 c 996 constraints of type <setppc>
0.59/0.63 c 4919 constraints of type <logicor>
0.59/0.63 c transformed objective value is always integral (scale: 1)
0.59/0.63 c Presolving Time: 0.54
0.59/0.63 c - non default parameters ----------------------------------------------------------------------
0.59/0.63 c # SCIP version 2.0.1.4
0.59/0.63 c
0.59/0.63 c # frequency for displaying node information lines
0.59/0.63 c # [type: int, range: [-1,2147483647], default: 100]
0.59/0.63 c display/freq = 10000
0.59/0.63 c
0.59/0.63 c # maximal time in seconds to run
0.59/0.63 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.63 c limits/time = 1797
0.59/0.63 c
0.59/0.63 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.59/0.63 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.63 c limits/memory = 13950
0.59/0.63 c
0.59/0.63 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.59/0.63 c # [type: int, range: [1,2], default: 1]
0.59/0.63 c timing/clocktype = 2
0.59/0.63 c
0.59/0.63 c # belongs reading time to solving time?
0.59/0.63 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.63 c timing/reading = TRUE
0.59/0.63 c
0.59/0.63 c # should presolving try to simplify inequalities
0.59/0.63 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.63 c constraints/linear/simplifyinequalities = TRUE
0.59/0.63 c
0.59/0.63 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.59/0.63 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.63 c constraints/indicator/addCouplingCons = TRUE
0.59/0.63 c
0.59/0.63 c # should presolving try to simplify knapsacks
0.59/0.63 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.63 c constraints/knapsack/simplifyinequalities = TRUE
0.59/0.63 c
0.59/0.63 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.59/0.63 c # [type: int, range: [-1,2147483647], default: -1]
0.59/0.63 c separating/rapidlearning/freq = 0
0.59/0.63 c
0.59/0.63 c -----------------------------------------------------------------------------------------------
0.59/0.63 c start solving
0.59/0.63 c
0.79/0.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.79/0.83 c 0.8s| 1 | 0 | 2180 | - | 21M| 0 |1245 |1951 |5969 |1951 |5913 | 0 | 54 | 0 | 2.808013e+03 | -- | Inf
1.89/1.99 c 2.0s| 1 | 0 | 7904 | - | 22M| 0 |1226 |1951 |5969 |1951 |7913 |2000 | 54 | 0 | 2.815667e+03 | -- | Inf
3.30/3.35 c 3.4s| 1 | 0 | 9148 | - | 26M| 0 |1161 |1951 |7374 |1951 |7951 |2038 | 54 | 0 | 2.839750e+03 | -- | Inf
3.59/3.60 c 3.6s| 1 | 0 | 9445 | - | 26M| 0 |1159 |1951 |7374 |1951 |7975 |2062 | 54 | 0 | 2.843792e+03 | -- | Inf
3.89/3.92 c 3.9s| 1 | 0 | 9996 | - | 27M| 0 |1186 |1951 |7374 |1951 |8002 |2089 | 54 | 0 | 2.846141e+03 | -- | Inf
4.29/4.38 c 4.4s| 1 | 0 | 10950 | - | 29M| 0 |1182 |1951 |7374 |1951 |8042 |2129 | 54 | 0 | 2.849623e+03 | -- | Inf
4.89/4.92 c 4.9s| 1 | 0 | 11662 | - | 30M| 0 |1227 |1951 |7374 |1951 |8093 |2180 | 54 | 0 | 2.854371e+03 | -- | Inf
5.29/5.32 c 5.3s| 1 | 0 | 12057 | - | 32M| 0 |1249 |1951 |7374 |1951 |8130 |2217 | 54 | 0 | 2.857233e+03 | -- | Inf
5.69/5.76 c 5.8s| 1 | 0 | 12645 | - | 35M| 0 |1267 |1951 |7374 |1951 |8166 |2253 | 54 | 0 | 2.859741e+03 | -- | Inf
6.50/6.59 c 6.6s| 1 | 0 | 13953 | - | 37M| 0 |1289 |1951 |7374 |1951 |8224 |2311 | 54 | 0 | 2.866279e+03 | -- | Inf
7.49/7.54 c 7.5s| 1 | 0 | 15369 | - | 39M| 0 |1294 |1951 |7374 |1951 |8276 |2363 | 54 | 0 | 2.872927e+03 | -- | Inf
8.09/8.16 c 8.2s| 1 | 0 | 16096 | - | 41M| 0 |1335 |1951 |7374 |1951 |8333 |2420 | 54 | 0 | 2.877990e+03 | -- | Inf
8.89/8.92 c 8.9s| 1 | 0 | 17735 | - | 42M| 0 |1305 |1951 |7374 |1951 |8388 |2475 | 54 | 0 | 2.884525e+03 | -- | Inf
9.69/9.73 c 9.7s| 1 | 0 | 19134 | - | 44M| 0 |1334 |1951 |7374 |1951 |6470 |2526 | 54 | 0 | 2.891003e+03 | -- | Inf
10.29/10.32 c 10.3s| 1 | 0 | 20148 | - | 45M| 0 |1336 |1951 |7374 |1951 |6525 |2581 | 54 | 0 | 2.896869e+03 | -- | Inf
10.90/10.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
10.90/10.92 c 10.9s| 1 | 0 | 21252 | - | 47M| 0 |1360 |1951 |7374 |1951 |6572 |2628 | 54 | 0 | 2.903146e+03 | -- | Inf
11.89/11.95 c 11.9s| 1 | 0 | 22501 | - | 47M| 0 |1355 |1951 |7374 |1951 |6619 |2675 | 54 | 0 | 2.906451e+03 | -- | Inf
12.99/13.10 c 13.1s| 1 | 0 | 24948 | - | 49M| 0 |1375 |1951 |7374 |1951 |6676 |2732 | 54 | 0 | 2.913236e+03 | -- | Inf
14.29/14.32 c 14.3s| 1 | 0 | 27444 | - | 51M| 0 |1427 |1951 |7374 |1951 |6728 |2784 | 54 | 0 | 2.918133e+03 | -- | Inf
15.30/15.37 c 15.4s| 1 | 0 | 28928 | - | 54M| 0 |1446 |1951 |7374 |1951 |6640 |2836 | 54 | 0 | 2.922234e+03 | -- | Inf
16.39/16.48 c 16.5s| 1 | 0 | 30143 | - | 58M| 0 |1460 |1951 |7374 |1951 |6691 |2887 | 54 | 0 | 2.926174e+03 | -- | Inf
18.19/18.22 c 18.2s| 1 | 0 | 32036 | - | 62M| 0 |1453 |1951 |7374 |1951 |6759 |2955 | 54 | 0 | 2.936328e+03 | -- | Inf
19.39/19.40 c 19.4s| 1 | 0 | 34319 | - | 62M| 0 |1460 |1951 |7374 |1951 |6817 |3013 | 54 | 0 | 2.938880e+03 | -- | Inf
20.49/20.54 c 20.5s| 1 | 0 | 37450 | - | 62M| 0 |1497 |1951 |7374 |1951 |6883 |3079 | 54 | 0 | 2.943884e+03 | -- | Inf
21.59/21.65 c 21.7s| 1 | 0 | 39646 | - | 63M| 0 |1486 |1951 |7374 |1951 |6945 |3141 | 54 | 0 | 2.948927e+03 | -- | Inf
23.10/23.18 c 23.2s| 1 | 0 | 41609 | - | 63M| 0 |1475 |1951 |7374 |1951 |6794 |3204 | 54 | 0 | 2.956102e+03 | -- | Inf
24.39/24.40 c 24.4s| 1 | 0 | 44657 | - | 64M| 0 |1464 |1951 |7374 |1951 |6842 |3252 | 54 | 0 | 2.959497e+03 | -- | Inf
24.79/24.81 c 24.8s| 1 | 0 | 45550 | - | 64M| 0 |1465 |1951 |7374 |1951 |6900 |3310 | 54 | 0 | 2.961612e+03 | -- | Inf
25.89/25.96 c 26.0s| 1 | 0 | 48757 | - | 65M| 0 |1484 |1951 |7374 |1951 |6948 |3358 | 54 | 0 | 2.964211e+03 | -- | Inf
27.19/27.23 c 27.2s| 1 | 0 | 52010 | - | 67M| 0 |1521 |1951 |7374 |1951 |7000 |3410 | 54 | 0 | 2.967947e+03 | -- | Inf
28.29/28.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
28.29/28.37 c 28.4s| 1 | 0 | 54338 | - | 67M| 0 |1569 |1951 |7374 |1951 |7043 |3453 | 54 | 0 | 2.970981e+03 | -- | Inf
29.19/29.20 c 29.2s| 1 | 0 | 56269 | - | 68M| 0 |1611 |1951 |7374 |1951 |6801 |3489 | 54 | 0 | 2.973090e+03 | -- | Inf
31.09/31.13 c 31.1s| 1 | 0 | 59214 | - | 69M| 0 |1582 |1951 |7374 |1951 |6870 |3558 | 54 | 0 | 2.980805e+03 | -- | Inf
31.80/31.89 c 31.9s| 1 | 0 | 61171 | - | 70M| 0 |1569 |1951 |7374 |1951 |6914 |3602 | 54 | 0 | 2.983913e+03 | -- | Inf
32.69/32.70 c 32.7s| 1 | 0 | 63497 | - | 72M| 0 |1590 |1951 |7374 |1951 |6953 |3641 | 54 | 0 | 2.985577e+03 | -- | Inf
33.79/33.88 c 33.9s| 1 | 0 | 65403 | - | 72M| 0 |1607 |1951 |7374 |1951 |6994 |3682 | 54 | 0 | 2.989563e+03 | -- | Inf
34.79/34.82 c 34.8s| 1 | 0 | 67567 | - | 73M| 0 |1624 |1951 |7374 |1951 |7029 |3717 | 54 | 0 | 2.991306e+03 | -- | Inf
35.89/35.94 c 35.9s| 1 | 0 | 69792 | - | 74M| 0 |1684 |1951 |7374 |1951 |6779 |3760 | 54 | 0 | 2.994324e+03 | -- | Inf
38.29/38.36 c 38.4s| 1 | 0 | 73436 | - | 74M| 0 |1570 |1951 |7374 |1951 |6839 |3820 | 54 | 0 | 3.001320e+03 | -- | Inf
39.40/39.40 c 39.4s| 1 | 0 | 74649 | - | 75M| 0 |1600 |1951 |7374 |1951 |6879 |3860 | 54 | 0 | 3.003560e+03 | -- | Inf
40.19/40.20 c 40.2s| 1 | 0 | 76942 | - | 76M| 0 |1645 |1951 |7374 |1951 |6919 |3900 | 54 | 0 | 3.006697e+03 | -- | Inf
40.99/41.05 c 41.1s| 1 | 0 | 78925 | - | 77M| 0 |1657 |1951 |7374 |1951 |6950 |3931 | 54 | 0 | 3.009087e+03 | -- | Inf
42.19/42.21 c 42.2s| 1 | 0 | 79951 | - | 77M| 0 |1671 |1951 |7374 |1951 |7002 |3983 | 54 | 0 | 3.012159e+03 | -- | Inf
43.59/43.68 c 43.7s| 1 | 0 | 80759 | - | 77M| 0 |1624 |1951 |7374 |1951 |6780 |4011 | 54 | 0 | 3.013963e+03 | -- | Inf
44.29/44.36 c 44.4s| 1 | 0 | 81243 | - | 78M| 0 |1648 |1951 |7374 |1951 |6803 |4034 | 54 | 0 | 3.014779e+03 | -- | Inf
45.39/45.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
45.39/45.48 c 45.5s| 1 | 0 | 82229 | - | 78M| 0 |1637 |1951 |7374 |1951 |6830 |4061 | 54 | 0 | 3.015365e+03 | -- | Inf
46.59/46.64 c 46.6s| 1 | 0 | 84127 | - | 78M| 0 |1661 |1951 |7374 |1951 |6868 |4099 | 54 | 0 | 3.017736e+03 | -- | Inf
48.19/48.22 c 48.2s| 1 | 0 | 85693 | - | 79M| 0 |1640 |1951 |7374 |1951 |6901 |4132 | 54 | 0 | 3.019485e+03 | -- | Inf
49.29/49.31 c 49.3s| 1 | 0 | 86495 | - | 79M| 0 |1602 |1951 |7374 |1951 |6926 |4157 | 54 | 0 | 3.020031e+03 | -- | Inf
49.99/50.02 c 50.0s| 1 | 0 | 87176 | - | 79M| 0 |1650 |1951 |7374 |1951 |6730 |4182 | 54 | 0 | 3.020814e+03 | -- | Inf
51.30/51.32 c 51.3s| 1 | 0 | 88281 | - | 80M| 0 |1589 |1951 |7374 |1951 |6771 |4223 | 54 | 0 | 3.024587e+03 | -- | Inf
51.70/51.75 c 51.7s| 1 | 0 | 89366 | - | 80M| 0 |1653 |1951 |7374 |1951 |6797 |4249 | 54 | 0 | 3.026841e+03 | -- | Inf
52.19/52.28 c 52.3s| 1 | 0 | 90382 | - | 81M| 0 |1628 |1951 |7374 |1951 |6831 |4283 | 54 | 0 | 3.027681e+03 | -- | Inf
52.89/52.98 c 53.0s| 1 | 0 | 92206 | - | 82M| 0 |1670 |1951 |7374 |1951 |6855 |4307 | 54 | 0 | 3.028660e+03 | -- | Inf
54.39/54.49 c 54.5s| 1 | 0 | 93699 | - | 82M| 0 |1623 |1951 |7374 |1951 |6897 |4349 | 54 | 0 | 3.031132e+03 | -- | Inf
55.70/55.78 c 55.8s| 1 | 0 | 94804 | - | 82M| 0 |1643 |1951 |7374 |1951 |6752 |4386 | 54 | 0 | 3.033751e+03 | -- | Inf
57.29/57.34 c 57.3s| 1 | 0 | 96468 | - | 82M| 0 |1577 |1951 |7374 |1951 |6791 |4425 | 54 | 0 | 3.037064e+03 | -- | Inf
57.99/58.03 c 58.0s| 1 | 0 | 97543 | - | 83M| 0 |1604 |1951 |7374 |1951 |6815 |4449 | 54 | 0 | 3.038981e+03 | -- | Inf
58.50/58.58 c 58.6s| 1 | 0 | 98112 | - | 84M| 0 |1596 |1951 |7374 |1951 |6836 |4470 | 54 | 0 | 3.040132e+03 | -- | Inf
58.99/59.09 c 59.1s| 1 | 0 | 98828 | - | 84M| 0 |1596 |1951 |7374 |1951 |6863 |4497 | 54 | 0 | 3.042013e+03 | -- | Inf
59.59/59.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
59.59/59.68 c 59.7s| 1 | 0 | 99859 | - | 85M| 0 |1624 |1951 |7374 |1951 |6887 |4521 | 54 | 0 | 3.043502e+03 | -- | Inf
60.90/60.96 c 61.0s| 1 | 0 |100663 | - | 85M| 0 |1591 |1951 |7374 |1951 |6740 |4548 | 54 | 0 | 3.044646e+03 | -- | Inf
61.99/62.09 c 62.1s| 1 | 0 |101225 | - | 85M| 0 |1644 |1951 |7374 |1951 |6761 |4569 | 54 | 0 | 3.045038e+03 | -- | Inf
62.99/63.01 c 63.0s| 1 | 0 |101794 | - | 86M| 0 |1664 |1951 |7374 |1951 |6788 |4596 | 54 | 0 | 3.045330e+03 | -- | Inf
64.39/64.43 c 64.4s| 1 | 0 |102755 | - | 86M| 0 |1622 |1951 |7374 |1951 |6813 |4621 | 54 | 0 | 3.046582e+03 | -- | Inf
65.40/65.42 c 65.4s| 1 | 0 |103308 | - | 86M| 0 |1651 |1951 |7374 |1951 |6844 |4652 | 54 | 0 | 3.049364e+03 | -- | Inf
66.09/66.19 c 66.2s| 1 | 0 |103531 | - | 87M| 0 |1661 |1951 |7374 |1951 |6870 |4678 | 54 | 0 | 3.050701e+03 | -- | Inf
66.69/66.77 c 66.8s| 1 | 0 |104138 | - | 88M| 0 |1668 |1951 |7374 |1951 |6715 |4696 | 54 | 0 | 3.051506e+03 | -- | Inf
68.10/68.17 c 68.2s| 1 | 0 |104842 | - | 88M| 0 |1659 |1951 |7374 |1951 |6742 |4723 | 54 | 0 | 3.053061e+03 | -- | Inf
69.39/69.41 c 69.4s| 1 | 0 |105187 | - | 88M| 0 |1691 |1951 |7374 |1951 |6766 |4747 | 54 | 0 | 3.054063e+03 | -- | Inf
70.79/70.81 c 70.8s| 1 | 0 |105677 | - | 88M| 0 |1681 |1951 |7374 |1951 |6780 |4761 | 54 | 0 | 3.054465e+03 | -- | Inf
72.20/72.22 c 72.2s| 1 | 0 |106255 | - | 88M| 0 |1690 |1951 |7374 |1951 |6788 |4769 | 54 | 0 | 3.055227e+03 | -- | Inf
73.49/73.52 c 73.5s| 1 | 0 |106515 | - | 88M| 0 |1672 |1951 |7374 |1951 |6795 |4776 | 54 | 0 | 3.055355e+03 | -- | Inf
74.70/74.73 c 74.7s| 1 | 0 |106783 | - | 88M| 0 |1687 |1951 |7374 |1951 |6694 |4790 | 54 | 0 | 3.055706e+03 | -- | Inf
75.99/76.02 c 76.0s| 1 | 0 |107504 | - | 88M| 0 |1651 |1951 |7374 |1951 |6710 |4806 | 54 | 0 | 3.056720e+03 | -- | Inf
77.09/77.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
77.09/77.16 c 77.2s| 1 | 0 |108053 | - | 89M| 0 |1646 |1951 |7374 |1951 |6730 |4826 | 54 | 0 | 3.058543e+03 | -- | Inf
78.00/78.03 c 78.0s| 1 | 0 |108515 | - | 89M| 0 |1655 |1951 |7374 |1951 |6757 |4853 | 54 | 0 | 3.059605e+03 | -- | Inf
78.60/78.69 c 78.7s| 1 | 0 |109384 | - | 89M| 0 |1659 |1951 |7374 |1951 |6776 |4872 | 54 | 0 | 3.062595e+03 | -- | Inf
79.20/79.25 c 79.3s| 1 | 0 |109725 | - | 90M| 0 |1650 |1951 |7374 |1951 |6796 |4892 | 54 | 0 | 3.062985e+03 | -- | Inf
80.29/80.34 c 80.3s| 1 | 0 |110692 | - | 90M| 0 |1642 |1951 |7374 |1951 |6706 |4918 | 54 | 0 | 3.064220e+03 | -- | Inf
80.99/81.06 c 81.1s| 1 | 0 |111126 | - | 91M| 0 |1652 |1951 |7374 |1951 |6728 |4940 | 54 | 0 | 3.065274e+03 | -- | Inf
82.19/82.25 c 82.3s| 1 | 0 |112167 | - | 91M| 0 |1666 |1951 |7374 |1951 |6754 |4966 | 54 | 0 | 3.066338e+03 | -- | Inf
83.29/83.36 c 83.4s| 1 | 0 |112516 | - | 91M| 0 |1657 |1951 |7374 |1951 |6772 |4984 | 54 | 0 | 3.067461e+03 | -- | Inf
84.39/84.42 c 84.4s| 1 | 0 |112960 | - | 92M| 0 |1660 |1951 |7374 |1951 |6781 |4993 | 54 | 0 | 3.067798e+03 | -- | Inf
85.39/85.43 c 85.4s| 1 | 0 |113512 | - | 92M| 0 |1649 |1951 |7374 |1951 |6801 |5013 | 54 | 0 | 3.068236e+03 | -- | Inf
86.00/86.03 c 86.0s| 1 | 0 |114110 | - | 92M| 0 |1659 |1951 |7374 |1951 |6743 |5031 | 54 | 0 | 3.069544e+03 | -- | Inf
87.19/87.28 c 87.3s| 1 | 0 |114660 | - | 92M| 0 |1666 |1951 |7374 |1951 |6760 |5048 | 54 | 0 | 3.070365e+03 | -- | Inf
88.49/88.52 c 88.5s| 1 | 0 |115117 | - | 92M| 0 |1662 |1951 |7374 |1951 |6781 |5069 | 54 | 0 | 3.071311e+03 | -- | Inf
89.20/89.21 c 89.2s| 1 | 0 |115636 | - | 93M| 0 |1667 |1951 |7374 |1951 |6794 |5082 | 54 | 0 | 3.072763e+03 | -- | Inf
90.20/90.23 c 90.2s| 1 | 0 |116549 | - | 93M| 0 |1655 |1951 |7374 |1951 |6813 |5101 | 54 | 0 | 3.074285e+03 | -- | Inf
91.30/91.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
91.30/91.35 c 91.4s| 1 | 0 |117172 | - | 94M| 0 |1662 |1951 |7374 |1951 |6832 |5120 | 54 | 0 | 3.075529e+03 | -- | Inf
92.30/92.32 c 92.3s| 1 | 0 |117623 | - | 94M| 0 |1638 |1951 |7374 |1951 |6718 |5137 | 54 | 0 | 3.076278e+03 | -- | Inf
92.99/93.06 c 93.1s| 1 | 0 |118093 | - | 94M| 0 |1646 |1951 |7374 |1951 |6734 |5153 | 54 | 0 | 3.077305e+03 | -- | Inf
94.19/94.22 c 94.2s| 1 | 0 |118545 | - | 94M| 0 |1642 |1951 |7374 |1951 |6765 |5184 | 54 | 0 | 3.078377e+03 | -- | Inf
95.50/95.58 c 95.6s| 1 | 0 |118858 | - | 94M| 0 |1634 |1951 |7374 |1951 |6773 |5192 | 54 | 0 | 3.079249e+03 | -- | Inf
96.59/96.69 c 96.7s| 1 | 0 |119645 | - | 94M| 0 |1635 |1951 |7374 |1951 |6787 |5206 | 54 | 0 | 3.080493e+03 | -- | Inf
97.70/97.71 c 97.7s| 1 | 0 |120325 | - | 95M| 0 |1663 |1951 |7374 |1951 |6806 |5225 | 54 | 0 | 3.081908e+03 | -- | Inf
98.59/98.62 c 98.6s| 1 | 0 |120795 | - | 95M| 0 |1604 |1951 |7374 |1951 |6743 |5248 | 54 | 0 | 3.082431e+03 | -- | Inf
99.49/99.58 c 99.6s| 1 | 0 |121778 | - | 95M| 0 |1613 |1951 |7374 |1951 |6766 |5271 | 54 | 0 | 3.083556e+03 | -- | Inf
100.29/100.35 c 100s| 1 | 0 |122166 | - | 95M| 0 |1628 |1951 |7374 |1951 |6781 |5286 | 54 | 0 | 3.084459e+03 | -- | Inf
101.00/101.06 c 101s| 1 | 0 |122691 | - | 95M| 0 |1639 |1951 |7374 |1951 |6800 |5305 | 54 | 0 | 3.085046e+03 | -- | Inf
101.99/102.00 c 102s| 1 | 0 |123097 | - | 95M| 0 |1646 |1951 |7374 |1951 |6815 |5320 | 54 | 0 | 3.085753e+03 | -- | Inf
102.79/102.82 c 103s| 1 | 0 |123949 | - | 96M| 0 |1638 |1951 |7374 |1951 |6829 |5334 | 54 | 0 | 3.087616e+03 | -- | Inf
103.29/103.36 c 103s| 1 | 0 |124265 | - | 96M| 0 |1664 |1951 |7374 |1951 |6721 |5344 | 54 | 0 | 3.087866e+03 | -- | Inf
104.30/104.32 c 104s| 1 | 0 |124697 | - | 95M| 0 |1652 |1951 |7374 |1951 |6732 |5355 | 54 | 0 | 3.088551e+03 | -- | Inf
105.10/105.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
105.10/105.13 c 105s| 1 | 0 |125093 | - | 95M| 0 |1640 |1951 |7374 |1951 |6742 |5365 | 54 | 0 | 3.088895e+03 | -- | Inf
105.89/105.92 c 106s| 1 | 0 |125119 | - | 93M| 0 |1646 |1951 |7374 |1951 |6747 |5370 | 54 | 0 | 3.088903e+03 | -- | Inf
106.80/106.82 c 107s| 1 | 0 |125369 | - | 92M| 0 |1652 |1951 |7374 |1951 |6750 |5373 | 54 | 0 | 3.089012e+03 | -- | Inf
107.70/107.74 c 108s| 1 | 0 |125562 | - | 90M| 0 |1645 |1951 |7374 |1951 |6754 |5377 | 54 | 0 | 3.089026e+03 | -- | Inf
108.69/108.70 c 109s| 1 | 0 |125637 | - | 87M| 0 |1647 |1951 |7374 |1951 |6663 |5381 | 54 | 0 | 3.089037e+03 | -- | Inf
109.60/109.61 c 110s| 1 | 0 |125774 | - | 85M| 0 |1640 |1951 |7374 |1951 |6666 |5384 | 54 | 0 | 3.089060e+03 | -- | Inf
110.49/110.51 c 111s| 1 | 0 |125777 | - | 84M| 0 |1642 |1951 |7374 |1951 |6667 |5385 | 54 | 0 | 3.089060e+03 | -- | Inf
111.40/111.40 c 111s| 1 | 0 |125858 | - | 82M| 0 |1645 |1951 |7374 |1951 |6668 |5386 | 54 | 0 | 3.089080e+03 | -- | Inf
112.20/112.22 c 112s| 1 | 0 |126017 | - | 81M| 0 |1644 |1951 |7374 |1951 |6669 |5387 | 54 | 0 | 3.089100e+03 | -- | Inf
113.09/113.11 c 113s| 1 | 0 |126035 | - | 78M| 0 |1642 |1951 |7374 |1951 |6670 |5388 | 54 | 0 | 3.089100e+03 | -- | Inf
116.30/116.30 c 116s| 1 | 2 |126035 | - | 77M| 0 |1642 |1951 |7374 |1951 |6670 |5388 | 54 | 13 | 3.089100e+03 | -- | Inf
1415.93/1415.92 c 1416s| 10000 | 4132 | 4494k| 436.9 | 86M| 50 |1225 |1951 |7505 |1951 |6415 |5388 | 12k|5958 | 3.137046e+03 | -- | Inf
1797.05/1797.00 c
1797.05/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.05/1797.00 c Solving Time (sec) : 1797.00
1797.05/1797.00 c Solving Nodes : 14195
1797.05/1797.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.05/1797.00 c Dual Bound : +3.13775374890161e+03
1797.05/1797.00 c Gap : infinite
1797.05/1797.00 s UNKNOWN
1797.05/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.05/1797.00 c Total Time : 1797.00
1797.05/1797.00 c solving : 1797.00
1797.05/1797.00 c presolving : 0.54 (included in solving)
1797.05/1797.00 c reading : 0.07 (included in solving)
1797.05/1797.00 c Original Problem :
1797.05/1797.00 c Problem name : HOME/instance-3485320-1307762657.opb
1797.05/1797.00 c Variables : 6352 (6352 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.05/1797.00 c Constraints : 13473 initial, 13473 maximal
1797.05/1797.00 c Presolved Problem :
1797.05/1797.00 c Problem name : t_HOME/instance-3485320-1307762657.opb
1797.05/1797.00 c Variables : 1951 (1951 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.05/1797.00 c Constraints : 5915 initial, 8286 maximal
1797.05/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.05/1797.00 c trivial : 0.01 40 0 0 0 0 0 0 0 0
1797.05/1797.00 c dualfix : 0.01 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c implics : 0.02 0 3128 0 0 0 0 0 0 0
1797.05/1797.00 c probing : 0.26 1 186 0 0 0 0 0 0 0
1797.05/1797.00 c setppc : 0.01 0 0 0 0 0 189 0 0 0
1797.05/1797.00 c linear : 0.12 1001 45 0 1041 0 7367 0 159 315
1797.05/1797.00 c logicor : 0.06 0 0 0 0 0 2 0 0 0
1797.05/1797.00 c root node : - 0 - - 0 - - - - -
1797.05/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.05/1797.00 c integral : 0 0 0 11214 0 4 0 23 142 0 0 22250
1797.05/1797.00 c setppc : 996 115 277192 0 2 3 629594 2015 652373 0 0 0
1797.05/1797.00 c linear : 0+ 114 271944 0 0 0 1292 3 1542 351 0 0
1797.05/1797.00 c logicor : 4919+ 115 238399 0 2 0 831422 3762 1261256 0 0 0
1797.05/1797.00 c countsols : 0 0 0 0 2 0 0 0 0 0 0 0
1797.05/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.05/1797.00 c integral : 384.93 0.00 0.00 384.93 0.00 0.00 0.00
1797.05/1797.00 c setppc : 6.92 0.01 6.67 0.00 0.00 0.00 0.24
1797.05/1797.00 c linear : 1.41 0.09 1.32 0.00 0.00 0.00 0.00
1797.05/1797.00 c logicor : 9.70 0.04 9.18 0.00 0.00 0.00 0.47
1797.05/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.05/1797.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.05/1797.00 c vbounds : 0 0 0 0
1797.05/1797.00 c rootredcost : 0 0 0 0
1797.05/1797.00 c pseudoobj : 274503 0 0 0
1797.05/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1797.05/1797.00 c vbounds : 0.05 0.05 0.00
1797.05/1797.00 c rootredcost : 0.05 0.05 0.00
1797.05/1797.00 c pseudoobj : 6.73 6.73 0.00
1797.05/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.05/1797.00 c propagation : 1.34 5779 5496 71709 48.6 1030 18.5 -
1797.05/1797.00 c infeasible LP : 0.33 555 555 7136 50.3 57 6.6 0
1797.05/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.05/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.05/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.05/1797.00 c applied globally : - - - 20617 40.6 - - -
1797.05/1797.00 c applied locally : - - - 0 0.0 - - -
1797.05/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.05/1797.00 c cut pool : 1.27 114 - - 4735 - (maximal pool size: 28578)
1797.05/1797.00 c redcost : 0.26 11328 0 0 0 0
1797.05/1797.00 c impliedbounds : 0.05 115 0 0 4115 0
1797.05/1797.00 c intobj : 0.00 0 0 0 0 0
1797.05/1797.00 c gomory : 73.79 114 0 0 43486 0
1797.05/1797.00 c cgmip : 0.00 0 0 0 0 0
1797.05/1797.00 c closecuts : 0.00 0 0 0 0 0
1797.05/1797.00 c strongcg : 2.85 20 0 0 10000 0
1797.05/1797.00 c cmir : 0.32 10 0 0 0 0
1797.05/1797.00 c flowcover : 0.31 10 0 0 0 0
1797.05/1797.00 c clique : 0.15 114 0 0 23 0
1797.05/1797.00 c zerohalf : 0.00 0 0 0 0 0
1797.05/1797.00 c mcf : 0.01 1 0 0 0 0
1797.05/1797.00 c oddcycle : 0.00 0 0 0 0 0
1797.05/1797.00 c rapidlearning : 0.90 1 0 0 0 1405
1797.05/1797.00 c Pricers : Time Calls Vars
1797.05/1797.00 c problem variables: 0.00 0 0
1797.05/1797.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.05/1797.00 c relpscost : 384.91 11214 23 142 0 0 22250
1797.05/1797.00 c pscost : 0.00 0 0 0 0 0 0
1797.05/1797.00 c inference : 0.00 2 0 0 0 0 4
1797.05/1797.00 c mostinf : 0.00 0 0 0 0 0 0
1797.05/1797.00 c leastinf : 0.00 0 0 0 0 0 0
1797.05/1797.00 c fullstrong : 0.00 0 0 0 0 0 0
1797.05/1797.00 c allfullstrong : 0.00 0 0 0 0 0 0
1797.05/1797.00 c random : 0.00 0 0 0 0 0 0
1797.05/1797.00 c Primal Heuristics : Time Calls Found
1797.05/1797.00 c LP solutions : 0.00 - 0
1797.05/1797.00 c pseudo solutions : 0.00 - 0
1797.05/1797.00 c oneopt : 0.01 0 0
1797.05/1797.00 c crossover : 0.00 0 0
1797.05/1797.00 c guideddiving : 0.00 0 0
1797.05/1797.00 c intshifting : 0.00 0 0
1797.05/1797.00 c feaspump : 26.51 16 0
1797.05/1797.00 c veclendiving : 51.97 62 0
1797.05/1797.00 c pscostdiving : 67.41 79 0
1797.05/1797.00 c coefdiving : 77.18 96 0
1797.05/1797.00 c fracdiving : 81.50 104 0
1797.05/1797.00 c linesearchdiving : 76.47 110 0
1797.05/1797.00 c trivial : 0.01 2 0
1797.05/1797.00 c shiftandpropagate: 0.02 1 0
1797.05/1797.00 c simplerounding : 0.01 0 0
1797.05/1797.00 c zirounding : 0.73 1000 0
1797.05/1797.00 c rounding : 0.67 1450 0
1797.05/1797.00 c shifting : 1.55 458 0
1797.05/1797.00 c twoopt : 0.00 0 0
1797.05/1797.00 c fixandinfer : 0.00 0 0
1797.05/1797.00 c clique : 0.00 0 0
1797.05/1797.00 c intdiving : 0.00 0 0
1797.05/1797.00 c actconsdiving : 0.00 0 0
1797.05/1797.00 c objpscostdiving : 24.93 7 0
1797.05/1797.00 c rootsoldiving : 26.77 9 0
1797.05/1797.00 c octane : 0.00 0 0
1797.05/1797.00 c rens : 0.01 0 0
1797.05/1797.00 c rins : 0.00 0 0
1797.05/1797.00 c localbranching : 0.00 0 0
1797.05/1797.00 c mutation : 0.00 0 0
1797.05/1797.00 c dins : 0.00 0 0
1797.05/1797.00 c vbounds : 0.00 0 0
1797.05/1797.00 c undercover : 0.00 0 0
1797.05/1797.00 c subnlp : 0.00 0 0
1797.05/1797.00 c trysol : 0.00 0 0
1797.05/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec
1797.05/1797.00 c primal LP : 0.08 0 0 0.00 0.00
1797.05/1797.00 c dual LP : 856.47 11684 4310661 368.94 5033.04
1797.05/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1797.05/1797.00 c barrier LP : 0.00 0 0 0.00 -
1797.05/1797.00 c diving/probing LP: 392.26 34984 1506781 43.07 3841.31
1797.05/1797.00 c strong branching : 380.80 7204 1587587 220.38 4169.09
1797.05/1797.00 c (at root node) : - 13 10535 810.38 -
1797.05/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1797.05/1797.00 c B&B Tree :
1797.05/1797.00 c number of runs : 1
1797.05/1797.00 c nodes : 14195
1797.05/1797.00 c nodes (total) : 14195
1797.05/1797.00 c nodes left : 4629
1797.05/1797.00 c max depth : 50
1797.05/1797.00 c max depth (total): 50
1797.05/1797.00 c backtracks : 4503 (31.7%)
1797.05/1797.00 c delayed cutoffs : 3431
1797.05/1797.00 c repropagations : 8118 (848351 domain reductions, 2202 cutoffs)
1797.05/1797.00 c avg switch length: 5.61
1797.05/1797.00 c switching time : 7.37
1797.05/1797.00 c Solution :
1797.05/1797.00 c Solutions found : 0 (0 improvements)
1797.05/1797.00 c Primal Bound : -
1797.05/1797.00 c Dual Bound : +3.13775374890161e+03
1797.05/1797.00 c Gap : infinite
1797.05/1797.00 c Root Dual Bound : +3.08910038923923e+03
1797.05/1797.00 c Root Iterations : 126035
1797.05/1797.08 c Time complete: 1797.13.
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-3485320-1307762657/watcher-3485320-1307762657 -o /tmp/evaluation-result-3485320-1307762657/solver-3485320-1307762657 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485320-1307762657.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.03 2.01 2.00 3/177 6396
/proc/meminfo: memFree=31643008/32950928 swapFree=67051812/67111528
[pid=6396] ppid=6394 vsize=11092 CPUtime=0 cores=0,2,4,6
/proc/6396/stat : 6396 (scip-2.0.1.4_2.) R 6394 6396 3085 0 -1 4202496 1766 0 0 0 0 0 0 0 25 0 1 0 966496435 11358208 1720 33554432000 4194304 8979876 140736267541600 18446744073709551615 6779003 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/6396/statm: 2773 1720 358 1169 0 1600 0
[startup+0.00815207 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 6396
/proc/meminfo: memFree=31643008/32950928 swapFree=67051812/67111528
[pid=6396] ppid=6394 vsize=13520 CPUtime=0 cores=0,2,4,6
/proc/6396/stat : 6396 (scip-2.0.1.4_2.) R 6394 6396 3085 0 -1 4202496 2212 0 0 0 0 0 0 0 25 0 1 0 966496435 13844480 2166 33554432000 4194304 8979876 140736267541600 18446744073709551615 6779003 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/6396/statm: 3380 2188 358 1169 0 2207 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 13520
[startup+0.100131 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 6396
/proc/meminfo: memFree=31643008/32950928 swapFree=67051812/67111528
[pid=6396] ppid=6394 vsize=37628 CPUtime=0.09 cores=0,2,4,6
/proc/6396/stat : 6396 (scip-2.0.1.4_2.) R 6394 6396 3085 0 -1 4202496 8180 0 0 0 8 1 0 0 25 0 1 0 966496435 38531072 8134 33554432000 4194304 8979876 140736267541600 18446744073709551615 4318805 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6396/statm: 9407 8134 450 1169 0 8234 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 37628
[startup+0.300094 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 6396
/proc/meminfo: memFree=31643008/32950928 swapFree=67051812/67111528
[pid=6396] ppid=6394 vsize=48804 CPUtime=0.29 cores=0,2,4,6
/proc/6396/stat : 6396 (scip-2.0.1.4_2.) R 6394 6396 3085 0 -1 4202496 11381 0 0 0 28 1 0 0 25 0 1 0 966496435 49975296 10919 33554432000 4194304 8979876 140736267541600 18446744073709551615 5378663 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6396/statm: 12201 10919 514 1169 0 11028 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 48804
[startup+0.70102 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 6396
/proc/meminfo: memFree=31643008/32950928 swapFree=67051812/67111528
[pid=6396] ppid=6394 vsize=60728 CPUtime=0.69 cores=0,2,4,6
/proc/6396/stat : 6396 (scip-2.0.1.4_2.) R 6394 6396 3085 0 -1 4202496 14368 0 0 0 68 1 0 0 25 0 1 0 966496435 62185472 13821 33554432000 4194304 8979876 140736267541600 18446744073709551615 6937213 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6396/statm: 15182 13821 652 1169 0 14009 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 60728
[startup+1.50101 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 6397
/proc/meminfo: memFree=31587344/32950928 swapFree=67051812/67111528
[pid=6396] ppid=6394 vsize=62636 CPUtime=1.49 cores=0,2,4,6
/proc/6396/stat : 6396 (scip-2.0.1.4_2.) R 6394 6396 3085 0 -1 4202496 15341 0 0 0 147 2 0 0 25 0 1 0 966496435 64139264 14634 33554432000 4194304 8979876 140736267541600 18446744073709551615 6808919 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6396/statm: 15659 14634 682 1169 0 14486 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 62636
[startup+3.10071 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 6397
/proc/meminfo: memFree=31581764/32950928 swapFree=67051812/67111528
[pid=6396] ppid=6394 vsize=104780 CPUtime=3.09 cores=0,2,4,6
/proc/6396/stat : 6396 (scip-2.0.1.4_2.) R 6394 6396 3085 0 -1 4202496 25951 0 0 0 305 4 0 0 25 0 1 0 966496435 107294720 24792 33554432000 4194304 8979876 140736267541600 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6396/statm: 26195 24792 760 1169 0 25022 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 104780
[startup+6.30099 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 6398
/proc/meminfo: memFree=31542208/32950928 swapFree=67051812/67111528
[pid=6396] ppid=6394 vsize=104780 CPUtime=6.3 cores=0,2,4,6
/proc/6396/stat : 6396 (scip-2.0.1.4_2.) R 6394 6396 3085 0 -1 4202496 26331 0 0 0 625 5 0 0 25 0 1 0 966496435 107294720 24993 33554432000 4194304 8979876 140736267541600 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6396/statm: 26195 24993 706 1169 0 25022 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 104780
[startup+12.7008 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 6398
/proc/meminfo: memFree=31537388/32950928 swapFree=67051812/67111528
[pid=6396] ppid=6394 vsize=111912 CPUtime=12.69 cores=0,2,4,6
/proc/6396/stat : 6396 (scip-2.0.1.4_2.) R 6394 6396 3085 0 -1 4202496 28650 0 0 0 1261 8 0 0 25 0 1 0 966496435 114597888 26598 33554432000 4194304 8979876 140736267541600 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6396/statm: 27978 26598 710 1169 0 26805 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 111912
[startup+25.5006 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 6398
/proc/meminfo: memFree=31515296/32950928 swapFree=67051812/67111528
[pid=6396] ppid=6394 vsize=139100 CPUtime=25.49 cores=0,2,4,6
/proc/6396/stat : 6396 (scip-2.0.1.4_2.) R 6394 6396 3085 0 -1 4202496 41664 0 0 0 2536 13 0 0 25 0 1 0 966496435 142438400 33042 33554432000 4194304 8979876 140736267541600 18446744073709551615 7170362 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6396/statm: 34775 33042 710 1169 0 33602 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 139100
[startup+51.1009 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 6399
/proc/meminfo: memFree=31498156/32950928 swapFree=67051812/67111528
[pid=6396] ppid=6394 vsize=151908 CPUtime=51.09 cores=0,2,4,6
/proc/6396/stat : 6396 (scip-2.0.1.4_2.) R 6394 6396 3085 0 -1 4202496 49514 0 0 0 5085 24 0 0 25 0 1 0 966496435 155553792 36427 33554432000 4194304 8979876 140736267541600 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6396/statm: 37977 36427 878 1169 0 36804 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 151908
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6400
/proc/meminfo: memFree=31483264/32950928 swapFree=67051812/67111528
[pid=6396] ppid=6394 vsize=167696 CPUtime=102.3 cores=0,2,4,6
/proc/6396/stat : 6396 (scip-2.0.1.4_2.) R 6394 6396 3085 0 -1 4202496 55009 0 0 0 10185 45 0 0 25 0 1 0 966496435 171720704 40169 33554432000 4194304 8979876 140736267541600 18446744073709551615 6543923 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6396/statm: 41924 40169 866 1169 0 40751 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 167696
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6402
/proc/meminfo: memFree=31482096/32950928 swapFree=67051812/67111528
[pid=6396] ppid=6394 vsize=166404 CPUtime=162.3 cores=0,2,4,6
/proc/6396/stat : 6396 (scip-2.0.1.4_2.) R 6394 6396 3085 0 -1 4202496 55734 0 0 0 16156 74 0 0 25 0 1 0 966496435 170397696 39749 33554432000 4194304 8979876 140736267541600 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6396/statm: 41601 39749 714 1169 0 40428 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 166404
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6403
/proc/meminfo: memFree=31476452/32950928 swapFree=67051812/67111528
[pid=6396] ppid=6394 vsize=168112 CPUtime=222.3 cores=0,2,4,6
/proc/6396/stat : 6396 (scip-2.0.1.4_2.) R 6394 6396 3085 0 -1 4202496 56307 0 0 0 22129 101 0 0 25 0 1 0 966496435 172146688 40319 33554432000 4194304 8979876 140736267541600 18446744073709551615 7185425 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6396/statm: 42028 40319 769 1169 0 40855 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 168112
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6405
/proc/meminfo: memFree=31476648/32950928 swapFree=67051812/67111528
[pid=6396] ppid=6394 vsize=168112 CPUtime=282.3 cores=0,2,4,6
/proc/6396/stat : 6396 (scip-2.0.1.4_2.) R 6394 6396 3085 0 -1 4202496 56310 0 0 0 28100 130 0 0 25 0 1 0 966496435 172146688 40319 33554432000 4194304 8979876 140736267541600 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6396/statm: 42028 40319 766 1169 0 40855 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 168112
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6407
/proc/meminfo: memFree=31473096/32950928 swapFree=67051812/67111528
[pid=6396] ppid=6394 vsize=168112 CPUtime=342.3 cores=0,2,4,6
/proc/6396/stat : 6396 (scip-2.0.1.4_2.) R 6394 6396 3085 0 -1 4202496 56311 0 0 0 34067 163 0 0 25 0 1 0 966496435 172146688 40320 33554432000 4194304 8979876 140736267541600 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6396/statm: 42028 40320 766 1169 0 40855 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 168112
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6408
/proc/meminfo: memFree=31473408/32950928 swapFree=67051812/67111528
[pid=6396] ppid=6394 vsize=169712 CPUtime=402.3 cores=0,2,4,6
/proc/6396/stat : 6396 (scip-2.0.1.4_2.) R 6394 6396 3085 0 -1 4202496 56573 0 0 0 40037 193 0 0 25 0 1 0 966496435 173785088 40580 33554432000 4194304 8979876 140736267541600 18446744073709551615 7046500 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6396/statm: 42428 40580 764 1169 0 41255 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 169712
[startup+462.301 s]
/proc/loadavg: 2.06 2.02 2.00 3/178 6410
/proc/meminfo: memFree=31468012/32950928 swapFree=67051812/67111528
[pid=6396] ppid=6394 vsize=169712 CPUtime=462.3 cores=0,2,4,6
/proc/6396/stat : 6396 (scip-2.0.1.4_2.) R 6394 6396 3085 0 -1 4202496 56610 0 0 0 46005 225 0 0 25 0 1 0 966496435 173785088 40616 33554432000 4194304 8979876 140736267541600 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6396/statm: 42428 40616 763 1169 0 41255 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 169712
[startup+522.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 6411
/proc/meminfo: memFree=31467828/32950928 swapFree=67051812/67111528
[pid=6396] ppid=6394 vsize=170744 CPUtime=522.31 cores=0,2,4,6
/proc/6396/stat : 6396 (scip-2.0.1.4_2.) R 6394 6396 3085 0 -1 4202496 56876 0 0 0 51973 258 0 0 25 0 1 0 966496435 174841856 40882 33554432000 4194304 8979876 140736267541600 18446744073709551615 7165395 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6396/statm: 42686 40882 763 1169 0 41513 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 170744
[startup+582.301 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 6413
/proc/meminfo: memFree=31468376/32950928 swapFree=67051812/67111528
[pid=6396] ppid=6394 vsize=170744 CPUtime=582.31 cores=0,2,4,6
/proc/6396/stat : 6396 (scip-2.0.1.4_2.) R 6394 6396 3085 0 -1 4202496 57021 0 0 0 57940 291 0 0 25 0 1 0 966496435 174841856 40982 33554432000 4194304 8979876 140736267541600 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6396/statm: 42686 40982 718 1169 0 41513 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 170744
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=31412704/32950928 swapFree=67051812/67111528
[pid=6396] ppid=6394 vsize=182340 CPUtime=1122.32 cores=0,2,4,6
/proc/6396/stat : 6396 (scip-2.0.1.4_2.) R 6394 6396 3085 0 -1 4202496 59912 0 0 0 111652 580 0 0 25 0 1 0 966496435 186716160 43863 33554432000 4194304 8979876 140736267541600 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6396/statm: 45585 43863 718 1169 0 44412 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 182340
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6470
/proc/meminfo: memFree=31411284/32950928 swapFree=67051812/67111528
[pid=6396] ppid=6394 vsize=183252 CPUtime=1182.32 cores=0,2,4,6
/proc/6396/stat : 6396 (scip-2.0.1.4_2.) R 6394 6396 3085 0 -1 4202496 60184 0 0 0 117621 611 0 0 25 0 1 0 966496435 187650048 44135 33554432000 4194304 8979876 140736267541600 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6396/statm: 45813 44135 718 1169 0 44640 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 183252
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6472
/proc/meminfo: memFree=31407776/32950928 swapFree=67051812/67111528
[pid=6396] ppid=6394 vsize=185284 CPUtime=1242.33 cores=0,2,4,6
/proc/6396/stat : 6396 (scip-2.0.1.4_2.) R 6394 6396 3085 0 -1 4202496 60691 0 0 0 123590 643 0 0 25 0 1 0 966496435 189730816 44642 33554432000 4194304 8979876 140736267541600 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6396/statm: 46321 44642 718 1169 0 45148 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 185284
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6473
/proc/meminfo: memFree=31407104/32950928 swapFree=67051812/67111528
[pid=6396] ppid=6394 vsize=185768 CPUtime=1302.34 cores=0,2,4,6
/proc/6396/stat : 6396 (scip-2.0.1.4_2.) R 6394 6396 3085 0 -1 4202496 60812 0 0 0 129559 675 0 0 25 0 1 0 966496435 190226432 44763 33554432000 4194304 8979876 140736267541600 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6396/statm: 46442 44763 718 1169 0 45269 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 185768
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6475
/proc/meminfo: memFree=31405924/32950928 swapFree=67051812/67111528
[pid=6396] ppid=6394 vsize=186996 CPUtime=1362.34 cores=0,2,4,6
/proc/6396/stat : 6396 (scip-2.0.1.4_2.) R 6394 6396 3085 0 -1 4202496 61119 0 0 0 135526 708 0 0 25 0 1 0 966496435 191483904 45070 33554432000 4194304 8979876 140736267541600 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6396/statm: 46749 45070 718 1169 0 45576 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 186996
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6476
/proc/meminfo: memFree=31404004/32950928 swapFree=67051812/67111528
[pid=6396] ppid=6394 vsize=188684 CPUtime=1422.34 cores=0,2,4,6
/proc/6396/stat : 6396 (scip-2.0.1.4_2.) R 6394 6396 3085 0 -1 4202496 61539 0 0 0 141495 739 0 0 25 0 1 0 966496435 193212416 45490 33554432000 4194304 8979876 140736267541600 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6396/statm: 47171 45490 718 1169 0 45998 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 188684
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6478
/proc/meminfo: memFree=31401468/32950928 swapFree=67051812/67111528
[pid=6396] ppid=6394 vsize=190228 CPUtime=1482.34 cores=0,2,4,6
/proc/6396/stat : 6396 (scip-2.0.1.4_2.) R 6394 6396 3085 0 -1 4202496 61930 0 0 0 147465 769 0 0 25 0 1 0 966496435 194793472 45881 33554432000 4194304 8979876 140736267541600 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6396/statm: 47557 45881 718 1169 0 46384 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 190228
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6480
/proc/meminfo: memFree=31401152/32950928 swapFree=67051812/67111528
[pid=6396] ppid=6394 vsize=190228 CPUtime=1542.34 cores=0,2,4,6
/proc/6396/stat : 6396 (scip-2.0.1.4_2.) R 6394 6396 3085 0 -1 4202496 61930 0 0 0 153432 802 0 0 25 0 1 0 966496435 194793472 45881 33554432000 4194304 8979876 140736267541600 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6396/statm: 47557 45881 718 1169 0 46384 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 190228
[startup+1602.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 6481
/proc/meminfo: memFree=31400464/32950928 swapFree=67051812/67111528
[pid=6396] ppid=6394 vsize=190228 CPUtime=1602.34 cores=0,2,4,6
/proc/6396/stat : 6396 (scip-2.0.1.4_2.) R 6394 6396 3085 0 -1 4202496 61942 0 0 0 159401 833 0 0 25 0 1 0 966496435 194793472 45893 33554432000 4194304 8979876 140736267541600 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6396/statm: 47557 45893 718 1169 0 46384 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 190228
[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 6483
/proc/meminfo: memFree=31399524/32950928 swapFree=67051812/67111528
[pid=6396] ppid=6394 vsize=190684 CPUtime=1662.34 cores=0,2,4,6
/proc/6396/stat : 6396 (scip-2.0.1.4_2.) R 6394 6396 3085 0 -1 4202496 62049 0 0 0 165369 865 0 0 25 0 1 0 966496435 195260416 46000 33554432000 4194304 8979876 140736267541600 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6396/statm: 47671 46000 718 1169 0 46498 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 190684
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6484
/proc/meminfo: memFree=31397964/32950928 swapFree=67051812/67111528
[pid=6396] ppid=6394 vsize=191332 CPUtime=1722.35 cores=0,2,4,6
/proc/6396/stat : 6396 (scip-2.0.1.4_2.) R 6394 6396 3085 0 -1 4202496 62081 0 0 0 171335 900 0 0 25 0 1 0 966496435 195923968 46032 33554432000 4194304 8979876 140736267541600 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6396/statm: 47833 46032 718 1169 0 46660 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 191332
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6486
/proc/meminfo: memFree=31396168/32950928 swapFree=67051812/67111528
[pid=6396] ppid=6394 vsize=192008 CPUtime=1782.34 cores=0,2,4,6
/proc/6396/stat : 6396 (scip-2.0.1.4_2.) R 6394 6396 3085 0 -1 4202496 62252 0 0 0 177305 929 0 0 25 0 1 0 966496435 196616192 46203 33554432000 4194304 8979876 140736267541600 18446744073709551615 7146204 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6396/statm: 48002 46203 718 1169 0 46829 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 192008
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6486
/proc/meminfo: memFree=31396044/32950928 swapFree=67051812/67111528
[pid=6396] ppid=6394 vsize=192008 CPUtime=1785.54 cores=0,2,4,6
/proc/6396/stat : 6396 (scip-2.0.1.4_2.) R 6394 6396 3085 0 -1 4202496 62253 0 0 0 177623 931 0 0 25 0 1 0 966496435 196616192 46204 33554432000 4194304 8979876 140736267541600 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6396/statm: 48002 46204 718 1169 0 46829 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (KiB) 192008
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6486
/proc/meminfo: memFree=31396144/32950928 swapFree=67051812/67111528
[pid=6396] ppid=6394 vsize=192008 CPUtime=1791.95 cores=0,2,4,6
/proc/6396/stat : 6396 (scip-2.0.1.4_2.) R 6394 6396 3085 0 -1 4202496 62254 0 0 0 178260 935 0 0 25 0 1 0 966496435 196616192 46205 33554432000 4194304 8979876 140736267541600 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6396/statm: 48002 46205 718 1169 0 46829 0
Current children cumulated CPU time (s) 1791.95
Current children cumulated vsize (KiB) 192008
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6486
/proc/meminfo: memFree=31396144/32950928 swapFree=67051812/67111528
[pid=6396] ppid=6394 vsize=192008 CPUtime=1795.16 cores=0,2,4,6
/proc/6396/stat : 6396 (scip-2.0.1.4_2.) R 6394 6396 3085 0 -1 4202496 62255 0 0 0 178579 937 0 0 25 0 1 0 966496435 196616192 46206 33554432000 4194304 8979876 140736267541600 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6396/statm: 48002 46206 718 1169 0 46829 0
Current children cumulated CPU time (s) 1795.16
Current children cumulated vsize (KiB) 192008
[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6486
/proc/meminfo: memFree=31396144/32950928 swapFree=67051812/67111528
[pid=6396] ppid=6394 vsize=192008 CPUtime=1795.95 cores=0,2,4,6
/proc/6396/stat : 6396 (scip-2.0.1.4_2.) R 6394 6396 3085 0 -1 4202496 62255 0 0 0 178658 937 0 0 25 0 1 0 966496435 196616192 46206 33554432000 4194304 8979876 140736267541600 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6396/statm: 48002 46206 718 1169 0 46829 0
Current children cumulated CPU time (s) 1795.95
Current children cumulated vsize (KiB) 192008
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6486
/proc/meminfo: memFree=31396144/32950928 swapFree=67051812/67111528
[pid=6396] ppid=6394 vsize=192008 CPUtime=1796.74 cores=0,2,4,6
/proc/6396/stat : 6396 (scip-2.0.1.4_2.) R 6394 6396 3085 0 -1 4202496 62257 0 0 0 178737 937 0 0 25 0 1 0 966496435 196616192 46208 33554432000 4194304 8979876 140736267541600 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6396/statm: 48002 46208 718 1169 0 46829 0
Current children cumulated CPU time (s) 1796.74
Current children cumulated vsize (KiB) 192008
[startup+1796.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6486
/proc/meminfo: memFree=31396144/32950928 swapFree=67051812/67111528
[pid=6396] ppid=6394 vsize=192008 CPUtime=1796.95 cores=0,2,4,6
/proc/6396/stat : 6396 (scip-2.0.1.4_2.) R 6394 6396 3085 0 -1 4202496 62257 0 0 0 178757 938 0 0 25 0 1 0 966496435 196616192 46208 33554432000 4194304 8979876 140736267541600 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6396/statm: 48002 46208 718 1169 0 46829 0
Current children cumulated CPU time (s) 1796.95
Current children cumulated vsize (KiB) 192008
[startup+1797 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6486
/proc/meminfo: memFree=31396144/32950928 swapFree=67051812/67111528
[pid=6396] ppid=6394 vsize=192008 CPUtime=1797.05 cores=0,2,4,6
/proc/6396/stat : 6396 (scip-2.0.1.4_2.) R 6394 6396 3085 0 -1 4202496 62257 0 0 0 178767 938 0 0 25 0 1 0 966496435 196616192 46208 33554432000 4194304 8979876 140736267541600 18446744073709551615 7179716 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6396/statm: 48002 46208 718 1169 0 46829 0
Current children cumulated CPU time (s) 1797.05
Current children cumulated vsize (KiB) 192008
Child status: 0
Real time (s): 1797.08
CPU time (s): 1797.14
CPU user time (s): 1787.75
CPU system time (s): 9.39057
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 192008
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1787.75
system time used= 9.39057
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62266
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= 7
involuntary context switches= 3505
runsolver used 2.65959 second user time and 5.53716 second system time
The end