Trace number 4429615

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
RoundingSat nolog (1)SAT (TO)53 3600.05 3612.62

General information on the benchmark

NamePB24/normalized-PB11/OPT-LIN/
kullmann/normalized-mul_8_9_shg.opb
MD5SUM6ff458260e5cc7a1e00e7b04a599a648
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark42
Best CPU time to get the best result obtained on this benchmark992.421
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7840
Total number of constraints65280
Number of constraints which are clauses65280
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint34
Maximum length of a constraint64
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 numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.99/1.04	c #variables 7840 #constraints 65280
2608.72/2617.84	c bounds 7841 >= 0 @ 0.966259
2608.72/2617.84	c bounds 1152 >= 0 @ 8.7225
2608.72/2617.84	c bounds 1152 >= 1 @ 8.72906
2608.72/2617.84	c bounds 1152 >= 2 @ 8.7335
2608.72/2617.84	c bounds 1152 >= 3 @ 8.74027
2608.72/2617.84	c bounds 1152 >= 4 @ 8.74322
2608.72/2617.84	c bounds 1152 >= 5 @ 8.74725
2608.72/2617.84	c bounds 1152 >= 6 @ 8.74989
2608.72/2617.84	c bounds 1152 >= 7 @ 8.75452
2608.72/2617.84	c bounds 1152 >= 8 @ 8.75909
2608.72/2617.84	c bounds 1152 >= 9 @ 8.76076
2608.72/2617.84	c bounds 1152 >= 10 @ 8.76398
2608.72/2617.84	c bounds 1152 >= 11 @ 8.76777
2608.72/2617.84	c bounds 1152 >= 12 @ 8.77411
2608.72/2617.84	c bounds 1152 >= 13 @ 8.77616
2608.72/2617.84	c bounds 1152 >= 14 @ 8.77753
2608.72/2617.84	c bounds 1152 >= 15 @ 8.78229
2608.72/2617.84	c bounds 1152 >= 16 @ 8.78345
2608.72/2617.84	c bounds 1152 >= 17 @ 8.79054
2608.72/2617.84	c bounds 1152 >= 18 @ 8.79427
2608.72/2617.84	c bounds 1152 >= 19 @ 8.79853
2608.72/2617.84	c bounds 1152 >= 20 @ 8.80215
2608.72/2617.84	c bounds 1152 >= 21 @ 8.80807
2608.72/2617.84	c bounds 1152 >= 22 @ 8.8127
2608.72/2617.84	c bounds 1152 >= 23 @ 8.81668
2608.72/2617.84	c bounds 1152 >= 24 @ 8.8232
2608.72/2617.84	c bounds 1152 >= 25 @ 8.82736
2608.72/2617.84	c bounds 1152 >= 26 @ 8.83895
2608.72/2617.84	c bounds 1152 >= 27 @ 8.85498
2608.72/2617.84	c bounds 1152 >= 28 @ 8.89134
2608.72/2617.84	c bounds 1152 >= 29 @ 9.10818
2608.72/2617.84	c bounds 1151 >= 29 @ 9.22794
2608.72/2617.84	c #Conflicts:       1000 | #Constraints:      66482
2608.72/2617.84	c #Conflicts:       2000 | #Constraints:      67482
2608.72/2617.84	c INPROCESSING
2608.72/2617.84	c GARBAGE COLLECT
2608.72/2617.84	c bounds 1150 >= 29 @ 2605.49
2608.72/2617.84	c bounds 1149 >= 29 @ 2605.51
2608.72/2617.84	c bounds 1148 >= 29 @ 2605.52
2608.72/2617.84	c bounds 1147 >= 29 @ 2605.53
2608.72/2617.84	c bounds 1146 >= 29 @ 2605.54
2608.72/2617.84	c bounds 1145 >= 29 @ 2605.55
2608.72/2617.84	c bounds 1144 >= 29 @ 2605.56
2608.72/2617.84	c bounds 1143 >= 29 @ 2605.57
2608.72/2617.84	c bounds 1142 >= 29 @ 2605.57
2608.72/2617.84	c bounds 1141 >= 29 @ 2605.59
2608.72/2617.84	c bounds 1140 >= 29 @ 2605.6
2608.72/2617.84	c bounds 1139 >= 29 @ 2605.61
2608.72/2617.84	c bounds 1138 >= 29 @ 2605.62
2608.72/2617.84	c bounds 1137 >= 29 @ 2605.63
2608.72/2617.84	c bounds 1136 >= 29 @ 2605.63
2608.72/2617.84	c bounds 1135 >= 29 @ 2605.64
2608.72/2617.84	c bounds 1134 >= 29 @ 2605.66
2608.72/2617.84	c bounds 1133 >= 29 @ 2605.66
2608.72/2617.84	c bounds 1132 >= 29 @ 2605.67
2608.72/2617.84	c bounds 1131 >= 29 @ 2605.69
2608.72/2617.84	c bounds 1130 >= 29 @ 2605.69
2608.72/2617.84	c bounds 1129 >= 29 @ 2605.7
2608.72/2617.84	c bounds 1128 >= 29 @ 2605.7
2608.72/2617.84	c bounds 1127 >= 29 @ 2605.71
2608.72/2617.84	c bounds 1126 >= 29 @ 2605.72
2608.72/2617.84	c bounds 1125 >= 29 @ 2605.73
2608.72/2617.84	c bounds 1124 >= 29 @ 2605.74
2608.72/2617.84	c bounds 1123 >= 29 @ 2605.75
2608.72/2617.84	c bounds 1122 >= 29 @ 2605.78
2608.72/2617.84	c bounds 1121 >= 29 @ 2605.8
2608.72/2617.84	c bounds 1120 >= 29 @ 2605.82
2608.72/2617.84	c bounds 1119 >= 29 @ 2605.83
2608.72/2617.84	c bounds 1118 >= 29 @ 2605.84
2608.72/2617.84	c bounds 1117 >= 29 @ 2605.85
2608.72/2617.84	c bounds 1116 >= 29 @ 2605.86
2608.72/2617.84	c bounds 1115 >= 29 @ 2605.87
2608.72/2617.84	c bounds 1114 >= 29 @ 2605.88
2608.72/2617.84	c bounds 1113 >= 29 @ 2605.88
2608.72/2617.84	c bounds 1112 >= 29 @ 2605.89
2608.72/2617.84	c bounds 1111 >= 29 @ 2605.9
2608.72/2617.84	c bounds 1110 >= 29 @ 2605.92
2608.72/2617.84	c bounds 1109 >= 29 @ 2605.93
2608.72/2617.84	c bounds 1108 >= 29 @ 2605.95
2608.72/2617.84	c bounds 1107 >= 29 @ 2605.96
2608.72/2617.84	c bounds 1106 >= 29 @ 2605.96
2608.72/2617.84	c bounds 1105 >= 29 @ 2605.97
2608.72/2617.84	c bounds 1104 >= 29 @ 2605.98
2608.72/2617.84	c bounds 1103 >= 29 @ 2606
2608.72/2617.84	c bounds 1102 >= 29 @ 2606.01
2608.72/2617.84	c bounds 1101 >= 29 @ 2606.02
2608.72/2617.84	c bounds 1100 >= 29 @ 2606.03
2608.72/2617.84	c bounds 1099 >= 29 @ 2606.04
2608.72/2617.84	c bounds 1098 >= 29 @ 2606.05
2608.72/2617.84	c bounds 1097 >= 29 @ 2606.06
2608.72/2617.84	c bounds 1096 >= 29 @ 2606.06
2608.72/2617.84	c bounds 1095 >= 29 @ 2606.07
2608.72/2617.84	c bounds 1094 >= 29 @ 2606.09
2608.72/2617.84	c bounds 1093 >= 29 @ 2606.09
2608.72/2617.84	c bounds 1092 >= 29 @ 2606.1
2608.72/2617.84	c bounds 1091 >= 29 @ 2606.11
2608.72/2617.84	c bounds 1090 >= 29 @ 2606.12
2608.72/2617.84	c bounds 1089 >= 29 @ 2606.13
2608.72/2617.84	c bounds 1088 >= 29 @ 2606.13
2608.72/2617.84	c bounds 1087 >= 29 @ 2606.15
2608.72/2617.84	c bounds 1086 >= 29 @ 2606.15
2608.72/2617.84	c bounds 1085 >= 29 @ 2606.16
2608.72/2617.84	c bounds 1084 >= 29 @ 2606.18
2608.72/2617.84	c bounds 1083 >= 29 @ 2606.19
2608.72/2617.84	c bounds 1082 >= 29 @ 2606.2
2608.72/2617.84	c bounds 1081 >= 29 @ 2606.21
2608.72/2617.84	c bounds 1080 >= 29 @ 2606.22
2608.72/2617.84	c bounds 1079 >= 29 @ 2606.23
2608.72/2617.84	c bounds 1078 >= 29 @ 2606.24
2608.72/2617.84	c bounds 1077 >= 29 @ 2606.25
2608.72/2617.84	c bounds 1076 >= 29 @ 2606.27
2608.72/2617.84	c bounds 1075 >= 29 @ 2606.27
2608.72/2617.84	c bounds 1074 >= 29 @ 2606.29
2608.72/2617.84	c bounds 1073 >= 29 @ 2606.3
2608.72/2617.84	c bounds 1072 >= 29 @ 2606.31
2608.72/2617.84	c bounds 1071 >= 29 @ 2606.32
2608.72/2617.84	c bounds 1070 >= 29 @ 2606.33
2608.72/2617.84	c bounds 1069 >= 29 @ 2606.34
2608.72/2617.84	c bounds 1068 >= 29 @ 2606.35
2608.72/2617.84	c bounds 1067 >= 29 @ 2606.36
2608.72/2617.84	c bounds 1066 >= 29 @ 2606.38
2608.72/2617.84	c bounds 1065 >= 29 @ 2606.39
2608.72/2617.84	c bounds 1064 >= 29 @ 2606.4
2608.72/2617.84	c bounds 1063 >= 29 @ 2606.41
2608.72/2617.84	c bounds 1062 >= 29 @ 2606.42
2608.72/2617.84	c bounds 1061 >= 29 @ 2606.43
2608.72/2617.84	c bounds 1060 >= 29 @ 2606.43
2608.72/2617.84	c bounds 1059 >= 29 @ 2606.44
2608.72/2617.84	c bounds 1058 >= 29 @ 2606.45
2608.72/2617.84	c bounds 1057 >= 29 @ 2606.46
2608.72/2617.84	c bounds 1056 >= 29 @ 2606.47
2608.72/2617.84	c bounds 1055 >= 29 @ 2606.49
2608.72/2617.84	c bounds 1054 >= 29 @ 2606.49
2608.72/2617.84	c bounds 1053 >= 29 @ 2606.5
2608.72/2617.84	c bounds 1052 >= 29 @ 2606.51
2608.72/2617.84	c bounds 1051 >= 29 @ 2606.52
2608.72/2617.84	c bounds 1050 >= 29 @ 2606.53
2610.92/2620.05	c bounds 1049 >= 29 @ 2606.53
2610.92/2620.05	c bounds 1048 >= 29 @ 2606.54
2610.92/2620.05	c bounds 1047 >= 29 @ 2606.55
2610.92/2620.05	c bounds 1046 >= 29 @ 2606.56
2610.92/2620.05	c bounds 1045 >= 29 @ 2606.58
2610.92/2620.05	c bounds 1044 >= 29 @ 2606.59
2610.92/2620.05	c bounds 1043 >= 29 @ 2606.6
2610.92/2620.05	c bounds 1042 >= 29 @ 2606.62
2610.92/2620.05	c bounds 1041 >= 29 @ 2606.63
2610.92/2620.05	c bounds 1040 >= 29 @ 2606.64
2610.92/2620.05	c bounds 1039 >= 29 @ 2606.65
2610.92/2620.05	c bounds 1038 >= 29 @ 2606.65
2610.92/2620.05	c bounds 1037 >= 29 @ 2606.66
2610.92/2620.05	c bounds 1036 >= 29 @ 2606.68
2610.92/2620.05	c bounds 1035 >= 29 @ 2606.68
2610.92/2620.05	c bounds 1034 >= 29 @ 2606.69
2610.92/2620.05	c bounds 1033 >= 29 @ 2606.7
2610.92/2620.05	c bounds 1032 >= 29 @ 2606.71
2610.92/2620.05	c bounds 1031 >= 29 @ 2606.74
2610.92/2620.05	c bounds 1030 >= 29 @ 2606.75
2610.92/2620.05	c bounds 1029 >= 29 @ 2606.76
2610.92/2620.05	c bounds 1028 >= 29 @ 2606.78
2610.92/2620.05	c bounds 1027 >= 29 @ 2606.79
2610.92/2620.05	c bounds 1026 >= 29 @ 2606.8
2610.92/2620.05	c bounds 1025 >= 29 @ 2606.81
2610.92/2620.05	c bounds 1024 >= 29 @ 2606.82
2610.92/2620.05	c bounds 1023 >= 29 @ 2606.83
2610.92/2620.05	c bounds 1022 >= 29 @ 2606.84
2610.92/2620.05	c bounds 1021 >= 29 @ 2606.85
2610.92/2620.05	c bounds 1020 >= 29 @ 2606.86
2610.92/2620.05	c bounds 1019 >= 29 @ 2606.87
2610.92/2620.05	c bounds 1018 >= 29 @ 2606.89
2610.92/2620.05	c bounds 1017 >= 29 @ 2606.9
2610.92/2620.05	c bounds 1016 >= 29 @ 2606.91
2610.92/2620.05	c bounds 1015 >= 29 @ 2606.92
2610.92/2620.05	c bounds 1014 >= 29 @ 2606.93
2610.92/2620.05	c bounds 1013 >= 29 @ 2606.94
2610.92/2620.05	c bounds 1012 >= 29 @ 2606.94
2610.92/2620.05	c bounds 1011 >= 29 @ 2606.95
2610.92/2620.05	c bounds 1010 >= 29 @ 2606.96
2610.92/2620.05	c bounds 1009 >= 29 @ 2606.97
2610.92/2620.05	c bounds 1008 >= 29 @ 2606.98
2610.92/2620.05	c bounds 1007 >= 29 @ 2606.98
2610.92/2620.05	c bounds 1006 >= 29 @ 2606.99
2610.92/2620.05	c bounds 1005 >= 29 @ 2607
2610.92/2620.05	c bounds 1004 >= 29 @ 2607.01
2610.92/2620.05	c bounds 1003 >= 29 @ 2607.01
2610.92/2620.05	c bounds 1002 >= 29 @ 2607.03
2610.92/2620.05	c bounds 1001 >= 29 @ 2607.04
2610.92/2620.05	c bounds 1000 >= 29 @ 2607.05
2610.92/2620.05	c bounds 999 >= 29 @ 2607.07
2610.92/2620.05	c bounds 998 >= 29 @ 2607.08
2610.92/2620.05	c bounds 997 >= 29 @ 2607.09
2610.92/2620.05	c bounds 996 >= 29 @ 2607.1
2610.92/2620.05	c bounds 995 >= 29 @ 2607.11
2610.92/2620.05	c bounds 994 >= 29 @ 2607.12
2610.92/2620.05	c bounds 993 >= 29 @ 2607.13
2610.92/2620.05	c bounds 992 >= 29 @ 2607.14
2610.92/2620.05	c bounds 991 >= 29 @ 2607.15
2610.92/2620.05	c bounds 990 >= 29 @ 2607.16
2610.92/2620.05	c bounds 989 >= 29 @ 2607.17
2610.92/2620.05	c bounds 988 >= 29 @ 2607.17
2610.92/2620.05	c bounds 987 >= 29 @ 2607.18
2610.92/2620.05	c bounds 986 >= 29 @ 2607.18
2610.92/2620.05	c bounds 985 >= 29 @ 2607.19
2610.92/2620.05	c bounds 984 >= 29 @ 2607.2
2610.92/2620.05	c bounds 983 >= 29 @ 2607.21
2610.92/2620.05	c bounds 982 >= 29 @ 2607.21
2610.92/2620.05	c bounds 981 >= 29 @ 2607.22
2610.92/2620.05	c bounds 980 >= 29 @ 2607.22
2610.92/2620.05	c bounds 979 >= 29 @ 2607.24
2610.92/2620.05	c bounds 978 >= 29 @ 2607.25
2610.92/2620.05	c bounds 977 >= 29 @ 2607.26
2610.92/2620.05	c bounds 976 >= 29 @ 2607.26
2610.92/2620.05	c bounds 975 >= 29 @ 2607.27
2610.92/2620.05	c bounds 974 >= 29 @ 2607.28
2610.92/2620.05	c bounds 973 >= 29 @ 2607.29
2610.92/2620.05	c bounds 972 >= 29 @ 2607.3
2610.92/2620.05	c bounds 971 >= 29 @ 2607.3
2610.92/2620.05	c bounds 970 >= 29 @ 2607.31
2610.92/2620.05	c bounds 969 >= 29 @ 2607.32
2610.92/2620.05	c bounds 968 >= 29 @ 2607.33
2610.92/2620.05	c bounds 967 >= 29 @ 2607.34
2610.92/2620.05	c bounds 966 >= 29 @ 2607.35
2610.92/2620.05	c bounds 965 >= 29 @ 2607.36
2610.92/2620.05	c bounds 964 >= 29 @ 2607.37
2610.92/2620.05	c bounds 963 >= 29 @ 2607.37
2610.92/2620.05	c bounds 962 >= 29 @ 2607.38
2610.92/2620.05	c bounds 961 >= 29 @ 2607.39
2610.92/2620.05	c bounds 960 >= 29 @ 2607.39
2610.92/2620.05	c bounds 959 >= 29 @ 2607.4
2610.92/2620.05	c bounds 958 >= 29 @ 2607.41
2610.92/2620.05	c bounds 957 >= 29 @ 2607.42
2610.92/2620.05	c bounds 956 >= 29 @ 2607.43
2610.92/2620.05	c bounds 955 >= 29 @ 2607.44
2610.92/2620.05	c bounds 954 >= 29 @ 2607.45
2610.92/2620.05	c bounds 953 >= 29 @ 2607.45
2610.92/2620.05	c bounds 952 >= 29 @ 2607.46
2610.92/2620.05	c bounds 951 >= 29 @ 2607.48
2610.92/2620.05	c bounds 950 >= 29 @ 2607.49
2610.92/2620.05	c bounds 949 >= 29 @ 2607.5
2610.92/2620.05	c bounds 948 >= 29 @ 2607.51
2610.92/2620.05	c bounds 947 >= 29 @ 2607.52
2610.92/2620.05	c bounds 946 >= 29 @ 2607.52
2610.92/2620.05	c bounds 945 >= 29 @ 2607.53
2610.92/2620.05	c bounds 944 >= 29 @ 2607.54
2610.92/2620.05	c bounds 943 >= 29 @ 2607.55
2610.92/2620.05	c bounds 942 >= 29 @ 2607.56
2610.92/2620.05	c bounds 941 >= 29 @ 2607.57
2610.92/2620.05	c bounds 940 >= 29 @ 2607.57
2610.92/2620.05	c bounds 939 >= 29 @ 2607.58
2610.92/2620.05	c bounds 938 >= 29 @ 2607.59
2610.92/2620.05	c bounds 937 >= 29 @ 2607.59
2610.92/2620.05	c bounds 936 >= 29 @ 2607.6
2610.92/2620.05	c bounds 935 >= 29 @ 2607.6
2610.92/2620.05	c bounds 934 >= 29 @ 2607.61
2610.92/2620.05	c bounds 933 >= 29 @ 2607.62
2610.92/2620.05	c bounds 932 >= 29 @ 2607.63
2610.92/2620.05	c bounds 931 >= 29 @ 2607.63
2610.92/2620.05	c bounds 930 >= 29 @ 2607.64
2610.92/2620.05	c bounds 929 >= 29 @ 2607.65
2610.92/2620.05	c bounds 928 >= 29 @ 2607.65
2610.92/2620.05	c bounds 927 >= 29 @ 2607.66
2610.92/2620.05	c bounds 926 >= 29 @ 2607.67
2610.92/2620.05	c bounds 925 >= 29 @ 2607.68
2610.92/2620.05	c bounds 924 >= 29 @ 2607.68
2610.92/2620.05	c bounds 923 >= 29 @ 2607.69
2610.92/2620.05	c bounds 922 >= 29 @ 2607.7
2610.92/2620.05	c bounds 921 >= 29 @ 2607.71
2610.92/2620.05	c bounds 920 >= 29 @ 2607.72
2610.92/2620.05	c bounds 919 >= 29 @ 2607.72
2610.92/2620.05	c bounds 918 >= 29 @ 2607.73
2610.92/2620.05	c bounds 917 >= 29 @ 2607.74
2610.92/2620.05	c bounds 916 >= 29 @ 2607.75
2610.92/2620.05	c bounds 915 >= 29 @ 2607.75
2610.92/2620.05	c bounds 914 >= 29 @ 2607.76
2610.92/2620.05	c bounds 913 >= 29 @ 2607.77
2610.92/2620.05	c bounds 912 >= 29 @ 2607.78
2610.92/2620.05	c bounds 911 >= 29 @ 2607.79
2610.92/2620.05	c bounds 910 >= 29 @ 2607.81
2613.02/2622.19	c bounds 909 >= 29 @ 2607.83
2613.02/2622.19	c bounds 908 >= 29 @ 2607.84
2613.02/2622.19	c bounds 907 >= 29 @ 2607.85
2613.02/2622.19	c bounds 906 >= 29 @ 2607.86
2613.02/2622.19	c bounds 905 >= 29 @ 2607.86
2613.02/2622.19	c bounds 904 >= 29 @ 2607.87
2613.02/2622.19	c bounds 903 >= 29 @ 2607.88
2613.02/2622.19	c bounds 902 >= 29 @ 2607.89
2613.02/2622.19	c bounds 901 >= 29 @ 2607.9
2613.02/2622.19	c bounds 900 >= 29 @ 2607.91
2613.02/2622.19	c bounds 899 >= 29 @ 2607.92
2613.02/2622.19	c bounds 898 >= 29 @ 2607.92
2613.02/2622.19	c bounds 897 >= 29 @ 2607.93
2613.02/2622.19	c bounds 896 >= 29 @ 2607.94
2613.02/2622.19	c bounds 895 >= 29 @ 2607.95
2613.02/2622.19	c bounds 894 >= 29 @ 2607.96
2613.02/2622.19	c bounds 893 >= 29 @ 2607.96
2613.02/2622.19	c bounds 892 >= 29 @ 2607.97
2613.02/2622.19	c bounds 891 >= 29 @ 2607.97
2613.02/2622.19	c bounds 890 >= 29 @ 2607.98
2613.02/2622.19	c bounds 889 >= 29 @ 2607.99
2613.02/2622.19	c bounds 888 >= 29 @ 2607.99
2613.02/2622.19	c bounds 887 >= 29 @ 2608
2613.02/2622.19	c bounds 886 >= 29 @ 2608.01
2613.02/2622.19	c bounds 885 >= 29 @ 2608.02
2613.02/2622.19	c bounds 884 >= 29 @ 2608.03
2613.02/2622.19	c bounds 883 >= 29 @ 2608.04
2613.02/2622.19	c bounds 882 >= 29 @ 2608.05
2613.02/2622.19	c bounds 881 >= 29 @ 2608.06
2613.02/2622.19	c bounds 880 >= 29 @ 2608.06
2613.02/2622.19	c bounds 879 >= 29 @ 2608.07
2613.02/2622.19	c bounds 878 >= 29 @ 2608.08
2613.02/2622.19	c bounds 877 >= 29 @ 2608.09
2613.02/2622.19	c bounds 876 >= 29 @ 2608.1
2613.02/2622.19	c bounds 875 >= 29 @ 2608.1
2613.02/2622.19	c bounds 874 >= 29 @ 2608.12
2613.02/2622.19	c bounds 873 >= 29 @ 2608.13
2613.02/2622.19	c bounds 872 >= 29 @ 2608.14
2613.02/2622.19	c bounds 871 >= 29 @ 2608.15
2613.02/2622.19	c bounds 870 >= 29 @ 2608.16
2613.02/2622.19	c bounds 869 >= 29 @ 2608.17
2613.02/2622.19	c bounds 868 >= 29 @ 2608.18
2613.02/2622.19	c bounds 867 >= 29 @ 2608.19
2613.02/2622.19	c bounds 866 >= 29 @ 2608.2
2613.02/2622.19	c bounds 865 >= 29 @ 2608.21
2613.02/2622.19	c bounds 864 >= 29 @ 2608.22
2613.02/2622.19	c bounds 863 >= 29 @ 2608.23
2613.02/2622.19	c bounds 862 >= 29 @ 2608.24
2613.02/2622.19	c bounds 861 >= 29 @ 2608.25
2613.02/2622.19	c bounds 860 >= 29 @ 2608.25
2613.02/2622.19	c bounds 859 >= 29 @ 2608.26
2613.02/2622.19	c bounds 858 >= 29 @ 2608.27
2613.02/2622.19	c bounds 857 >= 29 @ 2608.28
2613.02/2622.19	c bounds 856 >= 29 @ 2608.3
2613.02/2622.19	c bounds 855 >= 29 @ 2608.3
2613.02/2622.19	c bounds 854 >= 29 @ 2608.31
2613.02/2622.19	c bounds 853 >= 29 @ 2608.33
2613.02/2622.19	c bounds 852 >= 29 @ 2608.34
2613.02/2622.19	c bounds 851 >= 29 @ 2608.34
2613.02/2622.19	c bounds 850 >= 29 @ 2608.36
2613.02/2622.19	c bounds 849 >= 29 @ 2608.36
2613.02/2622.19	c bounds 848 >= 29 @ 2608.37
2613.02/2622.19	c bounds 847 >= 29 @ 2608.38
2613.02/2622.19	c bounds 846 >= 29 @ 2608.39
2613.02/2622.19	c bounds 845 >= 29 @ 2608.4
2613.02/2622.19	c bounds 844 >= 29 @ 2608.41
2613.02/2622.19	c bounds 843 >= 29 @ 2608.42
2613.02/2622.19	c bounds 842 >= 29 @ 2608.43
2613.02/2622.19	c bounds 841 >= 29 @ 2608.44
2613.02/2622.19	c bounds 840 >= 29 @ 2608.45
2613.02/2622.19	c bounds 839 >= 29 @ 2608.46
2613.02/2622.19	c bounds 838 >= 29 @ 2608.47
2613.02/2622.19	c bounds 837 >= 29 @ 2608.47
2613.02/2622.19	c bounds 836 >= 29 @ 2608.48
2613.02/2622.19	c bounds 835 >= 29 @ 2608.49
2613.02/2622.19	c bounds 834 >= 29 @ 2608.5
2613.02/2622.19	c bounds 833 >= 29 @ 2608.51
2613.02/2622.19	c bounds 832 >= 29 @ 2608.52
2613.02/2622.19	c bounds 831 >= 29 @ 2608.53
2613.02/2622.19	c bounds 830 >= 29 @ 2608.54
2613.02/2622.19	c bounds 829 >= 29 @ 2608.55
2613.02/2622.19	c bounds 828 >= 29 @ 2608.56
2613.02/2622.19	c bounds 827 >= 29 @ 2608.56
2613.02/2622.19	c bounds 826 >= 29 @ 2608.57
2613.02/2622.19	c bounds 825 >= 29 @ 2608.58
2613.02/2622.19	c bounds 824 >= 29 @ 2608.6
2613.02/2622.19	c bounds 823 >= 29 @ 2608.61
2613.02/2622.19	c bounds 822 >= 29 @ 2608.61
2613.02/2622.19	c bounds 821 >= 29 @ 2608.62
2613.02/2622.19	c bounds 820 >= 29 @ 2608.63
2613.02/2622.19	c bounds 819 >= 29 @ 2608.64
2613.02/2622.19	c bounds 818 >= 29 @ 2608.65
2613.02/2622.19	c bounds 817 >= 29 @ 2608.66
2613.02/2622.19	c bounds 816 >= 29 @ 2608.66
2613.02/2622.19	c bounds 815 >= 29 @ 2608.67
2613.02/2622.19	c bounds 814 >= 29 @ 2608.68
2613.02/2622.19	c bounds 813 >= 29 @ 2608.68
2613.02/2622.19	c bounds 812 >= 29 @ 2608.69
2613.02/2622.19	c bounds 811 >= 29 @ 2608.7
2613.02/2622.19	c bounds 810 >= 29 @ 2608.71
2613.02/2622.19	c bounds 809 >= 29 @ 2608.72
2613.02/2622.19	c bounds 808 >= 29 @ 2608.73
2613.02/2622.19	c bounds 807 >= 29 @ 2608.74
2613.02/2622.19	c bounds 806 >= 29 @ 2608.75
2613.02/2622.19	c bounds 805 >= 29 @ 2608.76
2613.02/2622.19	c bounds 804 >= 29 @ 2608.77
2613.02/2622.19	c bounds 803 >= 29 @ 2608.78
2613.02/2622.19	c bounds 802 >= 29 @ 2608.79
2613.02/2622.19	c bounds 801 >= 29 @ 2608.8
2613.02/2622.19	c bounds 800 >= 29 @ 2608.81
2613.02/2622.19	c bounds 799 >= 29 @ 2608.82
2613.02/2622.19	c bounds 798 >= 29 @ 2608.84
2613.02/2622.19	c bounds 797 >= 29 @ 2608.85
2613.02/2622.19	c bounds 796 >= 29 @ 2608.85
2613.02/2622.19	c bounds 795 >= 29 @ 2608.86
2613.02/2622.19	c bounds 794 >= 29 @ 2608.87
2613.02/2622.19	c bounds 793 >= 29 @ 2608.88
2613.02/2622.19	c bounds 792 >= 29 @ 2608.89
2613.02/2622.19	c bounds 791 >= 29 @ 2608.89
2613.02/2622.19	c bounds 790 >= 29 @ 2608.9
2613.02/2622.19	c bounds 789 >= 29 @ 2608.91
2613.02/2622.19	c bounds 788 >= 29 @ 2608.92
2613.02/2622.19	c bounds 787 >= 29 @ 2608.93
2613.02/2622.19	c bounds 786 >= 29 @ 2608.93
2613.02/2622.19	c bounds 785 >= 29 @ 2608.94
2613.02/2622.19	c bounds 784 >= 29 @ 2608.95
2613.02/2622.19	c bounds 783 >= 29 @ 2608.96
2613.02/2622.19	c bounds 782 >= 29 @ 2608.97
2613.02/2622.19	c bounds 781 >= 29 @ 2608.97
2613.02/2622.19	c bounds 780 >= 29 @ 2608.99
2613.02/2622.19	c bounds 779 >= 29 @ 2609
2613.02/2622.19	c bounds 778 >= 29 @ 2609.01
2613.02/2622.19	c bounds 777 >= 29 @ 2609.01
2613.02/2622.19	c bounds 776 >= 29 @ 2609.02
2613.02/2622.19	c bounds 775 >= 29 @ 2609.03
2613.02/2622.19	c bounds 774 >= 29 @ 2609.04
2613.02/2622.19	c bounds 773 >= 29 @ 2609.05
2613.02/2622.19	c bounds 772 >= 29 @ 2609.06
2613.02/2622.19	c bounds 771 >= 29 @ 2609.06
2613.02/2622.19	c bounds 770 >= 29 @ 2609.07
2613.02/2622.19	c bounds 769 >= 29 @ 2609.08
2613.02/2622.19	c bounds 768 >= 29 @ 2609.09
2615.39/2624.50	c bounds 767 >= 29 @ 2609.1
2615.39/2624.50	c bounds 766 >= 29 @ 2609.1
2615.39/2624.50	c bounds 765 >= 29 @ 2609.11
2615.39/2624.50	c bounds 764 >= 29 @ 2609.12
2615.39/2624.50	c bounds 763 >= 29 @ 2609.14
2615.39/2624.50	c bounds 762 >= 29 @ 2609.15
2615.39/2624.50	c bounds 761 >= 29 @ 2609.16
2615.39/2624.50	c bounds 760 >= 29 @ 2609.17
2615.39/2624.50	c bounds 759 >= 29 @ 2609.17
2615.39/2624.50	c bounds 758 >= 29 @ 2609.18
2615.39/2624.50	c bounds 757 >= 29 @ 2609.19
2615.39/2624.50	c bounds 756 >= 29 @ 2609.2
2615.39/2624.50	c bounds 755 >= 29 @ 2609.2
2615.39/2624.50	c bounds 754 >= 29 @ 2609.21
2615.39/2624.50	c bounds 753 >= 29 @ 2609.22
2615.39/2624.50	c bounds 752 >= 29 @ 2609.24
2615.39/2624.50	c bounds 751 >= 29 @ 2609.24
2615.39/2624.50	c bounds 750 >= 29 @ 2609.25
2615.39/2624.50	c bounds 749 >= 29 @ 2609.27
2615.39/2624.50	c bounds 748 >= 29 @ 2609.27
2615.39/2624.50	c bounds 747 >= 29 @ 2609.28
2615.39/2624.50	c bounds 746 >= 29 @ 2609.3
2615.39/2624.50	c bounds 745 >= 29 @ 2609.31
2615.39/2624.50	c bounds 744 >= 29 @ 2609.32
2615.39/2624.50	c bounds 743 >= 29 @ 2609.33
2615.39/2624.50	c bounds 742 >= 29 @ 2609.34
2615.39/2624.50	c bounds 741 >= 29 @ 2609.34
2615.39/2624.50	c bounds 740 >= 29 @ 2609.4
2615.39/2624.50	c bounds 739 >= 29 @ 2609.42
2615.39/2624.50	c bounds 738 >= 29 @ 2609.44
2615.39/2624.50	c bounds 737 >= 29 @ 2609.45
2615.39/2624.50	c bounds 736 >= 29 @ 2609.46
2615.39/2624.50	c bounds 735 >= 29 @ 2609.47
2615.39/2624.50	c bounds 734 >= 29 @ 2609.48
2615.39/2624.50	c bounds 733 >= 29 @ 2609.48
2615.39/2624.50	c bounds 732 >= 29 @ 2609.49
2615.39/2624.50	c bounds 731 >= 29 @ 2609.5
2615.39/2624.50	c bounds 730 >= 29 @ 2609.51
2615.39/2624.50	c bounds 729 >= 29 @ 2609.53
2615.39/2624.50	c bounds 728 >= 29 @ 2609.53
2615.39/2624.50	c bounds 727 >= 29 @ 2609.54
2615.39/2624.50	c bounds 726 >= 29 @ 2609.55
2615.39/2624.50	c bounds 725 >= 29 @ 2609.56
2615.39/2624.50	c bounds 724 >= 29 @ 2609.58
2615.39/2624.50	c bounds 723 >= 29 @ 2609.59
2615.39/2624.50	c bounds 722 >= 29 @ 2609.61
2615.39/2624.50	c bounds 721 >= 29 @ 2609.62
2615.39/2624.50	c bounds 720 >= 29 @ 2609.63
2615.39/2624.50	c bounds 719 >= 29 @ 2609.65
2615.39/2624.50	c bounds 718 >= 29 @ 2609.66
2615.39/2624.50	c bounds 717 >= 29 @ 2609.68
2615.39/2624.50	c bounds 716 >= 29 @ 2609.69
2615.39/2624.50	c bounds 715 >= 29 @ 2609.7
2615.39/2624.50	c bounds 714 >= 29 @ 2609.71
2615.39/2624.50	c bounds 713 >= 29 @ 2609.73
2615.39/2624.50	c bounds 712 >= 29 @ 2609.74
2615.39/2624.50	c bounds 711 >= 29 @ 2609.75
2615.39/2624.50	c bounds 710 >= 29 @ 2609.76
2615.39/2624.50	c bounds 709 >= 29 @ 2609.78
2615.39/2624.50	c bounds 708 >= 29 @ 2609.79
2615.39/2624.50	c bounds 707 >= 29 @ 2609.79
2615.39/2624.50	c bounds 706 >= 29 @ 2609.8
2615.39/2624.50	c bounds 705 >= 29 @ 2609.81
2615.39/2624.50	c bounds 704 >= 29 @ 2609.82
2615.39/2624.50	c bounds 703 >= 29 @ 2609.83
2615.39/2624.50	c bounds 702 >= 29 @ 2609.84
2615.39/2624.50	c bounds 701 >= 29 @ 2609.85
2615.39/2624.50	c bounds 700 >= 29 @ 2609.86
2615.39/2624.50	c bounds 699 >= 29 @ 2609.87
2615.39/2624.50	c bounds 698 >= 29 @ 2609.89
2615.39/2624.50	c bounds 697 >= 29 @ 2609.9
2615.39/2624.50	c bounds 696 >= 29 @ 2609.91
2615.39/2624.50	c bounds 695 >= 29 @ 2609.92
2615.39/2624.50	c bounds 694 >= 29 @ 2609.93
2615.39/2624.50	c bounds 693 >= 29 @ 2609.94
2615.39/2624.50	c bounds 692 >= 29 @ 2609.95
2615.39/2624.50	c bounds 691 >= 29 @ 2609.96
2615.39/2624.50	c bounds 690 >= 29 @ 2609.97
2615.39/2624.50	c bounds 689 >= 29 @ 2609.98
2615.39/2624.50	c bounds 688 >= 29 @ 2609.99
2615.39/2624.50	c bounds 687 >= 29 @ 2609.99
2615.39/2624.50	c bounds 686 >= 29 @ 2610
2615.39/2624.50	c bounds 685 >= 29 @ 2610.01
2615.39/2624.50	c bounds 684 >= 29 @ 2610.02
2615.39/2624.50	c bounds 683 >= 29 @ 2610.03
2615.39/2624.50	c bounds 682 >= 29 @ 2610.03
2615.39/2624.50	c bounds 681 >= 29 @ 2610.04
2615.39/2624.50	c bounds 680 >= 29 @ 2610.05
2615.39/2624.50	c bounds 679 >= 29 @ 2610.06
2615.39/2624.50	c bounds 678 >= 29 @ 2610.08
2615.39/2624.50	c bounds 677 >= 29 @ 2610.08
2615.39/2624.50	c bounds 676 >= 29 @ 2610.09
2615.39/2624.50	c bounds 675 >= 29 @ 2610.1
2615.39/2624.50	c bounds 674 >= 29 @ 2610.11
2615.39/2624.50	c bounds 673 >= 29 @ 2610.12
2615.39/2624.50	c bounds 672 >= 29 @ 2610.13
2615.39/2624.50	c bounds 671 >= 29 @ 2610.14
2615.39/2624.50	c bounds 670 >= 29 @ 2610.15
2615.39/2624.50	c bounds 669 >= 29 @ 2610.16
2615.39/2624.50	c bounds 668 >= 29 @ 2610.17
2615.39/2624.50	c bounds 667 >= 29 @ 2610.18
2615.39/2624.50	c bounds 666 >= 29 @ 2610.19
2615.39/2624.50	c bounds 665 >= 29 @ 2610.2
2615.39/2624.50	c bounds 664 >= 29 @ 2610.21
2615.39/2624.50	c bounds 663 >= 29 @ 2610.23
2615.39/2624.50	c bounds 662 >= 29 @ 2610.24
2615.39/2624.50	c bounds 661 >= 29 @ 2610.25
2615.39/2624.50	c bounds 660 >= 29 @ 2610.27
2615.39/2624.50	c bounds 659 >= 29 @ 2610.28
2615.39/2624.50	c bounds 658 >= 29 @ 2610.29
2615.39/2624.50	c bounds 657 >= 29 @ 2610.3
2615.39/2624.50	c bounds 656 >= 29 @ 2610.32
2615.39/2624.50	c bounds 655 >= 29 @ 2610.34
2615.39/2624.50	c bounds 654 >= 29 @ 2610.35
2615.39/2624.50	c bounds 653 >= 29 @ 2610.37
2615.39/2624.50	c bounds 652 >= 29 @ 2610.38
2615.39/2624.50	c bounds 651 >= 29 @ 2610.39
2615.39/2624.50	c bounds 650 >= 29 @ 2610.4
2615.39/2624.50	c bounds 649 >= 29 @ 2610.41
2615.39/2624.50	c bounds 648 >= 29 @ 2610.41
2615.39/2624.50	c bounds 647 >= 29 @ 2610.42
2615.39/2624.50	c bounds 646 >= 29 @ 2610.43
2615.39/2624.50	c bounds 645 >= 29 @ 2610.43
2615.39/2624.50	c bounds 644 >= 29 @ 2610.44
2615.39/2624.50	c bounds 643 >= 29 @ 2610.45
2615.39/2624.50	c bounds 642 >= 29 @ 2610.46
2615.39/2624.50	c bounds 641 >= 29 @ 2610.46
2615.39/2624.50	c bounds 640 >= 29 @ 2610.47
2615.39/2624.50	c bounds 639 >= 29 @ 2610.47
2615.39/2624.50	c bounds 638 >= 29 @ 2610.48
2615.39/2624.50	c bounds 637 >= 29 @ 2610.49
2615.39/2624.50	c bounds 636 >= 29 @ 2610.49
2615.39/2624.50	c bounds 635 >= 29 @ 2610.49
2615.39/2624.50	c bounds 634 >= 29 @ 2610.5
2615.39/2624.50	c bounds 633 >= 29 @ 2610.5
2615.39/2624.50	c bounds 632 >= 29 @ 2610.51
2615.39/2624.50	c bounds 631 >= 29 @ 2610.51
2615.39/2624.50	c bounds 630 >= 29 @ 2610.52
2615.39/2624.50	c bounds 629 >= 29 @ 2610.52
2615.39/2624.50	c bounds 628 >= 29 @ 2610.53
2615.39/2624.50	c bounds 627 >= 29 @ 2610.53
2615.39/2624.50	c bounds 626 >= 29 @ 2610.55
2617.59/2626.79	c bounds 625 >= 29 @ 2610.56
2617.59/2626.79	c bounds 624 >= 29 @ 2610.57
2617.59/2626.79	c bounds 623 >= 29 @ 2610.57
2617.59/2626.79	c bounds 622 >= 29 @ 2610.58
2617.59/2626.79	c bounds 621 >= 29 @ 2610.59
2617.59/2626.79	c bounds 620 >= 29 @ 2610.59
2617.59/2626.79	c bounds 619 >= 29 @ 2610.6
2617.59/2626.79	c bounds 618 >= 29 @ 2610.61
2617.59/2626.79	c bounds 617 >= 29 @ 2610.61
2617.59/2626.79	c bounds 616 >= 29 @ 2610.62
2617.59/2626.79	c bounds 615 >= 29 @ 2610.62
2617.59/2626.79	c bounds 614 >= 29 @ 2610.63
2617.59/2626.79	c bounds 613 >= 29 @ 2610.64
2617.59/2626.79	c bounds 612 >= 29 @ 2610.65
2617.59/2626.79	c bounds 611 >= 29 @ 2610.65
2617.59/2626.79	c bounds 610 >= 29 @ 2610.66
2617.59/2626.79	c bounds 609 >= 29 @ 2610.66
2617.59/2626.79	c bounds 608 >= 29 @ 2610.67
2617.59/2626.79	c bounds 607 >= 29 @ 2610.67
2617.59/2626.79	c bounds 606 >= 29 @ 2610.68
2617.59/2626.79	c bounds 605 >= 29 @ 2610.68
2617.59/2626.79	c bounds 604 >= 29 @ 2610.69
2617.59/2626.79	c bounds 603 >= 29 @ 2610.7
2617.59/2626.79	c bounds 602 >= 29 @ 2610.7
2617.59/2626.79	c bounds 601 >= 29 @ 2610.71
2617.59/2626.79	c bounds 600 >= 29 @ 2610.71
2617.59/2626.79	c bounds 599 >= 29 @ 2610.72
2617.59/2626.79	c bounds 598 >= 29 @ 2610.73
2617.59/2626.79	c bounds 597 >= 29 @ 2610.73
2617.59/2626.79	c bounds 596 >= 29 @ 2610.74
2617.59/2626.79	c bounds 595 >= 29 @ 2610.75
2617.59/2626.79	c bounds 594 >= 29 @ 2610.75
2617.59/2626.79	c bounds 593 >= 29 @ 2610.76
2617.59/2626.79	c bounds 592 >= 29 @ 2610.77
2617.59/2626.79	c bounds 591 >= 29 @ 2610.77
2617.59/2626.79	c bounds 590 >= 29 @ 2610.78
2617.59/2626.79	c bounds 589 >= 29 @ 2610.78
2617.59/2626.79	c bounds 588 >= 29 @ 2610.79
2617.59/2626.79	c bounds 587 >= 29 @ 2610.8
2617.59/2626.79	c bounds 586 >= 29 @ 2610.8
2617.59/2626.79	c bounds 585 >= 29 @ 2610.81
2617.59/2626.79	c bounds 584 >= 29 @ 2610.81
2617.59/2626.79	c bounds 583 >= 29 @ 2610.82
2617.59/2626.79	c bounds 582 >= 29 @ 2610.83
2617.59/2626.79	c bounds 581 >= 29 @ 2610.84
2617.59/2626.79	c bounds 580 >= 29 @ 2610.85
2617.59/2626.79	c bounds 579 >= 29 @ 2610.85
2617.59/2626.79	c bounds 578 >= 29 @ 2610.85
2617.59/2626.79	c bounds 577 >= 29 @ 2610.86
2617.59/2626.79	c bounds 576 >= 29 @ 2610.86
2617.59/2626.79	c bounds 575 >= 29 @ 2610.87
2617.59/2626.79	c bounds 574 >= 29 @ 2610.88
2617.59/2626.79	c bounds 573 >= 29 @ 2610.88
2617.59/2626.79	c bounds 572 >= 29 @ 2610.89
2617.59/2626.79	c bounds 571 >= 29 @ 2610.9
2617.59/2626.79	c bounds 570 >= 29 @ 2610.9
2617.59/2626.79	c bounds 569 >= 29 @ 2610.91
2617.59/2626.79	c bounds 568 >= 29 @ 2610.92
2617.59/2626.79	c bounds 567 >= 29 @ 2610.93
2617.59/2626.79	c bounds 566 >= 29 @ 2610.94
2617.59/2626.79	c bounds 565 >= 29 @ 2610.94
2617.59/2626.79	c bounds 564 >= 29 @ 2610.95
2617.59/2626.79	c bounds 563 >= 29 @ 2610.95
2617.59/2626.79	c bounds 562 >= 29 @ 2610.96
2617.59/2626.79	c bounds 561 >= 29 @ 2610.97
2617.59/2626.79	c bounds 560 >= 29 @ 2610.98
2617.59/2626.79	c bounds 559 >= 29 @ 2610.99
2617.59/2626.79	c bounds 558 >= 29 @ 2611
2617.59/2626.79	c bounds 557 >= 29 @ 2611.01
2617.59/2626.79	c bounds 556 >= 29 @ 2611.02
2617.59/2626.79	c bounds 555 >= 29 @ 2611.03
2617.59/2626.79	c bounds 554 >= 29 @ 2611.04
2617.59/2626.79	c bounds 553 >= 29 @ 2611.04
2617.59/2626.79	c bounds 552 >= 29 @ 2611.05
2617.59/2626.79	c bounds 551 >= 29 @ 2611.05
2617.59/2626.79	c bounds 550 >= 29 @ 2611.06
2617.59/2626.79	c bounds 549 >= 29 @ 2611.08
2617.59/2626.79	c bounds 548 >= 29 @ 2611.1
2617.59/2626.79	c bounds 547 >= 29 @ 2611.11
2617.59/2626.79	c bounds 546 >= 29 @ 2611.12
2617.59/2626.79	c bounds 545 >= 29 @ 2611.13
2617.59/2626.79	c bounds 544 >= 29 @ 2611.14
2617.59/2626.79	c bounds 543 >= 29 @ 2611.15
2617.59/2626.79	c bounds 542 >= 29 @ 2611.16
2617.59/2626.79	c bounds 541 >= 29 @ 2611.17
2617.59/2626.79	c bounds 540 >= 29 @ 2611.18
2617.59/2626.79	c bounds 539 >= 29 @ 2611.19
2617.59/2626.79	c bounds 538 >= 29 @ 2611.2
2617.59/2626.79	c bounds 537 >= 29 @ 2611.21
2617.59/2626.79	c bounds 536 >= 29 @ 2611.22
2617.59/2626.79	c bounds 535 >= 29 @ 2611.24
2617.59/2626.79	c bounds 534 >= 29 @ 2611.25
2617.59/2626.79	c bounds 533 >= 29 @ 2611.26
2617.59/2626.79	c bounds 532 >= 29 @ 2611.27
2617.59/2626.79	c bounds 531 >= 29 @ 2611.28
2617.59/2626.79	c bounds 530 >= 29 @ 2611.31
2617.59/2626.79	c bounds 529 >= 29 @ 2611.32
2617.59/2626.79	c bounds 528 >= 29 @ 2611.33
2617.59/2626.79	c bounds 527 >= 29 @ 2611.34
2617.59/2626.79	c bounds 526 >= 29 @ 2611.35
2617.59/2626.79	c bounds 525 >= 29 @ 2611.37
2617.59/2626.79	c bounds 524 >= 29 @ 2611.38
2617.59/2626.79	c bounds 523 >= 29 @ 2611.39
2617.59/2626.79	c bounds 522 >= 29 @ 2611.4
2617.59/2626.79	c bounds 521 >= 29 @ 2611.41
2617.59/2626.79	c bounds 520 >= 29 @ 2611.44
2617.59/2626.79	c bounds 519 >= 29 @ 2611.46
2617.59/2626.79	c bounds 518 >= 29 @ 2611.48
2617.59/2626.79	c bounds 517 >= 29 @ 2611.55
2617.59/2626.79	c bounds 516 >= 29 @ 2611.56
2617.59/2626.79	c bounds 515 >= 29 @ 2611.57
2617.59/2626.79	c bounds 514 >= 29 @ 2611.59
2617.59/2626.79	c bounds 513 >= 29 @ 2611.61
2617.59/2626.79	c bounds 512 >= 29 @ 2611.62
2617.59/2626.79	c bounds 511 >= 29 @ 2611.64
2617.59/2626.79	c bounds 510 >= 29 @ 2611.65
2617.59/2626.79	c bounds 509 >= 29 @ 2611.67
2617.59/2626.79	c bounds 508 >= 29 @ 2611.68
2617.59/2626.79	c bounds 507 >= 29 @ 2611.69
2617.59/2626.79	c bounds 506 >= 29 @ 2611.7
2617.59/2626.79	c bounds 505 >= 29 @ 2611.71
2617.59/2626.79	c bounds 504 >= 29 @ 2611.72
2617.59/2626.79	c bounds 503 >= 29 @ 2611.73
2617.59/2626.79	c bounds 502 >= 29 @ 2611.74
2617.59/2626.79	c bounds 501 >= 29 @ 2611.74
2617.59/2626.79	c bounds 500 >= 29 @ 2611.75
2617.59/2626.79	c bounds 499 >= 29 @ 2611.76
2617.59/2626.79	c bounds 498 >= 29 @ 2611.77
2617.59/2626.79	c bounds 497 >= 29 @ 2611.78
2617.59/2626.79	c bounds 496 >= 29 @ 2611.78
2617.59/2626.79	c bounds 495 >= 29 @ 2611.79
2617.59/2626.79	c bounds 494 >= 29 @ 2611.8
2617.59/2626.79	c bounds 493 >= 29 @ 2611.82
2617.59/2626.79	c bounds 492 >= 29 @ 2611.84
2617.59/2626.79	c bounds 491 >= 29 @ 2611.85
2617.59/2626.79	c bounds 490 >= 29 @ 2611.87
2617.59/2626.79	c bounds 489 >= 29 @ 2611.88
2617.59/2626.79	c bounds 488 >= 29 @ 2611.88
2617.59/2626.79	c bounds 487 >= 29 @ 2611.9
2617.59/2626.79	c bounds 486 >= 29 @ 2611.91
2617.59/2626.79	c bounds 485 >= 29 @ 2611.92
2617.59/2626.79	c bounds 484 >= 29 @ 2611.93
2619.49/2628.68	c bounds 483 >= 29 @ 2611.94
2619.49/2628.68	c bounds 482 >= 29 @ 2611.96
2619.49/2628.68	c bounds 481 >= 29 @ 2611.97
2619.49/2628.68	c bounds 480 >= 29 @ 2611.98
2619.49/2628.68	c bounds 479 >= 29 @ 2611.98
2619.49/2628.68	c bounds 478 >= 29 @ 2611.99
2619.49/2628.68	c bounds 477 >= 29 @ 2612
2619.49/2628.68	c bounds 476 >= 29 @ 2612.01
2619.49/2628.68	c bounds 475 >= 29 @ 2612.01
2619.49/2628.68	c bounds 474 >= 29 @ 2612.02
2619.49/2628.68	c bounds 473 >= 29 @ 2612.03
2619.49/2628.68	c bounds 472 >= 29 @ 2612.03
2619.49/2628.68	c bounds 471 >= 29 @ 2612.04
2619.49/2628.68	c bounds 470 >= 29 @ 2612.05
2619.49/2628.68	c bounds 469 >= 29 @ 2612.06
2619.49/2628.68	c bounds 468 >= 29 @ 2612.07
2619.49/2628.68	c bounds 467 >= 29 @ 2612.08
2619.49/2628.68	c bounds 466 >= 29 @ 2612.09
2619.49/2628.68	c bounds 465 >= 29 @ 2612.09
2619.49/2628.68	c bounds 464 >= 29 @ 2612.09
2619.49/2628.68	c bounds 463 >= 29 @ 2612.11
2619.49/2628.68	c bounds 462 >= 29 @ 2612.11
2619.49/2628.68	c bounds 461 >= 29 @ 2612.12
2619.49/2628.68	c bounds 460 >= 29 @ 2612.13
2619.49/2628.68	c bounds 459 >= 29 @ 2612.14
2619.49/2628.68	c bounds 458 >= 29 @ 2612.15
2619.49/2628.68	c bounds 457 >= 29 @ 2612.15
2619.49/2628.68	c bounds 456 >= 29 @ 2612.16
2619.49/2628.68	c bounds 455 >= 29 @ 2612.17
2619.49/2628.68	c bounds 454 >= 29 @ 2612.17
2619.49/2628.68	c bounds 453 >= 29 @ 2612.18
2619.49/2628.68	c bounds 452 >= 29 @ 2612.18
2619.49/2628.68	c bounds 451 >= 29 @ 2612.19
2619.49/2628.68	c bounds 450 >= 29 @ 2612.2
2619.49/2628.68	c bounds 449 >= 29 @ 2612.2
2619.49/2628.68	c bounds 448 >= 29 @ 2612.21
2619.49/2628.68	c bounds 447 >= 29 @ 2612.22
2619.49/2628.68	c bounds 446 >= 29 @ 2612.23
2619.49/2628.68	c bounds 445 >= 29 @ 2612.24
2619.49/2628.68	c bounds 444 >= 29 @ 2612.25
2619.49/2628.68	c bounds 443 >= 29 @ 2612.26
2619.49/2628.68	c bounds 442 >= 29 @ 2612.26
2619.49/2628.68	c bounds 441 >= 29 @ 2612.27
2619.49/2628.68	c bounds 440 >= 29 @ 2612.28
2619.49/2628.68	c bounds 439 >= 29 @ 2612.28
2619.49/2628.68	c bounds 438 >= 29 @ 2612.29
2619.49/2628.68	c bounds 437 >= 29 @ 2612.3
2619.49/2628.68	c bounds 436 >= 29 @ 2612.31
2619.49/2628.68	c bounds 435 >= 29 @ 2612.32
2619.49/2628.68	c bounds 434 >= 29 @ 2612.32
2619.49/2628.68	c bounds 433 >= 29 @ 2612.33
2619.49/2628.68	c bounds 432 >= 29 @ 2612.34
2619.49/2628.68	c bounds 431 >= 29 @ 2612.35
2619.49/2628.68	c bounds 430 >= 29 @ 2612.36
2619.49/2628.68	c bounds 429 >= 29 @ 2612.37
2619.49/2628.68	c bounds 428 >= 29 @ 2612.38
2619.49/2628.68	c bounds 427 >= 29 @ 2612.39
2619.49/2628.68	c bounds 426 >= 29 @ 2612.41
2619.49/2628.68	c bounds 425 >= 29 @ 2612.43
2619.49/2628.68	c bounds 424 >= 29 @ 2612.44
2619.49/2628.68	c #Conflicts:       3000 | #Constraints:      68210
2619.49/2628.68	c bounds 423 >= 29 @ 2612.45
2619.49/2628.68	c bounds 422 >= 29 @ 2612.47
2619.49/2628.68	c bounds 421 >= 29 @ 2612.48
2619.49/2628.68	c bounds 420 >= 29 @ 2612.48
2619.49/2628.68	c bounds 419 >= 29 @ 2612.49
2619.49/2628.68	c bounds 418 >= 29 @ 2612.5
2619.49/2628.68	c bounds 417 >= 29 @ 2612.5
2619.49/2628.68	c bounds 416 >= 29 @ 2612.51
2619.49/2628.68	c bounds 415 >= 29 @ 2612.51
2619.49/2628.68	c bounds 414 >= 29 @ 2612.52
2619.49/2628.68	c bounds 413 >= 29 @ 2612.52
2619.49/2628.68	c bounds 412 >= 29 @ 2612.53
2619.49/2628.68	c bounds 411 >= 29 @ 2612.54
2619.49/2628.68	c bounds 410 >= 29 @ 2612.54
2619.49/2628.68	c bounds 409 >= 29 @ 2612.55
2619.49/2628.68	c bounds 408 >= 29 @ 2612.55
2619.49/2628.68	c bounds 407 >= 29 @ 2612.56
2619.49/2628.68	c bounds 406 >= 29 @ 2612.56
2619.49/2628.68	c bounds 405 >= 29 @ 2612.57
2619.49/2628.68	c bounds 404 >= 29 @ 2612.57
2619.49/2628.68	c bounds 403 >= 29 @ 2612.58
2619.49/2628.68	c bounds 402 >= 29 @ 2612.58
2619.49/2628.68	c bounds 401 >= 29 @ 2612.59
2619.49/2628.68	c bounds 400 >= 29 @ 2612.59
2619.49/2628.68	c bounds 399 >= 29 @ 2612.6
2619.49/2628.68	c bounds 398 >= 29 @ 2612.6
2619.49/2628.68	c bounds 397 >= 29 @ 2612.61
2619.49/2628.68	c bounds 396 >= 29 @ 2612.61
2619.49/2628.68	c bounds 395 >= 29 @ 2612.62
2619.49/2628.68	c bounds 394 >= 29 @ 2612.63
2619.49/2628.68	c bounds 393 >= 29 @ 2612.63
2619.49/2628.68	c bounds 392 >= 29 @ 2612.64
2619.49/2628.68	c bounds 391 >= 29 @ 2612.65
2619.49/2628.68	c bounds 390 >= 29 @ 2612.66
2619.49/2628.68	c bounds 389 >= 29 @ 2612.67
2619.49/2628.68	c bounds 388 >= 29 @ 2612.67
2619.49/2628.68	c bounds 387 >= 29 @ 2612.68
2619.49/2628.68	c bounds 386 >= 29 @ 2612.69
2619.49/2628.68	c bounds 385 >= 29 @ 2612.7
2619.49/2628.68	c bounds 384 >= 29 @ 2612.7
2619.49/2628.68	c bounds 383 >= 29 @ 2612.71
2619.49/2628.68	c bounds 382 >= 29 @ 2612.72
2619.49/2628.68	c bounds 381 >= 29 @ 2612.73
2619.49/2628.68	c bounds 380 >= 29 @ 2612.73
2619.49/2628.68	c bounds 379 >= 29 @ 2612.74
2619.49/2628.68	c bounds 378 >= 29 @ 2612.75
2619.49/2628.68	c bounds 377 >= 29 @ 2612.75
2619.49/2628.68	c bounds 376 >= 29 @ 2612.77
2619.49/2628.68	c bounds 375 >= 29 @ 2612.78
2619.49/2628.68	c bounds 374 >= 29 @ 2612.78
2619.49/2628.68	c bounds 373 >= 29 @ 2612.79
2619.49/2628.68	c bounds 372 >= 29 @ 2612.79
2619.49/2628.68	c bounds 371 >= 29 @ 2612.8
2619.49/2628.68	c bounds 370 >= 29 @ 2612.81
2619.49/2628.68	c bounds 369 >= 29 @ 2612.82
2619.49/2628.68	c bounds 368 >= 29 @ 2612.83
2619.49/2628.68	c bounds 367 >= 29 @ 2612.84
2619.49/2628.68	c bounds 366 >= 29 @ 2612.85
2619.49/2628.68	c bounds 365 >= 29 @ 2612.86
2619.49/2628.68	c bounds 364 >= 29 @ 2612.88
2619.49/2628.68	c bounds 363 >= 29 @ 2612.89
2619.49/2628.68	c bounds 362 >= 29 @ 2612.9
2619.49/2628.68	c bounds 361 >= 29 @ 2612.92
2619.49/2628.68	c bounds 360 >= 29 @ 2612.93
2619.49/2628.68	c bounds 359 >= 29 @ 2612.95
2619.49/2628.68	c bounds 358 >= 29 @ 2612.96
2619.49/2628.68	c bounds 357 >= 29 @ 2612.97
2619.49/2628.68	c bounds 356 >= 29 @ 2612.97
2619.49/2628.68	c bounds 355 >= 29 @ 2612.98
2619.49/2628.68	c bounds 354 >= 29 @ 2612.99
2619.49/2628.68	c bounds 353 >= 29 @ 2613
2619.49/2628.68	c bounds 352 >= 29 @ 2613
2619.49/2628.68	c bounds 351 >= 29 @ 2613.01
2619.49/2628.68	c bounds 350 >= 29 @ 2613.02
2619.49/2628.68	c bounds 349 >= 29 @ 2613.03
2619.49/2628.68	c bounds 348 >= 29 @ 2613.04
2619.49/2628.68	c bounds 347 >= 29 @ 2613.06
2619.49/2628.68	c bounds 346 >= 29 @ 2613.07
2619.49/2628.68	c bounds 345 >= 29 @ 2613.08
2619.49/2628.68	c bounds 344 >= 29 @ 2613.09
2793.71/2803.46	c bounds 343 >= 29 @ 2613.1
2793.71/2803.46	c bounds 342 >= 29 @ 2613.11
2793.71/2803.46	c bounds 341 >= 29 @ 2613.11
2793.71/2803.46	c bounds 340 >= 29 @ 2613.12
2793.71/2803.46	c bounds 339 >= 29 @ 2613.13
2793.71/2803.46	c bounds 338 >= 29 @ 2613.13
2793.71/2803.46	c bounds 337 >= 29 @ 2613.14
2793.71/2803.46	c bounds 336 >= 29 @ 2613.15
2793.71/2803.46	c bounds 335 >= 29 @ 2613.16
2793.71/2803.46	c bounds 334 >= 29 @ 2613.16
2793.71/2803.46	c bounds 333 >= 29 @ 2613.17
2793.71/2803.46	c bounds 332 >= 29 @ 2613.18
2793.71/2803.46	c bounds 331 >= 29 @ 2613.18
2793.71/2803.46	c bounds 330 >= 29 @ 2613.21
2793.71/2803.46	c bounds 329 >= 29 @ 2613.22
2793.71/2803.46	c bounds 328 >= 29 @ 2613.24
2793.71/2803.46	c bounds 327 >= 29 @ 2613.27
2793.71/2803.46	c bounds 326 >= 29 @ 2613.3
2793.71/2803.46	c bounds 325 >= 29 @ 2613.32
2793.71/2803.46	c bounds 324 >= 29 @ 2613.35
2793.71/2803.46	c bounds 323 >= 29 @ 2613.39
2793.71/2803.46	c bounds 322 >= 29 @ 2613.44
2793.71/2803.46	c bounds 321 >= 29 @ 2613.5
2793.71/2803.46	c bounds 320 >= 29 @ 2613.64
2793.71/2803.46	c bounds 319 >= 29 @ 2613.71
2793.71/2803.46	c bounds 318 >= 29 @ 2613.76
2793.71/2803.46	c bounds 317 >= 29 @ 2613.8
2793.71/2803.46	c bounds 316 >= 29 @ 2613.82
2793.71/2803.46	c bounds 315 >= 29 @ 2614.01
2793.71/2803.46	c bounds 314 >= 29 @ 2614.24
2793.71/2803.46	c bounds 313 >= 29 @ 2614.43
2793.71/2803.46	c bounds 312 >= 29 @ 2614.48
2793.71/2803.46	c bounds 311 >= 29 @ 2614.52
2793.71/2803.46	c bounds 310 >= 29 @ 2614.56
2793.71/2803.46	c bounds 309 >= 29 @ 2614.58
2793.71/2803.46	c bounds 308 >= 29 @ 2614.6
2793.71/2803.46	c bounds 307 >= 29 @ 2614.62
2793.71/2803.46	c bounds 306 >= 29 @ 2614.66
2793.71/2803.46	c bounds 305 >= 29 @ 2614.73
2793.71/2803.46	c bounds 304 >= 29 @ 2614.75
2793.71/2803.46	c bounds 303 >= 29 @ 2614.79
2793.71/2803.46	c #Conflicts:       4000 | #Constraints:      69331
2793.71/2803.46	c bounds 302 >= 29 @ 2614.99
2793.71/2803.46	c bounds 301 >= 29 @ 2615.13
2793.71/2803.46	c INPROCESSING
2793.71/2803.46	c GARBAGE COLLECT
2793.71/2803.46	c bounds 300 >= 29 @ 2616.14
2793.71/2803.46	c bounds 299 >= 29 @ 2616.42
2793.71/2803.46	c bounds 298 >= 29 @ 2616.68
2793.71/2803.46	c #Conflicts:       5000 | #Constraints:      67880
2793.71/2803.46	c bounds 297 >= 29 @ 2616.86
2793.71/2803.46	c #Conflicts:       6000 | #Constraints:      68881
2793.71/2803.46	c INPROCESSING
2793.71/2803.46	c GARBAGE COLLECT
2793.71/2803.46	c #Conflicts:       7000 | #Constraints:      67882
2793.71/2803.46	c bounds 297 >= 30 @ 2638.62
2793.71/2803.46	c bounds 296 >= 30 @ 2638.64
2793.71/2803.46	c bounds 295 >= 30 @ 2638.66
2793.71/2803.46	c bounds 294 >= 30 @ 2638.71
2793.71/2803.46	c bounds 293 >= 30 @ 2638.82
2793.71/2803.46	c bounds 292 >= 30 @ 2638.87
2793.71/2803.46	c #Conflicts:       8000 | #Constraints:      68929
2793.71/2803.46	c #Conflicts:       9000 | #Constraints:      69929
2793.71/2803.46	c INPROCESSING
2793.71/2803.46	c GARBAGE COLLECT
2793.71/2803.46	c bounds 291 >= 30 @ 2695.54
2793.71/2803.46	c bounds 290 >= 30 @ 2695.55
2793.71/2803.46	c bounds 289 >= 30 @ 2695.57
2793.71/2803.46	c bounds 288 >= 30 @ 2695.58
2793.71/2803.46	c bounds 287 >= 30 @ 2695.6
2793.71/2803.46	c bounds 286 >= 30 @ 2695.62
2793.71/2803.46	c bounds 285 >= 30 @ 2695.65
2793.71/2803.46	c bounds 284 >= 30 @ 2695.67
2793.71/2803.46	c bounds 283 >= 30 @ 2695.7
2793.71/2803.46	c bounds 282 >= 30 @ 2695.72
2793.71/2803.46	c bounds 281 >= 30 @ 2695.77
2793.71/2803.46	c bounds 280 >= 30 @ 2695.85
2793.71/2803.46	c bounds 279 >= 30 @ 2695.88
2793.71/2803.46	c bounds 278 >= 30 @ 2695.94
2793.71/2803.46	c bounds 277 >= 30 @ 2696.01
2793.71/2803.46	c bounds 276 >= 30 @ 2696.08
2793.71/2803.46	c bounds 275 >= 30 @ 2696.2
2793.71/2803.46	c bounds 274 >= 30 @ 2696.45
2793.71/2803.46	c bounds 273 >= 30 @ 2696.76
2793.71/2803.46	c bounds 272 >= 30 @ 2696.85
2793.71/2803.46	c bounds 271 >= 30 @ 2696.89
2793.71/2803.46	c bounds 270 >= 30 @ 2696.95
2793.71/2803.46	c bounds 269 >= 30 @ 2697.46
2793.71/2803.46	c bounds 268 >= 30 @ 2697.49
2793.71/2803.46	c bounds 267 >= 30 @ 2697.52
2793.71/2803.46	c bounds 266 >= 30 @ 2697.54
2793.71/2803.46	c bounds 265 >= 30 @ 2697.57
2793.71/2803.46	c bounds 264 >= 30 @ 2697.59
2793.71/2803.46	c bounds 263 >= 30 @ 2697.61
2793.71/2803.46	c bounds 262 >= 30 @ 2697.65
2793.71/2803.46	c bounds 261 >= 30 @ 2697.69
2793.71/2803.46	c #Conflicts:      10000 | #Constraints:      68681
2793.71/2803.46	c #Conflicts:      11000 | #Constraints:      69681
2793.71/2803.46	c bounds 260 >= 30 @ 2702.37
2793.71/2803.46	c bounds 259 >= 30 @ 2702.58
2793.71/2803.46	c #Conflicts:      12000 | #Constraints:      70683
2793.71/2803.46	c INPROCESSING
2793.71/2803.46	c GARBAGE COLLECT
2793.71/2803.46	c bounds 258 >= 30 @ 2704.7
2793.71/2803.46	c bounds 257 >= 30 @ 2705.38
2793.71/2803.46	c bounds 256 >= 30 @ 2705.43
2793.71/2803.46	c bounds 255 >= 30 @ 2705.46
2793.71/2803.46	c #Conflicts:      13000 | #Constraints:      69090
2793.71/2803.46	c bounds 254 >= 30 @ 2706.99
2793.71/2803.46	c #Conflicts:      14000 | #Constraints:      70093
2793.71/2803.46	c bounds 253 >= 30 @ 2715.21
2793.71/2803.46	c bounds 252 >= 30 @ 2715.53
2793.71/2803.46	c #Conflicts:      15000 | #Constraints:      71095
2793.71/2803.46	c INPROCESSING
2793.71/2803.46	c GARBAGE COLLECT
2793.71/2803.46	c bounds 251 >= 30 @ 2717.42
2793.71/2803.46	c bounds 250 >= 30 @ 2717.46
2793.71/2803.46	c #Conflicts:      16000 | #Constraints:      69310
2793.71/2803.46	c #Conflicts:      17000 | #Constraints:      70310
2793.71/2803.46	c #Conflicts:      18000 | #Constraints:      71310
2793.71/2803.46	c INPROCESSING
2793.71/2803.46	c GARBAGE COLLECT
2793.71/2803.46	c #Conflicts:      19000 | #Constraints:      69316
2793.71/2803.46	c #Conflicts:      20000 | #Constraints:      70316
2793.71/2803.46	c #Conflicts:      21000 | #Constraints:      71316
2793.71/2803.46	c INPROCESSING
2793.71/2803.46	c GARBAGE COLLECT
2793.71/2803.46	c bounds 249 >= 30 @ 2783.79
2793.71/2803.46	c bounds 248 >= 30 @ 2783.82
2793.71/2803.46	c bounds 247 >= 30 @ 2783.85
2793.71/2803.46	c bounds 246 >= 30 @ 2783.88
2793.71/2803.46	c bounds 245 >= 30 @ 2783.9
2793.71/2803.46	c bounds 244 >= 30 @ 2783.93
2797.30/2807.03	c bounds 243 >= 30 @ 2783.95
2797.30/2807.03	c bounds 242 >= 30 @ 2783.97
2797.30/2807.03	c bounds 241 >= 30 @ 2783.99
2797.30/2807.03	c bounds 240 >= 30 @ 2784.01
2797.30/2807.03	c bounds 239 >= 30 @ 2784.03
2797.30/2807.03	c bounds 238 >= 30 @ 2784.05
2797.30/2807.03	c bounds 237 >= 30 @ 2784.07
2797.30/2807.03	c bounds 236 >= 30 @ 2784.09
2797.30/2807.03	c bounds 235 >= 30 @ 2784.12
2797.30/2807.03	c bounds 234 >= 30 @ 2784.14
2797.30/2807.03	c bounds 233 >= 30 @ 2784.16
2797.30/2807.03	c bounds 232 >= 30 @ 2784.19
2797.30/2807.03	c bounds 231 >= 30 @ 2784.21
2797.30/2807.03	c bounds 230 >= 30 @ 2784.23
2797.30/2807.03	c bounds 229 >= 30 @ 2784.25
2797.30/2807.03	c bounds 228 >= 30 @ 2784.28
2797.30/2807.03	c bounds 227 >= 30 @ 2784.3
2797.30/2807.03	c bounds 226 >= 30 @ 2784.31
2797.30/2807.03	c bounds 225 >= 30 @ 2784.34
2797.30/2807.03	c bounds 224 >= 30 @ 2784.36
2797.30/2807.03	c bounds 223 >= 30 @ 2784.37
2797.30/2807.03	c bounds 222 >= 30 @ 2784.39
2797.30/2807.03	c bounds 221 >= 30 @ 2784.41
2797.30/2807.03	c bounds 220 >= 30 @ 2784.43
2797.30/2807.03	c bounds 219 >= 30 @ 2784.45
2797.30/2807.03	c bounds 218 >= 30 @ 2784.47
2797.30/2807.03	c bounds 217 >= 30 @ 2784.5
2797.30/2807.03	c bounds 216 >= 30 @ 2784.52
2797.30/2807.03	c bounds 215 >= 30 @ 2784.54
2797.30/2807.03	c bounds 214 >= 30 @ 2784.56
2797.30/2807.03	c bounds 213 >= 30 @ 2784.58
2797.30/2807.03	c bounds 212 >= 30 @ 2784.6
2797.30/2807.03	c bounds 211 >= 30 @ 2784.62
2797.30/2807.03	c bounds 210 >= 30 @ 2784.64
2797.30/2807.03	c bounds 209 >= 30 @ 2784.66
2797.30/2807.03	c bounds 208 >= 30 @ 2784.68
2797.30/2807.03	c bounds 207 >= 30 @ 2784.7
2797.30/2807.03	c bounds 206 >= 30 @ 2784.71
2797.30/2807.03	c bounds 205 >= 30 @ 2784.73
2797.30/2807.03	c bounds 204 >= 30 @ 2784.75
2797.30/2807.03	c bounds 203 >= 30 @ 2784.77
2797.30/2807.03	c bounds 202 >= 30 @ 2784.79
2797.30/2807.03	c bounds 201 >= 30 @ 2784.81
2797.30/2807.03	c bounds 200 >= 30 @ 2784.83
2797.30/2807.03	c bounds 199 >= 30 @ 2784.85
2797.30/2807.03	c bounds 198 >= 30 @ 2784.87
2797.30/2807.03	c bounds 197 >= 30 @ 2784.88
2797.30/2807.03	c bounds 196 >= 30 @ 2784.91
2797.30/2807.03	c bounds 195 >= 30 @ 2784.93
2797.30/2807.03	c bounds 194 >= 30 @ 2784.96
2797.30/2807.03	c bounds 193 >= 30 @ 2784.98
2797.30/2807.03	c bounds 192 >= 30 @ 2785.01
2797.30/2807.03	c bounds 191 >= 30 @ 2785.04
2797.30/2807.03	c bounds 190 >= 30 @ 2785.07
2797.30/2807.03	c bounds 189 >= 30 @ 2785.09
2797.30/2807.03	c bounds 188 >= 30 @ 2785.11
2797.30/2807.03	c bounds 187 >= 30 @ 2785.14
2797.30/2807.03	c bounds 186 >= 30 @ 2785.17
2797.30/2807.03	c bounds 185 >= 30 @ 2785.19
2797.30/2807.03	c bounds 184 >= 30 @ 2785.22
2797.30/2807.03	c bounds 183 >= 30 @ 2785.26
2797.30/2807.03	c bounds 182 >= 30 @ 2785.3
2797.30/2807.03	c bounds 181 >= 30 @ 2785.35
2797.30/2807.03	c bounds 180 >= 30 @ 2785.38
2797.30/2807.03	c bounds 179 >= 30 @ 2785.41
2797.30/2807.03	c bounds 178 >= 30 @ 2785.44
2797.30/2807.03	c bounds 177 >= 30 @ 2785.46
2797.30/2807.03	c bounds 176 >= 30 @ 2785.48
2797.30/2807.03	c bounds 175 >= 30 @ 2785.5
2797.30/2807.03	c bounds 174 >= 30 @ 2785.52
2797.30/2807.03	c bounds 173 >= 30 @ 2785.54
2797.30/2807.03	c bounds 172 >= 30 @ 2785.56
2797.30/2807.03	c bounds 171 >= 30 @ 2785.58
2797.30/2807.03	c bounds 170 >= 30 @ 2785.59
2797.30/2807.03	c bounds 169 >= 30 @ 2785.61
2797.30/2807.03	c bounds 168 >= 30 @ 2785.63
2797.30/2807.03	c bounds 167 >= 30 @ 2785.65
2797.30/2807.03	c bounds 166 >= 30 @ 2785.67
2797.30/2807.03	c bounds 165 >= 30 @ 2785.69
2797.30/2807.03	c bounds 164 >= 30 @ 2785.7
2797.30/2807.03	c bounds 163 >= 30 @ 2785.72
2797.30/2807.03	c bounds 162 >= 30 @ 2785.74
2797.30/2807.03	c bounds 161 >= 30 @ 2785.76
2797.30/2807.03	c bounds 160 >= 30 @ 2785.78
2797.30/2807.03	c bounds 159 >= 30 @ 2785.81
2797.30/2807.03	c bounds 158 >= 30 @ 2785.83
2797.30/2807.03	c bounds 157 >= 30 @ 2785.85
2797.30/2807.03	c bounds 156 >= 30 @ 2785.86
2797.30/2807.03	c bounds 155 >= 30 @ 2785.88
2797.30/2807.03	c bounds 154 >= 30 @ 2785.9
2797.30/2807.03	c bounds 153 >= 30 @ 2785.92
2797.30/2807.03	c bounds 152 >= 30 @ 2785.93
2797.30/2807.03	c bounds 151 >= 30 @ 2785.95
2797.30/2807.03	c bounds 150 >= 30 @ 2785.97
2797.30/2807.03	c bounds 149 >= 30 @ 2785.99
2797.30/2807.03	c bounds 148 >= 30 @ 2786
2797.30/2807.03	c bounds 147 >= 30 @ 2786.02
2797.30/2807.03	c bounds 146 >= 30 @ 2786.04
2797.30/2807.03	c bounds 145 >= 30 @ 2786.06
2797.30/2807.03	c bounds 144 >= 30 @ 2786.07
2797.30/2807.03	c bounds 143 >= 30 @ 2786.09
2797.30/2807.03	c bounds 142 >= 30 @ 2786.11
2797.30/2807.03	c bounds 141 >= 30 @ 2786.12
2797.30/2807.03	c bounds 140 >= 30 @ 2786.14
2797.30/2807.03	c bounds 139 >= 30 @ 2786.15
2797.30/2807.03	c bounds 138 >= 30 @ 2786.17
2797.30/2807.03	c bounds 137 >= 30 @ 2786.19
2797.30/2807.03	c bounds 136 >= 30 @ 2786.2
2797.30/2807.03	c bounds 135 >= 30 @ 2786.22
2797.30/2807.03	c bounds 134 >= 30 @ 2786.24
2797.30/2807.03	c bounds 133 >= 30 @ 2786.25
2797.30/2807.03	c bounds 132 >= 30 @ 2786.27
2797.30/2807.03	c bounds 131 >= 30 @ 2786.29
2797.30/2807.03	c bounds 130 >= 30 @ 2786.31
2797.30/2807.03	c bounds 129 >= 30 @ 2786.33
2797.30/2807.03	c bounds 128 >= 30 @ 2786.35
2797.30/2807.03	c bounds 127 >= 30 @ 2786.36
2797.30/2807.03	c bounds 126 >= 30 @ 2786.38
2797.30/2807.03	c bounds 125 >= 30 @ 2786.39
2797.30/2807.03	c bounds 124 >= 30 @ 2786.41
2797.30/2807.03	c bounds 123 >= 30 @ 2786.43
2797.30/2807.03	c bounds 122 >= 30 @ 2786.44
2797.30/2807.03	c bounds 121 >= 30 @ 2786.46
2797.30/2807.03	c bounds 120 >= 30 @ 2786.48
2797.30/2807.03	c bounds 119 >= 30 @ 2786.49
2797.30/2807.03	c bounds 118 >= 30 @ 2786.51
2797.30/2807.03	c bounds 117 >= 30 @ 2786.53
2797.30/2807.03	c bounds 116 >= 30 @ 2786.55
2797.30/2807.03	c bounds 115 >= 30 @ 2786.56
2797.30/2807.03	c bounds 114 >= 30 @ 2786.58
2797.30/2807.03	c bounds 113 >= 30 @ 2786.6
2797.30/2807.03	c bounds 112 >= 30 @ 2786.62
2797.30/2807.03	c bounds 111 >= 30 @ 2786.64
2797.30/2807.03	c bounds 110 >= 30 @ 2786.65
2797.30/2807.03	c bounds 109 >= 30 @ 2786.67
2797.30/2807.03	c bounds 108 >= 30 @ 2786.69
2797.30/2807.03	c bounds 107 >= 30 @ 2786.71
2797.30/2807.03	c bounds 106 >= 30 @ 2786.72
2797.30/2807.03	c bounds 105 >= 30 @ 2786.74
2797.30/2807.03	c bounds 104 >= 30 @ 2786.76
2797.30/2807.03	c bounds 103 >= 30 @ 2786.77
2797.30/2807.03	c bounds 102 >= 30 c
3600.02/3612.60	s SATISFIABLE
3600.02/3612.60	v x1 x2 x3 x4 ~x5 ~x6 ~x7 ~x8 ~x9 ~x10 ~x11 ~x12 ~x13 ~x14 ~x15 ~x16 ~x17 ~x18 ~x19 ~x20 ~x21 ~x22 ~x23 ~x24 ~x25 ~x26 ~x27 ~x28 ~x29 ~x30 ~x31 ~x32 ~x33 ~x34 ~x35 ~x36 ~x37 ~x38 ~x39 ~x40 ~x41 ~x42 ~x43 ~x44 ~x45 ~x46 ~x47 ~x48 ~x49 ~x50 ~x51 ~x52 ~x53 ~x54 ~x55 ~x56 ~x57 ~x58 ~x59 ~x60 ~x61 ~x62 ~x63 ~x64 ~x65 ~x66 ~x67 ~x68 ~x69 ~x70 ~x71 ~x72 ~x73 ~x74 ~x75 ~x76 ~x77 ~x78 ~x79 ~x80 ~x81 ~x82 ~x83 ~x84 ~x85 ~x86 ~x87 ~x88 ~x89 ~x90 ~x91 ~x92 ~x93 ~x94 ~x95 ~x96 ~x97 ~x98 ~x99 ~x100 ~x101 ~x102 ~x103 ~x104 ~x105 ~x106 ~x107 ~x108 ~x109 ~x110 ~x111 ~x112 ~x113 ~x114 ~x115 ~x116 ~x117 ~x118 ~x119 ~x120 ~x121 ~x122 ~x123 ~x124 ~x125 ~x126 ~x127 ~x128 ~x129 ~x130 ~x131 ~x132 ~x133 ~x134 ~x135 ~x136 ~x137 ~x138 ~x139 ~x140 ~x141 ~x142 ~x143 ~x144 ~x145 ~x146 ~x147 ~x148 ~x149 ~x150 ~x151 ~x152 ~x153 ~x154 ~x155 ~x156 ~x157 ~x158 ~x159 ~x160 ~x161 ~x162 ~x163 ~x164 ~x165 ~x166 ~x167 ~x168 ~x169 ~x170 ~x171 ~x172 ~x173 ~x174 ~x175 ~x176 ~x177 ~x178 ~x179 ~x180 ~x181 ~x182 ~x183 ~x184 ~x185 ~x186 ~x187 ~x188 ~x189 ~x190 ~x191 ~x192 ~x193 ~x194 ~x195 ~x196 ~x197 ~x198 ~x199 ~x200 ~x201 ~x202 ~x203 ~x204 ~x205 ~x206 ~x207 ~x208 ~x209 ~x210 ~x211 ~x212 ~x213 ~x214 ~x215 ~x216 ~x217 ~x218 ~x219 ~x220 ~x221 ~x222 ~x223 ~x224 ~x225 ~x226 ~x227 ~x228 ~x229 ~x230 ~x231 ~x232 ~x233 ~x234 ~x235 ~x236 ~x237 ~x238 ~x239 ~x240 ~x241 ~x242 ~x243 ~x244 ~x245 ~x246 ~x247 ~x248 ~x249 ~x250 ~x251 ~x252 ~x253 ~x254 ~x255 ~x256 ~x257 ~x258 ~x259 ~x260 ~x261 ~x262 ~x263 ~x264 ~x265 ~x266 ~x267 ~x268 ~x269 ~x270 ~x271 ~x272 ~x273 ~x274 ~x275 ~x276 ~x277 ~x278 ~x279 ~x280 ~x281 ~x282 ~x283 ~x284 ~x285 ~x286 ~x287 ~x288 ~x289 ~x290 ~x291 ~x292 ~x293 ~x294 ~x295 ~x296 ~x297 ~x298 ~x299 ~x300 ~x301 ~x302 ~x303 ~x304 ~x305 ~x306 ~x307 ~x308 ~x309 ~x310 ~x311 ~x312 ~x313 ~x314 ~x315 ~x316 ~x317 ~x318 ~x319 ~x320 ~x321 ~x322 ~x323 ~x324 ~x325 ~x326 ~x327 ~x328 ~x329 ~x330 ~x331 ~x332 ~x333 ~x334 ~x335 ~x336 ~x337 ~x338 ~x339 ~x340 ~x341 ~x342 ~x343 ~x344 ~x345 ~x346 ~x347 ~x348 ~x349 ~x350 ~x351 ~x352 ~x353 ~x354 ~x355 ~x356 ~x357 ~x358 ~x359 ~x360 ~x361 ~x362 ~x363 ~x364 ~x365 ~x366 ~x367 ~x368 ~x369 ~x370 ~x371 ~x372 ~x373 ~x374 ~x375 ~x376 ~x377 ~x378 ~x379 ~x380 ~x381 ~x382 ~x383 ~x384 ~x385 ~x386 ~x387 ~x388 ~x389 ~x390 ~x391 ~x392 ~x393 ~x394 ~x395 ~x396 ~x397 ~x398 ~x399 ~x400 ~x401 ~x402 ~x403 ~x404 ~x405 ~x406 ~x407 ~x408 ~x409 ~x410 ~x411 ~x412 ~x413 ~x414 ~x415 ~x416 ~x417 ~x418 ~x419 ~x420 ~x421 ~x422 ~x423 ~x424 ~x425 ~x426 ~x427 ~x428 ~x429 ~x430 ~x431 ~x432 ~x433 ~x434 ~x435 ~x436 ~x437 ~x438 ~x439 ~x440 ~x441 ~x442 ~x443 ~x444 ~x445 ~x446 ~x447 ~x448 ~x449 ~x450 ~x451 ~x452 ~x453 ~x454 ~x455 ~x456 ~x457 ~x458 ~x459 ~x460 ~x461 ~x462 ~x463 ~x464 ~x465 ~x466 ~x467 ~x468 ~x469 ~x470 ~x471 ~x472 ~x473 ~x474 ~x475 ~x476 ~x477 ~x478 ~x479 ~x480 ~x481 ~x482 ~x483 ~x484 ~x485 ~x486 ~x487 ~x488 ~x489 ~x490 ~x491 ~x492 ~x493 ~x494 ~x495 ~x496 ~x497 ~x498 ~x499 ~x500 ~x501 ~x502 ~x503 ~x504 ~x505 ~x506 ~x507 ~x508 ~x509 ~x510 ~x511 ~x512 ~x513 ~x514 ~x515 ~x516 ~x517 ~x518 ~x519 ~x520 ~x521 ~x522 ~x523 ~x524 ~x525 ~x526 ~x527 ~x528 ~x529 ~x530 ~x531 ~x532 ~x533 ~x534 ~x535 ~x536 ~x537 ~x538 ~x539 ~x540 ~x541 ~x542 ~x543 ~x544 ~x545 ~x546 ~x547 ~x548 ~x549 ~x550 ~x551 ~x552 ~x553 ~x554 ~x555 ~x556 ~x557 ~x558 ~x559 ~x560 ~x561 ~x562 ~x563 ~x564 ~x565 ~x566 ~x567 ~x568 ~x569 ~x570 ~x571 ~x572 ~x573 ~x574 ~x575 ~x576 ~x577 ~x578 ~x579 ~x580 ~x581 ~x582 ~x583 ~x584 ~x585 ~x586 ~x587 ~x588 ~x589 ~x590 ~x591 ~x592 ~x593 ~x594 ~x595 ~x596 ~x597 ~x598 ~x599 ~x600 ~x601 ~x602 ~x603 ~x604 ~x605 ~x606 ~x607 ~x608 ~x609 ~x610 ~x611 ~x612 ~x613 ~x614 ~x615 ~x616 ~x617 ~x618 ~x619 ~x620 ~x621 ~x622 ~x623 ~x624 ~x625 ~x626 ~x627 ~x628 ~x629 ~x630 ~x631 ~x632 ~x633 ~x634 ~x635 ~x636 ~x637 ~x638 ~x639 ~x640 ~x641 ~x642 ~x643 ~x644 ~x645 ~x646 ~x647 ~x648 ~x649 ~x650 ~x651 ~x652 ~x653 ~x654 ~x655 ~x656 ~x657 ~x658 ~x659 ~x660 ~x661 ~x662 ~x663 ~x664 ~x665 ~x666 ~x667 ~x668 ~x669 ~x670 ~x671 ~x672 ~x673 ~x674 ~x675 ~x676 ~x677 ~x678 ~x679 ~x680 ~x681 ~x682 ~x683 ~x684 ~x685 ~x686 ~x687 ~x688 ~x689 ~x690 ~x691 ~x692 ~x693 ~x694 ~x695 ~x696 ~x697 ~x698 ~x699 ~x700 ~x701 ~x702 ~x703 ~x704 ~x705 ~x706 ~x707 ~x708 ~x709 ~x710 ~x711 ~x712 ~x713 ~x714 ~x715 ~x716 ~x717 ~x718 ~x719 ~x720 ~x721 ~x722 ~x723 ~x724 ~x725 ~x726 ~x727 ~x728 ~x729 ~x730 ~x731 ~x732 ~x733 ~x734 ~x735 ~x736 ~x737 ~x738 ~x739 ~x740 ~x741 ~x742 ~x743 ~x744 ~x745 ~x746 ~x747 ~x748 ~x749 ~x750 ~x751 ~x752 ~x753 ~x754 ~x755 ~x756 ~x757 ~x758 ~x759 ~x760 ~x761 ~x762 ~x763 ~x764 ~x765 ~x766 ~x767 ~x768 ~x769 ~x770 ~x771 ~x772 ~x773 ~x774 ~x775 ~x776 ~x777 ~x778 ~x779 ~x780 ~x781 ~x782 ~x783 ~x784 ~x785 ~x786 ~x787 ~x788 ~x789 ~x790 ~x791 ~x792 ~x793 ~x794 ~x795 ~x796 ~x797 ~x798 ~x799 ~x800 ~x801 ~x802 ~x803 ~x804 ~x805 ~x806 ~x807 ~x808 ~x809 ~x810 ~x811 ~x812 ~x813 ~x814 ~x815 ~x816 ~x817 ~x818 ~x819 ~x820 ~x821 ~x822 ~x823 ~x824 ~x825 ~x826 ~x827 ~x828 ~x829 ~x830 ~x831 ~x832 ~x833 ~x834 ~x835 ~x836 ~x837 ~x838 ~x839 ~x840 ~x841 ~x842 ~x843 ~x844 ~x845 ~x846 ~x847 ~x848 ~x849 ~x850 ~x851 ~x852 ~x853 ~x854 ~x855 ~x856 ~x857 ~x858 ~x859 ~x860 ~x861 ~x862 ~x863 ~x864 ~x865 ~x866 ~x867 ~x868 ~x869 ~x870 ~x871 ~x872 ~x873 ~x874 ~x875 ~x876 ~x877 ~x878 ~x879 ~x880 ~x881 ~x882 ~x883 ~x884 ~x885 ~x886 ~x887 ~x888 ~x889 ~x890 ~x891 ~x892 ~x893 ~x894 ~x895 ~x896 ~x897 ~x898 ~x899 ~x900 ~x901 ~x902 ~x903 ~x904 ~x905 ~x906 ~x907 ~x908 ~x909 ~x910 ~x911 ~x912 ~x913 ~x914 ~x915 ~x916 ~x917 ~x918 ~x919 ~x920 ~x921 ~x922 ~x923 ~x924 ~x925 ~x926 ~x927 ~x928 ~x929 ~x930 ~x931 ~x932 ~x933 ~x934 ~x935 ~x936 ~x937 ~x938 ~x939 ~x940 ~x941 ~x942 ~x943 ~x944 ~x945 ~x946 ~x947 ~x948 ~x949 ~x950 ~x951 ~x952 ~x953 ~x954 ~x955 ~x956 ~x957 ~x958 ~x959 ~x960 ~x961 ~x962 ~x963 ~x964 ~x965 ~x966 ~x967 ~x968 ~x969 ~x970 ~x971 ~x972 ~x973 ~x974 ~x975 ~x976 ~x977 ~x978 ~x979 ~x980 ~x981 ~x982 ~x983 ~x984 ~x985 ~x986 ~x987 ~x988 ~x989 ~x990 ~x991 ~x992 ~x993 ~x994 ~x995 ~x996 ~x997 ~x998 ~x999 ~x1000 ~x1001 ~x1002 ~x1003 ~x1004 ~x1005 ~x1006 ~x1007 ~x1008 ~x1009 ~x1010 ~x1011 ~x1012 ~x1013 ~x1014 ~x1015 ~x1016 ~x1017 ~x1018 ~x1019 ~x1020 ~x1021 ~x1022 ~x1023 ~x1024 ~x1025 ~x1026 ~x1027 ~x1028 ~x1029 ~x1030 ~x1031 ~x1032 ~x1033 ~x1034 ~x1035 ~x1036 ~x1037 ~x1038 ~x1039 ~x1040 ~x1041 ~x1042 ~x1043 ~x1044 ~x1045 ~x1046 ~x1047 ~x1048 ~x1049 ~x1050 ~x1051 ~x1052 ~x1053 ~x1054 ~x1055 ~x1056 ~x1057 ~x1058 ~x1059 ~x1060 ~x1061 ~x1062 ~x1063 ~x1064 ~x1065 ~x1066 ~x1067 ~x1068 ~x1069 ~x1070 ~x1071 ~x1072 ~x1073 ~x1074 ~x1075 ~x1076 ~x1077 ~x1078 ~x1079 ~x1080 ~x1081 ~x1082 ~x1083 ~x1084 ~x1085 ~x1086 ~x1087 ~x1088 ~x1089 ~x1090 ~x1091 ~x1092 ~x1093 ~x1094 ~x1095 ~x1096 ~x1097 ~x1098 ~x1099 ~x1100 ~x1101 ~x1102 ~x1103 ~x1104 ~x1105 ~x1106 ~x1107 ~x1108 ~x1109 ~x1110 ~x1111 ~x1112 ~x1113 ~x1114 ~x1115 ~x1116 ~x1117 ~x1118 ~x1119 ~x1120 ~x1121 ~x1122 ~x1123 ~x1124 ~x1125 ~x1126 ~x1127 ~x1128 ~x1129 ~x1130 ~x1131 ~x1132 ~x1133 ~x1134 ~x1135 ~x1136 ~x1137 ~x1138 ~x1139 ~x1140 ~x1141 ~x1142 ~x1143 ~x1144 ~x1145 ~x1146 ~x1147 ~x1148 ~x1149 x1150 ~x1151 x1152 ~x1153 ~x1154 ~x1155 ~x1156 ~x1157 ~x1158 ~x1159 ~x1160 x1161 ~x1162 ~x1163 x1164 x1165 x1166 ~x1167 ~x1168 ~x1169 ~x1170 ~x1171 ~x1172 ~x1173 ~x1174 ~x1175 ~x1176 ~x1177 ~x1178 ~x1179 ~x1180 ~x1181 ~x1182 ~x1183 ~x1184 ~x1185 ~x1186 ~x1187 ~x1188 ~x1189 ~x1190 ~x1191 ~x1192 ~x1193 ~x1194 ~x1195 ~x1196 ~x1197 ~x1198 ~x1199 ~x1200 ~x1201 ~x1202 ~x1203 ~x1204 ~x1205 ~x1206 ~x1207 ~x1208 ~x1209 ~x1210 ~x1211 ~x1212 ~x1213 ~x1214 ~x1215 ~x1216 ~x1217 ~x1218 ~x1219 ~x1220 ~x1221 ~x1222 ~x1223 ~x1224 ~x1225 ~x1226 ~x1227 ~x1228 ~x1229 ~x1230 ~x1231 ~x1232 ~x1233 ~x1234 ~x1235 ~x1236 ~x1237 ~x1238 ~x1239 ~x1240 ~x1241 ~x1242 ~x1243 ~x1244 ~x1245 ~x1246 ~x1247 ~x1248 ~x1249 ~x1250 ~x1251 ~x1252 ~x1253 ~x1254 ~x1255 ~x1256 ~x1257 ~x1258 ~x1259 ~x1260 ~x1261 ~x1262 ~x1263 ~x1264 ~x1265 ~x1266 ~x1267 ~x1268 ~x1269 ~x1270 ~x1271 ~x1272 ~x1273 ~x1274 ~x1275 ~x1276 ~x1277 ~x1278 ~x1279 ~x1280 ~x1281 ~x1282 ~x1283 ~x1284 ~x1285 ~x1286 ~x1287 ~x1288 ~x1289 ~x1290 ~x1291 ~x1292 ~x1293 ~x1294 ~x1295 ~x1296 ~x1297 ~x1298 ~x1299 ~x1300 ~x1301 ~x1302 ~x1303 ~x1304 ~x1305 ~x1306 ~x1307 ~x1308 ~x1309 ~x1310 ~x1311 ~x1312 ~x1313 ~x1314 ~x1315 ~x1316 ~x1317 ~x1318 ~x1319 ~x1320 ~x1321 ~x1322 ~x1323 ~x1324 ~x1325 ~x1326 ~x1327 ~x1328 ~x1329 ~x1330 ~x1331 ~x1332 ~x1333 ~x1334 ~x1335 ~x1336 ~x1337 ~x1338 ~x1339 ~x1340 ~x1341 ~x1342 ~x1343 ~x1344 ~x1345 ~x1346 ~x1347 ~x1348 ~x1349 ~x1350 ~x1351 ~x1352 ~x1353 ~x1354 ~x1355 ~x1356 ~x1357 ~x1358 ~x1359 ~x1360 ~x1361 ~x1362 ~x1363 ~x1364 ~x1365 ~x1366 ~x1367 ~x1368 ~x1369 ~x1370 ~x1371 ~x1372 ~x1373 ~x1374 ~x1375 ~x1376 ~x1377 ~x1378 ~x1379 ~x1380 ~x1381 ~x1382 ~x1383 ~x1384 ~x1385 ~x1386 ~x1387 ~x1388 ~x1389 ~x1390 ~x1391 ~x1392 ~x1393 ~x1394 ~x1395 ~x1396 ~x1397 ~x1398 ~x1399 ~x1400 ~x1401 ~x1402 ~x1403 ~x1404 ~x1405 ~x1406 ~x1407 ~x1408 ~x1409 ~x1410 ~x1411 ~x1412 ~x1413 ~x1414 ~x1415 ~x1416 ~x1417 ~x1418 ~x1419 ~x1420 ~x1421 ~x1422 ~x1423 ~x1424 ~x1425 ~x1426 ~x1427 ~x1428 ~x1429 ~x1430 ~x1431 ~x1432 ~x1433 ~x1434 ~x1435 ~x1436 ~x1437 ~x1438 ~x1439 ~x1440 ~x1441 ~x1442 ~x1443 ~x1444 ~x1445 ~x1446 ~x1447 ~x1448 ~x1449 ~x1450 ~x1451 ~x1452 ~x1453 ~x1454 ~x1455 ~x1456 ~x1457 ~x1458 ~x1459 ~x1460 ~x1461 ~x1462 ~x1463 ~x1464 ~x1465 ~x1466 ~x1467 ~x1468 ~x1469 ~x1470 ~x1471 ~x1472 ~x1473 ~x1474 ~x1475 ~x1476 ~x1477 ~x1478 ~x1479 ~x1480 ~x1481 ~x1482 ~x1483 ~x1484 ~x1485 ~x1486 ~x1487 ~x1488 ~x1489 ~x1490 ~x1491 ~x1492 ~x1493 ~x1494 ~x1495 ~x1496 ~x1497 ~x1498 ~x1499 ~x1500 ~x1501 ~x1502 ~x1503 ~x1504 ~x1505 ~x1506 ~x1507 ~x1508 ~x1509 ~x1510 ~x1511 ~x1512 ~x1513 ~x1514 ~x1515 ~x1516 ~x1517 ~x1518 ~x1519 ~x1520 ~x1521 ~x1522 ~x1523 ~x1524 ~x1525 ~x1526 ~x1527 ~x1528 ~x1529 ~x1530 ~x1531 ~x1532 ~x1533 ~x1534 ~x1535 ~x1536 ~x1537 ~x1538 ~x1539 ~x1540 ~x1541 ~x1542 ~x1543 ~x1544 ~x1545 ~x1546 ~x1547 ~x1548 ~x1549 ~x1550 ~x1551 ~x1552 ~x1553 ~x1554 ~x1555 ~x1556 ~x1557 ~x1558 ~x1559 ~x1560 ~x1561 ~x1562 ~x1563 ~x1564 ~x1565 ~x1566 ~x1567 ~x1568 ~x1569 ~x1570 ~x1571 ~x1572 ~x1573 ~x1574 ~x1575 ~x1576 ~x1577 ~x1578 ~x1579 ~x1580 ~x1581 ~x1582 ~x1583 ~x1584 ~x1585 ~x1586 ~x1587 ~x1588 ~x1589 ~x1590 ~x1591 ~x1592 ~x1593 ~x1594 ~x1595 ~x1596 ~x1597 ~x1598 ~x1599 ~x1600 ~x1601 ~x1602 ~x1603 ~x1604 ~x1605 ~x1606 ~x1607 ~x1608 ~x1609 ~x1610 ~x1611 ~x1612 ~x1613 ~x1614 ~x1615 ~x1616 ~x1617 ~x1618 ~x1619 ~x1620 ~x1621 ~x1622 ~x1623 ~x1624 ~x1625 ~x1626 ~x1627 ~x1628 ~x1629 ~x1630 ~x1631 ~x1632 ~x1633 ~x1634 ~x1635 ~x1636 ~x1637 ~x1638 ~x1639 ~x1640 ~x1641 ~x1642 ~x1643 ~x1644 ~x1645 ~x1646 ~x1647 ~x1648 ~x1649 ~x1650 ~x1651 ~x1652 ~x1653 ~x1654 ~x1655 ~x1656 ~x1657 ~x1658 ~x1659 ~x1660 ~x1661 ~x1662 ~x1663 ~x1664 ~x1665 ~x1666 ~x1667 ~x1668 ~x1669 ~x1670 ~x1671 ~x1672 ~x1673 ~x1674 ~x1675 ~x1676 ~x1677 ~x1678 ~x1679 ~x1680 ~x1681 ~x1682 ~x1683 ~x1684 ~x1685 ~x1686 ~x1687 ~x1688 ~x1689 ~x1690 ~x1691 ~x1692 ~x1693 ~x1694 ~x1695 ~x1696 ~x1697 ~x1698 ~x1699 ~x1700 ~x1701 ~x1702 ~x1703 ~x1704 ~x1705 ~x1706 ~x1707 ~x1708 ~x1709 ~x1710 ~x1711 ~x1712 ~x1713 ~x1714 ~x1715 ~x1716 ~x1717 ~x1718 ~x1719 ~x1720 ~x1721 ~x1722 ~x1723 ~x1724 ~x1725 ~x1726 ~x1727 ~x1728 ~x1729 ~x1730 ~x1731 ~x1732 ~x1733 ~x1734 ~x1735 ~x1736 ~x1737 ~x1738 ~x1739 ~x1740 ~x1741 ~x1742 ~x1743 ~x1744 ~x1745 ~x1746 ~x1747 ~x1748 ~x1749 ~x1750 ~x1751 ~x1752 ~x1753 ~x1754 ~x1755 ~x1756 ~x1757 ~x1758 ~x1759 ~x1760 ~x1761 ~x1762 ~x1763 ~x1764 ~x1765 ~x1766 ~x1767 ~x1768 ~x1769 ~x1770 ~x1771 ~x1772 ~x1773 ~x1774 ~x1775 ~x1776 ~x1777 ~x1778 ~x1779 ~x1780 ~x1781 ~x1782 ~x1783 ~x1784 ~x1785 ~x1786 ~x1787 ~x1788 ~x1789 ~x1790 ~x1791 ~x1792 ~x1793 ~x1794 ~x1795 ~x1796 ~x1797 ~x1798 ~x1799 ~x1800 ~x1801 ~x1802 ~x1803 ~x1804 ~x1805 ~x1806 ~x1807 ~x1808 ~x1809 ~x1810 ~x1811 ~x1812 ~x1813 ~x1814 ~x1815 ~x1816 ~x1817 ~x1818 ~x1819 ~x1820 ~x1821 ~x1822 ~x1823 ~x1824 ~x1825 ~x1826 ~x1827 ~x1828 ~x1829 ~x1830 ~x1831 ~x1832 ~x1833 ~x1834 ~x1835 ~x1836 ~x1837 ~x1838 ~x1839 ~x1840 ~x1841 ~x1842 ~x1843 ~x1844 ~x1845 ~x1846 ~x1847 ~x1848 ~x1849 ~x1850 ~x1851 ~x1852 ~x1853 ~x1854 ~x1855 ~x1856 ~x1857 ~x1858 ~x1859 ~x1860 ~x1861 ~x1862 ~x1863 ~x1864 ~x1865 ~x1866 ~x1867 ~x1868 ~x1869 ~x1870 ~x1871 x1872 ~x1873 x1874 ~x1875 ~x1876 ~x1877 ~x1878 ~x1879 ~x1880 ~x1881 ~x1882 ~x1883 x1884 x1885 ~x1886 x1887 x1888 ~x1889 ~x1890 ~x1891 ~x1892 ~x1893 ~x1894 ~x1895 ~x1896 ~x1897 ~x1898 ~x1899 ~x1900 ~x1901 ~x1902 ~x1903 ~x1904 ~x1905 ~x1906 ~x1907 ~x1908 ~x1909 ~x1910 ~x1911 ~x1912 ~x1913 ~x1914 ~x1915 ~x1916 ~x1917 ~x1918 ~x1919 ~x1920 ~x1921 ~x1922 ~x1923 ~x1924 ~x1925 ~x1926 ~x1927 ~x1928 ~x1929 ~x1930 ~x1931 ~x1932 ~x1933 ~x1934 ~x1935 ~x1936 ~x1937 ~x1938 ~x1939 ~x1940 ~x1941 ~x1942 ~x1943 ~x1944 ~x1945 ~x1946 ~x1947 ~x1948 ~x1949 ~x1950 ~x1951 ~x1952 ~x1953 ~x1954 ~x1955 ~x1956 ~x1957 ~x1958 ~x1959 ~x1960 ~x1961 ~x1962 ~x1963 ~x1964 ~x1965 ~x1966 ~x1967 ~x1968 ~x1969 ~x1970 ~x1971 ~x1972 ~x1973 ~x1974 ~x1975 ~x1976 ~x1977 ~x1978 ~x1979 ~x1980 ~x1981 ~x1982 ~x1983 ~x1984 ~x1985 ~x1986 ~x1987 ~x1988 ~x1989 ~x1990 ~x1991 ~x1992 ~x1993 ~x1994 ~x1995 ~x1996 ~x1997 ~x1998 ~x1999 ~x2000 ~x2001 ~x2002 ~x2003 ~x2004 ~x2005 ~x2006 ~x2007 ~x2008 ~x2009 ~x2010 ~x2011 ~x2012 ~x2013 ~x2014 ~x2015 ~x2016 ~x2017 ~x2018 ~x2019 ~x2020 ~x2021 ~x2022 ~x2023 ~x2024 ~x2025 ~x2026 ~x2027 ~x2028 ~x2029 ~x2030 ~x2031 ~x2032 ~x2033 ~x2034 ~x2035 ~x2036 ~x2037 ~x2038 ~x2039 ~x2040 ~x2041 ~x2042 ~x2043 ~x2044 ~x2045 ~x2046 ~x2047 ~x2048 ~x2049 ~x2050 ~x2051 ~x2052 ~x2053 ~x2054 ~x2055 ~x2056 ~x2057 ~x2058 ~x2059 ~x2060 ~x2061 ~x2062 ~x2063 ~x2064 ~x2065 ~x2066 ~x2067 ~x2068 ~x2069 ~x2070 ~x2071 ~x2072 ~x2073 ~x2074 ~x2075 ~x2076 ~x2077 ~x2078 ~x2079 ~x2080 ~x2081 ~x2082 ~x2083 ~x2084 ~x2085 ~x2086 ~x2087 ~x2088 ~x2089 ~x2090 ~x2091 ~x2092 ~x2093 ~x2094 ~x2095 ~x2096 ~x2097 ~x2098 ~x2099 ~x2100 ~x2101 ~x2102 ~x2103 ~x2104 ~x2105 ~x2106 ~x2107 ~x2108 ~x2109 ~x2110 ~x2111 ~x2112 ~x2113 ~x2114 ~x2115 ~x2116 ~x2117 ~x2118 ~x2119 ~x2120 ~x2121 ~x2122 ~x2123 ~x2124 ~x2125 ~x2126 ~x2127 ~x2128 ~x2129 ~x2130 ~x2131 ~x2132 ~x2133 ~x2134 ~x2135 ~x2136 ~x2137 ~x2138 ~x2139 ~x2140 ~x2141 ~x2142 ~x2143 ~x2144 ~x2145 ~x2146 ~x2147 ~x2148 ~x2149 ~x2150 ~x2151 ~x2152 ~x2153 ~x2154 ~x2155 ~x2156 ~x2157 ~x2158 ~x2159 ~x2160 ~x2161 ~x2162 ~x2163 ~x2164 ~x2165 ~x2166 ~x2167 ~x2168 ~x2169 ~x2170 ~x2171 ~x2172 ~x2173 ~x2174 ~x2175 ~x2176 ~x2177 ~x2178 ~x2179 ~x2180 ~x2181 ~x2182 ~x2183 ~x2184 ~x2185 ~x2186 ~x2187 ~x2188 ~x2189 ~x2190 ~x2191 ~x2192 ~x2193 ~x2194 ~x2195 ~x2196 ~x2197 ~x2198 ~x2199 ~x2200 ~x2201 ~x2202 ~x2203 ~x2204 ~x2205 ~x2206 ~x2207 ~x2208 ~x2209 ~x2210 ~x2211 ~x2212 ~x2213 ~x2214 ~x2215 ~x2216 ~x2217 ~x2218 ~x2219 ~x2220 ~x2221 ~x2222 ~x2223 ~x2224 ~x2225 ~x2226 ~x2227 ~x2228 ~x2229 ~x2230 ~x2231 ~x2232 ~x2233 ~x2234 ~x2235 ~x2236 ~x2237 ~x2238 ~x2239 ~x2240 ~x2241 ~x2242 ~x2243 ~x2244 ~x2245 ~x2246 ~x2247 ~x2248 ~x2249 ~x2250 ~x2251 ~x2252 ~x2253 ~x2254 ~x2255 ~x2256 ~x2257 ~x2258 ~x2259 ~x2260 ~x2261 ~x2262 ~x2263 ~x2264 ~x2265 ~x2266 ~x2267 ~x2268 ~x2269 ~x2270 ~x2271 ~x2272 ~x2273 ~x2274 ~x2275 ~x2276 ~x2277 ~x2278 ~x2279 ~x2280 ~x2281 ~x2282 ~x2283 ~x2284 ~x2285 ~x2286 ~x2287 ~x2288 ~x2289 ~x2290 ~x2291 ~x2292 ~x2293 ~x2294 ~x2295 ~x2296 ~x2297 ~x2298 ~x2299 ~x2300 ~x2301 ~x2302 ~x2303 ~x2304 ~x2305 ~x2306 ~x2307 ~x2308 ~x2309 ~x2310 ~x2311 ~x2312 ~x2313 ~x2314 ~x2315 ~x2316 ~x2317 ~x2318 ~x2319 ~x2320 ~x2321 ~x2322 ~x2323 ~x2324 ~x2325 ~x2326 ~x2327 ~x2328 ~x2329 ~x2330 ~x2331 ~x2332 ~x2333 ~x2334 ~x2335 ~x2336 ~x2337 ~x2338 ~x2339 ~x2340 ~x2341 ~x2342 ~x2343 ~x2344 ~x2345 ~x2346 ~x2347 ~x2348 ~x2349 ~x2350 ~x2351 ~x2352 ~x2353 ~x2354 ~x2355 ~x2356 ~x2357 ~x2358 ~x2359 ~x2360 ~x2361 ~x2362 ~x2363 ~x2364 ~x2365 ~x2366 ~x2367 ~x2368 ~x2369 ~x2370 ~x2371 ~x2372 ~x2373 ~x2374 ~x2375 ~x2376 ~x2377 ~x2378 ~x2379 ~x2380 ~x2381 ~x2382 ~x2383 ~x2384 ~x2385 ~x2386 ~x2387 ~x2388 ~x2389 ~x2390 ~x2391 ~x2392 ~x2393 ~x2394 ~x2395 ~x2396 ~x2397 ~x2398 ~x2399 ~x2400 ~x2401 ~x2402 ~x2403 ~x2404 ~x2405 ~x2406 ~x2407 ~x2408 ~x2409 ~x2410 ~x2411 ~x2412 ~x2413 ~x2414 ~x2415 ~x2416 ~x2417 ~x2418 ~x2419 ~x2420 ~x2421 ~x2422 ~x2423 ~x2424 ~x2425 ~x2426 ~x2427 ~x2428 ~x2429 ~x2430 ~x2431 ~x2432 ~x2433 ~x2434 ~x2435 ~x2436 ~x2437 ~x2438 ~x2439 ~x2440 ~x2441 ~x2442 ~x2443 ~x2444 ~x2445 ~x2446 ~x2447 ~x2448 ~x2449 ~x2450 ~x2451 ~x2452 ~x2453 ~x2454 ~x2455 ~x2456 ~x2457 ~x2458 ~x2459 ~x2460 ~x2461 ~x2462 ~x2463 ~x2464 ~x2465 ~x2466 ~x2467 ~x2468 ~x2469 ~x2470 ~x2471 ~x2472 ~x2473 ~x2474 ~x2475 ~x2476 ~x2477 ~x2478 ~x2479 ~x2480 ~x2481 ~x2482 ~x2483 ~x2484 ~x2485 ~x2486 ~x2487 ~x2488 ~x2489 ~x2490 ~x2491 ~x2492 ~x2493 ~x2494 ~x2495 ~x2496 ~x2497 ~x2498 ~x2499 ~x2500 ~x2501 ~x2502 ~x2503 ~x2504 ~x2505 ~x2506 ~x2507 ~x2508 ~x2509 ~x2510 ~x2511 ~x2512 ~x2513 ~x2514 ~x2515 ~x2516 ~x2517 ~x2518 ~x2519 ~x2520 ~x2521 ~x2522 ~x2523 ~x2524 ~x2525 ~x2526 ~x2527 ~x2528 ~x2529 ~x2530 ~x2531 ~x2532 ~x2533 ~x2534 ~x2535 ~x2536 ~x2537 ~x2538 ~x2539 ~x2540 ~x2541 ~x2542 ~x2543 ~x2544 ~x2545 ~x2546 ~x2547 ~x2548 ~x2549 ~x2550 ~x2551 ~x2552 ~x2553 ~x2554 ~x2555 ~x2556 ~x2557 ~x2558 ~x2559 ~x2560 ~x2561 ~x2562 ~x2563 ~x2564 ~x2565 ~x2566 ~x2567 ~x2568 ~x2569 ~x2570 ~x2571 ~x2572 ~x2573 ~x2574 ~x2575 ~x2576 ~x2577 ~x2578 ~x2579 ~x2580 ~x2581 ~x2582 ~x2583 ~x2584 ~x2585 ~x2586 ~x2587 ~x2588 ~x2589 ~x2590 ~x2591 ~x2592 x2593 x2594 x2595 x2596 ~x2597 ~x2598 ~x2599 ~x2600 ~x2601 ~x2602 ~x2603 ~x2604 ~x2605 ~x2606 ~x2607 ~x2608 ~x2609 ~x2610 ~x2611 ~x2612 ~x2613 ~x2614 ~x2615 ~x2616 ~x2617 ~x2618 ~x2619 ~x2620 ~x2621 ~x2622 ~x2623 ~x2624 ~x2625 ~x2626 ~x2627 ~x2628 ~x2629 ~x2630 ~x2631 ~x2632 ~x2633 ~x2634 ~x2635 ~x2636 ~x2637 ~x2638 ~x2639 ~x2640 ~x2641 ~x2642 ~x2643 ~x2644 ~x2645 ~x2646 ~x2647 ~x2648 ~x2649 ~x2650 ~x2651 ~x2652 ~x2653 ~x2654 ~x2655 ~x2656 ~x2657 ~x2658 ~x2659 ~x2660 ~x2661 ~x2662 ~x2663 ~x2664 ~x2665 ~x2666 ~x2667 ~x2668 ~x2669 ~x2670 ~x2671 ~x2672 ~x2673 ~x2674 ~x2675 ~x2676 ~x2677 ~x2678 ~x2679 ~x2680 ~x2681 ~x2682 ~x2683 ~x2684 ~x2685 ~x2686 ~x2687 ~x2688 ~x2689 ~x2690 ~x2691 ~x2692 ~x2693 ~x2694 ~x2695 ~x2696 ~x2697 ~x2698 ~x2699 ~x2700 x2701 ~x2702 ~x2703 ~x2704 ~x2705 ~x2706 ~x2707 ~x2708 ~x2709 ~x2710 ~x2711 ~x2712 ~x2713 ~x2714 ~x2715 ~x2716 ~x2717 ~x2718 ~x2719 ~x2720 ~x2721 ~x2722 ~x2723 ~x2724 ~x2725 ~x2726 ~x2727 x2728 ~x2729 ~x2730 ~x2731 ~x2732 ~x2733 ~x2734 ~x2735 ~x2736 ~x2737 ~x2738 ~x2739 ~x2740 ~x2741 ~x2742 ~x2743 ~x2744 ~x2745 ~x2746 ~x2747 ~x2748 ~x2749 ~x2750 ~x2751 ~x2752 ~x2753 ~x2754 ~x2755 ~x2756 ~x2757 ~x2758 ~x2759 ~x2760 ~x2761 ~x2762 ~x2763 ~x2764 ~x2765 ~x2766 ~x2767 ~x2768 ~x2769 ~x2770 ~x2771 ~x2772 ~x2773 ~x2774 ~x2775 ~x2776 ~x2777 ~x2778 ~x2779 ~x2780 ~x2781 ~x2782 ~x2783 ~x2784 ~x2785 ~x2786 ~x2787 ~x2788 ~x2789 ~x2790 ~x2791 ~x2792 ~x2793 ~x2794 ~x2795 ~x2796 ~x2797 ~x2798 ~x2799 ~x2800 ~x2801 ~x2802 ~x2803 ~x2804 ~x2805 ~x2806 ~x2807 ~x2808 ~x2809 ~x2810 ~x2811 ~x2812 ~x2813 ~x2814 ~x2815 ~x2816 ~x2817 ~x2818 ~x2819 ~x2820 ~x2821 ~x2822 ~x2823 ~x2824 ~x2825 ~x2826 ~x2827 ~x2828 ~x2829 ~x2830 ~x2831 ~x2832 ~x2833 ~x2834 ~x2835 ~x2836 ~x2837 ~x2838 ~x2839 ~x2840 ~x2841 ~x2842 ~x2843 ~x2844 ~x2845 ~x2846 ~x2847 ~x2848 ~x2849 ~x2850 ~x2851 ~x2852 ~x2853 ~x2854 ~x2855 ~x2856 ~x2857 ~x2858 ~x2859 ~x2860 ~x2861 ~x2862 ~x2863 ~x2864 ~x2865 ~x2866 ~x2867 ~x2868 ~x2869 ~x2870 ~x2871 ~x2872 ~x2873 ~x2874 ~x2875 ~x2876 ~x2877 ~x2878 ~x2879 ~x2880 ~x2881 ~x2882 ~x2883 ~x2884 ~x2885 ~x2886 ~x2887 ~x2888 ~x2889 ~x2890 ~x2891 ~x2892 ~x2893 ~x2894 ~x2895 ~x2896 ~x2897 ~x2898 ~x2899 ~x2900 ~x2901 ~x2902 ~x2903 ~x2904 ~x2905 ~x2906 ~x2907 ~x2908 ~x2909 ~x2910 ~x2911 ~x2912 ~x2913 ~x2914 ~x2915 ~x2916 ~x2917 ~x2918 ~x2919 ~x2920 ~x2921 ~x2922 ~x2923 ~x2924 ~x2925 ~x2926 ~x2927 ~x2928 ~x2929 ~x2930 ~x2931 ~x2932 ~x2933 ~x2934 ~x2935 ~x2936 ~x2937 ~x2938 ~x2939 ~x2940 ~x2941 ~x2942 ~x2943 ~x2944 ~x2945 ~x2946 ~x2947 ~x2948 ~x2949 ~x2950 ~x2951 ~x2952 ~x2953 ~x2954 ~x2955 ~x2956 ~x2957 ~x2958 ~x2959 ~x2960 ~x2961 ~x2962 ~x2963 ~x2964 ~x2965 ~x2966 ~x2967 ~x2968 ~x2969 ~x2970 ~x2971 ~x2972 ~x2973 ~x2974 ~x2975 ~x2976 ~x2977 ~x2978 ~x2979 ~x2980 ~x2981 ~x2982 ~x2983 ~x2984 ~x2985 ~x2986 ~x2987 ~x2988 ~x2989 ~x2990 ~x2991 ~x2992 ~x2993 ~x2994 ~x2995 ~x2996 ~x2997 ~x2998 ~x2999 ~x3000 ~x3001 ~x3002 ~x3003 ~x3004 ~x3005 ~x3006 ~x3007 ~x3008 ~x3009 ~x3010 ~x3011 ~x3012 ~x3013 ~x3014 ~x3015 ~x3016 ~x3017 ~x3018 ~x3019 ~x3020 ~x3021 ~x3022 ~x3023 ~x3024 ~x3025 ~x3026 ~x3027 ~x3028 ~x3029 ~x3030 ~x3031 ~x3032 ~x3033 ~x3034 ~x3035 ~x3036 ~x3037 ~x3038 ~x3039 ~x3040 ~x3041 ~x3042 ~x3043 ~x3044 ~x3045 ~x3046 ~x3047 ~x3048 ~x3049 ~x3050 ~x3051 ~x3052 ~x3053 ~x3054 ~x3055 ~x3056 ~x3057 ~x3058 ~x3059 ~x3060 ~x3061 ~x3062 ~x3063 ~x3064 ~x3065 ~x3066 ~x3067 ~x3068 ~x3069 ~x3070 ~x3071 ~x3072 ~x3073 ~x3074 ~x3075 ~x3076 ~x3077 ~x3078 ~x3079 ~x3080 ~x3081 ~x3082 ~x3083 ~x3084 ~x3085 ~x3086 ~x3087 ~x3088 ~x3089 ~x3090 ~x3091 ~x3092 ~x3093 ~x3094 ~x3095 ~x3096 ~x3097 ~x3098 ~x3099 ~x3100 ~x3101 ~x3102 ~x3103 ~x3104 ~x3105 ~x3106 ~x3107 ~x3108 ~x3109 ~x3110 ~x3111 ~x3112 ~x3113 ~x3114 ~x3115 ~x3116 ~x3117 ~x3118 ~x3119 ~x3120 ~x3121 ~x3122 ~x3123 ~x3124 ~x3125 ~x3126 ~x3127 ~x3128 ~x3129 ~x3130 ~x3131 ~x3132 ~x3133 ~x3134 ~x3135 ~x3136 ~x3137 ~x3138 ~x3139 ~x3140 ~x3141 ~x3142 ~x3143 ~x3144 ~x3145 ~x3146 ~x3147 ~x3148 ~x3149 ~x3150 ~x3151 ~x3152 ~x3153 ~x3154 ~x3155 ~x3156 ~x3157 ~x3158 ~x3159 ~x3160 ~x3161 ~x3162 ~x3163 ~x3164 ~x3165 ~x3166 ~x3167 ~x3168 ~x3169 ~x3170 ~x3171 ~x3172 ~x3173 ~x3174 ~x3175 ~x3176 ~x3177 ~x3178 ~x3179 ~x3180 ~x3181 ~x3182 ~x3183 ~x3184 ~x3185 ~x3186 ~x3187 ~x3188 ~x3189 ~x3190 ~x3191 ~x3192 ~x3193 ~x3194 ~x3195 ~x3196 ~x3197 ~x3198 ~x3199 ~x3200 ~x3201 ~x3202 ~x3203 ~x3204 ~x3205 ~x3206 ~x3207 ~x3208 ~x3209 ~x3210 ~x3211 ~x3212 ~x3213 ~x3214 ~x3215 ~x3216 ~x3217 ~x3218 ~x3219 ~x3220 ~x3221 ~x3222 ~x3223 ~x3224 ~x3225 ~x3226 ~x3227 ~x3228 ~x3229 ~x3230 ~x3231 ~x3232 ~x3233 ~x3234 ~x3235 ~x3236 ~x3237 ~x3238 ~x3239 ~x3240 ~x3241 ~x3242 ~x3243 ~x3244 ~x3245 ~x3246 ~x3247 ~x3248 ~x3249 ~x3250 ~x3251 ~x3252 ~x3253 ~x3254 ~x3255 ~x3256 ~x3257 ~x3258 ~x3259 ~x3260 ~x3261 ~x3262 ~x3263 ~x3264 ~x3265 ~x3266 ~x3267 ~x3268 ~x3269 ~x3270 ~x3271 ~x3272 ~x3273 ~x3274 ~x3275 ~x3276 ~x3277 ~x3278 ~x3279 ~x3280 ~x3281 ~x3282 ~x3283 ~x3284 ~x3285 ~x3286 ~x3287 ~x3288 ~x3289 ~x3290 ~x3291 ~x3292 ~x3293 ~x3294 ~x3295 ~x3296 ~x3297 ~x3298 ~x3299 ~x3300 ~x3301 ~x3302 ~x3303 ~x3304 ~x3305 ~x3306 ~x3307 ~x3308 ~x3309 ~x3310 ~x3311 ~x3312 ~x3313 ~x3314 ~x3315 ~x3316 ~x3317 ~x3318 ~x3319 ~x3320 ~x3321 ~x3322 ~x3323 ~x3324 ~x3325 ~x3326 ~x3327 ~x3328 ~x3329 ~x3330 ~x3331 ~x3332 ~x3333 ~x3334 ~x3335 ~x3336 ~x3337 ~x3338 ~x3339 ~x3340 ~x3341 ~x3342 ~x3343 ~x3344 ~x3345 ~x3346 ~x3347 ~x3348 ~x3349 ~x3350 ~x3351 ~x3352 ~x3353 ~x3354 ~x3355 ~x3356 ~x3357 ~x3358 ~x3359 ~x3360 ~x3361 ~x3362 ~x3363 ~x3364 ~x3365 ~x3366 ~x3367 ~x3368 ~x3369 ~x3370 ~x3371 ~x3372 ~x3373 ~x3374 ~x3375 ~x3376 ~x3377 ~x3378 ~x3379 ~x3380 ~x3381 ~x3382 ~x3383 ~x3384 ~x3385 ~x3386 ~x3387 ~x3388 ~x3389 ~x3390 ~x3391 ~x3392 ~x3393 ~x3394 ~x3395 ~x3396 ~x3397 ~x3398 ~x3399 ~x3400 ~x3401 ~x3402 ~x3403 ~x3404 ~x3405 ~x3406 ~x3407 ~x3408 ~x3409 ~x3410 x3411 x3412 x3413 x3414 ~x3415 ~x3416 ~x3417 ~x3418 ~x3419 ~x3420 ~x3421 ~x3422 ~x3423 ~x3424 ~x3425 ~x3426 ~x3427 ~x3428 ~x3429 ~x3430 ~x3431 ~x3432 ~x3433 ~x3434 ~x3435 ~x3436 ~x3437 ~x3438 ~x3439 ~x3440 ~x3441 ~x3442 ~x3443 ~x3444 ~x3445 ~x3446 ~x3447 ~x3448 ~x3449 ~x3450 ~x3451 ~x3452 ~x3453 ~x3454 ~x3455 ~x3456 ~x3457 ~x3458 ~x3459 ~x3460 ~x3461 ~x3462 ~x3463 ~x3464 ~x3465 ~x3466 ~x3467 ~x3468 ~x3469 ~x3470 ~x3471 ~x3472 ~x3473 ~x3474 ~x3475 ~x3476 ~x3477 ~x3478 ~x3479 ~x3480 ~x3481 ~x3482 ~x3483 ~x3484 ~x3485 ~x3486 ~x3487 ~x3488 ~x3489 ~x3490 ~x3491 ~x3492 ~x3493 ~x3494 ~x3495 ~x3496 ~x3497 ~x3498 ~x3499 ~x3500 ~x3501 ~x3502 ~x3503 ~x3504 ~x3505 ~x3506 ~x3507 ~x3508 ~x3509 ~x3510 ~x3511 ~x3512 ~x3513 ~x3514 ~x3515 ~x3516 ~x3517 ~x3518 x3519 ~x3520 ~x3521 ~x3522 ~x3523 ~x3524 ~x3525 ~x3526 ~x3527 ~x3528 ~x3529 ~x3530 ~x3531 ~x3532 ~x3533 ~x3534 ~x3535 ~x3536 ~x3537 ~x3538 ~x3539 ~x3540 ~x3541 ~x3542 ~x3543 ~x3544 ~x3545 x3546 ~x3547 ~x3548 ~x3549 ~x3550 ~x3551 ~x3552 ~x3553 ~x3554 ~x3555 ~x3556 ~x3557 ~x3558 ~x3559 ~x3560 ~x3561 ~x3562 ~x3563 ~x3564 ~x3565 ~x3566 ~x3567 ~x3568 ~x3569 ~x3570 ~x3571 ~x3572 ~x3573 ~x3574 ~x3575 ~x3576 ~x3577 ~x3578 ~x3579 ~x3580 ~x3581 ~x3582 ~x3583 ~x3584 ~x3585 ~x3586 ~x3587 ~x3588 ~x3589 ~x3590 ~x3591 ~x3592 ~x3593 ~x3594 ~x3595 ~x3596 ~x3597 ~x3598 ~x3599 ~x3600 ~x3601 ~x3602 ~x3603 ~x3604 ~x3605 ~x3606 ~x3607 ~x3608 ~x3609 ~x3610 ~x3611 ~x3612 ~x3613 ~x3614 ~x3615 ~x3616 ~x3617 ~x3618 ~x3619 ~x3620 ~x3621 ~x3622 ~x3623 ~x3624 ~x3625 ~x3626 ~x3627 ~x3628 ~x3629 ~x3630 ~x3631 ~x3632 ~x3633 ~x3634 ~x3635 ~x3636 ~x3637 ~x3638 ~x3639 ~x3640 ~x3641 ~x3642 ~x3643 ~x3644 ~x3645 ~x3646 ~x3647 ~x3648 ~x3649 ~x3650 ~x3651 ~x3652 ~x3653 ~x3654 ~x3655 ~x3656 ~x3657 ~x3658 ~x3659 ~x3660 ~x3661 ~x3662 ~x3663 ~x3664 ~x3665 ~x3666 ~x3667 ~x3668 ~x3669 ~x3670 ~x3671 ~x3672 ~x3673 ~x3674 ~x3675 ~x3676 ~x3677 ~x3678 ~x3679 ~x3680 ~x3681 ~x3682 ~x3683 ~x3684 ~x3685 ~x3686 ~x3687 ~x3688 ~x3689 ~x3690 ~x3691 ~x3692 ~x3693 ~x3694 ~x3695 ~x3696 ~x3697 ~x3698 ~x3699 ~x3700 ~x3701 ~x3702 ~x3703 ~x3704 ~x3705 ~x3706 ~x3707 ~x3708 ~x3709 ~x3710 ~x3711 ~x3712 ~x3713 ~x3714 ~x3715 ~x3716 ~x3717 ~x3718 ~x3719 ~x3720 ~x3721 ~x3722 ~x3723 ~x3724 ~x3725 ~x3726 ~x3727 ~x3728 ~x3729 ~x3730 ~x3731 ~x3732 ~x3733 ~x3734 ~x3735 ~x3736 ~x3737 ~x3738 ~x3739 ~x3740 ~x3741 ~x3742 ~x3743 ~x3744 ~x3745 ~x3746 ~x3747 ~x3748 ~x3749 ~x3750 ~x3751 ~x3752 ~x3753 ~x3754 ~x3755 ~x3756 ~x3757 ~x3758 ~x3759 ~x3760 ~x3761 ~x3762 ~x3763 ~x3764 ~x3765 ~x3766 ~x3767 ~x3768 ~x3769 ~x3770 ~x3771 ~x3772 ~x3773 ~x3774 ~x3775 ~x3776 ~x3777 ~x3778 ~x3779 ~x3780 ~x3781 ~x3782 ~x3783 ~x3784 ~x3785 ~x3786 ~x3787 ~x3788 ~x3789 ~x3790 ~x3791 ~x3792 ~x3793 ~x3794 ~x3795 ~x3796 ~x3797 ~x3798 ~x3799 ~x3800 ~x3801 ~x3802 ~x3803 ~x3804 ~x3805 ~x3806 ~x3807 ~x3808 ~x3809 ~x3810 ~x3811 ~x3812 ~x3813 ~x3814 ~x3815 ~x3816 ~x3817 ~x3818 ~x3819 ~x3820 ~x3821 ~x3822 ~x3823 ~x3824 ~x3825 ~x3826 ~x3827 ~x3828 ~x3829 ~x3830 ~x3831 ~x3832 ~x3833 ~x3834 ~x3835 ~x3836 ~x3837 ~x3838 ~x3839 ~x3840 ~x3841 ~x3842 ~x3843 ~x3844 ~x3845 ~x3846 ~x3847 ~x3848 ~x3849 ~x3850 ~x3851 ~x3852 ~x3853 ~x3854 ~x3855 ~x3856 ~x3857 ~x3858 ~x3859 ~x3860 ~x3861 ~x3862 ~x3863 ~x3864 ~x3865 ~x3866 ~x3867 ~x3868 ~x3869 ~x3870 ~x3871 ~x3872 ~x3873 ~x3874 ~x3875 ~x3876 ~x3877 ~x3878 ~x3879 ~x3880 ~x3881 ~x3882 ~x3883 ~x3884 ~x3885 ~x3886 ~x3887 ~x3888 ~x3889 ~x3890 ~x3891 ~x3892 ~x3893 ~x3894 ~x3895 ~x3896 ~x3897 ~x3898 ~x3899 ~x3900 ~x3901 ~x3902 ~x3903 ~x3904 ~x3905 ~x3906 ~x3907 ~x3908 ~x3909 ~x3910 ~x3911 ~x3912 ~x3913 ~x3914 ~x3915 ~x3916 ~x3917 ~x3918 ~x3919 ~x3920 ~x3921 ~x3922 ~x3923 ~x3924 ~x3925 ~x3926 ~x3927 ~x3928 ~x3929 ~x3930 ~x3931 ~x3932 ~x3933 ~x3934 ~x3935 ~x3936 ~x3937 ~x3938 ~x3939 ~x3940 ~x3941 ~x3942 ~x3943 ~x3944 ~x3945 ~x3946 ~x3947 ~x3948 ~x3949 ~x3950 ~x3951 ~x3952 ~x3953 ~x3954 ~x3955 ~x3956 ~x3957 ~x3958 ~x3959 ~x3960 ~x3961 ~x3962 ~x3963 ~x3964 ~x3965 ~x3966 ~x3967 ~x3968 ~x3969 ~x3970 ~x3971 ~x3972 ~x3973 ~x3974 ~x3975 ~x3976 ~x3977 ~x3978 ~x3979 ~x3980 ~x3981 ~x3982 ~x3983 ~x3984 ~x3985 ~x3986 ~x3987 ~x3988 ~x3989 ~x3990 ~x3991 ~x3992 ~x3993 ~x3994 ~x3995 ~x3996 ~x3997 ~x3998 ~x3999 ~x4000 ~x4001 ~x4002 ~x4003 ~x4004 ~x4005 ~x4006 ~x4007 ~x4008 ~x4009 ~x4010 ~x4011 ~x4012 ~x4013 ~x4014 ~x4015 ~x4016 ~x4017 ~x4018 ~x4019 ~x4020 ~x4021 ~x4022 ~x4023 ~x4024 ~x4025 ~x4026 ~x4027 ~x4028 ~x4029 ~x4030 ~x4031 ~x4032 ~x4033 ~x4034 ~x4035 ~x4036 ~x4037 ~x4038 ~x4039 ~x4040 ~x4041 ~x4042 ~x4043 ~x4044 ~x4045 ~x4046 ~x4047 ~x4048 ~x4049 ~x4050 ~x4051 ~x4052 ~x4053 ~x4054 ~x4055 ~x4056 ~x4057 ~x4058 ~x4059 ~x4060 ~x4061 ~x4062 ~x4063 ~x4064 ~x4065 ~x4066 ~x4067 ~x4068 ~x4069 ~x4070 ~x4071 ~x4072 ~x4073 ~x4074 ~x4075 ~x4076 ~x4077 ~x4078 ~x4079 ~x4080 ~x4081 ~x4082 ~x4083 ~x4084 ~x4085 ~x4086 ~x4087 ~x4088 ~x4089 ~x4090 ~x4091 ~x4092 ~x4093 ~x4094 ~x4095 ~x4096 ~x4097 ~x4098 ~x4099 ~x4100 ~x4101 ~x4102 ~x4103 ~x4104 ~x4105 ~x4106 ~x4107 ~x4108 ~x4109 ~x4110 ~x4111 ~x4112 ~x4113 ~x4114 ~x4115 ~x4116 ~x4117 ~x4118 ~x4119 ~x4120 ~x4121 ~x4122 ~x4123 ~x4124 ~x4125 ~x4126 ~x4127 ~x4128 ~x4129 ~x4130 ~x4131 ~x4132 ~x4133 ~x4134 ~x4135 ~x4136 ~x4137 ~x4138 ~x4139 ~x4140 ~x4141 ~x4142 ~x4143 ~x4144 ~x4145 ~x4146 ~x4147 ~x4148 ~x4149 ~x4150 ~x4151 ~x4152 ~x4153 ~x4154 ~x4155 ~x4156 ~x4157 ~x4158 ~x4159 ~x4160 ~x4161 ~x4162 ~x4163 ~x4164 ~x4165 ~x4166 ~x4167 ~x4168 ~x4169 ~x4170 ~x4171 ~x4172 ~x4173 ~x4174 ~x4175 ~x4176 ~x4177 ~x4178 ~x4179 ~x4180 ~x4181 ~x4182 ~x4183 ~x4184 ~x4185 ~x4186 ~x4187 ~x4188 ~x4189 ~x4190 ~x4191 ~x4192 ~x4193 ~x4194 ~x4195 ~x4196 ~x4197 ~x4198 ~x4199 ~x4200 ~x4201 ~x4202 ~x4203 ~x4204 ~x4205 ~x4206 ~x4207 ~x4208 ~x4209 ~x4210 ~x4211 ~x4212 ~x4213 ~x4214 ~x4215 ~x4216 ~x4217 ~x4218 ~x4219 ~x4220 ~x4221 ~x4222 ~x4223 ~x4224 ~x4225 ~x4226 ~x4227 ~x4228 x4229 x4230 ~x4231 ~x4232 ~x4233 ~x4234 ~x4235 ~x4236 ~x4237 ~x4238 ~x4239 ~x4240 ~x4241 ~x4242 ~x4243 ~x4244 ~x4245 ~x4246 ~x4247 ~x4248 ~x4249 ~x4250 ~x4251 ~x4252 ~x4253 ~x4254 ~x4255 ~x4256 ~x4257 ~x4258 ~x4259 ~x4260 ~x4261 ~x4262 ~x4263 ~x4264 ~x4265 ~x4266 ~x4267 ~x4268 ~x4269 ~x4270 ~x4271 ~x4272 ~x4273 ~x4274 ~x4275 ~x4276 ~x4277 ~x4278 ~x4279 ~x4280 ~x4281 ~x4282 ~x4283 ~x4284 ~x4285 ~x4286 ~x4287 ~x4288 ~x4289 ~x4290 ~x4291 ~x4292 ~x4293 ~x4294 ~x4295 ~x4296 ~x4297 ~x4298 ~x4299 ~x4300 ~x4301 ~x4302 ~x4303 ~x4304 ~x4305 ~x4306 ~x4307 ~x4308 ~x4309 ~x4310 ~x4311 ~x4312 ~x4313 ~x4314 ~x4315 ~x4316 ~x4317 ~x4318 ~x4319 ~x4320 ~x4321 ~x4322 ~x4323 ~x4324 ~x4325 ~x4326 ~x4327 ~x4328 ~x4329 ~x4330 ~x4331 ~x4332 ~x4333 ~x4334 ~x4335 ~x4336 ~x4337 ~x4338 ~x4339 ~x4340 ~x4341 ~x4342 ~x4343 ~x4344 ~x4345 ~x4346 ~x4347 ~x4348 ~x4349 ~x4350 ~x4351 ~x4352 ~x4353 ~x4354 ~x4355 ~x4356 ~x4357 ~x4358 ~x4359 ~x4360 ~x4361 ~x4362 ~x4363 ~x4364 ~x4365 ~x4366 ~x4367 ~x4368 ~x4369 ~x4370 ~x4371 ~x4372 ~x4373 ~x4374 ~x4375 ~x4376 ~x4377 ~x4378 ~x4379 ~x4380 ~x4381 ~x4382 ~x4383 ~x4384 ~x4385 ~x4386 ~x4387 ~x4388 ~x4389 ~x4390 ~x4391 ~x4392 ~x4393 ~x4394 ~x4395 ~x4396 ~x4397 ~x4398 ~x4399 ~x4400 ~x4401 ~x4402 ~x4403 ~x4404 ~x4405 ~x4406 ~x4407 ~x4408 ~x4409 ~x4410 ~x4411 ~x4412 ~x4413 ~x4414 ~x4415 ~x4416 ~x4417 ~x4418 ~x4419 ~x4420 ~x4421 ~x4422 ~x4423 ~x4424 ~x4425 ~x4426 ~x4427 ~x4428 ~x4429 ~x4430 ~x4431 ~x4432 ~x4433 ~x4434 ~x4435 ~x4436 ~x4437 ~x4438 x4439 ~x4440 ~x4441 ~x4442 ~x4443 ~x4444 ~x4445 x4446 ~x4447 ~x4448 ~x4449 ~x4450 ~x4451 ~x4452 ~x4453 ~x4454 ~x4455 ~x4456 ~x4457 ~x4458 ~x4459 ~x4460 ~x4461 ~x4462 ~x4463 ~x4464 ~x4465 ~x4466 ~x4467 ~x4468 ~x4469 ~x4470 ~x4471 ~x4472 ~x4473 ~x4474 ~x4475 ~x4476 ~x4477 ~x4478 ~x4479 ~x4480 ~x4481 ~x4482 ~x4483 ~x4484 ~x4485 ~x4486 ~x4487 ~x4488 ~x4489 ~x4490 ~x4491 ~x4492 ~x4493 ~x4494 ~x4495 ~x4496 ~x4497 ~x4498 ~x4499 ~x4500 ~x4501 ~x4502 ~x4503 ~x4504 ~x4505 ~x4506 ~x4507 ~x4508 ~x4509 ~x4510 ~x4511 ~x4512 ~x4513 ~x4514 ~x4515 ~x4516 ~x4517 ~x4518 ~x4519 ~x4520 ~x4521 ~x4522 ~x4523 ~x4524 ~x4525 ~x4526 ~x4527 ~x4528 ~x4529 ~x4530 ~x4531 ~x4532 ~x4533 ~x4534 ~x4535 ~x4536 ~x4537 ~x4538 ~x4539 ~x4540 ~x4541 ~x4542 ~x4543 ~x4544 ~x4545 ~x4546 ~x4547 ~x4548 ~x4549 ~x4550 ~x4551 ~x4552 ~x4553 ~x4554 ~x4555 ~x4556 ~x4557 ~x4558 ~x4559 ~x4560 ~x4561 ~x4562 ~x4563 ~x4564 ~x4565 ~x4566 ~x4567 ~x4568 ~x4569 ~x4570 ~x4571 ~x4572 ~x4573 ~x4574 ~x4575 ~x4576 ~x4577 ~x4578 ~x4579 ~x4580 ~x4581 ~x4582 ~x4583 ~x4584 ~x4585 ~x4586 ~x4587 ~x4588 ~x4589 ~x4590 ~x4591 ~x4592 ~x4593 ~x4594 ~x4595 ~x4596 ~x4597 ~x4598 ~x4599 ~x4600 ~x4601 ~x4602 ~x4603 ~x4604 ~x4605 ~x4606 ~x4607 ~x4608 ~x4609 ~x4610 ~x4611 ~x4612 ~x4613 ~x4614 ~x4615 ~x4616 ~x4617 ~x4618 ~x4619 ~x4620 ~x4621 ~x4622 x4623 ~x4624 ~x4625 ~x4626 ~x4627 ~x4628 x4629 ~x4630 ~x4631 ~x4632 ~x4633 ~x4634 ~x4635 ~x4636 ~x4637 ~x4638 ~x4639 ~x4640 ~x4641 ~x4642 ~x4643 ~x4644 ~x4645 ~x4646 ~x4647 ~x4648 ~x4649 ~x4650 ~x4651 ~x4652 ~x4653 ~x4654 ~x4655 ~x4656 ~x4657 ~x4658 ~x4659 ~x4660 ~x4661 ~x4662 ~x4663 ~x4664 ~x4665 ~x4666 ~x4667 ~x4668 ~x4669 ~x4670 ~x4671 ~x4672 ~x4673 ~x4674 ~x4675 ~x4676 ~x4677 ~x4678 ~x4679 ~x4680 ~x4681 ~x4682 ~x4683 ~x4684 ~x4685 ~x4686 ~x4687 ~x4688 ~x4689 ~x4690 ~x4691 ~x4692 ~x4693 ~x4694 ~x4695 ~x4696 ~x4697 ~x4698 ~x4699 ~x4700 ~x4701 ~x4702 ~x4703 ~x4704 ~x4705 ~x4706 ~x4707 ~x4708 ~x4709 ~x4710 ~x4711 ~x4712 ~x4713 ~x4714 ~x4715 ~x4716 ~x4717 ~x4718 ~x4719 ~x4720 ~x4721 ~x4722 ~x4723 ~x4724 ~x4725 ~x4726 ~x4727 ~x4728 ~x4729 ~x4730 ~x4731 ~x4732 ~x4733 ~x4734 ~x4735 ~x4736 ~x4737 ~x4738 ~x4739 ~x4740 ~x4741 ~x4742 ~x4743 ~x4744 ~x4745 ~x4746 ~x4747 ~x4748 ~x4749 ~x4750 ~x4751 ~x4752 ~x4753 ~x4754 ~x4755 ~x4756 ~x4757 ~x4758 ~x4759 ~x4760 ~x4761 ~x4762 ~x4763 ~x4764 ~x4765 ~x4766 ~x4767 ~x4768 ~x4769 ~x4770 ~x4771 ~x4772 ~x4773 ~x4774 ~x4775 ~x4776 ~x4777 ~x4778 ~x4779 ~x4780 ~x4781 ~x4782 ~x4783 ~x4784 ~x4785 ~x4786 ~x4787 ~x4788 ~x4789 ~x4790 ~x4791 ~x4792 ~x4793 ~x4794 ~x4795 ~x4796 ~x4797 ~x4798 ~x4799 ~x4800 ~x4801 ~x4802 ~x4803 ~x4804 ~x4805 ~x4806 ~x4807 ~x4808 ~x4809 ~x4810 ~x4811 ~x4812 ~x4813 ~x4814 ~x4815 ~x4816 ~x4817 ~x4818 ~x4819 ~x4820 ~x4821 ~x4822 ~x4823 ~x4824 ~x4825 ~x4826 ~x4827 ~x4828 ~x4829 ~x4830 ~x4831 ~x4832 ~x4833 ~x4834 ~x4835 ~x4836 ~x4837 ~x4838 ~x4839 ~x4840 ~x4841 ~x4842 ~x4843 ~x4844 ~x4845 ~x4846 ~x4847 ~x4848 ~x4849 ~x4850 ~x4851 ~x4852 ~x4853 ~x4854 ~x4855 ~x4856 ~x4857 ~x4858 ~x4859 ~x4860 ~x4861 x4862 ~x4863 ~x4864 ~x4865 ~x4866 ~x4867 ~x4868 ~x4869 ~x4870 ~x4871 ~x4872 ~x4873 ~x4874 ~x4875 ~x4876 ~x4877 ~x4878 ~x4879 ~x4880 ~x4881 ~x4882 ~x4883 ~x4884 ~x4885 ~x4886 ~x4887 ~x4888 ~x4889 ~x4890 ~x4891 ~x4892 ~x4893 ~x4894 ~x4895 ~x4896 ~x4897 ~x4898 ~x4899 ~x4900 ~x4901 ~x4902 ~x4903 ~x4904 ~x4905 ~x4906 ~x4907 ~x4908 ~x4909 ~x4910 ~x4911 ~x4912 ~x4913 ~x4914 ~x4915 ~x4916 ~x4917 ~x4918 ~x4919 ~x4920 ~x4921 ~x4922 ~x4923 ~x4924 ~x4925 ~x4926 ~x4927 ~x4928 ~x4929 ~x4930 ~x4931 ~x4932 ~x4933 ~x4934 ~x4935 ~x4936 ~x4937 ~x4938 ~x4939 ~x4940 ~x4941 ~x4942 ~x4943 ~x4944 ~x4945 ~x4946 ~x4947 ~x4948 ~x4949 ~x4950 ~x4951 ~x4952 ~x4953 ~x4954 ~x4955 ~x4956 ~x4957 ~x4958 ~x4959 ~x4960 ~x4961 ~x4962 ~x4963 ~x4964 ~x4965 ~x4966 ~x4967 ~x4968 ~x4969 ~x4970 ~x4971 ~x4972 ~x4973 ~x4974 ~x4975 ~x4976 ~x4977 ~x4978 ~x4979 ~x4980 ~x4981 ~x4982 ~x4983 ~x4984 ~x4985 ~x4986 ~x4987 ~x4988 ~x4989 ~x4990 ~x4991 ~x4992 ~x4993 ~x4994 x4995 ~x4996 ~x4997 ~x4998 ~x4999 ~x5000 ~x5001 ~x5002 ~x5003 ~x5004 ~x5005 ~x5006 ~x5007 ~x5008 ~x5009 ~x5010 ~x5011 ~x5012 ~x5013 ~x5014 ~x5015 ~x5016 ~x5017 ~x5018 ~x5019 ~x5020 ~x5021 ~x5022 ~x5023 ~x5024 ~x5025 ~x5026 ~x5027 ~x5028 ~x5029 ~x5030 ~x5031 ~x5032 ~x5033 ~x5034 ~x5035 ~x5036 ~x5037 ~x5038 ~x5039 ~x5040 ~x5041 ~x5042 ~x5043 ~x5044 ~x5045 ~x5046 ~x5047 ~x5048 ~x5049 ~x5050 ~x5051 ~x5052 ~x5053 ~x5054 ~x5055 ~x5056 ~x5057 ~x5058 ~x5059 ~x5060 ~x5061 ~x5062 ~x5063 ~x5064 ~x5065 ~x5066 ~x5067 ~x5068 ~x5069 ~x5070 ~x5071 ~x5072 ~x5073 ~x5074 ~x5075 ~x5076 ~x5077 ~x5078 ~x5079 ~x5080 ~x5081 ~x5082 ~x5083 ~x5084 ~x5085 ~x5086 ~x5087 ~x5088 ~x5089 ~x5090 ~x5091 ~x5092 ~x5093 ~x5094 ~x5095 ~x5096 ~x5097 ~x5098 ~x5099 ~x5100 ~x5101 ~x5102 ~x5103 ~x5104 ~x5105 ~x5106 ~x5107 ~x5108 ~x5109 ~x5110 ~x5111 ~x5112 ~x5113 ~x5114 ~x5115 ~x5116 ~x5117 ~x5118 ~x5119 ~x5120 ~x5121 ~x5122 ~x5123 ~x5124 ~x5125 ~x5126 ~x5127 ~x5128 ~x5129 ~x5130 ~x5131 ~x5132 ~x5133 ~x5134 ~x5135 ~x5136 ~x5137 ~x5138 ~x5139 ~x5140 ~x5141 ~x5142 ~x5143 ~x5144 ~x5145 ~x5146 ~x5147 ~x5148 ~x5149 ~x5150 ~x5151 ~x5152 ~x5153 ~x5154 ~x5155 ~x5156 ~x5157 ~x5158 ~x5159 ~x5160 ~x5161 ~x5162 ~x5163 ~x5164 ~x5165 ~x5166 x5167 ~x5168 ~x5169 ~x5170 ~x5171 ~x5172 ~x5173 ~x5174 ~x5175 ~x5176 ~x5177 ~x5178 ~x5179 ~x5180 ~x5181 ~x5182 ~x5183 ~x5184 ~x5185 ~x5186 ~x5187 ~x5188 ~x5189 ~x5190 ~x5191 ~x5192 ~x5193 ~x5194 ~x5195 ~x5196 ~x5197 ~x5198 ~x5199 ~x5200 ~x5201 ~x5202 ~x5203 ~x5204 ~x5205 ~x5206 ~x5207 ~x5208 ~x5209 ~x5210 ~x5211 ~x5212 ~x5213 ~x5214 ~x5215 ~x5216 ~x5217 ~x5218 ~x5219 ~x5220 ~x5221 ~x5222 ~x5223 ~x5224 ~x5225 ~x5226 ~x5227 ~x5228 ~x5229 ~x5230 ~x5231 ~x5232 ~x5233 ~x5234 ~x5235 ~x5236 ~x5237 ~x5238 ~x5239 ~x5240 ~x5241 ~x5242 ~x5243 ~x5244 ~x5245 ~x5246 ~x5247 ~x5248 ~x5249 ~x5250 ~x5251 ~x5252 ~x5253 ~x5254 ~x5255 ~x5256 ~x5257 ~x5258 ~x5259 ~x5260 ~x5261 ~x5262 ~x5263 ~x5264 ~x5265 ~x5266 ~x5267 ~x5268 ~x5269 ~x5270 ~x5271 ~x5272 ~x5273 ~x5274 ~x5275 ~x5276 ~x5277 ~x5278 ~x5279 ~x5280 ~x5281 ~x5282 ~x5283 ~x5284 ~x5285 ~x5286 ~x5287 ~x5288 ~x5289 ~x5290 ~x5291 ~x5292 ~x5293 ~x5294 ~x5295 ~x5296 ~x5297 ~x5298 ~x5299 ~x5300 ~x5301 ~x5302 ~x5303 x5304 ~x5305 x5306 ~x5307 ~x5308 ~x5309 ~x5310 ~x5311 ~x5312 ~x5313 ~x5314 ~x5315 ~x5316 ~x5317 ~x5318 ~x5319 ~x5320 ~x5321 ~x5322 ~x5323 ~x5324 ~x5325 ~x5326 ~x5327 ~x5328 ~x5329 ~x5330 ~x5331 ~x5332 ~x5333 ~x5334 ~x5335 ~x5336 ~x5337 ~x5338 ~x5339 ~x5340 ~x5341 ~x5342 ~x5343 ~x5344 ~x5345 ~x5346 ~x5347 ~x5348 ~x5349 ~x5350 ~x5351 ~x5352 ~x5353 ~x5354 ~x5355 ~x5356 ~x5357 ~x5358 ~x5359 ~x5360 ~x5361 ~x5362 ~x5363 ~x5364 ~x5365 ~x5366 ~x5367 ~x5368 ~x5369 ~x5370 ~x5371 ~x5372 ~x5373 ~x5374 ~x5375 ~x5376 ~x5377 ~x5378 ~x5379 ~x5380 ~x5381 ~x5382 ~x5383 ~x5384 ~x5385 ~x5386 ~x5387 ~x5388 ~x5389 ~x5390 ~x5391 ~x5392 ~x5393 ~x5394 ~x5395 ~x5396 ~x5397 ~x5398 ~x5399 ~x5400 ~x5401 ~x5402 ~x5403 ~x5404 ~x5405 ~x5406 ~x5407 ~x5408 ~x5409 ~x5410 ~x5411 ~x5412 ~x5413 ~x5414 ~x5415 ~x5416 ~x5417 ~x5418 ~x5419 ~x5420 ~x5421 ~x5422 ~x5423 ~x5424 ~x5425 ~x5426 ~x5427 ~x5428 ~x5429 ~x5430 ~x5431 ~x5432 ~x5433 ~x5434 ~x5435 ~x5436 ~x5437 ~x5438 ~x5439 ~x5440 ~x5441 ~x5442 ~x5443 ~x5444 ~x5445 ~x5446 ~x5447 ~x5448 ~x5449 ~x5450 ~x5451 ~x5452 ~x5453 ~x5454 ~x5455 ~x5456 ~x5457 ~x5458 ~x5459 ~x5460 ~x5461 ~x5462 ~x5463 ~x5464 ~x5465 ~x5466 ~x5467 ~x5468 ~x5469 ~x5470 ~x5471 ~x5472 ~x5473 ~x5474 ~x5475 ~x5476 ~x5477 ~x5478 ~x5479 ~x5480 ~x5481 ~x5482 ~x5483 ~x5484 ~x5485 ~x5486 ~x5487 ~x5488 ~x5489 ~x5490 ~x5491 ~x5492 ~x5493 ~x5494 ~x5495 ~x5496 ~x5497 ~x5498 ~x5499 ~x5500 ~x5501 ~x5502 ~x5503 ~x5504 ~x5505 ~x5506 ~x5507 ~x5508 ~x5509 ~x5510 ~x5511 ~x5512 ~x5513 ~x5514 ~x5515 ~x5516 ~x5517 ~x5518 ~x5519 ~x5520 ~x5521 ~x5522 ~x5523 ~x5524 ~x5525 ~x5526 ~x5527 ~x5528 ~x5529 ~x5530 ~x5531 ~x5532 ~x5533 ~x5534 ~x5535 ~x5536 ~x5537 ~x5538 ~x5539 ~x5540 ~x5541 ~x5542 ~x5543 ~x5544 ~x5545 ~x5546 ~x5547 ~x5548 ~x5549 ~x5550 ~x5551 ~x5552 ~x5553 ~x5554 ~x5555 ~x5556 ~x5557 ~x5558 ~x5559 ~x5560 ~x5561 ~x5562 ~x5563 ~x5564 ~x5565 ~x5566 ~x5567 ~x5568 ~x5569 ~x5570 ~x5571 ~x5572 ~x5573 ~x5574 ~x5575 ~x5576 ~x5577 ~x5578 ~x5579 ~x5580 ~x5581 ~x5582 ~x5583 ~x5584 ~x5585 ~x5586 ~x5587 ~x5588 ~x5589 ~x5590 ~x5591 ~x5592 ~x5593 ~x5594 ~x5595 ~x5596 ~x5597 ~x5598 ~x5599 ~x5600 ~x5601 ~x5602 ~x5603 ~x5604 ~x5605 ~x5606 ~x5607 ~x5608 ~x5609 ~x5610 ~x5611 ~x5612 ~x5613 ~x5614 ~x5615 ~x5616 ~x5617 ~x5618 ~x5619 ~x5620 ~x5621 ~x5622 ~x5623 ~x5624 ~x5625 ~x5626 ~x5627 ~x5628 ~x5629 ~x5630 ~x5631 ~x5632 ~x5633 ~x5634 ~x5635 ~x5636 ~x5637 ~x5638 ~x5639 ~x5640 ~x5641 ~x5642 ~x5643 ~x5644 ~x5645 ~x5646 ~x5647 ~x5648 ~x5649 ~x5650 ~x5651 ~x5652 ~x5653 ~x5654 ~x5655 ~x5656 ~x5657 ~x5658 ~x5659 ~x5660 ~x5661 ~x5662 ~x5663 ~x5664 ~x5665 ~x5666 ~x5667 ~x5668 ~x5669 ~x5670 ~x5671 ~x5672 ~x5673 ~x5674 ~x5675 ~x5676 ~x5677 ~x5678 ~x5679 ~x5680 ~x5681 ~x5682 ~x5683 ~x5684 ~x5685 ~x5686 ~x5687 ~x5688 ~x5689 ~x5690 ~x5691 ~x5692 ~x5693 ~x5694 ~x5695 x5696 ~x5697 ~x5698 ~x5699 ~x5700 ~x5701 ~x5702 ~x5703 ~x5704 ~x5705 ~x5706 ~x5707 ~x5708 ~x5709 ~x5710 ~x5711 ~x5712 ~x5713 ~x5714 ~x5715 ~x5716 x5717 ~x5718 ~x5719 ~x5720 ~x5721 ~x5722 ~x5723 ~x5724 ~x5725 ~x5726 ~x5727 ~x5728 ~x5729 ~x5730 ~x5731 ~x5732 ~x5733 ~x5734 ~x5735 ~x5736 ~x5737 ~x5738 ~x5739 ~x5740 ~x5741 ~x5742 ~x5743 ~x5744 ~x5745 ~x5746 ~x5747 ~x5748 ~x5749 ~x5750 ~x5751 ~x5752 ~x5753 ~x5754 ~x5755 ~x5756 ~x5757 ~x5758 ~x5759 ~x5760 ~x5761 ~x5762 ~x5763 ~x5764 ~x5765 ~x5766 ~x5767 ~x5768 ~x5769 ~x5770 ~x5771 ~x5772 ~x5773 ~x5774 ~x5775 ~x5776 ~x5777 ~x5778 ~x5779 ~x5780 ~x5781 ~x5782 ~x5783 ~x5784 ~x5785 ~x5786 ~x5787 ~x5788 ~x5789 ~x5790 ~x5791 ~x5792 ~x5793 ~x5794 ~x5795 ~x5796 ~x5797 ~x5798 ~x5799 ~x5800 ~x5801 ~x5802 ~x5803 ~x5804 ~x5805 ~x5806 ~x5807 ~x5808 ~x5809 ~x5810 ~x5811 ~x5812 ~x5813 ~x5814 ~x5815 ~x5816 ~x5817 ~x5818 ~x5819 ~x5820 ~x5821 ~x5822 ~x5823 ~x5824 ~x5825 ~x5826 ~x5827 ~x5828 ~x5829 ~x5830 ~x5831 ~x5832 ~x5833 ~x5834 ~x5835 ~x5836 ~x5837 ~x5838 ~x5839 ~x5840 ~x5841 ~x5842 ~x5843 ~x5844 ~x5845 ~x5846 ~x5847 ~x5848 ~x5849 ~x5850 ~x5851 ~x5852 ~x5853 ~x5854 ~x5855 ~x5856 ~x5857 ~x5858 ~x5859 ~x5860 ~x5861 ~x5862 ~x5863 ~x5864 ~x5865 ~x5866 ~x5867 ~x5868 ~x5869 ~x5870 ~x5871 ~x5872 ~x5873 ~x5874 ~x5875 ~x5876 ~x5877 x5878 ~x5879 ~x5880 ~x5881 ~x5882 ~x5883 ~x5884 ~x5885 ~x5886 ~x5887 ~x5888 ~x5889 ~x5890 ~x5891 ~x5892 ~x5893 ~x5894 ~x5895 ~x5896 ~x5897 ~x5898 ~x5899 ~x5900 ~x5901 ~x5902 ~x5903 ~x5904 ~x5905 ~x5906 ~x5907 ~x5908 ~x5909 ~x5910 ~x5911 ~x5912 ~x5913 ~x5914 ~x5915 ~x5916 ~x5917 ~x5918 ~x5919 ~x5920 ~x5921 ~x5922 ~x5923 ~x5924 ~x5925 ~x5926 ~x5927 ~x5928 ~x5929 ~x5930 ~x5931 ~x5932 ~x5933 ~x5934 ~x5935 ~x5936 ~x5937 ~x5938 ~x5939 ~x5940 ~x5941 ~x5942 ~x5943 ~x5944 ~x5945 ~x5946 ~x5947 ~x5948 ~x5949 ~x5950 ~x5951 ~x5952 ~x5953 ~x5954 ~x5955 ~x5956 ~x5957 ~x5958 ~x5959 ~x5960 ~x5961 ~x5962 ~x5963 ~x5964 ~x5965 ~x5966 ~x5967 ~x5968 ~x5969 ~x5970 ~x5971 ~x5972 ~x5973 ~x5974 ~x5975 ~x5976 x5977 ~x5978 ~x5979 ~x5980 ~x5981 ~x5982 ~x5983 ~x5984 ~x5985 ~x5986 ~x5987 ~x5988 ~x5989 ~x5990 ~x5991 ~x5992 ~x5993 ~x5994 ~x5995 ~x5996 ~x5997 ~x5998 ~x5999 ~x6000 ~x6001 ~x6002 ~x6003 ~x6004 ~x6005 ~x6006 ~x6007 ~x6008 ~x6009 ~x6010 ~x6011 ~x6012 ~x6013 ~x6014 ~x6015 ~x6016 ~x6017 ~x6018 ~x6019 ~x6020 ~x6021 ~x6022 ~x6023 ~x6024 ~x6025 ~x6026 ~x6027 ~x6028 ~x6029 ~x6030 ~x6031 ~x6032 ~x6033 ~x6034 x6035 x6036 ~x6037 ~x6038 ~x6039 ~x6040 ~x6041 ~x6042 ~x6043 ~x6044 ~x6045 ~x6046 ~x6047 ~x6048 ~x6049 ~x6050 ~x6051 ~x6052 ~x6053 ~x6054 ~x6055 ~x6056 ~x6057 ~x6058 ~x6059 ~x6060 ~x6061 ~x6062 ~x6063 ~x6064 ~x6065 ~x6066 ~x6067 ~x6068 ~x6069 ~x6070 ~x6071 ~x6072 ~x6073 ~x6074 ~x6075 ~x6076 ~x6077 ~x6078 ~x6079 ~x6080 ~x6081 ~x6082 ~x6083 ~x6084 ~x6085 ~x6086 ~x6087 ~x6088 ~x6089 ~x6090 ~x6091 ~x6092 ~x6093 ~x6094 ~x6095 ~x6096 ~x6097 ~x6098 ~x6099 ~x6100 ~x6101 ~x6102 ~x6103 ~x6104 ~x6105 ~x6106 ~x6107 ~x6108 ~x6109 ~x6110 ~x6111 ~x6112 ~x6113 ~x6114 ~x6115 ~x6116 ~x6117 ~x6118 ~x6119 ~x6120 ~x6121 ~x6122 ~x6123 ~x6124 ~x6125 ~x6126 ~x6127 ~x6128 ~x6129 ~x6130 ~x6131 ~x6132 ~x6133 ~x6134 ~x6135 ~x6136 ~x6137 ~x6138 ~x6139 ~x6140 ~x6141 ~x6142 ~x6143 ~x6144 ~x6145 ~x6146 ~x6147 ~x6148 ~x6149 ~x6150 ~x6151 ~x6152 ~x6153 ~x6154 ~x6155 ~x6156 ~x6157 ~x6158 ~x6159 ~x6160 ~x6161 ~x6162 ~x6163 ~x6164 ~x6165 ~x6166 ~x6167 ~x6168 ~x6169 ~x6170 ~x6171 ~x6172 ~x6173 ~x6174 ~x6175 ~x6176 ~x6177 ~x6178 ~x6179 ~x6180 ~x6181 ~x6182 ~x6183 ~x6184 ~x6185 ~x6186 ~x6187 ~x6188 ~x6189 ~x6190 ~x6191 ~x6192 ~x6193 ~x6194 ~x6195 ~x6196 ~x6197 ~x6198 ~x6199 ~x6200 ~x6201 ~x6202 ~x6203 ~x6204 ~x6205 ~x6206 ~x6207 ~x6208 ~x6209 ~x6210 ~x6211 ~x6212 ~x6213 ~x6214 ~x6215 ~x6216 ~x6217 ~x6218 ~x6219 ~x6220 ~x6221 ~x6222 ~x6223 ~x6224 ~x6225 ~x6226 ~x6227 ~x6228 ~x6229 ~x6230 ~x6231 ~x6232 ~x6233 ~x6234 ~x6235 ~x6236 ~x6237 ~x6238 ~x6239 ~x6240 ~x6241 ~x6242 ~x6243 ~x6244 x6245 ~x6246 ~x6247 ~x6248 ~x6249 ~x6250 x6251 ~x6252 ~x6253 ~x6254 ~x6255 ~x6256 ~x6257 ~x6258 ~x6259 ~x6260 ~x6261 ~x6262 ~x6263 ~x6264 ~x6265 ~x6266 ~x6267 ~x6268 ~x6269 ~x6270 ~x6271 ~x6272 ~x6273 ~x6274 ~x6275 ~x6276 ~x6277 ~x6278 ~x6279 ~x6280 ~x6281 ~x6282 ~x6283 ~x6284 ~x6285 ~x6286 ~x6287 ~x6288 ~x6289 ~x6290 ~x6291 ~x6292 ~x6293 ~x6294 ~x6295 ~x6296 ~x6297 ~x6298 ~x6299 ~x6300 ~x6301 ~x6302 ~x6303 ~x6304 ~x6305 ~x6306 ~x6307 ~x6308 ~x6309 ~x6310 ~x6311 ~x6312 ~x6313 ~x6314 ~x6315 ~x6316 ~x6317 ~x6318 ~x6319 ~x6320 ~x6321 ~x6322 ~x6323 ~x6324 ~x6325 ~x6326 ~x6327 ~x6328 ~x6329 ~x6330 ~x6331 ~x6332 ~x6333 ~x6334 ~x6335 ~x6336 ~x6337 ~x6338 ~x6339 ~x6340 ~x6341 ~x6342 ~x6343 ~x6344 ~x6345 ~x6346 ~x6347 ~x6348 ~x6349 ~x6350 ~x6351 ~x6352 ~x6353 ~x6354 ~x6355 ~x6356 ~x6357 ~x6358 ~x6359 ~x6360 ~x6361 ~x6362 ~x6363 ~x6364 ~x6365 ~x6366 ~x6367 ~x6368 ~x6369 ~x6370 ~x6371 ~x6372 ~x6373 ~x6374 ~x6375 ~x6376 ~x6377 ~x6378 ~x6379 ~x6380 ~x6381 ~x6382 ~x6383 ~x6384 ~x6385 ~x6386 ~x6387 ~x6388 ~x6389 ~x6390 ~x6391 ~x6392 ~x6393 ~x6394 ~x6395 ~x6396 ~x6397 ~x6398 ~x6399 ~x6400 ~x6401 ~x6402 ~x6403 ~x6404 ~x6405 ~x6406 ~x6407 ~x6408 ~x6409 ~x6410 ~x6411 ~x6412 ~x6413 ~x6414 ~x6415 ~x6416 ~x6417 ~x6418 ~x6419 ~x6420 ~x6421 ~x6422 ~x6423 ~x6424 ~x6425 ~x6426 ~x6427 ~x6428 x6429 ~x6430 ~x6431 ~x6432 ~x6433 ~x6434 ~x6435 x6436 ~x6437 ~x6438 ~x6439 ~x6440 ~x6441 ~x6442 ~x6443 ~x6444 ~x6445 ~x6446 ~x6447 ~x6448 ~x6449 ~x6450 ~x6451 ~x6452 ~x6453 ~x6454 ~x6455 ~x6456 ~x6457 ~x6458 ~x6459 ~x6460 ~x6461 ~x6462 ~x6463 ~x6464 ~x6465 ~x6466 ~x6467 ~x6468 ~x6469 ~x6470 ~x6471 ~x6472 ~x6473 ~x6474 ~x6475 ~x6476 ~x6477 ~x6478 ~x6479 ~x6480 ~x6481 ~x6482 ~x6483 ~x6484 ~x6485 ~x6486 ~x6487 ~x6488 ~x6489 ~x6490 ~x6491 ~x6492 ~x6493 ~x6494 ~x6495 ~x6496 ~x6497 ~x6498 ~x6499 ~x6500 ~x6501 ~x6502 ~x6503 ~x6504 ~x6505 ~x6506 ~x6507 ~x6508 ~x6509 ~x6510 ~x6511 ~x6512 ~x6513 ~x6514 ~x6515 ~x6516 ~x6517 ~x6518 ~x6519 ~x6520 ~x6521 ~x6522 ~x6523 ~x6524 ~x6525 ~x6526 ~x6527 ~x6528 ~x6529 ~x6530 ~x6531 ~x6532 ~x6533 ~x6534 ~x6535 ~x6536 ~x6537 ~x6538 ~x6539 ~x6540 ~x6541 ~x6542 ~x6543 ~x6544 ~x6545 ~x6546 ~x6547 ~x6548 ~x6549 ~x6550 ~x6551 ~x6552 ~x6553 ~x6554 ~x6555 ~x6556 ~x6557 ~x6558 ~x6559 ~x6560 ~x6561 ~x6562 ~x6563 ~x6564 ~x6565 ~x6566 ~x6567 ~x6568 ~x6569 ~x6570 ~x6571 ~x6572 ~x6573 ~x6574 ~x6575 ~x6576 ~x6577 ~x6578 ~x6579 ~x6580 ~x6581 ~x6582 ~x6583 ~x6584 ~x6585 ~x6586 ~x6587 ~x6588 ~x6589 ~x6590 ~x6591 ~x6592 ~x6593 ~x6594 ~x6595 ~x6596 ~x6597 ~x6598 ~x6599 ~x6600 ~x6601 ~x6602 ~x6603 ~x6604 ~x6605 ~x6606 ~x6607 ~x6608 ~x6609 ~x6610 ~x6611 ~x6612 ~x6613 ~x6614 ~x6615 ~x6616 ~x6617 ~x6618 ~x6619 ~x6620 ~x6621 ~x6622 ~x6623 ~x6624 ~x6625 ~x6626 ~x6627 ~x6628 ~x6629 ~x6630 ~x6631 ~x6632 ~x6633 ~x6634 ~x6635 ~x6636 ~x6637 ~x6638 ~x6639 ~x6640 ~x6641 ~x6642 ~x6643 ~x6644 ~x6645 ~x6646 ~x6647 ~x6648 ~x6649 ~x6650 ~x6651 ~x6652 ~x6653 ~x6654 ~x6655 ~x6656 ~x6657 ~x6658 ~x6659 ~x6660 ~x6661 ~x6662 ~x6663 ~x6664 ~x6665 ~x6666 ~x6667 ~x6668 ~x6669 ~x6670 ~x6671 ~x6672 x6673 ~x6674 ~x6675 ~x6676 ~x6677 ~x6678 ~x6679 ~x6680 ~x6681 ~x6682 ~x6683 ~x6684 ~x6685 ~x6686 ~x6687 ~x6688 ~x6689 ~x6690 ~x6691 ~x6692 ~x6693 ~x6694 ~x6695 ~x6696 ~x6697 ~x6698 ~x6699 ~x6700 ~x6701 ~x6702 ~x6703 ~x6704 ~x6705 ~x6706 ~x6707 ~x6708 ~x6709 ~x6710 ~x6711 ~x6712 ~x6713 ~x6714 ~x6715 ~x6716 ~x6717 ~x6718 ~x6719 ~x6720 ~x6721 ~x6722 ~x6723 ~x6724 ~x6725 ~x6726 ~x6727 ~x6728 ~x6729 ~x6730 ~x6731 ~x6732 ~x6733 ~x6734 ~x6735 ~x6736 ~x6737 ~x6738 ~x6739 ~x6740 ~x6741 ~x6742 ~x6743 ~x6744 ~x6745 ~x6746 ~x6747 ~x6748 ~x6749 ~x6750 ~x6751 ~x6752 ~x6753 ~x6754 ~x6755 ~x6756 ~x6757 ~x6758 ~x6759 ~x6760 ~x6761 ~x6762 ~x6763 ~x6764 ~x6765 ~x6766 ~x6767 ~x6768 ~x6769 ~x6770 ~x6771 ~x6772 ~x6773 ~x6774 ~x6775 ~x6776 ~x6777 ~x6778 ~x6779 ~x6780 ~x6781 ~x6782 ~x6783 ~x6784 ~x6785 ~x6786 ~x6787 ~x6788 ~x6789 ~x6790 ~x6791 ~x6792 ~x6793 ~x6794 ~x6795 x6796 ~x6797 ~x6798 ~x6799 ~x6800 ~x6801 ~x6802 ~x6803 ~x6804 ~x6805 ~x6806 ~x6807 ~x6808 ~x6809 ~x6810 ~x6811 ~x6812 ~x6813 ~x6814 ~x6815 ~x6816 ~x6817 ~x6818 ~x6819 ~x6820 ~x6821 ~x6822 ~x6823 ~x6824 ~x6825 ~x6826 ~x6827 ~x6828 ~x6829 ~x6830 ~x6831 ~x6832 ~x6833 ~x6834 ~x6835 ~x6836 ~x6837 ~x6838 ~x6839 ~x6840 ~x6841 ~x6842 ~x6843 ~x6844 ~x6845 ~x6846 ~x6847 ~x6848 ~x6849 ~x6850 ~x6851 ~x6852 ~x6853 ~x6854 ~x6855 ~x6856 ~x6857 ~x6858 ~x6859 ~x6860 ~x6861 ~x6862 ~x6863 ~x6864 ~x6865 ~x6866 ~x6867 ~x6868 ~x6869 ~x6870 ~x6871 ~x6872 ~x6873 ~x6874 ~x6875 ~x6876 ~x6877 ~x6878 ~x6879 ~x6880 ~x6881 ~x6882 ~x6883 ~x6884 ~x6885 ~x6886 ~x6887 ~x6888 ~x6889 ~x6890 ~x6891 ~x6892 ~x6893 ~x6894 ~x6895 ~x6896 ~x6897 ~x6898 ~x6899 ~x6900 ~x6901 ~x6902 ~x6903 ~x6904 ~x6905 ~x6906 ~x6907 ~x6908 ~x6909 ~x6910 ~x6911 ~x6912 ~x6913 ~x6914 ~x6915 ~x6916 ~x6917 ~x6918 ~x6919 ~x6920 ~x6921 ~x6922 ~x6923 ~x6924 ~x6925 ~x6926 ~x6927 ~x6928 ~x6929 ~x6930 ~x6931 ~x6932 ~x6933 ~x6934 ~x6935 ~x6936 ~x6937 ~x6938 ~x6939 ~x6940 ~x6941 ~x6942 ~x6943 ~x6944 ~x6945 ~x6946 ~x6947 ~x6948 ~x6949 ~x6950 ~x6951 ~x6952 ~x6953 ~x6954 ~x6955 ~x6956 ~x6957 ~x6958 ~x6959 ~x6960 ~x6961 ~x6962 ~x6963 ~x6964 ~x6965 ~x6966 ~x6967 ~x6968 ~x6969 ~x6970 ~x6971 ~x6972 ~x6973 ~x6974 ~x6975 ~x6976 ~x6977 ~x6978 ~x6979 x6980 ~x6981 ~x6982 ~x6983 ~x6984 ~x6985 ~x6986 ~x6987 ~x6988 ~x6989 ~x6990 ~x6991 ~x6992 ~x6993 ~x6994 ~x6995 ~x6996 ~x6997 ~x6998 ~x6999 ~x7000 ~x7001 ~x7002 ~x7003 ~x7004 ~x7005 ~x7006 ~x7007 ~x7008 ~x7009 ~x7010 ~x7011 ~x7012 ~x7013 ~x7014 ~x7015 ~x7016 ~x7017 ~x7018 ~x7019 ~x7020 ~x7021 ~x7022 ~x7023 ~x7024 ~x7025 ~x7026 ~x7027 ~x7028 ~x7029 ~x7030 ~x7031 ~x7032 ~x7033 ~x7034 ~x7035 ~x7036 ~x7037 ~x7038 ~x7039 ~x7040 ~x7041 ~x7042 ~x7043 ~x7044 ~x7045 ~x7046 ~x7047 ~x7048 ~x7049 ~x7050 ~x7051 ~x7052 ~x7053 ~x7054 ~x7055 ~x7056 ~x7057 ~x7058 ~x7059 ~x7060 ~x7061 ~x7062 ~x7063 ~x7064 ~x7065 ~x7066 ~x7067 ~x7068 ~x7069 ~x7070 ~x7071 ~x7072 ~x7073 ~x7074 ~x7075 ~x7076 ~x7077 ~x7078 ~x7079 ~x7080 ~x7081 ~x7082 ~x7083 ~x7084 ~x7085 ~x7086 ~x7087 ~x7088 ~x7089 ~x7090 ~x7091 ~x7092 ~x7093 ~x7094 ~x7095 ~x7096 ~x7097 ~x7098 ~x7099 ~x7100 x7101 ~x7102 ~x7103 ~x7104 ~x7105 ~x7106 ~x7107 ~x7108 ~x7109 ~x7110 ~x7111 ~x7112 ~x7113 ~x7114 ~x7115 ~x7116 ~x7117 ~x7118 ~x7119 ~x7120 ~x7121 ~x7122 ~x7123 ~x7124 ~x7125 ~x7126 ~x7127 ~x7128 ~x7129 ~x7130 ~x7131 ~x7132 ~x7133 ~x7134 ~x7135 ~x7136 ~x7137 ~x7138 ~x7139 ~x7140 ~x7141 ~x7142 ~x7143 ~x7144 ~x7145 ~x7146 ~x7147 ~x7148 ~x7149 ~x7150 ~x7151 ~x7152 ~x7153 ~x7154 ~x7155 ~x7156 ~x7157 ~x7158 ~x7159 ~x7160 ~x7161 ~x7162 ~x7163 ~x7164 ~x7165 ~x7166 ~x7167 ~x7168 ~x7169 ~x7170 ~x7171 ~x7172 ~x7173 ~x7174 ~x7175 ~x7176 ~x7177 ~x7178 ~x7179 ~x7180 ~x7181 ~x7182 ~x7183 ~x7184 ~x7185 ~x7186 ~x7187 ~x7188 ~x7189 ~x7190 ~x7191 ~x7192 ~x7193 ~x7194 ~x7195 ~x7196 ~x7197 ~x7198 ~x7199 ~x7200 ~x7201 ~x7202 ~x7203 ~x7204 ~x7205 ~x7206 ~x7207 ~x7208 ~x7209 ~x7210 ~x7211 ~x7212 ~x7213 ~x7214 ~x7215 ~x7216 ~x7217 ~x7218 ~x7219 ~x7220 ~x7221 ~x7222 ~x7223 ~x7224 ~x7225 ~x7226 ~x7227 ~x7228 ~x7229 ~x7230 ~x7231 ~x7232 ~x7233 ~x7234 ~x7235 ~x7236 ~x7237 ~x7238 ~x7239 ~x7240 ~x7241 ~x7242 ~x7243 ~x7244 ~x7245 ~x7246 ~x7247 ~x7248 ~x7249 ~x7250 ~x7251 ~x7252 ~x7253 ~x7254 ~x7255 ~x7256 ~x7257 ~x7258 ~x7259 ~x7260 ~x7261 ~x7262 ~x7263 ~x7264 ~x7265 ~x7266 ~x7267 ~x7268 ~x7269 ~x7270 ~x7271 ~x7272 ~x7273 ~x7274 ~x7275 ~x7276 ~x7277 ~x7278 ~x7279 ~x7280 ~x7281 ~x7282 ~x7283 ~x7284 ~x7285 ~x7286 ~x7287 ~x7288 ~x7289 ~x7290 ~x7291 ~x7292 ~x7293 ~x7294 ~x7295 ~x7296 ~x7297 ~x7298 ~x7299 ~x7300 ~x7301 ~x7302 ~x7303 ~x7304 ~x7305 ~x7306 ~x7307 ~x7308 ~x7309 ~x7310 ~x7311 ~x7312 ~x7313 ~x7314 ~x7315 ~x7316 ~x7317 ~x7318 ~x7319 ~x7320 ~x7321 ~x7322 ~x7323 ~x7324 ~x7325 ~x7326 ~x7327 ~x7328 ~x7329 ~x7330 ~x7331 ~x7332 ~x7333 ~x7334 ~x7335 ~x7336 ~x7337 ~x7338 ~x7339 ~x7340 ~x7341 ~x7342 ~x7343 ~x7344 ~x7345 ~x7346 ~x7347 ~x7348 ~x7349 ~x7350 ~x7351 ~x7352 ~x7353 ~x7354 ~x7355 ~x7356 ~x7357 ~x7358 ~x7359 ~x7360 ~x7361 ~x7362 ~x7363 ~x7364 ~x7365 ~x7366 ~x7367 ~x7368 ~x7369 ~x7370 ~x7371 ~x7372 ~x7373 ~x7374 ~x7375 ~x7376 ~x7377 ~x7378 ~x7379 ~x7380 ~x7381 ~x7382 ~x7383 ~x7384 ~x7385 ~x7386 ~x7387 ~x7388 ~x7389 ~x7390 ~x7391 ~x7392 ~x7393 ~x7394 ~x7395 ~x7396 ~x7397 ~x7398 ~x7399 ~x7400 ~x7401 ~x7402 ~x7403 ~x7404 ~x7405 ~x7406 ~x7407 ~x7408 ~x7409 ~x7410 ~x7411 ~x7412 ~x7413 ~x7414 ~x7415 ~x7416 ~x7417 ~x7418 ~x7419 ~x7420 ~x7421 ~x7422 ~x7423 ~x7424 ~x7425 ~x7426 ~x7427 ~x7428 ~x7429 ~x7430 ~x7431 ~x7432 ~x7433 ~x7434 ~x7435 ~x7436 ~x7437 ~x7438 ~x7439 ~x7440 ~x7441 ~x7442 ~x7443 ~x7444 ~x7445 ~x7446 ~x7447 ~x7448 ~x7449 ~x7450 ~x7451 ~x7452 ~x7453 ~x7454 ~x7455 ~x7456 ~x7457 ~x7458 ~x7459 ~x7460 ~x7461 ~x7462 ~x7463 ~x7464 ~x7465 ~x7466 ~x7467 ~x7468 ~x7469 ~x7470 ~x7471 ~x7472 ~x7473 ~x7474 ~x7475 ~x7476 ~x7477 ~x7478 ~x7479 ~x7480 ~x7481 ~x7482 ~x7483 ~x7484 ~x7485 ~x7486 ~x7487 ~x7488 ~x7489 ~x7490 ~x7491 ~x7492 ~x7493 ~x7494 ~x7495 ~x7496 ~x7497 ~x7498 ~x7499 ~x7500 ~x7501 ~x7502 ~x7503 ~x7504 ~x7505 ~x7506 ~x7507 ~x7508 ~x7509 ~x7510 ~x7511 ~x7512 ~x7513 ~x7514 ~x7515 ~x7516 ~x7517 ~x7518 ~x7519 ~x7520 ~x7521 ~x7522 ~x7523 ~x7524 ~x7525 ~x7526 ~x7527 ~x7528 ~x7529 ~x7530 ~x7531 ~x7532 ~x7533 ~x7534 ~x7535 ~x7536 ~x7537 ~x7538 ~x7539 ~x7540 ~x7541 ~x7542 ~x7543 ~x7544 ~x7545 ~x7546 ~x7547 ~x7548 ~x7549 ~x7550 ~x7551 ~x7552 ~x7553 ~x7554 ~x7555 ~x7556 ~x7557 ~x7558 ~x7559 ~x7560 ~x7561 ~x7562 ~x7563 ~x7564 ~x7565 ~x7566 ~x7567 ~x7568 ~x7569 ~x7570 ~x7571 ~x7572 ~x7573 ~x7574 ~x7575 ~x7576 ~x7577 ~x7578 ~x7579 ~x7580 ~x7581 ~x7582 ~x7583 ~x7584 ~x7585 ~x7586 ~x7587 ~x7588 ~x7589 ~x7590 ~x7591 ~x7592 ~x7593 ~x7594 ~x7595 ~x7596 ~x7597 ~x7598 ~x7599 ~x7600 ~x7601 ~x7602 ~x7603 ~x7604 ~x7605 ~x7606 ~x7607 ~x7608 ~x7609 ~x7610 ~x7611 ~x7612 ~x7613 ~x7614 ~x7615 ~x7616 ~x7617 ~x7618 ~x7619 ~x7620 ~x7621 ~x7622 ~x7623 ~x7624 ~x7625 ~x7626 ~x7627 ~x7628 ~x7629 ~x7630 ~x7631 ~x7632 ~x7633 ~x7634 ~x7635 ~x7636 ~x7637 ~x7638 ~x7639 ~x7640 ~x7641 ~x7642 ~x7643 ~x7644 ~x7645 ~x7646 ~x7647 ~x7648 ~x7649 ~x7650 ~x7651 ~x7652 ~x7653 ~x7654 ~x7655 ~x7656 ~x7657 ~x7658 ~x7659 ~x7660 ~x7661 ~x7662 ~x7663 ~x7664 ~x7665 ~x7666 ~x7667 ~x7668 ~x7669 ~x7670 ~x7671 ~x7672 ~x7673 ~x7674 ~x7675 ~x7676 ~x7677 ~x7678 ~x7679 ~x7680 ~x7681 ~x7682 ~x7683 ~x7684 ~x7685 ~x7686 ~x7687 ~x7688 ~x7689 ~x7690 ~x7691 ~x7692 ~x7693 ~x7694 ~x7695 ~x7696 ~x7697 ~x7698 ~x7699 ~x7700 ~x7701 ~x7702 ~x7703 ~x7704 ~x7705 ~x7706 ~x7707 ~x7708 ~x7709 ~x7710 ~x7711 ~x7712 ~x7713 ~x7714 ~x7715 ~x7716 ~x7717 ~x7718 ~x7719 ~x7720 ~x7721 ~x7722 ~x7723 ~x7724 ~x7725 ~x7726 ~x7727 ~x7728 ~x7729 ~x7730 ~x7731 ~x7732 ~x7733 ~x7734 ~x7735 ~x7736 ~x7737 ~x7738 ~x7739 ~x7740 ~x7741 ~x7742 ~x7743 ~x7744 ~x7745 ~x7746 ~x7747 ~x7748 ~x7749 ~x7750 ~x7751 ~x7752 ~x7753 ~x7754 ~x7755 ~x7756 ~x7757 ~x7758 ~x7759 ~x7760 ~x7761 ~x7762 ~x7763 ~x7764 ~x7765 ~x7766 ~x7767 ~x7768 ~x7769 ~x7770 ~x7771 ~x7772 ~x7773 ~x7774 ~x7775 ~x7776 ~x7777 ~x7778 ~x7779 ~x7780 ~x7781 ~x7782 ~x7783 ~x7784 ~x7785 ~x7786 ~x7787 ~x7788 ~x7789 ~x7790 ~x7791 ~x7792 ~x7793 ~x7794 ~x7795 ~x7796 ~x7797 ~x7798 ~x7799 ~x7800 ~x7801 ~x7802 ~x7803 ~x7804 ~x7805 ~x7806 ~x7807 ~x7808 ~x7809 ~x7810 ~x7811 ~x7812 ~x7813 ~x7814 ~x7815 ~x7816 ~x7817 ~x7818 ~x7819 ~x7820 ~x7821 ~x7822 ~x7823 ~x7824 ~x7825 ~x7826 ~x7827 ~x7828 ~x7829 ~x7830 ~x7831 ~x7832 ~x7833 ~x7834 ~x7835 ~x7836 ~x7837 ~x7838 ~x7839 ~x7840
3600.02/3612.61	@ 2786.79
3600.02/3612.61	c bounds 101 >= 30 @ 2786.8
3600.02/3612.61	c bounds 100 >= 30 @ 2786.81
3600.02/3612.61	c bounds 99 >= 30 @ 2786.83
3600.02/3612.61	c bounds 98 >= 30 @ 2786.85
3600.02/3612.61	c bounds 97 >= 30 @ 2786.86
3600.02/3612.61	c bounds 96 >= 30 @ 2786.87
3600.02/3612.61	c bounds 95 >= 30 @ 2786.89
3600.02/3612.61	c bounds 94 >= 30 @ 2786.9
3600.02/3612.61	c bounds 93 >= 30 @ 2786.92
3600.02/3612.61	c bounds 92 >= 30 @ 2786.93
3600.02/3612.61	c bounds 91 >= 30 @ 2786.94
3600.02/3612.61	c bounds 90 >= 30 @ 2786.96
3600.02/3612.61	c bounds 89 >= 30 @ 2786.97
3600.02/3612.61	c bounds 88 >= 30 @ 2786.98
3600.02/3612.61	c bounds 87 >= 30 @ 2787
3600.02/3612.61	c bounds 86 >= 30 @ 2787.01
3600.02/3612.61	c bounds 85 >= 30 @ 2787.02
3600.02/3612.61	c bounds 84 >= 30 @ 2787.04
3600.02/3612.61	c bounds 83 >= 30 @ 2787.06
3600.02/3612.61	c bounds 82 >= 30 @ 2787.07
3600.02/3612.61	c bounds 81 >= 30 @ 2787.1
3600.02/3612.61	c bounds 80 >= 30 @ 2787.12
3600.02/3612.61	c bounds 79 >= 30 @ 2787.13
3600.02/3612.61	c bounds 78 >= 30 @ 2787.14
3600.02/3612.61	c bounds 77 >= 30 @ 2787.16
3600.02/3612.61	c bounds 76 >= 30 @ 2787.17
3600.02/3612.61	c bounds 75 >= 30 @ 2787.19
3600.02/3612.61	c bounds 74 >= 30 @ 2787.21
3600.02/3612.61	c bounds 73 >= 30 @ 2787.25
3600.02/3612.61	c bounds 72 >= 30 @ 2787.31
3600.02/3612.61	c bounds 71 >= 30 @ 2787.36
3600.02/3612.61	c bounds 70 >= 30 @ 2787.39
3600.02/3612.61	c bounds 69 >= 30 @ 2787.42
3600.02/3612.61	c bounds 68 >= 30 @ 2787.45
3600.02/3612.61	c bounds 67 >= 30 @ 2787.47
3600.02/3612.61	c bounds 66 >= 30 @ 2787.49
3600.02/3612.61	c bounds 65 >= 30 @ 2787.5
3600.02/3612.61	c bounds 64 >= 30 @ 2787.52
3600.02/3612.61	c bounds 63 >= 30 @ 2787.53
3600.02/3612.61	c bounds 62 >= 30 @ 2787.56
3600.02/3612.61	c bounds 61 >= 30 @ 2787.61
3600.02/3612.61	c #Conflicts:      22000 | #Constraints:      69350
3600.02/3612.61	c bounds 60 >= 30 @ 2788.17
3600.02/3612.61	c bounds 59 >= 30 @ 2789.67
3600.02/3612.61	c #Conflicts:      23000 | #Constraints:      70352
3600.02/3612.61	c bounds 58 >= 30 @ 2790.9
3600.02/3612.61	c bounds 57 >= 30 @ 2791.42
3600.02/3612.61	c bounds 56 >= 30 @ 2792.66
3600.02/3612.61	c bounds 55 >= 30 @ 2792.7
3600.02/3612.61	c #Conflicts:      24000 | #Constraints:      71356
3600.02/3612.61	c bounds 54 >= 30 @ 2794.35
3600.02/3612.61	c bounds 53 >= 30 @ 2794.52
3600.02/3612.61	c #Conflicts:      25000 | #Constraints:      72358
3600.02/3612.61	c INPROCESSING
3600.02/3612.61	c GARBAGE COLLECT

