Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 2006/05 | ? | 1800.01 | 1800.59 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ roussel/normalized-pigeon-cardinality-105-100.opb |
MD5SUM | 1f72b7f8bd829aeeb06978977df8efc2 |
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.088985 |
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 | 10500 |
Total number of constraints | 205 |
Number of constraints which are clauses | 105 |
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 | 105 |
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 | 106 |
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.06 c Time Limit set via PBTIMEOUT to 1800 0.09 c INFO: OSL Context initialized. 0.25 c Initial problem consists of 10500 variables and 205 constraints. 0.28 c Using non-optimization problem switches. 0.28 c No problem reductions applied in OPT. instance. 0.28 c preprocess terminated. Elapsed time: 0.199 0.28 c After prepocess the problem consists of 10500 variables and 205 constraints. 0.55 c Restart #1 #Var: 10500 LB: 0 @ 0.472 1.48 c Restart #2 #Var: 10500 LB: 0 @ 1.402 1.67 c Restart #3 #Var: 10500 LB: 0 @ 1.596 1.95 c Restart #4 #Var: 10500 LB: 0 @ 1.867 2.27 c Restart #5 #Var: 10500 LB: 0 @ 2.189 2.64 c Restart #6 #Var: 10500 LB: 0 @ 2.563 3.08 c Restart #7 #Var: 10500 LB: 0 @ 2.997 3.56 c Restart #8 #Var: 10500 LB: 0 @ 3.479 4.10 c Restart #9 #Var: 10500 LB: 0 @ 4.017 4.69 c Restart #10 #Var: 10500 LB: 0 @ 4.605 5.33 c Restart #11 #Var: 10500 LB: 0 @ 5.249 6.04 c Restart #12 #Var: 10500 LB: 0 @ 5.96 6.80 c Restart #13 #Var: 10500 LB: 0 @ 6.717 7.63 c Restart #14 #Var: 10500 LB: 0 @ 7.548 8.53 c Restart #15 #Var: 10500 LB: 0 @ 8.443 9.47 c Restart #16 #Var: 10500 LB: 0 @ 9.383 10.46 c Restart #17 #Var: 10500 LB: 0 @ 10.374 11.51 c Restart #18 #Var: 10500 LB: 0 @ 11.428 12.61 c Restart #19 #Var: 10500 LB: 0 @ 12.526 13.78 c Restart #20 #Var: 10500 LB: 0 @ 13.698 15.01 c Restart #21 #Var: 10500 LB: 0 @ 14.926 16.29 c Restart #22 #Var: 10500 LB: 0 @ 16.21 17.66 c Restart #23 #Var: 10500 LB: 0 @ 17.576 19.04 c Restart #24 #Var: 10500 LB: 0 @ 18.951 20.53 c Restart #25 #Var: 10500 LB: 0 @ 20.442 23.14 c Restart #26 #Var: 10500 LB: 0 @ 23.058 26.56 c Restart #27 #Var: 10500 LB: 0 @ 26.47 29.21 c Restart #28 #Var: 10500 LB: 0 @ 29.122 30.85 c Restart #29 #Var: 10500 LB: 0 @ 30.759 32.56 c Restart #30 #Var: 10500 LB: 0 @ 32.471 34.28 c Restart #31 #Var: 10500 LB: 0 @ 34.191 36.09 c Restart #32 #Var: 10500 LB: 0 @ 36.004 38.00 c Restart #33 #Var: 10500 LB: 0 @ 37.915 39.97 c Restart #34 #Var: 10500 LB: 0 @ 39.877 41.92 c Restart #35 #Var: 10500 LB: 0 @ 41.826 43.96 c Restart #36 #Var: 10500 LB: 0 @ 43.869 46.05 c Restart #37 #Var: 10500 LB: 0 @ 45.956 48.22 c Restart #38 #Var: 10500 LB: 0 @ 48.124 50.45 c Restart #39 #Var: 10500 LB: 0 @ 50.353 52.74 c Restart #40 #Var: 10500 LB: 0 @ 52.646 55.15 c Restart #41 #Var: 10500 LB: 0 @ 55.054 57.61 c Restart #42 #Var: 10500 LB: 0 @ 57.517 60.11 c Restart #43 #Var: 10500 LB: 0 @ 60.014 62.64 c Restart #44 #Var: 10500 LB: 0 @ 62.541 65.12 c Restart #45 #Var: 10500 LB: 0 @ 65.028 67.64 c Restart #46 #Var: 10500 LB: 0 @ 67.548 70.25 c Restart #47 #Var: 10500 LB: 0 @ 70.148 73.01 c Restart #48 #Var: 10500 LB: 0 @ 72.908 75.79 c Restart #49 #Var: 10500 LB: 0 @ 75.69 78.72 c Restart #50 #Var: 10500 LB: 0 @ 78.624 81.74 c Restart #51 #Var: 10500 LB: 0 @ 81.639 84.73 c Restart #52 #Var: 10500 LB: 0 @ 84.631 87.80 c Restart #53 #Var: 10500 LB: 0 @ 87.695 91.00 c Restart #54 #Var: 10500 LB: 0 @ 90.894 94.22 c Restart #55 #Var: 10500 LB: 0 @ 94.115 97.41 c Restart #56 #Var: 10500 LB: 0 @ 97.306 100.58 c Restart #57 #Var: 10500 LB: 0 @ 100.47 103.77 c Restart #58 #Var: 10500 LB: 0 @ 103.66 107.12 c Restart #59 #Var: 10500 LB: 0 @ 107.01 110.47 c Restart #60 #Var: 10500 LB: 0 @ 110.36 113.88 c Restart #61 #Var: 10500 LB: 0 @ 113.77 117.43 c Restart #62 #Var: 10500 LB: 0 @ 117.32 121.01 c Restart #63 #Var: 10500 LB: 0 @ 120.9 124.71 c Restart #64 #Var: 10500 LB: 0 @ 124.6 128.39 c Restart #65 #Var: 10500 LB: 0 @ 128.28 132.16 c Restart #66 #Var: 10500 LB: 0 @ 132.04 136.12 c Restart #67 #Var: 10500 LB: 0 @ 136 140.10 c Restart #68 #Var: 10500 LB: 0 @ 139.99 144.05 c Restart #69 #Var: 10500 LB: 0 @ 143.94 148.05 c Restart #70 #Var: 10500 LB: 0 @ 147.94 152.10 c Restart #71 #Var: 10500 LB: 0 @ 151.98 156.44 c Restart #72 #Var: 10500 LB: 0 @ 156.32 160.73 c Restart #73 #Var: 10500 LB: 0 @ 160.61 164.93 c Restart #74 #Var: 10500 LB: 0 @ 164.81 169.23 c Restart #75 #Var: 10500 LB: 0 @ 169.11 173.59 c Restart #76 #Var: 10500 LB: 0 @ 173.47 178.05 c Restart #77 #Var: 10500 LB: 0 @ 177.93 182.51 c Restart #78 #Var: 10500 LB: 0 @ 182.38 186.82 c Restart #79 #Var: 10500 LB: 0 @ 186.69 191.41 c Restart #80 #Var: 10500 LB: 0 @ 191.28 196.07 c Restart #81 #Var: 10500 LB: 0 @ 195.94 200.49 c Restart #82 #Var: 10500 LB: 0 @ 200.36 205.23 c Restart #83 #Var: 10500 LB: 0 @ 205.1 210.00 c Restart #84 #Var: 10500 LB: 0 @ 209.87 214.77 c Restart #85 #Var: 10500 LB: 0 @ 214.64 219.77 c Restart #86 #Var: 10500 LB: 0 @ 219.63 224.70 c Restart #87 #Var: 10500 LB: 0 @ 224.57 229.66 c Restart #88 #Var: 10500 LB: 0 @ 229.53 234.82 c Restart #89 #Var: 10500 LB: 0 @ 234.68 239.99 c Restart #90 #Var: 10500 LB: 0 @ 239.85 244.96 c Restart #91 #Var: 10500 LB: 0 @ 244.82 249.95 c Restart #92 #Var: 10500 LB: 0 @ 249.81 255.23 c Restart #93 #Var: 10500 LB: 0 @ 255.09 260.71 c Restart #94 #Var: 10500 LB: 0 @ 260.56 265.94 c Restart #95 #Var: 10500 LB: 0 @ 265.79 271.29 c Restart #96 #Var: 10500 LB: 0 @ 271.14 276.77 c Restart #97 #Var: 10500 LB: 0 @ 276.62 282.34 c Restart #98 #Var: 10500 LB: 0 @ 282.2 288.04 c Restart #99 #Var: 10500 LB: 0 @ 287.89 293.71 c Restart #100 #Var: 10500 LB: 0 @ 293.56 299.38 c Restart #101 #Var: 10500 LB: 0 @ 299.23 305.31 c Restart #102 #Var: 10500 LB: 0 @ 305.16 311.08 c Restart #103 #Var: 10500 LB: 0 @ 310.93 316.91 c Restart #104 #Var: 10500 LB: 0 @ 316.75 322.80 c Restart #105 #Var: 10500 LB: 0 @ 322.64 328.71 c Restart #106 #Var: 10500 LB: 0 @ 328.56 334.80 c Restart #107 #Var: 10500 LB: 0 @ 334.64 340.88 c Restart #108 #Var: 10500 LB: 0 @ 340.73 347.03 c Restart #109 #Var: 10500 LB: 0 @ 346.87 353.11 c Restart #110 #Var: 10500 LB: 0 @ 352.95 359.42 c Restart #111 #Var: 10500 LB: 0 @ 359.25 365.70 c Restart #112 #Var: 10500 LB: 0 @ 365.53 372.05 c Restart #113 #Var: 10500 LB: 0 @ 371.88 378.63 c Restart #114 #Var: 10500 LB: 0 @ 378.46 384.92 c Restart #115 #Var: 10500 LB: 0 @ 384.75 391.58 c Restart #116 #Var: 10500 LB: 0 @ 391.41 398.25 c Restart #117 #Var: 10500 LB: 0 @ 398.08 404.97 c Restart #118 #Var: 10500 LB: 0 @ 404.79 411.61 c Restart #119 #Var: 10500 LB: 0 @ 411.43 418.39 c Restart #120 #Var: 10500 LB: 0 @ 418.21 425.24 c Restart #121 #Var: 10500 LB: 0 @ 425.06 432.22 c Restart #122 #Var: 10500 LB: 0 @ 432.04 439.03 c Restart #123 #Var: 10500 LB: 0 @ 438.84 446.03 c Restart #124 #Var: 10500 LB: 0 @ 445.84 452.99 c Restart #125 #Var: 10500 LB: 0 @ 452.8 460.03 c Restart #126 #Var: 10500 LB: 0 @ 459.84 467.06 c Restart #127 #Var: 10500 LB: 0 @ 466.87 474.20 c Restart #128 #Var: 10500 LB: 0 @ 474.01 481.50 c Restart #129 #Var: 10500 LB: 0 @ 481.31 488.64 c Restart #130 #Var: 10500 LB: 0 @ 488.44 495.72 c Restart #131 #Var: 10500 LB: 0 @ 495.52 502.85 c Restart #132 #Var: 10500 LB: 0 @ 502.65 510.11 c Restart #133 #Var: 10500 LB: 0 @ 509.91 517.34 c Restart #134 #Var: 10500 LB: 0 @ 517.14 524.80 c Restart #135 #Var: 10500 LB: 0 @ 524.59 532.19 c Restart #136 #Var: 10500 LB: 0 @ 531.99 539.59 c Restart #137 #Var: 10500 LB: 0 @ 539.39 547.14 c Restart #138 #Var: 10500 LB: 0 @ 546.93 554.62 c Restart #139 #Var: 10500 LB: 0 @ 554.41 562.25 c Restart #140 #Var: 10500 LB: 0 @ 562.04 570.13 c Restart #141 #Var: 10500 LB: 0 @ 569.91 577.92 c Restart #142 #Var: 10500 LB: 0 @ 577.7 585.78 c Restart #143 #Var: 10500 LB: 0 @ 585.57 593.56 c Restart #144 #Var: 10500 LB: 0 @ 593.34 601.72 c Restart #145 #Var: 10500 LB: 0 @ 601.5 609.81 c Restart #146 #Var: 10500 LB: 0 @ 609.58 618.06 c Restart #147 #Var: 10500 LB: 0 @ 617.84 626.54 c Restart #148 #Var: 10500 LB: 0 @ 626.31 635.01 c Restart #149 #Var: 10500 LB: 0 @ 634.78 643.84 c Restart #150 #Var: 10500 LB: 0 @ 643.61 652.62 c Restart #151 #Var: 10500 LB: 0 @ 652.39 661.63 c Restart #152 #Var: 10500 LB: 0 @ 661.39 670.65 c Restart #153 #Var: 10500 LB: 0 @ 670.42 679.30 c Restart #154 #Var: 10500 LB: 0 @ 679.06 687.66 c Restart #155 #Var: 10500 LB: 0 @ 687.41 696.14 c Restart #156 #Var: 10500 LB: 0 @ 695.9 704.94 c Restart #157 #Var: 10500 LB: 0 @ 704.7 713.62 c Restart #158 #Var: 10500 LB: 0 @ 713.38 722.46 c Restart #159 #Var: 10500 LB: 0 @ 722.21 731.18 c Restart #160 #Var: 10500 LB: 0 @ 730.93 740.44 c Restart #161 #Var: 10500 LB: 0 @ 740.19 749.71 c Restart #162 #Var: 10500 LB: 0 @ 749.46 759.13 c Restart #163 #Var: 10500 LB: 0 @ 758.88 768.84 c Restart #164 #Var: 10500 LB: 0 @ 768.58 778.11 c Restart #165 #Var: 10500 LB: 0 @ 777.85 787.38 c Restart #166 #Var: 10500 LB: 0 @ 787.12 796.52 c Restart #167 #Var: 10500 LB: 0 @ 796.25 805.82 c Restart #168 #Var: 10500 LB: 0 @ 805.55 814.96 c Restart #169 #Var: 10500 LB: 0 @ 814.69 824.16 c Restart #170 #Var: 10500 LB: 0 @ 823.88 833.75 c Restart #171 #Var: 10500 LB: 0 @ 833.48 843.52 c Restart #172 #Var: 10500 LB: 0 @ 843.24 852.99 c Restart #173 #Var: 10500 LB: 0 @ 852.71 862.79 c Restart #174 #Var: 10500 LB: 0 @ 862.51 872.55 c Restart #175 #Var: 10500 LB: 0 @ 872.27 882.52 c Restart #176 #Var: 10500 LB: 0 @ 882.23 892.36 c Restart #177 #Var: 10500 LB: 0 @ 892.07 902.10 c CHANGE Heuristic... 902.10 c Restart #0 #Var: 10500 LB: 0 @ 901.81 902.19 c Restart #1 #Var: 10500 LB: 0 @ 901.9 902.35 c Restart #2 #Var: 10500 LB: 0 @ 902.06 902.55 c Restart #3 #Var: 10500 LB: 0 @ 902.26 902.82 c Restart #4 #Var: 10500 LB: 0 @ 902.53 903.13 c Restart #5 #Var: 10500 LB: 0 @ 902.84 903.50 c Restart #6 #Var: 10500 LB: 0 @ 903.2 903.93 c Restart #7 #Var: 10500 LB: 0 @ 903.64 904.43 c Restart #8 #Var: 10500 LB: 0 @ 904.13 904.96 c Restart #9 #Var: 10500 LB: 0 @ 904.67 905.57 c Restart #10 #Var: 10500 LB: 0 @ 905.28 906.22 c Restart #11 #Var: 10500 LB: 0 @ 905.93 906.92 c Restart #12 #Var: 10500 LB: 0 @ 906.63 907.70 c Restart #13 #Var: 10500 LB: 0 @ 907.41 908.51 c Restart #14 #Var: 10500 LB: 0 @ 908.22 909.39 c Restart #15 #Var: 10500 LB: 0 @ 909.1 910.34 c Restart #16 #Var: 10500 LB: 0 @ 910.04 911.32 c Restart #17 #Var: 10500 LB: 0 @ 911.03 912.37 c Restart #18 #Var: 10500 LB: 0 @ 912.07 913.48 c Restart #19 #Var: 10500 LB: 0 @ 913.19 914.66 c Restart #20 #Var: 10500 LB: 0 @ 914.36 915.89 c Restart #21 #Var: 10500 LB: 0 @ 915.6 917.19 c Restart #22 #Var: 10500 LB: 0 @ 916.89 918.56 c Restart #23 #Var: 10500 LB: 0 @ 918.26 919.96 c Restart #24 #Var: 10500 LB: 0 @ 919.66 921.42 c Restart #25 #Var: 10500 LB: 0 @ 921.12 923.03 c Restart #26 #Var: 10500 LB: 0 @ 922.73 924.68 c Restart #27 #Var: 10500 LB: 0 @ 924.39 926.36 c Restart #28 #Var: 10500 LB: 0 @ 926.06 928.03 c Restart #29 #Var: 10500 LB: 0 @ 927.74 929.70 c Restart #30 #Var: 10500 LB: 0 @ 929.4 931.48 c Restart #31 #Var: 10500 LB: 0 @ 931.18 933.31 c Restart #32 #Var: 10500 LB: 0 @ 933.01 935.19 c Restart #33 #Var: 10500 LB: 0 @ 934.89 937.12 c Restart #34 #Var: 10500 LB: 0 @ 936.82 939.10 c Restart #35 #Var: 10500 LB: 0 @ 938.8 941.18 c Restart #36 #Var: 10500 LB: 0 @ 940.88 943.30 c Restart #37 #Var: 10500 LB: 0 @ 943 945.46 c Restart #38 #Var: 10500 LB: 0 @ 945.16 947.79 c Restart #39 #Var: 10500 LB: 0 @ 947.48 950.07 c Restart #40 #Var: 10500 LB: 0 @ 949.76 952.51 c Restart #41 #Var: 10500 LB: 0 @ 952.2 954.90 c Restart #42 #Var: 10500 LB: 0 @ 954.6 957.32 c Restart #43 #Var: 10500 LB: 0 @ 957.02 959.88 c Restart #44 #Var: 10500 LB: 0 @ 959.57 962.50 c Restart #45 #Var: 10500 LB: 0 @ 962.2 965.05 c Restart #46 #Var: 10500 LB: 0 @ 964.75 967.75 c Restart #47 #Var: 10500 LB: 0 @ 967.44 970.51 c Restart #48 #Var: 10500 LB: 0 @ 970.2 973.34 c Restart #49 #Var: 10500 LB: 0 @ 973.03 976.17 c Restart #50 #Var: 10500 LB: 0 @ 975.87 979.16 c Restart #51 #Var: 10500 LB: 0 @ 978.85 982.25 c Restart #52 #Var: 10500 LB: 0 @ 981.93 985.33 c Restart #53 #Var: 10500 LB: 0 @ 985.01 988.47 c Restart #54 #Var: 10500 LB: 0 @ 988.16 991.68 c Restart #55 #Var: 10500 LB: 0 @ 991.36 994.98 c Restart #56 #Var: 10500 LB: 0 @ 994.67 998.17 c Restart #57 #Var: 10500 LB: 0 @ 997.86 1001.41 c Restart #58 #Var: 10500 LB: 0 @ 1001.1 1004.81 c Restart #59 #Var: 10500 LB: 0 @ 1004.5 1008.22 c Restart #60 #Var: 10500 LB: 0 @ 1007.9 1011.60 c Restart #61 #Var: 10500 LB: 0 @ 1011.3 1015.11 c Restart #62 #Var: 10500 LB: 0 @ 1014.8 1018.62 c Restart #63 #Var: 10500 LB: 0 @ 1018.3 1022.41 c Restart #64 #Var: 10500 LB: 0 @ 1022.1 1026.17 c Restart #65 #Var: 10500 LB: 0 @ 1025.8 1029.93 c Restart #66 #Var: 10500 LB: 0 @ 1029.6 1033.57 c Restart #67 #Var: 10500 LB: 0 @ 1033.2 1037.42 c Restart #68 #Var: 10500 LB: 0 @ 1037.1 1041.39 c Restart #69 #Var: 10500 LB: 0 @ 1041.1 1045.27 c Restart #70 #Var: 10500 LB: 0 @ 1044.9 1049.10 c Restart #71 #Var: 10500 LB: 0 @ 1048.8 1053.18 c Restart #72 #Var: 10500 LB: 0 @ 1052.9 1057.30 c Restart #73 #Var: 10500 LB: 0 @ 1057 1061.51 c Restart #74 #Var: 10500 LB: 0 @ 1061.2 1065.65 c Restart #75 #Var: 10500 LB: 0 @ 1065.3 1069.79 c Restart #76 #Var: 10500 LB: 0 @ 1069.5 1074.11 c Restart #77 #Var: 10500 LB: 0 @ 1073.8 1078.38 c Restart #78 #Var: 10500 LB: 0 @ 1078.1 1083.02 c Restart #79 #Var: 10500 LB: 0 @ 1082.7 1087.43 c Restart #80 #Var: 10500 LB: 0 @ 1087.1 1091.88 c Restart #81 #Var: 10500 LB: 0 @ 1091.5 1096.33 c Restart #82 #Var: 10500 LB: 0 @ 1096 1100.92 c Restart #83 #Var: 10500 LB: 0 @ 1100.6 1105.55 c Restart #84 #Var: 10500 LB: 0 @ 1105.2 1110.22 c Restart #85 #Var: 10500 LB: 0 @ 1109.9 1114.92 c Restart #86 #Var: 10500 LB: 0 @ 1114.6 1119.58 c Restart #87 #Var: 10500 LB: 0 @ 1119.2 1124.42 c Restart #88 #Var: 10500 LB: 0 @ 1124.1 1129.44 c Restart #89 #Var: 10500 LB: 0 @ 1129.1 1134.48 c Restart #90 #Var: 10500 LB: 0 @ 1134.1 1139.65 c Restart #91 #Var: 10500 LB: 0 @ 1139.3 1144.64 c Restart #92 #Var: 10500 LB: 0 @ 1144.3 1149.86 c Restart #93 #Var: 10500 LB: 0 @ 1149.5 1155.13 c Restart #94 #Var: 10500 LB: 0 @ 1154.8 1160.34 c Restart #95 #Var: 10500 LB: 0 @ 1160 1165.60 c Restart #96 #Var: 10500 LB: 0 @ 1165.2 1170.96 c Restart #97 #Var: 10500 LB: 0 @ 1170.6 1176.48 c Restart #98 #Var: 10500 LB: 0 @ 1176.1 1182.07 c Restart #99 #Var: 10500 LB: 0 @ 1181.7 1187.73 c Restart #100 #Var: 10500 LB: 0 @ 1187.4 1193.45 c Restart #101 #Var: 10500 LB: 0 @ 1193.1 1199.29 c Restart #102 #Var: 10500 LB: 0 @ 1198.9 1205.20 c Restart #103 #Var: 10500 LB: 0 @ 1204.8 1211.06 c Restart #104 #Var: 10500 LB: 0 @ 1210.7 1216.97 c Restart #105 #Var: 10500 LB: 0 @ 1216.6 1222.87 c Restart #106 #Var: 10500 LB: 0 @ 1222.5 1228.82 c Restart #107 #Var: 10500 LB: 0 @ 1228.5 1234.79 c Restart #108 #Var: 10500 LB: 0 @ 1234.4 1240.95 c Restart #109 #Var: 10500 LB: 0 @ 1240.6 1247.16 c Restart #110 #Var: 10500 LB: 0 @ 1246.8 1253.43 c Restart #111 #Var: 10500 LB: 0 @ 1253.1 1259.58 c Restart #112 #Var: 10500 LB: 0 @ 1259.2 1265.92 c Restart #113 #Var: 10500 LB: 0 @ 1265.5 1272.17 c Restart #114 #Var: 10500 LB: 0 @ 1271.8 1278.65 c Restart #115 #Var: 10500 LB: 0 @ 1278.3 1285.12 c Restart #116 #Var: 10500 LB: 0 @ 1284.7 1291.50 c Restart #117 #Var: 10500 LB: 0 @ 1291.1 1298.10 c Restart #118 #Var: 10500 LB: 0 @ 1297.7 1304.81 c Restart #119 #Var: 10500 LB: 0 @ 1304.4 1311.50 c Restart #120 #Var: 10500 LB: 0 @ 1311.1 1318.42 c Restart #121 #Var: 10500 LB: 0 @ 1318 1325.22 c Restart #122 #Var: 10500 LB: 0 @ 1324.8 1332.02 c Restart #123 #Var: 10500 LB: 0 @ 1331.6 1338.96 c Restart #124 #Var: 10500 LB: 0 @ 1338.6 1345.99 c Restart #125 #Var: 10500 LB: 0 @ 1345.6 1353.13 c Restart #126 #Var: 10500 LB: 0 @ 1352.7 1360.33 c Restart #127 #Var: 10500 LB: 0 @ 1359.9 1367.53 c Restart #128 #Var: 10500 LB: 0 @ 1367.1 1374.85 c Restart #129 #Var: 10500 LB: 0 @ 1374.4 1382.20 c Restart #130 #Var: 10500 LB: 0 @ 1381.8 1389.67 c Restart #131 #Var: 10500 LB: 0 @ 1389.3 1397.03 c Restart #132 #Var: 10500 LB: 0 @ 1396.6 1404.50 c Restart #133 #Var: 10500 LB: 0 @ 1404.1 1412.15 c Restart #134 #Var: 10500 LB: 0 @ 1411.7 1419.58 c Restart #135 #Var: 10500 LB: 0 @ 1419.2 1427.42 c Restart #136 #Var: 10500 LB: 0 @ 1427 1435.08 c Restart #137 #Var: 10500 LB: 0 @ 1434.7 1442.95 c Restart #138 #Var: 10500 LB: 0 @ 1442.5 1450.57 c Restart #139 #Var: 10500 LB: 0 @ 1450.1 1458.47 c Restart #140 #Var: 10500 LB: 0 @ 1458 1466.49 c Restart #141 #Var: 10500 LB: 0 @ 1466.1 1474.59 c Restart #142 #Var: 10500 LB: 0 @ 1474.2 1482.79 c Restart #143 #Var: 10500 LB: 0 @ 1482.4 1490.76 c Restart #144 #Var: 10500 LB: 0 @ 1490.3 1499.00 c Restart #145 #Var: 10500 LB: 0 @ 1498.6 1507.26 c Restart #146 #Var: 10500 LB: 0 @ 1506.8 1515.46 c Restart #147 #Var: 10500 LB: 0 @ 1515 1523.88 c Restart #148 #Var: 10500 LB: 0 @ 1523.4 1532.28 c Restart #149 #Var: 10500 LB: 0 @ 1531.8 1540.79 c Restart #150 #Var: 10500 LB: 0 @ 1540.4 1549.87 c Restart #151 #Var: 10500 LB: 0 @ 1549.4 1558.54 c Restart #152 #Var: 10500 LB: 0 @ 1558.1 1567.66 c Restart #153 #Var: 10500 LB: 0 @ 1567.2 1576.92 c Restart #154 #Var: 10500 LB: 0 @ 1576.5 1586.30 c Restart #155 #Var: 10500 LB: 0 @ 1585.8 1595.81 c Restart #156 #Var: 10500 LB: 0 @ 1595.4 1604.95 c Restart #157 #Var: 10500 LB: 0 @ 1604.5 1614.10 c Restart #158 #Var: 10500 LB: 0 @ 1613.6 1623.56 c Restart #159 #Var: 10500 LB: 0 @ 1623.1 1633.02 c Restart #160 #Var: 10500 LB: 0 @ 1632.6 1642.65 c Restart #161 #Var: 10500 LB: 0 @ 1642.2 1652.41 c Restart #162 #Var: 10500 LB: 0 @ 1651.9 1661.92 c Restart #163 #Var: 10500 LB: 0 @ 1661.4 1671.90 c Restart #164 #Var: 10500 LB: 0 @ 1671.4 1681.62 c Restart #165 #Var: 10500 LB: 0 @ 1681.1 1691.41 c Restart #166 #Var: 10500 LB: 0 @ 1690.9 1701.06 c Restart #167 #Var: 10500 LB: 0 @ 1700.6 1710.94 c Restart #168 #Var: 10500 LB: 0 @ 1710.5 1720.95 c Restart #169 #Var: 10500 LB: 0 @ 1720.5 1731.12 c Restart #170 #Var: 10500 LB: 0 @ 1730.6 1740.67 c Restart #171 #Var: 10500 LB: 0 @ 1740.1 1750.93 c Restart #172 #Var: 10500 LB: 0 @ 1750.4 1761.18 c Restart #173 #Var: 10500 LB: 0 @ 1760.6 1771.57 c Restart #174 #Var: 10500 LB: 0 @ 1771 1782.14 c Restart #175 #Var: 10500 LB: 0 @ 1781.6 1792.21 c Restart #176 #Var: 10500 LB: 0 @ 1791.6 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/node3/watcher-46282-1154064742 -o ROOT/results/node3/solver-46282-1154064742 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node3/46282-1154064742/instance-46282-1154064742.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.97 0.99 2/64 26473 /proc/meminfo: memFree=779520/2055920 swapFree=4171872/4192956 [pid=26473] ppid=26471 vsize=436 CPUtime=0 /proc/26473/stat : 26473 (bsolo) D 26471 26473 26424 0 -1 0 39 0 0 0 0 0 0 0 18 0 1 0 153335743 446464 23 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10924603 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/26473/statm: 109 23 18 55 0 18 0 [startup+10.0021 s] /proc/loadavg: 0.93 0.97 0.99 2/64 26473 /proc/meminfo: memFree=765440/2055920 swapFree=4171872/4192956 [pid=26473] ppid=26471 vsize=16228 CPUtime=9.91 /proc/26473/stat : 26473 (bsolo) R 26471 26473 26424 0 -1 0 3283 0 12 0 986 5 0 0 25 0 1 0 153335743 16617472 3148 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541650 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26473/statm: 4057 3148 296 55 0 2949 0 Current children cumulated CPU time (s) 9.91 Current children cumulated vsize (Kb) 16228 [startup+20.0079 s] /proc/loadavg: 0.94 0.97 0.99 2/64 26473 /proc/meminfo: memFree=765504/2055920 swapFree=4171872/4192956 [pid=26473] ppid=26471 vsize=16260 CPUtime=19.92 /proc/26473/stat : 26473 (bsolo) R 26471 26473 26424 0 -1 0 3310 0 12 0 1984 8 0 0 25 0 1 0 153335743 16650240 3165 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26473/statm: 4065 3165 296 55 0 2957 0 Current children cumulated CPU time (s) 19.92 Current children cumulated vsize (Kb) 16260 [startup+30.0138 s] /proc/loadavg: 0.95 0.97 0.99 2/64 26473 /proc/meminfo: memFree=765568/2055920 swapFree=4171872/4192956 [pid=26473] ppid=26471 vsize=16260 CPUtime=29.92 /proc/26473/stat : 26473 (bsolo) R 26471 26473 26424 0 -1 0 3325 0 12 0 2983 9 0 0 25 0 1 0 153335743 16650240 3180 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26473/statm: 4065 3180 296 55 0 2957 0 Current children cumulated CPU time (s) 29.92 Current children cumulated vsize (Kb) 16260 [startup+40.0196 s] /proc/loadavg: 0.95 0.97 0.99 2/64 26473 /proc/meminfo: memFree=765568/2055920 swapFree=4171872/4192956 [pid=26473] ppid=26471 vsize=16232 CPUtime=39.93 /proc/26473/stat : 26473 (bsolo) R 26471 26473 26424 0 -1 0 3325 0 12 0 3983 10 0 0 25 0 1 0 153335743 16621568 3180 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542286 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26473/statm: 4058 3180 296 55 0 2950 0 Current children cumulated CPU time (s) 39.93 Current children cumulated vsize (Kb) 16232 [startup+50.0254 s] /proc/loadavg: 0.96 0.97 0.99 2/64 26473 /proc/meminfo: memFree=765568/2055920 swapFree=4171872/4192956 [pid=26473] ppid=26471 vsize=16232 CPUtime=49.93 /proc/26473/stat : 26473 (bsolo) R 26471 26473 26424 0 -1 0 3325 0 12 0 4981 12 0 0 25 0 1 0 153335743 16621568 3180 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26473/statm: 4058 3180 296 55 0 2950 0 Current children cumulated CPU time (s) 49.93 Current children cumulated vsize (Kb) 16232 [startup+60.0312 s] /proc/loadavg: 0.97 0.97 0.99 2/64 26473 /proc/meminfo: memFree=765632/2055920 swapFree=4171872/4192956 [pid=26473] ppid=26471 vsize=16232 CPUtime=59.93 /proc/26473/stat : 26473 (bsolo) R 26471 26473 26424 0 -1 0 3325 0 12 0 5980 13 0 0 25 0 1 0 153335743 16621568 3180 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548386 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26473/statm: 4058 3180 296 55 0 2950 0 Current children cumulated CPU time (s) 59.93 Current children cumulated vsize (Kb) 16232 [startup+70.0371 s] /proc/loadavg: 0.97 0.97 0.99 2/64 26473 /proc/meminfo: memFree=765632/2055920 swapFree=4171872/4192956 [pid=26473] ppid=26471 vsize=16232 CPUtime=69.93 /proc/26473/stat : 26473 (bsolo) R 26471 26473 26424 0 -1 0 3325 0 12 0 6978 15 0 0 25 0 1 0 153335743 16621568 3180 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26473/statm: 4058 3180 296 55 0 2950 0 Current children cumulated CPU time (s) 69.93 Current children cumulated vsize (Kb) 16232 [startup+80.0429 s] /proc/loadavg: 0.98 0.97 0.99 2/64 26473 /proc/meminfo: memFree=765632/2055920 swapFree=4171872/4192956 [pid=26473] ppid=26471 vsize=16232 CPUtime=79.94 /proc/26473/stat : 26473 (bsolo) R 26471 26473 26424 0 -1 0 3325 0 12 0 7977 17 0 0 25 0 1 0 153335743 16621568 3180 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26473/statm: 4058 3180 296 55 0 2950 0 Current children cumulated CPU time (s) 79.94 Current children cumulated vsize (Kb) 16232 [startup+90.0487 s] /proc/loadavg: 0.98 0.97 0.99 2/64 26473 /proc/meminfo: memFree=765632/2055920 swapFree=4171872/4192956 [pid=26473] ppid=26471 vsize=16232 CPUtime=89.94 /proc/26473/stat : 26473 (bsolo) R 26471 26473 26424 0 -1 0 3325 0 12 0 8975 19 0 0 25 0 1 0 153335743 16621568 3180 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26473/statm: 4058 3180 296 55 0 2950 0 Current children cumulated CPU time (s) 89.94 Current children cumulated vsize (Kb) 16232 [startup+100.055 s] /proc/loadavg: 0.98 0.97 0.99 2/64 26473 /proc/meminfo: memFree=765632/2055920 swapFree=4171872/4192956 [pid=26473] ppid=26471 vsize=16232 CPUtime=99.95 /proc/26473/stat : 26473 (bsolo) R 26471 26473 26424 0 -1 0 3325 0 12 0 9973 22 0 0 25 0 1 0 153335743 16621568 3180 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26473/statm: 4058 3180 296 55 0 2950 0 Current children cumulated CPU time (s) 99.95 Current children cumulated vsize (Kb) 16232 [startup+110.06 s] /proc/loadavg: 0.98 0.97 0.99 2/64 26473 /proc/meminfo: memFree=765632/2055920 swapFree=4171872/4192956 [pid=26473] ppid=26471 vsize=16232 CPUtime=109.95 /proc/26473/stat : 26473 (bsolo) R 26471 26473 26424 0 -1 0 3325 0 12 0 10972 23 0 0 25 0 1 0 153335743 16621568 3180 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26473/statm: 4058 3180 296 55 0 2950 0 Current children cumulated CPU time (s) 109.95 Current children cumulated vsize (Kb) 16232 [startup+120.066 s] /proc/loadavg: 0.99 0.97 0.99 2/64 26473 /proc/meminfo: memFree=765568/2055920 swapFree=4171872/4192956 [pid=26473] ppid=26471 vsize=16232 CPUtime=119.95 /proc/26473/stat : 26473 (bsolo) R 26471 26473 26424 0 -1 0 3325 0 12 0 11971 24 0 0 25 0 1 0 153335743 16621568 3180 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26473/statm: 4058 3180 296 55 0 2950 0 Current children cumulated CPU time (s) 119.95 Current children cumulated vsize (Kb) 16232 [startup+130.071 s] /proc/loadavg: 0.99 0.97 0.99 2/64 26473 /proc/meminfo: memFree=765568/2055920 swapFree=4171872/4192956 [pid=26473] ppid=26471 vsize=16232 CPUtime=129.96 /proc/26473/stat : 26473 (bsolo) R 26471 26473 26424 0 -1 0 3325 0 12 0 12970 26 0 0 25 0 1 0 153335743 16621568 3180 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542120 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26473/statm: 4058 3180 296 55 0 2950 0 Current children cumulated CPU time (s) 129.96 Current children cumulated vsize (Kb) 16232 [startup+140.077 s] /proc/loadavg: 0.99 0.97 0.99 2/64 26473 /proc/meminfo: memFree=765568/2055920 swapFree=4171872/4192956 [pid=26473] ppid=26471 vsize=16232 CPUtime=139.96 /proc/26473/stat : 26473 (bsolo) R 26471 26473 26424 0 -1 0 3325 0 12 0 13968 28 0 0 25 0 1 0 153335743 16621568 3180 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26473/statm: 4058 3180 296 55 0 2950 0 Current children cumulated CPU time (s) 139.96 Current children cumulated vsize (Kb) 16232 [startup+150.083 s] /proc/loadavg: 0.99 0.97 0.99 2/64 26473 /proc/meminfo: memFree=765568/2055920 swapFree=4171872/4192956 [pid=26473] ppid=26471 vsize=16232 CPUtime=149.96 /proc/26473/stat : 26473 (bsolo) R 26471 26473 26424 0 -1 0 3325 0 12 0 14967 29 0 0 25 0 1 0 153335743 16621568 3180 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557740 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26473/statm: 4058 3180 296 55 0 2950 0 Current children cumulated CPU time (s) 149.96 Current children cumulated vsize (Kb) 16232 [startup+160.089 s] /proc/loadavg: 0.99 0.97 0.99 2/64 26473 /proc/meminfo: memFree=765568/2055920 swapFree=4171872/4192956 [pid=26473] ppid=26471 vsize=16232 CPUtime=159.97 /proc/26473/stat : 26473 (bsolo) R 26471 26473 26424 0 -1 0 3325 0 12 0 15966 31 0 0 25 0 1 0 153335743 16621568 3180 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26473/statm: 4058 3180 296 55 0 2950 0 Current children cumulated CPU time (s) 159.97 Current children cumulated vsize (Kb) 16232 [startup+170.094 s] /proc/loadavg: 0.99 0.97 0.99 2/64 26473 /proc/meminfo: memFree=765568/2055920 swapFree=4171872/4192956 [pid=26473] ppid=26471 vsize=16232 CPUtime=169.97 /proc/26473/stat : 26473 (bsolo) R 26471 26473 26424 0 -1 0 3325 0 12 0 16965 32 0 0 25 0 1 0 153335743 16621568 3180 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548239 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26473/statm: 4058 3180 296 55 0 2950 0 Current children cumulated CPU time (s) 169.97 Current children cumulated vsize (Kb) 16232 [startup+180.101 s] /proc/loadavg: 0.99 0.97 0.99 2/64 26473 /proc/meminfo: memFree=765568/2055920 swapFree=4171872/4192956 [pid=26473] ppid=26471 vsize=16364 CPUtime=179.97 /proc/26473/stat : 26473 (bsolo) R 26471 26473 26424 0 -1 0 3326 0 12 0 17963 34 0 0 25 0 1 0 153335743 16756736 3181 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26473/statm: 4091 3181 296 55 0 2983 0 Current children cumulated CPU time (s) 179.97 Current children cumulated vsize (Kb) 16364 [startup+190.106 s] /proc/loadavg: 0.99 0.97 0.99 2/64 26473 /proc/meminfo: memFree=765568/2055920 swapFree=4171872/4192956 [pid=26473] ppid=26471 vsize=16324 CPUtime=189.98 /proc/26473/stat : 26473 (bsolo) R 26471 26473 26424 0 -1 0 3326 0 12 0 18961 37 0 0 25 0 1 0 153335743 16715776 3181 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548211 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26473/statm: 4081 3181 296 55 0 2973 0 Current children cumulated CPU time (s) 189.98 Current children cumulated vsize (Kb) 16324 [startup+200.112 s] /proc/loadavg: 0.99 0.97 0.99 2/64 26473 /proc/meminfo: memFree=765568/2055920 swapFree=4171872/4192956 [pid=26473] ppid=26471 vsize=16232 CPUtime=199.98 /proc/26473/stat : 26473 (bsolo) R 26471 26473 26424 0 -1 0 3326 0 12 0 19959 39 0 0 25 0 1 0 153335743 16621568 3180 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26473/statm: 4058 3180 296 55 0 2950 0 Current children cumulated CPU time (s) 199.98 Current children cumulated vsize (Kb) 16232 [startup+210.118 s] /proc/loadavg: 0.99 0.97 0.99 2/64 26473 ################ # More data... # ################ Current children cumulated CPU time (s) 1760.46 Current children cumulated vsize (Kb) 16476 [startup+1771.04 s] /proc/loadavg: 0.99 0.97 0.99 2/64 26673 /proc/meminfo: memFree=764672/2055920 swapFree=4171872/4192956 [pid=26473] ppid=26471 vsize=16476 CPUtime=1770.46 /proc/26473/stat : 26473 (bsolo) R 26471 26473 26424 0 -1 0 3464 0 12 0 176734 312 0 0 25 0 1 0 153335743 16871424 3241 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26473/statm: 4119 3241 296 55 0 3011 0 Current children cumulated CPU time (s) 1770.46 Current children cumulated vsize (Kb) 16476 [startup+1781.05 s] /proc/loadavg: 0.99 0.97 0.99 2/64 26673 /proc/meminfo: memFree=764672/2055920 swapFree=4171872/4192956 [pid=26473] ppid=26471 vsize=16476 CPUtime=1780.46 /proc/26473/stat : 26473 (bsolo) R 26471 26473 26424 0 -1 0 3464 0 12 0 177732 314 0 0 25 0 1 0 153335743 16871424 3241 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26473/statm: 4119 3241 296 55 0 3011 0 Current children cumulated CPU time (s) 1780.46 Current children cumulated vsize (Kb) 16476 [startup+1782.05 s] /proc/loadavg: 0.99 0.97 0.99 2/64 26673 /proc/meminfo: memFree=764672/2055920 swapFree=4171872/4192956 [pid=26473] ppid=26471 vsize=16476 CPUtime=1781.47 /proc/26473/stat : 26473 (bsolo) R 26471 26473 26424 0 -1 0 3464 0 12 0 177832 315 0 0 25 0 1 0 153335743 16871424 3241 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524346 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26473/statm: 4119 3241 296 55 0 3011 0 Current children cumulated CPU time (s) 1781.47 Current children cumulated vsize (Kb) 16476 [startup+1783.06 s] /proc/loadavg: 0.99 0.97 0.99 2/64 26673 /proc/meminfo: memFree=764672/2055920 swapFree=4171872/4192956 [pid=26473] ppid=26471 vsize=16476 CPUtime=1782.48 /proc/26473/stat : 26473 (bsolo) R 26471 26473 26424 0 -1 0 3464 0 12 0 177933 315 0 0 25 0 1 0 153335743 16871424 3241 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548239 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26473/statm: 4119 3241 296 55 0 3011 0 Current children cumulated CPU time (s) 1782.48 Current children cumulated vsize (Kb) 16476 [startup+1784.06 s] /proc/loadavg: 0.99 0.97 0.99 2/64 26673 /proc/meminfo: memFree=764672/2055920 swapFree=4171872/4192956 [pid=26473] ppid=26471 vsize=16476 CPUtime=1783.48 /proc/26473/stat : 26473 (bsolo) R 26471 26473 26424 0 -1 0 3464 0 12 0 178033 315 0 0 25 0 1 0 153335743 16871424 3241 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26473/statm: 4119 3241 296 55 0 3011 0 Current children cumulated CPU time (s) 1783.48 Current children cumulated vsize (Kb) 16476 [startup+1785.07 s] /proc/loadavg: 0.99 0.97 0.99 2/64 26673 /proc/meminfo: memFree=764672/2055920 swapFree=4171872/4192956 [pid=26473] ppid=26471 vsize=16476 CPUtime=1784.49 /proc/26473/stat : 26473 (bsolo) R 26471 26473 26424 0 -1 0 3464 0 12 0 178134 315 0 0 25 0 1 0 153335743 16871424 3241 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26473/statm: 4119 3241 296 55 0 3011 0 Current children cumulated CPU time (s) 1784.49 Current children cumulated vsize (Kb) 16476 [startup+1786.07 s] /proc/loadavg: 0.99 0.97 0.99 2/64 26673 /proc/meminfo: memFree=764672/2055920 swapFree=4171872/4192956 [pid=26473] ppid=26471 vsize=16476 CPUtime=1785.49 /proc/26473/stat : 26473 (bsolo) R 26471 26473 26424 0 -1 0 3464 0 12 0 178234 315 0 0 25 0 1 0 153335743 16871424 3241 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26473/statm: 4119 3241 296 55 0 3011 0 Current children cumulated CPU time (s) 1785.49 Current children cumulated vsize (Kb) 16476 [startup+1787.08 s] /proc/loadavg: 0.99 0.97 0.99 2/64 26673 /proc/meminfo: memFree=764672/2055920 swapFree=4171872/4192956 [pid=26473] ppid=26471 vsize=16476 CPUtime=1786.49 /proc/26473/stat : 26473 (bsolo) R 26471 26473 26424 0 -1 0 3464 0 12 0 178334 315 0 0 25 0 1 0 153335743 16871424 3241 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26473/statm: 4119 3241 296 55 0 3011 0 Current children cumulated CPU time (s) 1786.49 Current children cumulated vsize (Kb) 16476 [startup+1788.08 s] /proc/loadavg: 0.99 0.97 0.99 2/64 26673 /proc/meminfo: memFree=764672/2055920 swapFree=4171872/4192956 [pid=26473] ppid=26471 vsize=16476 CPUtime=1787.49 /proc/26473/stat : 26473 (bsolo) R 26471 26473 26424 0 -1 0 3464 0 12 0 178434 315 0 0 25 0 1 0 153335743 16871424 3241 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26473/statm: 4119 3241 296 55 0 3011 0 Current children cumulated CPU time (s) 1787.49 Current children cumulated vsize (Kb) 16476 [startup+1789.09 s] /proc/loadavg: 0.99 0.97 0.99 2/64 26673 /proc/meminfo: memFree=764672/2055920 swapFree=4171872/4192956 [pid=26473] ppid=26471 vsize=16476 CPUtime=1788.51 /proc/26473/stat : 26473 (bsolo) R 26471 26473 26424 0 -1 0 3464 0 12 0 178535 316 0 0 25 0 1 0 153335743 16871424 3241 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528674 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26473/statm: 4119 3241 296 55 0 3011 0 Current children cumulated CPU time (s) 1788.51 Current children cumulated vsize (Kb) 16476 [startup+1790.09 s] /proc/loadavg: 0.99 0.97 0.99 2/64 26673 /proc/meminfo: memFree=764672/2055920 swapFree=4171872/4192956 [pid=26473] ppid=26471 vsize=16476 CPUtime=1789.51 /proc/26473/stat : 26473 (bsolo) R 26471 26473 26424 0 -1 0 3464 0 12 0 178635 316 0 0 25 0 1 0 153335743 16871424 3241 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548372 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26473/statm: 4119 3241 296 55 0 3011 0 Current children cumulated CPU time (s) 1789.51 Current children cumulated vsize (Kb) 16476 [startup+1791.09 s] /proc/loadavg: 0.99 0.97 0.99 2/64 26673 /proc/meminfo: memFree=764672/2055920 swapFree=4171872/4192956 [pid=26473] ppid=26471 vsize=16476 CPUtime=1790.52 /proc/26473/stat : 26473 (bsolo) R 26471 26473 26424 0 -1 0 3464 0 12 0 178736 316 0 0 25 0 1 0 153335743 16871424 3241 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541460 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26473/statm: 4119 3241 296 55 0 3011 0 Current children cumulated CPU time (s) 1790.52 Current children cumulated vsize (Kb) 16476 [startup+1792.1 s] /proc/loadavg: 0.99 0.97 0.99 2/64 26673 /proc/meminfo: memFree=764672/2055920 swapFree=4171872/4192956 [pid=26473] ppid=26471 vsize=16476 CPUtime=1791.52 /proc/26473/stat : 26473 (bsolo) R 26471 26473 26424 0 -1 0 3464 0 12 0 178836 316 0 0 25 0 1 0 153335743 16871424 3241 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26473/statm: 4119 3241 296 55 0 3011 0 Current children cumulated CPU time (s) 1791.52 Current children cumulated vsize (Kb) 16476 [startup+1793.1 s] /proc/loadavg: 0.99 0.97 0.99 2/64 26673 /proc/meminfo: memFree=764672/2055920 swapFree=4171872/4192956 [pid=26473] ppid=26471 vsize=16380 CPUtime=1792.52 /proc/26473/stat : 26473 (bsolo) R 26471 26473 26424 0 -1 0 3464 0 12 0 178936 316 0 0 25 0 1 0 153335743 16773120 3238 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26473/statm: 4095 3238 296 55 0 2987 0 Current children cumulated CPU time (s) 1792.52 Current children cumulated vsize (Kb) 16380 [startup+1794.11 s] /proc/loadavg: 0.99 0.97 0.99 2/64 26673 /proc/meminfo: memFree=764672/2055920 swapFree=4171872/4192956 [pid=26473] ppid=26471 vsize=16380 CPUtime=1793.52 /proc/26473/stat : 26473 (bsolo) R 26471 26473 26424 0 -1 0 3464 0 12 0 179036 316 0 0 25 0 1 0 153335743 16773120 3238 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26473/statm: 4095 3238 296 55 0 2987 0 Current children cumulated CPU time (s) 1793.52 Current children cumulated vsize (Kb) 16380 [startup+1795.11 s] /proc/loadavg: 0.99 0.97 0.99 2/64 26673 /proc/meminfo: memFree=764672/2055920 swapFree=4171872/4192956 [pid=26473] ppid=26471 vsize=16380 CPUtime=1794.53 /proc/26473/stat : 26473 (bsolo) R 26471 26473 26424 0 -1 0 3464 0 12 0 179136 317 0 0 25 0 1 0 153335743 16773120 3238 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26473/statm: 4095 3238 296 55 0 2987 0 Current children cumulated CPU time (s) 1794.53 Current children cumulated vsize (Kb) 16380 [startup+1796.12 s] /proc/loadavg: 0.99 0.97 0.99 2/64 26673 /proc/meminfo: memFree=764672/2055920 swapFree=4171872/4192956 [pid=26473] ppid=26471 vsize=16380 CPUtime=1795.54 /proc/26473/stat : 26473 (bsolo) R 26471 26473 26424 0 -1 0 3464 0 12 0 179237 317 0 0 25 0 1 0 153335743 16773120 3238 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26473/statm: 4095 3238 296 55 0 2987 0 Current children cumulated CPU time (s) 1795.54 Current children cumulated vsize (Kb) 16380 [startup+1797.12 s] /proc/loadavg: 0.99 0.97 0.99 2/64 26673 /proc/meminfo: memFree=764672/2055920 swapFree=4171872/4192956 [pid=26473] ppid=26471 vsize=16380 CPUtime=1796.54 /proc/26473/stat : 26473 (bsolo) R 26471 26473 26424 0 -1 0 3464 0 12 0 179337 317 0 0 25 0 1 0 153335743 16773120 3238 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26473/statm: 4095 3238 296 55 0 2987 0 Current children cumulated CPU time (s) 1796.54 Current children cumulated vsize (Kb) 16380 [startup+1798.13 s] /proc/loadavg: 0.99 0.97 0.99 2/64 26673 /proc/meminfo: memFree=764672/2055920 swapFree=4171872/4192956 [pid=26473] ppid=26471 vsize=16380 CPUtime=1797.54 /proc/26473/stat : 26473 (bsolo) R 26471 26473 26424 0 -1 0 3464 0 12 0 179437 317 0 0 25 0 1 0 153335743 16773120 3238 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26473/statm: 4095 3238 296 55 0 2987 0 Current children cumulated CPU time (s) 1797.54 Current children cumulated vsize (Kb) 16380 [startup+1799.13 s] /proc/loadavg: 0.99 0.97 0.99 2/64 26673 /proc/meminfo: memFree=764672/2055920 swapFree=4171872/4192956 [pid=26473] ppid=26471 vsize=16380 CPUtime=1798.55 /proc/26473/stat : 26473 (bsolo) R 26471 26473 26424 0 -1 0 3464 0 12 0 179538 317 0 0 25 0 1 0 153335743 16773120 3238 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548379 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26473/statm: 4095 3238 296 55 0 2987 0 Current children cumulated CPU time (s) 1798.55 Current children cumulated vsize (Kb) 16380 [startup+1800.14 s] /proc/loadavg: 0.99 0.97 0.99 2/64 26673 /proc/meminfo: memFree=764672/2055920 swapFree=4171872/4192956 [pid=26473] ppid=26471 vsize=16380 CPUtime=1799.55 /proc/26473/stat : 26473 (bsolo) R 26471 26473 26424 0 -1 0 3464 0 12 0 179638 317 0 0 25 0 1 0 153335743 16773120 3238 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26473/statm: 4095 3238 296 55 0 2987 0 Current children cumulated CPU time (s) 1799.55 Current children cumulated vsize (Kb) 16380 Child status: 0 Real time (s): 1800.59 CPU time (s): 1800.01 CPU user time (s): 1796.83 CPU system time (s): 3.18252 CPU usage (%): 99.9678 Max. virtual memory (cumulated for all children) (Kb): 16604 The end
Begin job on node3 on Fri Jul 28 05:32:22 UTC 2006 FILE ID= 46282-1154064742 PBS_JOBID= 882393 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-105-100.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node3/46282-1154064742/instance-46282-1154064742.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node3/watcher-46282-1154064742 -o ROOT/results/node3/solver-46282-1154064742 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node3/46282-1154064742/instance-46282-1154064742.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 1f72b7f8bd829aeeb06978977df8efc2 RANDOM SEED= 18596847 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.231 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.231 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: 779728 kB Buffers: 22840 kB Cached: 1170820 kB SwapCached: 14904 kB Active: 466016 kB Inactive: 747636 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 779728 kB SwapTotal: 4192956 kB SwapFree: 4171872 kB Dirty: 200 kB Writeback: 0 kB Mapped: 14504 kB Slab: 48588 kB Committed_AS: 550172 kB PageTables: 1404 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node3 on Fri Jul 28 06:02:22 UTC 2006