Trace number 4504619

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
roundingsat-ihs-log 63f22ad? 2685.84 2694.86

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
3.17/3.20	c #variables 250200 #constraints 610311
3.17/3.20	c objective is ce32 
3.97/4.09	c initial watched  CF 32, 64, 128, Arb: 50 , 0 , 0 , 0
3.97/4.09	c initial counting CF 32, 64, 128, Arb: 121326 , 0 , 0 , 0
3.97/4.09	c GLOBAL bounds - >= -50 @ 3.16124
4.36/4.41	c GLOBAL bounds - >= -50 @ 3.33192
4.67/4.74	c GLOBAL bounds - >= -50 @ 3.58138
4.97/5.08	c GLOBAL bounds - >= -50 @ 3.83866
5.36/5.40	c GLOBAL bounds - >= -50 @ 4.08587
5.66/5.71	c GLOBAL bounds - >= -50 @ 4.30698
5.96/6.01	c GLOBAL bounds - >= -50 @ 4.53263
6.26/6.31	c GLOBAL bounds - >= -50 @ 4.75627
6.56/6.62	c GLOBAL bounds - >= -50 @ 4.97365
6.86/6.99	c GLOBAL bounds - >= -50 @ 5.27133
7.25/7.37	c GLOBAL bounds - >= -50 @ 5.57453
7.55/7.68	c GLOBAL bounds - >= -50 @ 5.80407
7.96/8.06	c GLOBAL bounds - >= -50 @ 6.09753
8.25/8.36	c GLOBAL bounds - >= -50 @ 6.33057
8.75/8.85	c GLOBAL bounds - >= -50 @ 6.72102
9.15/9.26	c GLOBAL bounds - >= -50 @ 7.04655
9.76/9.83	c GLOBAL bounds - >= -50 @ 7.53472
10.05/10.17	c GLOBAL bounds - >= -50 @ 7.79409
10.45/10.50	c GLOBAL bounds - >= -50 @ 8.03725
10.75/10.85	c GLOBAL bounds - >= -50 @ 8.29686
11.05/11.17	c GLOBAL bounds - >= -50 @ 8.54206
11.45/11.55	c GLOBAL bounds - >= -50 @ 8.83739
11.75/11.87	c GLOBAL bounds - >= -50 @ 9.05605
12.06/12.18	c GLOBAL bounds - >= -50 @ 9.27555
12.44/12.57	c GLOBAL bounds - >= -50 @ 9.57253
12.74/12.87	c GLOBAL bounds - >= -50 @ 9.79102
13.24/13.37	c GLOBAL bounds - >= -50 @ 10.1929
13.84/13.94	c GLOBAL bounds - >= -50 @ 10.6685
14.44/14.52	c GLOBAL bounds - >= -50 @ 11.1583
15.04/15.18	c GLOBAL bounds - >= -50 @ 11.7242
15.53/15.66	c GLOBAL bounds - >= -50 @ 12.1193
15.94/16.07	c GLOBAL bounds - >= -50 @ 12.4454
16.34/16.49	c GLOBAL bounds - >= -50 @ 12.7887
16.83/16.99	c GLOBAL bounds - >= -50 @ 13.1829
17.23/17.32	c GLOBAL bounds - >= -50 @ 13.4399
17.73/17.83	c GLOBAL bounds - >= -50 @ 13.8615
18.33/18.40	c GLOBAL bounds - >= -50 @ 14.3497
19.13/19.29	c GLOBAL bounds - >= -50 @ 15.1406
19.52/19.61	c GLOBAL bounds - >= -50 @ 15.3732
20.72/20.82	c GLOBAL bounds - >= -50 @ 16.4736
28.50/28.62	c GLOBAL bounds - >= -50 @ 23.9383
34.18/34.31	c GLOBAL bounds - >= 137781 @ 29.5358
37.18/37.31	c GLOBAL bounds - >= 137781 @ 32.3987
37.18/37.38	c GLOBAL bounds - >= 137781 @ 32.442
37.28/37.43	c GLOBAL bounds - >= 137781 @ 32.475
37.67/37.81	c GLOBAL bounds - >= 137781 @ 32.7115
37.78/37.90	c GLOBAL bounds - >= 137781 @ 32.7752
38.28/38.42	c GLOBAL bounds - >= 137781 @ 33.136
38.38/38.50	c GLOBAL bounds - >= 137781 @ 33.1933
38.67/38.83	c GLOBAL bounds - >= 137781 @ 33.3897
38.67/38.84	c GLOBAL bounds - >= 137781 @ 33.393
39.07/39.20	c GLOBAL bounds - >= 137781 @ 33.5836
39.07/39.27	c GLOBAL bounds - >= 137781 @ 33.6347
39.57/39.77	c GLOBAL bounds - >= 137781 @ 33.9742
39.67/39.85	c GLOBAL bounds - >= 137781 @ 34.0236
40.07/40.25	c GLOBAL bounds - >= 137781 @ 34.2804
40.17/40.33	c GLOBAL bounds - >= 137781 @ 34.3291
40.57/40.78	c GLOBAL bounds - >= 137781 @ 34.6375
40.67/40.86	c GLOBAL bounds - >= 137781 @ 34.6926
41.06/41.27	c GLOBAL bounds - >= 137781 @ 34.9819
41.17/41.35	c GLOBAL bounds - >= 137781 @ 35.0322
41.57/41.73	c GLOBAL bounds - >= 137781 @ 35.2931
41.67/41.80	c GLOBAL bounds - >= 137781 @ 35.3485
41.97/42.18	c GLOBAL bounds - >= 137781 @ 35.5996
42.56/42.71	c GLOBAL bounds - >= 137781 @ 36.0152
44.16/44.35	c GLOBAL bounds - >= 137781 @ 37.5023
47.65/47.83	c GLOBAL bounds - >= 137781 @ 40.7989
55.72/55.97	c GLOBAL bounds - >= 137781 @ 48.6921
83.35/83.64	c GLOBAL bounds - >= 141383 @ 75.7026
83.55/83.81	c GLOBAL bounds - >= 141383 @ 75.8508
83.55/83.88	c GLOBAL bounds - >= 141383 @ 75.8953
83.65/83.96	c GLOBAL bounds - >= 141383 @ 75.9439
83.75/84.04	c GLOBAL bounds - >= 141383 @ 75.997
84.25/84.57	c GLOBAL bounds - >= 141383 @ 76.3739
84.35/84.65	c GLOBAL bounds - >= 141383 @ 76.4262
84.85/85.14	c GLOBAL bounds - >= 141383 @ 76.7781
84.94/85.22	c GLOBAL bounds - >= 141383 @ 76.8297
85.44/85.75	c GLOBAL bounds - >= 141383 @ 77.1915
85.44/85.76	c GLOBAL bounds - >= 141383 @ 77.1958
85.85/86.13	c GLOBAL bounds - >= 141383 @ 77.4089
85.95/86.21	c GLOBAL bounds - >= 141383 @ 77.4508
86.34/86.64	c GLOBAL bounds - >= 141383 @ 77.7234
86.44/86.70	c GLOBAL bounds - >= 141383 @ 77.7694
86.75/87.07	c GLOBAL bounds - >= 141383 @ 77.9862
86.85/87.14	c GLOBAL bounds - >= 141383 @ 78.027
87.24/87.54	c GLOBAL bounds - >= 141383 @ 78.2818
87.34/87.61	c GLOBAL bounds - >= 141383 @ 78.3221
87.64/87.98	c GLOBAL bounds - >= 141383 @ 78.5473
87.74/88.05	c GLOBAL bounds - >= 141383 @ 78.5917
88.24/88.51	c GLOBAL bounds - >= 141383 @ 78.9243
88.24/88.58	c GLOBAL bounds - >= 141383 @ 78.9681
88.74/89.04	c GLOBAL bounds - >= 141383 @ 79.2807
89.44/89.71	c GLOBAL bounds - >= 141383 @ 79.8108
94.32/94.69	c GLOBAL bounds - >= 141383 @ 84.6094
102.70/103.02	c GLOBAL bounds - >= 158911 @ 92.8076
102.90/103.29	c GLOBAL bounds - >= 158911 @ 93.0445
102.99/103.37	c GLOBAL bounds - >= 158911 @ 93.093
103.09/103.44	c GLOBAL bounds - >= 158911 @ 93.1377
103.59/103.94	c GLOBAL bounds - >= 158911 @ 93.4807
103.70/104.02	c GLOBAL bounds - >= 158911 @ 93.5323
104.10/104.45	c GLOBAL bounds - >= 158911 @ 93.8253
104.20/104.53	c GLOBAL bounds - >= 158911 @ 93.8779
104.59/104.96	c GLOBAL bounds - >= 158911 @ 94.1605
104.70/105.03	c GLOBAL bounds - >= 158911 @ 94.2056
105.10/105.47	c GLOBAL bounds - >= 158911 @ 94.496
105.19/105.55	c GLOBAL bounds - >= 158911 @ 94.5487
105.59/105.99	c GLOBAL bounds - >= 158911 @ 94.8439
105.70/106.07	c GLOBAL bounds - >= 158911 @ 94.8895
106.19/106.52	c GLOBAL bounds - >= 158911 @ 95.1791
106.19/106.59	c GLOBAL bounds - >= 158911 @ 95.2308
106.69/107.05	c GLOBAL bounds - >= 158911 @ 95.5351
106.80/107.13	c GLOBAL bounds - >= 158911 @ 95.5885
107.08/107.49	c GLOBAL bounds - >= 158911 @ 95.7931
107.18/107.57	c GLOBAL bounds - >= 158911 @ 95.8392
107.48/107.88	c GLOBAL bounds - >= 158911 @ 96.0259
107.58/107.96	c GLOBAL bounds - >= 158911 @ 96.0731
107.97/108.35	c GLOBAL bounds - >= 158911 @ 96.3264
108.48/108.85	c GLOBAL bounds - >= 158911 @ 96.7014
110.47/110.87	c GLOBAL bounds - >= 158911 @ 98.5663
114.46/114.84	c GLOBAL bounds - >= 158911 @ 102.35
117.25/117.61	c GLOBAL bounds - >= 158911 @ 104.96
118.95/119.37	c GLOBAL bounds - >= 158911 @ 106.561
120.45/120.87	c GLOBAL bounds - >= 158911 @ 107.94
134.50/134.97	c #Conflicts:       1000 | #Constraints:    2523525
134.50/134.97	c GLOBAL bounds - >= 165827 @ 121.657
134.79/135.23	c GLOBAL bounds - >= 165827 @ 121.878
134.89/135.31	c GLOBAL bounds - >= 165827 @ 121.924
134.89/135.38	c GLOBAL bounds - >= 165827 @ 121.976
134.99/135.46	c GLOBAL bounds - >= 165827 @ 122.026
135.09/135.53	c GLOBAL bounds - >= 165827 @ 122.075
135.19/135.61	c GLOBAL bounds - >= 165827 @ 122.122
135.19/135.68	c GLOBAL bounds - >= 165827 @ 122.168
135.98/136.44	c GLOBAL bounds - >= 165827 @ 122.783
136.08/136.52	c GLOBAL bounds - >= 165827 @ 122.838
136.58/137.07	c GLOBAL bounds - >= 165827 @ 123.23
136.68/137.15	c GLOBAL bounds - >= 165827 @ 123.284
137.18/137.62	c GLOBAL bounds - >= 165827 @ 123.606
137.27/137.70	c GLOBAL bounds - >= 165827 @ 123.656
137.58/138.09	c GLOBAL bounds - >= 165827 @ 123.903
137.67/138.17	c GLOBAL bounds - >= 165827 @ 123.952
138.17/138.67	c GLOBAL bounds - >= 165827 @ 124.299
138.27/138.74	c GLOBAL bounds - >= 165827 @ 124.349
138.77/139.27	c GLOBAL bounds - >= 165827 @ 124.695
138.87/139.34	c GLOBAL bounds - >= 165827 @ 124.746
139.37/139.85	c GLOBAL bounds - >= 165827 @ 125.095
139.37/139.89	c GLOBAL bounds - >= 165827 @ 125.123
139.87/140.31	c GLOBAL bounds - >= 165827 @ 125.39
139.87/140.39	c GLOBAL bounds - >= 165827 @ 125.443
140.37/140.85	c GLOBAL bounds - >= 165827 @ 125.763
140.47/140.92	c GLOBAL bounds - >= 165827 @ 125.806
140.96/141.41	c GLOBAL bounds - >= 165827 @ 126.159
141.86/142.30	c GLOBAL bounds - >= 165827 @ 126.92
143.16/143.63	c GLOBAL bounds - >= 165827 @ 128.113
143.66/144.18	c GLOBAL bounds - >= 165827 @ 128.539
143.76/144.23	c GLOBAL bounds - >= 165827 @ 128.589
143.86/144.38	c GLOBAL bounds - >= 165827 @ 128.711
143.96/144.45	c GLOBAL bounds - >= 165827 @ 128.757
144.05/144.53	c GLOBAL bounds - >= 165827 @ 128.804
144.15/144.60	c GLOBAL bounds - >= 165827 @ 128.852
144.46/144.98	c GLOBAL bounds - >= 165827 @ 129.092
144.56/145.06	c GLOBAL bounds - >= 165827 @ 129.14
144.95/145.43	c GLOBAL bounds - >= 165827 @ 129.376
145.05/145.50	c GLOBAL bounds - >= 165827 @ 129.42
145.35/145.88	c GLOBAL bounds - >= 165827 @ 129.66
145.45/145.96	c GLOBAL bounds - >= 165827 @ 129.709
145.86/146.31	c GLOBAL bounds - >= 165827 @ 129.928
145.86/146.38	c GLOBAL bounds - >= 165827 @ 129.981
146.25/146.75	c GLOBAL bounds - >= 165827 @ 130.197
146.35/146.82	c GLOBAL bounds - >= 165827 @ 130.249
146.75/147.27	c GLOBAL bounds - >= 165827 @ 130.561
146.85/147.34	c GLOBAL bounds - >= 165827 @ 130.613
147.35/147.80	c GLOBAL bounds - >= 165827 @ 130.921
147.35/147.87	c GLOBAL bounds - >= 165827 @ 130.967
147.84/148.32	c GLOBAL bounds - >= 165827 @ 131.274
147.84/148.40	c GLOBAL bounds - >= 165827 @ 131.324
148.35/148.83	c GLOBAL bounds - >= 165827 @ 131.637
148.45/148.91	c GLOBAL bounds - >= 165827 @ 131.686
148.74/149.25	c GLOBAL bounds - >= 165827 @ 131.882
149.24/149.77	c GLOBAL bounds - >= 165827 @ 132.286
150.14/150.67	c GLOBAL bounds - >= 165827 @ 133.074
151.93/152.42	c GLOBAL bounds - >= 165827 @ 134.667
181.35/181.95	c GLOBAL bounds - >= 178555 @ 163.653
181.55/182.17	c GLOBAL bounds - >= 178555 @ 163.841
181.65/182.24	c GLOBAL bounds - >= 178555 @ 163.887
181.75/182.31	c GLOBAL bounds - >= 178555 @ 163.938
181.75/182.38	c GLOBAL bounds - >= 178555 @ 163.984
182.34/182.91	c GLOBAL bounds - >= 178555 @ 164.367
182.34/182.98	c GLOBAL bounds - >= 178555 @ 164.418
182.74/183.35	c GLOBAL bounds - >= 178555 @ 164.646
182.84/183.42	c GLOBAL bounds - >= 178555 @ 164.696
183.24/183.88	c GLOBAL bounds - >= 178555 @ 165.004
183.34/183.95	c GLOBAL bounds - >= 178555 @ 165.052
183.64/184.29	c GLOBAL bounds - >= 178555 @ 165.277
183.73/184.37	c GLOBAL bounds - >= 178555 @ 165.324
184.24/184.83	c GLOBAL bounds - >= 178555 @ 165.644
184.34/184.91	c GLOBAL bounds - >= 178555 @ 165.696
184.83/185.44	c GLOBAL bounds - >= 178555 @ 166.06
184.93/185.51	c GLOBAL bounds - >= 178555 @ 166.106
185.33/185.98	c GLOBAL bounds - >= 178555 @ 166.414
185.43/186.06	c GLOBAL bounds - >= 178555 @ 166.469
185.83/186.49	c GLOBAL bounds - >= 178555 @ 166.748
185.93/186.56	c GLOBAL bounds - >= 178555 @ 166.796
186.33/186.99	c GLOBAL bounds - >= 178555 @ 167.102
186.44/187.06	c GLOBAL bounds - >= 178555 @ 167.146
186.93/187.51	c GLOBAL bounds - >= 178555 @ 167.458
187.62/188.22	c GLOBAL bounds - >= 178555 @ 168.031
188.12/188.77	c GLOBAL bounds - >= 178555 @ 168.462
188.72/189.30	c GLOBAL bounds - >= 178555 @ 168.88
239.18/240.00	c GLOBAL bounds - >= 183359 @ 218.659
239.48/240.24	c GLOBAL bounds - >= 183359 @ 218.87
239.57/240.31	c GLOBAL bounds - >= 183359 @ 218.915
239.57/240.39	c GLOBAL bounds - >= 183359 @ 218.965
239.68/240.46	c GLOBAL bounds - >= 183359 @ 219.01
246.05/246.83	c GLOBAL bounds - >= 183359 @ 225.105
246.15/246.90	c GLOBAL bounds - >= 183359 @ 225.157
246.46/247.24	c GLOBAL bounds - >= 183359 @ 225.38
246.55/247.32	c GLOBAL bounds - >= 183359 @ 225.429
246.95/247.75	c GLOBAL bounds - >= 183359 @ 225.73
247.06/247.83	c GLOBAL bounds - >= 183359 @ 225.777
247.45/248.25	c GLOBAL bounds - >= 183359 @ 226.057
247.55/248.33	c GLOBAL bounds - >= 183359 @ 226.101
247.95/248.75	c GLOBAL bounds - >= 183359 @ 226.383
248.05/248.83	c GLOBAL bounds - >= 183359 @ 226.435
248.45/249.21	c GLOBAL bounds - >= 183359 @ 226.685
248.45/249.28	c GLOBAL bounds - >= 183359 @ 226.729
248.85/249.66	c GLOBAL bounds - >= 183359 @ 226.974
248.94/249.74	c GLOBAL bounds - >= 183359 @ 227.015
249.25/250.02	c GLOBAL bounds - >= 183359 @ 227.174
249.25/250.10	c GLOBAL bounds - >= 183359 @ 227.221
249.65/250.48	c GLOBAL bounds - >= 183359 @ 227.481
249.74/250.56	c GLOBAL bounds - >= 183359 @ 227.527
250.15/250.94	c GLOBAL bounds - >= 183359 @ 227.788
250.54/251.36	c GLOBAL bounds - >= 183359 @ 228.105
251.15/251.97	c GLOBAL bounds - >= 183359 @ 228.607
252.25/253.06	c GLOBAL bounds - >= 183359 @ 229.576
253.53/254.30	c GLOBAL bounds - >= 183359 @ 230.689
254.03/254.81	c GLOBAL bounds - >= 183359 @ 231.101
255.43/256.23	c GLOBAL bounds - >= 183359 @ 232.393
256.83/257.62	c GLOBAL bounds - >= 183359 @ 233.652
257.63/258.49	c GLOBAL bounds - >= 183359 @ 234.406
260.22/261.01	c GLOBAL bounds - >= 183359 @ 236.78
285.55/286.43	c #Conflicts:       2000 | #Constraints:    5322769
285.55/286.43	c INPROCESSING
285.55/286.43	c GARBAGE COLLECT
285.55/286.43	c GLOBAL bounds - >= 183359 @ 261.704
302.99/303.90	c GLOBAL bounds - >= 188741 @ 278.976
303.29/304.23	c GLOBAL bounds - >= 188741 @ 279.277
303.40/304.30	c GLOBAL bounds - >= 188741 @ 279.328
303.40/304.37	c GLOBAL bounds - >= 188741 @ 279.379
303.49/304.45	c GLOBAL bounds - >= 188741 @ 279.42
303.59/304.52	c GLOBAL bounds - >= 188741 @ 279.472
303.69/304.60	c GLOBAL bounds - >= 188741 @ 279.519
303.69/304.67	c GLOBAL bounds - >= 188741 @ 279.57
303.79/304.74	c GLOBAL bounds - >= 188741 @ 279.621
303.89/304.82	c GLOBAL bounds - >= 188741 @ 279.665
303.89/304.89	c GLOBAL bounds - >= 188741 @ 279.718
304.99/305.90	c GLOBAL bounds - >= 188741 @ 280.57
304.99/305.98	c GLOBAL bounds - >= 188741 @ 280.622
306.19/307.11	c GLOBAL bounds - >= 188741 @ 281.593
306.19/307.19	c GLOBAL bounds - >= 188741 @ 281.65
306.68/307.64	c GLOBAL bounds - >= 188741 @ 281.96
306.78/307.71	c GLOBAL bounds - >= 188741 @ 282.007
307.19/308.15	c GLOBAL bounds - >= 188741 @ 282.301
307.28/308.22	c GLOBAL bounds - >= 188741 @ 282.348
307.68/308.60	c GLOBAL bounds - >= 188741 @ 282.566
307.68/308.67	c GLOBAL bounds - >= 188741 @ 282.618
308.28/309.26	c GLOBAL bounds - >= 188741 @ 283.026
308.38/309.34	c GLOBAL bounds - >= 188741 @ 283.079
308.87/309.80	c GLOBAL bounds - >= 188741 @ 283.4
308.87/309.87	c GLOBAL bounds - >= 188741 @ 283.443
309.28/310.27	c GLOBAL bounds - >= 188741 @ 283.688
309.38/310.35	c GLOBAL bounds - >= 188741 @ 283.74
309.87/310.83	c GLOBAL bounds - >= 188741 @ 284.083
309.97/310.90	c GLOBAL bounds - >= 188741 @ 284.135
310.37/311.36	c GLOBAL bounds - >= 188741 @ 284.437
310.87/311.84	c GLOBAL bounds - >= 188741 @ 284.794
311.66/312.60	c GLOBAL bounds - >= 188741 @ 285.43
312.57/313.54	c GLOBAL bounds - >= 188741 @ 286.247
315.16/316.14	c GLOBAL bounds - >= 188741 @ 288.687
321.74/322.75	c GLOBAL bounds - >= 188741 @ 295.122
323.13/324.17	c GLOBAL bounds - >= 188741 @ 296.41
332.50/333.54	c GLOBAL bounds - >= 188923 @ 305.687
332.71/333.75	c GLOBAL bounds - >= 188923 @ 305.865
332.80/333.82	c GLOBAL bounds - >= 188923 @ 305.908
332.80/333.89	c GLOBAL bounds - >= 188923 @ 305.952
332.90/333.96	c GLOBAL bounds - >= 188923 @ 306.005
333.01/334.04	c GLOBAL bounds - >= 188923 @ 306.056
333.11/334.11	c GLOBAL bounds - >= 188923 @ 306.106
333.80/334.81	c GLOBAL bounds - >= 188923 @ 306.662
333.80/334.88	c GLOBAL bounds - >= 188923 @ 306.716
334.21/335.26	c GLOBAL bounds - >= 188923 @ 306.932
334.30/335.34	c GLOBAL bounds - >= 188923 @ 306.976
334.80/335.81	c GLOBAL bounds - >= 188923 @ 307.275
334.80/335.88	c GLOBAL bounds - >= 188923 @ 307.319
335.30/336.35	c GLOBAL bounds - >= 188923 @ 307.639
335.40/336.43	c GLOBAL bounds - >= 188923 @ 307.686
335.79/336.83	c GLOBAL bounds - >= 188923 @ 307.967
335.89/336.91	c GLOBAL bounds - >= 188923 @ 308.017
336.30/337.31	c GLOBAL bounds - >= 188923 @ 308.304
336.30/337.38	c GLOBAL bounds - >= 188923 @ 308.353
336.69/337.78	c GLOBAL bounds - >= 188923 @ 308.627
336.79/337.85	c GLOBAL bounds - >= 188923 @ 308.672
337.20/338.25	c GLOBAL bounds - >= 188923 @ 308.929
337.29/338.33	c GLOBAL bounds - >= 188923 @ 308.975
337.60/338.69	c GLOBAL bounds - >= 188923 @ 309.179
337.70/338.77	c GLOBAL bounds - >= 188923 @ 309.23
338.19/339.21	c GLOBAL bounds - >= 188923 @ 309.514
340.28/341.37	c GLOBAL bounds - >= 188923 @ 311.532
341.49/342.52	c GLOBAL bounds - >= 188923 @ 312.566
341.98/343.03	c GLOBAL bounds - >= 188923 @ 312.962
343.58/344.63	c GLOBAL bounds - >= 188923 @ 314.421
343.67/344.70	c GLOBAL bounds - >= 188923 @ 314.488
343.78/344.84	c GLOBAL bounds - >= 188923 @ 314.608
343.87/344.92	c GLOBAL bounds - >= 188923 @ 314.647
343.87/344.99	c GLOBAL bounds - >= 188923 @ 314.697
343.98/345.06	c GLOBAL bounds - >= 188923 @ 314.75
344.08/345.14	c GLOBAL bounds - >= 188923 @ 314.801
344.47/345.52	c GLOBAL bounds - >= 188923 @ 315.038
344.47/345.59	c GLOBAL bounds - >= 188923 @ 315.091
344.87/345.96	c GLOBAL bounds - >= 188923 @ 315.348
344.98/346.04	c GLOBAL bounds - >= 188923 @ 315.398
345.37/346.41	c GLOBAL bounds - >= 188923 @ 315.638
345.37/346.49	c GLOBAL bounds - >= 188923 @ 315.69
345.77/346.86	c GLOBAL bounds - >= 188923 @ 315.932
345.87/346.93	c GLOBAL bounds - >= 188923 @ 315.976
346.17/347.29	c GLOBAL bounds - >= 188923 @ 316.199
346.27/347.37	c GLOBAL bounds - >= 188923 @ 316.247
346.76/347.82	c GLOBAL bounds - >= 188923 @ 316.574
346.76/347.90	c GLOBAL bounds - >= 188923 @ 316.623
347.17/348.24	c GLOBAL bounds - >= 188923 @ 316.821
347.26/348.31	c GLOBAL bounds - >= 188923 @ 316.873
347.57/348.69	c GLOBAL bounds - >= 188923 @ 317.129
347.66/348.77	c GLOBAL bounds - >= 188923 @ 317.179
348.06/349.14	c GLOBAL bounds - >= 188923 @ 317.428
348.17/349.21	c GLOBAL bounds - >= 188923 @ 317.479
348.46/349.58	c GLOBAL bounds - >= 188923 @ 317.732
351.55/352.69	c GLOBAL bounds - >= 188923 @ 320.678
352.06/353.11	c GLOBAL bounds - >= 188923 @ 321.001
352.55/353.69	c GLOBAL bounds - >= 188923 @ 321.482
352.65/353.76	c GLOBAL bounds - >= 188923 @ 321.548
352.75/353.88	c GLOBAL bounds - >= 188923 @ 321.644
352.85/353.95	c GLOBAL bounds - >= 188923 @ 321.693
352.95/354.03	c GLOBAL bounds - >= 188923 @ 321.74
352.95/354.10	c GLOBAL bounds - >= 188923 @ 321.789
353.34/354.43	c GLOBAL bounds - >= 188923 @ 321.976
353.45/354.50	c GLOBAL bounds - >= 188923 @ 322.031
353.75/354.81	c GLOBAL bounds - >= 188923 @ 322.201
353.75/354.88	c GLOBAL bounds - >= 188923 @ 322.244
354.05/355.18	c GLOBAL bounds - >= 188923 @ 322.411
354.15/355.25	c GLOBAL bounds - >= 188923 @ 322.463
354.44/355.57	c GLOBAL bounds - >= 188923 @ 322.648
354.55/355.64	c GLOBAL bounds - >= 188923 @ 322.7
354.85/355.93	c GLOBAL bounds - >= 188923 @ 322.865
354.95/356.01	c GLOBAL bounds - >= 188923 @ 322.909
355.24/356.38	c GLOBAL bounds - >= 188923 @ 323.159
355.34/356.46	c GLOBAL bounds - >= 188923 @ 323.206
355.74/356.82	c GLOBAL bounds - >= 188923 @ 323.448
355.84/356.90	c GLOBAL bounds - >= 188923 @ 323.495
356.15/357.26	c GLOBAL bounds - >= 188923 @ 323.745
356.24/357.34	c GLOBAL bounds - >= 188923 @ 323.794
356.54/357.62	c GLOBAL bounds - >= 188923 @ 323.942
356.54/357.69	c GLOBAL bounds - >= 188923 @ 323.993
356.84/357.97	c GLOBAL bounds - >= 188923 @ 324.148
358.13/359.24	c GLOBAL bounds - >= 188923 @ 325.299
359.13/360.21	c GLOBAL bounds - >= 188923 @ 326.143
359.64/360.78	c GLOBAL bounds - >= 188923 @ 326.608
359.73/360.85	c GLOBAL bounds - >= 188923 @ 326.676
359.93/361.00	c GLOBAL bounds - >= 188923 @ 326.809
359.93/361.08	c GLOBAL bounds - >= 188923 @ 326.861
360.04/361.15	c GLOBAL bounds - >= 188923 @ 326.904
360.13/361.23	c GLOBAL bounds - >= 188923 @ 326.945
360.43/361.56	c GLOBAL bounds - >= 188923 @ 327.148
360.53/361.64	c GLOBAL bounds - >= 188923 @ 327.191
360.83/361.96	c GLOBAL bounds - >= 188923 @ 327.389
360.93/362.04	c GLOBAL bounds - >= 188923 @ 327.439
361.32/362.44	c GLOBAL bounds - >= 188923 @ 327.72
361.43/362.52	c GLOBAL bounds - >= 188923 @ 327.774
361.72/362.83	c GLOBAL bounds - >= 188923 @ 327.971
361.83/362.91	c GLOBAL bounds - >= 188923 @ 328.014
362.22/363.30	c GLOBAL bounds - >= 188923 @ 328.266
362.22/363.38	c GLOBAL bounds - >= 188923 @ 328.319
362.62/363.71	c GLOBAL bounds - >= 188923 @ 328.522
362.62/363.79	c GLOBAL bounds - >= 188923 @ 328.572
363.03/364.18	c GLOBAL bounds - >= 188923 @ 328.823
363.12/364.25	c GLOBAL bounds - >= 188923 @ 328.868
363.52/364.64	c GLOBAL bounds - >= 188923 @ 329.125
363.62/364.72	c GLOBAL bounds - >= 188923 @ 329.174
364.02/365.10	c GLOBAL bounds - >= 188923 @ 329.429
364.02/365.18	c GLOBAL bounds - >= 188923 @ 329.487
364.42/365.57	c GLOBAL bounds - >= 188923 @ 329.756
365.51/366.66	c GLOBAL bounds - >= 188923 @ 330.726
367.61/368.71	c GLOBAL bounds - >= 188923 @ 332.636
369.40/370.57	c GLOBAL bounds - >= 188923 @ 334.348
401.91/403.15	c GLOBAL bounds - >= 194735 @ 366.59
402.20/403.49	c GLOBAL bounds - >= 194735 @ 366.902
402.31/403.57	c GLOBAL bounds - >= 194735 @ 366.946
402.41/403.64	c GLOBAL bounds - >= 194735 @ 366.992
402.50/403.72	c GLOBAL bounds - >= 194735 @ 367.036
402.91/404.12	c GLOBAL bounds - >= 194735 @ 367.285
402.91/404.19	c GLOBAL bounds - >= 194735 @ 367.331
403.40/404.60	c GLOBAL bounds - >= 194735 @ 367.57
403.40/404.68	c GLOBAL bounds - >= 194735 @ 367.615
403.81/405.04	c GLOBAL bounds - >= 194735 @ 367.839
403.90/405.11	c GLOBAL bounds - >= 194735 @ 367.882
404.30/405.59	c GLOBAL bounds - >= 194735 @ 368.209
404.40/405.66	c GLOBAL bounds - >= 194735 @ 368.261
404.80/406.04	c GLOBAL bounds - >= 194735 @ 368.512
404.90/406.11	c GLOBAL bounds - >= 194735 @ 368.557
405.29/406.59	c GLOBAL bounds - >= 194735 @ 368.867
405.40/406.67	c GLOBAL bounds - >= 194735 @ 368.916
405.90/407.17	c GLOBAL bounds - >= 194735 @ 369.257
406.00/407.24	c GLOBAL bounds - >= 194735 @ 369.304
406.49/407.70	c GLOBAL bounds - >= 194735 @ 369.605
406.49/407.77	c GLOBAL bounds - >= 194735 @ 369.65
406.90/408.11	c GLOBAL bounds - >= 194735 @ 369.855
406.90/408.19	c GLOBAL bounds - >= 194735 @ 369.91
407.30/408.50	c GLOBAL bounds - >= 194735 @ 370.094
408.49/409.72	c GLOBAL bounds - >= 194735 @ 371.184
408.89/410.15	c GLOBAL bounds - >= 194735 @ 371.516
411.58/412.84	c GLOBAL bounds - >= 194735 @ 373.957
412.08/413.39	c GLOBAL bounds - >= 194735 @ 374.39
413.08/414.33	c GLOBAL bounds - >= 194735 @ 375.188
413.88/415.18	c GLOBAL bounds - >= 194735 @ 375.931
414.58/415.80	c GLOBAL bounds - >= 194735 @ 376.417
418.06/419.39	c GLOBAL bounds - >= 194735 @ 379.784
418.17/419.48	c GLOBAL bounds - >= 194735 @ 379.876
418.36/419.61	c GLOBAL bounds - >= 194735 @ 379.981
418.36/419.69	c GLOBAL bounds - >= 194735 @ 380.038
418.46/419.76	c GLOBAL bounds - >= 194735 @ 380.089
418.56/419.83	c GLOBAL bounds - >= 194735 @ 380.138
418.66/419.91	c GLOBAL bounds - >= 194735 @ 380.186
418.66/419.98	c GLOBAL bounds - >= 194735 @ 380.235
418.77/420.06	c GLOBAL bounds - >= 194735 @ 380.284
419.16/420.40	c GLOBAL bounds - >= 194735 @ 380.499
419.16/420.48	c GLOBAL bounds - >= 194735 @ 380.548
419.56/420.83	c GLOBAL bounds - >= 194735 @ 380.781
419.66/420.91	c GLOBAL bounds - >= 194735 @ 380.829
419.96/421.25	c GLOBAL bounds - >= 194735 @ 381.029
420.06/421.32	c GLOBAL bounds - >= 194735 @ 381.077
420.36/421.66	c GLOBAL bounds - >= 194735 @ 381.294
420.46/421.74	c GLOBAL bounds - >= 194735 @ 381.339
420.76/422.07	c GLOBAL bounds - >= 194735 @ 381.55
420.86/422.15	c GLOBAL bounds - >= 194735 @ 381.602
421.26/422.57	c GLOBAL bounds - >= 194735 @ 381.905
421.36/422.65	c GLOBAL bounds - >= 194735 @ 381.957
421.76/423.07	c GLOBAL bounds - >= 194735 @ 382.236
421.86/423.14	c GLOBAL bounds - >= 194735 @ 382.278
422.15/423.48	c GLOBAL bounds - >= 194735 @ 382.494
422.25/423.56	c GLOBAL bounds - >= 194735 @ 382.542
422.65/423.90	c GLOBAL bounds - >= 194735 @ 382.745
422.65/423.97	c GLOBAL bounds - >= 194735 @ 382.8
423.05/424.31	c GLOBAL bounds - >= 194735 @ 383.007
426.64/427.96	c GLOBAL bounds - >= 194735 @ 386.478
427.33/428.60	c GLOBAL bounds - >= 194735 @ 387.012
432.52/433.84	c #Conflicts:       3000 | #Constraints:    9619753
432.52/433.84	c GLOBAL bounds - >= 194735 @ 392.077
437.90/439.27	c GLOBAL bounds - >= 195883 @ 397.433
438.21/439.52	c GLOBAL bounds - >= 195883 @ 397.652
438.21/439.60	c GLOBAL bounds - >= 195883 @ 397.7
438.31/439.67	c GLOBAL bounds - >= 195883 @ 397.749
438.41/439.74	c GLOBAL bounds - >= 195883 @ 397.789
439.01/440.31	c GLOBAL bounds - >= 195883 @ 398.222
439.01/440.38	c GLOBAL bounds - >= 195883 @ 398.266
439.40/440.79	c GLOBAL bounds - >= 195883 @ 398.542
439.50/440.87	c GLOBAL bounds - >= 195883 @ 398.59
440.00/441.36	c GLOBAL bounds - >= 195883 @ 398.93
440.11/441.44	c GLOBAL bounds - >= 195883 @ 398.981
440.60/441.93	c GLOBAL bounds - >= 195883 @ 399.314
440.71/442.01	c GLOBAL bounds - >= 195883 @ 399.369
441.20/442.51	c GLOBAL bounds - >= 195883 @ 399.722
441.20/442.59	c GLOBAL bounds - >= 195883 @ 399.768
441.70/443.04	c GLOBAL bounds - >= 195883 @ 400.075
441.81/443.12	c GLOBAL bounds - >= 195883 @ 400.125
442.20/443.57	c GLOBAL bounds - >= 195883 @ 400.443
442.30/443.65	c GLOBAL bounds - >= 195883 @ 400.489
442.80/444.11	c GLOBAL bounds - >= 195883 @ 400.799
442.80/444.18	c GLOBAL bounds - >= 195883 @ 400.854
443.29/444.62	c GLOBAL bounds - >= 195883 @ 401.141
443.40/444.70	c GLOBAL bounds - >= 195883 @ 401.191
443.70/445.09	c GLOBAL bounds - >= 195883 @ 401.433
446.08/447.42	c GLOBAL bounds - >= 195883 @ 403.603
451.07/452.41	c GLOBAL bounds - >= 195883 @ 408.424
451.97/453.34	c GLOBAL bounds - >= 195883 @ 409.228
453.37/454.72	c GLOBAL bounds - >= 195883 @ 410.481
457.86/459.26	c GLOBAL bounds - >= 199539 @ 414.959
458.15/459.59	c GLOBAL bounds - >= 199539 @ 415.247
458.26/459.67	c GLOBAL bounds - >= 199539 @ 415.301
458.35/459.74	c GLOBAL bounds - >= 199539 @ 415.348
458.45/459.82	c GLOBAL bounds - >= 199539 @ 415.394
458.45/459.89	c GLOBAL bounds - >= 199539 @ 415.445
459.45/460.84	c GLOBAL bounds - >= 199539 @ 416.198
459.55/460.91	c GLOBAL bounds - >= 199539 @ 416.244
459.95/461.30	c GLOBAL bounds - >= 199539 @ 416.498
459.95/461.38	c GLOBAL bounds - >= 199539 @ 416.547
460.35/461.78	c GLOBAL bounds - >= 199539 @ 416.824
460.44/461.85	c GLOBAL bounds - >= 199539 @ 416.875
460.75/462.19	c GLOBAL bounds - >= 199539 @ 417.077
460.85/462.26	c GLOBAL bounds - >= 199539 @ 417.127
461.15/462.59	c GLOBAL bounds - >= 199539 @ 417.328
461.25/462.67	c GLOBAL bounds - >= 199539 @ 417.377
461.65/463.07	c GLOBAL bounds - >= 199539 @ 417.64
461.75/463.15	c GLOBAL bounds - >= 199539 @ 417.692
462.15/463.54	c GLOBAL bounds - >= 199539 @ 417.96
462.24/463.61	c GLOBAL bounds - >= 199539 @ 418.007
462.64/464.01	c GLOBAL bounds - >= 199539 @ 418.257
462.64/464.09	c GLOBAL bounds - >= 199539 @ 418.302
463.04/464.48	c GLOBAL bounds - >= 199539 @ 418.574
463.14/464.56	c GLOBAL bounds - >= 199539 @ 418.628
463.44/464.89	c GLOBAL bounds - >= 199539 @ 418.85
472.41/473.87	c GLOBAL bounds - >= 199539 @ 427.552
473.32/474.71	c GLOBAL bounds - >= 199539 @ 428.275
477.40/478.88	c GLOBAL bounds - >= 201651 @ 432.355
477.61/479.06	c GLOBAL bounds - >= 201651 @ 432.513
477.70/479.13	c GLOBAL bounds - >= 201651 @ 432.565
477.79/479.21	c GLOBAL bounds - >= 201651 @ 432.609
478.20/479.69	c GLOBAL bounds - >= 201651 @ 432.96
478.30/479.76	c GLOBAL bounds - >= 201651 @ 433.014
478.79/480.24	c GLOBAL bounds - >= 201651 @ 433.348
478.90/480.32	c GLOBAL bounds - >= 201651 @ 433.401
479.30/480.71	c GLOBAL bounds - >= 201651 @ 433.665
479.30/480.78	c GLOBAL bounds - >= 201651 @ 433.705
479.69/481.17	c GLOBAL bounds - >= 201651 @ 433.972
479.79/481.24	c GLOBAL bounds - >= 201651 @ 434.025
480.19/481.61	c GLOBAL bounds - >= 201651 @ 434.282
480.19/481.69	c GLOBAL bounds - >= 201651 @ 434.333
480.69/482.17	c GLOBAL bounds - >= 201651 @ 434.686
480.79/482.25	c GLOBAL bounds - >= 201651 @ 434.738
481.29/482.72	c GLOBAL bounds - >= 201651 @ 435.059
481.29/482.79	c GLOBAL bounds - >= 201651 @ 435.103
481.79/483.25	c GLOBAL bounds - >= 201651 @ 435.431
481.88/483.32	c GLOBAL bounds - >= 201651 @ 435.484
482.28/483.78	c GLOBAL bounds - >= 201651 @ 435.81
482.38/483.86	c GLOBAL bounds - >= 201651 @ 435.855
482.88/484.32	c GLOBAL bounds - >= 201651 @ 436.174
484.58/486.08	c GLOBAL bounds - >= 201651 @ 437.801
486.58/488.08	c GLOBAL bounds - >= 201651 @ 439.663
487.27/488.78	c GLOBAL bounds - >= 201651 @ 440.232
487.37/488.84	c GLOBAL bounds - >= 201651 @ 440.288
487.68/489.11	c GLOBAL bounds - >= 201651 @ 440.532
487.68/489.18	c GLOBAL bounds - >= 201651 @ 440.582
487.77/489.26	c GLOBAL bounds - >= 201651 @ 440.629
487.87/489.33	c GLOBAL bounds - >= 201651 @ 440.672
488.37/489.80	c GLOBAL bounds - >= 201651 @ 441.018
488.37/489.87	c GLOBAL bounds - >= 201651 @ 441.061
488.87/490.34	c GLOBAL bounds - >= 201651 @ 441.401
488.97/490.42	c GLOBAL bounds - >= 201651 @ 441.443
489.37/490.89	c GLOBAL bounds - >= 201651 @ 441.789
489.46/490.96	c GLOBAL bounds - >= 201651 @ 441.83
489.96/491.44	c GLOBAL bounds - >= 201651 @ 442.17
490.06/491.51	c GLOBAL bounds - >= 201651 @ 442.211
490.37/491.89	c GLOBAL bounds - >= 201651 @ 442.46
490.46/491.96	c GLOBAL bounds - >= 201651 @ 442.511
490.86/492.32	c GLOBAL bounds - >= 201651 @ 442.757
490.96/492.40	c GLOBAL bounds - >= 201651 @ 442.805
491.26/492.76	c GLOBAL bounds - >= 201651 @ 443.024
491.36/492.83	c GLOBAL bounds - >= 201651 @ 443.07
491.75/493.27	c GLOBAL bounds - >= 201651 @ 443.378
491.86/493.35	c GLOBAL bounds - >= 201651 @ 443.436
492.25/493.70	c GLOBAL bounds - >= 201651 @ 443.662
492.25/493.78	c GLOBAL bounds - >= 201651 @ 443.715
492.86/494.37	c GLOBAL bounds - >= 201651 @ 444.135
493.36/494.88	c GLOBAL bounds - >= 201651 @ 444.535
494.05/495.52	c GLOBAL bounds - >= 201651 @ 445.053
495.05/496.54	c GLOBAL bounds - >= 201651 @ 445.937
495.05/496.59	c GLOBAL bounds - >= 201651 @ 445.992
495.25/496.71	c GLOBAL bounds - >= 201651 @ 446.089
495.25/496.79	c GLOBAL bounds - >= 201651 @ 446.142
495.35/496.86	c GLOBAL bounds - >= 201651 @ 446.188
495.45/496.93	c GLOBAL bounds - >= 201651 @ 446.239
495.85/497.32	c GLOBAL bounds - >= 201651 @ 446.498
495.85/497.39	c GLOBAL bounds - >= 201651 @ 446.547
496.25/497.77	c GLOBAL bounds - >= 201651 @ 446.797
496.35/497.85	c GLOBAL bounds - >= 201651 @ 446.85
496.74/498.22	c GLOBAL bounds - >= 201651 @ 447.096
496.85/498.30	c GLOBAL bounds - >= 201651 @ 447.141
497.24/498.76	c GLOBAL bounds - >= 201651 @ 447.466
497.35/498.83	c GLOBAL bounds - >= 201651 @ 447.519
498.04/499.53	c GLOBAL bounds - >= 201651 @ 448.036
498.14/499.60	c GLOBAL bounds - >= 201651 @ 448.084
498.44/499.97	c GLOBAL bounds - >= 201651 @ 448.313
498.55/500.05	c GLOBAL bounds - >= 201651 @ 448.364
498.94/500.41	c GLOBAL bounds - >= 201651 @ 448.598
498.94/500.48	c GLOBAL bounds - >= 201651 @ 448.644
499.33/500.85	c GLOBAL bounds - >= 201651 @ 448.88
499.44/500.92	c GLOBAL bounds - >= 201651 @ 448.935
499.73/501.29	c GLOBAL bounds - >= 201651 @ 449.171
499.84/501.37	c GLOBAL bounds - >= 201651 @ 449.218
500.33/501.81	c GLOBAL bounds - >= 201651 @ 449.528
500.74/502.27	c GLOBAL bounds - >= 201651 @ 449.884
501.44/502.99	c GLOBAL bounds - >= 201651 @ 450.494
502.43/503.97	c GLOBAL bounds - >= 201651 @ 451.359
505.53/507.04	c GLOBAL bounds - >= 202799 @ 454.373
505.72/507.25	c GLOBAL bounds - >= 202799 @ 454.554
505.82/507.32	c GLOBAL bounds - >= 202799 @ 454.597
505.82/507.39	c GLOBAL bounds - >= 202799 @ 454.648
505.92/507.46	c GLOBAL bounds - >= 202799 @ 454.697
506.72/508.21	c GLOBAL bounds - >= 202799 @ 455.285
506.72/508.29	c GLOBAL bounds - >= 202799 @ 455.341
507.21/508.73	c GLOBAL bounds - >= 202799 @ 455.628
507.32/508.80	c GLOBAL bounds - >= 202799 @ 455.679
507.82/509.35	c GLOBAL bounds - >= 202799 @ 456.082
507.92/509.42	c GLOBAL bounds - >= 202799 @ 456.135
508.41/509.96	c GLOBAL bounds - >= 202799 @ 456.513
508.52/510.04	c GLOBAL bounds - >= 202799 @ 456.555
509.01/510.57	c GLOBAL bounds - >= 202799 @ 456.941
509.11/510.65	c GLOBAL bounds - >= 202799 @ 456.992
509.52/511.05	c GLOBAL bounds - >= 202799 @ 457.266
509.61/511.13	c GLOBAL bounds - >= 202799 @ 457.32
510.11/511.61	c GLOBAL bounds - >= 202799 @ 457.667
510.11/511.69	c GLOBAL bounds - >= 202799 @ 457.716
510.52/512.06	c GLOBAL bounds - >= 202799 @ 457.964
510.61/512.14	c GLOBAL bounds - >= 202799 @ 458.011
511.01/512.53	c GLOBAL bounds - >= 202799 @ 458.269
511.11/512.60	c GLOBAL bounds - >= 202799 @ 458.317
511.51/513.00	c GLOBAL bounds - >= 202799 @ 458.57
513.00/514.52	c GLOBAL bounds - >= 202799 @ 459.941
514.19/515.78	c GLOBAL bounds - >= 202799 @ 461.08
515.50/517.02	c GLOBAL bounds - >= 202799 @ 462.182
519.08/520.64	c GLOBAL bounds - >= 202799 @ 465.619
519.58/521.16	c GLOBAL bounds - >= 202799 @ 466.019
521.58/523.19	c GLOBAL bounds - >= 202799 @ 467.907
522.37/523.97	c GLOBAL bounds - >= 202799 @ 468.57
527.26/528.84	c GLOBAL bounds - >= 202799 @ 473.238
530.46/532.03	c GLOBAL bounds - >= 202799 @ 476.263
539.53/541.15	c GLOBAL bounds - >= 202799 @ 485.155
548.30/549.94	c GLOBAL bounds - >= 202799 @ 493.704
557.76/559.46	c GLOBAL bounds - >= 202799 @ 502.967
557.86/559.55	c GLOBAL bounds - >= 202799 @ 503.052
557.95/559.68	c GLOBAL bounds - >= 202799 @ 503.162
558.05/559.76	c GLOBAL bounds - >= 202799 @ 503.202
558.15/559.83	c GLOBAL bounds - >= 202799 @ 503.255
558.25/559.91	c GLOBAL bounds - >= 202799 @ 503.307
558.25/559.98	c GLOBAL bounds - >= 202799 @ 503.355
558.35/560.05	c GLOBAL bounds - >= 202799 @ 503.407
558.46/560.13	c GLOBAL bounds - >= 202799 @ 503.456
558.55/560.20	c GLOBAL bounds - >= 202799 @ 503.498
558.55/560.27	c GLOBAL bounds - >= 202799 @ 503.541
558.65/560.34	c GLOBAL bounds - >= 202799 @ 503.588
558.75/560.42	c GLOBAL bounds - >= 202799 @ 503.631
558.75/560.49	c GLOBAL bounds - >= 202799 @ 503.681
560.45/562.14	c GLOBAL bounds - >= 202799 @ 505.157
560.55/562.21	c GLOBAL bounds - >= 202799 @ 505.208
560.94/562.69	c GLOBAL bounds - >= 202799 @ 505.523
561.05/562.76	c GLOBAL bounds - >= 202799 @ 505.576
561.54/563.23	c GLOBAL bounds - >= 202799 @ 505.889
561.64/563.30	c GLOBAL bounds - >= 202799 @ 505.936
562.04/563.76	c GLOBAL bounds - >= 202799 @ 506.23
562.14/563.84	c GLOBAL bounds - >= 202799 @ 506.274
562.54/564.29	c GLOBAL bounds - >= 202799 @ 506.572
562.64/564.37	c GLOBAL bounds - >= 202799 @ 506.621
563.04/564.77	c GLOBAL bounds - >= 202799 @ 506.885
563.13/564.85	c GLOBAL bounds - >= 202799 @ 506.939
563.53/565.23	c GLOBAL bounds - >= 202799 @ 507.191
563.63/565.31	c GLOBAL bounds - >= 202799 @ 507.237
564.03/565.77	c GLOBAL bounds - >= 202799 @ 507.567
564.13/565.85	c GLOBAL bounds - >= 202799 @ 507.609
564.63/566.36	c GLOBAL bounds - >= 202799 @ 507.968
564.73/566.44	c GLOBAL bounds - >= 202799 @ 508.019
565.23/566.91	c GLOBAL bounds - >= 202799 @ 508.34
567.33/569.02	c GLOBAL bounds - >= 202799 @ 510.3
567.92/569.66	c GLOBAL bounds - >= 202799 @ 510.823
570.91/572.62	c GLOBAL bounds - >= 202799 @ 513.646
578.79/580.59	c GLOBAL bounds - >= 202799 @ 521.376
603.38/605.26	c #Conflicts:       4000 | #Constraints:   13995177
603.38/605.26	c GLOBAL bounds - >= 202799 @ 545.498
614.85/616.70	c GLOBAL bounds - >= 202799 @ 556.657
620.63/622.59	c GLOBAL bounds - >= 203445 @ 562.486
620.93/622.81	c GLOBAL bounds - >= 203445 @ 562.675
620.93/622.88	c GLOBAL bounds - >= 203445 @ 562.721
621.03/622.96	c GLOBAL bounds - >= 203445 @ 562.77
621.14/623.03	c GLOBAL bounds - >= 203445 @ 562.828
621.23/623.11	c GLOBAL bounds - >= 203445 @ 562.881
621.23/623.18	c GLOBAL bounds - >= 203445 @ 562.925
621.33/623.26	c GLOBAL bounds - >= 203445 @ 562.977
621.92/623.82	c GLOBAL bounds - >= 203445 @ 563.386
622.02/623.90	c GLOBAL bounds - >= 203445 @ 563.443
622.72/624.68	c GLOBAL bounds - >= 203445 @ 564.051
622.83/624.75	c GLOBAL bounds - >= 203445 @ 564.095
623.32/625.23	c GLOBAL bounds - >= 203445 @ 564.421
623.42/625.30	c GLOBAL bounds - >= 203445 @ 564.477
623.82/625.76	c GLOBAL bounds - >= 203445 @ 564.788
623.92/625.84	c GLOBAL bounds - >= 203445 @ 564.837
624.42/626.32	c GLOBAL bounds - >= 203445 @ 565.174
624.42/626.39	c GLOBAL bounds - >= 203445 @ 565.227
624.81/626.73	c GLOBAL bounds - >= 203445 @ 565.434
624.92/626.81	c GLOBAL bounds - >= 203445 @ 565.482
625.32/627.23	c GLOBAL bounds - >= 203445 @ 565.784
625.42/627.31	c GLOBAL bounds - >= 203445 @ 565.833
625.82/627.76	c GLOBAL bounds - >= 203445 @ 566.167
625.91/627.84	c GLOBAL bounds - >= 203445 @ 566.219
626.32/628.26	c GLOBAL bounds - >= 203445 @ 566.512
626.41/628.34	c GLOBAL bounds - >= 203445 @ 566.564
626.81/628.77	c GLOBAL bounds - >= 203445 @ 566.871
627.41/629.33	c GLOBAL bounds - >= 203445 @ 567.322
627.91/629.81	c GLOBAL bounds - >= 203445 @ 567.702
628.61/630.56	c GLOBAL bounds - >= 203445 @ 568.333
629.31/631.27	c GLOBAL bounds - >= 203445 @ 568.92
654.83/656.83	c INPROCESSING
654.83/656.83	c GARBAGE COLLECT
654.83/656.83	c GLOBAL bounds - >= 203445 @ 594.001
662.90/664.92	c GLOBAL bounds - >= 203445 @ 601.899
689.04/691.11	c GLOBAL bounds - >= 207463 @ 627.797
689.42/691.50	c GLOBAL bounds - >= 207463 @ 628.164
689.42/691.57	c GLOBAL bounds - >= 207463 @ 628.218
689.53/691.65	c GLOBAL bounds - >= 207463 @ 628.261
689.63/691.73	c GLOBAL bounds - >= 207463 @ 628.308
689.73/691.80	c GLOBAL bounds - >= 207463 @ 628.358
689.73/691.88	c GLOBAL bounds - >= 207463 @ 628.41
689.82/691.95	c GLOBAL bounds - >= 207463 @ 628.453
690.72/692.86	c GLOBAL bounds - >= 207463 @ 629.205
690.82/692.93	c GLOBAL bounds - >= 207463 @ 629.253
691.42/693.51	c GLOBAL bounds - >= 207463 @ 629.689
691.42/693.58	c GLOBAL bounds - >= 207463 @ 629.735
691.82/693.99	c GLOBAL bounds - >= 207463 @ 630.014
691.93/694.07	c GLOBAL bounds - >= 207463 @ 630.066
692.42/694.50	c GLOBAL bounds - >= 207463 @ 630.334
692.42/694.57	c GLOBAL bounds - >= 207463 @ 630.385
692.82/694.99	c GLOBAL bounds - >= 207463 @ 630.662
692.93/695.06	c GLOBAL bounds - >= 207463 @ 630.714
693.32/695.46	c GLOBAL bounds - >= 207463 @ 630.948
693.42/695.54	c GLOBAL bounds - >= 207463 @ 630.998
693.81/695.94	c GLOBAL bounds - >= 207463 @ 631.252
693.92/696.02	c GLOBAL bounds - >= 207463 @ 631.307
694.32/696.45	c GLOBAL bounds - >= 207463 @ 631.581
694.41/696.53	c GLOBAL bounds - >= 207463 @ 631.629
694.71/696.90	c GLOBAL bounds - >= 207463 @ 631.855
694.81/696.97	c GLOBAL bounds - >= 207463 @ 631.903
695.21/697.33	c GLOBAL bounds - >= 207463 @ 632.132
695.71/697.84	c GLOBAL bounds - >= 207463 @ 632.544
696.51/698.64	c GLOBAL bounds - >= 207463 @ 633.248
697.70/699.80	c GLOBAL bounds - >= 207463 @ 634.294
719.94/722.17	c GLOBAL bounds - >= 207463 @ 656.293
727.31/729.56	c GLOBAL bounds - >= 208611 @ 663.591
727.51/729.75	c GLOBAL bounds - >= 208611 @ 663.755
727.61/729.83	c GLOBAL bounds - >= 208611 @ 663.809
727.71/729.91	c GLOBAL bounds - >= 208611 @ 663.863
727.71/729.98	c GLOBAL bounds - >= 208611 @ 663.908
727.82/730.05	c GLOBAL bounds - >= 208611 @ 663.957
728.21/730.44	c GLOBAL bounds - >= 208611 @ 664.207
728.31/730.51	c GLOBAL bounds - >= 208611 @ 664.259
728.71/730.90	c GLOBAL bounds - >= 208611 @ 664.519
728.71/730.98	c GLOBAL bounds - >= 208611 @ 664.571
729.11/731.37	c GLOBAL bounds - >= 208611 @ 664.827
729.21/731.44	c GLOBAL bounds - >= 208611 @ 664.876
729.61/731.82	c GLOBAL bounds - >= 208611 @ 665.137
729.70/731.90	c GLOBAL bounds - >= 208611 @ 665.185
730.00/732.28	c GLOBAL bounds - >= 208611 @ 665.446
730.10/732.35	c GLOBAL bounds - >= 208611 @ 665.504
730.61/732.82	c GLOBAL bounds - >= 208611 @ 665.829
730.70/732.90	c GLOBAL bounds - >= 208611 @ 665.875
731.10/733.37	c GLOBAL bounds - >= 208611 @ 666.22
731.20/733.44	c GLOBAL bounds - >= 208611 @ 666.268
731.60/733.88	c GLOBAL bounds - >= 208611 @ 666.575
731.70/733.96	c GLOBAL bounds - >= 208611 @ 666.618
732.10/734.31	c GLOBAL bounds - >= 208611 @ 666.842
732.10/734.39	c GLOBAL bounds - >= 208611 @ 666.884
732.60/734.83	c GLOBAL bounds - >= 208611 @ 667.196
733.59/735.80	c GLOBAL bounds - >= 208611 @ 668.05
734.39/736.68	c GLOBAL bounds - >= 208611 @ 668.815
735.69/737.92	c GLOBAL bounds - >= 208611 @ 669.945
738.88/741.19	c GLOBAL bounds - >= 208611 @ 673.087
740.17/742.41	c GLOBAL bounds - >= 208611 @ 674.184
740.27/742.51	c GLOBAL bounds - >= 208611 @ 674.283
740.47/742.70	c GLOBAL bounds - >= 208611 @ 674.449
740.47/742.78	c GLOBAL bounds - >= 208611 @ 674.492
740.57/742.85	c GLOBAL bounds - >= 208611 @ 674.539
740.68/742.93	c GLOBAL bounds - >= 208611 @ 674.587
740.78/743.00	c GLOBAL bounds - >= 208611 @ 674.648
740.78/743.08	c GLOBAL bounds - >= 208611 @ 674.7
741.27/743.53	c GLOBAL bounds - >= 208611 @ 675.031
741.37/743.61	c GLOBAL bounds - >= 208611 @ 675.084
741.78/744.00	c GLOBAL bounds - >= 208611 @ 675.352
741.78/744.08	c GLOBAL bounds - >= 208611 @ 675.397
742.16/744.48	c GLOBAL bounds - >= 208611 @ 675.669
742.26/744.56	c GLOBAL bounds - >= 208611 @ 675.718
742.67/744.95	c GLOBAL bounds - >= 208611 @ 675.984
742.77/745.03	c GLOBAL bounds - >= 208611 @ 676.029
743.16/745.40	c GLOBAL bounds - >= 208611 @ 676.282
743.16/745.48	c GLOBAL bounds - >= 208611 @ 676.332
743.57/745.84	c GLOBAL bounds - >= 208611 @ 676.563
743.66/745.92	c GLOBAL bounds - >= 208611 @ 676.617
743.96/746.27	c GLOBAL bounds - >= 208611 @ 676.836
744.07/746.35	c GLOBAL bounds - >= 208611 @ 676.886
744.46/746.70	c GLOBAL bounds - >= 208611 @ 677.105
744.46/746.77	c GLOBAL bounds - >= 208611 @ 677.15
744.96/747.22	c GLOBAL bounds - >= 208611 @ 677.457
745.06/747.30	c GLOBAL bounds - >= 208611 @ 677.508
745.46/747.73	c GLOBAL bounds - >= 208611 @ 677.814
745.86/748.13	c GLOBAL bounds - >= 208611 @ 678.118
746.76/749.08	c GLOBAL bounds - >= 208611 @ 678.94
753.14/755.47	c GLOBAL bounds - >= 208611 @ 685.136
755.23/757.53	c GLOBAL bounds - >= 208611 @ 687.075
758.32/760.63	c GLOBAL bounds - >= 208611 @ 690.029
760.31/762.61	c GLOBAL bounds - >= 209985 @ 691.976
760.51/762.86	c GLOBAL bounds - >= 209985 @ 692.207
760.61/762.94	c GLOBAL bounds - >= 209985 @ 692.258
760.71/763.01	c GLOBAL bounds - >= 209985 @ 692.309
760.71/763.09	c GLOBAL bounds - >= 209985 @ 692.359
760.82/763.17	c GLOBAL bounds - >= 209985 @ 692.412
760.91/763.24	c GLOBAL bounds - >= 209985 @ 692.459
761.31/763.68	c GLOBAL bounds - >= 209985 @ 692.77
761.41/763.75	c GLOBAL bounds - >= 209985 @ 692.818
762.00/764.35	c GLOBAL bounds - >= 209985 @ 693.246
762.11/764.43	c GLOBAL bounds - >= 209985 @ 693.292
762.50/764.81	c GLOBAL bounds - >= 209985 @ 693.544
762.50/764.88	c GLOBAL bounds - >= 209985 @ 693.597
763.01/765.32	c GLOBAL bounds - >= 209985 @ 693.876
763.01/765.39	c GLOBAL bounds - >= 209985 @ 693.924
763.40/765.78	c GLOBAL bounds - >= 209985 @ 694.188
763.50/765.86	c GLOBAL bounds - >= 209985 @ 694.243
763.90/766.23	c GLOBAL bounds - >= 209985 @ 694.511
764.01/766.31	c GLOBAL bounds - >= 209985 @ 694.563
764.30/766.69	c GLOBAL bounds - >= 209985 @ 694.816
764.40/766.77	c GLOBAL bounds - >= 209985 @ 694.867
764.80/767.13	c GLOBAL bounds - >= 209985 @ 695.111
764.90/767.21	c GLOBAL bounds - >= 209985 @ 695.158
765.20/767.57	c GLOBAL bounds - >= 209985 @ 695.393
765.30/767.65	c GLOBAL bounds - >= 209985 @ 695.443
765.70/768.02	c GLOBAL bounds - >= 209985 @ 695.687
766.30/768.64	c GLOBAL bounds - >= 209985 @ 696.204
771.58/773.92	c #Conflicts:       5000 | #Constraints:   17098166
771.58/773.92	c GLOBAL bounds - >= 209985 @ 701.323
776.17/778.57	c GLOBAL bounds - >= 209985 @ 705.817
777.57/779.96	c GLOBAL bounds - >= 209985 @ 707.093
778.76/781.18	c GLOBAL bounds - >= 209985 @ 708.195
783.54/785.99	c GLOBAL bounds - >= 209985 @ 712.85
787.23/789.64	c GLOBAL bounds - >= 210165 @ 716.464
787.43/789.80	c GLOBAL bounds - >= 210165 @ 716.599
787.43/789.88	c GLOBAL bounds - >= 210165 @ 716.644
787.53/789.95	c GLOBAL bounds - >= 210165 @ 716.691
787.63/790.02	c GLOBAL bounds - >= 210165 @ 716.738
787.63/790.10	c GLOBAL bounds - >= 210165 @ 716.785
787.74/790.17	c GLOBAL bounds - >= 210165 @ 716.835
787.82/790.25	c GLOBAL bounds - >= 210165 @ 716.883
788.33/790.73	c GLOBAL bounds - >= 210165 @ 717.245
788.43/790.81	c GLOBAL bounds - >= 210165 @ 717.296
788.83/791.26	c GLOBAL bounds - >= 210165 @ 717.587
788.92/791.33	c GLOBAL bounds - >= 210165 @ 717.636
789.43/791.86	c GLOBAL bounds - >= 210165 @ 718.004
789.52/791.94	c GLOBAL bounds - >= 210165 @ 718.05
789.93/792.39	c GLOBAL bounds - >= 210165 @ 718.372
790.02/792.47	c GLOBAL bounds - >= 210165 @ 718.421
790.53/792.93	c GLOBAL bounds - >= 210165 @ 718.76
790.63/793.00	c GLOBAL bounds - >= 210165 @ 718.815
791.03/793.44	c GLOBAL bounds - >= 210165 @ 719.128
791.12/793.52	c GLOBAL bounds - >= 210165 @ 719.173
791.52/793.97	c GLOBAL bounds - >= 210165 @ 719.488
791.62/794.05	c GLOBAL bounds - >= 210165 @ 719.541
792.02/794.47	c GLOBAL bounds - >= 210165 @ 719.797
792.12/794.54	c GLOBAL bounds - >= 210165 @ 719.844
792.62/795.06	c GLOBAL bounds - >= 210165 @ 720.216
792.72/795.14	c GLOBAL bounds - >= 210165 @ 720.262
793.12/795.58	c GLOBAL bounds - >= 210165 @ 720.58
793.62/796.09	c GLOBAL bounds - >= 210165 @ 720.992
794.72/797.17	c GLOBAL bounds - >= 210165 @ 721.957
795.51/797.92	c GLOBAL bounds - >= 210165 @ 722.592
796.21/798.64	c GLOBAL bounds - >= 210165 @ 723.191
797.00/799.44	c GLOBAL bounds - >= 210165 @ 723.882
798.71/801.16	c GLOBAL bounds - >= 210165 @ 725.474
800.09/802.57	c GLOBAL bounds - >= 210361 @ 726.874
800.50/802.99	c GLOBAL bounds - >= 210361 @ 727.199
800.60/803.06	c GLOBAL bounds - >= 210361 @ 727.242
800.70/803.13	c GLOBAL bounds - >= 210361 @ 727.287
800.79/803.21	c GLOBAL bounds - >= 210361 @ 727.34
800.79/803.28	c GLOBAL bounds - >= 210361 @ 727.389
800.89/803.35	c GLOBAL bounds - >= 210361 @ 727.438
800.99/803.43	c GLOBAL bounds - >= 210361 @ 727.484
801.70/804.19	c GLOBAL bounds - >= 210361 @ 728.095
801.80/804.26	c GLOBAL bounds - >= 210361 @ 728.144
802.29/804.70	c GLOBAL bounds - >= 210361 @ 728.438
802.29/804.77	c GLOBAL bounds - >= 210361 @ 728.488
802.79/805.22	c GLOBAL bounds - >= 210361 @ 728.808
802.89/805.30	c GLOBAL bounds - >= 210361 @ 728.857
803.39/805.83	c GLOBAL bounds - >= 210361 @ 729.24
803.49/805.91	c GLOBAL bounds - >= 210361 @ 729.29
803.89/806.31	c GLOBAL bounds - >= 210361 @ 729.553
803.89/806.38	c GLOBAL bounds - >= 210361 @ 729.601
804.39/806.85	c GLOBAL bounds - >= 210361 @ 729.96
804.48/806.93	c GLOBAL bounds - >= 210361 @ 730.007
804.88/807.39	c GLOBAL bounds - >= 210361 @ 730.348
804.99/807.47	c GLOBAL bounds - >= 210361 @ 730.405
805.48/807.92	c GLOBAL bounds - >= 210361 @ 730.707
805.48/807.99	c GLOBAL bounds - >= 210361 @ 730.755
805.98/808.43	c GLOBAL bounds - >= 210361 @ 731.056
806.09/808.51	c GLOBAL bounds - >= 210361 @ 731.103
806.48/808.94	c GLOBAL bounds - >= 210361 @ 731.416
806.98/809.43	c GLOBAL bounds - >= 210361 @ 731.802
807.58/810.01	c GLOBAL bounds - >= 210361 @ 732.259
808.38/810.83	c GLOBAL bounds - >= 210361 @ 732.96
809.28/811.74	c GLOBAL bounds - >= 210361 @ 733.759
813.66/816.13	c GLOBAL bounds - >= 210361 @ 737.99
823.13/825.66	c GLOBAL bounds - >= 210361 @ 747.307
823.24/825.79	c GLOBAL bounds - >= 210361 @ 747.434
823.44/825.96	c GLOBAL bounds - >= 210361 @ 747.589
823.54/826.04	c GLOBAL bounds - >= 210361 @ 747.637
823.64/826.11	c GLOBAL bounds - >= 210361 @ 747.689
823.64/826.18	c GLOBAL bounds - >= 210361 @ 747.738
823.73/826.26	c GLOBAL bounds - >= 210361 @ 747.784
823.83/826.33	c GLOBAL bounds - >= 210361 @ 747.84
824.93/827.43	c GLOBAL bounds - >= 210361 @ 748.802
825.03/827.51	c GLOBAL bounds - >= 210361 @ 748.849
825.53/828.00	c GLOBAL bounds - >= 210361 @ 749.207
825.53/828.08	c GLOBAL bounds - >= 210361 @ 749.258
825.92/828.49	c GLOBAL bounds - >= 210361 @ 749.531
826.03/828.56	c GLOBAL bounds - >= 210361 @ 749.583
826.53/829.06	c GLOBAL bounds - >= 210361 @ 749.955
826.63/829.14	c GLOBAL bounds - >= 210361 @ 750.011
827.13/829.65	c GLOBAL bounds - >= 210361 @ 750.387
827.23/829.73	c GLOBAL bounds - >= 210361 @ 750.439
827.72/830.20	c GLOBAL bounds - >= 210361 @ 750.78
827.72/830.28	c GLOBAL bounds - >= 210361 @ 750.834
828.22/830.74	c GLOBAL bounds - >= 210361 @ 751.161
828.32/830.82	c GLOBAL bounds - >= 210361 @ 751.211
828.82/831.34	c GLOBAL bounds - >= 210361 @ 751.582
828.92/831.42	c GLOBAL bounds - >= 210361 @ 751.63
829.32/831.84	c GLOBAL bounds - >= 210361 @ 751.903
829.42/831.92	c GLOBAL bounds - >= 210361 @ 751.949
829.81/832.37	c GLOBAL bounds - >= 210361 @ 752.26
831.11/833.60	c GLOBAL bounds - >= 210361 @ 753.369
831.61/834.14	c GLOBAL bounds - >= 210361 @ 753.8
832.41/834.98	c GLOBAL bounds - >= 210361 @ 754.517
833.10/835.62	c GLOBAL bounds - >= 210361 @ 755.044
834.51/837.01	c GLOBAL bounds - >= 210361 @ 756.333
837.20/839.79	c GLOBAL bounds - >= 210361 @ 758.982
840.59/843.18	c GLOBAL bounds - >= 210361 @ 762.234
842.58/845.18	c GLOBAL bounds - >= 210361 @ 764.103
843.88/846.47	c GLOBAL bounds - >= 211439 @ 765.372
844.17/846.75	c GLOBAL bounds - >= 211439 @ 765.621
844.28/846.83	c GLOBAL bounds - >= 211439 @ 765.668
844.37/846.90	c GLOBAL bounds - >= 211439 @ 765.721
844.37/846.98	c GLOBAL bounds - >= 211439 @ 765.768
844.48/847.05	c GLOBAL bounds - >= 211439 @ 765.812
844.58/847.12	c GLOBAL bounds - >= 211439 @ 765.86
844.67/847.20	c GLOBAL bounds - >= 211439 @ 765.913
844.67/847.27	c GLOBAL bounds - >= 211439 @ 765.97
844.77/847.35	c GLOBAL bounds - >= 211439 @ 766.02
845.27/847.80	c GLOBAL bounds - >= 211439 @ 766.347
845.27/847.88	c GLOBAL bounds - >= 211439 @ 766.398
845.77/848.37	c GLOBAL bounds - >= 211439 @ 766.742
845.87/848.45	c GLOBAL bounds - >= 211439 @ 766.793
846.26/848.85	c GLOBAL bounds - >= 211439 @ 767.057
846.37/848.92	c GLOBAL bounds - >= 211439 @ 767.103
846.76/849.37	c GLOBAL bounds - >= 211439 @ 767.412
846.86/849.44	c GLOBAL bounds - >= 211439 @ 767.461
847.27/849.89	c GLOBAL bounds - >= 211439 @ 767.795
847.37/849.96	c GLOBAL bounds - >= 211439 @ 767.842
847.86/850.40	c GLOBAL bounds - >= 211439 @ 768.157
847.86/850.48	c GLOBAL bounds - >= 211439 @ 768.206
848.36/850.91	c GLOBAL bounds - >= 211439 @ 768.498
848.36/850.99	c GLOBAL bounds - >= 211439 @ 768.552
848.87/851.42	c GLOBAL bounds - >= 211439 @ 768.853
848.87/851.49	c GLOBAL bounds - >= 211439 @ 768.902
849.36/851.92	c GLOBAL bounds - >= 211439 @ 769.218
849.36/852.00	c GLOBAL bounds - >= 211439 @ 769.265
849.86/852.47	c GLOBAL bounds - >= 211439 @ 769.601
850.76/853.38	c GLOBAL bounds - >= 211439 @ 770.4
858.84/861.40	c GLOBAL bounds - >= 211439 @ 778.24
877.38/880.07	c GLOBAL bounds - >= 214785 @ 796.725
877.87/880.54	c GLOBAL bounds - >= 214785 @ 797.138
877.97/880.61	c GLOBAL bounds - >= 214785 @ 797.186
877.97/880.69	c GLOBAL bounds - >= 214785 @ 797.236
878.77/881.45	c GLOBAL bounds - >= 214785 @ 797.839
878.87/881.52	c GLOBAL bounds - >= 214785 @ 797.889
879.38/882.03	c GLOBAL bounds - >= 214785 @ 798.226
879.47/882.10	c GLOBAL bounds - >= 214785 @ 798.276
879.87/882.57	c GLOBAL bounds - >= 214785 @ 798.596
879.97/882.65	c GLOBAL bounds - >= 214785 @ 798.646
880.67/883.30	c GLOBAL bounds - >= 214785 @ 799.147
880.67/883.37	c GLOBAL bounds - >= 214785 @ 799.195
881.06/883.75	c GLOBAL bounds - >= 214785 @ 799.45
881.17/883.83	c GLOBAL bounds - >= 214785 @ 799.506
881.57/884.24	c GLOBAL bounds - >= 214785 @ 799.759
881.67/884.31	c GLOBAL bounds - >= 214785 @ 799.807
882.06/884.72	c GLOBAL bounds - >= 214785 @ 800.062
882.16/884.80	c GLOBAL bounds - >= 214785 @ 800.119
882.56/885.26	c GLOBAL bounds - >= 214785 @ 800.44
882.66/885.34	c GLOBAL bounds - >= 214785 @ 800.485
883.06/885.70	c GLOBAL bounds - >= 214785 @ 800.732
883.06/885.78	c GLOBAL bounds - >= 214785 @ 800.782
883.56/886.24	c GLOBAL bounds - >= 214785 @ 801.106
884.06/886.74	c GLOBAL bounds - >= 214785 @ 801.509
884.66/887.34	c GLOBAL bounds - >= 214785 @ 802.004
885.15/887.85	c GLOBAL bounds - >= 214785 @ 802.405
886.85/889.50	c GLOBAL bounds - >= 214785 @ 803.934
904.19/906.94	c GLOBAL bounds - >= 214785 @ 821.027
904.99/907.75	c GLOBAL bounds - >= 214785 @ 821.731
908.28/911.05	c GLOBAL bounds - >= 214789 @ 824.985
908.49/911.25	c GLOBAL bounds - >= 214789 @ 825.155
908.58/911.33	c GLOBAL bounds - >= 214789 @ 825.2
908.68/911.40	c GLOBAL bounds - >= 214789 @ 825.249
908.68/911.48	c GLOBAL bounds - >= 214789 @ 825.299
908.79/911.55	c GLOBAL bounds - >= 214789 @ 825.354
908.88/911.63	c GLOBAL bounds - >= 214789 @ 825.404
908.98/911.70	c GLOBAL bounds - >= 214789 @ 825.451
909.48/912.23	c GLOBAL bounds - >= 214789 @ 825.801
909.58/912.31	c GLOBAL bounds - >= 214789 @ 825.849
909.88/912.68	c GLOBAL bounds - >= 214789 @ 826.091
909.98/912.75	c GLOBAL bounds - >= 214789 @ 826.139
910.38/913.19	c GLOBAL bounds - >= 214789 @ 826.442
910.47/913.26	c GLOBAL bounds - >= 214789 @ 826.495
910.98/913.71	c GLOBAL bounds - >= 214789 @ 826.817
910.98/913.78	c GLOBAL bounds - >= 214789 @ 826.867
911.47/914.21	c GLOBAL bounds - >= 214789 @ 827.155
911.47/914.28	c GLOBAL bounds - >= 214789 @ 827.21
911.97/914.71	c GLOBAL bounds - >= 214789 @ 827.499
911.97/914.79	c GLOBAL bounds - >= 214789 @ 827.548
912.47/915.22	c GLOBAL bounds - >= 214789 @ 827.852
912.47/915.29	c GLOBAL bounds - >= 214789 @ 827.903
912.87/915.63	c GLOBAL bounds - >= 214789 @ 828.114
912.97/915.71	c GLOBAL bounds - >= 214789 @ 828.161
913.28/916.04	c GLOBAL bounds - >= 214789 @ 828.37
913.38/916.11	c GLOBAL bounds - >= 214789 @ 828.416
913.77/916.54	c GLOBAL bounds - >= 214789 @ 828.722
914.96/917.79	c GLOBAL bounds - >= 214789 @ 829.851
917.16/919.99	c GLOBAL bounds - >= 214789 @ 831.911
917.96/920.80	c GLOBAL bounds - >= 214789 @ 832.594
932.22/935.03	c GLOBAL bounds - >= 214789 @ 846.52
941.88/944.79	c GLOBAL bounds - >= 214789 @ 856.041
944.18/947.07	c GLOBAL bounds - >= 215527 @ 858.281
944.47/947.31	c GLOBAL bounds - >= 215527 @ 858.496
944.47/947.38	c GLOBAL bounds - >= 215527 @ 858.542
944.57/947.45	c GLOBAL bounds - >= 215527 @ 858.595
944.68/947.53	c GLOBAL bounds - >= 215527 @ 858.644
944.77/947.60	c GLOBAL bounds - >= 215527 @ 858.693
944.77/947.68	c GLOBAL bounds - >= 215527 @ 858.741
945.57/948.47	c GLOBAL bounds - >= 215527 @ 859.394
945.67/948.55	c GLOBAL bounds - >= 215527 @ 859.439
946.17/949.09	c GLOBAL bounds - >= 215527 @ 859.819
946.27/949.16	c GLOBAL bounds - >= 215527 @ 859.865
946.77/949.61	c GLOBAL bounds - >= 215527 @ 860.174
946.77/949.69	c GLOBAL bounds - >= 215527 @ 860.222
947.37/950.27	c GLOBAL bounds - >= 215527 @ 860.663
947.47/950.35	c GLOBAL bounds - >= 215527 @ 860.719
947.96/950.85	c GLOBAL bounds - >= 215527 @ 861.093
948.06/950.93	c GLOBAL bounds - >= 215527 @ 861.143
948.47/951.33	c GLOBAL bounds - >= 215527 @ 861.43
948.56/951.41	c GLOBAL bounds - >= 215527 @ 861.48
949.06/951.90	c GLOBAL bounds - >= 215527 @ 861.841
949.06/951.98	c GLOBAL bounds - >= 215527 @ 861.894
949.56/952.49	c GLOBAL bounds - >= 215527 @ 862.254
949.66/952.56	c GLOBAL bounds - >= 215527 @ 862.301
950.16/953.06	c GLOBAL bounds - >= 215527 @ 862.651
950.25/953.13	c GLOBAL bounds - >= 215527 @ 862.702
950.64/953.51	c GLOBAL bounds - >= 215527 @ 862.959
951.25/954.16	c GLOBAL bounds - >= 215527 @ 863.48
952.84/955.71	c #Conflicts:       6000 | #Constraints:   21597046
952.84/955.71	c GLOBAL bounds - >= 215527 @ 864.907
954.94/957.80	c GLOBAL bounds - >= 215527 @ 866.859
964.81/967.76	c GLOBAL bounds - >= 215527 @ 876.588
969.29/972.27	c GLOBAL bounds - >= 215527 @ 880.923
973.19/976.18	c GLOBAL bounds - >= 216173 @ 884.784
973.38/976.38	c GLOBAL bounds - >= 216173 @ 884.957
973.48/976.45	c GLOBAL bounds - >= 216173 @ 885.004
973.58/976.52	c GLOBAL bounds - >= 216173 @ 885.054
973.58/976.59	c GLOBAL bounds - >= 216173 @ 885.099
973.68/976.67	c GLOBAL bounds - >= 216173 @ 885.143
973.77/976.74	c GLOBAL bounds - >= 216173 @ 885.191
974.48/977.40	c GLOBAL bounds - >= 216173 @ 885.69
974.48/977.48	c GLOBAL bounds - >= 216173 @ 885.75
974.97/977.96	c GLOBAL bounds - >= 216173 @ 886.07
975.08/978.03	c GLOBAL bounds - >= 216173 @ 886.119
975.47/978.45	c GLOBAL bounds - >= 216173 @ 886.412
975.57/978.53	c GLOBAL bounds - >= 216173 @ 886.465
975.97/978.96	c GLOBAL bounds - >= 216173 @ 886.76
976.08/979.04	c GLOBAL bounds - >= 216173 @ 886.819
976.57/979.50	c GLOBAL bounds - >= 216173 @ 887.145
976.57/979.58	c GLOBAL bounds - >= 216173 @ 887.195
976.97/979.98	c GLOBAL bounds - >= 216173 @ 887.428
977.08/980.05	c GLOBAL bounds - >= 216173 @ 887.477
977.46/980.42	c GLOBAL bounds - >= 216173 @ 887.71
977.46/980.50	c GLOBAL bounds - >= 216173 @ 887.756
977.97/980.94	c GLOBAL bounds - >= 216173 @ 888.068
978.07/981.01	c GLOBAL bounds - >= 216173 @ 888.12
978.46/981.46	c GLOBAL bounds - >= 216173 @ 888.439
978.57/981.54	c GLOBAL bounds - >= 216173 @ 888.485
978.96/981.98	c GLOBAL bounds - >= 216173 @ 888.8
979.46/982.46	c GLOBAL bounds - >= 216173 @ 889.178
980.26/983.27	c GLOBAL bounds - >= 216173 @ 889.873
981.35/984.34	c GLOBAL bounds - >= 216173 @ 890.824
982.96/985.91	c GLOBAL bounds - >= 216173 @ 892.274
983.55/986.56	c GLOBAL bounds - >= 216173 @ 892.822
984.65/987.63	c GLOBAL bounds - >= 216173 @ 893.762
993.52/996.53	c GLOBAL bounds - >= 216173 @ 902.418
1010.77/1013.84	c GLOBAL bounds - >= 216173 @ 919.384
1017.06/1020.16	c GLOBAL bounds - >= 217793 @ 925.587
1017.35/1020.42	c GLOBAL bounds - >= 217793 @ 925.814
1017.45/1020.50	c GLOBAL bounds - >= 217793 @ 925.862
1017.45/1020.57	c GLOBAL bounds - >= 217793 @ 925.915
1017.55/1020.65	c GLOBAL bounds - >= 217793 @ 925.963
1017.65/1020.72	c GLOBAL bounds - >= 217793 @ 926.009
1017.75/1020.80	c GLOBAL bounds - >= 217793 @ 926.055
1017.75/1020.87	c GLOBAL bounds - >= 217793 @ 926.104
1017.85/1020.95	c GLOBAL bounds - >= 217793 @ 926.146
1017.96/1021.03	c GLOBAL bounds - >= 217793 @ 926.194
1018.85/1021.98	c GLOBAL bounds - >= 217793 @ 926.985
1018.95/1022.06	c GLOBAL bounds - >= 217793 @ 927.045
1019.45/1022.53	c GLOBAL bounds - >= 217793 @ 927.367
1019.55/1022.61	c GLOBAL bounds - >= 217793 @ 927.421
1019.95/1023.07	c GLOBAL bounds - >= 217793 @ 927.734
1020.04/1023.15	c GLOBAL bounds - >= 217793 @ 927.778
1020.54/1023.64	c GLOBAL bounds - >= 217793 @ 928.116
1020.64/1023.72	c GLOBAL bounds - >= 217793 @ 928.169
1021.04/1024.11	c GLOBAL bounds - >= 217793 @ 928.425
1021.04/1024.19	c GLOBAL bounds - >= 217793 @ 928.472
1021.44/1024.57	c GLOBAL bounds - >= 217793 @ 928.726
1021.54/1024.65	c GLOBAL bounds - >= 217793 @ 928.779
1021.94/1025.02	c GLOBAL bounds - >= 217793 @ 929.031
1021.94/1025.09	c GLOBAL bounds - >= 217793 @ 929.075
1022.33/1025.47	c GLOBAL bounds - >= 217793 @ 929.319
1022.44/1025.55	c GLOBAL bounds - >= 217793 @ 929.367
1022.84/1025.92	c GLOBAL bounds - >= 217793 @ 929.599
1022.94/1026.00	c GLOBAL bounds - >= 217793 @ 929.65
1023.44/1026.54	c GLOBAL bounds - >= 217793 @ 930.007
1024.04/1027.16	c GLOBAL bounds - >= 217793 @ 930.507
1025.32/1028.48	c GLOBAL bounds - >= 217793 @ 931.662
1028.22/1031.37	c GLOBAL bounds - >= 217793 @ 934.361
1028.82/1031.97	c GLOBAL bounds - >= 217793 @ 934.846
1038.69/1041.81	c GLOBAL bounds - >= 217793 @ 944.358
1040.29/1043.40	c GLOBAL bounds - >= 217793 @ 945.832
1098.91/1102.27	c INPROCESSING
1098.91/1102.27	c GARBAGE COLLECT
1098.91/1102.27	c GLOBAL bounds - >= 217793 @ 1003.55
1100.81/1104.15	c GLOBAL bounds - >= 218355 @ 1005.41
1101.00/1104.35	c GLOBAL bounds - >= 218355 @ 1005.59
1101.10/1104.42	c GLOBAL bounds - >= 218355 @ 1005.63
1101.19/1104.50	c GLOBAL bounds - >= 218355 @ 1005.69
1101.19/1104.57	c GLOBAL bounds - >= 218355 @ 1005.73
1101.30/1104.64	c GLOBAL bounds - >= 218355 @ 1005.77
1101.40/1104.72	c GLOBAL bounds - >= 218355 @ 1005.83
1101.40/1104.79	c GLOBAL bounds - >= 218355 @ 1005.88
1101.50/1104.87	c GLOBAL bounds - >= 218355 @ 1005.93
1101.99/1105.36	c GLOBAL bounds - >= 218355 @ 1006.27
1102.09/1105.43	c GLOBAL bounds - >= 218355 @ 1006.33
1102.59/1105.94	c GLOBAL bounds - >= 218355 @ 1006.71
1102.70/1106.01	c GLOBAL bounds - >= 218355 @ 1006.75
1103.09/1106.42	c GLOBAL bounds - >= 218355 @ 1007.03
1103.19/1106.50	c GLOBAL bounds - >= 218355 @ 1007.08
1103.59/1106.98	c GLOBAL bounds - >= 218355 @ 1007.41
1103.69/1107.06	c GLOBAL bounds - >= 218355 @ 1007.46
1104.19/1107.51	c GLOBAL bounds - >= 218355 @ 1007.78
1104.19/1107.58	c GLOBAL bounds - >= 218355 @ 1007.82
1104.69/1108.04	c GLOBAL bounds - >= 218355 @ 1008.16
1104.79/1108.11	c GLOBAL bounds - >= 218355 @ 1008.21
1105.19/1108.57	c GLOBAL bounds - >= 218355 @ 1008.52
1105.29/1108.65	c GLOBAL bounds - >= 218355 @ 1008.57
1105.79/1109.10	c GLOBAL bounds - >= 218355 @ 1008.89
1105.79/1109.18	c GLOBAL bounds - >= 218355 @ 1008.94
1106.28/1109.64	c GLOBAL bounds - >= 218355 @ 1009.27
1106.39/1109.72	c GLOBAL bounds - >= 218355 @ 1009.32
1106.69/1110.08	c GLOBAL bounds - >= 218355 @ 1009.57
1108.38/1111.73	c GLOBAL bounds - >= 218355 @ 1011.08
1109.58/1112.99	c GLOBAL bounds - >= 218355 @ 1012.19
1117.93/1121.38	c GLOBAL bounds - >= 218355 @ 1020.37
1120.63/1124.02	c GLOBAL bounds - >= 218355 @ 1022.88
1121.12/1124.53	c GLOBAL bounds - >= 218355 @ 1023.29
1121.63/1125.01	c GLOBAL bounds - >= 218355 @ 1023.65
1121.73/1125.12	c GLOBAL bounds - >= 218355 @ 1023.76
1121.92/1125.32	c GLOBAL bounds - >= 218355 @ 1023.93
1121.92/1125.39	c GLOBAL bounds - >= 218355 @ 1023.98
1122.02/1125.47	c GLOBAL bounds - >= 218355 @ 1024.03
1122.12/1125.54	c GLOBAL bounds - >= 218355 @ 1024.07
1122.22/1125.61	c GLOBAL bounds - >= 218355 @ 1024.12
1122.22/1125.69	c GLOBAL bounds - >= 218355 @ 1024.17
1122.32/1125.76	c GLOBAL bounds - >= 218355 @ 1024.23
1122.72/1126.13	c GLOBAL bounds - >= 218355 @ 1024.45
1122.82/1126.20	c GLOBAL bounds - >= 218355 @ 1024.5
1123.12/1126.56	c GLOBAL bounds - >= 218355 @ 1024.74
1123.22/1126.64	c GLOBAL bounds - >= 218355 @ 1024.78
1123.62/1127.08	c GLOBAL bounds - >= 218355 @ 1025.1
1123.72/1127.16	c GLOBAL bounds - >= 218355 @ 1025.15
1124.21/1127.61	c GLOBAL bounds - >= 218355 @ 1025.48
1124.21/1127.69	c GLOBAL bounds - >= 218355 @ 1025.53
1124.72/1128.13	c GLOBAL bounds - >= 218355 @ 1025.87
1124.81/1128.21	c GLOBAL bounds - >= 218355 @ 1025.92
1125.21/1128.64	c GLOBAL bounds - >= 218355 @ 1026.24
1125.31/1128.72	c GLOBAL bounds - >= 218355 @ 1026.29
1125.62/1129.07	c GLOBAL bounds - >= 218355 @ 1026.51
1125.72/1129.14	c GLOBAL bounds - >= 218355 @ 1026.56
1126.11/1129.50	c GLOBAL bounds - >= 218355 @ 1026.79
1126.11/1129.57	c GLOBAL bounds - >= 218355 @ 1026.84
1126.51/1129.93	c GLOBAL bounds - >= 218355 @ 1027.07
1126.61/1130.00	c GLOBAL bounds - >= 218355 @ 1027.12
1126.91/1130.37	c GLOBAL bounds - >= 218355 @ 1027.37
1130.50/1133.97	c GLOBAL bounds - >= 218355 @ 1030.81
1131.70/1135.15	c GLOBAL bounds - >= 218355 @ 1031.68
1132.29/1135.74	c GLOBAL bounds - >= 218355 @ 1032.18
1140.47/1143.92	c #Conflicts:       7000 | #Constraints:   24312963
1140.47/1143.92	c GLOBAL bounds - >= 218355 @ 1040.16
1141.16/1144.64	c GLOBAL bounds - >= 218355 @ 1040.75
1141.77/1145.26	c GLOBAL bounds - >= 218355 @ 1041.25
1141.86/1145.38	c GLOBAL bounds - >= 218355 @ 1041.37
1142.06/1145.56	c GLOBAL bounds - >= 218355 @ 1041.53
1142.16/1145.63	c GLOBAL bounds - >= 218355 @ 1041.57
1142.26/1145.70	c GLOBAL bounds - >= 218355 @ 1041.62
1142.26/1145.78	c GLOBAL bounds - >= 218355 @ 1041.67
1142.36/1145.85	c GLOBAL bounds - >= 218355 @ 1041.72
1142.46/1145.93	c GLOBAL bounds - >= 218355 @ 1041.76
1142.56/1146.00	c GLOBAL bounds - >= 218355 @ 1041.81
1142.96/1146.42	c GLOBAL bounds - >= 218355 @ 1042.11
1143.06/1146.50	c GLOBAL bounds - >= 218355 @ 1042.16
1143.46/1146.90	c GLOBAL bounds - >= 218355 @ 1042.44
1143.46/1146.97	c GLOBAL bounds - >= 218355 @ 1042.49
1143.86/1147.37	c GLOBAL bounds - >= 218355 @ 1042.78
1143.96/1147.45	c GLOBAL bounds - >= 218355 @ 1042.83
1144.35/1147.85	c GLOBAL bounds - >= 218355 @ 1043.11
1144.46/1147.93	c GLOBAL bounds - >= 218355 @ 1043.16
1144.76/1148.29	c GLOBAL bounds - >= 218355 @ 1043.41
1144.86/1148.37	c GLOBAL bounds - >= 218355 @ 1043.47
1145.75/1149.20	c GLOBAL bounds - >= 218355 @ 1043.97
1145.75/1149.28	c GLOBAL bounds - >= 218355 @ 1044.02
1146.04/1149.55	c GLOBAL bounds - >= 218355 @ 1044.17
1146.14/1149.63	c GLOBAL bounds - >= 218355 @ 1044.22
1146.54/1150.01	c GLOBAL bounds - >= 218355 @ 1044.48
1146.54/1150.09	c GLOBAL bounds - >= 218355 @ 1044.53
1146.83/1150.37	c GLOBAL bounds - >= 218355 @ 1044.68
1146.94/1150.44	c GLOBAL bounds - >= 218355 @ 1044.73
1147.24/1150.72	c GLOBAL bounds - >= 218355 @ 1044.9
1149.22/1152.79	c GLOBAL bounds - >= 218355 @ 1046.84
1152.20/1155.70	c GLOBAL bounds - >= 218355 @ 1049.6
1153.70/1157.24	c GLOBAL bounds - >= 218355 @ 1051.01
1155.50/1159.09	c GLOBAL bounds - >= 218355 @ 1052.72
1156.99/1160.58	c GLOBAL bounds - >= 218355 @ 1054.1
1163.47/1167.01	c GLOBAL bounds - >= 218355 @ 1060.33
1167.46/1171.01	c GLOBAL bounds - >= 218355 @ 1064.19
1168.15/1171.73	c GLOBAL bounds - >= 218355 @ 1064.8
1180.50/1184.13	c GLOBAL bounds - >= 219179 @ 1077.07
1180.79/1184.49	c GLOBAL bounds - >= 219179 @ 1077.4
1180.89/1184.57	c GLOBAL bounds - >= 219179 @ 1077.45
1180.98/1184.64	c GLOBAL bounds - >= 219179 @ 1077.5
1181.09/1184.72	c GLOBAL bounds - >= 219179 @ 1077.55
1181.09/1184.79	c GLOBAL bounds - >= 219179 @ 1077.6
1181.19/1184.86	c GLOBAL bounds - >= 219179 @ 1077.65
1181.29/1184.94	c GLOBAL bounds - >= 219179 @ 1077.7
1181.40/1185.01	c GLOBAL bounds - >= 219179 @ 1077.75
1181.40/1185.09	c GLOBAL bounds - >= 219179 @ 1077.8
1183.68/1187.37	c GLOBAL bounds - >= 219179 @ 1079.93
1183.78/1187.45	c GLOBAL bounds - >= 219179 @ 1079.98
1184.18/1187.88	c GLOBAL bounds - >= 219179 @ 1080.29
1184.28/1187.96	c GLOBAL bounds - >= 219179 @ 1080.34
1184.78/1188.40	c GLOBAL bounds - >= 219179 @ 1080.65
1184.78/1188.47	c GLOBAL bounds - >= 219179 @ 1080.7
1185.27/1188.99	c GLOBAL bounds - >= 219179 @ 1081.06
1185.38/1189.06	c GLOBAL bounds - >= 219179 @ 1081.1
1185.88/1189.52	c GLOBAL bounds - >= 219179 @ 1081.43
1185.97/1189.60	c GLOBAL bounds - >= 219179 @ 1081.47
1186.38/1190.03	c GLOBAL bounds - >= 219179 @ 1081.77
1186.48/1190.10	c GLOBAL bounds - >= 219179 @ 1081.81
1186.87/1190.51	c GLOBAL bounds - >= 219179 @ 1082.07
1186.87/1190.59	c GLOBAL bounds - >= 219179 @ 1082.12
1187.27/1190.97	c GLOBAL bounds - >= 219179 @ 1082.39
1187.37/1191.05	c GLOBAL bounds - >= 219179 @ 1082.44
1187.77/1191.44	c GLOBAL bounds - >= 219179 @ 1082.7
1187.87/1191.52	c GLOBAL bounds - >= 219179 @ 1082.74
1188.27/1191.91	c GLOBAL bounds - >= 219179 @ 1083
1189.37/1193.09	c GLOBAL bounds - >= 219179 @ 1084.05
1190.26/1193.99	c GLOBAL bounds - >= 219179 @ 1084.83
1191.46/1195.16	c GLOBAL bounds - >= 219179 @ 1085.89
1212.19/1215.91	c GLOBAL bounds - >= 219179 @ 1106.31
1213.79/1217.54	c GLOBAL bounds - >= 219179 @ 1107.78
1223.95/1227.77	c GLOBAL bounds - >= 219877 @ 1117.87
1224.26/1228.08	c GLOBAL bounds - >= 219877 @ 1118.09
1224.36/1228.16	c GLOBAL bounds - >= 219877 @ 1118.15
1224.45/1228.23	c GLOBAL bounds - >= 219877 @ 1118.2
1224.55/1228.31	c GLOBAL bounds - >= 219877 @ 1118.25
1224.55/1228.38	c GLOBAL bounds - >= 219877 @ 1118.3
1225.35/1229.12	c GLOBAL bounds - >= 219877 @ 1118.87
1225.45/1229.20	c GLOBAL bounds - >= 219877 @ 1118.92
1225.95/1229.78	c GLOBAL bounds - >= 219877 @ 1119.35
1226.05/1229.86	c GLOBAL bounds - >= 219877 @ 1119.4
1226.54/1230.36	c GLOBAL bounds - >= 219877 @ 1119.72
1226.64/1230.43	c GLOBAL bounds - >= 219877 @ 1119.77
1227.25/1231.02	c GLOBAL bounds - >= 219877 @ 1120.2
1227.25/1231.10	c GLOBAL bounds - >= 219877 @ 1120.25
1227.84/1231.66	c GLOBAL bounds - >= 219877 @ 1120.66
1227.94/1231.74	c GLOBAL bounds - >= 219877 @ 1120.71
1228.44/1232.29	c GLOBAL bounds - >= 219877 @ 1121.09
1228.53/1232.37	c GLOBAL bounds - >= 219877 @ 1121.14
1229.04/1232.88	c GLOBAL bounds - >= 219877 @ 1121.5
1229.14/1232.96	c GLOBAL bounds - >= 219877 @ 1121.56
1229.63/1233.43	c GLOBAL bounds - >= 219877 @ 1121.9
1229.74/1233.50	c GLOBAL bounds - >= 219877 @ 1121.95
1230.04/1233.88	c GLOBAL bounds - >= 219877 @ 1122.21
1230.13/1233.96	c GLOBAL bounds - >= 219877 @ 1122.25
1230.53/1234.34	c GLOBAL bounds - >= 219877 @ 1122.5
1236.72/1240.57	c GLOBAL bounds - >= 219877 @ 1128.54
1240.21/1244.03	c GLOBAL bounds - >= 219877 @ 1131.85
1242.50/1246.36	c GLOBAL bounds - >= 219877 @ 1134.04
1250.17/1254.02	c GLOBAL bounds - >= 219877 @ 1141.52
1252.17/1256.03	c GLOBAL bounds - >= 219877 @ 1143.39
1257.85/1261.76	c GLOBAL bounds - >= 221339 @ 1149.05
1258.35/1262.24	c GLOBAL bounds - >= 221339 @ 1149.46
1258.45/1262.31	c GLOBAL bounds - >= 221339 @ 1149.5
1258.45/1262.39	c GLOBAL bounds - >= 221339 @ 1149.55
1258.55/1262.46	c GLOBAL bounds - >= 221339 @ 1149.6
1258.64/1262.53	c GLOBAL bounds - >= 221339 @ 1149.65
1258.74/1262.61	c GLOBAL bounds - >= 221339 @ 1149.69
1259.55/1263.46	c GLOBAL bounds - >= 221339 @ 1150.4
1259.65/1263.53	c GLOBAL bounds - >= 221339 @ 1150.45
1260.25/1264.14	c GLOBAL bounds - >= 221339 @ 1150.88
1260.34/1264.21	c GLOBAL bounds - >= 221339 @ 1150.93
1261.04/1264.99	c GLOBAL bounds - >= 221339 @ 1151.47
1261.14/1265.07	c GLOBAL bounds - >= 221339 @ 1151.52
1261.64/1265.58	c GLOBAL bounds - >= 221339 @ 1151.87
1261.74/1265.65	c GLOBAL bounds - >= 221339 @ 1151.92
1262.14/1266.09	c GLOBAL bounds - >= 221339 @ 1152.23
1262.24/1266.16	c GLOBAL bounds - >= 221339 @ 1152.27
1262.73/1266.68	c GLOBAL bounds - >= 221339 @ 1152.66
1262.83/1266.76	c GLOBAL bounds - >= 221339 @ 1152.71
1263.24/1267.19	c GLOBAL bounds - >= 221339 @ 1153.01
1263.34/1267.27	c GLOBAL bounds - >= 221339 @ 1153.05
1263.83/1267.70	c GLOBAL bounds - >= 221339 @ 1153.36
1263.83/1267.78	c GLOBAL bounds - >= 221339 @ 1153.42
1264.53/1268.41	c GLOBAL bounds - >= 221339 @ 1153.89
1264.53/1268.48	c GLOBAL bounds - >= 221339 @ 1153.93
1264.93/1268.89	c GLOBAL bounds - >= 221339 @ 1154.21
1265.62/1269.59	c GLOBAL bounds - >= 221339 @ 1154.78
1271.41/1275.31	c GLOBAL bounds - >= 221339 @ 1160.31
1272.01/1275.98	c GLOBAL bounds - >= 223089 @ 1160.97
1272.31/1276.27	c GLOBAL bounds - >= 223089 @ 1161.23
1272.40/1276.34	c GLOBAL bounds - >= 223089 @ 1161.29
1272.51/1276.42	c GLOBAL bounds - >= 223089 @ 1161.33
1273.61/1277.51	c GLOBAL bounds - >= 223089 @ 1162.27
1273.61/1277.59	c GLOBAL bounds - >= 223089 @ 1162.32
1274.10/1278.09	c GLOBAL bounds - >= 223089 @ 1162.68
1274.20/1278.17	c GLOBAL bounds - >= 223089 @ 1162.74
1274.70/1278.69	c GLOBAL bounds - >= 223089 @ 1163.09
1274.80/1278.76	c GLOBAL bounds - >= 223089 @ 1163.14
1275.30/1279.29	c GLOBAL bounds - >= 223089 @ 1163.5
1275.40/1279.37	c GLOBAL bounds - >= 223089 @ 1163.55
1275.90/1279.88	c GLOBAL bounds - >= 223089 @ 1163.91
1275.99/1279.96	c GLOBAL bounds - >= 223089 @ 1163.95
1276.59/1280.54	c GLOBAL bounds - >= 223089 @ 1164.37
1276.70/1280.62	c GLOBAL bounds - >= 223089 @ 1164.41
1277.20/1281.10	c GLOBAL bounds - >= 223089 @ 1164.75
1277.20/1281.18	c GLOBAL bounds - >= 223089 @ 1164.8
1277.69/1281.62	c GLOBAL bounds - >= 223089 @ 1165.11
1277.69/1281.69	c GLOBAL bounds - >= 223089 @ 1165.16
1278.20/1282.13	c GLOBAL bounds - >= 223089 @ 1165.47
1278.29/1282.21	c GLOBAL bounds - >= 223089 @ 1165.53
1278.79/1282.70	c GLOBAL bounds - >= 223089 @ 1165.88
1279.88/1283.81	c GLOBAL bounds - >= 223089 @ 1166.86
1280.38/1284.36	c GLOBAL bounds - >= 223089 @ 1167.3
1281.38/1285.33	c GLOBAL bounds - >= 223089 @ 1168.14
1283.08/1287.09	c GLOBAL bounds - >= 223089 @ 1169.79
1287.46/1291.48	c GLOBAL bounds - >= 223089 @ 1174.03
1314.96/1319.05	c #Conflicts:       8000 | #Constraints:   27410209
1314.96/1319.05	c GLOBAL bounds - >= 223089 @ 1201.22
1319.95/1324.01	c GLOBAL bounds - >= 224167 @ 1206.12
1320.15/1324.27	c GLOBAL bounds - >= 224167 @ 1206.35
1320.24/1324.35	c GLOBAL bounds - >= 224167 @ 1206.4
1320.35/1324.42	c GLOBAL bounds - >= 224167 @ 1206.44
1320.44/1324.50	c GLOBAL bounds - >= 224167 @ 1206.5
1320.44/1324.57	c GLOBAL bounds - >= 224167 @ 1206.55
1320.54/1324.65	c GLOBAL bounds - >= 224167 @ 1206.6
1320.64/1324.73	c GLOBAL bounds - >= 224167 @ 1206.66
1321.34/1325.46	c GLOBAL bounds - >= 224167 @ 1207.25
1321.44/1325.53	c GLOBAL bounds - >= 224167 @ 1207.3
1322.34/1326.40	c GLOBAL bounds - >= 224167 @ 1208.02
1322.34/1326.48	c GLOBAL bounds - >= 224167 @ 1208.07
1322.94/1327.09	c GLOBAL bounds - >= 224167 @ 1208.54
1323.04/1327.17	c GLOBAL bounds - >= 224167 @ 1208.59
1323.64/1327.77	c GLOBAL bounds - >= 224167 @ 1209.03
1323.73/1327.85	c GLOBAL bounds - >= 224167 @ 1209.08
1324.23/1328.39	c GLOBAL bounds - >= 224167 @ 1209.49
1324.33/1328.46	c GLOBAL bounds - >= 224167 @ 1209.53
1324.83/1328.91	c GLOBAL bounds - >= 224167 @ 1209.86
1324.83/1328.99	c GLOBAL bounds - >= 224167 @ 1209.91
1325.42/1329.56	c GLOBAL bounds - >= 224167 @ 1210.32
1325.52/1329.64	c GLOBAL bounds - >= 224167 @ 1210.37
1326.03/1330.15	c GLOBAL bounds - >= 224167 @ 1210.73
1326.12/1330.23	c GLOBAL bounds - >= 224167 @ 1210.78
1326.63/1330.72	c GLOBAL bounds - >= 224167 @ 1211.15
1326.72/1330.80	c GLOBAL bounds - >= 224167 @ 1211.2
1327.12/1331.28	c GLOBAL bounds - >= 224167 @ 1211.54
1329.42/1333.59	c GLOBAL bounds - >= 224167 @ 1213.72
1330.21/1334.34	c GLOBAL bounds - >= 224167 @ 1214.35
1331.21/1335.34	c GLOBAL bounds - >= 224167 @ 1215.22
1331.31/1335.46	c GLOBAL bounds - >= 224167 @ 1215.34
1331.60/1335.79	c GLOBAL bounds - >= 224167 @ 1215.64
1331.70/1335.87	c GLOBAL bounds - >= 224167 @ 1215.69
1331.81/1335.95	c GLOBAL bounds - >= 224167 @ 1215.74
1331.91/1336.02	c GLOBAL bounds - >= 224167 @ 1215.79
1332.40/1336.54	c GLOBAL bounds - >= 224167 @ 1216.18
1332.50/1336.62	c GLOBAL bounds - >= 224167 @ 1216.23
1332.90/1337.01	c GLOBAL bounds - >= 224167 @ 1216.5
1332.90/1337.09	c GLOBAL bounds - >= 224167 @ 1216.55
1333.40/1337.57	c GLOBAL bounds - >= 224167 @ 1216.92
1333.50/1337.66	c GLOBAL bounds - >= 224167 @ 1216.98
1334.00/1338.15	c GLOBAL bounds - >= 224167 @ 1217.33
1334.10/1338.22	c GLOBAL bounds - >= 224167 @ 1217.38
1334.59/1338.70	c GLOBAL bounds - >= 224167 @ 1217.72
1334.59/1338.78	c GLOBAL bounds - >= 224167 @ 1217.77
1335.00/1339.17	c GLOBAL bounds - >= 224167 @ 1218.04
1335.09/1339.25	c GLOBAL bounds - >= 224167 @ 1218.09
1335.59/1339.71	c GLOBAL bounds - >= 224167 @ 1218.42
1335.59/1339.79	c GLOBAL bounds - >= 224167 @ 1218.47
1336.09/1340.26	c GLOBAL bounds - >= 224167 @ 1218.82
1336.19/1340.34	c GLOBAL bounds - >= 224167 @ 1218.87
1336.69/1340.82	c GLOBAL bounds - >= 224167 @ 1219.23
1336.78/1340.90	c GLOBAL bounds - >= 224167 @ 1219.28
1337.08/1341.29	c GLOBAL bounds - >= 224167 @ 1219.55
1347.05/1351.28	c GLOBAL bounds - >= 224167 @ 1229.3
1347.75/1351.92	c GLOBAL bounds - >= 224167 @ 1229.85
1355.22/1359.43	c GLOBAL bounds - >= 224167 @ 1237.16
1360.71/1364.99	c GLOBAL bounds - >= 224167 @ 1242.53
1387.81/1392.18	c GLOBAL bounds - >= 224167 @ 1269.18
1389.22/1393.55	c GLOBAL bounds - >= 224167 @ 1270.43
1389.31/1393.69	c GLOBAL bounds - >= 224167 @ 1270.58
1389.61/1393.93	c GLOBAL bounds - >= 224167 @ 1270.79
1389.71/1394.01	c GLOBAL bounds - >= 224167 @ 1270.84
1389.71/1394.08	c GLOBAL bounds - >= 224167 @ 1270.89
1389.81/1394.16	c GLOBAL bounds - >= 224167 @ 1270.93
1389.90/1394.24	c GLOBAL bounds - >= 224167 @ 1270.99
1390.01/1394.31	c GLOBAL bounds - >= 224167 @ 1271.04
1390.01/1394.39	c GLOBAL bounds - >= 224167 @ 1271.09
1390.59/1394.99	c GLOBAL bounds - >= 224167 @ 1271.5
1390.70/1395.09	c GLOBAL bounds - >= 224167 @ 1271.56
1391.18/1395.57	c GLOBAL bounds - >= 224167 @ 1271.9
1391.28/1395.65	c GLOBAL bounds - >= 224167 @ 1271.95
1391.69/1396.10	c GLOBAL bounds - >= 224167 @ 1272.28
1391.79/1396.18	c GLOBAL bounds - >= 224167 @ 1272.33
1392.28/1396.61	c GLOBAL bounds - >= 224167 @ 1272.65
1392.28/1396.69	c GLOBAL bounds - >= 224167 @ 1272.69
1392.78/1397.17	c GLOBAL bounds - >= 224167 @ 1273.04
1392.88/1397.25	c GLOBAL bounds - >= 224167 @ 1273.08
1393.28/1397.64	c GLOBAL bounds - >= 224167 @ 1273.34
1393.38/1397.72	c GLOBAL bounds - >= 224167 @ 1273.4
1393.78/1398.19	c GLOBAL bounds - >= 224167 @ 1273.75
1393.87/1398.26	c GLOBAL bounds - >= 224167 @ 1273.8
1394.27/1398.64	c GLOBAL bounds - >= 224167 @ 1274.05
1394.38/1398.71	c GLOBAL bounds - >= 224167 @ 1274.1
1394.68/1399.10	c GLOBAL bounds - >= 224167 @ 1274.35
1394.77/1399.17	c GLOBAL bounds - >= 224167 @ 1274.41
1395.17/1399.56	c GLOBAL bounds - >= 224167 @ 1274.67
1396.07/1400.41	c GLOBAL bounds - >= 224167 @ 1275.41
1398.36/1402.71	c GLOBAL bounds - >= 224167 @ 1277.58
1402.05/1406.47	c GLOBAL bounds - >= 224167 @ 1281.17
1403.85/1408.21	c GLOBAL bounds - >= 224167 @ 1282.79
1408.03/1412.45	c GLOBAL bounds - >= 224167 @ 1286.84
1413.31/1417.78	c GLOBAL bounds - >= 224869 @ 1292.09
1413.61/1418.02	c GLOBAL bounds - >= 224869 @ 1292.3
1413.61/1418.10	c GLOBAL bounds - >= 224869 @ 1292.35
1413.71/1418.17	c GLOBAL bounds - >= 224869 @ 1292.4
1413.81/1418.24	c GLOBAL bounds - >= 224869 @ 1292.46
1413.91/1418.32	c GLOBAL bounds - >= 224869 @ 1292.51
1413.91/1418.39	c GLOBAL bounds - >= 224869 @ 1292.56
1416.20/1420.66	c GLOBAL bounds - >= 224869 @ 1294.69
1416.30/1420.74	c GLOBAL bounds - >= 224869 @ 1294.74
1416.80/1421.29	c GLOBAL bounds - >= 224869 @ 1295.15
1416.90/1421.36	c GLOBAL bounds - >= 224869 @ 1295.2
1417.50/1421.90	c GLOBAL bounds - >= 224869 @ 1295.59
1417.50/1421.98	c GLOBAL bounds - >= 224869 @ 1295.65
1417.90/1422.39	c GLOBAL bounds - >= 224869 @ 1295.93
1417.99/1422.47	c GLOBAL bounds - >= 224869 @ 1295.99
1418.40/1422.89	c GLOBAL bounds - >= 224869 @ 1296.28
1418.50/1422.96	c GLOBAL bounds - >= 224869 @ 1296.32
1418.90/1423.38	c GLOBAL bounds - >= 224869 @ 1296.61
1418.99/1423.45	c GLOBAL bounds - >= 224869 @ 1296.66
1419.39/1423.86	c GLOBAL bounds - >= 224869 @ 1296.92
1419.49/1423.94	c GLOBAL bounds - >= 224869 @ 1296.97
1419.89/1424.35	c GLOBAL bounds - >= 224869 @ 1297.27
1419.99/1424.43	c GLOBAL bounds - >= 224869 @ 1297.31
1420.39/1424.84	c GLOBAL bounds - >= 224869 @ 1297.59
1420.49/1424.91	c GLOBAL bounds - >= 224869 @ 1297.64
1420.99/1425.40	c GLOBAL bounds - >= 224869 @ 1297.99
1421.39/1425.89	c GLOBAL bounds - >= 224869 @ 1298.38
1422.39/1426.85	c GLOBAL bounds - >= 224869 @ 1299.23
1429.74/1434.22	c GLOBAL bounds - >= 224869 @ 1306.34
1430.54/1435.06	c GLOBAL bounds - >= 224869 @ 1307.08
1462.48/1467.15	c GLOBAL bounds - >= 224869 @ 1338.48
1477.60/1482.34	c #Conflicts:       9000 | #Constraints:   29800950
1477.60/1482.34	c GLOBAL bounds - >= 225913 @ 1353.43
1478.20/1482.98	c GLOBAL bounds - >= 225913 @ 1353.92
1478.31/1483.06	c GLOBAL bounds - >= 225913 @ 1353.97
1478.41/1483.13	c GLOBAL bounds - >= 225913 @ 1354.03
1478.50/1483.21	c GLOBAL bounds - >= 225913 @ 1354.08
1478.50/1483.29	c GLOBAL bounds - >= 225913 @ 1354.13
1478.60/1483.36	c GLOBAL bounds - >= 225913 @ 1354.18
1479.40/1484.17	c GLOBAL bounds - >= 225913 @ 1354.84
1479.49/1484.25	c GLOBAL bounds - >= 225913 @ 1354.89
1480.49/1485.21	c GLOBAL bounds - >= 225913 @ 1355.7
1480.49/1485.29	c GLOBAL bounds - >= 225913 @ 1355.75
1481.29/1486.10	c GLOBAL bounds - >= 225913 @ 1356.4
1481.39/1486.17	c GLOBAL bounds - >= 225913 @ 1356.46
1481.99/1486.78	c GLOBAL bounds - >= 225913 @ 1356.9
1482.09/1486.86	c GLOBAL bounds - >= 225913 @ 1356.95
1482.69/1487.41	c GLOBAL bounds - >= 225913 @ 1357.36
1482.69/1487.48	c GLOBAL bounds - >= 225913 @ 1357.41
1483.28/1488.03	c GLOBAL bounds - >= 225913 @ 1357.81
1483.38/1488.11	c GLOBAL bounds - >= 225913 @ 1357.86
1483.88/1488.66	c GLOBAL bounds - >= 225913 @ 1358.26
1483.98/1488.74	c GLOBAL bounds - >= 225913 @ 1358.32
1484.58/1489.32	c GLOBAL bounds - >= 225913 @ 1358.75
1484.68/1489.40	c GLOBAL bounds - >= 225913 @ 1358.8
1485.18/1489.96	c GLOBAL bounds - >= 225913 @ 1359.22
1485.28/1490.04	c GLOBAL bounds - >= 225913 @ 1359.28
1485.67/1490.49	c GLOBAL bounds - >= 225913 @ 1359.58
1486.86/1491.64	c GLOBAL bounds - >= 225913 @ 1360.59
1488.55/1493.31	c GLOBAL bounds - >= 225913 @ 1362.14
1493.24/1498.04	c GLOBAL bounds - >= 225913 @ 1366.71
1494.04/1498.83	c GLOBAL bounds - >= 225913 @ 1367.39
1496.03/1500.85	c GLOBAL bounds - >= 226139 @ 1369.38
1496.33/1501.16	c GLOBAL bounds - >= 226139 @ 1369.66
1496.42/1501.23	c GLOBAL bounds - >= 226139 @ 1369.72
1496.52/1501.31	c GLOBAL bounds - >= 226139 @ 1369.77
1496.52/1501.38	c GLOBAL bounds - >= 226139 @ 1369.81
1496.62/1501.46	c GLOBAL bounds - >= 226139 @ 1369.86
1497.33/1502.14	c GLOBAL bounds - >= 226139 @ 1370.41
1497.42/1502.22	c GLOBAL bounds - >= 226139 @ 1370.46
1498.11/1502.92	c GLOBAL bounds - >= 226139 @ 1371
1498.11/1503.00	c GLOBAL bounds - >= 226139 @ 1371.05
1498.72/1503.55	c GLOBAL bounds - >= 226139 @ 1371.44
1498.82/1503.63	c GLOBAL bounds - >= 226139 @ 1371.49
1499.22/1504.08	c GLOBAL bounds - >= 226139 @ 1371.79
1499.32/1504.16	c GLOBAL bounds - >= 226139 @ 1371.84
1499.72/1504.59	c GLOBAL bounds - >= 226139 @ 1372.15
1499.81/1504.67	c GLOBAL bounds - >= 226139 @ 1372.2
1500.32/1505.15	c GLOBAL bounds - >= 226139 @ 1372.55
1500.41/1505.23	c GLOBAL bounds - >= 226139 @ 1372.6
1500.91/1505.77	c GLOBAL bounds - >= 226139 @ 1372.99
1501.01/1505.84	c GLOBAL bounds - >= 226139 @ 1373.05
1501.51/1506.39	c GLOBAL bounds - >= 226139 @ 1373.44
1501.61/1506.47	c GLOBAL bounds - >= 226139 @ 1373.5
1502.11/1506.95	c GLOBAL bounds - >= 226139 @ 1373.85
1502.21/1507.03	c GLOBAL bounds - >= 226139 @ 1373.9
1502.60/1507.41	c GLOBAL bounds - >= 226139 @ 1374.17
1503.50/1508.33	c GLOBAL bounds - >= 226139 @ 1374.98
1504.59/1509.44	c GLOBAL bounds - >= 226139 @ 1375.96
1510.38/1515.28	c GLOBAL bounds - >= 226139 @ 1381.59
1512.77/1517.65	c GLOBAL bounds - >= 226139 @ 1383.84
1556.12/1561.13	c INPROCESSING
1556.12/1561.13	c GARBAGE COLLECT
1556.12/1561.13	c GLOBAL bounds - >= 227513 @ 1426.08
1556.51/1561.52	c GLOBAL bounds - >= 227513 @ 1426.44
1556.62/1561.60	c GLOBAL bounds - >= 227513 @ 1426.49
1556.62/1561.67	c GLOBAL bounds - >= 227513 @ 1426.54
1556.71/1561.75	c GLOBAL bounds - >= 227513 @ 1426.59
1556.81/1561.83	c GLOBAL bounds - >= 227513 @ 1426.64
1557.61/1562.67	c GLOBAL bounds - >= 227513 @ 1427.33
1557.71/1562.74	c GLOBAL bounds - >= 227513 @ 1427.38
1558.11/1563.19	c GLOBAL bounds - >= 227513 @ 1427.69
1558.21/1563.26	c GLOBAL bounds - >= 227513 @ 1427.73
1558.71/1563.75	c GLOBAL bounds - >= 227513 @ 1428.08
1558.81/1563.82	c GLOBAL bounds - >= 227513 @ 1428.13
1559.40/1564.41	c GLOBAL bounds - >= 227513 @ 1428.57
1559.40/1564.49	c GLOBAL bounds - >= 227513 @ 1428.62
1559.80/1564.88	c GLOBAL bounds - >= 227513 @ 1428.89
1559.90/1564.95	c GLOBAL bounds - >= 227513 @ 1428.94
1560.30/1565.35	c GLOBAL bounds - >= 227513 @ 1429.21
1560.40/1565.42	c GLOBAL bounds - >= 227513 @ 1429.27
1560.80/1565.82	c GLOBAL bounds - >= 227513 @ 1429.54
1560.80/1565.89	c GLOBAL bounds - >= 227513 @ 1429.59
1561.20/1566.29	c GLOBAL bounds - >= 227513 @ 1429.86
1561.30/1566.37	c GLOBAL bounds - >= 227513 @ 1429.91
1561.69/1566.77	c GLOBAL bounds - >= 227513 @ 1430.17
1561.79/1566.84	c GLOBAL bounds - >= 227513 @ 1430.21
1562.19/1567.23	c GLOBAL bounds - >= 227513 @ 1430.48
1563.59/1568.63	c GLOBAL bounds - >= 227513 @ 1431.76
1569.47/1574.56	c GLOBAL bounds - >= 227513 @ 1437.53
1572.96/1578.02	c GLOBAL bounds - >= 227513 @ 1440.85
1577.34/1582.47	c GLOBAL bounds - >= 227513 @ 1445.14
1585.02/1590.14	c GLOBAL bounds - >= 227513 @ 1452.61
1586.02/1591.13	c GLOBAL bounds - >= 227513 @ 1453.48
1586.11/1591.24	c GLOBAL bounds - >= 227513 @ 1453.59
1586.31/1591.42	c GLOBAL bounds - >= 227513 @ 1453.74
1586.41/1591.50	c GLOBAL bounds - >= 227513 @ 1453.79
1586.41/1591.57	c GLOBAL bounds - >= 227513 @ 1453.84
1586.51/1591.65	c GLOBAL bounds - >= 227513 @ 1453.89
1586.61/1591.72	c GLOBAL bounds - >= 227513 @ 1453.94
1586.71/1591.80	c GLOBAL bounds - >= 227513 @ 1454
1586.71/1591.87	c GLOBAL bounds - >= 227513 @ 1454.05
1587.21/1592.34	c GLOBAL bounds - >= 227513 @ 1454.38
1587.31/1592.42	c GLOBAL bounds - >= 227513 @ 1454.43
1587.71/1592.85	c GLOBAL bounds - >= 227513 @ 1454.71
1587.80/1592.92	c GLOBAL bounds - >= 227513 @ 1454.76
1588.21/1593.36	c GLOBAL bounds - >= 227513 @ 1455.08
1588.30/1593.43	c GLOBAL bounds - >= 227513 @ 1455.13
1588.70/1593.86	c GLOBAL bounds - >= 227513 @ 1455.44
1588.81/1593.94	c GLOBAL bounds - >= 227513 @ 1455.5
1589.20/1594.37	c GLOBAL bounds - >= 227513 @ 1455.8
1589.30/1594.45	c GLOBAL bounds - >= 227513 @ 1455.85
1589.70/1594.87	c GLOBAL bounds - >= 227513 @ 1456.14
1589.80/1594.95	c GLOBAL bounds - >= 227513 @ 1456.19
1590.20/1595.36	c GLOBAL bounds - >= 227513 @ 1456.48
1590.30/1595.44	c GLOBAL bounds - >= 227513 @ 1456.53
1590.70/1595.85	c GLOBAL bounds - >= 227513 @ 1456.82
1590.79/1595.93	c GLOBAL bounds - >= 227513 @ 1456.87
1591.20/1596.35	c GLOBAL bounds - >= 227513 @ 1457.17
1591.30/1596.42	c GLOBAL bounds - >= 227513 @ 1457.22
1591.69/1596.85	c GLOBAL bounds - >= 227513 @ 1457.52
1602.56/1607.72	c GLOBAL bounds - >= 227513 @ 1468.18
1602.65/1607.83	c GLOBAL bounds - >= 227513 @ 1468.29
1602.76/1607.98	c GLOBAL bounds - >= 227513 @ 1468.4
1602.86/1608.05	c GLOBAL bounds - >= 227513 @ 1468.45
1603.36/1608.50	c GLOBAL bounds - >= 227513 @ 1468.76
1603.36/1608.57	c GLOBAL bounds - >= 227513 @ 1468.82
1603.86/1609.01	c GLOBAL bounds - >= 227513 @ 1469.14
1603.86/1609.09	c GLOBAL bounds - >= 227513 @ 1469.19
1604.35/1609.51	c GLOBAL bounds - >= 227513 @ 1469.48
1604.35/1609.58	c GLOBAL bounds - >= 227513 @ 1469.53
1604.85/1610.00	c GLOBAL bounds - >= 227513 @ 1469.82
1604.85/1610.08	c GLOBAL bounds - >= 227513 @ 1469.86
1605.35/1610.50	c GLOBAL bounds - >= 227513 @ 1470.16
1605.35/1610.58	c GLOBAL bounds - >= 227513 @ 1470.21
1605.74/1611.00	c GLOBAL bounds - >= 227513 @ 1470.52
1605.85/1611.08	c GLOBAL bounds - >= 227513 @ 1470.57
1606.34/1611.50	c GLOBAL bounds - >= 227513 @ 1470.84
1606.34/1611.58	c GLOBAL bounds - >= 227513 @ 1470.89
1606.74/1611.98	c GLOBAL bounds - >= 227513 @ 1471.16
1606.85/1612.06	c GLOBAL bounds - >= 227513 @ 1471.21
1607.24/1612.46	c GLOBAL bounds - >= 227513 @ 1471.5
1607.34/1612.54	c GLOBAL bounds - >= 227513 @ 1471.55
1607.74/1612.93	c GLOBAL bounds - >= 227513 @ 1471.81
1608.24/1613.48	c GLOBAL bounds - >= 227513 @ 1472.25
1609.34/1614.51	c GLOBAL bounds - >= 227513 @ 1473.16
1611.93/1617.17	c GLOBAL bounds - >= 227513 @ 1475.69
1612.03/1617.28	c GLOBAL bounds - >= 227513 @ 1475.81
1612.22/1617.43	c GLOBAL bounds - >= 227513 @ 1475.92
1612.32/1617.51	c GLOBAL bounds - >= 227513 @ 1475.98
1612.32/1617.59	c GLOBAL bounds - >= 227513 @ 1476.04
1612.43/1617.66	c GLOBAL bounds - >= 227513 @ 1476.09
1612.93/1618.11	c GLOBAL bounds - >= 227513 @ 1476.42
1612.93/1618.19	c GLOBAL bounds - >= 227513 @ 1476.47
1613.42/1618.64	c GLOBAL bounds - >= 227513 @ 1476.78
1613.52/1618.71	c GLOBAL bounds - >= 227513 @ 1476.83
1613.93/1619.15	c GLOBAL bounds - >= 227513 @ 1477.14
1614.02/1619.23	c GLOBAL bounds - >= 227513 @ 1477.19
1614.42/1619.66	c GLOBAL bounds - >= 227513 @ 1477.51
1614.52/1619.74	c GLOBAL bounds - >= 227513 @ 1477.55
1614.92/1620.15	c GLOBAL bounds - >= 227513 @ 1477.84
1615.02/1620.23	c GLOBAL bounds - >= 227513 @ 1477.89
1615.41/1620.65	c GLOBAL bounds - >= 227513 @ 1478.18
1615.51/1620.72	c GLOBAL bounds - >= 227513 @ 1478.22
1615.92/1621.12	c GLOBAL bounds - >= 227513 @ 1478.5
1615.92/1621.19	c GLOBAL bounds - >= 227513 @ 1478.54
1616.31/1621.59	c GLOBAL bounds - >= 227513 @ 1478.82
1616.41/1621.67	c GLOBAL bounds - >= 227513 @ 1478.87
1616.81/1622.07	c GLOBAL bounds - >= 227513 @ 1479.14
1616.91/1622.14	c GLOBAL bounds - >= 227513 @ 1479.19
1617.30/1622.54	c GLOBAL bounds - >= 227513 @ 1479.46
1618.90/1624.12	c GLOBAL bounds - >= 227513 @ 1480.92
1620.60/1625.81	c GLOBAL bounds - >= 227513 @ 1482.47
1646.71/1652.06	c GLOBAL bounds - >= 227513 @ 1508.31
1661.77/1667.11	c #Conflicts:      10000 | #Constraints:   33054677
1661.77/1667.11	c GLOBAL bounds - >= 227513 @ 1523.11
1664.65/1670.01	c GLOBAL bounds - >= 228771 @ 1525.98
1665.04/1670.47	c GLOBAL bounds - >= 228771 @ 1526.41
1665.14/1670.55	c GLOBAL bounds - >= 228771 @ 1526.46
1665.25/1670.63	c GLOBAL bounds - >= 228771 @ 1526.51
1665.35/1670.70	c GLOBAL bounds - >= 228771 @ 1526.56
1665.35/1670.78	c GLOBAL bounds - >= 228771 @ 1526.61
1665.94/1671.31	c GLOBAL bounds - >= 228771 @ 1527.01
1665.94/1671.39	c GLOBAL bounds - >= 228771 @ 1527.06
1666.34/1671.75	c GLOBAL bounds - >= 228771 @ 1527.3
1666.44/1671.83	c GLOBAL bounds - >= 228771 @ 1527.36
1666.84/1672.20	c GLOBAL bounds - >= 228771 @ 1527.6
1666.84/1672.28	c GLOBAL bounds - >= 228771 @ 1527.66
1667.23/1672.66	c GLOBAL bounds - >= 228771 @ 1527.91
1667.34/1672.74	c GLOBAL bounds - >= 228771 @ 1527.96
1667.64/1673.05	c GLOBAL bounds - >= 228771 @ 1528.14
1667.74/1673.13	c GLOBAL bounds - >= 228771 @ 1528.2
1668.13/1673.51	c GLOBAL bounds - >= 228771 @ 1528.45
1668.13/1673.59	c GLOBAL bounds - >= 228771 @ 1528.51
1668.43/1673.88	c GLOBAL bounds - >= 228771 @ 1528.65
1668.53/1673.95	c GLOBAL bounds - >= 228771 @ 1528.71
1668.93/1674.31	c GLOBAL bounds - >= 228771 @ 1528.95
1668.93/1674.39	c GLOBAL bounds - >= 228771 @ 1529.01
1669.33/1674.74	c GLOBAL bounds - >= 228771 @ 1529.25
1669.43/1674.82	c GLOBAL bounds - >= 228771 @ 1529.3
1669.74/1675.16	c GLOBAL bounds - >= 228771 @ 1529.53
1670.63/1676.09	c GLOBAL bounds - >= 228771 @ 1530.35
1671.22/1676.62	c GLOBAL bounds - >= 228771 @ 1530.78
1672.32/1677.70	c GLOBAL bounds - >= 228771 @ 1531.76
1676.01/1681.40	c GLOBAL bounds - >= 228771 @ 1535.3
1680.09/1685.51	c GLOBAL bounds - >= 228771 @ 1539.27
1688.57/1694.04	c GLOBAL bounds - >= 228771 @ 1547.53
1693.75/1699.25	c GLOBAL bounds - >= 228771 @ 1552.6
1695.55/1701.06	c GLOBAL bounds - >= 228771 @ 1554.29
1702.22/1707.79	c GLOBAL bounds - >= 228771 @ 1560.84
1709.90/1715.40	c GLOBAL bounds - >= 228771 @ 1568.27
1713.88/1719.46	c GLOBAL bounds - >= 228771 @ 1572.18
1717.57/1723.10	c GLOBAL bounds - >= 228771 @ 1575.7
1717.68/1723.23	c GLOBAL bounds - >= 228771 @ 1575.83
1717.97/1723.54	c GLOBAL bounds - >= 228771 @ 1576.11
1718.06/1723.61	c GLOBAL bounds - >= 228771 @ 1576.15
1718.06/1723.69	c GLOBAL bounds - >= 228771 @ 1576.2
1718.16/1723.77	c GLOBAL bounds - >= 228771 @ 1576.26
1718.27/1723.84	c GLOBAL bounds - >= 228771 @ 1576.31
1718.37/1723.91	c GLOBAL bounds - >= 228771 @ 1576.36
1718.37/1723.99	c GLOBAL bounds - >= 228771 @ 1576.4
1718.47/1724.06	c GLOBAL bounds - >= 228771 @ 1576.45
1718.57/1724.14	c GLOBAL bounds - >= 228771 @ 1576.5
1718.67/1724.21	c GLOBAL bounds - >= 228771 @ 1576.56
1718.67/1724.29	c GLOBAL bounds - >= 228771 @ 1576.6
1718.76/1724.36	c GLOBAL bounds - >= 228771 @ 1576.65
1719.37/1724.97	c GLOBAL bounds - >= 228771 @ 1577.14
1719.47/1725.05	c GLOBAL bounds - >= 228771 @ 1577.19
1720.06/1725.61	c GLOBAL bounds - >= 228771 @ 1577.6
1720.06/1725.69	c GLOBAL bounds - >= 228771 @ 1577.66
1720.56/1726.17	c GLOBAL bounds - >= 228771 @ 1577.99
1720.65/1726.24	c GLOBAL bounds - >= 228771 @ 1578.04
1721.25/1726.81	c GLOBAL bounds - >= 228771 @ 1578.45
1721.25/1726.89	c GLOBAL bounds - >= 228771 @ 1578.5
1721.85/1727.44	c GLOBAL bounds - >= 228771 @ 1578.89
1721.96/1727.52	c GLOBAL bounds - >= 228771 @ 1578.94
1722.36/1727.96	c GLOBAL bounds - >= 228771 @ 1579.24
1722.46/1728.04	c GLOBAL bounds - >= 228771 @ 1579.29
1722.95/1728.55	c GLOBAL bounds - >= 228771 @ 1579.67
1723.05/1728.62	c GLOBAL bounds - >= 228771 @ 1579.73
1723.55/1729.11	c GLOBAL bounds - >= 228771 @ 1580.08
1723.55/1729.19	c GLOBAL bounds - >= 228771 @ 1580.14
1724.05/1729.65	c GLOBAL bounds - >= 228771 @ 1580.45
1724.15/1729.73	c GLOBAL bounds - >= 228771 @ 1580.5
1724.65/1730.22	c GLOBAL bounds - >= 228771 @ 1580.84
1725.15/1730.71	c GLOBAL bounds - >= 228771 @ 1581.22
1725.65/1731.28	c GLOBAL bounds - >= 228771 @ 1581.7
1728.83/1734.45	c GLOBAL bounds - >= 228771 @ 1584.72
1730.63/1736.26	c GLOBAL bounds - >= 228771 @ 1586.39
1735.42/1741.03	c GLOBAL bounds - >= 228771 @ 1591.02
1738.20/1743.80	c GLOBAL bounds - >= 228771 @ 1593.67
1758.74/1764.40	c GLOBAL bounds - >= 228771 @ 1613.92
1758.83/1764.54	c GLOBAL bounds - >= 228771 @ 1614.06
1759.03/1764.79	c GLOBAL bounds - >= 228771 @ 1614.28
1759.14/1764.86	c GLOBAL bounds - >= 228771 @ 1614.33
1759.23/1764.94	c GLOBAL bounds - >= 228771 @ 1614.38
1759.33/1765.01	c GLOBAL bounds - >= 228771 @ 1614.43
1759.33/1765.09	c GLOBAL bounds - >= 228771 @ 1614.48
1759.44/1765.16	c GLOBAL bounds - >= 228771 @ 1614.52
1759.53/1765.24	c GLOBAL bounds - >= 228771 @ 1614.57
1759.63/1765.31	c GLOBAL bounds - >= 228771 @ 1614.61
1761.53/1767.26	c GLOBAL bounds - >= 228771 @ 1616.41
1761.62/1767.33	c GLOBAL bounds - >= 228771 @ 1616.46
1762.02/1767.78	c GLOBAL bounds - >= 228771 @ 1616.78
1762.12/1767.86	c GLOBAL bounds - >= 228771 @ 1616.83
1762.62/1768.33	c GLOBAL bounds - >= 228771 @ 1617.16
1762.72/1768.41	c GLOBAL bounds - >= 228771 @ 1617.21
1763.22/1768.92	c GLOBAL bounds - >= 228771 @ 1617.55
1763.22/1768.99	c GLOBAL bounds - >= 228771 @ 1617.6
1763.72/1769.47	c GLOBAL bounds - >= 228771 @ 1617.93
1763.82/1769.55	c GLOBAL bounds - >= 228771 @ 1617.98
1764.32/1770.03	c GLOBAL bounds - >= 228771 @ 1618.29
1764.42/1770.10	c GLOBAL bounds - >= 228771 @ 1618.34
1764.81/1770.58	c GLOBAL bounds - >= 228771 @ 1618.67
1764.92/1770.66	c GLOBAL bounds - >= 228771 @ 1618.72
1765.32/1771.09	c GLOBAL bounds - >= 228771 @ 1619.02
1765.42/1771.17	c GLOBAL bounds - >= 228771 @ 1619.07
1765.81/1771.54	c GLOBAL bounds - >= 228771 @ 1619.32
1765.91/1771.62	c GLOBAL bounds - >= 228771 @ 1619.36
1766.31/1772.02	c GLOBAL bounds - >= 228771 @ 1619.62
1766.71/1772.43	c GLOBAL bounds - >= 228771 @ 1619.93
1767.41/1773.16	c GLOBAL bounds - >= 228771 @ 1620.54
1768.00/1773.77	c GLOBAL bounds - >= 228771 @ 1621.05
1769.60/1775.34	c GLOBAL bounds - >= 228771 @ 1622.5
1772.89/1778.64	c GLOBAL bounds - >= 228771 @ 1625.65
1773.49/1779.22	c GLOBAL bounds - >= 228771 @ 1626.14
1784.15/1789.94	c GLOBAL bounds - >= 228771 @ 1636.64
1784.75/1790.59	c GLOBAL bounds - >= 228771 @ 1637.19
1804.19/1810.05	c GLOBAL bounds - >= 228771 @ 1656.33
1828.99/1834.94	c #Conflicts:      11000 | #Constraints:   35195345
1828.99/1834.94	c GLOBAL bounds - >= 228771 @ 1680.85
1830.39/1836.38	c GLOBAL bounds - >= 232605 @ 1682.28
1831.20/1837.13	c GLOBAL bounds - >= 232605 @ 1682.93
1831.29/1837.21	c GLOBAL bounds - >= 232605 @ 1682.98
1831.29/1837.28	c GLOBAL bounds - >= 232605 @ 1683.03
1831.39/1837.36	c GLOBAL bounds - >= 232605 @ 1683.07
1831.49/1837.43	c GLOBAL bounds - >= 232605 @ 1683.12
1831.59/1837.51	c GLOBAL bounds - >= 232605 @ 1683.17
1831.59/1837.58	c GLOBAL bounds - >= 232605 @ 1683.23
1831.69/1837.66	c GLOBAL bounds - >= 232605 @ 1683.28
1831.78/1837.73	c GLOBAL bounds - >= 232605 @ 1683.33
1831.88/1837.81	c GLOBAL bounds - >= 232605 @ 1683.38
1832.38/1838.35	c GLOBAL bounds - >= 232605 @ 1683.79
1832.49/1838.42	c GLOBAL bounds - >= 232605 @ 1683.84
1832.99/1838.97	c GLOBAL bounds - >= 232605 @ 1684.25
1833.09/1839.05	c GLOBAL bounds - >= 232605 @ 1684.3
1833.68/1839.61	c GLOBAL bounds - >= 232605 @ 1684.71
1833.68/1839.68	c GLOBAL bounds - >= 232605 @ 1684.76
1834.28/1840.23	c GLOBAL bounds - >= 232605 @ 1685.16
1834.38/1840.31	c GLOBAL bounds - >= 232605 @ 1685.21
1834.88/1840.85	c GLOBAL bounds - >= 232605 @ 1685.61
1834.98/1840.92	c GLOBAL bounds - >= 232605 @ 1685.65
1835.48/1841.47	c GLOBAL bounds - >= 232605 @ 1686.07
1835.58/1841.54	c GLOBAL bounds - >= 232605 @ 1686.12
1836.08/1842.05	c GLOBAL bounds - >= 232605 @ 1686.48
1836.18/1842.13	c GLOBAL bounds - >= 232605 @ 1686.54
1836.57/1842.53	c GLOBAL bounds - >= 232605 @ 1686.82
1836.67/1842.61	c GLOBAL bounds - >= 232605 @ 1686.87
1837.08/1843.10	c GLOBAL bounds - >= 232605 @ 1687.23
1837.18/1843.18	c GLOBAL bounds - >= 232605 @ 1687.28
1837.67/1843.64	c GLOBAL bounds - >= 232605 @ 1687.62
1838.17/1844.18	c GLOBAL bounds - >= 232605 @ 1688.06
1839.37/1845.31	c GLOBAL bounds - >= 232605 @ 1689.07
1840.26/1846.25	c GLOBAL bounds - >= 232605 @ 1689.9
1841.86/1847.89	c GLOBAL bounds - >= 232605 @ 1691.41
1842.76/1848.77	c GLOBAL bounds - >= 232605 @ 1692.18
1844.74/1850.77	c GLOBAL bounds - >= 232605 @ 1694.04
1844.95/1850.95	c GLOBAL bounds - >= 232605 @ 1694.22
1845.15/1851.11	c GLOBAL bounds - >= 232605 @ 1694.36
1845.15/1851.19	c GLOBAL bounds - >= 232605 @ 1694.4
1845.25/1851.26	c GLOBAL bounds - >= 232605 @ 1694.46
1845.34/1851.34	c GLOBAL bounds - >= 232605 @ 1694.51
1845.44/1851.42	c GLOBAL bounds - >= 232605 @ 1694.56
1845.44/1851.49	c GLOBAL bounds - >= 232605 @ 1694.61
1845.94/1851.98	c GLOBAL bounds - >= 232605 @ 1694.96
1846.05/1852.05	c GLOBAL bounds - >= 232605 @ 1695.01
1846.54/1852.52	c GLOBAL bounds - >= 232605 @ 1695.35
1846.54/1852.59	c GLOBAL bounds - >= 232605 @ 1695.4
1847.05/1853.02	c GLOBAL bounds - >= 232605 @ 1695.69
1847.05/1853.09	c GLOBAL bounds - >= 232605 @ 1695.74
1847.64/1853.60	c GLOBAL bounds - >= 232605 @ 1696.12
1847.64/1853.68	c GLOBAL bounds - >= 232605 @ 1696.16
1848.14/1854.16	c GLOBAL bounds - >= 232605 @ 1696.52
1848.24/1854.24	c GLOBAL bounds - >= 232605 @ 1696.57
1848.73/1854.73	c GLOBAL bounds - >= 232605 @ 1696.92
1848.83/1854.80	c GLOBAL bounds - >= 232605 @ 1696.96
1849.23/1855.27	c GLOBAL bounds - >= 232605 @ 1697.3
1849.33/1855.35	c GLOBAL bounds - >= 232605 @ 1697.35
1849.83/1855.83	c GLOBAL bounds - >= 232605 @ 1697.7
1849.93/1855.91	c GLOBAL bounds - >= 232605 @ 1697.75
1850.33/1856.30	c GLOBAL bounds - >= 232605 @ 1698.03
1850.33/1856.38	c GLOBAL bounds - >= 232605 @ 1698.08
1850.82/1856.86	c GLOBAL bounds - >= 232605 @ 1698.43
1866.47/1872.50	c GLOBAL bounds - >= 232605 @ 1713.73
1870.96/1877.00	c GLOBAL bounds - >= 232605 @ 1718.07
1874.06/1880.18	c GLOBAL bounds - >= 232605 @ 1721.1
1875.34/1881.44	c GLOBAL bounds - >= 233055 @ 1722.36
1875.65/1881.79	c GLOBAL bounds - >= 233055 @ 1722.66
1875.74/1881.86	c GLOBAL bounds - >= 233055 @ 1722.71
1875.84/1881.94	c GLOBAL bounds - >= 233055 @ 1722.76
1875.95/1882.01	c GLOBAL bounds - >= 233055 @ 1722.81
1876.44/1882.53	c GLOBAL bounds - >= 233055 @ 1723.21
1876.54/1882.61	c GLOBAL bounds - >= 233055 @ 1723.27
1877.04/1883.14	c GLOBAL bounds - >= 233055 @ 1723.67
1877.14/1883.22	c GLOBAL bounds - >= 233055 @ 1723.72
1877.54/1883.69	c GLOBAL bounds - >= 233055 @ 1724.07
1877.64/1883.76	c GLOBAL bounds - >= 233055 @ 1724.12
1878.13/1884.23	c GLOBAL bounds - >= 233055 @ 1724.48
1878.24/1884.31	c GLOBAL bounds - >= 233055 @ 1724.53
1878.63/1884.79	c GLOBAL bounds - >= 233055 @ 1724.88
1878.73/1884.86	c GLOBAL bounds - >= 233055 @ 1724.93
1879.23/1885.31	c GLOBAL bounds - >= 233055 @ 1725.27
1879.23/1885.39	c GLOBAL bounds - >= 233055 @ 1725.32
1879.73/1885.84	c GLOBAL bounds - >= 233055 @ 1725.63
1879.83/1885.92	c GLOBAL bounds - >= 233055 @ 1725.68
1880.13/1886.28	c GLOBAL bounds - >= 233055 @ 1725.93
1880.22/1886.36	c GLOBAL bounds - >= 233055 @ 1725.98
1880.72/1886.82	c GLOBAL bounds - >= 233055 @ 1726.34
1880.83/1886.90	c GLOBAL bounds - >= 233055 @ 1726.39
1881.23/1887.36	c GLOBAL bounds - >= 233055 @ 1726.71
1886.31/1892.45	c GLOBAL bounds - >= 233055 @ 1731.63
1889.40/1895.50	c GLOBAL bounds - >= 233055 @ 1734.55
1892.99/1899.10	c GLOBAL bounds - >= 233055 @ 1737.99
1900.97/1907.13	c GLOBAL bounds - >= 233055 @ 1745.78
1902.15/1908.31	c GLOBAL bounds - >= 233055 @ 1746.85
1906.74/1912.93	c GLOBAL bounds - >= 233055 @ 1751.3
1907.74/1913.94	c GLOBAL bounds - >= 233055 @ 1752.2
1907.94/1914.15	c GLOBAL bounds - >= 233055 @ 1752.41
1908.24/1914.41	c GLOBAL bounds - >= 233055 @ 1752.64
1908.24/1914.49	c GLOBAL bounds - >= 233055 @ 1752.68
1908.33/1914.56	c GLOBAL bounds - >= 233055 @ 1752.73
1908.43/1914.64	c GLOBAL bounds - >= 233055 @ 1752.78
1908.53/1914.71	c GLOBAL bounds - >= 233055 @ 1752.82
1908.53/1914.79	c GLOBAL bounds - >= 233055 @ 1752.87
1908.63/1914.86	c GLOBAL bounds - >= 233055 @ 1752.92
1908.73/1914.93	c GLOBAL bounds - >= 233055 @ 1752.97
1909.23/1915.49	c GLOBAL bounds - >= 233055 @ 1753.39
1909.33/1915.57	c GLOBAL bounds - >= 233055 @ 1753.44
1909.83/1916.02	c GLOBAL bounds - >= 233055 @ 1753.74
1909.83/1916.09	c GLOBAL bounds - >= 233055 @ 1753.78
1910.43/1916.63	c GLOBAL bounds - >= 233055 @ 1754.18
1910.53/1916.70	c GLOBAL bounds - >= 233055 @ 1754.22
1910.94/1917.14	c GLOBAL bounds - >= 233055 @ 1754.53
1911.03/1917.22	c GLOBAL bounds - >= 233055 @ 1754.58
1911.52/1917.75	c GLOBAL bounds - >= 233055 @ 1754.98
1911.62/1917.83	c GLOBAL bounds - >= 233055 @ 1755.03
1912.12/1918.35	c GLOBAL bounds - >= 233055 @ 1755.42
1912.22/1918.43	c GLOBAL bounds - >= 233055 @ 1755.47
1912.72/1918.95	c GLOBAL bounds - >= 233055 @ 1755.85
1912.82/1919.02	c GLOBAL bounds - >= 233055 @ 1755.9
1913.22/1919.45	c GLOBAL bounds - >= 233055 @ 1756.22
1913.31/1919.53	c GLOBAL bounds - >= 233055 @ 1756.27
1913.82/1920.06	c GLOBAL bounds - >= 233055 @ 1756.67
1913.92/1920.14	c GLOBAL bounds - >= 233055 @ 1756.72
1914.31/1920.57	c GLOBAL bounds - >= 233055 @ 1757.03
1915.31/1921.52	c GLOBAL bounds - >= 233055 @ 1757.86
1916.60/1922.80	c GLOBAL bounds - >= 233055 @ 1759.01
1920.40/1926.68	c GLOBAL bounds - >= 233055 @ 1762.71
1923.59/1929.82	c GLOBAL bounds - >= 233055 @ 1765.71
1923.79/1930.05	c GLOBAL bounds - >= 233055 @ 1765.93
1923.98/1930.21	c GLOBAL bounds - >= 233055 @ 1766.08
1923.98/1930.29	c GLOBAL bounds - >= 233055 @ 1766.13
1924.08/1930.37	c GLOBAL bounds - >= 233055 @ 1766.18
1924.19/1930.44	c GLOBAL bounds - >= 233055 @ 1766.23
1924.28/1930.52	c GLOBAL bounds - >= 233055 @ 1766.29
1924.79/1931.09	c GLOBAL bounds - >= 233055 @ 1766.75
1924.88/1931.17	c GLOBAL bounds - >= 233055 @ 1766.8
1925.38/1931.66	c GLOBAL bounds - >= 233055 @ 1767.15
1925.48/1931.73	c GLOBAL bounds - >= 233055 @ 1767.2
1925.98/1932.21	c GLOBAL bounds - >= 233055 @ 1767.56
1925.98/1932.28	c GLOBAL bounds - >= 233055 @ 1767.61
1926.48/1932.76	c GLOBAL bounds - >= 233055 @ 1767.96
1926.57/1932.84	c GLOBAL bounds - >= 233055 @ 1768.01
1926.98/1933.28	c GLOBAL bounds - >= 233055 @ 1768.32
1927.08/1933.36	c GLOBAL bounds - >= 233055 @ 1768.37
1927.57/1933.81	c GLOBAL bounds - >= 233055 @ 1768.69
1927.57/1933.89	c GLOBAL bounds - >= 233055 @ 1768.74
1928.07/1934.33	c GLOBAL bounds - >= 233055 @ 1769.08
1928.17/1934.41	c GLOBAL bounds - >= 233055 @ 1769.12
1928.57/1934.85	c GLOBAL bounds - >= 233055 @ 1769.43
1928.67/1934.92	c GLOBAL bounds - >= 233055 @ 1769.48
1929.06/1935.38	c GLOBAL bounds - >= 233055 @ 1769.8
1929.17/1935.45	c GLOBAL bounds - >= 233055 @ 1769.84
1929.56/1935.89	c GLOBAL bounds - >= 233055 @ 1770.17
1930.36/1936.61	c GLOBAL bounds - >= 233055 @ 1770.76
1951.19/1957.57	c GLOBAL bounds - >= 233055 @ 1791.23
1967.64/1974.02	c GLOBAL bounds - >= 233055 @ 1807.28
1986.67/1993.16	c GLOBAL bounds - >= 233701 @ 1826.11
1987.06/1993.52	c GLOBAL bounds - >= 233701 @ 1826.43
1987.06/1993.59	c GLOBAL bounds - >= 233701 @ 1826.48
1987.16/1993.67	c GLOBAL bounds - >= 233701 @ 1826.52
1987.26/1993.75	c GLOBAL bounds - >= 233701 @ 1826.57
1987.86/1994.33	c GLOBAL bounds - >= 233701 @ 1827.01
1987.96/1994.41	c GLOBAL bounds - >= 233701 @ 1827.07
1988.56/1995.03	c GLOBAL bounds - >= 233701 @ 1827.53
1988.66/1995.12	c GLOBAL bounds - >= 233701 @ 1827.59
1989.26/1995.76	c GLOBAL bounds - >= 233701 @ 1828.09
1989.36/1995.84	c GLOBAL bounds - >= 233701 @ 1828.14
1989.95/1996.44	c GLOBAL bounds - >= 233701 @ 1828.59
1990.05/1996.52	c GLOBAL bounds - >= 233701 @ 1828.64
1990.56/1997.04	c GLOBAL bounds - >= 233701 @ 1829.03
1990.66/1997.12	c GLOBAL bounds - >= 233701 @ 1829.08
1991.15/1997.66	c GLOBAL bounds - >= 233701 @ 1829.48
1991.25/1997.73	c GLOBAL bounds - >= 233701 @ 1829.53
1991.74/1998.25	c GLOBAL bounds - >= 233701 @ 1829.89
1991.85/1998.32	c GLOBAL bounds - >= 233701 @ 1829.95
1992.24/1998.74	c GLOBAL bounds - >= 233701 @ 1830.24
1992.35/1998.82	c GLOBAL bounds - >= 233701 @ 1830.29
1992.84/1999.32	c GLOBAL bounds - >= 233701 @ 1830.64
1992.94/1999.40	c GLOBAL bounds - >= 233701 @ 1830.69
1993.35/1999.89	c GLOBAL bounds - >= 233701 @ 1831.05
1994.14/2000.63	c GLOBAL bounds - >= 233701 @ 1831.68
1994.74/2001.25	c GLOBAL bounds - >= 233701 @ 1832.2
2007.60/2014.16	c GLOBAL bounds - >= 233701 @ 1844.79
2008.39/2014.95	c GLOBAL bounds - >= 233701 @ 1845.46
2018.26/2024.81	c #Conflicts:      12000 | #Constraints:   38569488
2018.26/2024.81	c GLOBAL bounds - >= 234247 @ 1855.18
2018.56/2025.10	c GLOBAL bounds - >= 234247 @ 1855.44
2018.56/2025.18	c GLOBAL bounds - >= 234247 @ 1855.48
2018.66/2025.25	c GLOBAL bounds - >= 234247 @ 1855.53
2018.75/2025.32	c GLOBAL bounds - >= 234247 @ 1855.58
2018.86/2025.40	c GLOBAL bounds - >= 234247 @ 1855.62
2019.46/2026.03	c GLOBAL bounds - >= 234247 @ 1856.11
2019.55/2026.12	c GLOBAL bounds - >= 234247 @ 1856.16
2020.25/2026.86	c GLOBAL bounds - >= 234247 @ 1856.72
2020.35/2026.93	c GLOBAL bounds - >= 234247 @ 1856.77
2020.94/2027.50	c GLOBAL bounds - >= 234247 @ 1857.19
2020.94/2027.58	c GLOBAL bounds - >= 234247 @ 1857.24
2021.45/2028.03	c GLOBAL bounds - >= 234247 @ 1857.57
2021.55/2028.11	c GLOBAL bounds - >= 234247 @ 1857.63
2022.04/2028.66	c GLOBAL bounds - >= 234247 @ 1858.04
2022.14/2028.74	c GLOBAL bounds - >= 234247 @ 1858.09
2022.64/2029.29	c GLOBAL bounds - >= 234247 @ 1858.51
2022.74/2029.37	c GLOBAL bounds - >= 234247 @ 1858.56
2023.35/2029.92	c GLOBAL bounds - >= 234247 @ 1858.98
2023.35/2030.00	c GLOBAL bounds - >= 234247 @ 1859.03
2023.94/2030.54	c GLOBAL bounds - >= 234247 @ 1859.43
2024.03/2030.62	c GLOBAL bounds - >= 234247 @ 1859.48
2024.44/2031.05	c GLOBAL bounds - >= 234247 @ 1859.79
2024.54/2031.13	c GLOBAL bounds - >= 234247 @ 1859.84
2025.03/2031.64	c GLOBAL bounds - >= 234247 @ 1860.23
2025.73/2032.35	c GLOBAL bounds - >= 234247 @ 1860.81
2027.72/2034.38	c GLOBAL bounds - >= 234247 @ 1862.71
2027.92/2034.51	c GLOBAL bounds - >= 234247 @ 1862.83
2028.22/2034.80	c GLOBAL bounds - >= 234247 @ 1863.09
2028.22/2034.87	c GLOBAL bounds - >= 234247 @ 1863.13
2028.32/2034.94	c GLOBAL bounds - >= 234247 @ 1863.18
2028.92/2035.51	c GLOBAL bounds - >= 234247 @ 1863.61
2028.92/2035.59	c GLOBAL bounds - >= 234247 @ 1863.67
2029.52/2036.15	c GLOBAL bounds - >= 234247 @ 1864.09
2029.62/2036.23	c GLOBAL bounds - >= 234247 @ 1864.14
2030.02/2036.69	c GLOBAL bounds - >= 234247 @ 1864.49
2030.11/2036.76	c GLOBAL bounds - >= 234247 @ 1864.53
2030.71/2037.32	c GLOBAL bounds - >= 234247 @ 1864.95
2030.81/2037.40	c GLOBAL bounds - >= 234247 @ 1865
2031.30/2037.96	c GLOBAL bounds - >= 234247 @ 1865.44
2031.42/2038.04	c GLOBAL bounds - >= 234247 @ 1865.49
2031.91/2038.50	c GLOBAL bounds - >= 234247 @ 1865.82
2031.91/2038.58	c GLOBAL bounds - >= 234247 @ 1865.87
2032.51/2039.11	c GLOBAL bounds - >= 234247 @ 1866.25
2032.51/2039.18	c GLOBAL bounds - >= 234247 @ 1866.3
2033.00/2039.60	c GLOBAL bounds - >= 234247 @ 1866.59
2033.00/2039.67	c GLOBAL bounds - >= 234247 @ 1866.64
2033.41/2040.09	c GLOBAL bounds - >= 234247 @ 1866.93
2033.50/2040.17	c GLOBAL bounds - >= 234247 @ 1866.98
2033.90/2040.55	c GLOBAL bounds - >= 234247 @ 1867.24
2034.60/2041.28	c GLOBAL bounds - >= 234247 @ 1867.85
2036.08/2042.79	c GLOBAL bounds - >= 234247 @ 1869.22
2037.18/2043.82	c GLOBAL bounds - >= 234247 @ 1870.11
2040.86/2047.56	c GLOBAL bounds - >= 234247 @ 1873.69
2058.51/2065.22	c GLOBAL bounds - >= 234247 @ 1890.94
2065.09/2071.86	c GLOBAL bounds - >= 234247 @ 1897.38
2071.76/2078.55	c GLOBAL bounds - >= 234247 @ 1903.89
2074.95/2081.71	c GLOBAL bounds - >= 234247 @ 1906.91
2079.24/2086.06	c GLOBAL bounds - >= 234247 @ 1911.09
2083.82/2090.69	c GLOBAL bounds - >= 234429 @ 1915.66
2084.02/2090.88	c GLOBAL bounds - >= 234429 @ 1915.82
2084.12/2090.96	c GLOBAL bounds - >= 234429 @ 1915.87
2084.23/2091.03	c GLOBAL bounds - >= 234429 @ 1915.92
2084.33/2091.10	c GLOBAL bounds - >= 234429 @ 1915.97
2084.33/2091.18	c GLOBAL bounds - >= 234429 @ 1916.02
2084.42/2091.25	c GLOBAL bounds - >= 234429 @ 1916.07
2084.52/2091.33	c GLOBAL bounds - >= 234429 @ 1916.12
2084.61/2091.40	c GLOBAL bounds - >= 234429 @ 1916.16
2084.61/2091.47	c GLOBAL bounds - >= 234429 @ 1916.21
2084.72/2091.55	c GLOBAL bounds - >= 234429 @ 1916.26
2085.51/2092.37	c GLOBAL bounds - >= 234429 @ 1916.94
2085.62/2092.45	c GLOBAL bounds - >= 234429 @ 1916.99
2087.01/2093.81	c GLOBAL bounds - >= 234429 @ 1918.2
2087.01/2093.89	c GLOBAL bounds - >= 234429 @ 1918.25
2087.61/2094.46	c GLOBAL bounds - >= 234429 @ 1918.67
2087.70/2094.53	c GLOBAL bounds - >= 234429 @ 1918.72
2088.31/2095.14	c GLOBAL bounds - >= 234429 @ 1919.19
2088.41/2095.22	c GLOBAL bounds - >= 234429 @ 1919.24
2088.91/2095.73	c GLOBAL bounds - >= 234429 @ 1919.64
2089.01/2095.81	c GLOBAL bounds - >= 234429 @ 1919.69
2089.60/2096.42	c GLOBAL bounds - >= 234429 @ 1920.18
2089.60/2096.50	c GLOBAL bounds - >= 234429 @ 1920.23
2090.21/2097.07	c GLOBAL bounds - >= 234429 @ 1920.67
2090.30/2097.14	c GLOBAL bounds - >= 234429 @ 1920.72
2090.90/2097.71	c GLOBAL bounds - >= 234429 @ 1921.16
2090.90/2097.79	c GLOBAL bounds - >= 234429 @ 1921.21
2091.50/2098.33	c GLOBAL bounds - >= 234429 @ 1921.62
2091.59/2098.41	c GLOBAL bounds - >= 234429 @ 1921.67
2091.99/2098.85	c GLOBAL bounds - >= 234429 @ 1921.99
2093.39/2100.20	c GLOBAL bounds - >= 234429 @ 1923.21
2097.27/2104.15	c GLOBAL bounds - >= 234429 @ 1926.97
2141.69/2148.74	c GLOBAL bounds - >= 234429 @ 1970.77
2161.93/2169.07	c GLOBAL bounds - >= 234429 @ 1990.76
2165.02/2172.19	c GLOBAL bounds - >= 234429 @ 1993.74
2165.31/2172.41	c GLOBAL bounds - >= 234429 @ 1993.96
2165.41/2172.57	c GLOBAL bounds - >= 234429 @ 1994.09
2165.51/2172.65	c GLOBAL bounds - >= 234429 @ 1994.14
2165.61/2172.73	c GLOBAL bounds - >= 234429 @ 1994.19
2165.71/2172.80	c GLOBAL bounds - >= 234429 @ 1994.24
2165.71/2172.88	c GLOBAL bounds - >= 234429 @ 1994.29
2165.81/2172.95	c GLOBAL bounds - >= 234429 @ 1994.34
2166.41/2173.57	c GLOBAL bounds - >= 234429 @ 1994.83
2166.50/2173.65	c GLOBAL bounds - >= 234429 @ 1994.88
2167.01/2174.17	c GLOBAL bounds - >= 234429 @ 1995.27
2167.11/2174.24	c GLOBAL bounds - >= 234429 @ 1995.32
2167.60/2174.76	c GLOBAL bounds - >= 234429 @ 1995.69
2167.70/2174.83	c GLOBAL bounds - >= 234429 @ 1995.75
2168.30/2175.40	c GLOBAL bounds - >= 234429 @ 1996.18
2168.30/2175.48	c GLOBAL bounds - >= 234429 @ 1996.23
2168.80/2175.92	c GLOBAL bounds - >= 234429 @ 1996.57
2168.80/2175.99	c GLOBAL bounds - >= 234429 @ 1996.62
2169.30/2176.43	c GLOBAL bounds - >= 234429 @ 1996.94
2169.40/2176.51	c GLOBAL bounds - >= 234429 @ 1996.99
2169.90/2177.01	c GLOBAL bounds - >= 234429 @ 1997.36
2169.90/2177.09	c GLOBAL bounds - >= 234429 @ 1997.41
2170.39/2177.50	c GLOBAL bounds - >= 234429 @ 1997.7
2170.39/2177.58	c GLOBAL bounds - >= 234429 @ 1997.75
2170.90/2178.08	c GLOBAL bounds - >= 234429 @ 1998.13
2170.99/2178.16	c GLOBAL bounds - >= 234429 @ 1998.18
2171.49/2178.67	c GLOBAL bounds - >= 234429 @ 1998.55
2172.19/2179.39	c GLOBAL bounds - >= 234429 @ 1999.15
2173.09/2180.26	c GLOBAL bounds - >= 234429 @ 1999.92
2173.99/2181.19	c GLOBAL bounds - >= 234429 @ 2000.74
2175.78/2182.94	c GLOBAL bounds - >= 234429 @ 2002.36
2178.87/2186.01	c GLOBAL bounds - >= 234429 @ 2005.27
2181.56/2188.79	c GLOBAL bounds - >= 234429 @ 2007.93
2198.11/2205.37	c GLOBAL bounds - >= 234429 @ 2024.21
2200.10/2207.32	c GLOBAL bounds - >= 234497 @ 2026.12
2200.30/2207.52	c GLOBAL bounds - >= 234497 @ 2026.3
2200.41/2207.60	c GLOBAL bounds - >= 234497 @ 2026.34
2200.41/2207.67	c GLOBAL bounds - >= 234497 @ 2026.39
2200.50/2207.75	c GLOBAL bounds - >= 234497 @ 2026.44
2200.61/2207.82	c GLOBAL bounds - >= 234497 @ 2026.48
2200.70/2207.90	c GLOBAL bounds - >= 234497 @ 2026.54
2200.70/2207.97	c GLOBAL bounds - >= 234497 @ 2026.59
2200.80/2208.05	c GLOBAL bounds - >= 234497 @ 2026.64
2201.48/2208.79	c GLOBAL bounds - >= 234497 @ 2027.17
2201.58/2208.87	c GLOBAL bounds - >= 234497 @ 2027.22
2202.18/2209.49	c GLOBAL bounds - >= 234497 @ 2027.69
2202.28/2209.57	c GLOBAL bounds - >= 234497 @ 2027.75
2202.68/2209.99	c GLOBAL bounds - >= 234497 @ 2028.04
2202.79/2210.06	c GLOBAL bounds - >= 234497 @ 2028.1
2203.17/2210.49	c GLOBAL bounds - >= 234497 @ 2028.41
2203.28/2210.57	c GLOBAL bounds - >= 234497 @ 2028.46
2203.78/2211.00	c GLOBAL bounds - >= 234497 @ 2028.76
2203.78/2211.08	c GLOBAL bounds - >= 234497 @ 2028.81
2204.28/2211.56	c GLOBAL bounds - >= 234497 @ 2029.17
2204.37/2211.64	c GLOBAL bounds - >= 234497 @ 2029.22
2204.88/2212.11	c GLOBAL bounds - >= 234497 @ 2029.57
2204.88/2212.19	c GLOBAL bounds - >= 234497 @ 2029.62
2205.38/2212.65	c GLOBAL bounds - >= 234497 @ 2029.94
2205.47/2212.73	c GLOBAL bounds - >= 234497 @ 2029.99
2205.87/2213.15	c GLOBAL bounds - >= 234497 @ 2030.29
2205.98/2213.23	c GLOBAL bounds - >= 234497 @ 2030.35
2206.27/2213.57	c GLOBAL bounds - >= 234497 @ 2030.58
2207.26/2214.55	c GLOBAL bounds - >= 234497 @ 2031.43
2207.96/2215.22	c GLOBAL bounds - >= 234497 @ 2031.98
2223.32/2230.64	c #Conflicts:      13000 | #Constraints:   41415060
2223.32/2230.64	c GLOBAL bounds - >= 234497 @ 2047.02
2247.62/2255.06	c GLOBAL bounds - >= 234497 @ 2071.02
2254.60/2262.07	c GLOBAL bounds - >= 234497 @ 2077.84
2257.39/2264.86	c GLOBAL bounds - >= 235359 @ 2080.6
2257.80/2265.24	c GLOBAL bounds - >= 235359 @ 2080.94
2257.89/2265.31	c GLOBAL bounds - >= 235359 @ 2080.98
2257.89/2265.39	c GLOBAL bounds - >= 235359 @ 2081.03
2257.99/2265.46	c GLOBAL bounds - >= 235359 @ 2081.08
2258.09/2265.54	c GLOBAL bounds - >= 235359 @ 2081.12
2258.19/2265.61	c GLOBAL bounds - >= 235359 @ 2081.17
2258.99/2266.40	c GLOBAL bounds - >= 235359 @ 2081.81
2258.99/2266.48	c GLOBAL bounds - >= 235359 @ 2081.86
2259.69/2267.19	c GLOBAL bounds - >= 235359 @ 2082.44
2259.79/2267.27	c GLOBAL bounds - >= 235359 @ 2082.49
2260.28/2267.73	c GLOBAL bounds - >= 235359 @ 2082.81
2260.39/2267.80	c GLOBAL bounds - >= 235359 @ 2082.86
2260.89/2268.37	c GLOBAL bounds - >= 235359 @ 2083.28
2260.98/2268.45	c GLOBAL bounds - >= 235359 @ 2083.34
2261.49/2268.90	c GLOBAL bounds - >= 235359 @ 2083.65
2261.49/2268.98	c GLOBAL bounds - >= 235359 @ 2083.71
2261.98/2269.43	c GLOBAL bounds - >= 235359 @ 2084.05
2262.08/2269.50	c GLOBAL bounds - >= 235359 @ 2084.09
2262.48/2269.95	c GLOBAL bounds - >= 235359 @ 2084.42
2262.58/2270.03	c GLOBAL bounds - >= 235359 @ 2084.47
2263.28/2270.70	c GLOBAL bounds - >= 235359 @ 2084.99
2263.28/2270.78	c GLOBAL bounds - >= 235359 @ 2085.05
2263.77/2271.22	c GLOBAL bounds - >= 235359 @ 2085.36
2263.86/2271.30	c GLOBAL bounds - >= 235359 @ 2085.41
2264.27/2271.72	c GLOBAL bounds - >= 235359 @ 2085.71
2265.46/2272.93	c GLOBAL bounds - >= 235359 @ 2086.79
2267.45/2274.99	c GLOBAL bounds - >= 235359 @ 2088.7
2281.61/2289.10	c GLOBAL bounds - >= 235359 @ 2102.55
2329.85/2337.56	c GLOBAL bounds - >= 235359 @ 2150.38
2346.10/2353.80	c GLOBAL bounds - >= 235577 @ 2166.45
2346.31/2354.03	c GLOBAL bounds - >= 235577 @ 2166.65
2346.40/2354.10	c GLOBAL bounds - >= 235577 @ 2166.7
2346.40/2354.18	c GLOBAL bounds - >= 235577 @ 2166.75
2346.50/2354.26	c GLOBAL bounds - >= 235577 @ 2166.8
2346.60/2354.33	c GLOBAL bounds - >= 235577 @ 2166.86
2347.40/2355.18	c GLOBAL bounds - >= 235577 @ 2167.56
2347.50/2355.26	c GLOBAL bounds - >= 235577 @ 2167.61
2348.00/2355.77	c GLOBAL bounds - >= 235577 @ 2167.98
2348.09/2355.84	c GLOBAL bounds - >= 235577 @ 2168.03
2348.69/2356.40	c GLOBAL bounds - >= 235577 @ 2168.46
2348.69/2356.48	c GLOBAL bounds - >= 235577 @ 2168.51
2349.30/2357.06	c GLOBAL bounds - >= 235577 @ 2168.94
2349.39/2357.14	c GLOBAL bounds - >= 235577 @ 2168.99
2349.99/2357.74	c GLOBAL bounds - >= 235577 @ 2169.44
2350.09/2357.82	c GLOBAL bounds - >= 235577 @ 2169.49
2350.69/2358.42	c GLOBAL bounds - >= 235577 @ 2169.94
2350.69/2358.49	c GLOBAL bounds - >= 235577 @ 2170
2351.19/2358.98	c GLOBAL bounds - >= 235577 @ 2170.34
2351.29/2359.06	c #Conflicts:       1000 | #Constraints:     613114
2351.29/2359.06	c GLOBAL bounds - >= 235577 @ 2170.39
2351.89/2359.61	c GLOBAL bounds - >= 235577 @ 2170.81
2351.89/2359.68	c GLOBAL bounds - >= 235577 @ 2170.86
2352.38/2360.15	c GLOBAL bounds - >= 235577 @ 2171.19
2352.48/2360.23	c GLOBAL bounds - >= 235577 @ 2171.25
2353.08/2360.82	c GLOBAL bounds - >= 235577 @ 2171.67
2354.18/2361.95	c GLOBAL bounds - >= 235577 @ 2172.68
2354.88/2362.60	c GLOBAL bounds - >= 235577 @ 2173.23
2355.77/2363.53	c GLOBAL bounds - >= 235577 @ 2174.04
2368.43/2376.26	c GLOBAL bounds - >= 235577 @ 2186.5
2379.49/2387.33	c GLOBAL bounds - >= 235577 @ 2197.32
2381.50/2389.39	c GLOBAL bounds - >= 235577 @ 2199.26
2415.09/2423.08	c GLOBAL bounds - >= 235577 @ 2232.51
2420.18/2428.11	c GLOBAL bounds - >= 235577 @ 2237.38
2423.76/2431.74	c GLOBAL bounds - >= 235687 @ 2240.97
2424.16/2432.11	c GLOBAL bounds - >= 235687 @ 2241.3
2424.16/2432.18	c GLOBAL bounds - >= 235687 @ 2241.36
2424.26/2432.26	c GLOBAL bounds - >= 235687 @ 2241.41
2424.36/2432.33	c GLOBAL bounds - >= 235687 @ 2241.45
2424.45/2432.41	c GLOBAL bounds - >= 235687 @ 2241.51
2424.45/2432.49	c GLOBAL bounds - >= 235687 @ 2241.56
2424.56/2432.56	c GLOBAL bounds - >= 235687 @ 2241.61
2424.66/2432.64	c GLOBAL bounds - >= 235687 @ 2241.66
2424.76/2432.71	c GLOBAL bounds - >= 235687 @ 2241.71
2425.46/2433.40	c #Conflicts:      14000 | #Constraints:   42762185
2425.46/2433.40	c GLOBAL bounds - >= 235687 @ 2242.27
2425.46/2433.48	c GLOBAL bounds - >= 235687 @ 2242.32
2426.06/2434.04	c GLOBAL bounds - >= 235687 @ 2242.72
2426.16/2434.12	c GLOBAL bounds - >= 235687 @ 2242.76
2426.76/2434.75	c GLOBAL bounds - >= 235687 @ 2243.24
2426.85/2434.83	c GLOBAL bounds - >= 235687 @ 2243.29
2427.45/2435.44	c GLOBAL bounds - >= 235687 @ 2243.75
2427.55/2435.51	c GLOBAL bounds - >= 235687 @ 2243.8
2428.05/2436.10	c GLOBAL bounds - >= 235687 @ 2244.24
2428.15/2436.18	c GLOBAL bounds - >= 235687 @ 2244.29
2428.75/2436.75	c GLOBAL bounds - >= 235687 @ 2244.73
2428.85/2436.83	c GLOBAL bounds - >= 235687 @ 2244.78
2429.55/2437.54	c GLOBAL bounds - >= 235687 @ 2245.33
2429.65/2437.62	c GLOBAL bounds - >= 235687 @ 2245.39
2430.05/2438.03	c GLOBAL bounds - >= 235687 @ 2245.67
2430.15/2438.11	c GLOBAL bounds - >= 235687 @ 2245.72
2430.54/2438.54	c GLOBAL bounds - >= 235687 @ 2246
2430.64/2438.62	c GLOBAL bounds - >= 235687 @ 2246.05
2431.04/2439.00	c GLOBAL bounds - >= 235687 @ 2246.32
2431.54/2439.52	c GLOBAL bounds - >= 235687 @ 2246.74
2432.94/2440.93	c GLOBAL bounds - >= 235687 @ 2248.02
2434.23/2442.26	c GLOBAL bounds - >= 235687 @ 2249.2
2435.43/2443.40	c GLOBAL bounds - >= 235687 @ 2250.22
2444.60/2452.69	c GLOBAL bounds - >= 235687 @ 2259.31
2458.46/2466.57	c GLOBAL bounds - >= 235687 @ 2272.9
2462.15/2470.23	c GLOBAL bounds - >= 235687 @ 2276.41
2492.43/2500.62	c GLOBAL bounds - >= 236473 @ 2306.46
2492.84/2501.05	c GLOBAL bounds - >= 236473 @ 2306.83
2492.94/2501.13	c GLOBAL bounds - >= 236473 @ 2306.88
2493.04/2501.20	c GLOBAL bounds - >= 236473 @ 2306.93
2493.04/2501.28	c GLOBAL bounds - >= 236473 @ 2306.97
2493.14/2501.35	c GLOBAL bounds - >= 236473 @ 2307.02
2493.24/2501.42	c GLOBAL bounds - >= 236473 @ 2307.07
2493.33/2501.50	c GLOBAL bounds - >= 236473 @ 2307.11
2493.33/2501.58	c GLOBAL bounds - >= 236473 @ 2307.16
2494.63/2502.87	c GLOBAL bounds - >= 236473 @ 2308.29
2494.73/2502.95	c GLOBAL bounds - >= 236473 @ 2308.34
2495.13/2503.36	c GLOBAL bounds - >= 236473 @ 2308.62
2495.23/2503.43	c GLOBAL bounds - >= 236473 @ 2308.68
2495.62/2503.89	c GLOBAL bounds - >= 236473 @ 2308.97
2495.73/2503.97	c GLOBAL bounds - >= 236473 @ 2309.01
2496.33/2504.51	c GLOBAL bounds - >= 236473 @ 2309.41
2496.33/2504.58	c GLOBAL bounds - >= 236473 @ 2309.46
2496.84/2505.06	c GLOBAL bounds - >= 236473 @ 2309.79
2496.93/2505.14	c GLOBAL bounds - >= 236473 @ 2309.84
2497.43/2505.60	c GLOBAL bounds - >= 236473 @ 2310.16
2497.43/2505.68	c GLOBAL bounds - >= 236473 @ 2310.21
2497.83/2506.03	c GLOBAL bounds - >= 236473 @ 2310.43
2497.93/2506.11	c GLOBAL bounds - >= 236473 @ 2310.48
2498.32/2506.55	c GLOBAL bounds - >= 236473 @ 2310.8
2498.42/2506.62	c GLOBAL bounds - >= 236473 @ 2310.85
2498.72/2506.98	c GLOBAL bounds - >= 236473 @ 2311.08
2498.82/2507.05	c GLOBAL bounds - >= 236473 @ 2311.13
2499.22/2507.41	c GLOBAL bounds - >= 236473 @ 2311.37
2500.82/2509.02	c GLOBAL bounds - >= 236473 @ 2312.83
2505.50/2513.79	c GLOBAL bounds - >= 236473 @ 2317.44
2507.29/2515.51	c GLOBAL bounds - >= 236473 @ 2319.02
2512.37/2520.67	c GLOBAL bounds - >= 236473 @ 2324
2522.94/2531.27	c GLOBAL bounds - >= 236473 @ 2334.4
2543.27/2551.67	c GLOBAL bounds - >= 236711 @ 2354.57
2543.56/2551.93	c GLOBAL bounds - >= 236711 @ 2354.81
2543.67/2552.01	c GLOBAL bounds - >= 236711 @ 2354.86
2543.67/2552.08	c GLOBAL bounds - >= 236711 @ 2354.91
2543.77/2552.16	c GLOBAL bounds - >= 236711 @ 2354.96
2543.86/2552.24	c GLOBAL bounds - >= 236711 @ 2355
2543.96/2552.31	c GLOBAL bounds - >= 236711 @ 2355.05
2544.77/2553.17	c GLOBAL bounds - >= 236711 @ 2355.77
2544.85/2553.25	c GLOBAL bounds - >= 236711 @ 2355.81
2545.76/2554.16	c GLOBAL bounds - >= 236711 @ 2356.55
2545.86/2554.23	c GLOBAL bounds - >= 236711 @ 2356.6
2546.35/2554.72	c GLOBAL bounds - >= 236711 @ 2356.96
2546.45/2554.80	c GLOBAL bounds - >= 236711 @ 2357.01
2546.85/2555.27	c GLOBAL bounds - >= 236711 @ 2357.35
2546.95/2555.34	c GLOBAL bounds - >= 236711 @ 2357.4
2547.66/2556.03	c GLOBAL bounds - >= 236711 @ 2357.91
2547.75/2556.11	c GLOBAL bounds - >= 236711 @ 2357.97
2548.15/2556.55	c GLOBAL bounds - >= 236711 @ 2358.32
2548.24/2556.63	c GLOBAL bounds - >= 236711 @ 2358.36
2548.65/2557.08	c GLOBAL bounds - >= 236711 @ 2358.68
2548.76/2557.16	c GLOBAL bounds - >= 236711 @ 2358.73
2549.25/2557.63	c GLOBAL bounds - >= 236711 @ 2359.07
2549.35/2557.70	c GLOBAL bounds - >= 236711 @ 2359.12
2549.84/2558.24	c GLOBAL bounds - >= 236711 @ 2359.53
2549.95/2558.32	c GLOBAL bounds - >= 236711 @ 2359.57
2550.34/2558.77	c GLOBAL bounds - >= 236711 @ 2359.91
2553.43/2561.87	c GLOBAL bounds - >= 236711 @ 2362.88
2621.02/2629.65	c GLOBAL bounds - >= 236711 @ 2429.75
2622.61/2631.26	c GLOBAL bounds - >= 236711 @ 2431.25
2626.51/2635.12	c GLOBAL bounds - >= 236895 @ 2435.06
2626.90/2635.50	c GLOBAL bounds - >= 236895 @ 2435.4
2626.90/2635.57	c GLOBAL bounds - >= 236895 @ 2435.45
2627.00/2635.65	c GLOBAL bounds - >= 236895 @ 2435.49
2627.10/2635.72	c GLOBAL bounds - >= 236895 @ 2435.55
2627.60/2636.27	c GLOBAL bounds - >= 236895 @ 2435.96
2627.70/2636.35	c GLOBAL bounds - >= 236895 @ 2436.01
2628.30/2636.90	c GLOBAL bounds - >= 236895 @ 2436.42
2628.30/2636.97	c GLOBAL bounds - >= 236895 @ 2436.47
2628.90/2637.53	c GLOBAL bounds - >= 236895 @ 2436.88
2629.00/2637.61	c GLOBAL bounds - >= 236895 @ 2436.93
2629.51/2638.12	c GLOBAL bounds - >= 236895 @ 2437.32
2629.60/2638.20	c GLOBAL bounds - >= 236895 @ 2437.36
2630.09/2638.71	c GLOBAL bounds - >= 236895 @ 2437.75
2630.09/2638.79	c GLOBAL bounds - >= 236895 @ 2437.8
2630.59/2639.29	c GLOBAL bounds - >= 236895 @ 2438.16
2630.69/2639.36	c GLOBAL bounds - >= 236895 @ 2438.21
2631.19/2639.86	c GLOBAL bounds - >= 236895 @ 2438.57
2631.29/2639.93	c GLOBAL bounds - >= 236895 @ 2438.61
2631.79/2640.40	c GLOBAL bounds - >= 236895 @ 2438.97
2631.79/2640.47	c GLOBAL bounds - >= 236895 @ 2439.02
2632.29/2640.94	c GLOBAL bounds - >= 236895 @ 2439.37
2632.39/2641.02	c GLOBAL bounds - >= 236895 @ 2439.42
2632.78/2641.49	c GLOBAL bounds - >= 236895 @ 2439.77
2633.99/2642.69	c GLOBAL bounds - >= 236895 @ 2440.84
2635.49/2644.17	c GLOBAL bounds - >= 236895 @ 2442.2
2640.96/2649.64	c GLOBAL bounds - >= 236895 @ 2447.47
2653.02/2661.73	c GLOBAL bounds - >= 236895 @ 2459.24
2673.04/2681.81	c GLOBAL bounds - >= 236895 @ 2478.78
2680.42/2689.20	c #Conflicts:      15000 | #Constraints:   45015471
2680.42/2689.20	c GLOBAL bounds - >= 238133 @ 2486.03
2680.92/2689.70	c GLOBAL bounds - >= 238133 @ 2486.5
2680.92/2689.78	c GLOBAL bounds - >= 238133 @ 2486.56
2681.02/2689.85	c GLOBAL bounds - >= 238133 @ 2486.61
2681.12/2689.93	c GLOBAL bounds - >= 238133 @ 2486.65
2681.22/2690.00	c GLOBAL bounds - >= 238133 @ 2486.7
2681.22/2690.08	c GLOBAL bounds - >= 238133 @ 2486.75
2681.82/2690.68	c GLOBAL bounds - >= 238133 @ 2487.22
2681.91/2690.76	c GLOBAL bounds - >= 238133 @ 2487.27
2682.52/2691.34	c cpu time 2487.69 s
2682.52/2691.34	c deterministic time 1279782597 1.28e+09
2682.52/2691.34	c optimization time 2433.35 s
2682.52/2691.34	c total solve time 51.852 s
2682.52/2691.34	c core-guided solve time 0 s
2682.52/2691.34	c propagation time 22.6795 s
2682.52/2691.34	c conflict analysis time 17.8065 s
2682.52/2691.34	c propagations 242499233
2682.52/2691.34	c resolve steps 0
2682.52/2691.34	c decisions 148157899
2682.52/2691.34	c conflicts 1072
2682.52/2691.34	c restarts 6
2682.52/2691.34	c inprocessing phases 0
2682.52/2691.34	c garbage collections 0 ,( -nan )
2682.52/2691.34	c input clauses 490148 ,( 80.08 )
2682.52/2691.34	c input cardinalities 62 ,( 0.01 )
2682.52/2691.34	c input general constraints 121825 ,( 19.90 )
2682.52/2691.34	c input average constraint length 94.30
2682.52/2691.34	c input average constraint degree 24342629.71
2682.52/2691.34	c learned clauses 0 ,( 0.00 )
2682.52/2691.34	c learned cardinalities 3 ,( 0.23 )
2682.52/2691.34	c learned general constraints 1294 ,( 99.77 )
2682.52/2691.34	c learned average constraint length 2449.13
2682.52/2691.34	c learned average constraint degree 73.66
2682.52/2691.34	c watched  CF 32, 64, 128, Arb: 1344 , 0 , 0 , 0
2682.52/2691.34	c counting CF 32, 64, 128, Arb: 121564 , 212 , 0 , 0
2682.52/2691.34	c watched   constraints 1344 ,( 1.09 ) 
2682.52/2691.34	c counting  constraints 121775 ,( 98.91 ) 
2682.52/2691.34	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 46394697 , 4475 , 110363853 ,( 237603 , 110126250 )
2682.52/2691.34	c gcd simplifications 0
2682.52/2691.34	c detected cardinalities 0
2682.52/2691.34	c weakened non-implied lits 0
2682.52/2691.34	c weakened non-implying lits 0
2682.52/2691.34	c original variables 250200
2682.52/2691.34	c clausal propagations 46312535
2682.52/2691.34	c cardinality propagations 18226
2682.52/2691.34	c watched propagations 89466
2682.52/2691.34	c counting propagations 106746786
2682.52/2691.34	c watch lookups 169684399
2682.52/2691.34	c watch backjump lookups 0
2682.52/2691.34	c watch checks 80618423
2682.52/2691.34	c propagation checks 242230646
2682.52/2691.34	c constraint additions 5930942
2682.52/2691.34	c trail pops 390658054
2682.52/2691.34	c formula constraints 610311
2682.52/2691.34	c learned constraints 1297
2682.52/2691.34	c bound constraints 0
2682.52/2691.34	c core-guided constraints 0
2682.52/2691.34	c encountered formula constraints 1
2682.52/2691.34	c encountered learned constraints 0
2682.52/2691.34	c encountered bound constraints 0
2682.52/2691.34	c encountered core-guided constraints 0
2682.52/2691.34	c LP total time 2.75616 s
2682.52/2691.34	c LP solve time 2.46 s
2682.52/2691.34	c LP constraints added 610311
2682.52/2691.34	c LP constraints removed 0
2682.52/2691.34	c LP pivots internal 2000
2682.52/2691.34	c LP pivots root 1000
2682.52/2691.34	c LP calls 2
2682.52/2691.34	c LP optimalities 0
2682.52/2691.34	c LP no pivot count 0
2682.52/2691.34	c LP infeasibilities 0
2682.52/2691.34	c LP valid Farkas constraints 0
2682.52/2691.34	c LP learned Farkas constraints 0
2682.52/2691.34	c LP basis resets 0
2682.52/2691.34	c LP cycling count 0
2682.52/2691.34	c LP singular count 0
2682.52/2691.34	c LP no primal count 0
2682.52/2691.34	c LP no farkas count 0
2682.52/2691.34	c LP other issue count 0
2682.52/2691.34	c LP Gomory cuts 0
2682.52/2691.34	c LP learned cuts 0
2682.52/2691.34	c LP deleted cuts 0
2682.52/2691.34	c LP encountered Gomory constraints 0
2682.52/2691.34	c LP encountered Farkas constraints 0
2682.52/2691.34	c LP encountered learned Farkas constraints 0
2682.52/2691.34	c CG auxiliary variables introduced 518
2682.52/2691.34	c CG solutions found 0
2682.52/2691.34	c CG cores constructed 1081
2682.52/2691.34	c CG core cardinality constraints returned 0
2682.52/2691.34	c CG unit cores 0
2682.52/2691.34	c CG single cores 0
2682.52/2691.34	c CG blocks removed during cardinality reduction 0
2682.52/2691.34	c CG first core best 0
2682.52/2691.34	c CG decision core best 0
2682.52/2691.34	c CG core reduction tie 0
2682.52/2691.34	c CG core degree average 0.00
2682.52/2691.34	c CG core slack average 0.00
2682.52/2691.34	c CG core upper bound improvements 0
2682.52/2691.34	c STR number of successful calls 0
2682.52/2691.34	c STR number of unsuccessful calls 0
2682.52/2691.34	c STR number of inconclusive calls 0
2682.52/2691.34	c STR number of successful attempts 0
2682.52/2691.34	c STR number of unsuccessful attempts 0
2682.52/2691.34	c STR number of inconclusive attempts 0
2682.52/2691.34	c STR average degree increase per successful call inf
2682.52/2691.34	c STR average degree increase per successful attempt inf
2682.52/2691.34	c STR total number of conflicts for successful attempts 0
2682.52/2691.34	c STR total number of conflicts for unsuccessful attempts 0
2682.52/2691.34	c STR total number of conflicts for inconclusive attempts 0
2682.52/2691.34	c STR average number of conflicts per successful attempt inf
2682.52/2691.34	c STR average number of conflicts per unsuccessful attempt inf
2682.52/2691.34	c STR average number of conflicts per inconclusive attempt inf
2682.52/2691.34	c AVG.sumWPerc 98.54 
2682.52/2691.34	c bigint constraints 212 
2682.52/2691.34	s UNKNOWN
2682.52/2691.34	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: 63708 MiB (54435 MiB free)
  memory of node 1: 64465 MiB (47285 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100061 s]*
