Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 2006/05 | ? | 1800.01 | 1800.68 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga40_39_sat_pb.cnf.cr.opb |
MD5SUM | 72bb077846a4d869a09744c0b238b13c |
Bench Category | SATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 0.051992 |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | NO |
Number of variables | 2340 |
Total number of constraints | 1678 |
Number of constraints which are clauses | 1599 |
Number of constraints which are cardinality constraints (but not clauses) | 79 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 20 |
Maximum length of a constraint | 40 |
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 | 41 |
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.00 c Time Limit set via PBTIMEOUT to 1800 0.01 c INFO: OSL Context initialized. 0.17 c Initial problem consists of 2340 variables and 1678 constraints. 0.25 c Using non-optimization problem switches. 0.25 c No problem reductions applied in OPT. instance. 0.25 c preprocess terminated. Elapsed time: 0.232 0.25 c After prepocess the problem consists of 2340 variables and 1678 constraints. 0.33 c Restart #1 #Var: 2340 LB: 0 @ 0.313 0.39 c Restart #2 #Var: 2340 LB: 0 @ 0.38 0.49 c Restart #3 #Var: 2340 LB: 0 @ 0.479 0.64 c Restart #4 #Var: 2340 LB: 0 @ 0.625 0.81 c Restart #5 #Var: 2340 LB: 0 @ 0.794 1.02 c Restart #6 #Var: 2340 LB: 0 @ 1.001 1.25 c Restart #7 #Var: 2340 LB: 0 @ 1.23 1.52 c Restart #8 #Var: 2340 LB: 0 @ 1.504 1.80 c Restart #9 #Var: 2340 LB: 0 @ 1.787 2.13 c Restart #10 #Var: 2340 LB: 0 @ 2.11 2.49 c Restart #11 #Var: 2340 LB: 0 @ 2.471 2.89 c Restart #12 #Var: 2340 LB: 0 @ 2.874 3.31 c Restart #13 #Var: 2340 LB: 0 @ 3.293 3.77 c Restart #14 #Var: 2340 LB: 0 @ 3.758 4.27 c Restart #15 #Var: 2340 LB: 0 @ 4.259 4.82 c Restart #16 #Var: 2340 LB: 0 @ 4.802 5.40 c Restart #17 #Var: 2340 LB: 0 @ 5.381 5.99 c Restart #18 #Var: 2340 LB: 0 @ 5.97 6.60 c Restart #19 #Var: 2340 LB: 0 @ 6.585 7.29 c Restart #20 #Var: 2340 LB: 0 @ 7.27 7.97 c Restart #21 #Var: 2340 LB: 0 @ 7.951 8.73 c Restart #22 #Var: 2340 LB: 0 @ 8.712 9.48 c Restart #23 #Var: 2340 LB: 0 @ 9.467 10.31 c Restart #24 #Var: 2340 LB: 0 @ 10.293 11.14 c Restart #25 #Var: 2340 LB: 0 @ 11.115 12.30 c Restart #26 #Var: 2340 LB: 0 @ 12.276 13.63 c Restart #27 #Var: 2340 LB: 0 @ 13.606 14.82 c Restart #28 #Var: 2340 LB: 0 @ 14.791 15.82 c Restart #29 #Var: 2340 LB: 0 @ 15.795 16.88 c Restart #30 #Var: 2340 LB: 0 @ 16.856 17.99 c Restart #31 #Var: 2340 LB: 0 @ 17.967 19.13 c Restart #32 #Var: 2340 LB: 0 @ 19.107 20.31 c Restart #33 #Var: 2340 LB: 0 @ 20.284 21.52 c Restart #34 #Var: 2340 LB: 0 @ 21.493 22.83 c Restart #35 #Var: 2340 LB: 0 @ 22.806 24.11 c Restart #36 #Var: 2340 LB: 0 @ 24.083 25.42 c Restart #37 #Var: 2340 LB: 0 @ 25.393 26.86 c Restart #38 #Var: 2340 LB: 0 @ 26.834 28.31 c Restart #39 #Var: 2340 LB: 0 @ 28.278 29.80 c Restart #40 #Var: 2340 LB: 0 @ 29.77 31.31 c Restart #41 #Var: 2340 LB: 0 @ 31.28 32.82 c Restart #42 #Var: 2340 LB: 0 @ 32.794 34.40 c Restart #43 #Var: 2340 LB: 0 @ 34.366 36.03 c Restart #44 #Var: 2340 LB: 0 @ 35.997 37.71 c Restart #45 #Var: 2340 LB: 0 @ 37.678 39.37 c Restart #46 #Var: 2340 LB: 0 @ 39.336 41.05 c Restart #47 #Var: 2340 LB: 0 @ 41.015 42.88 c Restart #48 #Var: 2340 LB: 0 @ 42.844 44.80 c Restart #49 #Var: 2340 LB: 0 @ 44.768 46.67 c Restart #50 #Var: 2340 LB: 0 @ 46.637 48.58 c Restart #51 #Var: 2340 LB: 0 @ 48.548 50.55 c Restart #52 #Var: 2340 LB: 0 @ 50.513 52.53 c Restart #53 #Var: 2340 LB: 0 @ 52.494 54.64 c Restart #54 #Var: 2340 LB: 0 @ 54.605 56.75 c Restart #55 #Var: 2340 LB: 0 @ 56.709 58.83 c Restart #56 #Var: 2340 LB: 0 @ 58.788 60.88 c Restart #57 #Var: 2340 LB: 0 @ 60.844 63.03 c Restart #58 #Var: 2340 LB: 0 @ 62.985 65.18 c Restart #59 #Var: 2340 LB: 0 @ 65.135 67.40 c Restart #60 #Var: 2340 LB: 0 @ 67.358 69.63 c Restart #61 #Var: 2340 LB: 0 @ 69.591 71.91 c Restart #62 #Var: 2340 LB: 0 @ 71.865 74.22 c Restart #63 #Var: 2340 LB: 0 @ 74.173 76.62 c Restart #64 #Var: 2340 LB: 0 @ 76.576 79.06 c Restart #65 #Var: 2340 LB: 0 @ 79.016 81.64 c Restart #66 #Var: 2340 LB: 0 @ 81.593 84.09 c Restart #67 #Var: 2340 LB: 0 @ 84.046 86.75 c Restart #68 #Var: 2340 LB: 0 @ 86.695 89.40 c Restart #69 #Var: 2340 LB: 0 @ 89.354 92.23 c Restart #70 #Var: 2340 LB: 0 @ 92.182 95.06 c Restart #71 #Var: 2340 LB: 0 @ 95.005 98.00 c Restart #72 #Var: 2340 LB: 0 @ 97.948 100.94 c Restart #73 #Var: 2340 LB: 0 @ 100.89 103.99 c Restart #74 #Var: 2340 LB: 0 @ 103.94 106.95 c Restart #75 #Var: 2340 LB: 0 @ 106.89 109.91 c Restart #76 #Var: 2340 LB: 0 @ 109.85 112.84 c Restart #77 #Var: 2340 LB: 0 @ 112.78 115.96 c Restart #78 #Var: 2340 LB: 0 @ 115.9 119.31 c Restart #79 #Var: 2340 LB: 0 @ 119.25 122.59 c Restart #80 #Var: 2340 LB: 0 @ 122.53 125.88 c Restart #81 #Var: 2340 LB: 0 @ 125.82 129.14 c Restart #82 #Var: 2340 LB: 0 @ 129.07 132.38 c Restart #83 #Var: 2340 LB: 0 @ 132.31 135.75 c Restart #84 #Var: 2340 LB: 0 @ 135.69 139.08 c Restart #85 #Var: 2340 LB: 0 @ 139.01 142.45 c Restart #86 #Var: 2340 LB: 0 @ 142.38 145.85 c Restart #87 #Var: 2340 LB: 0 @ 145.78 149.35 c Restart #88 #Var: 2340 LB: 0 @ 149.28 153.27 c Restart #89 #Var: 2340 LB: 0 @ 153.2 157.08 c Restart #90 #Var: 2340 LB: 0 @ 157.01 160.90 c Restart #91 #Var: 2340 LB: 0 @ 160.83 164.87 c Restart #92 #Var: 2340 LB: 0 @ 164.79 168.86 c Restart #93 #Var: 2340 LB: 0 @ 168.78 172.83 c Restart #94 #Var: 2340 LB: 0 @ 172.75 176.81 c Restart #95 #Var: 2340 LB: 0 @ 176.73 180.67 c Restart #96 #Var: 2340 LB: 0 @ 180.59 184.75 c Restart #97 #Var: 2340 LB: 0 @ 184.67 189.09 c Restart #98 #Var: 2340 LB: 0 @ 189 193.17 c Restart #99 #Var: 2340 LB: 0 @ 193.08 197.69 c Restart #100 #Var: 2340 LB: 0 @ 197.6 202.16 c Restart #101 #Var: 2340 LB: 0 @ 202.07 206.77 c Restart #102 #Var: 2340 LB: 0 @ 206.67 211.45 c Restart #103 #Var: 2340 LB: 0 @ 211.36 216.16 c Restart #104 #Var: 2340 LB: 0 @ 216.07 220.70 c Restart #105 #Var: 2340 LB: 0 @ 220.61 225.33 c Restart #106 #Var: 2340 LB: 0 @ 225.23 230.15 c Restart #107 #Var: 2340 LB: 0 @ 230.05 235.13 c Restart #108 #Var: 2340 LB: 0 @ 235.03 239.95 c Restart #109 #Var: 2340 LB: 0 @ 239.85 244.99 c Restart #110 #Var: 2340 LB: 0 @ 244.88 250.12 c Restart #111 #Var: 2340 LB: 0 @ 250.01 255.26 c Restart #112 #Var: 2340 LB: 0 @ 255.15 260.38 c Restart #113 #Var: 2340 LB: 0 @ 260.26 265.59 c Restart #114 #Var: 2340 LB: 0 @ 265.48 270.55 c Restart #115 #Var: 2340 LB: 0 @ 270.43 275.58 c Restart #116 #Var: 2340 LB: 0 @ 275.47 280.86 c Restart #117 #Var: 2340 LB: 0 @ 280.74 286.08 c Restart #118 #Var: 2340 LB: 0 @ 285.96 291.13 c Restart #119 #Var: 2340 LB: 0 @ 291 296.48 c Restart #120 #Var: 2340 LB: 0 @ 296.36 301.99 c Restart #121 #Var: 2340 LB: 0 @ 301.86 307.20 c Restart #122 #Var: 2340 LB: 0 @ 307.07 312.20 c Restart #123 #Var: 2340 LB: 0 @ 312.07 317.27 c Restart #124 #Var: 2340 LB: 0 @ 317.13 322.58 c Restart #125 #Var: 2340 LB: 0 @ 322.44 327.95 c Restart #126 #Var: 2340 LB: 0 @ 327.81 333.68 c Restart #127 #Var: 2340 LB: 0 @ 333.54 339.43 c Restart #128 #Var: 2340 LB: 0 @ 339.29 345.34 c Restart #129 #Var: 2340 LB: 0 @ 345.19 351.43 c Restart #130 #Var: 2340 LB: 0 @ 351.28 357.55 c Restart #131 #Var: 2340 LB: 0 @ 357.41 363.34 c Restart #132 #Var: 2340 LB: 0 @ 363.19 369.32 c Restart #133 #Var: 2340 LB: 0 @ 369.17 375.32 c Restart #134 #Var: 2340 LB: 0 @ 375.17 381.32 c Restart #135 #Var: 2340 LB: 0 @ 381.17 387.13 c Restart #136 #Var: 2340 LB: 0 @ 386.97 392.64 c Restart #137 #Var: 2340 LB: 0 @ 392.48 398.46 c Restart #138 #Var: 2340 LB: 0 @ 398.3 404.20 c Restart #139 #Var: 2340 LB: 0 @ 404.03 410.25 c Restart #140 #Var: 2340 LB: 0 @ 410.09 416.67 c Restart #141 #Var: 2340 LB: 0 @ 416.5 423.02 c Restart #142 #Var: 2340 LB: 0 @ 422.85 429.61 c Restart #143 #Var: 2340 LB: 0 @ 429.44 436.25 c Restart #144 #Var: 2340 LB: 0 @ 436.07 443.27 c Restart #145 #Var: 2340 LB: 0 @ 443.09 449.92 c Restart #146 #Var: 2340 LB: 0 @ 449.74 456.90 c Restart #147 #Var: 2340 LB: 0 @ 456.72 463.94 c Restart #148 #Var: 2340 LB: 0 @ 463.76 470.73 c Restart #149 #Var: 2340 LB: 0 @ 470.55 477.62 c Restart #150 #Var: 2340 LB: 0 @ 477.43 484.91 c Restart #151 #Var: 2340 LB: 0 @ 484.72 491.82 c Restart #152 #Var: 2340 LB: 0 @ 491.62 499.33 c Restart #153 #Var: 2340 LB: 0 @ 499.13 506.50 c Restart #154 #Var: 2340 LB: 0 @ 506.3 514.25 c Restart #155 #Var: 2340 LB: 0 @ 514.05 521.51 c Restart #156 #Var: 2340 LB: 0 @ 521.3 528.65 c Restart #157 #Var: 2340 LB: 0 @ 528.44 535.40 c Restart #158 #Var: 2340 LB: 0 @ 535.18 542.72 c Restart #159 #Var: 2340 LB: 0 @ 542.5 550.16 c Restart #160 #Var: 2340 LB: 0 @ 549.94 557.62 c Restart #161 #Var: 2340 LB: 0 @ 557.4 565.62 c Restart #162 #Var: 2340 LB: 0 @ 565.4 573.12 c Restart #163 #Var: 2340 LB: 0 @ 572.9 581.73 c Restart #164 #Var: 2340 LB: 0 @ 581.5 589.67 c Restart #165 #Var: 2340 LB: 0 @ 589.44 598.13 c Restart #166 #Var: 2340 LB: 0 @ 597.89 606.42 c Restart #167 #Var: 2340 LB: 0 @ 606.19 613.82 c Restart #168 #Var: 2340 LB: 0 @ 613.58 623.05 c Restart #169 #Var: 2340 LB: 0 @ 622.81 631.64 c Restart #170 #Var: 2340 LB: 0 @ 631.4 641.07 c Restart #171 #Var: 2340 LB: 0 @ 640.82 650.87 c Restart #172 #Var: 2340 LB: 0 @ 650.62 660.91 c Restart #173 #Var: 2340 LB: 0 @ 660.65 670.29 c Restart #174 #Var: 2340 LB: 0 @ 670.03 680.49 c Restart #175 #Var: 2340 LB: 0 @ 680.22 689.85 c Restart #176 #Var: 2340 LB: 0 @ 689.58 699.60 c Restart #177 #Var: 2340 LB: 0 @ 699.33 709.31 c Restart #178 #Var: 2340 LB: 0 @ 709.03 719.75 c Restart #179 #Var: 2340 LB: 0 @ 719.47 730.20 c Restart #180 #Var: 2340 LB: 0 @ 729.92 739.33 c Restart #181 #Var: 2340 LB: 0 @ 739.04 749.30 c Restart #182 #Var: 2340 LB: 0 @ 749.02 759.25 c Restart #183 #Var: 2340 LB: 0 @ 758.96 768.96 c Restart #184 #Var: 2340 LB: 0 @ 768.67 780.24 c Restart #185 #Var: 2340 LB: 0 @ 779.94 791.23 c Restart #186 #Var: 2340 LB: 0 @ 790.93 802.54 c Restart #187 #Var: 2340 LB: 0 @ 802.24 813.10 c Restart #188 #Var: 2340 LB: 0 @ 812.79 823.85 c Restart #189 #Var: 2340 LB: 0 @ 823.54 835.54 c Restart #190 #Var: 2340 LB: 0 @ 835.22 846.64 c Restart #191 #Var: 2340 LB: 0 @ 846.32 857.93 c Restart #192 #Var: 2340 LB: 0 @ 857.6 868.79 c Restart #193 #Var: 2340 LB: 0 @ 868.46 880.27 c Restart #194 #Var: 2340 LB: 0 @ 879.93 892.12 c Restart #195 #Var: 2340 LB: 0 @ 891.78 904.54 c CHANGE Heuristic... 904.54 c Restart #0 #Var: 2340 LB: 0 @ 904.2 904.60 c Restart #1 #Var: 2340 LB: 0 @ 904.26 904.70 c Restart #2 #Var: 2340 LB: 0 @ 904.35 904.83 c Restart #3 #Var: 2340 LB: 0 @ 904.49 905.01 c Restart #4 #Var: 2340 LB: 0 @ 904.67 905.23 c Restart #5 #Var: 2340 LB: 0 @ 904.89 905.48 c Restart #6 #Var: 2340 LB: 0 @ 905.14 905.79 c Restart #7 #Var: 2340 LB: 0 @ 905.44 906.15 c Restart #8 #Var: 2340 LB: 0 @ 905.8 906.57 c Restart #9 #Var: 2340 LB: 0 @ 906.23 907.04 c Restart #10 #Var: 2340 LB: 0 @ 906.7 907.55 c Restart #11 #Var: 2340 LB: 0 @ 907.21 908.14 c Restart #12 #Var: 2340 LB: 0 @ 907.79 908.75 c Restart #13 #Var: 2340 LB: 0 @ 908.4 909.44 c Restart #14 #Var: 2340 LB: 0 @ 909.09 910.13 c Restart #15 #Var: 2340 LB: 0 @ 909.78 910.87 c Restart #16 #Var: 2340 LB: 0 @ 910.53 911.66 c Restart #17 #Var: 2340 LB: 0 @ 911.32 912.48 c Restart #18 #Var: 2340 LB: 0 @ 912.14 913.40 c Restart #19 #Var: 2340 LB: 0 @ 913.06 914.36 c Restart #20 #Var: 2340 LB: 0 @ 914.02 915.34 c Restart #21 #Var: 2340 LB: 0 @ 914.99 916.40 c Restart #22 #Var: 2340 LB: 0 @ 916.05 917.45 c Restart #23 #Var: 2340 LB: 0 @ 917.1 918.54 c Restart #24 #Var: 2340 LB: 0 @ 918.18 919.73 c Restart #25 #Var: 2340 LB: 0 @ 919.38 921.06 c Restart #26 #Var: 2340 LB: 0 @ 920.71 922.39 c Restart #27 #Var: 2340 LB: 0 @ 922.03 923.65 c Restart #28 #Var: 2340 LB: 0 @ 923.29 925.05 c Restart #29 #Var: 2340 LB: 0 @ 924.7 926.51 c Restart #30 #Var: 2340 LB: 0 @ 926.16 928.03 c Restart #31 #Var: 2340 LB: 0 @ 927.68 929.48 c Restart #32 #Var: 2340 LB: 0 @ 929.13 931.13 c Restart #33 #Var: 2340 LB: 0 @ 930.77 932.70 c Restart #34 #Var: 2340 LB: 0 @ 932.34 934.42 c Restart #35 #Var: 2340 LB: 0 @ 934.06 936.00 c Restart #36 #Var: 2340 LB: 0 @ 935.65 937.61 c Restart #37 #Var: 2340 LB: 0 @ 937.25 939.34 c Restart #38 #Var: 2340 LB: 0 @ 938.98 941.05 c Restart #39 #Var: 2340 LB: 0 @ 940.69 942.91 c Restart #40 #Var: 2340 LB: 0 @ 942.55 944.64 c Restart #41 #Var: 2340 LB: 0 @ 944.28 946.75 c Restart #42 #Var: 2340 LB: 0 @ 946.39 948.64 c Restart #43 #Var: 2340 LB: 0 @ 948.28 950.68 c Restart #44 #Var: 2340 LB: 0 @ 950.32 952.60 c Restart #45 #Var: 2340 LB: 0 @ 952.24 954.71 c Restart #46 #Var: 2340 LB: 0 @ 954.35 956.89 c Restart #47 #Var: 2340 LB: 0 @ 956.53 959.01 c Restart #48 #Var: 2340 LB: 0 @ 958.65 961.53 c Restart #49 #Var: 2340 LB: 0 @ 961.16 963.93 c Restart #50 #Var: 2340 LB: 0 @ 963.56 966.28 c Restart #51 #Var: 2340 LB: 0 @ 965.92 968.77 c Restart #52 #Var: 2340 LB: 0 @ 968.4 971.17 c Restart #53 #Var: 2340 LB: 0 @ 970.8 973.89 c Restart #54 #Var: 2340 LB: 0 @ 973.52 976.46 c Restart #55 #Var: 2340 LB: 0 @ 976.09 978.96 c Restart #56 #Var: 2340 LB: 0 @ 978.59 981.96 c Restart #57 #Var: 2340 LB: 0 @ 981.59 984.66 c Restart #58 #Var: 2340 LB: 0 @ 984.29 987.39 c Restart #59 #Var: 2340 LB: 0 @ 987.01 990.27 c Restart #60 #Var: 2340 LB: 0 @ 989.89 993.41 c Restart #61 #Var: 2340 LB: 0 @ 993.03 996.51 c Restart #62 #Var: 2340 LB: 0 @ 996.13 999.64 c Restart #63 #Var: 2340 LB: 0 @ 999.26 1002.90 c Restart #64 #Var: 2340 LB: 0 @ 1002.5 1006.01 c Restart #65 #Var: 2340 LB: 0 @ 1005.6 1009.27 c Restart #66 #Var: 2340 LB: 0 @ 1008.9 1012.62 c Restart #67 #Var: 2340 LB: 0 @ 1012.2 1015.91 c Restart #68 #Var: 2340 LB: 0 @ 1015.5 1019.56 c Restart #69 #Var: 2340 LB: 0 @ 1019.2 1023.00 c Restart #70 #Var: 2340 LB: 0 @ 1022.6 1026.57 c Restart #71 #Var: 2340 LB: 0 @ 1026.2 1030.08 c Restart #72 #Var: 2340 LB: 0 @ 1029.7 1033.81 c Restart #73 #Var: 2340 LB: 0 @ 1033.4 1037.53 c Restart #74 #Var: 2340 LB: 0 @ 1037.1 1041.10 c Restart #75 #Var: 2340 LB: 0 @ 1040.7 1045.00 c Restart #76 #Var: 2340 LB: 0 @ 1044.6 1049.01 c Restart #77 #Var: 2340 LB: 0 @ 1048.6 1052.84 c Restart #78 #Var: 2340 LB: 0 @ 1052.4 1056.82 c Restart #79 #Var: 2340 LB: 0 @ 1056.4 1061.13 c Restart #80 #Var: 2340 LB: 0 @ 1060.7 1065.29 c Restart #81 #Var: 2340 LB: 0 @ 1064.9 1069.65 c Restart #82 #Var: 2340 LB: 0 @ 1069.3 1074.11 c Restart #83 #Var: 2340 LB: 0 @ 1073.7 1078.73 c Restart #84 #Var: 2340 LB: 0 @ 1078.3 1083.25 c Restart #85 #Var: 2340 LB: 0 @ 1082.8 1087.81 c Restart #86 #Var: 2340 LB: 0 @ 1087.4 1092.47 c Restart #87 #Var: 2340 LB: 0 @ 1092.1 1097.00 c Restart #88 #Var: 2340 LB: 0 @ 1096.6 1101.67 c Restart #89 #Var: 2340 LB: 0 @ 1101.3 1106.50 c Restart #90 #Var: 2340 LB: 0 @ 1106.1 1111.83 c Restart #91 #Var: 2340 LB: 0 @ 1111.4 1116.77 c Restart #92 #Var: 2340 LB: 0 @ 1116.3 1121.53 c Restart #93 #Var: 2340 LB: 0 @ 1121.1 1126.57 c Restart #94 #Var: 2340 LB: 0 @ 1126.2 1131.46 c Restart #95 #Var: 2340 LB: 0 @ 1131 1136.62 c Restart #96 #Var: 2340 LB: 0 @ 1136.2 1142.31 c Restart #97 #Var: 2340 LB: 0 @ 1141.9 1147.52 c Restart #98 #Var: 2340 LB: 0 @ 1147.1 1152.83 c Restart #99 #Var: 2340 LB: 0 @ 1152.4 1158.15 c Restart #100 #Var: 2340 LB: 0 @ 1157.7 1163.89 c Restart #101 #Var: 2340 LB: 0 @ 1163.4 1169.47 c Restart #102 #Var: 2340 LB: 0 @ 1169 1175.12 c Restart #103 #Var: 2340 LB: 0 @ 1174.7 1180.77 c Restart #104 #Var: 2340 LB: 0 @ 1180.3 1186.42 c Restart #105 #Var: 2340 LB: 0 @ 1186 1192.01 c Restart #106 #Var: 2340 LB: 0 @ 1191.6 1197.80 c Restart #107 #Var: 2340 LB: 0 @ 1197.4 1203.50 c Restart #108 #Var: 2340 LB: 0 @ 1203 1209.45 c Restart #109 #Var: 2340 LB: 0 @ 1209 1215.25 c Restart #110 #Var: 2340 LB: 0 @ 1214.8 1221.27 c Restart #111 #Var: 2340 LB: 0 @ 1220.8 1227.14 c Restart #112 #Var: 2340 LB: 0 @ 1226.7 1233.13 c Restart #113 #Var: 2340 LB: 0 @ 1232.7 1239.38 c Restart #114 #Var: 2340 LB: 0 @ 1238.9 1245.57 c Restart #115 #Var: 2340 LB: 0 @ 1245.1 1251.99 c Restart #116 #Var: 2340 LB: 0 @ 1251.5 1258.35 c Restart #117 #Var: 2340 LB: 0 @ 1257.9 1264.76 c Restart #118 #Var: 2340 LB: 0 @ 1264.3 1271.19 c Restart #119 #Var: 2340 LB: 0 @ 1270.7 1277.83 c Restart #120 #Var: 2340 LB: 0 @ 1277.4 1284.43 c Restart #121 #Var: 2340 LB: 0 @ 1283.9 1291.37 c Restart #122 #Var: 2340 LB: 0 @ 1290.9 1298.30 c Restart #123 #Var: 2340 LB: 0 @ 1297.8 1305.50 c Restart #124 #Var: 2340 LB: 0 @ 1305 1312.64 c Restart #125 #Var: 2340 LB: 0 @ 1312.1 1320.48 c Restart #126 #Var: 2340 LB: 0 @ 1320 1327.92 c Restart #127 #Var: 2340 LB: 0 @ 1327.4 1335.79 c Restart #128 #Var: 2340 LB: 0 @ 1335.3 1343.43 c Restart #129 #Var: 2340 LB: 0 @ 1342.9 1351.74 c Restart #130 #Var: 2340 LB: 0 @ 1351.2 1359.88 c Restart #131 #Var: 2340 LB: 0 @ 1359.4 1367.96 c Restart #132 #Var: 2340 LB: 0 @ 1367.4 1376.42 c Restart #133 #Var: 2340 LB: 0 @ 1375.9 1385.49 c Restart #134 #Var: 2340 LB: 0 @ 1385 1394.84 c Restart #135 #Var: 2340 LB: 0 @ 1394.3 1404.00 c Restart #136 #Var: 2340 LB: 0 @ 1403.5 1413.39 c Restart #137 #Var: 2340 LB: 0 @ 1412.9 1422.61 c Restart #138 #Var: 2340 LB: 0 @ 1422.1 1432.37 c Restart #139 #Var: 2340 LB: 0 @ 1431.8 1440.76 c Restart #140 #Var: 2340 LB: 0 @ 1440.2 1449.87 c Restart #141 #Var: 2340 LB: 0 @ 1449.3 1459.51 c Restart #142 #Var: 2340 LB: 0 @ 1459 1469.04 c Restart #143 #Var: 2340 LB: 0 @ 1468.5 1478.77 c Restart #144 #Var: 2340 LB: 0 @ 1478.2 1488.95 c Restart #145 #Var: 2340 LB: 0 @ 1488.4 1498.35 c Restart #146 #Var: 2340 LB: 0 @ 1497.8 1508.41 c Restart #147 #Var: 2340 LB: 0 @ 1507.8 1518.11 c Restart #148 #Var: 2340 LB: 0 @ 1517.5 1527.76 c Restart #149 #Var: 2340 LB: 0 @ 1527.2 1537.87 c Restart #150 #Var: 2340 LB: 0 @ 1537.3 1546.85 c Restart #151 #Var: 2340 LB: 0 @ 1546.3 1556.90 c Restart #152 #Var: 2340 LB: 0 @ 1556.3 1566.92 c Restart #153 #Var: 2340 LB: 0 @ 1566.3 1577.09 c Restart #154 #Var: 2340 LB: 0 @ 1576.5 1587.50 c Restart #155 #Var: 2340 LB: 0 @ 1586.9 1598.22 c Restart #156 #Var: 2340 LB: 0 @ 1597.6 1608.52 c Restart #157 #Var: 2340 LB: 0 @ 1607.9 1618.69 c Restart #158 #Var: 2340 LB: 0 @ 1618.1 1629.22 c Restart #159 #Var: 2340 LB: 0 @ 1628.6 1640.50 c Restart #160 #Var: 2340 LB: 0 @ 1639.9 1652.00 c Restart #161 #Var: 2340 LB: 0 @ 1651.4 1663.38 c Restart #162 #Var: 2340 LB: 0 @ 1662.8 1675.23 c Restart #163 #Var: 2340 LB: 0 @ 1674.6 1686.64 c Restart #164 #Var: 2340 LB: 0 @ 1686 1698.75 c Restart #165 #Var: 2340 LB: 0 @ 1698.1 1710.32 c Restart #166 #Var: 2340 LB: 0 @ 1709.7 1722.31 c Restart #167 #Var: 2340 LB: 0 @ 1721.7 1734.00 c Restart #168 #Var: 2340 LB: 0 @ 1733.4 1746.19 c Restart #169 #Var: 2340 LB: 0 @ 1745.5 1758.39 c Restart #170 #Var: 2340 LB: 0 @ 1757.7 1770.88 c Restart #171 #Var: 2340 LB: 0 @ 1770.2 1783.66 c Restart #172 #Var: 2340 LB: 0 @ 1783 1796.76 c Restart #173 #Var: 2340 LB: 0 @ 1796.1 1800.67 s UNKNOWN 1800.67 c Exit Code: 0 1800.67 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 Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node36/watcher-39678-1149232663 -o ROOT/results/node36/solver-39678-1149232663 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node36/39678-1149232663/instance-39678-1149232663.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.90 2/64 21176 /proc/meminfo: memFree=1356968/2055920 swapFree=4181460/4192956 [pid=21176] ppid=21174 vsize=2900 CPUtime=0 /proc/21176/stat : 21176 (bsolo) R 21174 21176 21131 0 -1 0 43 0 0 0 0 0 0 0 18 0 1 0 188932427 2969600 27 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 1528107 0 0 4096 0 0 0 0 17 1 0 0 /proc/21176/statm: 725 27 19 55 0 38 0 [startup+10.0023 s] /proc/loadavg: 0.93 0.95 0.90 2/64 21176 /proc/meminfo: memFree=1350824/2055920 swapFree=4181460/4192956 [pid=21176] ppid=21174 vsize=10760 CPUtime=9.97 /proc/21176/stat : 21176 (bsolo) R 21174 21176 21131 0 -1 0 1924 0 0 0 994 3 0 0 25 0 1 0 188932427 11018240 1839 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718704 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21176/statm: 2690 1839 297 55 0 1582 0 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 10760 [startup+20.0091 s] /proc/loadavg: 0.94 0.96 0.91 2/64 21176 /proc/meminfo: memFree=1350696/2055920 swapFree=4181460/4192956 [pid=21176] ppid=21174 vsize=10892 CPUtime=19.98 /proc/21176/stat : 21176 (bsolo) R 21174 21176 21131 0 -1 0 1970 0 0 0 1992 6 0 0 25 0 1 0 188932427 11153408 1885 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534977 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21176/statm: 2723 1885 297 55 0 1615 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 10892 [startup+30.0149 s] /proc/loadavg: 0.95 0.96 0.91 2/64 21176 /proc/meminfo: memFree=1350440/2055920 swapFree=4181460/4192956 [pid=21176] ppid=21174 vsize=11156 CPUtime=29.97 /proc/21176/stat : 21176 (bsolo) R 21174 21176 21131 0 -1 0 2030 0 0 0 2989 8 0 0 25 0 1 0 188932427 11423744 1945 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21176/statm: 2789 1945 297 55 0 1681 0 Current children cumulated CPU time (s) 29.97 Current children cumulated vsize (Kb) 11156 [startup+40.0207 s] /proc/loadavg: 0.95 0.96 0.91 2/64 21176 /proc/meminfo: memFree=1350376/2055920 swapFree=4181460/4192956 [pid=21176] ppid=21174 vsize=11156 CPUtime=39.98 /proc/21176/stat : 21176 (bsolo) R 21174 21176 21131 0 -1 0 2043 0 0 0 3987 11 0 0 25 0 1 0 188932427 11423744 1958 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21176/statm: 2789 1958 297 55 0 1681 0 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 11156 [startup+50.0265 s] /proc/loadavg: 0.96 0.96 0.91 2/64 21176 /proc/meminfo: memFree=1350376/2055920 swapFree=4181460/4192956 [pid=21176] ppid=21174 vsize=11156 CPUtime=49.98 /proc/21176/stat : 21176 (bsolo) R 21174 21176 21131 0 -1 0 2043 0 0 0 4985 13 0 0 25 0 1 0 188932427 11423744 1958 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21176/statm: 2789 1958 297 55 0 1681 0 Current children cumulated CPU time (s) 49.98 Current children cumulated vsize (Kb) 11156 [startup+60.0323 s] /proc/loadavg: 0.97 0.96 0.91 2/64 21176 /proc/meminfo: memFree=1350312/2055920 swapFree=4181460/4192956 [pid=21176] ppid=21174 vsize=11156 CPUtime=59.99 /proc/21176/stat : 21176 (bsolo) R 21174 21176 21131 0 -1 0 2050 0 0 0 5984 15 0 0 25 0 1 0 188932427 11423744 1965 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21176/statm: 2789 1965 297 55 0 1681 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 11156 [startup+70.0381 s] /proc/loadavg: 0.97 0.96 0.91 2/64 21176 /proc/meminfo: memFree=1350248/2055920 swapFree=4181460/4192956 [pid=21176] ppid=21174 vsize=11276 CPUtime=69.99 /proc/21176/stat : 21176 (bsolo) R 21174 21176 21131 0 -1 0 2063 0 0 0 6982 17 0 0 25 0 1 0 188932427 11546624 1978 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21176/statm: 2819 1978 297 55 0 1711 0 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 11276 [startup+80.044 s] /proc/loadavg: 0.98 0.96 0.91 2/64 21176 /proc/meminfo: memFree=1350120/2055920 swapFree=4181460/4192956 [pid=21176] ppid=21174 vsize=11392 CPUtime=79.99 /proc/21176/stat : 21176 (bsolo) R 21174 21176 21131 0 -1 0 2087 0 0 0 7979 20 0 0 25 0 1 0 188932427 11665408 2002 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541526 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21176/statm: 2848 2002 297 55 0 1740 0 Current children cumulated CPU time (s) 79.99 Current children cumulated vsize (Kb) 11392 [startup+90.0498 s] /proc/loadavg: 0.98 0.96 0.91 2/64 21176 /proc/meminfo: memFree=1350120/2055920 swapFree=4181460/4192956 [pid=21176] ppid=21174 vsize=11368 CPUtime=90.17 /proc/21176/stat : 21176 (bsolo) R 21174 21176 21131 0 -1 0 2097 0 0 0 8996 21 0 0 25 0 1 0 188932427 11640832 2012 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540726 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21176/statm: 2842 2012 297 55 0 1734 0 Current children cumulated CPU time (s) 90.17 Current children cumulated vsize (Kb) 11368 [startup+100.234 s] /proc/loadavg: 0.98 0.96 0.91 2/64 21176 /proc/meminfo: memFree=1350056/2055920 swapFree=4181460/4192956 [pid=21176] ppid=21174 vsize=11368 CPUtime=100.17 /proc/21176/stat : 21176 (bsolo) R 21174 21176 21131 0 -1 0 2100 0 0 0 9993 24 0 0 25 0 1 0 188932427 11640832 2015 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534099 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21176/statm: 2842 2015 297 55 0 1734 0 Current children cumulated CPU time (s) 100.17 Current children cumulated vsize (Kb) 11368 [startup+110.239 s] /proc/loadavg: 0.98 0.96 0.91 2/64 21176 /proc/meminfo: memFree=1350056/2055920 swapFree=4181460/4192956 [pid=21176] ppid=21174 vsize=11476 CPUtime=110.17 /proc/21176/stat : 21176 (bsolo) R 21174 21176 21131 0 -1 0 2107 0 0 0 10992 25 0 0 25 0 1 0 188932427 11751424 2022 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21176/statm: 2869 2022 297 55 0 1761 0 Current children cumulated CPU time (s) 110.17 Current children cumulated vsize (Kb) 11476 [startup+120.245 s] /proc/loadavg: 0.99 0.97 0.91 2/64 21176 /proc/meminfo: memFree=1350056/2055920 swapFree=4181460/4192956 [pid=21176] ppid=21174 vsize=11476 CPUtime=120.17 /proc/21176/stat : 21176 (bsolo) R 21174 21176 21131 0 -1 0 2124 0 0 0 11990 27 0 0 25 0 1 0 188932427 11751424 2039 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21176/statm: 2869 2039 297 55 0 1761 0 Current children cumulated CPU time (s) 120.17 Current children cumulated vsize (Kb) 11476 [startup+130.251 s] /proc/loadavg: 0.99 0.97 0.91 2/64 21176 /proc/meminfo: memFree=1349992/2055920 swapFree=4181460/4192956 [pid=21176] ppid=21174 vsize=11476 CPUtime=130.18 /proc/21176/stat : 21176 (bsolo) R 21174 21176 21131 0 -1 0 2129 0 0 0 12988 30 0 0 25 0 1 0 188932427 11751424 2044 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21176/statm: 2869 2044 297 55 0 1761 0 Current children cumulated CPU time (s) 130.18 Current children cumulated vsize (Kb) 11476 [startup+140.257 s] /proc/loadavg: 0.99 0.97 0.91 2/64 21176 /proc/meminfo: memFree=1349992/2055920 swapFree=4181460/4192956 [pid=21176] ppid=21174 vsize=11476 CPUtime=140.18 /proc/21176/stat : 21176 (bsolo) R 21174 21176 21131 0 -1 0 2131 0 0 0 13986 32 0 0 25 0 1 0 188932427 11751424 2046 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21176/statm: 2869 2046 297 55 0 1761 0 Current children cumulated CPU time (s) 140.18 Current children cumulated vsize (Kb) 11476 [startup+150.263 s] /proc/loadavg: 0.99 0.97 0.91 2/64 21176 /proc/meminfo: memFree=1349992/2055920 swapFree=4181460/4192956 [pid=21176] ppid=21174 vsize=11476 CPUtime=150.19 /proc/21176/stat : 21176 (bsolo) R 21174 21176 21131 0 -1 0 2131 0 0 0 14985 34 0 0 25 0 1 0 188932427 11751424 2046 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158103316 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21176/statm: 2869 2046 297 55 0 1761 0 Current children cumulated CPU time (s) 150.19 Current children cumulated vsize (Kb) 11476 [startup+160.269 s] /proc/loadavg: 0.99 0.97 0.91 2/64 21176 /proc/meminfo: memFree=1349928/2055920 swapFree=4181460/4192956 [pid=21176] ppid=21174 vsize=11608 CPUtime=160.19 /proc/21176/stat : 21176 (bsolo) R 21174 21176 21131 0 -1 0 2137 0 0 0 15984 35 0 0 25 0 1 0 188932427 11886592 2052 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21176/statm: 2902 2052 297 55 0 1794 0 Current children cumulated CPU time (s) 160.19 Current children cumulated vsize (Kb) 11608 [startup+170.276 s] /proc/loadavg: 0.99 0.97 0.91 2/64 21176 /proc/meminfo: memFree=1349928/2055920 swapFree=4181460/4192956 [pid=21176] ppid=21174 vsize=11608 CPUtime=170.18 /proc/21176/stat : 21176 (bsolo) R 21174 21176 21131 0 -1 0 2138 0 0 0 16982 36 0 0 25 0 1 0 188932427 11886592 2053 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21176/statm: 2902 2053 297 55 0 1794 0 Current children cumulated CPU time (s) 170.18 Current children cumulated vsize (Kb) 11608 [startup+180.282 s] /proc/loadavg: 0.99 0.97 0.91 2/64 21176 /proc/meminfo: memFree=1349928/2055920 swapFree=4181460/4192956 [pid=21176] ppid=21174 vsize=11608 CPUtime=180.19 /proc/21176/stat : 21176 (bsolo) R 21174 21176 21131 0 -1 0 2148 0 0 0 17981 38 0 0 25 0 1 0 188932427 11886592 2063 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21176/statm: 2902 2063 297 55 0 1794 0 Current children cumulated CPU time (s) 180.19 Current children cumulated vsize (Kb) 11608 [startup+190.288 s] /proc/loadavg: 0.99 0.97 0.91 2/64 21176 /proc/meminfo: memFree=1349928/2055920 swapFree=4181460/4192956 [pid=21176] ppid=21174 vsize=11608 CPUtime=190.19 /proc/21176/stat : 21176 (bsolo) R 21174 21176 21131 0 -1 0 2148 0 0 0 18979 40 0 0 25 0 1 0 188932427 11886592 2063 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541593 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21176/statm: 2902 2063 297 55 0 1794 0 Current children cumulated CPU time (s) 190.19 Current children cumulated vsize (Kb) 11608 [startup+200.294 s] /proc/loadavg: 0.99 0.97 0.91 2/64 21176 /proc/meminfo: memFree=1349864/2055920 swapFree=4181460/4192956 [pid=21176] ppid=21174 vsize=11608 CPUtime=200.2 /proc/21176/stat : 21176 (bsolo) R 21174 21176 21131 0 -1 0 2163 0 0 0 19977 43 0 0 25 0 1 0 188932427 11886592 2078 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21176/statm: 2902 2078 297 55 0 1794 0 Current children cumulated CPU time (s) 200.2 Current children cumulated vsize (Kb) 11608 [startup+210.301 s] /proc/loadavg: 0.99 0.97 0.91 2/64 21176 /proc/meminfo: memFree=1349864/2055920 swapFree=4181460/4192956 ################ # More data... # ################ /proc/21176/statm: 4072 3245 297 55 0 2964 0 Current children cumulated CPU time (s) 1760.56 Current children cumulated vsize (Kb) 16288 [startup+1771.23 s] /proc/loadavg: 0.99 0.97 0.91 2/64 21178 /proc/meminfo: memFree=1344936/2055920 swapFree=4181460/4192956 [pid=21176] ppid=21174 vsize=16416 CPUtime=1770.56 /proc/21176/stat : 21176 (bsolo) R 21174 21176 21131 0 -1 0 3349 0 0 0 176724 332 0 0 25 0 1 0 188932427 16809984 3264 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21176/statm: 4104 3264 297 55 0 2996 0 Current children cumulated CPU time (s) 1770.56 Current children cumulated vsize (Kb) 16416 [startup+1781.23 s] /proc/loadavg: 0.99 0.97 0.91 2/64 21178 /proc/meminfo: memFree=1344936/2055920 swapFree=4181460/4192956 [pid=21176] ppid=21174 vsize=16408 CPUtime=1780.57 /proc/21176/stat : 21176 (bsolo) R 21174 21176 21131 0 -1 0 3349 0 0 0 177723 334 0 0 25 0 1 0 188932427 16801792 3264 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21176/statm: 4102 3264 297 55 0 2994 0 Current children cumulated CPU time (s) 1780.57 Current children cumulated vsize (Kb) 16408 [startup+1782.24 s] /proc/loadavg: 0.99 0.97 0.91 2/64 21178 /proc/meminfo: memFree=1344936/2055920 swapFree=4181460/4192956 [pid=21176] ppid=21174 vsize=16408 CPUtime=1781.57 /proc/21176/stat : 21176 (bsolo) R 21174 21176 21131 0 -1 0 3349 0 0 0 177823 334 0 0 25 0 1 0 188932427 16801792 3264 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21176/statm: 4102 3264 297 55 0 2994 0 Current children cumulated CPU time (s) 1781.57 Current children cumulated vsize (Kb) 16408 [startup+1783.24 s] /proc/loadavg: 0.99 0.97 0.91 2/64 21178 /proc/meminfo: memFree=1344936/2055920 swapFree=4181460/4192956 [pid=21176] ppid=21174 vsize=16408 CPUtime=1782.58 /proc/21176/stat : 21176 (bsolo) R 21174 21176 21131 0 -1 0 3349 0 0 0 177924 334 0 0 25 0 1 0 188932427 16801792 3264 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548386 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21176/statm: 4102 3264 297 55 0 2994 0 Current children cumulated CPU time (s) 1782.58 Current children cumulated vsize (Kb) 16408 [startup+1784.25 s] /proc/loadavg: 0.99 0.97 0.91 2/64 21178 /proc/meminfo: memFree=1344936/2055920 swapFree=4181460/4192956 [pid=21176] ppid=21174 vsize=16408 CPUtime=1783.58 /proc/21176/stat : 21176 (bsolo) R 21174 21176 21131 0 -1 0 3349 0 0 0 178024 334 0 0 25 0 1 0 188932427 16801792 3264 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134719388 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21176/statm: 4102 3264 297 55 0 2994 0 Current children cumulated CPU time (s) 1783.58 Current children cumulated vsize (Kb) 16408 [startup+1785.25 s] /proc/loadavg: 0.99 0.97 0.91 2/64 21178 /proc/meminfo: memFree=1344936/2055920 swapFree=4181460/4192956 [pid=21176] ppid=21174 vsize=16408 CPUtime=1784.58 /proc/21176/stat : 21176 (bsolo) R 21174 21176 21131 0 -1 0 3349 0 0 0 178124 334 0 0 25 0 1 0 188932427 16801792 3264 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21176/statm: 4102 3264 297 55 0 2994 0 Current children cumulated CPU time (s) 1784.58 Current children cumulated vsize (Kb) 16408 [startup+1786.26 s] /proc/loadavg: 0.99 0.97 0.91 2/64 21178 /proc/meminfo: memFree=1344936/2055920 swapFree=4181460/4192956 [pid=21176] ppid=21174 vsize=16408 CPUtime=1785.59 /proc/21176/stat : 21176 (bsolo) R 21174 21176 21131 0 -1 0 3349 0 0 0 178225 334 0 0 25 0 1 0 188932427 16801792 3264 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21176/statm: 4102 3264 297 55 0 2994 0 Current children cumulated CPU time (s) 1785.59 Current children cumulated vsize (Kb) 16408 [startup+1787.26 s] /proc/loadavg: 0.99 0.97 0.91 2/64 21178 /proc/meminfo: memFree=1344936/2055920 swapFree=4181460/4192956 [pid=21176] ppid=21174 vsize=16408 CPUtime=1786.6 /proc/21176/stat : 21176 (bsolo) R 21174 21176 21131 0 -1 0 3349 0 0 0 178325 335 0 0 25 0 1 0 188932427 16801792 3264 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548217 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21176/statm: 4102 3264 297 55 0 2994 0 Current children cumulated CPU time (s) 1786.6 Current children cumulated vsize (Kb) 16408 [startup+1788.27 s] /proc/loadavg: 0.99 0.97 0.91 2/64 21178 /proc/meminfo: memFree=1344936/2055920 swapFree=4181460/4192956 [pid=21176] ppid=21174 vsize=16408 CPUtime=1787.6 /proc/21176/stat : 21176 (bsolo) R 21174 21176 21131 0 -1 0 3349 0 0 0 178425 335 0 0 25 0 1 0 188932427 16801792 3264 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541593 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21176/statm: 4102 3264 297 55 0 2994 0 Current children cumulated CPU time (s) 1787.6 Current children cumulated vsize (Kb) 16408 [startup+1789.27 s] /proc/loadavg: 0.99 0.97 0.91 2/64 21178 /proc/meminfo: memFree=1344936/2055920 swapFree=4181460/4192956 [pid=21176] ppid=21174 vsize=16408 CPUtime=1788.61 /proc/21176/stat : 21176 (bsolo) R 21174 21176 21131 0 -1 0 3349 0 0 0 178526 335 0 0 25 0 1 0 188932427 16801792 3264 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21176/statm: 4102 3264 297 55 0 2994 0 Current children cumulated CPU time (s) 1788.61 Current children cumulated vsize (Kb) 16408 [startup+1790.28 s] /proc/loadavg: 0.99 0.97 0.91 2/64 21178 /proc/meminfo: memFree=1344936/2055920 swapFree=4181460/4192956 [pid=21176] ppid=21174 vsize=16408 CPUtime=1789.61 /proc/21176/stat : 21176 (bsolo) R 21174 21176 21131 0 -1 0 3349 0 0 0 178626 335 0 0 25 0 1 0 188932427 16801792 3264 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21176/statm: 4102 3264 297 55 0 2994 0 Current children cumulated CPU time (s) 1789.61 Current children cumulated vsize (Kb) 16408 [startup+1791.28 s] /proc/loadavg: 0.99 0.97 0.91 2/64 21178 /proc/meminfo: memFree=1344936/2055920 swapFree=4181460/4192956 [pid=21176] ppid=21174 vsize=16408 CPUtime=1790.61 /proc/21176/stat : 21176 (bsolo) R 21174 21176 21131 0 -1 0 3349 0 0 0 178726 335 0 0 25 0 1 0 188932427 16801792 3264 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535009 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21176/statm: 4102 3264 297 55 0 2994 0 Current children cumulated CPU time (s) 1790.61 Current children cumulated vsize (Kb) 16408 [startup+1792.29 s] /proc/loadavg: 0.99 0.97 0.91 2/64 21178 /proc/meminfo: memFree=1344936/2055920 swapFree=4181460/4192956 [pid=21176] ppid=21174 vsize=16408 CPUtime=1791.62 /proc/21176/stat : 21176 (bsolo) R 21174 21176 21131 0 -1 0 3349 0 0 0 178827 335 0 0 25 0 1 0 188932427 16801792 3264 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551577 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21176/statm: 4102 3264 297 55 0 2994 0 Current children cumulated CPU time (s) 1791.62 Current children cumulated vsize (Kb) 16408 [startup+1793.29 s] /proc/loadavg: 0.99 0.97 0.91 2/64 21178 /proc/meminfo: memFree=1344936/2055920 swapFree=4181460/4192956 [pid=21176] ppid=21174 vsize=16408 CPUtime=1792.62 /proc/21176/stat : 21176 (bsolo) R 21174 21176 21131 0 -1 0 3349 0 0 0 178927 335 0 0 25 0 1 0 188932427 16801792 3264 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21176/statm: 4102 3264 297 55 0 2994 0 Current children cumulated CPU time (s) 1792.62 Current children cumulated vsize (Kb) 16408 [startup+1794.3 s] /proc/loadavg: 0.99 0.97 0.91 2/64 21178 /proc/meminfo: memFree=1344936/2055920 swapFree=4181460/4192956 [pid=21176] ppid=21174 vsize=16408 CPUtime=1793.62 /proc/21176/stat : 21176 (bsolo) R 21174 21176 21131 0 -1 0 3349 0 0 0 179027 335 0 0 25 0 1 0 188932427 16801792 3264 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21176/statm: 4102 3264 297 55 0 2994 0 Current children cumulated CPU time (s) 1793.62 Current children cumulated vsize (Kb) 16408 [startup+1795.3 s] /proc/loadavg: 0.99 0.97 0.91 2/64 21178 /proc/meminfo: memFree=1344936/2055920 swapFree=4181460/4192956 [pid=21176] ppid=21174 vsize=16408 CPUtime=1794.63 /proc/21176/stat : 21176 (bsolo) R 21174 21176 21131 0 -1 0 3350 0 0 0 179128 335 0 0 25 0 1 0 188932427 16801792 3265 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21176/statm: 4102 3265 297 55 0 2994 0 Current children cumulated CPU time (s) 1794.63 Current children cumulated vsize (Kb) 16408 [startup+1796.31 s] /proc/loadavg: 0.99 0.97 0.91 2/64 21178 /proc/meminfo: memFree=1344936/2055920 swapFree=4181460/4192956 [pid=21176] ppid=21174 vsize=16408 CPUtime=1795.64 /proc/21176/stat : 21176 (bsolo) R 21174 21176 21131 0 -1 0 3355 0 0 0 179228 336 0 0 25 0 1 0 188932427 16801792 3270 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21176/statm: 4102 3270 297 55 0 2994 0 Current children cumulated CPU time (s) 1795.64 Current children cumulated vsize (Kb) 16408 [startup+1797.31 s] /proc/loadavg: 0.99 0.97 0.91 2/64 21178 /proc/meminfo: memFree=1344872/2055920 swapFree=4181460/4192956 [pid=21176] ppid=21174 vsize=16540 CPUtime=1796.64 /proc/21176/stat : 21176 (bsolo) R 21174 21176 21131 0 -1 0 3368 0 0 0 179328 336 0 0 25 0 1 0 188932427 16936960 3283 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550909 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21176/statm: 4135 3283 297 55 0 3027 0 Current children cumulated CPU time (s) 1796.64 Current children cumulated vsize (Kb) 16540 [startup+1798.32 s] /proc/loadavg: 0.99 0.97 0.91 2/64 21178 /proc/meminfo: memFree=1344872/2055920 swapFree=4181460/4192956 [pid=21176] ppid=21174 vsize=16540 CPUtime=1797.64 /proc/21176/stat : 21176 (bsolo) R 21174 21176 21131 0 -1 0 3368 0 0 0 179428 336 0 0 25 0 1 0 188932427 16936960 3283 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134580980 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21176/statm: 4135 3283 297 55 0 3027 0 Current children cumulated CPU time (s) 1797.64 Current children cumulated vsize (Kb) 16540 [startup+1799.32 s] /proc/loadavg: 0.99 0.97 0.91 2/64 21178 /proc/meminfo: memFree=1344872/2055920 swapFree=4181460/4192956 [pid=21176] ppid=21174 vsize=16540 CPUtime=1798.65 /proc/21176/stat : 21176 (bsolo) R 21174 21176 21131 0 -1 0 3368 0 0 0 179529 336 0 0 25 0 1 0 188932427 16936960 3283 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21176/statm: 4135 3283 297 55 0 3027 0 Current children cumulated CPU time (s) 1798.65 Current children cumulated vsize (Kb) 16540 [startup+1800.33 s] /proc/loadavg: 0.99 0.97 0.91 2/64 21178 /proc/meminfo: memFree=1344872/2055920 swapFree=4181460/4192956 [pid=21176] ppid=21174 vsize=16540 CPUtime=1799.65 /proc/21176/stat : 21176 (bsolo) R 21174 21176 21131 0 -1 0 3368 0 0 0 179629 336 0 0 25 0 1 0 188932427 16936960 3283 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21176/statm: 4135 3283 297 55 0 3027 0 Current children cumulated CPU time (s) 1799.65 Current children cumulated vsize (Kb) 16540 Child status: 0 Real time (s): 1800.68 CPU time (s): 1800.01 CPU user time (s): 1796.64 CPU system time (s): 3.37149 CPU usage (%): 99.9628 Max. virtual memory (cumulated for all children) (Kb): 16540
Begin job on node36 on Fri Jun 2 07:17:43 UTC 2006 FILE ID= 39678-1149232663 PBS_JOBID= 296563 BENCH NAME= ROOT/tmp/node36/39678-1149232663/instance-39678-1149232663.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node36/39678-1149232663/instance-39678-1149232663.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node36/watcher-39678-1149232663 -o ROOT/results/node36/solver-39678-1149232663 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node36/39678-1149232663/instance-39678-1149232663.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 72bb077846a4d869a09744c0b238b13c RANDOM SEED= 773710896 /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.284 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.284 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: 1357240 kB Buffers: 40336 kB Cached: 581964 kB SwapCached: 3504 kB Active: 194368 kB Inactive: 436932 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1357240 kB SwapTotal: 4192956 kB SwapFree: 4181460 kB Dirty: 172 kB Writeback: 0 kB Mapped: 14924 kB Slab: 53420 kB Committed_AS: 182636 kB PageTables: 1428 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node36 on Fri Jun 2 07:47:44 UTC 2006