Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 2006/05 | ? | 1800 | 1800.74 |
Name | normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-81-80.opb |
MD5SUM | d887ec44be40cf432f8acabc52df2afa |
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.05499 |
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 | 6480 |
Total number of constraints | 161 |
Number of constraints which are clauses | 81 |
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 | 81 |
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 | 82 |
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.05 c Time Limit set via PBTIMEOUT to 1800 0.26 c INFO: OSL Context initialized. 0.33 c Initial problem consists of 6480 variables and 161 constraints. 0.34 c Using non-optimization problem switches. 0.34 c No problem reductions applied in OPT. instance. 0.34 c preprocess terminated. Elapsed time: 0.086 0.34 c After prepocess the problem consists of 6480 variables and 161 constraints. 0.48 c Restart #1 #Var: 6480 LB: 0 @ 0.226 0.60 c Restart #2 #Var: 6480 LB: 0 @ 0.348 0.76 c Restart #3 #Var: 6480 LB: 0 @ 0.502 0.94 c Restart #4 #Var: 6480 LB: 0 @ 0.686 1.15 c Restart #5 #Var: 6480 LB: 0 @ 0.898 1.40 c Restart #6 #Var: 6480 LB: 0 @ 1.145 1.68 c Restart #7 #Var: 6480 LB: 0 @ 1.43 2.01 c Restart #8 #Var: 6480 LB: 0 @ 1.757 2.38 c Restart #9 #Var: 6480 LB: 0 @ 2.127 2.78 c Restart #10 #Var: 6480 LB: 0 @ 2.529 3.23 c Restart #11 #Var: 6480 LB: 0 @ 2.974 3.71 c Restart #12 #Var: 6480 LB: 0 @ 3.45 4.23 c Restart #13 #Var: 6480 LB: 0 @ 3.978 4.79 c Restart #14 #Var: 6480 LB: 0 @ 4.535 5.38 c Restart #15 #Var: 6480 LB: 0 @ 5.128 6.03 c Restart #16 #Var: 6480 LB: 0 @ 5.776 6.71 c Restart #17 #Var: 6480 LB: 0 @ 6.453 7.43 c Restart #18 #Var: 6480 LB: 0 @ 7.168 8.19 c Restart #19 #Var: 6480 LB: 0 @ 7.928 8.96 c Restart #20 #Var: 6480 LB: 0 @ 8.706 9.80 c Restart #21 #Var: 6480 LB: 0 @ 9.543 10.73 c Restart #22 #Var: 6480 LB: 0 @ 10.474 11.74 c Restart #23 #Var: 6480 LB: 0 @ 11.476 12.77 c Restart #24 #Var: 6480 LB: 0 @ 12.508 13.86 c Restart #25 #Var: 6480 LB: 0 @ 13.597 15.85 c Restart #26 #Var: 6480 LB: 0 @ 15.585 18.45 c Restart #27 #Var: 6480 LB: 0 @ 18.188 20.32 c Restart #28 #Var: 6480 LB: 0 @ 20.057 21.51 c Restart #29 #Var: 6480 LB: 0 @ 21.25 22.75 c Restart #30 #Var: 6480 LB: 0 @ 22.489 24.04 c Restart #31 #Var: 6480 LB: 0 @ 23.772 25.37 c Restart #32 #Var: 6480 LB: 0 @ 25.102 26.78 c Restart #33 #Var: 6480 LB: 0 @ 26.513 28.24 c Restart #34 #Var: 6480 LB: 0 @ 27.977 29.74 c Restart #35 #Var: 6480 LB: 0 @ 29.476 31.25 c Restart #36 #Var: 6480 LB: 0 @ 30.979 32.78 c Restart #37 #Var: 6480 LB: 0 @ 32.513 34.36 c Restart #38 #Var: 6480 LB: 0 @ 34.095 36.03 c Restart #39 #Var: 6480 LB: 0 @ 35.763 37.70 c Restart #40 #Var: 6480 LB: 0 @ 37.428 39.35 c Restart #41 #Var: 6480 LB: 0 @ 39.084 41.07 c Restart #42 #Var: 6480 LB: 0 @ 40.805 42.84 c Restart #43 #Var: 6480 LB: 0 @ 42.568 44.65 c Restart #44 #Var: 6480 LB: 0 @ 44.377 46.50 c Restart #45 #Var: 6480 LB: 0 @ 46.233 48.38 c Restart #46 #Var: 6480 LB: 0 @ 48.113 50.35 c Restart #47 #Var: 6480 LB: 0 @ 50.08 52.34 c Restart #48 #Var: 6480 LB: 0 @ 52.07 54.37 c Restart #49 #Var: 6480 LB: 0 @ 54.093 56.40 c Restart #50 #Var: 6480 LB: 0 @ 56.125 58.47 c Restart #51 #Var: 6480 LB: 0 @ 58.195 60.58 c Restart #52 #Var: 6480 LB: 0 @ 60.308 62.85 c Restart #53 #Var: 6480 LB: 0 @ 62.574 65.17 c Restart #54 #Var: 6480 LB: 0 @ 64.89 67.44 c Restart #55 #Var: 6480 LB: 0 @ 67.168 69.77 c Restart #56 #Var: 6480 LB: 0 @ 69.489 72.08 c Restart #57 #Var: 6480 LB: 0 @ 71.806 74.51 c Restart #58 #Var: 6480 LB: 0 @ 74.231 76.93 c Restart #59 #Var: 6480 LB: 0 @ 76.651 79.45 c Restart #60 #Var: 6480 LB: 0 @ 79.167 82.00 c Restart #61 #Var: 6480 LB: 0 @ 81.717 84.57 c Restart #62 #Var: 6480 LB: 0 @ 84.286 87.12 c Restart #63 #Var: 6480 LB: 0 @ 86.834 89.77 c Restart #64 #Var: 6480 LB: 0 @ 89.493 92.50 c Restart #65 #Var: 6480 LB: 0 @ 92.219 95.29 c Restart #66 #Var: 6480 LB: 0 @ 95.009 98.04 c Restart #67 #Var: 6480 LB: 0 @ 97.755 100.81 c Restart #68 #Var: 6480 LB: 0 @ 100.52 103.64 c Restart #69 #Var: 6480 LB: 0 @ 103.36 106.52 c Restart #70 #Var: 6480 LB: 0 @ 106.23 109.53 c Restart #71 #Var: 6480 LB: 0 @ 109.24 112.38 c Restart #72 #Var: 6480 LB: 0 @ 112.09 115.32 c Restart #73 #Var: 6480 LB: 0 @ 115.03 118.26 c Restart #74 #Var: 6480 LB: 0 @ 117.97 121.25 c Restart #75 #Var: 6480 LB: 0 @ 120.96 124.26 c Restart #76 #Var: 6480 LB: 0 @ 123.97 127.50 c Restart #77 #Var: 6480 LB: 0 @ 127.21 130.68 c Restart #78 #Var: 6480 LB: 0 @ 130.39 133.89 c Restart #79 #Var: 6480 LB: 0 @ 133.59 137.00 c Restart #80 #Var: 6480 LB: 0 @ 136.71 140.31 c Restart #81 #Var: 6480 LB: 0 @ 140.01 143.71 c Restart #82 #Var: 6480 LB: 0 @ 143.41 147.03 c Restart #83 #Var: 6480 LB: 0 @ 146.73 150.43 c Restart #84 #Var: 6480 LB: 0 @ 150.13 153.74 c Restart #85 #Var: 6480 LB: 0 @ 153.44 157.21 c Restart #86 #Var: 6480 LB: 0 @ 156.91 160.78 c Restart #87 #Var: 6480 LB: 0 @ 160.48 164.39 c Restart #88 #Var: 6480 LB: 0 @ 164.09 167.97 c Restart #89 #Var: 6480 LB: 0 @ 167.67 171.65 c Restart #90 #Var: 6480 LB: 0 @ 171.35 175.38 c Restart #91 #Var: 6480 LB: 0 @ 175.07 179.14 c Restart #92 #Var: 6480 LB: 0 @ 178.84 182.81 c Restart #93 #Var: 6480 LB: 0 @ 182.5 186.72 c Restart #94 #Var: 6480 LB: 0 @ 186.41 190.58 c Restart #95 #Var: 6480 LB: 0 @ 190.27 194.27 c Restart #96 #Var: 6480 LB: 0 @ 193.96 198.05 c Restart #97 #Var: 6480 LB: 0 @ 197.74 201.83 c Restart #98 #Var: 6480 LB: 0 @ 201.52 205.80 c Restart #99 #Var: 6480 LB: 0 @ 205.49 209.78 c Restart #100 #Var: 6480 LB: 0 @ 209.47 213.72 c Restart #101 #Var: 6480 LB: 0 @ 213.4 217.70 c Restart #102 #Var: 6480 LB: 0 @ 217.38 221.88 c Restart #103 #Var: 6480 LB: 0 @ 221.56 226.00 c Restart #104 #Var: 6480 LB: 0 @ 225.68 230.03 c Restart #105 #Var: 6480 LB: 0 @ 229.72 234.10 c Restart #106 #Var: 6480 LB: 0 @ 233.78 238.19 c Restart #107 #Var: 6480 LB: 0 @ 237.87 242.40 c Restart #108 #Var: 6480 LB: 0 @ 242.08 246.68 c Restart #109 #Var: 6480 LB: 0 @ 246.36 251.08 c Restart #110 #Var: 6480 LB: 0 @ 250.75 255.33 c Restart #111 #Var: 6480 LB: 0 @ 255 259.62 c Restart #112 #Var: 6480 LB: 0 @ 259.3 264.01 c Restart #113 #Var: 6480 LB: 0 @ 263.68 268.56 c Restart #114 #Var: 6480 LB: 0 @ 268.23 273.18 c Restart #115 #Var: 6480 LB: 0 @ 272.85 277.60 c Restart #116 #Var: 6480 LB: 0 @ 277.27 282.21 c Restart #117 #Var: 6480 LB: 0 @ 281.88 286.83 c Restart #118 #Var: 6480 LB: 0 @ 286.5 291.73 c Restart #119 #Var: 6480 LB: 0 @ 291.39 296.45 c Restart #120 #Var: 6480 LB: 0 @ 296.12 301.09 c Restart #121 #Var: 6480 LB: 0 @ 300.75 305.83 c Restart #122 #Var: 6480 LB: 0 @ 305.5 310.64 c Restart #123 #Var: 6480 LB: 0 @ 310.3 315.61 c Restart #124 #Var: 6480 LB: 0 @ 315.27 320.41 c Restart #125 #Var: 6480 LB: 0 @ 320.07 325.37 c Restart #126 #Var: 6480 LB: 0 @ 325.03 330.37 c Restart #127 #Var: 6480 LB: 0 @ 330.02 335.36 c Restart #128 #Var: 6480 LB: 0 @ 335.02 340.48 c Restart #129 #Var: 6480 LB: 0 @ 340.13 345.61 c Restart #130 #Var: 6480 LB: 0 @ 345.26 350.82 c Restart #131 #Var: 6480 LB: 0 @ 350.47 356.16 c Restart #132 #Var: 6480 LB: 0 @ 355.81 361.61 c Restart #133 #Var: 6480 LB: 0 @ 361.26 367.06 c Restart #134 #Var: 6480 LB: 0 @ 366.71 372.52 c Restart #135 #Var: 6480 LB: 0 @ 372.16 378.04 c Restart #136 #Var: 6480 LB: 0 @ 377.69 383.78 c Restart #137 #Var: 6480 LB: 0 @ 383.42 389.47 c Restart #138 #Var: 6480 LB: 0 @ 389.11 395.24 c Restart #139 #Var: 6480 LB: 0 @ 394.88 400.83 c Restart #140 #Var: 6480 LB: 0 @ 400.47 406.47 c Restart #141 #Var: 6480 LB: 0 @ 406.11 412.27 c Restart #142 #Var: 6480 LB: 0 @ 411.9 418.18 c Restart #143 #Var: 6480 LB: 0 @ 417.81 424.10 c Restart #144 #Var: 6480 LB: 0 @ 423.73 430.25 c Restart #145 #Var: 6480 LB: 0 @ 429.88 436.29 c Restart #146 #Var: 6480 LB: 0 @ 435.92 442.33 c Restart #147 #Var: 6480 LB: 0 @ 441.95 448.57 c Restart #148 #Var: 6480 LB: 0 @ 448.2 454.79 c Restart #149 #Var: 6480 LB: 0 @ 454.41 460.94 c Restart #150 #Var: 6480 LB: 0 @ 460.56 467.16 c Restart #151 #Var: 6480 LB: 0 @ 466.78 473.55 c Restart #152 #Var: 6480 LB: 0 @ 473.17 479.84 c Restart #153 #Var: 6480 LB: 0 @ 479.46 486.12 c Restart #154 #Var: 6480 LB: 0 @ 485.74 492.24 c Restart #155 #Var: 6480 LB: 0 @ 491.85 498.60 c Restart #156 #Var: 6480 LB: 0 @ 498.21 505.16 c Restart #157 #Var: 6480 LB: 0 @ 504.77 511.72 c Restart #158 #Var: 6480 LB: 0 @ 511.33 518.21 c Restart #159 #Var: 6480 LB: 0 @ 517.81 524.86 c Restart #160 #Var: 6480 LB: 0 @ 524.46 531.58 c Restart #161 #Var: 6480 LB: 0 @ 531.18 538.10 c Restart #162 #Var: 6480 LB: 0 @ 537.7 544.68 c Restart #163 #Var: 6480 LB: 0 @ 544.28 551.55 c Restart #164 #Var: 6480 LB: 0 @ 551.15 558.44 c Restart #165 #Var: 6480 LB: 0 @ 558.04 565.33 c Restart #166 #Var: 6480 LB: 0 @ 564.92 572.35 c Restart #167 #Var: 6480 LB: 0 @ 571.94 578.99 c Restart #168 #Var: 6480 LB: 0 @ 578.58 585.82 c Restart #169 #Var: 6480 LB: 0 @ 585.41 592.77 c Restart #170 #Var: 6480 LB: 0 @ 592.35 599.54 c Restart #171 #Var: 6480 LB: 0 @ 599.13 606.32 c Restart #172 #Var: 6480 LB: 0 @ 605.9 613.25 c Restart #173 #Var: 6480 LB: 0 @ 612.83 620.00 c Restart #174 #Var: 6480 LB: 0 @ 619.58 627.00 c Restart #175 #Var: 6480 LB: 0 @ 626.58 633.97 c Restart #176 #Var: 6480 LB: 0 @ 633.54 641.03 c Restart #177 #Var: 6480 LB: 0 @ 640.61 648.08 c Restart #178 #Var: 6480 LB: 0 @ 647.65 655.15 c Restart #179 #Var: 6480 LB: 0 @ 654.72 662.25 c Restart #180 #Var: 6480 LB: 0 @ 661.82 669.56 c Restart #181 #Var: 6480 LB: 0 @ 669.13 677.04 c Restart #182 #Var: 6480 LB: 0 @ 676.6 684.37 c Restart #183 #Var: 6480 LB: 0 @ 683.93 691.75 c Restart #184 #Var: 6480 LB: 0 @ 691.31 699.05 c Restart #185 #Var: 6480 LB: 0 @ 698.61 706.78 c Restart #186 #Var: 6480 LB: 0 @ 706.34 714.24 c Restart #187 #Var: 6480 LB: 0 @ 713.79 721.92 c Restart #188 #Var: 6480 LB: 0 @ 721.47 729.58 c Restart #189 #Var: 6480 LB: 0 @ 729.14 737.11 c Restart #190 #Var: 6480 LB: 0 @ 736.66 745.08 c Restart #191 #Var: 6480 LB: 0 @ 744.63 752.60 c Restart #192 #Var: 6480 LB: 0 @ 752.14 760.41 c Restart #193 #Var: 6480 LB: 0 @ 759.96 768.20 c Restart #194 #Var: 6480 LB: 0 @ 767.74 776.04 c Restart #195 #Var: 6480 LB: 0 @ 775.58 783.92 c Restart #196 #Var: 6480 LB: 0 @ 783.46 791.80 c Restart #197 #Var: 6480 LB: 0 @ 791.34 799.68 c Restart #198 #Var: 6480 LB: 0 @ 799.22 807.92 c Restart #199 #Var: 6480 LB: 0 @ 807.45 816.18 c Restart #200 #Var: 6480 LB: 0 @ 815.71 824.28 c Restart #201 #Var: 6480 LB: 0 @ 823.81 832.98 c Restart #202 #Var: 6480 LB: 0 @ 832.51 841.54 c Restart #203 #Var: 6480 LB: 0 @ 841.06 850.46 c Restart #204 #Var: 6480 LB: 0 @ 849.98 859.10 c Restart #205 #Var: 6480 LB: 0 @ 858.62 867.54 c Restart #206 #Var: 6480 LB: 0 @ 867.05 876.07 c Restart #207 #Var: 6480 LB: 0 @ 875.58 884.40 c Restart #208 #Var: 6480 LB: 0 @ 883.91 892.98 c Restart #209 #Var: 6480 LB: 0 @ 892.49 901.49 c CHANGE Heuristic... 901.49 c Restart #0 #Var: 6480 LB: 0 @ 901 901.55 c Restart #1 #Var: 6480 LB: 0 @ 901.06 901.66 c Restart #2 #Var: 6480 LB: 0 @ 901.17 901.80 c Restart #3 #Var: 6480 LB: 0 @ 901.31 901.98 c Restart #4 #Var: 6480 LB: 0 @ 901.49 902.20 c Restart #5 #Var: 6480 LB: 0 @ 901.71 902.46 c Restart #6 #Var: 6480 LB: 0 @ 901.97 902.78 c Restart #7 #Var: 6480 LB: 0 @ 902.28 903.12 c Restart #8 #Var: 6480 LB: 0 @ 902.63 903.51 c Restart #9 #Var: 6480 LB: 0 @ 903.01 903.94 c Restart #10 #Var: 6480 LB: 0 @ 903.45 904.42 c Restart #11 #Var: 6480 LB: 0 @ 903.92 904.95 c Restart #12 #Var: 6480 LB: 0 @ 904.45 905.52 c Restart #13 #Var: 6480 LB: 0 @ 905.02 906.12 c Restart #14 #Var: 6480 LB: 0 @ 905.63 906.78 c Restart #15 #Var: 6480 LB: 0 @ 906.28 907.47 c Restart #16 #Var: 6480 LB: 0 @ 906.98 908.21 c Restart #17 #Var: 6480 LB: 0 @ 907.71 908.98 c Restart #18 #Var: 6480 LB: 0 @ 908.49 909.80 c Restart #19 #Var: 6480 LB: 0 @ 909.3 910.66 c Restart #20 #Var: 6480 LB: 0 @ 910.16 911.56 c Restart #21 #Var: 6480 LB: 0 @ 911.06 912.52 c Restart #22 #Var: 6480 LB: 0 @ 912.02 913.49 c Restart #23 #Var: 6480 LB: 0 @ 912.99 914.51 c Restart #24 #Var: 6480 LB: 0 @ 914.02 915.61 c Restart #25 #Var: 6480 LB: 0 @ 915.11 916.96 c Restart #26 #Var: 6480 LB: 0 @ 916.46 918.41 c Restart #27 #Var: 6480 LB: 0 @ 917.91 919.68 c Restart #28 #Var: 6480 LB: 0 @ 919.18 920.91 c Restart #29 #Var: 6480 LB: 0 @ 920.41 922.17 c Restart #30 #Var: 6480 LB: 0 @ 921.67 923.47 c Restart #31 #Var: 6480 LB: 0 @ 922.97 924.82 c Restart #32 #Var: 6480 LB: 0 @ 924.32 926.21 c Restart #33 #Var: 6480 LB: 0 @ 925.71 927.66 c Restart #34 #Var: 6480 LB: 0 @ 927.16 929.18 c Restart #35 #Var: 6480 LB: 0 @ 928.68 930.73 c Restart #36 #Var: 6480 LB: 0 @ 930.23 932.33 c Restart #37 #Var: 6480 LB: 0 @ 931.83 933.98 c Restart #38 #Var: 6480 LB: 0 @ 933.48 935.63 c Restart #39 #Var: 6480 LB: 0 @ 935.13 937.39 c Restart #40 #Var: 6480 LB: 0 @ 936.88 939.14 c Restart #41 #Var: 6480 LB: 0 @ 938.63 941.01 c Restart #42 #Var: 6480 LB: 0 @ 940.51 942.87 c Restart #43 #Var: 6480 LB: 0 @ 942.37 944.80 c Restart #44 #Var: 6480 LB: 0 @ 944.29 946.74 c Restart #45 #Var: 6480 LB: 0 @ 946.23 948.74 c Restart #46 #Var: 6480 LB: 0 @ 948.23 950.75 c Restart #47 #Var: 6480 LB: 0 @ 950.25 952.81 c Restart #48 #Var: 6480 LB: 0 @ 952.3 954.96 c Restart #49 #Var: 6480 LB: 0 @ 954.45 957.06 c Restart #50 #Var: 6480 LB: 0 @ 956.55 959.14 c Restart #51 #Var: 6480 LB: 0 @ 958.63 961.29 c Restart #52 #Var: 6480 LB: 0 @ 960.78 963.48 c Restart #53 #Var: 6480 LB: 0 @ 962.97 965.83 c Restart #54 #Var: 6480 LB: 0 @ 965.32 968.23 c Restart #55 #Var: 6480 LB: 0 @ 967.72 970.71 c Restart #56 #Var: 6480 LB: 0 @ 970.2 973.16 c Restart #57 #Var: 6480 LB: 0 @ 972.64 975.71 c Restart #58 #Var: 6480 LB: 0 @ 975.2 978.31 c Restart #59 #Var: 6480 LB: 0 @ 977.8 980.91 c Restart #60 #Var: 6480 LB: 0 @ 980.4 983.54 c Restart #61 #Var: 6480 LB: 0 @ 983.02 986.18 c Restart #62 #Var: 6480 LB: 0 @ 985.66 988.96 c Restart #63 #Var: 6480 LB: 0 @ 988.44 991.69 c Restart #64 #Var: 6480 LB: 0 @ 991.17 994.47 c Restart #65 #Var: 6480 LB: 0 @ 993.95 997.28 c Restart #66 #Var: 6480 LB: 0 @ 996.76 1000.04 c Restart #67 #Var: 6480 LB: 0 @ 999.52 1002.93 c Restart #68 #Var: 6480 LB: 0 @ 1002.4 1005.90 c Restart #69 #Var: 6480 LB: 0 @ 1005.4 1008.90 c Restart #70 #Var: 6480 LB: 0 @ 1008.4 1011.82 c Restart #71 #Var: 6480 LB: 0 @ 1011.3 1014.87 c Restart #72 #Var: 6480 LB: 0 @ 1014.4 1017.86 c Restart #73 #Var: 6480 LB: 0 @ 1017.3 1020.84 c Restart #74 #Var: 6480 LB: 0 @ 1020.3 1023.89 c Restart #75 #Var: 6480 LB: 0 @ 1023.4 1027.05 c Restart #76 #Var: 6480 LB: 0 @ 1026.5 1030.25 c Restart #77 #Var: 6480 LB: 0 @ 1029.7 1033.50 c Restart #78 #Var: 6480 LB: 0 @ 1033 1036.80 c Restart #79 #Var: 6480 LB: 0 @ 1036.3 1040.07 c Restart #80 #Var: 6480 LB: 0 @ 1039.5 1043.51 c Restart #81 #Var: 6480 LB: 0 @ 1043 1046.95 c Restart #82 #Var: 6480 LB: 0 @ 1046.4 1050.40 c Restart #83 #Var: 6480 LB: 0 @ 1049.9 1053.92 c Restart #84 #Var: 6480 LB: 0 @ 1053.4 1057.38 c Restart #85 #Var: 6480 LB: 0 @ 1056.8 1061.09 c Restart #86 #Var: 6480 LB: 0 @ 1060.6 1064.75 c Restart #87 #Var: 6480 LB: 0 @ 1064.2 1068.37 c Restart #88 #Var: 6480 LB: 0 @ 1067.8 1072.09 c Restart #89 #Var: 6480 LB: 0 @ 1071.5 1075.79 c Restart #90 #Var: 6480 LB: 0 @ 1075.2 1079.54 c Restart #91 #Var: 6480 LB: 0 @ 1079 1083.37 c Restart #92 #Var: 6480 LB: 0 @ 1082.8 1087.21 c Restart #93 #Var: 6480 LB: 0 @ 1086.7 1091.05 c Restart #94 #Var: 6480 LB: 0 @ 1090.5 1094.82 c Restart #95 #Var: 6480 LB: 0 @ 1094.3 1098.73 c Restart #96 #Var: 6480 LB: 0 @ 1098.2 1102.66 c Restart #97 #Var: 6480 LB: 0 @ 1102.1 1106.68 c Restart #98 #Var: 6480 LB: 0 @ 1106.1 1110.78 c Restart #99 #Var: 6480 LB: 0 @ 1110.2 1114.89 c Restart #100 #Var: 6480 LB: 0 @ 1114.3 1119.00 c Restart #101 #Var: 6480 LB: 0 @ 1118.5 1123.23 c Restart #102 #Var: 6480 LB: 0 @ 1122.7 1127.51 c Restart #103 #Var: 6480 LB: 0 @ 1127 1131.87 c Restart #104 #Var: 6480 LB: 0 @ 1131.3 1136.15 c Restart #105 #Var: 6480 LB: 0 @ 1135.6 1140.47 c Restart #106 #Var: 6480 LB: 0 @ 1139.9 1144.88 c Restart #107 #Var: 6480 LB: 0 @ 1144.3 1149.40 c Restart #108 #Var: 6480 LB: 0 @ 1148.8 1153.85 c Restart #109 #Var: 6480 LB: 0 @ 1153.3 1158.42 c Restart #110 #Var: 6480 LB: 0 @ 1157.9 1162.95 c Restart #111 #Var: 6480 LB: 0 @ 1162.4 1167.45 c Restart #112 #Var: 6480 LB: 0 @ 1166.9 1172.16 c Restart #113 #Var: 6480 LB: 0 @ 1171.6 1176.79 c Restart #114 #Var: 6480 LB: 0 @ 1176.2 1181.63 c Restart #115 #Var: 6480 LB: 0 @ 1181.1 1186.41 c Restart #116 #Var: 6480 LB: 0 @ 1185.8 1191.23 c Restart #117 #Var: 6480 LB: 0 @ 1190.7 1196.14 c Restart #118 #Var: 6480 LB: 0 @ 1195.6 1201.20 c Restart #119 #Var: 6480 LB: 0 @ 1200.6 1206.14 c Restart #120 #Var: 6480 LB: 0 @ 1205.6 1211.24 c Restart #121 #Var: 6480 LB: 0 @ 1210.7 1216.12 c Restart #122 #Var: 6480 LB: 0 @ 1215.5 1221.16 c Restart #123 #Var: 6480 LB: 0 @ 1220.6 1226.36 c Restart #124 #Var: 6480 LB: 0 @ 1225.8 1231.46 c Restart #125 #Var: 6480 LB: 0 @ 1230.9 1236.61 c Restart #126 #Var: 6480 LB: 0 @ 1236 1241.85 c Restart #127 #Var: 6480 LB: 0 @ 1241.3 1247.13 c Restart #128 #Var: 6480 LB: 0 @ 1246.5 1252.39 c Restart #129 #Var: 6480 LB: 0 @ 1251.8 1257.59 c Restart #130 #Var: 6480 LB: 0 @ 1257 1262.82 c Restart #131 #Var: 6480 LB: 0 @ 1262.2 1268.27 c Restart #132 #Var: 6480 LB: 0 @ 1267.7 1273.48 c Restart #133 #Var: 6480 LB: 0 @ 1272.9 1278.78 c Restart #134 #Var: 6480 LB: 0 @ 1278.2 1284.18 c Restart #135 #Var: 6480 LB: 0 @ 1283.6 1289.66 c Restart #136 #Var: 6480 LB: 0 @ 1289.1 1295.13 c Restart #137 #Var: 6480 LB: 0 @ 1294.5 1300.61 c Restart #138 #Var: 6480 LB: 0 @ 1300 1306.18 c Restart #139 #Var: 6480 LB: 0 @ 1305.6 1311.83 c Restart #140 #Var: 6480 LB: 0 @ 1311.2 1317.49 c Restart #141 #Var: 6480 LB: 0 @ 1316.9 1323.21 c Restart #142 #Var: 6480 LB: 0 @ 1322.6 1328.95 c Restart #143 #Var: 6480 LB: 0 @ 1328.3 1334.79 c Restart #144 #Var: 6480 LB: 0 @ 1334.2 1340.53 c Restart #145 #Var: 6480 LB: 0 @ 1339.9 1346.45 c Restart #146 #Var: 6480 LB: 0 @ 1345.8 1352.38 c Restart #147 #Var: 6480 LB: 0 @ 1351.8 1358.27 c Restart #148 #Var: 6480 LB: 0 @ 1357.7 1364.23 c Restart #149 #Var: 6480 LB: 0 @ 1363.6 1370.27 c Restart #150 #Var: 6480 LB: 0 @ 1369.7 1376.29 c Restart #151 #Var: 6480 LB: 0 @ 1375.7 1382.45 c Restart #152 #Var: 6480 LB: 0 @ 1381.8 1388.65 c Restart #153 #Var: 6480 LB: 0 @ 1388 1394.89 c Restart #154 #Var: 6480 LB: 0 @ 1394.3 1401.35 c Restart #155 #Var: 6480 LB: 0 @ 1400.7 1407.79 c Restart #156 #Var: 6480 LB: 0 @ 1407.2 1414.41 c Restart #157 #Var: 6480 LB: 0 @ 1413.8 1421.07 c Restart #158 #Var: 6480 LB: 0 @ 1420.4 1427.89 c Restart #159 #Var: 6480 LB: 0 @ 1427.3 1434.41 c Restart #160 #Var: 6480 LB: 0 @ 1433.8 1440.94 c Restart #161 #Var: 6480 LB: 0 @ 1440.3 1447.63 c Restart #162 #Var: 6480 LB: 0 @ 1447 1454.30 c Restart #163 #Var: 6480 LB: 0 @ 1453.7 1461.13 c Restart #164 #Var: 6480 LB: 0 @ 1460.5 1468.11 c Restart #165 #Var: 6480 LB: 0 @ 1467.5 1475.14 c Restart #166 #Var: 6480 LB: 0 @ 1474.5 1482.05 c Restart #167 #Var: 6480 LB: 0 @ 1481.4 1489.56 c Restart #168 #Var: 6480 LB: 0 @ 1488.9 1496.52 c Restart #169 #Var: 6480 LB: 0 @ 1495.9 1503.83 c Restart #170 #Var: 6480 LB: 0 @ 1503.2 1511.19 c Restart #171 #Var: 6480 LB: 0 @ 1510.5 1518.55 c Restart #172 #Var: 6480 LB: 0 @ 1517.9 1525.76 c Restart #173 #Var: 6480 LB: 0 @ 1525.1 1533.02 c Restart #174 #Var: 6480 LB: 0 @ 1532.4 1540.22 c Restart #175 #Var: 6480 LB: 0 @ 1539.6 1547.83 c Restart #176 #Var: 6480 LB: 0 @ 1547.2 1555.23 c Restart #177 #Var: 6480 LB: 0 @ 1554.6 1562.56 c Restart #178 #Var: 6480 LB: 0 @ 1561.9 1569.75 c Restart #179 #Var: 6480 LB: 0 @ 1569.1 1577.30 c Restart #180 #Var: 6480 LB: 0 @ 1576.6 1584.78 c Restart #181 #Var: 6480 LB: 0 @ 1584.1 1592.58 c Restart #182 #Var: 6480 LB: 0 @ 1591.9 1600.15 c Restart #183 #Var: 6480 LB: 0 @ 1599.5 1608.01 c Restart #184 #Var: 6480 LB: 0 @ 1607.3 1615.81 c Restart #185 #Var: 6480 LB: 0 @ 1615.1 1623.70 c Restart #186 #Var: 6480 LB: 0 @ 1623 1631.55 c Restart #187 #Var: 6480 LB: 0 @ 1630.9 1639.17 c Restart #188 #Var: 6480 LB: 0 @ 1638.5 1646.80 c Restart #189 #Var: 6480 LB: 0 @ 1646.1 1654.68 c Restart #190 #Var: 6480 LB: 0 @ 1654 1662.41 c Restart #191 #Var: 6480 LB: 0 @ 1661.7 1670.43 c Restart #192 #Var: 6480 LB: 0 @ 1669.7 1678.35 c Restart #193 #Var: 6480 LB: 0 @ 1677.7 1686.56 c Restart #194 #Var: 6480 LB: 0 @ 1685.9 1694.62 c Restart #195 #Var: 6480 LB: 0 @ 1693.9 1702.71 c Restart #196 #Var: 6480 LB: 0 @ 1702 1710.93 c Restart #197 #Var: 6480 LB: 0 @ 1710.2 1719.06 c Restart #198 #Var: 6480 LB: 0 @ 1718.4 1727.48 c Restart #199 #Var: 6480 LB: 0 @ 1726.8 1735.86 c Restart #200 #Var: 6480 LB: 0 @ 1735.2 1744.11 c Restart #201 #Var: 6480 LB: 0 @ 1743.4 1752.37 c Restart #202 #Var: 6480 LB: 0 @ 1751.7 1760.74 c Restart #203 #Var: 6480 LB: 0 @ 1760 1769.16 c Restart #204 #Var: 6480 LB: 0 @ 1768.4 1777.57 c Restart #205 #Var: 6480 LB: 0 @ 1776.9 1786.15 c Restart #206 #Var: 6480 LB: 0 @ 1785.4 1794.70 c Restart #207 #Var: 6480 LB: 0 @ 1794 1800.73 s UNKNOWN 1800.73 c Exit Code: 0 1800.73 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/node19/watcher-46269-1154061053 -o ROOT/results/node19/solver-46269-1154061053 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node19/46269-1154061053/instance-46269-1154061053.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.00 1.00 3/64 23862 /proc/meminfo: memFree=1537432/2055920 swapFree=4183080/4192956 [pid=23862] ppid=23860 vsize=436 CPUtime=0 /proc/23862/stat : 23862 (bsolo) R 23860 23862 23813 0 -1 0 39 0 0 0 0 0 0 0 19 0 1 0 152965741 446464 23 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 7484196 0 2147483391 4096 0 0 0 0 17 1 0 0 /proc/23862/statm: 109 23 18 55 0 18 0 [startup+10.0031 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23862 /proc/meminfo: memFree=1527640/2055920 swapFree=4183080/4192956 [pid=23862] ppid=23860 vsize=11848 CPUtime=9.73 /proc/23862/stat : 23862 (bsolo) R 23860 23862 23813 0 -1 0 2188 0 10 0 970 3 0 0 25 0 1 0 152965741 12132352 2112 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134524864 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23862/statm: 2962 2112 296 55 0 1854 0 Current children cumulated CPU time (s) 9.73 Current children cumulated vsize (Kb) 11848 [startup+20.0091 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23862 /proc/meminfo: memFree=1527704/2055920 swapFree=4183080/4192956 [pid=23862] ppid=23860 vsize=11896 CPUtime=19.74 /proc/23862/stat : 23862 (bsolo) R 23860 23862 23813 0 -1 0 2191 0 10 0 1969 5 0 0 25 0 1 0 152965741 12181504 2115 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23862/statm: 2974 2115 296 55 0 1866 0 Current children cumulated CPU time (s) 19.74 Current children cumulated vsize (Kb) 11896 [startup+30.0152 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23862 /proc/meminfo: memFree=1527704/2055920 swapFree=4183080/4192956 [pid=23862] ppid=23860 vsize=11952 CPUtime=29.74 /proc/23862/stat : 23862 (bsolo) R 23860 23862 23813 0 -1 0 2206 0 10 0 2967 7 0 0 25 0 1 0 152965741 12238848 2130 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23862/statm: 2988 2130 296 55 0 1880 0 Current children cumulated CPU time (s) 29.74 Current children cumulated vsize (Kb) 11952 [startup+40.0213 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23862 /proc/meminfo: memFree=1527704/2055920 swapFree=4183080/4192956 [pid=23862] ppid=23860 vsize=11940 CPUtime=39.8 /proc/23862/stat : 23862 (bsolo) R 23860 23862 23813 0 -1 0 2206 0 10 0 3970 10 0 0 25 0 1 0 152965741 12226560 2130 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23862/statm: 2985 2130 296 55 0 1877 0 Current children cumulated CPU time (s) 39.8 Current children cumulated vsize (Kb) 11940 [startup+50.0754 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23862 /proc/meminfo: memFree=1527768/2055920 swapFree=4183080/4192956 [pid=23862] ppid=23860 vsize=11940 CPUtime=49.8 /proc/23862/stat : 23862 (bsolo) R 23860 23862 23813 0 -1 0 2206 0 10 0 4968 12 0 0 25 0 1 0 152965741 12226560 2130 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23862/statm: 2985 2130 296 55 0 1877 0 Current children cumulated CPU time (s) 49.8 Current children cumulated vsize (Kb) 11940 [startup+60.0815 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23862 /proc/meminfo: memFree=1527768/2055920 swapFree=4183080/4192956 [pid=23862] ppid=23860 vsize=11940 CPUtime=59.8 /proc/23862/stat : 23862 (bsolo) R 23860 23862 23813 0 -1 0 2206 0 10 0 5966 14 0 0 25 0 1 0 152965741 12226560 2130 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23862/statm: 2985 2130 296 55 0 1877 0 Current children cumulated CPU time (s) 59.8 Current children cumulated vsize (Kb) 11940 [startup+70.0876 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23862 /proc/meminfo: memFree=1527768/2055920 swapFree=4183080/4192956 [pid=23862] ppid=23860 vsize=11940 CPUtime=69.8 /proc/23862/stat : 23862 (bsolo) R 23860 23862 23813 0 -1 0 2212 0 10 0 6965 15 0 0 25 0 1 0 152965741 12226560 2136 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23862/statm: 2985 2136 296 55 0 1877 0 Current children cumulated CPU time (s) 69.8 Current children cumulated vsize (Kb) 11940 [startup+80.0937 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23862 /proc/meminfo: memFree=1527832/2055920 swapFree=4183080/4192956 [pid=23862] ppid=23860 vsize=12028 CPUtime=79.81 /proc/23862/stat : 23862 (bsolo) R 23860 23862 23813 0 -1 0 2217 0 10 0 7963 18 0 0 25 0 1 0 152965741 12316672 2141 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23862/statm: 3007 2141 296 55 0 1899 0 Current children cumulated CPU time (s) 79.81 Current children cumulated vsize (Kb) 12028 [startup+90.0998 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23862 /proc/meminfo: memFree=1527832/2055920 swapFree=4183080/4192956 [pid=23862] ppid=23860 vsize=11996 CPUtime=89.81 /proc/23862/stat : 23862 (bsolo) R 23860 23862 23813 0 -1 0 2217 0 10 0 8961 20 0 0 25 0 1 0 152965741 12283904 2141 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134551565 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23862/statm: 2999 2141 296 55 0 1891 0 Current children cumulated CPU time (s) 89.81 Current children cumulated vsize (Kb) 11996 [startup+100.106 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23862 /proc/meminfo: memFree=1527832/2055920 swapFree=4183080/4192956 [pid=23862] ppid=23860 vsize=11984 CPUtime=99.81 /proc/23862/stat : 23862 (bsolo) R 23860 23862 23813 0 -1 0 2217 0 10 0 9960 21 0 0 25 0 1 0 152965741 12271616 2141 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23862/statm: 2996 2141 296 55 0 1888 0 Current children cumulated CPU time (s) 99.81 Current children cumulated vsize (Kb) 11984 [startup+110.112 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23862 /proc/meminfo: memFree=1527832/2055920 swapFree=4183080/4192956 [pid=23862] ppid=23860 vsize=11984 CPUtime=109.81 /proc/23862/stat : 23862 (bsolo) R 23860 23862 23813 0 -1 0 2217 0 10 0 10958 23 0 0 25 0 1 0 152965741 12271616 2141 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23862/statm: 2996 2141 296 55 0 1888 0 Current children cumulated CPU time (s) 109.81 Current children cumulated vsize (Kb) 11984 [startup+120.118 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23862 /proc/meminfo: memFree=1527832/2055920 swapFree=4183080/4192956 [pid=23862] ppid=23860 vsize=11984 CPUtime=119.82 /proc/23862/stat : 23862 (bsolo) R 23860 23862 23813 0 -1 0 2217 0 10 0 11957 25 0 0 25 0 1 0 152965741 12271616 2141 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23862/statm: 2996 2141 296 55 0 1888 0 Current children cumulated CPU time (s) 119.82 Current children cumulated vsize (Kb) 11984 [startup+130.124 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23862 /proc/meminfo: memFree=1527832/2055920 swapFree=4183080/4192956 [pid=23862] ppid=23860 vsize=11984 CPUtime=129.83 /proc/23862/stat : 23862 (bsolo) R 23860 23862 23813 0 -1 0 2217 0 10 0 12955 28 0 0 25 0 1 0 152965741 12271616 2141 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23862/statm: 2996 2141 296 55 0 1888 0 Current children cumulated CPU time (s) 129.83 Current children cumulated vsize (Kb) 11984 [startup+140.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23862 /proc/meminfo: memFree=1527832/2055920 swapFree=4183080/4192956 [pid=23862] ppid=23860 vsize=11984 CPUtime=139.83 /proc/23862/stat : 23862 (bsolo) R 23860 23862 23813 0 -1 0 2217 0 10 0 13953 30 0 0 25 0 1 0 152965741 12271616 2141 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23862/statm: 2996 2141 296 55 0 1888 0 Current children cumulated CPU time (s) 139.83 Current children cumulated vsize (Kb) 11984 [startup+150.136 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23862 /proc/meminfo: memFree=1527768/2055920 swapFree=4183080/4192956 [pid=23862] ppid=23860 vsize=12116 CPUtime=149.83 /proc/23862/stat : 23862 (bsolo) R 23860 23862 23813 0 -1 0 2224 0 10 0 14951 32 0 0 25 0 1 0 152965741 12406784 2148 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23862/statm: 3029 2148 296 55 0 1921 0 Current children cumulated CPU time (s) 149.83 Current children cumulated vsize (Kb) 12116 [startup+160.142 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23862 /proc/meminfo: memFree=1527768/2055920 swapFree=4183080/4192956 [pid=23862] ppid=23860 vsize=12092 CPUtime=159.84 /proc/23862/stat : 23862 (bsolo) R 23860 23862 23813 0 -1 0 2224 0 10 0 15949 35 0 0 25 0 1 0 152965741 12382208 2148 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23862/statm: 3023 2148 296 55 0 1915 0 Current children cumulated CPU time (s) 159.84 Current children cumulated vsize (Kb) 12092 [startup+170.149 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23862 /proc/meminfo: memFree=1527768/2055920 swapFree=4183080/4192956 [pid=23862] ppid=23860 vsize=12040 CPUtime=169.83 /proc/23862/stat : 23862 (bsolo) R 23860 23862 23813 0 -1 0 2224 0 10 0 16947 36 0 0 25 0 1 0 152965741 12328960 2148 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23862/statm: 3010 2148 296 55 0 1902 0 Current children cumulated CPU time (s) 169.83 Current children cumulated vsize (Kb) 12040 [startup+180.155 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23862 /proc/meminfo: memFree=1527768/2055920 swapFree=4183080/4192956 [pid=23862] ppid=23860 vsize=12040 CPUtime=179.84 /proc/23862/stat : 23862 (bsolo) R 23860 23862 23813 0 -1 0 2224 0 10 0 17945 39 0 0 25 0 1 0 152965741 12328960 2148 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23862/statm: 3010 2148 296 55 0 1902 0 Current children cumulated CPU time (s) 179.84 Current children cumulated vsize (Kb) 12040 [startup+190.161 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23862 /proc/meminfo: memFree=1527768/2055920 swapFree=4183080/4192956 [pid=23862] ppid=23860 vsize=12040 CPUtime=189.85 /proc/23862/stat : 23862 (bsolo) R 23860 23862 23813 0 -1 0 2224 0 10 0 18944 41 0 0 25 0 1 0 152965741 12328960 2148 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23862/statm: 3010 2148 296 55 0 1902 0 Current children cumulated CPU time (s) 189.85 Current children cumulated vsize (Kb) 12040 [startup+200.166 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23862 /proc/meminfo: memFree=1527768/2055920 swapFree=4183080/4192956 [pid=23862] ppid=23860 vsize=12040 CPUtime=199.85 /proc/23862/stat : 23862 (bsolo) R 23860 23862 23813 0 -1 0 2224 0 10 0 19941 44 0 0 25 0 1 0 152965741 12328960 2148 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23862/statm: 3010 2148 296 55 0 1902 0 Current children cumulated CPU time (s) 199.85 Current children cumulated vsize (Kb) 12040 [startup+210.172 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23862 ################ # More data... # ################ Current children cumulated CPU time (s) 1760.39 Current children cumulated vsize (Kb) 12196 [startup+1771.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23864 /proc/meminfo: memFree=1527448/2055920 swapFree=4183080/4192956 [pid=23862] ppid=23860 vsize=12196 CPUtime=1770.4 /proc/23862/stat : 23862 (bsolo) R 23860 23862 23813 0 -1 0 2296 0 10 0 176619 421 0 0 25 0 1 0 152965741 12488704 2200 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23862/statm: 3049 2200 296 55 0 1941 0 Current children cumulated CPU time (s) 1770.4 Current children cumulated vsize (Kb) 12196 [startup+1781.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23864 /proc/meminfo: memFree=1527448/2055920 swapFree=4183080/4192956 [pid=23862] ppid=23860 vsize=12196 CPUtime=1780.4 /proc/23862/stat : 23862 (bsolo) R 23860 23862 23813 0 -1 0 2296 0 10 0 177616 424 0 0 25 0 1 0 152965741 12488704 2200 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23862/statm: 3049 2200 296 55 0 1941 0 Current children cumulated CPU time (s) 1780.4 Current children cumulated vsize (Kb) 12196 [startup+1782.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23864 /proc/meminfo: memFree=1527448/2055920 swapFree=4183080/4192956 [pid=23862] ppid=23860 vsize=12196 CPUtime=1781.4 /proc/23862/stat : 23862 (bsolo) R 23860 23862 23813 0 -1 0 2296 0 10 0 177716 424 0 0 25 0 1 0 152965741 12488704 2200 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23862/statm: 3049 2200 296 55 0 1941 0 Current children cumulated CPU time (s) 1781.4 Current children cumulated vsize (Kb) 12196 [startup+1783.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23864 /proc/meminfo: memFree=1527448/2055920 swapFree=4183080/4192956 [pid=23862] ppid=23860 vsize=12196 CPUtime=1782.41 /proc/23862/stat : 23862 (bsolo) R 23860 23862 23813 0 -1 0 2296 0 10 0 177817 424 0 0 25 0 1 0 152965741 12488704 2200 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23862/statm: 3049 2200 296 55 0 1941 0 Current children cumulated CPU time (s) 1782.41 Current children cumulated vsize (Kb) 12196 [startup+1784.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23864 /proc/meminfo: memFree=1527448/2055920 swapFree=4183080/4192956 [pid=23862] ppid=23860 vsize=12196 CPUtime=1783.42 /proc/23862/stat : 23862 (bsolo) R 23860 23862 23813 0 -1 0 2296 0 10 0 177917 425 0 0 25 0 1 0 152965741 12488704 2200 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134542265 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23862/statm: 3049 2200 296 55 0 1941 0 Current children cumulated CPU time (s) 1783.42 Current children cumulated vsize (Kb) 12196 [startup+1785.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23864 /proc/meminfo: memFree=1527448/2055920 swapFree=4183080/4192956 [pid=23862] ppid=23860 vsize=12196 CPUtime=1784.42 /proc/23862/stat : 23862 (bsolo) R 23860 23862 23813 0 -1 0 2296 0 10 0 178017 425 0 0 25 0 1 0 152965741 12488704 2200 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23862/statm: 3049 2200 296 55 0 1941 0 Current children cumulated CPU time (s) 1784.42 Current children cumulated vsize (Kb) 12196 [startup+1786.16 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23864 /proc/meminfo: memFree=1527448/2055920 swapFree=4183080/4192956 [pid=23862] ppid=23860 vsize=12196 CPUtime=1785.42 /proc/23862/stat : 23862 (bsolo) R 23860 23862 23813 0 -1 0 2296 0 10 0 178117 425 0 0 25 0 1 0 152965741 12488704 2200 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23862/statm: 3049 2200 296 55 0 1941 0 Current children cumulated CPU time (s) 1785.42 Current children cumulated vsize (Kb) 12196 [startup+1787.16 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23864 /proc/meminfo: memFree=1527448/2055920 swapFree=4183080/4192956 [pid=23862] ppid=23860 vsize=12196 CPUtime=1786.43 /proc/23862/stat : 23862 (bsolo) R 23860 23862 23813 0 -1 0 2296 0 10 0 178218 425 0 0 25 0 1 0 152965741 12488704 2200 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23862/statm: 3049 2200 296 55 0 1941 0 Current children cumulated CPU time (s) 1786.43 Current children cumulated vsize (Kb) 12196 [startup+1788.17 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23864 /proc/meminfo: memFree=1527448/2055920 swapFree=4183080/4192956 [pid=23862] ppid=23860 vsize=12196 CPUtime=1787.43 /proc/23862/stat : 23862 (bsolo) R 23860 23862 23813 0 -1 0 2296 0 10 0 178318 425 0 0 25 0 1 0 152965741 12488704 2200 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23862/statm: 3049 2200 296 55 0 1941 0 Current children cumulated CPU time (s) 1787.43 Current children cumulated vsize (Kb) 12196 [startup+1789.17 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23864 /proc/meminfo: memFree=1527448/2055920 swapFree=4183080/4192956 [pid=23862] ppid=23860 vsize=12196 CPUtime=1788.44 /proc/23862/stat : 23862 (bsolo) R 23860 23862 23813 0 -1 0 2296 0 10 0 178418 426 0 0 25 0 1 0 152965741 12488704 2200 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23862/statm: 3049 2200 296 55 0 1941 0 Current children cumulated CPU time (s) 1788.44 Current children cumulated vsize (Kb) 12196 [startup+1790.18 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23864 /proc/meminfo: memFree=1527448/2055920 swapFree=4183080/4192956 [pid=23862] ppid=23860 vsize=12196 CPUtime=1789.44 /proc/23862/stat : 23862 (bsolo) R 23860 23862 23813 0 -1 0 2296 0 10 0 178518 426 0 0 25 0 1 0 152965741 12488704 2200 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23862/statm: 3049 2200 296 55 0 1941 0 Current children cumulated CPU time (s) 1789.44 Current children cumulated vsize (Kb) 12196 [startup+1791.18 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23864 /proc/meminfo: memFree=1527448/2055920 swapFree=4183080/4192956 [pid=23862] ppid=23860 vsize=12196 CPUtime=1790.44 /proc/23862/stat : 23862 (bsolo) R 23860 23862 23813 0 -1 0 2296 0 10 0 178618 426 0 0 25 0 1 0 152965741 12488704 2200 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23862/statm: 3049 2200 296 55 0 1941 0 Current children cumulated CPU time (s) 1790.44 Current children cumulated vsize (Kb) 12196 [startup+1792.18 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23864 /proc/meminfo: memFree=1527448/2055920 swapFree=4183080/4192956 [pid=23862] ppid=23860 vsize=12196 CPUtime=1791.45 /proc/23862/stat : 23862 (bsolo) R 23860 23862 23813 0 -1 0 2296 0 10 0 178718 427 0 0 25 0 1 0 152965741 12488704 2200 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134633166 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23862/statm: 3049 2200 296 55 0 1941 0 Current children cumulated CPU time (s) 1791.45 Current children cumulated vsize (Kb) 12196 [startup+1793.19 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23864 /proc/meminfo: memFree=1527448/2055920 swapFree=4183080/4192956 [pid=23862] ppid=23860 vsize=12196 CPUtime=1792.45 /proc/23862/stat : 23862 (bsolo) R 23860 23862 23813 0 -1 0 2296 0 10 0 178818 427 0 0 25 0 1 0 152965741 12488704 2200 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548382 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23862/statm: 3049 2200 296 55 0 1941 0 Current children cumulated CPU time (s) 1792.45 Current children cumulated vsize (Kb) 12196 [startup+1794.19 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23864 /proc/meminfo: memFree=1527448/2055920 swapFree=4183080/4192956 [pid=23862] ppid=23860 vsize=12196 CPUtime=1793.45 /proc/23862/stat : 23862 (bsolo) R 23860 23862 23813 0 -1 0 2296 0 10 0 178918 427 0 0 25 0 1 0 152965741 12488704 2200 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23862/statm: 3049 2200 296 55 0 1941 0 Current children cumulated CPU time (s) 1793.45 Current children cumulated vsize (Kb) 12196 [startup+1795.2 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23864 /proc/meminfo: memFree=1527448/2055920 swapFree=4183080/4192956 [pid=23862] ppid=23860 vsize=12196 CPUtime=1794.47 /proc/23862/stat : 23862 (bsolo) R 23860 23862 23813 0 -1 0 2296 0 10 0 179019 428 0 0 25 0 1 0 152965741 12488704 2200 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23862/statm: 3049 2200 296 55 0 1941 0 Current children cumulated CPU time (s) 1794.47 Current children cumulated vsize (Kb) 12196 [startup+1796.2 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23864 /proc/meminfo: memFree=1527448/2055920 swapFree=4183080/4192956 [pid=23862] ppid=23860 vsize=12196 CPUtime=1795.47 /proc/23862/stat : 23862 (bsolo) R 23860 23862 23813 0 -1 0 2296 0 10 0 179119 428 0 0 25 0 1 0 152965741 12488704 2200 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134557726 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23862/statm: 3049 2200 296 55 0 1941 0 Current children cumulated CPU time (s) 1795.47 Current children cumulated vsize (Kb) 12196 [startup+1797.21 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23864 /proc/meminfo: memFree=1527448/2055920 swapFree=4183080/4192956 [pid=23862] ppid=23860 vsize=12196 CPUtime=1796.47 /proc/23862/stat : 23862 (bsolo) R 23860 23862 23813 0 -1 0 2296 0 10 0 179219 428 0 0 25 0 1 0 152965741 12488704 2200 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23862/statm: 3049 2200 296 55 0 1941 0 Current children cumulated CPU time (s) 1796.47 Current children cumulated vsize (Kb) 12196 [startup+1798.21 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23864 /proc/meminfo: memFree=1527448/2055920 swapFree=4183080/4192956 [pid=23862] ppid=23860 vsize=12196 CPUtime=1797.48 /proc/23862/stat : 23862 (bsolo) R 23860 23862 23813 0 -1 0 2296 0 10 0 179319 429 0 0 25 0 1 0 152965741 12488704 2200 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23862/statm: 3049 2200 296 55 0 1941 0 Current children cumulated CPU time (s) 1797.48 Current children cumulated vsize (Kb) 12196 [startup+1799.22 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23864 /proc/meminfo: memFree=1527448/2055920 swapFree=4183080/4192956 [pid=23862] ppid=23860 vsize=12196 CPUtime=1798.48 /proc/23862/stat : 23862 (bsolo) R 23860 23862 23813 0 -1 0 2296 0 10 0 179419 429 0 0 25 0 1 0 152965741 12488704 2200 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23862/statm: 3049 2200 296 55 0 1941 0 Current children cumulated CPU time (s) 1798.48 Current children cumulated vsize (Kb) 12196 [startup+1800.22 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23864 /proc/meminfo: memFree=1527448/2055920 swapFree=4183080/4192956 [pid=23862] ppid=23860 vsize=12196 CPUtime=1799.49 /proc/23862/stat : 23862 (bsolo) R 23860 23862 23813 0 -1 0 2296 0 10 0 179520 429 0 0 25 0 1 0 152965741 12488704 2200 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23862/statm: 3049 2200 296 55 0 1941 0 Current children cumulated CPU time (s) 1799.49 Current children cumulated vsize (Kb) 12196 Child status: 0 Real time (s): 1800.74 CPU time (s): 1800 CPU user time (s): 1795.71 CPU system time (s): 4.29635 CPU usage (%): 99.9593 Max. virtual memory (cumulated for all children) (Kb): 12260 The end
Begin job on node19 on Fri Jul 28 04:30:53 UTC 2006 FILE ID= 46269-1154061053 PBS_JOBID= 882224 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-81-80.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node19/46269-1154061053/instance-46269-1154061053.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node19/watcher-46269-1154061053 -o ROOT/results/node19/solver-46269-1154061053 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node19/46269-1154061053/instance-46269-1154061053.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= d887ec44be40cf432f8acabc52df2afa RANDOM SEED= 859110614 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.233 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.233 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: 1537640 kB Buffers: 20136 kB Cached: 440272 kB SwapCached: 3556 kB Active: 40180 kB Inactive: 428728 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1537640 kB SwapTotal: 4192956 kB SwapFree: 4183080 kB Dirty: 196 kB Writeback: 0 kB Mapped: 14508 kB Slab: 35388 kB Committed_AS: 721860 kB PageTables: 1484 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node19 on Fri Jul 28 05:00:53 UTC 2006