| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (3) | ? (TO) | 3602.08 | 3616.31 |
| 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.58/1.60 c #variables 7840 #constraints 65280 50.71/50.94 c bounds - >= 0 @ 1.45894 50.71/50.94 c bounds 1152 >= 0 @ 8.55596 50.71/50.94 c bounds 1152 >= 1 @ 8.55837 50.71/50.94 c bounds 1152 >= 2 @ 8.55971 50.71/50.94 c bounds 1152 >= 3 @ 8.56338 50.71/50.94 c bounds 1152 >= 4 @ 8.56552 50.71/50.94 c bounds 1152 >= 5 @ 8.56866 50.71/50.94 c bounds 1152 >= 6 @ 8.57036 50.71/50.94 c bounds 1152 >= 7 @ 8.57037 50.71/50.94 c bounds 1152 >= 8 @ 8.57152 50.71/50.94 c bounds 1152 >= 9 @ 8.57359 50.71/50.94 c bounds 1152 >= 10 @ 8.57702 50.71/50.94 c bounds 1152 >= 11 @ 8.57836 50.71/50.94 c bounds 1152 >= 12 @ 8.58259 50.71/50.94 c bounds 1152 >= 13 @ 8.58435 50.71/50.94 c bounds 1152 >= 14 @ 8.58648 50.71/50.94 c bounds 1152 >= 15 @ 8.58745 50.71/50.94 c bounds 1152 >= 16 @ 8.59023 50.71/50.94 c bounds 1152 >= 17 @ 8.59557 50.71/50.94 c bounds 1152 >= 18 @ 8.59749 50.71/50.94 c bounds 1152 >= 19 @ 8.60112 50.71/50.94 c bounds 1152 >= 20 @ 8.60223 50.71/50.94 c bounds 1152 >= 21 @ 8.60655 50.71/50.94 c bounds 1152 >= 22 @ 8.61012 50.71/50.94 c bounds 1152 >= 23 @ 8.61443 50.71/50.94 c bounds 1152 >= 24 @ 8.62049 50.71/50.94 c bounds 1152 >= 25 @ 8.62646 50.71/50.94 c bounds 1152 >= 26 @ 8.63839 50.71/50.94 c bounds 1152 >= 27 @ 8.65815 50.71/50.94 c bounds 1152 >= 28 @ 8.69487 50.71/50.94 c bounds 1152 >= 29 @ 8.91348 50.71/50.94 c bounds 1151 >= 29 @ 9.01721 50.71/50.94 c #Conflicts: 1000 | #Constraints: 66453 50.71/50.94 c #Conflicts: 2000 | #Constraints: 67453 50.71/50.94 c INPROCESSING 50.71/50.94 c GARBAGE COLLECT 50.71/50.94 WSVECS04 Frhs2[6786]: 6 0 0.500078 shouldn't be 50.71/50.94 WSVECS04 Frhs2[6790]: 6 0 0.500036 shouldn't be 53.50/53.71 c bounds 1150 >= 29 @ 50.2827 53.50/53.71 c bounds 1149 >= 29 @ 50.2961 53.50/53.71 c bounds 1148 >= 29 @ 50.305 53.50/53.71 c bounds 1147 >= 29 @ 50.3135 53.50/53.71 c bounds 1146 >= 29 @ 50.325 53.50/53.71 c bounds 1145 >= 29 @ 50.338 53.50/53.71 c bounds 1144 >= 29 @ 50.3504 53.50/53.71 c bounds 1143 >= 29 @ 50.36 53.50/53.71 c bounds 1142 >= 29 @ 50.3677 53.50/53.71 c bounds 1141 >= 29 @ 50.3742 53.50/53.71 c bounds 1140 >= 29 @ 50.3836 53.50/53.71 c bounds 1139 >= 29 @ 50.3899 53.50/53.71 c bounds 1138 >= 29 @ 50.3951 53.50/53.71 c bounds 1137 >= 29 @ 50.4023 53.50/53.71 c bounds 1136 >= 29 @ 50.4128 53.50/53.71 c bounds 1135 >= 29 @ 50.421 53.50/53.71 c bounds 1134 >= 29 @ 50.4341 53.50/53.71 c bounds 1133 >= 29 @ 50.442 53.50/53.71 c bounds 1132 >= 29 @ 50.4512 53.50/53.71 c bounds 1131 >= 29 @ 50.4575 53.50/53.71 c bounds 1130 >= 29 @ 50.4658 53.50/53.71 c bounds 1129 >= 29 @ 50.4771 53.50/53.71 c bounds 1128 >= 29 @ 50.4832 53.50/53.71 c bounds 1127 >= 29 @ 50.4903 53.50/53.71 c bounds 1126 >= 29 @ 50.5012 53.50/53.71 c bounds 1125 >= 29 @ 50.5148 53.50/53.71 c bounds 1124 >= 29 @ 50.5249 53.50/53.71 c bounds 1123 >= 29 @ 50.5338 53.50/53.71 c bounds 1122 >= 29 @ 50.5531 53.50/53.71 c bounds 1121 >= 29 @ 50.5724 53.50/53.71 c bounds 1120 >= 29 @ 50.5893 53.50/53.71 c bounds 1119 >= 29 @ 50.6046 53.50/53.71 c bounds 1118 >= 29 @ 50.6197 53.50/53.71 c bounds 1117 >= 29 @ 50.6295 53.50/53.71 c bounds 1116 >= 29 @ 50.6403 53.50/53.71 c bounds 1115 >= 29 @ 50.6495 53.50/53.71 c bounds 1114 >= 29 @ 50.658 53.50/53.71 c bounds 1113 >= 29 @ 50.6655 53.50/53.71 c bounds 1112 >= 29 @ 50.675 53.50/53.71 c bounds 1111 >= 29 @ 50.6841 53.50/53.71 c bounds 1110 >= 29 @ 50.699 53.50/53.71 c bounds 1109 >= 29 @ 50.7127 53.50/53.71 c bounds 1108 >= 29 @ 50.7235 53.50/53.71 c bounds 1107 >= 29 @ 50.7331 53.50/53.71 c bounds 1106 >= 29 @ 50.7426 53.50/53.71 c bounds 1105 >= 29 @ 50.7477 53.50/53.71 c bounds 1104 >= 29 @ 50.7531 53.50/53.71 c bounds 1103 >= 29 @ 50.7607 53.50/53.71 c bounds 1102 >= 29 @ 50.7682 53.50/53.71 c bounds 1101 >= 29 @ 50.7785 53.50/53.71 c bounds 1100 >= 29 @ 50.7878 53.50/53.71 c bounds 1099 >= 29 @ 50.7976 53.50/53.71 c bounds 1098 >= 29 @ 50.8054 53.50/53.71 c bounds 1097 >= 29 @ 50.813 53.50/53.71 c bounds 1096 >= 29 @ 50.8214 53.50/53.71 c bounds 1095 >= 29 @ 50.8279 53.50/53.71 c bounds 1094 >= 29 @ 50.8343 53.50/53.71 c bounds 1093 >= 29 @ 50.8428 53.50/53.71 c bounds 1092 >= 29 @ 50.8482 53.50/53.71 c bounds 1091 >= 29 @ 50.8534 53.50/53.71 c bounds 1090 >= 29 @ 50.8586 53.50/53.71 c bounds 1089 >= 29 @ 50.8629 53.50/53.71 c bounds 1088 >= 29 @ 50.8682 53.50/53.71 c bounds 1087 >= 29 @ 50.878 53.50/53.71 c bounds 1086 >= 29 @ 50.8885 53.50/53.71 c bounds 1085 >= 29 @ 50.8965 53.50/53.71 c bounds 1084 >= 29 @ 50.9034 53.50/53.71 c bounds 1083 >= 29 @ 50.9114 53.50/53.71 c bounds 1082 >= 29 @ 50.9212 53.50/53.71 c bounds 1081 >= 29 @ 50.9301 53.50/53.71 c bounds 1080 >= 29 @ 50.9349 53.50/53.71 c bounds 1079 >= 29 @ 50.9426 53.50/53.71 c bounds 1078 >= 29 @ 50.9523 53.50/53.71 c bounds 1077 >= 29 @ 50.9641 53.50/53.71 c bounds 1076 >= 29 @ 50.9753 53.50/53.71 c bounds 1075 >= 29 @ 50.9855 53.50/53.71 c bounds 1074 >= 29 @ 50.9983 53.50/53.71 c bounds 1073 >= 29 @ 51.0078 53.50/53.71 c bounds 1072 >= 29 @ 51.019 53.50/53.71 c bounds 1071 >= 29 @ 51.0259 53.50/53.71 c bounds 1070 >= 29 @ 51.0398 53.50/53.71 c bounds 1069 >= 29 @ 51.052 53.50/53.71 c bounds 1068 >= 29 @ 51.0643 53.50/53.71 c bounds 1067 >= 29 @ 51.0744 53.50/53.71 c bounds 1066 >= 29 @ 51.0841 53.50/53.71 c bounds 1065 >= 29 @ 51.0927 53.50/53.71 c bounds 1064 >= 29 @ 51.1007 53.50/53.71 c bounds 1063 >= 29 @ 51.1079 53.50/53.71 c bounds 1062 >= 29 @ 51.1168 53.50/53.71 c bounds 1061 >= 29 @ 51.1225 53.50/53.71 c bounds 1060 >= 29 @ 51.1262 53.50/53.71 c bounds 1059 >= 29 @ 51.1368 53.50/53.71 c bounds 1058 >= 29 @ 51.1444 53.50/53.71 c bounds 1057 >= 29 @ 51.1513 53.50/53.71 c bounds 1056 >= 29 @ 51.1554 53.50/53.71 c bounds 1055 >= 29 @ 51.1621 53.50/53.71 c bounds 1054 >= 29 @ 51.1708 53.50/53.71 c bounds 1053 >= 29 @ 51.1776 53.50/53.71 c bounds 1052 >= 29 @ 51.1853 53.50/53.71 c bounds 1051 >= 29 @ 51.1931 53.50/53.71 c bounds 1050 >= 29 @ 51.2007 53.50/53.71 c bounds 1049 >= 29 @ 51.2083 53.50/53.71 c bounds 1048 >= 29 @ 51.212 53.50/53.71 c bounds 1047 >= 29 @ 51.2176 53.50/53.71 c bounds 1046 >= 29 @ 51.2234 53.50/53.71 c bounds 1045 >= 29 @ 51.2342 53.50/53.71 c bounds 1044 >= 29 @ 51.2421 53.50/53.71 c bounds 1043 >= 29 @ 51.2555 53.50/53.71 c bounds 1042 >= 29 @ 51.2677 53.50/53.71 c bounds 1041 >= 29 @ 51.2788 53.50/53.71 c bounds 1040 >= 29 @ 51.2892 53.50/53.71 c bounds 1039 >= 29 @ 51.2986 53.50/53.71 c bounds 1038 >= 29 @ 51.3081 53.50/53.71 c bounds 1037 >= 29 @ 51.3184 53.50/53.71 c bounds 1036 >= 29 @ 51.3279 53.50/53.71 c bounds 1035 >= 29 @ 51.3371 53.50/53.71 c bounds 1034 >= 29 @ 51.3466 53.50/53.71 c bounds 1033 >= 29 @ 51.3522 53.50/53.71 c bounds 1032 >= 29 @ 51.3625 53.50/53.71 c bounds 1031 >= 29 @ 51.3813 53.50/53.71 c bounds 1030 >= 29 @ 51.3964 53.50/53.71 c bounds 1029 >= 29 @ 51.4087 53.50/53.71 c bounds 1028 >= 29 @ 51.4207 53.50/53.71 c bounds 1027 >= 29 @ 51.4309 53.50/53.71 c bounds 1026 >= 29 @ 51.4372 53.50/53.71 c bounds 1025 >= 29 @ 51.4449 53.50/53.71 c bounds 1024 >= 29 @ 51.4533 53.50/53.71 c bounds 1023 >= 29 @ 51.4605 53.50/53.71 c bounds 1022 >= 29 @ 51.4666 53.50/53.71 c bounds 1021 >= 29 @ 51.4765 53.50/53.71 c bounds 1020 >= 29 @ 51.4897 53.50/53.71 c bounds 1019 >= 29 @ 51.4982 53.50/53.71 c bounds 1018 >= 29 @ 51.513 53.50/53.71 c bounds 1017 >= 29 @ 51.5244 53.50/53.71 c bounds 1016 >= 29 @ 51.5322 53.50/53.71 c bounds 1015 >= 29 @ 51.5432 53.50/53.71 c bounds 1014 >= 29 @ 51.5537 53.50/53.71 c bounds 1013 >= 29 @ 51.5575 55.49/55.74 c bounds 1012 >= 29 @ 51.5633 55.49/55.74 c bounds 1011 >= 29 @ 51.5699 55.49/55.74 c bounds 1010 >= 29 @ 51.5786 55.49/55.74 c bounds 1009 >= 29 @ 51.5845 55.49/55.74 c bounds 1008 >= 29 @ 51.5924 55.49/55.74 c bounds 1007 >= 29 @ 51.598 55.49/55.74 c bounds 1006 >= 29 @ 51.6048 55.49/55.74 c bounds 1005 >= 29 @ 51.6114 55.49/55.74 c bounds 1004 >= 29 @ 51.6189 55.49/55.74 c bounds 1003 >= 29 @ 51.6276 55.49/55.74 c bounds 1002 >= 29 @ 51.6397 55.49/55.74 c bounds 1001 >= 29 @ 51.6526 55.49/55.74 c bounds 1000 >= 29 @ 51.6627 55.49/55.74 c bounds 999 >= 29 @ 51.6805 55.49/55.74 c bounds 998 >= 29 @ 51.6931 55.49/55.74 c bounds 997 >= 29 @ 51.7085 55.49/55.74 c bounds 996 >= 29 @ 51.7178 55.49/55.74 c bounds 995 >= 29 @ 51.7304 55.49/55.74 c bounds 994 >= 29 @ 51.7347 55.49/55.74 c bounds 993 >= 29 @ 51.7451 55.49/55.74 c bounds 992 >= 29 @ 51.7525 55.49/55.74 c bounds 991 >= 29 @ 51.7596 55.49/55.74 c bounds 990 >= 29 @ 51.7689 55.49/55.74 c bounds 989 >= 29 @ 51.7775 55.49/55.74 c bounds 988 >= 29 @ 51.7836 55.49/55.74 c bounds 987 >= 29 @ 51.7919 55.49/55.74 c bounds 986 >= 29 @ 51.799 55.49/55.74 c bounds 985 >= 29 @ 51.804 55.49/55.74 c bounds 984 >= 29 @ 51.811 55.49/55.74 c bounds 983 >= 29 @ 51.8181 55.49/55.74 c bounds 982 >= 29 @ 51.8251 55.49/55.74 c bounds 981 >= 29 @ 51.8352 55.49/55.74 c bounds 980 >= 29 @ 51.8423 55.49/55.74 c bounds 979 >= 29 @ 51.8493 55.49/55.74 c bounds 978 >= 29 @ 51.8587 55.49/55.74 c bounds 977 >= 29 @ 51.8636 55.49/55.74 c bounds 976 >= 29 @ 51.8705 55.49/55.74 c bounds 975 >= 29 @ 51.8792 55.49/55.74 c bounds 974 >= 29 @ 51.8872 55.49/55.74 c bounds 973 >= 29 @ 51.8969 55.49/55.74 c bounds 972 >= 29 @ 51.9055 55.49/55.74 c bounds 971 >= 29 @ 51.9146 55.49/55.74 c bounds 970 >= 29 @ 51.9209 55.49/55.74 c bounds 969 >= 29 @ 51.9331 55.49/55.74 c bounds 968 >= 29 @ 51.9413 55.49/55.74 c bounds 967 >= 29 @ 51.9498 55.49/55.74 c bounds 966 >= 29 @ 51.9609 55.49/55.74 c bounds 965 >= 29 @ 51.9703 55.49/55.74 c bounds 964 >= 29 @ 51.9754 55.49/55.74 c bounds 963 >= 29 @ 51.9824 55.49/55.74 c bounds 962 >= 29 @ 51.9913 55.49/55.74 c bounds 961 >= 29 @ 51.9963 55.49/55.74 c bounds 960 >= 29 @ 52.0033 55.49/55.74 c bounds 959 >= 29 @ 52.0102 55.49/55.74 c bounds 958 >= 29 @ 52.0184 55.49/55.74 c bounds 957 >= 29 @ 52.0234 55.49/55.74 c bounds 956 >= 29 @ 52.0303 55.49/55.74 c bounds 955 >= 29 @ 52.04 55.49/55.74 c bounds 954 >= 29 @ 52.0467 55.49/55.74 c bounds 953 >= 29 @ 52.0516 55.49/55.74 c bounds 952 >= 29 @ 52.0618 55.49/55.74 c bounds 951 >= 29 @ 52.0779 55.49/55.74 c bounds 950 >= 29 @ 52.087 55.49/55.74 c bounds 949 >= 29 @ 52.0938 55.49/55.74 c bounds 948 >= 29 @ 52.1025 55.49/55.74 c bounds 947 >= 29 @ 52.1095 55.49/55.74 c bounds 946 >= 29 @ 52.1144 55.49/55.74 c bounds 945 >= 29 @ 52.1191 55.49/55.74 c bounds 944 >= 29 @ 52.124 55.49/55.74 c bounds 943 >= 29 @ 52.1328 55.49/55.74 c bounds 942 >= 29 @ 52.1366 55.49/55.74 c bounds 941 >= 29 @ 52.1414 55.49/55.74 c bounds 940 >= 29 @ 52.1493 55.49/55.74 c bounds 939 >= 29 @ 52.1572 55.49/55.74 c bounds 938 >= 29 @ 52.1659 55.49/55.74 c bounds 937 >= 29 @ 52.1737 55.49/55.74 c bounds 936 >= 29 @ 52.1784 55.49/55.74 c bounds 935 >= 29 @ 52.187 55.49/55.74 c bounds 934 >= 29 @ 52.1926 55.49/55.74 c bounds 933 >= 29 @ 52.1973 55.49/55.74 c bounds 932 >= 29 @ 52.2071 55.49/55.74 c bounds 931 >= 29 @ 52.2146 55.49/55.74 c bounds 930 >= 29 @ 52.2203 55.49/55.74 c bounds 929 >= 29 @ 52.2269 55.49/55.74 c bounds 928 >= 29 @ 52.2355 55.49/55.74 c bounds 927 >= 29 @ 52.2424 55.49/55.74 c bounds 926 >= 29 @ 52.2472 55.49/55.74 c bounds 925 >= 29 @ 52.2537 55.49/55.74 c bounds 924 >= 29 @ 52.2613 55.49/55.74 c bounds 923 >= 29 @ 52.2671 55.49/55.74 c bounds 922 >= 29 @ 52.2777 55.49/55.74 c bounds 921 >= 29 @ 52.2853 55.49/55.74 c bounds 920 >= 29 @ 52.2902 55.49/55.74 c bounds 919 >= 29 @ 52.301 55.49/55.74 c bounds 918 >= 29 @ 52.3077 55.49/55.74 c bounds 917 >= 29 @ 52.3161 55.49/55.74 c bounds 916 >= 29 @ 52.3256 55.49/55.74 c bounds 915 >= 29 @ 52.33 55.49/55.74 c bounds 914 >= 29 @ 52.3345 55.49/55.74 c bounds 913 >= 29 @ 52.3441 55.49/55.74 c bounds 912 >= 29 @ 52.3552 55.49/55.74 c bounds 911 >= 29 @ 52.3655 55.49/55.74 c bounds 910 >= 29 @ 52.3817 55.49/55.74 c bounds 909 >= 29 @ 52.4003 55.49/55.74 c bounds 908 >= 29 @ 52.415 55.49/55.74 c bounds 907 >= 29 @ 52.4234 55.49/55.74 c bounds 906 >= 29 @ 52.4298 55.49/55.74 c bounds 905 >= 29 @ 52.4347 55.49/55.74 c bounds 904 >= 29 @ 52.4406 55.49/55.74 c bounds 903 >= 29 @ 52.4465 55.49/55.74 c bounds 902 >= 29 @ 52.4543 55.49/55.74 c bounds 901 >= 29 @ 52.4648 55.49/55.74 c bounds 900 >= 29 @ 52.4746 55.49/55.74 c bounds 899 >= 29 @ 52.4842 55.49/55.74 c bounds 898 >= 29 @ 52.4933 55.49/55.74 c bounds 897 >= 29 @ 52.5002 55.49/55.74 c bounds 896 >= 29 @ 52.5057 55.49/55.74 c bounds 895 >= 29 @ 52.5102 55.49/55.74 c bounds 894 >= 29 @ 52.5157 55.49/55.74 c bounds 893 >= 29 @ 52.5222 55.49/55.74 c bounds 892 >= 29 @ 52.5277 55.49/55.74 c bounds 891 >= 29 @ 52.5342 55.49/55.74 c bounds 890 >= 29 @ 52.5396 55.49/55.74 c bounds 889 >= 29 @ 52.5442 55.49/55.74 c bounds 888 >= 29 @ 52.5506 55.49/55.74 c bounds 887 >= 29 @ 52.5561 55.49/55.74 c bounds 886 >= 29 @ 52.5615 55.49/55.74 c bounds 885 >= 29 @ 52.58 55.49/55.74 c bounds 884 >= 29 @ 52.5936 55.49/55.74 c bounds 883 >= 29 @ 52.604 55.49/55.74 c bounds 882 >= 29 @ 52.6131 55.49/55.74 c bounds 881 >= 29 @ 52.619 55.49/55.74 c bounds 880 >= 29 @ 52.6258 55.49/55.74 c bounds 879 >= 29 @ 52.6317 55.49/55.74 c bounds 878 >= 29 @ 52.639 55.49/55.74 c bounds 877 >= 29 @ 52.6471 55.49/55.74 c bounds 876 >= 29 @ 52.6538 55.49/55.74 c bounds 875 >= 29 @ 52.6611 55.49/55.74 c bounds 874 >= 29 @ 52.6731 55.49/55.74 c bounds 873 >= 29 @ 52.6847 55.49/55.74 c bounds 872 >= 29 @ 52.6915 57.58/57.83 c bounds 871 >= 29 @ 52.7027 57.58/57.83 c bounds 870 >= 29 @ 52.7157 57.58/57.83 c bounds 869 >= 29 @ 52.7276 57.58/57.83 c bounds 868 >= 29 @ 52.7341 57.58/57.83 c bounds 867 >= 29 @ 52.7455 57.58/57.83 c bounds 866 >= 29 @ 52.7513 57.58/57.83 c bounds 865 >= 29 @ 52.7578 57.58/57.83 c bounds 864 >= 29 @ 52.7661 57.58/57.83 c bounds 863 >= 29 @ 52.7734 57.58/57.83 c bounds 862 >= 29 @ 52.7826 57.58/57.83 c bounds 861 >= 29 @ 52.7911 57.58/57.83 c bounds 860 >= 29 @ 52.7983 57.58/57.83 c bounds 859 >= 29 @ 52.8031 57.58/57.83 c bounds 858 >= 29 @ 52.8139 57.58/57.83 c bounds 857 >= 29 @ 52.8231 57.58/57.83 c bounds 856 >= 29 @ 52.836 57.58/57.83 c bounds 855 >= 29 @ 52.8456 57.58/57.83 c bounds 854 >= 29 @ 52.853 57.58/57.83 c bounds 853 >= 29 @ 52.8616 57.58/57.83 c bounds 852 >= 29 @ 52.8721 57.58/57.83 c bounds 851 >= 29 @ 52.8822 57.58/57.83 c bounds 850 >= 29 @ 52.8874 57.58/57.83 c bounds 849 >= 29 @ 52.894 57.58/57.83 c bounds 848 >= 29 @ 52.8978 57.58/57.83 c bounds 847 >= 29 @ 52.9067 57.58/57.83 c bounds 846 >= 29 @ 52.9208 57.58/57.83 c bounds 845 >= 29 @ 52.9299 57.58/57.83 c bounds 844 >= 29 @ 52.9404 57.58/57.83 c bounds 843 >= 29 @ 52.9482 57.58/57.83 c bounds 842 >= 29 @ 52.9529 57.58/57.83 c bounds 841 >= 29 @ 52.9645 57.58/57.83 c bounds 840 >= 29 @ 52.9716 57.58/57.83 c bounds 839 >= 29 @ 52.9807 57.58/57.83 c bounds 838 >= 29 @ 52.9874 57.58/57.83 c bounds 837 >= 29 @ 52.9955 57.58/57.83 c bounds 836 >= 29 @ 53.0002 57.58/57.83 c bounds 835 >= 29 @ 53.0079 57.58/57.83 c bounds 834 >= 29 @ 53.0145 57.58/57.83 c bounds 833 >= 29 @ 53.0213 57.58/57.83 c bounds 832 >= 29 @ 53.031 57.58/57.83 c bounds 831 >= 29 @ 53.0403 57.58/57.83 c bounds 830 >= 29 @ 53.0529 57.58/57.83 c bounds 829 >= 29 @ 53.0599 57.58/57.83 c bounds 828 >= 29 @ 53.0697 57.58/57.83 c bounds 827 >= 29 @ 53.0745 57.58/57.83 c bounds 826 >= 29 @ 53.0842 57.58/57.83 c bounds 825 >= 29 @ 53.0914 57.58/57.83 c bounds 824 >= 29 @ 53.0998 57.58/57.83 c bounds 823 >= 29 @ 53.1076 57.58/57.83 c bounds 822 >= 29 @ 53.1142 57.58/57.83 c bounds 821 >= 29 @ 53.1217 57.58/57.83 c bounds 820 >= 29 @ 53.128 57.58/57.83 c bounds 819 >= 29 @ 53.1353 57.58/57.83 c bounds 818 >= 29 @ 53.1448 57.58/57.83 c bounds 817 >= 29 @ 53.1512 57.58/57.83 c bounds 816 >= 29 @ 53.1597 57.58/57.83 c bounds 815 >= 29 @ 53.1662 57.58/57.83 c bounds 814 >= 29 @ 53.1736 57.58/57.83 c bounds 813 >= 29 @ 53.1802 57.58/57.83 c bounds 812 >= 29 @ 53.185 57.58/57.83 c bounds 811 >= 29 @ 53.1936 57.58/57.83 c bounds 810 >= 29 @ 53.197 57.58/57.83 c bounds 809 >= 29 @ 53.2085 57.58/57.83 c bounds 808 >= 29 @ 53.2169 57.58/57.83 c bounds 807 >= 29 @ 53.2221 57.58/57.83 c bounds 806 >= 29 @ 53.2295 57.58/57.83 c bounds 805 >= 29 @ 53.2384 57.58/57.83 c bounds 804 >= 29 @ 53.2451 57.58/57.83 c bounds 803 >= 29 @ 53.2555 57.58/57.83 c bounds 802 >= 29 @ 53.264 57.58/57.83 c bounds 801 >= 29 @ 53.2711 57.58/57.83 c bounds 800 >= 29 @ 53.279 57.58/57.83 c bounds 799 >= 29 @ 53.289 57.58/57.83 c bounds 798 >= 29 @ 53.2944 57.58/57.83 c bounds 797 >= 29 @ 53.3012 57.58/57.83 c bounds 796 >= 29 @ 53.308 57.58/57.83 c bounds 795 >= 29 @ 53.3147 57.58/57.83 c bounds 794 >= 29 @ 53.3197 57.58/57.83 c bounds 793 >= 29 @ 53.329 57.58/57.83 c bounds 792 >= 29 @ 53.3376 57.58/57.83 c bounds 791 >= 29 @ 53.3431 57.58/57.83 c bounds 790 >= 29 @ 53.3496 57.58/57.83 c bounds 789 >= 29 @ 53.3574 57.58/57.83 c bounds 788 >= 29 @ 53.3643 57.58/57.83 c bounds 787 >= 29 @ 53.3717 57.58/57.83 c bounds 786 >= 29 @ 53.377 57.58/57.83 c bounds 785 >= 29 @ 53.3841 57.58/57.83 c bounds 784 >= 29 @ 53.3917 57.58/57.83 c bounds 783 >= 29 @ 53.3974 57.58/57.83 c bounds 782 >= 29 @ 53.4028 57.58/57.83 c bounds 781 >= 29 @ 53.4091 57.58/57.83 c bounds 780 >= 29 @ 53.4145 57.58/57.83 c bounds 779 >= 29 @ 53.4238 57.58/57.83 c bounds 778 >= 29 @ 53.4332 57.58/57.83 c bounds 777 >= 29 @ 53.4384 57.58/57.83 c bounds 776 >= 29 @ 53.4478 57.58/57.83 c bounds 775 >= 29 @ 53.4541 57.58/57.83 c bounds 774 >= 29 @ 53.4595 57.58/57.83 c bounds 773 >= 29 @ 53.4682 57.58/57.83 c bounds 772 >= 29 @ 53.4767 57.58/57.83 c bounds 771 >= 29 @ 53.4831 57.58/57.83 c bounds 770 >= 29 @ 53.4896 57.58/57.83 c bounds 769 >= 29 @ 53.4961 57.58/57.83 c bounds 768 >= 29 @ 53.5048 57.58/57.83 c bounds 767 >= 29 @ 53.5123 57.58/57.83 c bounds 766 >= 29 @ 53.5208 57.58/57.83 c bounds 765 >= 29 @ 53.5292 57.58/57.83 c bounds 764 >= 29 @ 53.541 57.58/57.83 c bounds 763 >= 29 @ 53.5542 57.58/57.83 c bounds 762 >= 29 @ 53.567 57.58/57.83 c bounds 761 >= 29 @ 53.5759 57.58/57.83 c bounds 760 >= 29 @ 53.5869 57.58/57.83 c bounds 759 >= 29 @ 53.5916 57.58/57.83 c bounds 758 >= 29 @ 53.5973 57.58/57.83 c bounds 757 >= 29 @ 53.602 57.58/57.83 c bounds 756 >= 29 @ 53.6066 57.58/57.83 c bounds 755 >= 29 @ 53.6134 57.58/57.83 c bounds 754 >= 29 @ 53.6191 57.58/57.83 c bounds 753 >= 29 @ 53.6302 57.58/57.83 c bounds 752 >= 29 @ 53.6373 57.58/57.83 c bounds 751 >= 29 @ 53.6435 57.58/57.83 c bounds 750 >= 29 @ 53.653 57.58/57.83 c bounds 749 >= 29 @ 53.6618 57.58/57.83 c bounds 748 >= 29 @ 53.6686 57.58/57.83 c bounds 747 >= 29 @ 53.6743 57.58/57.83 c bounds 746 >= 29 @ 53.6831 57.58/57.83 c bounds 745 >= 29 @ 53.6934 57.58/57.83 c bounds 744 >= 29 @ 53.7017 57.58/57.83 c bounds 743 >= 29 @ 53.7129 57.58/57.83 c bounds 742 >= 29 @ 53.7253 57.58/57.83 c bounds 741 >= 29 @ 53.7335 57.58/57.83 c bounds 740 >= 29 @ 53.7802 57.58/57.83 c bounds 739 >= 29 @ 53.8039 57.58/57.83 c bounds 738 >= 29 @ 53.8165 57.58/57.83 c bounds 737 >= 29 @ 53.8262 57.58/57.83 c bounds 736 >= 29 @ 53.8352 57.58/57.83 c bounds 735 >= 29 @ 53.8436 57.58/57.83 c bounds 734 >= 29 @ 53.8474 57.58/57.83 c bounds 733 >= 29 @ 53.8555 57.58/57.83 c bounds 732 >= 29 @ 53.8596 57.58/57.83 c bounds 731 >= 29 @ 53.8636 57.58/57.83 c bounds 730 >= 29 @ 53.8733 59.58/59.89 c bounds 729 >= 29 @ 53.88 59.58/59.89 c bounds 728 >= 29 @ 53.8865 59.58/59.89 c bounds 727 >= 29 @ 53.8924 59.58/59.89 c bounds 726 >= 29 @ 53.8989 59.58/59.89 c bounds 725 >= 29 @ 53.9075 59.58/59.89 c bounds 724 >= 29 @ 53.9209 59.58/59.89 c bounds 723 >= 29 @ 53.9325 59.58/59.89 c bounds 722 >= 29 @ 53.9454 59.58/59.89 c bounds 721 >= 29 @ 53.9589 59.58/59.89 c bounds 720 >= 29 @ 53.9683 59.58/59.89 c bounds 719 >= 29 @ 53.9829 59.58/59.89 c bounds 718 >= 29 @ 53.996 59.58/59.89 c bounds 717 >= 29 @ 54.0071 59.58/59.89 c bounds 716 >= 29 @ 54.0176 59.58/59.89 c bounds 715 >= 29 @ 54.0306 59.58/59.89 c bounds 714 >= 29 @ 54.0419 59.58/59.89 c bounds 713 >= 29 @ 54.0542 59.58/59.89 c bounds 712 >= 29 @ 54.0622 59.58/59.89 c bounds 711 >= 29 @ 54.0718 59.58/59.89 c bounds 710 >= 29 @ 54.0814 59.58/59.89 c bounds 709 >= 29 @ 54.0886 59.58/59.89 c bounds 708 >= 29 @ 54.0959 59.58/59.89 c bounds 707 >= 29 @ 54.1023 59.58/59.89 c bounds 706 >= 29 @ 54.1086 59.58/59.89 c bounds 705 >= 29 @ 54.1157 59.58/59.89 c bounds 704 >= 29 @ 54.1249 59.58/59.89 c bounds 703 >= 29 @ 54.1313 59.58/59.89 c bounds 702 >= 29 @ 54.1368 59.58/59.89 c bounds 701 >= 29 @ 54.1428 59.58/59.89 c bounds 700 >= 29 @ 54.1504 59.58/59.89 c bounds 699 >= 29 @ 54.16 59.58/59.89 c bounds 698 >= 29 @ 54.1718 59.58/59.89 c bounds 697 >= 29 @ 54.1802 59.58/59.89 c bounds 696 >= 29 @ 54.1879 59.58/59.89 c bounds 695 >= 29 @ 54.1946 59.58/59.89 c bounds 694 >= 29 @ 54.2031 59.58/59.89 c bounds 693 >= 29 @ 54.2095 59.58/59.89 c bounds 692 >= 29 @ 54.2178 59.58/59.89 c bounds 691 >= 29 @ 54.223 59.58/59.89 c bounds 690 >= 29 @ 54.229 59.58/59.89 c bounds 689 >= 29 @ 54.2333 59.58/59.89 c bounds 688 >= 29 @ 54.2414 59.58/59.89 c bounds 687 >= 29 @ 54.2484 59.58/59.89 c bounds 686 >= 29 @ 54.2576 59.58/59.89 c bounds 685 >= 29 @ 54.2636 59.58/59.89 c bounds 684 >= 29 @ 54.2697 59.58/59.89 c bounds 683 >= 29 @ 54.2769 59.58/59.89 c bounds 682 >= 29 @ 54.284 59.58/59.89 c bounds 681 >= 29 @ 54.294 59.58/59.89 c bounds 680 >= 29 @ 54.2995 59.58/59.89 c bounds 679 >= 29 @ 54.3087 59.58/59.89 c bounds 678 >= 29 @ 54.3179 59.58/59.89 c bounds 677 >= 29 @ 54.3237 59.58/59.89 c bounds 676 >= 29 @ 54.334 59.58/59.89 c bounds 675 >= 29 @ 54.3394 59.58/59.89 c bounds 674 >= 29 @ 54.3446 59.58/59.89 c bounds 673 >= 29 @ 54.3546 59.58/59.89 c bounds 672 >= 29 @ 54.3587 59.58/59.89 c bounds 671 >= 29 @ 54.3638 59.58/59.89 c bounds 670 >= 29 @ 54.3708 59.58/59.89 c bounds 669 >= 29 @ 54.3791 59.58/59.89 c bounds 668 >= 29 @ 54.3862 59.58/59.89 c bounds 667 >= 29 @ 54.3953 59.58/59.89 c bounds 666 >= 29 @ 54.4026 59.58/59.89 c bounds 665 >= 29 @ 54.4148 59.58/59.89 c bounds 664 >= 29 @ 54.427 59.58/59.89 c bounds 663 >= 29 @ 54.4414 59.58/59.89 c bounds 662 >= 29 @ 54.4532 59.58/59.89 c bounds 661 >= 29 @ 54.4598 59.58/59.89 c bounds 660 >= 29 @ 54.4744 59.58/59.89 c bounds 659 >= 29 @ 54.4824 59.58/59.89 c bounds 658 >= 29 @ 54.493 59.58/59.89 c bounds 657 >= 29 @ 54.5066 59.58/59.89 c bounds 656 >= 29 @ 54.52 59.58/59.89 c bounds 655 >= 29 @ 54.5423 59.58/59.89 c bounds 654 >= 29 @ 54.5645 59.58/59.89 c bounds 653 >= 29 @ 54.5787 59.58/59.89 c bounds 652 >= 29 @ 54.5932 59.58/59.89 c bounds 651 >= 29 @ 54.6042 59.58/59.89 c bounds 650 >= 29 @ 54.616 59.58/59.89 c bounds 649 >= 29 @ 54.6244 59.58/59.89 c bounds 648 >= 29 @ 54.6312 59.58/59.89 c bounds 647 >= 29 @ 54.6383 59.58/59.89 c bounds 646 >= 29 @ 54.6434 59.58/59.89 c bounds 645 >= 29 @ 54.6526 59.58/59.89 c bounds 644 >= 29 @ 54.6609 59.58/59.89 c bounds 643 >= 29 @ 54.668 59.58/59.89 c bounds 642 >= 29 @ 54.674 59.58/59.89 c bounds 641 >= 29 @ 54.679 59.58/59.89 c bounds 640 >= 29 @ 54.6819 59.58/59.89 c bounds 639 >= 29 @ 54.6898 59.58/59.89 c bounds 638 >= 29 @ 54.6937 59.58/59.89 c bounds 637 >= 29 @ 54.6995 59.58/59.89 c bounds 636 >= 29 @ 54.7043 59.58/59.89 c bounds 635 >= 29 @ 54.7102 59.58/59.89 c bounds 634 >= 29 @ 54.7161 59.58/59.89 c bounds 633 >= 29 @ 54.722 59.58/59.89 c bounds 632 >= 29 @ 54.7268 59.58/59.89 c bounds 631 >= 29 @ 54.7346 59.58/59.89 c bounds 630 >= 29 @ 54.7395 59.58/59.89 c bounds 629 >= 29 @ 54.7434 59.58/59.89 c bounds 628 >= 29 @ 54.7482 59.58/59.89 c bounds 627 >= 29 @ 54.7602 59.58/59.89 c bounds 626 >= 29 @ 54.771 59.58/59.89 c bounds 625 >= 29 @ 54.7804 59.58/59.89 c bounds 624 >= 29 @ 54.7913 59.58/59.89 c bounds 623 >= 29 @ 54.8014 59.58/59.89 c bounds 622 >= 29 @ 54.8089 59.58/59.89 c bounds 621 >= 29 @ 54.8163 59.58/59.89 c bounds 620 >= 29 @ 54.828 59.58/59.89 c bounds 619 >= 29 @ 54.8344 59.58/59.89 c bounds 618 >= 29 @ 54.8416 59.58/59.89 c bounds 617 >= 29 @ 54.8507 59.58/59.89 c bounds 616 >= 29 @ 54.8601 59.58/59.89 c bounds 615 >= 29 @ 54.8689 59.58/59.89 c bounds 614 >= 29 @ 54.8794 59.58/59.89 c bounds 613 >= 29 @ 54.8893 59.58/59.89 c bounds 612 >= 29 @ 54.8964 59.58/59.89 c bounds 611 >= 29 @ 54.9038 59.58/59.89 c bounds 610 >= 29 @ 54.9094 59.58/59.89 c bounds 609 >= 29 @ 54.9147 59.58/59.89 c bounds 608 >= 29 @ 54.9241 59.58/59.89 c bounds 607 >= 29 @ 54.9304 59.58/59.89 c bounds 606 >= 29 @ 54.9393 59.58/59.89 c bounds 605 >= 29 @ 54.9483 59.58/59.89 c bounds 604 >= 29 @ 54.9558 59.58/59.89 c bounds 603 >= 29 @ 54.9642 59.58/59.89 c bounds 602 >= 29 @ 54.9713 59.58/59.89 c bounds 601 >= 29 @ 54.9778 59.58/59.89 c bounds 600 >= 29 @ 54.9832 59.58/59.89 c bounds 599 >= 29 @ 54.9911 59.58/59.89 c bounds 598 >= 29 @ 54.996 59.58/59.89 c bounds 597 >= 29 @ 55.0061 59.58/59.89 c bounds 596 >= 29 @ 55.0151 59.58/59.89 c bounds 595 >= 29 @ 55.0216 59.58/59.89 c bounds 594 >= 29 @ 55.0296 59.58/59.89 c bounds 593 >= 29 @ 55.0373 59.58/59.89 c bounds 592 >= 29 @ 55.0432 59.58/59.89 c bounds 591 >= 29 @ 55.0485 59.58/59.89 c bounds 590 >= 29 @ 55.0567 59.58/59.89 c bounds 589 >= 29 @ 55.065 59.58/59.89 c bounds 588 >= 29 @ 55.0722 61.97/62.24 c bounds 587 >= 29 @ 55.0783 61.97/62.24 c bounds 586 >= 29 @ 55.0833 61.97/62.24 c bounds 585 >= 29 @ 55.0911 61.97/62.24 c bounds 584 >= 29 @ 55.0979 61.97/62.24 c bounds 583 >= 29 @ 55.1047 61.97/62.24 c bounds 582 >= 29 @ 55.1143 61.97/62.24 c bounds 581 >= 29 @ 55.121 61.97/62.24 c bounds 580 >= 29 @ 55.1288 61.97/62.24 c bounds 579 >= 29 @ 55.1345 61.97/62.24 c bounds 578 >= 29 @ 55.1412 61.97/62.24 c bounds 577 >= 29 @ 55.1472 61.97/62.24 c bounds 576 >= 29 @ 55.157 61.97/62.24 c bounds 575 >= 29 @ 55.166 61.97/62.24 c bounds 574 >= 29 @ 55.1772 61.97/62.24 c bounds 573 >= 29 @ 55.1832 61.97/62.24 c bounds 572 >= 29 @ 55.1903 61.97/62.24 c bounds 571 >= 29 @ 55.197 61.97/62.24 c bounds 570 >= 29 @ 55.2061 61.97/62.24 c bounds 569 >= 29 @ 55.214 61.97/62.24 c bounds 568 >= 29 @ 55.2249 61.97/62.24 c bounds 567 >= 29 @ 55.2315 61.97/62.24 c bounds 566 >= 29 @ 55.2389 61.97/62.24 c bounds 565 >= 29 @ 55.2442 61.97/62.24 c bounds 564 >= 29 @ 55.2494 61.97/62.24 c bounds 563 >= 29 @ 55.2577 61.97/62.24 c bounds 562 >= 29 @ 55.2683 61.97/62.24 c bounds 561 >= 29 @ 55.2778 61.97/62.24 c bounds 560 >= 29 @ 55.2898 61.97/62.24 c bounds 559 >= 29 @ 55.3033 61.97/62.24 c bounds 558 >= 29 @ 55.3142 61.97/62.24 c bounds 557 >= 29 @ 55.3222 61.97/62.24 c bounds 556 >= 29 @ 55.3324 61.97/62.24 c bounds 555 >= 29 @ 55.3407 61.97/62.24 c bounds 554 >= 29 @ 55.347 61.97/62.24 c bounds 553 >= 29 @ 55.3532 61.97/62.24 c bounds 552 >= 29 @ 55.3605 61.97/62.24 c bounds 551 >= 29 @ 55.3687 61.97/62.24 c bounds 550 >= 29 @ 55.3764 61.97/62.24 c bounds 549 >= 29 @ 55.3932 61.97/62.24 c bounds 548 >= 29 @ 55.4053 61.97/62.24 c bounds 547 >= 29 @ 55.4178 61.97/62.24 c bounds 546 >= 29 @ 55.4314 61.97/62.24 c bounds 545 >= 29 @ 55.4428 61.97/62.24 c bounds 544 >= 29 @ 55.4518 61.97/62.24 c bounds 543 >= 29 @ 55.4634 61.97/62.24 c bounds 542 >= 29 @ 55.4736 61.97/62.24 c bounds 541 >= 29 @ 55.4842 61.97/62.24 c bounds 540 >= 29 @ 55.4981 61.97/62.24 c bounds 539 >= 29 @ 55.5062 61.97/62.24 c bounds 538 >= 29 @ 55.5147 61.97/62.24 c bounds 537 >= 29 @ 55.5265 61.97/62.24 c bounds 536 >= 29 @ 55.5431 61.97/62.24 c bounds 535 >= 29 @ 55.5636 61.97/62.24 c bounds 534 >= 29 @ 55.5752 61.97/62.24 c bounds 533 >= 29 @ 55.5846 61.97/62.24 c bounds 532 >= 29 @ 55.5905 61.97/62.24 c bounds 531 >= 29 @ 55.601 61.97/62.24 c bounds 530 >= 29 @ 55.6209 61.97/62.24 c bounds 529 >= 29 @ 55.6337 61.97/62.24 c bounds 528 >= 29 @ 55.6489 61.97/62.24 c bounds 527 >= 29 @ 55.6614 61.97/62.24 c bounds 526 >= 29 @ 55.6743 61.97/62.24 c bounds 525 >= 29 @ 55.6886 61.97/62.24 c bounds 524 >= 29 @ 55.6979 61.97/62.24 c bounds 523 >= 29 @ 55.7073 61.97/62.24 c bounds 522 >= 29 @ 55.7166 61.97/62.24 c bounds 521 >= 29 @ 55.7329 61.97/62.24 c bounds 520 >= 29 @ 55.7746 61.97/62.24 c bounds 519 >= 29 @ 55.7924 61.97/62.24 c bounds 518 >= 29 @ 55.8091 61.97/62.24 c bounds 517 >= 29 @ 55.8808 61.97/62.24 c bounds 516 >= 29 @ 55.8987 61.97/62.24 c bounds 515 >= 29 @ 55.9156 61.97/62.24 c bounds 514 >= 29 @ 55.9367 61.97/62.24 c bounds 513 >= 29 @ 55.9497 61.97/62.24 c bounds 512 >= 29 @ 55.9591 61.97/62.24 c bounds 511 >= 29 @ 55.9716 61.97/62.24 c bounds 510 >= 29 @ 55.9853 61.97/62.24 c bounds 509 >= 29 @ 56.0023 61.97/62.24 c bounds 508 >= 29 @ 56.0113 61.97/62.24 c bounds 507 >= 29 @ 56.0219 61.97/62.24 c bounds 506 >= 29 @ 56.0317 61.97/62.24 c bounds 505 >= 29 @ 56.0471 61.97/62.24 c bounds 504 >= 29 @ 56.0562 61.97/62.24 c bounds 503 >= 29 @ 56.0635 61.97/62.24 c bounds 502 >= 29 @ 56.0717 61.97/62.24 c bounds 501 >= 29 @ 56.0805 61.97/62.24 c bounds 500 >= 29 @ 56.0913 61.97/62.24 c bounds 499 >= 29 @ 56.0993 61.97/62.24 c bounds 498 >= 29 @ 56.1032 61.97/62.24 c bounds 497 >= 29 @ 56.1087 61.97/62.24 c bounds 496 >= 29 @ 56.1163 61.97/62.24 c bounds 495 >= 29 @ 56.1231 61.97/62.24 c bounds 494 >= 29 @ 56.1341 61.97/62.24 c bounds 493 >= 29 @ 56.1563 61.97/62.24 c bounds 492 >= 29 @ 56.1822 61.97/62.24 c bounds 491 >= 29 @ 56.1978 61.97/62.24 c bounds 490 >= 29 @ 56.2071 61.97/62.24 c bounds 489 >= 29 @ 56.2141 61.97/62.24 c bounds 488 >= 29 @ 56.2205 61.97/62.24 c bounds 487 >= 29 @ 56.2322 61.97/62.24 c bounds 486 >= 29 @ 56.2409 61.97/62.24 c bounds 485 >= 29 @ 56.2529 61.97/62.24 c bounds 484 >= 29 @ 56.2632 61.97/62.24 c bounds 483 >= 29 @ 56.2759 61.97/62.24 c bounds 482 >= 29 @ 56.2921 61.97/62.24 c bounds 481 >= 29 @ 56.3007 61.97/62.24 c bounds 480 >= 29 @ 56.3071 61.97/62.24 c bounds 479 >= 29 @ 56.3163 61.97/62.24 c bounds 478 >= 29 @ 56.3246 61.97/62.24 c bounds 477 >= 29 @ 56.333 61.97/62.24 c bounds 476 >= 29 @ 56.3393 61.97/62.24 c bounds 475 >= 29 @ 56.3436 61.97/62.24 c bounds 474 >= 29 @ 56.348 61.97/62.24 c bounds 473 >= 29 @ 56.3533 61.97/62.24 c bounds 472 >= 29 @ 56.3625 61.97/62.24 c bounds 471 >= 29 @ 56.3706 61.97/62.24 c bounds 470 >= 29 @ 56.3788 61.97/62.24 c bounds 469 >= 29 @ 56.3859 61.97/62.24 c bounds 468 >= 29 @ 56.3961 61.97/62.24 c bounds 467 >= 29 @ 56.4044 61.97/62.24 c bounds 466 >= 29 @ 56.4122 61.97/62.24 c bounds 465 >= 29 @ 56.4158 61.97/62.24 c bounds 464 >= 29 @ 56.4189 61.97/62.24 c bounds 463 >= 29 @ 56.4269 61.97/62.24 c bounds 462 >= 29 @ 56.4319 61.97/62.24 c bounds 461 >= 29 @ 56.4372 61.97/62.24 c bounds 460 >= 29 @ 56.4445 61.97/62.24 c bounds 459 >= 29 @ 56.4592 61.97/62.24 c bounds 458 >= 29 @ 56.4643 61.97/62.24 c bounds 457 >= 29 @ 56.4718 61.97/62.24 c bounds 456 >= 29 @ 56.4763 61.97/62.24 c bounds 455 >= 29 @ 56.4821 61.97/62.24 c bounds 454 >= 29 @ 56.4887 61.97/62.24 c bounds 453 >= 29 @ 56.4964 61.97/62.24 c bounds 452 >= 29 @ 56.501 61.97/62.24 c bounds 451 >= 29 @ 56.5087 61.97/62.24 c bounds 450 >= 29 @ 56.5167 61.97/62.24 c bounds 449 >= 29 @ 56.5234 61.97/62.24 c bounds 448 >= 29 @ 56.5309 61.97/62.24 c bounds 447 >= 29 @ 56.5365 65.35/65.67 c bounds 446 >= 29 @ 56.5421 65.35/65.67 c bounds 445 >= 29 @ 56.5521 65.35/65.67 c bounds 444 >= 29 @ 56.5603 65.35/65.67 c bounds 443 >= 29 @ 56.5649 65.35/65.67 c bounds 442 >= 29 @ 56.5717 65.35/65.67 c bounds 441 >= 29 @ 56.5773 65.35/65.67 c bounds 440 >= 29 @ 56.5858 65.35/65.67 c bounds 439 >= 29 @ 56.5913 65.35/65.67 c bounds 438 >= 29 @ 56.5968 65.35/65.67 c bounds 437 >= 29 @ 56.6024 65.35/65.67 c bounds 436 >= 29 @ 56.611 65.35/65.67 c bounds 435 >= 29 @ 56.6198 65.35/65.67 c bounds 434 >= 29 @ 56.6273 65.35/65.67 c bounds 433 >= 29 @ 56.6338 65.35/65.67 c bounds 432 >= 29 @ 56.6452 65.35/65.67 c bounds 431 >= 29 @ 56.6563 65.35/65.67 c bounds 430 >= 29 @ 56.6663 65.35/65.67 c bounds 429 >= 29 @ 56.6739 65.35/65.67 c bounds 428 >= 29 @ 56.6844 65.35/65.67 c bounds 427 >= 29 @ 56.701 65.35/65.67 c bounds 426 >= 29 @ 56.7168 65.35/65.67 c bounds 425 >= 29 @ 56.7314 65.35/65.67 c bounds 424 >= 29 @ 56.7525 65.35/65.67 c #Conflicts: 3000 | #Constraints: 68209 65.35/65.67 c bounds 423 >= 29 @ 56.7633 65.35/65.67 c bounds 422 >= 29 @ 56.7735 65.35/65.67 c bounds 421 >= 29 @ 56.7869 65.35/65.67 c bounds 420 >= 29 @ 56.7946 65.35/65.67 c bounds 419 >= 29 @ 56.8009 65.35/65.67 c bounds 418 >= 29 @ 56.8065 65.35/65.67 c bounds 417 >= 29 @ 56.8108 65.35/65.67 c bounds 416 >= 29 @ 56.8181 65.35/65.67 c bounds 415 >= 29 @ 56.8237 65.35/65.67 c bounds 414 >= 29 @ 56.8321 65.35/65.67 c bounds 413 >= 29 @ 56.8385 65.35/65.67 c bounds 412 >= 29 @ 56.8448 65.35/65.67 c bounds 411 >= 29 @ 56.8502 65.35/65.67 c bounds 410 >= 29 @ 56.8555 65.35/65.67 c bounds 409 >= 29 @ 56.8638 65.35/65.67 c bounds 408 >= 29 @ 56.8716 65.35/65.67 c bounds 407 >= 29 @ 56.878 65.35/65.67 c bounds 406 >= 29 @ 56.8854 65.35/65.67 c bounds 405 >= 29 @ 56.8918 65.35/65.67 c bounds 404 >= 29 @ 56.8973 65.35/65.67 c bounds 403 >= 29 @ 56.9007 65.35/65.67 c bounds 402 >= 29 @ 56.9061 65.35/65.67 c bounds 401 >= 29 @ 56.9104 65.35/65.67 c bounds 400 >= 29 @ 56.9158 65.35/65.67 c bounds 399 >= 29 @ 56.9211 65.35/65.67 c bounds 398 >= 29 @ 56.9289 65.35/65.67 c bounds 397 >= 29 @ 56.9343 65.35/65.67 c bounds 396 >= 29 @ 56.9417 65.35/65.67 c bounds 395 >= 29 @ 56.9505 65.35/65.67 c bounds 394 >= 29 @ 56.9615 65.35/65.67 c bounds 393 >= 29 @ 56.9694 65.35/65.67 c bounds 392 >= 29 @ 56.9783 65.35/65.67 c bounds 391 >= 29 @ 56.9852 65.35/65.67 c bounds 390 >= 29 @ 56.9937 65.35/65.67 c bounds 389 >= 29 @ 57.0029 65.35/65.67 c bounds 388 >= 29 @ 57.0115 65.35/65.67 c bounds 387 >= 29 @ 57.0194 65.35/65.67 c bounds 386 >= 29 @ 57.0285 65.35/65.67 c bounds 385 >= 29 @ 57.0363 65.35/65.67 c bounds 384 >= 29 @ 57.0438 65.35/65.67 c bounds 383 >= 29 @ 57.0517 65.35/65.67 c bounds 382 >= 29 @ 57.0607 65.35/65.67 c bounds 381 >= 29 @ 57.0688 65.35/65.67 c bounds 380 >= 29 @ 57.0816 65.35/65.67 c bounds 379 >= 29 @ 57.0882 65.35/65.67 c bounds 378 >= 29 @ 57.0958 65.35/65.67 c bounds 377 >= 29 @ 57.1003 65.35/65.67 c bounds 376 >= 29 @ 57.1093 65.35/65.67 c bounds 375 >= 29 @ 57.1156 65.35/65.67 c bounds 374 >= 29 @ 57.123 65.35/65.67 c bounds 373 >= 29 @ 57.1275 65.35/65.67 c bounds 372 >= 29 @ 57.1338 65.35/65.67 c bounds 371 >= 29 @ 57.139 65.35/65.67 c bounds 370 >= 29 @ 57.1453 65.35/65.67 c bounds 369 >= 29 @ 57.1519 65.35/65.67 c bounds 368 >= 29 @ 57.1593 65.35/65.67 c bounds 367 >= 29 @ 57.1654 65.35/65.67 c bounds 366 >= 29 @ 57.1734 65.35/65.67 c bounds 365 >= 29 @ 57.1818 65.35/65.67 c bounds 364 >= 29 @ 57.1916 65.35/65.67 c bounds 363 >= 29 @ 57.2023 65.35/65.67 c bounds 362 >= 29 @ 57.2102 65.35/65.67 c bounds 361 >= 29 @ 57.2223 65.35/65.67 c bounds 360 >= 29 @ 57.2355 65.35/65.67 c bounds 359 >= 29 @ 57.2548 65.35/65.67 c bounds 358 >= 29 @ 57.2651 65.35/65.67 c bounds 357 >= 29 @ 57.2773 65.35/65.67 c bounds 356 >= 29 @ 57.2853 65.35/65.67 c bounds 355 >= 29 @ 57.2913 65.35/65.67 c bounds 354 >= 29 @ 57.2989 65.35/65.67 c bounds 353 >= 29 @ 57.3063 65.35/65.67 c bounds 352 >= 29 @ 57.3107 65.35/65.67 c bounds 351 >= 29 @ 57.3164 65.35/65.67 c bounds 350 >= 29 @ 57.3262 65.35/65.67 c bounds 349 >= 29 @ 57.3352 65.35/65.67 c bounds 348 >= 29 @ 57.3478 65.35/65.67 c bounds 347 >= 29 @ 57.3619 65.35/65.67 c bounds 346 >= 29 @ 57.3729 65.35/65.67 c bounds 345 >= 29 @ 57.3836 65.35/65.67 c bounds 344 >= 29 @ 57.3917 65.35/65.67 c bounds 343 >= 29 @ 57.3978 65.35/65.67 c bounds 342 >= 29 @ 57.4042 65.35/65.67 c bounds 341 >= 29 @ 57.4108 65.35/65.67 c bounds 340 >= 29 @ 57.4183 65.35/65.67 c bounds 339 >= 29 @ 57.4262 65.35/65.67 c bounds 338 >= 29 @ 57.431 65.35/65.67 c bounds 337 >= 29 @ 57.437 65.35/65.67 c bounds 336 >= 29 @ 57.4422 65.35/65.67 c bounds 335 >= 29 @ 57.4551 65.35/65.67 c bounds 334 >= 29 @ 57.4632 65.35/65.67 c bounds 333 >= 29 @ 57.472 65.35/65.67 c bounds 332 >= 29 @ 57.4773 65.35/65.67 c bounds 331 >= 29 @ 57.4862 65.35/65.67 c bounds 330 >= 29 @ 57.5075 65.35/65.67 c bounds 329 >= 29 @ 57.5273 65.35/65.67 c bounds 328 >= 29 @ 57.5459 65.35/65.67 c bounds 327 >= 29 @ 57.5769 65.35/65.67 c bounds 326 >= 29 @ 57.616 65.35/65.67 c bounds 325 >= 29 @ 57.6387 65.35/65.67 c bounds 324 >= 29 @ 57.6632 65.35/65.67 c bounds 323 >= 29 @ 57.7108 65.35/65.67 c bounds 322 >= 29 @ 57.7675 65.35/65.67 c bounds 321 >= 29 @ 57.835 65.35/65.67 c bounds 320 >= 29 @ 57.9982 65.35/65.67 c bounds 319 >= 29 @ 58.0751 65.35/65.67 c bounds 318 >= 29 @ 58.1263 65.35/65.67 c bounds 317 >= 29 @ 58.1594 65.35/65.67 c bounds 316 >= 29 @ 58.1858 65.35/65.67 c bounds 315 >= 29 @ 58.3789 65.35/65.67 c bounds 314 >= 29 @ 58.6596 65.35/65.67 c bounds 313 >= 29 @ 58.8662 65.35/65.67 c bounds 312 >= 29 @ 58.9171 65.35/65.67 c bounds 311 >= 29 @ 58.9575 65.35/65.67 c bounds 310 >= 29 @ 58.9983 65.35/65.67 c bounds 309 >= 29 @ 59.0233 65.35/65.67 c bounds 308 >= 29 @ 59.036 65.35/65.67 c bounds 307 >= 29 @
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: 64096 MiB (60962 MiB free)
memory of node 1: 64473 MiB (63814 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462765-1722344445/watcher-4462765-1722344445 -o /tmp/evaluation-result-4462765-1722344445/solver-4462765-1722344445 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1722340763-6263 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462765-1722344445 --lp-cut-gomory=0 HOME/instance-4462765-1722344445.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=8501, runsolver pid=8498
[startup+0.100943 s]*
/proc/loadavg: 4.25 4.29 4.16 5/258 8502
/proc/meminfo: memFree=127755508/131655788 swapFree=131071216/131071996
[pid=8501] ppid=8498 vsize=39168 memory=7704 CPUtime=0.09 cores=0,2
/proc/8501/stat : 8501 (roundingsat) R 8498 8501 6253 0 -1 4194304 992 0 0 0 8 1 0 0 20 0 1 0 815137 40108032 1926 134679101440 4194304 8255733 140721246991184 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28057600 140721246999394 140721246999656 140721246999656 140721247006665 0
/proc/8501/statm: 9792 1926 1365 992 0 1650 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39168 KiB
Current children cumulated memory: 7704 KiB
[startup+0.213985 s]*
/proc/loadavg: 4.25 4.29 4.16 5/258 8502
/proc/meminfo: memFree=127740052/131655788 swapFree=131071216/131071996
[pid=8501] ppid=8498 vsize=39168 memory=8760 CPUtime=0.2 cores=0,2
/proc/8501/stat : 8501 (roundingsat) R 8498 8501 6253 0 -1 4194304 1204 0 0 0 19 1 0 0 20 0 1 0 815137 40108032 2190 134679101440 4194304 8255733 140721246991184 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28057600 140721246999394 140721246999656 140721246999656 140721247006665 0
/proc/8501/statm: 9792 2190 1365 992 0 1650 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 39168 KiB
Current children cumulated memory: 8760 KiB
[startup+0.313628 s]*
/proc/loadavg: 4.23 4.28 4.16 5/258 8502
/proc/meminfo: memFree=127724120/131655788 swapFree=131071216/131071996
[pid=8501] ppid=8498 vsize=39168 memory=11072 CPUtime=0.3 cores=0,2
/proc/8501/stat : 8501 (roundingsat) R 8498 8501 6253 0 -1 4194304 1327 0 0 0 28 2 0 0 20 0 1 0 815137 40108032 2768 134679101440 4194304 8255733 140721246991184 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28057600 140721246999394 140721246999656 140721246999656 140721247006665 0
/proc/8501/statm: 9792 2768 1365 992 0 1650 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 39168 KiB
Current children cumulated memory: 11072 KiB
[startup+0.700287 s]
/proc/loadavg: 4.23 4.28 4.16 5/258 8502
/proc/meminfo: memFree=127698372/131655788 swapFree=131071216/131071996
[pid=8501] ppid=8498 vsize=42212 memory=14380 CPUtime=0.67 cores=0,2
/proc/8501/stat : 8501 (roundingsat) R 8498 8501 6253 0 -1 4194304 1636 0 0 0 63 4 0 0 20 0 1 0 815137 43225088 3595 134679101440 4194304 8255733 140721246991184 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28057600 140721246999394 140721246999656 140721246999656 140721247006665 0
/proc/8501/statm: 10553 3595 1365 992 0 2411 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 42212 KiB
Current children cumulated memory: 14380 KiB
[startup+1.50029 s]
/proc/loadavg: 4.23 4.28 4.16 5/258 8502
/proc/meminfo: memFree=127628260/131655788 swapFree=131071216/131071996
[pid=8501] ppid=8498 vsize=68792 memory=40196 CPUtime=1.47 cores=0,2
/proc/8501/stat : 8501 (roundingsat) R 8498 8501 6253 0 -1 4194304 6486 0 0 0 137 10 0 0 20 0 1 0 815137 70443008 10049 134679101440 4194304 8255733 140721246991184 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28057600 140721246999394 140721246999656 140721246999656 140721247006665 0
/proc/8501/statm: 17198 10049 1667 992 0 9056 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 68792 KiB
Current children cumulated memory: 40196 KiB
[startup+3.11396 s]
/proc/loadavg: 4.23 4.28 4.16 5/258 8502
/proc/meminfo: memFree=127065752/131655788 swapFree=131071216/131071996
[pid=8501] ppid=8498 vsize=293980 memory=265628 CPUtime=3.08 cores=0,2
/proc/8501/stat : 8501 (roundingsat) R 8498 8501 6253 0 -1 4194304 33776 0 0 0 283 25 0 0 20 0 1 0 815137 301035520 66407 134679101440 4194304 8255733 140721246991184 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28057600 140721246999394 140721246999656 140721246999656 140721247006665 0
/proc/8501/statm: 73495 66407 1730 992 0 65353 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 293980 KiB
Current children cumulated memory: 265628 KiB
[startup+6.30026 s]
/proc/loadavg: 4.21 4.28 4.16 4/258 8502
/proc/meminfo: memFree=126762800/131655788 swapFree=131071216/131071996
[pid=8501] ppid=8498 vsize=293980 memory=265820 CPUtime=6.25 cores=0,2
/proc/8501/stat : 8501 (roundingsat) R 8498 8501 6253 0 -1 4194304 33830 0 0 0 600 25 0 0 20 0 1 0 815137 301035520 66455 134679101440 4194304 8255733 140721246991184 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28057600 140721246999394 140721246999656 140721246999656 140721247006665 0
/proc/8501/statm: 73495 66455 1778 992 0 65353 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 293980 KiB
Current children cumulated memory: 265820 KiB
[startup+12.7003 s]
/proc/loadavg: 4.20 4.27 4.16 4/258 8504
/proc/meminfo: memFree=126706596/131655788 swapFree=131071216/131071996
[pid=8501] ppid=8498 vsize=324624 memory=284928 CPUtime=12.64 cores=0,2
/proc/8501/stat : 8501 (roundingsat) R 8498 8501 6253 0 -1 4194304 35009 0 0 0 1183 81 0 0 20 0 1 0 815137 332414976 71232 134679101440 4194304 8255733 140721246991184 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28057600 140721246999394 140721246999656 140721246999656 140721247006665 0
/proc/8501/statm: 81156 71232 1878 992 0 73014 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 324624 KiB
Current children cumulated memory: 284928 KiB
[startup+25.5003 s]
/proc/loadavg: 4.16 4.26 4.16 4/258 8516
/proc/meminfo: memFree=126650304/131655788 swapFree=131071216/131071996
[pid=8501] ppid=8498 vsize=347964 memory=312412 CPUtime=25.4 cores=0,2
/proc/8501/stat : 8501 (roundingsat) R 8498 8501 6253 0 -1 4194304 36425 0 0 0 2445 95 0 0 20 0 1 0 815137 356315136 78103 134679101440 4194304 8255733 140721246991184 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28057600 140721246999394 140721246999656 140721246999656 140721247006665 0
/proc/8501/statm: 86991 78103 1878 992 0 78849 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 347964 KiB
Current children cumulated memory: 312412 KiB
[startup+51.1141 s]
/proc/loadavg: 4.24 4.27 4.16 4/258 8521
/proc/meminfo: memFree=126701536/131655788 swapFree=131071216/131071996
[pid=8501] ppid=8498 vsize=347964 memory=312412 CPUtime=50.92 cores=0,2
/proc/8501/stat : 8501 (roundingsat) R 8498 8501 6253 0 -1 4194304 36555 0 0 0 4993 99 0 0 20 0 1 0 815137 356315136 78103 134679101440 4194304 8255733 140721246991184 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28057600 140721246999394 140721246999656 140721246999656 140721247006665 0
/proc/8501/statm: 86991 78103 1878 992 0 78849 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 347964 KiB
Current children cumulated memory: 312412 KiB
[startup+102.3 s]
/proc/loadavg: 4.20 4.26 4.17 5/244 8557
/proc/meminfo: memFree=125811984/131655788 swapFree=131071216/131071996
[pid=8501] ppid=8498 vsize=751924 memory=639004 CPUtime=101.93 cores=0,2
/proc/8501/stat : 8501 (roundingsat) R 8498 8501 6253 0 -1 4194304 87177 0 0 0 9446 747 0 0 20 0 1 0 815137 769970176 159751 134679101440 4194304 8255733 140721246991184 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28057600 140721246999394 140721246999656 140721246999656 140721247006665 0
/proc/8501/statm: 187981 159751 1894 992 0 179839 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 751924 KiB
Current children cumulated memory: 639004 KiB
[startup+162.3 s]
/proc/loadavg: 4.20 4.24 4.17 5/249 8589
/proc/meminfo: memFree=127848756/131655788 swapFree=131071216/131071996
[pid=8501] ppid=8498 vsize=977668 memory=837532 CPUtime=161.71 cores=0,2
/proc/8501/stat : 8501 (roundingsat) R 8498 8501 6253 0 -1 4194304 91827 0 0 0 15417 754 0 0 20 0 1 0 815137 1001132032 209383 134679101440 4194304 8255733 140721246991184 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28057600 140721246999394 140721246999656 140721246999656 140721247006665 0
/proc/8501/statm: 244417 209383 1894 992 0 236275 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 977668 KiB
Current children cumulated memory: 837532 KiB
[startup+222.3 s]
/proc/loadavg: 4.21 4.23 4.17 5/245 8600
/proc/meminfo: memFree=127451492/131655788 swapFree=131071216/131071996
[pid=8501] ppid=8498 vsize=1137056 memory=947096 CPUtime=221.49 cores=0,2
/proc/8501/stat : 8501 (roundingsat) R 8498 8501 6253 0 -1 4194304 95325 0 0 0 21387 762 0 0 20 0 1 0 815137 1164345344 236774 134679101440 4194304 8255733 140721246991184 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28057600 140721246999394 140721246999656 140721246999656 140721247006665 0
/proc/8501/statm: 284264 236774 1894 992 0 276122 0
Current children cumulated CPU time: 221.49 s
Current children cumulated vsize: 1137056 KiB
Current children cumulated memory: 947096 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.20 4.16 5/244 8610
/proc/meminfo: memFree=127282992/131655788 swapFree=131071216/131071996
[pid=8501] ppid=8498 vsize=1181544 memory=1010168 CPUtime=281.26 cores=0,2
/proc/8501/stat : 8501 (roundingsat) R 8498 8501 6253 0 -1 4194304 98231 0 0 0 27361 765 0 0 20 0 1 0 815137 1209901056 252542 134679101440 4194304 8255733 140721246991184 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28057600 140721246999394 140721246999656 140721246999656 140721247006665 0
/proc/8501/statm: 295386 252542 1894 992 0 287244 0
Current children cumulated CPU time: 281.26 s
Current children cumulated vsize: 1181544 KiB
Current children cumulated memory: 1010168 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 4.19 4.16 5/245 8623
/proc/meminfo: memFree=127076840/131655788 swapFree=131071216/131071996
[pid=8501] ppid=8498 vsize=1188532 memory=1049736 CPUtime=341.03 cores=0,2
/proc/8501/stat : 8501 (roundingsat) R 8498 8501 6253 0 -1 4194304 100272 0 0 0 33336 767 0 0 20 0 1 0 815137 1217056768 262434 134679101440 4194304 8255733 140721246991184 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28057600 140721246999394 140721246999656 140721246999656 140721247006665 0
/proc/8501/statm: 297133 262434 1894 992 0 288991 0
Current children cumulated CPU time: 341.03 s
Current children cumulated vsize: 1188532 KiB
Current children cumulated memory: 1049736 KiB
[startup+402.3 s]
/proc/loadavg: 4.06 4.15 4.15 6/244 8633
/proc/meminfo: memFree=126870828/131655788 swapFree=131071216/131071996
[pid=8501] ppid=8498 vsize=1166336 memory=1052672 CPUtime=400.8 cores=0,2
/proc/8501/stat : 8501 (roundingsat) R 8498 8501 6253 0 -1 4194304 103934 0 0 0 39310 770 0 0 20 0 1 0 815137 1194328064 263168 134679101440 4194304 8255733 140721246991184 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28057600 140721246999394 140721246999656 140721246999656 140721247006665 0
/proc/8501/statm: 291584 263168 1894 992 0 283442 0
Current children cumulated CPU time: 400.8 s
Current children cumulated vsize: 1166336 KiB
Current children cumulated memory: 1052672 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.15 4.15 5/244 8643
/proc/meminfo: memFree=126806232/131655788 swapFree=131071216/131071996
[pid=8501] ppid=8498 vsize=1344924 memory=1116664 CPUtime=460.57 cores=0,2
/proc/8501/stat : 8501 (roundingsat) R 8498 8501 6253 0 -1 4194304 106302 0 0 0 45282 775 0 0 20 0 1 0 815137 1377202176 279166 134679101440 4194304 8255733 140721246991184 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28057600 140721246999394 140721246999656 140721246999656 140721247006665 0
/proc/8501/statm: 336231 279166 1894 992 0 328089 0
################
# More data... #
################
[startup+3162.3 s]
/proc/loadavg: 4.18 4.26 4.24 5/248 9811
/proc/meminfo: memFree=108861012/131655788 swapFree=131071216/131071996
[pid=8501] ppid=8498 vsize=1707860 memory=1450116 CPUtime=3149.86 cores=0,2
/proc/8501/stat : 8501 (roundingsat) R 8498 8501 6253 0 -1 4194304 147132 0 0 0 314155 831 0 0 20 0 1 0 815137 1748848640 362529 134679101440 4194304 8255733 140721246991184 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28057600 140721246999394 140721246999656 140721246999656 140721247006665 0
/proc/8501/statm: 426965 362529 1894 992 0 418823 0
Current children cumulated CPU time: 3149.86 s
Current children cumulated vsize: 1707860 KiB
Current children cumulated memory: 1450116 KiB
[startup+3222.3 s]
/proc/loadavg: 4.18 4.24 4.23 5/254 9827
/proc/meminfo: memFree=108253908/131655788 swapFree=131071216/131071996
[pid=8501] ppid=8498 vsize=1707860 memory=1450116 CPUtime=3209.63 cores=0,2
/proc/8501/stat : 8501 (roundingsat) R 8498 8501 6253 0 -1 4194304 147589 0 0 0 320132 831 0 0 20 0 1 0 815137 1748848640 362529 134679101440 4194304 8255733 140721246991184 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28057600 140721246999394 140721246999656 140721246999656 140721247006665 0
/proc/8501/statm: 426965 362529 1894 992 0 418823 0
Current children cumulated CPU time: 3209.63 s
Current children cumulated vsize: 1707860 KiB
Current children cumulated memory: 1450116 KiB
[startup+3282.3 s]
/proc/loadavg: 4.19 4.23 4.23 5/254 10219
/proc/meminfo: memFree=106784296/131655788 swapFree=131071216/131071996
[pid=8501] ppid=8498 vsize=1716804 memory=1459188 CPUtime=3269.41 cores=0,2
/proc/8501/stat : 8501 (roundingsat) R 8498 8501 6253 0 -1 4194304 147970 0 0 0 326109 832 0 0 20 0 1 0 815137 1758007296 364797 134679101440 4194304 8255733 140721246991184 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28057600 140721246999394 140721246999656 140721246999656 140721247006665 0
/proc/8501/statm: 429201 364797 1894 992 0 421059 0
Current children cumulated CPU time: 3269.41 s
Current children cumulated vsize: 1716804 KiB
Current children cumulated memory: 1459188 KiB
[startup+3342.3 s]
/proc/loadavg: 4.23 4.24 4.23 5/254 10232
/proc/meminfo: memFree=105094732/131655788 swapFree=131071216/131071996
[pid=8501] ppid=8498 vsize=1769148 memory=1511532 CPUtime=3329.18 cores=0,2
/proc/8501/stat : 8501 (roundingsat) R 8498 8501 6253 0 -1 4194304 149254 0 0 0 332085 833 0 0 20 0 1 0 815137 1811607552 377883 134679101440 4194304 8255733 140721246991184 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28057600 140721246999394 140721246999656 140721246999656 140721247006665 0
/proc/8501/statm: 442287 377883 1894 992 0 434145 0
Current children cumulated CPU time: 3329.18 s
Current children cumulated vsize: 1769148 KiB
Current children cumulated memory: 1511532 KiB
[startup+3402.3 s]
/proc/loadavg: 4.19 4.23 4.22 5/254 10242
/proc/meminfo: memFree=105021952/131655788 swapFree=131071216/131071996
[pid=8501] ppid=8498 vsize=1716804 memory=1461096 CPUtime=3388.94 cores=0,2
/proc/8501/stat : 8501 (roundingsat) R 8498 8501 6253 0 -1 4194304 149669 0 0 0 338061 833 0 0 20 0 1 0 815137 1758007296 365274 134679101440 4194304 8255733 140721246991184 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28057600 140721246999394 140721246999656 140721246999656 140721247006665 0
/proc/8501/statm: 429201 365274 1894 992 0 421059 0
Current children cumulated CPU time: 3388.94 s
Current children cumulated vsize: 1716804 KiB
Current children cumulated memory: 1461096 KiB
[startup+3462.3 s]
/proc/loadavg: 4.19 4.22 4.22 5/252 10421
/proc/meminfo: memFree=104802252/131655788 swapFree=131071216/131071996
[pid=8501] ppid=8498 vsize=1716804 memory=1461096 CPUtime=3448.68 cores=0,2
/proc/8501/stat : 8501 (roundingsat) R 8498 8501 6253 0 -1 4194304 149815 0 0 0 344035 833 0 0 20 0 1 0 815137 1758007296 365274 134679101440 4194304 8255733 140721246991184 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28057600 140721246999394 140721246999656 140721246999656 140721247006665 0
/proc/8501/statm: 429201 365274 1894 992 0 421059 0
Current children cumulated CPU time: 3448.68 s
Current children cumulated vsize: 1716804 KiB
Current children cumulated memory: 1461096 KiB
[startup+3522.3 s]
/proc/loadavg: 4.19 4.20 4.21 5/249 10432
/proc/meminfo: memFree=104725480/131655788 swapFree=131071216/131071996
[pid=8501] ppid=8498 vsize=1769600 memory=1513892 CPUtime=3508.43 cores=0,2
/proc/8501/stat : 8501 (roundingsat) R 8498 8501 6253 0 -1 4194304 151226 0 0 0 350008 835 0 0 20 0 1 0 815137 1812070400 378473 134679101440 4194304 8255733 140721246991184 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28057600 140721246999394 140721246999656 140721246999656 140721247006665 0
/proc/8501/statm: 442400 378473 1894 992 0 434258 0
Current children cumulated CPU time: 3508.43 s
Current children cumulated vsize: 1769600 KiB
Current children cumulated memory: 1513892 KiB
[startup+3582.3 s]
/proc/loadavg: 4.17 4.20 4.21 5/249 10446
/proc/meminfo: memFree=104700316/131655788 swapFree=131071216/131071996
[pid=8501] ppid=8498 vsize=1769600 memory=1513892 CPUtime=3568.2 cores=0,2
/proc/8501/stat : 8501 (roundingsat) R 8498 8501 6253 0 -1 4194304 151655 0 0 0 355984 836 0 0 20 0 1 0 815137 1812070400 378473 134679101440 4194304 8255733 140721246991184 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28057600 140721246999394 140721246999656 140721246999656 140721247006665 0
/proc/8501/statm: 442400 378473 1894 992 0 434258 0
Current children cumulated CPU time: 3568.2 s
Current children cumulated vsize: 1769600 KiB
Current children cumulated memory: 1513892 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3614.3 s]
/proc/loadavg: 4.18 4.19 4.20 5/249 10497
/proc/meminfo: memFree=109682776/131655788 swapFree=131071216/131071996
[pid=8501] ppid=8498 vsize=1769600 memory=1513892 CPUtime=3600.07 cores=0,2
/proc/8501/stat : 8501 (roundingsat) R 8498 8501 6253 0 -1 4194304 151799 0 0 0 359171 836 0 0 20 0 1 0 815137 1812070400 378473 134679101440 4194304 8255733 140721246991184 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28057600 140721246999394 140721246999656 140721246999656 140721247006665 0
/proc/8501/statm: 442400 378473 1894 992 0 434258 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1769600 KiB
Current children cumulated memory: 1513892 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+3616.31 s]
# the end of solver process 8501 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3593.71 s, system=8.37113 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3614.4 s]
/proc/loadavg: 4.18 4.19 4.20 5/249 10497
/proc/meminfo: memFree=109682776/131655788 swapFree=131071216/131071996
[pid=8501] ppid=8498 vsize=1769600 memory=1513892 CPUtime=3600.17 cores=0,2
/proc/8501/stat : 8501 (roundingsat) R 8498 8501 6253 0 -1 4194304 151799 0 0 0 359181 836 0 0 20 0 1 0 815137 1812070400 378473 134679101440 4194304 8255733 140721246991184 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28057600 140721246999394 140721246999656 140721246999656 140721247006665 0
/proc/8501/statm: 442400 378473 1894 992 0 434258 0
Current children cumulated CPU time: 3600.17 s
Current children cumulated vsize: 1769600 KiB
Current children cumulated memory: 1513892 KiB
[startup+3615.2 s]
/proc/loadavg: 4.18 4.19 4.20 5/249 10497
/proc/meminfo: memFree=109669608/131655788 swapFree=131071216/131071996
[pid=8501] ppid=8498 vsize=1769600 memory=1513892 CPUtime=3600.96 cores=0,2
/proc/8501/stat : 8501 (roundingsat) R 8498 8501 6253 0 -1 4194304 151799 0 0 0 359260 836 0 0 20 0 1 0 815137 1812070400 378473 134679101440 4194304 8255733 140721246991184 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28057600 140721246999394 140721246999656 140721246999656 140721247006665 0
/proc/8501/statm: 442400 378473 1894 992 0 434258 0
Current children cumulated CPU time: 3600.96 s
Current children cumulated vsize: 1769600 KiB
Current children cumulated memory: 1513892 KiB
[startup+3616 s]*
/proc/loadavg: 4.17 4.19 4.20 5/249 10508
/proc/meminfo: memFree=109664300/131655788 swapFree=131071216/131071996
[pid=8501] ppid=8498 vsize=1769600 memory=1513892 CPUtime=3601.77 cores=0,2
/proc/8501/stat : 8501 (roundingsat) R 8498 8501 6253 0 -1 4194304 151799 0 0 0 359341 836 0 0 20 0 1 0 815137 1812070400 378473 134679101440 4194304 8255733 140721246991184 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28057600 140721246999394 140721246999656 140721246999656 140721247006665 0
/proc/8501/statm: 442400 378473 1894 992 0 434258 0
Current children cumulated CPU time: 3601.77 s
Current children cumulated vsize: 1769600 KiB
Current children cumulated memory: 1513892 KiB
[startup+3616.2 s]
/proc/loadavg: 4.17 4.19 4.20 5/249 10508
/proc/meminfo: memFree=109664300/131655788 swapFree=131071216/131071996
[pid=8501] ppid=8498 vsize=1769600 memory=1513892 CPUtime=3601.96 cores=0,2
/proc/8501/stat : 8501 (roundingsat) R 8498 8501 6253 0 -1 4194304 151799 0 0 0 359360 836 0 0 20 0 1 0 815137 1812070400 378473 134679101440 4194304 8255733 140721246991184 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28057600 140721246999394 140721246999656 140721246999656 140721247006665 0
/proc/8501/statm: 442400 378473 1894 992 0 434258 0
Current children cumulated CPU time: 3601.96 s
Current children cumulated vsize: 1769600 KiB
Current children cumulated memory: 1513892 KiB
[startup+3616.3 s]
/proc/loadavg: 4.17 4.19 4.20 5/249 10508
/proc/meminfo: memFree=109664300/131655788 swapFree=131071216/131071996
[pid=8501] ppid=8498 vsize=1769600 memory=1513892 CPUtime=3602.06 cores=0,2
/proc/8501/stat : 8501 (roundingsat) R 8498 8501 6253 0 -1 4194304 151799 0 0 0 359370 836 0 0 20 0 1 0 815137 1812070400 378473 134679101440 4194304 8255733 140721246991184 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28057600 140721246999394 140721246999656 140721246999656 140721247006665 0
/proc/8501/statm: 442400 378473 1894 992 0 434258 0
Current children cumulated CPU time: 3602.06 s
Current children cumulated vsize: 1769600 KiB
Current children cumulated memory: 1513892 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3616.31
CPU time (s): 3602.08
CPU user time (s): 3593.71
CPU system time (s): 8.37113
CPU usage (%): 99.6064
Max. virtual memory (cumulated for all children) (KiB): 1813584
Max. memory (cumulated for all children) (KiB): 1513892
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.71
system time used= 8.37113
maximum resident set size= 1521440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 151799
page faults= 0
swaps= 0
block input operations= 0
block output operations= 638416
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 75
involuntary context switches= 25225
# summary of solver processes directly reported to runsolver:
# pid: 8501
# total CPU time (s): 3602.08
# total CPU user time (s): 3593.71
# total CPU system time (s): 8.37113
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.7045 second user time and 36.6151 second system time
The end
Begin job on nodeC007 at 2024-07-30 15:00:45 IDJOB=4462765 IDBENCH=155400 IDSOLVER=3089 FILE ID=nodeC007/4462765-1722344445 RUNJOBID= nodeC007-1722340763-6263 SLURM_JOB_ID= 8248987 Free space on /tmp= 723728 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-4462765-1722344445/watcher-4462765-1722344445 -o /tmp/evaluation-result-4462765-1722344445/solver-4462765-1722344445 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1722340763-6263 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462765-1722344445 --lp-cut-gomory=0 HOME/instance-4462765-1722344445.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 6ff458260e5cc7a1e00e7b04a599a648 RANDOM SEED=768974306 nodeC007.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 : 0xb00001f cpu MHz : 1260.355 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.58 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 : 0xb00001f cpu MHz : 3669.358 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.35 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 : 0xb00001f cpu MHz : 1197.255 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.58 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 : 0xb00001f cpu MHz : 1197.350 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.35 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 : 0xb00001f cpu MHz : 3671.253 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.58 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 : 0xb00001f cpu MHz : 3644.721 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.35 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 : 0xb00001f cpu MHz : 1197.218 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.58 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 : 0xb00001f cpu MHz : 1197.235 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.35 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 127777876 kB MemAvailable: 129864072 kB Buffers: 37268 kB Cached: 2888852 kB SwapCached: 100 kB Active: 152668 kB Inactive: 3225812 kB Active(anon): 1632 kB Inactive(anon): 471880 kB Active(file): 151036 kB Inactive(file): 2753932 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071216 kB Dirty: 2644836 kB Writeback: 0 kB AnonPages: 452312 kB Mapped: 97316 kB Shmem: 21076 kB KReclaimable: 42852 kB Slab: 198156 kB SReclaimable: 42852 kB SUnreclaim: 155304 kB KernelStack: 4144 kB PageTables: 10136 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 775036 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 6240 kB HardwareCorrupted: 0 kB AnonHugePages: 190464 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: 174920 kB DirectMap2M: 7069696 kB DirectMap1G: 128974848 kB Free space on /tmp at the end= 723696 MiB End job on nodeC007 at 2024-07-30 16:01:02