0.00/0.02 c RoundingSat 2
0.00/0.02 c branch
0.00/0.02 c commit
0.00/0.02 c with Papilo
0.00/0.02 c with SCIP
0.00/0.02 c [STEP] parsing instance
0.08/0.20 c [STEP] preprocessing with Papilo
0.20/0.31 c Papilo could not simplify the problem
0.20/0.31 c [STEP] solving with SCIP
299.36/300.41 c [STEP] preprocessing done, loading into solver
299.36/300.46 c [STEP] solving
299.36/300.46 c #variables 596 #constraints 27847
299.36/300.46 c SMALL=int, LARGE=long long
299.36/300.46 d SCIPUB -31
299.36/300.46 c bounds - >= -595 @ 299.136
299.36/300.46 c stratification level: 0
322.91/324.11 c bounds - >= -107 @ 299.148
322.91/324.11 c bounds - >= -106 @ 299.149
322.91/324.11 c bounds - >= -105 @ 299.15
322.91/324.11 c bounds - >= -104 @ 299.15
322.91/324.11 c bounds - >= -103 @ 299.15
322.91/324.11 c bounds - >= -102 @ 299.15
322.91/324.11 c bounds - >= -101 @ 299.15
322.91/324.11 c bounds - >= -100 @ 299.15
322.91/324.11 c bounds - >= -99 @ 299.15
322.91/324.11 c bounds - >= -98 @ 299.151
322.91/324.11 c bounds - >= -97 @ 299.151
322.91/324.11 c bounds - >= -96 @ 299.151
322.91/324.11 c #Conflicts: 1000 | #Constraints: 28966
322.91/324.11 c #Conflicts: 2000 | #Constraints: 29966
322.91/324.11 c INPROCESSING
322.91/324.11 c GARBAGE COLLECT
322.91/324.11 c #Conflicts: 3000 | #Constraints: 29982
322.91/324.11 c #Conflicts: 4000 | #Constraints: 30982
322.91/324.11 c INPROCESSING
322.91/324.11 c GARBAGE COLLECT
322.91/324.11 c #Conflicts: 5000 | #Constraints: 30390
322.91/324.11 c #Conflicts: 6000 | #Constraints: 31390
322.91/324.11 c INPROCESSING
322.91/324.11 c GARBAGE COLLECT
322.91/324.11 c #Conflicts: 7000 | #Constraints: 30398
322.91/324.11 c #Conflicts: 8000 | #Constraints: 31398
322.91/324.11 c #Conflicts: 9000 | #Constraints: 32398
322.91/324.11 c INPROCESSING
322.91/324.11 c GARBAGE COLLECT
322.91/324.11 c #Conflicts: 10000 | #Constraints: 31105
322.91/324.11 c #Conflicts: 11000 | #Constraints: 32105
322.91/324.11 c #Conflicts: 12000 | #Constraints: 33105
322.91/324.11 c INPROCESSING
322.91/324.11 c GARBAGE COLLECT
322.91/324.11 c #Conflicts: 13000 | #Constraints: 31561
322.91/324.11 c #Conflicts: 14000 | #Constraints: 32561
322.91/324.11 c #Conflicts: 15000 | #Constraints: 33561
322.91/324.11 c INPROCESSING
322.91/324.11 c GARBAGE COLLECT
322.91/324.11 c #Conflicts: 16000 | #Constraints: 31790
322.91/324.11 c #Conflicts: 17000 | #Constraints: 32790
322.91/324.11 c #Conflicts: 18000 | #Constraints: 33790
322.91/324.11 c INPROCESSING
322.91/324.11 c GARBAGE COLLECT
322.91/324.11 c #Conflicts: 19000 | #Constraints: 31807
322.91/324.11 c #Conflicts: 20000 | #Constraints: 32807
322.91/324.11 c #Conflicts: 21000 | #Constraints: 33807
322.91/324.11 c INPROCESSING
322.91/324.11 c GARBAGE COLLECT
322.91/324.11 c #Conflicts: 22000 | #Constraints: 31620
322.91/324.11 c #Conflicts: 23000 | #Constraints: 32620
322.91/324.11 c #Conflicts: 24000 | #Constraints: 33620
322.91/324.11 c #Conflicts: 25000 | #Constraints: 34620
322.91/324.11 c INPROCESSING
322.91/324.11 c GARBAGE COLLECT
322.91/324.11 c #Conflicts: 26000 | #Constraints: 32230
322.91/324.11 c #Conflicts: 27000 | #Constraints: 33230
322.91/324.11 c #Conflicts: 28000 | #Constraints: 34230
322.91/324.11 c #Conflicts: 29000 | #Constraints: 35230
322.91/324.11 c INPROCESSING
322.91/324.11 c GARBAGE COLLECT
322.91/324.11 c #Conflicts: 30000 | #Constraints: 32632
322.91/324.11 c #Conflicts: 31000 | #Constraints: 33632
322.91/324.11 c #Conflicts: 32000 | #Constraints: 34632
322.91/324.11 c #Conflicts: 33000 | #Constraints: 35632
322.91/324.11 c INPROCESSING
322.91/324.11 c GARBAGE COLLECT
322.91/324.11 c #Conflicts: 34000 | #Constraints: 32834
322.91/324.11 c #Conflicts: 35000 | #Constraints: 33834
322.91/324.11 c #Conflicts: 36000 | #Constraints: 34834
322.91/324.11 c #Conflicts: 37000 | #Constraints: 35834
322.91/324.11 c INPROCESSING
322.91/324.11 c GARBAGE COLLECT
322.91/324.11 c #Conflicts: 38000 | #Constraints: 32834
322.91/324.11 c #Conflicts: 39000 | #Constraints: 33834
322.91/324.11 c #Conflicts: 40000 | #Constraints: 34834
322.91/324.11 c #Conflicts: 41000 | #Constraints: 35834
322.91/324.11 c INPROCESSING
322.91/324.11 c GARBAGE COLLECT
322.91/324.11 c #Conflicts: 42000 | #Constraints: 32635
322.91/324.11 c #Conflicts: 43000 | #Constraints: 33635
322.91/324.11 c bounds - >= -95 @ 314.417
322.91/324.11 c #Conflicts: 44000 | #Constraints: 34636
322.91/324.11 c #Conflicts: 45000 | #Constraints: 35636
322.91/324.11 c #Conflicts: 46000 | #Constraints: 36636
322.91/324.11 c INPROCESSING
322.91/324.11 c GARBAGE COLLECT
322.91/324.11 c #Conflicts: 47000 | #Constraints: 33197
322.91/324.11 c #Conflicts: 48000 | #Constraints: 34197
322.91/324.11 c #Conflicts: 49000 | #Constraints: 35197
322.91/324.11 c #Conflicts: 50000 | #Constraints: 36197
322.91/324.11 c #Conflicts: 51000 | #Constraints: 37197
322.91/324.11 c INPROCESSING
322.91/324.11 c GARBAGE COLLECT
322.91/324.11 c #Conflicts: 52000 | #Constraints: 33581
322.91/324.11 c #Conflicts: 53000 | #Constraints: 34581
322.91/324.11 c #Conflicts: 54000 | #Constraints: 35581
322.91/324.11 c #Conflicts: 55000 | #Constraints: 36581
322.91/324.11 c #Conflicts: 56000 | #Constraints: 37581
322.91/324.11 c INPROCESSING
322.91/324.11 c GARBAGE COLLECT
322.91/324.11 c #Conflicts: 57000 | #Constraints: 33772
322.91/324.11 c #Conflicts: 58000 | #Constraints: 34772
322.91/324.11 c #Conflicts: 59000 | #Constraints: 35772
322.91/324.11 c #Conflicts: 60000 | #Constraints: 36772
322.91/324.11 c #Conflicts: 61000 | #Constraints: 37772
322.91/324.11 c INPROCESSING
322.91/324.11 c GARBAGE COLLECT
363.69/364.91 c #Conflicts: 62000 | #Constraints: 33767
363.69/364.91 c #Conflicts: 63000 | #Constraints: 34767
363.69/364.91 c #Conflicts: 64000 | #Constraints: 35767
363.69/364.91 c #Conflicts: 65000 | #Constraints: 36767
363.69/364.91 c #Conflicts: 66000 | #Constraints: 37767
363.69/364.91 c INPROCESSING
363.69/364.91 c GARBAGE COLLECT
363.69/364.91 c #Conflicts: 67000 | #Constraints: 33569
363.69/364.91 c #Conflicts: 68000 | #Constraints: 34569
363.69/364.91 c #Conflicts: 69000 | #Constraints: 35569
363.69/364.91 c #Conflicts: 70000 | #Constraints: 36569
363.69/364.91 c #Conflicts: 71000 | #Constraints: 37569
363.69/364.91 c #Conflicts: 72000 | #Constraints: 38569
363.69/364.91 c INPROCESSING
363.69/364.91 c GARBAGE COLLECT
363.69/364.91 c #Conflicts: 73000 | #Constraints: 34166
363.69/364.91 c #Conflicts: 74000 | #Constraints: 35166
363.69/364.91 c #Conflicts: 75000 | #Constraints: 36166
363.69/364.91 c #Conflicts: 76000 | #Constraints: 37166
363.69/364.91 c #Conflicts: 77000 | #Constraints: 38166
363.69/364.91 c #Conflicts: 78000 | #Constraints: 39166
363.69/364.91 c INPROCESSING
363.69/364.91 c GARBAGE COLLECT
363.69/364.91 c #Conflicts: 79000 | #Constraints: 34565
363.69/364.91 c #Conflicts: 80000 | #Constraints: 35565
363.69/364.91 c #Conflicts: 81000 | #Constraints: 36565
363.69/364.91 c #Conflicts: 82000 | #Constraints: 37565
363.69/364.91 c #Conflicts: 83000 | #Constraints: 38565
363.69/364.91 c #Conflicts: 84000 | #Constraints: 39565
363.69/364.91 c INPROCESSING
363.69/364.91 c GARBAGE COLLECT
363.69/364.91 c #Conflicts: 85000 | #Constraints: 34767
363.69/364.91 c #Conflicts: 86000 | #Constraints: 35767
363.69/364.91 c #Conflicts: 87000 | #Constraints: 36767
363.69/364.91 c #Conflicts: 88000 | #Constraints: 37767
363.69/364.91 c #Conflicts: 89000 | #Constraints: 38767
363.69/364.91 c #Conflicts: 90000 | #Constraints: 39767
363.69/364.91 c INPROCESSING
363.69/364.91 c GARBAGE COLLECT
363.69/364.91 c #Conflicts: 91000 | #Constraints: 34763
363.69/364.91 c #Conflicts: 92000 | #Constraints: 35763
363.69/364.91 c #Conflicts: 93000 | #Constraints: 36763
363.69/364.91 c #Conflicts: 94000 | #Constraints: 37763
363.69/364.91 c #Conflicts: 95000 | #Constraints: 38763
363.69/364.91 c #Conflicts: 96000 | #Constraints: 39763
363.69/364.91 c INPROCESSING
363.69/364.91 c GARBAGE COLLECT
363.69/364.91 c #Conflicts: 97000 | #Constraints: 34564
363.69/364.91 c #Conflicts: 98000 | #Constraints: 35564
363.69/364.91 c #Conflicts: 99000 | #Constraints: 36564
363.69/364.91 c #Conflicts: 100000 | #Constraints: 37564
363.69/364.91 c #Conflicts: 101000 | #Constraints: 38564
363.69/364.91 c #Conflicts: 102000 | #Constraints: 39564
363.69/364.91 c #Conflicts: 103000 | #Constraints: 40564
363.69/364.91 c INPROCESSING
363.69/364.91 c GARBAGE COLLECT
363.69/364.91 c #Conflicts: 104000 | #Constraints: 35167
363.69/364.91 c #Conflicts: 105000 | #Constraints: 36167
363.69/364.91 c #Conflicts: 106000 | #Constraints: 37167
363.69/364.91 c #Conflicts: 107000 | #Constraints: 38167
363.69/364.91 c #Conflicts: 108000 | #Constraints: 39167
363.69/364.91 c #Conflicts: 109000 | #Constraints: 40167
363.69/364.91 c #Conflicts: 110000 | #Constraints: 41167
363.69/364.91 c INPROCESSING
363.69/364.91 c GARBAGE COLLECT
363.69/364.91 c #Conflicts: 111000 | #Constraints: 35565
363.69/364.91 c #Conflicts: 112000 | #Constraints: 36565
363.69/364.91 c #Conflicts: 113000 | #Constraints: 37565
363.69/364.91 c #Conflicts: 114000 | #Constraints: 38565
363.69/364.91 c #Conflicts: 115000 | #Constraints: 39565
363.69/364.91 c #Conflicts: 116000 | #Constraints: 40565
363.69/364.91 c #Conflicts: 117000 | #Constraints: 41565
363.69/364.91 c INPROCESSING
363.69/364.91 c GARBAGE COLLECT
363.69/364.91 c #Conflicts: 118000 | #Constraints: 35762
363.69/364.91 c #Conflicts: 119000 | #Constraints: 36762
363.69/364.91 c #Conflicts: 120000 | #Constraints: 37762
363.69/364.91 c #Conflicts: 121000 | #Constraints: 38762
363.69/364.91 c #Conflicts: 122000 | #Constraints: 39762
363.69/364.91 c #Conflicts: 123000 | #Constraints: 40762
363.69/364.91 c #Conflicts: 124000 | #Constraints: 41762
363.69/364.91 c INPROCESSING
363.69/364.91 c GARBAGE COLLECT
363.69/364.91 c #Conflicts: 125000 | #Constraints: 35760
363.69/364.91 c #Conflicts: 126000 | #Constraints: 36760
363.69/364.91 c #Conflicts: 127000 | #Constraints: 37760
363.69/364.91 c #Conflicts: 128000 | #Constraints: 38760
363.69/364.91 c #Conflicts: 129000 | #Constraints: 39760
363.69/364.91 c #Conflicts: 130000 | #Constraints: 40760
363.69/364.91 c #Conflicts: 131000 | #Constraints: 41760
363.69/364.91 c INPROCESSING
363.69/364.91 c GARBAGE COLLECT
363.69/364.91 c #Conflicts: 132000 | #Constraints: 35564
363.69/364.91 c #Conflicts: 133000 | #Constraints: 36564
414.24/415.61 c #Conflicts: 134000 | #Constraints: 37564
414.24/415.61 c #Conflicts: 135000 | #Constraints: 38564
414.24/415.61 c #Conflicts: 136000 | #Constraints: 39564
414.24/415.61 c #Conflicts: 137000 | #Constraints: 40564
414.24/415.61 c #Conflicts: 138000 | #Constraints: 41564
414.24/415.61 c #Conflicts: 139000 | #Constraints: 42564
414.24/415.61 c INPROCESSING
414.24/415.61 c GARBAGE COLLECT
414.24/415.61 c #Conflicts: 140000 | #Constraints: 36165
414.24/415.61 c #Conflicts: 141000 | #Constraints: 37165
414.24/415.61 c #Conflicts: 142000 | #Constraints: 38165
414.24/415.61 c #Conflicts: 143000 | #Constraints: 39165
414.24/415.61 c #Conflicts: 144000 | #Constraints: 40165
414.24/415.61 c #Conflicts: 145000 | #Constraints: 41165
414.24/415.61 c #Conflicts: 146000 | #Constraints: 42165
414.24/415.61 c #Conflicts: 147000 | #Constraints: 43165
414.24/415.61 c INPROCESSING
414.24/415.61 c GARBAGE COLLECT
414.24/415.61 c #Conflicts: 148000 | #Constraints: 36566
414.24/415.61 c #Conflicts: 149000 | #Constraints: 37566
414.24/415.61 c #Conflicts: 150000 | #Constraints: 38566
414.24/415.61 c #Conflicts: 151000 | #Constraints: 39566
414.24/415.61 c #Conflicts: 152000 | #Constraints: 40566
414.24/415.61 c #Conflicts: 153000 | #Constraints: 41566
414.24/415.61 c #Conflicts: 154000 | #Constraints: 42566
414.24/415.61 c #Conflicts: 155000 | #Constraints: 43566
414.24/415.61 c INPROCESSING
414.24/415.61 c GARBAGE COLLECT
414.24/415.61 c #Conflicts: 156000 | #Constraints: 36766
414.24/415.61 c #Conflicts: 157000 | #Constraints: 37766
414.24/415.61 c #Conflicts: 158000 | #Constraints: 38766
414.24/415.61 c #Conflicts: 159000 | #Constraints: 39766
414.24/415.61 c #Conflicts: 160000 | #Constraints: 40766
414.24/415.61 c #Conflicts: 161000 | #Constraints: 41766
414.24/415.61 c #Conflicts: 162000 | #Constraints: 42766
414.24/415.61 c #Conflicts: 163000 | #Constraints: 43766
414.24/415.61 c INPROCESSING
414.24/415.61 c GARBAGE COLLECT
414.24/415.61 c #Conflicts: 164000 | #Constraints: 36767
414.24/415.61 c #Conflicts: 165000 | #Constraints: 37767
414.24/415.61 c #Conflicts: 166000 | #Constraints: 38767
414.24/415.61 c #Conflicts: 167000 | #Constraints: 39767
414.24/415.61 c #Conflicts: 168000 | #Constraints: 40767
414.24/415.61 c #Conflicts: 169000 | #Constraints: 41767
414.24/415.61 c #Conflicts: 170000 | #Constraints: 42767
414.24/415.61 c #Conflicts: 171000 | #Constraints: 43767
414.24/415.61 c INPROCESSING
414.24/415.61 c GARBAGE COLLECT
414.24/415.61 c #Conflicts: 172000 | #Constraints: 36567
414.24/415.61 c #Conflicts: 173000 | #Constraints: 37567
414.24/415.61 c #Conflicts: 174000 | #Constraints: 38567
414.24/415.61 c #Conflicts: 175000 | #Constraints: 39567
414.24/415.61 c #Conflicts: 176000 | #Constraints: 40567
414.24/415.61 c #Conflicts: 177000 | #Constraints: 41567
414.24/415.61 c #Conflicts: 178000 | #Constraints: 42567
414.24/415.61 c #Conflicts: 179000 | #Constraints: 43567
414.24/415.61 c #Conflicts: 180000 | #Constraints: 44567
414.24/415.61 c INPROCESSING
414.24/415.61 c GARBAGE COLLECT
414.24/415.61 c #Conflicts: 181000 | #Constraints: 37162
414.24/415.61 c #Conflicts: 182000 | #Constraints: 38162
414.24/415.61 c #Conflicts: 183000 | #Constraints: 39162
414.24/415.61 c #Conflicts: 184000 | #Constraints: 40162
414.24/415.61 c #Conflicts: 185000 | #Constraints: 41162
414.24/415.61 c #Conflicts: 186000 | #Constraints: 42162
414.24/415.61 c #Conflicts: 187000 | #Constraints: 43162
414.24/415.61 c #Conflicts: 188000 | #Constraints: 44162
414.24/415.61 c #Conflicts: 189000 | #Constraints: 45162
414.24/415.61 c INPROCESSING
414.24/415.61 c GARBAGE COLLECT
414.24/415.61 c #Conflicts: 190000 | #Constraints: 37564
414.24/415.61 c #Conflicts: 191000 | #Constraints: 38564
414.24/415.61 c #Conflicts: 192000 | #Constraints: 39564
414.24/415.61 c #Conflicts: 193000 | #Constraints: 40564
414.24/415.61 c #Conflicts: 194000 | #Constraints: 41564
414.24/415.61 c #Conflicts: 195000 | #Constraints: 42564
414.24/415.61 c #Conflicts: 196000 | #Constraints: 43564
414.24/415.61 c #Conflicts: 197000 | #Constraints: 44564
414.24/415.61 c #Conflicts: 198000 | #Constraints: 45564
414.24/415.61 c INPROCESSING
414.24/415.61 c GARBAGE COLLECT
414.24/415.61 c #Conflicts: 199000 | #Constraints: 37767
414.24/415.61 c #Conflicts: 200000 | #Constraints: 38767
414.24/415.61 c #Conflicts: 201000 | #Constraints: 39767
414.24/415.61 c #Conflicts: 202000 | #Constraints: 40767
414.24/415.61 c #Conflicts: 203000 | #Constraints: 41767
414.24/415.61 c #Conflicts: 204000 | #Constraints: 42767
414.24/415.61 c #Conflicts: 205000 | #Constraints: 43767
414.24/415.61 c #Conflicts: 206000 | #Constraints: 44767
414.24/415.61 c #Conflicts: 207000 | #Constraints: 45767
469.77/471.38 c INPROCESSING
469.77/471.38 c GARBAGE COLLECT
469.77/471.38 c #Conflicts: 208000 | #Constraints: 37769
469.77/471.38 c #Conflicts: 209000 | #Constraints: 38769
469.77/471.38 c #Conflicts: 210000 | #Constraints: 39769
469.77/471.38 c #Conflicts: 211000 | #Constraints: 40769
469.77/471.38 c #Conflicts: 212000 | #Constraints: 41769
469.77/471.38 c #Conflicts: 213000 | #Constraints: 42769
469.77/471.38 c #Conflicts: 214000 | #Constraints: 43769
469.77/471.38 c #Conflicts: 215000 | #Constraints: 44769
469.77/471.38 c #Conflicts: 216000 | #Constraints: 45769
469.77/471.38 c INPROCESSING
469.77/471.38 c GARBAGE COLLECT
469.77/471.38 c #Conflicts: 217000 | #Constraints: 37569
469.77/471.38 c #Conflicts: 218000 | #Constraints: 38569
469.77/471.38 c #Conflicts: 219000 | #Constraints: 39569
469.77/471.38 c #Conflicts: 220000 | #Constraints: 40569
469.77/471.38 c #Conflicts: 221000 | #Constraints: 41569
469.77/471.38 c #Conflicts: 222000 | #Constraints: 42569
469.77/471.38 c #Conflicts: 223000 | #Constraints: 43569
469.77/471.38 c #Conflicts: 224000 | #Constraints: 44569
469.77/471.38 c #Conflicts: 225000 | #Constraints: 45569
469.77/471.38 c #Conflicts: 226000 | #Constraints: 46569
469.77/471.38 c INPROCESSING
469.77/471.38 c GARBAGE COLLECT
469.77/471.38 c #Conflicts: 227000 | #Constraints: 38169
469.77/471.38 c #Conflicts: 228000 | #Constraints: 39169
469.77/471.38 c #Conflicts: 229000 | #Constraints: 40169
469.77/471.38 c #Conflicts: 230000 | #Constraints: 41169
469.77/471.38 c #Conflicts: 231000 | #Constraints: 42169
469.77/471.38 c #Conflicts: 232000 | #Constraints: 43169
469.77/471.38 c #Conflicts: 233000 | #Constraints: 44169
469.77/471.38 c #Conflicts: 234000 | #Constraints: 45169
469.77/471.38 c #Conflicts: 235000 | #Constraints: 46169
469.77/471.38 c #Conflicts: 236000 | #Constraints: 47169
469.77/471.38 c INPROCESSING
469.77/471.38 c GARBAGE COLLECT
469.77/471.38 c #Conflicts: 237000 | #Constraints: 38564
469.77/471.38 c #Conflicts: 238000 | #Constraints: 39564
469.77/471.38 c #Conflicts: 239000 | #Constraints: 40564
469.77/471.38 c #Conflicts: 240000 | #Constraints: 41564
469.77/471.38 c #Conflicts: 241000 | #Constraints: 42564
469.77/471.38 c #Conflicts: 242000 | #Constraints: 43564
469.77/471.38 c #Conflicts: 243000 | #Constraints: 44564
469.77/471.38 c #Conflicts: 244000 | #Constraints: 45564
469.77/471.38 c #Conflicts: 245000 | #Constraints: 46564
469.77/471.38 c #Conflicts: 246000 | #Constraints: 47564
469.77/471.38 c INPROCESSING
469.77/471.38 c GARBAGE COLLECT
469.77/471.38 c #Conflicts: 247000 | #Constraints: 38764
469.77/471.38 c #Conflicts: 248000 | #Constraints: 39764
469.77/471.38 c #Conflicts: 249000 | #Constraints: 40764
469.77/471.38 c #Conflicts: 250000 | #Constraints: 41764
469.77/471.38 c #Conflicts: 251000 | #Constraints: 42764
469.77/471.38 c #Conflicts: 252000 | #Constraints: 43764
469.77/471.38 c #Conflicts: 253000 | #Constraints: 44764
469.77/471.38 c #Conflicts: 254000 | #Constraints: 45764
469.77/471.38 c #Conflicts: 255000 | #Constraints: 46764
469.77/471.38 c #Conflicts: 256000 | #Constraints: 47764
469.77/471.38 c INPROCESSING
469.77/471.38 c GARBAGE COLLECT
469.77/471.38 c #Conflicts: 257000 | #Constraints: 38766
469.77/471.38 c #Conflicts: 258000 | #Constraints: 39766
469.77/471.38 c #Conflicts: 259000 | #Constraints: 40766
469.77/471.38 c #Conflicts: 260000 | #Constraints: 41766
469.77/471.38 c #Conflicts: 261000 | #Constraints: 42766
469.77/471.38 c #Conflicts: 262000 | #Constraints: 43766
469.77/471.38 c #Conflicts: 263000 | #Constraints: 44766
469.77/471.38 c #Conflicts: 264000 | #Constraints: 45766
469.77/471.38 c #Conflicts: 265000 | #Constraints: 46766
469.77/471.38 c #Conflicts: 266000 | #Constraints: 47766
469.77/471.38 c INPROCESSING
469.77/471.38 c GARBAGE COLLECT
469.77/471.38 c #Conflicts: 267000 | #Constraints: 38563
469.77/471.38 c #Conflicts: 268000 | #Constraints: 39563
469.77/471.38 c #Conflicts: 269000 | #Constraints: 40563
469.77/471.38 c #Conflicts: 270000 | #Constraints: 41563
469.77/471.38 c #Conflicts: 271000 | #Constraints: 42563
469.77/471.38 c #Conflicts: 272000 | #Constraints: 43563
469.77/471.38 c #Conflicts: 273000 | #Constraints: 44563
469.77/471.38 c #Conflicts: 274000 | #Constraints: 45563
469.77/471.38 c #Conflicts: 275000 | #Constraints: 46563
469.77/471.38 c #Conflicts: 276000 | #Constraints: 47563
469.77/471.38 c #Conflicts: 277000 | #Constraints: 48563
469.77/471.38 c INPROCESSING
469.77/471.38 c GARBAGE COLLECT
469.77/471.38 c #Conflicts: 278000 | #Constraints: 39164
469.77/471.38 c #Conflicts: 279000 | #Constraints: 40164
469.77/471.38 c #Conflicts: 280000 | #Constraints: 41164
469.77/471.38 c #Conflicts: 281000 | #Constraints: 42164
538.03/539.89 c #Conflicts: 282000 | #Constraints: 43164
538.03/539.89 c #Conflicts: 283000 | #Constraints: 44164
538.03/539.89 c #Conflicts: 284000 | #Constraints: 45164
538.03/539.89 c #Conflicts: 285000 | #Constraints: 46164
538.03/539.89 c #Conflicts: 286000 | #Constraints: 47164
538.03/539.89 c #Conflicts: 287000 | #Constraints: 48164
538.03/539.89 c #Conflicts: 288000 | #Constraints: 49164
538.03/539.89 c INPROCESSING
538.03/539.89 c GARBAGE COLLECT
538.03/539.89 c #Conflicts: 289000 | #Constraints: 39563
538.03/539.89 c #Conflicts: 290000 | #Constraints: 40563
538.03/539.89 c #Conflicts: 291000 | #Constraints: 41563
538.03/539.89 c #Conflicts: 292000 | #Constraints: 42563
538.03/539.89 c #Conflicts: 293000 | #Constraints: 43563
538.03/539.89 c #Conflicts: 294000 | #Constraints: 44563
538.03/539.89 c #Conflicts: 295000 | #Constraints: 45563
538.03/539.89 c #Conflicts: 296000 | #Constraints: 46563
538.03/539.89 c #Conflicts: 297000 | #Constraints: 47563
538.03/539.89 c #Conflicts: 298000 | #Constraints: 48563
538.03/539.89 c #Conflicts: 299000 | #Constraints: 49563
538.03/539.89 c INPROCESSING
538.03/539.89 c GARBAGE COLLECT
538.03/539.89 c #Conflicts: 300000 | #Constraints: 39764
538.03/539.89 c #Conflicts: 301000 | #Constraints: 40764
538.03/539.89 c #Conflicts: 302000 | #Constraints: 41764
538.03/539.89 c #Conflicts: 303000 | #Constraints: 42764
538.03/539.89 c #Conflicts: 304000 | #Constraints: 43764
538.03/539.89 c #Conflicts: 305000 | #Constraints: 44764
538.03/539.89 c #Conflicts: 306000 | #Constraints: 45764
538.03/539.89 c #Conflicts: 307000 | #Constraints: 46764
538.03/539.89 c #Conflicts: 308000 | #Constraints: 47764
538.03/539.89 c #Conflicts: 309000 | #Constraints: 48764
538.03/539.89 c #Conflicts: 310000 | #Constraints: 49764
538.03/539.89 c INPROCESSING
538.03/539.89 c GARBAGE COLLECT
538.03/539.89 c #Conflicts: 311000 | #Constraints: 39765
538.03/539.89 c #Conflicts: 312000 | #Constraints: 40765
538.03/539.89 c #Conflicts: 313000 | #Constraints: 41765
538.03/539.89 c #Conflicts: 314000 | #Constraints: 42765
538.03/539.89 c #Conflicts: 315000 | #Constraints: 43765
538.03/539.89 c #Conflicts: 316000 | #Constraints: 44765
538.03/539.89 c #Conflicts: 317000 | #Constraints: 45765
538.03/539.89 c #Conflicts: 318000 | #Constraints: 46765
538.03/539.89 c #Conflicts: 319000 | #Constraints: 47765
538.03/539.89 c #Conflicts: 320000 | #Constraints: 48765
538.03/539.89 c #Conflicts: 321000 | #Constraints: 49765
538.03/539.89 c INPROCESSING
538.03/539.89 c GARBAGE COLLECT
538.03/539.89 c #Conflicts: 322000 | #Constraints: 39567
538.03/539.89 c #Conflicts: 323000 | #Constraints: 40567
538.03/539.89 c #Conflicts: 324000 | #Constraints: 41567
538.03/539.89 c #Conflicts: 325000 | #Constraints: 42567
538.03/539.89 c #Conflicts: 326000 | #Constraints: 43567
538.03/539.89 c #Conflicts: 327000 | #Constraints: 44567
538.03/539.89 c #Conflicts: 328000 | #Constraints: 45567
538.03/539.89 c #Conflicts: 329000 | #Constraints: 46567
538.03/539.89 c #Conflicts: 330000 | #Constraints: 47567
538.03/539.89 c #Conflicts: 331000 | #Constraints: 48567
538.03/539.89 c #Conflicts: 332000 | #Constraints: 49567
538.03/539.89 c #Conflicts: 333000 | #Constraints: 50567
538.03/539.89 c INPROCESSING
538.03/539.89 c GARBAGE COLLECT
538.03/539.89 c #Conflicts: 334000 | #Constraints: 40166
538.03/539.89 c #Conflicts: 335000 | #Constraints: 41166
538.03/539.89 c #Conflicts: 336000 | #Constraints: 42166
538.03/539.89 c #Conflicts: 337000 | #Constraints: 43166
538.03/539.89 c #Conflicts: 338000 | #Constraints: 44166
538.03/539.89 c #Conflicts: 339000 | #Constraints: 45166
538.03/539.89 c #Conflicts: 340000 | #Constraints: 46166
538.03/539.89 c #Conflicts: 341000 | #Constraints: 47166
538.03/539.89 c #Conflicts: 342000 | #Constraints: 48166
538.03/539.89 c #Conflicts: 343000 | #Constraints: 49166
538.03/539.89 c #Conflicts: 344000 | #Constraints: 50166
538.03/539.89 c #Conflicts: 345000 | #Constraints: 51166
538.03/539.89 c INPROCESSING
538.03/539.89 c GARBAGE COLLECT
538.03/539.89 c #Conflicts: 346000 | #Constraints: 40566
538.03/539.89 c #Conflicts: 347000 | #Constraints: 41566
538.03/539.89 c #Conflicts: 348000 | #Constraints: 42566
538.03/539.89 c #Conflicts: 349000 | #Constraints: 43566
538.03/539.89 c #Conflicts: 350000 | #Constraints: 44566
538.03/539.89 c #Conflicts: 351000 | #Constraints: 45566
538.03/539.89 c #Conflicts: 352000 | #Constraints: 46566
538.03/539.89 c #Conflicts: 353000 | #Constraints: 47566
538.03/539.89 c #Conflicts: 354000 | #Constraints: 48566
538.03/539.89 c #Conflicts: 355000 | #Constraints: 49566
538.03/539.89 c #Conflicts: 356000 | #Constraints: 50566
612.29/614.35 c #Conflicts: 357000 | #Constraints: 51566
612.29/614.35 c INPROCESSING
612.29/614.35 c GARBAGE COLLECT
612.29/614.35 c #Conflicts: 358000 | #Constraints: 40766
612.29/614.35 c #Conflicts: 359000 | #Constraints: 41766
612.29/614.35 c #Conflicts: 360000 | #Constraints: 42766
612.29/614.35 c #Conflicts: 361000 | #Constraints: 43766
612.29/614.35 c #Conflicts: 362000 | #Constraints: 44766
612.29/614.35 c #Conflicts: 363000 | #Constraints: 45766
612.29/614.35 c #Conflicts: 364000 | #Constraints: 46766
612.29/614.35 c #Conflicts: 365000 | #Constraints: 47766
612.29/614.35 c #Conflicts: 366000 | #Constraints: 48766
612.29/614.35 c #Conflicts: 367000 | #Constraints: 49766
612.29/614.35 c #Conflicts: 368000 | #Constraints: 50766
612.29/614.35 c #Conflicts: 369000 | #Constraints: 51766
612.29/614.35 c INPROCESSING
612.29/614.35 c GARBAGE COLLECT
612.29/614.35 c #Conflicts: 370000 | #Constraints: 40767
612.29/614.35 c #Conflicts: 371000 | #Constraints: 41767
612.29/614.35 c #Conflicts: 372000 | #Constraints: 42767
612.29/614.35 c #Conflicts: 373000 | #Constraints: 43767
612.29/614.35 c #Conflicts: 374000 | #Constraints: 44767
612.29/614.35 c #Conflicts: 375000 | #Constraints: 45767
612.29/614.35 c #Conflicts: 376000 | #Constraints: 46767
612.29/614.35 c #Conflicts: 377000 | #Constraints: 47767
612.29/614.35 c #Conflicts: 378000 | #Constraints: 48767
612.29/614.35 c #Conflicts: 379000 | #Constraints: 49767
612.29/614.35 c #Conflicts: 380000 | #Constraints: 50767
612.29/614.35 c #Conflicts: 381000 | #Constraints: 51767
612.29/614.35 c INPROCESSING
612.29/614.35 c GARBAGE COLLECT
612.29/614.35 c #Conflicts: 382000 | #Constraints: 40568
612.29/614.35 c #Conflicts: 383000 | #Constraints: 41568
612.29/614.35 c #Conflicts: 384000 | #Constraints: 42568
612.29/614.35 c #Conflicts: 385000 | #Constraints: 43568
612.29/614.35 c #Conflicts: 386000 | #Constraints: 44568
612.29/614.35 c #Conflicts: 387000 | #Constraints: 45568
612.29/614.35 c #Conflicts: 388000 | #Constraints: 46568
612.29/614.35 c #Conflicts: 389000 | #Constraints: 47568
612.29/614.35 c #Conflicts: 390000 | #Constraints: 48568
612.29/614.35 c #Conflicts: 391000 | #Constraints: 49568
612.29/614.35 c #Conflicts: 392000 | #Constraints: 50568
612.29/614.35 c #Conflicts: 393000 | #Constraints: 51568
612.29/614.35 c #Conflicts: 394000 | #Constraints: 52568
612.29/614.35 c INPROCESSING
612.29/614.35 c GARBAGE COLLECT
612.29/614.35 c #Conflicts: 395000 | #Constraints: 41169
612.29/614.35 c #Conflicts: 396000 | #Constraints: 42169
612.29/614.35 c #Conflicts: 397000 | #Constraints: 43169
612.29/614.35 c #Conflicts: 398000 | #Constraints: 44169
612.29/614.35 c #Conflicts: 399000 | #Constraints: 45169
612.29/614.35 c #Conflicts: 400000 | #Constraints: 46169
612.29/614.35 c #Conflicts: 401000 | #Constraints: 47169
612.29/614.35 c #Conflicts: 402000 | #Constraints: 48169
612.29/614.35 c #Conflicts: 403000 | #Constraints: 49169
612.29/614.35 c #Conflicts: 404000 | #Constraints: 50169
612.29/614.35 c #Conflicts: 405000 | #Constraints: 51169
612.29/614.35 c #Conflicts: 406000 | #Constraints: 52169
612.29/614.35 c #Conflicts: 407000 | #Constraints: 53169
612.29/614.35 c INPROCESSING
612.29/614.35 c GARBAGE COLLECT
612.29/614.35 c #Conflicts: 408000 | #Constraints: 41567
612.29/614.35 c #Conflicts: 409000 | #Constraints: 42567
612.29/614.35 c #Conflicts: 410000 | #Constraints: 43567
612.29/614.35 c #Conflicts: 411000 | #Constraints: 44567
612.29/614.35 c #Conflicts: 412000 | #Constraints: 45567
612.29/614.35 c #Conflicts: 413000 | #Constraints: 46567
612.29/614.35 c #Conflicts: 414000 | #Constraints: 47567
612.29/614.35 c #Conflicts: 415000 | #Constraints: 48567
612.29/614.35 c #Conflicts: 416000 | #Constraints: 49567
612.29/614.35 c #Conflicts: 417000 | #Constraints: 50567
612.29/614.35 c #Conflicts: 418000 | #Constraints: 51567
612.29/614.35 c #Conflicts: 419000 | #Constraints: 52567
612.29/614.35 c #Conflicts: 420000 | #Constraints: 53567
612.29/614.35 c INPROCESSING
612.29/614.35 c GARBAGE COLLECT
612.29/614.35 c #Conflicts: 421000 | #Constraints: 41769
612.29/614.35 c #Conflicts: 422000 | #Constraints: 42769
612.29/614.35 c #Conflicts: 423000 | #Constraints: 43769
612.29/614.35 c #Conflicts: 424000 | #Constraints: 44769
612.29/614.35 c #Conflicts: 425000 | #Constraints: 45769
612.29/614.35 c #Conflicts: 426000 | #Constraints: 46769
612.29/614.35 c #Conflicts: 427000 | #Constraints: 47769
612.29/614.35 c #Conflicts: 428000 | #Constraints: 48769
612.29/614.35 c #Conflicts: 429000 | #Constraints: 49769
612.29/614.35 c #Conflicts: 430000 | #Constraints: 50769
612.29/614.35 c #Conflicts: 431000 | #Constraints: 51769
684.78/687.04 c #Conflicts: 432000 | #Constraints: 52769
684.78/687.04 c #Conflicts: 433000 | #Constraints: 53769
684.78/687.04 c INPROCESSING
684.78/687.04 c GARBAGE COLLECT
684.78/687.04 c #Conflicts: 434000 | #Constraints: 41769
684.78/687.04 c #Conflicts: 435000 | #Constraints: 42769
684.78/687.04 c #Conflicts: 436000 | #Constraints: 43769
684.78/687.04 c #Conflicts: 437000 | #Constraints: 44769
684.78/687.04 c #Conflicts: 438000 | #Constraints: 45769
684.78/687.04 c #Conflicts: 439000 | #Constraints: 46769
684.78/687.04 c #Conflicts: 440000 | #Constraints: 47769
684.78/687.04 c #Conflicts: 441000 | #Constraints: 48769
684.78/687.04 c #Conflicts: 442000 | #Constraints: 49769
684.78/687.04 c #Conflicts: 443000 | #Constraints: 50769
684.78/687.04 c #Conflicts: 444000 | #Constraints: 51769
684.78/687.04 c #Conflicts: 445000 | #Constraints: 52769
684.78/687.04 c #Conflicts: 446000 | #Constraints: 53769
684.78/687.04 c INPROCESSING
684.78/687.04 c GARBAGE COLLECT
684.78/687.04 c #Conflicts: 447000 | #Constraints: 41568
684.78/687.04 c #Conflicts: 448000 | #Constraints: 42568
684.78/687.04 c #Conflicts: 449000 | #Constraints: 43568
684.78/687.04 c #Conflicts: 450000 | #Constraints: 44568
684.78/687.04 c #Conflicts: 451000 | #Constraints: 45568
684.78/687.04 c #Conflicts: 452000 | #Constraints: 46568
684.78/687.04 c #Conflicts: 453000 | #Constraints: 47568
684.78/687.04 c #Conflicts: 454000 | #Constraints: 48568
684.78/687.04 c #Conflicts: 455000 | #Constraints: 49568
684.78/687.04 c #Conflicts: 456000 | #Constraints: 50568
684.78/687.04 c #Conflicts: 457000 | #Constraints: 51568
684.78/687.04 c #Conflicts: 458000 | #Constraints: 52568
684.78/687.04 c #Conflicts: 459000 | #Constraints: 53568
684.78/687.04 c #Conflicts: 460000 | #Constraints: 54568
684.78/687.04 c INPROCESSING
684.78/687.04 c GARBAGE COLLECT
684.78/687.04 c #Conflicts: 461000 | #Constraints: 42171
684.78/687.04 c #Conflicts: 462000 | #Constraints: 43171
684.78/687.04 c #Conflicts: 463000 | #Constraints: 44171
684.78/687.04 c #Conflicts: 464000 | #Constraints: 45171
684.78/687.04 c #Conflicts: 465000 | #Constraints: 46171
684.78/687.04 c #Conflicts: 466000 | #Constraints: 47171
684.78/687.04 c #Conflicts: 467000 | #Constraints: 48171
684.78/687.04 c #Conflicts: 468000 | #Constraints: 49171
684.78/687.04 c #Conflicts: 469000 | #Constraints: 50171
684.78/687.04 c #Conflicts: 470000 | #Constraints: 51171
684.78/687.04 c #Conflicts: 471000 | #Constraints: 52171
684.78/687.04 c #Conflicts: 472000 | #Constraints: 53171
684.78/687.04 c #Conflicts: 473000 | #Constraints: 54171
684.78/687.04 c #Conflicts: 474000 | #Constraints: 55171
684.78/687.04 c INPROCESSING
684.78/687.04 c GARBAGE COLLECT
684.78/687.04 c #Conflicts: 475000 | #Constraints: 42570
684.78/687.04 c #Conflicts: 476000 | #Constraints: 43570
684.78/687.04 c #Conflicts: 477000 | #Constraints: 44570
684.78/687.04 c #Conflicts: 478000 | #Constraints: 45570
684.78/687.04 c #Conflicts: 479000 | #Constraints: 46570
684.78/687.04 c #Conflicts: 480000 | #Constraints: 47570
684.78/687.04 c #Conflicts: 481000 | #Constraints: 48570
684.78/687.04 c #Conflicts: 482000 | #Constraints: 49570
684.78/687.04 c #Conflicts: 483000 | #Constraints: 50570
684.78/687.04 c #Conflicts: 484000 | #Constraints: 51570
684.78/687.04 c #Conflicts: 485000 | #Constraints: 52570
684.78/687.04 c #Conflicts: 486000 | #Constraints: 53570
684.78/687.04 c #Conflicts: 487000 | #Constraints: 54570
684.78/687.04 c #Conflicts: 488000 | #Constraints: 55570
684.78/687.04 c INPROCESSING
684.78/687.04 c GARBAGE COLLECT
684.78/687.04 c #Conflicts: 489000 | #Constraints: 42769
684.78/687.04 c #Conflicts: 490000 | #Constraints: 43769
684.78/687.04 c #Conflicts: 491000 | #Constraints: 44769
684.78/687.04 c #Conflicts: 492000 | #Constraints: 45769
684.78/687.04 c #Conflicts: 493000 | #Constraints: 46769
684.78/687.04 c #Conflicts: 494000 | #Constraints: 47769
684.78/687.04 c #Conflicts: 495000 | #Constraints: 48769
684.78/687.04 c #Conflicts: 496000 | #Constraints: 49769
684.78/687.04 c #Conflicts: 497000 | #Constraints: 50769
684.78/687.04 c #Conflicts: 498000 | #Constraints: 51769
684.78/687.04 c #Conflicts: 499000 | #Constraints: 52769
684.78/687.04 c #Conflicts: 500000 | #Constraints: 53769
684.78/687.04 c #Conflicts: 501000 | #Constraints: 54769
684.78/687.04 c #Conflicts: 502000 | #Constraints: 55769
684.78/687.04 c INPROCESSING
684.78/687.04 c GARBAGE COLLECT
684.78/687.04 c #Conflicts: 503000 | #Constraints: 42768
684.78/687.04 c #Conflicts: 504000 | #Constraints: 43768
684.78/687.04 c #Conflicts: 505000 | #Constraints: 44768
684.78/687.04 c #Conflicts: 506000 | #Constraints: 45768
776.58/779.11 c #Conflicts: 507000 | #Constraints: 46768
776.58/779.11 c #Conflicts: 508000 | #Constraints: 47768
776.58/779.11 c #Conflicts: 509000 | #Constraints: 48768
776.58/779.11 c #Conflicts: 510000 | #Constraints: 49768
776.58/779.11 c #Conflicts: 511000 | #Constraints: 50768
776.58/779.11 c #Conflicts: 512000 | #Constraints: 51768
776.58/779.11 c #Conflicts: 513000 | #Constraints: 52768
776.58/779.11 c #Conflicts: 514000 | #Constraints: 53768
776.58/779.11 c #Conflicts: 515000 | #Constraints: 54768
776.58/779.11 c #Conflicts: 516000 | #Constraints: 55768
776.58/779.11 c INPROCESSING
776.58/779.11 c GARBAGE COLLECT
776.58/779.11 c #Conflicts: 517000 | #Constraints: 42568
776.58/779.11 c #Conflicts: 518000 | #Constraints: 43568
776.58/779.11 c #Conflicts: 519000 | #Constraints: 44568
776.58/779.11 c #Conflicts: 520000 | #Constraints: 45568
776.58/779.11 c #Conflicts: 521000 | #Constraints: 46568
776.58/779.11 c #Conflicts: 522000 | #Constraints: 47568
776.58/779.11 c #Conflicts: 523000 | #Constraints: 48568
776.58/779.11 c #Conflicts: 524000 | #Constraints: 49568
776.58/779.11 c #Conflicts: 525000 | #Constraints: 50568
776.58/779.11 c #Conflicts: 526000 | #Constraints: 51568
776.58/779.11 c #Conflicts: 527000 | #Constraints: 52568
776.58/779.11 c #Conflicts: 528000 | #Constraints: 53568
776.58/779.11 c #Conflicts: 529000 | #Constraints: 54568
776.58/779.11 c #Conflicts: 530000 | #Constraints: 55568
776.58/779.11 c #Conflicts: 531000 | #Constraints: 56568
776.58/779.11 c INPROCESSING
776.58/779.11 c GARBAGE COLLECT
776.58/779.11 c #Conflicts: 532000 | #Constraints: 43167
776.58/779.11 c #Conflicts: 533000 | #Constraints: 44167
776.58/779.11 c #Conflicts: 534000 | #Constraints: 45167
776.58/779.11 c #Conflicts: 535000 | #Constraints: 46167
776.58/779.11 c #Conflicts: 536000 | #Constraints: 47167
776.58/779.11 c #Conflicts: 537000 | #Constraints: 48167
776.58/779.11 c #Conflicts: 538000 | #Constraints: 49167
776.58/779.11 c #Conflicts: 539000 | #Constraints: 50167
776.58/779.11 c #Conflicts: 540000 | #Constraints: 51167
776.58/779.11 c #Conflicts: 541000 | #Constraints: 52167
776.58/779.11 c #Conflicts: 542000 | #Constraints: 53167
776.58/779.11 c #Conflicts: 543000 | #Constraints: 54167
776.58/779.11 c #Conflicts: 544000 | #Constraints: 55167
776.58/779.11 c #Conflicts: 545000 | #Constraints: 56167
776.58/779.11 c #Conflicts: 546000 | #Constraints: 57167
776.58/779.11 c INPROCESSING
776.58/779.11 c GARBAGE COLLECT
776.58/779.11 c #Conflicts: 547000 | #Constraints: 43567
776.58/779.11 c #Conflicts: 548000 | #Constraints: 44567
776.58/779.11 c #Conflicts: 549000 | #Constraints: 45567
776.58/779.11 c #Conflicts: 550000 | #Constraints: 46567
776.58/779.11 c #Conflicts: 551000 | #Constraints: 47567
776.58/779.11 c #Conflicts: 552000 | #Constraints: 48567
776.58/779.11 c #Conflicts: 553000 | #Constraints: 49567
776.58/779.11 c #Conflicts: 554000 | #Constraints: 50567
776.58/779.11 c #Conflicts: 555000 | #Constraints: 51567
776.58/779.11 c #Conflicts: 556000 | #Constraints: 52567
776.58/779.11 c #Conflicts: 557000 | #Constraints: 53567
776.58/779.11 c #Conflicts: 558000 | #Constraints: 54567
776.58/779.11 c #Conflicts: 559000 | #Constraints: 55567
776.58/779.11 c #Conflicts: 560000 | #Constraints: 56567
776.58/779.11 c #Conflicts: 561000 | #Constraints: 57567
776.58/779.11 c INPROCESSING
776.58/779.11 c GARBAGE COLLECT
776.58/779.11 c #Conflicts: 562000 | #Constraints: 43767
776.58/779.11 c #Conflicts: 563000 | #Constraints: 44767
776.58/779.11 c #Conflicts: 564000 | #Constraints: 45767
776.58/779.11 c #Conflicts: 565000 | #Constraints: 46767
776.58/779.11 c #Conflicts: 566000 | #Constraints: 47767
776.58/779.11 c #Conflicts: 567000 | #Constraints: 48767
776.58/779.11 c #Conflicts: 568000 | #Constraints: 49767
776.58/779.11 c #Conflicts: 569000 | #Constraints: 50767
776.58/779.11 c #Conflicts: 570000 | #Constraints: 51767
776.58/779.11 c #Conflicts: 571000 | #Constraints: 52767
776.58/779.11 c #Conflicts: 572000 | #Constraints: 53767
776.58/779.11 c #Conflicts: 573000 | #Constraints: 54767
776.58/779.11 c #Conflicts: 574000 | #Constraints: 55767
776.58/779.11 c #Conflicts: 575000 | #Constraints: 56767
776.58/779.11 c #Conflicts: 576000 | #Constraints: 57767
776.58/779.11 c INPROCESSING
776.58/779.11 c GARBAGE COLLECT
776.58/779.11 c #Conflicts: 577000 | #Constraints: 43768
776.58/779.11 c #Conflicts: 578000 | #Constraints: 44768
776.58/779.11 c #Conflicts: 579000 | #Constraints: 45768
776.58/779.11 c #Conflicts: 580000 | #Constraints: 46768
776.58/779.11 c #Conflicts: 581000 | #Constraints: 47768
872.37/875.29 c #Conflicts: 582000 | #Constraints: 48768
872.37/875.29 c #Conflicts: 583000 | #Constraints: 49768
872.37/875.29 c #Conflicts: 584000 | #Constraints: 50768
872.37/875.29 c #Conflicts: 585000 | #Constraints: 51768
872.37/875.29 c #Conflicts: 586000 | #Constraints: 52768
872.37/875.29 c #Conflicts: 587000 | #Constraints: 53768
872.37/875.29 c #Conflicts: 588000 | #Constraints: 54768
872.37/875.29 c #Conflicts: 589000 | #Constraints: 55768
872.37/875.29 c #Conflicts: 590000 | #Constraints: 56768
872.37/875.29 c #Conflicts: 591000 | #Constraints: 57768
872.37/875.29 c INPROCESSING
872.37/875.29 c GARBAGE COLLECT
872.37/875.29 c #Conflicts: 592000 | #Constraints: 43569
872.37/875.29 c #Conflicts: 593000 | #Constraints: 44569
872.37/875.29 c #Conflicts: 594000 | #Constraints: 45569
872.37/875.29 c #Conflicts: 595000 | #Constraints: 46569
872.37/875.29 c #Conflicts: 596000 | #Constraints: 47569
872.37/875.29 c #Conflicts: 597000 | #Constraints: 48569
872.37/875.29 c #Conflicts: 598000 | #Constraints: 49569
872.37/875.29 c #Conflicts: 599000 | #Constraints: 50569
872.37/875.29 c #Conflicts: 600000 | #Constraints: 51569
872.37/875.29 c #Conflicts: 601000 | #Constraints: 52569
872.37/875.29 c #Conflicts: 602000 | #Constraints: 53569
872.37/875.29 c #Conflicts: 603000 | #Constraints: 54569
872.37/875.29 c #Conflicts: 604000 | #Constraints: 55569
872.37/875.29 c #Conflicts: 605000 | #Constraints: 56569
872.37/875.29 c #Conflicts: 606000 | #Constraints: 57569
872.37/875.29 c #Conflicts: 607000 | #Constraints: 58569
872.37/875.29 c INPROCESSING
872.37/875.29 c GARBAGE COLLECT
872.37/875.29 c #Conflicts: 608000 | #Constraints: 44167
872.37/875.29 c #Conflicts: 609000 | #Constraints: 45167
872.37/875.29 c #Conflicts: 610000 | #Constraints: 46167
872.37/875.29 c #Conflicts: 611000 | #Constraints: 47167
872.37/875.29 c #Conflicts: 612000 | #Constraints: 48167
872.37/875.29 c #Conflicts: 613000 | #Constraints: 49167
872.37/875.29 c #Conflicts: 614000 | #Constraints: 50167
872.37/875.29 c #Conflicts: 615000 | #Constraints: 51167
872.37/875.29 c #Conflicts: 616000 | #Constraints: 52167
872.37/875.29 c #Conflicts: 617000 | #Constraints: 53167
872.37/875.29 c #Conflicts: 618000 | #Constraints: 54167
872.37/875.29 c #Conflicts: 619000 | #Constraints: 55167
872.37/875.29 c #Conflicts: 620000 | #Constraints: 56167
872.37/875.29 c #Conflicts: 621000 | #Constraints: 57167
872.37/875.29 c #Conflicts: 622000 | #Constraints: 58167
872.37/875.29 c #Conflicts: 623000 | #Constraints: 59167
872.37/875.29 c INPROCESSING
872.37/875.29 c GARBAGE COLLECT
872.37/875.29 c #Conflicts: 624000 | #Constraints: 44566
872.37/875.29 c #Conflicts: 625000 | #Constraints: 45566
872.37/875.29 c #Conflicts: 626000 | #Constraints: 46566
872.37/875.29 c #Conflicts: 627000 | #Constraints: 47566
872.37/875.29 c #Conflicts: 628000 | #Constraints: 48566
872.37/875.29 c #Conflicts: 629000 | #Constraints: 49566
872.37/875.29 c #Conflicts: 630000 | #Constraints: 50566
872.37/875.29 c #Conflicts: 631000 | #Constraints: 51566
872.37/875.29 c #Conflicts: 632000 | #Constraints: 52566
872.37/875.29 c #Conflicts: 633000 | #Constraints: 53566
872.37/875.29 c #Conflicts: 634000 | #Constraints: 54566
872.37/875.29 c #Conflicts: 635000 | #Constraints: 55566
872.37/875.29 c #Conflicts: 636000 | #Constraints: 56566
872.37/875.29 c #Conflicts: 637000 | #Constraints: 57566
872.37/875.29 c #Conflicts: 638000 | #Constraints: 58566
872.37/875.29 c #Conflicts: 639000 | #Constraints: 59566
872.37/875.29 c INPROCESSING
872.37/875.29 c GARBAGE COLLECT
872.37/875.29 c #Conflicts: 640000 | #Constraints: 44767
872.37/875.29 c #Conflicts: 641000 | #Constraints: 45767
872.37/875.29 c #Conflicts: 642000 | #Constraints: 46767
872.37/875.29 c #Conflicts: 643000 | #Constraints: 47767
872.37/875.29 c #Conflicts: 644000 | #Constraints: 48767
872.37/875.29 c #Conflicts: 645000 | #Constraints: 49767
872.37/875.29 c #Conflicts: 646000 | #Constraints: 50767
872.37/875.29 c #Conflicts: 647000 | #Constraints: 51767
872.37/875.29 c #Conflicts: 648000 | #Constraints: 52767
872.37/875.29 c #Conflicts: 649000 | #Constraints: 53767
872.37/875.29 c #Conflicts: 650000 | #Constraints: 54767
872.37/875.29 c #Conflicts: 651000 | #Constraints: 55767
872.37/875.29 c #Conflicts: 652000 | #Constraints: 56767
872.37/875.29 c #Conflicts: 653000 | #Constraints: 57767
872.37/875.29 c #Conflicts: 654000 | #Constraints: 58767
872.37/875.29 c #Conflicts: 655000 | #Constraints: 59767
872.37/875.29 c INPROCESSING
872.37/875.29 c GARBAGE COLLECT
872.37/875.29 c #Conflicts: 656000 | #Constraints: 44767
872.37/875.29 c #Conflicts: 657000 | #Constraints: 45767
975.44/978.68 c #Conflicts: 658000 | #Constraints: 46767
975.44/978.68 c #Conflicts: 659000 | #Constraints: 47767
975.44/978.68 c #Conflicts: 660000 | #Constraints: 48767
975.44/978.68 c #Conflicts: 661000 | #Constraints: 49767
975.44/978.68 c #Conflicts: 662000 | #Constraints: 50767
975.44/978.68 c #Conflicts: 663000 | #Constraints: 51767
975.44/978.68 c #Conflicts: 664000 | #Constraints: 52767
975.44/978.68 c #Conflicts: 665000 | #Constraints: 53767
975.44/978.68 c #Conflicts: 666000 | #Constraints: 54767
975.44/978.68 c #Conflicts: 667000 | #Constraints: 55767
975.44/978.68 c #Conflicts: 668000 | #Constraints: 56767
975.44/978.68 c #Conflicts: 669000 | #Constraints: 57767
975.44/978.68 c #Conflicts: 670000 | #Constraints: 58767
975.44/978.68 c #Conflicts: 671000 | #Constraints: 59767
975.44/978.68 c INPROCESSING
975.44/978.68 c GARBAGE COLLECT
975.44/978.68 c #Conflicts: 672000 | #Constraints: 44565
975.44/978.68 c #Conflicts: 673000 | #Constraints: 45565
975.44/978.68 c #Conflicts: 674000 | #Constraints: 46565
975.44/978.68 c #Conflicts: 675000 | #Constraints: 47565
975.44/978.68 c #Conflicts: 676000 | #Constraints: 48565
975.44/978.68 c #Conflicts: 677000 | #Constraints: 49565
975.44/978.68 c #Conflicts: 678000 | #Constraints: 50565
975.44/978.68 c #Conflicts: 679000 | #Constraints: 51565
975.44/978.68 c #Conflicts: 680000 | #Constraints: 52565
975.44/978.68 c #Conflicts: 681000 | #Constraints: 53565
975.44/978.68 c #Conflicts: 682000 | #Constraints: 54565
975.44/978.68 c #Conflicts: 683000 | #Constraints: 55565
975.44/978.68 c #Conflicts: 684000 | #Constraints: 56565
975.44/978.68 c #Conflicts: 685000 | #Constraints: 57565
975.44/978.68 c #Conflicts: 686000 | #Constraints: 58565
975.44/978.68 c #Conflicts: 687000 | #Constraints: 59565
975.44/978.68 c #Conflicts: 688000 | #Constraints: 60565
975.44/978.68 c INPROCESSING
975.44/978.68 c GARBAGE COLLECT
975.44/978.68 c #Conflicts: 689000 | #Constraints: 45167
975.44/978.68 c #Conflicts: 690000 | #Constraints: 46167
975.44/978.68 c #Conflicts: 691000 | #Constraints: 47167
975.44/978.68 c #Conflicts: 692000 | #Constraints: 48167
975.44/978.68 c #Conflicts: 693000 | #Constraints: 49167
975.44/978.68 c #Conflicts: 694000 | #Constraints: 50167
975.44/978.68 c #Conflicts: 695000 | #Constraints: 51167
975.44/978.68 c #Conflicts: 696000 | #Constraints: 52167
975.44/978.68 c #Conflicts: 697000 | #Constraints: 53167
975.44/978.68 c #Conflicts: 698000 | #Constraints: 54167
975.44/978.68 c #Conflicts: 699000 | #Constraints: 55167
975.44/978.68 c #Conflicts: 700000 | #Constraints: 56167
975.44/978.68 c #Conflicts: 701000 | #Constraints: 57167
975.44/978.68 c #Conflicts: 702000 | #Constraints: 58167
975.44/978.68 c #Conflicts: 703000 | #Constraints: 59167
975.44/978.68 c #Conflicts: 704000 | #Constraints: 60167
975.44/978.68 c #Conflicts: 705000 | #Constraints: 61167
975.44/978.68 c INPROCESSING
975.44/978.68 c GARBAGE COLLECT
975.44/978.68 c #Conflicts: 706000 | #Constraints: 45571
975.44/978.68 c #Conflicts: 707000 | #Constraints: 46571
975.44/978.68 c #Conflicts: 708000 | #Constraints: 47571
975.44/978.68 c #Conflicts: 709000 | #Constraints: 48571
975.44/978.68 c #Conflicts: 710000 | #Constraints: 49571
975.44/978.68 c #Conflicts: 711000 | #Constraints: 50571
975.44/978.68 c #Conflicts: 712000 | #Constraints: 51571
975.44/978.68 c #Conflicts: 713000 | #Constraints: 52571
975.44/978.68 c #Conflicts: 714000 | #Constraints: 53571
975.44/978.68 c #Conflicts: 715000 | #Constraints: 54571
975.44/978.68 c #Conflicts: 716000 | #Constraints: 55571
975.44/978.68 c #Conflicts: 717000 | #Constraints: 56571
975.44/978.68 c #Conflicts: 718000 | #Constraints: 57571
975.44/978.68 c #Conflicts: 719000 | #Constraints: 58571
975.44/978.68 c #Conflicts: 720000 | #Constraints: 59571
975.44/978.68 c #Conflicts: 721000 | #Constraints: 60571
975.44/978.68 c #Conflicts: 722000 | #Constraints: 61571
975.44/978.68 c INPROCESSING
975.44/978.68 c GARBAGE COLLECT
975.44/978.68 c #Conflicts: 723000 | #Constraints: 45770
975.44/978.68 c #Conflicts: 724000 | #Constraints: 46770
975.44/978.68 c #Conflicts: 725000 | #Constraints: 47770
975.44/978.68 c #Conflicts: 726000 | #Constraints: 48770
975.44/978.68 c #Conflicts: 727000 | #Constraints: 49770
975.44/978.68 c #Conflicts: 728000 | #Constraints: 50770
975.44/978.68 c #Conflicts: 729000 | #Constraints: 51770
975.44/978.68 c #Conflicts: 730000 | #Constraints: 52770
975.44/978.68 c #Conflicts: 731000 | #Constraints: 53770
975.44/978.68 c #Conflicts: 732000 | #Constraints: 54770
975.44/978.68 c #Conflicts: 733000 | #Constraints: 55770
1111.59/1115.24 c #Conflicts: 734000 | #Constraints: 56770
1111.59/1115.24 c #Conflicts: 735000 | #Constraints: 57770
1111.59/1115.24 c #Conflicts: 736000 | #Constraints: 58770
1111.59/1115.24 c #Conflicts: 737000 | #Constraints: 59770
1111.59/1115.24 c #Conflicts: 738000 | #Constraints: 60770
1111.59/1115.24 c #Conflicts: 739000 | #Constraints: 61770
1111.59/1115.24 c INPROCESSING
1111.59/1115.24 c GARBAGE COLLECT
1111.59/1115.24 c #Conflicts: 740000 | #Constraints: 45767
1111.59/1115.24 c #Conflicts: 741000 | #Constraints: 46767
1111.59/1115.24 c #Conflicts: 742000 | #Constraints: 47767
1111.59/1115.24 c #Conflicts: 743000 | #Constraints: 48767
1111.59/1115.24 c #Conflicts: 744000 | #Constraints: 49767
1111.59/1115.24 c #Conflicts: 745000 | #Constraints: 50767
1111.59/1115.24 c #Conflicts: 746000 | #Constraints: 51767
1111.59/1115.24 c #Conflicts: 747000 | #Constraints: 52767
1111.59/1115.24 c #Conflicts: 748000 | #Constraints: 53767
1111.59/1115.24 c #Conflicts: 749000 | #Constraints: 54767
1111.59/1115.24 c #Conflicts: 750000 | #Constraints: 55767
1111.59/1115.24 c #Conflicts: 751000 | #Constraints: 56767
1111.59/1115.24 c #Conflicts: 752000 | #Constraints: 57767
1111.59/1115.24 c #Conflicts: 753000 | #Constraints: 58767
1111.59/1115.24 c #Conflicts: 754000 | #Constraints: 59767
1111.59/1115.24 c #Conflicts: 755000 | #Constraints: 60767
1111.59/1115.24 c #Conflicts: 756000 | #Constraints: 61767
1111.59/1115.24 c INPROCESSING
1111.59/1115.24 c GARBAGE COLLECT
1111.59/1115.24 c #Conflicts: 757000 | #Constraints: 45563
1111.59/1115.24 c #Conflicts: 758000 | #Constraints: 46563
1111.59/1115.24 c #Conflicts: 759000 | #Constraints: 47563
1111.59/1115.24 c #Conflicts: 760000 | #Constraints: 48563
1111.59/1115.24 c #Conflicts: 761000 | #Constraints: 49563
1111.59/1115.24 c #Conflicts: 762000 | #Constraints: 50563
1111.59/1115.24 c #Conflicts: 763000 | #Constraints: 51563
1111.59/1115.24 c #Conflicts: 764000 | #Constraints: 52563
1111.59/1115.24 c #Conflicts: 765000 | #Constraints: 53563
1111.59/1115.24 c #Conflicts: 766000 | #Constraints: 54563
1111.59/1115.24 c #Conflicts: 767000 | #Constraints: 55563
1111.59/1115.24 c #Conflicts: 768000 | #Constraints: 56563
1111.59/1115.24 c #Conflicts: 769000 | #Constraints: 57563
1111.59/1115.24 c #Conflicts: 770000 | #Constraints: 58563
1111.59/1115.24 c #Conflicts: 771000 | #Constraints: 59563
1111.59/1115.24 c #Conflicts: 772000 | #Constraints: 60563
1111.59/1115.24 c #Conflicts: 773000 | #Constraints: 61563
1111.59/1115.24 c #Conflicts: 774000 | #Constraints: 62563
1111.59/1115.24 c INPROCESSING
1111.59/1115.24 c GARBAGE COLLECT
1111.59/1115.24 c #Conflicts: 775000 | #Constraints: 46163
1111.59/1115.24 c #Conflicts: 776000 | #Constraints: 47163
1111.59/1115.24 c #Conflicts: 777000 | #Constraints: 48163
1111.59/1115.24 c #Conflicts: 778000 | #Constraints: 49163
1111.59/1115.24 c #Conflicts: 779000 | #Constraints: 50163
1111.59/1115.24 c #Conflicts: 780000 | #Constraints: 51163
1111.59/1115.24 c #Conflicts: 781000 | #Constraints: 52163
1111.59/1115.24 c #Conflicts: 782000 | #Constraints: 53163
1111.59/1115.24 c #Conflicts: 783000 | #Constraints: 54163
1111.59/1115.24 c #Conflicts: 784000 | #Constraints: 55163
1111.59/1115.24 c #Conflicts: 785000 | #Constraints: 56163
1111.59/1115.24 c #Conflicts: 786000 | #Constraints: 57163
1111.59/1115.24 c #Conflicts: 787000 | #Constraints: 58163
1111.59/1115.24 c #Conflicts: 788000 | #Constraints: 59163
1111.59/1115.24 c #Conflicts: 789000 | #Constraints: 60163
1111.59/1115.24 c #Conflicts: 790000 | #Constraints: 61163
1111.59/1115.24 c #Conflicts: 791000 | #Constraints: 62163
1111.59/1115.24 c #Conflicts: 792000 | #Constraints: 63163
1111.59/1115.24 c INPROCESSING
1111.59/1115.24 c GARBAGE COLLECT
1111.59/1115.24 c #Conflicts: 793000 | #Constraints: 46563
1111.59/1115.24 c #Conflicts: 794000 | #Constraints: 47563
1111.59/1115.24 c #Conflicts: 795000 | #Constraints: 48563
1111.59/1115.24 c #Conflicts: 796000 | #Constraints: 49563
1111.59/1115.24 c #Conflicts: 797000 | #Constraints: 50563
1111.59/1115.24 c #Conflicts: 798000 | #Constraints: 51563
1111.59/1115.24 c #Conflicts: 799000 | #Constraints: 52563
1111.59/1115.24 c #Conflicts: 800000 | #Constraints: 53563
1111.59/1115.24 c #Conflicts: 801000 | #Constraints: 54563
1111.59/1115.24 c #Conflicts: 802000 | #Constraints: 55563
1111.59/1115.24 c #Conflicts: 803000 | #Constraints: 56563
1111.59/1115.24 c #Conflicts: 804000 | #Constraints: 57563
1111.59/1115.24 c #Conflicts: 805000 | #Constraints: 58563
1111.59/1115.24 c #Conflicts: 806000 | #Constraints: 59563
1111.59/1115.24 c #Conflicts: 807000 | #Constraints: 60563
1111.59/1115.24 c #Conflicts: 808000 | #Constraints: 61563
1111.59/1115.24 c #Conflicts: 809000 | #Constraints: 62563
1262.68/1266.87 c #Conflicts: 810000 | #Constraints: 63563
1262.68/1266.87 c INPROCESSING
1262.68/1266.87 c GARBAGE COLLECT
1262.68/1266.87 c #Conflicts: 811000 | #Constraints: 46766
1262.68/1266.87 c #Conflicts: 812000 | #Constraints: 47766
1262.68/1266.87 c #Conflicts: 813000 | #Constraints: 48766
1262.68/1266.87 c #Conflicts: 814000 | #Constraints: 49766
1262.68/1266.87 c #Conflicts: 815000 | #Constraints: 50766
1262.68/1266.87 c #Conflicts: 816000 | #Constraints: 51766
1262.68/1266.87 c #Conflicts: 817000 | #Constraints: 52766
1262.68/1266.87 c #Conflicts: 818000 | #Constraints: 53766
1262.68/1266.87 c #Conflicts: 819000 | #Constraints: 54766
1262.68/1266.87 c #Conflicts: 820000 | #Constraints: 55766
1262.68/1266.87 c #Conflicts: 821000 | #Constraints: 56766
1262.68/1266.87 c #Conflicts: 822000 | #Constraints: 57766
1262.68/1266.87 c #Conflicts: 823000 | #Constraints: 58766
1262.68/1266.87 c #Conflicts: 824000 | #Constraints: 59766
1262.68/1266.87 c #Conflicts: 825000 | #Constraints: 60766
1262.68/1266.87 c #Conflicts: 826000 | #Constraints: 61766
1262.68/1266.87 c #Conflicts: 827000 | #Constraints: 62766
1262.68/1266.87 c #Conflicts: 828000 | #Constraints: 63766
1262.68/1266.87 c INPROCESSING
1262.68/1266.87 c GARBAGE COLLECT
1262.68/1266.87 c #Conflicts: 829000 | #Constraints: 46766
1262.68/1266.87 c #Conflicts: 830000 | #Constraints: 47766
1262.68/1266.87 c #Conflicts: 831000 | #Constraints: 48766
1262.68/1266.87 c #Conflicts: 832000 | #Constraints: 49766
1262.68/1266.87 c #Conflicts: 833000 | #Constraints: 50766
1262.68/1266.87 c #Conflicts: 834000 | #Constraints: 51766
1262.68/1266.87 c #Conflicts: 835000 | #Constraints: 52766
1262.68/1266.87 c #Conflicts: 836000 | #Constraints: 53766
1262.68/1266.87 c #Conflicts: 837000 | #Constraints: 54766
1262.68/1266.87 c #Conflicts: 838000 | #Constraints: 55766
1262.68/1266.87 c #Conflicts: 839000 | #Constraints: 56766
1262.68/1266.87 c #Conflicts: 840000 | #Constraints: 57766
1262.68/1266.87 c #Conflicts: 841000 | #Constraints: 58766
1262.68/1266.87 c #Conflicts: 842000 | #Constraints: 59766
1262.68/1266.87 c #Conflicts: 843000 | #Constraints: 60766
1262.68/1266.87 c #Conflicts: 844000 | #Constraints: 61766
1262.68/1266.87 c #Conflicts: 845000 | #Constraints: 62766
1262.68/1266.87 c #Conflicts: 846000 | #Constraints: 63766
1262.68/1266.87 c INPROCESSING
1262.68/1266.87 c GARBAGE COLLECT
1262.68/1266.87 c #Conflicts: 847000 | #Constraints: 46570
1262.68/1266.87 c #Conflicts: 848000 | #Constraints: 47570
1262.68/1266.87 c #Conflicts: 849000 | #Constraints: 48570
1262.68/1266.87 c #Conflicts: 850000 | #Constraints: 49570
1262.68/1266.87 c #Conflicts: 851000 | #Constraints: 50570
1262.68/1266.87 c #Conflicts: 852000 | #Constraints: 51570
1262.68/1266.87 c #Conflicts: 853000 | #Constraints: 52570
1262.68/1266.87 c #Conflicts: 854000 | #Constraints: 53570
1262.68/1266.87 c #Conflicts: 855000 | #Constraints: 54570
1262.68/1266.87 c #Conflicts: 856000 | #Constraints: 55570
1262.68/1266.87 c #Conflicts: 857000 | #Constraints: 56570
1262.68/1266.87 c #Conflicts: 858000 | #Constraints: 57570
1262.68/1266.87 c #Conflicts: 859000 | #Constraints: 58570
1262.68/1266.87 c #Conflicts: 860000 | #Constraints: 59570
1262.68/1266.87 c #Conflicts: 861000 | #Constraints: 60570
1262.68/1266.87 c #Conflicts: 862000 | #Constraints: 61570
1262.68/1266.87 c #Conflicts: 863000 | #Constraints: 62570
1262.68/1266.87 c #Conflicts: 864000 | #Constraints: 63570
1262.68/1266.87 c #Conflicts: 865000 | #Constraints: 64570
1262.68/1266.87 c INPROCESSING
1262.68/1266.87 c GARBAGE COLLECT
1262.68/1266.87 c #Conflicts: 866000 | #Constraints: 47172
1262.68/1266.87 c #Conflicts: 867000 | #Constraints: 48172
1262.68/1266.87 c #Conflicts: 868000 | #Constraints: 49172
1262.68/1266.87 c #Conflicts: 869000 | #Constraints: 50172
1262.68/1266.87 c #Conflicts: 870000 | #Constraints: 51172
1262.68/1266.87 c #Conflicts: 871000 | #Constraints: 52172
1262.68/1266.87 c #Conflicts: 872000 | #Constraints: 53172
1262.68/1266.87 c #Conflicts: 873000 | #Constraints: 54172
1262.68/1266.87 c #Conflicts: 874000 | #Constraints: 55172
1262.68/1266.87 c #Conflicts: 875000 | #Constraints: 56172
1262.68/1266.87 c #Conflicts: 876000 | #Constraints: 57172
1262.68/1266.87 c #Conflicts: 877000 | #Constraints: 58172
1262.68/1266.87 c #Conflicts: 878000 | #Constraints: 59172
1262.68/1266.87 c #Conflicts: 879000 | #Constraints: 60172
1262.68/1266.87 c #Conflicts: 880000 | #Constraints: 61172
1262.68/1266.87 c #Conflicts: 881000 | #Constraints: 62172
1262.68/1266.87 c #Conflicts: 882000 | #Constraints: 63172
1262.68/1266.87 c #Conflicts: 883000 | #Constraints: 64172
1262.68/1266.87 c #Conflicts: 884000 | #Constraints: 65172
1262.68/1266.87 c INPROCESSING
1262.68/1266.87 c GARBAGE COLLECT
1262.68/1266.87 c #Conflicts: 885000 | #Constraints: 47569
1416.66/1421.38 c #Conflicts: 886000 | #Constraints: 48569
1416.66/1421.38 c #Conflicts: 887000 | #Constraints: 49569
1416.66/1421.38 c #Conflicts: 888000 | #Constraints: 50569
1416.66/1421.38 c #Conflicts: 889000 | #Constraints: 51569
1416.66/1421.38 c #Conflicts: 890000 | #Constraints: 52569
1416.66/1421.38 c #Conflicts: 891000 | #Constraints: 53569
1416.66/1421.38 c #Conflicts: 892000 | #Constraints: 54569
1416.66/1421.38 c #Conflicts: 893000 | #Constraints: 55569
1416.66/1421.38 c #Conflicts: 894000 | #Constraints: 56569
1416.66/1421.38 c #Conflicts: 895000 | #Constraints: 57569
1416.66/1421.38 c #Conflicts: 896000 | #Constraints: 58569
1416.66/1421.38 c #Conflicts: 897000 | #Constraints: 59569
1416.66/1421.38 c #Conflicts: 898000 | #Constraints: 60569
1416.66/1421.38 c #Conflicts: 899000 | #Constraints: 61569
1416.66/1421.38 c #Conflicts: 900000 | #Constraints: 62569
1416.66/1421.38 c #Conflicts: 901000 | #Constraints: 63569
1416.66/1421.38 c #Conflicts: 902000 | #Constraints: 64569
1416.66/1421.38 c #Conflicts: 903000 | #Constraints: 65569
1416.66/1421.38 c INPROCESSING
1416.66/1421.38 c GARBAGE COLLECT
1416.66/1421.38 c #Conflicts: 904000 | #Constraints: 47768
1416.66/1421.38 c #Conflicts: 905000 | #Constraints: 48768
1416.66/1421.38 c #Conflicts: 906000 | #Constraints: 49768
1416.66/1421.38 c #Conflicts: 907000 | #Constraints: 50768
1416.66/1421.38 c #Conflicts: 908000 | #Constraints: 51768
1416.66/1421.38 c #Conflicts: 909000 | #Constraints: 52768
1416.66/1421.38 c #Conflicts: 910000 | #Constraints: 53768
1416.66/1421.38 c #Conflicts: 911000 | #Constraints: 54768
1416.66/1421.38 c #Conflicts: 912000 | #Constraints: 55768
1416.66/1421.38 c #Conflicts: 913000 | #Constraints: 56768
1416.66/1421.38 c #Conflicts: 914000 | #Constraints: 57768
1416.66/1421.38 c #Conflicts: 915000 | #Constraints: 58768
1416.66/1421.38 c #Conflicts: 916000 | #Constraints: 59768
1416.66/1421.38 c #Conflicts: 917000 | #Constraints: 60768
1416.66/1421.38 c #Conflicts: 918000 | #Constraints: 61768
1416.66/1421.38 c #Conflicts: 919000 | #Constraints: 62768
1416.66/1421.38 c #Conflicts: 920000 | #Constraints: 63768
1416.66/1421.38 c #Conflicts: 921000 | #Constraints: 64768
1416.66/1421.38 c #Conflicts: 922000 | #Constraints: 65768
1416.66/1421.38 c INPROCESSING
1416.66/1421.38 c GARBAGE COLLECT
1416.66/1421.38 c #Conflicts: 923000 | #Constraints: 47767
1416.66/1421.38 c #Conflicts: 924000 | #Constraints: 48767
1416.66/1421.38 c #Conflicts: 925000 | #Constraints: 49767
1416.66/1421.38 c #Conflicts: 926000 | #Constraints: 50767
1416.66/1421.38 c #Conflicts: 927000 | #Constraints: 51767
1416.66/1421.38 c #Conflicts: 928000 | #Constraints: 52767
1416.66/1421.38 c #Conflicts: 929000 | #Constraints: 53767
1416.66/1421.38 c #Conflicts: 930000 | #Constraints: 54767
1416.66/1421.38 c #Conflicts: 931000 | #Constraints: 55767
1416.66/1421.38 c #Conflicts: 932000 | #Constraints: 56767
1416.66/1421.38 c #Conflicts: 933000 | #Constraints: 57767
1416.66/1421.38 c #Conflicts: 934000 | #Constraints: 58767
1416.66/1421.38 c #Conflicts: 935000 | #Constraints: 59767
1416.66/1421.38 c #Conflicts: 936000 | #Constraints: 60767
1416.66/1421.38 c #Conflicts: 937000 | #Constraints: 61767
1416.66/1421.38 c #Conflicts: 938000 | #Constraints: 62767
1416.66/1421.38 c #Conflicts: 939000 | #Constraints: 63767
1416.66/1421.38 c #Conflicts: 940000 | #Constraints: 64767
1416.66/1421.38 c #Conflicts: 941000 | #Constraints: 65767
1416.66/1421.38 c INPROCESSING
1416.66/1421.38 c GARBAGE COLLECT
1416.66/1421.38 c #Conflicts: 942000 | #Constraints: 47565
1416.66/1421.38 c #Conflicts: 943000 | #Constraints: 48565
1416.66/1421.38 c #Conflicts: 944000 | #Constraints: 49565
1416.66/1421.38 c #Conflicts: 945000 | #Constraints: 50565
1416.66/1421.38 c #Conflicts: 946000 | #Constraints: 51565
1416.66/1421.38 c #Conflicts: 947000 | #Constraints: 52565
1416.66/1421.38 c #Conflicts: 948000 | #Constraints: 53565
1416.66/1421.38 c #Conflicts: 949000 | #Constraints: 54565
1416.66/1421.38 c #Conflicts: 950000 | #Constraints: 55565
1416.66/1421.38 c #Conflicts: 951000 | #Constraints: 56565
1416.66/1421.38 c #Conflicts: 952000 | #Constraints: 57565
1416.66/1421.38 c #Conflicts: 953000 | #Constraints: 58565
1416.66/1421.38 c #Conflicts: 954000 | #Constraints: 59565
1416.66/1421.38 c #Conflicts: 955000 | #Constraints: 60565
1416.66/1421.38 c #Conflicts: 956000 | #Constraints: 61565
1416.66/1421.38 c #Conflicts: 957000 | #Constraints: 62565
1416.66/1421.38 c #Conflicts: 958000 | #Constraints: 63565
1416.66/1421.38 c #Conflicts: 959000 | #Constraints: 64565
1416.66/1421.38 c #Conflicts: 960000 | #Constraints: 65565
1416.66/1421.38 c #Conflicts: 961000 | #Constraints: 66565
1416.66/1421.38 c INPROCESSING
1568.56/1573.75 c GARBAGE COLLECT
1568.56/1573.75 c #Conflicts: 962000 | #Constraints: 48167
1568.56/1573.75 c #Conflicts: 963000 | #Constraints: 49167
1568.56/1573.75 c #Conflicts: 964000 | #Constraints: 50167
1568.56/1573.75 c #Conflicts: 965000 | #Constraints: 51167
1568.56/1573.75 c #Conflicts: 966000 | #Constraints: 52167
1568.56/1573.75 c #Conflicts: 967000 | #Constraints: 53167
1568.56/1573.75 c #Conflicts: 968000 | #Constraints: 54167
1568.56/1573.75 c #Conflicts: 969000 | #Constraints: 55167
1568.56/1573.75 c #Conflicts: 970000 | #Constraints: 56167
1568.56/1573.75 c #Conflicts: 971000 | #Constraints: 57167
1568.56/1573.75 c #Conflicts: 972000 | #Constraints: 58167
1568.56/1573.75 c #Conflicts: 973000 | #Constraints: 59167
1568.56/1573.75 c #Conflicts: 974000 | #Constraints: 60167
1568.56/1573.75 c #Conflicts: 975000 | #Constraints: 61167
1568.56/1573.75 c #Conflicts: 976000 | #Constraints: 62167
1568.56/1573.75 c #Conflicts: 977000 | #Constraints: 63167
1568.56/1573.75 c #Conflicts: 978000 | #Constraints: 64167
1568.56/1573.75 c #Conflicts: 979000 | #Constraints: 65167
1568.56/1573.75 c #Conflicts: 980000 | #Constraints: 66167
1568.56/1573.75 c #Conflicts: 981000 | #Constraints: 67167
1568.56/1573.75 c INPROCESSING
1568.56/1573.75 c GARBAGE COLLECT
1568.56/1573.75 c #Conflicts: 982000 | #Constraints: 48568
1568.56/1573.75 c #Conflicts: 983000 | #Constraints: 49568
1568.56/1573.75 c #Conflicts: 984000 | #Constraints: 50568
1568.56/1573.75 c #Conflicts: 985000 | #Constraints: 51568
1568.56/1573.75 c #Conflicts: 986000 | #Constraints: 52568
1568.56/1573.75 c #Conflicts: 987000 | #Constraints: 53568
1568.56/1573.75 c #Conflicts: 988000 | #Constraints: 54568
1568.56/1573.75 c #Conflicts: 989000 | #Constraints: 55568
1568.56/1573.75 c #Conflicts: 990000 | #Constraints: 56568
1568.56/1573.75 c #Conflicts: 991000 | #Constraints: 57568
1568.56/1573.75 c #Conflicts: 992000 | #Constraints: 58568
1568.56/1573.75 c #Conflicts: 993000 | #Constraints: 59568
1568.56/1573.75 c #Conflicts: 994000 | #Constraints: 60568
1568.56/1573.75 c #Conflicts: 995000 | #Constraints: 61568
1568.56/1573.75 c #Conflicts: 996000 | #Constraints: 62568
1568.56/1573.75 c #Conflicts: 997000 | #Constraints: 63568
1568.56/1573.75 c #Conflicts: 998000 | #Constraints: 64568
1568.56/1573.75 c #Conflicts: 999000 | #Constraints: 65568
1568.56/1573.75 c #Conflicts: 1000000 | #Constraints: 66568
1568.56/1573.75 c #Conflicts: 1001000 | #Constraints: 67568
1568.56/1573.75 c INPROCESSING
1568.56/1573.75 c GARBAGE COLLECT
1568.56/1573.75 c #Conflicts: 1002000 | #Constraints: 48767
1568.56/1573.75 c #Conflicts: 1003000 | #Constraints: 49767
1568.56/1573.75 c #Conflicts: 1004000 | #Constraints: 50767
1568.56/1573.75 c #Conflicts: 1005000 | #Constraints: 51767
1568.56/1573.75 c #Conflicts: 1006000 | #Constraints: 52767
1568.56/1573.75 c #Conflicts: 1007000 | #Constraints: 53767
1568.56/1573.75 c #Conflicts: 1008000 | #Constraints: 54767
1568.56/1573.75 c #Conflicts: 1009000 | #Constraints: 55767
1568.56/1573.75 c #Conflicts: 1010000 | #Constraints: 56767
1568.56/1573.75 c #Conflicts: 1011000 | #Constraints: 57767
1568.56/1573.75 c #Conflicts: 1012000 | #Constraints: 58767
1568.56/1573.75 c #Conflicts: 1013000 | #Constraints: 59767
1568.56/1573.75 c #Conflicts: 1014000 | #Constraints: 60767
1568.56/1573.75 c #Conflicts: 1015000 | #Constraints: 61767
1568.56/1573.75 c #Conflicts: 1016000 | #Constraints: 62767
1568.56/1573.75 c #Conflicts: 1017000 | #Constraints: 63767
1568.56/1573.75 c #Conflicts: 1018000 | #Constraints: 64767
1568.56/1573.75 c #Conflicts: 1019000 | #Constraints: 65767
1568.56/1573.75 c #Conflicts: 1020000 | #Constraints: 66767
1568.56/1573.75 c #Conflicts: 1021000 | #Constraints: 67767
1568.56/1573.75 c INPROCESSING
1568.56/1573.75 c GARBAGE COLLECT
1568.56/1573.75 c #Conflicts: 1022000 | #Constraints: 48770
1568.56/1573.75 c #Conflicts: 1023000 | #Constraints: 49770
1568.56/1573.75 c #Conflicts: 1024000 | #Constraints: 50770
1568.56/1573.75 c #Conflicts: 1025000 | #Constraints: 51770
1568.56/1573.75 c #Conflicts: 1026000 | #Constraints: 52770
1568.56/1573.75 c #Conflicts: 1027000 | #Constraints: 53770
1568.56/1573.75 c #Conflicts: 1028000 | #Constraints: 54770
1568.56/1573.75 c #Conflicts: 1029000 | #Constraints: 55770
1568.56/1573.75 c #Conflicts: 1030000 | #Constraints: 56770
1568.56/1573.75 c #Conflicts: 1031000 | #Constraints: 57770
1568.56/1573.75 c #Conflicts: 1032000 | #Constraints: 58770
1568.56/1573.75 c #Conflicts: 1033000 | #Constraints: 59770
1568.56/1573.75 c #Conflicts: 1034000 | #Constraints: 60770
1568.56/1573.75 c #Conflicts: 1035000 | #Constraints: 61770
1568.56/1573.75 c #Conflicts: 1036000 | #Constraints: 62770
1568.56/1573.75 c #Conflicts: 1037000 | #Constraints: 63770
1568.56/1573.75 c #Conflicts: 1038000 | #Constraints: 64770
1731.82/1737.52 c #Conflicts: 1039000 | #Constraints: 65770
1731.82/1737.52 c #Conflicts: 1040000 | #Constraints: 66770
1731.82/1737.52 c #Conflicts: 1041000 | #Constraints: 67770
1731.82/1737.52 c INPROCESSING
1731.82/1737.52 c GARBAGE COLLECT
1731.82/1737.52 c #Conflicts: 1042000 | #Constraints: 48570
1731.82/1737.52 c #Conflicts: 1043000 | #Constraints: 49570
1731.82/1737.52 c #Conflicts: 1044000 | #Constraints: 50570
1731.82/1737.52 c #Conflicts: 1045000 | #Constraints: 51570
1731.82/1737.52 c #Conflicts: 1046000 | #Constraints: 52570
1731.82/1737.52 c #Conflicts: 1047000 | #Constraints: 53570
1731.82/1737.52 c #Conflicts: 1048000 | #Constraints: 54570
1731.82/1737.52 c #Conflicts: 1049000 | #Constraints: 55570
1731.82/1737.52 c #Conflicts: 1050000 | #Constraints: 56570
1731.82/1737.52 c #Conflicts: 1051000 | #Constraints: 57570
1731.82/1737.52 c #Conflicts: 1052000 | #Constraints: 58570
1731.82/1737.52 c #Conflicts: 1053000 | #Constraints: 59570
1731.82/1737.52 c #Conflicts: 1054000 | #Constraints: 60570
1731.82/1737.52 c #Conflicts: 1055000 | #Constraints: 61570
1731.82/1737.52 c #Conflicts: 1056000 | #Constraints: 62570
1731.82/1737.52 c #Conflicts: 1057000 | #Constraints: 63570
1731.82/1737.52 c #Conflicts: 1058000 | #Constraints: 64570
1731.82/1737.52 c #Conflicts: 1059000 | #Constraints: 65570
1731.82/1737.52 c #Conflicts: 1060000 | #Constraints: 66570
1731.82/1737.52 c #Conflicts: 1061000 | #Constraints: 67570
1731.82/1737.52 c #Conflicts: 1062000 | #Constraints: 68570
1731.82/1737.52 c INPROCESSING
1731.82/1737.52 c GARBAGE COLLECT
1731.82/1737.52 c #Conflicts: 1063000 | #Constraints: 49168
1731.82/1737.52 c #Conflicts: 1064000 | #Constraints: 50168
1731.82/1737.52 c #Conflicts: 1065000 | #Constraints: 51168
1731.82/1737.52 c #Conflicts: 1066000 | #Constraints: 52168
1731.82/1737.52 c #Conflicts: 1067000 | #Constraints: 53168
1731.82/1737.52 c #Conflicts: 1068000 | #Constraints: 54168
1731.82/1737.52 c #Conflicts: 1069000 | #Constraints: 55168
1731.82/1737.52 c #Conflicts: 1070000 | #Constraints: 56168
1731.82/1737.52 c #Conflicts: 1071000 | #Constraints: 57168
1731.82/1737.52 c #Conflicts: 1072000 | #Constraints: 58168
1731.82/1737.52 c #Conflicts: 1073000 | #Constraints: 59168
1731.82/1737.52 c #Conflicts: 1074000 | #Constraints: 60168
1731.82/1737.52 c #Conflicts: 1075000 | #Constraints: 61168
1731.82/1737.52 c #Conflicts: 1076000 | #Constraints: 62168
1731.82/1737.52 c #Conflicts: 1077000 | #Constraints: 63168
1731.82/1737.52 c #Conflicts: 1078000 | #Constraints: 64168
1731.82/1737.52 c #Conflicts: 1079000 | #Constraints: 65168
1731.82/1737.52 c #Conflicts: 1080000 | #Constraints: 66168
1731.82/1737.52 c #Conflicts: 1081000 | #Constraints: 67168
1731.82/1737.52 c #Conflicts: 1082000 | #Constraints: 68168
1731.82/1737.52 c #Conflicts: 1083000 | #Constraints: 69168
1731.82/1737.52 c INPROCESSING
1731.82/1737.52 c GARBAGE COLLECT
1731.82/1737.52 c #Conflicts: 1084000 | #Constraints: 49572
1731.82/1737.52 c #Conflicts: 1085000 | #Constraints: 50572
1731.82/1737.52 c #Conflicts: 1086000 | #Constraints: 51572
1731.82/1737.52 c #Conflicts: 1087000 | #Constraints: 52572
1731.82/1737.52 c #Conflicts: 1088000 | #Constraints: 53572
1731.82/1737.52 c #Conflicts: 1089000 | #Constraints: 54572
1731.82/1737.52 c #Conflicts: 1090000 | #Constraints: 55572
1731.82/1737.52 c #Conflicts: 1091000 | #Constraints: 56572
1731.82/1737.52 c #Conflicts: 1092000 | #Constraints: 57572
1731.82/1737.52 c #Conflicts: 1093000 | #Constraints: 58572
1731.82/1737.52 c #Conflicts: 1094000 | #Constraints: 59572
1731.82/1737.52 c #Conflicts: 1095000 | #Constraints: 60572
1731.82/1737.52 c #Conflicts: 1096000 | #Constraints: 61572
1731.82/1737.52 c #Conflicts: 1097000 | #Constraints: 62572
1731.82/1737.52 c #Conflicts: 1098000 | #Constraints: 63572
1731.82/1737.52 c #Conflicts: 1099000 | #Constraints: 64572
1731.82/1737.52 c #Conflicts: 1100000 | #Constraints: 65572
1731.82/1737.52 c #Conflicts: 1101000 | #Constraints: 66572
1731.82/1737.52 c #Conflicts: 1102000 | #Constraints: 67572
1731.82/1737.52 c #Conflicts: 1103000 | #Constraints: 68572
1731.82/1737.52 c #Conflicts: 1104000 | #Constraints: 69572
1731.82/1737.52 c INPROCESSING
1731.82/1737.52 c GARBAGE COLLECT
1731.82/1737.52 c #Conflicts: 1105000 | #Constraints: 49772
1731.82/1737.52 c #Conflicts: 1106000 | #Constraints: 50772
1731.82/1737.52 c #Conflicts: 1107000 | #Constraints: 51772
1731.82/1737.52 c #Conflicts: 1108000 | #Constraints: 52772
1731.82/1737.52 c #Conflicts: 1109000 | #Constraints: 53772
1731.82/1737.52 c #Conflicts: 1110000 | #Constraints: 54772
1731.82/1737.52 c #Conflicts: 1111000 | #Constraints: 55772
1731.82/1737.52 c #Conflicts: 1112000 | #Constraints: 56772
1731.82/1737.52 c #Conflicts: 1113000 | #Constraints: 57772
1731.82/1737.52 c #Conflicts: 1114000 | #Constraints: 58772
1912.52/1918.80 c #Conflicts: 1115000 | #Constraints: 59772
1912.52/1918.80 c #Conflicts: 1116000 | #Constraints: 60772
1912.52/1918.80 c #Conflicts: 1117000 | #Constraints: 61772
1912.52/1918.80 c #Conflicts: 1118000 | #Constraints: 62772
1912.52/1918.80 c #Conflicts: 1119000 | #Constraints: 63772
1912.52/1918.80 c #Conflicts: 1120000 | #Constraints: 64772
1912.52/1918.80 c #Conflicts: 1121000 | #Constraints: 65772
1912.52/1918.80 c #Conflicts: 1122000 | #Constraints: 66772
1912.52/1918.80 c #Conflicts: 1123000 | #Constraints: 67772
1912.52/1918.80 c #Conflicts: 1124000 | #Constraints: 68772
1912.52/1918.80 c #Conflicts: 1125000 | #Constraints: 69772
1912.52/1918.80 c INPROCESSING
1912.52/1918.80 c GARBAGE COLLECT
1912.52/1918.80 c #Conflicts: 1126000 | #Constraints: 49772
1912.52/1918.80 c #Conflicts: 1127000 | #Constraints: 50772
1912.52/1918.80 c #Conflicts: 1128000 | #Constraints: 51772
1912.52/1918.80 c #Conflicts: 1129000 | #Constraints: 52772
1912.52/1918.80 c #Conflicts: 1130000 | #Constraints: 53772
1912.52/1918.80 c #Conflicts: 1131000 | #Constraints: 54772
1912.52/1918.80 c #Conflicts: 1132000 | #Constraints: 55772
1912.52/1918.80 c #Conflicts: 1133000 | #Constraints: 56772
1912.52/1918.80 c #Conflicts: 1134000 | #Constraints: 57772
1912.52/1918.80 c #Conflicts: 1135000 | #Constraints: 58772
1912.52/1918.80 c #Conflicts: 1136000 | #Constraints: 59772
1912.52/1918.80 c #Conflicts: 1137000 | #Constraints: 60772
1912.52/1918.80 c #Conflicts: 1138000 | #Constraints: 61772
1912.52/1918.80 c #Conflicts: 1139000 | #Constraints: 62772
1912.52/1918.80 c #Conflicts: 1140000 | #Constraints: 63772
1912.52/1918.80 c #Conflicts: 1141000 | #Constraints: 64772
1912.52/1918.80 c #Conflicts: 1142000 | #Constraints: 65772
1912.52/1918.80 c #Conflicts: 1143000 | #Constraints: 66772
1912.52/1918.80 c #Conflicts: 1144000 | #Constraints: 67772
1912.52/1918.80 c #Conflicts: 1145000 | #Constraints: 68772
1912.52/1918.80 c #Conflicts: 1146000 | #Constraints: 69772
1912.52/1918.80 c INPROCESSING
1912.52/1918.80 c GARBAGE COLLECT
1912.52/1918.80 c #Conflicts: 1147000 | #Constraints: 49568
1912.52/1918.80 c #Conflicts: 1148000 | #Constraints: 50568
1912.52/1918.80 c #Conflicts: 1149000 | #Constraints: 51568
1912.52/1918.80 c #Conflicts: 1150000 | #Constraints: 52568
1912.52/1918.80 c #Conflicts: 1151000 | #Constraints: 53568
1912.52/1918.80 c #Conflicts: 1152000 | #Constraints: 54568
1912.52/1918.80 c #Conflicts: 1153000 | #Constraints: 55568
1912.52/1918.80 c #Conflicts: 1154000 | #Constraints: 56568
1912.52/1918.80 c #Conflicts: 1155000 | #Constraints: 57568
1912.52/1918.80 c #Conflicts: 1156000 | #Constraints: 58568
1912.52/1918.80 c #Conflicts: 1157000 | #Constraints: 59568
1912.52/1918.80 c #Conflicts: 1158000 | #Constraints: 60568
1912.52/1918.80 c #Conflicts: 1159000 | #Constraints: 61568
1912.52/1918.80 c #Conflicts: 1160000 | #Constraints: 62568
1912.52/1918.80 c #Conflicts: 1161000 | #Constraints: 63568
1912.52/1918.80 c #Conflicts: 1162000 | #Constraints: 64568
1912.52/1918.80 c #Conflicts: 1163000 | #Constraints: 65568
1912.52/1918.80 c #Conflicts: 1164000 | #Constraints: 66568
1912.52/1918.80 c #Conflicts: 1165000 | #Constraints: 67568
1912.52/1918.80 c #Conflicts: 1166000 | #Constraints: 68568
1912.52/1918.80 c #Conflicts: 1167000 | #Constraints: 69568
1912.52/1918.80 c #Conflicts: 1168000 | #Constraints: 70568
1912.52/1918.80 c INPROCESSING
1912.52/1918.80 c GARBAGE COLLECT
1912.52/1918.80 c #Conflicts: 1169000 | #Constraints: 50166
1912.52/1918.80 c #Conflicts: 1170000 | #Constraints: 51166
1912.52/1918.80 c #Conflicts: 1171000 | #Constraints: 52166
1912.52/1918.80 c #Conflicts: 1172000 | #Constraints: 53166
1912.52/1918.80 c #Conflicts: 1173000 | #Constraints: 54166
1912.52/1918.80 c #Conflicts: 1174000 | #Constraints: 55166
1912.52/1918.80 c #Conflicts: 1175000 | #Constraints: 56166
1912.52/1918.80 c #Conflicts: 1176000 | #Constraints: 57166
1912.52/1918.80 c #Conflicts: 1177000 | #Constraints: 58166
1912.52/1918.80 c #Conflicts: 1178000 | #Constraints: 59166
1912.52/1918.80 c #Conflicts: 1179000 | #Constraints: 60166
1912.52/1918.80 c #Conflicts: 1180000 | #Constraints: 61166
1912.52/1918.80 c #Conflicts: 1181000 | #Constraints: 62166
1912.52/1918.80 c #Conflicts: 1182000 | #Constraints: 63166
1912.52/1918.80 c #Conflicts: 1183000 | #Constraints: 64166
1912.52/1918.80 c #Conflicts: 1184000 | #Constraints: 65166
1912.52/1918.80 c #Conflicts: 1185000 | #Constraints: 66166
1912.52/1918.80 c #Conflicts: 1186000 | #Constraints: 67166
1912.52/1918.80 c #Conflicts: 1187000 | #Constraints: 68166
1912.52/1918.80 c #Conflicts: 1188000 | #Constraints: 69166
1912.52/1918.80 c #Conflicts: 1189000 | #Constraints: 70166
1912.52/1918.80 c #Conflicts: 1190000 | #Constraints: 71166
1912.52/1918.80 c INPROCESSING
1912.52/1918.80 c GARBAGE COLLECT
2104.39/2111.33 c #Conflicts: 1191000 | #Constraints: 50569
2104.39/2111.33 c #Conflicts: 1192000 | #Constraints: 51569
2104.39/2111.33 c #Conflicts: 1193000 | #Constraints: 52569
2104.39/2111.33 c #Conflicts: 1194000 | #Constraints: 53569
2104.39/2111.33 c #Conflicts: 1195000 | #Constraints: 54569
2104.39/2111.33 c #Conflicts: 1196000 | #Constraints: 55569
2104.39/2111.33 c #Conflicts: 1197000 | #Constraints: 56569
2104.39/2111.33 c #Conflicts: 1198000 | #Constraints: 57569
2104.39/2111.33 c #Conflicts: 1199000 | #Constraints: 58569
2104.39/2111.33 c #Conflicts: 1200000 | #Constraints: 59569
2104.39/2111.33 c #Conflicts: 1201000 | #Constraints: 60569
2104.39/2111.33 c #Conflicts: 1202000 | #Constraints: 61569
2104.39/2111.33 c #Conflicts: 1203000 | #Constraints: 62569
2104.39/2111.33 c #Conflicts: 1204000 | #Constraints: 63569
2104.39/2111.33 c #Conflicts: 1205000 | #Constraints: 64569
2104.39/2111.33 c #Conflicts: 1206000 | #Constraints: 65569
2104.39/2111.33 c #Conflicts: 1207000 | #Constraints: 66569
2104.39/2111.33 c #Conflicts: 1208000 | #Constraints: 67569
2104.39/2111.33 c #Conflicts: 1209000 | #Constraints: 68569
2104.39/2111.33 c #Conflicts: 1210000 | #Constraints: 69569
2104.39/2111.33 c #Conflicts: 1211000 | #Constraints: 70569
2104.39/2111.33 c #Conflicts: 1212000 | #Constraints: 71569
2104.39/2111.33 c INPROCESSING
2104.39/2111.33 c GARBAGE COLLECT
2104.39/2111.33 c #Conflicts: 1213000 | #Constraints: 50768
2104.39/2111.33 c #Conflicts: 1214000 | #Constraints: 51768
2104.39/2111.33 c #Conflicts: 1215000 | #Constraints: 52768
2104.39/2111.33 c #Conflicts: 1216000 | #Constraints: 53768
2104.39/2111.33 c #Conflicts: 1217000 | #Constraints: 54768
2104.39/2111.33 c #Conflicts: 1218000 | #Constraints: 55768
2104.39/2111.33 c #Conflicts: 1219000 | #Constraints: 56768
2104.39/2111.33 c #Conflicts: 1220000 | #Constraints: 57768
2104.39/2111.33 c #Conflicts: 1221000 | #Constraints: 58768
2104.39/2111.33 c #Conflicts: 1222000 | #Constraints: 59768
2104.39/2111.33 c #Conflicts: 1223000 | #Constraints: 60768
2104.39/2111.33 c #Conflicts: 1224000 | #Constraints: 61768
2104.39/2111.33 c #Conflicts: 1225000 | #Constraints: 62768
2104.39/2111.33 c #Conflicts: 1226000 | #Constraints: 63768
2104.39/2111.33 c #Conflicts: 1227000 | #Constraints: 64768
2104.39/2111.33 c #Conflicts: 1228000 | #Constraints: 65768
2104.39/2111.33 c #Conflicts: 1229000 | #Constraints: 66768
2104.39/2111.33 c #Conflicts: 1230000 | #Constraints: 67768
2104.39/2111.33 c #Conflicts: 1231000 | #Constraints: 68768
2104.39/2111.33 c #Conflicts: 1232000 | #Constraints: 69768
2104.39/2111.33 c #Conflicts: 1233000 | #Constraints: 70768
2104.39/2111.33 c #Conflicts: 1234000 | #Constraints: 71768
2104.39/2111.33 c INPROCESSING
2104.39/2111.33 c GARBAGE COLLECT
2104.39/2111.33 c #Conflicts: 1235000 | #Constraints: 50766
2104.39/2111.33 c #Conflicts: 1236000 | #Constraints: 51766
2104.39/2111.33 c #Conflicts: 1237000 | #Constraints: 52766
2104.39/2111.33 c #Conflicts: 1238000 | #Constraints: 53766
2104.39/2111.33 c #Conflicts: 1239000 | #Constraints: 54766
2104.39/2111.33 c #Conflicts: 1240000 | #Constraints: 55766
2104.39/2111.33 c #Conflicts: 1241000 | #Constraints: 56766
2104.39/2111.33 c #Conflicts: 1242000 | #Constraints: 57766
2104.39/2111.33 c #Conflicts: 1243000 | #Constraints: 58766
2104.39/2111.33 c #Conflicts: 1244000 | #Constraints: 59766
2104.39/2111.33 c #Conflicts: 1245000 | #Constraints: 60766
2104.39/2111.33 c #Conflicts: 1246000 | #Constraints: 61766
2104.39/2111.33 c #Conflicts: 1247000 | #Constraints: 62766
2104.39/2111.33 c #Conflicts: 1248000 | #Constraints: 63766
2104.39/2111.33 c #Conflicts: 1249000 | #Constraints: 64766
2104.39/2111.33 c #Conflicts: 1250000 | #Constraints: 65766
2104.39/2111.33 c #Conflicts: 1251000 | #Constraints: 66766
2104.39/2111.33 c #Conflicts: 1252000 | #Constraints: 67766
2104.39/2111.33 c #Conflicts: 1253000 | #Constraints: 68766
2104.39/2111.33 c #Conflicts: 1254000 | #Constraints: 69766
2104.39/2111.33 c #Conflicts: 1255000 | #Constraints: 70766
2104.39/2111.33 c #Conflicts: 1256000 | #Constraints: 71766
2104.39/2111.33 c INPROCESSING
2104.39/2111.33 c GARBAGE COLLECT
2104.39/2111.33 c #Conflicts: 1257000 | #Constraints: 50567
2104.39/2111.33 c #Conflicts: 1258000 | #Constraints: 51567
2104.39/2111.33 c #Conflicts: 1259000 | #Constraints: 52567
2104.39/2111.33 c #Conflicts: 1260000 | #Constraints: 53567
2104.39/2111.33 c #Conflicts: 1261000 | #Constraints: 54567
2104.39/2111.33 c #Conflicts: 1262000 | #Constraints: 55567
2104.39/2111.33 c #Conflicts: 1263000 | #Constraints: 56567
2104.39/2111.33 c #Conflicts: 1264000 | #Constraints: 57567
2104.39/2111.33 c #Conflicts: 1265000 | #Constraints: 58567
2104.39/2111.33 c #Conflicts: 1266000 | #Constraints: 59567
2104.39/2111.33 c #Conflicts: 1267000 | #Constraints: 60567
2288.28/2295.80 c #Conflicts: 1268000 | #Constraints: 61567
2288.28/2295.80 c #Conflicts: 1269000 | #Constraints: 62567
2288.28/2295.80 c #Conflicts: 1270000 | #Constraints: 63567
2288.28/2295.80 c #Conflicts: 1271000 | #Constraints: 64567
2288.28/2295.80 c #Conflicts: 1272000 | #Constraints: 65567
2288.28/2295.80 c #Conflicts: 1273000 | #Constraints: 66567
2288.28/2295.80 c #Conflicts: 1274000 | #Constraints: 67567
2288.28/2295.80 c #Conflicts: 1275000 | #Constraints: 68567
2288.28/2295.80 c #Conflicts: 1276000 | #Constraints: 69567
2288.28/2295.80 c #Conflicts: 1277000 | #Constraints: 70567
2288.28/2295.80 c #Conflicts: 1278000 | #Constraints: 71567
2288.28/2295.80 c #Conflicts: 1279000 | #Constraints: 72567
2288.28/2295.80 c INPROCESSING
2288.28/2295.80 c GARBAGE COLLECT
2288.28/2295.80 c #Conflicts: 1280000 | #Constraints: 51168
2288.28/2295.80 c #Conflicts: 1281000 | #Constraints: 52168
2288.28/2295.80 c #Conflicts: 1282000 | #Constraints: 53168
2288.28/2295.80 c #Conflicts: 1283000 | #Constraints: 54168
2288.28/2295.80 c #Conflicts: 1284000 | #Constraints: 55168
2288.28/2295.80 c #Conflicts: 1285000 | #Constraints: 56168
2288.28/2295.80 c #Conflicts: 1286000 | #Constraints: 57168
2288.28/2295.80 c #Conflicts: 1287000 | #Constraints: 58168
2288.28/2295.80 c #Conflicts: 1288000 | #Constraints: 59168
2288.28/2295.80 c #Conflicts: 1289000 | #Constraints: 60168
2288.28/2295.80 c #Conflicts: 1290000 | #Constraints: 61168
2288.28/2295.80 c #Conflicts: 1291000 | #Constraints: 62168
2288.28/2295.80 c #Conflicts: 1292000 | #Constraints: 63168
2288.28/2295.80 c #Conflicts: 1293000 | #Constraints: 64168
2288.28/2295.80 c #Conflicts: 1294000 | #Constraints: 65168
2288.28/2295.80 c #Conflicts: 1295000 | #Constraints: 66168
2288.28/2295.80 c #Conflicts: 1296000 | #Constraints: 67168
2288.28/2295.80 c #Conflicts: 1297000 | #Constraints: 68168
2288.28/2295.80 c #Conflicts: 1298000 | #Constraints: 69168
2288.28/2295.80 c #Conflicts: 1299000 | #Constraints: 70168
2288.28/2295.80 c #Conflicts: 1300000 | #Constraints: 71168
2288.28/2295.80 c #Conflicts: 1301000 | #Constraints: 72168
2288.28/2295.80 c #Conflicts: 1302000 | #Constraints: 73168
2288.28/2295.80 c INPROCESSING
2288.28/2295.80 c GARBAGE COLLECT
2288.28/2295.80 c #Conflicts: 1303000 | #Constraints: 51566
2288.28/2295.80 c #Conflicts: 1304000 | #Constraints: 52566
2288.28/2295.80 c #Conflicts: 1305000 | #Constraints: 53566
2288.28/2295.80 c #Conflicts: 1306000 | #Constraints: 54566
2288.28/2295.80 c #Conflicts: 1307000 | #Constraints: 55566
2288.28/2295.80 c #Conflicts: 1308000 | #Constraints: 56566
2288.28/2295.80 c #Conflicts: 1309000 | #Constraints: 57566
2288.28/2295.80 c #Conflicts: 1310000 | #Constraints: 58566
2288.28/2295.80 c #Conflicts: 1311000 | #Constraints: 59566
2288.28/2295.80 c #Conflicts: 1312000 | #Constraints: 60566
2288.28/2295.80 c #Conflicts: 1313000 | #Constraints: 61566
2288.28/2295.80 c #Conflicts: 1314000 | #Constraints: 62566
2288.28/2295.80 c #Conflicts: 1315000 | #Constraints: 63566
2288.28/2295.80 c #Conflicts: 1316000 | #Constraints: 64566
2288.28/2295.80 c #Conflicts: 1317000 | #Constraints: 65566
2288.28/2295.80 c #Conflicts: 1318000 | #Constraints: 66566
2288.28/2295.80 c #Conflicts: 1319000 | #Constraints: 67566
2288.28/2295.80 c #Conflicts: 1320000 | #Constraints: 68566
2288.28/2295.80 c #Conflicts: 1321000 | #Constraints: 69566
2288.28/2295.80 c #Conflicts: 1322000 | #Constraints: 70566
2288.28/2295.80 c #Conflicts: 1323000 | #Constraints: 71566
2288.28/2295.80 c #Conflicts: 1324000 | #Constraints: 72566
2288.28/2295.80 c #Conflicts: 1325000 | #Constraints: 73566
2288.28/2295.80 c INPROCESSING
2288.28/2295.80 c GARBAGE COLLECT
2288.28/2295.80 c #Conflicts: 1326000 | #Constraints: 51767
2288.28/2295.80 c #Conflicts: 1327000 | #Constraints: 52767
2288.28/2295.80 c #Conflicts: 1328000 | #Constraints: 53767
2288.28/2295.80 c #Conflicts: 1329000 | #Constraints: 54767
2288.28/2295.80 c #Conflicts: 1330000 | #Constraints: 55767
2288.28/2295.80 c #Conflicts: 1331000 | #Constraints: 56767
2288.28/2295.80 c #Conflicts: 1332000 | #Constraints: 57767
2288.28/2295.80 c #Conflicts: 1333000 | #Constraints: 58767
2288.28/2295.80 c #Conflicts: 1334000 | #Constraints: 59767
2288.28/2295.80 c #Conflicts: 1335000 | #Constraints: 60767
2288.28/2295.80 c #Conflicts: 1336000 | #Constraints: 61767
2288.28/2295.80 c #Conflicts: 1337000 | #Constraints: 62767
2288.28/2295.80 c #Conflicts: 1338000 | #Constraints: 63767
2288.28/2295.80 c #Conflicts: 1339000 | #Constraints: 64767
2288.28/2295.80 c #Conflicts: 1340000 | #Constraints: 65767
2288.28/2295.80 c #Conflicts: 1341000 | #Constraints: 66767
2288.28/2295.80 c #Conflicts: 1342000 | #Constraints: 67767
2288.28/2295.80 c #Conflicts: 1343000 | #Constraints: 68767
2288.28/2295.80 c #Conflicts: 1344000 | #Constraints: 69767
2487.94/2496.19 c #Conflicts: 1345000 | #Constraints: 70767
2487.94/2496.19 c #Conflicts: 1346000 | #Constraints: 71767
2487.94/2496.19 c #Conflicts: 1347000 | #Constraints: 72767
2487.94/2496.19 c #Conflicts: 1348000 | #Constraints: 73767
2487.94/2496.19 c INPROCESSING
2487.94/2496.19 c GARBAGE COLLECT
2487.94/2496.19 c #Conflicts: 1349000 | #Constraints: 51765
2487.94/2496.19 c #Conflicts: 1350000 | #Constraints: 52765
2487.94/2496.19 c #Conflicts: 1351000 | #Constraints: 53765
2487.94/2496.19 c #Conflicts: 1352000 | #Constraints: 54765
2487.94/2496.19 c #Conflicts: 1353000 | #Constraints: 55765
2487.94/2496.19 c #Conflicts: 1354000 | #Constraints: 56765
2487.94/2496.19 c #Conflicts: 1355000 | #Constraints: 57765
2487.94/2496.19 c #Conflicts: 1356000 | #Constraints: 58765
2487.94/2496.19 c #Conflicts: 1357000 | #Constraints: 59765
2487.94/2496.19 c #Conflicts: 1358000 | #Constraints: 60765
2487.94/2496.19 c #Conflicts: 1359000 | #Constraints: 61765
2487.94/2496.19 c #Conflicts: 1360000 | #Constraints: 62765
2487.94/2496.19 c #Conflicts: 1361000 | #Constraints: 63765
2487.94/2496.19 c #Conflicts: 1362000 | #Constraints: 64765
2487.94/2496.19 c #Conflicts: 1363000 | #Constraints: 65765
2487.94/2496.19 c #Conflicts: 1364000 | #Constraints: 66765
2487.94/2496.19 c #Conflicts: 1365000 | #Constraints: 67765
2487.94/2496.19 c #Conflicts: 1366000 | #Constraints: 68765
2487.94/2496.19 c #Conflicts: 1367000 | #Constraints: 69765
2487.94/2496.19 c #Conflicts: 1368000 | #Constraints: 70765
2487.94/2496.19 c #Conflicts: 1369000 | #Constraints: 71765
2487.94/2496.19 c #Conflicts: 1370000 | #Constraints: 72765
2487.94/2496.19 c #Conflicts: 1371000 | #Constraints: 73765
2487.94/2496.19 c INPROCESSING
2487.94/2496.19 c GARBAGE COLLECT
2487.94/2496.19 c #Conflicts: 1372000 | #Constraints: 51566
2487.94/2496.19 c #Conflicts: 1373000 | #Constraints: 52566
2487.94/2496.19 c #Conflicts: 1374000 | #Constraints: 53566
2487.94/2496.19 c #Conflicts: 1375000 | #Constraints: 54566
2487.94/2496.19 c #Conflicts: 1376000 | #Constraints: 55566
2487.94/2496.19 c #Conflicts: 1377000 | #Constraints: 56566
2487.94/2496.19 c #Conflicts: 1378000 | #Constraints: 57566
2487.94/2496.19 c #Conflicts: 1379000 | #Constraints: 58566
2487.94/2496.19 c #Conflicts: 1380000 | #Constraints: 59566
2487.94/2496.19 c #Conflicts: 1381000 | #Constraints: 60566
2487.94/2496.19 c #Conflicts: 1382000 | #Constraints: 61566
2487.94/2496.19 c #Conflicts: 1383000 | #Constraints: 62566
2487.94/2496.19 c #Conflicts: 1384000 | #Constraints: 63566
2487.94/2496.19 c #Conflicts: 1385000 | #Constraints: 64566
2487.94/2496.19 c #Conflicts: 1386000 | #Constraints: 65566
2487.94/2496.19 c #Conflicts: 1387000 | #Constraints: 66566
2487.94/2496.19 c #Conflicts: 1388000 | #Constraints: 67566
2487.94/2496.19 c #Conflicts: 1389000 | #Constraints: 68566
2487.94/2496.19 c #Conflicts: 1390000 | #Constraints: 69566
2487.94/2496.19 c #Conflicts: 1391000 | #Constraints: 70566
2487.94/2496.19 c #Conflicts: 1392000 | #Constraints: 71566
2487.94/2496.19 c #Conflicts: 1393000 | #Constraints: 72566
2487.94/2496.19 c #Conflicts: 1394000 | #Constraints: 73566
2487.94/2496.19 c #Conflicts: 1395000 | #Constraints: 74566
2487.94/2496.19 c INPROCESSING
2487.94/2496.19 c GARBAGE COLLECT
2487.94/2496.19 c #Conflicts: 1396000 | #Constraints: 52169
2487.94/2496.19 c #Conflicts: 1397000 | #Constraints: 53169
2487.94/2496.19 c #Conflicts: 1398000 | #Constraints: 54169
2487.94/2496.19 c #Conflicts: 1399000 | #Constraints: 55169
2487.94/2496.19 c #Conflicts: 1400000 | #Constraints: 56169
2487.94/2496.19 c #Conflicts: 1401000 | #Constraints: 57169
2487.94/2496.19 c #Conflicts: 1402000 | #Constraints: 58169
2487.94/2496.19 c #Conflicts: 1403000 | #Constraints: 59169
2487.94/2496.19 c #Conflicts: 1404000 | #Constraints: 60169
2487.94/2496.19 c #Conflicts: 1405000 | #Constraints: 61169
2487.94/2496.19 c #Conflicts: 1406000 | #Constraints: 62169
2487.94/2496.19 c #Conflicts: 1407000 | #Constraints: 63169
2487.94/2496.19 c #Conflicts: 1408000 | #Constraints: 64169
2487.94/2496.19 c #Conflicts: 1409000 | #Constraints: 65169
2487.94/2496.19 c #Conflicts: 1410000 | #Constraints: 66169
2487.94/2496.19 c #Conflicts: 1411000 | #Constraints: 67169
2487.94/2496.19 c #Conflicts: 1412000 | #Constraints: 68169
2487.94/2496.19 c #Conflicts: 1413000 | #Constraints: 69169
2487.94/2496.19 c #Conflicts: 1414000 | #Constraints: 70169
2487.94/2496.19 c #Conflicts: 1415000 | #Constraints: 71169
2487.94/2496.19 c #Conflicts: 1416000 | #Constraints: 72169
2487.94/2496.19 c #Conflicts: 1417000 | #Constraints: 73169
2487.94/2496.19 c #Conflicts: 1418000 | #Constraints: 74169
2487.94/2496.19 c #Conflicts: 1419000 | #Constraints: 75169
2487.94/2496.19 c INPROCESSING
2487.94/2496.19 c GARBAGE COLLECT
2487.94/2496.19 c #Conflicts: 1420000 | #Constraints: 52568
2687.19/2696.03 c #Conflicts: 1421000 | #Constraints: 53568
2687.19/2696.03 c #Conflicts: 1422000 | #Constraints: 54568
2687.19/2696.03 c #Conflicts: 1423000 | #Constraints: 55568
2687.19/2696.03 c #Conflicts: 1424000 | #Constraints: 56568
2687.19/2696.03 c #Conflicts: 1425000 | #Constraints: 57568
2687.19/2696.03 c #Conflicts: 1426000 | #Constraints: 58568
2687.19/2696.03 c #Conflicts: 1427000 | #Constraints: 59568
2687.19/2696.03 c #Conflicts: 1428000 | #Constraints: 60568
2687.19/2696.03 c #Conflicts: 1429000 | #Constraints: 61568
2687.19/2696.03 c #Conflicts: 1430000 | #Constraints: 62568
2687.19/2696.03 c #Conflicts: 1431000 | #Constraints: 63568
2687.19/2696.03 c #Conflicts: 1432000 | #Constraints: 64568
2687.19/2696.03 c #Conflicts: 1433000 | #Constraints: 65568
2687.19/2696.03 c #Conflicts: 1434000 | #Constraints: 66568
2687.19/2696.03 c #Conflicts: 1435000 | #Constraints: 67568
2687.19/2696.03 c #Conflicts: 1436000 | #Constraints: 68568
2687.19/2696.03 c #Conflicts: 1437000 | #Constraints: 69568
2687.19/2696.03 c #Conflicts: 1438000 | #Constraints: 70568
2687.19/2696.03 c #Conflicts: 1439000 | #Constraints: 71568
2687.19/2696.03 c #Conflicts: 1440000 | #Constraints: 72568
2687.19/2696.03 c #Conflicts: 1441000 | #Constraints: 73568
2687.19/2696.03 c #Conflicts: 1442000 | #Constraints: 74568
2687.19/2696.03 c #Conflicts: 1443000 | #Constraints: 75568
2687.19/2696.03 c INPROCESSING
2687.19/2696.03 c GARBAGE COLLECT
2687.19/2696.03 c #Conflicts: 1444000 | #Constraints: 52768
2687.19/2696.03 c #Conflicts: 1445000 | #Constraints: 53768
2687.19/2696.03 c #Conflicts: 1446000 | #Constraints: 54768
2687.19/2696.03 c #Conflicts: 1447000 | #Constraints: 55768
2687.19/2696.03 c #Conflicts: 1448000 | #Constraints: 56768
2687.19/2696.03 c #Conflicts: 1449000 | #Constraints: 57768
2687.19/2696.03 c #Conflicts: 1450000 | #Constraints: 58768
2687.19/2696.03 c #Conflicts: 1451000 | #Constraints: 59768
2687.19/2696.03 c #Conflicts: 1452000 | #Constraints: 60768
2687.19/2696.03 c #Conflicts: 1453000 | #Constraints: 61768
2687.19/2696.03 c #Conflicts: 1454000 | #Constraints: 62768
2687.19/2696.03 c #Conflicts: 1455000 | #Constraints: 63768
2687.19/2696.03 c #Conflicts: 1456000 | #Constraints: 64768
2687.19/2696.03 c #Conflicts: 1457000 | #Constraints: 65768
2687.19/2696.03 c #Conflicts: 1458000 | #Constraints: 66768
2687.19/2696.03 c #Conflicts: 1459000 | #Constraints: 67768
2687.19/2696.03 c #Conflicts: 1460000 | #Constraints: 68768
2687.19/2696.03 c #Conflicts: 1461000 | #Constraints: 69768
2687.19/2696.03 c #Conflicts: 1462000 | #Constraints: 70768
2687.19/2696.03 c #Conflicts: 1463000 | #Constraints: 71768
2687.19/2696.03 c #Conflicts: 1464000 | #Constraints: 72768
2687.19/2696.03 c #Conflicts: 1465000 | #Constraints: 73768
2687.19/2696.03 c #Conflicts: 1466000 | #Constraints: 74768
2687.19/2696.03 c #Conflicts: 1467000 | #Constraints: 75768
2687.19/2696.03 c INPROCESSING
2687.19/2696.03 c GARBAGE COLLECT
2687.19/2696.03 c #Conflicts: 1468000 | #Constraints: 52765
2687.19/2696.03 c #Conflicts: 1469000 | #Constraints: 53765
2687.19/2696.03 c #Conflicts: 1470000 | #Constraints: 54765
2687.19/2696.03 c #Conflicts: 1471000 | #Constraints: 55765
2687.19/2696.03 c #Conflicts: 1472000 | #Constraints: 56765
2687.19/2696.03 c #Conflicts: 1473000 | #Constraints: 57765
2687.19/2696.03 c #Conflicts: 1474000 | #Constraints: 58765
2687.19/2696.03 c #Conflicts: 1475000 | #Constraints: 59765
2687.19/2696.03 c #Conflicts: 1476000 | #Constraints: 60765
2687.19/2696.03 c #Conflicts: 1477000 | #Constraints: 61765
2687.19/2696.03 c #Conflicts: 1478000 | #Constraints: 62765
2687.19/2696.03 c #Conflicts: 1479000 | #Constraints: 63765
2687.19/2696.03 c #Conflicts: 1480000 | #Constraints: 64765
2687.19/2696.03 c #Conflicts: 1481000 | #Constraints: 65765
2687.19/2696.03 c #Conflicts: 1482000 | #Constraints: 66765
2687.19/2696.03 c #Conflicts: 1483000 | #Constraints: 67765
2687.19/2696.03 c #Conflicts: 1484000 | #Constraints: 68765
2687.19/2696.03 c #Conflicts: 1485000 | #Constraints: 69765
2687.19/2696.03 c #Conflicts: 1486000 | #Constraints: 70765
2687.19/2696.03 c #Conflicts: 1487000 | #Constraints: 71765
2687.19/2696.03 c #Conflicts: 1488000 | #Constraints: 72765
2687.19/2696.03 c #Conflicts: 1489000 | #Constraints: 73765
2687.19/2696.03 c #Conflicts: 1490000 | #Constraints: 74765
2687.19/2696.03 c #Conflicts: 1491000 | #Constraints: 75765
2687.19/2696.03 c INPROCESSING
2687.19/2696.03 c GARBAGE COLLECT
2687.19/2696.03 c #Conflicts: 1492000 | #Constraints: 52566
2687.19/2696.03 c #Conflicts: 1493000 | #Constraints: 53566
2687.19/2696.03 c #Conflicts: 1494000 | #Constraints: 54566
2687.19/2696.03 c #Conflicts: 1495000 | #Constraints: 55566
2687.19/2696.03 c #Conflicts: 1496000 | #Constraints: 56566
2687.19/2696.03 c #Conflicts: 1497000 | #Constraints: 57566
2896.69/2906.21 c #Conflicts: 1498000 | #Constraints: 58566
2896.69/2906.21 c #Conflicts: 1499000 | #Constraints: 59566
2896.69/2906.21 c #Conflicts: 1500000 | #Constraints: 60566
2896.69/2906.21 c #Conflicts: 1501000 | #Constraints: 61566
2896.69/2906.21 c #Conflicts: 1502000 | #Constraints: 62566
2896.69/2906.21 c #Conflicts: 1503000 | #Constraints: 63566
2896.69/2906.21 c #Conflicts: 1504000 | #Constraints: 64566
2896.69/2906.21 c #Conflicts: 1505000 | #Constraints: 65566
2896.69/2906.21 c #Conflicts: 1506000 | #Constraints: 66566
2896.69/2906.21 c #Conflicts: 1507000 | #Constraints: 67566
2896.69/2906.21 c #Conflicts: 1508000 | #Constraints: 68566
2896.69/2906.21 c #Conflicts: 1509000 | #Constraints: 69566
2896.69/2906.21 c #Conflicts: 1510000 | #Constraints: 70566
2896.69/2906.21 c #Conflicts: 1511000 | #Constraints: 71566
2896.69/2906.21 c #Conflicts: 1512000 | #Constraints: 72566
2896.69/2906.21 c #Conflicts: 1513000 | #Constraints: 73566
2896.69/2906.21 c #Conflicts: 1514000 | #Constraints: 74566
2896.69/2906.21 c #Conflicts: 1515000 | #Constraints: 75566
2896.69/2906.21 c #Conflicts: 1516000 | #Constraints: 76566
2896.69/2906.21 c INPROCESSING
2896.69/2906.21 c GARBAGE COLLECT
2896.69/2906.21 c #Conflicts: 1517000 | #Constraints: 53165
2896.69/2906.21 c #Conflicts: 1518000 | #Constraints: 54165
2896.69/2906.21 c #Conflicts: 1519000 | #Constraints: 55165
2896.69/2906.21 c #Conflicts: 1520000 | #Constraints: 56165
2896.69/2906.21 c #Conflicts: 1521000 | #Constraints: 57165
2896.69/2906.21 c #Conflicts: 1522000 | #Constraints: 58165
2896.69/2906.21 c #Conflicts: 1523000 | #Constraints: 59165
2896.69/2906.21 c #Conflicts: 1524000 | #Constraints: 60165
2896.69/2906.21 c #Conflicts: 1525000 | #Constraints: 61165
2896.69/2906.21 c #Conflicts: 1526000 | #Constraints: 62165
2896.69/2906.21 c #Conflicts: 1527000 | #Constraints: 63165
2896.69/2906.21 c #Conflicts: 1528000 | #Constraints: 64165
2896.69/2906.21 c #Conflicts: 1529000 | #Constraints: 65165
2896.69/2906.21 c #Conflicts: 1530000 | #Constraints: 66165
2896.69/2906.21 c #Conflicts: 1531000 | #Constraints: 67165
2896.69/2906.21 c #Conflicts: 1532000 | #Constraints: 68165
2896.69/2906.21 c #Conflicts: 1533000 | #Constraints: 69165
2896.69/2906.21 c #Conflicts: 1534000 | #Constraints: 70165
2896.69/2906.21 c #Conflicts: 1535000 | #Constraints: 71165
2896.69/2906.21 c #Conflicts: 1536000 | #Constraints: 72165
2896.69/2906.21 c #Conflicts: 1537000 | #Constraints: 73165
2896.69/2906.21 c #Conflicts: 1538000 | #Constraints: 74165
2896.69/2906.21 c #Conflicts: 1539000 | #Constraints: 75165
2896.69/2906.21 c #Conflicts: 1540000 | #Constraints: 76165
2896.69/2906.21 c #Conflicts: 1541000 | #Constraints: 77165
2896.69/2906.21 c INPROCESSING
2896.69/2906.21 c GARBAGE COLLECT
2896.69/2906.21 c #Conflicts: 1542000 | #Constraints: 53562
2896.69/2906.21 c #Conflicts: 1543000 | #Constraints: 54562
2896.69/2906.21 c #Conflicts: 1544000 | #Constraints: 55562
2896.69/2906.21 c #Conflicts: 1545000 | #Constraints: 56562
2896.69/2906.21 c #Conflicts: 1546000 | #Constraints: 57562
2896.69/2906.21 c #Conflicts: 1547000 | #Constraints: 58562
2896.69/2906.21 c #Conflicts: 1548000 | #Constraints: 59562
2896.69/2906.21 c #Conflicts: 1549000 | #Constraints: 60562
2896.69/2906.21 c #Conflicts: 1550000 | #Constraints: 61562
2896.69/2906.21 c #Conflicts: 1551000 | #Constraints: 62562
2896.69/2906.21 c #Conflicts: 1552000 | #Constraints: 63562
2896.69/2906.21 c #Conflicts: 1553000 | #Constraints: 64562
2896.69/2906.21 c #Conflicts: 1554000 | #Constraints: 65562
2896.69/2906.21 c #Conflicts: 1555000 | #Constraints: 66562
2896.69/2906.21 c #Conflicts: 1556000 | #Constraints: 67562
2896.69/2906.21 c #Conflicts: 1557000 | #Constraints: 68562
2896.69/2906.21 c #Conflicts: 1558000 | #Constraints: 69562
2896.69/2906.21 c #Conflicts: 1559000 | #Constraints: 70562
2896.69/2906.21 c #Conflicts: 1560000 | #Constraints: 71562
2896.69/2906.21 c #Conflicts: 1561000 | #Constraints: 72562
2896.69/2906.21 c #Conflicts: 1562000 | #Constraints: 73562
2896.69/2906.21 c #Conflicts: 1563000 | #Constraints: 74562
2896.69/2906.21 c #Conflicts: 1564000 | #Constraints: 75562
2896.69/2906.21 c #Conflicts: 1565000 | #Constraints: 76562
2896.69/2906.21 c #Conflicts: 1566000 | #Constraints: 77562
2896.69/2906.21 c INPROCESSING
2896.69/2906.21 c GARBAGE COLLECT
2896.69/2906.21 c #Conflicts: 1567000 | #Constraints: 53762
2896.69/2906.21 c #Conflicts: 1568000 | #Constraints: 54762
2896.69/2906.21 c #Conflicts: 1569000 | #Constraints: 55762
2896.69/2906.21 c #Conflicts: 1570000 | #Constraints: 56762
2896.69/2906.21 c #Conflicts: 1571000 | #Constraints: 57762
2896.69/2906.21 c #Conflicts: 1572000 | #Constraints: 58762
2896.69/2906.21 c #Conflicts: 1573000 | #Constraints: 59762
2896.69/2906.21 c #Conflicts: 1574000 | #Constraints: 60762
3076.84/3086.92 c #Conflicts: 1575000 | #Constraints: 61762
3076.84/3086.92 c #Conflicts: 1576000 | #Constraints: 62762
3076.84/3086.92 c #Conflicts: 1577000 | #Constraints: 63762
3076.84/3086.92 c #Conflicts: 1578000 | #Constraints: 64762
3076.84/3086.92 c #Conflicts: 1579000 | #Constraints: 65762
3076.84/3086.92 c #Conflicts: 1580000 | #Constraints: 66762
3076.84/3086.92 c #Conflicts: 1581000 | #Constraints: 67762
3076.84/3086.92 c #Conflicts: 1582000 | #Constraints: 68762
3076.84/3086.92 c #Conflicts: 1583000 | #Constraints: 69762
3076.84/3086.92 c #Conflicts: 1584000 | #Constraints: 70762
3076.84/3086.92 c #Conflicts: 1585000 | #Constraints: 71762
3076.84/3086.92 c #Conflicts: 1586000 | #Constraints: 72762
3076.84/3086.92 c #Conflicts: 1587000 | #Constraints: 73762
3076.84/3086.92 c #Conflicts: 1588000 | #Constraints: 74762
3076.84/3086.92 c #Conflicts: 1589000 | #Constraints: 75762
3076.84/3086.92 c #Conflicts: 1590000 | #Constraints: 76762
3076.84/3086.92 c #Conflicts: 1591000 | #Constraints: 77762
3076.84/3086.92 c INPROCESSING
3076.84/3086.92 c GARBAGE COLLECT
3076.84/3086.92 c #Conflicts: 1592000 | #Constraints: 53768
3076.84/3086.92 c #Conflicts: 1593000 | #Constraints: 54768
3076.84/3086.92 c #Conflicts: 1594000 | #Constraints: 55768
3076.84/3086.92 c #Conflicts: 1595000 | #Constraints: 56768
3076.84/3086.92 c #Conflicts: 1596000 | #Constraints: 57768
3076.84/3086.92 c #Conflicts: 1597000 | #Constraints: 58768
3076.84/3086.92 c #Conflicts: 1598000 | #Constraints: 59768
3076.84/3086.92 c #Conflicts: 1599000 | #Constraints: 60768
3076.84/3086.92 c #Conflicts: 1600000 | #Constraints: 61768
3076.84/3086.92 c #Conflicts: 1601000 | #Constraints: 62768
3076.84/3086.92 c #Conflicts: 1602000 | #Constraints: 63768
3076.84/3086.92 c #Conflicts: 1603000 | #Constraints: 64768
3076.84/3086.92 c #Conflicts: 1604000 | #Constraints: 65768
3076.84/3086.92 c #Conflicts: 1605000 | #Constraints: 66768
3076.84/3086.92 c #Conflicts: 1606000 | #Constraints: 67768
3076.84/3086.92 c #Conflicts: 1607000 | #Constraints: 68768
3076.84/3086.92 c #Conflicts: 1608000 | #Constraints: 69768
3076.84/3086.92 c #Conflicts: 1609000 | #Constraints: 70768
3076.84/3086.92 c #Conflicts: 1610000 | #Constraints: 71768
3076.84/3086.92 c #Conflicts: 1611000 | #Constraints: 72768
3076.84/3086.92 c #Conflicts: 1612000 | #Constraints: 73768
3076.84/3086.92 c #Conflicts: 1613000 | #Constraints: 74768
3076.84/3086.92 c #Conflicts: 1614000 | #Constraints: 75768
3076.84/3086.92 c #Conflicts: 1615000 | #Constraints: 76768
3076.84/3086.92 c #Conflicts: 1616000 | #Constraints: 77768
3076.84/3086.92 c INPROCESSING
3076.84/3086.92 c GARBAGE COLLECT
3076.84/3086.92 c #Conflicts: 1617000 | #Constraints: 53569
3076.84/3086.92 c #Conflicts: 1618000 | #Constraints: 54569
3076.84/3086.92 c #Conflicts: 1619000 | #Constraints: 55569
3076.84/3086.92 c #Conflicts: 1620000 | #Constraints: 56569
3076.84/3086.92 c #Conflicts: 1621000 | #Constraints: 57569
3076.84/3086.92 c #Conflicts: 1622000 | #Constraints: 58569
3076.84/3086.92 c #Conflicts: 1623000 | #Constraints: 59569
3076.84/3086.92 c #Conflicts: 1624000 | #Constraints: 60569
3076.84/3086.92 c #Conflicts: 1625000 | #Constraints: 61569
3076.84/3086.92 c #Conflicts: 1626000 | #Constraints: 62569
3076.84/3086.92 c #Conflicts: 1627000 | #Constraints: 63569
3076.84/3086.92 c #Conflicts: 1628000 | #Constraints: 64569
3076.84/3086.92 c #Conflicts: 1629000 | #Constraints: 65569
3076.84/3086.92 c #Conflicts: 1630000 | #Constraints: 66569
3076.84/3086.92 c #Conflicts: 1631000 | #Constraints: 67569
3076.84/3086.92 c #Conflicts: 1632000 | #Constraints: 68569
3076.84/3086.92 c #Conflicts: 1633000 | #Constraints: 69569
3076.84/3086.92 c #Conflicts: 1634000 | #Constraints: 70569
3076.84/3086.92 c #Conflicts: 1635000 | #Constraints: 71569
3076.84/3086.92 c #Conflicts: 1636000 | #Constraints: 72569
3076.84/3086.92 c #Conflicts: 1637000 | #Constraints: 73569
3076.84/3086.92 c #Conflicts: 1638000 | #Constraints: 74569
3076.84/3086.92 c #Conflicts: 1639000 | #Constraints: 75569
3076.84/3086.92 c #Conflicts: 1640000 | #Constraints: 76569
3076.84/3086.92 c #Conflicts: 1641000 | #Constraints: 77569
3076.84/3086.92 c #Conflicts: 1642000 | #Constraints: 78569
3076.84/3086.92 c INPROCESSING
3076.84/3086.92 c GARBAGE COLLECT
3076.84/3086.92 c #Conflicts: 1643000 | #Constraints: 54172
3076.84/3086.92 c #Conflicts: 1644000 | #Constraints: 55172
3076.84/3086.92 c #Conflicts: 1645000 | #Constraints: 56172
3076.84/3086.92 c #Conflicts: 1646000 | #Constraints: 57172
3076.84/3086.92 c #Conflicts: 1647000 | #Constraints: 58172
3076.84/3086.92 c #Conflicts: 1648000 | #Constraints: 59172
3076.84/3086.92 c #Conflicts: 1649000 | #Constraints: 60172
3076.84/3086.92 c #Conflicts: 1650000 | #Constraints: 61172
3076.84/3086.92 c #Conflicts: 1651000 | #Constraints: 62172
3274.54/3285.14 c #Conflicts: 1652000 | #Constraints: 63172
3274.54/3285.14 c #Conflicts: 1653000 | #Constraints: 64172
3274.54/3285.14 c #Conflicts: 1654000 | #Constraints: 65172
3274.54/3285.14 c #Conflicts: 1655000 | #Constraints: 66172
3274.54/3285.14 c #Conflicts: 1656000 | #Constraints: 67172
3274.54/3285.14 c #Conflicts: 1657000 | #Constraints: 68172
3274.54/3285.14 c #Conflicts: 1658000 | #Constraints: 69172
3274.54/3285.14 c #Conflicts: 1659000 | #Constraints: 70172
3274.54/3285.14 c #Conflicts: 1660000 | #Constraints: 71172
3274.54/3285.14 c #Conflicts: 1661000 | #Constraints: 72172
3274.54/3285.14 c #Conflicts: 1662000 | #Constraints: 73172
3274.54/3285.14 c #Conflicts: 1663000 | #Constraints: 74172
3274.54/3285.14 c #Conflicts: 1664000 | #Constraints: 75172
3274.54/3285.14 c #Conflicts: 1665000 | #Constraints: 76172
3274.54/3285.14 c #Conflicts: 1666000 | #Constraints: 77172
3274.54/3285.14 c #Conflicts: 1667000 | #Constraints: 78172
3274.54/3285.14 c #Conflicts: 1668000 | #Constraints: 79172
3274.54/3285.14 c INPROCESSING
3274.54/3285.14 c GARBAGE COLLECT
3274.54/3285.14 c #Conflicts: 1669000 | #Constraints: 54569
3274.54/3285.14 c #Conflicts: 1670000 | #Constraints: 55569
3274.54/3285.14 c #Conflicts: 1671000 | #Constraints: 56569
3274.54/3285.14 c #Conflicts: 1672000 | #Constraints: 57569
3274.54/3285.14 c #Conflicts: 1673000 | #Constraints: 58569
3274.54/3285.14 c #Conflicts: 1674000 | #Constraints: 59569
3274.54/3285.14 c #Conflicts: 1675000 | #Constraints: 60569
3274.54/3285.14 c #Conflicts: 1676000 | #Constraints: 61569
3274.54/3285.14 c #Conflicts: 1677000 | #Constraints: 62569
3274.54/3285.14 c #Conflicts: 1678000 | #Constraints: 63569
3274.54/3285.14 c #Conflicts: 1679000 | #Constraints: 64569
3274.54/3285.14 c #Conflicts: 1680000 | #Constraints: 65569
3274.54/3285.14 c #Conflicts: 1681000 | #Constraints: 66569
3274.54/3285.14 c #Conflicts: 1682000 | #Constraints: 67569
3274.54/3285.14 c #Conflicts: 1683000 | #Constraints: 68569
3274.54/3285.14 c #Conflicts: 1684000 | #Constraints: 69569
3274.54/3285.14 c #Conflicts: 1685000 | #Constraints: 70569
3274.54/3285.14 c #Conflicts: 1686000 | #Constraints: 71569
3274.54/3285.14 c #Conflicts: 1687000 | #Constraints: 72569
3274.54/3285.14 c #Conflicts: 1688000 | #Constraints: 73569
3274.54/3285.14 c #Conflicts: 1689000 | #Constraints: 74569
3274.54/3285.14 c #Conflicts: 1690000 | #Constraints: 75569
3274.54/3285.14 c #Conflicts: 1691000 | #Constraints: 76569
3274.54/3285.14 c #Conflicts: 1692000 | #Constraints: 77569
3274.54/3285.14 c #Conflicts: 1693000 | #Constraints: 78569
3274.54/3285.14 c #Conflicts: 1694000 | #Constraints: 79569
3274.54/3285.14 c INPROCESSING
3274.54/3285.14 c GARBAGE COLLECT
3274.54/3285.14 c #Conflicts: 1695000 | #Constraints: 54768
3274.54/3285.14 c #Conflicts: 1696000 | #Constraints: 55768
3274.54/3285.14 c #Conflicts: 1697000 | #Constraints: 56768
3274.54/3285.14 c #Conflicts: 1698000 | #Constraints: 57768
3274.54/3285.14 c #Conflicts: 1699000 | #Constraints: 58768
3274.54/3285.14 c #Conflicts: 1700000 | #Constraints: 59768
3274.54/3285.14 c #Conflicts: 1701000 | #Constraints: 60768
3274.54/3285.14 c #Conflicts: 1702000 | #Constraints: 61768
3274.54/3285.14 c #Conflicts: 1703000 | #Constraints: 62768
3274.54/3285.14 c #Conflicts: 1704000 | #Constraints: 63768
3274.54/3285.14 c #Conflicts: 1705000 | #Constraints: 64768
3274.54/3285.14 c #Conflicts: 1706000 | #Constraints: 65768
3274.54/3285.14 c #Conflicts: 1707000 | #Constraints: 66768
3274.54/3285.14 c #Conflicts: 1708000 | #Constraints: 67768
3274.54/3285.14 c #Conflicts: 1709000 | #Constraints: 68768
3274.54/3285.14 c #Conflicts: 1710000 | #Constraints: 69768
3274.54/3285.14 c #Conflicts: 1711000 | #Constraints: 70768
3274.54/3285.14 c #Conflicts: 1712000 | #Constraints: 71768
3274.54/3285.14 c #Conflicts: 1713000 | #Constraints: 72768
3274.54/3285.14 c #Conflicts: 1714000 | #Constraints: 73768
3274.54/3285.14 c #Conflicts: 1715000 | #Constraints: 74768
3274.54/3285.14 c #Conflicts: 1716000 | #Constraints: 75768
3274.54/3285.14 c #Conflicts: 1717000 | #Constraints: 76768
3274.54/3285.14 c #Conflicts: 1718000 | #Constraints: 77768
3274.54/3285.14 c #Conflicts: 1719000 | #Constraints: 78768
3274.54/3285.14 c #Conflicts: 1720000 | #Constraints: 79768
3274.54/3285.14 c INPROCESSING
3274.54/3285.14 c GARBAGE COLLECT
3274.54/3285.14 c #Conflicts: 1721000 | #Constraints: 54766
3274.54/3285.14 c #Conflicts: 1722000 | #Constraints: 55766
3274.54/3285.14 c #Conflicts: 1723000 | #Constraints: 56766
3274.54/3285.14 c #Conflicts: 1724000 | #Constraints: 57766
3274.54/3285.14 c #Conflicts: 1725000 | #Constraints: 58766
3274.54/3285.14 c #Conflicts: 1726000 | #Constraints: 59766
3274.54/3285.14 c #Conflicts: 1727000 | #Constraints: 60766
3274.54/3285.14 c #Conflicts: 1728000 | #Constraints: 61766
3473.72/3484.81 c #Conflicts: 1729000 | #Constraints: 62766
3473.72/3484.81 c #Conflicts: 1730000 | #Constraints: 63766
3473.72/3484.81 c #Conflicts: 1731000 | #Constraints: 64766
3473.72/3484.81 c #Conflicts: 1732000 | #Constraints: 65766
3473.72/3484.81 c #Conflicts: 1733000 | #Constraints: 66766
3473.72/3484.81 c #Conflicts: 1734000 | #Constraints: 67766
3473.72/3484.81 c #Conflicts: 1735000 | #Constraints: 68766
3473.72/3484.81 c #Conflicts: 1736000 | #Constraints: 69766
3473.72/3484.81 c #Conflicts: 1737000 | #Constraints: 70766
3473.72/3484.81 c #Conflicts: 1738000 | #Constraints: 71766
3473.72/3484.81 c #Conflicts: 1739000 | #Constraints: 72766
3473.72/3484.81 c #Conflicts: 1740000 | #Constraints: 73766
3473.72/3484.81 c #Conflicts: 1741000 | #Constraints: 74766
3473.72/3484.81 c #Conflicts: 1742000 | #Constraints: 75766
3473.72/3484.81 c #Conflicts: 1743000 | #Constraints: 76766
3473.72/3484.81 c #Conflicts: 1744000 | #Constraints: 77766
3473.72/3484.81 c #Conflicts: 1745000 | #Constraints: 78766
3473.72/3484.81 c #Conflicts: 1746000 | #Constraints: 79766
3473.72/3484.81 c INPROCESSING
3473.72/3484.81 c GARBAGE COLLECT
3473.72/3484.81 c #Conflicts: 1747000 | #Constraints: 54563
3473.72/3484.81 c #Conflicts: 1748000 | #Constraints: 55563
3473.72/3484.81 c #Conflicts: 1749000 | #Constraints: 56563
3473.72/3484.81 c #Conflicts: 1750000 | #Constraints: 57563
3473.72/3484.81 c #Conflicts: 1751000 | #Constraints: 58563
3473.72/3484.81 c #Conflicts: 1752000 | #Constraints: 59563
3473.72/3484.81 c #Conflicts: 1753000 | #Constraints: 60563
3473.72/3484.81 c #Conflicts: 1754000 | #Constraints: 61563
3473.72/3484.81 c #Conflicts: 1755000 | #Constraints: 62563
3473.72/3484.81 c #Conflicts: 1756000 | #Constraints: 63563
3473.72/3484.81 c #Conflicts: 1757000 | #Constraints: 64563
3473.72/3484.81 c #Conflicts: 1758000 | #Constraints: 65563
3473.72/3484.81 c #Conflicts: 1759000 | #Constraints: 66563
3473.72/3484.81 c #Conflicts: 1760000 | #Constraints: 67563
3473.72/3484.81 c #Conflicts: 1761000 | #Constraints: 68563
3473.72/3484.81 c #Conflicts: 1762000 | #Constraints: 69563
3473.72/3484.81 c #Conflicts: 1763000 | #Constraints: 70563
3473.72/3484.81 c #Conflicts: 1764000 | #Constraints: 71563
3473.72/3484.81 c #Conflicts: 1765000 | #Constraints: 72563
3473.72/3484.81 c #Conflicts: 1766000 | #Constraints: 73563
3473.72/3484.81 c #Conflicts: 1767000 | #Constraints: 74563
3473.72/3484.81 c #Conflicts: 1768000 | #Constraints: 75563
3473.72/3484.81 c #Conflicts: 1769000 | #Constraints: 76563
3473.72/3484.81 c #Conflicts: 1770000 | #Constraints: 77563
3473.72/3484.81 c #Conflicts: 1771000 | #Constraints: 78563
3473.72/3484.81 c #Conflicts: 1772000 | #Constraints: 79563
3473.72/3484.81 c #Conflicts: 1773000 | #Constraints: 80563
3473.72/3484.81 c INPROCESSING
3473.72/3484.81 c GARBAGE COLLECT
3473.72/3484.81 c #Conflicts: 1774000 | #Constraints: 55162
3473.72/3484.81 c #Conflicts: 1775000 | #Constraints: 56162
3473.72/3484.81 c #Conflicts: 1776000 | #Constraints: 57162
3473.72/3484.81 c #Conflicts: 1777000 | #Constraints: 58162
3473.72/3484.81 c #Conflicts: 1778000 | #Constraints: 59162
3473.72/3484.81 c #Conflicts: 1779000 | #Constraints: 60162
3473.72/3484.81 c #Conflicts: 1780000 | #Constraints: 61162
3473.72/3484.81 c #Conflicts: 1781000 | #Constraints: 62162
3473.72/3484.81 c #Conflicts: 1782000 | #Constraints: 63162
3473.72/3484.81 c #Conflicts: 1783000 | #Constraints: 64162
3473.72/3484.81 c #Conflicts: 1784000 | #Constraints: 65162
3473.72/3484.81 c #Conflicts: 1785000 | #Constraints: 66162
3473.72/3484.81 c #Conflicts: 1786000 | #Constraints: 67162
3473.72/3484.81 c #Conflicts: 1787000 | #Constraints: 68162
3473.72/3484.81 c #Conflicts: 1788000 | #Constraints: 69162
3473.72/3484.81 c #Conflicts: 1789000 | #Constraints: 70162
3473.72/3484.81 c #Conflicts: 1790000 | #Constraints: 71162
3473.72/3484.81 c #Conflicts: 1791000 | #Constraints: 72162
3473.72/3484.81 c #Conflicts: 1792000 | #Constraints: 73162
3473.72/3484.81 c #Conflicts: 1793000 | #Constraints: 74162
3473.72/3484.81 c #Conflicts: 1794000 | #Constraints: 75162
3473.72/3484.81 c #Conflicts: 1795000 | #Constraints: 76162
3473.72/3484.81 c #Conflicts: 1796000 | #Constraints: 77162
3473.72/3484.81 c #Conflicts: 1797000 | #Constraints: 78162
3473.72/3484.81 c #Conflicts: 1798000 | #Constraints: 79162
3473.72/3484.81 c #Conflicts: 1799000 | #Constraints: 80162
3473.72/3484.81 c #Conflicts: 1800000 | #Constraints: 81162
3473.72/3484.81 c INPROCESSING
3473.72/3484.81 c GARBAGE COLLECT
3473.72/3484.81 c #Conflicts: 1801000 | #Constraints: 55565
3473.72/3484.81 c #Conflicts: 1802000 | #Constraints: 56565
3473.72/3484.81 c #Conflicts: 1803000 | #Constraints: 57565
3473.72/3484.81 c #Conflicts: 1804000 | #Constraints: 58565
3473.72/3484.81 c #Conflicts: 1805000 | #Constraints: 59565
3600.00/3611.40 c #Conflicts: 1806000 | #Constraints: 60565
3600.00/3611.40 c #Conflicts: 1807000 | #Constraints: 61565
3600.00/3611.40 c #Conflicts: 1808000 | #Constraints: 62565
3600.00/3611.40 c #Conflicts: 1809000 | #Constraints: 63565
3600.00/3611.40 c #Conflicts: 1810000 | #Constraints: 64565
3600.00/3611.40 c #Conflicts: 1811000 | #Constraints: 65565
3600.00/3611.40 c #Conflicts: 1812000 | #Constraints: 66565
3600.00/3611.40 c #Conflicts: 1813000 | #Constraints: 67565
3600.00/3611.40 c #Conflicts: 1814000 | #Constraints: 68565
3600.00/3611.40 c #Conflicts: 1815000 | #Constraints: 69565
3600.00/3611.40 c #Conflicts: 1816000 | #Constraints: 70565
3600.00/3611.40 c #Conflicts: 1817000 | #Constraints: 71565
3600.00/3611.40 c #Conflicts: 1818000 | #Constraints: 72565
3600.00/3611.40 c #Conflicts: 1819000 | #Constraints: 73565
3600.00/3611.40 c #Conflicts: 1820000 | #Constraints: 74565
3600.00/3611.40 c #Conflicts: 1821000 | #Constraints: 75565
3600.00/3611.40 c #Conflicts: 1822000 | #Constraints: 76565
3600.00/3611.40 c #Conflicts: 1823000 | #Constraints: 77565
3600.00/3611.40 c #Conflicts: 1824000 | #Constraints: 78565
3600.00/3611.40 c #Conflicts: 1825000 | #Constraints: 79565
3600.00/3611.40 c #Conflicts: 1826000 | #Constraints: 80565
3600.00/3611.40 c #Conflicts: 1827000 | #Constraints: 81565
3600.00/3611.40 c INPROCESSING
3600.00/3611.40 c GARBAGE COLLECT
3600.00/3611.40 c #Conflicts: 1828000 | #Constraints: 55760
3600.00/3611.40 c #Conflicts: 1829000 | #Constraints: 56760
3600.00/3611.40 c #Conflicts: 1830000 | #Constraints: 57760
3600.00/3611.40 c #Conflicts: 1831000 | #Constraints: 58760
3600.00/3611.40 c #Conflicts: 1832000 | #Constraints: 59760
3600.00/3611.40 c #Conflicts: 1833000 | #Constraints: 60760
3600.00/3611.40 c #Conflicts: 1834000 | #Constraints: 61760
3600.00/3611.40 c #Conflicts: 1835000 | #Constraints: 62760
3600.00/3611.40 c #Conflicts: 1836000 | #Constraints: 63760
3600.00/3611.40 c #Conflicts: 1837000 | #Constraints: 64760
3600.00/3611.40 c #Conflicts: 1838000 | #Constraints: 65760
3600.00/3611.40 c #Conflicts: 1839000 | #Constraints: 66760
3600.00/3611.40 c #Conflicts: 1840000 | #Constraints: 67760
3600.00/3611.40 c #Conflicts: 1841000 | #Constraints: 68760
3600.00/3611.40 c #Conflicts: 1842000 | #Constraints: 69760
3600.00/3611.40 c #Conflicts: 1843000 | #Constraints: 70760
3600.00/3611.40 c #Conflicts: 1844000 | #Constraints: 71760
3600.00/3611.40 c #Conflicts: 1845000 | #Constraints: 72760
3600.00/3611.40 c #Conflicts: 1846000 | #Constraints: 73760
3600.00/3611.40 c #Conflicts: 1847000 | #Constraints: 74760
3600.00/3611.40 c #Conflicts: 1848000 | #Constraints: 75760
3600.00/3611.40 c #Conflicts: 1849000 | #Constraints: 76760
3600.00/3611.40 c #Conflicts: 1850000 | #Constraints: 77760
3600.00/3611.40 c #Conflicts: 1851000 | #Constraints: 78760
3600.00/3611.40 c #Conflicts: 1852000 | #Constraints: 79760
3600.00/3611.40 c #Conflicts: 1853000 | #Constraints: 80760
3600.00/3611.40 c #Conflicts: 1854000 | #Constraints: 81760
3600.00/3611.40 c INPROCESSING
3600.00/3611.40 c GARBAGE COLLECT
3600.00/3611.40 c #Conflicts: 1855000 | #Constraints: 55763
3600.00/3611.40 c Program interrupted by user.
3600.00/3611.40 c cpu time 3592.61 s
3600.00/3611.40 c deterministic time 573228487708 5.73e+11
3600.00/3611.40 c optimization time 1.45193 s
3600.00/3611.40 c total solve time 3292.02 s
3600.00/3611.40 c core-guided solve time 3292.02 s
3600.00/3611.40 c propagation time 3156.06 s
3600.00/3611.40 c conflict analysis time 106.346 s
3600.00/3611.40 c propagations 40432056
3600.00/3611.40 c resolve steps 14425692
3600.00/3611.40 c decisions 2601669
3600.00/3611.40 c conflicts 1855131
3600.00/3611.40 c restarts 3580
3600.00/3611.40 c inprocessing phases 127
3600.00/3611.40 c input clauses 27954
3600.00/3611.40 c input cardinalities 14
3600.00/3611.40 c input general constraints 0
3600.00/3611.40 c input average constraint length 2.31
3600.00/3611.40 c input average constraint degree 1.23
3600.00/3611.40 c learned clauses 1142787
3600.00/3611.40 c learned cardinalities 514718
3600.00/3611.40 c learned general constraints 197625
3600.00/3611.40 c learned average constraint length 547.79
3600.00/3611.40 c learned average constraint degree 8.38
3600.00/3611.40 c watched constraints 197625
3600.00/3611.40 c counting constraints 0
3600.00/3611.40 c gcd simplifications 130544
3600.00/3611.40 c detected cardinalities 41986
3600.00/3611.40 c weakened non-implied lits 16041358
3600.00/3611.40 c weakened non-implying lits 85966
3600.00/3611.40 c original variables 595
3600.00/3611.40 c clausal propagations 28786034
3600.00/3611.40 c cardinality propagations 6514917
3600.00/3611.40 c watched propagations 604471
3600.00/3611.40 c counting propagations 0
3600.00/3611.40 c watch lookups 28041409243
3600.00/3611.40 c watch backjump lookups 1482975
3600.00/3611.40 c watch checks 542277066017
3600.00/3611.40 c propagation checks 713260716
3600.00/3611.40 c constraint additions 2107346828
3600.00/3611.40 c trail pops 44888203
3600.00/3611.40 c formula constraints 27847
3600.00/3611.40 c learned constraints 1855130
3600.00/3611.40 c bound constraints 14
3600.00/3611.40 c core-guided constraints 107
3600.00/3611.40 c encountered formula constraints 12485586
3600.00/3611.40 c encountered learned constraints 3787879
3600.00/3611.40 c encountered bound constraints 2336
3600.00/3611.40 c encountered core-guided constraints 5022
3600.00/3611.40 c LP total time 0 s
3600.00/3611.40 c LP solve time 0 s
3600.00/3611.40 c LP constraints added 0
3600.00/3611.40 c LP constraints removed 0
3600.00/3611.40 c LP pivots internal 0
3600.00/3611.40 c LP pivots root 0
3600.00/3611.40 c LP calls 0
3600.00/3611.40 c LP optimalities 0
3600.00/3611.40 c LP no pivot count 0
3600.00/3611.40 c LP infeasibilities 0
3600.00/3611.40 c LP valid Farkas constraints 0
3600.00/3611.40 c LP learned Farkas constraints 0
3600.00/3611.40 c LP basis resets 0
3600.00/3611.40 c LP cycling count 0
3600.00/3611.40 c LP singular count 0
3600.00/3611.40 c LP no primal count 0
3600.00/3611.40 c LP no farkas count 0
3600.00/3611.40 c LP other issue count 0
3600.00/3611.40 c LP Gomory cuts 0
3600.00/3611.40 c LP learned cuts 0
3600.00/3611.40 c LP deleted cuts 0
3600.00/3611.40 c LP encountered Gomory constraints 0
3600.00/3611.40 c LP encountered Farkas constraints 0
3600.00/3611.40 c LP encountered learned Farkas constraints 0
3600.00/3611.40 c CG auxiliary variables introduced 107
3600.00/3611.40 c CG solutions found 0
3600.00/3611.40 c CG cores constructed 13
3600.00/3611.40 c CG core cardinality constraints returned 0
3600.00/3611.40 c CG unit cores 0
3600.00/3611.40 c CG single cores 13
3600.00/3611.40 c CG blocks removed during cardinality reduction 0
3600.00/3611.40 c CG first core best 0
3600.00/3611.40 c CG decision core best 0
3600.00/3611.40 c CG core reduction tie 0
3600.00/3611.40 c CG core degree average 1.00
3600.00/3611.40 c CG core slack average 7.31
3600.00/3611.40 c CG exhausted 0
3600.00/3611.40 c CG exhaust time 0 s
3600.00/3611.40 c CG trimmed 2
3600.00/3611.40 c CG trim time 0.00013 s
3600.00/3611.40 c CG minimized 0
3600.00/3611.40 c CG minimize time 0 s
3600.00/3611.40 c CG am1 prop time 0.002296 s
3600.00/3611.40 c CG # am1s reformulated 107
3600.00/3611.40 c CG lower bound derived from am1s 487
3600.00/3611.40 c CG # clausal cores 13
3600.00/3611.40 c CG # cardinality cores 0
3600.00/3611.40 c CG # pb cores 0
3600.00/3611.40 c CG # pb reforms 0
3600.00/3611.40 c CG # cores discarded because of pb reform 0
3600.00/3611.40 d LOWERBOUND -95
3600.00/3611.40 d NCORES 13
3600.00/3611.40 d NPBCORES 0
3600.00/3611.40 d NPBREFORM 0
3600.00/3611.40 d NTRIMMED 2
3600.00/3611.40 d NEXHAUSTED 0
3600.00/3611.40 d NAM1S 107
3600.00/3611.40 d AM1LB 487
3600.00/3611.40 c [Papilo Statistics]
3600.00/3611.40 c prepro time 0.101092s
3600.00/3611.40 c # tsx applied 0
3600.00/3611.40 c # tsx conflicts 0
3600.00/3611.40 c # bound changes 0
3600.00/3611.40 c # side changes 0
3600.00/3611.40 c # coef changes 0
3600.00/3611.40 c # rounds 1
3600.00/3611.40 c # deted vars 0
3600.00/3611.40 c # deted constrs 0
3600.00/3611.40 c # consecutive rounds of only bound changes 0
3600.00/3611.40 s UNKNOWN
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: 63794 MiB (60895 MiB free)
memory of node 1: 64507 MiB (63014 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528978-1752254228/watcher-4528978-1752254228 -o /tmp/evaluation-result-4528978-1752254228/solver-4528978-1752254228 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1752254228-117007 --watchdog 3760 mixed-bag HOME/instance-4528978-1752254228.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=117054, runsolver pid=117045
[startup+0.100066 s]*
/proc/loadavg: 1.27 2.93 3.68 6/253 117063
/proc/meminfo: memFree=126872328/131382112 swapFree=33010160/33010684
[pid=117054] ppid=117045 vsize=81856 memory=11092 CPUtime=0.08 cores=5,7
/proc/117054/stat : 117054 (mixed-bag) R 117045 117054 116989 0 -1 4194304 1180 0 0 0 8 0 0 0 20 0 1 0 141102654 83820544 2773 18446744073709551615 4235264 15840557 140730349084464 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 18047680 18058864 40828928 140730349087130 140730349087207 140730349087207 140730349092811 0
/proc/117054/statm: 20464 2773 2080 2834 0 3216 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 81856 KiB
Current children cumulated memory: 11092 KiB
[startup+0.219721 s]*
/proc/loadavg: 1.27 2.93 3.68 7/253 117063
/proc/meminfo: memFree=126848640/131382112 swapFree=33010160/33010684
[pid=117054] ppid=117045 vsize=102356 memory=23928 CPUtime=0.2 cores=5,7
/proc/117054/stat : 117054 (mixed-bag) R 117045 117054 116989 0 -1 4194304 5062 0 0 0 17 3 0 0 20 0 1 0 141102654 104812544 5982 18446744073709551615 4235264 15840557 140730349084464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 40828928 140730349087130 140730349087207 140730349087207 140730349092811 0
/proc/117054/statm: 25589 5982 2240 2834 0 7794 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 102356 KiB
Current children cumulated memory: 23928 KiB
[startup+0.313906 s]*
/proc/loadavg: 1.27 2.93 3.68 6/253 117063
/proc/meminfo: memFree=126833020/131382112 swapFree=33010160/33010684
[pid=117054] ppid=117045 vsize=105776 memory=33008 CPUtime=0.28 cores=5,7
/proc/117054/stat : 117054 (mixed-bag) R 117045 117054 116989 0 -1 4194304 6473 0 0 0 25 3 0 0 20 0 1 0 141102654 108314624 8252 18446744073709551615 4235264 15840557 140730349084464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 40828928 140730349087130 140730349087207 140730349087207 140730349092811 0
/proc/117054/statm: 26444 8252 3616 2834 0 8649 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 105776 KiB
Current children cumulated memory: 33008 KiB
[startup+0.700363 s]
/proc/loadavg: 1.27 2.93 3.68 6/253 117063
/proc/meminfo: memFree=126700972/131382112 swapFree=33010160/33010684
[pid=117054] ppid=117045 vsize=147444 memory=74564 CPUtime=0.65 cores=5,7
/proc/117054/stat : 117054 (mixed-bag) R 117045 117054 116989 0 -1 4194304 17688 0 0 0 58 7 0 0 20 0 1 0 141102654 150982656 18641 18446744073709551615 4235264 15840557 140730349084464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 40828928 140730349087130 140730349087207 140730349087207 140730349092811 0
/proc/117054/statm: 36861 18641 3936 2834 0 19066 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 147444 KiB
Current children cumulated memory: 74564 KiB
[startup+1.50034 s]
/proc/loadavg: 1.49 2.95 3.68 6/253 117063
/proc/meminfo: memFree=126646036/131382112 swapFree=33010160/33010684
[pid=117054] ppid=117045 vsize=226856 memory=149656 CPUtime=1.46 cores=5,7
/proc/117054/stat : 117054 (mixed-bag) R 117045 117054 116989 0 -1 4194304 33200 0 0 0 134 12 0 0 20 0 1 0 141102654 232300544 37414 18446744073709551615 4235264 15840557 140730349084464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 40828928 140730349087130 140730349087207 140730349087207 140730349092811 0
/proc/117054/statm: 56714 37414 4192 2834 0 38919 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 226856 KiB
Current children cumulated memory: 149656 KiB
[startup+3.11387 s]
/proc/loadavg: 1.49 2.95 3.68 6/253 117063
/proc/meminfo: memFree=126381556/131382112 swapFree=33010160/33010684
[pid=117054] ppid=117045 vsize=245184 memory=161816 CPUtime=3.06 cores=5,7
/proc/117054/stat : 117054 (mixed-bag) R 117045 117054 116989 0 -1 4194304 36238 0 0 0 293 13 0 0 20 0 1 0 141102654 251068416 40454 18446744073709551615 4235264 15840557 140730349084464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 40828928 140730349087130 140730349087207 140730349087207 140730349092811 0
/proc/117054/statm: 61296 40454 4192 2834 0 43501 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 245184 KiB
Current children cumulated memory: 161816 KiB
[startup+6.30026 s]
/proc/loadavg: 1.69 2.96 3.68 6/253 117063
/proc/meminfo: memFree=126329584/131382112 swapFree=33010160/33010684
[pid=117054] ppid=117045 vsize=270092 memory=168344 CPUtime=6.24 cores=5,7
/proc/117054/stat : 117054 (mixed-bag) R 117045 117054 116989 0 -1 4194304 37896 0 0 0 611 13 0 0 20 0 1 0 141102654 276574208 42086 18446744073709551615 4235264 15840557 140730349084464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 40828928 140730349087130 140730349087207 140730349087207 140730349092811 0
/proc/117054/statm: 67523 42086 4192 2834 0 49728 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 270092 KiB
Current children cumulated memory: 168344 KiB
[startup+12.7003 s]
/proc/loadavg: 1.87 2.98 3.68 6/253 117063
/proc/meminfo: memFree=126192524/131382112 swapFree=33010160/33010684
[pid=117054] ppid=117045 vsize=340292 memory=212484 CPUtime=12.62 cores=5,7
/proc/117054/stat : 117054 (mixed-bag) R 117045 117054 116989 0 -1 4194304 48391 0 0 0 1247 15 0 0 20 0 1 0 141102654 348459008 53121 18446744073709551615 4235264 15840557 140730349084464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 40828928 140730349087130 140730349087207 140730349087207 140730349092811 0
/proc/117054/statm: 85073 53121 4224 2834 0 67278 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 340292 KiB
Current children cumulated memory: 212484 KiB
[startup+25.5004 s]
/proc/loadavg: 2.20 3.02 3.69 6/253 117063
/proc/meminfo: memFree=126144588/131382112 swapFree=33010160/33010684
[pid=117054] ppid=117045 vsize=342796 memory=214868 CPUtime=25.38 cores=5,7
/proc/117054/stat : 117054 (mixed-bag) R 117045 117054 116989 0 -1 4194304 48463 0 0 0 2523 15 0 0 20 0 1 0 141102654 351023104 53717 18446744073709551615 4235264 15840557 140730349084464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 40828928 140730349087130 140730349087207 140730349087207 140730349092811 0
/proc/117054/statm: 85699 53717 4224 2834 0 67904 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 342796 KiB
Current children cumulated memory: 214868 KiB
[startup+51.1129 s]
/proc/loadavg: 3.03 3.14 3.71 6/253 117064
/proc/meminfo: memFree=126091728/131382112 swapFree=33010160/33010684
[pid=117054] ppid=117045 vsize=405668 memory=249940 CPUtime=50.9 cores=5,7
/proc/117054/stat : 117054 (mixed-bag) R 117045 117054 116989 0 -1 4194304 57239 0 0 0 5074 16 0 0 20 0 1 0 141102654 415404032 62485 18446744073709551615 4235264 15840557 140730349084464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 40828928 140730349087130 140730349087207 140730349087207 140730349092811 0
/proc/117054/statm: 101417 62485 4224 2834 0 83622 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 405668 KiB
Current children cumulated memory: 249940 KiB
[startup+102.3 s]
/proc/loadavg: 3.63 3.29 3.73 6/255 117068
/proc/meminfo: memFree=125844680/131382112 swapFree=33010160/33010684
[pid=117054] ppid=117045 vsize=489684 memory=290116 CPUtime=101.93 cores=5,7
/proc/117054/stat : 117054 (mixed-bag) R 117045 117054 116989 0 -1 4194304 69152 0 0 0 10175 18 0 0 20 0 1 0 141102654 501436416 72529 18446744073709551615 4235264 15840557 140730349084464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 40828928 140730349087130 140730349087207 140730349087207 140730349092811 0
/proc/117054/statm: 122421 72529 4224 2834 0 104626 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 489684 KiB
Current children cumulated memory: 290116 KiB
[startup+162.3 s]
/proc/loadavg: 3.91 3.44 3.76 6/254 117070
/proc/meminfo: memFree=125604564/131382112 swapFree=33010160/33010684
[pid=117054] ppid=117045 vsize=610548 memory=389552 CPUtime=161.71 cores=5,7
/proc/117054/stat : 117054 (mixed-bag) R 117045 117054 116989 0 -1 4194304 84341 0 0 0 16149 22 0 0 20 0 1 0 141102654 625201152 97388 18446744073709551615 4235264 15840557 140730349084464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 40828928 140730349087130 140730349087207 140730349087207 140730349092811 0
/proc/117054/statm: 152637 97388 4352 2834 0 134842 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 610548 KiB
Current children cumulated memory: 389552 KiB
[startup+222.3 s]
/proc/loadavg: 4.00 3.56 3.78 6/254 117071
/proc/meminfo: memFree=125418336/131382112 swapFree=33010160/33010684
[pid=117054] ppid=117045 vsize=662196 memory=470216 CPUtime=221.5 cores=5,7
/proc/117054/stat : 117054 (mixed-bag) R 117045 117054 116989 0 -1 4194304 93629 0 0 0 22126 24 0 0 20 0 1 0 141102654 678088704 117554 18446744073709551615 4235264 15840557 140730349084464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 40828928 140730349087130 140730349087207 140730349087207 140730349092811 0
/proc/117054/statm: 165549 117554 4352 2834 0 147754 0
Current children cumulated CPU time: 221.5 s
Current children cumulated vsize: 662196 KiB
Current children cumulated memory: 470216 KiB
[startup+282.3 s]
/proc/loadavg: 4.04 3.66 3.80 6/253 117073
/proc/meminfo: memFree=125263660/131382112 swapFree=33010160/33010684
[pid=117054] ppid=117045 vsize=708640 memory=553148 CPUtime=281.32 cores=5,7
/proc/117054/stat : 117054 (mixed-bag) R 117045 117054 116989 0 -1 4194304 104212 0 0 0 28106 26 0 0 20 0 1 0 141102654 725647360 138287 18446744073709551615 4235264 15840557 140730349084464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 40828928 140730349087130 140730349087207 140730349087207 140730349092811 0
/proc/117054/statm: 177160 138287 4352 2834 0 159365 0
Current children cumulated CPU time: 281.32 s
Current children cumulated vsize: 708640 KiB
Current children cumulated memory: 553148 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 3.75 3.83 5/253 117121
/proc/meminfo: memFree=125179512/131382112 swapFree=33010160/33010684
[pid=117054] ppid=117045 vsize=578000 memory=486436 CPUtime=341.14 cores=5,7
/proc/117054/stat : 117054 (mixed-bag) R 117045 117054 116989 0 -1 4194304 105946 0 0 0 34053 61 0 0 20 0 1 0 141102654 591872000 121609 18446744073709551615 4235264 15840557 140730349084464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 40828928 140730349087130 140730349087207 140730349087207 140730349092811 0
/proc/117054/statm: 144500 121609 4512 2834 0 126705 0
Current children cumulated CPU time: 341.14 s
Current children cumulated vsize: 578000 KiB
Current children cumulated memory: 486436 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 3.81 3.85 5/252 117123
/proc/meminfo: memFree=125078152/131382112 swapFree=33010160/33010684
[pid=117054] ppid=117045 vsize=596968 memory=498892 CPUtime=400.97 cores=5,7
/proc/117054/stat : 117054 (mixed-bag) R 117045 117054 116989 0 -1 4194304 106521 0 0 0 40002 95 0 0 20 0 1 0 141102654 611295232 124723 18446744073709551615 4235264 15840557 140730349084464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 40828928 140730349087130 140730349087207 140730349087207 140730349092811 0
/proc/117054/statm: 149242 124723 4512 2834 0 131447 0
Current children cumulated CPU time: 400.97 s
Current children cumulated vsize: 596968 KiB
Current children cumulated memory: 498892 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 3.87 3.86 5/251 117125
/proc/meminfo: memFree=124993232/131382112 swapFree=33010160/33010684
[pid=117054] ppid=117045 vsize=627788 memory=509900 CPUtime=460.79 cores=5,7
/proc/117054/stat : 117054 (mixed-bag) R 117045 117054 116989 0 -1 4194304 106834 0 0 0 45959 120 0 0 20 0 1 0 141102654 642854912 127475 18446744073709551615 4235264 15840557 140730349084464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 40828928 140730349087130 140730349087207 140730349087207 140730349092811 0
/proc/117054/statm: 156947 127475 4512 2834 0 139152 0
################
# More data... #
################
Current children cumulated memory: 579840 KiB
[startup+2862.3 s]
/proc/loadavg: 4.09 4.11 4.13 5/249 117294
/proc/meminfo: memFree=121870724/131382112 swapFree=33010160/33010684
[pid=117054] ppid=117045 vsize=677876 memory=579840 CPUtime=2852.94 cores=5,7
/proc/117054/stat : 117054 (mixed-bag) R 117045 117054 116989 0 -1 4194304 108084 0 0 0 284671 623 0 0 20 0 1 0 141102654 694145024 144960 18446744073709551615 4235264 15840557 140730349084464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 40828928 140730349087130 140730349087207 140730349087207 140730349092811 0
/proc/117054/statm: 169469 144960 4512 2834 0 151674 0
Current children cumulated CPU time: 2852.94 s
Current children cumulated vsize: 677876 KiB
Current children cumulated memory: 579840 KiB
[startup+2922.3 s]
/proc/loadavg: 4.14 4.12 4.13 5/250 117297
/proc/meminfo: memFree=121873172/131382112 swapFree=33010160/33010684
[pid=117054] ppid=117045 vsize=677876 memory=579840 CPUtime=2912.74 cores=5,7
/proc/117054/stat : 117054 (mixed-bag) R 117045 117054 116989 0 -1 4194304 108084 0 0 0 290640 634 0 0 20 0 1 0 141102654 694145024 144960 18446744073709551615 4235264 15840557 140730349084464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 40828928 140730349087130 140730349087207 140730349087207 140730349092811 0
/proc/117054/statm: 169469 144960 4512 2834 0 151674 0
Current children cumulated CPU time: 2912.74 s
Current children cumulated vsize: 677876 KiB
Current children cumulated memory: 579840 KiB
[startup+2982.3 s]
/proc/loadavg: 4.11 4.11 4.12 5/251 117302
/proc/meminfo: memFree=121866276/131382112 swapFree=33010160/33010684
[pid=117054] ppid=117045 vsize=677876 memory=585984 CPUtime=2972.54 cores=5,7
/proc/117054/stat : 117054 (mixed-bag) R 117045 117054 116989 0 -1 4194304 108095 0 0 0 296610 644 0 0 20 0 1 0 141102654 694145024 146496 18446744073709551615 4235264 15840557 140730349084464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 40828928 140730349087130 140730349087207 140730349087207 140730349092811 0
/proc/117054/statm: 169469 146496 4512 2834 0 151674 0
Current children cumulated CPU time: 2972.54 s
Current children cumulated vsize: 677876 KiB
Current children cumulated memory: 585984 KiB
[startup+3042.3 s]
/proc/loadavg: 4.16 4.12 4.12 5/252 117309
/proc/meminfo: memFree=121870780/131382112 swapFree=33010160/33010684
[pid=117054] ppid=117045 vsize=677876 memory=588032 CPUtime=3032.35 cores=5,7
/proc/117054/stat : 117054 (mixed-bag) R 117045 117054 116989 0 -1 4194304 108127 0 0 0 302580 655 0 0 20 0 1 0 141102654 694145024 147008 18446744073709551615 4235264 15840557 140730349084464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 40828928 140730349087130 140730349087207 140730349087207 140730349092811 0
/proc/117054/statm: 169469 147008 4512 2834 0 151674 0
Current children cumulated CPU time: 3032.35 s
Current children cumulated vsize: 677876 KiB
Current children cumulated memory: 588032 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.11 4.12 5/252 117311
/proc/meminfo: memFree=121816024/131382112 swapFree=33010160/33010684
[pid=117054] ppid=117045 vsize=677876 memory=588032 CPUtime=3092.2 cores=5,7
/proc/117054/stat : 117054 (mixed-bag) R 117045 117054 116989 0 -1 4194304 108127 0 0 0 308556 664 0 0 20 0 1 0 141102654 694145024 147008 18446744073709551615 4235264 15840557 140730349084464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 40828928 140730349087130 140730349087207 140730349087207 140730349092811 0
/proc/117054/statm: 169469 147008 4512 2834 0 151674 0
Current children cumulated CPU time: 3092.2 s
Current children cumulated vsize: 677876 KiB
Current children cumulated memory: 588032 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.11 4.11 5/252 117313
/proc/meminfo: memFree=121811380/131382112 swapFree=33010160/33010684
[pid=117054] ppid=117045 vsize=677876 memory=588032 CPUtime=3152.05 cores=5,7
/proc/117054/stat : 117054 (mixed-bag) R 117045 117054 116989 0 -1 4194304 108129 0 0 0 314532 673 0 0 20 0 1 0 141102654 694145024 147008 18446744073709551615 4235264 15840557 140730349084464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 40828928 140730349087130 140730349087207 140730349087207 140730349092811 0
/proc/117054/statm: 169469 147008 4512 2834 0 151674 0
Current children cumulated CPU time: 3152.05 s
Current children cumulated vsize: 677876 KiB
Current children cumulated memory: 588032 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.12 4.11 5/251 117315
/proc/meminfo: memFree=121804124/131382112 swapFree=33010160/33010684
[pid=117054] ppid=117045 vsize=677876 memory=588032 CPUtime=3211.89 cores=5,7
/proc/117054/stat : 117054 (mixed-bag) R 117045 117054 116989 0 -1 4194304 108130 0 0 0 320508 681 0 0 20 0 1 0 141102654 694145024 147008 18446744073709551615 4235264 15840557 140730349084464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 40828928 140730349087130 140730349087207 140730349087207 140730349092811 0
/proc/117054/statm: 169469 147008 4512 2834 0 151674 0
Current children cumulated CPU time: 3211.89 s
Current children cumulated vsize: 677876 KiB
Current children cumulated memory: 588032 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.11 4.10 5/251 117317
/proc/meminfo: memFree=121660848/131382112 swapFree=33010160/33010684
[pid=117054] ppid=117045 vsize=677876 memory=590080 CPUtime=3271.74 cores=5,7
/proc/117054/stat : 117054 (mixed-bag) R 117045 117054 116989 0 -1 4194304 108132 0 0 0 326484 690 0 0 20 0 1 0 141102654 694145024 147520 18446744073709551615 4235264 15840557 140730349084464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 40828928 140730349087130 140730349087207 140730349087207 140730349092811 0
/proc/117054/statm: 169469 147520 4512 2834 0 151674 0
Current children cumulated CPU time: 3271.74 s
Current children cumulated vsize: 677876 KiB
Current children cumulated memory: 590080 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.10 4.10 5/250 117319
/proc/meminfo: memFree=121660992/131382112 swapFree=33010160/33010684
[pid=117054] ppid=117045 vsize=677876 memory=590080 CPUtime=3331.59 cores=5,7
/proc/117054/stat : 117054 (mixed-bag) R 117045 117054 116989 0 -1 4194304 108132 0 0 0 332458 701 0 0 20 0 1 0 141102654 694145024 147520 18446744073709551615 4235264 15840557 140730349084464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 40828928 140730349087130 140730349087207 140730349087207 140730349092811 0
/proc/117054/statm: 169469 147520 4512 2834 0 151674 0
Current children cumulated CPU time: 3331.59 s
Current children cumulated vsize: 677876 KiB
Current children cumulated memory: 590080 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.11 4.10 5/250 117321
/proc/meminfo: memFree=121649820/131382112 swapFree=33010160/33010684
[pid=117054] ppid=117045 vsize=677876 memory=590080 CPUtime=3391.43 cores=5,7
/proc/117054/stat : 117054 (mixed-bag) R 117045 117054 116989 0 -1 4194304 108133 0 0 0 338434 709 0 0 20 0 1 0 141102654 694145024 147520 18446744073709551615 4235264 15840557 140730349084464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 40828928 140730349087130 140730349087207 140730349087207 140730349092811 0
/proc/117054/statm: 169469 147520 4512 2834 0 151674 0
Current children cumulated CPU time: 3391.43 s
Current children cumulated vsize: 677876 KiB
Current children cumulated memory: 590080 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/250 117323
/proc/meminfo: memFree=121647444/131382112 swapFree=33010160/33010684
[pid=117054] ppid=117045 vsize=677876 memory=590080 CPUtime=3451.27 cores=5,7
/proc/117054/stat : 117054 (mixed-bag) R 117045 117054 116989 0 -1 4194304 108133 0 0 0 344410 717 0 0 20 0 1 0 141102654 694145024 147520 18446744073709551615 4235264 15840557 140730349084464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 40828928 140730349087130 140730349087207 140730349087207 140730349092811 0
/proc/117054/statm: 169469 147520 4512 2834 0 151674 0
Current children cumulated CPU time: 3451.27 s
Current children cumulated vsize: 677876 KiB
Current children cumulated memory: 590080 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/251 117326
/proc/meminfo: memFree=121639380/131382112 swapFree=33010160/33010684
[pid=117054] ppid=117045 vsize=677876 memory=594176 CPUtime=3511.12 cores=5,7
/proc/117054/stat : 117054 (mixed-bag) R 117045 117054 116989 0 -1 4194304 108196 0 0 0 350387 725 0 0 20 0 1 0 141102654 694145024 148544 18446744073709551615 4235264 15840557 140730349084464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 40828928 140730349087130 140730349087207 140730349087207 140730349092811 0
/proc/117054/statm: 169469 148544 4512 2834 0 151674 0
Current children cumulated CPU time: 3511.12 s
Current children cumulated vsize: 677876 KiB
Current children cumulated memory: 594176 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/251 117330
/proc/meminfo: memFree=121641204/131382112 swapFree=33010160/33010684
[pid=117054] ppid=117045 vsize=677876 memory=594176 CPUtime=3570.97 cores=5,7
/proc/117054/stat : 117054 (mixed-bag) R 117045 117054 116989 0 -1 4194304 108285 0 0 0 356363 734 0 0 20 0 1 0 141102654 694145024 148544 18446744073709551615 4235264 15840557 140730349084464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 40828928 140730349087130 140730349087207 140730349087207 140730349092811 0
/proc/117054/statm: 169469 148544 4512 2834 0 151674 0
Current children cumulated CPU time: 3570.97 s
Current children cumulated vsize: 677876 KiB
Current children cumulated memory: 594176 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.4 s]
/proc/loadavg: 4.14 4.10 4.09 3/242 117347
/proc/meminfo: memFree=122811452/131382112 swapFree=33010160/33010684
[pid=117054] ppid=117045 vsize=677876 memory=594432 CPUtime=3600 cores=5,7
/proc/117054/stat : 117054 (mixed-bag) R 117045 117054 116989 0 -1 4194304 108371 0 0 0 359261 739 0 0 20 0 1 0 141102654 694145024 148608 18446744073709551615 4235264 15840557 140730349084464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 40828928 140730349087130 140730349087207 140730349087207 140730349092811 0
/proc/117054/statm: 169469 148608 4512 2834 0 151674 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 677876 KiB
Current children cumulated memory: 594432 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.41 s]
# the end of solver process 117054 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3592.62 s, system=7.39327 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3611.41
CPU time (s): 3600.01
CPU user time (s): 3592.62
CPU system time (s): 7.39327
CPU usage (%): 99.6844
Max. virtual memory (cumulated for all children) (KiB): 708640
Max. memory (cumulated for all children) (KiB): 594432
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.62
system time used= 7.39327
maximum resident set size= 595200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 108401
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 240
involuntary context switches= 1302
# summary of solver processes directly reported to runsolver:
# pid: 117054
# total CPU time (s): 3600.01
# total CPU user time (s): 3592.62
# total CPU system time (s): 7.39327
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.8383 second user time and 36.2598 second system time
The end
Begin job on nodeC009 at 2025-07-11 19:17:09
IDJOB=4528978
IDBENCH=146693
IDSOLVER=3386
FILE ID=nodeC009/4528978-1752254228
RUNJOBID= nodeC009-1752254228-117007
SLURM_JOB_ID= 9682591
Free space on /tmp= 431224 MiB
SOLVER NAME= mixed-bag-2024 2025-07-10
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-2.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528978-1752254228/watcher-4528978-1752254228 -o /tmp/evaluation-result-4528978-1752254228/solver-4528978-1752254228 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1752254228-117007 --watchdog 3760 mixed-bag HOME/instance-4528978-1752254228.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d08022a8f602c12904bf031cb8221b8f
RANDOM SEED=1706202925
nodeC009 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.228
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.241
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.313
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.244
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.212
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 126877356 kB
MemAvailable: 129845436 kB
Buffers: 2144 kB
Cached: 3699076 kB
SwapCached: 24 kB
Active: 752052 kB
Inactive: 3016452 kB
Active(anon): 81040 kB
Inactive(anon): 4180 kB
Active(file): 671012 kB
Inactive(file): 3012272 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 63188 kB
Writeback: 0 kB
AnonPages: 70368 kB
Mapped: 104872 kB
Shmem: 17936 kB
KReclaimable: 248460 kB
Slab: 338996 kB
SReclaimable: 248460 kB
SUnreclaim: 90536 kB
KernelStack: 3748 kB
PageTables: 2380 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 332604 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149304 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 10240 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: 172872 kB
DirectMap2M: 9166848 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 431164 MiB
End job on nodeC009 at 2025-07-11 20:17:20