Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 2006/05 | ? | 1800.01 | 1800.73 |
Name | normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-45-40.opb |
MD5SUM | bfd9076f83014271363fd9848b4f1d95 |
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.013997 |
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 | 1800 |
Total number of constraints | 85 |
Number of constraints which are clauses | 45 |
Number of constraints which are cardinality constraints (but not clauses) | 40 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 40 |
Maximum length of a constraint | 45 |
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 | 46 |
Number of bits of the biggest sum of numbers | 6 |
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.14 c INFO: OSL Context initialized. 0.16 c Initial problem consists of 1800 variables and 85 constraints. 0.16 c Using non-optimization problem switches. 0.16 c No problem reductions applied in OPT. instance. 0.16 c preprocess terminated. Elapsed time: 0.035 0.16 c After prepocess the problem consists of 1800 variables and 85 constraints. 0.21 c Restart #1 #Var: 1800 LB: 0 @ 0.088 0.26 c Restart #2 #Var: 1800 LB: 0 @ 0.132 0.33 c Restart #3 #Var: 1800 LB: 0 @ 0.2 0.43 c Restart #4 #Var: 1800 LB: 0 @ 0.303 0.55 c Restart #5 #Var: 1800 LB: 0 @ 0.427 0.71 c Restart #6 #Var: 1800 LB: 0 @ 0.587 0.90 c Restart #7 #Var: 1800 LB: 0 @ 0.771 1.11 c Restart #8 #Var: 1800 LB: 0 @ 0.982 1.34 c Restart #9 #Var: 1800 LB: 0 @ 1.213 1.60 c Restart #10 #Var: 1800 LB: 0 @ 1.475 1.88 c Restart #11 #Var: 1800 LB: 0 @ 1.759 2.21 c Restart #12 #Var: 1800 LB: 0 @ 2.082 2.54 c Restart #13 #Var: 1800 LB: 0 @ 2.413 2.91 c Restart #14 #Var: 1800 LB: 0 @ 2.782 3.31 c Restart #15 #Var: 1800 LB: 0 @ 3.18 3.72 c Restart #16 #Var: 1800 LB: 0 @ 3.594 4.18 c Restart #17 #Var: 1800 LB: 0 @ 4.05 4.60 c Restart #18 #Var: 1800 LB: 0 @ 4.478 5.07 c Restart #19 #Var: 1800 LB: 0 @ 4.942 5.54 c Restart #20 #Var: 1800 LB: 0 @ 5.414 6.05 c Restart #21 #Var: 1800 LB: 0 @ 5.921 6.56 c Restart #22 #Var: 1800 LB: 0 @ 6.438 7.14 c Restart #23 #Var: 1800 LB: 0 @ 7.016 7.72 c Restart #24 #Var: 1800 LB: 0 @ 7.593 8.39 c Restart #25 #Var: 1800 LB: 0 @ 8.264 9.34 c Restart #26 #Var: 1800 LB: 0 @ 9.21 10.50 c Restart #27 #Var: 1800 LB: 0 @ 10.365 11.53 c Restart #28 #Var: 1800 LB: 0 @ 11.398 12.33 c Restart #29 #Var: 1800 LB: 0 @ 12.194 13.19 c Restart #30 #Var: 1800 LB: 0 @ 13.056 14.06 c Restart #31 #Var: 1800 LB: 0 @ 13.928 14.97 c Restart #32 #Var: 1800 LB: 0 @ 14.839 15.90 c Restart #33 #Var: 1800 LB: 0 @ 15.766 16.86 c Restart #34 #Var: 1800 LB: 0 @ 16.729 17.84 c Restart #35 #Var: 1800 LB: 0 @ 17.707 18.85 c Restart #36 #Var: 1800 LB: 0 @ 18.713 19.89 c Restart #37 #Var: 1800 LB: 0 @ 19.755 21.00 c Restart #38 #Var: 1800 LB: 0 @ 20.864 22.18 c Restart #39 #Var: 1800 LB: 0 @ 22.046 23.35 c Restart #40 #Var: 1800 LB: 0 @ 23.214 24.54 c Restart #41 #Var: 1800 LB: 0 @ 24.406 25.79 c Restart #42 #Var: 1800 LB: 0 @ 25.655 27.03 c Restart #43 #Var: 1800 LB: 0 @ 26.89 28.30 c Restart #44 #Var: 1800 LB: 0 @ 28.165 29.62 c Restart #45 #Var: 1800 LB: 0 @ 29.483 30.94 c Restart #46 #Var: 1800 LB: 0 @ 30.801 32.32 c Restart #47 #Var: 1800 LB: 0 @ 32.177 33.70 c Restart #48 #Var: 1800 LB: 0 @ 33.56 35.11 c Restart #49 #Var: 1800 LB: 0 @ 34.975 36.58 c Restart #50 #Var: 1800 LB: 0 @ 36.442 38.11 c Restart #51 #Var: 1800 LB: 0 @ 37.967 39.59 c Restart #52 #Var: 1800 LB: 0 @ 39.454 41.15 c Restart #53 #Var: 1800 LB: 0 @ 41.005 42.70 c Restart #54 #Var: 1800 LB: 0 @ 42.561 44.32 c Restart #55 #Var: 1800 LB: 0 @ 44.175 45.95 c Restart #56 #Var: 1800 LB: 0 @ 45.806 47.66 c Restart #57 #Var: 1800 LB: 0 @ 47.516 49.40 c Restart #58 #Var: 1800 LB: 0 @ 49.252 51.16 c Restart #59 #Var: 1800 LB: 0 @ 51.02 52.95 c Restart #60 #Var: 1800 LB: 0 @ 52.803 54.76 c Restart #61 #Var: 1800 LB: 0 @ 54.615 56.68 c Restart #62 #Var: 1800 LB: 0 @ 56.532 58.56 c Restart #63 #Var: 1800 LB: 0 @ 58.41 60.46 c Restart #64 #Var: 1800 LB: 0 @ 60.313 62.42 c Restart #65 #Var: 1800 LB: 0 @ 62.272 64.44 c Restart #66 #Var: 1800 LB: 0 @ 64.29 66.42 c Restart #67 #Var: 1800 LB: 0 @ 66.275 68.41 c Restart #68 #Var: 1800 LB: 0 @ 68.262 70.48 c Restart #69 #Var: 1800 LB: 0 @ 70.33 72.54 c Restart #70 #Var: 1800 LB: 0 @ 72.391 74.67 c Restart #71 #Var: 1800 LB: 0 @ 74.522 76.84 c Restart #72 #Var: 1800 LB: 0 @ 76.69 79.08 c Restart #73 #Var: 1800 LB: 0 @ 78.932 81.31 c Restart #74 #Var: 1800 LB: 0 @ 81.154 83.57 c Restart #75 #Var: 1800 LB: 0 @ 83.422 85.82 c Restart #76 #Var: 1800 LB: 0 @ 85.666 88.17 c Restart #77 #Var: 1800 LB: 0 @ 88.019 90.51 c Restart #78 #Var: 1800 LB: 0 @ 90.354 92.93 c Restart #79 #Var: 1800 LB: 0 @ 92.769 95.32 c Restart #80 #Var: 1800 LB: 0 @ 95.166 97.83 c Restart #81 #Var: 1800 LB: 0 @ 97.67 100.28 c Restart #82 #Var: 1800 LB: 0 @ 100.12 102.83 c Restart #83 #Var: 1800 LB: 0 @ 102.67 105.37 c Restart #84 #Var: 1800 LB: 0 @ 105.22 107.89 c Restart #85 #Var: 1800 LB: 0 @ 107.73 110.45 c Restart #86 #Var: 1800 LB: 0 @ 110.29 113.04 c Restart #87 #Var: 1800 LB: 0 @ 112.88 115.65 c Restart #88 #Var: 1800 LB: 0 @ 115.49 118.33 c Restart #89 #Var: 1800 LB: 0 @ 118.17 121.14 c Restart #90 #Var: 1800 LB: 0 @ 120.98 123.95 c Restart #91 #Var: 1800 LB: 0 @ 123.79 126.94 c Restart #92 #Var: 1800 LB: 0 @ 126.77 129.92 c Restart #93 #Var: 1800 LB: 0 @ 129.75 132.91 c Restart #94 #Var: 1800 LB: 0 @ 132.74 135.94 c Restart #95 #Var: 1800 LB: 0 @ 135.78 139.07 c Restart #96 #Var: 1800 LB: 0 @ 138.91 142.31 c Restart #97 #Var: 1800 LB: 0 @ 142.14 145.53 c Restart #98 #Var: 1800 LB: 0 @ 145.36 148.78 c Restart #99 #Var: 1800 LB: 0 @ 148.61 152.10 c Restart #100 #Var: 1800 LB: 0 @ 151.93 155.33 c Restart #101 #Var: 1800 LB: 0 @ 155.16 158.62 c Restart #102 #Var: 1800 LB: 0 @ 158.45 161.86 c Restart #103 #Var: 1800 LB: 0 @ 161.68 165.11 c Restart #104 #Var: 1800 LB: 0 @ 164.93 168.45 c Restart #105 #Var: 1800 LB: 0 @ 168.27 171.80 c Restart #106 #Var: 1800 LB: 0 @ 171.63 175.21 c Restart #107 #Var: 1800 LB: 0 @ 175.03 178.62 c Restart #108 #Var: 1800 LB: 0 @ 178.44 182.35 c Restart #109 #Var: 1800 LB: 0 @ 182.16 186.01 c Restart #110 #Var: 1800 LB: 0 @ 185.83 189.75 c Restart #111 #Var: 1800 LB: 0 @ 189.57 193.62 c Restart #112 #Var: 1800 LB: 0 @ 193.44 197.40 c Restart #113 #Var: 1800 LB: 0 @ 197.22 201.33 c Restart #114 #Var: 1800 LB: 0 @ 201.15 205.30 c Restart #115 #Var: 1800 LB: 0 @ 205.11 209.28 c Restart #116 #Var: 1800 LB: 0 @ 209.09 213.28 c Restart #117 #Var: 1800 LB: 0 @ 213.09 217.39 c Restart #118 #Var: 1800 LB: 0 @ 217.2 221.48 c Restart #119 #Var: 1800 LB: 0 @ 221.29 225.68 c Restart #120 #Var: 1800 LB: 0 @ 225.49 229.87 c Restart #121 #Var: 1800 LB: 0 @ 229.68 234.14 c Restart #122 #Var: 1800 LB: 0 @ 233.94 238.45 c Restart #123 #Var: 1800 LB: 0 @ 238.25 242.43 c Restart #124 #Var: 1800 LB: 0 @ 242.24 246.75 c Restart #125 #Var: 1800 LB: 0 @ 246.55 251.17 c Restart #126 #Var: 1800 LB: 0 @ 250.97 255.57 c Restart #127 #Var: 1800 LB: 0 @ 255.37 260.18 c Restart #128 #Var: 1800 LB: 0 @ 259.98 264.67 c Restart #129 #Var: 1800 LB: 0 @ 264.46 269.19 c Restart #130 #Var: 1800 LB: 0 @ 268.99 273.85 c Restart #131 #Var: 1800 LB: 0 @ 273.64 278.50 c Restart #132 #Var: 1800 LB: 0 @ 278.29 283.12 c Restart #133 #Var: 1800 LB: 0 @ 282.92 287.97 c Restart #134 #Var: 1800 LB: 0 @ 287.76 292.90 c Restart #135 #Var: 1800 LB: 0 @ 292.69 297.70 c Restart #136 #Var: 1800 LB: 0 @ 297.49 302.66 c Restart #137 #Var: 1800 LB: 0 @ 302.44 307.57 c Restart #138 #Var: 1800 LB: 0 @ 307.36 312.50 c Restart #139 #Var: 1800 LB: 0 @ 312.28 317.34 c Restart #140 #Var: 1800 LB: 0 @ 317.13 322.25 c Restart #141 #Var: 1800 LB: 0 @ 322.03 327.16 c Restart #142 #Var: 1800 LB: 0 @ 326.94 331.49 c Restart #143 #Var: 1800 LB: 0 @ 331.27 336.08 c Restart #144 #Var: 1800 LB: 0 @ 335.86 341.34 c Restart #145 #Var: 1800 LB: 0 @ 341.12 346.40 c Restart #146 #Var: 1800 LB: 0 @ 346.17 351.57 c Restart #147 #Var: 1800 LB: 0 @ 351.35 356.91 c Restart #148 #Var: 1800 LB: 0 @ 356.68 362.32 c Restart #149 #Var: 1800 LB: 0 @ 362.09 368.05 c Restart #150 #Var: 1800 LB: 0 @ 367.82 373.75 c Restart #151 #Var: 1800 LB: 0 @ 373.52 379.50 c Restart #152 #Var: 1800 LB: 0 @ 379.27 385.15 c Restart #153 #Var: 1800 LB: 0 @ 384.91 390.75 c Restart #154 #Var: 1800 LB: 0 @ 390.51 395.99 c Restart #155 #Var: 1800 LB: 0 @ 395.75 401.11 c Restart #156 #Var: 1800 LB: 0 @ 400.87 407.02 c Restart #157 #Var: 1800 LB: 0 @ 406.78 412.77 c Restart #158 #Var: 1800 LB: 0 @ 412.53 418.61 c Restart #159 #Var: 1800 LB: 0 @ 418.37 424.52 c Restart #160 #Var: 1800 LB: 0 @ 424.27 430.38 c Restart #161 #Var: 1800 LB: 0 @ 430.13 436.43 c Restart #162 #Var: 1800 LB: 0 @ 436.18 442.43 c Restart #163 #Var: 1800 LB: 0 @ 442.18 448.56 c Restart #164 #Var: 1800 LB: 0 @ 448.3 454.52 c Restart #165 #Var: 1800 LB: 0 @ 454.26 460.65 c Restart #166 #Var: 1800 LB: 0 @ 460.39 466.83 c Restart #167 #Var: 1800 LB: 0 @ 466.57 473.11 c Restart #168 #Var: 1800 LB: 0 @ 472.85 479.36 c Restart #169 #Var: 1800 LB: 0 @ 479.1 485.94 c Restart #170 #Var: 1800 LB: 0 @ 485.68 492.50 c Restart #171 #Var: 1800 LB: 0 @ 492.24 499.22 c Restart #172 #Var: 1800 LB: 0 @ 498.95 505.63 c Restart #173 #Var: 1800 LB: 0 @ 505.36 512.23 c Restart #174 #Var: 1800 LB: 0 @ 511.95 518.93 c Restart #175 #Var: 1800 LB: 0 @ 518.66 526.15 c Restart #176 #Var: 1800 LB: 0 @ 525.88 532.94 c Restart #177 #Var: 1800 LB: 0 @ 532.66 539.74 c Restart #178 #Var: 1800 LB: 0 @ 539.47 546.99 c Restart #179 #Var: 1800 LB: 0 @ 546.71 554.25 c Restart #180 #Var: 1800 LB: 0 @ 553.94 561.23 c Restart #181 #Var: 1800 LB: 0 @ 560.9 568.31 c Restart #182 #Var: 1800 LB: 0 @ 567.97 575.75 c Restart #183 #Var: 1800 LB: 0 @ 575.38 583.30 c Restart #184 #Var: 1800 LB: 0 @ 582.92 590.85 c Restart #185 #Var: 1800 LB: 0 @ 590.47 598.75 c Restart #186 #Var: 1800 LB: 0 @ 598.36 606.74 c Restart #187 #Var: 1800 LB: 0 @ 606.35 614.37 c Restart #188 #Var: 1800 LB: 0 @ 613.98 622.95 c Restart #189 #Var: 1800 LB: 0 @ 622.55 631.27 c Restart #190 #Var: 1800 LB: 0 @ 630.87 639.30 c Restart #191 #Var: 1800 LB: 0 @ 638.91 648.00 c Restart #192 #Var: 1800 LB: 0 @ 647.6 656.62 c Restart #193 #Var: 1800 LB: 0 @ 656.22 665.29 c Restart #194 #Var: 1800 LB: 0 @ 664.88 674.15 c Restart #195 #Var: 1800 LB: 0 @ 673.74 683.11 c Restart #196 #Var: 1800 LB: 0 @ 682.7 692.07 c Restart #197 #Var: 1800 LB: 0 @ 691.65 700.90 c Restart #198 #Var: 1800 LB: 0 @ 700.49 710.09 c Restart #199 #Var: 1800 LB: 0 @ 709.68 719.29 c Restart #200 #Var: 1800 LB: 0 @ 718.87 728.96 c Restart #201 #Var: 1800 LB: 0 @ 728.53 738.25 c Restart #202 #Var: 1800 LB: 0 @ 737.82 747.89 c Restart #203 #Var: 1800 LB: 0 @ 747.47 757.32 c Restart #204 #Var: 1800 LB: 0 @ 756.89 766.75 c Restart #205 #Var: 1800 LB: 0 @ 766.32 776.72 c Restart #206 #Var: 1800 LB: 0 @ 776.29 786.72 c Restart #207 #Var: 1800 LB: 0 @ 786.28 797.26 c Restart #208 #Var: 1800 LB: 0 @ 796.81 807.56 c Restart #209 #Var: 1800 LB: 0 @ 807.12 817.76 c Restart #210 #Var: 1800 LB: 0 @ 817.31 828.46 c Restart #211 #Var: 1800 LB: 0 @ 828.01 838.79 c Restart #212 #Var: 1800 LB: 0 @ 838.34 849.60 c Restart #213 #Var: 1800 LB: 0 @ 849.15 860.37 c Restart #214 #Var: 1800 LB: 0 @ 859.91 871.52 c Restart #215 #Var: 1800 LB: 0 @ 871.05 882.93 c Restart #216 #Var: 1800 LB: 0 @ 882.47 893.78 c Restart #217 #Var: 1800 LB: 0 @ 893.31 904.20 c CHANGE Heuristic... 904.20 c Restart #0 #Var: 1800 LB: 0 @ 903.73 904.23 c Restart #1 #Var: 1800 LB: 0 @ 903.76 904.30 c Restart #2 #Var: 1800 LB: 0 @ 903.83 904.41 c Restart #3 #Var: 1800 LB: 0 @ 903.93 904.54 c Restart #4 #Var: 1800 LB: 0 @ 904.07 904.72 c Restart #5 #Var: 1800 LB: 0 @ 904.24 904.92 c Restart #6 #Var: 1800 LB: 0 @ 904.45 905.18 c Restart #7 #Var: 1800 LB: 0 @ 904.7 905.47 c Restart #8 #Var: 1800 LB: 0 @ 905 905.77 c Restart #9 #Var: 1800 LB: 0 @ 905.3 906.13 c Restart #10 #Var: 1800 LB: 0 @ 905.66 906.50 c Restart #11 #Var: 1800 LB: 0 @ 906.02 906.89 c Restart #12 #Var: 1800 LB: 0 @ 906.42 907.28 c Restart #13 #Var: 1800 LB: 0 @ 906.81 907.71 c Restart #14 #Var: 1800 LB: 0 @ 907.24 908.18 c Restart #15 #Var: 1800 LB: 0 @ 907.71 908.66 c Restart #16 #Var: 1800 LB: 0 @ 908.18 909.17 c Restart #17 #Var: 1800 LB: 0 @ 908.7 909.75 c Restart #18 #Var: 1800 LB: 0 @ 909.28 910.38 c Restart #19 #Var: 1800 LB: 0 @ 909.91 911.03 c Restart #20 #Var: 1800 LB: 0 @ 910.55 911.70 c Restart #21 #Var: 1800 LB: 0 @ 911.23 912.41 c Restart #22 #Var: 1800 LB: 0 @ 911.94 913.20 c Restart #23 #Var: 1800 LB: 0 @ 912.73 914.03 c Restart #24 #Var: 1800 LB: 0 @ 913.56 914.85 c Restart #25 #Var: 1800 LB: 0 @ 914.37 915.81 c Restart #26 #Var: 1800 LB: 0 @ 915.34 916.82 c Restart #27 #Var: 1800 LB: 0 @ 916.34 917.78 c Restart #28 #Var: 1800 LB: 0 @ 917.31 918.81 c Restart #29 #Var: 1800 LB: 0 @ 918.34 919.83 c Restart #30 #Var: 1800 LB: 0 @ 919.36 920.92 c Restart #31 #Var: 1800 LB: 0 @ 920.44 922.01 c Restart #32 #Var: 1800 LB: 0 @ 921.53 923.20 c Restart #33 #Var: 1800 LB: 0 @ 922.73 924.39 c Restart #34 #Var: 1800 LB: 0 @ 923.91 925.62 c Restart #35 #Var: 1800 LB: 0 @ 925.14 926.85 c Restart #36 #Var: 1800 LB: 0 @ 926.37 928.15 c Restart #37 #Var: 1800 LB: 0 @ 927.67 929.49 c Restart #38 #Var: 1800 LB: 0 @ 929.01 930.87 c Restart #39 #Var: 1800 LB: 0 @ 930.39 932.26 c Restart #40 #Var: 1800 LB: 0 @ 931.78 933.68 c Restart #41 #Var: 1800 LB: 0 @ 933.2 935.24 c Restart #42 #Var: 1800 LB: 0 @ 934.76 936.76 c Restart #43 #Var: 1800 LB: 0 @ 936.28 938.27 c Restart #44 #Var: 1800 LB: 0 @ 937.79 939.94 c Restart #45 #Var: 1800 LB: 0 @ 939.46 941.67 c Restart #46 #Var: 1800 LB: 0 @ 941.19 943.51 c Restart #47 #Var: 1800 LB: 0 @ 943.03 945.42 c Restart #48 #Var: 1800 LB: 0 @ 944.93 947.40 c Restart #49 #Var: 1800 LB: 0 @ 946.92 949.32 c Restart #50 #Var: 1800 LB: 0 @ 948.84 951.09 c Restart #51 #Var: 1800 LB: 0 @ 950.61 952.98 c Restart #52 #Var: 1800 LB: 0 @ 952.49 954.90 c Restart #53 #Var: 1800 LB: 0 @ 954.41 956.80 c Restart #54 #Var: 1800 LB: 0 @ 956.31 958.89 c Restart #55 #Var: 1800 LB: 0 @ 958.4 961.05 c Restart #56 #Var: 1800 LB: 0 @ 960.56 963.24 c Restart #57 #Var: 1800 LB: 0 @ 962.75 965.26 c Restart #58 #Var: 1800 LB: 0 @ 964.78 967.43 c Restart #59 #Var: 1800 LB: 0 @ 966.94 969.64 c Restart #60 #Var: 1800 LB: 0 @ 969.15 971.89 c Restart #61 #Var: 1800 LB: 0 @ 971.4 974.13 c Restart #62 #Var: 1800 LB: 0 @ 973.64 976.44 c Restart #63 #Var: 1800 LB: 0 @ 975.95 978.87 c Restart #64 #Var: 1800 LB: 0 @ 978.38 981.38 c Restart #65 #Var: 1800 LB: 0 @ 980.89 984.02 c Restart #66 #Var: 1800 LB: 0 @ 983.53 986.63 c Restart #67 #Var: 1800 LB: 0 @ 986.14 989.31 c Restart #68 #Var: 1800 LB: 0 @ 988.82 992.15 c Restart #69 #Var: 1800 LB: 0 @ 991.65 995.09 c Restart #70 #Var: 1800 LB: 0 @ 994.59 998.01 c Restart #71 #Var: 1800 LB: 0 @ 997.51 1001.04 c Restart #72 #Var: 1800 LB: 0 @ 1000.5 1004.33 c Restart #73 #Var: 1800 LB: 0 @ 1003.8 1007.66 c Restart #74 #Var: 1800 LB: 0 @ 1007.2 1011.43 c Restart #75 #Var: 1800 LB: 0 @ 1010.9 1015.04 c Restart #76 #Var: 1800 LB: 0 @ 1014.5 1018.82 c Restart #77 #Var: 1800 LB: 0 @ 1018.3 1022.78 c Restart #78 #Var: 1800 LB: 0 @ 1022.3 1026.91 c Restart #79 #Var: 1800 LB: 0 @ 1026.4 1030.83 c Restart #80 #Var: 1800 LB: 0 @ 1030.3 1034.92 c Restart #81 #Var: 1800 LB: 0 @ 1034.4 1039.24 c Restart #82 #Var: 1800 LB: 0 @ 1038.7 1043.52 c Restart #83 #Var: 1800 LB: 0 @ 1043 1047.69 c Restart #84 #Var: 1800 LB: 0 @ 1047.2 1052.07 c Restart #85 #Var: 1800 LB: 0 @ 1051.6 1056.47 c Restart #86 #Var: 1800 LB: 0 @ 1056 1060.53 c Restart #87 #Var: 1800 LB: 0 @ 1060 1064.91 c Restart #88 #Var: 1800 LB: 0 @ 1064.4 1069.43 c Restart #89 #Var: 1800 LB: 0 @ 1068.9 1074.04 c Restart #90 #Var: 1800 LB: 0 @ 1073.5 1079.04 c Restart #91 #Var: 1800 LB: 0 @ 1078.5 1084.06 c Restart #92 #Var: 1800 LB: 0 @ 1083.5 1089.09 c Restart #93 #Var: 1800 LB: 0 @ 1088.6 1094.23 c Restart #94 #Var: 1800 LB: 0 @ 1093.7 1099.33 c Restart #95 #Var: 1800 LB: 0 @ 1098.8 1104.31 c Restart #96 #Var: 1800 LB: 0 @ 1103.8 1109.30 c Restart #97 #Var: 1800 LB: 0 @ 1108.8 1114.43 c Restart #98 #Var: 1800 LB: 0 @ 1113.9 1119.77 c Restart #99 #Var: 1800 LB: 0 @ 1119.2 1125.35 c Restart #100 #Var: 1800 LB: 0 @ 1124.8 1130.88 c Restart #101 #Var: 1800 LB: 0 @ 1130.4 1136.46 c Restart #102 #Var: 1800 LB: 0 @ 1135.9 1142.26 c Restart #103 #Var: 1800 LB: 0 @ 1141.7 1148.09 c Restart #104 #Var: 1800 LB: 0 @ 1147.6 1153.82 c Restart #105 #Var: 1800 LB: 0 @ 1153.3 1159.91 c Restart #106 #Var: 1800 LB: 0 @ 1159.4 1166.22 c Restart #107 #Var: 1800 LB: 0 @ 1165.7 1172.78 c Restart #108 #Var: 1800 LB: 0 @ 1172.2 1179.61 c Restart #109 #Var: 1800 LB: 0 @ 1179.1 1186.28 c Restart #110 #Var: 1800 LB: 0 @ 1185.7 1192.88 c Restart #111 #Var: 1800 LB: 0 @ 1192.3 1199.26 c Restart #112 #Var: 1800 LB: 0 @ 1198.7 1206.00 c Restart #113 #Var: 1800 LB: 0 @ 1205.4 1212.46 c Restart #114 #Var: 1800 LB: 0 @ 1211.9 1219.68 c Restart #115 #Var: 1800 LB: 0 @ 1219.1 1226.67 c Restart #116 #Var: 1800 LB: 0 @ 1226.1 1233.65 c Restart #117 #Var: 1800 LB: 0 @ 1233.1 1240.94 c Restart #118 #Var: 1800 LB: 0 @ 1240.4 1248.08 c Restart #119 #Var: 1800 LB: 0 @ 1247.5 1255.38 c Restart #120 #Var: 1800 LB: 0 @ 1254.8 1262.56 c Restart #121 #Var: 1800 LB: 0 @ 1262 1269.69 c Restart #122 #Var: 1800 LB: 0 @ 1269.1 1276.94 c Restart #123 #Var: 1800 LB: 0 @ 1276.4 1284.12 c Restart #124 #Var: 1800 LB: 0 @ 1283.5 1291.39 c Restart #125 #Var: 1800 LB: 0 @ 1290.8 1298.99 c Restart #126 #Var: 1800 LB: 0 @ 1298.4 1306.48 c Restart #127 #Var: 1800 LB: 0 @ 1305.9 1314.14 c Restart #128 #Var: 1800 LB: 0 @ 1313.6 1322.50 c Restart #129 #Var: 1800 LB: 0 @ 1321.9 1331.37 c Restart #130 #Var: 1800 LB: 0 @ 1330.8 1340.40 c Restart #131 #Var: 1800 LB: 0 @ 1339.8 1348.48 c Restart #132 #Var: 1800 LB: 0 @ 1347.9 1356.52 c Restart #133 #Var: 1800 LB: 0 @ 1355.9 1364.37 c Restart #134 #Var: 1800 LB: 0 @ 1363.8 1372.55 c Restart #135 #Var: 1800 LB: 0 @ 1372 1380.90 c Restart #136 #Var: 1800 LB: 0 @ 1380.3 1389.93 c Restart #137 #Var: 1800 LB: 0 @ 1389.3 1398.74 c Restart #138 #Var: 1800 LB: 0 @ 1398.1 1408.02 c Restart #139 #Var: 1800 LB: 0 @ 1407.4 1417.47 c Restart #140 #Var: 1800 LB: 0 @ 1416.9 1426.93 c Restart #141 #Var: 1800 LB: 0 @ 1426.3 1435.45 c Restart #142 #Var: 1800 LB: 0 @ 1434.8 1444.97 c Restart #143 #Var: 1800 LB: 0 @ 1444.3 1454.52 c Restart #144 #Var: 1800 LB: 0 @ 1453.9 1464.03 c Restart #145 #Var: 1800 LB: 0 @ 1463.4 1473.66 c Restart #146 #Var: 1800 LB: 0 @ 1473 1482.88 c Restart #147 #Var: 1800 LB: 0 @ 1482.3 1492.91 c Restart #148 #Var: 1800 LB: 0 @ 1492.3 1502.51 c Restart #149 #Var: 1800 LB: 0 @ 1501.9 1512.08 c Restart #150 #Var: 1800 LB: 0 @ 1511.4 1521.72 c Restart #151 #Var: 1800 LB: 0 @ 1521.1 1531.71 c Restart #152 #Var: 1800 LB: 0 @ 1531.1 1542.26 c Restart #153 #Var: 1800 LB: 0 @ 1541.6 1552.40 c Restart #154 #Var: 1800 LB: 0 @ 1551.7 1562.99 c Restart #155 #Var: 1800 LB: 0 @ 1562.3 1573.31 c Restart #156 #Var: 1800 LB: 0 @ 1572.7 1583.87 c Restart #157 #Var: 1800 LB: 0 @ 1583.2 1594.20 c Restart #158 #Var: 1800 LB: 0 @ 1593.5 1604.70 c Restart #159 #Var: 1800 LB: 0 @ 1604 1615.20 c Restart #160 #Var: 1800 LB: 0 @ 1614.5 1625.29 c Restart #161 #Var: 1800 LB: 0 @ 1624.6 1635.88 c Restart #162 #Var: 1800 LB: 0 @ 1635.2 1646.16 c Restart #163 #Var: 1800 LB: 0 @ 1645.5 1657.23 c Restart #164 #Var: 1800 LB: 0 @ 1656.6 1668.76 c Restart #165 #Var: 1800 LB: 0 @ 1668.1 1679.62 c Restart #166 #Var: 1800 LB: 0 @ 1678.9 1691.21 c Restart #167 #Var: 1800 LB: 0 @ 1690.5 1702.67 c Restart #168 #Var: 1800 LB: 0 @ 1702 1714.50 c Restart #169 #Var: 1800 LB: 0 @ 1713.8 1726.34 c Restart #170 #Var: 1800 LB: 0 @ 1725.6 1737.37 c Restart #171 #Var: 1800 LB: 0 @ 1736.7 1748.78 c Restart #172 #Var: 1800 LB: 0 @ 1748.1 1760.29 c Restart #173 #Var: 1800 LB: 0 @ 1759.6 1772.63 c Restart #174 #Var: 1800 LB: 0 @ 1771.9 1784.95 c Restart #175 #Var: 1800 LB: 0 @ 1784.2 1797.27 c Restart #176 #Var: 1800 LB: 0 @ 1796.6 1800.72 s UNKNOWN 1800.72 c Exit Code: 0 1800.72 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/node56/watcher-46252-1154055111 -o ROOT/results/node56/solver-46252-1154055111 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node56/46252-1154055111/instance-46252-1154055111.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.99 1.01 1.00 2/64 31934 /proc/meminfo: memFree=1558176/2055920 swapFree=4183496/4192956 [pid=31934] ppid=31932 vsize=2900 CPUtime=0 /proc/31934/stat : 31934 (bsolo) D 31932 31934 31885 0 -1 0 43 0 1 0 0 0 0 0 18 0 1 0 152381086 2969600 27 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 10027812 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/31934/statm: 725 27 19 55 0 38 0 [startup+10.0018 s] /proc/loadavg: 0.99 1.01 1.00 2/64 31934 /proc/meminfo: memFree=1552480/2055920 swapFree=4183496/4192956 [pid=31934] ppid=31932 vsize=7784 CPUtime=9.86 /proc/31934/stat : 31934 (bsolo) R 31932 31934 31885 0 -1 0 1183 0 11 0 982 4 0 0 25 0 1 0 152381086 7970816 1108 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134718240 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31934/statm: 1946 1108 296 55 0 838 0 Current children cumulated CPU time (s) 9.86 Current children cumulated vsize (Kb) 7784 [startup+20.0077 s] /proc/loadavg: 0.99 1.01 1.00 2/64 31934 /proc/meminfo: memFree=1552480/2055920 swapFree=4183496/4192956 [pid=31934] ppid=31932 vsize=7784 CPUtime=19.86 /proc/31934/stat : 31934 (bsolo) R 31932 31934 31885 0 -1 0 1202 0 11 0 1979 7 0 0 25 0 1 0 152381086 7970816 1127 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31934/statm: 1946 1127 296 55 0 838 0 Current children cumulated CPU time (s) 19.86 Current children cumulated vsize (Kb) 7784 [startup+30.0137 s] /proc/loadavg: 0.99 1.00 1.00 2/64 31934 /proc/meminfo: memFree=1552416/2055920 swapFree=4183496/4192956 [pid=31934] ppid=31932 vsize=7916 CPUtime=29.87 /proc/31934/stat : 31934 (bsolo) R 31932 31934 31885 0 -1 0 1221 0 11 0 2977 10 0 0 25 0 1 0 152381086 8105984 1146 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31934/statm: 1979 1146 296 55 0 871 0 Current children cumulated CPU time (s) 29.87 Current children cumulated vsize (Kb) 7916 [startup+40.0197 s] /proc/loadavg: 0.99 1.00 1.00 2/64 31934 /proc/meminfo: memFree=1552352/2055920 swapFree=4183496/4192956 [pid=31934] ppid=31932 vsize=7916 CPUtime=39.87 /proc/31934/stat : 31934 (bsolo) R 31932 31934 31885 0 -1 0 1233 0 11 0 3973 14 0 0 25 0 1 0 152381086 8105984 1158 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533975 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31934/statm: 1979 1158 296 55 0 871 0 Current children cumulated CPU time (s) 39.87 Current children cumulated vsize (Kb) 7916 [startup+50.0257 s] /proc/loadavg: 0.99 1.00 1.00 2/64 31934 /proc/meminfo: memFree=1552352/2055920 swapFree=4183496/4192956 [pid=31934] ppid=31932 vsize=7916 CPUtime=49.88 /proc/31934/stat : 31934 (bsolo) R 31932 31934 31885 0 -1 0 1237 0 11 0 4971 17 0 0 25 0 1 0 152381086 8105984 1162 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134547755 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31934/statm: 1979 1162 296 55 0 871 0 Current children cumulated CPU time (s) 49.88 Current children cumulated vsize (Kb) 7916 [startup+60.0317 s] /proc/loadavg: 0.99 1.00 1.00 2/64 31934 /proc/meminfo: memFree=1552352/2055920 swapFree=4183496/4192956 [pid=31934] ppid=31932 vsize=8044 CPUtime=59.87 /proc/31934/stat : 31934 (bsolo) R 31932 31934 31885 0 -1 0 1243 0 11 0 5968 19 0 0 25 0 1 0 152381086 8237056 1168 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31934/statm: 2011 1168 296 55 0 903 0 Current children cumulated CPU time (s) 59.87 Current children cumulated vsize (Kb) 8044 [startup+70.0377 s] /proc/loadavg: 0.99 1.00 1.00 2/64 31934 /proc/meminfo: memFree=1552288/2055920 swapFree=4183496/4192956 [pid=31934] ppid=31932 vsize=8040 CPUtime=69.88 /proc/31934/stat : 31934 (bsolo) R 31932 31934 31885 0 -1 0 1257 0 11 0 6965 23 0 0 25 0 1 0 152381086 8232960 1182 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31934/statm: 2010 1182 296 55 0 902 0 Current children cumulated CPU time (s) 69.88 Current children cumulated vsize (Kb) 8040 [startup+80.0436 s] /proc/loadavg: 0.99 1.00 1.00 2/64 31934 /proc/meminfo: memFree=1552288/2055920 swapFree=4183496/4192956 [pid=31934] ppid=31932 vsize=8040 CPUtime=79.88 /proc/31934/stat : 31934 (bsolo) R 31932 31934 31885 0 -1 0 1257 0 11 0 7962 26 0 0 25 0 1 0 152381086 8232960 1182 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31934/statm: 2010 1182 296 55 0 902 0 Current children cumulated CPU time (s) 79.88 Current children cumulated vsize (Kb) 8040 [startup+90.0496 s] /proc/loadavg: 0.99 1.00 1.00 2/64 31934 /proc/meminfo: memFree=1552288/2055920 swapFree=4183496/4192956 [pid=31934] ppid=31932 vsize=8040 CPUtime=89.89 /proc/31934/stat : 31934 (bsolo) R 31932 31934 31885 0 -1 0 1261 0 11 0 8960 29 0 0 25 0 1 0 152381086 8232960 1186 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31934/statm: 2010 1186 296 55 0 902 0 Current children cumulated CPU time (s) 89.89 Current children cumulated vsize (Kb) 8040 [startup+100.056 s] /proc/loadavg: 0.99 1.00 1.00 2/64 31934 /proc/meminfo: memFree=1552288/2055920 swapFree=4183496/4192956 [pid=31934] ppid=31932 vsize=8040 CPUtime=99.89 /proc/31934/stat : 31934 (bsolo) R 31932 31934 31885 0 -1 0 1261 0 11 0 9957 32 0 0 25 0 1 0 152381086 8232960 1186 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31934/statm: 2010 1186 296 55 0 902 0 Current children cumulated CPU time (s) 99.89 Current children cumulated vsize (Kb) 8040 [startup+110.062 s] /proc/loadavg: 0.99 1.00 1.00 2/64 31934 /proc/meminfo: memFree=1552224/2055920 swapFree=4183496/4192956 [pid=31934] ppid=31932 vsize=8040 CPUtime=109.89 /proc/31934/stat : 31934 (bsolo) R 31932 31934 31885 0 -1 0 1267 0 11 0 10954 35 0 0 25 0 1 0 152381086 8232960 1192 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134632657 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31934/statm: 2010 1192 296 55 0 902 0 Current children cumulated CPU time (s) 109.89 Current children cumulated vsize (Kb) 8040 [startup+120.068 s] /proc/loadavg: 0.99 1.00 1.00 2/64 31934 /proc/meminfo: memFree=1552160/2055920 swapFree=4183496/4192956 [pid=31934] ppid=31932 vsize=8164 CPUtime=119.89 /proc/31934/stat : 31934 (bsolo) R 31932 31934 31885 0 -1 0 1286 0 11 0 11950 39 0 0 25 0 1 0 152381086 8359936 1211 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548379 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31934/statm: 2041 1211 296 55 0 933 0 Current children cumulated CPU time (s) 119.89 Current children cumulated vsize (Kb) 8164 [startup+130.074 s] /proc/loadavg: 0.99 1.00 1.00 2/64 31934 /proc/meminfo: memFree=1552096/2055920 swapFree=4183496/4192956 [pid=31934] ppid=31932 vsize=8164 CPUtime=129.9 /proc/31934/stat : 31934 (bsolo) R 31932 31934 31885 0 -1 0 1292 0 11 0 12948 42 0 0 25 0 1 0 152381086 8359936 1217 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31934/statm: 2041 1217 296 55 0 933 0 Current children cumulated CPU time (s) 129.9 Current children cumulated vsize (Kb) 8164 [startup+140.08 s] /proc/loadavg: 0.99 1.00 1.00 2/64 31934 /proc/meminfo: memFree=1552160/2055920 swapFree=4183496/4192956 [pid=31934] ppid=31932 vsize=8164 CPUtime=139.9 /proc/31934/stat : 31934 (bsolo) R 31932 31934 31885 0 -1 0 1299 0 11 0 13946 44 0 0 25 0 1 0 152381086 8359936 1224 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31934/statm: 2041 1224 296 55 0 933 0 Current children cumulated CPU time (s) 139.9 Current children cumulated vsize (Kb) 8164 [startup+150.086 s] /proc/loadavg: 0.99 1.00 1.00 2/64 31934 /proc/meminfo: memFree=1552160/2055920 swapFree=4183496/4192956 [pid=31934] ppid=31932 vsize=8288 CPUtime=149.9 /proc/31934/stat : 31934 (bsolo) R 31932 31934 31885 0 -1 0 1302 0 11 0 14944 46 0 0 25 0 1 0 152381086 8486912 1227 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31934/statm: 2072 1227 296 55 0 964 0 Current children cumulated CPU time (s) 149.9 Current children cumulated vsize (Kb) 8288 [startup+160.092 s] /proc/loadavg: 0.99 1.00 1.00 2/64 31934 /proc/meminfo: memFree=1552096/2055920 swapFree=4183496/4192956 [pid=31934] ppid=31932 vsize=8288 CPUtime=159.91 /proc/31934/stat : 31934 (bsolo) R 31932 31934 31885 0 -1 0 1311 0 11 0 15942 49 0 0 25 0 1 0 152381086 8486912 1236 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31934/statm: 2072 1236 296 55 0 964 0 Current children cumulated CPU time (s) 159.91 Current children cumulated vsize (Kb) 8288 [startup+170.098 s] /proc/loadavg: 0.99 1.00 1.00 2/64 31934 /proc/meminfo: memFree=1552032/2055920 swapFree=4183496/4192956 [pid=31934] ppid=31932 vsize=8288 CPUtime=169.92 /proc/31934/stat : 31934 (bsolo) R 31932 31934 31885 0 -1 0 1324 0 11 0 16939 53 0 0 25 0 1 0 152381086 8486912 1249 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31934/statm: 2072 1249 296 55 0 964 0 Current children cumulated CPU time (s) 169.92 Current children cumulated vsize (Kb) 8288 [startup+180.104 s] /proc/loadavg: 0.99 1.00 1.00 2/64 31934 /proc/meminfo: memFree=1551904/2055920 swapFree=4183496/4192956 [pid=31934] ppid=31932 vsize=8412 CPUtime=179.92 /proc/31934/stat : 31934 (bsolo) R 31932 31934 31885 0 -1 0 1355 0 11 0 17936 56 0 0 25 0 1 0 152381086 8613888 1280 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134540702 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31934/statm: 2103 1280 296 55 0 995 0 Current children cumulated CPU time (s) 179.92 Current children cumulated vsize (Kb) 8412 [startup+190.11 s] /proc/loadavg: 0.99 1.00 1.00 2/64 31934 /proc/meminfo: memFree=1551840/2055920 swapFree=4183496/4192956 [pid=31934] ppid=31932 vsize=8544 CPUtime=189.92 /proc/31934/stat : 31934 (bsolo) R 31932 31934 31885 0 -1 0 1364 0 11 0 18932 60 0 0 25 0 1 0 152381086 8749056 1289 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31934/statm: 2136 1289 296 55 0 1028 0 Current children cumulated CPU time (s) 189.92 Current children cumulated vsize (Kb) 8544 [startup+200.115 s] /proc/loadavg: 0.99 1.00 1.00 2/64 31934 /proc/meminfo: memFree=1551840/2055920 swapFree=4183496/4192956 [pid=31934] ppid=31932 vsize=8512 CPUtime=199.92 /proc/31934/stat : 31934 (bsolo) R 31932 31934 31885 0 -1 0 1366 0 11 0 19930 62 0 0 25 0 1 0 152381086 8716288 1291 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31934/statm: 2128 1291 296 55 0 1020 0 Current children cumulated CPU time (s) 199.92 Current children cumulated vsize (Kb) 8512 [startup+210.121 s] /proc/loadavg: 0.99 1.00 1.00 2/64 31934 ################ # More data... # ################ Current children cumulated CPU time (s) 1760.33 Current children cumulated vsize (Kb) 13296 [startup+1771.05 s] /proc/loadavg: 1.00 1.00 1.00 2/64 32132 /proc/meminfo: memFree=1546528/2055920 swapFree=4183496/4192956 [pid=31934] ppid=31932 vsize=13296 CPUtime=1770.33 /proc/31934/stat : 31934 (bsolo) R 31932 31934 31885 0 -1 0 2556 0 11 0 176609 424 0 0 25 0 1 0 152381086 13615104 2481 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31934/statm: 3324 2481 296 55 0 2216 0 Current children cumulated CPU time (s) 1770.33 Current children cumulated vsize (Kb) 13296 [startup+1781.06 s] /proc/loadavg: 1.00 1.00 1.00 2/64 32132 /proc/meminfo: memFree=1546464/2055920 swapFree=4183496/4192956 [pid=31934] ppid=31932 vsize=13288 CPUtime=1780.33 /proc/31934/stat : 31934 (bsolo) R 31932 31934 31885 0 -1 0 2560 0 11 0 177608 425 0 0 25 0 1 0 152381086 13606912 2485 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31934/statm: 3322 2485 296 55 0 2214 0 Current children cumulated CPU time (s) 1780.33 Current children cumulated vsize (Kb) 13288 [startup+1782.06 s] /proc/loadavg: 1.00 1.00 1.00 2/64 32132 /proc/meminfo: memFree=1546464/2055920 swapFree=4183496/4192956 [pid=31934] ppid=31932 vsize=13288 CPUtime=1781.34 /proc/31934/stat : 31934 (bsolo) R 31932 31934 31885 0 -1 0 2560 0 11 0 177709 425 0 0 25 0 1 0 152381086 13606912 2485 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31934/statm: 3322 2485 296 55 0 2214 0 Current children cumulated CPU time (s) 1781.34 Current children cumulated vsize (Kb) 13288 [startup+1783.07 s] /proc/loadavg: 1.00 1.00 1.00 2/64 32132 /proc/meminfo: memFree=1546464/2055920 swapFree=4183496/4192956 [pid=31934] ppid=31932 vsize=13288 CPUtime=1782.35 /proc/31934/stat : 31934 (bsolo) R 31932 31934 31885 0 -1 0 2560 0 11 0 177809 426 0 0 25 0 1 0 152381086 13606912 2485 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31934/statm: 3322 2485 296 55 0 2214 0 Current children cumulated CPU time (s) 1782.35 Current children cumulated vsize (Kb) 13288 [startup+1784.07 s] /proc/loadavg: 1.00 1.00 1.00 2/64 32132 /proc/meminfo: memFree=1546464/2055920 swapFree=4183496/4192956 [pid=31934] ppid=31932 vsize=13288 CPUtime=1783.35 /proc/31934/stat : 31934 (bsolo) R 31932 31934 31885 0 -1 0 2560 0 11 0 177909 426 0 0 25 0 1 0 152381086 13606912 2485 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31934/statm: 3322 2485 296 55 0 2214 0 Current children cumulated CPU time (s) 1783.35 Current children cumulated vsize (Kb) 13288 [startup+1785.08 s] /proc/loadavg: 1.00 1.00 1.00 2/64 32132 /proc/meminfo: memFree=1546464/2055920 swapFree=4183496/4192956 [pid=31934] ppid=31932 vsize=13288 CPUtime=1784.35 /proc/31934/stat : 31934 (bsolo) R 31932 31934 31885 0 -1 0 2560 0 11 0 178009 426 0 0 25 0 1 0 152381086 13606912 2485 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134718240 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31934/statm: 3322 2485 296 55 0 2214 0 Current children cumulated CPU time (s) 1784.35 Current children cumulated vsize (Kb) 13288 [startup+1786.08 s] /proc/loadavg: 1.00 1.00 1.00 2/64 32132 /proc/meminfo: memFree=1546464/2055920 swapFree=4183496/4192956 [pid=31934] ppid=31932 vsize=13288 CPUtime=1785.36 /proc/31934/stat : 31934 (bsolo) R 31932 31934 31885 0 -1 0 2560 0 11 0 178109 427 0 0 25 0 1 0 152381086 13606912 2485 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31934/statm: 3322 2485 296 55 0 2214 0 Current children cumulated CPU time (s) 1785.36 Current children cumulated vsize (Kb) 13288 [startup+1787.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 32132 /proc/meminfo: memFree=1546464/2055920 swapFree=4183496/4192956 [pid=31934] ppid=31932 vsize=13288 CPUtime=1786.37 /proc/31934/stat : 31934 (bsolo) R 31932 31934 31885 0 -1 0 2560 0 11 0 178210 427 0 0 25 0 1 0 152381086 13606912 2485 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134632664 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31934/statm: 3322 2485 296 55 0 2214 0 Current children cumulated CPU time (s) 1786.37 Current children cumulated vsize (Kb) 13288 [startup+1788.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 32132 /proc/meminfo: memFree=1546464/2055920 swapFree=4183496/4192956 [pid=31934] ppid=31932 vsize=13288 CPUtime=1787.37 /proc/31934/stat : 31934 (bsolo) R 31932 31934 31885 0 -1 0 2560 0 11 0 178310 427 0 0 25 0 1 0 152381086 13606912 2485 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31934/statm: 3322 2485 296 55 0 2214 0 Current children cumulated CPU time (s) 1787.37 Current children cumulated vsize (Kb) 13288 [startup+1789.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 32132 /proc/meminfo: memFree=1546464/2055920 swapFree=4183496/4192956 [pid=31934] ppid=31932 vsize=13288 CPUtime=1788.37 /proc/31934/stat : 31934 (bsolo) R 31932 31934 31885 0 -1 0 2560 0 11 0 178410 427 0 0 25 0 1 0 152381086 13606912 2485 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31934/statm: 3322 2485 296 55 0 2214 0 Current children cumulated CPU time (s) 1788.37 Current children cumulated vsize (Kb) 13288 [startup+1790.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 32132 /proc/meminfo: memFree=1546464/2055920 swapFree=4183496/4192956 [pid=31934] ppid=31932 vsize=13288 CPUtime=1789.38 /proc/31934/stat : 31934 (bsolo) R 31932 31934 31885 0 -1 0 2560 0 11 0 178511 427 0 0 25 0 1 0 152381086 13606912 2485 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134528844 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31934/statm: 3322 2485 296 55 0 2214 0 Current children cumulated CPU time (s) 1789.38 Current children cumulated vsize (Kb) 13288 [startup+1791.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 32132 /proc/meminfo: memFree=1546464/2055920 swapFree=4183496/4192956 [pid=31934] ppid=31932 vsize=13288 CPUtime=1790.38 /proc/31934/stat : 31934 (bsolo) R 31932 31934 31885 0 -1 0 2560 0 11 0 178611 427 0 0 25 0 1 0 152381086 13606912 2485 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31934/statm: 3322 2485 296 55 0 2214 0 Current children cumulated CPU time (s) 1790.38 Current children cumulated vsize (Kb) 13288 [startup+1792.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 32132 /proc/meminfo: memFree=1546464/2055920 swapFree=4183496/4192956 [pid=31934] ppid=31932 vsize=13288 CPUtime=1791.38 /proc/31934/stat : 31934 (bsolo) R 31932 31934 31885 0 -1 0 2560 0 11 0 178711 427 0 0 25 0 1 0 152381086 13606912 2485 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31934/statm: 3322 2485 296 55 0 2214 0 Current children cumulated CPU time (s) 1791.38 Current children cumulated vsize (Kb) 13288 [startup+1793.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 32132 /proc/meminfo: memFree=1546464/2055920 swapFree=4183496/4192956 [pid=31934] ppid=31932 vsize=13288 CPUtime=1792.4 /proc/31934/stat : 31934 (bsolo) R 31932 31934 31885 0 -1 0 2560 0 11 0 178812 428 0 0 25 0 1 0 152381086 13606912 2485 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31934/statm: 3322 2485 296 55 0 2214 0 Current children cumulated CPU time (s) 1792.4 Current children cumulated vsize (Kb) 13288 [startup+1794.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 32132 /proc/meminfo: memFree=1546464/2055920 swapFree=4183496/4192956 [pid=31934] ppid=31932 vsize=13288 CPUtime=1793.4 /proc/31934/stat : 31934 (bsolo) R 31932 31934 31885 0 -1 0 2560 0 11 0 178912 428 0 0 25 0 1 0 152381086 13606912 2485 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31934/statm: 3322 2485 296 55 0 2214 0 Current children cumulated CPU time (s) 1793.4 Current children cumulated vsize (Kb) 13288 [startup+1795.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 32132 /proc/meminfo: memFree=1546464/2055920 swapFree=4183496/4192956 [pid=31934] ppid=31932 vsize=13288 CPUtime=1794.4 /proc/31934/stat : 31934 (bsolo) R 31932 31934 31885 0 -1 0 2570 0 11 0 179012 428 0 0 25 0 1 0 152381086 13606912 2495 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31934/statm: 3322 2495 296 55 0 2214 0 Current children cumulated CPU time (s) 1794.4 Current children cumulated vsize (Kb) 13288 [startup+1796.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 32132 /proc/meminfo: memFree=1546464/2055920 swapFree=4183496/4192956 [pid=31934] ppid=31932 vsize=13288 CPUtime=1795.41 /proc/31934/stat : 31934 (bsolo) R 31932 31934 31885 0 -1 0 2570 0 11 0 179113 428 0 0 25 0 1 0 152381086 13606912 2495 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31934/statm: 3322 2495 296 55 0 2214 0 Current children cumulated CPU time (s) 1795.41 Current children cumulated vsize (Kb) 13288 [startup+1797.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 32132 /proc/meminfo: memFree=1546464/2055920 swapFree=4183496/4192956 [pid=31934] ppid=31932 vsize=13288 CPUtime=1796.41 /proc/31934/stat : 31934 (bsolo) R 31932 31934 31885 0 -1 0 2570 0 11 0 179213 428 0 0 25 0 1 0 152381086 13606912 2495 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31934/statm: 3322 2495 296 55 0 2214 0 Current children cumulated CPU time (s) 1796.41 Current children cumulated vsize (Kb) 13288 [startup+1798.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 32132 /proc/meminfo: memFree=1546400/2055920 swapFree=4183496/4192956 [pid=31934] ppid=31932 vsize=13288 CPUtime=1797.41 /proc/31934/stat : 31934 (bsolo) R 31932 31934 31885 0 -1 0 2570 0 11 0 179313 428 0 0 25 0 1 0 152381086 13606912 2495 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31934/statm: 3322 2495 296 55 0 2214 0 Current children cumulated CPU time (s) 1797.41 Current children cumulated vsize (Kb) 13288 [startup+1799.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 32132 /proc/meminfo: memFree=1546400/2055920 swapFree=4183496/4192956 [pid=31934] ppid=31932 vsize=13288 CPUtime=1798.42 /proc/31934/stat : 31934 (bsolo) R 31932 31934 31885 0 -1 0 2570 0 11 0 179414 428 0 0 25 0 1 0 152381086 13606912 2495 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548598 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31934/statm: 3322 2495 296 55 0 2214 0 Current children cumulated CPU time (s) 1798.42 Current children cumulated vsize (Kb) 13288 [startup+1800.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 32132 /proc/meminfo: memFree=1546400/2055920 swapFree=4183496/4192956 [pid=31934] ppid=31932 vsize=13288 CPUtime=1799.43 /proc/31934/stat : 31934 (bsolo) R 31932 31934 31885 0 -1 0 2570 0 11 0 179514 429 0 0 25 0 1 0 152381086 13606912 2495 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31934/statm: 3322 2495 296 55 0 2214 0 Current children cumulated CPU time (s) 1799.43 Current children cumulated vsize (Kb) 13288 Child status: 0 Real time (s): 1800.73 CPU time (s): 1800.01 CPU user time (s): 1795.71 CPU system time (s): 4.29335 CPU usage (%): 99.96 Max. virtual memory (cumulated for all children) (Kb): 13296 The end
Begin job on node56 on Fri Jul 28 02:51:51 UTC 2006 FILE ID= 46252-1154055111 PBS_JOBID= 882003 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-45-40.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node56/46252-1154055111/instance-46252-1154055111.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node56/watcher-46252-1154055111 -o ROOT/results/node56/solver-46252-1154055111 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node56/46252-1154055111/instance-46252-1154055111.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= bfd9076f83014271363fd9848b4f1d95 RANDOM SEED= 667209773 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.227 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.227 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: 1558384 kB Buffers: 25772 kB Cached: 398780 kB SwapCached: 3168 kB Active: 54224 kB Inactive: 378852 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1558384 kB SwapTotal: 4192956 kB SwapFree: 4183496 kB Dirty: 212 kB Writeback: 0 kB Mapped: 14492 kB Slab: 50512 kB Committed_AS: 660624 kB PageTables: 1492 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node56 on Fri Jul 28 03:21:52 UTC 2006