/proc/loadavg: 4.09 4.12 4.04 5/275 74747
/proc/meminfo: memFree=104103492/131249992 swapFree=33010684/33010684
[pid=74745] ppid=74742 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/74745/stat : 74745 (run-opt-log.sh) S 74742 74745 74222 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62235867 4292608 768 18446744073709551615 94161813626880 94161814521413 140734500150464 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94161814760464 94161814808208 94161837232128 140734500153633 140734500153828 140734500153828 140734500159430 0
/proc/74745/statm: 1048 768 704 219 0 110 0
[pid=74747] ppid=74745 vsize=102008 memory=57080 CPUtime=0.08 cores=4,6
/proc/74747/stat : 74747 (roundingsat) R 74745 74745 74222 0 -1 4194304 8812 0 0 0 6 2 0 0 20 0 1 0 62235868 104456192 14270 18446744073709551615 4227072 8923433 140731233238384 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 25513984 140731233241426 140731233241640 140731233241640 140731233247210 0
/proc/74747/statm: 25502 14270 1952 1147 0 12929 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 106200 KiB
Current children cumulated memory: 60152 KiB

[startup+0.205632 s]*
/proc/loadavg: 4.09 4.12 4.04 5/275 74747
/proc/meminfo: memFree=104098640/131249992 swapFree=33010684/33010684
[pid=74745] ppid=74742 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/74745/stat : 74745 (run-opt-log.sh) S 74742 74745 74222 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62235867 4292608 768 18446744073709551615 94161813626880 94161814521413 140734500150464 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94161814760464 94161814808208 94161837232128 140734500153633 140734500153828 140734500153828 140734500159430 0
/proc/74745/statm: 1048 768 704 219 0 110 0
[pid=74747] ppid=74745 vsize=106840 memory=61688 CPUtime=0.19 cores=4,6
/proc/74747/stat : 74747 (roundingsat) R 74745 74745 74222 0 -1 4194304 9957 0 0 0 15 4 0 0 20 0 1 0 62235868 109404160 15422 18446744073709551615 4227072 8923433 140731233238384 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 25513984 140731233241426 140731233241640 140731233241640 140731233247210 0
/proc/74747/statm: 26710 15422 1952 1147 0 14137 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 111032 KiB
Current children cumulated memory: 64760 KiB

