Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | ? | 1800.26 | 1800.77 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-gfrd-pnc.opb |
MD5SUM | 79ac545a8fcf117e4e23dd9b4f8255c5 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 27888 |
Total number of constraints | 874 |
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 | 874 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 246 |
Number of terms in the objective function | 27836 |
Biggest coefficient in the objective function | 8308 |
Number of bits for the biggest coefficient in the objective function | 14 |
Sum of the numbers in the objective function | 546265 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262145 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 546265 |
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.02 c INFO: OSL Context initialized. 1.11 c Initial problem consists of 27888 variables and 1406 constraints. 1.18 c No problem reductions applied in OPT. instance. 1.18 c preprocess terminated. Elapsed time: 1.162 1.18 c After prepocess the problem consists of 25934 variables and 1370 constraints. 1.18 c Initial Lower Bound: 0 2.00 c Restart #1 #Var: 25934 LB: 0 @ 1.987 3.51 c Restart #2 #Var: 25934 LB: 0 @ 3.494 6.09 c Restart #3 #Var: 25934 LB: 0 @ 6.075 8.96 c Restart #4 #Var: 25934 LB: 0 @ 8.941 11.79 c Restart #5 #Var: 25934 LB: 0 @ 11.763 15.57 c Restart #6 #Var: 25934 LB: 0 @ 15.548 21.25 c Restart #7 #Var: 25934 LB: 0 @ 21.228 25.45 c Restart #8 #Var: 25934 LB: 0 @ 25.422 27.88 c Restart #9 #Var: 25923 LB: 0 @ 27.855 28.33 c Restart #10 #Var: 25920 LB: 0 @ 28.305 28.62 c Restart #11 #Var: 25912 LB: 0 @ 28.59 29.39 c Restart #12 #Var: 25912 LB: 0 @ 29.367 29.78 c Restart #13 #Var: 25909 LB: 0 @ 29.755 29.96 c Restart #14 #Var: 25909 LB: 0 @ 29.929 30.19 c Restart #15 #Var: 25907 LB: 0 @ 30.167 30.98 c Restart #16 #Var: 25907 LB: 0 @ 30.954 31.22 c Restart #17 #Var: 25878 LB: 0 @ 31.195 31.59 c Restart #18 #Var: 25878 LB: 0 @ 31.56 31.84 c Restart #19 #Var: 25849 LB: 0 @ 31.813 32.24 c Restart #20 #Var: 25849 LB: 0 @ 32.216 32.46 c Restart #21 #Var: 25849 LB: 0 @ 32.429 32.75 c Restart #22 #Var: 25849 LB: 0 @ 32.724 33.07 c Restart #23 #Var: 25849 LB: 0 @ 33.04 33.87 c Restart #24 #Var: 25847 LB: 0 @ 33.842 34.75 c Restart #25 #Var: 25810 LB: 0 @ 34.725 35.65 c Restart #26 #Var: 25802 LB: 0 @ 35.622 37.22 c Restart #27 #Var: 25802 LB: 0 @ 37.192 37.95 c Restart #28 #Var: 25785 LB: 0 @ 37.918 38.82 c Restart #29 #Var: 25776 LB: 0 @ 38.792 39.45 c Restart #30 #Var: 25776 LB: 0 @ 39.422 40.12 c Restart #31 #Var: 25768 LB: 0 @ 40.091 41.24 c Restart #32 #Var: 25767 LB: 0 @ 41.212 42.15 c Restart #33 #Var: 25764 LB: 0 @ 42.116 43.27 c Restart #34 #Var: 25761 LB: 0 @ 43.241 45.23 c Restart #35 #Var: 25760 LB: 0 @ 45.203 46.46 c Restart #36 #Var: 25760 LB: 0 @ 46.426 48.53 c Restart #37 #Var: 25753 LB: 0 @ 48.501 49.87 c Restart #38 #Var: 25752 LB: 0 @ 49.842 51.81 c Restart #39 #Var: 25752 LB: 0 @ 51.78 55.39 c Restart #40 #Var: 25752 LB: 0 @ 55.357 70.58 c Restart #41 #Var: 25752 LB: 0 @ 70.541 72.97 c Restart #42 #Var: 25745 LB: 0 @ 72.934 77.54 c Restart #43 #Var: 25740 LB: 0 @ 77.505 82.07 c Restart #44 #Var: 25728 LB: 0 @ 82.034 83.66 c Restart #45 #Var: 25728 LB: 0 @ 83.615 84.38 c Restart #46 #Var: 25728 LB: 0 @ 84.339 89.93 c Restart #47 #Var: 25727 LB: 0 @ 89.886 95.53 c Restart #48 #Var: 25727 LB: 0 @ 95.481 99.69 c Restart #49 #Var: 25718 LB: 0 @ 99.643 101.80 c Restart #50 #Var: 25692 LB: 0 @ 101.75 108.05 c Restart #51 #Var: 25662 LB: 0 @ 108 109.33 c Restart #52 #Var: 25660 LB: 0 @ 109.28 110.91 c Restart #53 #Var: 25657 LB: 0 @ 110.86 111.61 c Restart #54 #Var: 25656 LB: 0 @ 111.56 112.91 c Restart #55 #Var: 25656 LB: 0 @ 112.86 119.86 c Restart #56 #Var: 25656 LB: 0 @ 119.81 123.99 c Restart #57 #Var: 25639 LB: 0 @ 123.94 125.95 c Restart #58 #Var: 25637 LB: 0 @ 125.9 128.23 c Restart #59 #Var: 25617 LB: 0 @ 128.18 128.99 c Restart #60 #Var: 25617 LB: 0 @ 128.94 130.77 c Restart #61 #Var: 25616 LB: 0 @ 130.71 134.20 c Restart #62 #Var: 25614 LB: 0 @ 134.14 135.03 c Restart #63 #Var: 25614 LB: 0 @ 134.98 136.40 c Restart #64 #Var: 25614 LB: 0 @ 136.34 138.41 c Restart #65 #Var: 25614 LB: 0 @ 138.36 143.70 c Restart #66 #Var: 25610 LB: 0 @ 143.65 145.37 c Restart #67 #Var: 25610 LB: 0 @ 145.31 148.79 c Restart #68 #Var: 25610 LB: 0 @ 148.73 151.04 c Restart #69 #Var: 25600 LB: 0 @ 150.98 154.98 c Restart #70 #Var: 25592 LB: 0 @ 154.92 163.44 c Restart #71 #Var: 25591 LB: 0 @ 163.38 166.26 c Restart #72 #Var: 25589 LB: 0 @ 166.2 171.55 c Restart #73 #Var: 25589 LB: 0 @ 171.49 176.87 c Restart #74 #Var: 25588 LB: 0 @ 176.8 179.63 c Restart #75 #Var: 25588 LB: 0 @ 179.57 181.66 c Restart #76 #Var: 25588 LB: 0 @ 181.59 185.61 c Restart #77 #Var: 25587 LB: 0 @ 185.54 188.20 c Restart #78 #Var: 25587 LB: 0 @ 188.13 190.57 c Restart #79 #Var: 25586 LB: 0 @ 190.5 194.24 c Restart #80 #Var: 25580 LB: 0 @ 194.17 205.94 c Restart #81 #Var: 25579 LB: 0 @ 205.87 214.01 c Restart #82 #Var: 25579 LB: 0 @ 213.93 219.94 c Restart #83 #Var: 25573 LB: 0 @ 219.86 233.54 c Restart #84 #Var: 25567 LB: 0 @ 233.46 238.96 c Restart #85 #Var: 25567 LB: 0 @ 238.87 246.97 c Restart #86 #Var: 25546 LB: 0 @ 246.88 254.18 c Restart #87 #Var: 25536 LB: 0 @ 254.09 259.90 c Restart #88 #Var: 25527 LB: 0 @ 259.81 261.53 c Restart #89 #Var: 25527 LB: 0 @ 261.44 273.51 c Restart #90 #Var: 25519 LB: 0 @ 273.42 280.79 c Restart #91 #Var: 25518 LB: 0 @ 280.7 288.68 c Restart #92 #Var: 25506 LB: 0 @ 288.58 301.47 c Restart #93 #Var: 25504 LB: 0 @ 301.37 308.36 c Restart #94 #Var: 25504 LB: 0 @ 308.25 310.57 c Restart #95 #Var: 25504 LB: 0 @ 310.47 319.57 c Restart #96 #Var: 25493 LB: 0 @ 319.46 356.78 c Restart #97 #Var: 25493 LB: 0 @ 356.67 364.93 c Restart #98 #Var: 25493 LB: 0 @ 364.82 406.05 c Restart #99 #Var: 25493 LB: 0 @ 405.92 408.55 c Restart #100 #Var: 25493 LB: 0 @ 408.42 424.94 c Restart #101 #Var: 25493 LB: 0 @ 424.81 471.68 c Restart #102 #Var: 25493 LB: 0 @ 471.54 478.18 c Restart #103 #Var: 25491 LB: 0 @ 478.04 487.76 c Restart #104 #Var: 25488 LB: 0 @ 487.61 511.63 c Restart #105 #Var: 25487 LB: 0 @ 511.48 515.29 c Restart #106 #Var: 25486 LB: 0 @ 515.13 517.27 c Restart #107 #Var: 25486 LB: 0 @ 517.11 550.87 c Restart #108 #Var: 25486 LB: 0 @ 550.7 557.39 c Restart #109 #Var: 25486 LB: 0 @ 557.22 561.68 c Restart #110 #Var: 25486 LB: 0 @ 561.51 566.99 c Restart #111 #Var: 25486 LB: 0 @ 566.82 574.75 c Restart #112 #Var: 25482 LB: 0 @ 574.58 581.29 c Restart #113 #Var: 25474 LB: 0 @ 581.12 594.30 c Restart #114 #Var: 25473 LB: 0 @ 594.12 598.02 c Restart #115 #Var: 25473 LB: 0 @ 597.84 613.22 c Restart #116 #Var: 25473 LB: 0 @ 613.04 632.74 c Restart #117 #Var: 25473 LB: 0 @ 632.55 650.19 c Restart #118 #Var: 25473 LB: 0 @ 650 667.41 c Restart #119 #Var: 25471 LB: 0 @ 667.21 707.77 c Restart #120 #Var: 25464 LB: 0 @ 707.56 722.11 c Restart #121 #Var: 25455 LB: 0 @ 721.9 735.11 c Restart #122 #Var: 25452 LB: 0 @ 734.9 787.57 c Restart #123 #Var: 25452 LB: 0 @ 787.34 792.51 c Restart #124 #Var: 25451 LB: 0 @ 792.28 805.32 c Restart #125 #Var: 25451 LB: 0 @ 805.09 824.19 c Restart #126 #Var: 25451 LB: 0 @ 823.96 830.05 c Restart #127 #Var: 25451 LB: 0 @ 829.81 838.12 c Restart #128 #Var: 25451 LB: 0 @ 837.88 856.72 c Restart #129 #Var: 25450 LB: 0 @ 856.47 989.17 c CHANGE Heuristic... 989.17 c Restart #0 #Var: 25450 LB: 0 @ 988.87 992.02 c Restart #1 #Var: 25450 LB: 0 @ 991.72 994.85 c Restart #2 #Var: 25450 LB: 0 @ 994.55 995.56 c Restart #3 #Var: 25449 LB: 0 @ 995.26 997.88 c Restart #4 #Var: 25446 LB: 0 @ 997.58 1003.45 c Restart #5 #Var: 25446 LB: 0 @ 1003.1 1005.02 c Restart #6 #Var: 25446 LB: 0 @ 1004.7 1011.90 c Restart #7 #Var: 25441 LB: 0 @ 1011.6 1021.48 c Restart #8 #Var: 25441 LB: 0 @ 1021.2 1022.01 c Restart #9 #Var: 25441 LB: 0 @ 1021.7 1023.04 c Restart #10 #Var: 25441 LB: 0 @ 1022.7 1031.10 c Restart #11 #Var: 25441 LB: 0 @ 1030.8 1034.49 c Restart #12 #Var: 25441 LB: 0 @ 1034.2 1036.25 c Restart #13 #Var: 25441 LB: 0 @ 1035.9 1043.14 c Restart #14 #Var: 25437 LB: 0 @ 1042.8 1045.11 c Restart #15 #Var: 25437 LB: 0 @ 1044.8 1047.91 c Restart #16 #Var: 25437 LB: 0 @ 1047.6 1049.49 c Restart #17 #Var: 25437 LB: 0 @ 1049.2 1050.72 c Restart #18 #Var: 25437 LB: 0 @ 1050.4 1053.03 c Restart #19 #Var: 25437 LB: 0 @ 1052.7 1053.40 c Restart #20 #Var: 25437 LB: 0 @ 1053.1 1053.79 c Restart #21 #Var: 25437 LB: 0 @ 1053.5 1054.59 c Restart #22 #Var: 25437 LB: 0 @ 1054.3 1054.97 c Restart #23 #Var: 25437 LB: 0 @ 1054.7 1055.36 c Restart #24 #Var: 25437 LB: 0 @ 1055 1055.73 c Restart #25 #Var: 25437 LB: 0 @ 1055.4 1056.16 c Restart #26 #Var: 25437 LB: 0 @ 1055.8 1056.56 c Restart #27 #Var: 25437 LB: 0 @ 1056.2 1057.02 c Restart #28 #Var: 25437 LB: 0 @ 1056.7 1057.46 c Restart #29 #Var: 25437 LB: 0 @ 1057.1 1057.95 c Restart #30 #Var: 25437 LB: 0 @ 1057.6 1058.42 c Restart #31 #Var: 25437 LB: 0 @ 1058.1 1058.97 c Restart #32 #Var: 25437 LB: 0 @ 1058.7 1059.50 c Restart #33 #Var: 25437 LB: 0 @ 1059.2 1060.23 c Restart #34 #Var: 25437 LB: 0 @ 1059.9 1061.01 c Restart #35 #Var: 25437 LB: 0 @ 1060.7 1061.59 c Restart #36 #Var: 25437 LB: 0 @ 1061.3 1062.14 c Restart #37 #Var: 25437 LB: 0 @ 1061.8 1062.75 c Restart #38 #Var: 25437 LB: 0 @ 1062.4 1063.32 c Restart #39 #Var: 25437 LB: 0 @ 1063 1067.03 c Restart #40 #Var: 25437 LB: 0 @ 1066.7 1068.24 c Restart #41 #Var: 25437 LB: 0 @ 1067.9 1072.68 c Restart #42 #Var: 25433 LB: 0 @ 1072.4 1074.94 c Restart #43 #Var: 25432 LB: 0 @ 1074.6 1080.46 c Restart #44 #Var: 25430 LB: 0 @ 1080.1 1081.38 c Restart #45 #Var: 25430 LB: 0 @ 1081.1 1082.16 c Restart #46 #Var: 25430 LB: 0 @ 1081.8 1082.89 c Restart #47 #Var: 25430 LB: 0 @ 1082.6 1083.70 c Restart #48 #Var: 25430 LB: 0 @ 1083.4 1084.47 c Restart #49 #Var: 25430 LB: 0 @ 1084.1 1085.31 c Restart #50 #Var: 25430 LB: 0 @ 1085 1086.23 c Restart #51 #Var: 25430 LB: 0 @ 1085.9 1087.41 c Restart #52 #Var: 25430 LB: 0 @ 1087.1 1088.30 c Restart #53 #Var: 25430 LB: 0 @ 1088 1089.17 c Restart #54 #Var: 25430 LB: 0 @ 1088.8 1090.00 c Restart #55 #Var: 25430 LB: 0 @ 1089.7 1090.91 c Restart #56 #Var: 25430 LB: 0 @ 1090.6 1091.78 c Restart #57 #Var: 25430 LB: 0 @ 1091.5 1092.71 c Restart #58 #Var: 25430 LB: 0 @ 1092.4 1093.61 c Restart #59 #Var: 25430 LB: 0 @ 1093.3 1094.58 c Restart #60 #Var: 25430 LB: 0 @ 1094.3 1095.51 c Restart #61 #Var: 25430 LB: 0 @ 1095.2 1096.50 c Restart #62 #Var: 25430 LB: 0 @ 1096.2 1097.47 c Restart #63 #Var: 25430 LB: 0 @ 1097.1 1098.51 c Restart #64 #Var: 25430 LB: 0 @ 1098.2 1099.51 c Restart #65 #Var: 25430 LB: 0 @ 1099.2 1100.59 c Restart #66 #Var: 25430 LB: 0 @ 1100.3 1101.62 c Restart #67 #Var: 25430 LB: 0 @ 1101.3 1102.73 c Restart #68 #Var: 25430 LB: 0 @ 1102.4 1103.80 c Restart #69 #Var: 25430 LB: 0 @ 1103.5 1104.92 c Restart #70 #Var: 25430 LB: 0 @ 1104.6 1105.98 c Restart #71 #Var: 25430 LB: 0 @ 1105.6 1107.11 c Restart #72 #Var: 25430 LB: 0 @ 1106.8 1108.19 c Restart #73 #Var: 25430 LB: 0 @ 1107.9 1109.35 c Restart #74 #Var: 25430 LB: 0 @ 1109 1110.46 c Restart #75 #Var: 25430 LB: 0 @ 1110.1 1111.64 c Restart #76 #Var: 25430 LB: 0 @ 1111.3 1112.78 c Restart #77 #Var: 25430 LB: 0 @ 1112.5 1113.97 c Restart #78 #Var: 25430 LB: 0 @ 1113.6 1115.15 c Restart #79 #Var: 25430 LB: 0 @ 1114.8 1116.37 c Restart #80 #Var: 25430 LB: 0 @ 1116 1117.58 c Restart #81 #Var: 25430 LB: 0 @ 1117.2 1118.84 c Restart #82 #Var: 25430 LB: 0 @ 1118.5 1120.09 c Restart #83 #Var: 25430 LB: 0 @ 1119.8 1121.38 c Restart #84 #Var: 25430 LB: 0 @ 1121.1 1122.67 c Restart #85 #Var: 25430 LB: 0 @ 1122.3 1124.00 c Restart #86 #Var: 25430 LB: 0 @ 1123.7 1125.32 c Restart #87 #Var: 25430 LB: 0 @ 1125 1126.67 c Restart #88 #Var: 25430 LB: 0 @ 1126.3 1128.02 c Restart #89 #Var: 25430 LB: 0 @ 1127.7 1129.40 c Restart #90 #Var: 25430 LB: 0 @ 1129.1 1130.77 c Restart #91 #Var: 25430 LB: 0 @ 1130.4 1132.19 c Restart #92 #Var: 25430 LB: 0 @ 1131.9 1133.60 c Restart #93 #Var: 25430 LB: 0 @ 1133.3 1135.03 c Restart #94 #Var: 25430 LB: 0 @ 1134.7 1136.49 c Restart #95 #Var: 25430 LB: 0 @ 1136.2 1137.96 c Restart #96 #Var: 25430 LB: 0 @ 1137.6 1139.45 c Restart #97 #Var: 25430 LB: 0 @ 1139.1 1140.98 c Restart #98 #Var: 25430 LB: 0 @ 1140.6 1142.50 c Restart #99 #Var: 25430 LB: 0 @ 1142.2 1144.05 c Restart #100 #Var: 25430 LB: 0 @ 1143.7 1145.61 c Restart #101 #Var: 25430 LB: 0 @ 1145.3 1147.21 c Restart #102 #Var: 25430 LB: 0 @ 1146.9 1148.78 c Restart #103 #Var: 25430 LB: 0 @ 1148.4 1150.42 c Restart #104 #Var: 25430 LB: 0 @ 1150.1 1152.04 c Restart #105 #Var: 25430 LB: 0 @ 1151.7 1153.73 c Restart #106 #Var: 25430 LB: 0 @ 1153.4 1155.37 c Restart #107 #Var: 25430 LB: 0 @ 1155 1157.10 c Restart #108 #Var: 25430 LB: 0 @ 1156.8 1158.82 c Restart #109 #Var: 25430 LB: 0 @ 1158.5 1160.63 c Restart #110 #Var: 25430 LB: 0 @ 1160.3 1162.41 c Restart #111 #Var: 25430 LB: 0 @ 1162.1 1164.24 c Restart #112 #Var: 25430 LB: 0 @ 1163.9 1166.06 c Restart #113 #Var: 25430 LB: 0 @ 1165.7 1167.93 c Restart #114 #Var: 25430 LB: 0 @ 1167.6 1169.77 c Restart #115 #Var: 25430 LB: 0 @ 1169.4 1171.63 c Restart #116 #Var: 25430 LB: 0 @ 1171.3 1173.51 c Restart #117 #Var: 25430 LB: 0 @ 1173.2 1175.42 c Restart #118 #Var: 25430 LB: 0 @ 1175.1 1177.30 c Restart #119 #Var: 25430 LB: 0 @ 1177 1179.28 c Restart #120 #Var: 25430 LB: 0 @ 1178.9 1181.20 c Restart #121 #Var: 25430 LB: 0 @ 1180.9 1183.22 c Restart #122 #Var: 25430 LB: 0 @ 1182.9 1185.25 c Restart #123 #Var: 25430 LB: 0 @ 1184.9 1187.29 c Restart #124 #Var: 25430 LB: 0 @ 1186.9 1189.38 c Restart #125 #Var: 25430 LB: 0 @ 1189 1191.44 c Restart #126 #Var: 25430 LB: 0 @ 1191.1 1193.47 c Restart #127 #Var: 25430 LB: 0 @ 1193.1 1195.57 c Restart #128 #Var: 25430 LB: 0 @ 1195.2 1197.67 c Restart #129 #Var: 25430 LB: 0 @ 1197.3 1199.83 c Restart #130 #Var: 25430 LB: 0 @ 1199.5 1202.01 c Restart #131 #Var: 25430 LB: 0 @ 1201.7 1204.19 c Restart #132 #Var: 25430 LB: 0 @ 1203.8 1206.43 c Restart #133 #Var: 25430 LB: 0 @ 1206.1 1208.65 c Restart #134 #Var: 25430 LB: 0 @ 1208.3 1210.90 c Restart #135 #Var: 25430 LB: 0 @ 1210.5 1213.15 c Restart #136 #Var: 25430 LB: 0 @ 1212.8 1215.41 c Restart #137 #Var: 25430 LB: 0 @ 1215.1 1217.56 c Restart #138 #Var: 25430 LB: 0 @ 1217.2 1219.80 c Restart #139 #Var: 25430 LB: 0 @ 1219.4 1221.99 c Restart #140 #Var: 25430 LB: 0 @ 1221.6 1224.17 c Restart #141 #Var: 25430 LB: 0 @ 1223.8 1226.36 c Restart #142 #Var: 25430 LB: 0 @ 1226 1228.59 c Restart #143 #Var: 25430 LB: 0 @ 1228.2 1230.78 c Restart #144 #Var: 25430 LB: 0 @ 1230.4 1233.04 c Restart #145 #Var: 25430 LB: 0 @ 1232.7 1235.26 c Restart #146 #Var: 25430 LB: 0 @ 1234.9 1237.55 c Restart #147 #Var: 25430 LB: 0 @ 1237.2 1239.82 c Restart #148 #Var: 25430 LB: 0 @ 1239.5 1242.13 c Restart #149 #Var: 25430 LB: 0 @ 1241.8 1244.44 c Restart #150 #Var: 25430 LB: 0 @ 1244.1 1246.88 c Restart #151 #Var: 25430 LB: 0 @ 1246.5 1249.21 c Restart #152 #Var: 25430 LB: 0 @ 1248.8 1251.67 c Restart #153 #Var: 25430 LB: 0 @ 1251.3 1254.03 c Restart #154 #Var: 25430 LB: 0 @ 1253.7 1256.50 c Restart #155 #Var: 25430 LB: 0 @ 1256.1 1258.91 c Restart #156 #Var: 25430 LB: 0 @ 1258.5 1261.41 c Restart #157 #Var: 25430 LB: 0 @ 1261 1263.90 c Restart #158 #Var: 25430 LB: 0 @ 1263.5 1266.41 c Restart #159 #Var: 25430 LB: 0 @ 1266 1268.94 c Restart #160 #Var: 25430 LB: 0 @ 1268.6 1271.45 c Restart #161 #Var: 25430 LB: 0 @ 1271.1 1274.03 c Restart #162 #Var: 25430 LB: 0 @ 1273.7 1276.54 c Restart #163 #Var: 25430 LB: 0 @ 1276.2 1279.20 c Restart #164 #Var: 25430 LB: 0 @ 1278.8 1281.75 c Restart #165 #Var: 25430 LB: 0 @ 1281.4 1284.45 c Restart #166 #Var: 25430 LB: 0 @ 1284.1 1287.04 c Restart #167 #Var: 25430 LB: 0 @ 1286.7 1289.78 c Restart #168 #Var: 25430 LB: 0 @ 1289.4 1292.38 c Restart #169 #Var: 25430 LB: 0 @ 1292 1295.15 c Restart #170 #Var: 25430 LB: 0 @ 1294.8 1297.80 c Restart #171 #Var: 25430 LB: 0 @ 1297.4 1300.62 c Restart #172 #Var: 25430 LB: 0 @ 1300.2 1303.32 c Restart #173 #Var: 25430 LB: 0 @ 1302.9 1306.19 c Restart #174 #Var: 25430 LB: 0 @ 1305.8 1308.94 c Restart #175 #Var: 25430 LB: 0 @ 1308.6 1311.83 c Restart #176 #Var: 25430 LB: 0 @ 1311.4 1314.62 c Restart #177 #Var: 25430 LB: 0 @ 1314.2 1317.58 c Restart #178 #Var: 25430 LB: 0 @ 1317.2 1320.41 c Restart #179 #Var: 25430 LB: 0 @ 1320 1323.45 c Restart #180 #Var: 25430 LB: 0 @ 1323.1 1326.31 c Restart #181 #Var: 25430 LB: 0 @ 1325.9 1329.39 c Restart #182 #Var: 25430 LB: 0 @ 1329 1332.23 c Restart #183 #Var: 25430 LB: 0 @ 1331.8 1335.31 c Restart #184 #Var: 25430 LB: 0 @ 1334.9 1338.19 c Restart #185 #Var: 25430 LB: 0 @ 1337.8 1341.32 c Restart #186 #Var: 25430 LB: 0 @ 1340.9 1344.27 c Restart #187 #Var: 25430 LB: 0 @ 1343.9 1347.44 c Restart #188 #Var: 25430 LB: 0 @ 1347.1 1350.43 c Restart #189 #Var: 25430 LB: 0 @ 1350 1353.64 c Restart #190 #Var: 25430 LB: 0 @ 1353.2 1356.65 c Restart #191 #Var: 25430 LB: 0 @ 1356.3 1359.93 c Restart #192 #Var: 25430 LB: 0 @ 1359.5 1363.03 c Restart #193 #Var: 25430 LB: 0 @ 1362.6 1366.37 c Restart #194 #Var: 25430 LB: 0 @ 1366 1369.48 c Restart #195 #Var: 25430 LB: 0 @ 1369.1 1372.81 c Restart #196 #Var: 25430 LB: 0 @ 1372.4 1375.93 c Restart #197 #Var: 25430 LB: 0 @ 1375.5 1379.30 c Restart #198 #Var: 25430 LB: 0 @ 1378.9 1382.48 c Restart #199 #Var: 25430 LB: 0 @ 1382.1 1385.93 c Restart #200 #Var: 25430 LB: 0 @ 1385.5 1389.14 c Restart #201 #Var: 25430 LB: 0 @ 1388.7 1392.62 c Restart #202 #Var: 25430 LB: 0 @ 1392.2 1395.86 c Restart #203 #Var: 25430 LB: 0 @ 1395.5 1399.39 c Restart #204 #Var: 25430 LB: 0 @ 1399 1402.70 c Restart #205 #Var: 25430 LB: 0 @ 1402.3 1406.29 c Restart #206 #Var: 25430 LB: 0 @ 1405.9 1409.61 c Restart #207 #Var: 25430 LB: 0 @ 1409.2 1413.23 c Restart #208 #Var: 25430 LB: 0 @ 1412.8 1416.59 c Restart #209 #Var: 25430 LB: 0 @ 1416.2 1420.30 c Restart #210 #Var: 25430 LB: 0 @ 1419.9 1423.77 c Restart #211 #Var: 25430 LB: 0 @ 1423.4 1427.56 c Restart #212 #Var: 25430 LB: 0 @ 1427.1 1431.04 c Restart #213 #Var: 25430 LB: 0 @ 1430.6 1434.65 c Restart #214 #Var: 25430 LB: 0 @ 1434.2 1438.05 c Restart #215 #Var: 25430 LB: 0 @ 1437.6 1441.75 c Restart #216 #Var: 25430 LB: 0 @ 1441.3 1445.24 c Restart #217 #Var: 25430 LB: 0 @ 1444.8 1448.99 c Restart #218 #Var: 25430 LB: 0 @ 1448.6 1452.57 c Restart #219 #Var: 25430 LB: 0 @ 1452.2 1456.33 c Restart #220 #Var: 25430 LB: 0 @ 1455.9 1459.99 c Restart #221 #Var: 25430 LB: 0 @ 1459.6 1463.87 c Restart #222 #Var: 25430 LB: 0 @ 1463.4 1467.57 c Restart #223 #Var: 25430 LB: 0 @ 1467.1 1471.43 c Restart #224 #Var: 25430 LB: 0 @ 1471 1475.15 c Restart #225 #Var: 25430 LB: 0 @ 1474.7 1479.04 c Restart #226 #Var: 25430 LB: 0 @ 1478.6 1482.87 c Restart #227 #Var: 25430 LB: 0 @ 1482.4 1486.82 c Restart #228 #Var: 25430 LB: 0 @ 1486.4 1490.70 c Restart #229 #Var: 25430 LB: 0 @ 1490.3 1494.65 c Restart #230 #Var: 25430 LB: 0 @ 1494.2 1498.54 c Restart #231 #Var: 25430 LB: 0 @ 1498.1 1502.54 c Restart #232 #Var: 25430 LB: 0 @ 1502.1 1506.56 c Restart #233 #Var: 25430 LB: 0 @ 1506.1 1510.53 c Restart #234 #Var: 25430 LB: 0 @ 1510.1 1514.58 c Restart #235 #Var: 25430 LB: 0 @ 1514.1 1518.59 c Restart #236 #Var: 25430 LB: 0 @ 1518.2 1522.72 c Restart #237 #Var: 25430 LB: 0 @ 1522.3 1526.81 c Restart #238 #Var: 25430 LB: 0 @ 1526.4 1530.89 c Restart #239 #Var: 25430 LB: 0 @ 1530.5 1534.92 c Restart #240 #Var: 25430 LB: 0 @ 1534.5 1539.06 c Restart #241 #Var: 25430 LB: 0 @ 1538.6 1543.24 c Restart #242 #Var: 25430 LB: 0 @ 1542.8 1547.44 c Restart #243 #Var: 25430 LB: 0 @ 1547 1551.61 c Restart #244 #Var: 25430 LB: 0 @ 1551.2 1555.80 c Restart #245 #Var: 25430 LB: 0 @ 1555.3 1559.99 c Restart #246 #Var: 25430 LB: 0 @ 1559.5 1564.32 c Restart #247 #Var: 25430 LB: 0 @ 1563.9 1568.61 c Restart #248 #Var: 25430 LB: 0 @ 1568.2 1572.90 c Restart #249 #Var: 25430 LB: 0 @ 1572.5 1577.20 c Restart #250 #Var: 25430 LB: 0 @ 1576.7 1581.61 c Restart #251 #Var: 25430 LB: 0 @ 1581.2 1589.39 c Restart #252 #Var: 25429 LB: 0 @ 1588.9 1593.41 c Restart #253 #Var: 25429 LB: 0 @ 1592.9 1597.66 c Restart #254 #Var: 25429 LB: 0 @ 1597.2 1601.65 c Restart #255 #Var: 25429 LB: 0 @ 1601.2 1605.59 c Restart #256 #Var: 25429 LB: 0 @ 1605.1 1609.60 c Restart #257 #Var: 25429 LB: 0 @ 1609.1 1613.53 c Restart #258 #Var: 25429 LB: 0 @ 1613.1 1617.59 c Restart #259 #Var: 25429 LB: 0 @ 1617.1 1621.61 c Restart #260 #Var: 25429 LB: 0 @ 1621.1 1625.78 c Restart #261 #Var: 25429 LB: 0 @ 1625.3 1629.80 c Restart #262 #Var: 25429 LB: 0 @ 1629.3 1633.90 c Restart #263 #Var: 25429 LB: 0 @ 1633.4 1637.79 c Restart #264 #Var: 25429 LB: 0 @ 1637.3 1641.92 c Restart #265 #Var: 25429 LB: 0 @ 1641.5 1645.90 c Restart #266 #Var: 25429 LB: 0 @ 1645.4 1650.04 c Restart #267 #Var: 25429 LB: 0 @ 1649.6 1654.02 c Restart #268 #Var: 25429 LB: 0 @ 1653.5 1658.15 c Restart #269 #Var: 25429 LB: 0 @ 1657.7 1662.18 c Restart #270 #Var: 25429 LB: 0 @ 1661.7 1666.38 c Restart #271 #Var: 25429 LB: 0 @ 1665.9 1670.37 c Restart #272 #Var: 25429 LB: 0 @ 1669.9 1674.49 c Restart #273 #Var: 25429 LB: 0 @ 1674 1678.47 c Restart #274 #Var: 25429 LB: 0 @ 1678 1682.73 c Restart #275 #Var: 25429 LB: 0 @ 1682.2 1686.89 c Restart #276 #Var: 25429 LB: 0 @ 1686.4 1691.16 c Restart #277 #Var: 25429 LB: 0 @ 1690.7 1695.37 c Restart #278 #Var: 25429 LB: 0 @ 1694.9 1699.63 c Restart #279 #Var: 25429 LB: 0 @ 1699.1 1703.90 c Restart #280 #Var: 25429 LB: 0 @ 1703.4 1708.19 c Restart #281 #Var: 25429 LB: 0 @ 1707.7 1712.44 c Restart #282 #Var: 25429 LB: 0 @ 1711.9 1716.69 c Restart #283 #Var: 25429 LB: 0 @ 1716.2 1720.97 c Restart #284 #Var: 25429 LB: 0 @ 1720.5 1725.32 c Restart #285 #Var: 25429 LB: 0 @ 1724.8 1729.79 c Restart #286 #Var: 25429 LB: 0 @ 1729.3 1734.19 c Restart #287 #Var: 25429 LB: 0 @ 1733.7 1738.60 c Restart #288 #Var: 25429 LB: 0 @ 1738.1 1743.09 c Restart #289 #Var: 25429 LB: 0 @ 1742.6 1747.60 c Restart #290 #Var: 25429 LB: 0 @ 1747.1 1752.08 c Restart #291 #Var: 25429 LB: 0 @ 1751.6 1756.58 c Restart #292 #Var: 25429 LB: 0 @ 1756.1 1761.12 c Restart #293 #Var: 25429 LB: 0 @ 1760.6 1787.74 c Restart #294 #Var: 25425 LB: 0 @ 1787.2 1793.01 c Restart #295 #Var: 25422 LB: 0 @ 1792.5 1800.51 s UNKNOWN 1800.51 c Exit Code: 0 1800.51 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/node9/watcher-39888-1149276540 -o ROOT/results/node9/solver-39888-1149276540 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node9/39888-1149276540/instance-39888-1149276540.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.00 0.96 2/64 13747 /proc/meminfo: memFree=1544616/2055920 swapFree=4180864/4192956 [pid=13747] ppid=13745 vsize=3224 CPUtime=0 /proc/13747/stat : 13747 (bsolo) R 13745 13747 13701 0 -1 0 56 0 0 0 0 0 0 0 19 0 1 0 193316308 3301376 39 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8663844 0 0 4096 0 0 0 0 17 1 0 0 /proc/13747/statm: 841 42 31 55 0 40 0 [startup+10.0031 s] /proc/loadavg: 1.00 1.00 0.96 2/64 13747 /proc/meminfo: memFree=1509416/2055920 swapFree=4180864/4192956 [pid=13747] ppid=13745 vsize=40420 CPUtime=9.97 /proc/13747/stat : 13747 (bsolo) R 13745 13747 13701 0 -1 0 41171 0 0 0 947 50 0 0 25 0 1 0 193316308 41390080 9098 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13747/statm: 10105 9098 297 55 0 8997 0 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 40420 [startup+20.0092 s] /proc/loadavg: 1.00 1.00 0.96 2/64 13747 /proc/meminfo: memFree=1506728/2055920 swapFree=4180864/4192956 [pid=13747] ppid=13745 vsize=43192 CPUtime=19.98 /proc/13747/stat : 13747 (bsolo) R 13745 13747 13701 0 -1 0 41848 0 0 0 1902 96 0 0 25 0 1 0 193316308 44228608 9775 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13747/statm: 10798 9775 297 55 0 9690 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 43192 [startup+30.0154 s] /proc/loadavg: 1.00 1.00 0.96 2/64 13747 /proc/meminfo: memFree=1491944/2055920 swapFree=4180864/4192956 [pid=13747] ppid=13745 vsize=57952 CPUtime=29.98 /proc/13747/stat : 13747 (bsolo) R 13745 13747 13701 0 -1 0 45524 0 0 0 2854 144 0 0 25 0 1 0 193316308 59342848 13451 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13747/statm: 14488 13451 297 55 0 13380 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 57952 [startup+40.0215 s] /proc/loadavg: 1.00 1.00 0.96 2/64 13747 /proc/meminfo: memFree=1427496/2055920 swapFree=4180864/4192956 [pid=13747] ppid=13745 vsize=122228 CPUtime=39.98 /proc/13747/stat : 13747 (bsolo) R 13745 13747 13701 0 -1 0 61620 0 0 0 3836 162 0 0 25 0 1 0 193316308 125161472 29547 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13747/statm: 30557 29547 297 55 0 29449 0 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 122228 [startup+50.0277 s] /proc/loadavg: 1.00 1.00 0.96 2/64 13747 /proc/meminfo: memFree=1379752/2055920 swapFree=4180864/4192956 [pid=13747] ppid=13745 vsize=169896 CPUtime=49.99 /proc/13747/stat : 13747 (bsolo) R 13745 13747 13701 0 -1 0 73530 0 0 0 4827 172 0 0 25 0 1 0 193316308 173973504 41457 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542120 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13747/statm: 42474 41457 297 55 0 41366 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 169896 [startup+60.0338 s] /proc/loadavg: 1.00 1.00 0.96 2/64 13747 /proc/meminfo: memFree=1362408/2055920 swapFree=4180864/4192956 [pid=13747] ppid=13745 vsize=187192 CPUtime=59.99 /proc/13747/stat : 13747 (bsolo) R 13745 13747 13701 0 -1 0 77847 0 0 0 5823 176 0 0 25 0 1 0 193316308 191684608 45773 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548598 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13747/statm: 46798 45773 297 55 0 45690 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 187192 [startup+70.041 s] /proc/loadavg: 1.00 1.00 0.96 2/64 13747 /proc/meminfo: memFree=1358440/2055920 swapFree=4180864/4192956 [pid=13747] ppid=13745 vsize=191152 CPUtime=69.99 /proc/13747/stat : 13747 (bsolo) R 13745 13747 13701 0 -1 0 78834 0 0 0 6822 177 0 0 25 0 1 0 193316308 195739648 46760 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13747/statm: 47788 46760 297 55 0 46680 0 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 191152 [startup+80.0471 s] /proc/loadavg: 1.00 1.00 0.96 2/64 13747 /proc/meminfo: memFree=1334312/2055920 swapFree=4180864/4192956 [pid=13747] ppid=13745 vsize=215348 CPUtime=80 /proc/13747/stat : 13747 (bsolo) R 13745 13747 13701 0 -1 0 84856 0 0 0 7818 182 0 0 25 0 1 0 193316308 220516352 52782 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13747/statm: 53837 52782 297 55 0 52729 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 215348 [startup+90.0533 s] /proc/loadavg: 1.00 1.00 0.96 2/64 13747 /proc/meminfo: memFree=1297192/2055920 swapFree=4180864/4192956 [pid=13747] ppid=13745 vsize=252448 CPUtime=90 /proc/13747/stat : 13747 (bsolo) R 13745 13747 13701 0 -1 0 94119 0 0 0 8811 189 0 0 25 0 1 0 193316308 258506752 62045 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 9098875 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13747/statm: 63112 62045 297 55 0 62004 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 252448 [startup+100.059 s] /proc/loadavg: 1.00 1.00 0.96 2/64 13747 /proc/meminfo: memFree=1283816/2055920 swapFree=4180864/4192956 [pid=13747] ppid=13745 vsize=265812 CPUtime=100 /proc/13747/stat : 13747 (bsolo) R 13745 13747 13701 0 -1 0 97457 0 0 0 9807 193 0 0 25 0 1 0 193316308 272191488 65383 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13747/statm: 66453 65383 297 55 0 65345 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 265812 [startup+110.066 s] /proc/loadavg: 1.00 1.00 0.96 2/64 13747 /proc/meminfo: memFree=1263976/2055920 swapFree=4180864/4192956 [pid=13747] ppid=13745 vsize=285644 CPUtime=110.01 /proc/13747/stat : 13747 (bsolo) R 13745 13747 13701 0 -1 0 102411 0 0 0 10801 200 0 0 25 0 1 0 193316308 292499456 70336 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13747/statm: 71411 70336 297 55 0 70303 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 285644 [startup+120.072 s] /proc/loadavg: 1.00 1.00 0.96 2/64 13747 /proc/meminfo: memFree=1227368/2055920 swapFree=4180864/4192956 [pid=13747] ppid=13745 vsize=322396 CPUtime=120.01 /proc/13747/stat : 13747 (bsolo) R 13745 13747 13701 0 -1 0 111551 0 0 0 11794 207 0 0 25 0 1 0 193316308 330133504 79476 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13747/statm: 80599 79476 297 55 0 79491 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 322396 [startup+130.078 s] /proc/loadavg: 1.00 1.00 0.96 2/64 13747 /proc/meminfo: memFree=1188264/2055920 swapFree=4180864/4192956 [pid=13747] ppid=13745 vsize=361508 CPUtime=130.02 /proc/13747/stat : 13747 (bsolo) R 13745 13747 13701 0 -1 0 121313 0 0 0 12786 216 0 0 25 0 1 0 193316308 370184192 89232 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134604175 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13747/statm: 90377 89232 297 55 0 89269 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 361508 [startup+140.09 s] /proc/loadavg: 1.00 1.00 0.96 2/64 13747 /proc/meminfo: memFree=1143144/2055920 swapFree=4180864/4192956 [pid=13747] ppid=13745 vsize=406684 CPUtime=140.03 /proc/13747/stat : 13747 (bsolo) R 13745 13747 13701 0 -1 0 132567 0 0 0 13778 225 0 0 25 0 1 0 193316308 416444416 100485 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537565 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13747/statm: 101671 100485 297 55 0 100563 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 406684 [startup+150.096 s] /proc/loadavg: 1.00 1.00 0.96 2/64 13747 /proc/meminfo: memFree=1108648/2055920 swapFree=4180864/4192956 [pid=13747] ppid=13745 vsize=441176 CPUtime=150.02 /proc/13747/stat : 13747 (bsolo) R 13745 13747 13701 0 -1 0 141181 0 0 0 14772 230 0 0 25 0 1 0 193316308 451764224 109097 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13747/statm: 110294 109098 297 55 0 109186 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 441176 [startup+160.102 s] /proc/loadavg: 1.00 1.00 0.96 2/64 13747 /proc/meminfo: memFree=1088104/2055920 swapFree=4180864/4192956 [pid=13747] ppid=13745 vsize=461664 CPUtime=160.03 /proc/13747/stat : 13747 (bsolo) R 13745 13747 13701 0 -1 0 146294 0 0 0 15768 235 0 0 25 0 1 0 193316308 472743936 114210 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534939 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13747/statm: 115416 114210 297 55 0 114308 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 461664 [startup+170.108 s] /proc/loadavg: 1.00 1.00 0.96 2/64 13747 /proc/meminfo: memFree=1066600/2055920 swapFree=4180864/4192956 [pid=13747] ppid=13745 vsize=483364 CPUtime=170.03 /proc/13747/stat : 13747 (bsolo) R 13745 13747 13701 0 -1 0 151661 0 0 0 16762 241 0 0 25 0 1 0 193316308 494964736 119577 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13747/statm: 120841 119577 297 55 0 119733 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 483364 [startup+180.116 s] /proc/loadavg: 1.00 1.00 0.96 2/64 13747 /proc/meminfo: memFree=1036968/2055920 swapFree=4180864/4192956 [pid=13747] ppid=13745 vsize=513120 CPUtime=180.04 /proc/13747/stat : 13747 (bsolo) R 13745 13747 13701 0 -1 0 159075 0 0 0 17757 247 0 0 25 0 1 0 193316308 525434880 126988 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13747/statm: 128280 126988 297 55 0 127172 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 513120 [startup+190.122 s] /proc/loadavg: 1.00 1.00 0.96 2/64 13747 /proc/meminfo: memFree=988328/2055920 swapFree=4180864/4192956 [pid=13747] ppid=13745 vsize=561868 CPUtime=190.05 /proc/13747/stat : 13747 (bsolo) R 13745 13747 13701 0 -1 0 171214 0 0 0 18748 257 0 0 25 0 1 0 193316308 575352832 139117 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13747/statm: 140467 139117 297 55 0 139359 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 561868 [startup+200.128 s] /proc/loadavg: 1.00 1.00 0.96 2/64 13747 /proc/meminfo: memFree=970408/2055920 swapFree=4180864/4192956 [pid=13747] ppid=13745 vsize=580092 CPUtime=200.05 /proc/13747/stat : 13747 (bsolo) R 13745 13747 13701 0 -1 0 175695 0 0 0 19745 260 0 0 25 0 1 0 193316308 594014208 143590 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13747/statm: 145023 143590 297 55 0 143915 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 580092 [startup+210.134 s] /proc/loadavg: 1.00 1.00 0.96 2/64 13747 /proc/meminfo: memFree=950056/2055920 swapFree=4180864/4192956 ################ # More data... # ################ /proc/13747/statm: 401062 398376 297 55 0 399954 0 Current children cumulated CPU time (s) 1760.6 Current children cumulated vsize (Kb) 1604248 [startup+1771.12 s] /proc/loadavg: 1.00 1.00 0.96 2/64 13749 /proc/meminfo: memFree=15208/2055920 swapFree=4180864/4192956 [pid=13747] ppid=13745 vsize=1611656 CPUtime=1770.61 /proc/13747/stat : 13747 (bsolo) R 13745 13747 13701 0 -1 0 432721 0 0 0 176237 824 0 0 25 0 1 0 193316308 1650335744 400221 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534790 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13747/statm: 402914 400221 297 55 0 401806 0 Current children cumulated CPU time (s) 1770.61 Current children cumulated vsize (Kb) 1611656 [startup+1781.14 s] /proc/loadavg: 1.00 1.00 0.96 2/64 13749 /proc/meminfo: memFree=15656/2055920 swapFree=4180864/4192956 [pid=13747] ppid=13745 vsize=1620384 CPUtime=1780.62 /proc/13747/stat : 13747 (bsolo) R 13745 13747 13701 0 -1 0 434909 0 0 0 177234 828 0 0 25 0 1 0 193316308 1659273216 402409 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528714 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13747/statm: 405096 402409 297 55 0 403988 0 Current children cumulated CPU time (s) 1780.62 Current children cumulated vsize (Kb) 1620384 [startup+1782.14 s] /proc/loadavg: 1.00 1.00 0.96 2/64 13749 /proc/meminfo: memFree=15144/2055920 swapFree=4180864/4192956 [pid=13747] ppid=13745 vsize=1622496 CPUtime=1781.62 /proc/13747/stat : 13747 (bsolo) R 13745 13747 13701 0 -1 0 435418 0 0 0 177334 828 0 0 25 0 1 0 193316308 1661435904 402918 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13747/statm: 405624 402918 297 55 0 404516 0 Current children cumulated CPU time (s) 1781.62 Current children cumulated vsize (Kb) 1622496 [startup+1783.15 s] /proc/loadavg: 1.00 1.00 0.96 2/64 13749 /proc/meminfo: memFree=14952/2055920 swapFree=4180864/4192956 [pid=13747] ppid=13745 vsize=1624232 CPUtime=1782.63 /proc/13747/stat : 13747 (bsolo) R 13745 13747 13701 0 -1 0 435859 0 0 0 177434 829 0 0 25 0 1 0 193316308 1663213568 403359 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13747/statm: 406058 403359 297 55 0 404950 0 Current children cumulated CPU time (s) 1782.63 Current children cumulated vsize (Kb) 1624232 [startup+1784.15 s] /proc/loadavg: 1.00 1.00 0.96 2/64 13749 /proc/meminfo: memFree=14952/2055920 swapFree=4180864/4192956 [pid=13747] ppid=13745 vsize=1625816 CPUtime=1783.63 /proc/13747/stat : 13747 (bsolo) R 13745 13747 13701 0 -1 0 436233 0 0 0 177534 829 0 0 25 0 1 0 193316308 1664835584 403733 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13747/statm: 406454 403733 297 55 0 405346 0 Current children cumulated CPU time (s) 1783.63 Current children cumulated vsize (Kb) 1625816 [startup+1785.16 s] /proc/loadavg: 1.00 1.00 0.96 2/64 13749 /proc/meminfo: memFree=16168/2055920 swapFree=4180864/4192956 [pid=13747] ppid=13745 vsize=1627664 CPUtime=1784.64 /proc/13747/stat : 13747 (bsolo) R 13745 13747 13701 0 -1 0 436705 0 0 0 177634 830 0 0 25 0 1 0 193316308 1666727936 404204 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529376 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13747/statm: 406916 404204 297 55 0 405808 0 Current children cumulated CPU time (s) 1784.64 Current children cumulated vsize (Kb) 1627664 [startup+1786.16 s] /proc/loadavg: 1.00 1.00 0.96 2/64 13749 /proc/meminfo: memFree=15592/2055920 swapFree=4180864/4192956 [pid=13747] ppid=13745 vsize=1629776 CPUtime=1785.64 /proc/13747/stat : 13747 (bsolo) R 13745 13747 13701 0 -1 0 437228 0 0 0 177733 831 0 0 25 0 1 0 193316308 1668890624 404727 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13747/statm: 407444 404727 297 55 0 406336 0 Current children cumulated CPU time (s) 1785.64 Current children cumulated vsize (Kb) 1629776 [startup+1787.17 s] /proc/loadavg: 1.00 1.00 0.96 2/64 13749 /proc/meminfo: memFree=15144/2055920 swapFree=4180864/4192956 [pid=13747] ppid=13745 vsize=1631756 CPUtime=1786.64 /proc/13747/stat : 13747 (bsolo) R 13745 13747 13701 0 -1 0 437715 0 0 0 177833 831 0 0 25 0 1 0 193316308 1670918144 405214 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 9098875 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13747/statm: 407939 405214 297 55 0 406831 0 Current children cumulated CPU time (s) 1786.64 Current children cumulated vsize (Kb) 1631756 [startup+1788.17 s] /proc/loadavg: 1.00 1.00 0.96 2/64 13749 /proc/meminfo: memFree=15528/2055920 swapFree=4180864/4192956 [pid=13747] ppid=13745 vsize=1632944 CPUtime=1787.65 /proc/13747/stat : 13747 (bsolo) R 13745 13747 13701 0 -1 0 438004 0 0 0 177933 832 0 0 25 0 1 0 193316308 1672134656 405502 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13747/statm: 408236 405502 297 55 0 407128 0 Current children cumulated CPU time (s) 1787.65 Current children cumulated vsize (Kb) 1632944 [startup+1789.18 s] /proc/loadavg: 1.00 1.00 0.96 2/64 13749 /proc/meminfo: memFree=15144/2055920 swapFree=4180864/4192956 [pid=13747] ppid=13745 vsize=1633208 CPUtime=1788.65 /proc/13747/stat : 13747 (bsolo) R 13745 13747 13701 0 -1 0 438098 0 0 0 178033 832 0 0 25 0 1 0 193316308 1672404992 405596 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13747/statm: 408302 405596 297 55 0 407194 0 Current children cumulated CPU time (s) 1788.65 Current children cumulated vsize (Kb) 1633208 [startup+1790.18 s] /proc/loadavg: 1.00 1.00 0.96 2/64 13749 /proc/meminfo: memFree=16232/2055920 swapFree=4180864/4192956 [pid=13747] ppid=13745 vsize=1633736 CPUtime=1789.67 /proc/13747/stat : 13747 (bsolo) R 13745 13747 13701 0 -1 0 438217 0 0 0 178134 833 0 0 25 0 1 0 193316308 1672945664 405715 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13747/statm: 408434 405715 297 55 0 407326 0 Current children cumulated CPU time (s) 1789.67 Current children cumulated vsize (Kb) 1633736 [startup+1791.19 s] /proc/loadavg: 1.00 1.00 0.96 2/64 13749 /proc/meminfo: memFree=15720/2055920 swapFree=4180864/4192956 [pid=13747] ppid=13745 vsize=1634264 CPUtime=1790.66 /proc/13747/stat : 13747 (bsolo) R 13745 13747 13701 0 -1 0 438337 0 0 0 178233 833 0 0 25 0 1 0 193316308 1673486336 405835 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13747/statm: 408566 405835 297 55 0 407458 0 Current children cumulated CPU time (s) 1790.66 Current children cumulated vsize (Kb) 1634264 [startup+1792.19 s] /proc/loadavg: 1.00 1.00 0.96 2/64 13749 /proc/meminfo: memFree=15272/2055920 swapFree=4180864/4192956 [pid=13747] ppid=13745 vsize=1634660 CPUtime=1791.67 /proc/13747/stat : 13747 (bsolo) R 13745 13747 13701 0 -1 0 438457 0 0 0 178333 834 0 0 25 0 1 0 193316308 1673891840 405955 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13747/statm: 408665 405955 297 55 0 407557 0 Current children cumulated CPU time (s) 1791.67 Current children cumulated vsize (Kb) 1634660 [startup+1793.2 s] /proc/loadavg: 1.00 1.00 0.96 2/64 13749 /proc/meminfo: memFree=14888/2055920 swapFree=4180864/4192956 [pid=13747] ppid=13745 vsize=1635056 CPUtime=1792.67 /proc/13747/stat : 13747 (bsolo) R 13745 13747 13701 0 -1 0 438551 0 0 0 178433 834 0 0 25 0 1 0 193316308 1674297344 406049 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134632785 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13747/statm: 408764 406049 297 55 0 407656 0 Current children cumulated CPU time (s) 1792.67 Current children cumulated vsize (Kb) 1635056 [startup+1794.2 s] /proc/loadavg: 1.00 1.00 0.96 2/64 13749 /proc/meminfo: memFree=15976/2055920 swapFree=4180864/4192956 [pid=13747] ppid=13745 vsize=1635584 CPUtime=1793.68 /proc/13747/stat : 13747 (bsolo) R 13745 13747 13701 0 -1 0 438662 0 0 0 178533 835 0 0 25 0 1 0 193316308 1674838016 406160 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13747/statm: 408896 406160 297 55 0 407788 0 Current children cumulated CPU time (s) 1793.68 Current children cumulated vsize (Kb) 1635584 [startup+1795.21 s] /proc/loadavg: 1.00 1.00 0.96 2/64 13749 /proc/meminfo: memFree=15656/2055920 swapFree=4180864/4192956 [pid=13747] ppid=13745 vsize=1635848 CPUtime=1794.69 /proc/13747/stat : 13747 (bsolo) R 13745 13747 13701 0 -1 0 438748 0 0 0 178634 835 0 0 25 0 1 0 193316308 1675108352 406246 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134632785 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13747/statm: 408962 406246 297 55 0 407854 0 Current children cumulated CPU time (s) 1794.69 Current children cumulated vsize (Kb) 1635848 [startup+1796.21 s] /proc/loadavg: 1.00 1.00 0.96 2/64 13749 /proc/meminfo: memFree=16232/2055920 swapFree=4180864/4192956 [pid=13747] ppid=13745 vsize=1636772 CPUtime=1795.69 /proc/13747/stat : 13747 (bsolo) R 13745 13747 13701 0 -1 0 438982 0 0 0 178733 836 0 0 25 0 1 0 193316308 1676054528 406480 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13747/statm: 409193 406480 297 55 0 408085 0 Current children cumulated CPU time (s) 1795.69 Current children cumulated vsize (Kb) 1636772 [startup+1797.22 s] /proc/loadavg: 1.00 1.00 0.96 2/64 13749 /proc/meminfo: memFree=15976/2055920 swapFree=4180864/4192956 [pid=13747] ppid=13745 vsize=1637036 CPUtime=1796.7 /proc/13747/stat : 13747 (bsolo) R 13745 13747 13701 0 -1 0 439045 0 0 0 178834 836 0 0 25 0 1 0 193316308 1676324864 406543 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13747/statm: 409259 406543 297 55 0 408151 0 Current children cumulated CPU time (s) 1796.7 Current children cumulated vsize (Kb) 1637036 [startup+1798.22 s] /proc/loadavg: 1.00 1.00 0.96 2/64 13749 /proc/meminfo: memFree=15464/2055920 swapFree=4180864/4192956 [pid=13747] ppid=13745 vsize=1637564 CPUtime=1797.72 /proc/13747/stat : 13747 (bsolo) R 13745 13747 13701 0 -1 0 439181 0 0 0 178936 836 0 0 25 0 1 0 193316308 1676865536 406679 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13747/statm: 409391 406679 297 55 0 408283 0 Current children cumulated CPU time (s) 1797.72 Current children cumulated vsize (Kb) 1637564 [startup+1799.25 s] /proc/loadavg: 1.00 1.00 0.96 2/64 13749 /proc/meminfo: memFree=15144/2055920 swapFree=4180864/4192956 [pid=13747] ppid=13745 vsize=1640996 CPUtime=1798.73 /proc/13747/stat : 13747 (bsolo) R 13745 13747 13701 0 -1 0 440028 0 0 0 179036 837 0 0 25 0 1 0 193316308 1680379904 407526 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13747/statm: 410249 407526 297 55 0 409141 0 Current children cumulated CPU time (s) 1798.73 Current children cumulated vsize (Kb) 1640996 [startup+1800.26 s] /proc/loadavg: 1.00 1.00 0.96 2/64 13749 /proc/meminfo: memFree=15720/2055920 swapFree=4180864/4192956 [pid=13747] ppid=13745 vsize=1644956 CPUtime=1799.74 /proc/13747/stat : 13747 (bsolo) R 13745 13747 13701 0 -1 0 441032 0 0 0 179136 838 0 0 25 0 1 0 193316308 1684434944 408530 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13747/statm: 411239 408530 297 55 0 410131 0 Current children cumulated CPU time (s) 1799.74 Current children cumulated vsize (Kb) 1644956 Child status: 0 Real time (s): 1800.77 CPU time (s): 1800.26 CPU user time (s): 1791.62 CPU system time (s): 8.63769 CPU usage (%): 99.9713 Max. virtual memory (cumulated for all children) (Kb): 1644956
Begin job on node9 on Fri Jun 2 19:29:00 UTC 2006 FILE ID= 39888-1149276540 PBS_JOBID= 299159 BENCH NAME= ROOT/tmp/node9/39888-1149276540/instance-39888-1149276540.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node9/39888-1149276540/instance-39888-1149276540.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node9/watcher-39888-1149276540 -o ROOT/results/node9/solver-39888-1149276540 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node9/39888-1149276540/instance-39888-1149276540.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 79ac545a8fcf117e4e23dd9b4f8255c5 RANDOM SEED= 113755335 /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.234 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.234 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: 1544824 kB Buffers: 17376 kB Cached: 430808 kB SwapCached: 3744 kB Active: 52780 kB Inactive: 404020 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1544824 kB SwapTotal: 4192956 kB SwapFree: 4180864 kB Dirty: 204 kB Writeback: 0 kB Mapped: 14720 kB Slab: 40368 kB Committed_AS: 264476 kB PageTables: 1424 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node9 on Fri Jun 2 19:59:01 UTC 2006