0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.08/0.18 c #variables 23324 #constraints 23718
132.22/132.63 c #Conflicts: 1000 | #Constraints: 24717
132.22/132.63 c #Conflicts: 2000 | #Constraints: 25717
132.22/132.63 c INPROCESSING
132.22/132.63 c GARBAGE COLLECT
132.22/132.63 c #Conflicts: 3000 | #Constraints: 24970
132.22/132.63 c #Conflicts: 4000 | #Constraints: 25970
132.22/132.63 c INPROCESSING
132.22/132.63 c GARBAGE COLLECT
132.22/132.63 c #Conflicts: 5000 | #Constraints: 25497
132.22/132.63 c #Conflicts: 6000 | #Constraints: 26497
132.22/132.63 c INPROCESSING
132.22/132.63 c GARBAGE COLLECT
132.22/132.63 c #Conflicts: 7000 | #Constraints: 25719
132.22/132.63 c #Conflicts: 8000 | #Constraints: 26719
132.22/132.63 c #Conflicts: 9000 | #Constraints: 27719
132.22/132.63 c #Conflicts: 10000 | #Constraints: 28719
132.22/132.63 c #Conflicts: 11000 | #Constraints: 29719
132.22/132.63 c #Conflicts: 12000 | #Constraints: 30719
132.22/132.63 c INPROCESSING
132.22/132.63 c GARBAGE COLLECT
132.22/132.63 c #Conflicts: 13000 | #Constraints: 27736
132.22/132.63 c #Conflicts: 14000 | #Constraints: 28736
132.22/132.63 c #Conflicts: 15000 | #Constraints: 29736
132.22/132.63 c #Conflicts: 16000 | #Constraints: 30736
132.22/132.63 c INPROCESSING
132.22/132.63 c GARBAGE COLLECT
132.22/132.63 c #Conflicts: 17000 | #Constraints: 28598
132.22/132.63 c #Conflicts: 18000 | #Constraints: 29598
132.22/132.63 c #Conflicts: 19000 | #Constraints: 30598
132.22/132.63 c #Conflicts: 20000 | #Constraints: 31598
132.22/132.63 c #Conflicts: 21000 | #Constraints: 32598
132.22/132.63 c #Conflicts: 22000 | #Constraints: 33598
132.22/132.63 c #Conflicts: 23000 | #Constraints: 34598
132.22/132.63 c #Conflicts: 24000 | #Constraints: 35598
132.22/132.63 c #Conflicts: 25000 | #Constraints: 36598
132.22/132.63 c INPROCESSING
132.22/132.63 c GARBAGE COLLECT
132.22/132.63 c #Conflicts: 26000 | #Constraints: 30758
132.22/132.63 c #Conflicts: 27000 | #Constraints: 31758
132.22/132.63 c #Conflicts: 28000 | #Constraints: 32758
132.22/132.63 c #Conflicts: 29000 | #Constraints: 33758
132.22/132.63 c #Conflicts: 30000 | #Constraints: 34758
132.22/132.63 c INPROCESSING
132.22/132.63 c GARBAGE COLLECT
132.22/132.63 c #Conflicts: 31000 | #Constraints: 31469
132.22/132.63 c #Conflicts: 32000 | #Constraints: 32469
132.22/132.63 c #Conflicts: 33000 | #Constraints: 33469
132.22/132.63 c #Conflicts: 34000 | #Constraints: 34469
132.22/132.63 c #Conflicts: 35000 | #Constraints: 35469
132.22/132.63 c #Conflicts: 36000 | #Constraints: 36469
132.22/132.63 c #Conflicts: 37000 | #Constraints: 37469
132.22/132.63 c #Conflicts: 38000 | #Constraints: 38469
132.22/132.63 c #Conflicts: 39000 | #Constraints: 39469
132.22/132.63 c #Conflicts: 40000 | #Constraints: 40469
132.22/132.63 c #Conflicts: 41000 | #Constraints: 41469
132.22/132.63 c #Conflicts: 42000 | #Constraints: 42469
132.22/132.63 c #Conflicts: 43000 | #Constraints: 43469
132.22/132.63 c INPROCESSING
132.22/132.63 c GARBAGE COLLECT
132.22/132.63 c #Conflicts: 44000 | #Constraints: 34658
132.22/132.63 c #Conflicts: 45000 | #Constraints: 35658
132.22/132.63 c #Conflicts: 46000 | #Constraints: 36658
132.22/132.63 c #Conflicts: 47000 | #Constraints: 37658
132.22/132.63 c #Conflicts: 48000 | #Constraints: 38658
132.22/132.63 c #Conflicts: 49000 | #Constraints: 39658
132.22/132.63 c #Conflicts: 50000 | #Constraints: 40658
132.22/132.63 c #Conflicts: 51000 | #Constraints: 41658
132.22/132.63 c #Conflicts: 52000 | #Constraints: 42658
132.22/132.63 c #Conflicts: 53000 | #Constraints: 43658
132.22/132.63 c #Conflicts: 54000 | #Constraints: 44658
132.22/132.63 c #Conflicts: 55000 | #Constraints: 45658
132.22/132.63 c #Conflicts: 56000 | #Constraints: 46658
132.22/132.63 c #Conflicts: 57000 | #Constraints: 47658
132.22/132.63 c INPROCESSING
132.22/132.63 c GARBAGE COLLECT
132.22/132.63 c #Conflicts: 58000 | #Constraints: 36755
132.22/132.63 c #Conflicts: 59000 | #Constraints: 37755
132.22/132.63 c #Conflicts: 60000 | #Constraints: 38755
132.22/132.63 c #Conflicts: 61000 | #Constraints: 39755
132.22/132.63 c #Conflicts: 62000 | #Constraints: 40755
132.22/132.63 c #Conflicts: 63000 | #Constraints: 41755
132.22/132.63 c #Conflicts: 64000 | #Constraints: 42755
132.22/132.63 c #Conflicts: 65000 | #Constraints: 43755
132.22/132.63 c #Conflicts: 66000 | #Constraints: 44755
132.22/132.63 c #Conflicts: 67000 | #Constraints: 45755
132.22/132.63 c #Conflicts: 68000 | #Constraints: 46755
132.22/132.63 c #Conflicts: 69000 | #Constraints: 47755
132.22/132.63 c #Conflicts: 70000 | #Constraints: 48755
132.22/132.63 c #Conflicts: 71000 | #Constraints: 49755
132.22/132.63 c #Conflicts: 72000 | #Constraints: 50755
132.22/132.63 c #Conflicts: 73000 | #Constraints: 51755
132.22/132.63 c #Conflicts: 74000 | #Constraints: 52755
272.20/273.05 c INPROCESSING
272.20/273.05 c GARBAGE COLLECT
272.20/273.05 c #Conflicts: 75000 | #Constraints: 39693
272.20/273.05 c #Conflicts: 76000 | #Constraints: 40693
272.20/273.05 c #Conflicts: 77000 | #Constraints: 41693
272.20/273.05 c #Conflicts: 78000 | #Constraints: 42693
272.20/273.05 c #Conflicts: 79000 | #Constraints: 43693
272.20/273.05 c #Conflicts: 80000 | #Constraints: 44693
272.20/273.05 c #Conflicts: 81000 | #Constraints: 45693
272.20/273.05 c #Conflicts: 82000 | #Constraints: 46693
272.20/273.05 c #Conflicts: 83000 | #Constraints: 47693
272.20/273.05 c #Conflicts: 84000 | #Constraints: 48693
272.20/273.05 c #Conflicts: 85000 | #Constraints: 49693
272.20/273.05 c #Conflicts: 86000 | #Constraints: 50693
272.20/273.05 c #Conflicts: 87000 | #Constraints: 51693
272.20/273.05 c #Conflicts: 88000 | #Constraints: 52693
272.20/273.05 c #Conflicts: 89000 | #Constraints: 53693
272.20/273.05 c #Conflicts: 90000 | #Constraints: 54693
272.20/273.05 c #Conflicts: 91000 | #Constraints: 55693
272.20/273.05 c #Conflicts: 92000 | #Constraints: 56693
272.20/273.05 c INPROCESSING
272.20/273.05 c GARBAGE COLLECT
272.20/273.05 c #Conflicts: 93000 | #Constraints: 41594
272.20/273.05 c #Conflicts: 94000 | #Constraints: 42594
272.20/273.05 c #Conflicts: 95000 | #Constraints: 43594
272.20/273.05 c #Conflicts: 96000 | #Constraints: 44594
272.20/273.05 c #Conflicts: 97000 | #Constraints: 45594
272.20/273.05 c #Conflicts: 98000 | #Constraints: 46594
272.20/273.05 c #Conflicts: 99000 | #Constraints: 47594
272.20/273.05 c #Conflicts: 100000 | #Constraints: 48594
272.20/273.05 c #Conflicts: 101000 | #Constraints: 49595
272.20/273.05 c #Conflicts: 102000 | #Constraints: 50595
272.20/273.05 c #Conflicts: 103000 | #Constraints: 51595
272.20/273.05 c #Conflicts: 104000 | #Constraints: 52595
272.20/273.05 c #Conflicts: 105000 | #Constraints: 53595
272.20/273.05 c #Conflicts: 106000 | #Constraints: 54595
272.20/273.05 c #Conflicts: 107000 | #Constraints: 55595
272.20/273.05 c #Conflicts: 108000 | #Constraints: 56595
272.20/273.05 c #Conflicts: 109000 | #Constraints: 57595
272.20/273.05 c #Conflicts: 110000 | #Constraints: 58595
272.20/273.05 c #Conflicts: 111000 | #Constraints: 59595
272.20/273.05 c #Conflicts: 112000 | #Constraints: 60595
272.20/273.05 c INPROCESSING
272.20/273.05 c GARBAGE COLLECT
272.20/273.05 c #Conflicts: 113000 | #Constraints: 43350
272.20/273.05 c #Conflicts: 114000 | #Constraints: 44350
272.20/273.05 c #Conflicts: 115000 | #Constraints: 45350
272.20/273.05 c #Conflicts: 116000 | #Constraints: 46350
272.20/273.05 c #Conflicts: 117000 | #Constraints: 47350
272.20/273.05 c #Conflicts: 118000 | #Constraints: 48350
272.20/273.05 c #Conflicts: 119000 | #Constraints: 49350
272.20/273.05 c #Conflicts: 120000 | #Constraints: 50350
272.20/273.05 c #Conflicts: 121000 | #Constraints: 51350
272.20/273.05 c #Conflicts: 122000 | #Constraints: 52350
272.20/273.05 c #Conflicts: 123000 | #Constraints: 53350
272.20/273.05 c #Conflicts: 124000 | #Constraints: 54350
272.20/273.05 c #Conflicts: 125000 | #Constraints: 55350
272.20/273.05 c #Conflicts: 126000 | #Constraints: 56350
272.20/273.05 c #Conflicts: 127000 | #Constraints: 57350
272.20/273.05 c #Conflicts: 128000 | #Constraints: 58350
272.20/273.05 c #Conflicts: 129000 | #Constraints: 59350
272.20/273.05 c #Conflicts: 130000 | #Constraints: 60350
272.20/273.05 c #Conflicts: 131000 | #Constraints: 61350
272.20/273.05 c #Conflicts: 132000 | #Constraints: 62350
272.20/273.05 c #Conflicts: 133000 | #Constraints: 63350
272.20/273.05 c #Conflicts: 134000 | #Constraints: 64350
272.20/273.05 c #Conflicts: 135000 | #Constraints: 65350
272.20/273.05 c INPROCESSING
272.20/273.05 c GARBAGE COLLECT
272.20/273.05 c #Conflicts: 136000 | #Constraints: 46148
272.20/273.05 c #Conflicts: 137000 | #Constraints: 47148
272.20/273.05 c #Conflicts: 138000 | #Constraints: 48148
272.20/273.05 c #Conflicts: 139000 | #Constraints: 49148
272.20/273.05 c #Conflicts: 140000 | #Constraints: 50148
272.20/273.05 c #Conflicts: 141000 | #Constraints: 51148
272.20/273.05 c #Conflicts: 142000 | #Constraints: 52148
272.20/273.05 c #Conflicts: 143000 | #Constraints: 53148
272.20/273.05 c #Conflicts: 144000 | #Constraints: 54148
272.20/273.05 c #Conflicts: 145000 | #Constraints: 55148
272.20/273.05 c #Conflicts: 146000 | #Constraints: 56148
272.20/273.05 c #Conflicts: 147000 | #Constraints: 57148
272.20/273.05 c #Conflicts: 148000 | #Constraints: 58148
272.20/273.05 c #Conflicts: 149000 | #Constraints: 59148
272.20/273.05 c #Conflicts: 150000 | #Constraints: 60148
457.80/459.17 c #Conflicts: 151000 | #Constraints: 61148
457.80/459.17 c #Conflicts: 152000 | #Constraints: 62148
457.80/459.17 c #Conflicts: 153000 | #Constraints: 63148
457.80/459.17 c #Conflicts: 154000 | #Constraints: 64148
457.80/459.17 c #Conflicts: 155000 | #Constraints: 65148
457.80/459.17 c #Conflicts: 156000 | #Constraints: 66148
457.80/459.17 c #Conflicts: 157000 | #Constraints: 67148
457.80/459.17 c #Conflicts: 158000 | #Constraints: 68148
457.80/459.17 c #Conflicts: 159000 | #Constraints: 69148
457.80/459.17 c INPROCESSING
457.80/459.17 c GARBAGE COLLECT
457.80/459.17 c #Conflicts: 160000 | #Constraints: 47924
457.80/459.17 c #Conflicts: 161000 | #Constraints: 48924
457.80/459.17 c #Conflicts: 162000 | #Constraints: 49924
457.80/459.17 c #Conflicts: 163000 | #Constraints: 50924
457.80/459.17 c #Conflicts: 164000 | #Constraints: 51924
457.80/459.17 c #Conflicts: 165000 | #Constraints: 52924
457.80/459.17 c #Conflicts: 166000 | #Constraints: 53924
457.80/459.17 c #Conflicts: 167000 | #Constraints: 54924
457.80/459.17 c #Conflicts: 168000 | #Constraints: 55924
457.80/459.17 c #Conflicts: 169000 | #Constraints: 56924
457.80/459.17 c #Conflicts: 170000 | #Constraints: 57924
457.80/459.17 c #Conflicts: 171000 | #Constraints: 58924
457.80/459.17 c #Conflicts: 172000 | #Constraints: 59924
457.80/459.17 c #Conflicts: 173000 | #Constraints: 60924
457.80/459.17 c #Conflicts: 174000 | #Constraints: 61924
457.80/459.17 c #Conflicts: 175000 | #Constraints: 62924
457.80/459.17 c #Conflicts: 176000 | #Constraints: 63924
457.80/459.17 c #Conflicts: 177000 | #Constraints: 64924
457.80/459.17 c #Conflicts: 178000 | #Constraints: 65924
457.80/459.17 c #Conflicts: 179000 | #Constraints: 66924
457.80/459.17 c #Conflicts: 180000 | #Constraints: 67924
457.80/459.17 c #Conflicts: 181000 | #Constraints: 68924
457.80/459.17 c #Conflicts: 182000 | #Constraints: 69924
457.80/459.17 c #Conflicts: 183000 | #Constraints: 70924
457.80/459.17 c #Conflicts: 184000 | #Constraints: 71924
457.80/459.17 c #Conflicts: 185000 | #Constraints: 72924
457.80/459.17 c #Conflicts: 186000 | #Constraints: 73924
457.80/459.17 c INPROCESSING
457.80/459.17 c GARBAGE COLLECT
457.80/459.17 c #Conflicts: 187000 | #Constraints: 50637
457.80/459.17 c #Conflicts: 188000 | #Constraints: 51637
457.80/459.17 c #Conflicts: 189000 | #Constraints: 52637
457.80/459.17 c #Conflicts: 190000 | #Constraints: 53637
457.80/459.17 c #Conflicts: 191000 | #Constraints: 54637
457.80/459.17 c #Conflicts: 192000 | #Constraints: 55637
457.80/459.17 c #Conflicts: 193000 | #Constraints: 56637
457.80/459.17 c #Conflicts: 194000 | #Constraints: 57637
457.80/459.17 c #Conflicts: 195000 | #Constraints: 58637
457.80/459.17 c #Conflicts: 196000 | #Constraints: 59637
457.80/459.17 c #Conflicts: 197000 | #Constraints: 60637
457.80/459.17 c #Conflicts: 198000 | #Constraints: 61637
457.80/459.17 c #Conflicts: 199000 | #Constraints: 62637
457.80/459.17 c #Conflicts: 200000 | #Constraints: 63637
457.80/459.17 c #Conflicts: 201000 | #Constraints: 64637
457.80/459.17 c #Conflicts: 202000 | #Constraints: 65637
457.80/459.17 c #Conflicts: 203000 | #Constraints: 66637
457.80/459.17 c #Conflicts: 204000 | #Constraints: 67637
457.80/459.17 c #Conflicts: 205000 | #Constraints: 68637
457.80/459.17 c #Conflicts: 206000 | #Constraints: 69637
457.80/459.17 c #Conflicts: 207000 | #Constraints: 70637
457.80/459.17 c #Conflicts: 208000 | #Constraints: 71637
457.80/459.17 c #Conflicts: 209000 | #Constraints: 72637
457.80/459.17 c #Conflicts: 210000 | #Constraints: 73637
457.80/459.17 c #Conflicts: 211000 | #Constraints: 74637
457.80/459.17 c #Conflicts: 212000 | #Constraints: 75637
457.80/459.17 c #Conflicts: 213000 | #Constraints: 76637
457.80/459.17 c #Conflicts: 214000 | #Constraints: 77637
457.80/459.17 c INPROCESSING
457.80/459.17 c GARBAGE COLLECT
457.80/459.17 c #Conflicts: 215000 | #Constraints: 52367
457.80/459.17 c #Conflicts: 216000 | #Constraints: 53367
457.80/459.17 c #Conflicts: 217000 | #Constraints: 54367
457.80/459.17 c #Conflicts: 218000 | #Constraints: 55367
457.80/459.17 c #Conflicts: 219000 | #Constraints: 56367
457.80/459.17 c #Conflicts: 220000 | #Constraints: 57367
457.80/459.17 c #Conflicts: 221000 | #Constraints: 58367
457.80/459.17 c #Conflicts: 222000 | #Constraints: 59367
457.80/459.17 c #Conflicts: 223000 | #Constraints: 60367
457.80/459.17 c #Conflicts: 224000 | #Constraints: 61367
457.80/459.17 c #Conflicts: 225000 | #Constraints: 62367
457.80/459.17 c #Conflicts: 226000 | #Constraints: 63367
457.80/459.17 c #Conflicts: 227000 | #Constraints: 64367
621.39/623.14 c #Conflicts: 228000 | #Constraints: 65367
621.39/623.14 c #Conflicts: 229000 | #Constraints: 66367
621.39/623.14 c #Conflicts: 230000 | #Constraints: 67367
621.39/623.14 c #Conflicts: 231000 | #Constraints: 68367
621.39/623.14 c #Conflicts: 232000 | #Constraints: 69367
621.39/623.14 c #Conflicts: 233000 | #Constraints: 70367
621.39/623.14 c #Conflicts: 234000 | #Constraints: 71367
621.39/623.14 c #Conflicts: 235000 | #Constraints: 72367
621.39/623.14 c #Conflicts: 236000 | #Constraints: 73367
621.39/623.14 c #Conflicts: 237000 | #Constraints: 74367
621.39/623.14 c #Conflicts: 238000 | #Constraints: 75368
621.39/623.14 c #Conflicts: 239000 | #Constraints: 76368
621.39/623.14 c #Conflicts: 240000 | #Constraints: 77368
621.39/623.14 c #Conflicts: 241000 | #Constraints: 78368
621.39/623.14 c #Conflicts: 242000 | #Constraints: 79368
621.39/623.14 c #Conflicts: 243000 | #Constraints: 80368
621.39/623.14 c #Conflicts: 244000 | #Constraints: 81368
621.39/623.14 c INPROCESSING
621.39/623.14 c GARBAGE COLLECT
621.39/623.14 c #Conflicts: 245000 | #Constraints: 53861
621.39/623.14 c #Conflicts: 246000 | #Constraints: 54861
621.39/623.14 c #Conflicts: 247000 | #Constraints: 55861
621.39/623.14 c #Conflicts: 248000 | #Constraints: 56861
621.39/623.14 c #Conflicts: 249000 | #Constraints: 57861
621.39/623.14 c #Conflicts: 250000 | #Constraints: 58861
621.39/623.14 c #Conflicts: 251000 | #Constraints: 59861
621.39/623.14 c #Conflicts: 252000 | #Constraints: 60861
621.39/623.14 c #Conflicts: 253000 | #Constraints: 61861
621.39/623.14 c #Conflicts: 254000 | #Constraints: 62861
621.39/623.14 c #Conflicts: 255000 | #Constraints: 63861
621.39/623.14 c #Conflicts: 256000 | #Constraints: 64861
621.39/623.14 c #Conflicts: 257000 | #Constraints: 65861
621.39/623.14 c #Conflicts: 258000 | #Constraints: 66861
621.39/623.14 c #Conflicts: 259000 | #Constraints: 67861
621.39/623.14 c #Conflicts: 260000 | #Constraints: 68861
621.39/623.14 c #Conflicts: 261000 | #Constraints: 69861
621.39/623.14 c #Conflicts: 262000 | #Constraints: 70861
621.39/623.14 c #Conflicts: 263000 | #Constraints: 71861
621.39/623.14 c #Conflicts: 264000 | #Constraints: 72861
621.39/623.14 c #Conflicts: 265000 | #Constraints: 73861
621.39/623.14 c #Conflicts: 266000 | #Constraints: 74861
621.39/623.14 c #Conflicts: 267000 | #Constraints: 75861
621.39/623.14 c #Conflicts: 268000 | #Constraints: 76861
621.39/623.14 c #Conflicts: 269000 | #Constraints: 77861
621.39/623.14 c #Conflicts: 270000 | #Constraints: 78861
621.39/623.14 c #Conflicts: 271000 | #Constraints: 79861
621.39/623.14 c #Conflicts: 272000 | #Constraints: 80861
621.39/623.14 c #Conflicts: 273000 | #Constraints: 81861
621.39/623.14 c #Conflicts: 274000 | #Constraints: 82861
621.39/623.14 c #Conflicts: 275000 | #Constraints: 83861
621.39/623.14 c #Conflicts: 276000 | #Constraints: 84861
621.39/623.14 c #Conflicts: 277000 | #Constraints: 85861
621.39/623.14 c INPROCESSING
621.39/623.14 c GARBAGE COLLECT
621.39/623.14 c #Conflicts: 278000 | #Constraints: 56655
621.39/623.14 c #Conflicts: 279000 | #Constraints: 57655
621.39/623.14 c #Conflicts: 280000 | #Constraints: 58655
621.39/623.14 c #Conflicts: 281000 | #Constraints: 59655
621.39/623.14 c #Conflicts: 282000 | #Constraints: 60655
621.39/623.14 c #Conflicts: 283000 | #Constraints: 61655
621.39/623.14 c #Conflicts: 284000 | #Constraints: 62655
621.39/623.14 c #Conflicts: 285000 | #Constraints: 63655
621.39/623.14 c #Conflicts: 286000 | #Constraints: 64655
621.39/623.14 c #Conflicts: 287000 | #Constraints: 65655
621.39/623.14 c #Conflicts: 288000 | #Constraints: 66655
621.39/623.14 c #Conflicts: 289000 | #Constraints: 67655
621.39/623.14 c #Conflicts: 290000 | #Constraints: 68655
621.39/623.14 c #Conflicts: 291000 | #Constraints: 69655
621.39/623.14 c #Conflicts: 292000 | #Constraints: 70655
621.39/623.14 c #Conflicts: 293000 | #Constraints: 71655
621.39/623.14 c #Conflicts: 294000 | #Constraints: 72655
621.39/623.14 c #Conflicts: 295000 | #Constraints: 73655
621.39/623.14 c #Conflicts: 296000 | #Constraints: 74655
621.39/623.14 c #Conflicts: 297000 | #Constraints: 75655
621.39/623.14 c #Conflicts: 298000 | #Constraints: 76655
621.39/623.14 c #Conflicts: 299000 | #Constraints: 77655
621.39/623.14 c #Conflicts: 300000 | #Constraints: 78655
621.39/623.14 c #Conflicts: 301000 | #Constraints: 79655
621.39/623.14 c #Conflicts: 302000 | #Constraints: 80655
621.39/623.14 c #Conflicts: 303000 | #Constraints: 81655
621.39/623.14 c #Conflicts: 304000 | #Constraints: 82655
790.36/792.57 c #Conflicts: 305000 | #Constraints: 83655
790.36/792.57 c #Conflicts: 306000 | #Constraints: 84655
790.36/792.57 c #Conflicts: 307000 | #Constraints: 85655
790.36/792.57 c #Conflicts: 308000 | #Constraints: 86655
790.36/792.57 c #Conflicts: 309000 | #Constraints: 87655
790.36/792.57 c #Conflicts: 310000 | #Constraints: 88655
790.36/792.57 c #Conflicts: 311000 | #Constraints: 89655
790.36/792.57 c INPROCESSING
790.36/792.57 c GARBAGE COLLECT
790.36/792.57 c #Conflicts: 312000 | #Constraints: 58455
790.36/792.57 c #Conflicts: 313000 | #Constraints: 59455
790.36/792.57 c #Conflicts: 314000 | #Constraints: 60455
790.36/792.57 c #Conflicts: 315000 | #Constraints: 61455
790.36/792.57 c #Conflicts: 316000 | #Constraints: 62455
790.36/792.57 c #Conflicts: 317000 | #Constraints: 63455
790.36/792.57 c #Conflicts: 318000 | #Constraints: 64455
790.36/792.57 c #Conflicts: 319000 | #Constraints: 65455
790.36/792.57 c #Conflicts: 320000 | #Constraints: 66455
790.36/792.57 c #Conflicts: 321000 | #Constraints: 67455
790.36/792.57 c #Conflicts: 322000 | #Constraints: 68455
790.36/792.57 c #Conflicts: 323000 | #Constraints: 69455
790.36/792.57 c #Conflicts: 324000 | #Constraints: 70455
790.36/792.57 c #Conflicts: 325000 | #Constraints: 71455
790.36/792.57 c #Conflicts: 326000 | #Constraints: 72455
790.36/792.57 c #Conflicts: 327000 | #Constraints: 73455
790.36/792.57 c #Conflicts: 328000 | #Constraints: 74455
790.36/792.57 c #Conflicts: 329000 | #Constraints: 75455
790.36/792.57 c #Conflicts: 330000 | #Constraints: 76455
790.36/792.57 c #Conflicts: 331000 | #Constraints: 77455
790.36/792.57 c #Conflicts: 332000 | #Constraints: 78455
790.36/792.57 c #Conflicts: 333000 | #Constraints: 79455
790.36/792.57 c #Conflicts: 334000 | #Constraints: 80455
790.36/792.57 c #Conflicts: 335000 | #Constraints: 81455
790.36/792.57 c #Conflicts: 336000 | #Constraints: 82455
790.36/792.57 c #Conflicts: 337000 | #Constraints: 83455
790.36/792.57 c #Conflicts: 338000 | #Constraints: 84455
790.36/792.57 c #Conflicts: 339000 | #Constraints: 85455
790.36/792.57 c #Conflicts: 340000 | #Constraints: 86455
790.36/792.57 c #Conflicts: 341000 | #Constraints: 87455
790.36/792.57 c #Conflicts: 342000 | #Constraints: 88455
790.36/792.57 c #Conflicts: 343000 | #Constraints: 89455
790.36/792.57 c #Conflicts: 344000 | #Constraints: 90455
790.36/792.57 c #Conflicts: 345000 | #Constraints: 91455
790.36/792.57 c #Conflicts: 346000 | #Constraints: 92455
790.36/792.57 c #Conflicts: 347000 | #Constraints: 93455
790.36/792.57 c #Conflicts: 348000 | #Constraints: 94455
790.36/792.57 c INPROCESSING
790.36/792.57 c GARBAGE COLLECT
790.36/792.57 c #Conflicts: 349000 | #Constraints: 61381
790.36/792.57 c #Conflicts: 350000 | #Constraints: 62381
790.36/792.57 c #Conflicts: 351000 | #Constraints: 63381
790.36/792.57 c #Conflicts: 352000 | #Constraints: 64381
790.36/792.57 c #Conflicts: 353000 | #Constraints: 65381
790.36/792.57 c #Conflicts: 354000 | #Constraints: 66381
790.36/792.57 c #Conflicts: 355000 | #Constraints: 67381
790.36/792.57 c #Conflicts: 356000 | #Constraints: 68381
790.36/792.57 c #Conflicts: 357000 | #Constraints: 69381
790.36/792.57 c #Conflicts: 358000 | #Constraints: 70381
790.36/792.57 c #Conflicts: 359000 | #Constraints: 71381
790.36/792.57 c #Conflicts: 360000 | #Constraints: 72381
790.36/792.57 c #Conflicts: 361000 | #Constraints: 73381
790.36/792.57 c #Conflicts: 362000 | #Constraints: 74381
790.36/792.57 c #Conflicts: 363000 | #Constraints: 75381
790.36/792.57 c #Conflicts: 364000 | #Constraints: 76381
790.36/792.57 c #Conflicts: 365000 | #Constraints: 77381
790.36/792.57 c #Conflicts: 366000 | #Constraints: 78381
790.36/792.57 c #Conflicts: 367000 | #Constraints: 79381
790.36/792.57 c #Conflicts: 368000 | #Constraints: 80381
790.36/792.57 c #Conflicts: 369000 | #Constraints: 81381
790.36/792.57 c #Conflicts: 370000 | #Constraints: 82381
790.36/792.57 c #Conflicts: 371000 | #Constraints: 83381
790.36/792.57 c #Conflicts: 372000 | #Constraints: 84381
790.36/792.57 c #Conflicts: 373000 | #Constraints: 85381
790.36/792.57 c #Conflicts: 374000 | #Constraints: 86381
790.36/792.57 c #Conflicts: 375000 | #Constraints: 87381
790.36/792.57 c #Conflicts: 376000 | #Constraints: 88381
790.36/792.57 c #Conflicts: 377000 | #Constraints: 89381
790.36/792.57 c #Conflicts: 378000 | #Constraints: 90381
790.36/792.57 c #Conflicts: 379000 | #Constraints: 91381
790.36/792.57 c #Conflicts: 380000 | #Constraints: 92381
790.36/792.57 c #Conflicts: 381000 | #Constraints: 93381
790.36/792.57 c #Conflicts: 382000 | #Constraints: 94381
975.92/978.66 c #Conflicts: 383000 | #Constraints: 95381
975.92/978.66 c #Conflicts: 384000 | #Constraints: 96381
975.92/978.66 c #Conflicts: 385000 | #Constraints: 97381
975.92/978.66 c #Conflicts: 386000 | #Constraints: 98381
975.92/978.66 c INPROCESSING
975.92/978.66 c GARBAGE COLLECT
975.92/978.66 c #Conflicts: 387000 | #Constraints: 63214
975.92/978.66 c #Conflicts: 388000 | #Constraints: 64214
975.92/978.66 c #Conflicts: 389000 | #Constraints: 65214
975.92/978.66 c #Conflicts: 390000 | #Constraints: 66214
975.92/978.66 c #Conflicts: 391000 | #Constraints: 67214
975.92/978.66 c #Conflicts: 392000 | #Constraints: 68214
975.92/978.66 c #Conflicts: 393000 | #Constraints: 69214
975.92/978.66 c #Conflicts: 394000 | #Constraints: 70214
975.92/978.66 c #Conflicts: 395000 | #Constraints: 71214
975.92/978.66 c #Conflicts: 396000 | #Constraints: 72215
975.92/978.66 c #Conflicts: 397000 | #Constraints: 73215
975.92/978.66 c #Conflicts: 398000 | #Constraints: 74215
975.92/978.66 c #Conflicts: 399000 | #Constraints: 75215
975.92/978.66 c #Conflicts: 400000 | #Constraints: 76215
975.92/978.66 c #Conflicts: 401000 | #Constraints: 77215
975.92/978.66 c #Conflicts: 402000 | #Constraints: 78215
975.92/978.66 c #Conflicts: 403000 | #Constraints: 79215
975.92/978.66 c #Conflicts: 404000 | #Constraints: 80215
975.92/978.66 c #Conflicts: 405000 | #Constraints: 81215
975.92/978.66 c #Conflicts: 406000 | #Constraints: 82215
975.92/978.66 c #Conflicts: 407000 | #Constraints: 83215
975.92/978.66 c #Conflicts: 408000 | #Constraints: 84215
975.92/978.66 c #Conflicts: 409000 | #Constraints: 85215
975.92/978.66 c #Conflicts: 410000 | #Constraints: 86215
975.92/978.66 c #Conflicts: 411000 | #Constraints: 87215
975.92/978.66 c #Conflicts: 412000 | #Constraints: 88215
975.92/978.66 c #Conflicts: 413000 | #Constraints: 89215
975.92/978.66 c #Conflicts: 414000 | #Constraints: 90215
975.92/978.66 c #Conflicts: 415000 | #Constraints: 91215
975.92/978.66 c #Conflicts: 416000 | #Constraints: 92215
975.92/978.66 c #Conflicts: 417000 | #Constraints: 93215
975.92/978.66 c #Conflicts: 418000 | #Constraints: 94215
975.92/978.66 c #Conflicts: 419000 | #Constraints: 95215
975.92/978.66 c #Conflicts: 420000 | #Constraints: 96215
975.92/978.66 c #Conflicts: 421000 | #Constraints: 97215
975.92/978.66 c #Conflicts: 422000 | #Constraints: 98215
975.92/978.66 c #Conflicts: 423000 | #Constraints: 99215
975.92/978.66 c #Conflicts: 424000 | #Constraints: 100215
975.92/978.66 c #Conflicts: 425000 | #Constraints: 101215
975.92/978.66 c #Conflicts: 426000 | #Constraints: 102215
975.92/978.66 c INPROCESSING
975.92/978.66 c GARBAGE COLLECT
975.92/978.66 c #Conflicts: 427000 | #Constraints: 64799
975.92/978.66 c #Conflicts: 428000 | #Constraints: 65799
975.92/978.66 c #Conflicts: 429000 | #Constraints: 66799
975.92/978.66 c #Conflicts: 430000 | #Constraints: 67799
975.92/978.66 c #Conflicts: 431000 | #Constraints: 68799
975.92/978.66 c #Conflicts: 432000 | #Constraints: 69799
975.92/978.66 c #Conflicts: 433000 | #Constraints: 70799
975.92/978.66 c #Conflicts: 434000 | #Constraints: 71799
975.92/978.66 c #Conflicts: 435000 | #Constraints: 72799
975.92/978.66 c #Conflicts: 436000 | #Constraints: 73799
975.92/978.66 c #Conflicts: 437000 | #Constraints: 74799
975.92/978.66 c #Conflicts: 438000 | #Constraints: 75799
975.92/978.66 c #Conflicts: 439000 | #Constraints: 76799
975.92/978.66 c #Conflicts: 440000 | #Constraints: 77799
975.92/978.66 c #Conflicts: 441000 | #Constraints: 78799
975.92/978.66 c #Conflicts: 442000 | #Constraints: 79799
975.92/978.66 c #Conflicts: 443000 | #Constraints: 80799
975.92/978.66 c #Conflicts: 444000 | #Constraints: 81799
975.92/978.66 c #Conflicts: 445000 | #Constraints: 82799
975.92/978.66 c #Conflicts: 446000 | #Constraints: 83799
975.92/978.66 c #Conflicts: 447000 | #Constraints: 84799
975.92/978.66 c #Conflicts: 448000 | #Constraints: 85799
975.92/978.66 c #Conflicts: 449000 | #Constraints: 86799
975.92/978.66 c #Conflicts: 450000 | #Constraints: 87799
975.92/978.66 c #Conflicts: 451000 | #Constraints: 88799
975.92/978.66 c #Conflicts: 452000 | #Constraints: 89799
975.92/978.66 c #Conflicts: 453000 | #Constraints: 90799
975.92/978.66 c #Conflicts: 454000 | #Constraints: 91799
975.92/978.66 c #Conflicts: 455000 | #Constraints: 92799
975.92/978.66 c #Conflicts: 456000 | #Constraints: 93799
975.92/978.66 c #Conflicts: 457000 | #Constraints: 94799
975.92/978.66 c #Conflicts: 458000 | #Constraints: 95799
975.92/978.66 c #Conflicts: 459000 | #Constraints: 96799
1164.37/1167.64 c #Conflicts: 460000 | #Constraints: 97799
1164.37/1167.64 c #Conflicts: 461000 | #Constraints: 98799
1164.37/1167.64 c #Conflicts: 462000 | #Constraints: 99799
1164.37/1167.64 c #Conflicts: 463000 | #Constraints: 100799
1164.37/1167.64 c #Conflicts: 464000 | #Constraints: 101799
1164.37/1167.64 c #Conflicts: 465000 | #Constraints: 102799
1164.37/1167.64 c #Conflicts: 466000 | #Constraints: 103799
1164.37/1167.64 c #Conflicts: 467000 | #Constraints: 104799
1164.37/1167.64 c #Conflicts: 468000 | #Constraints: 105799
1164.37/1167.64 c #Conflicts: 469000 | #Constraints: 106799
1164.37/1167.64 c INPROCESSING
1164.37/1167.64 c GARBAGE COLLECT
1164.37/1167.64 c #Conflicts: 470000 | #Constraints: 67390
1164.37/1167.64 c #Conflicts: 471000 | #Constraints: 68390
1164.37/1167.64 c #Conflicts: 472000 | #Constraints: 69390
1164.37/1167.64 c #Conflicts: 473000 | #Constraints: 70390
1164.37/1167.64 c #Conflicts: 474000 | #Constraints: 71390
1164.37/1167.64 c #Conflicts: 475000 | #Constraints: 72390
1164.37/1167.64 c #Conflicts: 476000 | #Constraints: 73390
1164.37/1167.64 c #Conflicts: 477000 | #Constraints: 74390
1164.37/1167.64 c #Conflicts: 478000 | #Constraints: 75390
1164.37/1167.64 c #Conflicts: 479000 | #Constraints: 76390
1164.37/1167.64 c #Conflicts: 480000 | #Constraints: 77390
1164.37/1167.64 c #Conflicts: 481000 | #Constraints: 78390
1164.37/1167.64 c #Conflicts: 482000 | #Constraints: 79390
1164.37/1167.64 c #Conflicts: 483000 | #Constraints: 80390
1164.37/1167.64 c #Conflicts: 484000 | #Constraints: 81390
1164.37/1167.64 c #Conflicts: 485000 | #Constraints: 82390
1164.37/1167.64 c #Conflicts: 486000 | #Constraints: 83390
1164.37/1167.64 c #Conflicts: 487000 | #Constraints: 84390
1164.37/1167.64 c #Conflicts: 488000 | #Constraints: 85390
1164.37/1167.64 c #Conflicts: 489000 | #Constraints: 86390
1164.37/1167.64 c #Conflicts: 490000 | #Constraints: 87390
1164.37/1167.64 c #Conflicts: 491000 | #Constraints: 88390
1164.37/1167.64 c #Conflicts: 492000 | #Constraints: 89390
1164.37/1167.64 c #Conflicts: 493000 | #Constraints: 90390
1164.37/1167.64 c #Conflicts: 494000 | #Constraints: 91390
1164.37/1167.64 c #Conflicts: 495000 | #Constraints: 92390
1164.37/1167.64 c #Conflicts: 496000 | #Constraints: 93390
1164.37/1167.64 c #Conflicts: 497000 | #Constraints: 94390
1164.37/1167.64 c #Conflicts: 498000 | #Constraints: 95390
1164.37/1167.64 c #Conflicts: 499000 | #Constraints: 96390
1164.37/1167.64 c #Conflicts: 500000 | #Constraints: 97390
1164.37/1167.64 c #Conflicts: 501000 | #Constraints: 98390
1164.37/1167.64 c #Conflicts: 502000 | #Constraints: 99390
1164.37/1167.64 c #Conflicts: 503000 | #Constraints: 100390
1164.37/1167.64 c #Conflicts: 504000 | #Constraints: 101390
1164.37/1167.64 c #Conflicts: 505000 | #Constraints: 102390
1164.37/1167.64 c #Conflicts: 506000 | #Constraints: 103390
1164.37/1167.64 c #Conflicts: 507000 | #Constraints: 104390
1164.37/1167.64 c #Conflicts: 508000 | #Constraints: 105390
1164.37/1167.64 c #Conflicts: 509000 | #Constraints: 106390
1164.37/1167.64 c #Conflicts: 510000 | #Constraints: 107390
1164.37/1167.64 c #Conflicts: 511000 | #Constraints: 108390
1164.37/1167.64 c #Conflicts: 512000 | #Constraints: 109390
1164.37/1167.64 c #Conflicts: 513000 | #Constraints: 110390
1164.37/1167.64 c INPROCESSING
1164.37/1167.64 c GARBAGE COLLECT
1164.37/1167.64 c #Conflicts: 514000 | #Constraints: 69034
1164.37/1167.64 c #Conflicts: 515000 | #Constraints: 70034
1164.37/1167.64 c #Conflicts: 516000 | #Constraints: 71034
1164.37/1167.64 c #Conflicts: 517000 | #Constraints: 72034
1164.37/1167.64 c #Conflicts: 518000 | #Constraints: 73034
1164.37/1167.64 c #Conflicts: 519000 | #Constraints: 74034
1164.37/1167.64 c #Conflicts: 520000 | #Constraints: 75034
1164.37/1167.64 c #Conflicts: 521000 | #Constraints: 76034
1164.37/1167.64 c #Conflicts: 522000 | #Constraints: 77034
1164.37/1167.64 c #Conflicts: 523000 | #Constraints: 78034
1164.37/1167.64 c #Conflicts: 524000 | #Constraints: 79034
1164.37/1167.64 c #Conflicts: 525000 | #Constraints: 80034
1164.37/1167.64 c #Conflicts: 526000 | #Constraints: 81034
1164.37/1167.64 c #Conflicts: 527000 | #Constraints: 82034
1164.37/1167.64 c #Conflicts: 528000 | #Constraints: 83034
1164.37/1167.64 c #Conflicts: 529000 | #Constraints: 84034
1164.37/1167.64 c #Conflicts: 530000 | #Constraints: 85034
1164.37/1167.64 c #Conflicts: 531000 | #Constraints: 86034
1164.37/1167.64 c #Conflicts: 532000 | #Constraints: 87034
1164.37/1167.64 c #Conflicts: 533000 | #Constraints: 88034
1164.37/1167.64 c #Conflicts: 534000 | #Constraints: 89034
1164.37/1167.64 c #Conflicts: 535000 | #Constraints: 90034
1164.37/1167.64 c #Conflicts: 536000 | #Constraints: 91034
1164.37/1167.64 c #Conflicts: 537000 | #Constraints: 92034
1169.26/1172.51 c INPROCESSING
1169.26/1172.51 c GARBAGE COLLECT
1169.26/1172.51 c rational objective 196
1304.03/1307.76 c #Conflicts: 538000 | #Constraints: 69295
1304.03/1307.76 c #Conflicts: 539000 | #Constraints: 70295
1304.03/1307.76 c #Conflicts: 540000 | #Constraints: 71295
1304.03/1307.76 c #Conflicts: 541000 | #Constraints: 72295
1304.03/1307.76 c #Conflicts: 542000 | #Constraints: 73295
1304.03/1307.76 c #Conflicts: 543000 | #Constraints: 74295
1304.03/1307.76 c #Conflicts: 544000 | #Constraints: 75295
1304.03/1307.76 c #Conflicts: 545000 | #Constraints: 76295
1304.03/1307.76 c #Conflicts: 546000 | #Constraints: 77295
1304.03/1307.76 c #Conflicts: 547000 | #Constraints: 78295
1304.03/1307.76 c #Conflicts: 548000 | #Constraints: 79295
1304.03/1307.76 c #Conflicts: 549000 | #Constraints: 80295
1304.03/1307.76 c #Conflicts: 550000 | #Constraints: 81295
1304.03/1307.76 c #Conflicts: 551000 | #Constraints: 82295
1304.03/1307.76 c #Conflicts: 552000 | #Constraints: 83295
1304.03/1307.76 c #Conflicts: 553000 | #Constraints: 84295
1304.03/1307.76 c #Conflicts: 554000 | #Constraints: 85295
1304.03/1307.76 c #Conflicts: 555000 | #Constraints: 86295
1304.03/1307.76 c #Conflicts: 556000 | #Constraints: 87295
1304.03/1307.76 c #Conflicts: 557000 | #Constraints: 88295
1304.03/1307.76 c #Conflicts: 558000 | #Constraints: 89295
1304.03/1307.76 c #Conflicts: 559000 | #Constraints: 90295
1304.03/1307.76 c #Conflicts: 560000 | #Constraints: 91295
1304.03/1307.76 c #Conflicts: 561000 | #Constraints: 92295
1304.03/1307.76 c #Conflicts: 562000 | #Constraints: 93295
1304.03/1307.76 c #Conflicts: 563000 | #Constraints: 94295
1304.03/1307.76 c #Conflicts: 564000 | #Constraints: 95295
1304.03/1307.76 c #Conflicts: 565000 | #Constraints: 96295
1304.03/1307.76 c #Conflicts: 566000 | #Constraints: 97295
1304.03/1307.76 c #Conflicts: 567000 | #Constraints: 98295
1304.03/1307.76 c #Conflicts: 568000 | #Constraints: 99295
1304.03/1307.76 c #Conflicts: 569000 | #Constraints: 100295
1304.03/1307.76 c #Conflicts: 570000 | #Constraints: 101295
1304.03/1307.76 c #Conflicts: 571000 | #Constraints: 102295
1304.03/1307.76 c #Conflicts: 572000 | #Constraints: 103295
1304.03/1307.76 c #Conflicts: 573000 | #Constraints: 104295
1304.03/1307.76 c #Conflicts: 574000 | #Constraints: 105295
1304.03/1307.76 c #Conflicts: 575000 | #Constraints: 106295
1304.03/1307.76 c #Conflicts: 576000 | #Constraints: 107295
1304.03/1307.76 c #Conflicts: 577000 | #Constraints: 108295
1304.03/1307.76 c #Conflicts: 578000 | #Constraints: 109295
1304.03/1307.76 c #Conflicts: 579000 | #Constraints: 110295
1304.03/1307.76 c #Conflicts: 580000 | #Constraints: 111295
1304.03/1307.76 c #Conflicts: 581000 | #Constraints: 112295
1304.03/1307.76 c #Conflicts: 582000 | #Constraints: 113295
1304.03/1307.76 c #Conflicts: 583000 | #Constraints: 114295
1304.03/1307.76 c #Conflicts: 584000 | #Constraints: 115295
1304.03/1307.76 c #Conflicts: 585000 | #Constraints: 116295
1304.03/1307.76 c INPROCESSING
1304.03/1307.76 c GARBAGE COLLECT
1304.03/1307.76 c rational objective 196
1486.89/1491.15 c #Conflicts: 586000 | #Constraints: 72372
1486.89/1491.15 c #Conflicts: 587000 | #Constraints: 73372
1486.89/1491.15 c #Conflicts: 588000 | #Constraints: 74372
1486.89/1491.15 c #Conflicts: 589000 | #Constraints: 75372
1486.89/1491.15 c #Conflicts: 590000 | #Constraints: 76372
1486.89/1491.15 c #Conflicts: 591000 | #Constraints: 77372
1486.89/1491.15 c #Conflicts: 592000 | #Constraints: 78372
1486.89/1491.15 c #Conflicts: 593000 | #Constraints: 79372
1486.89/1491.15 c #Conflicts: 594000 | #Constraints: 80372
1486.89/1491.15 c #Conflicts: 595000 | #Constraints: 81372
1486.89/1491.15 c #Conflicts: 596000 | #Constraints: 82372
1486.89/1491.15 c #Conflicts: 597000 | #Constraints: 83372
1486.89/1491.15 c #Conflicts: 598000 | #Constraints: 84372
1486.89/1491.15 c #Conflicts: 599000 | #Constraints: 85372
1486.89/1491.15 c #Conflicts: 600000 | #Constraints: 86372
1486.89/1491.15 c #Conflicts: 601000 | #Constraints: 87372
1486.89/1491.15 c #Conflicts: 602000 | #Constraints: 88372
1486.89/1491.15 c #Conflicts: 603000 | #Constraints: 89372
1486.89/1491.15 c #Conflicts: 604000 | #Constraints: 90372
1486.89/1491.15 c #Conflicts: 605000 | #Constraints: 91372
1486.89/1491.15 c #Conflicts: 606000 | #Constraints: 92372
1486.89/1491.15 c #Conflicts: 607000 | #Constraints: 93372
1486.89/1491.15 c #Conflicts: 608000 | #Constraints: 94372
1486.89/1491.15 c #Conflicts: 609000 | #Constraints: 95372
1486.89/1491.15 c #Conflicts: 610000 | #Constraints: 96372
1486.89/1491.15 c #Conflicts: 611000 | #Constraints: 97372
1486.89/1491.15 c #Conflicts: 612000 | #Constraints: 98372
1486.89/1491.15 c #Conflicts: 613000 | #Constraints: 99372
1486.89/1491.15 c #Conflicts: 614000 | #Constraints: 100372
1486.89/1491.15 c #Conflicts: 615000 | #Constraints: 101372
1486.89/1491.15 c #Conflicts: 616000 | #Constraints: 102372
1486.89/1491.15 c #Conflicts: 617000 | #Constraints: 103372
1486.89/1491.15 c #Conflicts: 618000 | #Constraints: 104372
1486.89/1491.15 c #Conflicts: 619000 | #Constraints: 105372
1486.89/1491.15 c #Conflicts: 620000 | #Constraints: 106372
1486.89/1491.15 c #Conflicts: 621000 | #Constraints: 107372
1486.89/1491.15 c #Conflicts: 622000 | #Constraints: 108372
1486.89/1491.15 c #Conflicts: 623000 | #Constraints: 109372
1486.89/1491.15 c #Conflicts: 624000 | #Constraints: 110372
1486.89/1491.15 c #Conflicts: 625000 | #Constraints: 111372
1486.89/1491.15 c #Conflicts: 626000 | #Constraints: 112372
1486.89/1491.15 c #Conflicts: 627000 | #Constraints: 113372
1486.89/1491.15 c #Conflicts: 628000 | #Constraints: 114372
1486.89/1491.15 c #Conflicts: 629000 | #Constraints: 115372
1486.89/1491.15 c #Conflicts: 630000 | #Constraints: 116372
1486.89/1491.15 c #Conflicts: 631000 | #Constraints: 117372
1486.89/1491.15 c #Conflicts: 632000 | #Constraints: 118372
1486.89/1491.15 c #Conflicts: 633000 | #Constraints: 119372
1486.89/1491.15 c #Conflicts: 634000 | #Constraints: 120372
1486.89/1491.15 c INPROCESSING
1486.89/1491.15 c GARBAGE COLLECT
1486.89/1491.15 c #Conflicts: 635000 | #Constraints: 74220
1486.89/1491.15 c #Conflicts: 636000 | #Constraints: 75220
1486.89/1491.15 c #Conflicts: 637000 | #Constraints: 76220
1486.89/1491.15 c #Conflicts: 638000 | #Constraints: 77220
1486.89/1491.15 c #Conflicts: 639000 | #Constraints: 78220
1486.89/1491.15 c #Conflicts: 640000 | #Constraints: 79220
1486.89/1491.15 c #Conflicts: 641000 | #Constraints: 80220
1486.89/1491.15 c #Conflicts: 642000 | #Constraints: 81220
1486.89/1491.15 c #Conflicts: 643000 | #Constraints: 82220
1486.89/1491.15 c #Conflicts: 644000 | #Constraints: 83220
1486.89/1491.15 c #Conflicts: 645000 | #Constraints: 84220
1486.89/1491.15 c #Conflicts: 646000 | #Constraints: 85220
1486.89/1491.15 c #Conflicts: 647000 | #Constraints: 86220
1486.89/1491.15 c #Conflicts: 648000 | #Constraints: 87220
1486.89/1491.15 c #Conflicts: 649000 | #Constraints: 88220
1486.89/1491.15 c #Conflicts: 650000 | #Constraints: 89220
1486.89/1491.15 c #Conflicts: 651000 | #Constraints: 90220
1486.89/1491.15 c #Conflicts: 652000 | #Constraints: 91220
1486.89/1491.15 c #Conflicts: 653000 | #Constraints: 92220
1486.89/1491.15 c #Conflicts: 654000 | #Constraints: 93220
1486.89/1491.15 c #Conflicts: 655000 | #Constraints: 94220
1486.89/1491.15 c #Conflicts: 656000 | #Constraints: 95220
1486.89/1491.15 c #Conflicts: 657000 | #Constraints: 96220
1486.89/1491.15 c #Conflicts: 658000 | #Constraints: 97220
1486.89/1491.15 c #Conflicts: 659000 | #Constraints: 98220
1486.89/1491.15 c #Conflicts: 660000 | #Constraints: 99220
1486.89/1491.15 c #Conflicts: 661000 | #Constraints: 100220
1486.89/1491.15 c #Conflicts: 662000 | #Constraints: 101220
1486.89/1491.15 c #Conflicts: 663000 | #Constraints: 102220
1486.89/1491.15 c #Conflicts: 664000 | #Constraints: 103220
1825.79/1831.05 c #Conflicts: 665000 | #Constraints: 104220
1825.79/1831.05 c #Conflicts: 666000 | #Constraints: 105220
1825.79/1831.05 c #Conflicts: 667000 | #Constraints: 106220
1825.79/1831.05 c #Conflicts: 668000 | #Constraints: 107220
1825.79/1831.05 c #Conflicts: 669000 | #Constraints: 108220
1825.79/1831.05 c #Conflicts: 670000 | #Constraints: 109220
1825.79/1831.05 c #Conflicts: 671000 | #Constraints: 110220
1825.79/1831.05 c #Conflicts: 672000 | #Constraints: 111220
1825.79/1831.05 c #Conflicts: 673000 | #Constraints: 112220
1825.79/1831.05 c #Conflicts: 674000 | #Constraints: 113220
1825.79/1831.05 c #Conflicts: 675000 | #Constraints: 114220
1825.79/1831.05 c #Conflicts: 676000 | #Constraints: 115220
1825.79/1831.05 c #Conflicts: 677000 | #Constraints: 116220
1825.79/1831.05 c #Conflicts: 678000 | #Constraints: 117220
1825.79/1831.05 c #Conflicts: 679000 | #Constraints: 118220
1825.79/1831.05 c #Conflicts: 680000 | #Constraints: 119220
1825.79/1831.05 c #Conflicts: 681000 | #Constraints: 120220
1825.79/1831.05 c #Conflicts: 682000 | #Constraints: 121220
1825.79/1831.05 c #Conflicts: 683000 | #Constraints: 122220
1825.79/1831.05 c #Conflicts: 684000 | #Constraints: 123220
1825.79/1831.05 c #Conflicts: 685000 | #Constraints: 124220
1825.79/1831.05 c #Conflicts: 686000 | #Constraints: 125220
1825.79/1831.05 c INPROCESSING
1825.79/1831.05 c GARBAGE COLLECT
1825.79/1831.05 c #Conflicts: 687000 | #Constraints: 77105
1825.79/1831.05 c #Conflicts: 688000 | #Constraints: 78105
1825.79/1831.05 c #Conflicts: 689000 | #Constraints: 79105
1825.79/1831.05 c #Conflicts: 690000 | #Constraints: 80106
1825.79/1831.05 c #Conflicts: 691000 | #Constraints: 81106
1825.79/1831.05 c #Conflicts: 692000 | #Constraints: 82106
1825.79/1831.05 c #Conflicts: 693000 | #Constraints: 83106
1825.79/1831.05 c #Conflicts: 694000 | #Constraints: 84106
1825.79/1831.05 c #Conflicts: 695000 | #Constraints: 85106
1825.79/1831.05 c #Conflicts: 696000 | #Constraints: 86106
1825.79/1831.05 c #Conflicts: 697000 | #Constraints: 87106
1825.79/1831.05 c #Conflicts: 698000 | #Constraints: 88106
1825.79/1831.05 c #Conflicts: 699000 | #Constraints: 89106
1825.79/1831.05 c #Conflicts: 700000 | #Constraints: 90106
1825.79/1831.05 c #Conflicts: 701000 | #Constraints: 91106
1825.79/1831.05 c #Conflicts: 702000 | #Constraints: 92106
1825.79/1831.05 c #Conflicts: 703000 | #Constraints: 93106
1825.79/1831.05 c #Conflicts: 704000 | #Constraints: 94106
1825.79/1831.05 c #Conflicts: 705000 | #Constraints: 95106
1825.79/1831.05 c #Conflicts: 706000 | #Constraints: 96106
1825.79/1831.05 c #Conflicts: 707000 | #Constraints: 97106
1825.79/1831.05 c #Conflicts: 708000 | #Constraints: 98106
1825.79/1831.05 c #Conflicts: 709000 | #Constraints: 99106
1825.79/1831.05 c #Conflicts: 710000 | #Constraints: 100106
1825.79/1831.05 c #Conflicts: 711000 | #Constraints: 101106
1825.79/1831.05 c #Conflicts: 712000 | #Constraints: 102106
1825.79/1831.05 c #Conflicts: 713000 | #Constraints: 103106
1825.79/1831.05 c #Conflicts: 714000 | #Constraints: 104106
1825.79/1831.05 c #Conflicts: 715000 | #Constraints: 105106
1825.79/1831.05 c #Conflicts: 716000 | #Constraints: 106106
1825.79/1831.05 c #Conflicts: 717000 | #Constraints: 107106
1825.79/1831.05 c #Conflicts: 718000 | #Constraints: 108106
1825.79/1831.05 c #Conflicts: 719000 | #Constraints: 109106
1825.79/1831.05 c #Conflicts: 720000 | #Constraints: 110106
1825.79/1831.05 c #Conflicts: 721000 | #Constraints: 111106
1825.79/1831.05 c #Conflicts: 722000 | #Constraints: 112106
1825.79/1831.05 c #Conflicts: 723000 | #Constraints: 113106
1825.79/1831.05 c #Conflicts: 724000 | #Constraints: 114106
1825.79/1831.05 c #Conflicts: 725000 | #Constraints: 115106
1825.79/1831.05 c #Conflicts: 726000 | #Constraints: 116106
1825.79/1831.05 c #Conflicts: 727000 | #Constraints: 117106
1825.79/1831.05 c #Conflicts: 728000 | #Constraints: 118106
1825.79/1831.05 c #Conflicts: 729000 | #Constraints: 119106
1825.79/1831.05 c #Conflicts: 730000 | #Constraints: 120106
1825.79/1831.05 c #Conflicts: 731000 | #Constraints: 121106
1825.79/1831.05 c #Conflicts: 732000 | #Constraints: 122106
1825.79/1831.05 c #Conflicts: 733000 | #Constraints: 123106
1825.79/1831.05 c #Conflicts: 734000 | #Constraints: 124106
1825.79/1831.05 c #Conflicts: 735000 | #Constraints: 125106
1825.79/1831.05 c #Conflicts: 736000 | #Constraints: 126106
1825.79/1831.05 c #Conflicts: 737000 | #Constraints: 127106
1825.79/1831.05 c #Conflicts: 738000 | #Constraints: 128106
1825.79/1831.05 c #Conflicts: 739000 | #Constraints: 129106
1825.79/1831.05 c INPROCESSING
1825.79/1831.05 c GARBAGE COLLECT
1825.79/1831.05 c #Conflicts: 740000 | #Constraints: 78766
1825.79/1831.05 c #Conflicts: 741000 | #Constraints: 79766
2004.53/2010.26 c #Conflicts: 742000 | #Constraints: 80766
2004.53/2010.26 c #Conflicts: 743000 | #Constraints: 81766
2004.53/2010.26 c #Conflicts: 744000 | #Constraints: 82766
2004.53/2010.26 c #Conflicts: 745000 | #Constraints: 83766
2004.53/2010.26 c #Conflicts: 746000 | #Constraints: 84766
2004.53/2010.26 c #Conflicts: 747000 | #Constraints: 85766
2004.53/2010.26 c #Conflicts: 748000 | #Constraints: 86766
2004.53/2010.26 c #Conflicts: 749000 | #Constraints: 87766
2004.53/2010.26 c #Conflicts: 750000 | #Constraints: 88766
2004.53/2010.26 c #Conflicts: 751000 | #Constraints: 89766
2004.53/2010.26 c #Conflicts: 752000 | #Constraints: 90766
2004.53/2010.26 c #Conflicts: 753000 | #Constraints: 91766
2004.53/2010.26 c #Conflicts: 754000 | #Constraints: 92766
2004.53/2010.26 c #Conflicts: 755000 | #Constraints: 93766
2004.53/2010.26 c #Conflicts: 756000 | #Constraints: 94766
2004.53/2010.26 c #Conflicts: 757000 | #Constraints: 95766
2004.53/2010.26 c #Conflicts: 758000 | #Constraints: 96766
2004.53/2010.26 c #Conflicts: 759000 | #Constraints: 97766
2004.53/2010.26 c #Conflicts: 760000 | #Constraints: 98766
2004.53/2010.26 c #Conflicts: 761000 | #Constraints: 99766
2004.53/2010.26 c #Conflicts: 762000 | #Constraints: 100766
2004.53/2010.26 c #Conflicts: 763000 | #Constraints: 101766
2004.53/2010.26 c #Conflicts: 764000 | #Constraints: 102766
2004.53/2010.26 c #Conflicts: 765000 | #Constraints: 103766
2004.53/2010.26 c #Conflicts: 766000 | #Constraints: 104766
2004.53/2010.26 c #Conflicts: 767000 | #Constraints: 105766
2004.53/2010.26 c #Conflicts: 768000 | #Constraints: 106766
2004.53/2010.26 c #Conflicts: 769000 | #Constraints: 107766
2004.53/2010.26 c #Conflicts: 770000 | #Constraints: 108766
2004.53/2010.26 c #Conflicts: 771000 | #Constraints: 109766
2004.53/2010.26 c #Conflicts: 772000 | #Constraints: 110766
2004.53/2010.26 c #Conflicts: 773000 | #Constraints: 111766
2004.53/2010.26 c #Conflicts: 774000 | #Constraints: 112766
2004.53/2010.26 c #Conflicts: 775000 | #Constraints: 113766
2004.53/2010.26 c #Conflicts: 776000 | #Constraints: 114766
2004.53/2010.26 c #Conflicts: 777000 | #Constraints: 115766
2004.53/2010.26 c #Conflicts: 778000 | #Constraints: 116766
2004.53/2010.26 c #Conflicts: 779000 | #Constraints: 117766
2004.53/2010.26 c #Conflicts: 780000 | #Constraints: 118766
2004.53/2010.26 c #Conflicts: 781000 | #Constraints: 119766
2004.53/2010.26 c #Conflicts: 782000 | #Constraints: 120766
2004.53/2010.26 c #Conflicts: 783000 | #Constraints: 121766
2004.53/2010.26 c #Conflicts: 784000 | #Constraints: 122766
2004.53/2010.26 c #Conflicts: 785000 | #Constraints: 123766
2004.53/2010.26 c #Conflicts: 786000 | #Constraints: 124766
2004.53/2010.26 c #Conflicts: 787000 | #Constraints: 125766
2004.53/2010.26 c #Conflicts: 788000 | #Constraints: 126766
2004.53/2010.26 c #Conflicts: 789000 | #Constraints: 127766
2004.53/2010.26 c #Conflicts: 790000 | #Constraints: 128766
2004.53/2010.26 c #Conflicts: 791000 | #Constraints: 129766
2004.53/2010.26 c #Conflicts: 792000 | #Constraints: 130766
2004.53/2010.26 c #Conflicts: 793000 | #Constraints: 131766
2004.53/2010.26 c #Conflicts: 794000 | #Constraints: 132766
2004.53/2010.26 c #Conflicts: 795000 | #Constraints: 133766
2004.53/2010.26 c INPROCESSING
2004.53/2010.26 c GARBAGE COLLECT
2004.53/2010.26 c #Conflicts: 796000 | #Constraints: 81498
2004.53/2010.26 c #Conflicts: 797000 | #Constraints: 82498
2004.53/2010.26 c #Conflicts: 798000 | #Constraints: 83498
2004.53/2010.26 c #Conflicts: 799000 | #Constraints: 84498
2004.53/2010.26 c #Conflicts: 800000 | #Constraints: 85498
2004.53/2010.26 c #Conflicts: 801000 | #Constraints: 86498
2004.53/2010.26 c #Conflicts: 802000 | #Constraints: 87498
2004.53/2010.26 c #Conflicts: 803000 | #Constraints: 88498
2004.53/2010.26 c #Conflicts: 804000 | #Constraints: 89498
2004.53/2010.26 c #Conflicts: 805000 | #Constraints: 90498
2004.53/2010.26 c #Conflicts: 806000 | #Constraints: 91498
2004.53/2010.26 c #Conflicts: 807000 | #Constraints: 92498
2004.53/2010.26 c #Conflicts: 808000 | #Constraints: 93498
2004.53/2010.26 c #Conflicts: 809000 | #Constraints: 94498
2004.53/2010.26 c #Conflicts: 810000 | #Constraints: 95498
2004.53/2010.26 c #Conflicts: 811000 | #Constraints: 96498
2004.53/2010.26 c #Conflicts: 812000 | #Constraints: 97498
2004.53/2010.26 c #Conflicts: 813000 | #Constraints: 98498
2004.53/2010.26 c #Conflicts: 814000 | #Constraints: 99498
2004.53/2010.26 c #Conflicts: 815000 | #Constraints: 100498
2004.53/2010.26 c #Conflicts: 816000 | #Constraints: 101498
2004.53/2010.26 c #Conflicts: 817000 | #Constraints: 102498
2004.53/2010.26 c #Conflicts: 818000 | #Constraints: 103498
2004.53/2010.26 c #Conflicts: 819000 | #Constraints: 104498
2193.36/2199.59 c #Conflicts: 820000 | #Constraints: 105498
2193.36/2199.59 c #Conflicts: 821000 | #Constraints: 106498
2193.36/2199.59 c #Conflicts: 822000 | #Constraints: 107498
2193.36/2199.59 c #Conflicts: 823000 | #Constraints: 108498
2193.36/2199.59 c #Conflicts: 824000 | #Constraints: 109498
2193.36/2199.59 c #Conflicts: 825000 | #Constraints: 110498
2193.36/2199.59 c #Conflicts: 826000 | #Constraints: 111498
2193.36/2199.59 c #Conflicts: 827000 | #Constraints: 112498
2193.36/2199.59 c #Conflicts: 828000 | #Constraints: 113498
2193.36/2199.59 c #Conflicts: 829000 | #Constraints: 114498
2193.36/2199.59 c #Conflicts: 830000 | #Constraints: 115498
2193.36/2199.59 c #Conflicts: 831000 | #Constraints: 116498
2193.36/2199.59 c #Conflicts: 832000 | #Constraints: 117498
2193.36/2199.59 c #Conflicts: 833000 | #Constraints: 118498
2193.36/2199.59 c #Conflicts: 834000 | #Constraints: 119498
2193.36/2199.59 c #Conflicts: 835000 | #Constraints: 120498
2193.36/2199.59 c #Conflicts: 836000 | #Constraints: 121498
2193.36/2199.59 c #Conflicts: 837000 | #Constraints: 122498
2193.36/2199.59 c #Conflicts: 838000 | #Constraints: 123498
2193.36/2199.59 c #Conflicts: 839000 | #Constraints: 124498
2193.36/2199.59 c #Conflicts: 840000 | #Constraints: 125498
2193.36/2199.59 c #Conflicts: 841000 | #Constraints: 126498
2193.36/2199.59 c #Conflicts: 842000 | #Constraints: 127498
2193.36/2199.59 c #Conflicts: 843000 | #Constraints: 128498
2193.36/2199.59 c #Conflicts: 844000 | #Constraints: 129498
2193.36/2199.59 c #Conflicts: 845000 | #Constraints: 130498
2193.36/2199.59 c #Conflicts: 846000 | #Constraints: 131498
2193.36/2199.59 c #Conflicts: 847000 | #Constraints: 132498
2193.36/2199.59 c #Conflicts: 848000 | #Constraints: 133498
2193.36/2199.59 c #Conflicts: 849000 | #Constraints: 134498
2193.36/2199.59 c #Conflicts: 850000 | #Constraints: 135498
2193.36/2199.59 c #Conflicts: 851000 | #Constraints: 136498
2193.36/2199.59 c #Conflicts: 852000 | #Constraints: 137498
2193.36/2199.59 c INPROCESSING
2193.36/2199.59 c GARBAGE COLLECT
2193.36/2199.59 c #Conflicts: 853000 | #Constraints: 82998
2193.36/2199.59 c #Conflicts: 854000 | #Constraints: 83998
2193.36/2199.59 c #Conflicts: 855000 | #Constraints: 84998
2193.36/2199.59 c #Conflicts: 856000 | #Constraints: 85998
2193.36/2199.59 c #Conflicts: 857000 | #Constraints: 86998
2193.36/2199.59 c #Conflicts: 858000 | #Constraints: 87998
2193.36/2199.59 c #Conflicts: 859000 | #Constraints: 88998
2193.36/2199.59 c #Conflicts: 860000 | #Constraints: 89998
2193.36/2199.59 c #Conflicts: 861000 | #Constraints: 90998
2193.36/2199.59 c #Conflicts: 862000 | #Constraints: 91998
2193.36/2199.59 c #Conflicts: 863000 | #Constraints: 92998
2193.36/2199.59 c #Conflicts: 864000 | #Constraints: 93998
2193.36/2199.59 c #Conflicts: 865000 | #Constraints: 94998
2193.36/2199.59 c #Conflicts: 866000 | #Constraints: 95998
2193.36/2199.59 c #Conflicts: 867000 | #Constraints: 96998
2193.36/2199.59 c #Conflicts: 868000 | #Constraints: 97998
2193.36/2199.59 c #Conflicts: 869000 | #Constraints: 98998
2193.36/2199.59 c #Conflicts: 870000 | #Constraints: 99998
2193.36/2199.59 c #Conflicts: 871000 | #Constraints: 100998
2193.36/2199.59 c #Conflicts: 872000 | #Constraints: 101998
2193.36/2199.59 c #Conflicts: 873000 | #Constraints: 102998
2193.36/2199.59 c #Conflicts: 874000 | #Constraints: 103998
2193.36/2199.59 c #Conflicts: 875000 | #Constraints: 104998
2193.36/2199.59 c #Conflicts: 876000 | #Constraints: 105998
2193.36/2199.59 c #Conflicts: 877000 | #Constraints: 106998
2193.36/2199.59 c #Conflicts: 878000 | #Constraints: 107998
2193.36/2199.59 c #Conflicts: 879000 | #Constraints: 108998
2193.36/2199.59 c #Conflicts: 880000 | #Constraints: 109998
2193.36/2199.59 c #Conflicts: 881000 | #Constraints: 110998
2193.36/2199.59 c #Conflicts: 882000 | #Constraints: 111998
2193.36/2199.59 c #Conflicts: 883000 | #Constraints: 112998
2193.36/2199.59 c #Conflicts: 884000 | #Constraints: 113998
2193.36/2199.59 c #Conflicts: 885000 | #Constraints: 114998
2193.36/2199.59 c #Conflicts: 886000 | #Constraints: 115998
2193.36/2199.59 c #Conflicts: 887000 | #Constraints: 116998
2193.36/2199.59 c #Conflicts: 888000 | #Constraints: 117998
2193.36/2199.59 c #Conflicts: 889000 | #Constraints: 118998
2193.36/2199.59 c #Conflicts: 890000 | #Constraints: 119998
2193.36/2199.59 c #Conflicts: 891000 | #Constraints: 120998
2193.36/2199.59 c #Conflicts: 892000 | #Constraints: 121998
2193.36/2199.59 c #Conflicts: 893000 | #Constraints: 122998
2193.36/2199.59 c #Conflicts: 894000 | #Constraints: 123998
2193.36/2199.59 c #Conflicts: 895000 | #Constraints: 124998
2193.36/2199.59 c #Conflicts: 896000 | #Constraints: 125998
2193.36/2199.59 c #Conflicts: 897000 | #Constraints: 126998
2413.64/2420.38 c #Conflicts: 898000 | #Constraints: 127998
2413.64/2420.38 c #Conflicts: 899000 | #Constraints: 128998
2413.64/2420.38 c #Conflicts: 900000 | #Constraints: 129998
2413.64/2420.38 c #Conflicts: 901000 | #Constraints: 130998
2413.64/2420.38 c #Conflicts: 902000 | #Constraints: 131998
2413.64/2420.38 c #Conflicts: 903000 | #Constraints: 132998
2413.64/2420.38 c #Conflicts: 904000 | #Constraints: 133998
2413.64/2420.38 c #Conflicts: 905000 | #Constraints: 134998
2413.64/2420.38 c #Conflicts: 906000 | #Constraints: 135998
2413.64/2420.38 c #Conflicts: 907000 | #Constraints: 136998
2413.64/2420.38 c #Conflicts: 908000 | #Constraints: 137998
2413.64/2420.38 c #Conflicts: 909000 | #Constraints: 138998
2413.64/2420.38 c #Conflicts: 910000 | #Constraints: 139998
2413.64/2420.38 c #Conflicts: 911000 | #Constraints: 140998
2413.64/2420.38 c #Conflicts: 912000 | #Constraints: 141998
2413.64/2420.38 c INPROCESSING
2413.64/2420.38 c GARBAGE COLLECT
2413.64/2420.38 c #Conflicts: 913000 | #Constraints: 85536
2413.64/2420.38 c #Conflicts: 914000 | #Constraints: 86536
2413.64/2420.38 c #Conflicts: 915000 | #Constraints: 87536
2413.64/2420.38 c #Conflicts: 916000 | #Constraints: 88536
2413.64/2420.38 c #Conflicts: 917000 | #Constraints: 89536
2413.64/2420.38 c #Conflicts: 918000 | #Constraints: 90536
2413.64/2420.38 c #Conflicts: 919000 | #Constraints: 91536
2413.64/2420.38 c #Conflicts: 920000 | #Constraints: 92536
2413.64/2420.38 c #Conflicts: 921000 | #Constraints: 93536
2413.64/2420.38 c #Conflicts: 922000 | #Constraints: 94536
2413.64/2420.38 c #Conflicts: 923000 | #Constraints: 95536
2413.64/2420.38 c #Conflicts: 924000 | #Constraints: 96536
2413.64/2420.38 c #Conflicts: 925000 | #Constraints: 97536
2413.64/2420.38 c #Conflicts: 926000 | #Constraints: 98536
2413.64/2420.38 c #Conflicts: 927000 | #Constraints: 99536
2413.64/2420.38 c #Conflicts: 928000 | #Constraints: 100536
2413.64/2420.38 c #Conflicts: 929000 | #Constraints: 101536
2413.64/2420.38 c #Conflicts: 930000 | #Constraints: 102536
2413.64/2420.38 c #Conflicts: 931000 | #Constraints: 103536
2413.64/2420.38 c #Conflicts: 932000 | #Constraints: 104536
2413.64/2420.38 c #Conflicts: 933000 | #Constraints: 105536
2413.64/2420.38 c #Conflicts: 934000 | #Constraints: 106536
2413.64/2420.38 c #Conflicts: 935000 | #Constraints: 107536
2413.64/2420.38 c #Conflicts: 936000 | #Constraints: 108536
2413.64/2420.38 c #Conflicts: 937000 | #Constraints: 109536
2413.64/2420.38 c #Conflicts: 938000 | #Constraints: 110536
2413.64/2420.38 c #Conflicts: 939000 | #Constraints: 111536
2413.64/2420.38 c #Conflicts: 940000 | #Constraints: 112536
2413.64/2420.38 c #Conflicts: 941000 | #Constraints: 113536
2413.64/2420.38 c #Conflicts: 942000 | #Constraints: 114536
2413.64/2420.38 c #Conflicts: 943000 | #Constraints: 115536
2413.64/2420.38 c #Conflicts: 944000 | #Constraints: 116536
2413.64/2420.38 c #Conflicts: 945000 | #Constraints: 117536
2413.64/2420.38 c #Conflicts: 946000 | #Constraints: 118536
2413.64/2420.38 c #Conflicts: 947000 | #Constraints: 119536
2413.64/2420.38 c #Conflicts: 948000 | #Constraints: 120537
2413.64/2420.38 c #Conflicts: 949000 | #Constraints: 121537
2413.64/2420.38 c #Conflicts: 950000 | #Constraints: 122537
2413.64/2420.38 c #Conflicts: 951000 | #Constraints: 123537
2413.64/2420.38 c #Conflicts: 952000 | #Constraints: 124537
2413.64/2420.38 c #Conflicts: 953000 | #Constraints: 125537
2413.64/2420.38 c #Conflicts: 954000 | #Constraints: 126537
2413.64/2420.38 c #Conflicts: 955000 | #Constraints: 127537
2413.64/2420.38 c #Conflicts: 956000 | #Constraints: 128537
2413.64/2420.38 c #Conflicts: 957000 | #Constraints: 129537
2413.64/2420.38 c #Conflicts: 958000 | #Constraints: 130537
2413.64/2420.38 c #Conflicts: 959000 | #Constraints: 131537
2413.64/2420.38 c #Conflicts: 960000 | #Constraints: 132537
2413.64/2420.38 c #Conflicts: 961000 | #Constraints: 133537
2413.64/2420.38 c #Conflicts: 962000 | #Constraints: 134537
2413.64/2420.38 c #Conflicts: 963000 | #Constraints: 135537
2413.64/2420.38 c #Conflicts: 964000 | #Constraints: 136537
2413.64/2420.38 c #Conflicts: 965000 | #Constraints: 137537
2413.64/2420.38 c #Conflicts: 966000 | #Constraints: 138537
2413.64/2420.38 c #Conflicts: 967000 | #Constraints: 139537
2413.64/2420.38 c #Conflicts: 968000 | #Constraints: 140537
2413.64/2420.38 c #Conflicts: 969000 | #Constraints: 141538
2413.64/2420.38 c #Conflicts: 970000 | #Constraints: 142538
2413.64/2420.38 c #Conflicts: 971000 | #Constraints: 143538
2413.64/2420.38 c #Conflicts: 972000 | #Constraints: 144538
2413.64/2420.38 c #Conflicts: 973000 | #Constraints: 145538
2413.64/2420.38 c INPROCESSING
2413.64/2420.38 c GARBAGE COLLECT
2413.64/2420.38 c #Conflicts: 974000 | #Constraints: 87111
2413.64/2420.38 c #Conflicts: 975000 | #Constraints: 88111
2935.62/2943.58 c #Conflicts: 976000 | #Constraints: 89111
2935.62/2943.58 c #Conflicts: 977000 | #Constraints: 90111
2935.62/2943.58 c #Conflicts: 978000 | #Constraints: 91111
2935.62/2943.58 c #Conflicts: 979000 | #Constraints: 92111
2935.62/2943.58 c #Conflicts: 980000 | #Constraints: 93111
2935.62/2943.58 c #Conflicts: 981000 | #Constraints: 94111
2935.62/2943.58 c #Conflicts: 982000 | #Constraints: 95111
2935.62/2943.58 c #Conflicts: 983000 | #Constraints: 96111
2935.62/2943.58 c #Conflicts: 984000 | #Constraints: 97111
2935.62/2943.58 c #Conflicts: 985000 | #Constraints: 98111
2935.62/2943.58 c #Conflicts: 986000 | #Constraints: 99111
2935.62/2943.58 c #Conflicts: 987000 | #Constraints: 100111
2935.62/2943.58 c #Conflicts: 988000 | #Constraints: 101111
2935.62/2943.58 c #Conflicts: 989000 | #Constraints: 102111
2935.62/2943.58 c #Conflicts: 990000 | #Constraints: 103111
2935.62/2943.58 c #Conflicts: 991000 | #Constraints: 104111
2935.62/2943.58 c #Conflicts: 992000 | #Constraints: 105111
2935.62/2943.58 c #Conflicts: 993000 | #Constraints: 106111
2935.62/2943.58 c #Conflicts: 994000 | #Constraints: 107111
2935.62/2943.58 c #Conflicts: 995000 | #Constraints: 108111
2935.62/2943.58 c #Conflicts: 996000 | #Constraints: 109111
2935.62/2943.58 c #Conflicts: 997000 | #Constraints: 110111
2935.62/2943.58 c #Conflicts: 998000 | #Constraints: 111111
2935.62/2943.58 c #Conflicts: 999000 | #Constraints: 112111
2935.62/2943.58 c #Conflicts: 1000000 | #Constraints: 113111
2935.62/2943.58 c #Conflicts: 1001000 | #Constraints: 114111
2935.62/2943.58 c #Conflicts: 1002000 | #Constraints: 115111
2935.62/2943.58 c #Conflicts: 1003000 | #Constraints: 116111
2935.62/2943.58 c #Conflicts: 1004000 | #Constraints: 117111
2935.62/2943.58 c #Conflicts: 1005000 | #Constraints: 118111
2935.62/2943.58 c #Conflicts: 1006000 | #Constraints: 119111
2935.62/2943.58 c #Conflicts: 1007000 | #Constraints: 120111
2935.62/2943.58 c #Conflicts: 1008000 | #Constraints: 121111
2935.62/2943.58 c #Conflicts: 1009000 | #Constraints: 122111
2935.62/2943.58 c #Conflicts: 1010000 | #Constraints: 123111
2935.62/2943.58 c #Conflicts: 1011000 | #Constraints: 124112
2935.62/2943.58 c #Conflicts: 1012000 | #Constraints: 125112
2935.62/2943.58 c #Conflicts: 1013000 | #Constraints: 126112
2935.62/2943.58 c #Conflicts: 1014000 | #Constraints: 127112
2935.62/2943.58 c #Conflicts: 1015000 | #Constraints: 128112
2935.62/2943.58 c #Conflicts: 1016000 | #Constraints: 129112
2935.62/2943.58 c #Conflicts: 1017000 | #Constraints: 130112
2935.62/2943.58 c #Conflicts: 1018000 | #Constraints: 131112
2935.62/2943.58 c #Conflicts: 1019000 | #Constraints: 132112
2935.62/2943.58 c #Conflicts: 1020000 | #Constraints: 133112
2935.62/2943.58 c #Conflicts: 1021000 | #Constraints: 134112
2935.62/2943.58 c #Conflicts: 1022000 | #Constraints: 135112
2935.62/2943.58 c #Conflicts: 1023000 | #Constraints: 136112
2935.62/2943.58 c #Conflicts: 1024000 | #Constraints: 137112
2935.62/2943.58 c #Conflicts: 1025000 | #Constraints: 138112
2935.62/2943.58 c #Conflicts: 1026000 | #Constraints: 139112
2935.62/2943.58 c #Conflicts: 1027000 | #Constraints: 140112
2935.62/2943.58 c #Conflicts: 1028000 | #Constraints: 141113
2935.62/2943.58 c #Conflicts: 1029000 | #Constraints: 142113
2935.62/2943.58 c #Conflicts: 1030000 | #Constraints: 143113
2935.62/2943.58 c #Conflicts: 1031000 | #Constraints: 144113
2935.62/2943.58 c #Conflicts: 1032000 | #Constraints: 145113
2935.62/2943.58 c #Conflicts: 1033000 | #Constraints: 146113
2935.62/2943.58 c #Conflicts: 1034000 | #Constraints: 147113
2935.62/2943.58 c #Conflicts: 1035000 | #Constraints: 148113
2935.62/2943.58 c #Conflicts: 1036000 | #Constraints: 149113
2935.62/2943.58 c #Conflicts: 1037000 | #Constraints: 150113
2935.62/2943.58 c INPROCESSING
2935.62/2943.58 c GARBAGE COLLECT
2935.62/2943.58 c #Conflicts: 1038000 | #Constraints: 89323
2935.62/2943.58 c #Conflicts: 1039000 | #Constraints: 90323
2935.62/2943.58 c #Conflicts: 1040000 | #Constraints: 91323
2935.62/2943.58 c #Conflicts: 1041000 | #Constraints: 92323
2935.62/2943.58 c #Conflicts: 1042000 | #Constraints: 93323
2935.62/2943.58 c #Conflicts: 1043000 | #Constraints: 94323
2935.62/2943.58 c #Conflicts: 1044000 | #Constraints: 95323
2935.62/2943.58 c #Conflicts: 1045000 | #Constraints: 96323
2935.62/2943.58 c #Conflicts: 1046000 | #Constraints: 97323
2935.62/2943.58 c #Conflicts: 1047000 | #Constraints: 98323
2935.62/2943.58 c #Conflicts: 1048000 | #Constraints: 99323
2935.62/2943.58 c #Conflicts: 1049000 | #Constraints: 100323
2935.62/2943.58 c #Conflicts: 1050000 | #Constraints: 101323
2935.62/2943.58 c #Conflicts: 1051000 | #Constraints: 102323
2935.62/2943.58 c #Conflicts: 1052000 | #Constraints: 103323
2935.62/2943.58 c #Conflicts: 1053000 | #Constraints: 104323
3178.73/3187.26 c #Conflicts: 1054000 | #Constraints: 105323
3178.73/3187.26 c #Conflicts: 1055000 | #Constraints: 106323
3178.73/3187.26 c #Conflicts: 1056000 | #Constraints: 107323
3178.73/3187.26 c #Conflicts: 1057000 | #Constraints: 108323
3178.73/3187.26 c #Conflicts: 1058000 | #Constraints: 109323
3178.73/3187.26 c #Conflicts: 1059000 | #Constraints: 110324
3178.73/3187.26 c #Conflicts: 1060000 | #Constraints: 111324
3178.73/3187.26 c #Conflicts: 1061000 | #Constraints: 112324
3178.73/3187.26 c #Conflicts: 1062000 | #Constraints: 113324
3178.73/3187.26 c #Conflicts: 1063000 | #Constraints: 114324
3178.73/3187.26 c #Conflicts: 1064000 | #Constraints: 115324
3178.73/3187.26 c #Conflicts: 1065000 | #Constraints: 116324
3178.73/3187.26 c #Conflicts: 1066000 | #Constraints: 117325
3178.73/3187.26 c #Conflicts: 1067000 | #Constraints: 118325
3178.73/3187.26 c #Conflicts: 1068000 | #Constraints: 119325
3178.73/3187.26 c #Conflicts: 1069000 | #Constraints: 120325
3178.73/3187.26 c #Conflicts: 1070000 | #Constraints: 121325
3178.73/3187.26 c #Conflicts: 1071000 | #Constraints: 122325
3178.73/3187.26 c INPROCESSING
3178.73/3187.26 c GARBAGE COLLECT
3178.73/3187.26 c #Conflicts: 1072000 | #Constraints: 88672
3178.73/3187.26 c #Conflicts: 1073000 | #Constraints: 89672
3178.73/3187.26 c #Conflicts: 1074000 | #Constraints: 90672
3178.73/3187.26 c #Conflicts: 1075000 | #Constraints: 91672
3178.73/3187.26 c #Conflicts: 1076000 | #Constraints: 92672
3178.73/3187.26 c #Conflicts: 1077000 | #Constraints: 93672
3178.73/3187.26 c #Conflicts: 1078000 | #Constraints: 94672
3178.73/3187.26 c #Conflicts: 1079000 | #Constraints: 95672
3178.73/3187.26 c #Conflicts: 1080000 | #Constraints: 96672
3178.73/3187.26 c #Conflicts: 1081000 | #Constraints: 97672
3178.73/3187.26 c #Conflicts: 1082000 | #Constraints: 98672
3178.73/3187.26 c #Conflicts: 1083000 | #Constraints: 99672
3178.73/3187.26 c #Conflicts: 1084000 | #Constraints: 100672
3178.73/3187.26 c #Conflicts: 1085000 | #Constraints: 101672
3178.73/3187.26 c #Conflicts: 1086000 | #Constraints: 102672
3178.73/3187.26 c #Conflicts: 1087000 | #Constraints: 103672
3178.73/3187.26 c #Conflicts: 1088000 | #Constraints: 104672
3178.73/3187.26 c #Conflicts: 1089000 | #Constraints: 105672
3178.73/3187.26 c #Conflicts: 1090000 | #Constraints: 106672
3178.73/3187.26 c #Conflicts: 1091000 | #Constraints: 107672
3178.73/3187.26 c #Conflicts: 1092000 | #Constraints: 108672
3178.73/3187.26 c #Conflicts: 1093000 | #Constraints: 109672
3178.73/3187.26 c #Conflicts: 1094000 | #Constraints: 110672
3178.73/3187.26 c #Conflicts: 1095000 | #Constraints: 111672
3178.73/3187.26 c #Conflicts: 1096000 | #Constraints: 112672
3178.73/3187.26 c #Conflicts: 1097000 | #Constraints: 113672
3178.73/3187.26 c #Conflicts: 1098000 | #Constraints: 114672
3178.73/3187.26 c #Conflicts: 1099000 | #Constraints: 115672
3178.73/3187.26 c #Conflicts: 1100000 | #Constraints: 116672
3178.73/3187.26 c #Conflicts: 1101000 | #Constraints: 117672
3178.73/3187.26 c #Conflicts: 1102000 | #Constraints: 118672
3178.73/3187.26 c #Conflicts: 1103000 | #Constraints: 119672
3178.73/3187.26 c #Conflicts: 1104000 | #Constraints: 120672
3178.73/3187.26 c #Conflicts: 1105000 | #Constraints: 121672
3178.73/3187.26 c #Conflicts: 1106000 | #Constraints: 122672
3178.73/3187.26 c #Conflicts: 1107000 | #Constraints: 123672
3178.73/3187.26 c #Conflicts: 1108000 | #Constraints: 124672
3178.73/3187.26 c #Conflicts: 1109000 | #Constraints: 125672
3178.73/3187.26 c #Conflicts: 1110000 | #Constraints: 126672
3178.73/3187.26 c #Conflicts: 1111000 | #Constraints: 127672
3178.73/3187.26 c #Conflicts: 1112000 | #Constraints: 128672
3178.73/3187.26 c #Conflicts: 1113000 | #Constraints: 129672
3178.73/3187.26 c #Conflicts: 1114000 | #Constraints: 130672
3178.73/3187.26 c #Conflicts: 1115000 | #Constraints: 131672
3178.73/3187.26 c #Conflicts: 1116000 | #Constraints: 132672
3178.73/3187.26 c #Conflicts: 1117000 | #Constraints: 133672
3178.73/3187.26 c #Conflicts: 1118000 | #Constraints: 134672
3178.73/3187.26 c #Conflicts: 1119000 | #Constraints: 135672
3178.73/3187.26 c #Conflicts: 1120000 | #Constraints: 136672
3178.73/3187.26 c #Conflicts: 1121000 | #Constraints: 137672
3178.73/3187.26 c #Conflicts: 1122000 | #Constraints: 138672
3178.73/3187.26 c #Conflicts: 1123000 | #Constraints: 139672
3178.73/3187.26 c #Conflicts: 1124000 | #Constraints: 140672
3178.73/3187.26 c #Conflicts: 1125000 | #Constraints: 141672
3178.73/3187.26 c #Conflicts: 1126000 | #Constraints: 142672
3178.73/3187.26 c #Conflicts: 1127000 | #Constraints: 143672
3178.73/3187.26 c #Conflicts: 1128000 | #Constraints: 144672
3178.73/3187.26 c #Conflicts: 1129000 | #Constraints: 145672
3178.73/3187.26 c #Conflicts: 1130000 | #Constraints: 146672
3178.73/3187.26 c #Conflicts: 1131000 | #Constraints: 147672
3363.78/3372.71 c #Conflicts: 1132000 | #Constraints: 148672
3363.78/3372.71 c #Conflicts: 1133000 | #Constraints: 149672
3363.78/3372.71 c #Conflicts: 1134000 | #Constraints: 150672
3363.78/3372.71 c #Conflicts: 1135000 | #Constraints: 151672
3363.78/3372.71 c #Conflicts: 1136000 | #Constraints: 152672
3363.78/3372.71 c #Conflicts: 1137000 | #Constraints: 153672
3363.78/3372.71 c INPROCESSING
3363.78/3372.71 c GARBAGE COLLECT
3363.78/3372.71 c #Conflicts: 1138000 | #Constraints: 91073
3363.78/3372.71 c #Conflicts: 1139000 | #Constraints: 92073
3363.78/3372.71 c #Conflicts: 1140000 | #Constraints: 93073
3363.78/3372.71 c #Conflicts: 1141000 | #Constraints: 94073
3363.78/3372.71 c #Conflicts: 1142000 | #Constraints: 95073
3363.78/3372.71 c #Conflicts: 1143000 | #Constraints: 96073
3363.78/3372.71 c #Conflicts: 1144000 | #Constraints: 97073
3363.78/3372.71 c #Conflicts: 1145000 | #Constraints: 98073
3363.78/3372.71 c #Conflicts: 1146000 | #Constraints: 99073
3363.78/3372.71 c #Conflicts: 1147000 | #Constraints: 100073
3363.78/3372.71 c #Conflicts: 1148000 | #Constraints: 101073
3363.78/3372.71 c #Conflicts: 1149000 | #Constraints: 102073
3363.78/3372.71 c #Conflicts: 1150000 | #Constraints: 103073
3363.78/3372.71 c #Conflicts: 1151000 | #Constraints: 104073
3363.78/3372.71 c #Conflicts: 1152000 | #Constraints: 105073
3363.78/3372.71 c #Conflicts: 1153000 | #Constraints: 106073
3363.78/3372.71 c #Conflicts: 1154000 | #Constraints: 107073
3363.78/3372.71 c #Conflicts: 1155000 | #Constraints: 108073
3363.78/3372.71 c #Conflicts: 1156000 | #Constraints: 109073
3363.78/3372.71 c #Conflicts: 1157000 | #Constraints: 110073
3363.78/3372.71 c #Conflicts: 1158000 | #Constraints: 111073
3363.78/3372.71 c #Conflicts: 1159000 | #Constraints: 112073
3363.78/3372.71 c #Conflicts: 1160000 | #Constraints: 113073
3363.78/3372.71 c #Conflicts: 1161000 | #Constraints: 114073
3363.78/3372.71 c #Conflicts: 1162000 | #Constraints: 115073
3363.78/3372.71 c #Conflicts: 1163000 | #Constraints: 116073
3363.78/3372.71 c #Conflicts: 1164000 | #Constraints: 117073
3363.78/3372.71 c #Conflicts: 1165000 | #Constraints: 118073
3363.78/3372.71 c #Conflicts: 1166000 | #Constraints: 119073
3363.78/3372.71 c #Conflicts: 1167000 | #Constraints: 120073
3363.78/3372.71 c #Conflicts: 1168000 | #Constraints: 121073
3363.78/3372.71 c #Conflicts: 1169000 | #Constraints: 122073
3363.78/3372.71 c #Conflicts: 1170000 | #Constraints: 123073
3363.78/3372.71 c #Conflicts: 1171000 | #Constraints: 124073
3363.78/3372.71 c #Conflicts: 1172000 | #Constraints: 125073
3363.78/3372.71 c INPROCESSING
3363.78/3372.71 c GARBAGE COLLECT
3363.78/3372.71 c #Conflicts: 1173000 | #Constraints: 90806
3363.78/3372.71 c #Conflicts: 1174000 | #Constraints: 91806
3363.78/3372.71 c #Conflicts: 1175000 | #Constraints: 92806
3363.78/3372.71 c #Conflicts: 1176000 | #Constraints: 93806
3363.78/3372.71 c #Conflicts: 1177000 | #Constraints: 94806
3363.78/3372.71 c #Conflicts: 1178000 | #Constraints: 95806
3363.78/3372.71 c #Conflicts: 1179000 | #Constraints: 96806
3363.78/3372.71 c #Conflicts: 1180000 | #Constraints: 97806
3363.78/3372.71 c #Conflicts: 1181000 | #Constraints: 98806
3363.78/3372.71 c #Conflicts: 1182000 | #Constraints: 99806
3363.78/3372.71 c #Conflicts: 1183000 | #Constraints: 100806
3363.78/3372.71 c #Conflicts: 1184000 | #Constraints: 101806
3363.78/3372.71 c #Conflicts: 1185000 | #Constraints: 102806
3363.78/3372.71 c #Conflicts: 1186000 | #Constraints: 103806
3363.78/3372.71 c #Conflicts: 1187000 | #Constraints: 104806
3363.78/3372.71 c #Conflicts: 1188000 | #Constraints: 105806
3363.78/3372.71 c #Conflicts: 1189000 | #Constraints: 106806
3363.78/3372.71 c #Conflicts: 1190000 | #Constraints: 107806
3363.78/3372.71 c #Conflicts: 1191000 | #Constraints: 108806
3363.78/3372.71 c #Conflicts: 1192000 | #Constraints: 109806
3363.78/3372.71 c #Conflicts: 1193000 | #Constraints: 110806
3363.78/3372.71 c #Conflicts: 1194000 | #Constraints: 111806
3363.78/3372.71 c #Conflicts: 1195000 | #Constraints: 112806
3363.78/3372.71 c #Conflicts: 1196000 | #Constraints: 113806
3363.78/3372.71 c #Conflicts: 1197000 | #Constraints: 114806
3363.78/3372.71 c #Conflicts: 1198000 | #Constraints: 115806
3363.78/3372.71 c #Conflicts: 1199000 | #Constraints: 116806
3363.78/3372.71 c #Conflicts: 1200000 | #Constraints: 117806
3363.78/3372.71 c #Conflicts: 1201000 | #Constraints: 118806
3363.78/3372.71 c #Conflicts: 1202000 | #Constraints: 119806
3363.78/3372.71 c #Conflicts: 1203000 | #Constraints: 120806
3363.78/3372.71 c #Conflicts: 1204000 | #Constraints: 121806
3363.78/3372.71 c #Conflicts: 1205000 | #Constraints: 122806
3363.78/3372.71 c #Conflicts: 1206000 | #Constraints: 123806
3363.78/3372.71 c #Conflicts: 1207000 | #Constraints: 124806
3363.78/3372.71 c #Conflicts: 1208000 | #Constraints: 125806
3363.78/3372.71 c #Conflicts: 1209000 | #Constraints: 126806
3600.09/3609.60 c #Conflicts: 1210000 | #Constraints: 127806
3600.09/3609.60 c #Conflicts: 1211000 | #Constraints: 128806
3600.09/3609.60 c #Conflicts: 1212000 | #Constraints: 129806
3600.09/3609.60 c #Conflicts: 1213000 | #Constraints: 130806
3600.09/3609.60 c #Conflicts: 1214000 | #Constraints: 131806
3600.09/3609.60 c #Conflicts: 1215000 | #Constraints: 132807
3600.09/3609.60 c #Conflicts: 1216000 | #Constraints: 133807
3600.09/3609.60 c #Conflicts: 1217000 | #Constraints: 134807
3600.09/3609.60 c #Conflicts: 1218000 | #Constraints: 135807
3600.09/3609.60 c #Conflicts: 1219000 | #Constraints: 136807
3600.09/3609.60 c #Conflicts: 1220000 | #Constraints: 137807
3600.09/3609.60 c #Conflicts: 1221000 | #Constraints: 138807
3600.09/3609.60 c #Conflicts: 1222000 | #Constraints: 139807
3600.09/3609.60 c #Conflicts: 1223000 | #Constraints: 140807
3600.09/3609.60 c #Conflicts: 1224000 | #Constraints: 141807
3600.09/3609.60 c #Conflicts: 1225000 | #Constraints: 142807
3600.09/3609.60 c #Conflicts: 1226000 | #Constraints: 143807
3600.09/3609.60 c #Conflicts: 1227000 | #Constraints: 144807
3600.09/3609.60 c #Conflicts: 1228000 | #Constraints: 145807
3600.09/3609.60 c #Conflicts: 1229000 | #Constraints: 146807
3600.09/3609.60 c #Conflicts: 1230000 | #Constraints: 147807
3600.09/3609.60 c #Conflicts: 1231000 | #Constraints: 148807
3600.09/3609.60 c #Conflicts: 1232000 | #Constraints: 149807
3600.09/3609.60 c #Conflicts: 1233000 | #Constraints: 150807
3600.09/3609.60 c #Conflicts: 1234000 | #Constraints: 151807
3600.09/3609.60 c #Conflicts: 1235000 | #Constraints: 152807
3600.09/3609.60 c #Conflicts: 1236000 | #Constraints: 153807
3600.09/3609.60 c #Conflicts: 1237000 | #Constraints: 154807
3600.09/3609.60 c #Conflicts: 1238000 | #Constraints: 155807
3600.09/3609.60 c #Conflicts: 1239000 | #Constraints: 156807
3600.09/3609.60 c #Conflicts: 1240000 | #Constraints: 157807
3600.09/3609.60 c #Conflicts: 1241000 | #Constraints: 158807
3600.09/3609.60 c #Conflicts: 1242000 | #Constraints: 159807
3600.09/3609.60 c INPROCESSING
3600.09/3609.60 c GARBAGE COLLECT
3600.09/3609.60 c #Conflicts: 1243000 | #Constraints: 94399
3600.09/3609.60 c #Conflicts: 1244000 | #Constraints: 95399
3600.09/3609.60 c #Conflicts: 1245000 | #Constraints: 96399
3600.09/3609.60 c #Conflicts: 1246000 | #Constraints: 97399
3600.09/3609.60 c #Conflicts: 1247000 | #Constraints: 98399
3600.09/3609.60 c #Conflicts: 1248000 | #Constraints: 99399
3600.09/3609.60 c #Conflicts: 1249000 | #Constraints: 100399
3600.09/3609.60 c #Conflicts: 1250000 | #Constraints: 101399
3600.09/3609.60 c #Conflicts: 1251000 | #Constraints: 102399
3600.09/3609.60 c #Conflicts: 1252000 | #Constraints: 103399
3600.09/3609.60 c #Conflicts: 1253000 | #Constraints: 104399
3600.09/3609.60 c #Conflicts: 1254000 | #Constraints: 105399
3600.09/3609.60 c #Conflicts: 1255000 | #Constraints: 106399
3600.09/3609.60 c #Conflicts: 1256000 | #Constraints: 107399
3600.09/3609.60 c #Conflicts: 1257000 | #Constraints: 108399
3600.09/3609.60 c cpu time 3561.1 s
3600.09/3609.60 c deterministic time 248374267890 2.48e+11
3600.09/3609.60 c optimization time 27.0119 s
3600.09/3609.60 c total solve time 3533.96 s
3600.09/3609.60 c core-guided solve time 0 s
3600.09/3609.60 c propagation time 1964.63 s
3600.09/3609.60 c conflict analysis time 1183.3 s
3600.09/3609.60 c propagations 1331495470
3600.09/3609.60 c resolve steps 71579756
3600.09/3609.60 c decisions 38954697
3600.09/3609.60 c conflicts 1257421
3600.09/3609.60 c restarts 2395
3600.09/3609.60 c inprocessing phases 38
3600.09/3609.60 c garbage collections 38 ,( 100.00 )
3600.09/3609.60 c input clauses 23522 ,( 99.17 )
3600.09/3609.60 c input cardinalities 196 ,( 0.83 )
3600.09/3609.60 c input general constraints 0 ,( 0.00 )
3600.09/3609.60 c input average constraint length 6.44
3600.09/3609.60 c input average constraint degree 1.97
3600.09/3609.60 c learned clauses 888068 ,( 70.63 )
3600.09/3609.60 c learned cardinalities 48286 ,( 3.84 )
3600.09/3609.60 c learned general constraints 321082 ,( 25.53 )
3600.09/3609.60 c learned average constraint length 792.06
3600.09/3609.60 c learned average constraint degree 18269553.57
3600.09/3609.60 c watched CF 32, 64, 128, Arb: 77979 , 0 , 0 , 0
3600.09/3609.60 c counting CF 32, 64, 128, Arb: 243103 , 0 , 0 , 0
3600.09/3609.60 c watched constraints 77979 ,( 24.29 )
3600.09/3609.60 c counting constraints 243103 ,( 75.71 )
3600.09/3609.60 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1237603196 , 761373373 , 1981162064 ,( 95469988 , 1885692076 )
3600.09/3609.60 c gcd simplifications 656
3600.09/3609.60 c detected cardinalities 8158
3600.09/3609.60 c weakened non-implied lits 332335094
3600.09/3609.60 c weakened non-implying lits 170212
3600.09/3609.60 c original variables 23324
3600.09/3609.60 c clausal propagations 636323975
3600.09/3609.60 c cardinality propagations 476201629
3600.09/3609.60 c watched propagations 4010237
3600.09/3609.60 c counting propagations 201979129
3600.09/3609.60 c watch lookups 77249210353
3600.09/3609.60 c watch backjump lookups 0
3600.09/3609.60 c watch checks 37338175864
3600.09/3609.60 c propagation checks 126662163481
3600.09/3609.60 c constraint additions 4382286703
3600.09/3609.60 c trail pops 1371686785
3600.09/3609.60 c formula constraints 23718
3600.09/3609.60 c learned constraints 1257417
3600.09/3609.60 c bound constraints 0
3600.09/3609.60 c core-guided constraints 0
3600.09/3609.60 c encountered formula constraints 44824768
3600.09/3609.60 c encountered learned constraints 28012221
3600.09/3609.60 c encountered bound constraints 0
3600.09/3609.60 c encountered core-guided constraints 0
3600.09/3609.60 c LP total time 455.682 s
3600.09/3609.60 c LP solve time 444.29 s
3600.09/3609.60 c LP constraints added 24087
3600.09/3609.60 c LP constraints removed 48
3600.09/3609.60 c LP pivots internal 166126
3600.09/3609.60 c LP pivots root 128410
3600.09/3609.60 c LP calls 21
3600.09/3609.60 c LP optimalities 3
3600.09/3609.60 c LP no pivot count 0
3600.09/3609.60 c LP infeasibilities 11
3600.09/3609.60 c LP valid Farkas constraints 11
3600.09/3609.60 c LP learned Farkas constraints 3
3600.09/3609.60 c LP basis resets 0
3600.09/3609.60 c LP cycling count 0
3600.09/3609.60 c LP singular count 0
3600.09/3609.60 c LP no primal count 0
3600.09/3609.60 c LP no farkas count 0
3600.09/3609.60 c LP other issue count 0
3600.09/3609.60 c LP Gomory cuts 5
3600.09/3609.60 c LP learned cuts 364
3600.09/3609.60 c LP deleted cuts 48
3600.09/3609.60 c LP encountered Gomory constraints 41
3600.09/3609.60 c LP encountered Farkas constraints 142
3600.09/3609.60 c LP encountered learned Farkas constraints 2
3600.09/3609.60 c CG auxiliary variables introduced 0
3600.09/3609.60 c CG solutions found 0
3600.09/3609.60 c CG cores constructed 0
3600.09/3609.60 c CG core cardinality constraints returned 0
3600.09/3609.60 c CG unit cores 0
3600.09/3609.60 c CG single cores 0
3600.09/3609.60 c CG blocks removed during cardinality reduction 0
3600.09/3609.60 c CG first core best 0
3600.09/3609.60 c CG decision core best 0
3600.09/3609.60 c CG core reduction tie 0
3600.09/3609.60 c CG core degree average 0.00
3600.09/3609.60 c CG core slack average 0.00
3600.09/3609.60 c CG core upper bound improvements 0
3600.09/3609.60 c STR number of successful calls 0
3600.09/3609.60 c STR number of unsuccessful calls 0
3600.09/3609.60 c STR number of inconclusive calls 0
3600.09/3609.60 c STR number of successful attempts 0
3600.09/3609.60 c STR number of unsuccessful attempts 0
3600.09/3609.60 c STR number of inconclusive attempts 0
3600.09/3609.60 c STR average degree increase per successful call inf
3600.09/3609.60 c STR average degree increase per successful attempt inf
3600.09/3609.60 c STR total number of conflicts for successful attempts 0
3600.09/3609.60 c STR total number of conflicts for unsuccessful attempts 0
3600.09/3609.60 c STR total number of conflicts for inconclusive attempts 0
3600.09/3609.60 c STR average number of conflicts per successful attempt inf
3600.09/3609.60 c STR average number of conflicts per unsuccessful attempt inf
3600.09/3609.60 c STR average number of conflicts per inconclusive attempt inf
3600.09/3609.60 c AVG.sumWPerc 66.92
3600.09/3609.60 c bigint constraints 0
3600.09/3609.60 s UNKNOWN
3600.09/3609.60 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (55545 MiB free)
memory of node 1: 64507 MiB (63940 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507123-1751175083/watcher-4507123-1751175083 -o /tmp/evaluation-result-4507123-1751175083/solver-4507123-1751175083 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751167846-18820 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4507123-1751175083.opb PROOFDIR/proof-4507123-1751175083
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=19877, runsolver pid=19874
[startup+0.100062 s]*
/proc/loadavg: 4.22 4.14 4.10 5/270 19879
/proc/meminfo: memFree=122349756/131249988 swapFree=33010684/33010684
[pid=19877] ppid=19874 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/19877/stat : 19877 (run-dec-ls-log.) S 19874 19877 18809 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33187176 4292608 736 18446744073709551615 94638201024512 94638201919045 140724340305200 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94638202158096 94638202205840 94638204690432 140724340308251 140724340308449 140724340308449 140724340314051 0
/proc/19877/statm: 1048 736 672 219 0 110 0
[pid=19879] ppid=19877 vsize=69824 memory=24924 CPUtime=0.08 cores=4,6
/proc/19879/stat : 19879 (roundingsat) R 19877 19877 18809 0 -1 4194304 4026 0 0 0 6 2 0 0 20 0 1 0 33187176 71499776 6231 18446744073709551615 4227072 8923433 140730422620784 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 35749888 140730422626640 140730422626856 140730422626856 140730422632426 0
/proc/19879/statm: 17456 6231 2048 1147 0 4883 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 74016 KiB
Current children cumulated memory: 27868 KiB
[startup+0.205587 s]*
/proc/loadavg: 4.22 4.14 4.10 5/270 19879
/proc/meminfo: memFree=122316048/131249988 swapFree=33010684/33010684
[pid=19877] ppid=19874 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/19877/stat : 19877 (run-dec-ls-log.) S 19874 19877 18809 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33187176 4292608 736 18446744073709551615 94638201024512 94638201919045 140724340305200 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94638202158096 94638202205840 94638204690432 140724340308251 140724340308449 140724340308449 140724340314051 0
/proc/19877/statm: 1048 736 672 219 0 110 0
[pid=19879] ppid=19877 vsize=111488 memory=63552 CPUtime=0.18 cores=4,6
/proc/19879/stat : 19879 (roundingsat) R 19877 19877 18809 0 -1 4194304 12147 0 0 0 14 4 0 0 20 0 1 0 33187176 114163712 15888 18446744073709551615 4227072 8923433 140730422620784 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 35749888 140730422626640 140730422626856 140730422626856 140730422632426 0
/proc/19879/statm: 27872 15888 2304 1147 0 15299 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 115680 KiB
Current children cumulated memory: 66496 KiB
[startup+0.305556 s]*
/proc/loadavg: 4.22 4.14 4.10 5/270 19879
/proc/meminfo: memFree=122312268/131249988 swapFree=33010684/33010684
[pid=19877] ppid=19874 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/19877/stat : 19877 (run-dec-ls-log.) S 19874 19877 18809 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33187176 4292608 736 18446744073709551615 94638201024512 94638201919045 140724340305200 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94638202158096 94638202205840 94638204690432 140724340308251 140724340308449 140724340308449 140724340314051 0
/proc/19877/statm: 1048 736 672 219 0 110 0
[pid=19879] ppid=19877 vsize=122876 memory=69824 CPUtime=0.27 cores=4,6
/proc/19879/stat : 19879 (roundingsat) R 19877 19877 18809 0 -1 4194304 13729 0 0 0 23 4 0 0 20 0 1 0 33187176 125825024 17456 18446744073709551615 4227072 8923433 140730422620784 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 35749888 140730422626640 140730422626856 140730422626856 140730422632426 0
/proc/19879/statm: 30719 17456 2304 1147 0 18146 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 127068 KiB
Current children cumulated memory: 72768 KiB
[startup+0.700188 s]
/proc/loadavg: 4.22 4.14 4.10 5/270 19879
/proc/meminfo: memFree=122312268/131249988 swapFree=33010684/33010684
[pid=19877] ppid=19874 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/19877/stat : 19877 (run-dec-ls-log.) S 19874 19877 18809 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33187176 4292608 736 18446744073709551615 94638201024512 94638201919045 140724340305200 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94638202158096 94638202205840 94638204690432 140724340308251 140724340308449 140724340308449 140724340314051 0
/proc/19877/statm: 1048 736 672 219 0 110 0
[pid=19879] ppid=19877 vsize=122876 memory=70592 CPUtime=0.65 cores=4,6
/proc/19879/stat : 19879 (roundingsat) R 19877 19877 18809 0 -1 4194304 13914 0 0 0 61 4 0 0 20 0 1 0 33187176 125825024 17648 18446744073709551615 4227072 8923433 140730422620784 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35749888 140730422626640 140730422626856 140730422626856 140730422632426 0
/proc/19879/statm: 30719 17648 2304 1147 0 18146 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 127068 KiB
Current children cumulated memory: 73536 KiB
[startup+1.50018 s]
/proc/loadavg: 4.22 4.14 4.10 5/270 19879
/proc/meminfo: memFree=122312268/131249988 swapFree=33010684/33010684
[pid=19877] ppid=19874 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/19877/stat : 19877 (run-dec-ls-log.) S 19874 19877 18809 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33187176 4292608 736 18446744073709551615 94638201024512 94638201919045 140724340305200 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94638202158096 94638202205840 94638204690432 140724340308251 140724340308449 140724340308449 140724340314051 0
/proc/19877/statm: 1048 736 672 219 0 110 0
[pid=19879] ppid=19877 vsize=122876 memory=70592 CPUtime=1.45 cores=4,6
/proc/19879/stat : 19879 (roundingsat) R 19877 19877 18809 0 -1 4194304 13914 0 0 0 141 4 0 0 20 0 1 0 33187176 125825024 17648 18446744073709551615 4227072 8923433 140730422620784 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35749888 140730422626640 140730422626856 140730422626856 140730422632426 0
/proc/19879/statm: 30719 17648 2304 1147 0 18146 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 127068 KiB
Current children cumulated memory: 73536 KiB
[startup+3.10534 s]
/proc/loadavg: 4.22 4.14 4.10 4/264 19905
/proc/meminfo: memFree=123669936/131249988 swapFree=33010684/33010684
[pid=19877] ppid=19874 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/19877/stat : 19877 (run-dec-ls-log.) S 19874 19877 18809 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33187176 4292608 736 18446744073709551615 94638201024512 94638201919045 140724340305200 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94638202158096 94638202205840 94638204690432 140724340308251 140724340308449 140724340308449 140724340314051 0
/proc/19877/statm: 1048 736 672 219 0 110 0
[pid=19879] ppid=19877 vsize=125432 memory=73408 CPUtime=3.05 cores=4,6
/proc/19879/stat : 19879 (roundingsat) R 19877 19877 18809 0 -1 4194304 14610 0 0 0 300 5 0 0 20 0 1 0 33187176 128442368 18352 18446744073709551615 4227072 8923433 140730422620784 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35749888 140730422626640 140730422626856 140730422626856 140730422632426 0
/proc/19879/statm: 31358 18352 2304 1147 0 18785 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 129624 KiB
Current children cumulated memory: 76352 KiB
[startup+6.30017 s]
/proc/loadavg: 4.20 4.14 4.10 5/270 19925
/proc/meminfo: memFree=129788636/131249988 swapFree=33010684/33010684
[pid=19877] ppid=19874 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/19877/stat : 19877 (run-dec-ls-log.) S 19874 19877 18809 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33187176 4292608 736 18446744073709551615 94638201024512 94638201919045 140724340305200 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94638202158096 94638202205840 94638204690432 140724340308251 140724340308449 140724340308449 140724340314051 0
/proc/19877/statm: 1048 736 672 219 0 110 0
[pid=19879] ppid=19877 vsize=129588 memory=81396 CPUtime=6.24 cores=4,6
/proc/19879/stat : 19879 (roundingsat) R 19877 19877 18809 0 -1 4194304 16052 0 0 0 607 17 0 0 20 0 1 0 33187176 132698112 20349 18446744073709551615 4227072 8923433 140730422620784 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35749888 140730422626640 140730422626856 140730422626856 140730422632426 0
/proc/19879/statm: 32397 20349 2368 1147 0 19824 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 133780 KiB
Current children cumulated memory: 84340 KiB
[startup+12.7002 s]
/proc/loadavg: 4.18 4.14 4.10 5/269 19925
/proc/meminfo: memFree=129710280/131249988 swapFree=33010684/33010684
[pid=19877] ppid=19874 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/19877/stat : 19877 (run-dec-ls-log.) S 19874 19877 18809 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33187176 4292608 736 18446744073709551615 94638201024512 94638201919045 140724340305200 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94638202158096 94638202205840 94638204690432 140724340308251 140724340308449 140724340308449 140724340314051 0
/proc/19877/statm: 1048 736 672 219 0 110 0
[pid=19879] ppid=19877 vsize=140152 memory=90100 CPUtime=12.63 cores=4,6
/proc/19879/stat : 19879 (roundingsat) R 19877 19877 18809 0 -1 4194304 18223 0 0 0 1223 40 0 0 20 0 1 0 33187176 143515648 22525 18446744073709551615 4227072 8923433 140730422620784 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35749888 140730422626640 140730422626856 140730422626856 140730422632426 0
/proc/19879/statm: 35038 22525 2368 1147 0 22465 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 144344 KiB
Current children cumulated memory: 93044 KiB
[startup+25.5002 s]
/proc/loadavg: 4.14 4.13 4.10 5/269 19925
/proc/meminfo: memFree=129523416/131249988 swapFree=33010684/33010684
[pid=19877] ppid=19874 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/19877/stat : 19877 (run-dec-ls-log.) S 19874 19877 18809 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33187176 4292608 736 18446744073709551615 94638201024512 94638201919045 140724340305200 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94638202158096 94638202205840 94638204690432 140724340308251 140724340308449 140724340308449 140724340314051 0
/proc/19877/statm: 1048 736 672 219 0 110 0
[pid=19879] ppid=19877 vsize=159372 memory=110736 CPUtime=25.4 cores=4,6
/proc/19879/stat : 19879 (roundingsat) R 19877 19877 18809 0 -1 4194304 22869 0 0 0 2467 73 0 0 20 0 1 0 33187176 163196928 27684 18446744073709551615 4227072 8923433 140730422620784 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35749888 140730422626640 140730422626856 140730422626856 140730422632426 0
/proc/19879/statm: 39843 27684 2368 1147 0 27270 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 163564 KiB
Current children cumulated memory: 113680 KiB
[startup+51.1055 s]
/proc/loadavg: 4.16 4.14 4.10 5/269 19926
/proc/meminfo: memFree=129284056/131249988 swapFree=33010684/33010684
[pid=19877] ppid=19874 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/19877/stat : 19877 (run-dec-ls-log.) S 19874 19877 18809 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33187176 4292608 736 18446744073709551615 94638201024512 94638201919045 140724340305200 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94638202158096 94638202205840 94638204690432 140724340308251 140724340308449 140724340308449 140724340314051 0
/proc/19877/statm: 1048 736 672 219 0 110 0
[pid=19879] ppid=19877 vsize=182748 memory=134764 CPUtime=50.93 cores=4,6
/proc/19879/stat : 19879 (roundingsat) R 19877 19877 18809 0 -1 4194304 27945 0 0 0 4951 142 0 0 20 0 1 0 33187176 187133952 33691 18446744073709551615 4227072 8923433 140730422620784 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35749888 140730422626640 140730422626856 140730422626856 140730422632426 0
/proc/19879/statm: 45687 33691 2368 1147 0 33114 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 186940 KiB
Current children cumulated memory: 137708 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/271 19929
/proc/meminfo: memFree=128782340/131249988 swapFree=33010684/33010684
[pid=19877] ppid=19874 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/19877/stat : 19877 (run-dec-ls-log.) S 19874 19877 18809 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33187176 4292608 736 18446744073709551615 94638201024512 94638201919045 140724340305200 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94638202158096 94638202205840 94638204690432 140724340308251 140724340308449 140724340308449 140724340314051 0
/proc/19877/statm: 1048 736 672 219 0 110 0
[pid=19879] ppid=19877 vsize=251428 memory=187468 CPUtime=102.01 cores=4,6
/proc/19879/stat : 19879 (roundingsat) R 19877 19877 18809 0 -1 4194304 38150 0 0 0 9949 252 0 0 20 0 1 0 33187176 257462272 46867 18446744073709551615 4227072 8923433 140730422620784 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35749888 140730422626640 140730422626856 140730422626856 140730422632426 0
/proc/19879/statm: 62857 46867 2368 1147 0 50284 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 255620 KiB
Current children cumulated memory: 190412 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/270 19933
/proc/meminfo: memFree=128162560/131249988 swapFree=33010684/33010684
[pid=19877] ppid=19874 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/19877/stat : 19877 (run-dec-ls-log.) S 19874 19877 18809 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33187176 4292608 736 18446744073709551615 94638201024512 94638201919045 140724340305200 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94638202158096 94638202205840 94638204690432 140724340308251 140724340308449 140724340308449 140724340314051 0
/proc/19877/statm: 1048 736 672 219 0 110 0
[pid=19879] ppid=19877 vsize=269512 memory=214204 CPUtime=161.83 cores=4,6
/proc/19879/stat : 19879 (roundingsat) R 19877 19877 18809 0 -1 4194304 42768 0 0 0 15801 382 0 0 20 0 1 0 33187176 275980288 53551 18446744073709551615 4227072 8923433 140730422620784 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35749888 140730422626640 140730422626856 140730422626856 140730422632426 0
/proc/19879/statm: 67378 53551 2368 1147 0 54805 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 273704 KiB
Current children cumulated memory: 217148 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/270 19935
/proc/meminfo: memFree=127572024/131249988 swapFree=33010684/33010684
[pid=19877] ppid=19874 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/19877/stat : 19877 (run-dec-ls-log.) S 19874 19877 18809 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33187176 4292608 736 18446744073709551615 94638201024512 94638201919045 140724340305200 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94638202158096 94638202205840 94638204690432 140724340308251 140724340308449 140724340308449 140724340314051 0
/proc/19877/statm: 1048 736 672 219 0 110 0
[pid=19879] ppid=19877 vsize=362208 memory=268812 CPUtime=221.66 cores=4,6
/proc/19879/stat : 19879 (roundingsat) R 19877 19877 18809 0 -1 4194304 46248 0 0 0 21684 482 0 0 20 0 1 0 33187176 370900992 67203 18446744073709551615 4227072 8923433 140730422620784 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35749888 140730422626640 140730422626856 140730422626856 140730422632426 0
/proc/19879/statm: 90552 67203 2368 1147 0 77979 0
################
# More data... #
################
/proc/19879/statm: 436301 407815 2368 1147 0 423728 0
Current children cumulated CPU time: 3034.18 s
Current children cumulated vsize: 1749396 KiB
Current children cumulated memory: 1634204 KiB
[startup+3102.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/270 20088
/proc/meminfo: memFree=104608968/131249988 swapFree=33010684/33010684
[pid=19877] ppid=19874 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/19877/stat : 19877 (run-dec-ls-log.) S 19874 19877 18809 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33187176 4292608 736 18446744073709551615 94638201024512 94638201919045 140724340305200 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94638202158096 94638202205840 94638204690432 140724340308251 140724340308449 140724340308449 140724340314051 0
/proc/19877/statm: 1048 736 672 219 0 110 0
[pid=19879] ppid=19877 vsize=1745204 memory=1631260 CPUtime=3094.03 cores=4,6
/proc/19879/stat : 19879 (roundingsat) R 19877 19877 18809 0 -1 4194304 188903 0 0 0 305972 3431 0 0 20 0 1 0 33187176 1787088896 407815 18446744073709551615 4227072 8923433 140730422620784 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35749888 140730422626640 140730422626856 140730422626856 140730422632426 0
/proc/19879/statm: 436301 407815 2368 1147 0 423728 0
Current children cumulated CPU time: 3094.03 s
Current children cumulated vsize: 1749396 KiB
Current children cumulated memory: 1634204 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/270 20092
/proc/meminfo: memFree=104259392/131249988 swapFree=33010684/33010684
[pid=19877] ppid=19874 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/19877/stat : 19877 (run-dec-ls-log.) S 19874 19877 18809 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33187176 4292608 736 18446744073709551615 94638201024512 94638201919045 140724340305200 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94638202158096 94638202205840 94638204690432 140724340308251 140724340308449 140724340308449 140724340314051 0
/proc/19877/statm: 1048 736 672 219 0 110 0
[pid=19879] ppid=19877 vsize=1749296 memory=1635100 CPUtime=3153.89 cores=4,6
/proc/19879/stat : 19879 (roundingsat) R 19877 19877 18809 0 -1 4194304 189886 0 0 0 311929 3460 0 0 20 0 1 0 33187176 1791279104 408775 18446744073709551615 4227072 8923433 140730422620784 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35749888 140730422626640 140730422626856 140730422626856 140730422632426 0
/proc/19879/statm: 437324 408775 2368 1147 0 424751 0
Current children cumulated CPU time: 3153.89 s
Current children cumulated vsize: 1753488 KiB
Current children cumulated memory: 1638044 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/269 20094
/proc/meminfo: memFree=103947612/131249988 swapFree=33010684/33010684
[pid=19877] ppid=19874 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/19877/stat : 19877 (run-dec-ls-log.) S 19874 19877 18809 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33187176 4292608 736 18446744073709551615 94638201024512 94638201919045 140724340305200 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94638202158096 94638202205840 94638204690432 140724340308251 140724340308449 140724340308449 140724340314051 0
/proc/19877/statm: 1048 736 672 219 0 110 0
[pid=19879] ppid=19877 vsize=1758444 memory=1643548 CPUtime=3213.74 cores=4,6
/proc/19879/stat : 19879 (roundingsat) R 19877 19877 18809 0 -1 4194304 192033 0 0 0 317866 3508 0 0 20 0 1 0 33187176 1800646656 410887 18446744073709551615 4227072 8923433 140730422620784 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35749888 140730422626640 140730422626856 140730422626856 140730422632426 0
/proc/19879/statm: 439611 410887 2368 1147 0 427038 0
Current children cumulated CPU time: 3213.74 s
Current children cumulated vsize: 1762636 KiB
Current children cumulated memory: 1646492 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/270 20101
/proc/meminfo: memFree=103653244/131249988 swapFree=33010684/33010684
[pid=19877] ppid=19874 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/19877/stat : 19877 (run-dec-ls-log.) S 19874 19877 18809 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33187176 4292608 736 18446744073709551615 94638201024512 94638201919045 140724340305200 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94638202158096 94638202205840 94638204690432 140724340308251 140724340308449 140724340308449 140724340314051 0
/proc/19877/statm: 1048 736 672 219 0 110 0
[pid=19879] ppid=19877 vsize=1758444 memory=1643548 CPUtime=3273.59 cores=4,6
/proc/19879/stat : 19879 (roundingsat) R 19877 19877 18809 0 -1 4194304 192033 0 0 0 323760 3599 0 0 20 0 1 0 33187176 1800646656 410887 18446744073709551615 4227072 8923433 140730422620784 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35749888 140730422626640 140730422626856 140730422626856 140730422632426 0
/proc/19879/statm: 439611 410887 2368 1147 0 427038 0
Current children cumulated CPU time: 3273.59 s
Current children cumulated vsize: 1762636 KiB
Current children cumulated memory: 1646492 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/270 20103
/proc/meminfo: memFree=103227452/131249988 swapFree=33010684/33010684
[pid=19877] ppid=19874 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/19877/stat : 19877 (run-dec-ls-log.) S 19874 19877 18809 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33187176 4292608 736 18446744073709551615 94638201024512 94638201919045 140724340305200 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94638202158096 94638202205840 94638204690432 140724340308251 140724340308449 140724340308449 140724340314051 0
/proc/19877/statm: 1048 736 672 219 0 110 0
[pid=19879] ppid=19877 vsize=1758444 memory=1643676 CPUtime=3333.44 cores=4,6
/proc/19879/stat : 19879 (roundingsat) R 19877 19877 18809 0 -1 4194304 192309 0 0 0 329649 3695 0 0 20 0 1 0 33187176 1800646656 410919 18446744073709551615 4227072 8923433 140730422620784 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35749888 140730422626640 140730422626856 140730422626856 140730422632426 0
/proc/19879/statm: 439611 410919 2368 1147 0 427038 0
Current children cumulated CPU time: 3333.44 s
Current children cumulated vsize: 1762636 KiB
Current children cumulated memory: 1646620 KiB
[startup+3402.3 s]
/proc/loadavg: 4.19 4.13 4.10 5/272 20108
/proc/meminfo: memFree=102649700/131249988 swapFree=33010684/33010684
[pid=19877] ppid=19874 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/19877/stat : 19877 (run-dec-ls-log.) S 19874 19877 18809 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33187176 4292608 736 18446744073709551615 94638201024512 94638201919045 140724340305200 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94638202158096 94638202205840 94638204690432 140724340308251 140724340308449 140724340308449 140724340314051 0
/proc/19877/statm: 1048 736 672 219 0 110 0
[pid=19879] ppid=19877 vsize=1759804 memory=1644316 CPUtime=3393.3 cores=4,6
/proc/19879/stat : 19879 (roundingsat) R 19877 19877 18809 0 -1 4194304 192488 0 0 0 335579 3751 0 0 20 0 1 0 33187176 1802039296 411079 18446744073709551615 4227072 8923433 140730422620784 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35749888 140730422626640 140730422626856 140730422626856 140730422632426 0
/proc/19879/statm: 439951 411079 2368 1147 0 427378 0
Current children cumulated CPU time: 3393.3 s
Current children cumulated vsize: 1763996 KiB
Current children cumulated memory: 1647260 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/272 20110
/proc/meminfo: memFree=102390748/131249988 swapFree=33010684/33010684
[pid=19877] ppid=19874 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/19877/stat : 19877 (run-dec-ls-log.) S 19874 19877 18809 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33187176 4292608 736 18446744073709551615 94638201024512 94638201919045 140724340305200 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94638202158096 94638202205840 94638204690432 140724340308251 140724340308449 140724340308449 140724340314051 0
/proc/19877/statm: 1048 736 672 219 0 110 0
[pid=19879] ppid=19877 vsize=1760808 memory=1645340 CPUtime=3453.16 cores=4,6
/proc/19879/stat : 19879 (roundingsat) R 19877 19877 18809 0 -1 4194304 192746 0 0 0 341548 3768 0 0 20 0 1 0 33187176 1803067392 411335 18446744073709551615 4227072 8923433 140730422620784 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35749888 140730422626640 140730422626856 140730422626856 140730422632426 0
/proc/19879/statm: 440202 411335 2368 1147 0 427629 0
Current children cumulated CPU time: 3453.16 s
Current children cumulated vsize: 1765000 KiB
Current children cumulated memory: 1648284 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/272 20112
/proc/meminfo: memFree=102060804/131249988 swapFree=33010684/33010684
[pid=19877] ppid=19874 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/19877/stat : 19877 (run-dec-ls-log.) S 19874 19877 18809 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33187176 4292608 736 18446744073709551615 94638201024512 94638201919045 140724340305200 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94638202158096 94638202205840 94638204690432 140724340308251 140724340308449 140724340308449 140724340314051 0
/proc/19877/statm: 1048 736 672 219 0 110 0
[pid=19879] ppid=19877 vsize=1760808 memory=1645724 CPUtime=3513.01 cores=4,6
/proc/19879/stat : 19879 (roundingsat) R 19877 19877 18809 0 -1 4194304 192820 0 0 0 347500 3801 0 0 20 0 1 0 33187176 1803067392 411431 18446744073709551615 4227072 8923433 140730422620784 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35749888 140730422626640 140730422626856 140730422626856 140730422632426 0
/proc/19879/statm: 440202 411431 2368 1147 0 427629 0
Current children cumulated CPU time: 3513.01 s
Current children cumulated vsize: 1765000 KiB
Current children cumulated memory: 1648668 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/271 20114
/proc/meminfo: memFree=101760960/131249988 swapFree=33010684/33010684
[pid=19877] ppid=19874 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/19877/stat : 19877 (run-dec-ls-log.) S 19874 19877 18809 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33187176 4292608 736 18446744073709551615 94638201024512 94638201919045 140724340305200 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94638202158096 94638202205840 94638204690432 140724340308251 140724340308449 140724340308449 140724340314051 0
/proc/19877/statm: 1048 736 672 219 0 110 0
[pid=19879] ppid=19877 vsize=1771328 memory=1653916 CPUtime=3572.87 cores=4,6
/proc/19879/stat : 19879 (roundingsat) R 19877 19877 18809 0 -1 4194304 195132 0 0 0 353435 3852 0 0 20 0 1 0 33187176 1813839872 413479 18446744073709551615 4227072 8923433 140730422620784 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35749888 140730422626640 140730422626856 140730422626856 140730422632426 0
/proc/19879/statm: 442832 413479 2368 1147 0 430259 0
Current children cumulated CPU time: 3572.87 s
Current children cumulated vsize: 1775520 KiB
Current children cumulated memory: 1656860 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.6 s]
/proc/loadavg: 4.08 4.11 4.09 3/258 20171
/proc/meminfo: memFree=110042860/131249988 swapFree=33010684/33010684
[pid=19877] ppid=19874 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/19877/stat : 19877 (run-dec-ls-log.) S 19874 19877 18809 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33187176 4292608 736 18446744073709551615 94638201024512 94638201919045 140724340305200 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94638202158096 94638202205840 94638204690432 140724340308251 140724340308449 140724340308449 140724340314051 0
/proc/19877/statm: 1048 736 672 219 0 110 0
[pid=19879] ppid=19877 vsize=1771328 memory=1653916 CPUtime=3600.09 cores=4,6
/proc/19879/stat : 19879 (roundingsat) R 19877 19877 18809 0 -1 4194304 195132 0 0 0 356110 3899 0 0 20 0 1 0 33187176 1813839872 413479 18446744073709551615 4227072 8923433 140730422620784 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35749888 140730422626640 140730422626856 140730422626856 140730422632426 0
/proc/19879/statm: 442832 413479 2368 1147 0 430259 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 1775520 KiB
Current children cumulated memory: 1656860 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.6 s]
# the end of solver process 19877 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.002053 s
Sleeping 2 seconds
[startup+3609.68 s]
# the end of solver process 19879 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3561.12 s, system=39.0181 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): 3609.68
CPU time (s): 3600.14
CPU user time (s): 3561.12
CPU system time (s): 39.0181
CPU usage (%): 99.7356
Max. virtual memory (cumulated for all children) (KiB): 1775520
Max. memory (cumulated for all children) (KiB): 1656860
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3561.12
system time used= 39.0181
maximum resident set size= 1654300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 195389
page faults= 0
swaps= 0
block input operations= 0
block output operations= 10005000
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1888
involuntary context switches= 4905
# summary of solver processes directly reported to runsolver:
# pid: 19877,19879
# total CPU time (s): 3600.14
# total CPU user time (s): 3561.12
# total CPU system time (s): 39.0181
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.01042 second user time and 16.235 second system time
The end
Begin job on nodeC034 at 2025-06-29 07:31:23
IDJOB=4507123
IDBENCH=158326
IDSOLVER=3354
FILE ID=nodeC034/4507123-1751175083
RUNJOBID= nodeC034-1751167846-18820
SLURM_JOB_ID= 9587509
Free space on /tmp= 433036 MiB
SOLVER NAME= roundingsat-ls-log 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K196.opb
COMMAND LINE= run-dec-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507123-1751175083/watcher-4507123-1751175083 -o /tmp/evaluation-result-4507123-1751175083/solver-4507123-1751175083 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751167846-18820 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4507123-1751175083.opb PROOFDIR/proof-4507123-1751175083
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8df9702f370312ff59707c84e3b82f3b
RANDOM SEED=203116153
nodeC034 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.719
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.761
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3523.331
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.841
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.383
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.760
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.764
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.031
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 122353600 kB
MemAvailable: 128209036 kB
Buffers: 3280 kB
Cached: 6659236 kB
SwapCached: 0 kB
Active: 1813360 kB
Inactive: 6438048 kB
Active(anon): 1607072 kB
Inactive(anon): 0 kB
Active(file): 206288 kB
Inactive(file): 6438048 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 116712 kB
Writeback: 0 kB
AnonPages: 1592136 kB
Mapped: 116020 kB
Shmem: 18104 kB
KReclaimable: 100276 kB
Slab: 189332 kB
SReclaimable: 100276 kB
SUnreclaim: 89056 kB
KernelStack: 4352 kB
PageTables: 6636 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 2167048 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150600 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 354304 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: 189140 kB
DirectMap2M: 7970816 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433044 MiB
End job on nodeC034 at 2025-06-29 08:31:33