[startup+0.305507 s]*
/proc/loadavg: 4.09 4.12 4.04 5/275 74747
/proc/meminfo: memFree=104083520/131249992 swapFree=33010684/33010684
[pid=74745] ppid=74742 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/74745/stat : 74745 (run-opt-log.sh) S 74742 74745 74222 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62235867 4292608 768 18446744073709551615 94161813626880 94161814521413 140734500150464 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94161814760464 94161814808208 94161837232128 140734500153633 140734500153828 140734500153828 140734500159430 0
/proc/74745/statm: 1048 768 704 219 0 110 0
[pid=74747] ppid=74745 vsize=111076 memory=67600 CPUtime=0.29 cores=4,6
/proc/74747/stat : 74747 (roundingsat) R 74745 74745 74222 0 -1 4194304 10930 0 0 0 22 7 0 0 20 0 1 0 62235868 113741824 16900 18446744073709551615 4227072 8923433 140731233238384 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 25513984 140731233241426 140731233241640 140731233241640 140731233247210 0
/proc/74747/statm: 27769 16900 1952 1147 0 15196 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 115268 KiB
Current children cumulated memory: 70672 KiB

[startup+0.70019 s]
/proc/loadavg: 4.09 4.12 4.04 5/275 74747
/proc/meminfo: memFree=104059832/131249992 swapFree=33010684/33010684
[pid=74745] ppid=74742 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/74745/stat : 74745 (run-opt-log.sh) S 74742 74745 74222 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62235867 4292608 768 18446744073709551615 94161813626880 94161814521413 140734500150464 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94161814760464 94161814808208 94161837232128 140734500153633 140734500153828 140734500153828 140734500159430 0
/proc/74745/statm: 1048 768 704 219 0 110 0
[pid=74747] ppid=74745 vsize=131820 memory=86160 CPUtime=0.67 cores=4,6
/proc/74747/stat : 74747 (roundingsat) R 74745 74745 74222 0 -1 4194304 15888 0 0 0 49 18 0 0 20 0 1 0 62235868 134983680 21540 18446744073709551615 4227072 8923433 140731233238384 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 25513984 140731233241426 140731233241640 140731233241640 140731233247210 0
/proc/74747/statm: 32955 21540 1952 1147 0 20382 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 136012 KiB
Current children cumulated memory: 89232 KiB