Verifier Data 

OK	53

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (60935 MiB free)
  memory of node 1: 64473 MiB (59457 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4429615-1721050500/watcher-4429615-1721050500 -o /tmp/evaluation-result-4429615-1721050500/solver-4429615-1721050500 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721048998-808419 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429615-1721050500.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=809903, runsolver pid=809900

[startup+0.100089 s]*
/proc/loadavg: 4.12 4.10 4.03 5/256 809904
/proc/meminfo: memFree=123277212/131524596 swapFree=131071996/131071996
[pid=809903] ppid=809900 vsize=38780 memory=9308 CPUtime=0.09 cores=0,2
/proc/809903/stat : 809903 (roundingsat) R 809900 809903 808409 0 -1 4194304 985 0 0 0 9 0 0 0 20 0 1 0 157220564 39710720 2327 134679101440 4194304 7968869 140727543106448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659944 16482304 140727543112638 140727543112802 140727543112802 140727543119817 0
/proc/809903/statm: 9695 2327 1257 922 0 1647 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38780 KiB
Current children cumulated memory: 9308 KiB

[startup+0.205926 s]*
/proc/loadavg: 4.12 4.10 4.03 5/256 809904
/proc/meminfo: memFree=123276092/131524596 swapFree=131071996/131071996
[pid=809903] ppid=809900 vsize=38912 memory=10624 CPUtime=0.2 cores=0,2
/proc/809903/stat : 809903 (roundingsat) R 809900 809903 808409 0 -1 4194304 1272 0 0 0 19 1 0 0 20 0 1 0 157220564 39845888 2656 134679101440 4194304 7968869 140727543106448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659944 16482304 140727543112638 140727543112802 140727543112802 140727543119817 0
/proc/809903/statm: 9728 2656 1257 922 0 1680 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 38912 KiB
Current children cumulated memory: 10624 KiB

[startup+0.306034 s]*
/proc/loadavg: 4.12 4.10 4.03 5/256 809904
/proc/meminfo: memFree=123274272/131524596 swapFree=131071996/131071996
[pid=809903] ppid=809900 vsize=41820 memory=12416 CPUtime=0.3 cores=0,2
/proc/809903/stat : 809903 (roundingsat) R 809900 809903 808409 0 -1 4194304 1742 0 0 0 29 1 0 0 20 0 1 0 157220564 42823680 3104 134679101440 4194304 7968869 140727543106448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659944 16482304 140727543112638 140727543112802 140727543112802 140727543119817 0
/proc/809903/statm: 10455 3104 1257 922 0 2407 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 41820 KiB
Current children cumulated memory: 12416 KiB

[startup+0.700215 s]
/proc/loadavg: 4.12 4.10 4.03 5/256 809904
/proc/meminfo: memFree=123270100/131524596 swapFree=131071996/131071996
[pid=809903] ppid=809900 vsize=54132 memory=19824 CPUtime=0.68 cores=0,2
/proc/809903/stat : 809903 (roundingsat) R 809900 809903 808409 0 -1 4194304 3082 0 0 0 65 3 0 0 20 0 1 0 157220564 55431168 4956 134679101440 4194304 7968869 140727543106448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659944 16482304 140727543112638 140727543112802 140727543112802 140727543119817 0
/proc/809903/statm: 13533 4956 1257 922 0 5485 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 54132 KiB
Current children cumulated memory: 19824 KiB

[startup+1.50023 s]
/proc/loadavg: 4.12 4.10 4.03 5/256 809904
/proc/meminfo: memFree=123219072/131524596 swapFree=131071996/131071996
[pid=809903] ppid=809900 vsize=293560 memory=266024 CPUtime=1.49 cores=0,2
/proc/809903/stat : 809903 (roundingsat) R 809900 809903 808409 0 -1 4194304 37982 0 0 0 128 21 0 0 20 0 1 0 157220564 300605440 66506 134679101440 4194304 7968869 140727543106448 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 16482304 140727543112638 140727543112802 140727543112802 140727543119817 0
/proc/809903/statm: 73390 66506 1653 922 0 65342 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 293560 KiB
Current children cumulated memory: 266024 KiB

[startup+3.10579 s]
/proc/loadavg: 4.12 4.10 4.03 5/256 809904
/proc/meminfo: memFree=123020644/131524596 swapFree=131071996/131071996
[pid=809903] ppid=809900 vsize=293560 memory=266024 CPUtime=3.09 cores=0,2
/proc/809903/stat : 809903 (roundingsat) R 809900 809903 808409 0 -1 4194304 38040 0 0 0 288 21 0 0 20 0 1 0 157220564 300605440 66506 134679101440 4194304 7968869 140727543106448 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 16482304 140727543112638 140727543112802 140727543112802 140727543119817 0
/proc/809903/statm: 73390 66506 1653 922 0 65342 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 293560 KiB
Current children cumulated memory: 266024 KiB

[startup+6.30023 s]
/proc/loadavg: 4.11 4.09 4.03 5/256 809904
/proc/meminfo: memFree=123018880/131524596 swapFree=131071996/131071996
[pid=809903] ppid=809900 vsize=293560 memory=266408 CPUtime=6.27 cores=0,2
/proc/809903/stat : 809903 (roundingsat) R 809900 809903 808409 0 -1 4194304 38093 0 0 0 605 22 0 0 20 0 1 0 157220564 300605440 66602 134679101440 4194304 7968869 140727543106448 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 16482304 140727543112638 140727543112802 140727543112802 140727543119817 0
/proc/809903/statm: 73390 66602 1749 922 0 65342 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 293560 KiB
Current children cumulated memory: 266408 KiB

[startup+12.7002 s]
/proc/loadavg: 4.10 4.09 4.03 5/256 809905
/proc/meminfo: memFree=122995984/131524596 swapFree=131071996/131071996
[pid=809903] ppid=809900 vsize=324204 memory=285572 CPUtime=12.65 cores=0,2
/proc/809903/stat : 809903 (roundingsat) R 809900 809903 808409 0 -1 4194304 39270 0 0 0 1192 73 0 0 20 0 1 0 157220564 331984896 71393 134679101440 4194304 7968869 140727543106448 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 16482304 140727543112638 140727543112802 140727543112802 140727543119817 0
/proc/809903/statm: 81051 71393 1854 922 0 73003 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 324204 KiB
Current children cumulated memory: 285572 KiB

[startup+25.5002 s]
/proc/loadavg: 4.16 4.10 4.03 5/256 809907
/proc/meminfo: memFree=122938672/131524596 swapFree=131071996/131071996
[pid=809903] ppid=809900 vsize=376948 memory=335884 CPUtime=25.4 cores=0,2
/proc/809903/stat : 809903 (roundingsat) R 809900 809903 808409 0 -1 4194304 41403 0 0 0 2453 87 0 0 20 0 1 0 157220564 385994752 83971 134679101440 4194304 7968869 140727543106448 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 16482304 140727543112638 140727543112802 140727543112802 140727543119817 0
/proc/809903/statm: 94237 83971 1870 922 0 86189 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 376948 KiB
Current children cumulated memory: 335884 KiB

[startup+51.1059 s]
/proc/loadavg: 4.17 4.11 4.04 5/256 809912
/proc/meminfo: memFree=122844496/131524596 swapFree=131071996/131071996
[pid=809903] ppid=809900 vsize=479440 memory=426316 CPUtime=50.93 cores=0,2
/proc/809903/stat : 809903 (roundingsat) R 809900 809903 808409 0 -1 4194304 44662 0 0 0 5002 91 0 0 20 0 1 0 157220564 490946560 106579 134679101440 4194304 7968869 140727543106448 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 16482304 140727543112638 140727543112802 140727543112802 140727543119817 0
/proc/809903/statm: 119860 106579 1870 922 0 111812 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 479440 KiB
Current children cumulated memory: 426316 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.11 4.04 5/256 809921
/proc/meminfo: memFree=122716768/131524596 swapFree=131071996/131071996
[pid=809903] ppid=809900 vsize=593488 memory=511672 CPUtime=101.95 cores=0,2
/proc/809903/stat : 809903 (roundingsat) R 809900 809903 808409 0 -1 4194304 46315 0 0 0 10099 96 0 0 20 0 1 0 157220564 607731712 127918 134679101440 4194304 7968869 140727543106448 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 16482304 140727543112638 140727543112802 140727543112802 140727543119817 0
/proc/809903/statm: 148372 127918 1870 922 0 140324 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 593488 KiB
Current children cumulated memory: 511672 KiB

[startup+162.3 s]
/proc/loadavg: 4.16 4.12 4.04 5/255 809931
/proc/meminfo: memFree=122468540/131524596 swapFree=131071996/131071996
[pid=809903] ppid=809900 vsize=666880 memory=583648 CPUtime=161.74 cores=0,2
/proc/809903/stat : 809903 (roundingsat) R 809900 809903 808409 0 -1 4194304 47856 0 0 0 16075 99 0 0 20 0 1 0 157220564 682885120 145912 134679101440 4194304 7968869 140727543106448 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 16482304 140727543112638 140727543112802 140727543112802 140727543119817 0
/proc/809903/statm: 166720 145912 1870 922 0 158672 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 666880 KiB
Current children cumulated memory: 583648 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 4.09 4.04 5/257 809943
/proc/meminfo: memFree=122332912/131524596 swapFree=131071996/131071996
[pid=809903] ppid=809900 vsize=895056 memory=716400 CPUtime=221.54 cores=0,2
/proc/809903/stat : 809903 (roundingsat) R 809900 809903 808409 0 -1 4194304 52067 0 0 0 22045 109 0 0 20 0 1 0 157220564 916537344 179100 134679101440 4194304 7968869 140727543106448 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 16482304 140727543112638 140727543112802 140727543112802 140727543119817 0
/proc/809903/statm: 223764 179100 1870 922 0 215716 0
Current children cumulated CPU time: 221.54 s
Current children cumulated vsize: 895056 KiB
Current children cumulated memory: 716400 KiB

[startup+282.3 s]
/proc/loadavg: 4.28 4.14 4.06 5/257 809955
/proc/meminfo: memFree=122307724/131524596 swapFree=131071996/131071996
[pid=809903] ppid=809900 vsize=895056 memory=738928 CPUtime=281.33 cores=0,2
/proc/809903/stat : 809903 (roundingsat) R 809900 809903 808409 0 -1 4194304 52255 0 0 0 28023 110 0 0 20 0 1 0 157220564 916537344 184732 134679101440 4194304 7968869 140727543106448 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 16482304 140727543112638 140727543112802 140727543112802 140727543119817 0
/proc/809903/statm: 223764 184732 1870 922 0 215716 0
Current children cumulated CPU time: 281.33 s
Current children cumulated vsize: 895056 KiB
Current children cumulated memory: 738928 KiB

[startup+342.3 s]
/proc/loadavg: 4.40 4.22 4.09 5/259 810016
/proc/meminfo: memFree=122665264/131524596 swapFree=131071996/131071996
[pid=809903] ppid=809900 vsize=895056 memory=750728 CPUtime=341.12 cores=0,2
/proc/809903/stat : 809903 (roundingsat) R 809900 809903 808409 0 -1 4194304 52881 0 0 0 34001 111 0 0 20 0 1 0 157220564 916537344 187682 134679101440 4194304 7968869 140727543106448 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 16482304 140727543112638 140727543112802 140727543112802 140727543119817 0
/proc/809903/statm: 223764 187682 1870 922 0 215716 0
Current children cumulated CPU time: 341.12 s
Current children cumulated vsize: 895056 KiB
Current children cumulated memory: 750728 KiB

[startup+402.3 s]
/proc/loadavg: 4.27 4.21 4.09 5/259 810026
/proc/meminfo: memFree=122374884/131524596 swapFree=131071996/131071996
[pid=809903] ppid=809900 vsize=976784 memory=876332 CPUtime=400.9 cores=0,2
/proc/809903/stat : 809903 (roundingsat) R 809900 809903 808409 0 -1 4194304 55415 0 0 0 39975 115 0 0 20 0 1 0 157220564 1000226816 219083 134679101440 4194304 7968869 140727543106448 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 16482304 140727543112638 140727543112802 140727543112802 140727543119817 0
/proc/809903/statm: 244196 219083 1870 922 0 236148 0
Current children cumulated CPU time: 400.9 s
Current children cumulated vsize: 976784 KiB
Current children cumulated memory: 876332 KiB

[startup+462.3 s]
/proc/loadavg: 4.17 4.18 4.09 5/259 810038
/proc/meminfo: memFree=122277552/131524596 swapFree=131071996/131071996
[pid=809903] ppid=809900 vsize=983760 memory=898192 CPUtime=460.67 cores=0,2
/proc/809903/stat : 809903 (roundingsat) R 809900 809903 808409 0 -1 4194304 57569 0 0 0 45951 116 0 0 20 0 1 0 157220564 1007370240 224548 134679101440 4194304 7968869 140727543106448 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 16482304 140727543112638 140727543112802 140727543112802 140727543119817 0
/proc/809903/statm: 245940 224548 1870 922 0 237892 0

################
# More data... #
################

Current children cumulated memory: 1232388 KiB

[startup+2862.3 s]
/proc/loadavg: 3.27 3.77 3.96 4/250 811168
/proc/meminfo: memFree=118962328/131524596 swapFree=131071996/131071996
[pid=809903] ppid=809900 vsize=1640032 memory=1313556 CPUtime=2852.41 cores=0,2
/proc/809903/stat : 809903 (roundingsat) R 809900 809903 808409 0 -1 4194304 128330 0 0 0 284095 1146 0 0 20 0 1 0 157220564 1679392768 328389 134679101440 4194304 7968869 140727543106448 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 16482304 140727543112638 140727543112802 140727543112802 140727543119817 0
/proc/809903/statm: 410008 328389 1976 922 0 401960 0
Current children cumulated CPU time: 2852.41 s
Current children cumulated vsize: 1640032 KiB
Current children cumulated memory: 1313556 KiB

[startup+2922.3 s]
/proc/loadavg: 3.20 3.66 3.91 4/250 811179
/proc/meminfo: memFree=118777524/131524596 swapFree=131071996/131071996
[pid=809903] ppid=809900 vsize=1755752 memory=1407932 CPUtime=2912.19 cores=0,2
/proc/809903/stat : 809903 (roundingsat) R 809900 809903 808409 0 -1 4194304 131696 0 0 0 290070 1149 0 0 20 0 1 0 157220564 1797890048 351983 134679101440 4194304 7968869 140727543106448 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 16482304 140727543112638 140727543112802 140727543112802 140727543119817 0
/proc/809903/statm: 438938 351983 1976 922 0 430890 0
Current children cumulated CPU time: 2912.19 s
Current children cumulated vsize: 1755752 KiB
Current children cumulated memory: 1407932 KiB

[startup+2982.3 s]
/proc/loadavg: 3.12 3.55 3.86 4/250 811191
/proc/meminfo: memFree=118607280/131524596 swapFree=131071996/131071996
[pid=809903] ppid=809900 vsize=1755752 memory=1428320 CPUtime=2971.98 cores=0,2
/proc/809903/stat : 809903 (roundingsat) R 809900 809903 808409 0 -1 4194304 132460 0 0 0 296048 1150 0 0 20 0 1 0 157220564 1797890048 357080 134679101440 4194304 7968869 140727543106448 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 16482304 140727543112638 140727543112802 140727543112802 140727543119817 0
/proc/809903/statm: 438938 357080 1976 922 0 430890 0
Current children cumulated CPU time: 2971.98 s
Current children cumulated vsize: 1755752 KiB
Current children cumulated memory: 1428320 KiB

[startup+3042.3 s]
/proc/loadavg: 3.08 3.46 3.81 4/249 811585
/proc/meminfo: memFree=118124168/131524596 swapFree=131071996/131071996
[pid=809903] ppid=809900 vsize=1801052 memory=1472748 CPUtime=3031.76 cores=0,2
/proc/809903/stat : 809903 (roundingsat) R 809900 809903 808409 0 -1 4194304 133033 0 0 0 302024 1152 0 0 20 0 1 0 157220564 1844277248 368187 134679101440 4194304 7968869 140727543106448 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 16482304 140727543112638 140727543112802 140727543112802 140727543119817 0
/proc/809903/statm: 450263 368187 1976 922 0 442215 0
Current children cumulated CPU time: 3031.76 s
Current children cumulated vsize: 1801052 KiB
Current children cumulated memory: 1472748 KiB

[startup+3102.3 s]
/proc/loadavg: 3.09 3.39 3.76 4/249 811596
/proc/meminfo: memFree=117620020/131524596 swapFree=131071996/131071996
[pid=809903] ppid=809900 vsize=1807552 memory=1485272 CPUtime=3091.55 cores=0,2
/proc/809903/stat : 809903 (roundingsat) R 809900 809903 808409 0 -1 4194304 134889 0 0 0 308002 1153 0 0 20 0 1 0 157220564 1850933248 371318 134679101440 4194304 7968869 140727543106448 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 16482304 140727543112638 140727543112802 140727543112802 140727543119817 0
/proc/809903/statm: 451888 371318 1976 922 0 443840 0
Current children cumulated CPU time: 3091.55 s
Current children cumulated vsize: 1807552 KiB
Current children cumulated memory: 1485272 KiB

[startup+3162.3 s]
/proc/loadavg: 3.15 3.35 3.72 4/249 811607
/proc/meminfo: memFree=117544724/131524596 swapFree=131071996/131071996
[pid=809903] ppid=809900 vsize=1809964 memory=1489504 CPUtime=3151.35 cores=0,2
/proc/809903/stat : 809903 (roundingsat) R 809900 809903 808409 0 -1 4194304 136302 0 0 0 313981 1154 0 0 20 0 1 0 157220564 1853403136 372376 134679101440 4194304 7968869 140727543106448 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 16482304 140727543112638 140727543112802 140727543112802 140727543119817 0
/proc/809903/statm: 452491 372376 1976 922 0 444443 0
Current children cumulated CPU time: 3151.35 s
Current children cumulated vsize: 1809964 KiB
Current children cumulated memory: 1489504 KiB

[startup+3222.3 s]
/proc/loadavg: 3.16 3.31 3.68 4/252 811788
/proc/meminfo: memFree=117556332/131524596 swapFree=131071996/131071996
[pid=809903] ppid=809900 vsize=1793252 memory=1472016 CPUtime=3211.14 cores=0,2
/proc/809903/stat : 809903 (roundingsat) R 809900 809903 808409 0 -1 4194304 140257 0 0 0 319957 1157 0 0 20 0 1 0 157220564 1836290048 368004 134679101440 4194304 7968869 140727543106448 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 16482304 140727543112638 140727543112802 140727543112802 140727543119817 0
/proc/809903/statm: 448313 368004 1976 922 0 440265 0
Current children cumulated CPU time: 3211.14 s
Current children cumulated vsize: 1793252 KiB
Current children cumulated memory: 1472016 KiB

[startup+3282.3 s]
/proc/loadavg: 3.06 3.26 3.64 4/252 811798
/proc/meminfo: memFree=117416056/131524596 swapFree=131071996/131071996
[pid=809903] ppid=809900 vsize=1799652 memory=1478024 CPUtime=3270.91 cores=0,2
/proc/809903/stat : 809903 (roundingsat) R 809900 809903 808409 0 -1 4194304 141965 0 0 0 325933 1158 0 0 20 0 1 0 157220564 1842843648 369506 134679101440 4194304 7968869 140727543106448 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 16482304 140727543112638 140727543112802 140727543112802 140727543119817 0
/proc/809903/statm: 449913 369506 1976 922 0 441865 0
Current children cumulated CPU time: 3270.91 s
Current children cumulated vsize: 1799652 KiB
Current children cumulated memory: 1478024 KiB

[startup+3342.3 s]
/proc/loadavg: 3.14 3.24 3.61 4/252 811867
/proc/meminfo: memFree=117260868/131524596 swapFree=131071996/131071996
[pid=809903] ppid=809900 vsize=1832060 memory=1484476 CPUtime=3330.69 cores=0,2
/proc/809903/stat : 809903 (roundingsat) R 809900 809903 808409 0 -1 4194304 143999 0 0 0 331910 1159 0 0 20 0 1 0 157220564 1876029440 371119 134679101440 4194304 7968869 140727543106448 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 16482304 140727543112638 140727543112802 140727543112802 140727543119817 0
/proc/809903/statm: 458015 371119 1976 922 0 449967 0
Current children cumulated CPU time: 3330.69 s
Current children cumulated vsize: 1832060 KiB
Current children cumulated memory: 1484476 KiB

[startup+3402.3 s]
/proc/loadavg: 3.11 3.21 3.57 4/252 811877
/proc/meminfo: memFree=117153636/131524596 swapFree=131071996/131071996
[pid=809903] ppid=809900 vsize=1835472 memory=1514740 CPUtime=3390.48 cores=0,2
/proc/809903/stat : 809903 (roundingsat) R 809900 809903 808409 0 -1 4194304 145733 0 0 0 337888 1160 0 0 20 0 1 0 157220564 1879523328 378685 134679101440 4194304 7968869 140727543106448 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 16482304 140727543112638 140727543112802 140727543112802 140727543119817 0
/proc/809903/statm: 458868 378685 1976 922 0 450820 0
Current children cumulated CPU time: 3390.48 s
Current children cumulated vsize: 1835472 KiB
Current children cumulated memory: 1514740 KiB

[startup+3462.3 s]
/proc/loadavg: 3.09 3.18 3.54 4/252 811888
/proc/meminfo: memFree=117099080/131524596 swapFree=131071996/131071996
[pid=809903] ppid=809900 vsize=1841808 memory=1520452 CPUtime=3450.27 cores=0,2
/proc/809903/stat : 809903 (roundingsat) R 809900 809903 808409 0 -1 4194304 147498 0 0 0 343866 1161 0 0 20 0 1 0 157220564 1886011392 380113 134679101440 4194304 7968869 140727543106448 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 16482304 140727543112638 140727543112802 140727543112802 140727543119817 0
/proc/809903/statm: 460452 380113 1976 922 0 452404 0
Current children cumulated CPU time: 3450.27 s
Current children cumulated vsize: 1841808 KiB
Current children cumulated memory: 1520452 KiB

[startup+3522.3 s]
/proc/loadavg: 3.10 3.16 3.51 4/249 811898
/proc/meminfo: memFree=116992108/131524596 swapFree=131071996/131071996
[pid=809903] ppid=809900 vsize=1842208 memory=1521460 CPUtime=3510.04 cores=0,2
/proc/809903/stat : 809903 (roundingsat) R 809900 809903 808409 0 -1 4194304 148094 0 0 0 349843 1161 0 0 20 0 1 0 157220564 1886420992 380365 134679101440 4194304 7968869 140727543106448 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 16482304 140727543112638 140727543112802 140727543112802 140727543119817 0
/proc/809903/statm: 460552 380365 1976 922 0 452504 0
Current children cumulated CPU time: 3510.04 s
Current children cumulated vsize: 1842208 KiB
Current children cumulated memory: 1521460 KiB

[startup+3582.3 s]
/proc/loadavg: 3.14 3.16 3.48 4/250 811910
/proc/meminfo: memFree=116887100/131524596 swapFree=131071996/131071996
[pid=809903] ppid=809900 vsize=1845144 memory=1523524 CPUtime=3569.83 cores=0,2
/proc/809903/stat : 809903 (roundingsat) R 809900 809903 808409 0 -1 4194304 148868 0 0 0 355821 1162 0 0 20 0 1 0 157220564 1889427456 380881 134679101440 4194304 7968869 140727543106448 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 16482304 140727543112638 140727543112802 140727543112802 140727543119817 0
/proc/809903/statm: 461286 380881 1976 922 0 453238 0
Current children cumulated CPU time: 3569.83 s
Current children cumulated vsize: 1845144 KiB
Current children cumulated memory: 1523524 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.6 s]
/proc/loadavg: 3.15 3.16 3.47 4/250 811915
/proc/meminfo: memFree=116882412/131524596 swapFree=131071996/131071996
[pid=809903] ppid=809900 vsize=1845144 memory=1523524 CPUtime=3600.02 cores=0,2
/proc/809903/stat : 809903 (roundingsat) R 809900 809903 808409 0 -1 4194304 148889 0 0 0 358840 1162 0 0 20 0 1 0 157220564 1889427456 380881 134679101440 4194304 7968869 140727543106448 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 16482304 140727543112638 140727543112802 140727543112802 140727543119817 0
/proc/809903/statm: 461286 380881 1976 922 0 453238 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1845144 KiB
Current children cumulated memory: 1523524 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3612.62 s]
# the end of solver process 809903 was just reported to runsolver
# Child status: 1

