0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 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-2692297-1277924958.wbo>
0.00/0.00 c original problem has 371 variables (270 bin, 0 int, 0 impl, 101 cont) and 203 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.00 o 5179
0.00/0.00 c feasible solution found by trivial heuristic, objective value 5.179000e+03
0.00/0.00 c presolving:
0.00/0.00 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 101 impls, 0 clqs
0.00/0.01 c (round 2) 0 del vars, 1 del conss, 101 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 101 impls, 0 clqs
0.00/0.01 c (0.0s) probing: 101/270 (37.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.01 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.01 c presolving (3 rounds):
0.00/0.01 c 0 deleted vars, 1 deleted constraints, 101 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.01 c 101 implications, 0 cliques
0.00/0.01 c presolved problem has 371 variables (270 bin, 0 int, 0 impl, 101 cont) and 202 constraints
0.00/0.01 c 101 constraints of type <indicator>
0.00/0.01 c 101 constraints of type <linear>
0.00/0.01 c transformed objective value is always integral (scale: 1)
0.00/0.01 c Presolving Time: 0.01
0.00/0.01 c - non default parameters ----------------------------------------------------------------------
0.00/0.01 c # SCIP version 1.2.1.2
0.00/0.01 c
0.00/0.01 c # frequency for displaying node information lines
0.00/0.01 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.01 c display/freq = 10000
0.00/0.01 c
0.00/0.01 c # maximal time in seconds to run
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01 c limits/time = 1800
0.00/0.01 c
0.00/0.01 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01 c limits/memory = 3420
0.00/0.01 c
0.00/0.01 c # should presolving try to simplify inequalities
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/linear/simplifyinequalities = TRUE
0.00/0.01 c
0.00/0.01 c # should presolving try to simplify knapsacks
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.01 c
0.00/0.01 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.01 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.01 c separating/rapidlearning/freq = 0
0.00/0.01 c
0.00/0.01 c -----------------------------------------------------------------------------------------------
0.00/0.01 c start solving
0.00/0.01 c
0.00/0.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.01 c t 0.0s| 1 | 0 | 0 | - |1215k| 0 | 0 | 371 | 202 | 371 | 0 | 0 | 0 | 0 | 0.000000e+00 | 5.179000e+03 | Inf
0.00/0.01 c 0.0s| 1 | 0 | 26 | - |1249k| 0 | 0 | 371 | 202 | 371 | 26 | 26 | 0 | 0 | 0.000000e+00 | 5.179000e+03 | Inf
0.00/0.01 c 0.0s| 1 | 0 | 60 | - |1265k| 0 | 25 | 371 | 202 | 371 | 41 | 41 | 0 | 0 | 0.000000e+00 | 5.179000e+03 | Inf
0.00/0.02 c 0.0s| 1 | 0 | 81 | - |1406k| 0 | 30 | 371 | 202 | 371 | 50 | 50 | 0 | 0 | 0.000000e+00 | 5.179000e+03 | Inf
0.00/0.02 c 0.0s| 1 | 0 | 88 | - |1428k| 0 | 33 | 371 | 202 | 371 | 53 | 53 | 0 | 0 | 0.000000e+00 | 5.179000e+03 | Inf
0.00/0.03 c 0.0s| 1 | 0 | 95 | - |1436k| 0 | 35 | 371 | 202 | 371 | 57 | 57 | 0 | 0 | 0.000000e+00 | 5.179000e+03 | Inf
0.09/0.10 c 0.1s| 1 | 2 | 153 | - |1447k| 0 | 35 | 371 | 202 | 371 | 57 | 57 | 0 | 33 | 0.000000e+00 | 5.179000e+03 | Inf
0.29/0.32 o 832
0.29/0.32 c * 0.3s| 213 | 212 | 822 | 3.4 |1744k| 99 | - | 371 | 202 | 371 | 76 | 124 | 0 | 325 | 0.000000e+00 | 8.320000e+02 | Inf
0.29/0.38 o 690
0.29/0.38 c * 0.4s| 432 | 417 | 1206 | 2.6 |1977k| 111 | - | 371 | 221 | 371 | 56 | 131 | 19 | 369 | 0.000000e+00 | 6.900000e+02 | Inf
0.29/0.39 o 624
0.29/0.39 c * 0.4s| 435 | 390 | 1236 | 2.6 |1980k| 111 | - | 371 | 221 | 371 | 56 | 131 | 19 | 372 | 0.000000e+00 | 6.240000e+02 | Inf
0.41/0.41 o 236
0.41/0.41 c * 0.4s| 500 | 284 | 1294 | 2.4 |1951k| 111 | - | 371 | 234 | 371 | 56 | 132 | 32 | 372 | 0.000000e+00 | 2.360000e+02 | Inf
0.41/0.42 o 234
0.41/0.42 c * 0.4s| 538 | 315 | 1326 | 2.3 |1997k| 111 | - | 371 | 244 | 371 | 57 | 133 | 42 | 372 | 0.000000e+00 | 2.340000e+02 | Inf
0.41/0.42 o 232
0.41/0.42 c * 0.4s| 547 | 318 | 1338 | 2.3 |2009k| 111 | - | 371 | 244 | 371 | 57 | 133 | 42 | 372 | 0.000000e+00 | 2.320000e+02 | Inf
0.49/0.52 o 214
0.49/0.52 c * 0.5s| 672 | 406 | 1755 | 2.5 |2136k| 111 | - | 371 | 247 | 371 | 56 | 140 | 46 | 494 | 0.000000e+00 | 2.140000e+02 | Inf
0.49/0.54 o 209
0.49/0.54 c * 0.5s| 733 | 446 | 1968 | 2.6 |2191k| 111 | - | 371 | 263 | 371 | 61 | 154 | 64 | 509 | 0.000000e+00 | 2.090000e+02 | Inf
0.69/0.79 o 196
0.69/0.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.69/0.79 c * 0.8s| 1215 | 636 | 3399 | 2.7 |2727k| 111 | - | 371 | 795 | 371 | 56 | 181 | 606 | 685 | 0.000000e+00 | 1.960000e+02 | Inf
0.79/0.80 o 184
0.79/0.80 c * 0.8s| 1247 | 618 | 3427 | 2.7 |2738k| 111 | - | 371 | 832 | 371 | 58 | 183 | 645 | 685 | 0.000000e+00 | 1.840000e+02 | Inf
0.89/0.97 o 173
0.89/0.97 c * 0.9s| 1485 | 689 | 4717 | 3.1 |3024k| 111 | - | 371 |1003 | 371 | 56 | 217 | 819 | 836 | 0.000000e+00 | 1.730000e+02 | Inf
1.10/1.13 o 143
1.10/1.13 c * 1.1s| 1854 | 636 | 5835 | 3.1 |3280k| 111 | - | 371 |1725 | 371 | 66 | 240 |1554 | 892 | 0.000000e+00 | 1.430000e+02 | Inf
1.10/1.13 o 118
1.10/1.13 c * 1.1s| 1855 | 536 | 5835 | 3.1 |3180k| 111 | - | 371 |1725 | 371 | 66 | 240 |1554 | 892 | 0.000000e+00 | 1.180000e+02 | Inf
1.10/1.13 o 114
1.10/1.13 c * 1.1s| 1866 | 538 | 5872 | 3.1 |3194k| 111 | - | 371 |1733 | 371 | 56 | 240 |1562 | 893 | 0.000000e+00 | 1.140000e+02 | Inf
1.29/1.31 o 107
1.29/1.31 c * 1.2s| 2191 | 533 | 7197 | 3.2 |3346k| 111 | - | 371 |1914 | 371 | 57 | 247 |1747 | 946 | 0.000000e+00 | 1.070000e+02 | Inf
2.89/2.91 o 106
2.89/2.91 c * 2.7s| 6144 | 726 | 13768 | 2.2 |4050k| 130 | - | 371 |1650 | 371 | 59 | 397 |4028 |1043 | 0.000000e+00 | 1.060000e+02 | Inf
4.30/4.39 o 105
4.30/4.39 c * 4.1s| 9962 | 970 | 21031 | 2.1 |4814k| 130 | - | 371 |1071 | 371 | 56 | 597 |6401 |1142 | 0.000000e+00 | 1.050000e+02 | Inf
4.30/4.40 c 4.1s| 10000 | 990 | 21078 | 2.1 |4818k| 130 | 0 | 371 |1034 | 371 | 56 | 599 |6408 |1142 | 0.000000e+00 | 1.050000e+02 | Inf
4.59/4.60 o 94
4.59/4.60 c * 4.3s| 10559 | 952 | 22048 | 2.1 |4886k| 130 | - | 371 |1058 | 371 | 56 | 617 |6703 |1143 | 0.000000e+00 | 9.400000e+01 | Inf
4.59/4.65 o 90
4.59/4.65 c * 4.4s| 10691 | 899 | 22384 | 2.1 |4806k| 130 | - | 371 |1012 | 371 | 56 | 620 |6751 |1145 | 0.000000e+00 | 9.000000e+01 | Inf
5.09/5.11 o 74
5.09/5.11 c * 4.8s| 11953 | 796 | 24380 | 2.0 |4892k| 130 | - | 371 |1322 | 371 | 56 | 667 |7425 |1155 | 0.000000e+00 | 7.400000e+01 | Inf
5.19/5.21 o 71
5.19/5.21 c * 4.9s| 12191 | 775 | 25028 | 2.0 |4870k| 130 | - | 371 |1195 | 371 | 56 | 673 |7537 |1155 | 0.000000e+00 | 7.100000e+01 | Inf
5.49/5.54 o 65
5.49/5.54 c * 5.2s| 13058 | 763 | 27463 | 2.1 |4956k| 130 | - | 371 |1300 | 371 | 56 | 769 |8161 |1167 | 0.000000e+00 | 6.500000e+01 | Inf
5.49/5.59 o 60
5.49/5.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
5.49/5.59 c * 5.2s| 13231 | 749 | 27704 | 2.1 |4929k| 130 | - | 371 |1324 | 371 | 56 | 774 |8233 |1167 | 0.000000e+00 | 6.000000e+01 | Inf
5.69/5.78 o 49
5.69/5.78 c * 5.4s| 13690 | 644 | 29751 | 2.2 |4717k| 130 | - | 371 |1320 | 371 | 59 | 874 |8533 |1182 | 0.000000e+00 | 4.900000e+01 | Inf
6.79/6.83 o 42
6.79/6.83 c * 6.4s| 16413 | 702 | 41175 | 2.5 |5319k| 130 | - | 371 |2355 | 371 | 56 |1030 | 10k|1208 | 0.000000e+00 | 4.200000e+01 | Inf
6.99/7.02 o 33
6.99/7.02 c * 6.6s| 16854 | 666 | 43241 | 2.6 |5324k| 130 | - | 371 |2362 | 371 | 56 |1057 | 11k|1210 | 0.000000e+00 | 3.300000e+01 | Inf
8.19/8.27 c 7.8s| 20000 | 721 | 58410 | 2.9 |6153k| 130 | 0 | 371 |3924 | 371 | 56 |1240 | 13k|1231 | 0.000000e+00 | 3.300000e+01 | Inf
12.59/12.67 o 30
12.59/12.67 c *12.0s| 29213 | 862 |118590 | 4.1 |8439k| 130 | - | 371 |7411 | 371 | 56 |1944 | 22k|1390 | 0.000000e+00 | 3.000000e+01 | Inf
12.59/12.67 o 23
12.59/12.67 c *12.0s| 29214 | 769 |118598 | 4.1 |8154k| 130 | - | 371 |7411 | 371 | 56 |1944 | 22k|1390 | 0.000000e+00 | 2.300000e+01 | Inf
13.09/13.16 o 5
13.09/13.16 c *12.5s| 29907 | 436 |124757 | 4.2 |7129k| 130 | - | 371 |6199 | 371 | 56 |2033 | 23k|1459 | 0.000000e+00 | 5.000000e+00 | Inf
13.29/13.34 c
13.29/13.34 c SCIP Status : problem is solved [optimal solution found]
13.29/13.34 c Solving Time (sec) : 12.67
13.29/13.34 c Solving Nodes : 29970
13.29/13.34 c Primal Bound : +5.00000000000000e+00 (311 solutions)
13.29/13.34 c Dual Bound : +5.00000000000000e+00
13.29/13.34 c Gap : 0.00 %
13.29/13.34 s OPTIMUM FOUND
13.29/13.34 v -x169 x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148
13.29/13.34 v -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127
13.29/13.34 v -x126 -x125 -x124 -x123 -x122 x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 x106
13.29/13.34 v -x105 -x104 -x103 -x102 -x101 -x100 x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 x88 -x87 -x86 -x85 -x84 -x83 -x82
13.29/13.34 v -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57
13.29/13.34 v -x56 x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 x35 -x34 -x33 -x32 -x31
13.29/13.34 v -x30 -x29 -x28 -x27 -x26 -x25 x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 x5
13.29/13.34 v -x4 -x3 -x2 -x1
13.29/13.34 c SCIP Status : problem is solved [optimal solution found]
13.29/13.34 c Solving Time : 12.67
13.29/13.34 c Original Problem :
13.29/13.34 c Problem name : HOME/instance-2692297-1277924958.wbo
13.29/13.34 c Variables : 371 (270 binary, 0 integer, 0 implicit integer, 101 continuous)
13.29/13.34 c Constraints : 203 initial, 203 maximal
13.29/13.34 c Presolved Problem :
13.29/13.34 c Problem name : t_HOME/instance-2692297-1277924958.wbo
13.29/13.34 c Variables : 371 (270 binary, 0 integer, 0 implicit integer, 101 continuous)
13.29/13.34 c Constraints : 202 initial, 7459 maximal
13.29/13.34 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
13.29/13.34 c trivial : 0.00 0 0 0 0 0 0 0 0
13.29/13.34 c dualfix : 0.00 0 0 0 0 0 0 0 0
13.29/13.34 c boundshift : 0.00 0 0 0 0 0 0 0 0
13.29/13.34 c inttobinary : 0.00 0 0 0 0 0 0 0 0
13.29/13.34 c implics : 0.00 0 0 0 0 0 0 0 0
13.29/13.34 c probing : 0.01 0 0 0 0 0 0 0 0
13.29/13.34 c indicator : 0.00 0 0 0 0 0 0 0 0
13.29/13.34 c linear : 0.00 0 0 0 101 0 1 0 0
13.29/13.34 c logicor : 0.00 0 0 0 0 0 0 0 0
13.29/13.34 c root node : - 99 - - 198 - - - -
13.29/13.34 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
13.29/13.34 c integral : 0 0 0 17861 0 0 53 0 0 27896
13.29/13.34 c indicator : 101 0 156563 3861 0 1602 192362 0 0 0
13.29/13.34 c linear : 101 6 154876 3797 0 4897 394082 2036 0 0
13.29/13.34 c logicor : 0+ 0 45184 0 0 1907 36538 0 0 0
13.29/13.34 c countsols : 0 0 0 2781 0 0 0 0 0 0
13.29/13.34 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
13.29/13.34 c integral : 0.74 0.00 0.00 0.74 0.00
13.29/13.34 c indicator : 0.24 0.00 0.22 0.02 0.00
13.29/13.34 c linear : 1.86 0.00 1.84 0.02 0.00
13.29/13.34 c logicor : 0.93 0.00 0.93 0.00 0.00
13.29/13.34 c countsols : 0.00 0.00 0.00 0.00 0.00
13.29/13.34 c Propagators : Time Calls Cutoffs DomReds
13.29/13.34 c vbounds : 0.06 2 0 0
13.29/13.34 c rootredcost : 0.08 29 0 99
13.29/13.34 c pseudoobj : 0.73 158823 2437 198126
13.29/13.34 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
13.29/13.34 c propagation : 0.45 9241 9217 50695 25.2 1519 4.7 -
13.29/13.34 c infeasible LP : 0.29 3577 3565 21783 24.0 50 13.5 0
13.29/13.34 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
13.29/13.34 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
13.29/13.34 c pseudo solution : 0.00 106 106 415 18.3 28 6.6 -
13.29/13.34 c applied globally : - - - 23440 15.9 - - -
13.29/13.34 c applied locally : - - - 89 35.2 - - -
13.29/13.34 c Separators : Time Calls Cutoffs DomReds Cuts Conss
13.29/13.34 c cut pool : 0.00 3 - - 0 - (maximal pool size: 24)
13.29/13.34 c redcost : 0.09 18827 0 25202 0 0
13.29/13.34 c impliedbounds : 0.00 4 0 0 0 0
13.29/13.34 c intobj : 0.00 0 0 0 0 0
13.29/13.34 c cgmip : 0.00 0 0 0 0 0
13.29/13.34 c gomory : 0.01 4 0 0 24 0
13.29/13.34 c strongcg : 0.00 4 0 0 0 0
13.29/13.34 c cmir : 0.01 4 0 0 0 0
13.29/13.34 c flowcover : 0.00 4 0 0 0 0
13.29/13.34 c clique : 0.00 1 0 0 0 0
13.29/13.34 c zerohalf : 0.00 0 0 0 0 0
13.29/13.34 c mcf : 0.00 1 0 0 0 0
13.29/13.34 c rapidlearning : 0.00 0 0 0 0 0
13.29/13.34 c Pricers : Time Calls Vars
13.29/13.34 c problem variables: 0.00 0 0
13.29/13.34 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
13.29/13.34 c relpscost : 0.73 13998 0 53 0 0 27896
13.29/13.34 c pscost : 0.00 0 0 0 0 0 0
13.29/13.34 c inference : 0.04 2752 0 0 0 0 5504
13.29/13.34 c mostinf : 0.00 0 0 0 0 0 0
13.29/13.34 c leastinf : 0.00 0 0 0 0 0 0
13.29/13.34 c fullstrong : 0.00 0 0 0 0 0 0
13.29/13.34 c allfullstrong : 0.00 0 0 0 0 0 0
13.29/13.34 c random : 0.00 0 0 0 0 0 0
13.29/13.34 c Primal Heuristics : Time Calls Found
13.29/13.34 c LP solutions : 0.00 - 29
13.29/13.34 c pseudo solutions : 0.00 - 0
13.29/13.34 c feaspump : 0.00 0 0
13.29/13.34 c oneopt : 0.03 27 0
13.29/13.34 c linesearchdiving : 0.00 24 0
13.29/13.34 c guideddiving : 0.00 24 0
13.29/13.34 c pscostdiving : 0.00 24 0
13.29/13.34 c fracdiving : 0.01 24 0
13.29/13.34 c veclendiving : 0.01 24 0
13.29/13.34 c coefdiving : 0.01 25 0
13.29/13.34 c rootsoldiving : 0.01 24 0
13.29/13.34 c objpscostdiving : 0.00 24 0
13.29/13.34 c crossover : 0.14 19 1
13.29/13.34 c trivial : 0.00 2 2
13.29/13.34 c simplerounding : 0.01 14422 0
13.29/13.34 c zirounding : 0.09 1000 0
13.29/13.34 c rounding : 0.09 1686 0
13.29/13.34 c shifting : 0.04 479 0
13.29/13.34 c intshifting : 0.00 1 0
13.29/13.34 c twoopt : 0.00 0 0
13.29/13.34 c fixandinfer : 0.00 0 0
13.29/13.34 c intdiving : 0.00 0 0
13.29/13.34 c actconsdiving : 0.00 0 0
13.29/13.34 c octane : 0.00 0 0
13.29/13.34 c rens : 0.01 1 0
13.29/13.34 c rins : 0.00 0 0
13.29/13.34 c localbranching : 0.00 0 0
13.29/13.34 c mutation : 0.00 0 0
13.29/13.34 c dins : 0.00 0 0
13.29/13.34 c undercover : 0.00 0 0
13.29/13.34 c nlp : 0.00 0 0
13.29/13.34 c trysol : 0.07 1814 279
13.29/13.34 c LP : Time Calls Iterations Iter/call Iter/sec
13.29/13.34 c primal LP : 0.00 0 0 0.00 -
13.29/13.34 c dual LP : 3.73 19918 125597 6.31 33672.12
13.29/13.34 c lex dual LP : 0.00 0 0 0.00 -
13.29/13.34 c barrier LP : 0.00 0 0 0.00 -
13.29/13.34 c diving/probing LP: 0.00 47 498 10.60 -
13.29/13.34 c strong branching : 0.64 1483 24392 16.45 38112.50
13.29/13.34 c (at root node) : - 33 2186 66.24 -
13.29/13.34 c conflict analysis: 0.00 0 0 0.00 -
13.29/13.34 c B&B Tree :
13.29/13.34 c number of runs : 1
13.29/13.34 c nodes : 29970
13.29/13.34 c nodes (total) : 29970
13.29/13.34 c nodes left : 0
13.29/13.34 c max depth : 130
13.29/13.34 c max depth (total): 130
13.29/13.34 c backtracks : 3596 (12.0%)
13.29/13.34 c delayed cutoffs : 1850
13.29/13.34 c repropagations : 92752 (104902 domain reductions, 1281 cutoffs)
13.29/13.34 c avg switch length: 8.00
13.29/13.34 c switching time : 1.52
13.29/13.34 c Solution :
13.29/13.34 c Solutions found : 311 (30 improvements)
13.29/13.34 c First Solution : +5.17900000000000e+03 (in run 1, after 0 nodes, 0.00 seconds, depth 0, found by <trivial>)
13.29/13.34 c Primal Bound : +5.00000000000000e+00 (in run 1, after 29907 nodes, 12.49 seconds, depth 38, found by <relaxation>)
13.29/13.34 c Dual Bound : +5.00000000000000e+00
13.29/13.34 c Gap : 0.00 %
13.29/13.34 c Root Dual Bound : +0.00000000000000e+00
13.29/13.34 c Root Iterations : 95
13.29/13.35 c Time complete: 13.34.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692297-1277924958/watcher-2692297-1277924958 -o /tmp/evaluation-result-2692297-1277924958/solver-2692297-1277924958 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692297-1277924958.wbo -t 1800 -m 3800
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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.07 2.01 2.00 4/196 28358
/proc/meminfo: memFree=30408248/32950928 swapFree=67111528/67111528
[pid=28358] ppid=28356 vsize=9396 CPUtime=0
/proc/28358/stat : 28358 (pbscip.linux.x8) R 28356 28358 27917 0 -1 4202496 1650 0 0 0 0 0 0 0 25 0 1 0 168099280 9621504 1570 4089446400 4194304 8223781 140734482272608 18446744073709551615 7235159 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/28358/statm: 2349 1574 369 984 0 1362 0
[startup+0.0595941 s]
/proc/loadavg: 2.07 2.01 2.00 4/196 28358
/proc/meminfo: memFree=30408248/32950928 swapFree=67111528/67111528
[pid=28358] ppid=28356 vsize=17324 CPUtime=0.05
/proc/28358/stat : 28358 (pbscip.linux.x8) R 28356 28358 27917 0 -1 4202496 6276 0 0 0 5 0 0 0 25 0 1 0 168099280 17739776 3394 4089446400 4194304 8223781 140734482272608 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/28358/statm: 4331 3394 574 984 0 3344 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 17324
[startup+0.100588 s]
/proc/loadavg: 2.07 2.01 2.00 4/196 28358
/proc/meminfo: memFree=30408248/32950928 swapFree=67111528/67111528
[pid=28358] ppid=28356 vsize=17324 CPUtime=0.09
/proc/28358/stat : 28358 (pbscip.linux.x8) R 28356 28358 27917 0 -1 4202496 6276 0 0 0 9 0 0 0 25 0 1 0 168099280 17739776 3394 4089446400 4194304 8223781 140734482272608 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/28358/statm: 4331 3394 574 984 0 3344 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17324
[startup+0.300549 s]
/proc/loadavg: 2.07 2.01 2.00 4/196 28358
/proc/meminfo: memFree=30408248/32950928 swapFree=67111528/67111528
[pid=28358] ppid=28356 vsize=17644 CPUtime=0.29
/proc/28358/stat : 28358 (pbscip.linux.x8) R 28356 28358 27917 0 -1 4202496 6354 0 0 0 28 1 0 0 25 0 1 0 168099280 18067456 3472 4089446400 4194304 8223781 140734482272608 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/28358/statm: 4411 3472 577 984 0 3424 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17644
[startup+0.700476 s]
/proc/loadavg: 2.07 2.01 2.00 4/196 28358
/proc/meminfo: memFree=30408248/32950928 swapFree=67111528/67111528
[pid=28358] ppid=28356 vsize=19184 CPUtime=0.69
/proc/28358/stat : 28358 (pbscip.linux.x8) R 28356 28358 27917 0 -1 4202496 8704 0 0 0 67 2 0 0 25 0 1 0 168099280 19644416 3838 4089446400 4194304 8223781 140734482272608 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/28358/statm: 4796 3839 583 984 0 3809 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 19184
[startup+1.50034 s]
/proc/loadavg: 2.07 2.01 2.00 3/197 28359
/proc/meminfo: memFree=30393360/32950928 swapFree=67111528/67111528
[pid=28358] ppid=28356 vsize=21112 CPUtime=1.48
/proc/28358/stat : 28358 (pbscip.linux.x8) R 28356 28358 27917 0 -1 4202496 13300 0 0 0 143 5 0 0 25 0 1 0 168099280 21618688 4324 4089446400 4194304 8223781 140734482272608 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/28358/statm: 5278 4324 583 984 0 4291 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 21112
[startup+3.10106 s]
/proc/loadavg: 2.07 2.01 2.00 3/197 28359
/proc/meminfo: memFree=30391896/32950928 swapFree=67111528/67111528
[pid=28358] ppid=28356 vsize=22456 CPUtime=3.09
/proc/28358/stat : 28358 (pbscip.linux.x8) R 28356 28358 27917 0 -1 4202496 20774 0 0 0 292 17 0 0 25 0 1 0 168099280 22994944 4681 4089446400 4194304 8223781 140734482272608 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/28358/statm: 5614 4681 583 984 0 4627 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22456
[startup+6.30049 s]
/proc/loadavg: 2.07 2.01 2.00 3/197 28359
/proc/meminfo: memFree=30388052/32950928 swapFree=67111528/67111528
[pid=28358] ppid=28356 vsize=25076 CPUtime=6.29
/proc/28358/stat : 28358 (pbscip.linux.x8) R 28356 28358 27917 0 -1 4202496 38388 0 0 0 591 38 0 0 25 0 1 0 168099280 25677824 5350 4089446400 4194304 8223781 140734482272608 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/28358/statm: 6269 5350 597 984 0 5282 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 25076
[startup+12.7004 s]
/proc/loadavg: 2.06 2.01 2.00 3/197 28360
/proc/meminfo: memFree=30384312/32950928 swapFree=67111528/67111528
[pid=28358] ppid=28356 vsize=30044 CPUtime=12.69
/proc/28358/stat : 28358 (pbscip.linux.x8) R 28356 28358 27917 0 -1 4202496 52573 0 0 0 1204 65 0 0 25 0 1 0 168099280 30765056 6555 4089446400 4194304 8223781 140734482272608 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/28358/statm: 7511 6555 597 984 0 6524 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 30044
Solver just ended. Dumping a history of the last processes samples
[startup+13.1003 s]
/proc/loadavg: 2.06 2.01 2.00 3/197 28360
/proc/meminfo: memFree=30383196/32950928 swapFree=67111528/67111528
[pid=28358] ppid=28356 vsize=30104 CPUtime=13.09
/proc/28358/stat : 28358 (pbscip.linux.x8) R 28356 28358 27917 0 -1 4202496 55221 0 0 0 1243 66 0 0 25 0 1 0 168099280 30826496 6589 4089446400 4194304 8223781 140734482272608 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/28358/statm: 7526 6589 597 984 0 6539 0
Current children cumulated CPU time (s) 13.09
Current children cumulated vsize (KiB) 30104
[startup+13.3003 s]
/proc/loadavg: 2.06 2.01 2.00 3/197 28360
/proc/meminfo: memFree=30383196/32950928 swapFree=67111528/67111528
[pid=28358] ppid=28356 vsize=31648 CPUtime=13.29
/proc/28358/stat : 28358 (pbscip.linux.x8) R 28356 28358 27917 0 -1 4202496 59962 0 0 0 1262 67 0 0 25 0 1 0 168099280 32407552 6946 4089446400 4194304 8223781 140734482272608 18446744073709551615 4661061 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/28358/statm: 7912 6946 597 984 0 6925 0
Current children cumulated CPU time (s) 13.29
Current children cumulated vsize (KiB) 31648
Child status: 0
Real time (s): 13.3542
CPU time (s): 13.353
CPU user time (s): 12.6761
CPU system time (s): 0.676897
CPU usage (%): 99.9908
Max. virtual memory (cumulated for all children) (KiB): 32276
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.6761
system time used= 0.676897
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59968
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= 3
involuntary context switches= 12
runsolver used 0.019996 second user time and 0.048992 second system time
The end
Begin job on node112 at 2010-06-30 21:09:18
IDJOB=2692297
IDBENCH=79255
IDSOLVER=1204
FILE ID=node112/2692297-1277924958
PBS_JOBID= 11197354
Free space on /tmp= 74212 MiB
SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111212272--soft-0-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2692297-1277924958/watcher-2692297-1277924958 -o /tmp/evaluation-result-2692297-1277924958/solver-2692297-1277924958 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692297-1277924958.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 833ed0c2692f571257dcfcd637053de2
RANDOM SEED=1904468270
node112.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.827
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.65
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.827
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.827
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.827
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.73
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.827
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.827
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.827
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.827
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 30408776 kB
Buffers: 207104 kB
Cached: 1895620 kB
SwapCached: 0 kB
Active: 824176 kB
Inactive: 1572664 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 30408776 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 4724 kB
Writeback: 0 kB
AnonPages: 294196 kB
Mapped: 20272 kB
Slab: 81696 kB
PageTables: 5604 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 1652936 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 74208 MiB
End job on node112 at 2010-06-30 21:09:31