[startup+1.50017 s]
/proc/loadavg: 4.08 4.12 4.04 5/275 74747
/proc/meminfo: memFree=103995572/131249992 swapFree=33010684/33010684
[pid=74745] ppid=74742 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/74745/stat : 74745 (run-opt-log.sh) S 74742 74745 74222 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62235867 4292608 768 18446744073709551615 94161813626880 94161814521413 140734500150464 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94161814760464 94161814808208 94161837232128 140734500153633 140734500153828 140734500153828 140734500159430 0
/proc/74745/statm: 1048 768 704 219 0 110 0
[pid=74747] ppid=74745 vsize=179256 memory=127984 CPUtime=1.47 cores=4,6
/proc/74747/stat : 74747 (roundingsat) R 74745 74745 74222 0 -1 4194304 22997 0 0 0 112 35 0 0 20 0 1 0 62235868 183558144 31996 18446744073709551615 4227072 8923433 140731233238384 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 25513984 140731233241426 140731233241640 140731233241640 140731233247210 0
/proc/74747/statm: 44814 31996 1952 1147 0 32241 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 183448 KiB
Current children cumulated memory: 131056 KiB

[startup+3.10557 s]
/proc/loadavg: 4.08 4.12 4.04 5/275 74747
/proc/meminfo: memFree=103149368/131249992 swapFree=33010684/33010684
[pid=74745] ppid=74742 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/74745/stat : 74745 (run-opt-log.sh) S 74742 74745 74222 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62235867 4292608 768 18446744073709551615 94161813626880 94161814521413 140734500150464 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94161814760464 94161814808208 94161837232128 140734500153633 140734500153828 140734500153828 140734500159430 0
/proc/74745/statm: 1048 768 704 219 0 110 0
[pid=74747] ppid=74745 vsize=878280 memory=557700 CPUtime=3.08 cores=4,6
/proc/74747/stat : 74747 (roundingsat) R 74745 74745 74222 0 -1 4194304 49981 0 0 0 240 68 0 0 20 0 1 0 62235868 899358720 139425 18446744073709551615 4227072 8923433 140731233238384 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 25513984 140731233241426 140731233241640 140731233241640 140731233247210 0
/proc/74747/statm: 219570 139425 2240 1147 0 206997 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 882472 KiB
Current children cumulated memory: 560772 KiB

