0.00/0.01 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01 c │ pbsuma -- a PB interface for satsuma │
0.00/0.01 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.01 c │ (c) 2025 Markus Anders │
0.00/0.01 c └────────────────────────────────────────────────────────────────┘
0.00/0.01 c parse 'HOME/instance-4493161-1751143133.opb'
0.09/0.13 c read 7.39MB (125.69ms)
0.09/0.13 c [cnf: #variables 6800 #clauses 285685 #duplicates 0 #arr 578000]
0.09/0.13 c output proof to 'PROOFDIR/proof-4493161-1751143133'
0.09/0.13 c
0.09/0.13 c make graph and approximate orbits
0.09/0.17 c [group: #orbits ~= 2] (39.96ms)
0.09/0.17 c
0.09/0.17 c detect special group actions
0.09/0.17 c probe for Johnson action (limit=64)
0.19/0.25 c probe for row-column symmetry (limit=64, splits=16.78M)
0.39/0.47 c found row-column 80x85
0.39/0.48 c probe for row symmetry (limit=64, splits=16.78M)
0.39/0.48 c (307.28ms)
0.39/0.48 c
0.39/0.48 c detect symmetries on remainder
0.39/0.48 c [graph: #vertices 312885 #edges 1196800]
0.39/0.48 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.49/0.53 c [group: #symmetries 1.00*10^0 #generators 0] (51.71ms)
0.49/0.53 c
0.49/0.53 c finalize break order and special generators
0.98/1.09 c
0.98/1.09 c generation finished
0.98/1.09 c [sbp: #constraints 55428 #add_vars 18439]
0.98/1.09 c
0.98/1.09 c write result to 'HOME/instance-4493161-1751143133.opb.pre'
1.08/1.11 c wrote 9.48MB (19.63ms)
1.08/1.11 c ------------------------------------------------------------------
1.08/1.11 c 557.40ms 50.58% other
1.08/1.11 c 307.28ms 27.89% detect_special
1.08/1.11 c 125.69ms 11.41% parse
1.08/1.11 c 51.71ms 4.69% detect_generic
1.08/1.11 c 39.96ms 3.63% approx_orbits
1.08/1.11 c 19.63ms 1.78% output
1.08/1.11 c 0.24ms 0.02% finalize_order
1.08/1.11 c ───────────────────────────────────────────────
1.08/1.11 c 1101.92ms 100% total
1.08/1.11 c ------------------------------------------------------------------
1.11/1.24 c RoundingSat 2
1.11/1.24 c branch pb25
1.11/1.24 c commit 63f22ad
2.29/2.46 c #variables 25239 #constraints 341113
71.22/71.69 c #Conflicts: 1000 | #Constraints: 342112
71.22/71.69 c #Conflicts: 2000 | #Constraints: 343112
71.22/71.69 c INPROCESSING
71.22/71.69 c #Conflicts: 3000 | #Constraints: 309445
71.22/71.69 c #Conflicts: 4000 | #Constraints: 310445
71.22/71.69 c INPROCESSING
71.22/71.69 c GARBAGE COLLECT
71.22/71.69 c #Conflicts: 5000 | #Constraints: 308344
71.22/71.69 c #Conflicts: 6000 | #Constraints: 309344
71.22/71.69 c INPROCESSING
71.22/71.69 c #Conflicts: 7000 | #Constraints: 300832
71.22/71.69 c #Conflicts: 8000 | #Constraints: 301832
71.22/71.69 c #Conflicts: 9000 | #Constraints: 302832
71.22/71.69 c #Conflicts: 10000 | #Constraints: 303832
71.22/71.69 c #Conflicts: 11000 | #Constraints: 304832
71.22/71.69 c #Conflicts: 12000 | #Constraints: 305832
71.22/71.69 c INPROCESSING
71.22/71.69 c GARBAGE COLLECT
71.22/71.69 c #Conflicts: 13000 | #Constraints: 302319
71.22/71.69 c #Conflicts: 14000 | #Constraints: 303319
71.22/71.69 c #Conflicts: 15000 | #Constraints: 304319
71.22/71.69 c #Conflicts: 16000 | #Constraints: 305319
71.22/71.69 c INPROCESSING
71.22/71.69 c GARBAGE COLLECT
71.22/71.69 c #Conflicts: 17000 | #Constraints: 302534
71.22/71.69 c #Conflicts: 18000 | #Constraints: 303534
71.22/71.69 c #Conflicts: 19000 | #Constraints: 304534
71.22/71.69 c #Conflicts: 20000 | #Constraints: 305534
71.22/71.69 c #Conflicts: 21000 | #Constraints: 306534
71.22/71.69 c #Conflicts: 22000 | #Constraints: 307534
71.22/71.69 c #Conflicts: 23000 | #Constraints: 308534
71.22/71.69 c #Conflicts: 24000 | #Constraints: 309534
71.22/71.69 c #Conflicts: 25000 | #Constraints: 310534
71.22/71.69 c INPROCESSING
71.22/71.69 c GARBAGE COLLECT
71.22/71.69 c #Conflicts: 26000 | #Constraints: 302776
71.22/71.69 c #Conflicts: 27000 | #Constraints: 303776
71.22/71.69 c #Conflicts: 28000 | #Constraints: 304776
71.22/71.69 c #Conflicts: 29000 | #Constraints: 305776
71.22/71.69 c #Conflicts: 30000 | #Constraints: 306776
71.22/71.69 c INPROCESSING
71.22/71.69 c GARBAGE COLLECT
71.22/71.69 c #Conflicts: 31000 | #Constraints: 301428
71.22/71.69 c #Conflicts: 32000 | #Constraints: 302428
71.22/71.69 c #Conflicts: 33000 | #Constraints: 303428
71.22/71.69 c #Conflicts: 34000 | #Constraints: 304428
71.22/71.69 c #Conflicts: 35000 | #Constraints: 305428
71.22/71.69 c #Conflicts: 36000 | #Constraints: 306428
71.22/71.69 c #Conflicts: 37000 | #Constraints: 307428
71.22/71.69 c #Conflicts: 38000 | #Constraints: 308428
71.22/71.69 c #Conflicts: 39000 | #Constraints: 309428
71.22/71.69 c #Conflicts: 40000 | #Constraints: 310428
71.22/71.69 c #Conflicts: 41000 | #Constraints: 311428
71.22/71.69 c #Conflicts: 42000 | #Constraints: 312428
71.22/71.69 c #Conflicts: 43000 | #Constraints: 313428
71.22/71.69 c INPROCESSING
71.22/71.69 c GARBAGE COLLECT
71.22/71.69 c #Conflicts: 44000 | #Constraints: 304977
71.22/71.69 c #Conflicts: 45000 | #Constraints: 305977
71.22/71.69 c #Conflicts: 46000 | #Constraints: 306977
71.22/71.69 c #Conflicts: 47000 | #Constraints: 307977
71.22/71.69 c #Conflicts: 48000 | #Constraints: 308977
71.22/71.69 c #Conflicts: 49000 | #Constraints: 309977
71.22/71.69 c INPROCESSING
71.22/71.69 c GARBAGE COLLECT
71.22/71.69 c #Conflicts: 50000 | #Constraints: 303661
71.22/71.69 c #Conflicts: 51000 | #Constraints: 304661
71.22/71.69 c #Conflicts: 52000 | #Constraints: 305661
71.22/71.69 c #Conflicts: 53000 | #Constraints: 306661
71.22/71.69 c #Conflicts: 54000 | #Constraints: 307661
71.22/71.69 c #Conflicts: 55000 | #Constraints: 308661
71.22/71.69 c #Conflicts: 56000 | #Constraints: 309661
71.22/71.69 c #Conflicts: 57000 | #Constraints: 310661
71.22/71.69 c #Conflicts: 58000 | #Constraints: 311661
71.22/71.69 c #Conflicts: 59000 | #Constraints: 312661
71.22/71.69 c #Conflicts: 60000 | #Constraints: 313661
71.22/71.69 c #Conflicts: 61000 | #Constraints: 314661
71.22/71.69 c #Conflicts: 62000 | #Constraints: 315661
71.22/71.69 c #Conflicts: 63000 | #Constraints: 316661
71.22/71.69 c #Conflicts: 64000 | #Constraints: 317661
71.22/71.69 c #Conflicts: 65000 | #Constraints: 318661
71.22/71.69 c INPROCESSING
71.22/71.69 c GARBAGE COLLECT
71.22/71.69 c #Conflicts: 66000 | #Constraints: 305355
71.22/71.69 c #Conflicts: 67000 | #Constraints: 306355
71.22/71.69 c #Conflicts: 68000 | #Constraints: 307355
71.22/71.69 c #Conflicts: 69000 | #Constraints: 308355
71.22/71.69 c #Conflicts: 70000 | #Constraints: 309355
71.22/71.69 c #Conflicts: 71000 | #Constraints: 310355
71.22/71.69 c #Conflicts: 72000 | #Constraints: 311355
71.22/71.69 c INPROCESSING
71.22/71.69 c GARBAGE COLLECT
71.22/71.69 c #Conflicts: 73000 | #Constraints: 304169
128.25/128.89 c #Conflicts: 74000 | #Constraints: 305169
128.25/128.89 c #Conflicts: 75000 | #Constraints: 306169
128.25/128.89 c #Conflicts: 76000 | #Constraints: 307169
128.25/128.89 c #Conflicts: 77000 | #Constraints: 308169
128.25/128.89 c #Conflicts: 78000 | #Constraints: 309169
128.25/128.89 c #Conflicts: 79000 | #Constraints: 310169
128.25/128.89 c #Conflicts: 80000 | #Constraints: 311169
128.25/128.89 c #Conflicts: 81000 | #Constraints: 312169
128.25/128.89 c #Conflicts: 82000 | #Constraints: 313169
128.25/128.89 c #Conflicts: 83000 | #Constraints: 314169
128.25/128.89 c #Conflicts: 84000 | #Constraints: 315169
128.25/128.89 c #Conflicts: 85000 | #Constraints: 316169
128.25/128.89 c #Conflicts: 86000 | #Constraints: 317169
128.25/128.89 c #Conflicts: 87000 | #Constraints: 318169
128.25/128.89 c #Conflicts: 88000 | #Constraints: 319169
128.25/128.89 c #Conflicts: 89000 | #Constraints: 320169
128.25/128.89 c #Conflicts: 90000 | #Constraints: 321169
128.25/128.89 c #Conflicts: 91000 | #Constraints: 322169
128.25/128.89 c INPROCESSING
128.25/128.89 c GARBAGE COLLECT
128.25/128.89 c #Conflicts: 92000 | #Constraints: 308434
128.25/128.89 c #Conflicts: 93000 | #Constraints: 309434
128.25/128.89 c #Conflicts: 94000 | #Constraints: 310434
128.25/128.89 c #Conflicts: 95000 | #Constraints: 311434
128.25/128.89 c #Conflicts: 96000 | #Constraints: 312434
128.25/128.89 c #Conflicts: 97000 | #Constraints: 313434
128.25/128.89 c #Conflicts: 98000 | #Constraints: 314434
128.25/128.89 c #Conflicts: 99000 | #Constraints: 315434
128.25/128.89 c #Conflicts: 100000 | #Constraints: 316434
128.25/128.89 c INPROCESSING
128.25/128.89 c GARBAGE COLLECT
128.25/128.89 c #Conflicts: 101000 | #Constraints: 307907
128.25/128.89 c #Conflicts: 102000 | #Constraints: 308907
128.25/128.89 c #Conflicts: 103000 | #Constraints: 309907
128.25/128.89 c #Conflicts: 104000 | #Constraints: 310907
128.25/128.89 c #Conflicts: 105000 | #Constraints: 311907
128.25/128.89 c #Conflicts: 106000 | #Constraints: 312907
128.25/128.89 c #Conflicts: 107000 | #Constraints: 313907
128.25/128.89 c #Conflicts: 108000 | #Constraints: 314907
128.25/128.89 c #Conflicts: 109000 | #Constraints: 315907
128.25/128.89 c #Conflicts: 110000 | #Constraints: 316907
128.25/128.89 c #Conflicts: 111000 | #Constraints: 317907
128.25/128.89 c #Conflicts: 112000 | #Constraints: 318907
128.25/128.89 c #Conflicts: 113000 | #Constraints: 319907
128.25/128.89 c #Conflicts: 114000 | #Constraints: 320907
128.25/128.89 c #Conflicts: 115000 | #Constraints: 321907
128.25/128.89 c #Conflicts: 116000 | #Constraints: 322907
128.25/128.89 c #Conflicts: 117000 | #Constraints: 323907
128.25/128.89 c #Conflicts: 118000 | #Constraints: 324907
128.25/128.89 c #Conflicts: 119000 | #Constraints: 325907
128.25/128.89 c #Conflicts: 120000 | #Constraints: 326907
128.25/128.89 c #Conflicts: 121000 | #Constraints: 327907
128.25/128.89 c INPROCESSING
128.25/128.89 c GARBAGE COLLECT
128.25/128.89 c #Conflicts: 122000 | #Constraints: 310715
128.25/128.89 c #Conflicts: 123000 | #Constraints: 311715
128.25/128.89 c #Conflicts: 124000 | #Constraints: 312715
128.25/128.89 c #Conflicts: 125000 | #Constraints: 313715
128.25/128.89 c #Conflicts: 126000 | #Constraints: 314715
128.25/128.89 c #Conflicts: 127000 | #Constraints: 315715
128.25/128.89 c #Conflicts: 128000 | #Constraints: 316715
128.25/128.89 c #Conflicts: 129000 | #Constraints: 317715
128.25/128.89 c #Conflicts: 130000 | #Constraints: 318715
128.25/128.89 c #Conflicts: 131000 | #Constraints: 319715
128.25/128.89 c #Conflicts: 132000 | #Constraints: 320715
128.25/128.89 c INPROCESSING
128.25/128.89 c GARBAGE COLLECT
128.25/128.89 c #Conflicts: 133000 | #Constraints: 311545
128.25/128.89 c #Conflicts: 134000 | #Constraints: 312545
128.25/128.89 c #Conflicts: 135000 | #Constraints: 313545
128.25/128.89 c #Conflicts: 136000 | #Constraints: 314545
128.25/128.89 c #Conflicts: 137000 | #Constraints: 315545
128.25/128.89 c #Conflicts: 138000 | #Constraints: 316545
128.25/128.89 c #Conflicts: 139000 | #Constraints: 317545
128.25/128.89 c #Conflicts: 140000 | #Constraints: 318545
128.25/128.89 c #Conflicts: 141000 | #Constraints: 319545
128.25/128.89 c #Conflicts: 142000 | #Constraints: 320545
128.25/128.89 c #Conflicts: 143000 | #Constraints: 321545
128.25/128.89 c #Conflicts: 144000 | #Constraints: 322545
128.25/128.89 c #Conflicts: 145000 | #Constraints: 323545
128.25/128.89 c #Conflicts: 146000 | #Constraints: 324545
128.25/128.89 c #Conflicts: 147000 | #Constraints: 325545
128.25/128.89 c #Conflicts: 148000 | #Constraints: 326545
128.25/128.89 c #Conflicts: 149000 | #Constraints: 327545
198.85/199.61 c #Conflicts: 150000 | #Constraints: 328545
198.85/199.61 c #Conflicts: 151000 | #Constraints: 329545
198.85/199.61 c #Conflicts: 152000 | #Constraints: 330545
198.85/199.61 c #Conflicts: 153000 | #Constraints: 331545
198.85/199.61 c #Conflicts: 154000 | #Constraints: 332545
198.85/199.61 c #Conflicts: 155000 | #Constraints: 333545
198.85/199.61 c #Conflicts: 156000 | #Constraints: 334545
198.85/199.61 c INPROCESSING
198.85/199.61 c GARBAGE COLLECT
198.85/199.61 c #Conflicts: 157000 | #Constraints: 314009
198.85/199.61 c #Conflicts: 158000 | #Constraints: 315009
198.85/199.61 c #Conflicts: 159000 | #Constraints: 316009
198.85/199.61 c #Conflicts: 160000 | #Constraints: 317009
198.85/199.61 c #Conflicts: 161000 | #Constraints: 318009
198.85/199.61 c #Conflicts: 162000 | #Constraints: 319009
198.85/199.61 c #Conflicts: 163000 | #Constraints: 320009
198.85/199.61 c #Conflicts: 164000 | #Constraints: 321009
198.85/199.61 c #Conflicts: 165000 | #Constraints: 322009
198.85/199.61 c #Conflicts: 166000 | #Constraints: 323009
198.85/199.61 c #Conflicts: 167000 | #Constraints: 324009
198.85/199.61 c #Conflicts: 168000 | #Constraints: 325009
198.85/199.61 c #Conflicts: 169000 | #Constraints: 326009
198.85/199.61 c #Conflicts: 170000 | #Constraints: 327009
198.85/199.61 c #Conflicts: 171000 | #Constraints: 328009
198.85/199.61 c #Conflicts: 172000 | #Constraints: 329009
198.85/199.61 c #Conflicts: 173000 | #Constraints: 330009
198.85/199.61 c #Conflicts: 174000 | #Constraints: 331009
198.85/199.61 c #Conflicts: 175000 | #Constraints: 332009
198.85/199.61 c #Conflicts: 176000 | #Constraints: 333009
198.85/199.61 c #Conflicts: 177000 | #Constraints: 334009
198.85/199.61 c #Conflicts: 178000 | #Constraints: 335009
198.85/199.61 c #Conflicts: 179000 | #Constraints: 336009
198.85/199.61 c #Conflicts: 180000 | #Constraints: 337009
198.85/199.61 c #Conflicts: 181000 | #Constraints: 338009
198.85/199.61 c #Conflicts: 182000 | #Constraints: 339009
198.85/199.61 c #Conflicts: 183000 | #Constraints: 340009
198.85/199.61 c INPROCESSING
198.85/199.61 c GARBAGE COLLECT
198.85/199.61 c #Conflicts: 184000 | #Constraints: 316941
198.85/199.61 c #Conflicts: 185000 | #Constraints: 317941
198.85/199.61 c #Conflicts: 186000 | #Constraints: 318941
198.85/199.61 c #Conflicts: 187000 | #Constraints: 319941
198.85/199.61 c #Conflicts: 188000 | #Constraints: 320941
198.85/199.61 c #Conflicts: 189000 | #Constraints: 321941
198.85/199.61 c #Conflicts: 190000 | #Constraints: 322941
198.85/199.61 c #Conflicts: 191000 | #Constraints: 323941
198.85/199.61 c #Conflicts: 192000 | #Constraints: 324941
198.85/199.61 c #Conflicts: 193000 | #Constraints: 325941
198.85/199.61 c #Conflicts: 194000 | #Constraints: 326941
198.85/199.61 c #Conflicts: 195000 | #Constraints: 327941
198.85/199.61 c #Conflicts: 196000 | #Constraints: 328941
198.85/199.61 c #Conflicts: 197000 | #Constraints: 329941
198.85/199.61 c #Conflicts: 198000 | #Constraints: 330941
198.85/199.61 c #Conflicts: 199000 | #Constraints: 331941
198.85/199.61 c #Conflicts: 200000 | #Constraints: 332941
198.85/199.61 c #Conflicts: 201000 | #Constraints: 333941
198.85/199.61 c #Conflicts: 202000 | #Constraints: 334941
198.85/199.61 c #Conflicts: 203000 | #Constraints: 335941
198.85/199.61 c #Conflicts: 204000 | #Constraints: 336941
198.85/199.61 c #Conflicts: 205000 | #Constraints: 337941
198.85/199.61 c #Conflicts: 206000 | #Constraints: 338941
198.85/199.61 c #Conflicts: 207000 | #Constraints: 339941
198.85/199.61 c #Conflicts: 208000 | #Constraints: 340941
198.85/199.61 c #Conflicts: 209000 | #Constraints: 341941
198.85/199.61 c #Conflicts: 210000 | #Constraints: 342941
198.85/199.61 c #Conflicts: 211000 | #Constraints: 343941
198.85/199.61 c #Conflicts: 212000 | #Constraints: 344941
198.85/199.61 c INPROCESSING
198.85/199.61 c GARBAGE COLLECT
198.85/199.61 c #Conflicts: 213000 | #Constraints: 319881
198.85/199.61 c #Conflicts: 214000 | #Constraints: 320881
198.85/199.61 c #Conflicts: 215000 | #Constraints: 321881
198.85/199.61 c #Conflicts: 216000 | #Constraints: 322881
198.85/199.61 c #Conflicts: 217000 | #Constraints: 323881
198.85/199.61 c #Conflicts: 218000 | #Constraints: 324881
198.85/199.61 c #Conflicts: 219000 | #Constraints: 325881
198.85/199.61 c #Conflicts: 220000 | #Constraints: 326881
198.85/199.61 c #Conflicts: 221000 | #Constraints: 327881
198.85/199.61 c #Conflicts: 222000 | #Constraints: 328881
198.85/199.61 c #Conflicts: 223000 | #Constraints: 329881
198.85/199.61 c #Conflicts: 224000 | #Constraints: 330881
198.85/199.61 c #Conflicts: 225000 | #Constraints: 331881
198.85/199.61 c #Conflicts: 226000 | #Constraints: 332881
266.72/267.71 c #Conflicts: 227000 | #Constraints: 333881
266.72/267.71 c #Conflicts: 228000 | #Constraints: 334881
266.72/267.71 c #Conflicts: 229000 | #Constraints: 335881
266.72/267.71 c #Conflicts: 230000 | #Constraints: 336881
266.72/267.71 c #Conflicts: 231000 | #Constraints: 337881
266.72/267.71 c #Conflicts: 232000 | #Constraints: 338881
266.72/267.71 c #Conflicts: 233000 | #Constraints: 339881
266.72/267.71 c #Conflicts: 234000 | #Constraints: 340881
266.72/267.71 c #Conflicts: 235000 | #Constraints: 341881
266.72/267.71 c #Conflicts: 236000 | #Constraints: 342881
266.72/267.71 c #Conflicts: 237000 | #Constraints: 343881
266.72/267.71 c #Conflicts: 238000 | #Constraints: 344881
266.72/267.71 c #Conflicts: 239000 | #Constraints: 345881
266.72/267.71 c #Conflicts: 240000 | #Constraints: 346881
266.72/267.71 c #Conflicts: 241000 | #Constraints: 347881
266.72/267.71 c #Conflicts: 242000 | #Constraints: 348881
266.72/267.71 c #Conflicts: 243000 | #Constraints: 349881
266.72/267.71 c INPROCESSING
266.72/267.71 c GARBAGE COLLECT
266.72/267.71 c #Conflicts: 244000 | #Constraints: 321680
266.72/267.71 c #Conflicts: 245000 | #Constraints: 322680
266.72/267.71 c #Conflicts: 246000 | #Constraints: 323680
266.72/267.71 c #Conflicts: 247000 | #Constraints: 324680
266.72/267.71 c #Conflicts: 248000 | #Constraints: 325680
266.72/267.71 c #Conflicts: 249000 | #Constraints: 326680
266.72/267.71 c #Conflicts: 250000 | #Constraints: 327680
266.72/267.71 c #Conflicts: 251000 | #Constraints: 328680
266.72/267.71 c #Conflicts: 252000 | #Constraints: 329680
266.72/267.71 c #Conflicts: 253000 | #Constraints: 330680
266.72/267.71 c #Conflicts: 254000 | #Constraints: 331680
266.72/267.71 c #Conflicts: 255000 | #Constraints: 332680
266.72/267.71 c #Conflicts: 256000 | #Constraints: 333680
266.72/267.71 c #Conflicts: 257000 | #Constraints: 334680
266.72/267.71 c #Conflicts: 258000 | #Constraints: 335680
266.72/267.71 c #Conflicts: 259000 | #Constraints: 336680
266.72/267.71 c #Conflicts: 260000 | #Constraints: 337680
266.72/267.71 c #Conflicts: 261000 | #Constraints: 338680
266.72/267.71 c #Conflicts: 262000 | #Constraints: 339680
266.72/267.71 c #Conflicts: 263000 | #Constraints: 340680
266.72/267.71 c #Conflicts: 264000 | #Constraints: 341680
266.72/267.71 c #Conflicts: 265000 | #Constraints: 342680
266.72/267.71 c #Conflicts: 266000 | #Constraints: 343680
266.72/267.71 c #Conflicts: 267000 | #Constraints: 344680
266.72/267.71 c #Conflicts: 268000 | #Constraints: 345680
266.72/267.71 c #Conflicts: 269000 | #Constraints: 346680
266.72/267.71 c #Conflicts: 270000 | #Constraints: 347680
266.72/267.71 c #Conflicts: 271000 | #Constraints: 348680
266.72/267.71 c #Conflicts: 272000 | #Constraints: 349680
266.72/267.71 c #Conflicts: 273000 | #Constraints: 350680
266.72/267.71 c #Conflicts: 274000 | #Constraints: 351680
266.72/267.71 c #Conflicts: 275000 | #Constraints: 352680
266.72/267.71 c #Conflicts: 276000 | #Constraints: 353680
266.72/267.71 c INPROCESSING
266.72/267.71 c GARBAGE COLLECT
266.72/267.71 c #Conflicts: 277000 | #Constraints: 324247
266.72/267.71 c #Conflicts: 278000 | #Constraints: 325247
266.72/267.71 c #Conflicts: 279000 | #Constraints: 326247
266.72/267.71 c #Conflicts: 280000 | #Constraints: 327247
266.72/267.71 c #Conflicts: 281000 | #Constraints: 328247
266.72/267.71 c #Conflicts: 282000 | #Constraints: 329247
266.72/267.71 c #Conflicts: 283000 | #Constraints: 330247
266.72/267.71 c #Conflicts: 284000 | #Constraints: 331247
266.72/267.71 c #Conflicts: 285000 | #Constraints: 332247
266.72/267.71 c #Conflicts: 286000 | #Constraints: 333247
266.72/267.71 c #Conflicts: 287000 | #Constraints: 334247
266.72/267.71 c #Conflicts: 288000 | #Constraints: 335247
266.72/267.71 c #Conflicts: 289000 | #Constraints: 336247
266.72/267.71 c #Conflicts: 290000 | #Constraints: 337247
266.72/267.71 c #Conflicts: 291000 | #Constraints: 338247
266.72/267.71 c #Conflicts: 292000 | #Constraints: 339247
266.72/267.71 c #Conflicts: 293000 | #Constraints: 340247
266.72/267.71 c #Conflicts: 294000 | #Constraints: 341247
266.72/267.71 c #Conflicts: 295000 | #Constraints: 342247
266.72/267.71 c #Conflicts: 296000 | #Constraints: 343247
266.72/267.71 c #Conflicts: 297000 | #Constraints: 344247
266.72/267.71 c #Conflicts: 298000 | #Constraints: 345247
266.72/267.71 c #Conflicts: 299000 | #Constraints: 346247
266.72/267.71 c #Conflicts: 300000 | #Constraints: 347247
266.72/267.71 c #Conflicts: 301000 | #Constraints: 348247
266.72/267.71 c #Conflicts: 302000 | #Constraints: 349247
266.72/267.71 c #Conflicts: 303000 | #Constraints: 350247
266.72/267.71 c #Conflicts: 304000 | #Constraints: 351247
345.60/346.97 c #Conflicts: 305000 | #Constraints: 352247
345.60/346.97 c #Conflicts: 306000 | #Constraints: 353247
345.60/346.97 c #Conflicts: 307000 | #Constraints: 354247
345.60/346.97 c #Conflicts: 308000 | #Constraints: 355247
345.60/346.97 c #Conflicts: 309000 | #Constraints: 356247
345.60/346.97 c #Conflicts: 310000 | #Constraints: 357247
345.60/346.97 c INPROCESSING
345.60/346.97 c GARBAGE COLLECT
345.60/346.97 c #Conflicts: 311000 | #Constraints: 326480
345.60/346.97 c #Conflicts: 312000 | #Constraints: 327480
345.60/346.97 c #Conflicts: 313000 | #Constraints: 328480
345.60/346.97 c #Conflicts: 314000 | #Constraints: 329480
345.60/346.97 c #Conflicts: 315000 | #Constraints: 330480
345.60/346.97 c #Conflicts: 316000 | #Constraints: 331480
345.60/346.97 c #Conflicts: 317000 | #Constraints: 332480
345.60/346.97 c #Conflicts: 318000 | #Constraints: 333480
345.60/346.97 c #Conflicts: 319000 | #Constraints: 334480
345.60/346.97 c #Conflicts: 320000 | #Constraints: 335480
345.60/346.97 c #Conflicts: 321000 | #Constraints: 336480
345.60/346.97 c #Conflicts: 322000 | #Constraints: 337480
345.60/346.97 c #Conflicts: 323000 | #Constraints: 338480
345.60/346.97 c #Conflicts: 324000 | #Constraints: 339480
345.60/346.97 c #Conflicts: 325000 | #Constraints: 340480
345.60/346.97 c #Conflicts: 326000 | #Constraints: 341480
345.60/346.97 c #Conflicts: 327000 | #Constraints: 342480
345.60/346.97 c #Conflicts: 328000 | #Constraints: 343480
345.60/346.97 c #Conflicts: 329000 | #Constraints: 344480
345.60/346.97 c #Conflicts: 330000 | #Constraints: 345480
345.60/346.97 c #Conflicts: 331000 | #Constraints: 346480
345.60/346.97 c #Conflicts: 332000 | #Constraints: 347480
345.60/346.97 c #Conflicts: 333000 | #Constraints: 348480
345.60/346.97 c #Conflicts: 334000 | #Constraints: 349480
345.60/346.97 c #Conflicts: 335000 | #Constraints: 350480
345.60/346.97 c #Conflicts: 336000 | #Constraints: 351480
345.60/346.97 c #Conflicts: 337000 | #Constraints: 352480
345.60/346.97 c #Conflicts: 338000 | #Constraints: 353480
345.60/346.97 c #Conflicts: 339000 | #Constraints: 354480
345.60/346.97 c #Conflicts: 340000 | #Constraints: 355480
345.60/346.97 c #Conflicts: 341000 | #Constraints: 356480
345.60/346.97 c #Conflicts: 342000 | #Constraints: 357480
345.60/346.97 c #Conflicts: 343000 | #Constraints: 358480
345.60/346.97 c #Conflicts: 344000 | #Constraints: 359480
345.60/346.97 c #Conflicts: 345000 | #Constraints: 360480
345.60/346.97 c #Conflicts: 346000 | #Constraints: 361480
345.60/346.97 c #Conflicts: 347000 | #Constraints: 362480
345.60/346.97 c INPROCESSING
345.60/346.97 c GARBAGE COLLECT
345.60/346.97 c #Conflicts: 348000 | #Constraints: 328478
345.60/346.97 c #Conflicts: 349000 | #Constraints: 329478
345.60/346.97 c #Conflicts: 350000 | #Constraints: 330478
345.60/346.97 c #Conflicts: 351000 | #Constraints: 331478
345.60/346.97 c #Conflicts: 352000 | #Constraints: 332478
345.60/346.97 c #Conflicts: 353000 | #Constraints: 333478
345.60/346.97 c #Conflicts: 354000 | #Constraints: 334478
345.60/346.97 c #Conflicts: 355000 | #Constraints: 335478
345.60/346.97 c #Conflicts: 356000 | #Constraints: 336478
345.60/346.97 c #Conflicts: 357000 | #Constraints: 337478
345.60/346.97 c #Conflicts: 358000 | #Constraints: 338478
345.60/346.97 c #Conflicts: 359000 | #Constraints: 339478
345.60/346.97 c #Conflicts: 360000 | #Constraints: 340478
345.60/346.97 c #Conflicts: 361000 | #Constraints: 341478
345.60/346.97 c #Conflicts: 362000 | #Constraints: 342478
345.60/346.97 c #Conflicts: 363000 | #Constraints: 343478
345.60/346.97 c #Conflicts: 364000 | #Constraints: 344478
345.60/346.97 c #Conflicts: 365000 | #Constraints: 345478
345.60/346.97 c #Conflicts: 366000 | #Constraints: 346478
345.60/346.97 c #Conflicts: 367000 | #Constraints: 347478
345.60/346.97 c #Conflicts: 368000 | #Constraints: 348478
345.60/346.97 c #Conflicts: 369000 | #Constraints: 349478
345.60/346.97 c #Conflicts: 370000 | #Constraints: 350478
345.60/346.97 c #Conflicts: 371000 | #Constraints: 351478
345.60/346.97 c #Conflicts: 372000 | #Constraints: 352478
345.60/346.97 c #Conflicts: 373000 | #Constraints: 353478
345.60/346.97 c #Conflicts: 374000 | #Constraints: 354478
345.60/346.97 c #Conflicts: 375000 | #Constraints: 355478
345.60/346.97 c #Conflicts: 376000 | #Constraints: 356478
345.60/346.97 c #Conflicts: 377000 | #Constraints: 357478
345.60/346.97 c #Conflicts: 378000 | #Constraints: 358478
345.60/346.97 c #Conflicts: 379000 | #Constraints: 359478
345.60/346.97 c #Conflicts: 380000 | #Constraints: 360478
345.60/346.97 c #Conflicts: 381000 | #Constraints: 361478
418.28/419.87 c #Conflicts: 382000 | #Constraints: 362478
418.28/419.87 c #Conflicts: 383000 | #Constraints: 363478
418.28/419.87 c #Conflicts: 384000 | #Constraints: 364478
418.28/419.87 c #Conflicts: 385000 | #Constraints: 365478
418.28/419.87 c #Conflicts: 386000 | #Constraints: 366478
418.28/419.87 c INPROCESSING
418.28/419.87 c GARBAGE COLLECT
418.28/419.87 c #Conflicts: 387000 | #Constraints: 330544
418.28/419.87 c #Conflicts: 388000 | #Constraints: 331544
418.28/419.87 c #Conflicts: 389000 | #Constraints: 332544
418.28/419.87 c #Conflicts: 390000 | #Constraints: 333544
418.28/419.87 c #Conflicts: 391000 | #Constraints: 334544
418.28/419.87 c #Conflicts: 392000 | #Constraints: 335544
418.28/419.87 c #Conflicts: 393000 | #Constraints: 336544
418.28/419.87 c #Conflicts: 394000 | #Constraints: 337544
418.28/419.87 c #Conflicts: 395000 | #Constraints: 338544
418.28/419.87 c #Conflicts: 396000 | #Constraints: 339544
418.28/419.87 c #Conflicts: 397000 | #Constraints: 340544
418.28/419.87 c #Conflicts: 398000 | #Constraints: 341544
418.28/419.87 c #Conflicts: 399000 | #Constraints: 342544
418.28/419.87 c #Conflicts: 400000 | #Constraints: 343544
418.28/419.87 c #Conflicts: 401000 | #Constraints: 344544
418.28/419.87 c #Conflicts: 402000 | #Constraints: 345544
418.28/419.87 c #Conflicts: 403000 | #Constraints: 346544
418.28/419.87 c #Conflicts: 404000 | #Constraints: 347544
418.28/419.87 c #Conflicts: 405000 | #Constraints: 348544
418.28/419.87 c #Conflicts: 406000 | #Constraints: 349544
418.28/419.87 c #Conflicts: 407000 | #Constraints: 350544
418.28/419.87 c #Conflicts: 408000 | #Constraints: 351544
418.28/419.87 c #Conflicts: 409000 | #Constraints: 352544
418.28/419.87 c #Conflicts: 410000 | #Constraints: 353544
418.28/419.87 c #Conflicts: 411000 | #Constraints: 354544
418.28/419.87 c #Conflicts: 412000 | #Constraints: 355544
418.28/419.87 c #Conflicts: 413000 | #Constraints: 356544
418.28/419.87 c #Conflicts: 414000 | #Constraints: 357544
418.28/419.87 c #Conflicts: 415000 | #Constraints: 358544
418.28/419.87 c #Conflicts: 416000 | #Constraints: 359544
418.28/419.87 c #Conflicts: 417000 | #Constraints: 360544
418.28/419.87 c #Conflicts: 418000 | #Constraints: 361544
418.28/419.87 c #Conflicts: 419000 | #Constraints: 362544
418.28/419.87 c #Conflicts: 420000 | #Constraints: 363544
418.28/419.87 c #Conflicts: 421000 | #Constraints: 364544
418.28/419.87 c #Conflicts: 422000 | #Constraints: 365544
418.28/419.87 c #Conflicts: 423000 | #Constraints: 366544
418.28/419.87 c #Conflicts: 424000 | #Constraints: 367544
418.28/419.87 c #Conflicts: 425000 | #Constraints: 368544
418.28/419.87 c #Conflicts: 426000 | #Constraints: 369544
418.28/419.87 c #Conflicts: 427000 | #Constraints: 370544
418.28/419.87 c INPROCESSING
418.28/419.87 c GARBAGE COLLECT
418.28/419.87 c #Conflicts: 428000 | #Constraints: 334010
418.28/419.87 c #Conflicts: 429000 | #Constraints: 335010
418.28/419.87 c #Conflicts: 430000 | #Constraints: 336010
418.28/419.87 c #Conflicts: 431000 | #Constraints: 337010
418.28/419.87 c #Conflicts: 432000 | #Constraints: 338010
418.28/419.87 c #Conflicts: 433000 | #Constraints: 339010
418.28/419.87 c #Conflicts: 434000 | #Constraints: 340010
418.28/419.87 c #Conflicts: 435000 | #Constraints: 341010
418.28/419.87 c #Conflicts: 436000 | #Constraints: 342010
418.28/419.87 c #Conflicts: 437000 | #Constraints: 343010
418.28/419.87 c #Conflicts: 438000 | #Constraints: 344010
418.28/419.87 c #Conflicts: 439000 | #Constraints: 345010
418.28/419.87 c #Conflicts: 440000 | #Constraints: 346010
418.28/419.87 c #Conflicts: 441000 | #Constraints: 347010
418.28/419.87 c #Conflicts: 442000 | #Constraints: 348010
418.28/419.87 c #Conflicts: 443000 | #Constraints: 349010
418.28/419.87 c #Conflicts: 444000 | #Constraints: 350010
418.28/419.87 c #Conflicts: 445000 | #Constraints: 351010
418.28/419.87 c #Conflicts: 446000 | #Constraints: 352010
418.28/419.87 c #Conflicts: 447000 | #Constraints: 353010
418.28/419.87 c #Conflicts: 448000 | #Constraints: 354010
418.28/419.87 c #Conflicts: 449000 | #Constraints: 355010
418.28/419.87 c #Conflicts: 450000 | #Constraints: 356010
418.28/419.87 c #Conflicts: 451000 | #Constraints: 357010
418.28/419.87 c #Conflicts: 452000 | #Constraints: 358010
418.28/419.87 c #Conflicts: 453000 | #Constraints: 359010
418.28/419.87 c #Conflicts: 454000 | #Constraints: 360010
418.28/419.87 c #Conflicts: 455000 | #Constraints: 361010
418.28/419.87 c #Conflicts: 456000 | #Constraints: 362010
418.28/419.87 c #Conflicts: 457000 | #Constraints: 363010
418.28/419.87 c #Conflicts: 458000 | #Constraints: 364010
418.28/419.87 c #Conflicts: 459000 | #Constraints: 365010
478.17/479.90 c #Conflicts: 460000 | #Constraints: 366010
478.17/479.90 c #Conflicts: 461000 | #Constraints: 367010
478.17/479.90 c #Conflicts: 462000 | #Constraints: 368010
478.17/479.90 c #Conflicts: 463000 | #Constraints: 369010
478.17/479.90 c #Conflicts: 464000 | #Constraints: 370010
478.17/479.90 c #Conflicts: 465000 | #Constraints: 371010
478.17/479.90 c #Conflicts: 466000 | #Constraints: 372010
478.17/479.90 c #Conflicts: 467000 | #Constraints: 373010
478.17/479.90 c #Conflicts: 468000 | #Constraints: 374010
478.17/479.90 c #Conflicts: 469000 | #Constraints: 375010
478.17/479.90 c #Conflicts: 470000 | #Constraints: 376010
478.17/479.90 c INPROCESSING
478.17/479.90 c GARBAGE COLLECT
478.17/479.90 c #Conflicts: 471000 | #Constraints: 336377
478.17/479.90 c #Conflicts: 472000 | #Constraints: 337377
478.17/479.90 c #Conflicts: 473000 | #Constraints: 338377
478.17/479.90 c #Conflicts: 474000 | #Constraints: 339377
478.17/479.90 c #Conflicts: 475000 | #Constraints: 340377
478.17/479.90 c #Conflicts: 476000 | #Constraints: 341377
478.17/479.90 c #Conflicts: 477000 | #Constraints: 342377
478.17/479.90 c #Conflicts: 478000 | #Constraints: 343377
478.17/479.90 c #Conflicts: 479000 | #Constraints: 344377
478.17/479.90 c #Conflicts: 480000 | #Constraints: 345377
478.17/479.90 c #Conflicts: 481000 | #Constraints: 346377
478.17/479.90 c #Conflicts: 482000 | #Constraints: 347377
478.17/479.90 c #Conflicts: 483000 | #Constraints: 348377
478.17/479.90 c #Conflicts: 484000 | #Constraints: 349377
478.17/479.90 c #Conflicts: 485000 | #Constraints: 350377
478.17/479.90 c #Conflicts: 486000 | #Constraints: 351377
478.17/479.90 c #Conflicts: 487000 | #Constraints: 352377
478.17/479.90 c #Conflicts: 488000 | #Constraints: 353377
478.17/479.90 c #Conflicts: 489000 | #Constraints: 354377
478.17/479.90 c #Conflicts: 490000 | #Constraints: 355377
478.17/479.90 c #Conflicts: 491000 | #Constraints: 356377
478.17/479.90 c #Conflicts: 492000 | #Constraints: 357377
478.17/479.90 c #Conflicts: 493000 | #Constraints: 358377
478.17/479.90 c #Conflicts: 494000 | #Constraints: 359377
478.17/479.90 c #Conflicts: 495000 | #Constraints: 360377
478.17/479.90 c #Conflicts: 496000 | #Constraints: 361377
478.17/479.90 c #Conflicts: 497000 | #Constraints: 362377
478.17/479.90 c #Conflicts: 498000 | #Constraints: 363377
478.17/479.90 c #Conflicts: 499000 | #Constraints: 364377
478.17/479.90 c #Conflicts: 500000 | #Constraints: 365377
478.17/479.90 c #Conflicts: 501000 | #Constraints: 366377
478.17/479.90 c #Conflicts: 502000 | #Constraints: 367377
478.17/479.90 c #Conflicts: 503000 | #Constraints: 368377
478.17/479.90 c #Conflicts: 504000 | #Constraints: 369377
478.17/479.90 c #Conflicts: 505000 | #Constraints: 370377
478.17/479.90 c #Conflicts: 506000 | #Constraints: 371377
478.17/479.90 c #Conflicts: 507000 | #Constraints: 372377
478.17/479.90 c #Conflicts: 508000 | #Constraints: 373377
478.17/479.90 c #Conflicts: 509000 | #Constraints: 374377
478.17/479.90 c #Conflicts: 510000 | #Constraints: 375377
478.17/479.90 c #Conflicts: 511000 | #Constraints: 376377
478.17/479.90 c #Conflicts: 512000 | #Constraints: 377377
478.17/479.90 c #Conflicts: 513000 | #Constraints: 378377
478.17/479.90 c #Conflicts: 514000 | #Constraints: 379377
478.17/479.90 c INPROCESSING
478.17/479.90 c GARBAGE COLLECT
478.17/479.90 c #Conflicts: 515000 | #Constraints: 338335
478.17/479.90 c #Conflicts: 516000 | #Constraints: 339335
478.17/479.90 c #Conflicts: 517000 | #Constraints: 340335
478.17/479.90 c #Conflicts: 518000 | #Constraints: 341335
478.17/479.90 c #Conflicts: 519000 | #Constraints: 342335
478.17/479.90 c #Conflicts: 520000 | #Constraints: 343335
478.17/479.90 c #Conflicts: 521000 | #Constraints: 344335
478.17/479.90 c #Conflicts: 522000 | #Constraints: 345335
478.17/479.90 c #Conflicts: 523000 | #Constraints: 346335
478.17/479.90 c #Conflicts: 524000 | #Constraints: 347335
478.17/479.90 c #Conflicts: 525000 | #Constraints: 348335
478.17/479.90 c #Conflicts: 526000 | #Constraints: 349335
478.17/479.90 c #Conflicts: 527000 | #Constraints: 350335
478.17/479.90 c #Conflicts: 528000 | #Constraints: 351335
478.17/479.90 c #Conflicts: 529000 | #Constraints: 352335
478.17/479.90 c #Conflicts: 530000 | #Constraints: 353335
478.17/479.90 c #Conflicts: 531000 | #Constraints: 354335
478.17/479.90 c #Conflicts: 532000 | #Constraints: 355335
478.17/479.90 c #Conflicts: 533000 | #Constraints: 356335
478.17/479.90 c #Conflicts: 534000 | #Constraints: 357335
478.17/479.90 c #Conflicts: 535000 | #Constraints: 358335
478.17/479.90 c #Conflicts: 536000 | #Constraints: 359335
565.11/567.13 c #Conflicts: 537000 | #Constraints: 360335
565.11/567.13 c #Conflicts: 538000 | #Constraints: 361335
565.11/567.13 c #Conflicts: 539000 | #Constraints: 362335
565.11/567.13 c #Conflicts: 540000 | #Constraints: 363335
565.11/567.13 c #Conflicts: 541000 | #Constraints: 364335
565.11/567.13 c #Conflicts: 542000 | #Constraints: 365335
565.11/567.13 c #Conflicts: 543000 | #Constraints: 366335
565.11/567.13 c #Conflicts: 544000 | #Constraints: 367335
565.11/567.13 c #Conflicts: 545000 | #Constraints: 368335
565.11/567.13 c #Conflicts: 546000 | #Constraints: 369335
565.11/567.13 c #Conflicts: 547000 | #Constraints: 370335
565.11/567.13 c #Conflicts: 548000 | #Constraints: 371335
565.11/567.13 c #Conflicts: 549000 | #Constraints: 372335
565.11/567.13 c #Conflicts: 550000 | #Constraints: 373335
565.11/567.13 c #Conflicts: 551000 | #Constraints: 374335
565.11/567.13 c #Conflicts: 552000 | #Constraints: 375335
565.11/567.13 c #Conflicts: 553000 | #Constraints: 376335
565.11/567.13 c #Conflicts: 554000 | #Constraints: 377335
565.11/567.13 c #Conflicts: 555000 | #Constraints: 378335
565.11/567.13 c #Conflicts: 556000 | #Constraints: 379335
565.11/567.13 c #Conflicts: 557000 | #Constraints: 380335
565.11/567.13 c #Conflicts: 558000 | #Constraints: 381335
565.11/567.13 c #Conflicts: 559000 | #Constraints: 382335
565.11/567.13 c #Conflicts: 560000 | #Constraints: 383335
565.11/567.13 c #Conflicts: 561000 | #Constraints: 384335
565.11/567.13 c INPROCESSING
565.11/567.13 c GARBAGE COLLECT
565.11/567.13 c #Conflicts: 562000 | #Constraints: 341603
565.11/567.13 c #Conflicts: 563000 | #Constraints: 342603
565.11/567.13 c #Conflicts: 564000 | #Constraints: 343603
565.11/567.13 c #Conflicts: 565000 | #Constraints: 344603
565.11/567.13 c #Conflicts: 566000 | #Constraints: 345603
565.11/567.13 c #Conflicts: 567000 | #Constraints: 346603
565.11/567.13 c #Conflicts: 568000 | #Constraints: 347603
565.11/567.13 c #Conflicts: 569000 | #Constraints: 348603
565.11/567.13 c #Conflicts: 570000 | #Constraints: 349603
565.11/567.13 c #Conflicts: 571000 | #Constraints: 350603
565.11/567.13 c #Conflicts: 572000 | #Constraints: 351603
565.11/567.13 c #Conflicts: 573000 | #Constraints: 352603
565.11/567.13 c #Conflicts: 574000 | #Constraints: 353603
565.11/567.13 c #Conflicts: 575000 | #Constraints: 354603
565.11/567.13 c #Conflicts: 576000 | #Constraints: 355603
565.11/567.13 c #Conflicts: 577000 | #Constraints: 356603
565.11/567.13 c #Conflicts: 578000 | #Constraints: 357603
565.11/567.13 c #Conflicts: 579000 | #Constraints: 358603
565.11/567.13 c #Conflicts: 580000 | #Constraints: 359603
565.11/567.13 c #Conflicts: 581000 | #Constraints: 360603
565.11/567.13 c #Conflicts: 582000 | #Constraints: 361603
565.11/567.13 c #Conflicts: 583000 | #Constraints: 362603
565.11/567.13 c #Conflicts: 584000 | #Constraints: 363603
565.11/567.13 c #Conflicts: 585000 | #Constraints: 364603
565.11/567.13 c #Conflicts: 586000 | #Constraints: 365603
565.11/567.13 c #Conflicts: 587000 | #Constraints: 366603
565.11/567.13 c #Conflicts: 588000 | #Constraints: 367603
565.11/567.13 c #Conflicts: 589000 | #Constraints: 368603
565.11/567.13 c #Conflicts: 590000 | #Constraints: 369603
565.11/567.13 c #Conflicts: 591000 | #Constraints: 370603
565.11/567.13 c #Conflicts: 592000 | #Constraints: 371603
565.11/567.13 c #Conflicts: 593000 | #Constraints: 372603
565.11/567.13 c #Conflicts: 594000 | #Constraints: 373603
565.11/567.13 c #Conflicts: 595000 | #Constraints: 374603
565.11/567.13 c #Conflicts: 596000 | #Constraints: 375603
565.11/567.13 c #Conflicts: 597000 | #Constraints: 376603
565.11/567.13 c #Conflicts: 598000 | #Constraints: 377603
565.11/567.13 c #Conflicts: 599000 | #Constraints: 378603
565.11/567.13 c #Conflicts: 600000 | #Constraints: 379603
565.11/567.13 c #Conflicts: 601000 | #Constraints: 380603
565.11/567.13 c #Conflicts: 602000 | #Constraints: 381603
565.11/567.13 c #Conflicts: 603000 | #Constraints: 382603
565.11/567.13 c #Conflicts: 604000 | #Constraints: 383603
565.11/567.13 c #Conflicts: 605000 | #Constraints: 384603
565.11/567.13 c #Conflicts: 606000 | #Constraints: 385603
565.11/567.13 c #Conflicts: 607000 | #Constraints: 386603
565.11/567.13 c #Conflicts: 608000 | #Constraints: 387603
565.11/567.13 c #Conflicts: 609000 | #Constraints: 388603
565.11/567.13 c #Conflicts: 610000 | #Constraints: 389603
565.11/567.13 c INPROCESSING
565.11/567.13 c GARBAGE COLLECT
565.11/567.13 c #Conflicts: 611000 | #Constraints: 344866
565.11/567.13 c #Conflicts: 612000 | #Constraints: 345866
565.11/567.13 c #Conflicts: 613000 | #Constraints: 346866
565.11/567.13 c #Conflicts: 614000 | #Constraints: 347866
641.15/643.41 c #Conflicts: 615000 | #Constraints: 348866
641.15/643.41 c #Conflicts: 616000 | #Constraints: 349866
641.15/643.41 c #Conflicts: 617000 | #Constraints: 350866
641.15/643.41 c #Conflicts: 618000 | #Constraints: 351866
641.15/643.41 c #Conflicts: 619000 | #Constraints: 352866
641.15/643.41 c #Conflicts: 620000 | #Constraints: 353866
641.15/643.41 c #Conflicts: 621000 | #Constraints: 354866
641.15/643.41 c #Conflicts: 622000 | #Constraints: 355866
641.15/643.41 c #Conflicts: 623000 | #Constraints: 356866
641.15/643.41 c #Conflicts: 624000 | #Constraints: 357866
641.15/643.41 c #Conflicts: 625000 | #Constraints: 358866
641.15/643.41 c #Conflicts: 626000 | #Constraints: 359866
641.15/643.41 c #Conflicts: 627000 | #Constraints: 360866
641.15/643.41 c #Conflicts: 628000 | #Constraints: 361866
641.15/643.41 c #Conflicts: 629000 | #Constraints: 362866
641.15/643.41 c #Conflicts: 630000 | #Constraints: 363866
641.15/643.41 c #Conflicts: 631000 | #Constraints: 364866
641.15/643.41 c #Conflicts: 632000 | #Constraints: 365866
641.15/643.41 c #Conflicts: 633000 | #Constraints: 366866
641.15/643.41 c #Conflicts: 634000 | #Constraints: 367866
641.15/643.41 c #Conflicts: 635000 | #Constraints: 368866
641.15/643.41 c #Conflicts: 636000 | #Constraints: 369866
641.15/643.41 c #Conflicts: 637000 | #Constraints: 370866
641.15/643.41 c #Conflicts: 638000 | #Constraints: 371866
641.15/643.41 c #Conflicts: 639000 | #Constraints: 372866
641.15/643.41 c #Conflicts: 640000 | #Constraints: 373866
641.15/643.41 c #Conflicts: 641000 | #Constraints: 374866
641.15/643.41 c #Conflicts: 642000 | #Constraints: 375866
641.15/643.41 c #Conflicts: 643000 | #Constraints: 376866
641.15/643.41 c #Conflicts: 644000 | #Constraints: 377866
641.15/643.41 c #Conflicts: 645000 | #Constraints: 378866
641.15/643.41 c #Conflicts: 646000 | #Constraints: 379866
641.15/643.41 c #Conflicts: 647000 | #Constraints: 380866
641.15/643.41 c #Conflicts: 648000 | #Constraints: 381866
641.15/643.41 c #Conflicts: 649000 | #Constraints: 382866
641.15/643.41 c #Conflicts: 650000 | #Constraints: 383866
641.15/643.41 c #Conflicts: 651000 | #Constraints: 384866
641.15/643.41 c #Conflicts: 652000 | #Constraints: 385866
641.15/643.41 c #Conflicts: 653000 | #Constraints: 386866
641.15/643.41 c #Conflicts: 654000 | #Constraints: 387866
641.15/643.41 c #Conflicts: 655000 | #Constraints: 388866
641.15/643.41 c #Conflicts: 656000 | #Constraints: 389866
641.15/643.41 c #Conflicts: 657000 | #Constraints: 390866
641.15/643.41 c #Conflicts: 658000 | #Constraints: 391866
641.15/643.41 c #Conflicts: 659000 | #Constraints: 392866
641.15/643.41 c #Conflicts: 660000 | #Constraints: 393866
641.15/643.41 c #Conflicts: 661000 | #Constraints: 394866
641.15/643.41 c INPROCESSING
641.15/643.41 c GARBAGE COLLECT
641.15/643.41 c #Conflicts: 662000 | #Constraints: 347944
641.15/643.41 c #Conflicts: 663000 | #Constraints: 348944
641.15/643.41 c #Conflicts: 664000 | #Constraints: 349944
641.15/643.41 c #Conflicts: 665000 | #Constraints: 350944
641.15/643.41 c #Conflicts: 666000 | #Constraints: 351944
641.15/643.41 c #Conflicts: 667000 | #Constraints: 352944
641.15/643.41 c #Conflicts: 668000 | #Constraints: 353944
641.15/643.41 c #Conflicts: 669000 | #Constraints: 354944
641.15/643.41 c #Conflicts: 670000 | #Constraints: 355944
641.15/643.41 c #Conflicts: 671000 | #Constraints: 356944
641.15/643.41 c #Conflicts: 672000 | #Constraints: 357944
641.15/643.41 c #Conflicts: 673000 | #Constraints: 358944
641.15/643.41 c #Conflicts: 674000 | #Constraints: 359944
641.15/643.41 c #Conflicts: 675000 | #Constraints: 360944
641.15/643.41 c #Conflicts: 676000 | #Constraints: 361944
641.15/643.41 c #Conflicts: 677000 | #Constraints: 362944
641.15/643.41 c #Conflicts: 678000 | #Constraints: 363944
641.15/643.41 c #Conflicts: 679000 | #Constraints: 364944
641.15/643.41 c #Conflicts: 680000 | #Constraints: 365944
641.15/643.41 c #Conflicts: 681000 | #Constraints: 366944
641.15/643.41 c #Conflicts: 682000 | #Constraints: 367944
641.15/643.41 c #Conflicts: 683000 | #Constraints: 368944
641.15/643.41 c #Conflicts: 684000 | #Constraints: 369944
641.15/643.41 c #Conflicts: 685000 | #Constraints: 370944
641.15/643.41 c #Conflicts: 686000 | #Constraints: 371944
641.15/643.41 c #Conflicts: 687000 | #Constraints: 372944
641.15/643.41 c #Conflicts: 688000 | #Constraints: 373944
641.15/643.41 c #Conflicts: 689000 | #Constraints: 374944
641.15/643.41 c #Conflicts: 690000 | #Constraints: 375944
641.15/643.41 c #Conflicts: 691000 | #Constraints: 376944
641.15/643.41 c #Conflicts: 692000 | #Constraints: 377944
712.93/715.45 c #Conflicts: 693000 | #Constraints: 378944
712.93/715.45 c #Conflicts: 694000 | #Constraints: 379944
712.93/715.45 c #Conflicts: 695000 | #Constraints: 380944
712.93/715.45 c #Conflicts: 696000 | #Constraints: 381944
712.93/715.45 c #Conflicts: 697000 | #Constraints: 382944
712.93/715.45 c #Conflicts: 698000 | #Constraints: 383944
712.93/715.45 c #Conflicts: 699000 | #Constraints: 384944
712.93/715.45 c #Conflicts: 700000 | #Constraints: 385944
712.93/715.45 c #Conflicts: 701000 | #Constraints: 386944
712.93/715.45 c #Conflicts: 702000 | #Constraints: 387944
712.93/715.45 c #Conflicts: 703000 | #Constraints: 388944
712.93/715.45 c #Conflicts: 704000 | #Constraints: 389944
712.93/715.45 c #Conflicts: 705000 | #Constraints: 390944
712.93/715.45 c #Conflicts: 706000 | #Constraints: 391944
712.93/715.45 c #Conflicts: 707000 | #Constraints: 392944
712.93/715.45 c #Conflicts: 708000 | #Constraints: 393944
712.93/715.45 c #Conflicts: 709000 | #Constraints: 394944
712.93/715.45 c #Conflicts: 710000 | #Constraints: 395944
712.93/715.45 c #Conflicts: 711000 | #Constraints: 396944
712.93/715.45 c #Conflicts: 712000 | #Constraints: 397944
712.93/715.45 c #Conflicts: 713000 | #Constraints: 398944
712.93/715.45 c #Conflicts: 714000 | #Constraints: 399944
712.93/715.45 c INPROCESSING
712.93/715.45 c GARBAGE COLLECT
712.93/715.45 c #Conflicts: 715000 | #Constraints: 350661
712.93/715.45 c #Conflicts: 716000 | #Constraints: 351661
712.93/715.45 c #Conflicts: 717000 | #Constraints: 352661
712.93/715.45 c #Conflicts: 718000 | #Constraints: 353661
712.93/715.45 c #Conflicts: 719000 | #Constraints: 354661
712.93/715.45 c #Conflicts: 720000 | #Constraints: 355661
712.93/715.45 c #Conflicts: 721000 | #Constraints: 356661
712.93/715.45 c #Conflicts: 722000 | #Constraints: 357661
712.93/715.45 c #Conflicts: 723000 | #Constraints: 358661
712.93/715.45 c #Conflicts: 724000 | #Constraints: 359661
712.93/715.45 c #Conflicts: 725000 | #Constraints: 360661
712.93/715.45 c #Conflicts: 726000 | #Constraints: 361661
712.93/715.45 c #Conflicts: 727000 | #Constraints: 362661
712.93/715.45 c #Conflicts: 728000 | #Constraints: 363661
712.93/715.45 c #Conflicts: 729000 | #Constraints: 364661
712.93/715.45 c #Conflicts: 730000 | #Constraints: 365661
712.93/715.45 c #Conflicts: 731000 | #Constraints: 366661
712.93/715.45 c #Conflicts: 732000 | #Constraints: 367661
712.93/715.45 c #Conflicts: 733000 | #Constraints: 368661
712.93/715.45 c #Conflicts: 734000 | #Constraints: 369661
712.93/715.45 c #Conflicts: 735000 | #Constraints: 370661
712.93/715.45 c #Conflicts: 736000 | #Constraints: 371661
712.93/715.45 c #Conflicts: 737000 | #Constraints: 372661
712.93/715.45 c #Conflicts: 738000 | #Constraints: 373661
712.93/715.45 c #Conflicts: 739000 | #Constraints: 374661
712.93/715.45 c #Conflicts: 740000 | #Constraints: 375661
712.93/715.45 c #Conflicts: 741000 | #Constraints: 376661
712.93/715.45 c #Conflicts: 742000 | #Constraints: 377661
712.93/715.45 c #Conflicts: 743000 | #Constraints: 378661
712.93/715.45 c #Conflicts: 744000 | #Constraints: 379661
712.93/715.45 c #Conflicts: 745000 | #Constraints: 380661
712.93/715.45 c #Conflicts: 746000 | #Constraints: 381661
712.93/715.45 c #Conflicts: 747000 | #Constraints: 382661
712.93/715.45 c #Conflicts: 748000 | #Constraints: 383661
712.93/715.45 c #Conflicts: 749000 | #Constraints: 384661
712.93/715.45 c #Conflicts: 750000 | #Constraints: 385661
712.93/715.45 c #Conflicts: 751000 | #Constraints: 386661
712.93/715.45 c #Conflicts: 752000 | #Constraints: 387661
712.93/715.45 c #Conflicts: 753000 | #Constraints: 388661
712.93/715.45 c #Conflicts: 754000 | #Constraints: 389661
712.93/715.45 c #Conflicts: 755000 | #Constraints: 390661
712.93/715.45 c #Conflicts: 756000 | #Constraints: 391661
712.93/715.45 c #Conflicts: 757000 | #Constraints: 392661
712.93/715.45 c #Conflicts: 758000 | #Constraints: 393661
712.93/715.45 c #Conflicts: 759000 | #Constraints: 394661
712.93/715.45 c #Conflicts: 760000 | #Constraints: 395661
712.93/715.45 c #Conflicts: 761000 | #Constraints: 396661
712.93/715.45 c #Conflicts: 762000 | #Constraints: 397661
712.93/715.45 c #Conflicts: 763000 | #Constraints: 398661
712.93/715.45 c #Conflicts: 764000 | #Constraints: 399661
712.93/715.45 c #Conflicts: 765000 | #Constraints: 400661
712.93/715.45 c #Conflicts: 766000 | #Constraints: 401661
712.93/715.45 c #Conflicts: 767000 | #Constraints: 402661
712.93/715.45 c #Conflicts: 768000 | #Constraints: 403661
712.93/715.45 c INPROCESSING
712.93/715.45 c GARBAGE COLLECT
712.93/715.45 c #Conflicts: 769000 | #Constraints: 352496
806.21/809.50 c #Conflicts: 770000 | #Constraints: 353496
806.21/809.50 c #Conflicts: 771000 | #Constraints: 354496
806.21/809.50 c #Conflicts: 772000 | #Constraints: 355496
806.21/809.50 c #Conflicts: 773000 | #Constraints: 356496
806.21/809.50 c #Conflicts: 774000 | #Constraints: 357496
806.21/809.50 c #Conflicts: 775000 | #Constraints: 358496
806.21/809.50 c #Conflicts: 776000 | #Constraints: 359496
806.21/809.50 c #Conflicts: 777000 | #Constraints: 360496
806.21/809.50 c #Conflicts: 778000 | #Constraints: 361496
806.21/809.50 c #Conflicts: 779000 | #Constraints: 362496
806.21/809.50 c #Conflicts: 780000 | #Constraints: 363496
806.21/809.50 c #Conflicts: 781000 | #Constraints: 364496
806.21/809.50 c #Conflicts: 782000 | #Constraints: 365496
806.21/809.50 c #Conflicts: 783000 | #Constraints: 366496
806.21/809.50 c #Conflicts: 784000 | #Constraints: 367496
806.21/809.50 c #Conflicts: 785000 | #Constraints: 368496
806.21/809.50 c #Conflicts: 786000 | #Constraints: 369496
806.21/809.50 c #Conflicts: 787000 | #Constraints: 370496
806.21/809.50 c #Conflicts: 788000 | #Constraints: 371496
806.21/809.50 c #Conflicts: 789000 | #Constraints: 372496
806.21/809.50 c #Conflicts: 790000 | #Constraints: 373496
806.21/809.50 c #Conflicts: 791000 | #Constraints: 374496
806.21/809.50 c #Conflicts: 792000 | #Constraints: 375496
806.21/809.50 c #Conflicts: 793000 | #Constraints: 376496
806.21/809.50 c #Conflicts: 794000 | #Constraints: 377496
806.21/809.50 c #Conflicts: 795000 | #Constraints: 378496
806.21/809.50 c #Conflicts: 796000 | #Constraints: 379496
806.21/809.50 c #Conflicts: 797000 | #Constraints: 380496
806.21/809.50 c #Conflicts: 798000 | #Constraints: 381496
806.21/809.50 c #Conflicts: 799000 | #Constraints: 382496
806.21/809.50 c #Conflicts: 800000 | #Constraints: 383496
806.21/809.50 c #Conflicts: 801000 | #Constraints: 384496
806.21/809.50 c #Conflicts: 802000 | #Constraints: 385496
806.21/809.50 c #Conflicts: 803000 | #Constraints: 386496
806.21/809.50 c #Conflicts: 804000 | #Constraints: 387496
806.21/809.50 c #Conflicts: 805000 | #Constraints: 388496
806.21/809.50 c #Conflicts: 806000 | #Constraints: 389496
806.21/809.50 c #Conflicts: 807000 | #Constraints: 390496
806.21/809.50 c #Conflicts: 808000 | #Constraints: 391496
806.21/809.50 c #Conflicts: 809000 | #Constraints: 392496
806.21/809.50 c #Conflicts: 810000 | #Constraints: 393496
806.21/809.50 c #Conflicts: 811000 | #Constraints: 394496
806.21/809.50 c #Conflicts: 812000 | #Constraints: 395496
806.21/809.50 c #Conflicts: 813000 | #Constraints: 396496
806.21/809.50 c #Conflicts: 814000 | #Constraints: 397496
806.21/809.50 c #Conflicts: 815000 | #Constraints: 398496
806.21/809.50 c #Conflicts: 816000 | #Constraints: 399496
806.21/809.50 c #Conflicts: 817000 | #Constraints: 400496
806.21/809.50 c #Conflicts: 818000 | #Constraints: 401496
806.21/809.50 c #Conflicts: 819000 | #Constraints: 402496
806.21/809.50 c #Conflicts: 820000 | #Constraints: 403496
806.21/809.50 c #Conflicts: 821000 | #Constraints: 404496
806.21/809.50 c #Conflicts: 822000 | #Constraints: 405496
806.21/809.50 c #Conflicts: 823000 | #Constraints: 406496
806.21/809.50 c #Conflicts: 824000 | #Constraints: 407496
806.21/809.50 c #Conflicts: 825000 | #Constraints: 408496
806.21/809.50 c INPROCESSING
806.21/809.50 c GARBAGE COLLECT
806.21/809.50 c #Conflicts: 826000 | #Constraints: 355675
806.21/809.50 c #Conflicts: 827000 | #Constraints: 356675
806.21/809.50 c #Conflicts: 828000 | #Constraints: 357675
806.21/809.50 c #Conflicts: 829000 | #Constraints: 358675
806.21/809.50 c #Conflicts: 830000 | #Constraints: 359675
806.21/809.50 c #Conflicts: 831000 | #Constraints: 360675
806.21/809.50 c #Conflicts: 832000 | #Constraints: 361675
806.21/809.50 c #Conflicts: 833000 | #Constraints: 362675
806.21/809.50 c #Conflicts: 834000 | #Constraints: 363675
806.21/809.50 c #Conflicts: 835000 | #Constraints: 364675
806.21/809.50 c #Conflicts: 836000 | #Constraints: 365675
806.21/809.50 c #Conflicts: 837000 | #Constraints: 366675
806.21/809.50 c #Conflicts: 838000 | #Constraints: 367675
806.21/809.50 c #Conflicts: 839000 | #Constraints: 368675
806.21/809.50 c #Conflicts: 840000 | #Constraints: 369675
806.21/809.50 c #Conflicts: 841000 | #Constraints: 370675
806.21/809.50 c #Conflicts: 842000 | #Constraints: 371675
806.21/809.50 c #Conflicts: 843000 | #Constraints: 372675
806.21/809.50 c #Conflicts: 844000 | #Constraints: 373675
806.21/809.50 c #Conflicts: 845000 | #Constraints: 374675
806.21/809.50 c #Conflicts: 846000 | #Constraints: 375675
806.21/809.50 c #Conflicts: 847000 | #Constraints: 376675
892.85/896.43 c #Conflicts: 848000 | #Constraints: 377675
892.85/896.43 c #Conflicts: 849000 | #Constraints: 378675
892.85/896.43 c #Conflicts: 850000 | #Constraints: 379675
892.85/896.43 c #Conflicts: 851000 | #Constraints: 380675
892.85/896.43 c #Conflicts: 852000 | #Constraints: 381675
892.85/896.43 c #Conflicts: 853000 | #Constraints: 382675
892.85/896.43 c #Conflicts: 854000 | #Constraints: 383675
892.85/896.43 c #Conflicts: 855000 | #Constraints: 384675
892.85/896.43 c #Conflicts: 856000 | #Constraints: 385675
892.85/896.43 c #Conflicts: 857000 | #Constraints: 386675
892.85/896.43 c #Conflicts: 858000 | #Constraints: 387675
892.85/896.43 c #Conflicts: 859000 | #Constraints: 388675
892.85/896.43 c #Conflicts: 860000 | #Constraints: 389675
892.85/896.43 c #Conflicts: 861000 | #Constraints: 390675
892.85/896.43 c #Conflicts: 862000 | #Constraints: 391675
892.85/896.43 c #Conflicts: 863000 | #Constraints: 392675
892.85/896.43 c #Conflicts: 864000 | #Constraints: 393675
892.85/896.43 c #Conflicts: 865000 | #Constraints: 394675
892.85/896.43 c #Conflicts: 866000 | #Constraints: 395675
892.85/896.43 c #Conflicts: 867000 | #Constraints: 396675
892.85/896.43 c #Conflicts: 868000 | #Constraints: 397675
892.85/896.43 c #Conflicts: 869000 | #Constraints: 398675
892.85/896.43 c #Conflicts: 870000 | #Constraints: 399675
892.85/896.43 c #Conflicts: 871000 | #Constraints: 400675
892.85/896.43 c #Conflicts: 872000 | #Constraints: 401675
892.85/896.43 c #Conflicts: 873000 | #Constraints: 402675
892.85/896.43 c #Conflicts: 874000 | #Constraints: 403675
892.85/896.43 c #Conflicts: 875000 | #Constraints: 404675
892.85/896.43 c #Conflicts: 876000 | #Constraints: 405675
892.85/896.43 c #Conflicts: 877000 | #Constraints: 406675
892.85/896.43 c #Conflicts: 878000 | #Constraints: 407675
892.85/896.43 c #Conflicts: 879000 | #Constraints: 408675
892.85/896.43 c #Conflicts: 880000 | #Constraints: 409675
892.85/896.43 c #Conflicts: 881000 | #Constraints: 410675
892.85/896.43 c #Conflicts: 882000 | #Constraints: 411675
892.85/896.43 c #Conflicts: 883000 | #Constraints: 412675
892.85/896.43 c #Conflicts: 884000 | #Constraints: 413675
892.85/896.43 c INPROCESSING
892.85/896.43 c GARBAGE COLLECT
892.85/896.43 c #Conflicts: 885000 | #Constraints: 358523
892.85/896.43 c #Conflicts: 886000 | #Constraints: 359523
892.85/896.43 c #Conflicts: 887000 | #Constraints: 360523
892.85/896.43 c #Conflicts: 888000 | #Constraints: 361523
892.85/896.43 c #Conflicts: 889000 | #Constraints: 362523
892.85/896.43 c #Conflicts: 890000 | #Constraints: 363523
892.85/896.43 c #Conflicts: 891000 | #Constraints: 364523
892.85/896.43 c #Conflicts: 892000 | #Constraints: 365523
892.85/896.43 c #Conflicts: 893000 | #Constraints: 366523
892.85/896.43 c #Conflicts: 894000 | #Constraints: 367523
892.85/896.43 c #Conflicts: 895000 | #Constraints: 368523
892.85/896.43 c #Conflicts: 896000 | #Constraints: 369523
892.85/896.43 c #Conflicts: 897000 | #Constraints: 370523
892.85/896.43 c #Conflicts: 898000 | #Constraints: 371523
892.85/896.43 c #Conflicts: 899000 | #Constraints: 372523
892.85/896.43 c #Conflicts: 900000 | #Constraints: 373523
892.85/896.43 c #Conflicts: 901000 | #Constraints: 374523
892.85/896.43 c #Conflicts: 902000 | #Constraints: 375523
892.85/896.43 c #Conflicts: 903000 | #Constraints: 376523
892.85/896.43 c #Conflicts: 904000 | #Constraints: 377523
892.85/896.43 c #Conflicts: 905000 | #Constraints: 378523
892.85/896.43 c #Conflicts: 906000 | #Constraints: 379523
892.85/896.43 c #Conflicts: 907000 | #Constraints: 380523
892.85/896.43 c #Conflicts: 908000 | #Constraints: 381523
892.85/896.43 c #Conflicts: 909000 | #Constraints: 382523
892.85/896.43 c #Conflicts: 910000 | #Constraints: 383523
892.85/896.43 c #Conflicts: 911000 | #Constraints: 384523
892.85/896.43 c #Conflicts: 912000 | #Constraints: 385523
892.85/896.43 c #Conflicts: 913000 | #Constraints: 386523
892.85/896.43 c #Conflicts: 914000 | #Constraints: 387523
892.85/896.43 c #Conflicts: 915000 | #Constraints: 388523
892.85/896.43 c #Conflicts: 916000 | #Constraints: 389523
892.85/896.43 c #Conflicts: 917000 | #Constraints: 390523
892.85/896.43 c #Conflicts: 918000 | #Constraints: 391523
892.85/896.43 c #Conflicts: 919000 | #Constraints: 392523
892.85/896.43 c #Conflicts: 920000 | #Constraints: 393523
892.85/896.43 c #Conflicts: 921000 | #Constraints: 394523
892.85/896.43 c #Conflicts: 922000 | #Constraints: 395523
892.85/896.43 c #Conflicts: 923000 | #Constraints: 396523
892.85/896.43 c #Conflicts: 924000 | #Constraints: 397523
892.85/896.43 c #Conflicts: 925000 | #Constraints: 398523
996.87/1000.72 c #Conflicts: 926000 | #Constraints: 399523
996.87/1000.72 c #Conflicts: 927000 | #Constraints: 400523
996.87/1000.72 c #Conflicts: 928000 | #Constraints: 401523
996.87/1000.72 c #Conflicts: 929000 | #Constraints: 402523
996.87/1000.72 c #Conflicts: 930000 | #Constraints: 403523
996.87/1000.72 c #Conflicts: 931000 | #Constraints: 404523
996.87/1000.72 c #Conflicts: 932000 | #Constraints: 405523
996.87/1000.72 c #Conflicts: 933000 | #Constraints: 406523
996.87/1000.72 c #Conflicts: 934000 | #Constraints: 407523
996.87/1000.72 c #Conflicts: 935000 | #Constraints: 408523
996.87/1000.72 c #Conflicts: 936000 | #Constraints: 409523
996.87/1000.72 c #Conflicts: 937000 | #Constraints: 410523
996.87/1000.72 c #Conflicts: 938000 | #Constraints: 411523
996.87/1000.72 c #Conflicts: 939000 | #Constraints: 412523
996.87/1000.72 c #Conflicts: 940000 | #Constraints: 413523
996.87/1000.72 c #Conflicts: 941000 | #Constraints: 414523
996.87/1000.72 c #Conflicts: 942000 | #Constraints: 415523
996.87/1000.72 c #Conflicts: 943000 | #Constraints: 416523
996.87/1000.72 c #Conflicts: 944000 | #Constraints: 417523
996.87/1000.72 c #Conflicts: 945000 | #Constraints: 418523
996.87/1000.72 c INPROCESSING
996.87/1000.72 c GARBAGE COLLECT
996.87/1000.72 c #Conflicts: 946000 | #Constraints: 361096
996.87/1000.72 c #Conflicts: 947000 | #Constraints: 362096
996.87/1000.72 c #Conflicts: 948000 | #Constraints: 363096
996.87/1000.72 c #Conflicts: 949000 | #Constraints: 364096
996.87/1000.72 c #Conflicts: 950000 | #Constraints: 365096
996.87/1000.72 c #Conflicts: 951000 | #Constraints: 366096
996.87/1000.72 c #Conflicts: 952000 | #Constraints: 367096
996.87/1000.72 c #Conflicts: 953000 | #Constraints: 368096
996.87/1000.72 c #Conflicts: 954000 | #Constraints: 369096
996.87/1000.72 c #Conflicts: 955000 | #Constraints: 370096
996.87/1000.72 c #Conflicts: 956000 | #Constraints: 371096
996.87/1000.72 c #Conflicts: 957000 | #Constraints: 372096
996.87/1000.72 c #Conflicts: 958000 | #Constraints: 373096
996.87/1000.72 c #Conflicts: 959000 | #Constraints: 374096
996.87/1000.72 c #Conflicts: 960000 | #Constraints: 375096
996.87/1000.72 c #Conflicts: 961000 | #Constraints: 376096
996.87/1000.72 c #Conflicts: 962000 | #Constraints: 377096
996.87/1000.72 c #Conflicts: 963000 | #Constraints: 378096
996.87/1000.72 c #Conflicts: 964000 | #Constraints: 379096
996.87/1000.72 c #Conflicts: 965000 | #Constraints: 380096
996.87/1000.72 c #Conflicts: 966000 | #Constraints: 381096
996.87/1000.72 c #Conflicts: 967000 | #Constraints: 382096
996.87/1000.72 c #Conflicts: 968000 | #Constraints: 383096
996.87/1000.72 c #Conflicts: 969000 | #Constraints: 384096
996.87/1000.72 c #Conflicts: 970000 | #Constraints: 385096
996.87/1000.72 c #Conflicts: 971000 | #Constraints: 386096
996.87/1000.72 c #Conflicts: 972000 | #Constraints: 387096
996.87/1000.72 c #Conflicts: 973000 | #Constraints: 388096
996.87/1000.72 c #Conflicts: 974000 | #Constraints: 389096
996.87/1000.72 c #Conflicts: 975000 | #Constraints: 390096
996.87/1000.72 c #Conflicts: 976000 | #Constraints: 391096
996.87/1000.72 c #Conflicts: 977000 | #Constraints: 392096
996.87/1000.72 c #Conflicts: 978000 | #Constraints: 393096
996.87/1000.72 c #Conflicts: 979000 | #Constraints: 394096
996.87/1000.72 c #Conflicts: 980000 | #Constraints: 395096
996.87/1000.72 c #Conflicts: 981000 | #Constraints: 396096
996.87/1000.72 c #Conflicts: 982000 | #Constraints: 397096
996.87/1000.72 c #Conflicts: 983000 | #Constraints: 398096
996.87/1000.72 c #Conflicts: 984000 | #Constraints: 399096
996.87/1000.72 c #Conflicts: 985000 | #Constraints: 400096
996.87/1000.72 c #Conflicts: 986000 | #Constraints: 401096
996.87/1000.72 c #Conflicts: 987000 | #Constraints: 402096
996.87/1000.72 c #Conflicts: 988000 | #Constraints: 403096
996.87/1000.72 c #Conflicts: 989000 | #Constraints: 404096
996.87/1000.72 c #Conflicts: 990000 | #Constraints: 405096
996.87/1000.72 c #Conflicts: 991000 | #Constraints: 406096
996.87/1000.72 c #Conflicts: 992000 | #Constraints: 407096
996.87/1000.72 c #Conflicts: 993000 | #Constraints: 408096
996.87/1000.72 c #Conflicts: 994000 | #Constraints: 409096
996.87/1000.72 c #Conflicts: 995000 | #Constraints: 410096
996.87/1000.72 c #Conflicts: 996000 | #Constraints: 411096
996.87/1000.72 c #Conflicts: 997000 | #Constraints: 412096
996.87/1000.72 c #Conflicts: 998000 | #Constraints: 413096
996.87/1000.72 c #Conflicts: 999000 | #Constraints: 414096
996.87/1000.72 c #Conflicts: 1000000 | #Constraints: 415096
996.87/1000.72 c #Conflicts: 1001000 | #Constraints: 416096
996.87/1000.72 c #Conflicts: 1002000 | #Constraints: 417096
996.87/1000.72 c #Conflicts: 1003000 | #Constraints: 418096
996.87/1000.72 c #Conflicts: 1004000 | #Constraints: 419096
1074.68/1078.84 c #Conflicts: 1005000 | #Constraints: 420096
1074.68/1078.84 c #Conflicts: 1006000 | #Constraints: 421096
1074.68/1078.84 c #Conflicts: 1007000 | #Constraints: 422096
1074.68/1078.84 c #Conflicts: 1008000 | #Constraints: 423096
1074.68/1078.84 c INPROCESSING
1074.68/1078.84 c GARBAGE COLLECT
1074.68/1078.84 c #Conflicts: 1009000 | #Constraints: 363414
1074.68/1078.84 c #Conflicts: 1010000 | #Constraints: 364414
1074.68/1078.84 c #Conflicts: 1011000 | #Constraints: 365414
1074.68/1078.84 c #Conflicts: 1012000 | #Constraints: 366414
1074.68/1078.84 c #Conflicts: 1013000 | #Constraints: 367414
1074.68/1078.84 c #Conflicts: 1014000 | #Constraints: 368414
1074.68/1078.84 c #Conflicts: 1015000 | #Constraints: 369414
1074.68/1078.84 c #Conflicts: 1016000 | #Constraints: 370414
1074.68/1078.84 c #Conflicts: 1017000 | #Constraints: 371414
1074.68/1078.84 c #Conflicts: 1018000 | #Constraints: 372414
1074.68/1078.84 c #Conflicts: 1019000 | #Constraints: 373414
1074.68/1078.84 c #Conflicts: 1020000 | #Constraints: 374414
1074.68/1078.84 c #Conflicts: 1021000 | #Constraints: 375414
1074.68/1078.84 c #Conflicts: 1022000 | #Constraints: 376414
1074.68/1078.84 c #Conflicts: 1023000 | #Constraints: 377414
1074.68/1078.84 c #Conflicts: 1024000 | #Constraints: 378414
1074.68/1078.84 c #Conflicts: 1025000 | #Constraints: 379414
1074.68/1078.84 c #Conflicts: 1026000 | #Constraints: 380414
1074.68/1078.84 c #Conflicts: 1027000 | #Constraints: 381414
1074.68/1078.84 c #Conflicts: 1028000 | #Constraints: 382414
1074.68/1078.84 c #Conflicts: 1029000 | #Constraints: 383414
1074.68/1078.84 c #Conflicts: 1030000 | #Constraints: 384414
1074.68/1078.84 c #Conflicts: 1031000 | #Constraints: 385414
1074.68/1078.84 c #Conflicts: 1032000 | #Constraints: 386414
1074.68/1078.84 c #Conflicts: 1033000 | #Constraints: 387414
1074.68/1078.84 c #Conflicts: 1034000 | #Constraints: 388414
1074.68/1078.84 c #Conflicts: 1035000 | #Constraints: 389414
1074.68/1078.84 c #Conflicts: 1036000 | #Constraints: 390414
1074.68/1078.84 c #Conflicts: 1037000 | #Constraints: 391414
1074.68/1078.84 c #Conflicts: 1038000 | #Constraints: 392414
1074.68/1078.84 c #Conflicts: 1039000 | #Constraints: 393414
1074.68/1078.84 c #Conflicts: 1040000 | #Constraints: 394414
1074.68/1078.84 c #Conflicts: 1041000 | #Constraints: 395414
1074.68/1078.84 c #Conflicts: 1042000 | #Constraints: 396414
1074.68/1078.84 c #Conflicts: 1043000 | #Constraints: 397414
1074.68/1078.84 c #Conflicts: 1044000 | #Constraints: 398414
1074.68/1078.84 c #Conflicts: 1045000 | #Constraints: 399414
1074.68/1078.84 c #Conflicts: 1046000 | #Constraints: 400414
1074.68/1078.84 c #Conflicts: 1047000 | #Constraints: 401414
1074.68/1078.84 c #Conflicts: 1048000 | #Constraints: 402414
1074.68/1078.84 c #Conflicts: 1049000 | #Constraints: 403414
1074.68/1078.84 c #Conflicts: 1050000 | #Constraints: 404414
1074.68/1078.84 c #Conflicts: 1051000 | #Constraints: 405414
1074.68/1078.84 c #Conflicts: 1052000 | #Constraints: 406414
1074.68/1078.84 c #Conflicts: 1053000 | #Constraints: 407414
1074.68/1078.84 c #Conflicts: 1054000 | #Constraints: 408414
1074.68/1078.84 c #Conflicts: 1055000 | #Constraints: 409414
1074.68/1078.84 c #Conflicts: 1056000 | #Constraints: 410414
1074.68/1078.84 c #Conflicts: 1057000 | #Constraints: 411414
1074.68/1078.84 c #Conflicts: 1058000 | #Constraints: 412414
1074.68/1078.84 c #Conflicts: 1059000 | #Constraints: 413414
1074.68/1078.84 c #Conflicts: 1060000 | #Constraints: 414414
1074.68/1078.84 c #Conflicts: 1061000 | #Constraints: 415414
1074.68/1078.84 c #Conflicts: 1062000 | #Constraints: 416414
1074.68/1078.84 c #Conflicts: 1063000 | #Constraints: 417414
1074.68/1078.84 c #Conflicts: 1064000 | #Constraints: 418414
1074.68/1078.84 c #Conflicts: 1065000 | #Constraints: 419414
1074.68/1078.84 c #Conflicts: 1066000 | #Constraints: 420414
1074.68/1078.84 c #Conflicts: 1067000 | #Constraints: 421414
1074.68/1078.84 c #Conflicts: 1068000 | #Constraints: 422414
1074.68/1078.84 c #Conflicts: 1069000 | #Constraints: 423414
1074.68/1078.84 c #Conflicts: 1070000 | #Constraints: 424414
1074.68/1078.84 c #Conflicts: 1071000 | #Constraints: 425414
1074.68/1078.84 c #Conflicts: 1072000 | #Constraints: 426414
1074.68/1078.84 c INPROCESSING
1074.68/1078.84 c GARBAGE COLLECT
1074.68/1078.84 c #Conflicts: 1073000 | #Constraints: 365354
1074.68/1078.84 c #Conflicts: 1074000 | #Constraints: 366354
1074.68/1078.84 c #Conflicts: 1075000 | #Constraints: 367354
1074.68/1078.84 c #Conflicts: 1076000 | #Constraints: 368354
1074.68/1078.84 c #Conflicts: 1077000 | #Constraints: 369354
1074.68/1078.84 c #Conflicts: 1078000 | #Constraints: 370354
1074.68/1078.84 c #Conflicts: 1079000 | #Constraints: 371354
1074.68/1078.84 c #Conflicts: 1080000 | #Constraints: 372354
1074.68/1078.84 c #Conflicts: 1081000 | #Constraints: 373354
1142.33/1146.88 c #Conflicts: 1082000 | #Constraints: 374354
1142.33/1146.88 c #Conflicts: 1083000 | #Constraints: 375354
1142.33/1146.88 c #Conflicts: 1084000 | #Constraints: 376354
1142.33/1146.88 c #Conflicts: 1085000 | #Constraints: 377354
1142.33/1146.88 c #Conflicts: 1086000 | #Constraints: 378354
1142.33/1146.88 c #Conflicts: 1087000 | #Constraints: 379354
1142.33/1146.88 c #Conflicts: 1088000 | #Constraints: 380354
1142.33/1146.88 c #Conflicts: 1089000 | #Constraints: 381354
1142.33/1146.88 c #Conflicts: 1090000 | #Constraints: 382354
1142.33/1146.88 c #Conflicts: 1091000 | #Constraints: 383354
1142.33/1146.88 c #Conflicts: 1092000 | #Constraints: 384354
1142.33/1146.88 c #Conflicts: 1093000 | #Constraints: 385354
1142.33/1146.88 c #Conflicts: 1094000 | #Constraints: 386354
1142.33/1146.88 c #Conflicts: 1095000 | #Constraints: 387354
1142.33/1146.88 c #Conflicts: 1096000 | #Constraints: 388354
1142.33/1146.88 c #Conflicts: 1097000 | #Constraints: 389354
1142.33/1146.88 c #Conflicts: 1098000 | #Constraints: 390354
1142.33/1146.88 c #Conflicts: 1099000 | #Constraints: 391354
1142.33/1146.88 c #Conflicts: 1100000 | #Constraints: 392354
1142.33/1146.88 c #Conflicts: 1101000 | #Constraints: 393354
1142.33/1146.88 c #Conflicts: 1102000 | #Constraints: 394354
1142.33/1146.88 c #Conflicts: 1103000 | #Constraints: 395354
1142.33/1146.88 c #Conflicts: 1104000 | #Constraints: 396354
1142.33/1146.88 c #Conflicts: 1105000 | #Constraints: 397354
1142.33/1146.88 c #Conflicts: 1106000 | #Constraints: 398354
1142.33/1146.88 c #Conflicts: 1107000 | #Constraints: 399354
1142.33/1146.88 c #Conflicts: 1108000 | #Constraints: 400354
1142.33/1146.88 c #Conflicts: 1109000 | #Constraints: 401354
1142.33/1146.88 c #Conflicts: 1110000 | #Constraints: 402354
1142.33/1146.88 c #Conflicts: 1111000 | #Constraints: 403354
1142.33/1146.88 c #Conflicts: 1112000 | #Constraints: 404354
1142.33/1146.88 c #Conflicts: 1113000 | #Constraints: 405354
1142.33/1146.88 c #Conflicts: 1114000 | #Constraints: 406354
1142.33/1146.88 c #Conflicts: 1115000 | #Constraints: 407354
1142.33/1146.88 c #Conflicts: 1116000 | #Constraints: 408354
1142.33/1146.88 c #Conflicts: 1117000 | #Constraints: 409354
1142.33/1146.88 c #Conflicts: 1118000 | #Constraints: 410354
1142.33/1146.88 c #Conflicts: 1119000 | #Constraints: 411354
1142.33/1146.88 c #Conflicts: 1120000 | #Constraints: 412354
1142.33/1146.88 c #Conflicts: 1121000 | #Constraints: 413354
1142.33/1146.88 c #Conflicts: 1122000 | #Constraints: 414354
1142.33/1146.88 c #Conflicts: 1123000 | #Constraints: 415354
1142.33/1146.88 c #Conflicts: 1124000 | #Constraints: 416354
1142.33/1146.88 c #Conflicts: 1125000 | #Constraints: 417354
1142.33/1146.88 c #Conflicts: 1126000 | #Constraints: 418354
1142.33/1146.88 c #Conflicts: 1127000 | #Constraints: 419354
1142.33/1146.88 c #Conflicts: 1128000 | #Constraints: 420354
1142.33/1146.88 c #Conflicts: 1129000 | #Constraints: 421354
1142.33/1146.88 c #Conflicts: 1130000 | #Constraints: 422354
1142.33/1146.88 c #Conflicts: 1131000 | #Constraints: 423354
1142.33/1146.88 c #Conflicts: 1132000 | #Constraints: 424354
1142.33/1146.88 c #Conflicts: 1133000 | #Constraints: 425354
1142.33/1146.88 c #Conflicts: 1134000 | #Constraints: 426354
1142.33/1146.88 c #Conflicts: 1135000 | #Constraints: 427354
1142.33/1146.88 c #Conflicts: 1136000 | #Constraints: 428354
1142.33/1146.88 c #Conflicts: 1137000 | #Constraints: 429354
1142.33/1146.88 c #Conflicts: 1138000 | #Constraints: 430354
1142.33/1146.88 c #Conflicts: 1139000 | #Constraints: 431354
1142.33/1146.88 c INPROCESSING
1142.33/1146.88 c GARBAGE COLLECT
1142.33/1146.88 c #Conflicts: 1140000 | #Constraints: 369718
1142.33/1146.88 c #Conflicts: 1141000 | #Constraints: 370718
1142.33/1146.88 c #Conflicts: 1142000 | #Constraints: 371718
1142.33/1146.88 c #Conflicts: 1143000 | #Constraints: 372718
1142.33/1146.88 c #Conflicts: 1144000 | #Constraints: 373718
1142.33/1146.88 c #Conflicts: 1145000 | #Constraints: 374718
1142.33/1146.88 c #Conflicts: 1146000 | #Constraints: 375718
1142.33/1146.88 c #Conflicts: 1147000 | #Constraints: 376718
1142.33/1146.88 c #Conflicts: 1148000 | #Constraints: 377718
1142.33/1146.88 c #Conflicts: 1149000 | #Constraints: 378718
1142.33/1146.88 c #Conflicts: 1150000 | #Constraints: 379718
1142.33/1146.88 c #Conflicts: 1151000 | #Constraints: 380718
1142.33/1146.88 c #Conflicts: 1152000 | #Constraints: 381718
1142.33/1146.88 c #Conflicts: 1153000 | #Constraints: 382718
1142.33/1146.88 c #Conflicts: 1154000 | #Constraints: 383718
1142.33/1146.88 c #Conflicts: 1155000 | #Constraints: 384718
1142.33/1146.88 c #Conflicts: 1156000 | #Constraints: 385718
1142.33/1146.88 c #Conflicts: 1157000 | #Constraints: 386718
1142.33/1146.88 c #Conflicts: 1158000 | #Constraints: 387718
1142.33/1146.88 c #Conflicts: 1159000 | #Constraints: 388718
1236.24/1241.18 c #Conflicts: 1160000 | #Constraints: 389718
1236.24/1241.18 c #Conflicts: 1161000 | #Constraints: 390718
1236.24/1241.18 c #Conflicts: 1162000 | #Constraints: 391718
1236.24/1241.18 c #Conflicts: 1163000 | #Constraints: 392718
1236.24/1241.18 c #Conflicts: 1164000 | #Constraints: 393718
1236.24/1241.18 c #Conflicts: 1165000 | #Constraints: 394718
1236.24/1241.18 c #Conflicts: 1166000 | #Constraints: 395718
1236.24/1241.18 c #Conflicts: 1167000 | #Constraints: 396718
1236.24/1241.18 c #Conflicts: 1168000 | #Constraints: 397718
1236.24/1241.18 c #Conflicts: 1169000 | #Constraints: 398718
1236.24/1241.18 c #Conflicts: 1170000 | #Constraints: 399718
1236.24/1241.18 c #Conflicts: 1171000 | #Constraints: 400718
1236.24/1241.18 c #Conflicts: 1172000 | #Constraints: 401718
1236.24/1241.18 c #Conflicts: 1173000 | #Constraints: 402718
1236.24/1241.18 c #Conflicts: 1174000 | #Constraints: 403718
1236.24/1241.18 c #Conflicts: 1175000 | #Constraints: 404718
1236.24/1241.18 c #Conflicts: 1176000 | #Constraints: 405718
1236.24/1241.18 c #Conflicts: 1177000 | #Constraints: 406718
1236.24/1241.18 c #Conflicts: 1178000 | #Constraints: 407718
1236.24/1241.18 c #Conflicts: 1179000 | #Constraints: 408718
1236.24/1241.18 c #Conflicts: 1180000 | #Constraints: 409718
1236.24/1241.18 c #Conflicts: 1181000 | #Constraints: 410718
1236.24/1241.18 c #Conflicts: 1182000 | #Constraints: 411718
1236.24/1241.18 c #Conflicts: 1183000 | #Constraints: 412718
1236.24/1241.18 c #Conflicts: 1184000 | #Constraints: 413718
1236.24/1241.18 c #Conflicts: 1185000 | #Constraints: 414718
1236.24/1241.18 c #Conflicts: 1186000 | #Constraints: 415718
1236.24/1241.18 c #Conflicts: 1187000 | #Constraints: 416718
1236.24/1241.18 c #Conflicts: 1188000 | #Constraints: 417718
1236.24/1241.18 c #Conflicts: 1189000 | #Constraints: 418718
1236.24/1241.18 c #Conflicts: 1190000 | #Constraints: 419718
1236.24/1241.18 c #Conflicts: 1191000 | #Constraints: 420718
1236.24/1241.18 c #Conflicts: 1192000 | #Constraints: 421718
1236.24/1241.18 c #Conflicts: 1193000 | #Constraints: 422718
1236.24/1241.18 c #Conflicts: 1194000 | #Constraints: 423718
1236.24/1241.18 c #Conflicts: 1195000 | #Constraints: 424718
1236.24/1241.18 c #Conflicts: 1196000 | #Constraints: 425718
1236.24/1241.18 c #Conflicts: 1197000 | #Constraints: 426718
1236.24/1241.18 c #Conflicts: 1198000 | #Constraints: 427718
1236.24/1241.18 c #Conflicts: 1199000 | #Constraints: 428718
1236.24/1241.18 c #Conflicts: 1200000 | #Constraints: 429718
1236.24/1241.18 c #Conflicts: 1201000 | #Constraints: 430718
1236.24/1241.18 c #Conflicts: 1202000 | #Constraints: 431718
1236.24/1241.18 c #Conflicts: 1203000 | #Constraints: 432718
1236.24/1241.18 c #Conflicts: 1204000 | #Constraints: 433718
1236.24/1241.18 c #Conflicts: 1205000 | #Constraints: 434718
1236.24/1241.18 c #Conflicts: 1206000 | #Constraints: 435718
1236.24/1241.18 c #Conflicts: 1207000 | #Constraints: 436718
1236.24/1241.18 c #Conflicts: 1208000 | #Constraints: 437718
1236.24/1241.18 c INPROCESSING
1236.24/1241.18 c GARBAGE COLLECT
1236.24/1241.18 c #Conflicts: 1209000 | #Constraints: 373124
1236.24/1241.18 c #Conflicts: 1210000 | #Constraints: 374124
1236.24/1241.18 c #Conflicts: 1211000 | #Constraints: 375124
1236.24/1241.18 c #Conflicts: 1212000 | #Constraints: 376124
1236.24/1241.18 c #Conflicts: 1213000 | #Constraints: 377124
1236.24/1241.18 c #Conflicts: 1214000 | #Constraints: 378124
1236.24/1241.18 c #Conflicts: 1215000 | #Constraints: 379124
1236.24/1241.18 c #Conflicts: 1216000 | #Constraints: 380124
1236.24/1241.18 c #Conflicts: 1217000 | #Constraints: 381124
1236.24/1241.18 c #Conflicts: 1218000 | #Constraints: 382124
1236.24/1241.18 c #Conflicts: 1219000 | #Constraints: 383124
1236.24/1241.18 c #Conflicts: 1220000 | #Constraints: 384124
1236.24/1241.18 c #Conflicts: 1221000 | #Constraints: 385124
1236.24/1241.18 c #Conflicts: 1222000 | #Constraints: 386124
1236.24/1241.18 c #Conflicts: 1223000 | #Constraints: 387124
1236.24/1241.18 c #Conflicts: 1224000 | #Constraints: 388124
1236.24/1241.18 c #Conflicts: 1225000 | #Constraints: 389124
1236.24/1241.18 c #Conflicts: 1226000 | #Constraints: 390124
1236.24/1241.18 c #Conflicts: 1227000 | #Constraints: 391124
1236.24/1241.18 c #Conflicts: 1228000 | #Constraints: 392124
1236.24/1241.18 c #Conflicts: 1229000 | #Constraints: 393124
1236.24/1241.18 c #Conflicts: 1230000 | #Constraints: 394124
1236.24/1241.18 c #Conflicts: 1231000 | #Constraints: 395124
1236.24/1241.18 c #Conflicts: 1232000 | #Constraints: 396124
1236.24/1241.18 c #Conflicts: 1233000 | #Constraints: 397124
1236.24/1241.18 c #Conflicts: 1234000 | #Constraints: 398124
1236.24/1241.18 c #Conflicts: 1235000 | #Constraints: 399124
1236.24/1241.18 c #Conflicts: 1236000 | #Constraints: 400124
1236.24/1241.18 c #Conflicts: 1237000 | #Constraints: 401124
1331.62/1336.81 c #Conflicts: 1238000 | #Constraints: 402124
1331.62/1336.81 c #Conflicts: 1239000 | #Constraints: 403124
1331.62/1336.81 c #Conflicts: 1240000 | #Constraints: 404124
1331.62/1336.81 c #Conflicts: 1241000 | #Constraints: 405124
1331.62/1336.81 c #Conflicts: 1242000 | #Constraints: 406124
1331.62/1336.81 c #Conflicts: 1243000 | #Constraints: 407124
1331.62/1336.81 c #Conflicts: 1244000 | #Constraints: 408124
1331.62/1336.81 c #Conflicts: 1245000 | #Constraints: 409124
1331.62/1336.81 c #Conflicts: 1246000 | #Constraints: 410124
1331.62/1336.81 c #Conflicts: 1247000 | #Constraints: 411124
1331.62/1336.81 c #Conflicts: 1248000 | #Constraints: 412124
1331.62/1336.81 c #Conflicts: 1249000 | #Constraints: 413124
1331.62/1336.81 c #Conflicts: 1250000 | #Constraints: 414124
1331.62/1336.81 c #Conflicts: 1251000 | #Constraints: 415124
1331.62/1336.81 c #Conflicts: 1252000 | #Constraints: 416124
1331.62/1336.81 c #Conflicts: 1253000 | #Constraints: 417124
1331.62/1336.81 c #Conflicts: 1254000 | #Constraints: 418124
1331.62/1336.81 c #Conflicts: 1255000 | #Constraints: 419124
1331.62/1336.81 c #Conflicts: 1256000 | #Constraints: 420124
1331.62/1336.81 c #Conflicts: 1257000 | #Constraints: 421124
1331.62/1336.81 c #Conflicts: 1258000 | #Constraints: 422124
1331.62/1336.81 c #Conflicts: 1259000 | #Constraints: 423124
1331.62/1336.81 c #Conflicts: 1260000 | #Constraints: 424124
1331.62/1336.81 c #Conflicts: 1261000 | #Constraints: 425124
1331.62/1336.81 c #Conflicts: 1262000 | #Constraints: 426124
1331.62/1336.81 c #Conflicts: 1263000 | #Constraints: 427124
1331.62/1336.81 c #Conflicts: 1264000 | #Constraints: 428124
1331.62/1336.81 c #Conflicts: 1265000 | #Constraints: 429124
1331.62/1336.81 c #Conflicts: 1266000 | #Constraints: 430124
1331.62/1336.81 c #Conflicts: 1267000 | #Constraints: 431124
1331.62/1336.81 c #Conflicts: 1268000 | #Constraints: 432124
1331.62/1336.81 c #Conflicts: 1269000 | #Constraints: 433124
1331.62/1336.81 c #Conflicts: 1270000 | #Constraints: 434124
1331.62/1336.81 c #Conflicts: 1271000 | #Constraints: 435124
1331.62/1336.81 c #Conflicts: 1272000 | #Constraints: 436124
1331.62/1336.81 c #Conflicts: 1273000 | #Constraints: 437124
1331.62/1336.81 c #Conflicts: 1274000 | #Constraints: 438124
1331.62/1336.81 c #Conflicts: 1275000 | #Constraints: 439124
1331.62/1336.81 c #Conflicts: 1276000 | #Constraints: 440124
1331.62/1336.81 c #Conflicts: 1277000 | #Constraints: 441124
1331.62/1336.81 c #Conflicts: 1278000 | #Constraints: 442124
1331.62/1336.81 c #Conflicts: 1279000 | #Constraints: 443124
1331.62/1336.81 c INPROCESSING
1331.62/1336.81 c GARBAGE COLLECT
1331.62/1336.81 c #Conflicts: 1280000 | #Constraints: 376723
1331.62/1336.81 c #Conflicts: 1281000 | #Constraints: 377723
1331.62/1336.81 c #Conflicts: 1282000 | #Constraints: 378723
1331.62/1336.81 c #Conflicts: 1283000 | #Constraints: 379723
1331.62/1336.81 c #Conflicts: 1284000 | #Constraints: 380723
1331.62/1336.81 c #Conflicts: 1285000 | #Constraints: 381723
1331.62/1336.81 c #Conflicts: 1286000 | #Constraints: 382723
1331.62/1336.81 c #Conflicts: 1287000 | #Constraints: 383723
1331.62/1336.81 c #Conflicts: 1288000 | #Constraints: 384723
1331.62/1336.81 c #Conflicts: 1289000 | #Constraints: 385723
1331.62/1336.81 c #Conflicts: 1290000 | #Constraints: 386723
1331.62/1336.81 c #Conflicts: 1291000 | #Constraints: 387723
1331.62/1336.81 c #Conflicts: 1292000 | #Constraints: 388723
1331.62/1336.81 c #Conflicts: 1293000 | #Constraints: 389723
1331.62/1336.81 c #Conflicts: 1294000 | #Constraints: 390723
1331.62/1336.81 c #Conflicts: 1295000 | #Constraints: 391723
1331.62/1336.81 c #Conflicts: 1296000 | #Constraints: 392723
1331.62/1336.81 c #Conflicts: 1297000 | #Constraints: 393723
1331.62/1336.81 c #Conflicts: 1298000 | #Constraints: 394723
1331.62/1336.81 c #Conflicts: 1299000 | #Constraints: 395723
1331.62/1336.81 c #Conflicts: 1300000 | #Constraints: 396723
1331.62/1336.81 c #Conflicts: 1301000 | #Constraints: 397723
1331.62/1336.81 c #Conflicts: 1302000 | #Constraints: 398723
1331.62/1336.81 c #Conflicts: 1303000 | #Constraints: 399723
1331.62/1336.81 c #Conflicts: 1304000 | #Constraints: 400723
1331.62/1336.81 c #Conflicts: 1305000 | #Constraints: 401723
1331.62/1336.81 c #Conflicts: 1306000 | #Constraints: 402723
1331.62/1336.81 c #Conflicts: 1307000 | #Constraints: 403723
1331.62/1336.81 c #Conflicts: 1308000 | #Constraints: 404723
1331.62/1336.81 c #Conflicts: 1309000 | #Constraints: 405723
1331.62/1336.81 c #Conflicts: 1310000 | #Constraints: 406723
1331.62/1336.81 c #Conflicts: 1311000 | #Constraints: 407723
1331.62/1336.81 c #Conflicts: 1312000 | #Constraints: 408723
1331.62/1336.81 c #Conflicts: 1313000 | #Constraints: 409723
1331.62/1336.81 c #Conflicts: 1314000 | #Constraints: 410723
1331.62/1336.81 c #Conflicts: 1315000 | #Constraints: 411723
1331.62/1336.81 c #Conflicts: 1316000 | #Constraints: 412723
1439.35/1444.90 c #Conflicts: 1317000 | #Constraints: 413723
1439.35/1444.90 c #Conflicts: 1318000 | #Constraints: 414723
1439.35/1444.90 c #Conflicts: 1319000 | #Constraints: 415723
1439.35/1444.90 c #Conflicts: 1320000 | #Constraints: 416723
1439.35/1444.90 c #Conflicts: 1321000 | #Constraints: 417723
1439.35/1444.90 c #Conflicts: 1322000 | #Constraints: 418723
1439.35/1444.90 c #Conflicts: 1323000 | #Constraints: 419723
1439.35/1444.90 c #Conflicts: 1324000 | #Constraints: 420723
1439.35/1444.90 c #Conflicts: 1325000 | #Constraints: 421723
1439.35/1444.90 c #Conflicts: 1326000 | #Constraints: 422723
1439.35/1444.90 c #Conflicts: 1327000 | #Constraints: 423723
1439.35/1444.90 c #Conflicts: 1328000 | #Constraints: 424723
1439.35/1444.90 c #Conflicts: 1329000 | #Constraints: 425723
1439.35/1444.90 c #Conflicts: 1330000 | #Constraints: 426723
1439.35/1444.90 c #Conflicts: 1331000 | #Constraints: 427723
1439.35/1444.90 c #Conflicts: 1332000 | #Constraints: 428723
1439.35/1444.90 c #Conflicts: 1333000 | #Constraints: 429723
1439.35/1444.90 c #Conflicts: 1334000 | #Constraints: 430723
1439.35/1444.90 c #Conflicts: 1335000 | #Constraints: 431723
1439.35/1444.90 c #Conflicts: 1336000 | #Constraints: 432723
1439.35/1444.90 c #Conflicts: 1337000 | #Constraints: 433723
1439.35/1444.90 c #Conflicts: 1338000 | #Constraints: 434723
1439.35/1444.90 c #Conflicts: 1339000 | #Constraints: 435723
1439.35/1444.90 c #Conflicts: 1340000 | #Constraints: 436723
1439.35/1444.90 c #Conflicts: 1341000 | #Constraints: 437723
1439.35/1444.90 c #Conflicts: 1342000 | #Constraints: 438723
1439.35/1444.90 c #Conflicts: 1343000 | #Constraints: 439723
1439.35/1444.90 c #Conflicts: 1344000 | #Constraints: 440723
1439.35/1444.90 c #Conflicts: 1345000 | #Constraints: 441723
1439.35/1444.90 c #Conflicts: 1346000 | #Constraints: 442723
1439.35/1444.90 c #Conflicts: 1347000 | #Constraints: 443723
1439.35/1444.90 c #Conflicts: 1348000 | #Constraints: 444723
1439.35/1444.90 c #Conflicts: 1349000 | #Constraints: 445723
1439.35/1444.90 c #Conflicts: 1350000 | #Constraints: 446723
1439.35/1444.90 c #Conflicts: 1351000 | #Constraints: 447723
1439.35/1444.90 c #Conflicts: 1352000 | #Constraints: 448723
1439.35/1444.90 c INPROCESSING
1439.35/1444.90 c GARBAGE COLLECT
1439.35/1444.90 c #Conflicts: 1353000 | #Constraints: 379995
1439.35/1444.90 c #Conflicts: 1354000 | #Constraints: 380995
1439.35/1444.90 c #Conflicts: 1355000 | #Constraints: 381995
1439.35/1444.90 c #Conflicts: 1356000 | #Constraints: 382995
1439.35/1444.90 c #Conflicts: 1357000 | #Constraints: 383995
1439.35/1444.90 c #Conflicts: 1358000 | #Constraints: 384995
1439.35/1444.90 c #Conflicts: 1359000 | #Constraints: 385995
1439.35/1444.90 c #Conflicts: 1360000 | #Constraints: 386995
1439.35/1444.90 c #Conflicts: 1361000 | #Constraints: 387995
1439.35/1444.90 c #Conflicts: 1362000 | #Constraints: 388995
1439.35/1444.90 c #Conflicts: 1363000 | #Constraints: 389995
1439.35/1444.90 c #Conflicts: 1364000 | #Constraints: 390995
1439.35/1444.90 c #Conflicts: 1365000 | #Constraints: 391995
1439.35/1444.90 c #Conflicts: 1366000 | #Constraints: 392995
1439.35/1444.90 c #Conflicts: 1367000 | #Constraints: 393995
1439.35/1444.90 c #Conflicts: 1368000 | #Constraints: 394995
1439.35/1444.90 c #Conflicts: 1369000 | #Constraints: 395995
1439.35/1444.90 c #Conflicts: 1370000 | #Constraints: 396995
1439.35/1444.90 c #Conflicts: 1371000 | #Constraints: 397995
1439.35/1444.90 c #Conflicts: 1372000 | #Constraints: 398995
1439.35/1444.90 c #Conflicts: 1373000 | #Constraints: 399995
1439.35/1444.90 c #Conflicts: 1374000 | #Constraints: 400995
1439.35/1444.90 c #Conflicts: 1375000 | #Constraints: 401995
1439.35/1444.90 c #Conflicts: 1376000 | #Constraints: 402995
1439.35/1444.90 c #Conflicts: 1377000 | #Constraints: 403995
1439.35/1444.90 c #Conflicts: 1378000 | #Constraints: 404995
1439.35/1444.90 c #Conflicts: 1379000 | #Constraints: 405995
1439.35/1444.90 c #Conflicts: 1380000 | #Constraints: 406995
1439.35/1444.90 c #Conflicts: 1381000 | #Constraints: 407995
1439.35/1444.90 c #Conflicts: 1382000 | #Constraints: 408995
1439.35/1444.90 c #Conflicts: 1383000 | #Constraints: 409995
1439.35/1444.90 c #Conflicts: 1384000 | #Constraints: 410995
1439.35/1444.90 c #Conflicts: 1385000 | #Constraints: 411995
1439.35/1444.90 c #Conflicts: 1386000 | #Constraints: 412995
1439.35/1444.90 c #Conflicts: 1387000 | #Constraints: 413995
1439.35/1444.90 c #Conflicts: 1388000 | #Constraints: 414995
1439.35/1444.90 c #Conflicts: 1389000 | #Constraints: 415995
1439.35/1444.90 c #Conflicts: 1390000 | #Constraints: 416995
1439.35/1444.90 c #Conflicts: 1391000 | #Constraints: 417995
1439.35/1444.90 c #Conflicts: 1392000 | #Constraints: 418995
1439.35/1444.90 c #Conflicts: 1393000 | #Constraints: 419995
1439.35/1444.90 c #Conflicts: 1394000 | #Constraints: 420995
1546.94/1552.97 c #Conflicts: 1395000 | #Constraints: 421995
1546.94/1552.97 c #Conflicts: 1396000 | #Constraints: 422995
1546.94/1552.97 c #Conflicts: 1397000 | #Constraints: 423995
1546.94/1552.97 c #Conflicts: 1398000 | #Constraints: 424995
1546.94/1552.97 c #Conflicts: 1399000 | #Constraints: 425995
1546.94/1552.97 c #Conflicts: 1400000 | #Constraints: 426995
1546.94/1552.97 c #Conflicts: 1401000 | #Constraints: 427995
1546.94/1552.97 c #Conflicts: 1402000 | #Constraints: 428995
1546.94/1552.97 c #Conflicts: 1403000 | #Constraints: 429995
1546.94/1552.97 c #Conflicts: 1404000 | #Constraints: 430995
1546.94/1552.97 c #Conflicts: 1405000 | #Constraints: 431995
1546.94/1552.97 c #Conflicts: 1406000 | #Constraints: 432995
1546.94/1552.97 c #Conflicts: 1407000 | #Constraints: 433995
1546.94/1552.97 c #Conflicts: 1408000 | #Constraints: 434995
1546.94/1552.97 c #Conflicts: 1409000 | #Constraints: 435995
1546.94/1552.97 c #Conflicts: 1410000 | #Constraints: 436995
1546.94/1552.97 c #Conflicts: 1411000 | #Constraints: 437995
1546.94/1552.97 c #Conflicts: 1412000 | #Constraints: 438995
1546.94/1552.97 c #Conflicts: 1413000 | #Constraints: 439995
1546.94/1552.97 c #Conflicts: 1414000 | #Constraints: 440995
1546.94/1552.97 c #Conflicts: 1415000 | #Constraints: 441995
1546.94/1552.97 c #Conflicts: 1416000 | #Constraints: 442995
1546.94/1552.97 c #Conflicts: 1417000 | #Constraints: 443995
1546.94/1552.97 c #Conflicts: 1418000 | #Constraints: 444995
1546.94/1552.97 c #Conflicts: 1419000 | #Constraints: 445995
1546.94/1552.97 c #Conflicts: 1420000 | #Constraints: 446995
1546.94/1552.97 c #Conflicts: 1421000 | #Constraints: 447995
1546.94/1552.97 c #Conflicts: 1422000 | #Constraints: 448995
1546.94/1552.97 c #Conflicts: 1423000 | #Constraints: 449995
1546.94/1552.97 c #Conflicts: 1424000 | #Constraints: 450995
1546.94/1552.97 c #Conflicts: 1425000 | #Constraints: 451995
1546.94/1552.97 c #Conflicts: 1426000 | #Constraints: 452995
1546.94/1552.97 c INPROCESSING
1546.94/1552.97 c GARBAGE COLLECT
1546.94/1552.97 c #Conflicts: 1427000 | #Constraints: 381846
1546.94/1552.97 c #Conflicts: 1428000 | #Constraints: 382846
1546.94/1552.97 c #Conflicts: 1429000 | #Constraints: 383846
1546.94/1552.97 c #Conflicts: 1430000 | #Constraints: 384846
1546.94/1552.97 c #Conflicts: 1431000 | #Constraints: 385846
1546.94/1552.97 c #Conflicts: 1432000 | #Constraints: 386846
1546.94/1552.97 c #Conflicts: 1433000 | #Constraints: 387846
1546.94/1552.97 c #Conflicts: 1434000 | #Constraints: 388846
1546.94/1552.97 c #Conflicts: 1435000 | #Constraints: 389846
1546.94/1552.97 c #Conflicts: 1436000 | #Constraints: 390846
1546.94/1552.97 c #Conflicts: 1437000 | #Constraints: 391846
1546.94/1552.97 c #Conflicts: 1438000 | #Constraints: 392846
1546.94/1552.97 c #Conflicts: 1439000 | #Constraints: 393846
1546.94/1552.97 c #Conflicts: 1440000 | #Constraints: 394846
1546.94/1552.97 c #Conflicts: 1441000 | #Constraints: 395846
1546.94/1552.97 c #Conflicts: 1442000 | #Constraints: 396846
1546.94/1552.97 c #Conflicts: 1443000 | #Constraints: 397846
1546.94/1552.97 c #Conflicts: 1444000 | #Constraints: 398846
1546.94/1552.97 c #Conflicts: 1445000 | #Constraints: 399846
1546.94/1552.97 c #Conflicts: 1446000 | #Constraints: 400846
1546.94/1552.97 c #Conflicts: 1447000 | #Constraints: 401846
1546.94/1552.97 c #Conflicts: 1448000 | #Constraints: 402846
1546.94/1552.97 c #Conflicts: 1449000 | #Constraints: 403846
1546.94/1552.97 c #Conflicts: 1450000 | #Constraints: 404846
1546.94/1552.97 c #Conflicts: 1451000 | #Constraints: 405846
1546.94/1552.97 c #Conflicts: 1452000 | #Constraints: 406846
1546.94/1552.97 c #Conflicts: 1453000 | #Constraints: 407846
1546.94/1552.97 c #Conflicts: 1454000 | #Constraints: 408846
1546.94/1552.97 c #Conflicts: 1455000 | #Constraints: 409846
1546.94/1552.97 c #Conflicts: 1456000 | #Constraints: 410846
1546.94/1552.97 c #Conflicts: 1457000 | #Constraints: 411846
1546.94/1552.97 c #Conflicts: 1458000 | #Constraints: 412846
1546.94/1552.97 c #Conflicts: 1459000 | #Constraints: 413846
1546.94/1552.97 c #Conflicts: 1460000 | #Constraints: 414846
1546.94/1552.97 c #Conflicts: 1461000 | #Constraints: 415846
1546.94/1552.97 c #Conflicts: 1462000 | #Constraints: 416846
1546.94/1552.97 c #Conflicts: 1463000 | #Constraints: 417846
1546.94/1552.97 c #Conflicts: 1464000 | #Constraints: 418846
1546.94/1552.97 c #Conflicts: 1465000 | #Constraints: 419846
1546.94/1552.97 c #Conflicts: 1466000 | #Constraints: 420846
1546.94/1552.97 c #Conflicts: 1467000 | #Constraints: 421846
1546.94/1552.97 c #Conflicts: 1468000 | #Constraints: 422846
1546.94/1552.97 c #Conflicts: 1469000 | #Constraints: 423846
1546.94/1552.97 c #Conflicts: 1470000 | #Constraints: 424846
1546.94/1552.97 c #Conflicts: 1471000 | #Constraints: 425846
1546.94/1552.97 c #Conflicts: 1472000 | #Constraints: 426846
1628.50/1634.87 c #Conflicts: 1473000 | #Constraints: 427846
1628.50/1634.87 c #Conflicts: 1474000 | #Constraints: 428846
1628.50/1634.87 c #Conflicts: 1475000 | #Constraints: 429846
1628.50/1634.87 c #Conflicts: 1476000 | #Constraints: 430846
1628.50/1634.87 c #Conflicts: 1477000 | #Constraints: 431846
1628.50/1634.87 c #Conflicts: 1478000 | #Constraints: 432846
1628.50/1634.87 c #Conflicts: 1479000 | #Constraints: 433846
1628.50/1634.87 c #Conflicts: 1480000 | #Constraints: 434846
1628.50/1634.87 c #Conflicts: 1481000 | #Constraints: 435846
1628.50/1634.87 c #Conflicts: 1482000 | #Constraints: 436846
1628.50/1634.87 c #Conflicts: 1483000 | #Constraints: 437846
1628.50/1634.87 c #Conflicts: 1484000 | #Constraints: 438846
1628.50/1634.87 c #Conflicts: 1485000 | #Constraints: 439846
1628.50/1634.87 c #Conflicts: 1486000 | #Constraints: 440846
1628.50/1634.87 c #Conflicts: 1487000 | #Constraints: 441846
1628.50/1634.87 c #Conflicts: 1488000 | #Constraints: 442846
1628.50/1634.87 c #Conflicts: 1489000 | #Constraints: 443846
1628.50/1634.87 c #Conflicts: 1490000 | #Constraints: 444846
1628.50/1634.87 c #Conflicts: 1491000 | #Constraints: 445846
1628.50/1634.87 c #Conflicts: 1492000 | #Constraints: 446846
1628.50/1634.87 c #Conflicts: 1493000 | #Constraints: 447846
1628.50/1634.87 c #Conflicts: 1494000 | #Constraints: 448846
1628.50/1634.87 c #Conflicts: 1495000 | #Constraints: 449846
1628.50/1634.87 c #Conflicts: 1496000 | #Constraints: 450846
1628.50/1634.87 c #Conflicts: 1497000 | #Constraints: 451846
1628.50/1634.87 c #Conflicts: 1498000 | #Constraints: 452846
1628.50/1634.87 c #Conflicts: 1499000 | #Constraints: 453846
1628.50/1634.87 c #Conflicts: 1500000 | #Constraints: 454846
1628.50/1634.87 c #Conflicts: 1501000 | #Constraints: 455846
1628.50/1634.87 c #Conflicts: 1502000 | #Constraints: 456846
1628.50/1634.87 c #Conflicts: 1503000 | #Constraints: 457846
1628.50/1634.87 c INPROCESSING
1628.50/1634.87 c GARBAGE COLLECT
1628.50/1634.87 c #Conflicts: 1504000 | #Constraints: 384557
1628.50/1634.87 c #Conflicts: 1505000 | #Constraints: 385557
1628.50/1634.87 c #Conflicts: 1506000 | #Constraints: 386557
1628.50/1634.87 c #Conflicts: 1507000 | #Constraints: 387557
1628.50/1634.87 c #Conflicts: 1508000 | #Constraints: 388557
1628.50/1634.87 c #Conflicts: 1509000 | #Constraints: 389557
1628.50/1634.87 c #Conflicts: 1510000 | #Constraints: 390557
1628.50/1634.87 c #Conflicts: 1511000 | #Constraints: 391557
1628.50/1634.87 c #Conflicts: 1512000 | #Constraints: 392557
1628.50/1634.87 c #Conflicts: 1513000 | #Constraints: 393557
1628.50/1634.87 c #Conflicts: 1514000 | #Constraints: 394557
1628.50/1634.87 c #Conflicts: 1515000 | #Constraints: 395557
1628.50/1634.87 c #Conflicts: 1516000 | #Constraints: 396557
1628.50/1634.87 c #Conflicts: 1517000 | #Constraints: 397557
1628.50/1634.87 c #Conflicts: 1518000 | #Constraints: 398557
1628.50/1634.87 c #Conflicts: 1519000 | #Constraints: 399557
1628.50/1634.87 c #Conflicts: 1520000 | #Constraints: 400557
1628.50/1634.87 c #Conflicts: 1521000 | #Constraints: 401557
1628.50/1634.87 c #Conflicts: 1522000 | #Constraints: 402557
1628.50/1634.87 c #Conflicts: 1523000 | #Constraints: 403557
1628.50/1634.87 c #Conflicts: 1524000 | #Constraints: 404557
1628.50/1634.87 c #Conflicts: 1525000 | #Constraints: 405557
1628.50/1634.87 c #Conflicts: 1526000 | #Constraints: 406557
1628.50/1634.87 c #Conflicts: 1527000 | #Constraints: 407557
1628.50/1634.87 c #Conflicts: 1528000 | #Constraints: 408557
1628.50/1634.87 c #Conflicts: 1529000 | #Constraints: 409557
1628.50/1634.87 c #Conflicts: 1530000 | #Constraints: 410557
1628.50/1634.87 c #Conflicts: 1531000 | #Constraints: 411557
1628.50/1634.87 c #Conflicts: 1532000 | #Constraints: 412557
1628.50/1634.87 c #Conflicts: 1533000 | #Constraints: 413557
1628.50/1634.87 c #Conflicts: 1534000 | #Constraints: 414557
1628.50/1634.87 c #Conflicts: 1535000 | #Constraints: 415557
1628.50/1634.87 c #Conflicts: 1536000 | #Constraints: 416557
1628.50/1634.87 c #Conflicts: 1537000 | #Constraints: 417557
1628.50/1634.87 c #Conflicts: 1538000 | #Constraints: 418557
1628.50/1634.87 c #Conflicts: 1539000 | #Constraints: 419557
1628.50/1634.87 c #Conflicts: 1540000 | #Constraints: 420557
1628.50/1634.87 c #Conflicts: 1541000 | #Constraints: 421557
1628.50/1634.87 c #Conflicts: 1542000 | #Constraints: 422557
1628.50/1634.87 c #Conflicts: 1543000 | #Constraints: 423557
1628.50/1634.87 c #Conflicts: 1544000 | #Constraints: 424557
1628.50/1634.87 c #Conflicts: 1545000 | #Constraints: 425557
1628.50/1634.87 c #Conflicts: 1546000 | #Constraints: 426557
1628.50/1634.87 c #Conflicts: 1547000 | #Constraints: 427557
1628.50/1634.87 c #Conflicts: 1548000 | #Constraints: 428557
1628.50/1634.87 c #Conflicts: 1549000 | #Constraints: 429557
1628.50/1634.87 c #Conflicts: 1550000 | #Constraints: 430557
1761.91/1768.77 c #Conflicts: 1551000 | #Constraints: 431557
1761.91/1768.77 c #Conflicts: 1552000 | #Constraints: 432557
1761.91/1768.77 c #Conflicts: 1553000 | #Constraints: 433557
1761.91/1768.77 c #Conflicts: 1554000 | #Constraints: 434557
1761.91/1768.77 c #Conflicts: 1555000 | #Constraints: 435557
1761.91/1768.77 c #Conflicts: 1556000 | #Constraints: 436557
1761.91/1768.77 c #Conflicts: 1557000 | #Constraints: 437557
1761.91/1768.77 c #Conflicts: 1558000 | #Constraints: 438557
1761.91/1768.77 c #Conflicts: 1559000 | #Constraints: 439557
1761.91/1768.77 c #Conflicts: 1560000 | #Constraints: 440557
1761.91/1768.77 c #Conflicts: 1561000 | #Constraints: 441557
1761.91/1768.77 c #Conflicts: 1562000 | #Constraints: 442557
1761.91/1768.77 c #Conflicts: 1563000 | #Constraints: 443557
1761.91/1768.77 c #Conflicts: 1564000 | #Constraints: 444557
1761.91/1768.77 c #Conflicts: 1565000 | #Constraints: 445557
1761.91/1768.77 c #Conflicts: 1566000 | #Constraints: 446557
1761.91/1768.77 c #Conflicts: 1567000 | #Constraints: 447557
1761.91/1768.77 c #Conflicts: 1568000 | #Constraints: 448557
1761.91/1768.77 c #Conflicts: 1569000 | #Constraints: 449557
1761.91/1768.77 c #Conflicts: 1570000 | #Constraints: 450557
1761.91/1768.77 c #Conflicts: 1571000 | #Constraints: 451557
1761.91/1768.77 c #Conflicts: 1572000 | #Constraints: 452557
1761.91/1768.77 c #Conflicts: 1573000 | #Constraints: 453557
1761.91/1768.77 c #Conflicts: 1574000 | #Constraints: 454557
1761.91/1768.77 c #Conflicts: 1575000 | #Constraints: 455557
1761.91/1768.77 c #Conflicts: 1576000 | #Constraints: 456557
1761.91/1768.77 c #Conflicts: 1577000 | #Constraints: 457557
1761.91/1768.77 c #Conflicts: 1578000 | #Constraints: 458557
1761.91/1768.77 c #Conflicts: 1579000 | #Constraints: 459557
1761.91/1768.77 c #Conflicts: 1580000 | #Constraints: 460557
1761.91/1768.77 c #Conflicts: 1581000 | #Constraints: 461557
1761.91/1768.77 c #Conflicts: 1582000 | #Constraints: 462557
1761.91/1768.77 c INPROCESSING
1761.91/1768.77 c GARBAGE COLLECT
1761.91/1768.77 c #Conflicts: 1583000 | #Constraints: 387210
1761.91/1768.77 c #Conflicts: 1584000 | #Constraints: 388210
1761.91/1768.77 c #Conflicts: 1585000 | #Constraints: 389210
1761.91/1768.77 c #Conflicts: 1586000 | #Constraints: 390210
1761.91/1768.77 c #Conflicts: 1587000 | #Constraints: 391210
1761.91/1768.77 c #Conflicts: 1588000 | #Constraints: 392210
1761.91/1768.77 c #Conflicts: 1589000 | #Constraints: 393210
1761.91/1768.77 c #Conflicts: 1590000 | #Constraints: 394210
1761.91/1768.77 c #Conflicts: 1591000 | #Constraints: 395210
1761.91/1768.77 c #Conflicts: 1592000 | #Constraints: 396210
1761.91/1768.77 c #Conflicts: 1593000 | #Constraints: 397210
1761.91/1768.77 c #Conflicts: 1594000 | #Constraints: 398210
1761.91/1768.77 c #Conflicts: 1595000 | #Constraints: 399210
1761.91/1768.77 c #Conflicts: 1596000 | #Constraints: 400210
1761.91/1768.77 c #Conflicts: 1597000 | #Constraints: 401210
1761.91/1768.77 c #Conflicts: 1598000 | #Constraints: 402210
1761.91/1768.77 c #Conflicts: 1599000 | #Constraints: 403210
1761.91/1768.77 c #Conflicts: 1600000 | #Constraints: 404210
1761.91/1768.77 c #Conflicts: 1601000 | #Constraints: 405210
1761.91/1768.77 c #Conflicts: 1602000 | #Constraints: 406210
1761.91/1768.77 c #Conflicts: 1603000 | #Constraints: 407210
1761.91/1768.77 c #Conflicts: 1604000 | #Constraints: 408210
1761.91/1768.77 c #Conflicts: 1605000 | #Constraints: 409210
1761.91/1768.77 c #Conflicts: 1606000 | #Constraints: 410210
1761.91/1768.77 c #Conflicts: 1607000 | #Constraints: 411210
1761.91/1768.77 c #Conflicts: 1608000 | #Constraints: 412210
1761.91/1768.77 c #Conflicts: 1609000 | #Constraints: 413210
1761.91/1768.77 c #Conflicts: 1610000 | #Constraints: 414210
1761.91/1768.77 c #Conflicts: 1611000 | #Constraints: 415210
1761.91/1768.77 c #Conflicts: 1612000 | #Constraints: 416210
1761.91/1768.77 c #Conflicts: 1613000 | #Constraints: 417210
1761.91/1768.77 c #Conflicts: 1614000 | #Constraints: 418210
1761.91/1768.77 c #Conflicts: 1615000 | #Constraints: 419210
1761.91/1768.77 c #Conflicts: 1616000 | #Constraints: 420210
1761.91/1768.77 c #Conflicts: 1617000 | #Constraints: 421210
1761.91/1768.77 c #Conflicts: 1618000 | #Constraints: 422210
1761.91/1768.77 c #Conflicts: 1619000 | #Constraints: 423210
1761.91/1768.77 c #Conflicts: 1620000 | #Constraints: 424210
1761.91/1768.77 c #Conflicts: 1621000 | #Constraints: 425210
1761.91/1768.77 c #Conflicts: 1622000 | #Constraints: 426210
1761.91/1768.77 c #Conflicts: 1623000 | #Constraints: 427210
1761.91/1768.77 c #Conflicts: 1624000 | #Constraints: 428210
1761.91/1768.77 c #Conflicts: 1625000 | #Constraints: 429210
1761.91/1768.77 c #Conflicts: 1626000 | #Constraints: 430210
1761.91/1768.77 c #Conflicts: 1627000 | #Constraints: 431210
1761.91/1768.77 c #Conflicts: 1628000 | #Constraints: 432210
1859.07/1866.21 c #Conflicts: 1629000 | #Constraints: 433210
1859.07/1866.21 c #Conflicts: 1630000 | #Constraints: 434210
1859.07/1866.21 c #Conflicts: 1631000 | #Constraints: 435210
1859.07/1866.21 c #Conflicts: 1632000 | #Constraints: 436210
1859.07/1866.21 c #Conflicts: 1633000 | #Constraints: 437210
1859.07/1866.21 c #Conflicts: 1634000 | #Constraints: 438210
1859.07/1866.21 c #Conflicts: 1635000 | #Constraints: 439210
1859.07/1866.21 c #Conflicts: 1636000 | #Constraints: 440210
1859.07/1866.21 c #Conflicts: 1637000 | #Constraints: 441210
1859.07/1866.21 c #Conflicts: 1638000 | #Constraints: 442210
1859.07/1866.21 c #Conflicts: 1639000 | #Constraints: 443210
1859.07/1866.21 c #Conflicts: 1640000 | #Constraints: 444210
1859.07/1866.21 c #Conflicts: 1641000 | #Constraints: 445210
1859.07/1866.21 c #Conflicts: 1642000 | #Constraints: 446210
1859.07/1866.21 c #Conflicts: 1643000 | #Constraints: 447210
1859.07/1866.21 c #Conflicts: 1644000 | #Constraints: 448210
1859.07/1866.21 c #Conflicts: 1645000 | #Constraints: 449210
1859.07/1866.21 c #Conflicts: 1646000 | #Constraints: 450210
1859.07/1866.21 c #Conflicts: 1647000 | #Constraints: 451210
1859.07/1866.21 c #Conflicts: 1648000 | #Constraints: 452210
1859.07/1866.21 c #Conflicts: 1649000 | #Constraints: 453210
1859.07/1866.21 c #Conflicts: 1650000 | #Constraints: 454210
1859.07/1866.21 c #Conflicts: 1651000 | #Constraints: 455210
1859.07/1866.21 c #Conflicts: 1652000 | #Constraints: 456210
1859.07/1866.21 c #Conflicts: 1653000 | #Constraints: 457210
1859.07/1866.21 c #Conflicts: 1654000 | #Constraints: 458210
1859.07/1866.21 c #Conflicts: 1655000 | #Constraints: 459210
1859.07/1866.21 c #Conflicts: 1656000 | #Constraints: 460210
1859.07/1866.21 c #Conflicts: 1657000 | #Constraints: 461210
1859.07/1866.21 c #Conflicts: 1658000 | #Constraints: 462210
1859.07/1866.21 c #Conflicts: 1659000 | #Constraints: 463210
1859.07/1866.21 c #Conflicts: 1660000 | #Constraints: 464210
1859.07/1866.21 c #Conflicts: 1661000 | #Constraints: 465210
1859.07/1866.21 c #Conflicts: 1662000 | #Constraints: 466210
1859.07/1866.21 c #Conflicts: 1663000 | #Constraints: 467210
1859.07/1866.21 c INPROCESSING
1859.07/1866.21 c GARBAGE COLLECT
1859.07/1866.21 c #Conflicts: 1664000 | #Constraints: 389742
1859.07/1866.21 c #Conflicts: 1665000 | #Constraints: 390742
1859.07/1866.21 c #Conflicts: 1666000 | #Constraints: 391742
1859.07/1866.21 c #Conflicts: 1667000 | #Constraints: 392742
1859.07/1866.21 c #Conflicts: 1668000 | #Constraints: 393742
1859.07/1866.21 c #Conflicts: 1669000 | #Constraints: 394742
1859.07/1866.21 c #Conflicts: 1670000 | #Constraints: 395742
1859.07/1866.21 c #Conflicts: 1671000 | #Constraints: 396742
1859.07/1866.21 c #Conflicts: 1672000 | #Constraints: 397742
1859.07/1866.21 c #Conflicts: 1673000 | #Constraints: 398742
1859.07/1866.21 c #Conflicts: 1674000 | #Constraints: 399742
1859.07/1866.21 c #Conflicts: 1675000 | #Constraints: 400742
1859.07/1866.21 c #Conflicts: 1676000 | #Constraints: 401742
1859.07/1866.21 c #Conflicts: 1677000 | #Constraints: 402742
1859.07/1866.21 c #Conflicts: 1678000 | #Constraints: 403742
1859.07/1866.21 c #Conflicts: 1679000 | #Constraints: 404742
1859.07/1866.21 c #Conflicts: 1680000 | #Constraints: 405742
1859.07/1866.21 c #Conflicts: 1681000 | #Constraints: 406742
1859.07/1866.21 c #Conflicts: 1682000 | #Constraints: 407742
1859.07/1866.21 c #Conflicts: 1683000 | #Constraints: 408742
1859.07/1866.21 c #Conflicts: 1684000 | #Constraints: 409742
1859.07/1866.21 c #Conflicts: 1685000 | #Constraints: 410742
1859.07/1866.21 c #Conflicts: 1686000 | #Constraints: 411742
1859.07/1866.21 c #Conflicts: 1687000 | #Constraints: 412742
1859.07/1866.21 c #Conflicts: 1688000 | #Constraints: 413742
1859.07/1866.21 c #Conflicts: 1689000 | #Constraints: 414742
1859.07/1866.21 c #Conflicts: 1690000 | #Constraints: 415742
1859.07/1866.21 c #Conflicts: 1691000 | #Constraints: 416742
1859.07/1866.21 c #Conflicts: 1692000 | #Constraints: 417742
1859.07/1866.21 c #Conflicts: 1693000 | #Constraints: 418742
1859.07/1866.21 c #Conflicts: 1694000 | #Constraints: 419742
1859.07/1866.21 c #Conflicts: 1695000 | #Constraints: 420742
1859.07/1866.21 c #Conflicts: 1696000 | #Constraints: 421742
1859.07/1866.21 c #Conflicts: 1697000 | #Constraints: 422742
1859.07/1866.21 c #Conflicts: 1698000 | #Constraints: 423742
1859.07/1866.21 c #Conflicts: 1699000 | #Constraints: 424742
1859.07/1866.21 c #Conflicts: 1700000 | #Constraints: 425742
1859.07/1866.21 c #Conflicts: 1701000 | #Constraints: 426742
1859.07/1866.21 c #Conflicts: 1702000 | #Constraints: 427742
1859.07/1866.21 c #Conflicts: 1703000 | #Constraints: 428742
1859.07/1866.21 c #Conflicts: 1704000 | #Constraints: 429742
1859.07/1866.21 c #Conflicts: 1705000 | #Constraints: 430742
1859.07/1866.21 c #Conflicts: 1706000 | #Constraints: 431742
1981.81/1989.59 c #Conflicts: 1707000 | #Constraints: 432742
1981.81/1989.59 c #Conflicts: 1708000 | #Constraints: 433742
1981.81/1989.59 c #Conflicts: 1709000 | #Constraints: 434742
1981.81/1989.59 c #Conflicts: 1710000 | #Constraints: 435742
1981.81/1989.59 c #Conflicts: 1711000 | #Constraints: 436742
1981.81/1989.59 c #Conflicts: 1712000 | #Constraints: 437742
1981.81/1989.59 c #Conflicts: 1713000 | #Constraints: 438742
1981.81/1989.59 c #Conflicts: 1714000 | #Constraints: 439742
1981.81/1989.59 c #Conflicts: 1715000 | #Constraints: 440742
1981.81/1989.59 c #Conflicts: 1716000 | #Constraints: 441742
1981.81/1989.59 c #Conflicts: 1717000 | #Constraints: 442742
1981.81/1989.59 c #Conflicts: 1718000 | #Constraints: 443742
1981.81/1989.59 c #Conflicts: 1719000 | #Constraints: 444742
1981.81/1989.59 c #Conflicts: 1720000 | #Constraints: 445742
1981.81/1989.59 c #Conflicts: 1721000 | #Constraints: 446742
1981.81/1989.59 c #Conflicts: 1722000 | #Constraints: 447742
1981.81/1989.59 c #Conflicts: 1723000 | #Constraints: 448742
1981.81/1989.59 c #Conflicts: 1724000 | #Constraints: 449742
1981.81/1989.59 c #Conflicts: 1725000 | #Constraints: 450742
1981.81/1989.59 c #Conflicts: 1726000 | #Constraints: 451742
1981.81/1989.59 c #Conflicts: 1727000 | #Constraints: 452742
1981.81/1989.59 c #Conflicts: 1728000 | #Constraints: 453742
1981.81/1989.59 c #Conflicts: 1729000 | #Constraints: 454742
1981.81/1989.59 c #Conflicts: 1730000 | #Constraints: 455742
1981.81/1989.59 c #Conflicts: 1731000 | #Constraints: 456742
1981.81/1989.59 c #Conflicts: 1732000 | #Constraints: 457742
1981.81/1989.59 c #Conflicts: 1733000 | #Constraints: 458742
1981.81/1989.59 c #Conflicts: 1734000 | #Constraints: 459742
1981.81/1989.59 c #Conflicts: 1735000 | #Constraints: 460742
1981.81/1989.59 c #Conflicts: 1736000 | #Constraints: 461742
1981.81/1989.59 c #Conflicts: 1737000 | #Constraints: 462742
1981.81/1989.59 c #Conflicts: 1738000 | #Constraints: 463742
1981.81/1989.59 c #Conflicts: 1739000 | #Constraints: 464742
1981.81/1989.59 c #Conflicts: 1740000 | #Constraints: 465742
1981.81/1989.59 c #Conflicts: 1741000 | #Constraints: 466742
1981.81/1989.59 c #Conflicts: 1742000 | #Constraints: 467742
1981.81/1989.59 c #Conflicts: 1743000 | #Constraints: 468742
1981.81/1989.59 c #Conflicts: 1744000 | #Constraints: 469742
1981.81/1989.59 c #Conflicts: 1745000 | #Constraints: 470742
1981.81/1989.59 c #Conflicts: 1746000 | #Constraints: 471742
1981.81/1989.59 c INPROCESSING
1981.81/1989.59 c GARBAGE COLLECT
1981.81/1989.59 c #Conflicts: 1747000 | #Constraints: 391695
1981.81/1989.59 c #Conflicts: 1748000 | #Constraints: 392695
1981.81/1989.59 c #Conflicts: 1749000 | #Constraints: 393695
1981.81/1989.59 c #Conflicts: 1750000 | #Constraints: 394695
1981.81/1989.59 c #Conflicts: 1751000 | #Constraints: 395695
1981.81/1989.59 c #Conflicts: 1752000 | #Constraints: 396695
1981.81/1989.59 c #Conflicts: 1753000 | #Constraints: 397695
1981.81/1989.59 c #Conflicts: 1754000 | #Constraints: 398695
1981.81/1989.59 c #Conflicts: 1755000 | #Constraints: 399695
1981.81/1989.59 c #Conflicts: 1756000 | #Constraints: 400695
1981.81/1989.59 c #Conflicts: 1757000 | #Constraints: 401695
1981.81/1989.59 c #Conflicts: 1758000 | #Constraints: 402695
1981.81/1989.59 c #Conflicts: 1759000 | #Constraints: 403695
1981.81/1989.59 c #Conflicts: 1760000 | #Constraints: 404695
1981.81/1989.59 c #Conflicts: 1761000 | #Constraints: 405695
1981.81/1989.59 c #Conflicts: 1762000 | #Constraints: 406695
1981.81/1989.59 c #Conflicts: 1763000 | #Constraints: 407695
1981.81/1989.59 c #Conflicts: 1764000 | #Constraints: 408695
1981.81/1989.59 c #Conflicts: 1765000 | #Constraints: 409695
1981.81/1989.59 c #Conflicts: 1766000 | #Constraints: 410695
1981.81/1989.59 c #Conflicts: 1767000 | #Constraints: 411695
1981.81/1989.59 c #Conflicts: 1768000 | #Constraints: 412695
1981.81/1989.59 c #Conflicts: 1769000 | #Constraints: 413695
1981.81/1989.59 c #Conflicts: 1770000 | #Constraints: 414695
1981.81/1989.59 c #Conflicts: 1771000 | #Constraints: 415695
1981.81/1989.59 c #Conflicts: 1772000 | #Constraints: 416695
1981.81/1989.59 c #Conflicts: 1773000 | #Constraints: 417695
1981.81/1989.59 c #Conflicts: 1774000 | #Constraints: 418695
1981.81/1989.59 c #Conflicts: 1775000 | #Constraints: 419695
1981.81/1989.59 c #Conflicts: 1776000 | #Constraints: 420695
1981.81/1989.59 c #Conflicts: 1777000 | #Constraints: 421695
1981.81/1989.59 c #Conflicts: 1778000 | #Constraints: 422695
1981.81/1989.59 c #Conflicts: 1779000 | #Constraints: 423695
1981.81/1989.59 c #Conflicts: 1780000 | #Constraints: 424695
1981.81/1989.59 c #Conflicts: 1781000 | #Constraints: 425695
1981.81/1989.59 c #Conflicts: 1782000 | #Constraints: 426695
1981.81/1989.59 c #Conflicts: 1783000 | #Constraints: 427695
1981.81/1989.59 c #Conflicts: 1784000 | #Constraints: 428695
2092.11/2100.27 c #Conflicts: 1785000 | #Constraints: 429695
2092.11/2100.27 c #Conflicts: 1786000 | #Constraints: 430695
2092.11/2100.27 c #Conflicts: 1787000 | #Constraints: 431695
2092.11/2100.27 c #Conflicts: 1788000 | #Constraints: 432695
2092.11/2100.27 c #Conflicts: 1789000 | #Constraints: 433695
2092.11/2100.27 c #Conflicts: 1790000 | #Constraints: 434695
2092.11/2100.27 c #Conflicts: 1791000 | #Constraints: 435695
2092.11/2100.27 c #Conflicts: 1792000 | #Constraints: 436695
2092.11/2100.27 c #Conflicts: 1793000 | #Constraints: 437695
2092.11/2100.27 c #Conflicts: 1794000 | #Constraints: 438695
2092.11/2100.27 c #Conflicts: 1795000 | #Constraints: 439695
2092.11/2100.27 c #Conflicts: 1796000 | #Constraints: 440695
2092.11/2100.27 c #Conflicts: 1797000 | #Constraints: 441695
2092.11/2100.27 c #Conflicts: 1798000 | #Constraints: 442695
2092.11/2100.27 c #Conflicts: 1799000 | #Constraints: 443695
2092.11/2100.27 c #Conflicts: 1800000 | #Constraints: 444695
2092.11/2100.27 c #Conflicts: 1801000 | #Constraints: 445695
2092.11/2100.27 c #Conflicts: 1802000 | #Constraints: 446695
2092.11/2100.27 c #Conflicts: 1803000 | #Constraints: 447695
2092.11/2100.27 c #Conflicts: 1804000 | #Constraints: 448695
2092.11/2100.27 c #Conflicts: 1805000 | #Constraints: 449695
2092.11/2100.27 c #Conflicts: 1806000 | #Constraints: 450695
2092.11/2100.27 c #Conflicts: 1807000 | #Constraints: 451695
2092.11/2100.27 c #Conflicts: 1808000 | #Constraints: 452695
2092.11/2100.27 c #Conflicts: 1809000 | #Constraints: 453695
2092.11/2100.27 c #Conflicts: 1810000 | #Constraints: 454695
2092.11/2100.27 c #Conflicts: 1811000 | #Constraints: 455695
2092.11/2100.27 c #Conflicts: 1812000 | #Constraints: 456695
2092.11/2100.27 c #Conflicts: 1813000 | #Constraints: 457695
2092.11/2100.27 c #Conflicts: 1814000 | #Constraints: 458695
2092.11/2100.27 c #Conflicts: 1815000 | #Constraints: 459695
2092.11/2100.27 c #Conflicts: 1816000 | #Constraints: 460695
2092.11/2100.27 c #Conflicts: 1817000 | #Constraints: 461695
2092.11/2100.27 c #Conflicts: 1818000 | #Constraints: 462695
2092.11/2100.27 c #Conflicts: 1819000 | #Constraints: 463695
2092.11/2100.27 c #Conflicts: 1820000 | #Constraints: 464695
2092.11/2100.27 c #Conflicts: 1821000 | #Constraints: 465695
2092.11/2100.27 c #Conflicts: 1822000 | #Constraints: 466695
2092.11/2100.27 c #Conflicts: 1823000 | #Constraints: 467695
2092.11/2100.27 c #Conflicts: 1824000 | #Constraints: 468695
2092.11/2100.27 c #Conflicts: 1825000 | #Constraints: 469695
2092.11/2100.27 c #Conflicts: 1826000 | #Constraints: 470695
2092.11/2100.27 c #Conflicts: 1827000 | #Constraints: 471695
2092.11/2100.27 c #Conflicts: 1828000 | #Constraints: 472695
2092.11/2100.27 c #Conflicts: 1829000 | #Constraints: 473695
2092.11/2100.27 c #Conflicts: 1830000 | #Constraints: 474695
2092.11/2100.27 c INPROCESSING
2092.11/2100.27 c GARBAGE COLLECT
2092.11/2100.27 c #Conflicts: 1831000 | #Constraints: 394077
2092.11/2100.27 c #Conflicts: 1832000 | #Constraints: 395077
2092.11/2100.27 c #Conflicts: 1833000 | #Constraints: 396077
2092.11/2100.27 c #Conflicts: 1834000 | #Constraints: 397077
2092.11/2100.27 c #Conflicts: 1835000 | #Constraints: 398077
2092.11/2100.27 c #Conflicts: 1836000 | #Constraints: 399077
2092.11/2100.27 c #Conflicts: 1837000 | #Constraints: 400077
2092.11/2100.27 c #Conflicts: 1838000 | #Constraints: 401077
2092.11/2100.27 c #Conflicts: 1839000 | #Constraints: 402077
2092.11/2100.27 c #Conflicts: 1840000 | #Constraints: 403077
2092.11/2100.27 c #Conflicts: 1841000 | #Constraints: 404077
2092.11/2100.27 c #Conflicts: 1842000 | #Constraints: 405077
2092.11/2100.27 c #Conflicts: 1843000 | #Constraints: 406077
2092.11/2100.27 c #Conflicts: 1844000 | #Constraints: 407077
2092.11/2100.27 c #Conflicts: 1845000 | #Constraints: 408077
2092.11/2100.27 c #Conflicts: 1846000 | #Constraints: 409077
2092.11/2100.27 c #Conflicts: 1847000 | #Constraints: 410077
2092.11/2100.27 c #Conflicts: 1848000 | #Constraints: 411077
2092.11/2100.27 c #Conflicts: 1849000 | #Constraints: 412077
2092.11/2100.27 c #Conflicts: 1850000 | #Constraints: 413077
2092.11/2100.27 c #Conflicts: 1851000 | #Constraints: 414077
2092.11/2100.27 c #Conflicts: 1852000 | #Constraints: 415077
2092.11/2100.27 c #Conflicts: 1853000 | #Constraints: 416077
2092.11/2100.27 c #Conflicts: 1854000 | #Constraints: 417077
2092.11/2100.27 c #Conflicts: 1855000 | #Constraints: 418077
2092.11/2100.27 c #Conflicts: 1856000 | #Constraints: 419077
2092.11/2100.27 c #Conflicts: 1857000 | #Constraints: 420077
2092.11/2100.27 c #Conflicts: 1858000 | #Constraints: 421077
2092.11/2100.27 c #Conflicts: 1859000 | #Constraints: 422077
2092.11/2100.27 c #Conflicts: 1860000 | #Constraints: 423077
2092.11/2100.27 c #Conflicts: 1861000 | #Constraints: 424077
2092.11/2100.27 c #Conflicts: 1862000 | #Constraints: 425077
2206.55/2215.19 c #Conflicts: 1863000 | #Constraints: 426077
2206.55/2215.19 c #Conflicts: 1864000 | #Constraints: 427077
2206.55/2215.19 c #Conflicts: 1865000 | #Constraints: 428077
2206.55/2215.19 c #Conflicts: 1866000 | #Constraints: 429077
2206.55/2215.19 c #Conflicts: 1867000 | #Constraints: 430077
2206.55/2215.19 c #Conflicts: 1868000 | #Constraints: 431077
2206.55/2215.19 c #Conflicts: 1869000 | #Constraints: 432077
2206.55/2215.19 c #Conflicts: 1870000 | #Constraints: 433077
2206.55/2215.19 c #Conflicts: 1871000 | #Constraints: 434077
2206.55/2215.19 c #Conflicts: 1872000 | #Constraints: 435077
2206.55/2215.19 c #Conflicts: 1873000 | #Constraints: 436077
2206.55/2215.19 c #Conflicts: 1874000 | #Constraints: 437077
2206.55/2215.19 c #Conflicts: 1875000 | #Constraints: 438077
2206.55/2215.19 c #Conflicts: 1876000 | #Constraints: 439077
2206.55/2215.19 c #Conflicts: 1877000 | #Constraints: 440077
2206.55/2215.19 c #Conflicts: 1878000 | #Constraints: 441077
2206.55/2215.19 c #Conflicts: 1879000 | #Constraints: 442077
2206.55/2215.19 c #Conflicts: 1880000 | #Constraints: 443077
2206.55/2215.19 c #Conflicts: 1881000 | #Constraints: 444077
2206.55/2215.19 c #Conflicts: 1882000 | #Constraints: 445077
2206.55/2215.19 c #Conflicts: 1883000 | #Constraints: 446077
2206.55/2215.19 c #Conflicts: 1884000 | #Constraints: 447077
2206.55/2215.19 c #Conflicts: 1885000 | #Constraints: 448077
2206.55/2215.19 c #Conflicts: 1886000 | #Constraints: 449077
2206.55/2215.19 c #Conflicts: 1887000 | #Constraints: 450077
2206.55/2215.19 c #Conflicts: 1888000 | #Constraints: 451077
2206.55/2215.19 c #Conflicts: 1889000 | #Constraints: 452077
2206.55/2215.19 c #Conflicts: 1890000 | #Constraints: 453077
2206.55/2215.19 c #Conflicts: 1891000 | #Constraints: 454077
2206.55/2215.19 c #Conflicts: 1892000 | #Constraints: 455077
2206.55/2215.19 c #Conflicts: 1893000 | #Constraints: 456077
2206.55/2215.19 c #Conflicts: 1894000 | #Constraints: 457077
2206.55/2215.19 c #Conflicts: 1895000 | #Constraints: 458077
2206.55/2215.19 c #Conflicts: 1896000 | #Constraints: 459077
2206.55/2215.19 c #Conflicts: 1897000 | #Constraints: 460077
2206.55/2215.19 c #Conflicts: 1898000 | #Constraints: 461077
2206.55/2215.19 c #Conflicts: 1899000 | #Constraints: 462077
2206.55/2215.19 c #Conflicts: 1900000 | #Constraints: 463077
2206.55/2215.19 c #Conflicts: 1901000 | #Constraints: 464077
2206.55/2215.19 c #Conflicts: 1902000 | #Constraints: 465077
2206.55/2215.19 c #Conflicts: 1903000 | #Constraints: 466077
2206.55/2215.19 c #Conflicts: 1904000 | #Constraints: 467077
2206.55/2215.19 c #Conflicts: 1905000 | #Constraints: 468077
2206.55/2215.19 c #Conflicts: 1906000 | #Constraints: 469077
2206.55/2215.19 c #Conflicts: 1907000 | #Constraints: 470077
2206.55/2215.19 c #Conflicts: 1908000 | #Constraints: 471077
2206.55/2215.19 c #Conflicts: 1909000 | #Constraints: 472077
2206.55/2215.19 c #Conflicts: 1910000 | #Constraints: 473077
2206.55/2215.19 c #Conflicts: 1911000 | #Constraints: 474077
2206.55/2215.19 c #Conflicts: 1912000 | #Constraints: 475077
2206.55/2215.19 c #Conflicts: 1913000 | #Constraints: 476077
2206.55/2215.19 c #Conflicts: 1914000 | #Constraints: 477077
2206.55/2215.19 c #Conflicts: 1915000 | #Constraints: 478077
2206.55/2215.19 c #Conflicts: 1916000 | #Constraints: 479077
2206.55/2215.19 c #Conflicts: 1917000 | #Constraints: 480077
2206.55/2215.19 c INPROCESSING
2206.55/2215.19 c GARBAGE COLLECT
2206.55/2215.19 c #Conflicts: 1918000 | #Constraints: 397109
2206.55/2215.19 c #Conflicts: 1919000 | #Constraints: 398109
2206.55/2215.19 c #Conflicts: 1920000 | #Constraints: 399109
2206.55/2215.19 c #Conflicts: 1921000 | #Constraints: 400109
2206.55/2215.19 c #Conflicts: 1922000 | #Constraints: 401109
2206.55/2215.19 c #Conflicts: 1923000 | #Constraints: 402109
2206.55/2215.19 c #Conflicts: 1924000 | #Constraints: 403109
2206.55/2215.19 c #Conflicts: 1925000 | #Constraints: 404109
2206.55/2215.19 c #Conflicts: 1926000 | #Constraints: 405109
2206.55/2215.19 c #Conflicts: 1927000 | #Constraints: 406109
2206.55/2215.19 c #Conflicts: 1928000 | #Constraints: 407109
2206.55/2215.19 c #Conflicts: 1929000 | #Constraints: 408109
2206.55/2215.19 c #Conflicts: 1930000 | #Constraints: 409109
2206.55/2215.19 c #Conflicts: 1931000 | #Constraints: 410109
2206.55/2215.19 c #Conflicts: 1932000 | #Constraints: 411109
2206.55/2215.19 c #Conflicts: 1933000 | #Constraints: 412109
2206.55/2215.19 c #Conflicts: 1934000 | #Constraints: 413109
2206.55/2215.19 c #Conflicts: 1935000 | #Constraints: 414109
2206.55/2215.19 c #Conflicts: 1936000 | #Constraints: 415109
2206.55/2215.19 c #Conflicts: 1937000 | #Constraints: 416109
2206.55/2215.19 c #Conflicts: 1938000 | #Constraints: 417109
2206.55/2215.19 c #Conflicts: 1939000 | #Constraints: 418109
2206.55/2215.19 c #Conflicts: 1940000 | #Constraints: 419109
2206.55/2215.19 c #Conflicts: 1941000 | #Constraints: 420109
2351.00/2360.04 c #Conflicts: 1942000 | #Constraints: 421109
2351.00/2360.04 c #Conflicts: 1943000 | #Constraints: 422109
2351.00/2360.04 c #Conflicts: 1944000 | #Constraints: 423109
2351.00/2360.04 c #Conflicts: 1945000 | #Constraints: 424109
2351.00/2360.04 c #Conflicts: 1946000 | #Constraints: 425109
2351.00/2360.04 c #Conflicts: 1947000 | #Constraints: 426109
2351.00/2360.04 c #Conflicts: 1948000 | #Constraints: 427109
2351.00/2360.04 c #Conflicts: 1949000 | #Constraints: 428109
2351.00/2360.04 c #Conflicts: 1950000 | #Constraints: 429109
2351.00/2360.04 c #Conflicts: 1951000 | #Constraints: 430109
2351.00/2360.04 c #Conflicts: 1952000 | #Constraints: 431109
2351.00/2360.04 c #Conflicts: 1953000 | #Constraints: 432109
2351.00/2360.04 c #Conflicts: 1954000 | #Constraints: 433109
2351.00/2360.04 c #Conflicts: 1955000 | #Constraints: 434109
2351.00/2360.04 c #Conflicts: 1956000 | #Constraints: 435109
2351.00/2360.04 c #Conflicts: 1957000 | #Constraints: 436109
2351.00/2360.04 c #Conflicts: 1958000 | #Constraints: 437109
2351.00/2360.04 c #Conflicts: 1959000 | #Constraints: 438109
2351.00/2360.04 c #Conflicts: 1960000 | #Constraints: 439109
2351.00/2360.04 c #Conflicts: 1961000 | #Constraints: 440109
2351.00/2360.04 c #Conflicts: 1962000 | #Constraints: 441109
2351.00/2360.04 c #Conflicts: 1963000 | #Constraints: 442109
2351.00/2360.04 c #Conflicts: 1964000 | #Constraints: 443109
2351.00/2360.04 c #Conflicts: 1965000 | #Constraints: 444109
2351.00/2360.04 c #Conflicts: 1966000 | #Constraints: 445109
2351.00/2360.04 c #Conflicts: 1967000 | #Constraints: 446109
2351.00/2360.04 c #Conflicts: 1968000 | #Constraints: 447109
2351.00/2360.04 c #Conflicts: 1969000 | #Constraints: 448109
2351.00/2360.04 c #Conflicts: 1970000 | #Constraints: 449109
2351.00/2360.04 c #Conflicts: 1971000 | #Constraints: 450109
2351.00/2360.04 c #Conflicts: 1972000 | #Constraints: 451109
2351.00/2360.04 c #Conflicts: 1973000 | #Constraints: 452109
2351.00/2360.04 c #Conflicts: 1974000 | #Constraints: 453109
2351.00/2360.04 c #Conflicts: 1975000 | #Constraints: 454109
2351.00/2360.04 c #Conflicts: 1976000 | #Constraints: 455109
2351.00/2360.04 c #Conflicts: 1977000 | #Constraints: 456109
2351.00/2360.04 c #Conflicts: 1978000 | #Constraints: 457109
2351.00/2360.04 c #Conflicts: 1979000 | #Constraints: 458109
2351.00/2360.04 c #Conflicts: 1980000 | #Constraints: 459109
2351.00/2360.04 c #Conflicts: 1981000 | #Constraints: 460109
2351.00/2360.04 c #Conflicts: 1982000 | #Constraints: 461109
2351.00/2360.04 c #Conflicts: 1983000 | #Constraints: 462109
2351.00/2360.04 c #Conflicts: 1984000 | #Constraints: 463109
2351.00/2360.04 c #Conflicts: 1985000 | #Constraints: 464109
2351.00/2360.04 c #Conflicts: 1986000 | #Constraints: 465109
2351.00/2360.04 c #Conflicts: 1987000 | #Constraints: 466109
2351.00/2360.04 c #Conflicts: 1988000 | #Constraints: 467109
2351.00/2360.04 c #Conflicts: 1989000 | #Constraints: 468109
2351.00/2360.04 c #Conflicts: 1990000 | #Constraints: 469109
2351.00/2360.04 c #Conflicts: 1991000 | #Constraints: 470109
2351.00/2360.04 c #Conflicts: 1992000 | #Constraints: 471109
2351.00/2360.04 c #Conflicts: 1993000 | #Constraints: 472109
2351.00/2360.04 c #Conflicts: 1994000 | #Constraints: 473109
2351.00/2360.04 c #Conflicts: 1995000 | #Constraints: 474109
2351.00/2360.04 c #Conflicts: 1996000 | #Constraints: 475109
2351.00/2360.04 c #Conflicts: 1997000 | #Constraints: 476109
2351.00/2360.04 c #Conflicts: 1998000 | #Constraints: 477109
2351.00/2360.04 c #Conflicts: 1999000 | #Constraints: 478109
2351.00/2360.04 c #Conflicts: 2000000 | #Constraints: 479109
2351.00/2360.04 c #Conflicts: 2001000 | #Constraints: 480109
2351.00/2360.04 c #Conflicts: 2002000 | #Constraints: 481109
2351.00/2360.04 c #Conflicts: 2003000 | #Constraints: 482109
2351.00/2360.04 c #Conflicts: 2004000 | #Constraints: 483109
2351.00/2360.04 c #Conflicts: 2005000 | #Constraints: 484109
2351.00/2360.04 c #Conflicts: 2006000 | #Constraints: 485109
2351.00/2360.04 c INPROCESSING
2351.00/2360.04 c GARBAGE COLLECT
2351.00/2360.04 c #Conflicts: 2007000 | #Constraints: 400010
2351.00/2360.04 c #Conflicts: 2008000 | #Constraints: 401010
2351.00/2360.04 c #Conflicts: 2009000 | #Constraints: 402010
2351.00/2360.04 c #Conflicts: 2010000 | #Constraints: 403010
2351.00/2360.04 c #Conflicts: 2011000 | #Constraints: 404010
2351.00/2360.04 c #Conflicts: 2012000 | #Constraints: 405010
2351.00/2360.04 c #Conflicts: 2013000 | #Constraints: 406010
2351.00/2360.04 c #Conflicts: 2014000 | #Constraints: 407010
2351.00/2360.04 c #Conflicts: 2015000 | #Constraints: 408010
2351.00/2360.04 c #Conflicts: 2016000 | #Constraints: 409010
2351.00/2360.04 c #Conflicts: 2017000 | #Constraints: 410010
2351.00/2360.04 c #Conflicts: 2018000 | #Constraints: 411010
2351.00/2360.04 c #Conflicts: 2019000 | #Constraints: 412010
2495.88/2505.41 c #Conflicts: 2020000 | #Constraints: 413010
2495.88/2505.41 c #Conflicts: 2021000 | #Constraints: 414010
2495.88/2505.41 c #Conflicts: 2022000 | #Constraints: 415010
2495.88/2505.41 c #Conflicts: 2023000 | #Constraints: 416010
2495.88/2505.41 c #Conflicts: 2024000 | #Constraints: 417010
2495.88/2505.41 c #Conflicts: 2025000 | #Constraints: 418010
2495.88/2505.41 c #Conflicts: 2026000 | #Constraints: 419010
2495.88/2505.41 c #Conflicts: 2027000 | #Constraints: 420010
2495.88/2505.41 c #Conflicts: 2028000 | #Constraints: 421010
2495.88/2505.41 c #Conflicts: 2029000 | #Constraints: 422010
2495.88/2505.41 c #Conflicts: 2030000 | #Constraints: 423010
2495.88/2505.41 c #Conflicts: 2031000 | #Constraints: 424010
2495.88/2505.41 c #Conflicts: 2032000 | #Constraints: 425010
2495.88/2505.41 c #Conflicts: 2033000 | #Constraints: 426010
2495.88/2505.41 c #Conflicts: 2034000 | #Constraints: 427010
2495.88/2505.41 c #Conflicts: 2035000 | #Constraints: 428010
2495.88/2505.41 c #Conflicts: 2036000 | #Constraints: 429010
2495.88/2505.41 c #Conflicts: 2037000 | #Constraints: 430010
2495.88/2505.41 c #Conflicts: 2038000 | #Constraints: 431010
2495.88/2505.41 c #Conflicts: 2039000 | #Constraints: 432010
2495.88/2505.41 c #Conflicts: 2040000 | #Constraints: 433010
2495.88/2505.41 c #Conflicts: 2041000 | #Constraints: 434010
2495.88/2505.41 c #Conflicts: 2042000 | #Constraints: 435010
2495.88/2505.41 c #Conflicts: 2043000 | #Constraints: 436010
2495.88/2505.41 c #Conflicts: 2044000 | #Constraints: 437010
2495.88/2505.41 c #Conflicts: 2045000 | #Constraints: 438010
2495.88/2505.41 c #Conflicts: 2046000 | #Constraints: 439010
2495.88/2505.41 c #Conflicts: 2047000 | #Constraints: 440010
2495.88/2505.41 c #Conflicts: 2048000 | #Constraints: 441010
2495.88/2505.41 c #Conflicts: 2049000 | #Constraints: 442010
2495.88/2505.41 c #Conflicts: 2050000 | #Constraints: 443010
2495.88/2505.41 c #Conflicts: 2051000 | #Constraints: 444010
2495.88/2505.41 c #Conflicts: 2052000 | #Constraints: 445010
2495.88/2505.41 c #Conflicts: 2053000 | #Constraints: 446010
2495.88/2505.41 c #Conflicts: 2054000 | #Constraints: 447010
2495.88/2505.41 c #Conflicts: 2055000 | #Constraints: 448010
2495.88/2505.41 c #Conflicts: 2056000 | #Constraints: 449010
2495.88/2505.41 c #Conflicts: 2057000 | #Constraints: 450010
2495.88/2505.41 c #Conflicts: 2058000 | #Constraints: 451010
2495.88/2505.41 c #Conflicts: 2059000 | #Constraints: 452010
2495.88/2505.41 c #Conflicts: 2060000 | #Constraints: 453010
2495.88/2505.41 c #Conflicts: 2061000 | #Constraints: 454010
2495.88/2505.41 c #Conflicts: 2062000 | #Constraints: 455010
2495.88/2505.41 c #Conflicts: 2063000 | #Constraints: 456010
2495.88/2505.41 c #Conflicts: 2064000 | #Constraints: 457010
2495.88/2505.41 c #Conflicts: 2065000 | #Constraints: 458010
2495.88/2505.41 c #Conflicts: 2066000 | #Constraints: 459010
2495.88/2505.41 c #Conflicts: 2067000 | #Constraints: 460010
2495.88/2505.41 c #Conflicts: 2068000 | #Constraints: 461010
2495.88/2505.41 c #Conflicts: 2069000 | #Constraints: 462010
2495.88/2505.41 c #Conflicts: 2070000 | #Constraints: 463010
2495.88/2505.41 c #Conflicts: 2071000 | #Constraints: 464010
2495.88/2505.41 c #Conflicts: 2072000 | #Constraints: 465010
2495.88/2505.41 c #Conflicts: 2073000 | #Constraints: 466010
2495.88/2505.41 c #Conflicts: 2074000 | #Constraints: 467010
2495.88/2505.41 c #Conflicts: 2075000 | #Constraints: 468010
2495.88/2505.41 c #Conflicts: 2076000 | #Constraints: 469010
2495.88/2505.41 c #Conflicts: 2077000 | #Constraints: 470010
2495.88/2505.41 c #Conflicts: 2078000 | #Constraints: 471010
2495.88/2505.41 c #Conflicts: 2079000 | #Constraints: 472010
2495.88/2505.41 c #Conflicts: 2080000 | #Constraints: 473010
2495.88/2505.41 c #Conflicts: 2081000 | #Constraints: 474010
2495.88/2505.41 c #Conflicts: 2082000 | #Constraints: 475010
2495.88/2505.41 c #Conflicts: 2083000 | #Constraints: 476010
2495.88/2505.41 c #Conflicts: 2084000 | #Constraints: 477010
2495.88/2505.41 c #Conflicts: 2085000 | #Constraints: 478010
2495.88/2505.41 c #Conflicts: 2086000 | #Constraints: 479010
2495.88/2505.41 c #Conflicts: 2087000 | #Constraints: 480010
2495.88/2505.41 c #Conflicts: 2088000 | #Constraints: 481010
2495.88/2505.41 c #Conflicts: 2089000 | #Constraints: 482010
2495.88/2505.41 c #Conflicts: 2090000 | #Constraints: 483010
2495.88/2505.41 c #Conflicts: 2091000 | #Constraints: 484010
2495.88/2505.41 c #Conflicts: 2092000 | #Constraints: 485010
2495.88/2505.41 c #Conflicts: 2093000 | #Constraints: 486010
2495.88/2505.41 c #Conflicts: 2094000 | #Constraints: 487010
2495.88/2505.41 c #Conflicts: 2095000 | #Constraints: 488010
2495.88/2505.41 c #Conflicts: 2096000 | #Constraints: 489010
2495.88/2505.41 c #Conflicts: 2097000 | #Constraints: 490010
2670.48/2680.66 c INPROCESSING
2670.48/2680.66 c GARBAGE COLLECT
2670.48/2680.66 c #Conflicts: 2098000 | #Constraints: 403768
2670.48/2680.66 c #Conflicts: 2099000 | #Constraints: 404768
2670.48/2680.66 c #Conflicts: 2100000 | #Constraints: 405768
2670.48/2680.66 c #Conflicts: 2101000 | #Constraints: 406768
2670.48/2680.66 c #Conflicts: 2102000 | #Constraints: 407768
2670.48/2680.66 c #Conflicts: 2103000 | #Constraints: 408768
2670.48/2680.66 c #Conflicts: 2104000 | #Constraints: 409768
2670.48/2680.66 c #Conflicts: 2105000 | #Constraints: 410768
2670.48/2680.66 c #Conflicts: 2106000 | #Constraints: 411768
2670.48/2680.66 c #Conflicts: 2107000 | #Constraints: 412768
2670.48/2680.66 c #Conflicts: 2108000 | #Constraints: 413768
2670.48/2680.66 c #Conflicts: 2109000 | #Constraints: 414768
2670.48/2680.66 c #Conflicts: 2110000 | #Constraints: 415768
2670.48/2680.66 c #Conflicts: 2111000 | #Constraints: 416768
2670.48/2680.66 c #Conflicts: 2112000 | #Constraints: 417768
2670.48/2680.66 c #Conflicts: 2113000 | #Constraints: 418768
2670.48/2680.66 c #Conflicts: 2114000 | #Constraints: 419768
2670.48/2680.66 c #Conflicts: 2115000 | #Constraints: 420768
2670.48/2680.66 c #Conflicts: 2116000 | #Constraints: 421768
2670.48/2680.66 c #Conflicts: 2117000 | #Constraints: 422768
2670.48/2680.66 c #Conflicts: 2118000 | #Constraints: 423768
2670.48/2680.66 c #Conflicts: 2119000 | #Constraints: 424768
2670.48/2680.66 c #Conflicts: 2120000 | #Constraints: 425768
2670.48/2680.66 c #Conflicts: 2121000 | #Constraints: 426768
2670.48/2680.66 c #Conflicts: 2122000 | #Constraints: 427768
2670.48/2680.66 c #Conflicts: 2123000 | #Constraints: 428768
2670.48/2680.66 c #Conflicts: 2124000 | #Constraints: 429768
2670.48/2680.66 c #Conflicts: 2125000 | #Constraints: 430768
2670.48/2680.66 c #Conflicts: 2126000 | #Constraints: 431768
2670.48/2680.66 c #Conflicts: 2127000 | #Constraints: 432768
2670.48/2680.66 c #Conflicts: 2128000 | #Constraints: 433768
2670.48/2680.66 c #Conflicts: 2129000 | #Constraints: 434768
2670.48/2680.66 c #Conflicts: 2130000 | #Constraints: 435768
2670.48/2680.66 c #Conflicts: 2131000 | #Constraints: 436768
2670.48/2680.66 c #Conflicts: 2132000 | #Constraints: 437768
2670.48/2680.66 c #Conflicts: 2133000 | #Constraints: 438768
2670.48/2680.66 c #Conflicts: 2134000 | #Constraints: 439768
2670.48/2680.66 c #Conflicts: 2135000 | #Constraints: 440768
2670.48/2680.66 c #Conflicts: 2136000 | #Constraints: 441768
2670.48/2680.66 c #Conflicts: 2137000 | #Constraints: 442768
2670.48/2680.66 c #Conflicts: 2138000 | #Constraints: 443768
2670.48/2680.66 c #Conflicts: 2139000 | #Constraints: 444768
2670.48/2680.66 c #Conflicts: 2140000 | #Constraints: 445768
2670.48/2680.66 c #Conflicts: 2141000 | #Constraints: 446768
2670.48/2680.66 c #Conflicts: 2142000 | #Constraints: 447768
2670.48/2680.66 c #Conflicts: 2143000 | #Constraints: 448768
2670.48/2680.66 c #Conflicts: 2144000 | #Constraints: 449768
2670.48/2680.66 c #Conflicts: 2145000 | #Constraints: 450768
2670.48/2680.66 c #Conflicts: 2146000 | #Constraints: 451768
2670.48/2680.66 c #Conflicts: 2147000 | #Constraints: 452768
2670.48/2680.66 c #Conflicts: 2148000 | #Constraints: 453768
2670.48/2680.66 c #Conflicts: 2149000 | #Constraints: 454768
2670.48/2680.66 c #Conflicts: 2150000 | #Constraints: 455768
2670.48/2680.66 c #Conflicts: 2151000 | #Constraints: 456768
2670.48/2680.66 c #Conflicts: 2152000 | #Constraints: 457768
2670.48/2680.66 c #Conflicts: 2153000 | #Constraints: 458768
2670.48/2680.66 c #Conflicts: 2154000 | #Constraints: 459768
2670.48/2680.66 c #Conflicts: 2155000 | #Constraints: 460768
2670.48/2680.66 c #Conflicts: 2156000 | #Constraints: 461768
2670.48/2680.66 c #Conflicts: 2157000 | #Constraints: 462768
2670.48/2680.66 c #Conflicts: 2158000 | #Constraints: 463768
2670.48/2680.66 c #Conflicts: 2159000 | #Constraints: 464768
2670.48/2680.66 c #Conflicts: 2160000 | #Constraints: 465768
2670.48/2680.66 c #Conflicts: 2161000 | #Constraints: 466768
2670.48/2680.66 c #Conflicts: 2162000 | #Constraints: 467768
2670.48/2680.66 c #Conflicts: 2163000 | #Constraints: 468768
2670.48/2680.66 c #Conflicts: 2164000 | #Constraints: 469768
2670.48/2680.66 c #Conflicts: 2165000 | #Constraints: 470768
2670.48/2680.66 c #Conflicts: 2166000 | #Constraints: 471768
2670.48/2680.66 c #Conflicts: 2167000 | #Constraints: 472768
2670.48/2680.66 c #Conflicts: 2168000 | #Constraints: 473768
2670.48/2680.66 c #Conflicts: 2169000 | #Constraints: 474768
2670.48/2680.66 c #Conflicts: 2170000 | #Constraints: 475768
2670.48/2680.66 c #Conflicts: 2171000 | #Constraints: 476768
2670.48/2680.66 c #Conflicts: 2172000 | #Constraints: 477768
2670.48/2680.66 c #Conflicts: 2173000 | #Constraints: 478768
2670.48/2680.66 c #Conflicts: 2174000 | #Constraints: 479768
2670.48/2680.66 c #Conflicts: 2175000 | #Constraints: 480768
2670.48/2680.66 c #Conflicts: 2176000 | #Constraints: 481768
2807.78/2818.40 c #Conflicts: 2177000 | #Constraints: 482768
2807.78/2818.40 c #Conflicts: 2178000 | #Constraints: 483768
2807.78/2818.40 c #Conflicts: 2179000 | #Constraints: 484768
2807.78/2818.40 c #Conflicts: 2180000 | #Constraints: 485768
2807.78/2818.40 c #Conflicts: 2181000 | #Constraints: 486768
2807.78/2818.40 c #Conflicts: 2182000 | #Constraints: 487768
2807.78/2818.40 c #Conflicts: 2183000 | #Constraints: 488768
2807.78/2818.40 c #Conflicts: 2184000 | #Constraints: 489768
2807.78/2818.40 c #Conflicts: 2185000 | #Constraints: 490768
2807.78/2818.40 c #Conflicts: 2186000 | #Constraints: 491768
2807.78/2818.40 c #Conflicts: 2187000 | #Constraints: 492768
2807.78/2818.40 c #Conflicts: 2188000 | #Constraints: 493768
2807.78/2818.40 c #Conflicts: 2189000 | #Constraints: 494768
2807.78/2818.40 c #Conflicts: 2190000 | #Constraints: 495768
2807.78/2818.40 c INPROCESSING
2807.78/2818.40 c GARBAGE COLLECT
2807.78/2818.40 c #Conflicts: 2191000 | #Constraints: 406109
2807.78/2818.40 c #Conflicts: 2192000 | #Constraints: 407109
2807.78/2818.40 c #Conflicts: 2193000 | #Constraints: 408109
2807.78/2818.40 c #Conflicts: 2194000 | #Constraints: 409109
2807.78/2818.40 c #Conflicts: 2195000 | #Constraints: 410109
2807.78/2818.40 c #Conflicts: 2196000 | #Constraints: 411109
2807.78/2818.40 c #Conflicts: 2197000 | #Constraints: 412109
2807.78/2818.40 c #Conflicts: 2198000 | #Constraints: 413109
2807.78/2818.40 c #Conflicts: 2199000 | #Constraints: 414109
2807.78/2818.40 c #Conflicts: 2200000 | #Constraints: 415109
2807.78/2818.40 c #Conflicts: 2201000 | #Constraints: 416109
2807.78/2818.40 c #Conflicts: 2202000 | #Constraints: 417109
2807.78/2818.40 c #Conflicts: 2203000 | #Constraints: 418109
2807.78/2818.40 c #Conflicts: 2204000 | #Constraints: 419109
2807.78/2818.40 c #Conflicts: 2205000 | #Constraints: 420109
2807.78/2818.40 c #Conflicts: 2206000 | #Constraints: 421109
2807.78/2818.40 c #Conflicts: 2207000 | #Constraints: 422109
2807.78/2818.40 c #Conflicts: 2208000 | #Constraints: 423109
2807.78/2818.40 c #Conflicts: 2209000 | #Constraints: 424109
2807.78/2818.40 c #Conflicts: 2210000 | #Constraints: 425109
2807.78/2818.40 c #Conflicts: 2211000 | #Constraints: 426109
2807.78/2818.40 c #Conflicts: 2212000 | #Constraints: 427109
2807.78/2818.40 c #Conflicts: 2213000 | #Constraints: 428109
2807.78/2818.40 c #Conflicts: 2214000 | #Constraints: 429109
2807.78/2818.40 c #Conflicts: 2215000 | #Constraints: 430109
2807.78/2818.40 c #Conflicts: 2216000 | #Constraints: 431109
2807.78/2818.40 c #Conflicts: 2217000 | #Constraints: 432109
2807.78/2818.40 c #Conflicts: 2218000 | #Constraints: 433109
2807.78/2818.40 c #Conflicts: 2219000 | #Constraints: 434109
2807.78/2818.40 c #Conflicts: 2220000 | #Constraints: 435109
2807.78/2818.40 c #Conflicts: 2221000 | #Constraints: 436109
2807.78/2818.40 c #Conflicts: 2222000 | #Constraints: 437109
2807.78/2818.40 c #Conflicts: 2223000 | #Constraints: 438109
2807.78/2818.40 c #Conflicts: 2224000 | #Constraints: 439109
2807.78/2818.40 c #Conflicts: 2225000 | #Constraints: 440109
2807.78/2818.40 c #Conflicts: 2226000 | #Constraints: 441109
2807.78/2818.40 c #Conflicts: 2227000 | #Constraints: 442109
2807.78/2818.40 c #Conflicts: 2228000 | #Constraints: 443109
2807.78/2818.40 c #Conflicts: 2229000 | #Constraints: 444109
2807.78/2818.40 c #Conflicts: 2230000 | #Constraints: 445109
2807.78/2818.40 c #Conflicts: 2231000 | #Constraints: 446109
2807.78/2818.40 c #Conflicts: 2232000 | #Constraints: 447109
2807.78/2818.40 c #Conflicts: 2233000 | #Constraints: 448109
2807.78/2818.40 c #Conflicts: 2234000 | #Constraints: 449109
2807.78/2818.40 c #Conflicts: 2235000 | #Constraints: 450109
2807.78/2818.40 c #Conflicts: 2236000 | #Constraints: 451109
2807.78/2818.40 c #Conflicts: 2237000 | #Constraints: 452109
2807.78/2818.40 c #Conflicts: 2238000 | #Constraints: 453109
2807.78/2818.40 c #Conflicts: 2239000 | #Constraints: 454109
2807.78/2818.40 c #Conflicts: 2240000 | #Constraints: 455109
2807.78/2818.40 c #Conflicts: 2241000 | #Constraints: 456109
2807.78/2818.40 c #Conflicts: 2242000 | #Constraints: 457109
2807.78/2818.40 c #Conflicts: 2243000 | #Constraints: 458109
2807.78/2818.40 c #Conflicts: 2244000 | #Constraints: 459109
2807.78/2818.40 c #Conflicts: 2245000 | #Constraints: 460109
2807.78/2818.40 c #Conflicts: 2246000 | #Constraints: 461109
2807.78/2818.40 c #Conflicts: 2247000 | #Constraints: 462109
2807.78/2818.40 c #Conflicts: 2248000 | #Constraints: 463109
2807.78/2818.40 c #Conflicts: 2249000 | #Constraints: 464109
2807.78/2818.40 c #Conflicts: 2250000 | #Constraints: 465109
2807.78/2818.40 c #Conflicts: 2251000 | #Constraints: 466109
2807.78/2818.40 c #Conflicts: 2252000 | #Constraints: 467109
2807.78/2818.40 c #Conflicts: 2253000 | #Constraints: 468109
2807.78/2818.40 c #Conflicts: 2254000 | #Constraints: 469109
2985.35/2996.52 c #Conflicts: 2255000 | #Constraints: 470109
2985.35/2996.52 c #Conflicts: 2256000 | #Constraints: 471109
2985.35/2996.52 c #Conflicts: 2257000 | #Constraints: 472109
2985.35/2996.52 c #Conflicts: 2258000 | #Constraints: 473109
2985.35/2996.52 c #Conflicts: 2259000 | #Constraints: 474109
2985.35/2996.52 c #Conflicts: 2260000 | #Constraints: 475109
2985.35/2996.52 c #Conflicts: 2261000 | #Constraints: 476109
2985.35/2996.52 c #Conflicts: 2262000 | #Constraints: 477109
2985.35/2996.52 c #Conflicts: 2263000 | #Constraints: 478109
2985.35/2996.52 c #Conflicts: 2264000 | #Constraints: 479109
2985.35/2996.52 c #Conflicts: 2265000 | #Constraints: 480109
2985.35/2996.52 c #Conflicts: 2266000 | #Constraints: 481109
2985.35/2996.52 c #Conflicts: 2267000 | #Constraints: 482109
2985.35/2996.52 c #Conflicts: 2268000 | #Constraints: 483109
2985.35/2996.52 c #Conflicts: 2269000 | #Constraints: 484109
2985.35/2996.52 c #Conflicts: 2270000 | #Constraints: 485109
2985.35/2996.52 c #Conflicts: 2271000 | #Constraints: 486109
2985.35/2996.52 c #Conflicts: 2272000 | #Constraints: 487109
2985.35/2996.52 c #Conflicts: 2273000 | #Constraints: 488109
2985.35/2996.52 c #Conflicts: 2274000 | #Constraints: 489109
2985.35/2996.52 c #Conflicts: 2275000 | #Constraints: 490109
2985.35/2996.52 c #Conflicts: 2276000 | #Constraints: 491109
2985.35/2996.52 c #Conflicts: 2277000 | #Constraints: 492109
2985.35/2996.52 c #Conflicts: 2278000 | #Constraints: 493109
2985.35/2996.52 c #Conflicts: 2279000 | #Constraints: 494109
2985.35/2996.52 c #Conflicts: 2280000 | #Constraints: 495109
2985.35/2996.52 c #Conflicts: 2281000 | #Constraints: 496109
2985.35/2996.52 c #Conflicts: 2282000 | #Constraints: 497109
2985.35/2996.52 c #Conflicts: 2283000 | #Constraints: 498109
2985.35/2996.52 c #Conflicts: 2284000 | #Constraints: 499109
2985.35/2996.52 c INPROCESSING
2985.35/2996.52 c GARBAGE COLLECT
2985.35/2996.52 c #Conflicts: 2285000 | #Constraints: 408296
2985.35/2996.52 c #Conflicts: 2286000 | #Constraints: 409296
2985.35/2996.52 c #Conflicts: 2287000 | #Constraints: 410296
2985.35/2996.52 c #Conflicts: 2288000 | #Constraints: 411296
2985.35/2996.52 c #Conflicts: 2289000 | #Constraints: 412296
2985.35/2996.52 c #Conflicts: 2290000 | #Constraints: 413296
2985.35/2996.52 c #Conflicts: 2291000 | #Constraints: 414296
2985.35/2996.52 c #Conflicts: 2292000 | #Constraints: 415296
2985.35/2996.52 c #Conflicts: 2293000 | #Constraints: 416296
2985.35/2996.52 c #Conflicts: 2294000 | #Constraints: 417296
2985.35/2996.52 c #Conflicts: 2295000 | #Constraints: 418296
2985.35/2996.52 c #Conflicts: 2296000 | #Constraints: 419296
2985.35/2996.52 c #Conflicts: 2297000 | #Constraints: 420296
2985.35/2996.52 c #Conflicts: 2298000 | #Constraints: 421296
2985.35/2996.52 c #Conflicts: 2299000 | #Constraints: 422296
2985.35/2996.52 c #Conflicts: 2300000 | #Constraints: 423296
2985.35/2996.52 c #Conflicts: 2301000 | #Constraints: 424296
2985.35/2996.52 c #Conflicts: 2302000 | #Constraints: 425296
2985.35/2996.52 c #Conflicts: 2303000 | #Constraints: 426296
2985.35/2996.52 c #Conflicts: 2304000 | #Constraints: 427296
2985.35/2996.52 c #Conflicts: 2305000 | #Constraints: 428296
2985.35/2996.52 c #Conflicts: 2306000 | #Constraints: 429296
2985.35/2996.52 c #Conflicts: 2307000 | #Constraints: 430296
2985.35/2996.52 c #Conflicts: 2308000 | #Constraints: 431296
2985.35/2996.52 c #Conflicts: 2309000 | #Constraints: 432296
2985.35/2996.52 c #Conflicts: 2310000 | #Constraints: 433296
2985.35/2996.52 c #Conflicts: 2311000 | #Constraints: 434296
2985.35/2996.52 c #Conflicts: 2312000 | #Constraints: 435296
2985.35/2996.52 c #Conflicts: 2313000 | #Constraints: 436296
2985.35/2996.52 c #Conflicts: 2314000 | #Constraints: 437296
2985.35/2996.52 c #Conflicts: 2315000 | #Constraints: 438296
2985.35/2996.52 c #Conflicts: 2316000 | #Constraints: 439296
2985.35/2996.52 c #Conflicts: 2317000 | #Constraints: 440296
2985.35/2996.52 c #Conflicts: 2318000 | #Constraints: 441296
2985.35/2996.52 c #Conflicts: 2319000 | #Constraints: 442296
2985.35/2996.52 c #Conflicts: 2320000 | #Constraints: 443296
2985.35/2996.52 c #Conflicts: 2321000 | #Constraints: 444296
2985.35/2996.52 c #Conflicts: 2322000 | #Constraints: 445296
2985.35/2996.52 c #Conflicts: 2323000 | #Constraints: 446296
2985.35/2996.52 c #Conflicts: 2324000 | #Constraints: 447296
2985.35/2996.52 c #Conflicts: 2325000 | #Constraints: 448296
2985.35/2996.52 c #Conflicts: 2326000 | #Constraints: 449296
2985.35/2996.52 c #Conflicts: 2327000 | #Constraints: 450296
2985.35/2996.52 c #Conflicts: 2328000 | #Constraints: 451296
2985.35/2996.52 c #Conflicts: 2329000 | #Constraints: 452296
2985.35/2996.52 c #Conflicts: 2330000 | #Constraints: 453296
2985.35/2996.52 c #Conflicts: 2331000 | #Constraints: 454296
2985.35/2996.52 c #Conflicts: 2332000 | #Constraints: 455296
3238.85/3250.98 c #Conflicts: 2333000 | #Constraints: 456296
3238.85/3250.98 c #Conflicts: 2334000 | #Constraints: 457296
3238.85/3250.98 c #Conflicts: 2335000 | #Constraints: 458296
3238.85/3250.98 c #Conflicts: 2336000 | #Constraints: 459296
3238.85/3250.98 c #Conflicts: 2337000 | #Constraints: 460296
3238.85/3250.98 c #Conflicts: 2338000 | #Constraints: 461296
3238.85/3250.98 c #Conflicts: 2339000 | #Constraints: 462296
3238.85/3250.98 c #Conflicts: 2340000 | #Constraints: 463296
3238.85/3250.98 c #Conflicts: 2341000 | #Constraints: 464296
3238.85/3250.98 c #Conflicts: 2342000 | #Constraints: 465296
3238.85/3250.98 c #Conflicts: 2343000 | #Constraints: 466296
3238.85/3250.98 c #Conflicts: 2344000 | #Constraints: 467296
3238.85/3250.98 c #Conflicts: 2345000 | #Constraints: 468296
3238.85/3250.98 c #Conflicts: 2346000 | #Constraints: 469296
3238.85/3250.98 c #Conflicts: 2347000 | #Constraints: 470296
3238.85/3250.98 c #Conflicts: 2348000 | #Constraints: 471296
3238.85/3250.98 c #Conflicts: 2349000 | #Constraints: 472296
3238.85/3250.98 c #Conflicts: 2350000 | #Constraints: 473296
3238.85/3250.98 c #Conflicts: 2351000 | #Constraints: 474296
3238.85/3250.98 c #Conflicts: 2352000 | #Constraints: 475296
3238.85/3250.98 c #Conflicts: 2353000 | #Constraints: 476296
3238.85/3250.98 c #Conflicts: 2354000 | #Constraints: 477296
3238.85/3250.98 c #Conflicts: 2355000 | #Constraints: 478296
3238.85/3250.98 c #Conflicts: 2356000 | #Constraints: 479296
3238.85/3250.98 c #Conflicts: 2357000 | #Constraints: 480296
3238.85/3250.98 c #Conflicts: 2358000 | #Constraints: 481296
3238.85/3250.98 c #Conflicts: 2359000 | #Constraints: 482296
3238.85/3250.98 c #Conflicts: 2360000 | #Constraints: 483296
3238.85/3250.98 c #Conflicts: 2361000 | #Constraints: 484296
3238.85/3250.98 c #Conflicts: 2362000 | #Constraints: 485296
3238.85/3250.98 c #Conflicts: 2363000 | #Constraints: 486296
3238.85/3250.98 c #Conflicts: 2364000 | #Constraints: 487296
3238.85/3250.98 c #Conflicts: 2365000 | #Constraints: 488296
3238.85/3250.98 c #Conflicts: 2366000 | #Constraints: 489296
3238.85/3250.98 c #Conflicts: 2367000 | #Constraints: 490296
3238.85/3250.98 c #Conflicts: 2368000 | #Constraints: 491296
3238.85/3250.98 c #Conflicts: 2369000 | #Constraints: 492296
3238.85/3250.98 c #Conflicts: 2370000 | #Constraints: 493296
3238.85/3250.98 c #Conflicts: 2371000 | #Constraints: 494296
3238.85/3250.98 c #Conflicts: 2372000 | #Constraints: 495296
3238.85/3250.98 c #Conflicts: 2373000 | #Constraints: 496296
3238.85/3250.98 c #Conflicts: 2374000 | #Constraints: 497296
3238.85/3250.98 c #Conflicts: 2375000 | #Constraints: 498296
3238.85/3250.98 c #Conflicts: 2376000 | #Constraints: 499296
3238.85/3250.98 c #Conflicts: 2377000 | #Constraints: 500296
3238.85/3250.98 c #Conflicts: 2378000 | #Constraints: 501296
3238.85/3250.98 c #Conflicts: 2379000 | #Constraints: 502296
3238.85/3250.98 c #Conflicts: 2380000 | #Constraints: 503296
3238.85/3250.98 c #Conflicts: 2381000 | #Constraints: 504296
3238.85/3250.98 c INPROCESSING
3238.85/3250.98 c GARBAGE COLLECT
3238.85/3250.98 c #Conflicts: 2382000 | #Constraints: 410463
3238.85/3250.98 c #Conflicts: 2383000 | #Constraints: 411463
3238.85/3250.98 c #Conflicts: 2384000 | #Constraints: 412463
3238.85/3250.98 c #Conflicts: 2385000 | #Constraints: 413463
3238.85/3250.98 c #Conflicts: 2386000 | #Constraints: 414463
3238.85/3250.98 c #Conflicts: 2387000 | #Constraints: 415463
3238.85/3250.98 c #Conflicts: 2388000 | #Constraints: 416463
3238.85/3250.98 c #Conflicts: 2389000 | #Constraints: 417463
3238.85/3250.98 c #Conflicts: 2390000 | #Constraints: 418463
3238.85/3250.98 c #Conflicts: 2391000 | #Constraints: 419463
3238.85/3250.98 c #Conflicts: 2392000 | #Constraints: 420463
3238.85/3250.98 c #Conflicts: 2393000 | #Constraints: 421463
3238.85/3250.98 c #Conflicts: 2394000 | #Constraints: 422463
3238.85/3250.98 c #Conflicts: 2395000 | #Constraints: 423463
3238.85/3250.98 c #Conflicts: 2396000 | #Constraints: 424463
3238.85/3250.98 c #Conflicts: 2397000 | #Constraints: 425463
3238.85/3250.98 c #Conflicts: 2398000 | #Constraints: 426463
3238.85/3250.98 c #Conflicts: 2399000 | #Constraints: 427463
3238.85/3250.98 c #Conflicts: 2400000 | #Constraints: 428463
3238.85/3250.98 c #Conflicts: 2401000 | #Constraints: 429463
3238.85/3250.98 c #Conflicts: 2402000 | #Constraints: 430463
3238.85/3250.98 c #Conflicts: 2403000 | #Constraints: 431463
3238.85/3250.98 c #Conflicts: 2404000 | #Constraints: 432463
3238.85/3250.98 c #Conflicts: 2405000 | #Constraints: 433463
3238.85/3250.98 c #Conflicts: 2406000 | #Constraints: 434463
3238.85/3250.98 c #Conflicts: 2407000 | #Constraints: 435463
3238.85/3250.98 c #Conflicts: 2408000 | #Constraints: 436463
3238.85/3250.98 c #Conflicts: 2409000 | #Constraints: 437463
3238.85/3250.98 c #Conflicts: 2410000 | #Constraints: 438463
3432.99/3447.72 c #Conflicts: 2411000 | #Constraints: 439463
3432.99/3447.72 c #Conflicts: 2412000 | #Constraints: 440463
3432.99/3447.72 c #Conflicts: 2413000 | #Constraints: 441463
3432.99/3447.72 c #Conflicts: 2414000 | #Constraints: 442463
3432.99/3447.72 c #Conflicts: 2415000 | #Constraints: 443463
3432.99/3447.72 c #Conflicts: 2416000 | #Constraints: 444463
3432.99/3447.72 c #Conflicts: 2417000 | #Constraints: 445463
3432.99/3447.72 c #Conflicts: 2418000 | #Constraints: 446463
3432.99/3447.72 c #Conflicts: 2419000 | #Constraints: 447463
3432.99/3447.72 c #Conflicts: 2420000 | #Constraints: 448463
3432.99/3447.72 c #Conflicts: 2421000 | #Constraints: 449463
3432.99/3447.72 c #Conflicts: 2422000 | #Constraints: 450463
3432.99/3447.72 c #Conflicts: 2423000 | #Constraints: 451463
3432.99/3447.72 c #Conflicts: 2424000 | #Constraints: 452463
3432.99/3447.72 c #Conflicts: 2425000 | #Constraints: 453463
3432.99/3447.72 c #Conflicts: 2426000 | #Constraints: 454463
3432.99/3447.72 c #Conflicts: 2427000 | #Constraints: 455463
3432.99/3447.72 c #Conflicts: 2428000 | #Constraints: 456463
3432.99/3447.72 c #Conflicts: 2429000 | #Constraints: 457463
3432.99/3447.72 c #Conflicts: 2430000 | #Constraints: 458463
3432.99/3447.72 c #Conflicts: 2431000 | #Constraints: 459463
3432.99/3447.72 c #Conflicts: 2432000 | #Constraints: 460463
3432.99/3447.72 c #Conflicts: 2433000 | #Constraints: 461463
3432.99/3447.72 c #Conflicts: 2434000 | #Constraints: 462463
3432.99/3447.72 c #Conflicts: 2435000 | #Constraints: 463463
3432.99/3447.72 c #Conflicts: 2436000 | #Constraints: 464463
3432.99/3447.72 c #Conflicts: 2437000 | #Constraints: 465463
3432.99/3447.72 c #Conflicts: 2438000 | #Constraints: 466463
3432.99/3447.72 c #Conflicts: 2439000 | #Constraints: 467463
3432.99/3447.72 c #Conflicts: 2440000 | #Constraints: 468463
3432.99/3447.72 c #Conflicts: 2441000 | #Constraints: 469463
3432.99/3447.72 c #Conflicts: 2442000 | #Constraints: 470463
3432.99/3447.72 c #Conflicts: 2443000 | #Constraints: 471463
3432.99/3447.72 c #Conflicts: 2444000 | #Constraints: 472463
3432.99/3447.72 c #Conflicts: 2445000 | #Constraints: 473463
3432.99/3447.72 c #Conflicts: 2446000 | #Constraints: 474463
3432.99/3447.72 c #Conflicts: 2447000 | #Constraints: 475463
3432.99/3447.72 c #Conflicts: 2448000 | #Constraints: 476463
3432.99/3447.72 c #Conflicts: 2449000 | #Constraints: 477463
3432.99/3447.72 c #Conflicts: 2450000 | #Constraints: 478463
3432.99/3447.72 c #Conflicts: 2451000 | #Constraints: 479463
3432.99/3447.72 c #Conflicts: 2452000 | #Constraints: 480463
3432.99/3447.72 c #Conflicts: 2453000 | #Constraints: 481463
3432.99/3447.72 c #Conflicts: 2454000 | #Constraints: 482463
3432.99/3447.72 c #Conflicts: 2455000 | #Constraints: 483463
3432.99/3447.72 c #Conflicts: 2456000 | #Constraints: 484463
3432.99/3447.72 c #Conflicts: 2457000 | #Constraints: 485463
3432.99/3447.72 c #Conflicts: 2458000 | #Constraints: 486463
3432.99/3447.72 c #Conflicts: 2459000 | #Constraints: 487463
3432.99/3447.72 c #Conflicts: 2460000 | #Constraints: 488463
3432.99/3447.72 c #Conflicts: 2461000 | #Constraints: 489463
3432.99/3447.72 c #Conflicts: 2462000 | #Constraints: 490463
3432.99/3447.72 c #Conflicts: 2463000 | #Constraints: 491463
3432.99/3447.72 c #Conflicts: 2464000 | #Constraints: 492463
3432.99/3447.72 c #Conflicts: 2465000 | #Constraints: 493463
3432.99/3447.72 c #Conflicts: 2466000 | #Constraints: 494463
3432.99/3447.72 c #Conflicts: 2467000 | #Constraints: 495463
3432.99/3447.72 c #Conflicts: 2468000 | #Constraints: 496463
3432.99/3447.72 c #Conflicts: 2469000 | #Constraints: 497463
3432.99/3447.72 c #Conflicts: 2470000 | #Constraints: 498463
3432.99/3447.72 c #Conflicts: 2471000 | #Constraints: 499463
3432.99/3447.72 c #Conflicts: 2472000 | #Constraints: 500463
3432.99/3447.72 c #Conflicts: 2473000 | #Constraints: 501463
3432.99/3447.72 c #Conflicts: 2474000 | #Constraints: 502463
3432.99/3447.72 c #Conflicts: 2475000 | #Constraints: 503463
3432.99/3447.72 c #Conflicts: 2476000 | #Constraints: 504463
3432.99/3447.72 c #Conflicts: 2477000 | #Constraints: 505463
3432.99/3447.72 c #Conflicts: 2478000 | #Constraints: 506463
3432.99/3447.72 c #Conflicts: 2479000 | #Constraints: 507463
3432.99/3447.72 c #Conflicts: 2480000 | #Constraints: 508463
3432.99/3447.72 c INPROCESSING
3432.99/3447.72 c GARBAGE COLLECT
3432.99/3447.72 c #Conflicts: 2481000 | #Constraints: 414083
3432.99/3447.72 c #Conflicts: 2482000 | #Constraints: 415083
3432.99/3447.72 c #Conflicts: 2483000 | #Constraints: 416083
3432.99/3447.72 c #Conflicts: 2484000 | #Constraints: 417083
3432.99/3447.72 c #Conflicts: 2485000 | #Constraints: 418083
3432.99/3447.72 c #Conflicts: 2486000 | #Constraints: 419083
3432.99/3447.72 c #Conflicts: 2487000 | #Constraints: 420083
3432.99/3447.72 c #Conflicts: 2488000 | #Constraints: 421083
3535.24/3550.25 c #Conflicts: 2489000 | #Constraints: 422083
3535.24/3550.25 c #Conflicts: 2490000 | #Constraints: 423083
3535.24/3550.25 c #Conflicts: 2491000 | #Constraints: 424083
3535.24/3550.25 c #Conflicts: 2492000 | #Constraints: 425083
3535.24/3550.25 c #Conflicts: 2493000 | #Constraints: 426083
3535.24/3550.25 c #Conflicts: 2494000 | #Constraints: 427083
3535.24/3550.25 c #Conflicts: 2495000 | #Constraints: 428083
3535.24/3550.25 c #Conflicts: 2496000 | #Constraints: 429083
3535.24/3550.25 c #Conflicts: 2497000 | #Constraints: 430083
3535.24/3550.25 c #Conflicts: 2498000 | #Constraints: 431083
3535.24/3550.25 c #Conflicts: 2499000 | #Constraints: 432083
3535.24/3550.25 c #Conflicts: 2500000 | #Constraints: 433083
3535.24/3550.25 c #Conflicts: 2501000 | #Constraints: 434083
3535.24/3550.25 c #Conflicts: 2502000 | #Constraints: 435083
3535.24/3550.25 c #Conflicts: 2503000 | #Constraints: 436083
3535.24/3550.25 c #Conflicts: 2504000 | #Constraints: 437083
3535.24/3550.25 c #Conflicts: 2505000 | #Constraints: 438083
3535.24/3550.25 c #Conflicts: 2506000 | #Constraints: 439083
3535.24/3550.25 c #Conflicts: 2507000 | #Constraints: 440083
3535.24/3550.25 c #Conflicts: 2508000 | #Constraints: 441083
3535.24/3550.25 c #Conflicts: 2509000 | #Constraints: 442083
3535.24/3550.25 c #Conflicts: 2510000 | #Constraints: 443083
3535.24/3550.25 c #Conflicts: 2511000 | #Constraints: 444083
3535.24/3550.25 c #Conflicts: 2512000 | #Constraints: 445083
3535.24/3550.25 c #Conflicts: 2513000 | #Constraints: 446083
3535.24/3550.25 c #Conflicts: 2514000 | #Constraints: 447083
3535.24/3550.25 c #Conflicts: 2515000 | #Constraints: 448083
3535.24/3550.25 c #Conflicts: 2516000 | #Constraints: 449083
3535.24/3550.25 c #Conflicts: 2517000 | #Constraints: 450083
3535.24/3550.25 c #Conflicts: 2518000 | #Constraints: 451083
3535.24/3550.25 c #Conflicts: 2519000 | #Constraints: 452083
3535.24/3550.25 c #Conflicts: 2520000 | #Constraints: 453083
3535.24/3550.25 c #Conflicts: 2521000 | #Constraints: 454083
3535.24/3550.25 c #Conflicts: 2522000 | #Constraints: 455083
3535.24/3550.25 c #Conflicts: 2523000 | #Constraints: 456083
3535.24/3550.25 c #Conflicts: 2524000 | #Constraints: 457083
3535.24/3550.25 c #Conflicts: 2525000 | #Constraints: 458083
3535.24/3550.25 c #Conflicts: 2526000 | #Constraints: 459083
3535.24/3550.25 c #Conflicts: 2527000 | #Constraints: 460083
3535.24/3550.25 c #Conflicts: 2528000 | #Constraints: 461083
3535.24/3550.25 c #Conflicts: 2529000 | #Constraints: 462083
3535.24/3550.25 c #Conflicts: 2530000 | #Constraints: 463083
3535.24/3550.25 c #Conflicts: 2531000 | #Constraints: 464083
3535.24/3550.25 c #Conflicts: 2532000 | #Constraints: 465083
3535.24/3550.25 c #Conflicts: 2533000 | #Constraints: 466083
3535.24/3550.25 c #Conflicts: 2534000 | #Constraints: 467083
3535.24/3550.25 c #Conflicts: 2535000 | #Constraints: 468083
3535.24/3550.25 c #Conflicts: 2536000 | #Constraints: 469083
3535.24/3550.25 c #Conflicts: 2537000 | #Constraints: 470083
3535.24/3550.25 c #Conflicts: 2538000 | #Constraints: 471083
3535.24/3550.25 c #Conflicts: 2539000 | #Constraints: 472083
3535.24/3550.25 c #Conflicts: 2540000 | #Constraints: 473083
3535.24/3550.25 c #Conflicts: 2541000 | #Constraints: 474083
3535.24/3550.25 c #Conflicts: 2542000 | #Constraints: 475083
3535.24/3550.25 c #Conflicts: 2543000 | #Constraints: 476083
3535.24/3550.25 c #Conflicts: 2544000 | #Constraints: 477083
3535.24/3550.25 c #Conflicts: 2545000 | #Constraints: 478083
3535.24/3550.25 c #Conflicts: 2546000 | #Constraints: 479083
3535.24/3550.25 c #Conflicts: 2547000 | #Constraints: 480083
3535.24/3550.25 c #Conflicts: 2548000 | #Constraints: 481083
3535.24/3550.25 c #Conflicts: 2549000 | #Constraints: 482083
3535.24/3550.25 c #Conflicts: 2550000 | #Constraints: 483083
3535.24/3550.25 c #Conflicts: 2551000 | #Constraints: 484083
3535.24/3550.25 c #Conflicts: 2552000 | #Constraints: 485083
3535.24/3550.25 c #Conflicts: 2553000 | #Constraints: 486083
3535.24/3550.25 c #Conflicts: 2554000 | #Constraints: 487083
3535.24/3550.25 c #Conflicts: 2555000 | #Constraints: 488083
3535.24/3550.25 c #Conflicts: 2556000 | #Constraints: 489083
3535.24/3550.25 c #Conflicts: 2557000 | #Constraints: 490083
3535.24/3550.25 c #Conflicts: 2558000 | #Constraints: 491083
3535.24/3550.25 c #Conflicts: 2559000 | #Constraints: 492083
3535.24/3550.25 c #Conflicts: 2560000 | #Constraints: 493083
3535.24/3550.25 c #Conflicts: 2561000 | #Constraints: 494083
3535.24/3550.25 c #Conflicts: 2562000 | #Constraints: 495083
3535.24/3550.25 c #Conflicts: 2563000 | #Constraints: 496083
3535.24/3550.25 c #Conflicts: 2564000 | #Constraints: 497083
3535.24/3550.25 c #Conflicts: 2565000 | #Constraints: 498083
3535.24/3550.25 c #Conflicts: 2566000 | #Constraints: 499083
3535.24/3550.25 c #Conflicts: 2567000 | #Constraints: 500083
3600.06/3615.40 c #Conflicts: 2568000 | #Constraints: 501083
3600.06/3615.40 c #Conflicts: 2569000 | #Constraints: 502083
3600.06/3615.40 c #Conflicts: 2570000 | #Constraints: 503083
3600.06/3615.40 c #Conflicts: 2571000 | #Constraints: 504083
3600.06/3615.40 c #Conflicts: 2572000 | #Constraints: 505083
3600.06/3615.40 c #Conflicts: 2573000 | #Constraints: 506083
3600.06/3615.40 c #Conflicts: 2574000 | #Constraints: 507083
3600.06/3615.40 c #Conflicts: 2575000 | #Constraints: 508083
3600.06/3615.40 c #Conflicts: 2576000 | #Constraints: 509083
3600.06/3615.40 c #Conflicts: 2577000 | #Constraints: 510083
3600.06/3615.40 c #Conflicts: 2578000 | #Constraints: 511083
3600.06/3615.40 c #Conflicts: 2579000 | #Constraints: 512083
3600.06/3615.40 c #Conflicts: 2580000 | #Constraints: 513083
3600.06/3615.40 c #Conflicts: 2581000 | #Constraints: 514083
3600.06/3615.40 c INPROCESSING
3600.06/3615.40 c GARBAGE COLLECT
3600.06/3615.40 c #Conflicts: 2582000 | #Constraints: 417374
3600.06/3615.40 c #Conflicts: 2583000 | #Constraints: 418374
3600.06/3615.40 c #Conflicts: 2584000 | #Constraints: 419374
3600.06/3615.40 c #Conflicts: 2585000 | #Constraints: 420374
3600.06/3615.40 c #Conflicts: 2586000 | #Constraints: 421374
3600.06/3615.40 c #Conflicts: 2587000 | #Constraints: 422374
3600.06/3615.40 c #Conflicts: 2588000 | #Constraints: 423374
3600.06/3615.40 c #Conflicts: 2589000 | #Constraints: 424374
3600.06/3615.40 c #Conflicts: 2590000 | #Constraints: 425374
3600.06/3615.40 c #Conflicts: 2591000 | #Constraints: 426374
3600.06/3615.40 c #Conflicts: 2592000 | #Constraints: 427374
3600.06/3615.40 c #Conflicts: 2593000 | #Constraints: 428374
3600.06/3615.40 c #Conflicts: 2594000 | #Constraints: 429374
3600.06/3615.40 c #Conflicts: 2595000 | #Constraints: 430374
3600.06/3615.40 c #Conflicts: 2596000 | #Constraints: 431374
3600.06/3615.40 c #Conflicts: 2597000 | #Constraints: 432374
3600.06/3615.40 c #Conflicts: 2598000 | #Constraints: 433374
3600.06/3615.40 c #Conflicts: 2599000 | #Constraints: 434374
3600.06/3615.40 c #Conflicts: 2600000 | #Constraints: 435374
3600.06/3615.40 c #Conflicts: 2601000 | #Constraints: 436374
3600.06/3615.40 c #Conflicts: 2602000 | #Constraints: 437374
3600.06/3615.40 c #Conflicts: 2603000 | #Constraints: 438374
3600.06/3615.40 c #Conflicts: 2604000 | #Constraints: 439374
3600.06/3615.40 c #Conflicts: 2605000 | #Constraints: 440374
3600.06/3615.40 c #Conflicts: 2606000 | #Constraints: 441374
3600.06/3615.40 c #Conflicts: 2607000 | #Constraints: 442374
3600.06/3615.40 c #Conflicts: 2608000 | #Constraints: 443374
3600.06/3615.40 c #Conflicts: 2609000 | #Constraints: 444374
3600.06/3615.40 c #Conflicts: 2610000 | #Constraints: 445374
3600.06/3615.40 c #Conflicts: 2611000 | #Constraints: 446374
3600.06/3615.40 c #Conflicts: 2612000 | #Constraints: 447374
3600.06/3615.40 c #Conflicts: 2613000 | #Constraints: 448374
3600.06/3615.40 c #Conflicts: 2614000 | #Constraints: 449374
3600.06/3615.40 c #Conflicts: 2615000 | #Constraints: 450374
3600.06/3615.40 c #Conflicts: 2616000 | #Constraints: 451374
3600.06/3615.40 c #Conflicts: 2617000 | #Constraints: 452374
3600.06/3615.40 c #Conflicts: 2618000 | #Constraints: 453374
3600.06/3615.40 c #Conflicts: 2619000 | #Constraints: 454374
3600.06/3615.40 c #Conflicts: 2620000 | #Constraints: 455374
3600.06/3615.40 c #Conflicts: 2621000 | #Constraints: 456374
3600.06/3615.40 c #Conflicts: 2622000 | #Constraints: 457374
3600.06/3615.40 c cpu time 3580.94 s
3600.06/3615.40 c deterministic time 87314344349 8.73e+10
3600.06/3615.40 c optimization time 37.9216 s
3600.06/3615.40 c total solve time 3542.11 s
3600.06/3615.40 c core-guided solve time 0 s
3600.06/3615.40 c propagation time 829.106 s
3600.06/3615.40 c conflict analysis time 2473.76 s
3600.06/3615.40 c propagations 1116512162
3600.06/3615.40 c resolve steps 82866974
3600.06/3615.40 c decisions 14383273
3600.06/3615.40 c conflicts 2622155
3600.06/3615.40 c restarts 4536
3600.06/3615.40 c inprocessing phases 54
3600.06/3615.40 c garbage collections 52 ,( 96.30 )
3600.06/3615.40 c input clauses 341113 ,( 100.00 )
3600.06/3615.40 c input cardinalities 0 ,( 0.00 )
3600.06/3615.40 c input general constraints 0 ,( 0.00 )
3600.06/3615.40 c input average constraint length 2.18
3600.06/3615.40 c input average constraint degree 1.00
3600.06/3615.40 c learned clauses 2622154 ,( 100.00 )
3600.06/3615.40 c learned cardinalities 0 ,( 0.00 )
3600.06/3615.40 c learned general constraints 0 ,( 0.00 )
3600.06/3615.40 c learned average constraint length 1463.25
3600.06/3615.40 c learned average constraint degree 1.00
3600.06/3615.40 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.06/3615.40 c counting CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.06/3615.40 c watched constraints 0 ,( -nan )
3600.06/3615.40 c counting constraints 0 ,( -nan )
3600.06/3615.40 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 2301861306 , 0 , 0 ,( 0 , 0 )
3600.06/3615.40 c gcd simplifications 0
3600.06/3615.40 c detected cardinalities 0
3600.06/3615.40 c weakened non-implied lits 0
3600.06/3615.40 c weakened non-implying lits 0
3600.06/3615.40 c original variables 25239
3600.06/3615.40 c clausal propagations 1113890008
3600.06/3615.40 c cardinality propagations 0
3600.06/3615.40 c watched propagations 0
3600.06/3615.40 c counting propagations 0
3600.06/3615.40 c watch lookups 2301861306
3600.06/3615.40 c watch backjump lookups 0
3600.06/3615.40 c watch checks 71316414388
3600.06/3615.40 c propagation checks 1113890008
3600.06/3615.40 c constraint additions 10317774439
3600.06/3615.40 c trail pops 1133508772
3600.06/3615.40 c formula constraints 341113
3600.06/3615.40 c learned constraints 2622154
3600.06/3615.40 c bound constraints 0
3600.06/3615.40 c core-guided constraints 0
3600.06/3615.40 c encountered formula constraints 30961973
3600.06/3615.40 c encountered learned constraints 54527156
3600.06/3615.40 c encountered bound constraints 0
3600.06/3615.40 c encountered core-guided constraints 0
3600.06/3615.40 c LP total time 0 s
3600.06/3615.40 c LP solve time 0 s
3600.06/3615.40 c LP constraints added 0
3600.06/3615.40 c LP constraints removed 0
3600.06/3615.40 c LP pivots internal 0
3600.06/3615.40 c LP pivots root 0
3600.06/3615.40 c LP calls 0
3600.06/3615.40 c LP optimalities 0
3600.06/3615.40 c LP no pivot count 0
3600.06/3615.40 c LP infeasibilities 0
3600.06/3615.40 c LP valid Farkas constraints 0
3600.06/3615.40 c LP learned Farkas constraints 0
3600.06/3615.40 c LP basis resets 0
3600.06/3615.40 c LP cycling count 0
3600.06/3615.40 c LP singular count 0
3600.06/3615.40 c LP no primal count 0
3600.06/3615.40 c LP no farkas count 0
3600.06/3615.40 c LP other issue count 0
3600.06/3615.40 c LP Gomory cuts 0
3600.06/3615.40 c LP learned cuts 0
3600.06/3615.40 c LP deleted cuts 0
3600.06/3615.40 c LP encountered Gomory constraints 0
3600.06/3615.40 c LP encountered Farkas constraints 0
3600.06/3615.40 c LP encountered learned Farkas constraints 0
3600.06/3615.40 c CG auxiliary variables introduced 0
3600.06/3615.40 c CG solutions found 0
3600.06/3615.40 c CG cores constructed 0
3600.06/3615.40 c CG core cardinality constraints returned 0
3600.06/3615.40 c CG unit cores 0
3600.06/3615.40 c CG single cores 0
3600.06/3615.40 c CG blocks removed during cardinality reduction 0
3600.06/3615.40 c CG first core best 0
3600.06/3615.40 c CG decision core best 0
3600.06/3615.40 c CG core reduction tie 0
3600.06/3615.40 c CG core degree average 0.00
3600.06/3615.40 c CG core slack average 0.00
3600.06/3615.40 c CG core upper bound improvements 0
3600.06/3615.40 c STR number of successful calls 0
3600.06/3615.40 c STR number of unsuccessful calls 0
3600.06/3615.40 c STR number of inconclusive calls 0
3600.06/3615.40 c STR number of successful attempts 0
3600.06/3615.40 c STR number of unsuccessful attempts 0
3600.06/3615.40 c STR number of inconclusive attempts 0
3600.06/3615.40 c STR average degree increase per successful call inf
3600.06/3615.40 c STR average degree increase per successful attempt inf
3600.06/3615.40 c STR total number of conflicts for successful attempts 0
3600.06/3615.40 c STR total number of conflicts for unsuccessful attempts 0
3600.06/3615.40 c STR total number of conflicts for inconclusive attempts 0
3600.06/3615.40 c STR average number of conflicts per successful attempt inf
3600.06/3615.40 c STR average number of conflicts per unsuccessful attempt inf
3600.06/3615.40 c STR average number of conflicts per inconclusive attempt inf
3600.06/3615.40 c AVG.sumWPerc -nan
3600.06/3615.40 c bigint constraints 0
3600.06/3615.40 s UNKNOWN
3600.06/3615.40 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (61191 MiB free)
memory of node 1: 64507 MiB (62586 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4493161-1751143133/watcher-4493161-1751143133 -o /tmp/evaluation-result-4493161-1751143133/solver-4493161-1751143133 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751142528-15071 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4493161-1751143133.opb PROOFDIR/proof-4493161-1751143133
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=17316, runsolver pid=17313
[startup+0.100065 s]*
/proc/loadavg: 3.92 3.67 2.97 5/275 17318
/proc/meminfo: memFree=126707312/131249996 swapFree=33010684/33010684
[pid=17316] ppid=17313 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/17316/stat : 17316 (run-dec-break-l) S 17313 17316 11935 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 29990958 4292608 736 18446744073709551615 94259731591168 94259732485701 140725712681936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94259732724752 94259732772496 94259753353216 140725712689429 140725712689630 140725712689630 140725712695232 0
/proc/17316/statm: 1048 736 672 219 0 110 0
[pid=17318] ppid=17316 vsize=95964 memory=86056 CPUtime=0.09 cores=5,7
/proc/17318/stat : 17318 (pbsuma) R 17316 17316 11935 0 -1 4194304 5856 0 0 0 7 2 0 0 20 0 1 0 29990959 98267136 21514 18446744073709551615 4210688 4653049 140736010107264 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 35561472 140736010115299 140736010115634 140736010115634 140736010121199 0
/proc/17318/statm: 23991 21514 960 108 0 21399 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 100156 KiB
Current children cumulated memory: 89000 KiB
[startup+0.205775 s]*
/proc/loadavg: 3.92 3.67 2.97 5/275 17318
/proc/meminfo: memFree=126661508/131249996 swapFree=33010684/33010684
[pid=17316] ppid=17313 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/17316/stat : 17316 (run-dec-break-l) S 17313 17316 11935 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 29990958 4292608 736 18446744073709551615 94259731591168 94259732485701 140725712681936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94259732724752 94259732772496 94259753353216 140725712689429 140725712689630 140725712689630 140725712695232 0
/proc/17316/statm: 1048 736 672 219 0 110 0
[pid=17318] ppid=17316 vsize=162460 memory=128168 CPUtime=0.19 cores=5,7
/proc/17318/stat : 17318 (pbsuma) R 17316 17316 11935 0 -1 4194304 15138 0 0 0 16 3 0 0 20 0 1 0 29990959 166359040 32042 18446744073709551615 4210688 4653049 140736010107264 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 35561472 140736010115299 140736010115634 140736010115634 140736010121199 0
/proc/17318/statm: 40615 32042 1024 108 0 38023 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 166652 KiB
Current children cumulated memory: 131112 KiB
[startup+0.305778 s]*
/proc/loadavg: 3.92 3.67 2.97 5/275 17318
/proc/meminfo: memFree=126656656/131249996 swapFree=33010684/33010684
[pid=17316] ppid=17313 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/17316/stat : 17316 (run-dec-break-l) S 17313 17316 11935 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 29990958 4292608 736 18446744073709551615 94259731591168 94259732485701 140725712681936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94259732724752 94259732772496 94259753353216 140725712689429 140725712689630 140725712689630 140725712695232 0
/proc/17316/statm: 1048 736 672 219 0 110 0
[pid=17318] ppid=17316 vsize=173352 memory=136808 CPUtime=0.29 cores=5,7
/proc/17318/stat : 17318 (pbsuma) R 17316 17316 11935 0 -1 4194304 16988 0 0 0 25 4 0 0 20 0 1 0 29990959 177512448 34202 18446744073709551615 4210688 4653049 140736010107264 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 35561472 140736010115299 140736010115634 140736010115634 140736010121199 0
/proc/17318/statm: 43338 34202 1024 108 0 40746 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 177544 KiB
Current children cumulated memory: 139752 KiB
[startup+0.700214 s]
/proc/loadavg: 3.92 3.67 2.97 5/275 17318
/proc/meminfo: memFree=126633472/131249996 swapFree=33010684/33010684
[pid=17316] ppid=17313 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/17316/stat : 17316 (run-dec-break-l) S 17313 17316 11935 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 29990958 4292608 736 18446744073709551615 94259731591168 94259732485701 140725712681936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94259732724752 94259732772496 94259753353216 140725712689429 140725712689630 140725712689630 140725712695232 0
/proc/17316/statm: 1048 736 672 219 0 110 0
[pid=17318] ppid=17316 vsize=173568 memory=147504 CPUtime=0.67 cores=5,7
/proc/17318/stat : 17318 (pbsuma) R 17316 17316 11935 0 -1 4194304 21855 0 0 0 63 4 0 0 20 0 1 0 29990959 177733632 36876 18446744073709551615 4210688 4653049 140736010107264 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 35561472 140736010115299 140736010115634 140736010115634 140736010121199 0
/proc/17318/statm: 43392 36876 1024 108 0 40800 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 177760 KiB
Current children cumulated memory: 150448 KiB
[startup+1.50017 s]
/proc/loadavg: 3.92 3.67 2.97 5/276 17320
/proc/meminfo: memFree=126605308/131249996 swapFree=33010684/33010684
[pid=17316] ppid=17313 vsize=4192 memory=2944 CPUtime=1.14 cores=5,7
/proc/17316/stat : 17316 (run-dec-break-l) S 17313 17316 11935 0 -1 4194304 239 21997 0 0 0 0 104 10 20 0 1 0 29990958 4292608 736 18446744073709551615 94259731591168 94259732485701 140725712681936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94259732724752 94259732772496 94259753353216 140725712689429 140725712689630 140725712689630 140725712695232 0
/proc/17316/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB
[startup+3.10568 s]
/proc/loadavg: 3.92 3.67 2.97 5/276 17321
/proc/meminfo: memFree=126452660/131249996 swapFree=33010684/33010684
[pid=17316] ppid=17313 vsize=4192 memory=2944 CPUtime=1.14 cores=5,7
/proc/17316/stat : 17316 (run-dec-break-l) S 17313 17316 11935 0 -1 4194304 239 21997 0 0 0 0 104 10 20 0 1 0 29990958 4292608 736 18446744073709551615 94259731591168 94259732485701 140725712681936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94259732724752 94259732772496 94259753353216 140725712689429 140725712689630 140725712689630 140725712695232 0
/proc/17316/statm: 1048 736 672 219 0 110 0
[pid=17321] ppid=17316 vsize=189172 memory=140328 CPUtime=1.86 cores=5,7
/proc/17321/stat : 17321 (roundingsat) R 17316 17316 11935 0 -1 4194304 31680 0 0 0 155 31 0 0 20 0 1 0 29991081 193712128 35082 18446744073709551615 4227072 8923433 140733673211984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 27656192 140733673216244 140733673216552 140733673216552 140733673222122 0
/proc/17321/statm: 47293 35082 2080 1147 0 34720 0
Current children cumulated CPU time: 3 s
Current children cumulated vsize: 193364 KiB
Current children cumulated memory: 143272 KiB
[startup+6.3002 s]
/proc/loadavg: 4.01 3.69 2.98 5/276 17321
/proc/meminfo: memFree=126440176/131249996 swapFree=33010684/33010684
[pid=17316] ppid=17313 vsize=4192 memory=2944 CPUtime=1.14 cores=5,7
/proc/17316/stat : 17316 (run-dec-break-l) S 17313 17316 11935 0 -1 4194304 239 21997 0 0 0 0 104 10 20 0 1 0 29990958 4292608 736 18446744073709551615 94259731591168 94259732485701 140725712681936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94259732724752 94259732772496 94259753353216 140725712689429 140725712689630 140725712689630 140725712695232 0
/proc/17316/statm: 1048 736 672 219 0 110 0
[pid=17321] ppid=17316 vsize=195924 memory=145576 CPUtime=5.04 cores=5,7
/proc/17321/stat : 17321 (roundingsat) R 17316 17316 11935 0 -1 4194304 32965 0 0 0 471 33 0 0 20 0 1 0 29991081 200626176 36394 18446744073709551615 4227072 8923433 140733673211984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 27656192 140733673216244 140733673216552 140733673216552 140733673222122 0
/proc/17321/statm: 48981 36394 2144 1147 0 36408 0
Current children cumulated CPU time: 6.18 s
Current children cumulated vsize: 200116 KiB
Current children cumulated memory: 148520 KiB
[startup+12.7002 s]
/proc/loadavg: 4.01 3.70 2.99 5/276 17321
/proc/meminfo: memFree=126369476/131249996 swapFree=33010684/33010684
[pid=17316] ppid=17313 vsize=4192 memory=2944 CPUtime=1.14 cores=5,7
/proc/17316/stat : 17316 (run-dec-break-l) S 17313 17316 11935 0 -1 4194304 239 21997 0 0 0 0 104 10 20 0 1 0 29990958 4292608 736 18446744073709551615 94259731591168 94259732485701 140725712681936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94259732724752 94259732772496 94259753353216 140725712689429 140725712689630 140725712689630 140725712695232 0
/proc/17316/statm: 1048 736 672 219 0 110 0
[pid=17321] ppid=17316 vsize=206496 memory=158552 CPUtime=11.42 cores=5,7
/proc/17321/stat : 17321 (roundingsat) R 17316 17316 11935 0 -1 4194304 35693 0 0 0 1107 35 0 0 20 0 1 0 29991081 211451904 39638 18446744073709551615 4227072 8923433 140733673211984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 27656192 140733673216244 140733673216552 140733673216552 140733673222122 0
/proc/17321/statm: 51624 39638 2144 1147 0 39051 0
Current children cumulated CPU time: 12.56 s
Current children cumulated vsize: 210688 KiB
Current children cumulated memory: 161496 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 3.73 3.01 5/276 17321
/proc/meminfo: memFree=126246244/131249996 swapFree=33010684/33010684
[pid=17316] ppid=17313 vsize=4192 memory=2944 CPUtime=1.14 cores=5,7
/proc/17316/stat : 17316 (run-dec-break-l) S 17313 17316 11935 0 -1 4194304 239 21997 0 0 0 0 104 10 20 0 1 0 29990958 4292608 736 18446744073709551615 94259731591168 94259732485701 140725712681936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94259732724752 94259732772496 94259753353216 140725712689429 140725712689630 140725712689630 140725712695232 0
/proc/17316/statm: 1048 736 672 219 0 110 0
[pid=17321] ppid=17316 vsize=218964 memory=164216 CPUtime=24.19 cores=5,7
/proc/17321/stat : 17321 (roundingsat) R 17316 17316 11935 0 -1 4194304 36593 0 0 0 2373 46 0 0 20 0 1 0 29991081 224219136 41054 18446744073709551615 4227072 8923433 140733673211984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 27656192 140733673216244 140733673216552 140733673216552 140733673222122 0
/proc/17321/statm: 54741 41054 2144 1147 0 42168 0
Current children cumulated CPU time: 25.33 s
Current children cumulated vsize: 223156 KiB
Current children cumulated memory: 167160 KiB
[startup+51.1056 s]
/proc/loadavg: 4.13 3.77 3.04 5/276 17321
/proc/meminfo: memFree=126044708/131249996 swapFree=33010684/33010684
[pid=17316] ppid=17313 vsize=4192 memory=2944 CPUtime=1.14 cores=5,7
/proc/17316/stat : 17316 (run-dec-break-l) S 17313 17316 11935 0 -1 4194304 239 21997 0 0 0 0 104 10 20 0 1 0 29990958 4292608 736 18446744073709551615 94259731591168 94259732485701 140725712681936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94259732724752 94259732772496 94259753353216 140725712689429 140725712689630 140725712689630 140725712695232 0
/proc/17316/statm: 1048 736 672 219 0 110 0
[pid=17321] ppid=17316 vsize=239912 memory=190916 CPUtime=49.66 cores=5,7
/proc/17321/stat : 17321 (roundingsat) R 17316 17316 11935 0 -1 4194304 37664 0 0 0 4894 72 0 0 20 0 1 0 29991081 245669888 47729 18446744073709551615 4227072 8923433 140733673211984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 27656192 140733673216244 140733673216552 140733673216552 140733673222122 0
/proc/17321/statm: 59978 47729 2144 1147 0 47405 0
Current children cumulated CPU time: 50.8 s
Current children cumulated vsize: 244104 KiB
Current children cumulated memory: 193860 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 3.82 3.10 5/274 17323
/proc/meminfo: memFree=125620220/131249996 swapFree=33010684/33010684
[pid=17316] ppid=17313 vsize=4192 memory=2944 CPUtime=1.14 cores=5,7
/proc/17316/stat : 17316 (run-dec-break-l) S 17313 17316 11935 0 -1 4194304 239 21997 0 0 0 0 104 10 20 0 1 0 29990958 4292608 736 18446744073709551615 94259731591168 94259732485701 140725712681936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94259732724752 94259732772496 94259753353216 140725712689429 140725712689630 140725712689630 140725712695232 0
/proc/17316/statm: 1048 736 672 219 0 110 0
[pid=17321] ppid=17316 vsize=273636 memory=210524 CPUtime=100.69 cores=5,7
/proc/17321/stat : 17321 (roundingsat) R 17316 17316 11935 0 -1 4194304 38992 0 0 0 9942 127 0 0 20 0 1 0 29991081 280203264 52631 18446744073709551615 4227072 8923433 140733673211984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 27656192 140733673216244 140733673216552 140733673216552 140733673222122 0
/proc/17321/statm: 68409 52631 2144 1147 0 55836 0
Current children cumulated CPU time: 101.83 s
Current children cumulated vsize: 277828 KiB
Current children cumulated memory: 213468 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 3.87 3.17 5/274 17325
/proc/meminfo: memFree=125163736/131249996 swapFree=33010684/33010684
[pid=17316] ppid=17313 vsize=4192 memory=2944 CPUtime=1.14 cores=5,7
/proc/17316/stat : 17316 (run-dec-break-l) S 17313 17316 11935 0 -1 4194304 239 21997 0 0 0 0 104 10 20 0 1 0 29990958 4292608 736 18446744073709551615 94259731591168 94259732485701 140725712681936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94259732724752 94259732772496 94259753353216 140725712689429 140725712689630 140725712689630 140725712695232 0
/proc/17316/statm: 1048 736 672 219 0 110 0
[pid=17321] ppid=17316 vsize=327948 memory=249440 CPUtime=160.51 cores=5,7
/proc/17321/stat : 17321 (roundingsat) R 17316 17316 11935 0 -1 4194304 40560 0 0 0 15878 173 0 0 20 0 1 0 29991081 335818752 62360 18446744073709551615 4227072 8923433 140733673211984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 27656192 140733673216244 140733673216552 140733673216552 140733673222122 0
/proc/17321/statm: 81987 62360 2144 1147 0 69414 0
Current children cumulated CPU time: 161.65 s
Current children cumulated vsize: 332140 KiB
Current children cumulated memory: 252384 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 3.92 3.23 5/272 17327
/proc/meminfo: memFree=124686640/131249996 swapFree=33010684/33010684
[pid=17316] ppid=17313 vsize=4192 memory=2944 CPUtime=1.14 cores=5,7
/proc/17316/stat : 17316 (run-dec-break-l) S 17313 17316 11935 0 -1 4194304 239 21997 0 0 0 0 104 10 20 0 1 0 29990958 4292608 736 18446744073709551615 94259731591168 94259732485701 140725712681936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94259732724752 94259732772496 94259753353216 140725712689429 140725712689630 140725712689630 140725712695232 0
/proc/17316/statm: 1048 736 672 219 0 110 0
[pid=17321] ppid=17316 vsize=412524 memory=306628 CPUtime=220.33 cores=5,7
/proc/17321/stat : 17321 (roundingsat) R 17316 17316 11935 0 -1 4194304 41606 0 0 0 21818 215 0 0 20 0 1 0 29991081 422424576 76657 18446744073709551615 4227072 8923433 140733673211984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 27656192 140733673216244 140733673216552 140733673216552 140733673222122 0
/proc/17321/statm: 103131 76657 2144 1147 0 90558 0
Current children cumulated CPU time: 221.47 s
Current children cumulated vsize: 416716 KiB
Current children cumulated memory: 309572 KiB
################
# More data... #
################
/proc/17321/statm: 290610 275323 2144 1147 0 278037 0
Current children cumulated CPU time: 3031 s
Current children cumulated vsize: 1166632 KiB
Current children cumulated memory: 1104236 KiB
[startup+3102.3 s]
/proc/loadavg: 3.77 4.03 4.06 4/268 17538
/proc/meminfo: memFree=112884340/131249996 swapFree=33010684/33010684
[pid=17316] ppid=17313 vsize=4192 memory=2944 CPUtime=1.14 cores=5,7
/proc/17316/stat : 17316 (run-dec-break-l) S 17313 17316 11935 0 -1 4194304 239 21997 0 0 0 0 104 10 20 0 1 0 29990958 4292608 736 18446744073709551615 94259731591168 94259732485701 140725712681936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94259732724752 94259732772496 94259753353216 140725712689429 140725712689630 140725712689630 140725712695232 0
/proc/17316/statm: 1048 736 672 219 0 110 0
[pid=17321] ppid=17316 vsize=1729968 memory=1245756 CPUtime=3089.62 cores=5,7
/proc/17321/stat : 17321 (roundingsat) R 17316 17316 11935 0 -1 4194304 77629 0 0 0 307352 1610 0 0 20 0 1 0 29991081 1771487232 311439 18446744073709551615 4227072 8923433 140733673211984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 27656192 140733673216244 140733673216552 140733673216552 140733673222122 0
/proc/17321/statm: 432492 311439 2144 1147 0 419919 0
Current children cumulated CPU time: 3090.76 s
Current children cumulated vsize: 1734160 KiB
Current children cumulated memory: 1248700 KiB
[startup+3162.3 s]
/proc/loadavg: 3.38 3.87 4.00 4/268 17540
/proc/meminfo: memFree=112449668/131249996 swapFree=33010684/33010684
[pid=17316] ppid=17313 vsize=4192 memory=2944 CPUtime=1.14 cores=5,7
/proc/17316/stat : 17316 (run-dec-break-l) S 17313 17316 11935 0 -1 4194304 239 21997 0 0 0 0 104 10 20 0 1 0 29990958 4292608 736 18446744073709551615 94259731591168 94259732485701 140725712681936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94259732724752 94259732772496 94259753353216 140725712689429 140725712689630 140725712689630 140725712695232 0
/proc/17316/statm: 1048 736 672 219 0 110 0
[pid=17321] ppid=17316 vsize=1729968 memory=1481276 CPUtime=3149.43 cores=5,7
/proc/17321/stat : 17321 (roundingsat) R 17316 17316 11935 0 -1 4194304 78768 0 0 0 313320 1623 0 0 20 0 1 0 29991081 1771487232 370319 18446744073709551615 4227072 8923433 140733673211984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 27656192 140733673216244 140733673216552 140733673216552 140733673222122 0
/proc/17321/statm: 432492 370319 2144 1147 0 419919 0
Current children cumulated CPU time: 3150.57 s
Current children cumulated vsize: 1734160 KiB
Current children cumulated memory: 1484220 KiB
[startup+3222.3 s]
/proc/loadavg: 3.19 3.72 3.94 4/267 17542
/proc/meminfo: memFree=112150744/131249996 swapFree=33010684/33010684
[pid=17316] ppid=17313 vsize=4192 memory=2944 CPUtime=1.14 cores=5,7
/proc/17316/stat : 17316 (run-dec-break-l) S 17313 17316 11935 0 -1 4194304 239 21997 0 0 0 0 104 10 20 0 1 0 29990958 4292608 736 18446744073709551615 94259731591168 94259732485701 140725712681936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94259732724752 94259732772496 94259753353216 140725712689429 140725712689630 140725712689630 140725712695232 0
/proc/17316/statm: 1048 736 672 219 0 110 0
[pid=17321] ppid=17316 vsize=1734848 memory=1574116 CPUtime=3209.23 cores=5,7
/proc/17321/stat : 17321 (roundingsat) R 17316 17316 11935 0 -1 4194304 79523 0 0 0 319286 1637 0 0 20 0 1 0 29991081 1776484352 393529 18446744073709551615 4227072 8923433 140733673211984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 27656192 140733673216244 140733673216552 140733673216552 140733673222122 0
/proc/17321/statm: 433712 393529 2144 1147 0 421139 0
Current children cumulated CPU time: 3210.37 s
Current children cumulated vsize: 1739040 KiB
Current children cumulated memory: 1577060 KiB
[startup+3282.3 s]
/proc/loadavg: 3.14 3.61 3.89 4/268 17547
/proc/meminfo: memFree=111978896/131249996 swapFree=33010684/33010684
[pid=17316] ppid=17313 vsize=4192 memory=2944 CPUtime=1.14 cores=5,7
/proc/17316/stat : 17316 (run-dec-break-l) S 17313 17316 11935 0 -1 4194304 239 21997 0 0 0 0 104 10 20 0 1 0 29990958 4292608 736 18446744073709551615 94259731591168 94259732485701 140725712681936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94259732724752 94259732772496 94259753353216 140725712689429 140725712689630 140725712689630 140725712695232 0
/proc/17316/statm: 1048 736 672 219 0 110 0
[pid=17321] ppid=17316 vsize=1734848 memory=1574116 CPUtime=3269.03 cores=5,7
/proc/17321/stat : 17321 (roundingsat) R 17316 17316 11935 0 -1 4194304 79523 0 0 0 325246 1657 0 0 20 0 1 0 29991081 1776484352 393529 18446744073709551615 4227072 8923433 140733673211984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 27656192 140733673216244 140733673216552 140733673216552 140733673222122 0
/proc/17321/statm: 433712 393529 2144 1147 0 421139 0
Current children cumulated CPU time: 3270.17 s
Current children cumulated vsize: 1739040 KiB
Current children cumulated memory: 1577060 KiB
[startup+3342.3 s]
/proc/loadavg: 2.71 3.41 3.80 3/261 17580
/proc/meminfo: memFree=119529244/131249996 swapFree=33010684/33010684
[pid=17316] ppid=17313 vsize=4192 memory=2944 CPUtime=1.14 cores=5,7
/proc/17316/stat : 17316 (run-dec-break-l) S 17313 17316 11935 0 -1 4194304 239 21997 0 0 0 0 104 10 20 0 1 0 29990958 4292608 736 18446744073709551615 94259731591168 94259732485701 140725712681936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94259732724752 94259732772496 94259753353216 140725712689429 140725712689630 140725712689630 140725712695232 0
/proc/17316/statm: 1048 736 672 219 0 110 0
[pid=17321] ppid=17316 vsize=1734848 memory=1574116 CPUtime=3328.87 cores=5,7
/proc/17321/stat : 17321 (roundingsat) R 17316 17316 11935 0 -1 4194304 79523 0 0 0 331212 1675 0 0 20 0 1 0 29991081 1776484352 393529 18446744073709551615 4227072 8923433 140733673211984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 27656192 140733673216244 140733673216552 140733673216552 140733673222122 0
/proc/17321/statm: 433712 393529 2144 1147 0 421139 0
Current children cumulated CPU time: 3330.01 s
Current children cumulated vsize: 1739040 KiB
Current children cumulated memory: 1577060 KiB
[startup+3402.3 s]
/proc/loadavg: 2.22 3.15 3.68 2/254 17614
/proc/meminfo: memFree=127237848/131249996 swapFree=33010684/33010684
[pid=17316] ppid=17313 vsize=4192 memory=2944 CPUtime=1.14 cores=5,7
/proc/17316/stat : 17316 (run-dec-break-l) S 17313 17316 11935 0 -1 4194304 239 21997 0 0 0 0 104 10 20 0 1 0 29990958 4292608 736 18446744073709551615 94259731591168 94259732485701 140725712681936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94259732724752 94259732772496 94259753353216 140725712689429 140725712689630 140725712689630 140725712695232 0
/proc/17316/statm: 1048 736 672 219 0 110 0
[pid=17321] ppid=17316 vsize=1734848 memory=1574116 CPUtime=3388.7 cores=5,7
/proc/17321/stat : 17321 (roundingsat) R 17316 17316 11935 0 -1 4194304 79525 0 0 0 337182 1688 0 0 20 0 1 0 29991081 1776484352 393529 18446744073709551615 4227072 8923433 140733673211984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 27656192 140733673216244 140733673216552 140733673216552 140733673222122 0
/proc/17321/statm: 433712 393529 2144 1147 0 421139 0
Current children cumulated CPU time: 3389.84 s
Current children cumulated vsize: 1739040 KiB
Current children cumulated memory: 1577060 KiB
[startup+3462.3 s]
/proc/loadavg: 1.56 2.79 3.52 2/253 17619
/proc/meminfo: memFree=127241564/131249996 swapFree=33010684/33010684
[pid=17316] ppid=17313 vsize=4192 memory=2944 CPUtime=1.14 cores=5,7
/proc/17316/stat : 17316 (run-dec-break-l) S 17313 17316 11935 0 -1 4194304 239 21997 0 0 0 0 104 10 20 0 1 0 29990958 4292608 736 18446744073709551615 94259731591168 94259732485701 140725712681936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94259732724752 94259732772496 94259753353216 140725712689429 140725712689630 140725712689630 140725712695232 0
/proc/17316/statm: 1048 736 672 219 0 110 0
[pid=17321] ppid=17316 vsize=1737868 memory=1577188 CPUtime=3446.41 cores=5,7
/proc/17321/stat : 17321 (roundingsat) R 17316 17316 11935 0 -1 4194304 80317 0 0 0 342926 1715 0 0 20 0 1 0 29991081 1779576832 394297 18446744073709551615 4227072 8923433 140733673211984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 27656192 140733673216244 140733673216552 140733673216552 140733673222122 0
/proc/17321/statm: 434467 394297 2144 1147 0 421894 0
Current children cumulated CPU time: 3447.55 s
Current children cumulated vsize: 1742060 KiB
Current children cumulated memory: 1580132 KiB
[startup+3522.3 s]
/proc/loadavg: 1.25 2.48 3.37 2/253 17621
/proc/meminfo: memFree=127217876/131249996 swapFree=33010684/33010684
[pid=17316] ppid=17313 vsize=4192 memory=2944 CPUtime=1.14 cores=5,7
/proc/17316/stat : 17316 (run-dec-break-l) S 17313 17316 11935 0 -1 4194304 239 21997 0 0 0 0 104 10 20 0 1 0 29990958 4292608 736 18446744073709551615 94259731591168 94259732485701 140725712681936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94259732724752 94259732772496 94259753353216 140725712689429 140725712689630 140725712689630 140725712695232 0
/proc/17316/statm: 1048 736 672 219 0 110 0
[pid=17321] ppid=17316 vsize=1737868 memory=1577188 CPUtime=3506.27 cores=5,7
/proc/17321/stat : 17321 (roundingsat) R 17316 17316 11935 0 -1 4194304 80318 0 0 0 348885 1742 0 0 20 0 1 0 29991081 1779576832 394297 18446744073709551615 4227072 8923433 140733673211984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 27656192 140733673216244 140733673216552 140733673216552 140733673222122 0
/proc/17321/statm: 434467 394297 2144 1147 0 421894 0
Current children cumulated CPU time: 3507.41 s
Current children cumulated vsize: 1742060 KiB
Current children cumulated memory: 1580132 KiB
[startup+3582.3 s]
/proc/loadavg: 1.21 2.24 3.23 2/250 17628
/proc/meminfo: memFree=127188772/131249996 swapFree=33010684/33010684
[pid=17316] ppid=17313 vsize=4192 memory=2944 CPUtime=1.14 cores=5,7
/proc/17316/stat : 17316 (run-dec-break-l) S 17313 17316 11935 0 -1 4194304 239 21997 0 0 0 0 104 10 20 0 1 0 29990958 4292608 736 18446744073709551615 94259731591168 94259732485701 140725712681936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94259732724752 94259732772496 94259753353216 140725712689429 140725712689630 140725712689630 140725712695232 0
/proc/17316/statm: 1048 736 672 219 0 110 0
[pid=17321] ppid=17316 vsize=1738660 memory=1577956 CPUtime=3566.13 cores=5,7
/proc/17321/stat : 17321 (roundingsat) R 17316 17316 11935 0 -1 4194304 82397 0 0 0 354839 1774 0 0 20 0 1 0 29991081 1780387840 394489 18446744073709551615 4227072 8923433 140733673211984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 27656192 140733673216244 140733673216552 140733673216552 140733673222122 0
/proc/17321/statm: 434665 394489 2144 1147 0 422092 0
Current children cumulated CPU time: 3567.27 s
Current children cumulated vsize: 1742852 KiB
Current children cumulated memory: 1580900 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3615.4 s]
/proc/loadavg: 1.13 2.12 3.16 2/250 17628
/proc/meminfo: memFree=127173928/131249996 swapFree=33010684/33010684
[pid=17316] ppid=17313 vsize=4192 memory=2944 CPUtime=1.14 cores=5,7
/proc/17316/stat : 17316 (run-dec-break-l) S 17313 17316 11935 0 -1 4194304 239 21997 0 0 0 0 104 10 20 0 1 0 29990958 4292608 736 18446744073709551615 94259731591168 94259732485701 140725712681936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94259732724752 94259732772496 94259753353216 140725712689429 140725712689630 140725712689630 140725712695232 0
/proc/17316/statm: 1048 736 672 219 0 110 0
[pid=17321] ppid=17316 vsize=1738660 memory=1577956 CPUtime=3598.92 cores=5,7
/proc/17321/stat : 17321 (roundingsat) R 17316 17316 11935 0 -1 4194304 82397 0 0 0 358093 1799 0 0 20 0 1 0 29991081 1780387840 394489 18446744073709551615 4227072 8923433 140733673211984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 27656192 140733673216244 140733673216552 140733673216552 140733673222122 0
/proc/17321/statm: 434665 394489 2144 1147 0 422092 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 1742852 KiB
Current children cumulated memory: 1580900 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3615.4 s]
# the end of solver process 17316 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=1.04282 s, system=0.104153 s
[startup+3615.5 s]
# the end of solver process 17321 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3582.05 s, system=18.1194 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3615.5
CPU time (s): 3600.17
CPU user time (s): 3582.05
CPU system time (s): 18.1194
CPU usage (%): 99.576
Max. virtual memory (cumulated for all children) (KiB): 1742852
Max. memory (cumulated for all children) (KiB): 1580900
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.05
system time used= 18.1194
maximum resident set size= 1578340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 104657
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2417896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2237
involuntary context switches= 21890
# summary of solver processes directly reported to runsolver:
# pid: 17316,17321
# total CPU time (s): 3600.17
# total CPU user time (s): 3582.05
# total CPU system time (s): 18.1194
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.06353 second user time and 16.0144 second system time
The end
Begin job on nodeC021 at 2025-06-28 22:38:53
IDJOB=4493161
IDBENCH=147848
IDSOLVER=3358
FILE ID=nodeC021/4493161-1751143133
RUNJOBID= nodeC021-1751142528-15071
SLURM_JOB_ID= 9587421
Free space on /tmp= 433024 MiB
SOLVER NAME= roundingsat+pbsuma-log 63f22ad
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/roussel/normalized-pigeon-clauses-85-80.opb
COMMAND LINE= run-dec-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4493161-1751143133/watcher-4493161-1751143133 -o /tmp/evaluation-result-4493161-1751143133/solver-4493161-1751143133 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751142528-15071 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4493161-1751143133.opb PROOFDIR/proof-4493161-1751143133
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b66aa0ca883b9987dbaf460c58c6223e
RANDOM SEED=884582132
nodeC021 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.783
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.780
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
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 : 3612.249
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
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 : 3598.522
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.780
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
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 : 3911.982
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
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 : 3892.362
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
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 : 3599.967
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 126748328 kB
MemAvailable: 128994532 kB
Buffers: 3280 kB
Cached: 3054512 kB
SwapCached: 0 kB
Active: 1044440 kB
Inactive: 2832540 kB
Active(anon): 837300 kB
Inactive(anon): 0 kB
Active(file): 207140 kB
Inactive(file): 2832540 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 143216 kB
Writeback: 0 kB
AnonPages: 822380 kB
Mapped: 116516 kB
Shmem: 18060 kB
KReclaimable: 91128 kB
Slab: 180044 kB
SReclaimable: 91128 kB
SUnreclaim: 88916 kB
KernelStack: 4448 kB
PageTables: 4896 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 1255784 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150744 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 237568 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: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433040 MiB
End job on nodeC021 at 2025-06-28 23:39:08