0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.39/0.45 c #variables 23324 #constraints 23718
115.33/115.78 c #Conflicts: 1000 | #Constraints: 24717
115.33/115.78 c #Conflicts: 2000 | #Constraints: 25717
115.33/115.78 c INPROCESSING
115.33/115.78 c GARBAGE COLLECT
115.33/115.78 c #Conflicts: 3000 | #Constraints: 24970
115.33/115.78 c #Conflicts: 4000 | #Constraints: 25970
115.33/115.78 c INPROCESSING
115.33/115.78 c GARBAGE COLLECT
115.33/115.78 c #Conflicts: 5000 | #Constraints: 25497
115.33/115.78 c #Conflicts: 6000 | #Constraints: 26497
115.33/115.78 c INPROCESSING
115.33/115.78 c GARBAGE COLLECT
115.33/115.78 c #Conflicts: 7000 | #Constraints: 25719
115.33/115.78 c #Conflicts: 8000 | #Constraints: 26719
115.33/115.78 c #Conflicts: 9000 | #Constraints: 27719
115.33/115.78 c #Conflicts: 10000 | #Constraints: 28719
115.33/115.78 c #Conflicts: 11000 | #Constraints: 29719
115.33/115.78 c #Conflicts: 12000 | #Constraints: 30719
115.33/115.78 c INPROCESSING
115.33/115.78 c GARBAGE COLLECT
115.33/115.78 c #Conflicts: 13000 | #Constraints: 27736
115.33/115.78 c #Conflicts: 14000 | #Constraints: 28736
115.33/115.78 c #Conflicts: 15000 | #Constraints: 29736
115.33/115.78 c #Conflicts: 16000 | #Constraints: 30736
115.33/115.78 c INPROCESSING
115.33/115.78 c GARBAGE COLLECT
115.33/115.78 c #Conflicts: 17000 | #Constraints: 28598
115.33/115.78 c #Conflicts: 18000 | #Constraints: 29598
115.33/115.78 c #Conflicts: 19000 | #Constraints: 30598
115.33/115.78 c #Conflicts: 20000 | #Constraints: 31598
115.33/115.78 c #Conflicts: 21000 | #Constraints: 32598
115.33/115.78 c #Conflicts: 22000 | #Constraints: 33598
115.33/115.78 c #Conflicts: 23000 | #Constraints: 34598
115.33/115.78 c #Conflicts: 24000 | #Constraints: 35598
115.33/115.78 c #Conflicts: 25000 | #Constraints: 36598
115.33/115.78 c INPROCESSING
115.33/115.78 c GARBAGE COLLECT
115.33/115.78 c #Conflicts: 26000 | #Constraints: 30758
115.33/115.78 c #Conflicts: 27000 | #Constraints: 31758
115.33/115.78 c #Conflicts: 28000 | #Constraints: 32758
115.33/115.78 c #Conflicts: 29000 | #Constraints: 33758
115.33/115.78 c #Conflicts: 30000 | #Constraints: 34758
115.33/115.78 c INPROCESSING
115.33/115.78 c GARBAGE COLLECT
115.33/115.78 c #Conflicts: 31000 | #Constraints: 31469
115.33/115.78 c #Conflicts: 32000 | #Constraints: 32469
115.33/115.78 c #Conflicts: 33000 | #Constraints: 33469
115.33/115.78 c #Conflicts: 34000 | #Constraints: 34469
115.33/115.78 c #Conflicts: 35000 | #Constraints: 35469
115.33/115.78 c #Conflicts: 36000 | #Constraints: 36469
115.33/115.78 c #Conflicts: 37000 | #Constraints: 37469
115.33/115.78 c #Conflicts: 38000 | #Constraints: 38469
115.33/115.78 c #Conflicts: 39000 | #Constraints: 39469
115.33/115.78 c #Conflicts: 40000 | #Constraints: 40469
115.33/115.78 c #Conflicts: 41000 | #Constraints: 41469
115.33/115.78 c #Conflicts: 42000 | #Constraints: 42469
115.33/115.78 c #Conflicts: 43000 | #Constraints: 43469
115.33/115.78 c INPROCESSING
115.33/115.78 c GARBAGE COLLECT
115.33/115.78 c #Conflicts: 44000 | #Constraints: 34658
115.33/115.78 c #Conflicts: 45000 | #Constraints: 35658
115.33/115.78 c #Conflicts: 46000 | #Constraints: 36658
115.33/115.78 c #Conflicts: 47000 | #Constraints: 37658
115.33/115.78 c #Conflicts: 48000 | #Constraints: 38658
115.33/115.78 c #Conflicts: 49000 | #Constraints: 39658
115.33/115.78 c #Conflicts: 50000 | #Constraints: 40658
115.33/115.78 c #Conflicts: 51000 | #Constraints: 41658
115.33/115.78 c #Conflicts: 52000 | #Constraints: 42658
115.33/115.78 c #Conflicts: 53000 | #Constraints: 43658
115.33/115.78 c #Conflicts: 54000 | #Constraints: 44658
115.33/115.78 c #Conflicts: 55000 | #Constraints: 45658
115.33/115.78 c #Conflicts: 56000 | #Constraints: 46658
115.33/115.78 c #Conflicts: 57000 | #Constraints: 47658
115.33/115.78 c INPROCESSING
115.33/115.78 c GARBAGE COLLECT
115.33/115.78 c #Conflicts: 58000 | #Constraints: 36755
115.33/115.78 c #Conflicts: 59000 | #Constraints: 37755
115.33/115.78 c #Conflicts: 60000 | #Constraints: 38755
115.33/115.78 c #Conflicts: 61000 | #Constraints: 39755
115.33/115.78 c #Conflicts: 62000 | #Constraints: 40755
115.33/115.78 c #Conflicts: 63000 | #Constraints: 41755
115.33/115.78 c #Conflicts: 64000 | #Constraints: 42755
115.33/115.78 c #Conflicts: 65000 | #Constraints: 43755
115.33/115.78 c #Conflicts: 66000 | #Constraints: 44755
115.33/115.78 c #Conflicts: 67000 | #Constraints: 45755
115.33/115.78 c #Conflicts: 68000 | #Constraints: 46755
115.33/115.78 c #Conflicts: 69000 | #Constraints: 47755
115.33/115.78 c #Conflicts: 70000 | #Constraints: 48755
115.33/115.78 c #Conflicts: 71000 | #Constraints: 49755
115.33/115.78 c #Conflicts: 72000 | #Constraints: 50755
115.33/115.78 c #Conflicts: 73000 | #Constraints: 51755
115.33/115.78 c #Conflicts: 74000 | #Constraints: 52755
246.94/247.70 c INPROCESSING
246.94/247.70 c GARBAGE COLLECT
246.94/247.70 c #Conflicts: 75000 | #Constraints: 39693
246.94/247.70 c #Conflicts: 76000 | #Constraints: 40693
246.94/247.70 c #Conflicts: 77000 | #Constraints: 41693
246.94/247.70 c #Conflicts: 78000 | #Constraints: 42693
246.94/247.70 c #Conflicts: 79000 | #Constraints: 43693
246.94/247.70 c #Conflicts: 80000 | #Constraints: 44693
246.94/247.70 c #Conflicts: 81000 | #Constraints: 45693
246.94/247.70 c #Conflicts: 82000 | #Constraints: 46693
246.94/247.70 c #Conflicts: 83000 | #Constraints: 47693
246.94/247.70 c #Conflicts: 84000 | #Constraints: 48693
246.94/247.70 c #Conflicts: 85000 | #Constraints: 49693
246.94/247.70 c #Conflicts: 86000 | #Constraints: 50693
246.94/247.70 c #Conflicts: 87000 | #Constraints: 51693
246.94/247.70 c #Conflicts: 88000 | #Constraints: 52693
246.94/247.70 c #Conflicts: 89000 | #Constraints: 53693
246.94/247.70 c #Conflicts: 90000 | #Constraints: 54693
246.94/247.70 c #Conflicts: 91000 | #Constraints: 55693
246.94/247.70 c #Conflicts: 92000 | #Constraints: 56693
246.94/247.70 c INPROCESSING
246.94/247.70 c GARBAGE COLLECT
246.94/247.70 c #Conflicts: 93000 | #Constraints: 41594
246.94/247.70 c #Conflicts: 94000 | #Constraints: 42594
246.94/247.70 c #Conflicts: 95000 | #Constraints: 43594
246.94/247.70 c #Conflicts: 96000 | #Constraints: 44594
246.94/247.70 c #Conflicts: 97000 | #Constraints: 45594
246.94/247.70 c #Conflicts: 98000 | #Constraints: 46594
246.94/247.70 c #Conflicts: 99000 | #Constraints: 47594
246.94/247.70 c #Conflicts: 100000 | #Constraints: 48594
246.94/247.70 c #Conflicts: 101000 | #Constraints: 49595
246.94/247.70 c #Conflicts: 102000 | #Constraints: 50595
246.94/247.70 c #Conflicts: 103000 | #Constraints: 51595
246.94/247.70 c #Conflicts: 104000 | #Constraints: 52595
246.94/247.70 c #Conflicts: 105000 | #Constraints: 53595
246.94/247.70 c #Conflicts: 106000 | #Constraints: 54595
246.94/247.70 c #Conflicts: 107000 | #Constraints: 55595
246.94/247.70 c #Conflicts: 108000 | #Constraints: 56595
246.94/247.70 c #Conflicts: 109000 | #Constraints: 57595
246.94/247.70 c #Conflicts: 110000 | #Constraints: 58595
246.94/247.70 c #Conflicts: 111000 | #Constraints: 59595
246.94/247.70 c #Conflicts: 112000 | #Constraints: 60595
246.94/247.70 c INPROCESSING
246.94/247.70 c GARBAGE COLLECT
246.94/247.70 c #Conflicts: 113000 | #Constraints: 43350
246.94/247.70 c #Conflicts: 114000 | #Constraints: 44350
246.94/247.70 c #Conflicts: 115000 | #Constraints: 45350
246.94/247.70 c #Conflicts: 116000 | #Constraints: 46350
246.94/247.70 c #Conflicts: 117000 | #Constraints: 47350
246.94/247.70 c #Conflicts: 118000 | #Constraints: 48350
246.94/247.70 c #Conflicts: 119000 | #Constraints: 49350
246.94/247.70 c #Conflicts: 120000 | #Constraints: 50350
246.94/247.70 c #Conflicts: 121000 | #Constraints: 51350
246.94/247.70 c #Conflicts: 122000 | #Constraints: 52350
246.94/247.70 c #Conflicts: 123000 | #Constraints: 53350
246.94/247.70 c #Conflicts: 124000 | #Constraints: 54350
246.94/247.70 c #Conflicts: 125000 | #Constraints: 55350
246.94/247.70 c #Conflicts: 126000 | #Constraints: 56350
246.94/247.70 c #Conflicts: 127000 | #Constraints: 57350
246.94/247.70 c #Conflicts: 128000 | #Constraints: 58350
246.94/247.70 c #Conflicts: 129000 | #Constraints: 59350
246.94/247.70 c #Conflicts: 130000 | #Constraints: 60350
246.94/247.70 c #Conflicts: 131000 | #Constraints: 61350
246.94/247.70 c #Conflicts: 132000 | #Constraints: 62350
246.94/247.70 c #Conflicts: 133000 | #Constraints: 63350
246.94/247.70 c #Conflicts: 134000 | #Constraints: 64350
246.94/247.70 c #Conflicts: 135000 | #Constraints: 65350
246.94/247.70 c INPROCESSING
246.94/247.70 c GARBAGE COLLECT
246.94/247.70 c #Conflicts: 136000 | #Constraints: 46148
246.94/247.70 c #Conflicts: 137000 | #Constraints: 47148
246.94/247.70 c #Conflicts: 138000 | #Constraints: 48148
246.94/247.70 c #Conflicts: 139000 | #Constraints: 49148
246.94/247.70 c #Conflicts: 140000 | #Constraints: 50148
246.94/247.70 c #Conflicts: 141000 | #Constraints: 51148
246.94/247.70 c #Conflicts: 142000 | #Constraints: 52148
246.94/247.70 c #Conflicts: 143000 | #Constraints: 53148
246.94/247.70 c #Conflicts: 144000 | #Constraints: 54148
246.94/247.70 c #Conflicts: 145000 | #Constraints: 55148
246.94/247.70 c #Conflicts: 146000 | #Constraints: 56148
246.94/247.70 c #Conflicts: 147000 | #Constraints: 57148
246.94/247.70 c #Conflicts: 148000 | #Constraints: 58148
246.94/247.70 c #Conflicts: 149000 | #Constraints: 59148
246.94/247.70 c #Conflicts: 150000 | #Constraints: 60148
433.41/434.74 c #Conflicts: 151000 | #Constraints: 61148
433.41/434.74 c #Conflicts: 152000 | #Constraints: 62148
433.41/434.74 c #Conflicts: 153000 | #Constraints: 63148
433.41/434.74 c #Conflicts: 154000 | #Constraints: 64148
433.41/434.74 c #Conflicts: 155000 | #Constraints: 65148
433.41/434.74 c #Conflicts: 156000 | #Constraints: 66148
433.41/434.74 c #Conflicts: 157000 | #Constraints: 67148
433.41/434.74 c #Conflicts: 158000 | #Constraints: 68148
433.41/434.74 c #Conflicts: 159000 | #Constraints: 69148
433.41/434.74 c INPROCESSING
433.41/434.74 c GARBAGE COLLECT
433.41/434.74 c #Conflicts: 160000 | #Constraints: 47924
433.41/434.74 c #Conflicts: 161000 | #Constraints: 48924
433.41/434.74 c #Conflicts: 162000 | #Constraints: 49924
433.41/434.74 c #Conflicts: 163000 | #Constraints: 50924
433.41/434.74 c #Conflicts: 164000 | #Constraints: 51924
433.41/434.74 c #Conflicts: 165000 | #Constraints: 52924
433.41/434.74 c #Conflicts: 166000 | #Constraints: 53924
433.41/434.74 c #Conflicts: 167000 | #Constraints: 54924
433.41/434.74 c #Conflicts: 168000 | #Constraints: 55924
433.41/434.74 c #Conflicts: 169000 | #Constraints: 56924
433.41/434.74 c #Conflicts: 170000 | #Constraints: 57924
433.41/434.74 c #Conflicts: 171000 | #Constraints: 58924
433.41/434.74 c #Conflicts: 172000 | #Constraints: 59924
433.41/434.74 c #Conflicts: 173000 | #Constraints: 60924
433.41/434.74 c #Conflicts: 174000 | #Constraints: 61924
433.41/434.74 c #Conflicts: 175000 | #Constraints: 62924
433.41/434.74 c #Conflicts: 176000 | #Constraints: 63924
433.41/434.74 c #Conflicts: 177000 | #Constraints: 64924
433.41/434.74 c #Conflicts: 178000 | #Constraints: 65924
433.41/434.74 c #Conflicts: 179000 | #Constraints: 66924
433.41/434.74 c #Conflicts: 180000 | #Constraints: 67924
433.41/434.74 c #Conflicts: 181000 | #Constraints: 68924
433.41/434.74 c #Conflicts: 182000 | #Constraints: 69924
433.41/434.74 c #Conflicts: 183000 | #Constraints: 70924
433.41/434.74 c #Conflicts: 184000 | #Constraints: 71924
433.41/434.74 c #Conflicts: 185000 | #Constraints: 72924
433.41/434.74 c #Conflicts: 186000 | #Constraints: 73924
433.41/434.74 c INPROCESSING
433.41/434.74 c GARBAGE COLLECT
433.41/434.74 c #Conflicts: 187000 | #Constraints: 50637
433.41/434.74 c #Conflicts: 188000 | #Constraints: 51637
433.41/434.74 c #Conflicts: 189000 | #Constraints: 52637
433.41/434.74 c #Conflicts: 190000 | #Constraints: 53637
433.41/434.74 c #Conflicts: 191000 | #Constraints: 54637
433.41/434.74 c #Conflicts: 192000 | #Constraints: 55637
433.41/434.74 c #Conflicts: 193000 | #Constraints: 56637
433.41/434.74 c #Conflicts: 194000 | #Constraints: 57637
433.41/434.74 c #Conflicts: 195000 | #Constraints: 58637
433.41/434.74 c #Conflicts: 196000 | #Constraints: 59637
433.41/434.74 c #Conflicts: 197000 | #Constraints: 60637
433.41/434.74 c #Conflicts: 198000 | #Constraints: 61637
433.41/434.74 c #Conflicts: 199000 | #Constraints: 62637
433.41/434.74 c #Conflicts: 200000 | #Constraints: 63637
433.41/434.74 c #Conflicts: 201000 | #Constraints: 64637
433.41/434.74 c #Conflicts: 202000 | #Constraints: 65637
433.41/434.74 c #Conflicts: 203000 | #Constraints: 66637
433.41/434.74 c #Conflicts: 204000 | #Constraints: 67637
433.41/434.74 c #Conflicts: 205000 | #Constraints: 68637
433.41/434.74 c #Conflicts: 206000 | #Constraints: 69637
433.41/434.74 c #Conflicts: 207000 | #Constraints: 70637
433.41/434.74 c #Conflicts: 208000 | #Constraints: 71637
433.41/434.74 c #Conflicts: 209000 | #Constraints: 72637
433.41/434.74 c #Conflicts: 210000 | #Constraints: 73637
433.41/434.74 c #Conflicts: 211000 | #Constraints: 74637
433.41/434.74 c #Conflicts: 212000 | #Constraints: 75637
433.41/434.74 c #Conflicts: 213000 | #Constraints: 76637
433.41/434.74 c #Conflicts: 214000 | #Constraints: 77637
433.41/434.74 c INPROCESSING
433.41/434.74 c GARBAGE COLLECT
433.41/434.74 c #Conflicts: 215000 | #Constraints: 52367
433.41/434.74 c #Conflicts: 216000 | #Constraints: 53367
433.41/434.74 c #Conflicts: 217000 | #Constraints: 54367
433.41/434.74 c #Conflicts: 218000 | #Constraints: 55367
433.41/434.74 c #Conflicts: 219000 | #Constraints: 56367
433.41/434.74 c #Conflicts: 220000 | #Constraints: 57367
433.41/434.74 c #Conflicts: 221000 | #Constraints: 58367
433.41/434.74 c #Conflicts: 222000 | #Constraints: 59367
433.41/434.74 c #Conflicts: 223000 | #Constraints: 60367
433.41/434.74 c #Conflicts: 224000 | #Constraints: 61367
433.41/434.74 c #Conflicts: 225000 | #Constraints: 62367
433.41/434.74 c #Conflicts: 226000 | #Constraints: 63367
433.41/434.74 c #Conflicts: 227000 | #Constraints: 64367
602.53/604.37 c #Conflicts: 228000 | #Constraints: 65367
602.53/604.37 c #Conflicts: 229000 | #Constraints: 66367
602.53/604.37 c #Conflicts: 230000 | #Constraints: 67367
602.53/604.37 c #Conflicts: 231000 | #Constraints: 68367
602.53/604.37 c #Conflicts: 232000 | #Constraints: 69367
602.53/604.37 c #Conflicts: 233000 | #Constraints: 70367
602.53/604.37 c #Conflicts: 234000 | #Constraints: 71367
602.53/604.37 c #Conflicts: 235000 | #Constraints: 72367
602.53/604.37 c #Conflicts: 236000 | #Constraints: 73367
602.53/604.37 c #Conflicts: 237000 | #Constraints: 74367
602.53/604.37 c #Conflicts: 238000 | #Constraints: 75368
602.53/604.37 c #Conflicts: 239000 | #Constraints: 76368
602.53/604.37 c #Conflicts: 240000 | #Constraints: 77368
602.53/604.37 c #Conflicts: 241000 | #Constraints: 78368
602.53/604.37 c #Conflicts: 242000 | #Constraints: 79368
602.53/604.37 c #Conflicts: 243000 | #Constraints: 80368
602.53/604.37 c #Conflicts: 244000 | #Constraints: 81368
602.53/604.37 c INPROCESSING
602.53/604.37 c GARBAGE COLLECT
602.53/604.37 c #Conflicts: 245000 | #Constraints: 53861
602.53/604.37 c #Conflicts: 246000 | #Constraints: 54861
602.53/604.37 c #Conflicts: 247000 | #Constraints: 55861
602.53/604.37 c #Conflicts: 248000 | #Constraints: 56861
602.53/604.37 c #Conflicts: 249000 | #Constraints: 57861
602.53/604.37 c #Conflicts: 250000 | #Constraints: 58861
602.53/604.37 c #Conflicts: 251000 | #Constraints: 59861
602.53/604.37 c #Conflicts: 252000 | #Constraints: 60861
602.53/604.37 c #Conflicts: 253000 | #Constraints: 61861
602.53/604.37 c #Conflicts: 254000 | #Constraints: 62861
602.53/604.37 c #Conflicts: 255000 | #Constraints: 63861
602.53/604.37 c #Conflicts: 256000 | #Constraints: 64861
602.53/604.37 c #Conflicts: 257000 | #Constraints: 65861
602.53/604.37 c #Conflicts: 258000 | #Constraints: 66861
602.53/604.37 c #Conflicts: 259000 | #Constraints: 67861
602.53/604.37 c #Conflicts: 260000 | #Constraints: 68861
602.53/604.37 c #Conflicts: 261000 | #Constraints: 69861
602.53/604.37 c #Conflicts: 262000 | #Constraints: 70861
602.53/604.37 c #Conflicts: 263000 | #Constraints: 71861
602.53/604.37 c #Conflicts: 264000 | #Constraints: 72861
602.53/604.37 c #Conflicts: 265000 | #Constraints: 73861
602.53/604.37 c #Conflicts: 266000 | #Constraints: 74861
602.53/604.37 c #Conflicts: 267000 | #Constraints: 75861
602.53/604.37 c #Conflicts: 268000 | #Constraints: 76861
602.53/604.37 c #Conflicts: 269000 | #Constraints: 77861
602.53/604.37 c #Conflicts: 270000 | #Constraints: 78861
602.53/604.37 c #Conflicts: 271000 | #Constraints: 79861
602.53/604.37 c #Conflicts: 272000 | #Constraints: 80861
602.53/604.37 c #Conflicts: 273000 | #Constraints: 81861
602.53/604.37 c #Conflicts: 274000 | #Constraints: 82861
602.53/604.37 c #Conflicts: 275000 | #Constraints: 83861
602.53/604.37 c #Conflicts: 276000 | #Constraints: 84861
602.53/604.37 c #Conflicts: 277000 | #Constraints: 85861
602.53/604.37 c INPROCESSING
602.53/604.37 c GARBAGE COLLECT
602.53/604.37 c #Conflicts: 278000 | #Constraints: 56655
602.53/604.37 c #Conflicts: 279000 | #Constraints: 57655
602.53/604.37 c #Conflicts: 280000 | #Constraints: 58655
602.53/604.37 c #Conflicts: 281000 | #Constraints: 59655
602.53/604.37 c #Conflicts: 282000 | #Constraints: 60655
602.53/604.37 c #Conflicts: 283000 | #Constraints: 61655
602.53/604.37 c #Conflicts: 284000 | #Constraints: 62655
602.53/604.37 c #Conflicts: 285000 | #Constraints: 63655
602.53/604.37 c #Conflicts: 286000 | #Constraints: 64655
602.53/604.37 c #Conflicts: 287000 | #Constraints: 65655
602.53/604.37 c #Conflicts: 288000 | #Constraints: 66655
602.53/604.37 c #Conflicts: 289000 | #Constraints: 67655
602.53/604.37 c #Conflicts: 290000 | #Constraints: 68655
602.53/604.37 c #Conflicts: 291000 | #Constraints: 69655
602.53/604.37 c #Conflicts: 292000 | #Constraints: 70655
602.53/604.37 c #Conflicts: 293000 | #Constraints: 71655
602.53/604.37 c #Conflicts: 294000 | #Constraints: 72655
602.53/604.37 c #Conflicts: 295000 | #Constraints: 73655
602.53/604.37 c #Conflicts: 296000 | #Constraints: 74655
602.53/604.37 c #Conflicts: 297000 | #Constraints: 75655
602.53/604.37 c #Conflicts: 298000 | #Constraints: 76655
602.53/604.37 c #Conflicts: 299000 | #Constraints: 77655
602.53/604.37 c #Conflicts: 300000 | #Constraints: 78655
602.53/604.37 c #Conflicts: 301000 | #Constraints: 79655
602.53/604.37 c #Conflicts: 302000 | #Constraints: 80655
602.53/604.37 c #Conflicts: 303000 | #Constraints: 81655
602.53/604.37 c #Conflicts: 304000 | #Constraints: 82655
778.80/781.19 c #Conflicts: 305000 | #Constraints: 83655
778.80/781.19 c #Conflicts: 306000 | #Constraints: 84655
778.80/781.19 c #Conflicts: 307000 | #Constraints: 85655
778.80/781.19 c #Conflicts: 308000 | #Constraints: 86655
778.80/781.19 c #Conflicts: 309000 | #Constraints: 87655
778.80/781.19 c #Conflicts: 310000 | #Constraints: 88655
778.80/781.19 c #Conflicts: 311000 | #Constraints: 89655
778.80/781.19 c INPROCESSING
778.80/781.19 c GARBAGE COLLECT
778.80/781.19 c #Conflicts: 312000 | #Constraints: 58455
778.80/781.19 c #Conflicts: 313000 | #Constraints: 59455
778.80/781.19 c #Conflicts: 314000 | #Constraints: 60455
778.80/781.19 c #Conflicts: 315000 | #Constraints: 61455
778.80/781.19 c #Conflicts: 316000 | #Constraints: 62455
778.80/781.19 c #Conflicts: 317000 | #Constraints: 63455
778.80/781.19 c #Conflicts: 318000 | #Constraints: 64455
778.80/781.19 c #Conflicts: 319000 | #Constraints: 65455
778.80/781.19 c #Conflicts: 320000 | #Constraints: 66455
778.80/781.19 c #Conflicts: 321000 | #Constraints: 67455
778.80/781.19 c #Conflicts: 322000 | #Constraints: 68455
778.80/781.19 c #Conflicts: 323000 | #Constraints: 69455
778.80/781.19 c #Conflicts: 324000 | #Constraints: 70455
778.80/781.19 c #Conflicts: 325000 | #Constraints: 71455
778.80/781.19 c #Conflicts: 326000 | #Constraints: 72455
778.80/781.19 c #Conflicts: 327000 | #Constraints: 73455
778.80/781.19 c #Conflicts: 328000 | #Constraints: 74455
778.80/781.19 c #Conflicts: 329000 | #Constraints: 75455
778.80/781.19 c #Conflicts: 330000 | #Constraints: 76455
778.80/781.19 c #Conflicts: 331000 | #Constraints: 77455
778.80/781.19 c #Conflicts: 332000 | #Constraints: 78455
778.80/781.19 c #Conflicts: 333000 | #Constraints: 79455
778.80/781.19 c #Conflicts: 334000 | #Constraints: 80455
778.80/781.19 c #Conflicts: 335000 | #Constraints: 81455
778.80/781.19 c #Conflicts: 336000 | #Constraints: 82455
778.80/781.19 c #Conflicts: 337000 | #Constraints: 83455
778.80/781.19 c #Conflicts: 338000 | #Constraints: 84455
778.80/781.19 c #Conflicts: 339000 | #Constraints: 85455
778.80/781.19 c #Conflicts: 340000 | #Constraints: 86455
778.80/781.19 c #Conflicts: 341000 | #Constraints: 87455
778.80/781.19 c #Conflicts: 342000 | #Constraints: 88455
778.80/781.19 c #Conflicts: 343000 | #Constraints: 89455
778.80/781.19 c #Conflicts: 344000 | #Constraints: 90455
778.80/781.19 c #Conflicts: 345000 | #Constraints: 91455
778.80/781.19 c #Conflicts: 346000 | #Constraints: 92455
778.80/781.19 c #Conflicts: 347000 | #Constraints: 93455
778.80/781.19 c #Conflicts: 348000 | #Constraints: 94455
778.80/781.19 c INPROCESSING
778.80/781.19 c GARBAGE COLLECT
778.80/781.19 c #Conflicts: 349000 | #Constraints: 61381
778.80/781.19 c #Conflicts: 350000 | #Constraints: 62381
778.80/781.19 c #Conflicts: 351000 | #Constraints: 63381
778.80/781.19 c #Conflicts: 352000 | #Constraints: 64381
778.80/781.19 c #Conflicts: 353000 | #Constraints: 65381
778.80/781.19 c #Conflicts: 354000 | #Constraints: 66381
778.80/781.19 c #Conflicts: 355000 | #Constraints: 67381
778.80/781.19 c #Conflicts: 356000 | #Constraints: 68381
778.80/781.19 c #Conflicts: 357000 | #Constraints: 69381
778.80/781.19 c #Conflicts: 358000 | #Constraints: 70381
778.80/781.19 c #Conflicts: 359000 | #Constraints: 71381
778.80/781.19 c #Conflicts: 360000 | #Constraints: 72381
778.80/781.19 c #Conflicts: 361000 | #Constraints: 73381
778.80/781.19 c #Conflicts: 362000 | #Constraints: 74381
778.80/781.19 c #Conflicts: 363000 | #Constraints: 75381
778.80/781.19 c #Conflicts: 364000 | #Constraints: 76381
778.80/781.19 c #Conflicts: 365000 | #Constraints: 77381
778.80/781.19 c #Conflicts: 366000 | #Constraints: 78381
778.80/781.19 c #Conflicts: 367000 | #Constraints: 79381
778.80/781.19 c #Conflicts: 368000 | #Constraints: 80381
778.80/781.19 c #Conflicts: 369000 | #Constraints: 81381
778.80/781.19 c #Conflicts: 370000 | #Constraints: 82381
778.80/781.19 c #Conflicts: 371000 | #Constraints: 83381
778.80/781.19 c #Conflicts: 372000 | #Constraints: 84381
778.80/781.19 c #Conflicts: 373000 | #Constraints: 85381
778.80/781.19 c #Conflicts: 374000 | #Constraints: 86381
778.80/781.19 c #Conflicts: 375000 | #Constraints: 87381
778.80/781.19 c #Conflicts: 376000 | #Constraints: 88381
778.80/781.19 c #Conflicts: 377000 | #Constraints: 89381
778.80/781.19 c #Conflicts: 378000 | #Constraints: 90381
778.80/781.19 c #Conflicts: 379000 | #Constraints: 91381
778.80/781.19 c #Conflicts: 380000 | #Constraints: 92381
778.80/781.19 c #Conflicts: 381000 | #Constraints: 93381
778.80/781.19 c #Conflicts: 382000 | #Constraints: 94381
971.04/973.91 c #Conflicts: 383000 | #Constraints: 95381
971.04/973.91 c #Conflicts: 384000 | #Constraints: 96381
971.04/973.91 c #Conflicts: 385000 | #Constraints: 97381
971.04/973.91 c #Conflicts: 386000 | #Constraints: 98381
971.04/973.91 c INPROCESSING
971.04/973.91 c GARBAGE COLLECT
971.04/973.91 c #Conflicts: 387000 | #Constraints: 63214
971.04/973.91 c #Conflicts: 388000 | #Constraints: 64214
971.04/973.91 c #Conflicts: 389000 | #Constraints: 65214
971.04/973.91 c #Conflicts: 390000 | #Constraints: 66214
971.04/973.91 c #Conflicts: 391000 | #Constraints: 67214
971.04/973.91 c #Conflicts: 392000 | #Constraints: 68214
971.04/973.91 c #Conflicts: 393000 | #Constraints: 69214
971.04/973.91 c #Conflicts: 394000 | #Constraints: 70214
971.04/973.91 c #Conflicts: 395000 | #Constraints: 71214
971.04/973.91 c #Conflicts: 396000 | #Constraints: 72215
971.04/973.91 c #Conflicts: 397000 | #Constraints: 73215
971.04/973.91 c #Conflicts: 398000 | #Constraints: 74215
971.04/973.91 c #Conflicts: 399000 | #Constraints: 75215
971.04/973.91 c #Conflicts: 400000 | #Constraints: 76215
971.04/973.91 c #Conflicts: 401000 | #Constraints: 77215
971.04/973.91 c #Conflicts: 402000 | #Constraints: 78215
971.04/973.91 c #Conflicts: 403000 | #Constraints: 79215
971.04/973.91 c #Conflicts: 404000 | #Constraints: 80215
971.04/973.91 c #Conflicts: 405000 | #Constraints: 81215
971.04/973.91 c #Conflicts: 406000 | #Constraints: 82215
971.04/973.91 c #Conflicts: 407000 | #Constraints: 83215
971.04/973.91 c #Conflicts: 408000 | #Constraints: 84215
971.04/973.91 c #Conflicts: 409000 | #Constraints: 85215
971.04/973.91 c #Conflicts: 410000 | #Constraints: 86215
971.04/973.91 c #Conflicts: 411000 | #Constraints: 87215
971.04/973.91 c #Conflicts: 412000 | #Constraints: 88215
971.04/973.91 c #Conflicts: 413000 | #Constraints: 89215
971.04/973.91 c #Conflicts: 414000 | #Constraints: 90215
971.04/973.91 c #Conflicts: 415000 | #Constraints: 91215
971.04/973.91 c #Conflicts: 416000 | #Constraints: 92215
971.04/973.91 c #Conflicts: 417000 | #Constraints: 93215
971.04/973.91 c #Conflicts: 418000 | #Constraints: 94215
971.04/973.91 c #Conflicts: 419000 | #Constraints: 95215
971.04/973.91 c #Conflicts: 420000 | #Constraints: 96215
971.04/973.91 c #Conflicts: 421000 | #Constraints: 97215
971.04/973.91 c #Conflicts: 422000 | #Constraints: 98215
971.04/973.91 c #Conflicts: 423000 | #Constraints: 99215
971.04/973.91 c #Conflicts: 424000 | #Constraints: 100215
971.04/973.91 c #Conflicts: 425000 | #Constraints: 101215
971.04/973.91 c #Conflicts: 426000 | #Constraints: 102215
971.04/973.91 c INPROCESSING
971.04/973.91 c GARBAGE COLLECT
971.04/973.91 c #Conflicts: 427000 | #Constraints: 64799
971.04/973.91 c #Conflicts: 428000 | #Constraints: 65799
971.04/973.91 c #Conflicts: 429000 | #Constraints: 66799
971.04/973.91 c #Conflicts: 430000 | #Constraints: 67799
971.04/973.91 c #Conflicts: 431000 | #Constraints: 68799
971.04/973.91 c #Conflicts: 432000 | #Constraints: 69799
971.04/973.91 c #Conflicts: 433000 | #Constraints: 70799
971.04/973.91 c #Conflicts: 434000 | #Constraints: 71799
971.04/973.91 c #Conflicts: 435000 | #Constraints: 72799
971.04/973.91 c #Conflicts: 436000 | #Constraints: 73799
971.04/973.91 c #Conflicts: 437000 | #Constraints: 74799
971.04/973.91 c #Conflicts: 438000 | #Constraints: 75799
971.04/973.91 c #Conflicts: 439000 | #Constraints: 76799
971.04/973.91 c #Conflicts: 440000 | #Constraints: 77799
971.04/973.91 c #Conflicts: 441000 | #Constraints: 78799
971.04/973.91 c #Conflicts: 442000 | #Constraints: 79799
971.04/973.91 c #Conflicts: 443000 | #Constraints: 80799
971.04/973.91 c #Conflicts: 444000 | #Constraints: 81799
971.04/973.91 c #Conflicts: 445000 | #Constraints: 82799
971.04/973.91 c #Conflicts: 446000 | #Constraints: 83799
971.04/973.91 c #Conflicts: 447000 | #Constraints: 84799
971.04/973.91 c #Conflicts: 448000 | #Constraints: 85799
971.04/973.91 c #Conflicts: 449000 | #Constraints: 86799
971.04/973.91 c #Conflicts: 450000 | #Constraints: 87799
971.04/973.91 c #Conflicts: 451000 | #Constraints: 88799
971.04/973.91 c #Conflicts: 452000 | #Constraints: 89799
971.04/973.91 c #Conflicts: 453000 | #Constraints: 90799
971.04/973.91 c #Conflicts: 454000 | #Constraints: 91799
971.04/973.91 c #Conflicts: 455000 | #Constraints: 92799
971.04/973.91 c #Conflicts: 456000 | #Constraints: 93799
971.04/973.91 c #Conflicts: 457000 | #Constraints: 94799
971.04/973.91 c #Conflicts: 458000 | #Constraints: 95799
971.04/973.91 c #Conflicts: 459000 | #Constraints: 96799
1165.87/1169.39 c #Conflicts: 460000 | #Constraints: 97799
1165.87/1169.39 c #Conflicts: 461000 | #Constraints: 98799
1165.87/1169.39 c #Conflicts: 462000 | #Constraints: 99799
1165.87/1169.39 c #Conflicts: 463000 | #Constraints: 100799
1165.87/1169.39 c #Conflicts: 464000 | #Constraints: 101799
1165.87/1169.39 c #Conflicts: 465000 | #Constraints: 102799
1165.87/1169.39 c #Conflicts: 466000 | #Constraints: 103799
1165.87/1169.39 c #Conflicts: 467000 | #Constraints: 104799
1165.87/1169.39 c #Conflicts: 468000 | #Constraints: 105799
1165.87/1169.39 c #Conflicts: 469000 | #Constraints: 106799
1165.87/1169.39 c INPROCESSING
1165.87/1169.39 c GARBAGE COLLECT
1165.87/1169.39 c #Conflicts: 470000 | #Constraints: 67390
1165.87/1169.39 c #Conflicts: 471000 | #Constraints: 68390
1165.87/1169.39 c #Conflicts: 472000 | #Constraints: 69390
1165.87/1169.39 c #Conflicts: 473000 | #Constraints: 70390
1165.87/1169.39 c #Conflicts: 474000 | #Constraints: 71390
1165.87/1169.39 c #Conflicts: 475000 | #Constraints: 72390
1165.87/1169.39 c #Conflicts: 476000 | #Constraints: 73390
1165.87/1169.39 c #Conflicts: 477000 | #Constraints: 74390
1165.87/1169.39 c #Conflicts: 478000 | #Constraints: 75390
1165.87/1169.39 c #Conflicts: 479000 | #Constraints: 76390
1165.87/1169.39 c #Conflicts: 480000 | #Constraints: 77390
1165.87/1169.39 c #Conflicts: 481000 | #Constraints: 78390
1165.87/1169.39 c #Conflicts: 482000 | #Constraints: 79390
1165.87/1169.39 c #Conflicts: 483000 | #Constraints: 80390
1165.87/1169.39 c #Conflicts: 484000 | #Constraints: 81390
1165.87/1169.39 c #Conflicts: 485000 | #Constraints: 82390
1165.87/1169.39 c #Conflicts: 486000 | #Constraints: 83390
1165.87/1169.39 c #Conflicts: 487000 | #Constraints: 84390
1165.87/1169.39 c #Conflicts: 488000 | #Constraints: 85390
1165.87/1169.39 c #Conflicts: 489000 | #Constraints: 86390
1165.87/1169.39 c #Conflicts: 490000 | #Constraints: 87390
1165.87/1169.39 c #Conflicts: 491000 | #Constraints: 88390
1165.87/1169.39 c #Conflicts: 492000 | #Constraints: 89390
1165.87/1169.39 c #Conflicts: 493000 | #Constraints: 90390
1165.87/1169.39 c #Conflicts: 494000 | #Constraints: 91390
1165.87/1169.39 c #Conflicts: 495000 | #Constraints: 92390
1165.87/1169.39 c #Conflicts: 496000 | #Constraints: 93390
1165.87/1169.39 c #Conflicts: 497000 | #Constraints: 94390
1165.87/1169.39 c #Conflicts: 498000 | #Constraints: 95390
1165.87/1169.39 c #Conflicts: 499000 | #Constraints: 96390
1165.87/1169.39 c #Conflicts: 500000 | #Constraints: 97390
1165.87/1169.39 c #Conflicts: 501000 | #Constraints: 98390
1165.87/1169.39 c #Conflicts: 502000 | #Constraints: 99390
1165.87/1169.39 c #Conflicts: 503000 | #Constraints: 100390
1165.87/1169.39 c #Conflicts: 504000 | #Constraints: 101390
1165.87/1169.39 c #Conflicts: 505000 | #Constraints: 102390
1165.87/1169.39 c #Conflicts: 506000 | #Constraints: 103390
1165.87/1169.39 c #Conflicts: 507000 | #Constraints: 104390
1165.87/1169.39 c #Conflicts: 508000 | #Constraints: 105390
1165.87/1169.39 c #Conflicts: 509000 | #Constraints: 106390
1165.87/1169.39 c #Conflicts: 510000 | #Constraints: 107390
1165.87/1169.39 c #Conflicts: 511000 | #Constraints: 108390
1165.87/1169.39 c #Conflicts: 512000 | #Constraints: 109390
1165.87/1169.39 c #Conflicts: 513000 | #Constraints: 110390
1165.87/1169.39 c INPROCESSING
1165.87/1169.39 c GARBAGE COLLECT
1165.87/1169.39 c #Conflicts: 514000 | #Constraints: 69034
1165.87/1169.39 c #Conflicts: 515000 | #Constraints: 70034
1165.87/1169.39 c #Conflicts: 516000 | #Constraints: 71034
1165.87/1169.39 c #Conflicts: 517000 | #Constraints: 72034
1165.87/1169.39 c #Conflicts: 518000 | #Constraints: 73034
1165.87/1169.39 c #Conflicts: 519000 | #Constraints: 74034
1165.87/1169.39 c #Conflicts: 520000 | #Constraints: 75034
1165.87/1169.39 c #Conflicts: 521000 | #Constraints: 76034
1165.87/1169.39 c #Conflicts: 522000 | #Constraints: 77034
1165.87/1169.39 c #Conflicts: 523000 | #Constraints: 78034
1165.87/1169.39 c #Conflicts: 524000 | #Constraints: 79034
1165.87/1169.39 c #Conflicts: 525000 | #Constraints: 80034
1165.87/1169.39 c #Conflicts: 526000 | #Constraints: 81034
1165.87/1169.39 c #Conflicts: 527000 | #Constraints: 82034
1165.87/1169.39 c #Conflicts: 528000 | #Constraints: 83034
1165.87/1169.39 c #Conflicts: 529000 | #Constraints: 84034
1165.87/1169.39 c #Conflicts: 530000 | #Constraints: 85034
1165.87/1169.39 c #Conflicts: 531000 | #Constraints: 86034
1165.87/1169.39 c #Conflicts: 532000 | #Constraints: 87034
1165.87/1169.39 c #Conflicts: 533000 | #Constraints: 88034
1165.87/1169.39 c #Conflicts: 534000 | #Constraints: 89034
1165.87/1169.39 c #Conflicts: 535000 | #Constraints: 90034
1165.87/1169.39 c #Conflicts: 536000 | #Constraints: 91034
1165.87/1169.39 c #Conflicts: 537000 | #Constraints: 92034
1170.85/1174.30 c INPROCESSING
1170.85/1174.30 c GARBAGE COLLECT
1170.85/1174.30 c rational objective 196
1308.02/1311.93 c #Conflicts: 538000 | #Constraints: 69295
1308.02/1311.93 c #Conflicts: 539000 | #Constraints: 70295
1308.02/1311.93 c #Conflicts: 540000 | #Constraints: 71295
1308.02/1311.93 c #Conflicts: 541000 | #Constraints: 72295
1308.02/1311.93 c #Conflicts: 542000 | #Constraints: 73295
1308.02/1311.93 c #Conflicts: 543000 | #Constraints: 74295
1308.02/1311.93 c #Conflicts: 544000 | #Constraints: 75295
1308.02/1311.93 c #Conflicts: 545000 | #Constraints: 76295
1308.02/1311.93 c #Conflicts: 546000 | #Constraints: 77295
1308.02/1311.93 c #Conflicts: 547000 | #Constraints: 78295
1308.02/1311.93 c #Conflicts: 548000 | #Constraints: 79295
1308.02/1311.93 c #Conflicts: 549000 | #Constraints: 80295
1308.02/1311.93 c #Conflicts: 550000 | #Constraints: 81295
1308.02/1311.93 c #Conflicts: 551000 | #Constraints: 82295
1308.02/1311.93 c #Conflicts: 552000 | #Constraints: 83295
1308.02/1311.93 c #Conflicts: 553000 | #Constraints: 84295
1308.02/1311.93 c #Conflicts: 554000 | #Constraints: 85295
1308.02/1311.93 c #Conflicts: 555000 | #Constraints: 86295
1308.02/1311.93 c #Conflicts: 556000 | #Constraints: 87295
1308.02/1311.93 c #Conflicts: 557000 | #Constraints: 88295
1308.02/1311.93 c #Conflicts: 558000 | #Constraints: 89295
1308.02/1311.93 c #Conflicts: 559000 | #Constraints: 90295
1308.02/1311.93 c #Conflicts: 560000 | #Constraints: 91295
1308.02/1311.93 c #Conflicts: 561000 | #Constraints: 92295
1308.02/1311.93 c #Conflicts: 562000 | #Constraints: 93295
1308.02/1311.93 c #Conflicts: 563000 | #Constraints: 94295
1308.02/1311.93 c #Conflicts: 564000 | #Constraints: 95295
1308.02/1311.93 c #Conflicts: 565000 | #Constraints: 96295
1308.02/1311.93 c #Conflicts: 566000 | #Constraints: 97295
1308.02/1311.93 c #Conflicts: 567000 | #Constraints: 98295
1308.02/1311.93 c #Conflicts: 568000 | #Constraints: 99295
1308.02/1311.93 c #Conflicts: 569000 | #Constraints: 100295
1308.02/1311.93 c #Conflicts: 570000 | #Constraints: 101295
1308.02/1311.93 c #Conflicts: 571000 | #Constraints: 102295
1308.02/1311.93 c #Conflicts: 572000 | #Constraints: 103295
1308.02/1311.93 c #Conflicts: 573000 | #Constraints: 104295
1308.02/1311.93 c #Conflicts: 574000 | #Constraints: 105295
1308.02/1311.93 c #Conflicts: 575000 | #Constraints: 106295
1308.02/1311.93 c #Conflicts: 576000 | #Constraints: 107295
1308.02/1311.93 c #Conflicts: 577000 | #Constraints: 108295
1308.02/1311.93 c #Conflicts: 578000 | #Constraints: 109295
1308.02/1311.93 c #Conflicts: 579000 | #Constraints: 110295
1308.02/1311.93 c #Conflicts: 580000 | #Constraints: 111295
1308.02/1311.93 c #Conflicts: 581000 | #Constraints: 112295
1308.02/1311.93 c #Conflicts: 582000 | #Constraints: 113295
1308.02/1311.93 c #Conflicts: 583000 | #Constraints: 114295
1308.02/1311.93 c #Conflicts: 584000 | #Constraints: 115295
1308.02/1311.93 c #Conflicts: 585000 | #Constraints: 116295
1308.02/1311.93 c INPROCESSING
1308.02/1311.93 c GARBAGE COLLECT
1308.02/1311.93 c rational objective 196
1488.45/1492.96 c #Conflicts: 586000 | #Constraints: 72372
1488.45/1492.96 c #Conflicts: 587000 | #Constraints: 73372
1488.45/1492.96 c #Conflicts: 588000 | #Constraints: 74372
1488.45/1492.96 c #Conflicts: 589000 | #Constraints: 75372
1488.45/1492.96 c #Conflicts: 590000 | #Constraints: 76372
1488.45/1492.96 c #Conflicts: 591000 | #Constraints: 77372
1488.45/1492.96 c #Conflicts: 592000 | #Constraints: 78372
1488.45/1492.96 c #Conflicts: 593000 | #Constraints: 79372
1488.45/1492.96 c #Conflicts: 594000 | #Constraints: 80372
1488.45/1492.96 c #Conflicts: 595000 | #Constraints: 81372
1488.45/1492.96 c #Conflicts: 596000 | #Constraints: 82372
1488.45/1492.96 c #Conflicts: 597000 | #Constraints: 83372
1488.45/1492.96 c #Conflicts: 598000 | #Constraints: 84372
1488.45/1492.96 c #Conflicts: 599000 | #Constraints: 85372
1488.45/1492.96 c #Conflicts: 600000 | #Constraints: 86372
1488.45/1492.96 c #Conflicts: 601000 | #Constraints: 87372
1488.45/1492.96 c #Conflicts: 602000 | #Constraints: 88372
1488.45/1492.96 c #Conflicts: 603000 | #Constraints: 89372
1488.45/1492.96 c #Conflicts: 604000 | #Constraints: 90372
1488.45/1492.96 c #Conflicts: 605000 | #Constraints: 91372
1488.45/1492.96 c #Conflicts: 606000 | #Constraints: 92372
1488.45/1492.96 c #Conflicts: 607000 | #Constraints: 93372
1488.45/1492.96 c #Conflicts: 608000 | #Constraints: 94372
1488.45/1492.96 c #Conflicts: 609000 | #Constraints: 95372
1488.45/1492.96 c #Conflicts: 610000 | #Constraints: 96372
1488.45/1492.96 c #Conflicts: 611000 | #Constraints: 97372
1488.45/1492.96 c #Conflicts: 612000 | #Constraints: 98372
1488.45/1492.96 c #Conflicts: 613000 | #Constraints: 99372
1488.45/1492.96 c #Conflicts: 614000 | #Constraints: 100372
1488.45/1492.96 c #Conflicts: 615000 | #Constraints: 101372
1488.45/1492.96 c #Conflicts: 616000 | #Constraints: 102372
1488.45/1492.96 c #Conflicts: 617000 | #Constraints: 103372
1488.45/1492.96 c #Conflicts: 618000 | #Constraints: 104372
1488.45/1492.96 c #Conflicts: 619000 | #Constraints: 105372
1488.45/1492.96 c #Conflicts: 620000 | #Constraints: 106372
1488.45/1492.96 c #Conflicts: 621000 | #Constraints: 107372
1488.45/1492.96 c #Conflicts: 622000 | #Constraints: 108372
1488.45/1492.96 c #Conflicts: 623000 | #Constraints: 109372
1488.45/1492.96 c #Conflicts: 624000 | #Constraints: 110372
1488.45/1492.96 c #Conflicts: 625000 | #Constraints: 111372
1488.45/1492.96 c #Conflicts: 626000 | #Constraints: 112372
1488.45/1492.96 c #Conflicts: 627000 | #Constraints: 113372
1488.45/1492.96 c #Conflicts: 628000 | #Constraints: 114372
1488.45/1492.96 c #Conflicts: 629000 | #Constraints: 115372
1488.45/1492.96 c #Conflicts: 630000 | #Constraints: 116372
1488.45/1492.96 c #Conflicts: 631000 | #Constraints: 117372
1488.45/1492.96 c #Conflicts: 632000 | #Constraints: 118372
1488.45/1492.96 c #Conflicts: 633000 | #Constraints: 119372
1488.45/1492.96 c #Conflicts: 634000 | #Constraints: 120372
1488.45/1492.96 c INPROCESSING
1488.45/1492.96 c GARBAGE COLLECT
1488.45/1492.96 c #Conflicts: 635000 | #Constraints: 74220
1488.45/1492.96 c #Conflicts: 636000 | #Constraints: 75220
1488.45/1492.96 c #Conflicts: 637000 | #Constraints: 76220
1488.45/1492.96 c #Conflicts: 638000 | #Constraints: 77220
1488.45/1492.96 c #Conflicts: 639000 | #Constraints: 78220
1488.45/1492.96 c #Conflicts: 640000 | #Constraints: 79220
1488.45/1492.96 c #Conflicts: 641000 | #Constraints: 80220
1488.45/1492.96 c #Conflicts: 642000 | #Constraints: 81220
1488.45/1492.96 c #Conflicts: 643000 | #Constraints: 82220
1488.45/1492.96 c #Conflicts: 644000 | #Constraints: 83220
1488.45/1492.96 c #Conflicts: 645000 | #Constraints: 84220
1488.45/1492.96 c #Conflicts: 646000 | #Constraints: 85220
1488.45/1492.96 c #Conflicts: 647000 | #Constraints: 86220
1488.45/1492.96 c #Conflicts: 648000 | #Constraints: 87220
1488.45/1492.96 c #Conflicts: 649000 | #Constraints: 88220
1488.45/1492.96 c #Conflicts: 650000 | #Constraints: 89220
1488.45/1492.96 c #Conflicts: 651000 | #Constraints: 90220
1488.45/1492.96 c #Conflicts: 652000 | #Constraints: 91220
1488.45/1492.96 c #Conflicts: 653000 | #Constraints: 92220
1488.45/1492.96 c #Conflicts: 654000 | #Constraints: 93220
1488.45/1492.96 c #Conflicts: 655000 | #Constraints: 94220
1488.45/1492.96 c #Conflicts: 656000 | #Constraints: 95220
1488.45/1492.96 c #Conflicts: 657000 | #Constraints: 96220
1488.45/1492.96 c #Conflicts: 658000 | #Constraints: 97220
1488.45/1492.96 c #Conflicts: 659000 | #Constraints: 98220
1488.45/1492.96 c #Conflicts: 660000 | #Constraints: 99220
1488.45/1492.96 c #Conflicts: 661000 | #Constraints: 100220
1488.45/1492.96 c #Conflicts: 662000 | #Constraints: 101220
1488.45/1492.96 c #Conflicts: 663000 | #Constraints: 102220
1488.45/1492.96 c #Conflicts: 664000 | #Constraints: 103220
1818.79/1824.29 c #Conflicts: 665000 | #Constraints: 104220
1818.79/1824.29 c #Conflicts: 666000 | #Constraints: 105220
1818.79/1824.29 c #Conflicts: 667000 | #Constraints: 106220
1818.79/1824.29 c #Conflicts: 668000 | #Constraints: 107220
1818.79/1824.29 c #Conflicts: 669000 | #Constraints: 108220
1818.79/1824.29 c #Conflicts: 670000 | #Constraints: 109220
1818.79/1824.29 c #Conflicts: 671000 | #Constraints: 110220
1818.79/1824.29 c #Conflicts: 672000 | #Constraints: 111220
1818.79/1824.29 c #Conflicts: 673000 | #Constraints: 112220
1818.79/1824.29 c #Conflicts: 674000 | #Constraints: 113220
1818.79/1824.29 c #Conflicts: 675000 | #Constraints: 114220
1818.79/1824.29 c #Conflicts: 676000 | #Constraints: 115220
1818.79/1824.29 c #Conflicts: 677000 | #Constraints: 116220
1818.79/1824.29 c #Conflicts: 678000 | #Constraints: 117220
1818.79/1824.29 c #Conflicts: 679000 | #Constraints: 118220
1818.79/1824.29 c #Conflicts: 680000 | #Constraints: 119220
1818.79/1824.29 c #Conflicts: 681000 | #Constraints: 120220
1818.79/1824.29 c #Conflicts: 682000 | #Constraints: 121220
1818.79/1824.29 c #Conflicts: 683000 | #Constraints: 122220
1818.79/1824.29 c #Conflicts: 684000 | #Constraints: 123220
1818.79/1824.29 c #Conflicts: 685000 | #Constraints: 124220
1818.79/1824.29 c #Conflicts: 686000 | #Constraints: 125220
1818.79/1824.29 c INPROCESSING
1818.79/1824.29 c GARBAGE COLLECT
1818.79/1824.29 c #Conflicts: 687000 | #Constraints: 77105
1818.79/1824.29 c #Conflicts: 688000 | #Constraints: 78105
1818.79/1824.29 c #Conflicts: 689000 | #Constraints: 79105
1818.79/1824.29 c #Conflicts: 690000 | #Constraints: 80106
1818.79/1824.29 c #Conflicts: 691000 | #Constraints: 81106
1818.79/1824.29 c #Conflicts: 692000 | #Constraints: 82106
1818.79/1824.29 c #Conflicts: 693000 | #Constraints: 83106
1818.79/1824.29 c #Conflicts: 694000 | #Constraints: 84106
1818.79/1824.29 c #Conflicts: 695000 | #Constraints: 85106
1818.79/1824.29 c #Conflicts: 696000 | #Constraints: 86106
1818.79/1824.29 c #Conflicts: 697000 | #Constraints: 87106
1818.79/1824.29 c #Conflicts: 698000 | #Constraints: 88106
1818.79/1824.29 c #Conflicts: 699000 | #Constraints: 89106
1818.79/1824.29 c #Conflicts: 700000 | #Constraints: 90106
1818.79/1824.29 c #Conflicts: 701000 | #Constraints: 91106
1818.79/1824.29 c #Conflicts: 702000 | #Constraints: 92106
1818.79/1824.29 c #Conflicts: 703000 | #Constraints: 93106
1818.79/1824.29 c #Conflicts: 704000 | #Constraints: 94106
1818.79/1824.29 c #Conflicts: 705000 | #Constraints: 95106
1818.79/1824.29 c #Conflicts: 706000 | #Constraints: 96106
1818.79/1824.29 c #Conflicts: 707000 | #Constraints: 97106
1818.79/1824.29 c #Conflicts: 708000 | #Constraints: 98106
1818.79/1824.29 c #Conflicts: 709000 | #Constraints: 99106
1818.79/1824.29 c #Conflicts: 710000 | #Constraints: 100106
1818.79/1824.29 c #Conflicts: 711000 | #Constraints: 101106
1818.79/1824.29 c #Conflicts: 712000 | #Constraints: 102106
1818.79/1824.29 c #Conflicts: 713000 | #Constraints: 103106
1818.79/1824.29 c #Conflicts: 714000 | #Constraints: 104106
1818.79/1824.29 c #Conflicts: 715000 | #Constraints: 105106
1818.79/1824.29 c #Conflicts: 716000 | #Constraints: 106106
1818.79/1824.29 c #Conflicts: 717000 | #Constraints: 107106
1818.79/1824.29 c #Conflicts: 718000 | #Constraints: 108106
1818.79/1824.29 c #Conflicts: 719000 | #Constraints: 109106
1818.79/1824.29 c #Conflicts: 720000 | #Constraints: 110106
1818.79/1824.29 c #Conflicts: 721000 | #Constraints: 111106
1818.79/1824.29 c #Conflicts: 722000 | #Constraints: 112106
1818.79/1824.29 c #Conflicts: 723000 | #Constraints: 113106
1818.79/1824.29 c #Conflicts: 724000 | #Constraints: 114106
1818.79/1824.29 c #Conflicts: 725000 | #Constraints: 115106
1818.79/1824.29 c #Conflicts: 726000 | #Constraints: 116106
1818.79/1824.29 c #Conflicts: 727000 | #Constraints: 117106
1818.79/1824.29 c #Conflicts: 728000 | #Constraints: 118106
1818.79/1824.29 c #Conflicts: 729000 | #Constraints: 119106
1818.79/1824.29 c #Conflicts: 730000 | #Constraints: 120106
1818.79/1824.29 c #Conflicts: 731000 | #Constraints: 121106
1818.79/1824.29 c #Conflicts: 732000 | #Constraints: 122106
1818.79/1824.29 c #Conflicts: 733000 | #Constraints: 123106
1818.79/1824.29 c #Conflicts: 734000 | #Constraints: 124106
1818.79/1824.29 c #Conflicts: 735000 | #Constraints: 125106
1818.79/1824.29 c #Conflicts: 736000 | #Constraints: 126106
1818.79/1824.29 c #Conflicts: 737000 | #Constraints: 127106
1818.79/1824.29 c #Conflicts: 738000 | #Constraints: 128106
1818.79/1824.29 c #Conflicts: 739000 | #Constraints: 129106
1818.79/1824.29 c INPROCESSING
1818.79/1824.29 c GARBAGE COLLECT
1818.79/1824.29 c #Conflicts: 740000 | #Constraints: 78766
1818.79/1824.29 c #Conflicts: 741000 | #Constraints: 79766
1992.82/1998.80 c #Conflicts: 742000 | #Constraints: 80766
1992.82/1998.80 c #Conflicts: 743000 | #Constraints: 81766
1992.82/1998.80 c #Conflicts: 744000 | #Constraints: 82766
1992.82/1998.80 c #Conflicts: 745000 | #Constraints: 83766
1992.82/1998.80 c #Conflicts: 746000 | #Constraints: 84766
1992.82/1998.80 c #Conflicts: 747000 | #Constraints: 85766
1992.82/1998.80 c #Conflicts: 748000 | #Constraints: 86766
1992.82/1998.80 c #Conflicts: 749000 | #Constraints: 87766
1992.82/1998.80 c #Conflicts: 750000 | #Constraints: 88766
1992.82/1998.80 c #Conflicts: 751000 | #Constraints: 89766
1992.82/1998.80 c #Conflicts: 752000 | #Constraints: 90766
1992.82/1998.80 c #Conflicts: 753000 | #Constraints: 91766
1992.82/1998.80 c #Conflicts: 754000 | #Constraints: 92766
1992.82/1998.80 c #Conflicts: 755000 | #Constraints: 93766
1992.82/1998.80 c #Conflicts: 756000 | #Constraints: 94766
1992.82/1998.80 c #Conflicts: 757000 | #Constraints: 95766
1992.82/1998.80 c #Conflicts: 758000 | #Constraints: 96766
1992.82/1998.80 c #Conflicts: 759000 | #Constraints: 97766
1992.82/1998.80 c #Conflicts: 760000 | #Constraints: 98766
1992.82/1998.80 c #Conflicts: 761000 | #Constraints: 99766
1992.82/1998.80 c #Conflicts: 762000 | #Constraints: 100766
1992.82/1998.80 c #Conflicts: 763000 | #Constraints: 101766
1992.82/1998.80 c #Conflicts: 764000 | #Constraints: 102766
1992.82/1998.80 c #Conflicts: 765000 | #Constraints: 103766
1992.82/1998.80 c #Conflicts: 766000 | #Constraints: 104766
1992.82/1998.80 c #Conflicts: 767000 | #Constraints: 105766
1992.82/1998.80 c #Conflicts: 768000 | #Constraints: 106766
1992.82/1998.80 c #Conflicts: 769000 | #Constraints: 107766
1992.82/1998.80 c #Conflicts: 770000 | #Constraints: 108766
1992.82/1998.80 c #Conflicts: 771000 | #Constraints: 109766
1992.82/1998.80 c #Conflicts: 772000 | #Constraints: 110766
1992.82/1998.80 c #Conflicts: 773000 | #Constraints: 111766
1992.82/1998.80 c #Conflicts: 774000 | #Constraints: 112766
1992.82/1998.80 c #Conflicts: 775000 | #Constraints: 113766
1992.82/1998.80 c #Conflicts: 776000 | #Constraints: 114766
1992.82/1998.80 c #Conflicts: 777000 | #Constraints: 115766
1992.82/1998.80 c #Conflicts: 778000 | #Constraints: 116766
1992.82/1998.80 c #Conflicts: 779000 | #Constraints: 117766
1992.82/1998.80 c #Conflicts: 780000 | #Constraints: 118766
1992.82/1998.80 c #Conflicts: 781000 | #Constraints: 119766
1992.82/1998.80 c #Conflicts: 782000 | #Constraints: 120766
1992.82/1998.80 c #Conflicts: 783000 | #Constraints: 121766
1992.82/1998.80 c #Conflicts: 784000 | #Constraints: 122766
1992.82/1998.80 c #Conflicts: 785000 | #Constraints: 123766
1992.82/1998.80 c #Conflicts: 786000 | #Constraints: 124766
1992.82/1998.80 c #Conflicts: 787000 | #Constraints: 125766
1992.82/1998.80 c #Conflicts: 788000 | #Constraints: 126766
1992.82/1998.80 c #Conflicts: 789000 | #Constraints: 127766
1992.82/1998.80 c #Conflicts: 790000 | #Constraints: 128766
1992.82/1998.80 c #Conflicts: 791000 | #Constraints: 129766
1992.82/1998.80 c #Conflicts: 792000 | #Constraints: 130766
1992.82/1998.80 c #Conflicts: 793000 | #Constraints: 131766
1992.82/1998.80 c #Conflicts: 794000 | #Constraints: 132766
1992.82/1998.80 c #Conflicts: 795000 | #Constraints: 133766
1992.82/1998.80 c INPROCESSING
1992.82/1998.80 c GARBAGE COLLECT
1992.82/1998.80 c #Conflicts: 796000 | #Constraints: 81498
1992.82/1998.80 c #Conflicts: 797000 | #Constraints: 82498
1992.82/1998.80 c #Conflicts: 798000 | #Constraints: 83498
1992.82/1998.80 c #Conflicts: 799000 | #Constraints: 84498
1992.82/1998.80 c #Conflicts: 800000 | #Constraints: 85498
1992.82/1998.80 c #Conflicts: 801000 | #Constraints: 86498
1992.82/1998.80 c #Conflicts: 802000 | #Constraints: 87498
1992.82/1998.80 c #Conflicts: 803000 | #Constraints: 88498
1992.82/1998.80 c #Conflicts: 804000 | #Constraints: 89498
1992.82/1998.80 c #Conflicts: 805000 | #Constraints: 90498
1992.82/1998.80 c #Conflicts: 806000 | #Constraints: 91498
1992.82/1998.80 c #Conflicts: 807000 | #Constraints: 92498
1992.82/1998.80 c #Conflicts: 808000 | #Constraints: 93498
1992.82/1998.80 c #Conflicts: 809000 | #Constraints: 94498
1992.82/1998.80 c #Conflicts: 810000 | #Constraints: 95498
1992.82/1998.80 c #Conflicts: 811000 | #Constraints: 96498
1992.82/1998.80 c #Conflicts: 812000 | #Constraints: 97498
1992.82/1998.80 c #Conflicts: 813000 | #Constraints: 98498
1992.82/1998.80 c #Conflicts: 814000 | #Constraints: 99498
1992.82/1998.80 c #Conflicts: 815000 | #Constraints: 100498
1992.82/1998.80 c #Conflicts: 816000 | #Constraints: 101498
1992.82/1998.80 c #Conflicts: 817000 | #Constraints: 102498
1992.82/1998.80 c #Conflicts: 818000 | #Constraints: 103498
1992.82/1998.80 c #Conflicts: 819000 | #Constraints: 104498
2182.20/2188.89 c #Conflicts: 820000 | #Constraints: 105498
2182.20/2188.89 c #Conflicts: 821000 | #Constraints: 106498
2182.20/2188.89 c #Conflicts: 822000 | #Constraints: 107498
2182.20/2188.89 c #Conflicts: 823000 | #Constraints: 108498
2182.20/2188.89 c #Conflicts: 824000 | #Constraints: 109498
2182.20/2188.89 c #Conflicts: 825000 | #Constraints: 110498
2182.20/2188.89 c #Conflicts: 826000 | #Constraints: 111498
2182.20/2188.89 c #Conflicts: 827000 | #Constraints: 112498
2182.20/2188.89 c #Conflicts: 828000 | #Constraints: 113498
2182.20/2188.89 c #Conflicts: 829000 | #Constraints: 114498
2182.20/2188.89 c #Conflicts: 830000 | #Constraints: 115498
2182.20/2188.89 c #Conflicts: 831000 | #Constraints: 116498
2182.20/2188.89 c #Conflicts: 832000 | #Constraints: 117498
2182.20/2188.89 c #Conflicts: 833000 | #Constraints: 118498
2182.20/2188.89 c #Conflicts: 834000 | #Constraints: 119498
2182.20/2188.89 c #Conflicts: 835000 | #Constraints: 120498
2182.20/2188.89 c #Conflicts: 836000 | #Constraints: 121498
2182.20/2188.89 c #Conflicts: 837000 | #Constraints: 122498
2182.20/2188.89 c #Conflicts: 838000 | #Constraints: 123498
2182.20/2188.89 c #Conflicts: 839000 | #Constraints: 124498
2182.20/2188.89 c #Conflicts: 840000 | #Constraints: 125498
2182.20/2188.89 c #Conflicts: 841000 | #Constraints: 126498
2182.20/2188.89 c #Conflicts: 842000 | #Constraints: 127498
2182.20/2188.89 c #Conflicts: 843000 | #Constraints: 128498
2182.20/2188.89 c #Conflicts: 844000 | #Constraints: 129498
2182.20/2188.89 c #Conflicts: 845000 | #Constraints: 130498
2182.20/2188.89 c #Conflicts: 846000 | #Constraints: 131498
2182.20/2188.89 c #Conflicts: 847000 | #Constraints: 132498
2182.20/2188.89 c #Conflicts: 848000 | #Constraints: 133498
2182.20/2188.89 c #Conflicts: 849000 | #Constraints: 134498
2182.20/2188.89 c #Conflicts: 850000 | #Constraints: 135498
2182.20/2188.89 c #Conflicts: 851000 | #Constraints: 136498
2182.20/2188.89 c #Conflicts: 852000 | #Constraints: 137498
2182.20/2188.89 c INPROCESSING
2182.20/2188.89 c GARBAGE COLLECT
2182.20/2188.89 c #Conflicts: 853000 | #Constraints: 82998
2182.20/2188.89 c #Conflicts: 854000 | #Constraints: 83998
2182.20/2188.89 c #Conflicts: 855000 | #Constraints: 84998
2182.20/2188.89 c #Conflicts: 856000 | #Constraints: 85998
2182.20/2188.89 c #Conflicts: 857000 | #Constraints: 86998
2182.20/2188.89 c #Conflicts: 858000 | #Constraints: 87998
2182.20/2188.89 c #Conflicts: 859000 | #Constraints: 88998
2182.20/2188.89 c #Conflicts: 860000 | #Constraints: 89998
2182.20/2188.89 c #Conflicts: 861000 | #Constraints: 90998
2182.20/2188.89 c #Conflicts: 862000 | #Constraints: 91998
2182.20/2188.89 c #Conflicts: 863000 | #Constraints: 92998
2182.20/2188.89 c #Conflicts: 864000 | #Constraints: 93998
2182.20/2188.89 c #Conflicts: 865000 | #Constraints: 94998
2182.20/2188.89 c #Conflicts: 866000 | #Constraints: 95998
2182.20/2188.89 c #Conflicts: 867000 | #Constraints: 96998
2182.20/2188.89 c #Conflicts: 868000 | #Constraints: 97998
2182.20/2188.89 c #Conflicts: 869000 | #Constraints: 98998
2182.20/2188.89 c #Conflicts: 870000 | #Constraints: 99998
2182.20/2188.89 c #Conflicts: 871000 | #Constraints: 100998
2182.20/2188.89 c #Conflicts: 872000 | #Constraints: 101998
2182.20/2188.89 c #Conflicts: 873000 | #Constraints: 102998
2182.20/2188.89 c #Conflicts: 874000 | #Constraints: 103998
2182.20/2188.89 c #Conflicts: 875000 | #Constraints: 104998
2182.20/2188.89 c #Conflicts: 876000 | #Constraints: 105998
2182.20/2188.89 c #Conflicts: 877000 | #Constraints: 106998
2182.20/2188.89 c #Conflicts: 878000 | #Constraints: 107998
2182.20/2188.89 c #Conflicts: 879000 | #Constraints: 108998
2182.20/2188.89 c #Conflicts: 880000 | #Constraints: 109998
2182.20/2188.89 c #Conflicts: 881000 | #Constraints: 110998
2182.20/2188.89 c #Conflicts: 882000 | #Constraints: 111998
2182.20/2188.89 c #Conflicts: 883000 | #Constraints: 112998
2182.20/2188.89 c #Conflicts: 884000 | #Constraints: 113998
2182.20/2188.89 c #Conflicts: 885000 | #Constraints: 114998
2182.20/2188.89 c #Conflicts: 886000 | #Constraints: 115998
2182.20/2188.89 c #Conflicts: 887000 | #Constraints: 116998
2182.20/2188.89 c #Conflicts: 888000 | #Constraints: 117998
2182.20/2188.89 c #Conflicts: 889000 | #Constraints: 118998
2182.20/2188.89 c #Conflicts: 890000 | #Constraints: 119998
2182.20/2188.89 c #Conflicts: 891000 | #Constraints: 120998
2182.20/2188.89 c #Conflicts: 892000 | #Constraints: 121998
2182.20/2188.89 c #Conflicts: 893000 | #Constraints: 122998
2182.20/2188.89 c #Conflicts: 894000 | #Constraints: 123998
2182.20/2188.89 c #Conflicts: 895000 | #Constraints: 124998
2182.20/2188.89 c #Conflicts: 896000 | #Constraints: 125998
2182.20/2188.89 c #Conflicts: 897000 | #Constraints: 126998
2403.97/2411.24 c #Conflicts: 898000 | #Constraints: 127998
2403.97/2411.24 c #Conflicts: 899000 | #Constraints: 128998
2403.97/2411.24 c #Conflicts: 900000 | #Constraints: 129998
2403.97/2411.24 c #Conflicts: 901000 | #Constraints: 130998
2403.97/2411.24 c #Conflicts: 902000 | #Constraints: 131998
2403.97/2411.24 c #Conflicts: 903000 | #Constraints: 132998
2403.97/2411.24 c #Conflicts: 904000 | #Constraints: 133998
2403.97/2411.24 c #Conflicts: 905000 | #Constraints: 134998
2403.97/2411.24 c #Conflicts: 906000 | #Constraints: 135998
2403.97/2411.24 c #Conflicts: 907000 | #Constraints: 136998
2403.97/2411.24 c #Conflicts: 908000 | #Constraints: 137998
2403.97/2411.24 c #Conflicts: 909000 | #Constraints: 138998
2403.97/2411.24 c #Conflicts: 910000 | #Constraints: 139998
2403.97/2411.24 c #Conflicts: 911000 | #Constraints: 140998
2403.97/2411.24 c #Conflicts: 912000 | #Constraints: 141998
2403.97/2411.24 c INPROCESSING
2403.97/2411.24 c GARBAGE COLLECT
2403.97/2411.24 c #Conflicts: 913000 | #Constraints: 85536
2403.97/2411.24 c #Conflicts: 914000 | #Constraints: 86536
2403.97/2411.24 c #Conflicts: 915000 | #Constraints: 87536
2403.97/2411.24 c #Conflicts: 916000 | #Constraints: 88536
2403.97/2411.24 c #Conflicts: 917000 | #Constraints: 89536
2403.97/2411.24 c #Conflicts: 918000 | #Constraints: 90536
2403.97/2411.24 c #Conflicts: 919000 | #Constraints: 91536
2403.97/2411.24 c #Conflicts: 920000 | #Constraints: 92536
2403.97/2411.24 c #Conflicts: 921000 | #Constraints: 93536
2403.97/2411.24 c #Conflicts: 922000 | #Constraints: 94536
2403.97/2411.24 c #Conflicts: 923000 | #Constraints: 95536
2403.97/2411.24 c #Conflicts: 924000 | #Constraints: 96536
2403.97/2411.24 c #Conflicts: 925000 | #Constraints: 97536
2403.97/2411.24 c #Conflicts: 926000 | #Constraints: 98536
2403.97/2411.24 c #Conflicts: 927000 | #Constraints: 99536
2403.97/2411.24 c #Conflicts: 928000 | #Constraints: 100536
2403.97/2411.24 c #Conflicts: 929000 | #Constraints: 101536
2403.97/2411.24 c #Conflicts: 930000 | #Constraints: 102536
2403.97/2411.24 c #Conflicts: 931000 | #Constraints: 103536
2403.97/2411.24 c #Conflicts: 932000 | #Constraints: 104536
2403.97/2411.24 c #Conflicts: 933000 | #Constraints: 105536
2403.97/2411.24 c #Conflicts: 934000 | #Constraints: 106536
2403.97/2411.24 c #Conflicts: 935000 | #Constraints: 107536
2403.97/2411.24 c #Conflicts: 936000 | #Constraints: 108536
2403.97/2411.24 c #Conflicts: 937000 | #Constraints: 109536
2403.97/2411.24 c #Conflicts: 938000 | #Constraints: 110536
2403.97/2411.24 c #Conflicts: 939000 | #Constraints: 111536
2403.97/2411.24 c #Conflicts: 940000 | #Constraints: 112536
2403.97/2411.24 c #Conflicts: 941000 | #Constraints: 113536
2403.97/2411.24 c #Conflicts: 942000 | #Constraints: 114536
2403.97/2411.24 c #Conflicts: 943000 | #Constraints: 115536
2403.97/2411.24 c #Conflicts: 944000 | #Constraints: 116536
2403.97/2411.24 c #Conflicts: 945000 | #Constraints: 117536
2403.97/2411.24 c #Conflicts: 946000 | #Constraints: 118536
2403.97/2411.24 c #Conflicts: 947000 | #Constraints: 119536
2403.97/2411.24 c #Conflicts: 948000 | #Constraints: 120537
2403.97/2411.24 c #Conflicts: 949000 | #Constraints: 121537
2403.97/2411.24 c #Conflicts: 950000 | #Constraints: 122537
2403.97/2411.24 c #Conflicts: 951000 | #Constraints: 123537
2403.97/2411.24 c #Conflicts: 952000 | #Constraints: 124537
2403.97/2411.24 c #Conflicts: 953000 | #Constraints: 125537
2403.97/2411.24 c #Conflicts: 954000 | #Constraints: 126537
2403.97/2411.24 c #Conflicts: 955000 | #Constraints: 127537
2403.97/2411.24 c #Conflicts: 956000 | #Constraints: 128537
2403.97/2411.24 c #Conflicts: 957000 | #Constraints: 129537
2403.97/2411.24 c #Conflicts: 958000 | #Constraints: 130537
2403.97/2411.24 c #Conflicts: 959000 | #Constraints: 131537
2403.97/2411.24 c #Conflicts: 960000 | #Constraints: 132537
2403.97/2411.24 c #Conflicts: 961000 | #Constraints: 133537
2403.97/2411.24 c #Conflicts: 962000 | #Constraints: 134537
2403.97/2411.24 c #Conflicts: 963000 | #Constraints: 135537
2403.97/2411.24 c #Conflicts: 964000 | #Constraints: 136537
2403.97/2411.24 c #Conflicts: 965000 | #Constraints: 137537
2403.97/2411.24 c #Conflicts: 966000 | #Constraints: 138537
2403.97/2411.24 c #Conflicts: 967000 | #Constraints: 139537
2403.97/2411.24 c #Conflicts: 968000 | #Constraints: 140537
2403.97/2411.24 c #Conflicts: 969000 | #Constraints: 141538
2403.97/2411.24 c #Conflicts: 970000 | #Constraints: 142538
2403.97/2411.24 c #Conflicts: 971000 | #Constraints: 143538
2403.97/2411.24 c #Conflicts: 972000 | #Constraints: 144538
2403.97/2411.24 c #Conflicts: 973000 | #Constraints: 145538
2403.97/2411.24 c INPROCESSING
2403.97/2411.24 c GARBAGE COLLECT
2403.97/2411.24 c #Conflicts: 974000 | #Constraints: 87111
2403.97/2411.24 c #Conflicts: 975000 | #Constraints: 88111
2922.45/2931.19 c #Conflicts: 976000 | #Constraints: 89111
2922.45/2931.19 c #Conflicts: 977000 | #Constraints: 90111
2922.45/2931.19 c #Conflicts: 978000 | #Constraints: 91111
2922.45/2931.19 c #Conflicts: 979000 | #Constraints: 92111
2922.45/2931.19 c #Conflicts: 980000 | #Constraints: 93111
2922.45/2931.19 c #Conflicts: 981000 | #Constraints: 94111
2922.45/2931.19 c #Conflicts: 982000 | #Constraints: 95111
2922.45/2931.19 c #Conflicts: 983000 | #Constraints: 96111
2922.45/2931.19 c #Conflicts: 984000 | #Constraints: 97111
2922.45/2931.19 c #Conflicts: 985000 | #Constraints: 98111
2922.45/2931.19 c #Conflicts: 986000 | #Constraints: 99111
2922.45/2931.19 c #Conflicts: 987000 | #Constraints: 100111
2922.45/2931.19 c #Conflicts: 988000 | #Constraints: 101111
2922.45/2931.19 c #Conflicts: 989000 | #Constraints: 102111
2922.45/2931.19 c #Conflicts: 990000 | #Constraints: 103111
2922.45/2931.19 c #Conflicts: 991000 | #Constraints: 104111
2922.45/2931.19 c #Conflicts: 992000 | #Constraints: 105111
2922.45/2931.19 c #Conflicts: 993000 | #Constraints: 106111
2922.45/2931.19 c #Conflicts: 994000 | #Constraints: 107111
2922.45/2931.19 c #Conflicts: 995000 | #Constraints: 108111
2922.45/2931.19 c #Conflicts: 996000 | #Constraints: 109111
2922.45/2931.19 c #Conflicts: 997000 | #Constraints: 110111
2922.45/2931.19 c #Conflicts: 998000 | #Constraints: 111111
2922.45/2931.19 c #Conflicts: 999000 | #Constraints: 112111
2922.45/2931.19 c #Conflicts: 1000000 | #Constraints: 113111
2922.45/2931.19 c #Conflicts: 1001000 | #Constraints: 114111
2922.45/2931.19 c #Conflicts: 1002000 | #Constraints: 115111
2922.45/2931.19 c #Conflicts: 1003000 | #Constraints: 116111
2922.45/2931.19 c #Conflicts: 1004000 | #Constraints: 117111
2922.45/2931.19 c #Conflicts: 1005000 | #Constraints: 118111
2922.45/2931.19 c #Conflicts: 1006000 | #Constraints: 119111
2922.45/2931.19 c #Conflicts: 1007000 | #Constraints: 120111
2922.45/2931.19 c #Conflicts: 1008000 | #Constraints: 121111
2922.45/2931.19 c #Conflicts: 1009000 | #Constraints: 122111
2922.45/2931.19 c #Conflicts: 1010000 | #Constraints: 123111
2922.45/2931.19 c #Conflicts: 1011000 | #Constraints: 124112
2922.45/2931.19 c #Conflicts: 1012000 | #Constraints: 125112
2922.45/2931.19 c #Conflicts: 1013000 | #Constraints: 126112
2922.45/2931.19 c #Conflicts: 1014000 | #Constraints: 127112
2922.45/2931.19 c #Conflicts: 1015000 | #Constraints: 128112
2922.45/2931.19 c #Conflicts: 1016000 | #Constraints: 129112
2922.45/2931.19 c #Conflicts: 1017000 | #Constraints: 130112
2922.45/2931.19 c #Conflicts: 1018000 | #Constraints: 131112
2922.45/2931.19 c #Conflicts: 1019000 | #Constraints: 132112
2922.45/2931.19 c #Conflicts: 1020000 | #Constraints: 133112
2922.45/2931.19 c #Conflicts: 1021000 | #Constraints: 134112
2922.45/2931.19 c #Conflicts: 1022000 | #Constraints: 135112
2922.45/2931.19 c #Conflicts: 1023000 | #Constraints: 136112
2922.45/2931.19 c #Conflicts: 1024000 | #Constraints: 137112
2922.45/2931.19 c #Conflicts: 1025000 | #Constraints: 138112
2922.45/2931.19 c #Conflicts: 1026000 | #Constraints: 139112
2922.45/2931.19 c #Conflicts: 1027000 | #Constraints: 140112
2922.45/2931.19 c #Conflicts: 1028000 | #Constraints: 141113
2922.45/2931.19 c #Conflicts: 1029000 | #Constraints: 142113
2922.45/2931.19 c #Conflicts: 1030000 | #Constraints: 143113
2922.45/2931.19 c #Conflicts: 1031000 | #Constraints: 144113
2922.45/2931.19 c #Conflicts: 1032000 | #Constraints: 145113
2922.45/2931.19 c #Conflicts: 1033000 | #Constraints: 146113
2922.45/2931.19 c #Conflicts: 1034000 | #Constraints: 147113
2922.45/2931.19 c #Conflicts: 1035000 | #Constraints: 148113
2922.45/2931.19 c #Conflicts: 1036000 | #Constraints: 149113
2922.45/2931.19 c #Conflicts: 1037000 | #Constraints: 150113
2922.45/2931.19 c INPROCESSING
2922.45/2931.19 c GARBAGE COLLECT
2922.45/2931.19 c #Conflicts: 1038000 | #Constraints: 89323
2922.45/2931.19 c #Conflicts: 1039000 | #Constraints: 90323
2922.45/2931.19 c #Conflicts: 1040000 | #Constraints: 91323
2922.45/2931.19 c #Conflicts: 1041000 | #Constraints: 92323
2922.45/2931.19 c #Conflicts: 1042000 | #Constraints: 93323
2922.45/2931.19 c #Conflicts: 1043000 | #Constraints: 94323
2922.45/2931.19 c #Conflicts: 1044000 | #Constraints: 95323
2922.45/2931.19 c #Conflicts: 1045000 | #Constraints: 96323
2922.45/2931.19 c #Conflicts: 1046000 | #Constraints: 97323
2922.45/2931.19 c #Conflicts: 1047000 | #Constraints: 98323
2922.45/2931.19 c #Conflicts: 1048000 | #Constraints: 99323
2922.45/2931.19 c #Conflicts: 1049000 | #Constraints: 100323
2922.45/2931.19 c #Conflicts: 1050000 | #Constraints: 101323
2922.45/2931.19 c #Conflicts: 1051000 | #Constraints: 102323
2922.45/2931.19 c #Conflicts: 1052000 | #Constraints: 103323
2922.45/2931.19 c #Conflicts: 1053000 | #Constraints: 104323
3159.82/3169.29 c #Conflicts: 1054000 | #Constraints: 105323
3159.82/3169.29 c #Conflicts: 1055000 | #Constraints: 106323
3159.82/3169.29 c #Conflicts: 1056000 | #Constraints: 107323
3159.82/3169.29 c #Conflicts: 1057000 | #Constraints: 108323
3159.82/3169.29 c #Conflicts: 1058000 | #Constraints: 109323
3159.82/3169.29 c #Conflicts: 1059000 | #Constraints: 110324
3159.82/3169.29 c #Conflicts: 1060000 | #Constraints: 111324
3159.82/3169.29 c #Conflicts: 1061000 | #Constraints: 112324
3159.82/3169.29 c #Conflicts: 1062000 | #Constraints: 113324
3159.82/3169.29 c #Conflicts: 1063000 | #Constraints: 114324
3159.82/3169.29 c #Conflicts: 1064000 | #Constraints: 115324
3159.82/3169.29 c #Conflicts: 1065000 | #Constraints: 116324
3159.82/3169.29 c #Conflicts: 1066000 | #Constraints: 117325
3159.82/3169.29 c #Conflicts: 1067000 | #Constraints: 118325
3159.82/3169.29 c #Conflicts: 1068000 | #Constraints: 119325
3159.82/3169.29 c #Conflicts: 1069000 | #Constraints: 120325
3159.82/3169.29 c #Conflicts: 1070000 | #Constraints: 121325
3159.82/3169.29 c #Conflicts: 1071000 | #Constraints: 122325
3159.82/3169.29 c INPROCESSING
3159.82/3169.29 c GARBAGE COLLECT
3159.82/3169.29 c #Conflicts: 1072000 | #Constraints: 88672
3159.82/3169.29 c #Conflicts: 1073000 | #Constraints: 89672
3159.82/3169.29 c #Conflicts: 1074000 | #Constraints: 90672
3159.82/3169.29 c #Conflicts: 1075000 | #Constraints: 91672
3159.82/3169.29 c #Conflicts: 1076000 | #Constraints: 92672
3159.82/3169.29 c #Conflicts: 1077000 | #Constraints: 93672
3159.82/3169.29 c #Conflicts: 1078000 | #Constraints: 94672
3159.82/3169.29 c #Conflicts: 1079000 | #Constraints: 95672
3159.82/3169.29 c #Conflicts: 1080000 | #Constraints: 96672
3159.82/3169.29 c #Conflicts: 1081000 | #Constraints: 97672
3159.82/3169.29 c #Conflicts: 1082000 | #Constraints: 98672
3159.82/3169.29 c #Conflicts: 1083000 | #Constraints: 99672
3159.82/3169.29 c #Conflicts: 1084000 | #Constraints: 100672
3159.82/3169.29 c #Conflicts: 1085000 | #Constraints: 101672
3159.82/3169.29 c #Conflicts: 1086000 | #Constraints: 102672
3159.82/3169.29 c #Conflicts: 1087000 | #Constraints: 103672
3159.82/3169.29 c #Conflicts: 1088000 | #Constraints: 104672
3159.82/3169.29 c #Conflicts: 1089000 | #Constraints: 105672
3159.82/3169.29 c #Conflicts: 1090000 | #Constraints: 106672
3159.82/3169.29 c #Conflicts: 1091000 | #Constraints: 107672
3159.82/3169.29 c #Conflicts: 1092000 | #Constraints: 108672
3159.82/3169.29 c #Conflicts: 1093000 | #Constraints: 109672
3159.82/3169.29 c #Conflicts: 1094000 | #Constraints: 110672
3159.82/3169.29 c #Conflicts: 1095000 | #Constraints: 111672
3159.82/3169.29 c #Conflicts: 1096000 | #Constraints: 112672
3159.82/3169.29 c #Conflicts: 1097000 | #Constraints: 113672
3159.82/3169.29 c #Conflicts: 1098000 | #Constraints: 114672
3159.82/3169.29 c #Conflicts: 1099000 | #Constraints: 115672
3159.82/3169.29 c #Conflicts: 1100000 | #Constraints: 116672
3159.82/3169.29 c #Conflicts: 1101000 | #Constraints: 117672
3159.82/3169.29 c #Conflicts: 1102000 | #Constraints: 118672
3159.82/3169.29 c #Conflicts: 1103000 | #Constraints: 119672
3159.82/3169.29 c #Conflicts: 1104000 | #Constraints: 120672
3159.82/3169.29 c #Conflicts: 1105000 | #Constraints: 121672
3159.82/3169.29 c #Conflicts: 1106000 | #Constraints: 122672
3159.82/3169.29 c #Conflicts: 1107000 | #Constraints: 123672
3159.82/3169.29 c #Conflicts: 1108000 | #Constraints: 124672
3159.82/3169.29 c #Conflicts: 1109000 | #Constraints: 125672
3159.82/3169.29 c #Conflicts: 1110000 | #Constraints: 126672
3159.82/3169.29 c #Conflicts: 1111000 | #Constraints: 127672
3159.82/3169.29 c #Conflicts: 1112000 | #Constraints: 128672
3159.82/3169.29 c #Conflicts: 1113000 | #Constraints: 129672
3159.82/3169.29 c #Conflicts: 1114000 | #Constraints: 130672
3159.82/3169.29 c #Conflicts: 1115000 | #Constraints: 131672
3159.82/3169.29 c #Conflicts: 1116000 | #Constraints: 132672
3159.82/3169.29 c #Conflicts: 1117000 | #Constraints: 133672
3159.82/3169.29 c #Conflicts: 1118000 | #Constraints: 134672
3159.82/3169.29 c #Conflicts: 1119000 | #Constraints: 135672
3159.82/3169.29 c #Conflicts: 1120000 | #Constraints: 136672
3159.82/3169.29 c #Conflicts: 1121000 | #Constraints: 137672
3159.82/3169.29 c #Conflicts: 1122000 | #Constraints: 138672
3159.82/3169.29 c #Conflicts: 1123000 | #Constraints: 139672
3159.82/3169.29 c #Conflicts: 1124000 | #Constraints: 140672
3159.82/3169.29 c #Conflicts: 1125000 | #Constraints: 141672
3159.82/3169.29 c #Conflicts: 1126000 | #Constraints: 142672
3159.82/3169.29 c #Conflicts: 1127000 | #Constraints: 143672
3159.82/3169.29 c #Conflicts: 1128000 | #Constraints: 144672
3159.82/3169.29 c #Conflicts: 1129000 | #Constraints: 145672
3159.82/3169.29 c #Conflicts: 1130000 | #Constraints: 146672
3159.82/3169.29 c #Conflicts: 1131000 | #Constraints: 147672
3343.37/3353.30 c #Conflicts: 1132000 | #Constraints: 148672
3343.37/3353.30 c #Conflicts: 1133000 | #Constraints: 149672
3343.37/3353.30 c #Conflicts: 1134000 | #Constraints: 150672
3343.37/3353.30 c #Conflicts: 1135000 | #Constraints: 151672
3343.37/3353.30 c #Conflicts: 1136000 | #Constraints: 152672
3343.37/3353.30 c #Conflicts: 1137000 | #Constraints: 153672
3343.37/3353.30 c INPROCESSING
3343.37/3353.30 c GARBAGE COLLECT
3343.37/3353.30 c #Conflicts: 1138000 | #Constraints: 91073
3343.37/3353.30 c #Conflicts: 1139000 | #Constraints: 92073
3343.37/3353.30 c #Conflicts: 1140000 | #Constraints: 93073
3343.37/3353.30 c #Conflicts: 1141000 | #Constraints: 94073
3343.37/3353.30 c #Conflicts: 1142000 | #Constraints: 95073
3343.37/3353.30 c #Conflicts: 1143000 | #Constraints: 96073
3343.37/3353.30 c #Conflicts: 1144000 | #Constraints: 97073
3343.37/3353.30 c #Conflicts: 1145000 | #Constraints: 98073
3343.37/3353.30 c #Conflicts: 1146000 | #Constraints: 99073
3343.37/3353.30 c #Conflicts: 1147000 | #Constraints: 100073
3343.37/3353.30 c #Conflicts: 1148000 | #Constraints: 101073
3343.37/3353.30 c #Conflicts: 1149000 | #Constraints: 102073
3343.37/3353.30 c #Conflicts: 1150000 | #Constraints: 103073
3343.37/3353.30 c #Conflicts: 1151000 | #Constraints: 104073
3343.37/3353.30 c #Conflicts: 1152000 | #Constraints: 105073
3343.37/3353.30 c #Conflicts: 1153000 | #Constraints: 106073
3343.37/3353.30 c #Conflicts: 1154000 | #Constraints: 107073
3343.37/3353.30 c #Conflicts: 1155000 | #Constraints: 108073
3343.37/3353.30 c #Conflicts: 1156000 | #Constraints: 109073
3343.37/3353.30 c #Conflicts: 1157000 | #Constraints: 110073
3343.37/3353.30 c #Conflicts: 1158000 | #Constraints: 111073
3343.37/3353.30 c #Conflicts: 1159000 | #Constraints: 112073
3343.37/3353.30 c #Conflicts: 1160000 | #Constraints: 113073
3343.37/3353.30 c #Conflicts: 1161000 | #Constraints: 114073
3343.37/3353.30 c #Conflicts: 1162000 | #Constraints: 115073
3343.37/3353.30 c #Conflicts: 1163000 | #Constraints: 116073
3343.37/3353.30 c #Conflicts: 1164000 | #Constraints: 117073
3343.37/3353.30 c #Conflicts: 1165000 | #Constraints: 118073
3343.37/3353.30 c #Conflicts: 1166000 | #Constraints: 119073
3343.37/3353.30 c #Conflicts: 1167000 | #Constraints: 120073
3343.37/3353.30 c #Conflicts: 1168000 | #Constraints: 121073
3343.37/3353.30 c #Conflicts: 1169000 | #Constraints: 122073
3343.37/3353.30 c #Conflicts: 1170000 | #Constraints: 123073
3343.37/3353.30 c #Conflicts: 1171000 | #Constraints: 124073
3343.37/3353.30 c #Conflicts: 1172000 | #Constraints: 125073
3343.37/3353.30 c INPROCESSING
3343.37/3353.30 c GARBAGE COLLECT
3343.37/3353.30 c #Conflicts: 1173000 | #Constraints: 90806
3343.37/3353.30 c #Conflicts: 1174000 | #Constraints: 91806
3343.37/3353.30 c #Conflicts: 1175000 | #Constraints: 92806
3343.37/3353.30 c #Conflicts: 1176000 | #Constraints: 93806
3343.37/3353.30 c #Conflicts: 1177000 | #Constraints: 94806
3343.37/3353.30 c #Conflicts: 1178000 | #Constraints: 95806
3343.37/3353.30 c #Conflicts: 1179000 | #Constraints: 96806
3343.37/3353.30 c #Conflicts: 1180000 | #Constraints: 97806
3343.37/3353.30 c #Conflicts: 1181000 | #Constraints: 98806
3343.37/3353.30 c #Conflicts: 1182000 | #Constraints: 99806
3343.37/3353.30 c #Conflicts: 1183000 | #Constraints: 100806
3343.37/3353.30 c #Conflicts: 1184000 | #Constraints: 101806
3343.37/3353.30 c #Conflicts: 1185000 | #Constraints: 102806
3343.37/3353.30 c #Conflicts: 1186000 | #Constraints: 103806
3343.37/3353.30 c #Conflicts: 1187000 | #Constraints: 104806
3343.37/3353.30 c #Conflicts: 1188000 | #Constraints: 105806
3343.37/3353.30 c #Conflicts: 1189000 | #Constraints: 106806
3343.37/3353.30 c #Conflicts: 1190000 | #Constraints: 107806
3343.37/3353.30 c #Conflicts: 1191000 | #Constraints: 108806
3343.37/3353.30 c #Conflicts: 1192000 | #Constraints: 109806
3343.37/3353.30 c #Conflicts: 1193000 | #Constraints: 110806
3343.37/3353.30 c #Conflicts: 1194000 | #Constraints: 111806
3343.37/3353.30 c #Conflicts: 1195000 | #Constraints: 112806
3343.37/3353.30 c #Conflicts: 1196000 | #Constraints: 113806
3343.37/3353.30 c #Conflicts: 1197000 | #Constraints: 114806
3343.37/3353.30 c #Conflicts: 1198000 | #Constraints: 115806
3343.37/3353.30 c #Conflicts: 1199000 | #Constraints: 116806
3343.37/3353.30 c #Conflicts: 1200000 | #Constraints: 117806
3343.37/3353.30 c #Conflicts: 1201000 | #Constraints: 118806
3343.37/3353.30 c #Conflicts: 1202000 | #Constraints: 119806
3343.37/3353.30 c #Conflicts: 1203000 | #Constraints: 120806
3343.37/3353.30 c #Conflicts: 1204000 | #Constraints: 121806
3343.37/3353.30 c #Conflicts: 1205000 | #Constraints: 122806
3343.37/3353.30 c #Conflicts: 1206000 | #Constraints: 123806
3343.37/3353.30 c #Conflicts: 1207000 | #Constraints: 124806
3343.37/3353.30 c #Conflicts: 1208000 | #Constraints: 125806
3343.37/3353.30 c #Conflicts: 1209000 | #Constraints: 126806
3600.08/3610.80 c #Conflicts: 1210000 | #Constraints: 127806
3600.08/3610.80 c #Conflicts: 1211000 | #Constraints: 128806
3600.08/3610.80 c #Conflicts: 1212000 | #Constraints: 129806
3600.08/3610.80 c #Conflicts: 1213000 | #Constraints: 130806
3600.08/3610.80 c #Conflicts: 1214000 | #Constraints: 131806
3600.08/3610.80 c #Conflicts: 1215000 | #Constraints: 132807
3600.08/3610.80 c #Conflicts: 1216000 | #Constraints: 133807
3600.08/3610.80 c #Conflicts: 1217000 | #Constraints: 134807
3600.08/3610.80 c #Conflicts: 1218000 | #Constraints: 135807
3600.08/3610.80 c #Conflicts: 1219000 | #Constraints: 136807
3600.08/3610.80 c #Conflicts: 1220000 | #Constraints: 137807
3600.08/3610.80 c #Conflicts: 1221000 | #Constraints: 138807
3600.08/3610.80 c #Conflicts: 1222000 | #Constraints: 139807
3600.08/3610.80 c #Conflicts: 1223000 | #Constraints: 140807
3600.08/3610.80 c #Conflicts: 1224000 | #Constraints: 141807
3600.08/3610.80 c #Conflicts: 1225000 | #Constraints: 142807
3600.08/3610.80 c #Conflicts: 1226000 | #Constraints: 143807
3600.08/3610.80 c #Conflicts: 1227000 | #Constraints: 144807
3600.08/3610.80 c #Conflicts: 1228000 | #Constraints: 145807
3600.08/3610.80 c #Conflicts: 1229000 | #Constraints: 146807
3600.08/3610.80 c #Conflicts: 1230000 | #Constraints: 147807
3600.08/3610.80 c #Conflicts: 1231000 | #Constraints: 148807
3600.08/3610.80 c #Conflicts: 1232000 | #Constraints: 149807
3600.08/3610.80 c #Conflicts: 1233000 | #Constraints: 150807
3600.08/3610.80 c #Conflicts: 1234000 | #Constraints: 151807
3600.08/3610.80 c #Conflicts: 1235000 | #Constraints: 152807
3600.08/3610.80 c #Conflicts: 1236000 | #Constraints: 153807
3600.08/3610.80 c #Conflicts: 1237000 | #Constraints: 154807
3600.08/3610.80 c #Conflicts: 1238000 | #Constraints: 155807
3600.08/3610.80 c #Conflicts: 1239000 | #Constraints: 156807
3600.08/3610.80 c #Conflicts: 1240000 | #Constraints: 157807
3600.08/3610.80 c #Conflicts: 1241000 | #Constraints: 158807
3600.08/3610.80 c #Conflicts: 1242000 | #Constraints: 159807
3600.08/3610.80 c INPROCESSING
3600.08/3610.80 c GARBAGE COLLECT
3600.08/3610.80 c #Conflicts: 1243000 | #Constraints: 94399
3600.08/3610.80 c #Conflicts: 1244000 | #Constraints: 95399
3600.08/3610.80 c #Conflicts: 1245000 | #Constraints: 96399
3600.08/3610.80 c #Conflicts: 1246000 | #Constraints: 97399
3600.08/3610.80 c #Conflicts: 1247000 | #Constraints: 98399
3600.08/3610.80 c #Conflicts: 1248000 | #Constraints: 99399
3600.08/3610.80 c #Conflicts: 1249000 | #Constraints: 100399
3600.08/3610.80 c #Conflicts: 1250000 | #Constraints: 101399
3600.08/3610.80 c #Conflicts: 1251000 | #Constraints: 102399
3600.08/3610.80 c #Conflicts: 1252000 | #Constraints: 103399
3600.08/3610.80 c #Conflicts: 1253000 | #Constraints: 104399
3600.08/3610.80 c #Conflicts: 1254000 | #Constraints: 105399
3600.08/3610.80 c #Conflicts: 1255000 | #Constraints: 106399
3600.08/3610.80 c #Conflicts: 1256000 | #Constraints: 107399
3600.08/3610.80 c #Conflicts: 1257000 | #Constraints: 108399
3600.08/3610.80 c #Conflicts: 1258000 | #Constraints: 109399
3600.08/3610.80 c #Conflicts: 1259000 | #Constraints: 110399
3600.08/3610.80 c #Conflicts: 1260000 | #Constraints: 111399
3600.08/3610.80 c #Conflicts: 1261000 | #Constraints: 112399
3600.08/3610.80 c #Conflicts: 1262000 | #Constraints: 113399
3600.08/3610.80 c #Conflicts: 1263000 | #Constraints: 114399
3600.08/3610.80 c #Conflicts: 1264000 | #Constraints: 115399
3600.08/3610.80 c #Conflicts: 1265000 | #Constraints: 116399
3600.08/3610.80 c #Conflicts: 1266000 | #Constraints: 117399
3600.08/3610.80 c cpu time 3560.44 s
3600.08/3610.80 c deterministic time 250230177827 2.50e+11
3600.08/3610.80 c optimization time 45.6148 s
3600.08/3610.80 c total solve time 3514.47 s
3600.08/3610.80 c core-guided solve time 0 s
3600.08/3610.80 c propagation time 2041.85 s
3600.08/3610.80 c conflict analysis time 1181.28 s
3600.08/3610.80 c propagations 1341588799
3600.08/3610.80 c resolve steps 72081210
3600.08/3610.80 c decisions 39243154
3600.08/3610.80 c conflicts 1266446
3600.08/3610.80 c restarts 2427
3600.08/3610.80 c inprocessing phases 38
3600.08/3610.80 c garbage collections 38 ,( 100.00 )
3600.08/3610.80 c input clauses 23522 ,( 99.17 )
3600.08/3610.80 c input cardinalities 196 ,( 0.83 )
3600.08/3610.80 c input general constraints 0 ,( 0.00 )
3600.08/3610.80 c input average constraint length 6.44
3600.08/3610.80 c input average constraint degree 1.97
3600.08/3610.80 c learned clauses 894698 ,( 70.65 )
3600.08/3610.80 c learned cardinalities 48466 ,( 3.83 )
3600.08/3610.80 c learned general constraints 323298 ,( 25.53 )
3600.08/3610.80 c learned average constraint length 790.49
3600.08/3610.80 c learned average constraint degree 18171520.92
3600.08/3610.80 c watched CF 32, 64, 128, Arb: 78472 , 0 , 0 , 0
3600.08/3610.80 c counting CF 32, 64, 128, Arb: 244826 , 0 , 0 , 0
3600.08/3610.80 c watched constraints 78472 ,( 24.27 )
3600.08/3610.80 c counting constraints 244826 ,( 75.73 )
3600.08/3610.80 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1246297097 , 768325929 , 1992425024 ,( 96021373 , 1896403651 )
3600.08/3610.80 c gcd simplifications 659
3600.08/3610.80 c detected cardinalities 8183
3600.08/3610.80 c weakened non-implied lits 335013161
3600.08/3610.80 c weakened non-implying lits 171557
3600.08/3610.80 c original variables 23324
3600.08/3610.80 c clausal propagations 640570817
3600.08/3610.80 c cardinality propagations 480218400
3600.08/3610.80 c watched propagations 4030540
3600.08/3610.80 c counting propagations 203713295
3600.08/3610.80 c watch lookups 77706310113
3600.08/3610.80 c watch backjump lookups 0
3600.08/3610.80 c watch checks 37522800593
3600.08/3610.80 c propagation checks 127825606135
3600.08/3610.80 c constraint additions 4412254446
3600.08/3610.80 c trail pops 1382080050
3600.08/3610.80 c formula constraints 23718
3600.08/3610.80 c learned constraints 1266443
3600.08/3610.80 c bound constraints 0
3600.08/3610.80 c core-guided constraints 0
3600.08/3610.80 c encountered formula constraints 45093742
3600.08/3610.80 c encountered learned constraints 28253726
3600.08/3610.80 c encountered bound constraints 0
3600.08/3610.80 c encountered core-guided constraints 0
3600.08/3610.80 c LP total time 452.001 s
3600.08/3610.80 c LP solve time 440.59 s
3600.08/3610.80 c LP constraints added 24087
3600.08/3610.80 c LP constraints removed 48
3600.08/3610.80 c LP pivots internal 166126
3600.08/3610.80 c LP pivots root 128410
3600.08/3610.80 c LP calls 21
3600.08/3610.80 c LP optimalities 3
3600.08/3610.80 c LP no pivot count 0
3600.08/3610.80 c LP infeasibilities 11
3600.08/3610.80 c LP valid Farkas constraints 11
3600.08/3610.80 c LP learned Farkas constraints 3
3600.08/3610.80 c LP basis resets 0
3600.08/3610.80 c LP cycling count 0
3600.08/3610.80 c LP singular count 0
3600.08/3610.80 c LP no primal count 0
3600.08/3610.80 c LP no farkas count 0
3600.08/3610.80 c LP other issue count 0
3600.08/3610.80 c LP Gomory cuts 5
3600.08/3610.80 c LP learned cuts 364
3600.08/3610.80 c LP deleted cuts 48
3600.08/3610.80 c LP encountered Gomory constraints 41
3600.08/3610.80 c LP encountered Farkas constraints 142
3600.08/3610.80 c LP encountered learned Farkas constraints 2
3600.08/3610.80 c CG auxiliary variables introduced 0
3600.08/3610.80 c CG solutions found 0
3600.08/3610.80 c CG cores constructed 0
3600.08/3610.80 c CG core cardinality constraints returned 0
3600.08/3610.80 c CG unit cores 0
3600.08/3610.80 c CG single cores 0
3600.08/3610.80 c CG blocks removed during cardinality reduction 0
3600.08/3610.80 c CG first core best 0
3600.08/3610.80 c CG decision core best 0
3600.08/3610.80 c CG core reduction tie 0
3600.08/3610.80 c CG core degree average 0.00
3600.08/3610.80 c CG core slack average 0.00
3600.08/3610.80 c CG core upper bound improvements 0
3600.08/3610.80 c STR number of successful calls 0
3600.08/3610.80 c STR number of unsuccessful calls 0
3600.08/3610.80 c STR number of inconclusive calls 0
3600.08/3610.80 c STR number of successful attempts 0
3600.08/3610.80 c STR number of unsuccessful attempts 0
3600.08/3610.80 c STR number of inconclusive attempts 0
3600.08/3610.80 c STR average degree increase per successful call inf
3600.08/3610.80 c STR average degree increase per successful attempt inf
3600.08/3610.80 c STR total number of conflicts for successful attempts 0
3600.08/3610.80 c STR total number of conflicts for unsuccessful attempts 0
3600.08/3610.80 c STR total number of conflicts for inconclusive attempts 0
3600.08/3610.80 c STR average number of conflicts per successful attempt inf
3600.08/3610.80 c STR average number of conflicts per unsuccessful attempt inf
3600.08/3610.80 c STR average number of conflicts per inconclusive attempt inf
3600.08/3610.80 c AVG.sumWPerc 66.92
3600.08/3610.80 c bigint constraints 0
3600.08/3610.80 s UNKNOWN
3600.08/3610.80 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (57014 MiB free)
memory of node 1: 64465 MiB (57224 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507121-1751178238/watcher-4507121-1751178238 -o /tmp/evaluation-result-4507121-1751178238/solver-4507121-1751178238 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751170906-17822 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4507121-1751178238.opb PROOFDIR/proof-4507121-1751178238
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=18781, runsolver pid=18778
[startup+0.100102 s]*
/proc/loadavg: 4.05 4.08 4.09 5/259 18783
/proc/meminfo: memFree=116968776/131382120 swapFree=33010684/33010684
[pid=18781] ppid=18778 vsize=4192 memory=2688 CPUtime=0 cores=1,3
/proc/18781/stat : 18781 (run-dec-log.sh) S 18778 18781 17810 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33502527 4292608 672 18446744073709551615 94560454377472 94560455272005 140734606444880 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94560455511056 94560455558800 94560467939328 140734606453025 140734606453220 140734606453220 140734606458822 0
/proc/18781/statm: 1048 672 640 219 0 110 0
[pid=18783] ppid=18781 vsize=60384 memory=15616 CPUtime=0.09 cores=1,3
/proc/18783/stat : 18783 (roundingsat) R 18781 18781 17810 0 -1 4194304 1658 0 0 0 7 2 0 0 20 0 1 0 33502528 61833216 3904 18446744073709551615 4227072 8923433 140732402889584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30937088 140732402895207 140732402895400 140732402895400 140732402900970 0
/proc/18783/statm: 15096 3904 1952 1147 0 2523 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 64576 KiB
Current children cumulated memory: 18304 KiB
[startup+0.20982 s]*
/proc/loadavg: 4.05 4.08 4.09 6/259 18783
/proc/meminfo: memFree=116968528/131382120 swapFree=33010684/33010684
[pid=18781] ppid=18778 vsize=4192 memory=2688 CPUtime=0 cores=1,3
/proc/18781/stat : 18781 (run-dec-log.sh) S 18778 18781 17810 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33502527 4292608 672 18446744073709551615 94560454377472 94560455272005 140734606444880 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94560455511056 94560455558800 94560467939328 140734606453025 140734606453220 140734606453220 140734606458822 0
/proc/18781/statm: 1048 672 640 219 0 110 0
[pid=18783] ppid=18781 vsize=61744 memory=16768 CPUtime=0.19 cores=1,3
/proc/18783/stat : 18783 (roundingsat) R 18781 18781 17810 0 -1 4194304 1998 0 0 0 15 4 0 0 20 0 1 0 33502528 63225856 4192 18446744073709551615 4227072 8923433 140732402889584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30937088 140732402895207 140732402895400 140732402895400 140732402900970 0
/proc/18783/statm: 15436 4192 1952 1147 0 2863 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 65936 KiB
Current children cumulated memory: 19456 KiB
[startup+0.309532 s]*
/proc/loadavg: 4.05 4.08 4.09 6/259 18783
/proc/meminfo: memFree=116967772/131382120 swapFree=33010684/33010684
[pid=18781] ppid=18778 vsize=4192 memory=2688 CPUtime=0 cores=1,3
/proc/18781/stat : 18781 (run-dec-log.sh) S 18778 18781 17810 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33502527 4292608 672 18446744073709551615 94560454377472 94560455272005 140734606444880 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94560455511056 94560455558800 94560467939328 140734606453025 140734606453220 140734606453220 140734606458822 0
/proc/18781/statm: 1048 672 640 219 0 110 0
[pid=18783] ppid=18781 vsize=66548 memory=20480 CPUtime=0.3 cores=1,3
/proc/18783/stat : 18783 (roundingsat) R 18781 18781 17810 0 -1 4194304 2704 0 0 0 24 6 0 0 20 0 1 0 33502528 68145152 5120 18446744073709551615 4227072 8923433 140732402889584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30937088 140732402895207 140732402895400 140732402895400 140732402900970 0
/proc/18783/statm: 16637 5120 2208 1147 0 4064 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 70740 KiB
Current children cumulated memory: 23168 KiB
[startup+0.700424 s]
/proc/loadavg: 4.05 4.08 4.09 6/259 18783
/proc/meminfo: memFree=116920896/131382120 swapFree=33010684/33010684
[pid=18781] ppid=18778 vsize=4192 memory=2688 CPUtime=0 cores=1,3
/proc/18781/stat : 18781 (run-dec-log.sh) S 18778 18781 17810 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33502527 4292608 672 18446744073709551615 94560454377472 94560455272005 140734606444880 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94560455511056 94560455558800 94560467939328 140734606453025 140734606453220 140734606453220 140734606458822 0
/proc/18781/statm: 1048 672 640 219 0 110 0
[pid=18783] ppid=18781 vsize=114012 memory=62292 CPUtime=0.67 cores=1,3
/proc/18783/stat : 18783 (roundingsat) R 18781 18781 17810 0 -1 4194304 12028 0 0 0 58 9 0 0 20 0 1 0 33502528 116748288 15573 18446744073709551615 4227072 8923433 140732402889584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30937088 140732402895207 140732402895400 140732402895400 140732402900970 0
/proc/18783/statm: 28503 15573 2272 1147 0 15930 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 118204 KiB
Current children cumulated memory: 64980 KiB
[startup+1.50039 s]
/proc/loadavg: 4.05 4.08 4.09 5/259 18783
/proc/meminfo: memFree=116904316/131382120 swapFree=33010684/33010684
[pid=18781] ppid=18778 vsize=4192 memory=2688 CPUtime=0 cores=1,3
/proc/18781/stat : 18781 (run-dec-log.sh) S 18778 18781 17810 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33502527 4292608 672 18446744073709551615 94560454377472 94560455272005 140734606444880 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94560455511056 94560455558800 94560467939328 140734606453025 140734606453220 140734606453220 140734606458822 0
/proc/18781/statm: 1048 672 640 219 0 110 0
[pid=18783] ppid=18781 vsize=115060 memory=64084 CPUtime=1.47 cores=1,3
/proc/18783/stat : 18783 (roundingsat) R 18781 18781 17810 0 -1 4194304 12473 0 0 0 137 10 0 0 20 0 1 0 33502528 117821440 16021 18446744073709551615 4227072 8923433 140732402889584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30937088 140732402895207 140732402895400 140732402895400 140732402900970 0
/proc/18783/statm: 28765 16021 2272 1147 0 16192 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 119252 KiB
Current children cumulated memory: 66772 KiB
[startup+3.11355 s]
/proc/loadavg: 4.05 4.08 4.09 5/259 18783
/proc/meminfo: memFree=116898272/131382120 swapFree=33010684/33010684
[pid=18781] ppid=18778 vsize=4192 memory=2688 CPUtime=0 cores=1,3
/proc/18781/stat : 18781 (run-dec-log.sh) S 18778 18781 17810 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33502527 4292608 672 18446744073709551615 94560454377472 94560455272005 140734606444880 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94560455511056 94560455558800 94560467939328 140734606453025 140734606453220 140734606453220 140734606458822 0
/proc/18781/statm: 1048 672 640 219 0 110 0
[pid=18783] ppid=18781 vsize=116852 memory=68664 CPUtime=3.08 cores=1,3
/proc/18783/stat : 18783 (roundingsat) R 18781 18781 17810 0 -1 4194304 13067 0 0 0 294 14 0 0 20 0 1 0 33502528 119656448 17166 18446744073709551615 4227072 8923433 140732402889584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30937088 140732402895207 140732402895400 140732402895400 140732402900970 0
/proc/18783/statm: 29213 17166 2304 1147 0 16640 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 121044 KiB
Current children cumulated memory: 71352 KiB
[startup+6.30038 s]
/proc/loadavg: 4.05 4.08 4.09 5/260 18784
/proc/meminfo: memFree=116859256/131382120 swapFree=33010684/33010684
[pid=18781] ppid=18778 vsize=4192 memory=2688 CPUtime=0 cores=1,3
/proc/18781/stat : 18781 (run-dec-log.sh) S 18778 18781 17810 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33502527 4292608 672 18446744073709551615 94560454377472 94560455272005 140734606444880 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94560455511056 94560455558800 94560467939328 140734606453025 140734606453220 140734606453220 140734606458822 0
/proc/18781/statm: 1048 672 640 219 0 110 0
[pid=18783] ppid=18781 vsize=126484 memory=77496 CPUtime=6.26 cores=1,3
/proc/18783/stat : 18783 (roundingsat) R 18781 18781 17810 0 -1 4194304 15263 0 0 0 587 39 0 0 20 0 1 0 33502528 129519616 19374 18446744073709551615 4227072 8923433 140732402889584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30937088 140732402895207 140732402895400 140732402895400 140732402900970 0
/proc/18783/statm: 31621 19374 2336 1147 0 19048 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 130676 KiB
Current children cumulated memory: 80184 KiB
[startup+12.7004 s]
/proc/loadavg: 4.04 4.07 4.08 5/260 18784
/proc/meminfo: memFree=116790888/131382120 swapFree=33010684/33010684
[pid=18781] ppid=18778 vsize=4192 memory=2688 CPUtime=0 cores=1,3
/proc/18781/stat : 18781 (run-dec-log.sh) S 18778 18781 17810 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33502527 4292608 672 18446744073709551615 94560454377472 94560455272005 140734606444880 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94560455511056 94560455558800 94560467939328 140734606453025 140734606453220 140734606453220 140734606458822 0
/proc/18781/statm: 1048 672 640 219 0 110 0
[pid=18783] ppid=18781 vsize=146252 memory=98140 CPUtime=12.63 cores=1,3
/proc/18783/stat : 18783 (roundingsat) R 18781 18781 17810 0 -1 4194304 19392 0 0 0 1191 72 0 0 20 0 1 0 33502528 149762048 24535 18446744073709551615 4227072 8923433 140732402889584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30937088 140732402895207 140732402895400 140732402895400 140732402900970 0
/proc/18783/statm: 36563 24535 2336 1147 0 23990 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 150444 KiB
Current children cumulated memory: 100828 KiB
[startup+25.5004 s]
/proc/loadavg: 4.11 4.09 4.09 5/260 18784
/proc/meminfo: memFree=116679196/131382120 swapFree=33010684/33010684
[pid=18781] ppid=18778 vsize=4192 memory=2688 CPUtime=0 cores=1,3
/proc/18781/stat : 18781 (run-dec-log.sh) S 18778 18781 17810 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33502527 4292608 672 18446744073709551615 94560454377472 94560455272005 140734606444880 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94560455511056 94560455558800 94560467939328 140734606453025 140734606453220 140734606453220 140734606458822 0
/proc/18781/statm: 1048 672 640 219 0 110 0
[pid=18783] ppid=18781 vsize=156400 memory=108764 CPUtime=25.4 cores=1,3
/proc/18783/stat : 18783 (roundingsat) R 18781 18781 17810 0 -1 4194304 22060 0 0 0 2438 102 0 0 20 0 1 0 33502528 160153600 27191 18446744073709551615 4227072 8923433 140732402889584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30937088 140732402895207 140732402895400 140732402895400 140732402900970 0
/proc/18783/statm: 39100 27191 2336 1147 0 26527 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 160592 KiB
Current children cumulated memory: 111452 KiB
[startup+51.1136 s]
/proc/loadavg: 4.07 4.08 4.09 5/258 18786
/proc/meminfo: memFree=116444632/131382120 swapFree=33010684/33010684
[pid=18781] ppid=18778 vsize=4192 memory=2688 CPUtime=0 cores=1,3
/proc/18781/stat : 18781 (run-dec-log.sh) S 18778 18781 17810 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33502527 4292608 672 18446744073709551615 94560454377472 94560455272005 140734606444880 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94560455511056 94560455558800 94560467939328 140734606453025 140734606453220 140734606453220 140734606458822 0
/proc/18781/statm: 1048 672 640 219 0 110 0
[pid=18783] ppid=18781 vsize=193180 memory=143804 CPUtime=50.94 cores=1,3
/proc/18783/stat : 18783 (roundingsat) R 18781 18781 17810 0 -1 4194304 27374 0 0 0 4906 188 0 0 20 0 1 0 33502528 197816320 35951 18446744073709551615 4227072 8923433 140732402889584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30937088 140732402895207 140732402895400 140732402895400 140732402900970 0
/proc/18783/statm: 48295 35951 2336 1147 0 35722 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 197372 KiB
Current children cumulated memory: 146492 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/258 18788
/proc/meminfo: memFree=116093228/131382120 swapFree=33010684/33010684
[pid=18781] ppid=18778 vsize=4192 memory=2688 CPUtime=0 cores=1,3
/proc/18781/stat : 18781 (run-dec-log.sh) S 18778 18781 17810 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33502527 4292608 672 18446744073709551615 94560454377472 94560455272005 140734606444880 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94560455511056 94560455558800 94560467939328 140734606453025 140734606453220 140734606453220 140734606458822 0
/proc/18781/statm: 1048 672 640 219 0 110 0
[pid=18783] ppid=18781 vsize=240208 memory=177168 CPUtime=101.97 cores=1,3
/proc/18783/stat : 18783 (roundingsat) R 18781 18781 17810 0 -1 4194304 34702 0 0 0 9909 288 0 0 20 0 1 0 33502528 245972992 44292 18446744073709551615 4227072 8923433 140732402889584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30937088 140732402895207 140732402895400 140732402895400 140732402900970 0
/proc/18783/statm: 60052 44292 2336 1147 0 47479 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 244400 KiB
Current children cumulated memory: 179856 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/260 18792
/proc/meminfo: memFree=115591028/131382120 swapFree=33010684/33010684
[pid=18781] ppid=18778 vsize=4192 memory=2688 CPUtime=0 cores=1,3
/proc/18781/stat : 18781 (run-dec-log.sh) S 18778 18781 17810 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33502527 4292608 672 18446744073709551615 94560454377472 94560455272005 140734606444880 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94560455511056 94560455558800 94560467939328 140734606453025 140734606453220 140734606453220 140734606458822 0
/proc/18781/statm: 1048 672 640 219 0 110 0
[pid=18783] ppid=18781 vsize=261672 memory=207328 CPUtime=161.8 cores=1,3
/proc/18783/stat : 18783 (roundingsat) R 18781 18781 17810 0 -1 4194304 39707 0 0 0 15774 406 0 0 20 0 1 0 33502528 267952128 51832 18446744073709551615 4227072 8923433 140732402889584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30937088 140732402895207 140732402895400 140732402895400 140732402900970 0
/proc/18783/statm: 65418 51832 2336 1147 0 52845 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 265864 KiB
Current children cumulated memory: 210016 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 4.07 4.08 5/260 18842
/proc/meminfo: memFree=122069576/131382120 swapFree=33010684/33010684
[pid=18781] ppid=18778 vsize=4192 memory=2688 CPUtime=0 cores=1,3
/proc/18781/stat : 18781 (run-dec-log.sh) S 18778 18781 17810 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33502527 4292608 672 18446744073709551615 94560454377472 94560455272005 140734606444880 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94560455511056 94560455558800 94560467939328 140734606453025 140734606453220 140734606453220 140734606458822 0
/proc/18781/statm: 1048 672 640 219 0 110 0
[pid=18783] ppid=18781 vsize=364460 memory=272996 CPUtime=221.62 cores=1,3
/proc/18783/stat : 18783 (roundingsat) R 18781 18781 17810 0 -1 4194304 46410 0 0 0 21628 534 0 0 20 0 1 0 33502528 373207040 68249 18446744073709551615 4227072 8923433 140732402889584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30937088 140732402895207 140732402895400 140732402895400 140732402900970 0
################
# More data... #
################
/proc/18783/statm: 433476 404804 2336 1147 0 420903 0
Current children cumulated CPU time: 3033.3 s
Current children cumulated vsize: 1738096 KiB
Current children cumulated memory: 1621904 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/259 19042
/proc/meminfo: memFree=106661324/131382120 swapFree=33010684/33010684
[pid=18781] ppid=18778 vsize=4192 memory=2688 CPUtime=0 cores=1,3
/proc/18781/stat : 18781 (run-dec-log.sh) S 18778 18781 17810 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33502527 4292608 672 18446744073709551615 94560454377472 94560455272005 140734606444880 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94560455511056 94560455558800 94560467939328 140734606453025 140734606453220 140734606453220 140734606458822 0
/proc/18781/statm: 1048 672 640 219 0 110 0
[pid=18783] ppid=18781 vsize=1733904 memory=1619216 CPUtime=3093.13 cores=1,3
/proc/18783/stat : 18783 (roundingsat) R 18781 18781 17810 0 -1 4194304 185522 0 0 0 305837 3476 0 0 20 0 1 0 33502528 1775517696 404804 18446744073709551615 4227072 8923433 140732402889584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30937088 140732402895207 140732402895400 140732402895400 140732402900970 0
/proc/18783/statm: 433476 404804 2336 1147 0 420903 0
Current children cumulated CPU time: 3093.13 s
Current children cumulated vsize: 1738096 KiB
Current children cumulated memory: 1621904 KiB
[startup+3162.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/258 19043
/proc/meminfo: memFree=106312780/131382120 swapFree=33010684/33010684
[pid=18781] ppid=18778 vsize=4192 memory=2688 CPUtime=0 cores=1,3
/proc/18781/stat : 18781 (run-dec-log.sh) S 18778 18781 17810 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33502527 4292608 672 18446744073709551615 94560454377472 94560455272005 140734606444880 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94560455511056 94560455558800 94560467939328 140734606453025 140734606453220 140734606453220 140734606458822 0
/proc/18781/statm: 1048 672 640 219 0 110 0
[pid=18783] ppid=18781 vsize=1741004 memory=1626000 CPUtime=3152.95 cores=1,3
/proc/18783/stat : 18783 (roundingsat) R 18781 18781 17810 0 -1 4194304 187220 0 0 0 311784 3511 0 0 20 0 1 0 33502528 1782788096 406500 18446744073709551615 4227072 8923433 140732402889584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30937088 140732402895207 140732402895400 140732402895400 140732402900970 0
/proc/18783/statm: 435251 406500 2336 1147 0 422678 0
Current children cumulated CPU time: 3152.95 s
Current children cumulated vsize: 1745196 KiB
Current children cumulated memory: 1628688 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/259 19048
/proc/meminfo: memFree=105930964/131382120 swapFree=33010684/33010684
[pid=18781] ppid=18778 vsize=4192 memory=2688 CPUtime=0 cores=1,3
/proc/18781/stat : 18781 (run-dec-log.sh) S 18778 18781 17810 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33502527 4292608 672 18446744073709551615 94560454377472 94560455272005 140734606444880 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94560455511056 94560455558800 94560467939328 140734606453025 140734606453220 140734606453220 140734606458822 0
/proc/18781/statm: 1048 672 640 219 0 110 0
[pid=18783] ppid=18781 vsize=1747384 memory=1631888 CPUtime=3212.77 cores=1,3
/proc/18783/stat : 18783 (roundingsat) R 18781 18781 17810 0 -1 4194304 188721 0 0 0 317695 3582 0 0 20 0 1 0 33502528 1789321216 407972 18446744073709551615 4227072 8923433 140732402889584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30937088 140732402895207 140732402895400 140732402895400 140732402900970 0
/proc/18783/statm: 436846 407972 2336 1147 0 424273 0
Current children cumulated CPU time: 3212.77 s
Current children cumulated vsize: 1751576 KiB
Current children cumulated memory: 1634576 KiB
[startup+3282.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/258 19050
/proc/meminfo: memFree=105494308/131382120 swapFree=33010684/33010684
[pid=18781] ppid=18778 vsize=4192 memory=2688 CPUtime=0 cores=1,3
/proc/18781/stat : 18781 (run-dec-log.sh) S 18778 18781 17810 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33502527 4292608 672 18446744073709551615 94560454377472 94560455272005 140734606444880 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94560455511056 94560455558800 94560467939328 140734606453025 140734606453220 140734606453220 140734606458822 0
/proc/18781/statm: 1048 672 640 219 0 110 0
[pid=18783] ppid=18781 vsize=1747384 memory=1632016 CPUtime=3272.59 cores=1,3
/proc/18783/stat : 18783 (roundingsat) R 18781 18781 17810 0 -1 4194304 188744 0 0 0 323592 3667 0 0 20 0 1 0 33502528 1789321216 408004 18446744073709551615 4227072 8923433 140732402889584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30937088 140732402895207 140732402895400 140732402895400 140732402900970 0
/proc/18783/statm: 436846 408004 2336 1147 0 424273 0
Current children cumulated CPU time: 3272.59 s
Current children cumulated vsize: 1751576 KiB
Current children cumulated memory: 1634704 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/259 19053
/proc/meminfo: memFree=105071364/131382120 swapFree=33010684/33010684
[pid=18781] ppid=18778 vsize=4192 memory=2688 CPUtime=0 cores=1,3
/proc/18781/stat : 18781 (run-dec-log.sh) S 18778 18781 17810 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33502527 4292608 672 18446744073709551615 94560454377472 94560455272005 140734606444880 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94560455511056 94560455558800 94560467939328 140734606453025 140734606453220 140734606453220 140734606458822 0
/proc/18781/statm: 1048 672 640 219 0 110 0
[pid=18783] ppid=18781 vsize=1747384 memory=1632016 CPUtime=3332.4 cores=1,3
/proc/18783/stat : 18783 (roundingsat) R 18781 18781 17810 0 -1 4194304 188744 0 0 0 329485 3755 0 0 20 0 1 0 33502528 1789321216 408004 18446744073709551615 4227072 8923433 140732402889584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30937088 140732402895207 140732402895400 140732402895400 140732402900970 0
/proc/18783/statm: 436846 408004 2336 1147 0 424273 0
Current children cumulated CPU time: 3332.4 s
Current children cumulated vsize: 1751576 KiB
Current children cumulated memory: 1634704 KiB
[startup+3402.3 s]
/proc/loadavg: 4.17 4.10 4.09 5/259 19059
/proc/meminfo: memFree=104780020/131382120 swapFree=33010684/33010684
[pid=18781] ppid=18778 vsize=4192 memory=2688 CPUtime=0 cores=1,3
/proc/18781/stat : 18781 (run-dec-log.sh) S 18778 18781 17810 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33502527 4292608 672 18446744073709551615 94560454377472 94560455272005 140734606444880 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94560455511056 94560455558800 94560467939328 140734606453025 140734606453220 140734606453220 140734606458822 0
/proc/18781/statm: 1048 672 640 219 0 110 0
[pid=18783] ppid=18781 vsize=1750244 memory=1634192 CPUtime=3392.23 cores=1,3
/proc/18783/stat : 18783 (roundingsat) R 18781 18781 17810 0 -1 4194304 189297 0 0 0 335431 3792 0 0 20 0 1 0 33502528 1792249856 408548 18446744073709551615 4227072 8923433 140732402889584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30937088 140732402895207 140732402895400 140732402895400 140732402900970 0
/proc/18783/statm: 437561 408548 2336 1147 0 424988 0
Current children cumulated CPU time: 3392.23 s
Current children cumulated vsize: 1754436 KiB
Current children cumulated memory: 1636880 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/259 19061
/proc/meminfo: memFree=104493696/131382120 swapFree=33010684/33010684
[pid=18781] ppid=18778 vsize=4192 memory=2688 CPUtime=0 cores=1,3
/proc/18781/stat : 18781 (run-dec-log.sh) S 18778 18781 17810 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33502527 4292608 672 18446744073709551615 94560454377472 94560455272005 140734606444880 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94560455511056 94560455558800 94560467939328 140734606453025 140734606453220 140734606453220 140734606458822 0
/proc/18781/statm: 1048 672 640 219 0 110 0
[pid=18783] ppid=18781 vsize=1750244 memory=1634192 CPUtime=3452.07 cores=1,3
/proc/18783/stat : 18783 (roundingsat) R 18781 18781 17810 0 -1 4194304 189304 0 0 0 341392 3815 0 0 20 0 1 0 33502528 1792249856 408548 18446744073709551615 4227072 8923433 140732402889584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30937088 140732402895207 140732402895400 140732402895400 140732402900970 0
/proc/18783/statm: 437561 408548 2336 1147 0 424988 0
Current children cumulated CPU time: 3452.07 s
Current children cumulated vsize: 1754436 KiB
Current children cumulated memory: 1636880 KiB
[startup+3522.3 s]
/proc/loadavg: 4.46 4.19 4.12 4/256 19063
/proc/meminfo: memFree=104204380/131382120 swapFree=33010684/33010684
[pid=18781] ppid=18778 vsize=4192 memory=2688 CPUtime=0 cores=1,3
/proc/18781/stat : 18781 (run-dec-log.sh) S 18778 18781 17810 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33502527 4292608 672 18446744073709551615 94560454377472 94560455272005 140734606444880 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94560455511056 94560455558800 94560467939328 140734606453025 140734606453220 140734606453220 140734606458822 0
/proc/18781/statm: 1048 672 640 219 0 110 0
[pid=18783] ppid=18781 vsize=1751324 memory=1635600 CPUtime=3511.87 cores=1,3
/proc/18783/stat : 18783 (roundingsat) R 18781 18781 17810 0 -1 4194304 189650 0 0 0 347336 3851 0 0 20 0 1 0 33502528 1793355776 408900 18446744073709551615 4227072 8923433 140732402889584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30937088 140732402895207 140732402895400 140732402895400 140732402900970 0
/proc/18783/statm: 437831 408900 2336 1147 0 425258 0
Current children cumulated CPU time: 3511.87 s
Current children cumulated vsize: 1755516 KiB
Current children cumulated memory: 1638288 KiB
[startup+3582.3 s]
/proc/loadavg: 3.85 4.07 4.08 4/251 19095
/proc/meminfo: memFree=110998416/131382120 swapFree=33010684/33010684
[pid=18781] ppid=18778 vsize=4192 memory=2688 CPUtime=0 cores=1,3
/proc/18781/stat : 18781 (run-dec-log.sh) S 18778 18781 17810 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33502527 4292608 672 18446744073709551615 94560454377472 94560455272005 140734606444880 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94560455511056 94560455558800 94560467939328 140734606453025 140734606453220 140734606453220 140734606458822 0
/proc/18781/statm: 1048 672 640 219 0 110 0
[pid=18783] ppid=18781 vsize=1760844 memory=1642768 CPUtime=3571.66 cores=1,3
/proc/18783/stat : 18783 (roundingsat) R 18781 18781 17810 0 -1 4194304 191446 0 0 0 353243 3923 0 0 20 0 1 0 33502528 1803104256 410692 18446744073709551615 4227072 8923433 140732402889584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30937088 140732402895207 140732402895400 140732402895400 140732402900970 0
/proc/18783/statm: 440211 410692 2336 1147 0 427638 0
Current children cumulated CPU time: 3571.66 s
Current children cumulated vsize: 1765036 KiB
Current children cumulated memory: 1645456 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.8 s]
/proc/loadavg: 3.58 3.99 4.05 4/252 19098
/proc/meminfo: memFree=110843052/131382120 swapFree=33010684/33010684
[pid=18781] ppid=18778 vsize=4192 memory=2688 CPUtime=0 cores=1,3
/proc/18781/stat : 18781 (run-dec-log.sh) S 18778 18781 17810 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33502527 4292608 672 18446744073709551615 94560454377472 94560455272005 140734606444880 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94560455511056 94560455558800 94560467939328 140734606453025 140734606453220 140734606453220 140734606458822 0
/proc/18781/statm: 1048 672 640 219 0 110 0
[pid=18783] ppid=18781 vsize=1760844 memory=1642768 CPUtime=3600.08 cores=1,3
/proc/18783/stat : 18783 (roundingsat) R 18781 18781 17810 0 -1 4194304 191446 0 0 0 356044 3964 0 0 20 0 1 0 33502528 1803104256 410692 18446744073709551615 4227072 8923433 140732402889584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30937088 140732402895207 140732402895400 140732402895400 140732402900970 0
/proc/18783/statm: 440211 410692 2336 1147 0 427638 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1765036 KiB
Current children cumulated memory: 1645456 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.81 s]
# the end of solver process 18781 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.000901 s, system=0.003506 s
[startup+3610.89 s]
# the end of solver process 18783 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3560.47 s, system=39.693 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3610.89
CPU time (s): 3600.16
CPU user time (s): 3560.47
CPU system time (s): 39.693
CPU usage (%): 99.703
Max. virtual memory (cumulated for all children) (KiB): 1765036
Max. memory (cumulated for all children) (KiB): 1645456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3560.47
system time used= 39.693
maximum resident set size= 1643024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 191671
page faults= 0
swaps= 0
block input operations= 0
block output operations= 10079808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 499
involuntary context switches= 4790
# summary of solver processes directly reported to runsolver:
# pid: 18781,18783
# total CPU time (s): 3600.16
# total CPU user time (s): 3560.47
# total CPU system time (s): 39.693
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.8742 second user time and 38.0602 second system time
The end
Begin job on nodeC003 at 2025-06-29 08:23:58
IDJOB=4507121
IDBENCH=158326
IDSOLVER=3352
FILE ID=nodeC003/4507121-1751178238
RUNJOBID= nodeC003-1751170906-17822
SLURM_JOB_ID= 9587531
Free space on /tmp= 433012 MiB
SOLVER NAME= roundingsat-log 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K196.opb
COMMAND LINE= run-dec-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507121-1751178238/watcher-4507121-1751178238 -o /tmp/evaluation-result-4507121-1751178238/solver-4507121-1751178238 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751170906-17822 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4507121-1751178238.opb PROOFDIR/proof-4507121-1751178238
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8df9702f370312ff59707c84e3b82f3b
RANDOM SEED=1209174395
nodeC003 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 : 3660.264
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.44
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.161
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.44
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.359
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.44
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 : 1796.490
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.44
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 : 3660.246
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.44
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 : 3661.839
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.44
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 : 1197.749
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.44
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 : 1197.542
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.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 116947240 kB
MemAvailable: 127494012 kB
Buffers: 3280 kB
Cached: 11346084 kB
SwapCached: 0 kB
Active: 2754496 kB
Inactive: 11132784 kB
Active(anon): 2555964 kB
Inactive(anon): 0 kB
Active(file): 198532 kB
Inactive(file): 11132784 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 106864 kB
Writeback: 16 kB
AnonPages: 2537788 kB
Mapped: 115116 kB
Shmem: 17960 kB
KReclaimable: 110164 kB
Slab: 194736 kB
SReclaimable: 110164 kB
SUnreclaim: 84572 kB
KernelStack: 4160 kB
PageTables: 8180 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 3281304 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149560 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1486848 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: 191304 kB
DirectMap2M: 11245568 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 433012 MiB
End job on nodeC003 at 2025-06-29 09:24:10