[startup+6.30015 s]
/proc/loadavg: 4.08 4.11 4.04 5/275 74747
/proc/meminfo: memFree=101295908/131249992 swapFree=33010684/33010684
[pid=74745] ppid=74742 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/74745/stat : 74745 (run-opt-log.sh) S 74742 74745 74222 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62235867 4292608 768 18446744073709551615 94161813626880 94161814521413 140734500150464 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94161814760464 94161814808208 94161837232128 140734500153633 140734500153828 140734500153828 140734500159430 0
/proc/74745/statm: 1048 768 704 219 0 110 0
[pid=74747] ppid=74745 vsize=1072972 memory=785276 CPUtime=6.26 cores=4,6
/proc/74747/stat : 74747 (roundingsat) R 74745 74745 74222 0 -1 4194304 87912 0 0 0 474 152 0 0 20 0 1 0 62235868 1098723328 196319 18446744073709551615 4227072 8923433 140731233238384 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 25513984 140731233241426 140731233241640 140731233241640 140731233247210 0
/proc/74747/statm: 268243 196319 2336 1147 0 255670 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1077164 KiB
Current children cumulated memory: 788348 KiB

[startup+12.7002 s]
/proc/loadavg: 4.07 4.11 4.04 5/275 74747
/proc/meminfo: memFree=100501224/131249992 swapFree=33010684/33010684
[pid=74745] ppid=74742 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/74745/stat : 74745 (run-opt-log.sh) S 74742 74745 74222 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62235867 4292608 768 18446744073709551615 94161813626880 94161814521413 140734500150464 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94161814760464 94161814808208 94161837232128 140734500153633 140734500153828 140734500153828 140734500159430 0
/proc/74745/statm: 1048 768 704 219 0 110 0
[pid=74747] ppid=74745 vsize=1201760 memory=913112 CPUtime=12.64 cores=4,6
/proc/74747/stat : 74747 (roundingsat) R 74745 74745 74222 0 -1 4194304 112289 0 0 0 967 297 0 0 20 0 1 0 62235868 1230602240 228278 18446744073709551615 4227072 8923433 140731233238384 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 25513984 140731233241426 140731233241640 140731233241640 140731233247210 0
/proc/74747/statm: 300440 228278 2336 1147 0 287867 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1205952 KiB
Current children cumulated memory: 916184 KiB

