Trace number 4504618

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 63f22ad? 2175.03 2181.22

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat50_6_9_4_mh.opb
MD5SUM5c375d9eec0e7448397e2587af216396
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark3216958
Best CPU time to get the best result obtained on this benchmark69524.2
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables250200
Total number of constraints605407
Number of constraints which are clauses477850
Number of constraints which are cardinality constraints (but not clauses)57
Number of constraints which are nor clauses,nor cardinality constraints127500
Minimum length of a constraint2
Maximum length of a constraint3725
Number of terms in the objective function 129900
Biggest coefficient in the objective function 148877000
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 69830910074
Number of bits of the sum of numbers in the objective function 37
Biggest number in a constraint 148877000
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 69830910074
Number of bits of the biggest sum of numbers37
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.57/2.65	c #variables 250200 #constraints 610311
2.57/2.65	c objective is ce32 
3.16/3.24	c initial watched  CF 32, 64, 128, Arb: 50 , 0 , 0 , 0
3.16/3.24	c initial counting CF 32, 64, 128, Arb: 121326 , 0 , 0 , 0
3.16/3.24	c GLOBAL bounds - >= -50 @ 2.3505
3.46/3.52	c GLOBAL bounds - >= -50 @ 2.48167
3.67/3.76	c GLOBAL bounds - >= -50 @ 2.64184
3.97/4.01	c GLOBAL bounds - >= -50 @ 2.80418
4.16/4.25	c GLOBAL bounds - >= -50 @ 2.97187
4.37/4.46	c GLOBAL bounds - >= -50 @ 3.10854
4.57/4.68	c GLOBAL bounds - >= -50 @ 3.25724
4.87/4.90	c GLOBAL bounds - >= -50 @ 3.41189
5.07/5.12	c GLOBAL bounds - >= -50 @ 3.55858
5.26/5.38	c GLOBAL bounds - >= -50 @ 3.74995
5.56/5.65	c GLOBAL bounds - >= -50 @ 3.949
5.76/5.89	c GLOBAL bounds - >= -50 @ 4.11368
6.06/6.16	c GLOBAL bounds - >= -50 @ 4.31712
6.26/6.39	c GLOBAL bounds - >= -50 @ 4.47614
6.65/6.71	c GLOBAL bounds - >= -50 @ 4.7195
6.86/6.99	c GLOBAL bounds - >= -50 @ 4.92391
7.25/7.38	c GLOBAL bounds - >= -50 @ 5.23175
7.55/7.63	c GLOBAL bounds - >= -50 @ 5.39377
7.76/7.87	c GLOBAL bounds - >= -50 @ 5.55378
8.06/8.13	c GLOBAL bounds - >= -50 @ 5.72521
8.25/8.37	c GLOBAL bounds - >= -50 @ 5.89184
8.55/8.63	c GLOBAL bounds - >= -50 @ 6.08429
8.76/8.85	c GLOBAL bounds - >= -50 @ 6.21689
8.95/9.08	c GLOBAL bounds - >= -50 @ 6.35771
9.25/9.36	c GLOBAL bounds - >= -50 @ 6.5584
9.45/9.59	c GLOBAL bounds - >= -50 @ 6.7145
9.85/9.92	c GLOBAL bounds - >= -50 @ 6.96444
10.15/10.28	c GLOBAL bounds - >= -50 @ 7.24749
10.55/10.65	c GLOBAL bounds - >= -50 @ 7.5428
10.95/11.06	c GLOBAL bounds - >= -50 @ 7.85411
11.24/11.37	c GLOBAL bounds - >= -50 @ 8.08248
11.54/11.65	c GLOBAL bounds - >= -50 @ 8.2845
11.84/11.95	c GLOBAL bounds - >= -50 @ 8.4994
12.14/12.29	c GLOBAL bounds - >= -50 @ 8.75251
12.44/12.54	c GLOBAL bounds - >= -50 @ 8.91889
12.74/12.89	c GLOBAL bounds - >= -50 @ 9.19259
13.14/13.29	c GLOBAL bounds - >= -50 @ 9.50992
13.84/13.93	c GLOBAL bounds - >= -50 @ 10.0502
14.04/14.17	c GLOBAL bounds - >= -50 @ 10.2159
14.94/15.10	c GLOBAL bounds - >= -50 @ 11.0471
20.22/20.37	c GLOBAL bounds - >= -50 @ 16.0556
24.60/24.70	c GLOBAL bounds - >= 137781 @ 20.3199
27.49/27.62	c GLOBAL bounds - >= 137781 @ 23.0965
27.49/27.68	c GLOBAL bounds - >= 137781 @ 23.1356
27.59/27.74	c GLOBAL bounds - >= 137781 @ 23.1682
27.90/28.00	c GLOBAL bounds - >= 137781 @ 23.3062
27.90/28.09	c GLOBAL bounds - >= 137781 @ 23.364
28.29/28.46	c GLOBAL bounds - >= 137781 @ 23.5737
28.39/28.53	c GLOBAL bounds - >= 137781 @ 23.6175
28.59/28.79	c GLOBAL bounds - >= 137781 @ 23.7513
28.59/28.79	c GLOBAL bounds - >= 137781 @ 23.7556
28.89/29.07	c GLOBAL bounds - >= 137781 @ 23.8827
28.99/29.14	c GLOBAL bounds - >= 137781 @ 23.927
29.29/29.49	c GLOBAL bounds - >= 137781 @ 24.1137
29.38/29.57	c GLOBAL bounds - >= 137781 @ 24.1584
29.69/29.84	c GLOBAL bounds - >= 137781 @ 24.3135
29.79/29.92	c GLOBAL bounds - >= 137781 @ 24.3635
30.09/30.24	c GLOBAL bounds - >= 137781 @ 24.5505
30.19/30.31	c GLOBAL bounds - >= 137781 @ 24.6028
30.49/30.61	c GLOBAL bounds - >= 137781 @ 24.7803
30.49/30.69	c GLOBAL bounds - >= 137781 @ 24.8325
30.79/30.95	c GLOBAL bounds - >= 137781 @ 24.9765
30.89/31.02	c GLOBAL bounds - >= 137781 @ 25.0214
31.08/31.28	c GLOBAL bounds - >= 137781 @ 25.1669
31.48/31.64	c GLOBAL bounds - >= 137781 @ 25.4057
32.68/32.84	c GLOBAL bounds - >= 137781 @ 26.4753
34.98/35.14	c GLOBAL bounds - >= 137781 @ 28.6376
40.76/40.93	c GLOBAL bounds - >= 137781 @ 34.2382
59.70/59.93	c GLOBAL bounds - >= 141383 @ 52.8913
59.80/60.09	c GLOBAL bounds - >= 141383 @ 53.0198
59.90/60.16	c GLOBAL bounds - >= 141383 @ 53.0598
59.99/60.23	c GLOBAL bounds - >= 141383 @ 53.1087
60.09/60.30	c GLOBAL bounds - >= 141383 @ 53.1518
60.39/60.66	c GLOBAL bounds - >= 141383 @ 53.3529
60.49/60.73	c GLOBAL bounds - >= 141383 @ 53.4029
60.79/61.10	c GLOBAL bounds - >= 141383 @ 53.5956
60.89/61.17	c GLOBAL bounds - >= 141383 @ 53.6411
61.29/61.57	c GLOBAL bounds - >= 141383 @ 53.8713
61.29/61.58	c GLOBAL bounds - >= 141383 @ 53.8758
61.58/61.87	c GLOBAL bounds - >= 141383 @ 54.0355
61.69/61.95	c GLOBAL bounds - >= 141383 @ 54.0876
62.09/62.30	c GLOBAL bounds - >= 141383 @ 54.2851
62.09/62.36	c GLOBAL bounds - >= 141383 @ 54.3239
62.38/62.65	c GLOBAL bounds - >= 141383 @ 54.4636
62.48/62.72	c GLOBAL bounds - >= 141383 @ 54.5032
62.78/63.03	c GLOBAL bounds - >= 141383 @ 54.6737
62.89/63.10	c GLOBAL bounds - >= 141383 @ 54.716
63.08/63.39	c GLOBAL bounds - >= 141383 @ 54.8606
63.18/63.46	c GLOBAL bounds - >= 141383 @ 54.9092
63.48/63.78	c GLOBAL bounds - >= 141383 @ 55.0986
63.58/63.85	c GLOBAL bounds - >= 141383 @ 55.1399
63.89/64.17	c GLOBAL bounds - >= 141383 @ 55.329
64.38/64.64	c GLOBAL bounds - >= 141383 @ 55.6918
67.97/68.29	c GLOBAL bounds - >= 141383 @ 59.1727
73.65/73.97	c GLOBAL bounds - >= 158911 @ 64.8063
73.95/74.23	c GLOBAL bounds - >= 158911 @ 65.0375
74.05/74.31	c GLOBAL bounds - >= 158911 @ 65.0802
74.05/74.38	c GLOBAL bounds - >= 158911 @ 65.1279
74.45/74.72	c GLOBAL bounds - >= 158911 @ 65.3387
74.45/74.80	c GLOBAL bounds - >= 158911 @ 65.3783
74.85/75.11	c GLOBAL bounds - >= 158911 @ 65.5578
74.85/75.19	c GLOBAL bounds - >= 158911 @ 65.6044
75.25/75.50	c GLOBAL bounds - >= 158911 @ 65.7861
75.25/75.58	c GLOBAL bounds - >= 158911 @ 65.8396
75.65/75.91	c GLOBAL bounds - >= 158911 @ 66.0166
75.65/75.98	c GLOBAL bounds - >= 158911 @ 66.0621
76.05/76.32	c GLOBAL bounds - >= 158911 @ 66.2517
76.05/76.39	c GLOBAL bounds - >= 158911 @ 66.2996
76.44/76.72	c GLOBAL bounds - >= 158911 @ 66.4897
76.54/76.80	c GLOBAL bounds - >= 158911 @ 66.5448
76.85/77.14	c GLOBAL bounds - >= 158911 @ 66.7293
76.94/77.21	c GLOBAL bounds - >= 158911 @ 66.7755
77.24/77.50	c GLOBAL bounds - >= 158911 @ 66.9166
77.24/77.57	c GLOBAL bounds - >= 158911 @ 66.9651
77.54/77.83	c GLOBAL bounds - >= 158911 @ 67.0999
77.64/77.90	c GLOBAL bounds - >= 158911 @ 67.1509
77.84/78.18	c GLOBAL bounds - >= 158911 @ 67.3037
78.24/78.53	c GLOBAL bounds - >= 158911 @ 67.5317
79.54/79.87	c GLOBAL bounds - >= 158911 @ 68.755
82.32/82.66	c GLOBAL bounds - >= 158911 @ 71.4365
84.31/84.64	c GLOBAL bounds - >= 158911 @ 73.2892
85.51/85.86	c GLOBAL bounds - >= 158911 @ 74.3746
86.61/86.96	c GLOBAL bounds - >= 158911 @ 75.3534
97.38/97.71	c #Conflicts:       1000 | #Constraints:    2523525
97.38/97.71	c GLOBAL bounds - >= 165827 @ 85.8192
97.58/97.94	c GLOBAL bounds - >= 165827 @ 86.0202
97.68/98.02	c GLOBAL bounds - >= 165827 @ 86.0698
97.68/98.09	c GLOBAL bounds - >= 165827 @ 86.1216
97.79/98.16	c GLOBAL bounds - >= 165827 @ 86.1705
97.88/98.23	c GLOBAL bounds - >= 165827 @ 86.2197
97.98/98.30	c GLOBAL bounds - >= 165827 @ 86.266
97.98/98.37	c GLOBAL bounds - >= 165827 @ 86.3084
98.57/98.92	c GLOBAL bounds - >= 165827 @ 86.7171
98.57/98.99	c GLOBAL bounds - >= 165827 @ 86.7685
98.97/99.35	c GLOBAL bounds - >= 165827 @ 86.9958
99.08/99.42	c GLOBAL bounds - >= 165827 @ 87.0407
99.38/99.77	c GLOBAL bounds - >= 165827 @ 87.25
99.47/99.85	c GLOBAL bounds - >= 165827 @ 87.2962
99.77/100.17	c GLOBAL bounds - >= 165827 @ 87.4805
99.87/100.24	c GLOBAL bounds - >= 165827 @ 87.5252
100.27/100.61	c GLOBAL bounds - >= 165827 @ 87.7326
100.27/100.69	c GLOBAL bounds - >= 165827 @ 87.7806
100.67/101.10	c GLOBAL bounds - >= 165827 @ 88.0345
100.77/101.17	c GLOBAL bounds - >= 165827 @ 88.0804
101.16/101.55	c GLOBAL bounds - >= 165827 @ 88.3148
101.16/101.59	c GLOBAL bounds - >= 165827 @ 88.3368
101.57/101.93	c GLOBAL bounds - >= 165827 @ 88.534
101.57/102.00	c GLOBAL bounds - >= 165827 @ 88.5777
101.96/102.33	c GLOBAL bounds - >= 165827 @ 88.7675
102.07/102.40	c GLOBAL bounds - >= 165827 @ 88.8147
102.36/102.76	c GLOBAL bounds - >= 165827 @ 89.0151
103.06/103.40	c GLOBAL bounds - >= 165827 @ 89.5443
103.96/104.37	c GLOBAL bounds - >= 165827 @ 90.3947
104.36/104.78	c GLOBAL bounds - >= 165827 @ 90.6724
104.45/104.83	c GLOBAL bounds - >= 165827 @ 90.726
104.55/104.98	c GLOBAL bounds - >= 165827 @ 90.8419
104.66/105.05	c GLOBAL bounds - >= 165827 @ 90.8835
104.76/105.12	c GLOBAL bounds - >= 165827 @ 90.937
104.76/105.19	c GLOBAL bounds - >= 165827 @ 90.9843
105.15/105.50	c GLOBAL bounds - >= 165827 @ 91.1608
105.15/105.57	c GLOBAL bounds - >= 165827 @ 91.2036
105.45/105.88	c GLOBAL bounds - >= 165827 @ 91.3732
105.55/105.95	c GLOBAL bounds - >= 165827 @ 91.4166
105.85/106.26	c GLOBAL bounds - >= 165827 @ 91.5815
105.95/106.34	c GLOBAL bounds - >= 165827 @ 91.6296
106.25/106.62	c GLOBAL bounds - >= 165827 @ 91.7797
106.35/106.70	c GLOBAL bounds - >= 165827 @ 91.8279
106.55/106.99	c GLOBAL bounds - >= 165827 @ 91.9862
106.66/107.06	c GLOBAL bounds - >= 165827 @ 92.0298
106.95/107.39	c GLOBAL bounds - >= 165827 @ 92.2303
107.05/107.46	c GLOBAL bounds - >= 165827 @ 92.2742
107.35/107.79	c GLOBAL bounds - >= 165827 @ 92.4651
107.45/107.86	c GLOBAL bounds - >= 165827 @ 92.5152
107.76/108.19	c GLOBAL bounds - >= 165827 @ 92.727
107.85/108.27	c GLOBAL bounds - >= 165827 @ 92.7817
108.14/108.59	c GLOBAL bounds - >= 165827 @ 92.9761
108.25/108.66	c GLOBAL bounds - >= 165827 @ 93.0282
108.54/108.94	c GLOBAL bounds - >= 165827 @ 93.1771
108.94/109.31	c GLOBAL bounds - >= 165827 @ 93.429
109.44/109.89	c GLOBAL bounds - >= 165827 @ 93.8916
110.84/111.23	c GLOBAL bounds - >= 165827 @ 95.1257
133.27/133.75	c GLOBAL bounds - >= 178555 @ 117.37
133.46/133.97	c GLOBAL bounds - >= 178555 @ 117.56
133.57/134.04	c GLOBAL bounds - >= 178555 @ 117.602
133.67/134.11	c GLOBAL bounds - >= 178555 @ 117.649
133.67/134.18	c GLOBAL bounds - >= 178555 @ 117.701
134.17/134.60	c GLOBAL bounds - >= 178555 @ 117.963
134.17/134.67	c GLOBAL bounds - >= 178555 @ 118.009
134.47/134.98	c GLOBAL bounds - >= 178555 @ 118.168
134.57/135.05	c GLOBAL bounds - >= 178555 @ 118.219
134.86/135.39	c GLOBAL bounds - >= 178555 @ 118.413
134.96/135.47	c GLOBAL bounds - >= 178555 @ 118.461
135.26/135.75	c GLOBAL bounds - >= 178555 @ 118.609
135.36/135.83	c GLOBAL bounds - >= 178555 @ 118.662
135.67/136.18	c GLOBAL bounds - >= 178555 @ 118.855
135.76/136.25	c GLOBAL bounds - >= 178555 @ 118.905
136.16/136.66	c GLOBAL bounds - >= 178555 @ 119.146
136.26/136.73	c GLOBAL bounds - >= 178555 @ 119.189
136.56/137.09	c GLOBAL bounds - >= 178555 @ 119.397
136.66/137.16	c GLOBAL bounds - >= 178555 @ 119.447
136.95/137.48	c GLOBAL bounds - >= 178555 @ 119.618
137.05/137.55	c GLOBAL bounds - >= 178555 @ 119.669
137.36/137.87	c GLOBAL bounds - >= 178555 @ 119.853
137.45/137.94	c GLOBAL bounds - >= 178555 @ 119.902
137.75/138.28	c GLOBAL bounds - >= 178555 @ 120.102
138.25/138.79	c GLOBAL bounds - >= 178555 @ 120.494
138.65/139.19	c GLOBAL bounds - >= 178555 @ 120.786
139.05/139.57	c GLOBAL bounds - >= 178555 @ 121.056
175.33/175.96	c GLOBAL bounds - >= 183359 @ 157.103
175.63/176.21	c GLOBAL bounds - >= 183359 @ 157.313
175.63/176.29	c GLOBAL bounds - >= 183359 @ 157.357
175.74/176.36	c GLOBAL bounds - >= 183359 @ 157.405
175.84/176.43	c GLOBAL bounds - >= 183359 @ 157.451
180.32/180.97	c GLOBAL bounds - >= 183359 @ 161.795
180.43/181.04	c GLOBAL bounds - >= 183359 @ 161.843
180.72/181.32	c GLOBAL bounds - >= 183359 @ 161.982
180.82/181.40	c GLOBAL bounds - >= 183359 @ 162.025
181.12/181.71	c GLOBAL bounds - >= 183359 @ 162.217
181.12/181.79	c GLOBAL bounds - >= 183359 @ 162.262
181.42/182.10	c GLOBAL bounds - >= 183359 @ 162.439
181.52/182.17	c GLOBAL bounds - >= 183359 @ 162.485
181.82/182.49	c GLOBAL bounds - >= 183359 @ 162.661
181.91/182.56	c GLOBAL bounds - >= 183359 @ 162.708
182.22/182.84	c GLOBAL bounds - >= 183359 @ 162.874
182.31/182.91	c GLOBAL bounds - >= 183359 @ 162.923
182.52/183.19	c GLOBAL bounds - >= 183359 @ 163.082
182.61/183.27	c GLOBAL bounds - >= 183359 @ 163.137
182.91/183.51	c GLOBAL bounds - >= 183359 @ 163.242
182.91/183.58	c GLOBAL bounds - >= 183359 @ 163.291
183.21/183.87	c GLOBAL bounds - >= 183359 @ 163.443
183.31/183.94	c GLOBAL bounds - >= 183359 @ 163.494
183.61/184.22	c GLOBAL bounds - >= 183359 @ 163.64
183.91/184.51	c GLOBAL bounds - >= 183359 @ 163.83
184.30/184.95	c GLOBAL bounds - >= 183359 @ 164.156
185.11/185.71	c GLOBAL bounds - >= 183359 @ 164.803
185.90/186.56	c GLOBAL bounds - >= 183359 @ 165.541
186.31/186.91	c GLOBAL bounds - >= 183359 @ 165.786
187.30/187.94	c GLOBAL bounds - >= 183359 @ 166.695
188.30/188.96	c GLOBAL bounds - >= 183359 @ 167.594
188.89/189.54	c GLOBAL bounds - >= 183359 @ 168.069
190.78/191.44	c GLOBAL bounds - >= 183359 @ 169.84
212.32/213.01	c #Conflicts:       2000 | #Constraints:    5322769
212.32/213.01	c INPROCESSING
212.32/213.01	c GARBAGE COLLECT
212.32/213.01	c GLOBAL bounds - >= 183359 @ 191.052
225.37/226.14	c GLOBAL bounds - >= 188741 @ 204.123
225.67/226.46	c GLOBAL bounds - >= 188741 @ 204.418
225.77/226.53	c GLOBAL bounds - >= 188741 @ 204.466
225.88/226.61	c GLOBAL bounds - >= 188741 @ 204.513
225.88/226.68	c GLOBAL bounds - >= 188741 @ 204.564
225.97/226.76	c GLOBAL bounds - >= 188741 @ 204.608
226.07/226.83	c GLOBAL bounds - >= 188741 @ 204.659
226.17/226.91	c GLOBAL bounds - >= 188741 @ 204.707
226.17/226.98	c GLOBAL bounds - >= 188741 @ 204.764
226.28/227.06	c GLOBAL bounds - >= 188741 @ 204.81
226.38/227.13	c GLOBAL bounds - >= 188741 @ 204.867
227.07/227.83	c GLOBAL bounds - >= 188741 @ 205.418
227.16/227.90	c GLOBAL bounds - >= 188741 @ 205.464
227.86/228.67	c GLOBAL bounds - >= 188741 @ 206.103
227.96/228.74	c GLOBAL bounds - >= 188741 @ 206.15
228.27/229.07	c GLOBAL bounds - >= 188741 @ 206.344
228.36/229.15	c GLOBAL bounds - >= 188741 @ 206.39
228.66/229.47	c GLOBAL bounds - >= 188741 @ 206.583
228.76/229.55	c GLOBAL bounds - >= 188741 @ 206.634
229.06/229.87	c GLOBAL bounds - >= 188741 @ 206.823
229.16/229.94	c GLOBAL bounds - >= 188741 @ 206.869
229.46/230.29	c GLOBAL bounds - >= 188741 @ 207.071
229.56/230.37	c GLOBAL bounds - >= 188741 @ 207.124
229.96/230.72	c GLOBAL bounds - >= 188741 @ 207.324
230.06/230.80	c GLOBAL bounds - >= 188741 @ 207.38
230.36/231.14	c GLOBAL bounds - >= 188741 @ 207.554
230.46/231.21	c GLOBAL bounds - >= 188741 @ 207.602
230.75/231.59	c GLOBAL bounds - >= 188741 @ 207.817
230.86/231.66	c GLOBAL bounds - >= 188741 @ 207.866
231.26/232.01	c GLOBAL bounds - >= 188741 @ 208.079
231.55/232.35	c GLOBAL bounds - >= 188741 @ 208.302
232.06/232.90	c GLOBAL bounds - >= 188741 @ 208.739
232.74/233.58	c GLOBAL bounds - >= 188741 @ 209.305
234.54/235.38	c GLOBAL bounds - >= 188741 @ 210.976
239.63/240.48	c GLOBAL bounds - >= 188741 @ 215.945
240.63/241.45	c GLOBAL bounds - >= 188741 @ 216.813
248.10/248.95	c GLOBAL bounds - >= 188923 @ 224.284
248.30/249.17	c GLOBAL bounds - >= 188923 @ 224.478
248.40/249.24	c GLOBAL bounds - >= 188923 @ 224.521
248.50/249.31	c GLOBAL bounds - >= 188923 @ 224.573
248.50/249.39	c GLOBAL bounds - >= 188923 @ 224.626
248.60/249.47	c GLOBAL bounds - >= 188923 @ 224.682
248.69/249.54	c GLOBAL bounds - >= 188923 @ 224.736
249.20/250.02	c GLOBAL bounds - >= 188923 @ 225.084
249.20/250.10	c GLOBAL bounds - >= 188923 @ 225.133
249.59/250.43	c GLOBAL bounds - >= 188923 @ 225.312
249.69/250.50	c GLOBAL bounds - >= 188923 @ 225.364
249.99/250.87	c GLOBAL bounds - >= 188923 @ 225.585
250.10/250.94	c GLOBAL bounds - >= 188923 @ 225.636
250.49/251.30	c GLOBAL bounds - >= 188923 @ 225.848
250.49/251.37	c GLOBAL bounds - >= 188923 @ 225.898
250.79/251.68	c GLOBAL bounds - >= 188923 @ 226.08
250.89/251.75	c GLOBAL bounds - >= 188923 @ 226.124
251.19/252.05	c GLOBAL bounds - >= 188923 @ 226.299
251.30/252.12	c GLOBAL bounds - >= 188923 @ 226.34
251.59/252.40	c GLOBAL bounds - >= 188923 @ 226.492
251.59/252.48	c GLOBAL bounds - >= 188923 @ 226.537
251.89/252.77	c GLOBAL bounds - >= 188923 @ 226.711
251.99/252.85	c GLOBAL bounds - >= 188923 @ 226.755
252.29/253.16	c GLOBAL bounds - >= 188923 @ 226.911
252.39/253.23	c GLOBAL bounds - >= 188923 @ 226.959
252.69/253.57	c GLOBAL bounds - >= 188923 @ 227.158
254.19/255.07	c GLOBAL bounds - >= 188923 @ 228.548
254.98/255.87	c GLOBAL bounds - >= 188923 @ 229.233
255.38/256.26	c GLOBAL bounds - >= 188923 @ 229.511
256.57/257.40	c GLOBAL bounds - >= 188923 @ 230.54
256.57/257.47	c GLOBAL bounds - >= 188923 @ 230.607
256.77/257.61	c GLOBAL bounds - >= 188923 @ 230.729
256.77/257.69	c GLOBAL bounds - >= 188923 @ 230.779
256.87/257.76	c GLOBAL bounds - >= 188923 @ 230.824
256.97/257.83	c GLOBAL bounds - >= 188923 @ 230.876
257.08/257.91	c GLOBAL bounds - >= 188923 @ 230.931
257.37/258.23	c GLOBAL bounds - >= 188923 @ 231.122
257.47/258.30	c GLOBAL bounds - >= 188923 @ 231.171
257.77/258.61	c GLOBAL bounds - >= 188923 @ 231.356
257.77/258.69	c GLOBAL bounds - >= 188923 @ 231.406
258.07/259.00	c GLOBAL bounds - >= 188923 @ 231.594
258.18/259.07	c GLOBAL bounds - >= 188923 @ 231.645
258.47/259.38	c GLOBAL bounds - >= 188923 @ 231.824
258.57/259.46	c GLOBAL bounds - >= 188923 @ 231.869
258.87/259.75	c GLOBAL bounds - >= 188923 @ 232.04
258.96/259.82	c GLOBAL bounds - >= 188923 @ 232.091
259.27/260.16	c GLOBAL bounds - >= 188923 @ 232.292
259.37/260.23	c GLOBAL bounds - >= 188923 @ 232.342
259.66/260.52	c GLOBAL bounds - >= 188923 @ 232.503
259.66/260.59	c GLOBAL bounds - >= 188923 @ 232.55
259.97/260.87	c GLOBAL bounds - >= 188923 @ 232.718
260.06/260.95	c GLOBAL bounds - >= 188923 @ 232.768
260.36/261.22	c GLOBAL bounds - >= 188923 @ 232.919
260.46/261.30	c GLOBAL bounds - >= 188923 @ 232.975
260.67/261.57	c GLOBAL bounds - >= 188923 @ 233.129
262.75/263.62	c GLOBAL bounds - >= 188923 @ 235.056
263.05/263.94	c GLOBAL bounds - >= 188923 @ 235.282
263.45/264.36	c GLOBAL bounds - >= 188923 @ 235.59
263.55/264.43	c GLOBAL bounds - >= 188923 @ 235.658
263.66/264.55	c GLOBAL bounds - >= 188923 @ 235.757
263.76/264.63	c GLOBAL bounds - >= 188923 @ 235.81
263.85/264.70	c GLOBAL bounds - >= 188923 @ 235.857
263.85/264.78	c GLOBAL bounds - >= 188923 @ 235.908
264.16/265.05	c GLOBAL bounds - >= 188923 @ 236.059
264.26/265.13	c GLOBAL bounds - >= 188923 @ 236.116
264.45/265.39	c GLOBAL bounds - >= 188923 @ 236.26
264.55/265.46	c GLOBAL bounds - >= 188923 @ 236.307
264.85/265.71	c GLOBAL bounds - >= 188923 @ 236.439
264.85/265.79	c GLOBAL bounds - >= 188923 @ 236.491
265.15/266.05	c GLOBAL bounds - >= 188923 @ 236.625
265.26/266.12	c GLOBAL bounds - >= 188923 @ 236.67
265.45/266.36	c GLOBAL bounds - >= 188923 @ 236.795
265.55/266.44	c GLOBAL bounds - >= 188923 @ 236.845
265.85/266.72	c GLOBAL bounds - >= 188923 @ 237.016
265.85/266.79	c GLOBAL bounds - >= 188923 @ 237.06
266.15/267.07	c GLOBAL bounds - >= 188923 @ 237.208
266.25/267.14	c GLOBAL bounds - >= 188923 @ 237.264
266.54/267.41	c GLOBAL bounds - >= 188923 @ 237.421
266.54/267.49	c GLOBAL bounds - >= 188923 @ 237.468
266.84/267.72	c GLOBAL bounds - >= 188923 @ 237.584
266.95/267.80	c GLOBAL bounds - >= 188923 @ 237.635
267.15/268.03	c GLOBAL bounds - >= 188923 @ 237.747
268.04/269.00	c GLOBAL bounds - >= 188923 @ 238.603
268.84/269.72	c GLOBAL bounds - >= 188923 @ 239.231
269.24/270.12	c GLOBAL bounds - >= 188923 @ 239.507
269.24/270.19	c GLOBAL bounds - >= 188923 @ 239.574
269.44/270.33	c GLOBAL bounds - >= 188923 @ 239.688
269.54/270.40	c GLOBAL bounds - >= 188923 @ 239.728
269.54/270.48	c GLOBAL bounds - >= 188923 @ 239.779
269.63/270.55	c GLOBAL bounds - >= 188923 @ 239.826
269.93/270.83	c GLOBAL bounds - >= 188923 @ 239.98
270.04/270.90	c GLOBAL bounds - >= 188923 @ 240.025
270.23/271.17	c GLOBAL bounds - >= 188923 @ 240.177
270.33/271.24	c GLOBAL bounds - >= 188923 @ 240.23
270.63/271.54	c GLOBAL bounds - >= 188923 @ 240.406
270.74/271.62	c GLOBAL bounds - >= 188923 @ 240.451
270.93/271.88	c GLOBAL bounds - >= 188923 @ 240.591
271.03/271.96	c GLOBAL bounds - >= 188923 @ 240.638
271.33/272.24	c GLOBAL bounds - >= 188923 @ 240.802
271.43/272.32	c GLOBAL bounds - >= 188923 @ 240.855
271.63/272.58	c GLOBAL bounds - >= 188923 @ 240.997
271.73/272.66	c GLOBAL bounds - >= 188923 @ 241.048
272.02/272.95	c GLOBAL bounds - >= 188923 @ 241.219
272.13/273.02	c GLOBAL bounds - >= 188923 @ 241.267
272.42/273.31	c GLOBAL bounds - >= 188923 @ 241.44
272.42/273.38	c GLOBAL bounds - >= 188923 @ 241.486
272.73/273.67	c GLOBAL bounds - >= 188923 @ 241.654
272.82/273.75	c GLOBAL bounds - >= 188923 @ 241.71
273.13/274.04	c GLOBAL bounds - >= 188923 @ 241.877
273.92/274.85	c GLOBAL bounds - >= 188923 @ 242.584
275.42/276.32	c GLOBAL bounds - >= 188923 @ 243.94
276.62/277.58	c GLOBAL bounds - >= 188923 @ 245.084
301.73/302.78	c GLOBAL bounds - >= 194735 @ 270.194
302.14/303.11	c GLOBAL bounds - >= 194735 @ 270.487
302.14/303.18	c GLOBAL bounds - >= 194735 @ 270.535
302.23/303.26	c GLOBAL bounds - >= 194735 @ 270.583
302.33/303.33	c GLOBAL bounds - >= 194735 @ 270.625
302.63/303.67	c GLOBAL bounds - >= 194735 @ 270.812
302.73/303.75	c GLOBAL bounds - >= 194735 @ 270.866
303.03/304.10	c GLOBAL bounds - >= 194735 @ 271.051
303.13/304.17	c GLOBAL bounds - >= 194735 @ 271.101
303.43/304.49	c GLOBAL bounds - >= 194735 @ 271.26
303.52/304.56	c GLOBAL bounds - >= 194735 @ 271.312
303.93/304.93	c GLOBAL bounds - >= 194735 @ 271.549
304.03/305.00	c GLOBAL bounds - >= 194735 @ 271.595
304.32/305.32	c GLOBAL bounds - >= 194735 @ 271.768
304.43/305.40	c GLOBAL bounds - >= 194735 @ 271.812
304.72/305.78	c GLOBAL bounds - >= 194735 @ 272.043
304.83/305.85	c GLOBAL bounds - >= 194735 @ 272.093
305.22/306.26	c GLOBAL bounds - >= 194735 @ 272.336
305.32/306.33	c GLOBAL bounds - >= 194735 @ 272.381
305.62/306.68	c GLOBAL bounds - >= 194735 @ 272.589
305.72/306.76	c GLOBAL bounds - >= 194735 @ 272.638
306.02/307.05	c GLOBAL bounds - >= 194735 @ 272.793
306.12/307.13	c GLOBAL bounds - >= 194735 @ 272.844
306.32/307.39	c GLOBAL bounds - >= 194735 @ 272.985
307.22/308.23	c GLOBAL bounds - >= 194735 @ 273.706
307.52/308.56	c GLOBAL bounds - >= 194735 @ 273.929
309.51/310.53	c GLOBAL bounds - >= 194735 @ 275.667
309.90/310.94	c GLOBAL bounds - >= 194735 @ 275.961
310.61/311.61	c GLOBAL bounds - >= 194735 @ 276.497
311.20/312.25	c GLOBAL bounds - >= 194735 @ 277.029
311.70/312.72	c GLOBAL bounds - >= 194735 @ 277.385
314.29/315.33	c GLOBAL bounds - >= 194735 @ 279.79
314.40/315.42	c GLOBAL bounds - >= 194735 @ 279.883
314.49/315.55	c GLOBAL bounds - >= 194735 @ 279.99
314.59/315.62	c GLOBAL bounds - >= 194735 @ 280.035
314.69/315.70	c GLOBAL bounds - >= 194735 @ 280.084
314.69/315.77	c GLOBAL bounds - >= 194735 @ 280.132
314.79/315.85	c GLOBAL bounds - >= 194735 @ 280.178
314.89/315.92	c GLOBAL bounds - >= 194735 @ 280.225
314.89/315.99	c GLOBAL bounds - >= 194735 @ 280.271
315.19/316.29	c GLOBAL bounds - >= 194735 @ 280.442
315.29/316.36	c GLOBAL bounds - >= 194735 @ 280.491
315.58/316.65	c GLOBAL bounds - >= 194735 @ 280.662
315.69/316.73	c GLOBAL bounds - >= 194735 @ 280.715
316.00/317.01	c GLOBAL bounds - >= 194735 @ 280.875
316.00/317.09	c GLOBAL bounds - >= 194735 @ 280.93
316.29/317.38	c GLOBAL bounds - >= 194735 @ 281.089
316.38/317.45	c GLOBAL bounds - >= 194735 @ 281.134
316.69/317.74	c GLOBAL bounds - >= 194735 @ 281.288
316.78/317.81	c GLOBAL bounds - >= 194735 @ 281.34
317.09/318.14	c GLOBAL bounds - >= 194735 @ 281.529
317.19/318.21	c GLOBAL bounds - >= 194735 @ 281.577
317.49/318.53	c GLOBAL bounds - >= 194735 @ 281.777
317.58/318.60	c GLOBAL bounds - >= 194735 @ 281.829
317.79/318.88	c GLOBAL bounds - >= 194735 @ 281.98
317.89/318.96	c GLOBAL bounds - >= 194735 @ 282.035
318.18/319.24	c GLOBAL bounds - >= 194735 @ 282.186
318.28/319.32	c GLOBAL bounds - >= 194735 @ 282.231
318.48/319.59	c GLOBAL bounds - >= 194735 @ 282.389
321.67/322.77	c GLOBAL bounds - >= 194735 @ 285.4
322.27/323.30	c GLOBAL bounds - >= 194735 @ 285.816
326.36/327.42	c #Conflicts:       3000 | #Constraints:    9619753
326.36/327.42	c GLOBAL bounds - >= 194735 @ 289.77
330.74/331.87	c GLOBAL bounds - >= 195883 @ 294.188
331.05/332.13	c GLOBAL bounds - >= 195883 @ 294.417
331.14/332.21	c GLOBAL bounds - >= 195883 @ 294.466
331.14/332.28	c GLOBAL bounds - >= 195883 @ 294.512
331.24/332.36	c GLOBAL bounds - >= 195883 @ 294.562
331.64/332.77	c GLOBAL bounds - >= 195883 @ 294.838
331.74/332.85	c GLOBAL bounds - >= 195883 @ 294.885
332.13/333.20	c GLOBAL bounds - >= 195883 @ 295.082
332.13/333.28	c GLOBAL bounds - >= 195883 @ 295.134
332.54/333.67	c GLOBAL bounds - >= 195883 @ 295.367
332.64/333.74	c GLOBAL bounds - >= 195883 @ 295.422
333.03/334.13	c GLOBAL bounds - >= 195883 @ 295.648
333.13/334.21	c GLOBAL bounds - >= 195883 @ 295.695
333.53/334.60	c GLOBAL bounds - >= 195883 @ 295.934
333.53/334.67	c GLOBAL bounds - >= 195883 @ 295.982
333.93/335.03	c GLOBAL bounds - >= 195883 @ 296.182
334.03/335.10	c GLOBAL bounds - >= 195883 @ 296.229
334.33/335.46	c GLOBAL bounds - >= 195883 @ 296.444
334.43/335.54	c GLOBAL bounds - >= 195883 @ 296.497
334.72/335.88	c GLOBAL bounds - >= 195883 @ 296.72
334.82/335.96	c GLOBAL bounds - >= 195883 @ 296.775
335.13/336.29	c GLOBAL bounds - >= 195883 @ 296.978
335.23/336.37	c GLOBAL bounds - >= 195883 @ 297.022
335.62/336.71	c GLOBAL bounds - >= 195883 @ 297.219
337.22/338.38	c GLOBAL bounds - >= 195883 @ 298.767
341.10/342.27	c GLOBAL bounds - >= 195883 @ 302.51
341.80/342.97	c GLOBAL bounds - >= 195883 @ 303.09
342.91/344.02	c GLOBAL bounds - >= 195883 @ 304.019
346.49/347.62	c GLOBAL bounds - >= 199539 @ 307.594
346.79/347.95	c GLOBAL bounds - >= 199539 @ 307.89
346.89/348.02	c GLOBAL bounds - >= 199539 @ 307.939
346.89/348.10	c GLOBAL bounds - >= 199539 @ 307.991
346.99/348.17	c GLOBAL bounds - >= 199539 @ 308.036
347.08/348.24	c GLOBAL bounds - >= 199539 @ 308.086
347.89/349.04	c GLOBAL bounds - >= 199539 @ 308.698
347.99/349.11	c GLOBAL bounds - >= 199539 @ 308.753
348.28/349.45	c GLOBAL bounds - >= 199539 @ 308.964
348.38/349.52	c GLOBAL bounds - >= 199539 @ 309.013
348.68/349.82	c GLOBAL bounds - >= 199539 @ 309.183
348.79/349.90	c GLOBAL bounds - >= 199539 @ 309.233
348.99/350.19	c GLOBAL bounds - >= 199539 @ 309.393
349.08/350.27	c GLOBAL bounds - >= 199539 @ 309.432
349.38/350.55	c GLOBAL bounds - >= 199539 @ 309.581
349.48/350.63	c GLOBAL bounds - >= 199539 @ 309.635
349.78/350.93	c GLOBAL bounds - >= 199539 @ 309.809
349.89/351.00	c GLOBAL bounds - >= 199539 @ 309.852
350.08/351.29	c GLOBAL bounds - >= 199539 @ 310.031
350.18/351.36	c GLOBAL bounds - >= 199539 @ 310.071
350.48/351.66	c GLOBAL bounds - >= 199539 @ 310.235
350.58/351.73	c GLOBAL bounds - >= 199539 @ 310.286
350.88/352.03	c GLOBAL bounds - >= 199539 @ 310.45
350.98/352.10	c GLOBAL bounds - >= 199539 @ 310.495
351.17/352.37	c GLOBAL bounds - >= 199539 @ 310.642
358.15/359.34	c GLOBAL bounds - >= 199539 @ 317.429
358.75/359.99	c GLOBAL bounds - >= 199539 @ 317.965
361.85/363.01	c GLOBAL bounds - >= 201651 @ 320.936
361.94/363.19	c GLOBAL bounds - >= 201651 @ 321.089
362.04/363.26	c GLOBAL bounds - >= 201651 @ 321.143
362.14/363.33	c GLOBAL bounds - >= 201651 @ 321.186
362.54/363.70	c GLOBAL bounds - >= 201651 @ 321.426
362.54/363.77	c GLOBAL bounds - >= 201651 @ 321.468
362.94/364.14	c GLOBAL bounds - >= 201651 @ 321.705
363.03/364.21	c GLOBAL bounds - >= 201651 @ 321.746
363.34/364.54	c GLOBAL bounds - >= 201651 @ 321.946
363.43/364.62	c GLOBAL bounds - >= 201651 @ 321.998
363.73/364.94	c GLOBAL bounds - >= 201651 @ 322.192
363.84/365.02	c GLOBAL bounds - >= 201651 @ 322.245
364.13/365.33	c GLOBAL bounds - >= 201651 @ 322.435
364.23/365.41	c GLOBAL bounds - >= 201651 @ 322.486
364.53/365.77	c GLOBAL bounds - >= 201651 @ 322.729
364.64/365.85	c GLOBAL bounds - >= 201651 @ 322.78
365.03/366.21	c GLOBAL bounds - >= 201651 @ 323.002
365.03/366.28	c GLOBAL bounds - >= 201651 @ 323.056
365.43/366.63	c GLOBAL bounds - >= 201651 @ 323.275
365.53/366.70	c GLOBAL bounds - >= 201651 @ 323.321
365.83/367.05	c GLOBAL bounds - >= 201651 @ 323.535
365.93/367.13	c GLOBAL bounds - >= 201651 @ 323.591
366.22/367.48	c GLOBAL bounds - >= 201651 @ 323.818
367.62/368.83	c GLOBAL bounds - >= 201651 @ 325.038
369.22/370.43	c GLOBAL bounds - >= 201651 @ 326.52
369.72/370.93	c GLOBAL bounds - >= 201651 @ 326.926
369.72/370.99	c GLOBAL bounds - >= 201651 @ 326.979
370.02/371.26	c GLOBAL bounds - >= 201651 @ 327.218
370.12/371.33	c GLOBAL bounds - >= 201651 @ 327.264
370.21/371.40	c GLOBAL bounds - >= 201651 @ 327.305
370.21/371.47	c GLOBAL bounds - >= 201651 @ 327.346
370.62/371.83	c GLOBAL bounds - >= 201651 @ 327.58
370.71/371.90	c GLOBAL bounds - >= 201651 @ 327.623
371.01/372.26	c GLOBAL bounds - >= 201651 @ 327.843
371.11/372.33	c GLOBAL bounds - >= 201651 @ 327.894
371.41/372.68	c GLOBAL bounds - >= 201651 @ 328.119
371.51/372.76	c GLOBAL bounds - >= 201651 @ 328.166
371.91/373.12	c GLOBAL bounds - >= 201651 @ 328.396
371.91/373.19	c GLOBAL bounds - >= 201651 @ 328.449
372.31/373.51	c GLOBAL bounds - >= 201651 @ 328.632
372.31/373.58	c GLOBAL bounds - >= 201651 @ 328.681
372.60/373.89	c GLOBAL bounds - >= 201651 @ 328.859
372.71/373.97	c GLOBAL bounds - >= 201651 @ 328.906
373.01/374.27	c GLOBAL bounds - >= 201651 @ 329.076
373.11/374.34	c GLOBAL bounds - >= 201651 @ 329.131
373.40/374.67	c GLOBAL bounds - >= 201651 @ 329.34
373.51/374.75	c GLOBAL bounds - >= 201651 @ 329.391
373.81/375.05	c GLOBAL bounds - >= 201651 @ 329.561
373.91/375.12	c GLOBAL bounds - >= 201651 @ 329.605
374.20/375.42	c GLOBAL bounds - >= 201651 @ 329.773
374.61/375.85	c GLOBAL bounds - >= 201651 @ 330.107
375.10/376.32	c GLOBAL bounds - >= 201651 @ 330.462
375.80/377.08	c GLOBAL bounds - >= 201651 @ 331.114
375.90/377.14	c GLOBAL bounds - >= 201651 @ 331.17
376.00/377.26	c GLOBAL bounds - >= 201651 @ 331.269
376.09/377.34	c GLOBAL bounds - >= 201651 @ 331.31
376.20/377.41	c GLOBAL bounds - >= 201651 @ 331.361
376.20/377.49	c GLOBAL bounds - >= 201651 @ 331.405
376.60/377.81	c GLOBAL bounds - >= 201651 @ 331.604
376.60/377.89	c GLOBAL bounds - >= 201651 @ 331.663
377.00/378.21	c GLOBAL bounds - >= 201651 @ 331.862
377.00/378.29	c GLOBAL bounds - >= 201651 @ 331.91
377.39/378.61	c GLOBAL bounds - >= 201651 @ 332.091
377.39/378.68	c GLOBAL bounds - >= 201651 @ 332.139
377.79/379.04	c GLOBAL bounds - >= 201651 @ 332.366
377.89/379.11	c GLOBAL bounds - >= 201651 @ 332.418
378.39/379.66	c GLOBAL bounds - >= 201651 @ 332.805
378.49/379.73	c GLOBAL bounds - >= 201651 @ 332.852
378.79/380.04	c GLOBAL bounds - >= 201651 @ 333.027
378.89/380.12	c GLOBAL bounds - >= 201651 @ 333.076
379.19/380.43	c GLOBAL bounds - >= 201651 @ 333.266
379.28/380.50	c GLOBAL bounds - >= 201651 @ 333.314
379.59/380.82	c GLOBAL bounds - >= 201651 @ 333.489
379.59/380.89	c GLOBAL bounds - >= 201651 @ 333.54
379.99/381.21	c GLOBAL bounds - >= 201651 @ 333.723
379.99/381.28	c GLOBAL bounds - >= 201651 @ 333.773
380.38/381.62	c GLOBAL bounds - >= 201651 @ 334
380.68/381.98	c GLOBAL bounds - >= 201651 @ 334.252
381.28/382.56	c GLOBAL bounds - >= 201651 @ 334.721
381.98/383.29	c GLOBAL bounds - >= 201651 @ 335.358
384.37/385.62	c GLOBAL bounds - >= 202799 @ 337.671
384.57/385.83	c GLOBAL bounds - >= 202799 @ 337.845
384.67/385.90	c GLOBAL bounds - >= 202799 @ 337.892
384.67/385.97	c GLOBAL bounds - >= 202799 @ 337.939
384.78/386.05	c GLOBAL bounds - >= 202799 @ 337.988
385.37/386.64	c GLOBAL bounds - >= 202799 @ 338.413
385.47/386.71	c GLOBAL bounds - >= 202799 @ 338.462
385.77/387.10	c GLOBAL bounds - >= 202799 @ 338.691
385.87/387.17	c GLOBAL bounds - >= 202799 @ 338.74
386.36/387.61	c GLOBAL bounds - >= 202799 @ 339.025
386.36/387.69	c GLOBAL bounds - >= 202799 @ 339.078
386.87/388.12	c GLOBAL bounds - >= 202799 @ 339.35
386.96/388.20	c GLOBAL bounds - >= 202799 @ 339.4
387.36/388.62	c GLOBAL bounds - >= 202799 @ 339.672
387.36/388.70	c GLOBAL bounds - >= 202799 @ 339.725
387.76/389.04	c GLOBAL bounds - >= 202799 @ 339.926
387.86/389.12	c GLOBAL bounds - >= 202799 @ 339.975
388.16/389.49	c GLOBAL bounds - >= 202799 @ 340.202
388.26/389.57	c GLOBAL bounds - >= 202799 @ 340.252
388.55/389.85	c GLOBAL bounds - >= 202799 @ 340.394
388.65/389.93	c GLOBAL bounds - >= 202799 @ 340.453
388.96/390.22	c GLOBAL bounds - >= 202799 @ 340.617
389.06/390.30	c GLOBAL bounds - >= 202799 @ 340.669
389.35/390.60	c GLOBAL bounds - >= 202799 @ 340.83
390.45/391.70	c GLOBAL bounds - >= 202799 @ 341.808
391.35/392.62	c GLOBAL bounds - >= 202799 @ 342.619
392.14/393.47	c GLOBAL bounds - >= 202799 @ 343.34
394.64/395.98	c GLOBAL bounds - >= 202799 @ 345.7
395.04/396.37	c GLOBAL bounds - >= 202799 @ 345.982
396.63/397.91	c GLOBAL bounds - >= 202799 @ 347.411
397.14/398.48	c GLOBAL bounds - >= 202799 @ 347.861
400.92/402.27	c GLOBAL bounds - >= 202799 @ 351.508
403.31/404.60	c GLOBAL bounds - >= 202799 @ 353.705
410.39/411.75	c GLOBAL bounds - >= 202799 @ 360.674
417.36/418.78	c GLOBAL bounds - >= 202799 @ 367.526
425.54/426.92	c GLOBAL bounds - >= 202799 @ 375.475
425.64/427.00	c GLOBAL bounds - >= 202799 @ 375.56
425.75/427.14	c GLOBAL bounds - >= 202799 @ 375.662
425.84/427.21	c GLOBAL bounds - >= 202799 @ 375.708
425.84/427.29	c GLOBAL bounds - >= 202799 @ 375.76
425.94/427.36	c GLOBAL bounds - >= 202799 @ 375.805
426.04/427.44	c GLOBAL bounds - >= 202799 @ 375.851
426.13/427.51	c GLOBAL bounds - >= 202799 @ 375.902
426.13/427.58	c GLOBAL bounds - >= 202799 @ 375.948
426.24/427.66	c GLOBAL bounds - >= 202799 @ 375.997
426.33/427.73	c GLOBAL bounds - >= 202799 @ 376.047
426.44/427.81	c GLOBAL bounds - >= 202799 @ 376.101
426.44/427.88	c GLOBAL bounds - >= 202799 @ 376.147
426.54/427.95	c GLOBAL bounds - >= 202799 @ 376.191
427.93/429.37	c GLOBAL bounds - >= 202799 @ 377.441
428.03/429.45	c GLOBAL bounds - >= 202799 @ 377.489
428.43/429.86	c GLOBAL bounds - >= 202799 @ 377.734
428.53/429.94	c GLOBAL bounds - >= 202799 @ 377.785
428.93/430.35	c GLOBAL bounds - >= 202799 @ 378.039
429.03/430.42	c GLOBAL bounds - >= 202799 @ 378.089
429.43/430.83	c GLOBAL bounds - >= 202799 @ 378.339
429.53/430.91	c GLOBAL bounds - >= 202799 @ 378.381
429.92/431.31	c GLOBAL bounds - >= 202799 @ 378.621
429.92/431.38	c GLOBAL bounds - >= 202799 @ 378.669
430.32/431.73	c GLOBAL bounds - >= 202799 @ 378.876
430.43/431.81	c GLOBAL bounds - >= 202799 @ 378.934
430.73/432.14	c GLOBAL bounds - >= 202799 @ 379.142
430.83/432.22	c GLOBAL bounds - >= 202799 @ 379.191
431.12/432.57	c GLOBAL bounds - >= 202799 @ 379.424
431.22/432.65	c GLOBAL bounds - >= 202799 @ 379.476
431.63/433.06	c GLOBAL bounds - >= 202799 @ 379.728
431.72/433.13	c GLOBAL bounds - >= 202799 @ 379.783
432.12/433.50	c GLOBAL bounds - >= 202799 @ 379.998
433.81/435.21	c GLOBAL bounds - >= 202799 @ 381.565
434.21/435.68	c GLOBAL bounds - >= 202799 @ 381.93
436.61/438.05	c GLOBAL bounds - >= 202799 @ 384.163
442.89/444.37	c GLOBAL bounds - >= 202799 @ 390.317
462.03/463.51	c #Conflicts:       4000 | #Constraints:   13995177
462.03/463.51	c GLOBAL bounds - >= 202799 @ 409.19
471.10/472.65	c GLOBAL bounds - >= 202799 @ 418.145
476.38/477.93	c GLOBAL bounds - >= 203445 @ 423.394
476.59/478.15	c GLOBAL bounds - >= 203445 @ 423.588
476.69/478.22	c GLOBAL bounds - >= 203445 @ 423.636
476.69/478.30	c GLOBAL bounds - >= 203445 @ 423.68
476.79/478.37	c GLOBAL bounds - >= 203445 @ 423.723
476.88/478.44	c GLOBAL bounds - >= 203445 @ 423.776
476.98/478.52	c GLOBAL bounds - >= 203445 @ 423.818
476.98/478.59	c GLOBAL bounds - >= 203445 @ 423.867
477.49/479.04	c GLOBAL bounds - >= 203445 @ 424.175
477.59/479.12	c GLOBAL bounds - >= 203445 @ 424.224
478.18/479.73	c GLOBAL bounds - >= 203445 @ 424.687
478.29/479.80	c GLOBAL bounds - >= 203445 @ 424.736
478.58/480.17	c GLOBAL bounds - >= 203445 @ 424.967
478.68/480.24	c GLOBAL bounds - >= 203445 @ 425.022
479.08/480.60	c GLOBAL bounds - >= 203445 @ 425.237
479.08/480.67	c GLOBAL bounds - >= 203445 @ 425.288
479.48/481.06	c GLOBAL bounds - >= 203445 @ 425.524
479.59/481.13	c GLOBAL bounds - >= 203445 @ 425.576
479.88/481.42	c GLOBAL bounds - >= 203445 @ 425.74
479.98/481.50	c GLOBAL bounds - >= 203445 @ 425.794
480.28/481.82	c GLOBAL bounds - >= 203445 @ 425.994
480.38/481.90	c GLOBAL bounds - >= 203445 @ 426.041
480.68/482.24	c GLOBAL bounds - >= 203445 @ 426.258
480.77/482.31	c GLOBAL bounds - >= 203445 @ 426.308
481.07/482.64	c GLOBAL bounds - >= 203445 @ 426.499
481.17/482.72	c GLOBAL bounds - >= 203445 @ 426.558
481.47/483.06	c GLOBAL bounds - >= 203445 @ 426.757
481.87/483.46	c GLOBAL bounds - >= 203445 @ 427.054
482.27/483.82	c GLOBAL bounds - >= 203445 @ 427.303
482.77/484.35	c GLOBAL bounds - >= 203445 @ 427.726
483.26/484.88	c GLOBAL bounds - >= 203445 @ 428.14
508.30/509.94	c INPROCESSING
508.30/509.94	c GARBAGE COLLECT
508.30/509.94	c GLOBAL bounds - >= 203445 @ 452.764
514.58/516.27	c GLOBAL bounds - >= 203445 @ 458.972
534.43/536.12	c GLOBAL bounds - >= 207463 @ 478.765
534.82/536.50	c GLOBAL bounds - >= 207463 @ 479.113
534.82/536.57	c GLOBAL bounds - >= 207463 @ 479.162
534.93/536.65	c GLOBAL bounds - >= 207463 @ 479.209
535.03/536.72	c GLOBAL bounds - >= 207463 @ 479.258
535.13/536.80	c GLOBAL bounds - >= 207463 @ 479.305
535.13/536.87	c GLOBAL bounds - >= 207463 @ 479.356
535.22/536.95	c GLOBAL bounds - >= 207463 @ 479.407
535.93/537.67	c GLOBAL bounds - >= 207463 @ 479.989
536.03/537.74	c GLOBAL bounds - >= 207463 @ 480.042
536.52/538.22	c GLOBAL bounds - >= 207463 @ 480.384
536.52/538.29	c GLOBAL bounds - >= 207463 @ 480.439
536.92/538.64	c GLOBAL bounds - >= 207463 @ 480.644
537.02/538.72	c GLOBAL bounds - >= 207463 @ 480.693
537.32/539.09	c GLOBAL bounds - >= 207463 @ 480.924
537.42/539.16	c GLOBAL bounds - >= 207463 @ 480.973
537.82/539.52	c GLOBAL bounds - >= 207463 @ 481.198
537.92/539.60	c GLOBAL bounds - >= 207463 @ 481.247
538.21/539.94	c GLOBAL bounds - >= 207463 @ 481.454
538.32/540.02	c GLOBAL bounds - >= 207463 @ 481.501
538.62/540.36	c GLOBAL bounds - >= 207463 @ 481.699
538.72/540.44	c GLOBAL bounds - >= 207463 @ 481.746
539.11/540.80	c GLOBAL bounds - >= 207463 @ 481.97
539.11/540.88	c GLOBAL bounds - >= 207463 @ 482.023
539.42/541.19	c GLOBAL bounds - >= 207463 @ 482.206
539.52/541.26	c GLOBAL bounds - >= 207463 @ 482.259
539.81/541.57	c GLOBAL bounds - >= 207463 @ 482.44
540.21/541.97	c GLOBAL bounds - >= 207463 @ 482.743
540.81/542.59	c GLOBAL bounds - >= 207463 @ 483.249
541.81/543.50	c GLOBAL bounds - >= 207463 @ 484.044
558.66/560.47	c GLOBAL bounds - >= 207463 @ 500.854
564.05/565.82	c GLOBAL bounds - >= 208611 @ 506.189
564.25/566.01	c GLOBAL bounds - >= 208611 @ 506.349
564.25/566.08	c GLOBAL bounds - >= 208611 @ 506.397
564.35/566.15	c GLOBAL bounds - >= 208611 @ 506.442
564.44/566.23	c GLOBAL bounds - >= 208611 @ 506.493
564.54/566.30	c GLOBAL bounds - >= 208611 @ 506.539
564.85/566.63	c GLOBAL bounds - >= 208611 @ 506.753
564.95/566.71	c GLOBAL bounds - >= 208611 @ 506.801
565.25/567.04	c GLOBAL bounds - >= 208611 @ 507.007
565.35/567.12	c GLOBAL bounds - >= 208611 @ 507.055
565.64/567.45	c GLOBAL bounds - >= 208611 @ 507.264
565.75/567.53	c GLOBAL bounds - >= 208611 @ 507.319
566.04/567.85	c GLOBAL bounds - >= 208611 @ 507.5
566.14/567.92	c GLOBAL bounds - >= 208611 @ 507.55
566.44/568.25	c GLOBAL bounds - >= 208611 @ 507.748
566.54/568.32	c GLOBAL bounds - >= 208611 @ 507.799
566.84/568.68	c GLOBAL bounds - >= 208611 @ 508.029
566.94/568.75	c GLOBAL bounds - >= 208611 @ 508.075
567.34/569.12	c GLOBAL bounds - >= 208611 @ 508.301
567.34/569.19	c GLOBAL bounds - >= 208611 @ 508.355
567.74/569.52	c GLOBAL bounds - >= 208611 @ 508.574
567.84/569.60	c GLOBAL bounds - >= 208611 @ 508.624
568.13/569.90	c GLOBAL bounds - >= 208611 @ 508.802
568.13/569.97	c GLOBAL bounds - >= 208611 @ 508.847
568.54/570.31	c GLOBAL bounds - >= 208611 @ 509.069
569.24/571.01	c GLOBAL bounds - >= 208611 @ 509.655
569.83/571.66	c GLOBAL bounds - >= 208611 @ 510.185
570.73/572.54	c GLOBAL bounds - >= 208611 @ 510.962
573.43/575.21	c GLOBAL bounds - >= 208611 @ 513.513
574.33/576.14	c GLOBAL bounds - >= 208611 @ 514.345
574.42/576.24	c GLOBAL bounds - >= 208611 @ 514.443
574.62/576.44	c GLOBAL bounds - >= 208611 @ 514.616
574.72/576.51	c GLOBAL bounds - >= 208611 @ 514.661
574.72/576.58	c GLOBAL bounds - >= 208611 @ 514.711
574.81/576.66	c GLOBAL bounds - >= 208611 @ 514.763
574.92/576.73	c GLOBAL bounds - >= 208611 @ 514.81
575.02/576.81	c GLOBAL bounds - >= 208611 @ 514.851
575.33/577.19	c GLOBAL bounds - >= 208611 @ 515.121
575.42/577.27	c GLOBAL bounds - >= 208611 @ 515.168
575.81/577.60	c GLOBAL bounds - >= 208611 @ 515.372
575.81/577.68	c GLOBAL bounds - >= 208611 @ 515.422
576.22/578.02	c GLOBAL bounds - >= 208611 @ 515.652
576.22/578.10	c GLOBAL bounds - >= 208611 @ 515.697
576.61/578.44	c GLOBAL bounds - >= 208611 @ 515.917
576.72/578.51	c GLOBAL bounds - >= 208611 @ 515.968
577.01/578.83	c GLOBAL bounds - >= 208611 @ 516.163
577.12/578.91	c GLOBAL bounds - >= 208611 @ 516.206
577.41/579.22	c GLOBAL bounds - >= 208611 @ 516.393
577.51/579.30	c GLOBAL bounds - >= 208611 @ 516.447
577.81/579.60	c GLOBAL bounds - >= 208611 @ 516.621
577.81/579.68	c GLOBAL bounds - >= 208611 @ 516.677
578.11/579.97	c GLOBAL bounds - >= 208611 @ 516.838
578.22/580.05	c GLOBAL bounds - >= 208611 @ 516.89
578.51/580.39	c GLOBAL bounds - >= 208611 @ 517.113
578.61/580.47	c GLOBAL bounds - >= 208611 @ 517.159
579.00/580.80	c GLOBAL bounds - >= 208611 @ 517.368
579.32/581.12	c GLOBAL bounds - >= 208611 @ 517.576
579.91/581.79	c GLOBAL bounds - >= 208611 @ 518.137
584.69/586.57	c GLOBAL bounds - >= 208611 @ 522.8
586.19/588.05	c GLOBAL bounds - >= 208611 @ 524.184
588.58/590.43	c GLOBAL bounds - >= 208611 @ 526.437
589.98/591.81	c GLOBAL bounds - >= 209985 @ 527.82
590.18/592.07	c GLOBAL bounds - >= 209985 @ 528.05
590.29/592.14	c GLOBAL bounds - >= 209985 @ 528.097
590.38/592.21	c GLOBAL bounds - >= 209985 @ 528.144
590.38/592.28	c GLOBAL bounds - >= 209985 @ 528.194
590.48/592.35	c GLOBAL bounds - >= 209985 @ 528.24
590.58/592.43	c GLOBAL bounds - >= 209985 @ 528.281
590.88/592.80	c GLOBAL bounds - >= 209985 @ 528.519
590.98/592.87	c GLOBAL bounds - >= 209985 @ 528.568
591.48/593.35	c GLOBAL bounds - >= 209985 @ 528.887
591.58/593.42	c GLOBAL bounds - >= 209985 @ 528.933
591.87/593.74	c GLOBAL bounds - >= 209985 @ 529.108
591.97/593.81	c GLOBAL bounds - >= 209985 @ 529.156
592.28/594.18	c GLOBAL bounds - >= 209985 @ 529.369
592.38/594.25	c GLOBAL bounds - >= 209985 @ 529.418
592.67/594.58	c GLOBAL bounds - >= 209985 @ 529.619
592.77/594.65	c GLOBAL bounds - >= 209985 @ 529.672
593.07/594.97	c GLOBAL bounds - >= 209985 @ 529.871
593.17/595.05	c GLOBAL bounds - >= 209985 @ 529.918
593.47/595.37	c GLOBAL bounds - >= 209985 @ 530.115
593.57/595.45	c GLOBAL bounds - >= 209985 @ 530.161
593.87/595.76	c GLOBAL bounds - >= 209985 @ 530.345
593.97/595.83	c GLOBAL bounds - >= 209985 @ 530.39
594.27/596.14	c GLOBAL bounds - >= 209985 @ 530.566
594.37/596.22	c GLOBAL bounds - >= 209985 @ 530.613
594.67/596.53	c GLOBAL bounds - >= 209985 @ 530.792
595.07/596.99	c GLOBAL bounds - >= 209985 @ 531.153
599.26/601.13	c #Conflicts:       5000 | #Constraints:   17098166
599.26/601.13	c GLOBAL bounds - >= 209985 @ 535.173
602.85/604.71	c GLOBAL bounds - >= 209985 @ 538.628
603.84/605.77	c GLOBAL bounds - >= 209985 @ 539.573
604.84/606.77	c GLOBAL bounds - >= 209985 @ 540.467
608.53/610.41	c GLOBAL bounds - >= 209985 @ 543.982
611.13/613.06	c GLOBAL bounds - >= 210165 @ 546.627
611.32/613.22	c GLOBAL bounds - >= 210165 @ 546.752
611.32/613.29	c GLOBAL bounds - >= 210165 @ 546.801
611.42/613.36	c GLOBAL bounds - >= 210165 @ 546.845
611.53/613.44	c GLOBAL bounds - >= 210165 @ 546.893
611.62/613.51	c GLOBAL bounds - >= 210165 @ 546.942
611.62/613.59	c GLOBAL bounds - >= 210165 @ 546.991
611.72/613.66	c GLOBAL bounds - >= 210165 @ 547.038
612.13/614.04	c GLOBAL bounds - >= 210165 @ 547.286
612.23/614.12	c GLOBAL bounds - >= 210165 @ 547.338
612.62/614.51	c GLOBAL bounds - >= 210165 @ 547.579
612.62/614.59	c GLOBAL bounds - >= 210165 @ 547.631
613.12/615.02	c GLOBAL bounds - >= 210165 @ 547.915
613.12/615.09	c GLOBAL bounds - >= 210165 @ 547.969
613.52/615.45	c GLOBAL bounds - >= 210165 @ 548.209
613.61/615.52	c GLOBAL bounds - >= 210165 @ 548.265
613.92/615.89	c GLOBAL bounds - >= 210165 @ 548.494
614.02/615.96	c GLOBAL bounds - >= 210165 @ 548.547
614.42/616.31	c GLOBAL bounds - >= 210165 @ 548.759
614.42/616.38	c GLOBAL bounds - >= 210165 @ 548.802
614.81/616.73	c GLOBAL bounds - >= 210165 @ 549.015
614.92/616.81	c GLOBAL bounds - >= 210165 @ 549.067
615.22/617.18	c GLOBAL bounds - >= 210165 @ 549.29
615.31/617.26	c GLOBAL bounds - >= 210165 @ 549.333
615.71/617.66	c GLOBAL bounds - >= 210165 @ 549.587
615.81/617.74	c GLOBAL bounds - >= 210165 @ 549.64
616.11/618.09	c GLOBAL bounds - >= 210165 @ 549.872
616.51/618.47	c GLOBAL bounds - >= 210165 @ 550.143
617.31/619.27	c GLOBAL bounds - >= 210165 @ 550.83
617.91/619.84	c GLOBAL bounds - >= 210165 @ 551.296
618.51/620.40	c GLOBAL bounds - >= 210165 @ 551.74
619.00/620.97	c GLOBAL bounds - >= 210165 @ 552.218
620.40/622.35	c GLOBAL bounds - >= 210165 @ 553.494
621.50/623.47	c GLOBAL bounds - >= 210361 @ 554.619
621.90/623.88	c GLOBAL bounds - >= 210361 @ 554.95
621.99/623.95	c GLOBAL bounds - >= 210361 @ 554.994
622.10/624.03	c GLOBAL bounds - >= 210361 @ 555.039
622.20/624.10	c GLOBAL bounds - >= 210361 @ 555.084
622.20/624.18	c GLOBAL bounds - >= 210361 @ 555.127
622.29/624.26	c GLOBAL bounds - >= 210361 @ 555.182
622.40/624.33	c GLOBAL bounds - >= 210361 @ 555.229
622.99/624.94	c GLOBAL bounds - >= 210361 @ 555.699
623.10/625.02	c GLOBAL bounds - >= 210361 @ 555.756
623.50/625.40	c GLOBAL bounds - >= 210361 @ 556.003
623.50/625.48	c GLOBAL bounds - >= 210361 @ 556.056
623.89/625.87	c GLOBAL bounds - >= 210361 @ 556.314
623.99/625.95	c GLOBAL bounds - >= 210361 @ 556.366
624.39/626.38	c GLOBAL bounds - >= 210361 @ 556.646
624.49/626.45	c GLOBAL bounds - >= 210361 @ 556.692
624.89/626.80	c GLOBAL bounds - >= 210361 @ 556.895
624.89/626.88	c GLOBAL bounds - >= 210361 @ 556.943
625.28/627.24	c GLOBAL bounds - >= 210361 @ 557.179
625.39/627.32	c GLOBAL bounds - >= 210361 @ 557.227
625.69/627.68	c GLOBAL bounds - >= 210361 @ 557.459
625.79/627.75	c GLOBAL bounds - >= 210361 @ 557.516
626.19/628.11	c GLOBAL bounds - >= 210361 @ 557.725
626.19/628.18	c GLOBAL bounds - >= 210361 @ 557.777
626.58/628.52	c GLOBAL bounds - >= 210361 @ 557.991
626.68/628.60	c GLOBAL bounds - >= 210361 @ 558.043
626.98/628.93	c GLOBAL bounds - >= 210361 @ 558.251
627.38/629.31	c GLOBAL bounds - >= 210361 @ 558.531
627.78/629.73	c GLOBAL bounds - >= 210361 @ 558.839
628.38/630.30	c GLOBAL bounds - >= 210361 @ 559.301
628.98/630.95	c GLOBAL bounds - >= 210361 @ 559.84
632.17/634.16	c GLOBAL bounds - >= 210361 @ 562.947
639.35/641.35	c GLOBAL bounds - >= 210361 @ 570.01
639.45/641.47	c GLOBAL bounds - >= 210361 @ 570.136
639.65/641.65	c GLOBAL bounds - >= 210361 @ 570.288
639.75/641.72	c GLOBAL bounds - >= 210361 @ 570.331
639.75/641.80	c GLOBAL bounds - >= 210361 @ 570.382
639.85/641.87	c GLOBAL bounds - >= 210361 @ 570.433
639.95/641.94	c GLOBAL bounds - >= 210361 @ 570.489
640.06/642.02	c GLOBAL bounds - >= 210361 @ 570.539
640.85/642.85	c GLOBAL bounds - >= 210361 @ 571.232
640.94/642.92	c GLOBAL bounds - >= 210361 @ 571.282
641.35/643.31	c GLOBAL bounds - >= 210361 @ 571.53
641.35/643.39	c GLOBAL bounds - >= 210361 @ 571.583
641.75/643.74	c GLOBAL bounds - >= 210361 @ 571.803
641.84/643.81	c GLOBAL bounds - >= 210361 @ 571.854
642.24/644.20	c GLOBAL bounds - >= 210361 @ 572.098
642.24/644.28	c GLOBAL bounds - >= 210361 @ 572.144
642.64/644.68	c GLOBAL bounds - >= 210361 @ 572.388
642.75/644.75	c GLOBAL bounds - >= 210361 @ 572.443
643.14/645.12	c GLOBAL bounds - >= 210361 @ 572.677
643.14/645.19	c GLOBAL bounds - >= 210361 @ 572.729
643.54/645.55	c GLOBAL bounds - >= 210361 @ 572.961
643.64/645.62	c GLOBAL bounds - >= 210361 @ 573.008
644.05/646.04	c GLOBAL bounds - >= 210361 @ 573.272
644.14/646.12	c GLOBAL bounds - >= 210361 @ 573.32
644.44/646.49	c GLOBAL bounds - >= 210361 @ 573.543
644.53/646.57	c GLOBAL bounds - >= 210361 @ 573.594
644.94/646.91	c GLOBAL bounds - >= 210361 @ 573.812
645.73/647.79	c GLOBAL bounds - >= 210361 @ 574.574
646.14/648.19	c GLOBAL bounds - >= 210361 @ 574.87
646.84/648.84	c GLOBAL bounds - >= 210361 @ 575.422
647.33/649.30	c GLOBAL bounds - >= 210361 @ 575.773
648.33/650.35	c GLOBAL bounds - >= 210361 @ 576.702
650.42/652.46	c GLOBAL bounds - >= 210361 @ 578.706
653.12/655.13	c GLOBAL bounds - >= 210361 @ 581.267
654.81/656.82	c GLOBAL bounds - >= 210361 @ 582.855
655.81/657.84	c GLOBAL bounds - >= 211439 @ 583.868
656.12/658.12	c GLOBAL bounds - >= 211439 @ 584.12
656.21/658.20	c GLOBAL bounds - >= 211439 @ 584.162
656.21/658.27	c GLOBAL bounds - >= 211439 @ 584.213
656.30/658.35	c GLOBAL bounds - >= 211439 @ 584.263
656.41/658.42	c GLOBAL bounds - >= 211439 @ 584.315
656.50/658.50	c GLOBAL bounds - >= 211439 @ 584.368
656.50/658.57	c GLOBAL bounds - >= 211439 @ 584.418
656.61/658.64	c GLOBAL bounds - >= 211439 @ 584.47
656.71/658.72	c GLOBAL bounds - >= 211439 @ 584.525
657.01/659.07	c GLOBAL bounds - >= 211439 @ 584.753
657.10/659.15	c GLOBAL bounds - >= 211439 @ 584.8
657.51/659.54	c GLOBAL bounds - >= 211439 @ 585.042
657.60/659.61	c GLOBAL bounds - >= 211439 @ 585.094
657.90/659.96	c GLOBAL bounds - >= 211439 @ 585.293
658.01/660.04	c GLOBAL bounds - >= 211439 @ 585.341
658.30/660.38	c GLOBAL bounds - >= 211439 @ 585.558
658.40/660.46	c GLOBAL bounds - >= 211439 @ 585.605
658.80/660.80	c GLOBAL bounds - >= 211439 @ 585.832
658.80/660.88	c GLOBAL bounds - >= 211439 @ 585.881
659.19/661.21	c GLOBAL bounds - >= 211439 @ 586.09
659.19/661.29	c GLOBAL bounds - >= 211439 @ 586.139
659.59/661.61	c GLOBAL bounds - >= 211439 @ 586.347
659.59/661.69	c GLOBAL bounds - >= 211439 @ 586.401
660.00/662.02	c GLOBAL bounds - >= 211439 @ 586.604
660.00/662.09	c GLOBAL bounds - >= 211439 @ 586.65
660.39/662.42	c GLOBAL bounds - >= 211439 @ 586.852
660.50/662.50	c GLOBAL bounds - >= 211439 @ 586.902
660.79/662.87	c GLOBAL bounds - >= 211439 @ 587.128
661.49/663.52	c GLOBAL bounds - >= 211439 @ 587.663
668.07/670.18	c GLOBAL bounds - >= 211439 @ 594.2
683.23/685.35	c GLOBAL bounds - >= 214785 @ 609.293
683.73/685.81	c GLOBAL bounds - >= 214785 @ 609.701
683.73/685.89	c GLOBAL bounds - >= 214785 @ 609.748
683.83/685.96	c GLOBAL bounds - >= 214785 @ 609.795
684.53/686.64	c GLOBAL bounds - >= 214785 @ 610.312
684.63/686.71	c GLOBAL bounds - >= 214785 @ 610.36
685.04/687.16	c GLOBAL bounds - >= 214785 @ 610.633
685.12/687.24	c GLOBAL bounds - >= 214785 @ 610.68
685.52/687.66	c GLOBAL bounds - >= 214785 @ 610.933
685.63/687.73	c GLOBAL bounds - >= 214785 @ 610.977
686.23/688.30	c GLOBAL bounds - >= 214785 @ 611.372
686.23/688.37	c GLOBAL bounds - >= 214785 @ 611.416
686.62/688.70	c GLOBAL bounds - >= 214785 @ 611.62
686.62/688.77	c GLOBAL bounds - >= 214785 @ 611.674
687.03/689.14	c GLOBAL bounds - >= 214785 @ 611.89
687.13/689.21	c GLOBAL bounds - >= 214785 @ 611.938
687.42/689.57	c GLOBAL bounds - >= 214785 @ 612.141
687.52/689.65	c GLOBAL bounds - >= 214785 @ 612.196
687.82/689.99	c GLOBAL bounds - >= 214785 @ 612.432
687.92/690.07	c GLOBAL bounds - >= 214785 @ 612.481
688.22/690.38	c GLOBAL bounds - >= 214785 @ 612.664
688.32/690.46	c GLOBAL bounds - >= 214785 @ 612.71
688.72/690.82	c GLOBAL bounds - >= 214785 @ 612.936
689.11/691.20	c GLOBAL bounds - >= 214785 @ 613.21
689.52/691.67	c GLOBAL bounds - >= 214785 @ 613.565
689.92/692.08	c GLOBAL bounds - >= 214785 @ 613.871
691.22/693.34	c GLOBAL bounds - >= 214785 @ 615.001
704.18/706.30	c GLOBAL bounds - >= 214785 @ 627.755
704.77/706.99	c GLOBAL bounds - >= 214785 @ 628.323
707.27/709.42	c GLOBAL bounds - >= 214789 @ 630.751
707.47/709.62	c GLOBAL bounds - >= 214789 @ 630.924
707.57/709.70	c GLOBAL bounds - >= 214789 @ 630.976
707.57/709.77	c GLOBAL bounds - >= 214789 @ 631.023
707.67/709.85	c GLOBAL bounds - >= 214789 @ 631.076
707.76/709.92	c GLOBAL bounds - >= 214789 @ 631.128
707.76/709.99	c GLOBAL bounds - >= 214789 @ 631.17
707.87/710.07	c GLOBAL bounds - >= 214789 @ 631.217
708.36/710.54	c GLOBAL bounds - >= 214789 @ 631.507
708.46/710.61	c GLOBAL bounds - >= 214789 @ 631.554
708.76/710.93	c GLOBAL bounds - >= 214789 @ 631.753
708.87/711.01	c GLOBAL bounds - >= 214789 @ 631.804
709.16/711.33	c GLOBAL bounds - >= 214789 @ 632.009
709.27/711.41	c GLOBAL bounds - >= 214789 @ 632.063
709.56/711.74	c GLOBAL bounds - >= 214789 @ 632.269
709.66/711.81	c GLOBAL bounds - >= 214789 @ 632.317
709.97/712.14	c GLOBAL bounds - >= 214789 @ 632.523
710.06/712.22	c GLOBAL bounds - >= 214789 @ 632.576
710.36/712.55	c GLOBAL bounds - >= 214789 @ 632.781
710.46/712.62	c GLOBAL bounds - >= 214789 @ 632.83
710.76/712.95	c GLOBAL bounds - >= 214789 @ 633.038
710.86/713.03	c GLOBAL bounds - >= 214789 @ 633.093
711.15/713.32	c GLOBAL bounds - >= 214789 @ 633.259
711.15/713.39	c GLOBAL bounds - >= 214789 @ 633.302
711.46/713.68	c GLOBAL bounds - >= 214789 @ 633.459
711.55/713.75	c GLOBAL bounds - >= 214789 @ 633.506
711.86/714.08	c GLOBAL bounds - >= 214789 @ 633.715
712.75/715.00	c GLOBAL bounds - >= 214789 @ 634.526
714.55/716.70	c GLOBAL bounds - >= 214789 @ 636.116
715.15/717.32	c GLOBAL bounds - >= 214789 @ 636.627
726.02/728.21	c GLOBAL bounds - >= 214789 @ 647.328
733.90/736.13	c GLOBAL bounds - >= 214789 @ 655.101
735.49/737.79	c GLOBAL bounds - >= 215527 @ 656.75
735.79/738.02	c GLOBAL bounds - >= 215527 @ 656.957
735.79/738.10	c GLOBAL bounds - >= 215527 @ 657.002
735.90/738.17	c GLOBAL bounds - >= 215527 @ 657.047
735.99/738.25	c GLOBAL bounds - >= 215527 @ 657.098
736.09/738.32	c GLOBAL bounds - >= 215527 @ 657.146
736.19/738.40	c GLOBAL bounds - >= 215527 @ 657.193
736.90/739.11	c GLOBAL bounds - >= 215527 @ 657.766
736.90/739.18	c GLOBAL bounds - >= 215527 @ 657.822
737.39/739.67	c GLOBAL bounds - >= 215527 @ 658.142
737.48/739.74	c GLOBAL bounds - >= 215527 @ 658.193
737.89/740.13	c GLOBAL bounds - >= 215527 @ 658.441
737.99/740.21	c GLOBAL bounds - >= 215527 @ 658.495
738.38/740.68	c GLOBAL bounds - >= 215527 @ 658.812
738.49/740.76	c GLOBAL bounds - >= 215527 @ 658.863
738.89/741.15	c GLOBAL bounds - >= 215527 @ 659.12
738.98/741.23	c GLOBAL bounds - >= 215527 @ 659.175
739.28/741.58	c GLOBAL bounds - >= 215527 @ 659.406
739.38/741.65	c GLOBAL bounds - >= 215527 @ 659.459
739.78/742.04	c GLOBAL bounds - >= 215527 @ 659.716
739.88/742.12	c GLOBAL bounds - >= 215527 @ 659.763
740.28/742.50	c GLOBAL bounds - >= 215527 @ 660.028
740.28/742.58	c GLOBAL bounds - >= 215527 @ 660.078
740.68/742.96	c GLOBAL bounds - >= 215527 @ 660.322
740.78/743.04	c GLOBAL bounds - >= 215527 @ 660.373
741.08/743.37	c GLOBAL bounds - >= 215527 @ 660.578
741.68/743.91	c GLOBAL bounds - >= 215527 @ 661.016
742.88/745.14	c #Conflicts:       6000 | #Constraints:   21597046
742.88/745.14	c GLOBAL bounds - >= 215527 @ 662.121
744.47/746.75	c GLOBAL bounds - >= 215527 @ 663.609
752.44/754.70	c GLOBAL bounds - >= 215527 @ 671.391
756.03/758.37	c GLOBAL bounds - >= 215527 @ 674.905
759.13/761.41	c GLOBAL bounds - >= 216173 @ 677.929
759.32/761.61	c GLOBAL bounds - >= 216173 @ 678.098
759.32/761.68	c GLOBAL bounds - >= 216173 @ 678.148
759.43/761.75	c GLOBAL bounds - >= 216173 @ 678.194
759.53/761.82	c GLOBAL bounds - >= 216173 @ 678.246
759.63/761.90	c GLOBAL bounds - >= 216173 @ 678.294
759.63/761.97	c GLOBAL bounds - >= 216173 @ 678.335
760.23/762.51	c GLOBAL bounds - >= 216173 @ 678.714
760.23/762.58	c GLOBAL bounds - >= 216173 @ 678.765
760.73/763.00	c GLOBAL bounds - >= 216173 @ 679.026
760.73/763.07	c GLOBAL bounds - >= 216173 @ 679.077
761.13/763.43	c GLOBAL bounds - >= 216173 @ 679.312
761.22/763.51	c GLOBAL bounds - >= 216173 @ 679.358
761.52/763.87	c GLOBAL bounds - >= 216173 @ 679.596
761.62/763.94	c GLOBAL bounds - >= 216173 @ 679.647
761.92/764.29	c GLOBAL bounds - >= 216173 @ 679.873
762.02/764.36	c GLOBAL bounds - >= 216173 @ 679.918
762.42/764.71	c GLOBAL bounds - >= 216173 @ 680.113
762.42/764.78	c GLOBAL bounds - >= 216173 @ 680.161
762.72/765.10	c GLOBAL bounds - >= 216173 @ 680.348
762.83/765.17	c GLOBAL bounds - >= 216173 @ 680.402
763.22/765.51	c GLOBAL bounds - >= 216173 @ 680.614
763.22/765.58	c GLOBAL bounds - >= 216173 @ 680.658
763.62/765.92	c GLOBAL bounds - >= 216173 @ 680.865
763.62/765.99	c GLOBAL bounds - >= 216173 @ 680.909
764.01/766.32	c GLOBAL bounds - >= 216173 @ 681.103
764.32/766.68	c GLOBAL bounds - >= 216173 @ 681.365
764.91/767.24	c GLOBAL bounds - >= 216173 @ 681.815
765.61/768.00	c GLOBAL bounds - >= 216173 @ 682.463
766.82/769.15	c GLOBAL bounds - >= 216173 @ 683.495
767.30/769.63	c GLOBAL bounds - >= 216173 @ 683.874
768.11/770.44	c GLOBAL bounds - >= 216173 @ 684.584
774.79/777.19	c GLOBAL bounds - >= 216173 @ 691.171
788.66/791.10	c GLOBAL bounds - >= 216173 @ 704.862
793.84/796.22	c GLOBAL bounds - >= 217793 @ 709.917
794.03/796.46	c GLOBAL bounds - >= 217793 @ 710.133
794.13/796.53	c GLOBAL bounds - >= 217793 @ 710.179
794.24/796.61	c GLOBAL bounds - >= 217793 @ 710.224
794.24/796.68	c GLOBAL bounds - >= 217793 @ 710.275
794.34/796.75	c GLOBAL bounds - >= 217793 @ 710.32
794.43/796.82	c GLOBAL bounds - >= 217793 @ 710.366
794.43/796.89	c GLOBAL bounds - >= 217793 @ 710.412
794.53/796.96	c GLOBAL bounds - >= 217793 @ 710.447
794.64/797.03	c GLOBAL bounds - >= 217793 @ 710.495
795.43/797.80	c GLOBAL bounds - >= 217793 @ 711.11
795.43/797.88	c GLOBAL bounds - >= 217793 @ 711.165
795.83/798.24	c GLOBAL bounds - >= 217793 @ 711.404
795.93/798.32	c GLOBAL bounds - >= 217793 @ 711.455
796.23/798.68	c GLOBAL bounds - >= 217793 @ 711.698
796.33/798.76	c GLOBAL bounds - >= 217793 @ 711.749
796.73/799.15	c GLOBAL bounds - >= 217793 @ 711.984
796.83/799.22	c GLOBAL bounds - >= 217793 @ 712.03
797.13/799.57	c GLOBAL bounds - >= 217793 @ 712.234
797.22/799.64	c GLOBAL bounds - >= 217793 @ 712.287
797.53/799.97	c GLOBAL bounds - >= 217793 @ 712.495
797.63/800.05	c GLOBAL bounds - >= 217793 @ 712.542
797.92/800.37	c GLOBAL bounds - >= 217793 @ 712.729
798.03/800.45	c GLOBAL bounds - >= 217793 @ 712.779
798.32/800.76	c GLOBAL bounds - >= 217793 @ 712.972
798.42/800.84	c GLOBAL bounds - >= 217793 @ 713.018
798.73/801.16	c GLOBAL bounds - >= 217793 @ 713.213
798.83/801.23	c GLOBAL bounds - >= 217793 @ 713.263
799.22/801.66	c GLOBAL bounds - >= 217793 @ 713.512
799.73/802.12	c GLOBAL bounds - >= 217793 @ 713.852
800.72/803.14	c GLOBAL bounds - >= 217793 @ 714.701
802.92/805.34	c GLOBAL bounds - >= 217793 @ 716.756
803.41/805.83	c GLOBAL bounds - >= 217793 @ 717.136
811.28/813.78	c GLOBAL bounds - >= 217793 @ 724.81
812.59/815.04	c GLOBAL bounds - >= 217793 @ 725.931
865.93/868.54	c INPROCESSING
865.93/868.54	c GARBAGE COLLECT
865.93/868.54	c GLOBAL bounds - >= 217793 @ 778.794
867.43/870.08	c GLOBAL bounds - >= 218355 @ 780.329
867.62/870.27	c GLOBAL bounds - >= 218355 @ 780.489
867.72/870.34	c GLOBAL bounds - >= 218355 @ 780.541
867.82/870.42	c GLOBAL bounds - >= 218355 @ 780.594
867.82/870.49	c GLOBAL bounds - >= 218355 @ 780.64
867.92/870.57	c GLOBAL bounds - >= 218355 @ 780.685
868.03/870.64	c GLOBAL bounds - >= 218355 @ 780.739
868.12/870.72	c GLOBAL bounds - >= 218355 @ 780.787
868.12/870.79	c GLOBAL bounds - >= 218355 @ 780.83
868.53/871.17	c GLOBAL bounds - >= 218355 @ 781.095
868.62/871.25	c GLOBAL bounds - >= 218355 @ 781.152
869.02/871.64	c GLOBAL bounds - >= 218355 @ 781.41
869.12/871.72	c GLOBAL bounds - >= 218355 @ 781.465
869.43/872.08	c GLOBAL bounds - >= 218355 @ 781.694
869.52/872.15	c GLOBAL bounds - >= 218355 @ 781.752
869.92/872.53	c GLOBAL bounds - >= 218355 @ 781.994
870.01/872.61	c GLOBAL bounds - >= 218355 @ 782.047
870.32/872.95	c GLOBAL bounds - >= 218355 @ 782.262
870.42/873.03	c GLOBAL bounds - >= 218355 @ 782.311
870.72/873.38	c GLOBAL bounds - >= 218355 @ 782.549
870.81/873.45	c GLOBAL bounds - >= 218355 @ 782.605
871.22/873.81	c GLOBAL bounds - >= 218355 @ 782.837
871.22/873.88	c GLOBAL bounds - >= 218355 @ 782.886
871.61/874.24	c GLOBAL bounds - >= 218355 @ 783.119
871.71/874.31	c GLOBAL bounds - >= 218355 @ 783.174
872.01/874.66	c GLOBAL bounds - >= 218355 @ 783.4
872.11/874.74	c GLOBAL bounds - >= 218355 @ 783.45
872.42/875.05	c GLOBAL bounds - >= 218355 @ 783.636
873.61/876.29	c GLOBAL bounds - >= 218355 @ 784.767
874.70/877.31	c GLOBAL bounds - >= 218355 @ 785.654
881.58/884.20	c GLOBAL bounds - >= 218355 @ 792.407
883.67/886.35	c GLOBAL bounds - >= 218355 @ 794.434
884.08/886.77	c GLOBAL bounds - >= 218355 @ 794.75
884.48/887.16	c GLOBAL bounds - >= 218355 @ 795.039
884.58/887.28	c GLOBAL bounds - >= 218355 @ 795.153
884.78/887.47	c GLOBAL bounds - >= 218355 @ 795.32
884.88/887.55	c GLOBAL bounds - >= 218355 @ 795.371
884.97/887.62	c GLOBAL bounds - >= 218355 @ 795.421
885.08/887.70	c GLOBAL bounds - >= 218355 @ 795.472
885.08/887.77	c GLOBAL bounds - >= 218355 @ 795.525
885.18/887.85	c GLOBAL bounds - >= 218355 @ 795.567
885.27/887.92	c GLOBAL bounds - >= 218355 @ 795.621
885.57/888.23	c GLOBAL bounds - >= 218355 @ 795.824
885.67/888.30	c GLOBAL bounds - >= 218355 @ 795.875
885.98/888.61	c GLOBAL bounds - >= 218355 @ 796.06
885.98/888.69	c GLOBAL bounds - >= 218355 @ 796.114
886.38/889.02	c GLOBAL bounds - >= 218355 @ 796.329
886.48/889.10	c GLOBAL bounds - >= 218355 @ 796.386
886.77/889.44	c GLOBAL bounds - >= 218355 @ 796.595
886.87/889.52	c GLOBAL bounds - >= 218355 @ 796.64
887.17/889.85	c GLOBAL bounds - >= 218355 @ 796.858
887.27/889.93	c GLOBAL bounds - >= 218355 @ 796.901
887.57/890.25	c GLOBAL bounds - >= 218355 @ 797.104
887.67/890.33	c GLOBAL bounds - >= 218355 @ 797.155
887.97/890.62	c GLOBAL bounds - >= 218355 @ 797.326
887.97/890.69	c GLOBAL bounds - >= 218355 @ 797.382
888.27/890.96	c GLOBAL bounds - >= 218355 @ 797.536
888.37/891.03	c GLOBAL bounds - >= 218355 @ 797.594
888.66/891.30	c GLOBAL bounds - >= 218355 @ 797.749
888.66/891.37	c GLOBAL bounds - >= 218355 @ 797.799
888.97/891.64	c GLOBAL bounds - >= 218355 @ 797.956
891.66/894.33	c GLOBAL bounds - >= 218355 @ 800.519
892.15/894.86	c GLOBAL bounds - >= 218355 @ 800.945
892.65/895.33	c GLOBAL bounds - >= 218355 @ 801.302
898.94/901.68	c #Conflicts:       7000 | #Constraints:   24312963
898.94/901.68	c GLOBAL bounds - >= 218355 @ 807.535
899.54/902.24	c GLOBAL bounds - >= 218355 @ 807.985
900.03/902.77	c GLOBAL bounds - >= 218355 @ 808.414
900.14/902.88	c GLOBAL bounds - >= 218355 @ 808.53
900.34/903.07	c GLOBAL bounds - >= 218355 @ 808.688
900.44/903.14	c GLOBAL bounds - >= 218355 @ 808.738
900.53/903.21	c GLOBAL bounds - >= 218355 @ 808.783
900.53/903.29	c GLOBAL bounds - >= 218355 @ 808.828
900.63/903.36	c GLOBAL bounds - >= 218355 @ 808.878
900.73/903.43	c GLOBAL bounds - >= 218355 @ 808.926
900.83/903.51	c GLOBAL bounds - >= 218355 @ 808.976
901.13/903.83	c GLOBAL bounds - >= 218355 @ 809.178
901.23/903.90	c GLOBAL bounds - >= 218355 @ 809.223
901.43/904.19	c GLOBAL bounds - >= 218355 @ 809.392
901.53/904.27	c GLOBAL bounds - >= 218355 @ 809.446
901.83/904.57	c GLOBAL bounds - >= 218355 @ 809.613
901.93/904.64	c GLOBAL bounds - >= 218355 @ 809.664
902.23/904.94	c GLOBAL bounds - >= 218355 @ 809.838
902.34/905.02	c GLOBAL bounds - >= 218355 @ 809.898
902.53/905.29	c GLOBAL bounds - >= 218355 @ 810.064
902.63/905.36	c GLOBAL bounds - >= 218355 @ 810.119
903.23/905.94	c GLOBAL bounds - >= 218355 @ 810.498
903.34/906.02	c GLOBAL bounds - >= 218355 @ 810.546
903.52/906.25	c GLOBAL bounds - >= 218355 @ 810.651
903.62/906.32	c GLOBAL bounds - >= 218355 @ 810.703
903.83/906.59	c GLOBAL bounds - >= 218355 @ 810.861
903.93/906.67	c GLOBAL bounds - >= 218355 @ 810.911
904.22/906.91	c GLOBAL bounds - >= 218355 @ 811.021
904.22/906.98	c GLOBAL bounds - >= 218355 @ 811.072
904.52/907.21	c GLOBAL bounds - >= 218355 @ 811.195
905.92/908.63	c GLOBAL bounds - >= 218355 @ 812.513
908.11/910.82	c GLOBAL bounds - >= 218355 @ 814.588
909.31/912.07	c GLOBAL bounds - >= 218355 @ 815.723
910.91/913.61	c GLOBAL bounds - >= 218355 @ 817.161
912.11/914.80	c GLOBAL bounds - >= 218355 @ 818.265
917.09/919.85	c GLOBAL bounds - >= 218355 @ 823.183
920.28/923.06	c GLOBAL bounds - >= 218355 @ 826.276
920.88/923.63	c GLOBAL bounds - >= 218355 @ 826.733
931.25/934.10	c GLOBAL bounds - >= 219179 @ 837.166
931.65/934.45	c GLOBAL bounds - >= 219179 @ 837.489
931.75/934.52	c GLOBAL bounds - >= 219179 @ 837.533
931.85/934.60	c GLOBAL bounds - >= 219179 @ 837.581
931.85/934.67	c GLOBAL bounds - >= 219179 @ 837.626
931.95/934.75	c GLOBAL bounds - >= 219179 @ 837.675
932.05/934.82	c GLOBAL bounds - >= 219179 @ 837.727
932.05/934.89	c GLOBAL bounds - >= 219179 @ 837.768
932.15/934.97	c GLOBAL bounds - >= 219179 @ 837.82
932.25/935.04	c GLOBAL bounds - >= 219179 @ 837.865
934.04/936.86	c GLOBAL bounds - >= 219179 @ 839.53
934.14/936.94	c GLOBAL bounds - >= 219179 @ 839.578
934.55/937.31	c GLOBAL bounds - >= 219179 @ 839.814
934.55/937.38	c GLOBAL bounds - >= 219179 @ 839.862
934.94/937.76	c GLOBAL bounds - >= 219179 @ 840.109
935.04/937.83	c GLOBAL bounds - >= 219179 @ 840.158
935.44/938.29	c GLOBAL bounds - >= 219179 @ 840.453
935.54/938.37	c GLOBAL bounds - >= 219179 @ 840.505
935.94/938.75	c GLOBAL bounds - >= 219179 @ 840.759
936.04/938.83	c GLOBAL bounds - >= 219179 @ 840.809
936.34/939.18	c GLOBAL bounds - >= 219179 @ 841.036
936.44/939.26	c GLOBAL bounds - >= 219179 @ 841.085
936.84/939.60	c GLOBAL bounds - >= 219179 @ 841.314
936.84/939.68	c GLOBAL bounds - >= 219179 @ 841.366
937.14/940.00	c GLOBAL bounds - >= 219179 @ 841.558
937.24/940.07	c GLOBAL bounds - >= 219179 @ 841.603
937.53/940.39	c GLOBAL bounds - >= 219179 @ 841.788
937.64/940.46	c GLOBAL bounds - >= 219179 @ 841.835
937.93/940.78	c GLOBAL bounds - >= 219179 @ 842.036
938.83/941.64	c GLOBAL bounds - >= 219179 @ 842.78
939.53/942.32	c GLOBAL bounds - >= 219179 @ 843.347
940.43/943.23	c GLOBAL bounds - >= 219179 @ 844.149
956.30/959.16	c GLOBAL bounds - >= 219179 @ 859.924
957.68/960.50	c GLOBAL bounds - >= 219179 @ 861.16
965.56/968.44	c GLOBAL bounds - >= 219877 @ 869.074
965.75/968.69	c GLOBAL bounds - >= 219877 @ 869.297
965.86/968.76	c GLOBAL bounds - >= 219877 @ 869.345
965.95/968.84	c GLOBAL bounds - >= 219877 @ 869.402
966.06/968.91	c GLOBAL bounds - >= 219877 @ 869.448
966.06/968.98	c GLOBAL bounds - >= 219877 @ 869.496
966.65/969.55	c GLOBAL bounds - >= 219877 @ 869.916
966.75/969.63	c GLOBAL bounds - >= 219877 @ 869.966
967.26/970.10	c GLOBAL bounds - >= 219877 @ 870.283
967.26/970.18	c GLOBAL bounds - >= 219877 @ 870.34
967.75/970.62	c GLOBAL bounds - >= 219877 @ 870.616
967.75/970.69	c GLOBAL bounds - >= 219877 @ 870.672
968.26/971.16	c GLOBAL bounds - >= 219877 @ 871.002
968.35/971.23	c GLOBAL bounds - >= 219877 @ 871.056
968.75/971.69	c GLOBAL bounds - >= 219877 @ 871.357
968.85/971.76	c GLOBAL bounds - >= 219877 @ 871.407
969.35/972.20	c GLOBAL bounds - >= 219877 @ 871.707
969.35/972.28	c GLOBAL bounds - >= 219877 @ 871.758
969.75/972.68	c GLOBAL bounds - >= 219877 @ 872.046
969.85/972.76	c GLOBAL bounds - >= 219877 @ 872.091
970.25/973.12	c GLOBAL bounds - >= 219877 @ 872.335
970.35/973.20	c GLOBAL bounds - >= 219877 @ 872.387
970.54/973.48	c GLOBAL bounds - >= 219877 @ 872.561
970.65/973.56	c GLOBAL bounds - >= 219877 @ 872.61
970.95/973.84	c GLOBAL bounds - >= 219877 @ 872.766
975.04/977.90	c GLOBAL bounds - >= 219877 @ 876.709
977.33/980.26	c GLOBAL bounds - >= 219877 @ 878.968
979.03/981.96	c GLOBAL bounds - >= 219877 @ 880.559
985.41/988.38	c GLOBAL bounds - >= 219877 @ 886.851
987.10/990.07	c GLOBAL bounds - >= 219877 @ 888.427
991.29/994.21	c GLOBAL bounds - >= 221339 @ 892.555
991.69/994.64	c GLOBAL bounds - >= 221339 @ 892.959
991.79/994.72	c GLOBAL bounds - >= 221339 @ 893.007
991.79/994.79	c GLOBAL bounds - >= 221339 @ 893.054
991.88/994.87	c GLOBAL bounds - >= 221339 @ 893.106
991.99/994.94	c GLOBAL bounds - >= 221339 @ 893.159
992.09/995.01	c GLOBAL bounds - >= 221339 @ 893.209
992.78/995.73	c GLOBAL bounds - >= 221339 @ 893.794
992.88/995.81	c GLOBAL bounds - >= 221339 @ 893.839
993.38/996.30	c GLOBAL bounds - >= 221339 @ 894.169
993.38/996.38	c GLOBAL bounds - >= 221339 @ 894.21
994.09/997.04	c GLOBAL bounds - >= 221339 @ 894.636
994.19/997.11	c GLOBAL bounds - >= 221339 @ 894.688
994.58/997.56	c GLOBAL bounds - >= 221339 @ 894.987
994.68/997.64	c GLOBAL bounds - >= 221339 @ 895.038
995.09/998.02	c GLOBAL bounds - >= 221339 @ 895.276
995.09/998.09	c GLOBAL bounds - >= 221339 @ 895.325
995.58/998.50	c GLOBAL bounds - >= 221339 @ 895.614
995.58/998.58	c GLOBAL bounds - >= 221339 @ 895.666
995.98/998.95	c GLOBAL bounds - >= 221339 @ 895.899
996.08/999.02	c GLOBAL bounds - >= 221339 @ 895.95
996.37/999.39	c GLOBAL bounds - >= 221339 @ 896.206
996.48/999.46	c GLOBAL bounds - >= 221339 @ 896.254
996.98/999.99	c GLOBAL bounds - >= 221339 @ 896.646
997.08/1000.07	c GLOBAL bounds - >= 221339 @ 896.696
997.47/1000.41	c GLOBAL bounds - >= 221339 @ 896.915
997.97/1000.99	c GLOBAL bounds - >= 221339 @ 897.376
1002.26/1005.29	c GLOBAL bounds - >= 221339 @ 901.56
1002.86/1005.80	c GLOBAL bounds - >= 223089 @ 902.065
1003.06/1006.07	c GLOBAL bounds - >= 223089 @ 902.311
1003.16/1006.15	c GLOBAL bounds - >= 223089 @ 902.36
1003.26/1006.22	c GLOBAL bounds - >= 223089 @ 902.407
1004.06/1007.10	c GLOBAL bounds - >= 223089 @ 903.141
1004.16/1007.17	c GLOBAL bounds - >= 223089 @ 903.193
1004.65/1007.62	c GLOBAL bounds - >= 223089 @ 903.492
1004.65/1007.69	c GLOBAL bounds - >= 223089 @ 903.546
1005.16/1008.15	c GLOBAL bounds - >= 223089 @ 903.837
1005.25/1008.23	c GLOBAL bounds - >= 223089 @ 903.886
1005.66/1008.68	c GLOBAL bounds - >= 223089 @ 904.183
1005.76/1008.76	c GLOBAL bounds - >= 223089 @ 904.23
1006.25/1009.21	c GLOBAL bounds - >= 223089 @ 904.517
1006.25/1009.28	c GLOBAL bounds - >= 223089 @ 904.565
1006.75/1009.75	c GLOBAL bounds - >= 223089 @ 904.893
1006.85/1009.83	c GLOBAL bounds - >= 223089 @ 904.938
1007.25/1010.25	c GLOBAL bounds - >= 223089 @ 905.197
1007.34/1010.33	c GLOBAL bounds - >= 223089 @ 905.243
1007.75/1010.71	c GLOBAL bounds - >= 223089 @ 905.488
1007.75/1010.79	c GLOBAL bounds - >= 223089 @ 905.538
1008.15/1011.16	c GLOBAL bounds - >= 223089 @ 905.773
1008.24/1011.24	c GLOBAL bounds - >= 223089 @ 905.818
1008.65/1011.62	c GLOBAL bounds - >= 223089 @ 906.066
1009.44/1012.43	c GLOBAL bounds - >= 223089 @ 906.768
1009.84/1012.87	c GLOBAL bounds - >= 223089 @ 907.1
1010.64/1013.64	c GLOBAL bounds - >= 223089 @ 907.77
1012.14/1015.17	c GLOBAL bounds - >= 223089 @ 909.196
1015.62/1018.61	c GLOBAL bounds - >= 223089 @ 912.524
1036.97/1040.02	c #Conflicts:       8000 | #Constraints:   27410209
1036.97/1040.02	c GLOBAL bounds - >= 223089 @ 933.761
1040.85/1043.94	c GLOBAL bounds - >= 224167 @ 937.675
1041.06/1044.20	c GLOBAL bounds - >= 224167 @ 937.892
1041.16/1044.27	c GLOBAL bounds - >= 224167 @ 937.935
1041.26/1044.34	c GLOBAL bounds - >= 224167 @ 937.987
1041.35/1044.42	c GLOBAL bounds - >= 224167 @ 938.041
1041.35/1044.49	c GLOBAL bounds - >= 224167 @ 938.092
1041.45/1044.57	c GLOBAL bounds - >= 224167 @ 938.145
1041.55/1044.64	c GLOBAL bounds - >= 224167 @ 938.195
1042.26/1045.30	c GLOBAL bounds - >= 224167 @ 938.704
1042.26/1045.38	c GLOBAL bounds - >= 224167 @ 938.754
1043.05/1046.14	c GLOBAL bounds - >= 224167 @ 939.367
1043.14/1046.22	c GLOBAL bounds - >= 224167 @ 939.42
1043.65/1046.71	c GLOBAL bounds - >= 224167 @ 939.769
1043.65/1046.79	c GLOBAL bounds - >= 224167 @ 939.823
1044.15/1047.27	c GLOBAL bounds - >= 224167 @ 940.167
1044.25/1047.34	c GLOBAL bounds - >= 224167 @ 940.218
1044.64/1047.77	c GLOBAL bounds - >= 224167 @ 940.519
1044.74/1047.85	c GLOBAL bounds - >= 224167 @ 940.577
1045.14/1048.23	c GLOBAL bounds - >= 224167 @ 940.834
1045.24/1048.31	c GLOBAL bounds - >= 224167 @ 940.878
1045.65/1048.77	c GLOBAL bounds - >= 224167 @ 941.177
1045.74/1048.84	c GLOBAL bounds - >= 224167 @ 941.222
1046.14/1049.24	c GLOBAL bounds - >= 224167 @ 941.487
1046.24/1049.32	c GLOBAL bounds - >= 224167 @ 941.539
1046.64/1049.71	c GLOBAL bounds - >= 224167 @ 941.798
1046.64/1049.78	c GLOBAL bounds - >= 224167 @ 941.846
1047.04/1050.16	c GLOBAL bounds - >= 224167 @ 942.101
1048.73/1051.84	c GLOBAL bounds - >= 224167 @ 943.671
1049.33/1052.43	c GLOBAL bounds - >= 224167 @ 944.153
1050.14/1053.20	c GLOBAL bounds - >= 224167 @ 944.831
1050.23/1053.32	c GLOBAL bounds - >= 224167 @ 944.95
1050.53/1053.63	c GLOBAL bounds - >= 224167 @ 945.233
1050.62/1053.71	c GLOBAL bounds - >= 224167 @ 945.279
1050.62/1053.78	c GLOBAL bounds - >= 224167 @ 945.33
1050.73/1053.85	c GLOBAL bounds - >= 224167 @ 945.378
1051.13/1054.26	c GLOBAL bounds - >= 224167 @ 945.662
1051.23/1054.34	c GLOBAL bounds - >= 224167 @ 945.712
1051.53/1054.67	c GLOBAL bounds - >= 224167 @ 945.933
1051.63/1054.75	c GLOBAL bounds - >= 224167 @ 945.985
1052.03/1055.12	c GLOBAL bounds - >= 224167 @ 946.238
1052.12/1055.20	c GLOBAL bounds - >= 224167 @ 946.291
1052.42/1055.58	c GLOBAL bounds - >= 224167 @ 946.539
1052.52/1055.65	c GLOBAL bounds - >= 224167 @ 946.586
1052.93/1056.03	c GLOBAL bounds - >= 224167 @ 946.844
1053.03/1056.10	c GLOBAL bounds - >= 224167 @ 946.904
1053.32/1056.44	c GLOBAL bounds - >= 224167 @ 947.127
1053.42/1056.52	c GLOBAL bounds - >= 224167 @ 947.173
1053.72/1056.88	c GLOBAL bounds - >= 224167 @ 947.419
1053.82/1056.95	c GLOBAL bounds - >= 224167 @ 947.468
1054.22/1057.32	c GLOBAL bounds - >= 224167 @ 947.717
1054.32/1057.40	c GLOBAL bounds - >= 224167 @ 947.768
1054.62/1057.77	c GLOBAL bounds - >= 224167 @ 948.016
1054.72/1057.84	c GLOBAL bounds - >= 224167 @ 948.062
1055.03/1058.18	c GLOBAL bounds - >= 224167 @ 948.277
1062.69/1065.89	c GLOBAL bounds - >= 224167 @ 955.85
1063.29/1066.46	c GLOBAL bounds - >= 224167 @ 956.315
1069.28/1072.48	c GLOBAL bounds - >= 224167 @ 962.216
1073.87/1077.05	c GLOBAL bounds - >= 224167 @ 966.657
1095.40/1098.61	c GLOBAL bounds - >= 224167 @ 987.882
1096.40/1099.68	c GLOBAL bounds - >= 224167 @ 988.843
1096.60/1099.82	c GLOBAL bounds - >= 224167 @ 988.982
1096.80/1100.05	c GLOBAL bounds - >= 224167 @ 989.183
1096.91/1100.12	c GLOBAL bounds - >= 224167 @ 989.232
1096.91/1100.19	c GLOBAL bounds - >= 224167 @ 989.277
1096.99/1100.27	c GLOBAL bounds - >= 224167 @ 989.324
1097.10/1100.34	c GLOBAL bounds - >= 224167 @ 989.373
1097.20/1100.41	c GLOBAL bounds - >= 224167 @ 989.422
1097.20/1100.49	c GLOBAL bounds - >= 224167 @ 989.467
1097.80/1101.00	c GLOBAL bounds - >= 224167 @ 989.808
1097.80/1101.08	c GLOBAL bounds - >= 224167 @ 989.861
1098.30/1101.51	c GLOBAL bounds - >= 224167 @ 990.149
1098.30/1101.58	c GLOBAL bounds - >= 224167 @ 990.2
1098.69/1101.98	c GLOBAL bounds - >= 224167 @ 990.454
1098.80/1102.05	c GLOBAL bounds - >= 224167 @ 990.504
1099.20/1102.43	c GLOBAL bounds - >= 224167 @ 990.763
1099.30/1102.51	c GLOBAL bounds - >= 224167 @ 990.813
1099.59/1102.89	c GLOBAL bounds - >= 224167 @ 991.07
1099.69/1102.97	c GLOBAL bounds - >= 224167 @ 991.123
1100.09/1103.31	c GLOBAL bounds - >= 224167 @ 991.342
1100.09/1103.38	c GLOBAL bounds - >= 224167 @ 991.393
1100.49/1103.75	c GLOBAL bounds - >= 224167 @ 991.644
1100.59/1103.83	c GLOBAL bounds - >= 224167 @ 991.693
1100.90/1104.16	c GLOBAL bounds - >= 224167 @ 991.886
1100.99/1104.23	c GLOBAL bounds - >= 224167 @ 991.936
1101.28/1104.56	c GLOBAL bounds - >= 224167 @ 992.15
1101.39/1104.64	c GLOBAL bounds - >= 224167 @ 992.202
1101.69/1104.97	c GLOBAL bounds - >= 224167 @ 992.409
1102.39/1105.62	c GLOBAL bounds - >= 224167 @ 992.945
1104.18/1107.48	c GLOBAL bounds - >= 224167 @ 994.683
1107.18/1110.40	c GLOBAL bounds - >= 224167 @ 997.484
1108.47/1111.75	c GLOBAL bounds - >= 224167 @ 998.707
1111.76/1115.06	c GLOBAL bounds - >= 224167 @ 1001.88
1115.95/1119.21	c GLOBAL bounds - >= 224869 @ 1006
1116.14/1119.45	c GLOBAL bounds - >= 224869 @ 1006.21
1116.25/1119.53	c GLOBAL bounds - >= 224869 @ 1006.26
1116.34/1119.60	c GLOBAL bounds - >= 224869 @ 1006.31
1116.34/1119.68	c GLOBAL bounds - >= 224869 @ 1006.36
1116.45/1119.75	c GLOBAL bounds - >= 224869 @ 1006.41
1116.54/1119.83	c GLOBAL bounds - >= 224869 @ 1006.46
1118.24/1121.54	c GLOBAL bounds - >= 224869 @ 1008.04
1118.34/1121.62	c GLOBAL bounds - >= 224869 @ 1008.1
1118.75/1122.05	c GLOBAL bounds - >= 224869 @ 1008.41
1118.85/1122.13	c GLOBAL bounds - >= 224869 @ 1008.46
1119.24/1122.57	c GLOBAL bounds - >= 224869 @ 1008.77
1119.34/1122.65	c GLOBAL bounds - >= 224869 @ 1008.82
1119.75/1123.01	c GLOBAL bounds - >= 224869 @ 1009.07
1119.75/1123.08	c GLOBAL bounds - >= 224869 @ 1009.11
1120.13/1123.44	c GLOBAL bounds - >= 224869 @ 1009.35
1120.23/1123.52	c GLOBAL bounds - >= 224869 @ 1009.4
1120.53/1123.88	c GLOBAL bounds - >= 224869 @ 1009.63
1120.63/1123.95	c GLOBAL bounds - >= 224869 @ 1009.68
1121.04/1124.31	c GLOBAL bounds - >= 224869 @ 1009.91
1121.04/1124.39	c GLOBAL bounds - >= 224869 @ 1009.96
1121.44/1124.75	c GLOBAL bounds - >= 224869 @ 1010.2
1121.54/1124.82	c GLOBAL bounds - >= 224869 @ 1010.26
1121.84/1125.18	c GLOBAL bounds - >= 224869 @ 1010.48
1121.94/1125.26	c GLOBAL bounds - >= 224869 @ 1010.53
1122.33/1125.64	c GLOBAL bounds - >= 224869 @ 1010.8
1122.74/1126.04	c GLOBAL bounds - >= 224869 @ 1011.1
1123.43/1126.78	c GLOBAL bounds - >= 224869 @ 1011.72
1129.61/1132.90	c GLOBAL bounds - >= 224869 @ 1017.67
1130.22/1133.58	c GLOBAL bounds - >= 224869 @ 1018.24
1155.74/1159.14	c GLOBAL bounds - >= 224869 @ 1043.5
1168.40/1171.85	c #Conflicts:       9000 | #Constraints:   29800950
1168.40/1171.85	c GLOBAL bounds - >= 225913 @ 1056.11
1169.00/1172.47	c GLOBAL bounds - >= 225913 @ 1056.57
1169.10/1172.54	c GLOBAL bounds - >= 225913 @ 1056.63
1169.20/1172.62	c GLOBAL bounds - >= 225913 @ 1056.68
1169.20/1172.69	c GLOBAL bounds - >= 225913 @ 1056.72
1169.30/1172.77	c GLOBAL bounds - >= 225913 @ 1056.76
1169.40/1172.84	c GLOBAL bounds - >= 225913 @ 1056.81
1170.10/1173.51	c GLOBAL bounds - >= 225913 @ 1057.33
1170.19/1173.60	c GLOBAL bounds - >= 225913 @ 1057.38
1171.00/1174.45	c GLOBAL bounds - >= 225913 @ 1058.07
1171.10/1174.52	c GLOBAL bounds - >= 225913 @ 1058.12
1171.70/1175.14	c GLOBAL bounds - >= 225913 @ 1058.57
1171.80/1175.22	c GLOBAL bounds - >= 225913 @ 1058.62
1172.29/1175.71	c GLOBAL bounds - >= 225913 @ 1058.98
1172.29/1175.78	c GLOBAL bounds - >= 225913 @ 1059.02
1172.79/1176.22	c GLOBAL bounds - >= 225913 @ 1059.33
1172.90/1176.30	c GLOBAL bounds - >= 225913 @ 1059.37
1173.29/1176.74	c GLOBAL bounds - >= 225913 @ 1059.68
1173.39/1176.81	c GLOBAL bounds - >= 225913 @ 1059.73
1173.79/1177.26	c GLOBAL bounds - >= 225913 @ 1060.02
1173.89/1177.33	c GLOBAL bounds - >= 225913 @ 1060.08
1174.39/1177.81	c GLOBAL bounds - >= 225913 @ 1060.39
1174.39/1177.89	c GLOBAL bounds - >= 225913 @ 1060.45
1174.89/1178.35	c GLOBAL bounds - >= 225913 @ 1060.75
1174.99/1178.42	c GLOBAL bounds - >= 225913 @ 1060.81
1175.38/1178.82	c GLOBAL bounds - >= 225913 @ 1061.06
1176.18/1179.66	c GLOBAL bounds - >= 225913 @ 1061.79
1177.48/1180.94	c GLOBAL bounds - >= 225913 @ 1062.96
1181.27/1184.71	c GLOBAL bounds - >= 225913 @ 1066.59
1181.87/1185.36	c GLOBAL bounds - >= 225913 @ 1067.14
1183.47/1186.98	c GLOBAL bounds - >= 226139 @ 1068.75
1183.76/1187.29	c GLOBAL bounds - >= 226139 @ 1069.01
1183.86/1187.36	c GLOBAL bounds - >= 226139 @ 1069.06
1183.96/1187.44	c GLOBAL bounds - >= 226139 @ 1069.12
1184.06/1187.51	c GLOBAL bounds - >= 226139 @ 1069.17
1184.06/1187.59	c GLOBAL bounds - >= 226139 @ 1069.22
1184.66/1188.18	c GLOBAL bounds - >= 226139 @ 1069.69
1184.76/1188.26	c GLOBAL bounds - >= 226139 @ 1069.74
1185.36/1188.84	c GLOBAL bounds - >= 226139 @ 1070.19
1185.46/1188.92	c GLOBAL bounds - >= 226139 @ 1070.24
1185.96/1189.42	c GLOBAL bounds - >= 226139 @ 1070.57
1185.96/1189.49	c GLOBAL bounds - >= 226139 @ 1070.62
1186.36/1189.89	c GLOBAL bounds - >= 226139 @ 1070.89
1186.46/1189.96	c GLOBAL bounds - >= 226139 @ 1070.93
1186.85/1190.34	c GLOBAL bounds - >= 226139 @ 1071.19
1186.95/1190.42	c GLOBAL bounds - >= 226139 @ 1071.24
1187.36/1190.80	c GLOBAL bounds - >= 226139 @ 1071.5
1187.36/1190.87	c GLOBAL bounds - >= 226139 @ 1071.55
1187.86/1191.31	c GLOBAL bounds - >= 226139 @ 1071.84
1187.86/1191.39	c GLOBAL bounds - >= 226139 @ 1071.89
1188.35/1191.82	c GLOBAL bounds - >= 226139 @ 1072.19
1188.45/1191.90	c GLOBAL bounds - >= 226139 @ 1072.23
1188.75/1192.27	c GLOBAL bounds - >= 226139 @ 1072.49
1188.85/1192.35	c GLOBAL bounds - >= 226139 @ 1072.54
1189.15/1192.68	c GLOBAL bounds - >= 226139 @ 1072.75
1189.84/1193.36	c GLOBAL bounds - >= 226139 @ 1073.32
1190.65/1194.16	c GLOBAL bounds - >= 226139 @ 1074.02
1195.43/1198.97	c GLOBAL bounds - >= 226139 @ 1078.65
1197.43/1200.90	c GLOBAL bounds - >= 226139 @ 1080.44
1239.00/1242.61	c INPROCESSING
1239.00/1242.61	c GARBAGE COLLECT
1239.00/1242.61	c GLOBAL bounds - >= 227513 @ 1121.4
1239.30/1242.99	c GLOBAL bounds - >= 227513 @ 1121.75
1239.41/1243.06	c GLOBAL bounds - >= 227513 @ 1121.8
1239.51/1243.14	c GLOBAL bounds - >= 227513 @ 1121.85
1239.61/1243.22	c GLOBAL bounds - >= 227513 @ 1121.91
1239.61/1243.29	c GLOBAL bounds - >= 227513 @ 1121.96
1240.41/1244.04	c GLOBAL bounds - >= 227513 @ 1122.58
1240.50/1244.12	c GLOBAL bounds - >= 227513 @ 1122.63
1240.90/1244.51	c GLOBAL bounds - >= 227513 @ 1122.89
1240.90/1244.58	c GLOBAL bounds - >= 227513 @ 1122.94
1241.40/1245.01	c GLOBAL bounds - >= 227513 @ 1123.23
1241.40/1245.09	c GLOBAL bounds - >= 227513 @ 1123.28
1241.89/1245.56	c GLOBAL bounds - >= 227513 @ 1123.62
1241.99/1245.64	c GLOBAL bounds - >= 227513 @ 1123.67
1242.30/1245.98	c GLOBAL bounds - >= 227513 @ 1123.89
1242.40/1246.05	c GLOBAL bounds - >= 227513 @ 1123.94
1242.70/1246.39	c GLOBAL bounds - >= 227513 @ 1124.16
1242.79/1246.47	c GLOBAL bounds - >= 227513 @ 1124.21
1243.20/1246.81	c GLOBAL bounds - >= 227513 @ 1124.44
1243.20/1246.89	c GLOBAL bounds - >= 227513 @ 1124.48
1243.59/1247.23	c GLOBAL bounds - >= 227513 @ 1124.71
1243.69/1247.30	c GLOBAL bounds - >= 227513 @ 1124.76
1244.00/1247.64	c GLOBAL bounds - >= 227513 @ 1124.96
1244.09/1247.72	c GLOBAL bounds - >= 227513 @ 1125.02
1244.40/1248.06	c GLOBAL bounds - >= 227513 @ 1125.24
1245.39/1249.06	c GLOBAL bounds - >= 227513 @ 1126.13
1250.28/1253.99	c GLOBAL bounds - >= 227513 @ 1130.94
1252.86/1256.55	c GLOBAL bounds - >= 227513 @ 1133.39
1256.25/1259.98	c GLOBAL bounds - >= 227513 @ 1136.73
1262.63/1266.30	c GLOBAL bounds - >= 227513 @ 1142.92
1263.34/1267.09	c GLOBAL bounds - >= 227513 @ 1143.59
1263.54/1267.20	c GLOBAL bounds - >= 227513 @ 1143.69
1263.64/1267.37	c GLOBAL bounds - >= 227513 @ 1143.84
1263.73/1267.44	c GLOBAL bounds - >= 227513 @ 1143.89
1263.84/1267.52	c GLOBAL bounds - >= 227513 @ 1143.93
1263.84/1267.59	c GLOBAL bounds - >= 227513 @ 1143.99
1263.94/1267.67	c GLOBAL bounds - >= 227513 @ 1144.04
1264.03/1267.74	c GLOBAL bounds - >= 227513 @ 1144.08
1264.13/1267.81	c GLOBAL bounds - >= 227513 @ 1144.13
1264.53/1268.22	c GLOBAL bounds - >= 227513 @ 1144.4
1264.63/1268.30	c GLOBAL bounds - >= 227513 @ 1144.45
1264.93/1268.67	c GLOBAL bounds - >= 227513 @ 1144.7
1265.03/1268.75	c GLOBAL bounds - >= 227513 @ 1144.75
1265.43/1269.13	c GLOBAL bounds - >= 227513 @ 1144.99
1265.53/1269.20	c GLOBAL bounds - >= 227513 @ 1145.05
1265.82/1269.58	c GLOBAL bounds - >= 227513 @ 1145.29
1265.93/1269.65	c GLOBAL bounds - >= 227513 @ 1145.34
1266.34/1270.03	c GLOBAL bounds - >= 227513 @ 1145.58
1266.43/1270.10	c GLOBAL bounds - >= 227513 @ 1145.63
1266.73/1270.47	c GLOBAL bounds - >= 227513 @ 1145.87
1266.82/1270.55	c GLOBAL bounds - >= 227513 @ 1145.91
1267.23/1270.91	c GLOBAL bounds - >= 227513 @ 1146.14
1267.23/1270.98	c GLOBAL bounds - >= 227513 @ 1146.2
1267.63/1271.34	c GLOBAL bounds - >= 227513 @ 1146.44
1267.73/1271.42	c GLOBAL bounds - >= 227513 @ 1146.49
1268.02/1271.78	c GLOBAL bounds - >= 227513 @ 1146.73
1268.12/1271.86	c GLOBAL bounds - >= 227513 @ 1146.78
1268.52/1272.22	c GLOBAL bounds - >= 227513 @ 1147.02
1277.30/1281.08	c GLOBAL bounds - >= 227513 @ 1155.72
1277.49/1281.20	c GLOBAL bounds - >= 227513 @ 1155.83
1277.60/1281.32	c GLOBAL bounds - >= 227513 @ 1155.94
1277.70/1281.40	c GLOBAL bounds - >= 227513 @ 1155.98
1278.00/1281.79	c GLOBAL bounds - >= 227513 @ 1156.24
1278.09/1281.86	c GLOBAL bounds - >= 227513 @ 1156.29
1278.49/1282.25	c GLOBAL bounds - >= 227513 @ 1156.56
1278.60/1282.33	c GLOBAL bounds - >= 227513 @ 1156.61
1278.89/1282.69	c GLOBAL bounds - >= 227513 @ 1156.85
1278.99/1282.77	c GLOBAL bounds - >= 227513 @ 1156.9
1279.40/1283.14	c GLOBAL bounds - >= 227513 @ 1157.14
1279.49/1283.21	c GLOBAL bounds - >= 227513 @ 1157.19
1279.79/1283.58	c GLOBAL bounds - >= 227513 @ 1157.43
1279.89/1283.66	c GLOBAL bounds - >= 227513 @ 1157.48
1280.30/1284.03	c GLOBAL bounds - >= 227513 @ 1157.73
1280.40/1284.10	c GLOBAL bounds - >= 227513 @ 1157.78
1280.69/1284.47	c GLOBAL bounds - >= 227513 @ 1158.03
1280.78/1284.55	c GLOBAL bounds - >= 227513 @ 1158.08
1281.18/1284.91	c GLOBAL bounds - >= 227513 @ 1158.3
1281.18/1284.98	c GLOBAL bounds - >= 227513 @ 1158.36
1281.58/1285.34	c GLOBAL bounds - >= 227513 @ 1158.59
1281.68/1285.41	c GLOBAL bounds - >= 227513 @ 1158.64
1281.98/1285.75	c GLOBAL bounds - >= 227513 @ 1158.86
1282.48/1286.20	c GLOBAL bounds - >= 227513 @ 1159.2
1283.18/1286.99	c GLOBAL bounds - >= 227513 @ 1159.87
1285.58/1289.31	c GLOBAL bounds - >= 227513 @ 1162.08
1285.67/1289.43	c GLOBAL bounds - >= 227513 @ 1162.19
1285.77/1289.56	c GLOBAL bounds - >= 227513 @ 1162.3
1285.87/1289.63	c GLOBAL bounds - >= 227513 @ 1162.35
1285.97/1289.71	c GLOBAL bounds - >= 227513 @ 1162.4
1285.97/1289.79	c GLOBAL bounds - >= 227513 @ 1162.44
1286.38/1290.17	c GLOBAL bounds - >= 227513 @ 1162.72
1286.47/1290.25	c GLOBAL bounds - >= 227513 @ 1162.77
1286.87/1290.64	c GLOBAL bounds - >= 227513 @ 1163.04
1286.97/1290.72	c GLOBAL bounds - >= 227513 @ 1163.08
1287.37/1291.11	c GLOBAL bounds - >= 227513 @ 1163.35
1287.37/1291.18	c GLOBAL bounds - >= 227513 @ 1163.39
1287.77/1291.56	c GLOBAL bounds - >= 227513 @ 1163.65
1287.87/1291.64	c GLOBAL bounds - >= 227513 @ 1163.7
1288.27/1292.00	c GLOBAL bounds - >= 227513 @ 1163.94
1288.27/1292.08	c GLOBAL bounds - >= 227513 @ 1163.98
1288.66/1292.45	c GLOBAL bounds - >= 227513 @ 1164.23
1288.76/1292.52	c GLOBAL bounds - >= 227513 @ 1164.28
1289.06/1292.86	c GLOBAL bounds - >= 227513 @ 1164.5
1289.17/1292.94	c GLOBAL bounds - >= 227513 @ 1164.56
1289.46/1293.28	c GLOBAL bounds - >= 227513 @ 1164.78
1289.56/1293.36	c GLOBAL bounds - >= 227513 @ 1164.82
1289.96/1293.70	c GLOBAL bounds - >= 227513 @ 1165.04
1289.96/1293.78	c GLOBAL bounds - >= 227513 @ 1165.09
1290.37/1294.13	c GLOBAL bounds - >= 227513 @ 1165.31
1291.66/1295.40	c GLOBAL bounds - >= 227513 @ 1166.48
1292.95/1296.78	c GLOBAL bounds - >= 227513 @ 1167.75
1313.49/1317.32	c GLOBAL bounds - >= 227513 @ 1188.12
1325.46/1329.34	c #Conflicts:      10000 | #Constraints:   33054677
1325.46/1329.34	c GLOBAL bounds - >= 227513 @ 1199.98
1327.55/1331.44	c GLOBAL bounds - >= 228771 @ 1202.06
1327.95/1331.88	c GLOBAL bounds - >= 228771 @ 1202.48
1328.05/1331.96	c GLOBAL bounds - >= 228771 @ 1202.53
1328.15/1332.04	c GLOBAL bounds - >= 228771 @ 1202.57
1328.26/1332.11	c GLOBAL bounds - >= 228771 @ 1202.62
1328.26/1332.18	c GLOBAL bounds - >= 228771 @ 1202.67
1328.75/1332.61	c GLOBAL bounds - >= 228771 @ 1202.95
1328.75/1332.68	c GLOBAL bounds - >= 228771 @ 1203
1329.05/1332.96	c GLOBAL bounds - >= 228771 @ 1203.15
1329.16/1333.04	c GLOBAL bounds - >= 228771 @ 1203.2
1329.45/1333.32	c GLOBAL bounds - >= 228771 @ 1203.37
1329.55/1333.40	c GLOBAL bounds - >= 228771 @ 1203.43
1329.74/1333.69	c GLOBAL bounds - >= 228771 @ 1203.59
1329.84/1333.77	c GLOBAL bounds - >= 228771 @ 1203.65
1330.15/1334.04	c GLOBAL bounds - >= 228771 @ 1203.79
1330.25/1334.12	c GLOBAL bounds - >= 228771 @ 1203.84
1330.54/1334.41	c GLOBAL bounds - >= 228771 @ 1203.99
1330.54/1334.49	c GLOBAL bounds - >= 228771 @ 1204.04
1330.84/1334.74	c GLOBAL bounds - >= 228771 @ 1204.17
1330.94/1334.81	c GLOBAL bounds - >= 228771 @ 1204.22
1331.15/1335.08	c GLOBAL bounds - >= 228771 @ 1204.36
1331.25/1335.16	c GLOBAL bounds - >= 228771 @ 1204.41
1331.54/1335.42	c GLOBAL bounds - >= 228771 @ 1204.57
1331.65/1335.50	c GLOBAL bounds - >= 228771 @ 1204.62
1331.84/1335.76	c GLOBAL bounds - >= 228771 @ 1204.78
1332.54/1336.41	c GLOBAL bounds - >= 228771 @ 1205.33
1332.84/1336.79	c GLOBAL bounds - >= 228771 @ 1205.62
1333.74/1337.62	c GLOBAL bounds - >= 228771 @ 1206.34
1336.24/1340.19	c GLOBAL bounds - >= 228771 @ 1208.82
1338.92/1342.82	c GLOBAL bounds - >= 228771 @ 1211.34
1345.30/1349.21	c GLOBAL bounds - >= 228771 @ 1217.57
1349.49/1353.45	c GLOBAL bounds - >= 228771 @ 1221.7
1350.89/1354.85	c GLOBAL bounds - >= 228771 @ 1223
1356.37/1360.39	c GLOBAL bounds - >= 228771 @ 1228.4
1362.46/1366.44	c GLOBAL bounds - >= 228771 @ 1234.34
1365.64/1369.66	c GLOBAL bounds - >= 228771 @ 1237.45
1368.54/1372.53	c GLOBAL bounds - >= 228771 @ 1240.21
1368.64/1372.66	c GLOBAL bounds - >= 228771 @ 1240.34
1368.94/1372.96	c GLOBAL bounds - >= 228771 @ 1240.61
1369.04/1373.04	c GLOBAL bounds - >= 228771 @ 1240.66
1369.14/1373.11	c GLOBAL bounds - >= 228771 @ 1240.72
1369.14/1373.19	c GLOBAL bounds - >= 228771 @ 1240.76
1369.23/1373.26	c GLOBAL bounds - >= 228771 @ 1240.8
1369.34/1373.34	c GLOBAL bounds - >= 228771 @ 1240.85
1369.43/1373.41	c GLOBAL bounds - >= 228771 @ 1240.9
1369.43/1373.49	c GLOBAL bounds - >= 228771 @ 1240.95
1369.54/1373.56	c GLOBAL bounds - >= 228771 @ 1241
1369.63/1373.64	c GLOBAL bounds - >= 228771 @ 1241.05
1369.74/1373.71	c GLOBAL bounds - >= 228771 @ 1241.1
1369.74/1373.79	c GLOBAL bounds - >= 228771 @ 1241.15
1370.23/1374.25	c GLOBAL bounds - >= 228771 @ 1241.48
1370.33/1374.33	c GLOBAL bounds - >= 228771 @ 1241.54
1370.74/1374.79	c GLOBAL bounds - >= 228771 @ 1241.85
1370.83/1374.87	c GLOBAL bounds - >= 228771 @ 1241.9
1371.23/1375.29	c GLOBAL bounds - >= 228771 @ 1242.18
1371.33/1375.36	c GLOBAL bounds - >= 228771 @ 1242.23
1371.83/1375.83	c GLOBAL bounds - >= 228771 @ 1242.55
1371.93/1375.90	c GLOBAL bounds - >= 228771 @ 1242.61
1372.33/1376.36	c GLOBAL bounds - >= 228771 @ 1242.93
1372.43/1376.44	c GLOBAL bounds - >= 228771 @ 1242.97
1372.83/1376.83	c GLOBAL bounds - >= 228771 @ 1243.23
1372.93/1376.90	c GLOBAL bounds - >= 228771 @ 1243.28
1373.33/1377.30	c GLOBAL bounds - >= 228771 @ 1243.56
1373.33/1377.38	c GLOBAL bounds - >= 228771 @ 1243.6
1373.72/1377.77	c GLOBAL bounds - >= 228771 @ 1243.87
1373.82/1377.84	c GLOBAL bounds - >= 228771 @ 1243.92
1374.22/1378.21	c GLOBAL bounds - >= 228771 @ 1244.16
1374.22/1378.28	c GLOBAL bounds - >= 228771 @ 1244.2
1374.62/1378.68	c GLOBAL bounds - >= 228771 @ 1244.47
1375.02/1379.05	c GLOBAL bounds - >= 228771 @ 1244.75
1375.42/1379.48	c GLOBAL bounds - >= 228771 @ 1245.07
1377.81/1381.85	c GLOBAL bounds - >= 228771 @ 1247.35
1379.21/1383.25	c GLOBAL bounds - >= 228771 @ 1248.64
1383.11/1387.16	c GLOBAL bounds - >= 228771 @ 1252.44
1385.50/1389.51	c GLOBAL bounds - >= 228771 @ 1254.67
1401.45/1405.57	c GLOBAL bounds - >= 228771 @ 1270.57
1401.64/1405.71	c GLOBAL bounds - >= 228771 @ 1270.71
1401.84/1405.94	c GLOBAL bounds - >= 228771 @ 1270.92
1401.95/1406.02	c GLOBAL bounds - >= 228771 @ 1270.96
1401.95/1406.09	c GLOBAL bounds - >= 228771 @ 1271.01
1402.05/1406.17	c GLOBAL bounds - >= 228771 @ 1271.06
1402.14/1406.24	c GLOBAL bounds - >= 228771 @ 1271.11
1402.24/1406.32	c GLOBAL bounds - >= 228771 @ 1271.16
1402.24/1406.39	c GLOBAL bounds - >= 228771 @ 1271.21
1402.35/1406.47	c GLOBAL bounds - >= 228771 @ 1271.25
1404.05/1408.11	c GLOBAL bounds - >= 228771 @ 1272.75
1404.05/1408.19	c GLOBAL bounds - >= 228771 @ 1272.8
1404.43/1408.59	c GLOBAL bounds - >= 228771 @ 1273.07
1404.54/1408.66	c GLOBAL bounds - >= 228771 @ 1273.11
1404.95/1409.09	c GLOBAL bounds - >= 228771 @ 1273.4
1405.05/1409.16	c GLOBAL bounds - >= 228771 @ 1273.45
1405.54/1409.60	c GLOBAL bounds - >= 228771 @ 1273.74
1405.54/1409.68	c GLOBAL bounds - >= 228771 @ 1273.79
1406.04/1410.10	c GLOBAL bounds - >= 228771 @ 1274.07
1406.04/1410.18	c GLOBAL bounds - >= 228771 @ 1274.12
1406.53/1410.61	c GLOBAL bounds - >= 228771 @ 1274.39
1406.53/1410.68	c GLOBAL bounds - >= 228771 @ 1274.44
1407.03/1411.11	c GLOBAL bounds - >= 228771 @ 1274.72
1407.03/1411.18	c GLOBAL bounds - >= 228771 @ 1274.77
1407.43/1411.57	c GLOBAL bounds - >= 228771 @ 1275.02
1407.53/1411.65	c GLOBAL bounds - >= 228771 @ 1275.07
1407.83/1411.98	c GLOBAL bounds - >= 228771 @ 1275.27
1407.94/1412.06	c GLOBAL bounds - >= 228771 @ 1275.32
1408.33/1412.42	c GLOBAL bounds - >= 228771 @ 1275.52
1408.63/1412.75	c GLOBAL bounds - >= 228771 @ 1275.75
1409.22/1413.33	c GLOBAL bounds - >= 228771 @ 1276.22
1409.63/1413.78	c GLOBAL bounds - >= 228771 @ 1276.57
1410.82/1414.97	c GLOBAL bounds - >= 228771 @ 1277.66
1413.41/1417.59	c GLOBAL bounds - >= 228771 @ 1280.17
1413.92/1418.09	c GLOBAL bounds - >= 228771 @ 1280.55
1422.99/1427.19	c GLOBAL bounds - >= 228771 @ 1289.51
1423.58/1427.74	c GLOBAL bounds - >= 228771 @ 1289.95
1438.85/1443.07	c GLOBAL bounds - >= 228771 @ 1305.13
1458.39/1462.69	c #Conflicts:      11000 | #Constraints:   35195345
1458.39/1462.69	c GLOBAL bounds - >= 228771 @ 1324.58
1459.58/1463.81	c GLOBAL bounds - >= 232605 @ 1325.68
1460.18/1464.47	c GLOBAL bounds - >= 232605 @ 1326.33
1460.28/1464.55	c GLOBAL bounds - >= 232605 @ 1326.37
1460.38/1464.62	c GLOBAL bounds - >= 232605 @ 1326.41
1460.38/1464.69	c GLOBAL bounds - >= 232605 @ 1326.46
1460.49/1464.76	c GLOBAL bounds - >= 232605 @ 1326.5
1460.59/1464.83	c GLOBAL bounds - >= 232605 @ 1326.55
1460.68/1464.90	c GLOBAL bounds - >= 232605 @ 1326.59
1460.68/1464.97	c GLOBAL bounds - >= 232605 @ 1326.64
1460.79/1465.04	c GLOBAL bounds - >= 232605 @ 1326.69
1460.89/1465.11	c GLOBAL bounds - >= 232605 @ 1326.73
1461.28/1465.54	c GLOBAL bounds - >= 232605 @ 1327.03
1461.38/1465.61	c GLOBAL bounds - >= 232605 @ 1327.07
1461.79/1466.05	c GLOBAL bounds - >= 232605 @ 1327.37
1461.89/1466.12	c GLOBAL bounds - >= 232605 @ 1327.42
1462.28/1466.56	c GLOBAL bounds - >= 232605 @ 1327.72
1462.38/1466.63	c GLOBAL bounds - >= 232605 @ 1327.77
1462.78/1467.07	c GLOBAL bounds - >= 232605 @ 1328.07
1462.88/1467.14	c GLOBAL bounds - >= 232605 @ 1328.11
1463.27/1467.57	c GLOBAL bounds - >= 232605 @ 1328.41
1463.38/1467.64	c GLOBAL bounds - >= 232605 @ 1328.45
1463.78/1468.07	c GLOBAL bounds - >= 232605 @ 1328.75
1463.88/1468.15	c GLOBAL bounds - >= 232605 @ 1328.8
1464.27/1468.55	c GLOBAL bounds - >= 232605 @ 1329.08
1464.38/1468.63	c GLOBAL bounds - >= 232605 @ 1329.13
1464.67/1468.98	c GLOBAL bounds - >= 232605 @ 1329.35
1464.78/1469.05	c GLOBAL bounds - >= 232605 @ 1329.4
1465.17/1469.44	c GLOBAL bounds - >= 232605 @ 1329.66
1465.27/1469.51	c GLOBAL bounds - >= 232605 @ 1329.71
1465.57/1469.88	c GLOBAL bounds - >= 232605 @ 1329.96
1465.97/1470.29	c GLOBAL bounds - >= 232605 @ 1330.26
1466.77/1471.07	c GLOBAL bounds - >= 232605 @ 1330.95
1467.56/1471.82	c GLOBAL bounds - >= 232605 @ 1331.59
1468.66/1472.95	c GLOBAL bounds - >= 232605 @ 1332.61
1469.46/1473.72	c GLOBAL bounds - >= 232605 @ 1333.29
1471.05/1475.32	c GLOBAL bounds - >= 232605 @ 1334.77
1471.25/1475.50	c GLOBAL bounds - >= 232605 @ 1334.95
1471.35/1475.66	c GLOBAL bounds - >= 232605 @ 1335.08
1471.46/1475.73	c GLOBAL bounds - >= 232605 @ 1335.13
1471.56/1475.81	c GLOBAL bounds - >= 232605 @ 1335.17
1471.56/1475.88	c GLOBAL bounds - >= 232605 @ 1335.22
1471.65/1475.96	c GLOBAL bounds - >= 232605 @ 1335.27
1471.75/1476.03	c GLOBAL bounds - >= 232605 @ 1335.32
1472.16/1476.46	c GLOBAL bounds - >= 232605 @ 1335.63
1472.25/1476.53	c GLOBAL bounds - >= 232605 @ 1335.67
1472.65/1476.95	c GLOBAL bounds - >= 232605 @ 1335.95
1472.75/1477.02	c GLOBAL bounds - >= 232605 @ 1336.01
1473.15/1477.40	c GLOBAL bounds - >= 232605 @ 1336.25
1473.15/1477.47	c GLOBAL bounds - >= 232605 @ 1336.31
1473.54/1477.88	c GLOBAL bounds - >= 232605 @ 1336.59
1473.64/1477.96	c GLOBAL bounds - >= 232605 @ 1336.65
1474.05/1478.35	c GLOBAL bounds - >= 232605 @ 1336.9
1474.15/1478.43	c GLOBAL bounds - >= 232605 @ 1336.96
1474.54/1478.82	c GLOBAL bounds - >= 232605 @ 1337.22
1474.54/1478.89	c GLOBAL bounds - >= 232605 @ 1337.27
1474.95/1479.26	c GLOBAL bounds - >= 232605 @ 1337.52
1475.04/1479.34	c GLOBAL bounds - >= 232605 @ 1337.56
1475.44/1479.71	c GLOBAL bounds - >= 232605 @ 1337.81
1475.44/1479.79	c GLOBAL bounds - >= 232605 @ 1337.86
1475.85/1480.12	c GLOBAL bounds - >= 232605 @ 1338.08
1475.95/1480.20	c GLOBAL bounds - >= 232605 @ 1338.13
1476.24/1480.58	c GLOBAL bounds - >= 232605 @ 1338.4
1488.10/1492.44	c GLOBAL bounds - >= 232605 @ 1350.11
1491.50/1495.86	c GLOBAL bounds - >= 232605 @ 1353.42
1494.00/1498.38	c GLOBAL bounds - >= 232605 @ 1355.82
1494.99/1499.35	c GLOBAL bounds - >= 233055 @ 1356.78
1495.29/1499.68	c GLOBAL bounds - >= 233055 @ 1357.09
1495.39/1499.75	c GLOBAL bounds - >= 233055 @ 1357.13
1495.49/1499.82	c GLOBAL bounds - >= 233055 @ 1357.18
1495.59/1499.90	c GLOBAL bounds - >= 233055 @ 1357.23
1495.99/1500.31	c GLOBAL bounds - >= 233055 @ 1357.53
1495.99/1500.39	c GLOBAL bounds - >= 233055 @ 1357.58
1496.48/1500.81	c GLOBAL bounds - >= 233055 @ 1357.87
1496.48/1500.89	c GLOBAL bounds - >= 233055 @ 1357.92
1496.89/1501.26	c GLOBAL bounds - >= 233055 @ 1358.16
1496.98/1501.33	c GLOBAL bounds - >= 233055 @ 1358.2
1497.38/1501.71	c GLOBAL bounds - >= 233055 @ 1358.45
1497.38/1501.78	c GLOBAL bounds - >= 233055 @ 1358.51
1497.79/1502.16	c GLOBAL bounds - >= 233055 @ 1358.77
1497.88/1502.23	c GLOBAL bounds - >= 233055 @ 1358.82
1498.19/1502.58	c GLOBAL bounds - >= 233055 @ 1359.05
1498.29/1502.66	c GLOBAL bounds - >= 233055 @ 1359.1
1498.69/1503.01	c GLOBAL bounds - >= 233055 @ 1359.33
1498.69/1503.09	c GLOBAL bounds - >= 233055 @ 1359.38
1499.08/1503.41	c GLOBAL bounds - >= 233055 @ 1359.57
1499.08/1503.48	c GLOBAL bounds - >= 233055 @ 1359.62
1499.48/1503.84	c GLOBAL bounds - >= 233055 @ 1359.85
1499.58/1503.91	c GLOBAL bounds - >= 233055 @ 1359.9
1499.88/1504.27	c GLOBAL bounds - >= 233055 @ 1360.14
1503.77/1508.14	c GLOBAL bounds - >= 233055 @ 1363.89
1506.26/1510.60	c GLOBAL bounds - >= 233055 @ 1366.22
1509.15/1513.58	c GLOBAL bounds - >= 233055 @ 1369.07
1515.74/1520.18	c GLOBAL bounds - >= 233055 @ 1375.52
1516.64/1521.08	c GLOBAL bounds - >= 233055 @ 1376.32
1520.11/1524.55	c GLOBAL bounds - >= 233055 @ 1379.67
1521.02/1525.46	c GLOBAL bounds - >= 233055 @ 1380.46
1521.22/1525.68	c GLOBAL bounds - >= 233055 @ 1380.67
1521.52/1525.93	c GLOBAL bounds - >= 233055 @ 1380.89
1521.62/1526.01	c GLOBAL bounds - >= 233055 @ 1380.94
1521.62/1526.08	c GLOBAL bounds - >= 233055 @ 1380.99
1521.72/1526.16	c GLOBAL bounds - >= 233055 @ 1381.04
1521.82/1526.23	c GLOBAL bounds - >= 233055 @ 1381.09
1521.92/1526.31	c GLOBAL bounds - >= 233055 @ 1381.14
1521.92/1526.38	c GLOBAL bounds - >= 233055 @ 1381.2
1522.01/1526.46	c GLOBAL bounds - >= 233055 @ 1381.25
1522.52/1526.91	c GLOBAL bounds - >= 233055 @ 1381.6
1522.52/1526.99	c GLOBAL bounds - >= 233055 @ 1381.65
1522.91/1527.38	c GLOBAL bounds - >= 233055 @ 1381.92
1523.01/1527.46	c GLOBAL bounds - >= 233055 @ 1381.96
1523.41/1527.89	c GLOBAL bounds - >= 233055 @ 1382.27
1523.51/1527.97	c GLOBAL bounds - >= 233055 @ 1382.32
1523.91/1528.36	c GLOBAL bounds - >= 233055 @ 1382.58
1524.01/1528.43	c GLOBAL bounds - >= 233055 @ 1382.63
1524.40/1528.86	c GLOBAL bounds - >= 233055 @ 1382.93
1524.51/1528.93	c GLOBAL bounds - >= 233055 @ 1382.97
1524.91/1529.35	c GLOBAL bounds - >= 233055 @ 1383.26
1525.01/1529.43	c GLOBAL bounds - >= 233055 @ 1383.31
1525.40/1529.84	c GLOBAL bounds - >= 233055 @ 1383.6
1525.50/1529.92	c GLOBAL bounds - >= 233055 @ 1383.65
1525.90/1530.30	c GLOBAL bounds - >= 233055 @ 1383.9
1525.90/1530.37	c GLOBAL bounds - >= 233055 @ 1383.95
1526.30/1530.79	c GLOBAL bounds - >= 233055 @ 1384.25
1526.41/1530.87	c GLOBAL bounds - >= 233055 @ 1384.3
1526.80/1531.25	c GLOBAL bounds - >= 233055 @ 1384.54
1527.50/1531.99	c GLOBAL bounds - >= 233055 @ 1385.17
1528.60/1533.03	c GLOBAL bounds - >= 233055 @ 1386.09
1531.79/1536.26	c GLOBAL bounds - >= 233055 @ 1389.17
1534.48/1538.93	c GLOBAL bounds - >= 233055 @ 1391.74
1534.68/1539.15	c GLOBAL bounds - >= 233055 @ 1391.95
1534.88/1539.31	c GLOBAL bounds - >= 233055 @ 1392.09
1534.88/1539.39	c GLOBAL bounds - >= 233055 @ 1392.14
1534.98/1539.46	c GLOBAL bounds - >= 233055 @ 1392.19
1535.08/1539.54	c GLOBAL bounds - >= 233055 @ 1392.24
1535.18/1539.62	c GLOBAL bounds - >= 233055 @ 1392.29
1535.58/1540.08	c GLOBAL bounds - >= 233055 @ 1392.64
1535.68/1540.16	c GLOBAL bounds - >= 233055 @ 1392.69
1536.08/1540.59	c GLOBAL bounds - >= 233055 @ 1392.98
1536.17/1540.67	c GLOBAL bounds - >= 233055 @ 1393.04
1536.58/1541.09	c GLOBAL bounds - >= 233055 @ 1393.32
1536.67/1541.17	c GLOBAL bounds - >= 233055 @ 1393.38
1537.07/1541.59	c GLOBAL bounds - >= 233055 @ 1393.67
1537.17/1541.66	c GLOBAL bounds - >= 233055 @ 1393.72
1537.57/1542.06	c GLOBAL bounds - >= 233055 @ 1393.99
1537.67/1542.13	c GLOBAL bounds - >= 233055 @ 1394.04
1538.07/1542.52	c GLOBAL bounds - >= 233055 @ 1394.31
1538.17/1542.60	c GLOBAL bounds - >= 233055 @ 1394.36
1538.47/1543.00	c GLOBAL bounds - >= 233055 @ 1394.63
1538.57/1543.07	c GLOBAL bounds - >= 233055 @ 1394.68
1538.97/1543.46	c GLOBAL bounds - >= 233055 @ 1394.95
1539.07/1543.54	c GLOBAL bounds - >= 233055 @ 1395.01
1539.46/1543.93	c GLOBAL bounds - >= 233055 @ 1395.27
1539.57/1544.01	c GLOBAL bounds - >= 233055 @ 1395.33
1539.97/1544.40	c GLOBAL bounds - >= 233055 @ 1395.61
1540.47/1544.96	c GLOBAL bounds - >= 233055 @ 1396.07
1556.42/1560.92	c GLOBAL bounds - >= 233055 @ 1411.76
1570.19/1574.71	c GLOBAL bounds - >= 233055 @ 1425.25
1585.14/1589.75	c GLOBAL bounds - >= 233701 @ 1440.2
1585.45/1590.10	c GLOBAL bounds - >= 233701 @ 1440.52
1585.54/1590.17	c GLOBAL bounds - >= 233701 @ 1440.56
1585.64/1590.25	c GLOBAL bounds - >= 233701 @ 1440.61
1585.74/1590.32	c GLOBAL bounds - >= 233701 @ 1440.66
1586.24/1590.85	c GLOBAL bounds - >= 233701 @ 1441.03
1586.34/1590.93	c GLOBAL bounds - >= 233701 @ 1441.08
1586.83/1591.44	c GLOBAL bounds - >= 233701 @ 1441.45
1586.93/1591.52	c GLOBAL bounds - >= 233701 @ 1441.5
1587.44/1592.04	c GLOBAL bounds - >= 233701 @ 1441.88
1587.54/1592.12	c GLOBAL bounds - >= 233701 @ 1441.93
1588.03/1592.61	c GLOBAL bounds - >= 233701 @ 1442.28
1588.03/1592.69	c GLOBAL bounds - >= 233701 @ 1442.33
1588.53/1593.11	c GLOBAL bounds - >= 233701 @ 1442.63
1588.53/1593.19	c GLOBAL bounds - >= 233701 @ 1442.68
1589.03/1593.62	c GLOBAL bounds - >= 233701 @ 1442.97
1589.13/1593.70	c GLOBAL bounds - >= 233701 @ 1443.03
1589.53/1594.11	c GLOBAL bounds - >= 233701 @ 1443.3
1589.53/1594.19	c GLOBAL bounds - >= 233701 @ 1443.35
1589.92/1594.57	c GLOBAL bounds - >= 233701 @ 1443.59
1590.03/1594.64	c GLOBAL bounds - >= 233701 @ 1443.64
1590.43/1595.05	c GLOBAL bounds - >= 233701 @ 1443.91
1590.53/1595.13	c GLOBAL bounds - >= 233701 @ 1443.97
1590.93/1595.52	c GLOBAL bounds - >= 233701 @ 1444.21
1591.53/1596.11	c GLOBAL bounds - >= 233701 @ 1444.69
1592.02/1596.64	c GLOBAL bounds - >= 233701 @ 1445.11
1601.70/1606.38	c GLOBAL bounds - >= 233701 @ 1454.66
1602.40/1607.03	c GLOBAL bounds - >= 233701 @ 1455.21
1609.88/1614.53	c #Conflicts:      12000 | #Constraints:   38569488
1609.88/1614.53	c GLOBAL bounds - >= 234247 @ 1462.65
1610.17/1614.82	c GLOBAL bounds - >= 234247 @ 1462.9
1610.17/1614.89	c GLOBAL bounds - >= 234247 @ 1462.96
1610.27/1614.96	c GLOBAL bounds - >= 234247 @ 1463.01
1610.38/1615.04	c GLOBAL bounds - >= 234247 @ 1463.06
1610.47/1615.11	c GLOBAL bounds - >= 234247 @ 1463.11
1610.96/1615.63	c GLOBAL bounds - >= 234247 @ 1463.51
1611.07/1615.71	c GLOBAL bounds - >= 234247 @ 1463.55
1611.67/1616.33	c GLOBAL bounds - >= 234247 @ 1463.99
1611.76/1616.41	c GLOBAL bounds - >= 234247 @ 1464.04
1612.16/1616.87	c GLOBAL bounds - >= 234247 @ 1464.38
1612.27/1616.95	c GLOBAL bounds - >= 234247 @ 1464.42
1612.66/1617.35	c GLOBAL bounds - >= 234247 @ 1464.71
1612.77/1617.43	c GLOBAL bounds - >= 234247 @ 1464.76
1613.16/1617.88	c GLOBAL bounds - >= 234247 @ 1465.08
1613.27/1617.95	c GLOBAL bounds - >= 234247 @ 1465.13
1613.77/1618.40	c GLOBAL bounds - >= 234247 @ 1465.43
1613.77/1618.47	c GLOBAL bounds - >= 234247 @ 1465.48
1614.26/1618.91	c GLOBAL bounds - >= 234247 @ 1465.79
1614.26/1618.99	c GLOBAL bounds - >= 234247 @ 1465.85
1614.76/1619.43	c GLOBAL bounds - >= 234247 @ 1466.14
1614.86/1619.51	c GLOBAL bounds - >= 234247 @ 1466.19
1615.16/1619.89	c GLOBAL bounds - >= 234247 @ 1466.44
1615.26/1619.96	c GLOBAL bounds - >= 234247 @ 1466.48
1615.65/1620.38	c GLOBAL bounds - >= 234247 @ 1466.77
1616.26/1620.93	c GLOBAL bounds - >= 234247 @ 1467.22
1617.75/1622.47	c GLOBAL bounds - >= 234247 @ 1468.64
1617.95/1622.60	c GLOBAL bounds - >= 234247 @ 1468.77
1618.14/1622.87	c GLOBAL bounds - >= 234247 @ 1469.01
1618.25/1622.95	c GLOBAL bounds - >= 234247 @ 1469.06
1618.35/1623.03	c GLOBAL bounds - >= 234247 @ 1469.11
1618.75/1623.49	c GLOBAL bounds - >= 234247 @ 1469.45
1618.85/1623.56	c GLOBAL bounds - >= 234247 @ 1469.5
1619.35/1624.02	c GLOBAL bounds - >= 234247 @ 1469.81
1619.35/1624.09	c GLOBAL bounds - >= 234247 @ 1469.86
1619.84/1624.50	c GLOBAL bounds - >= 234247 @ 1470.16
1619.84/1624.58	c GLOBAL bounds - >= 234247 @ 1470.22
1620.34/1625.03	c GLOBAL bounds - >= 234247 @ 1470.54
1620.45/1625.10	c GLOBAL bounds - >= 234247 @ 1470.6
1620.85/1625.56	c GLOBAL bounds - >= 234247 @ 1470.91
1620.94/1625.64	c GLOBAL bounds - >= 234247 @ 1470.96
1621.35/1626.04	c GLOBAL bounds - >= 234247 @ 1471.24
1621.44/1626.12	c GLOBAL bounds - >= 234247 @ 1471.29
1621.83/1626.54	c GLOBAL bounds - >= 234247 @ 1471.58
1621.94/1626.62	c GLOBAL bounds - >= 234247 @ 1471.63
1622.24/1626.93	c GLOBAL bounds - >= 234247 @ 1471.84
1622.34/1627.01	c GLOBAL bounds - >= 234247 @ 1471.88
1622.63/1627.33	c GLOBAL bounds - >= 234247 @ 1472.09
1622.74/1627.41	c GLOBAL bounds - >= 234247 @ 1472.13
1623.04/1627.70	c GLOBAL bounds - >= 234247 @ 1472.29
1623.53/1628.21	c GLOBAL bounds - >= 234247 @ 1472.69
1624.43/1629.17	c GLOBAL bounds - >= 234247 @ 1473.53
1625.23/1629.93	c GLOBAL bounds - >= 234247 @ 1474.15
1628.02/1632.72	c GLOBAL bounds - >= 234247 @ 1476.81
1641.98/1646.77	c GLOBAL bounds - >= 234247 @ 1490.61
1647.27/1652.09	c GLOBAL bounds - >= 234247 @ 1495.79
1652.85/1657.69	c GLOBAL bounds - >= 234247 @ 1501.26
1655.55/1660.30	c GLOBAL bounds - >= 234247 @ 1503.74
1659.13/1663.96	c GLOBAL bounds - >= 234247 @ 1507.26
1662.83/1667.66	c GLOBAL bounds - >= 234429 @ 1510.93
1663.03/1667.85	c GLOBAL bounds - >= 234429 @ 1511.1
1663.13/1667.93	c GLOBAL bounds - >= 234429 @ 1511.15
1663.23/1668.00	c GLOBAL bounds - >= 234429 @ 1511.2
1663.23/1668.08	c GLOBAL bounds - >= 234429 @ 1511.24
1663.33/1668.15	c GLOBAL bounds - >= 234429 @ 1511.29
1663.42/1668.23	c GLOBAL bounds - >= 234429 @ 1511.35
1663.52/1668.30	c GLOBAL bounds - >= 234429 @ 1511.39
1663.52/1668.38	c GLOBAL bounds - >= 234429 @ 1511.44
1663.62/1668.45	c GLOBAL bounds - >= 234429 @ 1511.49
1663.73/1668.53	c GLOBAL bounds - >= 234429 @ 1511.54
1664.42/1669.27	c GLOBAL bounds - >= 234429 @ 1512.15
1664.52/1669.35	c GLOBAL bounds - >= 234429 @ 1512.2
1665.62/1670.44	c GLOBAL bounds - >= 234429 @ 1513.15
1665.72/1670.52	c GLOBAL bounds - >= 234429 @ 1513.2
1666.22/1671.03	c GLOBAL bounds - >= 234429 @ 1513.57
1666.32/1671.11	c GLOBAL bounds - >= 234429 @ 1513.62
1666.81/1671.61	c GLOBAL bounds - >= 234429 @ 1514.01
1666.81/1671.69	c GLOBAL bounds - >= 234429 @ 1514.06
1667.32/1672.15	c GLOBAL bounds - >= 234429 @ 1514.4
1667.41/1672.23	c GLOBAL bounds - >= 234429 @ 1514.45
1667.92/1672.73	c GLOBAL bounds - >= 234429 @ 1514.83
1668.01/1672.81	c GLOBAL bounds - >= 234429 @ 1514.87
1668.41/1673.27	c GLOBAL bounds - >= 234429 @ 1515.22
1668.51/1673.35	c GLOBAL bounds - >= 234429 @ 1515.28
1669.01/1673.81	c GLOBAL bounds - >= 234429 @ 1515.61
1669.01/1673.89	c GLOBAL bounds - >= 234429 @ 1515.66
1669.51/1674.32	c GLOBAL bounds - >= 234429 @ 1515.96
1669.61/1674.40	c GLOBAL bounds - >= 234429 @ 1516.02
1669.90/1674.79	c GLOBAL bounds - >= 234429 @ 1516.29
1671.10/1675.90	c GLOBAL bounds - >= 234429 @ 1517.28
1674.20/1679.08	c GLOBAL bounds - >= 234429 @ 1520.31
1710.39/1715.37	c GLOBAL bounds - >= 234429 @ 1556.24
1727.24/1732.24	c GLOBAL bounds - >= 234429 @ 1572.87
1729.94/1734.91	c GLOBAL bounds - >= 234429 @ 1575.44
1730.14/1735.13	c GLOBAL bounds - >= 234429 @ 1575.65
1730.23/1735.29	c GLOBAL bounds - >= 234429 @ 1575.78
1730.34/1735.36	c GLOBAL bounds - >= 234429 @ 1575.83
1730.44/1735.44	c GLOBAL bounds - >= 234429 @ 1575.88
1730.54/1735.51	c GLOBAL bounds - >= 234429 @ 1575.93
1730.54/1735.59	c GLOBAL bounds - >= 234429 @ 1575.98
1730.64/1735.66	c GLOBAL bounds - >= 234429 @ 1576.03
1731.14/1736.16	c GLOBAL bounds - >= 234429 @ 1576.4
1731.24/1736.24	c GLOBAL bounds - >= 234429 @ 1576.45
1731.73/1736.70	c GLOBAL bounds - >= 234429 @ 1576.79
1731.73/1736.78	c GLOBAL bounds - >= 234429 @ 1576.84
1732.24/1737.24	c GLOBAL bounds - >= 234429 @ 1577.18
1732.33/1737.31	c GLOBAL bounds - >= 234429 @ 1577.23
1732.73/1737.76	c GLOBAL bounds - >= 234429 @ 1577.55
1732.83/1737.84	c GLOBAL bounds - >= 234429 @ 1577.6
1733.23/1738.23	c GLOBAL bounds - >= 234429 @ 1577.87
1733.33/1738.30	c GLOBAL bounds - >= 234429 @ 1577.92
1733.63/1738.69	c GLOBAL bounds - >= 234429 @ 1578.18
1733.73/1738.76	c GLOBAL bounds - >= 234429 @ 1578.23
1734.13/1739.16	c GLOBAL bounds - >= 234429 @ 1578.51
1734.23/1739.24	c GLOBAL bounds - >= 234429 @ 1578.55
1734.63/1739.60	c GLOBAL bounds - >= 234429 @ 1578.79
1734.63/1739.68	c GLOBAL bounds - >= 234429 @ 1578.84
1735.03/1740.08	c GLOBAL bounds - >= 234429 @ 1579.13
1735.13/1740.16	c GLOBAL bounds - >= 234429 @ 1579.18
1735.52/1740.57	c GLOBAL bounds - >= 234429 @ 1579.46
1736.12/1741.14	c GLOBAL bounds - >= 234429 @ 1579.93
1736.82/1741.81	c GLOBAL bounds - >= 234429 @ 1580.49
1737.61/1742.60	c GLOBAL bounds - >= 234429 @ 1581.18
1738.92/1743.97	c GLOBAL bounds - >= 234429 @ 1582.42
1741.21/1746.24	c GLOBAL bounds - >= 234429 @ 1584.57
1743.60/1748.68	c GLOBAL bounds - >= 234429 @ 1586.88
1757.36/1762.43	c GLOBAL bounds - >= 234429 @ 1600.43
1758.86/1763.92	c GLOBAL bounds - >= 234497 @ 1601.91
1759.06/1764.13	c GLOBAL bounds - >= 234497 @ 1602.09
1759.16/1764.20	c GLOBAL bounds - >= 234497 @ 1602.14
1759.16/1764.28	c GLOBAL bounds - >= 234497 @ 1602.18
1759.26/1764.35	c GLOBAL bounds - >= 234497 @ 1602.23
1759.36/1764.43	c GLOBAL bounds - >= 234497 @ 1602.28
1759.46/1764.50	c GLOBAL bounds - >= 234497 @ 1602.33
1759.46/1764.58	c GLOBAL bounds - >= 234497 @ 1602.38
1759.56/1764.65	c GLOBAL bounds - >= 234497 @ 1602.43
1760.16/1765.27	c GLOBAL bounds - >= 234497 @ 1602.89
1760.25/1765.35	c GLOBAL bounds - >= 234497 @ 1602.94
1760.76/1765.86	c GLOBAL bounds - >= 234497 @ 1603.31
1760.85/1765.94	c GLOBAL bounds - >= 234497 @ 1603.36
1761.25/1766.31	c GLOBAL bounds - >= 234497 @ 1603.61
1761.25/1766.39	c GLOBAL bounds - >= 234497 @ 1603.66
1761.66/1766.76	c GLOBAL bounds - >= 234497 @ 1603.93
1761.75/1766.84	c GLOBAL bounds - >= 234497 @ 1603.98
1762.15/1767.22	c GLOBAL bounds - >= 234497 @ 1604.24
1762.25/1767.30	c GLOBAL bounds - >= 234497 @ 1604.29
1762.55/1767.68	c GLOBAL bounds - >= 234497 @ 1604.53
1762.65/1767.76	c GLOBAL bounds - >= 234497 @ 1604.58
1763.05/1768.13	c GLOBAL bounds - >= 234497 @ 1604.82
1763.15/1768.20	c GLOBAL bounds - >= 234497 @ 1604.86
1763.45/1768.57	c GLOBAL bounds - >= 234497 @ 1605.1
1763.55/1768.65	c GLOBAL bounds - >= 234497 @ 1605.15
1763.84/1768.98	c GLOBAL bounds - >= 234497 @ 1605.36
1763.95/1769.05	c GLOBAL bounds - >= 234497 @ 1605.41
1764.24/1769.35	c GLOBAL bounds - >= 234497 @ 1605.58
1764.94/1770.06	c GLOBAL bounds - >= 234497 @ 1606.2
1765.54/1770.61	c GLOBAL bounds - >= 234497 @ 1606.65
1777.21/1782.36	c #Conflicts:      13000 | #Constraints:   41415060
1777.21/1782.36	c GLOBAL bounds - >= 234497 @ 1618.19
1797.65/1802.87	c GLOBAL bounds - >= 234497 @ 1638.46
1803.34/1808.54	c GLOBAL bounds - >= 234497 @ 1644
1805.63/1810.86	c GLOBAL bounds - >= 235359 @ 1646.29
1806.03/1811.23	c GLOBAL bounds - >= 235359 @ 1646.64
1806.12/1811.31	c GLOBAL bounds - >= 235359 @ 1646.69
1806.12/1811.38	c GLOBAL bounds - >= 235359 @ 1646.74
1806.23/1811.46	c GLOBAL bounds - >= 235359 @ 1646.79
1806.33/1811.53	c GLOBAL bounds - >= 235359 @ 1646.84
1806.42/1811.61	c GLOBAL bounds - >= 235359 @ 1646.89
1807.13/1812.34	c GLOBAL bounds - >= 235359 @ 1647.48
1807.22/1812.42	c GLOBAL bounds - >= 235359 @ 1647.53
1807.83/1813.04	c GLOBAL bounds - >= 235359 @ 1648.01
1807.93/1813.12	c GLOBAL bounds - >= 235359 @ 1648.06
1808.33/1813.53	c GLOBAL bounds - >= 235359 @ 1648.34
1808.42/1813.60	c GLOBAL bounds - >= 235359 @ 1648.39
1808.82/1814.07	c GLOBAL bounds - >= 235359 @ 1648.73
1808.93/1814.15	c GLOBAL bounds - >= 235359 @ 1648.79
1809.32/1814.55	c GLOBAL bounds - >= 235359 @ 1649.06
1809.42/1814.62	c GLOBAL bounds - >= 235359 @ 1649.11
1809.82/1815.02	c GLOBAL bounds - >= 235359 @ 1649.38
1809.82/1815.10	c GLOBAL bounds - >= 235359 @ 1649.42
1810.21/1815.50	c GLOBAL bounds - >= 235359 @ 1649.7
1810.31/1815.57	c GLOBAL bounds - >= 235359 @ 1649.74
1810.92/1816.15	c GLOBAL bounds - >= 235359 @ 1650.19
1811.02/1816.23	c GLOBAL bounds - >= 235359 @ 1650.24
1811.42/1816.60	c GLOBAL bounds - >= 235359 @ 1650.48
1811.42/1816.67	c GLOBAL bounds - >= 235359 @ 1650.53
1811.82/1817.05	c GLOBAL bounds - >= 235359 @ 1650.79
1812.71/1817.97	c GLOBAL bounds - >= 235359 @ 1651.59
1814.40/1819.68	c GLOBAL bounds - >= 235359 @ 1653.17
1826.57/1831.84	c GLOBAL bounds - >= 235359 @ 1665.15
1868.96/1874.31	c GLOBAL bounds - >= 235359 @ 1707.21
1883.01/1888.44	c GLOBAL bounds - >= 235577 @ 1721.27
1883.21/1888.66	c GLOBAL bounds - >= 235577 @ 1721.47
1883.31/1888.74	c GLOBAL bounds - >= 235577 @ 1721.52
1883.41/1888.81	c GLOBAL bounds - >= 235577 @ 1721.57
1883.41/1888.88	c GLOBAL bounds - >= 235577 @ 1721.62
1883.51/1888.96	c GLOBAL bounds - >= 235577 @ 1721.67
1884.11/1889.59	c GLOBAL bounds - >= 235577 @ 1722.17
1884.21/1889.66	c GLOBAL bounds - >= 235577 @ 1722.22
1884.71/1890.11	c GLOBAL bounds - >= 235577 @ 1722.53
1884.71/1890.19	c GLOBAL bounds - >= 235577 @ 1722.59
1885.20/1890.64	c GLOBAL bounds - >= 235577 @ 1722.91
1885.31/1890.72	c GLOBAL bounds - >= 235577 @ 1722.96
1885.81/1891.20	c GLOBAL bounds - >= 235577 @ 1723.3
1885.81/1891.27	c GLOBAL bounds - >= 235577 @ 1723.34
1886.31/1891.75	c GLOBAL bounds - >= 235577 @ 1723.68
1886.40/1891.83	c GLOBAL bounds - >= 235577 @ 1723.73
1886.91/1892.32	c GLOBAL bounds - >= 235577 @ 1724.08
1886.91/1892.40	c GLOBAL bounds - >= 235577 @ 1724.13
1887.41/1892.83	c GLOBAL bounds - >= 235577 @ 1724.43
1887.50/1892.91	c #Conflicts:       1000 | #Constraints:     613114
1887.50/1892.91	c GLOBAL bounds - >= 235577 @ 1724.48
1887.90/1893.36	c GLOBAL bounds - >= 235577 @ 1724.82
1888.00/1893.43	c GLOBAL bounds - >= 235577 @ 1724.87
1888.40/1893.84	c GLOBAL bounds - >= 235577 @ 1725.15
1888.50/1893.92	c GLOBAL bounds - >= 235577 @ 1725.2
1889.00/1894.41	c GLOBAL bounds - >= 235577 @ 1725.52
1889.80/1895.26	c GLOBAL bounds - >= 235577 @ 1726.27
1890.29/1895.78	c GLOBAL bounds - >= 235577 @ 1726.68
1891.09/1896.51	c GLOBAL bounds - >= 235577 @ 1727.31
1901.67/1907.13	c GLOBAL bounds - >= 235577 @ 1737.75
1910.74/1916.29	c GLOBAL bounds - >= 235577 @ 1746.74
1912.63/1918.13	c GLOBAL bounds - >= 235577 @ 1748.47
1941.75/1947.35	c GLOBAL bounds - >= 235577 @ 1777.4
1945.94/1951.57	c GLOBAL bounds - >= 235577 @ 1781.5
1949.13/1954.76	c GLOBAL bounds - >= 235687 @ 1784.67
1949.54/1955.12	c GLOBAL bounds - >= 235687 @ 1785
1949.54/1955.20	c GLOBAL bounds - >= 235687 @ 1785.05
1949.63/1955.27	c GLOBAL bounds - >= 235687 @ 1785.1
1949.73/1955.35	c GLOBAL bounds - >= 235687 @ 1785.16
1949.83/1955.43	c GLOBAL bounds - >= 235687 @ 1785.21
1949.92/1955.50	c GLOBAL bounds - >= 235687 @ 1785.26
1949.92/1955.57	c GLOBAL bounds - >= 235687 @ 1785.31
1950.03/1955.65	c GLOBAL bounds - >= 235687 @ 1785.36
1950.13/1955.72	c GLOBAL bounds - >= 235687 @ 1785.4
1950.62/1956.27	c #Conflicts:      14000 | #Constraints:   42762185
1950.62/1956.27	c GLOBAL bounds - >= 235687 @ 1785.82
1950.73/1956.34	c GLOBAL bounds - >= 235687 @ 1785.87
1951.23/1956.86	c GLOBAL bounds - >= 235687 @ 1786.25
1951.33/1956.93	c GLOBAL bounds - >= 235687 @ 1786.29
1951.82/1957.45	c GLOBAL bounds - >= 235687 @ 1786.66
1951.93/1957.53	c GLOBAL bounds - >= 235687 @ 1786.71
1952.42/1958.04	c GLOBAL bounds - >= 235687 @ 1787.08
1952.53/1958.12	c GLOBAL bounds - >= 235687 @ 1787.13
1953.02/1958.60	c GLOBAL bounds - >= 235687 @ 1787.46
1953.02/1958.68	c GLOBAL bounds - >= 235687 @ 1787.51
1953.53/1959.16	c GLOBAL bounds - >= 235687 @ 1787.85
1953.62/1959.23	c GLOBAL bounds - >= 235687 @ 1787.9
1954.22/1959.86	c GLOBAL bounds - >= 235687 @ 1788.37
1954.31/1959.93	c GLOBAL bounds - >= 235687 @ 1788.42
1954.72/1960.30	c GLOBAL bounds - >= 235687 @ 1788.65
1954.72/1960.37	c GLOBAL bounds - >= 235687 @ 1788.7
1955.11/1960.76	c GLOBAL bounds - >= 235687 @ 1788.96
1955.21/1960.83	c GLOBAL bounds - >= 235687 @ 1789.02
1955.52/1961.18	c GLOBAL bounds - >= 235687 @ 1789.24
1955.92/1961.59	c GLOBAL bounds - >= 235687 @ 1789.56
1957.01/1962.65	c GLOBAL bounds - >= 235687 @ 1790.5
1958.11/1963.73	c GLOBAL bounds - >= 235687 @ 1791.47
1959.00/1964.67	c GLOBAL bounds - >= 235687 @ 1792.3
1966.88/1972.57	c GLOBAL bounds - >= 235687 @ 1800.04
1978.75/1984.42	c GLOBAL bounds - >= 235687 @ 1811.71
1981.84/1987.50	c GLOBAL bounds - >= 235687 @ 1814.66
2008.28/2014.04	c GLOBAL bounds - >= 236473 @ 1841.04
2008.66/2014.46	c GLOBAL bounds - >= 236473 @ 1841.42
2008.77/2014.53	c GLOBAL bounds - >= 236473 @ 1841.47
2008.87/2014.61	c GLOBAL bounds - >= 236473 @ 1841.52
2008.87/2014.69	c GLOBAL bounds - >= 236473 @ 1841.57
2008.97/2014.76	c GLOBAL bounds - >= 236473 @ 1841.61
2009.07/2014.83	c GLOBAL bounds - >= 236473 @ 1841.66
2009.17/2014.91	c GLOBAL bounds - >= 236473 @ 1841.71
2009.17/2014.98	c GLOBAL bounds - >= 236473 @ 1841.75
2010.37/2016.17	c GLOBAL bounds - >= 236473 @ 1842.76
2010.47/2016.24	c GLOBAL bounds - >= 236473 @ 1842.81
2010.86/2016.60	c GLOBAL bounds - >= 236473 @ 1843.04
2010.86/2016.68	c GLOBAL bounds - >= 236473 @ 1843.09
2011.27/2017.10	c GLOBAL bounds - >= 236473 @ 1843.37
2011.37/2017.18	c GLOBAL bounds - >= 236473 @ 1843.42
2011.86/2017.62	c GLOBAL bounds - >= 236473 @ 1843.71
2011.86/2017.69	c GLOBAL bounds - >= 236473 @ 1843.74
2012.27/2018.05	c GLOBAL bounds - >= 236473 @ 1843.96
2012.36/2018.12	c GLOBAL bounds - >= 236473 @ 1844.01
2012.65/2018.48	c GLOBAL bounds - >= 236473 @ 1844.23
2012.76/2018.56	c GLOBAL bounds - >= 236473 @ 1844.27
2013.06/2018.86	c GLOBAL bounds - >= 236473 @ 1844.44
2013.16/2018.93	c GLOBAL bounds - >= 236473 @ 1844.49
2013.45/2019.27	c GLOBAL bounds - >= 236473 @ 1844.69
2013.55/2019.34	c GLOBAL bounds - >= 236473 @ 1844.74
2013.85/2019.64	c GLOBAL bounds - >= 236473 @ 1844.92
2013.96/2019.71	c GLOBAL bounds - >= 236473 @ 1844.97
2014.26/2020.01	c GLOBAL bounds - >= 236473 @ 1845.15
2015.46/2021.20	c GLOBAL bounds - >= 236473 @ 1846.22
2019.44/2025.20	c GLOBAL bounds - >= 236473 @ 1850.07
2020.83/2026.61	c GLOBAL bounds - >= 236473 @ 1851.38
2025.12/2030.99	c GLOBAL bounds - >= 236473 @ 1855.63
2034.10/2039.99	c GLOBAL bounds - >= 236473 @ 1864.47
2051.85/2057.74	c GLOBAL bounds - >= 236711 @ 1882.12
2052.05/2058.00	c GLOBAL bounds - >= 236711 @ 1882.35
2052.16/2058.07	c GLOBAL bounds - >= 236711 @ 1882.4
2052.25/2058.15	c GLOBAL bounds - >= 236711 @ 1882.45
2052.35/2058.22	c GLOBAL bounds - >= 236711 @ 1882.49
2052.44/2058.30	c GLOBAL bounds - >= 236711 @ 1882.55
2052.44/2058.37	c GLOBAL bounds - >= 236711 @ 1882.6
2053.25/2059.15	c GLOBAL bounds - >= 236711 @ 1883.25
2053.35/2059.22	c GLOBAL bounds - >= 236711 @ 1883.3
2054.14/2060.07	c GLOBAL bounds - >= 236711 @ 1883.98
2054.24/2060.15	c GLOBAL bounds - >= 236711 @ 1884.02
2054.64/2060.59	c GLOBAL bounds - >= 236711 @ 1884.32
2054.74/2060.66	c GLOBAL bounds - >= 236711 @ 1884.37
2055.15/2061.08	c GLOBAL bounds - >= 236711 @ 1884.66
2055.24/2061.16	c GLOBAL bounds - >= 236711 @ 1884.71
2055.84/2061.74	c GLOBAL bounds - >= 236711 @ 1885.12
2055.94/2061.82	c GLOBAL bounds - >= 236711 @ 1885.17
2056.33/2062.21	c GLOBAL bounds - >= 236711 @ 1885.44
2056.33/2062.29	c GLOBAL bounds - >= 236711 @ 1885.49
2056.74/2062.69	c GLOBAL bounds - >= 236711 @ 1885.76
2056.83/2062.76	c GLOBAL bounds - >= 236711 @ 1885.81
2057.24/2063.17	c GLOBAL bounds - >= 236711 @ 1886.1
2057.33/2063.25	c GLOBAL bounds - >= 236711 @ 1886.15
2057.74/2063.68	c GLOBAL bounds - >= 236711 @ 1886.47
2057.83/2063.76	c GLOBAL bounds - >= 236711 @ 1886.52
2058.24/2064.16	c GLOBAL bounds - >= 236711 @ 1886.79
2060.82/2066.78	c GLOBAL bounds - >= 236711 @ 1889.29
2119.96/2126.09	c GLOBAL bounds - >= 236711 @ 1948.06
2121.36/2127.44	c GLOBAL bounds - >= 236711 @ 1949.3
2124.45/2130.50	c GLOBAL bounds - >= 236895 @ 1952.34
2124.74/2130.87	c GLOBAL bounds - >= 236895 @ 1952.67
2124.85/2130.94	c GLOBAL bounds - >= 236895 @ 1952.73
2124.95/2131.02	c GLOBAL bounds - >= 236895 @ 1952.77
2124.95/2131.09	c GLOBAL bounds - >= 236895 @ 1952.81
2125.44/2131.59	c GLOBAL bounds - >= 236895 @ 1953.18
2125.54/2131.67	c GLOBAL bounds - >= 236895 @ 1953.23
2126.04/2132.16	c GLOBAL bounds - >= 236895 @ 1953.6
2126.14/2132.24	c GLOBAL bounds - >= 236895 @ 1953.65
2126.64/2132.75	c GLOBAL bounds - >= 236895 @ 1954.03
2126.74/2132.82	c GLOBAL bounds - >= 236895 @ 1954.07
2127.13/2133.29	c GLOBAL bounds - >= 236895 @ 1954.42
2127.24/2133.37	c GLOBAL bounds - >= 236895 @ 1954.47
2127.74/2133.82	c GLOBAL bounds - >= 236895 @ 1954.79
2127.84/2133.90	c GLOBAL bounds - >= 236895 @ 1954.84
2128.24/2134.35	c GLOBAL bounds - >= 236895 @ 1955.18
2128.33/2134.43	c GLOBAL bounds - >= 236895 @ 1955.22
2128.73/2134.87	c GLOBAL bounds - >= 236895 @ 1955.53
2128.84/2134.95	c GLOBAL bounds - >= 236895 @ 1955.58
2129.23/2135.37	c GLOBAL bounds - >= 236895 @ 1955.89
2129.34/2135.45	c GLOBAL bounds - >= 236895 @ 1955.94
2129.73/2135.87	c GLOBAL bounds - >= 236895 @ 1956.23
2129.84/2135.94	c GLOBAL bounds - >= 236895 @ 1956.29
2130.23/2136.36	c GLOBAL bounds - >= 236895 @ 1956.58
2131.23/2137.36	c GLOBAL bounds - >= 236895 @ 1957.47
2132.53/2138.67	c GLOBAL bounds - >= 236895 @ 1958.67
2137.21/2143.37	c GLOBAL bounds - >= 236895 @ 1963.21
2147.58/2153.78	c GLOBAL bounds - >= 236895 @ 1973.4
2164.63/2170.80	c GLOBAL bounds - >= 236895 @ 1990.04
2171.31/2177.51	c #Conflicts:      15000 | #Constraints:   45015471
2171.31/2177.51	c GLOBAL bounds - >= 238133 @ 1996.64
2171.82/2178.00	c GLOBAL bounds - >= 238133 @ 1997.09
2171.82/2178.08	c GLOBAL bounds - >= 238133 @ 1997.14
2171.91/2178.15	c GLOBAL bounds - >= 238133 @ 1997.19
2172.01/2178.23	c GLOBAL bounds - >= 238133 @ 1997.24
2172.10/2178.30	c GLOBAL bounds - >= 238133 @ 1997.28
2172.10/2178.38	c GLOBAL bounds - >= 238133 @ 1997.34
2172.60/2178.87	c GLOBAL bounds - >= 238133 @ 1997.7
2172.70/2178.95	c GLOBAL bounds - >= 238133 @ 1997.75
2173.20/2179.42	c cpu time 1998.09 s
2173.20/2179.42	c deterministic time 1279782597 1.28e+09
2173.20/2179.42	c optimization time 1944.5 s
2173.20/2179.42	c total solve time 51.618 s
2173.20/2179.42	c core-guided solve time 0 s
2173.20/2179.42	c propagation time 22.5853 s
2173.20/2179.42	c conflict analysis time 17.6615 s
2173.20/2179.42	c propagations 242499233
2173.20/2179.42	c resolve steps 0
2173.20/2179.42	c decisions 148157899
2173.20/2179.42	c conflicts 1072
2173.20/2179.42	c restarts 6
2173.20/2179.42	c inprocessing phases 0
2173.20/2179.42	c garbage collections 0 ,( -nan )
2173.20/2179.42	c input clauses 490148 ,( 80.08 )
2173.20/2179.42	c input cardinalities 62 ,( 0.01 )
2173.20/2179.42	c input general constraints 121825 ,( 19.90 )
2173.20/2179.42	c input average constraint length 94.30
2173.20/2179.42	c input average constraint degree 24342629.71
2173.20/2179.42	c learned clauses 0 ,( 0.00 )
2173.20/2179.42	c learned cardinalities 3 ,( 0.23 )
2173.20/2179.42	c learned general constraints 1294 ,( 99.77 )
2173.20/2179.42	c learned average constraint length 2449.13
2173.20/2179.42	c learned average constraint degree 73.66
2173.20/2179.42	c watched  CF 32, 64, 128, Arb: 1344 , 0 , 0 , 0
2173.20/2179.42	c counting CF 32, 64, 128, Arb: 121564 , 212 , 0 , 0
2173.20/2179.42	c watched   constraints 1344 ,( 1.09 ) 
2173.20/2179.42	c counting  constraints 121775 ,( 98.91 ) 
2173.20/2179.42	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 46394697 , 4475 , 110363853 ,( 237603 , 110126250 )
2173.20/2179.42	c gcd simplifications 0
2173.20/2179.42	c detected cardinalities 0
2173.20/2179.42	c weakened non-implied lits 0
2173.20/2179.42	c weakened non-implying lits 0
2173.20/2179.42	c original variables 250200
2173.20/2179.42	c clausal propagations 46312535
2173.20/2179.42	c cardinality propagations 18226
2173.20/2179.42	c watched propagations 89466
2173.20/2179.42	c counting propagations 106746786
2173.20/2179.42	c watch lookups 169684399
2173.20/2179.42	c watch backjump lookups 0
2173.20/2179.42	c watch checks 80618423
2173.20/2179.42	c propagation checks 242230646
2173.20/2179.42	c constraint additions 5930942
2173.20/2179.42	c trail pops 390658054
2173.20/2179.42	c formula constraints 610311
2173.20/2179.42	c learned constraints 1297
2173.20/2179.42	c bound constraints 0
2173.20/2179.42	c core-guided constraints 0
2173.20/2179.42	c encountered formula constraints 1
2173.20/2179.42	c encountered learned constraints 0
2173.20/2179.42	c encountered bound constraints 0
2173.20/2179.42	c encountered core-guided constraints 0
2173.20/2179.42	c LP total time 2.68113 s
2173.20/2179.42	c LP solve time 2.39 s
2173.20/2179.42	c LP constraints added 610311
2173.20/2179.42	c LP constraints removed 0
2173.20/2179.42	c LP pivots internal 2000
2173.20/2179.42	c LP pivots root 1000
2173.20/2179.42	c LP calls 2
2173.20/2179.42	c LP optimalities 0
2173.20/2179.42	c LP no pivot count 0
2173.20/2179.42	c LP infeasibilities 0
2173.20/2179.42	c LP valid Farkas constraints 0
2173.20/2179.42	c LP learned Farkas constraints 0
2173.20/2179.42	c LP basis resets 0
2173.20/2179.42	c LP cycling count 0
2173.20/2179.42	c LP singular count 0
2173.20/2179.42	c LP no primal count 0
2173.20/2179.42	c LP no farkas count 0
2173.20/2179.42	c LP other issue count 0
2173.20/2179.42	c LP Gomory cuts 0
2173.20/2179.42	c LP learned cuts 0
2173.20/2179.42	c LP deleted cuts 0
2173.20/2179.42	c LP encountered Gomory constraints 0
2173.20/2179.42	c LP encountered Farkas constraints 0
2173.20/2179.42	c LP encountered learned Farkas constraints 0
2173.20/2179.42	c CG auxiliary variables introduced 518
2173.20/2179.42	c CG solutions found 0
2173.20/2179.42	c CG cores constructed 1081
2173.20/2179.42	c CG core cardinality constraints returned 0
2173.20/2179.42	c CG unit cores 0
2173.20/2179.42	c CG single cores 0
2173.20/2179.42	c CG blocks removed during cardinality reduction 0
2173.20/2179.42	c CG first core best 0
2173.20/2179.42	c CG decision core best 0
2173.20/2179.42	c CG core reduction tie 0
2173.20/2179.42	c CG core degree average 0.00
2173.20/2179.42	c CG core slack average 0.00
2173.20/2179.42	c CG core upper bound improvements 0
2173.20/2179.42	c STR number of successful calls 0
2173.20/2179.42	c STR number of unsuccessful calls 0
2173.20/2179.42	c STR number of inconclusive calls 0
2173.20/2179.42	c STR number of successful attempts 0
2173.20/2179.42	c STR number of unsuccessful attempts 0
2173.20/2179.42	c STR number of inconclusive attempts 0
2173.20/2179.42	c STR average degree increase per successful call inf
2173.20/2179.42	c STR average degree increase per successful attempt inf
2173.20/2179.42	c STR total number of conflicts for successful attempts 0
2173.20/2179.42	c STR total number of conflicts for unsuccessful attempts 0
2173.20/2179.42	c STR total number of conflicts for inconclusive attempts 0
2173.20/2179.42	c STR average number of conflicts per successful attempt inf
2173.20/2179.42	c STR average number of conflicts per unsuccessful attempt inf
2173.20/2179.42	c STR average number of conflicts per inconclusive attempt inf
2173.20/2179.42	c AVG.sumWPerc 98.54 
2173.20/2179.42	c bigint constraints 212 
2173.20/2179.42	s UNKNOWN
2173.20/2179.42	c Out of memory, quitting

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: 63665 MiB (62728 MiB free)
  memory of node 1: 64507 MiB (31922 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4504618-1751463914/watcher-4504618-1751463914 -o /tmp/evaluation-result-4504618-1751463914/solver-4504618-1751463914 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751456689-62201 --watchdog 3760 run-opt.sh HOME/instance-4504618-1751463914.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=62939, runsolver pid=62936

[startup+0.100064 s]*
/proc/loadavg: 4.15 4.10 4.09 5/266 62941
/proc/meminfo: memFree=96820504/131250000 swapFree=33010416/33010684
[pid=62939] ppid=62936 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/62939/stat : 62939 (run-opt.sh) S 62936 62939 62186 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 62071334 4292608 768 18446744073709551615 94321469235200 94321470129733 140730596979296 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94321470368784 94321470416528 94321486479360 140730596981101 140730596981224 140730596981224 140730596986826 0
/proc/62939/statm: 1048 768 704 219 0 110 0
[pid=62941] ppid=62939 vsize=101360 memory=56148 CPUtime=0.08 cores=0,2
/proc/62941/stat : 62941 (roundingsat) R 62939 62939 62186 0 -1 4194304 8645 0 0 0 7 1 0 0 20 0 1 0 62071335 103792640 14037 18446744073709551615 4227072 8923433 140730141653328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21868544 140730141657506 140730141657640 140730141657640 140730141663210 0
/proc/62941/statm: 25340 14037 1888 1147 0 12767 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 105552 KiB
Current children cumulated memory: 59220 KiB

[startup+0.205671 s]*
/proc/loadavg: 4.15 4.10 4.09 5/266 62941
/proc/meminfo: memFree=96756172/131250000 swapFree=33010416/33010684
[pid=62939] ppid=62936 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/62939/stat : 62939 (run-opt.sh) S 62936 62939 62186 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 62071334 4292608 768 18446744073709551615 94321469235200 94321470129733 140730596979296 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94321470368784 94321470416528 94321486479360 140730596981101 140730596981224 140730596981224 140730596986826 0
/proc/62939/statm: 1048 768 704 219 0 110 0
[pid=62941] ppid=62939 vsize=104720 memory=61632 CPUtime=0.19 cores=0,2
/proc/62941/stat : 62941 (roundingsat) R 62939 62939 62186 0 -1 4194304 9473 0 0 0 14 5 0 0 20 0 1 0 62071335 107233280 15408 18446744073709551615 4227072 8923433 140730141653328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21868544 140730141657506 140730141657640 140730141657640 140730141663210 0
/proc/62941/statm: 26180 15408 1920 1147 0 13607 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 108912 KiB
Current children cumulated memory: 64704 KiB

[startup+0.305504 s]*
/proc/loadavg: 4.15 4.10 4.09 5/266 62941
/proc/meminfo: memFree=98110828/131250000 swapFree=33010416/33010684
[pid=62939] ppid=62936 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/62939/stat : 62939 (run-opt.sh) S 62936 62939 62186 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 62071334 4292608 768 18446744073709551615 94321469235200 94321470129733 140730596979296 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94321470368784 94321470416528 94321486479360 140730596981101 140730596981224 140730596981224 140730596986826 0
/proc/62939/statm: 1048 768 704 219 0 110 0
[pid=62941] ppid=62939 vsize=107848 memory=64448 CPUtime=0.28 cores=0,2
/proc/62941/stat : 62941 (roundingsat) R 62939 62939 62186 0 -1 4194304 10180 0 0 0 20 8 0 0 20 0 1 0 62071335 110436352 16112 18446744073709551615 4227072 8923433 140730141653328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21868544 140730141657506 140730141657640 140730141657640 140730141663210 0
/proc/62941/statm: 26962 16112 1920 1147 0 14389 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 112040 KiB
Current children cumulated memory: 67520 KiB

[startup+0.700182 s]
/proc/loadavg: 4.15 4.10 4.09 5/266 62941
/proc/meminfo: memFree=106250016/131250000 swapFree=33010416/33010684
[pid=62939] ppid=62936 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/62939/stat : 62939 (run-opt.sh) S 62936 62939 62186 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 62071334 4292608 768 18446744073709551615 94321469235200 94321470129733 140730596979296 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94321470368784 94321470416528 94321486479360 140730596981101 140730596981224 140730596981224 140730596986826 0
/proc/62939/statm: 1048 768 704 219 0 110 0
[pid=62941] ppid=62939 vsize=128808 memory=82592 CPUtime=0.67 cores=0,2
/proc/62941/stat : 62941 (roundingsat) R 62939 62939 62186 0 -1 4194304 14663 0 0 0 48 19 0 0 20 0 1 0 62071335 131899392 20648 18446744073709551615 4227072 8923433 140730141653328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21868544 140730141657506 140730141657640 140730141657640 140730141663210 0
/proc/62941/statm: 32202 20648 1920 1147 0 19629 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 133000 KiB
Current children cumulated memory: 85664 KiB

[startup+1.5002 s]
/proc/loadavg: 4.14 4.10 4.09 4/264 62941
/proc/meminfo: memFree=118000244/131250000 swapFree=33010416/33010684
[pid=62939] ppid=62936 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/62939/stat : 62939 (run-opt.sh) S 62936 62939 62186 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 62071334 4292608 768 18446744073709551615 94321469235200 94321470129733 140730596979296 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94321470368784 94321470416528 94321486479360 140730596981101 140730596981224 140730596981224 140730596986826 0
/proc/62939/statm: 1048 768 704 219 0 110 0
[pid=62941] ppid=62939 vsize=169400 memory=121220 CPUtime=1.47 cores=0,2
/proc/62941/stat : 62941 (roundingsat) R 62939 62939 62186 0 -1 4194304 19796 0 0 0 107 40 0 0 20 0 1 0 62071335 173465600 30305 18446744073709551615 4227072 8923433 140730141653328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21868544 140730141657506 140730141657640 140730141657640 140730141663210 0
/proc/62941/statm: 42350 30305 1920 1147 0 29777 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 173592 KiB
Current children cumulated memory: 124292 KiB

[startup+3.10539 s]
/proc/loadavg: 4.14 4.10 4.09 5/267 62987
/proc/meminfo: memFree=117156092/131250000 swapFree=33010416/33010684
[pid=62939] ppid=62936 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/62939/stat : 62939 (run-opt.sh) S 62936 62939 62186 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 62071334 4292608 768 18446744073709551615 94321469235200 94321470129733 140730596979296 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94321470368784 94321470416528 94321486479360 140730596981101 140730596981224 140730596981224 140730596986826 0
/proc/62939/statm: 1048 768 704 219 0 110 0
[pid=62941] ppid=62939 vsize=1044296 memory=750816 CPUtime=3.08 cores=0,2
/proc/62941/stat : 62941 (roundingsat) R 62939 62939 62186 0 -1 4194304 80808 0 0 0 226 82 0 0 20 0 1 0 62071335 1069359104 187704 18446744073709551615 4227072 8923433 140730141653328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21868544 140730141657506 140730141657640 140730141657640 140730141663210 0
/proc/62941/statm: 261074 187704 2336 1147 0 248501 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 1048488 KiB
Current children cumulated memory: 753888 KiB

[startup+6.30019 s]
/proc/loadavg: 4.13 4.10 4.09 5/267 62987
/proc/meminfo: memFree=116300448/131250000 swapFree=33010416/33010684
[pid=62939] ppid=62936 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/62939/stat : 62939 (run-opt.sh) S 62936 62939 62186 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 62071334 4292608 768 18446744073709551615 94321469235200 94321470129733 140730596979296 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94321470368784 94321470416528 94321486479360 140730596981101 140730596981224 140730596981224 140730596986826 0
/proc/62939/statm: 1048 768 704 219 0 110 0
[pid=62941] ppid=62939 vsize=1074648 memory=779568 CPUtime=6.26 cores=0,2
/proc/62941/stat : 62941 (roundingsat) R 62939 62939 62186 0 -1 4194304 81994 0 0 0 440 186 0 0 20 0 1 0 62071335 1100439552 194892 18446744073709551615 4227072 8923433 140730141653328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21868544 140730141657506 140730141657640 140730141657640 140730141663210 0
/proc/62941/statm: 268662 194892 2336 1147 0 256089 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1078840 KiB
Current children cumulated memory: 782640 KiB

[startup+12.7002 s]
/proc/loadavg: 4.12 4.10 4.09 5/267 62987
/proc/meminfo: memFree=116043780/131250000 swapFree=33010416/33010684
[pid=62939] ppid=62936 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/62939/stat : 62939 (run-opt.sh) S 62936 62939 62186 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 62071334 4292608 768 18446744073709551615 94321469235200 94321470129733 140730596979296 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94321470368784 94321470416528 94321486479360 140730596981101 140730596981224 140730596981224 140730596986826 0
/proc/62939/statm: 1048 768 704 219 0 110 0
[pid=62941] ppid=62939 vsize=1218696 memory=912864 CPUtime=12.64 cores=0,2
/proc/62941/stat : 62941 (roundingsat) R 62939 62939 62186 0 -1 4194304 105815 0 0 0 907 357 0 0 20 0 1 0 62071335 1247944704 228216 18446744073709551615 4227072 8923433 140730141653328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21868544 140730141657506 140730141657640 140730141657640 140730141663210 0
/proc/62941/statm: 304674 228216 2336 1147 0 292101 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1222888 KiB
Current children cumulated memory: 915936 KiB

[startup+25.5002 s]
/proc/loadavg: 4.10 4.09 4.09 5/267 62987
/proc/meminfo: memFree=114732604/131250000 swapFree=33010416/33010684
[pid=62939] ppid=62936 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/62939/stat : 62939 (run-opt.sh) S 62936 62939 62186 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 62071334 4292608 768 18446744073709551615 94321469235200 94321470129733 140730596979296 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94321470368784 94321470416528 94321486479360 140730596981101 140730596981224 140730596981224 140730596986826 0
/proc/62939/statm: 1048 768 704 219 0 110 0
[pid=62941] ppid=62939 vsize=2094388 memory=1726932 CPUtime=25.4 cores=0,2
/proc/62941/stat : 62941 (roundingsat) R 62939 62939 62186 0 -1 4194304 225242 0 0 0 2102 438 0 0 20 0 1 0 62071335 2144653312 431733 18446744073709551615 4227072 8923433 140730141653328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21868544 140730141657506 140730141657640 140730141657640 140730141663210 0
/proc/62941/statm: 523597 431733 2368 1147 0 511024 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 2098580 KiB
Current children cumulated memory: 1730004 KiB

[startup+51.1054 s]
/proc/loadavg: 4.13 4.10 4.09 5/267 62988
/proc/meminfo: memFree=111846056/131250000 swapFree=33010416/33010684
[pid=62939] ppid=62936 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/62939/stat : 62939 (run-opt.sh) S 62936 62939 62186 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 62071334 4292608 768 18446744073709551615 94321469235200 94321470129733 140730596979296 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94321470368784 94321470416528 94321486479360 140730596981101 140730596981224 140730596981224 140730596986826 0
/proc/62939/statm: 1048 768 704 219 0 110 0
[pid=62941] ppid=62939 vsize=3516776 memory=2932344 CPUtime=50.92 cores=0,2
/proc/62941/stat : 62941 (roundingsat) R 62939 62939 62186 0 -1 4194304 455331 0 0 0 4417 675 0 0 20 0 1 0 62071335 3601178624 733086 18446744073709551615 4227072 8923433 140730141653328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21868544 140730141657506 140730141657640 140730141657640 140730141663210 0
/proc/62941/statm: 879194 733086 2368 1147 0 866621 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 3520968 KiB
Current children cumulated memory: 2935416 KiB

[startup+102.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/267 63034
/proc/meminfo: memFree=118013552/131250000 swapFree=33010416/33010684
[pid=62939] ppid=62936 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/62939/stat : 62939 (run-opt.sh) S 62936 62939 62186 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 62071334 4292608 768 18446744073709551615 94321469235200 94321470129733 140730596979296 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94321470368784 94321470416528 94321486479360 140730596981101 140730596981224 140730596981224 140730596986826 0
/proc/62939/statm: 1048 768 704 219 0 110 0
[pid=62941] ppid=62939 vsize=5263944 memory=4539668 CPUtime=101.96 cores=0,2
/proc/62941/stat : 62941 (roundingsat) R 62939 62939 62186 0 -1 4194304 732097 0 0 0 8875 1321 0 0 20 0 1 0 62071335 5390278656 1134917 18446744073709551615 4227072 8923433 140730141653328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21868544 140730141657506 140730141657640 140730141657640 140730141663210 0
/proc/62941/statm: 1315986 1134917 2368 1147 0 1303413 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 5268136 KiB
Current children cumulated memory: 4542740 KiB

[startup+162.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/267 63036
/proc/meminfo: memFree=112825252/131250000 swapFree=33010416/33010684
[pid=62939] ppid=62936 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/62939/stat : 62939 (run-opt.sh) S 62936 62939 62186 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 62071334 4292608 768 18446744073709551615 94321469235200 94321470129733 140730596979296 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94321470368784 94321470416528 94321486479360 140730596981101 140730596981224 140730596981224 140730596986826 0
/proc/62939/statm: 1048 768 704 219 0 110 0
[pid=62941] ppid=62939 vsize=6640488 memory=5861884 CPUtime=161.78 cores=0,2
/proc/62941/stat : 62941 (roundingsat) R 62939 62939 62186 0 -1 4194304 945811 0 0 0 14355 1823 0 0 20 0 1 0 62071335 6799859712 1465471 18446744073709551615 4227072 8923433 140730141653328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21868544 140730141657506 140730141657640 140730141657640 140730141663210 0
/proc/62941/statm: 1660122 1465471 2368 1147 0 1647549 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 6644680 KiB
Current children cumulated memory: 5864956 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/268 63039
/proc/meminfo: memFree=110433976/131250000 swapFree=33010416/33010684
[pid=62939] ppid=62936 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/62939/stat : 62939 (run-opt.sh) S 62936 62939 62186 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 62071334 4292608 768 18446744073709551615 94321469235200 94321470129733 140730596979296 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94321470368784 94321470416528 94321486479360 140730596981101 140730596981224 140730596981224 140730596986826 0
/proc/62939/statm: 1048 768 704 219 0 110 0
[pid=62941] ppid=62939 vsize=8203380 memory=6791676 CPUtime=221.58 cores=0,2
/proc/62941/stat : 62941 (roundingsat) R 62939 62939 62186 0 -1 4194304 1094965 0 0 0 20029 2129 0 0 20 0 1 0 62071335 8400261120 1697919 18446744073709551615 4227072 8923433 140730141653328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21868544 140730141657506 140730141657640 140730141657640 140730141663210 0
/proc/62941/statm: 2050845 1697919 2368 1147 0 2038272 0
Current children cumulated CPU time: 221.58 s

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

/proc/loadavg: 4.08 4.09 4.09 5/267 63134
/proc/meminfo: memFree=68103084/131250000 swapFree=33010416/33010684
[pid=62939] ppid=62936 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/62939/stat : 62939 (run-opt.sh) S 62936 62939 62186 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 62071334 4292608 768 18446744073709551615 94321469235200 94321470129733 140730596979296 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94321470368784 94321470416528 94321486479360 140730596981101 140730596981224 140730596981224 140730596986826 0
/proc/62939/statm: 1048 768 704 219 0 110 0
[pid=62941] ppid=62939 vsize=26635476 memory=24014148 CPUtime=1956.71 cores=0,2
/proc/62941/stat : 62941 (roundingsat) R 62939 62939 62186 0 -1 4194304 4420450 0 0 0 179025 16646 0 0 20 0 1 0 62071335 27274727424 6003537 18446744073709551615 4227072 8923433 140730141653328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21868544 140730141657506 140730141657640 140730141657640 140730141663210 0
/proc/62941/statm: 6658869 6003537 2368 1147 0 6646296 0
Current children cumulated CPU time: 1956.71 s
Current children cumulated vsize: 26639668 KiB
Current children cumulated memory: 24017220 KiB

[startup+2022.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/267 63136
/proc/meminfo: memFree=66566000/131250000 swapFree=33010416/33010684
[pid=62939] ppid=62936 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/62939/stat : 62939 (run-opt.sh) S 62936 62939 62186 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 62071334 4292608 768 18446744073709551615 94321469235200 94321470129733 140730596979296 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94321470368784 94321470416528 94321486479360 140730596981101 140730596981224 140730596981224 140730596986826 0
/proc/62939/statm: 1048 768 704 219 0 110 0
[pid=62941] ppid=62939 vsize=26828416 memory=24524856 CPUtime=2016.55 cores=0,2
/proc/62941/stat : 62941 (roundingsat) R 62939 62939 62186 0 -1 4194304 4500881 0 0 0 184730 16925 0 0 20 0 1 0 62071335 27472297984 6131214 18446744073709551615 4227072 8923433 140730141653328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21868544 140730141657506 140730141657640 140730141657640 140730141663210 0
/proc/62941/statm: 6707104 6131214 2368 1147 0 6694531 0
Current children cumulated CPU time: 2016.55 s
Current children cumulated vsize: 26832608 KiB
Current children cumulated memory: 24527928 KiB

[startup+2082.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/267 63138
/proc/meminfo: memFree=64917804/131250000 swapFree=33010416/33010684
[pid=62939] ppid=62936 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/62939/stat : 62939 (run-opt.sh) S 62936 62939 62186 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 62071334 4292608 768 18446744073709551615 94321469235200 94321470129733 140730596979296 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94321470368784 94321470416528 94321486479360 140730596981101 140730596981224 140730596981224 140730596986826 0
/proc/62939/statm: 1048 768 704 219 0 110 0
[pid=62941] ppid=62939 vsize=26946076 memory=24937348 CPUtime=2076.38 cores=0,2
/proc/62941/stat : 62941 (roundingsat) R 62939 62939 62186 0 -1 4194304 4562338 0 0 0 190473 17165 0 0 20 0 1 0 62071335 27592781824 6234337 18446744073709551615 4227072 8923433 140730141653328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21868544 140730141657506 140730141657640 140730141657640 140730141663210 0
/proc/62941/statm: 6736519 6234337 2368 1147 0 6723946 0
Current children cumulated CPU time: 2076.38 s
Current children cumulated vsize: 26950268 KiB
Current children cumulated memory: 24940420 KiB

[startup+2142.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/267 63140
/proc/meminfo: memFree=62687800/131250000 swapFree=33010416/33010684
[pid=62939] ppid=62936 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/62939/stat : 62939 (run-opt.sh) S 62936 62939 62186 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 62071334 4292608 768 18446744073709551615 94321469235200 94321470129733 140730596979296 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94321470368784 94321470416528 94321486479360 140730596981101 140730596981224 140730596981224 140730596986826 0
/proc/62939/statm: 1048 768 704 219 0 110 0
[pid=62941] ppid=62939 vsize=27550476 memory=25606492 CPUtime=2136.21 cores=0,2
/proc/62941/stat : 62941 (roundingsat) R 62939 62939 62186 0 -1 4194304 4687320 0 0 0 196226 17395 0 0 20 0 1 0 62071335 28211687424 6401623 18446744073709551615 4227072 8923433 140730141653328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21868544 140730141657506 140730141657640 140730141657640 140730141663210 0
/proc/62941/statm: 6887619 6401623 2368 1147 0 6875046 0
Current children cumulated CPU time: 2136.21 s
Current children cumulated vsize: 27554668 KiB
Current children cumulated memory: 25609564 KiB

[startup+2181.22 s]
# the end of solver process 62939 was just reported to runsolver
# Child status: 3

# cumulated CPU time of all completed processes:  user=1999.12 s, system=175.908 s

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

[startup+2150.4 s]
/proc/loadavg: 4.13 4.10 4.09 5/267 63140
/proc/meminfo: memFree=62368176/131250000 swapFree=33010416/33010684
[pid=62939] ppid=62936 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/62939/stat : 62939 (run-opt.sh) S 62936 62939 62186 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 62071334 4292608 768 18446744073709551615 94321469235200 94321470129733 140730596979296 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94321470368784 94321470416528 94321486479360 140730596981101 140730596981224 140730596981224 140730596986826 0
/proc/62939/statm: 1048 768 704 219 0 110 0
[pid=62941] ppid=62939 vsize=27759324 memory=25773452 CPUtime=2144.29 cores=0,2
/proc/62941/stat : 62941 (roundingsat) R 62939 62939 62186 0 -1 4194304 4721986 0 0 0 197016 17413 0 0 20 0 1 0 62071335 28425547776 6443363 18446744073709551615 4227072 8923433 140730141653328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21868544 140730141657506 140730141657640 140730141657640 140730141663210 0
/proc/62941/statm: 6939831 6443363 2368 1147 0 6927258 0
Current children cumulated CPU time: 2144.29 s
Current children cumulated vsize: 27763516 KiB
Current children cumulated memory: 25776524 KiB

[startup+2163.2 s]
/proc/loadavg: 4.10 4.09 4.09 5/267 63140
/proc/meminfo: memFree=61581020/131250000 swapFree=33010416/33010684
[pid=62939] ppid=62936 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/62939/stat : 62939 (run-opt.sh) S 62936 62939 62186 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 62071334 4292608 768 18446744073709551615 94321469235200 94321470129733 140730596979296 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94321470368784 94321470416528 94321486479360 140730596981101 140730596981224 140730596981224 140730596986826 0
/proc/62939/statm: 1048 768 704 219 0 110 0
[pid=62941] ppid=62939 vsize=28330448 memory=26135592 CPUtime=2157.06 cores=0,2
/proc/62941/stat : 62941 (roundingsat) R 62939 62939 62186 0 -1 4194304 4805413 0 0 0 198266 17440 0 0 20 0 1 0 62071335 29010378752 6533898 18446744073709551615 4227072 8923433 140730141653328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21868544 140730141657506 140730141657640 140730141657640 140730141663210 0
/proc/62941/statm: 7082612 6533898 2368 1147 0 7070039 0
Current children cumulated CPU time: 2157.06 s
Current children cumulated vsize: 28334640 KiB
Current children cumulated memory: 26138664 KiB

[startup+2169.6 s]
/proc/loadavg: 4.09 4.09 4.09 5/267 63141
/proc/meminfo: memFree=61078744/131250000 swapFree=33010416/33010684
[pid=62939] ppid=62936 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/62939/stat : 62939 (run-opt.sh) S 62936 62939 62186 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 62071334 4292608 768 18446744073709551615 94321469235200 94321470129733 140730596979296 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94321470368784 94321470416528 94321486479360 140730596981101 140730596981224 140730596981224 140730596986826 0
/proc/62939/statm: 1048 768 704 219 0 110 0
[pid=62941] ppid=62939 vsize=28729360 memory=26386180 CPUtime=2163.43 cores=0,2
/proc/62941/stat : 62941 (roundingsat) R 62939 62939 62186 0 -1 4194304 4863148 0 0 0 198894 17449 0 0 20 0 1 0 62071335 29418864640 6596545 18446744073709551615 4227072 8923433 140730141653328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21868544 140730141657506 140730141657640 140730141657640 140730141663210 0
/proc/62941/statm: 7182340 6596545 2368 1147 0 7169767 0
Current children cumulated CPU time: 2163.43 s
Current children cumulated vsize: 28733552 KiB
Current children cumulated memory: 26389252 KiB

[startup+2176 s]*
/proc/loadavg: 4.09 4.09 4.09 5/267 63141
/proc/meminfo: memFree=60739548/131250000 swapFree=33010416/33010684
[pid=62939] ppid=62936 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/62939/stat : 62939 (run-opt.sh) S 62936 62939 62186 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 62071334 4292608 768 18446744073709551615 94321469235200 94321470129733 140730596979296 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94321470368784 94321470416528 94321486479360 140730596981101 140730596981224 140730596981224 140730596986826 0
/proc/62939/statm: 1048 768 704 219 0 110 0
[pid=62941] ppid=62939 vsize=29065452 memory=26605576 CPUtime=2169.82 cores=0,2
/proc/62941/stat : 62941 (roundingsat) R 62939 62939 62186 0 -1 4194304 4913191 0 0 0 199515 17467 0 0 20 0 1 0 62071335 29763022848 6651394 18446744073709551615 4227072 8923433 140730141653328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21868544 140730141657506 140730141657640 140730141657640 140730141663210 0
/proc/62941/statm: 7266427 6651394 2368 1147 0 7253854 0
Current children cumulated CPU time: 2169.82 s
Current children cumulated vsize: 29069644 KiB
Current children cumulated memory: 26608648 KiB

[startup+2179.2 s]
/proc/loadavg: 4.08 4.09 4.09 5/266 63141
/proc/meminfo: memFree=60517340/131250000 swapFree=33010416/33010684
[pid=62939] ppid=62936 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/62939/stat : 62939 (run-opt.sh) S 62936 62939 62186 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 62071334 4292608 768 18446744073709551615 94321469235200 94321470129733 140730596979296 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94321470368784 94321470416528 94321486479360 140730596981101 140730596981224 140730596981224 140730596986826 0
/proc/62939/statm: 1048 768 704 219 0 110 0
[pid=62941] ppid=62939 vsize=29256364 memory=26729744 CPUtime=2173 cores=0,2
/proc/62941/stat : 62941 (roundingsat) R 62939 62939 62186 0 -1 4194304 4941532 0 0 0 199794 17506 0 0 20 0 1 0 62071335 29958516736 6682436 18446744073709551615 4227072 8923433 140730141653328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21868544 140730141657506 140730141657640 140730141657640 140730141663210 0
/proc/62941/statm: 7314091 6682436 2368 1147 0 7301518 0
Current children cumulated CPU time: 2173 s
Current children cumulated vsize: 29260556 KiB
Current children cumulated memory: 26732816 KiB

[startup+2180 s]*
/proc/loadavg: 4.08 4.09 4.09 5/266 63141
/proc/meminfo: memFree=60725948/131250000 swapFree=33010416/33010684
[pid=62939] ppid=62936 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/62939/stat : 62939 (run-opt.sh) S 62936 62939 62186 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 62071334 4292608 768 18446744073709551615 94321469235200 94321470129733 140730596979296 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94321470368784 94321470416528 94321486479360 140730596981101 140730596981224 140730596981224 140730596986826 0
/proc/62939/statm: 1048 768 704 219 0 110 0
[pid=62941] ppid=62939 vsize=28634376 memory=26255020 CPUtime=2173.81 cores=0,2
/proc/62941/stat : 62941 (roundingsat) R 62939 62939 62186 0 -1 4194304 4942507 0 0 0 199866 17515 0 0 20 0 1 0 62071335 29321601024 6563755 18446744073709551615 4227072 8923433 140730141653328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21868544 140730141657506 140730141657640 140730141657640 140730141663210 0
/proc/62941/statm: 7158594 6563755 2464 1147 0 7146021 0
Current children cumulated CPU time: 2173.81 s
Current children cumulated vsize: 28638568 KiB
Current children cumulated memory: 26258092 KiB

[startup+2180.8 s]
/proc/loadavg: 4.08 4.09 4.09 5/266 63141
/proc/meminfo: memFree=60725948/131250000 swapFree=33010416/33010684
[pid=62939] ppid=62936 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/62939/stat : 62939 (run-opt.sh) S 62936 62939 62186 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 62071334 4292608 768 18446744073709551615 94321469235200 94321470129733 140730596979296 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94321470368784 94321470416528 94321486479360 140730596981101 140730596981224 140730596981224 140730596986826 0
/proc/62939/statm: 1048 768 704 219 0 110 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 3072 KiB

[startup+2181.2 s]
/proc/loadavg: 4.08 4.09 4.09 5/266 63141
/proc/meminfo: memFree=81301628/131250000 swapFree=33010416/33010684
[pid=62939] ppid=62936 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/62939/stat : 62939 (run-opt.sh) S 62936 62939 62186 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 62071334 4292608 768 18446744073709551615 94321469235200 94321470129733 140730596979296 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94321470368784 94321470416528 94321486479360 140730596981101 140730596981224 140730596981224 140730596986826 0
/proc/62939/statm: 1048 768 704 219 0 110 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 3072 KiB

Child status: 3

Real time (s): 2181.22
CPU time (s): 2175.03
CPU user time (s): 1999.12
CPU system time (s): 175.908
CPU usage (%): 99.7163
Max. virtual memory (cumulated for all children) (KiB): 29261180
Max. memory (cumulated for all children) (KiB): 26734352

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1999.12
system time used= 175.908
maximum resident set size= 26732560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4942807
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 180
involuntary context switches= 4919


# summary of solver processes directly reported to runsolver:
#   pid: 62939
#   total CPU time (s): 2175.03
#   total CPU user time (s): 1999.12
#   total CPU system time (s): 175.908

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.23381 second user time and 10.0326 second system time

The end

Launcher Data 

Begin job on nodeC027 at 2025-07-02 15:45:15
IDJOB=4504618
IDBENCH=155666
IDSOLVER=3350
FILE ID=nodeC027/4504618-1751463914
RUNJOBID= nodeC027-1751456689-62201
SLURM_JOB_ID= 9598455
Free space on /tmp= 431104 MiB

SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Multihop/normalized-minisat50_6_9_4_mh.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4504618-1751463914/watcher-4504618-1751463914 -o /tmp/evaluation-result-4504618-1751463914/solver-4504618-1751463914 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751456689-62201 --watchdog 3760  run-opt.sh HOME/instance-4504618-1751463914.opb

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

MD5SUM BENCH= 5c375d9eec0e7448397e2587af216396
RANDOM SEED=699385167

nodeC027 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.616
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.29
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		: 3599.669
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.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        96206472 kB
MemAvailable:   96312496 kB
Buffers:            2488 kB
Cached:           906816 kB
SwapCached:           12 kB
Active:         34031744 kB
Inactive:         367100 kB
Active(anon):   33504812 kB
Inactive(anon):     2792 kB
Active(file):     526932 kB
Inactive(file):   364308 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             43060 kB
Writeback:            12 kB
AnonPages:      33490800 kB
Mapped:           115888 kB
Shmem:             18056 kB
KReclaimable:     107644 kB
Slab:             196308 kB
SReclaimable:     107644 kB
SUnreclaim:        88664 kB
KernelStack:        4252 kB
PageTables:        72120 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:   37264460 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150552 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3956736 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:      203476 kB
DirectMap2M:     9005056 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431092 MiB
End job on nodeC027 at 2025-07-02 16:21:36