0.00/0.03 c RoundingSat 2
0.00/0.03 c branch pb25
0.00/0.03 c commit 63f22ad
0.00/0.04 c #variables 1264 #constraints 1090
0.00/0.04 c objective is ce32
0.00/0.04 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.04 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.00/0.04 c GLOBAL bounds - >= 0 @ 0.008217
0.00/0.04 c GLOBAL bounds - >= 0 @ 0.008917
0.00/0.04 c GLOBAL bounds - >= 0 @ 0.010661
0.00/0.05 c GLOBAL bounds - >= 0 @ 0.018465
0.00/0.07 c GLOBAL bounds - >= 0 @ 0.029978
0.00/0.09 c GLOBAL bounds - >= 0 @ 0.050316
0.06/0.11 c GLOBAL bounds - >= 0 @ 0.062067
0.06/0.13 c GLOBAL bounds - >= 0 @ 0.083783
0.06/0.15 c GLOBAL bounds - >= 0 @ 0.098945
0.06/0.16 c GLOBAL bounds - >= 0 @ 0.112267
0.06/0.18 c GLOBAL bounds - >= 0 @ 0.127561
0.06/0.20 c GLOBAL bounds - >= 0 @ 0.144239
0.17/0.23 c GLOBAL bounds - >= 0 @ 0.174048
0.17/0.25 c GLOBAL bounds - >= 0 @ 0.197499
0.17/0.29 c GLOBAL bounds - >= 0 @ 0.22732
0.27/0.33 c GLOBAL bounds - >= 0 @ 0.263504
0.27/0.35 c #Conflicts: 1000 | #Constraints: 2118
0.27/0.35 c GLOBAL bounds - >= 0 @ 0.287551
0.27/0.38 c GLOBAL bounds - >= 0 @ 0.312993
0.37/0.42 c GLOBAL bounds - >= 0 @ 0.349138
0.37/0.48 c GLOBAL bounds - >= 0 @ 0.399879
0.46/0.51 c GLOBAL bounds - >= 0 @ 0.435207
0.46/0.54 c GLOBAL bounds - >= 0 @ 0.465323
1.16/1.25 c #Conflicts: 2000 | #Constraints: 3130
1.16/1.25 c INPROCESSING
1.16/1.25 c GARBAGE COLLECT
1.16/1.25 c #Conflicts: 3000 | #Constraints: 3169
1.16/1.25 c GLOBAL bounds - >= 0 @ 1.15316
1.16/1.29 c GLOBAL bounds - >= 0 @ 1.19121
1.25/1.34 c GLOBAL bounds - >= 0 @ 1.2408
1.35/1.46 c #Conflicts: 4000 | #Constraints: 4175
1.35/1.46 c GLOBAL bounds - >= 0 @ 1.35802
1.46/1.59 c INPROCESSING
1.46/1.59 c GARBAGE COLLECT
1.46/1.59 c GLOBAL bounds - >= 0 @ 1.48107
2.55/2.65 c #Conflicts: 5000 | #Constraints: 3607
2.55/2.65 c #Conflicts: 6000 | #Constraints: 4607
2.55/2.65 c INPROCESSING
2.55/2.65 c GARBAGE COLLECT
2.55/2.65 c GLOBAL bounds - >= 0 @ 2.52308
3.05/3.11 c #Conflicts: 7000 | #Constraints: 3632
3.05/3.11 c #Conflicts: 8000 | #Constraints: 4632
3.05/3.11 c GLOBAL bounds - >= 0 @ 2.97963
3.15/3.28 c GLOBAL bounds - >= 0 @ 3.13751
3.25/3.35 c GLOBAL bounds - >= 0 @ 3.21065
3.35/3.42 c GLOBAL bounds - >= 0 @ 3.27847
3.35/3.46 c #Conflicts: 9000 | #Constraints: 5640
3.35/3.46 c GLOBAL bounds - >= 0 @ 3.31479
3.45/3.53 c GLOBAL bounds - >= 0 @ 3.37861
3.55/3.63 c INPROCESSING
3.55/3.63 c GARBAGE COLLECT
3.55/3.63 c GLOBAL bounds - >= 0 @ 3.4777
3.65/3.70 c GLOBAL bounds - >= 0 @ 3.54936
4.84/4.98 c #Conflicts: 10000 | #Constraints: 4323
4.84/4.98 c #Conflicts: 11000 | #Constraints: 5323
4.84/4.98 c GLOBAL bounds - >= 0 @ 4.79676
5.15/5.21 c #Conflicts: 12000 | #Constraints: 6325
5.15/5.21 c INPROCESSING
5.15/5.21 c GARBAGE COLLECT
5.15/5.21 c GLOBAL bounds - >= 0 @ 5.013
5.34/5.41 c GLOBAL bounds - >= 0 @ 5.21206
34.16/34.39 c #Conflicts: 13000 | #Constraints: 4790
34.16/34.39 c #Conflicts: 14000 | #Constraints: 5790
34.16/34.39 c #Conflicts: 15000 | #Constraints: 6790
34.16/34.39 c INPROCESSING
34.16/34.39 c GARBAGE COLLECT
34.16/34.39 c #Conflicts: 16000 | #Constraints: 5022
34.16/34.39 c #Conflicts: 17000 | #Constraints: 6022
34.16/34.39 c #Conflicts: 18000 | #Constraints: 7022
34.16/34.39 c INPROCESSING
34.16/34.39 c GARBAGE COLLECT
34.16/34.39 c #Conflicts: 19000 | #Constraints: 5050
34.16/34.39 c #Conflicts: 20000 | #Constraints: 6050
34.16/34.39 c #Conflicts: 21000 | #Constraints: 7050
34.16/34.39 c INPROCESSING
34.16/34.39 c GARBAGE COLLECT
34.16/34.39 c #Conflicts: 22000 | #Constraints: 4863
34.16/34.39 c #Conflicts: 23000 | #Constraints: 5863
34.16/34.39 c #Conflicts: 24000 | #Constraints: 6863
34.16/34.39 c #Conflicts: 25000 | #Constraints: 7863
34.16/34.39 c INPROCESSING
34.16/34.39 c GARBAGE COLLECT
34.16/34.39 c #Conflicts: 26000 | #Constraints: 5471
34.16/34.39 c #Conflicts: 27000 | #Constraints: 6471
34.16/34.39 c #Conflicts: 28000 | #Constraints: 7471
34.16/34.39 c #Conflicts: 29000 | #Constraints: 8471
34.16/34.39 c INPROCESSING
34.16/34.39 c GARBAGE COLLECT
34.16/34.39 c #Conflicts: 30000 | #Constraints: 5871
34.16/34.39 c #Conflicts: 31000 | #Constraints: 6871
34.16/34.39 c #Conflicts: 32000 | #Constraints: 7871
34.16/34.39 c #Conflicts: 33000 | #Constraints: 8871
34.16/34.39 c INPROCESSING
34.16/34.39 c GARBAGE COLLECT
34.16/34.39 c #Conflicts: 34000 | #Constraints: 6069
34.16/34.39 c #Conflicts: 35000 | #Constraints: 7069
34.16/34.39 c #Conflicts: 36000 | #Constraints: 8069
34.16/34.39 c #Conflicts: 37000 | #Constraints: 9069
34.16/34.39 c INPROCESSING
34.16/34.39 c GARBAGE COLLECT
34.16/34.39 c #Conflicts: 38000 | #Constraints: 6073
34.16/34.39 c #Conflicts: 39000 | #Constraints: 7073
34.16/34.39 c #Conflicts: 40000 | #Constraints: 8073
34.16/34.39 c #Conflicts: 41000 | #Constraints: 9073
34.16/34.39 c INPROCESSING
34.16/34.39 c GARBAGE COLLECT
34.16/34.39 c #Conflicts: 42000 | #Constraints: 5873
34.16/34.39 c #Conflicts: 43000 | #Constraints: 6873
34.16/34.39 c #Conflicts: 44000 | #Constraints: 7873
34.16/34.39 c #Conflicts: 45000 | #Constraints: 8873
34.16/34.39 c #Conflicts: 46000 | #Constraints: 9873
34.16/34.39 c INPROCESSING
34.16/34.39 c GARBAGE COLLECT
34.16/34.39 c #Conflicts: 47000 | #Constraints: 6478
34.16/34.39 c #Conflicts: 48000 | #Constraints: 7478
34.16/34.39 c #Conflicts: 49000 | #Constraints: 8478
34.16/34.39 c #Conflicts: 50000 | #Constraints: 9478
34.16/34.39 c #Conflicts: 51000 | #Constraints: 10478
34.16/34.39 c INPROCESSING
34.16/34.39 c GARBAGE COLLECT
34.16/34.39 c #Conflicts: 52000 | #Constraints: 6888
34.16/34.39 c #Conflicts: 53000 | #Constraints: 7888
34.16/34.39 c #Conflicts: 54000 | #Constraints: 8888
34.16/34.39 c #Conflicts: 55000 | #Constraints: 9888
34.16/34.39 c #Conflicts: 56000 | #Constraints: 10888
34.16/34.39 c INPROCESSING
34.16/34.39 c GARBAGE COLLECT
34.16/34.39 c #Conflicts: 57000 | #Constraints: 7086
34.16/34.39 c #Conflicts: 58000 | #Constraints: 8086
34.16/34.39 c GLOBAL bounds - >= 0 @ 33.6442
48.93/49.16 c #Conflicts: 59000 | #Constraints: 9088
48.93/49.16 c #Conflicts: 60000 | #Constraints: 10088
48.93/49.16 c #Conflicts: 61000 | #Constraints: 11088
48.93/49.16 c INPROCESSING
48.93/49.16 c GARBAGE COLLECT
48.93/49.16 c #Conflicts: 62000 | #Constraints: 7093
48.93/49.16 c #Conflicts: 63000 | #Constraints: 8093
48.93/49.16 c #Conflicts: 64000 | #Constraints: 9093
48.93/49.16 c #Conflicts: 65000 | #Constraints: 10093
48.93/49.16 c #Conflicts: 66000 | #Constraints: 11093
48.93/49.16 c INPROCESSING
48.93/49.16 c GARBAGE COLLECT
48.93/49.16 c #Conflicts: 67000 | #Constraints: 6897
48.93/49.16 c #Conflicts: 68000 | #Constraints: 7897
48.93/49.16 c #Conflicts: 69000 | #Constraints: 8897
48.93/49.16 c #Conflicts: 70000 | #Constraints: 9897
48.93/49.16 c #Conflicts: 71000 | #Constraints: 10897
48.93/49.16 c #Conflicts: 72000 | #Constraints: 11897
48.93/49.16 c INPROCESSING
48.93/49.16 c GARBAGE COLLECT
48.93/49.16 c #Conflicts: 73000 | #Constraints: 7497
48.93/49.16 c #Conflicts: 74000 | #Constraints: 8497
48.93/49.16 c #Conflicts: 75000 | #Constraints: 9497
48.93/49.16 c #Conflicts: 76000 | #Constraints: 10497
48.93/49.17 c #Conflicts: 77000 | #Constraints: 11497
48.93/49.17 c #Conflicts: 78000 | #Constraints: 12497
48.93/49.17 c INPROCESSING
48.93/49.17 c GARBAGE COLLECT
48.93/49.17 c #Conflicts: 79000 | #Constraints: 7902
48.93/49.17 c #Conflicts: 80000 | #Constraints: 8902
48.93/49.17 c GLOBAL bounds - >= 0 @ 48.1263
59.90/60.15 c #Conflicts: 81000 | #Constraints: 9904
59.90/60.15 c #Conflicts: 82000 | #Constraints: 10904
59.90/60.15 c #Conflicts: 83000 | #Constraints: 11904
59.90/60.15 c #Conflicts: 84000 | #Constraints: 12904
59.90/60.15 c INPROCESSING
59.90/60.15 c GARBAGE COLLECT
59.90/60.15 c #Conflicts: 85000 | #Constraints: 8114
59.90/60.15 c #Conflicts: 86000 | #Constraints: 9114
59.90/60.15 c #Conflicts: 87000 | #Constraints: 10114
59.90/60.15 c #Conflicts: 88000 | #Constraints: 11114
59.90/60.15 c #Conflicts: 89000 | #Constraints: 12114
59.90/60.15 c #Conflicts: 90000 | #Constraints: 13114
59.90/60.15 c INPROCESSING
59.90/60.15 c GARBAGE COLLECT
59.90/60.15 c #Conflicts: 91000 | #Constraints: 8108
59.90/60.15 c #Conflicts: 92000 | #Constraints: 9108
59.90/60.15 c #Conflicts: 93000 | #Constraints: 10108
59.90/60.15 c #Conflicts: 94000 | #Constraints: 11108
59.90/60.15 c #Conflicts: 95000 | #Constraints: 12108
59.90/60.15 c #Conflicts: 96000 | #Constraints: 13108
59.90/60.15 c INPROCESSING
59.90/60.15 c GARBAGE COLLECT
59.90/60.15 c #Conflicts: 97000 | #Constraints: 7915
59.90/60.15 c #Conflicts: 98000 | #Constraints: 8915
59.90/60.15 c GLOBAL bounds - >= 0 @ 58.9207
73.96/74.25 c #Conflicts: 99000 | #Constraints: 9917
73.96/74.25 c #Conflicts: 100000 | #Constraints: 10917
73.96/74.25 c #Conflicts: 101000 | #Constraints: 11917
73.96/74.25 c #Conflicts: 102000 | #Constraints: 12917
73.96/74.25 c #Conflicts: 103000 | #Constraints: 13917
73.96/74.25 c INPROCESSING
73.96/74.25 c GARBAGE COLLECT
73.96/74.25 c #Conflicts: 104000 | #Constraints: 8515
73.96/74.25 c #Conflicts: 105000 | #Constraints: 9515
73.96/74.25 c #Conflicts: 106000 | #Constraints: 10515
73.96/74.25 c #Conflicts: 107000 | #Constraints: 11515
73.96/74.25 c #Conflicts: 108000 | #Constraints: 12515
73.96/74.25 c #Conflicts: 109000 | #Constraints: 13515
73.96/74.25 c #Conflicts: 110000 | #Constraints: 14515
73.96/74.25 c INPROCESSING
73.96/74.25 c GARBAGE COLLECT
73.96/74.25 c #Conflicts: 111000 | #Constraints: 8910
73.96/74.25 c #Conflicts: 112000 | #Constraints: 9910
73.96/74.25 c #Conflicts: 113000 | #Constraints: 10910
73.96/74.25 c #Conflicts: 114000 | #Constraints: 11910
73.96/74.25 c #Conflicts: 115000 | #Constraints: 12910
73.96/74.25 c #Conflicts: 116000 | #Constraints: 13910
73.96/74.25 c #Conflicts: 117000 | #Constraints: 14910
73.96/74.25 c INPROCESSING
73.96/74.25 c GARBAGE COLLECT
73.96/74.25 c GLOBAL bounds - >= 0 @ 72.7926
76.95/77.26 c #Conflicts: 118000 | #Constraints: 9107
76.95/77.26 c #Conflicts: 119000 | #Constraints: 10107
76.95/77.26 c #Conflicts: 120000 | #Constraints: 11107
76.95/77.26 c #Conflicts: 121000 | #Constraints: 12107
76.95/77.26 c #Conflicts: 122000 | #Constraints: 13107
76.95/77.26 c GLOBAL bounds - >= 0 @ 75.7602
88.83/89.12 c #Conflicts: 123000 | #Constraints: 14109
88.83/89.12 c #Conflicts: 124000 | #Constraints: 15109
88.83/89.12 c INPROCESSING
88.83/89.12 c GARBAGE COLLECT
88.83/89.12 c #Conflicts: 125000 | #Constraints: 9100
88.83/89.12 c #Conflicts: 126000 | #Constraints: 10100
88.83/89.12 c #Conflicts: 127000 | #Constraints: 11100
88.83/89.12 c #Conflicts: 128000 | #Constraints: 12100
88.83/89.12 c #Conflicts: 129000 | #Constraints: 13100
88.83/89.12 c #Conflicts: 130000 | #Constraints: 14100
88.83/89.12 c #Conflicts: 131000 | #Constraints: 15100
88.83/89.12 c INPROCESSING
88.83/89.12 c GARBAGE COLLECT
88.83/89.12 c #Conflicts: 132000 | #Constraints: 8900
88.83/89.12 c #Conflicts: 133000 | #Constraints: 9900
88.83/89.12 c #Conflicts: 134000 | #Constraints: 10900
88.83/89.12 c #Conflicts: 135000 | #Constraints: 11900
88.83/89.12 c #Conflicts: 136000 | #Constraints: 12900
88.83/89.12 c #Conflicts: 137000 | #Constraints: 13900
88.83/89.12 c #Conflicts: 138000 | #Constraints: 14900
88.83/89.12 c #Conflicts: 139000 | #Constraints: 15900
88.83/89.12 c GLOBAL bounds - >= 0 @ 87.421
89.92/90.22 c INPROCESSING
89.92/90.22 c GARBAGE COLLECT
89.92/90.22 c #Conflicts: 140000 | #Constraints: 9475
89.92/90.22 c GLOBAL bounds - >= 0 @ 88.5004
110.76/111.14 c #Conflicts: 141000 | #Constraints: 10477
110.76/111.14 c #Conflicts: 142000 | #Constraints: 11477
110.76/111.14 c #Conflicts: 143000 | #Constraints: 12477
110.76/111.14 c #Conflicts: 144000 | #Constraints: 13477
110.76/111.14 c #Conflicts: 145000 | #Constraints: 14477
110.76/111.14 c #Conflicts: 146000 | #Constraints: 15477
110.76/111.14 c #Conflicts: 147000 | #Constraints: 16477
110.76/111.14 c INPROCESSING
110.76/111.14 c GARBAGE COLLECT
110.76/111.14 c #Conflicts: 148000 | #Constraints: 9887
110.76/111.14 c #Conflicts: 149000 | #Constraints: 10887
110.76/111.14 c #Conflicts: 150000 | #Constraints: 11887
110.76/111.14 c #Conflicts: 151000 | #Constraints: 12887
110.76/111.14 c #Conflicts: 152000 | #Constraints: 13887
110.76/111.14 c #Conflicts: 153000 | #Constraints: 14887
110.76/111.14 c #Conflicts: 154000 | #Constraints: 15887
110.76/111.14 c #Conflicts: 155000 | #Constraints: 16887
110.76/111.14 c INPROCESSING
110.76/111.14 c GARBAGE COLLECT
110.76/111.14 c #Conflicts: 156000 | #Constraints: 10097
110.76/111.14 c #Conflicts: 157000 | #Constraints: 11097
110.76/111.14 c #Conflicts: 158000 | #Constraints: 12097
110.76/111.14 c #Conflicts: 159000 | #Constraints: 13097
110.76/111.14 c #Conflicts: 160000 | #Constraints: 14097
110.76/111.14 c #Conflicts: 161000 | #Constraints: 15097
110.76/111.14 c #Conflicts: 162000 | #Constraints: 16097
110.76/111.14 c #Conflicts: 163000 | #Constraints: 17097
110.76/111.14 c INPROCESSING
110.76/111.14 c GARBAGE COLLECT
110.76/111.14 c #Conflicts: 164000 | #Constraints: 10105
110.76/111.14 c #Conflicts: 165000 | #Constraints: 11105
110.76/111.14 c #Conflicts: 166000 | #Constraints: 12105
110.76/111.14 c #Conflicts: 167000 | #Constraints: 13105
110.76/111.14 c #Conflicts: 168000 | #Constraints: 14105
110.76/111.14 c #Conflicts: 169000 | #Constraints: 15105
110.76/111.14 c GLOBAL bounds - >= 0 @ 109.091
128.20/128.67 c #Conflicts: 170000 | #Constraints: 16107
128.20/128.67 c #Conflicts: 171000 | #Constraints: 17107
128.20/128.67 c INPROCESSING
128.20/128.67 c GARBAGE COLLECT
128.20/128.67 c #Conflicts: 172000 | #Constraints: 9912
128.20/128.67 c #Conflicts: 173000 | #Constraints: 10912
128.20/128.67 c #Conflicts: 174000 | #Constraints: 11912
128.20/128.67 c #Conflicts: 175000 | #Constraints: 12912
128.20/128.67 c #Conflicts: 176000 | #Constraints: 13912
128.20/128.67 c #Conflicts: 177000 | #Constraints: 14912
128.20/128.67 c #Conflicts: 178000 | #Constraints: 15912
128.20/128.67 c #Conflicts: 179000 | #Constraints: 16912
128.20/128.67 c #Conflicts: 180000 | #Constraints: 17912
128.20/128.67 c INPROCESSING
128.20/128.67 c GARBAGE COLLECT
128.20/128.67 c #Conflicts: 181000 | #Constraints: 10521
128.20/128.67 c #Conflicts: 182000 | #Constraints: 11521
128.20/128.67 c #Conflicts: 183000 | #Constraints: 12521
128.20/128.67 c #Conflicts: 184000 | #Constraints: 13521
128.20/128.67 c #Conflicts: 185000 | #Constraints: 14521
128.20/128.67 c #Conflicts: 186000 | #Constraints: 15521
128.20/128.67 c #Conflicts: 187000 | #Constraints: 16521
128.20/128.67 c #Conflicts: 188000 | #Constraints: 17521
128.20/128.67 c #Conflicts: 189000 | #Constraints: 18521
128.20/128.67 c INPROCESSING
128.20/128.67 c GARBAGE COLLECT
128.20/128.67 c GLOBAL bounds - >= 0 @ 126.375
165.19/165.77 c #Conflicts: 190000 | #Constraints: 10920
165.19/165.77 c #Conflicts: 191000 | #Constraints: 11920
165.19/165.77 c #Conflicts: 192000 | #Constraints: 12920
165.19/165.77 c #Conflicts: 193000 | #Constraints: 13920
165.19/165.77 c #Conflicts: 194000 | #Constraints: 14920
165.19/165.77 c #Conflicts: 195000 | #Constraints: 15920
165.19/165.77 c #Conflicts: 196000 | #Constraints: 16920
165.19/165.77 c #Conflicts: 197000 | #Constraints: 17920
165.19/165.77 c #Conflicts: 198000 | #Constraints: 18920
165.19/165.77 c INPROCESSING
165.19/165.77 c GARBAGE COLLECT
165.19/165.77 c #Conflicts: 199000 | #Constraints: 11123
165.19/165.77 c #Conflicts: 200000 | #Constraints: 12123
165.19/165.77 c #Conflicts: 201000 | #Constraints: 13123
165.19/165.77 c #Conflicts: 202000 | #Constraints: 14123
165.19/165.77 c #Conflicts: 203000 | #Constraints: 15123
165.19/165.77 c #Conflicts: 204000 | #Constraints: 16123
165.19/165.77 c #Conflicts: 205000 | #Constraints: 17123
165.19/165.77 c #Conflicts: 206000 | #Constraints: 18123
165.19/165.77 c #Conflicts: 207000 | #Constraints: 19123
165.19/165.77 c INPROCESSING
165.19/165.77 c GARBAGE COLLECT
165.19/165.77 c #Conflicts: 208000 | #Constraints: 11130
165.19/165.77 c #Conflicts: 209000 | #Constraints: 12130
165.19/165.77 c #Conflicts: 210000 | #Constraints: 13130
165.19/165.77 c #Conflicts: 211000 | #Constraints: 14130
165.19/165.77 c #Conflicts: 212000 | #Constraints: 15130
165.19/165.77 c #Conflicts: 213000 | #Constraints: 16130
165.19/165.77 c #Conflicts: 214000 | #Constraints: 17130
165.19/165.77 c #Conflicts: 215000 | #Constraints: 18130
165.19/165.77 c #Conflicts: 216000 | #Constraints: 19130
165.19/165.77 c INPROCESSING
165.19/165.77 c GARBAGE COLLECT
165.19/165.77 c #Conflicts: 217000 | #Constraints: 10931
165.19/165.77 c #Conflicts: 218000 | #Constraints: 11931
165.19/165.77 c #Conflicts: 219000 | #Constraints: 12931
165.19/165.77 c #Conflicts: 220000 | #Constraints: 13931
165.19/165.77 c #Conflicts: 221000 | #Constraints: 14931
165.19/165.77 c #Conflicts: 222000 | #Constraints: 15931
165.19/165.77 c #Conflicts: 223000 | #Constraints: 16931
165.19/165.77 c #Conflicts: 224000 | #Constraints: 17931
165.19/165.77 c #Conflicts: 225000 | #Constraints: 18931
165.19/165.77 c #Conflicts: 226000 | #Constraints: 19931
165.19/165.77 c INPROCESSING
165.19/165.77 c GARBAGE COLLECT
165.19/165.77 c #Conflicts: 227000 | #Constraints: 11526
165.19/165.77 c #Conflicts: 228000 | #Constraints: 12526
165.19/165.77 c #Conflicts: 229000 | #Constraints: 13526
165.19/165.77 c #Conflicts: 230000 | #Constraints: 14526
165.19/165.77 c #Conflicts: 231000 | #Constraints: 15526
165.19/165.77 c #Conflicts: 232000 | #Constraints: 16526
165.19/165.77 c GLOBAL bounds - >= 0 @ 162.983
201.69/202.32 c #Conflicts: 233000 | #Constraints: 17528
201.69/202.32 c #Conflicts: 234000 | #Constraints: 18528
201.69/202.32 c #Conflicts: 235000 | #Constraints: 19528
201.69/202.32 c #Conflicts: 236000 | #Constraints: 20528
201.69/202.32 c INPROCESSING
201.69/202.32 c GARBAGE COLLECT
201.69/202.32 c #Conflicts: 237000 | #Constraints: 11933
201.69/202.32 c #Conflicts: 238000 | #Constraints: 12933
201.69/202.32 c #Conflicts: 239000 | #Constraints: 13933
201.69/202.32 c #Conflicts: 240000 | #Constraints: 14933
201.69/202.32 c #Conflicts: 241000 | #Constraints: 15933
201.69/202.32 c #Conflicts: 242000 | #Constraints: 16933
201.69/202.32 c #Conflicts: 243000 | #Constraints: 17933
201.69/202.32 c #Conflicts: 244000 | #Constraints: 18933
201.69/202.32 c #Conflicts: 245000 | #Constraints: 19933
201.69/202.32 c #Conflicts: 246000 | #Constraints: 20933
201.69/202.32 c INPROCESSING
201.69/202.32 c GARBAGE COLLECT
201.69/202.32 c #Conflicts: 247000 | #Constraints: 12143
201.69/202.32 c #Conflicts: 248000 | #Constraints: 13143
201.69/202.32 c #Conflicts: 249000 | #Constraints: 14143
201.69/202.32 c #Conflicts: 250000 | #Constraints: 15143
201.69/202.32 c #Conflicts: 251000 | #Constraints: 16143
201.69/202.32 c #Conflicts: 252000 | #Constraints: 17143
201.69/202.32 c #Conflicts: 253000 | #Constraints: 18143
201.69/202.32 c #Conflicts: 254000 | #Constraints: 19143
201.69/202.32 c #Conflicts: 255000 | #Constraints: 20143
201.69/202.32 c #Conflicts: 256000 | #Constraints: 21143
201.69/202.32 c INPROCESSING
201.69/202.32 c GARBAGE COLLECT
201.69/202.32 c #Conflicts: 257000 | #Constraints: 12142
201.69/202.32 c #Conflicts: 258000 | #Constraints: 13142
201.69/202.32 c #Conflicts: 259000 | #Constraints: 14142
201.69/202.32 c #Conflicts: 260000 | #Constraints: 15142
201.69/202.32 c #Conflicts: 261000 | #Constraints: 16142
201.69/202.32 c #Conflicts: 262000 | #Constraints: 17142
201.69/202.32 c #Conflicts: 263000 | #Constraints: 18142
201.69/202.32 c #Conflicts: 264000 | #Constraints: 19142
201.69/202.32 c #Conflicts: 265000 | #Constraints: 20142
201.69/202.32 c #Conflicts: 266000 | #Constraints: 21142
201.69/202.32 c INPROCESSING
201.69/202.32 c GARBAGE COLLECT
201.69/202.32 c #Conflicts: 267000 | #Constraints: 11935
201.69/202.32 c #Conflicts: 268000 | #Constraints: 12935
201.69/202.32 c #Conflicts: 269000 | #Constraints: 13935
201.69/202.32 c #Conflicts: 270000 | #Constraints: 14935
201.69/202.32 c GLOBAL bounds - >= 0 @ 199.036
273.38/274.25 c #Conflicts: 271000 | #Constraints: 15937
273.38/274.25 c #Conflicts: 272000 | #Constraints: 16937
273.38/274.25 c #Conflicts: 273000 | #Constraints: 17937
273.38/274.25 c #Conflicts: 274000 | #Constraints: 18937
273.38/274.25 c #Conflicts: 275000 | #Constraints: 19937
273.38/274.25 c #Conflicts: 276000 | #Constraints: 20937
273.38/274.25 c #Conflicts: 277000 | #Constraints: 21937
273.38/274.25 c INPROCESSING
273.38/274.25 c GARBAGE COLLECT
273.38/274.25 c #Conflicts: 278000 | #Constraints: 12516
273.38/274.25 c #Conflicts: 279000 | #Constraints: 13516
273.38/274.25 c #Conflicts: 280000 | #Constraints: 14516
273.38/274.25 c #Conflicts: 281000 | #Constraints: 15516
273.38/274.25 c #Conflicts: 282000 | #Constraints: 16516
273.38/274.25 c #Conflicts: 283000 | #Constraints: 17516
273.38/274.25 c #Conflicts: 284000 | #Constraints: 18516
273.38/274.25 c #Conflicts: 285000 | #Constraints: 19516
273.38/274.25 c #Conflicts: 286000 | #Constraints: 20516
273.38/274.25 c #Conflicts: 287000 | #Constraints: 21516
273.38/274.25 c #Conflicts: 288000 | #Constraints: 22516
273.38/274.25 c INPROCESSING
273.38/274.25 c GARBAGE COLLECT
273.38/274.25 c #Conflicts: 289000 | #Constraints: 12919
273.38/274.25 c #Conflicts: 290000 | #Constraints: 13919
273.38/274.25 c #Conflicts: 291000 | #Constraints: 14919
273.38/274.25 c #Conflicts: 292000 | #Constraints: 15919
273.38/274.25 c #Conflicts: 293000 | #Constraints: 16919
273.38/274.25 c #Conflicts: 294000 | #Constraints: 17919
273.38/274.25 c #Conflicts: 295000 | #Constraints: 18919
273.38/274.25 c #Conflicts: 296000 | #Constraints: 19919
273.38/274.25 c #Conflicts: 297000 | #Constraints: 20919
273.38/274.25 c #Conflicts: 298000 | #Constraints: 21919
273.38/274.25 c #Conflicts: 299000 | #Constraints: 22919
273.38/274.25 c INPROCESSING
273.38/274.25 c GARBAGE COLLECT
273.38/274.25 c #Conflicts: 300000 | #Constraints: 13119
273.38/274.25 c #Conflicts: 301000 | #Constraints: 14119
273.38/274.25 c #Conflicts: 302000 | #Constraints: 15119
273.38/274.25 c #Conflicts: 303000 | #Constraints: 16119
273.38/274.25 c #Conflicts: 304000 | #Constraints: 17119
273.38/274.25 c #Conflicts: 305000 | #Constraints: 18119
273.38/274.25 c #Conflicts: 306000 | #Constraints: 19119
273.38/274.25 c #Conflicts: 307000 | #Constraints: 20119
273.38/274.25 c #Conflicts: 308000 | #Constraints: 21119
273.38/274.25 c #Conflicts: 309000 | #Constraints: 22119
273.38/274.25 c #Conflicts: 310000 | #Constraints: 23119
273.38/274.25 c INPROCESSING
273.38/274.25 c GARBAGE COLLECT
273.38/274.25 c #Conflicts: 311000 | #Constraints: 13127
273.38/274.25 c #Conflicts: 312000 | #Constraints: 14127
273.38/274.25 c #Conflicts: 313000 | #Constraints: 15127
273.38/274.25 c #Conflicts: 314000 | #Constraints: 16127
273.38/274.25 c #Conflicts: 315000 | #Constraints: 17127
273.38/274.25 c #Conflicts: 316000 | #Constraints: 18127
273.38/274.25 c #Conflicts: 317000 | #Constraints: 19127
273.38/274.25 c #Conflicts: 318000 | #Constraints: 20127
273.38/274.25 c #Conflicts: 319000 | #Constraints: 21127
273.38/274.25 c #Conflicts: 320000 | #Constraints: 22127
273.38/274.25 c #Conflicts: 321000 | #Constraints: 23127
273.38/274.25 c INPROCESSING
273.38/274.25 c GARBAGE COLLECT
273.38/274.25 c #Conflicts: 322000 | #Constraints: 12926
273.38/274.25 c #Conflicts: 323000 | #Constraints: 13926
273.38/274.25 c #Conflicts: 324000 | #Constraints: 14926
273.38/274.25 c #Conflicts: 325000 | #Constraints: 15926
273.38/274.25 c #Conflicts: 326000 | #Constraints: 16926
273.38/274.25 c #Conflicts: 327000 | #Constraints: 17926
273.38/274.25 c #Conflicts: 328000 | #Constraints: 18926
273.38/274.25 c #Conflicts: 329000 | #Constraints: 19926
273.38/274.25 c #Conflicts: 330000 | #Constraints: 20926
273.38/274.25 c #Conflicts: 331000 | #Constraints: 21926
273.38/274.25 c #Conflicts: 332000 | #Constraints: 22926
273.38/274.25 c #Conflicts: 333000 | #Constraints: 23926
273.38/274.25 c INPROCESSING
273.38/274.25 c GARBAGE COLLECT
273.38/274.25 c #Conflicts: 334000 | #Constraints: 13529
273.38/274.25 c #Conflicts: 335000 | #Constraints: 14529
273.38/274.25 c #Conflicts: 336000 | #Constraints: 15529
273.38/274.25 c #Conflicts: 337000 | #Constraints: 16529
273.38/274.25 c #Conflicts: 338000 | #Constraints: 17529
273.38/274.25 c #Conflicts: 339000 | #Constraints: 18529
273.38/274.25 c #Conflicts: 340000 | #Constraints: 19529
273.38/274.25 c #Conflicts: 341000 | #Constraints: 20529
273.38/274.25 c #Conflicts: 342000 | #Constraints: 21529
273.38/274.25 c #Conflicts: 343000 | #Constraints: 22529
273.38/274.25 c #Conflicts: 344000 | #Constraints: 23529
273.38/274.25 c #Conflicts: 345000 | #Constraints: 24529
373.99/375.17 c INPROCESSING
373.99/375.17 c GARBAGE COLLECT
373.99/375.17 c #Conflicts: 346000 | #Constraints: 13933
373.99/375.17 c #Conflicts: 347000 | #Constraints: 14933
373.99/375.17 c #Conflicts: 348000 | #Constraints: 15933
373.99/375.17 c #Conflicts: 349000 | #Constraints: 16933
373.99/375.17 c #Conflicts: 350000 | #Constraints: 17933
373.99/375.17 c #Conflicts: 351000 | #Constraints: 18933
373.99/375.17 c #Conflicts: 352000 | #Constraints: 19933
373.99/375.17 c #Conflicts: 353000 | #Constraints: 20933
373.99/375.17 c #Conflicts: 354000 | #Constraints: 21933
373.99/375.17 c #Conflicts: 355000 | #Constraints: 22933
373.99/375.17 c #Conflicts: 356000 | #Constraints: 23933
373.99/375.17 c #Conflicts: 357000 | #Constraints: 24933
373.99/375.17 c INPROCESSING
373.99/375.17 c GARBAGE COLLECT
373.99/375.17 c #Conflicts: 358000 | #Constraints: 14136
373.99/375.17 c #Conflicts: 359000 | #Constraints: 15136
373.99/375.17 c #Conflicts: 360000 | #Constraints: 16136
373.99/375.17 c #Conflicts: 361000 | #Constraints: 17136
373.99/375.17 c #Conflicts: 362000 | #Constraints: 18136
373.99/375.17 c #Conflicts: 363000 | #Constraints: 19136
373.99/375.17 c #Conflicts: 364000 | #Constraints: 20136
373.99/375.17 c #Conflicts: 365000 | #Constraints: 21136
373.99/375.17 c #Conflicts: 366000 | #Constraints: 22136
373.99/375.17 c #Conflicts: 367000 | #Constraints: 23136
373.99/375.17 c #Conflicts: 368000 | #Constraints: 24136
373.99/375.17 c #Conflicts: 369000 | #Constraints: 25136
373.99/375.17 c INPROCESSING
373.99/375.17 c GARBAGE COLLECT
373.99/375.17 c #Conflicts: 370000 | #Constraints: 14131
373.99/375.17 c #Conflicts: 371000 | #Constraints: 15131
373.99/375.17 c #Conflicts: 372000 | #Constraints: 16131
373.99/375.17 c #Conflicts: 373000 | #Constraints: 17131
373.99/375.17 c #Conflicts: 374000 | #Constraints: 18131
373.99/375.17 c #Conflicts: 375000 | #Constraints: 19131
373.99/375.17 c #Conflicts: 376000 | #Constraints: 20131
373.99/375.17 c #Conflicts: 377000 | #Constraints: 21131
373.99/375.17 c #Conflicts: 378000 | #Constraints: 22131
373.99/375.17 c #Conflicts: 379000 | #Constraints: 23131
373.99/375.17 c #Conflicts: 380000 | #Constraints: 24131
373.99/375.17 c #Conflicts: 381000 | #Constraints: 25131
373.99/375.17 c INPROCESSING
373.99/375.17 c GARBAGE COLLECT
373.99/375.17 c #Conflicts: 382000 | #Constraints: 13932
373.99/375.17 c #Conflicts: 383000 | #Constraints: 14932
373.99/375.17 c #Conflicts: 384000 | #Constraints: 15932
373.99/375.17 c #Conflicts: 385000 | #Constraints: 16932
373.99/375.17 c #Conflicts: 386000 | #Constraints: 17932
373.99/375.17 c #Conflicts: 387000 | #Constraints: 18932
373.99/375.17 c #Conflicts: 388000 | #Constraints: 19932
373.99/375.17 c #Conflicts: 389000 | #Constraints: 20932
373.99/375.17 c #Conflicts: 390000 | #Constraints: 21932
373.99/375.17 c #Conflicts: 391000 | #Constraints: 22932
373.99/375.17 c #Conflicts: 392000 | #Constraints: 23932
373.99/375.17 c #Conflicts: 393000 | #Constraints: 24932
373.99/375.17 c #Conflicts: 394000 | #Constraints: 25932
373.99/375.17 c INPROCESSING
373.99/375.17 c GARBAGE COLLECT
373.99/375.17 c #Conflicts: 395000 | #Constraints: 14540
373.99/375.17 c #Conflicts: 396000 | #Constraints: 15540
373.99/375.17 c #Conflicts: 397000 | #Constraints: 16540
373.99/375.17 c #Conflicts: 398000 | #Constraints: 17540
373.99/375.17 c #Conflicts: 399000 | #Constraints: 18540
373.99/375.17 c #Conflicts: 400000 | #Constraints: 19540
373.99/375.17 c #Conflicts: 401000 | #Constraints: 20540
373.99/375.17 c #Conflicts: 402000 | #Constraints: 21540
373.99/375.17 c #Conflicts: 403000 | #Constraints: 22540
373.99/375.17 c #Conflicts: 404000 | #Constraints: 23540
373.99/375.17 c #Conflicts: 405000 | #Constraints: 24540
373.99/375.17 c #Conflicts: 406000 | #Constraints: 25540
373.99/375.17 c #Conflicts: 407000 | #Constraints: 26540
373.99/375.17 c INPROCESSING
373.99/375.17 c GARBAGE COLLECT
373.99/375.17 c #Conflicts: 408000 | #Constraints: 14938
373.99/375.17 c #Conflicts: 409000 | #Constraints: 15938
373.99/375.17 c #Conflicts: 410000 | #Constraints: 16938
373.99/375.17 c #Conflicts: 411000 | #Constraints: 17938
373.99/375.17 c #Conflicts: 412000 | #Constraints: 18938
373.99/375.17 c #Conflicts: 413000 | #Constraints: 19938
373.99/375.17 c #Conflicts: 414000 | #Constraints: 20938
373.99/375.17 c #Conflicts: 415000 | #Constraints: 21938
373.99/375.17 c #Conflicts: 416000 | #Constraints: 22938
373.99/375.17 c #Conflicts: 417000 | #Constraints: 23938
373.99/375.17 c #Conflicts: 418000 | #Constraints: 24938
373.99/375.17 c #Conflicts: 419000 | #Constraints: 25938
373.99/375.17 c #Conflicts: 420000 | #Constraints: 26938
428.34/429.63 c INPROCESSING
428.34/429.63 c GARBAGE COLLECT
428.34/429.63 c #Conflicts: 421000 | #Constraints: 15142
428.34/429.63 c #Conflicts: 422000 | #Constraints: 16142
428.34/429.63 c #Conflicts: 423000 | #Constraints: 17142
428.34/429.63 c #Conflicts: 424000 | #Constraints: 18142
428.34/429.63 c #Conflicts: 425000 | #Constraints: 19142
428.34/429.63 c #Conflicts: 426000 | #Constraints: 20142
428.34/429.63 c #Conflicts: 427000 | #Constraints: 21142
428.34/429.63 c #Conflicts: 428000 | #Constraints: 22142
428.34/429.63 c #Conflicts: 429000 | #Constraints: 23142
428.34/429.63 c #Conflicts: 430000 | #Constraints: 24142
428.34/429.63 c #Conflicts: 431000 | #Constraints: 25142
428.34/429.63 c #Conflicts: 432000 | #Constraints: 26142
428.34/429.63 c #Conflicts: 433000 | #Constraints: 27142
428.34/429.63 c INPROCESSING
428.34/429.63 c GARBAGE COLLECT
428.34/429.63 c #Conflicts: 434000 | #Constraints: 15156
428.34/429.63 c #Conflicts: 435000 | #Constraints: 16156
428.34/429.63 c #Conflicts: 436000 | #Constraints: 17156
428.34/429.63 c #Conflicts: 437000 | #Constraints: 18156
428.34/429.63 c #Conflicts: 438000 | #Constraints: 19156
428.34/429.63 c #Conflicts: 439000 | #Constraints: 20156
428.34/429.63 c #Conflicts: 440000 | #Constraints: 21156
428.34/429.63 c #Conflicts: 441000 | #Constraints: 22156
428.34/429.63 c #Conflicts: 442000 | #Constraints: 23156
428.34/429.63 c #Conflicts: 443000 | #Constraints: 24156
428.34/429.63 c #Conflicts: 444000 | #Constraints: 25156
428.34/429.63 c #Conflicts: 445000 | #Constraints: 26156
428.34/429.63 c #Conflicts: 446000 | #Constraints: 27156
428.34/429.63 c INPROCESSING
428.34/429.63 c GARBAGE COLLECT
428.34/429.63 c #Conflicts: 447000 | #Constraints: 14958
428.34/429.63 c #Conflicts: 448000 | #Constraints: 15958
428.34/429.63 c #Conflicts: 449000 | #Constraints: 16958
428.34/429.63 c #Conflicts: 450000 | #Constraints: 17958
428.34/429.63 c #Conflicts: 451000 | #Constraints: 18958
428.34/429.63 c #Conflicts: 452000 | #Constraints: 19958
428.34/429.63 c #Conflicts: 453000 | #Constraints: 20958
428.34/429.63 c #Conflicts: 454000 | #Constraints: 21958
428.34/429.63 c #Conflicts: 455000 | #Constraints: 22958
428.34/429.63 c #Conflicts: 456000 | #Constraints: 23958
428.34/429.63 c #Conflicts: 457000 | #Constraints: 24958
428.34/429.63 c #Conflicts: 458000 | #Constraints: 25958
428.34/429.63 c #Conflicts: 459000 | #Constraints: 26958
428.34/429.63 c #Conflicts: 460000 | #Constraints: 27958
428.34/429.63 c INPROCESSING
428.34/429.63 c GARBAGE COLLECT
428.34/429.63 c #Conflicts: 461000 | #Constraints: 15547
428.34/429.63 c #Conflicts: 462000 | #Constraints: 16547
428.34/429.63 c GLOBAL bounds - >= 0 @ 423.711
520.70/522.20 c #Conflicts: 463000 | #Constraints: 17549
520.70/522.20 c #Conflicts: 464000 | #Constraints: 18549
520.70/522.20 c #Conflicts: 465000 | #Constraints: 19549
520.70/522.20 c #Conflicts: 466000 | #Constraints: 20549
520.70/522.20 c #Conflicts: 467000 | #Constraints: 21549
520.70/522.20 c #Conflicts: 468000 | #Constraints: 22549
520.70/522.20 c #Conflicts: 469000 | #Constraints: 23549
520.70/522.20 c #Conflicts: 470000 | #Constraints: 24549
520.70/522.20 c #Conflicts: 471000 | #Constraints: 25549
520.70/522.20 c #Conflicts: 472000 | #Constraints: 26549
520.70/522.20 c #Conflicts: 473000 | #Constraints: 27549
520.70/522.20 c #Conflicts: 474000 | #Constraints: 28549
520.70/522.20 c INPROCESSING
520.70/522.20 c GARBAGE COLLECT
520.70/522.20 c #Conflicts: 475000 | #Constraints: 15939
520.70/522.20 c #Conflicts: 476000 | #Constraints: 16939
520.70/522.20 c #Conflicts: 477000 | #Constraints: 17939
520.70/522.20 c #Conflicts: 478000 | #Constraints: 18939
520.70/522.20 c #Conflicts: 479000 | #Constraints: 19939
520.70/522.20 c #Conflicts: 480000 | #Constraints: 20939
520.70/522.20 c #Conflicts: 481000 | #Constraints: 21939
520.70/522.20 c #Conflicts: 482000 | #Constraints: 22939
520.70/522.20 c #Conflicts: 483000 | #Constraints: 23939
520.70/522.20 c #Conflicts: 484000 | #Constraints: 24939
520.70/522.20 c #Conflicts: 485000 | #Constraints: 25939
520.70/522.20 c #Conflicts: 486000 | #Constraints: 26939
520.70/522.20 c #Conflicts: 487000 | #Constraints: 27939
520.70/522.20 c #Conflicts: 488000 | #Constraints: 28939
520.70/522.20 c INPROCESSING
520.70/522.20 c GARBAGE COLLECT
520.70/522.20 c #Conflicts: 489000 | #Constraints: 16143
520.70/522.20 c #Conflicts: 490000 | #Constraints: 17143
520.70/522.20 c #Conflicts: 491000 | #Constraints: 18143
520.70/522.20 c #Conflicts: 492000 | #Constraints: 19143
520.70/522.20 c #Conflicts: 493000 | #Constraints: 20143
520.70/522.20 c #Conflicts: 494000 | #Constraints: 21143
520.70/522.20 c #Conflicts: 495000 | #Constraints: 22143
520.70/522.20 c #Conflicts: 496000 | #Constraints: 23143
520.70/522.20 c #Conflicts: 497000 | #Constraints: 24143
520.70/522.20 c #Conflicts: 498000 | #Constraints: 25143
520.70/522.20 c #Conflicts: 499000 | #Constraints: 26143
520.70/522.20 c #Conflicts: 500000 | #Constraints: 27143
520.70/522.20 c #Conflicts: 501000 | #Constraints: 28143
520.70/522.20 c #Conflicts: 502000 | #Constraints: 29143
520.70/522.20 c INPROCESSING
520.70/522.20 c GARBAGE COLLECT
520.70/522.20 c #Conflicts: 503000 | #Constraints: 16137
520.70/522.20 c #Conflicts: 504000 | #Constraints: 17137
520.70/522.20 c #Conflicts: 505000 | #Constraints: 18137
520.70/522.20 c #Conflicts: 506000 | #Constraints: 19137
520.70/522.20 c #Conflicts: 507000 | #Constraints: 20137
520.70/522.20 c #Conflicts: 508000 | #Constraints: 21137
520.70/522.20 c #Conflicts: 509000 | #Constraints: 22137
520.70/522.20 c #Conflicts: 510000 | #Constraints: 23137
520.70/522.20 c #Conflicts: 511000 | #Constraints: 24137
520.70/522.20 c #Conflicts: 512000 | #Constraints: 25137
520.70/522.20 c #Conflicts: 513000 | #Constraints: 26137
520.70/522.20 c #Conflicts: 514000 | #Constraints: 27137
520.70/522.20 c #Conflicts: 515000 | #Constraints: 28137
520.70/522.20 c #Conflicts: 516000 | #Constraints: 29137
520.70/522.20 c INPROCESSING
520.70/522.20 c GARBAGE COLLECT
520.70/522.20 c #Conflicts: 517000 | #Constraints: 15934
520.70/522.20 c #Conflicts: 518000 | #Constraints: 16934
520.70/522.20 c #Conflicts: 519000 | #Constraints: 17934
520.70/522.20 c #Conflicts: 520000 | #Constraints: 18934
520.70/522.20 c #Conflicts: 521000 | #Constraints: 19934
520.70/522.20 c #Conflicts: 522000 | #Constraints: 20934
520.70/522.20 c #Conflicts: 523000 | #Constraints: 21934
520.70/522.20 c #Conflicts: 524000 | #Constraints: 22934
520.70/522.20 c #Conflicts: 525000 | #Constraints: 23934
520.70/522.20 c #Conflicts: 526000 | #Constraints: 24934
520.70/522.20 c #Conflicts: 527000 | #Constraints: 25934
520.70/522.20 c #Conflicts: 528000 | #Constraints: 26934
520.70/522.20 c #Conflicts: 529000 | #Constraints: 27934
520.70/522.20 c #Conflicts: 530000 | #Constraints: 28934
520.70/522.20 c #Conflicts: 531000 | #Constraints: 29934
520.70/522.20 c INPROCESSING
520.70/522.20 c GARBAGE COLLECT
520.70/522.20 c #Conflicts: 532000 | #Constraints: 16526
520.70/522.20 c #Conflicts: 533000 | #Constraints: 17526
520.70/522.20 c #Conflicts: 534000 | #Constraints: 18526
520.70/522.20 c #Conflicts: 535000 | #Constraints: 19526
520.70/522.20 c #Conflicts: 536000 | #Constraints: 20526
520.70/522.20 c #Conflicts: 537000 | #Constraints: 21526
520.70/522.20 c #Conflicts: 538000 | #Constraints: 22526
578.63/580.37 c #Conflicts: 539000 | #Constraints: 23526
578.63/580.37 c #Conflicts: 540000 | #Constraints: 24526
578.63/580.37 c #Conflicts: 541000 | #Constraints: 25526
578.63/580.37 c #Conflicts: 542000 | #Constraints: 26526
578.63/580.37 c #Conflicts: 543000 | #Constraints: 27526
578.63/580.37 c #Conflicts: 544000 | #Constraints: 28526
578.63/580.37 c #Conflicts: 545000 | #Constraints: 29526
578.63/580.37 c #Conflicts: 546000 | #Constraints: 30526
578.63/580.37 c INPROCESSING
578.63/580.37 c GARBAGE COLLECT
578.63/580.37 c #Conflicts: 547000 | #Constraints: 16922
578.63/580.37 c #Conflicts: 548000 | #Constraints: 17922
578.63/580.37 c #Conflicts: 549000 | #Constraints: 18922
578.63/580.37 c #Conflicts: 550000 | #Constraints: 19922
578.63/580.37 c #Conflicts: 551000 | #Constraints: 20922
578.63/580.37 c #Conflicts: 552000 | #Constraints: 21922
578.63/580.37 c #Conflicts: 553000 | #Constraints: 22922
578.63/580.37 c #Conflicts: 554000 | #Constraints: 23922
578.63/580.37 c #Conflicts: 555000 | #Constraints: 24922
578.63/580.37 c #Conflicts: 556000 | #Constraints: 25922
578.63/580.37 c #Conflicts: 557000 | #Constraints: 26922
578.63/580.37 c #Conflicts: 558000 | #Constraints: 27922
578.63/580.37 c #Conflicts: 559000 | #Constraints: 28922
578.63/580.37 c #Conflicts: 560000 | #Constraints: 29922
578.63/580.37 c #Conflicts: 561000 | #Constraints: 30922
578.63/580.37 c INPROCESSING
578.63/580.37 c GARBAGE COLLECT
578.63/580.37 c #Conflicts: 562000 | #Constraints: 17136
578.63/580.37 c #Conflicts: 563000 | #Constraints: 18136
578.63/580.37 c #Conflicts: 564000 | #Constraints: 19136
578.63/580.37 c #Conflicts: 565000 | #Constraints: 20136
578.63/580.37 c #Conflicts: 566000 | #Constraints: 21136
578.63/580.37 c #Conflicts: 567000 | #Constraints: 22136
578.63/580.37 c #Conflicts: 568000 | #Constraints: 23136
578.63/580.37 c #Conflicts: 569000 | #Constraints: 24136
578.63/580.37 c #Conflicts: 570000 | #Constraints: 25136
578.63/580.37 c #Conflicts: 571000 | #Constraints: 26136
578.63/580.37 c #Conflicts: 572000 | #Constraints: 27136
578.63/580.37 c #Conflicts: 573000 | #Constraints: 28136
578.63/580.37 c #Conflicts: 574000 | #Constraints: 29136
578.63/580.37 c #Conflicts: 575000 | #Constraints: 30136
578.63/580.37 c #Conflicts: 576000 | #Constraints: 31136
578.63/580.37 c INPROCESSING
578.63/580.37 c GARBAGE COLLECT
578.63/580.37 c #Conflicts: 577000 | #Constraints: 17130
578.63/580.37 c #Conflicts: 578000 | #Constraints: 18130
578.63/580.37 c #Conflicts: 579000 | #Constraints: 19130
578.63/580.37 c #Conflicts: 580000 | #Constraints: 20130
578.63/580.37 c GLOBAL bounds - >= 0 @ 572.974
698.53/700.61 c #Conflicts: 581000 | #Constraints: 21132
698.53/700.61 c #Conflicts: 582000 | #Constraints: 22132
698.53/700.61 c #Conflicts: 583000 | #Constraints: 23132
698.53/700.61 c #Conflicts: 584000 | #Constraints: 24132
698.53/700.61 c #Conflicts: 585000 | #Constraints: 25132
698.53/700.61 c #Conflicts: 586000 | #Constraints: 26132
698.53/700.61 c #Conflicts: 587000 | #Constraints: 27132
698.53/700.61 c #Conflicts: 588000 | #Constraints: 28132
698.53/700.61 c #Conflicts: 589000 | #Constraints: 29132
698.53/700.61 c #Conflicts: 590000 | #Constraints: 30132
698.53/700.61 c #Conflicts: 591000 | #Constraints: 31132
698.53/700.61 c INPROCESSING
698.53/700.61 c GARBAGE COLLECT
698.53/700.61 c #Conflicts: 592000 | #Constraints: 16952
698.53/700.61 c #Conflicts: 593000 | #Constraints: 17952
698.53/700.61 c #Conflicts: 594000 | #Constraints: 18952
698.53/700.61 c #Conflicts: 595000 | #Constraints: 19952
698.53/700.61 c #Conflicts: 596000 | #Constraints: 20952
698.53/700.61 c #Conflicts: 597000 | #Constraints: 21952
698.53/700.61 c #Conflicts: 598000 | #Constraints: 22952
698.53/700.61 c #Conflicts: 599000 | #Constraints: 23952
698.53/700.61 c #Conflicts: 600000 | #Constraints: 24952
698.53/700.61 c #Conflicts: 601000 | #Constraints: 25952
698.53/700.61 c #Conflicts: 602000 | #Constraints: 26952
698.53/700.61 c #Conflicts: 603000 | #Constraints: 27952
698.53/700.61 c #Conflicts: 604000 | #Constraints: 28952
698.53/700.61 c #Conflicts: 605000 | #Constraints: 29952
698.53/700.61 c #Conflicts: 606000 | #Constraints: 30952
698.53/700.61 c #Conflicts: 607000 | #Constraints: 31952
698.53/700.61 c INPROCESSING
698.53/700.61 c GARBAGE COLLECT
698.53/700.61 c #Conflicts: 608000 | #Constraints: 17547
698.53/700.61 c #Conflicts: 609000 | #Constraints: 18547
698.53/700.61 c #Conflicts: 610000 | #Constraints: 19547
698.53/700.61 c #Conflicts: 611000 | #Constraints: 20547
698.53/700.61 c #Conflicts: 612000 | #Constraints: 21547
698.53/700.61 c #Conflicts: 613000 | #Constraints: 22547
698.53/700.61 c #Conflicts: 614000 | #Constraints: 23547
698.53/700.61 c #Conflicts: 615000 | #Constraints: 24547
698.53/700.61 c #Conflicts: 616000 | #Constraints: 25547
698.53/700.61 c #Conflicts: 617000 | #Constraints: 26547
698.53/700.61 c #Conflicts: 618000 | #Constraints: 27547
698.53/700.61 c #Conflicts: 619000 | #Constraints: 28547
698.53/700.61 c #Conflicts: 620000 | #Constraints: 29547
698.53/700.61 c #Conflicts: 621000 | #Constraints: 30547
698.53/700.61 c #Conflicts: 622000 | #Constraints: 31547
698.53/700.61 c #Conflicts: 623000 | #Constraints: 32547
698.53/700.61 c INPROCESSING
698.53/700.61 c GARBAGE COLLECT
698.53/700.61 c #Conflicts: 624000 | #Constraints: 17947
698.53/700.61 c #Conflicts: 625000 | #Constraints: 18947
698.53/700.61 c #Conflicts: 626000 | #Constraints: 19947
698.53/700.61 c #Conflicts: 627000 | #Constraints: 20947
698.53/700.61 c #Conflicts: 628000 | #Constraints: 21947
698.53/700.61 c #Conflicts: 629000 | #Constraints: 22947
698.53/700.61 c #Conflicts: 630000 | #Constraints: 23947
698.53/700.61 c #Conflicts: 631000 | #Constraints: 24947
698.53/700.61 c #Conflicts: 632000 | #Constraints: 25947
698.53/700.61 c #Conflicts: 633000 | #Constraints: 26947
698.53/700.61 c #Conflicts: 634000 | #Constraints: 27947
698.53/700.61 c #Conflicts: 635000 | #Constraints: 28947
698.53/700.61 c #Conflicts: 636000 | #Constraints: 29947
698.53/700.61 c #Conflicts: 637000 | #Constraints: 30947
698.53/700.61 c #Conflicts: 638000 | #Constraints: 31947
698.53/700.61 c #Conflicts: 639000 | #Constraints: 32947
698.53/700.61 c INPROCESSING
698.53/700.61 c GARBAGE COLLECT
698.53/700.61 c #Conflicts: 640000 | #Constraints: 18144
698.53/700.61 c #Conflicts: 641000 | #Constraints: 19144
698.53/700.61 c #Conflicts: 642000 | #Constraints: 20144
698.53/700.61 c #Conflicts: 643000 | #Constraints: 21144
698.53/700.61 c #Conflicts: 644000 | #Constraints: 22144
698.53/700.61 c #Conflicts: 645000 | #Constraints: 23144
698.53/700.61 c #Conflicts: 646000 | #Constraints: 24144
698.53/700.61 c #Conflicts: 647000 | #Constraints: 25144
698.53/700.61 c #Conflicts: 648000 | #Constraints: 26144
698.53/700.61 c #Conflicts: 649000 | #Constraints: 27144
698.53/700.61 c #Conflicts: 650000 | #Constraints: 28144
698.53/700.61 c #Conflicts: 651000 | #Constraints: 29144
698.53/700.61 c #Conflicts: 652000 | #Constraints: 30144
698.53/700.61 c #Conflicts: 653000 | #Constraints: 31144
698.53/700.61 c #Conflicts: 654000 | #Constraints: 32144
698.53/700.61 c #Conflicts: 655000 | #Constraints: 33144
698.53/700.61 c INPROCESSING
698.53/700.61 c GARBAGE COLLECT
698.53/700.61 c #Conflicts: 656000 | #Constraints: 18147
826.60/829.15 c #Conflicts: 657000 | #Constraints: 19147
826.60/829.15 c #Conflicts: 658000 | #Constraints: 20147
826.60/829.15 c #Conflicts: 659000 | #Constraints: 21147
826.60/829.15 c #Conflicts: 660000 | #Constraints: 22147
826.60/829.15 c #Conflicts: 661000 | #Constraints: 23147
826.60/829.15 c #Conflicts: 662000 | #Constraints: 24147
826.60/829.15 c #Conflicts: 663000 | #Constraints: 25147
826.60/829.15 c #Conflicts: 664000 | #Constraints: 26147
826.60/829.15 c #Conflicts: 665000 | #Constraints: 27147
826.60/829.15 c #Conflicts: 666000 | #Constraints: 28147
826.60/829.15 c #Conflicts: 667000 | #Constraints: 29147
826.60/829.15 c #Conflicts: 668000 | #Constraints: 30147
826.60/829.15 c #Conflicts: 669000 | #Constraints: 31147
826.60/829.15 c #Conflicts: 670000 | #Constraints: 32147
826.60/829.15 c #Conflicts: 671000 | #Constraints: 33147
826.60/829.15 c INPROCESSING
826.60/829.15 c GARBAGE COLLECT
826.60/829.15 c #Conflicts: 672000 | #Constraints: 17944
826.60/829.15 c #Conflicts: 673000 | #Constraints: 18944
826.60/829.15 c #Conflicts: 674000 | #Constraints: 19944
826.60/829.15 c #Conflicts: 675000 | #Constraints: 20944
826.60/829.15 c #Conflicts: 676000 | #Constraints: 21944
826.60/829.15 c #Conflicts: 677000 | #Constraints: 22944
826.60/829.15 c #Conflicts: 678000 | #Constraints: 23944
826.60/829.15 c #Conflicts: 679000 | #Constraints: 24944
826.60/829.15 c #Conflicts: 680000 | #Constraints: 25944
826.60/829.15 c #Conflicts: 681000 | #Constraints: 26944
826.60/829.15 c #Conflicts: 682000 | #Constraints: 27944
826.60/829.15 c #Conflicts: 683000 | #Constraints: 28944
826.60/829.15 c #Conflicts: 684000 | #Constraints: 29944
826.60/829.15 c #Conflicts: 685000 | #Constraints: 30944
826.60/829.15 c #Conflicts: 686000 | #Constraints: 31944
826.60/829.15 c #Conflicts: 687000 | #Constraints: 32944
826.60/829.15 c #Conflicts: 688000 | #Constraints: 33944
826.60/829.15 c INPROCESSING
826.60/829.15 c GARBAGE COLLECT
826.60/829.15 c #Conflicts: 689000 | #Constraints: 18542
826.60/829.15 c #Conflicts: 690000 | #Constraints: 19542
826.60/829.15 c #Conflicts: 691000 | #Constraints: 20542
826.60/829.15 c #Conflicts: 692000 | #Constraints: 21542
826.60/829.15 c #Conflicts: 693000 | #Constraints: 22542
826.60/829.15 c #Conflicts: 694000 | #Constraints: 23542
826.60/829.15 c #Conflicts: 695000 | #Constraints: 24542
826.60/829.15 c #Conflicts: 696000 | #Constraints: 25542
826.60/829.15 c #Conflicts: 697000 | #Constraints: 26542
826.60/829.15 c #Conflicts: 698000 | #Constraints: 27542
826.60/829.15 c #Conflicts: 699000 | #Constraints: 28542
826.60/829.15 c #Conflicts: 700000 | #Constraints: 29542
826.60/829.15 c #Conflicts: 701000 | #Constraints: 30542
826.60/829.15 c #Conflicts: 702000 | #Constraints: 31542
826.60/829.15 c #Conflicts: 703000 | #Constraints: 32542
826.60/829.15 c #Conflicts: 704000 | #Constraints: 33542
826.60/829.15 c #Conflicts: 705000 | #Constraints: 34542
826.60/829.15 c INPROCESSING
826.60/829.15 c GARBAGE COLLECT
826.60/829.15 c #Conflicts: 706000 | #Constraints: 18941
826.60/829.15 c #Conflicts: 707000 | #Constraints: 19941
826.60/829.15 c #Conflicts: 708000 | #Constraints: 20941
826.60/829.15 c #Conflicts: 709000 | #Constraints: 21941
826.60/829.15 c #Conflicts: 710000 | #Constraints: 22941
826.60/829.15 c #Conflicts: 711000 | #Constraints: 23941
826.60/829.15 c #Conflicts: 712000 | #Constraints: 24941
826.60/829.15 c #Conflicts: 713000 | #Constraints: 25941
826.60/829.15 c #Conflicts: 714000 | #Constraints: 26941
826.60/829.15 c #Conflicts: 715000 | #Constraints: 27941
826.60/829.15 c #Conflicts: 716000 | #Constraints: 28941
826.60/829.15 c #Conflicts: 717000 | #Constraints: 29941
826.60/829.15 c #Conflicts: 718000 | #Constraints: 30941
826.60/829.15 c #Conflicts: 719000 | #Constraints: 31941
826.60/829.15 c #Conflicts: 720000 | #Constraints: 32941
826.60/829.15 c #Conflicts: 721000 | #Constraints: 33941
826.60/829.15 c #Conflicts: 722000 | #Constraints: 34941
826.60/829.15 c INPROCESSING
826.60/829.15 c GARBAGE COLLECT
826.60/829.15 c #Conflicts: 723000 | #Constraints: 19145
826.60/829.15 c #Conflicts: 724000 | #Constraints: 20145
826.60/829.15 c #Conflicts: 725000 | #Constraints: 21145
826.60/829.15 c #Conflicts: 726000 | #Constraints: 22145
826.60/829.15 c #Conflicts: 727000 | #Constraints: 23145
826.60/829.15 c #Conflicts: 728000 | #Constraints: 24145
826.60/829.15 c #Conflicts: 729000 | #Constraints: 25145
826.60/829.15 c #Conflicts: 730000 | #Constraints: 26145
826.60/829.15 c #Conflicts: 731000 | #Constraints: 27145
826.60/829.15 c #Conflicts: 732000 | #Constraints: 28145
902.95/905.77 c #Conflicts: 733000 | #Constraints: 29145
902.95/905.77 c #Conflicts: 734000 | #Constraints: 30145
902.95/905.77 c #Conflicts: 735000 | #Constraints: 31145
902.95/905.77 c #Conflicts: 736000 | #Constraints: 32145
902.95/905.77 c #Conflicts: 737000 | #Constraints: 33145
902.95/905.77 c #Conflicts: 738000 | #Constraints: 34145
902.95/905.77 c #Conflicts: 739000 | #Constraints: 35145
902.95/905.77 c INPROCESSING
902.95/905.77 c GARBAGE COLLECT
902.95/905.77 c #Conflicts: 740000 | #Constraints: 19146
902.95/905.77 c #Conflicts: 741000 | #Constraints: 20146
902.95/905.77 c #Conflicts: 742000 | #Constraints: 21146
902.95/905.77 c #Conflicts: 743000 | #Constraints: 22146
902.95/905.77 c #Conflicts: 744000 | #Constraints: 23146
902.95/905.77 c #Conflicts: 745000 | #Constraints: 24146
902.95/905.77 c #Conflicts: 746000 | #Constraints: 25146
902.95/905.77 c #Conflicts: 747000 | #Constraints: 26146
902.95/905.77 c #Conflicts: 748000 | #Constraints: 27146
902.95/905.77 c #Conflicts: 749000 | #Constraints: 28146
902.95/905.77 c #Conflicts: 750000 | #Constraints: 29146
902.95/905.77 c #Conflicts: 751000 | #Constraints: 30146
902.95/905.77 c #Conflicts: 752000 | #Constraints: 31146
902.95/905.77 c #Conflicts: 753000 | #Constraints: 32146
902.95/905.77 c #Conflicts: 754000 | #Constraints: 33146
902.95/905.77 c #Conflicts: 755000 | #Constraints: 34146
902.95/905.77 c #Conflicts: 756000 | #Constraints: 35146
902.95/905.77 c INPROCESSING
902.95/905.77 c GARBAGE COLLECT
902.95/905.77 c #Conflicts: 757000 | #Constraints: 18946
902.95/905.77 c #Conflicts: 758000 | #Constraints: 19946
902.95/905.77 c #Conflicts: 759000 | #Constraints: 20946
902.95/905.77 c #Conflicts: 760000 | #Constraints: 21946
902.95/905.77 c #Conflicts: 761000 | #Constraints: 22946
902.95/905.77 c #Conflicts: 762000 | #Constraints: 23946
902.95/905.77 c #Conflicts: 763000 | #Constraints: 24946
902.95/905.77 c #Conflicts: 764000 | #Constraints: 25946
902.95/905.77 c #Conflicts: 765000 | #Constraints: 26946
902.95/905.77 c #Conflicts: 766000 | #Constraints: 27946
902.95/905.77 c #Conflicts: 767000 | #Constraints: 28946
902.95/905.77 c #Conflicts: 768000 | #Constraints: 29946
902.95/905.77 c #Conflicts: 769000 | #Constraints: 30946
902.95/905.77 c #Conflicts: 770000 | #Constraints: 31946
902.95/905.77 c #Conflicts: 771000 | #Constraints: 32946
902.95/905.77 c #Conflicts: 772000 | #Constraints: 33946
902.95/905.77 c #Conflicts: 773000 | #Constraints: 34946
902.95/905.77 c #Conflicts: 774000 | #Constraints: 35946
902.95/905.77 c INPROCESSING
902.95/905.77 c GARBAGE COLLECT
902.95/905.77 c GLOBAL bounds - >= 0 @ 894.97
1035.04/1038.29 c #Conflicts: 775000 | #Constraints: 19550
1035.04/1038.29 c #Conflicts: 776000 | #Constraints: 20550
1035.04/1038.29 c #Conflicts: 777000 | #Constraints: 21550
1035.04/1038.29 c #Conflicts: 778000 | #Constraints: 22550
1035.04/1038.29 c #Conflicts: 779000 | #Constraints: 23550
1035.04/1038.29 c #Conflicts: 780000 | #Constraints: 24550
1035.04/1038.29 c #Conflicts: 781000 | #Constraints: 25550
1035.04/1038.29 c #Conflicts: 782000 | #Constraints: 26550
1035.04/1038.29 c #Conflicts: 783000 | #Constraints: 27550
1035.04/1038.29 c #Conflicts: 784000 | #Constraints: 28550
1035.04/1038.29 c #Conflicts: 785000 | #Constraints: 29550
1035.04/1038.29 c #Conflicts: 786000 | #Constraints: 30550
1035.04/1038.29 c #Conflicts: 787000 | #Constraints: 31550
1035.04/1038.29 c #Conflicts: 788000 | #Constraints: 32550
1035.04/1038.29 c #Conflicts: 789000 | #Constraints: 33550
1035.04/1038.29 c #Conflicts: 790000 | #Constraints: 34550
1035.04/1038.29 c #Conflicts: 791000 | #Constraints: 35550
1035.04/1038.29 c #Conflicts: 792000 | #Constraints: 36550
1035.04/1038.29 c INPROCESSING
1035.04/1038.29 c GARBAGE COLLECT
1035.04/1038.29 c #Conflicts: 793000 | #Constraints: 19938
1035.04/1038.29 c #Conflicts: 794000 | #Constraints: 20938
1035.04/1038.29 c #Conflicts: 795000 | #Constraints: 21938
1035.04/1038.29 c #Conflicts: 796000 | #Constraints: 22938
1035.04/1038.29 c #Conflicts: 797000 | #Constraints: 23938
1035.04/1038.29 c #Conflicts: 798000 | #Constraints: 24938
1035.04/1038.29 c #Conflicts: 799000 | #Constraints: 25938
1035.04/1038.29 c #Conflicts: 800000 | #Constraints: 26938
1035.04/1038.29 c #Conflicts: 801000 | #Constraints: 27938
1035.04/1038.29 c #Conflicts: 802000 | #Constraints: 28938
1035.04/1038.29 c #Conflicts: 803000 | #Constraints: 29938
1035.04/1038.29 c #Conflicts: 804000 | #Constraints: 30938
1035.04/1038.29 c #Conflicts: 805000 | #Constraints: 31938
1035.04/1038.29 c #Conflicts: 806000 | #Constraints: 32938
1035.04/1038.29 c #Conflicts: 807000 | #Constraints: 33938
1035.04/1038.29 c #Conflicts: 808000 | #Constraints: 34938
1035.04/1038.29 c #Conflicts: 809000 | #Constraints: 35938
1035.04/1038.29 c #Conflicts: 810000 | #Constraints: 36938
1035.04/1038.29 c INPROCESSING
1035.04/1038.29 c GARBAGE COLLECT
1035.04/1038.29 c #Conflicts: 811000 | #Constraints: 20131
1035.04/1038.29 c #Conflicts: 812000 | #Constraints: 21131
1035.04/1038.29 c #Conflicts: 813000 | #Constraints: 22131
1035.04/1038.29 c #Conflicts: 814000 | #Constraints: 23131
1035.04/1038.29 c #Conflicts: 815000 | #Constraints: 24131
1035.04/1038.29 c #Conflicts: 816000 | #Constraints: 25131
1035.04/1038.29 c #Conflicts: 817000 | #Constraints: 26131
1035.04/1038.29 c #Conflicts: 818000 | #Constraints: 27131
1035.04/1038.29 c #Conflicts: 819000 | #Constraints: 28131
1035.04/1038.29 c #Conflicts: 820000 | #Constraints: 29131
1035.04/1038.29 c #Conflicts: 821000 | #Constraints: 30131
1035.04/1038.29 c #Conflicts: 822000 | #Constraints: 31131
1035.04/1038.29 c #Conflicts: 823000 | #Constraints: 32131
1035.04/1038.29 c #Conflicts: 824000 | #Constraints: 33131
1035.04/1038.29 c #Conflicts: 825000 | #Constraints: 34131
1035.04/1038.29 c #Conflicts: 826000 | #Constraints: 35131
1035.04/1038.29 c #Conflicts: 827000 | #Constraints: 36131
1035.04/1038.29 c #Conflicts: 828000 | #Constraints: 37131
1035.04/1038.29 c INPROCESSING
1035.04/1038.29 c GARBAGE COLLECT
1035.04/1038.29 c #Conflicts: 829000 | #Constraints: 20132
1035.04/1038.29 c #Conflicts: 830000 | #Constraints: 21132
1035.04/1038.29 c #Conflicts: 831000 | #Constraints: 22132
1035.04/1038.29 c #Conflicts: 832000 | #Constraints: 23132
1035.04/1038.29 c #Conflicts: 833000 | #Constraints: 24132
1035.04/1038.29 c #Conflicts: 834000 | #Constraints: 25132
1035.04/1038.29 c #Conflicts: 835000 | #Constraints: 26132
1035.04/1038.29 c #Conflicts: 836000 | #Constraints: 27132
1035.04/1038.29 c #Conflicts: 837000 | #Constraints: 28132
1035.04/1038.29 c #Conflicts: 838000 | #Constraints: 29132
1035.04/1038.29 c #Conflicts: 839000 | #Constraints: 30132
1035.04/1038.29 c #Conflicts: 840000 | #Constraints: 31132
1035.04/1038.29 c #Conflicts: 841000 | #Constraints: 32132
1035.04/1038.29 c #Conflicts: 842000 | #Constraints: 33132
1035.04/1038.29 c #Conflicts: 843000 | #Constraints: 34132
1035.04/1038.29 c #Conflicts: 844000 | #Constraints: 35132
1035.04/1038.29 c #Conflicts: 845000 | #Constraints: 36132
1035.04/1038.29 c #Conflicts: 846000 | #Constraints: 37132
1035.04/1038.29 c INPROCESSING
1035.04/1038.29 c GARBAGE COLLECT
1035.04/1038.29 c #Conflicts: 847000 | #Constraints: 19940
1035.04/1038.29 c #Conflicts: 848000 | #Constraints: 20940
1035.04/1038.29 c #Conflicts: 849000 | #Constraints: 21940
1035.04/1038.29 c #Conflicts: 850000 | #Constraints: 22940
1035.04/1038.29 c #Conflicts: 851000 | #Constraints: 23940
1191.36/1195.09 c #Conflicts: 852000 | #Constraints: 24940
1191.36/1195.09 c #Conflicts: 853000 | #Constraints: 25940
1191.36/1195.09 c #Conflicts: 854000 | #Constraints: 26940
1191.36/1195.09 c #Conflicts: 855000 | #Constraints: 27940
1191.36/1195.09 c #Conflicts: 856000 | #Constraints: 28940
1191.36/1195.09 c #Conflicts: 857000 | #Constraints: 29940
1191.36/1195.09 c #Conflicts: 858000 | #Constraints: 30940
1191.36/1195.09 c #Conflicts: 859000 | #Constraints: 31940
1191.36/1195.09 c #Conflicts: 860000 | #Constraints: 32940
1191.36/1195.09 c #Conflicts: 861000 | #Constraints: 33940
1191.36/1195.09 c #Conflicts: 862000 | #Constraints: 34940
1191.36/1195.09 c #Conflicts: 863000 | #Constraints: 35940
1191.36/1195.09 c #Conflicts: 864000 | #Constraints: 36940
1191.36/1195.09 c #Conflicts: 865000 | #Constraints: 37940
1191.36/1195.09 c INPROCESSING
1191.36/1195.09 c GARBAGE COLLECT
1191.36/1195.09 c #Conflicts: 866000 | #Constraints: 20543
1191.36/1195.09 c #Conflicts: 867000 | #Constraints: 21543
1191.36/1195.09 c #Conflicts: 868000 | #Constraints: 22543
1191.36/1195.09 c #Conflicts: 869000 | #Constraints: 23543
1191.36/1195.09 c #Conflicts: 870000 | #Constraints: 24543
1191.36/1195.09 c #Conflicts: 871000 | #Constraints: 25543
1191.36/1195.09 c #Conflicts: 872000 | #Constraints: 26543
1191.36/1195.09 c #Conflicts: 873000 | #Constraints: 27543
1191.36/1195.09 c #Conflicts: 874000 | #Constraints: 28543
1191.36/1195.09 c #Conflicts: 875000 | #Constraints: 29543
1191.36/1195.09 c #Conflicts: 876000 | #Constraints: 30543
1191.36/1195.09 c #Conflicts: 877000 | #Constraints: 31543
1191.36/1195.09 c #Conflicts: 878000 | #Constraints: 32543
1191.36/1195.09 c #Conflicts: 879000 | #Constraints: 33543
1191.36/1195.09 c #Conflicts: 880000 | #Constraints: 34543
1191.36/1195.09 c #Conflicts: 881000 | #Constraints: 35543
1191.36/1195.09 c #Conflicts: 882000 | #Constraints: 36543
1191.36/1195.09 c #Conflicts: 883000 | #Constraints: 37543
1191.36/1195.09 c #Conflicts: 884000 | #Constraints: 38543
1191.36/1195.09 c INPROCESSING
1191.36/1195.09 c GARBAGE COLLECT
1191.36/1195.09 c #Conflicts: 885000 | #Constraints: 20937
1191.36/1195.09 c #Conflicts: 886000 | #Constraints: 21937
1191.36/1195.09 c #Conflicts: 887000 | #Constraints: 22937
1191.36/1195.09 c #Conflicts: 888000 | #Constraints: 23937
1191.36/1195.09 c #Conflicts: 889000 | #Constraints: 24937
1191.36/1195.09 c #Conflicts: 890000 | #Constraints: 25937
1191.36/1195.09 c #Conflicts: 891000 | #Constraints: 26937
1191.36/1195.09 c #Conflicts: 892000 | #Constraints: 27937
1191.36/1195.09 c #Conflicts: 893000 | #Constraints: 28937
1191.36/1195.09 c #Conflicts: 894000 | #Constraints: 29937
1191.36/1195.09 c #Conflicts: 895000 | #Constraints: 30937
1191.36/1195.09 c #Conflicts: 896000 | #Constraints: 31937
1191.36/1195.09 c #Conflicts: 897000 | #Constraints: 32937
1191.36/1195.09 c #Conflicts: 898000 | #Constraints: 33937
1191.36/1195.09 c #Conflicts: 899000 | #Constraints: 34937
1191.36/1195.09 c #Conflicts: 900000 | #Constraints: 35937
1191.36/1195.09 c #Conflicts: 901000 | #Constraints: 36937
1191.36/1195.09 c #Conflicts: 902000 | #Constraints: 37937
1191.36/1195.09 c #Conflicts: 903000 | #Constraints: 38937
1191.36/1195.09 c INPROCESSING
1191.36/1195.09 c GARBAGE COLLECT
1191.36/1195.09 c #Conflicts: 904000 | #Constraints: 21141
1191.36/1195.09 c #Conflicts: 905000 | #Constraints: 22141
1191.36/1195.09 c #Conflicts: 906000 | #Constraints: 23141
1191.36/1195.09 c #Conflicts: 907000 | #Constraints: 24141
1191.36/1195.09 c #Conflicts: 908000 | #Constraints: 25141
1191.36/1195.09 c #Conflicts: 909000 | #Constraints: 26141
1191.36/1195.09 c #Conflicts: 910000 | #Constraints: 27141
1191.36/1195.09 c #Conflicts: 911000 | #Constraints: 28141
1191.36/1195.09 c #Conflicts: 912000 | #Constraints: 29141
1191.36/1195.09 c #Conflicts: 913000 | #Constraints: 30141
1191.36/1195.09 c #Conflicts: 914000 | #Constraints: 31141
1191.36/1195.09 c #Conflicts: 915000 | #Constraints: 32141
1191.36/1195.09 c #Conflicts: 916000 | #Constraints: 33141
1191.36/1195.09 c #Conflicts: 917000 | #Constraints: 34141
1191.36/1195.09 c #Conflicts: 918000 | #Constraints: 35141
1191.36/1195.09 c #Conflicts: 919000 | #Constraints: 36141
1191.36/1195.09 c #Conflicts: 920000 | #Constraints: 37141
1191.36/1195.09 c #Conflicts: 921000 | #Constraints: 38141
1191.36/1195.09 c #Conflicts: 922000 | #Constraints: 39141
1191.36/1195.09 c INPROCESSING
1191.36/1195.09 c GARBAGE COLLECT
1191.36/1195.09 c #Conflicts: 923000 | #Constraints: 21154
1191.36/1195.09 c #Conflicts: 924000 | #Constraints: 22154
1191.36/1195.09 c #Conflicts: 925000 | #Constraints: 23154
1191.36/1195.09 c #Conflicts: 926000 | #Constraints: 24154
1191.36/1195.09 c #Conflicts: 927000 | #Constraints: 25154
1347.60/1351.73 c #Conflicts: 928000 | #Constraints: 26154
1347.60/1351.73 c #Conflicts: 929000 | #Constraints: 27154
1347.60/1351.73 c #Conflicts: 930000 | #Constraints: 28154
1347.60/1351.73 c #Conflicts: 931000 | #Constraints: 29154
1347.60/1351.73 c #Conflicts: 932000 | #Constraints: 30154
1347.60/1351.73 c #Conflicts: 933000 | #Constraints: 31154
1347.60/1351.73 c #Conflicts: 934000 | #Constraints: 32154
1347.60/1351.73 c #Conflicts: 935000 | #Constraints: 33154
1347.60/1351.73 c #Conflicts: 936000 | #Constraints: 34154
1347.60/1351.73 c #Conflicts: 937000 | #Constraints: 35154
1347.60/1351.73 c #Conflicts: 938000 | #Constraints: 36154
1347.60/1351.73 c #Conflicts: 939000 | #Constraints: 37154
1347.60/1351.73 c #Conflicts: 940000 | #Constraints: 38154
1347.60/1351.73 c #Conflicts: 941000 | #Constraints: 39154
1347.60/1351.73 c INPROCESSING
1347.60/1351.73 c GARBAGE COLLECT
1347.60/1351.73 c #Conflicts: 942000 | #Constraints: 20955
1347.60/1351.73 c #Conflicts: 943000 | #Constraints: 21955
1347.60/1351.73 c #Conflicts: 944000 | #Constraints: 22955
1347.60/1351.73 c #Conflicts: 945000 | #Constraints: 23955
1347.60/1351.73 c #Conflicts: 946000 | #Constraints: 24955
1347.60/1351.73 c #Conflicts: 947000 | #Constraints: 25955
1347.60/1351.73 c #Conflicts: 948000 | #Constraints: 26955
1347.60/1351.73 c #Conflicts: 949000 | #Constraints: 27955
1347.60/1351.73 c #Conflicts: 950000 | #Constraints: 28955
1347.60/1351.73 c #Conflicts: 951000 | #Constraints: 29955
1347.60/1351.73 c #Conflicts: 952000 | #Constraints: 30955
1347.60/1351.73 c #Conflicts: 953000 | #Constraints: 31955
1347.60/1351.73 c #Conflicts: 954000 | #Constraints: 32955
1347.60/1351.73 c #Conflicts: 955000 | #Constraints: 33955
1347.60/1351.73 c #Conflicts: 956000 | #Constraints: 34955
1347.60/1351.73 c #Conflicts: 957000 | #Constraints: 35955
1347.60/1351.73 c #Conflicts: 958000 | #Constraints: 36955
1347.60/1351.73 c #Conflicts: 959000 | #Constraints: 37955
1347.60/1351.73 c #Conflicts: 960000 | #Constraints: 38955
1347.60/1351.73 c #Conflicts: 961000 | #Constraints: 39955
1347.60/1351.73 c INPROCESSING
1347.60/1351.73 c GARBAGE COLLECT
1347.60/1351.73 c #Conflicts: 962000 | #Constraints: 21550
1347.60/1351.73 c #Conflicts: 963000 | #Constraints: 22550
1347.60/1351.73 c #Conflicts: 964000 | #Constraints: 23550
1347.60/1351.73 c #Conflicts: 965000 | #Constraints: 24550
1347.60/1351.73 c #Conflicts: 966000 | #Constraints: 25550
1347.60/1351.73 c #Conflicts: 967000 | #Constraints: 26550
1347.60/1351.73 c #Conflicts: 968000 | #Constraints: 27550
1347.60/1351.73 c #Conflicts: 969000 | #Constraints: 28550
1347.60/1351.73 c #Conflicts: 970000 | #Constraints: 29550
1347.60/1351.73 c #Conflicts: 971000 | #Constraints: 30550
1347.60/1351.73 c #Conflicts: 972000 | #Constraints: 31550
1347.60/1351.73 c #Conflicts: 973000 | #Constraints: 32550
1347.60/1351.73 c #Conflicts: 974000 | #Constraints: 33550
1347.60/1351.73 c #Conflicts: 975000 | #Constraints: 34550
1347.60/1351.73 c #Conflicts: 976000 | #Constraints: 35550
1347.60/1351.73 c #Conflicts: 977000 | #Constraints: 36550
1347.60/1351.73 c #Conflicts: 978000 | #Constraints: 37550
1347.60/1351.73 c #Conflicts: 979000 | #Constraints: 38550
1347.60/1351.73 c #Conflicts: 980000 | #Constraints: 39550
1347.60/1351.73 c #Conflicts: 981000 | #Constraints: 40550
1347.60/1351.73 c INPROCESSING
1347.60/1351.73 c GARBAGE COLLECT
1347.60/1351.73 c #Conflicts: 982000 | #Constraints: 21953
1347.60/1351.73 c #Conflicts: 983000 | #Constraints: 22953
1347.60/1351.73 c #Conflicts: 984000 | #Constraints: 23953
1347.60/1351.73 c #Conflicts: 985000 | #Constraints: 24953
1347.60/1351.73 c #Conflicts: 986000 | #Constraints: 25953
1347.60/1351.73 c #Conflicts: 987000 | #Constraints: 26953
1347.60/1351.73 c #Conflicts: 988000 | #Constraints: 27953
1347.60/1351.73 c #Conflicts: 989000 | #Constraints: 28953
1347.60/1351.73 c #Conflicts: 990000 | #Constraints: 29953
1347.60/1351.73 c #Conflicts: 991000 | #Constraints: 30953
1347.60/1351.73 c #Conflicts: 992000 | #Constraints: 31953
1347.60/1351.73 c #Conflicts: 993000 | #Constraints: 32953
1347.60/1351.73 c #Conflicts: 994000 | #Constraints: 33953
1347.60/1351.73 c #Conflicts: 995000 | #Constraints: 34953
1347.60/1351.73 c #Conflicts: 996000 | #Constraints: 35953
1347.60/1351.73 c #Conflicts: 997000 | #Constraints: 36953
1347.60/1351.73 c #Conflicts: 998000 | #Constraints: 37953
1347.60/1351.73 c #Conflicts: 999000 | #Constraints: 38953
1347.60/1351.73 c #Conflicts: 1000000 | #Constraints: 39953
1347.60/1351.73 c #Conflicts: 1001000 | #Constraints: 40953
1347.60/1351.73 c INPROCESSING
1347.60/1351.73 c GARBAGE COLLECT
1347.60/1351.73 c #Conflicts: 1002000 | #Constraints: 22155
1347.60/1351.73 c #Conflicts: 1003000 | #Constraints: 23155
1521.71/1526.31 c #Conflicts: 1004000 | #Constraints: 24155
1521.71/1526.31 c #Conflicts: 1005000 | #Constraints: 25155
1521.71/1526.31 c #Conflicts: 1006000 | #Constraints: 26155
1521.71/1526.31 c #Conflicts: 1007000 | #Constraints: 27155
1521.71/1526.31 c #Conflicts: 1008000 | #Constraints: 28155
1521.71/1526.31 c #Conflicts: 1009000 | #Constraints: 29155
1521.71/1526.31 c #Conflicts: 1010000 | #Constraints: 30155
1521.71/1526.31 c #Conflicts: 1011000 | #Constraints: 31155
1521.71/1526.31 c #Conflicts: 1012000 | #Constraints: 32155
1521.71/1526.31 c #Conflicts: 1013000 | #Constraints: 33155
1521.71/1526.31 c #Conflicts: 1014000 | #Constraints: 34155
1521.71/1526.31 c #Conflicts: 1015000 | #Constraints: 35155
1521.71/1526.31 c #Conflicts: 1016000 | #Constraints: 36155
1521.71/1526.31 c #Conflicts: 1017000 | #Constraints: 37155
1521.71/1526.31 c #Conflicts: 1018000 | #Constraints: 38155
1521.71/1526.31 c #Conflicts: 1019000 | #Constraints: 39155
1521.71/1526.31 c #Conflicts: 1020000 | #Constraints: 40155
1521.71/1526.31 c #Conflicts: 1021000 | #Constraints: 41155
1521.71/1526.31 c INPROCESSING
1521.71/1526.31 c GARBAGE COLLECT
1521.71/1526.31 c #Conflicts: 1022000 | #Constraints: 22160
1521.71/1526.31 c #Conflicts: 1023000 | #Constraints: 23160
1521.71/1526.31 c #Conflicts: 1024000 | #Constraints: 24160
1521.71/1526.31 c #Conflicts: 1025000 | #Constraints: 25160
1521.71/1526.31 c #Conflicts: 1026000 | #Constraints: 26160
1521.71/1526.31 c #Conflicts: 1027000 | #Constraints: 27160
1521.71/1526.31 c #Conflicts: 1028000 | #Constraints: 28160
1521.71/1526.31 c #Conflicts: 1029000 | #Constraints: 29160
1521.71/1526.31 c #Conflicts: 1030000 | #Constraints: 30160
1521.71/1526.31 c #Conflicts: 1031000 | #Constraints: 31160
1521.71/1526.31 c #Conflicts: 1032000 | #Constraints: 32160
1521.71/1526.31 c #Conflicts: 1033000 | #Constraints: 33160
1521.71/1526.31 c #Conflicts: 1034000 | #Constraints: 34160
1521.71/1526.31 c #Conflicts: 1035000 | #Constraints: 35160
1521.71/1526.31 c #Conflicts: 1036000 | #Constraints: 36160
1521.71/1526.31 c #Conflicts: 1037000 | #Constraints: 37160
1521.71/1526.31 c #Conflicts: 1038000 | #Constraints: 38160
1521.71/1526.31 c #Conflicts: 1039000 | #Constraints: 39160
1521.71/1526.31 c #Conflicts: 1040000 | #Constraints: 40160
1521.71/1526.31 c #Conflicts: 1041000 | #Constraints: 41160
1521.71/1526.31 c INPROCESSING
1521.71/1526.31 c GARBAGE COLLECT
1521.71/1526.31 c #Conflicts: 1042000 | #Constraints: 21956
1521.71/1526.31 c #Conflicts: 1043000 | #Constraints: 22956
1521.71/1526.31 c #Conflicts: 1044000 | #Constraints: 23956
1521.71/1526.31 c #Conflicts: 1045000 | #Constraints: 24956
1521.71/1526.31 c #Conflicts: 1046000 | #Constraints: 25956
1521.71/1526.31 c #Conflicts: 1047000 | #Constraints: 26956
1521.71/1526.31 c #Conflicts: 1048000 | #Constraints: 27956
1521.71/1526.31 c #Conflicts: 1049000 | #Constraints: 28956
1521.71/1526.31 c #Conflicts: 1050000 | #Constraints: 29956
1521.71/1526.31 c #Conflicts: 1051000 | #Constraints: 30956
1521.71/1526.31 c #Conflicts: 1052000 | #Constraints: 31956
1521.71/1526.31 c #Conflicts: 1053000 | #Constraints: 32956
1521.71/1526.31 c #Conflicts: 1054000 | #Constraints: 33956
1521.71/1526.31 c #Conflicts: 1055000 | #Constraints: 34956
1521.71/1526.31 c #Conflicts: 1056000 | #Constraints: 35956
1521.71/1526.31 c #Conflicts: 1057000 | #Constraints: 36956
1521.71/1526.31 c #Conflicts: 1058000 | #Constraints: 37956
1521.71/1526.31 c #Conflicts: 1059000 | #Constraints: 38956
1521.71/1526.31 c #Conflicts: 1060000 | #Constraints: 39956
1521.71/1526.31 c #Conflicts: 1061000 | #Constraints: 40956
1521.71/1526.31 c #Conflicts: 1062000 | #Constraints: 41956
1521.71/1526.31 c INPROCESSING
1521.71/1526.31 c GARBAGE COLLECT
1521.71/1526.31 c #Conflicts: 1063000 | #Constraints: 22556
1521.71/1526.31 c #Conflicts: 1064000 | #Constraints: 23556
1521.71/1526.31 c #Conflicts: 1065000 | #Constraints: 24556
1521.71/1526.31 c #Conflicts: 1066000 | #Constraints: 25556
1521.71/1526.31 c #Conflicts: 1067000 | #Constraints: 26556
1521.71/1526.31 c #Conflicts: 1068000 | #Constraints: 27556
1521.71/1526.31 c #Conflicts: 1069000 | #Constraints: 28556
1521.71/1526.31 c #Conflicts: 1070000 | #Constraints: 29556
1521.71/1526.31 c #Conflicts: 1071000 | #Constraints: 30556
1521.71/1526.31 c #Conflicts: 1072000 | #Constraints: 31556
1521.71/1526.31 c #Conflicts: 1073000 | #Constraints: 32556
1521.71/1526.31 c #Conflicts: 1074000 | #Constraints: 33556
1521.71/1526.31 c #Conflicts: 1075000 | #Constraints: 34556
1521.71/1526.31 c #Conflicts: 1076000 | #Constraints: 35556
1521.71/1526.31 c #Conflicts: 1077000 | #Constraints: 36556
1521.71/1526.31 c #Conflicts: 1078000 | #Constraints: 37556
1521.71/1526.31 c #Conflicts: 1079000 | #Constraints: 38556
1521.71/1526.31 c #Conflicts: 1080000 | #Constraints: 39556
1688.73/1693.81 c #Conflicts: 1081000 | #Constraints: 40556
1688.73/1693.81 c #Conflicts: 1082000 | #Constraints: 41556
1688.73/1693.81 c #Conflicts: 1083000 | #Constraints: 42556
1688.73/1693.81 c INPROCESSING
1688.73/1693.81 c GARBAGE COLLECT
1688.73/1693.81 c #Conflicts: 1084000 | #Constraints: 22956
1688.73/1693.81 c #Conflicts: 1085000 | #Constraints: 23956
1688.73/1693.81 c #Conflicts: 1086000 | #Constraints: 24956
1688.73/1693.81 c #Conflicts: 1087000 | #Constraints: 25956
1688.73/1693.81 c #Conflicts: 1088000 | #Constraints: 26956
1688.73/1693.81 c #Conflicts: 1089000 | #Constraints: 27956
1688.73/1693.81 c #Conflicts: 1090000 | #Constraints: 28956
1688.73/1693.81 c #Conflicts: 1091000 | #Constraints: 29956
1688.73/1693.81 c #Conflicts: 1092000 | #Constraints: 30956
1688.73/1693.81 c #Conflicts: 1093000 | #Constraints: 31956
1688.73/1693.81 c #Conflicts: 1094000 | #Constraints: 32956
1688.73/1693.81 c #Conflicts: 1095000 | #Constraints: 33956
1688.73/1693.81 c #Conflicts: 1096000 | #Constraints: 34956
1688.73/1693.81 c #Conflicts: 1097000 | #Constraints: 35956
1688.73/1693.81 c #Conflicts: 1098000 | #Constraints: 36956
1688.73/1693.81 c #Conflicts: 1099000 | #Constraints: 37956
1688.73/1693.81 c #Conflicts: 1100000 | #Constraints: 38956
1688.73/1693.81 c #Conflicts: 1101000 | #Constraints: 39956
1688.73/1693.81 c #Conflicts: 1102000 | #Constraints: 40956
1688.73/1693.81 c #Conflicts: 1103000 | #Constraints: 41956
1688.73/1693.81 c #Conflicts: 1104000 | #Constraints: 42956
1688.73/1693.81 c INPROCESSING
1688.73/1693.81 c GARBAGE COLLECT
1688.73/1693.81 c #Conflicts: 1105000 | #Constraints: 23162
1688.73/1693.81 c #Conflicts: 1106000 | #Constraints: 24162
1688.73/1693.81 c #Conflicts: 1107000 | #Constraints: 25162
1688.73/1693.81 c #Conflicts: 1108000 | #Constraints: 26162
1688.73/1693.81 c #Conflicts: 1109000 | #Constraints: 27162
1688.73/1693.81 c #Conflicts: 1110000 | #Constraints: 28162
1688.73/1693.81 c #Conflicts: 1111000 | #Constraints: 29162
1688.73/1693.81 c #Conflicts: 1112000 | #Constraints: 30162
1688.73/1693.81 c #Conflicts: 1113000 | #Constraints: 31162
1688.73/1693.81 c #Conflicts: 1114000 | #Constraints: 32162
1688.73/1693.81 c #Conflicts: 1115000 | #Constraints: 33162
1688.73/1693.81 c #Conflicts: 1116000 | #Constraints: 34162
1688.73/1693.81 c #Conflicts: 1117000 | #Constraints: 35162
1688.73/1693.81 c #Conflicts: 1118000 | #Constraints: 36162
1688.73/1693.81 c #Conflicts: 1119000 | #Constraints: 37162
1688.73/1693.81 c #Conflicts: 1120000 | #Constraints: 38162
1688.73/1693.81 c #Conflicts: 1121000 | #Constraints: 39162
1688.73/1693.81 c #Conflicts: 1122000 | #Constraints: 40162
1688.73/1693.81 c #Conflicts: 1123000 | #Constraints: 41162
1688.73/1693.81 c #Conflicts: 1124000 | #Constraints: 42162
1688.73/1693.81 c #Conflicts: 1125000 | #Constraints: 43162
1688.73/1693.81 c INPROCESSING
1688.73/1693.81 c GARBAGE COLLECT
1688.73/1693.81 c #Conflicts: 1126000 | #Constraints: 23166
1688.73/1693.81 c #Conflicts: 1127000 | #Constraints: 24166
1688.73/1693.81 c #Conflicts: 1128000 | #Constraints: 25166
1688.73/1693.81 c #Conflicts: 1129000 | #Constraints: 26166
1688.73/1693.81 c #Conflicts: 1130000 | #Constraints: 27166
1688.73/1693.81 c #Conflicts: 1131000 | #Constraints: 28166
1688.73/1693.81 c #Conflicts: 1132000 | #Constraints: 29166
1688.73/1693.81 c #Conflicts: 1133000 | #Constraints: 30166
1688.73/1693.81 c #Conflicts: 1134000 | #Constraints: 31166
1688.73/1693.81 c #Conflicts: 1135000 | #Constraints: 32166
1688.73/1693.81 c #Conflicts: 1136000 | #Constraints: 33166
1688.73/1693.81 c #Conflicts: 1137000 | #Constraints: 34166
1688.73/1693.81 c #Conflicts: 1138000 | #Constraints: 35166
1688.73/1693.81 c #Conflicts: 1139000 | #Constraints: 36166
1688.73/1693.81 c #Conflicts: 1140000 | #Constraints: 37166
1688.73/1693.81 c #Conflicts: 1141000 | #Constraints: 38166
1688.73/1693.81 c #Conflicts: 1142000 | #Constraints: 39166
1688.73/1693.81 c #Conflicts: 1143000 | #Constraints: 40166
1688.73/1693.81 c #Conflicts: 1144000 | #Constraints: 41166
1688.73/1693.81 c #Conflicts: 1145000 | #Constraints: 42166
1688.73/1693.81 c #Conflicts: 1146000 | #Constraints: 43166
1688.73/1693.81 c INPROCESSING
1688.73/1693.81 c GARBAGE COLLECT
1688.73/1693.81 c #Conflicts: 1147000 | #Constraints: 22966
1688.73/1693.81 c #Conflicts: 1148000 | #Constraints: 23966
1688.73/1693.81 c #Conflicts: 1149000 | #Constraints: 24966
1688.73/1693.81 c #Conflicts: 1150000 | #Constraints: 25966
1688.73/1693.81 c #Conflicts: 1151000 | #Constraints: 26966
1688.73/1693.81 c #Conflicts: 1152000 | #Constraints: 27966
1688.73/1693.81 c #Conflicts: 1153000 | #Constraints: 28966
1688.73/1693.81 c #Conflicts: 1154000 | #Constraints: 29966
1688.73/1693.81 c #Conflicts: 1155000 | #Constraints: 30966
1688.73/1693.81 c #Conflicts: 1156000 | #Constraints: 31966
1884.62/1890.21 c #Conflicts: 1157000 | #Constraints: 32966
1884.62/1890.21 c #Conflicts: 1158000 | #Constraints: 33966
1884.62/1890.21 c #Conflicts: 1159000 | #Constraints: 34966
1884.62/1890.21 c #Conflicts: 1160000 | #Constraints: 35966
1884.62/1890.21 c #Conflicts: 1161000 | #Constraints: 36966
1884.62/1890.21 c #Conflicts: 1162000 | #Constraints: 37966
1884.62/1890.21 c #Conflicts: 1163000 | #Constraints: 38966
1884.62/1890.21 c #Conflicts: 1164000 | #Constraints: 39966
1884.62/1890.21 c #Conflicts: 1165000 | #Constraints: 40966
1884.62/1890.21 c #Conflicts: 1166000 | #Constraints: 41966
1884.62/1890.21 c #Conflicts: 1167000 | #Constraints: 42966
1884.62/1890.21 c #Conflicts: 1168000 | #Constraints: 43966
1884.62/1890.21 c INPROCESSING
1884.62/1890.21 c GARBAGE COLLECT
1884.62/1890.21 c #Conflicts: 1169000 | #Constraints: 23562
1884.62/1890.21 c #Conflicts: 1170000 | #Constraints: 24562
1884.62/1890.21 c #Conflicts: 1171000 | #Constraints: 25562
1884.62/1890.21 c #Conflicts: 1172000 | #Constraints: 26562
1884.62/1890.21 c #Conflicts: 1173000 | #Constraints: 27562
1884.62/1890.21 c #Conflicts: 1174000 | #Constraints: 28562
1884.62/1890.21 c #Conflicts: 1175000 | #Constraints: 29562
1884.62/1890.21 c #Conflicts: 1176000 | #Constraints: 30562
1884.62/1890.21 c #Conflicts: 1177000 | #Constraints: 31562
1884.62/1890.21 c #Conflicts: 1178000 | #Constraints: 32562
1884.62/1890.21 c #Conflicts: 1179000 | #Constraints: 33562
1884.62/1890.21 c #Conflicts: 1180000 | #Constraints: 34562
1884.62/1890.21 c #Conflicts: 1181000 | #Constraints: 35562
1884.62/1890.21 c #Conflicts: 1182000 | #Constraints: 36562
1884.62/1890.21 c #Conflicts: 1183000 | #Constraints: 37562
1884.62/1890.21 c #Conflicts: 1184000 | #Constraints: 38562
1884.62/1890.21 c #Conflicts: 1185000 | #Constraints: 39562
1884.62/1890.21 c #Conflicts: 1186000 | #Constraints: 40562
1884.62/1890.21 c #Conflicts: 1187000 | #Constraints: 41562
1884.62/1890.21 c #Conflicts: 1188000 | #Constraints: 42562
1884.62/1890.21 c #Conflicts: 1189000 | #Constraints: 43562
1884.62/1890.21 c #Conflicts: 1190000 | #Constraints: 44562
1884.62/1890.21 c INPROCESSING
1884.62/1890.21 c GARBAGE COLLECT
1884.62/1890.21 c #Conflicts: 1191000 | #Constraints: 23963
1884.62/1890.21 c #Conflicts: 1192000 | #Constraints: 24963
1884.62/1890.21 c #Conflicts: 1193000 | #Constraints: 25963
1884.62/1890.21 c #Conflicts: 1194000 | #Constraints: 26963
1884.62/1890.21 c #Conflicts: 1195000 | #Constraints: 27963
1884.62/1890.21 c #Conflicts: 1196000 | #Constraints: 28963
1884.62/1890.21 c #Conflicts: 1197000 | #Constraints: 29963
1884.62/1890.21 c #Conflicts: 1198000 | #Constraints: 30963
1884.62/1890.21 c #Conflicts: 1199000 | #Constraints: 31963
1884.62/1890.21 c #Conflicts: 1200000 | #Constraints: 32963
1884.62/1890.21 c #Conflicts: 1201000 | #Constraints: 33963
1884.62/1890.21 c #Conflicts: 1202000 | #Constraints: 34963
1884.62/1890.21 c #Conflicts: 1203000 | #Constraints: 35963
1884.62/1890.21 c #Conflicts: 1204000 | #Constraints: 36963
1884.62/1890.21 c #Conflicts: 1205000 | #Constraints: 37963
1884.62/1890.21 c #Conflicts: 1206000 | #Constraints: 38963
1884.62/1890.21 c #Conflicts: 1207000 | #Constraints: 39963
1884.62/1890.21 c #Conflicts: 1208000 | #Constraints: 40963
1884.62/1890.21 c #Conflicts: 1209000 | #Constraints: 41963
1884.62/1890.21 c #Conflicts: 1210000 | #Constraints: 42963
1884.62/1890.21 c #Conflicts: 1211000 | #Constraints: 43963
1884.62/1890.21 c #Conflicts: 1212000 | #Constraints: 44963
1884.62/1890.21 c INPROCESSING
1884.62/1890.21 c GARBAGE COLLECT
1884.62/1890.21 c #Conflicts: 1213000 | #Constraints: 24165
1884.62/1890.21 c #Conflicts: 1214000 | #Constraints: 25165
1884.62/1890.21 c #Conflicts: 1215000 | #Constraints: 26165
1884.62/1890.21 c #Conflicts: 1216000 | #Constraints: 27165
1884.62/1890.21 c #Conflicts: 1217000 | #Constraints: 28165
1884.62/1890.21 c #Conflicts: 1218000 | #Constraints: 29165
1884.62/1890.21 c #Conflicts: 1219000 | #Constraints: 30165
1884.62/1890.21 c #Conflicts: 1220000 | #Constraints: 31165
1884.62/1890.21 c #Conflicts: 1221000 | #Constraints: 32165
1884.62/1890.21 c #Conflicts: 1222000 | #Constraints: 33165
1884.62/1890.21 c #Conflicts: 1223000 | #Constraints: 34165
1884.62/1890.21 c #Conflicts: 1224000 | #Constraints: 35165
1884.62/1890.21 c #Conflicts: 1225000 | #Constraints: 36165
1884.62/1890.21 c #Conflicts: 1226000 | #Constraints: 37165
1884.62/1890.21 c #Conflicts: 1227000 | #Constraints: 38165
1884.62/1890.21 c #Conflicts: 1228000 | #Constraints: 39165
1884.62/1890.21 c #Conflicts: 1229000 | #Constraints: 40165
1884.62/1890.21 c #Conflicts: 1230000 | #Constraints: 41165
1884.62/1890.21 c #Conflicts: 1231000 | #Constraints: 42165
1884.62/1890.21 c #Conflicts: 1232000 | #Constraints: 43165
1884.62/1890.21 c #Conflicts: 1233000 | #Constraints: 44165
2070.11/2076.24 c #Conflicts: 1234000 | #Constraints: 45165
2070.11/2076.24 c INPROCESSING
2070.11/2076.24 c GARBAGE COLLECT
2070.11/2076.24 c #Conflicts: 1235000 | #Constraints: 24164
2070.11/2076.24 c #Conflicts: 1236000 | #Constraints: 25164
2070.11/2076.24 c #Conflicts: 1237000 | #Constraints: 26164
2070.11/2076.24 c #Conflicts: 1238000 | #Constraints: 27164
2070.11/2076.24 c #Conflicts: 1239000 | #Constraints: 28164
2070.11/2076.24 c #Conflicts: 1240000 | #Constraints: 29164
2070.11/2076.24 c #Conflicts: 1241000 | #Constraints: 30164
2070.11/2076.24 c #Conflicts: 1242000 | #Constraints: 31164
2070.11/2076.24 c #Conflicts: 1243000 | #Constraints: 32164
2070.11/2076.24 c #Conflicts: 1244000 | #Constraints: 33164
2070.11/2076.24 c #Conflicts: 1245000 | #Constraints: 34164
2070.11/2076.24 c #Conflicts: 1246000 | #Constraints: 35164
2070.11/2076.24 c #Conflicts: 1247000 | #Constraints: 36164
2070.11/2076.24 c #Conflicts: 1248000 | #Constraints: 37164
2070.11/2076.24 c #Conflicts: 1249000 | #Constraints: 38164
2070.11/2076.24 c #Conflicts: 1250000 | #Constraints: 39164
2070.11/2076.24 c #Conflicts: 1251000 | #Constraints: 40164
2070.11/2076.24 c #Conflicts: 1252000 | #Constraints: 41164
2070.11/2076.24 c #Conflicts: 1253000 | #Constraints: 42164
2070.11/2076.24 c #Conflicts: 1254000 | #Constraints: 43164
2070.11/2076.24 c #Conflicts: 1255000 | #Constraints: 44164
2070.11/2076.24 c #Conflicts: 1256000 | #Constraints: 45164
2070.11/2076.24 c INPROCESSING
2070.11/2076.24 c GARBAGE COLLECT
2070.11/2076.24 c #Conflicts: 1257000 | #Constraints: 23965
2070.11/2076.24 c #Conflicts: 1258000 | #Constraints: 24965
2070.11/2076.24 c #Conflicts: 1259000 | #Constraints: 25965
2070.11/2076.24 c #Conflicts: 1260000 | #Constraints: 26965
2070.11/2076.24 c #Conflicts: 1261000 | #Constraints: 27965
2070.11/2076.24 c #Conflicts: 1262000 | #Constraints: 28965
2070.11/2076.24 c #Conflicts: 1263000 | #Constraints: 29965
2070.11/2076.24 c #Conflicts: 1264000 | #Constraints: 30965
2070.11/2076.24 c #Conflicts: 1265000 | #Constraints: 31965
2070.11/2076.24 c #Conflicts: 1266000 | #Constraints: 32965
2070.11/2076.24 c #Conflicts: 1267000 | #Constraints: 33965
2070.11/2076.24 c #Conflicts: 1268000 | #Constraints: 34965
2070.11/2076.24 c #Conflicts: 1269000 | #Constraints: 35965
2070.11/2076.24 c #Conflicts: 1270000 | #Constraints: 36965
2070.11/2076.24 c #Conflicts: 1271000 | #Constraints: 37965
2070.11/2076.24 c #Conflicts: 1272000 | #Constraints: 38965
2070.11/2076.24 c #Conflicts: 1273000 | #Constraints: 39965
2070.11/2076.24 c #Conflicts: 1274000 | #Constraints: 40965
2070.11/2076.24 c #Conflicts: 1275000 | #Constraints: 41965
2070.11/2076.24 c #Conflicts: 1276000 | #Constraints: 42965
2070.11/2076.24 c #Conflicts: 1277000 | #Constraints: 43965
2070.11/2076.24 c #Conflicts: 1278000 | #Constraints: 44965
2070.11/2076.24 c #Conflicts: 1279000 | #Constraints: 45965
2070.11/2076.24 c INPROCESSING
2070.11/2076.24 c GARBAGE COLLECT
2070.11/2076.24 c #Conflicts: 1280000 | #Constraints: 24566
2070.11/2076.24 c #Conflicts: 1281000 | #Constraints: 25566
2070.11/2076.24 c #Conflicts: 1282000 | #Constraints: 26566
2070.11/2076.24 c #Conflicts: 1283000 | #Constraints: 27566
2070.11/2076.24 c #Conflicts: 1284000 | #Constraints: 28566
2070.11/2076.24 c #Conflicts: 1285000 | #Constraints: 29566
2070.11/2076.24 c #Conflicts: 1286000 | #Constraints: 30566
2070.11/2076.24 c #Conflicts: 1287000 | #Constraints: 31566
2070.11/2076.24 c #Conflicts: 1288000 | #Constraints: 32566
2070.11/2076.24 c #Conflicts: 1289000 | #Constraints: 33566
2070.11/2076.24 c #Conflicts: 1290000 | #Constraints: 34566
2070.11/2076.24 c #Conflicts: 1291000 | #Constraints: 35566
2070.11/2076.24 c #Conflicts: 1292000 | #Constraints: 36566
2070.11/2076.24 c #Conflicts: 1293000 | #Constraints: 37566
2070.11/2076.24 c #Conflicts: 1294000 | #Constraints: 38566
2070.11/2076.24 c #Conflicts: 1295000 | #Constraints: 39566
2070.11/2076.24 c #Conflicts: 1296000 | #Constraints: 40566
2070.11/2076.24 c #Conflicts: 1297000 | #Constraints: 41566
2070.11/2076.24 c #Conflicts: 1298000 | #Constraints: 42566
2070.11/2076.24 c #Conflicts: 1299000 | #Constraints: 43566
2070.11/2076.24 c #Conflicts: 1300000 | #Constraints: 44566
2070.11/2076.24 c #Conflicts: 1301000 | #Constraints: 45566
2070.11/2076.24 c #Conflicts: 1302000 | #Constraints: 46566
2070.11/2076.24 c INPROCESSING
2070.11/2076.24 c GARBAGE COLLECT
2070.11/2076.24 c #Conflicts: 1303000 | #Constraints: 24962
2070.11/2076.24 c #Conflicts: 1304000 | #Constraints: 25962
2070.11/2076.24 c #Conflicts: 1305000 | #Constraints: 26962
2070.11/2076.24 c #Conflicts: 1306000 | #Constraints: 27962
2070.11/2076.24 c #Conflicts: 1307000 | #Constraints: 28962
2070.11/2076.24 c #Conflicts: 1308000 | #Constraints: 29962
2070.11/2076.24 c #Conflicts: 1309000 | #Constraints: 30962
2260.16/2266.81 c #Conflicts: 1310000 | #Constraints: 31962
2260.16/2266.81 c #Conflicts: 1311000 | #Constraints: 32962
2260.16/2266.81 c #Conflicts: 1312000 | #Constraints: 33962
2260.16/2266.81 c #Conflicts: 1313000 | #Constraints: 34962
2260.16/2266.81 c #Conflicts: 1314000 | #Constraints: 35962
2260.16/2266.81 c #Conflicts: 1315000 | #Constraints: 36962
2260.16/2266.81 c #Conflicts: 1316000 | #Constraints: 37962
2260.16/2266.81 c #Conflicts: 1317000 | #Constraints: 38962
2260.16/2266.81 c #Conflicts: 1318000 | #Constraints: 39962
2260.16/2266.81 c #Conflicts: 1319000 | #Constraints: 40962
2260.16/2266.81 c #Conflicts: 1320000 | #Constraints: 41962
2260.16/2266.81 c #Conflicts: 1321000 | #Constraints: 42962
2260.16/2266.81 c #Conflicts: 1322000 | #Constraints: 43962
2260.16/2266.81 c #Conflicts: 1323000 | #Constraints: 44962
2260.16/2266.81 c #Conflicts: 1324000 | #Constraints: 45962
2260.16/2266.81 c #Conflicts: 1325000 | #Constraints: 46962
2260.16/2266.81 c INPROCESSING
2260.16/2266.81 c GARBAGE COLLECT
2260.16/2266.81 c #Conflicts: 1326000 | #Constraints: 25166
2260.16/2266.81 c #Conflicts: 1327000 | #Constraints: 26166
2260.16/2266.81 c #Conflicts: 1328000 | #Constraints: 27166
2260.16/2266.81 c #Conflicts: 1329000 | #Constraints: 28166
2260.16/2266.81 c #Conflicts: 1330000 | #Constraints: 29166
2260.16/2266.81 c #Conflicts: 1331000 | #Constraints: 30166
2260.16/2266.81 c #Conflicts: 1332000 | #Constraints: 31166
2260.16/2266.81 c #Conflicts: 1333000 | #Constraints: 32166
2260.16/2266.81 c #Conflicts: 1334000 | #Constraints: 33166
2260.16/2266.81 c #Conflicts: 1335000 | #Constraints: 34166
2260.16/2266.81 c #Conflicts: 1336000 | #Constraints: 35166
2260.16/2266.81 c #Conflicts: 1337000 | #Constraints: 36166
2260.16/2266.81 c #Conflicts: 1338000 | #Constraints: 37166
2260.16/2266.81 c #Conflicts: 1339000 | #Constraints: 38166
2260.16/2266.81 c #Conflicts: 1340000 | #Constraints: 39166
2260.16/2266.81 c #Conflicts: 1341000 | #Constraints: 40166
2260.16/2266.81 c #Conflicts: 1342000 | #Constraints: 41166
2260.16/2266.81 c #Conflicts: 1343000 | #Constraints: 42166
2260.16/2266.81 c #Conflicts: 1344000 | #Constraints: 43166
2260.16/2266.81 c #Conflicts: 1345000 | #Constraints: 44166
2260.16/2266.81 c #Conflicts: 1346000 | #Constraints: 45166
2260.16/2266.81 c #Conflicts: 1347000 | #Constraints: 46166
2260.16/2266.81 c #Conflicts: 1348000 | #Constraints: 47166
2260.16/2266.81 c INPROCESSING
2260.16/2266.81 c GARBAGE COLLECT
2260.16/2266.81 c #Conflicts: 1349000 | #Constraints: 25168
2260.16/2266.81 c #Conflicts: 1350000 | #Constraints: 26168
2260.16/2266.81 c #Conflicts: 1351000 | #Constraints: 27168
2260.16/2266.81 c #Conflicts: 1352000 | #Constraints: 28168
2260.16/2266.81 c #Conflicts: 1353000 | #Constraints: 29168
2260.16/2266.81 c #Conflicts: 1354000 | #Constraints: 30168
2260.16/2266.81 c #Conflicts: 1355000 | #Constraints: 31168
2260.16/2266.81 c #Conflicts: 1356000 | #Constraints: 32168
2260.16/2266.81 c #Conflicts: 1357000 | #Constraints: 33168
2260.16/2266.81 c #Conflicts: 1358000 | #Constraints: 34168
2260.16/2266.81 c #Conflicts: 1359000 | #Constraints: 35168
2260.16/2266.81 c #Conflicts: 1360000 | #Constraints: 36168
2260.16/2266.81 c #Conflicts: 1361000 | #Constraints: 37168
2260.16/2266.81 c #Conflicts: 1362000 | #Constraints: 38168
2260.16/2266.81 c #Conflicts: 1363000 | #Constraints: 39168
2260.16/2266.81 c #Conflicts: 1364000 | #Constraints: 40168
2260.16/2266.81 c #Conflicts: 1365000 | #Constraints: 41168
2260.16/2266.81 c #Conflicts: 1366000 | #Constraints: 42168
2260.16/2266.81 c #Conflicts: 1367000 | #Constraints: 43168
2260.16/2266.81 c #Conflicts: 1368000 | #Constraints: 44168
2260.16/2266.81 c #Conflicts: 1369000 | #Constraints: 45168
2260.16/2266.81 c #Conflicts: 1370000 | #Constraints: 46168
2260.16/2266.81 c #Conflicts: 1371000 | #Constraints: 47168
2260.16/2266.81 c INPROCESSING
2260.16/2266.81 c GARBAGE COLLECT
2260.16/2266.81 c #Conflicts: 1372000 | #Constraints: 24964
2260.16/2266.81 c #Conflicts: 1373000 | #Constraints: 25964
2260.16/2266.81 c #Conflicts: 1374000 | #Constraints: 26964
2260.16/2266.81 c #Conflicts: 1375000 | #Constraints: 27964
2260.16/2266.81 c #Conflicts: 1376000 | #Constraints: 28964
2260.16/2266.81 c #Conflicts: 1377000 | #Constraints: 29964
2260.16/2266.81 c #Conflicts: 1378000 | #Constraints: 30964
2260.16/2266.81 c #Conflicts: 1379000 | #Constraints: 31964
2260.16/2266.81 c #Conflicts: 1380000 | #Constraints: 32964
2260.16/2266.81 c #Conflicts: 1381000 | #Constraints: 33964
2260.16/2266.81 c #Conflicts: 1382000 | #Constraints: 34964
2260.16/2266.81 c #Conflicts: 1383000 | #Constraints: 35964
2260.16/2266.81 c #Conflicts: 1384000 | #Constraints: 36964
2260.16/2266.81 c #Conflicts: 1385000 | #Constraints: 37964
2260.16/2266.81 c #Conflicts: 1386000 | #Constraints: 38964
2370.46/2377.40 c #Conflicts: 1387000 | #Constraints: 39964
2370.46/2377.40 c #Conflicts: 1388000 | #Constraints: 40964
2370.46/2377.40 c #Conflicts: 1389000 | #Constraints: 41964
2370.46/2377.40 c #Conflicts: 1390000 | #Constraints: 42964
2370.46/2377.40 c #Conflicts: 1391000 | #Constraints: 43964
2370.46/2377.40 c #Conflicts: 1392000 | #Constraints: 44964
2370.46/2377.40 c #Conflicts: 1393000 | #Constraints: 45964
2370.46/2377.40 c #Conflicts: 1394000 | #Constraints: 46964
2370.46/2377.40 c #Conflicts: 1395000 | #Constraints: 47964
2370.46/2377.40 c INPROCESSING
2370.46/2377.40 c GARBAGE COLLECT
2370.46/2377.40 c #Conflicts: 1396000 | #Constraints: 25568
2370.46/2377.40 c #Conflicts: 1397000 | #Constraints: 26568
2370.46/2377.40 c #Conflicts: 1398000 | #Constraints: 27568
2370.46/2377.40 c #Conflicts: 1399000 | #Constraints: 28568
2370.46/2377.40 c #Conflicts: 1400000 | #Constraints: 29568
2370.46/2377.40 c #Conflicts: 1401000 | #Constraints: 30568
2370.46/2377.40 c #Conflicts: 1402000 | #Constraints: 31568
2370.46/2377.40 c #Conflicts: 1403000 | #Constraints: 32568
2370.46/2377.40 c #Conflicts: 1404000 | #Constraints: 33568
2370.46/2377.40 c #Conflicts: 1405000 | #Constraints: 34568
2370.46/2377.40 c #Conflicts: 1406000 | #Constraints: 35568
2370.46/2377.40 c #Conflicts: 1407000 | #Constraints: 36568
2370.46/2377.40 c #Conflicts: 1408000 | #Constraints: 37568
2370.46/2377.40 c #Conflicts: 1409000 | #Constraints: 38568
2370.46/2377.40 c #Conflicts: 1410000 | #Constraints: 39568
2370.46/2377.40 c #Conflicts: 1411000 | #Constraints: 40568
2370.46/2377.40 c #Conflicts: 1412000 | #Constraints: 41568
2370.46/2377.40 c #Conflicts: 1413000 | #Constraints: 42568
2370.46/2377.40 c #Conflicts: 1414000 | #Constraints: 43568
2370.46/2377.40 c #Conflicts: 1415000 | #Constraints: 44568
2370.46/2377.40 c #Conflicts: 1416000 | #Constraints: 45568
2370.46/2377.40 c #Conflicts: 1417000 | #Constraints: 46568
2370.46/2377.40 c #Conflicts: 1418000 | #Constraints: 47568
2370.46/2377.40 c #Conflicts: 1419000 | #Constraints: 48568
2370.46/2377.40 c INPROCESSING
2370.46/2377.40 c GARBAGE COLLECT
2370.46/2377.40 c #Conflicts: 1420000 | #Constraints: 25971
2370.46/2377.40 c #Conflicts: 1421000 | #Constraints: 26971
2370.46/2377.40 c #Conflicts: 1422000 | #Constraints: 27971
2370.46/2377.40 c #Conflicts: 1423000 | #Constraints: 28971
2370.46/2377.40 c #Conflicts: 1424000 | #Constraints: 29971
2370.46/2377.40 c #Conflicts: 1425000 | #Constraints: 30971
2370.46/2377.40 c GLOBAL bounds - >= 0 @ 2355.03
2559.52/2567.04 c #Conflicts: 1426000 | #Constraints: 31973
2559.52/2567.04 c #Conflicts: 1427000 | #Constraints: 32973
2559.52/2567.04 c #Conflicts: 1428000 | #Constraints: 33973
2559.52/2567.04 c #Conflicts: 1429000 | #Constraints: 34973
2559.52/2567.04 c #Conflicts: 1430000 | #Constraints: 35973
2559.52/2567.04 c #Conflicts: 1431000 | #Constraints: 36973
2559.52/2567.04 c #Conflicts: 1432000 | #Constraints: 37973
2559.52/2567.04 c #Conflicts: 1433000 | #Constraints: 38973
2559.52/2567.04 c #Conflicts: 1434000 | #Constraints: 39973
2559.52/2567.04 c #Conflicts: 1435000 | #Constraints: 40973
2559.52/2567.04 c #Conflicts: 1436000 | #Constraints: 41973
2559.52/2567.04 c #Conflicts: 1437000 | #Constraints: 42973
2559.52/2567.04 c #Conflicts: 1438000 | #Constraints: 43973
2559.52/2567.04 c #Conflicts: 1439000 | #Constraints: 44973
2559.52/2567.04 c #Conflicts: 1440000 | #Constraints: 45973
2559.52/2567.04 c #Conflicts: 1441000 | #Constraints: 46973
2559.52/2567.04 c #Conflicts: 1442000 | #Constraints: 47973
2559.52/2567.04 c #Conflicts: 1443000 | #Constraints: 48973
2559.52/2567.04 c INPROCESSING
2559.52/2567.04 c GARBAGE COLLECT
2559.52/2567.04 c #Conflicts: 1444000 | #Constraints: 26185
2559.52/2567.04 c #Conflicts: 1445000 | #Constraints: 27185
2559.52/2567.04 c #Conflicts: 1446000 | #Constraints: 28185
2559.52/2567.04 c #Conflicts: 1447000 | #Constraints: 29185
2559.52/2567.04 c #Conflicts: 1448000 | #Constraints: 30185
2559.52/2567.04 c #Conflicts: 1449000 | #Constraints: 31185
2559.52/2567.04 c #Conflicts: 1450000 | #Constraints: 32185
2559.52/2567.04 c #Conflicts: 1451000 | #Constraints: 33185
2559.52/2567.04 c #Conflicts: 1452000 | #Constraints: 34185
2559.52/2567.04 c #Conflicts: 1453000 | #Constraints: 35185
2559.52/2567.04 c #Conflicts: 1454000 | #Constraints: 36185
2559.52/2567.04 c #Conflicts: 1455000 | #Constraints: 37185
2559.52/2567.04 c #Conflicts: 1456000 | #Constraints: 38185
2559.52/2567.04 c #Conflicts: 1457000 | #Constraints: 39185
2559.52/2567.04 c #Conflicts: 1458000 | #Constraints: 40185
2559.52/2567.04 c #Conflicts: 1459000 | #Constraints: 41185
2559.52/2567.04 c #Conflicts: 1460000 | #Constraints: 42185
2559.52/2567.04 c #Conflicts: 1461000 | #Constraints: 43185
2559.52/2567.04 c #Conflicts: 1462000 | #Constraints: 44185
2559.52/2567.04 c #Conflicts: 1463000 | #Constraints: 45185
2559.52/2567.04 c #Conflicts: 1464000 | #Constraints: 46185
2559.52/2567.04 c #Conflicts: 1465000 | #Constraints: 47185
2559.52/2567.04 c #Conflicts: 1466000 | #Constraints: 48185
2559.52/2567.04 c #Conflicts: 1467000 | #Constraints: 49185
2559.52/2567.04 c INPROCESSING
2559.52/2567.04 c GARBAGE COLLECT
2559.52/2567.04 c #Conflicts: 1468000 | #Constraints: 26136
2559.52/2567.04 c #Conflicts: 1469000 | #Constraints: 27136
2559.52/2567.04 c #Conflicts: 1470000 | #Constraints: 28136
2559.52/2567.04 c #Conflicts: 1471000 | #Constraints: 29136
2559.52/2567.04 c #Conflicts: 1472000 | #Constraints: 30136
2559.52/2567.04 c #Conflicts: 1473000 | #Constraints: 31136
2559.52/2567.04 c #Conflicts: 1474000 | #Constraints: 32136
2559.52/2567.04 c #Conflicts: 1475000 | #Constraints: 33136
2559.52/2567.04 c #Conflicts: 1476000 | #Constraints: 34136
2559.52/2567.04 c #Conflicts: 1477000 | #Constraints: 35136
2559.52/2567.04 c #Conflicts: 1478000 | #Constraints: 36136
2559.52/2567.04 c #Conflicts: 1479000 | #Constraints: 37136
2559.52/2567.04 c #Conflicts: 1480000 | #Constraints: 38136
2559.52/2567.04 c #Conflicts: 1481000 | #Constraints: 39136
2559.52/2567.04 c #Conflicts: 1482000 | #Constraints: 40136
2559.52/2567.04 c #Conflicts: 1483000 | #Constraints: 41136
2559.52/2567.04 c #Conflicts: 1484000 | #Constraints: 42136
2559.52/2567.04 c #Conflicts: 1485000 | #Constraints: 43136
2559.52/2567.04 c #Conflicts: 1486000 | #Constraints: 44136
2559.52/2567.04 c #Conflicts: 1487000 | #Constraints: 45136
2559.52/2567.04 c #Conflicts: 1488000 | #Constraints: 46136
2559.52/2567.04 c #Conflicts: 1489000 | #Constraints: 47136
2559.52/2567.04 c #Conflicts: 1490000 | #Constraints: 48136
2559.52/2567.04 c #Conflicts: 1491000 | #Constraints: 49136
2559.52/2567.04 c INPROCESSING
2559.52/2567.04 c GARBAGE COLLECT
2559.52/2567.04 c #Conflicts: 1492000 | #Constraints: 25950
2559.52/2567.04 c #Conflicts: 1493000 | #Constraints: 26950
2559.52/2567.04 c #Conflicts: 1494000 | #Constraints: 27950
2559.52/2567.04 c #Conflicts: 1495000 | #Constraints: 28950
2559.52/2567.04 c #Conflicts: 1496000 | #Constraints: 29950
2559.52/2567.04 c #Conflicts: 1497000 | #Constraints: 30950
2559.52/2567.04 c #Conflicts: 1498000 | #Constraints: 31950
2559.52/2567.04 c #Conflicts: 1499000 | #Constraints: 32950
2559.52/2567.04 c #Conflicts: 1500000 | #Constraints: 33950
2559.52/2567.04 c #Conflicts: 1501000 | #Constraints: 34950
2559.52/2567.04 c #Conflicts: 1502000 | #Constraints: 35950
2766.23/2774.30 c #Conflicts: 1503000 | #Constraints: 36950
2766.23/2774.30 c #Conflicts: 1504000 | #Constraints: 37950
2766.23/2774.30 c #Conflicts: 1505000 | #Constraints: 38950
2766.23/2774.30 c #Conflicts: 1506000 | #Constraints: 39950
2766.23/2774.30 c #Conflicts: 1507000 | #Constraints: 40950
2766.23/2774.30 c #Conflicts: 1508000 | #Constraints: 41950
2766.23/2774.30 c #Conflicts: 1509000 | #Constraints: 42950
2766.23/2774.30 c #Conflicts: 1510000 | #Constraints: 43950
2766.23/2774.30 c #Conflicts: 1511000 | #Constraints: 44950
2766.23/2774.30 c #Conflicts: 1512000 | #Constraints: 45950
2766.23/2774.30 c #Conflicts: 1513000 | #Constraints: 46950
2766.23/2774.30 c #Conflicts: 1514000 | #Constraints: 47950
2766.23/2774.30 c #Conflicts: 1515000 | #Constraints: 48950
2766.23/2774.30 c #Conflicts: 1516000 | #Constraints: 49950
2766.23/2774.30 c INPROCESSING
2766.23/2774.30 c GARBAGE COLLECT
2766.23/2774.30 c #Conflicts: 1517000 | #Constraints: 26559
2766.23/2774.30 c #Conflicts: 1518000 | #Constraints: 27559
2766.23/2774.30 c #Conflicts: 1519000 | #Constraints: 28559
2766.23/2774.30 c #Conflicts: 1520000 | #Constraints: 29559
2766.23/2774.30 c #Conflicts: 1521000 | #Constraints: 30559
2766.23/2774.30 c #Conflicts: 1522000 | #Constraints: 31559
2766.23/2774.30 c #Conflicts: 1523000 | #Constraints: 32559
2766.23/2774.30 c #Conflicts: 1524000 | #Constraints: 33559
2766.23/2774.30 c #Conflicts: 1525000 | #Constraints: 34559
2766.23/2774.30 c #Conflicts: 1526000 | #Constraints: 35559
2766.23/2774.30 c #Conflicts: 1527000 | #Constraints: 36559
2766.23/2774.30 c #Conflicts: 1528000 | #Constraints: 37559
2766.23/2774.30 c #Conflicts: 1529000 | #Constraints: 38559
2766.23/2774.30 c #Conflicts: 1530000 | #Constraints: 39559
2766.23/2774.30 c #Conflicts: 1531000 | #Constraints: 40559
2766.23/2774.30 c #Conflicts: 1532000 | #Constraints: 41559
2766.23/2774.30 c #Conflicts: 1533000 | #Constraints: 42559
2766.23/2774.30 c #Conflicts: 1534000 | #Constraints: 43559
2766.23/2774.30 c #Conflicts: 1535000 | #Constraints: 44559
2766.23/2774.30 c #Conflicts: 1536000 | #Constraints: 45559
2766.23/2774.30 c #Conflicts: 1537000 | #Constraints: 46559
2766.23/2774.30 c #Conflicts: 1538000 | #Constraints: 47559
2766.23/2774.30 c #Conflicts: 1539000 | #Constraints: 48559
2766.23/2774.30 c #Conflicts: 1540000 | #Constraints: 49559
2766.23/2774.30 c #Conflicts: 1541000 | #Constraints: 50559
2766.23/2774.30 c INPROCESSING
2766.23/2774.30 c GARBAGE COLLECT
2766.23/2774.30 c #Conflicts: 1542000 | #Constraints: 26959
2766.23/2774.30 c #Conflicts: 1543000 | #Constraints: 27959
2766.23/2774.30 c #Conflicts: 1544000 | #Constraints: 28959
2766.23/2774.30 c #Conflicts: 1545000 | #Constraints: 29959
2766.23/2774.30 c #Conflicts: 1546000 | #Constraints: 30959
2766.23/2774.30 c #Conflicts: 1547000 | #Constraints: 31959
2766.23/2774.30 c #Conflicts: 1548000 | #Constraints: 32959
2766.23/2774.30 c #Conflicts: 1549000 | #Constraints: 33959
2766.23/2774.30 c #Conflicts: 1550000 | #Constraints: 34959
2766.23/2774.30 c #Conflicts: 1551000 | #Constraints: 35959
2766.23/2774.30 c #Conflicts: 1552000 | #Constraints: 36959
2766.23/2774.30 c #Conflicts: 1553000 | #Constraints: 37959
2766.23/2774.30 c #Conflicts: 1554000 | #Constraints: 38959
2766.23/2774.30 c #Conflicts: 1555000 | #Constraints: 39959
2766.23/2774.30 c #Conflicts: 1556000 | #Constraints: 40959
2766.23/2774.30 c #Conflicts: 1557000 | #Constraints: 41959
2766.23/2774.30 c #Conflicts: 1558000 | #Constraints: 42959
2766.23/2774.30 c #Conflicts: 1559000 | #Constraints: 43959
2766.23/2774.30 c #Conflicts: 1560000 | #Constraints: 44959
2766.23/2774.30 c #Conflicts: 1561000 | #Constraints: 45959
2766.23/2774.30 c #Conflicts: 1562000 | #Constraints: 46959
2766.23/2774.30 c #Conflicts: 1563000 | #Constraints: 47959
2766.23/2774.30 c #Conflicts: 1564000 | #Constraints: 48959
2766.23/2774.30 c #Conflicts: 1565000 | #Constraints: 49959
2766.23/2774.30 c #Conflicts: 1566000 | #Constraints: 50959
2766.23/2774.30 c INPROCESSING
2766.23/2774.30 c GARBAGE COLLECT
2766.23/2774.30 c #Conflicts: 1567000 | #Constraints: 27163
2766.23/2774.30 c #Conflicts: 1568000 | #Constraints: 28163
2766.23/2774.30 c #Conflicts: 1569000 | #Constraints: 29163
2766.23/2774.30 c #Conflicts: 1570000 | #Constraints: 30163
2766.23/2774.30 c #Conflicts: 1571000 | #Constraints: 31163
2766.23/2774.30 c #Conflicts: 1572000 | #Constraints: 32163
2766.23/2774.30 c #Conflicts: 1573000 | #Constraints: 33163
2766.23/2774.30 c #Conflicts: 1574000 | #Constraints: 34163
2766.23/2774.30 c #Conflicts: 1575000 | #Constraints: 35163
2766.23/2774.30 c #Conflicts: 1576000 | #Constraints: 36163
2766.23/2774.30 c #Conflicts: 1577000 | #Constraints: 37163
2766.23/2774.30 c #Conflicts: 1578000 | #Constraints: 38163
2766.23/2774.30 c #Conflicts: 1579000 | #Constraints: 39163
2972.54/2981.24 c #Conflicts: 1580000 | #Constraints: 40163
2972.54/2981.24 c #Conflicts: 1581000 | #Constraints: 41163
2972.54/2981.24 c #Conflicts: 1582000 | #Constraints: 42163
2972.54/2981.24 c #Conflicts: 1583000 | #Constraints: 43163
2972.54/2981.24 c #Conflicts: 1584000 | #Constraints: 44163
2972.54/2981.24 c #Conflicts: 1585000 | #Constraints: 45163
2972.54/2981.24 c #Conflicts: 1586000 | #Constraints: 46163
2972.54/2981.24 c #Conflicts: 1587000 | #Constraints: 47163
2972.54/2981.24 c #Conflicts: 1588000 | #Constraints: 48163
2972.54/2981.24 c #Conflicts: 1589000 | #Constraints: 49163
2972.54/2981.24 c #Conflicts: 1590000 | #Constraints: 50163
2972.54/2981.24 c #Conflicts: 1591000 | #Constraints: 51163
2972.54/2981.24 c INPROCESSING
2972.54/2981.24 c GARBAGE COLLECT
2972.54/2981.24 c #Conflicts: 1592000 | #Constraints: 27156
2972.54/2981.24 c #Conflicts: 1593000 | #Constraints: 28156
2972.54/2981.24 c #Conflicts: 1594000 | #Constraints: 29156
2972.54/2981.24 c #Conflicts: 1595000 | #Constraints: 30156
2972.54/2981.24 c #Conflicts: 1596000 | #Constraints: 31156
2972.54/2981.24 c #Conflicts: 1597000 | #Constraints: 32156
2972.54/2981.24 c #Conflicts: 1598000 | #Constraints: 33156
2972.54/2981.24 c #Conflicts: 1599000 | #Constraints: 34156
2972.54/2981.24 c #Conflicts: 1600000 | #Constraints: 35156
2972.54/2981.24 c #Conflicts: 1601000 | #Constraints: 36156
2972.54/2981.24 c #Conflicts: 1602000 | #Constraints: 37156
2972.54/2981.24 c #Conflicts: 1603000 | #Constraints: 38156
2972.54/2981.24 c #Conflicts: 1604000 | #Constraints: 39156
2972.54/2981.24 c #Conflicts: 1605000 | #Constraints: 40156
2972.54/2981.24 c #Conflicts: 1606000 | #Constraints: 41156
2972.54/2981.24 c #Conflicts: 1607000 | #Constraints: 42156
2972.54/2981.24 c #Conflicts: 1608000 | #Constraints: 43156
2972.54/2981.24 c #Conflicts: 1609000 | #Constraints: 44156
2972.54/2981.24 c #Conflicts: 1610000 | #Constraints: 45156
2972.54/2981.24 c #Conflicts: 1611000 | #Constraints: 46156
2972.54/2981.24 c #Conflicts: 1612000 | #Constraints: 47156
2972.54/2981.24 c #Conflicts: 1613000 | #Constraints: 48156
2972.54/2981.24 c #Conflicts: 1614000 | #Constraints: 49156
2972.54/2981.24 c #Conflicts: 1615000 | #Constraints: 50156
2972.54/2981.24 c #Conflicts: 1616000 | #Constraints: 51156
2972.54/2981.24 c INPROCESSING
2972.54/2981.24 c GARBAGE COLLECT
2972.54/2981.24 c #Conflicts: 1617000 | #Constraints: 26955
2972.54/2981.24 c #Conflicts: 1618000 | #Constraints: 27955
2972.54/2981.24 c #Conflicts: 1619000 | #Constraints: 28955
2972.54/2981.24 c #Conflicts: 1620000 | #Constraints: 29955
2972.54/2981.24 c #Conflicts: 1621000 | #Constraints: 30955
2972.54/2981.24 c #Conflicts: 1622000 | #Constraints: 31955
2972.54/2981.24 c #Conflicts: 1623000 | #Constraints: 32955
2972.54/2981.24 c #Conflicts: 1624000 | #Constraints: 33955
2972.54/2981.24 c #Conflicts: 1625000 | #Constraints: 34955
2972.54/2981.24 c #Conflicts: 1626000 | #Constraints: 35955
2972.54/2981.24 c #Conflicts: 1627000 | #Constraints: 36955
2972.54/2981.24 c #Conflicts: 1628000 | #Constraints: 37955
2972.54/2981.24 c #Conflicts: 1629000 | #Constraints: 38955
2972.54/2981.24 c #Conflicts: 1630000 | #Constraints: 39955
2972.54/2981.24 c #Conflicts: 1631000 | #Constraints: 40955
2972.54/2981.24 c #Conflicts: 1632000 | #Constraints: 41955
2972.54/2981.24 c #Conflicts: 1633000 | #Constraints: 42955
2972.54/2981.24 c #Conflicts: 1634000 | #Constraints: 43955
2972.54/2981.24 c #Conflicts: 1635000 | #Constraints: 44955
2972.54/2981.24 c #Conflicts: 1636000 | #Constraints: 45955
2972.54/2981.24 c #Conflicts: 1637000 | #Constraints: 46955
2972.54/2981.24 c #Conflicts: 1638000 | #Constraints: 47955
2972.54/2981.24 c #Conflicts: 1639000 | #Constraints: 48955
2972.54/2981.24 c #Conflicts: 1640000 | #Constraints: 49955
2972.54/2981.24 c #Conflicts: 1641000 | #Constraints: 50955
2972.54/2981.24 c #Conflicts: 1642000 | #Constraints: 51955
2972.54/2981.24 c INPROCESSING
2972.54/2981.24 c GARBAGE COLLECT
2972.54/2981.24 c #Conflicts: 1643000 | #Constraints: 27566
2972.54/2981.24 c #Conflicts: 1644000 | #Constraints: 28566
2972.54/2981.24 c #Conflicts: 1645000 | #Constraints: 29566
2972.54/2981.24 c #Conflicts: 1646000 | #Constraints: 30566
2972.54/2981.24 c #Conflicts: 1647000 | #Constraints: 31566
2972.54/2981.24 c #Conflicts: 1648000 | #Constraints: 32566
2972.54/2981.24 c #Conflicts: 1649000 | #Constraints: 33566
2972.54/2981.24 c #Conflicts: 1650000 | #Constraints: 34566
2972.54/2981.24 c #Conflicts: 1651000 | #Constraints: 35566
2972.54/2981.24 c #Conflicts: 1652000 | #Constraints: 36566
2972.54/2981.24 c #Conflicts: 1653000 | #Constraints: 37566
2972.54/2981.24 c #Conflicts: 1654000 | #Constraints: 38566
2972.54/2981.24 c #Conflicts: 1655000 | #Constraints: 39566
2972.54/2981.24 c #Conflicts: 1656000 | #Constraints: 40566
3198.34/3207.67 c #Conflicts: 1657000 | #Constraints: 41566
3198.34/3207.67 c #Conflicts: 1658000 | #Constraints: 42566
3198.34/3207.67 c #Conflicts: 1659000 | #Constraints: 43566
3198.34/3207.67 c #Conflicts: 1660000 | #Constraints: 44566
3198.34/3207.67 c #Conflicts: 1661000 | #Constraints: 45566
3198.34/3207.67 c #Conflicts: 1662000 | #Constraints: 46566
3198.34/3207.67 c #Conflicts: 1663000 | #Constraints: 47566
3198.34/3207.67 c #Conflicts: 1664000 | #Constraints: 48566
3198.34/3207.67 c #Conflicts: 1665000 | #Constraints: 49566
3198.34/3207.67 c #Conflicts: 1666000 | #Constraints: 50566
3198.34/3207.67 c #Conflicts: 1667000 | #Constraints: 51566
3198.34/3207.67 c #Conflicts: 1668000 | #Constraints: 52566
3198.34/3207.67 c INPROCESSING
3198.34/3207.67 c GARBAGE COLLECT
3198.34/3207.67 c #Conflicts: 1669000 | #Constraints: 27967
3198.34/3207.67 c #Conflicts: 1670000 | #Constraints: 28967
3198.34/3207.67 c #Conflicts: 1671000 | #Constraints: 29967
3198.34/3207.67 c #Conflicts: 1672000 | #Constraints: 30967
3198.34/3207.67 c #Conflicts: 1673000 | #Constraints: 31967
3198.34/3207.67 c #Conflicts: 1674000 | #Constraints: 32967
3198.34/3207.67 c #Conflicts: 1675000 | #Constraints: 33967
3198.34/3207.67 c #Conflicts: 1676000 | #Constraints: 34967
3198.34/3207.67 c #Conflicts: 1677000 | #Constraints: 35967
3198.34/3207.67 c #Conflicts: 1678000 | #Constraints: 36967
3198.34/3207.67 c #Conflicts: 1679000 | #Constraints: 37967
3198.34/3207.67 c #Conflicts: 1680000 | #Constraints: 38967
3198.34/3207.67 c #Conflicts: 1681000 | #Constraints: 39967
3198.34/3207.67 c #Conflicts: 1682000 | #Constraints: 40967
3198.34/3207.67 c #Conflicts: 1683000 | #Constraints: 41967
3198.34/3207.67 c #Conflicts: 1684000 | #Constraints: 42967
3198.34/3207.67 c #Conflicts: 1685000 | #Constraints: 43967
3198.34/3207.67 c #Conflicts: 1686000 | #Constraints: 44967
3198.34/3207.67 c #Conflicts: 1687000 | #Constraints: 45967
3198.34/3207.67 c #Conflicts: 1688000 | #Constraints: 46967
3198.34/3207.67 c #Conflicts: 1689000 | #Constraints: 47967
3198.34/3207.67 c #Conflicts: 1690000 | #Constraints: 48967
3198.34/3207.67 c #Conflicts: 1691000 | #Constraints: 49967
3198.34/3207.67 c #Conflicts: 1692000 | #Constraints: 50967
3198.34/3207.67 c #Conflicts: 1693000 | #Constraints: 51967
3198.34/3207.67 c #Conflicts: 1694000 | #Constraints: 52967
3198.34/3207.67 c INPROCESSING
3198.34/3207.67 c GARBAGE COLLECT
3198.34/3207.67 c #Conflicts: 1695000 | #Constraints: 28166
3198.34/3207.67 c #Conflicts: 1696000 | #Constraints: 29166
3198.34/3207.67 c #Conflicts: 1697000 | #Constraints: 30166
3198.34/3207.67 c #Conflicts: 1698000 | #Constraints: 31166
3198.34/3207.67 c #Conflicts: 1699000 | #Constraints: 32166
3198.34/3207.67 c #Conflicts: 1700000 | #Constraints: 33166
3198.34/3207.67 c #Conflicts: 1701000 | #Constraints: 34166
3198.34/3207.67 c #Conflicts: 1702000 | #Constraints: 35166
3198.34/3207.67 c #Conflicts: 1703000 | #Constraints: 36166
3198.34/3207.67 c #Conflicts: 1704000 | #Constraints: 37166
3198.34/3207.67 c #Conflicts: 1705000 | #Constraints: 38166
3198.34/3207.67 c #Conflicts: 1706000 | #Constraints: 39166
3198.34/3207.67 c #Conflicts: 1707000 | #Constraints: 40166
3198.34/3207.67 c #Conflicts: 1708000 | #Constraints: 41166
3198.34/3207.67 c #Conflicts: 1709000 | #Constraints: 42166
3198.34/3207.67 c #Conflicts: 1710000 | #Constraints: 43166
3198.34/3207.67 c #Conflicts: 1711000 | #Constraints: 44166
3198.34/3207.67 c #Conflicts: 1712000 | #Constraints: 45166
3198.34/3207.67 c #Conflicts: 1713000 | #Constraints: 46166
3198.34/3207.67 c #Conflicts: 1714000 | #Constraints: 47166
3198.34/3207.67 c #Conflicts: 1715000 | #Constraints: 48166
3198.34/3207.67 c #Conflicts: 1716000 | #Constraints: 49166
3198.34/3207.67 c #Conflicts: 1717000 | #Constraints: 50166
3198.34/3207.67 c #Conflicts: 1718000 | #Constraints: 51166
3198.34/3207.67 c #Conflicts: 1719000 | #Constraints: 52166
3198.34/3207.67 c #Conflicts: 1720000 | #Constraints: 53166
3198.34/3207.67 c INPROCESSING
3198.34/3207.67 c GARBAGE COLLECT
3198.34/3207.67 c #Conflicts: 1721000 | #Constraints: 28166
3198.34/3207.67 c #Conflicts: 1722000 | #Constraints: 29166
3198.34/3207.67 c #Conflicts: 1723000 | #Constraints: 30166
3198.34/3207.67 c #Conflicts: 1724000 | #Constraints: 31166
3198.34/3207.67 c #Conflicts: 1725000 | #Constraints: 32166
3198.34/3207.67 c #Conflicts: 1726000 | #Constraints: 33166
3198.34/3207.67 c #Conflicts: 1727000 | #Constraints: 34166
3198.34/3207.67 c #Conflicts: 1728000 | #Constraints: 35166
3198.34/3207.67 c #Conflicts: 1729000 | #Constraints: 36166
3198.34/3207.67 c #Conflicts: 1730000 | #Constraints: 37166
3198.34/3207.67 c #Conflicts: 1731000 | #Constraints: 38166
3198.34/3207.67 c #Conflicts: 1732000 | #Constraints: 39166
3198.34/3207.67 c #Conflicts: 1733000 | #Constraints: 40166
3416.24/3426.13 c #Conflicts: 1734000 | #Constraints: 41166
3416.24/3426.13 c #Conflicts: 1735000 | #Constraints: 42166
3416.24/3426.13 c #Conflicts: 1736000 | #Constraints: 43166
3416.24/3426.13 c #Conflicts: 1737000 | #Constraints: 44166
3416.24/3426.13 c #Conflicts: 1738000 | #Constraints: 45166
3416.24/3426.13 c #Conflicts: 1739000 | #Constraints: 46166
3416.24/3426.13 c #Conflicts: 1740000 | #Constraints: 47166
3416.24/3426.13 c #Conflicts: 1741000 | #Constraints: 48166
3416.24/3426.13 c #Conflicts: 1742000 | #Constraints: 49166
3416.24/3426.13 c #Conflicts: 1743000 | #Constraints: 50166
3416.24/3426.13 c #Conflicts: 1744000 | #Constraints: 51166
3416.24/3426.13 c #Conflicts: 1745000 | #Constraints: 52166
3416.24/3426.13 c #Conflicts: 1746000 | #Constraints: 53166
3416.24/3426.13 c INPROCESSING
3416.24/3426.13 c GARBAGE COLLECT
3416.24/3426.13 c #Conflicts: 1747000 | #Constraints: 27973
3416.24/3426.13 c #Conflicts: 1748000 | #Constraints: 28973
3416.24/3426.13 c #Conflicts: 1749000 | #Constraints: 29973
3416.24/3426.13 c #Conflicts: 1750000 | #Constraints: 30973
3416.24/3426.13 c #Conflicts: 1751000 | #Constraints: 31973
3416.24/3426.13 c #Conflicts: 1752000 | #Constraints: 32973
3416.24/3426.13 c #Conflicts: 1753000 | #Constraints: 33973
3416.24/3426.13 c #Conflicts: 1754000 | #Constraints: 34973
3416.24/3426.13 c #Conflicts: 1755000 | #Constraints: 35973
3416.24/3426.13 c #Conflicts: 1756000 | #Constraints: 36973
3416.24/3426.13 c #Conflicts: 1757000 | #Constraints: 37973
3416.24/3426.13 c #Conflicts: 1758000 | #Constraints: 38973
3416.24/3426.13 c #Conflicts: 1759000 | #Constraints: 39973
3416.24/3426.13 c #Conflicts: 1760000 | #Constraints: 40973
3416.24/3426.13 c #Conflicts: 1761000 | #Constraints: 41973
3416.24/3426.13 c #Conflicts: 1762000 | #Constraints: 42973
3416.24/3426.13 c #Conflicts: 1763000 | #Constraints: 43973
3416.24/3426.13 c #Conflicts: 1764000 | #Constraints: 44973
3416.24/3426.13 c #Conflicts: 1765000 | #Constraints: 45973
3416.24/3426.13 c #Conflicts: 1766000 | #Constraints: 46973
3416.24/3426.13 c #Conflicts: 1767000 | #Constraints: 47973
3416.24/3426.13 c #Conflicts: 1768000 | #Constraints: 48973
3416.24/3426.13 c #Conflicts: 1769000 | #Constraints: 49973
3416.24/3426.13 c #Conflicts: 1770000 | #Constraints: 50973
3416.24/3426.13 c #Conflicts: 1771000 | #Constraints: 51973
3416.24/3426.13 c #Conflicts: 1772000 | #Constraints: 52973
3416.24/3426.13 c #Conflicts: 1773000 | #Constraints: 53973
3416.24/3426.13 c INPROCESSING
3416.24/3426.13 c GARBAGE COLLECT
3416.24/3426.13 c #Conflicts: 1774000 | #Constraints: 28562
3416.24/3426.13 c #Conflicts: 1775000 | #Constraints: 29562
3416.24/3426.13 c #Conflicts: 1776000 | #Constraints: 30562
3416.24/3426.13 c #Conflicts: 1777000 | #Constraints: 31562
3416.24/3426.13 c #Conflicts: 1778000 | #Constraints: 32562
3416.24/3426.13 c #Conflicts: 1779000 | #Constraints: 33562
3416.24/3426.13 c #Conflicts: 1780000 | #Constraints: 34562
3416.24/3426.13 c #Conflicts: 1781000 | #Constraints: 35562
3416.24/3426.13 c #Conflicts: 1782000 | #Constraints: 36562
3416.24/3426.13 c #Conflicts: 1783000 | #Constraints: 37562
3416.24/3426.13 c #Conflicts: 1784000 | #Constraints: 38562
3416.24/3426.13 c #Conflicts: 1785000 | #Constraints: 39562
3416.24/3426.13 c #Conflicts: 1786000 | #Constraints: 40562
3416.24/3426.13 c #Conflicts: 1787000 | #Constraints: 41562
3416.24/3426.13 c #Conflicts: 1788000 | #Constraints: 42562
3416.24/3426.13 c #Conflicts: 1789000 | #Constraints: 43562
3416.24/3426.13 c #Conflicts: 1790000 | #Constraints: 44562
3416.24/3426.13 c #Conflicts: 1791000 | #Constraints: 45562
3416.24/3426.13 c #Conflicts: 1792000 | #Constraints: 46562
3416.24/3426.13 c #Conflicts: 1793000 | #Constraints: 47562
3416.24/3426.13 c #Conflicts: 1794000 | #Constraints: 48562
3416.24/3426.13 c #Conflicts: 1795000 | #Constraints: 49562
3416.24/3426.13 c #Conflicts: 1796000 | #Constraints: 50562
3416.24/3426.13 c #Conflicts: 1797000 | #Constraints: 51562
3416.24/3426.13 c #Conflicts: 1798000 | #Constraints: 52562
3416.24/3426.13 c #Conflicts: 1799000 | #Constraints: 53562
3416.24/3426.13 c #Conflicts: 1800000 | #Constraints: 54562
3416.24/3426.13 c INPROCESSING
3416.24/3426.13 c GARBAGE COLLECT
3416.24/3426.13 c #Conflicts: 1801000 | #Constraints: 28968
3416.24/3426.13 c #Conflicts: 1802000 | #Constraints: 29968
3416.24/3426.13 c #Conflicts: 1803000 | #Constraints: 30968
3416.24/3426.13 c #Conflicts: 1804000 | #Constraints: 31968
3416.24/3426.13 c #Conflicts: 1805000 | #Constraints: 32968
3416.24/3426.13 c #Conflicts: 1806000 | #Constraints: 33968
3416.24/3426.13 c #Conflicts: 1807000 | #Constraints: 34968
3416.24/3426.13 c #Conflicts: 1808000 | #Constraints: 35968
3416.24/3426.13 c #Conflicts: 1809000 | #Constraints: 36968
3416.24/3426.13 c #Conflicts: 1810000 | #Constraints: 37968
3600.03/3610.40 c #Conflicts: 1811000 | #Constraints: 38968
3600.03/3610.40 c #Conflicts: 1812000 | #Constraints: 39968
3600.03/3610.40 c #Conflicts: 1813000 | #Constraints: 40968
3600.03/3610.40 c #Conflicts: 1814000 | #Constraints: 41968
3600.03/3610.40 c #Conflicts: 1815000 | #Constraints: 42968
3600.03/3610.40 c #Conflicts: 1816000 | #Constraints: 43968
3600.03/3610.40 c #Conflicts: 1817000 | #Constraints: 44968
3600.03/3610.40 c #Conflicts: 1818000 | #Constraints: 45968
3600.03/3610.40 c #Conflicts: 1819000 | #Constraints: 46968
3600.03/3610.40 c #Conflicts: 1820000 | #Constraints: 47968
3600.03/3610.40 c #Conflicts: 1821000 | #Constraints: 48968
3600.03/3610.40 c #Conflicts: 1822000 | #Constraints: 49968
3600.03/3610.40 c #Conflicts: 1823000 | #Constraints: 50968
3600.03/3610.40 c #Conflicts: 1824000 | #Constraints: 51968
3600.03/3610.40 c #Conflicts: 1825000 | #Constraints: 52968
3600.03/3610.40 c #Conflicts: 1826000 | #Constraints: 53968
3600.03/3610.40 c #Conflicts: 1827000 | #Constraints: 54968
3600.03/3610.40 c INPROCESSING
3600.03/3610.40 c GARBAGE COLLECT
3600.03/3610.40 c #Conflicts: 1828000 | #Constraints: 29165
3600.03/3610.40 c #Conflicts: 1829000 | #Constraints: 30165
3600.03/3610.40 c #Conflicts: 1830000 | #Constraints: 31165
3600.03/3610.40 c #Conflicts: 1831000 | #Constraints: 32165
3600.03/3610.40 c #Conflicts: 1832000 | #Constraints: 33165
3600.03/3610.40 c #Conflicts: 1833000 | #Constraints: 34165
3600.03/3610.40 c #Conflicts: 1834000 | #Constraints: 35165
3600.03/3610.40 c #Conflicts: 1835000 | #Constraints: 36165
3600.03/3610.40 c #Conflicts: 1836000 | #Constraints: 37165
3600.03/3610.40 c #Conflicts: 1837000 | #Constraints: 38165
3600.03/3610.40 c #Conflicts: 1838000 | #Constraints: 39165
3600.03/3610.40 c #Conflicts: 1839000 | #Constraints: 40165
3600.03/3610.40 c #Conflicts: 1840000 | #Constraints: 41165
3600.03/3610.40 c #Conflicts: 1841000 | #Constraints: 42165
3600.03/3610.40 c #Conflicts: 1842000 | #Constraints: 43165
3600.03/3610.40 c #Conflicts: 1843000 | #Constraints: 44165
3600.03/3610.40 c #Conflicts: 1844000 | #Constraints: 45165
3600.03/3610.40 c #Conflicts: 1845000 | #Constraints: 46165
3600.03/3610.40 c #Conflicts: 1846000 | #Constraints: 47165
3600.03/3610.40 c #Conflicts: 1847000 | #Constraints: 48165
3600.03/3610.40 c #Conflicts: 1848000 | #Constraints: 49165
3600.03/3610.40 c #Conflicts: 1849000 | #Constraints: 50165
3600.03/3610.40 c #Conflicts: 1850000 | #Constraints: 51165
3600.03/3610.40 c #Conflicts: 1851000 | #Constraints: 52165
3600.03/3610.40 c #Conflicts: 1852000 | #Constraints: 53165
3600.03/3610.40 c #Conflicts: 1853000 | #Constraints: 54165
3600.03/3610.40 c #Conflicts: 1854000 | #Constraints: 55165
3600.03/3610.40 c INPROCESSING
3600.03/3610.40 c GARBAGE COLLECT
3600.03/3610.40 c #Conflicts: 1855000 | #Constraints: 29168
3600.03/3610.40 c #Conflicts: 1856000 | #Constraints: 30168
3600.03/3610.40 c #Conflicts: 1857000 | #Constraints: 31168
3600.03/3610.40 c #Conflicts: 1858000 | #Constraints: 32168
3600.03/3610.40 c #Conflicts: 1859000 | #Constraints: 33168
3600.03/3610.40 c #Conflicts: 1860000 | #Constraints: 34168
3600.03/3610.40 c #Conflicts: 1861000 | #Constraints: 35168
3600.03/3610.40 c #Conflicts: 1862000 | #Constraints: 36168
3600.03/3610.40 c #Conflicts: 1863000 | #Constraints: 37168
3600.03/3610.40 c #Conflicts: 1864000 | #Constraints: 38168
3600.03/3610.40 c #Conflicts: 1865000 | #Constraints: 39168
3600.03/3610.40 c #Conflicts: 1866000 | #Constraints: 40168
3600.03/3610.40 c #Conflicts: 1867000 | #Constraints: 41168
3600.03/3610.40 c #Conflicts: 1868000 | #Constraints: 42168
3600.03/3610.40 c #Conflicts: 1869000 | #Constraints: 43168
3600.03/3610.40 c #Conflicts: 1870000 | #Constraints: 44168
3600.03/3610.40 c #Conflicts: 1871000 | #Constraints: 45168
3600.03/3610.40 c #Conflicts: 1872000 | #Constraints: 46168
3600.03/3610.40 c #Conflicts: 1873000 | #Constraints: 47168
3600.03/3610.40 c #Conflicts: 1874000 | #Constraints: 48168
3600.03/3610.40 c #Conflicts: 1875000 | #Constraints: 49168
3600.03/3610.40 c cpu time 3579.29 s
3600.03/3610.40 c deterministic time 1 1.00e+00
3600.03/3610.40 c optimization time 3579.29 s
3600.03/3610.40 c total solve time 0 s
3600.03/3610.40 c core-guided solve time 0 s
3600.03/3610.40 c propagation time 0.000336 s
3600.03/3610.40 c conflict analysis time 0 s
3600.03/3610.40 c propagations 0
3600.03/3610.40 c resolve steps 0
3600.03/3610.40 c decisions 0
3600.03/3610.40 c conflicts 0
3600.03/3610.40 c restarts 0
3600.03/3610.40 c inprocessing phases 0
3600.03/3610.40 c garbage collections 0 ,( -nan )
3600.03/3610.40 c input clauses 1090 ,( 100.00 )
3600.03/3610.40 c input cardinalities 0 ,( 0.00 )
3600.03/3610.40 c input general constraints 0 ,( 0.00 )
3600.03/3610.40 c input average constraint length 6.62
3600.03/3610.40 c input average constraint degree 1.00
3600.03/3610.40 c learned clauses 0 ,( 0.00 )
3600.03/3610.40 c learned cardinalities 0 ,( 0.00 )
3600.03/3610.40 c learned general constraints 0 ,( 0.00 )
3600.03/3610.40 c learned average constraint length 0.00
3600.03/3610.40 c learned average constraint degree 0.00
3600.03/3610.40 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.03/3610.40 c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.03/3610.40 c watched constraints 0 ,( -nan )
3600.03/3610.40 c counting constraints 0 ,( -nan )
3600.03/3610.40 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.03/3610.40 c gcd simplifications 0
3600.03/3610.40 c detected cardinalities 0
3600.03/3610.40 c weakened non-implied lits 0
3600.03/3610.40 c weakened non-implying lits 0
3600.03/3610.40 c original variables 1264
3600.03/3610.40 c clausal propagations 0
3600.03/3610.40 c cardinality propagations 0
3600.03/3610.40 c watched propagations 0
3600.03/3610.40 c counting propagations 0
3600.03/3610.40 c watch lookups 0
3600.03/3610.40 c watch backjump lookups 0
3600.03/3610.40 c watch checks 0
3600.03/3610.40 c propagation checks 0
3600.03/3610.40 c constraint additions 0
3600.03/3610.40 c trail pops 0
3600.03/3610.40 c formula constraints 1090
3600.03/3610.40 c learned constraints 0
3600.03/3610.40 c bound constraints 0
3600.03/3610.40 c core-guided constraints 0
3600.03/3610.40 c encountered formula constraints 0
3600.03/3610.40 c encountered learned constraints 0
3600.03/3610.40 c encountered bound constraints 0
3600.03/3610.40 c encountered core-guided constraints 0
3600.03/3610.40 c LP total time 0 s
3600.03/3610.40 c LP solve time 0 s
3600.03/3610.40 c LP constraints added 0
3600.03/3610.40 c LP constraints removed 0
3600.03/3610.40 c LP pivots internal 0
3600.03/3610.40 c LP pivots root 0
3600.03/3610.40 c LP calls 0
3600.03/3610.40 c LP optimalities 0
3600.03/3610.40 c LP no pivot count 0
3600.03/3610.40 c LP infeasibilities 0
3600.03/3610.40 c LP valid Farkas constraints 0
3600.03/3610.40 c LP learned Farkas constraints 0
3600.03/3610.40 c LP basis resets 0
3600.03/3610.40 c LP cycling count 0
3600.03/3610.40 c LP singular count 0
3600.03/3610.40 c LP no primal count 0
3600.03/3610.40 c LP no farkas count 0
3600.03/3610.40 c LP other issue count 0
3600.03/3610.40 c LP Gomory cuts 0
3600.03/3610.40 c LP learned cuts 0
3600.03/3610.40 c LP deleted cuts 0
3600.03/3610.40 c LP encountered Gomory constraints 0
3600.03/3610.40 c LP encountered Farkas constraints 0
3600.03/3610.40 c LP encountered learned Farkas constraints 0
3600.03/3610.40 c CG auxiliary variables introduced 0
3600.03/3610.40 c CG solutions found 0
3600.03/3610.40 c CG cores constructed 0
3600.03/3610.40 c CG core cardinality constraints returned 0
3600.03/3610.40 c CG unit cores 0
3600.03/3610.40 c CG single cores 0
3600.03/3610.40 c CG blocks removed during cardinality reduction 0
3600.03/3610.40 c CG first core best 0
3600.03/3610.40 c CG decision core best 0
3600.03/3610.40 c CG core reduction tie 0
3600.03/3610.40 c CG core degree average 0.00
3600.03/3610.40 c CG core slack average 0.00
3600.03/3610.40 c CG core upper bound improvements 0
3600.03/3610.40 c STR number of successful calls 0
3600.03/3610.40 c STR number of unsuccessful calls 0
3600.03/3610.40 c STR number of inconclusive calls 0
3600.03/3610.40 c STR number of successful attempts 0
3600.03/3610.40 c STR number of unsuccessful attempts 0
3600.03/3610.40 c STR number of inconclusive attempts 0
3600.03/3610.40 c STR average degree increase per successful call inf
3600.03/3610.40 c STR average degree increase per successful attempt inf
3600.03/3610.40 c STR total number of conflicts for successful attempts 0
3600.03/3610.40 c STR total number of conflicts for unsuccessful attempts 0
3600.03/3610.40 c STR total number of conflicts for inconclusive attempts 0
3600.03/3610.40 c STR average number of conflicts per successful attempt inf
3600.03/3610.40 c STR average number of conflicts per unsuccessful attempt inf
3600.03/3610.40 c STR average number of conflicts per inconclusive attempt inf
3600.03/3610.40 c AVG.sumWPerc -nan
3600.03/3610.40 c bigint constraints 0
3600.03/3610.40 s UNKNOWN
3600.03/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 (61566 MiB free)
memory of node 1: 64465 MiB (63447 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4490933-1751386099/watcher-4490933-1751386099 -o /tmp/evaluation-result-4490933-1751386099/solver-4490933-1751386099 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751386099-55802 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4490933-1751386099.opb PROOFDIR/proof-4490933-1751386099
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
solver pid=55850, runsolver pid=55841
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 0.71 2.14 3.22 5/264 55864
/proc/meminfo: memFree=128006804/131250000 swapFree=33010684/33010684
[pid=55850] ppid=55841 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/55850/stat : 55850 (run-opt-log.sh) S 55841 55850 55791 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 54286502 4292608 736 18446744073709551615 94561478148096 94561479042629 140736847956832 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94561479281680 94561479329424 94561488707584 140736847960353 140736847960548 140736847960548 140736847966150 0
/proc/55850/statm: 1048 736 672 219 0 110 0
[pid=55862] ppid=55850 vsize=67564 memory=20792 CPUtime=0.06 cores=4,6
/proc/55862/stat : 55862 (roundingsat) R 55850 55850 55791 0 -1 4194304 2871 0 0 0 5 1 0 0 20 0 1 0 54286504 69185536 5198 18446744073709551615 4227072 8923433 140727698239488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28528640 140727698241874 140727698242088 140727698242088 140727698247658 0
/proc/55862/statm: 16891 5198 2336 1147 0 4318 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 71756 KiB
Current children cumulated memory: 23736 KiB
[startup+0.20558 s]*
/proc/loadavg: 0.71 2.14 3.22 4/265 55872
/proc/meminfo: memFree=127953420/131250000 swapFree=33010684/33010684
[pid=55850] ppid=55841 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/55850/stat : 55850 (run-opt-log.sh) S 55841 55850 55791 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 54286502 4292608 736 18446744073709551615 94561478148096 94561479042629 140736847956832 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94561479281680 94561479329424 94561488707584 140736847960353 140736847960548 140736847960548 140736847966150 0
/proc/55850/statm: 1048 736 672 219 0 110 0
[pid=55862] ppid=55850 vsize=83888 memory=35344 CPUtime=0.17 cores=4,6
/proc/55862/stat : 55862 (roundingsat) R 55850 55850 55791 0 -1 4194304 6001 0 0 0 15 2 0 0 20 0 1 0 54286504 85901312 8836 18446744073709551615 4227072 8923433 140727698239488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28528640 140727698241874 140727698242088 140727698242088 140727698247658 0
/proc/55862/statm: 20972 8836 2336 1147 0 8399 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 88080 KiB
Current children cumulated memory: 38288 KiB
[startup+0.30541 s]*
/proc/loadavg: 0.71 2.14 3.22 4/262 55872
/proc/meminfo: memFree=127951872/131250000 swapFree=33010684/33010684
[pid=55850] ppid=55841 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/55850/stat : 55850 (run-opt-log.sh) S 55841 55850 55791 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 54286502 4292608 736 18446744073709551615 94561478148096 94561479042629 140736847956832 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94561479281680 94561479329424 94561488707584 140736847960353 140736847960548 140736847960548 140736847966150 0
/proc/55850/statm: 1048 736 672 219 0 110 0
[pid=55862] ppid=55850 vsize=90024 memory=40080 CPUtime=0.27 cores=4,6
/proc/55862/stat : 55862 (roundingsat) R 55850 55850 55791 0 -1 4194304 7191 0 0 0 24 3 0 0 20 0 1 0 54286504 92184576 10020 18446744073709551615 4227072 8923433 140727698239488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28528640 140727698241874 140727698242088 140727698242088 140727698247658 0
/proc/55862/statm: 22506 10020 2336 1147 0 9933 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 94216 KiB
Current children cumulated memory: 43024 KiB
[startup+0.700209 s]
/proc/loadavg: 0.71 2.14 3.22 4/262 55872
/proc/meminfo: memFree=127900840/131250000 swapFree=33010684/33010684
[pid=55850] ppid=55841 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/55850/stat : 55850 (run-opt-log.sh) S 55841 55850 55791 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 54286502 4292608 736 18446744073709551615 94561478148096 94561479042629 140736847956832 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94561479281680 94561479329424 94561488707584 140736847960353 140736847960548 140736847960548 140736847966150 0
/proc/55850/statm: 1048 736 672 219 0 110 0
[pid=55862] ppid=55850 vsize=117636 memory=70540 CPUtime=0.65 cores=4,6
/proc/55862/stat : 55862 (roundingsat) R 55850 55850 55791 0 -1 4194304 12757 0 0 0 61 4 0 0 20 0 1 0 54286504 120459264 17635 18446744073709551615 4227072 8923433 140727698239488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28528640 140727698241874 140727698242088 140727698242088 140727698247658 0
/proc/55862/statm: 29409 17635 2336 1147 0 16836 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 121828 KiB
Current children cumulated memory: 73484 KiB
[startup+1.50018 s]
/proc/loadavg: 0.71 2.14 3.22 4/262 55872
/proc/meminfo: memFree=127880400/131250000 swapFree=33010684/33010684
[pid=55850] ppid=55841 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/55850/stat : 55850 (run-opt-log.sh) S 55841 55850 55791 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 54286502 4292608 736 18446744073709551615 94561478148096 94561479042629 140736847956832 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94561479281680 94561479329424 94561488707584 140736847960353 140736847960548 140736847960548 140736847966150 0
/proc/55850/statm: 1048 736 672 219 0 110 0
[pid=55862] ppid=55850 vsize=164008 memory=102752 CPUtime=1.46 cores=4,6
/proc/55862/stat : 55862 (roundingsat) R 55850 55850 55791 0 -1 4194304 19792 0 0 0 139 7 0 0 20 0 1 0 54286504 167944192 25688 18446744073709551615 4227072 8923433 140727698239488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28528640 140727698241874 140727698242088 140727698242088 140727698247658 0
/proc/55862/statm: 41002 25688 2336 1147 0 28429 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 168200 KiB
Current children cumulated memory: 105696 KiB
[startup+3.10517 s]
/proc/loadavg: 0.71 2.14 3.22 5/267 55911
/proc/meminfo: memFree=127734096/131250000 swapFree=33010684/33010684
[pid=55850] ppid=55841 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/55850/stat : 55850 (run-opt-log.sh) S 55841 55850 55791 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 54286502 4292608 736 18446744073709551615 94561478148096 94561479042629 140736847956832 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94561479281680 94561479329424 94561488707584 140736847960353 140736847960548 140736847960548 140736847966150 0
/proc/55850/statm: 1048 736 672 219 0 110 0
[pid=55862] ppid=55850 vsize=164412 memory=105952 CPUtime=3.05 cores=4,6
/proc/55862/stat : 55862 (roundingsat) R 55850 55850 55791 0 -1 4194304 20609 0 0 0 296 9 0 0 20 0 1 0 54286504 168357888 26488 18446744073709551615 4227072 8923433 140727698239488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28528640 140727698241874 140727698242088 140727698242088 140727698247658 0
/proc/55862/statm: 41103 26488 2336 1147 0 28530 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 168604 KiB
Current children cumulated memory: 108896 KiB
[startup+6.30018 s]
/proc/loadavg: 0.97 2.17 3.23 5/267 55911
/proc/meminfo: memFree=127634232/131250000 swapFree=33010684/33010684
[pid=55850] ppid=55841 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/55850/stat : 55850 (run-opt-log.sh) S 55841 55850 55791 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 54286502 4292608 736 18446744073709551615 94561478148096 94561479042629 140736847956832 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94561479281680 94561479329424 94561488707584 140736847960353 140736847960548 140736847960548 140736847966150 0
/proc/55850/statm: 1048 736 672 219 0 110 0
[pid=55862] ppid=55850 vsize=239640 memory=151084 CPUtime=6.24 cores=4,6
/proc/55862/stat : 55862 (roundingsat) R 55850 55850 55791 0 -1 4194304 30348 0 0 0 606 18 0 0 20 0 1 0 54286504 245391360 37771 18446744073709551615 4227072 8923433 140727698239488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28528640 140727698241874 140727698242088 140727698242088 140727698247658 0
/proc/55862/statm: 59910 37771 2336 1147 0 47337 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 243832 KiB
Current children cumulated memory: 154028 KiB
[startup+12.7002 s]
/proc/loadavg: 1.21 2.20 3.23 5/267 55911
/proc/meminfo: memFree=127450752/131250000 swapFree=33010684/33010684
[pid=55850] ppid=55841 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/55850/stat : 55850 (run-opt-log.sh) S 55841 55850 55791 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 54286502 4292608 736 18446744073709551615 94561478148096 94561479042629 140736847956832 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94561479281680 94561479329424 94561488707584 140736847960353 140736847960548 140736847960548 140736847966150 0
/proc/55850/statm: 1048 736 672 219 0 110 0
[pid=55862] ppid=55850 vsize=245788 memory=164484 CPUtime=12.63 cores=4,6
/proc/55862/stat : 55862 (roundingsat) R 55850 55850 55791 0 -1 4194304 32677 0 0 0 1233 30 0 0 20 0 1 0 54286504 251686912 41121 18446744073709551615 4227072 8923433 140727698239488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28528640 140727698241874 140727698242088 140727698242088 140727698247658 0
/proc/55862/statm: 61447 41121 2336 1147 0 48874 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 249980 KiB
Current children cumulated memory: 167428 KiB
[startup+25.5002 s]
/proc/loadavg: 1.83 2.29 3.24 5/269 55913
/proc/meminfo: memFree=127163940/131250000 swapFree=33010684/33010684
[pid=55850] ppid=55841 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/55850/stat : 55850 (run-opt-log.sh) S 55841 55850 55791 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 54286502 4292608 736 18446744073709551615 94561478148096 94561479042629 140736847956832 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94561479281680 94561479329424 94561488707584 140736847960353 140736847960548 140736847960548 140736847966150 0
/proc/55850/statm: 1048 736 672 219 0 110 0
[pid=55862] ppid=55850 vsize=248604 memory=177432 CPUtime=25.39 cores=4,6
/proc/55862/stat : 55862 (roundingsat) R 55850 55850 55791 0 -1 4194304 34891 0 0 0 2489 50 0 0 20 0 1 0 54286504 254570496 44358 18446744073709551615 4227072 8923433 140727698239488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28528640 140727698241874 140727698242088 140727698242088 140727698247658 0
/proc/55862/statm: 62151 44358 2336 1147 0 49578 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 252796 KiB
Current children cumulated memory: 180376 KiB
[startup+51.1053 s]
/proc/loadavg: 2.64 2.45 3.27 5/270 55915
/proc/meminfo: memFree=126610260/131250000 swapFree=33010684/33010684
[pid=55850] ppid=55841 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/55850/stat : 55850 (run-opt-log.sh) S 55841 55850 55791 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 54286502 4292608 736 18446744073709551615 94561478148096 94561479042629 140736847956832 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94561479281680 94561479329424 94561488707584 140736847960353 140736847960548 140736847960548 140736847966150 0
/proc/55850/statm: 1048 736 672 219 0 110 0
[pid=55862] ppid=55850 vsize=371112 memory=255904 CPUtime=50.93 cores=4,6
/proc/55862/stat : 55862 (roundingsat) R 55850 55850 55791 0 -1 4194304 51463 0 0 0 5002 91 0 0 20 0 1 0 54286504 380018688 63976 18446744073709551615 4227072 8923433 140727698239488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28528640 140727698241874 140727698242088 140727698242088 140727698247658 0
/proc/55862/statm: 92778 63976 2336 1147 0 80205 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 375304 KiB
Current children cumulated memory: 258848 KiB
[startup+102.3 s]
/proc/loadavg: 3.41 2.69 3.31 5/272 55919
/proc/meminfo: memFree=125727684/131250000 swapFree=33010684/33010684
[pid=55850] ppid=55841 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/55850/stat : 55850 (run-opt-log.sh) S 55841 55850 55791 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 54286502 4292608 736 18446744073709551615 94561478148096 94561479042629 140736847956832 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94561479281680 94561479329424 94561488707584 140736847960353 140736847960548 140736847960548 140736847966150 0
/proc/55850/statm: 1048 736 672 219 0 110 0
[pid=55862] ppid=55850 vsize=387240 memory=297796 CPUtime=101.98 cores=4,6
/proc/55862/stat : 55862 (roundingsat) R 55850 55850 55791 0 -1 4194304 57863 0 0 0 10038 160 0 0 20 0 1 0 54286504 396533760 74449 18446744073709551615 4227072 8923433 140727698239488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28528640 140727698241874 140727698242088 140727698242088 140727698247658 0
/proc/55862/statm: 96810 74449 2336 1147 0 84237 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 391432 KiB
Current children cumulated memory: 300740 KiB
[startup+162.3 s]
/proc/loadavg: 3.83 2.95 3.36 5/273 55923
/proc/meminfo: memFree=124852408/131250000 swapFree=33010684/33010684
[pid=55850] ppid=55841 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/55850/stat : 55850 (run-opt-log.sh) S 55841 55850 55791 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 54286502 4292608 736 18446744073709551615 94561478148096 94561479042629 140736847956832 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94561479281680 94561479329424 94561488707584 140736847960353 140736847960548 140736847960548 140736847966150 0
/proc/55850/statm: 1048 736 672 219 0 110 0
[pid=55862] ppid=55850 vsize=410792 memory=331636 CPUtime=161.79 cores=4,6
/proc/55862/stat : 55862 (roundingsat) R 55850 55850 55791 0 -1 4194304 64337 0 0 0 15954 225 0 0 20 0 1 0 54286504 420651008 82909 18446744073709551615 4227072 8923433 140727698239488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28528640 140727698241874 140727698242088 140727698242088 140727698247658 0
/proc/55862/statm: 102698 82909 2336 1147 0 90125 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 414984 KiB
Current children cumulated memory: 334580 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 3.17 3.42 5/273 55929
/proc/meminfo: memFree=123954364/131250000 swapFree=33010684/33010684
[pid=55850] ppid=55841 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/55850/stat : 55850 (run-opt-log.sh) S 55841 55850 55791 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 54286502 4292608 736 18446744073709551615 94561478148096 94561479042629 140736847956832 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94561479281680 94561479329424 94561488707584 140736847960353 140736847960548 140736847960548 140736847966150 0
/proc/55850/statm: 1048 736 672 219 0 110 0
[pid=55862] ppid=55850 vsize=595868 memory=442624 CPUtime=221.63 cores=4,6
/proc/55862/stat : 55862 (roundingsat) R 55850 55850 55791 0 -1 4194304 85628 0 0 0 21864 299 0 0 20 0 1 0 54286504 610168832 110656 18446744073709551615 4227072 8923433 140727698239488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28528640 140727698241874 140727698242088 140727698242088 140727698247658 0
################
# More data... #
################
/proc/55862/statm: 272018 253771 2336 1147 0 259445 0
Current children cumulated CPU time: 3033.47 s
Current children cumulated vsize: 1092264 KiB
Current children cumulated memory: 1018028 KiB
[startup+3102.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/273 56077
/proc/meminfo: memFree=101669444/131250000 swapFree=33010684/33010684
[pid=55850] ppid=55841 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/55850/stat : 55850 (run-opt-log.sh) S 55841 55850 55791 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 54286502 4292608 736 18446744073709551615 94561478148096 94561479042629 140736847956832 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94561479281680 94561479329424 94561488707584 140736847960353 140736847960548 140736847960548 140736847966150 0
/proc/55850/statm: 1048 736 672 219 0 110 0
[pid=55862] ppid=55850 vsize=1088072 memory=1015084 CPUtime=3093.31 cores=4,6
/proc/55862/stat : 55862 (roundingsat) R 55850 55850 55791 0 -1 4194304 148751 0 0 0 307472 1859 0 0 20 0 1 0 54286504 1114185728 253771 18446744073709551615 4227072 8923433 140727698239488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28528640 140727698241874 140727698242088 140727698242088 140727698247658 0
/proc/55862/statm: 272018 253771 2336 1147 0 259445 0
Current children cumulated CPU time: 3093.31 s
Current children cumulated vsize: 1092264 KiB
Current children cumulated memory: 1018028 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/272 56092
/proc/meminfo: memFree=101307516/131250000 swapFree=33010684/33010684
[pid=55850] ppid=55841 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/55850/stat : 55850 (run-opt-log.sh) S 55841 55850 55791 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 54286502 4292608 736 18446744073709551615 94561478148096 94561479042629 140736847956832 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94561479281680 94561479329424 94561488707584 140736847960353 140736847960548 140736847960548 140736847966150 0
/proc/55850/statm: 1048 736 672 219 0 110 0
[pid=55862] ppid=55850 vsize=1088072 memory=1015084 CPUtime=3153.15 cores=4,6
/proc/55862/stat : 55862 (roundingsat) R 55850 55850 55791 0 -1 4194304 148751 0 0 0 313431 1884 0 0 20 0 1 0 54286504 1114185728 253771 18446744073709551615 4227072 8923433 140727698239488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28528640 140727698241874 140727698242088 140727698242088 140727698247658 0
/proc/55862/statm: 272018 253771 2336 1147 0 259445 0
Current children cumulated CPU time: 3153.15 s
Current children cumulated vsize: 1092264 KiB
Current children cumulated memory: 1018028 KiB
[startup+3222.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/274 56100
/proc/meminfo: memFree=100919708/131250000 swapFree=33010684/33010684
[pid=55850] ppid=55841 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/55850/stat : 55850 (run-opt-log.sh) S 55841 55850 55791 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 54286502 4292608 736 18446744073709551615 94561478148096 94561479042629 140736847956832 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94561479281680 94561479329424 94561488707584 140736847960353 140736847960548 140736847960548 140736847966150 0
/proc/55850/statm: 1048 736 672 219 0 110 0
[pid=55862] ppid=55850 vsize=1090128 memory=1016236 CPUtime=3212.99 cores=4,6
/proc/55862/stat : 55862 (roundingsat) R 55850 55850 55791 0 -1 4194304 149030 0 0 0 319389 1910 0 0 20 0 1 0 54286504 1116291072 254059 18446744073709551615 4227072 8923433 140727698239488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28528640 140727698241874 140727698242088 140727698242088 140727698247658 0
/proc/55862/statm: 272532 254059 2336 1147 0 259959 0
Current children cumulated CPU time: 3212.99 s
Current children cumulated vsize: 1094320 KiB
Current children cumulated memory: 1019180 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/274 56102
/proc/meminfo: memFree=100577496/131250000 swapFree=33010684/33010684
[pid=55850] ppid=55841 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/55850/stat : 55850 (run-opt-log.sh) S 55841 55850 55791 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 54286502 4292608 736 18446744073709551615 94561478148096 94561479042629 140736847956832 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94561479281680 94561479329424 94561488707584 140736847960353 140736847960548 140736847960548 140736847966150 0
/proc/55850/statm: 1048 736 672 219 0 110 0
[pid=55862] ppid=55850 vsize=1090128 memory=1016236 CPUtime=3272.83 cores=4,6
/proc/55862/stat : 55862 (roundingsat) R 55850 55850 55791 0 -1 4194304 149038 0 0 0 325345 1938 0 0 20 0 1 0 54286504 1116291072 254059 18446744073709551615 4227072 8923433 140727698239488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28528640 140727698241874 140727698242088 140727698242088 140727698247658 0
/proc/55862/statm: 272532 254059 2336 1147 0 259959 0
Current children cumulated CPU time: 3272.83 s
Current children cumulated vsize: 1094320 KiB
Current children cumulated memory: 1019180 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/273 56104
/proc/meminfo: memFree=100223324/131250000 swapFree=33010684/33010684
[pid=55850] ppid=55841 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/55850/stat : 55850 (run-opt-log.sh) S 55841 55850 55791 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 54286502 4292608 736 18446744073709551615 94561478148096 94561479042629 140736847956832 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94561479281680 94561479329424 94561488707584 140736847960353 140736847960548 140736847960548 140736847966150 0
/proc/55850/statm: 1048 736 672 219 0 110 0
[pid=55862] ppid=55850 vsize=1092184 memory=1017516 CPUtime=3332.67 cores=4,6
/proc/55862/stat : 55862 (roundingsat) R 55850 55850 55791 0 -1 4194304 149365 0 0 0 331305 1962 0 0 20 0 1 0 54286504 1118396416 254379 18446744073709551615 4227072 8923433 140727698239488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28528640 140727698241874 140727698242088 140727698242088 140727698247658 0
/proc/55862/statm: 273046 254379 2336 1147 0 260473 0
Current children cumulated CPU time: 3332.67 s
Current children cumulated vsize: 1096376 KiB
Current children cumulated memory: 1020460 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/273 56106
/proc/meminfo: memFree=99895476/131250000 swapFree=33010684/33010684
[pid=55850] ppid=55841 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/55850/stat : 55850 (run-opt-log.sh) S 55841 55850 55791 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 54286502 4292608 736 18446744073709551615 94561478148096 94561479042629 140736847956832 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94561479281680 94561479329424 94561488707584 140736847960353 140736847960548 140736847960548 140736847966150 0
/proc/55850/statm: 1048 736 672 219 0 110 0
[pid=55862] ppid=55850 vsize=1093212 memory=1022380 CPUtime=3392.49 cores=4,6
/proc/55862/stat : 55862 (roundingsat) R 55850 55850 55791 0 -1 4194304 149532 0 0 0 337265 1984 0 0 20 0 1 0 54286504 1119449088 255595 18446744073709551615 4227072 8923433 140727698239488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28528640 140727698241874 140727698242088 140727698242088 140727698247658 0
/proc/55862/statm: 273303 255595 2336 1147 0 260730 0
Current children cumulated CPU time: 3392.49 s
Current children cumulated vsize: 1097404 KiB
Current children cumulated memory: 1025324 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/273 56108
/proc/meminfo: memFree=99507392/131250000 swapFree=33010684/33010684
[pid=55850] ppid=55841 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/55850/stat : 55850 (run-opt-log.sh) S 55841 55850 55791 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 54286502 4292608 736 18446744073709551615 94561478148096 94561479042629 140736847956832 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94561479281680 94561479329424 94561488707584 140736847960353 140736847960548 140736847960548 140736847966150 0
/proc/55850/statm: 1048 736 672 219 0 110 0
[pid=55862] ppid=55850 vsize=1094240 memory=1022892 CPUtime=3452.33 cores=4,6
/proc/55862/stat : 55862 (roundingsat) R 55850 55850 55791 0 -1 4194304 150156 0 0 0 343223 2010 0 0 20 0 1 0 54286504 1120501760 255723 18446744073709551615 4227072 8923433 140727698239488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28528640 140727698241874 140727698242088 140727698242088 140727698247658 0
/proc/55862/statm: 273560 255723 2336 1147 0 260987 0
Current children cumulated CPU time: 3452.33 s
Current children cumulated vsize: 1098432 KiB
Current children cumulated memory: 1025836 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/272 56111
/proc/meminfo: memFree=99163848/131250000 swapFree=33010684/33010684
[pid=55850] ppid=55841 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/55850/stat : 55850 (run-opt-log.sh) S 55841 55850 55791 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 54286502 4292608 736 18446744073709551615 94561478148096 94561479042629 140736847956832 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94561479281680 94561479329424 94561488707584 140736847960353 140736847960548 140736847960548 140736847966150 0
/proc/55850/statm: 1048 736 672 219 0 110 0
[pid=55862] ppid=55850 vsize=1094240 memory=1023148 CPUtime=3512.17 cores=4,6
/proc/55862/stat : 55862 (roundingsat) R 55850 55850 55791 0 -1 4194304 150208 0 0 0 349184 2033 0 0 20 0 1 0 54286504 1120501760 255787 18446744073709551615 4227072 8923433 140727698239488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28528640 140727698241874 140727698242088 140727698242088 140727698247658 0
/proc/55862/statm: 273560 255787 2336 1147 0 260987 0
Current children cumulated CPU time: 3512.17 s
Current children cumulated vsize: 1098432 KiB
Current children cumulated memory: 1026092 KiB
[startup+3582.3 s]
/proc/loadavg: 4.22 4.13 4.10 5/272 56113
/proc/meminfo: memFree=98821580/131250000 swapFree=33010684/33010684
[pid=55850] ppid=55841 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/55850/stat : 55850 (run-opt-log.sh) S 55841 55850 55791 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 54286502 4292608 736 18446744073709551615 94561478148096 94561479042629 140736847956832 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94561479281680 94561479329424 94561488707584 140736847960353 140736847960548 140736847960548 140736847966150 0
/proc/55850/statm: 1048 736 672 219 0 110 0
[pid=55862] ppid=55850 vsize=1094240 memory=1036972 CPUtime=3572.01 cores=4,6
/proc/55862/stat : 55862 (roundingsat) R 55850 55850 55791 0 -1 4194304 150221 0 0 0 355141 2060 0 0 20 0 1 0 54286504 1120501760 259243 18446744073709551615 4227072 8923433 140727698239488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28528640 140727698241874 140727698242088 140727698242088 140727698247658 0
/proc/55862/statm: 273560 259243 2336 1147 0 260987 0
Current children cumulated CPU time: 3572.01 s
Current children cumulated vsize: 1098432 KiB
Current children cumulated memory: 1039916 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.4 s]
/proc/loadavg: 4.21 4.13 4.10 4/267 56123
/proc/meminfo: memFree=99151176/131250000 swapFree=33010684/33010684
[pid=55850] ppid=55841 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/55850/stat : 55850 (run-opt-log.sh) S 55841 55850 55791 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 54286502 4292608 736 18446744073709551615 94561478148096 94561479042629 140736847956832 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94561479281680 94561479329424 94561488707584 140736847960353 140736847960548 140736847960548 140736847966150 0
/proc/55850/statm: 1048 736 672 219 0 110 0
[pid=55862] ppid=55850 vsize=1094240 memory=1040940 CPUtime=3600.03 cores=4,6
/proc/55862/stat : 55862 (roundingsat) R 55850 55850 55791 0 -1 4194304 150222 0 0 0 357929 2074 0 0 20 0 1 0 54286504 1120501760 260235 18446744073709551615 4227072 8923433 140727698239488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28528640 140727698241874 140727698242088 140727698242088 140727698247658 0
/proc/55862/statm: 273560 260235 2336 1147 0 260987 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1098432 KiB
Current children cumulated memory: 1043884 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.4 s]
# the end of solver process 55850 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.002108 s
[startup+3610.42 s]
# the end of solver process 55862 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3579.3 s, system=20.7636 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.42
CPU time (s): 3600.06
CPU user time (s): 3579.3
CPU system time (s): 20.7636
CPU usage (%): 99.7132
Max. virtual memory (cumulated for all children) (KiB): 1098432
Max. memory (cumulated for all children) (KiB): 1043884
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3579.3
system time used= 20.7636
maximum resident set size= 1041324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 150453
page faults= 0
swaps= 0
block input operations= 0
block output operations= 14732976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 434
involuntary context switches= 5544
# summary of solver processes directly reported to runsolver:
# pid: 55850,55862
# total CPU time (s): 3600.06
# total CPU user time (s): 3579.3
# total CPU system time (s): 20.7636
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.25089 second user time and 15.8601 second system time
The end
Begin job on nodeC014 at 2025-07-01 18:08:19
IDJOB=4490933
IDBENCH=147636
IDSOLVER=3351
FILE ID=nodeC014/4490933-1751386099
RUNJOBID= nodeC014-1751386099-55802
SLURM_JOB_ID= 9598243
Free space on /tmp= 433008 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/logic_synthesis/normalized-max1024.r.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4490933-1751386099/watcher-4490933-1751386099 -o /tmp/evaluation-result-4490933-1751386099/solver-4490933-1751386099 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751386099-55802 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4490933-1751386099.opb PROOFDIR/proof-4490933-1751386099
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 661b9222a6bc80fb313039094bf52923
RANDOM SEED=2082826083
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.119
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.137
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 : 3598.174
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 : 3518.987
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 : 3599.982
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 : 3618.861
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 : 3599.745
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 : 3600.268
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: 128011792 kB
MemAvailable: 129759684 kB
Buffers: 3280 kB
Cached: 2544432 kB
SwapCached: 0 kB
Active: 335660 kB
Inactive: 2287032 kB
Active(anon): 93048 kB
Inactive(anon): 0 kB
Active(file): 242612 kB
Inactive(file): 2287032 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 29948 kB
Writeback: 4 kB
AnonPages: 78464 kB
Mapped: 103504 kB
Shmem: 18068 kB
KReclaimable: 114976 kB
Slab: 204124 kB
SReclaimable: 114976 kB
SUnreclaim: 89148 kB
KernelStack: 4064 kB
PageTables: 2864 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 339924 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150360 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 18432 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= 432980 MiB
End job on nodeC014 at 2025-07-01 19:08:30