[startup+25.5002 s]
/proc/loadavg: 4.06 4.11 4.04 8/275 74747
/proc/meminfo: memFree=98783664/131249992 swapFree=33010684/33010684
[pid=74745] ppid=74742 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/74745/stat : 74745 (run-opt-log.sh) S 74742 74745 74222 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62235867 4292608 768 18446744073709551615 94161813626880 94161814521413 140734500150464 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94161814760464 94161814808208 94161837232128 140734500153633 140734500153828 140734500153828 140734500159430 0
/proc/74745/statm: 1048 768 704 219 0 110 0
[pid=74747] ppid=74745 vsize=1627376 memory=1304084 CPUtime=25.41 cores=4,6
/proc/74747/stat : 74747 (roundingsat) R 74745 74745 74222 0 -1 4194304 187275 0 0 0 2101 440 0 0 20 0 1 0 62235868 1666433024 326021 18446744073709551615 4227072 8923433 140731233238384 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 25513984 140731233241426 140731233241640 140731233241640 140731233247210 0
/proc/74747/statm: 406844 326021 2336 1147 0 394271 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 1631568 KiB
Current children cumulated memory: 1307156 KiB

[startup+51.1047 s]
/proc/loadavg: 4.10 4.11 4.04 5/276 74749
/proc/meminfo: memFree=95514952/131249992 swapFree=33010684/33010684
[pid=74745] ppid=74742 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/74745/stat : 74745 (run-opt-log.sh) S 74742 74745 74222 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62235867 4292608 768 18446744073709551615 94161813626880 94161814521413 140734500150464 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94161814760464 94161814808208 94161837232128 140734500153633 140734500153828 140734500153828 140734500159430 0
/proc/74745/statm: 1048 768 704 219 0 110 0
[pid=74747] ppid=74745 vsize=2766988 memory=2394888 CPUtime=50.95 cores=4,6
/proc/74747/stat : 74747 (roundingsat) R 74745 74745 74222 0 -1 4194304 350597 0 0 0 4400 695 0 0 20 0 1 0 62235868 2833395712 598722 18446744073709551615 4227072 8923433 140731233238384 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 25513984 140731233241426 140731233241640 140731233241640 140731233247210 0
/proc/74747/statm: 691747 598722 2368 1147 0 679174 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 2771180 KiB
Current children cumulated memory: 2397960 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.11 4.04 7/275 74751
/proc/meminfo: memFree=90071872/131249992 swapFree=33010684/33010684
[pid=74745] ppid=74742 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/74745/stat : 74745 (run-opt-log.sh) S 74742 74745 74222 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62235867 4292608 768 18446744073709551615 94161813626880 94161814521413 140734500150464 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94161814760464 94161814808208 94161837232128 140734500153633 140734500153828 140734500153828 140734500159430 0
/proc/74745/statm: 1048 768 704 219 0 110 0
[pid=74747] ppid=74745 vsize=4236872 memory=3578352 CPUtime=102.01 cores=4,6
/proc/74747/stat : 74747 (roundingsat) R 74745 74745 74222 0 -1 4194304 558131 0 0 0 9209 992 0 0 20 0 1 0 62235868 4338556928 894588 18446744073709551615 4227072 8923433 140731233238384 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 25513984 140731233241426 140731233241640 140731233241640 140731233247210 0
/proc/74747/statm: 1059218 894588 2368 1147 0 1046645 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 4241064 KiB
Current children cumulated memory: 3581424 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.12 4.05 5/274 74754
/proc/meminfo: memFree=83981784/131249992 swapFree=33010684/33010684
[pid=74745] ppid=74742 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/74745/stat : 74745 (run-opt-log.sh) S 74742 74745 74222 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62235867 4292608 768 18446744073709551615 94161813626880 94161814521413 140734500150464 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94161814760464 94161814808208 94161837232128 140734500153633 140734500153828 140734500153828 140734500159430 0
/proc/74745/statm: 1048 768 704 219 0 110 0
[pid=74747] ppid=74745 vsize=6339196 memory=5159232 CPUtime=161.8 cores=4,6
/proc/74747/stat : 74747 (roundingsat) R 74745 74745 74222 0 -1 4194304 833864 0 0 0 14435 1745 0 0 20 0 1 0 62235868 6491336704 1289808 18446744073709551615 4227072 8923433 140731233238384 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 25513984 140731233241426 140731233241640 140731233241640 140731233247210 0
/proc/74747/statm: 1584799 1289808 2368 1147 0 1572226 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 6343388 KiB
Current children cumulated memory: 5162304 KiB

