Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | ? | 1800.01 | 1800.67 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-ran12x21.opb |
MD5SUM | c8eb834e0a7928e8a3e340a1c0512bdc |
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 | 0.18597 |
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 | 7812 |
Total number of constraints | 285 |
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 | 285 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 630 |
Number of terms in the objective function | 7812 |
Biggest coefficient in the objective function | 1825 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 530518 |
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 | 530518 |
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.05 c INFO: OSL Context initialized. 0.23 c Initial problem consists of 7812 variables and 318 constraints. 0.25 c No problem reductions applied in OPT. instance. 0.25 c preprocess terminated. Elapsed time: 0.197 0.25 c After prepocess the problem consists of 3759 variables and 318 constraints. 0.25 c Initial Lower Bound: 0 0.42 c Restart #1 #Var: 3759 LB: 0 @ 0.371 1.27 c Restart #2 #Var: 3759 LB: 0 @ 1.22 2.24 c Restart #3 #Var: 3759 LB: 0 @ 2.189 4.32 c Restart #4 #Var: 3759 LB: 0 @ 4.258 6.77 c Restart #5 #Var: 3759 LB: 0 @ 6.714 9.70 c Restart #6 #Var: 3759 LB: 0 @ 9.638 12.95 c Restart #7 #Var: 3759 LB: 0 @ 12.892 16.19 c Restart #8 #Var: 3759 LB: 0 @ 16.126 18.91 c Restart #9 #Var: 3759 LB: 0 @ 18.845 19.64 c Restart #10 #Var: 3759 LB: 0 @ 19.573 20.45 c Restart #11 #Var: 3759 LB: 0 @ 20.388 21.35 c Restart #12 #Var: 3759 LB: 0 @ 21.286 22.33 c Restart #13 #Var: 3759 LB: 0 @ 22.265 23.54 c Restart #14 #Var: 3759 LB: 0 @ 23.475 24.83 c Restart #15 #Var: 3759 LB: 0 @ 24.768 26.08 c Restart #16 #Var: 3759 LB: 0 @ 26.013 27.40 c Restart #17 #Var: 3759 LB: 0 @ 27.329 28.92 c Restart #18 #Var: 3759 LB: 0 @ 28.857 30.41 c Restart #19 #Var: 3759 LB: 0 @ 30.343 31.84 c Restart #20 #Var: 3759 LB: 0 @ 31.775 33.68 c Restart #21 #Var: 3759 LB: 0 @ 33.613 35.30 c Restart #22 #Var: 3759 LB: 0 @ 35.23 37.27 c Restart #23 #Var: 3759 LB: 0 @ 37.204 39.29 c Restart #24 #Var: 3759 LB: 0 @ 39.225 41.04 c Restart #25 #Var: 3759 LB: 0 @ 40.974 43.44 c Restart #26 #Var: 3759 LB: 0 @ 43.37 46.01 c Restart #27 #Var: 3759 LB: 0 @ 45.94 48.51 c Restart #28 #Var: 3759 LB: 0 @ 48.441 51.69 c Restart #29 #Var: 3759 LB: 0 @ 51.617 54.60 c Restart #30 #Var: 3759 LB: 0 @ 54.53 56.94 c Restart #31 #Var: 3759 LB: 0 @ 56.861 59.60 c Restart #32 #Var: 3759 LB: 0 @ 59.526 62.80 c Restart #33 #Var: 3759 LB: 0 @ 62.721 65.36 c Restart #34 #Var: 3759 LB: 0 @ 65.282 68.00 c Restart #35 #Var: 3759 LB: 0 @ 67.921 71.09 c Restart #36 #Var: 3759 LB: 0 @ 71.011 74.00 c Restart #37 #Var: 3759 LB: 0 @ 73.915 77.08 c Restart #38 #Var: 3759 LB: 0 @ 77.002 80.76 c Restart #39 #Var: 3759 LB: 0 @ 80.683 83.54 c Restart #40 #Var: 3759 LB: 0 @ 83.459 86.73 c Restart #41 #Var: 3759 LB: 0 @ 86.648 90.47 c Restart #42 #Var: 3759 LB: 0 @ 90.39 93.40 c Restart #43 #Var: 3759 LB: 0 @ 93.312 96.72 c Restart #44 #Var: 3759 LB: 0 @ 96.635 101.23 c Restart #45 #Var: 3759 LB: 0 @ 101.14 104.35 c Restart #46 #Var: 3759 LB: 0 @ 104.26 108.14 c Restart #47 #Var: 3759 LB: 0 @ 108.05 112.36 c Restart #48 #Var: 3759 LB: 0 @ 112.27 116.16 c Restart #49 #Var: 3759 LB: 0 @ 116.06 119.90 c Restart #50 #Var: 3759 LB: 0 @ 119.81 125.35 c Restart #51 #Var: 3759 LB: 0 @ 125.26 129.55 c Restart #52 #Var: 3759 LB: 0 @ 129.45 134.24 c Restart #53 #Var: 3759 LB: 0 @ 134.15 138.35 c Restart #54 #Var: 3759 LB: 0 @ 138.26 143.66 c Restart #55 #Var: 3759 LB: 0 @ 143.56 149.44 c Restart #56 #Var: 3759 LB: 0 @ 149.34 153.68 c Restart #57 #Var: 3759 LB: 0 @ 153.57 159.00 c Restart #58 #Var: 3759 LB: 0 @ 158.89 164.30 c Restart #59 #Var: 3759 LB: 0 @ 164.19 169.89 c Restart #60 #Var: 3759 LB: 0 @ 169.78 175.34 c Restart #61 #Var: 3759 LB: 0 @ 175.23 181.10 c Restart #62 #Var: 3759 LB: 0 @ 180.99 186.35 c Restart #63 #Var: 3759 LB: 0 @ 186.24 191.86 c Restart #64 #Var: 3759 LB: 0 @ 191.75 196.95 c Restart #65 #Var: 3759 LB: 0 @ 196.83 201.89 c Restart #66 #Var: 3759 LB: 0 @ 201.77 208.18 c Restart #67 #Var: 3759 LB: 0 @ 208.06 213.19 c Restart #68 #Var: 3759 LB: 0 @ 213.07 218.77 c Restart #69 #Var: 3759 LB: 0 @ 218.65 225.29 c Restart #70 #Var: 3759 LB: 0 @ 225.17 230.78 c Restart #71 #Var: 3759 LB: 0 @ 230.65 236.44 c Restart #72 #Var: 3759 LB: 0 @ 236.32 243.96 c Restart #73 #Var: 3759 LB: 0 @ 243.83 250.51 c Restart #74 #Var: 3759 LB: 0 @ 250.38 256.41 c Restart #75 #Var: 3759 LB: 0 @ 256.28 263.77 c Restart #76 #Var: 3759 LB: 0 @ 263.64 270.66 c Restart #77 #Var: 3759 LB: 0 @ 270.52 276.90 c Restart #78 #Var: 3759 LB: 0 @ 276.76 284.92 c Restart #79 #Var: 3759 LB: 0 @ 284.77 291.53 c Restart #80 #Var: 3759 LB: 0 @ 291.38 298.13 c Restart #81 #Var: 3759 LB: 0 @ 297.98 305.69 c Restart #82 #Var: 3759 LB: 0 @ 305.54 312.03 c Restart #83 #Var: 3759 LB: 0 @ 311.88 319.42 c Restart #84 #Var: 3759 LB: 0 @ 319.26 327.31 c Restart #85 #Var: 3759 LB: 0 @ 327.15 335.64 c Restart #86 #Var: 3759 LB: 0 @ 335.48 342.69 c Restart #87 #Var: 3759 LB: 0 @ 342.53 350.44 c Restart #88 #Var: 3759 LB: 0 @ 350.28 357.00 c Restart #89 #Var: 3759 LB: 0 @ 356.83 365.50 c Restart #90 #Var: 3759 LB: 0 @ 365.34 374.62 c Restart #91 #Var: 3759 LB: 0 @ 374.45 381.94 c Restart #92 #Var: 3759 LB: 0 @ 381.77 389.01 c Restart #93 #Var: 3759 LB: 0 @ 388.84 397.46 c Restart #94 #Var: 3759 LB: 0 @ 397.28 405.77 c Restart #95 #Var: 3759 LB: 0 @ 405.6 413.73 c Restart #96 #Var: 3759 LB: 0 @ 413.55 424.14 c Restart #97 #Var: 3759 LB: 0 @ 423.95 431.00 c Restart #98 #Var: 3759 LB: 0 @ 430.81 439.25 c Restart #99 #Var: 3759 LB: 0 @ 439.07 448.51 c Restart #100 #Var: 3759 LB: 0 @ 448.32 456.91 c Restart #101 #Var: 3759 LB: 0 @ 456.72 466.95 c Restart #102 #Var: 3759 LB: 0 @ 466.75 476.58 c Restart #103 #Var: 3759 LB: 0 @ 476.38 484.33 c Restart #104 #Var: 3759 LB: 0 @ 484.13 492.86 c Restart #105 #Var: 3759 LB: 0 @ 492.66 503.18 c Restart #106 #Var: 3759 LB: 0 @ 502.97 513.79 c Restart #107 #Var: 3759 LB: 0 @ 513.58 523.03 c Restart #108 #Var: 3759 LB: 0 @ 522.82 530.89 c Restart #109 #Var: 3759 LB: 0 @ 530.68 541.95 c Restart #110 #Var: 3759 LB: 0 @ 541.73 551.61 c Restart #111 #Var: 3759 LB: 0 @ 551.39 560.79 c Restart #112 #Var: 3759 LB: 0 @ 560.57 571.82 c Restart #113 #Var: 3759 LB: 0 @ 571.6 582.20 c Restart #114 #Var: 3759 LB: 0 @ 581.97 591.88 c Restart #115 #Var: 3759 LB: 0 @ 591.65 601.47 c Restart #116 #Var: 3759 LB: 0 @ 601.24 612.60 c Restart #117 #Var: 3759 LB: 0 @ 612.36 623.79 c Restart #118 #Var: 3759 LB: 0 @ 623.55 635.30 c Restart #119 #Var: 3759 LB: 0 @ 635.06 645.36 c Restart #120 #Var: 3759 LB: 0 @ 645.11 657.42 c Restart #121 #Var: 3759 LB: 0 @ 657.17 667.17 c Restart #122 #Var: 3759 LB: 0 @ 666.91 675.68 c Restart #123 #Var: 3759 LB: 0 @ 675.42 687.75 c Restart #124 #Var: 3759 LB: 0 @ 687.49 698.27 c Restart #125 #Var: 3759 LB: 0 @ 698.01 707.99 c Restart #126 #Var: 3759 LB: 0 @ 707.72 720.57 c Restart #127 #Var: 3759 LB: 0 @ 720.3 731.19 c Restart #128 #Var: 3759 LB: 0 @ 730.91 740.47 c Restart #129 #Var: 3759 LB: 0 @ 740.19 753.00 c Restart #130 #Var: 3759 LB: 0 @ 752.72 764.71 c Restart #131 #Var: 3759 LB: 0 @ 764.43 777.35 c Restart #132 #Var: 3759 LB: 0 @ 777.06 791.47 c Restart #133 #Var: 3759 LB: 0 @ 791.18 801.93 c Restart #134 #Var: 3759 LB: 0 @ 801.64 813.83 c Restart #135 #Var: 3759 LB: 0 @ 813.53 827.29 c Restart #136 #Var: 3759 LB: 0 @ 826.99 838.24 c Restart #137 #Var: 3759 LB: 0 @ 837.93 851.73 c Restart #138 #Var: 3759 LB: 0 @ 851.42 865.16 c Restart #139 #Var: 3759 LB: 0 @ 864.84 877.81 c Restart #140 #Var: 3759 LB: 0 @ 877.49 892.50 c Restart #141 #Var: 3759 LB: 0 @ 892.18 904.75 c CHANGE Heuristic... 904.75 c Restart #0 #Var: 3759 LB: 0 @ 904.42 904.84 c Restart #1 #Var: 3759 LB: 0 @ 904.52 904.99 c Restart #2 #Var: 3759 LB: 0 @ 904.66 905.26 c Restart #3 #Var: 3759 LB: 0 @ 904.93 905.61 c Restart #4 #Var: 3759 LB: 0 @ 905.28 906.05 c Restart #5 #Var: 3759 LB: 0 @ 905.72 906.58 c Restart #6 #Var: 3759 LB: 0 @ 906.25 907.19 c Restart #7 #Var: 3759 LB: 0 @ 906.86 907.87 c Restart #8 #Var: 3759 LB: 0 @ 907.54 908.52 c Restart #9 #Var: 3759 LB: 0 @ 908.19 909.37 c Restart #10 #Var: 3759 LB: 0 @ 909.04 910.33 c Restart #11 #Var: 3759 LB: 0 @ 910 911.20 c Restart #12 #Var: 3759 LB: 0 @ 910.87 912.28 c Restart #13 #Var: 3759 LB: 0 @ 911.96 913.53 c Restart #14 #Var: 3759 LB: 0 @ 913.21 914.59 c Restart #15 #Var: 3759 LB: 0 @ 914.26 916.03 c Restart #16 #Var: 3759 LB: 0 @ 915.7 917.51 c Restart #17 #Var: 3759 LB: 0 @ 917.18 918.86 c Restart #18 #Var: 3759 LB: 0 @ 918.53 920.52 c Restart #19 #Var: 3759 LB: 0 @ 920.19 922.31 c Restart #20 #Var: 3759 LB: 0 @ 921.99 923.79 c Restart #21 #Var: 3759 LB: 0 @ 923.46 925.69 c Restart #22 #Var: 3759 LB: 0 @ 925.36 927.70 c Restart #23 #Var: 3759 LB: 0 @ 927.37 929.51 c Restart #24 #Var: 3759 LB: 0 @ 929.18 931.62 c Restart #25 #Var: 3759 LB: 0 @ 931.29 933.94 c Restart #26 #Var: 3759 LB: 0 @ 933.61 936.03 c Restart #27 #Var: 3759 LB: 0 @ 935.69 938.50 c Restart #28 #Var: 3759 LB: 0 @ 938.16 941.06 c Restart #29 #Var: 3759 LB: 0 @ 940.72 943.20 c Restart #30 #Var: 3759 LB: 0 @ 942.87 945.90 c Restart #31 #Var: 3759 LB: 0 @ 945.57 948.61 c Restart #32 #Var: 3759 LB: 0 @ 948.27 950.96 c Restart #33 #Var: 3759 LB: 0 @ 950.62 953.77 c Restart #34 #Var: 3759 LB: 0 @ 953.42 956.92 c Restart #35 #Var: 3759 LB: 0 @ 956.58 959.60 c Restart #36 #Var: 3759 LB: 0 @ 959.26 962.71 c Restart #37 #Var: 3759 LB: 0 @ 962.37 965.95 c Restart #38 #Var: 3759 LB: 0 @ 965.6 968.79 c Restart #39 #Var: 3759 LB: 0 @ 968.45 972.13 c Restart #40 #Var: 3759 LB: 0 @ 971.79 975.75 c Restart #41 #Var: 3759 LB: 0 @ 975.4 979.06 c Restart #42 #Var: 3759 LB: 0 @ 978.71 982.77 c Restart #43 #Var: 3759 LB: 0 @ 982.42 986.58 c Restart #44 #Var: 3759 LB: 0 @ 986.23 989.85 c Restart #45 #Var: 3759 LB: 0 @ 989.5 993.84 c Restart #46 #Var: 3759 LB: 0 @ 993.49 997.83 c Restart #47 #Var: 3759 LB: 0 @ 997.48 1001.68 c Restart #48 #Var: 3759 LB: 0 @ 1001.3 1005.79 c Restart #49 #Var: 3759 LB: 0 @ 1005.4 1009.94 c Restart #50 #Var: 3759 LB: 0 @ 1009.6 1013.92 c Restart #51 #Var: 3759 LB: 0 @ 1013.6 1018.28 c Restart #52 #Var: 3759 LB: 0 @ 1017.9 1022.83 c Restart #53 #Var: 3759 LB: 0 @ 1022.5 1026.97 c Restart #54 #Var: 3759 LB: 0 @ 1026.6 1031.68 c Restart #55 #Var: 3759 LB: 0 @ 1031.3 1036.64 c Restart #56 #Var: 3759 LB: 0 @ 1036.3 1041.12 c Restart #57 #Var: 3759 LB: 0 @ 1040.8 1046.15 c Restart #58 #Var: 3759 LB: 0 @ 1045.8 1050.92 c Restart #59 #Var: 3759 LB: 0 @ 1050.6 1055.79 c Restart #60 #Var: 3759 LB: 0 @ 1055.4 1060.84 c Restart #61 #Var: 3759 LB: 0 @ 1060.5 1066.29 c Restart #62 #Var: 3759 LB: 0 @ 1065.9 1070.95 c Restart #63 #Var: 3759 LB: 0 @ 1070.6 1076.59 c Restart #64 #Var: 3759 LB: 0 @ 1076.2 1082.02 c Restart #65 #Var: 3759 LB: 0 @ 1081.6 1087.01 c Restart #66 #Var: 3759 LB: 0 @ 1086.6 1092.80 c Restart #67 #Var: 3759 LB: 0 @ 1092.4 1098.73 c Restart #68 #Var: 3759 LB: 0 @ 1098.3 1103.86 c Restart #69 #Var: 3759 LB: 0 @ 1103.5 1110.07 c Restart #70 #Var: 3759 LB: 0 @ 1109.7 1116.09 c Restart #71 #Var: 3759 LB: 0 @ 1115.7 1121.33 c Restart #72 #Var: 3759 LB: 0 @ 1120.9 1128.18 c Restart #73 #Var: 3759 LB: 0 @ 1127.8 1135.25 c Restart #74 #Var: 3759 LB: 0 @ 1134.9 1140.80 c Restart #75 #Var: 3759 LB: 0 @ 1140.4 1147.70 c Restart #76 #Var: 3759 LB: 0 @ 1147.3 1154.43 c Restart #77 #Var: 3759 LB: 0 @ 1154 1160.37 c Restart #78 #Var: 3759 LB: 0 @ 1160 1167.90 c Restart #79 #Var: 3759 LB: 0 @ 1167.5 1175.19 c Restart #80 #Var: 3759 LB: 0 @ 1174.8 1181.59 c Restart #81 #Var: 3759 LB: 0 @ 1181.2 1189.25 c Restart #82 #Var: 3759 LB: 0 @ 1188.8 1196.55 c Restart #83 #Var: 3759 LB: 0 @ 1196.1 1203.37 c Restart #84 #Var: 3759 LB: 0 @ 1203 1210.44 c Restart #85 #Var: 3759 LB: 0 @ 1210 1218.45 c Restart #86 #Var: 3759 LB: 0 @ 1218 1226.11 c Restart #87 #Var: 3759 LB: 0 @ 1225.7 1232.99 c Restart #88 #Var: 3759 LB: 0 @ 1232.6 1241.52 c Restart #89 #Var: 3759 LB: 0 @ 1241.1 1249.10 c Restart #90 #Var: 3759 LB: 0 @ 1248.7 1256.64 c Restart #91 #Var: 3759 LB: 0 @ 1256.2 1264.06 c Restart #92 #Var: 3759 LB: 0 @ 1263.6 1272.52 c Restart #93 #Var: 3759 LB: 0 @ 1272.1 1280.05 c Restart #94 #Var: 3759 LB: 0 @ 1279.6 1288.51 c Restart #95 #Var: 3759 LB: 0 @ 1288.1 1297.11 c Restart #96 #Var: 3759 LB: 0 @ 1296.7 1305.62 c Restart #97 #Var: 3759 LB: 0 @ 1305.2 1313.99 c Restart #98 #Var: 3759 LB: 0 @ 1313.5 1321.73 c Restart #99 #Var: 3759 LB: 0 @ 1321.2 1330.51 c Restart #100 #Var: 3759 LB: 0 @ 1330 1339.77 c Restart #101 #Var: 3759 LB: 0 @ 1339.2 1348.37 c Restart #102 #Var: 3759 LB: 0 @ 1347.8 1358.19 c Restart #103 #Var: 3759 LB: 0 @ 1357.7 1367.33 c Restart #104 #Var: 3759 LB: 0 @ 1366.8 1376.30 c Restart #105 #Var: 3759 LB: 0 @ 1375.8 1385.89 c Restart #106 #Var: 3759 LB: 0 @ 1385.4 1395.36 c Restart #107 #Var: 3759 LB: 0 @ 1394.8 1403.64 c Restart #108 #Var: 3759 LB: 0 @ 1403.1 1412.49 c Restart #109 #Var: 3759 LB: 0 @ 1411.9 1422.21 c Restart #110 #Var: 3759 LB: 0 @ 1421.7 1431.38 c Restart #111 #Var: 3759 LB: 0 @ 1430.8 1441.31 c Restart #112 #Var: 3759 LB: 0 @ 1440.8 1450.61 c Restart #113 #Var: 3759 LB: 0 @ 1450.1 1460.37 c Restart #114 #Var: 3759 LB: 0 @ 1459.8 1471.28 c Restart #115 #Var: 3759 LB: 0 @ 1470.7 1481.20 c Restart #116 #Var: 3759 LB: 0 @ 1480.6 1491.65 c Restart #117 #Var: 3759 LB: 0 @ 1491.1 1501.60 c Restart #118 #Var: 3759 LB: 0 @ 1501 1512.02 c Restart #119 #Var: 3759 LB: 0 @ 1511.4 1522.00 c Restart #120 #Var: 3759 LB: 0 @ 1521.4 1533.94 c Restart #121 #Var: 3759 LB: 0 @ 1533.4 1545.34 c Restart #122 #Var: 3759 LB: 0 @ 1544.8 1556.52 c Restart #123 #Var: 3759 LB: 0 @ 1555.9 1567.18 c Restart #124 #Var: 3759 LB: 0 @ 1566.6 1577.55 c Restart #125 #Var: 3759 LB: 0 @ 1577 1589.50 c Restart #126 #Var: 3759 LB: 0 @ 1588.9 1601.37 c Restart #127 #Var: 3759 LB: 0 @ 1600.8 1613.14 c Restart #128 #Var: 3759 LB: 0 @ 1612.5 1624.63 c Restart #129 #Var: 3759 LB: 0 @ 1624 1634.57 c Restart #130 #Var: 3759 LB: 0 @ 1634 1645.71 c Restart #131 #Var: 3759 LB: 0 @ 1645.1 1657.39 c Restart #132 #Var: 3759 LB: 0 @ 1656.8 1668.82 c Restart #133 #Var: 3759 LB: 0 @ 1668.2 1680.35 c Restart #134 #Var: 3759 LB: 0 @ 1679.7 1692.35 c Restart #135 #Var: 3759 LB: 0 @ 1691.7 1704.90 c Restart #136 #Var: 3759 LB: 0 @ 1704.3 1717.96 c Restart #137 #Var: 3759 LB: 0 @ 1717.3 1730.41 c Restart #138 #Var: 3759 LB: 0 @ 1729.8 1742.29 c Restart #139 #Var: 3759 LB: 0 @ 1741.7 1756.05 c Restart #140 #Var: 3759 LB: 0 @ 1755.4 1767.83 c Restart #141 #Var: 3759 LB: 0 @ 1767.2 1780.88 c Restart #142 #Var: 3759 LB: 0 @ 1780.2 1793.08 c Restart #143 #Var: 3759 LB: 0 @ 1792.4 1800.66 s UNKNOWN 1800.66 c Exit Code: 0 1800.66 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/node62/watcher-39811-1149251964 -o ROOT/results/node62/solver-39811-1149251964 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node62/39811-1149251964/instance-39811-1149251964.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.95 2/64 1275 /proc/meminfo: memFree=1558352/2055920 swapFree=4192036/4192956 [pid=1275] ppid=1273 vsize=436 CPUtime=0 /proc/1275/stat : 1275 (bsolo) R 1273 1275 1229 0 -1 0 38 0 0 0 0 0 0 0 19 0 1 0 34399897 446464 23 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8106788 0 2147483391 4096 0 0 0 0 17 1 0 0 /proc/1275/statm: 109 23 18 55 0 18 0 [startup+10.003 s] /proc/loadavg: 0.93 0.95 0.95 2/64 1275 /proc/meminfo: memFree=1547992/2055920 swapFree=4192036/4192956 [pid=1275] ppid=1273 vsize=14828 CPUtime=9.93 /proc/1275/stat : 1275 (bsolo) R 1273 1275 1229 0 -1 0 3089 0 0 0 991 2 0 0 25 0 1 0 34399897 15183872 2841 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548211 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1275/statm: 3707 2841 297 55 0 2599 0 Current children cumulated CPU time (s) 9.93 Current children cumulated vsize (Kb) 14828 [startup+20.0092 s] /proc/loadavg: 0.94 0.96 0.95 2/64 1275 /proc/meminfo: memFree=1547544/2055920 swapFree=4192036/4192956 [pid=1275] ppid=1273 vsize=15528 CPUtime=19.94 /proc/1275/stat : 1275 (bsolo) R 1273 1275 1229 0 -1 0 3764 0 0 0 1991 3 0 0 25 0 1 0 34399897 15900672 2997 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1275/statm: 3882 2997 297 55 0 2774 0 Current children cumulated CPU time (s) 19.94 Current children cumulated vsize (Kb) 15528 [startup+30.0154 s] /proc/loadavg: 0.95 0.96 0.95 2/64 1275 /proc/meminfo: memFree=1546840/2055920 swapFree=4192036/4192956 [pid=1275] ppid=1273 vsize=16100 CPUtime=29.94 /proc/1275/stat : 1275 (bsolo) R 1273 1275 1229 0 -1 0 3939 0 0 0 2989 5 0 0 25 0 1 0 34399897 16486400 3159 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8223860 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1275/statm: 4025 3159 297 55 0 2917 0 Current children cumulated CPU time (s) 29.94 Current children cumulated vsize (Kb) 16100 [startup+40.0206 s] /proc/loadavg: 0.95 0.96 0.95 2/64 1275 /proc/meminfo: memFree=1546840/2055920 swapFree=4192036/4192956 [pid=1275] ppid=1273 vsize=16100 CPUtime=39.94 /proc/1275/stat : 1275 (bsolo) R 1273 1275 1229 0 -1 0 3939 0 0 0 3987 7 0 0 25 0 1 0 34399897 16486400 3159 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134633157 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1275/statm: 4025 3159 297 55 0 2917 0 Current children cumulated CPU time (s) 39.94 Current children cumulated vsize (Kb) 16100 [startup+50.0268 s] /proc/loadavg: 0.96 0.96 0.95 2/64 1275 /proc/meminfo: memFree=1546712/2055920 swapFree=4192036/4192956 [pid=1275] ppid=1273 vsize=16164 CPUtime=49.94 /proc/1275/stat : 1275 (bsolo) R 1273 1275 1229 0 -1 0 3973 0 0 0 4984 10 0 0 25 0 1 0 34399897 16551936 3175 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1275/statm: 4041 3175 297 55 0 2933 0 Current children cumulated CPU time (s) 49.94 Current children cumulated vsize (Kb) 16164 [startup+60.033 s] /proc/loadavg: 0.97 0.96 0.95 2/64 1275 /proc/meminfo: memFree=1546776/2055920 swapFree=4192036/4192956 [pid=1275] ppid=1273 vsize=16100 CPUtime=59.95 /proc/1275/stat : 1275 (bsolo) R 1273 1275 1229 0 -1 0 3973 0 0 0 5981 14 0 0 25 0 1 0 34399897 16486400 3159 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1275/statm: 4025 3159 297 55 0 2917 0 Current children cumulated CPU time (s) 59.95 Current children cumulated vsize (Kb) 16100 [startup+70.0392 s] /proc/loadavg: 0.97 0.96 0.95 2/64 1275 /proc/meminfo: memFree=1546648/2055920 swapFree=4192036/4192956 [pid=1275] ppid=1273 vsize=16368 CPUtime=69.95 /proc/1275/stat : 1275 (bsolo) R 1273 1275 1229 0 -1 0 4040 0 0 0 6978 17 0 0 25 0 1 0 34399897 16760832 3226 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1275/statm: 4092 3226 297 55 0 2984 0 Current children cumulated CPU time (s) 69.95 Current children cumulated vsize (Kb) 16368 [startup+80.0453 s] /proc/loadavg: 0.98 0.96 0.95 2/64 1275 /proc/meminfo: memFree=1546648/2055920 swapFree=4192036/4192956 [pid=1275] ppid=1273 vsize=16188 CPUtime=79.95 /proc/1275/stat : 1275 (bsolo) R 1273 1275 1229 0 -1 0 4040 0 0 0 7977 18 0 0 25 0 1 0 34399897 16576512 3181 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1275/statm: 4047 3181 297 55 0 2939 0 Current children cumulated CPU time (s) 79.95 Current children cumulated vsize (Kb) 16188 [startup+90.0515 s] /proc/loadavg: 0.98 0.96 0.95 2/64 1275 /proc/meminfo: memFree=1546712/2055920 swapFree=4192036/4192956 [pid=1275] ppid=1273 vsize=16188 CPUtime=89.96 /proc/1275/stat : 1275 (bsolo) R 1273 1275 1229 0 -1 0 4040 0 0 0 8976 20 0 0 25 0 1 0 34399897 16576512 3181 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548211 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1275/statm: 4047 3181 297 55 0 2939 0 Current children cumulated CPU time (s) 89.96 Current children cumulated vsize (Kb) 16188 [startup+100.057 s] /proc/loadavg: 0.98 0.96 0.95 2/64 1275 /proc/meminfo: memFree=1546712/2055920 swapFree=4192036/4192956 [pid=1275] ppid=1273 vsize=16188 CPUtime=99.96 /proc/1275/stat : 1275 (bsolo) R 1273 1275 1229 0 -1 0 4040 0 0 0 9974 22 0 0 25 0 1 0 34399897 16576512 3181 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548225 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1275/statm: 4047 3181 297 55 0 2939 0 Current children cumulated CPU time (s) 99.96 Current children cumulated vsize (Kb) 16188 [startup+110.063 s] /proc/loadavg: 0.98 0.96 0.95 2/64 1275 /proc/meminfo: memFree=1546584/2055920 swapFree=4192036/4192956 [pid=1275] ppid=1273 vsize=16584 CPUtime=109.96 /proc/1275/stat : 1275 (bsolo) R 1273 1275 1229 0 -1 0 4108 0 0 0 10971 25 0 0 25 0 1 0 34399897 16982016 3249 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1275/statm: 4146 3249 297 55 0 3038 0 Current children cumulated CPU time (s) 109.96 Current children cumulated vsize (Kb) 16584 [startup+120.069 s] /proc/loadavg: 0.99 0.97 0.95 2/64 1275 /proc/meminfo: memFree=1546520/2055920 swapFree=4192036/4192956 [pid=1275] ppid=1273 vsize=16632 CPUtime=119.97 /proc/1275/stat : 1275 (bsolo) R 1273 1275 1229 0 -1 0 4123 0 0 0 11969 28 0 0 25 0 1 0 34399897 17031168 3264 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557827 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1275/statm: 4158 3264 297 55 0 3050 0 Current children cumulated CPU time (s) 119.97 Current children cumulated vsize (Kb) 16632 [startup+130.075 s] /proc/loadavg: 0.99 0.97 0.95 2/64 1275 /proc/meminfo: memFree=1546328/2055920 swapFree=4192036/4192956 [pid=1275] ppid=1273 vsize=16764 CPUtime=129.97 /proc/1275/stat : 1275 (bsolo) R 1273 1275 1229 0 -1 0 4176 0 0 0 12966 31 0 0 25 0 1 0 34399897 17166336 3317 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1275/statm: 4191 3317 297 55 0 3083 0 Current children cumulated CPU time (s) 129.97 Current children cumulated vsize (Kb) 16764 [startup+140.081 s] /proc/loadavg: 0.99 0.97 0.95 2/64 1275 /proc/meminfo: memFree=1546328/2055920 swapFree=4192036/4192956 [pid=1275] ppid=1273 vsize=16632 CPUtime=139.98 /proc/1275/stat : 1275 (bsolo) R 1273 1275 1229 0 -1 0 4176 0 0 0 13964 34 0 0 25 0 1 0 34399897 17031168 3292 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1275/statm: 4158 3292 297 55 0 3050 0 Current children cumulated CPU time (s) 139.98 Current children cumulated vsize (Kb) 16632 [startup+150.088 s] /proc/loadavg: 0.99 0.97 0.95 2/64 1275 /proc/meminfo: memFree=1546328/2055920 swapFree=4192036/4192956 [pid=1275] ppid=1273 vsize=16632 CPUtime=149.97 /proc/1275/stat : 1275 (bsolo) R 1273 1275 1229 0 -1 0 4176 0 0 0 14960 37 0 0 25 0 1 0 34399897 17031168 3292 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1275/statm: 4158 3292 297 55 0 3050 0 Current children cumulated CPU time (s) 149.97 Current children cumulated vsize (Kb) 16632 [startup+160.093 s] /proc/loadavg: 0.99 0.97 0.95 2/64 1275 /proc/meminfo: memFree=1546328/2055920 swapFree=4192036/4192956 [pid=1275] ppid=1273 vsize=16632 CPUtime=159.97 /proc/1275/stat : 1275 (bsolo) R 1273 1275 1229 0 -1 0 4176 0 0 0 15959 38 0 0 25 0 1 0 34399897 17031168 3292 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134696494 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1275/statm: 4158 3292 297 55 0 3050 0 Current children cumulated CPU time (s) 159.97 Current children cumulated vsize (Kb) 16632 [startup+170.099 s] /proc/loadavg: 0.99 0.97 0.95 2/64 1275 /proc/meminfo: memFree=1546328/2055920 swapFree=4192036/4192956 [pid=1275] ppid=1273 vsize=16632 CPUtime=169.98 /proc/1275/stat : 1275 (bsolo) R 1273 1275 1229 0 -1 0 4176 0 0 0 16957 41 0 0 25 0 1 0 34399897 17031168 3292 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1275/statm: 4158 3292 297 55 0 3050 0 Current children cumulated CPU time (s) 169.98 Current children cumulated vsize (Kb) 16632 [startup+180.105 s] /proc/loadavg: 0.99 0.97 0.95 2/64 1275 /proc/meminfo: memFree=1546328/2055920 swapFree=4192036/4192956 [pid=1275] ppid=1273 vsize=16632 CPUtime=179.99 /proc/1275/stat : 1275 (bsolo) R 1273 1275 1229 0 -1 0 4176 0 0 0 17953 46 0 0 25 0 1 0 34399897 17031168 3292 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1275/statm: 4158 3292 297 55 0 3050 0 Current children cumulated CPU time (s) 179.99 Current children cumulated vsize (Kb) 16632 [startup+190.111 s] /proc/loadavg: 0.99 0.97 0.95 2/64 1275 /proc/meminfo: memFree=1546328/2055920 swapFree=4192036/4192956 [pid=1275] ppid=1273 vsize=16632 CPUtime=189.99 /proc/1275/stat : 1275 (bsolo) R 1273 1275 1229 0 -1 0 4176 0 0 0 18951 48 0 0 25 0 1 0 34399897 17031168 3292 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1275/statm: 4158 3292 297 55 0 3050 0 Current children cumulated CPU time (s) 189.99 Current children cumulated vsize (Kb) 16632 [startup+200.118 s] /proc/loadavg: 0.99 0.97 0.95 2/64 1275 /proc/meminfo: memFree=1545944/2055920 swapFree=4192036/4192956 [pid=1275] ppid=1273 vsize=16996 CPUtime=199.99 /proc/1275/stat : 1275 (bsolo) R 1273 1275 1229 0 -1 0 4295 0 0 0 19947 52 0 0 25 0 1 0 34399897 17403904 3383 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1275/statm: 4249 3383 297 55 0 3141 0 Current children cumulated CPU time (s) 199.99 Current children cumulated vsize (Kb) 16996 [startup+210.123 s] /proc/loadavg: 0.99 0.97 0.95 2/64 1275 /proc/meminfo: memFree=1545432/2055920 swapFree=4192036/4192956 ################ # More data... # ################ /proc/1275/statm: 4570 3704 297 55 0 3462 0 Current children cumulated CPU time (s) 1760.47 Current children cumulated vsize (Kb) 18280 [startup+1771.13 s] /proc/loadavg: 0.99 0.97 0.95 2/64 1475 /proc/meminfo: memFree=1544344/2055920 swapFree=4192036/4192956 [pid=1275] ppid=1273 vsize=18280 CPUtime=1770.47 /proc/1275/stat : 1275 (bsolo) R 1273 1275 1229 0 -1 0 4824 0 0 0 176575 472 0 0 25 0 1 0 34399897 18718720 3704 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1275/statm: 4570 3704 297 55 0 3462 0 Current children cumulated CPU time (s) 1770.47 Current children cumulated vsize (Kb) 18280 [startup+1781.14 s] /proc/loadavg: 0.99 0.97 0.95 2/64 1475 /proc/meminfo: memFree=1544344/2055920 swapFree=4192036/4192956 [pid=1275] ppid=1273 vsize=18280 CPUtime=1780.48 /proc/1275/stat : 1275 (bsolo) R 1273 1275 1229 0 -1 0 4824 0 0 0 177574 474 0 0 25 0 1 0 34399897 18718720 3704 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548386 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1275/statm: 4570 3704 297 55 0 3462 0 Current children cumulated CPU time (s) 1780.48 Current children cumulated vsize (Kb) 18280 [startup+1782.14 s] /proc/loadavg: 0.99 0.97 0.95 2/64 1475 /proc/meminfo: memFree=1544344/2055920 swapFree=4192036/4192956 [pid=1275] ppid=1273 vsize=18280 CPUtime=1781.48 /proc/1275/stat : 1275 (bsolo) R 1273 1275 1229 0 -1 0 4824 0 0 0 177674 474 0 0 25 0 1 0 34399897 18718720 3704 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529310 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1275/statm: 4570 3704 297 55 0 3462 0 Current children cumulated CPU time (s) 1781.48 Current children cumulated vsize (Kb) 18280 [startup+1783.15 s] /proc/loadavg: 0.99 0.97 0.95 2/64 1475 /proc/meminfo: memFree=1544344/2055920 swapFree=4192036/4192956 [pid=1275] ppid=1273 vsize=18280 CPUtime=1782.48 /proc/1275/stat : 1275 (bsolo) R 1273 1275 1229 0 -1 0 4824 0 0 0 177774 474 0 0 25 0 1 0 34399897 18718720 3704 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1275/statm: 4570 3704 297 55 0 3462 0 Current children cumulated CPU time (s) 1782.48 Current children cumulated vsize (Kb) 18280 [startup+1784.15 s] /proc/loadavg: 0.99 0.97 0.95 2/64 1475 /proc/meminfo: memFree=1544280/2055920 swapFree=4192036/4192956 [pid=1275] ppid=1273 vsize=18280 CPUtime=1783.49 /proc/1275/stat : 1275 (bsolo) R 1273 1275 1229 0 -1 0 4824 0 0 0 177874 475 0 0 25 0 1 0 34399897 18718720 3704 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1275/statm: 4570 3704 297 55 0 3462 0 Current children cumulated CPU time (s) 1783.49 Current children cumulated vsize (Kb) 18280 [startup+1785.16 s] /proc/loadavg: 0.99 0.97 0.95 2/64 1475 /proc/meminfo: memFree=1544280/2055920 swapFree=4192036/4192956 [pid=1275] ppid=1273 vsize=18280 CPUtime=1784.5 /proc/1275/stat : 1275 (bsolo) R 1273 1275 1229 0 -1 0 4824 0 0 0 177975 475 0 0 25 0 1 0 34399897 18718720 3704 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540730 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1275/statm: 4570 3704 297 55 0 3462 0 Current children cumulated CPU time (s) 1784.5 Current children cumulated vsize (Kb) 18280 [startup+1786.16 s] /proc/loadavg: 0.99 0.97 0.95 2/64 1475 /proc/meminfo: memFree=1544280/2055920 swapFree=4192036/4192956 [pid=1275] ppid=1273 vsize=18280 CPUtime=1785.5 /proc/1275/stat : 1275 (bsolo) R 1273 1275 1229 0 -1 0 4824 0 0 0 178075 475 0 0 25 0 1 0 34399897 18718720 3704 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1275/statm: 4570 3704 297 55 0 3462 0 Current children cumulated CPU time (s) 1785.5 Current children cumulated vsize (Kb) 18280 [startup+1787.17 s] /proc/loadavg: 0.99 0.97 0.95 2/64 1475 /proc/meminfo: memFree=1544280/2055920 swapFree=4192036/4192956 [pid=1275] ppid=1273 vsize=18280 CPUtime=1786.51 /proc/1275/stat : 1275 (bsolo) R 1273 1275 1229 0 -1 0 4824 0 0 0 178176 475 0 0 25 0 1 0 34399897 18718720 3704 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1275/statm: 4570 3704 297 55 0 3462 0 Current children cumulated CPU time (s) 1786.51 Current children cumulated vsize (Kb) 18280 [startup+1788.17 s] /proc/loadavg: 0.99 0.97 0.95 2/64 1475 /proc/meminfo: memFree=1544280/2055920 swapFree=4192036/4192956 [pid=1275] ppid=1273 vsize=18280 CPUtime=1787.51 /proc/1275/stat : 1275 (bsolo) R 1273 1275 1229 0 -1 0 4824 0 0 0 178276 475 0 0 25 0 1 0 34399897 18718720 3704 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718736 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1275/statm: 4570 3704 297 55 0 3462 0 Current children cumulated CPU time (s) 1787.51 Current children cumulated vsize (Kb) 18280 [startup+1789.18 s] /proc/loadavg: 0.99 0.97 0.95 2/64 1475 /proc/meminfo: memFree=1544280/2055920 swapFree=4192036/4192956 [pid=1275] ppid=1273 vsize=18280 CPUtime=1788.51 /proc/1275/stat : 1275 (bsolo) R 1273 1275 1229 0 -1 0 4824 0 0 0 178376 475 0 0 25 0 1 0 34399897 18718720 3704 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603839 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1275/statm: 4570 3704 297 55 0 3462 0 Current children cumulated CPU time (s) 1788.51 Current children cumulated vsize (Kb) 18280 [startup+1790.18 s] /proc/loadavg: 0.99 0.97 0.95 2/64 1475 /proc/meminfo: memFree=1544280/2055920 swapFree=4192036/4192956 [pid=1275] ppid=1273 vsize=18280 CPUtime=1789.51 /proc/1275/stat : 1275 (bsolo) R 1273 1275 1229 0 -1 0 4824 0 0 0 178476 475 0 0 25 0 1 0 34399897 18718720 3704 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1275/statm: 4570 3704 297 55 0 3462 0 Current children cumulated CPU time (s) 1789.51 Current children cumulated vsize (Kb) 18280 [startup+1791.19 s] /proc/loadavg: 0.99 0.97 0.95 2/64 1475 /proc/meminfo: memFree=1544280/2055920 swapFree=4192036/4192956 [pid=1275] ppid=1273 vsize=18280 CPUtime=1790.52 /proc/1275/stat : 1275 (bsolo) R 1273 1275 1229 0 -1 0 4824 0 0 0 178576 476 0 0 25 0 1 0 34399897 18718720 3704 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1275/statm: 4570 3704 297 55 0 3462 0 Current children cumulated CPU time (s) 1790.52 Current children cumulated vsize (Kb) 18280 [startup+1792.19 s] /proc/loadavg: 0.99 0.97 0.95 2/64 1475 /proc/meminfo: memFree=1544280/2055920 swapFree=4192036/4192956 [pid=1275] ppid=1273 vsize=18280 CPUtime=1791.52 /proc/1275/stat : 1275 (bsolo) R 1273 1275 1229 0 -1 0 4824 0 0 0 178676 476 0 0 25 0 1 0 34399897 18718720 3704 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1275/statm: 4570 3704 297 55 0 3462 0 Current children cumulated CPU time (s) 1791.52 Current children cumulated vsize (Kb) 18280 [startup+1793.2 s] /proc/loadavg: 0.99 0.97 0.95 2/64 1475 /proc/meminfo: memFree=1544280/2055920 swapFree=4192036/4192956 [pid=1275] ppid=1273 vsize=18280 CPUtime=1792.53 /proc/1275/stat : 1275 (bsolo) R 1273 1275 1229 0 -1 0 4824 0 0 0 178776 477 0 0 25 0 1 0 34399897 18718720 3704 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1275/statm: 4570 3704 297 55 0 3462 0 Current children cumulated CPU time (s) 1792.53 Current children cumulated vsize (Kb) 18280 [startup+1794.2 s] /proc/loadavg: 0.99 0.97 0.95 2/64 1475 /proc/meminfo: memFree=1544280/2055920 swapFree=4192036/4192956 [pid=1275] ppid=1273 vsize=18280 CPUtime=1793.54 /proc/1275/stat : 1275 (bsolo) R 1273 1275 1229 0 -1 0 4824 0 0 0 178877 477 0 0 25 0 1 0 34399897 18718720 3704 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1275/statm: 4570 3704 297 55 0 3462 0 Current children cumulated CPU time (s) 1793.54 Current children cumulated vsize (Kb) 18280 [startup+1795.21 s] /proc/loadavg: 0.99 0.97 0.95 2/64 1475 /proc/meminfo: memFree=1544280/2055920 swapFree=4192036/4192956 [pid=1275] ppid=1273 vsize=18280 CPUtime=1794.54 /proc/1275/stat : 1275 (bsolo) R 1273 1275 1229 0 -1 0 4824 0 0 0 178977 477 0 0 25 0 1 0 34399897 18718720 3704 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603839 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1275/statm: 4570 3704 297 55 0 3462 0 Current children cumulated CPU time (s) 1794.54 Current children cumulated vsize (Kb) 18280 [startup+1796.21 s] /proc/loadavg: 0.99 0.97 0.95 2/64 1475 /proc/meminfo: memFree=1544280/2055920 swapFree=4192036/4192956 [pid=1275] ppid=1273 vsize=18280 CPUtime=1795.54 /proc/1275/stat : 1275 (bsolo) R 1273 1275 1229 0 -1 0 4824 0 0 0 179077 477 0 0 25 0 1 0 34399897 18718720 3704 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8539887 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1275/statm: 4570 3704 297 55 0 3462 0 Current children cumulated CPU time (s) 1795.54 Current children cumulated vsize (Kb) 18280 [startup+1797.22 s] /proc/loadavg: 0.99 0.97 0.95 2/64 1475 /proc/meminfo: memFree=1544280/2055920 swapFree=4192036/4192956 [pid=1275] ppid=1273 vsize=18280 CPUtime=1796.55 /proc/1275/stat : 1275 (bsolo) R 1273 1275 1229 0 -1 0 4824 0 0 0 179178 477 0 0 25 0 1 0 34399897 18718720 3704 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718448 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1275/statm: 4570 3704 297 55 0 3462 0 Current children cumulated CPU time (s) 1796.55 Current children cumulated vsize (Kb) 18280 [startup+1798.22 s] /proc/loadavg: 0.99 0.97 0.95 2/64 1475 /proc/meminfo: memFree=1544280/2055920 swapFree=4192036/4192956 [pid=1275] ppid=1273 vsize=18280 CPUtime=1797.55 /proc/1275/stat : 1275 (bsolo) R 1273 1275 1229 0 -1 0 4824 0 0 0 179278 477 0 0 25 0 1 0 34399897 18718720 3704 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1275/statm: 4570 3704 297 55 0 3462 0 Current children cumulated CPU time (s) 1797.55 Current children cumulated vsize (Kb) 18280 [startup+1799.23 s] /proc/loadavg: 0.99 0.97 0.95 2/64 1475 /proc/meminfo: memFree=1544280/2055920 swapFree=4192036/4192956 [pid=1275] ppid=1273 vsize=18280 CPUtime=1798.56 /proc/1275/stat : 1275 (bsolo) R 1273 1275 1229 0 -1 0 4824 0 0 0 179379 477 0 0 25 0 1 0 34399897 18718720 3704 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548230 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1275/statm: 4570 3704 297 55 0 3462 0 Current children cumulated CPU time (s) 1798.56 Current children cumulated vsize (Kb) 18280 [startup+1800.23 s] /proc/loadavg: 0.99 0.97 0.95 2/64 1475 /proc/meminfo: memFree=1544280/2055920 swapFree=4192036/4192956 [pid=1275] ppid=1273 vsize=18280 CPUtime=1799.56 /proc/1275/stat : 1275 (bsolo) R 1273 1275 1229 0 -1 0 4824 0 0 0 179479 477 0 0 25 0 1 0 34399897 18718720 3704 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1275/statm: 4570 3704 297 55 0 3462 0 Current children cumulated CPU time (s) 1799.56 Current children cumulated vsize (Kb) 18280 Child status: 0 Real time (s): 1800.67 CPU time (s): 1800.01 CPU user time (s): 1795.23 CPU system time (s): 4.78027 CPU usage (%): 99.9631 Max. virtual memory (cumulated for all children) (Kb): 18544
Begin job on node62 on Fri Jun 2 12:39:24 UTC 2006 FILE ID= 39811-1149251964 PBS_JOBID= 298156 BENCH NAME= ROOT/tmp/node62/39811-1149251964/instance-39811-1149251964.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node62/39811-1149251964/instance-39811-1149251964.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node62/watcher-39811-1149251964 -o ROOT/results/node62/solver-39811-1149251964 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node62/39811-1149251964/instance-39811-1149251964.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= c8eb834e0a7928e8a3e340a1c0512bdc RANDOM SEED= 175833435 /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.225 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.225 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: 1558624 kB Buffers: 33256 kB Cached: 386200 kB SwapCached: 444 kB Active: 68400 kB Inactive: 365084 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1558624 kB SwapTotal: 4192956 kB SwapFree: 4192036 kB Dirty: 208 kB Writeback: 0 kB Mapped: 23716 kB Slab: 49876 kB Committed_AS: 196796 kB PageTables: 1476 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node62 on Fri Jun 2 13:09:24 UTC 2006