Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 2006/05 | ? | 1800.01 | 1800.58 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ roussel/normalized-pigeon-cardinality-101-100.opb |
MD5SUM | 0b4d976a66cd69333fd390f8a9139e21 |
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.089986 |
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 | 10100 |
Total number of constraints | 201 |
Number of constraints which are clauses | 101 |
Number of constraints which are cardinality constraints (but not clauses) | 100 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 100 |
Maximum length of a constraint | 101 |
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 | 102 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.02 c Time Limit set via PBTIMEOUT to 1800 0.04 c INFO: OSL Context initialized. 0.20 c Initial problem consists of 10100 variables and 201 constraints. 0.22 c Using non-optimization problem switches. 0.22 c No problem reductions applied in OPT. instance. 0.22 c preprocess terminated. Elapsed time: 0.179 0.22 c After prepocess the problem consists of 10100 variables and 201 constraints. 0.40 c Restart #1 #Var: 10100 LB: 0 @ 0.36 0.74 c Restart #2 #Var: 10100 LB: 0 @ 0.694 0.94 c Restart #3 #Var: 10100 LB: 0 @ 0.9 1.17 c Restart #4 #Var: 10100 LB: 0 @ 1.13 1.47 c Restart #5 #Var: 10100 LB: 0 @ 1.426 1.81 c Restart #6 #Var: 10100 LB: 0 @ 1.769 2.21 c Restart #7 #Var: 10100 LB: 0 @ 2.168 2.66 c Restart #8 #Var: 10100 LB: 0 @ 2.618 3.15 c Restart #9 #Var: 10100 LB: 0 @ 3.112 3.70 c Restart #10 #Var: 10100 LB: 0 @ 3.659 4.31 c Restart #11 #Var: 10100 LB: 0 @ 4.268 4.97 c Restart #12 #Var: 10100 LB: 0 @ 4.927 5.69 c Restart #13 #Var: 10100 LB: 0 @ 5.643 6.45 c Restart #14 #Var: 10100 LB: 0 @ 6.409 7.27 c Restart #15 #Var: 10100 LB: 0 @ 7.225 8.15 c Restart #16 #Var: 10100 LB: 0 @ 8.106 9.06 c Restart #17 #Var: 10100 LB: 0 @ 9.02 10.03 c Restart #18 #Var: 10100 LB: 0 @ 9.986 11.13 c Restart #19 #Var: 10100 LB: 0 @ 11.081 12.28 c Restart #20 #Var: 10100 LB: 0 @ 12.236 13.51 c Restart #21 #Var: 10100 LB: 0 @ 13.461 14.79 c Restart #22 #Var: 10100 LB: 0 @ 14.736 16.11 c Restart #23 #Var: 10100 LB: 0 @ 16.064 17.50 c Restart #24 #Var: 10100 LB: 0 @ 17.448 18.97 c Restart #25 #Var: 10100 LB: 0 @ 18.917 21.46 c Restart #26 #Var: 10100 LB: 0 @ 21.412 24.82 c Restart #27 #Var: 10100 LB: 0 @ 24.771 27.49 c Restart #28 #Var: 10100 LB: 0 @ 27.433 29.16 c Restart #29 #Var: 10100 LB: 0 @ 29.105 30.86 c Restart #30 #Var: 10100 LB: 0 @ 30.802 32.60 c Restart #31 #Var: 10100 LB: 0 @ 32.547 34.34 c Restart #32 #Var: 10100 LB: 0 @ 34.286 36.11 c Restart #33 #Var: 10100 LB: 0 @ 36.052 37.97 c Restart #34 #Var: 10100 LB: 0 @ 37.914 39.91 c Restart #35 #Var: 10100 LB: 0 @ 39.857 41.89 c Restart #36 #Var: 10100 LB: 0 @ 41.833 43.97 c Restart #37 #Var: 10100 LB: 0 @ 43.91 46.02 c Restart #38 #Var: 10100 LB: 0 @ 45.961 48.20 c Restart #39 #Var: 10100 LB: 0 @ 48.142 50.46 c Restart #40 #Var: 10100 LB: 0 @ 50.4 52.73 c Restart #41 #Var: 10100 LB: 0 @ 52.674 55.06 c Restart #42 #Var: 10100 LB: 0 @ 55.003 57.39 c Restart #43 #Var: 10100 LB: 0 @ 57.332 59.85 c Restart #44 #Var: 10100 LB: 0 @ 59.786 62.39 c Restart #45 #Var: 10100 LB: 0 @ 62.333 64.97 c Restart #46 #Var: 10100 LB: 0 @ 64.903 67.56 c Restart #47 #Var: 10100 LB: 0 @ 67.498 70.21 c Restart #48 #Var: 10100 LB: 0 @ 70.147 72.92 c Restart #49 #Var: 10100 LB: 0 @ 72.851 75.56 c Restart #50 #Var: 10100 LB: 0 @ 75.497 78.37 c Restart #51 #Var: 10100 LB: 0 @ 78.302 81.25 c Restart #52 #Var: 10100 LB: 0 @ 81.178 84.14 c Restart #53 #Var: 10100 LB: 0 @ 84.068 87.15 c Restart #54 #Var: 10100 LB: 0 @ 87.083 90.22 c Restart #55 #Var: 10100 LB: 0 @ 90.155 93.23 c Restart #56 #Var: 10100 LB: 0 @ 93.163 96.51 c Restart #57 #Var: 10100 LB: 0 @ 96.438 99.86 c Restart #58 #Var: 10100 LB: 0 @ 99.785 103.16 c Restart #59 #Var: 10100 LB: 0 @ 103.09 106.49 c Restart #60 #Var: 10100 LB: 0 @ 106.42 109.85 c Restart #61 #Var: 10100 LB: 0 @ 109.77 113.30 c Restart #62 #Var: 10100 LB: 0 @ 113.22 116.71 c Restart #63 #Var: 10100 LB: 0 @ 116.64 120.29 c Restart #64 #Var: 10100 LB: 0 @ 120.21 123.90 c Restart #65 #Var: 10100 LB: 0 @ 123.82 127.49 c Restart #66 #Var: 10100 LB: 0 @ 127.41 131.24 c Restart #67 #Var: 10100 LB: 0 @ 131.16 135.05 c Restart #68 #Var: 10100 LB: 0 @ 134.97 138.88 c Restart #69 #Var: 10100 LB: 0 @ 138.79 142.79 c Restart #70 #Var: 10100 LB: 0 @ 142.7 146.71 c Restart #71 #Var: 10100 LB: 0 @ 146.62 150.63 c Restart #72 #Var: 10100 LB: 0 @ 150.54 154.62 c Restart #73 #Var: 10100 LB: 0 @ 154.53 158.62 c Restart #74 #Var: 10100 LB: 0 @ 158.53 162.62 c Restart #75 #Var: 10100 LB: 0 @ 162.53 166.81 c Restart #76 #Var: 10100 LB: 0 @ 166.72 171.10 c Restart #77 #Var: 10100 LB: 0 @ 171.01 175.38 c Restart #78 #Var: 10100 LB: 0 @ 175.29 179.74 c Restart #79 #Var: 10100 LB: 0 @ 179.65 184.08 c Restart #80 #Var: 10100 LB: 0 @ 183.99 188.57 c Restart #81 #Var: 10100 LB: 0 @ 188.48 193.13 c Restart #82 #Var: 10100 LB: 0 @ 193.03 197.75 c Restart #83 #Var: 10100 LB: 0 @ 197.65 202.40 c Restart #84 #Var: 10100 LB: 0 @ 202.3 207.05 c Restart #85 #Var: 10100 LB: 0 @ 206.95 211.80 c Restart #86 #Var: 10100 LB: 0 @ 211.7 216.62 c Restart #87 #Var: 10100 LB: 0 @ 216.52 221.43 c Restart #88 #Var: 10100 LB: 0 @ 221.32 226.31 c Restart #89 #Var: 10100 LB: 0 @ 226.2 231.23 c Restart #90 #Var: 10100 LB: 0 @ 231.12 236.35 c Restart #91 #Var: 10100 LB: 0 @ 236.24 241.47 c Restart #92 #Var: 10100 LB: 0 @ 241.36 246.57 c Restart #93 #Var: 10100 LB: 0 @ 246.46 251.67 c Restart #94 #Var: 10100 LB: 0 @ 251.56 256.81 c Restart #95 #Var: 10100 LB: 0 @ 256.7 262.05 c Restart #96 #Var: 10100 LB: 0 @ 261.94 267.35 c Restart #97 #Var: 10100 LB: 0 @ 267.23 272.85 c Restart #98 #Var: 10100 LB: 0 @ 272.73 278.22 c Restart #99 #Var: 10100 LB: 0 @ 278.1 283.65 c Restart #100 #Var: 10100 LB: 0 @ 283.53 289.19 c Restart #101 #Var: 10100 LB: 0 @ 289.06 294.55 c Restart #102 #Var: 10100 LB: 0 @ 294.43 300.30 c Restart #103 #Var: 10100 LB: 0 @ 300.17 305.98 c Restart #104 #Var: 10100 LB: 0 @ 305.85 311.62 c Restart #105 #Var: 10100 LB: 0 @ 311.49 317.32 c Restart #106 #Var: 10100 LB: 0 @ 317.19 323.05 c Restart #107 #Var: 10100 LB: 0 @ 322.92 329.22 c Restart #108 #Var: 10100 LB: 0 @ 329.09 335.04 c Restart #109 #Var: 10100 LB: 0 @ 334.91 340.80 c Restart #110 #Var: 10100 LB: 0 @ 340.66 346.63 c Restart #111 #Var: 10100 LB: 0 @ 346.49 352.69 c Restart #112 #Var: 10100 LB: 0 @ 352.55 358.81 c Restart #113 #Var: 10100 LB: 0 @ 358.67 364.99 c Restart #114 #Var: 10100 LB: 0 @ 364.85 371.18 c Restart #115 #Var: 10100 LB: 0 @ 371.03 377.43 c Restart #116 #Var: 10100 LB: 0 @ 377.28 383.62 c Restart #117 #Var: 10100 LB: 0 @ 383.47 389.99 c Restart #118 #Var: 10100 LB: 0 @ 389.84 396.54 c Restart #119 #Var: 10100 LB: 0 @ 396.38 402.93 c Restart #120 #Var: 10100 LB: 0 @ 402.78 409.47 c Restart #121 #Var: 10100 LB: 0 @ 409.31 416.11 c Restart #122 #Var: 10100 LB: 0 @ 415.95 422.74 c Restart #123 #Var: 10100 LB: 0 @ 422.58 429.30 c Restart #124 #Var: 10100 LB: 0 @ 429.14 435.88 c Restart #125 #Var: 10100 LB: 0 @ 435.71 442.67 c Restart #126 #Var: 10100 LB: 0 @ 442.5 449.67 c Restart #127 #Var: 10100 LB: 0 @ 449.5 456.84 c Restart #128 #Var: 10100 LB: 0 @ 456.67 463.85 c Restart #129 #Var: 10100 LB: 0 @ 463.68 470.88 c Restart #130 #Var: 10100 LB: 0 @ 470.71 478.16 c Restart #131 #Var: 10100 LB: 0 @ 477.98 485.29 c Restart #132 #Var: 10100 LB: 0 @ 485.11 492.70 c Restart #133 #Var: 10100 LB: 0 @ 492.52 500.22 c Restart #134 #Var: 10100 LB: 0 @ 500.04 507.88 c Restart #135 #Var: 10100 LB: 0 @ 507.69 515.40 c Restart #136 #Var: 10100 LB: 0 @ 515.22 522.81 c Restart #137 #Var: 10100 LB: 0 @ 522.62 530.45 c Restart #138 #Var: 10100 LB: 0 @ 530.26 538.25 c Restart #139 #Var: 10100 LB: 0 @ 538.06 546.37 c Restart #140 #Var: 10100 LB: 0 @ 546.17 554.22 c Restart #141 #Var: 10100 LB: 0 @ 554.02 562.37 c Restart #142 #Var: 10100 LB: 0 @ 562.17 570.42 c Restart #143 #Var: 10100 LB: 0 @ 570.22 578.41 c Restart #144 #Var: 10100 LB: 0 @ 578.21 586.83 c Restart #145 #Var: 10100 LB: 0 @ 586.62 595.07 c Restart #146 #Var: 10100 LB: 0 @ 594.87 603.42 c Restart #147 #Var: 10100 LB: 0 @ 603.21 611.86 c Restart #148 #Var: 10100 LB: 0 @ 611.65 619.97 c Restart #149 #Var: 10100 LB: 0 @ 619.76 628.38 c Restart #150 #Var: 10100 LB: 0 @ 628.16 636.74 c Restart #151 #Var: 10100 LB: 0 @ 636.52 644.88 c Restart #152 #Var: 10100 LB: 0 @ 644.66 653.10 c Restart #153 #Var: 10100 LB: 0 @ 652.88 661.72 c Restart #154 #Var: 10100 LB: 0 @ 661.5 670.30 c Restart #155 #Var: 10100 LB: 0 @ 670.07 678.97 c Restart #156 #Var: 10100 LB: 0 @ 678.75 687.43 c Restart #157 #Var: 10100 LB: 0 @ 687.2 696.19 c Restart #158 #Var: 10100 LB: 0 @ 695.95 704.91 c Restart #159 #Var: 10100 LB: 0 @ 704.67 713.65 c Restart #160 #Var: 10100 LB: 0 @ 713.41 722.18 c Restart #161 #Var: 10100 LB: 0 @ 721.94 731.12 c Restart #162 #Var: 10100 LB: 0 @ 730.88 740.21 c Restart #163 #Var: 10100 LB: 0 @ 739.96 749.11 c Restart #164 #Var: 10100 LB: 0 @ 748.86 758.24 c Restart #165 #Var: 10100 LB: 0 @ 757.98 767.20 c Restart #166 #Var: 10100 LB: 0 @ 766.95 776.26 c Restart #167 #Var: 10100 LB: 0 @ 776 785.26 c Restart #168 #Var: 10100 LB: 0 @ 785 794.38 c Restart #169 #Var: 10100 LB: 0 @ 794.12 803.80 c Restart #170 #Var: 10100 LB: 0 @ 803.53 813.20 c Restart #171 #Var: 10100 LB: 0 @ 812.93 822.66 c Restart #172 #Var: 10100 LB: 0 @ 822.39 832.08 c Restart #173 #Var: 10100 LB: 0 @ 831.8 841.49 c Restart #174 #Var: 10100 LB: 0 @ 841.21 851.27 c Restart #175 #Var: 10100 LB: 0 @ 850.99 860.82 c Restart #176 #Var: 10100 LB: 0 @ 860.54 870.77 c Restart #177 #Var: 10100 LB: 0 @ 870.49 880.65 c Restart #178 #Var: 10100 LB: 0 @ 880.36 890.52 c Restart #179 #Var: 10100 LB: 0 @ 890.23 900.68 c CHANGE Heuristic... 900.68 c Restart #0 #Var: 10100 LB: 0 @ 900.39 900.76 c Restart #1 #Var: 10100 LB: 0 @ 900.47 900.90 c Restart #2 #Var: 10100 LB: 0 @ 900.61 901.09 c Restart #3 #Var: 10100 LB: 0 @ 900.8 901.34 c Restart #4 #Var: 10100 LB: 0 @ 901.05 901.65 c Restart #5 #Var: 10100 LB: 0 @ 901.36 902.02 c Restart #6 #Var: 10100 LB: 0 @ 901.73 902.44 c Restart #7 #Var: 10100 LB: 0 @ 902.15 902.93 c Restart #8 #Var: 10100 LB: 0 @ 902.64 903.47 c Restart #9 #Var: 10100 LB: 0 @ 903.18 904.08 c Restart #10 #Var: 10100 LB: 0 @ 903.78 904.73 c Restart #11 #Var: 10100 LB: 0 @ 904.44 905.45 c Restart #12 #Var: 10100 LB: 0 @ 905.16 906.23 c Restart #13 #Var: 10100 LB: 0 @ 905.93 907.07 c Restart #14 #Var: 10100 LB: 0 @ 906.77 907.95 c Restart #15 #Var: 10100 LB: 0 @ 907.65 908.89 c Restart #16 #Var: 10100 LB: 0 @ 908.59 909.90 c Restart #17 #Var: 10100 LB: 0 @ 909.6 910.95 c Restart #18 #Var: 10100 LB: 0 @ 910.66 912.07 c Restart #19 #Var: 10100 LB: 0 @ 911.78 913.27 c Restart #20 #Var: 10100 LB: 0 @ 912.98 914.53 c Restart #21 #Var: 10100 LB: 0 @ 914.24 915.84 c Restart #22 #Var: 10100 LB: 0 @ 915.54 917.15 c Restart #23 #Var: 10100 LB: 0 @ 916.86 918.52 c Restart #24 #Var: 10100 LB: 0 @ 918.22 919.95 c Restart #25 #Var: 10100 LB: 0 @ 919.66 921.57 c Restart #26 #Var: 10100 LB: 0 @ 921.28 923.26 c Restart #27 #Var: 10100 LB: 0 @ 922.96 924.90 c Restart #28 #Var: 10100 LB: 0 @ 924.6 926.57 c Restart #29 #Var: 10100 LB: 0 @ 926.28 928.31 c Restart #30 #Var: 10100 LB: 0 @ 928.02 930.10 c Restart #31 #Var: 10100 LB: 0 @ 929.8 931.92 c Restart #32 #Var: 10100 LB: 0 @ 931.62 933.80 c Restart #33 #Var: 10100 LB: 0 @ 933.5 935.73 c Restart #34 #Var: 10100 LB: 0 @ 935.43 937.72 c Restart #35 #Var: 10100 LB: 0 @ 937.42 939.76 c Restart #36 #Var: 10100 LB: 0 @ 939.46 941.83 c Restart #37 #Var: 10100 LB: 0 @ 941.53 943.95 c Restart #38 #Var: 10100 LB: 0 @ 943.65 946.14 c Restart #39 #Var: 10100 LB: 0 @ 945.83 948.42 c Restart #40 #Var: 10100 LB: 0 @ 948.12 950.77 c Restart #41 #Var: 10100 LB: 0 @ 950.47 953.13 c Restart #42 #Var: 10100 LB: 0 @ 952.82 955.58 c Restart #43 #Var: 10100 LB: 0 @ 955.27 958.02 c Restart #44 #Var: 10100 LB: 0 @ 957.72 960.49 c Restart #45 #Var: 10100 LB: 0 @ 960.19 963.03 c Restart #46 #Var: 10100 LB: 0 @ 962.73 965.62 c Restart #47 #Var: 10100 LB: 0 @ 965.31 968.22 c Restart #48 #Var: 10100 LB: 0 @ 967.92 970.94 c Restart #49 #Var: 10100 LB: 0 @ 970.63 973.83 c Restart #50 #Var: 10100 LB: 0 @ 973.52 976.71 c Restart #51 #Var: 10100 LB: 0 @ 976.4 979.62 c Restart #52 #Var: 10100 LB: 0 @ 979.31 982.61 c Restart #53 #Var: 10100 LB: 0 @ 982.29 985.72 c Restart #54 #Var: 10100 LB: 0 @ 985.41 988.81 c Restart #55 #Var: 10100 LB: 0 @ 988.5 992.09 c Restart #56 #Var: 10100 LB: 0 @ 991.77 995.29 c Restart #57 #Var: 10100 LB: 0 @ 994.98 998.58 c Restart #58 #Var: 10100 LB: 0 @ 998.26 1001.82 c Restart #59 #Var: 10100 LB: 0 @ 1001.5 1005.13 c Restart #60 #Var: 10100 LB: 0 @ 1004.8 1008.69 c Restart #61 #Var: 10100 LB: 0 @ 1008.4 1012.10 c Restart #62 #Var: 10100 LB: 0 @ 1011.8 1015.65 c Restart #63 #Var: 10100 LB: 0 @ 1015.3 1019.21 c Restart #64 #Var: 10100 LB: 0 @ 1018.9 1022.77 c Restart #65 #Var: 10100 LB: 0 @ 1022.4 1026.43 c Restart #66 #Var: 10100 LB: 0 @ 1026.1 1030.17 c Restart #67 #Var: 10100 LB: 0 @ 1029.8 1034.00 c Restart #68 #Var: 10100 LB: 0 @ 1033.7 1037.86 c Restart #69 #Var: 10100 LB: 0 @ 1037.5 1041.80 c Restart #70 #Var: 10100 LB: 0 @ 1041.5 1045.81 c Restart #71 #Var: 10100 LB: 0 @ 1045.5 1049.87 c Restart #72 #Var: 10100 LB: 0 @ 1049.5 1054.01 c Restart #73 #Var: 10100 LB: 0 @ 1053.7 1058.12 c Restart #74 #Var: 10100 LB: 0 @ 1057.8 1062.28 c Restart #75 #Var: 10100 LB: 0 @ 1061.9 1066.60 c Restart #76 #Var: 10100 LB: 0 @ 1066.3 1070.90 c Restart #77 #Var: 10100 LB: 0 @ 1070.6 1075.39 c Restart #78 #Var: 10100 LB: 0 @ 1075.1 1079.70 c Restart #79 #Var: 10100 LB: 0 @ 1079.4 1084.21 c Restart #80 #Var: 10100 LB: 0 @ 1083.9 1088.86 c Restart #81 #Var: 10100 LB: 0 @ 1088.5 1093.55 c Restart #82 #Var: 10100 LB: 0 @ 1093.2 1098.15 c Restart #83 #Var: 10100 LB: 0 @ 1097.8 1102.88 c Restart #84 #Var: 10100 LB: 0 @ 1102.5 1107.58 c Restart #85 #Var: 10100 LB: 0 @ 1107.2 1112.20 c Restart #86 #Var: 10100 LB: 0 @ 1111.8 1117.07 c Restart #87 #Var: 10100 LB: 0 @ 1116.7 1121.79 c Restart #88 #Var: 10100 LB: 0 @ 1121.4 1126.57 c Restart #89 #Var: 10100 LB: 0 @ 1126.2 1131.51 c Restart #90 #Var: 10100 LB: 0 @ 1131.2 1136.38 c Restart #91 #Var: 10100 LB: 0 @ 1136 1141.43 c Restart #92 #Var: 10100 LB: 0 @ 1141.1 1146.47 c Restart #93 #Var: 10100 LB: 0 @ 1146.1 1151.45 c Restart #94 #Var: 10100 LB: 0 @ 1151.1 1156.56 c Restart #95 #Var: 10100 LB: 0 @ 1156.2 1161.88 c Restart #96 #Var: 10100 LB: 0 @ 1161.5 1167.23 c Restart #97 #Var: 10100 LB: 0 @ 1166.9 1172.59 c Restart #98 #Var: 10100 LB: 0 @ 1172.2 1177.89 c Restart #99 #Var: 10100 LB: 0 @ 1177.5 1183.32 c Restart #100 #Var: 10100 LB: 0 @ 1183 1188.82 c Restart #101 #Var: 10100 LB: 0 @ 1188.4 1194.25 c Restart #102 #Var: 10100 LB: 0 @ 1193.9 1199.87 c Restart #103 #Var: 10100 LB: 0 @ 1199.5 1205.58 c Restart #104 #Var: 10100 LB: 0 @ 1205.2 1211.33 c Restart #105 #Var: 10100 LB: 0 @ 1211 1217.16 c Restart #106 #Var: 10100 LB: 0 @ 1216.8 1222.96 c Restart #107 #Var: 10100 LB: 0 @ 1222.6 1228.93 c Restart #108 #Var: 10100 LB: 0 @ 1228.6 1234.98 c Restart #109 #Var: 10100 LB: 0 @ 1234.6 1241.10 c Restart #110 #Var: 10100 LB: 0 @ 1240.7 1247.50 c Restart #111 #Var: 10100 LB: 0 @ 1247.1 1253.99 c Restart #112 #Var: 10100 LB: 0 @ 1253.6 1260.57 c Restart #113 #Var: 10100 LB: 0 @ 1260.2 1267.19 c Restart #114 #Var: 10100 LB: 0 @ 1266.8 1273.75 c Restart #115 #Var: 10100 LB: 0 @ 1273.4 1280.22 c Restart #116 #Var: 10100 LB: 0 @ 1279.8 1286.77 c Restart #117 #Var: 10100 LB: 0 @ 1286.4 1293.39 c Restart #118 #Var: 10100 LB: 0 @ 1293 1299.94 c Restart #119 #Var: 10100 LB: 0 @ 1299.5 1306.52 c Restart #120 #Var: 10100 LB: 0 @ 1306.1 1313.63 c Restart #121 #Var: 10100 LB: 0 @ 1313.2 1320.40 c Restart #122 #Var: 10100 LB: 0 @ 1320 1327.24 c Restart #123 #Var: 10100 LB: 0 @ 1326.8 1334.32 c Restart #124 #Var: 10100 LB: 0 @ 1333.9 1341.40 c Restart #125 #Var: 10100 LB: 0 @ 1341 1348.32 c Restart #126 #Var: 10100 LB: 0 @ 1347.9 1355.51 c Restart #127 #Var: 10100 LB: 0 @ 1355.1 1362.70 c Restart #128 #Var: 10100 LB: 0 @ 1362.3 1369.84 c Restart #129 #Var: 10100 LB: 0 @ 1369.4 1377.03 c Restart #130 #Var: 10100 LB: 0 @ 1376.6 1384.33 c Restart #131 #Var: 10100 LB: 0 @ 1383.9 1391.93 c Restart #132 #Var: 10100 LB: 0 @ 1391.5 1399.36 c Restart #133 #Var: 10100 LB: 0 @ 1398.9 1406.83 c Restart #134 #Var: 10100 LB: 0 @ 1406.4 1414.56 c Restart #135 #Var: 10100 LB: 0 @ 1414.1 1422.14 c Restart #136 #Var: 10100 LB: 0 @ 1421.7 1429.68 c Restart #137 #Var: 10100 LB: 0 @ 1429.2 1437.47 c Restart #138 #Var: 10100 LB: 0 @ 1437 1445.16 c Restart #139 #Var: 10100 LB: 0 @ 1444.7 1453.15 c Restart #140 #Var: 10100 LB: 0 @ 1452.7 1461.04 c Restart #141 #Var: 10100 LB: 0 @ 1460.6 1468.98 c Restart #142 #Var: 10100 LB: 0 @ 1468.5 1476.94 c Restart #143 #Var: 10100 LB: 0 @ 1476.5 1484.82 c Restart #144 #Var: 10100 LB: 0 @ 1484.4 1492.91 c Restart #145 #Var: 10100 LB: 0 @ 1492.5 1500.89 c Restart #146 #Var: 10100 LB: 0 @ 1500.4 1509.09 c Restart #147 #Var: 10100 LB: 0 @ 1508.6 1517.31 c Restart #148 #Var: 10100 LB: 0 @ 1516.9 1525.68 c Restart #149 #Var: 10100 LB: 0 @ 1525.2 1534.20 c Restart #150 #Var: 10100 LB: 0 @ 1533.7 1542.35 c Restart #151 #Var: 10100 LB: 0 @ 1541.9 1550.94 c Restart #152 #Var: 10100 LB: 0 @ 1550.5 1559.51 c Restart #153 #Var: 10100 LB: 0 @ 1559 1568.11 c Restart #154 #Var: 10100 LB: 0 @ 1567.6 1576.80 c Restart #155 #Var: 10100 LB: 0 @ 1576.3 1585.49 c Restart #156 #Var: 10100 LB: 0 @ 1585 1594.43 c Restart #157 #Var: 10100 LB: 0 @ 1594 1603.59 c Restart #158 #Var: 10100 LB: 0 @ 1603.1 1612.58 c Restart #159 #Var: 10100 LB: 0 @ 1612.1 1621.53 c Restart #160 #Var: 10100 LB: 0 @ 1621 1630.72 c Restart #161 #Var: 10100 LB: 0 @ 1630.2 1639.73 c Restart #162 #Var: 10100 LB: 0 @ 1639.2 1648.90 c Restart #163 #Var: 10100 LB: 0 @ 1648.4 1657.99 c Restart #164 #Var: 10100 LB: 0 @ 1657.5 1667.30 c Restart #165 #Var: 10100 LB: 0 @ 1666.8 1676.79 c Restart #166 #Var: 10100 LB: 0 @ 1676.3 1686.34 c Restart #167 #Var: 10100 LB: 0 @ 1685.8 1695.79 c Restart #168 #Var: 10100 LB: 0 @ 1695.3 1705.00 c Restart #169 #Var: 10100 LB: 0 @ 1704.5 1714.34 c Restart #170 #Var: 10100 LB: 0 @ 1713.8 1723.73 c Restart #171 #Var: 10100 LB: 0 @ 1723.2 1733.50 c Restart #172 #Var: 10100 LB: 0 @ 1732.9 1742.98 c Restart #173 #Var: 10100 LB: 0 @ 1742.4 1753.06 c Restart #174 #Var: 10100 LB: 0 @ 1752.5 1762.92 c Restart #175 #Var: 10100 LB: 0 @ 1762.4 1772.86 c Restart #176 #Var: 10100 LB: 0 @ 1772.3 1783.22 c Restart #177 #Var: 10100 LB: 0 @ 1782.7 1793.63 c Restart #178 #Var: 10100 LB: 0 @ 1793.1 1800.58 s UNKNOWN 1800.58 c Exit Code: 0 1800.58 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/node14/watcher-46259-1154057570 -o ROOT/results/node14/solver-46259-1154057570 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node14/46259-1154057570/instance-46259-1154057570.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.98 2/64 29046 /proc/meminfo: memFree=1171304/2055920 swapFree=4183052/4192956 [pid=29046] ppid=29044 vsize=2900 CPUtime=0 /proc/29046/stat : 29046 (bsolo) D 29044 29046 28997 0 -1 0 43 0 1 0 0 0 0 0 18 0 1 0 152617869 2969600 27 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 6927140 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/29046/statm: 725 27 19 55 0 38 0 [startup+10.0027 s] /proc/loadavg: 0.93 0.98 0.98 2/64 29046 /proc/meminfo: memFree=1157936/2055920 swapFree=4183052/4192956 [pid=29046] ppid=29044 vsize=15700 CPUtime=9.95 /proc/29046/stat : 29046 (bsolo) R 29044 29046 28997 0 -1 0 3169 0 10 0 991 4 0 0 25 0 1 0 152617869 16076800 3045 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548211 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29046/statm: 3925 3045 296 55 0 2817 0 Current children cumulated CPU time (s) 9.95 Current children cumulated vsize (Kb) 15700 [startup+20.0097 s] /proc/loadavg: 0.94 0.98 0.98 2/64 29046 /proc/meminfo: memFree=1157936/2055920 swapFree=4183052/4192956 [pid=29046] ppid=29044 vsize=15832 CPUtime=19.95 /proc/29046/stat : 29046 (bsolo) R 29044 29046 28997 0 -1 0 3188 0 10 0 1989 6 0 0 25 0 1 0 152617869 16211968 3064 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29046/statm: 3958 3064 296 55 0 2850 0 Current children cumulated CPU time (s) 19.95 Current children cumulated vsize (Kb) 15832 [startup+30.0156 s] /proc/loadavg: 0.95 0.98 0.98 2/64 29046 /proc/meminfo: memFree=1157936/2055920 swapFree=4183052/4192956 [pid=29046] ppid=29044 vsize=15768 CPUtime=29.95 /proc/29046/stat : 29046 (bsolo) R 29044 29046 28997 0 -1 0 3194 0 10 0 2988 7 0 0 25 0 1 0 152617869 16146432 3064 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29046/statm: 3942 3064 296 55 0 2834 0 Current children cumulated CPU time (s) 29.95 Current children cumulated vsize (Kb) 15768 [startup+40.0216 s] /proc/loadavg: 0.96 0.98 0.98 2/64 29046 /proc/meminfo: memFree=1158000/2055920 swapFree=4183052/4192956 [pid=29046] ppid=29044 vsize=15748 CPUtime=39.96 /proc/29046/stat : 29046 (bsolo) R 29044 29046 28997 0 -1 0 3194 0 10 0 3986 10 0 0 25 0 1 0 152617869 16125952 3059 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29046/statm: 3937 3059 296 55 0 2829 0 Current children cumulated CPU time (s) 39.96 Current children cumulated vsize (Kb) 15748 [startup+50.0275 s] /proc/loadavg: 0.96 0.98 0.98 2/64 29046 /proc/meminfo: memFree=1158000/2055920 swapFree=4183052/4192956 [pid=29046] ppid=29044 vsize=15748 CPUtime=49.96 /proc/29046/stat : 29046 (bsolo) R 29044 29046 28997 0 -1 0 3194 0 10 0 4984 12 0 0 25 0 1 0 152617869 16125952 3059 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548416 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29046/statm: 3937 3059 296 55 0 2829 0 Current children cumulated CPU time (s) 49.96 Current children cumulated vsize (Kb) 15748 [startup+60.0335 s] /proc/loadavg: 0.97 0.98 0.98 2/64 29046 /proc/meminfo: memFree=1158000/2055920 swapFree=4183052/4192956 [pid=29046] ppid=29044 vsize=15748 CPUtime=59.96 /proc/29046/stat : 29046 (bsolo) R 29044 29046 28997 0 -1 0 3194 0 10 0 5983 13 0 0 25 0 1 0 152617869 16125952 3059 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29046/statm: 3937 3059 296 55 0 2829 0 Current children cumulated CPU time (s) 59.96 Current children cumulated vsize (Kb) 15748 [startup+70.0395 s] /proc/loadavg: 0.97 0.98 0.98 2/64 29046 /proc/meminfo: memFree=1158000/2055920 swapFree=4183052/4192956 [pid=29046] ppid=29044 vsize=15748 CPUtime=70.06 /proc/29046/stat : 29046 (bsolo) R 29044 29046 28997 0 -1 0 3194 0 10 0 6991 15 0 0 25 0 1 0 152617869 16125952 3059 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29046/statm: 3937 3059 296 55 0 2829 0 Current children cumulated CPU time (s) 70.06 Current children cumulated vsize (Kb) 15748 [startup+80.1404 s] /proc/loadavg: 0.98 0.98 0.98 2/64 29046 /proc/meminfo: memFree=1158000/2055920 swapFree=4183052/4192956 [pid=29046] ppid=29044 vsize=15880 CPUtime=80.07 /proc/29046/stat : 29046 (bsolo) R 29044 29046 28997 0 -1 0 3218 0 10 0 7990 17 0 0 25 0 1 0 152617869 16261120 3083 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29046/statm: 3970 3083 296 55 0 2862 0 Current children cumulated CPU time (s) 80.07 Current children cumulated vsize (Kb) 15880 [startup+90.1454 s] /proc/loadavg: 0.98 0.98 0.98 2/64 29046 /proc/meminfo: memFree=1158000/2055920 swapFree=4183052/4192956 [pid=29046] ppid=29044 vsize=15880 CPUtime=90.07 /proc/29046/stat : 29046 (bsolo) R 29044 29046 28997 0 -1 0 3218 0 10 0 8989 18 0 0 25 0 1 0 152617869 16261120 3083 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29046/statm: 3970 3083 296 55 0 2862 0 Current children cumulated CPU time (s) 90.07 Current children cumulated vsize (Kb) 15880 [startup+100.151 s] /proc/loadavg: 0.98 0.98 0.98 2/64 29046 /proc/meminfo: memFree=1158000/2055920 swapFree=4183052/4192956 [pid=29046] ppid=29044 vsize=15800 CPUtime=100.07 /proc/29046/stat : 29046 (bsolo) R 29044 29046 28997 0 -1 0 3218 0 10 0 9988 19 0 0 25 0 1 0 152617869 16179200 3072 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29046/statm: 3950 3072 296 55 0 2842 0 Current children cumulated CPU time (s) 100.07 Current children cumulated vsize (Kb) 15800 [startup+110.157 s] /proc/loadavg: 0.98 0.98 0.98 2/64 29046 /proc/meminfo: memFree=1158000/2055920 swapFree=4183052/4192956 [pid=29046] ppid=29044 vsize=15800 CPUtime=110.07 /proc/29046/stat : 29046 (bsolo) R 29044 29046 28997 0 -1 0 3218 0 10 0 10987 20 0 0 25 0 1 0 152617869 16179200 3072 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29046/statm: 3950 3072 296 55 0 2842 0 Current children cumulated CPU time (s) 110.07 Current children cumulated vsize (Kb) 15800 [startup+120.163 s] /proc/loadavg: 0.99 0.98 0.98 2/64 29046 /proc/meminfo: memFree=1158000/2055920 swapFree=4183052/4192956 [pid=29046] ppid=29044 vsize=15800 CPUtime=120.07 /proc/29046/stat : 29046 (bsolo) R 29044 29046 28997 0 -1 0 3218 0 10 0 11985 22 0 0 25 0 1 0 152617869 16179200 3072 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29046/statm: 3950 3072 296 55 0 2842 0 Current children cumulated CPU time (s) 120.07 Current children cumulated vsize (Kb) 15800 [startup+130.169 s] /proc/loadavg: 0.99 0.98 0.98 2/64 29046 /proc/meminfo: memFree=1158000/2055920 swapFree=4183052/4192956 [pid=29046] ppid=29044 vsize=15932 CPUtime=130.08 /proc/29046/stat : 29046 (bsolo) R 29044 29046 28997 0 -1 0 3224 0 10 0 12984 24 0 0 25 0 1 0 152617869 16314368 3078 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548382 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29046/statm: 3983 3078 296 55 0 2875 0 Current children cumulated CPU time (s) 130.08 Current children cumulated vsize (Kb) 15932 [startup+140.175 s] /proc/loadavg: 0.99 0.98 0.98 2/64 29046 /proc/meminfo: memFree=1157936/2055920 swapFree=4183052/4192956 [pid=29046] ppid=29044 vsize=15920 CPUtime=140.09 /proc/29046/stat : 29046 (bsolo) R 29044 29046 28997 0 -1 0 3224 0 10 0 13983 26 0 0 25 0 1 0 152617869 16302080 3078 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29046/statm: 3980 3078 296 55 0 2872 0 Current children cumulated CPU time (s) 140.09 Current children cumulated vsize (Kb) 15920 [startup+150.181 s] /proc/loadavg: 0.99 0.98 0.98 2/64 29046 /proc/meminfo: memFree=1157936/2055920 swapFree=4183052/4192956 [pid=29046] ppid=29044 vsize=15832 CPUtime=150.09 /proc/29046/stat : 29046 (bsolo) R 29044 29046 28997 0 -1 0 3224 0 10 0 14982 27 0 0 25 0 1 0 152617869 16211968 3078 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29046/statm: 3958 3078 296 55 0 2850 0 Current children cumulated CPU time (s) 150.09 Current children cumulated vsize (Kb) 15832 [startup+160.187 s] /proc/loadavg: 0.99 0.98 0.98 2/64 29046 /proc/meminfo: memFree=1157936/2055920 swapFree=4183052/4192956 [pid=29046] ppid=29044 vsize=15964 CPUtime=160.09 /proc/29046/stat : 29046 (bsolo) R 29044 29046 28997 0 -1 0 3235 0 10 0 15980 29 0 0 25 0 1 0 152617869 16347136 3089 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29046/statm: 3991 3089 296 55 0 2883 0 Current children cumulated CPU time (s) 160.09 Current children cumulated vsize (Kb) 15964 [startup+170.193 s] /proc/loadavg: 0.99 0.98 0.98 2/64 29046 /proc/meminfo: memFree=1157872/2055920 swapFree=4183052/4192956 [pid=29046] ppid=29044 vsize=15952 CPUtime=170.09 /proc/29046/stat : 29046 (bsolo) R 29044 29046 28997 0 -1 0 3235 0 10 0 16978 31 0 0 25 0 1 0 152617869 16334848 3089 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134603337 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29046/statm: 3988 3089 296 55 0 2880 0 Current children cumulated CPU time (s) 170.09 Current children cumulated vsize (Kb) 15952 [startup+180.199 s] /proc/loadavg: 0.99 0.98 0.98 2/64 29046 /proc/meminfo: memFree=1157936/2055920 swapFree=4183052/4192956 [pid=29046] ppid=29044 vsize=15980 CPUtime=180.1 /proc/29046/stat : 29046 (bsolo) R 29044 29046 28997 0 -1 0 3239 0 10 0 17977 33 0 0 25 0 1 0 152617869 16363520 3088 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134603725 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29046/statm: 3995 3088 296 55 0 2887 0 Current children cumulated CPU time (s) 180.1 Current children cumulated vsize (Kb) 15980 [startup+190.205 s] /proc/loadavg: 0.99 0.98 0.98 2/64 29046 /proc/meminfo: memFree=1157936/2055920 swapFree=4183052/4192956 [pid=29046] ppid=29044 vsize=15980 CPUtime=190.1 /proc/29046/stat : 29046 (bsolo) R 29044 29046 28997 0 -1 0 3239 0 10 0 18976 34 0 0 25 0 1 0 152617869 16363520 3088 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548211 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29046/statm: 3995 3088 296 55 0 2887 0 Current children cumulated CPU time (s) 190.1 Current children cumulated vsize (Kb) 15980 [startup+200.211 s] /proc/loadavg: 0.99 0.98 0.98 2/64 29046 /proc/meminfo: memFree=1157936/2055920 swapFree=4183052/4192956 [pid=29046] ppid=29044 vsize=15864 CPUtime=200.1 /proc/29046/stat : 29046 (bsolo) R 29044 29046 28997 0 -1 0 3239 0 10 0 19974 36 0 0 25 0 1 0 152617869 16244736 3088 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29046/statm: 3966 3088 296 55 0 2858 0 Current children cumulated CPU time (s) 200.1 Current children cumulated vsize (Kb) 15864 [startup+210.217 s] /proc/loadavg: 0.99 0.98 0.98 2/64 29046 ################ # More data... # ################ Current children cumulated CPU time (s) 1760.56 Current children cumulated vsize (Kb) 15932 [startup+1771.13 s] /proc/loadavg: 0.99 0.98 0.98 2/64 29246 /proc/meminfo: memFree=1157360/2055920 swapFree=4183052/4192956 [pid=29046] ppid=29044 vsize=15932 CPUtime=1770.56 /proc/29046/stat : 29046 (bsolo) R 29044 29046 28997 0 -1 0 3364 0 10 0 176723 333 0 0 25 0 1 0 152617869 16314368 3125 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29046/statm: 3983 3125 296 55 0 2875 0 Current children cumulated CPU time (s) 1770.56 Current children cumulated vsize (Kb) 15932 [startup+1781.14 s] /proc/loadavg: 0.99 0.98 0.98 2/64 29246 /proc/meminfo: memFree=1157360/2055920 swapFree=4183052/4192956 [pid=29046] ppid=29044 vsize=15932 CPUtime=1780.56 /proc/29046/stat : 29046 (bsolo) R 29044 29046 28997 0 -1 0 3364 0 10 0 177722 334 0 0 25 0 1 0 152617869 16314368 3125 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29046/statm: 3983 3125 296 55 0 2875 0 Current children cumulated CPU time (s) 1780.56 Current children cumulated vsize (Kb) 15932 [startup+1782.15 s] /proc/loadavg: 0.99 0.98 0.98 2/64 29246 /proc/meminfo: memFree=1157360/2055920 swapFree=4183052/4192956 [pid=29046] ppid=29044 vsize=15932 CPUtime=1781.57 /proc/29046/stat : 29046 (bsolo) R 29044 29046 28997 0 -1 0 3364 0 10 0 177823 334 0 0 25 0 1 0 152617869 16314368 3125 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29046/statm: 3983 3125 296 55 0 2875 0 Current children cumulated CPU time (s) 1781.57 Current children cumulated vsize (Kb) 15932 [startup+1783.15 s] /proc/loadavg: 0.99 0.98 0.98 2/64 29246 /proc/meminfo: memFree=1157360/2055920 swapFree=4183052/4192956 [pid=29046] ppid=29044 vsize=15932 CPUtime=1782.57 /proc/29046/stat : 29046 (bsolo) R 29044 29046 28997 0 -1 0 3364 0 10 0 177923 334 0 0 25 0 1 0 152617869 16314368 3125 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548181 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29046/statm: 3983 3125 296 55 0 2875 0 Current children cumulated CPU time (s) 1782.57 Current children cumulated vsize (Kb) 15932 [startup+1784.16 s] /proc/loadavg: 0.99 0.98 0.98 2/64 29246 /proc/meminfo: memFree=1157360/2055920 swapFree=4183052/4192956 [pid=29046] ppid=29044 vsize=15932 CPUtime=1783.58 /proc/29046/stat : 29046 (bsolo) R 29044 29046 28997 0 -1 0 3364 0 10 0 178023 335 0 0 25 0 1 0 152617869 16314368 3125 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29046/statm: 3983 3125 296 55 0 2875 0 Current children cumulated CPU time (s) 1783.58 Current children cumulated vsize (Kb) 15932 [startup+1785.16 s] /proc/loadavg: 0.99 0.98 0.98 2/64 29246 /proc/meminfo: memFree=1157360/2055920 swapFree=4183052/4192956 [pid=29046] ppid=29044 vsize=15932 CPUtime=1784.59 /proc/29046/stat : 29046 (bsolo) R 29044 29046 28997 0 -1 0 3364 0 10 0 178124 335 0 0 25 0 1 0 152617869 16314368 3125 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134718215 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29046/statm: 3983 3125 296 55 0 2875 0 Current children cumulated CPU time (s) 1784.59 Current children cumulated vsize (Kb) 15932 [startup+1786.17 s] /proc/loadavg: 0.99 0.98 0.98 2/64 29246 /proc/meminfo: memFree=1157360/2055920 swapFree=4183052/4192956 [pid=29046] ppid=29044 vsize=15932 CPUtime=1785.59 /proc/29046/stat : 29046 (bsolo) R 29044 29046 28997 0 -1 0 3364 0 10 0 178224 335 0 0 25 0 1 0 152617869 16314368 3125 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134603889 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29046/statm: 3983 3125 296 55 0 2875 0 Current children cumulated CPU time (s) 1785.59 Current children cumulated vsize (Kb) 15932 [startup+1787.17 s] /proc/loadavg: 0.99 0.98 0.98 2/64 29246 /proc/meminfo: memFree=1157360/2055920 swapFree=4183052/4192956 [pid=29046] ppid=29044 vsize=15932 CPUtime=1786.59 /proc/29046/stat : 29046 (bsolo) R 29044 29046 28997 0 -1 0 3364 0 10 0 178324 335 0 0 25 0 1 0 152617869 16314368 3125 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29046/statm: 3983 3125 296 55 0 2875 0 Current children cumulated CPU time (s) 1786.59 Current children cumulated vsize (Kb) 15932 [startup+1788.18 s] /proc/loadavg: 0.99 0.98 0.98 2/64 29246 /proc/meminfo: memFree=1157360/2055920 swapFree=4183052/4192956 [pid=29046] ppid=29044 vsize=15932 CPUtime=1787.6 /proc/29046/stat : 29046 (bsolo) R 29044 29046 28997 0 -1 0 3364 0 10 0 178425 335 0 0 25 0 1 0 152617869 16314368 3125 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548233 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29046/statm: 3983 3125 296 55 0 2875 0 Current children cumulated CPU time (s) 1787.6 Current children cumulated vsize (Kb) 15932 [startup+1789.18 s] /proc/loadavg: 0.99 0.98 0.98 2/64 29246 /proc/meminfo: memFree=1157360/2055920 swapFree=4183052/4192956 [pid=29046] ppid=29044 vsize=15932 CPUtime=1788.6 /proc/29046/stat : 29046 (bsolo) R 29044 29046 28997 0 -1 0 3364 0 10 0 178525 335 0 0 25 0 1 0 152617869 16314368 3125 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29046/statm: 3983 3125 296 55 0 2875 0 Current children cumulated CPU time (s) 1788.6 Current children cumulated vsize (Kb) 15932 [startup+1790.19 s] /proc/loadavg: 0.99 0.98 0.98 2/64 29246 /proc/meminfo: memFree=1157360/2055920 swapFree=4183052/4192956 [pid=29046] ppid=29044 vsize=15932 CPUtime=1789.6 /proc/29046/stat : 29046 (bsolo) R 29044 29046 28997 0 -1 0 3364 0 10 0 178625 335 0 0 25 0 1 0 152617869 16314368 3125 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29046/statm: 3983 3125 296 55 0 2875 0 Current children cumulated CPU time (s) 1789.6 Current children cumulated vsize (Kb) 15932 [startup+1791.19 s] /proc/loadavg: 0.99 0.98 0.98 2/64 29246 /proc/meminfo: memFree=1157360/2055920 swapFree=4183052/4192956 [pid=29046] ppid=29044 vsize=15932 CPUtime=1790.61 /proc/29046/stat : 29046 (bsolo) R 29044 29046 28997 0 -1 0 3364 0 10 0 178726 335 0 0 25 0 1 0 152617869 16314368 3125 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29046/statm: 3983 3125 296 55 0 2875 0 Current children cumulated CPU time (s) 1790.61 Current children cumulated vsize (Kb) 15932 [startup+1792.2 s] /proc/loadavg: 0.99 0.98 0.98 2/64 29246 /proc/meminfo: memFree=1157360/2055920 swapFree=4183052/4192956 [pid=29046] ppid=29044 vsize=16064 CPUtime=1791.62 /proc/29046/stat : 29046 (bsolo) R 29044 29046 28997 0 -1 0 3378 0 10 0 178826 336 0 0 25 0 1 0 152617869 16449536 3139 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29046/statm: 4016 3139 296 55 0 2908 0 Current children cumulated CPU time (s) 1791.62 Current children cumulated vsize (Kb) 16064 [startup+1793.2 s] /proc/loadavg: 0.99 0.98 0.98 2/64 29246 /proc/meminfo: memFree=1157360/2055920 swapFree=4183052/4192956 [pid=29046] ppid=29044 vsize=16064 CPUtime=1792.62 /proc/29046/stat : 29046 (bsolo) R 29044 29046 28997 0 -1 0 3384 0 10 0 178926 336 0 0 25 0 1 0 152617869 16449536 3145 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134540688 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29046/statm: 4016 3145 296 55 0 2908 0 Current children cumulated CPU time (s) 1792.62 Current children cumulated vsize (Kb) 16064 [startup+1794.21 s] /proc/loadavg: 0.99 0.98 0.98 2/64 29246 /proc/meminfo: memFree=1157296/2055920 swapFree=4183052/4192956 [pid=29046] ppid=29044 vsize=16044 CPUtime=1793.62 /proc/29046/stat : 29046 (bsolo) R 29044 29046 28997 0 -1 0 3411 0 10 0 179026 336 0 0 25 0 1 0 152617869 16429056 3153 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29046/statm: 4011 3153 296 55 0 2903 0 Current children cumulated CPU time (s) 1793.62 Current children cumulated vsize (Kb) 16044 [startup+1795.21 s] /proc/loadavg: 0.99 0.98 0.98 2/64 29246 /proc/meminfo: memFree=1157296/2055920 swapFree=4183052/4192956 [pid=29046] ppid=29044 vsize=16044 CPUtime=1794.63 /proc/29046/stat : 29046 (bsolo) R 29044 29046 28997 0 -1 0 3411 0 10 0 179127 336 0 0 25 0 1 0 152617869 16429056 3153 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29046/statm: 4011 3153 296 55 0 2903 0 Current children cumulated CPU time (s) 1794.63 Current children cumulated vsize (Kb) 16044 [startup+1796.22 s] /proc/loadavg: 0.99 0.98 0.98 2/64 29246 /proc/meminfo: memFree=1157296/2055920 swapFree=4183052/4192956 [pid=29046] ppid=29044 vsize=16044 CPUtime=1795.63 /proc/29046/stat : 29046 (bsolo) R 29044 29046 28997 0 -1 0 3411 0 10 0 179227 336 0 0 25 0 1 0 152617869 16429056 3153 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134632952 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29046/statm: 4011 3153 296 55 0 2903 0 Current children cumulated CPU time (s) 1795.63 Current children cumulated vsize (Kb) 16044 [startup+1797.22 s] /proc/loadavg: 0.99 0.98 0.98 2/64 29246 /proc/meminfo: memFree=1157296/2055920 swapFree=4183052/4192956 [pid=29046] ppid=29044 vsize=16044 CPUtime=1796.64 /proc/29046/stat : 29046 (bsolo) R 29044 29046 28997 0 -1 0 3411 0 10 0 179327 337 0 0 25 0 1 0 152617869 16429056 3153 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29046/statm: 4011 3153 296 55 0 2903 0 Current children cumulated CPU time (s) 1796.64 Current children cumulated vsize (Kb) 16044 [startup+1798.23 s] /proc/loadavg: 0.99 0.98 0.98 2/64 29246 /proc/meminfo: memFree=1157296/2055920 swapFree=4183052/4192956 [pid=29046] ppid=29044 vsize=16044 CPUtime=1797.65 /proc/29046/stat : 29046 (bsolo) R 29044 29046 28997 0 -1 0 3411 0 10 0 179428 337 0 0 25 0 1 0 152617869 16429056 3153 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134541333 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29046/statm: 4011 3153 296 55 0 2903 0 Current children cumulated CPU time (s) 1797.65 Current children cumulated vsize (Kb) 16044 [startup+1799.23 s] /proc/loadavg: 0.99 0.98 0.98 2/64 29246 /proc/meminfo: memFree=1157296/2055920 swapFree=4183052/4192956 [pid=29046] ppid=29044 vsize=16044 CPUtime=1798.65 /proc/29046/stat : 29046 (bsolo) R 29044 29046 28997 0 -1 0 3411 0 10 0 179528 337 0 0 25 0 1 0 152617869 16429056 3153 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548379 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29046/statm: 4011 3153 296 55 0 2903 0 Current children cumulated CPU time (s) 1798.65 Current children cumulated vsize (Kb) 16044 [startup+1800.24 s] /proc/loadavg: 0.99 0.98 0.98 2/64 29246 /proc/meminfo: memFree=1157296/2055920 swapFree=4183052/4192956 [pid=29046] ppid=29044 vsize=16044 CPUtime=1799.65 /proc/29046/stat : 29046 (bsolo) R 29044 29046 28997 0 -1 0 3411 0 10 0 179628 337 0 0 25 0 1 0 152617869 16429056 3153 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29046/statm: 4011 3153 296 55 0 2903 0 Current children cumulated CPU time (s) 1799.65 Current children cumulated vsize (Kb) 16044 Child status: 0 Real time (s): 1800.58 CPU time (s): 1800.01 CPU user time (s): 1796.63 CPU system time (s): 3.37749 CPU usage (%): 99.9679 Max. virtual memory (cumulated for all children) (Kb): 16088 The end
Begin job on node14 on Fri Jul 28 03:32:50 UTC 2006 FILE ID= 46259-1154057570 PBS_JOBID= 882094 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-101-100.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node14/46259-1154057570/instance-46259-1154057570.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-46259-1154057570 -o ROOT/results/node14/solver-46259-1154057570 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node14/46259-1154057570/instance-46259-1154057570.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 0b4d976a66cd69333fd390f8a9139e21 RANDOM SEED= 483406688 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.235 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.235 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: 1171512 kB Buffers: 43676 kB Cached: 757440 kB SwapCached: 3868 kB Active: 261172 kB Inactive: 548820 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1171512 kB SwapTotal: 4192956 kB SwapFree: 4183052 kB Dirty: 212 kB Writeback: 0 kB Mapped: 14724 kB Slab: 60444 kB Committed_AS: 575544 kB PageTables: 1480 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node14 on Fri Jul 28 04:02:50 UTC 2006