[startup+222.3 s]
/proc/loadavg: 4.16 4.13 4.06 5/273 74755
/proc/meminfo: memFree=77971564/131249992 swapFree=33010684/33010684
[pid=74745] ppid=74742 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/74745/stat : 74745 (run-opt-log.sh) S 74742 74745 74222 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62235867 4292608 768 18446744073709551615 94161813626880 94161814521413 140734500150464 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94161814760464 94161814808208 94161837232128 140734500153633 140734500153828 140734500153828 140734500159430 0
/proc/74745/statm: 1048 768 704 219 0 110 0
[pid=74747] ppid=74745 vsize=6875976 memory=6094872 CPUtime=221.62 cores=4,6
/proc/74747/stat : 74747 (roundingsat) R 74745 74745 74222 0 -1 4194304 985152 0 0 0 20123 2039 0 0 20 0 1 0 62235868 7040999424 1523718 18446744073709551615 4227072 8923433 140731233238384 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 25513984 140731233241426 140731233241640 140731233241640 140731233247210 0
/proc/74747/statm: 1718994 1523718 2368 1147 0 1706421 0

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

/proc/loadavg: 4.21 4.22 4.18 5/275 74874
/proc/meminfo: memFree=716784/131249992 swapFree=33010160/33010684
[pid=74745] ppid=74742 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/74745/stat : 74745 (run-opt-log.sh) S 74742 74745 74222 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62235867 4292608 768 18446744073709551615 94161813626880 94161814521413 140734500150464 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94161814760464 94161814808208 94161837232128 140734500153633 140734500153828 140734500153828 140734500159430 0
/proc/74745/statm: 1048 768 704 219 0 110 0
[pid=74747] ppid=74745 vsize=28234136 memory=25317096 CPUtime=2374.51 cores=4,6
/proc/74747/stat : 74747 (roundingsat) R 74745 74745 74222 0 -1 4194304 5828653 0 0 0 219246 18205 0 0 20 0 1 0 62235868 28911755264 6329274 18446744073709551615 4227072 8923433 140731233238384 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 25513984 140731233241426 140731233241640 140731233241640 140731233247210 0
/proc/74747/statm: 7058534 6329274 2368 1147 0 7045961 0
Current children cumulated CPU time: 2374.51 s
Current children cumulated vsize: 28238328 KiB
Current children cumulated memory: 25320168 KiB

