0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
1.38/1.50 c #variables 3486 #constraints 381136
1.38/1.50 c objective is ce32
1.87/1.95 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
1.87/1.95 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
1.87/1.95 c GLOBAL bounds - >= -2940 @ 1.37074
1.87/1.97 c GLOBAL bounds - >= -2940 @ 1.38525
1.87/1.97 c GLOBAL bounds - >= -2940 @ 1.39193
1.87/1.98 c GLOBAL bounds - >= -2940 @ 1.39381
1.87/1.98 c GLOBAL bounds - >= -2940 @ 1.3968
1.87/1.98 c GLOBAL bounds - >= -2940 @ 1.39941
1.87/1.99 c GLOBAL bounds - >= -2940 @ 1.4032
1.87/1.99 c GLOBAL bounds - >= -2940 @ 1.40715
1.87/2.00 c GLOBAL bounds - >= -2940 @ 1.41119
1.98/2.00 c GLOBAL bounds - >= -2940 @ 1.41473
1.98/2.00 c GLOBAL bounds - >= -2940 @ 1.41846
1.98/2.01 c GLOBAL bounds - >= -2940 @ 1.42297
1.98/2.02 c GLOBAL bounds - >= -2940 @ 1.42785
1.98/2.02 c GLOBAL bounds - >= -2940 @ 1.4317
1.98/2.02 c GLOBAL bounds - >= -2940 @ 1.43469
1.98/2.03 c GLOBAL bounds - >= -2940 @ 1.43924
1.98/2.04 c GLOBAL bounds - >= -2940 @ 1.44467
1.98/2.06 c GLOBAL bounds - >= -2940 @ 1.46505
1.98/2.08 c GLOBAL bounds - >= -2940 @ 1.4851
2.08/2.10 c GLOBAL bounds - >= -2940 @ 1.51278
2.08/2.13 c GLOBAL bounds - >= -2940 @ 1.53794
2.08/2.14 c GLOBAL bounds - >= -2940 @ 1.55233
2.08/2.16 c GLOBAL bounds - >= -2940 @ 1.56988
2.08/2.17 c GLOBAL bounds - >= -2940 @ 1.58253
2.08/2.19 c GLOBAL bounds - >= -2940 @ 1.59711
2.17/2.20 c GLOBAL bounds - >= -2940 @ 1.6089
2.17/2.21 c GLOBAL bounds - >= -2940 @ 1.62156
2.47/2.59 c GLOBAL bounds - >= -2940 @ 1.99062
2.67/2.73 c GLOBAL bounds - >= -2940 @ 2.12959
2.67/2.75 c GLOBAL bounds - >= -2940 @ 2.15154
2.67/2.78 c GLOBAL bounds - >= -2940 @ 2.18219
2.67/2.79 c GLOBAL bounds - >= -2940 @ 2.18913
2.77/2.80 c GLOBAL bounds - >= -2940 @ 2.19713
2.77/2.80 c GLOBAL bounds - >= -2940 @ 2.20356
2.77/2.81 c GLOBAL bounds - >= -2940 @ 2.2093
2.77/2.82 c GLOBAL bounds - >= -2940 @ 2.21645
2.77/2.82 c GLOBAL bounds - >= -2940 @ 2.22231
2.77/2.83 c GLOBAL bounds - >= -2940 @ 2.22805
2.87/2.90 c GLOBAL bounds - >= -2940 @ 2.29592
3.07/3.11 c GLOBAL bounds - >= -2940 @ 2.50208
63.24/63.42 c #Conflicts: 1000 | #Constraints: 220596
63.24/63.42 c #Conflicts: 2000 | #Constraints: 221596
63.24/63.42 c INPROCESSING
63.24/63.42 c GARBAGE COLLECT
63.24/63.42 c #Conflicts: 3000 | #Constraints: 221598
63.24/63.42 c #Conflicts: 4000 | #Constraints: 222598
63.24/63.42 c INPROCESSING
63.24/63.42 c GARBAGE COLLECT
63.24/63.42 c #Conflicts: 5000 | #Constraints: 222000
63.24/63.42 c #Conflicts: 6000 | #Constraints: 223000
63.24/63.42 c INPROCESSING
63.24/63.42 c GARBAGE COLLECT
63.24/63.42 c #Conflicts: 7000 | #Constraints: 222001
63.24/63.42 c #Conflicts: 8000 | #Constraints: 223001
63.24/63.42 c #Conflicts: 9000 | #Constraints: 224001
63.24/63.42 c INPROCESSING
63.24/63.42 c GARBAGE COLLECT
63.24/63.42 c #Conflicts: 10000 | #Constraints: 222703
63.24/63.42 c #Conflicts: 11000 | #Constraints: 223703
63.24/63.42 c #Conflicts: 12000 | #Constraints: 224703
63.24/63.42 c INPROCESSING
63.24/63.42 c GARBAGE COLLECT
63.24/63.42 c #Conflicts: 13000 | #Constraints: 223153
63.24/63.42 c #Conflicts: 14000 | #Constraints: 224153
63.24/63.42 c #Conflicts: 15000 | #Constraints: 225153
63.24/63.42 c INPROCESSING
63.24/63.42 c GARBAGE COLLECT
63.24/63.42 c #Conflicts: 16000 | #Constraints: 223378
63.24/63.43 c #Conflicts: 17000 | #Constraints: 224378
63.24/63.43 c #Conflicts: 18000 | #Constraints: 225378
63.24/63.43 c INPROCESSING
63.24/63.43 c GARBAGE COLLECT
63.24/63.43 c GLOBAL bounds - >= -2940 @ 62.6118
121.41/121.72 c #Conflicts: 19000 | #Constraints: 223393
121.41/121.72 c #Conflicts: 20000 | #Constraints: 224393
121.41/121.72 c #Conflicts: 21000 | #Constraints: 225393
121.41/121.72 c INPROCESSING
121.41/121.72 c GARBAGE COLLECT
121.41/121.72 c #Conflicts: 22000 | #Constraints: 223200
121.41/121.72 c #Conflicts: 23000 | #Constraints: 224200
121.41/121.72 c #Conflicts: 24000 | #Constraints: 225200
121.41/121.72 c #Conflicts: 25000 | #Constraints: 226200
121.41/121.72 c INPROCESSING
121.41/121.72 c GARBAGE COLLECT
121.41/121.72 c #Conflicts: 26000 | #Constraints: 223803
121.41/121.72 c #Conflicts: 27000 | #Constraints: 224803
121.41/121.72 c #Conflicts: 28000 | #Constraints: 225803
121.41/121.72 c #Conflicts: 29000 | #Constraints: 226803
121.41/121.72 c INPROCESSING
121.41/121.72 c GARBAGE COLLECT
121.41/121.72 c #Conflicts: 30000 | #Constraints: 224204
121.41/121.72 c #Conflicts: 31000 | #Constraints: 225204
121.41/121.72 c #Conflicts: 32000 | #Constraints: 226204
121.41/121.72 c #Conflicts: 33000 | #Constraints: 227204
121.41/121.72 c INPROCESSING
121.41/121.72 c GARBAGE COLLECT
121.41/121.72 c #Conflicts: 34000 | #Constraints: 224404
121.41/121.72 c #Conflicts: 35000 | #Constraints: 225404
121.41/121.72 c #Conflicts: 36000 | #Constraints: 226404
121.41/121.72 c #Conflicts: 37000 | #Constraints: 227404
121.41/121.72 c INPROCESSING
121.41/121.72 c GARBAGE COLLECT
121.41/121.72 c GLOBAL bounds - >= -2940 @ 120.693
164.51/164.98 c #Conflicts: 38000 | #Constraints: 224407
164.51/164.98 c #Conflicts: 39000 | #Constraints: 225407
164.51/164.98 c #Conflicts: 40000 | #Constraints: 226407
164.51/164.98 c #Conflicts: 41000 | #Constraints: 227407
164.51/164.98 c INPROCESSING
164.51/164.98 c GARBAGE COLLECT
164.51/164.98 c #Conflicts: 42000 | #Constraints: 224209
164.51/164.98 c #Conflicts: 43000 | #Constraints: 225209
164.51/164.98 c #Conflicts: 44000 | #Constraints: 226209
164.51/164.98 c #Conflicts: 45000 | #Constraints: 227209
164.51/164.98 c #Conflicts: 46000 | #Constraints: 228209
164.51/164.98 c INPROCESSING
164.51/164.98 c GARBAGE COLLECT
164.51/164.98 c #Conflicts: 47000 | #Constraints: 224808
164.51/164.98 c #Conflicts: 48000 | #Constraints: 225808
164.51/164.98 c #Conflicts: 49000 | #Constraints: 226808
164.51/164.98 c #Conflicts: 50000 | #Constraints: 227808
164.51/164.98 c GLOBAL bounds - >= -2940 @ 163.799
366.68/367.67 c #Conflicts: 51000 | #Constraints: 228810
366.68/367.67 c INPROCESSING
366.68/367.67 c GARBAGE COLLECT
366.68/367.67 c #Conflicts: 52000 | #Constraints: 225210
366.68/367.67 c #Conflicts: 53000 | #Constraints: 226210
366.68/367.67 c #Conflicts: 54000 | #Constraints: 227210
366.68/367.67 c #Conflicts: 55000 | #Constraints: 228210
366.68/367.67 c #Conflicts: 56000 | #Constraints: 229210
366.68/367.67 c INPROCESSING
366.68/367.67 c GARBAGE COLLECT
366.68/367.67 c #Conflicts: 57000 | #Constraints: 225408
366.68/367.67 c #Conflicts: 58000 | #Constraints: 226408
366.68/367.67 c #Conflicts: 59000 | #Constraints: 227408
366.68/367.67 c #Conflicts: 60000 | #Constraints: 228408
366.68/367.67 c #Conflicts: 61000 | #Constraints: 229408
366.68/367.67 c INPROCESSING
366.68/367.67 c GARBAGE COLLECT
366.68/367.67 c #Conflicts: 62000 | #Constraints: 225409
366.68/367.67 c #Conflicts: 63000 | #Constraints: 226409
366.68/367.67 c #Conflicts: 64000 | #Constraints: 227409
366.68/367.67 c #Conflicts: 65000 | #Constraints: 228409
366.68/367.67 c #Conflicts: 66000 | #Constraints: 229409
366.68/367.67 c INPROCESSING
366.68/367.67 c GARBAGE COLLECT
366.68/367.67 c #Conflicts: 67000 | #Constraints: 225209
366.68/367.67 c #Conflicts: 68000 | #Constraints: 226209
366.68/367.67 c #Conflicts: 69000 | #Constraints: 227209
366.68/367.67 c #Conflicts: 70000 | #Constraints: 228209
366.68/367.67 c #Conflicts: 71000 | #Constraints: 229209
366.68/367.67 c #Conflicts: 72000 | #Constraints: 230209
366.68/367.67 c INPROCESSING
366.68/367.67 c GARBAGE COLLECT
366.68/367.67 c #Conflicts: 73000 | #Constraints: 225809
366.68/367.67 c #Conflicts: 74000 | #Constraints: 226809
366.68/367.67 c #Conflicts: 75000 | #Constraints: 227809
366.68/367.67 c #Conflicts: 76000 | #Constraints: 228809
366.68/367.67 c #Conflicts: 77000 | #Constraints: 229809
366.68/367.67 c #Conflicts: 78000 | #Constraints: 230809
366.68/367.67 c INPROCESSING
366.68/367.67 c GARBAGE COLLECT
366.68/367.67 c #Conflicts: 79000 | #Constraints: 226209
366.68/367.67 c #Conflicts: 80000 | #Constraints: 227209
366.68/367.67 c #Conflicts: 81000 | #Constraints: 228209
366.68/367.67 c #Conflicts: 82000 | #Constraints: 229209
366.68/367.67 c #Conflicts: 83000 | #Constraints: 230209
366.68/367.67 c #Conflicts: 84000 | #Constraints: 231209
366.68/367.67 c INPROCESSING
366.68/367.67 c GARBAGE COLLECT
366.68/367.67 c #Conflicts: 85000 | #Constraints: 226409
366.68/367.67 c #Conflicts: 86000 | #Constraints: 227409
366.68/367.67 c #Conflicts: 87000 | #Constraints: 228409
366.68/367.67 c #Conflicts: 88000 | #Constraints: 229409
366.68/367.67 c #Conflicts: 89000 | #Constraints: 230409
366.68/367.67 c #Conflicts: 90000 | #Constraints: 231409
366.68/367.67 c INPROCESSING
366.68/367.67 c GARBAGE COLLECT
366.68/367.67 c #Conflicts: 91000 | #Constraints: 226411
366.68/367.67 c #Conflicts: 92000 | #Constraints: 227411
366.68/367.67 c #Conflicts: 93000 | #Constraints: 228411
366.68/367.67 c #Conflicts: 94000 | #Constraints: 229411
366.68/367.67 c #Conflicts: 95000 | #Constraints: 230411
366.68/367.67 c #Conflicts: 96000 | #Constraints: 231411
366.68/367.67 c INPROCESSING
366.68/367.67 c GARBAGE COLLECT
366.68/367.67 c #Conflicts: 97000 | #Constraints: 226214
366.68/367.67 c #Conflicts: 98000 | #Constraints: 227214
366.68/367.67 c #Conflicts: 99000 | #Constraints: 228214
366.68/367.67 c #Conflicts: 100000 | #Constraints: 229214
366.68/367.67 c #Conflicts: 101000 | #Constraints: 230214
366.68/367.67 c #Conflicts: 102000 | #Constraints: 231214
366.68/367.67 c #Conflicts: 103000 | #Constraints: 232214
366.68/367.67 c INPROCESSING
366.68/367.67 c GARBAGE COLLECT
366.68/367.67 c #Conflicts: 104000 | #Constraints: 226810
366.68/367.67 c #Conflicts: 105000 | #Constraints: 227810
366.68/367.67 c #Conflicts: 106000 | #Constraints: 228810
366.68/367.67 c #Conflicts: 107000 | #Constraints: 229810
366.68/367.67 c #Conflicts: 108000 | #Constraints: 230810
366.68/367.67 c #Conflicts: 109000 | #Constraints: 231810
366.68/367.67 c GLOBAL bounds - >= -2940 @ 365.734
366.88/367.83 c GLOBAL bounds - >= -2940 @ 365.89
606.06/607.63 c #Conflicts: 110000 | #Constraints: 232814
606.06/607.63 c INPROCESSING
606.06/607.63 c GARBAGE COLLECT
606.06/607.63 c #Conflicts: 111000 | #Constraints: 227212
606.06/607.63 c #Conflicts: 112000 | #Constraints: 228212
606.06/607.63 c #Conflicts: 113000 | #Constraints: 229212
606.06/607.63 c #Conflicts: 114000 | #Constraints: 230212
606.06/607.63 c #Conflicts: 115000 | #Constraints: 231212
606.06/607.63 c #Conflicts: 116000 | #Constraints: 232212
606.06/607.63 c #Conflicts: 117000 | #Constraints: 233212
606.06/607.63 c INPROCESSING
606.06/607.63 c GARBAGE COLLECT
606.06/607.63 c #Conflicts: 118000 | #Constraints: 227412
606.06/607.63 c #Conflicts: 119000 | #Constraints: 228412
606.06/607.63 c #Conflicts: 120000 | #Constraints: 229412
606.06/607.63 c #Conflicts: 121000 | #Constraints: 230412
606.06/607.63 c #Conflicts: 122000 | #Constraints: 231412
606.06/607.63 c #Conflicts: 123000 | #Constraints: 232412
606.06/607.63 c #Conflicts: 124000 | #Constraints: 233412
606.06/607.63 c INPROCESSING
606.06/607.63 c GARBAGE COLLECT
606.06/607.63 c #Conflicts: 125000 | #Constraints: 227413
606.06/607.63 c #Conflicts: 126000 | #Constraints: 228413
606.06/607.63 c #Conflicts: 127000 | #Constraints: 229413
606.06/607.63 c #Conflicts: 128000 | #Constraints: 230413
606.06/607.63 c #Conflicts: 129000 | #Constraints: 231413
606.06/607.63 c #Conflicts: 130000 | #Constraints: 232413
606.06/607.63 c #Conflicts: 131000 | #Constraints: 233413
606.06/607.63 c INPROCESSING
606.06/607.63 c GARBAGE COLLECT
606.06/607.63 c #Conflicts: 132000 | #Constraints: 227211
606.06/607.63 c #Conflicts: 133000 | #Constraints: 228211
606.06/607.63 c #Conflicts: 134000 | #Constraints: 229211
606.06/607.63 c #Conflicts: 135000 | #Constraints: 230211
606.06/607.63 c #Conflicts: 136000 | #Constraints: 231211
606.06/607.63 c #Conflicts: 137000 | #Constraints: 232211
606.06/607.63 c #Conflicts: 138000 | #Constraints: 233211
606.06/607.63 c #Conflicts: 139000 | #Constraints: 234211
606.06/607.63 c INPROCESSING
606.06/607.63 c GARBAGE COLLECT
606.06/607.63 c #Conflicts: 140000 | #Constraints: 227813
606.06/607.63 c #Conflicts: 141000 | #Constraints: 228813
606.06/607.63 c #Conflicts: 142000 | #Constraints: 229813
606.06/607.63 c #Conflicts: 143000 | #Constraints: 230813
606.06/607.63 c #Conflicts: 144000 | #Constraints: 231813
606.06/607.63 c #Conflicts: 145000 | #Constraints: 232813
606.06/607.63 c #Conflicts: 146000 | #Constraints: 233813
606.06/607.63 c #Conflicts: 147000 | #Constraints: 234813
606.06/607.63 c INPROCESSING
606.06/607.63 c GARBAGE COLLECT
606.06/607.63 c #Conflicts: 148000 | #Constraints: 228215
606.06/607.63 c #Conflicts: 149000 | #Constraints: 229215
606.06/607.63 c #Conflicts: 150000 | #Constraints: 230215
606.06/607.63 c #Conflicts: 151000 | #Constraints: 231215
606.06/607.63 c #Conflicts: 152000 | #Constraints: 232215
606.06/607.63 c #Conflicts: 153000 | #Constraints: 233215
606.06/607.63 c #Conflicts: 154000 | #Constraints: 234215
606.06/607.63 c #Conflicts: 155000 | #Constraints: 235215
606.06/607.63 c INPROCESSING
606.06/607.63 c GARBAGE COLLECT
606.06/607.63 c #Conflicts: 156000 | #Constraints: 228416
606.06/607.63 c #Conflicts: 157000 | #Constraints: 229416
606.06/607.63 c #Conflicts: 158000 | #Constraints: 230416
606.06/607.63 c #Conflicts: 159000 | #Constraints: 231416
606.06/607.63 c #Conflicts: 160000 | #Constraints: 232416
606.06/607.63 c #Conflicts: 161000 | #Constraints: 233416
606.06/607.63 c #Conflicts: 162000 | #Constraints: 234416
606.06/607.63 c #Conflicts: 163000 | #Constraints: 235416
606.06/607.63 c INPROCESSING
606.06/607.63 c GARBAGE COLLECT
606.06/607.63 c #Conflicts: 164000 | #Constraints: 228416
606.06/607.63 c #Conflicts: 165000 | #Constraints: 229416
606.06/607.63 c #Conflicts: 166000 | #Constraints: 230416
606.06/607.63 c #Conflicts: 167000 | #Constraints: 231416
606.06/607.63 c #Conflicts: 168000 | #Constraints: 232416
606.06/607.63 c #Conflicts: 169000 | #Constraints: 233416
606.06/607.63 c #Conflicts: 170000 | #Constraints: 234416
606.06/607.63 c #Conflicts: 171000 | #Constraints: 235416
606.06/607.63 c INPROCESSING
606.06/607.63 c GARBAGE COLLECT
606.06/607.63 c #Conflicts: 172000 | #Constraints: 228215
606.06/607.63 c #Conflicts: 173000 | #Constraints: 229215
606.06/607.63 c #Conflicts: 174000 | #Constraints: 230215
606.06/607.63 c #Conflicts: 175000 | #Constraints: 231215
606.06/607.63 c #Conflicts: 176000 | #Constraints: 232215
606.06/607.63 c #Conflicts: 177000 | #Constraints: 233215
606.06/607.63 c #Conflicts: 178000 | #Constraints: 234215
606.06/607.63 c #Conflicts: 179000 | #Constraints: 235215
606.06/607.63 c #Conflicts: 180000 | #Constraints: 236215
606.06/607.63 c INPROCESSING
606.06/607.63 c GARBAGE COLLECT
606.06/607.63 c #Conflicts: 181000 | #Constraints: 228815
606.06/607.63 c #Conflicts: 182000 | #Constraints: 229815
811.53/813.60 c #Conflicts: 183000 | #Constraints: 230815
811.53/813.60 c #Conflicts: 184000 | #Constraints: 231815
811.53/813.60 c #Conflicts: 185000 | #Constraints: 232815
811.53/813.60 c #Conflicts: 186000 | #Constraints: 233815
811.53/813.60 c #Conflicts: 187000 | #Constraints: 234815
811.53/813.60 c #Conflicts: 188000 | #Constraints: 235815
811.53/813.60 c #Conflicts: 189000 | #Constraints: 236815
811.53/813.60 c INPROCESSING
811.53/813.60 c GARBAGE COLLECT
811.53/813.60 c #Conflicts: 190000 | #Constraints: 229214
811.53/813.60 c #Conflicts: 191000 | #Constraints: 230214
811.53/813.60 c #Conflicts: 192000 | #Constraints: 231214
811.53/813.60 c #Conflicts: 193000 | #Constraints: 232214
811.53/813.60 c #Conflicts: 194000 | #Constraints: 233214
811.53/813.60 c #Conflicts: 195000 | #Constraints: 234214
811.53/813.60 c #Conflicts: 196000 | #Constraints: 235214
811.53/813.60 c #Conflicts: 197000 | #Constraints: 236214
811.53/813.60 c #Conflicts: 198000 | #Constraints: 237214
811.53/813.60 c INPROCESSING
811.53/813.60 c GARBAGE COLLECT
811.53/813.60 c #Conflicts: 199000 | #Constraints: 229414
811.53/813.60 c #Conflicts: 200000 | #Constraints: 230414
811.53/813.60 c #Conflicts: 201000 | #Constraints: 231414
811.53/813.60 c #Conflicts: 202000 | #Constraints: 232414
811.53/813.60 c #Conflicts: 203000 | #Constraints: 233414
811.53/813.60 c #Conflicts: 204000 | #Constraints: 234414
811.53/813.60 c #Conflicts: 205000 | #Constraints: 235414
811.53/813.60 c #Conflicts: 206000 | #Constraints: 236414
811.53/813.60 c #Conflicts: 207000 | #Constraints: 237414
811.53/813.60 c INPROCESSING
811.53/813.60 c GARBAGE COLLECT
811.53/813.60 c #Conflicts: 208000 | #Constraints: 229416
811.53/813.60 c #Conflicts: 209000 | #Constraints: 230416
811.53/813.60 c #Conflicts: 210000 | #Constraints: 231416
811.53/813.60 c #Conflicts: 211000 | #Constraints: 232416
811.53/813.60 c #Conflicts: 212000 | #Constraints: 233416
811.53/813.60 c #Conflicts: 213000 | #Constraints: 234416
811.53/813.60 c #Conflicts: 214000 | #Constraints: 235416
811.53/813.60 c #Conflicts: 215000 | #Constraints: 236416
811.53/813.60 c #Conflicts: 216000 | #Constraints: 237416
811.53/813.60 c INPROCESSING
811.53/813.60 c GARBAGE COLLECT
811.53/813.60 c #Conflicts: 217000 | #Constraints: 229218
811.53/813.60 c #Conflicts: 218000 | #Constraints: 230218
811.53/813.60 c #Conflicts: 219000 | #Constraints: 231218
811.53/813.60 c #Conflicts: 220000 | #Constraints: 232218
811.53/813.60 c #Conflicts: 221000 | #Constraints: 233218
811.53/813.60 c #Conflicts: 222000 | #Constraints: 234218
811.53/813.60 c #Conflicts: 223000 | #Constraints: 235218
811.53/813.60 c #Conflicts: 224000 | #Constraints: 236218
811.53/813.60 c #Conflicts: 225000 | #Constraints: 237218
811.53/813.60 c #Conflicts: 226000 | #Constraints: 238218
811.53/813.60 c INPROCESSING
811.53/813.60 c GARBAGE COLLECT
811.53/813.60 c #Conflicts: 227000 | #Constraints: 229817
811.53/813.60 c #Conflicts: 228000 | #Constraints: 230817
811.53/813.60 c #Conflicts: 229000 | #Constraints: 231817
811.53/813.60 c #Conflicts: 230000 | #Constraints: 232817
811.53/813.60 c #Conflicts: 231000 | #Constraints: 233817
811.53/813.60 c #Conflicts: 232000 | #Constraints: 234817
811.53/813.60 c #Conflicts: 233000 | #Constraints: 235817
811.53/813.60 c #Conflicts: 234000 | #Constraints: 236817
811.53/813.60 c #Conflicts: 235000 | #Constraints: 237817
811.53/813.60 c #Conflicts: 236000 | #Constraints: 238817
811.53/813.60 c INPROCESSING
811.53/813.60 c GARBAGE COLLECT
811.53/813.60 c #Conflicts: 237000 | #Constraints: 230215
811.53/813.60 c #Conflicts: 238000 | #Constraints: 231215
811.53/813.60 c #Conflicts: 239000 | #Constraints: 232215
811.53/813.60 c GLOBAL bounds - >= -2940 @ 809.994
811.73/813.82 c GLOBAL bounds - >= -2940 @ 810.212
1069.16/1071.88 c #Conflicts: 240000 | #Constraints: 233219
1069.16/1071.88 c #Conflicts: 241000 | #Constraints: 234219
1069.16/1071.88 c #Conflicts: 242000 | #Constraints: 235219
1069.16/1071.88 c #Conflicts: 243000 | #Constraints: 236219
1069.16/1071.88 c #Conflicts: 244000 | #Constraints: 237219
1069.16/1071.88 c #Conflicts: 245000 | #Constraints: 238219
1069.16/1071.88 c #Conflicts: 246000 | #Constraints: 239219
1069.16/1071.88 c INPROCESSING
1069.16/1071.88 c GARBAGE COLLECT
1069.16/1071.88 c #Conflicts: 247000 | #Constraints: 230418
1069.16/1071.88 c #Conflicts: 248000 | #Constraints: 231418
1069.16/1071.88 c #Conflicts: 249000 | #Constraints: 232418
1069.16/1071.88 c #Conflicts: 250000 | #Constraints: 233418
1069.16/1071.88 c #Conflicts: 251000 | #Constraints: 234418
1069.16/1071.88 c #Conflicts: 252000 | #Constraints: 235418
1069.16/1071.88 c #Conflicts: 253000 | #Constraints: 236418
1069.16/1071.88 c #Conflicts: 254000 | #Constraints: 237418
1069.16/1071.88 c #Conflicts: 255000 | #Constraints: 238418
1069.16/1071.88 c #Conflicts: 256000 | #Constraints: 239418
1069.16/1071.88 c INPROCESSING
1069.16/1071.88 c GARBAGE COLLECT
1069.16/1071.88 c #Conflicts: 257000 | #Constraints: 230419
1069.16/1071.88 c #Conflicts: 258000 | #Constraints: 231419
1069.16/1071.88 c #Conflicts: 259000 | #Constraints: 232419
1069.16/1071.88 c #Conflicts: 260000 | #Constraints: 233419
1069.16/1071.88 c #Conflicts: 261000 | #Constraints: 234419
1069.16/1071.88 c #Conflicts: 262000 | #Constraints: 235419
1069.16/1071.88 c #Conflicts: 263000 | #Constraints: 236419
1069.16/1071.88 c #Conflicts: 264000 | #Constraints: 237419
1069.16/1071.88 c #Conflicts: 265000 | #Constraints: 238419
1069.16/1071.88 c #Conflicts: 266000 | #Constraints: 239419
1069.16/1071.88 c INPROCESSING
1069.16/1071.88 c GARBAGE COLLECT
1069.16/1071.88 c #Conflicts: 267000 | #Constraints: 230218
1069.16/1071.88 c #Conflicts: 268000 | #Constraints: 231218
1069.16/1071.88 c #Conflicts: 269000 | #Constraints: 232218
1069.16/1071.88 c #Conflicts: 270000 | #Constraints: 233218
1069.16/1071.88 c #Conflicts: 271000 | #Constraints: 234218
1069.16/1071.88 c #Conflicts: 272000 | #Constraints: 235218
1069.16/1071.88 c #Conflicts: 273000 | #Constraints: 236218
1069.16/1071.88 c #Conflicts: 274000 | #Constraints: 237218
1069.16/1071.88 c #Conflicts: 275000 | #Constraints: 238218
1069.16/1071.88 c #Conflicts: 276000 | #Constraints: 239218
1069.16/1071.88 c #Conflicts: 277000 | #Constraints: 240218
1069.16/1071.88 c INPROCESSING
1069.16/1071.88 c GARBAGE COLLECT
1069.16/1071.88 c #Conflicts: 278000 | #Constraints: 230820
1069.16/1071.88 c #Conflicts: 279000 | #Constraints: 231820
1069.16/1071.88 c #Conflicts: 280000 | #Constraints: 232820
1069.16/1071.88 c #Conflicts: 281000 | #Constraints: 233820
1069.16/1071.88 c #Conflicts: 282000 | #Constraints: 234820
1069.16/1071.88 c #Conflicts: 283000 | #Constraints: 235820
1069.16/1071.88 c #Conflicts: 284000 | #Constraints: 236820
1069.16/1071.88 c #Conflicts: 285000 | #Constraints: 237820
1069.16/1071.88 c #Conflicts: 286000 | #Constraints: 238820
1069.16/1071.88 c #Conflicts: 287000 | #Constraints: 239820
1069.16/1071.88 c #Conflicts: 288000 | #Constraints: 240820
1069.16/1071.88 c INPROCESSING
1069.16/1071.88 c GARBAGE COLLECT
1069.16/1071.88 c #Conflicts: 289000 | #Constraints: 231219
1069.16/1071.88 c #Conflicts: 290000 | #Constraints: 232219
1069.16/1071.88 c #Conflicts: 291000 | #Constraints: 233219
1069.16/1071.88 c #Conflicts: 292000 | #Constraints: 234219
1069.16/1071.88 c #Conflicts: 293000 | #Constraints: 235219
1069.16/1071.88 c #Conflicts: 294000 | #Constraints: 236219
1069.16/1071.88 c #Conflicts: 295000 | #Constraints: 237219
1069.16/1071.88 c #Conflicts: 296000 | #Constraints: 238219
1069.16/1071.88 c #Conflicts: 297000 | #Constraints: 239219
1069.16/1071.88 c #Conflicts: 298000 | #Constraints: 240219
1069.16/1071.88 c #Conflicts: 299000 | #Constraints: 241219
1069.16/1071.88 c INPROCESSING
1069.16/1071.88 c GARBAGE COLLECT
1069.16/1071.88 c #Conflicts: 300000 | #Constraints: 231421
1069.16/1071.88 c #Conflicts: 301000 | #Constraints: 232421
1069.16/1071.88 c #Conflicts: 302000 | #Constraints: 233421
1069.16/1071.88 c #Conflicts: 303000 | #Constraints: 234421
1069.16/1071.88 c #Conflicts: 304000 | #Constraints: 235421
1069.16/1071.88 c #Conflicts: 305000 | #Constraints: 236421
1069.16/1071.88 c #Conflicts: 306000 | #Constraints: 237421
1069.16/1071.88 c #Conflicts: 307000 | #Constraints: 238421
1069.16/1071.88 c #Conflicts: 308000 | #Constraints: 239421
1069.16/1071.88 c #Conflicts: 309000 | #Constraints: 240421
1069.16/1071.88 c #Conflicts: 310000 | #Constraints: 241421
1069.16/1071.88 c INPROCESSING
1069.16/1071.88 c GARBAGE COLLECT
1069.16/1071.88 c #Conflicts: 311000 | #Constraints: 231421
1069.16/1071.88 c #Conflicts: 312000 | #Constraints: 232421
1069.16/1071.88 c #Conflicts: 313000 | #Constraints: 233421
1069.16/1071.88 c #Conflicts: 314000 | #Constraints: 234421
1326.99/1330.21 c #Conflicts: 315000 | #Constraints: 235421
1326.99/1330.21 c #Conflicts: 316000 | #Constraints: 236421
1326.99/1330.21 c #Conflicts: 317000 | #Constraints: 237421
1326.99/1330.21 c #Conflicts: 318000 | #Constraints: 238421
1326.99/1330.21 c #Conflicts: 319000 | #Constraints: 239421
1326.99/1330.21 c #Conflicts: 320000 | #Constraints: 240421
1326.99/1330.21 c #Conflicts: 321000 | #Constraints: 241421
1326.99/1330.21 c INPROCESSING
1326.99/1330.21 c GARBAGE COLLECT
1326.99/1330.21 c #Conflicts: 322000 | #Constraints: 231220
1326.99/1330.21 c #Conflicts: 323000 | #Constraints: 232220
1326.99/1330.21 c #Conflicts: 324000 | #Constraints: 233220
1326.99/1330.21 c #Conflicts: 325000 | #Constraints: 234220
1326.99/1330.21 c #Conflicts: 326000 | #Constraints: 235220
1326.99/1330.21 c #Conflicts: 327000 | #Constraints: 236220
1326.99/1330.21 c #Conflicts: 328000 | #Constraints: 237220
1326.99/1330.21 c #Conflicts: 329000 | #Constraints: 238220
1326.99/1330.21 c #Conflicts: 330000 | #Constraints: 239220
1326.99/1330.21 c #Conflicts: 331000 | #Constraints: 240220
1326.99/1330.21 c #Conflicts: 332000 | #Constraints: 241220
1326.99/1330.21 c #Conflicts: 333000 | #Constraints: 242220
1326.99/1330.21 c INPROCESSING
1326.99/1330.21 c GARBAGE COLLECT
1326.99/1330.21 c #Conflicts: 334000 | #Constraints: 231819
1326.99/1330.21 c #Conflicts: 335000 | #Constraints: 232819
1326.99/1330.21 c #Conflicts: 336000 | #Constraints: 233819
1326.99/1330.21 c #Conflicts: 337000 | #Constraints: 234819
1326.99/1330.21 c #Conflicts: 338000 | #Constraints: 235819
1326.99/1330.21 c #Conflicts: 339000 | #Constraints: 236819
1326.99/1330.21 c #Conflicts: 340000 | #Constraints: 237819
1326.99/1330.21 c #Conflicts: 341000 | #Constraints: 238819
1326.99/1330.21 c #Conflicts: 342000 | #Constraints: 239819
1326.99/1330.21 c #Conflicts: 343000 | #Constraints: 240819
1326.99/1330.21 c #Conflicts: 344000 | #Constraints: 241819
1326.99/1330.21 c #Conflicts: 345000 | #Constraints: 242819
1326.99/1330.21 c INPROCESSING
1326.99/1330.21 c GARBAGE COLLECT
1326.99/1330.21 c #Conflicts: 346000 | #Constraints: 232222
1326.99/1330.21 c #Conflicts: 347000 | #Constraints: 233222
1326.99/1330.21 c #Conflicts: 348000 | #Constraints: 234222
1326.99/1330.21 c #Conflicts: 349000 | #Constraints: 235222
1326.99/1330.21 c #Conflicts: 350000 | #Constraints: 236222
1326.99/1330.21 c #Conflicts: 351000 | #Constraints: 237222
1326.99/1330.21 c #Conflicts: 352000 | #Constraints: 238222
1326.99/1330.21 c #Conflicts: 353000 | #Constraints: 239222
1326.99/1330.21 c #Conflicts: 354000 | #Constraints: 240222
1326.99/1330.21 c #Conflicts: 355000 | #Constraints: 241222
1326.99/1330.21 c #Conflicts: 356000 | #Constraints: 242222
1326.99/1330.21 c #Conflicts: 357000 | #Constraints: 243222
1326.99/1330.21 c INPROCESSING
1326.99/1330.21 c GARBAGE COLLECT
1326.99/1330.21 c #Conflicts: 358000 | #Constraints: 232422
1326.99/1330.21 c #Conflicts: 359000 | #Constraints: 233422
1326.99/1330.21 c #Conflicts: 360000 | #Constraints: 234422
1326.99/1330.21 c #Conflicts: 361000 | #Constraints: 235422
1326.99/1330.21 c #Conflicts: 362000 | #Constraints: 236422
1326.99/1330.21 c #Conflicts: 363000 | #Constraints: 237422
1326.99/1330.21 c #Conflicts: 364000 | #Constraints: 238422
1326.99/1330.21 c #Conflicts: 365000 | #Constraints: 239422
1326.99/1330.21 c #Conflicts: 366000 | #Constraints: 240422
1326.99/1330.21 c #Conflicts: 367000 | #Constraints: 241422
1326.99/1330.21 c #Conflicts: 368000 | #Constraints: 242422
1326.99/1330.21 c #Conflicts: 369000 | #Constraints: 243422
1326.99/1330.21 c INPROCESSING
1326.99/1330.21 c GARBAGE COLLECT
1326.99/1330.21 c #Conflicts: 370000 | #Constraints: 232422
1326.99/1330.21 c #Conflicts: 371000 | #Constraints: 233422
1326.99/1330.21 c #Conflicts: 372000 | #Constraints: 234422
1326.99/1330.21 c #Conflicts: 373000 | #Constraints: 235422
1326.99/1330.21 c #Conflicts: 374000 | #Constraints: 236422
1326.99/1330.21 c #Conflicts: 375000 | #Constraints: 237422
1326.99/1330.21 c #Conflicts: 376000 | #Constraints: 238422
1326.99/1330.21 c #Conflicts: 377000 | #Constraints: 239422
1326.99/1330.21 c #Conflicts: 378000 | #Constraints: 240422
1326.99/1330.21 c #Conflicts: 379000 | #Constraints: 241422
1326.99/1330.21 c #Conflicts: 380000 | #Constraints: 242422
1326.99/1330.21 c #Conflicts: 381000 | #Constraints: 243422
1326.99/1330.21 c INPROCESSING
1326.99/1330.21 c GARBAGE COLLECT
1326.99/1330.21 c #Conflicts: 382000 | #Constraints: 232222
1326.99/1330.21 c #Conflicts: 383000 | #Constraints: 233222
1326.99/1330.21 c #Conflicts: 384000 | #Constraints: 234222
1326.99/1330.21 c #Conflicts: 385000 | #Constraints: 235222
1326.99/1330.21 c #Conflicts: 386000 | #Constraints: 236222
1326.99/1330.21 c #Conflicts: 387000 | #Constraints: 237222
1326.99/1330.21 c #Conflicts: 388000 | #Constraints: 238222
1326.99/1330.21 c #Conflicts: 389000 | #Constraints: 239222
1516.76/1520.50 c #Conflicts: 390000 | #Constraints: 240222
1516.76/1520.50 c #Conflicts: 391000 | #Constraints: 241222
1516.76/1520.50 c #Conflicts: 392000 | #Constraints: 242222
1516.76/1520.50 c #Conflicts: 393000 | #Constraints: 243222
1516.76/1520.50 c #Conflicts: 394000 | #Constraints: 244222
1516.76/1520.50 c INPROCESSING
1516.76/1520.50 c GARBAGE COLLECT
1516.76/1520.50 c #Conflicts: 395000 | #Constraints: 232825
1516.76/1520.50 c #Conflicts: 396000 | #Constraints: 233825
1516.76/1520.50 c #Conflicts: 397000 | #Constraints: 234825
1516.76/1520.50 c #Conflicts: 398000 | #Constraints: 235825
1516.76/1520.50 c #Conflicts: 399000 | #Constraints: 236825
1516.76/1520.50 c #Conflicts: 400000 | #Constraints: 237825
1516.76/1520.50 c #Conflicts: 401000 | #Constraints: 238825
1516.76/1520.50 c #Conflicts: 402000 | #Constraints: 239825
1516.76/1520.50 c #Conflicts: 403000 | #Constraints: 240825
1516.76/1520.50 c #Conflicts: 404000 | #Constraints: 241825
1516.76/1520.50 c #Conflicts: 405000 | #Constraints: 242825
1516.76/1520.50 c #Conflicts: 406000 | #Constraints: 243825
1516.76/1520.50 c #Conflicts: 407000 | #Constraints: 244825
1516.76/1520.50 c INPROCESSING
1516.76/1520.50 c GARBAGE COLLECT
1516.76/1520.50 c #Conflicts: 408000 | #Constraints: 233224
1516.76/1520.50 c #Conflicts: 409000 | #Constraints: 234224
1516.76/1520.50 c #Conflicts: 410000 | #Constraints: 235224
1516.76/1520.50 c #Conflicts: 411000 | #Constraints: 236224
1516.76/1520.50 c #Conflicts: 412000 | #Constraints: 237224
1516.76/1520.50 c #Conflicts: 413000 | #Constraints: 238224
1516.76/1520.50 c #Conflicts: 414000 | #Constraints: 239224
1516.76/1520.50 c #Conflicts: 415000 | #Constraints: 240224
1516.76/1520.50 c #Conflicts: 416000 | #Constraints: 241224
1516.76/1520.50 c #Conflicts: 417000 | #Constraints: 242224
1516.76/1520.50 c #Conflicts: 418000 | #Constraints: 243224
1516.76/1520.50 c #Conflicts: 419000 | #Constraints: 244224
1516.76/1520.50 c #Conflicts: 420000 | #Constraints: 245224
1516.76/1520.50 c INPROCESSING
1516.76/1520.50 c GARBAGE COLLECT
1516.76/1520.50 c #Conflicts: 421000 | #Constraints: 233424
1516.76/1520.50 c #Conflicts: 422000 | #Constraints: 234424
1516.76/1520.50 c #Conflicts: 423000 | #Constraints: 235424
1516.76/1520.50 c #Conflicts: 424000 | #Constraints: 236424
1516.76/1520.50 c #Conflicts: 425000 | #Constraints: 237424
1516.76/1520.50 c #Conflicts: 426000 | #Constraints: 238424
1516.76/1520.50 c #Conflicts: 427000 | #Constraints: 239424
1516.76/1520.50 c #Conflicts: 428000 | #Constraints: 240424
1516.76/1520.50 c #Conflicts: 429000 | #Constraints: 241424
1516.76/1520.50 c #Conflicts: 430000 | #Constraints: 242424
1516.76/1520.50 c #Conflicts: 431000 | #Constraints: 243424
1516.76/1520.50 c #Conflicts: 432000 | #Constraints: 244424
1516.76/1520.50 c #Conflicts: 433000 | #Constraints: 245424
1516.76/1520.50 c INPROCESSING
1516.76/1520.50 c GARBAGE COLLECT
1516.76/1520.50 c #Conflicts: 434000 | #Constraints: 233424
1516.76/1520.50 c #Conflicts: 435000 | #Constraints: 234424
1516.76/1520.50 c #Conflicts: 436000 | #Constraints: 235424
1516.76/1520.50 c #Conflicts: 437000 | #Constraints: 236424
1516.76/1520.50 c #Conflicts: 438000 | #Constraints: 237424
1516.76/1520.50 c #Conflicts: 439000 | #Constraints: 238424
1516.76/1520.50 c #Conflicts: 440000 | #Constraints: 239424
1516.76/1520.50 c #Conflicts: 441000 | #Constraints: 240424
1516.76/1520.50 c #Conflicts: 442000 | #Constraints: 241424
1516.76/1520.50 c #Conflicts: 443000 | #Constraints: 242424
1516.76/1520.50 c #Conflicts: 444000 | #Constraints: 243424
1516.76/1520.50 c #Conflicts: 445000 | #Constraints: 244424
1516.76/1520.50 c #Conflicts: 446000 | #Constraints: 245424
1516.76/1520.50 c INPROCESSING
1516.76/1520.50 c GARBAGE COLLECT
1516.76/1520.50 c #Conflicts: 447000 | #Constraints: 233226
1516.76/1520.50 c #Conflicts: 448000 | #Constraints: 234226
1516.76/1520.50 c #Conflicts: 449000 | #Constraints: 235226
1516.76/1520.50 c #Conflicts: 450000 | #Constraints: 236226
1516.76/1520.50 c #Conflicts: 451000 | #Constraints: 237226
1516.76/1520.50 c #Conflicts: 452000 | #Constraints: 238226
1516.76/1520.50 c #Conflicts: 453000 | #Constraints: 239226
1516.76/1520.50 c #Conflicts: 454000 | #Constraints: 240226
1516.76/1520.50 c #Conflicts: 455000 | #Constraints: 241226
1516.76/1520.50 c #Conflicts: 456000 | #Constraints: 242226
1516.76/1520.50 c #Conflicts: 457000 | #Constraints: 243226
1516.76/1520.50 c #Conflicts: 458000 | #Constraints: 244226
1516.76/1520.50 c #Conflicts: 459000 | #Constraints: 245226
1516.76/1520.50 c #Conflicts: 460000 | #Constraints: 246226
1516.76/1520.50 c INPROCESSING
1516.76/1520.50 c GARBAGE COLLECT
1516.76/1520.50 c #Conflicts: 461000 | #Constraints: 233828
1516.76/1520.50 c #Conflicts: 462000 | #Constraints: 234828
1516.76/1520.50 c #Conflicts: 463000 | #Constraints: 235828
1516.76/1520.50 c #Conflicts: 464000 | #Constraints: 236828
1674.79/1678.84 c #Conflicts: 465000 | #Constraints: 237828
1674.79/1678.84 c #Conflicts: 466000 | #Constraints: 238828
1674.79/1678.84 c #Conflicts: 467000 | #Constraints: 239828
1674.79/1678.84 c #Conflicts: 468000 | #Constraints: 240828
1674.79/1678.84 c #Conflicts: 469000 | #Constraints: 241828
1674.79/1678.84 c #Conflicts: 470000 | #Constraints: 242828
1674.79/1678.84 c #Conflicts: 471000 | #Constraints: 243828
1674.79/1678.84 c #Conflicts: 472000 | #Constraints: 244828
1674.79/1678.84 c #Conflicts: 473000 | #Constraints: 245828
1674.79/1678.84 c #Conflicts: 474000 | #Constraints: 246828
1674.79/1678.84 c INPROCESSING
1674.79/1678.84 c GARBAGE COLLECT
1674.79/1678.84 c #Conflicts: 475000 | #Constraints: 234229
1674.79/1678.84 c #Conflicts: 476000 | #Constraints: 235229
1674.79/1678.84 c #Conflicts: 477000 | #Constraints: 236229
1674.79/1678.84 c #Conflicts: 478000 | #Constraints: 237229
1674.79/1678.84 c #Conflicts: 479000 | #Constraints: 238229
1674.79/1678.84 c #Conflicts: 480000 | #Constraints: 239229
1674.79/1678.84 c #Conflicts: 481000 | #Constraints: 240229
1674.79/1678.84 c #Conflicts: 482000 | #Constraints: 241229
1674.79/1678.84 c #Conflicts: 483000 | #Constraints: 242229
1674.79/1678.84 c #Conflicts: 484000 | #Constraints: 243229
1674.79/1678.84 c #Conflicts: 485000 | #Constraints: 244229
1674.79/1678.84 c #Conflicts: 486000 | #Constraints: 245229
1674.79/1678.84 c #Conflicts: 487000 | #Constraints: 246229
1674.79/1678.84 c #Conflicts: 488000 | #Constraints: 247229
1674.79/1678.84 c INPROCESSING
1674.79/1678.84 c GARBAGE COLLECT
1674.79/1678.84 c #Conflicts: 489000 | #Constraints: 234431
1674.79/1678.84 c #Conflicts: 490000 | #Constraints: 235431
1674.79/1678.84 c #Conflicts: 491000 | #Constraints: 236431
1674.79/1678.84 c #Conflicts: 492000 | #Constraints: 237431
1674.79/1678.84 c #Conflicts: 493000 | #Constraints: 238431
1674.79/1678.84 c #Conflicts: 494000 | #Constraints: 239431
1674.79/1678.84 c #Conflicts: 495000 | #Constraints: 240431
1674.79/1678.84 c #Conflicts: 496000 | #Constraints: 241431
1674.79/1678.84 c #Conflicts: 497000 | #Constraints: 242431
1674.79/1678.84 c #Conflicts: 498000 | #Constraints: 243431
1674.79/1678.84 c #Conflicts: 499000 | #Constraints: 244431
1674.79/1678.84 c #Conflicts: 500000 | #Constraints: 245431
1674.79/1678.84 c #Conflicts: 501000 | #Constraints: 246431
1674.79/1678.84 c #Conflicts: 502000 | #Constraints: 247431
1674.79/1678.84 c INPROCESSING
1674.79/1678.84 c GARBAGE COLLECT
1674.79/1678.84 c #Conflicts: 503000 | #Constraints: 234428
1674.79/1678.84 c #Conflicts: 504000 | #Constraints: 235428
1674.79/1678.84 c #Conflicts: 505000 | #Constraints: 236428
1674.79/1678.84 c #Conflicts: 506000 | #Constraints: 237428
1674.79/1678.84 c #Conflicts: 507000 | #Constraints: 238428
1674.79/1678.84 c #Conflicts: 508000 | #Constraints: 239428
1674.79/1678.84 c #Conflicts: 509000 | #Constraints: 240428
1674.79/1678.84 c #Conflicts: 510000 | #Constraints: 241428
1674.79/1678.84 c #Conflicts: 511000 | #Constraints: 242428
1674.79/1678.84 c #Conflicts: 512000 | #Constraints: 243428
1674.79/1678.84 c #Conflicts: 513000 | #Constraints: 244428
1674.79/1678.84 c #Conflicts: 514000 | #Constraints: 245428
1674.79/1678.84 c #Conflicts: 515000 | #Constraints: 246428
1674.79/1678.84 c #Conflicts: 516000 | #Constraints: 247428
1674.79/1678.84 c INPROCESSING
1674.79/1678.84 c GARBAGE COLLECT
1674.79/1678.84 c #Conflicts: 517000 | #Constraints: 234227
1674.79/1678.84 c #Conflicts: 518000 | #Constraints: 235227
1674.79/1678.84 c #Conflicts: 519000 | #Constraints: 236227
1674.79/1678.84 c #Conflicts: 520000 | #Constraints: 237227
1674.79/1678.84 c #Conflicts: 521000 | #Constraints: 238227
1674.79/1678.84 c #Conflicts: 522000 | #Constraints: 239227
1674.79/1678.84 c #Conflicts: 523000 | #Constraints: 240227
1674.79/1678.84 c #Conflicts: 524000 | #Constraints: 241227
1674.79/1678.84 c #Conflicts: 525000 | #Constraints: 242227
1674.79/1678.84 c #Conflicts: 526000 | #Constraints: 243227
1674.79/1678.84 c #Conflicts: 527000 | #Constraints: 244227
1674.79/1678.84 c #Conflicts: 528000 | #Constraints: 245227
1674.79/1678.84 c #Conflicts: 529000 | #Constraints: 246227
1674.79/1678.84 c #Conflicts: 530000 | #Constraints: 247227
1674.79/1678.84 c #Conflicts: 531000 | #Constraints: 248227
1674.79/1678.84 c INPROCESSING
1674.79/1678.84 c GARBAGE COLLECT
1674.79/1678.84 c #Conflicts: 532000 | #Constraints: 234832
1674.79/1678.84 c #Conflicts: 533000 | #Constraints: 235832
1674.79/1678.84 c #Conflicts: 534000 | #Constraints: 236832
1674.79/1678.84 c #Conflicts: 535000 | #Constraints: 237832
1674.79/1678.84 c #Conflicts: 536000 | #Constraints: 238832
1674.79/1678.84 c #Conflicts: 537000 | #Constraints: 239832
1674.79/1678.84 c #Conflicts: 538000 | #Constraints: 240832
1674.79/1678.84 c #Conflicts: 539000 | #Constraints: 241832
1832.78/1837.23 c #Conflicts: 540000 | #Constraints: 242832
1832.78/1837.23 c #Conflicts: 541000 | #Constraints: 243832
1832.78/1837.23 c #Conflicts: 542000 | #Constraints: 244832
1832.78/1837.23 c #Conflicts: 543000 | #Constraints: 245832
1832.78/1837.23 c #Conflicts: 544000 | #Constraints: 246832
1832.78/1837.23 c #Conflicts: 545000 | #Constraints: 247832
1832.78/1837.23 c #Conflicts: 546000 | #Constraints: 248832
1832.78/1837.23 c INPROCESSING
1832.78/1837.23 c GARBAGE COLLECT
1832.78/1837.23 c #Conflicts: 547000 | #Constraints: 235232
1832.78/1837.23 c #Conflicts: 548000 | #Constraints: 236232
1832.78/1837.23 c #Conflicts: 549000 | #Constraints: 237232
1832.78/1837.23 c #Conflicts: 550000 | #Constraints: 238232
1832.78/1837.23 c #Conflicts: 551000 | #Constraints: 239232
1832.78/1837.23 c #Conflicts: 552000 | #Constraints: 240232
1832.78/1837.23 c #Conflicts: 553000 | #Constraints: 241232
1832.78/1837.23 c #Conflicts: 554000 | #Constraints: 242232
1832.78/1837.23 c #Conflicts: 555000 | #Constraints: 243232
1832.78/1837.23 c #Conflicts: 556000 | #Constraints: 244232
1832.78/1837.23 c #Conflicts: 557000 | #Constraints: 245232
1832.78/1837.23 c #Conflicts: 558000 | #Constraints: 246232
1832.78/1837.23 c #Conflicts: 559000 | #Constraints: 247232
1832.78/1837.23 c #Conflicts: 560000 | #Constraints: 248232
1832.78/1837.23 c #Conflicts: 561000 | #Constraints: 249232
1832.78/1837.23 c INPROCESSING
1832.78/1837.23 c GARBAGE COLLECT
1832.78/1837.23 c #Conflicts: 562000 | #Constraints: 235434
1832.78/1837.23 c #Conflicts: 563000 | #Constraints: 236434
1832.78/1837.23 c #Conflicts: 564000 | #Constraints: 237434
1832.78/1837.23 c #Conflicts: 565000 | #Constraints: 238434
1832.78/1837.23 c #Conflicts: 566000 | #Constraints: 239434
1832.78/1837.23 c #Conflicts: 567000 | #Constraints: 240434
1832.78/1837.23 c #Conflicts: 568000 | #Constraints: 241434
1832.78/1837.23 c #Conflicts: 569000 | #Constraints: 242434
1832.78/1837.23 c #Conflicts: 570000 | #Constraints: 243434
1832.78/1837.23 c #Conflicts: 571000 | #Constraints: 244434
1832.78/1837.23 c #Conflicts: 572000 | #Constraints: 245434
1832.78/1837.23 c #Conflicts: 573000 | #Constraints: 246434
1832.78/1837.23 c #Conflicts: 574000 | #Constraints: 247434
1832.78/1837.23 c #Conflicts: 575000 | #Constraints: 248434
1832.78/1837.23 c #Conflicts: 576000 | #Constraints: 249434
1832.78/1837.23 c INPROCESSING
1832.78/1837.23 c GARBAGE COLLECT
1832.78/1837.23 c #Conflicts: 577000 | #Constraints: 235439
1832.78/1837.23 c #Conflicts: 578000 | #Constraints: 236439
1832.78/1837.23 c #Conflicts: 579000 | #Constraints: 237439
1832.78/1837.23 c #Conflicts: 580000 | #Constraints: 238439
1832.78/1837.23 c #Conflicts: 581000 | #Constraints: 239439
1832.78/1837.23 c #Conflicts: 582000 | #Constraints: 240439
1832.78/1837.23 c #Conflicts: 583000 | #Constraints: 241439
1832.78/1837.23 c #Conflicts: 584000 | #Constraints: 242439
1832.78/1837.23 c #Conflicts: 585000 | #Constraints: 243439
1832.78/1837.23 c #Conflicts: 586000 | #Constraints: 244439
1832.78/1837.23 c #Conflicts: 587000 | #Constraints: 245439
1832.78/1837.23 c #Conflicts: 588000 | #Constraints: 246439
1832.78/1837.23 c #Conflicts: 589000 | #Constraints: 247439
1832.78/1837.23 c #Conflicts: 590000 | #Constraints: 248439
1832.78/1837.23 c #Conflicts: 591000 | #Constraints: 249439
1832.78/1837.23 c INPROCESSING
1832.78/1837.23 c GARBAGE COLLECT
1832.78/1837.23 c #Conflicts: 592000 | #Constraints: 235238
1832.78/1837.23 c #Conflicts: 593000 | #Constraints: 236238
1832.78/1837.23 c #Conflicts: 594000 | #Constraints: 237238
1832.78/1837.23 c #Conflicts: 595000 | #Constraints: 238238
1832.78/1837.23 c #Conflicts: 596000 | #Constraints: 239238
1832.78/1837.23 c #Conflicts: 597000 | #Constraints: 240238
1832.78/1837.23 c #Conflicts: 598000 | #Constraints: 241238
1832.78/1837.23 c #Conflicts: 599000 | #Constraints: 242238
1832.78/1837.23 c #Conflicts: 600000 | #Constraints: 243238
1832.78/1837.23 c #Conflicts: 601000 | #Constraints: 244238
1832.78/1837.23 c #Conflicts: 602000 | #Constraints: 245238
1832.78/1837.23 c #Conflicts: 603000 | #Constraints: 246238
1832.78/1837.23 c #Conflicts: 604000 | #Constraints: 247238
1832.78/1837.23 c #Conflicts: 605000 | #Constraints: 248238
1832.78/1837.23 c #Conflicts: 606000 | #Constraints: 249238
1832.78/1837.23 c #Conflicts: 607000 | #Constraints: 250238
1832.78/1837.23 c INPROCESSING
1832.78/1837.23 c GARBAGE COLLECT
1832.78/1837.23 c #Conflicts: 608000 | #Constraints: 235839
1832.78/1837.23 c #Conflicts: 609000 | #Constraints: 236839
1832.78/1837.23 c #Conflicts: 610000 | #Constraints: 237839
1832.78/1837.23 c #Conflicts: 611000 | #Constraints: 238839
1832.78/1837.23 c #Conflicts: 612000 | #Constraints: 239839
1832.78/1837.23 c #Conflicts: 613000 | #Constraints: 240839
1832.78/1837.23 c #Conflicts: 614000 | #Constraints: 241839
1832.78/1837.23 c #Conflicts: 615000 | #Constraints: 242839
1991.27/1996.14 c #Conflicts: 616000 | #Constraints: 243839
1991.27/1996.14 c #Conflicts: 617000 | #Constraints: 244839
1991.27/1996.14 c #Conflicts: 618000 | #Constraints: 245839
1991.27/1996.14 c #Conflicts: 619000 | #Constraints: 246839
1991.27/1996.14 c #Conflicts: 620000 | #Constraints: 247839
1991.27/1996.14 c #Conflicts: 621000 | #Constraints: 248839
1991.27/1996.14 c #Conflicts: 622000 | #Constraints: 249839
1991.27/1996.14 c #Conflicts: 623000 | #Constraints: 250839
1991.27/1996.14 c INPROCESSING
1991.27/1996.14 c GARBAGE COLLECT
1991.27/1996.14 c #Conflicts: 624000 | #Constraints: 236238
1991.27/1996.14 c #Conflicts: 625000 | #Constraints: 237238
1991.27/1996.14 c #Conflicts: 626000 | #Constraints: 238238
1991.27/1996.14 c #Conflicts: 627000 | #Constraints: 239238
1991.27/1996.14 c #Conflicts: 628000 | #Constraints: 240238
1991.27/1996.14 c #Conflicts: 629000 | #Constraints: 241238
1991.27/1996.14 c #Conflicts: 630000 | #Constraints: 242238
1991.27/1996.14 c #Conflicts: 631000 | #Constraints: 243238
1991.27/1996.14 c #Conflicts: 632000 | #Constraints: 244238
1991.27/1996.14 c #Conflicts: 633000 | #Constraints: 245238
1991.27/1996.14 c #Conflicts: 634000 | #Constraints: 246238
1991.27/1996.14 c #Conflicts: 635000 | #Constraints: 247238
1991.27/1996.14 c #Conflicts: 636000 | #Constraints: 248238
1991.27/1996.14 c #Conflicts: 637000 | #Constraints: 249238
1991.27/1996.14 c #Conflicts: 638000 | #Constraints: 250238
1991.27/1996.14 c #Conflicts: 639000 | #Constraints: 251238
1991.27/1996.14 c INPROCESSING
1991.27/1996.14 c GARBAGE COLLECT
1991.27/1996.14 c #Conflicts: 640000 | #Constraints: 236441
1991.27/1996.14 c #Conflicts: 641000 | #Constraints: 237441
1991.27/1996.14 c #Conflicts: 642000 | #Constraints: 238441
1991.27/1996.14 c #Conflicts: 643000 | #Constraints: 239441
1991.27/1996.14 c #Conflicts: 644000 | #Constraints: 240441
1991.27/1996.14 c #Conflicts: 645000 | #Constraints: 241441
1991.27/1996.14 c #Conflicts: 646000 | #Constraints: 242441
1991.27/1996.14 c #Conflicts: 647000 | #Constraints: 243441
1991.27/1996.14 c #Conflicts: 648000 | #Constraints: 244441
1991.27/1996.14 c #Conflicts: 649000 | #Constraints: 245441
1991.27/1996.14 c #Conflicts: 650000 | #Constraints: 246441
1991.27/1996.14 c #Conflicts: 651000 | #Constraints: 247441
1991.27/1996.14 c #Conflicts: 652000 | #Constraints: 248441
1991.27/1996.14 c #Conflicts: 653000 | #Constraints: 249441
1991.27/1996.14 c #Conflicts: 654000 | #Constraints: 250441
1991.27/1996.14 c #Conflicts: 655000 | #Constraints: 251441
1991.27/1996.14 c INPROCESSING
1991.27/1996.14 c GARBAGE COLLECT
1991.27/1996.14 c #Conflicts: 656000 | #Constraints: 236438
1991.27/1996.14 c #Conflicts: 657000 | #Constraints: 237438
1991.27/1996.14 c #Conflicts: 658000 | #Constraints: 238438
1991.27/1996.14 c #Conflicts: 659000 | #Constraints: 239438
1991.27/1996.14 c #Conflicts: 660000 | #Constraints: 240438
1991.27/1996.14 c #Conflicts: 661000 | #Constraints: 241438
1991.27/1996.14 c #Conflicts: 662000 | #Constraints: 242438
1991.27/1996.14 c #Conflicts: 663000 | #Constraints: 243438
1991.27/1996.14 c #Conflicts: 664000 | #Constraints: 244438
1991.27/1996.14 c #Conflicts: 665000 | #Constraints: 245438
1991.27/1996.14 c #Conflicts: 666000 | #Constraints: 246438
1991.27/1996.14 c #Conflicts: 667000 | #Constraints: 247438
1991.27/1996.14 c #Conflicts: 668000 | #Constraints: 248438
1991.27/1996.14 c #Conflicts: 669000 | #Constraints: 249438
1991.27/1996.14 c #Conflicts: 670000 | #Constraints: 250438
1991.27/1996.14 c #Conflicts: 671000 | #Constraints: 251438
1991.27/1996.14 c INPROCESSING
1991.27/1996.14 c GARBAGE COLLECT
1991.27/1996.14 c #Conflicts: 672000 | #Constraints: 236239
1991.27/1996.14 c #Conflicts: 673000 | #Constraints: 237239
1991.27/1996.14 c #Conflicts: 674000 | #Constraints: 238239
1991.27/1996.14 c #Conflicts: 675000 | #Constraints: 239239
1991.27/1996.14 c #Conflicts: 676000 | #Constraints: 240239
1991.27/1996.14 c #Conflicts: 677000 | #Constraints: 241239
1991.27/1996.14 c #Conflicts: 678000 | #Constraints: 242239
1991.27/1996.14 c #Conflicts: 679000 | #Constraints: 243239
1991.27/1996.14 c #Conflicts: 680000 | #Constraints: 244239
1991.27/1996.14 c #Conflicts: 681000 | #Constraints: 245239
1991.27/1996.14 c #Conflicts: 682000 | #Constraints: 246239
1991.27/1996.14 c #Conflicts: 683000 | #Constraints: 247239
1991.27/1996.14 c #Conflicts: 684000 | #Constraints: 248239
1991.27/1996.14 c #Conflicts: 685000 | #Constraints: 249239
1991.27/1996.14 c #Conflicts: 686000 | #Constraints: 250239
1991.27/1996.14 c #Conflicts: 687000 | #Constraints: 251239
1991.27/1996.14 c #Conflicts: 688000 | #Constraints: 252239
1991.27/1996.14 c INPROCESSING
1991.27/1996.14 c GARBAGE COLLECT
1991.27/1996.14 c #Conflicts: 689000 | #Constraints: 236834
1991.27/1996.14 c #Conflicts: 690000 | #Constraints: 237834
1991.27/1996.14 c #Conflicts: 691000 | #Constraints: 238834
2152.74/2158.01 c #Conflicts: 692000 | #Constraints: 239834
2152.74/2158.01 c #Conflicts: 693000 | #Constraints: 240834
2152.74/2158.01 c #Conflicts: 694000 | #Constraints: 241834
2152.74/2158.01 c #Conflicts: 695000 | #Constraints: 242834
2152.74/2158.01 c #Conflicts: 696000 | #Constraints: 243834
2152.74/2158.01 c #Conflicts: 697000 | #Constraints: 244834
2152.74/2158.01 c #Conflicts: 698000 | #Constraints: 245834
2152.74/2158.01 c #Conflicts: 699000 | #Constraints: 246834
2152.74/2158.01 c #Conflicts: 700000 | #Constraints: 247834
2152.74/2158.01 c #Conflicts: 701000 | #Constraints: 248834
2152.74/2158.01 c #Conflicts: 702000 | #Constraints: 249834
2152.74/2158.01 c #Conflicts: 703000 | #Constraints: 250834
2152.74/2158.01 c #Conflicts: 704000 | #Constraints: 251834
2152.74/2158.01 c #Conflicts: 705000 | #Constraints: 252834
2152.74/2158.01 c INPROCESSING
2152.74/2158.01 c GARBAGE COLLECT
2152.74/2158.01 c #Conflicts: 706000 | #Constraints: 237238
2152.74/2158.01 c #Conflicts: 707000 | #Constraints: 238238
2152.74/2158.01 c #Conflicts: 708000 | #Constraints: 239238
2152.74/2158.01 c #Conflicts: 709000 | #Constraints: 240238
2152.74/2158.01 c #Conflicts: 710000 | #Constraints: 241238
2152.74/2158.01 c #Conflicts: 711000 | #Constraints: 242238
2152.74/2158.01 c #Conflicts: 712000 | #Constraints: 243238
2152.74/2158.01 c #Conflicts: 713000 | #Constraints: 244238
2152.74/2158.01 c #Conflicts: 714000 | #Constraints: 245238
2152.74/2158.01 c #Conflicts: 715000 | #Constraints: 246238
2152.74/2158.01 c #Conflicts: 716000 | #Constraints: 247238
2152.74/2158.01 c #Conflicts: 717000 | #Constraints: 248238
2152.74/2158.01 c #Conflicts: 718000 | #Constraints: 249238
2152.74/2158.01 c #Conflicts: 719000 | #Constraints: 250238
2152.74/2158.01 c #Conflicts: 720000 | #Constraints: 251238
2152.74/2158.01 c #Conflicts: 721000 | #Constraints: 252238
2152.74/2158.01 c #Conflicts: 722000 | #Constraints: 253238
2152.74/2158.01 c INPROCESSING
2152.74/2158.01 c GARBAGE COLLECT
2152.74/2158.01 c #Conflicts: 723000 | #Constraints: 237441
2152.74/2158.01 c #Conflicts: 724000 | #Constraints: 238441
2152.74/2158.01 c #Conflicts: 725000 | #Constraints: 239441
2152.74/2158.01 c #Conflicts: 726000 | #Constraints: 240441
2152.74/2158.01 c #Conflicts: 727000 | #Constraints: 241441
2152.74/2158.01 c #Conflicts: 728000 | #Constraints: 242441
2152.74/2158.01 c #Conflicts: 729000 | #Constraints: 243441
2152.74/2158.01 c #Conflicts: 730000 | #Constraints: 244441
2152.74/2158.01 c #Conflicts: 731000 | #Constraints: 245441
2152.74/2158.01 c #Conflicts: 732000 | #Constraints: 246441
2152.74/2158.01 c #Conflicts: 733000 | #Constraints: 247441
2152.74/2158.01 c #Conflicts: 734000 | #Constraints: 248441
2152.74/2158.01 c #Conflicts: 735000 | #Constraints: 249441
2152.74/2158.01 c #Conflicts: 736000 | #Constraints: 250441
2152.74/2158.01 c #Conflicts: 737000 | #Constraints: 251441
2152.74/2158.01 c #Conflicts: 738000 | #Constraints: 252441
2152.74/2158.01 c #Conflicts: 739000 | #Constraints: 253441
2152.74/2158.01 c INPROCESSING
2152.74/2158.01 c GARBAGE COLLECT
2152.74/2158.01 c #Conflicts: 740000 | #Constraints: 237437
2152.74/2158.01 c #Conflicts: 741000 | #Constraints: 238437
2152.74/2158.01 c #Conflicts: 742000 | #Constraints: 239437
2152.74/2158.01 c #Conflicts: 743000 | #Constraints: 240437
2152.74/2158.01 c #Conflicts: 744000 | #Constraints: 241437
2152.74/2158.01 c #Conflicts: 745000 | #Constraints: 242437
2152.74/2158.01 c #Conflicts: 746000 | #Constraints: 243437
2152.74/2158.01 c #Conflicts: 747000 | #Constraints: 244437
2152.74/2158.01 c #Conflicts: 748000 | #Constraints: 245437
2152.74/2158.01 c #Conflicts: 749000 | #Constraints: 246437
2152.74/2158.01 c #Conflicts: 750000 | #Constraints: 247437
2152.74/2158.01 c #Conflicts: 751000 | #Constraints: 248437
2152.74/2158.01 c #Conflicts: 752000 | #Constraints: 249437
2152.74/2158.01 c #Conflicts: 753000 | #Constraints: 250437
2152.74/2158.01 c #Conflicts: 754000 | #Constraints: 251437
2152.74/2158.01 c #Conflicts: 755000 | #Constraints: 252437
2152.74/2158.01 c #Conflicts: 756000 | #Constraints: 253437
2152.74/2158.01 c INPROCESSING
2152.74/2158.01 c GARBAGE COLLECT
2152.74/2158.01 c #Conflicts: 757000 | #Constraints: 237240
2152.74/2158.01 c #Conflicts: 758000 | #Constraints: 238240
2152.74/2158.01 c #Conflicts: 759000 | #Constraints: 239240
2152.74/2158.01 c #Conflicts: 760000 | #Constraints: 240240
2152.74/2158.01 c #Conflicts: 761000 | #Constraints: 241240
2152.74/2158.01 c #Conflicts: 762000 | #Constraints: 242240
2152.74/2158.01 c #Conflicts: 763000 | #Constraints: 243240
2152.74/2158.01 c #Conflicts: 764000 | #Constraints: 244240
2152.74/2158.01 c #Conflicts: 765000 | #Constraints: 245240
2152.74/2158.01 c #Conflicts: 766000 | #Constraints: 246240
2152.74/2158.01 c #Conflicts: 767000 | #Constraints: 247240
2311.81/2317.53 c #Conflicts: 768000 | #Constraints: 248240
2311.81/2317.53 c #Conflicts: 769000 | #Constraints: 249240
2311.81/2317.53 c #Conflicts: 770000 | #Constraints: 250240
2311.81/2317.53 c #Conflicts: 771000 | #Constraints: 251240
2311.81/2317.53 c #Conflicts: 772000 | #Constraints: 252240
2311.81/2317.53 c #Conflicts: 773000 | #Constraints: 253240
2311.81/2317.53 c #Conflicts: 774000 | #Constraints: 254240
2311.81/2317.53 c INPROCESSING
2311.81/2317.53 c GARBAGE COLLECT
2311.81/2317.53 c #Conflicts: 775000 | #Constraints: 237844
2311.81/2317.53 c #Conflicts: 776000 | #Constraints: 238844
2311.81/2317.53 c #Conflicts: 777000 | #Constraints: 239844
2311.81/2317.53 c #Conflicts: 778000 | #Constraints: 240844
2311.81/2317.53 c #Conflicts: 779000 | #Constraints: 241844
2311.81/2317.53 c #Conflicts: 780000 | #Constraints: 242844
2311.81/2317.53 c #Conflicts: 781000 | #Constraints: 243844
2311.81/2317.53 c #Conflicts: 782000 | #Constraints: 244844
2311.81/2317.53 c #Conflicts: 783000 | #Constraints: 245844
2311.81/2317.53 c #Conflicts: 784000 | #Constraints: 246844
2311.81/2317.53 c #Conflicts: 785000 | #Constraints: 247844
2311.81/2317.53 c #Conflicts: 786000 | #Constraints: 248844
2311.81/2317.53 c #Conflicts: 787000 | #Constraints: 249844
2311.81/2317.53 c #Conflicts: 788000 | #Constraints: 250844
2311.81/2317.53 c #Conflicts: 789000 | #Constraints: 251844
2311.81/2317.53 c #Conflicts: 790000 | #Constraints: 252844
2311.81/2317.53 c #Conflicts: 791000 | #Constraints: 253844
2311.81/2317.53 c #Conflicts: 792000 | #Constraints: 254844
2311.81/2317.53 c INPROCESSING
2311.81/2317.53 c GARBAGE COLLECT
2311.81/2317.53 c #Conflicts: 793000 | #Constraints: 238237
2311.81/2317.53 c #Conflicts: 794000 | #Constraints: 239237
2311.81/2317.53 c #Conflicts: 795000 | #Constraints: 240237
2311.81/2317.53 c #Conflicts: 796000 | #Constraints: 241237
2311.81/2317.53 c #Conflicts: 797000 | #Constraints: 242237
2311.81/2317.53 c #Conflicts: 798000 | #Constraints: 243237
2311.81/2317.53 c #Conflicts: 799000 | #Constraints: 244237
2311.81/2317.53 c #Conflicts: 800000 | #Constraints: 245237
2311.81/2317.53 c #Conflicts: 801000 | #Constraints: 246237
2311.81/2317.53 c #Conflicts: 802000 | #Constraints: 247237
2311.81/2317.53 c #Conflicts: 803000 | #Constraints: 248237
2311.81/2317.53 c #Conflicts: 804000 | #Constraints: 249237
2311.81/2317.53 c #Conflicts: 805000 | #Constraints: 250237
2311.81/2317.53 c #Conflicts: 806000 | #Constraints: 251237
2311.81/2317.53 c #Conflicts: 807000 | #Constraints: 252237
2311.81/2317.53 c #Conflicts: 808000 | #Constraints: 253237
2311.81/2317.53 c #Conflicts: 809000 | #Constraints: 254237
2311.81/2317.53 c #Conflicts: 810000 | #Constraints: 255237
2311.81/2317.53 c INPROCESSING
2311.81/2317.53 c GARBAGE COLLECT
2311.81/2317.53 c #Conflicts: 811000 | #Constraints: 238438
2311.81/2317.53 c #Conflicts: 812000 | #Constraints: 239438
2311.81/2317.53 c #Conflicts: 813000 | #Constraints: 240438
2311.81/2317.53 c #Conflicts: 814000 | #Constraints: 241438
2311.81/2317.53 c #Conflicts: 815000 | #Constraints: 242438
2311.81/2317.53 c #Conflicts: 816000 | #Constraints: 243438
2311.81/2317.53 c #Conflicts: 817000 | #Constraints: 244438
2311.81/2317.53 c #Conflicts: 818000 | #Constraints: 245438
2311.81/2317.53 c #Conflicts: 819000 | #Constraints: 246438
2311.81/2317.53 c #Conflicts: 820000 | #Constraints: 247438
2311.81/2317.53 c #Conflicts: 821000 | #Constraints: 248438
2311.81/2317.53 c #Conflicts: 822000 | #Constraints: 249438
2311.81/2317.53 c #Conflicts: 823000 | #Constraints: 250438
2311.81/2317.53 c #Conflicts: 824000 | #Constraints: 251438
2311.81/2317.53 c #Conflicts: 825000 | #Constraints: 252438
2311.81/2317.53 c #Conflicts: 826000 | #Constraints: 253438
2311.81/2317.53 c #Conflicts: 827000 | #Constraints: 254438
2311.81/2317.53 c #Conflicts: 828000 | #Constraints: 255438
2311.81/2317.53 c INPROCESSING
2311.81/2317.53 c GARBAGE COLLECT
2311.81/2317.53 c #Conflicts: 829000 | #Constraints: 238440
2311.81/2317.53 c #Conflicts: 830000 | #Constraints: 239440
2311.81/2317.53 c #Conflicts: 831000 | #Constraints: 240440
2311.81/2317.53 c #Conflicts: 832000 | #Constraints: 241440
2311.81/2317.53 c #Conflicts: 833000 | #Constraints: 242440
2311.81/2317.53 c #Conflicts: 834000 | #Constraints: 243440
2311.81/2317.53 c #Conflicts: 835000 | #Constraints: 244440
2311.81/2317.53 c #Conflicts: 836000 | #Constraints: 245440
2311.81/2317.53 c #Conflicts: 837000 | #Constraints: 246440
2311.81/2317.53 c #Conflicts: 838000 | #Constraints: 247440
2311.81/2317.53 c #Conflicts: 839000 | #Constraints: 248440
2311.81/2317.53 c #Conflicts: 840000 | #Constraints: 249440
2311.81/2317.53 c #Conflicts: 841000 | #Constraints: 250440
2311.81/2317.53 c #Conflicts: 842000 | #Constraints: 251440
2311.81/2317.53 c #Conflicts: 843000 | #Constraints: 252440
2476.21/2482.32 c #Conflicts: 844000 | #Constraints: 253440
2476.21/2482.32 c #Conflicts: 845000 | #Constraints: 254440
2476.21/2482.32 c #Conflicts: 846000 | #Constraints: 255440
2476.21/2482.32 c INPROCESSING
2476.21/2482.32 c GARBAGE COLLECT
2476.21/2482.32 c #Conflicts: 847000 | #Constraints: 238238
2476.21/2482.32 c #Conflicts: 848000 | #Constraints: 239238
2476.21/2482.32 c #Conflicts: 849000 | #Constraints: 240238
2476.21/2482.32 c #Conflicts: 850000 | #Constraints: 241238
2476.21/2482.32 c #Conflicts: 851000 | #Constraints: 242238
2476.21/2482.32 c #Conflicts: 852000 | #Constraints: 243238
2476.21/2482.32 c #Conflicts: 853000 | #Constraints: 244238
2476.21/2482.32 c #Conflicts: 854000 | #Constraints: 245238
2476.21/2482.32 c #Conflicts: 855000 | #Constraints: 246238
2476.21/2482.32 c #Conflicts: 856000 | #Constraints: 247238
2476.21/2482.32 c #Conflicts: 857000 | #Constraints: 248238
2476.21/2482.32 c #Conflicts: 858000 | #Constraints: 249238
2476.21/2482.32 c #Conflicts: 859000 | #Constraints: 250238
2476.21/2482.32 c #Conflicts: 860000 | #Constraints: 251238
2476.21/2482.32 c #Conflicts: 861000 | #Constraints: 252238
2476.21/2482.32 c #Conflicts: 862000 | #Constraints: 253238
2476.21/2482.32 c #Conflicts: 863000 | #Constraints: 254238
2476.21/2482.32 c #Conflicts: 864000 | #Constraints: 255238
2476.21/2482.32 c #Conflicts: 865000 | #Constraints: 256238
2476.21/2482.32 c INPROCESSING
2476.21/2482.32 c GARBAGE COLLECT
2476.21/2482.32 c #Conflicts: 866000 | #Constraints: 238844
2476.21/2482.32 c #Conflicts: 867000 | #Constraints: 239844
2476.21/2482.32 c #Conflicts: 868000 | #Constraints: 240844
2476.21/2482.32 c #Conflicts: 869000 | #Constraints: 241844
2476.21/2482.32 c #Conflicts: 870000 | #Constraints: 242844
2476.21/2482.32 c #Conflicts: 871000 | #Constraints: 243844
2476.21/2482.32 c #Conflicts: 872000 | #Constraints: 244844
2476.21/2482.32 c #Conflicts: 873000 | #Constraints: 245844
2476.21/2482.32 c #Conflicts: 874000 | #Constraints: 246844
2476.21/2482.32 c #Conflicts: 875000 | #Constraints: 247844
2476.21/2482.32 c #Conflicts: 876000 | #Constraints: 248844
2476.21/2482.32 c #Conflicts: 877000 | #Constraints: 249844
2476.21/2482.32 c #Conflicts: 878000 | #Constraints: 250844
2476.21/2482.32 c #Conflicts: 879000 | #Constraints: 251844
2476.21/2482.32 c #Conflicts: 880000 | #Constraints: 252844
2476.21/2482.32 c #Conflicts: 881000 | #Constraints: 253844
2476.21/2482.32 c #Conflicts: 882000 | #Constraints: 254844
2476.21/2482.32 c #Conflicts: 883000 | #Constraints: 255844
2476.21/2482.32 c #Conflicts: 884000 | #Constraints: 256844
2476.21/2482.32 c INPROCESSING
2476.21/2482.32 c GARBAGE COLLECT
2476.21/2482.32 c #Conflicts: 885000 | #Constraints: 239241
2476.21/2482.32 c #Conflicts: 886000 | #Constraints: 240241
2476.21/2482.32 c #Conflicts: 887000 | #Constraints: 241241
2476.21/2482.32 c #Conflicts: 888000 | #Constraints: 242241
2476.21/2482.32 c #Conflicts: 889000 | #Constraints: 243241
2476.21/2482.32 c #Conflicts: 890000 | #Constraints: 244241
2476.21/2482.32 c #Conflicts: 891000 | #Constraints: 245241
2476.21/2482.32 c #Conflicts: 892000 | #Constraints: 246241
2476.21/2482.32 c #Conflicts: 893000 | #Constraints: 247241
2476.21/2482.32 c #Conflicts: 894000 | #Constraints: 248241
2476.21/2482.32 c #Conflicts: 895000 | #Constraints: 249241
2476.21/2482.32 c #Conflicts: 896000 | #Constraints: 250241
2476.21/2482.32 c #Conflicts: 897000 | #Constraints: 251241
2476.21/2482.32 c #Conflicts: 898000 | #Constraints: 252241
2476.21/2482.32 c #Conflicts: 899000 | #Constraints: 253241
2476.21/2482.32 c #Conflicts: 900000 | #Constraints: 254241
2476.21/2482.32 c #Conflicts: 901000 | #Constraints: 255241
2476.21/2482.32 c #Conflicts: 902000 | #Constraints: 256241
2476.21/2482.32 c #Conflicts: 903000 | #Constraints: 257241
2476.21/2482.32 c INPROCESSING
2476.21/2482.32 c GARBAGE COLLECT
2476.21/2482.32 c #Conflicts: 904000 | #Constraints: 239440
2476.21/2482.32 c #Conflicts: 905000 | #Constraints: 240440
2476.21/2482.32 c #Conflicts: 906000 | #Constraints: 241440
2476.21/2482.32 c #Conflicts: 907000 | #Constraints: 242440
2476.21/2482.32 c #Conflicts: 908000 | #Constraints: 243440
2476.21/2482.32 c #Conflicts: 909000 | #Constraints: 244440
2476.21/2482.32 c #Conflicts: 910000 | #Constraints: 245440
2476.21/2482.32 c #Conflicts: 911000 | #Constraints: 246440
2476.21/2482.32 c #Conflicts: 912000 | #Constraints: 247440
2476.21/2482.32 c #Conflicts: 913000 | #Constraints: 248440
2476.21/2482.32 c #Conflicts: 914000 | #Constraints: 249440
2476.21/2482.32 c #Conflicts: 915000 | #Constraints: 250440
2476.21/2482.32 c #Conflicts: 916000 | #Constraints: 251440
2476.21/2482.32 c #Conflicts: 917000 | #Constraints: 252440
2476.21/2482.32 c #Conflicts: 918000 | #Constraints: 253440
2476.21/2482.32 c #Conflicts: 919000 | #Constraints: 254440
2643.72/2650.27 c #Conflicts: 920000 | #Constraints: 255440
2643.72/2650.27 c #Conflicts: 921000 | #Constraints: 256440
2643.72/2650.27 c #Conflicts: 922000 | #Constraints: 257440
2643.72/2650.27 c INPROCESSING
2643.72/2650.27 c GARBAGE COLLECT
2643.72/2650.27 c #Conflicts: 923000 | #Constraints: 239438
2643.72/2650.27 c #Conflicts: 924000 | #Constraints: 240438
2643.72/2650.27 c #Conflicts: 925000 | #Constraints: 241438
2643.72/2650.27 c #Conflicts: 926000 | #Constraints: 242438
2643.72/2650.27 c #Conflicts: 927000 | #Constraints: 243438
2643.72/2650.27 c #Conflicts: 928000 | #Constraints: 244438
2643.72/2650.27 c #Conflicts: 929000 | #Constraints: 245438
2643.72/2650.27 c #Conflicts: 930000 | #Constraints: 246438
2643.72/2650.27 c #Conflicts: 931000 | #Constraints: 247438
2643.72/2650.27 c #Conflicts: 932000 | #Constraints: 248438
2643.72/2650.27 c #Conflicts: 933000 | #Constraints: 249438
2643.72/2650.27 c #Conflicts: 934000 | #Constraints: 250438
2643.72/2650.27 c #Conflicts: 935000 | #Constraints: 251438
2643.72/2650.27 c #Conflicts: 936000 | #Constraints: 252438
2643.72/2650.27 c #Conflicts: 937000 | #Constraints: 253438
2643.72/2650.27 c #Conflicts: 938000 | #Constraints: 254438
2643.72/2650.27 c #Conflicts: 939000 | #Constraints: 255438
2643.72/2650.27 c #Conflicts: 940000 | #Constraints: 256438
2643.72/2650.27 c #Conflicts: 941000 | #Constraints: 257438
2643.72/2650.27 c INPROCESSING
2643.72/2650.27 c GARBAGE COLLECT
2643.72/2650.27 c #Conflicts: 942000 | #Constraints: 239240
2643.72/2650.27 c #Conflicts: 943000 | #Constraints: 240240
2643.72/2650.27 c #Conflicts: 944000 | #Constraints: 241240
2643.72/2650.27 c #Conflicts: 945000 | #Constraints: 242240
2643.72/2650.27 c #Conflicts: 946000 | #Constraints: 243240
2643.72/2650.27 c #Conflicts: 947000 | #Constraints: 244240
2643.72/2650.27 c #Conflicts: 948000 | #Constraints: 245240
2643.72/2650.27 c #Conflicts: 949000 | #Constraints: 246240
2643.72/2650.27 c #Conflicts: 950000 | #Constraints: 247240
2643.72/2650.27 c #Conflicts: 951000 | #Constraints: 248240
2643.72/2650.27 c #Conflicts: 952000 | #Constraints: 249240
2643.72/2650.27 c #Conflicts: 953000 | #Constraints: 250240
2643.72/2650.27 c #Conflicts: 954000 | #Constraints: 251240
2643.72/2650.27 c #Conflicts: 955000 | #Constraints: 252240
2643.72/2650.27 c #Conflicts: 956000 | #Constraints: 253240
2643.72/2650.27 c #Conflicts: 957000 | #Constraints: 254240
2643.72/2650.27 c #Conflicts: 958000 | #Constraints: 255240
2643.72/2650.27 c #Conflicts: 959000 | #Constraints: 256240
2643.72/2650.27 c #Conflicts: 960000 | #Constraints: 257240
2643.72/2650.27 c #Conflicts: 961000 | #Constraints: 258240
2643.72/2650.27 c INPROCESSING
2643.72/2650.27 c GARBAGE COLLECT
2643.72/2650.27 c #Conflicts: 962000 | #Constraints: 239839
2643.72/2650.27 c #Conflicts: 963000 | #Constraints: 240839
2643.72/2650.27 c #Conflicts: 964000 | #Constraints: 241839
2643.72/2650.27 c #Conflicts: 965000 | #Constraints: 242839
2643.72/2650.27 c #Conflicts: 966000 | #Constraints: 243839
2643.72/2650.27 c #Conflicts: 967000 | #Constraints: 244839
2643.72/2650.27 c #Conflicts: 968000 | #Constraints: 245839
2643.72/2650.27 c #Conflicts: 969000 | #Constraints: 246839
2643.72/2650.27 c #Conflicts: 970000 | #Constraints: 247839
2643.72/2650.27 c #Conflicts: 971000 | #Constraints: 248839
2643.72/2650.27 c #Conflicts: 972000 | #Constraints: 249839
2643.72/2650.27 c #Conflicts: 973000 | #Constraints: 250839
2643.72/2650.27 c #Conflicts: 974000 | #Constraints: 251839
2643.72/2650.27 c #Conflicts: 975000 | #Constraints: 252839
2643.72/2650.27 c #Conflicts: 976000 | #Constraints: 253839
2643.72/2650.27 c #Conflicts: 977000 | #Constraints: 254839
2643.72/2650.27 c #Conflicts: 978000 | #Constraints: 255839
2643.72/2650.27 c #Conflicts: 979000 | #Constraints: 256839
2643.72/2650.27 c #Conflicts: 980000 | #Constraints: 257839
2643.72/2650.27 c #Conflicts: 981000 | #Constraints: 258839
2643.72/2650.27 c INPROCESSING
2643.72/2650.27 c GARBAGE COLLECT
2643.72/2650.27 c #Conflicts: 982000 | #Constraints: 240242
2643.72/2650.27 c #Conflicts: 983000 | #Constraints: 241242
2643.72/2650.27 c #Conflicts: 984000 | #Constraints: 242242
2643.72/2650.27 c #Conflicts: 985000 | #Constraints: 243242
2643.72/2650.27 c #Conflicts: 986000 | #Constraints: 244242
2643.72/2650.27 c #Conflicts: 987000 | #Constraints: 245242
2643.72/2650.27 c #Conflicts: 988000 | #Constraints: 246242
2643.72/2650.27 c #Conflicts: 989000 | #Constraints: 247242
2643.72/2650.27 c #Conflicts: 990000 | #Constraints: 248242
2643.72/2650.27 c #Conflicts: 991000 | #Constraints: 249242
2643.72/2650.27 c #Conflicts: 992000 | #Constraints: 250242
2643.72/2650.27 c #Conflicts: 993000 | #Constraints: 251242
2643.72/2650.27 c #Conflicts: 994000 | #Constraints: 252242
2643.72/2650.27 c #Conflicts: 995000 | #Constraints: 253242
2800.85/2807.78 c #Conflicts: 996000 | #Constraints: 254242
2800.85/2807.78 c #Conflicts: 997000 | #Constraints: 255242
2800.85/2807.78 c #Conflicts: 998000 | #Constraints: 256242
2800.85/2807.78 c #Conflicts: 999000 | #Constraints: 257242
2800.85/2807.78 c #Conflicts: 1000000 | #Constraints: 258242
2800.85/2807.78 c #Conflicts: 1001000 | #Constraints: 259242
2800.85/2807.78 c INPROCESSING
2800.85/2807.78 c GARBAGE COLLECT
2800.85/2807.78 c #Conflicts: 1002000 | #Constraints: 240443
2800.85/2807.78 c #Conflicts: 1003000 | #Constraints: 241443
2800.85/2807.78 c #Conflicts: 1004000 | #Constraints: 242443
2800.85/2807.78 c #Conflicts: 1005000 | #Constraints: 243443
2800.85/2807.78 c #Conflicts: 1006000 | #Constraints: 244443
2800.85/2807.78 c #Conflicts: 1007000 | #Constraints: 245443
2800.85/2807.78 c #Conflicts: 1008000 | #Constraints: 246443
2800.85/2807.78 c #Conflicts: 1009000 | #Constraints: 247443
2800.85/2807.78 c #Conflicts: 1010000 | #Constraints: 248443
2800.85/2807.78 c #Conflicts: 1011000 | #Constraints: 249443
2800.85/2807.78 c #Conflicts: 1012000 | #Constraints: 250443
2800.85/2807.78 c #Conflicts: 1013000 | #Constraints: 251443
2800.85/2807.78 c #Conflicts: 1014000 | #Constraints: 252443
2800.85/2807.78 c #Conflicts: 1015000 | #Constraints: 253443
2800.85/2807.78 c #Conflicts: 1016000 | #Constraints: 254443
2800.85/2807.78 c #Conflicts: 1017000 | #Constraints: 255443
2800.85/2807.78 c #Conflicts: 1018000 | #Constraints: 256443
2800.85/2807.78 c #Conflicts: 1019000 | #Constraints: 257443
2800.85/2807.78 c #Conflicts: 1020000 | #Constraints: 258443
2800.85/2807.78 c #Conflicts: 1021000 | #Constraints: 259443
2800.85/2807.78 c INPROCESSING
2800.85/2807.78 c GARBAGE COLLECT
2800.85/2807.78 c #Conflicts: 1022000 | #Constraints: 240444
2800.85/2807.78 c #Conflicts: 1023000 | #Constraints: 241444
2800.85/2807.78 c #Conflicts: 1024000 | #Constraints: 242444
2800.85/2807.78 c #Conflicts: 1025000 | #Constraints: 243444
2800.85/2807.78 c #Conflicts: 1026000 | #Constraints: 244444
2800.85/2807.78 c #Conflicts: 1027000 | #Constraints: 245444
2800.85/2807.78 c #Conflicts: 1028000 | #Constraints: 246444
2800.85/2807.78 c #Conflicts: 1029000 | #Constraints: 247444
2800.85/2807.78 c #Conflicts: 1030000 | #Constraints: 248444
2800.85/2807.78 c #Conflicts: 1031000 | #Constraints: 249444
2800.85/2807.78 c #Conflicts: 1032000 | #Constraints: 250444
2800.85/2807.78 c #Conflicts: 1033000 | #Constraints: 251444
2800.85/2807.78 c #Conflicts: 1034000 | #Constraints: 252444
2800.85/2807.78 c #Conflicts: 1035000 | #Constraints: 253444
2800.85/2807.78 c #Conflicts: 1036000 | #Constraints: 254444
2800.85/2807.78 c #Conflicts: 1037000 | #Constraints: 255444
2800.85/2807.78 c #Conflicts: 1038000 | #Constraints: 256444
2800.85/2807.78 c #Conflicts: 1039000 | #Constraints: 257444
2800.85/2807.78 c #Conflicts: 1040000 | #Constraints: 258444
2800.85/2807.78 c #Conflicts: 1041000 | #Constraints: 259444
2800.85/2807.78 c INPROCESSING
2800.85/2807.78 c GARBAGE COLLECT
2800.85/2807.78 c #Conflicts: 1042000 | #Constraints: 240240
2800.85/2807.78 c #Conflicts: 1043000 | #Constraints: 241240
2800.85/2807.78 c #Conflicts: 1044000 | #Constraints: 242240
2800.85/2807.78 c #Conflicts: 1045000 | #Constraints: 243240
2800.85/2807.78 c #Conflicts: 1046000 | #Constraints: 244240
2800.85/2807.78 c #Conflicts: 1047000 | #Constraints: 245240
2800.85/2807.78 c #Conflicts: 1048000 | #Constraints: 246240
2800.85/2807.78 c #Conflicts: 1049000 | #Constraints: 247240
2800.85/2807.78 c #Conflicts: 1050000 | #Constraints: 248240
2800.85/2807.78 c #Conflicts: 1051000 | #Constraints: 249240
2800.85/2807.78 c #Conflicts: 1052000 | #Constraints: 250240
2800.85/2807.78 c #Conflicts: 1053000 | #Constraints: 251240
2800.85/2807.78 c #Conflicts: 1054000 | #Constraints: 252240
2800.85/2807.78 c #Conflicts: 1055000 | #Constraints: 253240
2800.85/2807.78 c #Conflicts: 1056000 | #Constraints: 254240
2800.85/2807.78 c #Conflicts: 1057000 | #Constraints: 255240
2800.85/2807.78 c #Conflicts: 1058000 | #Constraints: 256240
2800.85/2807.78 c #Conflicts: 1059000 | #Constraints: 257240
2800.85/2807.78 c #Conflicts: 1060000 | #Constraints: 258240
2800.85/2807.78 c #Conflicts: 1061000 | #Constraints: 259240
2800.85/2807.78 c #Conflicts: 1062000 | #Constraints: 260240
2800.85/2807.78 c INPROCESSING
2800.85/2807.78 c GARBAGE COLLECT
2800.85/2807.78 c #Conflicts: 1063000 | #Constraints: 240843
2800.85/2807.78 c #Conflicts: 1064000 | #Constraints: 241843
2800.85/2807.78 c #Conflicts: 1065000 | #Constraints: 242843
2800.85/2807.78 c #Conflicts: 1066000 | #Constraints: 243843
2800.85/2807.78 c #Conflicts: 1067000 | #Constraints: 244843
2800.85/2807.78 c #Conflicts: 1068000 | #Constraints: 245843
2800.85/2807.78 c #Conflicts: 1069000 | #Constraints: 246843
2800.85/2807.78 c #Conflicts: 1070000 | #Constraints: 247843
2800.85/2807.78 c #Conflicts: 1071000 | #Constraints: 248843
2800.85/2807.78 c #Conflicts: 1072000 | #Constraints: 249843
2983.04/2990.32 c #Conflicts: 1073000 | #Constraints: 250843
2983.04/2990.32 c #Conflicts: 1074000 | #Constraints: 251843
2983.04/2990.32 c #Conflicts: 1075000 | #Constraints: 252843
2983.04/2990.32 c #Conflicts: 1076000 | #Constraints: 253843
2983.04/2990.32 c #Conflicts: 1077000 | #Constraints: 254843
2983.04/2990.32 c #Conflicts: 1078000 | #Constraints: 255843
2983.04/2990.32 c #Conflicts: 1079000 | #Constraints: 256843
2983.04/2990.32 c #Conflicts: 1080000 | #Constraints: 257843
2983.04/2990.32 c #Conflicts: 1081000 | #Constraints: 258843
2983.04/2990.32 c #Conflicts: 1082000 | #Constraints: 259843
2983.04/2990.32 c #Conflicts: 1083000 | #Constraints: 260843
2983.04/2990.32 c INPROCESSING
2983.04/2990.32 c GARBAGE COLLECT
2983.04/2990.32 c #Conflicts: 1084000 | #Constraints: 241246
2983.04/2990.32 c #Conflicts: 1085000 | #Constraints: 242246
2983.04/2990.32 c #Conflicts: 1086000 | #Constraints: 243246
2983.04/2990.32 c #Conflicts: 1087000 | #Constraints: 244246
2983.04/2990.32 c #Conflicts: 1088000 | #Constraints: 245246
2983.04/2990.32 c #Conflicts: 1089000 | #Constraints: 246246
2983.04/2990.32 c #Conflicts: 1090000 | #Constraints: 247246
2983.04/2990.32 c #Conflicts: 1091000 | #Constraints: 248246
2983.04/2990.32 c #Conflicts: 1092000 | #Constraints: 249246
2983.04/2990.32 c #Conflicts: 1093000 | #Constraints: 250246
2983.04/2990.32 c #Conflicts: 1094000 | #Constraints: 251246
2983.04/2990.32 c #Conflicts: 1095000 | #Constraints: 252246
2983.04/2990.32 c #Conflicts: 1096000 | #Constraints: 253246
2983.04/2990.32 c #Conflicts: 1097000 | #Constraints: 254246
2983.04/2990.32 c #Conflicts: 1098000 | #Constraints: 255246
2983.04/2990.32 c #Conflicts: 1099000 | #Constraints: 256246
2983.04/2990.32 c #Conflicts: 1100000 | #Constraints: 257246
2983.04/2990.32 c #Conflicts: 1101000 | #Constraints: 258246
2983.04/2990.32 c #Conflicts: 1102000 | #Constraints: 259246
2983.04/2990.32 c #Conflicts: 1103000 | #Constraints: 260246
2983.04/2990.32 c #Conflicts: 1104000 | #Constraints: 261246
2983.04/2990.32 c INPROCESSING
2983.04/2990.32 c GARBAGE COLLECT
2983.04/2990.32 c #Conflicts: 1105000 | #Constraints: 241441
2983.04/2990.32 c #Conflicts: 1106000 | #Constraints: 242441
2983.04/2990.32 c #Conflicts: 1107000 | #Constraints: 243441
2983.04/2990.32 c #Conflicts: 1108000 | #Constraints: 244441
2983.04/2990.32 c #Conflicts: 1109000 | #Constraints: 245441
2983.04/2990.32 c #Conflicts: 1110000 | #Constraints: 246441
2983.04/2990.32 c #Conflicts: 1111000 | #Constraints: 247441
2983.04/2990.32 c #Conflicts: 1112000 | #Constraints: 248441
2983.04/2990.32 c #Conflicts: 1113000 | #Constraints: 249441
2983.04/2990.32 c #Conflicts: 1114000 | #Constraints: 250441
2983.04/2990.32 c #Conflicts: 1115000 | #Constraints: 251441
2983.04/2990.32 c #Conflicts: 1116000 | #Constraints: 252441
2983.04/2990.32 c #Conflicts: 1117000 | #Constraints: 253441
2983.04/2990.32 c #Conflicts: 1118000 | #Constraints: 254441
2983.04/2990.32 c #Conflicts: 1119000 | #Constraints: 255441
2983.04/2990.32 c #Conflicts: 1120000 | #Constraints: 256441
2983.04/2990.32 c #Conflicts: 1121000 | #Constraints: 257441
2983.04/2990.32 c #Conflicts: 1122000 | #Constraints: 258441
2983.04/2990.32 c #Conflicts: 1123000 | #Constraints: 259441
2983.04/2990.32 c #Conflicts: 1124000 | #Constraints: 260441
2983.04/2990.32 c #Conflicts: 1125000 | #Constraints: 261441
2983.04/2990.32 c INPROCESSING
2983.04/2990.32 c GARBAGE COLLECT
2983.04/2990.32 c #Conflicts: 1126000 | #Constraints: 241444
2983.04/2990.32 c #Conflicts: 1127000 | #Constraints: 242444
2983.04/2990.32 c #Conflicts: 1128000 | #Constraints: 243444
2983.04/2990.32 c #Conflicts: 1129000 | #Constraints: 244444
2983.04/2990.32 c #Conflicts: 1130000 | #Constraints: 245444
2983.04/2990.32 c #Conflicts: 1131000 | #Constraints: 246444
2983.04/2990.32 c #Conflicts: 1132000 | #Constraints: 247444
2983.04/2990.32 c #Conflicts: 1133000 | #Constraints: 248444
2983.04/2990.32 c #Conflicts: 1134000 | #Constraints: 249444
2983.04/2990.32 c #Conflicts: 1135000 | #Constraints: 250444
2983.04/2990.32 c #Conflicts: 1136000 | #Constraints: 251444
2983.04/2990.32 c #Conflicts: 1137000 | #Constraints: 252444
2983.04/2990.32 c #Conflicts: 1138000 | #Constraints: 253444
2983.04/2990.32 c #Conflicts: 1139000 | #Constraints: 254444
2983.04/2990.32 c #Conflicts: 1140000 | #Constraints: 255444
2983.04/2990.32 c #Conflicts: 1141000 | #Constraints: 256444
2983.04/2990.32 c #Conflicts: 1142000 | #Constraints: 257444
2983.04/2990.32 c #Conflicts: 1143000 | #Constraints: 258444
2983.04/2990.32 c #Conflicts: 1144000 | #Constraints: 259444
2983.04/2990.32 c #Conflicts: 1145000 | #Constraints: 260444
2983.04/2990.32 c #Conflicts: 1146000 | #Constraints: 261444
2983.04/2990.32 c INPROCESSING
2983.04/2990.32 c GARBAGE COLLECT
2983.04/2990.32 c #Conflicts: 1147000 | #Constraints: 241242
2983.04/2990.32 c #Conflicts: 1148000 | #Constraints: 242242
3153.45/3161.19 c #Conflicts: 1149000 | #Constraints: 243242
3153.45/3161.19 c #Conflicts: 1150000 | #Constraints: 244242
3153.45/3161.19 c #Conflicts: 1151000 | #Constraints: 245242
3153.45/3161.19 c #Conflicts: 1152000 | #Constraints: 246242
3153.45/3161.19 c #Conflicts: 1153000 | #Constraints: 247242
3153.45/3161.19 c #Conflicts: 1154000 | #Constraints: 248242
3153.45/3161.19 c #Conflicts: 1155000 | #Constraints: 249242
3153.45/3161.19 c #Conflicts: 1156000 | #Constraints: 250242
3153.45/3161.19 c #Conflicts: 1157000 | #Constraints: 251242
3153.45/3161.19 c #Conflicts: 1158000 | #Constraints: 252242
3153.45/3161.19 c #Conflicts: 1159000 | #Constraints: 253242
3153.45/3161.19 c #Conflicts: 1160000 | #Constraints: 254242
3153.45/3161.19 c #Conflicts: 1161000 | #Constraints: 255242
3153.45/3161.19 c #Conflicts: 1162000 | #Constraints: 256242
3153.45/3161.19 c #Conflicts: 1163000 | #Constraints: 257242
3153.45/3161.19 c #Conflicts: 1164000 | #Constraints: 258242
3153.45/3161.19 c #Conflicts: 1165000 | #Constraints: 259242
3153.45/3161.19 c #Conflicts: 1166000 | #Constraints: 260242
3153.45/3161.19 c #Conflicts: 1167000 | #Constraints: 261242
3153.45/3161.19 c #Conflicts: 1168000 | #Constraints: 262242
3153.45/3161.19 c INPROCESSING
3153.45/3161.19 c GARBAGE COLLECT
3153.45/3161.19 c #Conflicts: 1169000 | #Constraints: 241845
3153.45/3161.19 c #Conflicts: 1170000 | #Constraints: 242845
3153.45/3161.19 c #Conflicts: 1171000 | #Constraints: 243845
3153.45/3161.19 c #Conflicts: 1172000 | #Constraints: 244845
3153.45/3161.19 c #Conflicts: 1173000 | #Constraints: 245845
3153.45/3161.19 c #Conflicts: 1174000 | #Constraints: 246845
3153.45/3161.19 c #Conflicts: 1175000 | #Constraints: 247845
3153.45/3161.19 c #Conflicts: 1176000 | #Constraints: 248845
3153.45/3161.19 c #Conflicts: 1177000 | #Constraints: 249845
3153.45/3161.19 c #Conflicts: 1178000 | #Constraints: 250845
3153.45/3161.19 c #Conflicts: 1179000 | #Constraints: 251845
3153.45/3161.19 c #Conflicts: 1180000 | #Constraints: 252845
3153.45/3161.19 c #Conflicts: 1181000 | #Constraints: 253845
3153.45/3161.19 c #Conflicts: 1182000 | #Constraints: 254845
3153.45/3161.19 c #Conflicts: 1183000 | #Constraints: 255845
3153.45/3161.19 c #Conflicts: 1184000 | #Constraints: 256845
3153.45/3161.19 c #Conflicts: 1185000 | #Constraints: 257845
3153.45/3161.19 c #Conflicts: 1186000 | #Constraints: 258845
3153.45/3161.19 c #Conflicts: 1187000 | #Constraints: 259845
3153.45/3161.19 c #Conflicts: 1188000 | #Constraints: 260845
3153.45/3161.19 c #Conflicts: 1189000 | #Constraints: 261845
3153.45/3161.19 c #Conflicts: 1190000 | #Constraints: 262845
3153.45/3161.19 c INPROCESSING
3153.45/3161.19 c GARBAGE COLLECT
3153.45/3161.19 c #Conflicts: 1191000 | #Constraints: 242243
3153.45/3161.19 c #Conflicts: 1192000 | #Constraints: 243243
3153.45/3161.19 c #Conflicts: 1193000 | #Constraints: 244243
3153.45/3161.19 c #Conflicts: 1194000 | #Constraints: 245243
3153.45/3161.19 c #Conflicts: 1195000 | #Constraints: 246243
3153.45/3161.19 c #Conflicts: 1196000 | #Constraints: 247243
3153.45/3161.19 c #Conflicts: 1197000 | #Constraints: 248243
3153.45/3161.19 c #Conflicts: 1198000 | #Constraints: 249243
3153.45/3161.19 c #Conflicts: 1199000 | #Constraints: 250243
3153.45/3161.19 c #Conflicts: 1200000 | #Constraints: 251243
3153.45/3161.19 c #Conflicts: 1201000 | #Constraints: 252243
3153.45/3161.19 c #Conflicts: 1202000 | #Constraints: 253243
3153.45/3161.19 c #Conflicts: 1203000 | #Constraints: 254243
3153.45/3161.19 c #Conflicts: 1204000 | #Constraints: 255243
3153.45/3161.19 c #Conflicts: 1205000 | #Constraints: 256243
3153.45/3161.19 c #Conflicts: 1206000 | #Constraints: 257243
3153.45/3161.19 c #Conflicts: 1207000 | #Constraints: 258243
3153.45/3161.19 c #Conflicts: 1208000 | #Constraints: 259243
3153.45/3161.19 c #Conflicts: 1209000 | #Constraints: 260243
3153.45/3161.19 c #Conflicts: 1210000 | #Constraints: 261243
3153.45/3161.19 c #Conflicts: 1211000 | #Constraints: 262243
3153.45/3161.19 c #Conflicts: 1212000 | #Constraints: 263243
3153.45/3161.19 c INPROCESSING
3153.45/3161.19 c GARBAGE COLLECT
3153.45/3161.19 c #Conflicts: 1213000 | #Constraints: 242445
3153.45/3161.19 c #Conflicts: 1214000 | #Constraints: 243445
3153.45/3161.19 c #Conflicts: 1215000 | #Constraints: 244445
3153.45/3161.19 c #Conflicts: 1216000 | #Constraints: 245445
3153.45/3161.19 c #Conflicts: 1217000 | #Constraints: 246445
3153.45/3161.19 c #Conflicts: 1218000 | #Constraints: 247445
3153.45/3161.19 c #Conflicts: 1219000 | #Constraints: 248445
3153.45/3161.19 c #Conflicts: 1220000 | #Constraints: 249445
3153.45/3161.19 c #Conflicts: 1221000 | #Constraints: 250445
3153.45/3161.19 c #Conflicts: 1222000 | #Constraints: 251445
3153.45/3161.19 c #Conflicts: 1223000 | #Constraints: 252445
3153.45/3161.19 c #Conflicts: 1224000 | #Constraints: 253445
3153.45/3161.19 c #Conflicts: 1225000 | #Constraints: 254445
3327.65/3335.74 c #Conflicts: 1226000 | #Constraints: 255445
3327.65/3335.74 c #Conflicts: 1227000 | #Constraints: 256445
3327.65/3335.74 c #Conflicts: 1228000 | #Constraints: 257445
3327.65/3335.74 c #Conflicts: 1229000 | #Constraints: 258445
3327.65/3335.74 c #Conflicts: 1230000 | #Constraints: 259445
3327.65/3335.74 c #Conflicts: 1231000 | #Constraints: 260445
3327.65/3335.74 c #Conflicts: 1232000 | #Constraints: 261445
3327.65/3335.74 c #Conflicts: 1233000 | #Constraints: 262445
3327.65/3335.74 c #Conflicts: 1234000 | #Constraints: 263445
3327.65/3335.74 c INPROCESSING
3327.65/3335.74 c GARBAGE COLLECT
3327.65/3335.74 c #Conflicts: 1235000 | #Constraints: 242445
3327.65/3335.74 c #Conflicts: 1236000 | #Constraints: 243445
3327.65/3335.74 c #Conflicts: 1237000 | #Constraints: 244445
3327.65/3335.74 c #Conflicts: 1238000 | #Constraints: 245445
3327.65/3335.74 c #Conflicts: 1239000 | #Constraints: 246445
3327.65/3335.74 c #Conflicts: 1240000 | #Constraints: 247445
3327.65/3335.74 c #Conflicts: 1241000 | #Constraints: 248445
3327.65/3335.74 c #Conflicts: 1242000 | #Constraints: 249445
3327.65/3335.74 c #Conflicts: 1243000 | #Constraints: 250445
3327.65/3335.74 c #Conflicts: 1244000 | #Constraints: 251445
3327.65/3335.74 c #Conflicts: 1245000 | #Constraints: 252445
3327.65/3335.74 c #Conflicts: 1246000 | #Constraints: 253445
3327.65/3335.74 c #Conflicts: 1247000 | #Constraints: 254445
3327.65/3335.74 c #Conflicts: 1248000 | #Constraints: 255445
3327.65/3335.74 c #Conflicts: 1249000 | #Constraints: 256445
3327.65/3335.74 c #Conflicts: 1250000 | #Constraints: 257445
3327.65/3335.74 c #Conflicts: 1251000 | #Constraints: 258445
3327.65/3335.74 c #Conflicts: 1252000 | #Constraints: 259445
3327.65/3335.74 c #Conflicts: 1253000 | #Constraints: 260445
3327.65/3335.74 c #Conflicts: 1254000 | #Constraints: 261445
3327.65/3335.74 c #Conflicts: 1255000 | #Constraints: 262445
3327.65/3335.74 c #Conflicts: 1256000 | #Constraints: 263445
3327.65/3335.74 c INPROCESSING
3327.65/3335.74 c GARBAGE COLLECT
3327.65/3335.74 c #Conflicts: 1257000 | #Constraints: 242251
3327.65/3335.74 c #Conflicts: 1258000 | #Constraints: 243251
3327.65/3335.74 c #Conflicts: 1259000 | #Constraints: 244251
3327.65/3335.74 c #Conflicts: 1260000 | #Constraints: 245251
3327.65/3335.74 c #Conflicts: 1261000 | #Constraints: 246251
3327.65/3335.74 c #Conflicts: 1262000 | #Constraints: 247251
3327.65/3335.74 c #Conflicts: 1263000 | #Constraints: 248251
3327.65/3335.74 c #Conflicts: 1264000 | #Constraints: 249251
3327.65/3335.74 c #Conflicts: 1265000 | #Constraints: 250251
3327.65/3335.74 c #Conflicts: 1266000 | #Constraints: 251251
3327.65/3335.74 c #Conflicts: 1267000 | #Constraints: 252251
3327.65/3335.74 c #Conflicts: 1268000 | #Constraints: 253251
3327.65/3335.74 c #Conflicts: 1269000 | #Constraints: 254251
3327.65/3335.74 c #Conflicts: 1270000 | #Constraints: 255251
3327.65/3335.74 c #Conflicts: 1271000 | #Constraints: 256251
3327.65/3335.74 c #Conflicts: 1272000 | #Constraints: 257251
3327.65/3335.74 c #Conflicts: 1273000 | #Constraints: 258251
3327.65/3335.74 c #Conflicts: 1274000 | #Constraints: 259251
3327.65/3335.74 c #Conflicts: 1275000 | #Constraints: 260251
3327.65/3335.74 c #Conflicts: 1276000 | #Constraints: 261251
3327.65/3335.74 c #Conflicts: 1277000 | #Constraints: 262251
3327.65/3335.74 c #Conflicts: 1278000 | #Constraints: 263251
3327.65/3335.74 c #Conflicts: 1279000 | #Constraints: 264251
3327.65/3335.74 c INPROCESSING
3327.65/3335.74 c GARBAGE COLLECT
3327.65/3335.74 c #Conflicts: 1280000 | #Constraints: 242837
3327.65/3335.74 c #Conflicts: 1281000 | #Constraints: 243837
3327.65/3335.74 c #Conflicts: 1282000 | #Constraints: 244837
3327.65/3335.74 c #Conflicts: 1283000 | #Constraints: 245837
3327.65/3335.74 c #Conflicts: 1284000 | #Constraints: 246837
3327.65/3335.74 c #Conflicts: 1285000 | #Constraints: 247837
3327.65/3335.74 c #Conflicts: 1286000 | #Constraints: 248837
3327.65/3335.74 c #Conflicts: 1287000 | #Constraints: 249837
3327.65/3335.74 c #Conflicts: 1288000 | #Constraints: 250837
3327.65/3335.74 c #Conflicts: 1289000 | #Constraints: 251837
3327.65/3335.74 c #Conflicts: 1290000 | #Constraints: 252837
3327.65/3335.74 c #Conflicts: 1291000 | #Constraints: 253837
3327.65/3335.74 c #Conflicts: 1292000 | #Constraints: 254837
3327.65/3335.74 c #Conflicts: 1293000 | #Constraints: 255837
3327.65/3335.74 c #Conflicts: 1294000 | #Constraints: 256837
3327.65/3335.74 c #Conflicts: 1295000 | #Constraints: 257837
3327.65/3335.74 c #Conflicts: 1296000 | #Constraints: 258837
3327.65/3335.74 c #Conflicts: 1297000 | #Constraints: 259837
3327.65/3335.74 c #Conflicts: 1298000 | #Constraints: 260837
3327.65/3335.74 c #Conflicts: 1299000 | #Constraints: 261837
3327.65/3335.74 c #Conflicts: 1300000 | #Constraints: 262837
3327.65/3335.74 c #Conflicts: 1301000 | #Constraints: 263837
3327.65/3335.74 c #Conflicts: 1302000 | #Constraints: 264837
3504.44/3512.98 c INPROCESSING
3504.44/3512.98 c GARBAGE COLLECT
3504.44/3512.98 c #Conflicts: 1303000 | #Constraints: 243238
3504.44/3512.98 c #Conflicts: 1304000 | #Constraints: 244238
3504.44/3512.98 c #Conflicts: 1305000 | #Constraints: 245238
3504.44/3512.98 c #Conflicts: 1306000 | #Constraints: 246238
3504.44/3512.98 c #Conflicts: 1307000 | #Constraints: 247238
3504.44/3512.98 c #Conflicts: 1308000 | #Constraints: 248238
3504.44/3512.98 c #Conflicts: 1309000 | #Constraints: 249238
3504.44/3512.98 c #Conflicts: 1310000 | #Constraints: 250238
3504.44/3512.98 c #Conflicts: 1311000 | #Constraints: 251238
3504.44/3512.98 c #Conflicts: 1312000 | #Constraints: 252238
3504.44/3512.98 c #Conflicts: 1313000 | #Constraints: 253238
3504.44/3512.98 c #Conflicts: 1314000 | #Constraints: 254238
3504.44/3512.98 c #Conflicts: 1315000 | #Constraints: 255238
3504.44/3512.98 c #Conflicts: 1316000 | #Constraints: 256238
3504.44/3512.98 c #Conflicts: 1317000 | #Constraints: 257238
3504.44/3512.98 c #Conflicts: 1318000 | #Constraints: 258238
3504.44/3512.98 c #Conflicts: 1319000 | #Constraints: 259238
3504.44/3512.98 c #Conflicts: 1320000 | #Constraints: 260238
3504.44/3512.98 c #Conflicts: 1321000 | #Constraints: 261238
3504.44/3512.98 c #Conflicts: 1322000 | #Constraints: 262238
3504.44/3512.98 c #Conflicts: 1323000 | #Constraints: 263238
3504.44/3512.98 c #Conflicts: 1324000 | #Constraints: 264238
3504.44/3512.98 c #Conflicts: 1325000 | #Constraints: 265238
3504.44/3512.98 c INPROCESSING
3504.44/3512.98 c GARBAGE COLLECT
3504.44/3512.98 c #Conflicts: 1326000 | #Constraints: 243445
3504.44/3512.98 c #Conflicts: 1327000 | #Constraints: 244445
3504.44/3512.98 c #Conflicts: 1328000 | #Constraints: 245445
3504.44/3512.98 c #Conflicts: 1329000 | #Constraints: 246445
3504.44/3512.98 c #Conflicts: 1330000 | #Constraints: 247445
3504.44/3512.98 c #Conflicts: 1331000 | #Constraints: 248445
3504.44/3512.98 c #Conflicts: 1332000 | #Constraints: 249445
3504.44/3512.98 c #Conflicts: 1333000 | #Constraints: 250445
3504.44/3512.98 c #Conflicts: 1334000 | #Constraints: 251445
3504.44/3512.98 c #Conflicts: 1335000 | #Constraints: 252445
3504.44/3512.98 c #Conflicts: 1336000 | #Constraints: 253445
3504.44/3512.98 c #Conflicts: 1337000 | #Constraints: 254445
3504.44/3512.98 c #Conflicts: 1338000 | #Constraints: 255445
3504.44/3512.98 c #Conflicts: 1339000 | #Constraints: 256445
3504.44/3512.98 c #Conflicts: 1340000 | #Constraints: 257445
3504.44/3512.98 c #Conflicts: 1341000 | #Constraints: 258445
3504.44/3512.98 c #Conflicts: 1342000 | #Constraints: 259445
3504.44/3512.98 c #Conflicts: 1343000 | #Constraints: 260445
3504.44/3512.98 c #Conflicts: 1344000 | #Constraints: 261445
3504.44/3512.98 c #Conflicts: 1345000 | #Constraints: 262445
3504.44/3512.98 c #Conflicts: 1346000 | #Constraints: 263445
3504.44/3512.98 c #Conflicts: 1347000 | #Constraints: 264445
3504.44/3512.98 c #Conflicts: 1348000 | #Constraints: 265445
3504.44/3512.98 c INPROCESSING
3504.44/3512.98 c GARBAGE COLLECT
3504.44/3512.98 c #Conflicts: 1349000 | #Constraints: 243448
3504.44/3512.98 c #Conflicts: 1350000 | #Constraints: 244448
3504.44/3512.98 c #Conflicts: 1351000 | #Constraints: 245448
3504.44/3512.98 c #Conflicts: 1352000 | #Constraints: 246448
3504.44/3512.98 c #Conflicts: 1353000 | #Constraints: 247448
3504.44/3512.98 c #Conflicts: 1354000 | #Constraints: 248448
3504.44/3512.98 c #Conflicts: 1355000 | #Constraints: 249448
3504.44/3512.98 c #Conflicts: 1356000 | #Constraints: 250448
3504.44/3512.98 c #Conflicts: 1357000 | #Constraints: 251448
3504.44/3512.98 c #Conflicts: 1358000 | #Constraints: 252448
3504.44/3512.98 c #Conflicts: 1359000 | #Constraints: 253448
3504.44/3512.98 c #Conflicts: 1360000 | #Constraints: 254448
3504.44/3512.98 c #Conflicts: 1361000 | #Constraints: 255448
3504.44/3512.98 c #Conflicts: 1362000 | #Constraints: 256448
3504.44/3512.98 c #Conflicts: 1363000 | #Constraints: 257448
3504.44/3512.98 c #Conflicts: 1364000 | #Constraints: 258448
3504.44/3512.98 c #Conflicts: 1365000 | #Constraints: 259448
3504.44/3512.98 c #Conflicts: 1366000 | #Constraints: 260448
3504.44/3512.98 c #Conflicts: 1367000 | #Constraints: 261448
3504.44/3512.98 c #Conflicts: 1368000 | #Constraints: 262448
3504.44/3512.98 c #Conflicts: 1369000 | #Constraints: 263448
3504.44/3512.98 c #Conflicts: 1370000 | #Constraints: 264448
3504.44/3512.98 c #Conflicts: 1371000 | #Constraints: 265448
3504.44/3512.98 c INPROCESSING
3504.44/3512.98 c GARBAGE COLLECT
3504.44/3512.98 c #Conflicts: 1372000 | #Constraints: 243246
3504.44/3512.98 c #Conflicts: 1373000 | #Constraints: 244246
3504.44/3512.98 c #Conflicts: 1374000 | #Constraints: 245246
3504.44/3512.98 c #Conflicts: 1375000 | #Constraints: 246246
3504.44/3512.98 c #Conflicts: 1376000 | #Constraints: 247246
3504.44/3512.98 c #Conflicts: 1377000 | #Constraints: 248246
3504.44/3512.98 c #Conflicts: 1378000 | #Constraints: 249246
3600.02/3608.70 c #Conflicts: 1379000 | #Constraints: 250246
3600.02/3608.70 c #Conflicts: 1380000 | #Constraints: 251246
3600.02/3608.70 c #Conflicts: 1381000 | #Constraints: 252246
3600.02/3608.70 c #Conflicts: 1382000 | #Constraints: 253246
3600.02/3608.70 c #Conflicts: 1383000 | #Constraints: 254246
3600.02/3608.70 c #Conflicts: 1384000 | #Constraints: 255246
3600.02/3608.70 c #Conflicts: 1385000 | #Constraints: 256246
3600.02/3608.70 c #Conflicts: 1386000 | #Constraints: 257246
3600.02/3608.70 c #Conflicts: 1387000 | #Constraints: 258246
3600.02/3608.70 c #Conflicts: 1388000 | #Constraints: 259246
3600.02/3608.70 c #Conflicts: 1389000 | #Constraints: 260246
3600.02/3608.70 c #Conflicts: 1390000 | #Constraints: 261246
3600.02/3608.70 c #Conflicts: 1391000 | #Constraints: 262246
3600.02/3608.70 c #Conflicts: 1392000 | #Constraints: 263246
3600.02/3608.70 c #Conflicts: 1393000 | #Constraints: 264246
3600.02/3608.70 c #Conflicts: 1394000 | #Constraints: 265246
3600.02/3608.70 c #Conflicts: 1395000 | #Constraints: 266246
3600.02/3608.70 c INPROCESSING
3600.02/3608.70 c GARBAGE COLLECT
3600.02/3608.70 c #Conflicts: 1396000 | #Constraints: 243837
3600.02/3608.70 c #Conflicts: 1397000 | #Constraints: 244837
3600.02/3608.70 c #Conflicts: 1398000 | #Constraints: 245837
3600.02/3608.70 c #Conflicts: 1399000 | #Constraints: 246837
3600.02/3608.70 c #Conflicts: 1400000 | #Constraints: 247837
3600.02/3608.70 c #Conflicts: 1401000 | #Constraints: 248837
3600.02/3608.70 c #Conflicts: 1402000 | #Constraints: 249837
3600.02/3608.70 c #Conflicts: 1403000 | #Constraints: 250837
3600.02/3608.70 c #Conflicts: 1404000 | #Constraints: 251837
3600.02/3608.70 c #Conflicts: 1405000 | #Constraints: 252837
3600.02/3608.70 c #Conflicts: 1406000 | #Constraints: 253837
3600.02/3608.70 c #Conflicts: 1407000 | #Constraints: 254837
3600.02/3608.70 c #Conflicts: 1408000 | #Constraints: 255837
3600.02/3608.70 c #Conflicts: 1409000 | #Constraints: 256837
3600.02/3608.70 c #Conflicts: 1410000 | #Constraints: 257837
3600.02/3608.70 c #Conflicts: 1411000 | #Constraints: 258837
3600.02/3608.70 c #Conflicts: 1412000 | #Constraints: 259837
3600.02/3608.70 c #Conflicts: 1413000 | #Constraints: 260837
3600.02/3608.70 c #Conflicts: 1414000 | #Constraints: 261837
3600.02/3608.70 c #Conflicts: 1415000 | #Constraints: 262837
3600.02/3608.70 c #Conflicts: 1416000 | #Constraints: 263837
3600.02/3608.70 c #Conflicts: 1417000 | #Constraints: 264837
3600.02/3608.70 c #Conflicts: 1418000 | #Constraints: 265837
3600.02/3608.70 c #Conflicts: 1419000 | #Constraints: 266837
3600.02/3608.70 c INPROCESSING
3600.02/3608.70 c GARBAGE COLLECT
3600.02/3608.70 c #Conflicts: 1420000 | #Constraints: 244240
3600.02/3608.70 c cpu time 3593.75 s
3600.02/3608.70 c deterministic time 1 1.00e+00
3600.02/3608.70 c optimization time 3592.64 s
3600.02/3608.70 c total solve time 0 s
3600.02/3608.70 c core-guided solve time 0 s
3600.02/3608.70 c propagation time 0.112932 s
3600.02/3608.70 c conflict analysis time 0 s
3600.02/3608.70 c propagations 0
3600.02/3608.70 c resolve steps 0
3600.02/3608.70 c decisions 0
3600.02/3608.70 c conflicts 0
3600.02/3608.70 c restarts 0
3600.02/3608.70 c inprocessing phases 0
3600.02/3608.70 c garbage collections 0 ,( -nan )
3600.02/3608.70 c input clauses 381136 ,( 100.00 )
3600.02/3608.70 c input cardinalities 0 ,( 0.00 )
3600.02/3608.70 c input general constraints 0 ,( 0.00 )
3600.02/3608.70 c input average constraint length 3.00
3600.02/3608.70 c input average constraint degree 1.00
3600.02/3608.70 c learned clauses 0 ,( 0.00 )
3600.02/3608.70 c learned cardinalities 0 ,( 0.00 )
3600.02/3608.70 c learned general constraints 0 ,( 0.00 )
3600.02/3608.70 c learned average constraint length 0.00
3600.02/3608.70 c learned average constraint degree 0.00
3600.02/3608.70 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.02/3608.70 c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.02/3608.70 c watched constraints 0 ,( -nan )
3600.02/3608.70 c counting constraints 0 ,( -nan )
3600.02/3608.70 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.02/3608.70 c gcd simplifications 0
3600.02/3608.70 c detected cardinalities 0
3600.02/3608.70 c weakened non-implied lits 0
3600.02/3608.70 c weakened non-implying lits 0
3600.02/3608.70 c original variables 3486
3600.02/3608.70 c clausal propagations 0
3600.02/3608.70 c cardinality propagations 0
3600.02/3608.70 c watched propagations 0
3600.02/3608.70 c counting propagations 0
3600.02/3608.70 c watch lookups 0
3600.02/3608.70 c watch backjump lookups 0
3600.02/3608.70 c watch checks 0
3600.02/3608.70 c propagation checks 0
3600.02/3608.70 c constraint additions 0
3600.02/3608.70 c trail pops 0
3600.02/3608.70 c formula constraints 381136
3600.02/3608.70 c learned constraints 0
3600.02/3608.70 c bound constraints 0
3600.02/3608.70 c core-guided constraints 0
3600.02/3608.70 c encountered formula constraints 0
3600.02/3608.70 c encountered learned constraints 0
3600.02/3608.70 c encountered bound constraints 0
3600.02/3608.70 c encountered core-guided constraints 0
3600.02/3608.70 c LP total time 0 s
3600.02/3608.70 c LP solve time 0 s
3600.02/3608.70 c LP constraints added 0
3600.02/3608.70 c LP constraints removed 0
3600.02/3608.70 c LP pivots internal 0
3600.02/3608.70 c LP pivots root 0
3600.02/3608.70 c LP calls 0
3600.02/3608.70 c LP optimalities 0
3600.02/3608.70 c LP no pivot count 0
3600.02/3608.70 c LP infeasibilities 0
3600.02/3608.70 c LP valid Farkas constraints 0
3600.02/3608.70 c LP learned Farkas constraints 0
3600.02/3608.70 c LP basis resets 0
3600.02/3608.70 c LP cycling count 0
3600.02/3608.70 c LP singular count 0
3600.02/3608.70 c LP no primal count 0
3600.02/3608.70 c LP no farkas count 0
3600.02/3608.70 c LP other issue count 0
3600.02/3608.70 c LP Gomory cuts 0
3600.02/3608.70 c LP learned cuts 0
3600.02/3608.70 c LP deleted cuts 0
3600.02/3608.70 c LP encountered Gomory constraints 0
3600.02/3608.70 c LP encountered Farkas constraints 0
3600.02/3608.70 c LP encountered learned Farkas constraints 0
3600.02/3608.70 c CG auxiliary variables introduced 0
3600.02/3608.70 c CG solutions found 0
3600.02/3608.70 c CG cores constructed 0
3600.02/3608.70 c CG core cardinality constraints returned 0
3600.02/3608.70 c CG unit cores 0
3600.02/3608.70 c CG single cores 0
3600.02/3608.70 c CG blocks removed during cardinality reduction 0
3600.02/3608.70 c CG first core best 0
3600.02/3608.70 c CG decision core best 0
3600.02/3608.70 c CG core reduction tie 0
3600.02/3608.70 c CG core degree average 0.00
3600.02/3608.70 c CG core slack average 0.00
3600.02/3608.70 c CG core upper bound improvements 0
3600.02/3608.70 c STR number of successful calls 0
3600.02/3608.70 c STR number of unsuccessful calls 0
3600.02/3608.70 c STR number of inconclusive calls 0
3600.02/3608.70 c STR number of successful attempts 0
3600.02/3608.70 c STR number of unsuccessful attempts 0
3600.02/3608.70 c STR number of inconclusive attempts 0
3600.02/3608.70 c STR average degree increase per successful call inf
3600.02/3608.70 c STR average degree increase per successful attempt inf
3600.02/3608.70 c STR total number of conflicts for successful attempts 0
3600.02/3608.70 c STR total number of conflicts for unsuccessful attempts 0
3600.02/3608.70 c STR total number of conflicts for inconclusive attempts 0
3600.02/3608.70 c STR average number of conflicts per successful attempt inf
3600.02/3608.70 c STR average number of conflicts per unsuccessful attempt inf
3600.02/3608.70 c STR average number of conflicts per inconclusive attempt inf
3600.02/3608.70 c AVG.sumWPerc -nan
3600.02/3608.70 c bigint constraints 0
3600.02/3608.70 s UNKNOWN
3600.02/3608.70 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 (61937 MiB free)
memory of node 1: 64465 MiB (62150 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4521216-1751585598/watcher-4521216-1751585598 -o /tmp/evaluation-result-4521216-1751585598/solver-4521216-1751585598 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751585596-84118 --watchdog 3760 run-opt.sh HOME/instance-4521216-1751585598.opb
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 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.el
solver pid=84270, runsolver pid=84267
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 1.18 1.13 1.52 5/268 84272
/proc/meminfo: memFree=127064640/131250000 swapFree=33010684/33010684
[pid=84270] ppid=84267 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/84270/stat : 84270 (run-opt.sh) S 84267 84270 84107 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74182336 4292608 768 18446744073709551615 93930535723008 93930536617541 140727936649360 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93930536856592 93930536904336 93930548436992 140727936653677 140727936653800 140727936653800 140727936659402 0
/proc/84270/statm: 1048 768 704 219 0 110 0
[pid=84272] ppid=84270 vsize=58384 memory=12404 CPUtime=0.08 cores=4,6
/proc/84272/stat : 84272 (roundingsat) R 84270 84270 84107 0 -1 4194304 1520 0 0 0 5 3 0 0 20 0 1 0 74182337 59785216 3101 18446744073709551615 4227072 8923433 140729005019312 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38191104 140729005025698 140729005025832 140729005025832 140729005031402 0
/proc/84272/statm: 14596 3101 1888 1147 0 2023 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 62576 KiB
Current children cumulated memory: 15476 KiB
[startup+0.205282 s]*
/proc/loadavg: 1.18 1.13 1.52 5/268 84272
/proc/meminfo: memFree=127041516/131250000 swapFree=33010684/33010684
[pid=84270] ppid=84267 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/84270/stat : 84270 (run-opt.sh) S 84267 84270 84107 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74182336 4292608 768 18446744073709551615 93930535723008 93930536617541 140727936649360 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93930536856592 93930536904336 93930548436992 140727936653677 140727936653800 140727936653800 140727936659402 0
/proc/84270/statm: 1048 768 704 219 0 110 0
[pid=84272] ppid=84270 vsize=61512 memory=17872 CPUtime=0.19 cores=4,6
/proc/84272/stat : 84272 (roundingsat) R 84270 84270 84107 0 -1 4194304 2507 0 0 0 13 6 0 0 20 0 1 0 74182337 62988288 4468 18446744073709551615 4227072 8923433 140729005019312 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38191104 140729005025698 140729005025832 140729005025832 140729005031402 0
/proc/84272/statm: 15378 4468 1888 1147 0 2805 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 65704 KiB
Current children cumulated memory: 20944 KiB
[startup+0.305477 s]*
/proc/loadavg: 1.18 1.13 1.52 5/268 84272
/proc/meminfo: memFree=126973908/131250000 swapFree=33010684/33010684
[pid=84270] ppid=84267 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/84270/stat : 84270 (run-opt.sh) S 84267 84270 84107 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74182336 4292608 768 18446744073709551615 93930535723008 93930536617541 140727936649360 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93930536856592 93930536904336 93930548436992 140727936653677 140727936653800 140727936653800 140727936659402 0
/proc/84270/statm: 1048 768 704 219 0 110 0
[pid=84272] ppid=84270 vsize=65816 memory=21072 CPUtime=0.29 cores=4,6
/proc/84272/stat : 84272 (roundingsat) R 84270 84270 84107 0 -1 4194304 3374 0 0 0 20 9 0 0 20 0 1 0 74182337 67395584 5268 18446744073709551615 4227072 8923433 140729005019312 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38191104 140729005025698 140729005025832 140729005025832 140729005031402 0
/proc/84272/statm: 16454 5268 1888 1147 0 3881 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 70008 KiB
Current children cumulated memory: 24144 KiB
[startup+0.700142 s]
/proc/loadavg: 1.18 1.13 1.52 5/268 84272
/proc/meminfo: memFree=126965140/131250000 swapFree=33010684/33010684
[pid=84270] ppid=84267 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/84270/stat : 84270 (run-opt.sh) S 84267 84270 84107 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74182336 4292608 768 18446744073709551615 93930535723008 93930536617541 140727936649360 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93930536856592 93930536904336 93930548436992 140727936653677 140727936653800 140727936653800 140727936659402 0
/proc/84270/statm: 1048 768 704 219 0 110 0
[pid=84272] ppid=84270 vsize=89892 memory=39692 CPUtime=0.68 cores=4,6
/proc/84272/stat : 84272 (roundingsat) R 84270 84270 84107 0 -1 4194304 8185 0 0 0 48 20 0 0 20 0 1 0 74182337 92049408 9923 18446744073709551615 4227072 8923433 140729005019312 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38191104 140729005025698 140729005025832 140729005025832 140729005031402 0
/proc/84272/statm: 22473 9923 1888 1147 0 9900 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 94084 KiB
Current children cumulated memory: 42764 KiB
[startup+1.50021 s]
/proc/loadavg: 1.18 1.13 1.52 5/268 84272
/proc/meminfo: memFree=126907612/131250000 swapFree=33010684/33010684
[pid=84270] ppid=84267 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/84270/stat : 84270 (run-opt.sh) S 84267 84270 84107 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74182336 4292608 768 18446744073709551615 93930535723008 93930536617541 140727936649360 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93930536856592 93930536904336 93930548436992 140727936653677 140727936653800 140727936653800 140727936659402 0
/proc/84270/statm: 1048 768 704 219 0 110 0
[pid=84272] ppid=84270 vsize=409520 memory=292600 CPUtime=1.47 cores=4,6
/proc/84272/stat : 84272 (roundingsat) R 84270 84270 84107 0 -1 4194304 24701 0 0 0 111 36 0 0 20 0 1 0 74182337 419348480 73150 18446744073709551615 4227072 8923433 140729005019312 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38191104 140729005025698 140729005025832 140729005025832 140729005031402 0
/proc/84272/statm: 103501 73150 2240 1147 0 90928 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 413712 KiB
Current children cumulated memory: 295672 KiB
[startup+3.10505 s]
/proc/loadavg: 1.18 1.13 1.52 5/268 84272
/proc/meminfo: memFree=126525408/131250000 swapFree=33010684/33010684
[pid=84270] ppid=84267 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/84270/stat : 84270 (run-opt.sh) S 84267 84270 84107 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74182336 4292608 768 18446744073709551615 93930535723008 93930536617541 140727936649360 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93930536856592 93930536904336 93930548436992 140727936653677 140727936653800 140727936653800 140727936659402 0
/proc/84270/statm: 1048 768 704 219 0 110 0
[pid=84272] ppid=84270 vsize=558552 memory=441464 CPUtime=3.07 cores=4,6
/proc/84272/stat : 84272 (roundingsat) R 84270 84270 84107 0 -1 4194304 59105 0 0 0 249 58 0 0 20 0 1 0 74182337 571957248 110366 18446744073709551615 4227072 8923433 140729005019312 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38191104 140729005025698 140729005025832 140729005025832 140729005031402 0
/proc/84272/statm: 139638 110366 2336 1147 0 127065 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 562744 KiB
Current children cumulated memory: 444536 KiB
[startup+6.30013 s]
/proc/loadavg: 1.41 1.18 1.53 5/268 84272
/proc/meminfo: memFree=126525944/131250000 swapFree=33010684/33010684
[pid=84270] ppid=84267 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/84270/stat : 84270 (run-opt.sh) S 84267 84270 84107 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74182336 4292608 768 18446744073709551615 93930535723008 93930536617541 140727936649360 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93930536856592 93930536904336 93930548436992 140727936653677 140727936653800 140727936653800 140727936659402 0
/proc/84270/statm: 1048 768 704 219 0 110 0
[pid=84272] ppid=84270 vsize=558552 memory=441464 CPUtime=6.26 cores=4,6
/proc/84272/stat : 84272 (roundingsat) R 84270 84270 84107 0 -1 4194304 59111 0 0 0 567 59 0 0 20 0 1 0 74182337 571957248 110366 18446744073709551615 4227072 8923433 140729005019312 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38191104 140729005025698 140729005025832 140729005025832 140729005031402 0
/proc/84272/statm: 139638 110366 2336 1147 0 127065 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 562744 KiB
Current children cumulated memory: 444536 KiB
[startup+12.7001 s]
/proc/loadavg: 1.62 1.23 1.55 5/268 84272
/proc/meminfo: memFree=126529736/131250000 swapFree=33010684/33010684
[pid=84270] ppid=84267 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/84270/stat : 84270 (run-opt.sh) S 84267 84270 84107 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74182336 4292608 768 18446744073709551615 93930535723008 93930536617541 140727936649360 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93930536856592 93930536904336 93930548436992 140727936653677 140727936653800 140727936653800 140727936659402 0
/proc/84270/statm: 1048 768 704 219 0 110 0
[pid=84272] ppid=84270 vsize=558552 memory=441464 CPUtime=12.65 cores=4,6
/proc/84272/stat : 84272 (roundingsat) R 84270 84270 84107 0 -1 4194304 59111 0 0 0 1205 60 0 0 20 0 1 0 74182337 571957248 110366 18446744073709551615 4227072 8923433 140729005019312 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38191104 140729005025698 140729005025832 140729005025832 140729005031402 0
/proc/84272/statm: 139638 110366 2336 1147 0 127065 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 562744 KiB
Current children cumulated memory: 444536 KiB
[startup+25.5002 s]
/proc/loadavg: 1.98 1.32 1.57 5/268 84272
/proc/meminfo: memFree=126538660/131250000 swapFree=33010684/33010684
[pid=84270] ppid=84267 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/84270/stat : 84270 (run-opt.sh) S 84267 84270 84107 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74182336 4292608 768 18446744073709551615 93930535723008 93930536617541 140727936649360 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93930536856592 93930536904336 93930548436992 140727936653677 140727936653800 140727936653800 140727936659402 0
/proc/84270/statm: 1048 768 704 219 0 110 0
[pid=84272] ppid=84270 vsize=558552 memory=441464 CPUtime=25.42 cores=4,6
/proc/84272/stat : 84272 (roundingsat) R 84270 84270 84107 0 -1 4194304 59111 0 0 0 2480 62 0 0 20 0 1 0 74182337 571957248 110366 18446744073709551615 4227072 8923433 140729005019312 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38191104 140729005025698 140729005025832 140729005025832 140729005031402 0
/proc/84272/statm: 139638 110366 2336 1147 0 127065 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 562744 KiB
Current children cumulated memory: 444536 KiB
[startup+51.1052 s]
/proc/loadavg: 2.83 1.59 1.66 5/268 84272
/proc/meminfo: memFree=126539184/131250000 swapFree=33010684/33010684
[pid=84270] ppid=84267 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/84270/stat : 84270 (run-opt.sh) S 84267 84270 84107 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74182336 4292608 768 18446744073709551615 93930535723008 93930536617541 140727936649360 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93930536856592 93930536904336 93930548436992 140727936653677 140727936653800 140727936653800 140727936659402 0
/proc/84270/statm: 1048 768 704 219 0 110 0
[pid=84272] ppid=84270 vsize=558552 memory=441848 CPUtime=50.97 cores=4,6
/proc/84272/stat : 84272 (roundingsat) R 84270 84270 84107 0 -1 4194304 59197 0 0 0 5032 65 0 0 20 0 1 0 74182337 571957248 110462 18446744073709551615 4227072 8923433 140729005019312 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38191104 140729005025698 140729005025832 140729005025832 140729005031402 0
/proc/84272/statm: 139638 110462 2336 1147 0 127065 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 562744 KiB
Current children cumulated memory: 444920 KiB
[startup+102.3 s]
/proc/loadavg: 3.54 1.98 1.79 5/268 84274
/proc/meminfo: memFree=126502544/131250000 swapFree=33010684/33010684
[pid=84270] ppid=84267 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/84270/stat : 84270 (run-opt.sh) S 84267 84270 84107 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74182336 4292608 768 18446744073709551615 93930535723008 93930536617541 140727936649360 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93930536856592 93930536904336 93930548436992 140727936653677 140727936653800 140727936653800 140727936659402 0
/proc/84270/statm: 1048 768 704 219 0 110 0
[pid=84272] ppid=84270 vsize=558552 memory=441848 CPUtime=102.06 cores=4,6
/proc/84272/stat : 84272 (roundingsat) R 84270 84270 84107 0 -1 4194304 59200 0 0 0 10135 71 0 0 20 0 1 0 74182337 571957248 110462 18446744073709551615 4227072 8923433 140729005019312 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38191104 140729005025698 140729005025832 140729005025832 140729005031402 0
/proc/84272/statm: 139638 110462 2336 1147 0 127065 0
Current children cumulated CPU time: 102.06 s
Current children cumulated vsize: 562744 KiB
Current children cumulated memory: 444920 KiB
[startup+162.3 s]
/proc/loadavg: 3.87 2.36 1.93 5/268 84276
/proc/meminfo: memFree=126463080/131250000 swapFree=33010684/33010684
[pid=84270] ppid=84267 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/84270/stat : 84270 (run-opt.sh) S 84267 84270 84107 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74182336 4292608 768 18446744073709551615 93930535723008 93930536617541 140727936649360 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93930536856592 93930536904336 93930548436992 140727936653677 140727936653800 140727936653800 140727936659402 0
/proc/84270/statm: 1048 768 704 219 0 110 0
[pid=84272] ppid=84270 vsize=638692 memory=496992 CPUtime=161.91 cores=4,6
/proc/84272/stat : 84272 (roundingsat) R 84270 84270 84107 0 -1 4194304 59718 0 0 0 16111 80 0 0 20 0 1 0 74182337 654020608 124248 18446744073709551615 4227072 8923433 140729005019312 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38191104 140729005025698 140729005025832 140729005025832 140729005031402 0
/proc/84272/statm: 159673 124248 2336 1147 0 147100 0
Current children cumulated CPU time: 161.91 s
Current children cumulated vsize: 642884 KiB
Current children cumulated memory: 500064 KiB
[startup+222.3 s]
/proc/loadavg: 4.01 2.68 2.07 5/267 84278
/proc/meminfo: memFree=126450492/131250000 swapFree=33010684/33010684
[pid=84270] ppid=84267 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/84270/stat : 84270 (run-opt.sh) S 84267 84270 84107 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74182336 4292608 768 18446744073709551615 93930535723008 93930536617541 140727936649360 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93930536856592 93930536904336 93930548436992 140727936653677 140727936653800 140727936653800 140727936659402 0
/proc/84270/statm: 1048 768 704 219 0 110 0
[pid=84272] ppid=84270 vsize=638692 memory=505184 CPUtime=221.75 cores=4,6
/proc/84272/stat : 84272 (roundingsat) R 84270 84270 84107 0 -1 4194304 59723 0 0 0 22087 88 0 0 20 0 1 0 74182337 654020608 126296 18446744073709551615 4227072 8923433 140729005019312 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38191104 140729005025698 140729005025832 140729005025832 140729005031402 0
/proc/84272/statm: 159673 126296 2336 1147 0 147100 0
Current children cumulated CPU time: 221.75 s
################
# More data... #
################
/proc/84272/statm: 192542 151874 2336 1147 0 179969 0
Current children cumulated CPU time: 3094.77 s
Current children cumulated vsize: 774360 KiB
Current children cumulated memory: 610568 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.11 4.03 5/268 84434
/proc/meminfo: memFree=126042572/131250000 swapFree=33010684/33010684
[pid=84270] ppid=84267 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/84270/stat : 84270 (run-opt.sh) S 84267 84270 84107 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74182336 4292608 768 18446744073709551615 93930535723008 93930536617541 140727936649360 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93930536856592 93930536904336 93930548436992 140727936653677 140727936653800 140727936653800 140727936659402 0
/proc/84270/statm: 1048 768 704 219 0 110 0
[pid=84272] ppid=84270 vsize=770168 memory=609544 CPUtime=3154.64 cores=4,6
/proc/84272/stat : 84272 (roundingsat) R 84270 84270 84107 0 -1 4194304 61236 0 0 0 314918 546 0 0 20 0 1 0 74182337 788652032 152386 18446744073709551615 4227072 8923433 140729005019312 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38191104 140729005025698 140729005025832 140729005025832 140729005031402 0
/proc/84272/statm: 192542 152386 2336 1147 0 179969 0
Current children cumulated CPU time: 3154.64 s
Current children cumulated vsize: 774360 KiB
Current children cumulated memory: 612616 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.12 4.03 5/268 84436
/proc/meminfo: memFree=126034552/131250000 swapFree=33010684/33010684
[pid=84270] ppid=84267 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/84270/stat : 84270 (run-opt.sh) S 84267 84270 84107 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74182336 4292608 768 18446744073709551615 93930535723008 93930536617541 140727936649360 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93930536856592 93930536904336 93930548436992 140727936653677 140727936653800 140727936653800 140727936659402 0
/proc/84270/statm: 1048 768 704 219 0 110 0
[pid=84272] ppid=84270 vsize=770168 memory=609544 CPUtime=3214.5 cores=4,6
/proc/84272/stat : 84272 (roundingsat) R 84270 84270 84107 0 -1 4194304 61236 0 0 0 320894 556 0 0 20 0 1 0 74182337 788652032 152386 18446744073709551615 4227072 8923433 140729005019312 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38191104 140729005025698 140729005025832 140729005025832 140729005031402 0
/proc/84272/statm: 192542 152386 2336 1147 0 179969 0
Current children cumulated CPU time: 3214.5 s
Current children cumulated vsize: 774360 KiB
Current children cumulated memory: 612616 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.11 4.03 5/268 84438
/proc/meminfo: memFree=126030248/131250000 swapFree=33010684/33010684
[pid=84270] ppid=84267 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/84270/stat : 84270 (run-opt.sh) S 84267 84270 84107 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74182336 4292608 768 18446744073709551615 93930535723008 93930536617541 140727936649360 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93930536856592 93930536904336 93930548436992 140727936653677 140727936653800 140727936653800 140727936659402 0
/proc/84270/statm: 1048 768 704 219 0 110 0
[pid=84272] ppid=84270 vsize=770168 memory=615688 CPUtime=3274.37 cores=4,6
/proc/84272/stat : 84272 (roundingsat) R 84270 84270 84107 0 -1 4194304 61239 0 0 0 326870 567 0 0 20 0 1 0 74182337 788652032 153922 18446744073709551615 4227072 8923433 140729005019312 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38191104 140729005025698 140729005025832 140729005025832 140729005031402 0
/proc/84272/statm: 192542 153922 2336 1147 0 179969 0
Current children cumulated CPU time: 3274.37 s
Current children cumulated vsize: 774360 KiB
Current children cumulated memory: 618760 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.12 4.04 5/268 84440
/proc/meminfo: memFree=126030548/131250000 swapFree=33010684/33010684
[pid=84270] ppid=84267 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/84270/stat : 84270 (run-opt.sh) S 84267 84270 84107 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74182336 4292608 768 18446744073709551615 93930535723008 93930536617541 140727936649360 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93930536856592 93930536904336 93930548436992 140727936653677 140727936653800 140727936653800 140727936659402 0
/proc/84270/statm: 1048 768 704 219 0 110 0
[pid=84272] ppid=84270 vsize=770168 memory=615688 CPUtime=3334.23 cores=4,6
/proc/84272/stat : 84272 (roundingsat) R 84270 84270 84107 0 -1 4194304 61239 0 0 0 332846 577 0 0 20 0 1 0 74182337 788652032 153922 18446744073709551615 4227072 8923433 140729005019312 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38191104 140729005025698 140729005025832 140729005025832 140729005031402 0
/proc/84272/statm: 192542 153922 2336 1147 0 179969 0
Current children cumulated CPU time: 3334.23 s
Current children cumulated vsize: 774360 KiB
Current children cumulated memory: 618760 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.11 4.04 5/268 84442
/proc/meminfo: memFree=126021112/131250000 swapFree=33010684/33010684
[pid=84270] ppid=84267 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/84270/stat : 84270 (run-opt.sh) S 84267 84270 84107 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74182336 4292608 768 18446744073709551615 93930535723008 93930536617541 140727936649360 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93930536856592 93930536904336 93930548436992 140727936653677 140727936653800 140727936653800 140727936659402 0
/proc/84270/statm: 1048 768 704 219 0 110 0
[pid=84272] ppid=84270 vsize=770168 memory=615688 CPUtime=3394.1 cores=4,6
/proc/84272/stat : 84272 (roundingsat) R 84270 84270 84107 0 -1 4194304 61239 0 0 0 338823 587 0 0 20 0 1 0 74182337 788652032 153922 18446744073709551615 4227072 8923433 140729005019312 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38191104 140729005025698 140729005025832 140729005025832 140729005031402 0
/proc/84272/statm: 192542 153922 2336 1147 0 179969 0
Current children cumulated CPU time: 3394.1 s
Current children cumulated vsize: 774360 KiB
Current children cumulated memory: 618760 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.10 4.04 5/267 84444
/proc/meminfo: memFree=126021224/131250000 swapFree=33010684/33010684
[pid=84270] ppid=84267 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/84270/stat : 84270 (run-opt.sh) S 84267 84270 84107 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74182336 4292608 768 18446744073709551615 93930535723008 93930536617541 140727936649360 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93930536856592 93930536904336 93930548436992 140727936653677 140727936653800 140727936653800 140727936659402 0
/proc/84270/statm: 1048 768 704 219 0 110 0
[pid=84272] ppid=84270 vsize=770168 memory=615688 CPUtime=3453.96 cores=4,6
/proc/84272/stat : 84272 (roundingsat) R 84270 84270 84107 0 -1 4194304 61239 0 0 0 344801 595 0 0 20 0 1 0 74182337 788652032 153922 18446744073709551615 4227072 8923433 140729005019312 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38191104 140729005025698 140729005025832 140729005025832 140729005031402 0
/proc/84272/statm: 192542 153922 2336 1147 0 179969 0
Current children cumulated CPU time: 3453.96 s
Current children cumulated vsize: 774360 KiB
Current children cumulated memory: 618760 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.11 4.04 5/267 84448
/proc/meminfo: memFree=126006496/131250000 swapFree=33010684/33010684
[pid=84270] ppid=84267 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/84270/stat : 84270 (run-opt.sh) S 84267 84270 84107 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74182336 4292608 768 18446744073709551615 93930535723008 93930536617541 140727936649360 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93930536856592 93930536904336 93930548436992 140727936653677 140727936653800 140727936653800 140727936659402 0
/proc/84270/statm: 1048 768 704 219 0 110 0
[pid=84272] ppid=84270 vsize=770168 memory=617736 CPUtime=3513.83 cores=4,6
/proc/84272/stat : 84272 (roundingsat) R 84270 84270 84107 0 -1 4194304 61240 0 0 0 350775 608 0 0 20 0 1 0 74182337 788652032 154434 18446744073709551615 4227072 8923433 140729005019312 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38191104 140729005025698 140729005025832 140729005025832 140729005031402 0
/proc/84272/statm: 192542 154434 2336 1147 0 179969 0
Current children cumulated CPU time: 3513.83 s
Current children cumulated vsize: 774360 KiB
Current children cumulated memory: 620808 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.11 4.04 5/268 84456
/proc/meminfo: memFree=125999820/131250000 swapFree=33010684/33010684
[pid=84270] ppid=84267 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/84270/stat : 84270 (run-opt.sh) S 84267 84270 84107 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74182336 4292608 768 18446744073709551615 93930535723008 93930536617541 140727936649360 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93930536856592 93930536904336 93930548436992 140727936653677 140727936653800 140727936653800 140727936659402 0
/proc/84270/statm: 1048 768 704 219 0 110 0
[pid=84272] ppid=84270 vsize=770168 memory=621832 CPUtime=3573.68 cores=4,6
/proc/84272/stat : 84272 (roundingsat) R 84270 84270 84107 0 -1 4194304 61242 0 0 0 356748 620 0 0 20 0 1 0 74182337 788652032 155458 18446744073709551615 4227072 8923433 140729005019312 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38191104 140729005025698 140729005025832 140729005025832 140729005031402 0
/proc/84272/statm: 192542 155458 2336 1147 0 179969 0
Current children cumulated CPU time: 3573.68 s
Current children cumulated vsize: 774360 KiB
Current children cumulated memory: 624904 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.7 s]
/proc/loadavg: 4.14 4.11 4.05 5/262 84537
/proc/meminfo: memFree=127007236/131250000 swapFree=33010684/33010684
[pid=84270] ppid=84267 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/84270/stat : 84270 (run-opt.sh) S 84267 84270 84107 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74182336 4292608 768 18446744073709551615 93930535723008 93930536617541 140727936649360 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93930536856592 93930536904336 93930548436992 140727936653677 140727936653800 140727936653800 140727936659402 0
/proc/84270/statm: 1048 768 704 219 0 110 0
[pid=84272] ppid=84270 vsize=770168 memory=621832 CPUtime=3600.02 cores=4,6
/proc/84272/stat : 84272 (roundingsat) R 84270 84270 84107 0 -1 4194304 61304 0 0 0 359375 627 0 0 20 0 1 0 74182337 788652032 155458 18446744073709551615 4227072 8923433 140729005019312 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38191104 140729005025698 140729005025832 140729005025832 140729005031402 0
/proc/84272/statm: 192542 155458 2336 1147 0 179969 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 774360 KiB
Current children cumulated memory: 624904 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.7 s]
# the end of solver process 84270 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001649 s, system=0 s
[startup+3608.75 s]
# the end of solver process 84272 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3593.8 s, system=6.27879 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3608.7 s]
/proc/loadavg: 4.14 4.11 4.05 5/262 84537
/proc/meminfo: memFree=127007236/131250000 swapFree=33010684/33010684
[pid=84270] ppid=84267 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/84270/stat : 84270 (run-opt.sh) S 84267 84270 84107 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74182336 4292608 768 18446744073709551615 93930535723008 93930536617541 140727936649360 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93930536856592 93930536904336 93930548436992 140727936653677 140727936653800 140727936653800 140727936659402 0
/proc/84270/statm: 1048 768 704 219 0 110 0
[pid=84272] ppid=84270 vsize=770168 memory=621832 CPUtime=3600.02 cores=4,6
/proc/84272/stat : 84272 (roundingsat) R 84270 84270 84107 0 -1 4194304 61304 0 0 0 359375 627 0 0 20 0 1 0 74182337 788652032 155458 18446744073709551615 4227072 8923433 140729005019312 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38191104 140729005025698 140729005025832 140729005025832 140729005031402 0
/proc/84272/statm: 192542 155458 2336 1147 0 179969 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 774360 KiB
Current children cumulated memory: 624904 KiB
Child status: 2
Real time (s): 3608.75
CPU time (s): 3600.08
CPU user time (s): 3593.8
CPU system time (s): 6.27879
CPU usage (%): 99.7597
Max. virtual memory (cumulated for all children) (KiB): 774360
Max. memory (cumulated for all children) (KiB): 624904
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.8
system time used= 6.27879
maximum resident set size= 622088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61650
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 208
involuntary context switches= 2800
# summary of solver processes directly reported to runsolver:
# pid: 84270,84272
# total CPU time (s): 3600.08
# total CPU user time (s): 3593.8
# total CPU system time (s): 6.27879
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.89143 second user time and 15.6866 second system time
The end
Begin job on nodeC028 at 2025-07-04 01:33:18
IDJOB=4521216
IDBENCH=178243
IDSOLVER=3350
FILE ID=nodeC028/4521216-1751585598
RUNJOBID= nodeC028-1751585596-84118
SLURM_JOB_ID= 9598831
Free space on /tmp= 431424 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_6-partite_inlv/normalized-maxcut_opt_complete_6-partite_inlv_nvert_84.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4521216-1751585598/watcher-4521216-1751585598 -o /tmp/evaluation-result-4521216-1751585598/solver-4521216-1751585598 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751585596-84118 --watchdog 3760 run-opt.sh HOME/instance-4521216-1751585598.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 56a55a6a376bce11ab58c02a823aeaa9
RANDOM SEED=1337679129
nodeC028 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 : 3604.301
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.16
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.159
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.16
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 : 3600.159
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.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.012
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.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.172
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.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.526
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.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.074
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.16
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.694
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.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 127070688 kB
MemAvailable: 129008704 kB
Buffers: 3280 kB
Cached: 2739252 kB
SwapCached: 0 kB
Active: 1099584 kB
Inactive: 2429996 kB
Active(anon): 805116 kB
Inactive(anon): 0 kB
Active(file): 294468 kB
Inactive(file): 2429996 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 64704 kB
Writeback: 0 kB
AnonPages: 790524 kB
Mapped: 113268 kB
Shmem: 18068 kB
KReclaimable: 105584 kB
Slab: 194916 kB
SReclaimable: 105584 kB
SUnreclaim: 89332 kB
KernelStack: 4304 kB
PageTables: 4648 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 1208324 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150520 kB
VmallocChunk: 0 kB
Percpu: 3904 kB
HardwareCorrupted: 0 kB
AnonHugePages: 368640 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: 197332 kB
DirectMap2M: 7962624 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 431440 MiB
End job on nodeC028 at 2025-07-04 02:33:27