0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
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-3450842-1307083165.opb>
0.05/0.09 c original problem has 6352 variables (6352 bin, 0 int, 0 impl, 0 cont) and 13473 constraints
0.05/0.09 c problem read
0.05/0.09 c presolving settings loaded
0.09/0.13 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.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.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.19 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.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.20 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.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.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.21 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.21 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.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.22 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.22 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.22 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.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.23 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.23 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.23 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.23 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.23 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.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.24 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.24 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.24 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.24 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.24 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.25 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.25 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.25 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.25 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.25 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.25 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.26 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.26 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.26 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.26 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.26 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.26 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.27 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.27 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.27 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.27 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.27 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.31 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.55 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.52
0.59/0.63 c - non default parameters ----------------------------------------------------------------------
0.59/0.63 c # SCIP version 2.0.1.5
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 = 1800
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 | - | 22M| 0 |1245 |1951 |5969 |1951 |5913 | 0 | 54 | 0 | 2.808013e+03 | -- | Inf
1.79/1.89 c 1.9s| 1 | 0 | 7904 | - | 24M| 0 |1226 |1951 |5969 |1951 |7913 |2000 | 54 | 0 | 2.815667e+03 | -- | Inf
3.09/3.10 c 3.1s| 1 | 0 | 9148 | - | 27M| 0 |1161 |1951 |7374 |1951 |7951 |2038 | 54 | 0 | 2.839750e+03 | -- | Inf
3.30/3.32 c 3.3s| 1 | 0 | 9445 | - | 27M| 0 |1159 |1951 |7374 |1951 |7975 |2062 | 54 | 0 | 2.843792e+03 | -- | Inf
3.59/3.65 c 3.6s| 1 | 0 | 9996 | - | 28M| 0 |1186 |1951 |7374 |1951 |8002 |2089 | 54 | 0 | 2.846141e+03 | -- | Inf
3.99/4.06 c 4.1s| 1 | 0 | 10950 | - | 30M| 0 |1182 |1951 |7374 |1951 |8042 |2129 | 54 | 0 | 2.849623e+03 | -- | Inf
4.49/4.55 c 4.6s| 1 | 0 | 11662 | - | 31M| 0 |1227 |1951 |7374 |1951 |8093 |2180 | 54 | 0 | 2.854371e+03 | -- | Inf
4.89/4.90 c 4.9s| 1 | 0 | 12057 | - | 33M| 0 |1249 |1951 |7374 |1951 |8130 |2217 | 54 | 0 | 2.857233e+03 | -- | Inf
5.19/5.29 c 5.3s| 1 | 0 | 12645 | - | 36M| 0 |1267 |1951 |7374 |1951 |8166 |2253 | 54 | 0 | 2.859741e+03 | -- | Inf
6.09/6.10 c 6.1s| 1 | 0 | 13953 | - | 38M| 0 |1289 |1951 |7374 |1951 |8224 |2311 | 54 | 0 | 2.866279e+03 | -- | Inf
6.99/7.04 c 7.0s| 1 | 0 | 15369 | - | 40M| 0 |1294 |1951 |7374 |1951 |8276 |2363 | 54 | 0 | 2.872927e+03 | -- | Inf
7.49/7.59 c 7.6s| 1 | 0 | 16096 | - | 42M| 0 |1335 |1951 |7374 |1951 |8333 |2420 | 54 | 0 | 2.877990e+03 | -- | Inf
8.19/8.29 c 8.3s| 1 | 0 | 17735 | - | 43M| 0 |1305 |1951 |7374 |1951 |8388 |2475 | 54 | 0 | 2.884525e+03 | -- | Inf
8.99/9.01 c 9.0s| 1 | 0 | 19134 | - | 45M| 0 |1334 |1951 |7374 |1951 |6470 |2526 | 54 | 0 | 2.891003e+03 | -- | Inf
9.49/9.54 c 9.5s| 1 | 0 | 20148 | - | 46M| 0 |1336 |1951 |7374 |1951 |6525 |2581 | 54 | 0 | 2.896869e+03 | -- | Inf
9.99/10.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
9.99/10.07 c 10.1s| 1 | 0 | 21252 | - | 48M| 0 |1360 |1951 |7374 |1951 |6572 |2628 | 54 | 0 | 2.903146e+03 | -- | Inf
10.90/10.99 c 11.0s| 1 | 0 | 22501 | - | 48M| 0 |1355 |1951 |7374 |1951 |6619 |2675 | 54 | 0 | 2.906451e+03 | -- | Inf
12.01/12.07 c 12.1s| 1 | 0 | 24948 | - | 50M| 0 |1375 |1951 |7374 |1951 |6676 |2732 | 54 | 0 | 2.913236e+03 | -- | Inf
13.21/13.27 c 13.3s| 1 | 0 | 27444 | - | 52M| 0 |1427 |1951 |7374 |1951 |6728 |2784 | 54 | 0 | 2.918133e+03 | -- | Inf
14.21/14.21 c 14.2s| 1 | 0 | 28928 | - | 56M| 0 |1446 |1951 |7374 |1951 |6640 |2836 | 54 | 0 | 2.922234e+03 | -- | Inf
15.19/15.21 c 15.2s| 1 | 0 | 30143 | - | 59M| 0 |1460 |1951 |7374 |1951 |6691 |2887 | 54 | 0 | 2.926174e+03 | -- | Inf
16.70/16.77 c 16.8s| 1 | 0 | 32036 | - | 63M| 0 |1453 |1951 |7374 |1951 |6759 |2955 | 54 | 0 | 2.936328e+03 | -- | Inf
17.79/17.84 c 17.8s| 1 | 0 | 34319 | - | 63M| 0 |1460 |1951 |7374 |1951 |6817 |3013 | 54 | 0 | 2.938880e+03 | -- | Inf
18.89/18.98 c 19.0s| 1 | 0 | 37450 | - | 64M| 0 |1497 |1951 |7374 |1951 |6883 |3079 | 54 | 0 | 2.943884e+03 | -- | Inf
19.89/19.99 c 20.0s| 1 | 0 | 39646 | - | 64M| 0 |1486 |1951 |7374 |1951 |6945 |3141 | 54 | 0 | 2.948927e+03 | -- | Inf
21.29/21.36 c 21.4s| 1 | 0 | 41609 | - | 64M| 0 |1475 |1951 |7374 |1951 |6794 |3204 | 54 | 0 | 2.956102e+03 | -- | Inf
22.39/22.45 c 22.5s| 1 | 0 | 44657 | - | 65M| 0 |1464 |1951 |7374 |1951 |6842 |3252 | 54 | 0 | 2.959497e+03 | -- | Inf
22.79/22.83 c 22.8s| 1 | 0 | 45550 | - | 66M| 0 |1465 |1951 |7374 |1951 |6900 |3310 | 54 | 0 | 2.961612e+03 | -- | Inf
23.79/23.86 c 23.9s| 1 | 0 | 48757 | - | 66M| 0 |1484 |1951 |7374 |1951 |6948 |3358 | 54 | 0 | 2.964211e+03 | -- | Inf
25.09/25.12 c 25.1s| 1 | 0 | 52010 | - | 68M| 0 |1521 |1951 |7374 |1951 |7000 |3410 | 54 | 0 | 2.967947e+03 | -- | Inf
26.09/26.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
26.09/26.14 c 26.1s| 1 | 0 | 54338 | - | 68M| 0 |1569 |1951 |7374 |1951 |7043 |3453 | 54 | 0 | 2.970981e+03 | -- | Inf
26.79/26.89 c 26.9s| 1 | 0 | 56269 | - | 69M| 0 |1611 |1951 |7374 |1951 |6801 |3489 | 54 | 0 | 2.973090e+03 | -- | Inf
28.61/28.62 c 28.6s| 1 | 0 | 59214 | - | 70M| 0 |1582 |1951 |7374 |1951 |6870 |3558 | 54 | 0 | 2.980805e+03 | -- | Inf
29.29/29.31 c 29.3s| 1 | 0 | 61171 | - | 71M| 0 |1569 |1951 |7374 |1951 |6914 |3602 | 54 | 0 | 2.983913e+03 | -- | Inf
29.99/30.07 c 30.1s| 1 | 0 | 63497 | - | 73M| 0 |1590 |1951 |7374 |1951 |6953 |3641 | 54 | 0 | 2.985577e+03 | -- | Inf
31.19/31.24 c 31.2s| 1 | 0 | 65403 | - | 73M| 0 |1607 |1951 |7374 |1951 |6994 |3682 | 54 | 0 | 2.989563e+03 | -- | Inf
31.99/32.09 c 32.1s| 1 | 0 | 67567 | - | 74M| 0 |1624 |1951 |7374 |1951 |7029 |3717 | 54 | 0 | 2.991306e+03 | -- | Inf
33.01/33.09 c 33.1s| 1 | 0 | 69792 | - | 75M| 0 |1684 |1951 |7374 |1951 |6779 |3760 | 54 | 0 | 2.994324e+03 | -- | Inf
35.20/35.27 c 35.3s| 1 | 0 | 73436 | - | 75M| 0 |1570 |1951 |7374 |1951 |6839 |3820 | 54 | 0 | 3.001320e+03 | -- | Inf
36.20/36.26 c 36.3s| 1 | 0 | 74649 | - | 76M| 0 |1600 |1951 |7374 |1951 |6879 |3860 | 54 | 0 | 3.003560e+03 | -- | Inf
36.99/37.07 c 37.1s| 1 | 0 | 76942 | - | 77M| 0 |1645 |1951 |7374 |1951 |6919 |3900 | 54 | 0 | 3.006697e+03 | -- | Inf
37.80/37.85 c 37.8s| 1 | 0 | 78925 | - | 78M| 0 |1657 |1951 |7374 |1951 |6950 |3931 | 54 | 0 | 3.009087e+03 | -- | Inf
38.79/38.89 c 38.9s| 1 | 0 | 79951 | - | 78M| 0 |1671 |1951 |7374 |1951 |7002 |3983 | 54 | 0 | 3.012159e+03 | -- | Inf
40.19/40.23 c 40.2s| 1 | 0 | 80759 | - | 78M| 0 |1624 |1951 |7374 |1951 |6780 |4011 | 54 | 0 | 3.013963e+03 | -- | Inf
40.79/40.84 c 40.8s| 1 | 0 | 81243 | - | 79M| 0 |1648 |1951 |7374 |1951 |6803 |4034 | 54 | 0 | 3.014779e+03 | -- | Inf
41.81/41.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
41.81/41.87 c 41.9s| 1 | 0 | 82229 | - | 79M| 0 |1637 |1951 |7374 |1951 |6830 |4061 | 54 | 0 | 3.015365e+03 | -- | Inf
43.00/43.04 c 43.0s| 1 | 0 | 84127 | - | 80M| 0 |1661 |1951 |7374 |1951 |6868 |4099 | 54 | 0 | 3.017736e+03 | -- | Inf
44.40/44.48 c 44.5s| 1 | 0 | 85693 | - | 80M| 0 |1640 |1951 |7374 |1951 |6901 |4132 | 54 | 0 | 3.019485e+03 | -- | Inf
45.39/45.47 c 45.5s| 1 | 0 | 86495 | - | 80M| 0 |1602 |1951 |7374 |1951 |6926 |4157 | 54 | 0 | 3.020031e+03 | -- | Inf
45.99/46.10 c 46.1s| 1 | 0 | 87176 | - | 81M| 0 |1650 |1951 |7374 |1951 |6730 |4182 | 54 | 0 | 3.020814e+03 | -- | Inf
47.21/47.27 c 47.3s| 1 | 0 | 88281 | - | 81M| 0 |1589 |1951 |7374 |1951 |6771 |4223 | 54 | 0 | 3.024587e+03 | -- | Inf
47.59/47.65 c 47.7s| 1 | 0 | 89366 | - | 82M| 0 |1653 |1951 |7374 |1951 |6797 |4249 | 54 | 0 | 3.026841e+03 | -- | Inf
48.09/48.16 c 48.2s| 1 | 0 | 90382 | - | 82M| 0 |1628 |1951 |7374 |1951 |6831 |4283 | 54 | 0 | 3.027681e+03 | -- | Inf
48.79/48.88 c 48.9s| 1 | 0 | 92206 | - | 83M| 0 |1670 |1951 |7374 |1951 |6855 |4307 | 54 | 0 | 3.028660e+03 | -- | Inf
50.20/50.28 c 50.3s| 1 | 0 | 93699 | - | 83M| 0 |1623 |1951 |7374 |1951 |6897 |4349 | 54 | 0 | 3.031132e+03 | -- | Inf
51.40/51.45 c 51.5s| 1 | 0 | 94804 | - | 83M| 0 |1643 |1951 |7374 |1951 |6752 |4386 | 54 | 0 | 3.033751e+03 | -- | Inf
52.81/52.85 c 52.9s| 1 | 0 | 96468 | - | 83M| 0 |1577 |1951 |7374 |1951 |6791 |4425 | 54 | 0 | 3.037064e+03 | -- | Inf
53.39/53.47 c 53.5s| 1 | 0 | 97543 | - | 84M| 0 |1604 |1951 |7374 |1951 |6815 |4449 | 54 | 0 | 3.038981e+03 | -- | Inf
53.90/53.97 c 54.0s| 1 | 0 | 98112 | - | 85M| 0 |1596 |1951 |7374 |1951 |6836 |4470 | 54 | 0 | 3.040132e+03 | -- | Inf
54.40/54.48 c 54.5s| 1 | 0 | 98828 | - | 85M| 0 |1596 |1951 |7374 |1951 |6863 |4497 | 54 | 0 | 3.042013e+03 | -- | Inf
55.00/55.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
55.00/55.08 c 55.1s| 1 | 0 | 99859 | - | 86M| 0 |1624 |1951 |7374 |1951 |6887 |4521 | 54 | 0 | 3.043502e+03 | -- | Inf
56.19/56.27 c 56.3s| 1 | 0 |100663 | - | 86M| 0 |1591 |1951 |7374 |1951 |6740 |4548 | 54 | 0 | 3.044646e+03 | -- | Inf
57.21/57.28 c 57.3s| 1 | 0 |101225 | - | 86M| 0 |1644 |1951 |7374 |1951 |6761 |4569 | 54 | 0 | 3.045038e+03 | -- | Inf
58.10/58.11 c 58.1s| 1 | 0 |101794 | - | 87M| 0 |1664 |1951 |7374 |1951 |6788 |4596 | 54 | 0 | 3.045330e+03 | -- | Inf
59.31/59.39 c 59.4s| 1 | 0 |102755 | - | 87M| 0 |1622 |1951 |7374 |1951 |6813 |4621 | 54 | 0 | 3.046582e+03 | -- | Inf
60.29/60.31 c 60.3s| 1 | 0 |103308 | - | 87M| 0 |1651 |1951 |7374 |1951 |6844 |4652 | 54 | 0 | 3.049364e+03 | -- | Inf
61.09/61.10 c 61.1s| 1 | 0 |103531 | - | 88M| 0 |1661 |1951 |7374 |1951 |6870 |4678 | 54 | 0 | 3.050701e+03 | -- | Inf
61.60/61.65 c 61.6s| 1 | 0 |104138 | - | 89M| 0 |1668 |1951 |7374 |1951 |6715 |4696 | 54 | 0 | 3.051506e+03 | -- | Inf
62.89/62.92 c 62.9s| 1 | 0 |104842 | - | 89M| 0 |1659 |1951 |7374 |1951 |6742 |4723 | 54 | 0 | 3.053061e+03 | -- | Inf
64.00/64.03 c 64.0s| 1 | 0 |105187 | - | 89M| 0 |1691 |1951 |7374 |1951 |6766 |4747 | 54 | 0 | 3.054063e+03 | -- | Inf
65.29/65.30 c 65.3s| 1 | 0 |105677 | - | 89M| 0 |1681 |1951 |7374 |1951 |6780 |4761 | 54 | 0 | 3.054465e+03 | -- | Inf
66.59/66.63 c 66.6s| 1 | 0 |106255 | - | 89M| 0 |1690 |1951 |7374 |1951 |6788 |4769 | 54 | 0 | 3.055227e+03 | -- | Inf
67.89/67.90 c 67.9s| 1 | 0 |106515 | - | 89M| 0 |1672 |1951 |7374 |1951 |6795 |4776 | 54 | 0 | 3.055355e+03 | -- | Inf
68.99/69.04 c 69.0s| 1 | 0 |106783 | - | 89M| 0 |1687 |1951 |7374 |1951 |6694 |4790 | 54 | 0 | 3.055706e+03 | -- | Inf
70.20/70.22 c 70.2s| 1 | 0 |107504 | - | 90M| 0 |1651 |1951 |7374 |1951 |6710 |4806 | 54 | 0 | 3.056720e+03 | -- | Inf
71.19/71.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
71.19/71.25 c 71.3s| 1 | 0 |108053 | - | 90M| 0 |1646 |1951 |7374 |1951 |6730 |4826 | 54 | 0 | 3.058543e+03 | -- | Inf
71.99/72.04 c 72.0s| 1 | 0 |108515 | - | 90M| 0 |1655 |1951 |7374 |1951 |6757 |4853 | 54 | 0 | 3.059605e+03 | -- | Inf
72.61/72.68 c 72.7s| 1 | 0 |109384 | - | 90M| 0 |1659 |1951 |7374 |1951 |6776 |4872 | 54 | 0 | 3.062595e+03 | -- | Inf
73.20/73.25 c 73.2s| 1 | 0 |109725 | - | 91M| 0 |1650 |1951 |7374 |1951 |6796 |4892 | 54 | 0 | 3.062985e+03 | -- | Inf
74.19/74.27 c 74.3s| 1 | 0 |110692 | - | 91M| 0 |1642 |1951 |7374 |1951 |6706 |4918 | 54 | 0 | 3.064220e+03 | -- | Inf
74.89/74.92 c 74.9s| 1 | 0 |111126 | - | 92M| 0 |1652 |1951 |7374 |1951 |6728 |4940 | 54 | 0 | 3.065274e+03 | -- | Inf
75.91/76.00 c 76.0s| 1 | 0 |112167 | - | 92M| 0 |1666 |1951 |7374 |1951 |6754 |4966 | 54 | 0 | 3.066338e+03 | -- | Inf
76.91/76.99 c 77.0s| 1 | 0 |112516 | - | 92M| 0 |1657 |1951 |7374 |1951 |6772 |4984 | 54 | 0 | 3.067461e+03 | -- | Inf
77.90/77.94 c 77.9s| 1 | 0 |112960 | - | 93M| 0 |1660 |1951 |7374 |1951 |6781 |4993 | 54 | 0 | 3.067798e+03 | -- | Inf
78.89/78.91 c 78.9s| 1 | 0 |113512 | - | 93M| 0 |1649 |1951 |7374 |1951 |6801 |5013 | 54 | 0 | 3.068236e+03 | -- | Inf
79.50/79.52 c 79.5s| 1 | 0 |114110 | - | 93M| 0 |1659 |1951 |7374 |1951 |6743 |5031 | 54 | 0 | 3.069544e+03 | -- | Inf
80.60/80.67 c 80.7s| 1 | 0 |114660 | - | 93M| 0 |1666 |1951 |7374 |1951 |6760 |5048 | 54 | 0 | 3.070365e+03 | -- | Inf
81.69/81.79 c 81.8s| 1 | 0 |115117 | - | 93M| 0 |1662 |1951 |7374 |1951 |6781 |5069 | 54 | 0 | 3.071311e+03 | -- | Inf
82.29/82.41 c 82.4s| 1 | 0 |115636 | - | 94M| 0 |1667 |1951 |7374 |1951 |6794 |5082 | 54 | 0 | 3.072763e+03 | -- | Inf
83.29/83.32 c 83.3s| 1 | 0 |116549 | - | 95M| 0 |1655 |1951 |7374 |1951 |6813 |5101 | 54 | 0 | 3.074285e+03 | -- | Inf
84.29/84.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
84.29/84.33 c 84.3s| 1 | 0 |117172 | - | 95M| 0 |1662 |1951 |7374 |1951 |6832 |5120 | 54 | 0 | 3.075529e+03 | -- | Inf
85.30/85.31 c 85.3s| 1 | 0 |117623 | - | 95M| 0 |1638 |1951 |7374 |1951 |6718 |5137 | 54 | 0 | 3.076278e+03 | -- | Inf
85.99/86.03 c 86.0s| 1 | 0 |118093 | - | 95M| 0 |1646 |1951 |7374 |1951 |6734 |5153 | 54 | 0 | 3.077305e+03 | -- | Inf
86.99/87.07 c 87.1s| 1 | 0 |118545 | - | 95M| 0 |1642 |1951 |7374 |1951 |6765 |5184 | 54 | 0 | 3.078377e+03 | -- | Inf
88.19/88.30 c 88.3s| 1 | 0 |118858 | - | 95M| 0 |1634 |1951 |7374 |1951 |6773 |5192 | 54 | 0 | 3.079249e+03 | -- | Inf
89.19/89.29 c 89.3s| 1 | 0 |119645 | - | 95M| 0 |1635 |1951 |7374 |1951 |6787 |5206 | 54 | 0 | 3.080493e+03 | -- | Inf
90.21/90.22 c 90.2s| 1 | 0 |120325 | - | 96M| 0 |1663 |1951 |7374 |1951 |6806 |5225 | 54 | 0 | 3.081908e+03 | -- | Inf
91.09/91.12 c 91.1s| 1 | 0 |120795 | - | 96M| 0 |1604 |1951 |7374 |1951 |6743 |5248 | 54 | 0 | 3.082431e+03 | -- | Inf
92.00/92.05 c 92.1s| 1 | 0 |121778 | - | 96M| 0 |1613 |1951 |7374 |1951 |6766 |5271 | 54 | 0 | 3.083556e+03 | -- | Inf
92.69/92.75 c 92.7s| 1 | 0 |122166 | - | 96M| 0 |1628 |1951 |7374 |1951 |6781 |5286 | 54 | 0 | 3.084459e+03 | -- | Inf
93.29/93.39 c 93.4s| 1 | 0 |122691 | - | 96M| 0 |1639 |1951 |7374 |1951 |6800 |5305 | 54 | 0 | 3.085046e+03 | -- | Inf
94.19/94.24 c 94.2s| 1 | 0 |123097 | - | 96M| 0 |1646 |1951 |7374 |1951 |6815 |5320 | 54 | 0 | 3.085753e+03 | -- | Inf
94.90/94.98 c 95.0s| 1 | 0 |123949 | - | 97M| 0 |1638 |1951 |7374 |1951 |6829 |5334 | 54 | 0 | 3.087616e+03 | -- | Inf
95.39/95.46 c 95.5s| 1 | 0 |124265 | - | 97M| 0 |1664 |1951 |7374 |1951 |6721 |5344 | 54 | 0 | 3.087866e+03 | -- | Inf
96.30/96.33 c 96.3s| 1 | 0 |124697 | - | 97M| 0 |1652 |1951 |7374 |1951 |6732 |5355 | 54 | 0 | 3.088551e+03 | -- | Inf
97.09/97.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
97.09/97.14 c 97.1s| 1 | 0 |125093 | - | 96M| 0 |1640 |1951 |7374 |1951 |6742 |5365 | 54 | 0 | 3.088895e+03 | -- | Inf
97.91/97.93 c 97.9s| 1 | 0 |125119 | - | 94M| 0 |1646 |1951 |7374 |1951 |6747 |5370 | 54 | 0 | 3.088903e+03 | -- | Inf
98.70/98.74 c 98.7s| 1 | 0 |125369 | - | 93M| 0 |1652 |1951 |7374 |1951 |6750 |5373 | 54 | 0 | 3.089012e+03 | -- | Inf
99.49/99.58 c 99.6s| 1 | 0 |125562 | - | 91M| 0 |1645 |1951 |7374 |1951 |6754 |5377 | 54 | 0 | 3.089026e+03 | -- | Inf
100.40/100.45 c 100s| 1 | 0 |125637 | - | 88M| 0 |1647 |1951 |7374 |1951 |6663 |5381 | 54 | 0 | 3.089037e+03 | -- | Inf
101.20/101.27 c 101s| 1 | 0 |125774 | - | 87M| 0 |1640 |1951 |7374 |1951 |6666 |5384 | 54 | 0 | 3.089060e+03 | -- | Inf
101.99/102.08 c 102s| 1 | 0 |125777 | - | 85M| 0 |1642 |1951 |7374 |1951 |6667 |5385 | 54 | 0 | 3.089060e+03 | -- | Inf
102.89/102.91 c 103s| 1 | 0 |125858 | - | 83M| 0 |1645 |1951 |7374 |1951 |6668 |5386 | 54 | 0 | 3.089080e+03 | -- | Inf
103.69/103.74 c 104s| 1 | 0 |126017 | - | 82M| 0 |1644 |1951 |7374 |1951 |6669 |5387 | 54 | 0 | 3.089100e+03 | -- | Inf
104.51/104.57 c 105s| 1 | 0 |126035 | - | 79M| 0 |1642 |1951 |7374 |1951 |6670 |5388 | 54 | 0 | 3.089100e+03 | -- | Inf
107.39/107.45 c 107s| 1 | 2 |126035 | - | 78M| 0 |1642 |1951 |7374 |1951 |6670 |5388 | 54 | 13 | 3.089100e+03 | -- | Inf
1454.43/1454.44 c 1454s| 10000 | 3914 | 5128k| 500.3 | 87M| 45 |1186 |1951 |7332 |1951 |6415 |5388 | 13k|6340 | 3.137046e+03 | -- | Inf
1800.04/1800.01 c
1800.04/1800.01 c SCIP Status : solving was interrupted [time limit reached]
1800.04/1800.01 c Solving Time (sec) : 1800.01
1800.04/1800.01 c Solving Nodes : 13515
1800.04/1800.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.04/1800.01 c Dual Bound : +3.13784514234285e+03
1800.04/1800.01 c Gap : infinite
1800.04/1800.01 s UNKNOWN
1800.04/1800.01 c SCIP Status : solving was interrupted [time limit reached]
1800.04/1800.01 c Total Time : 1800.01
1800.04/1800.01 c solving : 1800.01
1800.04/1800.01 c presolving : 0.52 (included in solving)
1800.04/1800.01 c reading : 0.10 (included in solving)
1800.04/1800.01 c Original Problem :
1800.04/1800.01 c Problem name : HOME/instance-3450842-1307083165.opb
1800.04/1800.01 c Variables : 6352 (6352 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.01 c Constraints : 13473 initial, 13473 maximal
1800.04/1800.01 c Presolved Problem :
1800.04/1800.01 c Problem name : t_HOME/instance-3450842-1307083165.opb
1800.04/1800.01 c Variables : 1951 (1951 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.01 c Constraints : 5915 initial, 8334 maximal
1800.04/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.04/1800.01 c trivial : 0.01 40 0 0 0 0 0 0 0 0
1800.04/1800.01 c dualfix : 0.01 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c implics : 0.02 0 3128 0 0 0 0 0 0 0
1800.04/1800.01 c probing : 0.25 1 186 0 0 0 0 0 0 0
1800.04/1800.01 c setppc : 0.01 0 0 0 0 0 189 0 0 0
1800.04/1800.01 c linear : 0.12 1001 45 0 1041 0 7367 0 159 315
1800.04/1800.01 c logicor : 0.06 0 0 0 0 0 2 0 0 0
1800.04/1800.01 c root node : - 0 - - 0 - - - - -
1800.04/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.04/1800.01 c integral : 0 0 0 10627 0 4 0 38 145 0 0 21052
1800.04/1800.01 c setppc : 996 115 287770 0 0 3 598450 1887 830781 0 0 0
1800.04/1800.01 c linear : 0+ 114 282569 0 0 0 3094 1 1462 351 0 0
1800.04/1800.01 c logicor : 4919+ 115 247819 0 0 0 796013 3741 1574240 0 0 0
1800.04/1800.01 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.04/1800.01 c integral : 375.73 0.00 0.00 375.73 0.00 0.00 0.00
1800.04/1800.01 c setppc : 6.51 0.01 6.29 0.00 0.00 0.00 0.21
1800.04/1800.01 c linear : 1.33 0.08 1.24 0.00 0.00 0.00 0.01
1800.04/1800.01 c logicor : 9.86 0.04 9.43 0.00 0.00 0.00 0.39
1800.04/1800.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.04/1800.01 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.04/1800.01 c vbounds : 0 0 0 0
1800.04/1800.01 c rootredcost : 0 0 0 0
1800.04/1800.01 c pseudoobj : 285090 0 0 0
1800.04/1800.01 c Propagator Timings : TotalTime Propagate Resprop
1800.04/1800.01 c vbounds : 0.06 0.06 0.00
1800.04/1800.01 c rootredcost : 0.06 0.06 0.00
1800.04/1800.01 c pseudoobj : 6.62 6.62 0.00
1800.04/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.01 c propagation : 1.00 5628 5274 61770 42.0 710 11.7 -
1800.04/1800.01 c infeasible LP : 0.50 746 746 10632 51.7 70 9.9 0
1800.04/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1800.01 c applied globally : - - - 20168 37.8 - - -
1800.04/1800.01 c applied locally : - - - 0 0.0 - - -
1800.04/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.01 c cut pool : 1.17 114 - - 4735 - (maximal pool size: 28578)
1800.04/1800.01 c redcost : 0.23 10741 0 0 0 0
1800.04/1800.01 c impliedbounds : 0.05 115 0 0 4115 0
1800.04/1800.01 c intobj : 0.00 0 0 0 0 0
1800.04/1800.01 c gomory : 68.36 114 0 0 43486 0
1800.04/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.01 c closecuts : 0.00 0 0 0 0 0
1800.04/1800.01 c strongcg : 2.62 20 0 0 10000 0
1800.04/1800.01 c cmir : 0.28 10 0 0 0 0
1800.04/1800.01 c flowcover : 0.27 10 0 0 0 0
1800.04/1800.01 c clique : 0.14 114 0 0 23 0
1800.04/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.01 c mcf : 0.00 1 0 0 0 0
1800.04/1800.01 c oddcycle : 0.00 0 0 0 0 0
1800.04/1800.01 c rapidlearning : 0.80 1 0 0 0 1405
1800.04/1800.01 c Pricers : Time Calls Vars
1800.04/1800.01 c problem variables: 0.00 0 0
1800.04/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.01 c relpscost : 375.71 10627 38 145 0 0 21052
1800.04/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.01 c inference : 0.00 0 0 0 0 0 0
1800.04/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.01 c random : 0.00 0 0 0 0 0 0
1800.04/1800.01 c Primal Heuristics : Time Calls Found
1800.04/1800.01 c LP solutions : 0.00 - 0
1800.04/1800.01 c pseudo solutions : 0.00 - 0
1800.04/1800.01 c oneopt : 0.01 0 0
1800.04/1800.01 c crossover : 0.01 0 0
1800.04/1800.01 c coefdiving : 76.73 102 0
1800.04/1800.01 c fracdiving : 82.02 117 0
1800.04/1800.01 c linesearchdiving : 71.62 117 0
1800.04/1800.01 c trivial : 0.01 2 0
1800.04/1800.01 c shiftandpropagate: 0.02 1 0
1800.04/1800.01 c simplerounding : 0.00 0 0
1800.04/1800.01 c zirounding : 0.68 1000 0
1800.04/1800.01 c rounding : 0.63 1420 0
1800.04/1800.01 c shifting : 1.45 459 0
1800.04/1800.01 c intshifting : 0.00 0 0
1800.04/1800.01 c twoopt : 0.00 0 0
1800.04/1800.01 c fixandinfer : 0.00 0 0
1800.04/1800.01 c feaspump : 29.03 17 0
1800.04/1800.01 c clique : 0.00 0 0
1800.04/1800.01 c pscostdiving : 69.01 87 0
1800.04/1800.01 c veclendiving : 53.61 71 0
1800.04/1800.01 c intdiving : 0.00 0 0
1800.04/1800.01 c actconsdiving : 0.00 0 0
1800.04/1800.01 c objpscostdiving : 27.98 8 0
1800.04/1800.01 c rootsoldiving : 25.73 11 0
1800.04/1800.01 c guideddiving : 0.00 0 0
1800.04/1800.01 c octane : 0.00 0 0
1800.04/1800.01 c rens : 0.03 0 0
1800.04/1800.01 c rins : 0.00 0 0
1800.04/1800.01 c localbranching : 0.00 0 0
1800.04/1800.01 c mutation : 0.00 0 0
1800.04/1800.01 c dins : 0.00 0 0
1800.04/1800.01 c vbounds : 0.00 0 0
1800.04/1800.01 c undercover : 0.00 0 0
1800.04/1800.01 c subnlp : 0.00 0 0
1800.04/1800.01 c trysol : 0.00 0 0
1800.04/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.01 c primal LP : 0.07 0 0 0.00 0.00
1800.04/1800.01 c dual LP : 873.56 11257 4863745 432.06 5567.74
1800.04/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.01 c diving/probing LP: 396.30 38189 1659928 43.47 4188.52
1800.04/1800.01 c strong branching : 372.06 7235 1711803 236.60 4600.85
1800.04/1800.01 c (at root node) : - 13 10535 810.38 -
1800.04/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.01 c B&B Tree :
1800.04/1800.01 c number of runs : 1
1800.04/1800.01 c nodes : 13515
1800.04/1800.01 c nodes (total) : 13515
1800.04/1800.01 c nodes left : 4389
1800.04/1800.01 c max depth : 45
1800.04/1800.01 c max depth (total): 45
1800.04/1800.01 c backtracks : 4610 (34.1%)
1800.04/1800.01 c delayed cutoffs : 3149
1800.04/1800.01 c repropagations : 6994 (1110755 domain reductions, 2242 cutoffs)
1800.04/1800.01 c avg switch length: 5.58
1800.04/1800.01 c switching time : 7.62
1800.04/1800.01 c Solution :
1800.04/1800.01 c Solutions found : 0 (0 improvements)
1800.04/1800.01 c Primal Bound : -
1800.04/1800.01 c Dual Bound : +3.13784514234285e+03
1800.04/1800.01 c Gap : infinite
1800.04/1800.01 c Root Dual Bound : +3.08910038923923e+03
1800.04/1800.01 c Root Iterations : 126035
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3450842-1307083165/watcher-3450842-1307083165 -o /tmp/evaluation-result-3450842-1307083165/solver-3450842-1307083165 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450842-1307083165.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
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: 1.89 2.00 1.87 2/400 26271
/proc/meminfo: memFree=30117424/32950904 swapFree=56615552/67111528
[pid=26271] ppid=26269 vsize=17680 CPUtime=0 cores=1,3,5,7
/proc/26271/stat : 26271 (scip-2.0.1.4b.l) R 26269 26271 19672 0 -1 4202496 3409 0 0 0 0 0 0 0 25 0 1 0 819916304 18104320 3362 33554432000 4194304 9163163 140734770591664 18446744073709551615 6922712 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26271/statm: 4420 3362 389 1214 0 3202 0
[startup+0.0586951 s]
/proc/loadavg: 1.89 2.00 1.87 2/400 26271
/proc/meminfo: memFree=30117424/32950904 swapFree=56615552/67111528
[pid=26271] ppid=26269 vsize=21104 CPUtime=0.05 cores=1,3,5,7
/proc/26271/stat : 26271 (scip-2.0.1.4b.l) R 26269 26271 19672 0 -1 4202496 4282 0 0 0 5 0 0 0 25 0 1 0 819916304 21610496 4235 33554432000 4194304 9163163 140734770591664 18446744073709551615 8031993 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26271/statm: 5276 4235 395 1214 0 4058 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 21104
[startup+0.100687 s]
/proc/loadavg: 1.89 2.00 1.87 2/400 26271
/proc/meminfo: memFree=30117424/32950904 swapFree=56615552/67111528
[pid=26271] ppid=26269 vsize=25932 CPUtime=0.09 cores=1,3,5,7
/proc/26271/stat : 26271 (scip-2.0.1.4b.l) R 26269 26271 19672 0 -1 4202496 5233 0 0 0 9 0 0 0 25 0 1 0 819916304 26554368 5186 33554432000 4194304 9163163 140734770591664 18446744073709551615 8041965 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26271/statm: 6483 5212 423 1214 0 5265 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25932
[startup+0.300661 s]
/proc/loadavg: 1.89 2.00 1.87 2/400 26271
/proc/meminfo: memFree=30117424/32950904 swapFree=56615552/67111528
[pid=26271] ppid=26269 vsize=47368 CPUtime=0.29 cores=1,3,5,7
/proc/26271/stat : 26271 (scip-2.0.1.4b.l) R 26269 26271 19672 0 -1 4202496 10860 0 0 0 28 1 0 0 25 0 1 0 819916304 48504832 10555 33554432000 4194304 9163163 140734770591664 18446744073709551615 6918346 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26271/statm: 11842 10555 528 1214 0 10624 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 47368
[startup+0.700523 s]
/proc/loadavg: 1.89 2.00 1.87 2/400 26271
/proc/meminfo: memFree=30117424/32950904 swapFree=56615552/67111528
[pid=26271] ppid=26269 vsize=60624 CPUtime=0.69 cores=1,3,5,7
/proc/26271/stat : 26271 (scip-2.0.1.4b.l) R 26269 26271 19672 0 -1 4202496 14180 0 0 0 67 2 0 0 25 0 1 0 819916304 62078976 13769 33554432000 4194304 9163163 140734770591664 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26271/statm: 15156 13769 690 1214 0 13938 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 60624
[startup+1.50038 s]
/proc/loadavg: 1.98 2.01 1.87 3/401 26272
/proc/meminfo: memFree=30061624/32950904 swapFree=56615552/67111528
[pid=26271] ppid=26269 vsize=61904 CPUtime=1.49 cores=1,3,5,7
/proc/26271/stat : 26271 (scip-2.0.1.4b.l) R 26269 26271 19672 0 -1 4202496 15109 0 0 0 145 4 0 0 25 0 1 0 819916304 63389696 14449 33554432000 4194304 9163163 140734770591664 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26271/statm: 15476 14449 675 1214 0 14258 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 61904
[startup+3.10009 s]
/proc/loadavg: 1.98 2.01 1.87 3/401 26272
/proc/meminfo: memFree=30034468/32950904 swapFree=56615552/67111528
[pid=26271] ppid=26269 vsize=104332 CPUtime=3.09 cores=1,3,5,7
/proc/26271/stat : 26271 (scip-2.0.1.4b.l) R 26269 26271 19672 0 -1 4202496 26080 0 0 0 303 6 0 0 25 0 1 0 819916304 106835968 24655 33554432000 4194304 9163163 140734770591664 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26271/statm: 26083 24655 793 1214 0 24865 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 104332
[startup+6.30052 s]
/proc/loadavg: 1.98 2.01 1.87 3/401 26272
/proc/meminfo: memFree=30017860/32950904 swapFree=56615552/67111528
[pid=26271] ppid=26269 vsize=104332 CPUtime=6.29 cores=1,3,5,7
/proc/26271/stat : 26271 (scip-2.0.1.4b.l) R 26269 26271 19672 0 -1 4202496 26486 0 0 0 619 10 0 0 25 0 1 0 819916304 106835968 24860 33554432000 4194304 9163163 140734770591664 18446744073709551615 6297033 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26271/statm: 26083 24860 723 1214 0 24865 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 104332
[startup+12.7004 s]
/proc/loadavg: 1.98 2.01 1.87 3/401 26273
/proc/meminfo: memFree=30006320/32950904 swapFree=56615552/67111528
[pid=26271] ppid=26269 vsize=117040 CPUtime=12.69 cores=1,3,5,7
/proc/26271/stat : 26271 (scip-2.0.1.4b.l) R 26269 26271 19672 0 -1 4202496 30367 0 0 0 1253 16 0 0 25 0 1 0 819916304 119848960 27917 33554432000 4194304 9163163 140734770591664 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26271/statm: 29260 27917 723 1214 0 28042 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 117040
[startup+25.5002 s]
/proc/loadavg: 1.99 2.01 1.87 3/401 26273
/proc/meminfo: memFree=29983316/32950904 swapFree=56615552/67111528
[pid=26271] ppid=26269 vsize=140312 CPUtime=25.49 cores=1,3,5,7
/proc/26271/stat : 26271 (scip-2.0.1.4b.l) R 26269 26271 19672 0 -1 4202496 41381 0 0 0 2521 28 0 0 25 0 1 0 819916304 143679488 33553 33554432000 4194304 9163163 140734770591664 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26271/statm: 35078 33553 750 1214 0 33860 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 140312
[startup+51.1006 s]
/proc/loadavg: 1.99 2.01 1.88 3/401 26274
/proc/meminfo: memFree=29972056/32950904 swapFree=56615552/67111528
[pid=26271] ppid=26269 vsize=153372 CPUtime=51.09 cores=1,3,5,7
/proc/26271/stat : 26271 (scip-2.0.1.4b.l) R 26269 26271 19672 0 -1 4202496 50809 0 0 0 5054 55 0 0 25 0 1 0 819916304 157052928 36495 33554432000 4194304 9163163 140734770591664 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26271/statm: 38343 36495 851 1214 0 37125 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 153372
[startup+102.315 s]
/proc/loadavg: 1.99 2.00 1.88 3/401 26275
/proc/meminfo: memFree=29957828/32950904 swapFree=56615552/67111528
[pid=26271] ppid=26269 vsize=166732 CPUtime=102.3 cores=1,3,5,7
/proc/26271/stat : 26271 (scip-2.0.1.4b.l) R 26269 26271 19672 0 -1 4202496 54656 0 0 0 10130 100 0 0 25 0 1 0 819916304 170733568 39781 33554432000 4194304 9163163 140734770591664 18446744073709551615 6674556 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26271/statm: 41683 39781 867 1214 0 40465 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 166732
[startup+162.301 s]
/proc/loadavg: 1.99 2.00 1.89 3/401 26277
/proc/meminfo: memFree=29953576/32950904 swapFree=56615552/67111528
[pid=26271] ppid=26269 vsize=166548 CPUtime=162.3 cores=1,3,5,7
/proc/26271/stat : 26271 (scip-2.0.1.4b.l) R 26269 26271 19672 0 -1 4202496 56959 0 0 0 16029 201 0 0 25 0 1 0 819916304 170545152 39937 33554432000 4194304 9163163 140734770591664 18446744073709551615 7224016 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26271/statm: 41637 39937 804 1214 0 40419 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 166548
[startup+222.301 s]
/proc/loadavg: 1.99 2.00 1.89 3/401 26278
/proc/meminfo: memFree=29945876/32950904 swapFree=56615552/67111528
[pid=26271] ppid=26269 vsize=167552 CPUtime=222.29 cores=1,3,5,7
/proc/26271/stat : 26271 (scip-2.0.1.4b.l) R 26269 26271 19672 0 -1 4202496 57218 0 0 0 21929 300 0 0 25 0 1 0 819916304 171573248 40192 33554432000 4194304 9163163 140734770591664 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26271/statm: 41888 40192 800 1214 0 40670 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 167552
[startup+282.3 s]
/proc/loadavg: 1.99 2.00 1.90 3/401 26280
/proc/meminfo: memFree=29942624/32950904 swapFree=56615552/67111528
[pid=26271] ppid=26269 vsize=167552 CPUtime=282.3 cores=1,3,5,7
/proc/26271/stat : 26271 (scip-2.0.1.4b.l) R 26269 26271 19672 0 -1 4202496 57220 0 0 0 27832 398 0 0 25 0 1 0 819916304 171573248 40192 33554432000 4194304 9163163 140734770591664 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26271/statm: 41888 40192 798 1214 0 40670 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 167552
[startup+342.301 s]
/proc/loadavg: 1.99 2.00 1.90 3/401 26281
/proc/meminfo: memFree=29935656/32950904 swapFree=56615552/67111528
[pid=26271] ppid=26269 vsize=168324 CPUtime=342.3 cores=1,3,5,7
/proc/26271/stat : 26271 (scip-2.0.1.4b.l) R 26269 26271 19672 0 -1 4202496 57414 0 0 0 33718 512 0 0 25 0 1 0 819916304 172363776 40383 33554432000 4194304 9163163 140734770591664 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26271/statm: 42081 40383 795 1214 0 40863 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 168324
[startup+402.301 s]
/proc/loadavg: 1.99 2.00 1.91 3/401 26283
/proc/meminfo: memFree=29929068/32950904 swapFree=56615552/67111528
[pid=26271] ppid=26269 vsize=168324 CPUtime=402.3 cores=1,3,5,7
/proc/26271/stat : 26271 (scip-2.0.1.4b.l) R 26269 26271 19672 0 -1 4202496 57423 0 0 0 39601 629 0 0 25 0 1 0 819916304 172363776 40391 33554432000 4194304 9163163 140734770591664 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26271/statm: 42081 40391 794 1214 0 40863 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 168324
[startup+462.3 s]
/proc/loadavg: 1.99 2.00 1.91 3/401 26285
/proc/meminfo: memFree=29924452/32950904 swapFree=56615552/67111528
[pid=26271] ppid=26269 vsize=168540 CPUtime=462.3 cores=1,3,5,7
/proc/26271/stat : 26271 (scip-2.0.1.4b.l) R 26269 26271 19672 0 -1 4202496 57472 0 0 0 45483 747 0 0 25 0 1 0 819916304 172584960 40440 33554432000 4194304 9163163 140734770591664 18446744073709551615 7224064 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26271/statm: 42135 40440 794 1214 0 40917 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 168540
[startup+522.301 s]
/proc/loadavg: 2.06 2.02 1.91 3/401 26286
/proc/meminfo: memFree=29918720/32950904 swapFree=56615552/67111528
[pid=26271] ppid=26269 vsize=169336 CPUtime=522.3 cores=1,3,5,7
/proc/26271/stat : 26271 (scip-2.0.1.4b.l) R 26269 26271 19672 0 -1 4202496 57683 0 0 0 51358 872 0 0 25 0 1 0 819916304 173400064 40649 33554432000 4194304 9163163 140734770591664 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26271/statm: 42334 40649 792 1214 0 41116 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 169336
[startup+582.301 s]
/proc/loadavg: 2.11 2.04 1.93 3/401 26288
/proc/meminfo: memFree=29913364/32950904 swapFree=56615552/67111528
[pid=26271] ppid=26269 vsize=169336 CPUtime=582.3 cores=1,3,5,7
/proc/26271/stat : 26271 (scip-2.0.1.4b.l) R 26269 26271 19672 0 -1 4202496 57686 0 0 0 57245 985 0 0 25 0 1 0 819916304 173400064 40652 33554432000 4194304 9163163 140734770591664 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26271/statm: 42334 40652 792 1214 0 41116 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 169336
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/401 26294
/proc/meminfo: memFree=29882512/32950904 swapFree=56615552/67111528
[pid=26271] ppid=26269 vsize=180276 CPUtime=822.31 cores=1,3,5,7
/proc/26271/stat : 26271 (scip-2.0.1.4b.l) R 26269 26271 19672 0 -1 4202496 60507 0 0 0 80778 1453 0 0 25 0 1 0 819916304 184602624 43383 33554432000 4194304 9163163 140734770591664 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26271/statm: 45069 43383 729 1214 0 43851 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 180276
[startup+882.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/401 26296
/proc/meminfo: memFree=29871808/32950904 swapFree=56615552/67111528
[pid=26271] ppid=26269 vsize=185204 CPUtime=882.31 cores=1,3,5,7
/proc/26271/stat : 26271 (scip-2.0.1.4b.l) R 26269 26271 19672 0 -1 4202496 61665 0 0 0 86663 1568 0 0 25 0 1 0 819916304 189648896 44486 33554432000 4194304 9163163 140734770591664 18446744073709551615 7348521 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26271/statm: 46301 44486 729 1214 0 45083 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 185204
[startup+942.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/401 26297
/proc/meminfo: memFree=29868304/32950904 swapFree=56615552/67111528
[pid=26271] ppid=26269 vsize=187140 CPUtime=942.31 cores=1,3,5,7
/proc/26271/stat : 26271 (scip-2.0.1.4b.l) R 26269 26271 19672 0 -1 4202496 62289 0 0 0 92542 1689 0 0 25 0 1 0 819916304 191631360 45110 33554432000 4194304 9163163 140734770591664 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26271/statm: 46785 45110 729 1214 0 45567 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 187140
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/401 26299
/proc/meminfo: memFree=29861216/32950904 swapFree=56615552/67111528
[pid=26271] ppid=26269 vsize=188528 CPUtime=1002.32 cores=1,3,5,7
/proc/26271/stat : 26271 (scip-2.0.1.4b.l) R 26269 26271 19672 0 -1 4202496 62636 0 0 0 98429 1803 0 0 25 0 1 0 819916304 193052672 45457 33554432000 4194304 9163163 140734770591664 18446744073709551615 7318919 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26271/statm: 47132 45457 729 1214 0 45914 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 188528
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/401 26300
/proc/meminfo: memFree=29855856/32950904 swapFree=56615552/67111528
[pid=26271] ppid=26269 vsize=189076 CPUtime=1062.32 cores=1,3,5,7
/proc/26271/stat : 26271 (scip-2.0.1.4b.l) R 26269 26271 19672 0 -1 4202496 62675 0 0 0 104318 1914 0 0 25 0 1 0 819916304 193613824 45496 33554432000 4194304 9163163 140734770591664 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26271/statm: 47269 45496 729 1214 0 46051 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 189076
[startup+1122.3 s]
/proc/loadavg: 2.19 2.06 1.95 3/401 26302
/proc/meminfo: memFree=29850996/32950904 swapFree=56615552/67111528
[pid=26271] ppid=26269 vsize=190916 CPUtime=1122.32 cores=1,3,5,7
/proc/26271/stat : 26271 (scip-2.0.1.4b.l) R 26269 26271 19672 0 -1 4202496 63252 0 0 0 110201 2031 0 0 25 0 1 0 819916304 195497984 46073 33554432000 4194304 9163163 140734770591664 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26271/statm: 47729 46073 729 1214 0 46511 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 190916
[startup+1182.3 s]
/proc/loadavg: 2.07 2.04 1.95 3/401 26304
/proc/meminfo: memFree=29844264/32950904 swapFree=56615552/67111528
[pid=26271] ppid=26269 vsize=191892 CPUtime=1182.32 cores=1,3,5,7
/proc/26271/stat : 26271 (scip-2.0.1.4b.l) R 26269 26271 19672 0 -1 4202496 63478 0 0 0 116083 2149 0 0 25 0 1 0 819916304 196497408 46299 33554432000 4194304 9163163 140734770591664 18446744073709551615 7348556 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26271/statm: 47973 46299 729 1214 0 46755 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 191892
[startup+1242.3 s]
/proc/loadavg: 2.02 2.03 1.95 3/401 26305
/proc/meminfo: memFree=29840264/32950904 swapFree=56615552/67111528
[pid=26271] ppid=26269 vsize=193288 CPUtime=1242.33 cores=1,3,5,7
/proc/26271/stat : 26271 (scip-2.0.1.4b.l) R 26269 26271 19672 0 -1 4202496 64553 0 0 0 121972 2261 0 0 25 0 1 0 819916304 197926912 46557 33554432000 4194304 9163163 140734770591664 18446744073709551615 7250752 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26271/statm: 48322 46557 729 1214 0 47104 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 193288
[startup+1302.3 s]
/proc/loadavg: 2.01 2.03 1.95 3/401 26316
/proc/meminfo: memFree=29833064/32950904 swapFree=56615552/67111528
[pid=26271] ppid=26269 vsize=194956 CPUtime=1302.34 cores=1,3,5,7
/proc/26271/stat : 26271 (scip-2.0.1.4b.l) R 26269 26271 19672 0 -1 4202496 65012 0 0 0 127850 2384 0 0 25 0 1 0 819916304 199634944 47016 33554432000 4194304 9163163 140734770591664 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26271/statm: 48739 47016 729 1214 0 47521 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 194956
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 1.95 3/401 26318
/proc/meminfo: memFree=29832084/32950904 swapFree=56615552/67111528
[pid=26271] ppid=26269 vsize=196588 CPUtime=1362.32 cores=1,3,5,7
/proc/26271/stat : 26271 (scip-2.0.1.4b.l) R 26269 26271 19672 0 -1 4202496 65327 0 0 0 133726 2506 0 0 25 0 1 0 819916304 201306112 47331 33554432000 4194304 9163163 140734770591664 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26271/statm: 49147 47331 729 1214 0 47929 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 196588
[startup+1422.32 s]
/proc/loadavg: 2.00 2.01 1.95 3/401 26319
/proc/meminfo: memFree=29829956/32950904 swapFree=56615552/67111528
[pid=26271] ppid=26269 vsize=196588 CPUtime=1422.35 cores=1,3,5,7
/proc/26271/stat : 26271 (scip-2.0.1.4b.l) R 26269 26271 19672 0 -1 4202496 65380 0 0 0 139612 2623 0 0 25 0 1 0 819916304 201306112 47384 33554432000 4194304 9163163 140734770591664 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26271/statm: 49147 47384 729 1214 0 47929 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 196588
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/401 26323
/proc/meminfo: memFree=29829064/32950904 swapFree=56615552/67111528
[pid=26271] ppid=26269 vsize=196588 CPUtime=1482.33 cores=1,3,5,7
/proc/26271/stat : 26271 (scip-2.0.1.4b.l) R 26269 26271 19672 0 -1 4202496 65465 0 0 0 145483 2750 0 0 25 0 1 0 819916304 201306112 47469 33554432000 4194304 9163163 140734770591664 18446744073709551615 7348243 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26271/statm: 49147 47469 729 1214 0 47929 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 196588
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/401 26325
/proc/meminfo: memFree=29826468/32950904 swapFree=56615552/67111528
[pid=26271] ppid=26269 vsize=198308 CPUtime=1542.33 cores=1,3,5,7
/proc/26271/stat : 26271 (scip-2.0.1.4b.l) R 26269 26271 19672 0 -1 4202496 65890 0 0 0 151364 2869 0 0 25 0 1 0 819916304 203067392 47894 33554432000 4194304 9163163 140734770591664 18446744073709551615 7225174 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26271/statm: 49577 47894 729 1214 0 48359 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 198308
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/401 26327
/proc/meminfo: memFree=29821496/32950904 swapFree=56615552/67111528
[pid=26271] ppid=26269 vsize=199880 CPUtime=1602.33 cores=1,3,5,7
/proc/26271/stat : 26271 (scip-2.0.1.4b.l) R 26269 26271 19672 0 -1 4202496 66180 0 0 0 157248 2985 0 0 25 0 1 0 819916304 204677120 48184 33554432000 4194304 9163163 140734770591664 18446744073709551615 7318975 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26271/statm: 49970 48184 729 1214 0 48752 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 199880
[startup+1662.3 s]
/proc/loadavg: 2.16 2.04 1.96 3/401 26329
/proc/meminfo: memFree=29819984/32950904 swapFree=56615552/67111528
[pid=26271] ppid=26269 vsize=200316 CPUtime=1662.34 cores=1,3,5,7
/proc/26271/stat : 26271 (scip-2.0.1.4b.l) R 26269 26271 19672 0 -1 4202496 66404 0 0 0 163124 3110 0 0 25 0 1 0 819916304 205123584 48408 33554432000 4194304 9163163 140734770591664 18446744073709551615 7379237 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26271/statm: 50079 48408 729 1214 0 48861 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 200316
[startup+1722.3 s]
/proc/loadavg: 2.10 2.05 1.97 3/401 26330
/proc/meminfo: memFree=29819336/32950904 swapFree=56615552/67111528
[pid=26271] ppid=26269 vsize=200448 CPUtime=1722.33 cores=1,3,5,7
/proc/26271/stat : 26271 (scip-2.0.1.4b.l) R 26269 26271 19672 0 -1 4202496 66437 0 0 0 169010 3223 0 0 25 0 1 0 819916304 205258752 48441 33554432000 4194304 9163163 140734770591664 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26271/statm: 50112 48441 729 1214 0 48894 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 200448
[startup+1782.3 s]
/proc/loadavg: 2.03 2.04 1.97 3/401 26332
/proc/meminfo: memFree=29816964/32950904 swapFree=56615552/67111528
[pid=26271] ppid=26269 vsize=201276 CPUtime=1782.33 cores=1,3,5,7
/proc/26271/stat : 26271 (scip-2.0.1.4b.l) R 26269 26271 19672 0 -1 4202496 66645 0 0 0 174893 3340 0 0 25 0 1 0 819916304 206106624 48649 33554432000 4194304 9163163 140734770591664 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26271/statm: 50319 48649 729 1214 0 49101 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 201276
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.03 2.03 1.97 3/401 26359
/proc/meminfo: memFree=29898804/32950904 swapFree=56615552/67111528
[pid=26271] ppid=26269 vsize=201276 CPUtime=1800.05 cores=1,3,5,7
/proc/26271/stat : 26271 (scip-2.0.1.4b.l) R 26269 26271 19672 0 -1 4202496 66648 0 0 0 176633 3372 0 0 25 0 1 0 819916304 206106624 48652 33554432000 4194304 9163163 140734770591664 18446744073709551615 7133498 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26271/statm: 50319 48652 732 1214 0 49101 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 201276
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.03
CPU time (s): 1800.07
CPU user time (s): 1766.34
CPU system time (s): 33.7339
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 201276
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1766.34
system time used= 33.7339
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66648
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= 4
involuntary context switches= 2502
runsolver used 6.52901 second user time and 16.4085 second system time
The end