0.00/0.14 c RoundingSat 2
0.00/0.14 c branch pb25
0.00/0.14 c commit 63f22ad
0.08/0.23 c #variables 4447 #constraints 4926
0.08/0.23 c objective is ce32
0.08/0.27 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.08/0.27 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.08/0.27 c GLOBAL bounds - >= -2128 @ 0.087488
0.08/0.28 c GLOBAL bounds - >= -2128 @ 0.094188
0.38/0.60 c GLOBAL bounds - >= -2128 @ 0.400475
0.47/0.65 c GLOBAL bounds - >= -2128 @ 0.452047
0.55/0.70 c GLOBAL bounds - >= -2128 @ 0.490761
0.75/0.92 c GLOBAL bounds - >= -2128 @ 0.69544
1.34/1.56 c GLOBAL bounds - >= -2128 @ 1.30502
1.45/1.66 c GLOBAL bounds - >= -2128 @ 1.39915
1.55/1.70 c GLOBAL bounds - >= -2128 @ 1.42682
1.55/1.73 c GLOBAL bounds - >= -2128 @ 1.45091
1.65/1.84 c GLOBAL bounds - >= -2128 @ 1.55122
1.75/1.90 c GLOBAL bounds - >= -2128 @ 1.60432
1.75/1.94 c GLOBAL bounds - >= -2128 @ 1.6433
1.75/1.97 c GLOBAL bounds - >= -2128 @ 1.66929
1.86/2.02 c GLOBAL bounds - >= -2128 @ 1.71588
1.86/2.07 c GLOBAL bounds - >= -2128 @ 1.75535
1.96/2.19 c GLOBAL bounds - >= -2128 @ 1.86161
2.04/2.25 c GLOBAL bounds - >= -2128 @ 1.9074
2.24/2.42 c GLOBAL bounds - >= -2128 @ 2.07093
2.34/2.57 c GLOBAL bounds - >= -2128 @ 2.20492
2.45/2.60 c GLOBAL bounds - >= -2128 @ 2.234
2.54/2.74 c GLOBAL bounds - >= -2128 @ 2.36136
2.65/2.81 c GLOBAL bounds - >= -2128 @ 2.42725
2.65/2.86 c #Conflicts: 1000 | #Constraints: 5968
2.65/2.86 c GLOBAL bounds - >= -2128 @ 2.47356
3.14/3.36 c GLOBAL bounds - >= -2128 @ 2.96321
3.14/3.39 c GLOBAL bounds - >= -2128 @ 2.99467
3.34/3.53 c GLOBAL bounds - >= -2128 @ 3.12305
3.44/3.66 c GLOBAL bounds - >= -2128 @ 3.2487
3.64/3.88 c GLOBAL bounds - >= -2128 @ 3.45414
4.04/4.23 c GLOBAL bounds - >= -2128 @ 3.78638
4.04/4.30 c GLOBAL bounds - >= -2128 @ 3.85275
4.34/4.56 c GLOBAL bounds - >= -2128 @ 4.10521
4.44/4.67 c GLOBAL bounds - >= -2128 @ 4.20233
4.85/5.06 c #Conflicts: 2000 | #Constraints: 6988
4.85/5.06 c INPROCESSING
4.85/5.06 c GARBAGE COLLECT
4.85/5.06 c GLOBAL bounds - >= -2128 @ 4.58678
4.95/5.13 c GLOBAL bounds - >= -2128 @ 4.65358
7.53/7.73 c #Conflicts: 3000 | #Constraints: 7007
7.53/7.73 c GLOBAL bounds - >= -2128 @ 7.1834
7.73/7.96 c GLOBAL bounds - >= -2128 @ 7.40845
8.72/8.90 c #Conflicts: 4000 | #Constraints: 8011
8.72/8.90 c INPROCESSING
8.72/8.90 c GARBAGE COLLECT
8.72/8.90 c GLOBAL bounds - >= -2128 @ 8.29302
8.94/9.16 c GLOBAL bounds - >= -2128 @ 8.55165
9.23/9.40 c GLOBAL bounds - >= -2128 @ 8.78462
10.42/10.63 c #Conflicts: 5000 | #Constraints: 7438
10.42/10.63 c GLOBAL bounds - >= -2128 @ 9.97023
10.52/10.79 c GLOBAL bounds - >= -2128 @ 10.1343
11.21/11.48 c GLOBAL bounds - >= -2128 @ 10.7989
13.92/14.17 c #Conflicts: 6000 | #Constraints: 8444
13.92/14.17 c INPROCESSING
13.92/14.17 c GARBAGE COLLECT
13.92/14.17 c #Conflicts: 7000 | #Constraints: 7459
13.92/14.17 c GLOBAL bounds - >= -2128 @ 13.4045
14.21/14.43 c GLOBAL bounds - >= -2128 @ 13.6587
15.51/15.76 c #Conflicts: 8000 | #Constraints: 8463
15.51/15.76 c GLOBAL bounds - >= -2128 @ 14.9604
16.00/16.28 c GLOBAL bounds - >= -2128 @ 15.4635
16.71/16.94 c GLOBAL bounds - >= -2128 @ 16.1177
17.10/17.39 c GLOBAL bounds - >= -2128 @ 16.5588
17.50/17.74 c GLOBAL bounds - >= -2128 @ 16.8879
19.00/19.28 c #Conflicts: 9000 | #Constraints: 9473
19.00/19.28 c INPROCESSING
19.00/19.28 c GARBAGE COLLECT
19.00/19.28 c GLOBAL bounds - >= -2128 @ 18.3961
19.29/19.51 c GLOBAL bounds - >= -2128 @ 18.6195
19.49/19.70 c GLOBAL bounds - >= -2128 @ 18.7984
19.81/20.03 c #Conflicts: 10000 | #Constraints: 8187
19.81/20.03 c GLOBAL bounds - >= -2128 @ 19.1209
19.99/20.26 c GLOBAL bounds - >= -2128 @ 19.3486
21.80/22.07 c #Conflicts: 11000 | #Constraints: 9191
21.80/22.07 c GLOBAL bounds - >= -2128 @ 21.1119
24.79/25.08 c #Conflicts: 12000 | #Constraints: 10193
24.79/25.08 c INPROCESSING
24.79/25.08 c GARBAGE COLLECT
24.79/25.08 c GLOBAL bounds - >= -2128 @ 24.0477
28.66/28.95 c #Conflicts: 13000 | #Constraints: 8652
28.66/28.95 c #Conflicts: 14000 | #Constraints: 9652
28.66/28.95 c GLOBAL bounds - >= -2128 @ 27.8254
30.66/30.93 c #Conflicts: 15000 | #Constraints: 10654
30.66/30.93 c INPROCESSING
30.66/30.93 c GARBAGE COLLECT
30.66/30.93 c GLOBAL bounds - >= -2128 @ 29.7554
33.05/33.30 c #Conflicts: 16000 | #Constraints: 8884
33.05/33.30 c GLOBAL bounds - >= -2128 @ 32.0673
35.45/35.79 c #Conflicts: 17000 | #Constraints: 9886
35.45/35.79 c #Conflicts: 18000 | #Constraints: 10886
35.45/35.79 c INPROCESSING
35.45/35.79 c GARBAGE COLLECT
35.45/35.79 c GLOBAL bounds - >= -2128 @ 34.53
36.94/37.28 c #Conflicts: 19000 | #Constraints: 8900
36.94/37.28 c GLOBAL bounds - >= -2128 @ 35.9734
37.44/37.75 c GLOBAL bounds - >= -2128 @ 36.4381
38.04/38.35 c GLOBAL bounds - >= -2128 @ 37.0254
38.34/38.62 c GLOBAL bounds - >= -2128 @ 37.2907
38.54/38.81 c GLOBAL bounds - >= -2128 @ 37.4768
45.52/45.89 c #Conflicts: 20000 | #Constraints: 9910
45.52/45.89 c #Conflicts: 21000 | #Constraints: 10910
45.52/45.89 c INPROCESSING
45.52/45.89 c GARBAGE COLLECT
45.52/45.89 c #Conflicts: 22000 | #Constraints: 8716
45.52/45.89 c #Conflicts: 23000 | #Constraints: 9716
45.52/45.89 c GLOBAL bounds - >= -2128 @ 44.4163
49.82/50.19 c #Conflicts: 24000 | #Constraints: 10718
49.82/50.19 c #Conflicts: 25000 | #Constraints: 11718
49.82/50.19 c INPROCESSING
49.82/50.19 c GARBAGE COLLECT
49.82/50.19 c GLOBAL bounds - >= -2128 @ 48.6109
60.28/60.61 c #Conflicts: 26000 | #Constraints: 9349
60.28/60.61 c #Conflicts: 27000 | #Constraints: 10349
60.28/60.61 c #Conflicts: 28000 | #Constraints: 11349
60.28/60.61 c #Conflicts: 29000 | #Constraints: 12349
60.28/60.61 c INPROCESSING
60.28/60.61 c GARBAGE COLLECT
60.28/60.61 c #Conflicts: 30000 | #Constraints: 9748
60.28/60.61 c GLOBAL bounds - >= -2128 @ 58.8819
62.68/63.11 c #Conflicts: 31000 | #Constraints: 10750
62.68/63.11 c GLOBAL bounds - >= -2128 @ 61.3421
64.68/65.08 c #Conflicts: 32000 | #Constraints: 11752
64.68/65.08 c GLOBAL bounds - >= -2128 @ 63.2886
67.16/67.56 c #Conflicts: 33000 | #Constraints: 12754
67.16/67.56 c INPROCESSING
67.16/67.56 c GARBAGE COLLECT
67.16/67.56 c GLOBAL bounds - >= -2128 @ 65.7299
77.64/78.04 c #Conflicts: 34000 | #Constraints: 9956
77.64/78.04 c #Conflicts: 35000 | #Constraints: 10956
77.64/78.04 c #Conflicts: 36000 | #Constraints: 11956
77.64/78.04 c #Conflicts: 37000 | #Constraints: 12956
77.64/78.04 c INPROCESSING
77.64/78.04 c GARBAGE COLLECT
77.64/78.04 c #Conflicts: 38000 | #Constraints: 9966
77.64/78.04 c GLOBAL bounds - >= -2128 @ 76.0427
78.92/79.38 c #Conflicts: 39000 | #Constraints: 10968
78.92/79.38 c GLOBAL bounds - >= -2128 @ 77.3569
82.41/82.89 c #Conflicts: 40000 | #Constraints: 11970
82.41/82.89 c #Conflicts: 41000 | #Constraints: 12970
82.41/82.89 c INPROCESSING
82.41/82.89 c GARBAGE COLLECT
82.41/82.89 c GLOBAL bounds - >= -2128 @ 80.8005
83.51/83.99 c #Conflicts: 42000 | #Constraints: 9796
83.51/83.99 c GLOBAL bounds - >= -2128 @ 81.8892
84.11/84.50 c GLOBAL bounds - >= -2128 @ 82.3937
88.61/89.02 c #Conflicts: 43000 | #Constraints: 10800
88.61/89.02 c #Conflicts: 44000 | #Constraints: 11800
88.61/89.02 c GLOBAL bounds - >= -2128 @ 86.8569
90.10/90.54 c #Conflicts: 45000 | #Constraints: 12802
90.10/90.54 c GLOBAL bounds - >= -2128 @ 88.3526
92.70/93.14 c #Conflicts: 46000 | #Constraints: 13804
92.70/93.14 c INPROCESSING
92.70/93.14 c GARBAGE COLLECT
92.70/93.14 c GLOBAL bounds - >= -2128 @ 90.901
93.28/93.77 c GLOBAL bounds - >= -2128 @ 91.5287
96.88/97.38 c #Conflicts: 47000 | #Constraints: 10393
96.88/97.38 c #Conflicts: 48000 | #Constraints: 11393
96.88/97.38 c GLOBAL bounds - >= -2128 @ 95.0495
97.87/98.37 c GLOBAL bounds - >= -2128 @ 96.0174
99.46/99.92 c #Conflicts: 49000 | #Constraints: 12397
99.46/99.92 c GLOBAL bounds - >= -2128 @ 97.5508
100.47/101.00 c GLOBAL bounds - >= -2128 @ 98.6115
104.46/104.96 c #Conflicts: 50000 | #Constraints: 13401
104.46/104.96 c #Conflicts: 51000 | #Constraints: 14401
104.46/104.96 c INPROCESSING
104.46/104.96 c GARBAGE COLLECT
104.46/104.96 c GLOBAL bounds - >= -2128 @ 102.49
105.15/105.66 c #Conflicts: 52000 | #Constraints: 10797
105.15/105.66 c GLOBAL bounds - >= -2128 @ 103.187
107.55/108.05 c #Conflicts: 53000 | #Constraints: 11799
107.55/108.05 c GLOBAL bounds - >= -2128 @ 105.528
111.74/112.27 c #Conflicts: 54000 | #Constraints: 12801
111.74/112.27 c #Conflicts: 55000 | #Constraints: 13801
111.74/112.27 c GLOBAL bounds - >= -2128 @ 109.683
113.03/113.50 c GLOBAL bounds - >= -2128 @ 110.891
113.92/114.41 c #Conflicts: 56000 | #Constraints: 14805
113.92/114.41 c INPROCESSING
113.92/114.41 c GARBAGE COLLECT
113.92/114.41 c GLOBAL bounds - >= -2128 @ 111.791
125.61/126.16 c #Conflicts: 57000 | #Constraints: 11014
125.61/126.16 c #Conflicts: 58000 | #Constraints: 12014
125.61/126.16 c #Conflicts: 59000 | #Constraints: 13014
125.61/126.16 c #Conflicts: 60000 | #Constraints: 14014
125.61/126.16 c #Conflicts: 61000 | #Constraints: 15014
125.61/126.16 c INPROCESSING
125.61/126.16 c GARBAGE COLLECT
125.61/126.16 c #Conflicts: 62000 | #Constraints: 11019
125.61/126.16 c GLOBAL bounds - >= -2128 @ 123.346
134.17/134.77 c #Conflicts: 63000 | #Constraints: 12021
134.17/134.77 c #Conflicts: 64000 | #Constraints: 13021
134.17/134.77 c #Conflicts: 65000 | #Constraints: 14021
134.17/134.77 c GLOBAL bounds - >= -2128 @ 131.854
138.36/138.96 c #Conflicts: 66000 | #Constraints: 15023
138.36/138.96 c INPROCESSING
138.36/138.96 c GARBAGE COLLECT
138.36/138.96 c #Conflicts: 67000 | #Constraints: 10807
138.36/138.96 c GLOBAL bounds - >= -2128 @ 135.955
139.56/140.16 c #Conflicts: 68000 | #Constraints: 11809
139.56/140.16 c GLOBAL bounds - >= -2128 @ 137.118
140.75/141.34 c GLOBAL bounds - >= -2128 @ 138.279
141.64/142.29 c GLOBAL bounds - >= -2128 @ 139.211
142.04/142.70 c #Conflicts: 69000 | #Constraints: 12815
142.04/142.70 c GLOBAL bounds - >= -2128 @ 139.606
143.64/144.27 c GLOBAL bounds - >= -2128 @ 141.147
144.14/144.73 c GLOBAL bounds - >= -2128 @ 141.605
145.03/145.60 c #Conflicts: 70000 | #Constraints: 13821
145.03/145.60 c GLOBAL bounds - >= -2128 @ 142.447
145.55/146.12 c GLOBAL bounds - >= -2128 @ 142.966
145.74/146.36 c GLOBAL bounds - >= -2128 @ 143.199
151.12/151.73 c #Conflicts: 71000 | #Constraints: 14827
151.12/151.73 c #Conflicts: 72000 | #Constraints: 15827
151.12/151.73 c INPROCESSING
151.12/151.73 c GARBAGE COLLECT
151.12/151.73 c #Conflicts: 73000 | #Constraints: 11414
151.12/151.73 c GLOBAL bounds - >= -2128 @ 148.45
154.11/154.74 c #Conflicts: 74000 | #Constraints: 12416
154.11/154.74 c GLOBAL bounds - >= -2128 @ 151.414
161.40/162.11 c #Conflicts: 75000 | #Constraints: 13418
161.40/162.11 c #Conflicts: 76000 | #Constraints: 14418
161.40/162.11 c GLOBAL bounds - >= -2128 @ 158.67
179.45/180.14 c #Conflicts: 77000 | #Constraints: 15420
179.45/180.14 c #Conflicts: 78000 | #Constraints: 16420
179.45/180.14 c INPROCESSING
179.45/180.14 c GARBAGE COLLECT
179.45/180.14 c #Conflicts: 79000 | #Constraints: 11832
179.45/180.14 c #Conflicts: 80000 | #Constraints: 12832
179.45/180.14 c #Conflicts: 81000 | #Constraints: 13832
179.45/180.14 c #Conflicts: 82000 | #Constraints: 14832
179.45/180.14 c #Conflicts: 83000 | #Constraints: 15832
179.45/180.14 c #Conflicts: 84000 | #Constraints: 16832
179.45/180.14 c INPROCESSING
179.45/180.14 c GARBAGE COLLECT
179.45/180.14 c #Conflicts: 85000 | #Constraints: 12022
179.45/180.14 c GLOBAL bounds - >= -2128 @ 176.413
224.40/225.26 c #Conflicts: 86000 | #Constraints: 13024
224.40/225.26 c #Conflicts: 87000 | #Constraints: 14024
224.40/225.26 c #Conflicts: 88000 | #Constraints: 15024
224.40/225.26 c #Conflicts: 89000 | #Constraints: 16024
224.40/225.26 c #Conflicts: 90000 | #Constraints: 17024
224.40/225.26 c INPROCESSING
224.40/225.26 c GARBAGE COLLECT
224.40/225.26 c #Conflicts: 91000 | #Constraints: 12045
224.40/225.26 c #Conflicts: 92000 | #Constraints: 13045
224.40/225.26 c #Conflicts: 93000 | #Constraints: 14045
224.40/225.26 c #Conflicts: 94000 | #Constraints: 15045
224.40/225.26 c #Conflicts: 95000 | #Constraints: 16045
224.40/225.26 c #Conflicts: 96000 | #Constraints: 17045
224.40/225.26 c INPROCESSING
224.40/225.26 c GARBAGE COLLECT
224.40/225.26 c #Conflicts: 97000 | #Constraints: 11865
224.40/225.26 c #Conflicts: 98000 | #Constraints: 12865
224.40/225.26 c #Conflicts: 99000 | #Constraints: 13865
224.40/225.26 c #Conflicts: 100000 | #Constraints: 14865
224.40/225.26 c #Conflicts: 101000 | #Constraints: 15865
224.40/225.26 c #Conflicts: 102000 | #Constraints: 16865
224.40/225.26 c #Conflicts: 103000 | #Constraints: 17865
224.40/225.26 c INPROCESSING
224.40/225.26 c GARBAGE COLLECT
224.40/225.26 c #Conflicts: 104000 | #Constraints: 12472
224.40/225.26 c GLOBAL bounds - >= -2128 @ 220.912
235.77/236.60 c #Conflicts: 105000 | #Constraints: 13474
235.77/236.60 c #Conflicts: 106000 | #Constraints: 14474
235.77/236.60 c #Conflicts: 107000 | #Constraints: 15474
235.77/236.60 c #Conflicts: 108000 | #Constraints: 16474
235.77/236.60 c #Conflicts: 109000 | #Constraints: 17474
235.77/236.60 c GLOBAL bounds - >= -2128 @ 232.092
238.37/239.26 c #Conflicts: 110000 | #Constraints: 18476
238.37/239.26 c INPROCESSING
238.37/239.26 c GARBAGE COLLECT
238.37/239.26 c GLOBAL bounds - >= -2128 @ 234.695
240.85/241.79 c #Conflicts: 111000 | #Constraints: 12900
240.85/241.79 c GLOBAL bounds - >= -2128 @ 237.178
244.64/245.52 c #Conflicts: 112000 | #Constraints: 13902
244.64/245.52 c #Conflicts: 113000 | #Constraints: 14902
244.64/245.52 c GLOBAL bounds - >= -2128 @ 240.847
247.84/248.78 c #Conflicts: 114000 | #Constraints: 15904
247.84/248.78 c GLOBAL bounds - >= -2128 @ 244.062
249.73/250.65 c #Conflicts: 115000 | #Constraints: 16906
249.73/250.65 c GLOBAL bounds - >= -2128 @ 245.91
261.21/262.12 c #Conflicts: 116000 | #Constraints: 17908
261.21/262.12 c #Conflicts: 117000 | #Constraints: 18908
261.21/262.12 c INPROCESSING
261.21/262.12 c GARBAGE COLLECT
261.21/262.12 c #Conflicts: 118000 | #Constraints: 13113
261.21/262.12 c #Conflicts: 119000 | #Constraints: 14113
261.21/262.12 c #Conflicts: 120000 | #Constraints: 15113
261.21/262.12 c #Conflicts: 121000 | #Constraints: 16113
261.21/262.12 c GLOBAL bounds - >= -2128 @ 257.171
265.59/266.58 c #Conflicts: 122000 | #Constraints: 17115
265.59/266.58 c GLOBAL bounds - >= -2128 @ 261.579
320.93/322.06 c #Conflicts: 123000 | #Constraints: 18117
320.93/322.06 c #Conflicts: 124000 | #Constraints: 19117
320.93/322.06 c INPROCESSING
320.93/322.06 c GARBAGE COLLECT
320.93/322.06 c #Conflicts: 125000 | #Constraints: 13133
320.93/322.06 c #Conflicts: 126000 | #Constraints: 14133
320.93/322.06 c #Conflicts: 127000 | #Constraints: 15133
320.93/322.06 c #Conflicts: 128000 | #Constraints: 16133
320.93/322.06 c #Conflicts: 129000 | #Constraints: 17133
320.93/322.06 c #Conflicts: 130000 | #Constraints: 18133
320.93/322.06 c #Conflicts: 131000 | #Constraints: 19133
320.93/322.06 c INPROCESSING
320.93/322.06 c GARBAGE COLLECT
320.93/322.06 c #Conflicts: 132000 | #Constraints: 12932
320.93/322.06 c #Conflicts: 133000 | #Constraints: 13932
320.93/322.06 c #Conflicts: 134000 | #Constraints: 14932
320.93/322.06 c #Conflicts: 135000 | #Constraints: 15932
320.93/322.06 c #Conflicts: 136000 | #Constraints: 16932
320.93/322.06 c #Conflicts: 137000 | #Constraints: 17932
320.93/322.06 c #Conflicts: 138000 | #Constraints: 18932
320.93/322.06 c #Conflicts: 139000 | #Constraints: 19932
320.93/322.06 c INPROCESSING
320.93/322.06 c GARBAGE COLLECT
320.93/322.06 c #Conflicts: 140000 | #Constraints: 13545
320.93/322.06 c #Conflicts: 141000 | #Constraints: 14545
320.93/322.06 c #Conflicts: 142000 | #Constraints: 15545
320.93/322.06 c #Conflicts: 143000 | #Constraints: 16545
320.93/322.06 c #Conflicts: 144000 | #Constraints: 17545
320.93/322.06 c #Conflicts: 145000 | #Constraints: 18545
320.93/322.06 c #Conflicts: 146000 | #Constraints: 19545
320.93/322.06 c #Conflicts: 147000 | #Constraints: 20545
320.93/322.06 c INPROCESSING
320.93/322.06 c GARBAGE COLLECT
320.93/322.06 c #Conflicts: 148000 | #Constraints: 13958
320.93/322.06 c GLOBAL bounds - >= -2128 @ 316.211
329.10/330.21 c #Conflicts: 149000 | #Constraints: 14960
329.10/330.21 c #Conflicts: 150000 | #Constraints: 15960
329.10/330.21 c #Conflicts: 151000 | #Constraints: 16960
329.10/330.21 c GLOBAL bounds - >= -2128 @ 324.255
333.78/334.91 c #Conflicts: 152000 | #Constraints: 17962
333.78/334.91 c #Conflicts: 153000 | #Constraints: 18962
333.78/334.91 c GLOBAL bounds - >= -2128 @ 328.892
334.39/335.50 c GLOBAL bounds - >= -2128 @ 329.463
342.36/343.52 c #Conflicts: 154000 | #Constraints: 19966
342.36/343.52 c #Conflicts: 155000 | #Constraints: 20966
342.36/343.52 c INPROCESSING
342.36/343.52 c GARBAGE COLLECT
342.36/343.52 c #Conflicts: 156000 | #Constraints: 14170
342.36/343.52 c GLOBAL bounds - >= -2128 @ 337.372
351.44/352.67 c #Conflicts: 157000 | #Constraints: 15172
351.44/352.67 c #Conflicts: 158000 | #Constraints: 16172
351.44/352.67 c #Conflicts: 159000 | #Constraints: 17172
351.44/352.67 c #Conflicts: 160000 | #Constraints: 18172
351.44/352.67 c GLOBAL bounds - >= -2128 @ 346.42
364.20/365.41 c #Conflicts: 161000 | #Constraints: 19174
364.20/365.41 c #Conflicts: 162000 | #Constraints: 20174
364.20/365.41 c #Conflicts: 163000 | #Constraints: 21174
364.20/365.41 c INPROCESSING
364.20/365.41 c GARBAGE COLLECT
364.20/365.41 c #Conflicts: 164000 | #Constraints: 14151
364.20/365.41 c #Conflicts: 165000 | #Constraints: 15151
364.20/365.41 c #Conflicts: 166000 | #Constraints: 16151
364.20/365.41 c #Conflicts: 167000 | #Constraints: 17151
364.20/365.41 c GLOBAL bounds - >= -2128 @ 359.002
373.58/374.83 c #Conflicts: 168000 | #Constraints: 18153
373.58/374.83 c #Conflicts: 169000 | #Constraints: 19153
373.58/374.83 c #Conflicts: 170000 | #Constraints: 20153
373.58/374.83 c GLOBAL bounds - >= -2128 @ 368.294
425.73/427.15 c #Conflicts: 171000 | #Constraints: 21155
425.73/427.15 c INPROCESSING
425.73/427.15 c GARBAGE COLLECT
425.73/427.15 c #Conflicts: 172000 | #Constraints: 13932
425.73/427.15 c #Conflicts: 173000 | #Constraints: 14932
425.73/427.15 c #Conflicts: 174000 | #Constraints: 15932
425.73/427.15 c #Conflicts: 175000 | #Constraints: 16932
425.73/427.15 c #Conflicts: 176000 | #Constraints: 17932
425.73/427.15 c #Conflicts: 177000 | #Constraints: 18932
425.73/427.15 c #Conflicts: 178000 | #Constraints: 19932
425.73/427.15 c #Conflicts: 179000 | #Constraints: 20932
425.73/427.15 c #Conflicts: 180000 | #Constraints: 21932
425.73/427.15 c INPROCESSING
425.73/427.15 c GARBAGE COLLECT
425.73/427.15 c #Conflicts: 181000 | #Constraints: 14536
425.73/427.15 c #Conflicts: 182000 | #Constraints: 15536
425.73/427.15 c #Conflicts: 183000 | #Constraints: 16536
425.73/427.15 c #Conflicts: 184000 | #Constraints: 17536
425.73/427.15 c #Conflicts: 185000 | #Constraints: 18536
425.73/427.15 c #Conflicts: 186000 | #Constraints: 19536
425.73/427.15 c #Conflicts: 187000 | #Constraints: 20536
425.73/427.15 c #Conflicts: 188000 | #Constraints: 21536
425.73/427.15 c #Conflicts: 189000 | #Constraints: 22536
425.73/427.15 c INPROCESSING
425.73/427.15 c GARBAGE COLLECT
425.73/427.15 c #Conflicts: 190000 | #Constraints: 14928
425.73/427.15 c #Conflicts: 191000 | #Constraints: 15928
425.73/427.15 c #Conflicts: 192000 | #Constraints: 16928
425.73/427.15 c #Conflicts: 193000 | #Constraints: 17928
425.73/427.15 c #Conflicts: 194000 | #Constraints: 18928
425.73/427.15 c #Conflicts: 195000 | #Constraints: 19928
425.73/427.15 c #Conflicts: 196000 | #Constraints: 20928
425.73/427.15 c #Conflicts: 197000 | #Constraints: 21928
425.73/427.15 c #Conflicts: 198000 | #Constraints: 22928
425.73/427.15 c INPROCESSING
425.73/427.15 c GARBAGE COLLECT
425.73/427.15 c GLOBAL bounds - >= -2128 @ 419.925
439.28/440.71 c #Conflicts: 199000 | #Constraints: 15131
439.28/440.71 c #Conflicts: 200000 | #Constraints: 16131
439.28/440.71 c #Conflicts: 201000 | #Constraints: 17131
439.28/440.71 c #Conflicts: 202000 | #Constraints: 18131
439.28/440.71 c #Conflicts: 203000 | #Constraints: 19131
439.28/440.71 c #Conflicts: 204000 | #Constraints: 20131
439.28/440.71 c #Conflicts: 205000 | #Constraints: 21131
439.28/440.71 c #Conflicts: 206000 | #Constraints: 22131
439.28/440.71 c #Conflicts: 207000 | #Constraints: 23131
439.28/440.71 c INPROCESSING
439.28/440.71 c GARBAGE COLLECT
439.28/440.71 c GLOBAL bounds - >= -2128 @ 433.251
456.14/457.69 c #Conflicts: 208000 | #Constraints: 15190
456.14/457.69 c #Conflicts: 209000 | #Constraints: 16190
456.14/457.69 c #Conflicts: 210000 | #Constraints: 17190
456.14/457.69 c #Conflicts: 211000 | #Constraints: 18190
456.14/457.69 c #Conflicts: 212000 | #Constraints: 19190
456.14/457.69 c #Conflicts: 213000 | #Constraints: 20190
456.14/457.69 c #Conflicts: 214000 | #Constraints: 21190
456.14/457.69 c #Conflicts: 215000 | #Constraints: 22190
456.14/457.69 c GLOBAL bounds - >= -2128 @ 450.004
529.92/531.66 c #Conflicts: 216000 | #Constraints: 23192
529.92/531.66 c INPROCESSING
529.92/531.66 c GARBAGE COLLECT
529.92/531.66 c #Conflicts: 217000 | #Constraints: 15004
529.92/531.66 c #Conflicts: 218000 | #Constraints: 16004
529.92/531.66 c #Conflicts: 219000 | #Constraints: 17004
529.92/531.66 c #Conflicts: 220000 | #Constraints: 18004
529.92/531.66 c #Conflicts: 221000 | #Constraints: 19004
529.92/531.66 c #Conflicts: 222000 | #Constraints: 20004
529.92/531.66 c #Conflicts: 223000 | #Constraints: 21004
529.92/531.66 c #Conflicts: 224000 | #Constraints: 22004
529.92/531.66 c #Conflicts: 225000 | #Constraints: 23004
529.92/531.66 c #Conflicts: 226000 | #Constraints: 24004
529.92/531.66 c INPROCESSING
529.92/531.66 c GARBAGE COLLECT
529.92/531.66 c #Conflicts: 227000 | #Constraints: 15607
529.92/531.66 c #Conflicts: 228000 | #Constraints: 16607
529.92/531.66 c #Conflicts: 229000 | #Constraints: 17607
529.92/531.66 c #Conflicts: 230000 | #Constraints: 18607
529.92/531.66 c #Conflicts: 231000 | #Constraints: 19607
529.92/531.66 c #Conflicts: 232000 | #Constraints: 20607
529.92/531.66 c #Conflicts: 233000 | #Constraints: 21607
529.92/531.66 c #Conflicts: 234000 | #Constraints: 22607
529.92/531.66 c #Conflicts: 235000 | #Constraints: 23607
529.92/531.66 c #Conflicts: 236000 | #Constraints: 24607
529.92/531.66 c INPROCESSING
529.92/531.66 c GARBAGE COLLECT
529.92/531.66 c #Conflicts: 237000 | #Constraints: 16001
529.92/531.66 c #Conflicts: 238000 | #Constraints: 17001
529.92/531.66 c #Conflicts: 239000 | #Constraints: 18001
529.92/531.66 c #Conflicts: 240000 | #Constraints: 19001
529.92/531.66 c #Conflicts: 241000 | #Constraints: 20001
529.92/531.66 c #Conflicts: 242000 | #Constraints: 21001
529.92/531.66 c #Conflicts: 243000 | #Constraints: 22001
529.92/531.66 c #Conflicts: 244000 | #Constraints: 23001
529.92/531.66 c #Conflicts: 245000 | #Constraints: 24001
529.92/531.66 c GLOBAL bounds - >= -2128 @ 523.125
602.12/604.02 c #Conflicts: 246000 | #Constraints: 25003
602.12/604.02 c INPROCESSING
602.12/604.02 c GARBAGE COLLECT
602.12/604.02 c #Conflicts: 247000 | #Constraints: 16178
602.12/604.02 c #Conflicts: 248000 | #Constraints: 17178
602.12/604.02 c #Conflicts: 249000 | #Constraints: 18178
602.12/604.02 c #Conflicts: 250000 | #Constraints: 19178
602.12/604.02 c #Conflicts: 251000 | #Constraints: 20178
602.12/604.02 c #Conflicts: 252000 | #Constraints: 21178
602.12/604.02 c #Conflicts: 253000 | #Constraints: 22178
602.12/604.02 c #Conflicts: 254000 | #Constraints: 23178
602.12/604.02 c #Conflicts: 255000 | #Constraints: 24178
602.12/604.02 c #Conflicts: 256000 | #Constraints: 25178
602.12/604.02 c INPROCESSING
602.12/604.02 c GARBAGE COLLECT
602.12/604.02 c #Conflicts: 257000 | #Constraints: 16181
602.12/604.02 c #Conflicts: 258000 | #Constraints: 17181
602.12/604.02 c #Conflicts: 259000 | #Constraints: 18181
602.12/604.02 c #Conflicts: 260000 | #Constraints: 19181
602.12/604.02 c #Conflicts: 261000 | #Constraints: 20181
602.12/604.02 c #Conflicts: 262000 | #Constraints: 21181
602.12/604.02 c #Conflicts: 263000 | #Constraints: 22181
602.12/604.02 c #Conflicts: 264000 | #Constraints: 23181
602.12/604.02 c #Conflicts: 265000 | #Constraints: 24181
602.12/604.02 c #Conflicts: 266000 | #Constraints: 25181
602.12/604.02 c INPROCESSING
602.12/604.02 c GARBAGE COLLECT
602.12/604.02 c #Conflicts: 267000 | #Constraints: 16006
602.12/604.02 c #Conflicts: 268000 | #Constraints: 17006
602.12/604.02 c #Conflicts: 269000 | #Constraints: 18006
602.12/604.02 c #Conflicts: 270000 | #Constraints: 19006
602.12/604.02 c #Conflicts: 271000 | #Constraints: 20006
602.12/604.02 c #Conflicts: 272000 | #Constraints: 21006
602.12/604.02 c #Conflicts: 273000 | #Constraints: 22006
602.12/604.02 c #Conflicts: 274000 | #Constraints: 23006
602.12/604.02 c #Conflicts: 275000 | #Constraints: 24006
602.12/604.02 c #Conflicts: 276000 | #Constraints: 25006
602.12/604.02 c GLOBAL bounds - >= -2128 @ 594.542
621.45/623.46 c #Conflicts: 277000 | #Constraints: 26008
621.45/623.46 c INPROCESSING
621.45/623.46 c GARBAGE COLLECT
621.45/623.46 c #Conflicts: 278000 | #Constraints: 16585
621.45/623.46 c #Conflicts: 279000 | #Constraints: 17585
621.45/623.46 c #Conflicts: 280000 | #Constraints: 18585
621.45/623.46 c #Conflicts: 281000 | #Constraints: 19585
621.45/623.46 c #Conflicts: 282000 | #Constraints: 20585
621.45/623.46 c #Conflicts: 283000 | #Constraints: 21585
621.45/623.46 c #Conflicts: 284000 | #Constraints: 22585
621.45/623.46 c GLOBAL bounds - >= -2128 @ 613.721
671.40/673.57 c #Conflicts: 285000 | #Constraints: 23587
671.40/673.57 c #Conflicts: 286000 | #Constraints: 24587
671.40/673.57 c #Conflicts: 287000 | #Constraints: 25587
671.40/673.57 c #Conflicts: 288000 | #Constraints: 26587
671.40/673.57 c INPROCESSING
671.40/673.57 c GARBAGE COLLECT
671.40/673.57 c #Conflicts: 289000 | #Constraints: 16990
671.40/673.57 c #Conflicts: 290000 | #Constraints: 17990
671.40/673.57 c #Conflicts: 291000 | #Constraints: 18990
671.40/673.57 c #Conflicts: 292000 | #Constraints: 19990
671.40/673.57 c #Conflicts: 293000 | #Constraints: 20990
671.40/673.57 c #Conflicts: 294000 | #Constraints: 21990
671.40/673.57 c #Conflicts: 295000 | #Constraints: 22990
671.40/673.57 c #Conflicts: 296000 | #Constraints: 23990
671.40/673.57 c #Conflicts: 297000 | #Constraints: 24990
671.40/673.57 c #Conflicts: 298000 | #Constraints: 25990
671.40/673.57 c #Conflicts: 299000 | #Constraints: 26990
671.40/673.57 c INPROCESSING
671.40/673.57 c GARBAGE COLLECT
671.40/673.57 c #Conflicts: 300000 | #Constraints: 17213
671.40/673.57 c #Conflicts: 301000 | #Constraints: 18213
671.40/673.57 c #Conflicts: 302000 | #Constraints: 19213
671.40/673.57 c #Conflicts: 303000 | #Constraints: 20213
671.40/673.57 c #Conflicts: 304000 | #Constraints: 21213
671.40/673.57 c GLOBAL bounds - >= -2128 @ 663.173
706.91/709.15 c #Conflicts: 305000 | #Constraints: 22215
706.91/709.15 c #Conflicts: 306000 | #Constraints: 23215
706.91/709.15 c #Conflicts: 307000 | #Constraints: 24215
706.91/709.15 c #Conflicts: 308000 | #Constraints: 25215
706.91/709.15 c #Conflicts: 309000 | #Constraints: 26215
706.91/709.15 c #Conflicts: 310000 | #Constraints: 27215
706.91/709.15 c INPROCESSING
706.91/709.15 c GARBAGE COLLECT
706.91/709.15 c #Conflicts: 311000 | #Constraints: 17210
706.91/709.15 c #Conflicts: 312000 | #Constraints: 18210
706.91/709.15 c #Conflicts: 313000 | #Constraints: 19210
706.91/709.15 c #Conflicts: 314000 | #Constraints: 20210
706.91/709.15 c #Conflicts: 315000 | #Constraints: 21210
706.91/709.15 c #Conflicts: 316000 | #Constraints: 22210
706.91/709.15 c #Conflicts: 317000 | #Constraints: 23210
706.91/709.15 c #Conflicts: 318000 | #Constraints: 24210
706.91/709.15 c #Conflicts: 319000 | #Constraints: 25210
706.91/709.15 c #Conflicts: 320000 | #Constraints: 26210
706.91/709.15 c #Conflicts: 321000 | #Constraints: 27210
706.91/709.15 c INPROCESSING
706.91/709.15 c GARBAGE COLLECT
706.91/709.15 c #Conflicts: 322000 | #Constraints: 17025
706.91/709.15 c GLOBAL bounds - >= -2128 @ 698.246
753.06/755.47 c #Conflicts: 323000 | #Constraints: 18027
753.06/755.47 c #Conflicts: 324000 | #Constraints: 19027
753.06/755.47 c #Conflicts: 325000 | #Constraints: 20027
753.06/755.47 c #Conflicts: 326000 | #Constraints: 21027
753.06/755.47 c #Conflicts: 327000 | #Constraints: 22027
753.06/755.47 c #Conflicts: 328000 | #Constraints: 23027
753.06/755.47 c #Conflicts: 329000 | #Constraints: 24027
753.06/755.47 c #Conflicts: 330000 | #Constraints: 25027
753.06/755.47 c #Conflicts: 331000 | #Constraints: 26027
753.06/755.47 c #Conflicts: 332000 | #Constraints: 27027
753.06/755.47 c #Conflicts: 333000 | #Constraints: 28027
753.06/755.47 c INPROCESSING
753.06/755.47 c GARBAGE COLLECT
753.06/755.47 c #Conflicts: 334000 | #Constraints: 17637
753.06/755.47 c #Conflicts: 335000 | #Constraints: 18637
753.06/755.47 c #Conflicts: 336000 | #Constraints: 19637
753.06/755.47 c #Conflicts: 337000 | #Constraints: 20637
753.06/755.47 c #Conflicts: 338000 | #Constraints: 21637
753.06/755.47 c #Conflicts: 339000 | #Constraints: 22637
753.06/755.47 c #Conflicts: 340000 | #Constraints: 23637
753.06/755.47 c #Conflicts: 341000 | #Constraints: 24637
753.06/755.47 c #Conflicts: 342000 | #Constraints: 25637
753.06/755.47 c GLOBAL bounds - >= -2128 @ 743.965
765.03/767.45 c #Conflicts: 343000 | #Constraints: 26639
765.03/767.45 c #Conflicts: 344000 | #Constraints: 27639
765.03/767.45 c #Conflicts: 345000 | #Constraints: 28639
765.03/767.45 c INPROCESSING
765.03/767.45 c GARBAGE COLLECT
765.03/767.45 c GLOBAL bounds - >= -2128 @ 755.799
789.67/792.12 c #Conflicts: 346000 | #Constraints: 18071
789.67/792.12 c #Conflicts: 347000 | #Constraints: 19071
789.67/792.12 c #Conflicts: 348000 | #Constraints: 20071
789.67/792.12 c #Conflicts: 349000 | #Constraints: 21071
789.67/792.12 c #Conflicts: 350000 | #Constraints: 22071
789.67/792.12 c #Conflicts: 351000 | #Constraints: 23071
789.67/792.12 c #Conflicts: 352000 | #Constraints: 24071
789.67/792.12 c #Conflicts: 353000 | #Constraints: 25071
789.67/792.12 c #Conflicts: 354000 | #Constraints: 26071
789.67/792.12 c #Conflicts: 355000 | #Constraints: 27071
789.67/792.12 c #Conflicts: 356000 | #Constraints: 28071
789.67/792.12 c GLOBAL bounds - >= -2128 @ 780.21
804.32/806.89 c #Conflicts: 357000 | #Constraints: 29073
804.32/806.89 c INPROCESSING
804.32/806.89 c GARBAGE COLLECT
804.32/806.89 c #Conflicts: 358000 | #Constraints: 18194
804.32/806.89 c #Conflicts: 359000 | #Constraints: 19194
804.32/806.89 c #Conflicts: 360000 | #Constraints: 20194
804.32/806.89 c #Conflicts: 361000 | #Constraints: 21194
804.32/806.89 c #Conflicts: 362000 | #Constraints: 22194
804.32/806.89 c GLOBAL bounds - >= -2128 @ 794.759
815.88/818.43 c #Conflicts: 363000 | #Constraints: 23196
815.88/818.43 c #Conflicts: 364000 | #Constraints: 24196
815.88/818.43 c #Conflicts: 365000 | #Constraints: 25196
815.88/818.43 c GLOBAL bounds - >= -2128 @ 806.171
923.37/926.24 c #Conflicts: 366000 | #Constraints: 26198
923.37/926.24 c #Conflicts: 367000 | #Constraints: 27198
923.37/926.24 c #Conflicts: 368000 | #Constraints: 28198
923.37/926.24 c #Conflicts: 369000 | #Constraints: 29198
923.37/926.24 c INPROCESSING
923.37/926.24 c GARBAGE COLLECT
923.37/926.24 c #Conflicts: 370000 | #Constraints: 18161
923.37/926.24 c #Conflicts: 371000 | #Constraints: 19161
923.37/926.24 c #Conflicts: 372000 | #Constraints: 20161
923.37/926.24 c #Conflicts: 373000 | #Constraints: 21161
923.37/926.24 c #Conflicts: 374000 | #Constraints: 22161
923.37/926.24 c #Conflicts: 375000 | #Constraints: 23161
923.37/926.24 c #Conflicts: 376000 | #Constraints: 24161
923.37/926.24 c #Conflicts: 377000 | #Constraints: 25161
923.37/926.24 c #Conflicts: 378000 | #Constraints: 26161
923.37/926.24 c #Conflicts: 379000 | #Constraints: 27161
923.37/926.24 c #Conflicts: 380000 | #Constraints: 28161
923.37/926.24 c #Conflicts: 381000 | #Constraints: 29161
923.37/926.24 c INPROCESSING
923.37/926.24 c GARBAGE COLLECT
923.37/926.24 c #Conflicts: 382000 | #Constraints: 17953
923.37/926.24 c #Conflicts: 383000 | #Constraints: 18953
923.37/926.24 c #Conflicts: 384000 | #Constraints: 19953
923.37/926.24 c #Conflicts: 385000 | #Constraints: 20953
923.37/926.24 c #Conflicts: 386000 | #Constraints: 21953
923.37/926.24 c #Conflicts: 387000 | #Constraints: 22953
923.37/926.24 c #Conflicts: 388000 | #Constraints: 23953
923.37/926.24 c #Conflicts: 389000 | #Constraints: 24953
923.37/926.24 c #Conflicts: 390000 | #Constraints: 25953
923.37/926.24 c #Conflicts: 391000 | #Constraints: 26953
923.37/926.24 c #Conflicts: 392000 | #Constraints: 27953
923.37/926.24 c #Conflicts: 393000 | #Constraints: 28953
923.37/926.24 c #Conflicts: 394000 | #Constraints: 29953
923.37/926.24 c INPROCESSING
923.37/926.24 c GARBAGE COLLECT
923.37/926.24 c #Conflicts: 395000 | #Constraints: 18553
923.37/926.24 c #Conflicts: 396000 | #Constraints: 19553
923.37/926.24 c #Conflicts: 397000 | #Constraints: 20553
923.37/926.24 c #Conflicts: 398000 | #Constraints: 21553
923.37/926.24 c #Conflicts: 399000 | #Constraints: 22553
923.37/926.24 c #Conflicts: 400000 | #Constraints: 23553
923.37/926.24 c #Conflicts: 401000 | #Constraints: 24553
923.37/926.24 c #Conflicts: 402000 | #Constraints: 25553
923.37/926.24 c GLOBAL bounds - >= -2128 @ 912.835
938.23/941.14 c #Conflicts: 403000 | #Constraints: 26555
938.23/941.14 c #Conflicts: 404000 | #Constraints: 27555
938.23/941.14 c #Conflicts: 405000 | #Constraints: 28555
938.23/941.14 c #Conflicts: 406000 | #Constraints: 29555
938.23/941.14 c GLOBAL bounds - >= -2128 @ 927.592
1115.11/1118.59 c #Conflicts: 407000 | #Constraints: 30557
1115.11/1118.59 c INPROCESSING
1115.11/1118.59 c GARBAGE COLLECT
1115.11/1118.59 c #Conflicts: 408000 | #Constraints: 18941
1115.11/1118.59 c #Conflicts: 409000 | #Constraints: 19941
1115.11/1118.59 c #Conflicts: 410000 | #Constraints: 20941
1115.11/1118.59 c #Conflicts: 411000 | #Constraints: 21941
1115.11/1118.59 c #Conflicts: 412000 | #Constraints: 22941
1115.11/1118.59 c #Conflicts: 413000 | #Constraints: 23941
1115.11/1118.59 c #Conflicts: 414000 | #Constraints: 24941
1115.11/1118.59 c #Conflicts: 415000 | #Constraints: 25941
1115.11/1118.59 c #Conflicts: 416000 | #Constraints: 26941
1115.11/1118.59 c #Conflicts: 417000 | #Constraints: 27941
1115.11/1118.59 c #Conflicts: 418000 | #Constraints: 28941
1115.11/1118.59 c #Conflicts: 419000 | #Constraints: 29941
1115.11/1118.59 c #Conflicts: 420000 | #Constraints: 30941
1115.11/1118.59 c INPROCESSING
1115.11/1118.59 c GARBAGE COLLECT
1115.11/1118.59 c #Conflicts: 421000 | #Constraints: 19184
1115.11/1118.59 c #Conflicts: 422000 | #Constraints: 20184
1115.11/1118.59 c #Conflicts: 423000 | #Constraints: 21184
1115.11/1118.59 c #Conflicts: 424000 | #Constraints: 22184
1115.11/1118.59 c #Conflicts: 425000 | #Constraints: 23184
1115.11/1118.59 c #Conflicts: 426000 | #Constraints: 24184
1115.11/1118.59 c #Conflicts: 427000 | #Constraints: 25184
1115.11/1118.59 c #Conflicts: 428000 | #Constraints: 26184
1115.11/1118.59 c #Conflicts: 429000 | #Constraints: 27184
1115.11/1118.59 c #Conflicts: 430000 | #Constraints: 28184
1115.11/1118.59 c #Conflicts: 431000 | #Constraints: 29184
1115.11/1118.59 c #Conflicts: 432000 | #Constraints: 30184
1115.11/1118.59 c #Conflicts: 433000 | #Constraints: 31184
1115.11/1118.59 c INPROCESSING
1115.11/1118.59 c GARBAGE COLLECT
1115.11/1118.59 c #Conflicts: 434000 | #Constraints: 19214
1115.11/1118.59 c #Conflicts: 435000 | #Constraints: 20214
1115.11/1118.59 c #Conflicts: 436000 | #Constraints: 21214
1115.11/1118.59 c #Conflicts: 437000 | #Constraints: 22214
1115.11/1118.59 c #Conflicts: 438000 | #Constraints: 23214
1115.11/1118.59 c #Conflicts: 439000 | #Constraints: 24214
1115.11/1118.59 c #Conflicts: 440000 | #Constraints: 25214
1115.11/1118.59 c #Conflicts: 441000 | #Constraints: 26214
1115.11/1118.59 c #Conflicts: 442000 | #Constraints: 27214
1115.11/1118.59 c #Conflicts: 443000 | #Constraints: 28214
1115.11/1118.59 c #Conflicts: 444000 | #Constraints: 29214
1115.11/1118.59 c #Conflicts: 445000 | #Constraints: 30214
1115.11/1118.59 c #Conflicts: 446000 | #Constraints: 31214
1115.11/1118.59 c INPROCESSING
1115.11/1118.59 c GARBAGE COLLECT
1115.11/1118.59 c #Conflicts: 447000 | #Constraints: 19022
1115.11/1118.59 c #Conflicts: 448000 | #Constraints: 20022
1115.11/1118.59 c #Conflicts: 449000 | #Constraints: 21022
1115.11/1118.59 c #Conflicts: 450000 | #Constraints: 22022
1115.11/1118.59 c #Conflicts: 451000 | #Constraints: 23022
1115.11/1118.59 c #Conflicts: 452000 | #Constraints: 24022
1115.11/1118.59 c #Conflicts: 453000 | #Constraints: 25022
1115.11/1118.59 c #Conflicts: 454000 | #Constraints: 26022
1115.11/1118.59 c #Conflicts: 455000 | #Constraints: 27022
1115.11/1118.59 c #Conflicts: 456000 | #Constraints: 28022
1115.11/1118.59 c #Conflicts: 457000 | #Constraints: 29022
1115.11/1118.59 c #Conflicts: 458000 | #Constraints: 30022
1115.11/1118.59 c #Conflicts: 459000 | #Constraints: 31022
1115.11/1118.59 c #Conflicts: 460000 | #Constraints: 32022
1115.11/1118.59 c INPROCESSING
1115.11/1118.59 c GARBAGE COLLECT
1115.11/1118.59 c #Conflicts: 461000 | #Constraints: 19632
1115.11/1118.59 c #Conflicts: 462000 | #Constraints: 20632
1115.11/1118.59 c #Conflicts: 463000 | #Constraints: 21632
1115.11/1118.59 c #Conflicts: 464000 | #Constraints: 22632
1115.11/1118.59 c #Conflicts: 465000 | #Constraints: 23632
1115.11/1118.59 c #Conflicts: 466000 | #Constraints: 24632
1115.11/1118.59 c #Conflicts: 467000 | #Constraints: 25632
1115.11/1118.59 c #Conflicts: 468000 | #Constraints: 26632
1115.11/1118.59 c #Conflicts: 469000 | #Constraints: 27632
1115.11/1118.59 c #Conflicts: 470000 | #Constraints: 28632
1115.11/1118.59 c #Conflicts: 471000 | #Constraints: 29632
1115.11/1118.59 c #Conflicts: 472000 | #Constraints: 30632
1115.11/1118.59 c #Conflicts: 473000 | #Constraints: 31632
1115.11/1118.59 c #Conflicts: 474000 | #Constraints: 32632
1115.11/1118.59 c INPROCESSING
1115.11/1118.59 c GARBAGE COLLECT
1115.11/1118.59 c #Conflicts: 475000 | #Constraints: 20035
1115.11/1118.59 c #Conflicts: 476000 | #Constraints: 21035
1115.11/1118.59 c #Conflicts: 477000 | #Constraints: 22035
1115.11/1118.59 c #Conflicts: 478000 | #Constraints: 23035
1115.11/1118.59 c #Conflicts: 479000 | #Constraints: 24035
1115.11/1118.59 c #Conflicts: 480000 | #Constraints: 25035
1115.11/1118.59 c #Conflicts: 481000 | #Constraints: 26035
1206.24/1209.97 c #Conflicts: 482000 | #Constraints: 27035
1206.24/1209.97 c #Conflicts: 483000 | #Constraints: 28035
1206.24/1209.97 c #Conflicts: 484000 | #Constraints: 29035
1206.24/1209.97 c #Conflicts: 485000 | #Constraints: 30035
1206.24/1209.97 c #Conflicts: 486000 | #Constraints: 31035
1206.24/1209.97 c #Conflicts: 487000 | #Constraints: 32035
1206.24/1209.97 c #Conflicts: 488000 | #Constraints: 33035
1206.24/1209.97 c INPROCESSING
1206.24/1209.97 c GARBAGE COLLECT
1206.24/1209.97 c #Conflicts: 489000 | #Constraints: 20233
1206.24/1209.97 c #Conflicts: 490000 | #Constraints: 21233
1206.24/1209.97 c #Conflicts: 491000 | #Constraints: 22233
1206.24/1209.97 c #Conflicts: 492000 | #Constraints: 23233
1206.24/1209.97 c #Conflicts: 493000 | #Constraints: 24233
1206.24/1209.97 c #Conflicts: 494000 | #Constraints: 25233
1206.24/1209.97 c #Conflicts: 495000 | #Constraints: 26233
1206.24/1209.97 c #Conflicts: 496000 | #Constraints: 27233
1206.24/1209.97 c #Conflicts: 497000 | #Constraints: 28233
1206.24/1209.97 c #Conflicts: 498000 | #Constraints: 29233
1206.24/1209.97 c #Conflicts: 499000 | #Constraints: 30233
1206.24/1209.97 c #Conflicts: 500000 | #Constraints: 31233
1206.24/1209.97 c #Conflicts: 501000 | #Constraints: 32233
1206.24/1209.97 c #Conflicts: 502000 | #Constraints: 33233
1206.24/1209.97 c INPROCESSING
1206.24/1209.97 c GARBAGE COLLECT
1206.24/1209.97 c #Conflicts: 503000 | #Constraints: 20241
1206.24/1209.97 c #Conflicts: 504000 | #Constraints: 21241
1206.24/1209.97 c #Conflicts: 505000 | #Constraints: 22241
1206.24/1209.97 c #Conflicts: 506000 | #Constraints: 23241
1206.24/1209.97 c #Conflicts: 507000 | #Constraints: 24241
1206.24/1209.97 c #Conflicts: 508000 | #Constraints: 25241
1206.24/1209.97 c #Conflicts: 509000 | #Constraints: 26241
1206.24/1209.97 c #Conflicts: 510000 | #Constraints: 27241
1206.24/1209.97 c #Conflicts: 511000 | #Constraints: 28241
1206.24/1209.97 c #Conflicts: 512000 | #Constraints: 29241
1206.24/1209.97 c #Conflicts: 513000 | #Constraints: 30241
1206.24/1209.97 c #Conflicts: 514000 | #Constraints: 31241
1206.24/1209.97 c #Conflicts: 515000 | #Constraints: 32241
1206.24/1209.97 c #Conflicts: 516000 | #Constraints: 33241
1206.24/1209.97 c INPROCESSING
1206.24/1209.97 c GARBAGE COLLECT
1206.24/1209.97 c #Conflicts: 517000 | #Constraints: 20013
1206.24/1209.97 c GLOBAL bounds - >= -2128 @ 1192.88
1211.12/1214.82 c #Conflicts: 518000 | #Constraints: 21015
1211.12/1214.82 c #Conflicts: 519000 | #Constraints: 22015
1211.12/1214.82 c #Conflicts: 520000 | #Constraints: 23015
1211.12/1214.82 c GLOBAL bounds - >= -2128 @ 1197.67
1224.40/1228.12 c #Conflicts: 521000 | #Constraints: 24017
1224.40/1228.12 c #Conflicts: 522000 | #Constraints: 25017
1224.40/1228.12 c #Conflicts: 523000 | #Constraints: 26017
1224.40/1228.12 c #Conflicts: 524000 | #Constraints: 27017
1224.40/1228.12 c #Conflicts: 525000 | #Constraints: 28017
1224.40/1228.12 c GLOBAL bounds - >= -2128 @ 1210.81
1319.21/1323.26 c #Conflicts: 526000 | #Constraints: 29019
1319.21/1323.26 c #Conflicts: 527000 | #Constraints: 30019
1319.21/1323.26 c #Conflicts: 528000 | #Constraints: 31019
1319.21/1323.26 c #Conflicts: 529000 | #Constraints: 32019
1319.21/1323.26 c #Conflicts: 530000 | #Constraints: 33019
1319.21/1323.26 c #Conflicts: 531000 | #Constraints: 34019
1319.21/1323.26 c INPROCESSING
1319.21/1323.26 c GARBAGE COLLECT
1319.21/1323.26 c #Conflicts: 532000 | #Constraints: 20624
1319.21/1323.26 c #Conflicts: 533000 | #Constraints: 21624
1319.21/1323.26 c #Conflicts: 534000 | #Constraints: 22624
1319.21/1323.26 c #Conflicts: 535000 | #Constraints: 23624
1319.21/1323.26 c #Conflicts: 536000 | #Constraints: 24624
1319.21/1323.26 c #Conflicts: 537000 | #Constraints: 25624
1319.21/1323.26 c #Conflicts: 538000 | #Constraints: 26624
1319.21/1323.26 c #Conflicts: 539000 | #Constraints: 27624
1319.21/1323.26 c #Conflicts: 540000 | #Constraints: 28624
1319.21/1323.26 c #Conflicts: 541000 | #Constraints: 29624
1319.21/1323.26 c #Conflicts: 542000 | #Constraints: 30624
1319.21/1323.26 c #Conflicts: 543000 | #Constraints: 31624
1319.21/1323.26 c #Conflicts: 544000 | #Constraints: 32624
1319.21/1323.26 c #Conflicts: 545000 | #Constraints: 33624
1319.21/1323.26 c #Conflicts: 546000 | #Constraints: 34624
1319.21/1323.26 c INPROCESSING
1319.21/1323.26 c GARBAGE COLLECT
1319.21/1323.26 c #Conflicts: 547000 | #Constraints: 21028
1319.21/1323.26 c #Conflicts: 548000 | #Constraints: 22028
1319.21/1323.26 c #Conflicts: 549000 | #Constraints: 23028
1319.21/1323.26 c #Conflicts: 550000 | #Constraints: 24028
1319.21/1323.26 c #Conflicts: 551000 | #Constraints: 25028
1319.21/1323.26 c #Conflicts: 552000 | #Constraints: 26028
1319.21/1323.26 c #Conflicts: 553000 | #Constraints: 27028
1319.21/1323.26 c #Conflicts: 554000 | #Constraints: 28028
1319.21/1323.26 c #Conflicts: 555000 | #Constraints: 29028
1319.21/1323.26 c #Conflicts: 556000 | #Constraints: 30028
1319.21/1323.26 c #Conflicts: 557000 | #Constraints: 31028
1319.21/1323.26 c #Conflicts: 558000 | #Constraints: 32028
1319.21/1323.26 c #Conflicts: 559000 | #Constraints: 33028
1319.21/1323.26 c #Conflicts: 560000 | #Constraints: 34028
1319.21/1323.26 c #Conflicts: 561000 | #Constraints: 35028
1319.21/1323.26 c INPROCESSING
1319.21/1323.26 c GARBAGE COLLECT
1319.21/1323.26 c #Conflicts: 562000 | #Constraints: 21220
1319.21/1323.26 c GLOBAL bounds - >= -2128 @ 1304.92
1396.79/1401.05 c #Conflicts: 563000 | #Constraints: 22222
1396.79/1401.05 c #Conflicts: 564000 | #Constraints: 23222
1396.79/1401.05 c #Conflicts: 565000 | #Constraints: 24222
1396.79/1401.05 c #Conflicts: 566000 | #Constraints: 25222
1396.79/1401.05 c #Conflicts: 567000 | #Constraints: 26222
1396.79/1401.05 c #Conflicts: 568000 | #Constraints: 27222
1396.79/1401.05 c #Conflicts: 569000 | #Constraints: 28222
1396.79/1401.05 c #Conflicts: 570000 | #Constraints: 29222
1396.79/1401.05 c #Conflicts: 571000 | #Constraints: 30222
1396.79/1401.05 c #Conflicts: 572000 | #Constraints: 31222
1396.79/1401.05 c #Conflicts: 573000 | #Constraints: 32222
1396.79/1401.05 c #Conflicts: 574000 | #Constraints: 33222
1396.79/1401.05 c #Conflicts: 575000 | #Constraints: 34222
1396.79/1401.05 c #Conflicts: 576000 | #Constraints: 35222
1396.79/1401.05 c INPROCESSING
1396.79/1401.05 c GARBAGE COLLECT
1396.79/1401.05 c #Conflicts: 577000 | #Constraints: 21199
1396.79/1401.05 c #Conflicts: 578000 | #Constraints: 22199
1396.79/1401.05 c #Conflicts: 579000 | #Constraints: 23199
1396.79/1401.05 c #Conflicts: 580000 | #Constraints: 24199
1396.79/1401.05 c #Conflicts: 581000 | #Constraints: 25199
1396.79/1401.05 c #Conflicts: 582000 | #Constraints: 26199
1396.79/1401.05 c #Conflicts: 583000 | #Constraints: 27199
1396.79/1401.05 c #Conflicts: 584000 | #Constraints: 28199
1396.79/1401.05 c #Conflicts: 585000 | #Constraints: 29199
1396.79/1401.05 c #Conflicts: 586000 | #Constraints: 30199
1396.79/1401.05 c #Conflicts: 587000 | #Constraints: 31199
1396.79/1401.05 c #Conflicts: 588000 | #Constraints: 32199
1396.79/1401.05 c #Conflicts: 589000 | #Constraints: 33199
1396.79/1401.05 c GLOBAL bounds - >= -2128 @ 1381.89
1608.85/1613.78 c #Conflicts: 590000 | #Constraints: 34201
1608.85/1613.78 c #Conflicts: 591000 | #Constraints: 35201
1608.85/1613.78 c INPROCESSING
1608.85/1613.78 c GARBAGE COLLECT
1608.85/1613.78 c #Conflicts: 592000 | #Constraints: 21049
1608.85/1613.78 c #Conflicts: 593000 | #Constraints: 22049
1608.85/1613.78 c #Conflicts: 594000 | #Constraints: 23049
1608.85/1613.78 c #Conflicts: 595000 | #Constraints: 24049
1608.85/1613.78 c #Conflicts: 596000 | #Constraints: 25049
1608.85/1613.78 c #Conflicts: 597000 | #Constraints: 26049
1608.85/1613.78 c #Conflicts: 598000 | #Constraints: 27049
1608.85/1613.78 c #Conflicts: 599000 | #Constraints: 28049
1608.85/1613.78 c #Conflicts: 600000 | #Constraints: 29049
1608.85/1613.78 c #Conflicts: 601000 | #Constraints: 30049
1608.85/1613.78 c #Conflicts: 602000 | #Constraints: 31049
1608.85/1613.78 c #Conflicts: 603000 | #Constraints: 32049
1608.85/1613.78 c #Conflicts: 604000 | #Constraints: 33049
1608.85/1613.78 c #Conflicts: 605000 | #Constraints: 34049
1608.85/1613.78 c #Conflicts: 606000 | #Constraints: 35049
1608.85/1613.78 c #Conflicts: 607000 | #Constraints: 36049
1608.85/1613.78 c INPROCESSING
1608.85/1613.78 c GARBAGE COLLECT
1608.85/1613.78 c #Conflicts: 608000 | #Constraints: 21652
1608.85/1613.78 c #Conflicts: 609000 | #Constraints: 22652
1608.85/1613.78 c #Conflicts: 610000 | #Constraints: 23652
1608.85/1613.78 c #Conflicts: 611000 | #Constraints: 24652
1608.85/1613.78 c #Conflicts: 612000 | #Constraints: 25652
1608.85/1613.78 c #Conflicts: 613000 | #Constraints: 26652
1608.85/1613.78 c #Conflicts: 614000 | #Constraints: 27652
1608.85/1613.78 c #Conflicts: 615000 | #Constraints: 28652
1608.85/1613.78 c #Conflicts: 616000 | #Constraints: 29652
1608.85/1613.78 c #Conflicts: 617000 | #Constraints: 30652
1608.85/1613.78 c #Conflicts: 618000 | #Constraints: 31652
1608.85/1613.78 c #Conflicts: 619000 | #Constraints: 32652
1608.85/1613.78 c #Conflicts: 620000 | #Constraints: 33652
1608.85/1613.78 c #Conflicts: 621000 | #Constraints: 34652
1608.85/1613.78 c #Conflicts: 622000 | #Constraints: 35652
1608.85/1613.78 c #Conflicts: 623000 | #Constraints: 36652
1608.85/1613.78 c INPROCESSING
1608.85/1613.78 c GARBAGE COLLECT
1608.85/1613.78 c #Conflicts: 624000 | #Constraints: 22065
1608.85/1613.78 c #Conflicts: 625000 | #Constraints: 23065
1608.85/1613.78 c #Conflicts: 626000 | #Constraints: 24065
1608.85/1613.78 c #Conflicts: 627000 | #Constraints: 25065
1608.85/1613.78 c #Conflicts: 628000 | #Constraints: 26065
1608.85/1613.78 c #Conflicts: 629000 | #Constraints: 27065
1608.85/1613.78 c #Conflicts: 630000 | #Constraints: 28065
1608.85/1613.78 c #Conflicts: 631000 | #Constraints: 29065
1608.85/1613.78 c #Conflicts: 632000 | #Constraints: 30065
1608.85/1613.78 c #Conflicts: 633000 | #Constraints: 31065
1608.85/1613.78 c #Conflicts: 634000 | #Constraints: 32065
1608.85/1613.78 c #Conflicts: 635000 | #Constraints: 33065
1608.85/1613.78 c #Conflicts: 636000 | #Constraints: 34065
1608.85/1613.78 c #Conflicts: 637000 | #Constraints: 35065
1608.85/1613.78 c #Conflicts: 638000 | #Constraints: 36065
1608.85/1613.78 c #Conflicts: 639000 | #Constraints: 37065
1608.85/1613.78 c INPROCESSING
1608.85/1613.78 c GARBAGE COLLECT
1608.85/1613.78 c #Conflicts: 640000 | #Constraints: 22276
1608.85/1613.78 c #Conflicts: 641000 | #Constraints: 23276
1608.85/1613.78 c #Conflicts: 642000 | #Constraints: 24276
1608.85/1613.78 c #Conflicts: 643000 | #Constraints: 25276
1608.85/1613.78 c #Conflicts: 644000 | #Constraints: 26276
1608.85/1613.78 c #Conflicts: 645000 | #Constraints: 27276
1608.85/1613.78 c #Conflicts: 646000 | #Constraints: 28276
1608.85/1613.78 c #Conflicts: 647000 | #Constraints: 29276
1608.85/1613.78 c #Conflicts: 648000 | #Constraints: 30276
1608.85/1613.78 c #Conflicts: 649000 | #Constraints: 31276
1608.85/1613.78 c #Conflicts: 650000 | #Constraints: 32276
1608.85/1613.78 c #Conflicts: 651000 | #Constraints: 33276
1608.85/1613.78 c #Conflicts: 652000 | #Constraints: 34276
1608.85/1613.78 c #Conflicts: 653000 | #Constraints: 35276
1608.85/1613.78 c #Conflicts: 654000 | #Constraints: 36276
1608.85/1613.78 c #Conflicts: 655000 | #Constraints: 37276
1608.85/1613.78 c INPROCESSING
1608.85/1613.78 c GARBAGE COLLECT
1608.85/1613.78 c #Conflicts: 656000 | #Constraints: 22272
1608.85/1613.78 c #Conflicts: 657000 | #Constraints: 23272
1608.85/1613.78 c #Conflicts: 658000 | #Constraints: 24272
1608.85/1613.78 c #Conflicts: 659000 | #Constraints: 25272
1608.85/1613.78 c #Conflicts: 660000 | #Constraints: 26272
1608.85/1613.78 c #Conflicts: 661000 | #Constraints: 27272
1608.85/1613.78 c #Conflicts: 662000 | #Constraints: 28272
1608.85/1613.78 c GLOBAL bounds - >= -2128 @ 1592.34
1696.79/1701.96 c #Conflicts: 663000 | #Constraints: 29274
1696.79/1701.96 c #Conflicts: 664000 | #Constraints: 30274
1696.79/1701.96 c #Conflicts: 665000 | #Constraints: 31274
1696.79/1701.96 c #Conflicts: 666000 | #Constraints: 32274
1696.79/1701.96 c #Conflicts: 667000 | #Constraints: 33274
1696.79/1701.96 c #Conflicts: 668000 | #Constraints: 34274
1696.79/1701.96 c #Conflicts: 669000 | #Constraints: 35274
1696.79/1701.96 c #Conflicts: 670000 | #Constraints: 36274
1696.79/1701.96 c #Conflicts: 671000 | #Constraints: 37274
1696.79/1701.96 c INPROCESSING
1696.79/1701.96 c GARBAGE COLLECT
1696.79/1701.96 c #Conflicts: 672000 | #Constraints: 22044
1696.79/1701.96 c #Conflicts: 673000 | #Constraints: 23044
1696.79/1701.96 c #Conflicts: 674000 | #Constraints: 24044
1696.79/1701.96 c #Conflicts: 675000 | #Constraints: 25044
1696.79/1701.96 c #Conflicts: 676000 | #Constraints: 26044
1696.79/1701.96 c #Conflicts: 677000 | #Constraints: 27044
1696.79/1701.96 c #Conflicts: 678000 | #Constraints: 28044
1696.79/1701.96 c #Conflicts: 679000 | #Constraints: 29044
1696.79/1701.96 c #Conflicts: 680000 | #Constraints: 30044
1696.79/1701.96 c #Conflicts: 681000 | #Constraints: 31044
1696.79/1701.96 c #Conflicts: 682000 | #Constraints: 32044
1696.79/1701.96 c #Conflicts: 683000 | #Constraints: 33044
1696.79/1701.96 c #Conflicts: 684000 | #Constraints: 34044
1696.79/1701.96 c #Conflicts: 685000 | #Constraints: 35044
1696.79/1701.96 c #Conflicts: 686000 | #Constraints: 36044
1696.79/1701.96 c #Conflicts: 687000 | #Constraints: 37044
1696.79/1701.96 c #Conflicts: 688000 | #Constraints: 38044
1696.79/1701.96 c INPROCESSING
1696.79/1701.96 c GARBAGE COLLECT
1696.79/1701.96 c #Conflicts: 689000 | #Constraints: 22606
1696.79/1701.96 c #Conflicts: 690000 | #Constraints: 23606
1696.79/1701.96 c #Conflicts: 691000 | #Constraints: 24606
1696.79/1701.96 c #Conflicts: 692000 | #Constraints: 25606
1696.79/1701.96 c #Conflicts: 693000 | #Constraints: 26606
1696.79/1701.96 c GLOBAL bounds - >= -2128 @ 1679.58
1909.46/1915.21 c #Conflicts: 694000 | #Constraints: 27608
1909.46/1915.21 c #Conflicts: 695000 | #Constraints: 28608
1909.46/1915.21 c #Conflicts: 696000 | #Constraints: 29608
1909.46/1915.21 c #Conflicts: 697000 | #Constraints: 30608
1909.46/1915.21 c #Conflicts: 698000 | #Constraints: 31608
1909.46/1915.21 c #Conflicts: 699000 | #Constraints: 32608
1909.46/1915.21 c #Conflicts: 700000 | #Constraints: 33608
1909.46/1915.21 c #Conflicts: 701000 | #Constraints: 34608
1909.46/1915.21 c #Conflicts: 702000 | #Constraints: 35608
1909.46/1915.21 c #Conflicts: 703000 | #Constraints: 36608
1909.46/1915.21 c #Conflicts: 704000 | #Constraints: 37608
1909.46/1915.21 c #Conflicts: 705000 | #Constraints: 38608
1909.46/1915.21 c INPROCESSING
1909.46/1915.21 c GARBAGE COLLECT
1909.46/1915.21 c #Conflicts: 706000 | #Constraints: 23043
1909.46/1915.21 c #Conflicts: 707000 | #Constraints: 24043
1909.46/1915.21 c #Conflicts: 708000 | #Constraints: 25043
1909.46/1915.21 c #Conflicts: 709000 | #Constraints: 26043
1909.46/1915.21 c #Conflicts: 710000 | #Constraints: 27043
1909.46/1915.21 c #Conflicts: 711000 | #Constraints: 28043
1909.46/1915.21 c #Conflicts: 712000 | #Constraints: 29043
1909.46/1915.21 c #Conflicts: 713000 | #Constraints: 30043
1909.46/1915.21 c #Conflicts: 714000 | #Constraints: 31043
1909.46/1915.21 c #Conflicts: 715000 | #Constraints: 32043
1909.46/1915.21 c #Conflicts: 716000 | #Constraints: 33043
1909.46/1915.21 c #Conflicts: 717000 | #Constraints: 34043
1909.46/1915.21 c #Conflicts: 718000 | #Constraints: 35043
1909.46/1915.21 c #Conflicts: 719000 | #Constraints: 36043
1909.46/1915.21 c #Conflicts: 720000 | #Constraints: 37043
1909.46/1915.21 c #Conflicts: 721000 | #Constraints: 38043
1909.46/1915.21 c #Conflicts: 722000 | #Constraints: 39043
1909.46/1915.21 c INPROCESSING
1909.46/1915.21 c GARBAGE COLLECT
1909.46/1915.21 c #Conflicts: 723000 | #Constraints: 23250
1909.46/1915.21 c #Conflicts: 724000 | #Constraints: 24250
1909.46/1915.21 c #Conflicts: 725000 | #Constraints: 25250
1909.46/1915.21 c #Conflicts: 726000 | #Constraints: 26250
1909.46/1915.21 c #Conflicts: 727000 | #Constraints: 27250
1909.46/1915.21 c #Conflicts: 728000 | #Constraints: 28250
1909.46/1915.21 c #Conflicts: 729000 | #Constraints: 29250
1909.46/1915.21 c #Conflicts: 730000 | #Constraints: 30250
1909.46/1915.21 c #Conflicts: 731000 | #Constraints: 31250
1909.46/1915.21 c #Conflicts: 732000 | #Constraints: 32250
1909.46/1915.21 c #Conflicts: 733000 | #Constraints: 33250
1909.46/1915.21 c #Conflicts: 734000 | #Constraints: 34250
1909.46/1915.21 c #Conflicts: 735000 | #Constraints: 35250
1909.46/1915.21 c #Conflicts: 736000 | #Constraints: 36250
1909.46/1915.21 c #Conflicts: 737000 | #Constraints: 37250
1909.46/1915.21 c #Conflicts: 738000 | #Constraints: 38250
1909.46/1915.21 c #Conflicts: 739000 | #Constraints: 39250
1909.46/1915.21 c INPROCESSING
1909.46/1915.21 c GARBAGE COLLECT
1909.46/1915.21 c #Conflicts: 740000 | #Constraints: 23255
1909.46/1915.21 c #Conflicts: 741000 | #Constraints: 24255
1909.46/1915.21 c #Conflicts: 742000 | #Constraints: 25255
1909.46/1915.21 c #Conflicts: 743000 | #Constraints: 26255
1909.46/1915.21 c #Conflicts: 744000 | #Constraints: 27255
1909.46/1915.21 c #Conflicts: 745000 | #Constraints: 28255
1909.46/1915.21 c #Conflicts: 746000 | #Constraints: 29255
1909.46/1915.21 c #Conflicts: 747000 | #Constraints: 30255
1909.46/1915.21 c #Conflicts: 748000 | #Constraints: 31255
1909.46/1915.21 c #Conflicts: 749000 | #Constraints: 32255
1909.46/1915.21 c #Conflicts: 750000 | #Constraints: 33255
1909.46/1915.21 c #Conflicts: 751000 | #Constraints: 34255
1909.46/1915.21 c #Conflicts: 752000 | #Constraints: 35255
1909.46/1915.21 c #Conflicts: 753000 | #Constraints: 36255
1909.46/1915.21 c #Conflicts: 754000 | #Constraints: 37255
1909.46/1915.21 c #Conflicts: 755000 | #Constraints: 38255
1909.46/1915.21 c #Conflicts: 756000 | #Constraints: 39255
1909.46/1915.21 c INPROCESSING
1909.46/1915.21 c GARBAGE COLLECT
1909.46/1915.21 c #Conflicts: 757000 | #Constraints: 23055
1909.46/1915.21 c #Conflicts: 758000 | #Constraints: 24055
1909.46/1915.21 c #Conflicts: 759000 | #Constraints: 25055
1909.46/1915.21 c #Conflicts: 760000 | #Constraints: 26055
1909.46/1915.21 c #Conflicts: 761000 | #Constraints: 27055
1909.46/1915.21 c #Conflicts: 762000 | #Constraints: 28055
1909.46/1915.21 c #Conflicts: 763000 | #Constraints: 29055
1909.46/1915.21 c #Conflicts: 764000 | #Constraints: 30055
1909.46/1915.21 c #Conflicts: 765000 | #Constraints: 31055
1909.46/1915.21 c #Conflicts: 766000 | #Constraints: 32055
1909.46/1915.21 c #Conflicts: 767000 | #Constraints: 33055
1909.46/1915.21 c #Conflicts: 768000 | #Constraints: 34055
1909.46/1915.21 c GLOBAL bounds - >= -2128 @ 1890.39
1933.30/1939.15 c #Conflicts: 769000 | #Constraints: 35057
1933.30/1939.15 c #Conflicts: 770000 | #Constraints: 36057
1933.30/1939.15 c #Conflicts: 771000 | #Constraints: 37057
1933.30/1939.15 c #Conflicts: 772000 | #Constraints: 38057
1933.30/1939.15 c #Conflicts: 773000 | #Constraints: 39057
1933.30/1939.15 c #Conflicts: 774000 | #Constraints: 40057
1933.30/1939.15 c INPROCESSING
1933.30/1939.15 c GARBAGE COLLECT
1933.30/1939.15 c #Conflicts: 775000 | #Constraints: 23692
1933.30/1939.15 c GLOBAL bounds - >= -2128 @ 1914.1
1997.60/2003.66 c #Conflicts: 776000 | #Constraints: 24694
1997.60/2003.66 c #Conflicts: 777000 | #Constraints: 25694
1997.60/2003.66 c #Conflicts: 778000 | #Constraints: 26694
1997.60/2003.66 c #Conflicts: 779000 | #Constraints: 27694
1997.60/2003.66 c #Conflicts: 780000 | #Constraints: 28694
1997.60/2003.66 c #Conflicts: 781000 | #Constraints: 29694
1997.60/2003.66 c #Conflicts: 782000 | #Constraints: 30694
1997.60/2003.66 c #Conflicts: 783000 | #Constraints: 31694
1997.60/2003.66 c #Conflicts: 784000 | #Constraints: 32694
1997.60/2003.66 c #Conflicts: 785000 | #Constraints: 33694
1997.60/2003.66 c #Conflicts: 786000 | #Constraints: 34694
1997.60/2003.66 c #Conflicts: 787000 | #Constraints: 35694
1997.60/2003.66 c #Conflicts: 788000 | #Constraints: 36694
1997.60/2003.66 c #Conflicts: 789000 | #Constraints: 37694
1997.60/2003.66 c #Conflicts: 790000 | #Constraints: 38694
1997.60/2003.66 c #Conflicts: 791000 | #Constraints: 39694
1997.60/2003.66 c #Conflicts: 792000 | #Constraints: 40694
1997.60/2003.66 c INPROCESSING
1997.60/2003.66 c GARBAGE COLLECT
1997.60/2003.66 c #Conflicts: 793000 | #Constraints: 24100
1997.60/2003.66 c #Conflicts: 794000 | #Constraints: 25100
1997.60/2003.66 c #Conflicts: 795000 | #Constraints: 26100
1997.60/2003.66 c #Conflicts: 796000 | #Constraints: 27100
1997.60/2003.66 c #Conflicts: 797000 | #Constraints: 28100
1997.60/2003.66 c #Conflicts: 798000 | #Constraints: 29100
1997.60/2003.66 c #Conflicts: 799000 | #Constraints: 30100
1997.60/2003.66 c GLOBAL bounds - >= -2128 @ 1977.87
2051.53/2057.74 c #Conflicts: 800000 | #Constraints: 31102
2051.53/2057.74 c #Conflicts: 801000 | #Constraints: 32102
2051.53/2057.74 c #Conflicts: 802000 | #Constraints: 33102
2051.53/2057.74 c #Conflicts: 803000 | #Constraints: 34102
2051.53/2057.74 c #Conflicts: 804000 | #Constraints: 35102
2051.53/2057.74 c #Conflicts: 805000 | #Constraints: 36102
2051.53/2057.74 c #Conflicts: 806000 | #Constraints: 37102
2051.53/2057.74 c #Conflicts: 807000 | #Constraints: 38102
2051.53/2057.74 c #Conflicts: 808000 | #Constraints: 39102
2051.53/2057.74 c #Conflicts: 809000 | #Constraints: 40102
2051.53/2057.74 c #Conflicts: 810000 | #Constraints: 41102
2051.53/2057.74 c INPROCESSING
2051.53/2057.74 c GARBAGE COLLECT
2051.53/2057.74 c #Conflicts: 811000 | #Constraints: 24312
2051.53/2057.74 c #Conflicts: 812000 | #Constraints: 25312
2051.53/2057.74 c #Conflicts: 813000 | #Constraints: 26312
2051.53/2057.74 c #Conflicts: 814000 | #Constraints: 27312
2051.53/2057.74 c #Conflicts: 815000 | #Constraints: 28312
2051.53/2057.74 c #Conflicts: 816000 | #Constraints: 29312
2051.53/2057.74 c #Conflicts: 817000 | #Constraints: 30312
2051.53/2057.74 c #Conflicts: 818000 | #Constraints: 31312
2051.53/2057.74 c GLOBAL bounds - >= -2128 @ 2031.41
2298.86/2305.86 c #Conflicts: 819000 | #Constraints: 32314
2298.86/2305.86 c #Conflicts: 820000 | #Constraints: 33314
2298.86/2305.86 c #Conflicts: 821000 | #Constraints: 34314
2298.86/2305.86 c #Conflicts: 822000 | #Constraints: 35314
2298.86/2305.86 c #Conflicts: 823000 | #Constraints: 36314
2298.86/2305.86 c #Conflicts: 824000 | #Constraints: 37314
2298.86/2305.86 c #Conflicts: 825000 | #Constraints: 38314
2298.86/2305.86 c #Conflicts: 826000 | #Constraints: 39314
2298.86/2305.86 c #Conflicts: 827000 | #Constraints: 40314
2298.86/2305.86 c #Conflicts: 828000 | #Constraints: 41314
2298.86/2305.86 c INPROCESSING
2298.86/2305.86 c GARBAGE COLLECT
2298.86/2305.86 c #Conflicts: 829000 | #Constraints: 24301
2298.86/2305.86 c #Conflicts: 830000 | #Constraints: 25301
2298.86/2305.86 c #Conflicts: 831000 | #Constraints: 26301
2298.86/2305.86 c #Conflicts: 832000 | #Constraints: 27301
2298.86/2305.86 c #Conflicts: 833000 | #Constraints: 28301
2298.86/2305.86 c #Conflicts: 834000 | #Constraints: 29301
2298.86/2305.86 c #Conflicts: 835000 | #Constraints: 30301
2298.86/2305.86 c #Conflicts: 836000 | #Constraints: 31301
2298.86/2305.86 c #Conflicts: 837000 | #Constraints: 32301
2298.86/2305.86 c #Conflicts: 838000 | #Constraints: 33301
2298.86/2305.86 c #Conflicts: 839000 | #Constraints: 34301
2298.86/2305.86 c #Conflicts: 840000 | #Constraints: 35301
2298.86/2305.86 c #Conflicts: 841000 | #Constraints: 36301
2298.86/2305.86 c #Conflicts: 842000 | #Constraints: 37301
2298.86/2305.86 c #Conflicts: 843000 | #Constraints: 38301
2298.86/2305.86 c #Conflicts: 844000 | #Constraints: 39301
2298.86/2305.86 c #Conflicts: 845000 | #Constraints: 40301
2298.86/2305.86 c #Conflicts: 846000 | #Constraints: 41301
2298.86/2305.86 c INPROCESSING
2298.86/2305.86 c GARBAGE COLLECT
2298.86/2305.86 c #Conflicts: 847000 | #Constraints: 24106
2298.86/2305.86 c #Conflicts: 848000 | #Constraints: 25106
2298.86/2305.86 c #Conflicts: 849000 | #Constraints: 26106
2298.86/2305.86 c #Conflicts: 850000 | #Constraints: 27106
2298.86/2305.86 c #Conflicts: 851000 | #Constraints: 28106
2298.86/2305.86 c #Conflicts: 852000 | #Constraints: 29106
2298.86/2305.86 c #Conflicts: 853000 | #Constraints: 30106
2298.86/2305.86 c #Conflicts: 854000 | #Constraints: 31106
2298.86/2305.86 c #Conflicts: 855000 | #Constraints: 32106
2298.86/2305.86 c #Conflicts: 856000 | #Constraints: 33106
2298.86/2305.86 c #Conflicts: 857000 | #Constraints: 34106
2298.86/2305.86 c #Conflicts: 858000 | #Constraints: 35106
2298.86/2305.86 c #Conflicts: 859000 | #Constraints: 36106
2298.86/2305.86 c #Conflicts: 860000 | #Constraints: 37106
2298.86/2305.86 c #Conflicts: 861000 | #Constraints: 38106
2298.86/2305.86 c #Conflicts: 862000 | #Constraints: 39106
2298.86/2305.86 c #Conflicts: 863000 | #Constraints: 40106
2298.86/2305.86 c #Conflicts: 864000 | #Constraints: 41106
2298.86/2305.86 c #Conflicts: 865000 | #Constraints: 42106
2298.86/2305.86 c INPROCESSING
2298.86/2305.86 c GARBAGE COLLECT
2298.86/2305.86 c #Conflicts: 866000 | #Constraints: 24703
2298.86/2305.86 c #Conflicts: 867000 | #Constraints: 25703
2298.86/2305.86 c #Conflicts: 868000 | #Constraints: 26703
2298.86/2305.86 c #Conflicts: 869000 | #Constraints: 27703
2298.86/2305.86 c #Conflicts: 870000 | #Constraints: 28703
2298.86/2305.86 c #Conflicts: 871000 | #Constraints: 29703
2298.86/2305.86 c #Conflicts: 872000 | #Constraints: 30703
2298.86/2305.86 c #Conflicts: 873000 | #Constraints: 31703
2298.86/2305.86 c #Conflicts: 874000 | #Constraints: 32703
2298.86/2305.86 c #Conflicts: 875000 | #Constraints: 33703
2298.86/2305.86 c #Conflicts: 876000 | #Constraints: 34703
2298.86/2305.86 c #Conflicts: 877000 | #Constraints: 35703
2298.86/2305.86 c #Conflicts: 878000 | #Constraints: 36703
2298.86/2305.86 c #Conflicts: 879000 | #Constraints: 37703
2298.86/2305.86 c #Conflicts: 880000 | #Constraints: 38703
2298.86/2305.86 c #Conflicts: 881000 | #Constraints: 39703
2298.86/2305.86 c #Conflicts: 882000 | #Constraints: 40703
2298.86/2305.86 c #Conflicts: 883000 | #Constraints: 41703
2298.86/2305.86 c #Conflicts: 884000 | #Constraints: 42703
2298.86/2305.86 c INPROCESSING
2298.86/2305.86 c GARBAGE COLLECT
2298.86/2305.86 c #Conflicts: 885000 | #Constraints: 25073
2298.86/2305.86 c #Conflicts: 886000 | #Constraints: 26073
2298.86/2305.86 c #Conflicts: 887000 | #Constraints: 27073
2298.86/2305.86 c #Conflicts: 888000 | #Constraints: 28073
2298.86/2305.86 c #Conflicts: 889000 | #Constraints: 29073
2298.86/2305.86 c #Conflicts: 890000 | #Constraints: 30073
2298.86/2305.86 c #Conflicts: 891000 | #Constraints: 31073
2298.86/2305.86 c #Conflicts: 892000 | #Constraints: 32073
2298.86/2305.86 c #Conflicts: 893000 | #Constraints: 33073
2298.86/2305.86 c #Conflicts: 894000 | #Constraints: 34073
2298.86/2305.86 c #Conflicts: 895000 | #Constraints: 35073
2486.28/2493.80 c #Conflicts: 896000 | #Constraints: 36073
2486.28/2493.80 c #Conflicts: 897000 | #Constraints: 37073
2486.28/2493.80 c #Conflicts: 898000 | #Constraints: 38073
2486.28/2493.80 c #Conflicts: 899000 | #Constraints: 39073
2486.28/2493.80 c #Conflicts: 900000 | #Constraints: 40073
2486.28/2493.80 c #Conflicts: 901000 | #Constraints: 41073
2486.28/2493.80 c #Conflicts: 902000 | #Constraints: 42073
2486.28/2493.80 c #Conflicts: 903000 | #Constraints: 43073
2486.28/2493.80 c INPROCESSING
2486.28/2493.80 c GARBAGE COLLECT
2486.28/2493.80 c #Conflicts: 904000 | #Constraints: 25270
2486.28/2493.80 c #Conflicts: 905000 | #Constraints: 26270
2486.28/2493.80 c #Conflicts: 906000 | #Constraints: 27270
2486.28/2493.80 c #Conflicts: 907000 | #Constraints: 28270
2486.28/2493.80 c #Conflicts: 908000 | #Constraints: 29270
2486.28/2493.80 c #Conflicts: 909000 | #Constraints: 30270
2486.28/2493.80 c #Conflicts: 910000 | #Constraints: 31270
2486.28/2493.80 c #Conflicts: 911000 | #Constraints: 32270
2486.28/2493.80 c #Conflicts: 912000 | #Constraints: 33270
2486.28/2493.80 c #Conflicts: 913000 | #Constraints: 34270
2486.28/2493.80 c #Conflicts: 914000 | #Constraints: 35270
2486.28/2493.80 c #Conflicts: 915000 | #Constraints: 36270
2486.28/2493.80 c #Conflicts: 916000 | #Constraints: 37270
2486.28/2493.80 c #Conflicts: 917000 | #Constraints: 38270
2486.28/2493.80 c #Conflicts: 918000 | #Constraints: 39270
2486.28/2493.80 c #Conflicts: 919000 | #Constraints: 40270
2486.28/2493.80 c #Conflicts: 920000 | #Constraints: 41270
2486.28/2493.80 c #Conflicts: 921000 | #Constraints: 42270
2486.28/2493.80 c #Conflicts: 922000 | #Constraints: 43270
2486.28/2493.80 c INPROCESSING
2486.28/2493.80 c GARBAGE COLLECT
2486.28/2493.80 c #Conflicts: 923000 | #Constraints: 25273
2486.28/2493.80 c #Conflicts: 924000 | #Constraints: 26273
2486.28/2493.80 c #Conflicts: 925000 | #Constraints: 27273
2486.28/2493.80 c #Conflicts: 926000 | #Constraints: 28273
2486.28/2493.80 c #Conflicts: 927000 | #Constraints: 29273
2486.28/2493.80 c #Conflicts: 928000 | #Constraints: 30273
2486.28/2493.80 c #Conflicts: 929000 | #Constraints: 31273
2486.28/2493.80 c #Conflicts: 930000 | #Constraints: 32273
2486.28/2493.80 c #Conflicts: 931000 | #Constraints: 33273
2486.28/2493.80 c #Conflicts: 932000 | #Constraints: 34273
2486.28/2493.80 c #Conflicts: 933000 | #Constraints: 35273
2486.28/2493.80 c #Conflicts: 934000 | #Constraints: 36273
2486.28/2493.80 c #Conflicts: 935000 | #Constraints: 37273
2486.28/2493.80 c #Conflicts: 936000 | #Constraints: 38273
2486.28/2493.80 c #Conflicts: 937000 | #Constraints: 39273
2486.28/2493.80 c #Conflicts: 938000 | #Constraints: 40273
2486.28/2493.80 c #Conflicts: 939000 | #Constraints: 41273
2486.28/2493.80 c #Conflicts: 940000 | #Constraints: 42273
2486.28/2493.80 c #Conflicts: 941000 | #Constraints: 43273
2486.28/2493.80 c INPROCESSING
2486.28/2493.80 c GARBAGE COLLECT
2486.28/2493.80 c #Conflicts: 942000 | #Constraints: 25081
2486.28/2493.80 c #Conflicts: 943000 | #Constraints: 26081
2486.28/2493.80 c #Conflicts: 944000 | #Constraints: 27081
2486.28/2493.80 c #Conflicts: 945000 | #Constraints: 28081
2486.28/2493.80 c #Conflicts: 946000 | #Constraints: 29081
2486.28/2493.80 c #Conflicts: 947000 | #Constraints: 30081
2486.28/2493.80 c #Conflicts: 948000 | #Constraints: 31081
2486.28/2493.80 c #Conflicts: 949000 | #Constraints: 32081
2486.28/2493.80 c #Conflicts: 950000 | #Constraints: 33081
2486.28/2493.80 c #Conflicts: 951000 | #Constraints: 34081
2486.28/2493.80 c #Conflicts: 952000 | #Constraints: 35081
2486.28/2493.80 c #Conflicts: 953000 | #Constraints: 36081
2486.28/2493.80 c #Conflicts: 954000 | #Constraints: 37081
2486.28/2493.80 c #Conflicts: 955000 | #Constraints: 38081
2486.28/2493.80 c #Conflicts: 956000 | #Constraints: 39081
2486.28/2493.80 c GLOBAL bounds - >= -2128 @ 2463.02
2698.60/2706.86 c #Conflicts: 957000 | #Constraints: 40083
2698.60/2706.86 c #Conflicts: 958000 | #Constraints: 41083
2698.60/2706.86 c #Conflicts: 959000 | #Constraints: 42083
2698.60/2706.86 c #Conflicts: 960000 | #Constraints: 43083
2698.60/2706.86 c #Conflicts: 961000 | #Constraints: 44083
2698.60/2706.86 c INPROCESSING
2698.60/2706.86 c GARBAGE COLLECT
2698.60/2706.86 c #Conflicts: 962000 | #Constraints: 25728
2698.60/2706.86 c #Conflicts: 963000 | #Constraints: 26728
2698.60/2706.86 c #Conflicts: 964000 | #Constraints: 27728
2698.60/2706.86 c #Conflicts: 965000 | #Constraints: 28728
2698.60/2706.86 c #Conflicts: 966000 | #Constraints: 29728
2698.60/2706.86 c #Conflicts: 967000 | #Constraints: 30728
2698.60/2706.86 c #Conflicts: 968000 | #Constraints: 31728
2698.60/2706.86 c #Conflicts: 969000 | #Constraints: 32728
2698.60/2706.86 c #Conflicts: 970000 | #Constraints: 33728
2698.60/2706.86 c #Conflicts: 971000 | #Constraints: 34728
2698.60/2706.86 c #Conflicts: 972000 | #Constraints: 35728
2698.60/2706.86 c #Conflicts: 973000 | #Constraints: 36728
2698.60/2706.86 c #Conflicts: 974000 | #Constraints: 37728
2698.60/2706.86 c #Conflicts: 975000 | #Constraints: 38728
2698.60/2706.86 c #Conflicts: 976000 | #Constraints: 39728
2698.60/2706.86 c #Conflicts: 977000 | #Constraints: 40728
2698.60/2706.86 c #Conflicts: 978000 | #Constraints: 41728
2698.60/2706.86 c #Conflicts: 979000 | #Constraints: 42728
2698.60/2706.86 c #Conflicts: 980000 | #Constraints: 43728
2698.60/2706.86 c #Conflicts: 981000 | #Constraints: 44728
2698.60/2706.86 c INPROCESSING
2698.60/2706.86 c GARBAGE COLLECT
2698.60/2706.86 c #Conflicts: 982000 | #Constraints: 26158
2698.60/2706.86 c #Conflicts: 983000 | #Constraints: 27158
2698.60/2706.86 c #Conflicts: 984000 | #Constraints: 28158
2698.60/2706.86 c #Conflicts: 985000 | #Constraints: 29158
2698.60/2706.86 c #Conflicts: 986000 | #Constraints: 30158
2698.60/2706.86 c #Conflicts: 987000 | #Constraints: 31158
2698.60/2706.86 c #Conflicts: 988000 | #Constraints: 32158
2698.60/2706.86 c #Conflicts: 989000 | #Constraints: 33158
2698.60/2706.86 c #Conflicts: 990000 | #Constraints: 34158
2698.60/2706.86 c #Conflicts: 991000 | #Constraints: 35158
2698.60/2706.86 c #Conflicts: 992000 | #Constraints: 36158
2698.60/2706.86 c #Conflicts: 993000 | #Constraints: 37158
2698.60/2706.86 c #Conflicts: 994000 | #Constraints: 38158
2698.60/2706.86 c #Conflicts: 995000 | #Constraints: 39158
2698.60/2706.86 c #Conflicts: 996000 | #Constraints: 40158
2698.60/2706.86 c #Conflicts: 997000 | #Constraints: 41158
2698.60/2706.86 c #Conflicts: 998000 | #Constraints: 42158
2698.60/2706.86 c #Conflicts: 999000 | #Constraints: 43158
2698.60/2706.86 c #Conflicts: 1000000 | #Constraints: 44158
2698.60/2706.86 c #Conflicts: 1001000 | #Constraints: 45158
2698.60/2706.86 c INPROCESSING
2698.60/2706.86 c GARBAGE COLLECT
2698.60/2706.86 c #Conflicts: 1002000 | #Constraints: 26370
2698.60/2706.86 c #Conflicts: 1003000 | #Constraints: 27370
2698.60/2706.86 c #Conflicts: 1004000 | #Constraints: 28370
2698.60/2706.86 c #Conflicts: 1005000 | #Constraints: 29370
2698.60/2706.86 c #Conflicts: 1006000 | #Constraints: 30370
2698.60/2706.86 c #Conflicts: 1007000 | #Constraints: 31370
2698.60/2706.86 c #Conflicts: 1008000 | #Constraints: 32370
2698.60/2706.86 c #Conflicts: 1009000 | #Constraints: 33370
2698.60/2706.86 c #Conflicts: 1010000 | #Constraints: 34370
2698.60/2706.86 c #Conflicts: 1011000 | #Constraints: 35370
2698.60/2706.86 c #Conflicts: 1012000 | #Constraints: 36370
2698.60/2706.86 c #Conflicts: 1013000 | #Constraints: 37370
2698.60/2706.86 c #Conflicts: 1014000 | #Constraints: 38370
2698.60/2706.86 c #Conflicts: 1015000 | #Constraints: 39370
2698.60/2706.86 c #Conflicts: 1016000 | #Constraints: 40370
2698.60/2706.86 c #Conflicts: 1017000 | #Constraints: 41370
2698.60/2706.86 c #Conflicts: 1018000 | #Constraints: 42370
2698.60/2706.86 c #Conflicts: 1019000 | #Constraints: 43370
2698.60/2706.86 c #Conflicts: 1020000 | #Constraints: 44370
2698.60/2706.86 c #Conflicts: 1021000 | #Constraints: 45370
2698.60/2706.86 c INPROCESSING
2698.60/2706.86 c GARBAGE COLLECT
2698.60/2706.86 c #Conflicts: 1022000 | #Constraints: 26368
2698.60/2706.86 c #Conflicts: 1023000 | #Constraints: 27368
2698.60/2706.86 c #Conflicts: 1024000 | #Constraints: 28368
2698.60/2706.86 c #Conflicts: 1025000 | #Constraints: 29368
2698.60/2706.86 c #Conflicts: 1026000 | #Constraints: 30368
2698.60/2706.86 c #Conflicts: 1027000 | #Constraints: 31368
2698.60/2706.86 c #Conflicts: 1028000 | #Constraints: 32368
2698.60/2706.86 c #Conflicts: 1029000 | #Constraints: 33368
2698.60/2706.86 c #Conflicts: 1030000 | #Constraints: 34368
2698.60/2706.86 c #Conflicts: 1031000 | #Constraints: 35368
2698.60/2706.86 c #Conflicts: 1032000 | #Constraints: 36368
2698.60/2706.86 c #Conflicts: 1033000 | #Constraints: 37368
2890.10/2898.90 c #Conflicts: 1034000 | #Constraints: 38368
2890.10/2898.90 c #Conflicts: 1035000 | #Constraints: 39368
2890.10/2898.90 c #Conflicts: 1036000 | #Constraints: 40368
2890.10/2898.90 c #Conflicts: 1037000 | #Constraints: 41368
2890.10/2898.90 c #Conflicts: 1038000 | #Constraints: 42368
2890.10/2898.90 c #Conflicts: 1039000 | #Constraints: 43368
2890.10/2898.90 c #Conflicts: 1040000 | #Constraints: 44368
2890.10/2898.90 c #Conflicts: 1041000 | #Constraints: 45368
2890.10/2898.90 c INPROCESSING
2890.10/2898.90 c GARBAGE COLLECT
2890.10/2898.90 c #Conflicts: 1042000 | #Constraints: 26170
2890.10/2898.90 c #Conflicts: 1043000 | #Constraints: 27170
2890.10/2898.90 c #Conflicts: 1044000 | #Constraints: 28170
2890.10/2898.90 c #Conflicts: 1045000 | #Constraints: 29170
2890.10/2898.90 c #Conflicts: 1046000 | #Constraints: 30170
2890.10/2898.90 c #Conflicts: 1047000 | #Constraints: 31170
2890.10/2898.90 c #Conflicts: 1048000 | #Constraints: 32170
2890.10/2898.90 c #Conflicts: 1049000 | #Constraints: 33170
2890.10/2898.90 c #Conflicts: 1050000 | #Constraints: 34170
2890.10/2898.90 c #Conflicts: 1051000 | #Constraints: 35170
2890.10/2898.90 c #Conflicts: 1052000 | #Constraints: 36170
2890.10/2898.91 c #Conflicts: 1053000 | #Constraints: 37170
2890.10/2898.91 c #Conflicts: 1054000 | #Constraints: 38170
2890.10/2898.91 c #Conflicts: 1055000 | #Constraints: 39170
2890.10/2898.91 c #Conflicts: 1056000 | #Constraints: 40170
2890.10/2898.91 c #Conflicts: 1057000 | #Constraints: 41170
2890.10/2898.91 c #Conflicts: 1058000 | #Constraints: 42170
2890.10/2898.91 c #Conflicts: 1059000 | #Constraints: 43170
2890.10/2898.91 c #Conflicts: 1060000 | #Constraints: 44170
2890.10/2898.91 c #Conflicts: 1061000 | #Constraints: 45170
2890.10/2898.91 c #Conflicts: 1062000 | #Constraints: 46170
2890.10/2898.91 c INPROCESSING
2890.10/2898.91 c GARBAGE COLLECT
2890.10/2898.91 c #Conflicts: 1063000 | #Constraints: 26773
2890.10/2898.91 c #Conflicts: 1064000 | #Constraints: 27773
2890.10/2898.91 c #Conflicts: 1065000 | #Constraints: 28773
2890.10/2898.91 c #Conflicts: 1066000 | #Constraints: 29773
2890.10/2898.91 c #Conflicts: 1067000 | #Constraints: 30773
2890.10/2898.91 c #Conflicts: 1068000 | #Constraints: 31773
2890.10/2898.91 c #Conflicts: 1069000 | #Constraints: 32773
2890.10/2898.91 c #Conflicts: 1070000 | #Constraints: 33773
2890.10/2898.91 c #Conflicts: 1071000 | #Constraints: 34773
2890.10/2898.91 c #Conflicts: 1072000 | #Constraints: 35773
2890.10/2898.91 c #Conflicts: 1073000 | #Constraints: 36773
2890.10/2898.91 c #Conflicts: 1074000 | #Constraints: 37773
2890.10/2898.91 c #Conflicts: 1075000 | #Constraints: 38773
2890.10/2898.91 c #Conflicts: 1076000 | #Constraints: 39773
2890.10/2898.91 c #Conflicts: 1077000 | #Constraints: 40773
2890.10/2898.91 c #Conflicts: 1078000 | #Constraints: 41773
2890.10/2898.91 c #Conflicts: 1079000 | #Constraints: 42773
2890.10/2898.91 c #Conflicts: 1080000 | #Constraints: 43773
2890.10/2898.91 c #Conflicts: 1081000 | #Constraints: 44773
2890.10/2898.91 c #Conflicts: 1082000 | #Constraints: 45773
2890.10/2898.91 c #Conflicts: 1083000 | #Constraints: 46773
2890.10/2898.91 c INPROCESSING
2890.10/2898.91 c GARBAGE COLLECT
2890.10/2898.91 c #Conflicts: 1084000 | #Constraints: 27177
2890.10/2898.91 c #Conflicts: 1085000 | #Constraints: 28177
2890.10/2898.91 c #Conflicts: 1086000 | #Constraints: 29177
2890.10/2898.91 c #Conflicts: 1087000 | #Constraints: 30177
2890.10/2898.91 c #Conflicts: 1088000 | #Constraints: 31177
2890.10/2898.91 c #Conflicts: 1089000 | #Constraints: 32177
2890.10/2898.91 c #Conflicts: 1090000 | #Constraints: 33177
2890.10/2898.91 c #Conflicts: 1091000 | #Constraints: 34177
2890.10/2898.91 c #Conflicts: 1092000 | #Constraints: 35177
2890.10/2898.91 c #Conflicts: 1093000 | #Constraints: 36177
2890.10/2898.91 c GLOBAL bounds - >= -2128 @ 2863.66
2989.00/2998.19 c #Conflicts: 1094000 | #Constraints: 37179
2989.00/2998.19 c #Conflicts: 1095000 | #Constraints: 38179
2989.00/2998.19 c #Conflicts: 1096000 | #Constraints: 39179
2989.00/2998.19 c #Conflicts: 1097000 | #Constraints: 40179
2989.00/2998.19 c #Conflicts: 1098000 | #Constraints: 41179
2989.00/2998.19 c #Conflicts: 1099000 | #Constraints: 42179
2989.00/2998.19 c #Conflicts: 1100000 | #Constraints: 43179
2989.00/2998.19 c #Conflicts: 1101000 | #Constraints: 44179
2989.00/2998.19 c #Conflicts: 1102000 | #Constraints: 45179
2989.00/2998.19 c #Conflicts: 1103000 | #Constraints: 46179
2989.00/2998.19 c #Conflicts: 1104000 | #Constraints: 47179
2989.00/2998.19 c INPROCESSING
2989.00/2998.19 c GARBAGE COLLECT
2989.00/2998.19 c #Conflicts: 1105000 | #Constraints: 27375
2989.00/2998.19 c #Conflicts: 1106000 | #Constraints: 28375
2989.00/2998.19 c #Conflicts: 1107000 | #Constraints: 29375
2989.00/2998.19 c #Conflicts: 1108000 | #Constraints: 30375
2989.00/2998.19 c #Conflicts: 1109000 | #Constraints: 31375
2989.00/2998.19 c #Conflicts: 1110000 | #Constraints: 32375
2989.00/2998.19 c #Conflicts: 1111000 | #Constraints: 33375
2989.00/2998.19 c #Conflicts: 1112000 | #Constraints: 34375
2989.00/2998.19 c #Conflicts: 1113000 | #Constraints: 35375
2989.00/2998.19 c #Conflicts: 1114000 | #Constraints: 36375
2989.00/2998.19 c #Conflicts: 1115000 | #Constraints: 37375
2989.00/2998.19 c #Conflicts: 1116000 | #Constraints: 38375
2989.00/2998.19 c #Conflicts: 1117000 | #Constraints: 39375
2989.00/2998.19 c #Conflicts: 1118000 | #Constraints: 40375
2989.00/2998.19 c #Conflicts: 1119000 | #Constraints: 41375
2989.00/2998.19 c #Conflicts: 1120000 | #Constraints: 42375
2989.00/2998.19 c #Conflicts: 1121000 | #Constraints: 43375
2989.00/2998.19 c #Conflicts: 1122000 | #Constraints: 44375
2989.00/2998.19 c #Conflicts: 1123000 | #Constraints: 45375
2989.00/2998.19 c #Conflicts: 1124000 | #Constraints: 46375
2989.00/2998.19 c #Conflicts: 1125000 | #Constraints: 47375
2989.00/2998.19 c INPROCESSING
2989.00/2998.19 c GARBAGE COLLECT
2989.00/2998.19 c #Conflicts: 1126000 | #Constraints: 27384
2989.00/2998.19 c #Conflicts: 1127000 | #Constraints: 28384
2989.00/2998.19 c #Conflicts: 1128000 | #Constraints: 29384
2989.00/2998.19 c #Conflicts: 1129000 | #Constraints: 30384
2989.00/2998.19 c #Conflicts: 1130000 | #Constraints: 31384
2989.00/2998.19 c #Conflicts: 1131000 | #Constraints: 32384
2989.00/2998.19 c GLOBAL bounds - >= -2128 @ 2961.95
3201.73/3211.57 c #Conflicts: 1132000 | #Constraints: 33386
3201.73/3211.57 c #Conflicts: 1133000 | #Constraints: 34386
3201.73/3211.57 c #Conflicts: 1134000 | #Constraints: 35386
3201.73/3211.57 c #Conflicts: 1135000 | #Constraints: 36386
3201.73/3211.57 c #Conflicts: 1136000 | #Constraints: 37386
3201.73/3211.57 c #Conflicts: 1137000 | #Constraints: 38386
3201.73/3211.57 c #Conflicts: 1138000 | #Constraints: 39386
3201.73/3211.57 c #Conflicts: 1139000 | #Constraints: 40386
3201.73/3211.57 c #Conflicts: 1140000 | #Constraints: 41386
3201.73/3211.57 c #Conflicts: 1141000 | #Constraints: 42386
3201.73/3211.57 c #Conflicts: 1142000 | #Constraints: 43386
3201.73/3211.57 c #Conflicts: 1143000 | #Constraints: 44386
3201.73/3211.57 c #Conflicts: 1144000 | #Constraints: 45386
3201.73/3211.57 c #Conflicts: 1145000 | #Constraints: 46386
3201.73/3211.57 c #Conflicts: 1146000 | #Constraints: 47386
3201.73/3211.57 c INPROCESSING
3201.73/3211.57 c GARBAGE COLLECT
3201.73/3211.57 c #Conflicts: 1147000 | #Constraints: 27096
3201.73/3211.57 c #Conflicts: 1148000 | #Constraints: 28096
3201.73/3211.57 c #Conflicts: 1149000 | #Constraints: 29096
3201.73/3211.57 c #Conflicts: 1150000 | #Constraints: 30096
3201.73/3211.57 c #Conflicts: 1151000 | #Constraints: 31096
3201.73/3211.57 c #Conflicts: 1152000 | #Constraints: 32096
3201.73/3211.57 c #Conflicts: 1153000 | #Constraints: 33096
3201.73/3211.57 c #Conflicts: 1154000 | #Constraints: 34096
3201.73/3211.57 c #Conflicts: 1155000 | #Constraints: 35096
3201.73/3211.57 c #Conflicts: 1156000 | #Constraints: 36096
3201.73/3211.57 c #Conflicts: 1157000 | #Constraints: 37096
3201.73/3211.57 c #Conflicts: 1158000 | #Constraints: 38096
3201.73/3211.57 c #Conflicts: 1159000 | #Constraints: 39096
3201.73/3211.57 c #Conflicts: 1160000 | #Constraints: 40096
3201.73/3211.57 c #Conflicts: 1161000 | #Constraints: 41096
3201.73/3211.57 c #Conflicts: 1162000 | #Constraints: 42096
3201.73/3211.57 c #Conflicts: 1163000 | #Constraints: 43096
3201.73/3211.57 c #Conflicts: 1164000 | #Constraints: 44096
3201.73/3211.57 c #Conflicts: 1165000 | #Constraints: 45096
3201.73/3211.57 c #Conflicts: 1166000 | #Constraints: 46096
3201.73/3211.57 c #Conflicts: 1167000 | #Constraints: 47096
3201.73/3211.57 c #Conflicts: 1168000 | #Constraints: 48096
3201.73/3211.57 c INPROCESSING
3201.73/3211.57 c GARBAGE COLLECT
3201.73/3211.57 c #Conflicts: 1169000 | #Constraints: 27635
3201.73/3211.57 c #Conflicts: 1170000 | #Constraints: 28635
3201.73/3211.57 c #Conflicts: 1171000 | #Constraints: 29635
3201.73/3211.57 c #Conflicts: 1172000 | #Constraints: 30635
3201.73/3211.57 c #Conflicts: 1173000 | #Constraints: 31635
3201.73/3211.57 c #Conflicts: 1174000 | #Constraints: 32635
3201.73/3211.57 c #Conflicts: 1175000 | #Constraints: 33635
3201.73/3211.57 c #Conflicts: 1176000 | #Constraints: 34635
3201.73/3211.57 c #Conflicts: 1177000 | #Constraints: 35635
3201.73/3211.57 c #Conflicts: 1178000 | #Constraints: 36635
3201.73/3211.57 c #Conflicts: 1179000 | #Constraints: 37635
3201.73/3211.57 c #Conflicts: 1180000 | #Constraints: 38635
3201.73/3211.57 c #Conflicts: 1181000 | #Constraints: 39635
3201.73/3211.57 c #Conflicts: 1182000 | #Constraints: 40635
3201.73/3211.57 c #Conflicts: 1183000 | #Constraints: 41635
3201.73/3211.57 c #Conflicts: 1184000 | #Constraints: 42635
3201.73/3211.57 c #Conflicts: 1185000 | #Constraints: 43635
3201.73/3211.57 c #Conflicts: 1186000 | #Constraints: 44635
3201.73/3211.57 c #Conflicts: 1187000 | #Constraints: 45635
3201.73/3211.57 c #Conflicts: 1188000 | #Constraints: 46635
3201.73/3211.57 c #Conflicts: 1189000 | #Constraints: 47635
3201.73/3211.57 c #Conflicts: 1190000 | #Constraints: 48635
3201.73/3211.57 c INPROCESSING
3201.73/3211.57 c GARBAGE COLLECT
3201.73/3211.57 c #Conflicts: 1191000 | #Constraints: 28031
3201.73/3211.57 c #Conflicts: 1192000 | #Constraints: 29031
3201.73/3211.57 c #Conflicts: 1193000 | #Constraints: 30031
3201.73/3211.57 c #Conflicts: 1194000 | #Constraints: 31031
3201.73/3211.57 c #Conflicts: 1195000 | #Constraints: 32031
3201.73/3211.57 c #Conflicts: 1196000 | #Constraints: 33031
3201.73/3211.57 c #Conflicts: 1197000 | #Constraints: 34031
3201.73/3211.57 c #Conflicts: 1198000 | #Constraints: 35031
3201.73/3211.57 c #Conflicts: 1199000 | #Constraints: 36031
3201.73/3211.57 c #Conflicts: 1200000 | #Constraints: 37031
3201.73/3211.57 c #Conflicts: 1201000 | #Constraints: 38031
3201.73/3211.57 c #Conflicts: 1202000 | #Constraints: 39031
3201.73/3211.57 c #Conflicts: 1203000 | #Constraints: 40031
3201.73/3211.57 c #Conflicts: 1204000 | #Constraints: 41031
3201.73/3211.57 c #Conflicts: 1205000 | #Constraints: 42031
3201.73/3211.57 c #Conflicts: 1206000 | #Constraints: 43031
3201.73/3211.57 c #Conflicts: 1207000 | #Constraints: 44031
3201.73/3211.57 c #Conflicts: 1208000 | #Constraints: 45031
3286.50/3296.59 c #Conflicts: 1209000 | #Constraints: 46031
3286.50/3296.59 c #Conflicts: 1210000 | #Constraints: 47031
3286.50/3296.59 c #Conflicts: 1211000 | #Constraints: 48031
3286.50/3296.59 c #Conflicts: 1212000 | #Constraints: 49031
3286.50/3296.59 c INPROCESSING
3286.50/3296.59 c GARBAGE COLLECT
3286.50/3296.59 c #Conflicts: 1213000 | #Constraints: 28256
3286.50/3296.59 c #Conflicts: 1214000 | #Constraints: 29256
3286.50/3296.59 c #Conflicts: 1215000 | #Constraints: 30256
3286.50/3296.59 c #Conflicts: 1216000 | #Constraints: 31256
3286.50/3296.59 c #Conflicts: 1217000 | #Constraints: 32256
3286.50/3296.59 c #Conflicts: 1218000 | #Constraints: 33256
3286.50/3296.59 c #Conflicts: 1219000 | #Constraints: 34256
3286.50/3296.59 c #Conflicts: 1220000 | #Constraints: 35256
3286.50/3296.59 c #Conflicts: 1221000 | #Constraints: 36256
3286.50/3296.59 c #Conflicts: 1222000 | #Constraints: 37256
3286.50/3296.59 c #Conflicts: 1223000 | #Constraints: 38256
3286.50/3296.59 c #Conflicts: 1224000 | #Constraints: 39256
3286.50/3296.59 c #Conflicts: 1225000 | #Constraints: 40256
3286.50/3296.59 c #Conflicts: 1226000 | #Constraints: 41256
3286.50/3296.59 c #Conflicts: 1227000 | #Constraints: 42256
3286.50/3296.59 c #Conflicts: 1228000 | #Constraints: 43256
3286.50/3296.59 c #Conflicts: 1229000 | #Constraints: 44256
3286.50/3296.59 c #Conflicts: 1230000 | #Constraints: 45256
3286.50/3296.59 c #Conflicts: 1231000 | #Constraints: 46256
3286.50/3296.59 c #Conflicts: 1232000 | #Constraints: 47256
3286.50/3296.59 c #Conflicts: 1233000 | #Constraints: 48256
3286.50/3296.59 c #Conflicts: 1234000 | #Constraints: 49256
3286.50/3296.59 c INPROCESSING
3286.50/3296.59 c GARBAGE COLLECT
3286.50/3296.59 c #Conflicts: 1235000 | #Constraints: 28270
3286.50/3296.59 c #Conflicts: 1236000 | #Constraints: 29270
3286.50/3296.59 c #Conflicts: 1237000 | #Constraints: 30270
3286.50/3296.59 c #Conflicts: 1238000 | #Constraints: 31270
3286.50/3296.59 c #Conflicts: 1239000 | #Constraints: 32270
3286.50/3296.59 c #Conflicts: 1240000 | #Constraints: 33270
3286.50/3296.59 c #Conflicts: 1241000 | #Constraints: 34270
3286.50/3296.59 c #Conflicts: 1242000 | #Constraints: 35270
3286.50/3296.59 c #Conflicts: 1243000 | #Constraints: 36270
3286.50/3296.59 c GLOBAL bounds - >= -2128 @ 3257.13
3404.87/3415.27 c #Conflicts: 1244000 | #Constraints: 37272
3404.87/3415.27 c #Conflicts: 1245000 | #Constraints: 38272
3404.87/3415.27 c #Conflicts: 1246000 | #Constraints: 39272
3404.87/3415.27 c #Conflicts: 1247000 | #Constraints: 40272
3404.87/3415.27 c #Conflicts: 1248000 | #Constraints: 41272
3404.87/3415.27 c #Conflicts: 1249000 | #Constraints: 42272
3404.87/3415.27 c #Conflicts: 1250000 | #Constraints: 43272
3404.87/3415.27 c #Conflicts: 1251000 | #Constraints: 44272
3404.87/3415.27 c #Conflicts: 1252000 | #Constraints: 45272
3404.87/3415.27 c #Conflicts: 1253000 | #Constraints: 46272
3404.87/3415.27 c #Conflicts: 1254000 | #Constraints: 47272
3404.87/3415.27 c #Conflicts: 1255000 | #Constraints: 48272
3404.87/3415.27 c #Conflicts: 1256000 | #Constraints: 49272
3404.87/3415.27 c INPROCESSING
3404.87/3415.27 c GARBAGE COLLECT
3404.87/3415.27 c #Conflicts: 1257000 | #Constraints: 28147
3404.87/3415.27 c #Conflicts: 1258000 | #Constraints: 29147
3404.87/3415.27 c #Conflicts: 1259000 | #Constraints: 30147
3404.87/3415.27 c #Conflicts: 1260000 | #Constraints: 31147
3404.87/3415.27 c #Conflicts: 1261000 | #Constraints: 32147
3404.87/3415.27 c #Conflicts: 1262000 | #Constraints: 33147
3404.87/3415.27 c #Conflicts: 1263000 | #Constraints: 34147
3404.87/3415.28 c #Conflicts: 1264000 | #Constraints: 35147
3404.87/3415.28 c #Conflicts: 1265000 | #Constraints: 36147
3404.87/3415.28 c #Conflicts: 1266000 | #Constraints: 37147
3404.87/3415.28 c #Conflicts: 1267000 | #Constraints: 38147
3404.87/3415.28 c #Conflicts: 1268000 | #Constraints: 39147
3404.87/3415.28 c #Conflicts: 1269000 | #Constraints: 40147
3404.87/3415.28 c #Conflicts: 1270000 | #Constraints: 41147
3404.87/3415.28 c #Conflicts: 1271000 | #Constraints: 42147
3404.87/3415.28 c #Conflicts: 1272000 | #Constraints: 43147
3404.87/3415.28 c #Conflicts: 1273000 | #Constraints: 44147
3404.87/3415.28 c #Conflicts: 1274000 | #Constraints: 45147
3404.87/3415.28 c #Conflicts: 1275000 | #Constraints: 46147
3404.87/3415.28 c #Conflicts: 1276000 | #Constraints: 47147
3404.87/3415.28 c #Conflicts: 1277000 | #Constraints: 48147
3404.87/3415.28 c #Conflicts: 1278000 | #Constraints: 49147
3404.87/3415.28 c #Conflicts: 1279000 | #Constraints: 50147
3404.87/3415.28 c INPROCESSING
3404.87/3415.28 c GARBAGE COLLECT
3404.87/3415.28 c #Conflicts: 1280000 | #Constraints: 28720
3404.87/3415.28 c #Conflicts: 1281000 | #Constraints: 29720
3404.87/3415.28 c #Conflicts: 1282000 | #Constraints: 30720
3404.87/3415.28 c #Conflicts: 1283000 | #Constraints: 31720
3404.87/3415.28 c #Conflicts: 1284000 | #Constraints: 32720
3404.87/3415.28 c #Conflicts: 1285000 | #Constraints: 33720
3404.87/3415.28 c #Conflicts: 1286000 | #Constraints: 34720
3404.87/3415.28 c #Conflicts: 1287000 | #Constraints: 35720
3404.87/3415.28 c #Conflicts: 1288000 | #Constraints: 36720
3404.87/3415.28 c GLOBAL bounds - >= -2128 @ 3374.7
3460.11/3470.68 c #Conflicts: 1289000 | #Constraints: 37722
3460.11/3470.68 c #Conflicts: 1290000 | #Constraints: 38722
3460.11/3470.68 c #Conflicts: 1291000 | #Constraints: 39722
3460.11/3470.68 c #Conflicts: 1292000 | #Constraints: 40722
3460.11/3470.68 c #Conflicts: 1293000 | #Constraints: 41722
3460.11/3470.68 c #Conflicts: 1294000 | #Constraints: 42722
3460.11/3470.68 c #Conflicts: 1295000 | #Constraints: 43722
3460.11/3470.68 c #Conflicts: 1296000 | #Constraints: 44722
3460.11/3470.68 c #Conflicts: 1297000 | #Constraints: 45722
3460.11/3470.68 c #Conflicts: 1298000 | #Constraints: 46722
3460.11/3470.68 c #Conflicts: 1299000 | #Constraints: 47722
3460.11/3470.68 c #Conflicts: 1300000 | #Constraints: 48722
3460.11/3470.68 c #Conflicts: 1301000 | #Constraints: 49722
3460.11/3470.68 c #Conflicts: 1302000 | #Constraints: 50722
3460.11/3470.68 c INPROCESSING
3460.11/3470.68 c GARBAGE COLLECT
3460.11/3470.68 c #Conflicts: 1303000 | #Constraints: 29050
3460.11/3470.68 c #Conflicts: 1304000 | #Constraints: 30050
3460.11/3470.68 c #Conflicts: 1305000 | #Constraints: 31050
3460.11/3470.68 c #Conflicts: 1306000 | #Constraints: 32050
3460.11/3470.68 c #Conflicts: 1307000 | #Constraints: 33050
3460.11/3470.68 c #Conflicts: 1308000 | #Constraints: 34050
3460.11/3470.68 c #Conflicts: 1309000 | #Constraints: 35050
3460.11/3470.68 c #Conflicts: 1310000 | #Constraints: 36050
3460.11/3470.68 c #Conflicts: 1311000 | #Constraints: 37050
3460.11/3470.68 c GLOBAL bounds - >= -2128 @ 3429.62
3543.58/3554.30 c #Conflicts: 1312000 | #Constraints: 38052
3543.58/3554.30 c #Conflicts: 1313000 | #Constraints: 39052
3543.58/3554.30 c #Conflicts: 1314000 | #Constraints: 40052
3543.58/3554.30 c #Conflicts: 1315000 | #Constraints: 41052
3543.58/3554.30 c #Conflicts: 1316000 | #Constraints: 42052
3543.58/3554.30 c #Conflicts: 1317000 | #Constraints: 43052
3543.58/3554.30 c #Conflicts: 1318000 | #Constraints: 44052
3543.58/3554.30 c #Conflicts: 1319000 | #Constraints: 45052
3543.58/3554.30 c #Conflicts: 1320000 | #Constraints: 46052
3543.58/3554.30 c #Conflicts: 1321000 | #Constraints: 47052
3543.58/3554.30 c #Conflicts: 1322000 | #Constraints: 48052
3543.58/3554.30 c #Conflicts: 1323000 | #Constraints: 49052
3543.58/3554.30 c #Conflicts: 1324000 | #Constraints: 50052
3543.58/3554.30 c #Conflicts: 1325000 | #Constraints: 51052
3543.58/3554.30 c INPROCESSING
3543.58/3554.30 c GARBAGE COLLECT
3543.58/3554.30 c #Conflicts: 1326000 | #Constraints: 29328
3543.58/3554.30 c #Conflicts: 1327000 | #Constraints: 30328
3543.58/3554.30 c #Conflicts: 1328000 | #Constraints: 31328
3543.58/3554.30 c #Conflicts: 1329000 | #Constraints: 32328
3543.58/3554.30 c #Conflicts: 1330000 | #Constraints: 33328
3543.58/3554.30 c #Conflicts: 1331000 | #Constraints: 34328
3543.58/3554.30 c #Conflicts: 1332000 | #Constraints: 35328
3543.58/3554.30 c #Conflicts: 1333000 | #Constraints: 36328
3543.58/3554.30 c #Conflicts: 1334000 | #Constraints: 37328
3543.58/3554.30 c #Conflicts: 1335000 | #Constraints: 38328
3543.58/3554.30 c #Conflicts: 1336000 | #Constraints: 39328
3543.58/3554.30 c #Conflicts: 1337000 | #Constraints: 40328
3543.58/3554.30 c #Conflicts: 1338000 | #Constraints: 41328
3543.58/3554.30 c #Conflicts: 1339000 | #Constraints: 42328
3543.58/3554.30 c #Conflicts: 1340000 | #Constraints: 43328
3543.58/3554.30 c #Conflicts: 1341000 | #Constraints: 44328
3543.58/3554.30 c #Conflicts: 1342000 | #Constraints: 45328
3543.58/3554.30 c #Conflicts: 1343000 | #Constraints: 46328
3543.58/3554.30 c #Conflicts: 1344000 | #Constraints: 47328
3543.58/3554.30 c #Conflicts: 1345000 | #Constraints: 48328
3543.58/3554.30 c GLOBAL bounds - >= -2128 @ 3512.39
3576.20/3587.04 c #Conflicts: 1346000 | #Constraints: 49330
3576.20/3587.04 c #Conflicts: 1347000 | #Constraints: 50330
3576.20/3587.04 c #Conflicts: 1348000 | #Constraints: 51330
3576.20/3587.04 c INPROCESSING
3576.20/3587.04 c GARBAGE COLLECT
3576.20/3587.04 c #Conflicts: 1349000 | #Constraints: 29365
3576.20/3587.04 c #Conflicts: 1350000 | #Constraints: 30365
3576.20/3587.04 c #Conflicts: 1351000 | #Constraints: 31365
3576.20/3587.04 c #Conflicts: 1352000 | #Constraints: 32365
3576.20/3587.04 c #Conflicts: 1353000 | #Constraints: 33365
3576.20/3587.04 c #Conflicts: 1354000 | #Constraints: 34365
3576.20/3587.04 c #Conflicts: 1355000 | #Constraints: 35365
3576.20/3587.04 c #Conflicts: 1356000 | #Constraints: 36365
3576.20/3587.04 c #Conflicts: 1357000 | #Constraints: 37365
3576.20/3587.04 c #Conflicts: 1358000 | #Constraints: 38365
3576.20/3587.04 c #Conflicts: 1359000 | #Constraints: 39365
3576.20/3587.04 c #Conflicts: 1360000 | #Constraints: 40365
3576.20/3587.04 c #Conflicts: 1361000 | #Constraints: 41365
3576.20/3587.04 c GLOBAL bounds - >= -2128 @ 3544.78
3595.54/3606.47 c #Conflicts: 1362000 | #Constraints: 42367
3595.54/3606.47 c #Conflicts: 1363000 | #Constraints: 43367
3595.54/3606.47 c #Conflicts: 1364000 | #Constraints: 44367
3595.54/3606.47 c #Conflicts: 1365000 | #Constraints: 45367
3595.54/3606.47 c #Conflicts: 1366000 | #Constraints: 46367
3595.54/3606.47 c #Conflicts: 1367000 | #Constraints: 47367
3595.54/3606.47 c #Conflicts: 1368000 | #Constraints: 48367
3595.54/3606.47 c #Conflicts: 1369000 | #Constraints: 49367
3595.54/3606.47 c GLOBAL bounds - >= -2128 @ 3564.02
3600.02/3610.94 c #Conflicts: 1370000 | #Constraints: 50369
3600.02/3610.94 c #Conflicts: 1371000 | #Constraints: 51369
3600.02/3610.94 c cpu time 3568.41 s
3600.02/3610.94 c deterministic time 2 2.00e+00
3600.02/3610.94 c optimization time 3568.35 s
3600.02/3610.94 c total solve time 0 s
3600.02/3610.94 c core-guided solve time 0 s
3600.02/3610.94 c propagation time 0.005106 s
3600.02/3610.94 c conflict analysis time 0 s
3600.02/3610.94 c propagations 1
3600.02/3610.94 c resolve steps 0
3600.02/3610.94 c decisions 0
3600.02/3610.94 c conflicts 0
3600.02/3610.94 c restarts 0
3600.02/3610.94 c inprocessing phases 0
3600.02/3610.94 c garbage collections 0 ,( -nan )
3600.02/3610.94 c input clauses 4206 ,( 85.38 )
3600.02/3610.94 c input cardinalities 720 ,( 14.62 )
3600.02/3610.94 c input general constraints 0 ,( 0.00 )
3600.02/3610.94 c input average constraint length 3.82
3600.02/3610.94 c input average constraint degree 1.28
3600.02/3610.94 c learned clauses 0 ,( 0.00 )
3600.02/3610.94 c learned cardinalities 0 ,( 0.00 )
3600.02/3610.94 c learned general constraints 0 ,( 0.00 )
3600.02/3610.94 c learned average constraint length 0.00
3600.02/3610.94 c learned average constraint degree 0.00
3600.02/3610.94 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.02/3610.94 c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.02/3610.94 c watched constraints 0 ,( -nan )
3600.02/3610.94 c counting constraints 0 ,( -nan )
3600.02/3610.94 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.02/3610.94 c gcd simplifications 0
3600.02/3610.94 c detected cardinalities 0
3600.02/3610.94 c weakened non-implied lits 0
3600.02/3610.94 c weakened non-implying lits 0
3600.02/3610.94 c original variables 4447
3600.02/3610.94 c clausal propagations 0
3600.02/3610.94 c cardinality propagations 0
3600.02/3610.94 c watched propagations 0
3600.02/3610.94 c counting propagations 0
3600.02/3610.94 c watch lookups 0
3600.02/3610.94 c watch backjump lookups 0
3600.02/3610.94 c watch checks 0
3600.02/3610.94 c propagation checks 0
3600.02/3610.94 c constraint additions 0
3600.02/3610.94 c trail pops 0
3600.02/3610.94 c formula constraints 4926
3600.02/3610.94 c learned constraints 0
3600.02/3610.94 c bound constraints 0
3600.02/3610.94 c core-guided constraints 0
3600.02/3610.94 c encountered formula constraints 0
3600.02/3610.94 c encountered learned constraints 0
3600.02/3610.94 c encountered bound constraints 0
3600.02/3610.94 c encountered core-guided constraints 0
3600.02/3610.94 c LP total time 0 s
3600.02/3610.94 c LP solve time 0 s
3600.02/3610.94 c LP constraints added 0
3600.02/3610.94 c LP constraints removed 0
3600.02/3610.94 c LP pivots internal 0
3600.02/3610.94 c LP pivots root 0
3600.02/3610.94 c LP calls 0
3600.02/3610.94 c LP optimalities 0
3600.02/3610.94 c LP no pivot count 0
3600.02/3610.94 c LP infeasibilities 0
3600.02/3610.94 c LP valid Farkas constraints 0
3600.02/3610.94 c LP learned Farkas constraints 0
3600.02/3610.94 c LP basis resets 0
3600.02/3610.94 c LP cycling count 0
3600.02/3610.94 c LP singular count 0
3600.02/3610.94 c LP no primal count 0
3600.02/3610.94 c LP no farkas count 0
3600.02/3610.94 c LP other issue count 0
3600.02/3610.94 c LP Gomory cuts 0
3600.02/3610.94 c LP learned cuts 0
3600.02/3610.94 c LP deleted cuts 0
3600.02/3610.94 c LP encountered Gomory constraints 0
3600.02/3610.94 c LP encountered Farkas constraints 0
3600.02/3610.94 c LP encountered learned Farkas constraints 0
3600.02/3610.94 c CG auxiliary variables introduced 0
3600.02/3610.94 c CG solutions found 0
3600.02/3610.94 c CG cores constructed 0
3600.02/3610.94 c CG core cardinality constraints returned 0
3600.02/3610.94 c CG unit cores 0
3600.02/3610.94 c CG single cores 0
3600.02/3610.94 c CG blocks removed during cardinality reduction 0
3600.02/3610.94 c CG first core best 0
3600.02/3610.94 c CG decision core best 0
3600.02/3610.94 c CG core reduction tie 0
3600.02/3610.94 c CG core degree average 0.00
3600.02/3610.94 c CG core slack average 0.00
3600.02/3610.94 c CG core upper bound improvements 0
3600.02/3610.94 c STR number of successful calls 0
3600.02/3610.94 c STR number of unsuccessful calls 0
3600.02/3610.94 c STR number of inconclusive calls 0
3600.02/3610.94 c STR number of successful attempts 0
3600.02/3610.94 c STR number of unsuccessful attempts 0
3600.02/3610.94 c STR number of inconclusive attempts 0
3600.02/3610.94 c STR average degree increase per successful call inf
3600.02/3610.94 c STR average degree increase per successful attempt inf
3600.02/3610.94 c STR total number of conflicts for successful attempts 0
3600.02/3610.94 c STR total number of conflicts for unsuccessful attempts 0
3600.02/3610.94 c STR total number of conflicts for inconclusive attempts 0
3600.02/3610.94 c STR average number of conflicts per successful attempt inf
3600.02/3610.94 c STR average number of conflicts per unsuccessful attempt inf
3600.02/3610.94 c STR average number of conflicts per inconclusive attempt inf
3600.02/3610.94 c AVG.sumWPerc -nan
3600.02/3610.94 c bigint constraints 0
3600.02/3610.94 s UNKNOWN
3600.02/3610.94 c Program interrupted by user.
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: 63837 MiB (63248 MiB free)
memory of node 1: 64465 MiB (63331 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4484539-1751292234/watcher-4484539-1751292234 -o /tmp/evaluation-result-4484539-1751292234/solver-4484539-1751292234 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751292234-39153 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4484539-1751292234.opb PROOFDIR/proof-4484539-1751292234
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=39200, runsolver pid=39194
[startup+0.100108 s]*
/proc/loadavg: 2.32 3.61 3.98 1/254 39217
/proc/meminfo: memFree=129603048/131382116 swapFree=33010684/33010684
[pid=39200] ppid=39194 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/39200/stat : 39200 (run-opt-log.sh) S 39194 39200 39143 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 44902787 4292608 768 18446744073709551615 94486591881216 94486592775749 140733150065872 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94486593014800 94486593062544 94486622920704 140733150071073 140733150071268 140733150071268 140733150076870 0
/proc/39200/statm: 1048 768 704 219 0 110 0
[pid=39214] ppid=39200 vsize=48720 memory=1024 CPUtime=0 cores=0,2
/proc/39214/stat : 39214 (roundingsat) D 39200 39200 39143 0 -1 4194304 94 0 4 0 0 0 0 0 20 0 1 0 44902788 49889280 256 18446744073709551615 4227072 8923433 140731548376976 0 0 0 0 0 0 1 0 0 17 0 0 0 0 0 0 9823104 9832592 10563584 140731548379474 140731548379688 140731548379688 140731548385258 0
/proc/39214/statm: 12180 256 224 1147 0 132 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 52912 KiB
Current children cumulated memory: 4096 KiB
[startup+0.213823 s]*
/proc/loadavg: 2.32 3.61 3.98 5/254 39217
/proc/meminfo: memFree=129587200/131382116 swapFree=33010684/33010684
[pid=39200] ppid=39194 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/39200/stat : 39200 (run-opt-log.sh) S 39194 39200 39143 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 44902787 4292608 768 18446744073709551615 94486591881216 94486592775749 140733150065872 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94486593014800 94486593062544 94486622920704 140733150071073 140733150071268 140733150071268 140733150076870 0
/proc/39200/statm: 1048 768 704 219 0 110 0
[pid=39214] ppid=39200 vsize=65200 memory=19656 CPUtime=0.08 cores=0,2
/proc/39214/stat : 39214 (roundingsat) R 39200 39200 39143 0 -1 4194304 2425 0 9 0 5 3 0 0 20 0 1 0 44902788 66764800 4914 18446744073709551615 4227072 8923433 140731548376976 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10563584 140731548379474 140731548379688 140731548379688 140731548385258 0
/proc/39214/statm: 16300 4914 2272 1147 0 3727 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 69392 KiB
Current children cumulated memory: 22728 KiB
[startup+0.313942 s]*
/proc/loadavg: 2.32 3.61 3.98 5/254 39217
/proc/meminfo: memFree=129564960/131382116 swapFree=33010684/33010684
[pid=39200] ppid=39194 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/39200/stat : 39200 (run-opt-log.sh) S 39194 39200 39143 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 44902787 4292608 768 18446744073709551615 94486591881216 94486592775749 140733150065872 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94486593014800 94486593062544 94486622920704 140733150071073 140733150071268 140733150071268 140733150076870 0
/proc/39200/statm: 1048 768 704 219 0 110 0
[pid=39214] ppid=39200 vsize=70896 memory=22836 CPUtime=0.18 cores=0,2
/proc/39214/stat : 39214 (roundingsat) R 39200 39200 39143 0 -1 4194304 3708 0 9 0 13 5 0 0 20 0 1 0 44902788 72597504 5709 18446744073709551615 4227072 8923433 140731548376976 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10563584 140731548379474 140731548379688 140731548379688 140731548385258 0
/proc/39214/statm: 17724 5709 2336 1147 0 5151 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 75088 KiB
Current children cumulated memory: 25908 KiB
[startup+0.70034 s]
/proc/loadavg: 2.32 3.61 3.98 5/254 39217
/proc/meminfo: memFree=129549084/131382116 swapFree=33010684/33010684
[pid=39200] ppid=39194 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/39200/stat : 39200 (run-opt-log.sh) S 39194 39200 39143 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 44902787 4292608 768 18446744073709551615 94486591881216 94486592775749 140733150065872 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94486593014800 94486593062544 94486622920704 140733150071073 140733150071268 140733150071268 140733150076870 0
/proc/39200/statm: 1048 768 704 219 0 110 0
[pid=39214] ppid=39200 vsize=72216 memory=25268 CPUtime=0.55 cores=0,2
/proc/39214/stat : 39214 (roundingsat) R 39200 39200 39143 0 -1 4194304 4315 0 9 0 48 7 0 0 20 0 1 0 44902788 73949184 6317 18446744073709551615 4227072 8923433 140731548376976 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10563584 140731548379474 140731548379688 140731548379688 140731548385258 0
/proc/39214/statm: 18054 6317 2336 1147 0 5481 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 76408 KiB
Current children cumulated memory: 28340 KiB
[startup+1.50039 s]
/proc/loadavg: 2.32 3.61 3.98 5/254 39217
/proc/meminfo: memFree=129504732/131382116 swapFree=33010684/33010684
[pid=39200] ppid=39194 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/39200/stat : 39200 (run-opt-log.sh) S 39194 39200 39143 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 44902787 4292608 768 18446744073709551615 94486591881216 94486592775749 140733150065872 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94486593014800 94486593062544 94486622920704 140733150071073 140733150071268 140733150071268 140733150076870 0
/proc/39200/statm: 1048 768 704 219 0 110 0
[pid=39214] ppid=39200 vsize=83940 memory=39756 CPUtime=1.34 cores=0,2
/proc/39214/stat : 39214 (roundingsat) R 39200 39200 39143 0 -1 4194304 6895 0 9 0 124 10 0 0 20 0 1 0 44902788 85954560 9939 18446744073709551615 4227072 8923433 140731548376976 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10563584 140731548379474 140731548379688 140731548379688 140731548385258 0
/proc/39214/statm: 20985 9939 2368 1147 0 8412 0
Current children cumulated CPU time: 1.34 s
Current children cumulated vsize: 88132 KiB
Current children cumulated memory: 42828 KiB
[startup+3.11308 s]
/proc/loadavg: 2.46 3.62 3.98 5/254 39217
/proc/meminfo: memFree=129244184/131382116 swapFree=33010684/33010684
[pid=39200] ppid=39194 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/39200/stat : 39200 (run-opt-log.sh) S 39194 39200 39143 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 44902787 4292608 768 18446744073709551615 94486591881216 94486592775749 140733150065872 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94486593014800 94486593062544 94486622920704 140733150071073 140733150071268 140733150071268 140733150076870 0
/proc/39200/statm: 1048 768 704 219 0 110 0
[pid=39214] ppid=39200 vsize=158136 memory=105564 CPUtime=2.96 cores=0,2
/proc/39214/stat : 39214 (roundingsat) R 39200 39200 39143 0 -1 4194304 20280 0 9 0 272 24 0 0 20 0 1 0 44902788 161931264 26391 18446744073709551615 4227072 8923433 140731548376976 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10563584 140731548379474 140731548379688 140731548379688 140731548385258 0
/proc/39214/statm: 39534 26391 2368 1147 0 26961 0
Current children cumulated CPU time: 2.96 s
Current children cumulated vsize: 162328 KiB
Current children cumulated memory: 108636 KiB
[startup+6.30035 s]
/proc/loadavg: 2.46 3.62 3.98 5/256 39219
/proc/meminfo: memFree=128861372/131382116 swapFree=33010684/33010684
[pid=39200] ppid=39194 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/39200/stat : 39200 (run-opt-log.sh) S 39194 39200 39143 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 44902787 4292608 768 18446744073709551615 94486591881216 94486592775749 140733150065872 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94486593014800 94486593062544 94486622920704 140733150071073 140733150071268 140733150071268 140733150076870 0
/proc/39200/statm: 1048 768 704 219 0 110 0
[pid=39214] ppid=39200 vsize=229264 memory=170892 CPUtime=6.14 cores=0,2
/proc/39214/stat : 39214 (roundingsat) R 39200 39200 39143 0 -1 4194304 32533 0 9 0 580 34 0 0 20 0 1 0 44902788 234766336 42723 18446744073709551615 4227072 8923433 140731548376976 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10563584 140731548379474 140731548379688 140731548379688 140731548385258 0
/proc/39214/statm: 57316 42723 2368 1147 0 44743 0
Current children cumulated CPU time: 6.14 s
Current children cumulated vsize: 233456 KiB
Current children cumulated memory: 173964 KiB
[startup+12.7004 s]
/proc/loadavg: 2.70 3.63 3.98 5/256 39219
/proc/meminfo: memFree=128298720/131382116 swapFree=33010684/33010684
[pid=39200] ppid=39194 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/39200/stat : 39200 (run-opt-log.sh) S 39194 39200 39143 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 44902787 4292608 768 18446744073709551615 94486591881216 94486592775749 140733150065872 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94486593014800 94486593062544 94486622920704 140733150071073 140733150071268 140733150071268 140733150076870 0
/proc/39200/statm: 1048 768 704 219 0 110 0
[pid=39214] ppid=39200 vsize=362576 memory=281708 CPUtime=12.52 cores=0,2
/proc/39214/stat : 39214 (roundingsat) R 39200 39200 39143 0 -1 4194304 53607 0 9 0 1197 55 0 0 20 0 1 0 44902788 371277824 70427 18446744073709551615 4227072 8923433 140731548376976 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10563584 140731548379474 140731548379688 140731548379688 140731548385258 0
/proc/39214/statm: 90644 70427 2368 1147 0 78071 0
Current children cumulated CPU time: 12.52 s
Current children cumulated vsize: 366768 KiB
Current children cumulated memory: 284780 KiB
[startup+25.5004 s]
/proc/loadavg: 2.98 3.66 3.99 5/251 39246
/proc/meminfo: memFree=127461656/131382116 swapFree=33010684/33010684
[pid=39200] ppid=39194 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/39200/stat : 39200 (run-opt-log.sh) S 39194 39200 39143 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 44902787 4292608 768 18446744073709551615 94486591881216 94486592775749 140733150065872 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94486593014800 94486593062544 94486622920704 140733150071073 140733150071268 140733150071268 140733150076870 0
/proc/39200/statm: 1048 768 704 219 0 110 0
[pid=39214] ppid=39200 vsize=442480 memory=341944 CPUtime=25.27 cores=0,2
/proc/39214/stat : 39214 (roundingsat) R 39200 39200 39143 0 -1 4194304 63537 0 9 0 2445 82 0 0 20 0 1 0 44902788 453099520 85486 18446744073709551615 4227072 8923433 140731548376976 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10563584 140731548379474 140731548379688 140731548379688 140731548385258 0
/proc/39214/statm: 110620 85486 2368 1147 0 98047 0
Current children cumulated CPU time: 25.27 s
Current children cumulated vsize: 446672 KiB
Current children cumulated memory: 345016 KiB
[startup+51.1132 s]
/proc/loadavg: 3.33 3.69 3.99 5/258 39268
/proc/meminfo: memFree=126342732/131382116 swapFree=33010684/33010684
[pid=39200] ppid=39194 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/39200/stat : 39200 (run-opt-log.sh) S 39194 39200 39143 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 44902787 4292608 768 18446744073709551615 94486591881216 94486592775749 140733150065872 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94486593014800 94486593062544 94486622920704 140733150071073 140733150071268 140733150071268 140733150076870 0
/proc/39200/statm: 1048 768 704 219 0 110 0
[pid=39214] ppid=39200 vsize=560624 memory=420916 CPUtime=50.82 cores=0,2
/proc/39214/stat : 39214 (roundingsat) R 39200 39200 39143 0 -1 4194304 81245 0 9 0 4952 130 0 0 20 0 1 0 44902788 574078976 105229 18446744073709551615 4227072 8923433 140731548376976 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10563584 140731548379474 140731548379688 140731548379688 140731548385258 0
/proc/39214/statm: 140156 105229 2368 1147 0 127583 0
Current children cumulated CPU time: 50.82 s
Current children cumulated vsize: 564816 KiB
Current children cumulated memory: 423988 KiB
[startup+102.3 s]
/proc/loadavg: 4.37 3.90 4.05 5/258 39270
/proc/meminfo: memFree=124177788/131382116 swapFree=33010684/33010684
[pid=39200] ppid=39194 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/39200/stat : 39200 (run-opt-log.sh) S 39194 39200 39143 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 44902787 4292608 768 18446744073709551615 94486591881216 94486592775749 140733150065872 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94486593014800 94486593062544 94486622920704 140733150071073 140733150071268 140733150071268 140733150076870 0
/proc/39200/statm: 1048 768 704 219 0 110 0
[pid=39214] ppid=39200 vsize=760808 memory=607956 CPUtime=101.86 cores=0,2
/proc/39214/stat : 39214 (roundingsat) R 39200 39200 39143 0 -1 4194304 113192 0 9 0 9989 197 0 0 20 0 1 0 44902788 779067392 151989 18446744073709551615 4227072 8923433 140731548376976 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10563584 140731548379474 140731548379688 140731548379688 140731548385258 0
/proc/39214/statm: 190202 151989 2368 1147 0 177629 0
Current children cumulated CPU time: 101.86 s
Current children cumulated vsize: 765000 KiB
Current children cumulated memory: 611028 KiB
[startup+162.3 s]
/proc/loadavg: 5.51 4.34 4.19 5/259 39366
/proc/meminfo: memFree=122450904/131382116 swapFree=33010684/33010684
[pid=39200] ppid=39194 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/39200/stat : 39200 (run-opt-log.sh) S 39194 39200 39143 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 44902787 4292608 768 18446744073709551615 94486591881216 94486592775749 140733150065872 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94486593014800 94486593062544 94486622920704 140733150071073 140733150071268 140733150071268 140733150076870 0
/proc/39200/statm: 1048 768 704 219 0 110 0
[pid=39214] ppid=39200 vsize=779372 memory=652864 CPUtime=161.69 cores=0,2
/proc/39214/stat : 39214 (roundingsat) R 39200 39200 39143 0 -1 4194304 119291 0 9 0 15886 283 0 0 20 0 1 0 44902788 798076928 163216 18446744073709551615 4227072 8923433 140731548376976 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10563584 140731548379474 140731548379688 140731548379688 140731548385258 0
/proc/39214/statm: 194843 163216 2368 1147 0 182270 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 783564 KiB
Current children cumulated memory: 655936 KiB
[startup+222.3 s]
/proc/loadavg: 4.71 4.33 4.20 5/259 39368
/proc/meminfo: memFree=120670748/131382116 swapFree=33010684/33010684
[pid=39200] ppid=39194 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/39200/stat : 39200 (run-opt-log.sh) S 39194 39200 39143 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 44902787 4292608 768 18446744073709551615 94486591881216 94486592775749 140733150065872 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94486593014800 94486593062544 94486622920704 140733150071073 140733150071268 140733150071268 140733150076870 0
/proc/39200/statm: 1048 768 704 219 0 110 0
[pid=39214] ppid=39200 vsize=978936 memory=791472 CPUtime=221.51 cores=0,2
/proc/39214/stat : 39214 (roundingsat) R 39200 39200 39143 0 -1 4194304 151435 0 9 0 21799 352 0 0 20 0 1 0 44902788 1002430464 197868 18446744073709551615 4227072 8923433 140731548376976 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10563584 140731548379474 140731548379688 140731548379688 140731548385258 0
################
# More data... #
################
[pid=39214] ppid=39200 vsize=2352176 memory=2167696 CPUtime=3092.86 cores=0,2
/proc/39214/stat : 39214 (roundingsat) R 39200 39200 39143 0 -1 4194304 363640 0 9 0 306487 2799 0 0 20 0 1 0 44902788 2408628224 541924 18446744073709551615 4227072 8923433 140731548376976 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10563584 140731548379474 140731548379688 140731548379688 140731548385258 0
/proc/39214/statm: 588044 541924 2368 1147 0 575471 0
Current children cumulated CPU time: 3092.86 s
Current children cumulated vsize: 2356368 KiB
Current children cumulated memory: 2170768 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.12 4.12 5/259 39523
/proc/meminfo: memFree=65349584/131382116 swapFree=33010684/33010684
[pid=39200] ppid=39194 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/39200/stat : 39200 (run-opt-log.sh) S 39194 39200 39143 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 44902787 4292608 768 18446744073709551615 94486591881216 94486592775749 140733150065872 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94486593014800 94486593062544 94486622920704 140733150071073 140733150071268 140733150071268 140733150076870 0
/proc/39200/statm: 1048 768 704 219 0 110 0
[pid=39214] ppid=39200 vsize=2352176 memory=2167696 CPUtime=3152.67 cores=0,2
/proc/39214/stat : 39214 (roundingsat) R 39200 39200 39143 0 -1 4194304 363666 0 9 0 312428 2839 0 0 20 0 1 0 44902788 2408628224 541924 18446744073709551615 4227072 8923433 140731548376976 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10563584 140731548379474 140731548379688 140731548379688 140731548385258 0
/proc/39214/statm: 588044 541924 2368 1147 0 575471 0
Current children cumulated CPU time: 3152.67 s
Current children cumulated vsize: 2356368 KiB
Current children cumulated memory: 2170768 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.11 4.11 5/259 39525
/proc/meminfo: memFree=64264144/131382116 swapFree=33010684/33010684
[pid=39200] ppid=39194 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/39200/stat : 39200 (run-opt-log.sh) S 39194 39200 39143 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 44902787 4292608 768 18446744073709551615 94486591881216 94486592775749 140733150065872 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94486593014800 94486593062544 94486622920704 140733150071073 140733150071268 140733150071268 140733150076870 0
/proc/39200/statm: 1048 768 704 219 0 110 0
[pid=39214] ppid=39200 vsize=2352176 memory=2167696 CPUtime=3212.5 cores=0,2
/proc/39214/stat : 39214 (roundingsat) R 39200 39200 39143 0 -1 4194304 363666 0 9 0 318365 2885 0 0 20 0 1 0 44902788 2408628224 541924 18446744073709551615 4227072 8923433 140731548376976 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10563584 140731548379474 140731548379688 140731548379688 140731548385258 0
/proc/39214/statm: 588044 541924 2368 1147 0 575471 0
Current children cumulated CPU time: 3212.5 s
Current children cumulated vsize: 2356368 KiB
Current children cumulated memory: 2170768 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.11 4.11 5/260 39528
/proc/meminfo: memFree=63273692/131382116 swapFree=33010684/33010684
[pid=39200] ppid=39194 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/39200/stat : 39200 (run-opt-log.sh) S 39194 39200 39143 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 44902787 4292608 768 18446744073709551615 94486591881216 94486592775749 140733150065872 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94486593014800 94486593062544 94486622920704 140733150071073 140733150071268 140733150071268 140733150076870 0
/proc/39200/statm: 1048 768 704 219 0 110 0
[pid=39214] ppid=39200 vsize=2352176 memory=2167696 CPUtime=3272.34 cores=0,2
/proc/39214/stat : 39214 (roundingsat) R 39200 39200 39143 0 -1 4194304 364295 0 9 0 324300 2934 0 0 20 0 1 0 44902788 2408628224 541924 18446744073709551615 4227072 8923433 140731548376976 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10563584 140731548379474 140731548379688 140731548379688 140731548385258 0
/proc/39214/statm: 588044 541924 2368 1147 0 575471 0
Current children cumulated CPU time: 3272.34 s
Current children cumulated vsize: 2356368 KiB
Current children cumulated memory: 2170768 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.12 4.11 5/260 39530
/proc/meminfo: memFree=62286648/131382116 swapFree=33010684/33010684
[pid=39200] ppid=39194 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/39200/stat : 39200 (run-opt-log.sh) S 39194 39200 39143 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 44902787 4292608 768 18446744073709551615 94486591881216 94486592775749 140733150065872 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94486593014800 94486593062544 94486622920704 140733150071073 140733150071268 140733150071268 140733150076870 0
/proc/39200/statm: 1048 768 704 219 0 110 0
[pid=39214] ppid=39200 vsize=2352176 memory=2167696 CPUtime=3332.17 cores=0,2
/proc/39214/stat : 39214 (roundingsat) R 39200 39200 39143 0 -1 4194304 364577 0 9 0 330241 2976 0 0 20 0 1 0 44902788 2408628224 541924 18446744073709551615 4227072 8923433 140731548376976 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10563584 140731548379474 140731548379688 140731548379688 140731548385258 0
/proc/39214/statm: 588044 541924 2368 1147 0 575471 0
Current children cumulated CPU time: 3332.17 s
Current children cumulated vsize: 2356368 KiB
Current children cumulated memory: 2170768 KiB
[startup+3402.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/261 39534
/proc/meminfo: memFree=61390824/131382116 swapFree=33010684/33010684
[pid=39200] ppid=39194 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/39200/stat : 39200 (run-opt-log.sh) S 39194 39200 39143 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 44902787 4292608 768 18446744073709551615 94486591881216 94486592775749 140733150065872 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94486593014800 94486593062544 94486622920704 140733150071073 140733150071268 140733150071268 140733150076870 0
/proc/39200/statm: 1048 768 704 219 0 110 0
[pid=39214] ppid=39200 vsize=2352176 memory=2167696 CPUtime=3392 cores=0,2
/proc/39214/stat : 39214 (roundingsat) R 39200 39200 39143 0 -1 4194304 364577 0 9 0 336185 3015 0 0 20 0 1 0 44902788 2408628224 541924 18446744073709551615 4227072 8923433 140731548376976 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10563584 140731548379474 140731548379688 140731548379688 140731548385258 0
/proc/39214/statm: 588044 541924 2368 1147 0 575471 0
Current children cumulated CPU time: 3392 s
Current children cumulated vsize: 2356368 KiB
Current children cumulated memory: 2170768 KiB
[startup+3462.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/261 39553
/proc/meminfo: memFree=60563864/131382116 swapFree=33010684/33010684
[pid=39200] ppid=39194 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/39200/stat : 39200 (run-opt-log.sh) S 39194 39200 39143 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 44902787 4292608 768 18446744073709551615 94486591881216 94486592775749 140733150065872 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94486593014800 94486593062544 94486622920704 140733150071073 140733150071268 140733150071268 140733150076870 0
/proc/39200/statm: 1048 768 704 219 0 110 0
[pid=39214] ppid=39200 vsize=2353200 memory=2168336 CPUtime=3451.83 cores=0,2
/proc/39214/stat : 39214 (roundingsat) R 39200 39200 39143 0 -1 4194304 364799 0 9 0 342131 3052 0 0 20 0 1 0 44902788 2409676800 542084 18446744073709551615 4227072 8923433 140731548376976 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10563584 140731548379474 140731548379688 140731548379688 140731548385258 0
/proc/39214/statm: 588300 542084 2368 1147 0 575727 0
Current children cumulated CPU time: 3451.83 s
Current children cumulated vsize: 2357392 KiB
Current children cumulated memory: 2171408 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/260 39555
/proc/meminfo: memFree=59455172/131382116 swapFree=33010684/33010684
[pid=39200] ppid=39194 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/39200/stat : 39200 (run-opt-log.sh) S 39194 39200 39143 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 44902787 4292608 768 18446744073709551615 94486591881216 94486592775749 140733150065872 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94486593014800 94486593062544 94486622920704 140733150071073 140733150071268 140733150071268 140733150076870 0
/proc/39200/statm: 1048 768 704 219 0 110 0
[pid=39214] ppid=39200 vsize=2353200 memory=2168336 CPUtime=3511.67 cores=0,2
/proc/39214/stat : 39214 (roundingsat) R 39200 39200 39143 0 -1 4194304 365668 0 9 0 348064 3103 0 0 20 0 1 0 44902788 2409676800 542084 18446744073709551615 4227072 8923433 140731548376976 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10563584 140731548379474 140731548379688 140731548379688 140731548385258 0
/proc/39214/statm: 588300 542084 2368 1147 0 575727 0
Current children cumulated CPU time: 3511.67 s
Current children cumulated vsize: 2357392 KiB
Current children cumulated memory: 2171408 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/260 39558
/proc/meminfo: memFree=58699812/131382116 swapFree=33010684/33010684
[pid=39200] ppid=39194 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/39200/stat : 39200 (run-opt-log.sh) S 39194 39200 39143 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 44902787 4292608 768 18446744073709551615 94486591881216 94486592775749 140733150065872 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94486593014800 94486593062544 94486622920704 140733150071073 140733150071268 140733150071268 140733150076870 0
/proc/39200/statm: 1048 768 704 219 0 110 0
[pid=39214] ppid=39200 vsize=2353200 memory=2168336 CPUtime=3571.5 cores=0,2
/proc/39214/stat : 39214 (roundingsat) R 39200 39200 39143 0 -1 4194304 365703 0 9 0 354008 3142 0 0 20 0 1 0 44902788 2409676800 542084 18446744073709551615 4227072 8923433 140731548376976 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10563584 140731548379474 140731548379688 140731548379688 140731548385258 0
/proc/39214/statm: 588300 542084 2368 1147 0 575727 0
Current children cumulated CPU time: 3571.5 s
Current children cumulated vsize: 2357392 KiB
Current children cumulated memory: 2171408 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.9 s]
/proc/loadavg: 4.12 4.10 4.09 5/260 39558
/proc/meminfo: memFree=58259356/131382116 swapFree=33010684/33010684
[pid=39200] ppid=39194 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/39200/stat : 39200 (run-opt-log.sh) S 39194 39200 39143 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 44902787 4292608 768 18446744073709551615 94486591881216 94486592775749 140733150065872 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94486593014800 94486593062544 94486622920704 140733150071073 140733150071268 140733150071268 140733150076870 0
/proc/39200/statm: 1048 768 704 219 0 110 0
[pid=39214] ppid=39200 vsize=2353200 memory=2168336 CPUtime=3600.02 cores=0,2
/proc/39214/stat : 39214 (roundingsat) R 39200 39200 39143 0 -1 4194304 365740 0 9 0 356840 3162 0 0 20 0 1 0 44902788 2409676800 542084 18446744073709551615 4227072 8923433 140731548376976 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10563584 140731548379474 140731548379688 140731548379688 140731548385258 0
/proc/39214/statm: 588300 542084 2368 1147 0 575727 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 2357392 KiB
Current children cumulated memory: 2171408 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.91 s]
# the end of solver process 39200 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.003254 s, system=0.002169 s
[startup+3611.04 s]
# the end of solver process 39214 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3568.43 s, system=31.6459 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611 s]*
/proc/loadavg: 4.12 4.10 4.09 5/259 39558
/proc/meminfo: memFree=58250480/131382116 swapFree=33010684/33010684
[pid=39214] ppid=39194 vsize=2353200 memory=2168592 CPUtime=3600.03 cores=0,2
/proc/39214/stat : 39214 (roundingsat) R 39194 39200 39143 0 -1 4194304 365745 0 10 0 356841 3162 0 0 20 0 1 0 44902788 2409676800 542148 18446744073709551615 4227072 8923433 140731548376976 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10563584 140731548379474 140731548379688 140731548379688 140731548385258 0
/proc/39214/statm: 588300 542148 2432 1147 0 575727 0
Current cumulated CPU time of completed processes: 0.005423 s
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 2353200 KiB
Current children cumulated memory: 2168592 KiB
Child status: 2
Real time (s): 3611.04
CPU time (s): 3600.07
CPU user time (s): 3568.43
CPU system time (s): 31.6459
CPU usage (%): 99.6962
Max. virtual memory (cumulated for all children) (KiB): 2357392
Max. memory (cumulated for all children) (KiB): 2171408
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3568.43
system time used= 31.6459
maximum resident set size= 2168592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 365972
page faults= 10
swaps= 0
block input operations= 6160
block output operations= 34288864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3359
involuntary context switches= 9373
# summary of solver processes directly reported to runsolver:
# pid: 39200,39214
# total CPU time (s): 3600.07
# total CPU user time (s): 3568.43
# total CPU system time (s): 31.6459
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.9624 second user time and 37.901 second system time
The end
Begin job on nodeC010 at 2025-06-30 16:03:54
IDJOB=4484539
IDBENCH=146659
IDSOLVER=3351
FILE ID=nodeC010/4484539-1751292234
RUNJOBID= nodeC010-1751292234-39153
SLURM_JOB_ID= 9594261
Free space on /tmp= 432692 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:30:4.5:0.5:100.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4484539-1751292234/watcher-4484539-1751292234 -o /tmp/evaluation-result-4484539-1751292234/solver-4484539-1751292234 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751292234-39153 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4484539-1751292234.opb PROOFDIR/proof-4484539-1751292234
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b5103574c4a35f60a2227b90ce19b385
RANDOM SEED=349211541
nodeC010 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 : 0xb00001f
cpu MHz : 1197.362
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.297
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.148
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.485
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.148
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.540
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1196.989
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.138
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 129589828 kB
MemAvailable: 129898696 kB
Buffers: 3280 kB
Cached: 1117180 kB
SwapCached: 0 kB
Active: 356864 kB
Inactive: 824692 kB
Active(anon): 79056 kB
Inactive(anon): 0 kB
Active(file): 277808 kB
Inactive(file): 824692 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 29772 kB
Writeback: 8 kB
AnonPages: 64180 kB
Mapped: 102844 kB
Shmem: 17960 kB
KReclaimable: 91992 kB
Slab: 173900 kB
SReclaimable: 91992 kB
SUnreclaim: 81908 kB
KernelStack: 3664 kB
PageTables: 2424 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 330040 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149176 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 6144 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: 205640 kB
DirectMap2M: 12279808 kB
DirectMap1G: 123731968 kB
Free space on /tmp at the end= 432660 MiB
End job on nodeC010 at 2025-06-30 17:04:05