[startup+2442.3 s]
/proc/loadavg: 4.12 4.19 4.18 5/273 74876
/proc/meminfo: memFree=784784/131249992 swapFree=33010160/33010684
[pid=74745] ppid=74742 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/74745/stat : 74745 (run-opt-log.sh) S 74742 74745 74222 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62235867 4292608 768 18446744073709551615 94161813626880 94161814521413 140734500150464 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94161814760464 94161814808208 94161837232128 140734500153633 140734500153828 140734500153828 140734500159430 0
/proc/74745/statm: 1048 768 704 219 0 110 0
[pid=74747] ppid=74745 vsize=28438264 memory=25747196 CPUtime=2434.33 cores=4,6
/proc/74747/stat : 74747 (roundingsat) R 74745 74745 74222 0 -1 4194304 5903511 0 0 0 224924 18509 0 0 20 0 1 0 62235868 29120782336 6436799 18446744073709551615 4227072 8923433 140731233238384 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 25513984 140731233241426 140731233241640 140731233241640 140731233247210 0
/proc/74747/statm: 7109566 6436799 2368 1147 0 7096993 0
Current children cumulated CPU time: 2434.33 s
Current children cumulated vsize: 28442456 KiB
Current children cumulated memory: 25750268 KiB

[startup+2502.3 s]
/proc/loadavg: 4.14 4.19 4.18 5/273 74879
/proc/meminfo: memFree=613008/131249992 swapFree=33010160/33010684
[pid=74745] ppid=74742 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/74745/stat : 74745 (run-opt-log.sh) S 74742 74745 74222 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62235867 4292608 768 18446744073709551615 94161813626880 94161814521413 140734500150464 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94161814760464 94161814808208 94161837232128 140734500153633 140734500153828 140734500153828 140734500159430 0
/proc/74745/statm: 1048 768 704 219 0 110 0
[pid=74747] ppid=74745 vsize=28595820 memory=26163528 CPUtime=2494.13 cores=4,6
/proc/74747/stat : 74747 (roundingsat) R 74745 74745 74222 0 -1 4194304 5974031 0 0 0 230783 18630 0 0 20 0 1 0 62235868 29282119680 6540882 18446744073709551615 4227072 8923433 140731233238384 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 25513984 140731233241426 140731233241640 140731233241640 140731233247210 0
/proc/74747/statm: 7148955 6540882 2368 1147 0 7136382 0
Current children cumulated CPU time: 2494.13 s
Current children cumulated vsize: 28600012 KiB
Current children cumulated memory: 26166600 KiB

[startup+2562.3 s]
/proc/loadavg: 4.10 4.17 4.17 5/273 74881
/proc/meminfo: memFree=809972/131249992 swapFree=33010160/33010684
[pid=74745] ppid=74742 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/74745/stat : 74745 (run-opt-log.sh) S 74742 74745 74222 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62235867 4292608 768 18446744073709551615 94161813626880 94161814521413 140734500150464 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94161814760464 94161814808208 94161837232128 140734500153633 140734500153828 140734500153828 140734500159430 0
/proc/74745/statm: 1048 768 704 219 0 110 0
[pid=74747] ppid=74745 vsize=28782440 memory=26613000 CPUtime=2553.93 cores=4,6
/proc/74747/stat : 74747 (roundingsat) R 74745 74745 74222 0 -1 4194304 6055800 0 0 0 236329 19064 0 0 20 0 1 0 62235868 29473218560 6653250 18446744073709551615 4227072 8923433 140731233238384 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 25513984 140731233241426 140731233241640 140731233241640 140731233247210 0
/proc/74747/statm: 7195610 6653250 2368 1147 0 7183037 0
Current children cumulated CPU time: 2553.93 s
Current children cumulated vsize: 28786632 KiB
Current children cumulated memory: 26616072 KiB

[startup+2622.3 s]
/proc/loadavg: 4.15 4.18 4.18 5/273 74883
/proc/meminfo: memFree=710372/131249992 swapFree=33010160/33010684
[pid=74745] ppid=74742 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/74745/stat : 74745 (run-opt-log.sh) S 74742 74745 74222 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62235867 4292608 768 18446744073709551615 94161813626880 94161814521413 140734500150464 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94161814760464 94161814808208 94161837232128 140734500153633 140734500153828 140734500153828 140734500159430 0
/proc/74745/statm: 1048 768 704 219 0 110 0
[pid=74747] ppid=74745 vsize=29151408 memory=27123012 CPUtime=2613.74 cores=4,6
/proc/74747/stat : 74747 (roundingsat) R 74745 74745 74222 0 -1 4194304 6149104 0 0 0 242256 19118 0 0 20 0 1 0 62235868 29851041792 6780753 18446744073709551615 4227072 8923433 140731233238384 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 25513984 140731233241426 140731233241640 140731233241640 140731233247210 0
/proc/74747/statm: 7287852 6780753 2368 1147 0 7275279 0
Current children cumulated CPU time: 2613.74 s
Current children cumulated vsize: 29155600 KiB
Current children cumulated memory: 27126084 KiB

[startup+2682.3 s]
/proc/loadavg: 4.17 4.19 4.18 5/274 74887
/proc/meminfo: memFree=965400/131249992 swapFree=33010160/33010684
[pid=74745] ppid=74742 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/74745/stat : 74745 (run-opt-log.sh) S 74742 74745 74222 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62235867 4292608 768 18446744073709551615 94161813626880 94161814521413 140734500150464 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94161814760464 94161814808208 94161837232128 140734500153633 140734500153828 140734500153828 140734500159430 0
/proc/74745/statm: 1048 768 704 219 0 110 0
[pid=74747] ppid=74745 vsize=30611676 memory=28192792 CPUtime=2673.54 cores=4,6
/proc/74747/stat : 74747 (roundingsat) R 74745 74745 74222 0 -1 4194304 6387331 0 0 0 247926 19428 0 0 20 0 1 0 62235868 31346356224 7048198 18446744073709551615 4227072 8923433 140731233238384 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 25513984 140731233241426 140731233241640 140731233241640 140731233247210 0
/proc/74747/statm: 7652919 7048198 2368 1147 0 7640346 0
Current children cumulated CPU time: 2673.54 s
Current children cumulated vsize: 30615868 KiB
Current children cumulated memory: 28195864 KiB

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

# cumulated CPU time of all completed processes:  user=2489.57 s, system=196.274 s

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

[startup+2688 s]*
/proc/loadavg: 4.16 4.18 4.18 5/274 74887
/proc/meminfo: memFree=857188/131249992 swapFree=33010160/33010684
[pid=74745] ppid=74742 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/74745/stat : 74745 (run-opt-log.sh) S 74742 74745 74222 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62235867 4292608 768 18446744073709551615 94161813626880 94161814521413 140734500150464 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94161814760464 94161814808208 94161837232128 140734500153633 140734500153828 140734500153828 140734500159430 0
/proc/74745/statm: 1048 768 704 219 0 110 0
[pid=74747] ppid=74745 vsize=31027456 memory=28442336 CPUtime=2679.23 cores=4,6
/proc/74747/stat : 74747 (roundingsat) R 74745 74745 74222 0 -1 4194304 6445907 0 0 0 248484 19439 0 0 20 0 1 0 62235868 31772114944 7110584 18446744073709551615 4227072 8923433 140731233238384 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 25513984 140731233241426 140731233241640 140731233241640 140731233247210 0
/proc/74747/statm: 7756864 7110584 2368 1147 0 7744291 0
Current children cumulated CPU time: 2679.23 s
Current children cumulated vsize: 31031648 KiB
Current children cumulated memory: 28445408 KiB

[startup+2691.2 s]
/proc/loadavg: 4.16 4.18 4.18 5/274 74887
/proc/meminfo: memFree=809068/131249992 swapFree=33010160/33010684
[pid=74745] ppid=74742 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/74745/stat : 74745 (run-opt-log.sh) S 74742 74745 74222 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62235867 4292608 768 18446744073709551615 94161813626880 94161814521413 140734500150464 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94161814760464 94161814808208 94161837232128 140734500153633 140734500153828 140734500153828 140734500159430 0
/proc/74745/statm: 1048 768 704 219 0 110 0
[pid=74747] ppid=74745 vsize=31120316 memory=28516260 CPUtime=2682.42 cores=4,6
/proc/74747/stat : 74747 (roundingsat) R 74745 74745 74222 0 -1 4194304 6461324 0 0 0 248759 19483 0 0 20 0 1 0 62235868 31867203584 7129065 18446744073709551615 4227072 8923433 140731233238384 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 25513984 140731233241426 140731233241640 140731233241640 140731233247210 0
/proc/74747/statm: 7780079 7129065 2368 1147 0 7767506 0
Current children cumulated CPU time: 2682.42 s
Current children cumulated vsize: 31124508 KiB
Current children cumulated memory: 28519332 KiB

[startup+2692.8 s]
/proc/loadavg: 4.31 4.21 4.19 5/274 74887
/proc/meminfo: memFree=1260952/131249992 swapFree=33010160/33010684
[pid=74745] ppid=74742 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/74745/stat : 74745 (run-opt-log.sh) S 74742 74745 74222 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62235867 4292608 768 18446744073709551615 94161813626880 94161814521413 140734500150464 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94161814760464 94161814808208 94161837232128 140734500153633 140734500153828 140734500153828 140734500159430 0
/proc/74745/statm: 1048 768 704 219 0 110 0
[pid=74747] ppid=74745 vsize=30075164 memory=27627404 CPUtime=2683.78 cores=4,6
/proc/74747/stat : 74747 (roundingsat) R 74745 74745 74222 0 -1 4194304 6597802 0 1 0 248870 19508 0 0 20 0 1 0 62235868 30796967936 6906851 18446744073709551615 4227072 8923433 140731233238384 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 25513984 140731233241426 140731233241640 140731233241640 140731233247210 0
/proc/74747/statm: 7518791 6906851 2496 1147 0 7506218 0
Current children cumulated CPU time: 2683.78 s
Current children cumulated vsize: 30079356 KiB
Current children cumulated memory: 27630476 KiB

[startup+2693.6 s]
/proc/loadavg: 4.31 4.21 4.19 5/274 74887
/proc/meminfo: memFree=2907944/131249992 swapFree=33010160/33010684
[pid=74745] ppid=74742 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/74745/stat : 74745 (run-opt-log.sh) S 74742 74745 74222 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62235867 4292608 768 18446744073709551615 94161813626880 94161814521413 140734500150464 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94161814760464 94161814808208 94161837232128 140734500153633 140734500153828 140734500153828 140734500159430 0
/proc/74745/statm: 1048 768 704 219 0 110 0
[pid=74747] ppid=74745 vsize=22580352 memory=20518496 CPUtime=2684.57 cores=4,6
/proc/74747/stat : 74747 (roundingsat) R 74745 74745 74222 0 -1 4194304 6600566 0 1 0 248940 19517 0 0 20 0 1 0 62235868 23122280448 5129624 18446744073709551615 4227072 8923433 140731233238384 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 25513984 140731233241426 140731233241640 140731233241640 140731233247210 0
/proc/74747/statm: 5645088 5129624 2496 1147 0 5632515 0
Current children cumulated CPU time: 2684.57 s
Current children cumulated vsize: 22584544 KiB
Current children cumulated memory: 20521568 KiB

[startup+2694.4 s]
/proc/loadavg: 4.31 4.21 4.19 5/274 74887
/proc/meminfo: memFree=9557688/131249992 swapFree=33010160/33010684
[pid=74745] ppid=74742 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/74745/stat : 74745 (run-opt-log.sh) S 74742 74745 74222 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62235867 4292608 768 18446744073709551615 94161813626880 94161814521413 140734500150464 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94161814760464 94161814808208 94161837232128 140734500153633 140734500153828 140734500153828 140734500159430 0
/proc/74745/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+2694.8 s]
/proc/loadavg: 4.31 4.21 4.19 5/274 74887
/proc/meminfo: memFree=9557688/131249992 swapFree=33010160/33010684
[pid=74745] ppid=74742 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/74745/stat : 74745 (run-opt-log.sh) S 74742 74745 74222 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62235867 4292608 768 18446744073709551615 94161813626880 94161814521413 140734500150464 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94161814760464 94161814808208 94161837232128 140734500153633 140734500153828 140734500153828 140734500159430 0
/proc/74745/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): 2694.86
CPU time (s): 2685.84
CPU user time (s): 2489.57
CPU system time (s): 196.274
CPU usage (%): 99.6653
Max. virtual memory (cumulated for all children) (KiB): 31125132
Max. memory (cumulated for all children) (KiB): 28521508

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2489.57
system time used= 196.274
maximum resident set size= 28518436
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6717026
page faults= 1
swaps= 0
block input operations= 4040
block output operations= 63051440
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6694
involuntary context switches= 20959


# summary of solver processes directly reported to runsolver:
#   pid: 74745
#   total CPU time (s): 2685.84
#   total CPU user time (s): 2489.57
#   total CPU system time (s): 196.274

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.26229 second user time and 12.0346 second system time

The end

Launcher Data 

Begin job on nodeC025 at 2025-07-02 16:12:51
IDJOB=4504619
IDBENCH=155666
IDSOLVER=3351
FILE ID=nodeC025/4504619-1751465571
RUNJOBID= nodeC025-1751461732-74233
SLURM_JOB_ID= 9598466
Free space on /tmp= 432900 MiB

SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Multihop/normalized-minisat50_6_9_4_mh.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4504619-1751465571/watcher-4504619-1751465571 -o /tmp/evaluation-result-4504619-1751465571/solver-4504619-1751465571 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751461732-74233 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4504619-1751465571.opb PROOFDIR/proof-4504619-1751465571

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

MD5SUM BENCH= 5c375d9eec0e7448397e2587af216396
RANDOM SEED=1246832963

nodeC025 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.840
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.67
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.828
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.67
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		: 3700.000
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.67
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		: 3577.667
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.67
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		: 3600.040
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.67
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.922
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.67
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		: 3615.274
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.67
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		: 3546.354
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.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249992 kB
MemFree:        104179088 kB
MemAvailable:   119372988 kB
Buffers:            3280 kB
Cached:         15980284 kB
SwapCached:            0 kB
Active:         10550932 kB
Inactive:       15639752 kB
Active(anon):   10225288 kB
Inactive(anon):        0 kB
Active(file):     325644 kB
Inactive(file): 15639752 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:           7159780 kB
Writeback:            80 kB
AnonPages:      10210304 kB
Mapped:           117324 kB
Shmem:             18084 kB
KReclaimable:     135488 kB
Slab:             448996 kB
SReclaimable:     135488 kB
SUnreclaim:       313508 kB
KernelStack:        4416 kB
PageTables:        24348 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   11950392 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150680 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2082816 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:      207572 kB
DirectMap2M:     9000960 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432892 MiB
End job on nodeC025 at 2025-07-02 16:57:46