Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | ? | 1800.01 | 1801.11 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-ran6x43.opb |
MD5SUM | 6ddbc05dc60ac3abba60700f70e1bd54 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
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 | 5.64614 |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 7998 |
Total number of constraints | 307 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 307 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 1290 |
Number of terms in the objective function | 7998 |
Biggest coefficient in the objective function | 1795 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 530626 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262144 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 530626 |
Number of bits of the biggest sum of numbers | 20 |
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.01 c INFO: OSL Context initialized. 0.20 c Initial problem consists of 7998 variables and 356 constraints. 0.22 c No problem reductions applied in OPT. instance. 0.22 c preprocess terminated. Elapsed time: 0.222 0.22 c After prepocess the problem consists of 3801 variables and 356 constraints. 0.22 c Initial Lower Bound: 0 0.30 c Restart #1 #Var: 3801 LB: 0 @ 0.303 0.45 c Restart #2 #Var: 3801 LB: 0 @ 0.455 1.02 c Restart #3 #Var: 3801 LB: 0 @ 1.025 1.74 c Restart #4 #Var: 3801 LB: 0 @ 1.736 2.60 c Restart #5 #Var: 3801 LB: 0 @ 2.598 3.68 c Restart #6 #Var: 3801 LB: 0 @ 3.685 4.94 c Restart #7 #Var: 3801 LB: 0 @ 4.941 6.40 c Restart #8 #Var: 3801 LB: 0 @ 6.398 7.04 c Restart #9 #Var: 3801 LB: 0 @ 7.037 7.60 c Restart #10 #Var: 3801 LB: 0 @ 7.596 8.41 c Restart #11 #Var: 3801 LB: 0 @ 8.411 9.22 c Restart #12 #Var: 3801 LB: 0 @ 9.215 10.17 c Restart #13 #Var: 3801 LB: 0 @ 10.171 11.19 c Restart #14 #Var: 3801 LB: 0 @ 11.187 12.16 c Restart #15 #Var: 3801 LB: 0 @ 12.152 13.24 c Restart #16 #Var: 3801 LB: 0 @ 13.232 14.52 c Restart #17 #Var: 3801 LB: 0 @ 14.519 15.55 c Restart #18 #Var: 3801 LB: 0 @ 15.541 16.91 c Restart #19 #Var: 3801 LB: 0 @ 16.898 18.11 c Restart #20 #Var: 3801 LB: 0 @ 18.104 19.61 c Restart #21 #Var: 3801 LB: 0 @ 19.602 21.22 c Restart #22 #Var: 3801 LB: 0 @ 21.209 22.88 c Restart #23 #Var: 3801 LB: 0 @ 22.864 24.67 c Restart #24 #Var: 3801 LB: 0 @ 24.655 26.42 c Restart #25 #Var: 3801 LB: 0 @ 26.41 27.86 c Restart #26 #Var: 3801 LB: 0 @ 27.843 30.14 c Restart #27 #Var: 3801 LB: 0 @ 30.123 32.16 c Restart #28 #Var: 3801 LB: 0 @ 32.144 35.05 c Restart #29 #Var: 3801 LB: 0 @ 35.028 36.88 c Restart #30 #Var: 3801 LB: 0 @ 36.862 38.33 c Restart #31 #Var: 3801 LB: 0 @ 38.308 40.32 c Restart #32 #Var: 3801 LB: 0 @ 40.299 41.88 c Restart #33 #Var: 3801 LB: 0 @ 41.86 44.02 c Restart #34 #Var: 3801 LB: 0 @ 43.992 45.97 c Restart #35 #Var: 3801 LB: 0 @ 45.95 48.38 c Restart #36 #Var: 3801 LB: 0 @ 48.352 50.17 c Restart #37 #Var: 3801 LB: 0 @ 50.136 52.75 c Restart #38 #Var: 3801 LB: 0 @ 52.722 54.64 c Restart #39 #Var: 3801 LB: 0 @ 54.608 57.09 c Restart #40 #Var: 3801 LB: 0 @ 57.06 59.09 c Restart #41 #Var: 3801 LB: 0 @ 59.052 61.64 c Restart #42 #Var: 3801 LB: 0 @ 61.604 63.61 c Restart #43 #Var: 3801 LB: 0 @ 63.568 66.29 c Restart #44 #Var: 3801 LB: 0 @ 66.251 68.40 c Restart #45 #Var: 3801 LB: 0 @ 68.357 71.54 c Restart #46 #Var: 3801 LB: 0 @ 71.5 74.44 c Restart #47 #Var: 3801 LB: 0 @ 74.401 77.69 c Restart #48 #Var: 3801 LB: 0 @ 77.65 80.72 c Restart #49 #Var: 3801 LB: 0 @ 80.677 83.66 c Restart #50 #Var: 3801 LB: 0 @ 83.618 86.23 c Restart #51 #Var: 3801 LB: 0 @ 86.187 89.70 c Restart #52 #Var: 3801 LB: 0 @ 89.646 93.22 c Restart #53 #Var: 3801 LB: 0 @ 93.16 96.33 c Restart #54 #Var: 3801 LB: 0 @ 96.27 100.44 c Restart #55 #Var: 3801 LB: 0 @ 100.37 103.72 c Restart #56 #Var: 3801 LB: 0 @ 103.66 107.33 c Restart #57 #Var: 3801 LB: 0 @ 107.26 110.18 c Restart #58 #Var: 3801 LB: 0 @ 110.11 113.98 c Restart #59 #Var: 3801 LB: 0 @ 113.91 117.07 c Restart #60 #Var: 3801 LB: 0 @ 117 120.34 c Restart #61 #Var: 3801 LB: 0 @ 120.26 124.22 c Restart #62 #Var: 3801 LB: 0 @ 124.14 127.22 c Restart #63 #Var: 3801 LB: 0 @ 127.14 130.98 c Restart #64 #Var: 3801 LB: 0 @ 130.9 134.19 c Restart #65 #Var: 3801 LB: 0 @ 134.1 138.14 c Restart #66 #Var: 3801 LB: 0 @ 138.06 141.61 c Restart #67 #Var: 3801 LB: 0 @ 141.52 145.39 c Restart #68 #Var: 3801 LB: 0 @ 145.3 148.85 c Restart #69 #Var: 3801 LB: 0 @ 148.76 152.93 c Restart #70 #Var: 3801 LB: 0 @ 152.84 157.89 c Restart #71 #Var: 3801 LB: 0 @ 157.79 162.16 c Restart #72 #Var: 3801 LB: 0 @ 162.06 166.70 c Restart #73 #Var: 3801 LB: 0 @ 166.6 171.06 c Restart #74 #Var: 3801 LB: 0 @ 170.96 174.78 c Restart #75 #Var: 3801 LB: 0 @ 174.67 179.44 c Restart #76 #Var: 3801 LB: 0 @ 179.33 183.68 c Restart #77 #Var: 3801 LB: 0 @ 183.56 189.18 c Restart #78 #Var: 3801 LB: 0 @ 189.06 193.04 c Restart #79 #Var: 3801 LB: 0 @ 192.92 197.51 c Restart #80 #Var: 3801 LB: 0 @ 197.39 201.49 c Restart #81 #Var: 3801 LB: 0 @ 201.36 205.86 c Restart #82 #Var: 3801 LB: 0 @ 205.73 210.49 c Restart #83 #Var: 3801 LB: 0 @ 210.36 215.76 c Restart #84 #Var: 3801 LB: 0 @ 215.62 220.34 c Restart #85 #Var: 3801 LB: 0 @ 220.21 225.32 c Restart #86 #Var: 3801 LB: 0 @ 225.18 230.11 c Restart #87 #Var: 3801 LB: 0 @ 229.97 234.58 c Restart #88 #Var: 3801 LB: 0 @ 234.44 239.59 c Restart #89 #Var: 3801 LB: 0 @ 239.44 243.68 c Restart #90 #Var: 3801 LB: 0 @ 243.53 248.36 c Restart #91 #Var: 3801 LB: 0 @ 248.2 252.81 c Restart #92 #Var: 3801 LB: 0 @ 252.66 257.55 c Restart #93 #Var: 3801 LB: 0 @ 257.39 263.20 c Restart #94 #Var: 3801 LB: 0 @ 263.04 267.95 c Restart #95 #Var: 3801 LB: 0 @ 267.79 273.13 c Restart #96 #Var: 3801 LB: 0 @ 272.96 278.57 c Restart #97 #Var: 3801 LB: 0 @ 278.4 285.51 c Restart #98 #Var: 3801 LB: 0 @ 285.33 291.00 c Restart #99 #Var: 3801 LB: 0 @ 290.82 297.23 c Restart #100 #Var: 3801 LB: 0 @ 297.05 302.12 c Restart #101 #Var: 3801 LB: 0 @ 301.94 307.53 c Restart #102 #Var: 3801 LB: 0 @ 307.34 311.60 c Restart #103 #Var: 3801 LB: 0 @ 311.41 316.12 c Restart #104 #Var: 3801 LB: 0 @ 315.94 320.32 c Restart #105 #Var: 3801 LB: 0 @ 320.13 326.18 c Restart #106 #Var: 3801 LB: 0 @ 325.98 331.37 c Restart #107 #Var: 3801 LB: 0 @ 331.16 337.21 c Restart #108 #Var: 3801 LB: 0 @ 337 343.00 c Restart #109 #Var: 3801 LB: 0 @ 342.8 348.52 c Restart #110 #Var: 3801 LB: 0 @ 348.31 352.86 c Restart #111 #Var: 3801 LB: 0 @ 352.65 359.52 c Restart #112 #Var: 3801 LB: 0 @ 359.31 364.68 c Restart #113 #Var: 3801 LB: 0 @ 364.46 370.94 c Restart #114 #Var: 3801 LB: 0 @ 370.72 376.90 c Restart #115 #Var: 3801 LB: 0 @ 376.67 382.50 c Restart #116 #Var: 3801 LB: 0 @ 382.27 389.64 c Restart #117 #Var: 3801 LB: 0 @ 389.4 395.10 c Restart #118 #Var: 3801 LB: 0 @ 394.87 402.91 c Restart #119 #Var: 3801 LB: 0 @ 402.67 409.29 c Restart #120 #Var: 3801 LB: 0 @ 409.05 416.92 c Restart #121 #Var: 3801 LB: 0 @ 416.66 424.79 c Restart #122 #Var: 3801 LB: 0 @ 424.53 431.57 c Restart #123 #Var: 3801 LB: 0 @ 431.31 439.47 c Restart #124 #Var: 3801 LB: 0 @ 439.2 446.39 c Restart #125 #Var: 3801 LB: 0 @ 446.12 454.94 c Restart #126 #Var: 3801 LB: 0 @ 454.67 463.10 c Restart #127 #Var: 3801 LB: 0 @ 462.82 471.77 c Restart #128 #Var: 3801 LB: 0 @ 471.48 480.02 c Restart #129 #Var: 3801 LB: 0 @ 479.73 486.67 c Restart #130 #Var: 3801 LB: 0 @ 486.37 494.36 c Restart #131 #Var: 3801 LB: 0 @ 494.06 500.96 c Restart #132 #Var: 3801 LB: 0 @ 500.66 506.68 c Restart #133 #Var: 3801 LB: 0 @ 506.37 516.05 c Restart #134 #Var: 3801 LB: 0 @ 515.74 522.74 c Restart #135 #Var: 3801 LB: 0 @ 522.42 532.34 c Restart #136 #Var: 3801 LB: 0 @ 532.02 538.84 c Restart #137 #Var: 3801 LB: 0 @ 538.51 547.19 c Restart #138 #Var: 3801 LB: 0 @ 546.87 553.46 c Restart #139 #Var: 3801 LB: 0 @ 553.13 562.26 c Restart #140 #Var: 3801 LB: 0 @ 561.92 571.06 c Restart #141 #Var: 3801 LB: 0 @ 570.71 579.86 c Restart #142 #Var: 3801 LB: 0 @ 579.51 587.60 c Restart #143 #Var: 3801 LB: 0 @ 587.25 596.43 c Restart #144 #Var: 3801 LB: 0 @ 596.07 604.84 c Restart #145 #Var: 3801 LB: 0 @ 604.48 613.67 c Restart #146 #Var: 3801 LB: 0 @ 613.3 622.43 c Restart #147 #Var: 3801 LB: 0 @ 622.06 631.84 c Restart #148 #Var: 3801 LB: 0 @ 631.47 641.09 c Restart #149 #Var: 3801 LB: 0 @ 640.71 649.17 c Restart #150 #Var: 3801 LB: 0 @ 648.78 659.01 c Restart #151 #Var: 3801 LB: 0 @ 658.62 668.70 c Restart #152 #Var: 3801 LB: 0 @ 668.3 677.98 c Restart #153 #Var: 3801 LB: 0 @ 677.58 686.20 c Restart #154 #Var: 3801 LB: 0 @ 685.8 693.67 c Restart #155 #Var: 3801 LB: 0 @ 693.26 704.46 c Restart #156 #Var: 3801 LB: 0 @ 704.04 712.71 c Restart #157 #Var: 3801 LB: 0 @ 712.29 725.05 c Restart #158 #Var: 3801 LB: 0 @ 724.63 734.51 c Restart #159 #Var: 3801 LB: 0 @ 734.09 744.71 c Restart #160 #Var: 3801 LB: 0 @ 744.28 751.86 c Restart #161 #Var: 3801 LB: 0 @ 751.43 762.09 c Restart #162 #Var: 3801 LB: 0 @ 761.65 771.27 c Restart #163 #Var: 3801 LB: 0 @ 770.82 780.92 c Restart #164 #Var: 3801 LB: 0 @ 780.47 790.58 c Restart #165 #Var: 3801 LB: 0 @ 790.12 801.57 c Restart #166 #Var: 3801 LB: 0 @ 801.11 811.85 c Restart #167 #Var: 3801 LB: 0 @ 811.39 821.05 c Restart #168 #Var: 3801 LB: 0 @ 820.58 829.67 c Restart #169 #Var: 3801 LB: 0 @ 829.2 837.46 c Restart #170 #Var: 3801 LB: 0 @ 836.99 847.15 c Restart #171 #Var: 3801 LB: 0 @ 846.67 857.26 c Restart #172 #Var: 3801 LB: 0 @ 856.78 867.57 c Restart #173 #Var: 3801 LB: 0 @ 867.06 879.74 c Restart #174 #Var: 3801 LB: 0 @ 879.2 887.49 c Restart #175 #Var: 3801 LB: 0 @ 886.93 899.61 c Restart #176 #Var: 3801 LB: 0 @ 899.05 907.96 c CHANGE Heuristic... 907.96 c Restart #0 #Var: 3801 LB: 0 @ 907.41 908.05 c Restart #1 #Var: 3801 LB: 0 @ 907.49 908.16 c Restart #2 #Var: 3801 LB: 0 @ 907.6 908.33 c Restart #3 #Var: 3801 LB: 0 @ 907.77 908.53 c Restart #4 #Var: 3801 LB: 0 @ 907.97 908.83 c Restart #5 #Var: 3801 LB: 0 @ 908.27 909.14 c Restart #6 #Var: 3801 LB: 0 @ 908.58 909.57 c Restart #7 #Var: 3801 LB: 0 @ 909.02 909.96 c Restart #8 #Var: 3801 LB: 0 @ 909.41 910.54 c Restart #9 #Var: 3801 LB: 0 @ 909.98 911.17 c Restart #10 #Var: 3801 LB: 0 @ 910.62 911.88 c Restart #11 #Var: 3801 LB: 0 @ 911.32 912.41 c Restart #12 #Var: 3801 LB: 0 @ 911.85 913.23 c Restart #13 #Var: 3801 LB: 0 @ 912.67 913.89 c Restart #14 #Var: 3801 LB: 0 @ 913.34 914.84 c Restart #15 #Var: 3801 LB: 0 @ 914.28 915.68 c Restart #16 #Var: 3801 LB: 0 @ 915.12 916.72 c Restart #17 #Var: 3801 LB: 0 @ 916.16 917.91 c Restart #18 #Var: 3801 LB: 0 @ 917.35 919.34 c Restart #19 #Var: 3801 LB: 0 @ 918.78 920.64 c Restart #20 #Var: 3801 LB: 0 @ 920.08 922.21 c Restart #21 #Var: 3801 LB: 0 @ 921.64 923.86 c Restart #22 #Var: 3801 LB: 0 @ 923.3 925.01 c Restart #23 #Var: 3801 LB: 0 @ 924.44 925.99 c Restart #24 #Var: 3801 LB: 0 @ 925.42 927.83 c Restart #25 #Var: 3801 LB: 0 @ 927.26 929.60 c Restart #26 #Var: 3801 LB: 0 @ 929.03 931.06 c Restart #27 #Var: 3801 LB: 0 @ 930.49 932.89 c Restart #28 #Var: 3801 LB: 0 @ 932.32 934.67 c Restart #29 #Var: 3801 LB: 0 @ 934.1 937.14 c Restart #30 #Var: 3801 LB: 0 @ 936.57 938.79 c Restart #31 #Var: 3801 LB: 0 @ 938.22 940.80 c Restart #32 #Var: 3801 LB: 0 @ 940.23 942.85 c Restart #33 #Var: 3801 LB: 0 @ 942.28 944.96 c Restart #34 #Var: 3801 LB: 0 @ 944.39 947.15 c Restart #35 #Var: 3801 LB: 0 @ 946.58 949.44 c Restart #36 #Var: 3801 LB: 0 @ 948.86 951.78 c Restart #37 #Var: 3801 LB: 0 @ 951.21 953.97 c Restart #38 #Var: 3801 LB: 0 @ 953.4 957.02 c Restart #39 #Var: 3801 LB: 0 @ 956.45 959.21 c Restart #40 #Var: 3801 LB: 0 @ 958.63 961.88 c Restart #41 #Var: 3801 LB: 0 @ 961.29 964.30 c Restart #42 #Var: 3801 LB: 0 @ 963.71 967.78 c Restart #43 #Var: 3801 LB: 0 @ 967.18 970.77 c Restart #44 #Var: 3801 LB: 0 @ 970.17 972.97 c Restart #45 #Var: 3801 LB: 0 @ 972.37 976.51 c Restart #46 #Var: 3801 LB: 0 @ 975.91 978.78 c Restart #47 #Var: 3801 LB: 0 @ 978.18 981.52 c Restart #48 #Var: 3801 LB: 0 @ 980.92 983.96 c Restart #49 #Var: 3801 LB: 0 @ 983.37 986.99 c Restart #50 #Var: 3801 LB: 0 @ 986.39 989.90 c Restart #51 #Var: 3801 LB: 0 @ 989.3 993.17 c Restart #52 #Var: 3801 LB: 0 @ 992.57 996.45 c Restart #53 #Var: 3801 LB: 0 @ 995.85 999.33 c Restart #54 #Var: 3801 LB: 0 @ 998.73 1002.82 c Restart #55 #Var: 3801 LB: 0 @ 1002.2 1004.90 c Restart #56 #Var: 3801 LB: 0 @ 1004.3 1008.46 c Restart #57 #Var: 3801 LB: 0 @ 1007.8 1012.10 c Restart #58 #Var: 3801 LB: 0 @ 1011.5 1016.51 c Restart #59 #Var: 3801 LB: 0 @ 1015.9 1018.98 c Restart #60 #Var: 3801 LB: 0 @ 1018.4 1023.52 c Restart #61 #Var: 3801 LB: 0 @ 1022.9 1027.34 c Restart #62 #Var: 3801 LB: 0 @ 1026.7 1030.50 c Restart #63 #Var: 3801 LB: 0 @ 1029.9 1034.53 c Restart #64 #Var: 3801 LB: 0 @ 1033.9 1039.13 c Restart #65 #Var: 3801 LB: 0 @ 1038.5 1043.10 c Restart #66 #Var: 3801 LB: 0 @ 1042.5 1047.13 c Restart #67 #Var: 3801 LB: 0 @ 1046.5 1050.97 c Restart #68 #Var: 3801 LB: 0 @ 1050.3 1055.22 c Restart #69 #Var: 3801 LB: 0 @ 1054.6 1059.48 c Restart #70 #Var: 3801 LB: 0 @ 1058.8 1063.75 c Restart #71 #Var: 3801 LB: 0 @ 1063.1 1067.55 c Restart #72 #Var: 3801 LB: 0 @ 1066.9 1072.07 c Restart #73 #Var: 3801 LB: 0 @ 1071.4 1077.02 c Restart #74 #Var: 3801 LB: 0 @ 1076.4 1081.25 c Restart #75 #Var: 3801 LB: 0 @ 1080.6 1084.63 c Restart #76 #Var: 3801 LB: 0 @ 1084 1088.46 c Restart #77 #Var: 3801 LB: 0 @ 1087.8 1091.85 c Restart #78 #Var: 3801 LB: 0 @ 1091.2 1096.81 c Restart #79 #Var: 3801 LB: 0 @ 1096.2 1101.80 c Restart #80 #Var: 3801 LB: 0 @ 1101.1 1105.77 c Restart #81 #Var: 3801 LB: 0 @ 1105.1 1110.34 c Restart #82 #Var: 3801 LB: 0 @ 1109.7 1114.12 c Restart #83 #Var: 3801 LB: 0 @ 1113.5 1118.81 c Restart #84 #Var: 3801 LB: 0 @ 1118.1 1123.93 c Restart #85 #Var: 3801 LB: 0 @ 1123.3 1127.81 c Restart #86 #Var: 3801 LB: 0 @ 1127.1 1133.03 c Restart #87 #Var: 3801 LB: 0 @ 1132.4 1139.09 c Restart #88 #Var: 3801 LB: 0 @ 1138.4 1145.19 c Restart #89 #Var: 3801 LB: 0 @ 1144.5 1151.16 c Restart #90 #Var: 3801 LB: 0 @ 1150.5 1156.62 c Restart #91 #Var: 3801 LB: 0 @ 1155.9 1161.21 c Restart #92 #Var: 3801 LB: 0 @ 1160.5 1168.83 c Restart #93 #Var: 3801 LB: 0 @ 1168.1 1174.64 c Restart #94 #Var: 3801 LB: 0 @ 1173.9 1180.65 c Restart #95 #Var: 3801 LB: 0 @ 1179.9 1186.87 c Restart #96 #Var: 3801 LB: 0 @ 1186.2 1193.89 c Restart #97 #Var: 3801 LB: 0 @ 1193.2 1198.89 c Restart #98 #Var: 3801 LB: 0 @ 1198.2 1206.58 c Restart #99 #Var: 3801 LB: 0 @ 1205.9 1212.12 c Restart #100 #Var: 3801 LB: 0 @ 1211.4 1218.04 c Restart #101 #Var: 3801 LB: 0 @ 1217.3 1223.48 c Restart #102 #Var: 3801 LB: 0 @ 1222.7 1230.14 c Restart #103 #Var: 3801 LB: 0 @ 1229.4 1234.13 c Restart #104 #Var: 3801 LB: 0 @ 1233.4 1241.28 c Restart #105 #Var: 3801 LB: 0 @ 1240.5 1247.69 c Restart #106 #Var: 3801 LB: 0 @ 1246.9 1253.88 c Restart #107 #Var: 3801 LB: 0 @ 1253.1 1260.08 c Restart #108 #Var: 3801 LB: 0 @ 1259.3 1266.36 c Restart #109 #Var: 3801 LB: 0 @ 1265.6 1273.27 c Restart #110 #Var: 3801 LB: 0 @ 1272.5 1280.21 c Restart #111 #Var: 3801 LB: 0 @ 1279.4 1287.85 c Restart #112 #Var: 3801 LB: 0 @ 1287.1 1293.45 c Restart #113 #Var: 3801 LB: 0 @ 1292.7 1300.47 c Restart #114 #Var: 3801 LB: 0 @ 1299.7 1306.88 c Restart #115 #Var: 3801 LB: 0 @ 1306.1 1313.97 c Restart #116 #Var: 3801 LB: 0 @ 1313.2 1320.55 c Restart #117 #Var: 3801 LB: 0 @ 1319.8 1327.91 c Restart #118 #Var: 3801 LB: 0 @ 1327.1 1334.93 c Restart #119 #Var: 3801 LB: 0 @ 1334.1 1341.55 c Restart #120 #Var: 3801 LB: 0 @ 1340.7 1348.50 c Restart #121 #Var: 3801 LB: 0 @ 1347.7 1354.89 c Restart #122 #Var: 3801 LB: 0 @ 1354.1 1362.29 c Restart #123 #Var: 3801 LB: 0 @ 1361.5 1368.06 c Restart #124 #Var: 3801 LB: 0 @ 1367.2 1375.82 c Restart #125 #Var: 3801 LB: 0 @ 1375 1382.23 c Restart #126 #Var: 3801 LB: 0 @ 1381.4 1387.21 c Restart #127 #Var: 3801 LB: 0 @ 1386.4 1393.75 c Restart #128 #Var: 3801 LB: 0 @ 1392.9 1400.80 c Restart #129 #Var: 3801 LB: 0 @ 1400 1406.77 c Restart #130 #Var: 3801 LB: 0 @ 1405.9 1415.31 c Restart #131 #Var: 3801 LB: 0 @ 1414.5 1422.35 c Restart #132 #Var: 3801 LB: 0 @ 1421.5 1430.94 c Restart #133 #Var: 3801 LB: 0 @ 1430.1 1439.74 c Restart #134 #Var: 3801 LB: 0 @ 1438.9 1450.73 c Restart #135 #Var: 3801 LB: 0 @ 1449.8 1458.52 c Restart #136 #Var: 3801 LB: 0 @ 1457.6 1468.44 c Restart #137 #Var: 3801 LB: 0 @ 1467.6 1478.71 c Restart #138 #Var: 3801 LB: 0 @ 1477.8 1489.54 c Restart #139 #Var: 3801 LB: 0 @ 1488.6 1495.73 c Restart #140 #Var: 3801 LB: 0 @ 1494.8 1504.69 c Restart #141 #Var: 3801 LB: 0 @ 1503.8 1512.37 c Restart #142 #Var: 3801 LB: 0 @ 1511.5 1520.01 c Restart #143 #Var: 3801 LB: 0 @ 1519.1 1528.52 c Restart #144 #Var: 3801 LB: 0 @ 1527.6 1536.38 c Restart #145 #Var: 3801 LB: 0 @ 1535.4 1542.71 c Restart #146 #Var: 3801 LB: 0 @ 1541.8 1551.64 c Restart #147 #Var: 3801 LB: 0 @ 1550.7 1560.75 c Restart #148 #Var: 3801 LB: 0 @ 1559.8 1571.48 c Restart #149 #Var: 3801 LB: 0 @ 1570.5 1578.46 c Restart #150 #Var: 3801 LB: 0 @ 1577.5 1587.92 c Restart #151 #Var: 3801 LB: 0 @ 1587 1595.37 c Restart #152 #Var: 3801 LB: 0 @ 1594.4 1605.08 c Restart #153 #Var: 3801 LB: 0 @ 1604.1 1614.68 c Restart #154 #Var: 3801 LB: 0 @ 1613.7 1624.66 c Restart #155 #Var: 3801 LB: 0 @ 1623.7 1634.55 c Restart #156 #Var: 3801 LB: 0 @ 1633.6 1643.42 c Restart #157 #Var: 3801 LB: 0 @ 1642.4 1653.26 c Restart #158 #Var: 3801 LB: 0 @ 1652.2 1661.87 c Restart #159 #Var: 3801 LB: 0 @ 1660.9 1671.60 c Restart #160 #Var: 3801 LB: 0 @ 1670.6 1680.40 c Restart #161 #Var: 3801 LB: 0 @ 1679.4 1690.39 c Restart #162 #Var: 3801 LB: 0 @ 1689.4 1699.06 c Restart #163 #Var: 3801 LB: 0 @ 1698 1708.87 c Restart #164 #Var: 3801 LB: 0 @ 1707.8 1718.20 c Restart #165 #Var: 3801 LB: 0 @ 1717.2 1726.07 c Restart #166 #Var: 3801 LB: 0 @ 1725 1737.81 c Restart #167 #Var: 3801 LB: 0 @ 1736.8 1748.82 c Restart #168 #Var: 3801 LB: 0 @ 1747.8 1758.08 c Restart #169 #Var: 3801 LB: 0 @ 1757 1770.70 c Restart #170 #Var: 3801 LB: 0 @ 1769.6 1780.98 c Restart #171 #Var: 3801 LB: 0 @ 1779.9 1793.49 c Restart #172 #Var: 3801 LB: 0 @ 1792.4 1801.11 s UNKNOWN 1801.11 c Exit Code: 0 1801.11 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/node77/watcher-39796-1149248801 -o ROOT/results/node77/solver-39796-1149248801 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node77/39796-1149248801/instance-39796-1149248801.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.97 0.91 2/67 27915 /proc/meminfo: memFree=1636008/2055892 swapFree=4085336/4096564 [pid=27915] ppid=27913 vsize=4936 CPUtime=0 /proc/27915/stat : 27915 (bsolo) D 27913 27915 27869 0 -1 0 362 0 0 0 0 0 0 0 19 0 1 0 190519273 5054464 327 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 2147483391 4096 16384 18446744072099917094 0 0 17 0 0 0 /proc/27915/statm: 1234 327 223 55 0 125 0 [startup+10.0032 s] /proc/loadavg: 0.93 0.97 0.91 2/67 27915 /proc/meminfo: memFree=1625064/2055892 swapFree=4085336/4096564 [pid=27915] ppid=27913 vsize=15728 CPUtime=9.99 /proc/27915/stat : 27915 (bsolo) R 27913 27915 27869 0 -1 0 3203 0 0 0 987 12 0 0 25 0 1 0 190519273 16105472 3045 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/27915/statm: 3932 3045 294 55 0 2823 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 15728 [startup+20.0084 s] /proc/loadavg: 0.94 0.97 0.91 2/67 27915 /proc/meminfo: memFree=1625064/2055892 swapFree=4085336/4096564 [pid=27915] ppid=27913 vsize=15728 CPUtime=19.98 /proc/27915/stat : 27915 (bsolo) R 27913 27915 27869 0 -1 0 3203 0 0 0 1982 16 0 0 25 0 1 0 190519273 16105472 3045 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542169 0 0 4096 16384 0 0 0 17 0 0 0 /proc/27915/statm: 3932 3045 294 55 0 2823 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 15728 [startup+30.0146 s] /proc/loadavg: 0.95 0.97 0.91 2/67 27915 /proc/meminfo: memFree=1625064/2055892 swapFree=4085336/4096564 [pid=27915] ppid=27913 vsize=15728 CPUtime=29.99 /proc/27915/stat : 27915 (bsolo) R 27913 27915 27869 0 -1 0 3203 0 0 0 2981 18 0 0 25 0 1 0 190519273 16105472 3045 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/27915/statm: 3932 3045 294 55 0 2823 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 15728 [startup+40.0209 s] /proc/loadavg: 0.95 0.97 0.91 2/67 27915 /proc/meminfo: memFree=1625064/2055892 swapFree=4085336/4096564 [pid=27915] ppid=27913 vsize=15728 CPUtime=39.99 /proc/27915/stat : 27915 (bsolo) R 27913 27915 27869 0 -1 0 3203 0 0 0 3978 21 0 0 25 0 1 0 190519273 16105472 3045 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541526 0 0 4096 16384 0 0 0 17 0 0 0 /proc/27915/statm: 3932 3045 294 55 0 2823 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 15728 [startup+50.0271 s] /proc/loadavg: 0.96 0.97 0.91 2/67 27915 /proc/meminfo: memFree=1625000/2055892 swapFree=4085336/4096564 [pid=27915] ppid=27913 vsize=15728 CPUtime=49.99 /proc/27915/stat : 27915 (bsolo) R 27913 27915 27869 0 -1 0 3203 0 0 0 4973 26 0 0 25 0 1 0 190519273 16105472 3045 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134606453 0 0 4096 16384 0 0 0 17 0 0 0 /proc/27915/statm: 3932 3045 294 55 0 2823 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 15728 [startup+60.0334 s] /proc/loadavg: 0.97 0.97 0.91 2/67 27915 /proc/meminfo: memFree=1625000/2055892 swapFree=4085336/4096564 [pid=27915] ppid=27913 vsize=15728 CPUtime=59.99 /proc/27915/stat : 27915 (bsolo) R 27913 27915 27869 0 -1 0 3203 0 0 0 5969 30 0 0 25 0 1 0 190519273 16105472 3045 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/27915/statm: 3932 3045 294 55 0 2823 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 15728 [startup+70.0396 s] /proc/loadavg: 0.97 0.97 0.91 2/67 27915 /proc/meminfo: memFree=1625064/2055892 swapFree=4085336/4096564 [pid=27915] ppid=27913 vsize=15728 CPUtime=69.99 /proc/27915/stat : 27915 (bsolo) R 27913 27915 27869 0 -1 0 3203 0 0 0 6966 33 0 0 25 0 1 0 190519273 16105472 3045 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542216 0 0 4096 16384 0 0 0 17 0 0 0 /proc/27915/statm: 3932 3045 294 55 0 2823 0 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 15728 [startup+80.0458 s] /proc/loadavg: 0.98 0.97 0.91 2/67 27915 /proc/meminfo: memFree=1625064/2055892 swapFree=4085336/4096564 [pid=27915] ppid=27913 vsize=15728 CPUtime=80 /proc/27915/stat : 27915 (bsolo) R 27913 27915 27869 0 -1 0 3209 0 0 0 7963 37 0 0 25 0 1 0 190519273 16105472 3051 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/27915/statm: 3932 3051 294 55 0 2823 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 15728 [startup+90.0511 s] /proc/loadavg: 0.98 0.97 0.91 2/67 27915 /proc/meminfo: memFree=1624936/2055892 swapFree=4085336/4096564 [pid=27915] ppid=27913 vsize=15860 CPUtime=89.99 /proc/27915/stat : 27915 (bsolo) R 27913 27915 27869 0 -1 0 3243 0 0 0 8959 40 0 0 25 0 1 0 190519273 16240640 3085 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27915/statm: 3965 3085 294 55 0 2856 0 Current children cumulated CPU time (s) 89.99 Current children cumulated vsize (Kb) 15860 [startup+100.057 s] /proc/loadavg: 0.98 0.97 0.91 2/67 27915 /proc/meminfo: memFree=1624936/2055892 swapFree=4085336/4096564 [pid=27915] ppid=27913 vsize=15728 CPUtime=99.99 /proc/27915/stat : 27915 (bsolo) R 27913 27915 27869 0 -1 0 3243 0 0 0 9955 44 0 0 25 0 1 0 190519273 16105472 3059 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/27915/statm: 3932 3059 294 55 0 2823 0 Current children cumulated CPU time (s) 99.99 Current children cumulated vsize (Kb) 15728 [startup+110.064 s] /proc/loadavg: 0.98 0.97 0.91 2/67 27915 /proc/meminfo: memFree=1624936/2055892 swapFree=4085336/4096564 [pid=27915] ppid=27913 vsize=15728 CPUtime=109.98 /proc/27915/stat : 27915 (bsolo) R 27913 27915 27869 0 -1 0 3243 0 0 0 10951 47 0 0 25 0 1 0 190519273 16105472 3059 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/27915/statm: 3932 3059 294 55 0 2823 0 Current children cumulated CPU time (s) 109.98 Current children cumulated vsize (Kb) 15728 [startup+120.07 s] /proc/loadavg: 0.99 0.97 0.91 2/67 27915 /proc/meminfo: memFree=1624936/2055892 swapFree=4085336/4096564 [pid=27915] ppid=27913 vsize=15728 CPUtime=119.99 /proc/27915/stat : 27915 (bsolo) R 27913 27915 27869 0 -1 0 3243 0 0 0 11947 52 0 0 25 0 1 0 190519273 16105472 3059 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/27915/statm: 3932 3059 294 55 0 2823 0 Current children cumulated CPU time (s) 119.99 Current children cumulated vsize (Kb) 15728 [startup+130.076 s] /proc/loadavg: 0.99 0.97 0.91 2/67 27915 /proc/meminfo: memFree=1624936/2055892 swapFree=4085336/4096564 [pid=27915] ppid=27913 vsize=15728 CPUtime=129.99 /proc/27915/stat : 27915 (bsolo) R 27913 27915 27869 0 -1 0 3243 0 0 0 12943 56 0 0 25 0 1 0 190519273 16105472 3059 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/27915/statm: 3932 3059 294 55 0 2823 0 Current children cumulated CPU time (s) 129.99 Current children cumulated vsize (Kb) 15728 [startup+140.081 s] /proc/loadavg: 0.99 0.97 0.91 2/67 27915 /proc/meminfo: memFree=1624936/2055892 swapFree=4085336/4096564 [pid=27915] ppid=27913 vsize=15728 CPUtime=139.98 /proc/27915/stat : 27915 (bsolo) R 27913 27915 27869 0 -1 0 3243 0 0 0 13936 62 0 0 25 0 1 0 190519273 16105472 3059 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/27915/statm: 3932 3059 294 55 0 2823 0 Current children cumulated CPU time (s) 139.98 Current children cumulated vsize (Kb) 15728 [startup+150.088 s] /proc/loadavg: 0.99 0.97 0.91 2/67 27915 /proc/meminfo: memFree=1624936/2055892 swapFree=4085336/4096564 [pid=27915] ppid=27913 vsize=15844 CPUtime=149.99 /proc/27915/stat : 27915 (bsolo) R 27913 27915 27869 0 -1 0 3249 0 0 0 14932 67 0 0 25 0 1 0 190519273 16224256 3065 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718240 0 0 4096 16384 0 0 0 17 0 0 0 /proc/27915/statm: 3961 3065 294 55 0 2852 0 Current children cumulated CPU time (s) 149.99 Current children cumulated vsize (Kb) 15844 [startup+160.094 s] /proc/loadavg: 0.99 0.97 0.91 2/67 27915 /proc/meminfo: memFree=1624936/2055892 swapFree=4085336/4096564 [pid=27915] ppid=27913 vsize=15796 CPUtime=159.99 /proc/27915/stat : 27915 (bsolo) R 27913 27915 27869 0 -1 0 3288 0 0 0 15928 71 0 0 25 0 1 0 190519273 16175104 3076 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134604175 0 0 4096 16384 0 0 0 17 0 0 0 /proc/27915/statm: 3949 3076 294 55 0 2840 0 Current children cumulated CPU time (s) 159.99 Current children cumulated vsize (Kb) 15796 [startup+170.1 s] /proc/loadavg: 0.99 0.97 0.91 2/67 27915 /proc/meminfo: memFree=1624936/2055892 swapFree=4085336/4096564 [pid=27915] ppid=27913 vsize=15780 CPUtime=169.99 /proc/27915/stat : 27915 (bsolo) R 27913 27915 27869 0 -1 0 3288 0 0 0 16925 74 0 0 25 0 1 0 190519273 16158720 3072 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/27915/statm: 3945 3072 294 55 0 2836 0 Current children cumulated CPU time (s) 169.99 Current children cumulated vsize (Kb) 15780 [startup+180.106 s] /proc/loadavg: 0.99 0.97 0.91 2/67 27915 /proc/meminfo: memFree=1624872/2055892 swapFree=4085336/4096564 [pid=27915] ppid=27913 vsize=15780 CPUtime=179.98 /proc/27915/stat : 27915 (bsolo) R 27913 27915 27869 0 -1 0 3288 0 0 0 17921 77 0 0 25 0 1 0 190519273 16158720 3072 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603854 0 0 4096 16384 0 0 0 17 0 0 0 /proc/27915/statm: 3945 3072 294 55 0 2836 0 Current children cumulated CPU time (s) 179.98 Current children cumulated vsize (Kb) 15780 [startup+190.112 s] /proc/loadavg: 0.99 0.97 0.91 2/67 27915 /proc/meminfo: memFree=1624872/2055892 swapFree=4085336/4096564 [pid=27915] ppid=27913 vsize=15912 CPUtime=189.99 /proc/27915/stat : 27915 (bsolo) R 27913 27915 27869 0 -1 0 3297 0 0 0 18918 81 0 0 25 0 1 0 190519273 16293888 3081 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/27915/statm: 3978 3081 294 55 0 2869 0 Current children cumulated CPU time (s) 189.99 Current children cumulated vsize (Kb) 15912 [startup+200.118 s] /proc/loadavg: 0.99 0.97 0.91 2/67 27915 /proc/meminfo: memFree=1624872/2055892 swapFree=4085336/4096564 [pid=27915] ppid=27913 vsize=15912 CPUtime=199.98 /proc/27915/stat : 27915 (bsolo) R 27913 27915 27869 0 -1 0 3297 0 0 0 19912 86 0 0 25 0 1 0 190519273 16293888 3081 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 0 0 0 /proc/27915/statm: 3978 3081 294 55 0 2869 0 Current children cumulated CPU time (s) 199.98 Current children cumulated vsize (Kb) 15912 [startup+210.124 s] /proc/loadavg: 0.99 0.97 0.91 2/67 27915 /proc/meminfo: memFree=1624552/2055892 swapFree=4085336/4096564 ################ # More data... # ################ /proc/27915/statm: 4198 3325 294 55 0 3089 0 Current children cumulated CPU time (s) 1760 Current children cumulated vsize (Kb) 16792 [startup+1771.09 s] /proc/loadavg: 0.99 0.97 0.91 2/67 28110 /proc/meminfo: memFree=1623592/2055892 swapFree=4085336/4096564 [pid=27915] ppid=27913 vsize=16792 CPUtime=1770 /proc/27915/stat : 27915 (bsolo) R 27913 27915 27869 0 -1 0 4118 0 0 0 176297 703 0 0 25 0 1 0 190519273 17195008 3325 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134633162 0 0 4096 16384 0 0 0 17 0 0 0 /proc/27915/statm: 4198 3325 294 55 0 3089 0 Current children cumulated CPU time (s) 1770 Current children cumulated vsize (Kb) 16792 [startup+1781.1 s] /proc/loadavg: 0.99 0.97 0.91 2/67 28110 /proc/meminfo: memFree=1623592/2055892 swapFree=4085336/4096564 [pid=27915] ppid=27913 vsize=16792 CPUtime=1780 /proc/27915/stat : 27915 (bsolo) R 27913 27915 27869 0 -1 0 4118 0 0 0 177296 704 0 0 25 0 1 0 190519273 17195008 3325 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/27915/statm: 4198 3325 294 55 0 3089 0 Current children cumulated CPU time (s) 1780 Current children cumulated vsize (Kb) 16792 [startup+1782.1 s] /proc/loadavg: 0.99 0.97 0.91 2/67 28110 /proc/meminfo: memFree=1623592/2055892 swapFree=4085336/4096564 [pid=27915] ppid=27913 vsize=16792 CPUtime=1781 /proc/27915/stat : 27915 (bsolo) R 27913 27915 27869 0 -1 0 4118 0 0 0 177396 704 0 0 25 0 1 0 190519273 17195008 3325 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/27915/statm: 4198 3325 294 55 0 3089 0 Current children cumulated CPU time (s) 1781 Current children cumulated vsize (Kb) 16792 [startup+1783.11 s] /proc/loadavg: 0.99 0.97 0.91 2/67 28110 /proc/meminfo: memFree=1623592/2055892 swapFree=4085336/4096564 [pid=27915] ppid=27913 vsize=16792 CPUtime=1782 /proc/27915/stat : 27915 (bsolo) R 27913 27915 27869 0 -1 0 4118 0 0 0 177496 704 0 0 25 0 1 0 190519273 17195008 3325 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/27915/statm: 4198 3325 294 55 0 3089 0 Current children cumulated CPU time (s) 1782 Current children cumulated vsize (Kb) 16792 [startup+1784.11 s] /proc/loadavg: 0.99 0.97 0.91 2/67 28110 /proc/meminfo: memFree=1623592/2055892 swapFree=4085336/4096564 [pid=27915] ppid=27913 vsize=16792 CPUtime=1783.02 /proc/27915/stat : 27915 (bsolo) R 27913 27915 27869 0 -1 0 4118 0 0 0 177597 705 0 0 25 0 1 0 190519273 17195008 3325 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603854 0 0 4096 16384 0 0 0 17 0 0 0 /proc/27915/statm: 4198 3325 294 55 0 3089 0 Current children cumulated CPU time (s) 1783.02 Current children cumulated vsize (Kb) 16792 [startup+1785.12 s] /proc/loadavg: 0.99 0.97 0.91 2/67 28110 /proc/meminfo: memFree=1623592/2055892 swapFree=4085336/4096564 [pid=27915] ppid=27913 vsize=16792 CPUtime=1784.02 /proc/27915/stat : 27915 (bsolo) R 27913 27915 27869 0 -1 0 4118 0 0 0 177697 705 0 0 25 0 1 0 190519273 17195008 3325 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/27915/statm: 4198 3325 294 55 0 3089 0 Current children cumulated CPU time (s) 1784.02 Current children cumulated vsize (Kb) 16792 [startup+1786.12 s] /proc/loadavg: 0.99 0.97 0.91 2/67 28110 /proc/meminfo: memFree=1623592/2055892 swapFree=4085336/4096564 [pid=27915] ppid=27913 vsize=16792 CPUtime=1785.02 /proc/27915/stat : 27915 (bsolo) R 27913 27915 27869 0 -1 0 4118 0 0 0 177797 705 0 0 25 0 1 0 190519273 17195008 3325 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/27915/statm: 4198 3325 294 55 0 3089 0 Current children cumulated CPU time (s) 1785.02 Current children cumulated vsize (Kb) 16792 [startup+1787.13 s] /proc/loadavg: 0.99 0.97 0.91 2/67 28110 /proc/meminfo: memFree=1623592/2055892 swapFree=4085336/4096564 [pid=27915] ppid=27913 vsize=16792 CPUtime=1786.03 /proc/27915/stat : 27915 (bsolo) R 27913 27915 27869 0 -1 0 4118 0 0 0 177897 706 0 0 25 0 1 0 190519273 17195008 3325 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/27915/statm: 4198 3325 294 55 0 3089 0 Current children cumulated CPU time (s) 1786.03 Current children cumulated vsize (Kb) 16792 [startup+1788.13 s] /proc/loadavg: 0.99 0.97 0.91 2/67 28110 /proc/meminfo: memFree=1623592/2055892 swapFree=4085336/4096564 [pid=27915] ppid=27913 vsize=16792 CPUtime=1787.03 /proc/27915/stat : 27915 (bsolo) R 27913 27915 27869 0 -1 0 4118 0 0 0 177997 706 0 0 25 0 1 0 190519273 17195008 3325 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/27915/statm: 4198 3325 294 55 0 3089 0 Current children cumulated CPU time (s) 1787.03 Current children cumulated vsize (Kb) 16792 [startup+1789.14 s] /proc/loadavg: 0.99 0.97 0.91 2/67 28110 /proc/meminfo: memFree=1623592/2055892 swapFree=4085336/4096564 [pid=27915] ppid=27913 vsize=16792 CPUtime=1788.04 /proc/27915/stat : 27915 (bsolo) R 27913 27915 27869 0 -1 0 4118 0 0 0 178098 706 0 0 25 0 1 0 190519273 17195008 3325 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/27915/statm: 4198 3325 294 55 0 3089 0 Current children cumulated CPU time (s) 1788.04 Current children cumulated vsize (Kb) 16792 [startup+1790.14 s] /proc/loadavg: 0.99 0.97 0.91 2/67 28110 /proc/meminfo: memFree=1623592/2055892 swapFree=4085336/4096564 [pid=27915] ppid=27913 vsize=16792 CPUtime=1789.03 /proc/27915/stat : 27915 (bsolo) R 27913 27915 27869 0 -1 0 4118 0 0 0 178197 706 0 0 25 0 1 0 190519273 17195008 3325 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27915/statm: 4198 3325 294 55 0 3089 0 Current children cumulated CPU time (s) 1789.03 Current children cumulated vsize (Kb) 16792 [startup+1791.15 s] /proc/loadavg: 0.99 0.97 0.91 2/67 28110 /proc/meminfo: memFree=1623592/2055892 swapFree=4085336/4096564 [pid=27915] ppid=27913 vsize=16792 CPUtime=1790.04 /proc/27915/stat : 27915 (bsolo) R 27913 27915 27869 0 -1 0 4118 0 0 0 178297 707 0 0 25 0 1 0 190519273 17195008 3325 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718240 0 0 4096 16384 0 0 0 17 0 0 0 /proc/27915/statm: 4198 3325 294 55 0 3089 0 Current children cumulated CPU time (s) 1790.04 Current children cumulated vsize (Kb) 16792 [startup+1792.15 s] /proc/loadavg: 0.99 0.97 0.91 2/67 28110 /proc/meminfo: memFree=1623592/2055892 swapFree=4085336/4096564 [pid=27915] ppid=27913 vsize=16792 CPUtime=1791.04 /proc/27915/stat : 27915 (bsolo) R 27913 27915 27869 0 -1 0 4118 0 0 0 178397 707 0 0 25 0 1 0 190519273 17195008 3325 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/27915/statm: 4198 3325 294 55 0 3089 0 Current children cumulated CPU time (s) 1791.04 Current children cumulated vsize (Kb) 16792 [startup+1793.16 s] /proc/loadavg: 0.99 0.97 0.91 2/67 28110 /proc/meminfo: memFree=1623592/2055892 swapFree=4085336/4096564 [pid=27915] ppid=27913 vsize=16792 CPUtime=1792.05 /proc/27915/stat : 27915 (bsolo) R 27913 27915 27869 0 -1 0 4118 0 0 0 178498 707 0 0 25 0 1 0 190519273 17195008 3325 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541274 0 0 4096 16384 0 0 0 17 0 0 0 /proc/27915/statm: 4198 3325 294 55 0 3089 0 Current children cumulated CPU time (s) 1792.05 Current children cumulated vsize (Kb) 16792 [startup+1794.16 s] /proc/loadavg: 0.99 0.97 0.91 2/67 28110 /proc/meminfo: memFree=1623592/2055892 swapFree=4085336/4096564 [pid=27915] ppid=27913 vsize=16792 CPUtime=1793.05 /proc/27915/stat : 27915 (bsolo) R 27913 27915 27869 0 -1 0 4118 0 0 0 178598 707 0 0 25 0 1 0 190519273 17195008 3325 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550974 0 0 4096 16384 0 0 0 17 0 0 0 /proc/27915/statm: 4198 3325 294 55 0 3089 0 Current children cumulated CPU time (s) 1793.05 Current children cumulated vsize (Kb) 16792 [startup+1795.17 s] /proc/loadavg: 0.99 0.97 0.91 2/67 28110 /proc/meminfo: memFree=1623592/2055892 swapFree=4085336/4096564 [pid=27915] ppid=27913 vsize=16792 CPUtime=1794.06 /proc/27915/stat : 27915 (bsolo) R 27913 27915 27869 0 -1 0 4118 0 0 0 178699 707 0 0 25 0 1 0 190519273 17195008 3325 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603851 0 0 4096 16384 0 0 0 17 0 0 0 /proc/27915/statm: 4198 3325 294 55 0 3089 0 Current children cumulated CPU time (s) 1794.06 Current children cumulated vsize (Kb) 16792 [startup+1796.17 s] /proc/loadavg: 0.99 0.97 0.91 2/67 28110 /proc/meminfo: memFree=1623592/2055892 swapFree=4085336/4096564 [pid=27915] ppid=27913 vsize=16792 CPUtime=1795.06 /proc/27915/stat : 27915 (bsolo) R 27913 27915 27869 0 -1 0 4118 0 0 0 178799 707 0 0 25 0 1 0 190519273 17195008 3325 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/27915/statm: 4198 3325 294 55 0 3089 0 Current children cumulated CPU time (s) 1795.06 Current children cumulated vsize (Kb) 16792 [startup+1797.18 s] /proc/loadavg: 0.99 0.97 0.91 2/67 28110 /proc/meminfo: memFree=1623592/2055892 swapFree=4085336/4096564 [pid=27915] ppid=27913 vsize=16792 CPUtime=1796.06 /proc/27915/stat : 27915 (bsolo) R 27913 27915 27869 0 -1 0 4118 0 0 0 178899 707 0 0 25 0 1 0 190519273 17195008 3325 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/27915/statm: 4198 3325 294 55 0 3089 0 Current children cumulated CPU time (s) 1796.06 Current children cumulated vsize (Kb) 16792 [startup+1798.18 s] /proc/loadavg: 0.99 0.97 0.91 2/67 28110 /proc/meminfo: memFree=1623592/2055892 swapFree=4085336/4096564 [pid=27915] ppid=27913 vsize=16792 CPUtime=1797.06 /proc/27915/stat : 27915 (bsolo) R 27913 27915 27869 0 -1 0 4118 0 0 0 178999 707 0 0 25 0 1 0 190519273 17195008 3325 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134696504 0 0 4096 16384 0 0 0 17 0 0 0 /proc/27915/statm: 4198 3325 294 55 0 3089 0 Current children cumulated CPU time (s) 1797.06 Current children cumulated vsize (Kb) 16792 [startup+1799.19 s] /proc/loadavg: 0.99 0.97 0.91 2/67 28110 /proc/meminfo: memFree=1623528/2055892 swapFree=4085336/4096564 [pid=27915] ppid=27913 vsize=16792 CPUtime=1798.08 /proc/27915/stat : 27915 (bsolo) R 27913 27915 27869 0 -1 0 4118 0 0 0 179100 708 0 0 25 0 1 0 190519273 17195008 3325 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/27915/statm: 4198 3325 294 55 0 3089 0 Current children cumulated CPU time (s) 1798.08 Current children cumulated vsize (Kb) 16792 [startup+1800.19 s] /proc/loadavg: 0.99 0.97 0.91 2/67 28110 /proc/meminfo: memFree=1623528/2055892 swapFree=4085336/4096564 [pid=27915] ppid=27913 vsize=16792 CPUtime=1799.08 /proc/27915/stat : 27915 (bsolo) R 27913 27915 27869 0 -1 0 4118 0 0 0 179200 708 0 0 25 0 1 0 190519273 17195008 3325 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/27915/statm: 4198 3325 294 55 0 3089 0 Current children cumulated CPU time (s) 1799.08 Current children cumulated vsize (Kb) 16792 Child status: 0 Real time (s): 1801.11 CPU time (s): 1800.01 CPU user time (s): 1792.92 CPU system time (s): 7.08692 CPU usage (%): 99.9385 Max. virtual memory (cumulated for all children) (Kb): 17044
Begin job on node77 on Fri Jun 2 11:46:41 UTC 2006 FILE ID= 39796-1149248801 PBS_JOBID= 297954 BENCH NAME= ROOT/tmp/node77/39796-1149248801/instance-39796-1149248801.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node77/39796-1149248801/instance-39796-1149248801.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node77/watcher-39796-1149248801 -o ROOT/results/node77/solver-39796-1149248801 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node77/39796-1149248801/instance-39796-1149248801.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 6ddbc05dc60ac3abba60700f70e1bd54 RANDOM SEED= 553874926 /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.238 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 : 6006.16 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.238 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 : 5999.41 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055892 kB MemFree: 1636280 kB Buffers: 34888 kB Cached: 317768 kB SwapCached: 2644 kB Active: 100452 kB Inactive: 261096 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1636280 kB SwapTotal: 4096564 kB SwapFree: 4085336 kB Dirty: 180 kB Writeback: 0 kB Mapped: 16116 kB Slab: 44760 kB Committed_AS: 251820 kB PageTables: 1276 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node77 on Fri Jun 2 12:16:42 UTC 2006