0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3488658-1307786627.opb>
0.00/0.00 c original problem has 716 variables (716 bin, 0 int, 0 impl, 0 cont) and 867 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.01 o 0
0.00/0.01 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.00/0.01 c presolving:
0.00/0.03 c (round 1) 0 del vars, 816 del conss, 100 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 50 upgd conss, 5028 impls, 99 clqs
0.00/0.03 c (round 2) 616 del vars, 816 del conss, 100 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 150 upgd conss, 5028 impls, 0 clqs
0.00/0.04 c presolving (3 rounds):
0.00/0.04 c 616 deleted vars, 816 deleted constraints, 100 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.04 c 5028 implications, 0 cliques
0.00/0.04 c presolved problem has 100 variables (100 bin, 0 int, 0 impl, 0 cont) and 151 constraints
0.00/0.04 c 100 constraints of type <knapsack>
0.00/0.04 c 50 constraints of type <setppc>
0.00/0.04 c 1 constraints of type <linear>
0.00/0.04 c transformed objective value is always integral (scale: 1)
0.00/0.04 c Presolving Time: 0.03
0.00/0.04 c - non default parameters ----------------------------------------------------------------------
0.00/0.04 c # SCIP version 2.0.1.5
0.00/0.04 c
0.00/0.04 c # frequency for displaying node information lines
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.04 c display/freq = 10000
0.00/0.04 c
0.00/0.04 c # maximal time in seconds to run
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/time = 1797
0.00/0.04 c
0.00/0.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/memory = 13950
0.00/0.04 c
0.00/0.04 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.04 c # [type: int, range: [1,2], default: 1]
0.00/0.04 c timing/clocktype = 2
0.00/0.04 c
0.00/0.04 c # belongs reading time to solving time?
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c timing/reading = TRUE
0.00/0.04 c
0.00/0.04 c # should presolving try to simplify inequalities
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/linear/simplifyinequalities = TRUE
0.00/0.04 c
0.00/0.04 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/indicator/addCouplingCons = TRUE
0.00/0.04 c
0.00/0.04 c # should presolving try to simplify knapsacks
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.04 c
0.00/0.04 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.04 c separating/rapidlearning/freq = 0
0.00/0.04 c
0.00/0.04 c -----------------------------------------------------------------------------------------------
0.00/0.04 c start solving
0.00/0.04 c
0.00/0.05 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.05 c t 0.1s| 1 | 0 | 375 | - |2129k| 0 | 100 | 100 | 151 | 100 | 151 | 0 | 0 | 0 |-2.500000e+01 | 0.000000e+00 | 100.00%
0.00/0.05 o -1
0.00/0.05 c R 0.1s| 1 | 0 | 375 | - |2133k| 0 | 100 | 100 | 151 | 100 | 151 | 0 | 0 | 0 |-2.500000e+01 |-1.000000e+00 | 96.00%
0.00/0.08 o -11
0.00/0.08 c y 0.1s| 1 | 0 | 375 | - |2385k| 0 | 100 | 100 | 151 | 100 | 151 | 0 | 0 | 0 |-2.500000e+01 |-1.100000e+01 | 56.00%
0.00/0.08 c 0.1s| 1 | 0 | 385 | - |2389k| 0 | 100 | 100 | 152 | 100 | 162 | 11 | 0 | 0 |-2.500000e+01 |-1.100000e+01 | 56.00%
0.09/0.10 c 0.1s| 1 | 0 | 390 | - |2650k| 0 | 100 | 100 | 152 | 100 | 164 | 13 | 0 | 0 |-2.500000e+01 |-1.100000e+01 | 56.00%
0.09/0.12 c 0.1s| 1 | 0 | 395 | - |2890k| 0 | 100 | 100 | 152 | 100 | 167 | 16 | 0 | 0 |-2.500000e+01 |-1.100000e+01 | 56.00%
0.09/0.13 c 0.1s| 1 | 0 | 403 | - |3025k| 0 | 100 | 100 | 152 | 100 | 170 | 19 | 0 | 0 |-2.500000e+01 |-1.100000e+01 | 56.00%
0.09/0.15 c 0.2s| 1 | 0 | 410 | - |3089k| 0 | 100 | 100 | 152 | 100 | 174 | 23 | 0 | 0 |-2.500000e+01 |-1.100000e+01 | 56.00%
0.09/0.17 c 0.2s| 1 | 0 | 414 | - |3111k| 0 | 100 | 100 | 152 | 100 | 176 | 25 | 0 | 0 |-2.500000e+01 |-1.100000e+01 | 56.00%
0.39/0.47 c 0.5s| 1 | 2 | 414 | - |3112k| 0 | 100 | 100 | 152 | 100 | 176 | 25 | 0 | 26 |-2.500000e+01 |-1.100000e+01 | 56.00%
2.26/2.31 o -12
2.26/2.31 c * 2.3s| 211 | 79 | 7197 | 32.3 |3268k| 16 | - | 100 | 153 | 100 | 166 | 25 | 1 | 821 |-2.388204e+01 |-1.200000e+01 | 49.75%
2.60/2.67 o -13
2.60/2.67 c * 2.7s| 568 | 183 | 15157 | 26.0 |3468k| 34 | - | 100 | 166 | 100 | 166 | 25 | 14 | 821 |-2.176583e+01 |-1.300000e+01 | 40.27%
13.89/13.97 c 14.0s| 10000 | 6313 |287515 | 28.7 |8790k| 52 | - | 100 | 404 | 100 | 166 | 25 | 401 | 822 |-1.881472e+01 |-1.300000e+01 | 30.91%
20.59/20.68 c 20.7s| 20000 | 10025 |451907 | 22.6 | 12M| 57 | 24 | 100 | 388 | 100 | 166 | 25 | 606 | 864 |-1.848555e+01 |-1.300000e+01 | 29.67%
24.30/24.38 o -14
24.30/24.38 c f24.4s| 25881 | 6833 |541682 | 20.9 |9819k| 57 | - | 100 | 427 | 100 | 166 | 25 | 761 | 915 |-1.833348e+01 |-1.400000e+01 | 23.64%
26.69/26.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
26.69/26.71 c 26.7s| 30000 | 7382 |588556 | 19.6 | 10M| 57 | 38 | 100 | 393 | 100 | 166 | 25 | 798 | 946 |-1.826818e+01 |-1.400000e+01 | 23.36%
32.09/32.11 c 32.1s| 40000 | 8488 |699119 | 17.5 | 12M| 57 | - | 100 | 334 | 100 | 166 | 25 | 873 |1072 |-1.813834e+01 |-1.400000e+01 | 22.82%
37.39/37.49 c 37.5s| 50000 | 9588 |810437 | 16.2 | 13M| 57 | 42 | 100 | 330 | 100 | 166 | 25 | 965 |1212 |-1.800867e+01 |-1.400000e+01 | 22.26%
42.59/42.64 c 42.6s| 60000 | 10386 |914031 | 15.2 | 15M| 57 | 29 | 100 | 347 | 100 | 166 | 25 |1079 |1367 |-1.790625e+01 |-1.400000e+01 | 21.82%
47.59/47.66 c 47.7s| 70000 | 11118 | 1015k| 14.5 | 16M| 57 | - | 100 | 342 | 100 | 166 | 25 |1151 |1484 |-1.781607e+01 |-1.400000e+01 | 21.42%
52.59/52.63 c 52.6s| 80000 | 11706 | 1113k| 13.9 | 17M| 57 | - | 100 | 355 | 100 | 166 | 25 |1234 |1609 |-1.772935e+01 |-1.400000e+01 | 21.03%
57.59/57.60 c 57.6s| 90000 | 12262 | 1212k| 13.5 | 18M| 57 | - | 100 | 364 | 100 | 166 | 25 |1314 |1733 |-1.765427e+01 |-1.400000e+01 | 20.70%
62.39/62.43 c 62.4s|100000 | 12768 | 1306k| 13.1 | 19M| 57 | 35 | 100 | 330 | 100 | 166 | 25 |1365 |1839 |-1.759438e+01 |-1.400000e+01 | 20.43%
67.29/67.36 c 67.4s|110000 | 13238 | 1403k| 12.8 | 20M| 57 | 34 | 100 | 319 | 100 | 166 | 25 |1424 |1967 |-1.752914e+01 |-1.400000e+01 | 20.13%
72.19/72.22 c 72.2s|120000 | 13632 | 1498k| 12.5 | 21M| 57 | 41 | 100 | 304 | 100 | 166 | 25 |1482 |2107 |-1.747089e+01 |-1.400000e+01 | 19.87%
76.89/76.99 c 77.0s|130000 | 13950 | 1590k| 12.2 | 21M| 57 | 33 | 100 | 305 | 100 | 166 | 25 |1539 |2235 |-1.741714e+01 |-1.400000e+01 | 19.62%
81.69/81.77 c 81.8s|140000 | 14236 | 1682k| 12.0 | 22M| 57 | - | 100 | 304 | 100 | 166 | 25 |1611 |2335 |-1.735614e+01 |-1.400000e+01 | 19.34%
86.50/86.53 c 86.5s|150000 | 14376 | 1773k| 11.8 | 22M| 57 | - | 100 | 273 | 100 | 166 | 25 |1642 |2455 |-1.729889e+01 |-1.400000e+01 | 19.07%
91.19/91.23 c 91.2s|160000 | 14596 | 1863k| 11.6 | 23M| 57 | - | 100 | 294 | 100 | 166 | 25 |1701 |2535 |-1.724889e+01 |-1.400000e+01 | 18.84%
95.89/95.95 c 96.0s|170000 | 14744 | 1953k| 11.5 | 23M| 57 | - | 100 | 287 | 100 | 166 | 25 |1756 |2652 |-1.720214e+01 |-1.400000e+01 | 18.61%
100.49/100.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
100.49/100.55 c 101s|180000 | 14800 | 2039k| 11.3 | 24M| 57 | 30 | 100 | 276 | 100 | 166 | 25 |1802 |2750 |-1.714932e+01 |-1.400000e+01 | 18.36%
105.09/105.12 c 105s|190000 | 14802 | 2125k| 11.2 | 24M| 57 | - | 100 | 270 | 100 | 166 | 25 |1846 |2852 |-1.711114e+01 |-1.400000e+01 | 18.18%
109.69/109.71 c 110s|200000 | 14770 | 2211k| 11.1 | 24M| 57 | 33 | 100 | 257 | 100 | 166 | 25 |1883 |2951 |-1.706754e+01 |-1.400000e+01 | 17.97%
114.29/114.33 c 114s|210000 | 14696 | 2296k| 10.9 | 24M| 57 | 40 | 100 | 243 | 100 | 166 | 25 |1910 |3041 |-1.701721e+01 |-1.400000e+01 | 17.73%
118.89/118.99 c 119s|220000 | 14648 | 2383k| 10.8 | 25M| 57 | 28 | 100 | 229 | 100 | 166 | 25 |1941 |3156 |-1.697946e+01 |-1.400000e+01 | 17.55%
123.49/123.54 c 124s|230000 | 14512 | 2466k| 10.7 | 25M| 57 | 34 | 100 | 236 | 100 | 166 | 25 |1980 |3247 |-1.693933e+01 |-1.400000e+01 | 17.35%
127.99/128.02 c 128s|240000 | 14338 | 2548k| 10.6 | 25M| 57 | - | 100 | 231 | 100 | 166 | 25 |2009 |3329 |-1.690097e+01 |-1.400000e+01 | 17.16%
132.49/132.56 c 133s|250000 | 14048 | 2630k| 10.5 | 25M| 57 | 43 | 100 | 232 | 100 | 166 | 25 |2041 |3414 |-1.685789e+01 |-1.400000e+01 | 16.95%
136.99/137.01 c 137s|260000 | 13736 | 2711k| 10.4 | 24M| 57 | - | 100 | 226 | 100 | 166 | 25 |2062 |3491 |-1.680969e+01 |-1.400000e+01 | 16.71%
141.39/141.44 c 141s|270000 | 13374 | 2791k| 10.3 | 24M| 57 | - | 100 | 212 | 100 | 166 | 25 |2093 |3567 |-1.677269e+01 |-1.400000e+01 | 16.53%
145.89/145.90 c 146s|280000 | 12986 | 2869k| 10.2 | 24M| 57 | - | 100 | 209 | 100 | 166 | 25 |2121 |3667 |-1.672519e+01 |-1.400000e+01 | 16.29%
150.18/150.27 c 150s|290000 | 12572 | 2947k| 10.2 | 24M| 57 | - | 100 | 217 | 100 | 166 | 25 |2156 |3735 |-1.667556e+01 |-1.400000e+01 | 16.04%
154.59/154.67 c 155s|300000 | 12066 | 3024k| 10.1 | 23M| 57 | - | 100 | 220 | 100 | 166 | 25 |2182 |3838 |-1.663460e+01 |-1.400000e+01 | 15.84%
158.99/159.06 c 159s|310000 | 11536 | 3101k| 10.0 | 23M| 57 | - | 100 | 223 | 100 | 166 | 25 |2210 |3926 |-1.659610e+01 |-1.400000e+01 | 15.64%
163.29/163.39 c 163s|320000 | 10996 | 3175k| 9.9 | 22M| 57 | 40 | 100 | 213 | 100 | 166 | 25 |2233 |4002 |-1.654040e+01 |-1.400000e+01 | 15.36%
167.69/167.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
167.69/167.76 c 168s|330000 | 10312 | 3249k| 9.8 | 21M| 57 | 39 | 100 | 205 | 100 | 166 | 25 |2249 |4109 |-1.648504e+01 |-1.400000e+01 | 15.07%
171.99/172.04 c 172s|340000 | 9646 | 3321k| 9.8 | 20M| 57 | 34 | 100 | 195 | 100 | 166 | 25 |2267 |4185 |-1.643079e+01 |-1.400000e+01 | 14.79%
176.30/176.30 c 176s|350000 | 8860 | 3392k| 9.7 | 19M| 57 | 36 | 100 | 194 | 100 | 166 | 25 |2289 |4257 |-1.637554e+01 |-1.400000e+01 | 14.51%
180.49/180.57 c 181s|360000 | 7914 | 3462k| 9.6 | 18M| 57 | - | 100 | 192 | 100 | 166 | 25 |2306 |4327 |-1.630857e+01 |-1.400000e+01 | 14.16%
184.79/184.83 c 185s|370000 | 6912 | 3532k| 9.5 | 17M| 57 | 35 | 100 | 189 | 100 | 166 | 25 |2321 |4398 |-1.624638e+01 |-1.400000e+01 | 13.83%
188.99/189.00 c 189s|380000 | 5844 | 3598k| 9.5 | 15M| 57 | 36 | 100 | 188 | 100 | 166 | 25 |2338 |4473 |-1.615891e+01 |-1.400000e+01 | 13.36%
193.10/193.14 c 193s|390000 | 4526 | 3663k| 9.4 | 13M| 57 | 38 | 100 | 177 | 100 | 166 | 25 |2342 |4543 |-1.605319e+01 |-1.400000e+01 | 12.79%
197.19/197.20 c 197s|400000 | 2894 | 3723k| 9.3 | 10M| 57 | 48 | 100 | 176 | 100 | 166 | 25 |2358 |4617 |-1.590752e+01 |-1.400000e+01 | 11.99%
201.09/201.16 c 201s|410000 | 368 | 3776k| 9.2 |5109k| 57 | 39 | 100 | 179 | 100 | 166 | 25 |2376 |4726 |-1.549519e+01 |-1.400000e+01 | 9.65%
201.29/201.34 c
201.29/201.34 c SCIP Status : problem is solved [optimal solution found]
201.29/201.34 c Solving Time (sec) : 201.34
201.29/201.34 c Solving Nodes : 410480
201.29/201.34 c Primal Bound : -1.40000000000000e+01 (396 solutions)
201.29/201.34 c Dual Bound : -1.40000000000000e+01
201.29/201.34 c Gap : 0.00 %
201.29/201.34 s OPTIMUM FOUND
201.29/201.34 v -x90 -x69 -x56 -x86 -x85 -x63 x60 -x57 x95 -x72 x79 -x58 x67 -x54 -x97 -x61 -x92 x66 -x52 -x98 -x84 x83 x77 -x71 -x59 -x53 -x81
201.29/201.34 v -x68 -x74 -x55 -x88 x94 -x100 x80 -x51 x87 x82 -x75 x73 -x64 -x93 -x96 x78 -x65 x99 -x62 -x76 -x89 -x70 -x91 -x50 -x49 x48 -x47
201.29/201.34 v x46 -x45 -x44 x43 x42 -x41 -x40 x39 x38 -x37 -x36 x35 -x34 -x33 -x32 x31 -x30 -x29 -x28 -x27 -x26 x25 -x24 -x23 -x22 x21
201.29/201.34 v -x20 -x19 -x18 -x17 -x16 -x15 x14 -x13 x12 x11 -x10 -x9 x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
201.29/201.34 c SCIP Status : problem is solved [optimal solution found]
201.29/201.34 c Total Time : 201.34
201.29/201.34 c solving : 201.34
201.29/201.34 c presolving : 0.03 (included in solving)
201.29/201.34 c reading : 0.00 (included in solving)
201.29/201.34 c Original Problem :
201.29/201.34 c Problem name : HOME/instance-3488658-1307786627.opb
201.29/201.34 c Variables : 716 (716 binary, 0 integer, 0 implicit integer, 0 continuous)
201.29/201.34 c Constraints : 867 initial, 867 maximal
201.29/201.34 c Presolved Problem :
201.29/201.34 c Problem name : t_HOME/instance-3488658-1307786627.opb
201.29/201.34 c Variables : 100 (100 binary, 0 integer, 0 implicit integer, 0 continuous)
201.29/201.34 c Constraints : 151 initial, 432 maximal
201.29/201.34 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
201.29/201.34 c trivial : 0.00 0 0 0 0 0 0 0 0 0
201.29/201.34 c dualfix : 0.00 616 0 0 0 0 0 0 0 0
201.29/201.34 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
201.29/201.34 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
201.29/201.34 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
201.29/201.34 c implics : 0.00 0 0 0 0 0 0 0 0 0
201.29/201.34 c probing : 0.00 0 0 0 0 0 0 0 0 0
201.29/201.34 c knapsack : 0.00 0 0 0 0 0 0 0 0 0
201.29/201.34 c setppc : 0.00 0 0 0 0 0 0 0 0 0
201.29/201.34 c linear : 0.00 0 0 0 0 0 0 0 0 0
201.29/201.34 c logicor : 0.00 0 0 0 0 0 0 0 0 0
201.29/201.34 c pseudoboolean : 0.00 0 0 0 0 0 816 100 0 0
201.29/201.34 c root node : - 2 - - 2 - - - - -
201.29/201.34 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
201.29/201.34 c integral : 0 0 0 209456 0 399 0 278 1918 0 0 415580
201.29/201.34 c knapsack : 100 6 754695 2 0 394 32371 592 1134416 0 0 0
201.29/201.34 c setppc : 50 6 753271 1 0 393 5081 0 138130 0 0 0
201.29/201.34 c linear : 1+ 7 754103 2 0 393 2 241 10 0 0 0
201.29/201.34 c logicor : 0+ 0 257385 0 0 0 18 5 1007 0 0 0
201.29/201.34 c countsols : 0 0 0 2 0 397 0 0 0 0 0 0
201.29/201.34 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
201.29/201.34 c integral : 7.10 0.00 0.00 7.10 0.00 0.00 0.00
201.29/201.34 c knapsack : 3.89 0.00 3.87 0.00 0.00 0.01 0.01
201.29/201.34 c setppc : 0.55 0.00 0.55 0.00 0.00 0.00 0.00
201.29/201.34 c linear : 0.65 0.00 0.65 0.00 0.00 0.00 0.00
201.29/201.34 c logicor : 0.61 0.00 0.61 0.00 0.00 0.00 0.00
201.29/201.34 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
201.29/201.34 c Propagators : #Propagate #Resprop Cutoffs DomReds
201.29/201.34 c vbounds : 0 0 0 0
201.29/201.34 c rootredcost : 4 0 0 0
201.29/201.34 c pseudoobj : 761743 3764 532 7498
201.29/201.34 c Propagator Timings : TotalTime Propagate Resprop
201.29/201.34 c vbounds : 0.13 0.13 0.00
201.29/201.34 c rootredcost : 0.13 0.13 0.00
201.29/201.34 c pseudoobj : 1.42 1.41 0.01
201.29/201.34 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
201.29/201.34 c propagation : 0.05 1370 1359 7561 32.3 0 0.0 -
201.29/201.34 c infeasible LP : 0.01 503 503 1027 17.7 0 0.0 0
201.29/201.34 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
201.29/201.34 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
201.29/201.34 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
201.29/201.34 c applied globally : - - - 2200 19.8 - - -
201.29/201.34 c applied locally : - - - 188 40.8 - - -
201.29/201.34 c Separators : Time Calls Cutoffs DomReds Cuts Conss
201.29/201.34 c cut pool : 0.00 5 - - 18 - (maximal pool size: 321)
201.29/201.34 c redcost : 1.19 287537 0 238538 0 0
201.29/201.34 c impliedbounds : 0.00 6 0 0 0 0
201.29/201.34 c intobj : 0.00 0 0 0 0 0
201.29/201.34 c gomory : 0.02 6 0 0 0 0
201.29/201.34 c cgmip : 0.00 0 0 0 0 0
201.29/201.34 c closecuts : 0.00 0 0 0 0 0
201.29/201.34 c strongcg : 0.02 6 0 0 302 0
201.29/201.34 c cmir : 0.01 6 0 0 19 0
201.29/201.34 c flowcover : 0.02 6 0 0 0 0
201.29/201.34 c clique : 0.00 1 0 0 0 0
201.29/201.34 c zerohalf : 0.00 0 0 0 0 0
201.29/201.34 c mcf : 0.00 1 0 0 0 0
201.29/201.34 c oddcycle : 0.00 0 0 0 0 0
201.29/201.34 c rapidlearning : 0.02 1 0 0 0 1
201.29/201.34 c Pricers : Time Calls Vars
201.29/201.34 c problem variables: 0.00 0 0
201.29/201.34 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
201.29/201.34 c relpscost : 6.99 209454 278 1918 0 0 415580
201.29/201.34 c pscost : 0.00 0 0 0 0 0 0
201.29/201.34 c inference : 0.00 0 0 0 0 0 0
201.29/201.34 c mostinf : 0.00 0 0 0 0 0 0
201.29/201.34 c leastinf : 0.00 0 0 0 0 0 0
201.29/201.34 c fullstrong : 0.00 0 0 0 0 0 0
201.29/201.34 c allfullstrong : 0.00 0 0 0 0 0 0
201.29/201.34 c random : 0.00 0 0 0 0 0 0
201.29/201.34 c Primal Heuristics : Time Calls Found
201.29/201.34 c LP solutions : 0.00 - 2
201.29/201.34 c pseudo solutions : 0.00 - 0
201.29/201.34 c feaspump : 0.01 0 0
201.29/201.34 c oneopt : 0.09 4 0
201.29/201.34 c crossover : 0.26 2 1
201.29/201.34 c coefdiving : 0.86 353 0
201.29/201.34 c veclendiving : 0.79 353 0
201.29/201.34 c pscostdiving : 0.84 353 0
201.29/201.34 c fracdiving : 0.61 353 1
201.29/201.34 c linesearchdiving : 0.63 353 0
201.29/201.34 c guideddiving : 0.61 353 0
201.29/201.34 c objpscostdiving : 1.26 177 83
201.29/201.34 c rootsoldiving : 0.60 177 70
201.29/201.34 c trivial : 0.00 2 1
201.29/201.34 c shiftandpropagate: 0.00 0 0
201.29/201.34 c simplerounding : 0.06 0 0
201.29/201.34 c zirounding : 2.96 0 0
201.29/201.34 c rounding : 1.68 23156 1
201.29/201.34 c shifting : 4.76 23533 236
201.29/201.34 c intshifting : 0.00 0 0
201.29/201.34 c twoopt : 0.00 0 0
201.29/201.34 c fixandinfer : 0.00 0 0
201.29/201.34 c clique : 0.00 0 0
201.29/201.34 c intdiving : 0.00 0 0
201.29/201.34 c actconsdiving : 0.00 0 0
201.29/201.34 c octane : 0.00 0 0
201.29/201.34 c rens : 0.01 0 0
201.29/201.34 c rins : 0.00 0 0
201.29/201.34 c localbranching : 0.00 0 0
201.29/201.34 c mutation : 0.00 0 0
201.29/201.34 c dins : 0.00 0 0
201.29/201.34 c vbounds : 0.00 0 0
201.29/201.34 c undercover : 0.00 0 0
201.29/201.34 c subnlp : 0.07 0 0
201.29/201.34 c trysol : 0.09 0 0
201.29/201.34 c LP : Time Calls Iterations Iter/call Iter/sec
201.29/201.34 c primal LP : 0.00 0 0 0.00 -
201.29/201.34 c dual LP : 142.26 436166 3636342 8.34 25560.39
201.29/201.34 c lex dual LP : 0.00 0 0 0.00 -
201.29/201.34 c barrier LP : 0.00 0 0 0.00 -
201.29/201.34 c diving/probing LP: 4.95 29557 142496 4.82 28794.37
201.29/201.34 c strong branching : 4.48 4730 97911 20.70 21839.75
201.29/201.34 c (at root node) : - 26 4381 168.50 -
201.29/201.34 c conflict analysis: 0.00 0 0 0.00 -
201.29/201.34 c B&B Tree :
201.29/201.34 c number of runs : 1
201.29/201.34 c nodes : 410480
201.29/201.34 c nodes (total) : 410480
201.29/201.34 c nodes left : 0
201.29/201.34 c max depth : 57
201.29/201.34 c max depth (total): 57
201.29/201.34 c backtracks : 68194 (16.6%)
201.29/201.34 c delayed cutoffs : 0
201.29/201.34 c repropagations : 1792 (971 domain reductions, 0 cutoffs)
201.29/201.34 c avg switch length: 7.51
201.29/201.34 c switching time : 8.34
201.29/201.34 c Solution :
201.29/201.34 c Solutions found : 396 (6 improvements)
201.29/201.34 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
201.29/201.34 c Primal Bound : -1.40000000000000e+01 (in run 1, after 25881 nodes, 24.38 seconds, depth 40, found by <fracdiving>)
201.29/201.34 c Dual Bound : -1.40000000000000e+01
201.29/201.34 c Gap : 0.00 %
201.29/201.34 c Root Dual Bound : -2.49999999999999e+01
201.29/201.34 c Root Iterations : 414
201.29/201.35 c Time complete: 201.34.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3488658-1307786627/watcher-3488658-1307786627 -o /tmp/evaluation-result-3488658-1307786627/solver-3488658-1307786627 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488658-1307786627.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 1.91 2/172 32091
/proc/meminfo: memFree=28924148/32951132 swapFree=67061148/67111528
[pid=32091] ppid=32089 vsize=12696 CPUtime=0 cores=0,2,4,6
/proc/32091/stat : 32091 (scip-2.0.1.4b_2) R 32089 32091 31747 0 -1 4202496 2157 0 0 0 0 0 0 0 25 0 1 0 890262368 13000704 2112 33554432000 4194304 9016284 140733237086128 18446744073709551615 5038704 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/32091/statm: 3174 2116 368 1178 0 1992 0
[startup+0.0906591 s]
/proc/loadavg: 2.00 2.00 1.91 2/172 32091
/proc/meminfo: memFree=28924148/32951132 swapFree=67061148/67111528
[pid=32091] ppid=32089 vsize=30636 CPUtime=0.08 cores=0,2,4,6
/proc/32091/stat : 32091 (scip-2.0.1.4b_2) R 32089 32091 31747 0 -1 4202496 7315 0 0 0 8 0 0 0 25 0 1 0 890262368 31371264 6307 33554432000 4194304 9016284 140733237086128 18446744073709551615 4399856 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32091/statm: 7659 6307 701 1178 0 6477 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 30636
[startup+0.100654 s]
/proc/loadavg: 2.00 2.00 1.91 2/172 32091
/proc/meminfo: memFree=28924148/32951132 swapFree=67061148/67111528
[pid=32091] ppid=32089 vsize=30636 CPUtime=0.09 cores=0,2,4,6
/proc/32091/stat : 32091 (scip-2.0.1.4b_2) R 32089 32091 31747 0 -1 4202496 7315 0 0 0 9 0 0 0 25 0 1 0 890262368 31371264 6307 33554432000 4194304 9016284 140733237086128 18446744073709551615 6578058 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32091/statm: 7659 6307 701 1178 0 6477 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30636
[startup+0.300621 s]
/proc/loadavg: 2.00 2.00 1.91 2/172 32091
/proc/meminfo: memFree=28924148/32951132 swapFree=67061148/67111528
[pid=32091] ppid=32089 vsize=30704 CPUtime=0.29 cores=0,2,4,6
/proc/32091/stat : 32091 (scip-2.0.1.4b_2) R 32089 32091 31747 0 -1 4202496 7515 0 0 0 29 0 0 0 25 0 1 0 890262368 31440896 6507 33554432000 4194304 9016284 140733237086128 18446744073709551615 7219374 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32091/statm: 7676 6507 705 1178 0 6494 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 30704
[startup+0.700554 s]
/proc/loadavg: 2.00 2.00 1.91 2/172 32091
/proc/meminfo: memFree=28924148/32951132 swapFree=67061148/67111528
[pid=32091] ppid=32089 vsize=30704 CPUtime=0.69 cores=0,2,4,6
/proc/32091/stat : 32091 (scip-2.0.1.4b_2) R 32089 32091 31747 0 -1 4202496 7517 0 0 0 68 1 0 0 25 0 1 0 890262368 31440896 6509 33554432000 4194304 9016284 140733237086128 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32091/statm: 7676 6509 707 1178 0 6494 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 30704
[startup+1.50042 s]
/proc/loadavg: 2.00 2.00 1.91 3/173 32092
/proc/meminfo: memFree=28897640/32951132 swapFree=67061148/67111528
[pid=32091] ppid=32089 vsize=30704 CPUtime=1.49 cores=0,2,4,6
/proc/32091/stat : 32091 (scip-2.0.1.4b_2) R 32089 32091 31747 0 -1 4202496 7519 0 0 0 146 3 0 0 25 0 1 0 890262368 31440896 6511 33554432000 4194304 9016284 140733237086128 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32091/statm: 7676 6511 709 1178 0 6494 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 30704
[startup+3.10417 s]
/proc/loadavg: 2.00 2.00 1.91 3/173 32092
/proc/meminfo: memFree=28892748/32951132 swapFree=67061148/67111528
[pid=32091] ppid=32089 vsize=30788 CPUtime=3.09 cores=0,2,4,6
/proc/32091/stat : 32091 (scip-2.0.1.4b_2) R 32089 32091 31747 0 -1 4202496 8460 0 0 0 303 6 0 0 25 0 1 0 890262368 31526912 6664 33554432000 4194304 9016284 140733237086128 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32091/statm: 7697 6664 713 1178 0 6515 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 30788
[startup+6.30282 s]
/proc/loadavg: 2.08 2.02 1.92 3/173 32092
/proc/meminfo: memFree=28887792/32951132 swapFree=67061148/67111528
[pid=32091] ppid=32089 vsize=31812 CPUtime=6.3 cores=0,2,4,6
/proc/32091/stat : 32091 (scip-2.0.1.4b_2) R 32089 32091 31747 0 -1 4202496 8748 0 0 0 616 14 0 0 25 0 1 0 890262368 32575488 6952 33554432000 4194304 9016284 140733237086128 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32091/statm: 7953 6952 713 1178 0 6771 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 31812
[startup+12.7015 s]
/proc/loadavg: 2.15 2.03 1.93 3/173 32092
/proc/meminfo: memFree=28878708/32951132 swapFree=67061148/67111528
[pid=32091] ppid=32089 vsize=32196 CPUtime=12.7 cores=0,2,4,6
/proc/32091/stat : 32091 (scip-2.0.1.4b_2) R 32089 32091 31747 0 -1 4202496 9724 0 0 0 1240 30 0 0 25 0 1 0 890262368 32968704 7096 33554432000 4194304 9016284 140733237086128 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32091/statm: 8049 7096 713 1178 0 6867 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 32196
[startup+25.5004 s]
/proc/loadavg: 2.19 2.05 1.93 3/173 32092
/proc/meminfo: memFree=28839540/32951132 swapFree=67061148/67111528
[pid=32091] ppid=32089 vsize=37708 CPUtime=25.49 cores=0,2,4,6
/proc/32091/stat : 32091 (scip-2.0.1.4b_2) R 32089 32091 31747 0 -1 4202496 20467 0 0 0 2483 66 0 0 25 0 1 0 890262368 38612992 8470 33554432000 4194304 9016284 140733237086128 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32091/statm: 9427 8470 716 1178 0 8245 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 37708
[startup+51.1011 s]
/proc/loadavg: 2.12 2.04 1.93 3/173 32092
/proc/meminfo: memFree=28837124/32951132 swapFree=67061148/67111528
[pid=32091] ppid=32089 vsize=41264 CPUtime=51.09 cores=0,2,4,6
/proc/32091/stat : 32091 (scip-2.0.1.4b_2) R 32089 32091 31747 0 -1 4202496 29605 0 0 0 4975 134 0 0 25 0 1 0 890262368 42254336 9391 33554432000 4194304 9016284 140733237086128 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32091/statm: 10316 9391 716 1178 0 9134 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 41264
[startup+102.3 s]
/proc/loadavg: 2.05 2.03 1.93 3/173 32094
/proc/meminfo: memFree=28828732/32951132 swapFree=67061148/67111528
[pid=32091] ppid=32089 vsize=48288 CPUtime=102.29 cores=0,2,4,6
/proc/32091/stat : 32091 (scip-2.0.1.4b_2) R 32089 32091 31747 0 -1 4202496 32966 0 0 0 9971 258 0 0 25 0 1 0 890262368 49446912 11106 33554432000 4194304 9016284 140733237086128 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32091/statm: 12072 11106 716 1178 0 10890 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 48288
[startup+162.3 s]
/proc/loadavg: 2.02 2.02 1.93 3/173 32099
/proc/meminfo: memFree=28827740/32951132 swapFree=67061148/67111528
[pid=32091] ppid=32089 vsize=48688 CPUtime=162.29 cores=0,2,4,6
/proc/32091/stat : 32091 (scip-2.0.1.4b_2) R 32089 32091 31747 0 -1 4202496 34733 0 0 0 15838 391 0 0 25 0 1 0 890262368 49856512 11223 33554432000 4194304 9016284 140733237086128 18446744073709551615 5879376 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32091/statm: 12172 11223 716 1178 0 10990 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 48688
Solver just ended. Dumping a history of the last processes samples
[startup+180.5 s]
/proc/loadavg: 2.01 2.02 1.93 3/173 32099
/proc/meminfo: memFree=28827804/32951132 swapFree=67061148/67111528
[pid=32091] ppid=32089 vsize=48688 CPUtime=180.49 cores=0,2,4,6
/proc/32091/stat : 32091 (scip-2.0.1.4b_2) R 32089 32091 31747 0 -1 4202496 34733 0 0 0 17619 430 0 0 25 0 1 0 890262368 49856512 11223 33554432000 4194304 9016284 140733237086128 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32091/statm: 12172 11223 716 1178 0 10990 0
Current children cumulated CPU time (s) 180.49
Current children cumulated vsize (KiB) 48688
[startup+193.301 s]
/proc/loadavg: 2.01 2.02 1.93 3/173 32099
/proc/meminfo: memFree=28827928/32951132 swapFree=67061148/67111528
[pid=32091] ppid=32089 vsize=48688 CPUtime=193.29 cores=0,2,4,6
/proc/32091/stat : 32091 (scip-2.0.1.4b_2) R 32089 32091 31747 0 -1 4202496 34733 0 0 0 18869 460 0 0 25 0 1 0 890262368 49856512 11223 33554432000 4194304 9016284 140733237086128 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32091/statm: 12172 11223 716 1178 0 10990 0
Current children cumulated CPU time (s) 193.29
Current children cumulated vsize (KiB) 48688
[startup+196.501 s]
/proc/loadavg: 2.01 2.02 1.93 3/173 32099
/proc/meminfo: memFree=28827928/32951132 swapFree=67061148/67111528
[pid=32091] ppid=32089 vsize=48688 CPUtime=196.49 cores=0,2,4,6
/proc/32091/stat : 32091 (scip-2.0.1.4b_2) R 32089 32091 31747 0 -1 4202496 34733 0 0 0 19182 467 0 0 25 0 1 0 890262368 49856512 11223 33554432000 4194304 9016284 140733237086128 18446744073709551615 7199023 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32091/statm: 12172 11223 716 1178 0 10990 0
Current children cumulated CPU time (s) 196.49
Current children cumulated vsize (KiB) 48688
[startup+199.701 s]
/proc/loadavg: 2.01 2.02 1.93 3/173 32099
/proc/meminfo: memFree=28827928/32951132 swapFree=67061148/67111528
[pid=32091] ppid=32089 vsize=48688 CPUtime=199.69 cores=0,2,4,6
/proc/32091/stat : 32091 (scip-2.0.1.4b_2) R 32089 32091 31747 0 -1 4202496 34733 0 0 0 19494 475 0 0 25 0 1 0 890262368 49856512 11223 33554432000 4194304 9016284 140733237086128 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32091/statm: 12172 11223 716 1178 0 10990 0
Current children cumulated CPU time (s) 199.69
Current children cumulated vsize (KiB) 48688
[startup+200.506 s]
/proc/loadavg: 2.01 2.02 1.93 3/173 32099
/proc/meminfo: memFree=28827928/32951132 swapFree=67061148/67111528
[pid=32091] ppid=32089 vsize=48688 CPUtime=200.5 cores=0,2,4,6
/proc/32091/stat : 32091 (scip-2.0.1.4b_2) R 32089 32091 31747 0 -1 4202496 34733 0 0 0 19573 477 0 0 25 0 1 0 890262368 49856512 11223 33554432000 4194304 9016284 140733237086128 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32091/statm: 12172 11223 716 1178 0 10990 0
Current children cumulated CPU time (s) 200.5
Current children cumulated vsize (KiB) 48688
[startup+200.901 s]
/proc/loadavg: 2.01 2.02 1.93 3/173 32099
/proc/meminfo: memFree=28827928/32951132 swapFree=67061148/67111528
[pid=32091] ppid=32089 vsize=48688 CPUtime=200.89 cores=0,2,4,6
/proc/32091/stat : 32091 (scip-2.0.1.4b_2) R 32089 32091 31747 0 -1 4202496 34733 0 0 0 19611 478 0 0 25 0 1 0 890262368 49856512 11223 33554432000 4194304 9016284 140733237086128 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32091/statm: 12172 11223 716 1178 0 10990 0
Current children cumulated CPU time (s) 200.89
Current children cumulated vsize (KiB) 48688
[startup+201.301 s]
/proc/loadavg: 2.01 2.02 1.93 3/173 32099
/proc/meminfo: memFree=28827928/32951132 swapFree=67061148/67111528
[pid=32091] ppid=32089 vsize=48688 CPUtime=201.29 cores=0,2,4,6
/proc/32091/stat : 32091 (scip-2.0.1.4b_2) R 32089 32091 31747 0 -1 4202496 34733 0 0 0 19651 478 0 0 25 0 1 0 890262368 49856512 11223 33554432000 4194304 9016284 140733237086128 18446744073709551615 5214590 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32091/statm: 12172 11223 716 1178 0 10990 0
Current children cumulated CPU time (s) 201.29
Current children cumulated vsize (KiB) 48688
Child status: 0
Real time (s): 201.351
CPU time (s): 201.349
CPU user time (s): 196.557
CPU system time (s): 4.79227
CPU usage (%): 99.9993
Max. virtual memory (cumulated for all children) (KiB): 48688
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 196.557
system time used= 4.79227
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34740
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 324
runsolver used 1.01684 second user time and 2.07768 second system time
The end
Begin job on node129 at 2011-06-11 12:03:47
IDJOB=3488658
IDBENCH=48262
IDSOLVER=1979
FILE ID=node129/3488658-1307786627
RUNJOBID= node129-1307783030-31765
PBS_JOBID= 13550887
Free space on /tmp= 74084 MiB
SOLVER NAME= SCIP spx E_2 2011-06-10 (fixed)
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_10_2.opb
COMMAND LINE= HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3488658-1307786627/watcher-3488658-1307786627 -o /tmp/evaluation-result-3488658-1307786627/solver-3488658-1307786627 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488658-1307786627.opb -t 1800 -m 15500
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 2468d4642d986af58e932976ec0c4f0e
RANDOM SEED=1348714581
node129.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.831
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.66
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.831
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.83
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.831
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.75
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.831
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.82
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.831
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.74
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.831
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.83
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.831
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.75
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.831
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.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951132 kB
MemFree: 28924452 kB
Buffers: 422132 kB
Cached: 3163780 kB
SwapCached: 13132 kB
Active: 1243860 kB
Inactive: 2524292 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951132 kB
LowFree: 28924452 kB
SwapTotal: 67111528 kB
SwapFree: 67061148 kB
Dirty: 34568 kB
Writeback: 4 kB
AnonPages: 178816 kB
Mapped: 11744 kB
Slab: 195612 kB
PageTables: 4372 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587092 kB
Committed_AS: 344024 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 74068 MiB
End job on node129 at 2011-06-11 12:07:09