0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.00/0.04 c #variables 4617 #constraints 5280
0.00/0.04 c objective is ce32
0.00/0.06 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.06 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.00/0.06 c GLOBAL bounds - >= -2642 @ 0.033355
0.00/0.06 c GLOBAL bounds - >= -2642 @ 0.03606
0.07/0.17 c GLOBAL bounds - >= -2642 @ 0.136523
0.18/0.26 c GLOBAL bounds - >= -2642 @ 0.213729
0.18/0.28 c GLOBAL bounds - >= -2642 @ 0.223587
0.38/0.47 c GLOBAL bounds - >= -2642 @ 0.401431
0.38/0.49 c GLOBAL bounds - >= -2642 @ 0.421524
0.47/0.52 c GLOBAL bounds - >= -2642 @ 0.447637
0.57/0.64 c GLOBAL bounds - >= -2642 @ 0.565968
0.57/0.68 c GLOBAL bounds - >= -2642 @ 0.60137
0.66/0.72 c GLOBAL bounds - >= -2642 @ 0.642201
0.66/0.75 c GLOBAL bounds - >= -2642 @ 0.665925
0.76/0.80 c GLOBAL bounds - >= -2642 @ 0.710701
0.76/0.86 c GLOBAL bounds - >= -2642 @ 0.763429
0.76/0.89 c GLOBAL bounds - >= -2642 @ 0.793345
0.86/0.93 c GLOBAL bounds - >= -2642 @ 0.83052
0.86/0.96 c GLOBAL bounds - >= -2642 @ 0.849432
0.86/0.98 c GLOBAL bounds - >= -2642 @ 0.87446
0.96/1.02 c GLOBAL bounds - >= -2642 @ 0.899785
1.07/1.11 c GLOBAL bounds - >= -2642 @ 0.986188
1.07/1.13 c GLOBAL bounds - >= -2642 @ 1.00324
1.07/1.17 c GLOBAL bounds - >= -2642 @ 1.04823
1.16/1.28 c GLOBAL bounds - >= -2642 @ 1.1446
1.26/1.31 c GLOBAL bounds - >= -2642 @ 1.16932
1.26/1.35 c GLOBAL bounds - >= -2642 @ 1.20522
1.36/1.40 c GLOBAL bounds - >= -2642 @ 1.25035
1.36/1.43 c GLOBAL bounds - >= -2642 @ 1.27866
1.36/1.47 c GLOBAL bounds - >= -2642 @ 1.311
1.46/1.52 c GLOBAL bounds - >= -2642 @ 1.36097
1.46/1.55 c GLOBAL bounds - >= -2642 @ 1.38388
1.46/1.59 c GLOBAL bounds - >= -2642 @ 1.42371
1.56/1.62 c GLOBAL bounds - >= -2642 @ 1.44813
1.56/1.67 c GLOBAL bounds - >= -2642 @ 1.48738
1.76/1.89 c GLOBAL bounds - >= -2642 @ 1.69511
1.96/2.05 c GLOBAL bounds - >= -2642 @ 1.83697
2.16/2.24 c #Conflicts: 1000 | #Constraints: 6346
2.16/2.24 c GLOBAL bounds - >= -2642 @ 2.02001
2.56/2.63 c GLOBAL bounds - >= -2642 @ 2.39059
2.85/2.90 c GLOBAL bounds - >= -2642 @ 2.65485
2.96/3.02 c GLOBAL bounds - >= -2642 @ 2.76018
3.45/3.50 c GLOBAL bounds - >= -2642 @ 3.22045
3.45/3.56 c GLOBAL bounds - >= -2642 @ 3.27845
3.55/3.64 c GLOBAL bounds - >= -2642 @ 3.35777
3.66/3.73 c GLOBAL bounds - >= -2642 @ 3.44223
3.75/3.81 c GLOBAL bounds - >= -2642 @ 3.52028
3.75/3.86 c GLOBAL bounds - >= -2642 @ 3.5704
3.96/4.01 c GLOBAL bounds - >= -2642 @ 3.71216
3.96/4.09 c GLOBAL bounds - >= -2642 @ 3.78609
4.06/4.15 c GLOBAL bounds - >= -2642 @ 3.8428
4.15/4.21 c GLOBAL bounds - >= -2642 @ 3.89866
4.25/4.36 c GLOBAL bounds - >= -2642 @ 4.03983
4.36/4.43 c GLOBAL bounds - >= -2642 @ 4.09758
4.36/4.48 c GLOBAL bounds - >= -2642 @ 4.15512
5.25/5.34 c #Conflicts: 2000 | #Constraints: 7380
5.25/5.34 c INPROCESSING
5.25/5.34 c GARBAGE COLLECT
5.25/5.34 c GLOBAL bounds - >= -2642 @ 4.98401
5.55/5.68 c GLOBAL bounds - >= -2642 @ 5.31341
5.65/5.75 c GLOBAL bounds - >= -2642 @ 5.38902
5.95/6.00 c GLOBAL bounds - >= -2642 @ 5.62768
6.15/6.20 c GLOBAL bounds - >= -2642 @ 5.81541
6.25/6.33 c GLOBAL bounds - >= -2642 @ 5.94852
6.35/6.44 c GLOBAL bounds - >= -2642 @ 6.05463
6.75/6.85 c #Conflicts: 3000 | #Constraints: 7403
6.75/6.85 c GLOBAL bounds - >= -2642 @ 6.45417
7.85/7.99 c GLOBAL bounds - >= -2642 @ 7.5283
8.14/8.26 c GLOBAL bounds - >= -2642 @ 7.7868
8.65/8.71 c GLOBAL bounds - >= -2642 @ 8.22768
8.84/8.90 c #Conflicts: 4000 | #Constraints: 8411
8.84/8.90 c GLOBAL bounds - >= -2642 @ 8.41093
9.34/9.48 c INPROCESSING
9.34/9.48 c GARBAGE COLLECT
9.34/9.48 c GLOBAL bounds - >= -2642 @ 8.98188
9.64/9.72 c GLOBAL bounds - >= -2642 @ 9.21988
9.74/9.85 c GLOBAL bounds - >= -2642 @ 9.34285
10.13/10.24 c GLOBAL bounds - >= -2642 @ 9.72205
10.44/10.50 c GLOBAL bounds - >= -2642 @ 9.97283
10.74/10.85 c GLOBAL bounds - >= -2642 @ 10.3187
11.04/11.13 c GLOBAL bounds - >= -2642 @ 10.5905
11.23/11.37 c #Conflicts: 5000 | #Constraints: 7849
11.23/11.37 c GLOBAL bounds - >= -2642 @ 10.8249
12.23/12.37 c GLOBAL bounds - >= -2642 @ 11.8123
12.63/12.76 c GLOBAL bounds - >= -2642 @ 12.1901
12.83/12.95 c GLOBAL bounds - >= -2642 @ 12.3676
13.13/13.21 c GLOBAL bounds - >= -2642 @ 12.6236
17.12/17.23 c #Conflicts: 6000 | #Constraints: 8859
17.12/17.23 c INPROCESSING
17.12/17.23 c GARBAGE COLLECT
17.12/17.23 c #Conflicts: 7000 | #Constraints: 7878
17.12/17.23 c #Conflicts: 8000 | #Constraints: 8878
17.12/17.23 c GLOBAL bounds - >= -2642 @ 16.5323
18.02/18.12 c GLOBAL bounds - >= -2642 @ 17.4109
18.12/18.29 c GLOBAL bounds - >= -2642 @ 17.5755
19.62/19.78 c #Conflicts: 9000 | #Constraints: 9884
19.62/19.78 c INPROCESSING
19.62/19.78 c GARBAGE COLLECT
19.62/19.78 c GLOBAL bounds - >= -2642 @ 19.0394
20.51/20.65 c GLOBAL bounds - >= -2642 @ 19.8919
21.41/21.50 c GLOBAL bounds - >= -2642 @ 20.7317
22.41/22.57 c #Conflicts: 10000 | #Constraints: 8599
22.41/22.57 c GLOBAL bounds - >= -2642 @ 21.7727
22.92/23.02 c GLOBAL bounds - >= -2642 @ 22.2199
23.20/23.37 c GLOBAL bounds - >= -2642 @ 22.5567
23.91/24.09 c #Conflicts: 11000 | #Constraints: 9605
23.91/24.09 c GLOBAL bounds - >= -2642 @ 23.2561
24.60/24.73 c GLOBAL bounds - >= -2642 @ 23.8755
24.81/24.98 c GLOBAL bounds - >= -2642 @ 24.1191
25.60/25.74 c GLOBAL bounds - >= -2642 @ 24.8696
26.90/27.07 c #Conflicts: 12000 | #Constraints: 10613
26.90/27.07 c INPROCESSING
26.90/27.07 c GARBAGE COLLECT
26.90/27.07 c GLOBAL bounds - >= -2642 @ 26.1473
27.59/27.72 c GLOBAL bounds - >= -2642 @ 26.779
28.49/28.62 c GLOBAL bounds - >= -2642 @ 27.6646
28.79/29.00 c GLOBAL bounds - >= -2642 @ 28.0309
29.19/29.34 c #Conflicts: 13000 | #Constraints: 9085
29.19/29.34 c GLOBAL bounds - >= -2642 @ 28.3681
29.49/29.69 c GLOBAL bounds - >= -2642 @ 28.7171
29.79/30.00 c GLOBAL bounds - >= -2642 @ 29.0167
30.09/30.25 c GLOBAL bounds - >= -2642 @ 29.2622
30.38/30.50 c GLOBAL bounds - >= -2642 @ 29.5133
30.78/30.93 c GLOBAL bounds - >= -2642 @ 29.9334
31.58/31.76 c #Conflicts: 14000 | #Constraints: 10097
31.58/31.76 c GLOBAL bounds - >= -2642 @ 30.7441
32.38/32.57 c GLOBAL bounds - >= -2642 @ 31.53
36.07/36.21 c #Conflicts: 15000 | #Constraints: 11101
36.07/36.21 c INPROCESSING
36.07/36.21 c GARBAGE COLLECT
36.07/36.21 c #Conflicts: 16000 | #Constraints: 9330
36.07/36.21 c GLOBAL bounds - >= -2642 @ 35.0882
39.86/40.05 c #Conflicts: 17000 | #Constraints: 10332
39.86/40.05 c #Conflicts: 18000 | #Constraints: 11332
39.86/40.05 c INPROCESSING
39.86/40.05 c GARBAGE COLLECT
39.86/40.05 c GLOBAL bounds - >= -2642 @ 38.8879
41.65/41.89 c #Conflicts: 19000 | #Constraints: 9340
41.65/41.89 c GLOBAL bounds - >= -2642 @ 40.6886
42.55/42.71 c GLOBAL bounds - >= -2642 @ 41.4938
45.55/45.70 c #Conflicts: 20000 | #Constraints: 10344
45.55/45.70 c GLOBAL bounds - >= -2642 @ 44.4311
48.84/49.05 c #Conflicts: 21000 | #Constraints: 11346
48.84/49.05 c INPROCESSING
48.84/49.05 c GARBAGE COLLECT
48.84/49.05 c #Conflicts: 22000 | #Constraints: 9166
48.84/49.05 c GLOBAL bounds - >= -2642 @ 47.6971
50.63/50.80 c #Conflicts: 23000 | #Constraints: 10168
50.63/50.80 c GLOBAL bounds - >= -2642 @ 49.4129
52.52/52.70 c GLOBAL bounds - >= -2642 @ 51.2682
53.43/53.66 c #Conflicts: 24000 | #Constraints: 11172
53.43/53.66 c GLOBAL bounds - >= -2642 @ 52.2201
54.42/54.65 c GLOBAL bounds - >= -2642 @ 53.1965
55.02/55.20 c GLOBAL bounds - >= -2642 @ 53.7467
55.82/56.06 c GLOBAL bounds - >= -2642 @ 54.5881
56.93/57.17 c #Conflicts: 25000 | #Constraints: 12180
56.93/57.17 c INPROCESSING
56.93/57.17 c GARBAGE COLLECT
56.93/57.17 c GLOBAL bounds - >= -2642 @ 55.6645
57.51/57.73 c GLOBAL bounds - >= -2642 @ 56.2205
61.10/61.38 c #Conflicts: 26000 | #Constraints: 9793
61.10/61.38 c #Conflicts: 27000 | #Constraints: 10793
61.10/61.38 c GLOBAL bounds - >= -2642 @ 59.7882
63.30/63.53 c #Conflicts: 28000 | #Constraints: 11795
63.30/63.53 c GLOBAL bounds - >= -2642 @ 61.8975
64.09/64.37 c GLOBAL bounds - >= -2642 @ 62.7257
67.39/67.64 c #Conflicts: 29000 | #Constraints: 12799
67.39/67.64 c INPROCESSING
67.39/67.64 c GARBAGE COLLECT
67.39/67.64 c GLOBAL bounds - >= -2642 @ 65.9303
68.69/68.97 c #Conflicts: 30000 | #Constraints: 10205
68.69/68.97 c GLOBAL bounds - >= -2642 @ 67.2319
69.68/69.91 c GLOBAL bounds - >= -2642 @ 68.1589
71.68/71.92 c #Conflicts: 31000 | #Constraints: 11209
71.68/71.92 c GLOBAL bounds - >= -2642 @ 70.1279
76.47/76.71 c #Conflicts: 32000 | #Constraints: 12211
76.47/76.71 c #Conflicts: 33000 | #Constraints: 13211
76.47/76.71 c INPROCESSING
76.47/76.71 c GARBAGE COLLECT
76.47/76.71 c GLOBAL bounds - >= -2642 @ 74.8376
77.16/77.47 c GLOBAL bounds - >= -2642 @ 75.5748
85.04/85.36 c #Conflicts: 34000 | #Constraints: 10431
85.04/85.36 c #Conflicts: 35000 | #Constraints: 11431
85.04/85.36 c #Conflicts: 36000 | #Constraints: 12431
85.04/85.36 c #Conflicts: 37000 | #Constraints: 13431
85.04/85.36 c INPROCESSING
85.04/85.36 c GARBAGE COLLECT
85.04/85.36 c GLOBAL bounds - >= -2642 @ 83.3298
91.12/91.49 c #Conflicts: 38000 | #Constraints: 10440
91.12/91.49 c #Conflicts: 39000 | #Constraints: 11440
91.12/91.49 c #Conflicts: 40000 | #Constraints: 12440
91.12/91.49 c GLOBAL bounds - >= -2642 @ 89.3695
92.63/92.94 c #Conflicts: 41000 | #Constraints: 13442
92.63/92.94 c GLOBAL bounds - >= -2642 @ 90.7784
97.41/97.76 c INPROCESSING
97.41/97.76 c GARBAGE COLLECT
97.41/97.76 c #Conflicts: 42000 | #Constraints: 10207
97.41/97.76 c #Conflicts: 43000 | #Constraints: 11207
97.41/97.76 c GLOBAL bounds - >= -2642 @ 95.5472
97.91/98.28 c #Conflicts: 44000 | #Constraints: 12209
97.91/98.28 c GLOBAL bounds - >= -2642 @ 96.0567
102.59/102.96 c #Conflicts: 45000 | #Constraints: 13211
102.59/102.96 c GLOBAL bounds - >= -2642 @ 100.668
105.59/106.00 c #Conflicts: 46000 | #Constraints: 14213
105.59/106.00 c INPROCESSING
105.59/106.00 c GARBAGE COLLECT
105.59/106.00 c GLOBAL bounds - >= -2642 @ 103.642
115.46/115.84 c #Conflicts: 47000 | #Constraints: 10835
115.46/115.84 c #Conflicts: 48000 | #Constraints: 11835
115.46/115.84 c #Conflicts: 49000 | #Constraints: 12835
115.46/115.84 c #Conflicts: 50000 | #Constraints: 13835
115.46/115.84 c GLOBAL bounds - >= -2642 @ 113.34
121.04/121.45 c #Conflicts: 51000 | #Constraints: 14837
121.04/121.45 c INPROCESSING
121.04/121.45 c GARBAGE COLLECT
121.04/121.45 c #Conflicts: 52000 | #Constraints: 11259
121.04/121.45 c GLOBAL bounds - >= -2642 @ 118.861
122.44/122.86 c #Conflicts: 53000 | #Constraints: 12261
122.44/122.86 c GLOBAL bounds - >= -2642 @ 120.258
131.52/131.97 c #Conflicts: 54000 | #Constraints: 13263
131.52/131.97 c #Conflicts: 55000 | #Constraints: 14263
131.52/131.97 c #Conflicts: 56000 | #Constraints: 15263
131.52/131.97 c INPROCESSING
131.52/131.97 c GARBAGE COLLECT
131.52/131.97 c GLOBAL bounds - >= -2642 @ 129.197
143.09/143.57 c #Conflicts: 57000 | #Constraints: 11485
143.09/143.57 c #Conflicts: 58000 | #Constraints: 12485
143.09/143.57 c #Conflicts: 59000 | #Constraints: 13485
143.09/143.57 c #Conflicts: 60000 | #Constraints: 14485
143.09/143.57 c #Conflicts: 61000 | #Constraints: 15485
143.09/143.57 c INPROCESSING
143.09/143.57 c GARBAGE COLLECT
143.09/143.57 c GLOBAL bounds - >= -2642 @ 140.563
145.18/145.66 c #Conflicts: 62000 | #Constraints: 11504
145.18/145.66 c GLOBAL bounds - >= -2642 @ 142.606
146.68/147.15 c #Conflicts: 63000 | #Constraints: 12506
146.68/147.15 c GLOBAL bounds - >= -2642 @ 144.082
150.86/151.32 c #Conflicts: 64000 | #Constraints: 13508
150.86/151.32 c GLOBAL bounds - >= -2642 @ 148.192
163.04/163.57 c #Conflicts: 65000 | #Constraints: 14510
163.04/163.57 c #Conflicts: 66000 | #Constraints: 15510
163.04/163.57 c INPROCESSING
163.04/163.57 c GARBAGE COLLECT
163.04/163.57 c #Conflicts: 67000 | #Constraints: 11305
163.04/163.57 c #Conflicts: 68000 | #Constraints: 12305
163.04/163.57 c GLOBAL bounds - >= -2642 @ 160.232
172.21/172.72 c #Conflicts: 69000 | #Constraints: 13307
172.21/172.72 c #Conflicts: 70000 | #Constraints: 14307
172.21/172.72 c #Conflicts: 71000 | #Constraints: 15307
172.21/172.72 c #Conflicts: 72000 | #Constraints: 16307
172.21/172.72 c INPROCESSING
172.21/172.72 c GARBAGE COLLECT
172.21/172.72 c GLOBAL bounds - >= -2642 @ 169.211
174.20/174.79 c #Conflicts: 73000 | #Constraints: 11913
174.20/174.79 c GLOBAL bounds - >= -2642 @ 171.244
191.06/191.61 c #Conflicts: 74000 | #Constraints: 12915
191.06/191.61 c #Conflicts: 75000 | #Constraints: 13915
191.06/191.61 c #Conflicts: 76000 | #Constraints: 14915
191.06/191.61 c #Conflicts: 77000 | #Constraints: 15915
191.06/191.61 c #Conflicts: 78000 | #Constraints: 16915
191.06/191.61 c INPROCESSING
191.06/191.61 c GARBAGE COLLECT
191.06/191.61 c #Conflicts: 79000 | #Constraints: 12313
191.06/191.61 c GLOBAL bounds - >= -2642 @ 187.809
208.01/208.61 c #Conflicts: 80000 | #Constraints: 13315
208.01/208.61 c #Conflicts: 81000 | #Constraints: 14315
208.01/208.61 c #Conflicts: 82000 | #Constraints: 15315
208.01/208.61 c #Conflicts: 83000 | #Constraints: 16315
208.01/208.61 c #Conflicts: 84000 | #Constraints: 17315
208.01/208.61 c INPROCESSING
208.01/208.61 c GARBAGE COLLECT
208.01/208.61 c #Conflicts: 85000 | #Constraints: 12517
208.01/208.61 c #Conflicts: 86000 | #Constraints: 13517
208.01/208.61 c #Conflicts: 87000 | #Constraints: 14517
208.01/208.61 c #Conflicts: 88000 | #Constraints: 15517
208.01/208.61 c GLOBAL bounds - >= -2642 @ 204.47
235.64/236.37 c #Conflicts: 89000 | #Constraints: 16519
235.64/236.37 c #Conflicts: 90000 | #Constraints: 17519
235.64/236.37 c INPROCESSING
235.64/236.37 c GARBAGE COLLECT
235.64/236.37 c #Conflicts: 91000 | #Constraints: 12525
235.64/236.37 c #Conflicts: 92000 | #Constraints: 13525
235.64/236.37 c #Conflicts: 93000 | #Constraints: 14525
235.64/236.37 c #Conflicts: 94000 | #Constraints: 15525
235.64/236.37 c #Conflicts: 95000 | #Constraints: 16525
235.64/236.37 c #Conflicts: 96000 | #Constraints: 17525
235.64/236.37 c INPROCESSING
235.64/236.37 c GARBAGE COLLECT
235.64/236.37 c #Conflicts: 97000 | #Constraints: 12332
235.64/236.37 c #Conflicts: 98000 | #Constraints: 13332
235.64/236.37 c #Conflicts: 99000 | #Constraints: 14332
235.64/236.37 c #Conflicts: 100000 | #Constraints: 15332
235.64/236.37 c #Conflicts: 101000 | #Constraints: 16332
235.64/236.37 c GLOBAL bounds - >= -2642 @ 231.811
244.33/245.02 c #Conflicts: 102000 | #Constraints: 17334
244.33/245.02 c #Conflicts: 103000 | #Constraints: 18334
244.33/245.02 c INPROCESSING
244.33/245.02 c GARBAGE COLLECT
244.33/245.02 c #Conflicts: 104000 | #Constraints: 12949
244.33/245.02 c GLOBAL bounds - >= -2642 @ 240.358
266.67/267.45 c #Conflicts: 105000 | #Constraints: 13951
266.67/267.45 c #Conflicts: 106000 | #Constraints: 14951
266.67/267.45 c #Conflicts: 107000 | #Constraints: 15951
266.67/267.45 c #Conflicts: 108000 | #Constraints: 16951
266.67/267.45 c #Conflicts: 109000 | #Constraints: 17951
266.67/267.45 c #Conflicts: 110000 | #Constraints: 18951
266.67/267.45 c INPROCESSING
266.67/267.45 c GARBAGE COLLECT
266.67/267.45 c #Conflicts: 111000 | #Constraints: 13356
266.67/267.45 c #Conflicts: 112000 | #Constraints: 14356
266.67/267.45 c #Conflicts: 113000 | #Constraints: 15356
266.67/267.45 c GLOBAL bounds - >= -2642 @ 262.496
309.45/310.31 c #Conflicts: 114000 | #Constraints: 16358
309.45/310.31 c #Conflicts: 115000 | #Constraints: 17358
309.45/310.31 c #Conflicts: 116000 | #Constraints: 18358
309.45/310.31 c #Conflicts: 117000 | #Constraints: 19358
309.45/310.31 c INPROCESSING
309.45/310.31 c GARBAGE COLLECT
309.45/310.31 c #Conflicts: 118000 | #Constraints: 13540
309.45/310.31 c #Conflicts: 119000 | #Constraints: 14540
309.45/310.31 c #Conflicts: 120000 | #Constraints: 15540
309.45/310.31 c #Conflicts: 121000 | #Constraints: 16540
309.45/310.31 c #Conflicts: 122000 | #Constraints: 17540
309.45/310.31 c #Conflicts: 123000 | #Constraints: 18540
309.45/310.31 c #Conflicts: 124000 | #Constraints: 19540
309.45/310.31 c INPROCESSING
309.45/310.31 c GARBAGE COLLECT
309.45/310.31 c #Conflicts: 125000 | #Constraints: 13531
309.45/310.31 c #Conflicts: 126000 | #Constraints: 14531
309.45/310.31 c #Conflicts: 127000 | #Constraints: 15531
309.45/310.31 c #Conflicts: 128000 | #Constraints: 16531
309.45/310.31 c #Conflicts: 129000 | #Constraints: 17531
309.45/310.31 c #Conflicts: 130000 | #Constraints: 18531
309.45/310.31 c GLOBAL bounds - >= -2642 @ 304.862
331.99/332.94 c #Conflicts: 131000 | #Constraints: 19533
331.99/332.94 c INPROCESSING
331.99/332.94 c GARBAGE COLLECT
331.99/332.94 c #Conflicts: 132000 | #Constraints: 13326
331.99/332.94 c #Conflicts: 133000 | #Constraints: 14326
331.99/332.94 c #Conflicts: 134000 | #Constraints: 15326
331.99/332.94 c #Conflicts: 135000 | #Constraints: 16326
331.99/332.94 c #Conflicts: 136000 | #Constraints: 17326
331.99/332.94 c #Conflicts: 137000 | #Constraints: 18326
331.99/332.94 c #Conflicts: 138000 | #Constraints: 19326
331.99/332.94 c GLOBAL bounds - >= -2642 @ 327.277
340.37/341.36 c #Conflicts: 139000 | #Constraints: 20328
340.37/341.36 c INPROCESSING
340.37/341.36 c GARBAGE COLLECT
340.37/341.36 c #Conflicts: 140000 | #Constraints: 13956
340.37/341.36 c #Conflicts: 141000 | #Constraints: 14956
340.37/341.36 c #Conflicts: 142000 | #Constraints: 15956
340.37/341.36 c GLOBAL bounds - >= -2642 @ 335.549
353.04/354.07 c #Conflicts: 143000 | #Constraints: 16958
353.04/354.07 c #Conflicts: 144000 | #Constraints: 17958
353.04/354.07 c #Conflicts: 145000 | #Constraints: 18958
353.04/354.07 c #Conflicts: 146000 | #Constraints: 19958
353.04/354.07 c #Conflicts: 147000 | #Constraints: 20958
353.04/354.07 c INPROCESSING
353.04/354.07 c GARBAGE COLLECT
353.04/354.07 c #Conflicts: 148000 | #Constraints: 14379
353.04/354.07 c GLOBAL bounds - >= -2642 @ 348.094
419.46/420.64 c #Conflicts: 149000 | #Constraints: 15381
419.46/420.64 c #Conflicts: 150000 | #Constraints: 16381
419.46/420.64 c #Conflicts: 151000 | #Constraints: 17381
419.46/420.64 c #Conflicts: 152000 | #Constraints: 18381
419.46/420.64 c #Conflicts: 153000 | #Constraints: 19381
419.46/420.64 c #Conflicts: 154000 | #Constraints: 20381
419.46/420.64 c #Conflicts: 155000 | #Constraints: 21381
419.46/420.64 c INPROCESSING
419.46/420.64 c GARBAGE COLLECT
419.46/420.64 c #Conflicts: 156000 | #Constraints: 14569
419.46/420.64 c #Conflicts: 157000 | #Constraints: 15569
419.46/420.64 c #Conflicts: 158000 | #Constraints: 16569
419.46/420.64 c #Conflicts: 159000 | #Constraints: 17569
419.46/420.64 c #Conflicts: 160000 | #Constraints: 18569
419.46/420.64 c #Conflicts: 161000 | #Constraints: 19569
419.46/420.64 c #Conflicts: 162000 | #Constraints: 20569
419.46/420.64 c #Conflicts: 163000 | #Constraints: 21569
419.46/420.64 c INPROCESSING
419.46/420.64 c GARBAGE COLLECT
419.46/420.64 c #Conflicts: 164000 | #Constraints: 14562
419.46/420.64 c #Conflicts: 165000 | #Constraints: 15562
419.46/420.64 c #Conflicts: 166000 | #Constraints: 16562
419.46/420.64 c #Conflicts: 167000 | #Constraints: 17562
419.46/420.64 c #Conflicts: 168000 | #Constraints: 18562
419.46/420.64 c #Conflicts: 169000 | #Constraints: 19562
419.46/420.64 c #Conflicts: 170000 | #Constraints: 20562
419.46/420.64 c #Conflicts: 171000 | #Constraints: 21562
419.46/420.64 c INPROCESSING
419.46/420.64 c GARBAGE COLLECT
419.46/420.64 c #Conflicts: 172000 | #Constraints: 14347
419.46/420.64 c GLOBAL bounds - >= -2642 @ 413.855
592.96/594.62 c #Conflicts: 173000 | #Constraints: 15349
592.96/594.62 c #Conflicts: 174000 | #Constraints: 16349
592.96/594.62 c #Conflicts: 175000 | #Constraints: 17349
592.96/594.62 c #Conflicts: 176000 | #Constraints: 18349
592.96/594.62 c #Conflicts: 177000 | #Constraints: 19349
592.96/594.62 c #Conflicts: 178000 | #Constraints: 20349
592.96/594.62 c #Conflicts: 179000 | #Constraints: 21349
592.96/594.62 c #Conflicts: 180000 | #Constraints: 22349
592.96/594.62 c INPROCESSING
592.96/594.62 c GARBAGE COLLECT
592.96/594.62 c #Conflicts: 181000 | #Constraints: 14978
592.96/594.62 c #Conflicts: 182000 | #Constraints: 15978
592.96/594.62 c #Conflicts: 183000 | #Constraints: 16978
592.96/594.62 c #Conflicts: 184000 | #Constraints: 17978
592.96/594.62 c #Conflicts: 185000 | #Constraints: 18978
592.96/594.62 c #Conflicts: 186000 | #Constraints: 19978
592.96/594.62 c #Conflicts: 187000 | #Constraints: 20978
592.96/594.62 c #Conflicts: 188000 | #Constraints: 21978
592.96/594.62 c #Conflicts: 189000 | #Constraints: 22978
592.96/594.62 c INPROCESSING
592.96/594.62 c GARBAGE COLLECT
592.96/594.62 c #Conflicts: 190000 | #Constraints: 15398
592.96/594.62 c #Conflicts: 191000 | #Constraints: 16398
592.96/594.62 c #Conflicts: 192000 | #Constraints: 17398
592.96/594.62 c #Conflicts: 193000 | #Constraints: 18398
592.96/594.62 c #Conflicts: 194000 | #Constraints: 19398
592.96/594.62 c #Conflicts: 195000 | #Constraints: 20398
592.96/594.62 c #Conflicts: 196000 | #Constraints: 21398
592.96/594.62 c #Conflicts: 197000 | #Constraints: 22398
592.96/594.62 c #Conflicts: 198000 | #Constraints: 23398
592.96/594.62 c INPROCESSING
592.96/594.62 c GARBAGE COLLECT
592.96/594.62 c #Conflicts: 199000 | #Constraints: 15607
592.96/594.62 c #Conflicts: 200000 | #Constraints: 16607
592.96/594.62 c #Conflicts: 201000 | #Constraints: 17607
592.96/594.62 c #Conflicts: 202000 | #Constraints: 18607
592.96/594.62 c #Conflicts: 203000 | #Constraints: 19607
592.96/594.62 c #Conflicts: 204000 | #Constraints: 20607
592.96/594.62 c #Conflicts: 205000 | #Constraints: 21607
592.96/594.62 c #Conflicts: 206000 | #Constraints: 22607
592.96/594.62 c #Conflicts: 207000 | #Constraints: 23607
592.96/594.62 c INPROCESSING
592.96/594.62 c GARBAGE COLLECT
592.96/594.62 c #Conflicts: 208000 | #Constraints: 15607
592.96/594.62 c #Conflicts: 209000 | #Constraints: 16607
592.96/594.62 c #Conflicts: 210000 | #Constraints: 17607
592.96/594.62 c #Conflicts: 211000 | #Constraints: 18607
592.96/594.62 c #Conflicts: 212000 | #Constraints: 19607
592.96/594.62 c #Conflicts: 213000 | #Constraints: 20607
592.96/594.62 c #Conflicts: 214000 | #Constraints: 21607
592.96/594.62 c #Conflicts: 215000 | #Constraints: 22607
592.96/594.62 c #Conflicts: 216000 | #Constraints: 23607
592.96/594.62 c INPROCESSING
592.96/594.62 c GARBAGE COLLECT
592.96/594.62 c #Conflicts: 217000 | #Constraints: 15421
592.96/594.62 c #Conflicts: 218000 | #Constraints: 16421
592.96/594.62 c #Conflicts: 219000 | #Constraints: 17421
592.96/594.62 c #Conflicts: 220000 | #Constraints: 18421
592.96/594.62 c #Conflicts: 221000 | #Constraints: 19421
592.96/594.62 c #Conflicts: 222000 | #Constraints: 20421
592.96/594.62 c #Conflicts: 223000 | #Constraints: 21421
592.96/594.62 c #Conflicts: 224000 | #Constraints: 22421
592.96/594.62 c #Conflicts: 225000 | #Constraints: 23421
592.96/594.62 c #Conflicts: 226000 | #Constraints: 24421
592.96/594.62 c INPROCESSING
592.96/594.62 c GARBAGE COLLECT
592.96/594.62 c #Conflicts: 227000 | #Constraints: 16019
592.96/594.62 c #Conflicts: 228000 | #Constraints: 17019
592.96/594.62 c #Conflicts: 229000 | #Constraints: 18019
592.96/594.62 c #Conflicts: 230000 | #Constraints: 19019
592.96/594.62 c #Conflicts: 231000 | #Constraints: 20019
592.96/594.62 c #Conflicts: 232000 | #Constraints: 21019
592.96/594.62 c #Conflicts: 233000 | #Constraints: 22019
592.96/594.62 c #Conflicts: 234000 | #Constraints: 23019
592.96/594.62 c GLOBAL bounds - >= -2642 @ 585.785
613.32/615.00 c #Conflicts: 235000 | #Constraints: 24021
613.32/615.00 c #Conflicts: 236000 | #Constraints: 25021
613.32/615.00 c INPROCESSING
613.32/615.00 c GARBAGE COLLECT
613.32/615.00 c #Conflicts: 237000 | #Constraints: 16375
613.32/615.00 c #Conflicts: 238000 | #Constraints: 17375
613.32/615.00 c #Conflicts: 239000 | #Constraints: 18375
613.32/615.00 c #Conflicts: 240000 | #Constraints: 19375
613.32/615.00 c GLOBAL bounds - >= -2642 @ 605.913
615.31/617.02 c #Conflicts: 241000 | #Constraints: 20377
615.31/617.02 c GLOBAL bounds - >= -2642 @ 607.9
646.33/648.10 c #Conflicts: 242000 | #Constraints: 21379
646.33/648.10 c #Conflicts: 243000 | #Constraints: 22379
646.33/648.10 c #Conflicts: 244000 | #Constraints: 23379
646.33/648.10 c #Conflicts: 245000 | #Constraints: 24379
646.33/648.10 c #Conflicts: 246000 | #Constraints: 25379
646.33/648.10 c INPROCESSING
646.33/648.10 c GARBAGE COLLECT
646.33/648.10 c #Conflicts: 247000 | #Constraints: 16566
646.33/648.10 c #Conflicts: 248000 | #Constraints: 17566
646.33/648.10 c #Conflicts: 249000 | #Constraints: 18566
646.33/648.10 c #Conflicts: 250000 | #Constraints: 19566
646.33/648.10 c #Conflicts: 251000 | #Constraints: 20566
646.33/648.10 c GLOBAL bounds - >= -2642 @ 638.552
703.37/705.35 c #Conflicts: 252000 | #Constraints: 21568
703.37/705.35 c #Conflicts: 253000 | #Constraints: 22568
703.37/705.35 c #Conflicts: 254000 | #Constraints: 23568
703.37/705.35 c #Conflicts: 255000 | #Constraints: 24568
703.37/705.35 c #Conflicts: 256000 | #Constraints: 25568
703.37/705.35 c INPROCESSING
703.37/705.35 c GARBAGE COLLECT
703.37/705.35 c #Conflicts: 257000 | #Constraints: 16574
703.37/705.35 c #Conflicts: 258000 | #Constraints: 17574
703.37/705.35 c #Conflicts: 259000 | #Constraints: 18574
703.37/705.35 c #Conflicts: 260000 | #Constraints: 19574
703.37/705.35 c #Conflicts: 261000 | #Constraints: 20574
703.37/705.35 c #Conflicts: 262000 | #Constraints: 21574
703.37/705.35 c #Conflicts: 263000 | #Constraints: 22574
703.37/705.35 c #Conflicts: 264000 | #Constraints: 23574
703.37/705.35 c #Conflicts: 265000 | #Constraints: 24574
703.37/705.35 c #Conflicts: 266000 | #Constraints: 25574
703.37/705.35 c INPROCESSING
703.37/705.35 c GARBAGE COLLECT
703.37/705.35 c GLOBAL bounds - >= -2642 @ 695.184
735.09/737.18 c #Conflicts: 267000 | #Constraints: 16381
735.09/737.18 c #Conflicts: 268000 | #Constraints: 17381
735.09/737.18 c #Conflicts: 269000 | #Constraints: 18381
735.09/737.18 c #Conflicts: 270000 | #Constraints: 19381
735.09/737.18 c #Conflicts: 271000 | #Constraints: 20381
735.09/737.18 c #Conflicts: 272000 | #Constraints: 21381
735.09/737.18 c #Conflicts: 273000 | #Constraints: 22381
735.09/737.18 c #Conflicts: 274000 | #Constraints: 23381
735.09/737.18 c #Conflicts: 275000 | #Constraints: 24381
735.09/737.18 c #Conflicts: 276000 | #Constraints: 25381
735.09/737.18 c #Conflicts: 277000 | #Constraints: 26381
735.09/737.18 c INPROCESSING
735.09/737.18 c GARBAGE COLLECT
735.09/737.18 c #Conflicts: 278000 | #Constraints: 17001
735.09/737.18 c GLOBAL bounds - >= -2642 @ 726.637
786.84/789.02 c #Conflicts: 279000 | #Constraints: 18003
786.84/789.02 c #Conflicts: 280000 | #Constraints: 19003
786.84/789.02 c #Conflicts: 281000 | #Constraints: 20003
786.84/789.02 c #Conflicts: 282000 | #Constraints: 21003
786.84/789.02 c #Conflicts: 283000 | #Constraints: 22003
786.84/789.02 c #Conflicts: 284000 | #Constraints: 23003
786.84/789.02 c #Conflicts: 285000 | #Constraints: 24003
786.84/789.02 c #Conflicts: 286000 | #Constraints: 25003
786.84/789.02 c #Conflicts: 287000 | #Constraints: 26003
786.84/789.02 c #Conflicts: 288000 | #Constraints: 27003
786.84/789.02 c INPROCESSING
786.84/789.02 c GARBAGE COLLECT
786.84/789.02 c #Conflicts: 289000 | #Constraints: 17406
786.84/789.02 c #Conflicts: 290000 | #Constraints: 18406
786.84/789.02 c #Conflicts: 291000 | #Constraints: 19406
786.84/789.02 c #Conflicts: 292000 | #Constraints: 20406
786.84/789.02 c #Conflicts: 293000 | #Constraints: 21406
786.84/789.02 c GLOBAL bounds - >= -2642 @ 777.925
831.59/833.91 c #Conflicts: 294000 | #Constraints: 22408
831.59/833.91 c #Conflicts: 295000 | #Constraints: 23408
831.59/833.91 c #Conflicts: 296000 | #Constraints: 24408
831.59/833.91 c #Conflicts: 297000 | #Constraints: 25408
831.59/833.91 c #Conflicts: 298000 | #Constraints: 26408
831.59/833.91 c #Conflicts: 299000 | #Constraints: 27408
831.59/833.91 c INPROCESSING
831.59/833.91 c GARBAGE COLLECT
831.59/833.91 c #Conflicts: 300000 | #Constraints: 17628
831.59/833.91 c #Conflicts: 301000 | #Constraints: 18628
831.59/833.91 c #Conflicts: 302000 | #Constraints: 19628
831.59/833.91 c #Conflicts: 303000 | #Constraints: 20628
831.59/833.91 c #Conflicts: 304000 | #Constraints: 21628
831.59/833.91 c #Conflicts: 305000 | #Constraints: 22628
831.59/833.91 c GLOBAL bounds - >= -2642 @ 822.273
842.26/844.67 c #Conflicts: 306000 | #Constraints: 23630
842.26/844.67 c #Conflicts: 307000 | #Constraints: 24630
842.26/844.67 c #Conflicts: 308000 | #Constraints: 25630
842.26/844.67 c GLOBAL bounds - >= -2642 @ 832.939
855.82/858.25 c #Conflicts: 309000 | #Constraints: 26632
855.82/858.25 c #Conflicts: 310000 | #Constraints: 27632
855.82/858.25 c INPROCESSING
855.82/858.25 c GARBAGE COLLECT
855.82/858.25 c #Conflicts: 311000 | #Constraints: 17644
855.82/858.25 c #Conflicts: 312000 | #Constraints: 18644
855.82/858.25 c #Conflicts: 313000 | #Constraints: 19644
855.82/858.25 c GLOBAL bounds - >= -2642 @ 846.353
1126.33/1129.59 c #Conflicts: 314000 | #Constraints: 20646
1126.33/1129.59 c #Conflicts: 315000 | #Constraints: 21646
1126.33/1129.59 c #Conflicts: 316000 | #Constraints: 22646
1126.33/1129.59 c #Conflicts: 317000 | #Constraints: 23646
1126.33/1129.59 c #Conflicts: 318000 | #Constraints: 24646
1126.33/1129.59 c #Conflicts: 319000 | #Constraints: 25646
1126.33/1129.59 c #Conflicts: 320000 | #Constraints: 26646
1126.33/1129.59 c #Conflicts: 321000 | #Constraints: 27646
1126.33/1129.59 c INPROCESSING
1126.33/1129.59 c GARBAGE COLLECT
1126.33/1129.59 c #Conflicts: 322000 | #Constraints: 17432
1126.33/1129.59 c #Conflicts: 323000 | #Constraints: 18432
1126.33/1129.59 c #Conflicts: 324000 | #Constraints: 19432
1126.33/1129.59 c #Conflicts: 325000 | #Constraints: 20432
1126.33/1129.59 c #Conflicts: 326000 | #Constraints: 21432
1126.33/1129.59 c #Conflicts: 327000 | #Constraints: 22432
1126.33/1129.59 c #Conflicts: 328000 | #Constraints: 23432
1126.33/1129.59 c #Conflicts: 329000 | #Constraints: 24432
1126.33/1129.59 c #Conflicts: 330000 | #Constraints: 25432
1126.33/1129.59 c #Conflicts: 331000 | #Constraints: 26432
1126.33/1129.59 c #Conflicts: 332000 | #Constraints: 27432
1126.33/1129.59 c #Conflicts: 333000 | #Constraints: 28432
1126.33/1129.59 c INPROCESSING
1126.33/1129.59 c GARBAGE COLLECT
1126.33/1129.59 c #Conflicts: 334000 | #Constraints: 18051
1126.33/1129.59 c #Conflicts: 335000 | #Constraints: 19051
1126.33/1129.59 c #Conflicts: 336000 | #Constraints: 20051
1126.33/1129.59 c #Conflicts: 337000 | #Constraints: 21051
1126.33/1129.59 c #Conflicts: 338000 | #Constraints: 22051
1126.33/1129.59 c #Conflicts: 339000 | #Constraints: 23051
1126.33/1129.59 c #Conflicts: 340000 | #Constraints: 24051
1126.33/1129.59 c #Conflicts: 341000 | #Constraints: 25051
1126.33/1129.59 c #Conflicts: 342000 | #Constraints: 26051
1126.33/1129.59 c #Conflicts: 343000 | #Constraints: 27051
1126.33/1129.59 c #Conflicts: 344000 | #Constraints: 28051
1126.33/1129.59 c #Conflicts: 345000 | #Constraints: 29051
1126.33/1129.59 c INPROCESSING
1126.33/1129.59 c GARBAGE COLLECT
1126.33/1129.59 c #Conflicts: 346000 | #Constraints: 18451
1126.33/1129.59 c #Conflicts: 347000 | #Constraints: 19451
1126.33/1129.59 c #Conflicts: 348000 | #Constraints: 20451
1126.33/1129.59 c #Conflicts: 349000 | #Constraints: 21451
1126.33/1129.59 c #Conflicts: 350000 | #Constraints: 22451
1126.33/1129.59 c #Conflicts: 351000 | #Constraints: 23451
1126.33/1129.59 c #Conflicts: 352000 | #Constraints: 24451
1126.33/1129.59 c #Conflicts: 353000 | #Constraints: 25451
1126.33/1129.59 c #Conflicts: 354000 | #Constraints: 26451
1126.33/1129.59 c #Conflicts: 355000 | #Constraints: 27451
1126.33/1129.59 c #Conflicts: 356000 | #Constraints: 28451
1126.33/1129.59 c #Conflicts: 357000 | #Constraints: 29451
1126.33/1129.59 c INPROCESSING
1126.33/1129.59 c GARBAGE COLLECT
1126.33/1129.59 c #Conflicts: 358000 | #Constraints: 18615
1126.33/1129.59 c #Conflicts: 359000 | #Constraints: 19615
1126.33/1129.59 c #Conflicts: 360000 | #Constraints: 20615
1126.33/1129.59 c #Conflicts: 361000 | #Constraints: 21615
1126.33/1129.59 c #Conflicts: 362000 | #Constraints: 22615
1126.33/1129.59 c #Conflicts: 363000 | #Constraints: 23615
1126.33/1129.59 c #Conflicts: 364000 | #Constraints: 24615
1126.33/1129.59 c #Conflicts: 365000 | #Constraints: 25615
1126.33/1129.59 c #Conflicts: 366000 | #Constraints: 26615
1126.33/1129.59 c #Conflicts: 367000 | #Constraints: 27615
1126.33/1129.59 c #Conflicts: 368000 | #Constraints: 28615
1126.33/1129.59 c #Conflicts: 369000 | #Constraints: 29615
1126.33/1129.59 c INPROCESSING
1126.33/1129.59 c GARBAGE COLLECT
1126.33/1129.59 c #Conflicts: 370000 | #Constraints: 18594
1126.33/1129.59 c #Conflicts: 371000 | #Constraints: 19594
1126.33/1129.59 c #Conflicts: 372000 | #Constraints: 20594
1126.33/1129.59 c #Conflicts: 373000 | #Constraints: 21594
1126.33/1129.59 c #Conflicts: 374000 | #Constraints: 22594
1126.33/1129.59 c #Conflicts: 375000 | #Constraints: 23594
1126.33/1129.59 c #Conflicts: 376000 | #Constraints: 24594
1126.33/1129.59 c #Conflicts: 377000 | #Constraints: 25594
1126.33/1129.59 c #Conflicts: 378000 | #Constraints: 26594
1126.33/1129.59 c #Conflicts: 379000 | #Constraints: 27594
1126.33/1129.59 c #Conflicts: 380000 | #Constraints: 28594
1126.33/1129.59 c #Conflicts: 381000 | #Constraints: 29594
1126.33/1129.59 c INPROCESSING
1126.33/1129.59 c GARBAGE COLLECT
1126.33/1129.59 c #Conflicts: 382000 | #Constraints: 18392
1126.33/1129.59 c #Conflicts: 383000 | #Constraints: 19392
1126.33/1129.59 c #Conflicts: 384000 | #Constraints: 20392
1126.33/1129.59 c #Conflicts: 385000 | #Constraints: 21392
1126.33/1129.59 c #Conflicts: 386000 | #Constraints: 22392
1126.33/1129.59 c #Conflicts: 387000 | #Constraints: 23392
1126.33/1129.59 c #Conflicts: 388000 | #Constraints: 24392
1167.22/1170.55 c #Conflicts: 389000 | #Constraints: 25392
1167.22/1170.55 c #Conflicts: 390000 | #Constraints: 26392
1167.22/1170.55 c #Conflicts: 391000 | #Constraints: 27392
1167.22/1170.55 c #Conflicts: 392000 | #Constraints: 28392
1167.22/1170.55 c #Conflicts: 393000 | #Constraints: 29392
1167.22/1170.55 c #Conflicts: 394000 | #Constraints: 30392
1167.22/1170.55 c INPROCESSING
1167.22/1170.55 c GARBAGE COLLECT
1167.22/1170.55 c #Conflicts: 395000 | #Constraints: 19007
1167.22/1170.55 c #Conflicts: 396000 | #Constraints: 20007
1167.22/1170.55 c #Conflicts: 397000 | #Constraints: 21007
1167.22/1170.55 c #Conflicts: 398000 | #Constraints: 22007
1167.22/1170.55 c #Conflicts: 399000 | #Constraints: 23007
1167.22/1170.55 c GLOBAL bounds - >= -2642 @ 1155.42
1387.80/1391.76 c #Conflicts: 400000 | #Constraints: 24009
1387.80/1391.76 c #Conflicts: 401000 | #Constraints: 25009
1387.80/1391.76 c #Conflicts: 402000 | #Constraints: 26009
1387.80/1391.76 c #Conflicts: 403000 | #Constraints: 27009
1387.80/1391.76 c #Conflicts: 404000 | #Constraints: 28009
1387.80/1391.76 c #Conflicts: 405000 | #Constraints: 29009
1387.80/1391.76 c #Conflicts: 406000 | #Constraints: 30009
1387.80/1391.76 c #Conflicts: 407000 | #Constraints: 31009
1387.80/1391.76 c INPROCESSING
1387.80/1391.76 c GARBAGE COLLECT
1387.80/1391.76 c #Conflicts: 408000 | #Constraints: 19442
1387.80/1391.76 c #Conflicts: 409000 | #Constraints: 20442
1387.80/1391.76 c #Conflicts: 410000 | #Constraints: 21442
1387.80/1391.76 c #Conflicts: 411000 | #Constraints: 22442
1387.80/1391.76 c #Conflicts: 412000 | #Constraints: 23442
1387.80/1391.76 c #Conflicts: 413000 | #Constraints: 24442
1387.80/1391.76 c #Conflicts: 414000 | #Constraints: 25442
1387.80/1391.76 c #Conflicts: 415000 | #Constraints: 26442
1387.80/1391.76 c #Conflicts: 416000 | #Constraints: 27442
1387.80/1391.76 c #Conflicts: 417000 | #Constraints: 28442
1387.80/1391.76 c #Conflicts: 418000 | #Constraints: 29442
1387.80/1391.76 c #Conflicts: 419000 | #Constraints: 30442
1387.80/1391.76 c #Conflicts: 420000 | #Constraints: 31442
1387.80/1391.76 c INPROCESSING
1387.80/1391.76 c GARBAGE COLLECT
1387.80/1391.76 c #Conflicts: 421000 | #Constraints: 19666
1387.80/1391.76 c #Conflicts: 422000 | #Constraints: 20666
1387.80/1391.76 c #Conflicts: 423000 | #Constraints: 21666
1387.80/1391.76 c #Conflicts: 424000 | #Constraints: 22666
1387.80/1391.76 c #Conflicts: 425000 | #Constraints: 23666
1387.80/1391.76 c #Conflicts: 426000 | #Constraints: 24666
1387.80/1391.76 c #Conflicts: 427000 | #Constraints: 25666
1387.80/1391.76 c #Conflicts: 428000 | #Constraints: 26666
1387.80/1391.76 c #Conflicts: 429000 | #Constraints: 27666
1387.80/1391.76 c #Conflicts: 430000 | #Constraints: 28666
1387.80/1391.76 c #Conflicts: 431000 | #Constraints: 29666
1387.80/1391.76 c #Conflicts: 432000 | #Constraints: 30666
1387.80/1391.76 c #Conflicts: 433000 | #Constraints: 31666
1387.80/1391.76 c INPROCESSING
1387.80/1391.76 c GARBAGE COLLECT
1387.80/1391.76 c #Conflicts: 434000 | #Constraints: 19677
1387.80/1391.76 c #Conflicts: 435000 | #Constraints: 20677
1387.80/1391.76 c #Conflicts: 436000 | #Constraints: 21677
1387.80/1391.76 c #Conflicts: 437000 | #Constraints: 22677
1387.80/1391.76 c #Conflicts: 438000 | #Constraints: 23677
1387.80/1391.76 c #Conflicts: 439000 | #Constraints: 24677
1387.80/1391.76 c #Conflicts: 440000 | #Constraints: 25677
1387.80/1391.76 c #Conflicts: 441000 | #Constraints: 26677
1387.80/1391.76 c #Conflicts: 442000 | #Constraints: 27677
1387.80/1391.76 c #Conflicts: 443000 | #Constraints: 28677
1387.80/1391.76 c #Conflicts: 444000 | #Constraints: 29677
1387.80/1391.76 c #Conflicts: 445000 | #Constraints: 30677
1387.80/1391.76 c #Conflicts: 446000 | #Constraints: 31677
1387.80/1391.76 c INPROCESSING
1387.80/1391.76 c GARBAGE COLLECT
1387.80/1391.76 c #Conflicts: 447000 | #Constraints: 19487
1387.80/1391.76 c #Conflicts: 448000 | #Constraints: 20487
1387.80/1391.76 c #Conflicts: 449000 | #Constraints: 21487
1387.80/1391.76 c #Conflicts: 450000 | #Constraints: 22487
1387.80/1391.76 c #Conflicts: 451000 | #Constraints: 23487
1387.80/1391.76 c #Conflicts: 452000 | #Constraints: 24487
1387.80/1391.76 c #Conflicts: 453000 | #Constraints: 25487
1387.80/1391.76 c #Conflicts: 454000 | #Constraints: 26487
1387.80/1391.76 c #Conflicts: 455000 | #Constraints: 27487
1387.80/1391.76 c #Conflicts: 456000 | #Constraints: 28487
1387.80/1391.76 c #Conflicts: 457000 | #Constraints: 29487
1387.80/1391.76 c #Conflicts: 458000 | #Constraints: 30487
1387.80/1391.76 c #Conflicts: 459000 | #Constraints: 31487
1387.80/1391.76 c #Conflicts: 460000 | #Constraints: 32487
1387.80/1391.76 c INPROCESSING
1387.80/1391.76 c GARBAGE COLLECT
1387.80/1391.76 c #Conflicts: 461000 | #Constraints: 20092
1387.80/1391.76 c #Conflicts: 462000 | #Constraints: 21092
1387.80/1391.76 c #Conflicts: 463000 | #Constraints: 22092
1387.80/1391.76 c #Conflicts: 464000 | #Constraints: 23092
1387.80/1391.76 c #Conflicts: 465000 | #Constraints: 24092
1387.80/1391.76 c #Conflicts: 466000 | #Constraints: 25092
1387.80/1391.76 c #Conflicts: 467000 | #Constraints: 26092
1387.80/1391.76 c #Conflicts: 468000 | #Constraints: 27092
1387.80/1391.76 c #Conflicts: 469000 | #Constraints: 28092
1387.80/1391.76 c #Conflicts: 470000 | #Constraints: 29092
1387.80/1391.76 c #Conflicts: 471000 | #Constraints: 30092
1387.80/1391.76 c #Conflicts: 472000 | #Constraints: 31092
1387.80/1391.76 c #Conflicts: 473000 | #Constraints: 32092
1387.80/1391.76 c #Conflicts: 474000 | #Constraints: 33092
1387.80/1391.76 c INPROCESSING
1387.80/1391.76 c GARBAGE COLLECT
1671.13/1675.93 c #Conflicts: 475000 | #Constraints: 20494
1671.13/1675.93 c #Conflicts: 476000 | #Constraints: 21494
1671.13/1675.93 c #Conflicts: 477000 | #Constraints: 22494
1671.13/1675.93 c #Conflicts: 478000 | #Constraints: 23494
1671.13/1675.93 c #Conflicts: 479000 | #Constraints: 24494
1671.13/1675.93 c #Conflicts: 480000 | #Constraints: 25494
1671.13/1675.93 c #Conflicts: 481000 | #Constraints: 26494
1671.13/1675.93 c #Conflicts: 482000 | #Constraints: 27494
1671.13/1675.93 c #Conflicts: 483000 | #Constraints: 28494
1671.13/1675.93 c #Conflicts: 484000 | #Constraints: 29494
1671.13/1675.93 c #Conflicts: 485000 | #Constraints: 30494
1671.13/1675.93 c #Conflicts: 486000 | #Constraints: 31494
1671.13/1675.93 c #Conflicts: 487000 | #Constraints: 32494
1671.13/1675.93 c #Conflicts: 488000 | #Constraints: 33494
1671.13/1675.93 c INPROCESSING
1671.13/1675.93 c GARBAGE COLLECT
1671.13/1675.93 c #Conflicts: 489000 | #Constraints: 20704
1671.13/1675.93 c #Conflicts: 490000 | #Constraints: 21704
1671.13/1675.93 c #Conflicts: 491000 | #Constraints: 22704
1671.13/1675.93 c #Conflicts: 492000 | #Constraints: 23704
1671.13/1675.93 c #Conflicts: 493000 | #Constraints: 24704
1671.13/1675.93 c #Conflicts: 494000 | #Constraints: 25704
1671.13/1675.93 c #Conflicts: 495000 | #Constraints: 26704
1671.13/1675.93 c #Conflicts: 496000 | #Constraints: 27704
1671.13/1675.93 c #Conflicts: 497000 | #Constraints: 28704
1671.13/1675.93 c #Conflicts: 498000 | #Constraints: 29704
1671.13/1675.93 c #Conflicts: 499000 | #Constraints: 30704
1671.13/1675.93 c #Conflicts: 500000 | #Constraints: 31704
1671.13/1675.93 c #Conflicts: 501000 | #Constraints: 32704
1671.13/1675.93 c #Conflicts: 502000 | #Constraints: 33704
1671.13/1675.93 c INPROCESSING
1671.13/1675.93 c GARBAGE COLLECT
1671.13/1675.93 c #Conflicts: 503000 | #Constraints: 20706
1671.13/1675.93 c #Conflicts: 504000 | #Constraints: 21706
1671.13/1675.93 c #Conflicts: 505000 | #Constraints: 22706
1671.13/1675.93 c #Conflicts: 506000 | #Constraints: 23706
1671.13/1675.93 c #Conflicts: 507000 | #Constraints: 24706
1671.13/1675.93 c #Conflicts: 508000 | #Constraints: 25706
1671.13/1675.93 c #Conflicts: 509000 | #Constraints: 26706
1671.13/1675.93 c #Conflicts: 510000 | #Constraints: 27706
1671.13/1675.93 c #Conflicts: 511000 | #Constraints: 28706
1671.13/1675.93 c #Conflicts: 512000 | #Constraints: 29706
1671.13/1675.93 c #Conflicts: 513000 | #Constraints: 30706
1671.13/1675.93 c #Conflicts: 514000 | #Constraints: 31706
1671.13/1675.93 c #Conflicts: 515000 | #Constraints: 32706
1671.13/1675.93 c #Conflicts: 516000 | #Constraints: 33706
1671.13/1675.93 c INPROCESSING
1671.13/1675.93 c GARBAGE COLLECT
1671.13/1675.93 c #Conflicts: 517000 | #Constraints: 20497
1671.13/1675.93 c #Conflicts: 518000 | #Constraints: 21497
1671.13/1675.93 c #Conflicts: 519000 | #Constraints: 22497
1671.13/1675.93 c #Conflicts: 520000 | #Constraints: 23497
1671.13/1675.93 c #Conflicts: 521000 | #Constraints: 24497
1671.13/1675.93 c #Conflicts: 522000 | #Constraints: 25497
1671.13/1675.93 c #Conflicts: 523000 | #Constraints: 26497
1671.13/1675.93 c #Conflicts: 524000 | #Constraints: 27497
1671.13/1675.93 c #Conflicts: 525000 | #Constraints: 28497
1671.13/1675.93 c #Conflicts: 526000 | #Constraints: 29497
1671.13/1675.93 c #Conflicts: 527000 | #Constraints: 30497
1671.13/1675.93 c #Conflicts: 528000 | #Constraints: 31497
1671.13/1675.93 c #Conflicts: 529000 | #Constraints: 32497
1671.13/1675.93 c #Conflicts: 530000 | #Constraints: 33497
1671.13/1675.93 c #Conflicts: 531000 | #Constraints: 34497
1671.13/1675.93 c INPROCESSING
1671.13/1675.93 c GARBAGE COLLECT
1671.13/1675.93 c #Conflicts: 532000 | #Constraints: 21101
1671.13/1675.93 c #Conflicts: 533000 | #Constraints: 22101
1671.13/1675.93 c #Conflicts: 534000 | #Constraints: 23101
1671.13/1675.93 c #Conflicts: 535000 | #Constraints: 24101
1671.13/1675.93 c #Conflicts: 536000 | #Constraints: 25101
1671.13/1675.93 c #Conflicts: 537000 | #Constraints: 26101
1671.13/1675.93 c #Conflicts: 538000 | #Constraints: 27101
1671.13/1675.93 c #Conflicts: 539000 | #Constraints: 28101
1671.13/1675.93 c #Conflicts: 540000 | #Constraints: 29101
1671.13/1675.93 c #Conflicts: 541000 | #Constraints: 30101
1671.13/1675.93 c #Conflicts: 542000 | #Constraints: 31101
1671.13/1675.93 c #Conflicts: 543000 | #Constraints: 32101
1671.13/1675.93 c #Conflicts: 544000 | #Constraints: 33101
1671.13/1675.93 c #Conflicts: 545000 | #Constraints: 34101
1671.13/1675.93 c #Conflicts: 546000 | #Constraints: 35101
1671.13/1675.93 c INPROCESSING
1671.13/1675.93 c GARBAGE COLLECT
1671.13/1675.93 c #Conflicts: 547000 | #Constraints: 21495
1671.13/1675.93 c #Conflicts: 548000 | #Constraints: 22495
1671.13/1675.93 c #Conflicts: 549000 | #Constraints: 23495
1671.13/1675.93 c #Conflicts: 550000 | #Constraints: 24495
1727.25/1732.29 c #Conflicts: 551000 | #Constraints: 25495
1727.25/1732.29 c #Conflicts: 552000 | #Constraints: 26495
1727.25/1732.29 c #Conflicts: 553000 | #Constraints: 27495
1727.25/1732.29 c #Conflicts: 554000 | #Constraints: 28495
1727.25/1732.29 c #Conflicts: 555000 | #Constraints: 29495
1727.25/1732.29 c #Conflicts: 556000 | #Constraints: 30495
1727.25/1732.29 c #Conflicts: 557000 | #Constraints: 31495
1727.25/1732.29 c #Conflicts: 558000 | #Constraints: 32495
1727.25/1732.29 c #Conflicts: 559000 | #Constraints: 33495
1727.25/1732.29 c #Conflicts: 560000 | #Constraints: 34495
1727.25/1732.29 c #Conflicts: 561000 | #Constraints: 35495
1727.25/1732.29 c INPROCESSING
1727.25/1732.29 c GARBAGE COLLECT
1727.25/1732.29 c GLOBAL bounds - >= -2642 @ 1711.68
1747.49/1752.52 c #Conflicts: 562000 | #Constraints: 21696
1747.49/1752.52 c #Conflicts: 563000 | #Constraints: 22696
1747.49/1752.52 c #Conflicts: 564000 | #Constraints: 23696
1747.49/1752.52 c #Conflicts: 565000 | #Constraints: 24696
1747.49/1752.52 c #Conflicts: 566000 | #Constraints: 25696
1747.49/1752.52 c #Conflicts: 567000 | #Constraints: 26696
1747.49/1752.52 c GLOBAL bounds - >= -2642 @ 1731.74
1801.39/1806.64 c #Conflicts: 568000 | #Constraints: 27698
1801.39/1806.64 c #Conflicts: 569000 | #Constraints: 28698
1801.39/1806.64 c #Conflicts: 570000 | #Constraints: 29698
1801.39/1806.64 c #Conflicts: 571000 | #Constraints: 30698
1801.39/1806.64 c #Conflicts: 572000 | #Constraints: 31698
1801.39/1806.64 c #Conflicts: 573000 | #Constraints: 32698
1801.39/1806.64 c #Conflicts: 574000 | #Constraints: 33698
1801.39/1806.64 c #Conflicts: 575000 | #Constraints: 34698
1801.39/1806.64 c #Conflicts: 576000 | #Constraints: 35698
1801.39/1806.64 c INPROCESSING
1801.39/1806.64 c GARBAGE COLLECT
1801.39/1806.64 c #Conflicts: 577000 | #Constraints: 21665
1801.39/1806.64 c #Conflicts: 578000 | #Constraints: 22665
1801.39/1806.64 c #Conflicts: 579000 | #Constraints: 23665
1801.39/1806.64 c GLOBAL bounds - >= -2642 @ 1785.26
1918.54/1924.19 c #Conflicts: 580000 | #Constraints: 24667
1918.54/1924.19 c #Conflicts: 581000 | #Constraints: 25667
1918.54/1924.19 c #Conflicts: 582000 | #Constraints: 26667
1918.54/1924.19 c #Conflicts: 583000 | #Constraints: 27667
1918.54/1924.19 c #Conflicts: 584000 | #Constraints: 28667
1918.54/1924.19 c #Conflicts: 585000 | #Constraints: 29667
1918.54/1924.19 c #Conflicts: 586000 | #Constraints: 30667
1918.54/1924.19 c #Conflicts: 587000 | #Constraints: 31667
1918.54/1924.19 c #Conflicts: 588000 | #Constraints: 32667
1918.54/1924.19 c #Conflicts: 589000 | #Constraints: 33667
1918.54/1924.19 c #Conflicts: 590000 | #Constraints: 34667
1918.54/1924.19 c #Conflicts: 591000 | #Constraints: 35667
1918.54/1924.19 c INPROCESSING
1918.54/1924.19 c GARBAGE COLLECT
1918.54/1924.19 c #Conflicts: 592000 | #Constraints: 21437
1918.54/1924.19 c #Conflicts: 593000 | #Constraints: 22437
1918.54/1924.19 c #Conflicts: 594000 | #Constraints: 23437
1918.54/1924.19 c #Conflicts: 595000 | #Constraints: 24437
1918.54/1924.19 c #Conflicts: 596000 | #Constraints: 25437
1918.54/1924.19 c #Conflicts: 597000 | #Constraints: 26437
1918.54/1924.19 c #Conflicts: 598000 | #Constraints: 27437
1918.54/1924.19 c #Conflicts: 599000 | #Constraints: 28437
1918.54/1924.19 c #Conflicts: 600000 | #Constraints: 29437
1918.54/1924.19 c #Conflicts: 601000 | #Constraints: 30437
1918.54/1924.19 c #Conflicts: 602000 | #Constraints: 31437
1918.54/1924.19 c #Conflicts: 603000 | #Constraints: 32437
1918.54/1924.19 c #Conflicts: 604000 | #Constraints: 33437
1918.54/1924.19 c #Conflicts: 605000 | #Constraints: 34437
1918.54/1924.19 c #Conflicts: 606000 | #Constraints: 35437
1918.54/1924.19 c #Conflicts: 607000 | #Constraints: 36437
1918.54/1924.19 c INPROCESSING
1918.54/1924.19 c GARBAGE COLLECT
1918.54/1924.19 c #Conflicts: 608000 | #Constraints: 22013
1918.54/1924.19 c #Conflicts: 609000 | #Constraints: 23013
1918.54/1924.19 c #Conflicts: 610000 | #Constraints: 24013
1918.54/1924.19 c #Conflicts: 611000 | #Constraints: 25013
1918.54/1924.19 c #Conflicts: 612000 | #Constraints: 26013
1918.54/1924.19 c #Conflicts: 613000 | #Constraints: 27013
1918.54/1924.19 c #Conflicts: 614000 | #Constraints: 28013
1918.54/1924.19 c #Conflicts: 615000 | #Constraints: 29013
1918.54/1924.19 c #Conflicts: 616000 | #Constraints: 30013
1918.54/1924.19 c GLOBAL bounds - >= -2642 @ 1901.6
2060.19/2066.20 c #Conflicts: 617000 | #Constraints: 31015
2060.19/2066.20 c #Conflicts: 618000 | #Constraints: 32015
2060.19/2066.20 c #Conflicts: 619000 | #Constraints: 33015
2060.19/2066.20 c #Conflicts: 620000 | #Constraints: 34015
2060.19/2066.20 c #Conflicts: 621000 | #Constraints: 35015
2060.19/2066.20 c #Conflicts: 622000 | #Constraints: 36015
2060.19/2066.20 c #Conflicts: 623000 | #Constraints: 37015
2060.19/2066.20 c INPROCESSING
2060.19/2066.20 c GARBAGE COLLECT
2060.19/2066.20 c #Conflicts: 624000 | #Constraints: 22430
2060.19/2066.20 c #Conflicts: 625000 | #Constraints: 23430
2060.19/2066.20 c #Conflicts: 626000 | #Constraints: 24430
2060.19/2066.20 c #Conflicts: 627000 | #Constraints: 25430
2060.19/2066.20 c #Conflicts: 628000 | #Constraints: 26430
2060.19/2066.20 c #Conflicts: 629000 | #Constraints: 27430
2060.19/2066.20 c #Conflicts: 630000 | #Constraints: 28430
2060.19/2066.20 c #Conflicts: 631000 | #Constraints: 29430
2060.19/2066.20 c #Conflicts: 632000 | #Constraints: 30430
2060.19/2066.20 c #Conflicts: 633000 | #Constraints: 31430
2060.19/2066.20 c #Conflicts: 634000 | #Constraints: 32430
2060.19/2066.20 c #Conflicts: 635000 | #Constraints: 33430
2060.19/2066.20 c #Conflicts: 636000 | #Constraints: 34430
2060.19/2066.20 c #Conflicts: 637000 | #Constraints: 35430
2060.19/2066.20 c #Conflicts: 638000 | #Constraints: 36430
2060.19/2066.20 c #Conflicts: 639000 | #Constraints: 37430
2060.19/2066.20 c INPROCESSING
2060.19/2066.20 c GARBAGE COLLECT
2060.19/2066.20 c #Conflicts: 640000 | #Constraints: 22623
2060.19/2066.20 c #Conflicts: 641000 | #Constraints: 23623
2060.19/2066.20 c #Conflicts: 642000 | #Constraints: 24623
2060.19/2066.20 c #Conflicts: 643000 | #Constraints: 25623
2060.19/2066.20 c #Conflicts: 644000 | #Constraints: 26623
2060.19/2066.20 c #Conflicts: 645000 | #Constraints: 27623
2060.19/2066.20 c #Conflicts: 646000 | #Constraints: 28623
2060.19/2066.20 c #Conflicts: 647000 | #Constraints: 29623
2060.19/2066.20 c #Conflicts: 648000 | #Constraints: 30623
2060.19/2066.20 c GLOBAL bounds - >= -2642 @ 2042.12
2294.75/2301.55 c #Conflicts: 649000 | #Constraints: 31625
2294.75/2301.55 c #Conflicts: 650000 | #Constraints: 32625
2294.75/2301.55 c #Conflicts: 651000 | #Constraints: 33625
2294.75/2301.55 c #Conflicts: 652000 | #Constraints: 34625
2294.75/2301.55 c #Conflicts: 653000 | #Constraints: 35625
2294.75/2301.55 c #Conflicts: 654000 | #Constraints: 36625
2294.75/2301.55 c #Conflicts: 655000 | #Constraints: 37625
2294.75/2301.55 c INPROCESSING
2294.75/2301.55 c GARBAGE COLLECT
2294.75/2301.55 c #Conflicts: 656000 | #Constraints: 22651
2294.75/2301.55 c #Conflicts: 657000 | #Constraints: 23651
2294.75/2301.55 c #Conflicts: 658000 | #Constraints: 24651
2294.75/2301.55 c #Conflicts: 659000 | #Constraints: 25651
2294.75/2301.55 c #Conflicts: 660000 | #Constraints: 26651
2294.75/2301.55 c #Conflicts: 661000 | #Constraints: 27651
2294.75/2301.55 c #Conflicts: 662000 | #Constraints: 28651
2294.75/2301.55 c #Conflicts: 663000 | #Constraints: 29651
2294.75/2301.55 c #Conflicts: 664000 | #Constraints: 30651
2294.75/2301.55 c #Conflicts: 665000 | #Constraints: 31651
2294.75/2301.55 c #Conflicts: 666000 | #Constraints: 32651
2294.75/2301.55 c #Conflicts: 667000 | #Constraints: 33651
2294.75/2301.55 c #Conflicts: 668000 | #Constraints: 34651
2294.75/2301.55 c #Conflicts: 669000 | #Constraints: 35651
2294.75/2301.55 c #Conflicts: 670000 | #Constraints: 36651
2294.75/2301.55 c #Conflicts: 671000 | #Constraints: 37651
2294.75/2301.55 c INPROCESSING
2294.75/2301.55 c GARBAGE COLLECT
2294.75/2301.55 c #Conflicts: 672000 | #Constraints: 22421
2294.75/2301.55 c #Conflicts: 673000 | #Constraints: 23421
2294.75/2301.55 c #Conflicts: 674000 | #Constraints: 24421
2294.75/2301.55 c #Conflicts: 675000 | #Constraints: 25421
2294.75/2301.55 c #Conflicts: 676000 | #Constraints: 26421
2294.75/2301.55 c #Conflicts: 677000 | #Constraints: 27421
2294.75/2301.55 c #Conflicts: 678000 | #Constraints: 28421
2294.75/2301.55 c #Conflicts: 679000 | #Constraints: 29421
2294.75/2301.55 c #Conflicts: 680000 | #Constraints: 30421
2294.75/2301.55 c #Conflicts: 681000 | #Constraints: 31421
2294.75/2301.55 c #Conflicts: 682000 | #Constraints: 32421
2294.75/2301.55 c #Conflicts: 683000 | #Constraints: 33421
2294.75/2301.55 c #Conflicts: 684000 | #Constraints: 34421
2294.75/2301.55 c #Conflicts: 685000 | #Constraints: 35421
2294.75/2301.55 c #Conflicts: 686000 | #Constraints: 36421
2294.75/2301.55 c #Conflicts: 687000 | #Constraints: 37421
2294.75/2301.55 c #Conflicts: 688000 | #Constraints: 38421
2294.75/2301.55 c INPROCESSING
2294.75/2301.55 c GARBAGE COLLECT
2294.75/2301.55 c #Conflicts: 689000 | #Constraints: 23020
2294.75/2301.55 c #Conflicts: 690000 | #Constraints: 24020
2294.75/2301.55 c #Conflicts: 691000 | #Constraints: 25020
2294.75/2301.55 c #Conflicts: 692000 | #Constraints: 26020
2294.75/2301.55 c #Conflicts: 693000 | #Constraints: 27020
2294.75/2301.55 c #Conflicts: 694000 | #Constraints: 28020
2294.75/2301.55 c #Conflicts: 695000 | #Constraints: 29020
2294.75/2301.55 c #Conflicts: 696000 | #Constraints: 30020
2294.75/2301.55 c #Conflicts: 697000 | #Constraints: 31020
2294.75/2301.55 c #Conflicts: 698000 | #Constraints: 32020
2294.75/2301.55 c #Conflicts: 699000 | #Constraints: 33020
2294.75/2301.55 c #Conflicts: 700000 | #Constraints: 34020
2294.75/2301.55 c #Conflicts: 701000 | #Constraints: 35020
2294.75/2301.55 c #Conflicts: 702000 | #Constraints: 36020
2294.75/2301.55 c #Conflicts: 703000 | #Constraints: 37020
2294.75/2301.55 c #Conflicts: 704000 | #Constraints: 38020
2294.75/2301.55 c #Conflicts: 705000 | #Constraints: 39020
2294.75/2301.55 c INPROCESSING
2294.75/2301.55 c GARBAGE COLLECT
2294.75/2301.55 c #Conflicts: 706000 | #Constraints: 23399
2294.75/2301.55 c #Conflicts: 707000 | #Constraints: 24399
2294.75/2301.55 c #Conflicts: 708000 | #Constraints: 25399
2294.75/2301.55 c #Conflicts: 709000 | #Constraints: 26399
2294.75/2301.55 c #Conflicts: 710000 | #Constraints: 27399
2294.75/2301.55 c #Conflicts: 711000 | #Constraints: 28399
2294.75/2301.55 c #Conflicts: 712000 | #Constraints: 29399
2294.75/2301.55 c #Conflicts: 713000 | #Constraints: 30399
2294.75/2301.55 c #Conflicts: 714000 | #Constraints: 31399
2294.75/2301.55 c #Conflicts: 715000 | #Constraints: 32399
2294.75/2301.55 c GLOBAL bounds - >= -2642 @ 2275.03
2425.96/2433.13 c #Conflicts: 716000 | #Constraints: 33401
2425.96/2433.13 c #Conflicts: 717000 | #Constraints: 34401
2425.96/2433.13 c #Conflicts: 718000 | #Constraints: 35401
2425.96/2433.13 c #Conflicts: 719000 | #Constraints: 36401
2425.96/2433.13 c #Conflicts: 720000 | #Constraints: 37401
2425.96/2433.13 c #Conflicts: 721000 | #Constraints: 38401
2425.96/2433.13 c #Conflicts: 722000 | #Constraints: 39401
2425.96/2433.13 c INPROCESSING
2425.96/2433.13 c GARBAGE COLLECT
2425.96/2433.13 c #Conflicts: 723000 | #Constraints: 23667
2425.96/2433.13 c #Conflicts: 724000 | #Constraints: 24667
2425.96/2433.13 c #Conflicts: 725000 | #Constraints: 25667
2425.96/2433.13 c #Conflicts: 726000 | #Constraints: 26667
2425.96/2433.13 c #Conflicts: 727000 | #Constraints: 27667
2425.96/2433.13 c #Conflicts: 728000 | #Constraints: 28667
2425.96/2433.13 c #Conflicts: 729000 | #Constraints: 29667
2425.96/2433.13 c #Conflicts: 730000 | #Constraints: 30667
2425.96/2433.13 c #Conflicts: 731000 | #Constraints: 31667
2425.96/2433.13 c #Conflicts: 732000 | #Constraints: 32667
2425.96/2433.13 c #Conflicts: 733000 | #Constraints: 33667
2425.96/2433.13 c #Conflicts: 734000 | #Constraints: 34667
2425.96/2433.13 c #Conflicts: 735000 | #Constraints: 35667
2425.96/2433.13 c #Conflicts: 736000 | #Constraints: 36667
2425.96/2433.13 c #Conflicts: 737000 | #Constraints: 37667
2425.96/2433.13 c #Conflicts: 738000 | #Constraints: 38667
2425.96/2433.13 c #Conflicts: 739000 | #Constraints: 39667
2425.96/2433.13 c INPROCESSING
2425.96/2433.13 c GARBAGE COLLECT
2425.96/2433.13 c #Conflicts: 740000 | #Constraints: 23716
2425.96/2433.13 c #Conflicts: 741000 | #Constraints: 24716
2425.96/2433.13 c #Conflicts: 742000 | #Constraints: 25716
2425.96/2433.13 c #Conflicts: 743000 | #Constraints: 26716
2425.96/2433.13 c #Conflicts: 744000 | #Constraints: 27716
2425.96/2433.13 c #Conflicts: 745000 | #Constraints: 28716
2425.96/2433.13 c #Conflicts: 746000 | #Constraints: 29716
2425.96/2433.13 c #Conflicts: 747000 | #Constraints: 30716
2425.96/2433.13 c #Conflicts: 748000 | #Constraints: 31716
2425.96/2433.13 c #Conflicts: 749000 | #Constraints: 32716
2425.96/2433.13 c GLOBAL bounds - >= -2642 @ 2405.39
2432.53/2439.75 c #Conflicts: 750000 | #Constraints: 33718
2432.53/2439.75 c #Conflicts: 751000 | #Constraints: 34718
2432.53/2439.75 c #Conflicts: 752000 | #Constraints: 35718
2432.53/2439.75 c GLOBAL bounds - >= -2642 @ 2411.95
2608.34/2616.01 c #Conflicts: 753000 | #Constraints: 36720
2608.34/2616.01 c #Conflicts: 754000 | #Constraints: 37720
2608.34/2616.01 c #Conflicts: 755000 | #Constraints: 38720
2608.34/2616.01 c #Conflicts: 756000 | #Constraints: 39720
2608.34/2616.01 c INPROCESSING
2608.34/2616.01 c GARBAGE COLLECT
2608.34/2616.01 c #Conflicts: 757000 | #Constraints: 23490
2608.34/2616.01 c #Conflicts: 758000 | #Constraints: 24490
2608.34/2616.01 c #Conflicts: 759000 | #Constraints: 25490
2608.34/2616.01 c #Conflicts: 760000 | #Constraints: 26490
2608.34/2616.01 c #Conflicts: 761000 | #Constraints: 27490
2608.34/2616.01 c #Conflicts: 762000 | #Constraints: 28490
2608.34/2616.01 c #Conflicts: 763000 | #Constraints: 29490
2608.34/2616.01 c #Conflicts: 764000 | #Constraints: 30490
2608.34/2616.01 c #Conflicts: 765000 | #Constraints: 31490
2608.34/2616.01 c #Conflicts: 766000 | #Constraints: 32490
2608.34/2616.01 c #Conflicts: 767000 | #Constraints: 33490
2608.34/2616.01 c #Conflicts: 768000 | #Constraints: 34490
2608.34/2616.01 c #Conflicts: 769000 | #Constraints: 35490
2608.34/2616.01 c #Conflicts: 770000 | #Constraints: 36490
2608.34/2616.01 c #Conflicts: 771000 | #Constraints: 37490
2608.34/2616.01 c #Conflicts: 772000 | #Constraints: 38490
2608.34/2616.01 c #Conflicts: 773000 | #Constraints: 39490
2608.34/2616.01 c #Conflicts: 774000 | #Constraints: 40490
2608.34/2616.01 c INPROCESSING
2608.34/2616.01 c GARBAGE COLLECT
2608.34/2616.01 c #Conflicts: 775000 | #Constraints: 24059
2608.34/2616.01 c #Conflicts: 776000 | #Constraints: 25059
2608.34/2616.01 c #Conflicts: 777000 | #Constraints: 26059
2608.34/2616.01 c #Conflicts: 778000 | #Constraints: 27059
2608.34/2616.01 c #Conflicts: 779000 | #Constraints: 28059
2608.34/2616.01 c #Conflicts: 780000 | #Constraints: 29059
2608.34/2616.01 c #Conflicts: 781000 | #Constraints: 30059
2608.34/2616.01 c #Conflicts: 782000 | #Constraints: 31059
2608.34/2616.01 c #Conflicts: 783000 | #Constraints: 32059
2608.34/2616.01 c #Conflicts: 784000 | #Constraints: 33059
2608.34/2616.01 c #Conflicts: 785000 | #Constraints: 34059
2608.34/2616.01 c #Conflicts: 786000 | #Constraints: 35059
2608.34/2616.01 c #Conflicts: 787000 | #Constraints: 36059
2608.34/2616.01 c #Conflicts: 788000 | #Constraints: 37059
2608.34/2616.01 c #Conflicts: 789000 | #Constraints: 38059
2608.34/2616.01 c #Conflicts: 790000 | #Constraints: 39059
2608.34/2616.01 c #Conflicts: 791000 | #Constraints: 40059
2608.34/2616.01 c #Conflicts: 792000 | #Constraints: 41059
2608.34/2616.01 c INPROCESSING
2608.34/2616.01 c GARBAGE COLLECT
2608.34/2616.01 c #Conflicts: 793000 | #Constraints: 24450
2608.34/2616.01 c #Conflicts: 794000 | #Constraints: 25450
2608.34/2616.01 c #Conflicts: 795000 | #Constraints: 26450
2608.34/2616.01 c #Conflicts: 796000 | #Constraints: 27450
2608.34/2616.01 c #Conflicts: 797000 | #Constraints: 28450
2608.34/2616.01 c #Conflicts: 798000 | #Constraints: 29450
2608.34/2616.01 c #Conflicts: 799000 | #Constraints: 30450
2608.34/2616.01 c GLOBAL bounds - >= -2642 @ 2586.61
2900.25/2908.73 c #Conflicts: 800000 | #Constraints: 31452
2900.25/2908.73 c #Conflicts: 801000 | #Constraints: 32452
2900.25/2908.73 c #Conflicts: 802000 | #Constraints: 33452
2900.25/2908.73 c #Conflicts: 803000 | #Constraints: 34452
2900.25/2908.73 c #Conflicts: 804000 | #Constraints: 35452
2900.25/2908.73 c #Conflicts: 805000 | #Constraints: 36452
2900.25/2908.73 c #Conflicts: 806000 | #Constraints: 37452
2900.25/2908.73 c #Conflicts: 807000 | #Constraints: 38452
2900.25/2908.73 c #Conflicts: 808000 | #Constraints: 39452
2900.25/2908.73 c #Conflicts: 809000 | #Constraints: 40452
2900.25/2908.73 c #Conflicts: 810000 | #Constraints: 41452
2900.25/2908.73 c INPROCESSING
2900.25/2908.73 c GARBAGE COLLECT
2900.25/2908.73 c #Conflicts: 811000 | #Constraints: 24657
2900.25/2908.73 c #Conflicts: 812000 | #Constraints: 25657
2900.25/2908.73 c #Conflicts: 813000 | #Constraints: 26657
2900.25/2908.73 c #Conflicts: 814000 | #Constraints: 27657
2900.25/2908.73 c #Conflicts: 815000 | #Constraints: 28657
2900.25/2908.73 c #Conflicts: 816000 | #Constraints: 29657
2900.25/2908.73 c #Conflicts: 817000 | #Constraints: 30657
2900.25/2908.73 c #Conflicts: 818000 | #Constraints: 31657
2900.25/2908.73 c #Conflicts: 819000 | #Constraints: 32657
2900.25/2908.73 c #Conflicts: 820000 | #Constraints: 33657
2900.25/2908.73 c #Conflicts: 821000 | #Constraints: 34657
2900.25/2908.73 c #Conflicts: 822000 | #Constraints: 35657
2900.25/2908.73 c #Conflicts: 823000 | #Constraints: 36657
2900.25/2908.73 c #Conflicts: 824000 | #Constraints: 37657
2900.25/2908.73 c #Conflicts: 825000 | #Constraints: 38657
2900.25/2908.73 c #Conflicts: 826000 | #Constraints: 39657
2900.25/2908.73 c #Conflicts: 827000 | #Constraints: 40657
2900.25/2908.73 c #Conflicts: 828000 | #Constraints: 41657
2900.25/2908.73 c INPROCESSING
2900.25/2908.73 c GARBAGE COLLECT
2900.25/2908.73 c #Conflicts: 829000 | #Constraints: 24671
2900.25/2908.73 c #Conflicts: 830000 | #Constraints: 25671
2900.25/2908.73 c #Conflicts: 831000 | #Constraints: 26671
2900.25/2908.73 c #Conflicts: 832000 | #Constraints: 27671
2900.25/2908.73 c #Conflicts: 833000 | #Constraints: 28671
2900.25/2908.73 c #Conflicts: 834000 | #Constraints: 29671
2900.25/2908.73 c #Conflicts: 835000 | #Constraints: 30671
2900.25/2908.73 c #Conflicts: 836000 | #Constraints: 31671
2900.25/2908.73 c #Conflicts: 837000 | #Constraints: 32671
2900.25/2908.73 c #Conflicts: 838000 | #Constraints: 33671
2900.25/2908.73 c #Conflicts: 839000 | #Constraints: 34671
2900.25/2908.73 c #Conflicts: 840000 | #Constraints: 35671
2900.25/2908.73 c #Conflicts: 841000 | #Constraints: 36671
2900.25/2908.73 c #Conflicts: 842000 | #Constraints: 37671
2900.25/2908.73 c #Conflicts: 843000 | #Constraints: 38671
2900.25/2908.73 c #Conflicts: 844000 | #Constraints: 39671
2900.25/2908.73 c #Conflicts: 845000 | #Constraints: 40671
2900.25/2908.73 c #Conflicts: 846000 | #Constraints: 41671
2900.25/2908.73 c INPROCESSING
2900.25/2908.73 c GARBAGE COLLECT
2900.25/2908.73 c #Conflicts: 847000 | #Constraints: 24468
2900.25/2908.73 c #Conflicts: 848000 | #Constraints: 25468
2900.25/2908.73 c #Conflicts: 849000 | #Constraints: 26468
2900.25/2908.73 c #Conflicts: 850000 | #Constraints: 27468
2900.25/2908.73 c #Conflicts: 851000 | #Constraints: 28468
2900.25/2908.73 c #Conflicts: 852000 | #Constraints: 29468
2900.25/2908.73 c #Conflicts: 853000 | #Constraints: 30468
2900.25/2908.73 c #Conflicts: 854000 | #Constraints: 31468
2900.25/2908.73 c #Conflicts: 855000 | #Constraints: 32468
2900.25/2908.73 c #Conflicts: 856000 | #Constraints: 33468
2900.25/2908.73 c #Conflicts: 857000 | #Constraints: 34468
2900.25/2908.73 c #Conflicts: 858000 | #Constraints: 35468
2900.25/2908.73 c #Conflicts: 859000 | #Constraints: 36468
2900.25/2908.73 c #Conflicts: 860000 | #Constraints: 37468
2900.25/2908.73 c #Conflicts: 861000 | #Constraints: 38468
2900.25/2908.73 c #Conflicts: 862000 | #Constraints: 39468
2900.25/2908.73 c #Conflicts: 863000 | #Constraints: 40468
2900.25/2908.73 c #Conflicts: 864000 | #Constraints: 41468
2900.25/2908.73 c #Conflicts: 865000 | #Constraints: 42468
2900.25/2908.73 c INPROCESSING
2900.25/2908.73 c GARBAGE COLLECT
2900.25/2908.73 c #Conflicts: 866000 | #Constraints: 25079
2900.25/2908.73 c #Conflicts: 867000 | #Constraints: 26079
2900.25/2908.73 c #Conflicts: 868000 | #Constraints: 27079
2900.25/2908.73 c #Conflicts: 869000 | #Constraints: 28079
2900.25/2908.73 c #Conflicts: 870000 | #Constraints: 29079
2900.25/2908.73 c #Conflicts: 871000 | #Constraints: 30079
2900.25/2908.73 c #Conflicts: 872000 | #Constraints: 31079
2900.25/2908.73 c #Conflicts: 873000 | #Constraints: 32079
2900.25/2908.73 c #Conflicts: 874000 | #Constraints: 33079
2900.25/2908.73 c #Conflicts: 875000 | #Constraints: 34079
2900.25/2908.73 c #Conflicts: 876000 | #Constraints: 35079
3139.18/3148.34 c #Conflicts: 877000 | #Constraints: 36079
3139.18/3148.34 c #Conflicts: 878000 | #Constraints: 37079
3139.18/3148.34 c #Conflicts: 879000 | #Constraints: 38079
3139.18/3148.34 c #Conflicts: 880000 | #Constraints: 39079
3139.18/3148.34 c #Conflicts: 881000 | #Constraints: 40079
3139.18/3148.34 c #Conflicts: 882000 | #Constraints: 41079
3139.18/3148.34 c #Conflicts: 883000 | #Constraints: 42079
3139.18/3148.34 c #Conflicts: 884000 | #Constraints: 43079
3139.18/3148.34 c INPROCESSING
3139.18/3148.34 c GARBAGE COLLECT
3139.18/3148.34 c #Conflicts: 885000 | #Constraints: 25469
3139.18/3148.34 c #Conflicts: 886000 | #Constraints: 26469
3139.18/3148.34 c #Conflicts: 887000 | #Constraints: 27469
3139.18/3148.34 c #Conflicts: 888000 | #Constraints: 28469
3139.18/3148.34 c #Conflicts: 889000 | #Constraints: 29469
3139.18/3148.34 c #Conflicts: 890000 | #Constraints: 30469
3139.18/3148.34 c #Conflicts: 891000 | #Constraints: 31469
3139.18/3148.34 c #Conflicts: 892000 | #Constraints: 32469
3139.18/3148.34 c #Conflicts: 893000 | #Constraints: 33469
3139.18/3148.34 c #Conflicts: 894000 | #Constraints: 34469
3139.18/3148.34 c #Conflicts: 895000 | #Constraints: 35469
3139.18/3148.34 c #Conflicts: 896000 | #Constraints: 36469
3139.18/3148.34 c #Conflicts: 897000 | #Constraints: 37469
3139.18/3148.34 c #Conflicts: 898000 | #Constraints: 38469
3139.18/3148.34 c #Conflicts: 899000 | #Constraints: 39469
3139.18/3148.34 c #Conflicts: 900000 | #Constraints: 40469
3139.18/3148.34 c #Conflicts: 901000 | #Constraints: 41469
3139.18/3148.34 c #Conflicts: 902000 | #Constraints: 42469
3139.18/3148.34 c #Conflicts: 903000 | #Constraints: 43469
3139.18/3148.34 c INPROCESSING
3139.18/3148.34 c GARBAGE COLLECT
3139.18/3148.34 c #Conflicts: 904000 | #Constraints: 25663
3139.18/3148.34 c #Conflicts: 905000 | #Constraints: 26663
3139.18/3148.34 c #Conflicts: 906000 | #Constraints: 27663
3139.18/3148.34 c #Conflicts: 907000 | #Constraints: 28663
3139.18/3148.34 c #Conflicts: 908000 | #Constraints: 29663
3139.18/3148.34 c #Conflicts: 909000 | #Constraints: 30663
3139.18/3148.34 c #Conflicts: 910000 | #Constraints: 31663
3139.18/3148.34 c #Conflicts: 911000 | #Constraints: 32663
3139.18/3148.34 c #Conflicts: 912000 | #Constraints: 33663
3139.18/3148.34 c #Conflicts: 913000 | #Constraints: 34663
3139.18/3148.34 c #Conflicts: 914000 | #Constraints: 35663
3139.18/3148.34 c #Conflicts: 915000 | #Constraints: 36663
3139.18/3148.34 c #Conflicts: 916000 | #Constraints: 37663
3139.18/3148.34 c #Conflicts: 917000 | #Constraints: 38663
3139.18/3148.34 c #Conflicts: 918000 | #Constraints: 39663
3139.18/3148.34 c #Conflicts: 919000 | #Constraints: 40663
3139.18/3148.34 c #Conflicts: 920000 | #Constraints: 41663
3139.18/3148.34 c #Conflicts: 921000 | #Constraints: 42663
3139.18/3148.34 c #Conflicts: 922000 | #Constraints: 43663
3139.18/3148.34 c INPROCESSING
3139.18/3148.34 c GARBAGE COLLECT
3139.18/3148.34 c #Conflicts: 923000 | #Constraints: 25653
3139.18/3148.34 c #Conflicts: 924000 | #Constraints: 26653
3139.18/3148.34 c #Conflicts: 925000 | #Constraints: 27653
3139.18/3148.34 c #Conflicts: 926000 | #Constraints: 28653
3139.18/3148.34 c #Conflicts: 927000 | #Constraints: 29653
3139.18/3148.34 c #Conflicts: 928000 | #Constraints: 30653
3139.18/3148.34 c #Conflicts: 929000 | #Constraints: 31653
3139.18/3148.34 c #Conflicts: 930000 | #Constraints: 32653
3139.18/3148.34 c GLOBAL bounds - >= -2642 @ 3114.17
3165.82/3175.02 c #Conflicts: 931000 | #Constraints: 33655
3165.82/3175.02 c #Conflicts: 932000 | #Constraints: 34655
3165.82/3175.02 c #Conflicts: 933000 | #Constraints: 35655
3165.82/3175.02 c #Conflicts: 934000 | #Constraints: 36655
3165.82/3175.02 c #Conflicts: 935000 | #Constraints: 37655
3165.82/3175.02 c #Conflicts: 936000 | #Constraints: 38655
3165.82/3175.02 c #Conflicts: 937000 | #Constraints: 39655
3165.82/3175.02 c #Conflicts: 938000 | #Constraints: 40655
3165.82/3175.02 c #Conflicts: 939000 | #Constraints: 41655
3165.82/3175.02 c #Conflicts: 940000 | #Constraints: 42655
3165.82/3175.02 c #Conflicts: 941000 | #Constraints: 43655
3165.82/3175.02 c INPROCESSING
3165.82/3175.02 c GARBAGE COLLECT
3165.82/3175.02 c GLOBAL bounds - >= -2642 @ 3140.54
3171.80/3181.07 c #Conflicts: 942000 | #Constraints: 25450
3171.80/3181.07 c #Conflicts: 943000 | #Constraints: 26450
3171.80/3181.07 c #Conflicts: 944000 | #Constraints: 27450
3171.80/3181.07 c GLOBAL bounds - >= -2642 @ 3146.53
3449.25/3459.25 c #Conflicts: 945000 | #Constraints: 28452
3449.25/3459.25 c #Conflicts: 946000 | #Constraints: 29452
3449.25/3459.25 c #Conflicts: 947000 | #Constraints: 30452
3449.25/3459.25 c #Conflicts: 948000 | #Constraints: 31452
3449.25/3459.25 c #Conflicts: 949000 | #Constraints: 32452
3449.25/3459.25 c #Conflicts: 950000 | #Constraints: 33452
3449.25/3459.25 c #Conflicts: 951000 | #Constraints: 34452
3449.25/3459.25 c #Conflicts: 952000 | #Constraints: 35452
3449.25/3459.25 c #Conflicts: 953000 | #Constraints: 36452
3449.25/3459.25 c #Conflicts: 954000 | #Constraints: 37452
3449.25/3459.25 c #Conflicts: 955000 | #Constraints: 38452
3449.25/3459.25 c #Conflicts: 956000 | #Constraints: 39452
3449.25/3459.25 c #Conflicts: 957000 | #Constraints: 40452
3449.25/3459.25 c #Conflicts: 958000 | #Constraints: 41452
3449.25/3459.25 c #Conflicts: 959000 | #Constraints: 42452
3449.25/3459.25 c #Conflicts: 960000 | #Constraints: 43452
3449.25/3459.25 c #Conflicts: 961000 | #Constraints: 44452
3449.25/3459.25 c INPROCESSING
3449.25/3459.25 c GARBAGE COLLECT
3449.25/3459.25 c #Conflicts: 962000 | #Constraints: 26078
3449.25/3459.25 c #Conflicts: 963000 | #Constraints: 27078
3449.25/3459.25 c #Conflicts: 964000 | #Constraints: 28078
3449.25/3459.25 c #Conflicts: 965000 | #Constraints: 29078
3449.25/3459.25 c #Conflicts: 966000 | #Constraints: 30078
3449.25/3459.25 c #Conflicts: 967000 | #Constraints: 31078
3449.25/3459.25 c #Conflicts: 968000 | #Constraints: 32078
3449.25/3459.25 c #Conflicts: 969000 | #Constraints: 33078
3449.25/3459.25 c #Conflicts: 970000 | #Constraints: 34078
3449.25/3459.25 c #Conflicts: 971000 | #Constraints: 35078
3449.25/3459.25 c #Conflicts: 972000 | #Constraints: 36078
3449.25/3459.25 c #Conflicts: 973000 | #Constraints: 37078
3449.25/3459.25 c #Conflicts: 974000 | #Constraints: 38078
3449.25/3459.25 c #Conflicts: 975000 | #Constraints: 39078
3449.25/3459.25 c #Conflicts: 976000 | #Constraints: 40078
3449.25/3459.25 c #Conflicts: 977000 | #Constraints: 41078
3449.25/3459.25 c #Conflicts: 978000 | #Constraints: 42078
3449.25/3459.25 c #Conflicts: 979000 | #Constraints: 43078
3449.25/3459.25 c #Conflicts: 980000 | #Constraints: 44078
3449.25/3459.25 c #Conflicts: 981000 | #Constraints: 45078
3449.25/3459.25 c INPROCESSING
3449.25/3459.25 c GARBAGE COLLECT
3449.25/3459.25 c #Conflicts: 982000 | #Constraints: 26485
3449.25/3459.25 c #Conflicts: 983000 | #Constraints: 27485
3449.25/3459.25 c #Conflicts: 984000 | #Constraints: 28485
3449.25/3459.25 c #Conflicts: 985000 | #Constraints: 29485
3449.25/3459.25 c #Conflicts: 986000 | #Constraints: 30485
3449.25/3459.25 c #Conflicts: 987000 | #Constraints: 31485
3449.25/3459.25 c #Conflicts: 988000 | #Constraints: 32485
3449.25/3459.25 c #Conflicts: 989000 | #Constraints: 33485
3449.25/3459.25 c #Conflicts: 990000 | #Constraints: 34485
3449.25/3459.25 c #Conflicts: 991000 | #Constraints: 35485
3449.25/3459.25 c #Conflicts: 992000 | #Constraints: 36485
3449.25/3459.25 c #Conflicts: 993000 | #Constraints: 37485
3449.25/3459.25 c #Conflicts: 994000 | #Constraints: 38485
3449.25/3459.25 c #Conflicts: 995000 | #Constraints: 39485
3449.25/3459.25 c #Conflicts: 996000 | #Constraints: 40485
3449.25/3459.25 c #Conflicts: 997000 | #Constraints: 41485
3449.25/3459.25 c #Conflicts: 998000 | #Constraints: 42485
3449.25/3459.25 c #Conflicts: 999000 | #Constraints: 43485
3449.25/3459.25 c #Conflicts: 1000000 | #Constraints: 44485
3449.25/3459.25 c #Conflicts: 1001000 | #Constraints: 45485
3449.25/3459.25 c INPROCESSING
3449.25/3459.25 c GARBAGE COLLECT
3449.25/3459.25 c #Conflicts: 1002000 | #Constraints: 26682
3449.25/3459.25 c #Conflicts: 1003000 | #Constraints: 27682
3449.25/3459.25 c #Conflicts: 1004000 | #Constraints: 28682
3449.25/3459.25 c #Conflicts: 1005000 | #Constraints: 29682
3449.25/3459.25 c #Conflicts: 1006000 | #Constraints: 30682
3449.25/3459.25 c #Conflicts: 1007000 | #Constraints: 31682
3449.25/3459.25 c #Conflicts: 1008000 | #Constraints: 32682
3449.25/3459.25 c #Conflicts: 1009000 | #Constraints: 33682
3449.25/3459.25 c #Conflicts: 1010000 | #Constraints: 34682
3449.25/3459.25 c #Conflicts: 1011000 | #Constraints: 35682
3449.25/3459.25 c #Conflicts: 1012000 | #Constraints: 36682
3449.25/3459.25 c #Conflicts: 1013000 | #Constraints: 37682
3449.25/3459.25 c #Conflicts: 1014000 | #Constraints: 38682
3449.25/3459.25 c #Conflicts: 1015000 | #Constraints: 39682
3449.25/3459.25 c #Conflicts: 1016000 | #Constraints: 40682
3449.25/3459.25 c #Conflicts: 1017000 | #Constraints: 41682
3449.25/3459.25 c #Conflicts: 1018000 | #Constraints: 42682
3449.25/3459.25 c #Conflicts: 1019000 | #Constraints: 43682
3449.25/3459.25 c #Conflicts: 1020000 | #Constraints: 44682
3449.25/3459.25 c #Conflicts: 1021000 | #Constraints: 45682
3600.04/3610.40 c INPROCESSING
3600.04/3610.40 c GARBAGE COLLECT
3600.04/3610.40 c #Conflicts: 1022000 | #Constraints: 26683
3600.04/3610.40 c #Conflicts: 1023000 | #Constraints: 27683
3600.04/3610.40 c #Conflicts: 1024000 | #Constraints: 28683
3600.04/3610.40 c #Conflicts: 1025000 | #Constraints: 29683
3600.04/3610.40 c #Conflicts: 1026000 | #Constraints: 30683
3600.04/3610.40 c #Conflicts: 1027000 | #Constraints: 31683
3600.04/3610.40 c #Conflicts: 1028000 | #Constraints: 32683
3600.04/3610.40 c #Conflicts: 1029000 | #Constraints: 33683
3600.04/3610.40 c #Conflicts: 1030000 | #Constraints: 34683
3600.04/3610.40 c #Conflicts: 1031000 | #Constraints: 35683
3600.04/3610.40 c #Conflicts: 1032000 | #Constraints: 36683
3600.04/3610.40 c #Conflicts: 1033000 | #Constraints: 37683
3600.04/3610.40 c #Conflicts: 1034000 | #Constraints: 38683
3600.04/3610.40 c #Conflicts: 1035000 | #Constraints: 39683
3600.04/3610.40 c #Conflicts: 1036000 | #Constraints: 40683
3600.04/3610.40 c #Conflicts: 1037000 | #Constraints: 41683
3600.04/3610.40 c #Conflicts: 1038000 | #Constraints: 42683
3600.04/3610.40 c #Conflicts: 1039000 | #Constraints: 43683
3600.04/3610.40 c #Conflicts: 1040000 | #Constraints: 44683
3600.04/3610.40 c #Conflicts: 1041000 | #Constraints: 45683
3600.04/3610.40 c INPROCESSING
3600.04/3610.40 c GARBAGE COLLECT
3600.04/3610.40 c #Conflicts: 1042000 | #Constraints: 26483
3600.04/3610.40 c #Conflicts: 1043000 | #Constraints: 27483
3600.04/3610.40 c #Conflicts: 1044000 | #Constraints: 28483
3600.04/3610.40 c #Conflicts: 1045000 | #Constraints: 29483
3600.04/3610.40 c #Conflicts: 1046000 | #Constraints: 30483
3600.04/3610.40 c #Conflicts: 1047000 | #Constraints: 31483
3600.04/3610.40 c #Conflicts: 1048000 | #Constraints: 32483
3600.04/3610.40 c #Conflicts: 1049000 | #Constraints: 33483
3600.04/3610.40 c #Conflicts: 1050000 | #Constraints: 34483
3600.04/3610.40 c #Conflicts: 1051000 | #Constraints: 35483
3600.04/3610.40 c #Conflicts: 1052000 | #Constraints: 36483
3600.04/3610.40 c #Conflicts: 1053000 | #Constraints: 37483
3600.04/3610.40 c #Conflicts: 1054000 | #Constraints: 38483
3600.04/3610.40 c #Conflicts: 1055000 | #Constraints: 39483
3600.04/3610.40 c #Conflicts: 1056000 | #Constraints: 40483
3600.04/3610.40 c #Conflicts: 1057000 | #Constraints: 41483
3600.04/3610.40 c #Conflicts: 1058000 | #Constraints: 42483
3600.04/3610.40 c #Conflicts: 1059000 | #Constraints: 43483
3600.04/3610.40 c #Conflicts: 1060000 | #Constraints: 44483
3600.04/3610.40 c #Conflicts: 1061000 | #Constraints: 45483
3600.04/3610.40 c #Conflicts: 1062000 | #Constraints: 46483
3600.04/3610.40 c INPROCESSING
3600.04/3610.40 c GARBAGE COLLECT
3600.04/3610.40 c #Conflicts: 1063000 | #Constraints: 27078
3600.04/3610.40 c #Conflicts: 1064000 | #Constraints: 28078
3600.04/3610.40 c #Conflicts: 1065000 | #Constraints: 29078
3600.04/3610.40 c #Conflicts: 1066000 | #Constraints: 30078
3600.04/3610.40 c #Conflicts: 1067000 | #Constraints: 31078
3600.04/3610.40 c #Conflicts: 1068000 | #Constraints: 32078
3600.04/3610.40 c #Conflicts: 1069000 | #Constraints: 33078
3600.04/3610.40 c cpu time 3571.7 s
3600.04/3610.40 c deterministic time 2 2.00e+00
3600.04/3610.40 c optimization time 3571.68 s
3600.04/3610.40 c total solve time 0 s
3600.04/3610.40 c core-guided solve time 0 s
3600.04/3610.40 c propagation time 0.001882 s
3600.04/3610.40 c conflict analysis time 0 s
3600.04/3610.40 c propagations 1
3600.04/3610.40 c resolve steps 0
3600.04/3610.40 c decisions 0
3600.04/3610.40 c conflicts 0
3600.04/3610.40 c restarts 0
3600.04/3610.40 c inprocessing phases 0
3600.04/3610.40 c garbage collections 0 ,( -nan )
3600.04/3610.40 c input clauses 4396 ,( 83.26 )
3600.04/3610.40 c input cardinalities 884 ,( 16.74 )
3600.04/3610.40 c input general constraints 0 ,( 0.00 )
3600.04/3610.40 c input average constraint length 3.68
3600.04/3610.40 c input average constraint degree 1.33
3600.04/3610.40 c learned clauses 0 ,( 0.00 )
3600.04/3610.40 c learned cardinalities 0 ,( 0.00 )
3600.04/3610.40 c learned general constraints 0 ,( 0.00 )
3600.04/3610.40 c learned average constraint length 0.00
3600.04/3610.40 c learned average constraint degree 0.00
3600.04/3610.40 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.04/3610.40 c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.04/3610.40 c watched constraints 0 ,( -nan )
3600.04/3610.40 c counting constraints 0 ,( -nan )
3600.04/3610.40 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.04/3610.40 c gcd simplifications 0
3600.04/3610.40 c detected cardinalities 0
3600.04/3610.40 c weakened non-implied lits 0
3600.04/3610.40 c weakened non-implying lits 0
3600.04/3610.40 c original variables 4617
3600.04/3610.40 c clausal propagations 0
3600.04/3610.40 c cardinality propagations 0
3600.04/3610.40 c watched propagations 0
3600.04/3610.40 c counting propagations 0
3600.04/3610.40 c watch lookups 0
3600.04/3610.40 c watch backjump lookups 0
3600.04/3610.40 c watch checks 0
3600.04/3610.40 c propagation checks 0
3600.04/3610.40 c constraint additions 0
3600.04/3610.40 c trail pops 0
3600.04/3610.40 c formula constraints 5280
3600.04/3610.40 c learned constraints 0
3600.04/3610.40 c bound constraints 0
3600.04/3610.40 c core-guided constraints 0
3600.04/3610.40 c encountered formula constraints 0
3600.04/3610.40 c encountered learned constraints 0
3600.04/3610.40 c encountered bound constraints 0
3600.04/3610.40 c encountered core-guided constraints 0
3600.04/3610.40 c LP total time 0 s
3600.04/3610.40 c LP solve time 0 s
3600.04/3610.40 c LP constraints added 0
3600.04/3610.40 c LP constraints removed 0
3600.04/3610.40 c LP pivots internal 0
3600.04/3610.40 c LP pivots root 0
3600.04/3610.40 c LP calls 0
3600.04/3610.40 c LP optimalities 0
3600.04/3610.40 c LP no pivot count 0
3600.04/3610.40 c LP infeasibilities 0
3600.04/3610.40 c LP valid Farkas constraints 0
3600.04/3610.40 c LP learned Farkas constraints 0
3600.04/3610.40 c LP basis resets 0
3600.04/3610.40 c LP cycling count 0
3600.04/3610.40 c LP singular count 0
3600.04/3610.40 c LP no primal count 0
3600.04/3610.40 c LP no farkas count 0
3600.04/3610.40 c LP other issue count 0
3600.04/3610.40 c LP Gomory cuts 0
3600.04/3610.40 c LP learned cuts 0
3600.04/3610.40 c LP deleted cuts 0
3600.04/3610.40 c LP encountered Gomory constraints 0
3600.04/3610.40 c LP encountered Farkas constraints 0
3600.04/3610.40 c LP encountered learned Farkas constraints 0
3600.04/3610.40 c CG auxiliary variables introduced 0
3600.04/3610.40 c CG solutions found 0
3600.04/3610.40 c CG cores constructed 0
3600.04/3610.40 c CG core cardinality constraints returned 0
3600.04/3610.40 c CG unit cores 0
3600.04/3610.40 c CG single cores 0
3600.04/3610.40 c CG blocks removed during cardinality reduction 0
3600.04/3610.40 c CG first core best 0
3600.04/3610.40 c CG decision core best 0
3600.04/3610.40 c CG core reduction tie 0
3600.04/3610.40 c CG core degree average 0.00
3600.04/3610.40 c CG core slack average 0.00
3600.04/3610.40 c CG core upper bound improvements 0
3600.04/3610.40 c STR number of successful calls 0
3600.04/3610.40 c STR number of unsuccessful calls 0
3600.04/3610.40 c STR number of inconclusive calls 0
3600.04/3610.40 c STR number of successful attempts 0
3600.04/3610.40 c STR number of unsuccessful attempts 0
3600.04/3610.40 c STR number of inconclusive attempts 0
3600.04/3610.40 c STR average degree increase per successful call inf
3600.04/3610.40 c STR average degree increase per successful attempt inf
3600.04/3610.40 c STR total number of conflicts for successful attempts 0
3600.04/3610.40 c STR total number of conflicts for unsuccessful attempts 0
3600.04/3610.40 c STR total number of conflicts for inconclusive attempts 0
3600.04/3610.40 c STR average number of conflicts per successful attempt inf
3600.04/3610.40 c STR average number of conflicts per unsuccessful attempt inf
3600.04/3610.40 c STR average number of conflicts per inconclusive attempt inf
3600.04/3610.40 c AVG.sumWPerc -nan
3600.04/3610.40 c bigint constraints 0
3600.04/3610.40 s UNKNOWN
3600.04/3610.40 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: 63708 MiB (52766 MiB free)
memory of node 1: 64465 MiB (51053 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4484401-1751288546/watcher-4484401-1751288546 -o /tmp/evaluation-result-4484401-1751288546/solver-4484401-1751288546 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751280113-39699 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4484401-1751288546.opb PROOFDIR/proof-4484401-1751288546
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=40764, runsolver pid=40761
[startup+0.100068 s]*
/proc/loadavg: 4.00 4.12 4.09 5/276 40766
/proc/meminfo: memFree=106299268/131250000 swapFree=33010684/33010684
[pid=40764] ppid=40761 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/40764/stat : 40764 (run-opt-log.sh) S 40761 40764 39688 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 44531186 4292608 736 18446744073709551615 94768466165760 94768467060293 140730195428304 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94768467299344 94768467347088 94768479997952 140730195433761 140730195433956 140730195433956 140730195439558 0
/proc/40764/statm: 1048 736 672 219 0 110 0
[pid=40766] ppid=40764 vsize=71392 memory=23296 CPUtime=0.07 cores=4,6
/proc/40766/stat : 40766 (roundingsat) R 40764 40764 39688 0 -1 4194304 3892 0 0 0 6 1 0 0 20 0 1 0 44531186 73105408 5824 18446744073709551615 4227072 8923433 140723045970000 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 41385984 140723045972306 140723045972520 140723045972520 140723045978090 0
/proc/40766/statm: 17848 5824 2304 1147 0 5275 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 75584 KiB
Current children cumulated memory: 26240 KiB
[startup+0.205965 s]*
/proc/loadavg: 4.00 4.12 4.09 5/276 40766
/proc/meminfo: memFree=106299268/131250000 swapFree=33010684/33010684
[pid=40764] ppid=40761 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/40764/stat : 40764 (run-opt-log.sh) S 40761 40764 39688 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 44531186 4292608 736 18446744073709551615 94768466165760 94768467060293 140730195428304 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94768467299344 94768467347088 94768479997952 140730195433761 140730195433956 140730195433956 140730195439558 0
/proc/40764/statm: 1048 736 672 219 0 110 0
[pid=40766] ppid=40764 vsize=72868 memory=25728 CPUtime=0.18 cores=4,6
/proc/40766/stat : 40766 (roundingsat) R 40764 40764 39688 0 -1 4194304 4470 0 0 0 16 2 0 0 20 0 1 0 44531186 74616832 6432 18446744073709551615 4227072 8923433 140723045970000 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 41385984 140723045972306 140723045972520 140723045972520 140723045978090 0
/proc/40766/statm: 18217 6432 2304 1147 0 5644 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 77060 KiB
Current children cumulated memory: 28672 KiB
[startup+0.305894 s]*
/proc/loadavg: 4.00 4.12 4.09 5/276 40766
/proc/meminfo: memFree=106294920/131250000 swapFree=33010684/33010684
[pid=40764] ppid=40761 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/40764/stat : 40764 (run-opt-log.sh) S 40761 40764 39688 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 44531186 4292608 736 18446744073709551615 94768466165760 94768467060293 140730195428304 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94768467299344 94768467347088 94768479997952 140730195433761 140730195433956 140730195433956 140730195439558 0
/proc/40764/statm: 1048 736 672 219 0 110 0
[pid=40766] ppid=40764 vsize=76220 memory=31388 CPUtime=0.27 cores=4,6
/proc/40766/stat : 40766 (roundingsat) R 40764 40764 39688 0 -1 4194304 5369 0 0 0 24 3 0 0 20 0 1 0 44531186 78049280 7847 18446744073709551615 4227072 8923433 140723045970000 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41385984 140723045972306 140723045972520 140723045972520 140723045978090 0
/proc/40766/statm: 19055 7847 2336 1147 0 6482 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 80412 KiB
Current children cumulated memory: 34332 KiB
[startup+0.700199 s]
/proc/loadavg: 4.00 4.12 4.09 5/276 40766
/proc/meminfo: memFree=106287108/131250000 swapFree=33010684/33010684
[pid=40764] ppid=40761 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/40764/stat : 40764 (run-opt-log.sh) S 40761 40764 39688 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 44531186 4292608 736 18446744073709551615 94768466165760 94768467060293 140730195428304 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94768467299344 94768467347088 94768479997952 140730195433761 140730195433956 140730195433956 140730195439558 0
/proc/40764/statm: 1048 736 672 219 0 110 0
[pid=40766] ppid=40764 vsize=87008 memory=42372 CPUtime=0.66 cores=4,6
/proc/40766/stat : 40766 (roundingsat) R 40764 40764 39688 0 -1 4194304 7613 0 0 0 61 5 0 0 20 0 1 0 44531186 89096192 10593 18446744073709551615 4227072 8923433 140723045970000 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41385984 140723045972306 140723045972520 140723045972520 140723045978090 0
/proc/40766/statm: 21752 10593 2336 1147 0 9179 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 91200 KiB
Current children cumulated memory: 45316 KiB
[startup+1.5002 s]
/proc/loadavg: 4.00 4.12 4.09 5/276 40766
/proc/meminfo: memFree=106252016/131250000 swapFree=33010684/33010684
[pid=40764] ppid=40761 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/40764/stat : 40764 (run-opt-log.sh) S 40761 40764 39688 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 44531186 4292608 736 18446744073709551615 94768466165760 94768467060293 140730195428304 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94768467299344 94768467347088 94768479997952 140730195433761 140730195433956 140730195433956 140730195439558 0
/proc/40764/statm: 1048 736 672 219 0 110 0
[pid=40766] ppid=40764 vsize=129228 memory=79864 CPUtime=1.46 cores=4,6
/proc/40766/stat : 40766 (roundingsat) R 40764 40764 39688 0 -1 4194304 15444 0 0 0 133 13 0 0 20 0 1 0 44531186 132329472 19966 18446744073709551615 4227072 8923433 140723045970000 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41385984 140723045972306 140723045972520 140723045972520 140723045978090 0
/proc/40766/statm: 32307 19966 2336 1147 0 19734 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 133420 KiB
Current children cumulated memory: 82808 KiB
[startup+3.10578 s]
/proc/loadavg: 4.00 4.12 4.09 5/276 40766
/proc/meminfo: memFree=106162556/131250000 swapFree=33010684/33010684
[pid=40764] ppid=40761 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/40764/stat : 40764 (run-opt-log.sh) S 40761 40764 39688 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 44531186 4292608 736 18446744073709551615 94768466165760 94768467060293 140730195428304 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94768467299344 94768467347088 94768479997952 140730195433761 140730195433956 140730195433956 140730195439558 0
/proc/40764/statm: 1048 736 672 219 0 110 0
[pid=40766] ppid=40764 vsize=201388 memory=140936 CPUtime=3.06 cores=4,6
/proc/40766/stat : 40766 (roundingsat) R 40764 40764 39688 0 -1 4194304 27660 0 0 0 283 23 0 0 20 0 1 0 44531186 206221312 35234 18446744073709551615 4227072 8923433 140723045970000 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41385984 140723045972306 140723045972520 140723045972520 140723045978090 0
/proc/40766/statm: 50347 35234 2336 1147 0 37774 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 205580 KiB
Current children cumulated memory: 143880 KiB
[startup+6.30019 s]
/proc/loadavg: 4.00 4.12 4.09 5/276 40766
/proc/meminfo: memFree=106013180/131250000 swapFree=33010684/33010684
[pid=40764] ppid=40761 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/40764/stat : 40764 (run-opt-log.sh) S 40761 40764 39688 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 44531186 4292608 736 18446744073709551615 94768466165760 94768467060293 140730195428304 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94768467299344 94768467347088 94768479997952 140730195433761 140730195433956 140730195433956 140730195439558 0
/proc/40764/statm: 1048 736 672 219 0 110 0
[pid=40766] ppid=40764 vsize=237196 memory=178440 CPUtime=6.25 cores=4,6
/proc/40766/stat : 40766 (roundingsat) R 40764 40764 39688 0 -1 4194304 33974 0 0 0 591 34 0 0 20 0 1 0 44531186 242888704 44610 18446744073709551615 4227072 8923433 140723045970000 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41385984 140723045972306 140723045972520 140723045972520 140723045978090 0
/proc/40766/statm: 59299 44610 2336 1147 0 46726 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 241388 KiB
Current children cumulated memory: 181384 KiB
[startup+12.7002 s]
/proc/loadavg: 4.00 4.12 4.09 5/275 40766
/proc/meminfo: memFree=105771240/131250000 swapFree=33010684/33010684
[pid=40764] ppid=40761 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/40764/stat : 40764 (run-opt-log.sh) S 40761 40764 39688 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 44531186 4292608 736 18446744073709551615 94768466165760 94768467060293 140730195428304 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94768467299344 94768467347088 94768479997952 140730195433761 140730195433956 140730195433956 140730195439558 0
/proc/40764/statm: 1048 736 672 219 0 110 0
[pid=40766] ppid=40764 vsize=363720 memory=286272 CPUtime=12.63 cores=4,6
/proc/40766/stat : 40766 (roundingsat) R 40764 40764 39688 0 -1 4194304 54282 0 0 0 1212 51 0 0 20 0 1 0 44531186 372449280 71568 18446744073709551615 4227072 8923433 140723045970000 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41385984 140723045972306 140723045972520 140723045972520 140723045978090 0
/proc/40766/statm: 90930 71568 2336 1147 0 78357 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 367912 KiB
Current children cumulated memory: 289216 KiB
[startup+25.5002 s]
/proc/loadavg: 4.00 4.11 4.09 5/275 40766
/proc/meminfo: memFree=105291480/131250000 swapFree=33010684/33010684
[pid=40764] ppid=40761 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/40764/stat : 40764 (run-opt-log.sh) S 40761 40764 39688 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 44531186 4292608 736 18446744073709551615 94768466165760 94768467060293 140730195428304 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94768467299344 94768467347088 94768479997952 140730195433761 140730195433956 140730195433956 140730195439558 0
/proc/40764/statm: 1048 736 672 219 0 110 0
[pid=40766] ppid=40764 vsize=467680 memory=387800 CPUtime=25.4 cores=4,6
/proc/40766/stat : 40766 (roundingsat) R 40764 40764 39688 0 -1 4194304 70996 0 0 0 2462 78 0 0 20 0 1 0 44531186 478904320 96950 18446744073709551615 4227072 8923433 140723045970000 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41385984 140723045972306 140723045972520 140723045972520 140723045978090 0
/proc/40766/statm: 116920 96950 2336 1147 0 104347 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 471872 KiB
Current children cumulated memory: 390744 KiB
[startup+51.1058 s]
/proc/loadavg: 4.06 4.12 4.09 5/275 40767
/proc/meminfo: memFree=104434008/131250000 swapFree=33010684/33010684
[pid=40764] ppid=40761 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/40764/stat : 40764 (run-opt-log.sh) S 40761 40764 39688 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 44531186 4292608 736 18446744073709551615 94768466165760 94768467060293 140730195428304 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94768467299344 94768467347088 94768479997952 140730195433761 140730195433956 140730195433956 140730195439558 0
/proc/40764/statm: 1048 736 672 219 0 110 0
[pid=40766] ppid=40764 vsize=708832 memory=525016 CPUtime=50.94 cores=4,6
/proc/40766/stat : 40766 (roundingsat) R 40764 40764 39688 0 -1 4194304 99153 0 0 0 4970 124 0 0 20 0 1 0 44531186 725843968 131254 18446744073709551615 4227072 8923433 140723045970000 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41385984 140723045972306 140723045972520 140723045972520 140723045978090 0
/proc/40766/statm: 177208 131254 2336 1147 0 164635 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 713024 KiB
Current children cumulated memory: 527960 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/275 40769
/proc/meminfo: memFree=103428092/131250000 swapFree=33010684/33010684
[pid=40764] ppid=40761 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/40764/stat : 40764 (run-opt-log.sh) S 40761 40764 39688 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 44531186 4292608 736 18446744073709551615 94768466165760 94768467060293 140730195428304 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94768467299344 94768467347088 94768479997952 140730195433761 140730195433956 140730195433956 140730195439558 0
/proc/40764/statm: 1048 736 672 219 0 110 0
[pid=40766] ppid=40764 vsize=823532 memory=728828 CPUtime=102 cores=4,6
/proc/40766/stat : 40766 (roundingsat) R 40764 40764 39688 0 -1 4194304 132746 0 0 0 10000 200 0 0 20 0 1 0 44531186 843296768 182207 18446744073709551615 4227072 8923433 140723045970000 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41385984 140723045972306 140723045972520 140723045972520 140723045978090 0
/proc/40766/statm: 205883 182207 2336 1147 0 193310 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 827724 KiB
Current children cumulated memory: 731772 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/273 40771
/proc/meminfo: memFree=102114688/131250000 swapFree=33010684/33010684
[pid=40764] ppid=40761 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/40764/stat : 40764 (run-opt-log.sh) S 40761 40764 39688 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 44531186 4292608 736 18446744073709551615 94768466165760 94768467060293 140730195428304 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94768467299344 94768467347088 94768479997952 140730195433761 140730195433956 140730195433956 140730195439558 0
/proc/40764/statm: 1048 736 672 219 0 110 0
[pid=40766] ppid=40764 vsize=1087996 memory=898540 CPUtime=161.84 cores=4,6
/proc/40766/stat : 40766 (roundingsat) R 40764 40764 39688 0 -1 4194304 174186 0 0 0 15897 287 0 0 20 0 1 0 44531186 1114107904 224635 18446744073709551615 4227072 8923433 140723045970000 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41385984 140723045972306 140723045972520 140723045972520 140723045978090 0
/proc/40766/statm: 271999 224635 2336 1147 0 259426 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 1092188 KiB
Current children cumulated memory: 901484 KiB
[startup+222.3 s]
/proc/loadavg: 4.52 4.20 4.12 5/272 40773
/proc/meminfo: memFree=100929144/131250000 swapFree=33010684/33010684
[pid=40764] ppid=40761 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/40764/stat : 40764 (run-opt-log.sh) S 40761 40764 39688 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 44531186 4292608 736 18446744073709551615 94768466165760 94768467060293 140730195428304 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94768467299344 94768467347088 94768479997952 140730195433761 140730195433956 140730195433956 140730195439558 0
/proc/40764/statm: 1048 736 672 219 0 110 0
[pid=40766] ppid=40764 vsize=1225888 memory=916012 CPUtime=221.68 cores=4,6
/proc/40766/stat : 40766 (roundingsat) R 40764 40764 39688 0 -1 4194304 178041 0 0 0 21790 378 0 0 20 0 1 0 44531186 1255309312 229003 18446744073709551615 4227072 8923433 140723045970000 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41385984 140723045972306 140723045972520 140723045972520 140723045978090 0
################
# More data... #
################
/proc/40766/statm: 717224 609502 2336 1147 0 704651 0
Current children cumulated CPU time: 3033.48 s
Current children cumulated vsize: 2873088 KiB
Current children cumulated memory: 2440952 KiB
[startup+3102.3 s]
/proc/loadavg: 1.13 1.42 2.52 2/248 41012
/proc/meminfo: memFree=114902564/131250000 swapFree=33010684/33010684
[pid=40764] ppid=40761 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/40764/stat : 40764 (run-opt-log.sh) S 40761 40764 39688 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 44531186 4292608 736 18446744073709551615 94768466165760 94768467060293 140730195428304 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94768467299344 94768467347088 94768479997952 140730195433761 140730195433956 140730195433956 140730195439558 0
/proc/40764/statm: 1048 736 672 219 0 110 0
[pid=40766] ppid=40764 vsize=2868896 memory=2447224 CPUtime=3093.32 cores=4,6
/proc/40766/stat : 40766 (roundingsat) R 40764 40764 39688 0 -1 4194304 475408 0 0 0 306848 2484 0 0 20 0 1 0 44531186 2937749504 611806 18446744073709551615 4227072 8923433 140723045970000 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41385984 140723045972306 140723045972520 140723045972520 140723045978090 0
/proc/40766/statm: 717224 611806 2336 1147 0 704651 0
Current children cumulated CPU time: 3093.32 s
Current children cumulated vsize: 2873088 KiB
Current children cumulated memory: 2450168 KiB
[startup+3162.3 s]
/proc/loadavg: 1.09 1.35 2.43 2/249 41015
/proc/meminfo: memFree=114640280/131250000 swapFree=33010684/33010684
[pid=40764] ppid=40761 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/40764/stat : 40764 (run-opt-log.sh) S 40761 40764 39688 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 44531186 4292608 736 18446744073709551615 94768466165760 94768467060293 140730195428304 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94768467299344 94768467347088 94768479997952 140730195433761 140730195433956 140730195433956 140730195439558 0
/proc/40764/statm: 1048 736 672 219 0 110 0
[pid=40766] ppid=40764 vsize=2914976 memory=2496100 CPUtime=3153.14 cores=4,6
/proc/40766/stat : 40766 (roundingsat) R 40764 40764 39688 0 -1 4194304 481582 0 0 0 312798 2516 0 0 20 0 1 0 44531186 2984935424 624025 18446744073709551615 4227072 8923433 140723045970000 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41385984 140723045972306 140723045972520 140723045972520 140723045978090 0
/proc/40766/statm: 728744 624025 2336 1147 0 716171 0
Current children cumulated CPU time: 3153.14 s
Current children cumulated vsize: 2919168 KiB
Current children cumulated memory: 2499044 KiB
[startup+3222.3 s]
/proc/loadavg: 1.15 1.32 2.35 2/249 41017
/proc/meminfo: memFree=114172236/131250000 swapFree=33010684/33010684
[pid=40764] ppid=40761 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/40764/stat : 40764 (run-opt-log.sh) S 40761 40764 39688 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 44531186 4292608 736 18446744073709551615 94768466165760 94768467060293 140730195428304 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94768467299344 94768467347088 94768479997952 140730195433761 140730195433956 140730195433956 140730195439558 0
/proc/40764/statm: 1048 736 672 219 0 110 0
[pid=40766] ppid=40764 vsize=3326688 memory=2632576 CPUtime=3212.98 cores=4,6
/proc/40766/stat : 40766 (roundingsat) R 40764 40764 39688 0 -1 4194304 496900 0 0 0 318729 2569 0 0 20 0 1 0 44531186 3406528512 658144 18446744073709551615 4227072 8923433 140723045970000 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41385984 140723045972306 140723045972520 140723045972520 140723045978090 0
/proc/40766/statm: 831672 658144 2336 1147 0 819099 0
Current children cumulated CPU time: 3212.98 s
Current children cumulated vsize: 3330880 KiB
Current children cumulated memory: 2635520 KiB
[startup+3282.3 s]
/proc/loadavg: 1.12 1.27 2.27 2/249 41018
/proc/meminfo: memFree=113885968/131250000 swapFree=33010684/33010684
[pid=40764] ppid=40761 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/40764/stat : 40764 (run-opt-log.sh) S 40761 40764 39688 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 44531186 4292608 736 18446744073709551615 94768466165760 94768467060293 140730195428304 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94768467299344 94768467347088 94768479997952 140730195433761 140730195433956 140730195433956 140730195439558 0
/proc/40764/statm: 1048 736 672 219 0 110 0
[pid=40766] ppid=40764 vsize=3326688 memory=2636288 CPUtime=3272.83 cores=4,6
/proc/40766/stat : 40766 (roundingsat) R 40764 40764 39688 0 -1 4194304 496912 0 0 0 324659 2624 0 0 20 0 1 0 44531186 3406528512 659072 18446744073709551615 4227072 8923433 140723045970000 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41385984 140723045972306 140723045972520 140723045972520 140723045978090 0
/proc/40766/statm: 831672 659072 2336 1147 0 819099 0
Current children cumulated CPU time: 3272.83 s
Current children cumulated vsize: 3330880 KiB
Current children cumulated memory: 2639232 KiB
[startup+3342.3 s]
/proc/loadavg: 1.12 1.25 2.20 2/249 41020
/proc/meminfo: memFree=113564576/131250000 swapFree=33010684/33010684
[pid=40764] ppid=40761 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/40764/stat : 40764 (run-opt-log.sh) S 40761 40764 39688 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 44531186 4292608 736 18446744073709551615 94768466165760 94768467060293 140730195428304 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94768467299344 94768467347088 94768479997952 140730195433761 140730195433956 140730195433956 140730195439558 0
/proc/40764/statm: 1048 736 672 219 0 110 0
[pid=40766] ppid=40764 vsize=3326688 memory=2643712 CPUtime=3332.65 cores=4,6
/proc/40766/stat : 40766 (roundingsat) R 40764 40764 39688 0 -1 4194304 496930 0 0 0 330599 2666 0 0 20 0 1 0 44531186 3406528512 660928 18446744073709551615 4227072 8923433 140723045970000 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41385984 140723045972306 140723045972520 140723045972520 140723045978090 0
/proc/40766/statm: 831672 660928 2336 1147 0 819099 0
Current children cumulated CPU time: 3332.65 s
Current children cumulated vsize: 3330880 KiB
Current children cumulated memory: 2646656 KiB
[startup+3402.3 s]
/proc/loadavg: 1.14 1.23 2.13 3/250 41030
/proc/meminfo: memFree=113321036/131250000 swapFree=33010684/33010684
[pid=40764] ppid=40761 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/40764/stat : 40764 (run-opt-log.sh) S 40761 40764 39688 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 44531186 4292608 736 18446744073709551615 94768466165760 94768467060293 140730195428304 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94768467299344 94768467347088 94768479997952 140730195433761 140730195433956 140730195433956 140730195439558 0
/proc/40764/statm: 1048 736 672 219 0 110 0
[pid=40766] ppid=40764 vsize=3326688 memory=2653440 CPUtime=3392.5 cores=4,6
/proc/40766/stat : 40766 (roundingsat) R 40764 40764 39688 0 -1 4194304 496984 0 0 0 336550 2700 0 0 20 0 1 0 44531186 3406528512 663360 18446744073709551615 4227072 8923433 140723045970000 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41385984 140723045972306 140723045972520 140723045972520 140723045978090 0
/proc/40766/statm: 831672 663360 2336 1147 0 819099 0
Current children cumulated CPU time: 3392.5 s
Current children cumulated vsize: 3330880 KiB
Current children cumulated memory: 2656384 KiB
[startup+3462.3 s]
/proc/loadavg: 1.10 1.20 2.06 2/249 41032
/proc/meminfo: memFree=113111812/131250000 swapFree=33010684/33010684
[pid=40764] ppid=40761 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/40764/stat : 40764 (run-opt-log.sh) S 40761 40764 39688 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 44531186 4292608 736 18446744073709551615 94768466165760 94768467060293 140730195428304 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94768467299344 94768467347088 94768479997952 140730195433761 140730195433956 140730195433956 140730195439558 0
/proc/40764/statm: 1048 736 672 219 0 110 0
[pid=40766] ppid=40764 vsize=3327712 memory=2671360 CPUtime=3452.34 cores=4,6
/proc/40766/stat : 40766 (roundingsat) R 40764 40764 39688 0 -1 4194304 497191 0 0 0 342504 2730 0 0 20 0 1 0 44531186 3407577088 667840 18446744073709551615 4227072 8923433 140723045970000 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41385984 140723045972306 140723045972520 140723045972520 140723045978090 0
/proc/40766/statm: 831928 667840 2336 1147 0 819355 0
Current children cumulated CPU time: 3452.34 s
Current children cumulated vsize: 3331904 KiB
Current children cumulated memory: 2674304 KiB
[startup+3522.3 s]
/proc/loadavg: 1.15 1.20 2.00 2/249 41045
/proc/meminfo: memFree=112843760/131250000 swapFree=33010684/33010684
[pid=40764] ppid=40761 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/40764/stat : 40764 (run-opt-log.sh) S 40761 40764 39688 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 44531186 4292608 736 18446744073709551615 94768466165760 94768467060293 140730195428304 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94768467299344 94768467347088 94768479997952 140730195433761 140730195433956 140730195433956 140730195439558 0
/proc/40764/statm: 1048 736 672 219 0 110 0
[pid=40766] ppid=40764 vsize=3327712 memory=2693248 CPUtime=3512.18 cores=4,6
/proc/40766/stat : 40766 (roundingsat) R 40764 40764 39688 0 -1 4194304 497204 0 0 0 348450 2768 0 0 20 0 1 0 44531186 3407577088 673312 18446744073709551615 4227072 8923433 140723045970000 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41385984 140723045972306 140723045972520 140723045972520 140723045978090 0
/proc/40766/statm: 831928 673312 2336 1147 0 819355 0
Current children cumulated CPU time: 3512.18 s
Current children cumulated vsize: 3331904 KiB
Current children cumulated memory: 2696192 KiB
[startup+3582.3 s]
/proc/loadavg: 1.11 1.17 1.94 2/251 41049
/proc/meminfo: memFree=112488904/131250000 swapFree=33010684/33010684
[pid=40764] ppid=40761 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/40764/stat : 40764 (run-opt-log.sh) S 40761 40764 39688 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 44531186 4292608 736 18446744073709551615 94768466165760 94768467060293 140730195428304 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94768467299344 94768467347088 94768479997952 140730195433761 140730195433956 140730195433956 140730195439558 0
/proc/40764/statm: 1048 736 672 219 0 110 0
[pid=40766] ppid=40764 vsize=3327712 memory=2732416 CPUtime=3572.02 cores=4,6
/proc/40766/stat : 40766 (roundingsat) R 40764 40764 39688 0 -1 4194304 497467 0 0 0 354395 2807 0 0 20 0 1 0 44531186 3407577088 683104 18446744073709551615 4227072 8923433 140723045970000 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41385984 140723045972306 140723045972520 140723045972520 140723045978090 0
/proc/40766/statm: 831928 683104 2336 1147 0 819355 0
Current children cumulated CPU time: 3572.02 s
Current children cumulated vsize: 3331904 KiB
Current children cumulated memory: 2735360 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.4 s]
/proc/loadavg: 1.14 1.17 1.92 2/251 41051
/proc/meminfo: memFree=112305312/131250000 swapFree=33010684/33010684
[pid=40764] ppid=40761 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/40764/stat : 40764 (run-opt-log.sh) S 40761 40764 39688 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 44531186 4292608 736 18446744073709551615 94768466165760 94768467060293 140730195428304 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94768467299344 94768467347088 94768479997952 140730195433761 140730195433956 140730195433956 140730195439558 0
/proc/40764/statm: 1048 736 672 219 0 110 0
[pid=40766] ppid=40764 vsize=3391204 memory=2790272 CPUtime=3600.04 cores=4,6
/proc/40766/stat : 40766 (roundingsat) R 40764 40764 39688 0 -1 4194304 509025 0 0 0 357170 2834 0 0 20 0 1 0 44531186 3472592896 697568 18446744073709551615 4227072 8923433 140723045970000 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41385984 140723045972306 140723045972520 140723045972520 140723045978090 0
/proc/40766/statm: 847801 697568 2336 1147 0 835228 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 3395396 KiB
Current children cumulated memory: 2793216 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.4 s]
# the end of solver process 40764 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001931 s, system=0 s
[startup+3610.46 s]
# the end of solver process 40766 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3571.71 s, system=28.3757 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
Child status: 2
Real time (s): 3610.46
CPU time (s): 3600.09
CPU user time (s): 3571.71
CPU system time (s): 28.3757
CPU usage (%): 99.7128
Max. virtual memory (cumulated for all children) (KiB): 3395396
Max. memory (cumulated for all children) (KiB): 2793216
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3571.71
system time used= 28.3757
maximum resident set size= 2790656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 509256
page faults= 0
swaps= 0
block input operations= 0
block output operations= 28291592
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 998
involuntary context switches= 5436
# summary of solver processes directly reported to runsolver:
# pid: 40764,40766
# total CPU time (s): 3600.09
# total CPU user time (s): 3571.71
# total CPU system time (s): 28.3757
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.3297 second user time and 17.4175 second system time
The end
Begin job on nodeC014 at 2025-06-30 15:02:26
IDJOB=4484401
IDBENCH=146656
IDSOLVER=3351
FILE ID=nodeC014/4484401-1751288546
RUNJOBID= nodeC014-1751280113-39699
SLURM_JOB_ID= 9594224
Free space on /tmp= 432988 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.95:100.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4484401-1751288546/watcher-4484401-1751288546 -o /tmp/evaluation-result-4484401-1751288546/solver-4484401-1751288546 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751280113-39699 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4484401-1751288546.opb PROOFDIR/proof-4484401-1751288546
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= ef7e1a396aea94ad22e53d7673ab3bc9
RANDOM SEED=1322084978
nodeC014 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.142
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.122
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3602.471
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.114
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3597.664
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.074
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.117
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 106311428 kB
MemAvailable: 122074136 kB
Buffers: 3280 kB
Cached: 16551148 kB
SwapCached: 0 kB
Active: 7997952 kB
Inactive: 16294996 kB
Active(anon): 7756668 kB
Inactive(anon): 0 kB
Active(file): 241284 kB
Inactive(file): 16294996 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 140588 kB
Writeback: 0 kB
AnonPages: 7741688 kB
Mapped: 117044 kB
Shmem: 18068 kB
KReclaimable: 131336 kB
Slab: 223632 kB
SReclaimable: 131336 kB
SUnreclaim: 92296 kB
KernelStack: 4448 kB
PageTables: 20504 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 9681424 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150728 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2271232 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 203476 kB
DirectMap2M: 7956480 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433004 MiB
End job on nodeC014 at 2025-06-30 16:02:37