| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (2) | ? (TO) | 3602.03 | 3615.77 |
| Name | PB24/normalized-PB11/OPT-LIN/ kullmann/normalized-mul_8_9_shg.opb |
| MD5SUM | 6ff458260e5cc7a1e00e7b04a599a648 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 42 |
| Best CPU time to get the best result obtained on this benchmark | 992.421 |
| 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 | 7840 |
| Total number of constraints | 65280 |
| Number of constraints which are clauses | 65280 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 34 |
| Maximum length of a constraint | 64 |
| Number of terms in the objective function | 7840 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 7840 |
| Number of bits of the sum of numbers in the objective function | 13 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 7840 |
| Number of bits of the biggest sum of numbers | 13 |
| 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/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 1.01/1.76 c #variables 7840 #constraints 65280 2586.61/2596.51 c bounds - >= 0 @ 0.998118 2586.61/2596.51 c bounds 1152 >= 0 @ 7.79817 2586.61/2596.51 c bounds 1152 >= 1 @ 7.8043 2586.61/2596.51 c bounds 1152 >= 2 @ 7.80813 2586.61/2596.51 c bounds 1152 >= 3 @ 7.81303 2586.61/2596.51 c bounds 1152 >= 4 @ 7.81642 2586.61/2596.51 c bounds 1152 >= 5 @ 7.82085 2586.61/2596.51 c bounds 1152 >= 6 @ 7.82511 2586.61/2596.51 c bounds 1152 >= 7 @ 7.82742 2586.61/2596.51 c bounds 1152 >= 8 @ 7.83349 2586.61/2596.51 c bounds 1152 >= 9 @ 7.83684 2586.61/2596.51 c bounds 1152 >= 10 @ 7.84352 2586.61/2596.51 c bounds 1152 >= 11 @ 7.84699 2586.61/2596.51 c bounds 1152 >= 12 @ 7.85258 2586.61/2596.51 c bounds 1152 >= 13 @ 7.85713 2586.61/2596.51 c bounds 1152 >= 14 @ 7.86088 2586.61/2596.51 c bounds 1152 >= 15 @ 7.86311 2586.61/2596.51 c bounds 1152 >= 16 @ 7.86859 2586.61/2596.51 c bounds 1152 >= 17 @ 7.87816 2586.61/2596.51 c bounds 1152 >= 18 @ 7.88314 2586.61/2596.51 c bounds 1152 >= 19 @ 7.88995 2586.61/2596.51 c bounds 1152 >= 20 @ 7.893 2586.61/2596.51 c bounds 1152 >= 21 @ 7.90087 2586.61/2596.51 c bounds 1152 >= 22 @ 7.90648 2586.61/2596.51 c bounds 1152 >= 23 @ 7.91279 2586.61/2596.51 c bounds 1152 >= 24 @ 7.9209 2586.61/2596.51 c bounds 1152 >= 25 @ 7.92703 2586.61/2596.51 c bounds 1152 >= 26 @ 7.93744 2586.61/2596.51 c bounds 1152 >= 27 @ 7.95594 2586.61/2596.51 c bounds 1152 >= 28 @ 7.9936 2586.61/2596.51 c bounds 1152 >= 29 @ 8.20313 2586.61/2596.51 c bounds 1151 >= 29 @ 8.31146 2586.61/2596.51 c #Conflicts: 1000 | #Constraints: 66482 2586.61/2596.51 c #Conflicts: 2000 | #Constraints: 67482 2586.61/2596.52 c INPROCESSING 2586.61/2596.52 c GARBAGE COLLECT 2586.61/2596.52 c bounds 1150 >= 29 @ 2582.69 2586.61/2596.52 c bounds 1149 >= 29 @ 2582.71 2586.61/2596.52 c bounds 1148 >= 29 @ 2582.72 2586.61/2596.52 c bounds 1147 >= 29 @ 2582.74 2586.61/2596.52 c bounds 1146 >= 29 @ 2582.75 2586.61/2596.52 c bounds 1145 >= 29 @ 2582.76 2586.61/2596.52 c bounds 1144 >= 29 @ 2582.77 2586.61/2596.52 c bounds 1143 >= 29 @ 2582.79 2586.61/2596.52 c bounds 1142 >= 29 @ 2582.8 2586.61/2596.52 c bounds 1141 >= 29 @ 2582.81 2586.61/2596.52 c bounds 1140 >= 29 @ 2582.82 2586.61/2596.52 c bounds 1139 >= 29 @ 2582.83 2586.61/2596.52 c bounds 1138 >= 29 @ 2582.84 2586.61/2596.52 c bounds 1137 >= 29 @ 2582.85 2586.61/2596.52 c bounds 1136 >= 29 @ 2582.86 2586.61/2596.52 c bounds 1135 >= 29 @ 2582.87 2586.61/2596.52 c bounds 1134 >= 29 @ 2582.88 2586.61/2596.52 c bounds 1133 >= 29 @ 2582.89 2586.61/2596.52 c bounds 1132 >= 29 @ 2582.9 2586.61/2596.52 c bounds 1131 >= 29 @ 2582.91 2586.61/2596.52 c bounds 1130 >= 29 @ 2582.93 2586.61/2596.52 c bounds 1129 >= 29 @ 2582.94 2586.61/2596.52 c bounds 1128 >= 29 @ 2582.95 2586.61/2596.52 c bounds 1127 >= 29 @ 2582.96 2586.61/2596.52 c bounds 1126 >= 29 @ 2582.97 2586.61/2596.52 c bounds 1125 >= 29 @ 2582.98 2586.61/2596.52 c bounds 1124 >= 29 @ 2583 2586.61/2596.52 c bounds 1123 >= 29 @ 2583.01 2586.61/2596.52 c bounds 1122 >= 29 @ 2583.04 2586.61/2596.52 c bounds 1121 >= 29 @ 2583.07 2586.61/2596.52 c bounds 1120 >= 29 @ 2583.09 2586.61/2596.52 c bounds 1119 >= 29 @ 2583.11 2586.61/2596.52 c bounds 1118 >= 29 @ 2583.13 2586.61/2596.52 c bounds 1117 >= 29 @ 2583.14 2586.61/2596.52 c bounds 1116 >= 29 @ 2583.15 2586.61/2596.52 c bounds 1115 >= 29 @ 2583.16 2586.61/2596.52 c bounds 1114 >= 29 @ 2583.18 2586.61/2596.52 c bounds 1113 >= 29 @ 2583.18 2586.61/2596.52 c bounds 1112 >= 29 @ 2583.2 2586.61/2596.52 c bounds 1111 >= 29 @ 2583.21 2586.61/2596.52 c bounds 1110 >= 29 @ 2583.22 2586.61/2596.52 c bounds 1109 >= 29 @ 2583.24 2586.61/2596.52 c bounds 1108 >= 29 @ 2583.25 2586.61/2596.52 c bounds 1107 >= 29 @ 2583.26 2586.61/2596.52 c bounds 1106 >= 29 @ 2583.27 2586.61/2596.52 c bounds 1105 >= 29 @ 2583.28 2586.61/2596.52 c bounds 1104 >= 29 @ 2583.3 2586.61/2596.52 c bounds 1103 >= 29 @ 2583.31 2586.61/2596.52 c bounds 1102 >= 29 @ 2583.32 2586.61/2596.52 c bounds 1101 >= 29 @ 2583.33 2586.61/2596.52 c bounds 1100 >= 29 @ 2583.34 2586.61/2596.52 c bounds 1099 >= 29 @ 2583.36 2586.61/2596.52 c bounds 1098 >= 29 @ 2583.37 2586.61/2596.52 c bounds 1097 >= 29 @ 2583.38 2586.61/2596.52 c bounds 1096 >= 29 @ 2583.39 2586.61/2596.52 c bounds 1095 >= 29 @ 2583.41 2586.61/2596.52 c bounds 1094 >= 29 @ 2583.42 2586.61/2596.52 c bounds 1093 >= 29 @ 2583.43 2586.61/2596.52 c bounds 1092 >= 29 @ 2583.43 2586.61/2596.52 c bounds 1091 >= 29 @ 2583.45 2586.61/2596.52 c bounds 1090 >= 29 @ 2583.46 2586.61/2596.52 c bounds 1089 >= 29 @ 2583.47 2586.61/2596.52 c bounds 1088 >= 29 @ 2583.48 2586.61/2596.52 c bounds 1087 >= 29 @ 2583.49 2586.61/2596.52 c bounds 1086 >= 29 @ 2583.5 2586.61/2596.52 c bounds 1085 >= 29 @ 2583.51 2586.61/2596.52 c bounds 1084 >= 29 @ 2583.52 2586.61/2596.52 c bounds 1083 >= 29 @ 2583.53 2586.61/2596.52 c bounds 1082 >= 29 @ 2583.54 2586.61/2596.52 c bounds 1081 >= 29 @ 2583.56 2586.61/2596.52 c bounds 1080 >= 29 @ 2583.56 2586.61/2596.52 c bounds 1079 >= 29 @ 2583.57 2586.61/2596.52 c bounds 1078 >= 29 @ 2583.59 2586.61/2596.52 c bounds 1077 >= 29 @ 2583.6 2586.61/2596.52 c bounds 1076 >= 29 @ 2583.61 2586.61/2596.52 c bounds 1075 >= 29 @ 2583.62 2586.61/2596.52 c bounds 1074 >= 29 @ 2583.64 2586.61/2596.52 c bounds 1073 >= 29 @ 2583.65 2586.61/2596.52 c bounds 1072 >= 29 @ 2583.66 2586.61/2596.52 c bounds 1071 >= 29 @ 2583.67 2586.61/2596.52 c bounds 1070 >= 29 @ 2583.69 2586.61/2596.52 c bounds 1069 >= 29 @ 2583.7 2586.61/2596.52 c bounds 1068 >= 29 @ 2583.71 2586.61/2596.52 c bounds 1067 >= 29 @ 2583.73 2586.61/2596.52 c bounds 1066 >= 29 @ 2583.74 2586.61/2596.52 c bounds 1065 >= 29 @ 2583.76 2586.61/2596.52 c bounds 1064 >= 29 @ 2583.77 2586.61/2596.52 c bounds 1063 >= 29 @ 2583.78 2586.61/2596.52 c bounds 1062 >= 29 @ 2583.79 2586.61/2596.52 c bounds 1061 >= 29 @ 2583.81 2586.61/2596.52 c bounds 1060 >= 29 @ 2583.82 2586.61/2596.52 c bounds 1059 >= 29 @ 2583.83 2586.61/2596.52 c bounds 1058 >= 29 @ 2583.84 2586.61/2596.52 c bounds 1057 >= 29 @ 2583.85 2586.61/2596.52 c bounds 1056 >= 29 @ 2583.86 2586.61/2596.52 c bounds 1055 >= 29 @ 2583.87 2586.61/2596.52 c bounds 1054 >= 29 @ 2583.88 2586.61/2596.52 c bounds 1053 >= 29 @ 2583.89 2586.61/2596.52 c bounds 1052 >= 29 @ 2583.91 2586.61/2596.52 c bounds 1051 >= 29 @ 2583.92 2586.61/2596.52 c bounds 1050 >= 29 @ 2583.93 2589.21/2599.11 c bounds 1049 >= 29 @ 2583.94 2589.21/2599.11 c bounds 1048 >= 29 @ 2583.94 2589.21/2599.11 c bounds 1047 >= 29 @ 2583.95 2589.21/2599.11 c bounds 1046 >= 29 @ 2583.96 2589.21/2599.11 c bounds 1045 >= 29 @ 2583.97 2589.21/2599.11 c bounds 1044 >= 29 @ 2583.98 2589.21/2599.11 c bounds 1043 >= 29 @ 2584 2589.21/2599.11 c bounds 1042 >= 29 @ 2584.01 2589.21/2599.11 c bounds 1041 >= 29 @ 2584.03 2589.21/2599.11 c bounds 1040 >= 29 @ 2584.04 2589.21/2599.11 c bounds 1039 >= 29 @ 2584.05 2589.21/2599.11 c bounds 1038 >= 29 @ 2584.06 2589.21/2599.11 c bounds 1037 >= 29 @ 2584.08 2589.21/2599.11 c bounds 1036 >= 29 @ 2584.09 2589.21/2599.11 c bounds 1035 >= 29 @ 2584.11 2589.21/2599.11 c bounds 1034 >= 29 @ 2584.12 2589.21/2599.11 c bounds 1033 >= 29 @ 2584.13 2589.21/2599.11 c bounds 1032 >= 29 @ 2584.14 2589.21/2599.11 c bounds 1031 >= 29 @ 2584.17 2589.21/2599.11 c bounds 1030 >= 29 @ 2584.19 2589.21/2599.11 c bounds 1029 >= 29 @ 2584.2 2589.21/2599.11 c bounds 1028 >= 29 @ 2584.21 2589.21/2599.11 c bounds 1027 >= 29 @ 2584.22 2589.21/2599.11 c bounds 1026 >= 29 @ 2584.24 2589.21/2599.11 c bounds 1025 >= 29 @ 2584.25 2589.21/2599.11 c bounds 1024 >= 29 @ 2584.26 2589.21/2599.11 c bounds 1023 >= 29 @ 2584.27 2589.21/2599.11 c bounds 1022 >= 29 @ 2584.27 2589.21/2599.11 c bounds 1021 >= 29 @ 2584.29 2589.21/2599.11 c bounds 1020 >= 29 @ 2584.3 2589.21/2599.11 c bounds 1019 >= 29 @ 2584.31 2589.21/2599.11 c bounds 1018 >= 29 @ 2584.33 2589.21/2599.11 c bounds 1017 >= 29 @ 2584.34 2589.21/2599.11 c bounds 1016 >= 29 @ 2584.35 2589.21/2599.11 c bounds 1015 >= 29 @ 2584.37 2589.21/2599.11 c bounds 1014 >= 29 @ 2584.38 2589.21/2599.11 c bounds 1013 >= 29 @ 2584.39 2589.21/2599.11 c bounds 1012 >= 29 @ 2584.4 2589.21/2599.11 c bounds 1011 >= 29 @ 2584.4 2589.21/2599.11 c bounds 1010 >= 29 @ 2584.41 2589.21/2599.11 c bounds 1009 >= 29 @ 2584.42 2589.21/2599.11 c bounds 1008 >= 29 @ 2584.43 2589.21/2599.11 c bounds 1007 >= 29 @ 2584.44 2589.21/2599.11 c bounds 1006 >= 29 @ 2584.45 2589.21/2599.11 c bounds 1005 >= 29 @ 2584.46 2589.21/2599.11 c bounds 1004 >= 29 @ 2584.47 2589.21/2599.11 c bounds 1003 >= 29 @ 2584.48 2589.21/2599.11 c bounds 1002 >= 29 @ 2584.5 2589.21/2599.11 c bounds 1001 >= 29 @ 2584.51 2589.21/2599.11 c bounds 1000 >= 29 @ 2584.52 2589.21/2599.11 c bounds 999 >= 29 @ 2584.54 2589.21/2599.11 c bounds 998 >= 29 @ 2584.55 2589.21/2599.11 c bounds 997 >= 29 @ 2584.57 2589.21/2599.11 c bounds 996 >= 29 @ 2584.58 2589.21/2599.11 c bounds 995 >= 29 @ 2584.6 2589.21/2599.11 c bounds 994 >= 29 @ 2584.61 2589.21/2599.11 c bounds 993 >= 29 @ 2584.62 2589.21/2599.11 c bounds 992 >= 29 @ 2584.63 2589.21/2599.11 c bounds 991 >= 29 @ 2584.64 2589.21/2599.11 c bounds 990 >= 29 @ 2584.65 2589.21/2599.11 c bounds 989 >= 29 @ 2584.66 2589.21/2599.11 c bounds 988 >= 29 @ 2584.67 2589.21/2599.11 c bounds 987 >= 29 @ 2584.68 2589.21/2599.11 c bounds 986 >= 29 @ 2584.68 2589.21/2599.11 c bounds 985 >= 29 @ 2584.69 2589.21/2599.11 c bounds 984 >= 29 @ 2584.7 2589.21/2599.11 c bounds 983 >= 29 @ 2584.71 2589.21/2599.11 c bounds 982 >= 29 @ 2584.72 2589.21/2599.11 c bounds 981 >= 29 @ 2584.73 2589.21/2599.11 c bounds 980 >= 29 @ 2584.73 2589.21/2599.11 c bounds 979 >= 29 @ 2584.75 2589.21/2599.11 c bounds 978 >= 29 @ 2584.76 2589.21/2599.11 c bounds 977 >= 29 @ 2584.77 2589.21/2599.11 c bounds 976 >= 29 @ 2584.78 2589.21/2599.11 c bounds 975 >= 29 @ 2584.79 2589.21/2599.11 c bounds 974 >= 29 @ 2584.8 2589.21/2599.11 c bounds 973 >= 29 @ 2584.81 2589.21/2599.11 c bounds 972 >= 29 @ 2584.82 2589.21/2599.11 c bounds 971 >= 29 @ 2584.83 2589.21/2599.11 c bounds 970 >= 29 @ 2584.85 2589.21/2599.11 c bounds 969 >= 29 @ 2584.86 2589.21/2599.11 c bounds 968 >= 29 @ 2584.87 2589.21/2599.11 c bounds 967 >= 29 @ 2584.89 2589.21/2599.11 c bounds 966 >= 29 @ 2584.9 2589.21/2599.11 c bounds 965 >= 29 @ 2584.91 2589.21/2599.11 c bounds 964 >= 29 @ 2584.92 2589.21/2599.11 c bounds 963 >= 29 @ 2584.93 2589.21/2599.11 c bounds 962 >= 29 @ 2584.94 2589.21/2599.11 c bounds 961 >= 29 @ 2584.95 2589.21/2599.11 c bounds 960 >= 29 @ 2584.95 2589.21/2599.11 c bounds 959 >= 29 @ 2584.96 2589.21/2599.11 c bounds 958 >= 29 @ 2584.97 2589.21/2599.11 c bounds 957 >= 29 @ 2584.99 2589.21/2599.11 c bounds 956 >= 29 @ 2585 2589.21/2599.11 c bounds 955 >= 29 @ 2585.01 2589.21/2599.11 c bounds 954 >= 29 @ 2585.02 2589.21/2599.11 c bounds 953 >= 29 @ 2585.02 2589.21/2599.11 c bounds 952 >= 29 @ 2585.04 2589.21/2599.11 c bounds 951 >= 29 @ 2585.06 2589.21/2599.11 c bounds 950 >= 29 @ 2585.07 2589.21/2599.11 c bounds 949 >= 29 @ 2585.08 2589.21/2599.11 c bounds 948 >= 29 @ 2585.09 2589.21/2599.11 c bounds 947 >= 29 @ 2585.1 2589.21/2599.11 c bounds 946 >= 29 @ 2585.12 2589.21/2599.11 c bounds 945 >= 29 @ 2585.13 2589.21/2599.11 c bounds 944 >= 29 @ 2585.14 2589.21/2599.11 c bounds 943 >= 29 @ 2585.15 2589.21/2599.11 c bounds 942 >= 29 @ 2585.16 2589.21/2599.11 c bounds 941 >= 29 @ 2585.17 2589.21/2599.11 c bounds 940 >= 29 @ 2585.18 2589.21/2599.11 c bounds 939 >= 29 @ 2585.19 2589.21/2599.11 c bounds 938 >= 29 @ 2585.2 2589.21/2599.11 c bounds 937 >= 29 @ 2585.21 2589.21/2599.11 c bounds 936 >= 29 @ 2585.22 2589.21/2599.11 c bounds 935 >= 29 @ 2585.23 2589.21/2599.11 c bounds 934 >= 29 @ 2585.24 2589.21/2599.11 c bounds 933 >= 29 @ 2585.25 2589.21/2599.11 c bounds 932 >= 29 @ 2585.25 2589.21/2599.11 c bounds 931 >= 29 @ 2585.27 2589.21/2599.11 c bounds 930 >= 29 @ 2585.28 2589.21/2599.11 c bounds 929 >= 29 @ 2585.29 2589.21/2599.11 c bounds 928 >= 29 @ 2585.29 2589.21/2599.11 c bounds 927 >= 29 @ 2585.3 2589.21/2599.11 c bounds 926 >= 29 @ 2585.31 2589.21/2599.11 c bounds 925 >= 29 @ 2585.32 2589.21/2599.11 c bounds 924 >= 29 @ 2585.33 2589.21/2599.11 c bounds 923 >= 29 @ 2585.34 2589.21/2599.11 c bounds 922 >= 29 @ 2585.35 2589.21/2599.11 c bounds 921 >= 29 @ 2585.36 2589.21/2599.11 c bounds 920 >= 29 @ 2585.37 2589.21/2599.11 c bounds 919 >= 29 @ 2585.38 2589.21/2599.11 c bounds 918 >= 29 @ 2585.39 2589.21/2599.11 c bounds 917 >= 29 @ 2585.4 2589.21/2599.11 c bounds 916 >= 29 @ 2585.42 2589.21/2599.11 c bounds 915 >= 29 @ 2585.43 2589.21/2599.11 c bounds 914 >= 29 @ 2585.44 2589.21/2599.11 c bounds 913 >= 29 @ 2585.46 2589.21/2599.11 c bounds 912 >= 29 @ 2585.47 2589.21/2599.11 c bounds 911 >= 29 @ 2585.49 2589.21/2599.11 c bounds 910 >= 29 @ 2585.51 2589.21/2599.11 c bounds 909 >= 29 @ 2585.53 2591.50/2601.49 c bounds 908 >= 29 @ 2585.55 2591.50/2601.49 c bounds 907 >= 29 @ 2585.56 2591.50/2601.49 c bounds 906 >= 29 @ 2585.57 2591.50/2601.49 c bounds 905 >= 29 @ 2585.58 2591.50/2601.49 c bounds 904 >= 29 @ 2585.59 2591.50/2601.49 c bounds 903 >= 29 @ 2585.59 2591.50/2601.49 c bounds 902 >= 29 @ 2585.6 2591.50/2601.49 c bounds 901 >= 29 @ 2585.61 2591.50/2601.49 c bounds 900 >= 29 @ 2585.62 2591.50/2601.49 c bounds 899 >= 29 @ 2585.63 2591.50/2601.49 c bounds 898 >= 29 @ 2585.64 2591.50/2601.49 c bounds 897 >= 29 @ 2585.65 2591.50/2601.49 c bounds 896 >= 29 @ 2585.66 2591.50/2601.49 c bounds 895 >= 29 @ 2585.67 2591.50/2601.49 c bounds 894 >= 29 @ 2585.68 2591.50/2601.49 c bounds 893 >= 29 @ 2585.69 2591.50/2601.49 c bounds 892 >= 29 @ 2585.7 2591.50/2601.49 c bounds 891 >= 29 @ 2585.71 2591.50/2601.49 c bounds 890 >= 29 @ 2585.71 2591.50/2601.49 c bounds 889 >= 29 @ 2585.72 2591.50/2601.49 c bounds 888 >= 29 @ 2585.73 2591.50/2601.49 c bounds 887 >= 29 @ 2585.74 2591.50/2601.49 c bounds 886 >= 29 @ 2585.75 2591.50/2601.49 c bounds 885 >= 29 @ 2585.77 2591.50/2601.49 c bounds 884 >= 29 @ 2585.78 2591.50/2601.49 c bounds 883 >= 29 @ 2585.8 2591.50/2601.49 c bounds 882 >= 29 @ 2585.8 2591.50/2601.49 c bounds 881 >= 29 @ 2585.81 2591.50/2601.49 c bounds 880 >= 29 @ 2585.82 2591.50/2601.49 c bounds 879 >= 29 @ 2585.83 2591.50/2601.49 c bounds 878 >= 29 @ 2585.84 2591.50/2601.49 c bounds 877 >= 29 @ 2585.85 2591.50/2601.49 c bounds 876 >= 29 @ 2585.86 2591.50/2601.49 c bounds 875 >= 29 @ 2585.87 2591.50/2601.49 c bounds 874 >= 29 @ 2585.89 2591.50/2601.49 c bounds 873 >= 29 @ 2585.9 2591.50/2601.49 c bounds 872 >= 29 @ 2585.92 2591.50/2601.49 c bounds 871 >= 29 @ 2585.93 2591.50/2601.49 c bounds 870 >= 29 @ 2585.94 2591.50/2601.49 c bounds 869 >= 29 @ 2585.96 2591.50/2601.49 c bounds 868 >= 29 @ 2585.97 2591.50/2601.49 c bounds 867 >= 29 @ 2585.98 2591.50/2601.49 c bounds 866 >= 29 @ 2586 2591.50/2601.49 c bounds 865 >= 29 @ 2586.01 2591.50/2601.49 c bounds 864 >= 29 @ 2586.02 2591.50/2601.49 c bounds 863 >= 29 @ 2586.03 2591.50/2601.49 c bounds 862 >= 29 @ 2586.04 2591.50/2601.49 c bounds 861 >= 29 @ 2586.05 2591.50/2601.49 c bounds 860 >= 29 @ 2586.06 2591.50/2601.49 c bounds 859 >= 29 @ 2586.07 2591.50/2601.49 c bounds 858 >= 29 @ 2586.08 2591.50/2601.49 c bounds 857 >= 29 @ 2586.09 2591.50/2601.49 c bounds 856 >= 29 @ 2586.11 2591.50/2601.49 c bounds 855 >= 29 @ 2586.12 2591.50/2601.49 c bounds 854 >= 29 @ 2586.13 2591.50/2601.49 c bounds 853 >= 29 @ 2586.15 2591.50/2601.49 c bounds 852 >= 29 @ 2586.16 2591.50/2601.49 c bounds 851 >= 29 @ 2586.17 2591.50/2601.49 c bounds 850 >= 29 @ 2586.18 2591.50/2601.49 c bounds 849 >= 29 @ 2586.19 2591.50/2601.49 c bounds 848 >= 29 @ 2586.19 2591.50/2601.49 c bounds 847 >= 29 @ 2586.2 2591.50/2601.49 c bounds 846 >= 29 @ 2586.22 2591.50/2601.49 c bounds 845 >= 29 @ 2586.23 2591.50/2601.49 c bounds 844 >= 29 @ 2586.24 2591.50/2601.49 c bounds 843 >= 29 @ 2586.25 2591.50/2601.49 c bounds 842 >= 29 @ 2586.26 2591.50/2601.49 c bounds 841 >= 29 @ 2586.27 2591.50/2601.49 c bounds 840 >= 29 @ 2586.28 2591.50/2601.49 c bounds 839 >= 29 @ 2586.29 2591.50/2601.49 c bounds 838 >= 29 @ 2586.3 2591.50/2601.49 c bounds 837 >= 29 @ 2586.31 2591.50/2601.49 c bounds 836 >= 29 @ 2586.32 2591.50/2601.49 c bounds 835 >= 29 @ 2586.33 2591.50/2601.49 c bounds 834 >= 29 @ 2586.34 2591.50/2601.49 c bounds 833 >= 29 @ 2586.35 2591.50/2601.49 c bounds 832 >= 29 @ 2586.35 2591.50/2601.49 c bounds 831 >= 29 @ 2586.37 2591.50/2601.49 c bounds 830 >= 29 @ 2586.38 2591.50/2601.49 c bounds 829 >= 29 @ 2586.39 2591.50/2601.49 c bounds 828 >= 29 @ 2586.4 2591.50/2601.49 c bounds 827 >= 29 @ 2586.41 2591.50/2601.49 c bounds 826 >= 29 @ 2586.42 2591.50/2601.49 c bounds 825 >= 29 @ 2586.43 2591.50/2601.49 c bounds 824 >= 29 @ 2586.44 2591.50/2601.49 c bounds 823 >= 29 @ 2586.44 2591.50/2601.49 c bounds 822 >= 29 @ 2586.45 2591.50/2601.49 c bounds 821 >= 29 @ 2586.46 2591.50/2601.49 c bounds 820 >= 29 @ 2586.47 2591.50/2601.49 c bounds 819 >= 29 @ 2586.48 2591.50/2601.49 c bounds 818 >= 29 @ 2586.49 2591.50/2601.49 c bounds 817 >= 29 @ 2586.49 2591.50/2601.49 c bounds 816 >= 29 @ 2586.5 2591.50/2601.49 c bounds 815 >= 29 @ 2586.51 2591.50/2601.49 c bounds 814 >= 29 @ 2586.52 2591.50/2601.49 c bounds 813 >= 29 @ 2586.53 2591.50/2601.49 c bounds 812 >= 29 @ 2586.54 2591.50/2601.49 c bounds 811 >= 29 @ 2586.54 2591.50/2601.49 c bounds 810 >= 29 @ 2586.55 2591.50/2601.49 c bounds 809 >= 29 @ 2586.57 2591.50/2601.49 c bounds 808 >= 29 @ 2586.58 2591.50/2601.49 c bounds 807 >= 29 @ 2586.59 2591.50/2601.49 c bounds 806 >= 29 @ 2586.6 2591.50/2601.49 c bounds 805 >= 29 @ 2586.62 2591.50/2601.49 c bounds 804 >= 29 @ 2586.63 2591.50/2601.49 c bounds 803 >= 29 @ 2586.64 2591.50/2601.49 c bounds 802 >= 29 @ 2586.65 2591.50/2601.49 c bounds 801 >= 29 @ 2586.66 2591.50/2601.49 c bounds 800 >= 29 @ 2586.67 2591.50/2601.49 c bounds 799 >= 29 @ 2586.69 2591.50/2601.49 c bounds 798 >= 29 @ 2586.7 2591.50/2601.49 c bounds 797 >= 29 @ 2586.71 2591.50/2601.49 c bounds 796 >= 29 @ 2586.72 2591.50/2601.49 c bounds 795 >= 29 @ 2586.72 2591.50/2601.49 c bounds 794 >= 29 @ 2586.74 2591.50/2601.49 c bounds 793 >= 29 @ 2586.74 2591.50/2601.49 c bounds 792 >= 29 @ 2586.75 2591.50/2601.49 c bounds 791 >= 29 @ 2586.76 2591.50/2601.49 c bounds 790 >= 29 @ 2586.77 2591.50/2601.49 c bounds 789 >= 29 @ 2586.79 2591.50/2601.49 c bounds 788 >= 29 @ 2586.8 2591.50/2601.49 c bounds 787 >= 29 @ 2586.81 2591.50/2601.49 c bounds 786 >= 29 @ 2586.81 2591.50/2601.49 c bounds 785 >= 29 @ 2586.82 2591.50/2601.49 c bounds 784 >= 29 @ 2586.83 2591.50/2601.49 c bounds 783 >= 29 @ 2586.84 2591.50/2601.49 c bounds 782 >= 29 @ 2586.85 2591.50/2601.49 c bounds 781 >= 29 @ 2586.86 2591.50/2601.49 c bounds 780 >= 29 @ 2586.87 2591.50/2601.49 c bounds 779 >= 29 @ 2586.88 2591.50/2601.49 c bounds 778 >= 29 @ 2586.88 2591.50/2601.49 c bounds 777 >= 29 @ 2586.89 2591.50/2601.49 c bounds 776 >= 29 @ 2586.91 2591.50/2601.49 c bounds 775 >= 29 @ 2586.92 2591.50/2601.49 c bounds 774 >= 29 @ 2586.93 2591.50/2601.49 c bounds 773 >= 29 @ 2586.94 2591.50/2601.49 c bounds 772 >= 29 @ 2586.95 2591.50/2601.49 c bounds 771 >= 29 @ 2586.96 2591.50/2601.49 c bounds 770 >= 29 @ 2586.97 2591.50/2601.49 c bounds 769 >= 29 @ 2586.98 2591.50/2601.49 c bounds 768 >= 29 @ 2586.99 2594.10/2604.03 c bounds 767 >= 29 @ 2587 2594.10/2604.03 c bounds 766 >= 29 @ 2587.01 2594.10/2604.03 c bounds 765 >= 29 @ 2587.02 2594.10/2604.03 c bounds 764 >= 29 @ 2587.03 2594.10/2604.03 c bounds 763 >= 29 @ 2587.04 2594.10/2604.03 c bounds 762 >= 29 @ 2587.05 2594.10/2604.03 c bounds 761 >= 29 @ 2587.07 2594.10/2604.03 c bounds 760 >= 29 @ 2587.07 2594.10/2604.03 c bounds 759 >= 29 @ 2587.08 2594.10/2604.03 c bounds 758 >= 29 @ 2587.09 2594.10/2604.03 c bounds 757 >= 29 @ 2587.09 2594.10/2604.03 c bounds 756 >= 29 @ 2587.1 2594.10/2604.03 c bounds 755 >= 29 @ 2587.11 2594.10/2604.03 c bounds 754 >= 29 @ 2587.12 2594.10/2604.03 c bounds 753 >= 29 @ 2587.13 2594.10/2604.03 c bounds 752 >= 29 @ 2587.14 2594.10/2604.03 c bounds 751 >= 29 @ 2587.15 2594.10/2604.03 c bounds 750 >= 29 @ 2587.17 2594.10/2604.03 c bounds 749 >= 29 @ 2587.18 2594.10/2604.03 c bounds 748 >= 29 @ 2587.19 2594.10/2604.03 c bounds 747 >= 29 @ 2587.2 2594.10/2604.03 c bounds 746 >= 29 @ 2587.21 2594.10/2604.03 c bounds 745 >= 29 @ 2587.22 2594.10/2604.03 c bounds 744 >= 29 @ 2587.23 2594.10/2604.03 c bounds 743 >= 29 @ 2587.24 2594.10/2604.03 c bounds 742 >= 29 @ 2587.25 2594.10/2604.03 c bounds 741 >= 29 @ 2587.26 2594.10/2604.03 c bounds 740 >= 29 @ 2587.32 2594.10/2604.03 c bounds 739 >= 29 @ 2587.34 2594.10/2604.03 c bounds 738 >= 29 @ 2587.36 2594.10/2604.03 c bounds 737 >= 29 @ 2587.37 2594.10/2604.03 c bounds 736 >= 29 @ 2587.38 2594.10/2604.03 c bounds 735 >= 29 @ 2587.39 2594.10/2604.03 c bounds 734 >= 29 @ 2587.41 2594.10/2604.03 c bounds 733 >= 29 @ 2587.41 2594.10/2604.03 c bounds 732 >= 29 @ 2587.42 2594.10/2604.03 c bounds 731 >= 29 @ 2587.43 2594.10/2604.03 c bounds 730 >= 29 @ 2587.44 2594.10/2604.03 c bounds 729 >= 29 @ 2587.45 2594.10/2604.03 c bounds 728 >= 29 @ 2587.46 2594.10/2604.03 c bounds 727 >= 29 @ 2587.47 2594.10/2604.03 c bounds 726 >= 29 @ 2587.48 2594.10/2604.03 c bounds 725 >= 29 @ 2587.49 2594.10/2604.03 c bounds 724 >= 29 @ 2587.51 2594.10/2604.03 c bounds 723 >= 29 @ 2587.52 2594.10/2604.03 c bounds 722 >= 29 @ 2587.54 2594.10/2604.03 c bounds 721 >= 29 @ 2587.55 2594.10/2604.03 c bounds 720 >= 29 @ 2587.56 2594.10/2604.03 c bounds 719 >= 29 @ 2587.58 2594.10/2604.03 c bounds 718 >= 29 @ 2587.59 2594.10/2604.03 c bounds 717 >= 29 @ 2587.61 2594.10/2604.03 c bounds 716 >= 29 @ 2587.62 2594.10/2604.03 c bounds 715 >= 29 @ 2587.63 2594.10/2604.03 c bounds 714 >= 29 @ 2587.65 2594.10/2604.03 c bounds 713 >= 29 @ 2587.67 2594.10/2604.03 c bounds 712 >= 29 @ 2587.68 2594.10/2604.03 c bounds 711 >= 29 @ 2587.7 2594.10/2604.03 c bounds 710 >= 29 @ 2587.71 2594.10/2604.03 c bounds 709 >= 29 @ 2587.72 2594.10/2604.03 c bounds 708 >= 29 @ 2587.73 2594.10/2604.03 c bounds 707 >= 29 @ 2587.74 2594.10/2604.03 c bounds 706 >= 29 @ 2587.75 2594.10/2604.03 c bounds 705 >= 29 @ 2587.76 2594.10/2604.03 c bounds 704 >= 29 @ 2587.76 2594.10/2604.03 c bounds 703 >= 29 @ 2587.78 2594.10/2604.03 c bounds 702 >= 29 @ 2587.79 2594.10/2604.03 c bounds 701 >= 29 @ 2587.8 2594.10/2604.03 c bounds 700 >= 29 @ 2587.81 2594.10/2604.03 c bounds 699 >= 29 @ 2587.82 2594.10/2604.03 c bounds 698 >= 29 @ 2587.84 2594.10/2604.03 c bounds 697 >= 29 @ 2587.85 2594.10/2604.03 c bounds 696 >= 29 @ 2587.87 2594.10/2604.03 c bounds 695 >= 29 @ 2587.88 2594.10/2604.03 c bounds 694 >= 29 @ 2587.89 2594.10/2604.03 c bounds 693 >= 29 @ 2587.9 2594.10/2604.03 c bounds 692 >= 29 @ 2587.91 2594.10/2604.03 c bounds 691 >= 29 @ 2587.92 2594.10/2604.03 c bounds 690 >= 29 @ 2587.93 2594.10/2604.03 c bounds 689 >= 29 @ 2587.94 2594.10/2604.03 c bounds 688 >= 29 @ 2587.95 2594.10/2604.03 c bounds 687 >= 29 @ 2587.96 2594.10/2604.03 c bounds 686 >= 29 @ 2587.97 2594.10/2604.03 c bounds 685 >= 29 @ 2587.97 2594.10/2604.03 c bounds 684 >= 29 @ 2587.98 2594.10/2604.03 c bounds 683 >= 29 @ 2587.99 2594.10/2604.03 c bounds 682 >= 29 @ 2588 2594.10/2604.03 c bounds 681 >= 29 @ 2588 2594.10/2604.03 c bounds 680 >= 29 @ 2588.01 2594.10/2604.03 c bounds 679 >= 29 @ 2588.02 2594.10/2604.03 c bounds 678 >= 29 @ 2588.04 2594.10/2604.03 c bounds 677 >= 29 @ 2588.06 2594.10/2604.03 c bounds 676 >= 29 @ 2588.07 2594.10/2604.03 c bounds 675 >= 29 @ 2588.08 2594.10/2604.03 c bounds 674 >= 29 @ 2588.09 2594.10/2604.03 c bounds 673 >= 29 @ 2588.1 2594.10/2604.03 c bounds 672 >= 29 @ 2588.11 2594.10/2604.03 c bounds 671 >= 29 @ 2588.12 2594.10/2604.03 c bounds 670 >= 29 @ 2588.13 2594.10/2604.03 c bounds 669 >= 29 @ 2588.14 2594.10/2604.03 c bounds 668 >= 29 @ 2588.16 2594.10/2604.03 c bounds 667 >= 29 @ 2588.17 2594.10/2604.03 c bounds 666 >= 29 @ 2588.18 2594.10/2604.03 c bounds 665 >= 29 @ 2588.2 2594.10/2604.03 c bounds 664 >= 29 @ 2588.21 2594.10/2604.03 c bounds 663 >= 29 @ 2588.23 2594.10/2604.03 c bounds 662 >= 29 @ 2588.24 2594.10/2604.03 c bounds 661 >= 29 @ 2588.26 2594.10/2604.03 c bounds 660 >= 29 @ 2588.28 2594.10/2604.03 c bounds 659 >= 29 @ 2588.29 2594.10/2604.03 c bounds 658 >= 29 @ 2588.3 2594.10/2604.03 c bounds 657 >= 29 @ 2588.32 2594.10/2604.03 c bounds 656 >= 29 @ 2588.33 2594.10/2604.03 c bounds 655 >= 29 @ 2588.36 2594.10/2604.03 c bounds 654 >= 29 @ 2588.38 2594.10/2604.03 c bounds 653 >= 29 @ 2588.4 2594.10/2604.03 c bounds 652 >= 29 @ 2588.42 2594.10/2604.03 c bounds 651 >= 29 @ 2588.43 2594.10/2604.03 c bounds 650 >= 29 @ 2588.44 2594.10/2604.03 c bounds 649 >= 29 @ 2588.46 2594.10/2604.03 c bounds 648 >= 29 @ 2588.47 2594.10/2604.03 c bounds 647 >= 29 @ 2588.48 2594.10/2604.03 c bounds 646 >= 29 @ 2588.49 2594.10/2604.03 c bounds 645 >= 29 @ 2588.5 2594.10/2604.03 c bounds 644 >= 29 @ 2588.52 2594.10/2604.03 c bounds 643 >= 29 @ 2588.53 2594.10/2604.03 c bounds 642 >= 29 @ 2588.53 2594.10/2604.03 c bounds 641 >= 29 @ 2588.54 2594.10/2604.03 c bounds 640 >= 29 @ 2588.55 2594.10/2604.03 c bounds 639 >= 29 @ 2588.56 2594.10/2604.03 c bounds 638 >= 29 @ 2588.57 2594.10/2604.03 c bounds 637 >= 29 @ 2588.57 2594.10/2604.03 c bounds 636 >= 29 @ 2588.58 2594.10/2604.03 c bounds 635 >= 29 @ 2588.59 2594.10/2604.03 c bounds 634 >= 29 @ 2588.6 2594.10/2604.03 c bounds 633 >= 29 @ 2588.6 2594.10/2604.03 c bounds 632 >= 29 @ 2588.61 2594.10/2604.03 c bounds 631 >= 29 @ 2588.62 2594.10/2604.03 c bounds 630 >= 29 @ 2588.63 2594.10/2604.03 c bounds 629 >= 29 @ 2588.64 2594.10/2604.03 c bounds 628 >= 29 @ 2588.64 2594.10/2604.03 c bounds 627 >= 29 @ 2588.66 2594.10/2604.03 c bounds 626 >= 29 @ 2588.67 2596.88/2606.81 c bounds 625 >= 29 @ 2588.68 2596.88/2606.81 c bounds 624 >= 29 @ 2588.69 2596.88/2606.81 c bounds 623 >= 29 @ 2588.7 2596.88/2606.81 c bounds 622 >= 29 @ 2588.71 2596.88/2606.81 c bounds 621 >= 29 @ 2588.72 2596.88/2606.81 c bounds 620 >= 29 @ 2588.73 2596.88/2606.81 c bounds 619 >= 29 @ 2588.74 2596.88/2606.81 c bounds 618 >= 29 @ 2588.75 2596.88/2606.81 c bounds 617 >= 29 @ 2588.76 2596.88/2606.81 c bounds 616 >= 29 @ 2588.77 2596.88/2606.81 c bounds 615 >= 29 @ 2588.78 2596.88/2606.81 c bounds 614 >= 29 @ 2588.79 2596.88/2606.81 c bounds 613 >= 29 @ 2588.8 2596.88/2606.81 c bounds 612 >= 29 @ 2588.81 2596.88/2606.81 c bounds 611 >= 29 @ 2588.82 2596.88/2606.81 c bounds 610 >= 29 @ 2588.83 2596.88/2606.81 c bounds 609 >= 29 @ 2588.85 2596.88/2606.81 c bounds 608 >= 29 @ 2588.86 2596.88/2606.81 c bounds 607 >= 29 @ 2588.87 2596.88/2606.81 c bounds 606 >= 29 @ 2588.88 2596.88/2606.81 c bounds 605 >= 29 @ 2588.89 2596.88/2606.81 c bounds 604 >= 29 @ 2588.9 2596.88/2606.81 c bounds 603 >= 29 @ 2588.91 2596.88/2606.81 c bounds 602 >= 29 @ 2588.92 2596.88/2606.81 c bounds 601 >= 29 @ 2588.93 2596.88/2606.81 c bounds 600 >= 29 @ 2588.94 2596.88/2606.81 c bounds 599 >= 29 @ 2588.94 2596.88/2606.81 c bounds 598 >= 29 @ 2588.95 2596.88/2606.81 c bounds 597 >= 29 @ 2588.96 2596.88/2606.81 c bounds 596 >= 29 @ 2588.97 2596.88/2606.81 c bounds 595 >= 29 @ 2588.98 2596.88/2606.81 c bounds 594 >= 29 @ 2588.99 2596.88/2606.81 c bounds 593 >= 29 @ 2589 2596.88/2606.81 c bounds 592 >= 29 @ 2589.01 2596.88/2606.81 c bounds 591 >= 29 @ 2589.02 2596.88/2606.81 c bounds 590 >= 29 @ 2589.03 2596.88/2606.81 c bounds 589 >= 29 @ 2589.04 2596.88/2606.81 c bounds 588 >= 29 @ 2589.05 2596.88/2606.81 c bounds 587 >= 29 @ 2589.06 2596.88/2606.81 c bounds 586 >= 29 @ 2589.07 2596.88/2606.81 c bounds 585 >= 29 @ 2589.08 2596.88/2606.81 c bounds 584 >= 29 @ 2589.09 2596.88/2606.81 c bounds 583 >= 29 @ 2589.1 2596.88/2606.81 c bounds 582 >= 29 @ 2589.11 2596.88/2606.81 c bounds 581 >= 29 @ 2589.12 2596.88/2606.81 c bounds 580 >= 29 @ 2589.13 2596.88/2606.81 c bounds 579 >= 29 @ 2589.14 2596.88/2606.81 c bounds 578 >= 29 @ 2589.15 2596.88/2606.81 c bounds 577 >= 29 @ 2589.16 2596.88/2606.81 c bounds 576 >= 29 @ 2589.17 2596.88/2606.81 c bounds 575 >= 29 @ 2589.18 2596.88/2606.81 c bounds 574 >= 29 @ 2589.19 2596.88/2606.81 c bounds 573 >= 29 @ 2589.2 2596.88/2606.81 c bounds 572 >= 29 @ 2589.21 2596.88/2606.81 c bounds 571 >= 29 @ 2589.22 2596.88/2606.81 c bounds 570 >= 29 @ 2589.23 2596.88/2606.81 c bounds 569 >= 29 @ 2589.24 2596.88/2606.81 c bounds 568 >= 29 @ 2589.25 2596.88/2606.81 c bounds 567 >= 29 @ 2589.26 2596.88/2606.81 c bounds 566 >= 29 @ 2589.27 2596.88/2606.81 c bounds 565 >= 29 @ 2589.28 2596.88/2606.81 c bounds 564 >= 29 @ 2589.29 2596.88/2606.81 c bounds 563 >= 29 @ 2589.3 2596.88/2606.81 c bounds 562 >= 29 @ 2589.32 2596.88/2606.81 c bounds 561 >= 29 @ 2589.33 2596.88/2606.81 c bounds 560 >= 29 @ 2589.34 2596.88/2606.81 c bounds 559 >= 29 @ 2589.36 2596.88/2606.81 c bounds 558 >= 29 @ 2589.37 2596.88/2606.81 c bounds 557 >= 29 @ 2589.39 2596.88/2606.81 c bounds 556 >= 29 @ 2589.4 2596.88/2606.81 c bounds 555 >= 29 @ 2589.41 2596.88/2606.81 c bounds 554 >= 29 @ 2589.42 2596.88/2606.81 c bounds 553 >= 29 @ 2589.43 2596.88/2606.81 c bounds 552 >= 29 @ 2589.44 2596.88/2606.81 c bounds 551 >= 29 @ 2589.45 2596.88/2606.81 c bounds 550 >= 29 @ 2589.46 2596.88/2606.81 c bounds 549 >= 29 @ 2589.48 2596.88/2606.81 c bounds 548 >= 29 @ 2589.49 2596.88/2606.81 c bounds 547 >= 29 @ 2589.51 2596.88/2606.81 c bounds 546 >= 29 @ 2589.53 2596.88/2606.81 c bounds 545 >= 29 @ 2589.54 2596.88/2606.81 c bounds 544 >= 29 @ 2589.55 2596.88/2606.81 c bounds 543 >= 29 @ 2589.56 2596.88/2606.81 c bounds 542 >= 29 @ 2589.58 2596.88/2606.81 c bounds 541 >= 29 @ 2589.59 2596.88/2606.81 c bounds 540 >= 29 @ 2589.61 2596.88/2606.81 c bounds 539 >= 29 @ 2589.62 2596.88/2606.81 c bounds 538 >= 29 @ 2589.64 2596.88/2606.81 c bounds 537 >= 29 @ 2589.65 2596.88/2606.81 c bounds 536 >= 29 @ 2589.67 2596.88/2606.81 c bounds 535 >= 29 @ 2589.69 2596.88/2606.81 c bounds 534 >= 29 @ 2589.71 2596.88/2606.81 c bounds 533 >= 29 @ 2589.72 2596.88/2606.81 c bounds 532 >= 29 @ 2589.74 2596.88/2606.81 c bounds 531 >= 29 @ 2589.75 2596.88/2606.81 c bounds 530 >= 29 @ 2589.78 2596.88/2606.81 c bounds 529 >= 29 @ 2589.79 2596.88/2606.81 c bounds 528 >= 29 @ 2589.81 2596.88/2606.81 c bounds 527 >= 29 @ 2589.83 2596.88/2606.81 c bounds 526 >= 29 @ 2589.85 2596.88/2606.81 c bounds 525 >= 29 @ 2589.86 2596.88/2606.81 c bounds 524 >= 29 @ 2589.87 2596.88/2606.81 c bounds 523 >= 29 @ 2589.89 2596.88/2606.81 c bounds 522 >= 29 @ 2589.9 2596.88/2606.81 c bounds 521 >= 29 @ 2589.92 2596.88/2606.81 c bounds 520 >= 29 @ 2589.96 2596.88/2606.81 c bounds 519 >= 29 @ 2589.98 2596.88/2606.81 c bounds 518 >= 29 @ 2590 2596.88/2606.81 c bounds 517 >= 29 @ 2590.07 2596.88/2606.81 c bounds 516 >= 29 @ 2590.09 2596.88/2606.81 c bounds 515 >= 29 @ 2590.11 2596.88/2606.81 c bounds 514 >= 29 @ 2590.13 2596.88/2606.81 c bounds 513 >= 29 @ 2590.15 2596.88/2606.81 c bounds 512 >= 29 @ 2590.16 2596.88/2606.81 c bounds 511 >= 29 @ 2590.18 2596.88/2606.81 c bounds 510 >= 29 @ 2590.2 2596.88/2606.81 c bounds 509 >= 29 @ 2590.22 2596.88/2606.81 c bounds 508 >= 29 @ 2590.23 2596.88/2606.81 c bounds 507 >= 29 @ 2590.25 2596.88/2606.81 c bounds 506 >= 29 @ 2590.26 2596.88/2606.81 c bounds 505 >= 29 @ 2590.28 2596.88/2606.81 c bounds 504 >= 29 @ 2590.28 2596.88/2606.81 c bounds 503 >= 29 @ 2590.29 2596.88/2606.81 c bounds 502 >= 29 @ 2590.3 2596.88/2606.81 c bounds 501 >= 29 @ 2590.31 2596.88/2606.81 c bounds 500 >= 29 @ 2590.32 2596.88/2606.81 c bounds 499 >= 29 @ 2590.33 2596.88/2606.81 c bounds 498 >= 29 @ 2590.34 2596.88/2606.81 c bounds 497 >= 29 @ 2590.35 2596.88/2606.81 c bounds 496 >= 29 @ 2590.35 2596.88/2606.81 c bounds 495 >= 29 @ 2590.36 2596.88/2606.81 c bounds 494 >= 29 @ 2590.38 2596.88/2606.81 c bounds 493 >= 29 @ 2590.4 2596.88/2606.81 c bounds 492 >= 29 @ 2590.43 2596.88/2606.81 c bounds 491 >= 29 @ 2590.44 2596.88/2606.81 c bounds 490 >= 29 @ 2590.46 2596.88/2606.81 c bounds 489 >= 29 @ 2590.47 2596.88/2606.81 c bounds 488 >= 29 @ 2590.48 2596.88/2606.81 c bounds 487 >= 29 @ 2590.49 2596.88/2606.81 c bounds 486 >= 29 @ 2590.5 2596.88/2606.81 c bounds 485 >= 29 @ 2590.52 2596.88/2606.81 c bounds 484 >= 29 @ 2590.53 2599.08/2609.07 c bounds 483 >= 29 @ 2590.54 2599.08/2609.07 c bounds 482 >= 29 @ 2590.56 2599.08/2609.07 c bounds 481 >= 29 @ 2590.58 2599.08/2609.07 c bounds 480 >= 29 @ 2590.59 2599.08/2609.07 c bounds 479 >= 29 @ 2590.6 2599.08/2609.07 c bounds 478 >= 29 @ 2590.61 2599.08/2609.07 c bounds 477 >= 29 @ 2590.62 2599.08/2609.07 c bounds 476 >= 29 @ 2590.63 2599.08/2609.07 c bounds 475 >= 29 @ 2590.64 2599.08/2609.07 c bounds 474 >= 29 @ 2590.65 2599.08/2609.07 c bounds 473 >= 29 @ 2590.66 2599.08/2609.07 c bounds 472 >= 29 @ 2590.68 2599.08/2609.07 c bounds 471 >= 29 @ 2590.69 2599.08/2609.07 c bounds 470 >= 29 @ 2590.7 2599.08/2609.07 c bounds 469 >= 29 @ 2590.71 2599.08/2609.07 c bounds 468 >= 29 @ 2590.72 2599.08/2609.07 c bounds 467 >= 29 @ 2590.73 2599.08/2609.07 c bounds 466 >= 29 @ 2590.74 2599.08/2609.07 c bounds 465 >= 29 @ 2590.75 2599.08/2609.07 c bounds 464 >= 29 @ 2590.76 2599.08/2609.07 c bounds 463 >= 29 @ 2590.77 2599.08/2609.07 c bounds 462 >= 29 @ 2590.78 2599.08/2609.07 c bounds 461 >= 29 @ 2590.79 2599.08/2609.07 c bounds 460 >= 29 @ 2590.8 2599.08/2609.07 c bounds 459 >= 29 @ 2590.81 2599.08/2609.07 c bounds 458 >= 29 @ 2590.81 2599.08/2609.07 c bounds 457 >= 29 @ 2590.82 2599.08/2609.07 c bounds 456 >= 29 @ 2590.83 2599.08/2609.07 c bounds 455 >= 29 @ 2590.84 2599.08/2609.07 c bounds 454 >= 29 @ 2590.85 2599.08/2609.07 c bounds 453 >= 29 @ 2590.86 2599.08/2609.07 c bounds 452 >= 29 @ 2590.86 2599.08/2609.07 c bounds 451 >= 29 @ 2590.87 2599.08/2609.07 c bounds 450 >= 29 @ 2590.88 2599.08/2609.07 c bounds 449 >= 29 @ 2590.89 2599.08/2609.07 c bounds 448 >= 29 @ 2590.9 2599.08/2609.07 c bounds 447 >= 29 @ 2590.91 2599.08/2609.07 c bounds 446 >= 29 @ 2590.91 2599.08/2609.07 c bounds 445 >= 29 @ 2590.93 2599.08/2609.07 c bounds 444 >= 29 @ 2590.94 2599.08/2609.07 c bounds 443 >= 29 @ 2590.95 2599.08/2609.07 c bounds 442 >= 29 @ 2590.95 2599.08/2609.07 c bounds 441 >= 29 @ 2590.96 2599.08/2609.07 c bounds 440 >= 29 @ 2590.97 2599.08/2609.07 c bounds 439 >= 29 @ 2590.98 2599.08/2609.07 c bounds 438 >= 29 @ 2590.98 2599.08/2609.07 c bounds 437 >= 29 @ 2590.99 2599.08/2609.07 c bounds 436 >= 29 @ 2591 2599.08/2609.07 c bounds 435 >= 29 @ 2591.01 2599.08/2609.07 c bounds 434 >= 29 @ 2591.02 2599.08/2609.07 c bounds 433 >= 29 @ 2591.03 2599.08/2609.07 c bounds 432 >= 29 @ 2591.05 2599.08/2609.07 c bounds 431 >= 29 @ 2591.06 2599.08/2609.07 c bounds 430 >= 29 @ 2591.07 2599.08/2609.07 c bounds 429 >= 29 @ 2591.09 2599.08/2609.07 c bounds 428 >= 29 @ 2591.1 2599.08/2609.07 c bounds 427 >= 29 @ 2591.11 2599.08/2609.07 c bounds 426 >= 29 @ 2591.13 2599.08/2609.07 c bounds 425 >= 29 @ 2591.15 2599.08/2609.07 c bounds 424 >= 29 @ 2591.18 2599.08/2609.07 c #Conflicts: 3000 | #Constraints: 68210 2599.08/2609.07 c bounds 423 >= 29 @ 2591.19 2599.08/2609.07 c bounds 422 >= 29 @ 2591.21 2599.08/2609.07 c bounds 421 >= 29 @ 2591.22 2599.08/2609.07 c bounds 420 >= 29 @ 2591.23 2599.08/2609.07 c bounds 419 >= 29 @ 2591.24 2599.08/2609.07 c bounds 418 >= 29 @ 2591.24 2599.08/2609.07 c bounds 417 >= 29 @ 2591.25 2599.08/2609.07 c bounds 416 >= 29 @ 2591.26 2599.08/2609.07 c bounds 415 >= 29 @ 2591.26 2599.08/2609.07 c bounds 414 >= 29 @ 2591.27 2599.08/2609.07 c bounds 413 >= 29 @ 2591.28 2599.08/2609.07 c bounds 412 >= 29 @ 2591.29 2599.08/2609.07 c bounds 411 >= 29 @ 2591.29 2599.08/2609.07 c bounds 410 >= 29 @ 2591.3 2599.08/2609.07 c bounds 409 >= 29 @ 2591.31 2599.08/2609.07 c bounds 408 >= 29 @ 2591.32 2599.08/2609.07 c bounds 407 >= 29 @ 2591.32 2599.08/2609.07 c bounds 406 >= 29 @ 2591.33 2599.08/2609.07 c bounds 405 >= 29 @ 2591.34 2599.08/2609.07 c bounds 404 >= 29 @ 2591.35 2599.08/2609.07 c bounds 403 >= 29 @ 2591.35 2599.08/2609.07 c bounds 402 >= 29 @ 2591.36 2599.08/2609.07 c bounds 401 >= 29 @ 2591.37 2599.08/2609.07 c bounds 400 >= 29 @ 2591.38 2599.08/2609.07 c bounds 399 >= 29 @ 2591.38 2599.08/2609.07 c bounds 398 >= 29 @ 2591.39 2599.08/2609.07 c bounds 397 >= 29 @ 2591.4 2599.08/2609.07 c bounds 396 >= 29 @ 2591.41 2599.08/2609.07 c bounds 395 >= 29 @ 2591.42 2599.08/2609.07 c bounds 394 >= 29 @ 2591.43 2599.08/2609.07 c bounds 393 >= 29 @ 2591.44 2599.08/2609.07 c bounds 392 >= 29 @ 2591.45 2599.08/2609.07 c bounds 391 >= 29 @ 2591.46 2599.08/2609.07 c bounds 390 >= 29 @ 2591.47 2599.08/2609.07 c bounds 389 >= 29 @ 2591.48 2599.08/2609.07 c bounds 388 >= 29 @ 2591.49 2599.08/2609.07 c bounds 387 >= 29 @ 2591.5 2599.08/2609.07 c bounds 386 >= 29 @ 2591.51 2599.08/2609.07 c bounds 385 >= 29 @ 2591.52 2599.08/2609.07 c bounds 384 >= 29 @ 2591.53 2599.08/2609.07 c bounds 383 >= 29 @ 2591.54 2599.08/2609.07 c bounds 382 >= 29 @ 2591.55 2599.08/2609.07 c bounds 381 >= 29 @ 2591.56 2599.08/2609.07 c bounds 380 >= 29 @ 2591.57 2599.08/2609.07 c bounds 379 >= 29 @ 2591.57 2599.08/2609.07 c bounds 378 >= 29 @ 2591.59 2599.08/2609.07 c bounds 377 >= 29 @ 2591.59 2599.08/2609.07 c bounds 376 >= 29 @ 2591.6 2599.08/2609.07 c bounds 375 >= 29 @ 2591.61 2599.08/2609.07 c bounds 374 >= 29 @ 2591.62 2599.08/2609.07 c bounds 373 >= 29 @ 2591.63 2599.08/2609.07 c bounds 372 >= 29 @ 2591.64 2599.08/2609.07 c bounds 371 >= 29 @ 2591.65 2599.08/2609.07 c bounds 370 >= 29 @ 2591.66 2599.08/2609.07 c bounds 369 >= 29 @ 2591.67 2599.08/2609.07 c bounds 368 >= 29 @ 2591.68 2599.08/2609.07 c bounds 367 >= 29 @ 2591.7 2599.08/2609.07 c bounds 366 >= 29 @ 2591.71 2599.08/2609.07 c bounds 365 >= 29 @ 2591.71 2599.08/2609.07 c bounds 364 >= 29 @ 2591.73 2599.08/2609.07 c bounds 363 >= 29 @ 2591.74 2599.08/2609.07 c bounds 362 >= 29 @ 2591.76 2599.08/2609.07 c bounds 361 >= 29 @ 2591.78 2599.08/2609.07 c bounds 360 >= 29 @ 2591.79 2599.08/2609.07 c bounds 359 >= 29 @ 2591.81 2599.08/2609.07 c bounds 358 >= 29 @ 2591.83 2599.08/2609.07 c bounds 357 >= 29 @ 2591.84 2599.08/2609.07 c bounds 356 >= 29 @ 2591.85 2599.08/2609.07 c bounds 355 >= 29 @ 2591.86 2599.08/2609.07 c bounds 354 >= 29 @ 2591.87 2599.08/2609.07 c bounds 353 >= 29 @ 2591.87 2599.08/2609.07 c bounds 352 >= 29 @ 2591.88 2599.08/2609.07 c bounds 351 >= 29 @ 2591.89 2599.08/2609.07 c bounds 350 >= 29 @ 2591.9 2599.08/2609.07 c bounds 349 >= 29 @ 2591.91 2599.08/2609.07 c bounds 348 >= 29 @ 2591.93 2599.08/2609.07 c bounds 347 >= 29 @ 2591.95 2599.08/2609.07 c bounds 346 >= 29 @ 2591.96 2599.08/2609.07 c bounds 345 >= 29 @ 2591.98 2599.08/2609.07 c bounds 344 >= 29 @ 2591.99 2686.48/2696.76 c bounds 343 >= 29 @ 2592 2686.48/2696.76 c bounds 342 >= 29 @ 2592.01 2686.48/2696.76 c bounds 341 >= 29 @ 2592.02 2686.48/2696.76 c bounds 340 >= 29 @ 2592.03 2686.48/2696.76 c bounds 339 >= 29 @ 2592.05 2686.48/2696.76 c bounds 338 >= 29 @ 2592.05 2686.48/2696.76 c bounds 337 >= 29 @ 2592.06 2686.48/2696.76 c bounds 336 >= 29 @ 2592.08 2686.48/2696.76 c bounds 335 >= 29 @ 2592.09 2686.48/2696.76 c bounds 334 >= 29 @ 2592.1 2686.48/2696.76 c bounds 333 >= 29 @ 2592.11 2686.48/2696.76 c bounds 332 >= 29 @ 2592.12 2686.48/2696.76 c bounds 331 >= 29 @ 2592.14 2686.48/2696.76 c bounds 330 >= 29 @ 2592.17 2686.48/2696.76 c bounds 329 >= 29 @ 2592.19 2686.48/2696.76 c bounds 328 >= 29 @ 2592.21 2686.48/2696.76 c bounds 327 >= 29 @ 2592.24 2686.48/2696.76 c bounds 326 >= 29 @ 2592.27 2686.48/2696.76 c bounds 325 >= 29 @ 2592.3 2686.48/2696.76 c bounds 324 >= 29 @ 2592.32 2686.48/2696.76 c bounds 323 >= 29 @ 2592.37 2686.48/2696.76 c bounds 322 >= 29 @ 2592.42 2686.48/2696.76 c bounds 321 >= 29 @ 2592.49 2686.48/2696.76 c bounds 320 >= 29 @ 2592.66 2686.48/2696.76 c bounds 319 >= 29 @ 2592.73 2686.48/2696.76 c bounds 318 >= 29 @ 2592.78 2686.48/2696.76 c bounds 317 >= 29 @ 2592.82 2686.48/2696.76 c bounds 316 >= 29 @ 2592.84 2686.48/2696.76 c bounds 315 >= 29 @ 2593.06 2686.48/2696.76 c bounds 314 >= 29 @ 2593.34 2686.48/2696.76 c bounds 313 >= 29 @ 2593.55 2686.48/2696.76 c bounds 312 >= 29 @ 2593.59 2686.48/2696.76 c bounds 311 >= 29 @ 2593.64 2686.48/2696.76 c bounds 310 >= 29 @ 2593.69 2686.48/2696.76 c bounds 309 >= 29 @ 2593.72 2686.48/2696.76 c bounds 308 >= 29 @ 2593.73 2686.48/2696.76 c bounds 307 >= 29 @ 2593.77 2686.48/2696.76 c bounds 306 >= 29 @ 2593.81 2686.48/2696.76 c bounds 305 >= 29 @ 2593.9 2686.48/2696.76 c bounds 304 >= 29 @ 2593.92 2686.48/2696.76 c bounds 303 >= 29 @ 2593.96 2686.48/2696.76 c #Conflicts: 4000 | #Constraints: 69331 2686.48/2696.76 c bounds 302 >= 29 @ 2594.19 2686.48/2696.76 c bounds 301 >= 29 @ 2594.34 2686.48/2696.76 c INPROCESSING 2686.48/2696.76 c GARBAGE COLLECT 2686.48/2696.76 c bounds 300 >= 29 @ 2595.53 2686.48/2696.76 c bounds 299 >= 29 @ 2595.85 2686.48/2696.76 c bounds 298 >= 29 @ 2596.14 2686.48/2696.76 c #Conflicts: 5000 | #Constraints: 67880 2686.48/2696.76 c bounds 297 >= 29 @ 2596.36 2686.48/2696.76 c #Conflicts: 6000 | #Constraints: 68881 2686.48/2696.76 c INPROCESSING 2686.48/2696.76 c GARBAGE COLLECT 2686.48/2696.76 c #Conflicts: 7000 | #Constraints: 67882 2686.48/2696.76 c bounds 297 >= 30 @ 2619.95 2686.48/2696.76 c bounds 296 >= 30 @ 2619.98 2686.48/2696.76 c bounds 295 >= 30 @ 2620 2686.48/2696.76 c bounds 294 >= 30 @ 2620.04 2686.48/2696.76 c bounds 293 >= 30 @ 2620.17 2686.48/2696.76 c bounds 292 >= 30 @ 2620.21 2686.48/2696.76 c #Conflicts: 8000 | #Constraints: 68929 2686.48/2696.76 c #Conflicts: 9000 | #Constraints: 69929 2686.48/2696.76 c INPROCESSING 2686.48/2696.76 c GARBAGE COLLECT 2686.48/2696.76 c bounds 291 >= 30 @ 2675.95 2686.48/2696.76 c bounds 290 >= 30 @ 2675.97 2686.48/2696.76 c bounds 289 >= 30 @ 2675.99 2686.48/2696.76 c bounds 288 >= 30 @ 2676 2686.48/2696.76 c bounds 287 >= 30 @ 2676.02 2686.48/2696.76 c bounds 286 >= 30 @ 2676.03 2686.48/2696.76 c bounds 285 >= 30 @ 2676.05 2686.48/2696.76 c bounds 284 >= 30 @ 2676.06 2686.48/2696.76 c bounds 283 >= 30 @ 2676.07 2686.48/2696.76 c bounds 282 >= 30 @ 2676.09 2686.48/2696.76 c bounds 281 >= 30 @ 2676.1 2686.48/2696.76 c bounds 280 >= 30 @ 2676.12 2686.48/2696.76 c bounds 279 >= 30 @ 2676.13 2686.48/2696.76 c bounds 278 >= 30 @ 2676.15 2686.48/2696.76 c bounds 277 >= 30 @ 2676.16 2686.48/2696.76 c bounds 276 >= 30 @ 2676.18 2686.48/2696.76 c bounds 275 >= 30 @ 2676.19 2686.48/2696.76 c bounds 274 >= 30 @ 2676.2 2686.48/2696.76 c bounds 273 >= 30 @ 2676.22 2686.48/2696.76 c bounds 272 >= 30 @ 2676.23 2686.48/2696.76 c bounds 271 >= 30 @ 2676.25 2686.48/2696.76 c bounds 270 >= 30 @ 2676.26 2686.48/2696.76 c bounds 269 >= 30 @ 2676.28 2686.48/2696.76 c bounds 268 >= 30 @ 2676.29 2686.48/2696.76 c bounds 267 >= 30 @ 2676.3 2686.48/2696.76 c bounds 266 >= 30 @ 2676.32 2686.48/2696.76 c bounds 265 >= 30 @ 2676.33 2686.48/2696.76 c bounds 264 >= 30 @ 2676.35 2686.48/2696.76 c bounds 263 >= 30 @ 2676.36 2686.48/2696.76 c bounds 262 >= 30 @ 2676.38 2686.48/2696.76 c bounds 261 >= 30 @ 2676.39 2686.48/2696.76 c bounds 260 >= 30 @ 2676.41 2686.48/2696.76 c bounds 259 >= 30 @ 2676.42 2686.48/2696.76 c bounds 258 >= 30 @ 2676.44 2686.48/2696.76 c bounds 257 >= 30 @ 2676.45 2686.48/2696.76 c bounds 256 >= 30 @ 2676.47 2686.48/2696.76 c bounds 255 >= 30 @ 2676.48 2686.48/2696.76 c bounds 254 >= 30 @ 2676.49 2686.48/2696.76 c bounds 253 >= 30 @ 2676.51 2686.48/2696.76 c bounds 252 >= 30 @ 2676.52 2686.48/2696.76 c bounds 251 >= 30 @ 2676.53 2686.48/2696.76 c bounds 250 >= 30 @ 2676.55 2686.48/2696.76 c bounds 249 >= 30 @ 2676.57 2686.48/2696.76 c bounds 248 >= 30 @ 2676.58 2686.48/2696.76 c bounds 247 >= 30 @ 2676.59 2686.48/2696.76 c bounds 246 >= 30 @ 2676.6 2686.48/2696.76 c bounds 245 >= 30 @ 2676.62 2686.48/2696.76 c bounds 244 >= 30 @ 2676.63 2686.48/2696.76 c bounds 243 >= 30 @ 2676.64 2686.48/2696.76 c bounds 242 >= 30 @ 2676.66 2686.48/2696.76 c bounds 241 >= 30 @ 2676.68 2686.48/2696.76 c bounds 240 >= 30 @ 2676.69 2686.48/2696.76 c bounds 239 >= 30 @ 2676.71 2686.48/2696.76 c bounds 238 >= 30 @ 2676.72 2686.48/2696.76 c bounds 237 >= 30 @ 2676.74 2686.48/2696.76 c bounds 236 >= 30 @ 2676.75 2686.48/2696.76 c bounds 235 >= 30 @ 2676.76 2686.48/2696.76 c bounds 234 >= 30 @ 2676.77 2686.48/2696.76 c bounds 233 >= 30 @ 2676.79 2686.48/2696.76 c bounds 232 >= 30 @ 2676.81 2686.48/2696.76 c bounds 231 >= 30 @ 2676.82 2686.48/2696.76 c bounds 230 >= 30 @ 2676.85 2686.48/2696.76 c bounds 229 >= 30 @ 2676.86 2686.48/2696.76 c bounds 228 >= 30 @ 2676.88 2686.48/2696.76 c bounds 227 >= 30 @ 2676.89 2686.48/2696.76 c bounds 226 >= 30 @ 2676.91 2686.48/2696.76 c bounds 225 >= 30 @ 2676.93 2686.48/2696.76 c bounds 224 >= 30 @ 2676.96 2686.48/2696.76 c bounds 223 >= 30 @ 2676.98 2686.48/2696.76 c bounds 222 >= 30 @ 2677 2686.48/2696.76 c bounds 221 >= 30 @ 2677.02 2686.48/2696.76 c bounds 220 >= 30 @ 2677.04 2686.48/2696.76 c bounds 219 >= 30 @ 2677.05 2686.48/2696.76 c bounds 218 >= 30 @ 2677.06 2686.48/2696.76 c bounds 217 >= 30 @ 2677.08 2703.03/2713.36 c bounds 216 >= 30 @ 2677.09 2703.03/2713.36 c bounds 215 >= 30 @ 2677.11 2703.03/2713.36 c bounds 214 >= 30 @ 2677.12 2703.03/2713.36 c bounds 213 >= 30 @ 2677.13 2703.03/2713.36 c bounds 212 >= 30 @ 2677.15 2703.03/2713.36 c bounds 211 >= 30 @ 2677.16 2703.03/2713.36 c bounds 210 >= 30 @ 2677.17 2703.03/2713.36 c bounds 209 >= 30 @ 2677.18 2703.03/2713.36 c bounds 208 >= 30 @ 2677.2 2703.03/2713.36 c bounds 207 >= 30 @ 2677.22 2703.03/2713.36 c bounds 206 >= 30 @ 2677.23 2703.03/2713.36 c bounds 205 >= 30 @ 2677.25 2703.03/2713.36 c bounds 204 >= 30 @ 2677.26 2703.03/2713.36 c bounds 203 >= 30 @ 2677.28 2703.03/2713.36 c bounds 202 >= 30 @ 2677.29 2703.03/2713.36 c bounds 201 >= 30 @ 2677.31 2703.03/2713.36 c bounds 200 >= 30 @ 2677.32 2703.03/2713.36 c bounds 199 >= 30 @ 2677.34 2703.03/2713.36 c bounds 198 >= 30 @ 2677.36 2703.03/2713.36 c bounds 197 >= 30 @ 2677.38 2703.03/2713.36 c bounds 196 >= 30 @ 2677.41 2703.03/2713.36 c bounds 195 >= 30 @ 2677.43 2703.03/2713.36 c bounds 194 >= 30 @ 2677.45 2703.03/2713.36 c bounds 193 >= 30 @ 2677.48 2703.03/2713.36 c bounds 192 >= 30 @ 2677.5 2703.03/2713.36 c bounds 191 >= 30 @ 2677.52 2703.03/2713.36 c bounds 190 >= 30 @ 2677.54 2703.03/2713.36 c bounds 189 >= 30 @ 2677.56 2703.03/2713.36 c bounds 188 >= 30 @ 2677.58 2703.03/2713.36 c bounds 187 >= 30 @ 2677.59 2703.03/2713.36 c bounds 186 >= 30 @ 2677.61 2703.03/2713.36 c bounds 185 >= 30 @ 2677.63 2703.03/2713.36 c bounds 184 >= 30 @ 2677.64 2703.03/2713.36 c bounds 183 >= 30 @ 2677.66 2703.03/2713.36 c bounds 182 >= 30 @ 2677.67 2703.03/2713.36 c bounds 181 >= 30 @ 2677.68 2703.03/2713.36 c bounds 180 >= 30 @ 2677.7 2703.03/2713.36 c bounds 179 >= 30 @ 2677.73 2703.03/2713.36 c bounds 178 >= 30 @ 2677.75 2703.03/2713.36 c bounds 177 >= 30 @ 2677.77 2703.03/2713.36 c bounds 176 >= 30 @ 2677.79 2703.03/2713.36 c bounds 175 >= 30 @ 2677.81 2703.03/2713.36 c bounds 174 >= 30 @ 2677.83 2703.03/2713.36 c bounds 173 >= 30 @ 2677.84 2703.03/2713.36 c bounds 172 >= 30 @ 2677.86 2703.03/2713.36 c bounds 171 >= 30 @ 2677.88 2703.03/2713.36 c bounds 170 >= 30 @ 2677.89 2703.03/2713.36 c bounds 169 >= 30 @ 2677.9 2703.03/2713.36 c bounds 168 >= 30 @ 2677.91 2703.03/2713.36 c bounds 167 >= 30 @ 2677.92 2703.03/2713.36 c bounds 166 >= 30 @ 2677.93 2703.03/2713.36 c bounds 165 >= 30 @ 2677.94 2703.03/2713.36 c bounds 164 >= 30 @ 2677.96 2703.03/2713.36 c bounds 163 >= 30 @ 2677.97 2703.03/2713.36 c bounds 162 >= 30 @ 2677.99 2703.03/2713.36 c bounds 161 >= 30 @ 2678 2703.03/2713.36 c bounds 160 >= 30 @ 2678.01 2703.03/2713.36 c bounds 159 >= 30 @ 2678.02 2703.03/2713.36 c bounds 158 >= 30 @ 2678.04 2703.03/2713.36 c bounds 157 >= 30 @ 2678.07 2703.03/2713.36 c bounds 156 >= 30 @ 2678.09 2703.03/2713.36 c bounds 155 >= 30 @ 2678.11 2703.03/2713.36 c bounds 154 >= 30 @ 2678.13 2703.03/2713.36 c bounds 153 >= 30 @ 2678.15 2703.03/2713.36 c bounds 152 >= 30 @ 2678.17 2703.03/2713.36 c bounds 151 >= 30 @ 2678.18 2703.03/2713.36 c bounds 150 >= 30 @ 2678.2 2703.03/2713.36 c bounds 149 >= 30 @ 2678.21 2703.03/2713.36 c bounds 148 >= 30 @ 2678.23 2703.03/2713.36 c bounds 147 >= 30 @ 2678.24 2703.03/2713.36 c bounds 146 >= 30 @ 2678.26 2703.03/2713.36 c bounds 145 >= 30 @ 2678.27 2703.03/2713.36 c bounds 144 >= 30 @ 2678.29 2703.03/2713.36 c bounds 143 >= 30 @ 2678.3 2703.03/2713.36 c bounds 142 >= 30 @ 2678.31 2703.03/2713.36 c bounds 141 >= 30 @ 2678.32 2703.03/2713.36 c bounds 140 >= 30 @ 2678.33 2703.03/2713.36 c bounds 139 >= 30 @ 2678.35 2703.03/2713.36 c bounds 138 >= 30 @ 2678.36 2703.03/2713.36 c bounds 137 >= 30 @ 2678.38 2703.03/2713.36 c bounds 136 >= 30 @ 2678.39 2703.03/2713.36 c bounds 135 >= 30 @ 2678.4 2703.03/2713.36 c bounds 134 >= 30 @ 2678.41 2703.03/2713.36 c bounds 133 >= 30 @ 2678.42 2703.03/2713.36 c bounds 132 >= 30 @ 2678.44 2703.03/2713.36 c bounds 131 >= 30 @ 2678.45 2703.03/2713.36 c bounds 130 >= 30 @ 2678.47 2703.03/2713.36 c bounds 129 >= 30 @ 2678.48 2703.03/2713.36 c bounds 128 >= 30 @ 2678.5 2703.03/2713.36 c bounds 127 >= 30 @ 2678.51 2703.03/2713.36 c bounds 126 >= 30 @ 2678.52 2703.03/2713.36 c bounds 125 >= 30 @ 2678.53 2703.03/2713.36 c bounds 124 >= 30 @ 2678.55 2703.03/2713.36 c bounds 123 >= 30 @ 2678.56 2703.03/2713.36 c bounds 122 >= 30 @ 2678.57 2703.03/2713.36 c bounds 121 >= 30 @ 2678.58 2703.03/2713.36 c bounds 120 >= 30 @ 2678.59 2703.03/2713.36 c bounds 119 >= 30 @ 2678.61 2703.03/2713.36 c bounds 118 >= 30 @ 2678.62 2703.03/2713.36 c bounds 117 >= 30 @ 2678.63 2703.03/2713.36 c bounds 116 >= 30 @ 2678.65 2703.03/2713.36 c bounds 115 >= 30 @ 2678.67 2703.03/2713.36 c bounds 114 >= 30 @ 2678.7 2703.03/2713.36 c bounds 113 >= 30 @ 2678.73 2703.03/2713.36 c bounds 112 >= 30 @ 2678.75 2703.03/2713.36 c bounds 111 >= 30 @ 2678.76 2703.03/2713.36 c bounds 110 >= 30 @ 2678.78 2703.03/2713.36 c bounds 109 >= 30 @ 2678.81 2703.03/2713.36 c bounds 108 >= 30 @ 2678.84 2703.03/2713.36 c bounds 107 >= 30 @ 2678.86 2703.03/2713.36 c bounds 106 >= 30 @ 2678.88 2703.03/2713.36 c bounds 105 >= 30 @ 2678.9 2703.03/2713.36 c bounds 104 >= 30 @ 2678.92 2703.03/2713.36 c bounds 103 >= 30 @ 2678.94 2703.03/2713.36 c bounds 102 >= 30 @ 2678.96 2703.03/2713.36 c bounds 101 >= 30 @ 2678.97 2703.03/2713.36 c bounds 100 >= 30 @ 2678.99 2703.03/2713.36 c bounds 99 >= 30 @ 2679 2703.03/2713.36 c bounds 98 >= 30 @ 2679.02 2703.03/2713.36 c bounds 97 >= 30 @ 2679.03 2703.03/2713.36 c bounds 96 >= 30 @ 2679.04 2703.03/2713.36 c bounds 95 >= 30 @ 2679.05 2703.03/2713.36 c bounds 94 >= 30 @ 2679.07 2703.03/2713.36 c bounds 93 >= 30 @ 2679.09 2703.03/2713.36 c bounds 92 >= 30 @ 2679.11 2703.03/2713.36 c bounds 91 >= 30 @ 2679.16 2703.03/2713.36 c bounds 90 >= 30 @ 2679.19 2703.03/2713.36 c bounds 89 >= 30 @ 2679.22 2703.03/2713.36 c bounds 88 >= 30 @ 2679.28 2703.03/2713.36 c bounds 87 >= 30 @ 2679.34 2703.03/2713.36 c bounds 86 >= 30 @ 2679.39 2703.03/2713.36 c bounds 85 >= 30 @ 2679.45 2703.03/2713.36 c bounds 84 >= 30 @ 2679.51 2703.03/2713.36 c #Conflicts: 10000 | #Constraints: 68856 2703.03/2713.36 c #Conflicts: 11000 | #Constraints: 69856 2703.03/2713.36 c #Conflicts: 12000 | #Constraints: 70856 2703.03/2713.36 c INPROCESSING 2703.03/2713.36 c GARBAGE COLLECT 2703.03/2713.36 c bounds 83 >= 30 @ 2689.99 2703.03/2713.36 c #Conflicts: 13000 | #Constr
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (62037 MiB free)
memory of node 1: 64473 MiB (61202 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460375-1722068484/watcher-4460375-1722068484 -o /tmp/evaluation-result-4460375-1722068484/solver-4460375-1722068484 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1722064836-316997 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460375-1722068484 --lp-cut-gomory=0 HOME/instance-4460375-1722068484.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=319400, runsolver pid=319397
[startup+0.100093 s]*
/proc/loadavg: 4.04 4.17 4.11 2/250 319401
/proc/meminfo: memFree=126197112/131524600 swapFree=131055836/131071996
[pid=319400] ppid=319397 vsize=37376 memory=2548 CPUtime=0 cores=0,2
/proc/319400/stat : 319400 (roundingsat) D 319397 319400 316987 0 -1 1078198272 210 0 0 0 0 0 0 0 20 0 1 0 43378077 38273024 637 134679101440 4194304 8254357 140720721708832 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39653376 140720721716059 140720721716321 140720721716321 140720721723337 0
/proc/319400/statm: 9344 637 581 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2548 KiB
[startup+0.204981 s]*
/proc/loadavg: 4.04 4.17 4.11 2/250 319401
/proc/meminfo: memFree=126197052/131524600 swapFree=131055836/131071996
[pid=319400] ppid=319397 vsize=37376 memory=2548 CPUtime=0 cores=0,2
/proc/319400/stat : 319400 (roundingsat) D 319397 319400 316987 0 -1 1078198272 210 0 0 0 0 0 0 0 20 0 1 0 43378077 38273024 637 134679101440 4194304 8254357 140720721708832 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39653376 140720721716059 140720721716321 140720721716321 140720721723337 0
/proc/319400/statm: 9344 637 581 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2548 KiB
[startup+0.304062 s]*
/proc/loadavg: 4.04 4.17 4.11 2/250 319401
/proc/meminfo: memFree=126196240/131524600 swapFree=131055836/131071996
[pid=319400] ppid=319397 vsize=37376 memory=2548 CPUtime=0 cores=0,2
/proc/319400/stat : 319400 (roundingsat) D 319397 319400 316987 0 -1 1078198272 210 0 0 0 0 0 0 0 20 0 1 0 43378077 38273024 637 134679101440 4194304 8254357 140720721708832 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39653376 140720721716059 140720721716321 140720721716321 140720721723337 0
/proc/319400/statm: 9344 637 581 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2548 KiB
[startup+0.700241 s]
/proc/loadavg: 4.04 4.17 4.11 2/250 319401
/proc/meminfo: memFree=126187728/131524600 swapFree=131055836/131071996
[pid=319400] ppid=319397 vsize=39168 memory=7700 CPUtime=0.02 cores=0,2
/proc/319400/stat : 319400 (roundingsat) R 319397 319400 316987 0 -1 4194304 939 0 0 0 2 0 0 0 20 0 1 0 43378077 40108032 1925 134679101440 4194304 8254357 140720721708832 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39653376 140720721716059 140720721716321 140720721716321 140720721723337 0
/proc/319400/statm: 9792 1925 1365 992 0 1650 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 39168 KiB
Current children cumulated memory: 7700 KiB
[startup+1.50016 s]
/proc/loadavg: 4.04 4.17 4.11 5/249 319410
/proc/meminfo: memFree=126129068/131524600 swapFree=131055836/131071996
[pid=319400] ppid=319397 vsize=54656 memory=23636 CPUtime=0.81 cores=0,2
/proc/319400/stat : 319400 (roundingsat) R 319397 319400 316987 0 -1 4194304 3439 0 0 0 76 5 0 0 20 0 1 0 43378077 55967744 5909 134679101440 4194304 8254357 140720721708832 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39653376 140720721716059 140720721716321 140720721716321 140720721723337 0
/proc/319400/statm: 13664 5909 1365 992 0 5522 0
Current children cumulated CPU time: 0.81 s
Current children cumulated vsize: 54656 KiB
Current children cumulated memory: 23636 KiB
[startup+3.10561 s]
/proc/loadavg: 4.04 4.17 4.11 4/255 319421
/proc/meminfo: memFree=125819548/131524600 swapFree=131055836/131071996
[pid=319400] ppid=319397 vsize=293980 memory=266648 CPUtime=2.41 cores=0,2
/proc/319400/stat : 319400 (roundingsat) R 319397 319400 316987 0 -1 4194304 37093 0 0 0 220 21 0 0 20 0 1 0 43378077 301035520 66662 134679101440 4194304 8254357 140720721708832 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39653376 140720721716059 140720721716321 140720721716321 140720721723337 0
/proc/319400/statm: 73495 66662 1730 992 0 65353 0
Current children cumulated CPU time: 2.41 s
Current children cumulated vsize: 293980 KiB
Current children cumulated memory: 266648 KiB
heavy processes:
[startup+6.30019 s]
/proc/loadavg: 4.11 4.18 4.11 4/255 319422
/proc/meminfo: memFree=125710180/131524600 swapFree=131055836/131071996
[pid=319400] ppid=319397 vsize=293980 memory=266840 CPUtime=5.6 cores=0,2
/proc/319400/stat : 319400 (roundingsat) R 319397 319400 316987 0 -1 4194304 37146 0 0 0 538 22 0 0 20 0 1 0 43378077 301035520 66710 134679101440 4194304 8254357 140720721708832 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39653376 140720721716059 140720721716321 140720721716321 140720721723337 0
/proc/319400/statm: 73495 66710 1778 992 0 65353 0
Current children cumulated CPU time: 5.6 s
Current children cumulated vsize: 293980 KiB
Current children cumulated memory: 266840 KiB
[startup+12.7002 s]
/proc/loadavg: 4.10 4.18 4.11 4/255 319422
/proc/meminfo: memFree=124964900/131524600 swapFree=131055836/131071996
[pid=319400] ppid=319397 vsize=324624 memory=285984 CPUtime=11.97 cores=0,2
/proc/319400/stat : 319400 (roundingsat) R 319397 319400 316987 0 -1 4194304 38326 0 0 0 1116 81 0 0 20 0 1 0 43378077 332414976 71496 134679101440 4194304 8254357 140720721708832 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39653376 140720721716059 140720721716321 140720721716321 140720721723337 0
/proc/319400/statm: 81156 71496 1879 992 0 73014 0
Current children cumulated CPU time: 11.97 s
Current children cumulated vsize: 324624 KiB
Current children cumulated memory: 285984 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 4.17 4.11 5/260 319445
/proc/meminfo: memFree=124033924/131524600 swapFree=131055836/131071996
[pid=319400] ppid=319397 vsize=382824 memory=340652 CPUtime=24.72 cores=0,2
/proc/319400/stat : 319400 (roundingsat) R 319397 319400 316987 0 -1 4194304 40532 0 0 0 2379 93 0 0 20 0 1 0 43378077 392011776 85163 134679101440 4194304 8254357 140720721708832 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39653376 140720721716059 140720721716321 140720721716321 140720721723337 0
/proc/319400/statm: 95706 85163 1879 992 0 87564 0
Current children cumulated CPU time: 24.72 s
Current children cumulated vsize: 382824 KiB
Current children cumulated memory: 340652 KiB
[startup+51.1057 s]
/proc/loadavg: 4.25 4.20 4.12 5/260 319448
/proc/meminfo: memFree=122814928/131524600 swapFree=131055836/131071996
[pid=319400] ppid=319397 vsize=497860 memory=442272 CPUtime=50.2 cores=0,2
/proc/319400/stat : 319400 (roundingsat) R 319397 319400 316987 0 -1 4194304 43524 0 0 0 4920 100 0 0 20 0 1 0 43378077 509808640 110568 134679101440 4194304 8254357 140720721708832 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39653376 140720721716059 140720721716321 140720721716321 140720721723337 0
/proc/319400/statm: 124465 110568 1879 992 0 116323 0
Current children cumulated CPU time: 50.2 s
Current children cumulated vsize: 497860 KiB
Current children cumulated memory: 442272 KiB
[startup+102.3 s]
/proc/loadavg: 4.23 4.22 4.13 5/261 319459
/proc/meminfo: memFree=121275556/131524600 swapFree=131055836/131071996
[pid=319400] ppid=319397 vsize=618556 memory=535228 CPUtime=101.22 cores=0,2
/proc/319400/stat : 319400 (roundingsat) R 319397 319400 316987 0 -1 4194304 46032 0 0 0 10018 104 0 0 20 0 1 0 43378077 633401344 133807 134679101440 4194304 8254357 140720721708832 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39653376 140720721716059 140720721716321 140720721716321 140720721723337 0
/proc/319400/statm: 154639 133807 1879 992 0 146497 0
Current children cumulated CPU time: 101.22 s
Current children cumulated vsize: 618556 KiB
Current children cumulated memory: 535228 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.19 4.12 5/264 319473
/proc/meminfo: memFree=120039660/131524600 swapFree=131055836/131071996
[pid=319400] ppid=319397 vsize=689184 memory=622388 CPUtime=161.01 cores=0,2
/proc/319400/stat : 319400 (roundingsat) R 319397 319400 316987 0 -1 4194304 47851 0 0 0 15990 111 0 0 20 0 1 0 43378077 705724416 155597 134679101440 4194304 8254357 140720721708832 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39653376 140720721716059 140720721716321 140720721716321 140720721723337 0
/proc/319400/statm: 172296 155597 1879 992 0 164154 0
Current children cumulated CPU time: 161.01 s
Current children cumulated vsize: 689184 KiB
Current children cumulated memory: 622388 KiB
[startup+222.3 s]
/proc/loadavg: 4.51 4.28 4.15 5/264 319484
/proc/meminfo: memFree=118793528/131524600 swapFree=131055836/131071996
[pid=319400] ppid=319397 vsize=865976 memory=696948 CPUtime=220.77 cores=0,2
/proc/319400/stat : 319400 (roundingsat) R 319397 319400 316987 0 -1 4194304 53923 0 0 0 21951 126 0 0 20 0 1 0 43378077 886759424 174237 134679101440 4194304 8254357 140720721708832 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39653376 140720721716059 140720721716321 140720721716321 140720721723337 0
/proc/319400/statm: 216494 174237 1879 992 0 208352 0
Current children cumulated CPU time: 220.77 s
Current children cumulated vsize: 865976 KiB
Current children cumulated memory: 696948 KiB
[startup+282.3 s]
/proc/loadavg: 4.25 4.24 4.15 5/264 319877
/proc/meminfo: memFree=118110380/131524600 swapFree=131055836/131071996
[pid=319400] ppid=319397 vsize=878048 memory=728036 CPUtime=280.56 cores=0,2
/proc/319400/stat : 319400 (roundingsat) R 319397 319400 316987 0 -1 4194304 56361 0 0 0 27928 128 0 0 20 0 1 0 43378077 899121152 182009 134679101440 4194304 8254357 140720721708832 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39653376 140720721716059 140720721716321 140720721716321 140720721723337 0
/proc/319400/statm: 219512 182009 1879 992 0 211370 0
Current children cumulated CPU time: 280.56 s
Current children cumulated vsize: 878048 KiB
Current children cumulated memory: 728036 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.20 4.14 5/264 319890
/proc/meminfo: memFree=117150772/131524600 swapFree=131055836/131071996
[pid=319400] ppid=319397 vsize=881916 memory=739420 CPUtime=340.32 cores=0,2
/proc/319400/stat : 319400 (roundingsat) R 319397 319400 316987 0 -1 4194304 57505 0 0 0 33899 133 0 0 20 0 1 0 43378077 903081984 184855 134679101440 4194304 8254357 140720721708832 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39653376 140720721716059 140720721716321 140720721716321 140720721723337 0
/proc/319400/statm: 220479 184855 1879 992 0 212337 0
Current children cumulated CPU time: 340.32 s
Current children cumulated vsize: 881916 KiB
Current children cumulated memory: 739420 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.19 4.14 5/264 319901
/proc/meminfo: memFree=116196552/131524600 swapFree=131055836/131071996
[pid=319400] ppid=319397 vsize=930804 memory=808100 CPUtime=400.1 cores=0,2
/proc/319400/stat : 319400 (roundingsat) R 319397 319400 316987 0 -1 4194304 59856 0 0 0 39874 136 0 0 20 0 1 0 43378077 953143296 202025 134679101440 4194304 8254357 140720721708832 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39653376 140720721716059 140720721716321 140720721716321 140720721723337 0
/proc/319400/statm: 232701 202025 1879 992 0 224559 0
Current children cumulated CPU time: 400.1 s
Current children cumulated vsize: 930804 KiB
Current children cumulated memory: 808100 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.17 4.13 5/262 320080
/proc/meminfo: memFree=115254896/131524600 swapFree=131055836/131071996
[pid=319400] ppid=319397 vsize=968552 memory=858100 CPUtime=459.9 cores=0,2
/proc/319400/stat : 319400 (roundingsat) R 319397 319400 316987 0 -1 4194304 61901 0 0 0 45851 139 0 0 20 0 1 0 43378077 991797248 214525 134679101440 4194304 8254357 140720721708832 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39653376 140720721716059 140720721716321 140720721716321 140720721723337 0
################
# More data... #
################
[startup+3042.3 s]
/proc/loadavg: 4.17 4.14 4.11 5/260 321202
/proc/meminfo: memFree=85552580/131524600 swapFree=131055836/131071996
[pid=319400] ppid=319397 vsize=1607188 memory=1235492 CPUtime=3030.91 cores=0,2
/proc/319400/stat : 319400 (roundingsat) R 319397 319400 316987 0 -1 4194304 131218 0 0 0 301996 1095 0 0 20 0 1 0 43378077 1645760512 308873 134679101440 4194304 8254357 140720721708832 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39653376 140720721716059 140720721716321 140720721716321 140720721723337 0
/proc/319400/statm: 401797 308873 1895 992 0 393655 0
Current children cumulated CPU time: 3030.91 s
Current children cumulated vsize: 1607188 KiB
Current children cumulated memory: 1235492 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/261 321214
/proc/meminfo: memFree=85223908/131524600 swapFree=131055836/131071996
[pid=319400] ppid=319397 vsize=1624616 memory=1253040 CPUtime=3090.7 cores=0,2
/proc/319400/stat : 319400 (roundingsat) R 319397 319400 316987 0 -1 4194304 132685 0 0 0 307972 1098 0 0 20 0 1 0 43378077 1663606784 313260 134679101440 4194304 8254357 140720721708832 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39653376 140720721716059 140720721716321 140720721716321 140720721723337 0
/proc/319400/statm: 406154 313260 1895 992 0 398012 0
Current children cumulated CPU time: 3090.7 s
Current children cumulated vsize: 1624616 KiB
Current children cumulated memory: 1253040 KiB
[startup+3162.3 s]
/proc/loadavg: 4.07 4.12 4.10 5/261 321225
/proc/meminfo: memFree=84842332/131524600 swapFree=131055836/131071996
[pid=319400] ppid=319397 vsize=1657032 memory=1262372 CPUtime=3150.48 cores=0,2
/proc/319400/stat : 319400 (roundingsat) R 319397 319400 316987 0 -1 4194304 133709 0 0 0 313948 1100 0 0 20 0 1 0 43378077 1696800768 315593 134679101440 4194304 8254357 140720721708832 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39653376 140720721716059 140720721716321 140720721716321 140720721723337 0
/proc/319400/statm: 414258 315593 1895 992 0 406116 0
Current children cumulated CPU time: 3150.48 s
Current children cumulated vsize: 1657032 KiB
Current children cumulated memory: 1262372 KiB
[startup+3222.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/261 321236
/proc/meminfo: memFree=84363048/131524600 swapFree=131055836/131071996
[pid=319400] ppid=319397 vsize=1657032 memory=1262580 CPUtime=3210.28 cores=0,2
/proc/319400/stat : 319400 (roundingsat) R 319397 319400 316987 0 -1 4194304 133888 0 0 0 319926 1102 0 0 20 0 1 0 43378077 1696800768 315645 134679101440 4194304 8254357 140720721708832 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39653376 140720721716059 140720721716321 140720721716321 140720721723337 0
/proc/319400/statm: 414258 315645 1895 992 0 406116 0
Current children cumulated CPU time: 3210.28 s
Current children cumulated vsize: 1657032 KiB
Current children cumulated memory: 1262580 KiB
[startup+3282.3 s]
/proc/loadavg: 4.25 4.15 4.10 5/262 321250
/proc/meminfo: memFree=83430912/131524600 swapFree=131055836/131071996
[pid=319400] ppid=319397 vsize=1657032 memory=1264732 CPUtime=3270.08 cores=0,2
/proc/319400/stat : 319400 (roundingsat) R 319397 319400 316987 0 -1 4194304 134070 0 0 0 325905 1103 0 0 20 0 1 0 43378077 1696800768 316183 134679101440 4194304 8254357 140720721708832 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39653376 140720721716059 140720721716321 140720721716321 140720721723337 0
/proc/319400/statm: 414258 316183 1895 992 0 406116 0
Current children cumulated CPU time: 3270.08 s
Current children cumulated vsize: 1657032 KiB
Current children cumulated memory: 1264732 KiB
[startup+3342.3 s]
/proc/loadavg: 4.37 4.22 4.13 5/262 321261
/proc/meminfo: memFree=82735152/131524600 swapFree=131055836/131071996
[pid=319400] ppid=319397 vsize=1657032 memory=1264732 CPUtime=3329.87 cores=0,2
/proc/319400/stat : 319400 (roundingsat) R 319397 319400 316987 0 -1 4194304 134241 0 0 0 331882 1105 0 0 20 0 1 0 43378077 1696800768 316183 134679101440 4194304 8254357 140720721708832 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39653376 140720721716059 140720721716321 140720721716321 140720721723337 0
/proc/319400/statm: 414258 316183 1895 992 0 406116 0
Current children cumulated CPU time: 3329.87 s
Current children cumulated vsize: 1657032 KiB
Current children cumulated memory: 1264732 KiB
[startup+3402.3 s]
/proc/loadavg: 4.21 4.20 4.13 5/262 321271
/proc/meminfo: memFree=82104052/131524600 swapFree=131055836/131071996
[pid=319400] ppid=319397 vsize=1657032 memory=1264732 CPUtime=3389.67 cores=0,2
/proc/319400/stat : 319400 (roundingsat) R 319397 319400 316987 0 -1 4194304 134427 0 0 0 337860 1107 0 0 20 0 1 0 43378077 1696800768 316183 134679101440 4194304 8254357 140720721708832 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39653376 140720721716059 140720721716321 140720721716321 140720721723337 0
/proc/319400/statm: 414258 316183 1895 992 0 406116 0
Current children cumulated CPU time: 3389.67 s
Current children cumulated vsize: 1657032 KiB
Current children cumulated memory: 1264732 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.17 4.12 5/261 321281
/proc/meminfo: memFree=81405852/131524600 swapFree=131055836/131071996
[pid=319400] ppid=319397 vsize=1657032 memory=1266780 CPUtime=3449.45 cores=0,2
/proc/319400/stat : 319400 (roundingsat) R 319397 319400 316987 0 -1 4194304 134591 0 0 0 343835 1110 0 0 20 0 1 0 43378077 1696800768 316695 134679101440 4194304 8254357 140720721708832 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39653376 140720721716059 140720721716321 140720721716321 140720721723337 0
/proc/319400/statm: 414258 316695 1895 992 0 406116 0
Current children cumulated CPU time: 3449.45 s
Current children cumulated vsize: 1657032 KiB
Current children cumulated memory: 1266780 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.16 4.11 5/261 321292
/proc/meminfo: memFree=80856548/131524600 swapFree=131055836/131071996
[pid=319400] ppid=319397 vsize=1657032 memory=1266780 CPUtime=3509.25 cores=0,2
/proc/319400/stat : 319400 (roundingsat) R 319397 319400 316987 0 -1 4194304 134781 0 0 0 349813 1112 0 0 20 0 1 0 43378077 1696800768 316695 134679101440 4194304 8254357 140720721708832 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39653376 140720721716059 140720721716321 140720721716321 140720721723337 0
/proc/319400/statm: 414258 316695 1895 992 0 406116 0
Current children cumulated CPU time: 3509.25 s
Current children cumulated vsize: 1657032 KiB
Current children cumulated memory: 1266780 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.14 4.11 6/259 321309
/proc/meminfo: memFree=80344048/131524600 swapFree=131055836/131071996
[pid=319400] ppid=319397 vsize=1657032 memory=1266780 CPUtime=3569.04 cores=0,2
/proc/319400/stat : 319400 (roundingsat) R 319397 319400 316987 0 -1 4194304 134934 0 0 0 355790 1114 0 0 20 0 1 0 43378077 1696800768 316695 134679101440 4194304 8254357 140720721708832 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39653376 140720721716059 140720721716321 140720721716321 140720721723337 0
/proc/319400/statm: 414258 316695 1895 992 0 406116 0
Current children cumulated CPU time: 3569.04 s
Current children cumulated vsize: 1657032 KiB
Current children cumulated memory: 1266780 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3613.4 s]
/proc/loadavg: 4.04 4.12 4.10 4/259 321313
/proc/meminfo: memFree=80100864/131524600 swapFree=131055836/131071996
[pid=319400] ppid=319397 vsize=1693092 memory=1321480 CPUtime=3600.02 cores=0,2
/proc/319400/stat : 319400 (roundingsat) R 319397 319400 316987 0 -1 4194304 136963 0 0 0 358886 1116 0 0 20 0 1 0 43378077 1733726208 330370 134679101440 4194304 8254357 140720721708832 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39653376 140720721716059 140720721716321 140720721716321 140720721723337 0
/proc/319400/statm: 423273 330370 1895 992 0 415131 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1693092 KiB
Current children cumulated memory: 1321480 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+3615.77 s]
# the end of solver process 319400 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3590.85 s, system=11.1824 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3614.4 s]
/proc/loadavg: 4.04 4.12 4.10 4/258 321313
/proc/meminfo: memFree=80101112/131524600 swapFree=131055836/131071996
[pid=319400] ppid=319397 vsize=1693092 memory=1321480 CPUtime=3601.02 cores=0,2
/proc/319400/stat : 319400 (roundingsat) R 319397 319400 316987 0 -1 4194304 136990 0 0 0 358985 1117 0 0 20 0 1 0 43378077 1733726208 330370 134679101440 4194304 8254357 140720721708832 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39653376 140720721716059 140720721716321 140720721716321 140720721723337 0
/proc/319400/statm: 423273 330370 1895 992 0 415131 0
Current children cumulated CPU time: 3601.02 s
Current children cumulated vsize: 1693092 KiB
Current children cumulated memory: 1321480 KiB
[startup+3615.2 s]
/proc/loadavg: 4.04 4.12 4.10 4/253 321341
/proc/meminfo: memFree=80581480/131524600 swapFree=131055836/131071996
[pid=319400] ppid=319397 vsize=1693092 memory=1321480 CPUtime=3601.81 cores=0,2
/proc/319400/stat : 319400 (roundingsat) R 319397 319400 316987 0 -1 4194304 136990 0 0 0 359064 1117 0 0 20 0 1 0 43378077 1733726208 330370 134679101440 4194304 8254357 140720721708832 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39653376 140720721716059 140720721716321 140720721716321 140720721723337 0
/proc/319400/statm: 423273 330370 1895 992 0 415131 0
Current children cumulated CPU time: 3601.81 s
Current children cumulated vsize: 1693092 KiB
Current children cumulated memory: 1321480 KiB
[startup+3615.4 s]
/proc/loadavg: 4.04 4.12 4.10 4/253 321341
/proc/meminfo: memFree=80581480/131524600 swapFree=131055836/131071996
[pid=319400] ppid=319397 vsize=1693092 memory=1321480 CPUtime=3602.01 cores=0,2
/proc/319400/stat : 319400 (roundingsat) R 319397 319400 316987 0 -1 4194304 136990 0 0 0 359084 1117 0 0 20 0 1 0 43378077 1733726208 330370 134679101440 4194304 8254357 140720721708832 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39653376 140720721716059 140720721716321 140720721716321 140720721723337 0
/proc/319400/statm: 423273 330370 1895 992 0 415131 0
Current children cumulated CPU time: 3602.01 s
Current children cumulated vsize: 1693092 KiB
Current children cumulated memory: 1321480 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3615.77
CPU time (s): 3602.03
CPU user time (s): 3590.85
CPU system time (s): 11.1824
CPU usage (%): 99.62
Max. virtual memory (cumulated for all children) (KiB): 1697632
Max. memory (cumulated for all children) (KiB): 1379280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.85
system time used= 11.1824
maximum resident set size= 1379544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 136990
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1067472
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27
involuntary context switches= 25279
# summary of solver processes directly reported to runsolver:
# pid: 319400
# total CPU time (s): 3602.03
# total CPU user time (s): 3590.85
# total CPU system time (s): 11.1824
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.0506 second user time and 17.5706 second system time
The end
Begin job on nodeC033 at 2024-07-27 10:21:24 IDJOB=4460375 IDBENCH=155400 IDSOLVER=3086 FILE ID=nodeC033/4460375-1722068484 RUNJOBID= nodeC033-1722064836-316997 SLURM_JOB_ID= 8248101 Free space on /tmp= 890032 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB11/OPT-LIN/kullmann/normalized-mul_8_9_shg.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460375-1722068484/watcher-4460375-1722068484 -o /tmp/evaluation-result-4460375-1722068484/solver-4460375-1722068484 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1722064836-316997 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460375-1722068484 --lp-cut-gomory=0 HOME/instance-4460375-1722068484.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 6ff458260e5cc7a1e00e7b04a599a648 RANDOM SEED=1560775470 nodeC033.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3685.471 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.99 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3699.569 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.76 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3520.926 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.99 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3698.196 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.76 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 2891.035 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.99 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3671.348 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.76 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 2748.287 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.99 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3627.519 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.76 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 126198760 kB MemAvailable: 129691988 kB Buffers: 374688 kB Cached: 3923468 kB SwapCached: 300 kB Active: 2611260 kB Inactive: 2065664 kB Active(anon): 2192 kB Inactive(anon): 429640 kB Active(file): 2609068 kB Inactive(file): 1636024 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131055836 kB Dirty: 43560 kB Writeback: 0 kB AnonPages: 378652 kB Mapped: 113464 kB Shmem: 53064 kB KReclaimable: 175920 kB Slab: 294296 kB SReclaimable: 175920 kB SUnreclaim: 118376 kB KernelStack: 4016 kB PageTables: 9728 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 787564 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 17376 kB HardwareCorrupted: 0 kB AnonHugePages: 235520 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 391892 kB DirectMap2M: 39227392 kB DirectMap1G: 96468992 kB Free space on /tmp at the end= 889980 MiB End job on nodeC033 at 2024-07-27 11:21:40