| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (1) | ? (TO) | 3602.08 | 3615.52 |
| 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.02/3.84 c #variables 7840 #constraints 65280 2582.21/2592.54 c bounds - >= 0 @ 0.996934 2582.21/2592.54 c bounds 1152 >= 0 @ 8.98948 2582.21/2592.54 c bounds 1152 >= 1 @ 8.99206 2582.21/2592.54 c bounds 1152 >= 2 @ 8.99634 2582.21/2592.54 c bounds 1152 >= 3 @ 9.00425 2582.21/2592.54 c bounds 1152 >= 4 @ 9.01069 2582.21/2592.54 c bounds 1152 >= 5 @ 9.01426 2582.21/2592.54 c bounds 1152 >= 6 @ 9.02048 2582.21/2592.54 c bounds 1152 >= 7 @ 9.02682 2582.21/2592.54 c bounds 1152 >= 8 @ 9.03146 2582.21/2592.54 c bounds 1152 >= 9 @ 9.03415 2582.21/2592.54 c bounds 1152 >= 10 @ 9.03847 2582.21/2592.54 c bounds 1152 >= 11 @ 9.04226 2582.21/2592.54 c bounds 1152 >= 12 @ 9.04861 2582.21/2592.54 c bounds 1152 >= 13 @ 9.0533 2582.21/2592.54 c bounds 1152 >= 14 @ 9.05822 2582.21/2592.54 c bounds 1152 >= 15 @ 9.06245 2582.21/2592.54 c bounds 1152 >= 16 @ 9.06713 2582.21/2592.54 c bounds 1152 >= 17 @ 9.07645 2582.21/2592.54 c bounds 1152 >= 18 @ 9.0822 2582.21/2592.54 c bounds 1152 >= 19 @ 9.08758 2582.21/2592.54 c bounds 1152 >= 20 @ 9.09115 2582.21/2592.54 c bounds 1152 >= 21 @ 9.10002 2582.21/2592.54 c bounds 1152 >= 22 @ 9.10552 2582.21/2592.54 c bounds 1152 >= 23 @ 9.11141 2582.21/2592.54 c bounds 1152 >= 24 @ 9.1175 2582.21/2592.54 c bounds 1152 >= 25 @ 9.12449 2582.21/2592.54 c bounds 1152 >= 26 @ 9.13851 2582.21/2592.54 c bounds 1152 >= 27 @ 9.15998 2582.21/2592.54 c bounds 1152 >= 28 @ 9.20719 2582.21/2592.54 c bounds 1152 >= 29 @ 9.46113 2582.21/2592.54 c bounds 1151 >= 29 @ 9.58903 2582.21/2592.54 c #Conflicts: 1000 | #Constraints: 66482 2582.21/2592.54 c #Conflicts: 2000 | #Constraints: 67482 2582.21/2592.54 c INPROCESSING 2582.21/2592.54 c GARBAGE COLLECT 2582.21/2592.54 c bounds 1150 >= 29 @ 2578.9 2582.21/2592.54 c bounds 1149 >= 29 @ 2578.91 2582.21/2592.54 c bounds 1148 >= 29 @ 2578.92 2582.21/2592.54 c bounds 1147 >= 29 @ 2578.93 2582.21/2592.54 c bounds 1146 >= 29 @ 2578.94 2582.21/2592.54 c bounds 1145 >= 29 @ 2578.95 2582.21/2592.54 c bounds 1144 >= 29 @ 2578.96 2582.21/2592.54 c bounds 1143 >= 29 @ 2578.97 2582.21/2592.54 c bounds 1142 >= 29 @ 2578.97 2582.21/2592.54 c bounds 1141 >= 29 @ 2578.99 2582.21/2592.54 c bounds 1140 >= 29 @ 2579 2582.21/2592.54 c bounds 1139 >= 29 @ 2579 2582.21/2592.54 c bounds 1138 >= 29 @ 2579.02 2582.21/2592.54 c bounds 1137 >= 29 @ 2579.03 2582.21/2592.54 c bounds 1136 >= 29 @ 2579.04 2582.21/2592.54 c bounds 1135 >= 29 @ 2579.05 2582.21/2592.54 c bounds 1134 >= 29 @ 2579.06 2582.21/2592.54 c bounds 1133 >= 29 @ 2579.07 2582.21/2592.54 c bounds 1132 >= 29 @ 2579.08 2582.21/2592.54 c bounds 1131 >= 29 @ 2579.09 2582.21/2592.54 c bounds 1130 >= 29 @ 2579.1 2582.21/2592.54 c bounds 1129 >= 29 @ 2579.11 2582.21/2592.54 c bounds 1128 >= 29 @ 2579.12 2582.21/2592.54 c bounds 1127 >= 29 @ 2579.13 2582.21/2592.54 c bounds 1126 >= 29 @ 2579.15 2582.21/2592.54 c bounds 1125 >= 29 @ 2579.16 2582.21/2592.54 c bounds 1124 >= 29 @ 2579.17 2582.21/2592.54 c bounds 1123 >= 29 @ 2579.19 2582.21/2592.54 c bounds 1122 >= 29 @ 2579.21 2582.21/2592.54 c bounds 1121 >= 29 @ 2579.24 2582.21/2592.54 c bounds 1120 >= 29 @ 2579.25 2582.21/2592.54 c bounds 1119 >= 29 @ 2579.27 2582.21/2592.54 c bounds 1118 >= 29 @ 2579.29 2582.21/2592.54 c bounds 1117 >= 29 @ 2579.3 2582.21/2592.54 c bounds 1116 >= 29 @ 2579.31 2582.21/2592.54 c bounds 1115 >= 29 @ 2579.33 2582.21/2592.54 c bounds 1114 >= 29 @ 2579.34 2582.21/2592.54 c bounds 1113 >= 29 @ 2579.35 2582.21/2592.54 c bounds 1112 >= 29 @ 2579.36 2582.21/2592.54 c bounds 1111 >= 29 @ 2579.37 2582.21/2592.54 c bounds 1110 >= 29 @ 2579.39 2582.21/2592.54 c bounds 1109 >= 29 @ 2579.4 2582.21/2592.54 c bounds 1108 >= 29 @ 2579.41 2582.21/2592.54 c bounds 1107 >= 29 @ 2579.41 2582.21/2592.54 c bounds 1106 >= 29 @ 2579.42 2582.21/2592.54 c bounds 1105 >= 29 @ 2579.42 2582.21/2592.54 c bounds 1104 >= 29 @ 2579.43 2582.21/2592.54 c bounds 1103 >= 29 @ 2579.44 2582.21/2592.54 c bounds 1102 >= 29 @ 2579.45 2582.21/2592.54 c bounds 1101 >= 29 @ 2579.47 2582.21/2592.54 c bounds 1100 >= 29 @ 2579.48 2582.21/2592.54 c bounds 1099 >= 29 @ 2579.49 2582.21/2592.54 c bounds 1098 >= 29 @ 2579.5 2582.21/2592.54 c bounds 1097 >= 29 @ 2579.51 2582.21/2592.54 c bounds 1096 >= 29 @ 2579.52 2582.21/2592.54 c bounds 1095 >= 29 @ 2579.53 2582.21/2592.54 c bounds 1094 >= 29 @ 2579.54 2582.21/2592.54 c bounds 1093 >= 29 @ 2579.55 2582.21/2592.54 c bounds 1092 >= 29 @ 2579.56 2582.21/2592.54 c bounds 1091 >= 29 @ 2579.57 2582.21/2592.54 c bounds 1090 >= 29 @ 2579.58 2582.21/2592.54 c bounds 1089 >= 29 @ 2579.59 2582.21/2592.54 c bounds 1088 >= 29 @ 2579.6 2582.21/2592.54 c bounds 1087 >= 29 @ 2579.61 2582.21/2592.54 c bounds 1086 >= 29 @ 2579.62 2582.21/2592.54 c bounds 1085 >= 29 @ 2579.63 2582.21/2592.54 c bounds 1084 >= 29 @ 2579.64 2582.21/2592.54 c bounds 1083 >= 29 @ 2579.66 2582.21/2592.54 c bounds 1082 >= 29 @ 2579.66 2582.21/2592.54 c bounds 1081 >= 29 @ 2579.67 2582.21/2592.54 c bounds 1080 >= 29 @ 2579.68 2582.21/2592.54 c bounds 1079 >= 29 @ 2579.69 2582.21/2592.54 c bounds 1078 >= 29 @ 2579.7 2582.21/2592.54 c bounds 1077 >= 29 @ 2579.71 2582.21/2592.54 c bounds 1076 >= 29 @ 2579.72 2582.21/2592.54 c bounds 1075 >= 29 @ 2579.73 2582.21/2592.54 c bounds 1074 >= 29 @ 2579.74 2582.21/2592.54 c bounds 1073 >= 29 @ 2579.75 2582.21/2592.54 c bounds 1072 >= 29 @ 2579.76 2582.21/2592.54 c bounds 1071 >= 29 @ 2579.77 2582.21/2592.54 c bounds 1070 >= 29 @ 2579.79 2582.21/2592.54 c bounds 1069 >= 29 @ 2579.8 2582.21/2592.54 c bounds 1068 >= 29 @ 2579.81 2582.21/2592.54 c bounds 1067 >= 29 @ 2579.82 2582.21/2592.54 c bounds 1066 >= 29 @ 2579.83 2582.21/2592.54 c bounds 1065 >= 29 @ 2579.84 2582.21/2592.54 c bounds 1064 >= 29 @ 2579.84 2582.21/2592.54 c bounds 1063 >= 29 @ 2579.85 2582.21/2592.54 c bounds 1062 >= 29 @ 2579.86 2582.21/2592.54 c bounds 1061 >= 29 @ 2579.86 2582.21/2592.54 c bounds 1060 >= 29 @ 2579.87 2582.21/2592.54 c bounds 1059 >= 29 @ 2579.88 2582.21/2592.54 c bounds 1058 >= 29 @ 2579.89 2582.21/2592.54 c bounds 1057 >= 29 @ 2579.89 2582.21/2592.54 c bounds 1056 >= 29 @ 2579.9 2582.21/2592.54 c bounds 1055 >= 29 @ 2579.91 2582.21/2592.54 c bounds 1054 >= 29 @ 2579.91 2582.21/2592.54 c bounds 1053 >= 29 @ 2579.92 2582.21/2592.54 c bounds 1052 >= 29 @ 2579.93 2582.21/2592.54 c bounds 1051 >= 29 @ 2579.94 2582.21/2592.54 c bounds 1050 >= 29 @ 2579.94 2584.50/2594.88 c bounds 1049 >= 29 @ 2579.95 2584.50/2594.88 c bounds 1048 >= 29 @ 2579.95 2584.50/2594.88 c bounds 1047 >= 29 @ 2579.96 2584.50/2594.88 c bounds 1046 >= 29 @ 2579.97 2584.50/2594.88 c bounds 1045 >= 29 @ 2579.98 2584.50/2594.88 c bounds 1044 >= 29 @ 2579.99 2584.50/2594.88 c bounds 1043 >= 29 @ 2579.99 2584.50/2594.88 c bounds 1042 >= 29 @ 2580.01 2584.50/2594.88 c bounds 1041 >= 29 @ 2580.02 2584.50/2594.88 c bounds 1040 >= 29 @ 2580.02 2584.50/2594.88 c bounds 1039 >= 29 @ 2580.03 2584.50/2594.88 c bounds 1038 >= 29 @ 2580.04 2584.50/2594.88 c bounds 1037 >= 29 @ 2580.05 2584.50/2594.88 c bounds 1036 >= 29 @ 2580.06 2584.50/2594.88 c bounds 1035 >= 29 @ 2580.07 2584.50/2594.88 c bounds 1034 >= 29 @ 2580.08 2584.50/2594.88 c bounds 1033 >= 29 @ 2580.1 2584.50/2594.88 c bounds 1032 >= 29 @ 2580.11 2584.50/2594.88 c bounds 1031 >= 29 @ 2580.13 2584.50/2594.88 c bounds 1030 >= 29 @ 2580.15 2584.50/2594.88 c bounds 1029 >= 29 @ 2580.16 2584.50/2594.88 c bounds 1028 >= 29 @ 2580.17 2584.50/2594.88 c bounds 1027 >= 29 @ 2580.19 2584.50/2594.88 c bounds 1026 >= 29 @ 2580.2 2584.50/2594.88 c bounds 1025 >= 29 @ 2580.21 2584.50/2594.88 c bounds 1024 >= 29 @ 2580.21 2584.50/2594.88 c bounds 1023 >= 29 @ 2580.22 2584.50/2594.88 c bounds 1022 >= 29 @ 2580.23 2584.50/2594.88 c bounds 1021 >= 29 @ 2580.25 2584.50/2594.88 c bounds 1020 >= 29 @ 2580.26 2584.50/2594.88 c bounds 1019 >= 29 @ 2580.27 2584.50/2594.88 c bounds 1018 >= 29 @ 2580.29 2584.50/2594.88 c bounds 1017 >= 29 @ 2580.3 2584.50/2594.88 c bounds 1016 >= 29 @ 2580.31 2584.50/2594.88 c bounds 1015 >= 29 @ 2580.32 2584.50/2594.88 c bounds 1014 >= 29 @ 2580.32 2584.50/2594.88 c bounds 1013 >= 29 @ 2580.33 2584.50/2594.88 c bounds 1012 >= 29 @ 2580.34 2584.50/2594.88 c bounds 1011 >= 29 @ 2580.35 2584.50/2594.88 c bounds 1010 >= 29 @ 2580.36 2584.50/2594.88 c bounds 1009 >= 29 @ 2580.36 2584.50/2594.88 c bounds 1008 >= 29 @ 2580.37 2584.50/2594.88 c bounds 1007 >= 29 @ 2580.37 2584.50/2594.88 c bounds 1006 >= 29 @ 2580.38 2584.50/2594.88 c bounds 1005 >= 29 @ 2580.39 2584.50/2594.88 c bounds 1004 >= 29 @ 2580.4 2584.50/2594.88 c bounds 1003 >= 29 @ 2580.41 2584.50/2594.88 c bounds 1002 >= 29 @ 2580.42 2584.50/2594.88 c bounds 1001 >= 29 @ 2580.43 2584.50/2594.88 c bounds 1000 >= 29 @ 2580.44 2584.50/2594.88 c bounds 999 >= 29 @ 2580.45 2584.50/2594.88 c bounds 998 >= 29 @ 2580.46 2584.50/2594.88 c bounds 997 >= 29 @ 2580.48 2584.50/2594.88 c bounds 996 >= 29 @ 2580.49 2584.50/2594.88 c bounds 995 >= 29 @ 2580.5 2584.50/2594.88 c bounds 994 >= 29 @ 2580.5 2584.50/2594.88 c bounds 993 >= 29 @ 2580.51 2584.50/2594.88 c bounds 992 >= 29 @ 2580.52 2584.50/2594.88 c bounds 991 >= 29 @ 2580.53 2584.50/2594.88 c bounds 990 >= 29 @ 2580.53 2584.50/2594.88 c bounds 989 >= 29 @ 2580.54 2584.50/2594.88 c bounds 988 >= 29 @ 2580.55 2584.50/2594.88 c bounds 987 >= 29 @ 2580.56 2584.50/2594.88 c bounds 986 >= 29 @ 2580.57 2584.50/2594.88 c bounds 985 >= 29 @ 2580.57 2584.50/2594.88 c bounds 984 >= 29 @ 2580.58 2584.50/2594.88 c bounds 983 >= 29 @ 2580.58 2584.50/2594.88 c bounds 982 >= 29 @ 2580.59 2584.50/2594.88 c bounds 981 >= 29 @ 2580.6 2584.50/2594.88 c bounds 980 >= 29 @ 2580.61 2584.50/2594.88 c bounds 979 >= 29 @ 2580.62 2584.50/2594.88 c bounds 978 >= 29 @ 2580.63 2584.50/2594.88 c bounds 977 >= 29 @ 2580.64 2584.50/2594.88 c bounds 976 >= 29 @ 2580.65 2584.50/2594.88 c bounds 975 >= 29 @ 2580.66 2584.50/2594.88 c bounds 974 >= 29 @ 2580.68 2584.50/2594.88 c bounds 973 >= 29 @ 2580.69 2584.50/2594.88 c bounds 972 >= 29 @ 2580.7 2584.50/2594.88 c bounds 971 >= 29 @ 2580.71 2584.50/2594.88 c bounds 970 >= 29 @ 2580.72 2584.50/2594.88 c bounds 969 >= 29 @ 2580.73 2584.50/2594.88 c bounds 968 >= 29 @ 2580.74 2584.50/2594.88 c bounds 967 >= 29 @ 2580.75 2584.50/2594.88 c bounds 966 >= 29 @ 2580.76 2584.50/2594.88 c bounds 965 >= 29 @ 2580.78 2584.50/2594.88 c bounds 964 >= 29 @ 2580.78 2584.50/2594.88 c bounds 963 >= 29 @ 2580.79 2584.50/2594.88 c bounds 962 >= 29 @ 2580.8 2584.50/2594.88 c bounds 961 >= 29 @ 2580.81 2584.50/2594.88 c bounds 960 >= 29 @ 2580.82 2584.50/2594.88 c bounds 959 >= 29 @ 2580.83 2584.50/2594.88 c bounds 958 >= 29 @ 2580.84 2584.50/2594.88 c bounds 957 >= 29 @ 2580.85 2584.50/2594.88 c bounds 956 >= 29 @ 2580.86 2584.50/2594.88 c bounds 955 >= 29 @ 2580.87 2584.50/2594.88 c bounds 954 >= 29 @ 2580.88 2584.50/2594.88 c bounds 953 >= 29 @ 2580.88 2584.50/2594.88 c bounds 952 >= 29 @ 2580.9 2584.50/2594.88 c bounds 951 >= 29 @ 2580.92 2584.50/2594.88 c bounds 950 >= 29 @ 2580.93 2584.50/2594.88 c bounds 949 >= 29 @ 2580.93 2584.50/2594.88 c bounds 948 >= 29 @ 2580.94 2584.50/2594.88 c bounds 947 >= 29 @ 2580.96 2584.50/2594.88 c bounds 946 >= 29 @ 2580.96 2584.50/2594.88 c bounds 945 >= 29 @ 2580.97 2584.50/2594.88 c bounds 944 >= 29 @ 2580.98 2584.50/2594.88 c bounds 943 >= 29 @ 2580.99 2584.50/2594.88 c bounds 942 >= 29 @ 2581 2584.50/2594.88 c bounds 941 >= 29 @ 2581.01 2584.50/2594.88 c bounds 940 >= 29 @ 2581.02 2584.50/2594.88 c bounds 939 >= 29 @ 2581.03 2584.50/2594.88 c bounds 938 >= 29 @ 2581.04 2584.50/2594.88 c bounds 937 >= 29 @ 2581.05 2584.50/2594.88 c bounds 936 >= 29 @ 2581.06 2584.50/2594.88 c bounds 935 >= 29 @ 2581.07 2584.50/2594.88 c bounds 934 >= 29 @ 2581.07 2584.50/2594.88 c bounds 933 >= 29 @ 2581.08 2584.50/2594.88 c bounds 932 >= 29 @ 2581.09 2584.50/2594.88 c bounds 931 >= 29 @ 2581.1 2584.50/2594.88 c bounds 930 >= 29 @ 2581.11 2584.50/2594.88 c bounds 929 >= 29 @ 2581.13 2584.50/2594.88 c bounds 928 >= 29 @ 2581.14 2584.50/2594.88 c bounds 927 >= 29 @ 2581.14 2584.50/2594.88 c bounds 926 >= 29 @ 2581.15 2584.50/2594.88 c bounds 925 >= 29 @ 2581.16 2584.50/2594.88 c bounds 924 >= 29 @ 2581.17 2584.50/2594.88 c bounds 923 >= 29 @ 2581.18 2584.50/2594.88 c bounds 922 >= 29 @ 2581.19 2584.50/2594.88 c bounds 921 >= 29 @ 2581.2 2584.50/2594.88 c bounds 920 >= 29 @ 2581.21 2584.50/2594.88 c bounds 919 >= 29 @ 2581.21 2584.50/2594.88 c bounds 918 >= 29 @ 2581.22 2584.50/2594.88 c bounds 917 >= 29 @ 2581.24 2584.50/2594.88 c bounds 916 >= 29 @ 2581.25 2584.50/2594.88 c bounds 915 >= 29 @ 2581.26 2584.50/2594.88 c bounds 914 >= 29 @ 2581.27 2584.50/2594.88 c bounds 913 >= 29 @ 2581.28 2584.50/2594.88 c bounds 912 >= 29 @ 2581.29 2584.50/2594.88 c bounds 911 >= 29 @ 2581.3 2584.50/2594.88 c bounds 910 >= 29 @ 2581.32 2584.50/2594.88 c bounds 909 >= 29 @ 2581.34 2586.70/2597.09 c bounds 908 >= 29 @ 2581.36 2586.70/2597.09 c bounds 907 >= 29 @ 2581.37 2586.70/2597.09 c bounds 906 >= 29 @ 2581.38 2586.70/2597.09 c bounds 905 >= 29 @ 2581.39 2586.70/2597.09 c bounds 904 >= 29 @ 2581.4 2586.70/2597.09 c bounds 903 >= 29 @ 2581.41 2586.70/2597.09 c bounds 902 >= 29 @ 2581.42 2586.70/2597.09 c bounds 901 >= 29 @ 2581.42 2586.70/2597.09 c bounds 900 >= 29 @ 2581.43 2586.70/2597.09 c bounds 899 >= 29 @ 2581.44 2586.70/2597.09 c bounds 898 >= 29 @ 2581.45 2586.70/2597.09 c bounds 897 >= 29 @ 2581.46 2586.70/2597.09 c bounds 896 >= 29 @ 2581.47 2586.70/2597.09 c bounds 895 >= 29 @ 2581.47 2586.70/2597.09 c bounds 894 >= 29 @ 2581.48 2586.70/2597.09 c bounds 893 >= 29 @ 2581.49 2586.70/2597.09 c bounds 892 >= 29 @ 2581.49 2586.70/2597.09 c bounds 891 >= 29 @ 2581.5 2586.70/2597.09 c bounds 890 >= 29 @ 2581.5 2586.70/2597.09 c bounds 889 >= 29 @ 2581.51 2586.70/2597.09 c bounds 888 >= 29 @ 2581.52 2586.70/2597.09 c bounds 887 >= 29 @ 2581.52 2586.70/2597.09 c bounds 886 >= 29 @ 2581.52 2586.70/2597.09 c bounds 885 >= 29 @ 2581.54 2586.70/2597.09 c bounds 884 >= 29 @ 2581.55 2586.70/2597.09 c bounds 883 >= 29 @ 2581.57 2586.70/2597.09 c bounds 882 >= 29 @ 2581.57 2586.70/2597.09 c bounds 881 >= 29 @ 2581.58 2586.70/2597.09 c bounds 880 >= 29 @ 2581.59 2586.70/2597.09 c bounds 879 >= 29 @ 2581.59 2586.70/2597.09 c bounds 878 >= 29 @ 2581.6 2586.70/2597.09 c bounds 877 >= 29 @ 2581.61 2586.70/2597.09 c bounds 876 >= 29 @ 2581.62 2586.70/2597.09 c bounds 875 >= 29 @ 2581.63 2586.70/2597.09 c bounds 874 >= 29 @ 2581.64 2586.70/2597.09 c bounds 873 >= 29 @ 2581.66 2586.70/2597.09 c bounds 872 >= 29 @ 2581.67 2586.70/2597.09 c bounds 871 >= 29 @ 2581.68 2586.70/2597.09 c bounds 870 >= 29 @ 2581.69 2586.70/2597.09 c bounds 869 >= 29 @ 2581.7 2586.70/2597.09 c bounds 868 >= 29 @ 2581.71 2586.70/2597.09 c bounds 867 >= 29 @ 2581.72 2586.70/2597.09 c bounds 866 >= 29 @ 2581.73 2586.70/2597.09 c bounds 865 >= 29 @ 2581.74 2586.70/2597.09 c bounds 864 >= 29 @ 2581.75 2586.70/2597.09 c bounds 863 >= 29 @ 2581.76 2586.70/2597.09 c bounds 862 >= 29 @ 2581.76 2586.70/2597.09 c bounds 861 >= 29 @ 2581.78 2586.70/2597.09 c bounds 860 >= 29 @ 2581.79 2586.70/2597.09 c bounds 859 >= 29 @ 2581.8 2586.70/2597.09 c bounds 858 >= 29 @ 2581.81 2586.70/2597.09 c bounds 857 >= 29 @ 2581.82 2586.70/2597.09 c bounds 856 >= 29 @ 2581.83 2586.70/2597.09 c bounds 855 >= 29 @ 2581.84 2586.70/2597.09 c bounds 854 >= 29 @ 2581.86 2586.70/2597.09 c bounds 853 >= 29 @ 2581.87 2586.70/2597.09 c bounds 852 >= 29 @ 2581.88 2586.70/2597.09 c bounds 851 >= 29 @ 2581.89 2586.70/2597.09 c bounds 850 >= 29 @ 2581.9 2586.70/2597.09 c bounds 849 >= 29 @ 2581.91 2586.70/2597.09 c bounds 848 >= 29 @ 2581.92 2586.70/2597.09 c bounds 847 >= 29 @ 2581.93 2586.70/2597.09 c bounds 846 >= 29 @ 2581.94 2586.70/2597.09 c bounds 845 >= 29 @ 2581.95 2586.70/2597.09 c bounds 844 >= 29 @ 2581.96 2586.70/2597.09 c bounds 843 >= 29 @ 2581.97 2586.70/2597.09 c bounds 842 >= 29 @ 2581.98 2586.70/2597.09 c bounds 841 >= 29 @ 2581.99 2586.70/2597.09 c bounds 840 >= 29 @ 2582 2586.70/2597.09 c bounds 839 >= 29 @ 2582.01 2586.70/2597.09 c bounds 838 >= 29 @ 2582.02 2586.70/2597.09 c bounds 837 >= 29 @ 2582.03 2586.70/2597.09 c bounds 836 >= 29 @ 2582.04 2586.70/2597.09 c bounds 835 >= 29 @ 2582.05 2586.70/2597.09 c bounds 834 >= 29 @ 2582.06 2586.70/2597.09 c bounds 833 >= 29 @ 2582.07 2586.70/2597.09 c bounds 832 >= 29 @ 2582.08 2586.70/2597.09 c bounds 831 >= 29 @ 2582.09 2586.70/2597.09 c bounds 830 >= 29 @ 2582.1 2586.70/2597.09 c bounds 829 >= 29 @ 2582.11 2586.70/2597.09 c bounds 828 >= 29 @ 2582.12 2586.70/2597.09 c bounds 827 >= 29 @ 2582.13 2586.70/2597.09 c bounds 826 >= 29 @ 2582.14 2586.70/2597.09 c bounds 825 >= 29 @ 2582.15 2586.70/2597.09 c bounds 824 >= 29 @ 2582.16 2586.70/2597.09 c bounds 823 >= 29 @ 2582.17 2586.70/2597.09 c bounds 822 >= 29 @ 2582.18 2586.70/2597.09 c bounds 821 >= 29 @ 2582.18 2586.70/2597.09 c bounds 820 >= 29 @ 2582.19 2586.70/2597.09 c bounds 819 >= 29 @ 2582.2 2586.70/2597.09 c bounds 818 >= 29 @ 2582.21 2586.70/2597.09 c bounds 817 >= 29 @ 2582.21 2586.70/2597.09 c bounds 816 >= 29 @ 2582.23 2586.70/2597.09 c bounds 815 >= 29 @ 2582.24 2586.70/2597.09 c bounds 814 >= 29 @ 2582.24 2586.70/2597.09 c bounds 813 >= 29 @ 2582.25 2586.70/2597.09 c bounds 812 >= 29 @ 2582.26 2586.70/2597.09 c bounds 811 >= 29 @ 2582.27 2586.70/2597.09 c bounds 810 >= 29 @ 2582.29 2586.70/2597.09 c bounds 809 >= 29 @ 2582.3 2586.70/2597.09 c bounds 808 >= 29 @ 2582.32 2586.70/2597.09 c bounds 807 >= 29 @ 2582.33 2586.70/2597.09 c bounds 806 >= 29 @ 2582.33 2586.70/2597.09 c bounds 805 >= 29 @ 2582.35 2586.70/2597.09 c bounds 804 >= 29 @ 2582.36 2586.70/2597.09 c bounds 803 >= 29 @ 2582.37 2586.70/2597.09 c bounds 802 >= 29 @ 2582.37 2586.70/2597.09 c bounds 801 >= 29 @ 2582.38 2586.70/2597.09 c bounds 800 >= 29 @ 2582.39 2586.70/2597.09 c bounds 799 >= 29 @ 2582.41 2586.70/2597.09 c bounds 798 >= 29 @ 2582.42 2586.70/2597.09 c bounds 797 >= 29 @ 2582.42 2586.70/2597.09 c bounds 796 >= 29 @ 2582.43 2586.70/2597.09 c bounds 795 >= 29 @ 2582.44 2586.70/2597.09 c bounds 794 >= 29 @ 2582.44 2586.70/2597.09 c bounds 793 >= 29 @ 2582.46 2586.70/2597.09 c bounds 792 >= 29 @ 2582.47 2586.70/2597.09 c bounds 791 >= 29 @ 2582.48 2586.70/2597.09 c bounds 790 >= 29 @ 2582.49 2586.70/2597.09 c bounds 789 >= 29 @ 2582.49 2586.70/2597.09 c bounds 788 >= 29 @ 2582.5 2586.70/2597.09 c bounds 787 >= 29 @ 2582.51 2586.70/2597.09 c bounds 786 >= 29 @ 2582.51 2586.70/2597.09 c bounds 785 >= 29 @ 2582.52 2586.70/2597.09 c bounds 784 >= 29 @ 2582.54 2586.70/2597.09 c bounds 783 >= 29 @ 2582.54 2586.70/2597.09 c bounds 782 >= 29 @ 2582.55 2586.70/2597.09 c bounds 781 >= 29 @ 2582.56 2586.70/2597.09 c bounds 780 >= 29 @ 2582.58 2586.70/2597.09 c bounds 779 >= 29 @ 2582.58 2586.70/2597.09 c bounds 778 >= 29 @ 2582.59 2586.70/2597.09 c bounds 777 >= 29 @ 2582.6 2586.70/2597.09 c bounds 776 >= 29 @ 2582.61 2586.70/2597.09 c bounds 775 >= 29 @ 2582.62 2586.70/2597.09 c bounds 774 >= 29 @ 2582.63 2586.70/2597.09 c bounds 773 >= 29 @ 2582.64 2586.70/2597.09 c bounds 772 >= 29 @ 2582.64 2586.70/2597.09 c bounds 771 >= 29 @ 2582.65 2586.70/2597.09 c bounds 770 >= 29 @ 2582.66 2586.70/2597.09 c bounds 769 >= 29 @ 2582.66 2586.70/2597.09 c bounds 768 >= 29 @ 2582.67 2588.99/2599.35 c bounds 767 >= 29 @ 2582.68 2588.99/2599.35 c bounds 766 >= 29 @ 2582.69 2588.99/2599.35 c bounds 765 >= 29 @ 2582.69 2588.99/2599.35 c bounds 764 >= 29 @ 2582.7 2588.99/2599.35 c bounds 763 >= 29 @ 2582.71 2588.99/2599.35 c bounds 762 >= 29 @ 2582.72 2588.99/2599.35 c bounds 761 >= 29 @ 2582.73 2588.99/2599.35 c bounds 760 >= 29 @ 2582.73 2588.99/2599.35 c bounds 759 >= 29 @ 2582.74 2588.99/2599.35 c bounds 758 >= 29 @ 2582.75 2588.99/2599.35 c bounds 757 >= 29 @ 2582.76 2588.99/2599.35 c bounds 756 >= 29 @ 2582.77 2588.99/2599.35 c bounds 755 >= 29 @ 2582.78 2588.99/2599.35 c bounds 754 >= 29 @ 2582.79 2588.99/2599.35 c bounds 753 >= 29 @ 2582.8 2588.99/2599.35 c bounds 752 >= 29 @ 2582.81 2588.99/2599.35 c bounds 751 >= 29 @ 2582.82 2588.99/2599.35 c bounds 750 >= 29 @ 2582.83 2588.99/2599.35 c bounds 749 >= 29 @ 2582.85 2588.99/2599.35 c bounds 748 >= 29 @ 2582.85 2588.99/2599.35 c bounds 747 >= 29 @ 2582.86 2588.99/2599.35 c bounds 746 >= 29 @ 2582.87 2588.99/2599.35 c bounds 745 >= 29 @ 2582.89 2588.99/2599.35 c bounds 744 >= 29 @ 2582.89 2588.99/2599.35 c bounds 743 >= 29 @ 2582.9 2588.99/2599.35 c bounds 742 >= 29 @ 2582.91 2588.99/2599.35 c bounds 741 >= 29 @ 2582.92 2588.99/2599.35 c bounds 740 >= 29 @ 2582.97 2588.99/2599.35 c bounds 739 >= 29 @ 2582.99 2588.99/2599.35 c bounds 738 >= 29 @ 2583.01 2588.99/2599.35 c bounds 737 >= 29 @ 2583.02 2588.99/2599.35 c bounds 736 >= 29 @ 2583.03 2588.99/2599.35 c bounds 735 >= 29 @ 2583.04 2588.99/2599.35 c bounds 734 >= 29 @ 2583.04 2588.99/2599.35 c bounds 733 >= 29 @ 2583.05 2588.99/2599.35 c bounds 732 >= 29 @ 2583.06 2588.99/2599.35 c bounds 731 >= 29 @ 2583.06 2588.99/2599.35 c bounds 730 >= 29 @ 2583.07 2588.99/2599.35 c bounds 729 >= 29 @ 2583.08 2588.99/2599.35 c bounds 728 >= 29 @ 2583.09 2588.99/2599.35 c bounds 727 >= 29 @ 2583.1 2588.99/2599.35 c bounds 726 >= 29 @ 2583.11 2588.99/2599.35 c bounds 725 >= 29 @ 2583.12 2588.99/2599.35 c bounds 724 >= 29 @ 2583.14 2588.99/2599.35 c bounds 723 >= 29 @ 2583.15 2588.99/2599.35 c bounds 722 >= 29 @ 2583.16 2588.99/2599.35 c bounds 721 >= 29 @ 2583.18 2588.99/2599.35 c bounds 720 >= 29 @ 2583.19 2588.99/2599.35 c bounds 719 >= 29 @ 2583.21 2588.99/2599.35 c bounds 718 >= 29 @ 2583.22 2588.99/2599.35 c bounds 717 >= 29 @ 2583.23 2588.99/2599.35 c bounds 716 >= 29 @ 2583.24 2588.99/2599.35 c bounds 715 >= 29 @ 2583.26 2588.99/2599.35 c bounds 714 >= 29 @ 2583.27 2588.99/2599.35 c bounds 713 >= 29 @ 2583.29 2588.99/2599.35 c bounds 712 >= 29 @ 2583.3 2588.99/2599.35 c bounds 711 >= 29 @ 2583.31 2588.99/2599.35 c bounds 710 >= 29 @ 2583.32 2588.99/2599.35 c bounds 709 >= 29 @ 2583.32 2588.99/2599.35 c bounds 708 >= 29 @ 2583.34 2588.99/2599.35 c bounds 707 >= 29 @ 2583.35 2588.99/2599.35 c bounds 706 >= 29 @ 2583.35 2588.99/2599.35 c bounds 705 >= 29 @ 2583.36 2588.99/2599.35 c bounds 704 >= 29 @ 2583.37 2588.99/2599.35 c bounds 703 >= 29 @ 2583.38 2588.99/2599.35 c bounds 702 >= 29 @ 2583.38 2588.99/2599.35 c bounds 701 >= 29 @ 2583.39 2588.99/2599.35 c bounds 700 >= 29 @ 2583.4 2588.99/2599.35 c bounds 699 >= 29 @ 2583.42 2588.99/2599.35 c bounds 698 >= 29 @ 2583.43 2588.99/2599.35 c bounds 697 >= 29 @ 2583.44 2588.99/2599.35 c bounds 696 >= 29 @ 2583.46 2588.99/2599.35 c bounds 695 >= 29 @ 2583.47 2588.99/2599.35 c bounds 694 >= 29 @ 2583.48 2588.99/2599.35 c bounds 693 >= 29 @ 2583.48 2588.99/2599.35 c bounds 692 >= 29 @ 2583.49 2588.99/2599.35 c bounds 691 >= 29 @ 2583.5 2588.99/2599.35 c bounds 690 >= 29 @ 2583.5 2588.99/2599.35 c bounds 689 >= 29 @ 2583.51 2588.99/2599.35 c bounds 688 >= 29 @ 2583.52 2588.99/2599.35 c bounds 687 >= 29 @ 2583.53 2588.99/2599.35 c bounds 686 >= 29 @ 2583.54 2588.99/2599.35 c bounds 685 >= 29 @ 2583.54 2588.99/2599.35 c bounds 684 >= 29 @ 2583.55 2588.99/2599.35 c bounds 683 >= 29 @ 2583.56 2588.99/2599.35 c bounds 682 >= 29 @ 2583.56 2588.99/2599.35 c bounds 681 >= 29 @ 2583.57 2588.99/2599.35 c bounds 680 >= 29 @ 2583.58 2588.99/2599.35 c bounds 679 >= 29 @ 2583.59 2588.99/2599.35 c bounds 678 >= 29 @ 2583.6 2588.99/2599.35 c bounds 677 >= 29 @ 2583.61 2588.99/2599.35 c bounds 676 >= 29 @ 2583.62 2588.99/2599.35 c bounds 675 >= 29 @ 2583.63 2588.99/2599.35 c bounds 674 >= 29 @ 2583.64 2588.99/2599.35 c bounds 673 >= 29 @ 2583.64 2588.99/2599.35 c bounds 672 >= 29 @ 2583.65 2588.99/2599.35 c bounds 671 >= 29 @ 2583.66 2588.99/2599.35 c bounds 670 >= 29 @ 2583.66 2588.99/2599.35 c bounds 669 >= 29 @ 2583.67 2588.99/2599.35 c bounds 668 >= 29 @ 2583.68 2588.99/2599.35 c bounds 667 >= 29 @ 2583.68 2588.99/2599.35 c bounds 666 >= 29 @ 2583.69 2588.99/2599.35 c bounds 665 >= 29 @ 2583.7 2588.99/2599.35 c bounds 664 >= 29 @ 2583.72 2588.99/2599.35 c bounds 663 >= 29 @ 2583.74 2588.99/2599.35 c bounds 662 >= 29 @ 2583.75 2588.99/2599.35 c bounds 661 >= 29 @ 2583.76 2588.99/2599.35 c bounds 660 >= 29 @ 2583.77 2588.99/2599.35 c bounds 659 >= 29 @ 2583.78 2588.99/2599.35 c bounds 658 >= 29 @ 2583.79 2588.99/2599.35 c bounds 657 >= 29 @ 2583.81 2588.99/2599.35 c bounds 656 >= 29 @ 2583.82 2588.99/2599.35 c bounds 655 >= 29 @ 2583.85 2588.99/2599.35 c bounds 654 >= 29 @ 2583.87 2588.99/2599.35 c bounds 653 >= 29 @ 2583.89 2588.99/2599.35 c bounds 652 >= 29 @ 2583.9 2588.99/2599.35 c bounds 651 >= 29 @ 2583.91 2588.99/2599.35 c bounds 650 >= 29 @ 2583.92 2588.99/2599.35 c bounds 649 >= 29 @ 2583.93 2588.99/2599.35 c bounds 648 >= 29 @ 2583.94 2588.99/2599.35 c bounds 647 >= 29 @ 2583.94 2588.99/2599.35 c bounds 646 >= 29 @ 2583.95 2588.99/2599.35 c bounds 645 >= 29 @ 2583.96 2588.99/2599.35 c bounds 644 >= 29 @ 2583.97 2588.99/2599.35 c bounds 643 >= 29 @ 2583.98 2588.99/2599.35 c bounds 642 >= 29 @ 2583.98 2588.99/2599.35 c bounds 641 >= 29 @ 2583.99 2588.99/2599.35 c bounds 640 >= 29 @ 2584 2588.99/2599.35 c bounds 639 >= 29 @ 2584 2588.99/2599.35 c bounds 638 >= 29 @ 2584.01 2588.99/2599.35 c bounds 637 >= 29 @ 2584.02 2588.99/2599.35 c bounds 636 >= 29 @ 2584.02 2588.99/2599.35 c bounds 635 >= 29 @ 2584.03 2588.99/2599.35 c bounds 634 >= 29 @ 2584.03 2588.99/2599.35 c bounds 633 >= 29 @ 2584.04 2588.99/2599.35 c bounds 632 >= 29 @ 2584.05 2588.99/2599.35 c bounds 631 >= 29 @ 2584.06 2588.99/2599.35 c bounds 630 >= 29 @ 2584.06 2588.99/2599.35 c bounds 629 >= 29 @ 2584.07 2588.99/2599.35 c bounds 628 >= 29 @ 2584.08 2588.99/2599.35 c bounds 627 >= 29 @ 2584.08 2588.99/2599.35 c bounds 626 >= 29 @ 2584.1 2591.58/2601.92 c bounds 625 >= 29 @ 2584.1 2591.58/2601.92 c bounds 624 >= 29 @ 2584.12 2591.58/2601.92 c bounds 623 >= 29 @ 2584.13 2591.58/2601.92 c bounds 622 >= 29 @ 2584.13 2591.58/2601.92 c bounds 621 >= 29 @ 2584.14 2591.58/2601.92 c bounds 620 >= 29 @ 2584.15 2591.58/2601.92 c bounds 619 >= 29 @ 2584.16 2591.58/2601.92 c bounds 618 >= 29 @ 2584.16 2591.58/2601.92 c bounds 617 >= 29 @ 2584.17 2591.58/2601.92 c bounds 616 >= 29 @ 2584.18 2591.58/2601.92 c bounds 615 >= 29 @ 2584.19 2591.58/2601.92 c bounds 614 >= 29 @ 2584.19 2591.58/2601.92 c bounds 613 >= 29 @ 2584.2 2591.58/2601.92 c bounds 612 >= 29 @ 2584.2 2591.58/2601.92 c bounds 611 >= 29 @ 2584.21 2591.58/2601.92 c bounds 610 >= 29 @ 2584.21 2591.58/2601.92 c bounds 609 >= 29 @ 2584.22 2591.58/2601.92 c bounds 608 >= 29 @ 2584.23 2591.58/2601.92 c bounds 607 >= 29 @ 2584.24 2591.58/2601.92 c bounds 606 >= 29 @ 2584.25 2591.58/2601.92 c bounds 605 >= 29 @ 2584.26 2591.58/2601.92 c bounds 604 >= 29 @ 2584.27 2591.58/2601.92 c bounds 603 >= 29 @ 2584.27 2591.58/2601.92 c bounds 602 >= 29 @ 2584.28 2591.58/2601.92 c bounds 601 >= 29 @ 2584.29 2591.58/2601.92 c bounds 600 >= 29 @ 2584.3 2591.58/2601.92 c bounds 599 >= 29 @ 2584.31 2591.58/2601.92 c bounds 598 >= 29 @ 2584.32 2591.58/2601.92 c bounds 597 >= 29 @ 2584.32 2591.58/2601.92 c bounds 596 >= 29 @ 2584.33 2591.58/2601.92 c bounds 595 >= 29 @ 2584.34 2591.58/2601.92 c bounds 594 >= 29 @ 2584.35 2591.58/2601.92 c bounds 593 >= 29 @ 2584.36 2591.58/2601.92 c bounds 592 >= 29 @ 2584.36 2591.58/2601.92 c bounds 591 >= 29 @ 2584.37 2591.58/2601.92 c bounds 590 >= 29 @ 2584.38 2591.58/2601.92 c bounds 589 >= 29 @ 2584.39 2591.58/2601.92 c bounds 588 >= 29 @ 2584.39 2591.58/2601.92 c bounds 587 >= 29 @ 2584.4 2591.58/2601.92 c bounds 586 >= 29 @ 2584.41 2591.58/2601.92 c bounds 585 >= 29 @ 2584.42 2591.58/2601.92 c bounds 584 >= 29 @ 2584.42 2591.58/2601.92 c bounds 583 >= 29 @ 2584.43 2591.58/2601.92 c bounds 582 >= 29 @ 2584.44 2591.58/2601.92 c bounds 581 >= 29 @ 2584.45 2591.58/2601.92 c bounds 580 >= 29 @ 2584.46 2591.58/2601.92 c bounds 579 >= 29 @ 2584.46 2591.58/2601.92 c bounds 578 >= 29 @ 2584.47 2591.58/2601.92 c bounds 577 >= 29 @ 2584.48 2591.58/2601.92 c bounds 576 >= 29 @ 2584.48 2591.58/2601.92 c bounds 575 >= 29 @ 2584.49 2591.58/2601.92 c bounds 574 >= 29 @ 2584.5 2591.58/2601.92 c bounds 573 >= 29 @ 2584.5 2591.58/2601.92 c bounds 572 >= 29 @ 2584.51 2591.58/2601.92 c bounds 571 >= 29 @ 2584.52 2591.58/2601.92 c bounds 570 >= 29 @ 2584.52 2591.58/2601.92 c bounds 569 >= 29 @ 2584.53 2591.58/2601.92 c bounds 568 >= 29 @ 2584.54 2591.58/2601.92 c bounds 567 >= 29 @ 2584.54 2591.58/2601.92 c bounds 566 >= 29 @ 2584.55 2591.58/2601.92 c bounds 565 >= 29 @ 2584.55 2591.58/2601.92 c bounds 564 >= 29 @ 2584.56 2591.58/2601.92 c bounds 563 >= 29 @ 2584.57 2591.58/2601.92 c bounds 562 >= 29 @ 2584.58 2591.58/2601.92 c bounds 561 >= 29 @ 2584.59 2591.58/2601.92 c bounds 560 >= 29 @ 2584.6 2591.58/2601.92 c bounds 559 >= 29 @ 2584.61 2591.58/2601.92 c bounds 558 >= 29 @ 2584.62 2591.58/2601.92 c bounds 557 >= 29 @ 2584.63 2591.58/2601.92 c bounds 556 >= 29 @ 2584.64 2591.58/2601.92 c bounds 555 >= 29 @ 2584.66 2591.58/2601.92 c bounds 554 >= 29 @ 2584.67 2591.58/2601.92 c bounds 553 >= 29 @ 2584.68 2591.58/2601.92 c bounds 552 >= 29 @ 2584.69 2591.58/2601.92 c bounds 551 >= 29 @ 2584.7 2591.58/2601.92 c bounds 550 >= 29 @ 2584.71 2591.58/2601.92 c bounds 549 >= 29 @ 2584.73 2591.58/2601.92 c bounds 548 >= 29 @ 2584.75 2591.58/2601.92 c bounds 547 >= 29 @ 2584.76 2591.58/2601.92 c bounds 546 >= 29 @ 2584.78 2591.58/2601.92 c bounds 545 >= 29 @ 2584.8 2591.58/2601.92 c bounds 544 >= 29 @ 2584.81 2591.58/2601.92 c bounds 543 >= 29 @ 2584.83 2591.58/2601.92 c bounds 542 >= 29 @ 2584.84 2591.58/2601.92 c bounds 541 >= 29 @ 2584.85 2591.58/2601.92 c bounds 540 >= 29 @ 2584.86 2591.58/2601.92 c bounds 539 >= 29 @ 2584.88 2591.58/2601.92 c bounds 538 >= 29 @ 2584.89 2591.58/2601.92 c bounds 537 >= 29 @ 2584.9 2591.58/2601.92 c bounds 536 >= 29 @ 2584.92 2591.58/2601.92 c bounds 535 >= 29 @ 2584.94 2591.58/2601.92 c bounds 534 >= 29 @ 2584.96 2591.58/2601.92 c bounds 533 >= 29 @ 2584.97 2591.58/2601.92 c bounds 532 >= 29 @ 2584.99 2591.58/2601.92 c bounds 531 >= 29 @ 2585 2591.58/2601.92 c bounds 530 >= 29 @ 2585.02 2591.58/2601.92 c bounds 529 >= 29 @ 2585.04 2591.58/2601.92 c bounds 528 >= 29 @ 2585.05 2591.58/2601.92 c bounds 527 >= 29 @ 2585.07 2591.58/2601.92 c bounds 526 >= 29 @ 2585.09 2591.58/2601.92 c bounds 525 >= 29 @ 2585.11 2591.58/2601.92 c bounds 524 >= 29 @ 2585.12 2591.58/2601.92 c bounds 523 >= 29 @ 2585.13 2591.58/2601.92 c bounds 522 >= 29 @ 2585.13 2591.58/2601.92 c bounds 521 >= 29 @ 2585.15 2591.58/2601.92 c bounds 520 >= 29 @ 2585.19 2591.58/2601.92 c bounds 519 >= 29 @ 2585.21 2591.58/2601.92 c bounds 518 >= 29 @ 2585.23 2591.58/2601.92 c bounds 517 >= 29 @ 2585.29 2591.58/2601.92 c bounds 516 >= 29 @ 2585.32 2591.58/2601.92 c bounds 515 >= 29 @ 2585.33 2591.58/2601.92 c bounds 514 >= 29 @ 2585.35 2591.58/2601.92 c bounds 513 >= 29 @ 2585.37 2591.58/2601.92 c bounds 512 >= 29 @ 2585.39 2591.58/2601.92 c bounds 511 >= 29 @ 2585.4 2591.58/2601.92 c bounds 510 >= 29 @ 2585.42 2591.58/2601.92 c bounds 509 >= 29 @ 2585.44 2591.58/2601.92 c bounds 508 >= 29 @ 2585.45 2591.58/2601.92 c bounds 507 >= 29 @ 2585.46 2591.58/2601.92 c bounds 506 >= 29 @ 2585.47 2591.58/2601.92 c bounds 505 >= 29 @ 2585.49 2591.58/2601.92 c bounds 504 >= 29 @ 2585.5 2591.58/2601.92 c bounds 503 >= 29 @ 2585.5 2591.58/2601.92 c bounds 502 >= 29 @ 2585.51 2591.58/2601.92 c bounds 501 >= 29 @ 2585.52 2591.58/2601.92 c bounds 500 >= 29 @ 2585.54 2591.58/2601.92 c bounds 499 >= 29 @ 2585.55 2591.58/2601.92 c bounds 498 >= 29 @ 2585.56 2591.58/2601.92 c bounds 497 >= 29 @ 2585.56 2591.58/2601.92 c bounds 496 >= 29 @ 2585.57 2591.58/2601.92 c bounds 495 >= 29 @ 2585.58 2591.58/2601.92 c bounds 494 >= 29 @ 2585.59 2591.58/2601.92 c bounds 493 >= 29 @ 2585.61 2591.58/2601.92 c bounds 492 >= 29 @ 2585.64 2591.58/2601.92 c bounds 491 >= 29 @ 2585.66 2591.58/2601.92 c bounds 490 >= 29 @ 2585.68 2591.58/2601.92 c bounds 489 >= 29 @ 2585.69 2591.58/2601.92 c bounds 488 >= 29 @ 2585.7 2591.58/2601.92 c bounds 487 >= 29 @ 2585.71 2591.58/2601.92 c bounds 486 >= 29 @ 2585.73 2591.58/2601.92 c bounds 485 >= 29 @ 2585.74 2591.58/2601.92 c bounds 484 >= 29 @ 2585.75 2593.68/2604.03 c bounds 483 >= 29 @ 2585.76 2593.68/2604.03 c bounds 482 >= 29 @ 2585.78 2593.68/2604.03 c bounds 481 >= 29 @ 2585.79 2593.68/2604.03 c bounds 480 >= 29 @ 2585.8 2593.68/2604.03 c bounds 479 >= 29 @ 2585.8 2593.68/2604.03 c bounds 478 >= 29 @ 2585.81 2593.68/2604.03 c bounds 477 >= 29 @ 2585.82 2593.68/2604.03 c bounds 476 >= 29 @ 2585.83 2593.68/2604.03 c bounds 475 >= 29 @ 2585.83 2593.68/2604.03 c bounds 474 >= 29 @ 2585.84 2593.68/2604.03 c bounds 473 >= 29 @ 2585.85 2593.68/2604.03 c bounds 472 >= 29 @ 2585.86 2593.68/2604.03 c bounds 471 >= 29 @ 2585.87 2593.68/2604.03 c bounds 470 >= 29 @ 2585.88 2593.68/2604.03 c bounds 469 >= 29 @ 2585.89 2593.68/2604.03 c bounds 468 >= 29 @ 2585.9 2593.68/2604.03 c bounds 467 >= 29 @ 2585.91 2593.68/2604.03 c bounds 466 >= 29 @ 2585.92 2593.68/2604.03 c bounds 465 >= 29 @ 2585.93 2593.68/2604.03 c bounds 464 >= 29 @ 2585.93 2593.68/2604.03 c bounds 463 >= 29 @ 2585.94 2593.68/2604.03 c bounds 462 >= 29 @ 2585.95 2593.68/2604.03 c bounds 461 >= 29 @ 2585.96 2593.68/2604.03 c bounds 460 >= 29 @ 2585.97 2593.68/2604.03 c bounds 459 >= 29 @ 2585.97 2593.68/2604.03 c bounds 458 >= 29 @ 2585.98 2593.68/2604.03 c bounds 457 >= 29 @ 2585.99 2593.68/2604.03 c bounds 456 >= 29 @ 2585.99 2593.68/2604.03 c bounds 455 >= 29 @ 2586 2593.68/2604.03 c bounds 454 >= 29 @ 2586.01 2593.68/2604.03 c bounds 453 >= 29 @ 2586.02 2593.68/2604.03 c bounds 452 >= 29 @ 2586.02 2593.68/2604.03 c bounds 451 >= 29 @ 2586.03 2593.68/2604.03 c bounds 450 >= 29 @ 2586.04 2593.68/2604.03 c bounds 449 >= 29 @ 2586.05 2593.68/2604.03 c bounds 448 >= 29 @ 2586.06 2593.68/2604.03 c bounds 447 >= 29 @ 2586.06 2593.68/2604.03 c bounds 446 >= 29 @ 2586.07 2593.68/2604.03 c bounds 445 >= 29 @ 2586.08 2593.68/2604.03 c bounds 444 >= 29 @ 2586.09 2593.68/2604.03 c bounds 443 >= 29 @ 2586.1 2593.68/2604.03 c bounds 442 >= 29 @ 2586.11 2593.68/2604.03 c bounds 441 >= 29 @ 2586.12 2593.68/2604.03 c bounds 440 >= 29 @ 2586.12 2593.68/2604.03 c bounds 439 >= 29 @ 2586.13 2593.68/2604.03 c bounds 438 >= 29 @ 2586.14 2593.68/2604.03 c bounds 437 >= 29 @ 2586.14 2593.68/2604.03 c bounds 436 >= 29 @ 2586.16 2593.68/2604.03 c bounds 435 >= 29 @ 2586.17 2593.68/2604.03 c bounds 434 >= 29 @ 2586.18 2593.68/2604.03 c bounds 433 >= 29 @ 2586.19 2593.68/2604.03 c bounds 432 >= 29 @ 2586.2 2593.68/2604.03 c bounds 431 >= 29 @ 2586.21 2593.68/2604.03 c bounds 430 >= 29 @ 2586.23 2593.68/2604.03 c bounds 429 >= 29 @ 2586.24 2593.68/2604.03 c bounds 428 >= 29 @ 2586.25 2593.68/2604.03 c bounds 427 >= 29 @ 2586.26 2593.68/2604.03 c bounds 426 >= 29 @ 2586.28 2593.68/2604.03 c bounds 425 >= 29 @ 2586.3 2593.68/2604.03 c bounds 424 >= 29 @ 2586.32 2593.68/2604.03 c #Conflicts: 3000 | #Constraints: 68210 2593.68/2604.03 c bounds 423 >= 29 @ 2586.33 2593.68/2604.03 c bounds 422 >= 29 @ 2586.34 2593.68/2604.03 c bounds 421 >= 29 @ 2586.35 2593.68/2604.03 c bounds 420 >= 29 @ 2586.37 2593.68/2604.03 c bounds 419 >= 29 @ 2586.37 2593.68/2604.03 c bounds 418 >= 29 @ 2586.38 2593.68/2604.03 c bounds 417 >= 29 @ 2586.39 2593.68/2604.03 c bounds 416 >= 29 @ 2586.4 2593.68/2604.03 c bounds 415 >= 29 @ 2586.4 2593.68/2604.03 c bounds 414 >= 29 @ 2586.41 2593.68/2604.03 c bounds 413 >= 29 @ 2586.42 2593.68/2604.03 c bounds 412 >= 29 @ 2586.42 2593.68/2604.03 c bounds 411 >= 29 @ 2586.43 2593.68/2604.03 c bounds 410 >= 29 @ 2586.44 2593.68/2604.03 c bounds 409 >= 29 @ 2586.45 2593.68/2604.03 c bounds 408 >= 29 @ 2586.45 2593.68/2604.03 c bounds 407 >= 29 @ 2586.46 2593.68/2604.03 c bounds 406 >= 29 @ 2586.47 2593.68/2604.03 c bounds 405 >= 29 @ 2586.47 2593.68/2604.03 c bounds 404 >= 29 @ 2586.48 2593.68/2604.03 c bounds 403 >= 29 @ 2586.48 2593.68/2604.03 c bounds 402 >= 29 @ 2586.49 2593.68/2604.03 c bounds 401 >= 29 @ 2586.5 2593.68/2604.03 c bounds 400 >= 29 @ 2586.5 2593.68/2604.03 c bounds 399 >= 29 @ 2586.51 2593.68/2604.03 c bounds 398 >= 29 @ 2586.52 2593.68/2604.03 c bounds 397 >= 29 @ 2586.53 2593.68/2604.03 c bounds 396 >= 29 @ 2586.54 2593.68/2604.03 c bounds 395 >= 29 @ 2586.55 2593.68/2604.03 c bounds 394 >= 29 @ 2586.56 2593.68/2604.03 c bounds 393 >= 29 @ 2586.57 2593.68/2604.03 c bounds 392 >= 29 @ 2586.58 2593.68/2604.03 c bounds 391 >= 29 @ 2586.59 2593.68/2604.03 c bounds 390 >= 29 @ 2586.6 2593.68/2604.03 c bounds 389 >= 29 @ 2586.61 2593.68/2604.03 c bounds 388 >= 29 @ 2586.62 2593.68/2604.03 c bounds 387 >= 29 @ 2586.63 2593.68/2604.03 c bounds 386 >= 29 @ 2586.63 2593.68/2604.03 c bounds 385 >= 29 @ 2586.64 2593.68/2604.03 c bounds 384 >= 29 @ 2586.65 2593.68/2604.03 c bounds 383 >= 29 @ 2586.66 2593.68/2604.03 c bounds 382 >= 29 @ 2586.67 2593.68/2604.03 c bounds 381 >= 29 @ 2586.68 2593.68/2604.03 c bounds 380 >= 29 @ 2586.69 2593.68/2604.03 c bounds 379 >= 29 @ 2586.7 2593.68/2604.03 c bounds 378 >= 29 @ 2586.71 2593.68/2604.03 c bounds 377 >= 29 @ 2586.72 2593.68/2604.03 c bounds 376 >= 29 @ 2586.73 2593.68/2604.03 c bounds 375 >= 29 @ 2586.74 2593.68/2604.03 c bounds 374 >= 29 @ 2586.74 2593.68/2604.03 c bounds 373 >= 29 @ 2586.75 2593.68/2604.03 c bounds 372 >= 29 @ 2586.76 2593.68/2604.03 c bounds 371 >= 29 @ 2586.76 2593.68/2604.03 c bounds 370 >= 29 @ 2586.78 2593.68/2604.03 c bounds 369 >= 29 @ 2586.79 2593.68/2604.03 c bounds 368 >= 29 @ 2586.8 2593.68/2604.03 c bounds 367 >= 29 @ 2586.81 2593.68/2604.03 c bounds 366 >= 29 @ 2586.83 2593.68/2604.03 c bounds 365 >= 29 @ 2586.83 2593.68/2604.03 c bounds 364 >= 29 @ 2586.84 2593.68/2604.03 c bounds 363 >= 29 @ 2586.86 2593.68/2604.03 c bounds 362 >= 29 @ 2586.87 2593.68/2604.03 c bounds 361 >= 29 @ 2586.88 2593.68/2604.03 c bounds 360 >= 29 @ 2586.9 2593.68/2604.03 c bounds 359 >= 29 @ 2586.92 2593.68/2604.03 c bounds 358 >= 29 @ 2586.93 2593.68/2604.03 c bounds 357 >= 29 @ 2586.94 2593.68/2604.03 c bounds 356 >= 29 @ 2586.95 2593.68/2604.03 c bounds 355 >= 29 @ 2586.96 2593.68/2604.03 c bounds 354 >= 29 @ 2586.97 2593.68/2604.03 c bounds 353 >= 29 @ 2586.98 2593.68/2604.03 c bounds 352 >= 29 @ 2586.98 2593.68/2604.03 c bounds 351 >= 29 @ 2586.99 2593.68/2604.03 c bounds 350 >= 29 @ 2587 2593.68/2604.03 c bounds 349 >= 29 @ 2587.01 2593.68/2604.03 c bounds 348 >= 29 @ 2587.02 2593.68/2604.03 c bounds 347 >= 29 @ 2587.04 2593.68/2604.03 c bounds 346 >= 29 @ 2587.05 2593.68/2604.03 c bounds 345 >= 29 @ 2587.07 2593.68/2604.03 c bounds 344 >= 29 @ 2587.08 2678.28/2688.83 c bounds 343 >= 29 @ 2587.09 2678.28/2688.83 c bounds 342 >= 29 @ 2587.1 2678.28/2688.83 c bounds 341 >= 29 @ 2587.11 2678.28/2688.83 c bounds 340 >= 29 @ 2587.12 2678.28/2688.83 c bounds 339 >= 29 @ 2587.13 2678.28/2688.83 c bounds 338 >= 29 @ 2587.13 2678.28/2688.83 c bounds 337 >= 29 @ 2587.14 2678.28/2688.83 c bounds 336 >= 29 @ 2587.15 2678.28/2688.83 c bounds 335 >= 29 @ 2587.16 2678.28/2688.83 c bounds 334 >= 29 @ 2587.17 2678.28/2688.83 c bounds 333 >= 29 @ 2587.18 2678.28/2688.83 c bounds 332 >= 29 @ 2587.19 2678.28/2688.83 c bounds 331 >= 29 @ 2587.21 2678.28/2688.83 c bounds 330 >= 29 @ 2587.23 2678.28/2688.83 c bounds 329 >= 29 @ 2587.25 2678.28/2688.83 c bounds 328 >= 29 @ 2587.27 2678.28/2688.83 c bounds 327 >= 29 @ 2587.3 2678.28/2688.83 c bounds 326 >= 29 @ 2587.34 2678.28/2688.83 c bounds 325 >= 29 @ 2587.36 2678.28/2688.83 c bounds 324 >= 29 @ 2587.39 2678.28/2688.83 c bounds 323 >= 29 @ 2587.44 2678.28/2688.83 c bounds 322 >= 29 @ 2587.51 2678.28/2688.83 c bounds 321 >= 29 @ 2587.58 2678.28/2688.83 c bounds 320 >= 29 @ 2587.75 2678.28/2688.83 c bounds 319 >= 29 @ 2587.84 2678.28/2688.83 c bounds 318 >= 29 @ 2587.89 2678.28/2688.83 c bounds 317 >= 29 @ 2587.93 2678.28/2688.83 c bounds 316 >= 29 @ 2587.96 2678.28/2688.83 c bounds 315 >= 29 @ 2588.17 2678.28/2688.83 c bounds 314 >= 29 @ 2588.45 2678.28/2688.83 c bounds 313 >= 29 @ 2588.66 2678.28/2688.83 c bounds 312 >= 29 @ 2588.72 2678.28/2688.83 c bounds 311 >= 29 @ 2588.76 2678.28/2688.83 c bounds 310 >= 29 @ 2588.81 2678.28/2688.83 c bounds 309 >= 29 @ 2588.84 2678.28/2688.83 c bounds 308 >= 29 @ 2588.86 2678.28/2688.83 c bounds 307 >= 29 @ 2588.89 2678.28/2688.83 c bounds 306 >= 29 @ 2588.94 2678.28/2688.83 c bounds 305 >= 29 @ 2589.02 2678.28/2688.83 c bounds 304 >= 29 @ 2589.04 2678.28/2688.83 c bounds 303 >= 29 @ 2589.09 2678.28/2688.83 c #Conflicts: 4000 | #Constraints: 69331 2678.28/2688.83 c bounds 302 >= 29 @ 2589.32 2678.28/2688.83 c bounds 301 >= 29 @ 2589.48 2678.28/2688.83 c INPROCESSING 2678.28/2688.83 c GARBAGE COLLECT 2678.28/2688.83 c bounds 300 >= 29 @ 2590.67 2678.28/2688.83 c bounds 299 >= 29 @ 2590.98 2678.28/2688.83 c bounds 298 >= 29 @ 2591.26 2678.28/2688.83 c #Conflicts: 5000 | #Constraints: 67880 2678.28/2688.83 c bounds 297 >= 29 @ 2591.48 2678.28/2688.83 c #Conflicts: 6000 | #Constraints: 68881 2678.28/2688.83 c INPROCESSING 2678.28/2688.83 c GARBAGE COLLECT 2678.28/2688.83 c #Conflicts: 7000 | #Constraints: 67882 2678.28/2688.83 c bounds 297 >= 30 @ 2613.94 2678.28/2688.83 c bounds 296 >= 30 @ 2613.97 2678.28/2688.83 c bounds 295 >= 30 @ 2613.98 2678.28/2688.83 c bounds 294 >= 30 @ 2614.03 2678.28/2688.83 c bounds 293 >= 30 @ 2614.15 2678.28/2688.83 c bounds 292 >= 30 @ 2614.2 2678.28/2688.83 c #Conflicts: 8000 | #Constraints: 68929 2678.28/2688.83 c #Conflicts: 9000 | #Constraints: 69929 2678.28/2688.83 c INPROCESSING 2678.28/2688.83 c GARBAGE COLLECT 2678.28/2688.83 c bounds 291 >= 30 @ 2668.48 2678.28/2688.83 c bounds 290 >= 30 @ 2668.5 2678.28/2688.83 c bounds 289 >= 30 @ 2668.52 2678.28/2688.83 c bounds 288 >= 30 @ 2668.53 2678.28/2688.83 c bounds 287 >= 30 @ 2668.54 2678.28/2688.83 c bounds 286 >= 30 @ 2668.55 2678.28/2688.83 c bounds 285 >= 30 @ 2668.57 2678.28/2688.83 c bounds 284 >= 30 @ 2668.58 2678.28/2688.83 c bounds 283 >= 30 @ 2668.6 2678.28/2688.83 c bounds 282 >= 30 @ 2668.61 2678.28/2688.83 c bounds 281 >= 30 @ 2668.62 2678.28/2688.83 c bounds 280 >= 30 @ 2668.64 2678.28/2688.83 c bounds 279 >= 30 @ 2668.65 2678.28/2688.83 c bounds 278 >= 30 @ 2668.67 2678.28/2688.83 c bounds 277 >= 30 @ 2668.68 2678.28/2688.83 c bounds 276 >= 30 @ 2668.7 2678.28/2688.83 c bounds 275 >= 30 @ 2668.71 2678.28/2688.83 c bounds 274 >= 30 @ 2668.72 2678.28/2688.83 c bounds 273 >= 30 @ 2668.74 2678.28/2688.83 c bounds 272 >= 30 @ 2668.75 2678.28/2688.83 c bounds 271 >= 30 @ 2668.76 2678.28/2688.83 c bounds 270 >= 30 @ 2668.77 2678.28/2688.83 c bounds 269 >= 30 @ 2668.79 2678.28/2688.83 c bounds 268 >= 30 @ 2668.8 2678.28/2688.83 c bounds 267 >= 30 @ 2668.81 2678.28/2688.83 c bounds 266 >= 30 @ 2668.83 2678.28/2688.83 c bounds 265 >= 30 @ 2668.84 2678.28/2688.83 c bounds 264 >= 30 @ 2668.85 2678.28/2688.83 c bounds 263 >= 30 @ 2668.87 2678.28/2688.83 c bounds 262 >= 30 @ 2668.88 2678.28/2688.83 c bounds 261 >= 30 @ 2668.89 2678.28/2688.83 c bounds 260 >= 30 @ 2668.91 2678.28/2688.83 c bounds 259 >= 30 @ 2668.92 2678.28/2688.83 c bounds 258 >= 30 @ 2668.93 2678.28/2688.83 c bounds 257 >= 30 @ 2668.94 2678.28/2688.83 c bounds 256 >= 30 @ 2668.96 2678.28/2688.83 c bounds 255 >= 30 @ 2668.97 2678.28/2688.83 c bounds 254 >= 30 @ 2668.98 2678.28/2688.83 c bounds 253 >= 30 @ 2668.99 2678.28/2688.83 c bounds 252 >= 30 @ 2669 2678.28/2688.83 c bounds 251 >= 30 @ 2669.01 2678.28/2688.83 c bounds 250 >= 30 @ 2669.03 2678.28/2688.83 c bounds 249 >= 30 @ 2669.04 2678.28/2688.83 c bounds 248 >= 30 @ 2669.06 2678.28/2688.83 c bounds 247 >= 30 @ 2669.07 2678.28/2688.83 c bounds 246 >= 30 @ 2669.08 2678.28/2688.83 c bounds 245 >= 30 @ 2669.09 2678.28/2688.83 c bounds 244 >= 30 @ 2669.1 2678.28/2688.83 c bounds 243 >= 30 @ 2669.12 2678.28/2688.83 c bounds 242 >= 30 @ 2669.13 2678.28/2688.83 c bounds 241 >= 30 @ 2669.15 2678.28/2688.83 c bounds 240 >= 30 @ 2669.16 2678.28/2688.83 c bounds 239 >= 30 @ 2669.18 2678.28/2688.83 c bounds 238 >= 30 @ 2669.19 2678.28/2688.83 c bounds 237 >= 30 @ 2669.2 2678.28/2688.83 c bounds 236 >= 30 @ 2669.21 2678.28/2688.83 c bounds 235 >= 30 @ 2669.22 2678.28/2688.83 c bounds 234 >= 30 @ 2669.24 2678.28/2688.83 c bounds 233 >= 30 @ 2669.25 2678.28/2688.83 c bounds 232 >= 30 @ 2669.26 2678.28/2688.83 c bounds 231 >= 30 @ 2669.27 2678.28/2688.83 c bounds 230 >= 30 @ 2669.3 2678.28/2688.83 c bounds 229 >= 30 @ 2669.31 2678.28/2688.83 c bounds 228 >= 30 @ 2669.32 2678.28/2688.83 c bounds 227 >= 30 @ 2669.33 2678.28/2688.83 c bounds 226 >= 30 @ 2669.35 2678.28/2688.83 c bounds 225 >= 30 @ 2669.36 2678.28/2688.83 c bounds 224 >= 30 @ 2669.39 2678.28/2688.83 c bounds 223 >= 30 @ 2669.41 2678.28/2688.83 c bounds 222 >= 30 @ 2669.43 2678.28/2688.83 c bounds 221 >= 30 @ 2669.45 2678.28/2688.83 c bounds 220 >= 30 @ 2669.46 2678.28/2688.83 c bounds 219 >= 30 @ 2669.48 2678.28/2688.83 c bounds 218 >= 30 @ 2669.49 2678.28/2688.83 c bounds 217 >= 30 @ 2669.5 2693.84/2704.41 c bounds 216 >= 30 @ 2669.52 2693.84/2704.41 c bounds 215 >= 30 @ 2669.53 2693.84/2704.41 c bounds 214 >= 30 @ 2669.55 2693.84/2704.41 c bounds 213 >= 30 @ 2669.56 2693.84/2704.41 c bounds 212 >= 30 @ 2669.58 2693.84/2704.41 c bounds 211 >= 30 @ 2669.59 2693.84/2704.41 c bounds 210 >= 30 @ 2669.6 2693.84/2704.41 c bounds 209 >= 30 @ 2669.62 2693.84/2704.41 c bounds 208 >= 30 @ 2669.64 2693.84/2704.41 c bounds 207 >= 30 @ 2669.65 2693.84/2704.41 c bounds 206 >= 30 @ 2669.67 2693.84/2704.41 c bounds 205 >= 30 @ 2669.68 2693.84/2704.41 c bounds 204 >= 30 @ 2669.69 2693.84/2704.41 c bounds 203 >= 30 @ 2669.71 2693.84/2704.41 c bounds 202 >= 30 @ 2669.72 2693.84/2704.41 c bounds 201 >= 30 @ 2669.73 2693.84/2704.41 c bounds 200 >= 30 @ 2669.75 2693.84/2704.41 c bounds 199 >= 30 @ 2669.76 2693.84/2704.41 c bounds 198 >= 30 @ 2669.78 2693.84/2704.41 c bounds 197 >= 30 @ 2669.8 2693.84/2704.41 c bounds 196 >= 30 @ 2669.82 2693.84/2704.41 c bounds 195 >= 30 @ 2669.84 2693.84/2704.41 c bounds 194 >= 30 @ 2669.86 2693.84/2704.41 c bounds 193 >= 30 @ 2669.88 2693.84/2704.41 c bounds 192 >= 30 @ 2669.91 2693.84/2704.41 c bounds 191 >= 30 @ 2669.92 2693.84/2704.41 c bounds 190 >= 30 @ 2669.94 2693.84/2704.41 c bounds 189 >= 30 @ 2669.96 2693.84/2704.41 c bounds 188 >= 30 @ 2669.97 2693.84/2704.41 c bounds 187 >= 30 @ 2669.99 2693.84/2704.41 c bounds 186 >= 30 @ 2670.01 2693.84/2704.41 c bounds 185 >= 30 @ 2670.02 2693.84/2704.41 c bounds 184 >= 30 @ 2670.03 2693.84/2704.41 c bounds 183 >= 30 @ 2670.04 2693.84/2704.41 c bounds 182 >= 30 @ 2670.05 2693.84/2704.41 c bounds 181 >= 30 @ 2670.07 2693.84/2704.41 c bounds 180 >= 30 @ 2670.08 2693.84/2704.41 c bounds 179 >= 30 @ 2670.11 2693.84/2704.41 c bounds 178 >= 30 @ 2670.13 2693.84/2704.41 c bounds 177 >= 30 @ 2670.15 2693.84/2704.41 c bounds 176 >= 30 @ 2670.16 2693.84/2704.41 c bounds 175 >= 30 @ 2670.18 2693.84/2704.41 c bounds 174 >= 30 @ 2670.19 2693.84/2704.41 c bounds 173 >= 30 @ 2670.21 2693.84/2704.41 c bounds 172 >= 30 @ 2670.22 2693.84/2704.41 c bounds 171 >= 30 @ 2670.24 2693.84/2704.41 c bounds 170 >= 30 @ 2670.26 2693.84/2704.41 c bounds 169 >= 30 @ 2670.26 2693.84/2704.41 c bounds 168 >= 30 @ 2670.27 2693.84/2704.41 c bounds 167 >= 30 @ 2670.28 2693.84/2704.41 c bounds 166 >= 30 @ 2670.29 2693.84/2704.41 c bounds 165 >= 30 @ 2670.3 2693.84/2704.41 c bounds 164 >= 30 @ 2670.32 2693.84/2704.41 c bounds 163 >= 30 @ 2670.33 2693.84/2704.41 c bounds 162 >= 30 @ 2670.35 2693.84/2704.41 c bounds 161 >= 30 @ 2670.36 2693.84/2704.41 c bounds 160 >= 30 @ 2670.37 2693.84/2704.41 c bounds 159 >= 30 @ 2670.39 2693.84/2704.41 c bounds 158 >= 30 @ 2670.4 2693.84/2704.41 c bounds 157 >= 30 @ 2670.43 2693.84/2704.41 c bounds 156 >= 30 @ 2670.44 2693.84/2704.41 c bounds 155 >= 30 @ 2670.47 2693.84/2704.41 c bounds 154 >= 30 @ 2670.49 2693.84/2704.41 c bounds 153 >= 30 @ 2670.5 2693.84/2704.41 c bounds 152 >= 30 @ 2670.52 2693.84/2704.41 c bounds 151 >= 30 @ 2670.53 2693.84/2704.41 c bounds 150 >= 30 @ 2670.54 2693.84/2704.41 c bounds 149 >= 30 @ 2670.55 2693.84/2704.41 c bounds 148 >= 30 @ 2670.57 2693.84/2704.41 c bounds 147 >= 30 @ 2670.59 2693.84/2704.41 c bounds 146 >= 30 @ 2670.6 2693.84/2704.41 c bounds 145 >= 30 @ 2670.62 2693.84/2704.41 c bounds 144 >= 30 @ 2670.63 2693.84/2704.41 c bounds 143 >= 30 @ 2670.64 2693.84/2704.41 c bounds 142 >= 30 @ 2670.65 2693.84/2704.41 c bounds 141 >= 30 @ 2670.66 2693.84/2704.41 c bounds 140 >= 30 @ 2670.67 2693.84/2704.41 c bounds 139 >= 30 @ 2670.68 2693.84/2704.41 c bounds 138 >= 30 @ 2670.69 2693.84/2704.41 c bounds 137 >= 30 @ 2670.7 2693.84/2704.41 c bounds 136 >= 30 @ 2670.71 2693.84/2704.41 c bounds 135 >= 30 @ 2670.73 2693.84/2704.41 c bounds 134 >= 30 @ 2670.73 2693.84/2704.41 c bounds 133 >= 30 @ 2670.74 2693.84/2704.41 c bounds 132 >= 30 @ 2670.76 2693.84/2704.41 c bounds 131 >= 30 @ 2670.77 2693.84/2704.41 c bounds 130 >= 30 @ 2670.79 2693.84/2704.41 c bounds 129 >= 30 @ 2670.8 2693.84/2704.41 c bounds 128 >= 30 @ 2670.81 2693.84/2704.41 c bounds 127 >= 30 @ 2670.82 2693.84/2704.41 c bounds 126 >= 30 @ 2670.83 2693.84/2704.41 c bounds 125 >= 30 @ 2670.84 2693.84/2704.41 c bounds 124 >= 30 @ 2670.85 2693.84/2704.41 c bounds 123 >= 30 @ 2670.86 2693.84/2704.41 c bounds 122 >= 30 @ 2670.87 2693.84/2704.41 c bounds 121 >= 30 @ 2670.88 2693.84/2704.41 c bounds 120 >= 30 @ 2670.89 2693.84/2704.41 c bounds 119 >= 30 @ 2670.9 2693.84/2704.41 c bounds 118 >= 30 @ 2670.92 2693.84/2704.41 c bounds 117 >= 30 @ 2670.93 2693.84/2704.41 c bounds 116 >= 30 @ 2670.95 2693.84/2704.41 c bounds 115 >= 30 @ 2670.97 2693.84/2704.41 c bounds 114 >= 30 @ 2670.99 2693.84/2704.41 c bounds 113 >= 30 @ 2671.02 2693.84/2704.41 c bounds 112 >= 30 @ 2671.03 2693.84/2704.41 c bounds 111 >= 30 @ 2671.05 2693.84/2704.41 c bounds 110 >= 30 @ 2671.07 2693.84/2704.41 c bounds 109 >= 30 @ 2671.09 2693.84/2704.41 c bounds 108 >= 30 @ 2671.12 2693.84/2704.41 c bounds 107 >= 30 @ 2671.14 2693.84/2704.41 c bounds 106 >= 30 @ 2671.16 2693.84/2704.41 c bounds 105 >= 30 @ 2671.18 2693.84/2704.41 c bounds 104 >= 30 @ 2671.2 2693.84/2704.41 c bounds 103 >= 30 @ 2671.22 2693.84/2704.41 c bounds 102 >= 30 @ 2671.24 2693.84/2704.41 c bounds 101 >= 30 @ 2671.26 2693.84/2704.41 c bounds 100 >= 30 @ 2671.27 2693.84/2704.41 c bounds 99 >= 30 @ 2671.28 2693.84/2704.41 c bounds 98 >= 30 @ 2671.3 2693.84/2704.41 c bounds 97 >= 30 @ 2671.31 2693.84/2704.41 c bounds 96 >= 30 @ 2671.32 2693.84/2704.41 c bounds 95 >= 30 @ 2671.33 2693.84/2704.41 c bounds 94 >= 30 @ 2671.34 2693.84/2704.41 c bounds 93 >= 30 @ 2671.36 2693.84/2704.41 c bounds 92 >= 30 @ 2671.37 2693.84/2704.41 c bounds 91 >= 30 @ 2671.41 2693.84/2704.41 c bounds 90 >= 30 @ 2671.44 2693.84/2704.41 c bounds 89 >= 30 @ 2671.47 2693.84/2704.41 c bounds 88 >= 30 @ 2671.53 2693.84/2704.41 c bounds 87 >= 30 @ 2671.59 2693.84/2704.41 c bounds 86 >= 30 @ 2671.63 2693.84/2704.41 c bounds 85 >= 30 @ 2671.69 2693.84/2704.41 c bounds 84 >= 30 @ 2671.75 2693.84/2704.41 c #Conflicts: 10000 | #Constraints: 68856 2693.84/2704.41 c #Conflicts: 11000 | #Constraints: 69856 2693.84/2704.41 c #Conflicts: 12000 | #Constraints: 70856 2693.84/2704.41 c INPROCESSING 2693.84/2704.41 c GARBAGE COLLECT 2693.84/2704.41 c bounds 83 >= 30 @ 2681.62 2693.84/2704.41 c #Conflicts: 13000 |
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: 63931 MiB (14609 MiB free)
memory of node 1: 64510 MiB (37640 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457071-1721820801/watcher-4457071-1721820801 -o /tmp/evaluation-result-4457071-1721820801/solver-4457071-1721820801 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721817186-183572 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457071-1721820801 --lp-cut-gomory=0 HOME/instance-4457071-1721820801.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=186231, runsolver pid=186228
[startup+0.100091 s]*
/proc/loadavg: 4.10 4.13 4.09 4/263 186232
/proc/meminfo: memFree=53502612/131524600 swapFree=131056284/131071996
[pid=186231] ppid=186228 vsize=37376 memory=2636 CPUtime=0 cores=5,7
/proc/186231/stat : 186231 (roundingsat) D 186228 186231 183559 0 -1 1077936128 216 0 0 0 0 0 0 0 20 0 1 0 18608672 38273024 659 134679101440 4194304 8254037 140737446690144 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 9037040 9046032 17084416 140737446695772 140737446696034 140737446696034 140737446703049 0
/proc/186231/statm: 9344 659 602 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2636 KiB
[startup+0.205885 s]*
/proc/loadavg: 4.10 4.13 4.09 4/263 186232
/proc/meminfo: memFree=53501408/131524600 swapFree=131056284/131071996
[pid=186231] ppid=186228 vsize=37376 memory=2636 CPUtime=0 cores=5,7
/proc/186231/stat : 186231 (roundingsat) D 186228 186231 183559 0 -1 1077936128 216 0 0 0 0 0 0 0 20 0 1 0 18608672 38273024 659 134679101440 4194304 8254037 140737446690144 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 9037040 9046032 17084416 140737446695772 140737446696034 140737446696034 140737446703049 0
/proc/186231/statm: 9344 659 602 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2636 KiB
[startup+0.305645 s]*
/proc/loadavg: 4.10 4.13 4.09 4/263 186232
/proc/meminfo: memFree=53499268/131524600 swapFree=131056284/131071996
[pid=186231] ppid=186228 vsize=37376 memory=2636 CPUtime=0 cores=5,7
/proc/186231/stat : 186231 (roundingsat) D 186228 186231 183559 0 -1 1077936128 216 0 0 0 0 0 0 0 20 0 1 0 18608672 38273024 659 134679101440 4194304 8254037 140737446690144 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 9037040 9046032 17084416 140737446695772 140737446696034 140737446696034 140737446703049 0
/proc/186231/statm: 9344 659 602 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2636 KiB
[startup+0.700228 s]
/proc/loadavg: 4.09 4.13 4.09 4/263 186232
/proc/meminfo: memFree=53496440/131524600 swapFree=131056284/131071996
[pid=186231] ppid=186228 vsize=37376 memory=2636 CPUtime=0 cores=5,7
/proc/186231/stat : 186231 (roundingsat) D 186228 186231 183559 0 -1 1077936128 216 0 0 0 0 0 0 0 20 0 1 0 18608672 38273024 659 134679101440 4194304 8254037 140737446690144 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 9037040 9046032 17084416 140737446695772 140737446696034 140737446696034 140737446703049 0
/proc/186231/statm: 9344 659 602 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2636 KiB
[startup+1.50024 s]
/proc/loadavg: 4.09 4.13 4.09 4/263 186232
/proc/meminfo: memFree=53489944/131524600 swapFree=131056284/131071996
[pid=186231] ppid=186228 vsize=37376 memory=2636 CPUtime=0 cores=5,7
/proc/186231/stat : 186231 (roundingsat) D 186228 186231 183559 0 -1 1077936128 216 0 0 0 0 0 0 0 20 0 1 0 18608672 38273024 659 134679101440 4194304 8254037 140737446690144 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 9037040 9046032 17084416 140737446695772 140737446696034 140737446696034 140737446703049 0
/proc/186231/statm: 9344 659 602 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2636 KiB
[startup+3.10568 s]
/proc/loadavg: 4.09 4.13 4.09 5/263 186233
/proc/meminfo: memFree=53462388/131524600 swapFree=131056284/131071996
[pid=186231] ppid=186228 vsize=42212 memory=14404 CPUtime=0.32 cores=5,7
/proc/186231/stat : 186231 (roundingsat) R 186228 186231 183559 0 -1 4194304 1601 0 0 0 31 1 0 0 20 0 1 0 18608672 43225088 3601 134679101440 4194304 8254037 140737446690144 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17084416 140737446695772 140737446696034 140737446696034 140737446703049 0
/proc/186231/statm: 10553 3601 1370 992 0 2411 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 42212 KiB
Current children cumulated memory: 14404 KiB
heavy processes:
[startup+6.30019 s]
/proc/loadavg: 4.08 4.13 4.09 5/263 186233
/proc/meminfo: memFree=53184060/131524600 swapFree=131056284/131071996
[pid=186231] ppid=186228 vsize=293980 memory=265496 CPUtime=3.51 cores=5,7
/proc/186231/stat : 186231 (roundingsat) R 186228 186231 183559 0 -1 4194304 36295 0 0 0 330 21 0 0 20 0 1 0 18608672 301035520 66374 134679101440 4194304 8254037 140737446690144 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17084416 140737446695772 140737446696034 140737446696034 140737446703049 0
/proc/186231/statm: 73495 66374 1734 992 0 65353 0
Current children cumulated CPU time: 3.51 s
Current children cumulated vsize: 293980 KiB
Current children cumulated memory: 265496 KiB
heavy processes:
[startup+12.7002 s]
/proc/loadavg: 4.08 4.12 4.09 5/263 186235
/proc/meminfo: memFree=53147036/131524600 swapFree=131056284/131071996
[pid=186231] ppid=186228 vsize=305656 memory=269008 CPUtime=9.89 cores=5,7
/proc/186231/stat : 186231 (roundingsat) R 186228 186231 183559 0 -1 4194304 36627 0 0 0 945 44 0 0 20 0 1 0 18608672 312991744 67252 134679101440 4194304 8254037 140737446690144 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17084416 140737446695772 140737446696034 140737446696034 140737446703049 0
/proc/186231/statm: 76414 67252 1907 992 0 68272 0
Current children cumulated CPU time: 9.89 s
Current children cumulated vsize: 305656 KiB
Current children cumulated memory: 269008 KiB
heavy processes:
[startup+25.5002 s]
/proc/loadavg: 4.15 4.14 4.09 5/263 186236
/proc/meminfo: memFree=52926040/131524600 swapFree=131056284/131071996
[pid=186231] ppid=186228 vsize=347964 memory=314428 CPUtime=22.66 cores=5,7
/proc/186231/stat : 186231 (roundingsat) R 186228 186231 183559 0 -1 4194304 38926 0 0 0 2175 91 0 0 20 0 1 0 18608672 356315136 78607 134679101440 4194304 8254037 140737446690144 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17084416 140737446695772 140737446696034 140737446696034 140737446703049 0
/proc/186231/statm: 86991 78607 1907 992 0 78849 0
Current children cumulated CPU time: 22.66 s
Current children cumulated vsize: 347964 KiB
Current children cumulated memory: 314428 KiB
[startup+51.106 s]
/proc/loadavg: 4.09 4.12 4.09 5/263 186239
/proc/meminfo: memFree=52679944/131524600 swapFree=131056284/131071996
[pid=186231] ppid=186228 vsize=437084 memory=388976 CPUtime=48.19 cores=5,7
/proc/186231/stat : 186231 (roundingsat) R 186228 186231 183559 0 -1 4194304 41326 0 0 0 4725 94 0 0 20 0 1 0 18608672 447574016 97244 134679101440 4194304 8254037 140737446690144 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17084416 140737446695772 140737446696034 140737446696034 140737446703049 0
/proc/186231/statm: 109271 97244 1907 992 0 101129 0
Current children cumulated CPU time: 48.19 s
Current children cumulated vsize: 437084 KiB
Current children cumulated memory: 388976 KiB
[startup+102.3 s]
/proc/loadavg: 4.20 4.13 4.10 5/263 186250
/proc/meminfo: memFree=52177464/131524600 swapFree=131056284/131071996
[pid=186231] ppid=186228 vsize=580240 memory=532144 CPUtime=99.25 cores=5,7
/proc/186231/stat : 186231 (roundingsat) R 186228 186231 183559 0 -1 4194304 44176 0 0 0 9826 99 0 0 20 0 1 0 18608672 594165760 133036 134679101440 4194304 8254037 140737446690144 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17084416 140737446695772 140737446696034 140737446696034 140737446703049 0
/proc/186231/statm: 145060 133036 1907 992 0 136918 0
Current children cumulated CPU time: 99.25 s
Current children cumulated vsize: 580240 KiB
Current children cumulated memory: 532144 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/261 186261
/proc/meminfo: memFree=51509812/131524600 swapFree=131056284/131071996
[pid=186231] ppid=186228 vsize=686576 memory=620896 CPUtime=159.08 cores=5,7
/proc/186231/stat : 186231 (roundingsat) R 186228 186231 183559 0 -1 4194304 46221 0 0 0 15805 103 0 0 20 0 1 0 18608672 703053824 155224 134679101440 4194304 8254037 140737446690144 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17084416 140737446695772 140737446696034 140737446696034 140737446703049 0
/proc/186231/statm: 171644 155224 1907 992 0 163502 0
Current children cumulated CPU time: 159.08 s
Current children cumulated vsize: 686576 KiB
Current children cumulated memory: 620896 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/259 186272
/proc/meminfo: memFree=50966196/131524600 swapFree=131056284/131071996
[pid=186231] ppid=186228 vsize=865976 memory=697680 CPUtime=218.91 cores=5,7
/proc/186231/stat : 186231 (roundingsat) R 186228 186231 183559 0 -1 4194304 52620 0 0 0 21777 114 0 0 20 0 1 0 18608672 886759424 174420 134679101440 4194304 8254037 140737446690144 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17084416 140737446695772 140737446696034 140737446696034 140737446703049 0
/proc/186231/statm: 216494 174420 1907 992 0 208352 0
Current children cumulated CPU time: 218.91 s
Current children cumulated vsize: 865976 KiB
Current children cumulated memory: 697680 KiB
[startup+282.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/259 186330
/proc/meminfo: memFree=79494816/131524600 swapFree=131056284/131071996
[pid=186231] ppid=186228 vsize=878048 memory=727328 CPUtime=278.77 cores=5,7
/proc/186231/stat : 186231 (roundingsat) R 186228 186231 183559 0 -1 4194304 55068 0 0 0 27761 116 0 0 20 0 1 0 18608672 899121152 181832 134679101440 4194304 8254037 140737446690144 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17084416 140737446695772 140737446696034 140737446696034 140737446703049 0
/proc/186231/statm: 219512 181832 1907 992 0 211370 0
Current children cumulated CPU time: 278.77 s
Current children cumulated vsize: 878048 KiB
Current children cumulated memory: 727328 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/258 186340
/proc/meminfo: memFree=79258180/131524600 swapFree=131056284/131071996
[pid=186231] ppid=186228 vsize=881916 memory=739404 CPUtime=338.58 cores=5,7
/proc/186231/stat : 186231 (roundingsat) R 186228 186231 183559 0 -1 4194304 56252 0 0 0 33742 116 0 0 20 0 1 0 18608672 903081984 184851 134679101440 4194304 8254037 140737446690144 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17084416 140737446695772 140737446696034 140737446696034 140737446703049 0
/proc/186231/statm: 220479 184851 1907 992 0 212337 0
Current children cumulated CPU time: 338.58 s
Current children cumulated vsize: 881916 KiB
Current children cumulated memory: 739404 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/258 186352
/proc/meminfo: memFree=78976544/131524600 swapFree=131056284/131071996
[pid=186231] ppid=186228 vsize=929676 memory=804676 CPUtime=398.39 cores=5,7
/proc/186231/stat : 186231 (roundingsat) R 186228 186231 183559 0 -1 4194304 58641 0 0 0 39720 119 0 0 20 0 1 0 18608672 951988224 201169 134679101440 4194304 8254037 140737446690144 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17084416 140737446695772 140737446696034 140737446696034 140737446703049 0
/proc/186231/statm: 232419 201169 1907 992 0 224277 0
Current children cumulated CPU time: 398.39 s
Current children cumulated vsize: 929676 KiB
Current children cumulated memory: 804676 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/260 186367
/proc/meminfo: memFree=78747064/131524600 swapFree=131056284/131071996
################
# More data... #
################
[startup+3102.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/260 187518
/proc/meminfo: memFree=51201248/131524600 swapFree=131056284/131071996
[pid=186231] ppid=186228 vsize=1624616 memory=1255164 CPUtime=3090.5 cores=5,7
/proc/186231/stat : 186231 (roundingsat) R 186228 186231 183559 0 -1 4194304 134441 0 0 0 308027 1023 0 0 20 0 1 0 18608672 1663606784 313791 134679101440 4194304 8254037 140737446690144 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17084416 140737446695772 140737446696034 140737446696034 140737446703049 0
/proc/186231/statm: 406154 313791 1923 992 0 398012 0
Current children cumulated CPU time: 3090.5 s
Current children cumulated vsize: 1624616 KiB
Current children cumulated memory: 1255164 KiB
[startup+3162.3 s]
/proc/loadavg: 4.62 4.25 4.14 5/262 187913
/proc/meminfo: memFree=49587768/131524600 swapFree=131056284/131071996
[pid=186231] ppid=186228 vsize=1657032 memory=1266496 CPUtime=3150.31 cores=5,7
/proc/186231/stat : 186231 (roundingsat) R 186228 186231 183559 0 -1 4194304 134861 0 0 0 314006 1025 0 0 20 0 1 0 18608672 1696800768 316624 134679101440 4194304 8254037 140737446690144 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17084416 140737446695772 140737446696034 140737446696034 140737446703049 0
/proc/186231/statm: 414258 316624 1923 992 0 406116 0
Current children cumulated CPU time: 3150.31 s
Current children cumulated vsize: 1657032 KiB
Current children cumulated memory: 1266496 KiB
[startup+3222.3 s]
/proc/loadavg: 4.34 4.23 4.14 5/262 187970
/proc/meminfo: memFree=48656880/131524600 swapFree=131056284/131071996
[pid=186231] ppid=186228 vsize=1657032 memory=1266496 CPUtime=3210.12 cores=5,7
/proc/186231/stat : 186231 (roundingsat) R 186228 186231 183559 0 -1 4194304 135031 0 0 0 319984 1028 0 0 20 0 1 0 18608672 1696800768 316624 134679101440 4194304 8254037 140737446690144 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17084416 140737446695772 140737446696034 140737446696034 140737446703049 0
/proc/186231/statm: 414258 316624 1923 992 0 406116 0
Current children cumulated CPU time: 3210.12 s
Current children cumulated vsize: 1657032 KiB
Current children cumulated memory: 1266496 KiB
[startup+3282.3 s]
/proc/loadavg: 4.17 4.20 4.14 5/262 187980
/proc/meminfo: memFree=44421008/131524600 swapFree=131056284/131071996
[pid=186231] ppid=186228 vsize=1657032 memory=1266496 CPUtime=3269.92 cores=5,7
/proc/186231/stat : 186231 (roundingsat) R 186228 186231 183559 0 -1 4194304 135201 0 0 0 325963 1029 0 0 20 0 1 0 18608672 1696800768 316624 134679101440 4194304 8254037 140737446690144 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17084416 140737446695772 140737446696034 140737446696034 140737446703049 0
/proc/186231/statm: 414258 316624 1923 992 0 406116 0
Current children cumulated CPU time: 3269.92 s
Current children cumulated vsize: 1657032 KiB
Current children cumulated memory: 1266496 KiB
[startup+3342.3 s]
/proc/loadavg: 4.51 4.31 4.18 7/262 188158
/proc/meminfo: memFree=40923768/131524600 swapFree=131056284/131071996
[pid=186231] ppid=186228 vsize=1657032 memory=1266496 CPUtime=3329.73 cores=5,7
/proc/186231/stat : 186231 (roundingsat) R 186228 186231 183559 0 -1 4194304 135371 0 0 0 331942 1031 0 0 20 0 1 0 18608672 1696800768 316624 134679101440 4194304 8254037 140737446690144 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17084416 140737446695772 140737446696034 140737446696034 140737446703049 0
/proc/186231/statm: 414258 316624 1923 992 0 406116 0
Current children cumulated CPU time: 3329.73 s
Current children cumulated vsize: 1657032 KiB
Current children cumulated memory: 1266496 KiB
[startup+3402.3 s]
/proc/loadavg: 4.23 4.27 4.17 5/261 188169
/proc/meminfo: memFree=37546604/131524600 swapFree=131056284/131071996
[pid=186231] ppid=186228 vsize=1657032 memory=1270592 CPUtime=3389.54 cores=5,7
/proc/186231/stat : 186231 (roundingsat) R 186228 186231 183559 0 -1 4194304 135548 0 0 0 337921 1033 0 0 20 0 1 0 18608672 1696800768 317648 134679101440 4194304 8254037 140737446690144 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17084416 140737446695772 140737446696034 140737446696034 140737446703049 0
/proc/186231/statm: 414258 317648 1923 992 0 406116 0
Current children cumulated CPU time: 3389.54 s
Current children cumulated vsize: 1657032 KiB
Current children cumulated memory: 1270592 KiB
[startup+3462.3 s]
/proc/loadavg: 4.20 4.25 4.17 5/261 188236
/proc/meminfo: memFree=32927308/131524600 swapFree=131056284/131071996
[pid=186231] ppid=186228 vsize=1657032 memory=1270592 CPUtime=3449.35 cores=5,7
/proc/186231/stat : 186231 (roundingsat) R 186228 186231 183559 0 -1 4194304 135713 0 0 0 343901 1034 0 0 20 0 1 0 18608672 1696800768 317648 134679101440 4194304 8254037 140737446690144 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17084416 140737446695772 140737446696034 140737446696034 140737446703049 0
/proc/186231/statm: 414258 317648 1923 992 0 406116 0
Current children cumulated CPU time: 3449.35 s
Current children cumulated vsize: 1657032 KiB
Current children cumulated memory: 1270592 KiB
[startup+3522.3 s]
/proc/loadavg: 4.21 4.25 4.18 5/261 188248
/proc/meminfo: memFree=29123304/131524600 swapFree=131056284/131071996
[pid=186231] ppid=186228 vsize=1657032 memory=1270592 CPUtime=3509.16 cores=5,7
/proc/186231/stat : 186231 (roundingsat) R 186228 186231 183559 0 -1 4194304 135905 0 0 0 349880 1036 0 0 20 0 1 0 18608672 1696800768 317648 134679101440 4194304 8254037 140737446690144 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17084416 140737446695772 140737446696034 140737446696034 140737446703049 0
/proc/186231/statm: 414258 317648 1923 992 0 406116 0
Current children cumulated CPU time: 3509.16 s
Current children cumulated vsize: 1657032 KiB
Current children cumulated memory: 1270592 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.20 4.17 5/261 188260
/proc/meminfo: memFree=24277220/131524600 swapFree=131056284/131071996
[pid=186231] ppid=186228 vsize=1693092 memory=1323664 CPUtime=3568.97 cores=5,7
/proc/186231/stat : 186231 (roundingsat) R 186228 186231 183559 0 -1 4194304 137646 0 0 0 355859 1038 0 0 20 0 1 0 18608672 1733726208 330916 134679101440 4194304 8254037 140737446690144 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17084416 140737446695772 140737446696034 140737446696034 140737446703049 0
/proc/186231/statm: 423273 330916 1923 992 0 415131 0
Current children cumulated CPU time: 3568.97 s
Current children cumulated vsize: 1693092 KiB
Current children cumulated memory: 1323664 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3613.5 s]
/proc/loadavg: 4.10 4.19 4.17 5/261 188266
/proc/meminfo: memFree=22733460/131524600 swapFree=131056284/131071996
[pid=186231] ppid=186228 vsize=1725100 memory=1332032 CPUtime=3600.06 cores=5,7
/proc/186231/stat : 186231 (roundingsat) R 186228 186231 183559 0 -1 4194304 138308 0 0 0 358967 1039 0 0 20 0 1 0 18608672 1766502400 333008 134679101440 4194304 8254037 140737446690144 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17084416 140737446695772 140737446696034 140737446696034 140737446703049 0
/proc/186231/statm: 431275 333008 1923 992 0 423133 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 1725100 KiB
Current children cumulated memory: 1332032 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+3615.52 s]
# the end of solver process 186231 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3591.67 s, system=10.404 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3614.4 s]
/proc/loadavg: 4.10 4.19 4.17 5/261 188266
/proc/meminfo: memFree=22626976/131524600 swapFree=131056284/131071996
[pid=186231] ppid=186228 vsize=1725100 memory=1332032 CPUtime=3600.96 cores=5,7
/proc/186231/stat : 186231 (roundingsat) R 186228 186231 183559 0 -1 4194304 138308 0 0 0 359057 1039 0 0 20 0 1 0 18608672 1766502400 333008 134679101440 4194304 8254037 140737446690144 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17084416 140737446695772 140737446696034 140737446696034 140737446703049 0
/proc/186231/statm: 431275 333008 1923 992 0 423133 0
Current children cumulated CPU time: 3600.96 s
Current children cumulated vsize: 1725100 KiB
Current children cumulated memory: 1332032 KiB
[startup+3615.2 s]
/proc/loadavg: 4.10 4.19 4.17 5/261 188266
/proc/meminfo: memFree=22620108/131524600 swapFree=131056284/131071996
[pid=186231] ppid=186228 vsize=1725100 memory=1332032 CPUtime=3601.76 cores=5,7
/proc/186231/stat : 186231 (roundingsat) R 186228 186231 183559 0 -1 4194304 138308 0 0 0 359137 1039 0 0 20 0 1 0 18608672 1766502400 333008 134679101440 4194304 8254037 140737446690144 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17084416 140737446695772 140737446696034 140737446696034 140737446703049 0
/proc/186231/statm: 431275 333008 1923 992 0 423133 0
Current children cumulated CPU time: 3601.76 s
Current children cumulated vsize: 1725100 KiB
Current children cumulated memory: 1332032 KiB
[startup+3615.4 s]
/proc/loadavg: 4.10 4.19 4.17 5/261 188266
/proc/meminfo: memFree=22620108/131524600 swapFree=131056284/131071996
[pid=186231] ppid=186228 vsize=1725100 memory=1332032 CPUtime=3601.96 cores=5,7
/proc/186231/stat : 186231 (roundingsat) R 186228 186231 183559 0 -1 4194304 138308 0 0 0 359157 1039 0 0 20 0 1 0 18608672 1766502400 333008 134679101440 4194304 8254037 140737446690144 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17084416 140737446695772 140737446696034 140737446696034 140737446703049 0
/proc/186231/statm: 431275 333008 1923 992 0 423133 0
Current children cumulated CPU time: 3601.96 s
Current children cumulated vsize: 1725100 KiB
Current children cumulated memory: 1332032 KiB
[startup+3615.5 s]
/proc/loadavg: 4.10 4.19 4.17 5/261 188266
/proc/meminfo: memFree=22620108/131524600 swapFree=131056284/131071996
[pid=186231] ppid=186228 vsize=1725100 memory=1332032 CPUtime=3602.06 cores=5,7
/proc/186231/stat : 186231 (roundingsat) R 186228 186231 183559 0 -1 4194304 138308 0 0 0 359167 1039 0 0 20 0 1 0 18608672 1766502400 333008 134679101440 4194304 8254037 140737446690144 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17084416 140737446695772 140737446696034 140737446696034 140737446703049 0
/proc/186231/statm: 431275 333008 1923 992 0 423133 0
Current children cumulated CPU time: 3602.06 s
Current children cumulated vsize: 1725100 KiB
Current children cumulated memory: 1332032 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3615.52
CPU time (s): 3602.08
CPU user time (s): 3591.67
CPU system time (s): 10.404
CPU usage (%): 99.6283
Max. virtual memory (cumulated for all children) (KiB): 1725100
Max. memory (cumulated for all children) (KiB): 1382804
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.67
system time used= 10.404
maximum resident set size= 1383064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 138308
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= 44
involuntary context switches= 1502
# summary of solver processes directly reported to runsolver:
# pid: 186231
# total CPU time (s): 3602.08
# total CPU user time (s): 3591.67
# total CPU system time (s): 10.404
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.22364 second user time and 17.2421 second system time
The end
Begin job on nodeC016 at 2024-07-24 13:33:21 IDJOB=4457071 IDBENCH=155400 IDSOLVER=3085 FILE ID=nodeC016/4457071-1721820801 RUNJOBID= nodeC016-1721817186-183572 SLURM_JOB_ID= 7816868 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-4457071-1721820801/watcher-4457071-1721820801 -o /tmp/evaluation-result-4457071-1721820801/solver-4457071-1721820801 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721817186-183572 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457071-1721820801 --lp-cut-gomory=0 HOME/instance-4457071-1721820801.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 6ff458260e5cc7a1e00e7b04a599a648 RANDOM SEED=345911906 nodeC016.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 : 3667.855 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.34 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 : 3682.352 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.68 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 : 3599.899 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.34 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 : 3599.900 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.68 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 : 3667.862 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.34 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 : 3684.504 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.68 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 : 3599.717 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.34 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 : 3658.971 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.68 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 53504512 kB MemAvailable: 127978560 kB Buffers: 245172 kB Cached: 74780892 kB SwapCached: 200 kB Active: 2284068 kB Inactive: 74688980 kB Active(anon): 2596 kB Inactive(anon): 1997156 kB Active(file): 2281472 kB Inactive(file): 72691824 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131056284 kB Dirty: 282280 kB Writeback: 4 kB AnonPages: 1942932 kB Mapped: 125504 kB Shmem: 52688 kB KReclaimable: 561984 kB Slab: 691124 kB SReclaimable: 561984 kB SUnreclaim: 129140 kB KernelStack: 4272 kB PageTables: 13508 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 2492456 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 17184 kB HardwareCorrupted: 0 kB AnonHugePages: 1185792 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: 371412 kB DirectMap2M: 41345024 kB DirectMap1G: 94371840 kB Free space on /tmp at the end= 889968 MiB End job on nodeC016 at 2024-07-24 14:33:37