Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 2006/05 | ? | 1800 | 1800.72 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl40_41_pb.cnf.cr.opb |
MD5SUM | 0beb8de972e873a7bfc16369cb81d469 |
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.025996 |
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 | 3280 |
Total number of constraints | 162 |
Number of constraints which are clauses | 82 |
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 | 40 |
Maximum length of a constraint | 41 |
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 | 42 |
Number of bits of the biggest sum of numbers | 6 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c Time Limit set via PBTIMEOUT to 1800 0.04 c INFO: OSL Context initialized. 0.08 c Initial problem consists of 3280 variables and 162 constraints. 0.08 c Using non-optimization problem switches. 0.08 c No problem reductions applied in OPT. instance. 0.08 c preprocess terminated. Elapsed time: 0.045 0.08 c After prepocess the problem consists of 3280 variables and 162 constraints. 0.13 c Restart #1 #Var: 3280 LB: 0 @ 0.091 0.17 c Restart #2 #Var: 3280 LB: 0 @ 0.137 0.25 c Restart #3 #Var: 3280 LB: 0 @ 0.217 0.35 c Restart #4 #Var: 3280 LB: 0 @ 0.317 0.48 c Restart #5 #Var: 3280 LB: 0 @ 0.447 0.63 c Restart #6 #Var: 3280 LB: 0 @ 0.594 0.83 c Restart #7 #Var: 3280 LB: 0 @ 0.791 1.05 c Restart #8 #Var: 3280 LB: 0 @ 1.011 1.29 c Restart #9 #Var: 3280 LB: 0 @ 1.257 1.57 c Restart #10 #Var: 3280 LB: 0 @ 1.534 1.88 c Restart #11 #Var: 3280 LB: 0 @ 1.842 2.21 c Restart #12 #Var: 3280 LB: 0 @ 2.169 2.56 c Restart #13 #Var: 3280 LB: 0 @ 2.523 2.94 c Restart #14 #Var: 3280 LB: 0 @ 2.9 3.35 c Restart #15 #Var: 3280 LB: 0 @ 3.31 3.79 c Restart #16 #Var: 3280 LB: 0 @ 3.751 4.24 c Restart #17 #Var: 3280 LB: 0 @ 4.199 4.71 c Restart #18 #Var: 3280 LB: 0 @ 4.673 5.23 c Restart #19 #Var: 3280 LB: 0 @ 5.195 5.77 c Restart #20 #Var: 3280 LB: 0 @ 5.731 6.37 c Restart #21 #Var: 3280 LB: 0 @ 6.33 7.01 c Restart #22 #Var: 3280 LB: 0 @ 6.971 7.65 c Restart #23 #Var: 3280 LB: 0 @ 7.611 8.34 c Restart #24 #Var: 3280 LB: 0 @ 8.305 9.09 c Restart #25 #Var: 3280 LB: 0 @ 9.047 10.22 c Restart #26 #Var: 3280 LB: 0 @ 10.176 11.61 c Restart #27 #Var: 3280 LB: 0 @ 11.565 12.76 c Restart #28 #Var: 3280 LB: 0 @ 12.714 13.66 c Restart #29 #Var: 3280 LB: 0 @ 13.619 14.60 c Restart #30 #Var: 3280 LB: 0 @ 14.558 15.61 c Restart #31 #Var: 3280 LB: 0 @ 15.568 16.64 c Restart #32 #Var: 3280 LB: 0 @ 16.59 17.66 c Restart #33 #Var: 3280 LB: 0 @ 17.618 18.69 c Restart #34 #Var: 3280 LB: 0 @ 18.645 19.75 c Restart #35 #Var: 3280 LB: 0 @ 19.708 20.92 c Restart #36 #Var: 3280 LB: 0 @ 20.874 22.04 c Restart #37 #Var: 3280 LB: 0 @ 21.994 23.25 c Restart #38 #Var: 3280 LB: 0 @ 23.202 24.54 c Restart #39 #Var: 3280 LB: 0 @ 24.493 25.85 c Restart #40 #Var: 3280 LB: 0 @ 25.805 27.23 c Restart #41 #Var: 3280 LB: 0 @ 27.184 28.59 c Restart #42 #Var: 3280 LB: 0 @ 28.534 30.09 c Restart #43 #Var: 3280 LB: 0 @ 30.036 31.49 c Restart #44 #Var: 3280 LB: 0 @ 31.439 33.01 c Restart #45 #Var: 3280 LB: 0 @ 32.961 34.49 c Restart #46 #Var: 3280 LB: 0 @ 34.433 36.04 c Restart #47 #Var: 3280 LB: 0 @ 35.983 37.62 c Restart #48 #Var: 3280 LB: 0 @ 37.564 39.20 c Restart #49 #Var: 3280 LB: 0 @ 39.143 40.76 c Restart #50 #Var: 3280 LB: 0 @ 40.703 42.29 c Restart #51 #Var: 3280 LB: 0 @ 42.23 43.94 c Restart #52 #Var: 3280 LB: 0 @ 43.889 45.70 c Restart #53 #Var: 3280 LB: 0 @ 45.644 47.42 c Restart #54 #Var: 3280 LB: 0 @ 47.367 49.06 c Restart #55 #Var: 3280 LB: 0 @ 49 50.78 c Restart #56 #Var: 3280 LB: 0 @ 50.726 52.51 c Restart #57 #Var: 3280 LB: 0 @ 52.455 54.31 c Restart #58 #Var: 3280 LB: 0 @ 54.246 56.10 c Restart #59 #Var: 3280 LB: 0 @ 56.041 57.93 c Restart #60 #Var: 3280 LB: 0 @ 57.873 59.75 c Restart #61 #Var: 3280 LB: 0 @ 59.69 61.74 c Restart #62 #Var: 3280 LB: 0 @ 61.682 63.62 c Restart #63 #Var: 3280 LB: 0 @ 63.553 65.60 c Restart #64 #Var: 3280 LB: 0 @ 65.536 67.62 c Restart #65 #Var: 3280 LB: 0 @ 67.557 69.72 c Restart #66 #Var: 3280 LB: 0 @ 69.653 71.86 c Restart #67 #Var: 3280 LB: 0 @ 71.794 74.05 c Restart #68 #Var: 3280 LB: 0 @ 73.983 76.30 c Restart #69 #Var: 3280 LB: 0 @ 76.236 78.66 c Restart #70 #Var: 3280 LB: 0 @ 78.591 80.82 c Restart #71 #Var: 3280 LB: 0 @ 80.747 83.21 c Restart #72 #Var: 3280 LB: 0 @ 83.142 85.45 c Restart #73 #Var: 3280 LB: 0 @ 85.378 87.83 c Restart #74 #Var: 3280 LB: 0 @ 87.757 90.36 c Restart #75 #Var: 3280 LB: 0 @ 90.283 92.83 c Restart #76 #Var: 3280 LB: 0 @ 92.758 95.34 c Restart #77 #Var: 3280 LB: 0 @ 95.263 98.06 c Restart #78 #Var: 3280 LB: 0 @ 97.989 100.56 c Restart #79 #Var: 3280 LB: 0 @ 100.48 103.04 c Restart #80 #Var: 3280 LB: 0 @ 102.97 105.66 c Restart #81 #Var: 3280 LB: 0 @ 105.58 108.38 c Restart #82 #Var: 3280 LB: 0 @ 108.3 111.18 c Restart #83 #Var: 3280 LB: 0 @ 111.1 114.06 c Restart #84 #Var: 3280 LB: 0 @ 113.97 116.94 c Restart #85 #Var: 3280 LB: 0 @ 116.86 119.81 c Restart #86 #Var: 3280 LB: 0 @ 119.72 122.78 c Restart #87 #Var: 3280 LB: 0 @ 122.69 125.69 c Restart #88 #Var: 3280 LB: 0 @ 125.61 128.65 c Restart #89 #Var: 3280 LB: 0 @ 128.56 131.64 c Restart #90 #Var: 3280 LB: 0 @ 131.55 134.41 c Restart #91 #Var: 3280 LB: 0 @ 134.32 137.50 c Restart #92 #Var: 3280 LB: 0 @ 137.41 140.63 c Restart #93 #Var: 3280 LB: 0 @ 140.54 143.72 c Restart #94 #Var: 3280 LB: 0 @ 143.63 146.95 c Restart #95 #Var: 3280 LB: 0 @ 146.86 150.20 c Restart #96 #Var: 3280 LB: 0 @ 150.11 153.43 c Restart #97 #Var: 3280 LB: 0 @ 153.34 156.80 c Restart #98 #Var: 3280 LB: 0 @ 156.7 160.28 c Restart #99 #Var: 3280 LB: 0 @ 160.18 163.83 c Restart #100 #Var: 3280 LB: 0 @ 163.73 167.58 c Restart #101 #Var: 3280 LB: 0 @ 167.48 171.22 c Restart #102 #Var: 3280 LB: 0 @ 171.12 174.92 c Restart #103 #Var: 3280 LB: 0 @ 174.82 178.79 c Restart #104 #Var: 3280 LB: 0 @ 178.69 182.52 c Restart #105 #Var: 3280 LB: 0 @ 182.41 186.11 c Restart #106 #Var: 3280 LB: 0 @ 186 189.87 c Restart #107 #Var: 3280 LB: 0 @ 189.76 193.76 c Restart #108 #Var: 3280 LB: 0 @ 193.65 197.65 c Restart #109 #Var: 3280 LB: 0 @ 197.54 201.59 c Restart #110 #Var: 3280 LB: 0 @ 201.48 205.73 c Restart #111 #Var: 3280 LB: 0 @ 205.61 210.00 c Restart #112 #Var: 3280 LB: 0 @ 209.88 214.47 c Restart #113 #Var: 3280 LB: 0 @ 214.35 218.77 c Restart #114 #Var: 3280 LB: 0 @ 218.65 223.26 c Restart #115 #Var: 3280 LB: 0 @ 223.14 227.71 c Restart #116 #Var: 3280 LB: 0 @ 227.58 232.23 c Restart #117 #Var: 3280 LB: 0 @ 232.11 236.95 c Restart #118 #Var: 3280 LB: 0 @ 236.83 241.70 c Restart #119 #Var: 3280 LB: 0 @ 241.57 246.42 c Restart #120 #Var: 3280 LB: 0 @ 246.29 251.19 c Restart #121 #Var: 3280 LB: 0 @ 251.06 256.13 c Restart #122 #Var: 3280 LB: 0 @ 256 261.03 c Restart #123 #Var: 3280 LB: 0 @ 260.89 265.95 c Restart #124 #Var: 3280 LB: 0 @ 265.81 270.82 c Restart #125 #Var: 3280 LB: 0 @ 270.68 275.88 c Restart #126 #Var: 3280 LB: 0 @ 275.74 280.74 c Restart #127 #Var: 3280 LB: 0 @ 280.6 285.73 c Restart #128 #Var: 3280 LB: 0 @ 285.58 290.75 c Restart #129 #Var: 3280 LB: 0 @ 290.6 295.79 c Restart #130 #Var: 3280 LB: 0 @ 295.64 300.83 c Restart #131 #Var: 3280 LB: 0 @ 300.69 306.17 c Restart #132 #Var: 3280 LB: 0 @ 306.02 311.43 c Restart #133 #Var: 3280 LB: 0 @ 311.27 316.39 c Restart #134 #Var: 3280 LB: 0 @ 316.24 321.48 c Restart #135 #Var: 3280 LB: 0 @ 321.32 326.45 c Restart #136 #Var: 3280 LB: 0 @ 326.29 331.83 c Restart #137 #Var: 3280 LB: 0 @ 331.67 337.06 c Restart #138 #Var: 3280 LB: 0 @ 336.9 342.42 c Restart #139 #Var: 3280 LB: 0 @ 342.25 348.05 c Restart #140 #Var: 3280 LB: 0 @ 347.88 353.59 c Restart #141 #Var: 3280 LB: 0 @ 353.42 359.28 c Restart #142 #Var: 3280 LB: 0 @ 359.11 364.84 c Restart #143 #Var: 3280 LB: 0 @ 364.66 370.36 c Restart #144 #Var: 3280 LB: 0 @ 370.19 376.24 c Restart #145 #Var: 3280 LB: 0 @ 376.06 382.01 c Restart #146 #Var: 3280 LB: 0 @ 381.83 387.64 c Restart #147 #Var: 3280 LB: 0 @ 387.46 393.51 c Restart #148 #Var: 3280 LB: 0 @ 393.33 399.37 c Restart #149 #Var: 3280 LB: 0 @ 399.19 405.41 c Restart #150 #Var: 3280 LB: 0 @ 405.23 411.62 c Restart #151 #Var: 3280 LB: 0 @ 411.43 417.80 c Restart #152 #Var: 3280 LB: 0 @ 417.61 423.79 c Restart #153 #Var: 3280 LB: 0 @ 423.6 429.96 c Restart #154 #Var: 3280 LB: 0 @ 429.76 436.03 c Restart #155 #Var: 3280 LB: 0 @ 435.83 442.35 c Restart #156 #Var: 3280 LB: 0 @ 442.15 448.48 c Restart #157 #Var: 3280 LB: 0 @ 448.28 454.76 c Restart #158 #Var: 3280 LB: 0 @ 454.55 460.90 c Restart #159 #Var: 3280 LB: 0 @ 460.7 467.21 c Restart #160 #Var: 3280 LB: 0 @ 467 473.63 c Restart #161 #Var: 3280 LB: 0 @ 473.42 480.19 c Restart #162 #Var: 3280 LB: 0 @ 479.98 486.89 c Restart #163 #Var: 3280 LB: 0 @ 486.67 493.66 c Restart #164 #Var: 3280 LB: 0 @ 493.44 500.38 c Restart #165 #Var: 3280 LB: 0 @ 500.16 506.82 c Restart #166 #Var: 3280 LB: 0 @ 506.59 513.85 c Restart #167 #Var: 3280 LB: 0 @ 513.62 520.40 c Restart #168 #Var: 3280 LB: 0 @ 520.17 527.52 c Restart #169 #Var: 3280 LB: 0 @ 527.29 534.63 c Restart #170 #Var: 3280 LB: 0 @ 534.4 541.92 c Restart #171 #Var: 3280 LB: 0 @ 541.68 548.77 c Restart #172 #Var: 3280 LB: 0 @ 548.53 556.13 c Restart #173 #Var: 3280 LB: 0 @ 555.89 562.99 c Restart #174 #Var: 3280 LB: 0 @ 562.74 570.30 c Restart #175 #Var: 3280 LB: 0 @ 570.06 577.73 c Restart #176 #Var: 3280 LB: 0 @ 577.48 585.06 c Restart #177 #Var: 3280 LB: 0 @ 584.8 593.01 c Restart #178 #Var: 3280 LB: 0 @ 592.76 600.81 c Restart #179 #Var: 3280 LB: 0 @ 600.55 608.56 c Restart #180 #Var: 3280 LB: 0 @ 608.29 616.16 c Restart #181 #Var: 3280 LB: 0 @ 615.89 623.83 c Restart #182 #Var: 3280 LB: 0 @ 623.56 631.63 c Restart #183 #Var: 3280 LB: 0 @ 631.36 639.53 c Restart #184 #Var: 3280 LB: 0 @ 639.25 647.80 c Restart #185 #Var: 3280 LB: 0 @ 647.52 656.05 c Restart #186 #Var: 3280 LB: 0 @ 655.77 663.92 c Restart #187 #Var: 3280 LB: 0 @ 663.64 672.35 c Restart #188 #Var: 3280 LB: 0 @ 672.06 680.45 c Restart #189 #Var: 3280 LB: 0 @ 680.16 689.11 c Restart #190 #Var: 3280 LB: 0 @ 688.82 697.74 c Restart #191 #Var: 3280 LB: 0 @ 697.45 706.78 c Restart #192 #Var: 3280 LB: 0 @ 706.48 715.25 c Restart #193 #Var: 3280 LB: 0 @ 714.95 723.79 c Restart #194 #Var: 3280 LB: 0 @ 723.49 732.21 c Restart #195 #Var: 3280 LB: 0 @ 731.9 740.90 c Restart #196 #Var: 3280 LB: 0 @ 740.59 750.52 c Restart #197 #Var: 3280 LB: 0 @ 750.2 759.79 c Restart #198 #Var: 3280 LB: 0 @ 759.47 768.95 c Restart #199 #Var: 3280 LB: 0 @ 768.63 778.45 c Restart #200 #Var: 3280 LB: 0 @ 778.12 787.97 c Restart #201 #Var: 3280 LB: 0 @ 787.64 797.85 c Restart #202 #Var: 3280 LB: 0 @ 797.52 807.27 c Restart #203 #Var: 3280 LB: 0 @ 806.94 817.05 c Restart #204 #Var: 3280 LB: 0 @ 816.71 826.63 c Restart #205 #Var: 3280 LB: 0 @ 826.28 837.34 c Restart #206 #Var: 3280 LB: 0 @ 836.99 848.02 c Restart #207 #Var: 3280 LB: 0 @ 847.67 859.28 c Restart #208 #Var: 3280 LB: 0 @ 858.92 869.53 c Restart #209 #Var: 3280 LB: 0 @ 869.17 881.28 c Restart #210 #Var: 3280 LB: 0 @ 880.91 893.27 c Restart #211 #Var: 3280 LB: 0 @ 892.9 905.65 c CHANGE Heuristic... 905.65 c Restart #0 #Var: 3280 LB: 0 @ 905.28 905.69 c Restart #1 #Var: 3280 LB: 0 @ 905.31 905.74 c Restart #2 #Var: 3280 LB: 0 @ 905.36 905.82 c Restart #3 #Var: 3280 LB: 0 @ 905.44 905.93 c Restart #4 #Var: 3280 LB: 0 @ 905.56 906.08 c Restart #5 #Var: 3280 LB: 0 @ 905.71 906.27 c Restart #6 #Var: 3280 LB: 0 @ 905.9 906.47 c Restart #7 #Var: 3280 LB: 0 @ 906.1 906.72 c Restart #8 #Var: 3280 LB: 0 @ 906.34 906.98 c Restart #9 #Var: 3280 LB: 0 @ 906.6 907.28 c Restart #10 #Var: 3280 LB: 0 @ 906.9 907.61 c Restart #11 #Var: 3280 LB: 0 @ 907.23 907.97 c Restart #12 #Var: 3280 LB: 0 @ 907.59 908.37 c Restart #13 #Var: 3280 LB: 0 @ 907.99 908.77 c Restart #14 #Var: 3280 LB: 0 @ 908.39 909.19 c Restart #15 #Var: 3280 LB: 0 @ 908.81 909.65 c Restart #16 #Var: 3280 LB: 0 @ 909.28 910.17 c Restart #17 #Var: 3280 LB: 0 @ 909.79 910.71 c Restart #18 #Var: 3280 LB: 0 @ 910.33 911.27 c Restart #19 #Var: 3280 LB: 0 @ 910.89 911.87 c Restart #20 #Var: 3280 LB: 0 @ 911.5 912.56 c Restart #21 #Var: 3280 LB: 0 @ 912.19 913.28 c Restart #22 #Var: 3280 LB: 0 @ 912.9 914.05 c Restart #23 #Var: 3280 LB: 0 @ 913.67 914.84 c Restart #24 #Var: 3280 LB: 0 @ 914.46 915.69 c Restart #25 #Var: 3280 LB: 0 @ 915.31 916.67 c Restart #26 #Var: 3280 LB: 0 @ 916.3 917.68 c Restart #27 #Var: 3280 LB: 0 @ 917.31 918.65 c Restart #28 #Var: 3280 LB: 0 @ 918.27 919.62 c Restart #29 #Var: 3280 LB: 0 @ 919.24 920.65 c Restart #30 #Var: 3280 LB: 0 @ 920.27 921.68 c Restart #31 #Var: 3280 LB: 0 @ 921.3 922.72 c Restart #32 #Var: 3280 LB: 0 @ 922.34 923.79 c Restart #33 #Var: 3280 LB: 0 @ 923.41 924.93 c Restart #34 #Var: 3280 LB: 0 @ 924.55 926.11 c Restart #35 #Var: 3280 LB: 0 @ 925.73 927.29 c Restart #36 #Var: 3280 LB: 0 @ 926.91 928.51 c Restart #37 #Var: 3280 LB: 0 @ 928.12 929.69 c Restart #38 #Var: 3280 LB: 0 @ 929.31 930.97 c Restart #39 #Var: 3280 LB: 0 @ 930.58 932.24 c Restart #40 #Var: 3280 LB: 0 @ 931.86 933.65 c Restart #41 #Var: 3280 LB: 0 @ 933.26 935.02 c Restart #42 #Var: 3280 LB: 0 @ 934.63 936.40 c Restart #43 #Var: 3280 LB: 0 @ 936.02 937.78 c Restart #44 #Var: 3280 LB: 0 @ 937.4 939.27 c Restart #45 #Var: 3280 LB: 0 @ 938.88 940.72 c Restart #46 #Var: 3280 LB: 0 @ 940.33 942.22 c Restart #47 #Var: 3280 LB: 0 @ 941.83 943.77 c Restart #48 #Var: 3280 LB: 0 @ 943.38 945.29 c Restart #49 #Var: 3280 LB: 0 @ 944.9 946.86 c Restart #50 #Var: 3280 LB: 0 @ 946.47 948.50 c Restart #51 #Var: 3280 LB: 0 @ 948.11 950.19 c Restart #52 #Var: 3280 LB: 0 @ 949.8 951.81 c Restart #53 #Var: 3280 LB: 0 @ 951.42 953.55 c Restart #54 #Var: 3280 LB: 0 @ 953.15 955.34 c Restart #55 #Var: 3280 LB: 0 @ 954.95 957.07 c Restart #56 #Var: 3280 LB: 0 @ 956.67 958.86 c Restart #57 #Var: 3280 LB: 0 @ 958.46 960.68 c Restart #58 #Var: 3280 LB: 0 @ 960.28 962.57 c Restart #59 #Var: 3280 LB: 0 @ 962.17 964.42 c Restart #60 #Var: 3280 LB: 0 @ 964.02 966.39 c Restart #61 #Var: 3280 LB: 0 @ 965.99 968.41 c Restart #62 #Var: 3280 LB: 0 @ 968.01 970.51 c Restart #63 #Var: 3280 LB: 0 @ 970.11 972.56 c Restart #64 #Var: 3280 LB: 0 @ 972.16 974.64 c Restart #65 #Var: 3280 LB: 0 @ 974.24 976.87 c Restart #66 #Var: 3280 LB: 0 @ 976.47 979.09 c Restart #67 #Var: 3280 LB: 0 @ 978.68 981.30 c Restart #68 #Var: 3280 LB: 0 @ 980.89 983.59 c Restart #69 #Var: 3280 LB: 0 @ 983.18 985.91 c Restart #70 #Var: 3280 LB: 0 @ 985.51 988.39 c Restart #71 #Var: 3280 LB: 0 @ 987.98 990.75 c Restart #72 #Var: 3280 LB: 0 @ 990.34 993.26 c Restart #73 #Var: 3280 LB: 0 @ 992.85 995.70 c Restart #74 #Var: 3280 LB: 0 @ 995.29 998.35 c Restart #75 #Var: 3280 LB: 0 @ 997.93 1000.81 c Restart #76 #Var: 3280 LB: 0 @ 1000.4 1003.52 c Restart #77 #Var: 3280 LB: 0 @ 1003.1 1006.14 c Restart #78 #Var: 3280 LB: 0 @ 1005.7 1008.91 c Restart #79 #Var: 3280 LB: 0 @ 1008.5 1011.62 c Restart #80 #Var: 3280 LB: 0 @ 1011.2 1014.45 c Restart #81 #Var: 3280 LB: 0 @ 1014 1017.16 c Restart #82 #Var: 3280 LB: 0 @ 1016.7 1020.07 c Restart #83 #Var: 3280 LB: 0 @ 1019.6 1022.86 c Restart #84 #Var: 3280 LB: 0 @ 1022.4 1025.83 c Restart #85 #Var: 3280 LB: 0 @ 1025.4 1028.67 c Restart #86 #Var: 3280 LB: 0 @ 1028.2 1031.62 c Restart #87 #Var: 3280 LB: 0 @ 1031.2 1034.54 c Restart #88 #Var: 3280 LB: 0 @ 1034.1 1037.55 c Restart #89 #Var: 3280 LB: 0 @ 1037.1 1040.55 c Restart #90 #Var: 3280 LB: 0 @ 1040.1 1043.54 c Restart #91 #Var: 3280 LB: 0 @ 1043.1 1046.72 c Restart #92 #Var: 3280 LB: 0 @ 1046.3 1049.91 c Restart #93 #Var: 3280 LB: 0 @ 1049.5 1053.15 c Restart #94 #Var: 3280 LB: 0 @ 1052.7 1056.45 c Restart #95 #Var: 3280 LB: 0 @ 1056 1059.70 c Restart #96 #Var: 3280 LB: 0 @ 1059.3 1062.93 c Restart #97 #Var: 3280 LB: 0 @ 1062.5 1066.33 c Restart #98 #Var: 3280 LB: 0 @ 1065.9 1069.61 c Restart #99 #Var: 3280 LB: 0 @ 1069.2 1072.93 c Restart #100 #Var: 3280 LB: 0 @ 1072.5 1076.50 c Restart #101 #Var: 3280 LB: 0 @ 1076.1 1080.02 c Restart #102 #Var: 3280 LB: 0 @ 1079.6 1083.49 c Restart #103 #Var: 3280 LB: 0 @ 1083 1086.88 c Restart #104 #Var: 3280 LB: 0 @ 1086.4 1090.54 c Restart #105 #Var: 3280 LB: 0 @ 1090.1 1094.02 c Restart #106 #Var: 3280 LB: 0 @ 1093.6 1097.47 c Restart #107 #Var: 3280 LB: 0 @ 1097 1100.96 c Restart #108 #Var: 3280 LB: 0 @ 1100.5 1104.73 c Restart #109 #Var: 3280 LB: 0 @ 1104.3 1108.29 c Restart #110 #Var: 3280 LB: 0 @ 1107.8 1112.03 c Restart #111 #Var: 3280 LB: 0 @ 1111.6 1115.69 c Restart #112 #Var: 3280 LB: 0 @ 1115.2 1119.53 c Restart #113 #Var: 3280 LB: 0 @ 1119.1 1123.26 c Restart #114 #Var: 3280 LB: 0 @ 1122.8 1127.31 c Restart #115 #Var: 3280 LB: 0 @ 1126.9 1131.21 c Restart #116 #Var: 3280 LB: 0 @ 1130.8 1135.08 c Restart #117 #Var: 3280 LB: 0 @ 1134.6 1138.93 c Restart #118 #Var: 3280 LB: 0 @ 1138.5 1143.08 c Restart #119 #Var: 3280 LB: 0 @ 1142.6 1147.16 c Restart #120 #Var: 3280 LB: 0 @ 1146.7 1151.26 c Restart #121 #Var: 3280 LB: 0 @ 1150.8 1155.40 c Restart #122 #Var: 3280 LB: 0 @ 1154.9 1159.62 c Restart #123 #Var: 3280 LB: 0 @ 1159.2 1164.07 c Restart #124 #Var: 3280 LB: 0 @ 1163.6 1168.35 c Restart #125 #Var: 3280 LB: 0 @ 1167.9 1172.65 c Restart #126 #Var: 3280 LB: 0 @ 1172.2 1177.10 c Restart #127 #Var: 3280 LB: 0 @ 1176.6 1181.54 c Restart #128 #Var: 3280 LB: 0 @ 1181.1 1186.21 c Restart #129 #Var: 3280 LB: 0 @ 1185.7 1190.81 c Restart #130 #Var: 3280 LB: 0 @ 1190.3 1195.51 c Restart #131 #Var: 3280 LB: 0 @ 1195 1200.08 c Restart #132 #Var: 3280 LB: 0 @ 1199.6 1204.46 c Restart #133 #Var: 3280 LB: 0 @ 1204 1208.96 c Restart #134 #Var: 3280 LB: 0 @ 1208.5 1213.60 c Restart #135 #Var: 3280 LB: 0 @ 1213.1 1218.22 c Restart #136 #Var: 3280 LB: 0 @ 1217.7 1223.30 c Restart #137 #Var: 3280 LB: 0 @ 1222.8 1228.50 c Restart #138 #Var: 3280 LB: 0 @ 1228 1233.70 c Restart #139 #Var: 3280 LB: 0 @ 1233.2 1238.82 c Restart #140 #Var: 3280 LB: 0 @ 1238.3 1243.80 c Restart #141 #Var: 3280 LB: 0 @ 1243.3 1249.04 c Restart #142 #Var: 3280 LB: 0 @ 1248.5 1254.22 c Restart #143 #Var: 3280 LB: 0 @ 1253.7 1259.39 c Restart #144 #Var: 3280 LB: 0 @ 1258.9 1264.63 c Restart #145 #Var: 3280 LB: 0 @ 1264.1 1269.94 c Restart #146 #Var: 3280 LB: 0 @ 1269.4 1275.25 c Restart #147 #Var: 3280 LB: 0 @ 1274.7 1280.54 c Restart #148 #Var: 3280 LB: 0 @ 1280 1285.95 c Restart #149 #Var: 3280 LB: 0 @ 1285.4 1291.43 c Restart #150 #Var: 3280 LB: 0 @ 1290.9 1296.92 c Restart #151 #Var: 3280 LB: 0 @ 1296.4 1302.33 c Restart #152 #Var: 3280 LB: 0 @ 1301.8 1307.83 c Restart #153 #Var: 3280 LB: 0 @ 1307.3 1313.22 c Restart #154 #Var: 3280 LB: 0 @ 1312.7 1318.72 c Restart #155 #Var: 3280 LB: 0 @ 1318.2 1324.88 c Restart #156 #Var: 3280 LB: 0 @ 1324.3 1331.14 c Restart #157 #Var: 3280 LB: 0 @ 1330.6 1337.41 c Restart #158 #Var: 3280 LB: 0 @ 1336.9 1344.09 c Restart #159 #Var: 3280 LB: 0 @ 1343.5 1350.71 c Restart #160 #Var: 3280 LB: 0 @ 1350.2 1357.73 c Restart #161 #Var: 3280 LB: 0 @ 1357.2 1364.36 c Restart #162 #Var: 3280 LB: 0 @ 1363.8 1371.05 c Restart #163 #Var: 3280 LB: 0 @ 1370.5 1377.89 c Restart #164 #Var: 3280 LB: 0 @ 1377.3 1384.96 c Restart #165 #Var: 3280 LB: 0 @ 1384.4 1392.22 c Restart #166 #Var: 3280 LB: 0 @ 1391.7 1399.72 c Restart #167 #Var: 3280 LB: 0 @ 1399.2 1407.21 c Restart #168 #Var: 3280 LB: 0 @ 1406.6 1414.90 c Restart #169 #Var: 3280 LB: 0 @ 1414.3 1422.80 c Restart #170 #Var: 3280 LB: 0 @ 1422.2 1430.29 c Restart #171 #Var: 3280 LB: 0 @ 1429.7 1437.59 c Restart #172 #Var: 3280 LB: 0 @ 1437 1445.12 c Restart #173 #Var: 3280 LB: 0 @ 1444.5 1452.93 c Restart #174 #Var: 3280 LB: 0 @ 1452.4 1460.71 c Restart #175 #Var: 3280 LB: 0 @ 1460.1 1468.99 c Restart #176 #Var: 3280 LB: 0 @ 1468.4 1477.58 c Restart #177 #Var: 3280 LB: 0 @ 1477 1486.05 c Restart #178 #Var: 3280 LB: 0 @ 1485.5 1494.41 c Restart #179 #Var: 3280 LB: 0 @ 1493.8 1502.43 c Restart #180 #Var: 3280 LB: 0 @ 1501.8 1510.88 c Restart #181 #Var: 3280 LB: 0 @ 1510.3 1519.34 c Restart #182 #Var: 3280 LB: 0 @ 1518.7 1527.86 c Restart #183 #Var: 3280 LB: 0 @ 1527.2 1536.80 c Restart #184 #Var: 3280 LB: 0 @ 1536.2 1546.03 c Restart #185 #Var: 3280 LB: 0 @ 1545.4 1554.96 c Restart #186 #Var: 3280 LB: 0 @ 1554.3 1563.83 c Restart #187 #Var: 3280 LB: 0 @ 1563.2 1573.43 c Restart #188 #Var: 3280 LB: 0 @ 1572.8 1582.91 c Restart #189 #Var: 3280 LB: 0 @ 1582.3 1592.28 c Restart #190 #Var: 3280 LB: 0 @ 1591.6 1601.46 c Restart #191 #Var: 3280 LB: 0 @ 1600.8 1611.05 c Restart #192 #Var: 3280 LB: 0 @ 1610.4 1620.44 c Restart #193 #Var: 3280 LB: 0 @ 1619.8 1629.69 c Restart #194 #Var: 3280 LB: 0 @ 1629 1639.26 c Restart #195 #Var: 3280 LB: 0 @ 1638.6 1648.70 c Restart #196 #Var: 3280 LB: 0 @ 1648 1658.16 c Restart #197 #Var: 3280 LB: 0 @ 1657.5 1667.67 c Restart #198 #Var: 3280 LB: 0 @ 1667 1677.67 c Restart #199 #Var: 3280 LB: 0 @ 1677 1687.75 c Restart #200 #Var: 3280 LB: 0 @ 1687.1 1698.05 c Restart #201 #Var: 3280 LB: 0 @ 1697.4 1708.96 c Restart #202 #Var: 3280 LB: 0 @ 1708.3 1719.55 c Restart #203 #Var: 3280 LB: 0 @ 1718.9 1729.98 c Restart #204 #Var: 3280 LB: 0 @ 1729.3 1740.52 c Restart #205 #Var: 3280 LB: 0 @ 1739.8 1751.14 c Restart #206 #Var: 3280 LB: 0 @ 1750.4 1762.16 c Restart #207 #Var: 3280 LB: 0 @ 1761.5 1773.16 c Restart #208 #Var: 3280 LB: 0 @ 1772.5 1783.97 c Restart #209 #Var: 3280 LB: 0 @ 1783.3 1795.50 c Restart #210 #Var: 3280 LB: 0 @ 1794.8 1800.71 s UNKNOWN 1800.71 c Exit Code: 0 1800.71 c Total time: 1800 s
ERROR: no interpretation found !
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node67/watcher-39687-1149233359 -o ROOT/results/node67/solver-39687-1149233359 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node67/39687-1149233359/instance-39687-1149233359.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.99 1.01 0.93 2/64 13550 /proc/meminfo: memFree=1414168/2055920 swapFree=4181736/4192956 [pid=13550] ppid=13548 vsize=4924 CPUtime=0 /proc/13550/stat : 13550 (bsolo) R 13548 13550 13505 0 -1 0 279 0 0 0 0 0 0 0 19 0 1 0 189005276 5042176 248 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134698726 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13550/statm: 1232 256 167 55 0 124 0 [startup+10.0025 s] /proc/loadavg: 0.99 1.01 0.93 2/64 13550 /proc/meminfo: memFree=1409520/2055920 swapFree=4181736/4192956 [pid=13550] ppid=13548 vsize=9308 CPUtime=9.95 /proc/13550/stat : 13550 (bsolo) R 13548 13550 13505 0 -1 0 1555 0 0 0 991 4 0 0 25 0 1 0 189005276 9531392 1470 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13550/statm: 2327 1470 296 55 0 1219 0 Current children cumulated CPU time (s) 9.95 Current children cumulated vsize (Kb) 9308 [startup+20.0084 s] /proc/loadavg: 0.99 1.01 0.93 2/64 13550 /proc/meminfo: memFree=1409392/2055920 swapFree=4181736/4192956 [pid=13550] ppid=13548 vsize=9404 CPUtime=19.95 /proc/13550/stat : 13550 (bsolo) R 13548 13550 13505 0 -1 0 1589 0 0 0 1989 6 0 0 25 0 1 0 189005276 9629696 1504 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13550/statm: 2351 1504 296 55 0 1243 0 Current children cumulated CPU time (s) 19.95 Current children cumulated vsize (Kb) 9404 [startup+30.0143 s] /proc/loadavg: 0.99 1.01 0.93 2/64 13550 /proc/meminfo: memFree=1409264/2055920 swapFree=4181736/4192956 [pid=13550] ppid=13548 vsize=9536 CPUtime=29.96 /proc/13550/stat : 13550 (bsolo) R 13548 13550 13505 0 -1 0 1630 0 0 0 2988 8 0 0 25 0 1 0 189005276 9764864 1545 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13550/statm: 2384 1545 296 55 0 1276 0 Current children cumulated CPU time (s) 29.96 Current children cumulated vsize (Kb) 9536 [startup+40.0201 s] /proc/loadavg: 0.99 1.01 0.93 2/64 13550 /proc/meminfo: memFree=1409264/2055920 swapFree=4181736/4192956 [pid=13550] ppid=13548 vsize=9536 CPUtime=39.95 /proc/13550/stat : 13550 (bsolo) R 13548 13550 13505 0 -1 0 1632 0 0 0 3985 10 0 0 25 0 1 0 189005276 9764864 1547 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13550/statm: 2384 1547 296 55 0 1276 0 Current children cumulated CPU time (s) 39.95 Current children cumulated vsize (Kb) 9536 [startup+50.026 s] /proc/loadavg: 0.99 1.00 0.93 2/64 13550 /proc/meminfo: memFree=1409200/2055920 swapFree=4181736/4192956 [pid=13550] ppid=13548 vsize=9652 CPUtime=49.96 /proc/13550/stat : 13550 (bsolo) R 13548 13550 13505 0 -1 0 1645 0 0 0 4984 12 0 0 25 0 1 0 189005276 9883648 1560 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13550/statm: 2413 1560 296 55 0 1305 0 Current children cumulated CPU time (s) 49.96 Current children cumulated vsize (Kb) 9652 [startup+60.0319 s] /proc/loadavg: 0.99 1.00 0.93 2/64 13550 /proc/meminfo: memFree=1409200/2055920 swapFree=4181736/4192956 [pid=13550] ppid=13548 vsize=9604 CPUtime=59.96 /proc/13550/stat : 13550 (bsolo) R 13548 13550 13505 0 -1 0 1653 0 0 0 5981 15 0 0 25 0 1 0 189005276 9834496 1568 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13550/statm: 2401 1568 296 55 0 1293 0 Current children cumulated CPU time (s) 59.96 Current children cumulated vsize (Kb) 9604 [startup+70.0377 s] /proc/loadavg: 0.99 1.00 0.93 2/64 13550 /proc/meminfo: memFree=1409200/2055920 swapFree=4181736/4192956 [pid=13550] ppid=13548 vsize=9604 CPUtime=69.96 /proc/13550/stat : 13550 (bsolo) R 13548 13550 13505 0 -1 0 1659 0 0 0 6979 17 0 0 25 0 1 0 189005276 9834496 1574 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533838 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13550/statm: 2401 1574 296 55 0 1293 0 Current children cumulated CPU time (s) 69.96 Current children cumulated vsize (Kb) 9604 [startup+80.0436 s] /proc/loadavg: 0.99 1.00 0.93 2/64 13550 /proc/meminfo: memFree=1409136/2055920 swapFree=4181736/4192956 [pid=13550] ppid=13548 vsize=9732 CPUtime=79.97 /proc/13550/stat : 13550 (bsolo) R 13548 13550 13505 0 -1 0 1665 0 0 0 7977 20 0 0 25 0 1 0 189005276 9965568 1580 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13550/statm: 2433 1580 296 55 0 1325 0 Current children cumulated CPU time (s) 79.97 Current children cumulated vsize (Kb) 9732 [startup+90.0495 s] /proc/loadavg: 0.99 1.00 0.93 2/64 13550 /proc/meminfo: memFree=1409136/2055920 swapFree=4181736/4192956 [pid=13550] ppid=13548 vsize=9732 CPUtime=89.96 /proc/13550/stat : 13550 (bsolo) R 13548 13550 13505 0 -1 0 1667 0 0 0 8973 23 0 0 25 0 1 0 189005276 9965568 1582 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541620 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13550/statm: 2433 1582 296 55 0 1325 0 Current children cumulated CPU time (s) 89.96 Current children cumulated vsize (Kb) 9732 [startup+100.055 s] /proc/loadavg: 0.99 1.00 0.93 2/64 13550 /proc/meminfo: memFree=1409072/2055920 swapFree=4181736/4192956 [pid=13550] ppid=13548 vsize=9728 CPUtime=99.97 /proc/13550/stat : 13550 (bsolo) R 13548 13550 13505 0 -1 0 1684 0 0 0 9971 26 0 0 25 0 1 0 189005276 9961472 1599 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540699 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13550/statm: 2432 1599 296 55 0 1324 0 Current children cumulated CPU time (s) 99.97 Current children cumulated vsize (Kb) 9728 [startup+110.061 s] /proc/loadavg: 0.99 1.00 0.93 2/64 13550 /proc/meminfo: memFree=1409008/2055920 swapFree=4181736/4192956 [pid=13550] ppid=13548 vsize=9860 CPUtime=109.97 /proc/13550/stat : 13550 (bsolo) R 13548 13550 13505 0 -1 0 1699 0 0 0 10969 28 0 0 25 0 1 0 189005276 10096640 1614 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551565 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13550/statm: 2465 1614 296 55 0 1357 0 Current children cumulated CPU time (s) 109.97 Current children cumulated vsize (Kb) 9860 [startup+120.067 s] /proc/loadavg: 0.99 1.00 0.93 2/64 13550 /proc/meminfo: memFree=1409008/2055920 swapFree=4181736/4192956 [pid=13550] ppid=13548 vsize=9860 CPUtime=119.97 /proc/13550/stat : 13550 (bsolo) R 13548 13550 13505 0 -1 0 1710 0 0 0 11967 30 0 0 25 0 1 0 189005276 10096640 1625 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13550/statm: 2465 1625 296 55 0 1357 0 Current children cumulated CPU time (s) 119.97 Current children cumulated vsize (Kb) 9860 [startup+130.073 s] /proc/loadavg: 0.99 1.00 0.93 2/64 13550 /proc/meminfo: memFree=1409008/2055920 swapFree=4181736/4192956 [pid=13550] ppid=13548 vsize=9860 CPUtime=129.98 /proc/13550/stat : 13550 (bsolo) R 13548 13550 13505 0 -1 0 1710 0 0 0 12965 33 0 0 25 0 1 0 189005276 10096640 1625 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13550/statm: 2465 1625 296 55 0 1357 0 Current children cumulated CPU time (s) 129.98 Current children cumulated vsize (Kb) 9860 [startup+140.079 s] /proc/loadavg: 0.99 1.00 0.93 2/64 13550 /proc/meminfo: memFree=1409008/2055920 swapFree=4181736/4192956 [pid=13550] ppid=13548 vsize=9860 CPUtime=139.98 /proc/13550/stat : 13550 (bsolo) R 13548 13550 13505 0 -1 0 1710 0 0 0 13962 36 0 0 25 0 1 0 189005276 10096640 1625 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13550/statm: 2465 1625 296 55 0 1357 0 Current children cumulated CPU time (s) 139.98 Current children cumulated vsize (Kb) 9860 [startup+150.085 s] /proc/loadavg: 0.99 1.00 0.93 2/64 13550 /proc/meminfo: memFree=1408816/2055920 swapFree=4181736/4192956 [pid=13550] ppid=13548 vsize=10096 CPUtime=149.98 /proc/13550/stat : 13550 (bsolo) R 13548 13550 13505 0 -1 0 1759 0 0 0 14960 38 0 0 25 0 1 0 189005276 10338304 1674 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13550/statm: 2524 1674 296 55 0 1416 0 Current children cumulated CPU time (s) 149.98 Current children cumulated vsize (Kb) 10096 [startup+160.091 s] /proc/loadavg: 0.99 1.00 0.93 2/64 13550 /proc/meminfo: memFree=1408688/2055920 swapFree=4181736/4192956 [pid=13550] ppid=13548 vsize=10220 CPUtime=159.98 /proc/13550/stat : 13550 (bsolo) R 13548 13550 13505 0 -1 0 1788 0 0 0 15958 40 0 0 25 0 1 0 189005276 10465280 1703 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13550/statm: 2555 1703 296 55 0 1447 0 Current children cumulated CPU time (s) 159.98 Current children cumulated vsize (Kb) 10220 [startup+170.096 s] /proc/loadavg: 0.99 1.00 0.93 2/64 13550 /proc/meminfo: memFree=1408560/2055920 swapFree=4181736/4192956 [pid=13550] ppid=13548 vsize=10208 CPUtime=169.98 /proc/13550/stat : 13550 (bsolo) R 13548 13550 13505 0 -1 0 1811 0 0 0 16956 42 0 0 25 0 1 0 189005276 10452992 1726 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13550/statm: 2552 1726 296 55 0 1444 0 Current children cumulated CPU time (s) 169.98 Current children cumulated vsize (Kb) 10208 [startup+180.102 s] /proc/loadavg: 0.99 1.00 0.93 2/64 13550 /proc/meminfo: memFree=1408432/2055920 swapFree=4181736/4192956 [pid=13550] ppid=13548 vsize=10328 CPUtime=179.99 /proc/13550/stat : 13550 (bsolo) R 13548 13550 13505 0 -1 0 1834 0 0 0 17954 45 0 0 25 0 1 0 189005276 10575872 1749 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13550/statm: 2582 1749 296 55 0 1474 0 Current children cumulated CPU time (s) 179.99 Current children cumulated vsize (Kb) 10328 [startup+190.108 s] /proc/loadavg: 0.99 1.00 0.93 2/64 13550 /proc/meminfo: memFree=1408368/2055920 swapFree=4181736/4192956 [pid=13550] ppid=13548 vsize=10460 CPUtime=189.99 /proc/13550/stat : 13550 (bsolo) R 13548 13550 13505 0 -1 0 1854 0 0 0 18952 47 0 0 25 0 1 0 189005276 10711040 1769 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548233 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13550/statm: 2615 1769 296 55 0 1507 0 Current children cumulated CPU time (s) 189.99 Current children cumulated vsize (Kb) 10460 [startup+200.115 s] /proc/loadavg: 0.99 1.00 0.93 2/64 13550 /proc/meminfo: memFree=1408304/2055920 swapFree=4181736/4192956 [pid=13550] ppid=13548 vsize=10460 CPUtime=199.99 /proc/13550/stat : 13550 (bsolo) R 13548 13550 13505 0 -1 0 1867 0 0 0 19949 50 0 0 25 0 1 0 189005276 10711040 1782 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13550/statm: 2615 1782 296 55 0 1507 0 Current children cumulated CPU time (s) 199.99 Current children cumulated vsize (Kb) 10460 [startup+210.122 s] /proc/loadavg: 0.99 1.00 0.93 2/64 13550 /proc/meminfo: memFree=1408304/2055920 swapFree=4181736/4192956 ################ # More data... # ################ /proc/13550/statm: 4067 3213 296 55 0 2959 0 Current children cumulated CPU time (s) 1760.34 Current children cumulated vsize (Kb) 16268 [startup+1771.06 s] /proc/loadavg: 0.99 1.00 0.93 2/64 13552 /proc/meminfo: memFree=1402416/2055920 swapFree=4181736/4192956 [pid=13550] ppid=13548 vsize=16268 CPUtime=1770.35 /proc/13550/stat : 13550 (bsolo) R 13548 13550 13505 0 -1 0 3298 0 0 0 176624 411 0 0 25 0 1 0 189005276 16658432 3213 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540688 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13550/statm: 4067 3213 296 55 0 2959 0 Current children cumulated CPU time (s) 1770.35 Current children cumulated vsize (Kb) 16268 [startup+1781.06 s] /proc/loadavg: 0.99 1.00 0.93 2/64 13552 /proc/meminfo: memFree=1402288/2055920 swapFree=4181736/4192956 [pid=13550] ppid=13548 vsize=16268 CPUtime=1780.35 /proc/13550/stat : 13550 (bsolo) R 13548 13550 13505 0 -1 0 3325 0 0 0 177622 413 0 0 25 0 1 0 189005276 16658432 3240 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13550/statm: 4067 3240 296 55 0 2959 0 Current children cumulated CPU time (s) 1780.35 Current children cumulated vsize (Kb) 16268 [startup+1782.07 s] /proc/loadavg: 0.99 1.00 0.93 2/64 13552 /proc/meminfo: memFree=1402288/2055920 swapFree=4181736/4192956 [pid=13550] ppid=13548 vsize=16268 CPUtime=1781.35 /proc/13550/stat : 13550 (bsolo) R 13548 13550 13505 0 -1 0 3325 0 0 0 177722 413 0 0 25 0 1 0 189005276 16658432 3240 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13550/statm: 4067 3240 296 55 0 2959 0 Current children cumulated CPU time (s) 1781.35 Current children cumulated vsize (Kb) 16268 [startup+1783.07 s] /proc/loadavg: 0.99 1.00 0.93 2/64 13552 /proc/meminfo: memFree=1402288/2055920 swapFree=4181736/4192956 [pid=13550] ppid=13548 vsize=16268 CPUtime=1782.36 /proc/13550/stat : 13550 (bsolo) R 13548 13550 13505 0 -1 0 3325 0 0 0 177823 413 0 0 25 0 1 0 189005276 16658432 3240 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548612 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13550/statm: 4067 3240 296 55 0 2959 0 Current children cumulated CPU time (s) 1782.36 Current children cumulated vsize (Kb) 16268 [startup+1784.08 s] /proc/loadavg: 0.99 1.00 0.93 2/64 13552 /proc/meminfo: memFree=1402288/2055920 swapFree=4181736/4192956 [pid=13550] ppid=13548 vsize=16268 CPUtime=1783.37 /proc/13550/stat : 13550 (bsolo) R 13548 13550 13505 0 -1 0 3325 0 0 0 177923 414 0 0 25 0 1 0 189005276 16658432 3240 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13550/statm: 4067 3240 296 55 0 2959 0 Current children cumulated CPU time (s) 1783.37 Current children cumulated vsize (Kb) 16268 [startup+1785.08 s] /proc/loadavg: 0.99 1.00 0.93 2/64 13552 /proc/meminfo: memFree=1402288/2055920 swapFree=4181736/4192956 [pid=13550] ppid=13548 vsize=16268 CPUtime=1784.37 /proc/13550/stat : 13550 (bsolo) R 13548 13550 13505 0 -1 0 3325 0 0 0 178023 414 0 0 25 0 1 0 189005276 16658432 3240 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13550/statm: 4067 3240 296 55 0 2959 0 Current children cumulated CPU time (s) 1784.37 Current children cumulated vsize (Kb) 16268 [startup+1786.09 s] /proc/loadavg: 0.99 1.00 0.93 2/64 13552 /proc/meminfo: memFree=1402288/2055920 swapFree=4181736/4192956 [pid=13550] ppid=13548 vsize=16268 CPUtime=1785.37 /proc/13550/stat : 13550 (bsolo) R 13548 13550 13505 0 -1 0 3325 0 0 0 178123 414 0 0 25 0 1 0 189005276 16658432 3240 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7324028 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13550/statm: 4067 3240 296 55 0 2959 0 Current children cumulated CPU time (s) 1785.37 Current children cumulated vsize (Kb) 16268 [startup+1787.09 s] /proc/loadavg: 0.99 1.00 0.93 2/64 13552 /proc/meminfo: memFree=1402288/2055920 swapFree=4181736/4192956 [pid=13550] ppid=13548 vsize=16268 CPUtime=1786.38 /proc/13550/stat : 13550 (bsolo) R 13548 13550 13505 0 -1 0 3325 0 0 0 178224 414 0 0 25 0 1 0 189005276 16658432 3240 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13550/statm: 4067 3240 296 55 0 2959 0 Current children cumulated CPU time (s) 1786.38 Current children cumulated vsize (Kb) 16268 [startup+1788.1 s] /proc/loadavg: 0.99 1.00 0.93 2/64 13552 /proc/meminfo: memFree=1402288/2055920 swapFree=4181736/4192956 [pid=13550] ppid=13548 vsize=16268 CPUtime=1787.38 /proc/13550/stat : 13550 (bsolo) R 13548 13550 13505 0 -1 0 3325 0 0 0 178324 414 0 0 25 0 1 0 189005276 16658432 3240 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13550/statm: 4067 3240 296 55 0 2959 0 Current children cumulated CPU time (s) 1787.38 Current children cumulated vsize (Kb) 16268 [startup+1789.1 s] /proc/loadavg: 0.99 1.00 0.93 2/64 13552 /proc/meminfo: memFree=1402288/2055920 swapFree=4181736/4192956 [pid=13550] ppid=13548 vsize=16268 CPUtime=1788.38 /proc/13550/stat : 13550 (bsolo) R 13548 13550 13505 0 -1 0 3325 0 0 0 178424 414 0 0 25 0 1 0 189005276 16658432 3240 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603854 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13550/statm: 4067 3240 296 55 0 2959 0 Current children cumulated CPU time (s) 1788.38 Current children cumulated vsize (Kb) 16268 [startup+1790.11 s] /proc/loadavg: 0.99 1.00 0.93 2/64 13552 /proc/meminfo: memFree=1402288/2055920 swapFree=4181736/4192956 [pid=13550] ppid=13548 vsize=16268 CPUtime=1789.39 /proc/13550/stat : 13550 (bsolo) R 13548 13550 13505 0 -1 0 3325 0 0 0 178525 414 0 0 25 0 1 0 189005276 16658432 3240 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13550/statm: 4067 3240 296 55 0 2959 0 Current children cumulated CPU time (s) 1789.39 Current children cumulated vsize (Kb) 16268 [startup+1791.11 s] /proc/loadavg: 0.99 1.00 0.93 2/64 13552 /proc/meminfo: memFree=1402288/2055920 swapFree=4181736/4192956 [pid=13550] ppid=13548 vsize=16268 CPUtime=1790.4 /proc/13550/stat : 13550 (bsolo) R 13548 13550 13505 0 -1 0 3325 0 0 0 178625 415 0 0 25 0 1 0 189005276 16658432 3240 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13550/statm: 4067 3240 296 55 0 2959 0 Current children cumulated CPU time (s) 1790.4 Current children cumulated vsize (Kb) 16268 [startup+1792.12 s] /proc/loadavg: 0.99 1.00 0.93 2/64 13552 /proc/meminfo: memFree=1402288/2055920 swapFree=4181736/4192956 [pid=13550] ppid=13548 vsize=16268 CPUtime=1791.4 /proc/13550/stat : 13550 (bsolo) R 13548 13550 13505 0 -1 0 3325 0 0 0 178725 415 0 0 25 0 1 0 189005276 16658432 3240 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551605 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13550/statm: 4067 3240 296 55 0 2959 0 Current children cumulated CPU time (s) 1791.4 Current children cumulated vsize (Kb) 16268 [startup+1793.12 s] /proc/loadavg: 0.99 1.00 0.93 2/64 13552 /proc/meminfo: memFree=1402288/2055920 swapFree=4181736/4192956 [pid=13550] ppid=13548 vsize=16268 CPUtime=1792.4 /proc/13550/stat : 13550 (bsolo) R 13548 13550 13505 0 -1 0 3325 0 0 0 178825 415 0 0 25 0 1 0 189005276 16658432 3240 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13550/statm: 4067 3240 296 55 0 2959 0 Current children cumulated CPU time (s) 1792.4 Current children cumulated vsize (Kb) 16268 [startup+1794.13 s] /proc/loadavg: 0.99 1.00 0.93 2/64 13552 /proc/meminfo: memFree=1402288/2055920 swapFree=4181736/4192956 [pid=13550] ppid=13548 vsize=16268 CPUtime=1793.41 /proc/13550/stat : 13550 (bsolo) R 13548 13550 13505 0 -1 0 3325 0 0 0 178926 415 0 0 25 0 1 0 189005276 16658432 3240 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13550/statm: 4067 3240 296 55 0 2959 0 Current children cumulated CPU time (s) 1793.41 Current children cumulated vsize (Kb) 16268 [startup+1795.13 s] /proc/loadavg: 0.99 1.00 0.93 2/64 13552 /proc/meminfo: memFree=1402288/2055920 swapFree=4181736/4192956 [pid=13550] ppid=13548 vsize=16268 CPUtime=1794.41 /proc/13550/stat : 13550 (bsolo) R 13548 13550 13505 0 -1 0 3326 0 0 0 179026 415 0 0 25 0 1 0 189005276 16658432 3241 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551604 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13550/statm: 4067 3241 296 55 0 2959 0 Current children cumulated CPU time (s) 1794.41 Current children cumulated vsize (Kb) 16268 [startup+1796.14 s] /proc/loadavg: 0.99 1.00 0.93 2/64 13552 /proc/meminfo: memFree=1402288/2055920 swapFree=4181736/4192956 [pid=13550] ppid=13548 vsize=16268 CPUtime=1795.42 /proc/13550/stat : 13550 (bsolo) R 13548 13550 13505 0 -1 0 3327 0 0 0 179127 415 0 0 25 0 1 0 189005276 16658432 3242 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548609 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13550/statm: 4067 3242 296 55 0 2959 0 Current children cumulated CPU time (s) 1795.42 Current children cumulated vsize (Kb) 16268 [startup+1797.14 s] /proc/loadavg: 0.99 1.00 0.93 2/64 13552 /proc/meminfo: memFree=1402288/2055920 swapFree=4181736/4192956 [pid=13550] ppid=13548 vsize=16268 CPUtime=1796.42 /proc/13550/stat : 13550 (bsolo) R 13548 13550 13505 0 -1 0 3327 0 0 0 179227 415 0 0 25 0 1 0 189005276 16658432 3242 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13550/statm: 4067 3242 296 55 0 2959 0 Current children cumulated CPU time (s) 1796.42 Current children cumulated vsize (Kb) 16268 [startup+1798.15 s] /proc/loadavg: 0.99 1.00 0.93 2/64 13552 /proc/meminfo: memFree=1402288/2055920 swapFree=4181736/4192956 [pid=13550] ppid=13548 vsize=16268 CPUtime=1797.43 /proc/13550/stat : 13550 (bsolo) R 13548 13550 13505 0 -1 0 3327 0 0 0 179327 416 0 0 25 0 1 0 189005276 16658432 3242 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13550/statm: 4067 3242 296 55 0 2959 0 Current children cumulated CPU time (s) 1797.43 Current children cumulated vsize (Kb) 16268 [startup+1799.15 s] /proc/loadavg: 0.99 1.00 0.93 2/64 13552 /proc/meminfo: memFree=1402288/2055920 swapFree=4181736/4192956 [pid=13550] ppid=13548 vsize=16268 CPUtime=1798.43 /proc/13550/stat : 13550 (bsolo) R 13548 13550 13505 0 -1 0 3327 0 0 0 179427 416 0 0 25 0 1 0 189005276 16658432 3242 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13550/statm: 4067 3242 296 55 0 2959 0 Current children cumulated CPU time (s) 1798.43 Current children cumulated vsize (Kb) 16268 [startup+1800.16 s] /proc/loadavg: 0.99 1.00 0.93 2/64 13552 /proc/meminfo: memFree=1402288/2055920 swapFree=4181736/4192956 [pid=13550] ppid=13548 vsize=16268 CPUtime=1799.44 /proc/13550/stat : 13550 (bsolo) R 13548 13550 13505 0 -1 0 3327 0 0 0 179528 416 0 0 25 0 1 0 189005276 16658432 3242 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13550/statm: 4067 3242 296 55 0 2959 0 Current children cumulated CPU time (s) 1799.44 Current children cumulated vsize (Kb) 16268 Child status: 0 Real time (s): 1800.72 CPU time (s): 1800 CPU user time (s): 1795.84 CPU system time (s): 4.16837 CPU usage (%): 99.9602 Max. virtual memory (cumulated for all children) (Kb): 16268
Begin job on node67 on Fri Jun 2 07:29:19 UTC 2006 FILE ID= 39687-1149233359 PBS_JOBID= 296684 BENCH NAME= ROOT/tmp/node67/39687-1149233359/instance-39687-1149233359.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node67/39687-1149233359/instance-39687-1149233359.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node67/watcher-39687-1149233359 -o ROOT/results/node67/solver-39687-1149233359 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node67/39687-1149233359/instance-39687-1149233359.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 0beb8de972e873a7bfc16369cb81d469 RANDOM SEED= 312372587 /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.264 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 : 5931.00 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.264 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: 1414376 kB Buffers: 37048 kB Cached: 529476 kB SwapCached: 2976 kB Active: 112812 kB Inactive: 462456 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1414376 kB SwapTotal: 4192956 kB SwapFree: 4181736 kB Dirty: 208 kB Writeback: 0 kB Mapped: 14688 kB Slab: 52320 kB Committed_AS: 251400 kB PageTables: 1468 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node67 on Fri Jun 2 07:59:20 UTC 2006