0.00/0.00 c SCIP version 2.0.1.4 [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-3452502-1307083451.opb>
0.01/0.09 c original problem has 6352 variables (6352 bin, 0 int, 0 impl, 0 cont) and 13473 constraints
0.01/0.09 c problem read
0.01/0.09 c presolving settings loaded
0.09/0.14 c presolving:
0.09/0.17 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.19 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.19/0.20 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.19/0.20 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.19/0.20 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.19/0.20 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.19/0.21 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.19/0.21 c (round 8) 3386 del vars, 5263 del conss, 0 add conss, 434 chg bounds, 19 chg sides, 38 chg coeffs, 0 upgd conss, 49503 impls, 0 clqs
0.19/0.21 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.21 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.21 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.21 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.22 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.22 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.22 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.22 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.22 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.22 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.22 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.23 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.23 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.23 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.23 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.23 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.23 c (round 25) 3654 del vars, 5949 del conss, 0 add conss, 577 chg bounds, 77 chg sides, 154 chg coeffs, 0 upgd conss, 51911 impls, 0 clqs
0.19/0.23 c (round 26) 3670 del vars, 5987 del conss, 0 add conss, 587 chg bounds, 78 chg sides, 156 chg coeffs, 0 upgd conss, 52054 impls, 0 clqs
0.19/0.24 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.24 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.24 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.24 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.24 c (round 31) 3742 del vars, 6172 del conss, 0 add conss, 640 chg bounds, 87 chg sides, 174 chg coeffs, 0 upgd conss, 52408 impls, 0 clqs
0.19/0.24 c (round 32) 3759 del vars, 6211 del conss, 0 add conss, 653 chg bounds, 88 chg sides, 176 chg coeffs, 0 upgd conss, 52441 impls, 0 clqs
0.19/0.24 c (round 33) 3778 del vars, 6252 del conss, 0 add conss, 666 chg bounds, 89 chg sides, 178 chg coeffs, 0 upgd conss, 52548 impls, 0 clqs
0.19/0.24 c (round 34) 3795 del vars, 6294 del conss, 0 add conss, 676 chg bounds, 90 chg sides, 180 chg coeffs, 0 upgd conss, 52671 impls, 0 clqs
0.19/0.25 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.25 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.25 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.25 c (round 38) 3846 del vars, 6439 del conss, 0 add conss, 716 chg bounds, 96 chg sides, 193 chg coeffs, 0 upgd conss, 52881 impls, 0 clqs
0.19/0.25 c (round 39) 3863 del vars, 6472 del conss, 0 add conss, 731 chg bounds, 100 chg sides, 201 chg coeffs, 0 upgd conss, 52932 impls, 0 clqs
0.19/0.25 c (round 40) 3878 del vars, 6516 del conss, 0 add conss, 743 chg bounds, 102 chg sides, 205 chg coeffs, 0 upgd conss, 52989 impls, 0 clqs
0.19/0.25 c (round 41) 3892 del vars, 6554 del conss, 0 add conss, 759 chg bounds, 107 chg sides, 215 chg coeffs, 0 upgd conss, 53019 impls, 0 clqs
0.19/0.26 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.26 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.26 c (round 44) 3943 del vars, 6667 del conss, 0 add conss, 802 chg bounds, 114 chg sides, 229 chg coeffs, 0 upgd conss, 53246 impls, 0 clqs
0.19/0.26 c (round 45) 3956 del vars, 6711 del conss, 0 add conss, 815 chg bounds, 117 chg sides, 235 chg coeffs, 0 upgd conss, 53276 impls, 0 clqs
0.19/0.26 c (round 46) 3974 del vars, 6749 del conss, 0 add conss, 830 chg bounds, 120 chg sides, 241 chg coeffs, 0 upgd conss, 53396 impls, 0 clqs
0.19/0.26 c (round 47) 3985 del vars, 6790 del conss, 0 add conss, 842 chg bounds, 123 chg sides, 247 chg coeffs, 0 upgd conss, 53422 impls, 0 clqs
0.19/0.26 c (round 48) 4000 del vars, 6823 del conss, 0 add conss, 855 chg bounds, 125 chg sides, 251 chg coeffs, 0 upgd conss, 53441 impls, 0 clqs
0.19/0.27 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.27 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.27 c (round 51) 4051 del vars, 6943 del conss, 0 add conss, 901 chg bounds, 130 chg sides, 261 chg coeffs, 0 upgd conss, 53725 impls, 0 clqs
0.19/0.27 c (round 52) 4067 del vars, 6992 del conss, 0 add conss, 916 chg bounds, 134 chg sides, 269 chg coeffs, 0 upgd conss, 53788 impls, 0 clqs
0.19/0.27 c (round 53) 4080 del vars, 7026 del conss, 0 add conss, 930 chg bounds, 139 chg sides, 279 chg coeffs, 0 upgd conss, 53823 impls, 0 clqs
0.19/0.27 c (round 54) 4101 del vars, 7062 del conss, 0 add conss, 943 chg bounds, 140 chg sides, 281 chg coeffs, 0 upgd conss, 53946 impls, 0 clqs
0.19/0.27 c (round 55) 4114 del vars, 7108 del conss, 0 add conss, 955 chg bounds, 143 chg sides, 287 chg coeffs, 0 upgd conss, 54060 impls, 0 clqs
0.19/0.27 c (round 56) 4129 del vars, 7152 del conss, 0 add conss, 970 chg bounds, 145 chg sides, 291 chg coeffs, 0 upgd conss, 54088 impls, 0 clqs
0.19/0.28 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.28 c (round 58) 4159 del vars, 7225 del conss, 0 add conss, 994 chg bounds, 151 chg sides, 301 chg coeffs, 0 upgd conss, 54226 impls, 0 clqs
0.19/0.28 c (round 59) 4174 del vars, 7249 del conss, 0 add conss, 1006 chg bounds, 153 chg sides, 305 chg coeffs, 0 upgd conss, 54313 impls, 0 clqs
0.19/0.28 c (round 60) 4182 del vars, 7284 del conss, 0 add conss, 1013 chg bounds, 153 chg sides, 305 chg coeffs, 0 upgd conss, 54337 impls, 0 clqs
0.19/0.28 c (round 61) 4189 del vars, 7299 del conss, 0 add conss, 1022 chg bounds, 155 chg sides, 309 chg coeffs, 0 upgd conss, 54356 impls, 0 clqs
0.19/0.28 c (round 62) 4197 del vars, 7320 del conss, 0 add conss, 1028 chg bounds, 155 chg sides, 309 chg coeffs, 0 upgd conss, 54396 impls, 0 clqs
0.19/0.28 c (round 63) 4202 del vars, 7334 del conss, 0 add conss, 1033 chg bounds, 157 chg sides, 313 chg coeffs, 0 upgd conss, 54421 impls, 0 clqs
0.19/0.28 c (round 64) 4210 del vars, 7345 del conss, 0 add conss, 1037 chg bounds, 157 chg sides, 313 chg coeffs, 0 upgd conss, 54471 impls, 0 clqs
0.19/0.28 c (round 65) 4214 del vars, 7364 del conss, 0 add conss, 1041 chg bounds, 158 chg sides, 315 chg coeffs, 0 upgd conss, 54527 impls, 0 clqs
0.19/0.29 c (round 66) 4214 del vars, 7366 del conss, 0 add conss, 1041 chg bounds, 158 chg sides, 315 chg coeffs, 0 upgd conss, 54535 impls, 0 clqs
0.29/0.32 c (round 67) 4214 del vars, 7367 del conss, 0 add conss, 1041 chg bounds, 159 chg sides, 315 chg coeffs, 6106 upgd conss, 54535 impls, 0 clqs
0.39/0.41 c (round 68) 4264 del vars, 7367 del conss, 0 add conss, 1041 chg bounds, 159 chg sides, 315 chg coeffs, 6106 upgd conss, 105479 impls, 0 clqs
0.39/0.41 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.49 c (round 70) 4314 del vars, 7421 del conss, 0 add conss, 1041 chg bounds, 159 chg sides, 315 chg coeffs, 6106 upgd conss, 111775 impls, 0 clqs
0.49/0.50 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.56 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.57 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.64 c (0.6s) probing: 835/2138 (39.1%) - 1 fixings, 186 aggregations, 5637 implications, 0 bound changes
0.59/0.64 c (0.6s) probing aborted: 100/100 successive totally useless probings
0.59/0.64 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.64 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.65 c (0.7s) probing: 845/2138 (39.5%) - 1 fixings, 186 aggregations, 5637 implications, 0 bound changes
0.59/0.65 c (0.7s) probing aborted: 100/100 successive totally useless probings
0.59/0.65 c presolving (76 rounds):
0.59/0.65 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.65 c 113313 implications, 0 cliques
0.59/0.65 c presolved problem has 1951 variables (1951 bin, 0 int, 0 impl, 0 cont) and 5915 constraints
0.59/0.65 c 996 constraints of type <setppc>
0.59/0.65 c 4919 constraints of type <logicor>
0.59/0.65 c transformed objective value is always integral (scale: 1)
0.59/0.65 c Presolving Time: 0.55
0.59/0.65 c - non default parameters ----------------------------------------------------------------------
0.59/0.65 c # SCIP version 2.0.1.4
0.59/0.65 c
0.59/0.65 c # frequency for displaying node information lines
0.59/0.65 c # [type: int, range: [-1,2147483647], default: 100]
0.59/0.65 c display/freq = 10000
0.59/0.65 c
0.59/0.65 c # maximal time in seconds to run
0.59/0.65 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.65 c limits/time = 1800
0.59/0.65 c
0.59/0.65 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.59/0.65 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.65 c limits/memory = 13950
0.59/0.65 c
0.59/0.65 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.59/0.65 c # [type: int, range: [1,2], default: 1]
0.59/0.65 c timing/clocktype = 2
0.59/0.65 c
0.59/0.65 c # belongs reading time to solving time?
0.59/0.65 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.65 c timing/reading = TRUE
0.59/0.65 c
0.59/0.65 c # should presolving try to simplify inequalities
0.59/0.65 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.65 c constraints/linear/simplifyinequalities = TRUE
0.59/0.65 c
0.59/0.65 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.59/0.65 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.65 c constraints/indicator/addCouplingCons = TRUE
0.59/0.65 c
0.59/0.65 c # should presolving try to simplify knapsacks
0.59/0.65 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.65 c constraints/knapsack/simplifyinequalities = TRUE
0.59/0.65 c
0.59/0.65 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.59/0.65 c # [type: int, range: [-1,2147483647], default: -1]
0.59/0.65 c separating/rapidlearning/freq = 0
0.59/0.65 c
0.59/0.65 c -----------------------------------------------------------------------------------------------
0.59/0.66 c start solving
0.59/0.66 c
0.79/0.85 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.85 c 0.9s| 1 | 0 | 2180 | - | 21M| 0 |1245 |1951 |5969 |1951 |5913 | 0 | 54 | 0 | 2.808013e+03 | -- | Inf
1.89/1.91 c 1.9s| 1 | 0 | 7904 | - | 22M| 0 |1226 |1951 |5969 |1951 |7913 |2000 | 54 | 0 | 2.815667e+03 | -- | Inf
3.09/3.13 c 3.1s| 1 | 0 | 9148 | - | 26M| 0 |1161 |1951 |7374 |1951 |7951 |2038 | 54 | 0 | 2.839750e+03 | -- | Inf
3.30/3.36 c 3.4s| 1 | 0 | 9445 | - | 26M| 0 |1159 |1951 |7374 |1951 |7975 |2062 | 54 | 0 | 2.843792e+03 | -- | Inf
3.59/3.69 c 3.7s| 1 | 0 | 9996 | - | 27M| 0 |1186 |1951 |7374 |1951 |8002 |2089 | 54 | 0 | 2.846141e+03 | -- | Inf
4.09/4.11 c 4.1s| 1 | 0 | 10950 | - | 29M| 0 |1182 |1951 |7374 |1951 |8042 |2129 | 54 | 0 | 2.849623e+03 | -- | Inf
4.59/4.60 c 4.6s| 1 | 0 | 11662 | - | 30M| 0 |1227 |1951 |7374 |1951 |8093 |2180 | 54 | 0 | 2.854371e+03 | -- | Inf
4.89/4.96 c 5.0s| 1 | 0 | 12057 | - | 32M| 0 |1249 |1951 |7374 |1951 |8130 |2217 | 54 | 0 | 2.857233e+03 | -- | Inf
5.29/5.35 c 5.4s| 1 | 0 | 12645 | - | 35M| 0 |1267 |1951 |7374 |1951 |8166 |2253 | 54 | 0 | 2.859741e+03 | -- | Inf
6.09/6.16 c 6.2s| 1 | 0 | 13953 | - | 37M| 0 |1289 |1951 |7374 |1951 |8224 |2311 | 54 | 0 | 2.866279e+03 | -- | Inf
7.09/7.11 c 7.1s| 1 | 0 | 15369 | - | 39M| 0 |1294 |1951 |7374 |1951 |8276 |2363 | 54 | 0 | 2.872927e+03 | -- | Inf
7.60/7.67 c 7.7s| 1 | 0 | 16096 | - | 41M| 0 |1335 |1951 |7374 |1951 |8333 |2420 | 54 | 0 | 2.877990e+03 | -- | Inf
8.29/8.37 c 8.4s| 1 | 0 | 17735 | - | 42M| 0 |1305 |1951 |7374 |1951 |8388 |2475 | 54 | 0 | 2.884525e+03 | -- | Inf
9.09/9.10 c 9.1s| 1 | 0 | 19134 | - | 44M| 0 |1334 |1951 |7374 |1951 |6470 |2526 | 54 | 0 | 2.891003e+03 | -- | Inf
9.59/9.63 c 9.6s| 1 | 0 | 20148 | - | 45M| 0 |1336 |1951 |7374 |1951 |6525 |2581 | 54 | 0 | 2.896869e+03 | -- | Inf
10.09/10.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
10.09/10.16 c 10.2s| 1 | 0 | 21252 | - | 47M| 0 |1360 |1951 |7374 |1951 |6572 |2628 | 54 | 0 | 2.903146e+03 | -- | Inf
11.01/11.09 c 11.1s| 1 | 0 | 22501 | - | 47M| 0 |1355 |1951 |7374 |1951 |6619 |2675 | 54 | 0 | 2.906451e+03 | -- | Inf
12.10/12.18 c 12.2s| 1 | 0 | 24948 | - | 49M| 0 |1375 |1951 |7374 |1951 |6676 |2732 | 54 | 0 | 2.913236e+03 | -- | Inf
13.29/13.39 c 13.4s| 1 | 0 | 27444 | - | 51M| 0 |1427 |1951 |7374 |1951 |6728 |2784 | 54 | 0 | 2.918133e+03 | -- | Inf
14.31/14.33 c 14.3s| 1 | 0 | 28928 | - | 54M| 0 |1446 |1951 |7374 |1951 |6640 |2836 | 54 | 0 | 2.922234e+03 | -- | Inf
15.30/15.33 c 15.3s| 1 | 0 | 30143 | - | 58M| 0 |1460 |1951 |7374 |1951 |6691 |2887 | 54 | 0 | 2.926174e+03 | -- | Inf
16.89/16.90 c 16.9s| 1 | 0 | 32036 | - | 62M| 0 |1453 |1951 |7374 |1951 |6759 |2955 | 54 | 0 | 2.936328e+03 | -- | Inf
17.89/17.99 c 18.0s| 1 | 0 | 34319 | - | 62M| 0 |1460 |1951 |7374 |1951 |6817 |3013 | 54 | 0 | 2.938880e+03 | -- | Inf
19.10/19.13 c 19.1s| 1 | 0 | 37450 | - | 62M| 0 |1497 |1951 |7374 |1951 |6883 |3079 | 54 | 0 | 2.943884e+03 | -- | Inf
20.09/20.14 c 20.1s| 1 | 0 | 39646 | - | 63M| 0 |1486 |1951 |7374 |1951 |6945 |3141 | 54 | 0 | 2.948927e+03 | -- | Inf
21.49/21.52 c 21.5s| 1 | 0 | 41609 | - | 63M| 0 |1475 |1951 |7374 |1951 |6794 |3204 | 54 | 0 | 2.956102e+03 | -- | Inf
22.59/22.62 c 22.6s| 1 | 0 | 44657 | - | 64M| 0 |1464 |1951 |7374 |1951 |6842 |3252 | 54 | 0 | 2.959497e+03 | -- | Inf
22.90/22.99 c 23.0s| 1 | 0 | 45550 | - | 64M| 0 |1465 |1951 |7374 |1951 |6900 |3310 | 54 | 0 | 2.961612e+03 | -- | Inf
24.00/24.04 c 24.0s| 1 | 0 | 48757 | - | 65M| 0 |1484 |1951 |7374 |1951 |6948 |3358 | 54 | 0 | 2.964211e+03 | -- | Inf
25.20/25.30 c 25.3s| 1 | 0 | 52010 | - | 67M| 0 |1521 |1951 |7374 |1951 |7000 |3410 | 54 | 0 | 2.967947e+03 | -- | Inf
26.30/26.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
26.30/26.33 c 26.3s| 1 | 0 | 54338 | - | 67M| 0 |1569 |1951 |7374 |1951 |7043 |3453 | 54 | 0 | 2.970981e+03 | -- | Inf
26.99/27.08 c 27.1s| 1 | 0 | 56269 | - | 68M| 0 |1611 |1951 |7374 |1951 |6801 |3489 | 54 | 0 | 2.973090e+03 | -- | Inf
28.79/28.82 c 28.8s| 1 | 0 | 59214 | - | 69M| 0 |1582 |1951 |7374 |1951 |6870 |3558 | 54 | 0 | 2.980805e+03 | -- | Inf
29.50/29.50 c 29.5s| 1 | 0 | 61171 | - | 70M| 0 |1569 |1951 |7374 |1951 |6914 |3602 | 54 | 0 | 2.983913e+03 | -- | Inf
30.19/30.28 c 30.3s| 1 | 0 | 63497 | - | 72M| 0 |1590 |1951 |7374 |1951 |6953 |3641 | 54 | 0 | 2.985577e+03 | -- | Inf
31.39/31.45 c 31.5s| 1 | 0 | 65403 | - | 72M| 0 |1607 |1951 |7374 |1951 |6994 |3682 | 54 | 0 | 2.989563e+03 | -- | Inf
32.29/32.30 c 32.3s| 1 | 0 | 67567 | - | 73M| 0 |1624 |1951 |7374 |1951 |7029 |3717 | 54 | 0 | 2.991306e+03 | -- | Inf
33.30/33.31 c 33.3s| 1 | 0 | 69792 | - | 74M| 0 |1684 |1951 |7374 |1951 |6779 |3760 | 54 | 0 | 2.994324e+03 | -- | Inf
35.49/35.50 c 35.5s| 1 | 0 | 73436 | - | 74M| 0 |1570 |1951 |7374 |1951 |6839 |3820 | 54 | 0 | 3.001320e+03 | -- | Inf
36.49/36.50 c 36.5s| 1 | 0 | 74649 | - | 75M| 0 |1600 |1951 |7374 |1951 |6879 |3860 | 54 | 0 | 3.003560e+03 | -- | Inf
37.19/37.31 c 37.3s| 1 | 0 | 76942 | - | 76M| 0 |1645 |1951 |7374 |1951 |6919 |3900 | 54 | 0 | 3.006697e+03 | -- | Inf
37.99/38.09 c 38.1s| 1 | 0 | 78925 | - | 77M| 0 |1657 |1951 |7374 |1951 |6950 |3931 | 54 | 0 | 3.009087e+03 | -- | Inf
39.09/39.14 c 39.1s| 1 | 0 | 79951 | - | 77M| 0 |1671 |1951 |7374 |1951 |7002 |3983 | 54 | 0 | 3.012159e+03 | -- | Inf
40.49/40.50 c 40.5s| 1 | 0 | 80759 | - | 77M| 0 |1624 |1951 |7374 |1951 |6780 |4011 | 54 | 0 | 3.013963e+03 | -- | Inf
41.09/41.11 c 41.1s| 1 | 0 | 81243 | - | 78M| 0 |1648 |1951 |7374 |1951 |6803 |4034 | 54 | 0 | 3.014779e+03 | -- | Inf
42.09/42.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
42.09/42.15 c 42.1s| 1 | 0 | 82229 | - | 78M| 0 |1637 |1951 |7374 |1951 |6830 |4061 | 54 | 0 | 3.015365e+03 | -- | Inf
43.29/43.32 c 43.3s| 1 | 0 | 84127 | - | 78M| 0 |1661 |1951 |7374 |1951 |6868 |4099 | 54 | 0 | 3.017736e+03 | -- | Inf
44.69/44.77 c 44.8s| 1 | 0 | 85693 | - | 79M| 0 |1640 |1951 |7374 |1951 |6901 |4132 | 54 | 0 | 3.019485e+03 | -- | Inf
45.69/45.77 c 45.8s| 1 | 0 | 86495 | - | 79M| 0 |1602 |1951 |7374 |1951 |6926 |4157 | 54 | 0 | 3.020031e+03 | -- | Inf
46.39/46.41 c 46.4s| 1 | 0 | 87176 | - | 79M| 0 |1650 |1951 |7374 |1951 |6730 |4182 | 54 | 0 | 3.020814e+03 | -- | Inf
47.49/47.59 c 47.6s| 1 | 0 | 88281 | - | 80M| 0 |1589 |1951 |7374 |1951 |6771 |4223 | 54 | 0 | 3.024587e+03 | -- | Inf
47.89/47.98 c 48.0s| 1 | 0 | 89366 | - | 80M| 0 |1653 |1951 |7374 |1951 |6797 |4249 | 54 | 0 | 3.026841e+03 | -- | Inf
48.41/48.49 c 48.5s| 1 | 0 | 90382 | - | 81M| 0 |1628 |1951 |7374 |1951 |6831 |4283 | 54 | 0 | 3.027681e+03 | -- | Inf
49.19/49.21 c 49.2s| 1 | 0 | 92206 | - | 82M| 0 |1670 |1951 |7374 |1951 |6855 |4307 | 54 | 0 | 3.028660e+03 | -- | Inf
50.61/50.62 c 50.6s| 1 | 0 | 93699 | - | 82M| 0 |1623 |1951 |7374 |1951 |6897 |4349 | 54 | 0 | 3.031132e+03 | -- | Inf
51.71/51.79 c 51.8s| 1 | 0 | 94804 | - | 82M| 0 |1643 |1951 |7374 |1951 |6752 |4386 | 54 | 0 | 3.033751e+03 | -- | Inf
53.19/53.20 c 53.2s| 1 | 0 | 96468 | - | 82M| 0 |1577 |1951 |7374 |1951 |6791 |4425 | 54 | 0 | 3.037064e+03 | -- | Inf
53.80/53.83 c 53.8s| 1 | 0 | 97543 | - | 83M| 0 |1604 |1951 |7374 |1951 |6815 |4449 | 54 | 0 | 3.038981e+03 | -- | Inf
54.29/54.33 c 54.3s| 1 | 0 | 98112 | - | 84M| 0 |1596 |1951 |7374 |1951 |6836 |4470 | 54 | 0 | 3.040132e+03 | -- | Inf
54.79/54.84 c 54.8s| 1 | 0 | 98828 | - | 84M| 0 |1596 |1951 |7374 |1951 |6863 |4497 | 54 | 0 | 3.042013e+03 | -- | Inf
55.39/55.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
55.39/55.45 c 55.4s| 1 | 0 | 99859 | - | 85M| 0 |1624 |1951 |7374 |1951 |6887 |4521 | 54 | 0 | 3.043502e+03 | -- | Inf
56.60/56.64 c 56.6s| 1 | 0 |100663 | - | 85M| 0 |1591 |1951 |7374 |1951 |6740 |4548 | 54 | 0 | 3.044646e+03 | -- | Inf
57.60/57.67 c 57.7s| 1 | 0 |101225 | - | 85M| 0 |1644 |1951 |7374 |1951 |6761 |4569 | 54 | 0 | 3.045038e+03 | -- | Inf
58.49/58.50 c 58.5s| 1 | 0 |101794 | - | 86M| 0 |1664 |1951 |7374 |1951 |6788 |4596 | 54 | 0 | 3.045330e+03 | -- | Inf
59.69/59.79 c 59.8s| 1 | 0 |102755 | - | 86M| 0 |1622 |1951 |7374 |1951 |6813 |4621 | 54 | 0 | 3.046582e+03 | -- | Inf
60.69/60.72 c 60.7s| 1 | 0 |103308 | - | 86M| 0 |1651 |1951 |7374 |1951 |6844 |4652 | 54 | 0 | 3.049364e+03 | -- | Inf
61.50/61.52 c 61.5s| 1 | 0 |103531 | - | 87M| 0 |1661 |1951 |7374 |1951 |6870 |4678 | 54 | 0 | 3.050701e+03 | -- | Inf
62.00/62.07 c 62.1s| 1 | 0 |104138 | - | 88M| 0 |1668 |1951 |7374 |1951 |6715 |4696 | 54 | 0 | 3.051506e+03 | -- | Inf
63.29/63.35 c 63.3s| 1 | 0 |104842 | - | 88M| 0 |1659 |1951 |7374 |1951 |6742 |4723 | 54 | 0 | 3.053061e+03 | -- | Inf
64.39/64.47 c 64.5s| 1 | 0 |105187 | - | 88M| 0 |1691 |1951 |7374 |1951 |6766 |4747 | 54 | 0 | 3.054063e+03 | -- | Inf
65.69/65.74 c 65.7s| 1 | 0 |105677 | - | 88M| 0 |1681 |1951 |7374 |1951 |6780 |4761 | 54 | 0 | 3.054465e+03 | -- | Inf
66.99/67.08 c 67.1s| 1 | 0 |106255 | - | 88M| 0 |1690 |1951 |7374 |1951 |6788 |4769 | 54 | 0 | 3.055227e+03 | -- | Inf
68.29/68.36 c 68.4s| 1 | 0 |106515 | - | 88M| 0 |1672 |1951 |7374 |1951 |6795 |4776 | 54 | 0 | 3.055355e+03 | -- | Inf
69.49/69.50 c 69.5s| 1 | 0 |106783 | - | 88M| 0 |1687 |1951 |7374 |1951 |6694 |4790 | 54 | 0 | 3.055706e+03 | -- | Inf
70.59/70.68 c 70.7s| 1 | 0 |107504 | - | 88M| 0 |1651 |1951 |7374 |1951 |6710 |4806 | 54 | 0 | 3.056720e+03 | -- | Inf
71.69/71.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
71.69/71.72 c 71.7s| 1 | 0 |108053 | - | 89M| 0 |1646 |1951 |7374 |1951 |6730 |4826 | 54 | 0 | 3.058543e+03 | -- | Inf
72.50/72.52 c 72.5s| 1 | 0 |108515 | - | 89M| 0 |1655 |1951 |7374 |1951 |6757 |4853 | 54 | 0 | 3.059605e+03 | -- | Inf
73.09/73.16 c 73.2s| 1 | 0 |109384 | - | 89M| 0 |1659 |1951 |7374 |1951 |6776 |4872 | 54 | 0 | 3.062595e+03 | -- | Inf
73.70/73.74 c 73.7s| 1 | 0 |109725 | - | 90M| 0 |1650 |1951 |7374 |1951 |6796 |4892 | 54 | 0 | 3.062985e+03 | -- | Inf
74.70/74.77 c 74.8s| 1 | 0 |110692 | - | 90M| 0 |1642 |1951 |7374 |1951 |6706 |4918 | 54 | 0 | 3.064220e+03 | -- | Inf
75.39/75.42 c 75.4s| 1 | 0 |111126 | - | 91M| 0 |1652 |1951 |7374 |1951 |6728 |4940 | 54 | 0 | 3.065274e+03 | -- | Inf
76.48/76.51 c 76.5s| 1 | 0 |112167 | - | 91M| 0 |1666 |1951 |7374 |1951 |6754 |4966 | 54 | 0 | 3.066338e+03 | -- | Inf
77.49/77.52 c 77.5s| 1 | 0 |112516 | - | 91M| 0 |1657 |1951 |7374 |1951 |6772 |4984 | 54 | 0 | 3.067461e+03 | -- | Inf
78.39/78.48 c 78.5s| 1 | 0 |112960 | - | 92M| 0 |1660 |1951 |7374 |1951 |6781 |4993 | 54 | 0 | 3.067798e+03 | -- | Inf
79.39/79.47 c 79.5s| 1 | 0 |113512 | - | 92M| 0 |1649 |1951 |7374 |1951 |6801 |5013 | 54 | 0 | 3.068236e+03 | -- | Inf
79.99/80.08 c 80.1s| 1 | 0 |114110 | - | 92M| 0 |1659 |1951 |7374 |1951 |6743 |5031 | 54 | 0 | 3.069544e+03 | -- | Inf
81.19/81.24 c 81.2s| 1 | 0 |114660 | - | 92M| 0 |1666 |1951 |7374 |1951 |6760 |5048 | 54 | 0 | 3.070365e+03 | -- | Inf
82.29/82.37 c 82.4s| 1 | 0 |115117 | - | 92M| 0 |1662 |1951 |7374 |1951 |6781 |5069 | 54 | 0 | 3.071311e+03 | -- | Inf
82.99/83.00 c 83.0s| 1 | 0 |115636 | - | 93M| 0 |1667 |1951 |7374 |1951 |6794 |5082 | 54 | 0 | 3.072763e+03 | -- | Inf
83.89/83.91 c 83.9s| 1 | 0 |116549 | - | 93M| 0 |1655 |1951 |7374 |1951 |6813 |5101 | 54 | 0 | 3.074285e+03 | -- | Inf
84.89/84.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
84.89/84.94 c 84.9s| 1 | 0 |117172 | - | 94M| 0 |1662 |1951 |7374 |1951 |6832 |5120 | 54 | 0 | 3.075529e+03 | -- | Inf
85.89/85.93 c 85.9s| 1 | 0 |117623 | - | 94M| 0 |1638 |1951 |7374 |1951 |6718 |5137 | 54 | 0 | 3.076278e+03 | -- | Inf
86.59/86.66 c 86.7s| 1 | 0 |118093 | - | 94M| 0 |1646 |1951 |7374 |1951 |6734 |5153 | 54 | 0 | 3.077305e+03 | -- | Inf
87.69/87.71 c 87.7s| 1 | 0 |118545 | - | 94M| 0 |1642 |1951 |7374 |1951 |6765 |5184 | 54 | 0 | 3.078377e+03 | -- | Inf
88.89/88.94 c 88.9s| 1 | 0 |118858 | - | 94M| 0 |1634 |1951 |7374 |1951 |6773 |5192 | 54 | 0 | 3.079249e+03 | -- | Inf
89.89/89.95 c 90.0s| 1 | 0 |119645 | - | 94M| 0 |1635 |1951 |7374 |1951 |6787 |5206 | 54 | 0 | 3.080493e+03 | -- | Inf
90.79/90.89 c 90.9s| 1 | 0 |120325 | - | 95M| 0 |1663 |1951 |7374 |1951 |6806 |5225 | 54 | 0 | 3.081908e+03 | -- | Inf
91.69/91.79 c 91.8s| 1 | 0 |120795 | - | 95M| 0 |1604 |1951 |7374 |1951 |6743 |5248 | 54 | 0 | 3.082431e+03 | -- | Inf
92.69/92.74 c 92.7s| 1 | 0 |121778 | - | 95M| 0 |1613 |1951 |7374 |1951 |6766 |5271 | 54 | 0 | 3.083556e+03 | -- | Inf
93.40/93.44 c 93.4s| 1 | 0 |122166 | - | 95M| 0 |1628 |1951 |7374 |1951 |6781 |5286 | 54 | 0 | 3.084459e+03 | -- | Inf
93.99/94.08 c 94.1s| 1 | 0 |122691 | - | 95M| 0 |1639 |1951 |7374 |1951 |6800 |5305 | 54 | 0 | 3.085046e+03 | -- | Inf
94.88/94.94 c 94.9s| 1 | 0 |123097 | - | 95M| 0 |1646 |1951 |7374 |1951 |6815 |5320 | 54 | 0 | 3.085753e+03 | -- | Inf
95.60/95.69 c 95.7s| 1 | 0 |123949 | - | 96M| 0 |1638 |1951 |7374 |1951 |6829 |5334 | 54 | 0 | 3.087616e+03 | -- | Inf
96.09/96.18 c 96.2s| 1 | 0 |124265 | - | 96M| 0 |1664 |1951 |7374 |1951 |6721 |5344 | 54 | 0 | 3.087866e+03 | -- | Inf
96.99/97.05 c 97.0s| 1 | 0 |124697 | - | 95M| 0 |1652 |1951 |7374 |1951 |6732 |5355 | 54 | 0 | 3.088551e+03 | -- | Inf
97.79/97.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
97.79/97.87 c 97.9s| 1 | 0 |125093 | - | 95M| 0 |1640 |1951 |7374 |1951 |6742 |5365 | 54 | 0 | 3.088895e+03 | -- | Inf
98.59/98.67 c 98.7s| 1 | 0 |125119 | - | 93M| 0 |1646 |1951 |7374 |1951 |6747 |5370 | 54 | 0 | 3.088903e+03 | -- | Inf
99.39/99.49 c 99.5s| 1 | 0 |125369 | - | 92M| 0 |1652 |1951 |7374 |1951 |6750 |5373 | 54 | 0 | 3.089012e+03 | -- | Inf
100.28/100.33 c 100s| 1 | 0 |125562 | - | 90M| 0 |1645 |1951 |7374 |1951 |6754 |5377 | 54 | 0 | 3.089026e+03 | -- | Inf
101.10/101.21 c 101s| 1 | 0 |125637 | - | 87M| 0 |1647 |1951 |7374 |1951 |6663 |5381 | 54 | 0 | 3.089037e+03 | -- | Inf
101.99/102.04 c 102s| 1 | 0 |125774 | - | 85M| 0 |1640 |1951 |7374 |1951 |6666 |5384 | 54 | 0 | 3.089060e+03 | -- | Inf
102.79/102.86 c 103s| 1 | 0 |125777 | - | 84M| 0 |1642 |1951 |7374 |1951 |6667 |5385 | 54 | 0 | 3.089060e+03 | -- | Inf
103.69/103.70 c 104s| 1 | 0 |125858 | - | 82M| 0 |1645 |1951 |7374 |1951 |6668 |5386 | 54 | 0 | 3.089080e+03 | -- | Inf
104.50/104.54 c 105s| 1 | 0 |126017 | - | 81M| 0 |1644 |1951 |7374 |1951 |6669 |5387 | 54 | 0 | 3.089100e+03 | -- | Inf
105.29/105.37 c 105s| 1 | 0 |126035 | - | 78M| 0 |1642 |1951 |7374 |1951 |6670 |5388 | 54 | 0 | 3.089100e+03 | -- | Inf
108.19/108.25 c 108s| 1 | 2 |126035 | - | 77M| 0 |1642 |1951 |7374 |1951 |6670 |5388 | 54 | 13 | 3.089100e+03 | -- | Inf
1303.53/1303.59 c 1304s| 10000 | 4006 | 4493k| 436.8 | 86M| 49 |1139 |1951 |7606 |1951 |6415 |5388 | 12k|5982 | 3.137043e+03 | -- | Inf
1800.03/1800.00 c
1800.03/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.03/1800.00 c Solving Time (sec) : 1800.00
1800.03/1800.00 c Solving Nodes : 16034
1800.03/1800.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.03/1800.00 c Dual Bound : +3.13790685448400e+03
1800.03/1800.00 c Gap : infinite
1800.03/1800.00 s UNKNOWN
1800.03/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.03/1800.00 c Total Time : 1800.00
1800.03/1800.00 c solving : 1800.00
1800.03/1800.00 c presolving : 0.55 (included in solving)
1800.03/1800.00 c reading : 0.09 (included in solving)
1800.03/1800.00 c Original Problem :
1800.03/1800.00 c Problem name : HOME/instance-3452502-1307083451.opb
1800.03/1800.00 c Variables : 6352 (6352 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.00 c Constraints : 13473 initial, 13473 maximal
1800.03/1800.00 c Presolved Problem :
1800.03/1800.00 c Problem name : t_HOME/instance-3452502-1307083451.opb
1800.03/1800.00 c Variables : 1951 (1951 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.00 c Constraints : 5915 initial, 8276 maximal
1800.03/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.03/1800.00 c trivial : 0.01 40 0 0 0 0 0 0 0 0
1800.03/1800.00 c dualfix : 0.01 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c implics : 0.02 0 3128 0 0 0 0 0 0 0
1800.03/1800.00 c probing : 0.26 1 186 0 0 0 0 0 0 0
1800.03/1800.00 c setppc : 0.01 0 0 0 0 0 189 0 0 0
1800.03/1800.00 c linear : 0.12 1001 45 0 1041 0 7367 0 159 315
1800.03/1800.00 c logicor : 0.06 0 0 0 0 0 2 0 0 0
1800.03/1800.00 c root node : - 0 - - 0 - - - - -
1800.03/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.03/1800.00 c integral : 0 0 0 12480 0 4 0 30 164 0 0 24732
1800.03/1800.00 c setppc : 996 115 324072 0 1 3 730625 2364 810257 0 0 0
1800.03/1800.00 c linear : 0+ 114 318463 0 0 0 2013 4 2106 351 0 0
1800.03/1800.00 c logicor : 4919+ 115 281442 0 1 0 986666 4387 1542976 0 0 0
1800.03/1800.00 c countsols : 0 0 0 0 1 0 0 0 0 0 0 0
1800.03/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.03/1800.00 c integral : 366.81 0.00 0.00 366.81 0.00 0.00 0.00
1800.03/1800.00 c setppc : 7.07 0.01 6.81 0.00 0.00 0.00 0.25
1800.03/1800.00 c linear : 1.33 0.08 1.24 0.00 0.00 0.00 0.00
1800.03/1800.00 c logicor : 10.68 0.04 10.12 0.00 0.00 0.00 0.51
1800.03/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.03/1800.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.03/1800.00 c vbounds : 0 0 0 0
1800.03/1800.00 c rootredcost : 0 0 0 0
1800.03/1800.00 c pseudoobj : 321390 0 0 0
1800.03/1800.00 c Propagator Timings : TotalTime Propagate Resprop
1800.03/1800.00 c vbounds : 0.06 0.06 0.00
1800.03/1800.00 c rootredcost : 0.06 0.06 0.00
1800.03/1800.00 c pseudoobj : 7.32 7.32 0.00
1800.03/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.00 c propagation : 1.39 6754 6488 83093 47.1 1021 15.6 -
1800.03/1800.00 c infeasible LP : 0.41 747 747 10216 50.4 83 8.8 0
1800.03/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.03/1800.00 c applied globally : - - - 24457 40.5 - - -
1800.03/1800.00 c applied locally : - - - 0 0.0 - - -
1800.03/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.00 c cut pool : 1.16 114 - - 4735 - (maximal pool size: 28578)
1800.03/1800.00 c redcost : 0.27 12594 0 0 0 0
1800.03/1800.00 c impliedbounds : 0.05 115 0 0 4115 0
1800.03/1800.00 c intobj : 0.00 0 0 0 0 0
1800.03/1800.00 c gomory : 69.02 114 0 0 43486 0
1800.03/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.00 c closecuts : 0.00 0 0 0 0 0
1800.03/1800.00 c strongcg : 2.66 20 0 0 10000 0
1800.03/1800.00 c cmir : 0.28 10 0 0 0 0
1800.03/1800.00 c flowcover : 0.27 10 0 0 0 0
1800.03/1800.00 c clique : 0.15 114 0 0 23 0
1800.03/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.00 c mcf : 0.00 1 0 0 0 0
1800.03/1800.00 c oddcycle : 0.00 0 0 0 0 0
1800.03/1800.00 c rapidlearning : 0.81 1 0 0 0 1405
1800.03/1800.00 c Pricers : Time Calls Vars
1800.03/1800.00 c problem variables: 0.00 0 0
1800.03/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.00 c relpscost : 366.79 12480 30 164 0 0 24732
1800.03/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.00 c inference : 0.00 1 0 0 0 0 2
1800.03/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.00 c random : 0.00 0 0 0 0 0 0
1800.03/1800.00 c Primal Heuristics : Time Calls Found
1800.03/1800.00 c LP solutions : 0.00 - 0
1800.03/1800.00 c pseudo solutions : 0.00 - 0
1800.03/1800.00 c oneopt : 0.01 0 0
1800.03/1800.00 c crossover : 0.01 0 0
1800.03/1800.00 c guideddiving : 0.00 0 0
1800.03/1800.00 c intshifting : 0.00 0 0
1800.03/1800.00 c feaspump : 28.43 17 0
1800.03/1800.00 c veclendiving : 53.77 80 0
1800.03/1800.00 c pscostdiving : 71.62 96 0
1800.03/1800.00 c linesearchdiving : 55.49 108 0
1800.03/1800.00 c coefdiving : 78.48 109 0
1800.03/1800.00 c fracdiving : 74.11 109 0
1800.03/1800.00 c trivial : 0.01 2 0
1800.03/1800.00 c shiftandpropagate: 0.02 1 0
1800.03/1800.00 c simplerounding : 0.01 0 0
1800.03/1800.00 c zirounding : 0.68 1000 0
1800.03/1800.00 c rounding : 0.67 1515 0
1800.03/1800.00 c shifting : 1.53 517 0
1800.03/1800.00 c twoopt : 0.00 0 0
1800.03/1800.00 c fixandinfer : 0.00 0 0
1800.03/1800.00 c clique : 0.00 0 0
1800.03/1800.00 c intdiving : 0.00 0 0
1800.03/1800.00 c actconsdiving : 0.00 0 0
1800.03/1800.00 c objpscostdiving : 23.65 11 0
1800.03/1800.00 c rootsoldiving : 24.98 11 0
1800.03/1800.00 c octane : 0.00 0 0
1800.03/1800.00 c rens : 0.01 0 0
1800.03/1800.00 c rins : 0.00 0 0
1800.03/1800.00 c localbranching : 0.00 0 0
1800.03/1800.00 c mutation : 0.00 0 0
1800.03/1800.00 c dins : 0.00 0 0
1800.03/1800.00 c vbounds : 0.00 0 0
1800.03/1800.00 c undercover : 0.00 0 0
1800.03/1800.00 c subnlp : 0.00 0 0
1800.03/1800.00 c trysol : 0.01 0 0
1800.03/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.00 c primal LP : 0.07 0 0 0.00 0.00
1800.03/1800.00 c dual LP : 903.10 13091 4954457 378.46 5486.07
1800.03/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.00 c diving/probing LP: 372.44 37551 1536484 40.92 4125.49
1800.03/1800.00 c strong branching : 362.73 7330 1650023 225.11 4548.88
1800.03/1800.00 c (at root node) : - 13 10535 810.38 -
1800.03/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.00 c B&B Tree :
1800.03/1800.00 c number of runs : 1
1800.03/1800.00 c nodes : 16034
1800.03/1800.00 c nodes (total) : 16034
1800.03/1800.00 c nodes left : 4522
1800.03/1800.00 c max depth : 49
1800.03/1800.00 c max depth (total): 49
1800.03/1800.00 c backtracks : 5165 (32.2%)
1800.03/1800.00 c delayed cutoffs : 4179
1800.03/1800.00 c repropagations : 10176 (1048388 domain reductions, 2668 cutoffs)
1800.03/1800.00 c avg switch length: 5.43
1800.03/1800.00 c switching time : 7.68
1800.03/1800.00 c Solution :
1800.03/1800.00 c Solutions found : 0 (0 improvements)
1800.03/1800.00 c Primal Bound : -
1800.03/1800.00 c Dual Bound : +3.13790685448400e+03
1800.03/1800.00 c Gap : infinite
1800.03/1800.00 c Root Dual Bound : +3.08910038923923e+03
1800.03/1800.00 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-3452502-1307083451/watcher-3452502-1307083451 -o /tmp/evaluation-result-3452502-1307083451/solver-3452502-1307083451 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452502-1307083451.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: 2.00 2.01 1.90 2/446 9040
/proc/meminfo: memFree=31385884/32950928 swapFree=34365992/67111528
[pid=9040] ppid=9038 vsize=12512 CPUtime=0 cores=1,3,5,7
/proc/9040/stat : 9040 (scip-2.0.1.4.li) R 9038 9040 6518 0 -1 4202496 1956 0 0 0 0 0 0 0 25 0 1 0 819943899 12812288 1909 33554432000 4194304 9128323 140734430598176 18446744073709551615 6886064 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9040/statm: 3128 1926 391 1205 0 1919 0
[startup+0.0177851 s]
/proc/loadavg: 2.00 2.01 1.90 2/446 9040
/proc/meminfo: memFree=31385884/32950928 swapFree=34365992/67111528
[pid=9040] ppid=9038 vsize=14820 CPUtime=0.01 cores=1,3,5,7
/proc/9040/stat : 9040 (scip-2.0.1.4.li) R 9038 9040 6518 0 -1 4202496 2744 0 0 0 1 0 0 0 25 0 1 0 819943899 15175680 2696 33554432000 4194304 9128323 140734430598176 18446744073709551615 4337627 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9040/statm: 3748 2707 400 1205 0 2539 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 14820
[startup+0.100829 s]
/proc/loadavg: 2.00 2.01 1.90 2/446 9040
/proc/meminfo: memFree=31385884/32950928 swapFree=34365992/67111528
[pid=9040] ppid=9038 vsize=25760 CPUtime=0.09 cores=1,3,5,7
/proc/9040/stat : 9040 (scip-2.0.1.4.li) R 9038 9040 6518 0 -1 4202496 5407 0 0 0 9 0 0 0 25 0 1 0 819943899 26378240 5356 33554432000 4194304 9128323 140734430598176 18446744073709551615 7985376 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9040/statm: 6440 5356 431 1205 0 5231 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25760
[startup+0.300796 s]
/proc/loadavg: 2.00 2.01 1.90 2/446 9040
/proc/meminfo: memFree=31385884/32950928 swapFree=34365992/67111528
[pid=9040] ppid=9038 vsize=48160 CPUtime=0.29 cores=1,3,5,7
/proc/9040/stat : 9040 (scip-2.0.1.4.li) R 9038 9040 6518 0 -1 4202496 11165 0 0 0 28 1 0 0 25 0 1 0 819943899 49315840 10757 33554432000 4194304 9128323 140734430598176 18446744073709551615 5266554 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9040/statm: 12040 10757 527 1205 0 10831 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 48160
[startup+0.700668 s]
/proc/loadavg: 2.00 2.01 1.90 2/446 9040
/proc/meminfo: memFree=31385884/32950928 swapFree=34365992/67111528
[pid=9040] ppid=9038 vsize=59512 CPUtime=0.69 cores=1,3,5,7
/proc/9040/stat : 9040 (scip-2.0.1.4.li) R 9038 9040 6518 0 -1 4202496 14195 0 0 0 68 1 0 0 25 0 1 0 819943899 60940288 13669 33554432000 4194304 9128323 140734430598176 18446744073709551615 7192200 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9040/statm: 14878 13670 658 1205 0 13669 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 59512
[startup+1.50059 s]
/proc/loadavg: 2.00 2.01 1.90 3/447 9041
/proc/meminfo: memFree=31329588/32950928 swapFree=34365992/67111528
[pid=9040] ppid=9038 vsize=62900 CPUtime=1.49 cores=1,3,5,7
/proc/9040/stat : 9040 (scip-2.0.1.4.li) R 9038 9040 6518 0 -1 4202496 15470 0 0 0 146 3 0 0 25 0 1 0 819943899 64409600 14692 33554432000 4194304 9128323 140734430598176 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9040/statm: 15725 14692 685 1205 0 14516 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 62900
[startup+3.10024 s]
/proc/loadavg: 2.00 2.01 1.90 4/447 9041
/proc/meminfo: memFree=31312228/32950928 swapFree=34365992/67111528
[pid=9040] ppid=9038 vsize=104920 CPUtime=3.09 cores=1,3,5,7
/proc/9040/stat : 9040 (scip-2.0.1.4.li) R 9038 9040 6518 0 -1 4202496 26073 0 0 0 304 5 0 0 25 0 1 0 819943899 107438080 24821 33554432000 4194304 9128323 140734430598176 18446744073709551615 7315674 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9040/statm: 26230 24821 753 1205 0 25021 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 104920
[startup+6.30074 s]
/proc/loadavg: 2.00 2.01 1.90 3/447 9041
/proc/meminfo: memFree=31287056/32950928 swapFree=34365992/67111528
[pid=9040] ppid=9038 vsize=104920 CPUtime=6.29 cores=1,3,5,7
/proc/9040/stat : 9040 (scip-2.0.1.4.li) R 9038 9040 6518 0 -1 4202496 26432 0 0 0 622 7 0 0 25 0 1 0 819943899 107438080 25029 33554432000 4194304 9128323 140734430598176 18446744073709551615 6629072 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9040/statm: 26230 25029 735 1205 0 25021 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 104920
[startup+12.7006 s]
/proc/loadavg: 2.00 2.01 1.90 3/447 9041
/proc/meminfo: memFree=31279424/32950928 swapFree=34365992/67111528
[pid=9040] ppid=9038 vsize=111136 CPUtime=12.69 cores=1,3,5,7
/proc/9040/stat : 9040 (scip-2.0.1.4.li) R 9038 9040 6518 0 -1 4202496 28011 0 0 0 1255 14 0 0 25 0 1 0 819943899 113803264 26513 33554432000 4194304 9128323 140734430598176 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9040/statm: 27784 26513 735 1205 0 26575 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 111136
[startup+25.5003 s]
/proc/loadavg: 2.08 2.02 1.91 3/447 9042
/proc/meminfo: memFree=31250276/32950928 swapFree=34365992/67111528
[pid=9040] ppid=9038 vsize=141312 CPUtime=25.49 cores=1,3,5,7
/proc/9040/stat : 9040 (scip-2.0.1.4.li) R 9038 9040 6518 0 -1 4202496 39107 0 0 0 2525 24 0 0 25 0 1 0 819943899 144703488 34079 33554432000 4194304 9128323 140734430598176 18446744073709551615 6694272 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9040/statm: 35328 34079 928 1205 0 34119 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 141312
[startup+51.1008 s]
/proc/loadavg: 2.05 2.02 1.91 3/447 9070
/proc/meminfo: memFree=31247828/32950928 swapFree=34365992/67111528
[pid=9040] ppid=9038 vsize=152996 CPUtime=51.09 cores=1,3,5,7
/proc/9040/stat : 9040 (scip-2.0.1.4.li) R 9038 9040 6518 0 -1 4202496 47825 0 0 0 5057 52 0 0 25 0 1 0 819943899 156667904 36146 33554432000 4194304 9128323 140734430598176 18446744073709551615 6700205 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9040/statm: 38249 36146 853 1205 0 37040 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 152996
[startup+102.317 s]
/proc/loadavg: 2.02 2.01 1.91 3/447 9072
/proc/meminfo: memFree=31230484/32950928 swapFree=34365992/67111528
[pid=9040] ppid=9038 vsize=165968 CPUtime=102.3 cores=1,3,5,7
/proc/9040/stat : 9040 (scip-2.0.1.4.li) R 9038 9040 6518 0 -1 4202496 51635 0 0 0 10123 107 0 0 25 0 1 0 819943899 169951232 39555 33554432000 4194304 9128323 140734430598176 18446744073709551615 7414747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9040/statm: 41492 39555 881 1205 0 40283 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 165968
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 1.91 3/447 9073
/proc/meminfo: memFree=31226996/32950928 swapFree=34365992/67111528
[pid=9040] ppid=9038 vsize=164292 CPUtime=162.29 cores=1,3,5,7
/proc/9040/stat : 9040 (scip-2.0.1.4.li) R 9038 9040 6518 0 -1 4202496 52571 0 0 0 16023 206 0 0 25 0 1 0 819943899 168235008 39408 33554432000 4194304 9128323 140734430598176 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9040/statm: 41073 39408 799 1205 0 39864 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 164292
[startup+222.301 s]
/proc/loadavg: 2.15 2.03 1.92 3/447 9075
/proc/meminfo: memFree=31224964/32950928 swapFree=34365992/67111528
[pid=9040] ppid=9038 vsize=165744 CPUtime=222.29 cores=1,3,5,7
/proc/9040/stat : 9040 (scip-2.0.1.4.li) R 9038 9040 6518 0 -1 4202496 52906 0 0 0 21929 300 0 0 25 0 1 0 819943899 169721856 39739 33554432000 4194304 9128323 140734430598176 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9040/statm: 41436 39739 795 1205 0 40227 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 165744
[startup+282.301 s]
/proc/loadavg: 2.05 2.03 1.92 3/447 9130
/proc/meminfo: memFree=31236496/32950928 swapFree=34365992/67111528
[pid=9040] ppid=9038 vsize=165744 CPUtime=282.29 cores=1,3,5,7
/proc/9040/stat : 9040 (scip-2.0.1.4.li) R 9038 9040 6518 0 -1 4202496 52909 0 0 0 27832 397 0 0 25 0 1 0 819943899 169721856 39739 33554432000 4194304 9128323 140734430598176 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9040/statm: 41436 39739 792 1205 0 40227 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 165744
[startup+342.301 s]
/proc/loadavg: 2.02 2.02 1.92 3/447 9267
/proc/meminfo: memFree=30950212/32950928 swapFree=34365992/67111528
[pid=9040] ppid=9038 vsize=166952 CPUtime=342.29 cores=1,3,5,7
/proc/9040/stat : 9040 (scip-2.0.1.4.li) R 9038 9040 6518 0 -1 4202496 53214 0 0 0 33731 498 0 0 25 0 1 0 819943899 170958848 40043 33554432000 4194304 9128323 140734430598176 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9040/statm: 41738 40043 791 1205 0 40529 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 166952
[startup+402.301 s]
/proc/loadavg: 2.00 2.01 1.92 3/447 9269
/proc/meminfo: memFree=30644336/32950928 swapFree=34365992/67111528
[pid=9040] ppid=9038 vsize=166952 CPUtime=402.29 cores=1,3,5,7
/proc/9040/stat : 9040 (scip-2.0.1.4.li) R 9038 9040 6518 0 -1 4202496 53219 0 0 0 39626 603 0 0 25 0 1 0 819943899 170958848 40047 33554432000 4194304 9128323 140734430598176 18446744073709551615 7216874 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9040/statm: 41738 40047 790 1205 0 40529 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 166952
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 1.92 3/447 9270
/proc/meminfo: memFree=30561464/32950928 swapFree=34365992/67111528
[pid=9040] ppid=9038 vsize=168788 CPUtime=462.29 cores=1,3,5,7
/proc/9040/stat : 9040 (scip-2.0.1.4.li) R 9038 9040 6518 0 -1 4202496 53567 0 0 0 45521 708 0 0 25 0 1 0 819943899 172838912 40395 33554432000 4194304 9128323 140734430598176 18446744073709551615 7176959 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9040/statm: 42197 40395 790 1205 0 40988 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 168788
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/447 9272
/proc/meminfo: memFree=30542452/32950928 swapFree=34365992/67111528
[pid=9040] ppid=9038 vsize=168788 CPUtime=522.29 cores=1,3,5,7
/proc/9040/stat : 9040 (scip-2.0.1.4.li) R 9038 9040 6518 0 -1 4202496 53681 0 0 0 51436 793 0 0 25 0 1 0 819943899 172838912 40508 33554432000 4194304 9128323 140734430598176 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9040/statm: 42197 40508 789 1205 0 40988 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 168788
[startup+582.3 s]
/proc/loadavg: 2.16 2.03 1.93 3/447 9273
/proc/meminfo: memFree=30532616/32950928 swapFree=34365992/67111528
[pid=9040] ppid=9038 vsize=169192 CPUtime=582.3 cores=1,3,5,7
/proc/9040/stat : 9040 (scip-2.0.1.4.li) R 9038 9040 6518 0 -1 4202496 53782 0 0 0 57345 885 0 0 25 0 1 0 819943899 173252608 40609 33554432000 4194304 9128323 140734430598176 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9040/statm: 42298 40609 789 1205 0 41089 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 169192
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.09 2.05 1.95 3/447 9280
/proc/meminfo: memFree=30504676/32950928 swapFree=34365992/67111528
[pid=9040] ppid=9038 vsize=177196 CPUtime=822.3 cores=1,3,5,7
/proc/9040/stat : 9040 (scip-2.0.1.4.li) R 9038 9040 6518 0 -1 4202496 55888 0 0 0 80932 1298 0 0 25 0 1 0 819943899 181448704 42615 33554432000 4194304 9128323 140734430598176 18446744073709551615 7315449 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9040/statm: 44299 42615 740 1205 0 43090 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 177196
[startup+882.3 s]
/proc/loadavg: 2.03 2.04 1.95 3/447 9281
/proc/meminfo: memFree=30534756/32950928 swapFree=34365992/67111528
[pid=9040] ppid=9038 vsize=178216 CPUtime=882.3 cores=1,3,5,7
/proc/9040/stat : 9040 (scip-2.0.1.4.li) R 9038 9040 6518 0 -1 4202496 57125 0 0 0 86813 1417 0 0 25 0 1 0 819943899 182493184 42871 33554432000 4194304 9128323 140734430598176 18446744073709551615 7192383 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9040/statm: 44554 42871 740 1205 0 43345 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 178216
[startup+942.301 s]
/proc/loadavg: 2.01 2.03 1.95 3/447 9283
/proc/meminfo: memFree=30481632/32950928 swapFree=34365992/67111528
[pid=9040] ppid=9038 vsize=180140 CPUtime=942.3 cores=1,3,5,7
/proc/9040/stat : 9040 (scip-2.0.1.4.li) R 9038 9040 6518 0 -1 4202496 58518 0 0 0 92699 1531 0 0 25 0 1 0 819943899 184463360 43351 33554432000 4194304 9128323 140734430598176 18446744073709551615 7192399 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9040/statm: 45035 43351 740 1205 0 43826 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 180140
[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 1.95 3/447 9285
/proc/meminfo: memFree=30491380/32950928 swapFree=34365992/67111528
[pid=9040] ppid=9038 vsize=181948 CPUtime=1002.3 cores=1,3,5,7
/proc/9040/stat : 9040 (scip-2.0.1.4.li) R 9038 9040 6518 0 -1 4202496 58975 0 0 0 98580 1650 0 0 25 0 1 0 819943899 186314752 43804 33554432000 4194304 9128323 140734430598176 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9040/statm: 45487 43804 740 1205 0 44278 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 181948
[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 1.95 3/447 9295
/proc/meminfo: memFree=30538284/32950928 swapFree=34365992/67111528
[pid=9040] ppid=9038 vsize=182444 CPUtime=1062.31 cores=1,3,5,7
/proc/9040/stat : 9040 (scip-2.0.1.4.li) R 9038 9040 6518 0 -1 4202496 59064 0 0 0 104464 1767 0 0 25 0 1 0 819943899 186822656 43893 33554432000 4194304 9128323 140734430598176 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9040/statm: 45611 43893 740 1205 0 44402 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 182444
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/447 9297
/proc/meminfo: memFree=30486908/32950928 swapFree=34365992/67111528
[pid=9040] ppid=9038 vsize=183880 CPUtime=1122.31 cores=1,3,5,7
/proc/9040/stat : 9040 (scip-2.0.1.4.li) R 9038 9040 6518 0 -1 4202496 59458 0 0 0 110350 1881 0 0 25 0 1 0 819943899 188293120 44287 33554432000 4194304 9128323 140734430598176 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9040/statm: 45970 44287 740 1205 0 44761 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 183880
[startup+1182.3 s]
/proc/loadavg: 2.04 2.02 1.95 3/447 9298
/proc/meminfo: memFree=30484744/32950928 swapFree=34365992/67111528
[pid=9040] ppid=9038 vsize=184252 CPUtime=1182.3 cores=1,3,5,7
/proc/9040/stat : 9040 (scip-2.0.1.4.li) R 9038 9040 6518 0 -1 4202496 59551 0 0 0 116228 2002 0 0 25 0 1 0 819943899 188674048 44380 33554432000 4194304 9128323 140734430598176 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9040/statm: 46063 44380 740 1205 0 44854 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 184252
[startup+1242.3 s]
/proc/loadavg: 2.05 2.03 1.96 3/447 9303
/proc/meminfo: memFree=30483276/32950928 swapFree=34365992/67111528
[pid=9040] ppid=9038 vsize=186580 CPUtime=1242.31 cores=1,3,5,7
/proc/9040/stat : 9040 (scip-2.0.1.4.li) R 9038 9040 6518 0 -1 4202496 60133 0 0 0 122111 2120 0 0 25 0 1 0 819943899 191057920 44962 33554432000 4194304 9128323 140734430598176 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9040/statm: 46645 44962 740 1205 0 45436 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 186580
[startup+1302.3 s]
/proc/loadavg: 2.16 2.05 1.97 3/447 9305
/proc/meminfo: memFree=30484496/32950928 swapFree=34365992/67111528
[pid=9040] ppid=9038 vsize=187644 CPUtime=1302.32 cores=1,3,5,7
/proc/9040/stat : 9040 (scip-2.0.1.4.li) R 9038 9040 6518 0 -1 4202496 60399 0 0 0 127996 2236 0 0 25 0 1 0 819943899 192147456 45228 33554432000 4194304 9128323 140734430598176 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9040/statm: 46911 45228 740 1205 0 45702 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 187644
[startup+1362.3 s]
/proc/loadavg: 2.13 2.06 1.97 3/447 9306
/proc/meminfo: memFree=30489892/32950928 swapFree=34365992/67111528
[pid=9040] ppid=9038 vsize=188192 CPUtime=1362.31 cores=1,3,5,7
/proc/9040/stat : 9040 (scip-2.0.1.4.li) R 9038 9040 6518 0 -1 4202496 60541 0 0 0 133879 2352 0 0 25 0 1 0 819943899 192708608 45370 33554432000 4194304 9128323 140734430598176 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9040/statm: 47048 45370 740 1205 0 45839 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 188192
[startup+1422.32 s]
/proc/loadavg: 2.04 2.05 1.97 3/447 9308
/proc/meminfo: memFree=30489356/32950928 swapFree=34365992/67111528
[pid=9040] ppid=9038 vsize=189308 CPUtime=1422.34 cores=1,3,5,7
/proc/9040/stat : 9040 (scip-2.0.1.4.li) R 9038 9040 6518 0 -1 4202496 60814 0 0 0 139762 2472 0 0 25 0 1 0 819943899 193851392 45643 33554432000 4194304 9128323 140734430598176 18446744073709551615 7192392 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9040/statm: 47327 45643 740 1205 0 46118 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 189308
[startup+1482.3 s]
/proc/loadavg: 2.01 2.04 1.97 3/447 9309
/proc/meminfo: memFree=30486580/32950928 swapFree=34365992/67111528
[pid=9040] ppid=9038 vsize=191596 CPUtime=1482.32 cores=1,3,5,7
/proc/9040/stat : 9040 (scip-2.0.1.4.li) R 9038 9040 6518 0 -1 4202496 61293 0 0 0 145644 2588 0 0 25 0 1 0 819943899 196194304 46122 33554432000 4194304 9128323 140734430598176 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9040/statm: 47899 46122 740 1205 0 46690 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 191596
[startup+1542.3 s]
/proc/loadavg: 2.00 2.03 1.97 3/447 9311
/proc/meminfo: memFree=30442640/32950928 swapFree=34365992/67111528
[pid=9040] ppid=9038 vsize=191596 CPUtime=1542.32 cores=1,3,5,7
/proc/9040/stat : 9040 (scip-2.0.1.4.li) R 9038 9040 6518 0 -1 4202496 61326 0 0 0 151522 2710 0 0 25 0 1 0 819943899 196194304 46155 33554432000 4194304 9128323 140734430598176 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9040/statm: 47899 46155 740 1205 0 46690 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 191596
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 1.97 3/447 9313
/proc/meminfo: memFree=30449056/32950928 swapFree=34365992/67111528
[pid=9040] ppid=9038 vsize=191732 CPUtime=1602.32 cores=1,3,5,7
/proc/9040/stat : 9040 (scip-2.0.1.4.li) R 9038 9040 6518 0 -1 4202496 62339 0 0 0 157402 2830 0 0 25 0 1 0 819943899 196333568 46157 33554432000 4194304 9128323 140734430598176 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9040/statm: 47933 46157 761 1205 0 46724 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 191732
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/447 9314
/proc/meminfo: memFree=30462652/32950928 swapFree=34365992/67111528
[pid=9040] ppid=9038 vsize=192316 CPUtime=1662.32 cores=1,3,5,7
/proc/9040/stat : 9040 (scip-2.0.1.4.li) R 9038 9040 6518 0 -1 4202496 63269 0 0 0 163288 2944 0 0 25 0 1 0 819943899 196931584 46295 33554432000 4194304 9128323 140734430598176 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9040/statm: 48079 46295 740 1205 0 46870 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 192316
[startup+1722.3 s]
/proc/loadavg: 2.06 2.03 1.98 3/447 9316
/proc/meminfo: memFree=30494104/32950928 swapFree=34365992/67111528
[pid=9040] ppid=9038 vsize=192544 CPUtime=1722.33 cores=1,3,5,7
/proc/9040/stat : 9040 (scip-2.0.1.4.li) R 9038 9040 6518 0 -1 4202496 63381 0 0 0 169166 3067 0 0 25 0 1 0 819943899 197165056 46407 33554432000 4194304 9128323 140734430598176 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9040/statm: 48136 46407 740 1205 0 46927 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 192544
[startup+1782.3 s]
/proc/loadavg: 2.07 2.03 1.98 3/447 9317
/proc/meminfo: memFree=30473860/32950928 swapFree=34365992/67111528
[pid=9040] ppid=9038 vsize=193064 CPUtime=1782.32 cores=1,3,5,7
/proc/9040/stat : 9040 (scip-2.0.1.4.li) R 9038 9040 6518 0 -1 4202496 63562 0 0 0 175047 3185 0 0 25 0 1 0 819943899 197697536 46588 33554432000 4194304 9128323 140734430598176 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9040/statm: 48266 46588 740 1205 0 47057 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 193064
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.06 2.03 1.98 3/447 9318
/proc/meminfo: memFree=30455984/32950928 swapFree=34365992/67111528
[pid=9040] ppid=9038 vsize=193064 CPUtime=1800.04 cores=1,3,5,7
/proc/9040/stat : 9040 (scip-2.0.1.4.li) R 9038 9040 6518 0 -1 4202496 63565 0 0 0 176780 3224 0 0 25 0 1 0 819943899 197697536 46591 33554432000 4194304 9128323 140734430598176 18446744073709551615 6581336 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9040/statm: 48266 46591 742 1205 0 47057 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 193064
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.06
CPU user time (s): 1767.81
CPU system time (s): 32.2481
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 193064
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1767.81
system time used= 32.2481
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63566
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= 3151
runsolver used 7.81681 second user time and 18.4812 second system time
The end