# cumulated CPU time of all completed processes:  user=3588.41 s, system=11.6403 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 1

Real time (s): 3612.62
CPU time (s): 3600.05
CPU user time (s): 3588.41
CPU system time (s): 11.6403
CPU usage (%): 99.6521
Max. virtual memory (cumulated for all children) (KiB): 1845144
Max. memory (cumulated for all children) (KiB): 1523524

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.41
system time used= 11.6403
maximum resident set size= 1544248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 149013
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 36
involuntary context switches= 25202


# summary of solver processes directly reported to runsolver:
#   pid: 809903
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3588.41
#   total CPU system time (s): 11.6403

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.54087 second user time and 17.2614 second system time

The end

Launcher Data 

Begin job on nodeC034 at 2024-07-15 15:35:13
IDJOB=4429615
IDBENCH=155400
IDSOLVER=3051
FILE ID=nodeC034/4429615-1721050500
RUNJOBID= nodeC034-1721048998-808419
SLURM_JOB_ID= 7505472
Free space on /tmp= 890036 MiB

SOLVER NAME= RoundingSat nolog
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 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4429615-1721050500/watcher-4429615-1721050500 -o /tmp/evaluation-result-4429615-1721050500/solver-4429615-1721050500 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721048998-808419 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429615-1721050500.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 6ff458260e5cc7a1e00e7b04a599a648
RANDOM SEED=1553138726

nodeC034.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		: 3662.661
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.99
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3686.362
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.58
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		: 3648.737
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.99
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.326
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.58
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		: 3664.726
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.99
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3686.382
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.58
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		: 3600.992
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.99
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.241
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.58
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524596 kB
MemFree:        123282552 kB
MemAvailable:   126691944 kB
Buffers:          362248 kB
Cached:          3845884 kB
SwapCached:            0 kB
Active:           617764 kB
Inactive:        6940764 kB
Active(anon):       1532 kB
Inactive(anon):  3386904 kB
Active(file):     616232 kB
Inactive(file):  3553860 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             36172 kB
Writeback:             0 kB
AnonPages:       3348856 kB
Mapped:           113304 kB
Shmem:             37720 kB
KReclaimable:     158248 kB
Slab:             272068 kB
SReclaimable:     158248 kB
SUnreclaim:       113820 kB
KernelStack:        4108 kB
PageTables:        15884 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834292 kB
Committed_AS:    4003656 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            62144 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2185216 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:      238292 kB
DirectMap2M:    26798080 kB
DirectMap1G:    109051904 kB

Free space on /tmp at the end= 890028 MiB
End job on nodeC034 at 2024-07-15 16:35:25