Trace number 4506137

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-ihs-log 63f22ad? (MO) 2339.7 2348.67

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_fibo_10null10mast_rapportOE2.0_TMAX15_K192_cod1.opb
MD5SUMb14a0a898e5e623e09f97d156db7ef84
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 benchmark-66663
Best CPU time to get the best result obtained on this benchmark318.596
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables399113
Total number of constraints400980
Number of constraints which are clauses399002
Number of constraints which are cardinality constraints (but not clauses)1977
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint397089
Number of terms in the objective function 306555
Biggest coefficient in the objective function 10946
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 621460138
Number of bits of the sum of numbers in the objective function 30
Biggest number in a constraint 10946
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 621460138
Number of bits of the biggest sum of numbers30
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.01	c RoundingSat 2
0.00/0.01	c branch pb25
0.00/0.01	c commit 63f22ad
2.71/3.44	c #variables 399113 #constraints 400980
2.71/3.44	c objective is ce32 
3.01/3.73	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3.01/3.73	c initial counting CF 32, 64, 128, Arb: 2 , 0 , 0 , 0
3.01/3.73	c GLOBAL bounds - >= -621460138 @ 2.56346
3.51/4.23	c GLOBAL bounds - >= -621460138 @ 2.81573
4.01/4.74	c GLOBAL bounds - >= -621460138 @ 3.0934
4.41/5.19	c GLOBAL bounds - >= -621460138 @ 3.34667
5.00/5.79	c GLOBAL bounds - >= -621460138 @ 3.71694
5.50/6.21	c GLOBAL bounds - >= -621460138 @ 4.04604
5.90/6.65	c GLOBAL bounds - >= -621460138 @ 4.28318
6.30/7.03	c GLOBAL bounds - >= -621460138 @ 4.51683
19.56/20.32	c GLOBAL bounds - >= -621460138 @ 17.4433
23.26/24.06	c GLOBAL bounds - >= -621460138 @ 20.8536
23.64/24.49	c GLOBAL bounds - >= -621460138 @ 21.1315
24.25/25.02	c GLOBAL bounds - >= -621460138 @ 21.5151
24.95/25.76	c GLOBAL bounds - >= -621460138 @ 22.0852
25.45/26.20	c GLOBAL bounds - >= -621460138 @ 22.3771
26.34/27.12	c GLOBAL bounds - >= -621460138 @ 23.1353
26.74/27.55	c GLOBAL bounds - >= -621460138 @ 23.4328
27.35/28.10	c GLOBAL bounds - >= -621460138 @ 23.8449
27.84/28.69	c GLOBAL bounds - >= -621460138 @ 24.2822
28.43/29.28	c GLOBAL bounds - >= -621460138 @ 24.732
29.24/30.04	c GLOBAL bounds - >= -621460138 @ 25.3311
30.83/31.68	c GLOBAL bounds - >= -621460138 @ 26.6362
31.23/32.07	c GLOBAL bounds - >= -621460138 @ 26.9191
31.83/32.60	c GLOBAL bounds - >= -621460138 @ 27.3263
32.43/33.28	c GLOBAL bounds - >= -621460138 @ 27.8962
33.12/33.90	c GLOBAL bounds - >= -621460138 @ 28.3637
34.02/34.81	c GLOBAL bounds - >= -621460138 @ 29.0126
34.62/35.46	c GLOBAL bounds - >= -621460138 @ 29.472
36.22/37.03	c GLOBAL bounds - >= -621460138 @ 30.7592
37.01/37.87	c GLOBAL bounds - >= -621460138 @ 31.4147
37.91/38.77	c GLOBAL bounds - >= -621460138 @ 32.1193
38.60/39.48	c GLOBAL bounds - >= -621460138 @ 32.6815
39.31/40.20	c GLOBAL bounds - >= -621460138 @ 33.1403
40.31/41.10	c GLOBAL bounds - >= -621460138 @ 33.8069
41.00/41.81	c GLOBAL bounds - >= -621460138 @ 34.2535
41.80/42.64	c GLOBAL bounds - >= -621460138 @ 34.8217
43.69/44.57	c GLOBAL bounds - >= -621460138 @ 36.4679
44.88/45.73	c GLOBAL bounds - >= -621460138 @ 37.3579
75.69/76.69	c GLOBAL bounds - >= -621460138 @ 67.6408
76.59/77.56	c GLOBAL bounds - >= -621460138 @ 68.3009
77.59/78.51	c GLOBAL bounds - >= -621460138 @ 69.0495
78.39/79.37	c GLOBAL bounds - >= -621460138 @ 69.7198
79.39/80.37	c GLOBAL bounds - >= -621460138 @ 70.4992
80.88/81.83	c GLOBAL bounds - >= -621460138 @ 71.6198
81.58/82.54	c GLOBAL bounds - >= -621460138 @ 72.1208
82.68/83.64	c GLOBAL bounds - >= -621460138 @ 73.0175
84.27/85.28	c GLOBAL bounds - >= -621460138 @ 74.4421
85.37/86.33	c GLOBAL bounds - >= -621460138 @ 75.2887
86.27/87.22	c GLOBAL bounds - >= -621460138 @ 75.9662
87.17/88.11	c GLOBAL bounds - >= -621460138 @ 76.6573
88.36/89.30	c GLOBAL bounds - >= -621460138 @ 77.6353
90.06/91.03	c GLOBAL bounds - >= -621460138 @ 79.1568
91.16/92.19	c GLOBAL bounds - >= -621460138 @ 80.1224
92.15/93.11	c GLOBAL bounds - >= -621460138 @ 80.8659
93.25/94.23	c GLOBAL bounds - >= -621460138 @ 81.7954
94.34/95.36	c GLOBAL bounds - >= -621460138 @ 82.7554
95.73/96.75	c GLOBAL bounds - >= -621460138 @ 83.97
96.73/97.79	c GLOBAL bounds - >= -621460138 @ 84.8367
97.83/98.84	c GLOBAL bounds - >= -621460138 @ 85.7296
99.42/100.42	c GLOBAL bounds - >= -621460138 @ 87.1184
101.22/102.24	c GLOBAL bounds - >= -621460138 @ 88.7452
102.22/103.29	c GLOBAL bounds - >= -621460138 @ 89.6278
103.21/104.25	c GLOBAL bounds - >= -621460138 @ 90.4127
104.21/105.22	c GLOBAL bounds - >= -621460138 @ 91.219
107.60/108.65	c GLOBAL bounds - >= -621460138 @ 94.3083
113.78/114.83	c GLOBAL bounds - >= -621460138 @ 100.209
114.78/115.89	c GLOBAL bounds - >= -621460138 @ 101.116
152.96/154.13	c GLOBAL bounds - >= -621460138 @ 138.57
154.75/155.96	c GLOBAL bounds - >= -621460138 @ 140.215
207.69/209.06	c GLOBAL bounds - >= -621460138 @ 191.387
210.87/212.23	c GLOBAL bounds - >= -621460138 @ 194.27
213.16/214.56	c GLOBAL bounds - >= -621460138 @ 196.364
213.97/215.35	c GLOBAL bounds - >= -621460138 @ 197.017
215.06/216.46	c GLOBAL bounds - >= -621460138 @ 197.982
329.00/330.70	c #Conflicts:       1000 | #Constraints:       2748
329.00/330.70	c GLOBAL bounds - >= -621460138 @ 309.997
331.78/333.55	c GLOBAL bounds - >= -621460138 @ 312.722
333.78/335.55	c GLOBAL bounds - >= -621460138 @ 314.627
343.55/345.33	c GLOBAL bounds - >= -621460138 @ 324.209
804.93/808.15	c #Conflicts:       2000 | #Constraints:       3756
804.93/808.15	c INPROCESSING
804.93/808.15	c GARBAGE COLLECT
804.93/808.15	c GLOBAL bounds - >= -96307 @ 783.116
847.59/850.98	c GLOBAL bounds - >= -96307 @ 825.601
847.69/851.10	c GLOBAL bounds - >= -96307 @ 825.718
847.88/851.22	c GLOBAL bounds - >= -96307 @ 825.836
847.99/851.34	c GLOBAL bounds - >= -96307 @ 825.954
847.99/851.38	c GLOBAL bounds - >= -96307 @ 826.003
848.09/851.40	c GLOBAL bounds - >= -96307 @ 826.019
849.38/852.77	c GLOBAL bounds - >= -96307 @ 827.121
849.48/852.80	c GLOBAL bounds - >= -96307 @ 827.148
850.88/854.22	c GLOBAL bounds - >= -96307 @ 828.301
851.08/854.47	c GLOBAL bounds - >= -96307 @ 828.442
852.57/855.91	c GLOBAL bounds - >= -96307 @ 829.63
852.57/855.92	c GLOBAL bounds - >= -96307 @ 829.645
853.97/857.36	c GLOBAL bounds - >= -96307 @ 830.813
863.94/867.37	c GLOBAL bounds - >= -96307 @ 840.782
865.44/868.82	c GLOBAL bounds - >= -96307 @ 841.966
869.32/872.79	c GLOBAL bounds - >= -96307 @ 845.903
870.82/874.25	c GLOBAL bounds - >= -96307 @ 847.102
874.51/877.98	c GLOBAL bounds - >= -96307 @ 850.795
876.01/879.43	c GLOBAL bounds - >= -96307 @ 852
877.01/880.40	c GLOBAL bounds - >= -96307 @ 852.968
878.30/881.73	c GLOBAL bounds - >= -96307 @ 854.065
879.19/882.66	c GLOBAL bounds - >= -96307 @ 854.989
880.69/884.13	c GLOBAL bounds - >= -96307 @ 856.205
882.79/886.22	c GLOBAL bounds - >= -96307 @ 858.28
884.09/887.56	c GLOBAL bounds - >= -96307 @ 859.376
885.58/889.02	c GLOBAL bounds - >= -96307 @ 860.578
886.97/890.49	c GLOBAL bounds - >= -96307 @ 861.779
888.47/891.92	c GLOBAL bounds - >= -96307 @ 862.958
889.86/893.38	c GLOBAL bounds - >= -96307 @ 864.146
891.56/895.04	c GLOBAL bounds - >= -96307 @ 865.53
893.46/896.94	c GLOBAL bounds - >= -96307 @ 867.21
895.55/899.08	c GLOBAL bounds - >= -96307 @ 869.134
897.45/900.94	c GLOBAL bounds - >= -96307 @ 870.788
899.04/902.54	c GLOBAL bounds - >= -96307 @ 872.157
900.34/903.88	c GLOBAL bounds - >= -96307 @ 873.325
901.64/905.11	c GLOBAL bounds - >= -96307 @ 874.376
902.43/905.90	c GLOBAL bounds - >= -96307 @ 874.993
903.53/907.05	c GLOBAL bounds - >= -96307 @ 875.969
941.61/945.20	c #Conflicts:       3000 | #Constraints:      10008
941.61/945.20	c GLOBAL bounds - >= -96307 @ 913.374
942.82/946.47	c GLOBAL bounds - >= -96307 @ 914.549
944.21/947.90	c GLOBAL bounds - >= -96307 @ 915.898
945.80/949.49	c GLOBAL bounds - >= -96307 @ 917.404
947.20/950.83	c GLOBAL bounds - >= -96307 @ 918.665
951.08/954.78	c GLOBAL bounds - >= -96307 @ 922.524
953.39/957.07	c GLOBAL bounds - >= -96307 @ 924.732
955.58/959.27	c GLOBAL bounds - >= -96307 @ 926.86
959.16/962.82	c GLOBAL bounds - >= -96307 @ 930.324
960.86/964.52	c GLOBAL bounds - >= -96307 @ 931.958
962.16/965.89	c GLOBAL bounds - >= -96307 @ 933.26
962.16/965.89	c GLOBAL bounds - >= -96307 @ 933.261
962.46/966.16	c GLOBAL bounds - >= -96307 @ 933.525
962.46/966.16	c GLOBAL bounds - >= -96307 @ 933.529
962.46/966.17	c GLOBAL bounds - >= -96307 @ 933.534
962.46/966.17	c GLOBAL bounds - >= -96307 @ 933.539
962.46/966.18	c GLOBAL bounds - >= -96307 @ 933.543
962.46/966.18	c GLOBAL bounds - >= -96307 @ 933.549
963.16/966.84	c GLOBAL bounds - >= -96307 @ 934.113
963.16/966.85	c GLOBAL bounds - >= -96307 @ 934.122
963.85/967.58	c GLOBAL bounds - >= -96307 @ 934.752
963.85/967.58	c GLOBAL bounds - >= -96307 @ 934.758
964.65/968.32	c GLOBAL bounds - >= -96307 @ 935.357
968.04/971.70	c GLOBAL bounds - >= -96307 @ 938.667
969.04/972.74	c GLOBAL bounds - >= -96307 @ 939.561
969.44/973.18	c GLOBAL bounds - >= -96307 @ 939.997
970.63/974.32	c GLOBAL bounds - >= -96307 @ 940.965
971.34/975.03	c GLOBAL bounds - >= -96307 @ 941.665
972.63/976.31	c GLOBAL bounds - >= -96307 @ 942.756
973.13/976.80	c GLOBAL bounds - >= -96307 @ 943.226
974.52/978.26	c GLOBAL bounds - >= -96307 @ 944.47
974.63/978.31	c GLOBAL bounds - >= -96307 @ 944.518
976.12/979.81	c GLOBAL bounds - >= -96307 @ 945.79
981.20/984.94	c GLOBAL bounds - >= -96307 @ 950.815
982.70/986.45	c GLOBAL bounds - >= -96307 @ 952.07
1004.74/1008.51	c GLOBAL bounds - >= -96307 @ 973.76
1006.24/1010.06	c GLOBAL bounds - >= -96307 @ 975.052
1007.84/1011.60	c GLOBAL bounds - >= -96307 @ 976.33
1009.82/1013.68	c GLOBAL bounds - >= -96307 @ 978.144
1011.92/1015.79	c GLOBAL bounds - >= -96307 @ 979.999
1013.92/1017.75	c GLOBAL bounds - >= -96307 @ 981.713
1015.01/1018.84	c GLOBAL bounds - >= -96307 @ 982.572
1016.31/1020.18	c GLOBAL bounds - >= -96307 @ 983.709
1017.50/1021.39	c GLOBAL bounds - >= -96307 @ 984.745
1018.60/1022.46	c GLOBAL bounds - >= -96307 @ 985.672
1019.59/1023.42	c GLOBAL bounds - >= -96307 @ 986.482
1020.50/1024.36	c GLOBAL bounds - >= -96307 @ 987.309
1026.48/1030.30	c GLOBAL bounds - >= -96307 @ 992.905
1028.37/1032.21	c GLOBAL bounds - >= -96307 @ 994.741
1030.56/1034.46	c GLOBAL bounds - >= -96307 @ 996.9
1032.66/1036.54	c GLOBAL bounds - >= -96307 @ 998.91
1036.65/1040.58	c GLOBAL bounds - >= -96307 @ 1002.85
1038.84/1042.76	c GLOBAL bounds - >= -96307 @ 1004.96
1044.52/1048.40	c GLOBAL bounds - >= -96307 @ 1010.49
1046.82/1050.78	c GLOBAL bounds - >= -96307 @ 1012.8
1047.81/1051.73	c GLOBAL bounds - >= -96307 @ 1013.68
1051.51/1055.43	c GLOBAL bounds - >= -96307 @ 1017.29
1054.80/1058.77	c GLOBAL bounds - >= -96307 @ 1020.55
1078.63/1082.63	c GLOBAL bounds - >= -96307 @ 1043.79
1081.22/1085.20	c GLOBAL bounds - >= -96307 @ 1046.2
1083.51/1087.55	c GLOBAL bounds - >= -96307 @ 1048.47
1085.81/1089.87	c GLOBAL bounds - >= -96307 @ 1050.69
1087.21/1091.21	c GLOBAL bounds - >= -96307 @ 1051.95
1087.21/1091.21	c GLOBAL bounds - >= -96307 @ 1051.95
1088.01/1092.04	c GLOBAL bounds - >= -96307 @ 1052.76
1088.11/1092.16	c GLOBAL bounds - >= -96307 @ 1052.88
1088.20/1092.28	c GLOBAL bounds - >= -96307 @ 1053
1088.80/1092.81	c GLOBAL bounds - >= -96307 @ 1053.51
1088.90/1092.97	c GLOBAL bounds - >= -96307 @ 1053.67
1089.10/1093.13	c GLOBAL bounds - >= -96307 @ 1053.82
1089.20/1093.29	c GLOBAL bounds - >= -96307 @ 1053.98
1089.40/1093.46	c GLOBAL bounds - >= -96307 @ 1054.14
1089.60/1093.61	c GLOBAL bounds - >= -96307 @ 1054.3
1089.70/1093.77	c GLOBAL bounds - >= -96307 @ 1054.46
1089.89/1093.93	c GLOBAL bounds - >= -96307 @ 1054.61
1090.01/1094.09	c GLOBAL bounds - >= -96307 @ 1054.77
1090.20/1094.25	c GLOBAL bounds - >= -96307 @ 1054.93
1090.39/1094.42	c GLOBAL bounds - >= -96307 @ 1055.09
1090.69/1094.74	c GLOBAL bounds - >= -96307 @ 1055.39
1090.69/1094.79	c GLOBAL bounds - >= -96307 @ 1055.43
1090.80/1094.84	c GLOBAL bounds - >= -96307 @ 1055.48
1090.80/1094.89	c GLOBAL bounds - >= -96307 @ 1055.53
1090.90/1094.94	c GLOBAL bounds - >= -96307 @ 1055.58
1090.90/1094.98	c GLOBAL bounds - >= -96307 @ 1055.63
1091.00/1095.03	c GLOBAL bounds - >= -96307 @ 1055.68
1091.00/1095.08	c GLOBAL bounds - >= -96307 @ 1055.72
1091.49/1095.54	c GLOBAL bounds - >= -96307 @ 1056.17
1092.00/1096.02	c GLOBAL bounds - >= -96307 @ 1056.65
1092.10/1096.15	c GLOBAL bounds - >= -96307 @ 1056.77
1092.19/1096.27	c GLOBAL bounds - >= -96307 @ 1056.89
1092.29/1096.39	c GLOBAL bounds - >= -96307 @ 1057.01
1092.49/1096.50	c GLOBAL bounds - >= -96307 @ 1057.13
1093.19/1097.22	c GLOBAL bounds - >= -96307 @ 1057.58
1093.59/1097.66	c GLOBAL bounds - >= -96307 @ 1058.02
1094.69/1098.75	c GLOBAL bounds - >= -96307 @ 1058.84
1095.38/1099.45	c GLOBAL bounds - >= -96307 @ 1059.53
1096.38/1100.49	c GLOBAL bounds - >= -96307 @ 1060.34
1096.78/1100.89	c GLOBAL bounds - >= -96307 @ 1060.74
1098.08/1102.14	c GLOBAL bounds - >= -96307 @ 1061.74
1098.67/1102.76	c GLOBAL bounds - >= -96307 @ 1062.35
1099.87/1103.96	c GLOBAL bounds - >= -96307 @ 1063.3
1099.98/1104.01	c GLOBAL bounds - >= -96307 @ 1063.35
1101.26/1105.30	c GLOBAL bounds - >= -96307 @ 1064.39
1111.84/1115.90	c GLOBAL bounds - >= -96307 @ 1074.92
1113.04/1117.18	c GLOBAL bounds - >= -96307 @ 1075.94
1120.21/1124.38	c GLOBAL bounds - >= -96307 @ 1083.08
1121.61/1125.76	c GLOBAL bounds - >= -96307 @ 1084.19
1124.10/1128.20	c GLOBAL bounds - >= -96307 @ 1086.6
1125.40/1129.59	c GLOBAL bounds - >= -96307 @ 1087.71
1131.18/1135.34	c GLOBAL bounds - >= -96307 @ 1093.24
1132.58/1136.73	c GLOBAL bounds - >= -96307 @ 1094.39
1133.99/1138.12	c GLOBAL bounds - >= -96307 @ 1095.5
1135.77/1139.99	c GLOBAL bounds - >= -96307 @ 1097.11
1137.87/1142.01	c GLOBAL bounds - >= -96307 @ 1098.88
1139.86/1144.07	c GLOBAL bounds - >= -96307 @ 1100.71
1141.55/1145.72	c GLOBAL bounds - >= -96307 @ 1102.14
1143.54/1147.73	c GLOBAL bounds - >= -96307 @ 1103.96
1145.24/1149.48	c GLOBAL bounds - >= -96307 @ 1105.54
1146.73/1150.93	c GLOBAL bounds - >= -96307 @ 1106.86
1148.03/1152.21	c GLOBAL bounds - >= -96307 @ 1108.02
1148.94/1153.13	c GLOBAL bounds - >= -96307 @ 1108.84
1148.94/1153.13	c GLOBAL bounds - >= -96307 @ 1108.84
1149.63/1153.86	c GLOBAL bounds - >= -96307 @ 1109.57
1149.73/1153.91	c GLOBAL bounds - >= -96307 @ 1109.61
1149.73/1153.95	c GLOBAL bounds - >= -96307 @ 1109.66
1149.73/1154.00	c GLOBAL bounds - >= -96307 @ 1109.7
1149.83/1154.04	c GLOBAL bounds - >= -96307 @ 1109.75
1149.83/1154.09	c GLOBAL bounds - >= -96307 @ 1109.8
1149.93/1154.13	c GLOBAL bounds - >= -96307 @ 1109.84
1149.93/1154.17	c GLOBAL bounds - >= -96307 @ 1109.88
1150.53/1154.70	c GLOBAL bounds - >= -96307 @ 1110.41
1151.73/1155.96	c GLOBAL bounds - >= -96307 @ 1111.61
1152.02/1156.27	c GLOBAL bounds - >= -96307 @ 1111.91
1152.82/1157.01	c GLOBAL bounds - >= -96307 @ 1112.41
1153.12/1157.34	c GLOBAL bounds - >= -96307 @ 1112.73
1153.93/1158.14	c GLOBAL bounds - >= -96307 @ 1113.28
1153.93/1158.18	c GLOBAL bounds - >= -96307 @ 1113.32
1155.11/1159.38	c GLOBAL bounds - >= -96307 @ 1114.27
1161.00/1165.27	c GLOBAL bounds - >= -96307 @ 1120.04
1162.29/1166.51	c GLOBAL bounds - >= -96307 @ 1121.05
1162.49/1166.80	c GLOBAL bounds - >= -96307 @ 1121.32
1163.80/1168.05	c GLOBAL bounds - >= -96307 @ 1122.33
1164.09/1168.34	c GLOBAL bounds - >= -96307 @ 1122.62
1165.39/1169.69	c GLOBAL bounds - >= -96307 @ 1123.72
1166.08/1170.37	c GLOBAL bounds - >= -96307 @ 1124.34
1167.48/1171.77	c GLOBAL bounds - >= -96307 @ 1125.51
1167.89/1172.17	c GLOBAL bounds - >= -96307 @ 1125.9
1169.28/1173.57	c GLOBAL bounds - >= -96307 @ 1127.05
1170.88/1175.19	c GLOBAL bounds - >= -96307 @ 1128.65
1172.27/1176.59	c GLOBAL bounds - >= -96307 @ 1129.81
1174.36/1178.69	c GLOBAL bounds - >= -96307 @ 1131.87
1175.77/1180.09	c GLOBAL bounds - >= -96307 @ 1133.02
1177.25/1181.50	c GLOBAL bounds - >= -96307 @ 1134.16
1178.55/1182.89	c GLOBAL bounds - >= -96307 @ 1135.31
1180.44/1184.75	c GLOBAL bounds - >= -96307 @ 1136.9
1182.34/1186.69	c GLOBAL bounds - >= -96307 @ 1138.62
1184.44/1188.73	c GLOBAL bounds - >= -96307 @ 1140.45
1185.92/1190.24	c GLOBAL bounds - >= -96307 @ 1141.78
1187.43/1191.75	c GLOBAL bounds - >= -96307 @ 1143.09
1188.33/1192.62	c GLOBAL bounds - >= -96307 @ 1143.79
1189.12/1193.48	c GLOBAL bounds - >= -96307 @ 1144.51
1189.83/1194.18	c GLOBAL bounds - >= -96307 @ 1145.08
1190.82/1195.14	c GLOBAL bounds - >= -96307 @ 1145.93
1192.31/1196.62	c GLOBAL bounds - >= -96307 @ 1147.31
1222.42/1226.88	c GLOBAL bounds - >= -96307 @ 1176.72
1223.33/1227.76	c GLOBAL bounds - >= -96307 @ 1177.52
1224.22/1228.65	c GLOBAL bounds - >= -96307 @ 1178.31
1224.22/1228.65	c GLOBAL bounds - >= -96307 @ 1178.31
1224.62/1229.06	c GLOBAL bounds - >= -96307 @ 1178.71
1224.72/1229.18	c GLOBAL bounds - >= -96307 @ 1178.83
1224.92/1229.31	c GLOBAL bounds - >= -96307 @ 1178.96
1225.02/1229.45	c GLOBAL bounds - >= -96307 @ 1179.1
1225.12/1229.59	c GLOBAL bounds - >= -96307 @ 1179.24
1225.31/1229.74	c GLOBAL bounds - >= -96307 @ 1179.38
1226.12/1230.54	c GLOBAL bounds - >= -96307 @ 1179.93
1226.21/1230.66	c GLOBAL bounds - >= -96307 @ 1180.05
1227.61/1232.03	c GLOBAL bounds - >= -96307 @ 1181.17
1227.71/1232.15	c GLOBAL bounds - >= -96307 @ 1181.28
1229.01/1233.49	c GLOBAL bounds - >= -96307 @ 1182.38
1229.21/1233.61	c GLOBAL bounds - >= -96307 @ 1182.49
1230.50/1234.93	c GLOBAL bounds - >= -96307 @ 1183.55
1230.60/1235.05	c GLOBAL bounds - >= -96307 @ 1183.67
1231.90/1236.38	c GLOBAL bounds - >= -96307 @ 1184.74
1232.00/1236.49	c GLOBAL bounds - >= -96307 @ 1184.85
1233.39/1237.83	c GLOBAL bounds - >= -96307 @ 1185.93
1233.49/1237.95	c GLOBAL bounds - >= -96307 @ 1186.05
1234.79/1239.28	c GLOBAL bounds - >= -96307 @ 1187.14
1234.99/1239.40	c GLOBAL bounds - >= -96307 @ 1187.26
1236.29/1240.74	c GLOBAL bounds - >= -96307 @ 1188.35
1236.39/1240.89	c GLOBAL bounds - >= -96307 @ 1188.49
1237.78/1242.24	c GLOBAL bounds - >= -96307 @ 1189.58
1238.18/1242.69	c GLOBAL bounds - >= -96307 @ 1190.03
1239.58/1244.06	c GLOBAL bounds - >= -96307 @ 1191.15
1240.97/1245.41	c GLOBAL bounds - >= -96307 @ 1192.27
1242.97/1247.42	c GLOBAL bounds - >= -96307 @ 1194.01
1244.97/1249.43	c GLOBAL bounds - >= -96307 @ 1195.76
1247.06/1251.53	c GLOBAL bounds - >= -96307 @ 1197.62
1248.85/1253.39	c GLOBAL bounds - >= -96307 @ 1199.26
1250.75/1255.24	c GLOBAL bounds - >= -96307 @ 1200.9
1251.84/1256.31	c GLOBAL bounds - >= -96307 @ 1201.79
1253.14/1257.64	c GLOBAL bounds - >= -96307 @ 1202.95
1254.64/1259.18	c GLOBAL bounds - >= -96307 @ 1204.36
1255.83/1260.35	c GLOBAL bounds - >= -96307 @ 1205.42
1256.93/1261.48	c GLOBAL bounds - >= -96307 @ 1206.45
1271.69/1276.24	c GLOBAL bounds - >= -96307 @ 1220.97
1271.69/1276.24	c GLOBAL bounds - >= -96307 @ 1220.97
1272.09/1276.66	c GLOBAL bounds - >= -96307 @ 1221.39
1272.19/1276.78	c GLOBAL bounds - >= -96307 @ 1221.51
1272.39/1276.90	c GLOBAL bounds - >= -96307 @ 1221.63
1272.49/1277.02	c GLOBAL bounds - >= -96307 @ 1221.74
1272.58/1277.14	c GLOBAL bounds - >= -96307 @ 1221.86
1272.69/1277.26	c GLOBAL bounds - >= -96307 @ 1221.97
1272.78/1277.37	c GLOBAL bounds - >= -96307 @ 1222.08
1272.88/1277.49	c GLOBAL bounds - >= -96307 @ 1222.2
1273.08/1277.61	c GLOBAL bounds - >= -96307 @ 1222.32
1273.18/1277.73	c GLOBAL bounds - >= -96307 @ 1222.44
1273.28/1277.85	c GLOBAL bounds - >= -96307 @ 1222.56
1273.39/1277.97	c GLOBAL bounds - >= -96307 @ 1222.67
1273.49/1278.09	c GLOBAL bounds - >= -96307 @ 1222.79
1273.68/1278.21	c GLOBAL bounds - >= -96307 @ 1222.91
1274.98/1279.52	c GLOBAL bounds - >= -96307 @ 1223.96
1274.98/1279.57	c GLOBAL bounds - >= -96307 @ 1224.01
1276.17/1280.79	c GLOBAL bounds - >= -96307 @ 1224.96
1276.38/1280.93	c GLOBAL bounds - >= -96307 @ 1225.09
1277.37/1281.90	c GLOBAL bounds - >= -96307 @ 1225.81
1277.47/1282.03	c GLOBAL bounds - >= -96307 @ 1225.94
1278.67/1283.20	c GLOBAL bounds - >= -96307 @ 1226.87
1278.77/1283.33	c GLOBAL bounds - >= -96307 @ 1226.99
1279.96/1284.52	c GLOBAL bounds - >= -96307 @ 1227.93
1280.06/1284.64	c GLOBAL bounds - >= -96307 @ 1228.06
1281.46/1286.05	c GLOBAL bounds - >= -96307 @ 1229.22
1281.56/1286.18	c GLOBAL bounds - >= -96307 @ 1229.35
1283.16/1287.73	c GLOBAL bounds - >= -96307 @ 1230.64
1283.26/1287.86	c GLOBAL bounds - >= -96307 @ 1230.77
1284.85/1289.41	c GLOBAL bounds - >= -96307 @ 1232.07
1284.95/1289.54	c GLOBAL bounds - >= -96307 @ 1232.2
1286.34/1290.98	c GLOBAL bounds - >= -96307 @ 1233.4
1286.55/1291.11	c GLOBAL bounds - >= -96307 @ 1233.52
1287.94/1292.56	c GLOBAL bounds - >= -96307 @ 1234.71
1289.34/1294.00	c GLOBAL bounds - >= -96307 @ 1235.87
1291.34/1296.00	c GLOBAL bounds - >= -96307 @ 1237.62
1293.62/1298.25	c GLOBAL bounds - >= -96307 @ 1239.64
1297.82/1302.41	c GLOBAL bounds - >= -96307 @ 1243.57
1300.71/1305.34	c GLOBAL bounds - >= -96307 @ 1246.31
1302.40/1307.08	c GLOBAL bounds - >= -96307 @ 1247.88
1303.70/1308.31	c GLOBAL bounds - >= -96307 @ 1248.93
1304.80/1309.43	c GLOBAL bounds - >= -96307 @ 1249.88
1305.69/1310.37	c GLOBAL bounds - >= -96307 @ 1250.69
1306.79/1311.46	c GLOBAL bounds - >= -96307 @ 1251.68
1308.49/1313.15	c GLOBAL bounds - >= -96307 @ 1253.27
1309.28/1313.96	c GLOBAL bounds - >= -96307 @ 1253.99
1309.28/1313.96	c GLOBAL bounds - >= -96307 @ 1254
1309.68/1314.38	c GLOBAL bounds - >= -96307 @ 1254.41
1309.68/1314.39	c GLOBAL bounds - >= -96307 @ 1254.42
1309.88/1314.51	c GLOBAL bounds - >= -96307 @ 1254.54
1309.98/1314.64	c GLOBAL bounds - >= -96307 @ 1254.67
1309.98/1314.65	c GLOBAL bounds - >= -96307 @ 1254.67
1310.08/1314.77	c GLOBAL bounds - >= -96307 @ 1254.8
1310.08/1314.78	c GLOBAL bounds - >= -96307 @ 1254.81
1310.08/1314.79	c GLOBAL bounds - >= -96307 @ 1254.81
1310.08/1314.79	c GLOBAL bounds - >= -96307 @ 1254.82
1310.18/1314.80	c GLOBAL bounds - >= -96307 @ 1254.82
1310.18/1314.80	c GLOBAL bounds - >= -96307 @ 1254.83
1310.27/1314.93	c GLOBAL bounds - >= -96307 @ 1254.95
1310.38/1315.06	c GLOBAL bounds - >= -96307 @ 1255.08
1311.27/1315.90	c GLOBAL bounds - >= -96307 @ 1255.9
1312.07/1316.71	c GLOBAL bounds - >= -96307 @ 1256.47
1312.17/1316.84	c GLOBAL bounds - >= -96307 @ 1256.6
1313.38/1318.02	c GLOBAL bounds - >= -96307 @ 1257.53
1313.47/1318.15	c GLOBAL bounds - >= -96307 @ 1257.65
1314.66/1319.34	c GLOBAL bounds - >= -96307 @ 1258.6
1314.76/1319.47	c GLOBAL bounds - >= -96307 @ 1258.72
1315.97/1320.60	c GLOBAL bounds - >= -96307 @ 1259.61
1316.06/1320.72	c GLOBAL bounds - >= -96307 @ 1259.73
1317.36/1322.09	c GLOBAL bounds - >= -96307 @ 1260.83
1317.56/1322.21	c GLOBAL bounds - >= -96307 @ 1260.96
1318.95/1323.66	c GLOBAL bounds - >= -96307 @ 1262.14
1319.05/1323.79	c GLOBAL bounds - >= -96307 @ 1262.28
1320.55/1325.23	c GLOBAL bounds - >= -96307 @ 1263.47
1320.65/1325.36	c GLOBAL bounds - >= -96307 @ 1263.59
1322.15/1326.82	c GLOBAL bounds - >= -96307 @ 1264.8
1322.25/1326.95	c GLOBAL bounds - >= -96307 @ 1264.92
1323.74/1328.43	c GLOBAL bounds - >= -96307 @ 1266.16
1324.44/1329.14	c GLOBAL bounds - >= -96307 @ 1266.85
1325.93/1330.66	c GLOBAL bounds - >= -96307 @ 1268.13
1327.43/1332.10	c GLOBAL bounds - >= -96307 @ 1269.32
1329.52/1334.20	c GLOBAL bounds - >= -96307 @ 1271.18
1331.92/1336.63	c GLOBAL bounds - >= -96307 @ 1273.37
1334.31/1339.03	c GLOBAL bounds - >= -96307 @ 1275.56
1336.50/1341.29	c GLOBAL bounds - >= -96307 @ 1277.59
1338.20/1342.97	c GLOBAL bounds - >= -96307 @ 1279.05
1339.59/1344.36	c GLOBAL bounds - >= -96307 @ 1280.26
1340.79/1345.57	c GLOBAL bounds - >= -96307 @ 1281.24
1341.69/1346.40	c GLOBAL bounds - >= -96307 @ 1281.92
1342.39/1347.10	c GLOBAL bounds - >= -96307 @ 1282.49
1343.29/1348.01	c GLOBAL bounds - >= -96307 @ 1283.31
1429.74/1434.75	c GLOBAL bounds - >= -96307 @ 1364.39
1430.44/1435.41	c GLOBAL bounds - >= -96307 @ 1364.97
1430.44/1435.41	c GLOBAL bounds - >= -96307 @ 1364.97
1430.94/1435.98	c GLOBAL bounds - >= -96307 @ 1365.53
1431.05/1436.01	c GLOBAL bounds - >= -96307 @ 1365.57
1431.24/1436.27	c GLOBAL bounds - >= -96307 @ 1365.82
1431.44/1436.40	c GLOBAL bounds - >= -96307 @ 1365.94
1431.44/1436.40	c GLOBAL bounds - >= -96307 @ 1365.95
1431.44/1436.41	c GLOBAL bounds - >= -96307 @ 1365.96
1431.54/1436.53	c GLOBAL bounds - >= -96307 @ 1366.08
1431.64/1436.66	c GLOBAL bounds - >= -96307 @ 1366.21
1431.64/1436.67	c GLOBAL bounds - >= -96307 @ 1366.21
1431.64/1436.68	c GLOBAL bounds - >= -96307 @ 1366.22
1431.64/1436.69	c GLOBAL bounds - >= -96307 @ 1366.23
1431.64/1436.69	c GLOBAL bounds - >= -96307 @ 1366.24
1431.73/1436.70	c GLOBAL bounds - >= -96307 @ 1366.25
1432.24/1437.23	c GLOBAL bounds - >= -96307 @ 1366.76
1432.93/1437.96	c GLOBAL bounds - >= -96307 @ 1367.48
1433.83/1438.85	c GLOBAL bounds - >= -96307 @ 1368.13
1434.14/1439.12	c GLOBAL bounds - >= -96307 @ 1368.39
1435.03/1440.00	c GLOBAL bounds - >= -96307 @ 1369.03
1435.23/1440.26	c GLOBAL bounds - >= -96307 @ 1369.28
1436.13/1441.15	c GLOBAL bounds - >= -96307 @ 1369.92
1436.42/1441.42	c GLOBAL bounds - >= -96307 @ 1370.18
1437.33/1442.30	c GLOBAL bounds - >= -96307 @ 1370.82
1437.43/1442.44	c GLOBAL bounds - >= -96307 @ 1370.96
1438.32/1443.33	c GLOBAL bounds - >= -96307 @ 1371.59
1438.52/1443.59	c GLOBAL bounds - >= -96307 @ 1371.84
1439.42/1444.48	c GLOBAL bounds - >= -96307 @ 1372.49
1439.71/1444.74	c GLOBAL bounds - >= -96307 @ 1372.75
1440.61/1445.63	c GLOBAL bounds - >= -96307 @ 1373.39
1440.92/1445.90	c GLOBAL bounds - >= -96307 @ 1373.65
1441.71/1446.78	c GLOBAL bounds - >= -96307 @ 1374.29
1442.02/1447.05	c GLOBAL bounds - >= -96307 @ 1374.55
1442.90/1447.94	c GLOBAL bounds - >= -96307 @ 1375.2
1443.21/1448.25	c GLOBAL bounds - >= -96307 @ 1375.51
1444.12/1449.13	c GLOBAL bounds - >= -96307 @ 1376.15
1444.12/1449.13	c GLOBAL bounds - >= -96307 @ 1376.15
1444.70/1449.74	c GLOBAL bounds - >= -96307 @ 1376.76
1444.80/1449.87	c GLOBAL bounds - >= -96307 @ 1376.88
1445.70/1450.76	c GLOBAL bounds - >= -96307 @ 1377.54
1446.01/1451.04	c GLOBAL bounds - >= -96307 @ 1377.8
1446.89/1451.91	c GLOBAL bounds - >= -96307 @ 1378.42
1447.11/1452.19	c GLOBAL bounds - >= -96307 @ 1378.68
1447.99/1453.08	c GLOBAL bounds - >= -96307 @ 1379.32
1448.30/1453.34	c GLOBAL bounds - >= -96307 @ 1379.57
1449.19/1454.22	c GLOBAL bounds - >= -96307 @ 1380.19
1449.39/1454.49	c GLOBAL bounds - >= -96307 @ 1380.45
1450.29/1455.38	c GLOBAL bounds - >= -96307 @ 1381.1
1450.59/1455.65	c GLOBAL bounds - >= -96307 @ 1381.37
1451.48/1456.53	c GLOBAL bounds - >= -96307 @ 1381.98
1451.78/1456.80	c GLOBAL bounds - >= -96307 @ 1382.24
1452.58/1457.69	c GLOBAL bounds - >= -96307 @ 1382.88
1452.88/1457.95	c GLOBAL bounds - >= -96307 @ 1383.14
1453.78/1458.84	c GLOBAL bounds - >= -96307 @ 1383.77
1454.08/1459.11	c GLOBAL bounds - >= -96307 @ 1384.04
1454.88/1459.99	c GLOBAL bounds - >= -96307 @ 1384.66
1455.17/1460.26	c GLOBAL bounds - >= -96307 @ 1384.92
1456.07/1461.15	c GLOBAL bounds - >= -96307 @ 1385.55
1456.07/1461.15	c GLOBAL bounds - >= -96307 @ 1385.55
1456.67/1461.72	c GLOBAL bounds - >= -96307 @ 1386.11
1456.67/1461.76	c GLOBAL bounds - >= -96307 @ 1386.15
1457.57/1462.64	c GLOBAL bounds - >= -96307 @ 1386.79
1457.87/1462.91	c GLOBAL bounds - >= -96307 @ 1387.05
1458.76/1463.80	c GLOBAL bounds - >= -96307 @ 1387.69
1458.97/1464.07	c GLOBAL bounds - >= -96307 @ 1387.96
1459.86/1464.95	c GLOBAL bounds - >= -96307 @ 1388.59
1460.16/1465.23	c GLOBAL bounds - >= -96307 @ 1388.86
1461.06/1466.11	c GLOBAL bounds - >= -96307 @ 1389.5
1461.26/1466.38	c GLOBAL bounds - >= -96307 @ 1389.76
1462.15/1467.27	c GLOBAL bounds - >= -96307 @ 1390.4
1462.45/1467.54	c GLOBAL bounds - >= -96307 @ 1390.67
1463.35/1468.43	c GLOBAL bounds - >= -96307 @ 1391.3
1463.65/1468.70	c GLOBAL bounds - >= -96307 @ 1391.57
1464.45/1469.59	c GLOBAL bounds - >= -96307 @ 1392.21
1464.75/1469.86	c GLOBAL bounds - >= -96307 @ 1392.48
1465.64/1470.75	c GLOBAL bounds - >= -96307 @ 1393.13
1465.95/1471.02	c GLOBAL bounds - >= -96307 @ 1393.4
1466.84/1471.91	c GLOBAL bounds - >= -96307 @ 1394.05
1467.05/1472.18	c GLOBAL bounds - >= -96307 @ 1394.32
1467.95/1473.07	c GLOBAL bounds - >= -96307 @ 1394.96
1467.95/1473.07	c GLOBAL bounds - >= -96307 @ 1394.96
1468.54/1473.64	c GLOBAL bounds - >= -96307 @ 1395.52
1468.54/1473.68	c GLOBAL bounds - >= -96307 @ 1395.56
1469.43/1474.56	c GLOBAL bounds - >= -96307 @ 1396.19
1469.74/1474.84	c GLOBAL bounds - >= -96307 @ 1396.46
1470.63/1475.72	c GLOBAL bounds - >= -96307 @ 1397.1
1470.83/1475.99	c GLOBAL bounds - >= -96307 @ 1397.36
1471.73/1476.87	c GLOBAL bounds - >= -96307 @ 1397.97
1472.03/1477.14	c GLOBAL bounds - >= -96307 @ 1398.23
1472.93/1478.02	c GLOBAL bounds - >= -96307 @ 1398.85
1473.23/1478.30	c GLOBAL bounds - >= -96307 @ 1399.12
1474.03/1479.18	c GLOBAL bounds - >= -96307 @ 1399.76
1474.32/1479.45	c GLOBAL bounds - >= -96307 @ 1400.03
1475.22/1480.34	c GLOBAL bounds - >= -96307 @ 1400.65
1475.52/1480.61	c GLOBAL bounds - >= -96307 @ 1400.92
1476.32/1481.49	c GLOBAL bounds - >= -96307 @ 1401.54
1476.61/1481.76	c GLOBAL bounds - >= -96307 @ 1401.82
1477.52/1482.65	c GLOBAL bounds - >= -96307 @ 1402.44
1477.81/1482.92	c GLOBAL bounds - >= -96307 @ 1402.71
1478.71/1483.80	c GLOBAL bounds - >= -96307 @ 1403.33
1478.92/1484.07	c GLOBAL bounds - >= -96307 @ 1403.6
1479.81/1484.96	c GLOBAL bounds - >= -96307 @ 1404.24
1479.81/1484.96	c GLOBAL bounds - >= -96307 @ 1404.24
1480.39/1485.54	c GLOBAL bounds - >= -96307 @ 1404.8
1480.39/1485.58	c GLOBAL bounds - >= -96307 @ 1404.85
1481.30/1486.47	c GLOBAL bounds - >= -96307 @ 1405.5
1481.59/1486.75	c GLOBAL bounds - >= -96307 @ 1405.77
1482.49/1487.63	c GLOBAL bounds - >= -96307 @ 1406.39
1482.78/1487.96	c GLOBAL bounds - >= -96307 @ 1406.69
1483.68/1488.84	c GLOBAL bounds - >= -96307 @ 1407.33
1484.08/1489.21	c GLOBAL bounds - >= -96307 @ 1407.63
1484.89/1490.09	c GLOBAL bounds - >= -96307 @ 1408.26
1485.18/1490.37	c GLOBAL bounds - >= -96307 @ 1408.53
1486.09/1491.26	c GLOBAL bounds - >= -96307 @ 1409.17
1486.38/1491.54	c GLOBAL bounds - >= -96307 @ 1409.44
1487.28/1492.42	c GLOBAL bounds - >= -96307 @ 1410.06
1487.48/1492.69	c GLOBAL bounds - >= -96307 @ 1410.33
1488.37/1493.58	c GLOBAL bounds - >= -96307 @ 1410.95
1488.67/1493.85	c GLOBAL bounds - >= -96307 @ 1411.22
1489.57/1494.73	c GLOBAL bounds - >= -96307 @ 1411.83
1489.87/1495.01	c GLOBAL bounds - >= -96307 @ 1412.1
1490.77/1495.90	c GLOBAL bounds - >= -96307 @ 1412.74
1490.97/1496.17	c GLOBAL bounds - >= -96307 @ 1413.01
1491.86/1497.06	c GLOBAL bounds - >= -96307 @ 1413.64
1491.86/1497.06	c GLOBAL bounds - >= -96307 @ 1413.65
1492.47/1497.63	c GLOBAL bounds - >= -96307 @ 1414.21
1492.47/1497.67	c GLOBAL bounds - >= -96307 @ 1414.26
1493.36/1498.57	c GLOBAL bounds - >= -96307 @ 1414.9
1493.66/1498.85	c GLOBAL bounds - >= -96307 @ 1415.18
1494.56/1499.73	c GLOBAL bounds - >= -96307 @ 1415.82
1494.86/1500.00	c GLOBAL bounds - >= -96307 @ 1416.08
1495.65/1500.89	c GLOBAL bounds - >= -96307 @ 1416.71
1495.96/1501.17	c GLOBAL bounds - >= -96307 @ 1416.98
1496.85/1502.06	c GLOBAL bounds - >= -96307 @ 1417.62
1497.15/1502.34	c GLOBAL bounds - >= -96307 @ 1417.89
1498.05/1503.23	c GLOBAL bounds - >= -96307 @ 1418.52
1498.35/1503.50	c GLOBAL bounds - >= -96307 @ 1418.79
1499.15/1504.39	c GLOBAL bounds - >= -96307 @ 1419.43
1499.44/1504.67	c GLOBAL bounds - >= -96307 @ 1419.69
1500.34/1505.56	c GLOBAL bounds - >= -96307 @ 1420.33
1500.64/1505.84	c GLOBAL bounds - >= -96307 @ 1420.61
1501.54/1506.72	c GLOBAL bounds - >= -96307 @ 1421.23
1501.74/1507.00	c GLOBAL bounds - >= -96307 @ 1421.51
1502.64/1507.89	c GLOBAL bounds - >= -96307 @ 1422.16
1502.94/1508.16	c GLOBAL bounds - >= -96307 @ 1422.44
1503.84/1509.05	c GLOBAL bounds - >= -96307 @ 1423.06
1503.84/1509.05	c GLOBAL bounds - >= -96307 @ 1423.06
1504.43/1509.62	c GLOBAL bounds - >= -96307 @ 1423.62
1504.43/1509.67	c GLOBAL bounds - >= -96307 @ 1423.67
1505.33/1510.56	c GLOBAL bounds - >= -96307 @ 1424.33
1505.63/1510.84	c GLOBAL bounds - >= -96307 @ 1424.61
1506.52/1511.72	c GLOBAL bounds - >= -96307 @ 1425.22
1506.72/1511.99	c GLOBAL bounds - >= -96307 @ 1425.49
1507.62/1512.89	c GLOBAL bounds - >= -96307 @ 1426.12
1507.93/1513.17	c GLOBAL bounds - >= -96307 @ 1426.4
1508.82/1514.05	c GLOBAL bounds - >= -96307 @ 1427.02
1509.12/1514.32	c GLOBAL bounds - >= -96307 @ 1427.29
1510.01/1515.21	c GLOBAL bounds - >= -96307 @ 1427.93
1510.21/1515.49	c GLOBAL bounds - >= -96307 @ 1428.21
1511.11/1516.38	c GLOBAL bounds - >= -96307 @ 1428.85
1511.41/1516.66	c GLOBAL bounds - >= -96307 @ 1429.12
1512.30/1517.55	c GLOBAL bounds - >= -96307 @ 1429.75
1512.61/1517.83	c GLOBAL bounds - >= -96307 @ 1430.03
1513.51/1518.71	c GLOBAL bounds - >= -96307 @ 1430.67
1513.70/1518.98	c GLOBAL bounds - >= -96307 @ 1430.94
1514.60/1519.87	c GLOBAL bounds - >= -96307 @ 1431.57
1514.91/1520.14	c GLOBAL bounds - >= -96307 @ 1431.84
1515.80/1521.02	c GLOBAL bounds - >= -96307 @ 1432.46
1515.80/1521.02	c GLOBAL bounds - >= -96307 @ 1432.47
1516.40/1521.61	c GLOBAL bounds - >= -96307 @ 1433.04
1516.50/1521.75	c GLOBAL bounds - >= -96307 @ 1433.18
1517.39/1522.63	c GLOBAL bounds - >= -96307 @ 1433.81
1517.69/1522.91	c GLOBAL bounds - >= -96307 @ 1434.09
1518.49/1523.79	c GLOBAL bounds - >= -96307 @ 1434.71
1518.79/1524.07	c GLOBAL bounds - >= -96307 @ 1434.99
1519.68/1524.96	c GLOBAL bounds - >= -96307 @ 1435.63
1519.99/1525.24	c GLOBAL bounds - >= -96307 @ 1435.9
1520.89/1526.13	c GLOBAL bounds - >= -96307 @ 1436.55
1521.18/1526.40	c GLOBAL bounds - >= -96307 @ 1436.82
1521.98/1527.28	c GLOBAL bounds - >= -96307 @ 1437.45
1522.28/1527.57	c GLOBAL bounds - >= -96307 @ 1437.73
1523.18/1528.45	c GLOBAL bounds - >= -96307 @ 1438.35
1523.47/1528.72	c GLOBAL bounds - >= -96307 @ 1438.62
1524.38/1529.61	c GLOBAL bounds - >= -96307 @ 1439.26
1524.57/1529.89	c GLOBAL bounds - >= -96307 @ 1439.54
1525.47/1530.78	c GLOBAL bounds - >= -96307 @ 1440.19
1525.77/1531.06	c GLOBAL bounds - >= -96307 @ 1440.47
1526.66/1531.94	c GLOBAL bounds - >= -96307 @ 1441.1
1526.97/1532.22	c GLOBAL bounds - >= -96307 @ 1441.38
1527.87/1533.11	c GLOBAL bounds - >= -96307 @ 1442.01
1527.87/1533.11	c GLOBAL bounds - >= -96307 @ 1442.01
1528.36/1533.69	c GLOBAL bounds - >= -96307 @ 1442.58
1528.56/1533.83	c GLOBAL bounds - >= -96307 @ 1442.72
1529.46/1534.71	c GLOBAL bounds - >= -96307 @ 1443.39
1529.66/1534.99	c GLOBAL bounds - >= -96307 @ 1443.66
1530.55/1535.87	c GLOBAL bounds - >= -96307 @ 1444.28
1530.86/1536.15	c GLOBAL bounds - >= -96307 @ 1444.56
1531.75/1537.04	c GLOBAL bounds - >= -96307 @ 1445.2
1532.05/1537.32	c GLOBAL bounds - >= -96307 @ 1445.48
1532.95/1538.21	c GLOBAL bounds - >= -96307 @ 1446.1
1533.15/1538.48	c GLOBAL bounds - >= -96307 @ 1446.37
1534.04/1539.36	c GLOBAL bounds - >= -96307 @ 1447.01
1534.35/1539.64	c GLOBAL bounds - >= -96307 @ 1447.28
1535.25/1540.53	c GLOBAL bounds - >= -96307 @ 1447.93
1535.54/1540.82	c GLOBAL bounds - >= -96307 @ 1448.21
1536.44/1541.70	c GLOBAL bounds - >= -96307 @ 1448.84
1536.64/1541.98	c GLOBAL bounds - >= -96307 @ 1449.12
1537.54/1542.87	c GLOBAL bounds - >= -96307 @ 1449.75
1537.84/1543.16	c GLOBAL bounds - >= -96307 @ 1450.03
1538.74/1544.05	c GLOBAL bounds - >= -96307 @ 1450.66
1539.03/1544.33	c GLOBAL bounds - >= -96307 @ 1450.94
1539.93/1545.22	c GLOBAL bounds - >= -96307 @ 1451.58
1539.93/1545.22	c GLOBAL bounds - >= -96307 @ 1451.58
1540.53/1545.80	c GLOBAL bounds - >= -96307 @ 1452.15
1540.63/1545.95	c GLOBAL bounds - >= -96307 @ 1452.3
1541.52/1546.83	c GLOBAL bounds - >= -96307 @ 1452.94
1541.83/1547.12	c GLOBAL bounds - >= -96307 @ 1453.22
1542.72/1548.01	c GLOBAL bounds - >= -96307 @ 1453.87
1542.92/1548.29	c GLOBAL bounds - >= -96307 @ 1454.15
1543.83/1549.17	c GLOBAL bounds - >= -96307 @ 1454.77
1544.11/1549.46	c GLOBAL bounds - >= -96307 @ 1455.06
1545.02/1550.35	c GLOBAL bounds - >= -96307 @ 1455.72
1545.32/1550.63	c GLOBAL bounds - >= -96307 @ 1456
1546.21/1551.51	c GLOBAL bounds - >= -96307 @ 1456.64
1546.51/1551.80	c GLOBAL bounds - >= -96307 @ 1456.92
1547.31/1552.69	c GLOBAL bounds - >= -96307 @ 1457.55
1547.91/1553.21	c GLOBAL bounds - >= -96307 @ 1458.07
1548.71/1554.10	c GLOBAL bounds - >= -96307 @ 1458.71
1549.10/1554.49	c GLOBAL bounds - >= -96307 @ 1459.1
1550.01/1555.38	c GLOBAL bounds - >= -96307 @ 1459.72
1550.30/1555.66	c GLOBAL bounds - >= -96307 @ 1460
1551.20/1556.54	c GLOBAL bounds - >= -96307 @ 1460.62
1551.30/1556.67	c GLOBAL bounds - >= -96307 @ 1460.74
1552.20/1557.55	c GLOBAL bounds - >= -96307 @ 1461.38
1552.20/1557.55	c GLOBAL bounds - >= -96307 @ 1461.38
1552.79/1558.13	c GLOBAL bounds - >= -96307 @ 1461.95
1552.89/1558.28	c GLOBAL bounds - >= -96307 @ 1462.09
1553.79/1559.16	c GLOBAL bounds - >= -96307 @ 1462.71
1554.09/1559.45	c GLOBAL bounds - >= -96307 @ 1462.99
1554.98/1560.33	c GLOBAL bounds - >= -96307 @ 1463.63
1555.29/1560.62	c GLOBAL bounds - >= -96307 @ 1463.92
1556.18/1561.51	c GLOBAL bounds - >= -96307 @ 1464.54
1556.38/1561.79	c GLOBAL bounds - >= -96307 @ 1464.81
1557.28/1562.67	c GLOBAL bounds - >= -96307 @ 1465.44
1557.58/1562.96	c GLOBAL bounds - >= -96307 @ 1465.72
1558.48/1563.85	c GLOBAL bounds - >= -96307 @ 1466.36
1558.78/1564.14	c GLOBAL bounds - >= -96307 @ 1466.64
1559.68/1565.02	c GLOBAL bounds - >= -96307 @ 1467.28
1559.97/1565.31	c GLOBAL bounds - >= -96307 @ 1467.56
1560.78/1566.19	c GLOBAL bounds - >= -96307 @ 1468.2
1561.07/1566.48	c GLOBAL bounds - >= -96307 @ 1468.48
1561.97/1567.36	c GLOBAL bounds - >= -96307 @ 1469.11
1562.27/1567.65	c GLOBAL bounds - >= -96307 @ 1469.4
1563.17/1568.53	c GLOBAL bounds - >= -96307 @ 1470.04
1563.46/1568.81	c GLOBAL bounds - >= -96307 @ 1470.32
1564.37/1569.70	c GLOBAL bounds - >= -96307 @ 1470.95
1564.37/1569.70	c GLOBAL bounds - >= -96307 @ 1470.95
1564.86/1570.28	c GLOBAL bounds - >= -96307 @ 1471.53
1564.96/1570.34	c GLOBAL bounds - >= -96307 @ 1471.59
1565.85/1571.23	c GLOBAL bounds - >= -96307 @ 1472.23
1566.16/1571.53	c GLOBAL bounds - >= -96307 @ 1472.52
1567.05/1572.44	c GLOBAL bounds - >= -96307 @ 1473.19
1567.35/1572.72	c GLOBAL bounds - >= -96307 @ 1473.47
1568.25/1573.61	c GLOBAL bounds - >= -96307 @ 1474.09
1568.55/1573.90	c GLOBAL bounds - >= -96307 @ 1474.37
1569.35/1574.79	c GLOBAL bounds - >= -96307 @ 1475.02
1569.65/1575.07	c GLOBAL bounds - >= -96307 @ 1475.31
1570.54/1575.96	c GLOBAL bounds - >= -96307 @ 1475.94
1570.84/1576.24	c GLOBAL bounds - >= -96307 @ 1476.23
1571.75/1577.13	c GLOBAL bounds - >= -96307 @ 1476.86
1572.04/1577.42	c GLOBAL bounds - >= -96307 @ 1477.14
1572.94/1578.31	c GLOBAL bounds - >= -96307 @ 1477.8
1573.14/1578.59	c GLOBAL bounds - >= -96307 @ 1478.09
1574.03/1579.48	c GLOBAL bounds - >= -96307 @ 1478.73
1574.33/1579.77	c GLOBAL bounds - >= -96307 @ 1479.02
1575.23/1580.65	c GLOBAL bounds - >= -96307 @ 1479.65
1575.53/1580.94	c GLOBAL bounds - >= -96307 @ 1479.94
1576.43/1581.83	c GLOBAL bounds - >= -96307 @ 1480.58
1576.43/1581.83	c GLOBAL bounds - >= -96307 @ 1480.58
1577.02/1582.42	c GLOBAL bounds - >= -96307 @ 1481.16
1577.02/1582.48	c GLOBAL bounds - >= -96307 @ 1481.22
1577.92/1583.37	c GLOBAL bounds - >= -96307 @ 1481.87
1578.22/1583.66	c GLOBAL bounds - >= -96307 @ 1482.15
1579.12/1584.55	c GLOBAL bounds - >= -96307 @ 1482.77
1579.41/1584.83	c GLOBAL bounds - >= -96307 @ 1483.06
1580.31/1585.72	c GLOBAL bounds - >= -96307 @ 1483.7
1580.62/1586.01	c GLOBAL bounds - >= -96307 @ 1483.98
1581.51/1586.90	c GLOBAL bounds - >= -96307 @ 1484.63
1581.71/1587.19	c GLOBAL bounds - >= -96307 @ 1484.91
1582.61/1588.08	c GLOBAL bounds - >= -96307 @ 1485.56
1582.91/1588.38	c GLOBAL bounds - >= -96307 @ 1485.85
1583.81/1589.26	c GLOBAL bounds - >= -96307 @ 1486.49
1584.10/1589.55	c GLOBAL bounds - >= -96307 @ 1486.78
1585.00/1590.45	c GLOBAL bounds - >= -96307 @ 1487.43
1585.30/1590.74	c GLOBAL bounds - >= -96307 @ 1487.71
1586.20/1591.63	c GLOBAL bounds - >= -96307 @ 1488.35
1586.49/1591.92	c GLOBAL bounds - >= -96307 @ 1488.64
1587.40/1592.80	c GLOBAL bounds - >= -96307 @ 1489.29
1587.60/1593.09	c GLOBAL bounds - >= -96307 @ 1489.57
1588.49/1593.97	c GLOBAL bounds - >= -96307 @ 1490.2
1588.49/1593.98	c GLOBAL bounds - >= -96307 @ 1490.2
1589.09/1594.56	c GLOBAL bounds - >= -96307 @ 1490.78
1589.29/1594.71	c GLOBAL bounds - >= -96307 @ 1490.93
1590.08/1595.59	c GLOBAL bounds - >= -96307 @ 1491.55
1590.39/1595.88	c GLOBAL bounds - >= -96307 @ 1491.84
1591.29/1596.76	c GLOBAL bounds - >= -96307 @ 1492.47
1591.59/1597.05	c GLOBAL bounds - >= -96307 @ 1492.75
1592.48/1597.93	c GLOBAL bounds - >= -96307 @ 1493.39
1592.79/1598.22	c GLOBAL bounds - >= -96307 @ 1493.67
1593.68/1599.10	c GLOBAL bounds - >= -96307 @ 1494.3
1593.88/1599.39	c GLOBAL bounds - >= -96307 @ 1494.59
1594.78/1600.27	c GLOBAL bounds - >= -96307 @ 1495.23
1595.07/1600.56	c GLOBAL bounds - >= -96307 @ 1495.51
1595.97/1601.45	c GLOBAL bounds - >= -96307 @ 1496.17
1596.27/1601.74	c GLOBAL bounds - >= -96307 @ 1496.45
1597.17/1602.62	c GLOBAL bounds - >= -96307 @ 1497.09
1597.47/1602.91	c GLOBAL bounds - >= -96307 @ 1497.38
1598.27/1603.80	c GLOBAL bounds - >= -96307 @ 1498.02
1598.57/1604.08	c GLOBAL bounds - >= -96307 @ 1498.3
1599.47/1604.96	c GLOBAL bounds - >= -96307 @ 1498.92
1599.76/1605.25	c GLOBAL bounds - >= -96307 @ 1499.2
1600.66/1606.13	c GLOBAL bounds - >= -96307 @ 1499.84
1600.66/1606.13	c GLOBAL bounds - >= -96307 @ 1499.84
1601.26/1606.71	c GLOBAL bounds - >= -96307 @ 1500.42
1601.26/1606.78	c GLOBAL bounds - >= -96307 @ 1500.48
1602.16/1607.66	c GLOBAL bounds - >= -96307 @ 1501.12
1602.46/1607.95	c GLOBAL bounds - >= -96307 @ 1501.41
1603.35/1608.83	c GLOBAL bounds - >= -96307 @ 1502.05
1603.66/1609.12	c GLOBAL bounds - >= -96307 @ 1502.33
1604.56/1610.00	c GLOBAL bounds - >= -96307 @ 1502.98
1604.75/1610.29	c GLOBAL bounds - >= -96307 @ 1503.26
1605.66/1611.17	c GLOBAL bounds - >= -96307 @ 1503.9
1605.95/1611.46	c GLOBAL bounds - >= -96307 @ 1504.19
1606.85/1612.35	c GLOBAL bounds - >= -96307 @ 1504.84
1607.15/1612.65	c GLOBAL bounds - >= -96307 @ 1505.15
1608.04/1613.53	c GLOBAL bounds - >= -96307 @ 1505.78
1608.34/1613.83	c GLOBAL bounds - >= -96307 @ 1506.07
1609.24/1614.70	c GLOBAL bounds - >= -96307 @ 1506.69
1609.44/1614.99	c GLOBAL bounds - >= -96307 @ 1506.97
1610.33/1615.88	c GLOBAL bounds - >= -96307 @ 1507.61
1610.64/1616.17	c GLOBAL bounds - >= -96307 @ 1507.9
1611.54/1617.05	c GLOBAL bounds - >= -96307 @ 1508.53
1611.84/1617.35	c GLOBAL bounds - >= -96307 @ 1508.82
1612.73/1618.23	c GLOBAL bounds - >= -96307 @ 1509.45
1612.73/1618.24	c GLOBAL bounds - >= -96307 @ 1509.46
1613.33/1618.82	c GLOBAL bounds - >= -96307 @ 1510.04
1613.43/1618.98	c GLOBAL bounds - >= -96307 @ 1510.19
1614.33/1619.86	c GLOBAL bounds - >= -96307 @ 1510.8
1614.63/1620.15	c GLOBAL bounds - >= -96307 @ 1511.09
1615.52/1621.04	c GLOBAL bounds - >= -96307 @ 1511.74
1615.83/1621.33	c GLOBAL bounds - >= -96307 @ 1512.04
1616.72/1622.21	c GLOBAL bounds - >= -96307 @ 1512.66
1617.01/1622.51	c GLOBAL bounds - >= -96307 @ 1512.95
1617.81/1623.39	c GLOBAL bounds - >= -96307 @ 1513.57
1618.11/1623.69	c GLOBAL bounds - >= -96307 @ 1513.87
1619.01/1624.57	c GLOBAL bounds - >= -96307 @ 1514.48
1619.31/1624.86	c GLOBAL bounds - >= -96307 @ 1514.77
1620.21/1625.75	c GLOBAL bounds - >= -96307 @ 1515.42
1620.51/1626.04	c GLOBAL bounds - >= -96307 @ 1515.7
1621.41/1626.92	c GLOBAL bounds - >= -96307 @ 1516.34
1621.71/1627.21	c GLOBAL bounds - >= -96307 @ 1516.63
1622.51/1628.10	c GLOBAL bounds - >= -96307 @ 1517.27
1622.80/1628.39	c GLOBAL bounds - >= -96307 @ 1517.56
1623.70/1629.27	c GLOBAL bounds - >= -96307 @ 1518.2
1623.99/1629.57	c GLOBAL bounds - >= -96307 @ 1518.49
1624.90/1630.45	c GLOBAL bounds - >= -96307 @ 1519.11
1624.90/1630.45	c GLOBAL bounds - >= -96307 @ 1519.11
1625.50/1631.04	c GLOBAL bounds - >= -96307 @ 1519.69
1625.60/1631.11	c GLOBAL bounds - >= -96307 @ 1519.76
1626.50/1632.00	c GLOBAL bounds - >= -96307 @ 1520.41
1626.79/1632.31	c GLOBAL bounds - >= -96307 @ 1520.71
1627.60/1633.19	c GLOBAL bounds - >= -96307 @ 1521.35
1627.98/1633.51	c GLOBAL bounds - >= -96307 @ 1521.65
1628.79/1634.39	c GLOBAL bounds - >= -96307 @ 1522.29
1629.08/1634.69	c GLOBAL bounds - >= -96307 @ 1522.58
1629.98/1635.58	c GLOBAL bounds - >= -96307 @ 1523.2
1630.29/1635.88	c GLOBAL bounds - >= -96307 @ 1523.49
1631.17/1636.77	c GLOBAL bounds - >= -96307 @ 1524.14
1631.49/1637.07	c GLOBAL bounds - >= -96307 @ 1524.44
1632.37/1637.96	c GLOBAL bounds - >= -96307 @ 1525.06
1632.67/1638.27	c GLOBAL bounds - >= -96307 @ 1525.37
1633.58/1639.15	c GLOBAL bounds - >= -96307 @ 1526
1633.87/1639.45	c GLOBAL bounds - >= -96307 @ 1526.29
1634.77/1640.33	c GLOBAL bounds - >= -96307 @ 1526.95
1635.07/1640.63	c GLOBAL bounds - >= -96307 @ 1527.24
1635.97/1641.52	c GLOBAL bounds - >= -96307 @ 1527.87
1636.26/1641.82	c GLOBAL bounds - >= -96307 @ 1528.17
1637.16/1642.70	c GLOBAL bounds - >= -96307 @ 1528.81
1637.16/1642.70	c GLOBAL bounds - >= -96307 @ 1528.81
1637.76/1643.31	c GLOBAL bounds - >= -96307 @ 1529.41
1637.76/1643.39	c GLOBAL bounds - >= -96307 @ 1529.48
1638.65/1644.28	c GLOBAL bounds - >= -96307 @ 1530.12
1638.96/1644.57	c GLOBAL bounds - >= -96307 @ 1530.41
1639.86/1645.45	c GLOBAL bounds - >= -96307 @ 1531.04
1640.15/1645.76	c GLOBAL bounds - >= -96307 @ 1531.35
1641.05/1646.65	c GLOBAL bounds - >= -96307 @ 1531.99
1641.35/1646.95	c GLOBAL bounds - >= -96307 @ 1532.29
1642.25/1647.84	c GLOBAL bounds - >= -96307 @ 1532.92
1642.56/1648.13	c GLOBAL bounds - >= -96307 @ 1533.22
1643.45/1649.02	c GLOBAL bounds - >= -96307 @ 1533.86
1643.74/1649.32	c GLOBAL bounds - >= -96307 @ 1534.16
1644.64/1650.21	c GLOBAL bounds - >= -96307 @ 1534.81
1644.94/1650.51	c GLOBAL bounds - >= -96307 @ 1535.1
1645.74/1651.39	c GLOBAL bounds - >= -96307 @ 1535.75
1646.14/1651.70	c GLOBAL bounds - >= -96307 @ 1536.05
1646.94/1652.58	c GLOBAL bounds - >= -96307 @ 1536.69
1647.23/1652.88	c GLOBAL bounds - >= -96307 @ 1536.99
1648.13/1653.77	c GLOBAL bounds - >= -96307 @ 1537.62
1648.43/1654.08	c GLOBAL bounds - >= -96307 @ 1537.92
1649.32/1654.96	c GLOBAL bounds - >= -96307 @ 1538.55
1649.32/1654.96	c GLOBAL bounds - >= -96307 @ 1538.55
1649.93/1655.56	c GLOBAL bounds - >= -96307 @ 1539.15
1650.03/1655.63	c GLOBAL bounds - >= -96307 @ 1539.22
1650.92/1656.51	c GLOBAL bounds - >= -96307 @ 1539.85
1651.23/1656.82	c GLOBAL bounds - >= -96307 @ 1540.15
1652.12/1657.71	c GLOBAL bounds - >= -96307 @ 1540.78
1652.42/1658.01	c GLOBAL bounds - >= -96307 @ 1541.08
1653.22/1658.89	c GLOBAL bounds - >= -96307 @ 1541.7
1653.52/1659.19	c GLOBAL bounds - >= -96307 @ 1542
1654.42/1660.07	c GLOBAL bounds - >= -96307 @ 1542.64
1654.72/1660.38	c GLOBAL bounds - >= -96307 @ 1542.94
1655.61/1661.26	c GLOBAL bounds - >= -96307 @ 1543.57
1655.91/1661.57	c GLOBAL bounds - >= -96307 @ 1543.88
1656.81/1662.44	c GLOBAL bounds - >= -96307 @ 1544.5
1657.10/1662.75	c GLOBAL bounds - >= -96307 @ 1544.8
1658.01/1663.63	c GLOBAL bounds - >= -96307 @ 1545.42
1658.31/1663.94	c GLOBAL bounds - >= -96307 @ 1545.72
1659.20/1664.82	c GLOBAL bounds - >= -96307 @ 1546.35
1659.51/1665.12	c GLOBAL bounds - >= -96307 @ 1546.64
1660.30/1665.99	c GLOBAL bounds - >= -96307 @ 1547.26
1660.70/1666.30	c GLOBAL bounds - >= -96307 @ 1547.56
1661.50/1667.17	c GLOBAL bounds - >= -96307 @ 1548.19
1661.50/1667.17	c GLOBAL bounds - >= -96307 @ 1548.19
1662.09/1667.77	c GLOBAL bounds - >= -96307 @ 1548.79
1662.19/1667.85	c GLOBAL bounds - >= -96307 @ 1548.87
1664.19/1669.84	c GLOBAL bounds - >= -96307 @ 1550.59
1664.29/1669.97	c GLOBAL bounds - >= -96307 @ 1550.72
1665.18/1670.85	c GLOBAL bounds - >= -96307 @ 1551.33
1665.49/1671.13	c GLOBAL bounds - >= -96307 @ 1551.61
1666.39/1672.01	c GLOBAL bounds - >= -96307 @ 1552.25
1666.68/1672.30	c GLOBAL bounds - >= -96307 @ 1552.53
1667.49/1673.18	c GLOBAL bounds - >= -96307 @ 1553.17
1667.78/1673.47	c GLOBAL bounds - >= -96307 @ 1553.45
1668.68/1674.35	c GLOBAL bounds - >= -96307 @ 1554.05
1668.98/1674.63	c GLOBAL bounds - >= -96307 @ 1554.33
1669.87/1675.51	c GLOBAL bounds - >= -96307 @ 1554.97
1670.07/1675.79	c GLOBAL bounds - >= -96307 @ 1555.25
1670.97/1676.67	c GLOBAL bounds - >= -96307 @ 1555.87
1671.27/1676.96	c GLOBAL bounds - >= -96307 @ 1556.15
1672.16/1677.84	c GLOBAL bounds - >= -96307 @ 1556.79
1672.47/1678.13	c GLOBAL bounds - >= -96307 @ 1557.07
1673.37/1679.01	c GLOBAL bounds - >= -96307 @ 1557.69
1673.66/1679.30	c GLOBAL bounds - >= -96307 @ 1557.97
1674.46/1680.18	c GLOBAL bounds - >= -96307 @ 1558.6
1674.46/1680.19	c GLOBAL bounds - >= -96307 @ 1558.6
1675.06/1680.77	c GLOBAL bounds - >= -96307 @ 1559.18
1675.16/1680.83	c GLOBAL bounds - >= -96307 @ 1559.23
1676.05/1681.70	c GLOBAL bounds - >= -96307 @ 1559.85
1676.25/1681.99	c GLOBAL bounds - >= -96307 @ 1560.14
1677.15/1682.87	c GLOBAL bounds - >= -96307 @ 1560.77
1677.65/1683.30	c GLOBAL bounds - >= -96307 @ 1561.1
1678.46/1684.17	c GLOBAL bounds - >= -96307 @ 1561.72
1678.74/1684.46	c GLOBAL bounds - >= -96307 @ 1562
1679.65/1685.34	c GLOBAL bounds - >= -96307 @ 1562.62
1679.94/1685.62	c GLOBAL bounds - >= -96307 @ 1562.9
1680.84/1686.50	c GLOBAL bounds - >= -96307 @ 1563.51
1681.04/1686.78	c GLOBAL bounds - >= -96307 @ 1563.79
1681.94/1687.66	c GLOBAL bounds - >= -96307 @ 1564.42
1682.24/1687.95	c GLOBAL bounds - >= -96307 @ 1564.71
1683.13/1688.83	c GLOBAL bounds - >= -96307 @ 1565.31
1683.53/1689.26	c GLOBAL bounds - >= -96307 @ 1565.67
1684.43/1690.15	c GLOBAL bounds - >= -96307 @ 1566.28
1684.73/1690.44	c GLOBAL bounds - >= -96307 @ 1566.57
1685.63/1691.31	c GLOBAL bounds - >= -96307 @ 1567.19
1685.93/1691.60	c GLOBAL bounds - >= -96307 @ 1567.48
1686.72/1692.48	c GLOBAL bounds - >= -96307 @ 1568.1
1686.72/1692.48	c GLOBAL bounds - >= -96307 @ 1568.1
1687.33/1693.07	c GLOBAL bounds - >= -96307 @ 1568.68
1687.43/1693.13	c GLOBAL bounds - >= -96307 @ 1568.74
1688.33/1694.02	c GLOBAL bounds - >= -96307 @ 1569.37
1688.62/1694.31	c GLOBAL bounds - >= -96307 @ 1569.65
1689.43/1695.18	c GLOBAL bounds - >= -96307 @ 1570.27
1689.72/1695.47	c GLOBAL bounds - >= -96307 @ 1570.56
1690.62/1696.35	c GLOBAL bounds - >= -96307 @ 1571.19
1690.91/1696.65	c GLOBAL bounds - >= -96307 @ 1571.48
1691.81/1697.53	c GLOBAL bounds - >= -96307 @ 1572.11
1692.21/1697.96	c GLOBAL bounds - >= -96307 @ 1572.46
1693.11/1698.84	c GLOBAL bounds - >= -96307 @ 1573.1
1693.41/1699.14	c GLOBAL bounds - >= -96307 @ 1573.39
1694.31/1700.02	c GLOBAL bounds - >= -96307 @ 1574.02
1694.60/1700.31	c GLOBAL bounds - >= -96307 @ 1574.31
1695.41/1701.19	c GLOBAL bounds - >= -96307 @ 1574.94
1695.70/1701.49	c GLOBAL bounds - >= -96307 @ 1575.23
1696.60/1702.37	c GLOBAL bounds - >= -96307 @ 1575.85
1696.89/1702.66	c GLOBAL bounds - >= -96307 @ 1576.14
1697.79/1703.54	c GLOBAL bounds - >= -96307 @ 1576.77
1698.10/1703.84	c GLOBAL bounds - >= -96307 @ 1577.06
1698.99/1704.71	c GLOBAL bounds - >= -96307 @ 1577.68
1698.99/1704.71	c GLOBAL bounds - >= -96307 @ 1577.68
1699.69/1705.45	c GLOBAL bounds - >= -96307 @ 1578.32
1699.79/1705.51	c GLOBAL bounds - >= -96307 @ 1578.38
1700.69/1706.40	c GLOBAL bounds - >= -96307 @ 1579.03
1700.88/1706.69	c GLOBAL bounds - >= -96307 @ 1579.31
1701.78/1707.57	c GLOBAL bounds - >= -96307 @ 1579.95
1702.08/1707.86	c GLOBAL bounds - >= -96307 @ 1580.24
1702.97/1708.75	c GLOBAL bounds - >= -96307 @ 1580.87
1703.29/1709.04	c GLOBAL bounds - >= -96307 @ 1581.16
1704.17/1709.92	c GLOBAL bounds - >= -96307 @ 1581.78
1704.48/1710.22	c GLOBAL bounds - >= -96307 @ 1582.07
1705.28/1711.10	c GLOBAL bounds - >= -96307 @ 1582.71
1705.57/1711.39	c GLOBAL bounds - >= -96307 @ 1583
1706.47/1712.28	c GLOBAL bounds - >= -96307 @ 1583.63
1706.77/1712.57	c GLOBAL bounds - >= -96307 @ 1583.93
1707.66/1713.45	c GLOBAL bounds - >= -96307 @ 1584.54
1707.97/1713.75	c GLOBAL bounds - >= -96307 @ 1584.83
1708.86/1714.63	c GLOBAL bounds - >= -96307 @ 1585.46
1709.16/1714.92	c GLOBAL bounds - >= -96307 @ 1585.75
1710.06/1715.80	c GLOBAL bounds - >= -96307 @ 1586.39
1710.45/1716.24	c GLOBAL bounds - >= -96307 @ 1586.75
1711.36/1717.12	c GLOBAL bounds - >= -96307 @ 1587.38
1711.36/1717.12	c GLOBAL bounds - >= -96307 @ 1587.38
1711.95/1717.72	c GLOBAL bounds - >= -96307 @ 1587.97
1711.95/1717.79	c GLOBAL bounds - >= -96307 @ 1588.04
1712.85/1718.67	c GLOBAL bounds - >= -96307 @ 1588.68
1713.15/1718.97	c GLOBAL bounds - >= -96307 @ 1588.97
1714.04/1719.85	c GLOBAL bounds - >= -96307 @ 1589.59
1714.36/1720.15	c GLOBAL bounds - >= -96307 @ 1589.89
1715.25/1721.03	c GLOBAL bounds - >= -96307 @ 1590.53
1715.55/1721.32	c GLOBAL bounds - >= -96307 @ 1590.82
1716.44/1722.20	c GLOBAL bounds - >= -96307 @ 1591.45
1716.73/1722.50	c GLOBAL bounds - >= -96307 @ 1591.74
1717.54/1723.37	c GLOBAL bounds - >= -96307 @ 1592.37
1717.83/1723.67	c GLOBAL bounds - >= -96307 @ 1592.66
1718.74/1724.55	c GLOBAL bounds - >= -96307 @ 1593.27
1719.04/1724.85	c GLOBAL bounds - >= -96307 @ 1593.56
1719.93/1725.73	c GLOBAL bounds - >= -96307 @ 1594.19
1720.24/1726.03	c GLOBAL bounds - >= -96307 @ 1594.49
1721.12/1726.91	c GLOBAL bounds - >= -96307 @ 1595.13
1721.43/1727.21	c GLOBAL bounds - >= -96307 @ 1595.42
1722.23/1728.08	c GLOBAL bounds - >= -96307 @ 1596.04
1722.52/1728.38	c GLOBAL bounds - >= -96307 @ 1596.33
1723.42/1729.27	c GLOBAL bounds - >= -96307 @ 1596.96
1723.42/1729.28	c GLOBAL bounds - >= -96307 @ 1596.96
1724.02/1729.88	c GLOBAL bounds - >= -96307 @ 1597.56
1724.12/1729.94	c GLOBAL bounds - >= -96307 @ 1597.62
1725.02/1730.83	c GLOBAL bounds - >= -96307 @ 1598.28
1725.32/1731.13	c GLOBAL bounds - >= -96307 @ 1598.57
1726.22/1732.01	c GLOBAL bounds - >= -96307 @ 1599.22
1726.61/1732.45	c GLOBAL bounds - >= -96307 @ 1599.58
1727.51/1733.32	c GLOBAL bounds - >= -96307 @ 1600.21
1727.81/1733.62	c GLOBAL bounds - >= -96307 @ 1600.5
1728.70/1734.51	c GLOBAL bounds - >= -96307 @ 1601.14
1729.01/1734.80	c GLOBAL bounds - >= -96307 @ 1601.43
1729.80/1735.68	c GLOBAL bounds - >= -96307 @ 1602.06
1730.11/1735.98	c GLOBAL bounds - >= -96307 @ 1602.35
1731.00/1736.86	c GLOBAL bounds - >= -96307 @ 1603
1731.31/1737.16	c GLOBAL bounds - >= -96307 @ 1603.29
1732.21/1738.04	c GLOBAL bounds - >= -96307 @ 1603.92
1732.50/1738.33	c GLOBAL bounds - >= -96307 @ 1604.21
1733.40/1739.21	c GLOBAL bounds - >= -96307 @ 1604.84
1733.69/1739.51	c GLOBAL bounds - >= -96307 @ 1605.13
1734.49/1740.38	c GLOBAL bounds - >= -96307 @ 1605.75
1734.79/1740.68	c GLOBAL bounds - >= -96307 @ 1606.05
1735.68/1741.57	c GLOBAL bounds - >= -96307 @ 1606.7
1735.68/1741.57	c GLOBAL bounds - >= -96307 @ 1606.7
1736.29/1742.17	c GLOBAL bounds - >= -96307 @ 1607.29
1736.39/1742.24	c GLOBAL bounds - >= -96307 @ 1607.36
1737.29/1743.12	c GLOBAL bounds - >= -96307 @ 1607.99
1737.58/1743.42	c GLOBAL bounds - >= -96307 @ 1608.29
1738.48/1744.31	c GLOBAL bounds - >= -96307 @ 1608.93
1738.78/1744.61	c GLOBAL bounds - >= -96307 @ 1609.22
1739.57/1745.49	c GLOBAL bounds - >= -96307 @ 1609.86
1739.87/1745.79	c GLOBAL bounds - >= -96307 @ 1610.16
1740.78/1746.67	c GLOBAL bounds - >= -96307 @ 1610.79
1741.08/1746.97	c GLOBAL bounds - >= -96307 @ 1611.08
1741.97/1747.84	c GLOBAL bounds - >= -96307 @ 1611.72
1742.27/1748.14	c GLOBAL bounds - >= -96307 @ 1612.01
1743.17/1749.02	c GLOBAL bounds - >= -96307 @ 1612.64
1743.47/1749.31	c GLOBAL bounds - >= -96307 @ 1612.92
1744.27/1750.19	c GLOBAL bounds - >= -96307 @ 1613.57
1744.56/1750.49	c GLOBAL bounds - >= -96307 @ 1613.86
1745.46/1751.37	c GLOBAL bounds - >= -96307 @ 1614.48
1745.76/1751.67	c GLOBAL bounds - >= -96307 @ 1614.78
1746.66/1752.55	c GLOBAL bounds - >= -96307 @ 1615.4
1746.95/1752.85	c GLOBAL bounds - >= -96307 @ 1615.7
1747.86/1753.73	c GLOBAL bounds - >= -96307 @ 1616.32
1747.86/1753.73	c GLOBAL bounds - >= -96307 @ 1616.32
1748.45/1754.39	c GLOBAL bounds - >= -96307 @ 1616.98
1748.75/1754.66	c GLOBAL bounds - >= -96307 @ 1617.24
1749.65/1755.54	c GLOBAL bounds - >= -96307 @ 1617.89
1749.94/1755.84	c GLOBAL bounds - >= -96307 @ 1618.18
1750.84/1756.72	c GLOBAL bounds - >= -96307 @ 1618.83
1751.14/1757.06	c GLOBAL bounds - >= -96307 @ 1619.15
1752.04/1757.94	c GLOBAL bounds - >= -96307 @ 1619.79
1752.34/1758.24	c GLOBAL bounds - >= -96307 @ 1620.1
1753.24/1759.12	c GLOBAL bounds - >= -96307 @ 1620.73
1753.54/1759.42	c GLOBAL bounds - >= -96307 @ 1621.03
1754.44/1760.30	c GLOBAL bounds - >= -96307 @ 1621.65
1754.73/1760.60	c GLOBAL bounds - >= -96307 @ 1621.95
1755.54/1761.48	c GLOBAL bounds - >= -96307 @ 1622.58
1755.84/1761.79	c GLOBAL bounds - >= -96307 @ 1622.88
1756.73/1762.67	c GLOBAL bounds - >= -96307 @ 1623.53
1757.13/1763.09	c GLOBAL bounds - >= -96307 @ 1623.9
1758.02/1763.97	c GLOBAL bounds - >= -96307 @ 1624.52
1758.32/1764.28	c GLOBAL bounds - >= -96307 @ 1624.82
1759.23/1765.16	c GLOBAL bounds - >= -96307 @ 1625.45
1759.52/1765.46	c GLOBAL bounds - >= -96307 @ 1625.75
1760.42/1766.34	c GLOBAL bounds - >= -96307 @ 1626.38
1760.42/1766.34	c GLOBAL bounds - >= -96307 @ 1626.38
1761.01/1766.95	c GLOBAL bounds - >= -96307 @ 1626.98
1761.23/1767.11	c GLOBAL bounds - >= -96307 @ 1627.14
1762.12/1768.00	c GLOBAL bounds - >= -96307 @ 1627.78
1762.41/1768.30	c GLOBAL bounds - >= -96307 @ 1628.08
1763.22/1769.18	c GLOBAL bounds - >= -96307 @ 1628.7
1763.51/1769.49	c GLOBAL bounds - >= -96307 @ 1629
1764.40/1770.38	c GLOBAL bounds - >= -96307 @ 1629.63
1764.71/1770.68	c GLOBAL bounds - >= -96307 @ 1629.93
1765.60/1771.56	c GLOBAL bounds - >= -96307 @ 1630.55
1765.90/1771.87	c GLOBAL bounds - >= -96307 @ 1630.85
1766.80/1772.76	c GLOBAL bounds - >= -96307 @ 1631.47
1767.11/1773.06	c GLOBAL bounds - >= -96307 @ 1631.77
1768.00/1773.94	c GLOBAL bounds - >= -96307 @ 1632.42
1768.30/1774.24	c GLOBAL bounds - >= -96307 @ 1632.72
1769.20/1775.13	c GLOBAL bounds - >= -96307 @ 1633.35
1769.49/1775.43	c GLOBAL bounds - >= -96307 @ 1633.65
1770.39/1776.31	c GLOBAL bounds - >= -96307 @ 1634.29
1770.69/1776.62	c GLOBAL bounds - >= -96307 @ 1634.59
1771.59/1777.50	c GLOBAL bounds - >= -96307 @ 1635.21
1771.89/1777.81	c GLOBAL bounds - >= -96307 @ 1635.51
1772.68/1778.69	c GLOBAL bounds - >= -96307 @ 1636.15
1772.68/1778.69	c GLOBAL bounds - >= -96307 @ 1636.15
1773.29/1779.29	c GLOBAL bounds - >= -96307 @ 1636.74
1773.48/1779.45	c GLOBAL bounds - >= -96307 @ 1636.9
1774.38/1780.33	c GLOBAL bounds - >= -96307 @ 1637.53
1774.68/1780.63	c GLOBAL bounds - >= -96307 @ 1637.83
1775.58/1781.51	c GLOBAL bounds - >= -96307 @ 1638.47
1775.87/1781.82	c GLOBAL bounds - >= -96307 @ 1638.77
1776.78/1782.70	c GLOBAL bounds - >= -96307 @ 1639.4
1777.08/1783.00	c GLOBAL bounds - >= -96307 @ 1639.71
1777.87/1783.88	c GLOBAL bounds - >= -96307 @ 1640.34
1778.17/1784.19	c GLOBAL bounds - >= -96307 @ 1640.64
1779.08/1785.07	c GLOBAL bounds - >= -96307 @ 1641.27
1779.37/1785.38	c GLOBAL bounds - >= -96307 @ 1641.57
1780.26/1786.26	c GLOBAL bounds - >= -96307 @ 1642.2
1780.56/1786.57	c GLOBAL bounds - >= -96307 @ 1642.5
1781.46/1787.44	c GLOBAL bounds - >= -96307 @ 1643.12
1781.76/1787.72	c GLOBAL bounds - >= -96307 @ 1643.39
1782.65/1788.60	c GLOBAL bounds - >= -96307 @ 1644.03
1782.96/1788.99	c GLOBAL bounds - >= -96307 @ 1644.41
1783.86/1789.87	c GLOBAL bounds - >= -96307 @ 1645.06
1784.16/1790.18	c GLOBAL bounds - >= -96307 @ 1645.36
1785.05/1791.05	c GLOBAL bounds - >= -96307 @ 1646.01
1785.05/1791.05	c GLOBAL bounds - >= -96307 @ 1646.01
1785.65/1791.66	c GLOBAL bounds - >= -96307 @ 1646.61
1785.85/1791.83	c GLOBAL bounds - >= -96307 @ 1646.78
1786.74/1792.71	c GLOBAL bounds - >= -96307 @ 1647.41
1787.05/1793.02	c GLOBAL bounds - >= -96307 @ 1647.71
1787.94/1793.90	c GLOBAL bounds - >= -96307 @ 1648.34
1788.24/1794.21	c GLOBAL bounds - >= -96307 @ 1648.65
1789.04/1795.09	c GLOBAL bounds - >= -96307 @ 1649.28
1789.33/1795.40	c GLOBAL bounds - >= -96307 @ 1649.59
1790.24/1796.28	c GLOBAL bounds - >= -96307 @ 1650.2
1790.54/1796.59	c GLOBAL bounds - >= -96307 @ 1650.51
1791.43/1797.47	c GLOBAL bounds - >= -96307 @ 1651.16
1791.73/1797.78	c GLOBAL bounds - >= -96307 @ 1651.46
1792.63/1798.66	c GLOBAL bounds - >= -96307 @ 1652.09
1792.92/1798.97	c GLOBAL bounds - >= -96307 @ 1652.4
1793.82/1799.84	c GLOBAL bounds - >= -96307 @ 1653.01
1794.13/1800.15	c GLOBAL bounds - >= -96307 @ 1653.31
1795.03/1801.04	c GLOBAL bounds - >= -96307 @ 1653.94
1795.32/1801.35	c GLOBAL bounds - >= -96307 @ 1654.24
1796.21/1802.22	c GLOBAL bounds - >= -96307 @ 1654.86
1796.52/1802.53	c GLOBAL bounds - >= -96307 @ 1655.16
1797.42/1803.40	c GLOBAL bounds - >= -96307 @ 1655.78
1797.42/1803.41	c GLOBAL bounds - >= -96307 @ 1655.78
1798.02/1804.02	c GLOBAL bounds - >= -96307 @ 1656.39
1798.02/1804.10	c GLOBAL bounds - >= -96307 @ 1656.47
1798.91/1804.98	c GLOBAL bounds - >= -96307 @ 1657.11
1799.41/1805.43	c GLOBAL bounds - >= -96307 @ 1657.48
1800.31/1806.31	c GLOBAL bounds - >= -96307 @ 1658.12
1800.71/1806.77	c GLOBAL bounds - >= -96307 @ 1658.5
1801.60/1807.65	c GLOBAL bounds - >= -96307 @ 1659.13
1801.90/1807.96	c GLOBAL bounds - >= -96307 @ 1659.44
1802.80/1808.84	c GLOBAL bounds - >= -96307 @ 1660.05
1803.10/1809.15	c GLOBAL bounds - >= -96307 @ 1660.36
1804.00/1810.03	c GLOBAL bounds - >= -96307 @ 1661
1804.29/1810.34	c GLOBAL bounds - >= -96307 @ 1661.3
1805.19/1811.22	c GLOBAL bounds - >= -96307 @ 1661.93
1805.49/1811.52	c GLOBAL bounds - >= -96307 @ 1662.23
1806.38/1812.42	c GLOBAL bounds - >= -96307 @ 1662.87
1806.69/1812.74	c GLOBAL bounds - >= -96307 @ 1663.18
1807.59/1813.62	c GLOBAL bounds - >= -96307 @ 1663.8
1807.88/1813.94	c GLOBAL bounds - >= -96307 @ 1664.11
1808.78/1814.82	c GLOBAL bounds - >= -96307 @ 1664.74
1809.08/1815.14	c GLOBAL bounds - >= -96307 @ 1665.05
1809.98/1816.02	c GLOBAL bounds - >= -96307 @ 1665.68
1809.98/1816.02	c GLOBAL bounds - >= -96307 @ 1665.68
1810.58/1816.64	c GLOBAL bounds - >= -96307 @ 1666.29
1810.67/1816.72	c GLOBAL bounds - >= -96307 @ 1666.37
1811.57/1817.60	c GLOBAL bounds - >= -96307 @ 1667
1811.87/1817.92	c GLOBAL bounds - >= -96307 @ 1667.31
1812.77/1818.81	c GLOBAL bounds - >= -96307 @ 1667.97
1813.08/1819.12	c GLOBAL bounds - >= -96307 @ 1668.28
1813.98/1820.01	c GLOBAL bounds - >= -96307 @ 1668.92
1814.27/1820.32	c GLOBAL bounds - >= -96307 @ 1669.23
1815.17/1821.20	c GLOBAL bounds - >= -96307 @ 1669.86
1815.46/1821.52	c GLOBAL bounds - >= -96307 @ 1670.17
1816.35/1822.42	c GLOBAL bounds - >= -96307 @ 1670.8
1816.66/1822.73	c GLOBAL bounds - >= -96307 @ 1671.11
1817.55/1823.61	c GLOBAL bounds - >= -96307 @ 1671.73
1817.85/1823.93	c GLOBAL bounds - >= -96307 @ 1672.04
1818.75/1824.81	c GLOBAL bounds - >= -96307 @ 1672.66
1819.06/1825.13	c GLOBAL bounds - >= -96307 @ 1672.97
1819.95/1826.02	c GLOBAL bounds - >= -96307 @ 1673.6
1820.24/1826.34	c GLOBAL bounds - >= -96307 @ 1673.92
1821.14/1827.22	c GLOBAL bounds - >= -96307 @ 1674.55
1821.44/1827.55	c GLOBAL bounds - >= -96307 @ 1674.87
1822.34/1828.43	c GLOBAL bounds - >= -96307 @ 1675.51
1822.34/1828.43	c GLOBAL bounds - >= -96307 @ 1675.51
1822.94/1829.05	c GLOBAL bounds - >= -96307 @ 1676.12
1823.13/1829.23	c GLOBAL bounds - >= -96307 @ 1676.29
1824.04/1830.10	c GLOBAL bounds - >= -96307 @ 1676.92
1824.33/1830.42	c GLOBAL bounds - >= -96307 @ 1677.24
1825.22/1831.31	c GLOBAL bounds - >= -96307 @ 1677.87
1825.53/1831.63	c GLOBAL bounds - >= -96307 @ 1678.18
1826.43/1832.50	c GLOBAL bounds - >= -96307 @ 1678.79
1826.73/1832.82	c GLOBAL bounds - >= -96307 @ 1679.1
1827.62/1833.70	c GLOBAL bounds - >= -96307 @ 1679.74
1827.92/1834.02	c GLOBAL bounds - >= -96307 @ 1680.06
1828.81/1834.90	c GLOBAL bounds - >= -96307 @ 1680.68
1829.12/1835.22	c GLOBAL bounds - >= -96307 @ 1681
1830.02/1836.10	c GLOBAL bounds - >= -96307 @ 1681.62
1830.31/1836.42	c GLOBAL bounds - >= -96307 @ 1681.93
1831.21/1837.30	c GLOBAL bounds - >= -96307 @ 1682.57
1831.51/1837.62	c GLOBAL bounds - >= -96307 @ 1682.89
1832.41/1838.50	c GLOBAL bounds - >= -96307 @ 1683.52
1832.71/1838.82	c GLOBAL bounds - >= -96307 @ 1683.84
1833.61/1839.70	c GLOBAL bounds - >= -96307 @ 1684.46
1833.91/1840.02	c GLOBAL bounds - >= -96307 @ 1684.77
1834.81/1840.91	c GLOBAL bounds - >= -96307 @ 1685.4
1834.81/1840.91	c GLOBAL bounds - >= -96307 @ 1685.4
1835.40/1841.53	c GLOBAL bounds - >= -96307 @ 1686.02
1835.60/1841.71	c GLOBAL bounds - >= -96307 @ 1686.19
1836.39/1842.59	c GLOBAL bounds - >= -96307 @ 1686.83
1836.79/1842.91	c GLOBAL bounds - >= -96307 @ 1687.14
1837.69/1843.80	c GLOBAL bounds - >= -96307 @ 1687.79
1837.99/1844.12	c GLOBAL bounds - >= -96307 @ 1688.1
1838.78/1844.99	c GLOBAL bounds - >= -96307 @ 1688.74
1839.19/1845.32	c GLOBAL bounds - >= -96307 @ 1689.05
1840.09/1846.20	c GLOBAL bounds - >= -96307 @ 1689.68
1840.38/1846.52	c GLOBAL bounds - >= -96307 @ 1690
1841.28/1847.40	c GLOBAL bounds - >= -96307 @ 1690.61
1841.58/1847.72	c GLOBAL bounds - >= -96307 @ 1690.92
1842.48/1848.60	c GLOBAL bounds - >= -96307 @ 1691.54
1842.77/1848.93	c GLOBAL bounds - >= -96307 @ 1691.86
1843.67/1849.81	c GLOBAL bounds - >= -96307 @ 1692.5
1843.98/1850.13	c GLOBAL bounds - >= -96307 @ 1692.82
1844.87/1851.01	c GLOBAL bounds - >= -96307 @ 1693.44
1845.17/1851.34	c GLOBAL bounds - >= -96307 @ 1693.76
1846.07/1852.21	c GLOBAL bounds - >= -96307 @ 1694.37
1846.36/1852.53	c GLOBAL bounds - >= -96307 @ 1694.69
1847.26/1853.43	c GLOBAL bounds - >= -96307 @ 1695.32
1847.26/1853.44	c GLOBAL bounds - >= -96307 @ 1695.32
1847.86/1854.06	c GLOBAL bounds - >= -96307 @ 1695.94
1848.05/1854.24	c GLOBAL bounds - >= -96307 @ 1696.12
1848.96/1855.13	c GLOBAL bounds - >= -96307 @ 1696.74
1849.25/1855.45	c GLOBAL bounds - >= -96307 @ 1697.06
1850.14/1856.34	c GLOBAL bounds - >= -96307 @ 1697.69
1850.45/1856.66	c GLOBAL bounds - >= -96307 @ 1698.01
1851.34/1857.54	c GLOBAL bounds - >= -96307 @ 1698.63
1851.65/1857.86	c GLOBAL bounds - >= -96307 @ 1698.94
1852.54/1858.75	c GLOBAL bounds - >= -96307 @ 1699.57
1852.85/1859.07	c GLOBAL bounds - >= -96307 @ 1699.89
1853.74/1859.95	c GLOBAL bounds - >= -96307 @ 1700.52
1854.04/1860.27	c GLOBAL bounds - >= -96307 @ 1700.83
1854.94/1861.15	c GLOBAL bounds - >= -96307 @ 1701.45
1855.23/1861.48	c GLOBAL bounds - >= -96307 @ 1701.77
1856.13/1862.36	c GLOBAL bounds - >= -96307 @ 1702.4
1856.43/1862.67	c GLOBAL bounds - >= -96307 @ 1702.7
1857.33/1863.55	c GLOBAL bounds - >= -96307 @ 1703.33
1857.63/1863.87	c GLOBAL bounds - >= -96307 @ 1703.65
1858.52/1864.75	c GLOBAL bounds - >= -96307 @ 1704.26
1858.83/1865.08	c GLOBAL bounds - >= -96307 @ 1704.58
1859.72/1865.96	c GLOBAL bounds - >= -96307 @ 1705.2
1859.72/1865.96	c GLOBAL bounds - >= -96307 @ 1705.2
1860.32/1866.59	c GLOBAL bounds - >= -96307 @ 1705.82
1860.42/1866.68	c GLOBAL bounds - >= -96307 @ 1705.92
1861.32/1867.57	c GLOBAL bounds - >= -96307 @ 1706.54
1861.62/1867.89	c GLOBAL bounds - >= -96307 @ 1706.86
1862.52/1868.78	c GLOBAL bounds - >= -96307 @ 1707.49
1862.92/1869.10	c GLOBAL bounds - >= -96307 @ 1707.81
1863.71/1869.99	c GLOBAL bounds - >= -96307 @ 1708.44
1864.10/1870.31	c GLOBAL bounds - >= -96307 @ 1708.76
1865.01/1871.20	c GLOBAL bounds - >= -96307 @ 1709.41
1865.31/1871.52	c GLOBAL bounds - >= -96307 @ 1709.73
1866.20/1872.41	c GLOBAL bounds - >= -96307 @ 1710.36
1866.50/1872.74	c GLOBAL bounds - >= -96307 @ 1710.68
1867.40/1873.62	c GLOBAL bounds - >= -96307 @ 1711.31
1867.70/1873.94	c GLOBAL bounds - >= -96307 @ 1711.63
1868.60/1874.83	c GLOBAL bounds - >= -96307 @ 1712.26
1868.90/1875.15	c GLOBAL bounds - >= -96307 @ 1712.59
1869.80/1876.04	c GLOBAL bounds - >= -96307 @ 1713.23
1870.09/1876.36	c GLOBAL bounds - >= -96307 @ 1713.55
1870.99/1877.23	c GLOBAL bounds - >= -96307 @ 1714.16
1871.29/1877.56	c GLOBAL bounds - >= -96307 @ 1714.48
1872.19/1878.43	c GLOBAL bounds - >= -96307 @ 1715.11
1872.19/1878.44	c GLOBAL bounds - >= -96307 @ 1715.11
1872.79/1879.06	c GLOBAL bounds - >= -96307 @ 1715.73
1872.89/1879.15	c GLOBAL bounds - >= -96307 @ 1715.82
1873.79/1880.03	c GLOBAL bounds - >= -96307 @ 1716.46
1874.08/1880.36	c GLOBAL bounds - >= -96307 @ 1716.79
1874.98/1881.24	c GLOBAL bounds - >= -96307 @ 1717.41
1875.28/1881.56	c GLOBAL bounds - >= -96307 @ 1717.73
1876.17/1882.44	c GLOBAL bounds - >= -96307 @ 1718.34
1876.48/1882.77	c GLOBAL bounds - >= -96307 @ 1718.66
1877.37/1883.64	c GLOBAL bounds - >= -96307 @ 1719.3
1877.67/1883.97	c GLOBAL bounds - >= -96307 @ 1719.63
1878.57/1884.85	c GLOBAL bounds - >= -96307 @ 1720.25
1878.87/1885.18	c GLOBAL bounds - >= -96307 @ 1720.57
1879.77/1886.05	c GLOBAL bounds - >= -96307 @ 1721.21
1880.07/1886.38	c GLOBAL bounds - >= -96307 @ 1721.53
1880.96/1887.25	c GLOBAL bounds - >= -96307 @ 1722.18
1881.26/1887.57	c GLOBAL bounds - >= -96307 @ 1722.5
1882.16/1888.45	c GLOBAL bounds - >= -96307 @ 1723.11
1882.46/1888.78	c GLOBAL bounds - >= -96307 @ 1723.43
1883.36/1889.66	c GLOBAL bounds - >= -96307 @ 1724.08
1883.66/1889.98	c GLOBAL bounds - >= -96307 @ 1724.4
1884.55/1890.84	c GLOBAL bounds - >= -96307 @ 1725.02
1884.55/1890.84	c GLOBAL bounds - >= -96307 @ 1725.02
1885.16/1891.46	c GLOBAL bounds - >= -96307 @ 1725.63
1885.25/1891.55	c GLOBAL bounds - >= -96307 @ 1725.73
1886.15/1892.43	c GLOBAL bounds - >= -96307 @ 1726.35
1886.44/1892.75	c GLOBAL bounds - >= -96307 @ 1726.67
1887.34/1893.62	c GLOBAL bounds - >= -96307 @ 1727.29
1887.64/1893.94	c GLOBAL bounds - >= -96307 @ 1727.6
1888.54/1894.80	c GLOBAL bounds - >= -96307 @ 1728.23
1888.85/1895.14	c GLOBAL bounds - >= -96307 @ 1728.56
1889.74/1896.01	c GLOBAL bounds - >= -96307 @ 1729.19
1890.04/1896.33	c GLOBAL bounds - >= -96307 @ 1729.51
1890.94/1897.20	c GLOBAL bounds - >= -96307 @ 1730.12
1891.23/1897.53	c GLOBAL bounds - >= -96307 @ 1730.45
1892.13/1898.41	c GLOBAL bounds - >= -96307 @ 1731.07
1892.43/1898.73	c GLOBAL bounds - >= -96307 @ 1731.39
1893.33/1899.60	c GLOBAL bounds - >= -96307 @ 1732
1893.63/1899.95	c GLOBAL bounds - >= -96307 @ 1732.33
1894.53/1900.82	c GLOBAL bounds - >= -96307 @ 1732.95
1894.83/1901.15	c GLOBAL bounds - >= -96307 @ 1733.28
1895.72/1902.02	c GLOBAL bounds - >= -96307 @ 1733.91
1896.03/1902.35	c GLOBAL bounds - >= -96307 @ 1734.24
1898.11/1904.47	c GLOBAL bounds - >= -96307 @ 1736.1
1898.11/1904.47	c GLOBAL bounds - >= -96307 @ 1736.1
1898.81/1905.17	c GLOBAL bounds - >= -96307 @ 1736.79
1899.11/1905.44	c GLOBAL bounds - >= -96307 @ 1737.06
1900.01/1906.33	c GLOBAL bounds - >= -96307 @ 1737.67
1900.11/1906.45	c GLOBAL bounds - >= -96307 @ 1737.8
1901.01/1907.32	c GLOBAL bounds - >= -96307 @ 1738.43
1901.31/1907.62	c GLOBAL bounds - >= -96307 @ 1738.73
1902.10/1908.49	c GLOBAL bounds - >= -96307 @ 1739.35
1902.30/1908.62	c GLOBAL bounds - >= -96307 @ 1739.47
1903.10/1909.49	c GLOBAL bounds - >= -96307 @ 1740.11
1903.40/1909.79	c GLOBAL bounds - >= -96307 @ 1740.4
1904.29/1910.67	c GLOBAL bounds - >= -96307 @ 1741.03
1904.70/1911.03	c GLOBAL bounds - >= -96307 @ 1741.39
1905.59/1911.90	c GLOBAL bounds - >= -96307 @ 1742.01
1905.89/1912.20	c GLOBAL bounds - >= -96307 @ 1742.3
1906.69/1913.07	c GLOBAL bounds - >= -96307 @ 1742.93
1906.89/1913.20	c GLOBAL bounds - >= -96307 @ 1743.06
1907.69/1914.07	c GLOBAL bounds - >= -96307 @ 1743.68
1907.98/1914.37	c GLOBAL bounds - >= -96307 @ 1743.98
1908.88/1915.25	c GLOBAL bounds - >= -96307 @ 1744.6
1909.18/1915.56	c GLOBAL bounds - >= -96307 @ 1744.9
1910.08/1916.43	c GLOBAL bounds - >= -96307 @ 1745.53
1910.08/1916.43	c GLOBAL bounds - >= -96307 @ 1745.53
1910.69/1917.03	c GLOBAL bounds - >= -96307 @ 1746.12
1910.69/1917.10	c GLOBAL bounds - >= -96307 @ 1746.19
1911.57/1917.98	c GLOBAL bounds - >= -96307 @ 1746.81
1911.78/1918.10	c GLOBAL bounds - >= -96307 @ 1746.93
1912.57/1918.97	c GLOBAL bounds - >= -96307 @ 1747.54
1912.87/1919.27	c GLOBAL bounds - >= -96307 @ 1747.83
1913.77/1920.14	c GLOBAL bounds - >= -96307 @ 1748.46
1914.07/1920.45	c GLOBAL bounds - >= -96307 @ 1748.76
1914.97/1921.32	c GLOBAL bounds - >= -96307 @ 1749.38
1915.26/1921.61	c GLOBAL bounds - >= -96307 @ 1749.67
1916.06/1922.49	c GLOBAL bounds - >= -96307 @ 1750.29
1916.36/1922.79	c GLOBAL bounds - >= -96307 @ 1750.59
1917.25/1923.66	c GLOBAL bounds - >= -96307 @ 1751.21
1917.56/1923.96	c GLOBAL bounds - >= -96307 @ 1751.5
1918.45/1924.83	c GLOBAL bounds - >= -96307 @ 1752.13
1918.76/1925.14	c GLOBAL bounds - >= -96307 @ 1752.43
1919.66/1926.01	c GLOBAL bounds - >= -96307 @ 1753.05
1919.95/1926.30	c GLOBAL bounds - >= -96307 @ 1753.34
1920.75/1927.18	c GLOBAL bounds - >= -96307 @ 1753.96
1921.05/1927.48	c GLOBAL bounds - >= -96307 @ 1754.27
1921.94/1928.35	c GLOBAL bounds - >= -96307 @ 1754.87
1921.94/1928.35	c GLOBAL bounds - >= -96307 @ 1754.87
1922.54/1928.95	c GLOBAL bounds - >= -96307 @ 1755.46
1922.65/1929.03	c GLOBAL bounds - >= -96307 @ 1755.53
1923.54/1929.90	c GLOBAL bounds - >= -96307 @ 1756.16
1923.84/1930.20	c GLOBAL bounds - >= -96307 @ 1756.45
1924.64/1931.07	c GLOBAL bounds - >= -96307 @ 1757.06
1924.93/1931.38	c GLOBAL bounds - >= -96307 @ 1757.37
1925.84/1932.25	c GLOBAL bounds - >= -96307 @ 1757.98
1926.13/1932.54	c GLOBAL bounds - >= -96307 @ 1758.27
1927.03/1933.41	c GLOBAL bounds - >= -96307 @ 1758.89
1927.34/1933.72	c GLOBAL bounds - >= -96307 @ 1759.19
1928.13/1934.59	c GLOBAL bounds - >= -96307 @ 1759.82
1928.43/1934.89	c GLOBAL bounds - >= -96307 @ 1760.11
1929.33/1935.76	c GLOBAL bounds - >= -96307 @ 1760.76
1929.63/1936.07	c GLOBAL bounds - >= -96307 @ 1761.06
1930.53/1936.94	c GLOBAL bounds - >= -96307 @ 1761.67
1930.82/1937.24	c GLOBAL bounds - >= -96307 @ 1761.96
1931.72/1938.11	c GLOBAL bounds - >= -96307 @ 1762.61
1932.01/1938.41	c GLOBAL bounds - >= -96307 @ 1762.91
1932.82/1939.28	c GLOBAL bounds - >= -96307 @ 1763.53
1933.12/1939.58	c GLOBAL bounds - >= -96307 @ 1763.82
1934.01/1940.45	c GLOBAL bounds - >= -96307 @ 1764.44
1934.01/1940.45	c GLOBAL bounds - >= -96307 @ 1764.44
1934.62/1941.05	c GLOBAL bounds - >= -96307 @ 1765.03
1934.71/1941.13	c GLOBAL bounds - >= -96307 @ 1765.11
1935.61/1942.00	c GLOBAL bounds - >= -96307 @ 1765.73
1935.91/1942.31	c GLOBAL bounds - >= -96307 @ 1766.03
1936.71/1943.18	c GLOBAL bounds - >= -96307 @ 1766.65
1937.00/1943.49	c GLOBAL bounds - >= -96307 @ 1766.95
1937.90/1944.36	c GLOBAL bounds - >= -96307 @ 1767.58
1938.20/1944.67	c GLOBAL bounds - >= -96307 @ 1767.88
1939.09/1945.54	c GLOBAL bounds - >= -96307 @ 1768.49
1939.40/1945.84	c GLOBAL bounds - >= -96307 @ 1768.79
1940.30/1946.72	c GLOBAL bounds - >= -96307 @ 1769.41
1940.60/1947.03	c GLOBAL bounds - >= -96307 @ 1769.72
1941.49/1947.90	c GLOBAL bounds - >= -96307 @ 1770.33
1941.79/1948.20	c GLOBAL bounds - >= -96307 @ 1770.63
1942.59/1949.07	c GLOBAL bounds - >= -96307 @ 1771.26
1942.88/1949.38	c GLOBAL bounds - >= -96307 @ 1771.56
1943.78/1950.26	c GLOBAL bounds - >= -96307 @ 1772.2
1944.08/1950.57	c GLOBAL bounds - >= -96307 @ 1772.5
1944.98/1951.44	c GLOBAL bounds - >= -96307 @ 1773.13
1945.28/1951.76	c GLOBAL bounds - >= -96307 @ 1773.43
1946.18/1952.63	c GLOBAL bounds - >= -96307 @ 1774.07
1946.18/1952.64	c GLOBAL bounds - >= -96307 @ 1774.07
1946.78/1953.24	c GLOBAL bounds - >= -96307 @ 1774.67
1946.88/1953.32	c GLOBAL bounds - >= -96307 @ 1774.75
1947.68/1954.20	c GLOBAL bounds - >= -96307 @ 1775.39
1948.07/1954.50	c GLOBAL bounds - >= -96307 @ 1775.69
1948.87/1955.37	c GLOBAL bounds - >= -96307 @ 1776.32
1949.17/1955.68	c GLOBAL bounds - >= -96307 @ 1776.62
1950.07/1956.55	c GLOBAL bounds - >= -96307 @ 1777.24
1950.37/1956.85	c GLOBAL bounds - >= -96307 @ 1777.54
1951.26/1957.72	c GLOBAL bounds - >= -96307 @ 1778.16
1951.57/1958.03	c GLOBAL bounds - >= -96307 @ 1778.47
1952.46/1958.91	c GLOBAL bounds - >= -96307 @ 1779.09
1952.76/1959.21	c GLOBAL bounds - >= -96307 @ 1779.39
1953.56/1960.09	c GLOBAL bounds - >= -96307 @ 1780
1953.96/1960.40	c GLOBAL bounds - >= -96307 @ 1780.31
1954.76/1961.27	c GLOBAL bounds - >= -96307 @ 1780.93
1955.06/1961.58	c GLOBAL bounds - >= -96307 @ 1781.23
1955.96/1962.45	c GLOBAL bounds - >= -96307 @ 1781.84
1956.25/1962.77	c GLOBAL bounds - >= -96307 @ 1782.14
1957.14/1963.64	c GLOBAL bounds - >= -96307 @ 1782.76
1957.45/1963.95	c GLOBAL bounds - >= -96307 @ 1783.07
1958.35/1964.82	c GLOBAL bounds - >= -96307 @ 1783.69
1958.35/1964.82	c GLOBAL bounds - >= -96307 @ 1783.69
1958.95/1965.42	c GLOBAL bounds - >= -96307 @ 1784.28
1959.04/1965.50	c GLOBAL bounds - >= -96307 @ 1784.36
1959.84/1966.37	c GLOBAL bounds - >= -96307 @ 1784.97
1960.14/1966.68	c GLOBAL bounds - >= -96307 @ 1785.28
1961.04/1967.55	c GLOBAL bounds - >= -96307 @ 1785.9
1961.33/1967.86	c GLOBAL bounds - >= -96307 @ 1786.2
1962.23/1968.73	c GLOBAL bounds - >= -96307 @ 1786.82
1962.53/1969.05	c GLOBAL bounds - >= -96307 @ 1787.13
1963.43/1969.92	c GLOBAL bounds - >= -96307 @ 1787.76
1963.73/1970.23	c GLOBAL bounds - >= -96307 @ 1788.07
1964.53/1971.10	c GLOBAL bounds - >= -96307 @ 1788.69
1964.92/1971.41	c GLOBAL bounds - >= -96307 @ 1789
1965.73/1972.28	c GLOBAL bounds - >= -96307 @ 1789.63
1966.12/1972.60	c GLOBAL bounds - >= -96307 @ 1789.94
1966.92/1973.47	c GLOBAL bounds - >= -96307 @ 1790.57
1967.22/1973.78	c GLOBAL bounds - >= -96307 @ 1790.87
1968.12/1974.65	c GLOBAL bounds - >= -96307 @ 1791.5
1968.41/1974.97	c GLOBAL bounds - >= -96307 @ 1791.8
1969.31/1975.84	c GLOBAL bounds - >= -96307 @ 1792.45
1969.62/1976.15	c GLOBAL bounds - >= -96307 @ 1792.75
1970.52/1977.02	c GLOBAL bounds - >= -96307 @ 1793.39
1970.52/1977.02	c GLOBAL bounds - >= -96307 @ 1793.39
1971.11/1977.62	c GLOBAL bounds - >= -96307 @ 1793.98
1971.21/1977.70	c GLOBAL bounds - >= -96307 @ 1794.06
1972.01/1978.58	c GLOBAL bounds - >= -96307 @ 1794.7
1973.61/1980.18	c GLOBAL bounds - >= -96307 @ 1796.28
1974.51/1981.06	c GLOBAL bounds - >= -96307 @ 1796.9
1974.80/1981.37	c GLOBAL bounds - >= -96307 @ 1797.22
1975.69/1982.24	c GLOBAL bounds - >= -96307 @ 1797.84
1976.60/1983.11	c GLOBAL bounds - >= -96307 @ 1798.69
1977.39/1983.98	c GLOBAL bounds - >= -96307 @ 1799.3
1977.79/1984.30	c GLOBAL bounds - >= -96307 @ 1799.62
1978.59/1985.17	c GLOBAL bounds - >= -96307 @ 1800.22
1978.89/1985.48	c GLOBAL bounds - >= -96307 @ 1800.53
1979.78/1986.35	c GLOBAL bounds - >= -96307 @ 1801.16
1980.08/1986.67	c GLOBAL bounds - >= -96307 @ 1801.48
1980.98/1987.54	c GLOBAL bounds - >= -96307 @ 1802.11
1981.28/1987.85	c GLOBAL bounds - >= -96307 @ 1802.42
1982.18/1988.73	c GLOBAL bounds - >= -96307 @ 1803.03
1982.48/1989.05	c GLOBAL bounds - >= -96307 @ 1803.35
1983.38/1989.92	c GLOBAL bounds - >= -96307 @ 1803.95
1983.67/1990.23	c GLOBAL bounds - >= -96307 @ 1804.26
1984.57/1991.12	c GLOBAL bounds - >= -96307 @ 1804.87
1984.57/1991.12	c GLOBAL bounds - >= -96307 @ 1804.87
1985.17/1991.73	c GLOBAL bounds - >= -96307 @ 1805.48
1985.27/1991.82	c GLOBAL bounds - >= -96307 @ 1805.56
1986.06/1992.69	c GLOBAL bounds - >= -96307 @ 1806.19
1986.47/1993.01	c GLOBAL bounds - >= -96307 @ 1806.5
1987.26/1993.89	c GLOBAL bounds - >= -96307 @ 1807.12
1987.66/1994.21	c GLOBAL bounds - >= -96307 @ 1807.44
1988.46/1995.08	c GLOBAL bounds - >= -96307 @ 1808.08
1988.86/1995.40	c GLOBAL bounds - >= -96307 @ 1808.4
1989.66/1996.27	c GLOBAL bounds - >= -96307 @ 1809.04
1990.05/1996.60	c GLOBAL bounds - >= -96307 @ 1809.36
1990.86/1997.47	c GLOBAL bounds - >= -96307 @ 1809.98
1991.15/1997.79	c GLOBAL bounds - >= -96307 @ 1810.29
1992.05/1998.66	c GLOBAL bounds - >= -96307 @ 1810.93
1992.35/1998.98	c GLOBAL bounds - >= -96307 @ 1811.25
1993.25/1999.85	c GLOBAL bounds - >= -96307 @ 1811.87
1993.56/2000.17	c GLOBAL bounds - >= -96307 @ 1812.17
1994.45/2001.04	c GLOBAL bounds - >= -96307 @ 1812.79
1994.74/2001.37	c GLOBAL bounds - >= -96307 @ 1813.11
1995.64/2002.24	c GLOBAL bounds - >= -96307 @ 1813.72
1995.94/2002.55	c GLOBAL bounds - >= -96307 @ 1814.04
1996.83/2003.43	c GLOBAL bounds - >= -96307 @ 1814.67
1996.83/2003.43	c GLOBAL bounds - >= -96307 @ 1814.67
1997.44/2004.04	c GLOBAL bounds - >= -96307 @ 1815.28
1997.54/2004.13	c GLOBAL bounds - >= -96307 @ 1815.36
1998.33/2005.00	c GLOBAL bounds - >= -96307 @ 1815.96
1998.73/2005.33	c GLOBAL bounds - >= -96307 @ 1816.27
1999.63/2006.20	c GLOBAL bounds - >= -96307 @ 1816.89
1999.93/2006.52	c GLOBAL bounds - >= -96307 @ 1817.2
2000.73/2007.39	c GLOBAL bounds - >= -96307 @ 1817.81
2001.13/2007.72	c GLOBAL bounds - >= -96307 @ 1818.12
2001.92/2008.59	c GLOBAL bounds - >= -96307 @ 1818.75
2002.32/2008.91	c GLOBAL bounds - >= -96307 @ 1819.06
2003.12/2009.78	c GLOBAL bounds - >= -96307 @ 1819.67
2003.42/2010.10	c GLOBAL bounds - >= -96307 @ 1819.99
2004.32/2010.97	c GLOBAL bounds - >= -96307 @ 1820.61
2004.62/2011.29	c GLOBAL bounds - >= -96307 @ 1820.92
2005.52/2012.16	c GLOBAL bounds - >= -96307 @ 1821.55
2005.81/2012.48	c GLOBAL bounds - >= -96307 @ 1821.86
2006.71/2013.35	c GLOBAL bounds - >= -96307 @ 1822.49
2007.00/2013.66	c GLOBAL bounds - >= -96307 @ 1822.79
2007.90/2014.53	c GLOBAL bounds - >= -96307 @ 1823.44
2008.20/2014.86	c GLOBAL bounds - >= -96307 @ 1823.76
2009.10/2015.73	c GLOBAL bounds - >= -96307 @ 1824.38
2009.10/2015.73	c GLOBAL bounds - >= -96307 @ 1824.38
2009.70/2016.35	c GLOBAL bounds - >= -96307 @ 1825
2009.80/2016.44	c GLOBAL bounds - >= -96307 @ 1825.09
2010.69/2017.32	c GLOBAL bounds - >= -96307 @ 1825.7
2011.00/2017.63	c GLOBAL bounds - >= -96307 @ 1826.01
2011.90/2018.51	c GLOBAL bounds - >= -96307 @ 1826.62
2012.19/2018.83	c GLOBAL bounds - >= -96307 @ 1826.94
2013.09/2019.70	c GLOBAL bounds - >= -96307 @ 1827.55
2013.40/2020.02	c GLOBAL bounds - >= -96307 @ 1827.86
2014.19/2020.89	c GLOBAL bounds - >= -96307 @ 1828.47
2014.58/2021.21	c GLOBAL bounds - >= -96307 @ 1828.78
2015.39/2022.08	c GLOBAL bounds - >= -96307 @ 1829.4
2015.79/2022.40	c GLOBAL bounds - >= -96307 @ 1829.72
2016.58/2023.27	c GLOBAL bounds - >= -96307 @ 1830.33
2016.98/2023.60	c GLOBAL bounds - >= -96307 @ 1830.65
2017.77/2024.47	c GLOBAL bounds - >= -96307 @ 1831.28
2018.77/2025.41	c GLOBAL bounds - >= -96307 @ 1832.21
2019.57/2026.28	c GLOBAL bounds - >= -96307 @ 1832.84
2019.77/2026.49	c GLOBAL bounds - >= -96307 @ 1833.05
2020.67/2027.37	c GLOBAL bounds - >= -96307 @ 1833.68
2021.27/2027.95	c GLOBAL bounds - >= -96307 @ 1834.25
2022.16/2028.82	c GLOBAL bounds - >= -96307 @ 1834.87
2022.16/2028.82	c GLOBAL bounds - >= -96307 @ 1834.87
2022.77/2029.44	c GLOBAL bounds - >= -96307 @ 1835.47
2022.97/2029.62	c GLOBAL bounds - >= -96307 @ 1835.65
2023.76/2030.49	c GLOBAL bounds - >= -96307 @ 1836.26
2024.26/2030.99	c GLOBAL bounds - >= -96307 @ 1836.75
2025.16/2031.86	c GLOBAL bounds - >= -96307 @ 1837.37
2025.36/2032.07	c GLOBAL bounds - >= -96307 @ 1837.58
2026.26/2032.94	c GLOBAL bounds - >= -96307 @ 1838.19
2026.56/2033.23	c GLOBAL bounds - >= -96307 @ 1838.47
2027.35/2034.10	c GLOBAL bounds - >= -96307 @ 1839.09
2027.75/2034.42	c GLOBAL bounds - >= -96307 @ 1839.41
2028.65/2035.30	c GLOBAL bounds - >= -96307 @ 1840.04
2029.45/2036.17	c GLOBAL bounds - >= -96307 @ 1840.9
2030.34/2037.05	c GLOBAL bounds - >= -96307 @ 1841.52
2030.54/2037.26	c GLOBAL bounds - >= -96307 @ 1841.72
2031.45/2038.14	c GLOBAL bounds - >= -96307 @ 1842.32
2031.73/2038.41	c GLOBAL bounds - >= -96307 @ 1842.6
2032.54/2039.28	c GLOBAL bounds - >= -96307 @ 1843.21
2032.94/2039.68	c GLOBAL bounds - >= -96307 @ 1843.61
2033.84/2040.56	c GLOBAL bounds - >= -96307 @ 1844.22
2033.94/2040.68	c GLOBAL bounds - >= -96307 @ 1844.34
2034.83/2041.55	c GLOBAL bounds - >= -96307 @ 1844.97
2034.83/2041.55	c GLOBAL bounds - >= -96307 @ 1844.97
2035.34/2042.08	c GLOBAL bounds - >= -96307 @ 1845.49
2035.44/2042.14	c GLOBAL bounds - >= -96307 @ 1845.55
2036.33/2043.02	c GLOBAL bounds - >= -96307 @ 1846.18
2036.63/2043.34	c GLOBAL bounds - >= -96307 @ 1846.5
2037.53/2044.21	c GLOBAL bounds - >= -96307 @ 1847.13
2037.82/2044.54	c GLOBAL bounds - >= -96307 @ 1847.45
2038.72/2045.42	c GLOBAL bounds - >= -96307 @ 1848.08
2039.02/2045.74	c GLOBAL bounds - >= -96307 @ 1848.4
2039.91/2046.61	c GLOBAL bounds - >= -96307 @ 1849.01
2040.22/2046.94	c GLOBAL bounds - >= -96307 @ 1849.34
2041.11/2047.82	c GLOBAL bounds - >= -96307 @ 1849.97
2041.41/2048.15	c GLOBAL bounds - >= -96307 @ 1850.29
2042.31/2049.02	c GLOBAL bounds - >= -96307 @ 1850.89
2042.61/2049.35	c GLOBAL bounds - >= -96307 @ 1851.22
2043.50/2050.23	c GLOBAL bounds - >= -96307 @ 1851.84
2043.80/2050.55	c GLOBAL bounds - >= -96307 @ 1852.16
2044.70/2051.42	c GLOBAL bounds - >= -96307 @ 1852.79
2045.00/2051.75	c GLOBAL bounds - >= -96307 @ 1853.11
2045.90/2052.62	c GLOBAL bounds - >= -96307 @ 1853.73
2046.20/2052.94	c GLOBAL bounds - >= -96307 @ 1854.05
2047.09/2053.81	c GLOBAL bounds - >= -96307 @ 1854.67
2047.09/2053.81	c GLOBAL bounds - >= -96307 @ 1854.67
2047.69/2054.44	c GLOBAL bounds - >= -96307 @ 1855.29
2047.80/2054.53	c GLOBAL bounds - >= -96307 @ 1855.38
2048.69/2055.40	c GLOBAL bounds - >= -96307 @ 1856.01
2048.99/2055.72	c GLOBAL bounds - >= -96307 @ 1856.32
2049.78/2056.58	c GLOBAL bounds - >= -96307 @ 1856.94
2050.19/2056.90	c GLOBAL bounds - >= -96307 @ 1857.25
2050.98/2057.78	c GLOBAL bounds - >= -96307 @ 1857.87
2051.39/2058.11	c GLOBAL bounds - >= -96307 @ 1858.19
2052.18/2058.98	c GLOBAL bounds - >= -96307 @ 1858.82
2052.58/2059.31	c GLOBAL bounds - >= -96307 @ 1859.14
2053.38/2060.18	c GLOBAL bounds - >= -96307 @ 1859.75
2053.78/2060.50	c GLOBAL bounds - >= -96307 @ 1860.07
2054.57/2061.37	c GLOBAL bounds - >= -96307 @ 1860.68
2054.97/2061.70	c GLOBAL bounds - >= -96307 @ 1861
2055.77/2062.57	c GLOBAL bounds - >= -96307 @ 1861.64
2056.17/2062.90	c GLOBAL bounds - >= -96307 @ 1861.96
2056.97/2063.77	c GLOBAL bounds - >= -96307 @ 1862.59
2057.27/2064.09	c GLOBAL bounds - >= -96307 @ 1862.92
2058.16/2064.97	c GLOBAL bounds - >= -96307 @ 1863.54
2058.46/2065.29	c GLOBAL bounds - >= -96307 @ 1863.85
2059.36/2066.16	c GLOBAL bounds - >= -96307 @ 1864.48
2059.36/2066.16	c GLOBAL bounds - >= -96307 @ 1864.48
2059.96/2066.79	c GLOBAL bounds - >= -96307 @ 1865.1
2060.05/2066.88	c GLOBAL bounds - >= -96307 @ 1865.2
2060.96/2067.76	c GLOBAL bounds - >= -96307 @ 1865.81
2061.26/2068.09	c GLOBAL bounds - >= -96307 @ 1866.14
2062.16/2068.96	c GLOBAL bounds - >= -96307 @ 1866.73
2062.45/2069.29	c GLOBAL bounds - >= -96307 @ 1867.06
2063.36/2070.16	c GLOBAL bounds - >= -96307 @ 1867.69
2063.65/2070.49	c GLOBAL bounds - >= -96307 @ 1868.01
2064.55/2071.36	c GLOBAL bounds - >= -96307 @ 1868.62
2064.85/2071.68	c GLOBAL bounds - >= -96307 @ 1868.94
2065.75/2072.55	c GLOBAL bounds - >= -96307 @ 1869.54
2066.04/2072.88	c GLOBAL bounds - >= -96307 @ 1869.87
2066.94/2073.75	c GLOBAL bounds - >= -96307 @ 1870.49
2067.25/2074.07	c GLOBAL bounds - >= -96307 @ 1870.81
2068.14/2074.94	c GLOBAL bounds - >= -96307 @ 1871.43
2068.43/2075.26	c GLOBAL bounds - >= -96307 @ 1871.75
2069.33/2076.13	c GLOBAL bounds - >= -96307 @ 1872.37
2069.63/2076.46	c GLOBAL bounds - >= -96307 @ 1872.69
2070.53/2077.33	c GLOBAL bounds - >= -96307 @ 1873.29
2070.83/2077.65	c GLOBAL bounds - >= -96307 @ 1873.62
2071.72/2078.53	c GLOBAL bounds - >= -96307 @ 1874.24
2071.72/2078.53	c GLOBAL bounds - >= -96307 @ 1874.24
2072.33/2079.16	c GLOBAL bounds - >= -96307 @ 1874.87
2072.43/2079.26	c GLOBAL bounds - >= -96307 @ 1874.97
2073.33/2080.13	c GLOBAL bounds - >= -96307 @ 1875.58
2073.62/2080.47	c GLOBAL bounds - >= -96307 @ 1875.91
2074.52/2081.35	c GLOBAL bounds - >= -96307 @ 1876.53
2074.82/2081.68	c GLOBAL bounds - >= -96307 @ 1876.85
2075.72/2082.55	c GLOBAL bounds - >= -96307 @ 1877.47
2076.01/2082.88	c GLOBAL bounds - >= -96307 @ 1877.79
2076.91/2083.75	c GLOBAL bounds - >= -96307 @ 1878.39
2077.21/2084.08	c GLOBAL bounds - >= -96307 @ 1878.71
2078.11/2084.95	c GLOBAL bounds - >= -96307 @ 1879.34
2078.40/2085.28	c GLOBAL bounds - >= -96307 @ 1879.66
2079.32/2086.15	c GLOBAL bounds - >= -96307 @ 1880.27
2079.61/2086.48	c GLOBAL bounds - >= -96307 @ 1880.6
2080.50/2087.35	c GLOBAL bounds - >= -96307 @ 1881.23
2080.80/2087.69	c GLOBAL bounds - >= -96307 @ 1881.56
2081.70/2088.56	c GLOBAL bounds - >= -96307 @ 1882.18
2082.00/2088.89	c GLOBAL bounds - >= -96307 @ 1882.51
2082.89/2089.77	c GLOBAL bounds - >= -96307 @ 1883.13
2083.20/2090.09	c GLOBAL bounds - >= -96307 @ 1883.45
2084.09/2090.97	c GLOBAL bounds - >= -96307 @ 1884.07
2084.09/2090.97	c GLOBAL bounds - >= -96307 @ 1884.07
2084.79/2091.61	c GLOBAL bounds - >= -96307 @ 1884.7
2084.89/2091.79	c GLOBAL bounds - >= -96307 @ 1884.88
2085.79/2092.66	c GLOBAL bounds - >= -96307 @ 1885.51
2086.19/2093.00	c GLOBAL bounds - >= -96307 @ 1885.84
2086.98/2093.87	c GLOBAL bounds - >= -96307 @ 1886.46
2087.38/2094.21	c GLOBAL bounds - >= -96307 @ 1886.8
2088.19/2095.08	c GLOBAL bounds - >= -96307 @ 1887.42
2088.58/2095.41	c GLOBAL bounds - >= -96307 @ 1887.74
2089.38/2096.28	c GLOBAL bounds - >= -96307 @ 1888.37
2089.77/2096.61	c GLOBAL bounds - >= -96307 @ 1888.69
2090.57/2097.48	c GLOBAL bounds - >= -96307 @ 1889.31
2090.97/2097.81	c GLOBAL bounds - >= -96307 @ 1889.64
2091.77/2098.68	c GLOBAL bounds - >= -96307 @ 1890.25
2092.18/2099.02	c GLOBAL bounds - >= -96307 @ 1890.58
2092.97/2099.89	c GLOBAL bounds - >= -96307 @ 1891.2
2093.36/2100.23	c GLOBAL bounds - >= -96307 @ 1891.53
2094.17/2101.10	c GLOBAL bounds - >= -96307 @ 1892.14
2094.57/2101.43	c GLOBAL bounds - >= -96307 @ 1892.47
2095.46/2102.30	c GLOBAL bounds - >= -96307 @ 1893.1
2095.76/2102.64	c GLOBAL bounds - >= -96307 @ 1893.43
2096.66/2103.51	c GLOBAL bounds - >= -96307 @ 1894.05
2096.66/2103.51	c GLOBAL bounds - >= -96307 @ 1894.05
2097.26/2104.15	c GLOBAL bounds - >= -96307 @ 1894.69
2097.46/2104.34	c GLOBAL bounds - >= -96307 @ 1894.88
2098.35/2105.21	c GLOBAL bounds - >= -96307 @ 1895.5
2098.65/2105.55	c GLOBAL bounds - >= -96307 @ 1895.83
2099.55/2106.42	c GLOBAL bounds - >= -96307 @ 1896.44
2099.85/2106.75	c GLOBAL bounds - >= -96307 @ 1896.76
2100.75/2107.62	c GLOBAL bounds - >= -96307 @ 1897.39
2101.04/2107.96	c GLOBAL bounds - >= -96307 @ 1897.72
2101.95/2108.83	c GLOBAL bounds - >= -96307 @ 1898.35
2102.25/2109.18	c GLOBAL bounds - >= -96307 @ 1898.69
2103.14/2110.05	c GLOBAL bounds - >= -96307 @ 1899.3
2103.43/2110.38	c GLOBAL bounds - >= -96307 @ 1899.63
2104.33/2111.25	c GLOBAL bounds - >= -96307 @ 1900.26
2104.63/2111.58	c GLOBAL bounds - >= -96307 @ 1900.59
2105.53/2112.45	c GLOBAL bounds - >= -96307 @ 1901.19
2105.83/2112.79	c GLOBAL bounds - >= -96307 @ 1901.53
2106.73/2113.66	c GLOBAL bounds - >= -96307 @ 1902.13
2107.02/2114.00	c GLOBAL bounds - >= -96307 @ 1902.47
2107.92/2114.87	c GLOBAL bounds - >= -96307 @ 1903.1
2108.32/2115.20	c GLOBAL bounds - >= -96307 @ 1903.43
2109.12/2116.07	c GLOBAL bounds - >= -96307 @ 1904.05
2109.12/2116.07	c GLOBAL bounds - >= -96307 @ 1904.05
2109.82/2116.71	c GLOBAL bounds - >= -96307 @ 1904.68
2110.01/2116.90	c GLOBAL bounds - >= -96307 @ 1904.87
2110.81/2117.77	c GLOBAL bounds - >= -96307 @ 1905.52
2111.22/2118.10	c GLOBAL bounds - >= -96307 @ 1905.84
2112.01/2118.97	c GLOBAL bounds - >= -96307 @ 1906.47
2112.41/2119.32	c GLOBAL bounds - >= -96307 @ 1906.81
2113.21/2120.19	c GLOBAL bounds - >= -96307 @ 1907.42
2113.61/2120.53	c GLOBAL bounds - >= -96307 @ 1907.75
2114.40/2121.39	c GLOBAL bounds - >= -96307 @ 1908.38
2114.80/2121.73	c GLOBAL bounds - >= -96307 @ 1908.71
2115.69/2122.60	c GLOBAL bounds - >= -96307 @ 1909.31
2115.99/2122.94	c GLOBAL bounds - >= -96307 @ 1909.64
2116.89/2123.81	c GLOBAL bounds - >= -96307 @ 1910.27
2117.20/2124.15	c GLOBAL bounds - >= -96307 @ 1910.61
2118.09/2125.02	c GLOBAL bounds - >= -96307 @ 1911.23
2118.39/2125.36	c GLOBAL bounds - >= -96307 @ 1911.56
2119.29/2126.23	c GLOBAL bounds - >= -96307 @ 1912.19
2119.59/2126.57	c GLOBAL bounds - >= -96307 @ 1912.52
2120.48/2127.43	c GLOBAL bounds - >= -96307 @ 1913.14
2120.78/2127.77	c GLOBAL bounds - >= -96307 @ 1913.48
2121.68/2128.64	c GLOBAL bounds - >= -96307 @ 1914.09
2121.68/2128.64	c GLOBAL bounds - >= -96307 @ 1914.09
2122.28/2129.29	c GLOBAL bounds - >= -96307 @ 1914.74
2122.48/2129.40	c GLOBAL bounds - >= -96307 @ 1914.84
2123.28/2130.26	c GLOBAL bounds - >= -96307 @ 1915.44
2123.68/2130.61	c GLOBAL bounds - >= -96307 @ 1915.78
2124.47/2131.47	c GLOBAL bounds - >= -96307 @ 1916.4
2124.87/2131.81	c GLOBAL bounds - >= -96307 @ 1916.73
2125.67/2132.67	c GLOBAL bounds - >= -96307 @ 1917.34
2126.07/2133.01	c GLOBAL bounds - >= -96307 @ 1917.68
2128.06/2135.06	c GLOBAL bounds - >= -96307 @ 1919.48
2128.36/2135.38	c GLOBAL bounds - >= -96307 @ 1919.79
2129.26/2136.29	c GLOBAL bounds - >= -96307 @ 1920.45
2129.65/2136.60	c GLOBAL bounds - >= -96307 @ 1920.77
2130.65/2137.60	c GLOBAL bounds - >= -96307 @ 1921.51
2130.95/2137.92	c GLOBAL bounds - >= -96307 @ 1921.83
2131.75/2138.79	c GLOBAL bounds - >= -96307 @ 1922.44
2132.16/2139.12	c GLOBAL bounds - >= -96307 @ 1922.76
2132.95/2139.99	c GLOBAL bounds - >= -96307 @ 1923.36
2133.35/2140.31	c GLOBAL bounds - >= -96307 @ 1923.68
2134.15/2141.18	c GLOBAL bounds - >= -96307 @ 1924.3
2134.54/2141.51	c GLOBAL bounds - >= -96307 @ 1924.62
2135.34/2142.38	c GLOBAL bounds - >= -96307 @ 1925.23
2135.34/2142.38	c GLOBAL bounds - >= -96307 @ 1925.24
2136.05/2143.01	c GLOBAL bounds - >= -96307 @ 1925.86
2136.15/2143.10	c GLOBAL bounds - >= -96307 @ 1925.95
2136.94/2143.98	c GLOBAL bounds - >= -96307 @ 1926.58
2137.33/2144.30	c GLOBAL bounds - >= -96307 @ 1926.9
2138.14/2145.18	c GLOBAL bounds - >= -96307 @ 1927.52
2138.53/2145.50	c GLOBAL bounds - >= -96307 @ 1927.83
2139.33/2146.37	c GLOBAL bounds - >= -96307 @ 1928.46
2139.63/2146.69	c GLOBAL bounds - >= -96307 @ 1928.78
2140.53/2147.57	c GLOBAL bounds - >= -96307 @ 1929.39
2140.83/2147.89	c GLOBAL bounds - >= -96307 @ 1929.71
2141.72/2148.76	c GLOBAL bounds - >= -96307 @ 1930.34
2142.02/2149.08	c GLOBAL bounds - >= -96307 @ 1930.66
2142.91/2149.96	c GLOBAL bounds - >= -96307 @ 1931.3
2143.22/2150.28	c GLOBAL bounds - >= -96307 @ 1931.61
2144.12/2151.15	c GLOBAL bounds - >= -96307 @ 1932.22
2144.42/2151.47	c GLOBAL bounds - >= -96307 @ 1932.54
2145.32/2152.35	c GLOBAL bounds - >= -96307 @ 1933.18
2145.61/2152.67	c GLOBAL bounds - >= -96307 @ 1933.5
2146.50/2153.54	c GLOBAL bounds - >= -96307 @ 1934.12
2146.81/2153.86	c GLOBAL bounds - >= -96307 @ 1934.44
2147.70/2154.73	c GLOBAL bounds - >= -96307 @ 1935.07
2147.70/2154.73	c GLOBAL bounds - >= -96307 @ 1935.08
2148.30/2155.36	c GLOBAL bounds - >= -96307 @ 1935.7
2148.40/2155.45	c GLOBAL bounds - >= -96307 @ 1935.79
2149.30/2156.33	c GLOBAL bounds - >= -96307 @ 1936.4
2149.59/2156.66	c GLOBAL bounds - >= -96307 @ 1936.73
2150.50/2157.53	c GLOBAL bounds - >= -96307 @ 1937.36
2150.79/2157.85	c GLOBAL bounds - >= -96307 @ 1937.67
2151.69/2158.73	c GLOBAL bounds - >= -96307 @ 1938.3
2151.99/2159.04	c GLOBAL bounds - >= -96307 @ 1938.61
2152.89/2159.92	c GLOBAL bounds - >= -96307 @ 1939.22
2153.19/2160.25	c GLOBAL bounds - >= -96307 @ 1939.55
2154.09/2161.12	c GLOBAL bounds - >= -96307 @ 1940.17
2154.38/2161.45	c GLOBAL bounds - >= -96307 @ 1940.49
2155.28/2162.32	c GLOBAL bounds - >= -96307 @ 1941.11
2155.58/2162.64	c GLOBAL bounds - >= -96307 @ 1941.42
2156.48/2163.52	c GLOBAL bounds - >= -96307 @ 1942.06
2156.78/2163.85	c GLOBAL bounds - >= -96307 @ 1942.38
2157.67/2164.72	c GLOBAL bounds - >= -96307 @ 1942.99
2157.98/2165.06	c GLOBAL bounds - >= -96307 @ 1943.32
2158.87/2165.93	c GLOBAL bounds - >= -96307 @ 1943.96
2159.17/2166.25	c GLOBAL bounds - >= -96307 @ 1944.28
2160.08/2167.14	c GLOBAL bounds - >= -96307 @ 1944.92
2160.08/2167.14	c GLOBAL bounds - >= -96307 @ 1944.92
2160.67/2167.76	c GLOBAL bounds - >= -96307 @ 1945.54
2160.77/2167.86	c GLOBAL bounds - >= -96307 @ 1945.63
2161.67/2168.73	c GLOBAL bounds - >= -96307 @ 1946.24
2161.97/2169.05	c GLOBAL bounds - >= -96307 @ 1946.56
2162.86/2169.93	c GLOBAL bounds - >= -96307 @ 1947.18
2163.16/2170.25	c GLOBAL bounds - >= -96307 @ 1947.5
2164.06/2171.12	c GLOBAL bounds - >= -96307 @ 1948.14
2164.35/2171.45	c GLOBAL bounds - >= -96307 @ 1948.46
2165.25/2172.33	c GLOBAL bounds - >= -96307 @ 1949.08
2165.55/2172.65	c GLOBAL bounds - >= -96307 @ 1949.39
2166.45/2173.52	c GLOBAL bounds - >= -96307 @ 1950.02
2166.75/2173.85	c GLOBAL bounds - >= -96307 @ 1950.34
2167.64/2174.72	c GLOBAL bounds - >= -96307 @ 1950.96
2167.95/2175.05	c GLOBAL bounds - >= -96307 @ 1951.29
2168.84/2175.92	c GLOBAL bounds - >= -96307 @ 1951.91
2169.15/2176.25	c GLOBAL bounds - >= -96307 @ 1952.23
2170.05/2177.12	c GLOBAL bounds - >= -96307 @ 1952.84
2170.33/2177.45	c GLOBAL bounds - >= -96307 @ 1953.16
2171.24/2178.33	c GLOBAL bounds - >= -96307 @ 1953.78
2171.54/2178.65	c GLOBAL bounds - >= -96307 @ 1954.1
2172.43/2179.52	c GLOBAL bounds - >= -96307 @ 1954.72
2172.43/2179.52	c GLOBAL bounds - >= -96307 @ 1954.72
2173.03/2180.14	c GLOBAL bounds - >= -96307 @ 1955.34
2173.23/2180.32	c GLOBAL bounds - >= -96307 @ 1955.52
2174.12/2181.20	c GLOBAL bounds - >= -96307 @ 1956.13
2174.43/2181.53	c GLOBAL bounds - >= -96307 @ 1956.45
2175.32/2182.40	c GLOBAL bounds - >= -96307 @ 1957.09
2175.62/2182.73	c GLOBAL bounds - >= -96307 @ 1957.42
2176.52/2183.60	c GLOBAL bounds - >= -96307 @ 1958.03
2176.82/2183.93	c GLOBAL bounds - >= -96307 @ 1958.36
2177.72/2184.80	c GLOBAL bounds - >= -96307 @ 1958.99
2178.02/2185.13	c GLOBAL bounds - >= -96307 @ 1959.31
2178.82/2186.00	c GLOBAL bounds - >= -96307 @ 1959.95
2179.21/2186.33	c GLOBAL bounds - >= -96307 @ 1960.27
2180.11/2187.20	c GLOBAL bounds - >= -96307 @ 1960.91
2180.40/2187.52	c GLOBAL bounds - >= -96307 @ 1961.23
2181.21/2188.39	c GLOBAL bounds - >= -96307 @ 1961.85
2181.60/2188.72	c GLOBAL bounds - >= -96307 @ 1962.18
2182.50/2189.60	c GLOBAL bounds - >= -96307 @ 1962.8
2182.81/2189.93	c GLOBAL bounds - >= -96307 @ 1963.13
2183.70/2190.80	c GLOBAL bounds - >= -96307 @ 1963.75
2184.00/2191.13	c GLOBAL bounds - >= -96307 @ 1964.08
2184.90/2192.00	c GLOBAL bounds - >= -96307 @ 1964.7
2184.90/2192.00	c GLOBAL bounds - >= -96307 @ 1964.7
2185.49/2192.63	c GLOBAL bounds - >= -96307 @ 1965.33
2185.69/2192.82	c GLOBAL bounds - >= -96307 @ 1965.51
2186.59/2193.70	c GLOBAL bounds - >= -96307 @ 1966.15
2186.90/2194.02	c GLOBAL bounds - >= -96307 @ 1966.48
2187.79/2194.90	c GLOBAL bounds - >= -96307 @ 1967.08
2188.09/2195.22	c GLOBAL bounds - >= -96307 @ 1967.4
2188.89/2196.10	c GLOBAL bounds - >= -96307 @ 1968.04
2189.28/2196.43	c #Conflicts:       1000 | #Constraints:     403129
2189.28/2196.43	c GLOBAL bounds - >= -96307 @ 1968.36
2190.19/2197.30	c GLOBAL bounds - >= -96307 @ 1968.98
2190.48/2197.63	c GLOBAL bounds - >= -96307 @ 1969.31
2191.38/2198.50	c GLOBAL bounds - >= -96307 @ 1969.92
2191.67/2198.83	c GLOBAL bounds - >= -96307 @ 1970.25
2192.57/2199.70	c GLOBAL bounds - >= -96307 @ 1970.87
2192.87/2200.03	c GLOBAL bounds - >= -96307 @ 1971.2
2193.77/2200.91	c GLOBAL bounds - >= -96307 @ 1971.85
2194.07/2201.25	c GLOBAL bounds - >= -96307 @ 1972.19
2194.98/2202.12	c GLOBAL bounds - >= -96307 @ 1972.81
2195.27/2202.45	c GLOBAL bounds - >= -96307 @ 1973.13
2196.17/2203.32	c GLOBAL bounds - >= -96307 @ 1973.75
2196.46/2203.65	c GLOBAL bounds - >= -96307 @ 1974.08
2197.36/2204.53	c GLOBAL bounds - >= -96307 @ 1974.71
2197.36/2204.53	c GLOBAL bounds - >= -96307 @ 1974.71
2197.96/2205.17	c GLOBAL bounds - >= -96307 @ 1975.34
2198.16/2205.36	c GLOBAL bounds - >= -96307 @ 1975.53
2199.05/2206.24	c GLOBAL bounds - >= -96307 @ 1976.14
2199.35/2206.57	c GLOBAL bounds - >= -96307 @ 1976.46
2200.25/2207.44	c GLOBAL bounds - >= -96307 @ 1977.08
2200.55/2207.78	c GLOBAL bounds - >= -96307 @ 1977.42
2201.45/2208.66	c GLOBAL bounds - >= -96307 @ 1978.06
2201.75/2208.99	c GLOBAL bounds - >= -96307 @ 1978.38
2202.65/2209.86	c GLOBAL bounds - >= -96307 @ 1979.01
2202.95/2210.19	c GLOBAL bounds - >= -96307 @ 1979.34
2203.85/2211.06	c GLOBAL bounds - >= -96307 @ 1979.95
2204.24/2211.40	c GLOBAL bounds - >= -96307 @ 1980.28
2205.04/2212.27	c GLOBAL bounds - >= -96307 @ 1980.9
2205.43/2212.61	c GLOBAL bounds - >= -96307 @ 1981.23
2206.24/2213.49	c GLOBAL bounds - >= -96307 @ 1981.85
2206.63/2213.82	c GLOBAL bounds - >= -96307 @ 1982.18
2207.43/2214.69	c GLOBAL bounds - >= -96307 @ 1982.81
2207.83/2215.02	c GLOBAL bounds - >= -96307 @ 1983.14
2208.73/2215.90	c GLOBAL bounds - >= -96307 @ 1983.77
2209.02/2216.23	c GLOBAL bounds - >= -96307 @ 1984.1
2209.94/2217.10	c GLOBAL bounds - >= -96307 @ 1984.73
2209.94/2217.10	c GLOBAL bounds - >= -96307 @ 1984.73
2210.53/2217.74	c GLOBAL bounds - >= -96307 @ 1985.36
2210.72/2217.93	c GLOBAL bounds - >= -96307 @ 1985.55
2211.62/2218.81	c GLOBAL bounds - >= -96307 @ 1986.2
2211.92/2219.15	c GLOBAL bounds - >= -96307 @ 1986.53
2212.83/2220.02	c GLOBAL bounds - >= -96307 @ 1987.16
2213.12/2220.36	c GLOBAL bounds - >= -96307 @ 1987.5
2214.01/2221.24	c GLOBAL bounds - >= -96307 @ 1988.11
2214.31/2221.57	c GLOBAL bounds - >= -96307 @ 1988.44
2215.20/2222.45	c GLOBAL bounds - >= -96307 @ 1989.06
2215.50/2222.78	c GLOBAL bounds - >= -96307 @ 1989.39
2216.40/2223.66	c GLOBAL bounds - >= -96307 @ 1990.02
2216.70/2223.99	c GLOBAL bounds - >= -96307 @ 1990.35
2217.60/2224.87	c GLOBAL bounds - >= -96307 @ 1990.98
2218.00/2225.20	c GLOBAL bounds - >= -96307 @ 1991.3
2218.80/2226.07	c GLOBAL bounds - >= -96307 @ 1991.94
2219.19/2226.40	c GLOBAL bounds - >= -96307 @ 1992.28
2220.00/2227.27	c GLOBAL bounds - >= -96307 @ 1992.91
2220.39/2227.61	c GLOBAL bounds - >= -96307 @ 1993.24
2221.19/2228.48	c GLOBAL bounds - >= -96307 @ 1993.86
2221.59/2228.81	c GLOBAL bounds - >= -96307 @ 1994.19
2222.39/2229.68	c GLOBAL bounds - >= -96307 @ 1994.8
2222.39/2229.68	c GLOBAL bounds - >= -96307 @ 1994.8
2223.08/2230.31	c GLOBAL bounds - >= -96307 @ 1995.42
2223.18/2230.42	c GLOBAL bounds - >= -96307 @ 1995.53
2223.98/2231.29	c GLOBAL bounds - >= -96307 @ 1996.16
2224.39/2231.63	c GLOBAL bounds - >= -96307 @ 1996.49
2225.28/2232.50	c GLOBAL bounds - >= -96307 @ 1997.1
2225.58/2232.84	c GLOBAL bounds - >= -96307 @ 1997.43
2226.48/2233.71	c GLOBAL bounds - >= -96307 @ 1998.06
2226.78/2234.05	c GLOBAL bounds - >= -96307 @ 1998.4
2227.67/2234.92	c GLOBAL bounds - >= -96307 @ 1999.02
2227.97/2235.26	c GLOBAL bounds - >= -96307 @ 1999.35
2228.87/2236.13	c GLOBAL bounds - >= -96307 @ 1999.99
2229.17/2236.47	c GLOBAL bounds - >= -96307 @ 2000.32
2230.06/2237.34	c GLOBAL bounds - >= -96307 @ 2000.95
2230.37/2237.67	c GLOBAL bounds - >= -96307 @ 2001.28
2231.27/2238.55	c GLOBAL bounds - >= -96307 @ 2001.91
2231.56/2238.89	c GLOBAL bounds - >= -96307 @ 2002.25
2232.46/2239.76	c GLOBAL bounds - >= -96307 @ 2002.85
2232.76/2240.10	c GLOBAL bounds - >= -96307 @ 2003.19
2233.65/2240.97	c GLOBAL bounds - >= -96307 @ 2003.8
2234.06/2241.31	c GLOBAL bounds - >= -96307 @ 2004.14
2234.86/2242.19	c GLOBAL bounds - >= -96307 @ 2004.75
2234.86/2242.19	c GLOBAL bounds - >= -96307 @ 2004.75
2235.54/2242.84	c GLOBAL bounds - >= -96307 @ 2005.39
2235.64/2242.95	c GLOBAL bounds - >= -96307 @ 2005.49
2236.53/2243.83	c GLOBAL bounds - >= -96307 @ 2006.13
2236.84/2244.17	c GLOBAL bounds - >= -96307 @ 2006.46
2237.73/2245.04	c GLOBAL bounds - >= -96307 @ 2007.1
2238.04/2245.38	c GLOBAL bounds - >= -96307 @ 2007.44
2238.93/2246.25	c GLOBAL bounds - >= -96307 @ 2008.06
2239.23/2246.59	c GLOBAL bounds - >= -96307 @ 2008.39
2240.13/2247.46	c GLOBAL bounds - >= -96307 @ 2009
2240.53/2247.81	c GLOBAL bounds - >= -96307 @ 2009.34
2241.33/2248.68	c GLOBAL bounds - >= -96307 @ 2009.96
2241.73/2249.03	c GLOBAL bounds - >= -96307 @ 2010.31
2242.62/2249.91	c GLOBAL bounds - >= -96307 @ 2010.94
2242.92/2250.25	c GLOBAL bounds - >= -96307 @ 2011.28
2243.82/2251.13	c GLOBAL bounds - >= -96307 @ 2011.91
2244.51/2251.82	c GLOBAL bounds - >= -96307 @ 2012.6
2245.41/2252.70	c GLOBAL bounds - >= -96307 @ 2013.24
2245.72/2253.04	c GLOBAL bounds - >= -96307 @ 2013.58
2246.61/2253.91	c GLOBAL bounds - >= -96307 @ 2014.21
2246.91/2254.26	c GLOBAL bounds - >= -96307 @ 2014.55
2247.81/2255.13	c GLOBAL bounds - >= -96307 @ 2015.17
2247.81/2255.13	c GLOBAL bounds - >= -96307 @ 2015.17
2248.40/2255.77	c GLOBAL bounds - >= -96307 @ 2015.81
2248.60/2255.98	c GLOBAL bounds - >= -96307 @ 2016.01
2249.50/2256.86	c GLOBAL bounds - >= -96307 @ 2016.64
2250.30/2257.62	c GLOBAL bounds - >= -96307 @ 2017.39
2251.20/2258.50	c GLOBAL bounds - >= -96307 @ 2018.03
2251.49/2258.85	c GLOBAL bounds - >= -96307 @ 2018.37
2252.39/2259.72	c GLOBAL bounds - >= -96307 @ 2018.98
2252.69/2260.07	c GLOBAL bounds - >= -96307 @ 2019.32
2253.58/2260.94	c GLOBAL bounds - >= -96307 @ 2019.95
2253.89/2261.29	c GLOBAL bounds - >= -96307 @ 2020.3
2254.79/2262.17	c GLOBAL bounds - >= -96307 @ 2020.94
2256.18/2263.57	c GLOBAL bounds - >= -96307 @ 2022.32
2257.08/2264.44	c GLOBAL bounds - >= -96307 @ 2022.93
2257.37/2264.79	c GLOBAL bounds - >= -96307 @ 2023.27
2258.28/2265.67	c GLOBAL bounds - >= -96307 @ 2023.89
2258.68/2266.01	c GLOBAL bounds - >= -96307 @ 2024.23
2259.47/2266.88	c GLOBAL bounds - >= -96307 @ 2024.86
2259.87/2267.23	c GLOBAL bounds - >= -96307 @ 2025.2
2260.77/2268.11	c GLOBAL bounds - >= -96307 @ 2025.83
2261.07/2268.45	c GLOBAL bounds - >= -96307 @ 2026.17
2261.96/2269.33	c GLOBAL bounds - >= -96307 @ 2026.78
2261.96/2269.33	c GLOBAL bounds - >= -96307 @ 2026.78
2262.56/2269.97	c GLOBAL bounds - >= -96307 @ 2027.42
2262.76/2270.18	c GLOBAL bounds - >= -96307 @ 2027.63
2263.67/2271.06	c GLOBAL bounds - >= -96307 @ 2028.27
2264.06/2271.40	c GLOBAL bounds - >= -96307 @ 2028.6
2264.86/2272.27	c GLOBAL bounds - >= -96307 @ 2029.23
2265.25/2272.62	c GLOBAL bounds - >= -96307 @ 2029.57
2266.05/2273.49	c GLOBAL bounds - >= -96307 @ 2030.2
2266.45/2273.85	c GLOBAL bounds - >= -96307 @ 2030.55
2267.34/2274.72	c GLOBAL bounds - >= -96307 @ 2031.18
2267.65/2275.06	c GLOBAL bounds - >= -96307 @ 2031.52
2268.54/2275.94	c GLOBAL bounds - >= -96307 @ 2032.16
2268.84/2276.29	c GLOBAL bounds - >= -96307 @ 2032.5
2269.74/2277.16	c GLOBAL bounds - >= -96307 @ 2033.12
2270.14/2277.50	c GLOBAL bounds - >= -96307 @ 2033.45
2270.94/2278.38	c GLOBAL bounds - >= -96307 @ 2034.1
2271.34/2278.72	c GLOBAL bounds - >= -96307 @ 2034.44
2272.13/2279.59	c GLOBAL bounds - >= -96307 @ 2035.06
2272.54/2279.94	c GLOBAL bounds - >= -96307 @ 2035.4
2273.43/2280.81	c GLOBAL bounds - >= -96307 @ 2036.02
2273.73/2281.16	c GLOBAL bounds - >= -96307 @ 2036.37
2274.63/2282.03	c GLOBAL bounds - >= -96307 @ 2036.98
2274.63/2282.03	c GLOBAL bounds - >= -96307 @ 2036.99
2275.22/2282.69	c GLOBAL bounds - >= -96307 @ 2037.64
2275.53/2282.90	c GLOBAL bounds - >= -96307 @ 2037.85
2276.32/2283.78	c GLOBAL bounds - >= -96307 @ 2038.48
2276.73/2284.13	c GLOBAL bounds - >= -96307 @ 2038.83
2277.62/2285.00	c GLOBAL bounds - >= -96307 @ 2039.47
2277.92/2285.36	c GLOBAL bounds - >= -96307 @ 2039.82
2278.81/2286.23	c GLOBAL bounds - >= -96307 @ 2040.45
2279.11/2286.57	c GLOBAL bounds - >= -96307 @ 2040.78
2280.01/2287.44	c GLOBAL bounds - >= -96307 @ 2041.4
2280.31/2287.79	c GLOBAL bounds - >= -96307 @ 2041.75
2281.21/2288.66	c GLOBAL bounds - >= -96307 @ 2042.37
2281.61/2289.00	c GLOBAL bounds - >= -96307 @ 2042.71
2282.41/2289.88	c GLOBAL bounds - >= -96307 @ 2043.33
2282.80/2290.23	c GLOBAL bounds - >= -96307 @ 2043.69
2283.71/2291.11	c GLOBAL bounds - >= -96307 @ 2044.3
2284.00/2291.46	c GLOBAL bounds - >= -96307 @ 2044.65
2284.89/2292.33	c GLOBAL bounds - >= -96307 @ 2045.27
2285.20/2292.69	c GLOBAL bounds - >= -96307 @ 2045.62
2286.09/2293.58	c GLOBAL bounds - >= -96307 @ 2046.26
2286.49/2293.92	c GLOBAL bounds - >= -96307 @ 2046.6
2287.39/2294.80	c GLOBAL bounds - >= -96307 @ 2047.23
2287.39/2294.80	c GLOBAL bounds - >= -96307 @ 2047.23
2287.99/2295.45	c GLOBAL bounds - >= -96307 @ 2047.88
2288.19/2295.67	c GLOBAL bounds - >= -96307 @ 2048.1
2289.08/2296.55	c GLOBAL bounds - >= -96307 @ 2048.75
2289.49/2296.91	c GLOBAL bounds - >= -96307 @ 2049.1
2290.28/2297.78	c GLOBAL bounds - >= -96307 @ 2049.73
2290.68/2298.12	c GLOBAL bounds - >= -96307 @ 2050.07
2291.48/2299.00	c GLOBAL bounds - >= -96307 @ 2050.69
2291.87/2299.36	c GLOBAL bounds - >= -96307 @ 2051.05
2292.77/2300.23	c GLOBAL bounds - >= -96307 @ 2051.66
2293.07/2300.58	c GLOBAL bounds - >= -96307 @ 2052.02
2293.97/2301.46	c GLOBAL bounds - >= -96307 @ 2052.66
2294.37/2301.82	c GLOBAL bounds - >= -96307 @ 2053.02
2295.16/2302.69	c GLOBAL bounds - >= -96307 @ 2053.65
2295.57/2303.04	c GLOBAL bounds - >= -96307 @ 2053.99
2296.47/2303.92	c GLOBAL bounds - >= -96307 @ 2054.6
2296.77/2304.27	c GLOBAL bounds - >= -96307 @ 2054.96
2297.67/2305.15	c GLOBAL bounds - >= -96307 @ 2055.57
2297.86/2305.39	c GLOBAL bounds - >= -96307 @ 2055.81
2298.76/2306.27	c GLOBAL bounds - >= -96307 @ 2056.43
2299.15/2306.63	c GLOBAL bounds - >= -96307 @ 2056.78
2300.05/2307.50	c GLOBAL bounds - >= -96307 @ 2057.39
2300.05/2307.51	c GLOBAL bounds - >= -96307 @ 2057.39
2300.66/2308.15	c GLOBAL bounds - >= -96307 @ 2058.04
2300.85/2308.37	c GLOBAL bounds - >= -96307 @ 2058.25
2301.74/2309.25	c GLOBAL bounds - >= -96307 @ 2058.88
2302.15/2309.60	c GLOBAL bounds - >= -96307 @ 2059.23
2302.95/2310.47	c GLOBAL bounds - >= -96307 @ 2059.86
2303.65/2311.15	c GLOBAL bounds - >= -96307 @ 2060.53
2304.55/2312.02	c GLOBAL bounds - >= -96307 @ 2061.15
2304.84/2312.38	c GLOBAL bounds - >= -96307 @ 2061.51
2305.74/2313.25	c GLOBAL bounds - >= -96307 @ 2062.12
2306.33/2313.80	c GLOBAL bounds - >= -96307 @ 2062.67
2307.13/2314.68	c GLOBAL bounds - >= -96307 @ 2063.3
2307.53/2315.03	c GLOBAL bounds - >= -96307 @ 2063.65
2308.43/2315.90	c GLOBAL bounds - >= -96307 @ 2064.28
2308.73/2316.26	c GLOBAL bounds - >= -96307 @ 2064.64
2309.63/2317.14	c GLOBAL bounds - >= -96307 @ 2065.25
2310.03/2317.50	c GLOBAL bounds - >= -96307 @ 2065.61
2310.83/2318.37	c GLOBAL bounds - >= -96307 @ 2066.22
2311.22/2318.73	c GLOBAL bounds - >= -96307 @ 2066.58
2312.12/2319.60	c GLOBAL bounds - >= -96307 @ 2067.2
2312.41/2319.96	c GLOBAL bounds - >= -96307 @ 2067.55
2313.32/2320.83	c GLOBAL bounds - >= -96307 @ 2068.19
2313.32/2320.83	c GLOBAL bounds - >= -96307 @ 2068.19
2313.92/2321.49	c GLOBAL bounds - >= -96307 @ 2068.85
2314.21/2321.72	c GLOBAL bounds - >= -96307 @ 2069.07
2315.01/2322.59	c GLOBAL bounds - >= -96307 @ 2069.69
2315.41/2322.95	c GLOBAL bounds - >= -96307 @ 2070.05
2316.31/2323.82	c GLOBAL bounds - >= -96307 @ 2070.66
2316.61/2324.18	c GLOBAL bounds - >= -96307 @ 2071.01
2317.51/2325.06	c GLOBAL bounds - >= -96307 @ 2071.63
2317.90/2325.42	c GLOBAL bounds - >= -96307 @ 2071.99
2318.70/2326.29	c GLOBAL bounds - >= -96307 @ 2072.62
2319.10/2326.66	c GLOBAL bounds - >= -96307 @ 2072.98
2319.99/2327.54	c GLOBAL bounds - >= -96307 @ 2073.62
2320.40/2327.90	c GLOBAL bounds - >= -96307 @ 2073.98
2321.19/2328.77	c GLOBAL bounds - >= -96307 @ 2074.61
2321.60/2329.14	c GLOBAL bounds - >= -96307 @ 2074.97
2322.49/2330.02	c GLOBAL bounds - >= -96307 @ 2075.6
2323.09/2330.63	c GLOBAL bounds - >= -96307 @ 2076.09
2323.99/2331.50	c GLOBAL bounds - >= -96307 @ 2076.72
2324.28/2331.86	c GLOBAL bounds - >= -96307 @ 2077.07
2325.19/2332.74	c GLOBAL bounds - >= -96307 @ 2077.68
2325.59/2333.13	c GLOBAL bounds - >= -96307 @ 2078.05
2326.48/2334.00	c GLOBAL bounds - >= -96307 @ 2078.65
2326.48/2334.00	c GLOBAL bounds - >= -96307 @ 2078.65
2327.08/2334.68	c GLOBAL bounds - >= -96307 @ 2079.32
2327.38/2334.92	c GLOBAL bounds - >= -96307 @ 2079.54
2328.18/2335.79	c GLOBAL bounds - >= -96307 @ 2080.16
2328.58/2336.15	c GLOBAL bounds - >= -96307 @ 2080.51
2329.48/2337.03	c GLOBAL bounds - >= -96307 @ 2081.13
2329.86/2337.40	c GLOBAL bounds - >= -96307 @ 2081.49
2330.66/2338.28	c GLOBAL bounds - >= -96307 @ 2082.12
2331.07/2338.65	c GLOBAL bounds - >= -96307 @ 2082.48
2331.96/2339.52	c GLOBAL bounds - >= -96307 @ 2083.1
2332.26/2339.88	c GLOBAL bounds - >= -96307 @ 2083.46
2333.16/2340.76	c GLOBAL bounds - >= -96307 @ 2084.1
2333.56/2341.13	c GLOBAL bounds - >= -96307 @ 2084.46
2334.36/2342.00	c GLOBAL bounds - >= -96307 @ 2085.08
2334.76/2342.36	c GLOBAL bounds - >= -96307 @ 2085.43
2335.65/2343.23	c GLOBAL bounds - >= -96307 @ 2086.06
2335.85/2343.49	c GLOBAL bounds - >= -96307 @ 2086.32
2336.75/2344.37	c GLOBAL bounds - >= -96307 @ 2086.95
2337.05/2344.65	c GLOBAL bounds - >= -96307 @ 2087.22
2337.94/2345.52	c GLOBAL bounds - >= -96307 @ 2087.85
2338.35/2345.93	terminate called after throwing an instance of 'std::bad_alloc'
2338.35/2345.95	  what():  std::bad_alloc

