Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 2006/05 | ? | 1800.01 | 1800.81 |
Name | normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-65-60.opb |
MD5SUM | 6f6d5bf9df98767681bd16885050de4b |
Bench Category | SATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 0.033994 |
Has Objective Function | NO |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 3900 |
Total number of constraints | 125 |
Number of constraints which are clauses | 65 |
Number of constraints which are cardinality constraints (but not clauses) | 60 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 60 |
Maximum length of a constraint | 65 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 66 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.02 c Time Limit set via PBTIMEOUT to 1800 0.05 c INFO: OSL Context initialized. 0.09 c Initial problem consists of 3900 variables and 125 constraints. 0.10 c Using non-optimization problem switches. 0.10 c No problem reductions applied in OPT. instance. 0.10 c preprocess terminated. Elapsed time: 0.049 0.10 c After prepocess the problem consists of 3900 variables and 125 constraints. 0.15 c Restart #1 #Var: 3900 LB: 0 @ 0.104 0.24 c Restart #2 #Var: 3900 LB: 0 @ 0.196 0.35 c Restart #3 #Var: 3900 LB: 0 @ 0.303 0.47 c Restart #4 #Var: 3900 LB: 0 @ 0.428 0.62 c Restart #5 #Var: 3900 LB: 0 @ 0.57 0.78 c Restart #6 #Var: 3900 LB: 0 @ 0.736 0.96 c Restart #7 #Var: 3900 LB: 0 @ 0.917 1.18 c Restart #8 #Var: 3900 LB: 0 @ 1.131 1.43 c Restart #9 #Var: 3900 LB: 0 @ 1.387 1.71 c Restart #10 #Var: 3900 LB: 0 @ 1.659 2.02 c Restart #11 #Var: 3900 LB: 0 @ 1.971 2.35 c Restart #12 #Var: 3900 LB: 0 @ 2.3 2.71 c Restart #13 #Var: 3900 LB: 0 @ 2.659 3.09 c Restart #14 #Var: 3900 LB: 0 @ 3.042 3.51 c Restart #15 #Var: 3900 LB: 0 @ 3.459 3.96 c Restart #16 #Var: 3900 LB: 0 @ 3.915 4.47 c Restart #17 #Var: 3900 LB: 0 @ 4.417 5.00 c Restart #18 #Var: 3900 LB: 0 @ 4.948 5.56 c Restart #19 #Var: 3900 LB: 0 @ 5.51 6.15 c Restart #20 #Var: 3900 LB: 0 @ 6.098 6.77 c Restart #21 #Var: 3900 LB: 0 @ 6.718 7.41 c Restart #22 #Var: 3900 LB: 0 @ 7.362 8.10 c Restart #23 #Var: 3900 LB: 0 @ 8.046 8.81 c Restart #24 #Var: 3900 LB: 0 @ 8.755 9.56 c Restart #25 #Var: 3900 LB: 0 @ 9.507 11.01 c Restart #26 #Var: 3900 LB: 0 @ 10.959 12.95 c Restart #27 #Var: 3900 LB: 0 @ 12.897 14.32 c Restart #28 #Var: 3900 LB: 0 @ 14.262 15.12 c Restart #29 #Var: 3900 LB: 0 @ 15.07 15.98 c Restart #30 #Var: 3900 LB: 0 @ 15.93 16.87 c Restart #31 #Var: 3900 LB: 0 @ 16.819 17.77 c Restart #32 #Var: 3900 LB: 0 @ 17.721 18.74 c Restart #33 #Var: 3900 LB: 0 @ 18.689 19.70 c Restart #34 #Var: 3900 LB: 0 @ 19.648 20.67 c Restart #35 #Var: 3900 LB: 0 @ 20.617 21.69 c Restart #36 #Var: 3900 LB: 0 @ 21.63 22.72 c Restart #37 #Var: 3900 LB: 0 @ 22.666 23.76 c Restart #38 #Var: 3900 LB: 0 @ 23.707 24.83 c Restart #39 #Var: 3900 LB: 0 @ 24.775 25.91 c Restart #40 #Var: 3900 LB: 0 @ 25.858 27.04 c Restart #41 #Var: 3900 LB: 0 @ 26.981 28.22 c Restart #42 #Var: 3900 LB: 0 @ 28.158 29.44 c Restart #43 #Var: 3900 LB: 0 @ 29.379 30.69 c Restart #44 #Var: 3900 LB: 0 @ 30.634 31.99 c Restart #45 #Var: 3900 LB: 0 @ 31.928 33.28 c Restart #46 #Var: 3900 LB: 0 @ 33.217 34.61 c Restart #47 #Var: 3900 LB: 0 @ 34.545 35.95 c Restart #48 #Var: 3900 LB: 0 @ 35.89 37.36 c Restart #49 #Var: 3900 LB: 0 @ 37.295 38.77 c Restart #50 #Var: 3900 LB: 0 @ 38.705 40.23 c Restart #51 #Var: 3900 LB: 0 @ 40.164 41.67 c Restart #52 #Var: 3900 LB: 0 @ 41.606 43.15 c Restart #53 #Var: 3900 LB: 0 @ 43.09 44.69 c Restart #54 #Var: 3900 LB: 0 @ 44.631 46.28 c Restart #55 #Var: 3900 LB: 0 @ 46.219 47.82 c Restart #56 #Var: 3900 LB: 0 @ 47.756 49.42 c Restart #57 #Var: 3900 LB: 0 @ 49.353 51.13 c Restart #58 #Var: 3900 LB: 0 @ 51.061 52.86 c Restart #59 #Var: 3900 LB: 0 @ 52.791 54.51 c Restart #60 #Var: 3900 LB: 0 @ 54.443 56.23 c Restart #61 #Var: 3900 LB: 0 @ 56.165 58.00 c Restart #62 #Var: 3900 LB: 0 @ 57.934 59.81 c Restart #63 #Var: 3900 LB: 0 @ 59.736 61.61 c Restart #64 #Var: 3900 LB: 0 @ 61.538 63.41 c Restart #65 #Var: 3900 LB: 0 @ 63.342 65.24 c Restart #66 #Var: 3900 LB: 0 @ 65.174 67.14 c Restart #67 #Var: 3900 LB: 0 @ 67.064 69.08 c Restart #68 #Var: 3900 LB: 0 @ 69.004 71.04 c Restart #69 #Var: 3900 LB: 0 @ 70.97 73.06 c Restart #70 #Var: 3900 LB: 0 @ 72.981 74.94 c Restart #71 #Var: 3900 LB: 0 @ 74.866 77.00 c Restart #72 #Var: 3900 LB: 0 @ 76.923 79.00 c Restart #73 #Var: 3900 LB: 0 @ 78.922 81.01 c Restart #74 #Var: 3900 LB: 0 @ 80.937 83.03 c Restart #75 #Var: 3900 LB: 0 @ 82.949 85.08 c Restart #76 #Var: 3900 LB: 0 @ 85.003 87.22 c Restart #77 #Var: 3900 LB: 0 @ 87.14 89.63 c Restart #78 #Var: 3900 LB: 0 @ 89.545 91.79 c Restart #79 #Var: 3900 LB: 0 @ 91.707 93.97 c Restart #80 #Var: 3900 LB: 0 @ 93.887 96.14 c Restart #81 #Var: 3900 LB: 0 @ 96.062 98.32 c Restart #82 #Var: 3900 LB: 0 @ 98.241 100.54 c Restart #83 #Var: 3900 LB: 0 @ 100.46 102.77 c Restart #84 #Var: 3900 LB: 0 @ 102.69 105.04 c Restart #85 #Var: 3900 LB: 0 @ 104.95 107.32 c Restart #86 #Var: 3900 LB: 0 @ 107.24 109.64 c Restart #87 #Var: 3900 LB: 0 @ 109.55 112.05 c Restart #88 #Var: 3900 LB: 0 @ 111.96 114.51 c Restart #89 #Var: 3900 LB: 0 @ 114.42 116.91 c Restart #90 #Var: 3900 LB: 0 @ 116.82 119.38 c Restart #91 #Var: 3900 LB: 0 @ 119.29 121.88 c Restart #92 #Var: 3900 LB: 0 @ 121.78 124.46 c Restart #93 #Var: 3900 LB: 0 @ 124.37 127.07 c Restart #94 #Var: 3900 LB: 0 @ 126.97 129.67 c Restart #95 #Var: 3900 LB: 0 @ 129.57 132.26 c Restart #96 #Var: 3900 LB: 0 @ 132.17 134.92 c Restart #97 #Var: 3900 LB: 0 @ 134.83 137.60 c Restart #98 #Var: 3900 LB: 0 @ 137.5 140.22 c Restart #99 #Var: 3900 LB: 0 @ 140.12 142.93 c Restart #100 #Var: 3900 LB: 0 @ 142.83 145.63 c Restart #101 #Var: 3900 LB: 0 @ 145.53 148.43 c Restart #102 #Var: 3900 LB: 0 @ 148.33 151.20 c Restart #103 #Var: 3900 LB: 0 @ 151.1 154.15 c Restart #104 #Var: 3900 LB: 0 @ 154.04 156.97 c Restart #105 #Var: 3900 LB: 0 @ 156.87 159.85 c Restart #106 #Var: 3900 LB: 0 @ 159.75 162.78 c Restart #107 #Var: 3900 LB: 0 @ 162.68 165.74 c Restart #108 #Var: 3900 LB: 0 @ 165.63 168.69 c Restart #109 #Var: 3900 LB: 0 @ 168.58 171.62 c Restart #110 #Var: 3900 LB: 0 @ 171.51 174.58 c Restart #111 #Var: 3900 LB: 0 @ 174.47 177.67 c Restart #112 #Var: 3900 LB: 0 @ 177.56 180.69 c Restart #113 #Var: 3900 LB: 0 @ 180.57 183.80 c Restart #114 #Var: 3900 LB: 0 @ 183.69 186.98 c Restart #115 #Var: 3900 LB: 0 @ 186.87 190.20 c Restart #116 #Var: 3900 LB: 0 @ 190.08 193.42 c Restart #117 #Var: 3900 LB: 0 @ 193.31 196.67 c Restart #118 #Var: 3900 LB: 0 @ 196.55 199.95 c Restart #119 #Var: 3900 LB: 0 @ 199.83 203.23 c Restart #120 #Var: 3900 LB: 0 @ 203.1 206.56 c Restart #121 #Var: 3900 LB: 0 @ 206.43 209.92 c Restart #122 #Var: 3900 LB: 0 @ 209.79 213.37 c Restart #123 #Var: 3900 LB: 0 @ 213.25 216.85 c Restart #124 #Var: 3900 LB: 0 @ 216.73 220.18 c Restart #125 #Var: 3900 LB: 0 @ 220.05 223.60 c Restart #126 #Var: 3900 LB: 0 @ 223.47 227.06 c Restart #127 #Var: 3900 LB: 0 @ 226.93 230.59 c Restart #128 #Var: 3900 LB: 0 @ 230.46 234.18 c Restart #129 #Var: 3900 LB: 0 @ 234.05 237.82 c Restart #130 #Var: 3900 LB: 0 @ 237.68 241.45 c Restart #131 #Var: 3900 LB: 0 @ 241.31 245.04 c Restart #132 #Var: 3900 LB: 0 @ 244.9 248.60 c Restart #133 #Var: 3900 LB: 0 @ 248.46 252.44 c Restart #134 #Var: 3900 LB: 0 @ 252.3 256.23 c Restart #135 #Var: 3900 LB: 0 @ 256.08 260.00 c Restart #136 #Var: 3900 LB: 0 @ 259.85 263.70 c Restart #137 #Var: 3900 LB: 0 @ 263.56 267.53 c Restart #138 #Var: 3900 LB: 0 @ 267.39 271.41 c Restart #139 #Var: 3900 LB: 0 @ 271.26 275.43 c Restart #140 #Var: 3900 LB: 0 @ 275.28 279.36 c Restart #141 #Var: 3900 LB: 0 @ 279.21 283.19 c Restart #142 #Var: 3900 LB: 0 @ 283.04 287.13 c Restart #143 #Var: 3900 LB: 0 @ 286.97 291.28 c Restart #144 #Var: 3900 LB: 0 @ 291.13 295.24 c Restart #145 #Var: 3900 LB: 0 @ 295.08 299.30 c Restart #146 #Var: 3900 LB: 0 @ 299.14 303.29 c Restart #147 #Var: 3900 LB: 0 @ 303.13 307.23 c Restart #148 #Var: 3900 LB: 0 @ 307.07 311.40 c Restart #149 #Var: 3900 LB: 0 @ 311.24 315.55 c Restart #150 #Var: 3900 LB: 0 @ 315.39 319.76 c Restart #151 #Var: 3900 LB: 0 @ 319.59 324.09 c Restart #152 #Var: 3900 LB: 0 @ 323.92 328.48 c Restart #153 #Var: 3900 LB: 0 @ 328.31 332.74 c Restart #154 #Var: 3900 LB: 0 @ 332.57 337.17 c Restart #155 #Var: 3900 LB: 0 @ 337 341.60 c Restart #156 #Var: 3900 LB: 0 @ 341.43 345.93 c Restart #157 #Var: 3900 LB: 0 @ 345.76 350.47 c Restart #158 #Var: 3900 LB: 0 @ 350.3 355.10 c Restart #159 #Var: 3900 LB: 0 @ 354.92 359.66 c Restart #160 #Var: 3900 LB: 0 @ 359.49 364.20 c Restart #161 #Var: 3900 LB: 0 @ 364.02 368.68 c Restart #162 #Var: 3900 LB: 0 @ 368.49 373.22 c Restart #163 #Var: 3900 LB: 0 @ 373.04 377.90 c Restart #164 #Var: 3900 LB: 0 @ 377.71 382.70 c Restart #165 #Var: 3900 LB: 0 @ 382.52 387.42 c Restart #166 #Var: 3900 LB: 0 @ 387.23 392.01 c Restart #167 #Var: 3900 LB: 0 @ 391.82 396.78 c Restart #168 #Var: 3900 LB: 0 @ 396.59 401.44 c Restart #169 #Var: 3900 LB: 0 @ 401.25 406.27 c Restart #170 #Var: 3900 LB: 0 @ 406.07 411.06 c Restart #171 #Var: 3900 LB: 0 @ 410.86 415.94 c Restart #172 #Var: 3900 LB: 0 @ 415.74 420.89 c Restart #173 #Var: 3900 LB: 0 @ 420.69 425.91 c Restart #174 #Var: 3900 LB: 0 @ 425.71 430.91 c Restart #175 #Var: 3900 LB: 0 @ 430.71 435.85 c Restart #176 #Var: 3900 LB: 0 @ 435.64 440.79 c Restart #177 #Var: 3900 LB: 0 @ 440.58 445.89 c Restart #178 #Var: 3900 LB: 0 @ 445.68 450.91 c Restart #179 #Var: 3900 LB: 0 @ 450.69 456.10 c Restart #180 #Var: 3900 LB: 0 @ 455.88 461.17 c Restart #181 #Var: 3900 LB: 0 @ 460.96 466.16 c Restart #182 #Var: 3900 LB: 0 @ 465.94 471.09 c Restart #183 #Var: 3900 LB: 0 @ 470.87 476.37 c Restart #184 #Var: 3900 LB: 0 @ 476.15 481.74 c Restart #185 #Var: 3900 LB: 0 @ 481.52 486.95 c Restart #186 #Var: 3900 LB: 0 @ 486.72 492.12 c Restart #187 #Var: 3900 LB: 0 @ 491.89 497.33 c Restart #188 #Var: 3900 LB: 0 @ 497.1 502.50 c Restart #189 #Var: 3900 LB: 0 @ 502.27 507.65 c Restart #190 #Var: 3900 LB: 0 @ 507.41 512.92 c Restart #191 #Var: 3900 LB: 0 @ 512.69 518.40 c Restart #192 #Var: 3900 LB: 0 @ 518.16 523.78 c Restart #193 #Var: 3900 LB: 0 @ 523.54 529.16 c Restart #194 #Var: 3900 LB: 0 @ 528.92 534.71 c Restart #195 #Var: 3900 LB: 0 @ 534.46 539.93 c Restart #196 #Var: 3900 LB: 0 @ 539.69 545.46 c Restart #197 #Var: 3900 LB: 0 @ 545.22 550.84 c Restart #198 #Var: 3900 LB: 0 @ 550.6 556.31 c Restart #199 #Var: 3900 LB: 0 @ 556.06 561.79 c Restart #200 #Var: 3900 LB: 0 @ 561.53 567.30 c Restart #201 #Var: 3900 LB: 0 @ 567.04 573.08 c Restart #202 #Var: 3900 LB: 0 @ 572.83 578.68 c Restart #203 #Var: 3900 LB: 0 @ 578.42 584.38 c Restart #204 #Var: 3900 LB: 0 @ 584.12 590.09 c Restart #205 #Var: 3900 LB: 0 @ 589.82 595.85 c Restart #206 #Var: 3900 LB: 0 @ 595.59 601.62 c Restart #207 #Var: 3900 LB: 0 @ 601.35 607.24 c Restart #208 #Var: 3900 LB: 0 @ 606.97 613.18 c Restart #209 #Var: 3900 LB: 0 @ 612.91 619.09 c Restart #210 #Var: 3900 LB: 0 @ 618.81 625.03 c Restart #211 #Var: 3900 LB: 0 @ 624.75 631.03 c Restart #212 #Var: 3900 LB: 0 @ 630.75 637.35 c Restart #213 #Var: 3900 LB: 0 @ 637.07 643.53 c Restart #214 #Var: 3900 LB: 0 @ 643.25 649.46 c Restart #215 #Var: 3900 LB: 0 @ 649.18 655.75 c Restart #216 #Var: 3900 LB: 0 @ 655.47 661.90 c Restart #217 #Var: 3900 LB: 0 @ 661.62 667.90 c Restart #218 #Var: 3900 LB: 0 @ 667.61 674.01 c Restart #219 #Var: 3900 LB: 0 @ 673.72 680.32 c Restart #220 #Var: 3900 LB: 0 @ 680.02 686.44 c Restart #221 #Var: 3900 LB: 0 @ 686.14 692.66 c Restart #222 #Var: 3900 LB: 0 @ 692.36 699.02 c Restart #223 #Var: 3900 LB: 0 @ 698.72 705.35 c Restart #224 #Var: 3900 LB: 0 @ 705.04 711.75 c Restart #225 #Var: 3900 LB: 0 @ 711.45 718.10 c Restart #226 #Var: 3900 LB: 0 @ 717.79 724.39 c Restart #227 #Var: 3900 LB: 0 @ 724.08 730.71 c Restart #228 #Var: 3900 LB: 0 @ 730.39 737.18 c Restart #229 #Var: 3900 LB: 0 @ 736.86 743.53 c Restart #230 #Var: 3900 LB: 0 @ 743.21 749.90 c Restart #231 #Var: 3900 LB: 0 @ 749.58 756.56 c Restart #232 #Var: 3900 LB: 0 @ 756.24 763.07 c Restart #233 #Var: 3900 LB: 0 @ 762.75 769.80 c Restart #234 #Var: 3900 LB: 0 @ 769.47 776.57 c Restart #235 #Var: 3900 LB: 0 @ 776.24 783.54 c Restart #236 #Var: 3900 LB: 0 @ 783.2 790.26 c Restart #237 #Var: 3900 LB: 0 @ 789.92 796.81 c Restart #238 #Var: 3900 LB: 0 @ 796.47 803.67 c Restart #239 #Var: 3900 LB: 0 @ 803.32 810.54 c Restart #240 #Var: 3900 LB: 0 @ 810.2 817.41 c Restart #241 #Var: 3900 LB: 0 @ 817.06 824.42 c Restart #242 #Var: 3900 LB: 0 @ 824.08 831.21 c Restart #243 #Var: 3900 LB: 0 @ 830.85 838.03 c Restart #244 #Var: 3900 LB: 0 @ 837.63 845.12 c Restart #245 #Var: 3900 LB: 0 @ 844.71 852.13 c Restart #246 #Var: 3900 LB: 0 @ 851.7 859.19 c Restart #247 #Var: 3900 LB: 0 @ 858.73 866.19 c Restart #248 #Var: 3900 LB: 0 @ 865.73 873.28 c Restart #249 #Var: 3900 LB: 0 @ 872.82 880.49 c Restart #250 #Var: 3900 LB: 0 @ 880.03 887.59 c Restart #251 #Var: 3900 LB: 0 @ 887.13 894.72 c Restart #252 #Var: 3900 LB: 0 @ 894.25 901.99 c CHANGE Heuristic... 901.99 c Restart #0 #Var: 3900 LB: 0 @ 901.52 902.03 c Restart #1 #Var: 3900 LB: 0 @ 901.56 902.11 c Restart #2 #Var: 3900 LB: 0 @ 901.63 902.19 c Restart #3 #Var: 3900 LB: 0 @ 901.72 902.32 c Restart #4 #Var: 3900 LB: 0 @ 901.84 902.46 c Restart #5 #Var: 3900 LB: 0 @ 901.99 902.65 c Restart #6 #Var: 3900 LB: 0 @ 902.17 902.85 c Restart #7 #Var: 3900 LB: 0 @ 902.38 903.10 c Restart #8 #Var: 3900 LB: 0 @ 902.62 903.37 c Restart #9 #Var: 3900 LB: 0 @ 902.89 903.67 c Restart #10 #Var: 3900 LB: 0 @ 903.2 903.99 c Restart #11 #Var: 3900 LB: 0 @ 903.52 904.34 c Restart #12 #Var: 3900 LB: 0 @ 903.87 904.72 c Restart #13 #Var: 3900 LB: 0 @ 904.25 905.14 c Restart #14 #Var: 3900 LB: 0 @ 904.66 905.58 c Restart #15 #Var: 3900 LB: 0 @ 905.11 906.04 c Restart #16 #Var: 3900 LB: 0 @ 905.57 906.55 c Restart #17 #Var: 3900 LB: 0 @ 906.08 907.08 c Restart #18 #Var: 3900 LB: 0 @ 906.61 907.63 c Restart #19 #Var: 3900 LB: 0 @ 907.16 908.23 c Restart #20 #Var: 3900 LB: 0 @ 907.76 908.85 c Restart #21 #Var: 3900 LB: 0 @ 908.37 909.51 c Restart #22 #Var: 3900 LB: 0 @ 909.03 910.19 c Restart #23 #Var: 3900 LB: 0 @ 909.71 910.89 c Restart #24 #Var: 3900 LB: 0 @ 910.42 911.64 c Restart #25 #Var: 3900 LB: 0 @ 911.17 912.53 c Restart #26 #Var: 3900 LB: 0 @ 912.06 913.50 c Restart #27 #Var: 3900 LB: 0 @ 913.02 914.40 c Restart #28 #Var: 3900 LB: 0 @ 913.92 915.26 c Restart #29 #Var: 3900 LB: 0 @ 914.78 916.14 c Restart #30 #Var: 3900 LB: 0 @ 915.66 917.04 c Restart #31 #Var: 3900 LB: 0 @ 916.56 917.93 c Restart #32 #Var: 3900 LB: 0 @ 917.45 918.87 c Restart #33 #Var: 3900 LB: 0 @ 918.39 919.82 c Restart #34 #Var: 3900 LB: 0 @ 919.34 920.81 c Restart #35 #Var: 3900 LB: 0 @ 920.33 921.82 c Restart #36 #Var: 3900 LB: 0 @ 921.35 922.87 c Restart #37 #Var: 3900 LB: 0 @ 922.39 923.94 c Restart #38 #Var: 3900 LB: 0 @ 923.46 925.06 c Restart #39 #Var: 3900 LB: 0 @ 924.58 926.21 c Restart #40 #Var: 3900 LB: 0 @ 925.73 927.37 c Restart #41 #Var: 3900 LB: 0 @ 926.89 928.64 c Restart #42 #Var: 3900 LB: 0 @ 928.16 930.08 c Restart #43 #Var: 3900 LB: 0 @ 929.6 931.36 c Restart #44 #Var: 3900 LB: 0 @ 930.87 932.61 c Restart #45 #Var: 3900 LB: 0 @ 932.12 933.89 c Restart #46 #Var: 3900 LB: 0 @ 933.41 935.20 c Restart #47 #Var: 3900 LB: 0 @ 934.72 936.50 c Restart #48 #Var: 3900 LB: 0 @ 936.02 937.88 c Restart #49 #Var: 3900 LB: 0 @ 937.39 939.29 c Restart #50 #Var: 3900 LB: 0 @ 938.8 940.78 c Restart #51 #Var: 3900 LB: 0 @ 940.29 942.26 c Restart #52 #Var: 3900 LB: 0 @ 941.78 943.77 c Restart #53 #Var: 3900 LB: 0 @ 943.28 945.22 c Restart #54 #Var: 3900 LB: 0 @ 944.73 946.73 c Restart #55 #Var: 3900 LB: 0 @ 946.24 948.26 c Restart #56 #Var: 3900 LB: 0 @ 947.77 949.90 c Restart #57 #Var: 3900 LB: 0 @ 949.41 951.50 c Restart #58 #Var: 3900 LB: 0 @ 951.01 953.11 c Restart #59 #Var: 3900 LB: 0 @ 952.62 954.74 c Restart #60 #Var: 3900 LB: 0 @ 954.25 956.44 c Restart #61 #Var: 3900 LB: 0 @ 955.95 958.15 c Restart #62 #Var: 3900 LB: 0 @ 957.66 959.90 c Restart #63 #Var: 3900 LB: 0 @ 959.41 961.70 c Restart #64 #Var: 3900 LB: 0 @ 961.2 963.51 c Restart #65 #Var: 3900 LB: 0 @ 963.01 965.34 c Restart #66 #Var: 3900 LB: 0 @ 964.84 967.22 c Restart #67 #Var: 3900 LB: 0 @ 966.72 969.20 c Restart #68 #Var: 3900 LB: 0 @ 968.71 971.17 c Restart #69 #Var: 3900 LB: 0 @ 970.67 973.09 c Restart #70 #Var: 3900 LB: 0 @ 972.59 975.04 c Restart #71 #Var: 3900 LB: 0 @ 974.54 977.08 c Restart #72 #Var: 3900 LB: 0 @ 976.58 979.19 c Restart #73 #Var: 3900 LB: 0 @ 978.69 981.23 c Restart #74 #Var: 3900 LB: 0 @ 980.73 983.34 c Restart #75 #Var: 3900 LB: 0 @ 982.84 985.41 c Restart #76 #Var: 3900 LB: 0 @ 984.91 987.63 c Restart #77 #Var: 3900 LB: 0 @ 987.12 989.81 c Restart #78 #Var: 3900 LB: 0 @ 989.3 992.04 c Restart #79 #Var: 3900 LB: 0 @ 991.53 994.23 c Restart #80 #Var: 3900 LB: 0 @ 993.73 996.53 c Restart #81 #Var: 3900 LB: 0 @ 996.03 998.89 c Restart #82 #Var: 3900 LB: 0 @ 998.38 1001.19 c Restart #83 #Var: 3900 LB: 0 @ 1000.7 1003.57 c Restart #84 #Var: 3900 LB: 0 @ 1003.1 1005.94 c Restart #85 #Var: 3900 LB: 0 @ 1005.4 1008.29 c Restart #86 #Var: 3900 LB: 0 @ 1007.8 1010.67 c Restart #87 #Var: 3900 LB: 0 @ 1010.2 1013.10 c Restart #88 #Var: 3900 LB: 0 @ 1012.6 1015.55 c Restart #89 #Var: 3900 LB: 0 @ 1015 1018.06 c Restart #90 #Var: 3900 LB: 0 @ 1017.5 1020.54 c Restart #91 #Var: 3900 LB: 0 @ 1020 1023.11 c Restart #92 #Var: 3900 LB: 0 @ 1022.6 1025.72 c Restart #93 #Var: 3900 LB: 0 @ 1025.2 1028.36 c Restart #94 #Var: 3900 LB: 0 @ 1027.8 1031.03 c Restart #95 #Var: 3900 LB: 0 @ 1030.5 1033.68 c Restart #96 #Var: 3900 LB: 0 @ 1033.2 1036.45 c Restart #97 #Var: 3900 LB: 0 @ 1035.9 1039.21 c Restart #98 #Var: 3900 LB: 0 @ 1038.7 1041.97 c Restart #99 #Var: 3900 LB: 0 @ 1041.4 1044.71 c Restart #100 #Var: 3900 LB: 0 @ 1044.2 1047.50 c Restart #101 #Var: 3900 LB: 0 @ 1047 1050.34 c Restart #102 #Var: 3900 LB: 0 @ 1049.8 1053.29 c Restart #103 #Var: 3900 LB: 0 @ 1052.8 1056.17 c Restart #104 #Var: 3900 LB: 0 @ 1055.6 1059.21 c Restart #105 #Var: 3900 LB: 0 @ 1058.7 1062.20 c Restart #106 #Var: 3900 LB: 0 @ 1061.7 1065.20 c Restart #107 #Var: 3900 LB: 0 @ 1064.7 1068.15 c Restart #108 #Var: 3900 LB: 0 @ 1067.6 1071.21 c Restart #109 #Var: 3900 LB: 0 @ 1070.7 1074.30 c Restart #110 #Var: 3900 LB: 0 @ 1073.8 1077.44 c Restart #111 #Var: 3900 LB: 0 @ 1076.9 1080.49 c Restart #112 #Var: 3900 LB: 0 @ 1080 1083.66 c Restart #113 #Var: 3900 LB: 0 @ 1083.1 1086.89 c Restart #114 #Var: 3900 LB: 0 @ 1086.3 1090.10 c Restart #115 #Var: 3900 LB: 0 @ 1089.6 1093.33 c Restart #116 #Var: 3900 LB: 0 @ 1092.8 1096.77 c Restart #117 #Var: 3900 LB: 0 @ 1096.2 1100.08 c Restart #118 #Var: 3900 LB: 0 @ 1099.5 1103.58 c Restart #119 #Var: 3900 LB: 0 @ 1103 1107.00 c Restart #120 #Var: 3900 LB: 0 @ 1106.5 1110.55 c Restart #121 #Var: 3900 LB: 0 @ 1110 1114.19 c Restart #122 #Var: 3900 LB: 0 @ 1113.6 1117.83 c Restart #123 #Var: 3900 LB: 0 @ 1117.3 1121.41 c Restart #124 #Var: 3900 LB: 0 @ 1120.9 1125.05 c Restart #125 #Var: 3900 LB: 0 @ 1124.5 1128.53 c Restart #126 #Var: 3900 LB: 0 @ 1128 1132.27 c Restart #127 #Var: 3900 LB: 0 @ 1131.7 1135.84 c Restart #128 #Var: 3900 LB: 0 @ 1135.3 1139.53 c Restart #129 #Var: 3900 LB: 0 @ 1139 1143.19 c Restart #130 #Var: 3900 LB: 0 @ 1142.6 1146.84 c Restart #131 #Var: 3900 LB: 0 @ 1146.3 1150.47 c Restart #132 #Var: 3900 LB: 0 @ 1149.9 1154.22 c Restart #133 #Var: 3900 LB: 0 @ 1153.7 1158.00 c Restart #134 #Var: 3900 LB: 0 @ 1157.4 1161.72 c Restart #135 #Var: 3900 LB: 0 @ 1161.2 1165.59 c Restart #136 #Var: 3900 LB: 0 @ 1165 1169.40 c Restart #137 #Var: 3900 LB: 0 @ 1168.8 1173.23 c Restart #138 #Var: 3900 LB: 0 @ 1172.7 1177.10 c Restart #139 #Var: 3900 LB: 0 @ 1176.5 1180.97 c Restart #140 #Var: 3900 LB: 0 @ 1180.4 1184.95 c Restart #141 #Var: 3900 LB: 0 @ 1184.4 1188.92 c Restart #142 #Var: 3900 LB: 0 @ 1188.3 1192.82 c Restart #143 #Var: 3900 LB: 0 @ 1192.2 1196.81 c Restart #144 #Var: 3900 LB: 0 @ 1196.2 1200.94 c Restart #145 #Var: 3900 LB: 0 @ 1200.4 1205.16 c Restart #146 #Var: 3900 LB: 0 @ 1204.6 1209.31 c Restart #147 #Var: 3900 LB: 0 @ 1208.7 1213.45 c Restart #148 #Var: 3900 LB: 0 @ 1212.9 1217.73 c Restart #149 #Var: 3900 LB: 0 @ 1217.1 1221.83 c Restart #150 #Var: 3900 LB: 0 @ 1221.2 1226.02 c Restart #151 #Var: 3900 LB: 0 @ 1225.4 1230.29 c Restart #152 #Var: 3900 LB: 0 @ 1229.7 1234.56 c Restart #153 #Var: 3900 LB: 0 @ 1234 1238.97 c Restart #154 #Var: 3900 LB: 0 @ 1238.4 1243.32 c Restart #155 #Var: 3900 LB: 0 @ 1242.7 1247.71 c Restart #156 #Var: 3900 LB: 0 @ 1247.1 1252.15 c Restart #157 #Var: 3900 LB: 0 @ 1251.5 1256.46 c Restart #158 #Var: 3900 LB: 0 @ 1255.9 1260.99 c Restart #159 #Var: 3900 LB: 0 @ 1260.4 1265.38 c Restart #160 #Var: 3900 LB: 0 @ 1264.8 1269.93 c Restart #161 #Var: 3900 LB: 0 @ 1269.3 1274.48 c Restart #162 #Var: 3900 LB: 0 @ 1273.9 1279.11 c Restart #163 #Var: 3900 LB: 0 @ 1278.5 1283.63 c Restart #164 #Var: 3900 LB: 0 @ 1283 1288.22 c Restart #165 #Var: 3900 LB: 0 @ 1287.6 1292.97 c Restart #166 #Var: 3900 LB: 0 @ 1292.4 1297.68 c Restart #167 #Var: 3900 LB: 0 @ 1297.1 1302.40 c Restart #168 #Var: 3900 LB: 0 @ 1301.8 1307.26 c Restart #169 #Var: 3900 LB: 0 @ 1306.6 1312.15 c Restart #170 #Var: 3900 LB: 0 @ 1311.5 1317.06 c Restart #171 #Var: 3900 LB: 0 @ 1316.4 1321.99 c Restart #172 #Var: 3900 LB: 0 @ 1321.4 1326.94 c Restart #173 #Var: 3900 LB: 0 @ 1326.3 1331.95 c Restart #174 #Var: 3900 LB: 0 @ 1331.3 1337.03 c Restart #175 #Var: 3900 LB: 0 @ 1336.4 1342.23 c Restart #176 #Var: 3900 LB: 0 @ 1341.6 1347.17 c Restart #177 #Var: 3900 LB: 0 @ 1346.5 1352.51 c Restart #178 #Var: 3900 LB: 0 @ 1351.9 1357.71 c Restart #179 #Var: 3900 LB: 0 @ 1357.1 1362.98 c Restart #180 #Var: 3900 LB: 0 @ 1362.3 1368.35 c Restart #181 #Var: 3900 LB: 0 @ 1367.7 1373.97 c Restart #182 #Var: 3900 LB: 0 @ 1373.3 1379.41 c Restart #183 #Var: 3900 LB: 0 @ 1378.8 1385.00 c Restart #184 #Var: 3900 LB: 0 @ 1384.4 1390.64 c Restart #185 #Var: 3900 LB: 0 @ 1390 1396.29 c Restart #186 #Var: 3900 LB: 0 @ 1395.6 1401.97 c Restart #187 #Var: 3900 LB: 0 @ 1401.3 1407.68 c Restart #188 #Var: 3900 LB: 0 @ 1407 1413.45 c Restart #189 #Var: 3900 LB: 0 @ 1412.8 1419.18 c Restart #190 #Var: 3900 LB: 0 @ 1418.5 1424.59 c Restart #191 #Var: 3900 LB: 0 @ 1423.9 1430.21 c Restart #192 #Var: 3900 LB: 0 @ 1429.5 1436.26 c Restart #193 #Var: 3900 LB: 0 @ 1435.6 1441.78 c Restart #194 #Var: 3900 LB: 0 @ 1441.1 1447.45 c Restart #195 #Var: 3900 LB: 0 @ 1446.8 1453.14 c Restart #196 #Var: 3900 LB: 0 @ 1452.5 1458.95 c Restart #197 #Var: 3900 LB: 0 @ 1458.3 1464.67 c Restart #198 #Var: 3900 LB: 0 @ 1464 1470.47 c Restart #199 #Var: 3900 LB: 0 @ 1469.8 1476.37 c Restart #200 #Var: 3900 LB: 0 @ 1475.7 1482.23 c Restart #201 #Var: 3900 LB: 0 @ 1481.5 1488.28 c Restart #202 #Var: 3900 LB: 0 @ 1487.6 1494.23 c Restart #203 #Var: 3900 LB: 0 @ 1493.5 1500.28 c Restart #204 #Var: 3900 LB: 0 @ 1499.6 1506.18 c Restart #205 #Var: 3900 LB: 0 @ 1505.5 1512.11 c Restart #206 #Var: 3900 LB: 0 @ 1511.4 1518.04 c Restart #207 #Var: 3900 LB: 0 @ 1517.3 1523.91 c Restart #208 #Var: 3900 LB: 0 @ 1523.2 1529.79 c Restart #209 #Var: 3900 LB: 0 @ 1529.1 1535.82 c Restart #210 #Var: 3900 LB: 0 @ 1535.1 1541.85 c Restart #211 #Var: 3900 LB: 0 @ 1541.1 1547.83 c Restart #212 #Var: 3900 LB: 0 @ 1547.1 1553.78 c Restart #213 #Var: 3900 LB: 0 @ 1553.1 1559.84 c Restart #214 #Var: 3900 LB: 0 @ 1559.1 1565.86 c Restart #215 #Var: 3900 LB: 0 @ 1565.1 1572.09 c Restart #216 #Var: 3900 LB: 0 @ 1571.4 1578.20 c Restart #217 #Var: 3900 LB: 0 @ 1577.5 1584.43 c Restart #218 #Var: 3900 LB: 0 @ 1583.7 1590.73 c Restart #219 #Var: 3900 LB: 0 @ 1590 1596.93 c Restart #220 #Var: 3900 LB: 0 @ 1596.2 1603.21 c Restart #221 #Var: 3900 LB: 0 @ 1602.5 1609.41 c Restart #222 #Var: 3900 LB: 0 @ 1608.7 1615.99 c Restart #223 #Var: 3900 LB: 0 @ 1615.3 1622.38 c Restart #224 #Var: 3900 LB: 0 @ 1621.6 1628.78 c Restart #225 #Var: 3900 LB: 0 @ 1628 1635.48 c Restart #226 #Var: 3900 LB: 0 @ 1634.7 1641.85 c Restart #227 #Var: 3900 LB: 0 @ 1641.1 1648.39 c Restart #228 #Var: 3900 LB: 0 @ 1647.6 1654.95 c Restart #229 #Var: 3900 LB: 0 @ 1654.2 1661.55 c Restart #230 #Var: 3900 LB: 0 @ 1660.8 1668.21 c Restart #231 #Var: 3900 LB: 0 @ 1667.5 1674.79 c Restart #232 #Var: 3900 LB: 0 @ 1674 1681.37 c Restart #233 #Var: 3900 LB: 0 @ 1680.6 1688.11 c Restart #234 #Var: 3900 LB: 0 @ 1687.4 1695.02 c Restart #235 #Var: 3900 LB: 0 @ 1694.3 1702.01 c Restart #236 #Var: 3900 LB: 0 @ 1701.2 1709.13 c Restart #237 #Var: 3900 LB: 0 @ 1708.4 1716.09 c Restart #238 #Var: 3900 LB: 0 @ 1715.3 1723.14 c Restart #239 #Var: 3900 LB: 0 @ 1722.4 1729.98 c Restart #240 #Var: 3900 LB: 0 @ 1729.2 1737.03 c Restart #241 #Var: 3900 LB: 0 @ 1736.2 1743.83 c Restart #242 #Var: 3900 LB: 0 @ 1743 1750.84 c Restart #243 #Var: 3900 LB: 0 @ 1750.1 1757.88 c Restart #244 #Var: 3900 LB: 0 @ 1757.1 1764.80 c Restart #245 #Var: 3900 LB: 0 @ 1764 1771.79 c Restart #246 #Var: 3900 LB: 0 @ 1771 1778.87 c Restart #247 #Var: 3900 LB: 0 @ 1778.1 1786.13 c Restart #248 #Var: 3900 LB: 0 @ 1785.3 1793.18 c Restart #249 #Var: 3900 LB: 0 @ 1792.4 1800.43 c Restart #250 #Var: 3900 LB: 0 @ 1799.6 1800.80 s UNKNOWN 1800.80 c Exit Code: 0 1800.80 c Total time: 1800 s
ERROR: no interpretation found !
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes command line: runsolver --timestamp -w ROOT/results/node24/watcher-46262-1154058432 -o ROOT/results/node24/solver-46262-1154058432 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node24/46262-1154058432/instance-46262-1154058432.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.99 0.97 0.99 3/64 760 /proc/meminfo: memFree=1558824/2055920 swapFree=4183196/4192956 [pid=760] ppid=758 vsize=2900 CPUtime=0 /proc/760/stat : 760 (bsolo) D 758 760 711 0 -1 0 43 0 1 0 0 0 0 0 18 0 1 0 152703857 2969600 27 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 2605860 0 2147483391 4096 0 18446744072099855350 0 0 17 1 0 0 /proc/760/statm: 725 27 19 55 0 38 0 [startup+10.0022 s] /proc/loadavg: 0.99 0.97 0.99 2/64 760 /proc/meminfo: memFree=1551536/2055920 swapFree=4183196/4192956 [pid=760] ppid=758 vsize=9292 CPUtime=9.94 /proc/760/stat : 760 (bsolo) R 758 760 711 0 -1 0 1562 0 10 0 990 4 0 0 25 0 1 0 152703857 9515008 1486 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134557797 0 0 4096 16384 0 0 0 17 1 0 0 /proc/760/statm: 2323 1486 296 55 0 1215 0 Current children cumulated CPU time (s) 9.94 Current children cumulated vsize (Kb) 9292 [startup+20.0081 s] /proc/loadavg: 0.99 0.97 0.99 2/64 760 /proc/meminfo: memFree=1551664/2055920 swapFree=4183196/4192956 [pid=760] ppid=758 vsize=9292 CPUtime=19.95 /proc/760/stat : 760 (bsolo) R 758 760 711 0 -1 0 1565 0 10 0 1987 8 0 0 25 0 1 0 152703857 9515008 1489 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/760/statm: 2323 1489 296 55 0 1215 0 Current children cumulated CPU time (s) 19.95 Current children cumulated vsize (Kb) 9292 [startup+30.014 s] /proc/loadavg: 0.99 0.97 0.99 2/64 760 /proc/meminfo: memFree=1551728/2055920 swapFree=4183196/4192956 [pid=760] ppid=758 vsize=9292 CPUtime=29.95 /proc/760/stat : 760 (bsolo) R 758 760 711 0 -1 0 1567 0 10 0 2984 11 0 0 25 0 1 0 152703857 9515008 1491 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134718305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/760/statm: 2323 1491 296 55 0 1215 0 Current children cumulated CPU time (s) 29.95 Current children cumulated vsize (Kb) 9292 [startup+40.0199 s] /proc/loadavg: 0.99 0.97 0.99 2/64 760 /proc/meminfo: memFree=1551728/2055920 swapFree=4183196/4192956 [pid=760] ppid=758 vsize=9348 CPUtime=39.95 /proc/760/stat : 760 (bsolo) R 758 760 711 0 -1 0 1572 0 10 0 3981 14 0 0 25 0 1 0 152703857 9572352 1496 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/760/statm: 2337 1496 296 55 0 1229 0 Current children cumulated CPU time (s) 39.95 Current children cumulated vsize (Kb) 9348 [startup+50.0258 s] /proc/loadavg: 0.99 0.97 0.99 2/64 760 /proc/meminfo: memFree=1551792/2055920 swapFree=4183196/4192956 [pid=760] ppid=758 vsize=9348 CPUtime=49.95 /proc/760/stat : 760 (bsolo) R 758 760 711 0 -1 0 1572 0 10 0 4977 18 0 0 25 0 1 0 152703857 9572352 1496 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/760/statm: 2337 1496 296 55 0 1229 0 Current children cumulated CPU time (s) 49.95 Current children cumulated vsize (Kb) 9348 [startup+60.0317 s] /proc/loadavg: 0.99 0.97 0.99 2/64 760 /proc/meminfo: memFree=1551792/2055920 swapFree=4183196/4192956 [pid=760] ppid=758 vsize=9348 CPUtime=59.96 /proc/760/stat : 760 (bsolo) R 758 760 711 0 -1 0 1572 0 10 0 5975 21 0 0 25 0 1 0 152703857 9572352 1496 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/760/statm: 2337 1496 296 55 0 1229 0 Current children cumulated CPU time (s) 59.96 Current children cumulated vsize (Kb) 9348 [startup+70.0376 s] /proc/loadavg: 0.99 0.97 0.99 2/64 760 /proc/meminfo: memFree=1551728/2055920 swapFree=4183196/4192956 [pid=760] ppid=758 vsize=9348 CPUtime=69.96 /proc/760/stat : 760 (bsolo) R 758 760 711 0 -1 0 1574 0 10 0 6970 26 0 0 25 0 1 0 152703857 9572352 1498 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548372 0 0 4096 16384 0 0 0 17 1 0 0 /proc/760/statm: 2337 1498 296 55 0 1229 0 Current children cumulated CPU time (s) 69.96 Current children cumulated vsize (Kb) 9348 [startup+80.0435 s] /proc/loadavg: 0.99 0.97 0.99 2/64 760 /proc/meminfo: memFree=1551728/2055920 swapFree=4183196/4192956 [pid=760] ppid=758 vsize=9348 CPUtime=79.96 /proc/760/stat : 760 (bsolo) R 758 760 711 0 -1 0 1577 0 10 0 7967 29 0 0 25 0 1 0 152703857 9572352 1501 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/760/statm: 2337 1501 296 55 0 1229 0 Current children cumulated CPU time (s) 79.96 Current children cumulated vsize (Kb) 9348 [startup+90.0494 s] /proc/loadavg: 0.99 0.97 0.99 2/64 760 /proc/meminfo: memFree=1551728/2055920 swapFree=4183196/4192956 [pid=760] ppid=758 vsize=9348 CPUtime=89.96 /proc/760/stat : 760 (bsolo) R 758 760 711 0 -1 0 1577 0 10 0 8964 32 0 0 25 0 1 0 152703857 9572352 1501 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/760/statm: 2337 1501 296 55 0 1229 0 Current children cumulated CPU time (s) 89.96 Current children cumulated vsize (Kb) 9348 [startup+100.055 s] /proc/loadavg: 0.99 0.97 0.99 2/64 760 /proc/meminfo: memFree=1551728/2055920 swapFree=4183196/4192956 [pid=760] ppid=758 vsize=9348 CPUtime=99.97 /proc/760/stat : 760 (bsolo) R 758 760 711 0 -1 0 1577 0 10 0 9961 36 0 0 25 0 1 0 152703857 9572352 1501 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134632900 0 0 4096 16384 0 0 0 17 1 0 0 /proc/760/statm: 2337 1501 296 55 0 1229 0 Current children cumulated CPU time (s) 99.97 Current children cumulated vsize (Kb) 9348 [startup+110.061 s] /proc/loadavg: 0.99 0.97 0.99 2/64 760 /proc/meminfo: memFree=1551728/2055920 swapFree=4183196/4192956 [pid=760] ppid=758 vsize=9348 CPUtime=109.97 /proc/760/stat : 760 (bsolo) R 758 760 711 0 -1 0 1577 0 10 0 10957 40 0 0 25 0 1 0 152703857 9572352 1501 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/760/statm: 2337 1501 296 55 0 1229 0 Current children cumulated CPU time (s) 109.97 Current children cumulated vsize (Kb) 9348 [startup+120.067 s] /proc/loadavg: 0.99 0.97 0.99 2/64 760 /proc/meminfo: memFree=1551792/2055920 swapFree=4183196/4192956 [pid=760] ppid=758 vsize=9348 CPUtime=119.97 /proc/760/stat : 760 (bsolo) R 758 760 711 0 -1 0 1580 0 10 0 11955 42 0 0 25 0 1 0 152703857 9572352 1504 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/760/statm: 2337 1504 296 55 0 1229 0 Current children cumulated CPU time (s) 119.97 Current children cumulated vsize (Kb) 9348 [startup+130.074 s] /proc/loadavg: 0.99 0.97 0.99 2/64 760 /proc/meminfo: memFree=1551728/2055920 swapFree=4183196/4192956 [pid=760] ppid=758 vsize=9348 CPUtime=129.97 /proc/760/stat : 760 (bsolo) R 758 760 711 0 -1 0 1580 0 10 0 12952 45 0 0 25 0 1 0 152703857 9572352 1504 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/760/statm: 2337 1504 296 55 0 1229 0 Current children cumulated CPU time (s) 129.97 Current children cumulated vsize (Kb) 9348 [startup+140.081 s] /proc/loadavg: 0.99 0.97 0.99 2/64 760 /proc/meminfo: memFree=1551728/2055920 swapFree=4183196/4192956 [pid=760] ppid=758 vsize=9348 CPUtime=139.97 /proc/760/stat : 760 (bsolo) R 758 760 711 0 -1 0 1580 0 10 0 13948 49 0 0 25 0 1 0 152703857 9572352 1504 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134607246 0 0 4096 16384 0 0 0 17 1 0 0 /proc/760/statm: 2337 1504 296 55 0 1229 0 Current children cumulated CPU time (s) 139.97 Current children cumulated vsize (Kb) 9348 [startup+150.087 s] /proc/loadavg: 0.99 0.97 0.99 2/64 760 /proc/meminfo: memFree=1551728/2055920 swapFree=4183196/4192956 [pid=760] ppid=758 vsize=9348 CPUtime=149.98 /proc/760/stat : 760 (bsolo) R 758 760 711 0 -1 0 1583 0 10 0 14945 53 0 0 25 0 1 0 152703857 9572352 1507 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/760/statm: 2337 1507 296 55 0 1229 0 Current children cumulated CPU time (s) 149.98 Current children cumulated vsize (Kb) 9348 [startup+160.093 s] /proc/loadavg: 0.99 0.97 0.99 3/64 760 /proc/meminfo: memFree=1551728/2055920 swapFree=4183196/4192956 [pid=760] ppid=758 vsize=9348 CPUtime=159.98 /proc/760/stat : 760 (bsolo) R 758 760 711 0 -1 0 1583 0 10 0 15942 56 0 0 25 0 1 0 152703857 9572352 1507 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/760/statm: 2337 1507 296 55 0 1229 0 Current children cumulated CPU time (s) 159.98 Current children cumulated vsize (Kb) 9348 [startup+170.1 s] /proc/loadavg: 0.99 0.97 0.99 2/64 760 /proc/meminfo: memFree=1551728/2055920 swapFree=4183196/4192956 [pid=760] ppid=758 vsize=9348 CPUtime=169.98 /proc/760/stat : 760 (bsolo) R 758 760 711 0 -1 0 1583 0 10 0 16939 59 0 0 25 0 1 0 152703857 9572352 1507 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/760/statm: 2337 1507 296 55 0 1229 0 Current children cumulated CPU time (s) 169.98 Current children cumulated vsize (Kb) 9348 [startup+180.107 s] /proc/loadavg: 0.99 0.97 0.99 2/64 760 /proc/meminfo: memFree=1551728/2055920 swapFree=4183196/4192956 [pid=760] ppid=758 vsize=9348 CPUtime=179.98 /proc/760/stat : 760 (bsolo) R 758 760 711 0 -1 0 1583 0 10 0 17937 61 0 0 25 0 1 0 152703857 9572352 1507 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/760/statm: 2337 1507 296 55 0 1229 0 Current children cumulated CPU time (s) 179.98 Current children cumulated vsize (Kb) 9348 [startup+190.112 s] /proc/loadavg: 0.99 0.97 0.99 2/64 760 /proc/meminfo: memFree=1551728/2055920 swapFree=4183196/4192956 [pid=760] ppid=758 vsize=9348 CPUtime=189.99 /proc/760/stat : 760 (bsolo) R 758 760 711 0 -1 0 1583 0 10 0 18933 66 0 0 25 0 1 0 152703857 9572352 1507 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/760/statm: 2337 1507 296 55 0 1229 0 Current children cumulated CPU time (s) 189.99 Current children cumulated vsize (Kb) 9348 [startup+200.118 s] /proc/loadavg: 0.99 0.97 0.99 2/64 760 /proc/meminfo: memFree=1551664/2055920 swapFree=4183196/4192956 [pid=760] ppid=758 vsize=9348 CPUtime=199.99 /proc/760/stat : 760 (bsolo) R 758 760 711 0 -1 0 1583 0 10 0 19930 69 0 0 25 0 1 0 152703857 9572352 1507 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/760/statm: 2337 1507 296 55 0 1229 0 Current children cumulated CPU time (s) 199.99 Current children cumulated vsize (Kb) 9348 [startup+210.125 s] /proc/loadavg: 0.99 0.97 0.99 2/64 760 ################ # More data... # ################ Current children cumulated CPU time (s) 1760.26 Current children cumulated vsize (Kb) 9560 [startup+1771.07 s] /proc/loadavg: 0.99 0.97 0.99 2/64 958 /proc/meminfo: memFree=1551344/2055920 swapFree=4183196/4192956 [pid=760] ppid=758 vsize=9560 CPUtime=1770.27 /proc/760/stat : 760 (bsolo) R 758 760 711 0 -1 0 1639 0 10 0 176430 597 0 0 25 0 1 0 152703857 9789440 1560 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/760/statm: 2390 1560 296 55 0 1282 0 Current children cumulated CPU time (s) 1770.27 Current children cumulated vsize (Kb) 9560 [startup+1781.07 s] /proc/loadavg: 0.99 0.97 0.99 2/64 958 /proc/meminfo: memFree=1551344/2055920 swapFree=4183196/4192956 [pid=760] ppid=758 vsize=9560 CPUtime=1780.27 /proc/760/stat : 760 (bsolo) R 758 760 711 0 -1 0 1639 0 10 0 177426 601 0 0 25 0 1 0 152703857 9789440 1560 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/760/statm: 2390 1560 296 55 0 1282 0 Current children cumulated CPU time (s) 1780.27 Current children cumulated vsize (Kb) 9560 [startup+1782.08 s] /proc/loadavg: 0.99 0.97 0.99 2/64 958 /proc/meminfo: memFree=1551344/2055920 swapFree=4183196/4192956 [pid=760] ppid=758 vsize=9560 CPUtime=1781.28 /proc/760/stat : 760 (bsolo) R 758 760 711 0 -1 0 1639 0 10 0 177527 601 0 0 25 0 1 0 152703857 9789440 1560 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/760/statm: 2390 1560 296 55 0 1282 0 Current children cumulated CPU time (s) 1781.28 Current children cumulated vsize (Kb) 9560 [startup+1783.08 s] /proc/loadavg: 0.99 0.97 0.99 2/64 958 /proc/meminfo: memFree=1551344/2055920 swapFree=4183196/4192956 [pid=760] ppid=758 vsize=9560 CPUtime=1782.28 /proc/760/stat : 760 (bsolo) R 758 760 711 0 -1 0 1639 0 10 0 177627 601 0 0 25 0 1 0 152703857 9789440 1560 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/760/statm: 2390 1560 296 55 0 1282 0 Current children cumulated CPU time (s) 1782.28 Current children cumulated vsize (Kb) 9560 [startup+1784.09 s] /proc/loadavg: 0.99 0.97 0.99 2/64 958 /proc/meminfo: memFree=1551344/2055920 swapFree=4183196/4192956 [pid=760] ppid=758 vsize=9560 CPUtime=1783.29 /proc/760/stat : 760 (bsolo) R 758 760 711 0 -1 0 1639 0 10 0 177727 602 0 0 25 0 1 0 152703857 9789440 1560 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/760/statm: 2390 1560 296 55 0 1282 0 Current children cumulated CPU time (s) 1783.29 Current children cumulated vsize (Kb) 9560 [startup+1785.1 s] /proc/loadavg: 0.99 0.97 0.99 2/64 958 /proc/meminfo: memFree=1551344/2055920 swapFree=4183196/4192956 [pid=760] ppid=758 vsize=9560 CPUtime=1784.29 /proc/760/stat : 760 (bsolo) R 758 760 711 0 -1 0 1639 0 10 0 177827 602 0 0 25 0 1 0 152703857 9789440 1560 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/760/statm: 2390 1560 296 55 0 1282 0 Current children cumulated CPU time (s) 1784.29 Current children cumulated vsize (Kb) 9560 [startup+1786.1 s] /proc/loadavg: 0.99 0.97 0.99 2/64 958 /proc/meminfo: memFree=1551344/2055920 swapFree=4183196/4192956 [pid=760] ppid=758 vsize=9560 CPUtime=1785.3 /proc/760/stat : 760 (bsolo) R 758 760 711 0 -1 0 1639 0 10 0 177927 603 0 0 25 0 1 0 152703857 9789440 1560 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/760/statm: 2390 1560 296 55 0 1282 0 Current children cumulated CPU time (s) 1785.3 Current children cumulated vsize (Kb) 9560 [startup+1787.1 s] /proc/loadavg: 0.99 0.97 0.99 2/64 958 /proc/meminfo: memFree=1551344/2055920 swapFree=4183196/4192956 [pid=760] ppid=758 vsize=9560 CPUtime=1786.3 /proc/760/stat : 760 (bsolo) R 758 760 711 0 -1 0 1639 0 10 0 178027 603 0 0 25 0 1 0 152703857 9789440 1560 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/760/statm: 2390 1560 296 55 0 1282 0 Current children cumulated CPU time (s) 1786.3 Current children cumulated vsize (Kb) 9560 [startup+1788.11 s] /proc/loadavg: 0.99 0.97 0.99 2/64 958 /proc/meminfo: memFree=1551344/2055920 swapFree=4183196/4192956 [pid=760] ppid=758 vsize=9560 CPUtime=1787.3 /proc/760/stat : 760 (bsolo) R 758 760 711 0 -1 0 1639 0 10 0 178127 603 0 0 25 0 1 0 152703857 9789440 1560 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/760/statm: 2390 1560 296 55 0 1282 0 Current children cumulated CPU time (s) 1787.3 Current children cumulated vsize (Kb) 9560 [startup+1789.11 s] /proc/loadavg: 0.99 0.97 0.99 2/64 958 /proc/meminfo: memFree=1551344/2055920 swapFree=4183196/4192956 [pid=760] ppid=758 vsize=9560 CPUtime=1788.31 /proc/760/stat : 760 (bsolo) R 758 760 711 0 -1 0 1639 0 10 0 178227 604 0 0 25 0 1 0 152703857 9789440 1560 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134524348 0 0 4096 16384 0 0 0 17 1 0 0 /proc/760/statm: 2390 1560 296 55 0 1282 0 Current children cumulated CPU time (s) 1788.31 Current children cumulated vsize (Kb) 9560 [startup+1790.12 s] /proc/loadavg: 0.99 0.97 0.99 2/64 958 /proc/meminfo: memFree=1551344/2055920 swapFree=4183196/4192956 [pid=760] ppid=758 vsize=9560 CPUtime=1789.32 /proc/760/stat : 760 (bsolo) R 758 760 711 0 -1 0 1639 0 10 0 178328 604 0 0 25 0 1 0 152703857 9789440 1560 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/760/statm: 2390 1560 296 55 0 1282 0 Current children cumulated CPU time (s) 1789.32 Current children cumulated vsize (Kb) 9560 [startup+1791.13 s] /proc/loadavg: 0.99 0.97 0.99 2/64 958 /proc/meminfo: memFree=1551344/2055920 swapFree=4183196/4192956 [pid=760] ppid=758 vsize=9560 CPUtime=1790.32 /proc/760/stat : 760 (bsolo) R 758 760 711 0 -1 0 1639 0 10 0 178428 604 0 0 25 0 1 0 152703857 9789440 1560 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/760/statm: 2390 1560 296 55 0 1282 0 Current children cumulated CPU time (s) 1790.32 Current children cumulated vsize (Kb) 9560 [startup+1792.13 s] /proc/loadavg: 0.99 0.97 0.99 2/64 958 /proc/meminfo: memFree=1551344/2055920 swapFree=4183196/4192956 [pid=760] ppid=758 vsize=9560 CPUtime=1791.32 /proc/760/stat : 760 (bsolo) R 758 760 711 0 -1 0 1639 0 10 0 178527 605 0 0 25 0 1 0 152703857 9789440 1560 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/760/statm: 2390 1560 296 55 0 1282 0 Current children cumulated CPU time (s) 1791.32 Current children cumulated vsize (Kb) 9560 [startup+1793.13 s] /proc/loadavg: 0.99 0.97 0.99 2/64 958 /proc/meminfo: memFree=1551344/2055920 swapFree=4183196/4192956 [pid=760] ppid=758 vsize=9560 CPUtime=1792.33 /proc/760/stat : 760 (bsolo) R 758 760 711 0 -1 0 1639 0 10 0 178628 605 0 0 25 0 1 0 152703857 9789440 1560 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/760/statm: 2390 1560 296 55 0 1282 0 Current children cumulated CPU time (s) 1792.33 Current children cumulated vsize (Kb) 9560 [startup+1794.14 s] /proc/loadavg: 0.99 0.97 0.99 2/64 958 /proc/meminfo: memFree=1551344/2055920 swapFree=4183196/4192956 [pid=760] ppid=758 vsize=9560 CPUtime=1793.33 /proc/760/stat : 760 (bsolo) R 758 760 711 0 -1 0 1639 0 10 0 178728 605 0 0 25 0 1 0 152703857 9789440 1560 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/760/statm: 2390 1560 296 55 0 1282 0 Current children cumulated CPU time (s) 1793.33 Current children cumulated vsize (Kb) 9560 [startup+1795.14 s] /proc/loadavg: 0.99 0.97 0.99 2/64 958 /proc/meminfo: memFree=1551344/2055920 swapFree=4183196/4192956 [pid=760] ppid=758 vsize=9560 CPUtime=1794.34 /proc/760/stat : 760 (bsolo) R 758 760 711 0 -1 0 1639 0 10 0 178828 606 0 0 25 0 1 0 152703857 9789440 1560 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/760/statm: 2390 1560 296 55 0 1282 0 Current children cumulated CPU time (s) 1794.34 Current children cumulated vsize (Kb) 9560 [startup+1796.15 s] /proc/loadavg: 0.99 0.97 0.99 2/64 958 /proc/meminfo: memFree=1551344/2055920 swapFree=4183196/4192956 [pid=760] ppid=758 vsize=9560 CPUtime=1795.34 /proc/760/stat : 760 (bsolo) R 758 760 711 0 -1 0 1639 0 10 0 178928 606 0 0 25 0 1 0 152703857 9789440 1560 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/760/statm: 2390 1560 296 55 0 1282 0 Current children cumulated CPU time (s) 1795.34 Current children cumulated vsize (Kb) 9560 [startup+1797.15 s] /proc/loadavg: 0.99 0.97 0.99 2/64 958 /proc/meminfo: memFree=1551344/2055920 swapFree=4183196/4192956 [pid=760] ppid=758 vsize=9560 CPUtime=1796.35 /proc/760/stat : 760 (bsolo) R 758 760 711 0 -1 0 1639 0 10 0 179028 607 0 0 25 0 1 0 152703857 9789440 1560 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134540702 0 0 4096 16384 0 0 0 17 1 0 0 /proc/760/statm: 2390 1560 296 55 0 1282 0 Current children cumulated CPU time (s) 1796.35 Current children cumulated vsize (Kb) 9560 [startup+1798.16 s] /proc/loadavg: 0.99 0.97 0.99 2/64 958 /proc/meminfo: memFree=1551344/2055920 swapFree=4183196/4192956 [pid=760] ppid=758 vsize=9560 CPUtime=1797.35 /proc/760/stat : 760 (bsolo) R 758 760 711 0 -1 0 1639 0 10 0 179128 607 0 0 25 0 1 0 152703857 9789440 1560 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/760/statm: 2390 1560 296 55 0 1282 0 Current children cumulated CPU time (s) 1797.35 Current children cumulated vsize (Kb) 9560 [startup+1799.16 s] /proc/loadavg: 0.99 0.97 0.99 2/64 958 /proc/meminfo: memFree=1551344/2055920 swapFree=4183196/4192956 [pid=760] ppid=758 vsize=9560 CPUtime=1798.35 /proc/760/stat : 760 (bsolo) R 758 760 711 0 -1 0 1639 0 10 0 179228 607 0 0 25 0 1 0 152703857 9789440 1560 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/760/statm: 2390 1560 296 55 0 1282 0 Current children cumulated CPU time (s) 1798.35 Current children cumulated vsize (Kb) 9560 [startup+1800.17 s] /proc/loadavg: 0.99 0.97 0.99 2/64 958 /proc/meminfo: memFree=1551344/2055920 swapFree=4183196/4192956 [pid=760] ppid=758 vsize=9560 CPUtime=1799.36 /proc/760/stat : 760 (bsolo) R 758 760 711 0 -1 0 1639 0 10 0 179328 608 0 0 25 0 1 0 152703857 9789440 1560 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/760/statm: 2390 1560 296 55 0 1282 0 Current children cumulated CPU time (s) 1799.36 Current children cumulated vsize (Kb) 9560 Child status: 0 Real time (s): 1800.81 CPU time (s): 1800.01 CPU user time (s): 1793.92 CPU system time (s): 6.08607 CPU usage (%): 99.9553 Max. virtual memory (cumulated for all children) (Kb): 9608 The end
Begin job on node24 on Fri Jul 28 03:47:12 UTC 2006 FILE ID= 46262-1154058432 PBS_JOBID= 882133 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-65-60.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node24/46262-1154058432/instance-46262-1154058432.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node24/watcher-46262-1154058432 -o ROOT/results/node24/solver-46262-1154058432 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node24/46262-1154058432/instance-46262-1154058432.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 6f6d5bf9df98767681bd16885050de4b RANDOM SEED= 373959563 TIMEOUT= 1800 seconds /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.266 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.266 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1559032 kB Buffers: 35656 kB Cached: 402128 kB SwapCached: 3672 kB Active: 29868 kB Inactive: 416680 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1559032 kB SwapTotal: 4192956 kB SwapFree: 4183196 kB Dirty: 164 kB Writeback: 0 kB Mapped: 14492 kB Slab: 36348 kB Committed_AS: 553816 kB PageTables: 1468 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node24 on Fri Jul 28 04:17:13 UTC 2006