Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 2006/05 | ? | 1800 | 1800.84 |
Name | normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-85-80.opb |
MD5SUM | a4a494535709e59392e65403b829113d |
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.05799 |
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 | 6800 |
Total number of constraints | 165 |
Number of constraints which are clauses | 85 |
Number of constraints which are cardinality constraints (but not clauses) | 80 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 80 |
Maximum length of a constraint | 85 |
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 | 86 |
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.00 c Time Limit set via PBTIMEOUT to 1800 0.10 c INFO: OSL Context initialized. 0.18 c Initial problem consists of 6800 variables and 165 constraints. 0.19 c Using non-optimization problem switches. 0.19 c No problem reductions applied in OPT. instance. 0.19 c preprocess terminated. Elapsed time: 0.095 0.19 c After prepocess the problem consists of 6800 variables and 165 constraints. 0.32 c Restart #1 #Var: 6800 LB: 0 @ 0.226 0.43 c Restart #2 #Var: 6800 LB: 0 @ 0.333 0.59 c Restart #3 #Var: 6800 LB: 0 @ 0.493 0.76 c Restart #4 #Var: 6800 LB: 0 @ 0.668 0.98 c Restart #5 #Var: 6800 LB: 0 @ 0.881 1.23 c Restart #6 #Var: 6800 LB: 0 @ 1.131 1.52 c Restart #7 #Var: 6800 LB: 0 @ 1.423 1.86 c Restart #8 #Var: 6800 LB: 0 @ 1.762 2.23 c Restart #9 #Var: 6800 LB: 0 @ 2.133 2.65 c Restart #10 #Var: 6800 LB: 0 @ 2.549 3.09 c Restart #11 #Var: 6800 LB: 0 @ 2.994 3.58 c Restart #12 #Var: 6800 LB: 0 @ 3.486 4.12 c Restart #13 #Var: 6800 LB: 0 @ 4.018 4.69 c Restart #14 #Var: 6800 LB: 0 @ 4.588 5.30 c Restart #15 #Var: 6800 LB: 0 @ 5.206 5.94 c Restart #16 #Var: 6800 LB: 0 @ 5.838 6.62 c Restart #17 #Var: 6800 LB: 0 @ 6.518 7.35 c Restart #18 #Var: 6800 LB: 0 @ 7.247 8.11 c Restart #19 #Var: 6800 LB: 0 @ 8.009 8.91 c Restart #20 #Var: 6800 LB: 0 @ 8.807 9.74 c Restart #21 #Var: 6800 LB: 0 @ 9.64 10.67 c Restart #22 #Var: 6800 LB: 0 @ 10.566 11.65 c Restart #23 #Var: 6800 LB: 0 @ 11.55 12.68 c Restart #24 #Var: 6800 LB: 0 @ 12.574 13.76 c Restart #25 #Var: 6800 LB: 0 @ 13.659 15.73 c Restart #26 #Var: 6800 LB: 0 @ 15.624 18.28 c Restart #27 #Var: 6800 LB: 0 @ 18.177 20.13 c Restart #28 #Var: 6800 LB: 0 @ 20.021 21.30 c Restart #29 #Var: 6800 LB: 0 @ 21.195 22.53 c Restart #30 #Var: 6800 LB: 0 @ 22.419 23.80 c Restart #31 #Var: 6800 LB: 0 @ 23.694 25.13 c Restart #32 #Var: 6800 LB: 0 @ 25.017 26.50 c Restart #33 #Var: 6800 LB: 0 @ 26.388 27.89 c Restart #34 #Var: 6800 LB: 0 @ 27.777 29.36 c Restart #35 #Var: 6800 LB: 0 @ 29.248 30.84 c Restart #36 #Var: 6800 LB: 0 @ 30.727 32.38 c Restart #37 #Var: 6800 LB: 0 @ 32.271 33.96 c Restart #38 #Var: 6800 LB: 0 @ 33.844 35.58 c Restart #39 #Var: 6800 LB: 0 @ 35.463 37.24 c Restart #40 #Var: 6800 LB: 0 @ 37.125 38.89 c Restart #41 #Var: 6800 LB: 0 @ 38.774 40.56 c Restart #42 #Var: 6800 LB: 0 @ 40.447 42.26 c Restart #43 #Var: 6800 LB: 0 @ 42.148 44.00 c Restart #44 #Var: 6800 LB: 0 @ 43.881 45.77 c Restart #45 #Var: 6800 LB: 0 @ 45.658 47.59 c Restart #46 #Var: 6800 LB: 0 @ 47.467 49.49 c Restart #47 #Var: 6800 LB: 0 @ 49.371 51.43 c Restart #48 #Var: 6800 LB: 0 @ 51.31 53.42 c Restart #49 #Var: 6800 LB: 0 @ 53.296 55.41 c Restart #50 #Var: 6800 LB: 0 @ 55.291 57.53 c Restart #51 #Var: 6800 LB: 0 @ 57.413 59.68 c Restart #52 #Var: 6800 LB: 0 @ 59.557 61.77 c Restart #53 #Var: 6800 LB: 0 @ 61.643 63.97 c Restart #54 #Var: 6800 LB: 0 @ 63.844 66.19 c Restart #55 #Var: 6800 LB: 0 @ 66.063 68.38 c Restart #56 #Var: 6800 LB: 0 @ 68.257 70.69 c Restart #57 #Var: 6800 LB: 0 @ 70.559 72.99 c Restart #58 #Var: 6800 LB: 0 @ 72.863 75.37 c Restart #59 #Var: 6800 LB: 0 @ 75.243 77.81 c Restart #60 #Var: 6800 LB: 0 @ 77.682 80.24 c Restart #61 #Var: 6800 LB: 0 @ 80.105 82.69 c Restart #62 #Var: 6800 LB: 0 @ 82.561 85.20 c Restart #63 #Var: 6800 LB: 0 @ 85.067 87.75 c Restart #64 #Var: 6800 LB: 0 @ 87.613 90.46 c Restart #65 #Var: 6800 LB: 0 @ 90.326 93.13 c Restart #66 #Var: 6800 LB: 0 @ 92.995 95.98 c Restart #67 #Var: 6800 LB: 0 @ 95.84 98.71 c Restart #68 #Var: 6800 LB: 0 @ 98.571 101.40 c Restart #69 #Var: 6800 LB: 0 @ 101.27 104.23 c Restart #70 #Var: 6800 LB: 0 @ 104.09 107.11 c Restart #71 #Var: 6800 LB: 0 @ 106.97 110.07 c Restart #72 #Var: 6800 LB: 0 @ 109.92 113.02 c Restart #73 #Var: 6800 LB: 0 @ 112.88 116.07 c Restart #74 #Var: 6800 LB: 0 @ 115.92 119.27 c Restart #75 #Var: 6800 LB: 0 @ 119.12 122.32 c Restart #76 #Var: 6800 LB: 0 @ 122.17 125.44 c Restart #77 #Var: 6800 LB: 0 @ 125.29 128.56 c Restart #78 #Var: 6800 LB: 0 @ 128.41 131.73 c Restart #79 #Var: 6800 LB: 0 @ 131.58 135.00 c Restart #80 #Var: 6800 LB: 0 @ 134.85 138.31 c Restart #81 #Var: 6800 LB: 0 @ 138.16 141.56 c Restart #82 #Var: 6800 LB: 0 @ 141.41 144.85 c Restart #83 #Var: 6800 LB: 0 @ 144.69 148.22 c Restart #84 #Var: 6800 LB: 0 @ 148.06 151.52 c Restart #85 #Var: 6800 LB: 0 @ 151.37 154.90 c Restart #86 #Var: 6800 LB: 0 @ 154.74 158.43 c Restart #87 #Var: 6800 LB: 0 @ 158.27 161.94 c Restart #88 #Var: 6800 LB: 0 @ 161.78 165.40 c Restart #89 #Var: 6800 LB: 0 @ 165.24 169.04 c Restart #90 #Var: 6800 LB: 0 @ 168.88 172.63 c Restart #91 #Var: 6800 LB: 0 @ 172.47 176.28 c Restart #92 #Var: 6800 LB: 0 @ 176.11 179.96 c Restart #93 #Var: 6800 LB: 0 @ 179.79 183.63 c Restart #94 #Var: 6800 LB: 0 @ 183.46 187.34 c Restart #95 #Var: 6800 LB: 0 @ 187.17 191.06 c Restart #96 #Var: 6800 LB: 0 @ 190.88 194.86 c Restart #97 #Var: 6800 LB: 0 @ 194.68 198.72 c Restart #98 #Var: 6800 LB: 0 @ 198.55 202.67 c Restart #99 #Var: 6800 LB: 0 @ 202.5 206.84 c Restart #100 #Var: 6800 LB: 0 @ 206.66 210.90 c Restart #101 #Var: 6800 LB: 0 @ 210.72 215.09 c Restart #102 #Var: 6800 LB: 0 @ 214.91 219.27 c Restart #103 #Var: 6800 LB: 0 @ 219.09 223.40 c Restart #104 #Var: 6800 LB: 0 @ 223.22 227.68 c Restart #105 #Var: 6800 LB: 0 @ 227.5 232.15 c Restart #106 #Var: 6800 LB: 0 @ 231.96 236.52 c Restart #107 #Var: 6800 LB: 0 @ 236.33 241.04 c Restart #108 #Var: 6800 LB: 0 @ 240.85 245.59 c Restart #109 #Var: 6800 LB: 0 @ 245.4 250.25 c Restart #110 #Var: 6800 LB: 0 @ 250.06 254.84 c Restart #111 #Var: 6800 LB: 0 @ 254.64 259.60 c Restart #112 #Var: 6800 LB: 0 @ 259.4 264.32 c Restart #113 #Var: 6800 LB: 0 @ 264.12 269.21 c Restart #114 #Var: 6800 LB: 0 @ 269.01 274.07 c Restart #115 #Var: 6800 LB: 0 @ 273.87 278.81 c Restart #116 #Var: 6800 LB: 0 @ 278.61 283.62 c Restart #117 #Var: 6800 LB: 0 @ 283.42 288.53 c Restart #118 #Var: 6800 LB: 0 @ 288.33 293.50 c Restart #119 #Var: 6800 LB: 0 @ 293.29 298.42 c Restart #120 #Var: 6800 LB: 0 @ 298.21 303.27 c Restart #121 #Var: 6800 LB: 0 @ 303.06 308.43 c Restart #122 #Var: 6800 LB: 0 @ 308.21 313.60 c Restart #123 #Var: 6800 LB: 0 @ 313.39 318.65 c Restart #124 #Var: 6800 LB: 0 @ 318.43 323.91 c Restart #125 #Var: 6800 LB: 0 @ 323.69 329.25 c Restart #126 #Var: 6800 LB: 0 @ 329.03 334.75 c Restart #127 #Var: 6800 LB: 0 @ 334.53 340.14 c Restart #128 #Var: 6800 LB: 0 @ 339.91 345.51 c Restart #129 #Var: 6800 LB: 0 @ 345.28 350.89 c Restart #130 #Var: 6800 LB: 0 @ 350.66 356.57 c Restart #131 #Var: 6800 LB: 0 @ 356.34 362.14 c Restart #132 #Var: 6800 LB: 0 @ 361.91 367.64 c Restart #133 #Var: 6800 LB: 0 @ 367.4 373.27 c Restart #134 #Var: 6800 LB: 0 @ 373.03 378.84 c Restart #135 #Var: 6800 LB: 0 @ 378.6 384.43 c Restart #136 #Var: 6800 LB: 0 @ 384.19 389.86 c Restart #137 #Var: 6800 LB: 0 @ 389.62 395.50 c Restart #138 #Var: 6800 LB: 0 @ 395.25 401.43 c Restart #139 #Var: 6800 LB: 0 @ 401.18 407.04 c Restart #140 #Var: 6800 LB: 0 @ 406.79 412.64 c Restart #141 #Var: 6800 LB: 0 @ 412.39 418.41 c Restart #142 #Var: 6800 LB: 0 @ 418.15 424.24 c Restart #143 #Var: 6800 LB: 0 @ 423.98 429.92 c Restart #144 #Var: 6800 LB: 0 @ 429.66 435.94 c Restart #145 #Var: 6800 LB: 0 @ 435.68 441.87 c Restart #146 #Var: 6800 LB: 0 @ 441.61 447.95 c Restart #147 #Var: 6800 LB: 0 @ 447.69 454.17 c Restart #148 #Var: 6800 LB: 0 @ 453.9 460.54 c Restart #149 #Var: 6800 LB: 0 @ 460.26 467.07 c Restart #150 #Var: 6800 LB: 0 @ 466.8 473.51 c Restart #151 #Var: 6800 LB: 0 @ 473.24 479.68 c Restart #152 #Var: 6800 LB: 0 @ 479.4 485.93 c Restart #153 #Var: 6800 LB: 0 @ 485.64 492.48 c Restart #154 #Var: 6800 LB: 0 @ 492.2 499.25 c Restart #155 #Var: 6800 LB: 0 @ 498.96 506.03 c Restart #156 #Var: 6800 LB: 0 @ 505.75 512.90 c Restart #157 #Var: 6800 LB: 0 @ 512.61 519.54 c Restart #158 #Var: 6800 LB: 0 @ 519.25 526.36 c Restart #159 #Var: 6800 LB: 0 @ 526.06 533.11 c Restart #160 #Var: 6800 LB: 0 @ 532.81 539.89 c Restart #161 #Var: 6800 LB: 0 @ 539.58 546.97 c Restart #162 #Var: 6800 LB: 0 @ 546.66 554.11 c Restart #163 #Var: 6800 LB: 0 @ 553.8 561.00 c Restart #164 #Var: 6800 LB: 0 @ 560.69 567.97 c Restart #165 #Var: 6800 LB: 0 @ 567.66 575.17 c Restart #166 #Var: 6800 LB: 0 @ 574.86 582.34 c Restart #167 #Var: 6800 LB: 0 @ 582.02 589.39 c Restart #168 #Var: 6800 LB: 0 @ 589.07 596.61 c Restart #169 #Var: 6800 LB: 0 @ 596.29 603.74 c Restart #170 #Var: 6800 LB: 0 @ 603.41 610.97 c Restart #171 #Var: 6800 LB: 0 @ 610.64 618.41 c Restart #172 #Var: 6800 LB: 0 @ 618.08 625.82 c Restart #173 #Var: 6800 LB: 0 @ 625.49 633.28 c Restart #174 #Var: 6800 LB: 0 @ 632.94 640.91 c Restart #175 #Var: 6800 LB: 0 @ 640.57 648.42 c Restart #176 #Var: 6800 LB: 0 @ 648.08 656.16 c Restart #177 #Var: 6800 LB: 0 @ 655.81 663.90 c Restart #178 #Var: 6800 LB: 0 @ 663.55 671.45 c Restart #179 #Var: 6800 LB: 0 @ 671.1 679.12 c Restart #180 #Var: 6800 LB: 0 @ 678.76 686.98 c Restart #181 #Var: 6800 LB: 0 @ 686.62 695.01 c Restart #182 #Var: 6800 LB: 0 @ 694.65 702.77 c Restart #183 #Var: 6800 LB: 0 @ 702.41 710.72 c Restart #184 #Var: 6800 LB: 0 @ 710.36 718.63 c Restart #185 #Var: 6800 LB: 0 @ 718.26 726.37 c Restart #186 #Var: 6800 LB: 0 @ 726 734.26 c Restart #187 #Var: 6800 LB: 0 @ 733.89 742.52 c Restart #188 #Var: 6800 LB: 0 @ 742.14 750.91 c Restart #189 #Var: 6800 LB: 0 @ 750.53 759.06 c Restart #190 #Var: 6800 LB: 0 @ 758.68 766.72 c Restart #191 #Var: 6800 LB: 0 @ 766.33 774.96 c Restart #192 #Var: 6800 LB: 0 @ 774.57 783.02 c Restart #193 #Var: 6800 LB: 0 @ 782.62 791.17 c Restart #194 #Var: 6800 LB: 0 @ 790.78 799.42 c Restart #195 #Var: 6800 LB: 0 @ 799.02 807.55 c Restart #196 #Var: 6800 LB: 0 @ 807.15 815.87 c Restart #197 #Var: 6800 LB: 0 @ 815.46 824.18 c Restart #198 #Var: 6800 LB: 0 @ 823.77 832.59 c Restart #199 #Var: 6800 LB: 0 @ 832.18 841.35 c Restart #200 #Var: 6800 LB: 0 @ 840.94 850.27 c Restart #201 #Var: 6800 LB: 0 @ 849.85 858.94 c Restart #202 #Var: 6800 LB: 0 @ 858.52 867.65 c Restart #203 #Var: 6800 LB: 0 @ 867.23 876.49 c Restart #204 #Var: 6800 LB: 0 @ 876.07 885.32 c Restart #205 #Var: 6800 LB: 0 @ 884.89 894.51 c Restart #206 #Var: 6800 LB: 0 @ 894.08 903.48 c CHANGE Heuristic... 903.48 c Restart #0 #Var: 6800 LB: 0 @ 903.05 903.55 c Restart #1 #Var: 6800 LB: 0 @ 903.11 903.66 c Restart #2 #Var: 6800 LB: 0 @ 903.22 903.79 c Restart #3 #Var: 6800 LB: 0 @ 903.36 903.98 c Restart #4 #Var: 6800 LB: 0 @ 903.54 904.20 c Restart #5 #Var: 6800 LB: 0 @ 903.76 904.47 c Restart #6 #Var: 6800 LB: 0 @ 904.03 904.79 c Restart #7 #Var: 6800 LB: 0 @ 904.35 905.14 c Restart #8 #Var: 6800 LB: 0 @ 904.7 905.53 c Restart #9 #Var: 6800 LB: 0 @ 905.09 905.96 c Restart #10 #Var: 6800 LB: 0 @ 905.52 906.44 c Restart #11 #Var: 6800 LB: 0 @ 906 906.95 c Restart #12 #Var: 6800 LB: 0 @ 906.51 907.51 c Restart #13 #Var: 6800 LB: 0 @ 907.07 908.14 c Restart #14 #Var: 6800 LB: 0 @ 907.7 908.77 c Restart #15 #Var: 6800 LB: 0 @ 908.33 909.46 c Restart #16 #Var: 6800 LB: 0 @ 909.02 910.21 c Restart #17 #Var: 6800 LB: 0 @ 909.77 910.98 c Restart #18 #Var: 6800 LB: 0 @ 910.54 911.80 c Restart #19 #Var: 6800 LB: 0 @ 911.36 912.67 c Restart #20 #Var: 6800 LB: 0 @ 912.23 913.60 c Restart #21 #Var: 6800 LB: 0 @ 913.15 914.55 c Restart #22 #Var: 6800 LB: 0 @ 914.1 915.54 c Restart #23 #Var: 6800 LB: 0 @ 915.1 916.57 c Restart #24 #Var: 6800 LB: 0 @ 916.13 917.65 c Restart #25 #Var: 6800 LB: 0 @ 917.2 918.89 c Restart #26 #Var: 6800 LB: 0 @ 918.45 920.17 c Restart #27 #Var: 6800 LB: 0 @ 919.72 921.38 c Restart #28 #Var: 6800 LB: 0 @ 920.94 922.61 c Restart #29 #Var: 6800 LB: 0 @ 922.16 923.87 c Restart #30 #Var: 6800 LB: 0 @ 923.43 925.24 c Restart #31 #Var: 6800 LB: 0 @ 924.79 926.60 c Restart #32 #Var: 6800 LB: 0 @ 926.16 928.03 c Restart #33 #Var: 6800 LB: 0 @ 927.58 929.48 c Restart #34 #Var: 6800 LB: 0 @ 929.04 930.97 c Restart #35 #Var: 6800 LB: 0 @ 930.52 932.53 c Restart #36 #Var: 6800 LB: 0 @ 932.08 934.11 c Restart #37 #Var: 6800 LB: 0 @ 933.66 935.77 c Restart #38 #Var: 6800 LB: 0 @ 935.32 937.47 c Restart #39 #Var: 6800 LB: 0 @ 937.02 939.17 c Restart #40 #Var: 6800 LB: 0 @ 938.72 940.91 c Restart #41 #Var: 6800 LB: 0 @ 940.45 942.72 c Restart #42 #Var: 6800 LB: 0 @ 942.27 944.89 c Restart #43 #Var: 6800 LB: 0 @ 944.44 946.81 c Restart #44 #Var: 6800 LB: 0 @ 946.35 948.71 c Restart #45 #Var: 6800 LB: 0 @ 948.25 950.68 c Restart #46 #Var: 6800 LB: 0 @ 950.23 952.66 c Restart #47 #Var: 6800 LB: 0 @ 952.2 954.63 c Restart #48 #Var: 6800 LB: 0 @ 954.17 956.64 c Restart #49 #Var: 6800 LB: 0 @ 956.18 958.70 c Restart #50 #Var: 6800 LB: 0 @ 958.24 960.81 c Restart #51 #Var: 6800 LB: 0 @ 960.35 962.98 c Restart #52 #Var: 6800 LB: 0 @ 962.52 965.18 c Restart #53 #Var: 6800 LB: 0 @ 964.72 967.47 c Restart #54 #Var: 6800 LB: 0 @ 967.01 969.79 c Restart #55 #Var: 6800 LB: 0 @ 969.33 972.14 c Restart #56 #Var: 6800 LB: 0 @ 971.68 974.56 c Restart #57 #Var: 6800 LB: 0 @ 974.1 976.94 c Restart #58 #Var: 6800 LB: 0 @ 976.48 979.39 c Restart #59 #Var: 6800 LB: 0 @ 978.93 981.91 c Restart #60 #Var: 6800 LB: 0 @ 981.44 984.45 c Restart #61 #Var: 6800 LB: 0 @ 983.98 987.01 c Restart #62 #Var: 6800 LB: 0 @ 986.54 989.56 c Restart #63 #Var: 6800 LB: 0 @ 989.09 992.26 c Restart #64 #Var: 6800 LB: 0 @ 991.79 994.98 c Restart #65 #Var: 6800 LB: 0 @ 994.51 997.80 c Restart #66 #Var: 6800 LB: 0 @ 997.33 1000.62 c Restart #67 #Var: 6800 LB: 0 @ 1000.1 1003.55 c Restart #68 #Var: 6800 LB: 0 @ 1003.1 1006.44 c Restart #69 #Var: 6800 LB: 0 @ 1006 1009.31 c Restart #70 #Var: 6800 LB: 0 @ 1008.8 1012.25 c Restart #71 #Var: 6800 LB: 0 @ 1011.8 1015.23 c Restart #72 #Var: 6800 LB: 0 @ 1014.7 1018.30 c Restart #73 #Var: 6800 LB: 0 @ 1017.8 1021.45 c Restart #74 #Var: 6800 LB: 0 @ 1021 1024.54 c Restart #75 #Var: 6800 LB: 0 @ 1024.1 1027.71 c Restart #76 #Var: 6800 LB: 0 @ 1027.2 1030.92 c Restart #77 #Var: 6800 LB: 0 @ 1030.4 1034.22 c Restart #78 #Var: 6800 LB: 0 @ 1033.7 1037.57 c Restart #79 #Var: 6800 LB: 0 @ 1037.1 1040.85 c Restart #80 #Var: 6800 LB: 0 @ 1040.4 1044.23 c Restart #81 #Var: 6800 LB: 0 @ 1043.7 1047.65 c Restart #82 #Var: 6800 LB: 0 @ 1047.2 1051.07 c Restart #83 #Var: 6800 LB: 0 @ 1050.6 1054.59 c Restart #84 #Var: 6800 LB: 0 @ 1054.1 1058.16 c Restart #85 #Var: 6800 LB: 0 @ 1057.7 1061.72 c Restart #86 #Var: 6800 LB: 0 @ 1061.2 1065.42 c Restart #87 #Var: 6800 LB: 0 @ 1064.9 1069.00 c Restart #88 #Var: 6800 LB: 0 @ 1068.5 1072.68 c Restart #89 #Var: 6800 LB: 0 @ 1072.2 1076.45 c Restart #90 #Var: 6800 LB: 0 @ 1075.9 1080.16 c Restart #91 #Var: 6800 LB: 0 @ 1079.7 1083.98 c Restart #92 #Var: 6800 LB: 0 @ 1083.5 1087.80 c Restart #93 #Var: 6800 LB: 0 @ 1087.3 1091.73 c Restart #94 #Var: 6800 LB: 0 @ 1091.2 1095.62 c Restart #95 #Var: 6800 LB: 0 @ 1095.1 1099.62 c Restart #96 #Var: 6800 LB: 0 @ 1099.1 1103.65 c Restart #97 #Var: 6800 LB: 0 @ 1103.1 1107.66 c Restart #98 #Var: 6800 LB: 0 @ 1107.1 1111.83 c Restart #99 #Var: 6800 LB: 0 @ 1111.3 1116.00 c Restart #100 #Var: 6800 LB: 0 @ 1115.5 1120.27 c Restart #101 #Var: 6800 LB: 0 @ 1119.8 1124.47 c Restart #102 #Var: 6800 LB: 0 @ 1123.9 1128.52 c Restart #103 #Var: 6800 LB: 0 @ 1128 1132.87 c Restart #104 #Var: 6800 LB: 0 @ 1132.3 1137.27 c Restart #105 #Var: 6800 LB: 0 @ 1136.7 1141.64 c Restart #106 #Var: 6800 LB: 0 @ 1141.1 1146.01 c Restart #107 #Var: 6800 LB: 0 @ 1145.4 1150.35 c Restart #108 #Var: 6800 LB: 0 @ 1149.8 1154.97 c Restart #109 #Var: 6800 LB: 0 @ 1154.4 1159.50 c Restart #110 #Var: 6800 LB: 0 @ 1158.9 1164.01 c Restart #111 #Var: 6800 LB: 0 @ 1163.4 1168.67 c Restart #112 #Var: 6800 LB: 0 @ 1168.1 1173.37 c Restart #113 #Var: 6800 LB: 0 @ 1172.8 1178.22 c Restart #114 #Var: 6800 LB: 0 @ 1177.6 1183.11 c Restart #115 #Var: 6800 LB: 0 @ 1182.5 1187.90 c Restart #116 #Var: 6800 LB: 0 @ 1187.3 1192.75 c Restart #117 #Var: 6800 LB: 0 @ 1192.1 1197.74 c Restart #118 #Var: 6800 LB: 0 @ 1197.1 1202.62 c Restart #119 #Var: 6800 LB: 0 @ 1202 1207.50 c Restart #120 #Var: 6800 LB: 0 @ 1206.9 1212.57 c Restart #121 #Var: 6800 LB: 0 @ 1212 1217.63 c Restart #122 #Var: 6800 LB: 0 @ 1217 1222.80 c Restart #123 #Var: 6800 LB: 0 @ 1222.2 1227.82 c Restart #124 #Var: 6800 LB: 0 @ 1227.2 1233.08 c Restart #125 #Var: 6800 LB: 0 @ 1232.5 1238.43 c Restart #126 #Var: 6800 LB: 0 @ 1237.8 1243.73 c Restart #127 #Var: 6800 LB: 0 @ 1243.1 1248.91 c Restart #128 #Var: 6800 LB: 0 @ 1248.3 1254.29 c Restart #129 #Var: 6800 LB: 0 @ 1253.7 1259.78 c Restart #130 #Var: 6800 LB: 0 @ 1259.1 1265.06 c Restart #131 #Var: 6800 LB: 0 @ 1264.4 1270.54 c Restart #132 #Var: 6800 LB: 0 @ 1269.9 1276.07 c Restart #133 #Var: 6800 LB: 0 @ 1275.4 1281.65 c Restart #134 #Var: 6800 LB: 0 @ 1281 1287.30 c Restart #135 #Var: 6800 LB: 0 @ 1286.7 1293.07 c Restart #136 #Var: 6800 LB: 0 @ 1292.4 1298.94 c Restart #137 #Var: 6800 LB: 0 @ 1298.3 1304.97 c Restart #138 #Var: 6800 LB: 0 @ 1304.3 1311.14 c Restart #139 #Var: 6800 LB: 0 @ 1310.5 1317.27 c Restart #140 #Var: 6800 LB: 0 @ 1316.6 1323.18 c Restart #141 #Var: 6800 LB: 0 @ 1322.5 1329.34 c Restart #142 #Var: 6800 LB: 0 @ 1328.7 1335.35 c Restart #143 #Var: 6800 LB: 0 @ 1334.7 1341.55 c Restart #144 #Var: 6800 LB: 0 @ 1340.9 1347.77 c Restart #145 #Var: 6800 LB: 0 @ 1347.1 1354.23 c Restart #146 #Var: 6800 LB: 0 @ 1353.6 1360.72 c Restart #147 #Var: 6800 LB: 0 @ 1360 1367.31 c Restart #148 #Var: 6800 LB: 0 @ 1366.6 1373.96 c Restart #149 #Var: 6800 LB: 0 @ 1373.3 1380.37 c Restart #150 #Var: 6800 LB: 0 @ 1379.7 1386.77 c Restart #151 #Var: 6800 LB: 0 @ 1386.1 1393.29 c Restart #152 #Var: 6800 LB: 0 @ 1392.6 1399.88 c Restart #153 #Var: 6800 LB: 0 @ 1399.2 1406.52 c Restart #154 #Var: 6800 LB: 0 @ 1405.8 1413.48 c Restart #155 #Var: 6800 LB: 0 @ 1412.8 1420.38 c Restart #156 #Var: 6800 LB: 0 @ 1419.7 1427.16 c Restart #157 #Var: 6800 LB: 0 @ 1426.5 1434.04 c Restart #158 #Var: 6800 LB: 0 @ 1433.3 1440.79 c Restart #159 #Var: 6800 LB: 0 @ 1440.1 1447.63 c Restart #160 #Var: 6800 LB: 0 @ 1446.9 1454.74 c Restart #161 #Var: 6800 LB: 0 @ 1454 1461.66 c Restart #162 #Var: 6800 LB: 0 @ 1461 1468.68 c Restart #163 #Var: 6800 LB: 0 @ 1468 1476.17 c Restart #164 #Var: 6800 LB: 0 @ 1475.5 1483.56 c Restart #165 #Var: 6800 LB: 0 @ 1482.8 1490.59 c Restart #166 #Var: 6800 LB: 0 @ 1489.9 1498.09 c Restart #167 #Var: 6800 LB: 0 @ 1497.4 1505.38 c Restart #168 #Var: 6800 LB: 0 @ 1504.7 1512.89 c Restart #169 #Var: 6800 LB: 0 @ 1512.2 1520.23 c Restart #170 #Var: 6800 LB: 0 @ 1519.5 1527.65 c Restart #171 #Var: 6800 LB: 0 @ 1526.9 1535.15 c Restart #172 #Var: 6800 LB: 0 @ 1534.4 1542.62 c Restart #173 #Var: 6800 LB: 0 @ 1541.9 1550.05 c Restart #174 #Var: 6800 LB: 0 @ 1549.3 1557.86 c Restart #175 #Var: 6800 LB: 0 @ 1557.1 1565.48 c Restart #176 #Var: 6800 LB: 0 @ 1564.7 1573.30 c Restart #177 #Var: 6800 LB: 0 @ 1572.6 1581.21 c Restart #178 #Var: 6800 LB: 0 @ 1580.5 1589.07 c Restart #179 #Var: 6800 LB: 0 @ 1588.3 1597.04 c Restart #180 #Var: 6800 LB: 0 @ 1596.3 1604.95 c Restart #181 #Var: 6800 LB: 0 @ 1604.2 1612.98 c Restart #182 #Var: 6800 LB: 0 @ 1612.2 1621.39 c Restart #183 #Var: 6800 LB: 0 @ 1620.6 1629.23 c Restart #184 #Var: 6800 LB: 0 @ 1628.5 1637.22 c Restart #185 #Var: 6800 LB: 0 @ 1636.4 1645.38 c Restart #186 #Var: 6800 LB: 0 @ 1644.6 1653.51 c Restart #187 #Var: 6800 LB: 0 @ 1652.7 1661.70 c Restart #188 #Var: 6800 LB: 0 @ 1660.9 1669.90 c Restart #189 #Var: 6800 LB: 0 @ 1669.1 1678.24 c Restart #190 #Var: 6800 LB: 0 @ 1677.4 1686.61 c Restart #191 #Var: 6800 LB: 0 @ 1685.8 1694.76 c Restart #192 #Var: 6800 LB: 0 @ 1694 1703.22 c Restart #193 #Var: 6800 LB: 0 @ 1702.4 1711.49 c Restart #194 #Var: 6800 LB: 0 @ 1710.7 1719.88 c Restart #195 #Var: 6800 LB: 0 @ 1719.1 1728.02 c Restart #196 #Var: 6800 LB: 0 @ 1727.2 1736.17 c Restart #197 #Var: 6800 LB: 0 @ 1735.4 1744.47 c Restart #198 #Var: 6800 LB: 0 @ 1743.7 1752.82 c Restart #199 #Var: 6800 LB: 0 @ 1752 1761.34 c Restart #200 #Var: 6800 LB: 0 @ 1760.5 1769.84 c Restart #201 #Var: 6800 LB: 0 @ 1769 1778.55 c Restart #202 #Var: 6800 LB: 0 @ 1777.7 1787.57 c Restart #203 #Var: 6800 LB: 0 @ 1786.7 1796.58 c Restart #204 #Var: 6800 LB: 0 @ 1795.7 1800.83 s UNKNOWN 1800.83 c Exit Code: 0 1800.83 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/node1/watcher-46261-1154058138 -o ROOT/results/node1/solver-46261-1154058138 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node1/46261-1154058138/instance-46261-1154058138.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.99 0.98 0.99 2/64 16171 /proc/meminfo: memFree=1567640/2055920 swapFree=4183100/4192956 [pid=16171] ppid=16169 vsize=4664 CPUtime=0 /proc/16171/stat : 16171 (bsolo) R 16169 16171 16122 0 -1 0 122 0 0 0 0 0 0 0 19 0 1 0 152675449 4775936 104 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 5792960 0 0 4096 0 0 0 0 17 1 0 0 /proc/16171/statm: 1166 113 94 55 0 46 0 [startup+10.0019 s] /proc/loadavg: 0.99 0.98 0.99 2/64 16171 /proc/meminfo: memFree=1559968/2055920 swapFree=4183100/4192956 [pid=16171] ppid=16169 vsize=12152 CPUtime=9.89 /proc/16171/stat : 16171 (bsolo) R 16169 16171 16122 0 -1 0 2305 0 0 0 985 4 0 0 25 0 1 0 152675449 12443648 2187 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16171/statm: 3038 2187 296 55 0 1930 0 Current children cumulated CPU time (s) 9.89 Current children cumulated vsize (Kb) 12152 [startup+20.0079 s] /proc/loadavg: 0.99 0.98 0.99 2/64 16171 /proc/meminfo: memFree=1559904/2055920 swapFree=4183100/4192956 [pid=16171] ppid=16169 vsize=12304 CPUtime=19.89 /proc/16171/stat : 16171 (bsolo) R 16169 16171 16122 0 -1 0 2331 0 0 0 1983 6 0 0 25 0 1 0 152675449 12599296 2213 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16171/statm: 3076 2213 296 55 0 1968 0 Current children cumulated CPU time (s) 19.89 Current children cumulated vsize (Kb) 12304 [startup+30.0139 s] /proc/loadavg: 0.99 0.98 0.99 2/64 16171 /proc/meminfo: memFree=1559776/2055920 swapFree=4183100/4192956 [pid=16171] ppid=16169 vsize=12348 CPUtime=29.89 /proc/16171/stat : 16171 (bsolo) R 16169 16171 16122 0 -1 0 2362 0 0 0 2980 9 0 0 25 0 1 0 152675449 12644352 2236 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548389 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16171/statm: 3087 2236 296 55 0 1979 0 Current children cumulated CPU time (s) 29.89 Current children cumulated vsize (Kb) 12348 [startup+40.0198 s] /proc/loadavg: 0.99 0.98 0.99 2/64 16171 /proc/meminfo: memFree=1559776/2055920 swapFree=4183100/4192956 [pid=16171] ppid=16169 vsize=12348 CPUtime=39.89 /proc/16171/stat : 16171 (bsolo) R 16169 16171 16122 0 -1 0 2362 0 0 0 3978 11 0 0 25 0 1 0 152675449 12644352 2236 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16171/statm: 3087 2236 296 55 0 1979 0 Current children cumulated CPU time (s) 39.89 Current children cumulated vsize (Kb) 12348 [startup+50.0258 s] /proc/loadavg: 0.99 0.98 0.99 2/64 16171 /proc/meminfo: memFree=1559776/2055920 swapFree=4183100/4192956 [pid=16171] ppid=16169 vsize=12348 CPUtime=49.9 /proc/16171/stat : 16171 (bsolo) R 16169 16171 16122 0 -1 0 2362 0 0 0 4976 14 0 0 25 0 1 0 152675449 12644352 2236 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603679 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16171/statm: 3087 2236 296 55 0 1979 0 Current children cumulated CPU time (s) 49.9 Current children cumulated vsize (Kb) 12348 [startup+60.0318 s] /proc/loadavg: 0.99 0.98 0.99 2/64 16171 /proc/meminfo: memFree=1559840/2055920 swapFree=4183100/4192956 [pid=16171] ppid=16169 vsize=12348 CPUtime=59.9 /proc/16171/stat : 16171 (bsolo) R 16169 16171 16122 0 -1 0 2362 0 0 0 5974 16 0 0 25 0 1 0 152675449 12644352 2236 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16171/statm: 3087 2236 296 55 0 1979 0 Current children cumulated CPU time (s) 59.9 Current children cumulated vsize (Kb) 12348 [startup+70.0378 s] /proc/loadavg: 0.99 0.98 0.99 2/64 16171 /proc/meminfo: memFree=1559840/2055920 swapFree=4183100/4192956 [pid=16171] ppid=16169 vsize=12348 CPUtime=69.9 /proc/16171/stat : 16171 (bsolo) R 16169 16171 16122 0 -1 0 2362 0 0 0 6972 18 0 0 25 0 1 0 152675449 12644352 2236 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548379 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16171/statm: 3087 2236 296 55 0 1979 0 Current children cumulated CPU time (s) 69.9 Current children cumulated vsize (Kb) 12348 [startup+80.0437 s] /proc/loadavg: 0.99 0.98 0.99 2/64 16171 /proc/meminfo: memFree=1559840/2055920 swapFree=4183100/4192956 [pid=16171] ppid=16169 vsize=12348 CPUtime=79.9 /proc/16171/stat : 16171 (bsolo) R 16169 16171 16122 0 -1 0 2362 0 0 0 7970 20 0 0 25 0 1 0 152675449 12644352 2236 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603863 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16171/statm: 3087 2236 296 55 0 1979 0 Current children cumulated CPU time (s) 79.9 Current children cumulated vsize (Kb) 12348 [startup+90.0497 s] /proc/loadavg: 0.99 0.98 0.99 2/64 16171 /proc/meminfo: memFree=1559776/2055920 swapFree=4183100/4192956 [pid=16171] ppid=16169 vsize=12348 CPUtime=89.9 /proc/16171/stat : 16171 (bsolo) R 16169 16171 16122 0 -1 0 2362 0 0 0 8968 22 0 0 25 0 1 0 152675449 12644352 2236 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16171/statm: 3087 2236 296 55 0 1979 0 Current children cumulated CPU time (s) 89.9 Current children cumulated vsize (Kb) 12348 [startup+100.056 s] /proc/loadavg: 0.99 0.98 0.99 2/64 16171 /proc/meminfo: memFree=1559776/2055920 swapFree=4183100/4192956 [pid=16171] ppid=16169 vsize=12348 CPUtime=99.9 /proc/16171/stat : 16171 (bsolo) R 16169 16171 16122 0 -1 0 2362 0 0 0 9966 24 0 0 25 0 1 0 152675449 12644352 2236 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16171/statm: 3087 2236 296 55 0 1979 0 Current children cumulated CPU time (s) 99.9 Current children cumulated vsize (Kb) 12348 [startup+110.063 s] /proc/loadavg: 0.99 0.98 0.99 2/64 16171 /proc/meminfo: memFree=1559776/2055920 swapFree=4183100/4192956 [pid=16171] ppid=16169 vsize=12348 CPUtime=109.91 /proc/16171/stat : 16171 (bsolo) R 16169 16171 16122 0 -1 0 2362 0 0 0 10965 26 0 0 25 0 1 0 152675449 12644352 2236 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607302 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16171/statm: 3087 2236 296 55 0 1979 0 Current children cumulated CPU time (s) 109.91 Current children cumulated vsize (Kb) 12348 [startup+120.07 s] /proc/loadavg: 0.99 0.98 0.99 2/64 16171 /proc/meminfo: memFree=1559776/2055920 swapFree=4183100/4192956 [pid=16171] ppid=16169 vsize=12348 CPUtime=119.92 /proc/16171/stat : 16171 (bsolo) R 16169 16171 16122 0 -1 0 2362 0 0 0 11963 29 0 0 25 0 1 0 152675449 12644352 2236 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16171/statm: 3087 2236 296 55 0 1979 0 Current children cumulated CPU time (s) 119.92 Current children cumulated vsize (Kb) 12348 [startup+130.076 s] /proc/loadavg: 0.99 0.98 0.99 2/64 16171 /proc/meminfo: memFree=1559840/2055920 swapFree=4183100/4192956 [pid=16171] ppid=16169 vsize=12348 CPUtime=129.92 /proc/16171/stat : 16171 (bsolo) R 16169 16171 16122 0 -1 0 2362 0 0 0 12960 32 0 0 25 0 1 0 152675449 12644352 2236 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16171/statm: 3087 2236 296 55 0 1979 0 Current children cumulated CPU time (s) 129.92 Current children cumulated vsize (Kb) 12348 [startup+140.083 s] /proc/loadavg: 0.99 0.98 0.99 2/64 16171 /proc/meminfo: memFree=1559840/2055920 swapFree=4183100/4192956 [pid=16171] ppid=16169 vsize=12348 CPUtime=139.92 /proc/16171/stat : 16171 (bsolo) R 16169 16171 16122 0 -1 0 2362 0 0 0 13958 34 0 0 25 0 1 0 152675449 12644352 2236 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16171/statm: 3087 2236 296 55 0 1979 0 Current children cumulated CPU time (s) 139.92 Current children cumulated vsize (Kb) 12348 [startup+150.089 s] /proc/loadavg: 0.99 0.98 0.99 2/64 16171 /proc/meminfo: memFree=1559840/2055920 swapFree=4183100/4192956 [pid=16171] ppid=16169 vsize=12348 CPUtime=149.93 /proc/16171/stat : 16171 (bsolo) R 16169 16171 16122 0 -1 0 2362 0 0 0 14956 37 0 0 25 0 1 0 152675449 12644352 2236 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16171/statm: 3087 2236 296 55 0 1979 0 Current children cumulated CPU time (s) 149.93 Current children cumulated vsize (Kb) 12348 [startup+160.095 s] /proc/loadavg: 0.99 0.98 0.99 2/64 16171 /proc/meminfo: memFree=1559776/2055920 swapFree=4183100/4192956 [pid=16171] ppid=16169 vsize=12348 CPUtime=159.92 /proc/16171/stat : 16171 (bsolo) R 16169 16171 16122 0 -1 0 2362 0 0 0 15953 39 0 0 25 0 1 0 152675449 12644352 2236 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16171/statm: 3087 2236 296 55 0 1979 0 Current children cumulated CPU time (s) 159.92 Current children cumulated vsize (Kb) 12348 [startup+170.101 s] /proc/loadavg: 0.99 0.98 0.99 2/64 16171 /proc/meminfo: memFree=1559776/2055920 swapFree=4183100/4192956 [pid=16171] ppid=16169 vsize=12348 CPUtime=169.93 /proc/16171/stat : 16171 (bsolo) R 16169 16171 16122 0 -1 0 2362 0 0 0 16952 41 0 0 25 0 1 0 152675449 12644352 2236 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16171/statm: 3087 2236 296 55 0 1979 0 Current children cumulated CPU time (s) 169.93 Current children cumulated vsize (Kb) 12348 [startup+180.108 s] /proc/loadavg: 0.99 0.98 0.99 2/64 16171 /proc/meminfo: memFree=1559776/2055920 swapFree=4183100/4192956 [pid=16171] ppid=16169 vsize=12348 CPUtime=179.93 /proc/16171/stat : 16171 (bsolo) R 16169 16171 16122 0 -1 0 2362 0 0 0 17950 43 0 0 25 0 1 0 152675449 12644352 2236 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16171/statm: 3087 2236 296 55 0 1979 0 Current children cumulated CPU time (s) 179.93 Current children cumulated vsize (Kb) 12348 [startup+190.114 s] /proc/loadavg: 0.99 0.98 0.99 2/64 16171 /proc/meminfo: memFree=1559776/2055920 swapFree=4183100/4192956 [pid=16171] ppid=16169 vsize=12348 CPUtime=189.93 /proc/16171/stat : 16171 (bsolo) R 16169 16171 16122 0 -1 0 2362 0 0 0 18947 46 0 0 25 0 1 0 152675449 12644352 2236 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16171/statm: 3087 2236 296 55 0 1979 0 Current children cumulated CPU time (s) 189.93 Current children cumulated vsize (Kb) 12348 [startup+200.12 s] /proc/loadavg: 0.99 0.98 0.99 2/64 16171 /proc/meminfo: memFree=1559776/2055920 swapFree=4183100/4192956 [pid=16171] ppid=16169 vsize=12348 CPUtime=199.93 /proc/16171/stat : 16171 (bsolo) R 16169 16171 16122 0 -1 0 2362 0 0 0 19944 49 0 0 25 0 1 0 152675449 12644352 2236 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16171/statm: 3087 2236 296 55 0 1979 0 Current children cumulated CPU time (s) 199.93 Current children cumulated vsize (Kb) 12348 [startup+210.126 s] /proc/loadavg: 0.99 0.98 0.99 2/64 16171 ################ # More data... # ################ Current children cumulated CPU time (s) 1760.25 Current children cumulated vsize (Kb) 12484 [startup+1771.09 s] /proc/loadavg: 0.99 0.98 0.99 2/64 16369 /proc/meminfo: memFree=1559520/2055920 swapFree=4183100/4192956 [pid=16171] ppid=16169 vsize=12484 CPUtime=1770.25 /proc/16171/stat : 16171 (bsolo) R 16169 16171 16122 0 -1 0 2397 0 0 0 176615 410 0 0 25 0 1 0 152675449 12783616 2267 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16171/statm: 3121 2267 296 55 0 2013 0 Current children cumulated CPU time (s) 1770.25 Current children cumulated vsize (Kb) 12484 [startup+1781.09 s] /proc/loadavg: 0.99 0.98 0.99 2/64 16369 /proc/meminfo: memFree=1559520/2055920 swapFree=4183100/4192956 [pid=16171] ppid=16169 vsize=12484 CPUtime=1780.26 /proc/16171/stat : 16171 (bsolo) R 16169 16171 16122 0 -1 0 2397 0 0 0 177613 413 0 0 25 0 1 0 152675449 12783616 2267 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524314 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16171/statm: 3121 2267 296 55 0 2013 0 Current children cumulated CPU time (s) 1780.26 Current children cumulated vsize (Kb) 12484 [startup+1782.1 s] /proc/loadavg: 0.99 0.98 0.99 2/64 16369 /proc/meminfo: memFree=1559520/2055920 swapFree=4183100/4192956 [pid=16171] ppid=16169 vsize=12484 CPUtime=1781.26 /proc/16171/stat : 16171 (bsolo) R 16169 16171 16122 0 -1 0 2397 0 0 0 177713 413 0 0 25 0 1 0 152675449 12783616 2267 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16171/statm: 3121 2267 296 55 0 2013 0 Current children cumulated CPU time (s) 1781.26 Current children cumulated vsize (Kb) 12484 [startup+1783.1 s] /proc/loadavg: 0.99 0.98 0.99 2/64 16369 /proc/meminfo: memFree=1559520/2055920 swapFree=4183100/4192956 [pid=16171] ppid=16169 vsize=12484 CPUtime=1782.27 /proc/16171/stat : 16171 (bsolo) R 16169 16171 16122 0 -1 0 2397 0 0 0 177813 414 0 0 25 0 1 0 152675449 12783616 2267 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16171/statm: 3121 2267 296 55 0 2013 0 Current children cumulated CPU time (s) 1782.27 Current children cumulated vsize (Kb) 12484 [startup+1784.11 s] /proc/loadavg: 0.99 0.98 0.99 2/64 16369 /proc/meminfo: memFree=1559520/2055920 swapFree=4183100/4192956 [pid=16171] ppid=16169 vsize=12484 CPUtime=1783.27 /proc/16171/stat : 16171 (bsolo) R 16169 16171 16122 0 -1 0 2397 0 0 0 177913 414 0 0 25 0 1 0 152675449 12783616 2267 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16171/statm: 3121 2267 296 55 0 2013 0 Current children cumulated CPU time (s) 1783.27 Current children cumulated vsize (Kb) 12484 [startup+1785.11 s] /proc/loadavg: 0.99 0.98 0.99 2/64 16369 /proc/meminfo: memFree=1559520/2055920 swapFree=4183100/4192956 [pid=16171] ppid=16169 vsize=12484 CPUtime=1784.28 /proc/16171/stat : 16171 (bsolo) R 16169 16171 16122 0 -1 0 2397 0 0 0 178014 414 0 0 25 0 1 0 152675449 12783616 2267 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16171/statm: 3121 2267 296 55 0 2013 0 Current children cumulated CPU time (s) 1784.28 Current children cumulated vsize (Kb) 12484 [startup+1786.12 s] /proc/loadavg: 0.99 0.98 0.99 2/64 16369 /proc/meminfo: memFree=1559520/2055920 swapFree=4183100/4192956 [pid=16171] ppid=16169 vsize=12484 CPUtime=1785.28 /proc/16171/stat : 16171 (bsolo) R 16169 16171 16122 0 -1 0 2397 0 0 0 178114 414 0 0 25 0 1 0 152675449 12783616 2267 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16171/statm: 3121 2267 296 55 0 2013 0 Current children cumulated CPU time (s) 1785.28 Current children cumulated vsize (Kb) 12484 [startup+1787.12 s] /proc/loadavg: 0.99 0.98 0.99 2/64 16369 /proc/meminfo: memFree=1559520/2055920 swapFree=4183100/4192956 [pid=16171] ppid=16169 vsize=12484 CPUtime=1786.28 /proc/16171/stat : 16171 (bsolo) R 16169 16171 16122 0 -1 0 2397 0 0 0 178214 414 0 0 25 0 1 0 152675449 12783616 2267 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16171/statm: 3121 2267 296 55 0 2013 0 Current children cumulated CPU time (s) 1786.28 Current children cumulated vsize (Kb) 12484 [startup+1788.13 s] /proc/loadavg: 0.99 0.98 0.99 2/64 16369 /proc/meminfo: memFree=1559520/2055920 swapFree=4183100/4192956 [pid=16171] ppid=16169 vsize=12484 CPUtime=1787.29 /proc/16171/stat : 16171 (bsolo) R 16169 16171 16122 0 -1 0 2397 0 0 0 178315 414 0 0 25 0 1 0 152675449 12783616 2267 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16171/statm: 3121 2267 296 55 0 2013 0 Current children cumulated CPU time (s) 1787.29 Current children cumulated vsize (Kb) 12484 [startup+1789.13 s] /proc/loadavg: 0.99 0.98 0.99 2/64 16369 /proc/meminfo: memFree=1559520/2055920 swapFree=4183100/4192956 [pid=16171] ppid=16169 vsize=12484 CPUtime=1788.29 /proc/16171/stat : 16171 (bsolo) R 16169 16171 16122 0 -1 0 2397 0 0 0 178415 414 0 0 25 0 1 0 152675449 12783616 2267 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16171/statm: 3121 2267 296 55 0 2013 0 Current children cumulated CPU time (s) 1788.29 Current children cumulated vsize (Kb) 12484 [startup+1790.14 s] /proc/loadavg: 0.99 0.98 0.99 2/64 16369 /proc/meminfo: memFree=1559520/2055920 swapFree=4183100/4192956 [pid=16171] ppid=16169 vsize=12484 CPUtime=1789.3 /proc/16171/stat : 16171 (bsolo) R 16169 16171 16122 0 -1 0 2397 0 0 0 178516 414 0 0 25 0 1 0 152675449 12783616 2267 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16171/statm: 3121 2267 296 55 0 2013 0 Current children cumulated CPU time (s) 1789.3 Current children cumulated vsize (Kb) 12484 [startup+1791.14 s] /proc/loadavg: 0.99 0.98 0.99 2/64 16369 /proc/meminfo: memFree=1559520/2055920 swapFree=4183100/4192956 [pid=16171] ppid=16169 vsize=12484 CPUtime=1790.31 /proc/16171/stat : 16171 (bsolo) R 16169 16171 16122 0 -1 0 2397 0 0 0 178616 415 0 0 25 0 1 0 152675449 12783616 2267 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16171/statm: 3121 2267 296 55 0 2013 0 Current children cumulated CPU time (s) 1790.31 Current children cumulated vsize (Kb) 12484 [startup+1792.15 s] /proc/loadavg: 0.99 0.98 0.99 2/64 16369 /proc/meminfo: memFree=1559520/2055920 swapFree=4183100/4192956 [pid=16171] ppid=16169 vsize=12484 CPUtime=1791.31 /proc/16171/stat : 16171 (bsolo) R 16169 16171 16122 0 -1 0 2397 0 0 0 178716 415 0 0 25 0 1 0 152675449 12783616 2267 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548233 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16171/statm: 3121 2267 296 55 0 2013 0 Current children cumulated CPU time (s) 1791.31 Current children cumulated vsize (Kb) 12484 [startup+1793.15 s] /proc/loadavg: 0.99 0.98 0.99 2/64 16369 /proc/meminfo: memFree=1559520/2055920 swapFree=4183100/4192956 [pid=16171] ppid=16169 vsize=12484 CPUtime=1792.31 /proc/16171/stat : 16171 (bsolo) R 16169 16171 16122 0 -1 0 2397 0 0 0 178816 415 0 0 25 0 1 0 152675449 12783616 2267 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548230 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16171/statm: 3121 2267 296 55 0 2013 0 Current children cumulated CPU time (s) 1792.31 Current children cumulated vsize (Kb) 12484 [startup+1794.16 s] /proc/loadavg: 0.99 0.98 0.99 2/64 16369 /proc/meminfo: memFree=1559520/2055920 swapFree=4183100/4192956 [pid=16171] ppid=16169 vsize=12484 CPUtime=1793.31 /proc/16171/stat : 16171 (bsolo) R 16169 16171 16122 0 -1 0 2397 0 0 0 178916 415 0 0 25 0 1 0 152675449 12783616 2267 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16171/statm: 3121 2267 296 55 0 2013 0 Current children cumulated CPU time (s) 1793.31 Current children cumulated vsize (Kb) 12484 [startup+1795.16 s] /proc/loadavg: 0.99 0.98 0.99 2/64 16369 /proc/meminfo: memFree=1559520/2055920 swapFree=4183100/4192956 [pid=16171] ppid=16169 vsize=12484 CPUtime=1794.32 /proc/16171/stat : 16171 (bsolo) R 16169 16171 16122 0 -1 0 2397 0 0 0 179017 415 0 0 25 0 1 0 152675449 12783616 2267 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16171/statm: 3121 2267 296 55 0 2013 0 Current children cumulated CPU time (s) 1794.32 Current children cumulated vsize (Kb) 12484 [startup+1796.17 s] /proc/loadavg: 0.99 0.98 0.99 2/64 16369 /proc/meminfo: memFree=1559520/2055920 swapFree=4183100/4192956 [pid=16171] ppid=16169 vsize=12484 CPUtime=1795.33 /proc/16171/stat : 16171 (bsolo) R 16169 16171 16122 0 -1 0 2397 0 0 0 179117 416 0 0 25 0 1 0 152675449 12783616 2267 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134633157 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16171/statm: 3121 2267 296 55 0 2013 0 Current children cumulated CPU time (s) 1795.33 Current children cumulated vsize (Kb) 12484 [startup+1797.17 s] /proc/loadavg: 0.99 0.98 0.99 2/64 16369 /proc/meminfo: memFree=1559520/2055920 swapFree=4183100/4192956 [pid=16171] ppid=16169 vsize=12476 CPUtime=1796.33 /proc/16171/stat : 16171 (bsolo) R 16169 16171 16122 0 -1 0 2397 0 0 0 179217 416 0 0 25 0 1 0 152675449 12775424 2267 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16171/statm: 3119 2267 296 55 0 2011 0 Current children cumulated CPU time (s) 1796.33 Current children cumulated vsize (Kb) 12476 [startup+1798.18 s] /proc/loadavg: 0.99 0.98 0.99 2/64 16369 /proc/meminfo: memFree=1559520/2055920 swapFree=4183100/4192956 [pid=16171] ppid=16169 vsize=12476 CPUtime=1797.33 /proc/16171/stat : 16171 (bsolo) R 16169 16171 16122 0 -1 0 2397 0 0 0 179317 416 0 0 25 0 1 0 152675449 12775424 2267 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548230 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16171/statm: 3119 2267 296 55 0 2011 0 Current children cumulated CPU time (s) 1797.33 Current children cumulated vsize (Kb) 12476 [startup+1799.18 s] /proc/loadavg: 0.99 0.98 0.99 2/64 16369 /proc/meminfo: memFree=1559456/2055920 swapFree=4183100/4192956 [pid=16171] ppid=16169 vsize=12476 CPUtime=1798.34 /proc/16171/stat : 16171 (bsolo) R 16169 16171 16122 0 -1 0 2397 0 0 0 179417 417 0 0 25 0 1 0 152675449 12775424 2267 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16171/statm: 3119 2267 296 55 0 2011 0 Current children cumulated CPU time (s) 1798.34 Current children cumulated vsize (Kb) 12476 [startup+1800.19 s] /proc/loadavg: 0.99 0.98 0.99 2/64 16369 /proc/meminfo: memFree=1559456/2055920 swapFree=4183100/4192956 [pid=16171] ppid=16169 vsize=12476 CPUtime=1799.35 /proc/16171/stat : 16171 (bsolo) R 16169 16171 16122 0 -1 0 2397 0 0 0 179518 417 0 0 25 0 1 0 152675449 12775424 2267 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16171/statm: 3119 2267 296 55 0 2011 0 Current children cumulated CPU time (s) 1799.35 Current children cumulated vsize (Kb) 12476 Child status: 0 Real time (s): 1800.84 CPU time (s): 1800 CPU user time (s): 1795.83 CPU system time (s): 4.17537 CPU usage (%): 99.9535 Max. virtual memory (cumulated for all children) (Kb): 12600 The end
Begin job on node1 on Fri Jul 28 03:42:18 UTC 2006 FILE ID= 46261-1154058138 PBS_JOBID= 882120 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-85-80.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node1/46261-1154058138/instance-46261-1154058138.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node1/watcher-46261-1154058138 -o ROOT/results/node1/solver-46261-1154058138 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node1/46261-1154058138/instance-46261-1154058138.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= a4a494535709e59392e65403b829113d RANDOM SEED= 553539920 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.281 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.281 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: 1567784 kB Buffers: 33988 kB Cached: 394432 kB SwapCached: 3652 kB Active: 154504 kB Inactive: 282480 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1567784 kB SwapTotal: 4192956 kB SwapFree: 4183100 kB Dirty: 196 kB Writeback: 0 kB Mapped: 14596 kB Slab: 37140 kB Committed_AS: 634892 kB PageTables: 1464 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node1 on Fri Jul 28 04:12:19 UTC 2006