Verifier Data

ERROR: no interpretation found !

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: 63708 MiB (55294 MiB free)
  memory of node 1: 64465 MiB (48831 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506137-1751501413/watcher-4506137-1751501413 -o /tmp/evaluation-result-4506137-1751501413/solver-4506137-1751501413 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751497800-71419 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4506137-1751501413.opb PROOFDIR/proof-4506137-1751501413 

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 FSIZE limit: 102400000 KiB
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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=71826, runsolver pid=71823
Current StackSize limit: 8192 KiB


[startup+0.100068 s]*
/proc/loadavg: 4.09 4.11 4.06 1/261 71828
/proc/meminfo: memFree=106625296/131249988 swapFree=33010160/33010684
[pid=71826] ppid=71823 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/71826/stat : 71826 (run-opt-log.sh) S 71823 71826 71409 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 65818928 4292608 704 18446744073709551615 94575699959808 94575700854341 140724482959648 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94575701093392 94575701141136 94575730135040 140724482963745 140724482963940 140724482963940 140724482969542 0
/proc/71826/statm: 1048 704 672 219 0 110 0
[pid=71828] ppid=71826 vsize=50796 memory=7296 CPUtime=0 cores=0,2
/proc/71828/stat : 71828 (roundingsat) D 71826 71826 71409 0 -1 4194304 298 0 0 0 0 0 0 0 20 0 1 0 65818928 52015104 1824 18446744073709551615 4227072 8923433 140733322804016 0 0 0 0 0 8405026 1 0 0 17 2 0 0 0 0 0 9823104 9832592 34127872 140733322807634 140733322807848 140733322807848 140733322813418 0
/proc/71828/statm: 12699 1824 1728 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10112 KiB

[startup+0.205199 s]*
/proc/loadavg: 4.09 4.11 4.06 1/261 71828
/proc/meminfo: memFree=106625296/131249988 swapFree=33010160/33010684
[pid=71826] ppid=71823 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/71826/stat : 71826 (run-opt-log.sh) S 71823 71826 71409 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 65818928 4292608 704 18446744073709551615 94575699959808 94575700854341 140724482959648 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94575701093392 94575701141136 94575730135040 140724482963745 140724482963940 140724482963940 140724482969542 0
/proc/71826/statm: 1048 704 672 219 0 110 0
[pid=71828] ppid=71826 vsize=50796 memory=7296 CPUtime=0 cores=0,2
/proc/71828/stat : 71828 (roundingsat) D 71826 71826 71409 0 -1 4194304 298 0 0 0 0 0 0 0 20 0 1 0 65818928 52015104 1824 18446744073709551615 4227072 8923433 140733322804016 0 0 0 0 0 8405026 1 0 0 17 2 0 0 0 0 0 9823104 9832592 34127872 140733322807634 140733322807848 140733322807848 140733322813418 0
/proc/71828/statm: 12699 1824 1728 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10112 KiB

[startup+0.304674 s]*
/proc/loadavg: 4.09 4.11 4.06 1/261 71828
/proc/meminfo: memFree=106625296/131249988 swapFree=33010160/33010684
[pid=71826] ppid=71823 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/71826/stat : 71826 (run-opt-log.sh) S 71823 71826 71409 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 65818928 4292608 704 18446744073709551615 94575699959808 94575700854341 140724482959648 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94575701093392 94575701141136 94575730135040 140724482963745 140724482963940 140724482963940 140724482969542 0
/proc/71826/statm: 1048 704 672 219 0 110 0
[pid=71828] ppid=71826 vsize=50796 memory=7296 CPUtime=0 cores=0,2
/proc/71828/stat : 71828 (roundingsat) D 71826 71826 71409 0 -1 4194304 298 0 0 0 0 0 0 0 20 0 1 0 65818928 52015104 1824 18446744073709551615 4227072 8923433 140733322804016 0 0 0 0 0 8405026 1 0 0 17 2 0 0 0 0 0 9823104 9832592 34127872 140733322807634 140733322807848 140733322807848 140733322813418 0
/proc/71828/statm: 12699 1824 1728 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10112 KiB

[startup+0.70025 s]
/proc/loadavg: 4.09 4.11 4.06 1/261 71828
/proc/meminfo: memFree=106625296/131249988 swapFree=33010160/33010684
[pid=71826] ppid=71823 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/71826/stat : 71826 (run-opt-log.sh) S 71823 71826 71409 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 65818928 4292608 704 18446744073709551615 94575699959808 94575700854341 140724482959648 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94575701093392 94575701141136 94575730135040 140724482963745 140724482963940 140724482963940 140724482969542 0
/proc/71826/statm: 1048 704 672 219 0 110 0
[pid=71828] ppid=71826 vsize=111456 memory=63756 CPUtime=0.01 cores=0,2
/proc/71828/stat : 71828 (roundingsat) R 71826 71826 71409 0 -1 4194304 4025 0 0 0 0 1 0 0 20 0 1 0 65818928 114130944 15939 18446744073709551615 4227072 8923433 140733322804016 0 0 0 0 0 8405026 0 0 0 17 2 0 0 0 0 0 9823104 9832592 34127872 140733322807634 140733322807848 140733322807848 140733322813418 0
/proc/71828/statm: 27864 15939 1888 1147 0 15291 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 115648 KiB
Current children cumulated memory: 66572 KiB

[startup+1.50018 s]
/proc/loadavg: 4.09 4.11 4.06 4/261 71828
/proc/meminfo: memFree=112363828/131249988 swapFree=33010160/33010684
[pid=71826] ppid=71823 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/71826/stat : 71826 (run-opt-log.sh) S 71823 71826 71409 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 65818928 4292608 704 18446744073709551615 94575699959808 94575700854341 140724482959648 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94575701093392 94575701141136 94575730135040 140724482963745 140724482963940 140724482963940 140724482969542 0
/proc/71826/statm: 1048 704 672 219 0 110 0
[pid=71828] ppid=71826 vsize=169416 memory=124496 CPUtime=0.82 cores=0,2
/proc/71828/stat : 71828 (roundingsat) R 71826 71826 71409 0 -1 4194304 17059 0 0 0 66 16 0 0 20 0 1 0 65818928 173481984 31124 18446744073709551615 4227072 8923433 140733322804016 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34127872 140733322807634 140733322807848 140733322807848 140733322813418 0
/proc/71828/statm: 42354 31124 1952 1147 0 29781 0
Current children cumulated CPU time: 0.82 s
Current children cumulated vsize: 173608 KiB
Current children cumulated memory: 127312 KiB

[startup+3.10558 s]
/proc/loadavg: 4.09 4.11 4.06 5/273 71868
/proc/meminfo: memFree=128536588/131249988 swapFree=33010160/33010684
[pid=71826] ppid=71823 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/71826/stat : 71826 (run-opt-log.sh) S 71823 71826 71409 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 65818928 4292608 704 18446744073709551615 94575699959808 94575700854341 140724482959648 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94575701093392 94575701141136 94575730135040 140724482963745 140724482963940 140724482963940 140724482969542 0
/proc/71826/statm: 1048 704 672 219 0 110 0
[pid=71828] ppid=71826 vsize=738316 memory=457356 CPUtime=2.41 cores=0,2
/proc/71828/stat : 71828 (roundingsat) R 71826 71826 71409 0 -1 4194304 37036 0 0 0 200 41 0 0 20 0 1 0 65818928 756035584 114339 18446744073709551615 4227072 8923433 140733322804016 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34127872 140733322807634 140733322807848 140733322807848 140733322813418 0
/proc/71828/statm: 184579 114339 2240 1147 0 172006 0
Current children cumulated CPU time: 2.41 s
Current children cumulated vsize: 742508 KiB
Current children cumulated memory: 460172 KiB
heavy processes:

[startup+6.30018 s]
/proc/loadavg: 4.09 4.11 4.06 5/273 71868
/proc/meminfo: memFree=127195748/131249988 swapFree=33010160/33010684
[pid=71826] ppid=71823 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/71826/stat : 71826 (run-opt-log.sh) S 71823 71826 71409 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 65818928 4292608 704 18446744073709551615 94575699959808 94575700854341 140724482959648 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94575701093392 94575701141136 94575730135040 140724482963745 140724482963940 140724482963940 140724482969542 0
/proc/71826/statm: 1048 704 672 219 0 110 0
[pid=71828] ppid=71826 vsize=805700 memory=675632 CPUtime=5.6 cores=0,2
/proc/71828/stat : 71828 (roundingsat) R 71826 71826 71409 0 -1 4194304 59833 0 0 0 407 153 0 0 20 0 1 0 65818928 825036800 168908 18446744073709551615 4227072 8923433 140733322804016 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34127872 140733322807634 140733322807848 140733322807848 140733322813418 0
/proc/71828/statm: 201425 168908 2336 1147 0 188852 0
Current children cumulated CPU time: 5.6 s
Current children cumulated vsize: 809892 KiB
Current children cumulated memory: 678448 KiB

[startup+12.7002 s]
/proc/loadavg: 4.16 4.12 4.06 5/273 71868
/proc/meminfo: memFree=126896692/131249988 swapFree=33010160/33010684
[pid=71826] ppid=71823 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/71826/stat : 71826 (run-opt-log.sh) S 71823 71826 71409 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 65818928 4292608 704 18446744073709551615 94575699959808 94575700854341 140724482959648 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94575701093392 94575701141136 94575730135040 140724482963745 140724482963940 140724482963940 140724482969542 0
/proc/71826/statm: 1048 704 672 219 0 110 0
[pid=71828] ppid=71826 vsize=926144 memory=787588 CPUtime=11.98 cores=0,2
/proc/71828/stat : 71828 (roundingsat) R 71826 71826 71409 0 -1 4194304 63320 0 0 0 1001 197 0 0 20 0 1 0 65818928 948371456 196897 18446744073709551615 4227072 8923433 140733322804016 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34127872 140733322807634 140733322807848 140733322807848 140733322813418 0
/proc/71828/statm: 231536 196897 2336 1147 0 218963 0
Current children cumulated CPU time: 11.98 s
Current children cumulated vsize: 930336 KiB
Current children cumulated memory: 790404 KiB

[startup+25.5002 s]
/proc/loadavg: 4.19 4.13 4.07 5/273 71868
/proc/meminfo: memFree=126289148/131249988 swapFree=33010160/33010684
[pid=71826] ppid=71823 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/71826/stat : 71826 (run-opt-log.sh) S 71823 71826 71409 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 65818928 4292608 704 18446744073709551615 94575699959808 94575700854341 140724482959648 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94575701093392 94575701141136 94575730135040 140724482963745 140724482963940 140724482963940 140724482969542 0
/proc/71826/statm: 1048 704 672 219 0 110 0
[pid=71828] ppid=71826 vsize=1186424 memory=1029488 CPUtime=24.75 cores=0,2
/proc/71828/stat : 71828 (roundingsat) R 71826 71826 71409 0 -1 4194304 71659 0 0 0 2189 286 0 0 20 0 1 0 65818928 1214898176 257372 18446744073709551615 4227072 8923433 140733322804016 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34127872 140733322807634 140733322807848 140733322807848 140733322813418 0
/proc/71828/statm: 296606 257372 2368 1147 0 284033 0
Current children cumulated CPU time: 24.75 s
Current children cumulated vsize: 1190616 KiB
Current children cumulated memory: 1032304 KiB

[startup+51.1057 s]
/proc/loadavg: 4.13 4.12 4.06 5/272 71869
/proc/meminfo: memFree=125117656/131249988 swapFree=33010160/33010684
[pid=71826] ppid=71823 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/71826/stat : 71826 (run-opt-log.sh) S 71823 71826 71409 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 65818928 4292608 704 18446744073709551615 94575699959808 94575700854341 140724482959648 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94575701093392 94575701141136 94575730135040 140724482963745 140724482963940 140724482963940 140724482969542 0
/proc/71826/statm: 1048 704 672 219 0 110 0
[pid=71828] ppid=71826 vsize=1606624 memory=1464660 CPUtime=50.28 cores=0,2
/proc/71828/stat : 71828 (roundingsat) R 71826 71826 71409 0 -1 4194304 119132 0 0 0 4241 787 0 0 20 0 1 0 65818928 1645182976 366165 18446744073709551615 4227072 8923433 140733322804016 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34127872 140733322807634 140733322807848 140733322807848 140733322813418 0
/proc/71828/statm: 401656 366165 2368 1147 0 389083 0
Current children cumulated CPU time: 50.28 s
Current children cumulated vsize: 1610816 KiB
Current children cumulated memory: 1467476 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.11 4.07 5/273 71876
/proc/meminfo: memFree=123006576/131249988 swapFree=33010160/33010684
[pid=71826] ppid=71823 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/71826/stat : 71826 (run-opt-log.sh) S 71823 71826 71409 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 65818928 4292608 704 18446744073709551615 94575699959808 94575700854341 140724482959648 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94575701093392 94575701141136 94575730135040 140724482963745 140724482963940 140724482963940 140724482969542 0
/proc/71826/statm: 1048 704 672 219 0 110 0
[pid=71828] ppid=71826 vsize=2152016 memory=1999432 CPUtime=101.32 cores=0,2
/proc/71828/stat : 71828 (roundingsat) R 71826 71826 71409 0 -1 4194304 168087 0 0 0 8877 1255 0 0 20 0 1 0 65818928 2203664384 499858 18446744073709551615 4227072 8923433 140733322804016 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34127872 140733322807634 140733322807848 140733322807848 140733322813418 0
/proc/71828/statm: 538004 499858 2368 1147 0 525431 0
Current children cumulated CPU time: 101.32 s
Current children cumulated vsize: 2156208 KiB
Current children cumulated memory: 2002248 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.12 4.07 5/274 71881
/proc/meminfo: memFree=119268452/131249988 swapFree=33010160/33010684
[pid=71826] ppid=71823 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/71826/stat : 71826 (run-opt-log.sh) S 71823 71826 71409 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 65818928 4292608 704 18446744073709551615 94575699959808 94575700854341 140724482959648 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94575701093392 94575701141136 94575730135040 140724482963745 140724482963940 140724482963940 140724482969542 0
/proc/71826/statm: 1048 704 672 219 0 110 0
[pid=71828] ppid=71826 vsize=3568888 memory=3244048 CPUtime=161.13 cores=0,2
/proc/71828/stat : 71828 (roundingsat) R 71826 71826 71409 0 -1 4194304 377865 0 0 0 14641 1472 0 0 20 0 1 0 65818928 3654541312 811012 18446744073709551615 4227072 8923433 140733322804016 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34127872 140733322807634 140733322807848 140733322807848 140733322813418 0
/proc/71828/statm: 892222 811012 2368 1147 0 879649 0
Current children cumulated CPU time: 161.13 s
Current children cumulated vsize: 3573080 KiB
Current children cumulated memory: 3246864 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.11 4.07 5/273 71882
/proc/meminfo: memFree=114908100/131249988 swapFree=33010160/33010684
[pid=71826] ppid=71823 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/71826/stat : 71826 (run-opt-log.sh) S 71823 71826 71409 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 65818928 4292608 704 18446744073709551615 94575699959808 94575700854341 140724482959648 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94575701093392 94575701141136 94575730135040 140724482963745 140724482963940 140724482963940 140724482969542 0
/proc/71826/statm: 1048 704 672 219 0 110 0
[pid=71828] ppid=71826 vsize=5598000 memory=4794876 CPUtime=220.94 cores=0,2

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

/proc/71826/stat : 71826 (run-opt-log.sh) S 71823 71826 71409 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 65818928 4292608 704 18446744073709551615 94575699959808 94575700854341 140724482959648 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94575701093392 94575701141136 94575730135040 140724482963745 140724482963940 140724482963940 140724482969542 0
/proc/71826/statm: 1048 704 672 219 0 110 0
[pid=71828] ppid=71826 vsize=29346204 memory=24011056 CPUtime=1955.86 cores=0,2
/proc/71828/stat : 71828 (roundingsat) R 71826 71826 71409 0 -1 4194304 3691775 0 0 0 178172 17414 0 0 20 0 1 0 65818928 30050512896 6002764 18446744073709551615 4227072 8923433 140733322804016 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34127872 140733322807634 140733322807848 140733322807848 140733322813418 0
/proc/71828/statm: 7336551 6002764 2400 1147 0 7323978 0
Current children cumulated CPU time: 1955.86 s
Current children cumulated vsize: 29350396 KiB
Current children cumulated memory: 24013872 KiB

[startup+2022.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/274 71976
/proc/meminfo: memFree=60836832/131249988 swapFree=33010160/33010684
[pid=71826] ppid=71823 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/71826/stat : 71826 (run-opt-log.sh) S 71823 71826 71409 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 65818928 4292608 704 18446744073709551615 94575699959808 94575700854341 140724482959648 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94575701093392 94575701141136 94575730135040 140724482963745 140724482963940 140724482963940 140724482969542 0
/proc/71826/statm: 1048 704 672 219 0 110 0
[pid=71828] ppid=71826 vsize=29349168 memory=24240732 CPUtime=2015.68 cores=0,2
/proc/71828/stat : 71828 (roundingsat) R 71826 71826 71409 0 -1 4194304 3722360 0 0 0 182961 18607 0 0 20 0 1 0 65818928 30053548032 6060183 18446744073709551615 4227072 8923433 140733322804016 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34127872 140733322807634 140733322807848 140733322807848 140733322813418 0
/proc/71828/statm: 7337292 6060183 2400 1147 0 7324719 0
Current children cumulated CPU time: 2015.68 s
Current children cumulated vsize: 29353360 KiB
Current children cumulated memory: 24243548 KiB

[startup+2082.3 s]
/proc/loadavg: 4.18 4.12 4.10 5/274 71978
/proc/meminfo: memFree=58508952/131249988 swapFree=33010160/33010684
[pid=71826] ppid=71823 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/71826/stat : 71826 (run-opt-log.sh) S 71823 71826 71409 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 65818928 4292608 704 18446744073709551615 94575699959808 94575700854341 140724482959648 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94575701093392 94575701141136 94575730135040 140724482963745 140724482963940 140724482963940 140724482969542 0
/proc/71826/statm: 1048 704 672 219 0 110 0
[pid=71828] ppid=71826 vsize=29349168 memory=24382132 CPUtime=2075.52 cores=0,2
/proc/71828/stat : 71828 (roundingsat) R 71826 71826 71409 0 -1 4194304 3735863 0 0 0 187727 19825 0 0 20 0 1 0 65818928 30053548032 6095533 18446744073709551615 4227072 8923433 140733322804016 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34127872 140733322807634 140733322807848 140733322807848 140733322813418 0
/proc/71828/statm: 7337292 6095533 2400 1147 0 7324719 0
Current children cumulated CPU time: 2075.52 s
Current children cumulated vsize: 29353360 KiB
Current children cumulated memory: 24384948 KiB

[startup+2142.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/275 71981
/proc/meminfo: memFree=57384036/131249988 swapFree=33010160/33010684
[pid=71826] ppid=71823 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/71826/stat : 71826 (run-opt-log.sh) S 71823 71826 71409 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 65818928 4292608 704 18446744073709551615 94575699959808 94575700854341 140724482959648 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94575701093392 94575701141136 94575730135040 140724482963745 140724482963940 140724482963940 140724482969542 0
/proc/71826/statm: 1048 704 672 219 0 110 0
[pid=71828] ppid=71826 vsize=29349168 memory=24519588 CPUtime=2135.34 cores=0,2
/proc/71828/stat : 71828 (roundingsat) R 71826 71826 71409 0 -1 4194304 3745451 0 0 0 192515 21019 0 0 20 0 1 0 65818928 30053548032 6129897 18446744073709551615 4227072 8923433 140733322804016 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34127872 140733322807634 140733322807848 140733322807848 140733322813418 0
/proc/71828/statm: 7337292 6129897 2400 1147 0 7324719 0
Current children cumulated CPU time: 2135.34 s
Current children cumulated vsize: 29353360 KiB
Current children cumulated memory: 24522404 KiB

[startup+2202.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/276 71984
/proc/meminfo: memFree=56016252/131249988 swapFree=33010160/33010684
[pid=71826] ppid=71823 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/71826/stat : 71826 (run-opt-log.sh) S 71823 71826 71409 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 65818928 4292608 704 18446744073709551615 94575699959808 94575700854341 140724482959648 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94575701093392 94575701141136 94575730135040 140724482963745 140724482963940 140724482963940 140724482969542 0
/proc/71826/statm: 1048 704 672 219 0 110 0
[pid=71828] ppid=71826 vsize=29349168 memory=24632552 CPUtime=2195.17 cores=0,2
/proc/71828/stat : 71828 (roundingsat) R 71826 71826 71409 0 -1 4194304 3748227 0 0 0 197298 22219 0 0 20 0 1 0 65818928 30053548032 6158138 18446744073709551615 4227072 8923433 140733322804016 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34127872 140733322807634 140733322807848 140733322807848 140733322813418 0
/proc/71828/statm: 7337292 6158138 2400 1147 0 7324719 0
Current children cumulated CPU time: 2195.17 s
Current children cumulated vsize: 29353360 KiB
Current children cumulated memory: 24635368 KiB

[startup+2262.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/274 71986
/proc/meminfo: memFree=54612564/131249988 swapFree=33010160/33010684
[pid=71826] ppid=71823 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/71826/stat : 71826 (run-opt-log.sh) S 71823 71826 71409 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 65818928 4292608 704 18446744073709551615 94575699959808 94575700854341 140724482959648 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94575701093392 94575701141136 94575730135040 140724482963745 140724482963940 140724482963940 140724482969542 0
/proc/71826/statm: 1048 704 672 219 0 110 0
[pid=71828] ppid=71826 vsize=29349168 memory=24743148 CPUtime=2254.98 cores=0,2
/proc/71828/stat : 71828 (roundingsat) R 71826 71826 71409 0 -1 4194304 3750172 0 0 0 202105 23393 0 0 20 0 1 0 65818928 30053548032 6185787 18446744073709551615 4227072 8923433 140733322804016 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34127872 140733322807634 140733322807848 140733322807848 140733322813418 0
/proc/71828/statm: 7337292 6185787 2400 1147 0 7324719 0
Current children cumulated CPU time: 2254.98 s
Current children cumulated vsize: 29353360 KiB
Current children cumulated memory: 24745964 KiB

[startup+2322.3 s]
/proc/loadavg: 4.16 4.13 4.10 5/275 71989
/proc/meminfo: memFree=52679072/131249988 swapFree=33010160/33010684
[pid=71826] ppid=71823 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/71826/stat : 71826 (run-opt-log.sh) S 71823 71826 71409 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 65818928 4292608 704 18446744073709551615 94575699959808 94575700854341 140724482959648 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94575701093392 94575701141136 94575730135040 140724482963745 140724482963940 140724482963940 140724482969542 0
/proc/71826/statm: 1048 704 672 219 0 110 0
[pid=71828] ppid=71826 vsize=29349168 memory=24855788 CPUtime=2314.82 cores=0,2
/proc/71828/stat : 71828 (roundingsat) R 71826 71826 71409 0 -1 4194304 3752933 0 0 0 206945 24537 0 0 20 0 1 0 65818928 30053548032 6213947 18446744073709551615 4227072 8923433 140733322804016 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34127872 140733322807634 140733322807848 140733322807848 140733322813418 0
/proc/71828/statm: 7337292 6213947 2400 1147 0 7324719 0
Current children cumulated CPU time: 2314.82 s
Current children cumulated vsize: 29353360 KiB
Current children cumulated memory: 24858604 KiB



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+2346 s]*
/proc/loadavg: 4.17 4.14 4.10 5/277 71993
/proc/meminfo: memFree=51353720/131249988 swapFree=33010160/33010684
[pid=71826] ppid=71823 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/71826/stat : 71826 (run-opt-log.sh) S 71823 71826 71409 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 65818928 4292608 704 18446744073709551615 94575699959808 94575700854341 140724482959648 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94575701093392 94575701141136 94575730135040 140724482963745 140724482963940 140724482963940 140724482969542 0
/proc/71826/statm: 1048 704 672 219 0 110 0
[pid=71828] ppid=71826 vsize=31795132 memory=25494576 CPUtime=2338.38 cores=0,2
/proc/71828/stat : 71828 (roundingsat) S 71826 71826 71409 0 -1 4195840 3903622 0 1 0 208818 25020 0 0 20 0 1 0 65818928 32558215168 6373644 18446744073709551615 4227072 8923433 140733322804016 140733322800544 139819234146924 0 0 0 8404994 1 0 0 17 0 0 0 0 0 0 9823104 9832592 34127872 140733322807634 140733322807848 140733322807848 140733322813418 6
/proc/71828/statm: 7948783 6373644 2528 1147 0 7936210 0
Current children cumulated CPU time: 2338.38 s
Current children cumulated vsize: 31799324 KiB
Current children cumulated memory: 25497392 KiB

Sending SIGTERM to process tree (bottom up)

[startup+2346.01 s]
# the end of solver process 71826 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=0 s, system=0.001923 s
Sleeping 2 seconds

Sending SIGKILL to process tree (bottom up)
??? end of watcher thread

[startup+2348.67 s]
# the end of solver process 71828 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)

# cumulated CPU time of all completed processes:  user=2088.18 s, system=251.52 s
# this solver process was not waited by its parent and was adopted by runsolver

Solver just ended.
Dumping a history of the last processes samples

[startup+2347.2 s]
/proc/loadavg: 4.17 4.14 4.10 5/276 71993
/proc/meminfo: memFree=50247840/131249988 swapFree=33010160/33010684
[pid=71828] ppid=71823 vsize=31795132 memory=25494576 CPUtime=2339.06 cores=0,2
/proc/71828/stat : 71828 (roundingsat) S 71823 71826 71409 0 -1 4195840 3903622 0 1 0 208818 25088 0 0 20 0 1 0 65818928 32558215168 6373644 18446744073709551615 4227072 8923433 140733322804016 140733322800544 139819234146924 0 0 0 8404994 1 0 0 17 2 0 0 0 0 0 9823104 9832592 34127872 140733322807634 140733322807848 140733322807848 140733322813418 6
/proc/71828/statm: 7948783 6373644 2528 1147 0 7936210 0
Current cumulated CPU time of completed processes: 0.001923 s
Current children cumulated CPU time: 2339.06 s
Current children cumulated vsize: 31795132 KiB
Current children cumulated memory: 25494576 KiB

[startup+2347.6 s]
/proc/loadavg: 4.17 4.14 4.10 5/276 71993
/proc/meminfo: memFree=50247840/131249988 swapFree=33010160/33010684
[pid=71828] ppid=71823 vsize=31795132 memory=25494576 CPUtime=2339.06 cores=0,2
/proc/71828/stat : 71828 (roundingsat) S 71823 71826 71409 0 -1 4195840 3903622 0 1 0 208818 25088 0 0 20 0 1 0 65818928 32558215168 6373644 18446744073709551615 4227072 8923433 140733322804016 140733322800544 139819234146924 0 0 0 8404994 1 0 0 17 2 0 0 0 0 0 9823104 9832592 34127872 140733322807634 140733322807848 140733322807848 140733322813418 6
/proc/71828/statm: 7948783 6373644 2528 1147 0 7936210 0
Current cumulated CPU time of completed processes: 0.001923 s
Current children cumulated CPU time: 2339.06 s
Current children cumulated vsize: 31795132 KiB
Current children cumulated memory: 25494576 KiB

[startup+2348 s]*
/proc/loadavg: 4.16 4.14 4.10 5/276 71993
/proc/meminfo: memFree=50187136/131249988 swapFree=33010160/33010684
[pid=71828] ppid=71823 vsize=31795132 memory=25494576 CPUtime=2339.06 cores=0,2
/proc/71828/stat : 71828 (roundingsat) S 71823 71826 71409 0 -1 4195840 3903622 0 1 0 208818 25088 0 0 20 0 1 0 65818928 32558215168 6373644 18446744073709551615 4227072 8923433 140733322804016 140733322800544 139819234146924 0 0 0 8404994 1 0 0 17 2 0 0 0 0 0 9823104 9832592 34127872 140733322807634 140733322807848 140733322807848 140733322813418 6
/proc/71828/statm: 7948783 6373644 2528 1147 0 7936210 0
Current cumulated CPU time of completed processes: 0.001923 s
Current children cumulated CPU time: 2339.06 s
Current children cumulated vsize: 31795132 KiB
Current children cumulated memory: 25494576 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 2348.67
CPU time (s): 2339.7
CPU user time (s): 2088.18
CPU system time (s): 251.52
CPU usage (%): 99.6185
Max. virtual memory (cumulated for all children) (KiB): 31799324
Max. memory (cumulated for all children) (KiB): 25497392

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2088.18
system time used= 251.52
maximum resident set size= 25494576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3903830
page faults= 1
swaps= 0
block input operations= 184
block output operations= 21646736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 773
involuntary context switches= 4142


# summary of solver processes directly reported to runsolver:
#   pid: 71826,71828
#   total CPU time (s): 2339.7
#   total CPU user time (s): 2088.18
#   total CPU system time (s): 251.52

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.17252 second user time and 11.2247 second system time

The end

Launcher Data

Begin job on nodeC020 at 2025-07-03 02:10:14
IDJOB=4506137
IDBENCH=157841
IDSOLVER=3351
FILE ID=nodeC020/4506137-1751501413
RUNJOBID= nodeC020-1751497800-71419
SLURM_JOB_ID= 9598575
Free space on /tmp= 431932 MiB

SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB12/OPT-LIN/sroussel/NG/normalized-NG.dot_fibo_10null10mast_rapportOE2.0_TMAX15_K192_cod1.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506137-1751501413/watcher-4506137-1751501413 -o /tmp/evaluation-result-4506137-1751501413/solver-4506137-1751501413 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751497800-71419 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4506137-1751501413.opb PROOFDIR/proof-4506137-1751501413

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

MD5SUM BENCH= b14a0a898e5e623e09f97d156db7ef84
RANDOM SEED=1560073671

nodeC020 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/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		: 3599.898
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.79
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		: 1199.964
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.79
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		: 3604.075
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.79
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		: 1199.607
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.79
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		: 3700.000
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.79
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		: 3700.000
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.79
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.512
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.79
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		: 3700.000
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        106625296 kB
MemAvailable:   129730444 kB
Buffers:            2128 kB
Cached:         23880700 kB
SwapCached:           12 kB
Active:           617076 kB
Inactive:       23345224 kB
Active(anon):      72428 kB
Inactive(anon):    25084 kB
Active(file):     544648 kB
Inactive(file): 23320140 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             73972 kB
Writeback:             0 kB
AnonPages:         82176 kB
Mapped:           107528 kB
Shmem:             18040 kB
KReclaimable:     159200 kB
Slab:             249128 kB
SReclaimable:     159200 kB
SUnreclaim:        89928 kB
KernelStack:        4192 kB
PageTables:         2964 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:     368740 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150536 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     22528 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      197332 kB
DirectMap2M:     7962624 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 429720 MiB
End job on nodeC020 at 2025-07-03 02:49:22